QF_S (Unsat Core Track)
Competition results for the QF_S
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 2798
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|
| cvc5 | cvc5 | - | cvc5 | 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 | 7738 | 9644.429538 | 9920.34843 | 2773 | 0 | 2773 | 25 | 0 | 23 | 2 |
Parallel Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 7823 | 37267.120639 | 37560.032533 | 2773 | 0 | 2773 | 25 | 0 | 23 | 2 |
UNSAT Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 7768 | 18051.56895 | 18332.45643 | 2773 | 0 | 2773 | 9 | 16 | 7 | 2 |
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 | 7700 | 550.574268 | 825.266072 | 2754 | 0 | 2754 | 0 | 44 | 0 | 0 |