detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409235/gensys_brn190.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.125s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.370s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.405s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.205s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.140s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.116s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.332s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.170s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 0.420s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.170s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.103s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.027s