AUFNIRA (Single Query Track)
Competition results for the AUFNIRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 300
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
|
53
|
4576.23 |
4583.35 |
53 |
2 |
51 |
247 |
0 |
245 |
0 |
|
iProver v3.9.3
|
0
|
30
|
6303.94 |
1628.61 |
38 |
0 |
38 |
262 |
0 |
262 |
0 |
|
SMTInterpol
|
0
|
6
|
1020.37 |
928.27 |
6 |
0 |
6 |
294 |
0 |
149 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
2
|
19.59 |
7.26 |
2 |
0 |
2 |
298 |
0 |
2 |
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
|
53
|
4576.23 |
4583.35 |
53 |
2 |
51 |
247 |
0 |
245 |
0 |
|
iProver v3.9.3
|
0
|
38
|
24078.84 |
6109.79 |
38 |
0 |
38 |
262 |
0 |
262 |
0 |
|
SMTInterpol
|
0
|
6
|
1020.37 |
928.27 |
6 |
0 |
6 |
294 |
0 |
149 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
2
|
19.59 |
7.26 |
2 |
0 |
2 |
298 |
0 |
2 |
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
|
2
|
1080.37 |
1080.74 |
2 |
2 |
0 |
0 |
298 |
0 |
0 |
|
SMTInterpol
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
2 |
298 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
2 |
298 |
0 |
0 |
|
iProver v3.9.3
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
2 |
298 |
2 |
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
|
51
|
3495.86 |
3502.61 |
51 |
0 |
51 |
5 |
244 |
5 |
0 |
|
iProver v3.9.3
|
0
|
38
|
24078.84 |
6109.79 |
38 |
0 |
38 |
18 |
244 |
18 |
0 |
|
SMTInterpol
|
0
|
6
|
1020.37 |
928.27 |
6 |
0 |
6 |
50 |
244 |
35 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
2
|
19.59 |
7.26 |
2 |
0 |
2 |
54 |
244 |
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
|
33
|
67.35 |
71.47 |
33 |
0 |
33 |
0 |
267 |
0 |
0 |
|
iProver v3.9.3
|
0
|
19
|
587.95 |
168.47 |
19 |
0 |
19 |
0 |
281 |
0 |
0 |
|
SMTInterpol
|
0
|
5
|
35.79 |
17.57 |
5 |
0 |
5 |
5 |
290 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
2
|
19.59 |
7.26 |
2 |
0 |
2 |
296 |
2 |
0 |
0 |