detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.065s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.088s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.027s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.025s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.030s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.087s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.187s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.092s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.070s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.058s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.078s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.109s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413197/iso_icl259.smt2 (content) unsat unsat 0.064s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413196/iso_icl258.smt2 (content) unsat unsat 0.047s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413195/iso_icl257.smt2 (content) unsat unsat 0.077s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413194/iso_icl256.smt2 (content) unsat unsat 0.051s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413193/iso_icl255.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413192/iso_icl254.smt2 (content) unsat unsat 0.059s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413191/iso_icl253.smt2 (content) unsat unsat 0.049s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413190/iso_icl252.smt2 (content) unsat unsat 0.129s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413189/iso_icl251.smt2 (content) unsat unsat 0.099s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413188/iso_icl250.smt2 (content) unsat unsat 0.083s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413187/iso_icl249.smt2 (content) unsat unsat 0.092s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413186/iso_icl248.smt2 (content) unsat unsat 0.074s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413185/iso_icl247.smt2 (content) unsat unsat 0.034s