[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 |
|