The International Satisfiability Modulo Theories (SMT) Competition.
Page generated on 2026-07-25
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|---|---|---|---|
| - | OpenSMT-SMTS | OpenSMT-SMTS | z3-parallel | OpenSMT-SMTS |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | OpenSMT-SMTS | 0.063004 | 0.006587 |
| QF_LinearIntArith | z3-parallel | 0.063004 | -0.290058 |
| QF_LinearIntArith | QiuQi | 0.056704 | -0.01498 |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | OpenSMT-SMTS | 0.104283 | 0.015563 |
| QF_LinearIntArith | QiuQi | 0.020857 | -0.014163 |
| QF_LinearIntArith | z3-parallel | 0 | 0.001779 |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | z3-parallel | 0.159168 | -1.524065 |
| QF_LinearIntArith | QiuQi | 0.111418 | -0.015551 |
| QF_LinearIntArith | OpenSMT-SMTS | 0 | 0 |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | OpenSMT-SMTS | 0.181452 | -0.526101 |
| QF_LinearIntArith | QiuQi | 0.120968 | -0.17384 |
| QF_LinearIntArith | z3-parallel | 0 | 0 |