detailed results (3677 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409629/gensys_brn584.smt2 (content) sat sat 0.411s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409628/gensys_brn583.smt2 (content) sat sat 0.443s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409627/gensys_brn582.smt2 (content) sat sat 0.135s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409626/gensys_brn581.smt2 (content) sat sat 0.088s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409625/gensys_brn580.smt2 (content) sat sat 0.095s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409624/gensys_brn579.smt2 (content) sat sat 0.452s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409623/gensys_brn578.smt2 (content) sat sat 0.879s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409622/gensys_brn577.smt2 (content) sat sat 1.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409621/gensys_brn576.smt2 (content) sat sat 1.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409620/gensys_brn575.smt2 (content) sat sat 0.673s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409619/gensys_brn574.smt2 (content) sat sat 0.487s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.775s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.619s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.931s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.491s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.542s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 0.615s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409609/gensys_brn564.smt2 (content) sat sat 0.362s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409608/gensys_brn563.smt2 (content) sat sat 2.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409606/gensys_brn561.smt2 (content) sat sat 0.477s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409604/gensys_brn559.smt2 (content) sat sat 0.630s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409603/gensys_brn558.smt2 (content) sat sat 0.903s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409601/gensys_brn556.smt2 (content) sat sat 1.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409600/gensys_brn555.smt2 (content) sat sat 0.972s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409599/gensys_brn554.smt2 (content) sat sat 1.2s