detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn365.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unknown 4.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unknown 4.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) unsat unknown 6.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) unsat unknown 6.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn348.smt2 (content) unsat unknown 3.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn348.smt2 (content) unsat unknown 3.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unknown 5.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) unsat unknown 5.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unknown 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) unsat unknown 5.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) unsat unknown 5.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn332.smt2 (content) unsat unknown 6.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn332.smt2 (content) unsat unknown 6.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn325.smt2 (content) unsat unknown 10.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn323.smt2 (content) unsat unknown 0.403s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn323.smt2 (content) unsat unknown 0.404s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn321.smt2 (content) unsat unknown 3.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn321.smt2 (content) unsat unknown 3.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn318.smt2 (content) unsat unknown 2.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn318.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn288.smt2 (content) unsat unknown 0.370s