detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409601/gensys_brn556.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409601/gensys_brn556.smt2 (content) sat sat 0.355s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409601/gensys_brn556.smt2 (content) sat sat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409600/gensys_brn555.smt2 (content) sat sat 0.702s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409600/gensys_brn555.smt2 (content) sat sat 0.497s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409600/gensys_brn555.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409599/gensys_brn554.smt2 (content) sat sat 0.887s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409599/gensys_brn554.smt2 (content) sat sat 0.577s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409599/gensys_brn554.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409598/gensys_brn553.smt2 (content) sat sat 0.733s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409598/gensys_brn553.smt2 (content) sat sat 0.518s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409598/gensys_brn553.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409597/gensys_brn552.smt2 (content) sat sat 0.745s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409597/gensys_brn552.smt2 (content) sat sat 0.460s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409597/gensys_brn552.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409596/gensys_brn551.smt2 (content) sat sat 0.394s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409596/gensys_brn551.smt2 (content) sat sat 0.360s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409596/gensys_brn551.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409595/gensys_brn550.smt2 (content) sat sat 0.690s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409595/gensys_brn550.smt2 (content) sat sat 0.203s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409595/gensys_brn550.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409594/gensys_brn549.smt2 (content) sat sat 0.746s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409594/gensys_brn549.smt2 (content) sat sat 0.192s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409594/gensys_brn549.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409593/gensys_brn548.smt2 (content) sat sat 0.476s