UF (Unsat Core Track)
Competition results for the UF
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 1704
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
---|
Yices2 | Yices2 | - | Yices2 | Yices2 |
Sequential Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 0 | 532087 | 224.431771 | 395.767283 | 0 | 0 | 0 | 1704 | 0 | 0 | 0 |
SMTInterpol | 0 | 293908 | 74699.685978 | 46867.4483 | 969 | 0 | 969 | 735 | 0 | 598 | 0 |
cvc5 | 1 | 473828 | 4454.808844 | 4612.809118 | 1577 | 0 | 1577 | 127 | 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 |
---|
Yices2 | 0 | 532087 | 224.431771 | 395.767283 | 0 | 0 | 0 | 1704 | 0 | 0 | 0 |
SMTInterpol | 0 | 525824 | 2.084849868968e+06 | 853554.909855 | 969 | 0 | 969 | 735 | 0 | 598 | 0 |
cvc5 | 1 | 514041 | 155774.608517 | 156030.122184 | 1577 | 0 | 1577 | 127 | 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 |
---|
Yices2 | 0 | 530909 | 223.897429 | 394.831024 | 0 | 0 | 0 | 1700 | 4 | 0 | 0 |
SMTInterpol | 0 | 524646 | 2.073870053406e+06 | 848744.499824 | 969 | 0 | 969 | 731 | 4 | 594 | 0 |
cvc5 | 1 | 512863 | 150970.881184 | 151223.214317 | 1577 | 0 | 1577 | 123 | 4 | 122 | 0 |
24 seconds Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 0 | 532087 | 224.431771 | 395.767283 | 0 | 0 | 0 | 1704 | 0 | 0 | 0 |
SMTInterpol | 0 | 242216 | 5762.881983 | 2562.98216 | 782 | 0 | 782 | 4 | 918 | 0 | 0 |
cvc5 | 1 | 466212 | 658.779844 | 813.903839 | 1552 | 0 | 1552 | 1 | 151 | 0 | 0 |