UFIDL (Single Query Track)
Competition results for the UFIDL
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 20
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
|
SMTInterpol
|
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
|
10
|
542.84 |
544.12 |
10 |
1 |
9 |
10 |
0 |
8 |
0 |
|
SMTInterpol
|
0
|
8
|
131.48 |
69.00 |
8 |
1 |
7 |
12 |
0 |
6 |
0 |
|
iProver v3.9.3
|
0
|
7
|
247.33 |
70.98 |
7 |
0 |
7 |
13 |
0 |
11 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
20 |
0 |
0 |
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
|
10
|
542.84 |
544.12 |
10 |
1 |
9 |
10 |
0 |
8 |
0 |
|
SMTInterpol
|
0
|
8
|
131.48 |
69.00 |
8 |
1 |
7 |
12 |
0 |
6 |
0 |
|
iProver v3.9.3
|
0
|
7
|
247.33 |
70.98 |
7 |
0 |
7 |
13 |
0 |
11 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
20 |
0 |
0 |
0 |
SAT Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
SMTInterpol
|
0
|
1
|
0.74 |
0.58 |
1 |
1 |
0 |
2 |
17 |
0 |
0 |
|
cvc5
|
0
|
1
|
540.66 |
540.85 |
1 |
1 |
0 |
2 |
17 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
3 |
17 |
0 |
0 |
|
iProver v3.9.3
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
3 |
17 |
1 |
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
|
9
|
2.18 |
3.28 |
9 |
0 |
9 |
0 |
11 |
0 |
0 |
|
SMTInterpol
|
0
|
7
|
130.74 |
68.42 |
7 |
0 |
7 |
2 |
11 |
2 |
0 |
|
iProver v3.9.3
|
0
|
7
|
247.33 |
70.98 |
7 |
0 |
7 |
2 |
11 |
2 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
9 |
11 |
0 |
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
|
9
|
2.18 |
3.28 |
9 |
0 |
9 |
0 |
11 |
0 |
0 |
|
SMTInterpol
|
0
|
8
|
131.48 |
69.00 |
8 |
1 |
7 |
5 |
7 |
0 |
0 |
|
iProver v3.9.3
|
0
|
5
|
42.75 |
13.99 |
5 |
0 |
5 |
2 |
13 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
20 |
0 |
0 |
0 |