UFDT (Single Query Track)
Competition results for the UFDT
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 1569
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | cvc5 | cvc5 | cvc5 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 556 | 68318.69 | 68396.37 | 556 | 108 | 448 | 1013 | 0 | 1013 | 0 |
| iProver v3.9.3 | 0 | 310 | 35874.74 | 9602.39 | 351 | 0 | 351 | 1218 | 0 | 1216 | 0 |
| SMTInterpol | 0 | 122 | 9483.67 | 7237.00 | 124 | 3 | 121 | 1445 | 0 | 1033 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 556 | 68318.69 | 68396.37 | 556 | 108 | 448 | 1013 | 0 | 1013 | 0 |
| iProver v3.9.3 | 0 | 351 | 161021.93 | 41244.16 | 351 | 0 | 351 | 1218 | 0 | 1216 | 0 |
| SMTInterpol | 0 | 124 | 12634.88 | 8618.68 | 124 | 3 | 121 | 1445 | 0 | 1033 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 108 | 53194.38 | 53214.70 | 108 | 108 | 0 | 0 | 1461 | 0 | 0 |
| SMTInterpol | 0 | 3 | 1.86 | 1.49 | 3 | 3 | 0 | 105 | 1461 | 65 | 0 |
| iProver v3.9.3 | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 108 | 1461 | 107 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 448 | 15124.31 | 15181.67 | 448 | 0 | 448 | 17 | 1104 | 17 | 0 |
| iProver v3.9.3 | 0 | 351 | 161021.93 | 41244.16 | 351 | 0 | 351 | 114 | 1104 | 114 | 0 |
| SMTInterpol | 0 | 121 | 12633.02 | 8617.19 | 121 | 0 | 121 | 344 | 1104 | 240 | 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 |
|---|
| cvc5 | 0 | 375 | 269.31 | 315.63 | 375 | 5 | 370 | 0 | 1194 | 0 | 0 |
| iProver v3.9.3 | 0 | 203 | 4744.28 | 1451.85 | 203 | 0 | 203 | 0 | 1366 | 0 | 0 |
| SMTInterpol | 0 | 80 | 964.24 | 507.44 | 80 | 3 | 77 | 45 | 1444 | 0 | 0 |