detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413134/iso_icl196.smt2 (content) unsat unsat 0.147s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413133/iso_icl195.smt2 (content) unsat unsat 0.048s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413132/iso_icl194.smt2 (content) unsat unsat 0.089s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413131/iso_icl193.smt2 (content) unsat unsat 0.094s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413130/iso_icl192.smt2 (content) unsat unsat 0.063s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413129/iso_icl191.smt2 (content) unsat unsat 0.098s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413128/iso_icl190.smt2 (content) unsat unsat 0.102s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413127/iso_icl189.smt2 (content) unsat unsat 0.051s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413126/iso_icl188.smt2 (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413125/iso_icl187.smt2 (content) unsat unsat 0.091s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413124/iso_icl186.smt2 (content) unsat unsat 0.082s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413123/iso_icl185.smt2 (content) unsat unsat 0.189s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413122/iso_icl184.smt2 (content) unsat unsat 0.090s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413121/iso_icl183.smt2 (content) unsat unsat 0.087s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413120/iso_icl182.smt2 (content) unsat unsat 0.138s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413119/iso_icl181.smt2 (content) unsat unsat 0.089s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413118/iso_icl180.smt2 (content) unsat unsat 0.055s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413117/iso_icl179.smt2 (content) unsat unsat 0.122s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413116/iso_icl178.smt2 (content) unsat unsat 0.071s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413115/iso_icl177.smt2 (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413114/iso_icl176.smt2 (content) unsat unsat 0.097s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413113/iso_icl175.smt2 (content) unsat unsat 0.079s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413112/iso_icl174.smt2 (content) unsat unsat 0.090s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413111/iso_icl173.smt2 (content) unsat unsat 0.161s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413110/iso_icl172.smt2 (content) unsat unsat 0.068s