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 |