| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/mathsat/fischer/FISCHER10-10-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER10-11-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER10-1-ninc.smt | unsat | 0 | industrial | unsat | 2705 | Yes |
| QF_IDL/mathsat/fischer/FISCHER10-2-ninc.smt | unsat | 0 | industrial | unsat | 4607 | Yes |
| QF_IDL/mathsat/fischer/FISCHER10-3-ninc.smt | unsat | 0 | industrial | unsat | 8018 | Yes |
| QF_IDL/mathsat/fischer/FISCHER10-4-ninc.smt | unsat | 0 | industrial | unsat | 20588 | Yes |
| QF_IDL/mathsat/fischer/FISCHER10-5-ninc.smt | unsat | 0 | industrial | unsat | 121695 | Yes |
| QF_IDL/mathsat/fischer/FISCHER10-6-ninc.smt | unsat | 0 | industrial | unsat | 942341 | Yes |
| QF_IDL/mathsat/fischer/FISCHER10-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER10-8-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER10-9-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER11-10-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER11-11-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER11-12-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER11-1-ninc.smt | unsat | 0 | industrial | unsat | 2941 | Yes |
| QF_IDL/mathsat/fischer/FISCHER11-2-ninc.smt | unsat | 0 | industrial | unsat | 4772 | Yes |
| QF_IDL/mathsat/fischer/FISCHER11-3-ninc.smt | unsat | 0 | industrial | unsat | 8451 | Yes |
| QF_IDL/mathsat/fischer/FISCHER11-4-ninc.smt | unsat | 0 | industrial | unsat | 21029 | Yes |
| QF_IDL/mathsat/fischer/FISCHER11-5-ninc.smt | unsat | 0 | industrial | unsat | 99781 | Yes |
| QF_IDL/mathsat/fischer/FISCHER11-6-ninc.smt | unsat | 0 | industrial | unsat | 761043 | Yes |
| QF_IDL/mathsat/fischer/FISCHER11-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER11-8-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER11-9-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER1-1-ninc.smt | unsat | 0 | industrial | unsat | 972 | Yes |
| QF_IDL/mathsat/fischer/FISCHER12-10-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER12-11-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER12-12-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER12-13-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER12-1-ninc.smt | unsat | 0 | industrial | unsat | 3026 | Yes |
| QF_IDL/mathsat/fischer/FISCHER12-2-ninc.smt | unsat | 0 | industrial | unsat | 4973 | Yes |
| QF_IDL/mathsat/fischer/FISCHER12-3-ninc.smt | unsat | 0 | industrial | unsat | 8398 | Yes |
| QF_IDL/mathsat/fischer/FISCHER12-4-ninc.smt | unsat | 0 | industrial | unsat | 25548 | Yes |
| QF_IDL/mathsat/fischer/FISCHER12-5-ninc.smt | unsat | 0 | industrial | unsat | 125646 | Yes |
| QF_IDL/mathsat/fischer/FISCHER12-6-ninc.smt | unsat | 0 | industrial | unsat | 822290 | Yes |
| QF_IDL/mathsat/fischer/FISCHER12-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER12-8-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER12-9-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER1-2-ninc.smt | sat | 0 | industrial | sat | 1400 | Yes |
| QF_IDL/mathsat/fischer/FISCHER13-10-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-11-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-12-ninc.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-13-ninc.smt | unsat | 4 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-14-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-1-ninc.smt | unsat | 0 | industrial | unsat | 3102 | Yes |
| QF_IDL/mathsat/fischer/FISCHER13-2-ninc.smt | unsat | 0 | industrial | unsat | 5323 | Yes |
| QF_IDL/mathsat/fischer/FISCHER13-3-ninc.smt | unsat | 0 | industrial | unsat | 9094 | Yes |
| QF_IDL/mathsat/fischer/FISCHER13-4-ninc.smt | unsat | 0 | industrial | unsat | 28857 | Yes |
| QF_IDL/mathsat/fischer/FISCHER13-5-ninc.smt | unsat | 0 | industrial | unsat | 167867 | Yes |
| QF_IDL/mathsat/fischer/FISCHER13-6-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-8-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER13-9-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-10-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-11-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-12-ninc.smt | unsat | 1 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-13-ninc.smt | unsat | 4 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-14-ninc.smt | unsat | 5 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-15-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-1-ninc.smt | unsat | 0 | industrial | unsat | 3278 | Yes |
| QF_IDL/mathsat/fischer/FISCHER14-2-ninc.smt | unsat | 0 | industrial | unsat | 5586 | Yes |
| QF_IDL/mathsat/fischer/FISCHER14-3-ninc.smt | unsat | 0 | industrial | unsat | 9828 | Yes |
| QF_IDL/mathsat/fischer/FISCHER14-4-ninc.smt | unsat | 0 | industrial | unsat | 38282 | Yes |
| QF_IDL/mathsat/fischer/FISCHER14-5-ninc.smt | unsat | 0 | industrial | unsat | 321555 | Yes |
| QF_IDL/mathsat/fischer/FISCHER14-6-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-8-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER14-9-ninc.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_IDL/mathsat/fischer/FISCHER2-1-ninc.smt | unsat | 0 | industrial | unsat | 1275 | Yes |
| QF_IDL/mathsat/fischer/FISCHER2-2-ninc.smt | unsat | 0 | industrial | unsat | 2051 | Yes |
| QF_IDL/mathsat/fischer/FISCHER2-3-ninc.smt | sat | 0 | industrial | sat | 2485 | Yes |
| QF_IDL/mathsat/fischer/FISCHER3-1-ninc.smt | unsat | 0 | industrial | unsat | 1530 | Yes |
| QF_IDL/mathsat/fischer/FISCHER3-2-ninc.smt | unsat | 0 | industrial | unsat | 2555 | Yes |
| QF_IDL/mathsat/fischer/FISCHER3-3-ninc.smt | unsat | 0 | industrial | unsat | 4246 | Yes |
| QF_IDL/mathsat/fischer/FISCHER3-4-ninc.smt | sat | 0 | industrial | sat | 5657 | Yes |
| QF_IDL/mathsat/fischer/FISCHER4-1-ninc.smt | unsat | 0 | industrial | unsat | 1725 | Yes |
| QF_IDL/mathsat/fischer/FISCHER4-2-ninc.smt | unsat | 0 | industrial | unsat | 2989 | Yes |
| QF_IDL/mathsat/fischer/FISCHER4-3-ninc.smt | unsat | 0 | industrial | unsat | 5085 | Yes |
| QF_IDL/mathsat/fischer/FISCHER4-4-ninc.smt | unsat | 0 | industrial | unsat | 10074 | Yes |
| QF_IDL/mathsat/fischer/FISCHER4-5-ninc.smt | sat | 0 | industrial | sat | 12564 | Yes |
| QF_IDL/mathsat/fischer/FISCHER5-1-ninc.smt | unsat | 0 | industrial | unsat | 1908 | Yes |
| QF_IDL/mathsat/fischer/FISCHER5-2-ninc.smt | unsat | 0 | industrial | unsat | 3264 | Yes |
| QF_IDL/mathsat/fischer/FISCHER5-3-ninc.smt | unsat | 0 | industrial | unsat | 5408 | Yes |
| QF_IDL/mathsat/fischer/FISCHER5-4-ninc.smt | unsat | 0 | industrial | unsat | 11655 | Yes |
| QF_IDL/mathsat/fischer/FISCHER5-5-ninc.smt | unsat | 0 | industrial | unsat | 40874 | Yes |
| QF_IDL/mathsat/fischer/FISCHER5-6-ninc.smt | sat | 0 | industrial | sat | 58397 | Yes |
| QF_IDL/mathsat/fischer/FISCHER6-1-ninc.smt | unsat | 0 | industrial | unsat | 2060 | Yes |
| QF_IDL/mathsat/fischer/FISCHER6-2-ninc.smt | unsat | 0 | industrial | unsat | 3650 | Yes |
| QF_IDL/mathsat/fischer/FISCHER6-3-ninc.smt | unsat | 0 | industrial | unsat | 6006 | Yes |
| QF_IDL/mathsat/fischer/FISCHER6-4-ninc.smt | unsat | 0 | industrial | unsat | 13911 | Yes |
| QF_IDL/mathsat/fischer/FISCHER6-5-ninc.smt | unsat | 0 | industrial | unsat | 58317 | Yes |
| QF_IDL/mathsat/fischer/FISCHER6-6-ninc.smt | unsat | 0 | industrial | unsat | 334375 | Yes |
| QF_IDL/mathsat/fischer/FISCHER6-7-ninc.smt | sat | 0 | industrial | sat | 568326 | Yes |
| QF_IDL/mathsat/fischer/FISCHER7-1-ninc.smt | unsat | 0 | industrial | unsat | 2284 | Yes |
| QF_IDL/mathsat/fischer/FISCHER7-2-ninc.smt | unsat | 0 | industrial | unsat | 3923 | Yes |
| QF_IDL/mathsat/fischer/FISCHER7-3-ninc.smt | unsat | 0 | industrial | unsat | 6490 | Yes |
| QF_IDL/mathsat/fischer/FISCHER7-4-ninc.smt | unsat | 0 | industrial | unsat | 14689 | Yes |
| QF_IDL/mathsat/fischer/FISCHER7-5-ninc.smt | unsat | 0 | industrial | unsat | 65910 | Yes |
| QF_IDL/mathsat/fischer/FISCHER7-6-ninc.smt | unsat | 0 | industrial | unsat | 406792 | Yes |
| QF_IDL/mathsat/fischer/FISCHER7-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER7-8-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER8-1-ninc.smt | unsat | 0 | industrial | unsat | 2422 | Yes |
| QF_IDL/mathsat/fischer/FISCHER8-2-ninc.smt | unsat | 0 | industrial | unsat | 4121 | Yes |
| QF_IDL/mathsat/fischer/FISCHER8-3-ninc.smt | unsat | 0 | industrial | unsat | 6899 | Yes |
| QF_IDL/mathsat/fischer/FISCHER8-4-ninc.smt | unsat | 0 | industrial | unsat | 16711 | Yes |
| QF_IDL/mathsat/fischer/FISCHER8-5-ninc.smt | unsat | 0 | industrial | unsat | 75991 | Yes |
| QF_IDL/mathsat/fischer/FISCHER8-6-ninc.smt | unsat | 0 | industrial | unsat | 504013 | Yes |
| QF_IDL/mathsat/fischer/FISCHER8-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER8-8-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER8-9-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER9-10-ninc.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER9-1-ninc.smt | unsat | 0 | industrial | unsat | 2643 | Yes |
| QF_IDL/mathsat/fischer/FISCHER9-2-ninc.smt | unsat | 0 | industrial | unsat | 4360 | Yes |
| QF_IDL/mathsat/fischer/FISCHER9-3-ninc.smt | unsat | 0 | industrial | unsat | 6997 | Yes |
| QF_IDL/mathsat/fischer/FISCHER9-4-ninc.smt | unsat | 0 | industrial | unsat | 19780 | Yes |
| QF_IDL/mathsat/fischer/FISCHER9-5-ninc.smt | unsat | 0 | industrial | unsat | 79185 | Yes |
| QF_IDL/mathsat/fischer/FISCHER9-6-ninc.smt | unsat | 0 | industrial | unsat | 593546 | Yes |
| QF_IDL/mathsat/fischer/FISCHER9-7-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER9-8-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/fischer/FISCHER9-9-ninc.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/mathsat/post_office/PO2-2-PO2.smt | unsat | 0 | industrial | unsat | 2014 | Yes |
| QF_IDL/mathsat/post_office/PO2-3-PO2.smt | unsat | 0 | industrial | unsat | 2523 | Yes |
| QF_IDL/mathsat/post_office/PO2-4-PO2.smt | unsat | 0 | industrial | unsat | 3020 | Yes |
| QF_IDL/mathsat/post_office/PO2-5-PO2.smt | unsat | 0 | industrial | unsat | 3707 | Yes |
| QF_IDL/mathsat/post_office/PO2-6-PO2.smt | unsat | 0 | industrial | unsat | 4660 | Yes |
| QF_IDL/mathsat/post_office/PO2-7-PO2.smt | unsat | 0 | industrial | unsat | 5646 | Yes |
| QF_IDL/mathsat/post_office/PO2-8-PO2.smt | sat | 0 | industrial | sat | 6285 | Yes |
| QF_IDL/mathsat/post_office/PO3-10-PO3.smt | sat | 0 | industrial | sat | 112290 | Yes |
| QF_IDL/mathsat/post_office/PO3-2-PO3.smt | unsat | 0 | industrial | unsat | 3366 | Yes |
| QF_IDL/mathsat/post_office/PO3-3-PO3.smt | unsat | 0 | industrial | unsat | 4452 | Yes |
| QF_IDL/mathsat/post_office/PO3-4-PO3.smt | unsat | 0 | industrial | unsat | 5638 | Yes |
| QF_IDL/mathsat/post_office/PO3-5-PO3.smt | unsat | 0 | industrial | unsat | 6836 | Yes |
| QF_IDL/mathsat/post_office/PO3-6-PO3.smt | unsat | 0 | industrial | unsat | 9397 | Yes |
| QF_IDL/mathsat/post_office/PO3-7-PO3.smt | unsat | 0 | industrial | unsat | 16913 | Yes |
| QF_IDL/mathsat/post_office/PO3-8-PO3.smt | unsat | 0 | industrial | unsat | 43498 | Yes |
| QF_IDL/mathsat/post_office/PO3-9-PO3.smt | unsat | 0 | industrial | unsat | 111286 | Yes |
| QF_IDL/mathsat/post_office/PO4-10-PO4.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_IDL/mathsat/post_office/PO4-11-PO4.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_IDL/mathsat/post_office/PO4-2-PO4.smt | unsat | 0 | industrial | unsat | 6373 | Yes |
| QF_IDL/mathsat/post_office/PO4-3-PO4.smt | unsat | 0 | industrial | unsat | 8429 | Yes |
| QF_IDL/mathsat/post_office/PO4-4-PO4.smt | unsat | 0 | industrial | unsat | 10220 | Yes |
| QF_IDL/mathsat/post_office/PO4-5-PO4.smt | unsat | 0 | industrial | unsat | 13083 | Yes |
| QF_IDL/mathsat/post_office/PO4-6-PO4.smt | unsat | 0 | industrial | unsat | 26016 | Yes |
| QF_IDL/mathsat/post_office/PO4-7-PO4.smt | unsat | 0 | industrial | unsat | 83898 | Yes |
| QF_IDL/mathsat/post_office/PO4-8-PO4.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_IDL/mathsat/post_office/PO4-9-PO4.smt | unsat | 0 | industrial | error | 0 | Unknown |
| QF_IDL/mathsat/post_office/PO5-2-PO5.smt | unsat | 0 | industrial | unsat | 15367 | Yes |
| Total: | 146 | |||||
| Correct: | 96 | |||||
| Incorrect: | 0 |