QF_LinearIntArith (Cloud Track)
Competition results for the QF_LinearIntArith
division
in the Cloud Track.
Results were generated on 2024-07-08
Benchmarks: 319
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics:Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| - | SMTS | SMTS | Z3-Parti-Z3++ | SMTS |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTS | 0 | 49 | 0 | 5587.094 | 49 | 42 | 7 | 270 | 0 | 0 | 0 |
| Z3-Parti-Z3++ | 0 | 47 | 0 | 23756.759 | 47 | 33 | 14 | 272 | 0 | 0 | 0 |
| cvc5-cloud | 0 | 8 | 0 | 3778.252 | 8 | 2 | 6 | 311 | 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 |
|---|
| SMTS | 0 | 42 | 0 | 3763.695 | 42 | 42 | 0 | 96 | 181 | 0 | 0 |
| Z3-Parti-Z3++ | 0 | 33 | 0 | 15737.951 | 33 | 33 | 0 | 105 | 181 | 0 | 0 |
| cvc5-cloud | 0 | 2 | 0 | 737.964 | 2 | 2 | 0 | 136 | 181 | 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 | 14 | 0 | 8018.808 | 14 | 0 | 14 | 75 | 230 | 0 | 0 |
| SMTS | 0 | 7 | 0 | 1823.399 | 7 | 0 | 7 | 82 | 230 | 0 | 0 |
| cvc5-cloud | 0 | 6 | 0 | 3040.288 | 6 | 0 | 6 | 83 | 230 | 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 |
|---|
| SMTS | 0 | 17 | 0 | 177.282 | 17 | 17 | 0 | 195 | 107 | 0 | 0 |
| Z3-Parti-Z3++ | 0 | 2 | 0 | 40.729 | 2 | 2 | 0 | 195 | 122 | 0 | 0 |
| cvc5-cloud | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 195 | 124 | 0 | 0 |