detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn794.smt2 (content) unsat unknown 0.244s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn794.smt2 (content) unsat unknown 0.254s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn794.smt2 (content) unsat unknown 0.314s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn793.smt2 (content) sat unknown 0.469s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn793.smt2 (content) sat unknown 0.144s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn793.smt2 (content) sat unknown 0.141s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn793.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn792.smt2 (content) sat unknown 0.156s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn792.smt2 (content) sat unknown 0.177s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn792.smt2 (content) sat unknown 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn792.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn791.smt2 (content) sat unknown 0.589s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn791.smt2 (content) sat unknown 0.141s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn791.smt2 (content) sat unknown 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn791.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn790.smt2 (content) sat unknown 0.156s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn790.smt2 (content) sat unknown 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn790.smt2 (content) sat unknown 0.108s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn790.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn789.smt2 (content) sat unknown 0.271s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn789.smt2 (content) sat unknown 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn789.smt2 (content) sat unknown 0.079s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn789.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn788.smt2 (content) sat unknown 0.121s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn788.smt2 (content) sat unknown 0.085s