The International Satisfiability Modulo Theories (SMT) Competition.
Competition results for the QF_Bitvec division in the Parallel Track. Chart
Results were generated on 2025-08-11
Benchmarks: 46
Time Limit: 1200 seconds
Memory Limit: 30720 GB
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|---|---|---|---|
| - | STP-Parti-Bitwuzla | STP-Parti-Bitwuzla | STP-Parti-Bitwuzla | Bitwuzla |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| STP-Parti-Bitwuzla | 0 | 27 | 515738.73 | 11013.02 | 27 | 13 | 14 | 19 | 0 | 18 | 0 |
| Bitwuzla | 0 | 21 | 255193.48 | 5755.06 | 21 | 8 | 13 | 25 | 0 | 25 | 0 |
| Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| STP-Parti-Bitwuzla-16core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| STP-Parti-Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| STP-Parti-Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| STP-Parti-Bitwuzla | 0 | 13 | 288696.44 | 7211.32 | 13 | 13 | 0 | 2 | 31 | 2 | 0 |
| Bitwuzla | 0 | 8 | 112887.72 | 2871.56 | 8 | 8 | 0 | 7 | 31 | 7 | 0 |
| Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 15 | 31 | 0 | 0 |
| Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 15 | 31 | 0 | 0 |
| STP-Parti-Bitwuzla-16core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 15 | 31 | 0 | 0 |
| STP-Parti-Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 15 | 31 | 0 | 0 |
| STP-Parti-Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 15 | 31 | 0 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| STP-Parti-Bitwuzla | 0 | 14 | 227042.29 | 3801.70 | 14 | 0 | 14 | 3 | 29 | 2 | 0 |
| Bitwuzla | 0 | 13 | 142305.76 | 2883.50 | 13 | 0 | 13 | 4 | 29 | 4 | 0 |
| Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 17 | 29 | 0 | 0 |
| Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 17 | 29 | 0 | 0 |
| STP-Parti-Bitwuzla-16core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 17 | 29 | 0 | 0 |
| STP-Parti-Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 17 | 29 | 0 | 0 |
| STP-Parti-Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 17 | 29 | 0 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Bitwuzla | 0 | 4 | 813.74 | 22.98 | 4 | 0 | 4 | 0 | 42 | 0 | 0 |
| STP-Parti-Bitwuzla | 0 | 2 | 523.23 | 8.43 | 2 | 0 | 2 | 0 | 44 | 0 | 0 |
| Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| STP-Parti-Bitwuzla-16core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| STP-Parti-Bitwuzla-32core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |
| STP-Parti-Bitwuzla-64core n | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 46 | 0 | 0 | 0 |