detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409101/gensys_brn1258.smt2 (content) sat sat 0.365s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409101/gensys_brn1258.smt2 (content) sat sat 0.221s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409101/gensys_brn1258.smt2 (content) sat sat 0.051s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409100/gensys_brn1257.smt2 (content) sat sat 0.215s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409100/gensys_brn1257.smt2 (content) sat sat 0.257s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409100/gensys_brn1257.smt2 (content) sat sat 0.060s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409099/gensys_brn1256.smt2 (content) sat sat 0.407s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409099/gensys_brn1256.smt2 (content) sat sat 0.269s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409099/gensys_brn1256.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409098/gensys_brn1255.smt2 (content) sat sat 0.217s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409098/gensys_brn1255.smt2 (content) sat sat 0.372s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409098/gensys_brn1255.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409097/gensys_brn1254.smt2 (content) unsat unsat 2.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409097/gensys_brn1254.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409097/gensys_brn1254.smt2 (content) unsat unsat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409096/gensys_brn1253.smt2 (content) sat sat 0.312s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409096/gensys_brn1253.smt2 (content) sat sat 0.393s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409096/gensys_brn1253.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409095/gensys_brn1252.smt2 (content) sat sat 0.288s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409095/gensys_brn1252.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409095/gensys_brn1252.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409094/gensys_brn1251.smt2 (content) sat sat 0.255s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409094/gensys_brn1251.smt2 (content) sat sat 0.182s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409094/gensys_brn1251.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409093/gensys_brn1250.smt2 (content) sat sat 0.415s