The International Satisfiability Modulo Theories (SMT) Competition.
Page generated on 2025-08-11
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|---|---|---|---|
| - | SMTS | SMTS | Z3-Parti-Z3pp | SMTS |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | SMTS | 0.08725 | -0.073969 |
| QF_LinearIntArith | Z3-Parti-Z3pp | 0.07089 | -0.244677 |
| QF_LinearRealArith | SMTS | 0.06474 | 0.019615 |
| QF_LinearRealArith | Yices2 | 0.019422 | -0.002532 |
| QF_LinearRealArith | Z3-Parti-Z3pp | 0.006474 | -0.007392 |
| QF_LinearIntArith | Yices2 | 0 | 0 |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | SMTS | 0.102473 | -0.206627 |
| QF_LinearRealArith | SMTS | 0.046612 | 0.043527 |
| QF_LinearIntArith | Z3-Parti-Z3pp | 0.018631 | -0.009582 |
| QF_LinearRealArith | Yices2 | 0.011653 | -0.005155 |
| QF_LinearRealArith | Z3-Parti-Z3pp | 0.011653 | -0.012415 |
| QF_LinearIntArith | Yices2 | 0 | 0 |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | Z3-Parti-Z3pp | 0.144668 | -0.730685 |
| QF_LinearRealArith | SMTS | 0.087398 | -0.042865 |
| QF_LinearIntArith | SMTS | 0.065758 | -0.03387 |
| QF_LinearRealArith | Yices2 | 0.029133 | 0.001449 |
| QF_LinearRealArith | Z3-Parti-Z3pp | 0 | 0 |
| QF_LinearIntArith | Yices2 | 0 | 0 |
| Division | Solver | Correct Score | Time Score |
|---|---|---|---|
| QF_LinearIntArith | SMTS | 0.159698 | -0.333265 |
| QF_LinearIntArith | Z3-Parti-Z3pp | 0.063879 | -0.149991 |
| QF_LinearIntArith | Yices2 | 0 | 0 |