detailed results (437 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl320.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl317.smt2 (content) timeout unknown 13.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl307.smt2 (content) timeout unknown 13.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl304.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl303.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl298.smt2 (content) timeout unknown 12.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl294.smt2 (content) timeout unknown 11.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl293.smt2 (content) timeout unknown 12.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl292.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl168.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl167.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl159.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl158.smt2 (content) timeout unknown 12.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl157.smt2 (content) timeout unknown 11.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl156.smt2 (content) timeout unknown 13.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl147.smt2 (content) timeout unknown 23s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl136.smt2 (content) timeout unknown 15.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl131.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl122.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1031.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1029.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1025.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1024.smt2 (content) timeout unknown 14.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1022.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1021.smt2 (content) timeout unknown 11.2s