detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409920/gensys_brn875.smt2 (content) unsat unsat 4.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409913/gensys_brn868.smt2 (content) unsat unsat 8.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) unsat unsat 13.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409894/gensys_brn849.smt2 (content) unsat unsat 2.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.926s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 2.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 1.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.227s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.390s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 5.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) unsat unsat 16.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2 (content) unsat unsat 1.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2 (content) unsat unsat 1.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409850/gensys_brn805.smt2 (content) unsat unsat 14.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2 (content) unsat unsat 27.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2 (content) unsat unsat 6.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2 (content) unsat unsat 1.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2 (content) unsat unsat 2.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409814/gensys_brn769.smt2 (content) unsat unsat 9.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409811/gensys_brn766.smt2 (content) unsat unsat 10.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409806/gensys_brn761.smt2 (content) unsat unsat 9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409798/gensys_brn753.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409797/gensys_brn752.smt2 (content) unsat unsat 13.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409787/gensys_brn742.smt2 (content) unsat unsat 7.6s