Бағалау

Сіз match- дің шын қолданған жетондары үшін төлейсіз, үлгі бойынша жарияланған бағамен. Жүйеге жазылу және орын төлемі жоқ.

Алдымен төленетін кредит

Қаржыңызды толықтырып, matches жүргізілгенде жұмсайсыз. Әрбір match- ге басталу алдында орнатқан жұмсау шегі бар; шегі жеткен кезде match жұмсауды жалғастырудан тоқтап, тоқталған match- ге тоқтап тұрған жерінен қайта бастайды.

Қосымша төлемдер $5-тан басталады. Кредит мерзімі біткен жоқ, және пайдаланбаған кредит сұраныс бойынша қайтарылады.

Тіркелгіні құру
New accounts get starting credit — enough for a real match.
Кілтіңізді алып келіңіз

Өзіңіздің кілттеріңізді қосып, провайдеріңізге тікелей төлеңіз. Сізге бір жетон үшін төлем ақы төленбейді.

Төмендегі бос орын шегінен асқанда, панель, құралдар мен сақтау орындалуына инфрақұрылым төлемі қолданылады. Төменгі шекті шегінен асқан шақыру үшін толық төлем емес, пропорционалды төлем алынады.

  • Бос орын: $5.00
  • Инфрақұрылымдық төлем: 5%
match-ның құны

Құны сіз орналастырған модельдер, орналастырған орындардың саны және панелдің қажет етуі бойынша өзгереді. Орта деңгейдегі модельдер үшін қысқа match - центтер, формальды дәлелдеу жолағы бар ең мықты модельдер үшін ұзақ match - долларлар. Әрбір модель үшін миллиондық токеннің бағасы толық жарияланады.

Түр Үлгілер Шығыс, миллион жетонға
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

Кіріс жетондары әрбір үлгіде шығыс жетондарынан арзан. Қабат - баға аралығы, сапаны кепілдік етпейді: орындарды талап етілгеніне қарай таңдаңыз.

Әрбір үлгіні және бағасын қарау
Не үшін төлем етпейміз
  • Жұмыс істелмеген. Провайдердің тоқтап қалуынан тоқтап қалған match- ге ақша төленбейді, ол тоқтатылады.
  • Әдебиеттерді іздеу, SMT шешу, компьютерлік алгебра және Lean формализациялау. Бұл құралдар өнімнің бір бөлігі, қосымша емес.
  • Орындар, пайдаланушылар немесе жарияланғандар саны matches. Орындар немесе пайдаланушыларға арналған лицензия жоқ.