QF_UFFPDTNIRA (Single Query Track)
Competition results for the QF_UFFPDTNIRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 15
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
|
15
|
59.13 |
61.00 |
15 |
3 |
12 |
0 |
0 |
0 |
0 |
|
colibri2
|
0
|
11
|
1.98 |
3.34 |
11 |
1 |
10 |
4 |
0 |
1 |
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
|
15
|
59.13 |
61.00 |
15 |
3 |
12 |
0 |
0 |
0 |
0 |
|
colibri2
|
0
|
11
|
1.98 |
3.34 |
11 |
1 |
10 |
4 |
0 |
1 |
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
|
3
|
23.86 |
24.23 |
3 |
3 |
0 |
0 |
12 |
0 |
0 |
|
colibri2
|
0
|
1
|
0.19 |
0.32 |
1 |
1 |
0 |
2 |
12 |
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
|
12
|
35.27 |
36.77 |
12 |
0 |
12 |
0 |
3 |
0 |
0 |
|
colibri2
|
0
|
10
|
1.79 |
3.02 |
10 |
0 |
10 |
2 |
3 |
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
|
15
|
59.13 |
61.00 |
15 |
3 |
12 |
0 |
0 |
0 |
0 |
|
colibri2
|
0
|
11
|
1.98 |
3.34 |
11 |
1 |
10 |
1 |
3 |
0 |
0 |