[7,6,7] 00:00:00.2 first solution 00:00:01.0 uniq 1 status timer expired |
| [7,12,7] 00:00:00.1 first solution 00:00:01.1 uniq 4 status timer expired |
| [8,6,8] 00:00:00.2 first solution 00:00:01.0 uniq 28 status timer expired |
|
[9,5,9] 00:00:00.2 first solution 00:00:01.0 uniq 1 status timer expired |
| [11,5,11] 00:00:00.4 first solution 00:00:01.0 uniq 2 status timer expired |
| [11,10,11] 00:00:02.6 first solution 00:00:02.6 uniq 1 status stop: max solutions reached |
|
[11,5,11] 00:00:02.6 first solution 00:00:02.6 uniq 1 status stop: max solutions reached |
| [9,5,9] 00:00:00.2 first solution 00:00:00.4 uniq 1 status stop: max solutions reached |
| [9,5,9] 00:00:04.4 first solution 00:00:04.5 uniq 1 status stop: max solutions reached |
|
|