[3,4,5] 00:00:00.1 first solution 00:00:01.0 uniq 297 status timer expired |
| [5,4,3] 00:00:00.1 first solution 00:00:01.0 uniq 32 status timer expired |
| [5,6,5] 00:00:00.1 first solution 00:00:01.0 uniq 2 status timer expired |
|
[6,2,5] 00:00:00.1 first solution 00:00:01.0 uniq 89 status timer expired |
| [9,3,3] 00:00:00.1 first solution 00:00:00.1 uniq 3 status DONE |
| [10,7,2] 00:00:00.0 first solution 00:00:01.0 uniq 11 status timer expired |
|
[2,3,10] 00:00:00.1 first solution 00:00:00.2 uniq 4 status stop: max solutions reached |
| [2,5,6] 00:00:00.1 first solution 00:00:00.2 uniq 1 status stop: max solutions reached |
| [7,5,4] 00:00:00.1 first solution 00:00:00.6 uniq 1 status stop: max solutions reached |
|
[14,5,2] 00:00:00.0 first solution 00:00:00.1 uniq 2 status stop: max solutions reached |
| [7,5,4] 00:00:00.1 first solution 00:00:00.2 uniq 1 status stop: max solutions reached |
|