Працэнт

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

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

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

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

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

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

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

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

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

Стварыць Модулі Вывад, на мільён знакаў
Frontier
Deepest reasoning. Use when the goal is genuinely hard.
 99 з$9.10 да $234.00
Strong
Serious capability at a working price.
 115 з$2.03 да $7.80
Balanced
Good general reasoning. The sensible default.
 100 з$0.52 да $1.95
Fast
Cheap and quick. Good for wide, shallow exploration.
 58 з$-1300000.0000 да $0.47
Free
No token cost. Weakest results, fine for a trial run.
 15 $0.00

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

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