UFDTLIRA (Single Query Track)
Competition results for the UFDTLIRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 3382
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
|
2988
|
5457.48 |
5826.33 |
2988 |
553 |
2435 |
394 |
0 |
147 |
5 |
|
iProver v3.9.3
|
0
|
2286
|
52298.13 |
15298.30 |
2354 |
0 |
2354 |
1028 |
0 |
1028 |
0 |
|
SMTInterpol
|
1
|
2762
|
8252.54 |
5650.98 |
2763 |
469 |
2294 |
619 |
0 |
150 |
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
|
2988
|
5457.48 |
5826.33 |
2988 |
553 |
2435 |
394 |
0 |
147 |
5 |
|
iProver v3.9.3
|
0
|
2354
|
241216.95 |
63097.72 |
2354 |
0 |
2354 |
1028 |
0 |
1028 |
0 |
|
SMTInterpol
|
1
|
2762
|
8252.54 |
5650.98 |
2763 |
469 |
2294 |
619 |
0 |
150 |
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
|
553
|
5025.98 |
5093.03 |
553 |
553 |
0 |
0 |
2829 |
0 |
0 |
|
SMTInterpol
|
0
|
462
|
287.89 |
241.28 |
462 |
462 |
0 |
91 |
2829 |
0 |
0 |
|
iProver v3.9.3
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
553 |
2829 |
553 |
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
|
2435
|
431.50 |
733.30 |
2435 |
0 |
2435 |
1 |
946 |
1 |
0 |
|
iProver v3.9.3
|
0
|
2354
|
241216.95 |
63097.72 |
2354 |
0 |
2354 |
82 |
946 |
82 |
0 |
|
SMTInterpol
|
1
|
2294
|
7950.84 |
5403.70 |
2295 |
1 |
2294 |
141 |
946 |
106 |
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
|
2964
|
594.47 |
959.63 |
2964 |
529 |
2435 |
1 |
417 |
0 |
0 |
|
iProver v3.9.3
|
0
|
2138
|
14159.53 |
5274.39 |
2138 |
0 |
2138 |
0 |
1244 |
0 |
0 |
|
SMTInterpol
|
1
|
2748
|
4485.92 |
2367.40 |
2749 |
469 |
2280 |
433 |
200 |
0 |
0 |