detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409510/gensys_brn465.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2 (content) unsat unsat 3.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2 (content) unsat unsat 0.212s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409508/gensys_brn463.smt2 (content) sat sat 0.196s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409508/gensys_brn463.smt2 (content) sat sat 0.221s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409508/gensys_brn463.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409507/gensys_brn462.smt2 (content) unsat unsat 6.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409507/gensys_brn462.smt2 (content) unsat unsat 4.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409507/gensys_brn462.smt2 (content) unsat unsat 0.106s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409506/gensys_brn461.smt2 (content) sat sat 0.181s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409506/gensys_brn461.smt2 (content) sat sat 0.108s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409506/gensys_brn461.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409505/gensys_brn460.smt2 (content) sat sat 0.281s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409505/gensys_brn460.smt2 (content) sat sat 0.163s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409505/gensys_brn460.smt2 (content) sat sat 0.056s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409504/gensys_brn459.smt2 (content) sat sat 0.224s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409504/gensys_brn459.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409504/gensys_brn459.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409503/gensys_brn458.smt2 (content) sat sat 0.125s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409503/gensys_brn458.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409503/gensys_brn458.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409502/gensys_brn457.smt2 (content) sat sat 0.334s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409502/gensys_brn457.smt2 (content) sat sat 0.091s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409502/gensys_brn457.smt2 (content) sat sat 0.046s