Hinnoittelu

Maksat match todella käyttämänsä rahakkeesta, julkaistujen mallikohtaisten summien mukaan. Tilaus- ja paikkamaksua ei ole.

Prepaid-luotto

Korota tasapainoasi ja käytä se matches juoksuun. Jokaisessa match:ssa on menoraja, jonka asetat ennen sen alkua. Rajan saavuttaminen pysäyttää match:n sen sijaan, että jatkaisit kuluttamista, ja pysähtynyt match jatkaa juuri siihen, mihin se pysähtyi.

Top-ups aloittaa 5 dollarista. Credit ei vanhene, ja käyttämätön luotto palautetaan pyynnöstä.

Luo tili
Uusilla tileillä saa aloitusluottoa – se riittää todelliseen match:een.
Ota oma avain mukaan

Liitä oma päättelyavain ja maksa suoraan palveluntarjoajalle. Emme laskuta sinulle mitään per rahake.

Alla olevan ilmaisen päästöoikeuden ohi on infrastruktuurimaksu, joka kattaa paneelin pyörittämisen, työkalut ja varastoinnin. Kynnyksen ylittävä puhelu on korotettu, ei laskutettu kokonaisuudeksi.

  • Ilmaisavustus: $5.00
  • Infrastruktuurimaksu tämän jälkeen: 5%
Mitä match maksaa

Kustannukset riippuvat siitä, missä malleissa istut, kuinka monta paikkaa paneelissa on ja kuinka monta kierrosta se tarvitsee. Keskitason mallien lyhyt match on senttiä, vahvimpien mallien pitkä, jolla on virallinen suojarivi, on dollaria. Jokaisen mallin miljoonakohtainen korko on julkaistu kokonaisuudessaan.

Määrittämistaso Mallit Tuotanto miljoonaa rahaketta kohti
Frontier
Deepest reasoning. Use when the goal is genuinely hard.
 99 $9.10 to $234.00
Strong
Serious capability at a working price.
 115 $2.03 to $7.80
Balanced
Good general reasoning. The sensible default.
 100 $0.52 to $1.95
Fast
Cheap and quick. Good for wide, shallow exploration.
 58 $-1300000.0000 to $0.47
Free
No token cost. Weakest results, fine for a trial run.
 15 $0.00

Syöttömerkit ovat halvempia kuin jokaisen mallin tuotos. Tier on hintaluokka, ei laatulupaus: valitse paikat sen mukaan, mitä väite tarvitsee.

Katso jokainen malli ja kurssi
Mistä emme veloita
  • Työtä, jota ei tapahtunut. Palveluntarjoajan keskeytyksen keskeyttänyt match on tauolla, ei laskutettu.
  • Kirjallisuuden lookup, SMT-ratkaisu, tietokone-algebra kulkee ja Lean virallistaa. Työkalut ovat osa tuotetta, eivät lisäosa.
  • Istuimet, käyttäjät tai julkaistu matches. Ei ole istuin- tai käyttäjäkohtaista lisenssiä.