Equality_LinearArith (Unsat Core Track)
Competition results for the Equality_LinearArith
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 23325
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 | 1.082998e+06 | 238972.839156 | 165003.05964 | 20191 | 0 | 20191 | 3134 | 0 | 2790 | 0 |
cvc5 | 8 | 1.338046e+06 | 42992.953296 | 45294.129384 | 23026 | 0 | 23026 | 299 | 0 | 288 | 1 |
Parallel Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 1.543753e+06 | 5.495030522545e+06 | 3.715138438504e+06 | 20191 | 0 | 20191 | 3134 | 0 | 2790 | 0 |
cvc5 | 8 | 1.379781e+06 | 388874.658498 | 391392.453512 | 23026 | 0 | 23026 | 299 | 0 | 288 | 1 |
UNSAT Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 1.543298e+06 | 5.457708623417e+06 | 3.690232628681e+06 | 20191 | 0 | 20191 | 3107 | 27 | 2771 | 0 |
cvc5 | 8 | 1.379326e+06 | 356447.721465 | 358945.923674 | 23026 | 0 | 23026 | 272 | 27 | 261 | 1 |
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 | 1.040031e+06 | 54900.834309 | 26198.525236 | 19634 | 0 | 19634 | 58 | 3633 | 0 | 0 |
cvc5 | 2 | 1.314968e+06 | 6287.477255 | 8571.348742 | 22892 | 0 | 22892 | 4 | 429 | 0 | 0 |