detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl025.smt2 (content) unsat unknown 0.895s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl024.smt2 (content) unsat unknown 0.621s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl023.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl022.smt2 (content) unsat unknown 0.673s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl021.smt2 (content) unsat unknown 0.810s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl020.smt2 (content) unsat unknown 0.766s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl019.smt2 (content) unsat unknown 0.275s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl018.smt2 (content) unsat unknown 0.180s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl017.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl016.smt2 (content) unsat unknown 0.038s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl015.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl014.smt2 (content) unsat unknown 0.226s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl013.smt2 (content) unsat unknown 0.223s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl012.smt2 (content) unsat unknown 0.215s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl011.smt2 (content) unsat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl010.smt2 (content) unsat unknown 0.304s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl009.smt2 (content) unsat unknown 0.313s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl008.smt2 (content) unsat unknown 0.090s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl007.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl006.smt2 (content) unsat unknown 0.127s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl005.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl004.smt2 (content) unsat unknown 0.117s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl003.smt2 (content) unsat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl002.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl001.smt2 (content) unsat unknown 0.171s