detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 3.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 0.425s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409417/gensys_brn372.smt2 (content) sat sat 0.329s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409417/gensys_brn372.smt2 (content) sat sat 0.437s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409417/gensys_brn372.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409416/gensys_brn371.smt2 (content) sat sat 0.306s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409416/gensys_brn371.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409416/gensys_brn371.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409415/gensys_brn370.smt2 (content) sat sat 0.123s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409415/gensys_brn370.smt2 (content) sat sat 0.209s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409415/gensys_brn370.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409414/gensys_brn369.smt2 (content) sat sat 0.265s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409414/gensys_brn369.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409414/gensys_brn369.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 2.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 0.099s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 2.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 0.090s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409411/gensys_brn366.smt2 (content) sat sat 0.237s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409411/gensys_brn366.smt2 (content) sat sat 0.156s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409411/gensys_brn366.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 8.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 3.6s