detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.224s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.029s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 2.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 0.446s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.243s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.238s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.182s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409221/gensys_brn176.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409221/gensys_brn176.smt2 (content) sat sat 0.091s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409221/gensys_brn176.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409220/gensys_brn175.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409220/gensys_brn175.smt2 (content) sat sat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409220/gensys_brn175.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409219/gensys_brn174.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409219/gensys_brn174.smt2 (content) sat sat 0.077s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409219/gensys_brn174.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409218/gensys_brn173.smt2 (content) sat sat 0.031s