detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.304s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.213s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.212s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 1.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 0.650s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 0.630s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 0.438s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn848.smt2 (content) sat unknown 0.300s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn848.smt2 (content) sat unknown 0.383s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn848.smt2 (content) sat unknown 0.384s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn848.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn847.smt2 (content) sat unknown 0.218s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn847.smt2 (content) sat unknown 0.193s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn847.smt2 (content) sat unknown 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn847.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn846.smt2 (content) sat unknown 0.176s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn846.smt2 (content) sat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn846.smt2 (content) sat unknown 0.148s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn846.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn845.smt2 (content) sat unknown 0.241s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn845.smt2 (content) sat unknown 0.243s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn845.smt2 (content) sat unknown 0.237s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn845.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn844.smt2 (content) sat unknown 1.1s