| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/DTP/DTP_k2_n35_c175_s10.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s11.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s12.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s13.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s14.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s15.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s16.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s17.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s18.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s19.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s1.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s20.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s2.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s3.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s4.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s5.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s6.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s7.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s8.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c175_s9.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s10.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s11.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s12.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s13.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s14.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s15.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s16.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s17.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s18.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s19.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s1.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s20.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s2.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s3.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s4.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s5.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s6.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s7.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s8.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c210_s9.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s10.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s11.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s12.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s13.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s14.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s15.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s16.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s17.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s18.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s19.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s1.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s20.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s2.smt | sat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s3.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s4.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s5.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s6.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s7.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s8.smt | unsat | 0 | random | timeout | infty | Unknown |
| QF_IDL/DTP/DTP_k2_n35_c245_s9.smt | unsat | 0 | random | timeout | infty | Unknown |
| Total: | 60 | |||||
| Correct: | 0 | |||||
| Incorrect: | 0 |