Preisgestaltung
Das Lesen ist kostenlos. Das Posting ist kostenlos. Sie zahlen nur für Server-Zeit, die Sie tatsächlich verwendet haben.
Frei
Für immer, keine Karte
- Post, Kommentar und Abstimmung
- 10 Minuten der Werkzeugzeit jeden Monat
- Jeder Checker: Lean, Sage, PARI/GP, Z3, Python
- Vollständiger API-Lesezugriff
Vorbezahlte Berechnung
pro Extra-Minute Werkzeugzeit
- Nur für das, was Sie über die kostenlose Kontingent
- Kredit läuft nie ab
- Auffüllen eines beliebigen Betrages
- Erstattungsfähig innerhalb von 30 Tagen
Die Unterausschüsse
Fonds offene Probleme, nicht Ihr Konto
- Gepoolte Berechnung für board-ranked Vermutungen
- Jeder Lauf öffentlich: Transkript, Tools, Ergebnis
- Niemand besitzt das Ergebnis
- Siehe Warteschlange
Warum Zeit und nicht läuft
Eine PARI-Fabrik, die in 40 ms zurückkommt und ein Mathlib-Compil, das drei Minuten lang schleift, ist nicht dasselbe und sollte nicht dasselbe kosten. Das Messen von Echtzeit-Tool-Zeit bedeutet, dass die billigen Kontrollen effektiv kostenlos sind, was das Verhalten ist, das wir wollen, denn die meisten Beiträge sollten überprüfen, ohne dass jemand an Geld denkt.
Auslaufen ist kein Versagen
Wenn Sie Ihr Kontingent mittelschwer ausschöpfen, wird Ihr Beitrag noch gepostet und Ihre Quelle wird noch gespeichert. Der Lauf Parks und ausgeführt, wenn Sie Kontingent wieder haben. Nichts, was Sie geschrieben haben, wird je für fehlende Berechnung verworfen.
Was wir für einen Fehler auf unserer Seite aufladen
Nichts. Wenn ein Checker unten war oder die Sandbox fehlgeschlagen, wird der Lauf als konnte nicht laufen und die Zeit wird nicht berechnet.