ANIA (Single Query Track)
Competition results for the ANIA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 78
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance |
Parallel Performance |
SAT Performance (parallel) |
UNSAT Performance (parallel) |
24 seconds Performance (parallel) |
|
SMTInterpol
|
SMTInterpol
|
SMTInterpol
|
SMTInterpol
|
SMTInterpol
|
Sequential Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
SMTInterpol
|
0
|
9
|
24.13 |
11.03 |
9 |
4 |
5 |
69 |
0 |
7 |
0 |
|
cvc5
|
0
|
5
|
0.96 |
1.59 |
5 |
3 |
2 |
73 |
0 |
5 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
12.62 |
5.90 |
3 |
3 |
0 |
75 |
0 |
0 |
0 |
|
iProver v3.9.3
|
0
|
3
|
55.00 |
17.21 |
5 |
0 |
5 |
73 |
0 |
73 |
0 |
Parallel Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
SMTInterpol
|
0
|
9
|
24.13 |
11.03 |
9 |
4 |
5 |
69 |
0 |
7 |
0 |
|
cvc5
|
0
|
5
|
0.96 |
1.59 |
5 |
3 |
2 |
73 |
0 |
5 |
0 |
|
iProver v3.9.3
|
0
|
5
|
4451.86 |
1128.64 |
5 |
0 |
5 |
73 |
0 |
73 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
12.62 |
5.90 |
3 |
3 |
0 |
75 |
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 |
|
SMTInterpol
|
0
|
4
|
1.80 |
1.81 |
4 |
4 |
0 |
0 |
74 |
0 |
0 |
|
cvc5
|
0
|
3
|
0.48 |
0.86 |
3 |
3 |
0 |
1 |
74 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
12.62 |
5.90 |
3 |
3 |
0 |
1 |
74 |
0 |
0 |
|
iProver v3.9.3
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
4 |
74 |
4 |
0 |
UNSAT Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
SMTInterpol
|
0
|
5
|
22.32 |
9.21 |
5 |
0 |
5 |
3 |
70 |
0 |
0 |
|
iProver v3.9.3
|
0
|
5
|
4451.86 |
1128.64 |
5 |
0 |
5 |
3 |
70 |
3 |
0 |
|
cvc5
|
0
|
2
|
0.48 |
0.73 |
2 |
0 |
2 |
6 |
70 |
1 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
8 |
70 |
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 |
|
SMTInterpol
|
0
|
9
|
24.13 |
11.03 |
9 |
4 |
5 |
62 |
7 |
0 |
0 |
|
cvc5
|
0
|
5
|
0.96 |
1.59 |
5 |
3 |
2 |
68 |
5 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
12.62 |
5.90 |
3 |
3 |
0 |
75 |
0 |
0 |
0 |
|
iProver v3.9.3
|
0
|
3
|
55.00 |
17.21 |
3 |
0 |
3 |
0 |
75 |
0 |
0 |