detailed results (437 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl590.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl588.smt2 (content) timeout unknown 11.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl587.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl586.smt2 (content) timeout unknown 11.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl585.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl584.smt2 (content) timeout unknown 11.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl583.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl580.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl578.smt2 (content) timeout unknown 12.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl574.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl572.smt2 (content) timeout unknown 12.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl570.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl569.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl568.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl557.smt2 (content) timeout unknown 12.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl552.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl526.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl518.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl512.smt2 (content) timeout unknown 11.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl509.smt2 (content) timeout unknown 11.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl428.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl374.smt2 (content) timeout unknown 20.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl368.smt2 (content) timeout unknown 39.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl362.smt2 (content) timeout unknown 13.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl323.smt2 (content) timeout unknown 12s