detailed results (437 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl833.smt2 (content) timeout unknown 11.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl832.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl831.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl829.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl828.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl823.smt2 (content) timeout unknown 11.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl820.smt2 (content) timeout unknown 27.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl818.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl817.smt2 (content) timeout unknown 11.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl815.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl813.smt2 (content) timeout unknown 15.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl795.smt2 (content) timeout unknown 11.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl787.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl785.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl770.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl766.smt2 (content) timeout unknown 12.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl763.smt2 (content) timeout unknown 12.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl762.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl757.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl737.smt2 (content) timeout unknown 20.5s