FP (Single Query Track)
Competition results for the FP
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 1334
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| Bitwuzla | Bitwuzla | Bitwuzla | 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 |
|---|
| Bitwuzla | 0 | 1263 | 29966.59 | 30129.72 | 1263 | 117 | 1146 | 71 | 0 | 71 | 0 |
| cvc5 | 0 | 1245 | 26706.36 | 26863.84 | 1245 | 94 | 1151 | 89 | 0 | 89 | 0 |
| UltimateEliminator+MathSAT | 0 | 219 | 39454.45 | 38917.63 | 219 | 55 | 164 | 1115 | 0 | 89 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 1263 | 29966.59 | 30129.72 | 1263 | 117 | 1146 | 71 | 0 | 71 | 0 |
| cvc5 | 0 | 1245 | 26706.36 | 26863.84 | 1245 | 94 | 1151 | 89 | 0 | 89 | 0 |
| UltimateEliminator+MathSAT | 0 | 219 | 39454.45 | 38917.63 | 219 | 55 | 164 | 1115 | 0 | 89 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 117 | 10694.18 | 10711.14 | 117 | 117 | 0 | 0 | 1217 | 0 | 0 |
| cvc5 | 0 | 94 | 17523.98 | 17538.13 | 94 | 94 | 0 | 23 | 1217 | 23 | 0 |
| UltimateEliminator+MathSAT | 0 | 55 | 38798.58 | 38604.03 | 55 | 55 | 0 | 62 | 1217 | 61 | 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 | 1151 | 9182.38 | 9325.72 | 1151 | 0 | 1151 | 22 | 161 | 22 | 0 |
| Bitwuzla | 0 | 1146 | 19272.41 | 19418.58 | 1146 | 0 | 1146 | 27 | 161 | 27 | 0 |
| UltimateEliminator+MathSAT | 0 | 164 | 655.87 | 313.61 | 164 | 0 | 164 | 1009 | 161 | 9 | 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 | 1152 | 1450.32 | 1592.76 | 1152 | 43 | 1109 | 0 | 182 | 0 | 0 |
| Bitwuzla | 0 | 1127 | 1043.36 | 1183.42 | 1127 | 39 | 1088 | 0 | 207 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 165 | 660.60 | 316.16 | 165 | 1 | 164 | 1023 | 146 | 0 | 0 |