[5,7,5] 00:00:00.1 first solution 00:00:01.0 uniq 5 status timer expired |
| [3,17,3] 00:00:04.6 first solution 00:00:05.3 uniq 1 status stop: max solutions reached |
| [3,20,3] 00:01:22.8 first solution 00:01:23.1 uniq 1 status stop: max solutions reached |
|
[3,20,3] 00:00:09.2 first solution 00:00:09.7 uniq 1 status stop: max solutions reached |
| [5,7,5] 00:00:01.4 first solution 00:00:01.7 uniq 1 status stop: max solutions reached |
| [5,9,5] 00:00:00.4 first solution 00:00:00.7 uniq 1 status stop: max solutions reached |
|
[5,9,5] 00:00:00.1 first solution 00:00:00.2 uniq 1 status stop: max solutions reached |
|