detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl013.smt2 (content) unsat unknown 0.222s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl013.smt2 (content) unsat unknown 0.221s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl012.smt2 (content) unsat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl012.smt2 (content) unsat unknown 0.217s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl011.smt2 (content) unsat unknown 0.154s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl011.smt2 (content) unsat unknown 0.152s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl010.smt2 (content) unsat unknown 0.253s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl010.smt2 (content) unsat unknown 0.258s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl009.smt2 (content) unsat unknown 0.344s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl009.smt2 (content) unsat unknown 0.350s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl008.smt2 (content) unsat unknown 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl008.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl007.smt2 (content) unsat unknown 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl007.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl006.smt2 (content) unsat unknown 0.128s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl006.smt2 (content) unsat unknown 0.125s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl005.smt2 (content) unsat unknown 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl005.smt2 (content) unsat unknown 0.107s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl004.smt2 (content) unsat unknown 0.129s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl004.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl003.smt2 (content) unsat unknown 0.154s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl003.smt2 (content) unsat unknown 0.152s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl002.smt2 (content) unsat unknown 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl002.smt2 (content) unsat unknown 0.097s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl001.smt2 (content) unsat unknown 0.166s