[3,21,1] 00:00:00.0 first solution 00:00:00.1 uniq 6 status DONE |
| [8,8,1] 00:00:00.0 first solution 00:00:00.2 uniq 231 status DONE |
| [9,8,1] 00:00:00.0 first solution 00:00:00.1 uniq 9 status DONE |
|
[9,8,1] 00:00:00.0 first solution 00:00:00.1 uniq 3 status DONE |
| [13,5,1] 00:00:00.0 first solution 00:00:00.1 uniq 93 status DONE |
| [16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 146 status DONE |
|
[16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 56 status DONE |
| [16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 23 status DONE |
| [16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 155 status DONE |
|
[16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 18 status DONE |
| [16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 9 status DONE |
| [16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 14 status DONE |
|
[16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 19 status DONE |
| [16,4,1] 00:00:00.0 first solution 00:00:00.1 uniq 47 status DONE |
| [33,7,1] 00:00:00.1 first solution 00:00:01.0 uniq 1770 status timer expired |
|
[43,5,1] 00:00:00.1 first solution 00:00:01.0 uniq 7779 status timer expired |
| [45,5,1] 00:00:00.1 first solution 00:00:01.0 uniq 371 status timer expired |
| [51,58,1] first solution 00:02:00.1 uniq 0 status timer expired |
|
[41,79,1] first solution 01:00:00.1 uniq 0 status timer expired |
| [15,18,1] 00:00:01.3 first solution 00:00:01.5 uniq 1 status stop: max solutions reached |
|