detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412101/iso_brn446.smt2 (content) unsat unsat 0.144s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412100/iso_brn445.smt2 (content) unsat unsat 0.133s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412098/iso_brn443.smt2 (content) unsat unsat 0.084s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412095/iso_brn440.smt2 (content) unsat unsat 0.249s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412094/iso_brn439.smt2 (content) unsat unsat 0.120s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412086/iso_brn431.smt2 (content) unsat unsat 0.096s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.050s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.121s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412069/iso_brn414.smt2 (content) unsat unsat 0.081s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412066/iso_brn411.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412064/iso_brn409.smt2 (content) unsat unsat 0.115s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412052/iso_brn397.smt2 (content) unsat unsat 0.079s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412046/iso_brn391.smt2 (content) unsat unsat 0.030s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412043/iso_brn388.smt2 (content) unsat unsat 0.058s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412042/iso_brn387.smt2 (content) unsat unsat 0.131s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412041/iso_brn386.smt2 (content) unsat unsat 0.171s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412040/iso_brn385.smt2 (content) unsat unsat 0.167s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412039/iso_brn384.smt2 (content) unsat unsat 0.158s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412035/iso_brn380.smt2 (content) unsat unsat 0.152s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412034/iso_brn379.smt2 (content) unsat unsat 0.107s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412027/iso_brn372.smt2 (content) unsat unsat 0.079s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412024/iso_brn369.smt2 (content) unsat unsat 0.158s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.141s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.222s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412008/iso_brn353.smt2 (content) unsat unsat 0.167s