detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409447/gensys_brn402.smt2 (content) sat sat 0.144s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409447/gensys_brn402.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409446/gensys_brn401.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409446/gensys_brn401.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409445/gensys_brn400.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409445/gensys_brn400.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409444/gensys_brn399.smt2 (content) sat sat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409444/gensys_brn399.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409443/gensys_brn398.smt2 (content) sat sat 0.066s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409443/gensys_brn398.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409442/gensys_brn397.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409442/gensys_brn397.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 0.151s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409439/gensys_brn394.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409439/gensys_brn394.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 0.458s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 0.151s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409436/gensys_brn391.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409436/gensys_brn391.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409435/gensys_brn390.smt2 (content) sat sat 0.079s