detailed results (3680 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409463/gensys_brn418.smt2 (content) sat sat 0.235s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409461/gensys_brn416.smt2 (content) sat sat 0.121s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.226s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.229s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.139s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.405s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.235s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409450/gensys_brn405.smt2 (content) sat sat 0.141s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409449/gensys_brn404.smt2 (content) sat sat 0.786s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409448/gensys_brn403.smt2 (content) sat sat 0.407s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409447/gensys_brn402.smt2 (content) sat sat 0.358s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409446/gensys_brn401.smt2 (content) sat sat 0.207s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409445/gensys_brn400.smt2 (content) sat sat 0.209s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409444/gensys_brn399.smt2 (content) sat sat 0.105s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409443/gensys_brn398.smt2 (content) sat sat 0.044s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409442/gensys_brn397.smt2 (content) sat sat 0.160s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409439/gensys_brn394.smt2 (content) sat sat 0.297s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409436/gensys_brn391.smt2 (content) sat sat 0.143s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409435/gensys_brn390.smt2 (content) sat sat 0.139s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409434/gensys_brn389.smt2 (content) sat sat 0.099s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409433/gensys_brn388.smt2 (content) sat sat 0.237s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409432/gensys_brn387.smt2 (content) sat sat 0.374s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409431/gensys_brn386.smt2 (content) sat sat 0.333s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409430/gensys_brn385.smt2 (content) sat sat 0.352s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409429/gensys_brn384.smt2 (content) sat sat 0.418s