detailed results (4670 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.159s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.248s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.367s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.222s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.376s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.261s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.239s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.426s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.355s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.204s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.288s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.222s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.310s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408559/iso_icl017.smt2 (content) unsat unsat 0.106s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408558/iso_icl016.smt2 (content) unsat unsat 0.131s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408557/iso_icl015.smt2 (content) unsat unsat 0.156s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408556/iso_icl014.smt2 (content) unsat unsat 0.182s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408555/iso_icl013.smt2 (content) unsat unsat 0.181s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408554/iso_icl012.smt2 (content) unsat unsat 0.246s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408553/iso_icl011.smt2 (content) unsat unsat 0.226s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408552/iso_icl010.smt2 (content) unsat unsat 0.313s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408551/iso_icl009.smt2 (content) unsat unsat 0.247s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408550/iso_icl008.smt2 (content) unsat unsat 0.099s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408549/iso_icl007.smt2 (content) unsat unsat 0.080s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408548/iso_icl006.smt2 (content) unsat unsat 0.077s