Preisaufgaben

[13,2,13] 00:00:00.3 first solution 00:00:01.0 uniq 4 status timer expired		[7,5,7] 00:00:36.4 first solution 00:00:38.1 uniq 1 status stop: max solutions reached		[6,6,11] 00:00:38.2 first solution 00:00:39.1 uniq 1 status stop: max solutions reached
[11,4,7] 00:00:00.1 first solution 00:00:01.0 uniq 22 status timer expired		[9,5,9] 00:00:00.2 first solution 00:00:01.0 uniq 12 status timer expired		[9,6,9] 00:00:00.4 first solution 00:00:01.0 uniq 10 status timer expired
[7,4,7] 00:00:00.2 first solution 00:00:00.4 uniq 1 status stop: max solutions reached		[7,7,7] 00:00:02.3 first solution 00:00:02.6 uniq 1 status stop: max solutions reached		[11,2,11] 00:00:06.7 first solution 00:00:06.8 uniq 1 status stop: max solutions reached