detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn807.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) unsat unknown 0.715s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn805.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn805.smt2 (content) unsat unknown 7.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn805.smt2 (content) unsat unknown 7.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn805.smt2 (content) unsat unknown 0.438s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn804.smt2 (content) sat unknown 0.357s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn804.smt2 (content) sat unknown 0.223s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn804.smt2 (content) sat unknown 0.221s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn804.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn803.smt2 (content) sat unknown 0.330s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn803.smt2 (content) sat unknown 0.246s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn803.smt2 (content) sat unknown 0.251s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn803.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn802.smt2 (content) sat unknown 0.204s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn802.smt2 (content) sat unknown 0.140s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn802.smt2 (content) sat unknown 0.139s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn802.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn801.smt2 (content) sat unknown 0.261s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn801.smt2 (content) sat unknown 0.156s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn801.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn801.smt2 (content) sat unknown 0.023s