Equality (Unsat Core Track)
Competition results for the Equality
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 2697
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics:- UF : 1704 benchmarks
- UFDT : 993 benchmarks
Winners
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|
| Yices2 | SMTInterpol | - | SMTInterpol | 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 | 993 | 0 | 0 |
| SMTInterpol | 0 | 511760 | 103936.542751 | 63883.966112 | 1649 | 0 | 1649 | 1048 | 0 | 873 | 0 |
| cvc5 | 1 | 785124 | 5155.170666 | 5408.878715 | 2535 | 0 | 2535 | 162 | 0 | 161 | 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 | 851313 | 2.87767741797e+06 | 1.228526759569e+06 | 1649 | 0 | 1649 | 1048 | 0 | 873 | 0 |
| Yices2 | 0 | 532087 | 224.431771 | 395.767283 | 0 | 0 | 0 | 1704 | 993 | 0 | 0 |
| cvc5 | 1 | 836047 | 198508.74882 | 198886.550922 | 2535 | 0 | 2535 | 162 | 0 | 161 | 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 | 844470 | 2.824218225954e+06 | 1.204028606575e+06 | 1649 | 0 | 1649 | 1027 | 21 | 853 | 0 |
| Yices2 | 0 | 530909 | 223.897429 | 394.831024 | 0 | 0 | 0 | 1700 | 997 | 0 | 0 |
| cvc5 | 1 | 829204 | 173289.239167 | 173650.319692 | 2535 | 0 | 2535 | 141 | 21 | 140 | 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 | 993 | 0 | 0 |
| SMTInterpol | 0 | 428419 | 10232.259311 | 4530.034947 | 1371 | 0 | 1371 | 6 | 1320 | 0 | 0 |
| cvc5 | 1 | 776844 | 934.515603 | 1185.131474 | 2508 | 0 | 2508 | 1 | 188 | 0 | 0 |