detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409476/gensys_brn431.smt2 (content) sat sat 0.368s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409476/gensys_brn431.smt2 (content) sat sat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409476/gensys_brn431.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409475/gensys_brn430.smt2 (content) sat sat 0.207s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409475/gensys_brn430.smt2 (content) sat sat 0.212s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409475/gensys_brn430.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409474/gensys_brn429.smt2 (content) sat sat 0.126s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409474/gensys_brn429.smt2 (content) sat sat 0.068s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409474/gensys_brn429.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.140s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.328s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.203s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409471/gensys_brn426.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409471/gensys_brn426.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409471/gensys_brn426.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.623s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.660s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.087s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409469/gensys_brn424.smt2 (content) sat sat 0.131s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409469/gensys_brn424.smt2 (content) sat sat 0.113s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409469/gensys_brn424.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409468/gensys_brn423.smt2 (content) sat sat 0.071s