detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl723.smt2 (content) unsat unknown 0.149s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl722.smt2 (content) unsat unknown 0.065s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl721.smt2 (content) unsat unknown 0.210s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl720.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl719.smt2 (content) unsat unknown 0.091s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl718.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl717.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl716.smt2 (content) unsat unknown 0.133s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl715.smt2 (content) unsat unknown 0.147s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unknown 0.061s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unknown 0.067s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unknown 0.102s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.135s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.175s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unknown 0.127s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unknown 0.163s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unknown 0.122s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unknown 0.323s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unknown 0.175s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unknown 0.092s