detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409576/gensys_brn531.smt2 (content) sat sat 0.299s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409576/gensys_brn531.smt2 (content) sat sat 0.286s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409576/gensys_brn531.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409575/gensys_brn530.smt2 (content) sat sat 0.200s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409575/gensys_brn530.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409575/gensys_brn530.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409574/gensys_brn529.smt2 (content) sat sat 0.166s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409574/gensys_brn529.smt2 (content) sat sat 0.160s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409574/gensys_brn529.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409573/gensys_brn528.smt2 (content) sat sat 0.465s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409573/gensys_brn528.smt2 (content) sat sat 0.309s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409573/gensys_brn528.smt2 (content) sat sat 0.058s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 0.441s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 0.254s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 9.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 5.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 0.562s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409570/gensys_brn525.smt2 (content) sat sat 0.596s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409570/gensys_brn525.smt2 (content) sat sat 0.261s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409570/gensys_brn525.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409569/gensys_brn524.smt2 (content) sat sat 0.265s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409569/gensys_brn524.smt2 (content) sat sat 0.335s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409569/gensys_brn524.smt2 (content) sat sat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409568/gensys_brn523.smt2 (content) sat sat 0.478s