QF_Strings (Unsat Core Track)
Competition results for the QF_Strings
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 6193
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics: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 | 118523 | 26059.561506 | 26635.249321 | 5745 | 0 | 5745 | 448 | 0 | 441 | 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 | 121950 | 555705.378532 | 556595.973341 | 5745 | 0 | 5745 | 448 | 0 | 441 | 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 | 120955 | 447384.933236 | 448203.29452 | 5745 | 0 | 5745 | 357 | 91 | 351 | 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 | 115969 | 1489.725522 | 2052.412837 | 5637 | 0 | 5637 | 4 | 552 | 0 | 0 |