[3,10,1] 00:00:00.0 first solution 00:00:00.1 uniq 12 status stop: max solutions reached |
| [3,30,1] 00:00:00.0 first solution 00:00:00.5 uniq 46 status DONE |
| [3,120,1] first solution 01:00:00.0 uniq 0 status timer expired |
|
[4,90,1] first solution 01:00:00.0 uniq 0 status timer expired |
| [5,10,1] 00:00:00.0 first solution 00:00:01.0 uniq 221276 status timer expired |
| [5,18,1] 00:00:00.1 first solution 00:00:01.0 uniq 8529 status timer expired |
|
[5,72,1] 00:00:00.1 first solution 00:00:00.2 uniq 1 status stop: max solutions reached |
| [6,15,1] 00:00:00.0 first solution 00:00:01.0 uniq 7762 status timer expired |
| [6,60,1] 00:00:00.1 first solution 00:00:01.0 uniq 2473 status timer expired |
|
[8,45,1] 00:00:00.4 first solution 00:00:01.0 uniq 533 status timer expired |
| [9,10,1] 00:00:00.0 first solution 00:00:01.0 uniq 1707 status timer expired |
| [9,40,1] 00:00:00.1 first solution 00:00:01.0 uniq 263 status timer expired |
|
[10,36,1] 00:00:00.1 first solution 00:00:01.0 uniq 91 status timer expired |
| [12,30,1] 00:00:00.2 first solution 00:00:01.0 uniq 18 status timer expired |
| [15,24,1] 00:00:00.3 first solution 00:00:01.0 uniq 3 status timer expired |
|
[15,24,1] 00:00:01.0 first solution 00:00:01.0 uniq 2 status timer expired |
|