QF_UFDTLIRA (Single Query Track)
Competition results for the QF_UFDTLIRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 9
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
|
9
|
1.45 |
2.58 |
9 |
5 |
4 |
0 |
0 |
0 |
0 |
|
SMTInterpol
|
0
|
9
|
4.38 |
4.24 |
9 |
5 |
4 |
0 |
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
|
9
|
1.45 |
2.58 |
9 |
5 |
4 |
0 |
0 |
0 |
0 |
|
SMTInterpol
|
0
|
9
|
4.38 |
4.24 |
9 |
5 |
4 |
0 |
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 |
|
cvc5
|
0
|
5
|
0.80 |
1.43 |
5 |
5 |
0 |
0 |
4 |
0 |
0 |
|
SMTInterpol
|
0
|
5
|
2.33 |
2.29 |
5 |
5 |
0 |
0 |
4 |
0 |
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
|
4
|
0.65 |
1.15 |
4 |
0 |
4 |
0 |
5 |
0 |
0 |
|
SMTInterpol
|
0
|
4
|
2.05 |
1.95 |
4 |
0 |
4 |
0 |
5 |
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
|
1.45 |
2.58 |
9 |
5 |
4 |
0 |
0 |
0 |
0 |
|
SMTInterpol
|
0
|
9
|
4.38 |
4.24 |
9 |
5 |
4 |
0 |
0 |
0 |
0 |