detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl108.smt2 (content) unsat unknown 0.614s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl108.smt2 (content) unsat unknown 0.111s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl107.smt2 (content) unsat unknown 0.921s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl107.smt2 (content) unsat unknown 0.455s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl107.smt2 (content) unsat unknown 0.065s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl106.smt2 (content) unsat unknown 0.673s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl106.smt2 (content) unsat unknown 0.850s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl106.smt2 (content) unsat unknown 0.101s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl105.smt2 (content) unsat unknown 0.907s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl105.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl105.smt2 (content) unsat unknown 0.123s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl104.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl104.smt2 (content) unsat unknown 0.838s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl104.smt2 (content) unsat unknown 0.113s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl103.smt2 (content) unsat unknown 0.891s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl103.smt2 (content) unsat unknown 0.338s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl103.smt2 (content) unsat unknown 0.097s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl102.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl102.smt2 (content) unsat unknown 0.675s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl102.smt2 (content) unsat unknown 0.118s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl101.smt2 (content) unsat unknown 0.493s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl101.smt2 (content) unsat unknown 0.272s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl101.smt2 (content) unsat unknown 0.056s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl100.smt2 (content) unsat unknown 0.924s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl100.smt2 (content) unsat unknown 0.327s