detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unknown 0.128s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unknown 0.075s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unknown 0.098s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unknown 0.097s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unknown 0.243s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unknown 0.064s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unknown 0.080s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unknown 0.136s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unknown 0.341s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unknown 0.096s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl688.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl687.smt2 (content) unsat unknown 0.232s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl686.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl685.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl684.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl683.smt2 (content) unsat unknown 0.156s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl682.smt2 (content) unsat unknown 0.182s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl681.smt2 (content) unsat unknown 0.119s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl680.smt2 (content) unsat unknown 0.113s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl679.smt2 (content) unsat unknown 0.292s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl678.smt2 (content) unsat unknown 0.096s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl677.smt2 (content) unsat unknown 0.075s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl676.smt2 (content) unsat unknown 0.047s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl675.smt2 (content) unsat unknown 0.126s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl674.smt2 (content) unsat unknown 0.512s