detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn519.smt2 (content) unsat unknown 0.366s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn519.smt2 (content) unsat unknown 0.371s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn519.smt2 (content) unsat unknown 0.250s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn518.smt2 (content) sat unknown 0.341s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn518.smt2 (content) sat unknown 0.202s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn518.smt2 (content) sat unknown 0.206s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn518.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn517.smt2 (content) sat unknown 0.487s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn517.smt2 (content) sat unknown 0.188s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn517.smt2 (content) sat unknown 0.187s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn517.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unknown 5.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unknown 0.275s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unknown 0.270s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn516.smt2 (content) unsat unknown 0.302s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn515.smt2 (content) sat unknown 0.162s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn515.smt2 (content) sat unknown 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn515.smt2 (content) sat unknown 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn515.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn514.smt2 (content) sat unknown 0.125s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn514.smt2 (content) sat unknown 0.135s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn514.smt2 (content) sat unknown 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn514.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn513.smt2 (content) sat unknown 0.076s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn513.smt2 (content) sat unknown 0.111s