Qiymətləndirmə

Siz uyğunluq üçün istifadə etdiyiniz tokenlər üçün model başına verilən qiymətə ödəyirsiniz. Üzvlük və yer haqqı yoxdur.

Ödənilmiş kredit

Hesabınızı doldurun və oyunlar gedişində xərcləyin. Hər oyun başlamazdan əvvəl müəyyən etdiyiniz xərcləmə həddi ilə başlayır. Bu həddi keçdikdə oyun xərcləməyə davam etmək əvəzinə dayandırılır və dayandırılmış oyun dayandığı yerdən davam edir.

Top-up $5-dan başlayır. Kreditlər vaxtı bitmir və istifadə edilməmiş kreditlər istənilən halda geri qaytarıla bilər.

Hesab Yarat
Yeni hesablar krediti başlayır - real bir matç üçün kifayət qədər.
Öz açarınızı gətirin

Özünüzün təyin açarını qoşun və provayderinizə doğrudan-düzgün ödəyin. Token başına heç bir ödəniş tələb etmirik.

Aşağıdakı azad icazədən sonra, panelin, alətlərin və saxlamanın işləmələrinə görə infrastruktur ödənişi tətbiq olunur. Bu həddi keçən zənglər nisbi olaraq hesablanır, bütün zənglər hesablanmır.

  • Pulsuz: $5.00
  • Infrastruktur xərcləri: 5%
Bir matçın qiyməti

Qiymətlər hansı modelləri yerləşdirdiyinizə, nə qədər yer olduğunuza və panelin nə qədər dövrəyə ehtiyacı olduğuna bağlıdır. Orta səviyyəli modellərdə qısa uyğunluq sentlərdir; formal-proof bar ilə ən güclü modellərdə uzun uyğunluq dollarlardır. Hər model üçün milyon-tokenlik qiymət tam olaraq dərc edilir.

İki dizayn seçimi sayını aşağı saxlayır: panel hər turda bütün transkripti yenidən oxumaq əvəzinə paylaşılan bir kitabdan işləyir, buna görə də qiymətlər qurulan və ya tam qiymətə yenidən yazılması əvəzinə bir sualı digərinə verməyən bir oturacaqla deyil, tur nömrəsi ilə deyil.

Hər model və dərəcəni gör
Nə üçün pul ödəmirik
  • İş baş vermədi. Provayderin işləməməsi ilə kəsilmiş bir uyğunluq fasilə verilmiş və hesablanmamış olur.
  • Kitabxana axtarışları, SMT həlli, kompüter-algebra işləmə və Lean formalizasiyası. Vasitələr məhsulun bir hissəsidir, əlavə deyil.
  • Yerlər, istifadəçilər və ya yayımlanmış uyğunluqlar. Yerlər və ya istifadəçilər üzrə lisenziyalar yoxdur.