Test du solveur : ZeitFinder v1611 face à CP-SAT
Dans le test documenté du 22 octobre 2026, ZeitFinder v1611 a atteint l’objectif avant CP-SAT dans 13 des 17 cas que les deux solveurs ont résolus sans temps mort supplémentaire. Les disponibilités étaient construites pour des emplois du temps individuels.
Qu’a-t-on comparé ?
CP-SAT est un puissant solveur d’optimisation de la suite open source OR-Tools de Google. Il est notamment utilisé pour des problèmes complexes de planification et d’affectation du personnel.
Le rapport fourni compare ZeitFinder v1611 à CP-SAT pour la création automatique d’emplois du temps individuels. L’objectif commun était le temps jusqu’au premier planning complet et valide sans temps mort interne supplémentaire. La pause de midi prévue ne compte pas comme un temps mort supplémentaire.
Résultats de la série documentée
| Indicateur | Résultat du rapport |
|---|---|
| Configurations au total | 24 : 30, 40, 50 et 60 personnes, trois jeux de données par taille, avec et sans pause de midi. |
| Impossibilité démontrée | 6 configurations de 50 personnes ; la durée nécessaire dépasse la capacité d’une plage imposée. |
| Les deux solveurs atteignent l’objectif sans temps mort supplémentaire | 17 configurations dans la limite de 3 000 ms par appel de solveur. |
| Quel solveur atteint l’objectif en premier ? | ZeitFinder : 13 cas. CP-SAT : 4 cas. |
| Rapport géométrique des temps appariés | CP-SAT / ZeitFinder : 3,81. Calculé uniquement sur les 17 cas où les deux ont atteint l’objectif sans temps mort supplémentaire. |
Le PDF ne présente ni résultat apparié sans temps mort supplémentaire ni mesures individuelles pour la configuration restante. Le résultat de 13 sur 17 ne doit donc pas être interprété comme un taux de réussite sur tous les cas.
Trois exemples individuels du rapport
Dans trois exemples individuels sélectionnés, ZeitFinder a trouvé un planning valide sans temps mort supplémentaire environ 12 à 27 fois plus vite que CP-SAT.
Le rapport met en avant un cas pour 30, 40 et 60 personnes : le plus grand avantage mesuré pour chaque taille. Ces exemples ne sont pas des moyennes.
| Personnes / jeu de données | Temps ZeitFinder jusqu’à zéro temps mort supplémentaire | Temps CP-SAT jusqu’à zéro temps mort supplémentaire |
|---|---|---|
| 30 personnes / 1103, avec pause | 95.6 ms | 2600.8 ms |
| 40 personnes / 1102, avec pause | 63.0 ms | 1295.7 ms |
| 60 personnes / 1102, avec pause | 169.9 ms | 2066.8 ms |
Méthode de mesure décrite dans le rapport
Les données ont été fixées et hachées avant le premier lancement. Les disponibilités sont des variantes construites d’une structure connue, et non un échantillon représentatif de cas clients réels.
Entrées identiques, exécution séquentielle en ordre alterné et nouveau processus par appel. CP-SAT utilisait un fil de recherche et la graine 1. Un seul passage par solveur et configuration, soit 48 appels au total.
La limite de 3 000 ms comprend la construction du modèle et la préparation. Imports, démarrage du processus et transfert de données sont exclus. Les valeurs mesurent le calcul du solveur, pas l’attente dans le navigateur ni la collecte des réponses.
Selon le rapport, tous les plannings enregistrés ont été validés séparément. La comparaison porte sur l’absence de temps mort supplémentaire ; nombre de jours, équilibre et préférences ne formaient pas un objectif global identique.
Quelle est la portée de ces résultats ?
Les chiffres étayent l’avantage décrit dans cette série limitée. Un seul passage par cas ne démontre ni fiabilité statistique ni supériorité mondiale. Selon le rapport, le processeur et l’usage exclusif de la machine ne sont pas vérifiables. Les mesures concernent v1611, pas chaque version ultérieure.
Rapport original et tableau complet des cas
La source est le PDF fourni « ZeitFinder – Neue konstruierte Praxisfälle » du 22 octobre 2026. Les chiffres ont été repris et vérifiés arithmétiquement. Les calculs des solveurs n’ont pas été réexécutés pour cette publication.
Lire le rapport (PDF, allemand, 3 pages)Créer ton sondage de disponibilités
Définis les jours et les plages horaires, puis invite ton groupe à indiquer ses disponibilités.
Créer un sondage de disponibilités