QF_UFIDL (Unsat Core Track)
Competition results for the QF_UFIDL
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 113
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| Yices2 | Yices2 | - | Yices2 | Yices2 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 716326 | 21166.739269 | 21178.987556 | 72 | 0 | 72 | 41 | 0 | 41 | 0 |
| OpenSMT | 0 | 594045 | 27127.111064 | 27140.997452 | 69 | 0 | 69 | 44 | 0 | 44 | 0 |
| SMTInterpol | 0 | 71038 | 5070.423342 | 2383.993157 | 24 | 0 | 24 | 89 | 0 | 89 | 0 |
| cvc5 | 0 | 15965 | 735.148182 | 737.145508 | 16 | 0 | 16 | 97 | 0 | 97 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 716326 | 21166.739269 | 21178.987556 | 72 | 0 | 72 | 41 | 0 | 41 | 0 |
| OpenSMT | 0 | 594045 | 27127.111064 | 27140.997452 | 69 | 0 | 69 | 44 | 0 | 44 | 0 |
| SMTInterpol | 0 | 139735 | 14117.571784 | 6345.004664 | 24 | 0 | 24 | 89 | 0 | 89 | 0 |
| cvc5 | 0 | 15965 | 735.148182 | 737.145508 | 16 | 0 | 16 | 97 | 0 | 97 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 716326 | 21166.739269 | 21178.987556 | 72 | 0 | 72 | 41 | 0 | 41 | 0 |
| OpenSMT | 0 | 594045 | 27127.111064 | 27140.997452 | 69 | 0 | 69 | 44 | 0 | 44 | 0 |
| SMTInterpol | 0 | 139735 | 14117.571784 | 6345.004664 | 24 | 0 | 24 | 89 | 0 | 89 | 0 |
| cvc5 | 0 | 15965 | 735.148182 | 737.145508 | 16 | 0 | 16 | 97 | 0 | 97 | 0 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 40332 | 66.612395 | 68.326475 | 17 | 0 | 17 | 0 | 96 | 0 | 0 |
| cvc5 | 0 | 19 | 1.816383 | 3.117892 | 13 | 0 | 13 | 0 | 100 | 0 | 0 |
| SMTInterpol | 0 | 19 | 5.421613 | 5.394828 | 13 | 0 | 13 | 0 | 100 | 0 | 0 |
| OpenSMT | 0 | 17 | 1.733091 | 3.047072 | 13 | 0 | 13 | 0 | 100 | 0 | 0 |