detailed results (437 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl999.smt2 (content) timeout unknown 12s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl997.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl995.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl978.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl975.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl974.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl973.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl965.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl963.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl962.smt2 (content) timeout unknown 15s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl951.smt2 (content) timeout unknown 12s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl906.smt2 (content) timeout unknown 16.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl904.smt2 (content) timeout unknown 11.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl893.smt2 (content) timeout unknown 11.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl878.smt2 (content) timeout unknown 11.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl858.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl857.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl852.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl847.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl846.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl845.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl844.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl836.smt2 (content) timeout unknown 11.2s