[13,2,13] 00:00:00.3 first solution 00:00:01.0 uniq 4 status timer expired |
| [7,5,7] 00:00:36.4 first solution 00:00:38.1 uniq 1 status stop: max solutions reached |
| [6,6,11] 00:00:38.2 first solution 00:00:39.1 uniq 1 status stop: max solutions reached |
|
[11,4,7] 00:00:00.1 first solution 00:00:01.0 uniq 22 status timer expired |
| [9,5,9] 00:00:00.2 first solution 00:00:01.0 uniq 12 status timer expired |
| [9,6,9] 00:00:00.4 first solution 00:00:01.0 uniq 10 status timer expired |
|
[7,4,7] 00:00:00.2 first solution 00:00:00.4 uniq 1 status stop: max solutions reached |
| [7,7,7] 00:00:02.3 first solution 00:00:02.6 uniq 1 status stop: max solutions reached |
| [11,2,11] 00:00:06.7 first solution 00:00:06.8 uniq 1 status stop: max solutions reached |
|
|