ALIA (Unsat Core Track)
Competition results for the ALIA
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 242
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
---|
SMTInterpol | SMTInterpol | - | SMTInterpol | SMTInterpol |
Sequential Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 1218 | 10399.778427 | 7970.173886 | 185 | 0 | 185 | 57 | 0 | 39 | 0 |
cvc5 | 0 | 718 | 1760.410795 | 1780.834222 | 203 | 0 | 203 | 39 | 0 | 39 | 0 |
Parallel Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 1619 | 90780.42356 | 58184.109889 | 185 | 0 | 185 | 57 | 0 | 39 | 0 |
cvc5 | 0 | 986 | 48596.88535 | 48648.113684 | 203 | 0 | 203 | 39 | 0 | 39 | 0 |
UNSAT Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 1513 | 71416.783088 | 47245.937242 | 185 | 0 | 185 | 42 | 15 | 31 | 0 |
cvc5 | 0 | 880 | 30582.198421 | 30622.259163 | 203 | 0 | 203 | 24 | 15 | 24 | 0 |
24 seconds Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 1016 | 493.502961 | 301.192208 | 146 | 0 | 146 | 13 | 83 | 0 | 0 |
cvc5 | 0 | 660 | 168.5201 | 187.791079 | 193 | 0 | 193 | 0 | 49 | 0 | 0 |