FPArith (Single Query Track)
Competition results for the FPArith
division
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 1849
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Logics:
Winners
| Sequential Performance |
Parallel Performance |
SAT Performance (parallel) |
UNSAT Performance (parallel) |
24 seconds Performance (parallel) |
|
Bitwuzla
|
Bitwuzla
|
Bitwuzla
|
Bitwuzla
|
Bitwuzla
|
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
|
1751
|
30946.12 |
31170.01 |
1751 |
566 |
1185 |
98 |
0 |
98 |
0 |
|
cvc5
|
0
|
1697
|
29165.35 |
29378.99 |
1697 |
514 |
1183 |
152 |
0 |
150 |
1 |
|
UltimateEliminator+MathSAT
|
0
|
272
|
39903.61 |
39231.26 |
272 |
103 |
169 |
1577 |
0 |
90 |
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
|
1751
|
30946.12 |
31170.01 |
1751 |
566 |
1185 |
98 |
0 |
98 |
0 |
|
cvc5
|
0
|
1697
|
29165.35 |
29378.99 |
1697 |
514 |
1183 |
152 |
0 |
150 |
1 |
|
UltimateEliminator+MathSAT
|
0
|
272
|
39903.61 |
39231.26 |
272 |
103 |
169 |
1577 |
0 |
90 |
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
|
566
|
11487.55 |
11560.42 |
566 |
566 |
0 |
1 |
1282 |
1 |
0 |
|
cvc5
|
0
|
514
|
19842.30 |
19908.59 |
514 |
514 |
0 |
53 |
1282 |
52 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
103
|
39183.55 |
38880.75 |
103 |
103 |
0 |
464 |
1282 |
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 |
|
Bitwuzla
|
0
|
1185
|
19458.57 |
19609.59 |
1185 |
0 |
1185 |
27 |
637 |
27 |
0 |
|
cvc5
|
0
|
1183
|
9323.05 |
9470.39 |
1183 |
0 |
1183 |
29 |
637 |
29 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
169
|
720.06 |
350.51 |
169 |
0 |
169 |
1043 |
637 |
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 |
|
Bitwuzla
|
0
|
1612
|
1218.75 |
1419.00 |
1612 |
487 |
1125 |
0 |
237 |
0 |
0 |
|
cvc5
|
0
|
1598
|
1683.66 |
1881.23 |
1598 |
459 |
1139 |
1 |
250 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
215
|
1017.40 |
544.75 |
215 |
46 |
169 |
1482 |
152 |
0 |
0 |