The International Satisfiability Modulo Theories (SMT) Competition.
Competition results for the QF_ABV logic in the Incremental Track.
Results were generated on 2024-07-08
Benchmarks: 636
Time Limit: 1200 seconds
Memory Limit: 20480 GB
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|---|---|---|---|
| Bitwuzla | Bitwuzla | - | - | Yices2 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Bitwuzla | 0 | 1763 | 16639.340973 | 16699.936487 | 0 | 0 | 0 | 636 | 0 | 12 | 0 |
| Yices2 | 0 | 1609 | 6467.059231 | 6525.241566 | 0 | 0 | 0 | 636 | 0 | 17 | 0 |
| SMTInterpol | 0 | 930 | 37964.206224 | 31414.709414 | 0 | 0 | 0 | 636 | 0 | 102 | 0 |
| cvc5 | 0 | 748 | 11795.029725 | 11827.735395 | 0 | 0 | 0 | 636 | 0 | 206 | 4 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Bitwuzla | 0 | 1764 | 31055.924507 | 31121.741902 | 0 | 0 | 0 | 636 | 0 | 12 | 0 |
| Yices2 | 0 | 1739 | 25682.752382 | 25752.834219 | 0 | 0 | 0 | 636 | 0 | 17 | 0 |
| cvc5 | 0 | 1288 | 259209.257366 | 259389.050422 | 0 | 0 | 0 | 636 | 0 | 206 | 4 |
| SMTInterpol | 0 | 1041 | 166734.399425 | 154727.710915 | 0 | 0 | 0 | 636 | 0 | 102 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Yices2 | 0 | 1118 | 629.371707 | 683.403287 | 0 | 0 | 0 | 603 | 33 | 0 | 0 |
| Bitwuzla | 0 | 1076 | 814.593826 | 867.37748 | 0 | 0 | 0 | 576 | 60 | 0 | 0 |
| SMTInterpol | 0 | 705 | 3850.720584 | 1465.446347 | 0 | 0 | 0 | 403 | 233 | 0 | 0 |
| cvc5 | 0 | 665 | 653.282335 | 688.491986 | 0 | 0 | 0 | 385 | 251 | 0 | 0 |