Test del solver: ZeitFinder v1611 a confronto con CP-SAT
Nel test documentato del 22 ottobre 2026, ZeitFinder v1611 ha raggiunto l’obiettivo prima di CP-SAT in 13 dei 17 casi risolti da entrambi senza intervalli aggiuntivi. Sono state usate disponibilità costruite per orari individuali.
Cosa è stato confrontato?
CP-SAT è un potente solver di ottimizzazione della suite open source OR-Tools di Google. Viene utilizzato, tra l’altro, per la pianificazione complessa di orari e turni del personale.
Il rapporto fornito confronta ZeitFinder v1611 con CP-SAT nella creazione automatica di orari individuali. L’obiettivo comune era il tempo fino al primo piano completo e valido senza tempi vuoti interni aggiuntivi. La pausa pranzo prevista non conta come intervallo aggiuntivo.
Risultati della serie documentata
| Indicatore | Risultato riportato |
|---|---|
| Configurazioni totali | 24: 30, 40, 50 e 60 persone, tre dataset per dimensione, con e senza pausa pranzo. |
| Impossibilità dimostrata | 6 configurazioni con 50 persone; il tempo richiesto supera la capacità di una fascia obbligatoria. |
| Entrambi i solver raggiungono l’obiettivo senza intervalli aggiuntivi | 17 configurazioni entro il limite di 3.000 ms per chiamata al solver. |
| Quale solver raggiunge prima l’obiettivo? | ZeitFinder: 13 casi. CP-SAT: 4 casi. |
| Rapporto geometrico dei tempi appaiati | CP-SAT / ZeitFinder: 3,81. Calcolato solo sui 17 casi in cui entrambi hanno raggiunto l’obiettivo senza intervalli aggiuntivi. |
Il PDF non presenta né un risultato appaiato senza intervalli aggiuntivi né misure individuali per la configurazione restante. Il dato di 13 su 17 non va quindi interpretato come un tasso di successo su tutti i casi.
Tre singoli esempi riportati
In tre singoli esempi selezionati, ZeitFinder ha trovato un piano valido senza intervalli aggiuntivi circa da 12 a 27 volte più velocemente di CP-SAT.
Il rapporto evidenzia un caso per 30, 40 e 60 persone: il maggiore vantaggio misurato per ciascuna dimensione. Questi esempi non sono medie.
| Persone / dataset | Tempo ZeitFinder fino a zero intervalli aggiuntivi | Tempo CP-SAT fino a zero intervalli aggiuntivi |
|---|---|---|
| 30 persone / 1103, con pausa | 95.6 ms | 2600.8 ms |
| 40 persone / 1102, con pausa | 63.0 ms | 1295.7 ms |
| 60 persone / 1102, con pausa | 169.9 ms | 2066.8 ms |
Metodo di misura descritto nel rapporto
I dataset sono stati fissati e sottoposti a hash prima del primo avvio. Le disponibilità sono varianti costruite di una struttura nota, non un campione rappresentativo di casi reali dei clienti.
Input identici, esecuzione seriale in ordine alternato e un nuovo processo per chiamata. CP-SAT usava un thread di ricerca e seed 1. Una misurazione per solver e configurazione, 48 chiamate in totale.
Il limite di 3.000 ms include costruzione del modello e preparazione. Importazioni, avvio del processo e trasferimento dati sono esclusi. I valori misurano il calcolo del solver, non l’attesa nel browser o la raccolta delle risposte.
Secondo il rapporto, tutti i piani registrati sono stati validati separatamente. Il confronto riguarda l’assenza di intervalli aggiuntivi; numero di giorni, equilibrio e preferenze non costituivano un identico obiettivo globale.
Qual è la portata dei risultati?
I numeri sostengono il vantaggio descritto in questa serie limitata. Una sola esecuzione per caso non dimostra affidabilità statistica né superiorità mondiale. Secondo il rapporto, CPU e uso esclusivo della macchina non sono verificabili. Le misure riguardano v1611, non ogni versione successiva.
Rapporto originale e tabella completa dei casi
La fonte è il PDF fornito «ZeitFinder – Neue konstruierte Praxisfälle» del 22 ottobre 2026. I dati sono stati ripresi e verificati aritmeticamente. Le esecuzioni dei solver non sono state ripetute per questa pubblicazione.
Leggi il rapporto (PDF, tedesco, 3 pagine)Creare il tuo sondaggio sulle disponibilità
Definisci i giorni e le fasce orarie, poi invita il tuo gruppo a indicare le disponibilità.
Crea un sondaggio sulle disponibilità