detailed results (437 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1020.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1008.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1005.smt2 (content) timeout unknown 12.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1003.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1000.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl089.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl087.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl086.smt2 (content) timeout unknown 16.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) timeout unknown 12s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn880.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn869.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) timeout unknown 17.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn723.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn634.smt2 (content) timeout unknown 14.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn376.smt2 (content) timeout unknown 15.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn311.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn132.smt2 (content) timeout unknown 21s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1071.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1025.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/dead_dnd037.smt2 (content) timeout unknown 12.3s