Ceny

Platíte za žetóny, ktoré zápas skutočne použil, za zverejnenú cenu za modelku.Nie je žiadne predplatné a žiadny poplatok za miesto.

Predplatený kredit

Doplňte si zostatok a miňte ho počas zápasov. Každý zápas má limit minúť, ktorý si nastavíte pred začiatkom. Po dosiahnutí limitu sa zápas pozastaví a nebude sa ďalej minúť.

Kredit nemá vypršanú platnosť a nevyužitý kredit je na požiadanie možné vrátiť.

Vytvoriť účet
Nové účty dostanú počiatočný kredit - dosť na skutočný zápas.
Prineste si vlastný kľúč

Pripojte svoj vlastný kľúč a platíte priamo svojmu poskytovateľovi, neúčtujeme vám nič za token.

Po prekročení bezplatného limitu uvedeného nižšie sa uplatňuje poplatok za infraštruktúru, ktorý pokrýva prevádzku panela, nástrojov a ukladacieho priestoru.Hovor, ktorý prekročí limit, sa účtuje pomerne, nie ako celok.

  • Bezplatná kvóta: $5.00
  • Poplatok za infraštruktúru po tomto dátume: 5%
Koľko stojí zápas

Cena závisí od toho, ktoré modely si zvolíte, koľko miest je a koľko kôl panel potrebuje. Krátky zápas na modely strednej úrovne je centy; dlhý zápas na najsilnejšie modely s formálnym dôkazom bar je doláre.Sadzba za milión tokenov pre každý model je zverejnená v plnom rozsahu.

Dve možnosti dizajnu udržiavajú číslo dole: panel pracuje zo zdieľanej knihy namiesto opätovného čítania celého prepisu každého kola, takže náklady rastú s tým, čo bolo stanovené a nie s číslom kola; a uviaznuté miesto odovzdáva jednu otázku inému miestu namiesto toho, aby sa opätovne vyjadrovalo za plnú cenu.

Pozrite si každý model a cenu
Za čo neúčtujeme
  • Práca, ktorá sa neuskutočnila. Zhoda prerušená výpadkom poskytovateľa je pozastavená, nie fakturovaná.
  • Vyhľadávanie literatúry, riešenie SMT, počítačové algebraické behy a Lean formalizácia sú súčasťou produktu, nie doplnkom.
  • Počet pracovných miest, používateľov alebo publikovaných zhod. Neexistuje licencia na pracovné miesto ani na používateľa.