[3,5,1] 00:00:00.0 first solution 00:00:00.1 uniq 7 status DONE |
| [3,20,1] 00:00:00.0 first solution 00:00:00.1 uniq 2 status DONE |
| [4,5,1] 00:00:00.0 first solution 00:00:00.1 uniq 23 status stop: max solutions reached |
|
[4,15,1] 00:00:00.0 first solution 00:00:00.1 uniq 368 status DONE |
| [4,20,1] 00:00:00.0 first solution 00:00:01.0 uniq 31288 status timer expired |
| [5,6,1] 00:00:00.0 first solution 00:00:00.1 uniq 541 status DONE |
|
[5,8,1] 00:00:00.0 first solution 00:00:00.2 uniq 3408 status DONE |
| [5,9,1] 00:00:00.0 first solution 00:00:00.2 uniq 5902 status DONE |
| [5,11,1] 00:00:00.0 first solution 00:00:00.3 uniq 4103 status DONE |
|
[5,12,1] 00:00:00.0 first solution 00:00:00.3 uniq 1010 status DONE |
| [5,16,1] 00:00:00.0 first solution 00:00:01.0 uniq 81291 status timer expired |
| [5,16,1] 00:00:00.0 first solution 00:00:01.0 uniq 17517 status timer expired |
|
[6,10,1] 00:00:00.0 first solution 00:00:00.5 uniq 2339 status DONE |
| [6,35,1] first solution 01:00:00.0 uniq 0 status timer expired |
| [7,107,1] 00:00:00.4 first solution 00:00:01.1 uniq 73 status timer expired |
|
[8,10,1] 00:00:00.0 first solution 00:00:01.0 uniq 19099 status timer expired |
| [13,23,1] 00:00:00.1 first solution 00:00:01.0 uniq 257 status timer expired |
| [15,18,1] 00:00:07.1 first solution 00:00:07.5 uniq 1 status stop: max solutions reached |
|
|