The International Satisfiability Modulo Theories (SMT) Competition.
Competition results for the QF_UFBV logic in the Incremental Track.
Results were generated on 2024-07-08
Benchmarks: 1165
Time Limit: 1200 seconds
Memory Limit: 20480 GB
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|---|---|---|---|
| Bitwuzla | Bitwuzla | - | - | Bitwuzla |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Bitwuzla | 0 | 2825 | 1213.10546 | 1316.138595 | 0 | 0 | 0 | 1165 | 0 | 0 | 0 |
| Yices2 | 0 | 2783 | 678.883787 | 783.560071 | 0 | 0 | 0 | 1165 | 0 | 2 | 0 |
| cvc5 | 0 | 2336 | 4617.641047 | 4718.004937 | 0 | 0 | 0 | 1165 | 0 | 6 | 0 |
| SMTInterpol | 0 | 2128 | 122508.297448 | 86360.543768 | 0 | 0 | 0 | 1165 | 0 | 95 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Bitwuzla | 0 | 2825 | 1213.10546 | 1316.138595 | 0 | 0 | 0 | 1165 | 0 | 0 | 0 |
| Yices2 | 0 | 2820 | 3080.516535 | 3187.03146 | 0 | 0 | 0 | 1165 | 0 | 2 | 0 |
| cvc5 | 0 | 2643 | 11824.058098 | 11928.370051 | 0 | 0 | 0 | 1165 | 0 | 6 | 0 |
| SMTInterpol | 0 | 2206 | 250070.288774 | 207514.46924 | 0 | 0 | 0 | 1165 | 0 | 95 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Bitwuzla | 0 | 2353 | 543.43041 | 645.728244 | 0 | 0 | 0 | 1160 | 5 | 0 | 0 |
| Yices2 | 0 | 2336 | 318.757271 | 422.912219 | 0 | 0 | 0 | 1159 | 6 | 0 | 0 |
| cvc5 | 0 | 2280 | 2287.756822 | 2386.914476 | 0 | 0 | 0 | 1140 | 25 | 0 | 0 |
| SMTInterpol | 0 | 986 | 14860.488964 | 5472.220753 | 0 | 0 | 0 | 493 | 672 | 0 | 0 |