detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn053.smt2 (content) unsat unknown 0.376s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn053.smt2 (content) unsat unknown 0.462s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn053.smt2 (content) unsat unknown 0.461s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn053.smt2 (content) unsat unknown 0.053s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn052.smt2 (content) sat unknown 0.080s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn052.smt2 (content) sat unknown 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn052.smt2 (content) sat unknown 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn052.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn051.smt2 (content) sat unknown 0.058s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn051.smt2 (content) sat unknown 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn051.smt2 (content) sat unknown 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn051.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn050.smt2 (content) sat unknown 0.083s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn050.smt2 (content) sat unknown 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn050.smt2 (content) sat unknown 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn050.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn049.smt2 (content) unsat unknown 0.370s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn049.smt2 (content) unsat unknown 0.364s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn049.smt2 (content) unsat unknown 0.359s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn049.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn048.smt2 (content) sat unknown 0.094s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn048.smt2 (content) sat unknown 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn048.smt2 (content) sat unknown 0.110s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn048.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn047.smt2 (content) unsat unknown 1.2s