detailed results (9583 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413185/iso_icl247.smt2 (content) unsat unsat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413184/iso_icl246.smt2 (content) unsat unsat 0.076s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413183/iso_icl245.smt2 (content) unsat unsat 0.095s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413182/iso_icl244.smt2 (content) unsat unsat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413181/iso_icl243.smt2 (content) unsat unsat 0.067s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413180/iso_icl242.smt2 (content) unsat unsat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413179/iso_icl241.smt2 (content) unsat unsat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413178/iso_icl240.smt2 (content) unsat unsat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413177/iso_icl239.smt2 (content) unsat unsat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413176/iso_icl238.smt2 (content) unsat unsat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413175/iso_icl237.smt2 (content) unsat unsat 0.027s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413174/iso_icl236.smt2 (content) unsat unsat 0.175s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413173/iso_icl235.smt2 (content) unsat unsat 0.128s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413172/iso_icl234.smt2 (content) unsat unsat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413171/iso_icl233.smt2 (content) unsat unsat 0.066s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413170/iso_icl232.smt2 (content) unsat unsat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413169/iso_icl231.smt2 (content) unsat unsat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413168/iso_icl230.smt2 (content) unsat unsat 0.095s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413167/iso_icl229.smt2 (content) unsat unsat 0.116s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413166/iso_icl228.smt2 (content) unsat unsat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413165/iso_icl227.smt2 (content) unsat unsat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413164/iso_icl226.smt2 (content) unsat unsat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413163/iso_icl225.smt2 (content) unsat unsat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413162/iso_icl224.smt2 (content) unsat unsat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413161/iso_icl223.smt2 (content) unsat unsat 0.029s