AUFNIRA (Unsat Core Track)
Competition results for the AUFNIRA
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 534
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
---|
SMTInterpol | SMTInterpol | - | SMTInterpol | cvc5 |
Sequential Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 10384 | 2590.027814 | 1696.326111 | 482 | 0 | 482 | 52 | 0 | 46 | 0 |
cvc5 | 1 | 15692 | 922.588791 | 973.777395 | 512 | 0 | 512 | 22 | 0 | 21 | 0 |
Parallel Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 21358 | 119457.052373 | 59925.944092 | 482 | 0 | 482 | 52 | 0 | 46 | 0 |
cvc5 | 1 | 20980 | 26145.685284 | 26211.039327 | 512 | 0 | 512 | 22 | 0 | 21 | 0 |
UNSAT Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
SMTInterpol | 0 | 19564 | 100889.120062 | 46786.544363 | 482 | 0 | 482 | 41 | 11 | 36 | 0 |
cvc5 | 1 | 19186 | 12933.239767 | 12991.007291 | 512 | 0 | 512 | 11 | 11 | 10 | 0 |
24 seconds Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
cvc5 | 0 | 15078 | 112.037541 | 162.887584 | 510 | 0 | 510 | 0 | 24 | 0 | 0 |
SMTInterpol | 0 | 9783 | 557.94173 | 309.632481 | 481 | 0 | 481 | 0 | 53 | 0 | 0 |