detailed results (4200 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.861s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 2.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 1.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.206s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.311s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 5.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2 (content) unsat unsat 1.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2 (content) unsat unsat 1.2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2 (content) unsat unsat 5.4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2 (content) unsat unsat 1.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 1.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2 (content) unsat unsat 1.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409814/gensys_brn769.smt2 (content) unsat unsat 8.4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409811/gensys_brn766.smt2 (content) unsat unsat 9.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409806/gensys_brn761.smt2 (content) unsat unsat 7.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409798/gensys_brn753.smt2 (content) unsat unsat 1.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409787/gensys_brn742.smt2 (content) unsat unsat 7.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409783/gensys_brn738.smt2 (content) unsat unsat 2.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2 (content) unsat unsat 6.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2 (content) unsat unsat 2.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409767/gensys_brn722.smt2 (content) unsat unsat 8.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2 (content) unsat unsat 5.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 2.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 7.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409745/gensys_brn700.smt2 (content) unsat unsat 3.5s