detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409268/gensys_brn223.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409268/gensys_brn223.smt2 (content) sat sat 0.028s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409267/gensys_brn222.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409267/gensys_brn222.smt2 (content) sat sat 0.054s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409267/gensys_brn222.smt2 (content) sat sat 0.026s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409266/gensys_brn221.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409266/gensys_brn221.smt2 (content) sat sat 0.049s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409266/gensys_brn221.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409265/gensys_brn220.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409265/gensys_brn220.smt2 (content) unsat unsat 0.611s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409265/gensys_brn220.smt2 (content) unsat unsat 0.079s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409264/gensys_brn219.smt2 (content) sat sat 0.093s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409264/gensys_brn219.smt2 (content) sat sat 0.095s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409264/gensys_brn219.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409263/gensys_brn218.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409263/gensys_brn218.smt2 (content) sat sat 0.090s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409263/gensys_brn218.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409262/gensys_brn217.smt2 (content) sat sat 0.111s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409262/gensys_brn217.smt2 (content) sat sat 0.087s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409262/gensys_brn217.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409261/gensys_brn216.smt2 (content) sat sat 0.125s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409261/gensys_brn216.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409261/gensys_brn216.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409260/gensys_brn215.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409260/gensys_brn215.smt2 (content) sat sat 0.110s