detailed results (4200 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412098/iso_brn443.smt2 (content) unsat unsat 0.079s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412095/iso_brn440.smt2 (content) unsat unsat 0.137s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412094/iso_brn439.smt2 (content) unsat unsat 0.106s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412086/iso_brn431.smt2 (content) unsat unsat 0.091s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.101s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412069/iso_brn414.smt2 (content) unsat unsat 0.071s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412066/iso_brn411.smt2 (content) unsat unsat 0.070s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412064/iso_brn409.smt2 (content) unsat unsat 0.103s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412052/iso_brn397.smt2 (content) unsat unsat 0.069s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412046/iso_brn391.smt2 (content) unsat unsat 0.027s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412043/iso_brn388.smt2 (content) unsat unsat 0.069s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412042/iso_brn387.smt2 (content) unsat unsat 0.097s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412041/iso_brn386.smt2 (content) unsat unsat 0.150s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412040/iso_brn385.smt2 (content) unsat unsat 0.144s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412039/iso_brn384.smt2 (content) unsat unsat 0.136s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412035/iso_brn380.smt2 (content) unsat unsat 0.119s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412034/iso_brn379.smt2 (content) unsat unsat 0.088s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412027/iso_brn372.smt2 (content) unsat unsat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412024/iso_brn369.smt2 (content) unsat unsat 0.171s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.126s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.139s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412008/iso_brn353.smt2 (content) unsat unsat 0.160s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412006/iso_brn351.smt2 (content) unsat unsat 0.164s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412001/iso_brn346.smt2 (content) unsat unsat 0.178s