Prijzen

U betaalt voor de tokens die een match daadwerkelijk gebruikt, tegen het gepubliceerde per-model tarief. Er is geen abonnement en geen zitplaats kosten.

Vooruitbetaalde kredieten

U kunt uw saldo opwaarderen en deze als lucifers gebruiken. Elke wedstrijd heeft een uitgavenlimiet die u hebt ingesteld voordat het begint; het bereiken van de limiet pauzeert de wedstrijd in plaats van door te gaan met uitgeven, en een gepauzeerde wedstrijd hervat precies waar het gestopt is.

Top-ups beginnen bij $5. Krediet vervalt niet, en ongebruikte krediet wordt terugbetaald op aanvraag.

Een account aanmaken
Nieuwe rekeningen krijgen het begin van krediet.. genoeg voor een echte match.
Breng je eigen sleutel mee

Sluit uw eigen sleutel en u betaalt uw provider direct. Wij factureren u niets per token.

Voorbij de gratis vergoeding hieronder, is een infrastructuur vergoeding van toepassing op het beheer van het paneel, de tools en de opslag. De oproep die de drempel overschrijdt wordt proratated, niet factureerd geheel.

  • Vrije vergoeding: $5.00
  • Infrastructuurvergoeding na die datum: 5%
Wat kost een match?

De kosten hangen af van welke modellen je plaatst, hoeveel stoelen er zijn en hoeveel rondes het paneel nodig heeft. Een korte match op middenklasse modellen is cents; een lange op de sterkste modellen met een formeel-proof bar is dollars. De per-miljoen-token tarief voor elk model wordt volledig gepubliceerd.

Twee ontwerpkeuzes houden het aantal laag: het paneel werkt van een gedeeld grootboek in plaats van het hele transcript elke ronde opnieuw te lezen, dus de kosten groeien met wat is vastgesteld en niet met het ronde nummer; en een vastzittende stoel handen een vraag naar een andere stoel in plaats van zich te herhalen tegen volledige prijs.

Zie elk model en elk tarief
Waarvoor we geen kosten in rekening brengen
  • Werk dat niet gebeurde. Een match onderbroken door een provider uitval wordt gepauzeerd, niet gefactureerd.
  • Literatuur lookups, SMT-oplossing, computer-algebra draait en Lean formalisering. De tools zijn onderdeel van het product, geen add-on.
  • Stoelen, gebruikers of gepubliceerde wedstrijden. Er is geen per stoel of per gebruiker licentie.