detailed results (17584 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413760/iso_icl822.smt2 (content) unsat unsat 0.180s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413759/iso_icl821.smt2 (content) unsat unsat 0.185s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413758/iso_icl820.smt2 (content) unsat unsat 0.166s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413757/iso_icl819.smt2 (content) unsat unsat 0.150s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413756/iso_icl818.smt2 (content) unsat unsat 0.475s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413755/iso_icl817.smt2 (content) unsat unsat 0.338s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413754/iso_icl816.smt2 (content) unsat unsat 0.412s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413753/iso_icl815.smt2 (content) unsat unsat 0.351s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413752/iso_icl814.smt2 (content) unsat unsat 0.151s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413751/iso_icl813.smt2 (content) unsat unsat 0.240s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413750/iso_icl812.smt2 (content) unsat unsat 0.234s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413749/iso_icl811.smt2 (content) unsat unsat 0.166s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413748/iso_icl810.smt2 (content) unsat unsat 0.157s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413747/iso_icl809.smt2 (content) unsat unsat 0.105s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413746/iso_icl808.smt2 (content) unsat unsat 0.163s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413745/iso_icl807.smt2 (content) unsat unsat 0.405s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413744/iso_icl806.smt2 (content) unsat unsat 0.264s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413743/iso_icl805.smt2 (content) unsat unsat 0.274s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413742/iso_icl804.smt2 (content) unsat unsat 0.223s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413741/iso_icl803.smt2 (content) unsat unsat 0.122s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413740/iso_icl802.smt2 (content) unsat unsat 0.237s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413739/iso_icl801.smt2 (content) unsat unsat 0.260s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413738/iso_icl800.smt2 (content) unsat unsat 0.368s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413737/iso_icl799.smt2 (content) unsat unsat 0.080s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413736/iso_icl798.smt2 (content) unsat unsat 0.170s