AUFDTLIRA (Unsat Core Track)
Competition results for the AUFDTLIRA
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 4932
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|
| cvc5 | 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 |
|---|
| cvc5 | 0 | 193440 | 1030.962613 | 1522.56436 | 4928 | 0 | 4928 | 4 | 0 | 4 | 0 |
| SMTInterpol | 0 | 170850 | 35116.999834 | 22880.978632 | 4198 | 0 | 4198 | 734 | 0 | 697 | 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 | 198757 | 1.121416402412e+06 | 869471.860967 | 4198 | 0 | 4198 | 734 | 0 | 697 | 0 |
| cvc5 | 0 | 193508 | 5835.330439 | 6329.433484 | 4928 | 0 | 4928 | 4 | 0 | 4 | 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 | 198746 | 1.12013191642e+06 | 868270.141051 | 4198 | 0 | 4198 | 733 | 1 | 696 | 0 |
| cvc5 | 0 | 193497 | 4634.234487 | 5127.715451 | 4928 | 0 | 4928 | 3 | 1 | 3 | 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 | 193393 | 896.602198 | 1387.933313 | 4926 | 0 | 4926 | 0 | 6 | 0 | 0 |
| SMTInterpol | 0 | 166686 | 18220.385827 | 7721.106772 | 4119 | 0 | 4119 | 24 | 789 | 0 | 0 |