Rechteck

[3,5,1] 00:00:00.0 first solution 00:00:00.1 uniq 7 status DONE		[3,20,1] 00:00:00.0 first solution 00:00:00.1 uniq 2 status DONE		[4,5,1] 00:00:00.0 first solution 00:00:00.1 uniq 23 status stop: max solutions reached
[4,15,1] 00:00:00.0 first solution 00:00:00.1 uniq 368 status DONE		[4,20,1] 00:00:00.0 first solution 00:00:01.0 uniq 31288 status timer expired		[5,6,1] 00:00:00.0 first solution 00:00:00.1 uniq 541 status DONE
[5,8,1] 00:00:00.0 first solution 00:00:00.2 uniq 3408 status DONE		[5,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 5902 status DONE		[5,11,1] 00:00:00.0 first solution 00:00:00.3 uniq 4103 status DONE
[5,12,1] 00:00:00.0 first solution 00:00:00.3 uniq 1010 status DONE		[5,16,1] 00:00:00.0 first solution 00:00:01.0 uniq 81291 status timer expired		[5,16,1] 00:00:00.0 first solution 00:00:01.0 uniq 17517 status timer expired
[6,10,1] 00:00:00.0 first solution 00:00:00.5 uniq 2339 status DONE		[6,35,1] first solution 01:00:00.0 uniq 0 status timer expired		[7,107,1] 00:00:00.4 first solution 00:00:01.1 uniq 73 status timer expired
[8,10,1] 00:00:00.0 first solution 00:00:01.0 uniq 19099 status timer expired		[13,23,1] 00:00:00.1 first solution 00:00:01.0 uniq 257 status timer expired		[15,18,1] 00:00:07.1 first solution 00:00:07.5 uniq 1 status stop: max solutions reached