Ceny

Platíte za žetony zápas skutečně používá, na publikované per-model sazby. Neexistuje žádné předplatné a žádné místo poplatek.

Předplacené úvěry

Doplň svůj zůstatek a utratit ho jako zápasy běh. Každý zápas nese výdajovou limit, který jste stanovili před tím, než začne; dosažení limitu zastaví zápas spíše než pokračovat v utrácení, a odmlčený zápas pokračuje přesně tam, kde se zastavil.

Doplňky začínají na 5 dolarů. Kredit nevyprší a nevyužitý kredit je vratný na požádání.

Vytvořit účet
Nové účty začínají s kreditem dost na opravdovou shodu.
Přines si vlastní klíč.

Připojte svůj vlastní odvozový klíč a zaplatíte přímo svému poskytovateli. Nic vám nezaúčtujeme za žeton.

Za bezplatným příspěvkem se platí poplatek za infrastrukturu na pokrytí chodu panelu, nástrojů a skladování. Volání, které překročí práh, je prohodnoceno, nikoli fakturováno celé.

  • Volný příspěvek: $5.00
  • Poplatek za infrastrukturu po tomto: 5%
Jaká shoda stojí

Náklady závisí na tom, které modely sedíte, kolik míst je tam a kolik kol panel potřebuje. Krátký zápas na střední úrovni modelů je centů, dlouhý jeden na nejsilnější modely s formálním-důkaz bar je dolary. Per-milión-token sazba pro každý model je zveřejněna v plné výši.

Dvě volby návrhu udržují číslo dole: panel pracuje ze sdílené účetní knihy, místo aby si znovu přečetl celý přepis každé kolo, takže náklady rostou s tím, co bylo stanoveno, a ne s kulatým číslem; a zaseklé sedadlo rukou jednu otázku na jiné místo přestavování se za plnou cenu.

Viz každý model a rychlost
Za co neúčtujeme
  • Zápas přerušený výpadkem poskytovatele je zastaven, ne účtován.
  • Literatura vyhledávači, SMT řešení, počítačové-algebra běží a Lean formalizace. Nástroje jsou součástí produktu, ne doplněk.
  • Sedadla, uživatelé nebo publikované zápasy. Neexistuje žádná licence na jedno místo nebo na jednoho uživatele.