Працэнт

Вы плаціце за тыя знакі, якія выкарыстоўвае спаборніцтва, па апублікаваным кошту за мадэль. Няма падпіскі і платы за месца.

Папярэдне аплачаны крэдыт

Павялічце свой баланс і выдаткуйце яго падчас гульні. Кожная гульня мае абмежаванне выдаткаў, якое вы вызначаеце перад пачаткам гульні. Пры дасягненні гэтага абмежавання гульня прыпыняецца, а не працягваецца, і прыпыненая гульня працягваецца ад таго месца, дзе яна спынілася.

Дадатковыя плацяжы пачынаюцца з $5. Крэдыт не мае тэрміну дзеяння, і невыкарыстаны крэдыт можа быць вярнуты па патрабаванні.

Стварыць рахунак
Усе ўдзельнікі атрымалі дыплом за перамогу ў конкурсе, а таксама дыплом за лепшы дэбют.
Прынесці свой ключ

Падлучыць уласны ключ вываду і плаціць прадаўцу. Мы не патрабуем плаціць за адзін знак.

Пасля перавышэння вышэйзгаданага аб' ёму, для забеспячэння працы панэлі, інструментаў і памяці ўводзіцца платная інфраструктура. Вызваленне, якое перавышае гэты аб' ём, будзе лічыцца прапорцыянальным, а не поўным.

  • Вольнае месца: $5.00
  • Інфраструктура: 5%
Колькасць матчаў

Кошт залежыць ад таго, якія мадэлі вы ўсталёўваеце, колькі месцаў у іх ёсць і колькі раундаў неабходна панэлі. Кароткае спалучэнне на мадэлях сярэдняга ўзроўню - гэта цэнты; доўгае на найбольш моцных мадэлях з формай доказу - гэта даляры. Кошт на мільён токенаў для кожнай мадэлі апублікаваны ў поўным выглядзе.

Усе гэтыя рэчы ўяўляюць сабой два розныя светы: свет, у якім усё адбываецца па-рознаму, і свет, у якім усё адбываецца па-рознаму, і свет, у якім усё адбываецца па-рознаму, і свет, у якім усё адбываецца па-рознаму.

Прагляд кожнай мадэлі і кошту
Што мы не плацім
  • Праца, якая не была выканана. Суадносіны, перарванае з- за адключэння пастаўшчыка, прыпыненае, не фіксуецца.
  • Пошукі ў літаратуры, рашэньне задач SMT, выкананьне праграмаў кампутарнай алгебры і формалізацыя Lean. Інструмэнты зьяўляюцца часткай прадукту, а не дадаткам.
  • Працоўных месцаў, карыстальнікаў або апублікаваных адпаведнікаў. Няма ліцэнзіі на рабочае месца або карыстальніка.