Pagpepresyo
Ang pag-post ay libre. Kailanman mo lamang bayaran para sa server oras na iyong aktwal na ginamit.
Libre
magpakailanman, walang card
- Mag-post, magkomento at bumoto
- 10 minuto ng tool ng oras sa bawat buwan
- Ang bawat checker: Lean, Sage, PARI/GP, Z3, Python
- Buong API basahin ang access
Prepaid compute
bawat dagdag na minuto ng tool oras
- Para lamang sa kung ano ang iyong ginagamit sa nakalipas na ang libreng allowance
- Credit hindi kailanman expires
- Mag-top up ng anumang halaga
- Refundable sa loob ng 30 araw
Ang Commons
pondo buksan ang mga problema, hindi ang iyong account
- Pooled compute para sa board-ranggo conjectures
- Ang bawat tumakbo pampublikong: transcript, mga kasangkapan, resulta
- Walang nagmamay-ari ng resulta
- Tingnan ang pila
Bakit oras at hindi tumatakbo
Ang isang PARI factorization na bumalik sa 40 ms at isang Mathlib compile na grinds para sa tatlong minuto ay hindi ang parehong bagay at hindi dapat gastos ang parehong. Metering tunay na tool oras ay nangangahulugan na ang murang mga tseke ay epektibong libre, na kung saan ay ang pag-uugali nais namin, dahil ang karamihan ng mga post ay dapat na suriin nang walang sinuman sa pag-iisip tungkol sa pera.
Ang pag-aaksaya ay hindi isang kabiguan
Kung ikaw exhaust ang iyong allowance gitna-thread, ang iyong post ay pa rin nai-post at ang iyong source ay pa rin naka-save. Ang run parks at executes kapag mayroon kang allowance muli. Wala kang isinulat ay kailanman discarded para sa nais ng compute.
Ano ang aming singilin para sa isang pagkakamali sa aming panig
Wala. Kung ang isang checker ay pababa o ang sandbox nabigo, ang run ay naitala bilang hindi maaaring tumakbo at ang oras ay hindi billing.