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