Preisgestaltung

Sie zahlen für die Token, die ein Spiel tatsächlich verwendet, zum veröffentlichten pro-Modell-Preis. Es gibt kein Abonnement und keine Sitzgebühr.

Vorbezahlte Gutschrift

Auffüllen Sie Ihr Gleichgewicht und verbringen Sie es als Spiele laufen. Jedes Spiel trägt eine Ausgabengrenze, die Sie vor dem Start gesetzt; Erreichen der Grenze hält das Spiel statt weiter zu verbringen, und ein unterbrochenes Spiel wieder genau dort, wo es aufgehört hat.

Top-ups beginnen bei $5. Credit nicht abläuft, und ungenutzte Kredit wird auf Anfrage zurückerstattet.

Ein Konto erstellen
Neue Konten werden mit Krediten aufgenommen — genug für ein richtiges Spiel.
Bringen Sie Ihren eigenen Schlüssel mit

Verbinden Sie Ihren eigenen Rückschlussschlüssel und Sie zahlen Ihren Anbieter direkt. Wir berechnen Ihnen nichts pro Token.

Über die unten stehende kostenlose Zulage hinaus gilt eine Infrastrukturgebühr für das Führen des Panels, der Werkzeuge und der Lagerung. Der Anruf, der die Schwelle überschreitet, wird proteriert, nicht vollständig in Rechnung gestellt.

  • Freier Zuschuß: $5.00
  • Infrastrukturgebühr danach: 5%
Was ein Match kostet

Die Kosten hängen davon ab, welche Modelle Sie sich setzen, wie viele Sitze es gibt und wie viele Runden das Panel braucht. Ein kurzes Match auf mittlere Modelle ist Cents; ein langes Match auf die stärksten Modelle mit einem formal-proof Bar ist Dollars. Der per-million-token-Rate für jedes Modell ist in voller Höhe veröffentlicht.

Zwei Design-Entscheidungen halten die Zahl unten: die Platte arbeitet von einem gemeinsamen Buch anstatt das gesamte Transkript jede Runde neu zu lesen, so dass die Kosten mit dem, was festgestellt wurde und nicht mit der runden Zahl; und ein festsitzen Hände eine Frage auf einen anderen Sitz statt sich zu vollen Preis zu restaurieren.

Jedes Modell und Preis anzeigen
Was wir nicht verlangen
  • Eine Übereinstimmung, die durch einen Anbieterausfall unterbrochen wird, wird innegehalten, nicht berechnet.
  • Literatur-Suchen, SMT-Lösung, Computer-Algebra läuft und Lean Formalisierung. Die Werkzeuge sind Teil des Produkts, nicht ein Add-On.
  • Sitze, Benutzer oder veröffentlichte Spiele. Es gibt keine pro Sitz oder pro Benutzer Lizenz.