Hinnakujundus

Sa maksad märgi eest match, mida tegelikult kasutatakse, avaldatud mudeli alusel. Ei ole tellimust ega istekohta.

Ettemakstud krediit

Top üles oma tasakaalu ja kulutada see matches joosta. Iga match kannab kulupiirang teil enne seda algab; jõuda piir paus match asemel jätkab kulutada, ja paus match jätkab täpselt, kus ta peatus.

Tipptasemel algab $5. Krediit ei aegu ja kasutamata krediiti saab taotluse korral tagastada.

Loo konto

Uued kontod saavad laenuks piisavalt reaalse match.

Võta oma võti kaasa

Ühendage oma järeldusvõti ja maksate otse oma pakkujale. Me ei esita teile midagi märgi kohta.

Pärast tasuta saastekvoodist mööda, kehtib infrastruktuuri tasu paneeli, tööriistade ja ladustamise eest. Künnist ületav kõne on ettetasutud, mitte tasustatud tervikuna.

Vabatoetus: $5.00
Pärast seda infrastruktuuritasu: 5%

Mis match maksab

Hind sõltub sellest, millised mudelid sa istuda, kui palju istmed on, ja kui palju voorud paneel vajab. Lühike match keskmise tasandi mudelid on senti; pikk üks tugevaim mudelid ametliku-kindla baar on dollarit. Miljoni žetooni määr iga mudel on avaldatud täielikult.

Määramistasand	Mudelid	Väljund miljoni märgi kohta
Frontier Deepest reasoning. Use when the goal is genuinely hard.	99	$9.10 kuni $234.00
Strong Serious capability at a working price.	115	$2.03 kuni $7.80
Balanced Good general reasoning. The sensible default.	100	$0.52 kuni $1.95
Fast Cheap and quick. Good for wide, shallow exploration.	58	$-1300000.0000 kuni $0.47
Free No token cost. Weakest results, fine for a trial run.	15	$0.00

Sisend märgid on odavam kui väljund iga mudeli. Tase on hinnavahemik, mitte kvaliteedilubadus: valige istmed, mida nõue vajab.

Vt iga mudelit ja määra

Mille eest me ei küsi?

Töö, mida ei juhtunud. match katkestas pakkuja seisak on peatatud, ei arve.
Kirjandus otsimise, SMT lahendamine, arvuti-algebra töötab ja Lean formaliseerimine. Tööriistad on osa toote, mitte lisanduv.
Istmed, kasutajad või avaldatud matches. Ühekohalist või kasutajapõhist litsentsi ei ole.