detailed results (2850 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn400.smt2 (content) sat unknown 0.127s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn399.smt2 (content) sat unknown 0.117s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn398.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn397.smt2 (content) sat unknown 0.122s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn394.smt2 (content) sat unknown 0.167s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn391.smt2 (content) sat unknown 0.312s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn390.smt2 (content) sat unknown 0.178s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn389.smt2 (content) sat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn388.smt2 (content) sat unknown 0.183s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn387.smt2 (content) sat unknown 0.441s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn386.smt2 (content) sat unknown 0.188s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn385.smt2 (content) sat unknown 0.210s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn384.smt2 (content) sat unknown 0.227s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn383.smt2 (content) sat unknown 0.153s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn382.smt2 (content) sat unknown 0.123s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn381.smt2 (content) sat unknown 0.167s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn380.smt2 (content) sat unknown 0.377s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn379.smt2 (content) sat unknown 0.277s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn377.smt2 (content) sat unknown 0.195s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn375.smt2 (content) sat unknown 0.401s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn374.smt2 (content) sat unknown 0.150s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn372.smt2 (content) sat unknown 0.418s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn371.smt2 (content) sat unknown 0.323s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn370.smt2 (content) sat unknown 0.091s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn369.smt2 (content) sat unknown 0.170s