detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409385/gensys_brn340.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) unsat unsat 0.496s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) unsat unsat 6.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) unsat unsat 0.992s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409382/gensys_brn337.smt2 (content) sat sat 0.455s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409382/gensys_brn337.smt2 (content) sat sat 0.238s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409382/gensys_brn337.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409381/gensys_brn336.smt2 (content) sat sat 0.221s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409381/gensys_brn336.smt2 (content) sat sat 0.327s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409381/gensys_brn336.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409380/gensys_brn335.smt2 (content) sat sat 0.386s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409380/gensys_brn335.smt2 (content) sat sat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409380/gensys_brn335.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409379/gensys_brn334.smt2 (content) sat sat 0.367s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409379/gensys_brn334.smt2 (content) sat sat 0.124s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409379/gensys_brn334.smt2 (content) sat sat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409378/gensys_brn333.smt2 (content) sat sat 0.446s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409378/gensys_brn333.smt2 (content) sat sat 0.283s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409378/gensys_brn333.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) unsat unsat 8.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) unsat unsat 0.651s