detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412356/iso_brn701.smt2 (content) unsat unsat 0.156s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412350/iso_brn695.smt2 (content) unsat unsat 0.285s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.133s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.192s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.285s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.137s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412334/iso_brn679.smt2 (content) unsat unsat 0.114s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412332/iso_brn677.smt2 (content) unsat unsat 0.176s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412330/iso_brn675.smt2 (content) unsat unsat 0.156s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412329/iso_brn674.smt2 (content) unsat unsat 0.128s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412328/iso_brn673.smt2 (content) unsat unsat 0.171s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412325/iso_brn670.smt2 (content) unsat unsat 0.108s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412322/iso_brn667.smt2 (content) unsat unsat 0.211s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412321/iso_brn666.smt2 (content) unsat unsat 0.252s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412320/iso_brn665.smt2 (content) unsat unsat 0.163s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412319/iso_brn664.smt2 (content) unsat unsat 0.225s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412318/iso_brn663.smt2 (content) unsat unsat 0.265s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412317/iso_brn662.smt2 (content) unsat unsat 0.395s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412316/iso_brn661.smt2 (content) unsat unsat 0.418s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412315/iso_brn660.smt2 (content) unsat unsat 0.206s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412313/iso_brn658.smt2 (content) unsat unsat 0.208s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412301/iso_brn646.smt2 (content) unsat unsat 0.366s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412297/iso_brn642.smt2 (content) unsat unsat 0.131s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412296/iso_brn641.smt2 (content) unsat unsat 0.147s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412295/iso_brn640.smt2 (content) unsat unsat 0.109s