detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn613.smt2 (content) sat unknown 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn613.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn612.smt2 (content) sat unknown 0.236s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn612.smt2 (content) sat unknown 0.187s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn612.smt2 (content) sat unknown 0.187s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn612.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn611.smt2 (content) sat unknown 0.301s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn611.smt2 (content) sat unknown 0.241s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn611.smt2 (content) sat unknown 0.237s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn611.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn610.smt2 (content) sat unknown 0.268s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn610.smt2 (content) sat unknown 0.158s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn610.smt2 (content) sat unknown 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn610.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn609.smt2 (content) sat unknown 0.170s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn609.smt2 (content) sat unknown 0.258s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn609.smt2 (content) sat unknown 0.261s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn609.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn608.smt2 (content) sat unknown 0.166s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn608.smt2 (content) sat unknown 0.404s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn608.smt2 (content) sat unknown 0.409s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn608.smt2 (content) sat unknown 0.046s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn607.smt2 (content) sat unknown 0.224s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn607.smt2 (content) sat unknown 0.252s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn607.smt2 (content) sat unknown 0.252s