detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409668/gensys_brn623.smt2 (content) sat sat 0.218s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409668/gensys_brn623.smt2 (content) sat sat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) unsat unsat 6.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) unsat unsat 0.861s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409666/gensys_brn621.smt2 (content) sat sat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409666/gensys_brn621.smt2 (content) sat sat 0.363s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409666/gensys_brn621.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409665/gensys_brn620.smt2 (content) sat sat 0.699s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409665/gensys_brn620.smt2 (content) sat sat 0.190s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409665/gensys_brn620.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409664/gensys_brn619.smt2 (content) sat sat 0.481s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409664/gensys_brn619.smt2 (content) sat sat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409664/gensys_brn619.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409663/gensys_brn618.smt2 (content) sat sat 0.328s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409663/gensys_brn618.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409663/gensys_brn618.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409662/gensys_brn617.smt2 (content) sat sat 0.156s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409662/gensys_brn617.smt2 (content) sat sat 0.156s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409662/gensys_brn617.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409661/gensys_brn616.smt2 (content) sat sat 0.303s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409661/gensys_brn616.smt2 (content) sat sat 0.216s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409661/gensys_brn616.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409660/gensys_brn615.smt2 (content) sat sat 0.519s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409660/gensys_brn615.smt2 (content) sat sat 0.690s