QF_NonLinearIntArith (Cloud Track)
Competition results for the QF_NonLinearIntArith
division
in the Cloud Track.
Results were generated on 2024-07-08
Benchmarks: 62
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics:Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| - | Z3-Parti-Z3++ | Z3-Parti-Z3++ | Z3-Parti-Z3++ | Z3-Parti-Z3++ |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Z3-Parti-Z3++ | 0 | 35 | 0 | 4815.965 | 35 | 20 | 15 | 27 | 0 | 0 | 0 |
| cvc5-cloud | 0 | 6 | 0 | 4087.204 | 6 | 5 | 1 | 56 | 0 | 0 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Z3-Parti-Z3++ | 0 | 20 | 0 | 1352.199 | 20 | 20 | 0 | 1 | 41 | 0 | 0 |
| cvc5-cloud | 0 | 5 | 0 | 3782.271 | 5 | 5 | 0 | 16 | 41 | 0 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Z3-Parti-Z3++ | 0 | 15 | 0 | 3463.766 | 15 | 0 | 15 | 1 | 46 | 0 | 0 |
| cvc5-cloud | 0 | 1 | 0 | 304.933 | 1 | 0 | 1 | 15 | 46 | 0 | 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 |
|---|
| Z3-Parti-Z3++ | 0 | 15 | 0 | 169.571 | 15 | 12 | 3 | 0 | 47 | 0 | 0 |