A-Z

[8,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 24 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 24 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 1 status stop: max solutions reached
[8,9,1] 00:00:00.1 first solution 00:00:00.1 uniq 1 status stop: max solutions reached		[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 1 status stop: max solutions reached		[8,9,1] 00:00:00.1 first solution 00:00:00.2 uniq 279 status DONE
[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 82 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 2 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 40 status DONE
[10,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 22 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 53 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.7 uniq 3763 status DONE
[8,9,1] 00:00:00.0 first solution 00:00:00.4 uniq 32 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 21 status DONE		[8,9,1] 00:00:00.1 first solution 00:00:00.2 uniq 41 status DONE
[8,9,1] 00:00:00.0 first solution 00:00:00.4 uniq 1509 status DONE		[9,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 20 status DONE		[8,9,1] 00:00:00.1 first solution 00:00:00.2 uniq 8 status DONE
[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 5 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 17 status DONE		[8,9,1] 00:00:00.1 first solution 00:00:00.2 uniq 66 status DONE
[9,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 49 status DONE		[9,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 19 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 4 status DONE
[9,9,1] 00:00:00.1 first solution 00:00:00.4 uniq 194 status DONE		[8,9,1] 00:00:00.0 first solution 00:00:00.1 uniq 15 status DONE