Бағалау

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

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

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

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

Тіркелгіні құру

Жаңа есептік жазбаларға бастапқы кредит беріледі, бұл шынайы ойын үшін жеткілікті.

Кілтіңізді алып келіңіз

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

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

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

Бір ойынның бағасы

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

Екі дизайн таңдауы саны аз болуға көмектеседі: комиссия әр раундта барлық транскриптті қайта оқып, одан кейін ортақ бухгалтерлік кітапшадан жұмыс істейді, сондықтан шығындар раунд санымен емес, белгіленген бағамен өседі; және тоқтап қалған орын толық бағамен қайта сұрау салу орнына бір сұрақты басқа орынға береді.

Әрбір үлгіні және бағасын қарау

Не үшін төлем етпейміз

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