detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn813.smt2 (content) unsat unknown 0.472s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn813.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn812.smt2 (content) sat unknown 0.140s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn812.smt2 (content) sat unknown 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn812.smt2 (content) sat unknown 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn812.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn811.smt2 (content) sat unknown 0.367s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn811.smt2 (content) sat unknown 0.233s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn811.smt2 (content) sat unknown 0.225s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn811.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn810.smt2 (content) sat unknown 0.367s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn810.smt2 (content) sat unknown 0.171s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn810.smt2 (content) sat unknown 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn810.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn809.smt2 (content) sat unknown 0.169s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn809.smt2 (content) sat unknown 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn809.smt2 (content) sat unknown 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn809.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn808.smt2 (content) sat unknown 0.193s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn808.smt2 (content) sat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn808.smt2 (content) sat unknown 0.087s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn808.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn807.smt2 (content) unsat unknown 0.982s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn807.smt2 (content) unsat unknown 0.568s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn807.smt2 (content) unsat unknown 0.562s