[6,16,1] 00:00:00.1 first solution 00:00:00.4 uniq 56 status DONE |
| [9,8,1] 00:00:00.0 first solution 00:00:00.2 uniq 12 status DONE |
| [9,8,1] 00:00:00.1 first solution 00:00:00.2 uniq 12 status DONE |
|
[10,12,1] 00:00:00.0 first solution 00:00:00.1 uniq 5 status DONE |
| [11,13,1] 00:00:00.0 first solution 00:00:00.1 uniq 10 status DONE |
| [13,5,1] 00:00:00.1 first solution 00:00:00.1 uniq 16 status DONE |
|
[16,6,1] 00:00:00.0 first solution 00:00:00.2 uniq 36 status DONE |
| [17,5,1] 00:00:00.0 first solution 00:00:00.1 uniq 37 status DONE |
| [19,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 23 status DONE |
|
[21,4,1] 00:00:00.1 first solution 00:00:01.0 uniq 62300 status timer expired |
| [13,5,1] 00:00:00.1 first solution 00:00:00.1 uniq 1 status stop: max solutions reached |
| [16,6,1] 00:00:00.1 first solution 00:00:00.1 uniq 1 status stop: max solutions reached |
|
|