Zur Verifikation sind hier die Ergebnisse auf einigen Instanzen.
Sie werden mit Ihrem Verfahren nicht alle Instanzen loesen koennen!
Deshalb arbeiten Sie sich am Besten in jeder Klasse 
(von Instanzen mit gleichem Prefix) von klein nach gross vor.

K4: 1       

Peterson: 4

queenK_K: K (= maximale Anzahl von Damen, die auf einem KxK-Schachbrett plaziert werden koennen, ohne sich gegenseitig zu schlagen)


myciel3: 195225785  (neu!)
myciel4: 93368825   (neu!)
myciel5: 45691139   (neu!)
myciel6: 22605088   (neu!)
myciel7: 11243364   (neu!)


DSJC125.1: 17179860 
DSJC125.5: 17179867 

Auf den uebrigen DSJC*-Instanzen wird es vermutlich schon schwierig, dass Optimum zu finden:

DSJC125.9: 17179868 

DSJC250.1: 8226390  
DSJC250.5: 8589932  
DSJC250.9: 8589933  

DSJC500.1: unbekannt
DSJC500.5: 4294964
DSJC500.9: 4294966

DSJC1000.1: unbekannt
DSJC1000.5: 2147479
DSJC1000.9: 2147482