detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn682.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat unknown 0.606s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat unknown 0.336s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat unknown 0.333s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat unknown 0.594s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat unknown 0.383s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat unknown 0.377s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat unknown 0.204s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat unknown 0.185s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat unknown 0.193s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat unknown 0.304s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat unknown 0.188s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat unknown 0.175s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat unknown 0.316s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat unknown 0.239s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat unknown 0.246s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat unknown 0.229s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat unknown 0.136s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat unknown 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat unknown 0.017s