| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_LIA/mathsat/FISCHER10-10-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-11-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-12-fair.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-13-fair.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-14-fair.smt | unsat | 1 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER10-15-fair.smt | sat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-1-fair.smt | sat | 0 | industrial | sat | 3567 | Yes |
| QF_LIA/mathsat/FISCHER10-2-fair.smt | unsat | 0 | industrial | unsat | 16445 | Yes |
| QF_LIA/mathsat/FISCHER10-3-fair.smt | unsat | 0 | industrial | unsat | 61759 | Yes |
| QF_LIA/mathsat/FISCHER10-4-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER10-5-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-6-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-7-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER10-8-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER10-9-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-10-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-11-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-12-fair.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-13-fair.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-14-fair.smt | unsat | 1 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER11-15-fair.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-16-fair.smt | sat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-1-fair.smt | sat | 0 | industrial | sat | 4023 | Yes |
| QF_LIA/mathsat/FISCHER11-2-fair.smt | unsat | 0 | industrial | unsat | 32608 | Yes |
| QF_LIA/mathsat/FISCHER11-3-fair.smt | unsat | 0 | industrial | unsat | 200840 | Yes |
| QF_LIA/mathsat/FISCHER11-4-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER11-5-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-6-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-7-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER11-8-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER11-9-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER1-1-fair.smt | sat | 0 | industrial | sat | 1180 | Yes |
| QF_LIA/mathsat/FISCHER1-2-fair.smt | unsat | 0 | industrial | unsat | 1547 | Yes |
| QF_LIA/mathsat/FISCHER1-3-fair.smt | unsat | 0 | industrial | unsat | 2092 | Yes |
| QF_LIA/mathsat/FISCHER1-4-fair.smt | unsat | 0 | industrial | unsat | 2430 | Yes |
| QF_LIA/mathsat/FISCHER1-5-fair.smt | unsat | 0 | industrial | unsat | 2766 | Yes |
| QF_LIA/mathsat/FISCHER1-6-fair.smt | unsat | 0 | industrial | unsat | 3223 | Yes |
| QF_LIA/mathsat/FISCHER2-1-fair.smt | sat | 0 | industrial | sat | 1512 | Yes |
| QF_LIA/mathsat/FISCHER2-2-fair.smt | unsat | 0 | industrial | unsat | 2391 | Yes |
| QF_LIA/mathsat/FISCHER2-3-fair.smt | unsat | 0 | industrial | unsat | 3786 | Yes |
| QF_LIA/mathsat/FISCHER2-4-fair.smt | unsat | 0 | industrial | unsat | 5226 | Yes |
| QF_LIA/mathsat/FISCHER2-5-fair.smt | unsat | 0 | industrial | unsat | 7309 | Yes |
| QF_LIA/mathsat/FISCHER2-6-fair.smt | unsat | 0 | industrial | unsat | 10996 | Yes |
| QF_LIA/mathsat/FISCHER2-7-fair.smt | sat | 0 | industrial | sat | 11909 | Yes |
| QF_LIA/mathsat/FISCHER3-1-fair.smt | sat | 0 | industrial | sat | 1850 | Yes |
| QF_LIA/mathsat/FISCHER3-2-fair.smt | unsat | 0 | industrial | unsat | 2951 | Yes |
| QF_LIA/mathsat/FISCHER3-3-fair.smt | unsat | 0 | industrial | unsat | 4515 | Yes |
| QF_LIA/mathsat/FISCHER3-4-fair.smt | unsat | 0 | industrial | unsat | 7383 | Yes |
| QF_LIA/mathsat/FISCHER3-5-fair.smt | unsat | 0 | industrial | unsat | 12949 | Yes |
| QF_LIA/mathsat/FISCHER3-6-fair.smt | unsat | 0 | industrial | unsat | 37126 | Yes |
| QF_LIA/mathsat/FISCHER3-7-fair.smt | unsat | 0 | industrial | unsat | 112880 | Yes |
| QF_LIA/mathsat/FISCHER3-8-fair.smt | sat | 0 | industrial | sat | 342820 | Yes |
| QF_LIA/mathsat/FISCHER4-1-fair.smt | sat | 0 | industrial | sat | 2119 | Yes |
| QF_LIA/mathsat/FISCHER4-2-fair.smt | unsat | 0 | industrial | unsat | 3772 | Yes |
| QF_LIA/mathsat/FISCHER4-3-fair.smt | unsat | 0 | industrial | unsat | 5939 | Yes |
| QF_LIA/mathsat/FISCHER4-4-fair.smt | unsat | 0 | industrial | unsat | 12148 | Yes |
| QF_LIA/mathsat/FISCHER4-5-fair.smt | unsat | 0 | industrial | unsat | 20620 | Yes |
| QF_LIA/mathsat/FISCHER4-6-fair.smt | unsat | 0 | industrial | unsat | 73311 | Yes |
| QF_LIA/mathsat/FISCHER4-7-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER4-8-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER4-9-fair.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER5-10-fair.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER5-1-fair.smt | sat | 0 | industrial | sat | 2350 | Yes |
| QF_LIA/mathsat/FISCHER5-2-fair.smt | unsat | 0 | industrial | unsat | 4426 | Yes |
| QF_LIA/mathsat/FISCHER5-3-fair.smt | unsat | 0 | industrial | unsat | 6948 | Yes |
| QF_LIA/mathsat/FISCHER5-4-fair.smt | unsat | 0 | industrial | unsat | 59740 | Yes |
| QF_LIA/mathsat/FISCHER5-5-fair.smt | unsat | 0 | industrial | unsat | 39847 | Yes |
| QF_LIA/mathsat/FISCHER5-6-fair.smt | unsat | 0 | industrial | unsat | 174565 | Yes |
| QF_LIA/mathsat/FISCHER5-7-fair.smt | unsat | 0 | industrial | unsat | 749671 | Yes |
| QF_LIA/mathsat/FISCHER5-8-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER5-9-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER6-10-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER6-11-fair.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER6-1-fair.smt | sat | 0 | industrial | sat | 2622 | Yes |
| QF_LIA/mathsat/FISCHER6-2-fair.smt | unsat | 0 | industrial | unsat | 5544 | Yes |
| QF_LIA/mathsat/FISCHER6-3-fair.smt | unsat | 0 | industrial | unsat | 8863 | Yes |
| QF_LIA/mathsat/FISCHER6-4-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER6-5-fair.smt | unsat | 0 | industrial | unsat | 101280 | Yes |
| QF_LIA/mathsat/FISCHER6-6-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER6-7-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER6-8-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER6-9-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER7-10-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER7-11-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER7-12-fair.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER7-1-fair.smt | sat | 0 | industrial | sat | 2931 | Yes |
| QF_LIA/mathsat/FISCHER7-2-fair.smt | unsat | 0 | industrial | unsat | 6320 | Yes |
| QF_LIA/mathsat/FISCHER7-3-fair.smt | unsat | 0 | industrial | unsat | 15803 | Yes |
| QF_LIA/mathsat/FISCHER7-4-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER7-5-fair.smt | unsat | 0 | industrial | unsat | 303579 | Yes |
| QF_LIA/mathsat/FISCHER7-6-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER7-7-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER7-8-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER7-9-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER8-10-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER8-11-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER8-12-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER8-13-fair.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER8-1-fair.smt | sat | 0 | industrial | sat | 3101 | Yes |
| QF_LIA/mathsat/FISCHER8-2-fair.smt | unsat | 0 | industrial | unsat | 7165 | Yes |
| QF_LIA/mathsat/FISCHER8-3-fair.smt | unsat | 0 | industrial | unsat | 26548 | Yes |
| QF_LIA/mathsat/FISCHER8-4-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER8-5-fair.smt | unsat | 0 | industrial | unsat | 589554 | Yes |
| QF_LIA/mathsat/FISCHER8-6-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER8-7-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER8-8-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER8-9-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-10-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-11-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-12-fair.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-13-fair.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-14-fair.smt | sat | 1 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER9-1-fair.smt | sat | 0 | industrial | sat | 3417 | Yes |
| QF_LIA/mathsat/FISCHER9-2-fair.smt | unsat | 0 | industrial | unsat | 10192 | Yes |
| QF_LIA/mathsat/FISCHER9-3-fair.smt | unsat | 0 | industrial | unsat | 52445 | Yes |
| QF_LIA/mathsat/FISCHER9-4-fair.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_LIA/mathsat/FISCHER9-5-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-6-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-7-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-8-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_LIA/mathsat/FISCHER9-9-fair.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| Total: | 121 | |||||
| Correct: | 55 | |||||
| Incorrect: | 0 |