detailed results (437 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unknown 21.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl691.smt2 (content) timeout unknown 14.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl681.smt2 (content) timeout unknown 11.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl680.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl679.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl672.smt2 (content) timeout unknown 12.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl664.smt2 (content) timeout unknown 12.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl663.smt2 (content) timeout unknown 35.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl661.smt2 (content) timeout unknown 11.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl660.smt2 (content) timeout unknown 12.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl659.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl658.smt2 (content) timeout unknown 21.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl653.smt2 (content) timeout unknown 11.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl637.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl631.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl623.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl621.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl620.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl614.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl613.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl596.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl595.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl593.smt2 (content) timeout unknown 12.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl591.smt2 (content) timeout unknown 11s