UFDT (Single Query Track)
Competition results for the UFDT
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 1569
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | cvc5 | cvc5 | cvc5 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 571 | 82176.419226 | 82249.575232 | 571 | 132 | 439 | 998 | 0 | 995 | 0 |
| iProver v3.9 | 0 | 306 | 41971.824256 | 11210.876611 | 339 | 0 | 339 | 1230 | 0 | 1227 | 0 |
| SMTInterpol | 0 | 117 | 9614.301284 | 7431.858316 | 119 | 2 | 117 | 1450 | 0 | 1265 | 22 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 571 | 82176.419226 | 82249.575232 | 571 | 132 | 439 | 998 | 0 | 995 | 0 |
| iProver v3.9 | 0 | 339 | 132918.807664 | 34297.228012 | 339 | 0 | 339 | 1230 | 0 | 1227 | 0 |
| SMTInterpol | 0 | 119 | 12688.632986 | 9404.307826 | 119 | 2 | 117 | 1450 | 0 | 1265 | 22 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 132 | 65496.864859 | 65522.022858 | 132 | 132 | 0 | 0 | 1437 | 0 | 0 |
| SMTInterpol | 0 | 2 | 1.25032 | 0.95389 | 2 | 2 | 0 | 130 | 1437 | 98 | 2 |
| iProver v3.9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 132 | 1437 | 129 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 439 | 16679.554366 | 16727.552373 | 439 | 0 | 439 | 22 | 1108 | 22 | 0 |
| iProver v3.9 | 0 | 339 | 132918.807664 | 34297.228012 | 339 | 0 | 339 | 122 | 1108 | 122 | 0 |
| SMTInterpol | 0 | 117 | 12687.382666 | 9403.353937 | 117 | 0 | 117 | 344 | 1108 | 300 | 4 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 355 | 257.279587 | 292.75523 | 355 | 5 | 350 | 0 | 1214 | 0 | 0 |
| iProver v3.9 | 0 | 188 | 5047.646835 | 1529.94611 | 188 | 0 | 188 | 0 | 1381 | 0 | 0 |
| SMTInterpol | 0 | 79 | 911.992175 | 413.122756 | 79 | 2 | 77 | 37 | 1453 | 0 | 0 |