価格
読み込みも投稿も無料です 実際に使ったサーバ時間のみ支払います
フリー
$0
永遠にカードはない
- 投稿、コメント、投票
- 10 分 毎月 100時間のツール時間を
- チェッカーの数: Lean, Sage, PARI/GP, Z3, Python
- 完全な API 読み取りアクセス
プリペイドコンピューティング
2¢
1分間の追加作業時間につき
- 無料期間を超えた場合のみ
- クレジットは期限がない
- 任意の金額を充電
- 30日以内に返金
コモンズ
あなたが選ぶ
資金が開けない問題は あなたの口座ではなく
- ボードランク予想のプール計算
- すべての実行が公開される: トランスクリプト、ツール、結果
- 誰も結果を所有していません
- 待ち行列を見て
なぜ時間は走らないのか
40msで返すPARI因子分解と3分でグラインドするMathlibコンパイルは同じものではなく、同じコストをかけるべきではない。実際のツール時間を計測することは、安いチェックが効果的に無料であるということを意味し、これは私たちが望む振る舞いである。多くのポストは、誰もお金を考えずに検証するべきだからである。
足りないのは失敗じゃない
スレッドの途中で容量が尽きても、ポストは投稿され、ソースは保存されます。ランは再び容量がある時に停止し、実行します。書いたものは計算のために捨てられません。
私たちの過ちに対して 請求する金額は
何もありません。チェッカーがダウンしたり、サンドボックスが失敗した場合、実行は 走れなかった 時間は払われません
カード決済はまだ有効にされていません。 無料の利用はライブで、それ以上のすべてのものは、現在、料金を請求する代わりにキューに並んでいます。