Equality_NonLinearArith (Unsat Core Track)
Competition results for the Equality_NonLinearArith
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 5094
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics: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 | 146283 | 38095.135349 | 22846.612231 | 3304 | 0 | 3304 | 1790 | 0 | 1282 | 0 |
cvc5 | 99 | 212402 | 72185.073774 | 72665.307179 | 4540 | 0 | 4540 | 554 | 0 | 394 | 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 | 237994 | 2.758504984164e+06 | 1.681831192012e+06 | 3304 | 0 | 3304 | 1790 | 0 | 1282 | 0 |
cvc5 | 99 | 232101 | 545374.474009 | 546158.213733 | 4540 | 0 | 4540 | 554 | 0 | 394 | 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 | 235499 | 2.723169531733e+06 | 1.655346544835e+06 | 3304 | 0 | 3304 | 1759 | 31 | 1261 | 0 |
cvc5 | 99 | 229606 | 508143.382603 | 508903.696892 | 4540 | 0 | 4540 | 523 | 31 | 363 | 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 | 140619 | 14496.36982 | 6407.215156 | 3257 | 0 | 3257 | 335 | 1502 | 0 | 0 |
cvc5 | 3 | 207512 | 2367.314759 | 2809.561962 | 4369 | 0 | 4369 | 64 | 661 | 0 | 0 |