AUFLIA (Unsat Core Track)
Competition results for the AUFLIA
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 1251
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 | 31841 | 32165.447136 | 18634.955866 | 999 | 0 | 999 | 252 | 0 | 207 | 0 |
| cvc5 | 1 | 36940 | 7328.794762 | 7443.261293 | 1155 | 0 | 1155 | 96 | 0 | 94 | 1 |
Parallel Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 44896 | 396746.918279 | 281188.728206 | 999 | 0 | 999 | 252 | 0 | 207 | 0 |
| cvc5 | 1 | 43954 | 120227.014167 | 120406.890838 | 1155 | 0 | 1155 | 96 | 0 | 94 | 1 |
UNSAT Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 44767 | 394255.44747 | 278785.289048 | 999 | 0 | 999 | 250 | 2 | 205 | 0 |
| cvc5 | 1 | 43825 | 117824.840912 | 118003.458088 | 1155 | 0 | 1155 | 94 | 2 | 92 | 1 |
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 | 35321 | 226.486319 | 339.657252 | 1135 | 0 | 1135 | 0 | 116 | 0 | 0 |
| SMTInterpol | 0 | 26038 | 3375.9191 | 1536.664878 | 927 | 0 | 927 | 11 | 313 | 0 | 0 |