QF_NonLinearRealArith (Cloud Track)
Competition results for the QF_NonLinearRealArith
division
in the Cloud Track.
Results were generated on 2024-07-08
Benchmarks: 61
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++ | cvc5-cloud | 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 | 15 | 0 | 4185.275 | 15 | 11 | 4 | 46 | 0 | 0 | 0 |
| cvc5-cloud | 0 | 10 | 0 | 4676.151 | 10 | 4 | 6 | 51 | 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 | 11 | 0 | 2577.138 | 11 | 11 | 0 | 11 | 39 | 0 | 0 |
| cvc5-cloud | 0 | 4 | 0 | 890.683 | 4 | 4 | 0 | 18 | 39 | 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 |
|---|
| cvc5-cloud | 0 | 6 | 0 | 3785.468 | 6 | 0 | 6 | 4 | 51 | 0 | 0 |
| Z3-Parti-Z3++ | 0 | 4 | 0 | 1608.137 | 4 | 0 | 4 | 6 | 51 | 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 | 3 | 0 | 24.627 | 3 | 3 | 0 | 0 | 58 | 0 | 0 |
| cvc5-cloud | 0 | 2 | 0 | 9.427 | 2 | 2 | 0 | 0 | 59 | 0 | 0 |