detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409518/gensys_brn473.smt2 (content) sat sat 0.234s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409518/gensys_brn473.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2 (content) sat sat 0.112s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2 (content) sat sat 0.122s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 2.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 0.057s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 3.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 0.060s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2 (content) sat sat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2 (content) sat sat 0.067s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2 (content) sat sat 0.028s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2 (content) sat sat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409510/gensys_brn465.smt2 (content) sat sat 0.171s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409510/gensys_brn465.smt2 (content) sat sat 0.133s