Bauwerk

[5,5,7] 00:00:00.1 first solution 00:00:01.0 uniq 20 status timer expired		[7,5,5] 00:00:00.1 first solution 00:00:01.0 uniq 1 status timer expired		[7,5,7] 00:00:00.1 first solution 00:00:01.0 uniq 657 status timer expired
[7,7,7] 00:00:00.1 first solution 00:00:01.0 uniq 1 status timer expired		[9,4,9] 00:00:00.3 first solution 00:00:01.0 uniq 2 status timer expired		[9,5,9] 00:00:00.2 first solution 00:00:01.0 uniq 61 status timer expired
[11,3,11] 00:00:00.8 first solution 00:00:01.0 uniq 1 status timer expired		[7,6,7] 00:00:27.8 first solution 00:00:27.9 uniq 1 status stop: max solutions reached		[9,3,9] 00:00:10.9 first solution 00:00:11.1 uniq 1 status stop: max solutions reached
[9,3,9] 00:00:18.0 first solution 00:00:18.4 uniq 1 status stop: max solutions reached		[7,6,7] 00:00:35.6 first solution 00:00:36.1 uniq 1 status stop: max solutions reached		[9,6,9] 00:00:01.4 first solution 00:00:02.3 uniq 2 status stop: max solutions reached
[10,2,10] 00:00:00.8 first solution 00:00:00.9 uniq 1 status stop: max solutions reached		[7,9,7] 00:00:00.1 first solution 00:00:00.2 uniq 1 status stop: max solutions reached		[8,9,3] first solution 00:02:00.0 uniq 0 status timer expired