Een basistarief, de rekenkracht die u reserveert, de seconden die u gebruikt.
Prepaid credits, besteed per seconde van de rekenkracht die een solve reserveert. U kiest de solver, het rekenprofiel waarop hij draait en de looptijd; de maximale kost volgt uit die drie en is gekend vóór u indient.
Hoe een solve geprijsd wordt
cost = base_fee + ceil(seconds × effective_rate)
Drie dingen bepalen de prijs. Het basistarief van de solver, één keer per solve aangerekend. Zijn looptijdtarief, in credits per seconde gereserveerde rekenkracht. En het rekenprofiel waarop u draait, dat dat tarief vermenigvuldigt: het effectieve tarief is het tarief van de solver maal de vermenigvuldiger van het profiel. De tarieventabel hieronder drukt het effectieve tarief af van elke solver op elk profiel dat hij aanbiedt.
De maximale kost is gekend vóór u indient
Neem het effectieve tarief, vermenigvuldig met de looptijd die u instelt, rond naar boven af en tel het basistarief erbij. Dat is het meeste wat de solve kan kosten, en dat wordt op uw saldo gereserveerd zodra het probleem toegelaten is. U betaalt de gebruikte seconden, nooit meer. Wachttijd in de wachtrij wordt nooit gefactureerd, een solve die nooit start kost niets, en een geannuleerde kost de seconden die ze gedraaid heeft.
Een solve die s seconden draait op een solver met basistarief b aan een effectief tarief r kost b + ceil(s × r) credits.
De voorwaarden waaronder u indient zijn de voorwaarden die u betaalt: het basistarief, het tarief en de vermenigvuldiger van het profiel worden met uw inzending vastgelegd, zodat een latere prijswijziging nooit een lopende solve raakt. De meter is de tijd dat uw solve de rekenkracht vasthield, gemeten op onze klok vanaf het moment dat een solver het probleem oppikt tot het einde, en geplafonneerd op de looptijd die u instelde. Ze komt terug met de oplossing en staat uitgesplitst op uw rekening.
Er staan nog geen solvers op deze site.
Facturatie, eerlijk
Wordt een bewezen-onhaalbaar resultaat gefactureerd?
Ja. De solver werkte en het bewijs is het product: weten dat een plan onmogelijk is, is precies zo waardevol als een plan. Het wordt gefactureerd als elke solve, voor de verbruikte tijd.
En als een solve halverwege crasht?
Niet uw probleem, niet uw factuur. De solve wordt automatisch gedetecteerd, opnieuw in de wachtrij gezet en opnieuw opgenomen. Alleen de geslaagde poging wordt gemeten. Onze fouten zijn gratis.
Wat kost annuleren?
De seconden die tot de annulering verbruikt zijn, nooit meer. Een probleem dat geannuleerd wordt terwijl het nog in de wachtrij staat is gratis, en de volledige reservering gaat terug naar uw saldo.
Welk rekenprofiel moet ik kiezen?
Het goedkoopste dat uw model op tijd afwerkt. Een groter profiel kost meer per seconde, dus het loont pas als de extra cores of het extra geheugen de solve meer inkorten dan de vermenigvuldiger. Elke solver benoemt de profielen waarop hij draait, en één daarvan is zijn standaardprofiel.
Hoe verifieer ik wat me werd aangerekend?
Elke oplossing draagt haar meterrapport, elke grootboekregel linkt naar haar probleem, en de formule hierboven is de hele formule. Uw factuur is reconstrueerbaar uit data die u zelf hebt.
Uw eerste solve is vijf minuten ver
Draai een echt model op een echte solver, in de browser. Geen account, geen kredietkaart.