detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409235/gensys_brn190.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.434s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.151s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.341s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.409s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.798s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.461s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.543s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.211s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.095s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.422s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.324s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.169s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.529s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.384s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.273s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.178s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.036s