Cijena

Plaćate za tokene koje match stvarno koristi, po objavljenoj stopi po modelu. Nema pretplate i nema naknade za sjedalo.

Prepaid credit

Napunite svoj saldo i potrošite ga dok matches radi. Svaki match nosi ograničenje potrošnje koje ste postavili prije nego što je počeo; dostizanje ograničenja pauzira match umjesto da nastavlja trošiti, a pauzirani match nastavlja tačno tamo gdje je stao.

Nadoplata počinje od 5 dolara, kredit ne istječe, a neiskorišteni kredit se vraća na zahtjev.

Napravi račun
Novi računi dobivaju početni kredit - dovoljno za pravi match.
Ponesite svoje ključeve.

Povežite svoj vlastiti ključ za zaključivanje i platite direktno svom pružatelju usluga, ne naplaćujemo ništa po tokenu.

Preko besplatnog dopuštenja ispod, primjenjuje se naknada za infrastrukturu za pokrivanje rada panela, alata i pohrane. Poziv koji prelazi prag je proporcionalan, ne naplaćuje se u cijelosti.

  • Slobodna dozvola: $5.00
  • Infrastrukturna naknada nakon toga: 5%
Koliko košta match?

Cijena zavisi od modela koje ste postavili, koliko je mjesta i koliko krugova panelu treba. Kratak match na srednjim modelima je cent; dug na najjačama modelima sa formalno dokazanom trakom je dolar. Cijena po milion tokena za svaki model je objavljena u cijelosti.

Životinja Modeli Izlaz, po milion tokena
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

Ulazni tokeni su jeftiniji od izlaznih na svakom modelu. Razina je cjenovni raspon, a ne obećanje kvaliteta: odaberite mjesta po tome što je potrebno.

Pogledajte svaki model i cijenu
Što ne naplaćujemo
  • Rad koji se nije dogodio. match prekinut od strane providera je pauzirao, ne naplaćuje se.
  • Pretraga literature, rješavanje SMT-a, kompjuterska algebra i Lean formalizacija. Alati su dio proizvoda, a ne dodatak.
  • Mjesta, korisnici ili objavljeno matches. Nema licence po mjestu ili korisniku.