detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409218/gensys_brn173.smt2 (content) sat sat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409218/gensys_brn173.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409217/gensys_brn172.smt2 (content) sat sat 0.940s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409217/gensys_brn172.smt2 (content) sat sat 0.162s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409217/gensys_brn172.smt2 (content) sat sat 0.156s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409216/gensys_brn171.smt2 (content) sat sat 0.460s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409216/gensys_brn171.smt2 (content) sat sat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409216/gensys_brn171.smt2 (content) sat sat 0.185s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409215/gensys_brn170.smt2 (content) sat sat 0.957s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409215/gensys_brn170.smt2 (content) sat sat 0.206s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409215/gensys_brn170.smt2 (content) sat sat 0.108s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409214/gensys_brn169.smt2 (content) sat sat 2.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409214/gensys_brn169.smt2 (content) sat sat 0.737s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409214/gensys_brn169.smt2 (content) sat sat 0.051s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409213/gensys_brn168.smt2 (content) sat sat 0.380s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409213/gensys_brn168.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409213/gensys_brn168.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409212/gensys_brn167.smt2 (content) sat sat 0.360s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409212/gensys_brn167.smt2 (content) sat sat 0.224s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409212/gensys_brn167.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) unsat unsat 7.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) unsat unsat 0.718s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409210/gensys_brn165.smt2 (content) sat sat 0.349s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409210/gensys_brn165.smt2 (content) sat sat 0.188s