FPArith (Single Query Track)
Competition results for the FPArith
division
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 1849
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 | 1741 | 31633.958491 | 31815.990552 | 1741 | 569 | 1172 | 108 | 0 | 108 | 0 |
| cvc5 | 0 | 1670 | 35248.750072 | 35423.375694 | 1670 | 513 | 1157 | 179 | 0 | 173 | 1 |
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 | 1741 | 31633.958491 | 31815.990552 | 1741 | 569 | 1172 | 108 | 0 | 108 | 0 |
| cvc5 | 0 | 1670 | 35248.750072 | 35423.375694 | 1670 | 513 | 1157 | 179 | 0 | 173 | 1 |
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 | 569 | 14760.218537 | 14820.635894 | 569 | 569 | 0 | 1 | 1279 | 1 | 0 |
| cvc5 | 0 | 513 | 25562.313365 | 25619.061982 | 513 | 513 | 0 | 57 | 1279 | 55 | 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 | 1172 | 16873.739954 | 16995.354658 | 1172 | 0 | 1172 | 25 | 652 | 25 | 0 |
| cvc5 | 0 | 1157 | 9686.436706 | 9804.313712 | 1157 | 0 | 1157 | 40 | 652 | 37 | 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 | 1605 | 1545.07452 | 1705.81942 | 1605 | 489 | 1116 | 0 | 244 | 0 | 0 |
| cvc5 | 0 | 1570 | 2057.523273 | 2214.557284 | 1570 | 456 | 1114 | 2 | 277 | 0 | 0 |