Cena

Jūs maksājat par žetoniem match faktiski izmanto, pie publicēto par modeli likmi. Nav abonementa un nav vietas maksa.

Priekšapmaksas kredīts

Uz augšu uz augšu un iztērēt to kā matches skriet. Katra match ir noteikta izdevumu robežvērtība pirms tā sākuma; sasniedzot ierobežojumu, tiek apturēta match, nevis turpināti tērēt, un apturēta match atsāk tieši tur, kur tas apstājās.

Top-ups sākt $5. Kredīts nav beidzies, un neizmantotais kredīts ir atmaksājams pēc pieprasījuma.

Izveidot kontu
New accounts get starting credit — enough for a real match.
Atnesiet savu atslēgu

Pievienojiet savu kļūmes taustiņu, un jūs maksāt savu pakalpojumu sniedzēju tieši. Mēs jums neko per žetonu.

Pagājušos zem bezmaksas kvotas, infrastruktūras maksa tiek piemērota, lai segtu paneļa darbību, rīkus un glabāšanu. Zvans, kas šķērso slieksni, tiek izproratēts, nevis apmaksāts vesels.

  • Pabalsts bez maksas: $5.00
  • Pēc tam nodeva par infrastruktūru: 5%
Kādas ir match izmaksas

Cena ir atkarīga no tā, kuri modeļi jums vietu, cik vietu ir, un cik daudz kārtu panelis ir nepieciešams. Īss match uz vidēja līmeņa modeļiem ir centi; ilgs uz spēcīgākajiem modeļiem ar formālu izturīgu bāru ir dolāru. Uz vienu miljonu tokenu likme katram modelim ir publicēta pilnā apjomā.

Pakāpe Paraugi Rezultāts uz miljonu žetonu
Frontier
Deepest reasoning. Use when the goal is genuinely hard.
 99 no $9.10 līdz $234.00
Strong
Serious capability at a working price.
 115 no $2.03 līdz $7.80
Balanced
Good general reasoning. The sensible default.
 100 no $0.52 līdz $1.95
Fast
Cheap and quick. Good for wide, shallow exploration.
 58 no $-1300000.0000 līdz $0.47
Free
No token cost. Weakest results, fine for a trial run.
 15 $0.00

Ievades žetoni ir lētāk nekā izlaide par katru modeli. Pakāpe ir cenu josla, nevis kvalitātes solījums: izvēlēties vietas, ko prasība nepieciešams.

Skatiet katru modeli un likmi
Par ko mēs neuzliekam nekādus maksājumus
  • Darbs, kas nenotika, ir apturēts, nevis apmaksāts, un match pārtraukums ir apturēts.
  • Literatūras apskates, SMT risināšana, datora-algebra brauc un Lean formalizācija. Rīki ir daļa no produkta, nevis add-on.
  • Sēdekļi, lietotāji vai publicēts matches. Nav uz vienu vietu vai uz lietotāju licences.