detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409726/gensys_brn681.smt2 (content) sat sat 0.740s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409726/gensys_brn681.smt2 (content) sat sat 0.400s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409726/gensys_brn681.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409725/gensys_brn680.smt2 (content) sat sat 0.779s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409725/gensys_brn680.smt2 (content) sat sat 0.503s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409725/gensys_brn680.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409724/gensys_brn679.smt2 (content) sat sat 0.252s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409724/gensys_brn679.smt2 (content) sat sat 0.234s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409724/gensys_brn679.smt2 (content) sat sat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409723/gensys_brn678.smt2 (content) sat sat 0.371s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409723/gensys_brn678.smt2 (content) sat sat 0.237s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409723/gensys_brn678.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409722/gensys_brn677.smt2 (content) sat sat 0.413s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409722/gensys_brn677.smt2 (content) sat sat 0.320s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409722/gensys_brn677.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409721/gensys_brn676.smt2 (content) sat sat 0.294s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409721/gensys_brn676.smt2 (content) sat sat 0.174s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409721/gensys_brn676.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409720/gensys_brn675.smt2 (content) sat sat 0.655s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409720/gensys_brn675.smt2 (content) sat sat 0.238s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409720/gensys_brn675.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409719/gensys_brn674.smt2 (content) sat sat 0.621s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409719/gensys_brn674.smt2 (content) sat sat 0.330s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409719/gensys_brn674.smt2 (content) sat sat 0.058s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409718/gensys_brn673.smt2 (content) sat sat 0.334s