QF_NonLinearIntArith (Unsat Core Track)
Competition results for the QF_NonLinearIntArith
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 2351
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 | 44054 | 7236.096563 | 3343.273715 | 34 | 0 | 34 | 2317 | 0 | 2 | 0 |
| cvc5 | 2 | 26334 | 119628.629012 | 119835.2797 | 1850 | 0 | 1850 | 501 | 0 | 499 | 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 | 44064 | 11384.36692 | 5748.779065 | 34 | 0 | 34 | 2317 | 0 | 2 | 0 |
| cvc5 | 2 | 33646 | 718897.260875 | 719499.23496 | 1850 | 0 | 1850 | 501 | 0 | 499 | 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 | 43076 | 8894.637275 | 4240.822961 | 34 | 0 | 34 | 2175 | 142 | 1 | 0 |
| cvc5 | 1 | 32664 | 549554.196661 | 550047.63694 | 1850 | 0 | 1850 | 359 | 142 | 358 | 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 | 44023 | 5722.117823 | 2522.103729 | 32 | 0 | 32 | 2309 | 10 | 0 | 0 |
| cvc5 | 1 | 4715 | 3897.262219 | 4022.448634 | 1250 | 0 | 1250 | 1 | 1100 | 0 | 0 |