| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/parity/01.100.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/01.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/01.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/01.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/01.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/01.600.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/01.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/01.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/02.100.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/02.200.graph.smt | unsat | 0 | crafted | unsat | 19453 | Yes |
| QF_IDL/parity/02.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/02.400.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/02.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/02.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/02.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/02.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.100.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.300.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.500.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/03.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/04.100.graph.smt | unsat | 0 | crafted | unsat | 101601 | Yes |
| QF_IDL/parity/04.200.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/04.300.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/04.400.graph.smt | unsat | 0 | crafted | unsat | 212905 | Yes |
| QF_IDL/parity/04.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/04.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/04.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/04.800.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/05.100.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/05.200.graph.smt | unsat | 0 | crafted | unsat | 23511 | Yes |
| QF_IDL/parity/05.300.graph.smt | unsat | 0 | crafted | unsat | 99951 | Yes |
| QF_IDL/parity/05.400.graph.smt | unsat | 0 | crafted | error | 0 | Unknown |
| QF_IDL/parity/05.500.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/05.600.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/05.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/05.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.100.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.200.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/06.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/07.100.graph.smt | unsat | 0 | crafted | unsat | 5962 | Yes |
| QF_IDL/parity/07.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/07.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/07.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/07.500.graph.smt | sat | 1 | crafted | error | 0 | Unknown |
| QF_IDL/parity/07.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/07.700.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/07.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/08.100.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/08.200.graph.smt | sat | 1 | crafted | sat | 331843 | Yes |
| QF_IDL/parity/08.300.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/08.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/08.500.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/08.600.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/08.700.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/08.800.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/09.100.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/09.200.graph.smt | sat | 1 | crafted | sat | 103967 | Yes |
| QF_IDL/parity/09.300.graph.smt | unsat | 0 | crafted | unsat | 78739 | Yes |
| QF_IDL/parity/09.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/09.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/09.600.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/09.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/09.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/10.100.graph.smt | sat | 1 | crafted | sat | 16322 | Yes |
| QF_IDL/parity/10.200.graph.smt | unsat | 0 | crafted | unsat | 167719 | Yes |
| QF_IDL/parity/10.300.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/10.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/10.500.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/10.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/10.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/10.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/11.100.graph.smt | unsat | 0 | crafted | unsat | 6207 | Yes |
| QF_IDL/parity/11.200.graph.smt | unsat | 1 | crafted | unsat | 37538 | Yes |
| QF_IDL/parity/11.300.graph.smt | sat | 1 | crafted | sat | 218128 | Yes |
| QF_IDL/parity/11.400.graph.smt | sat | 0 | crafted | error | 0 | Unknown |
| QF_IDL/parity/11.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/11.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/11.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/11.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/12.100.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/12.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/12.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/12.400.graph.smt | unsat | 0 | crafted | error | 0 | Unknown |
| QF_IDL/parity/12.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/12.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/12.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/12.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/13.100.graph.smt | sat | 0 | crafted | sat | 59422 | Yes |
| QF_IDL/parity/13.200.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/13.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/13.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/13.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/13.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/13.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/13.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/14.100.graph.smt | sat | 0 | crafted | sat | 7897 | Yes |
| QF_IDL/parity/14.200.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/14.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/14.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/14.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/14.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/14.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/14.800.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.100.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.700.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/15.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/16.100.graph.smt | unsat | 0 | crafted | unsat | 7891 | Yes |
| QF_IDL/parity/16.200.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/16.300.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/16.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/16.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/16.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/16.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/16.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/17.100.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/17.200.graph.smt | unsat | 0 | crafted | unsat | 18038 | Yes |
| QF_IDL/parity/17.300.graph.smt | unsat | 0 | crafted | unsat | 90572 | Yes |
| QF_IDL/parity/17.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/17.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/17.600.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/17.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/17.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/18.100.graph.smt | unsat | 0 | crafted | unsat | 7428 | Yes |
| QF_IDL/parity/18.200.graph.smt | sat | 1 | crafted | sat | 55945 | Yes |
| QF_IDL/parity/18.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/18.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/18.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/18.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/18.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/18.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/19.100.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/19.200.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/19.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/19.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/19.500.graph.smt | sat | 0 | crafted | error | 0 | Unknown |
| QF_IDL/parity/19.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/19.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/19.800.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/20.100.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/20.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/20.300.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/20.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/20.500.graph.smt | unsat | 0 | crafted | unsat | 618198 | Yes |
| QF_IDL/parity/20.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/20.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/20.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/21.100.graph.smt | sat | 0 | crafted | sat | 36275 | Yes |
| QF_IDL/parity/21.200.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/21.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/21.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/21.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/21.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/21.700.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/21.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/22.100.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/22.200.graph.smt | sat | 0 | crafted | sat | 198589 | Yes |
| QF_IDL/parity/22.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/22.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/22.500.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/22.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/22.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/22.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/23.100.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/23.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/23.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/23.400.graph.smt | sat | 1 | crafted | error | 0 | Unknown |
| QF_IDL/parity/23.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/23.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/23.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/23.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/24.100.graph.smt | unsat | 0 | crafted | unsat | 8619 | Yes |
| QF_IDL/parity/24.200.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/24.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/24.400.graph.smt | unsat | 0 | crafted | error | 0 | Unknown |
| QF_IDL/parity/24.500.graph.smt | unsat | 1 | crafted | error | 0 | Unknown |
| QF_IDL/parity/24.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/24.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/24.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/25.100.graph.smt | sat | 1 | crafted | sat | 13347 | Yes |
| QF_IDL/parity/25.200.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/25.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/25.400.graph.smt | unsat | 0 | crafted | unsat | 389220 | Yes |
| QF_IDL/parity/25.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/25.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/25.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/25.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/26.100.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/26.200.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/26.300.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/26.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/26.500.graph.smt | sat | 0 | crafted | error | 0 | Unknown |
| QF_IDL/parity/26.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/26.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/26.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/27.100.graph.smt | unsat | 1 | crafted | unsat | 6375 | Yes |
| QF_IDL/parity/27.200.graph.smt | sat | 1 | crafted | sat | 114228 | Yes |
| QF_IDL/parity/27.300.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/27.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/27.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/27.600.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/27.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/27.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/28.100.graph.smt | sat | 1 | crafted | sat | 24448 | Yes |
| QF_IDL/parity/28.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/28.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/28.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/28.500.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/28.600.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/28.700.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/28.800.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/29.100.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/29.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/29.300.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/29.400.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/29.500.graph.smt | unsat | 0 | crafted | unsat | 722776 | Yes |
| QF_IDL/parity/29.600.graph.smt | unsat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/29.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/29.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/30.100.graph.smt | unsat | 0 | crafted | unsat | 5074 | Yes |
| QF_IDL/parity/30.200.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/30.300.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/30.400.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/30.500.graph.smt | sat | 1 | crafted | error | 0 | Unknown |
| QF_IDL/parity/30.600.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/30.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/30.800.graph.smt | unsat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/31.100.graph.smt | sat | 0 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/31.200.graph.smt | unsat | 1 | crafted | unsat | 414402 | Yes |
| QF_IDL/parity/31.300.graph.smt | sat | 1 | crafted | error | 0 | Unknown |
| QF_IDL/parity/31.400.graph.smt | unsat | 0 | crafted | unsat | 212108 | Yes |
| QF_IDL/parity/31.500.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/31.600.graph.smt | sat | 1 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/31.700.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| QF_IDL/parity/31.800.graph.smt | sat | 2 | crafted | timeout | infty | Unknown |
| Total: | 248 | |||||
| Correct: | 34 | |||||
| Incorrect: | 0 |