Des frais de base, le calcul que vous réservez, les secondes que vous utilisez.
Crédits prépayés, dépensés à la seconde du calcul qu'une résolution réserve. Vous choisissez le moteur, le profil de calcul sur lequel il tourne et la durée ; le coût maximum découle de ces trois valeurs et il est connu avant votre soumission.
Comment une résolution est facturée
cost = base_fee + ceil(seconds × effective_rate)
Trois choses fixent le prix. Les frais de base du moteur, facturés une fois par résolution. Son tarif d'exécution, en crédits par seconde de calcul réservé. Et le profil de calcul sur lequel vous tournez, qui multiplie ce tarif : le tarif effectif est le tarif du moteur multiplié par le coefficient du profil. La grille tarifaire ci-dessous imprime le tarif effectif de chaque moteur sur chaque profil qu'il propose.
Le coût maximum est connu avant la soumission
Prenez le tarif effectif, multipliez par la durée que vous fixez, arrondissez au crédit supérieur, ajoutez les frais de base. C'est le maximum que la résolution peut coûter, et c'est ce qui est réservé sur votre solde quand le problème est admis. Vous payez les secondes utilisées, jamais plus. Le temps passé en file n'est jamais facturé, une résolution qui ne démarre pas ne coûte rien, et une résolution annulée coûte les secondes qu'elle a tourné.
Une résolution qui tourne s secondes sur un moteur dont les frais de base sont b, à un tarif effectif r, coûte b + ceil(s × r) crédits.
Les conditions auxquelles vous soumettez sont celles que vous payez : les frais de base, le tarif et le coefficient du profil sont figés avec votre soumission, si bien qu'un changement de prix ultérieur ne touche jamais une résolution en cours. Le compteur, c'est le temps pendant lequel votre résolution a tenu le calcul, mesuré sur notre horloge du moment où un moteur prend le problème jusqu'à sa fin, et plafonné à la durée que vous avez fixée. Il revient avec la solution et il est détaillé sur votre relevé.
Aucun moteur n'est publié sur ce site pour l'instant.
La facturation, honnêtement
Un résultat prouvé infaisable est-il facturé ?
Oui. Le solveur a travaillé et la preuve est le produit : savoir qu'un plan est impossible vaut exactement autant qu'un plan. C'est facturé comme toute résolution, pour le temps consommé.
Et si une résolution plante en cours ?
Pas votre problème, pas votre facture. La résolution est détectée et remise en file automatiquement, puis reprise. Seule la tentative réussie est mesurée. Nos échecs sont gratuits.
Combien coûte une annulation ?
Les secondes consommées jusqu'à l'annulation, jamais plus. Un problème annulé alors qu'il est encore en file est gratuit, et toute la réservation retourne sur votre solde.
Quel profil de calcul choisir ?
Le moins cher qui termine votre modèle à temps. Un profil plus grand coûte plus par seconde : il n'est rentable que si les cœurs ou la mémoire en plus raccourcissent la résolution davantage que son coefficient. Chaque moteur nomme les profils sur lesquels il tourne, et l'un d'eux est son profil par défaut.
Comment vérifier ce qui m'a été facturé ?
Chaque solution porte son rapport de comptage, chaque écriture du registre renvoie à son problème, et la formule ci-dessus est la formule complète. Votre facture est reconstituable à partir des données que vous détenez.
Votre première résolution est à cinq minutes
Lancez un vrai modèle sur un vrai solveur, dans le navigateur. Sans compte, sans carte bancaire.