UFLIA (Unsat Core Track)
Competition results for the UFLIA
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 3862
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|
| SMTInterpol | SMTInterpol | - | SMTInterpol | cvc5 |
Sequential Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 590626 | 73870.261245 | 53508.699329 | 2485 | 0 | 2485 | 1377 | 0 | 1310 | 0 |
| cvc5 | 5 | 848782 | 15607.309787 | 15982.02494 | 3729 | 0 | 3729 | 133 | 0 | 126 | 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 | 971728 | 2.408449640128e+06 | 1.669081998744e+06 | 2485 | 0 | 2485 | 1377 | 0 | 1310 | 0 |
| cvc5 | 5 | 881764 | 166926.435355 | 167399.495348 | 3729 | 0 | 3729 | 133 | 0 | 126 | 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 | 971728 | 2.408449640128e+06 | 1.669081998744e+06 | 2485 | 0 | 2485 | 1377 | 0 | 1310 | 0 |
| cvc5 | 5 | 881764 | 166926.435355 | 167399.495348 | 3729 | 0 | 3729 | 133 | 0 | 126 | 0 |
24 seconds Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 828053 | 2924.966595 | 3291.785375 | 3672 | 0 | 3672 | 2 | 188 | 0 | 0 |
| SMTInterpol | 0 | 562708 | 9241.111477 | 4070.494232 | 2321 | 0 | 2321 | 8 | 1533 | 0 | 0 |