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 |