detailed results (7457 total)

prover file res expected time
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
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl673.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl672.smt2 (content) unsat unknown 0.098s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl671.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl670.smt2 (content) unsat unknown 0.098s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl669.smt2 (content) unsat unknown 0.171s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl668.smt2 (content) unsat unknown 0.085s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl667.smt2 (content) unsat unknown 0.231s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl666.smt2 (content) unsat unknown 0.228s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl665.smt2 (content) unsat unknown 0.165s