QF_FPArith (Single Query Track)
Competition results for the QF_FPArith
division
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 1599
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics:Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| Bitwuzla | Bitwuzla | Bitwuzla | Bitwuzla | Bitwuzla |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 1559 | 19161.845207 | 19322.433578 | 1559 | 610 | 949 | 25 | 15 | 25 | 0 |
| cvc5 | 0 | 1409 | 48581.386335 | 48733.036664 | 1409 | 579 | 830 | 190 | 0 | 72 | 0 |
| COLIBRI | 0 | 1325 | 7608.53471 | 7748.344811 | 1325 | 563 | 762 | 274 | 0 | 114 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 1559 | 19161.845207 | 19322.433578 | 1559 | 610 | 949 | 25 | 15 | 25 | 0 |
| cvc5 | 0 | 1409 | 48581.386335 | 48733.036664 | 1409 | 579 | 830 | 190 | 0 | 72 | 0 |
| COLIBRI | 0 | 1325 | 7608.53471 | 7748.344811 | 1325 | 563 | 762 | 274 | 0 | 114 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 610 | 7343.580089 | 7406.374332 | 610 | 610 | 0 | 10 | 979 | 10 | 0 |
| cvc5 | 0 | 579 | 11384.351777 | 11444.940834 | 579 | 579 | 0 | 44 | 976 | 14 | 0 |
| COLIBRI | 0 | 563 | 4939.934244 | 4999.651532 | 563 | 563 | 0 | 60 | 976 | 27 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 949 | 11818.265118 | 11916.059246 | 949 | 0 | 949 | 4 | 646 | 4 | 0 |
| cvc5 | 0 | 830 | 37197.034558 | 37288.09583 | 830 | 0 | 830 | 135 | 634 | 47 | 0 |
| COLIBRI | 0 | 762 | 2668.600466 | 2748.693279 | 762 | 0 | 762 | 203 | 634 | 76 | 0 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 1474 | 1792.135179 | 1940.071653 | 1474 | 570 | 904 | 0 | 125 | 0 | 0 |
| COLIBRI | 0 | 1299 | 2230.695558 | 2366.915275 | 1299 | 546 | 753 | 160 | 140 | 0 | 0 |
| cvc5 | 0 | 1171 | 3931.129007 | 4049.064168 | 1171 | 491 | 680 | 118 | 310 | 0 | 0 |