detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409660/gensys_brn615.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409659/gensys_brn614.smt2 (content) sat sat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409659/gensys_brn614.smt2 (content) sat sat 0.279s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409659/gensys_brn614.smt2 (content) sat sat 0.187s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409658/gensys_brn613.smt2 (content) sat sat 0.527s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409658/gensys_brn613.smt2 (content) sat sat 0.277s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409658/gensys_brn613.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409657/gensys_brn612.smt2 (content) sat sat 0.310s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409657/gensys_brn612.smt2 (content) sat sat 0.245s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409657/gensys_brn612.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409656/gensys_brn611.smt2 (content) sat sat 0.425s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409656/gensys_brn611.smt2 (content) sat sat 0.334s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409656/gensys_brn611.smt2 (content) sat sat 0.088s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409655/gensys_brn610.smt2 (content) sat sat 0.362s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409655/gensys_brn610.smt2 (content) sat sat 0.218s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409655/gensys_brn610.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409654/gensys_brn609.smt2 (content) sat sat 0.240s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409654/gensys_brn609.smt2 (content) sat sat 0.313s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409654/gensys_brn609.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409653/gensys_brn608.smt2 (content) sat sat 0.206s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409653/gensys_brn608.smt2 (content) sat sat 0.478s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409653/gensys_brn608.smt2 (content) sat sat 0.077s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409652/gensys_brn607.smt2 (content) sat sat 0.303s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409652/gensys_brn607.smt2 (content) sat sat 0.365s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409652/gensys_brn607.smt2 (content) sat sat 0.064s