detailed results (17584 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409885/gensys_brn840.smt2 (content) sat sat 0.185s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409884/gensys_brn839.smt2 (content) sat sat 0.478s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) unknown unsat 30.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409882/gensys_brn837.smt2 (content) sat sat 0.670s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.904s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409880/gensys_brn835.smt2 (content) sat sat 0.203s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409878/gensys_brn833.smt2 (content) sat sat 0.325s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409877/gensys_brn832.smt2 (content) sat sat 0.552s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.538s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.269s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.261s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.163s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409871/gensys_brn826.smt2 (content) sat sat 0.166s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.224s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.365s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409868/gensys_brn823.smt2 (content) sat sat 0.210s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409867/gensys_brn822.smt2 (content) sat sat 1.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 5.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409865/gensys_brn820.smt2 (content) sat sat 0.443s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) unsat unsat 16.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409863/gensys_brn818.smt2 (content) sat sat 0.491s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409862/gensys_brn817.smt2 (content) sat sat 0.489s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409861/gensys_brn816.smt2 (content) sat sat 0.535s