detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409560/gensys_brn515.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409559/gensys_brn514.smt2 (content) sat sat 0.198s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409559/gensys_brn514.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409559/gensys_brn514.smt2 (content) sat sat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409558/gensys_brn513.smt2 (content) sat sat 0.133s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409558/gensys_brn513.smt2 (content) sat sat 0.178s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409558/gensys_brn513.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409557/gensys_brn512.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409557/gensys_brn512.smt2 (content) sat sat 0.059s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409557/gensys_brn512.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409556/gensys_brn511.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409556/gensys_brn511.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409556/gensys_brn511.smt2 (content) sat sat 0.027s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409555/gensys_brn510.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409555/gensys_brn510.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409555/gensys_brn510.smt2 (content) sat sat 0.027s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409554/gensys_brn509.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409554/gensys_brn509.smt2 (content) sat sat 0.043s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409554/gensys_brn509.smt2 (content) sat sat 0.026s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2 (content) unsat unsat 3.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2 (content) unsat unsat 3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2 (content) unsat unsat 0.090s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409552/gensys_brn507.smt2 (content) sat sat 0.217s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409552/gensys_brn507.smt2 (content) sat sat 0.138s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409552/gensys_brn507.smt2 (content) sat sat 0.036s