detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412945/iso_icl1173.smt2 (content) unsat unsat 0.052s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412944/iso_icl1172.smt2 (content) unsat unsat 0.133s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412943/iso_icl1171.smt2 (content) unsat unsat 0.161s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412942/iso_icl1170.smt2 (content) unsat unsat 0.125s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412941/iso_icl117.smt2 (content) unsat unsat 0.172s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412940/iso_icl1169.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412939/iso_icl1168.smt2 (content) unsat unsat 0.096s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412938/iso_icl1167.smt2 (content) unsat unsat 0.122s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412937/iso_icl1166.smt2 (content) unsat unsat 0.216s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412936/iso_icl1165.smt2 (content) unsat unsat 0.078s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412935/iso_icl1164.smt2 (content) unsat unsat 0.158s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412934/iso_icl1163.smt2 (content) unsat unsat 0.116s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412933/iso_icl1162.smt2 (content) unsat unsat 0.173s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412932/iso_icl1161.smt2 (content) unsat unsat 0.141s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412931/iso_icl1160.smt2 (content) unsat unsat 0.189s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412930/iso_icl116.smt2 (content) unsat unsat 0.181s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412929/iso_icl1159.smt2 (content) unsat unsat 0.143s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412928/iso_icl1158.smt2 (content) unsat unsat 0.144s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412927/iso_icl1157.smt2 (content) unsat unsat 0.207s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412926/iso_icl1156.smt2 (content) unsat unsat 0.172s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412925/iso_icl1155.smt2 (content) unsat unsat 0.162s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412924/iso_icl1154.smt2 (content) unsat unsat 0.143s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412923/iso_icl1153.smt2 (content) unsat unsat 0.108s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412922/iso_icl1152.smt2 (content) unsat unsat 0.102s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412921/iso_icl1151.smt2 (content) unsat unsat 0.050s