detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.978s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.999s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 3.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 3.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) unsat unknown 5.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) unsat unknown 5.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unknown 0.638s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unknown 0.638s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unknown 5.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unknown 5.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) unsat unknown 10.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) unsat unknown 10.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unknown 0.595s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unknown 0.586s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 0.513s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 0.495s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) unsat unknown 6.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) unsat unknown 5.9s