detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) timeout unknown 11.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) unsat unknown 1.1s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat unknown 0.453s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat unknown 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat unknown 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.615s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.322s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.321s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn835.smt2 (content) sat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn835.smt2 (content) sat unknown 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn835.smt2 (content) sat unknown 0.069s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn835.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 2.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 0.301s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn833.smt2 (content) sat unknown 0.186s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn833.smt2 (content) sat unknown 0.207s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn833.smt2 (content) sat unknown 0.202s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn833.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn832.smt2 (content) sat unknown 0.350s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn832.smt2 (content) sat unknown 0.189s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn832.smt2 (content) sat unknown 0.187s