detailed results (799 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl087.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) timeout unknown 11.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) timeout unknown 11.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) timeout unknown 11s
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
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn723.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn723.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn634.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn634.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn436.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn378.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn378.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn376.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn376.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn326.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn326.smt2 (content) timeout unknown 11s