Exploration: initialization
Exploration: 100 targets 
Exploration: 0 targets proven at least once
  neg: tot-2000  0-2000
  ns : tot-100  0-100
  pos: tot-0  
  ps : tot-0  
Exploration time: 143.519501
Exploration wins: 3
Exploration new examples: 886

Generation 1
Training examples: 886
Training unique  : 886
Training time: 2.914657
Exploration: 103 targets 
Exploration: 3 targets proven at least once
  neg: tot-1997  0-1900 1-97
  ns : tot-100  0-95 1-5
  pos: tot-3  1-3
  ps : tot-3  1-3
Exploration time: 4142.339141
Exploration wins: 21
Exploration new examples: 1747

Generation 2
Training examples: 2633
Training unique  : 2622
Training time: 735.590325
Exploration: 121 targets 
Exploration: 21 targets proven at least once
  neg: tot-1979  0-1805 1-170 2-4
  ns : tot-100  0-96 1-4
  pos: tot-21  1-18 2-3
  ps : tot-21  1-18 2-3
Exploration time: 3449.436356
Exploration wins: 35
Exploration new examples: 1684

Generation 3
Training examples: 4317
Training unique  : 4277
Training time: 25.26488
Exploration: 135 targets 
Exploration: 43 targets proven at least once
  neg: tot-1965  0-1709 1-248 2-8
  ns : tot-100  0-93 1-7
  pos: tot-35  1-22 2-10 3-3
  ps : tot-35  1-22 2-10 3-3
Exploration time: 3898.873003
Exploration wins: 58
Exploration new examples: 1768

Generation 4
Training examples: 6085
Training unique  : 5998
Training time: 1464.236895
Exploration: 158 targets 
Exploration: 71 targets proven at least once
  neg: tot-1942  0-1616 1-311 2-15
  ns : tot-100  0-93 1-7
  pos: tot-58  1-28 2-18 3-9 4-3
  ps : tot-58  1-28 2-18 3-9 4-3
Exploration time: 1874.016371
Exploration wins: 60
Exploration new examples: 1867

Generation 5
Training examples: 7952
Training unique  : 7778
Training time: 54.197633
Exploration: 160 targets 
Exploration: 93 targets proven at least once
  neg: tot-1940  0-1523 1-396 2-21
  ns : tot-100  0-91 1-9
  pos: tot-60  1-22 2-17 3-11 4-7 5-3
  ps : tot-60  1-22 2-17 3-11 4-7 5-3
Exploration time: 1862.258825
Exploration wins: 70
Exploration new examples: 1884

Generation 6
Training examples: 9836
Training unique  : 9568
Training time: 67.814912
Exploration: 170 targets 
Exploration: 117 targets proven at least once
  neg: tot-1930  0-1432 1-468 2-30
  ns : tot-100  0-85 1-15
  pos: tot-70  1-24 2-15 3-14 4-7 5-7 6-3
  ps : tot-70  1-24 2-15 3-14 4-7 5-7 6-3
Exploration time: 1991.556402
Exploration wins: 69
Exploration new examples: 1784

Generation 7
Training examples: 11620
Training unique  : 11200
Training time: 65.697133
Exploration: 169 targets 
Exploration: 130 targets proven at least once
  neg: tot-1931  0-1347 1-541 2-43
  ns : tot-100  0-78 1-20 2-2
  pos: tot-69  1-13 2-15 3-10 4-14 5-7 6-7 7-3
  ps : tot-69  1-13 2-15 3-10 4-14 5-7 6-7 7-3
Exploration time: 1567.350057
Exploration wins: 96
Exploration new examples: 1738

Generation 8
Training examples: 13358
Training unique  : 12773
Training time: 85.828189
Exploration: 196 targets 
Exploration: 157 targets proven at least once
  neg: tot-1904  0-1269 1-581 2-52 3-2
  ns : tot-100  0-79 1-21
  pos: tot-96  1-31 2-10 3-15 4-10 5-13 6-7 7-7 8-3
  ps : tot-96  1-31 2-10 3-15 4-10 5-13 6-7 7-7 8-3
Exploration time: 1141.253245
Exploration wins: 123
Exploration new examples: 1728

Generation 9
Training examples: 15086
Training unique  : 14213
Training time: 92.290514
Exploration: 200 targets 
Exploration: 186 targets proven at least once
  neg: tot-1877  0-1190 1-618 2-67 3-2
  ns : tot-100  0-70 1-27 2-3
  pos: tot-123  1-31 2-27 3-10 4-15 5-10 6-13 7-7 8-7 9-3
  ps : tot-100  1-31 2-27 3-8 4-11 5-7 6-8 7-4 8-2 9-2
Exploration time: 2416.199336
Exploration wins: 111
Exploration new examples: 2270

Generation 10
Training examples: 17356
Training unique  : 16178
Training time: 99.98476
Exploration: 200 targets 
Exploration: 212 targets proven at least once
  neg: tot-1866  0-1120 1-655 2-86 3-5
  ns : tot-100  0-74 1-24 2-2
  pos: tot-134  1-26 2-24 3-21 4-12 5-14 6-12 7-11 8-9 9-3 10-2
  ps : tot-100  1-26 2-24 3-17 4-8 5-6 6-7 7-5 8-4 9-2 10-1
Exploration time: 1170.84653
Exploration wins: 131
Exploration new examples: 1908

Generation 11
Training examples: 19264
Training unique  : 17722
Training time: 112.627907
Exploration: 200 targets 
Exploration: 249 targets proven at least once
  neg: tot-1835  0-1046 1-682 2-100 3-7
  ns : tot-100  0-76 1-18 2-6
  pos: tot-165  1-39 2-20 3-27 4-20 5-16 6-11 7-13 8-10 9-5 10-3 11-1
  ps : tot-100  1-39 2-15 3-21 4-11 5-4 6-4 7-3 8-2 10-1
Exploration time: 1477.463328
Exploration wins: 130
Exploration new examples: 1885

Generation 12
Training examples: 21149
Training unique  : 19272
Training time: 128.209947
Exploration: 200 targets 
Exploration: 288 targets proven at least once
  neg: tot-1805  0-970 1-713 2-110 3-12
  ns : tot-100  0-64 1-32 2-4
  pos: tot-195  1-39 2-38 3-18 4-30 5-23 6-11 7-14 8-11 9-7 10-2 11-2
  ps : tot-100  1-39 2-26 3-5 4-12 5-6 6-4 7-4 8-2 9-1 11-1
Exploration time: 1710.548947
Exploration wins: 143
Exploration new examples: 2081

Generation 13
Training examples: 23230
Training unique  : 20934
Training time: 122.488548
Exploration: 200 targets 
Exploration: 329 targets proven at least once
  neg: tot-1762  0-906 1-719 2-123 3-14
  ns : tot-100  0-72 1-23 2-4 3-1
  pos: tot-238  1-46 2-48 3-39 4-23 5-29 6-13 7-14 8-13 9-8 10-3 11-1 12-1
  ps : tot-100  1-33 2-27 3-18 4-9 5-4 6-3 7-2 8-4
Exploration time: 1368.552504
Exploration wins: 121
Exploration new examples: 2147

Generation 14
Training examples: 25377
Training unique  : 22700
Training time: 119.15702
Exploration: 200 targets 
Exploration: 366 targets proven at least once
  neg: tot-1741  0-834 1-754 2-135 3-17 4-1
  ns : tot-100  0-62 1-33 2-3 3-2
  pos: tot-259  1-50 2-41 3-45 4-32 5-34 6-14 7-15 8-11 9-12 10-3 11-1 12-1
  ps : tot-100  1-32 2-24 3-12 4-10 5-10 6-2 7-4 8-2 9-4
Exploration time: 1484.831231
Exploration wins: 132
Exploration new examples: 2127

Generation 15
Training examples: 27504
Training unique  : 24404
Training time: 149.483405
Exploration: 200 targets 
Exploration: 406 targets proven at least once
  neg: tot-1709  0-772 1-760 2-157 3-17 4-3
  ns : tot-100  0-62 1-30 2-8
  pos: tot-291  1-62 2-41 3-53 4-34 5-34 6-22 7-13 8-13 9-10 10-7 11-1 12-1
  ps : tot-100  1-40 2-20 3-22 4-8 5-6 6-2 9-2
Exploration time: 1272.111003
Exploration wins: 137
Exploration new examples: 2065

Generation 16
Training examples: 29569
Training unique  : 26003
Training time: 163.651977
Exploration: 200 targets 
Exploration: 449 targets proven at least once
  neg: tot-1672  0-710 1-770 2-165 3-24 4-3
  ns : tot-100  0-59 1-35 2-6
  pos: tot-328  1-69 2-54 3-49 4-48 5-35 6-26 7-15 8-13 9-8 10-9 11-1 12-1
  ps : tot-100  1-36 2-20 3-17 4-9 5-8 6-4 7-2 8-2 9-1 10-1
Exploration time: 1867.105535
Exploration wins: 143
Exploration new examples: 2118

Generation 17
Training examples: 31687
Training unique  : 27615
Training time: 179.078628
Exploration: 200 targets 
Exploration: 492 targets proven at least once
  neg: tot-1629  0-651 1-761 2-187 3-27 4-3
  ns : tot-100  0-52 1-43 2-5
  pos: tot-371  1-78 2-69 3-51 4-56 5-36 6-30 7-17 8-13 9-9 10-9 11-2 12-1
  ps : tot-100  1-42 2-24 3-9 4-8 5-8 6-5 8-2 9-1 10-1
Exploration time: 1699.589594
Exploration wins: 145
Exploration new examples: 2175

Generation 18
Training examples: 33862
Training unique  : 29283
Training time: 192.582333
Exploration: 200 targets 
Exploration: 539 targets proven at least once
  neg: tot-1584  0-599 1-751 2-201 3-30 4-3
  ns : tot-100  0-66 1-31 2-3
  pos: tot-416  1-90 2-81 3-63 4-57 5-36 6-33 7-22 8-11 9-10 10-9 11-3 12-1
  ps : tot-100  1-33 2-20 3-17 4-9 5-9 6-4 7-3 8-1 9-1 10-3
Exploration time: 1395.136309
Exploration wins: 141
Exploration new examples: 2181

Generation 19
Training examples: 36043
Training unique  : 30968
Training time: 197.139623
Exploration: 200 targets 
Exploration: 590 targets proven at least once
  neg: tot-1543  0-533 1-763 2-213 3-31 4-3
  ns : tot-100  0-50 1-41 2-9
  pos: tot-457  1-111 2-86 3-65 4-62 5-35 6-38 7-23 8-13 9-10 10-7 11-6 12-1
  ps : tot-100  1-43 2-22 3-11 4-11 5-3 6-5 7-2 9-2 11-1
Exploration time: 1469.386114
Exploration wins: 134
Exploration new examples: 2163

Generation 20
Training examples: 38206
Training unique  : 32646
Training time: 197.309014
Exploration: 200 targets 
Exploration: 634 targets proven at least once
  neg: tot-1509  0-483 1-762 2-224 3-37 4-3
  ns : tot-100  0-51 1-40 2-7 3-2
  pos: tot-491  1-116 2-98 3-72 4-61 5-43 6-36 7-26 8-15 9-8 10-9 11-5 12-2
  ps : tot-100  1-35 2-20 3-16 4-13 5-3 6-4 7-1 8-5 9-1 10-1 12-1
Exploration time: 1108.3547
Exploration wins: 146
Exploration new examples: 2147

Generation 21
Training examples: 40353
Training unique  : 34252
Training time: 227.017468
Exploration: 200 targets 
Exploration: 679 targets proven at least once
  neg: tot-1463  0-432 1-751 2-235 3-40 4-5
  ns : tot-100  0-51 1-39 2-7 3-3
  pos: tot-537  1-130 2-111 3-76 4-63 5-53 6-35 7-29 8-11 9-12 10-9 11-6 12-1 13-1
  ps : tot-100  1-48 2-23 3-12 4-9 5-2 7-1 8-1 9-2 10-2
Exploration time: 1076.820107
Exploration wins: 136
Exploration new examples: 2190

Generation 22
Training examples: 42543
Training unique  : 35936
Training time: 210.029316
Exploration: 200 targets 
Exploration: 726 targets proven at least once
  neg: tot-1427  0-381 1-748 2-248 3-42 4-8
  ns : tot-100  0-38 1-52 2-9 3-1
  pos: tot-573  1-135 2-123 3-83 4-66 5-60 6-37 7-28 8-11 9-11 10-9 11-8 12-1 13-1
  ps : tot-100  1-43 2-28 3-9 4-11 5-3 6-3 7-2 8-1
Exploration time: 1478.396024
Exploration wins: 135
Exploration new examples: 2291

Generation 23
Training examples: 44834
Training unique  : 37651
Training time: 236.312361
Exploration: 200 targets 
Exploration: 767 targets proven at least once
  neg: tot-1392  0-343 1-720 2-274 3-47 4-8
  ns : tot-100  0-36 1-48 2-12 3-3 4-1
  pos: tot-608  1-137 2-131 3-100 4-63 5-68 6-37 7-29 8-12 9-12 10-9 11-8 12-1 13-1
  ps : tot-100  1-38 2-23 3-18 4-7 5-6 6-3 7-1 8-1 9-2 11-1
Exploration time: 1537.956194
Exploration wins: 147
Exploration new examples: 2199

Generation 24
Training examples: 47033
Training unique  : 39336
Training time: 176.384939
Exploration: 200 targets 
Exploration: 821 targets proven at least once
  neg: tot-1345  0-307 1-696 2-286 3-48 4-7 5-1
  ns : tot-100  0-39 1-46 2-14 3-1
  pos: tot-655  1-158 2-138 3-102 4-73 5-69 6-40 7-31 8-12 9-11 10-11 11-7 12-2 13-1
  ps : tot-100  1-44 2-23 3-9 4-7 5-8 6-1 7-2 9-4 10-2
Exploration time: 1237.366267
Exploration wins: 143
Exploration new examples: 2223

Generation 25
Training examples: 49256
Training unique  : 41069
Training time: 274.053806
Exploration: 200 targets 
Exploration: 870 targets proven at least once
  neg: tot-1302  0-268 1-680 2-289 3-56 4-8 5-1
  ns : tot-100  0-38 1-44 2-17 3-1
  pos: tot-698  1-171 2-149 3-112 4-75 5-68 6-47 7-30 8-14 9-7 10-13 11-9 12-2 13-1
  ps : tot-100  1-41 2-21 3-18 4-8 5-9 6-3
Exploration time: 1207.135789
Exploration wins: 146
Exploration new examples: 2230

Generation 26
Training examples: 51486
Training unique  : 42744
Training time: 271.881537
Exploration: 200 targets 
Exploration: 922 targets proven at least once
  neg: tot-1256  0-230 1-665 2-286 3-65 4-9 5-1
  ns : tot-100  0-38 1-46 2-11 3-4 4-1
  pos: tot-744  1-190 2-159 3-113 4-83 5-67 6-53 7-33 8-14 9-7 10-13 11-9 12-2 13-1
  ps : tot-100  1-43 2-19 3-14 4-7 5-7 6-7 7-2 8-1
Exploration time: 2151.53644
Exploration wins: 146
Exploration new examples: 2334

Generation 27
Training examples: 53820
Training unique  : 44515
Training time: 282.763752
Exploration: 200 targets 
Exploration: 974 targets proven at least once
  neg: tot-1210  0-192 1-643 2-294 3-69 4-11 5-1
  ns : tot-100  0-35 1-49 2-11 3-5
  pos: tot-790  1-206 2-174 3-114 4-90 5-67 6-53 7-38 8-15 9-8 10-13 11-9 12-2 13-1
  ps : tot-100  1-54 2-19 3-9 4-6 5-4 6-2 7-4 8-1 9-1
Exploration time: 1756.233612
Exploration wins: 144
Exploration new examples: 2330

Generation 28
Training examples: 56150
Training unique  : 46401
Training time: 300.240959
Exploration: 200 targets 
Exploration: 1021 targets proven at least once
  neg: tot-1166  0-157 1-617 2-304 3-73 4-14 5-1
  ns : tot-100  0-24 1-54 2-20 3-2
  pos: tot-834  1-208 2-198 3-123 4-93 5-69 6-55 7-36 8-18 9-8 10-14 11-9 12-2 13-1
  ps : tot-100  1-44 2-23 3-15 4-4 5-8 6-2 7-2 9-1 11-1
Exploration time: 1787.35483
Exploration wins: 147
Exploration new examples: 2260

Generation 29
Training examples: 58410
Training unique  : 48025
Training time: 299.18688
Exploration: 200 targets 
Exploration: 1066 targets proven at least once
  neg: tot-1119  0-133 1-578 2-308 3-84 4-15 5-1
  ns : tot-100  0-26 1-54 2-17 3-3
  pos: tot-881  1-219 2-213 3-129 4-104 5-65 6-61 7-36 8-20 9-7 10-15 11-8 12-3 13-1
  ps : tot-100  1-37 2-30 3-13 4-7 5-3 6-5 7-2 8-1 9-1 11-1

Generation 29
Training examples: 58410
Training unique  : 48025
Training time: 275.174411
Exploration: 200 targets 
Exploration: 1066 targets proven at least once
  neg: tot-1119  0-133 1-578 2-308 3-84 4-15 5-1
  ns : tot-100  0-30 1-48 2-14 3-6 4-2
  pos: tot-881  1-219 2-213 3-129 4-104 5-65 6-61 7-36 8-20 9-7 10-15 11-8 12-3 13-1
  ps : tot-100  1-39 2-28 3-15 4-5 5-4 6-4 7-1 10-4
Exploration time: 1418.9123
Exploration wins: 137
Exploration new examples: 2288

Generation 30
Training examples: 60698
Training unique  : 49740

Generation 30
Training examples: 60698
Training unique  : 49740
Training time: 142.40257
Exploration: 200 targets 
Exploration: 1116 targets proven at least once
  neg: tot-1082  0-103 1-555 2-318 3-88 4-17 5-1
  ns : tot-100  0-15 1-57 2-23 3-4 5-1
  pos: tot-918  1-235 2-210 3-141 4-111 5-66 6-61 7-39 8-21 9-7 10-11 11-12 12-3 13-1
  ps : tot-100  1-44 2-26 3-17 4-6 5-4 6-1 7-1 10-1
Exploration time: 2872.399373
Exploration wins: 125
Exploration new examples: 2384

Generation 31
Training examples: 63082
Training unique  : 51482
Training time: 122.706519
Exploration: 200 targets 
Exploration: 1148 targets proven at least once
  neg: tot-1057  0-88 1-521 2-324 3-103 4-20 6-1
  ns : tot-100  0-16 1-56 2-21 3-5 4-2
  pos: tot-943  1-230 2-217 3-148 4-121 5-68 6-64 7-39 8-22 9-7 10-10 11-13 12-3 13-1
  ps : tot-100  1-37 2-29 3-13 4-8 5-6 6-4 8-1 9-1 12-1
Exploration time: 1467.685886
Exploration wins: 128
Exploration new examples: 2337

Generation 32
Training examples: 65419
Training unique  : 53184
Training time: 168.114337
Exploration: 200 targets 
Exploration: 1181 targets proven at least once
  neg: tot-1029  0-72 1-486 2-335 3-111 4-22 5-2 6-1
  ns : tot-100  0-22 1-46 2-23 3-8 4-1
  pos: tot-971  1-236 2-214 3-160 4-126 5-70 6-66 7-43 8-21 9-7 10-11 11-13 12-2 13-2
  ps : tot-100  1-50 2-21 3-14 4-4 5-4 6-3 7-2 8-2
Exploration time: 1215.038817
Exploration wins: 144
Exploration new examples: 2272

Generation 33
Training examples: 67691
Training unique  : 54876
Training time: 161.009942
Exploration: 200 targets 
Exploration: 1221 targets proven at least once
  neg: tot-985  0-50 1-450 2-339 3-115 4-27 5-3 6-1
  ns : tot-100  0-13 1-49 2-29 3-8 4-1
  pos: tot-1015  1-236 2-237 3-167 4-136 5-70 6-67 7-44 8-21 9-9 10-11 11-13 12-2 13-2
  ps : tot-100  1-45 2-26 3-12 4-10 5-2 6-4 7-1
Exploration time: 2766.867741
Exploration wins: 120
Exploration new examples: 2490

Generation 34
Training examples: 70181
Training unique  : 56846
Training time: 157.422692
Exploration: 200 targets 
Exploration: 1251 targets proven at least once
  neg: tot-965  0-37 1-424 2-338 3-128 4-33 5-4 6-1
  ns : tot-100  0-6 1-64 2-22 3-7 5-1
  pos: tot-1035  1-230 2-244 3-177 4-136 5-77 6-65 7-47 8-22 9-9 10-11 11-13 12-2 13-2
  ps : tot-100  1-39 2-28 3-17 4-9 5-1 6-3 7-1 8-2

Generation 34
Training examples: 70181
Training unique  : 56846
Training time: 160.272725
Exploration: 200 targets 
Exploration: 1251 targets proven at least once
  neg: tot-965  0-37 1-424 2-338 3-128 4-33 5-4 6-1
  ns : tot-100  0-7 1-51 2-27 3-13 4-2
  pos: tot-1035  1-230 2-244 3-177 4-136 5-77 6-65 7-47 8-22 9-9 10-11 11-13 12-2 13-2
  ps : tot-100  1-42 2-34 3-8 4-7 5-6 7-2 10-1

Generation 34
Training examples: 70181
Training unique  : 56846
Training time: 169.111966
Exploration: 200 targets 
Exploration: 1251 targets proven at least once
  neg: tot-965  0-37 1-424 2-338 3-128 4-33 5-4 6-1
  ns : tot-100  0-9 1-45 2-36 3-8 4-2
  pos: tot-1035  1-230 2-244 3-177 4-136 5-77 6-65 7-47 8-22 9-9 10-11 11-13 12-2 13-2
  ps : tot-100  1-34 2-25 3-16 4-11 5-6 6-4 8-1 9-1 10-1 11-1

Generation 34
Training examples: 70181
Training unique  : 56846
Training time: 176.784614
Exploration: 200 targets 
Exploration: 1251 targets proven at least once
  neg: tot-965  0-37 1-424 2-338 3-128 4-33 5-4 6-1
  ns : tot-100  0-9 1-52 2-34 3-1 4-4
  pos: tot-1035  1-230 2-244 3-177 4-136 5-77 6-65 7-47 8-22 9-9 10-11 11-13 12-2 13-2
  ps : tot-100  1-35 2-28 3-15 4-12 5-2 6-2 7-3 8-1 11-2
Exploration time: 2150.967998
Exploration wins: 137
Exploration new examples: 2411

Generation 35
Training examples: 72592
Training unique  : 58646
Training time: 192.623553
Exploration: 200 targets 
Exploration: 1288 targets proven at least once
  neg: tot-928  0-28 1-385 2-330 3-147 4-29 5-8 6-1
  ns : tot-100  0-7 1-56 2-27 3-9 5-1
  pos: tot-1072  1-243 2-243 3-188 4-139 5-86 6-65 7-46 8-24 9-10 10-11 11-11 12-4 13-2
  ps : tot-100  1-38 2-25 3-21 4-10 5-5 7-1
Exploration time: 1969.568622
Exploration wins: 133
Exploration new examples: 2413

Generation 36
Training examples: 75005
Training unique  : 60446
Training time: 185.29435
Exploration: 200 targets 
Exploration: 1317 targets proven at least once
  neg: tot-895  0-21 1-337 2-332 3-159 4-37 5-7 6-2
  ns : tot-100  0-3 1-52 2-32 3-10 4-3
  pos: tot-1105  1-245 2-252 3-189 4-150 5-91 6-70 7-45 8-25 9-10 10-11 11-11 12-4 13-2
  ps : tot-100  1-36 2-24 3-12 4-9 5-11 6-1 7-3 8-2 9-1 12-1
Exploration time: 1290.875393
Exploration wins: 135
Exploration new examples: 2366

Generation 37
Training examples: 77371
Training unique  : 62164
Training time: 188.730362
Exploration: 200 targets 
Exploration: 1348 targets proven at least once
  neg: tot-860  0-18 1-296 2-325 3-168 4-41 5-10 6-2
  ns : tot-100  0-6 1-45 2-37 3-7 4-4 5-1
  pos: tot-1140  1-255 2-256 3-199 4-153 5-88 6-80 7-43 8-26 9-11 10-12 11-11 12-3 13-3
  ps : tot-100  1-41 2-27 3-15 4-7 5-4 6-4 7-1 8-1
Exploration time: 2160.755259
Exploration wins: 126
Exploration new examples: 2533

Generation 38
Training examples: 79904
Training unique  : 64150
Training time: 183.194716
Exploration: 200 targets 
Exploration: 1374 targets proven at least once
  neg: tot-834  0-12 1-267 2-315 3-185 4-40 5-12 6-3
  ns : tot-100  0-8 1-41 2-36 3-13 4-2
  pos: tot-1166  1-255 2-257 3-210 4-160 5-91 6-80 7-46 8-26 9-12 10-12 11-11 12-3 13-3
  ps : tot-100  1-42 2-21 3-15 4-7 5-8 6-5 7-1 9-1
Exploration time: 2378.807007
Exploration wins: 114
Exploration new examples: 2589

Generation 39
Training examples: 82493
Training unique  : 66171
Training time: 189.067051
Exploration: 200 targets 
Exploration: 1398 targets proven at least once
  neg: tot-820  0-4 1-245 2-309 3-198 4-47 5-14 6-3
  ns : tot-100  1-36 2-37 3-24 4-3
  pos: tot-1180  1-242 2-267 3-212 4-168 5-90 6-83 7-50 8-27 9-11 10-13 11-11 12-3 13-3
  ps : tot-100  1-38 2-19 3-12 4-12 5-7 6-5 7-3 8-3 9-1
Exploration time: 1446.70152
Exploration wins: 119
Exploration new examples: 2484

Generation 40
Training examples: 84977
Training unique  : 67998
Training time: 202.520474
Exploration: 200 targets 
Exploration: 1414 targets proven at least once
  neg: tot-801  0-4 1-220 2-293 3-200 4-65 5-16 6-3
  ns : tot-100  1-37 2-35 3-24 4-3 5-1
  pos: tot-1199  1-234 2-279 3-216 4-168 5-94 6-85 7-52 8-27 9-13 10-14 11-11 12-3 13-3
  ps : tot-100  1-34 2-27 3-11 4-13 5-7 6-3 7-2 8-1 10-2
Exploration time: 2349.433865
Exploration wins: 152
Exploration new examples: 2383

Generation 41
Training examples: 87360
Training unique  : 69654
Training time: 226.12073
Exploration: 200 targets 
Exploration: 1447 targets proven at least once
  neg: tot-749  0-4 1-190 2-266 3-194 4-73 5-18 6-4
  ns : tot-100  0-1 1-41 2-29 3-25 4-4
  pos: tot-1251  1-259 2-281 3-230 4-166 5-100 6-89 7-53 8-28 9-14 10-12 11-13 12-3 13-3
  ps : tot-100  1-35 2-23 3-11 4-14 5-6 6-5 7-4 8-1 11-1
Exploration time: 1426.207322
Exploration wins: 112
Exploration new examples: 2619

Generation 42
Training examples: 89979
Training unique  : 71563
Training time: 204.71919
Exploration: 200 targets 
Exploration: 1464 targets proven at least once
  neg: tot-737  0-3 1-164 2-262 3-190 4-93 5-21 6-4
  ns : tot-100  0-1 1-32 2-41 3-20 4-5 6-1
  pos: tot-1263  1-251 2-282 3-238 4-163 5-108 6-90 7-54 8-31 9-15 10-12 11-12 12-4 13-3
  ps : tot-100  1-36 2-25 3-9 4-16 5-6 6-5 7-2 8-1
Exploration time: 2380.826293
Exploration wins: 116
Exploration new examples: 2567

Generation 43
Training examples: 92546
Training unique  : 73448
Training time: 203.705623
Exploration: 200 targets 
Exploration: 1488 targets proven at least once
  neg: tot-721  0-2 1-150 2-242 3-195 4-102 5-26 6-3 7-1
  ns : tot-100  0-2 1-33 2-37 3-17 4-9 5-2
  pos: tot-1279  1-249 2-281 3-248 4-156 5-118 6-91 7-57 8-32 9-16 10-12 11-12 12-4 13-3
  ps : tot-100  1-31 2-28 3-15 4-10 5-6 6-5 7-3 10-1 12-1
Exploration time: 2466.709767
Exploration wins: 125
Exploration new examples: 2470

Generation 44
Training examples: 95016
Training unique  : 75247
Training time: 226.355625
Exploration: 200 targets 
Exploration: 1508 targets proven at least once
  neg: tot-696  1-129 2-221 3-201 4-106 5-33 6-5 7-1
  ns : tot-100  1-34 2-32 3-24 4-8 5-2
  pos: tot-1304  1-255 2-278 3-255 4-161 5-122 6-92 7-59 8-35 9-16 10-11 11-13 12-3 13-4
  ps : tot-100  1-36 2-25 3-10 4-13 5-5 6-3 7-7 8-1
Exploration time: 1587.163207
Exploration wins: 110
Exploration new examples: 2320

Generation 45
Training examples: 97336
Training unique  : 76961
Training time: 156.559328
Exploration: 200 targets 
Exploration: 1524 targets proven at least once
  neg: tot-686  1-115 2-206 3-201 4-117 5-39 6-7 7-1
  ns : tot-100  1-24 2-44 3-20 4-10 5-2
  pos: tot-1314  1-249 2-273 3-266 4-158 5-130 6-94 7-55 8-41 9-17 10-11 11-13 12-3 13-4
  ps : tot-100  1-36 2-19 3-14 4-12 5-7 6-5 7-2 8-5
Exploration time: 2983.409983
Exploration wins: 114
Exploration new examples: 2612

Generation 46
Training examples: 99948
Training unique  : 78830
Training time: 172.434678
Exploration: 200 targets 
Exploration: 1533 targets proven at least once
  neg: tot-672  1-104 2-172 3-213 4-126 5-47 6-9 7-1
  ns : tot-100  1-20 2-42 3-22 4-11 5-3 6-2
  pos: tot-1328  1-240 2-280 3-270 4-158 5-135 6-96 7-58 8-38 9-22 10-11 11-13 12-3 13-4
  ps : tot-100  1-34 2-27 3-15 4-7 5-8 6-5 7-4
Exploration time: 2037.439885
Exploration wins: 115
Exploration new examples: 2529

Generation 47
Training examples: 102477
Training unique  : 80693
Training time: 220.563955
Exploration: 200 targets 
Exploration: 1549 targets proven at least once
  neg: tot-657  1-101 2-140 3-221 4-133 5-50 6-9 7-3
  ns : tot-100  1-21 2-35 3-30 4-11 5-2 6-1
  pos: tot-1343  1-238 2-273 3-279 4-166 5-134 6-99 7-59 8-42 9-22 10-11 11-13 12-3 13-4
  ps : tot-100  1-27 2-29 3-17 4-11 5-7 6-3 7-3 8-1 9-1 10-1
Exploration time: 1874.513163
Exploration wins: 113
Exploration new examples: 2605

Generation 48
Training examples: 105082
Training unique  : 82577
Training time: 212.562507
Exploration: 200 targets 
Exploration: 1566 targets proven at least once
  neg: tot-644  1-95 2-118 3-216 4-145 5-57 6-9 7-4
  ns : tot-100  1-36 2-24 3-27 4-11 5-2
  pos: tot-1356  1-239 2-262 3-288 4-172 5-136 6-102 7-59 8-44 9-22 10-11 11-14 12-3 13-4
  ps : tot-100  1-31 2-19 3-28 4-5 5-8 6-5 7-2 8-1 11-1
Exploration time: 1528.467998
Exploration wins: 129
Exploration new examples: 2440

Generation 49
Training examples: 107522
Training unique  : 84288
Training time: 274.831576
Exploration: 200 targets 
Exploration: 1587 targets proven at least once
  neg: tot-615  1-75 2-107 3-203 4-149 5-66 6-11 7-4
  ns : tot-100  1-24 2-18 3-28 4-20 5-10
  pos: tot-1385  1-253 2-263 3-275 4-194 5-133 6-105 7-62 8-45 9-23 10-11 11-13 12-4 13-4
  ps : tot-100  1-41 2-18 3-17 4-13 5-2 6-7 8-1 9-1
Exploration time: 2589.218125
Exploration wins: 109
Exploration new examples: 2739

Generation 50
Training examples: 110261
Training unique  : 86363
Training time: 242.987716
Exploration: 200 targets 
Exploration: 1600 targets proven at least once
  neg: tot-606  1-74 2-105 3-183 4-148 5-73 6-19 7-4
  ns : tot-100  1-23 2-17 3-34 4-14 5-8 6-3 7-1
  pos: tot-1394  1-244 2-268 3-271 4-198 5-144 6-100 7-69 8-44 9-23 10-12 11-13 12-4 13-4
  ps : tot-100  1-28 2-22 3-25 4-11 5-3 6-3 7-6 8-1 10-1
Exploration time: 2468.211021
Exploration wins: 134
Exploration new examples: 2605

Generation 51
Training examples: 112866
Training unique  : 88266
Training time: 291.063409
Exploration: 200 targets 
Exploration: 1620 targets proven at least once
  neg: tot-572  1-65 2-97 3-158 4-150 5-76 6-21 7-5
  ns : tot-100  1-13 2-24 3-36 4-15 5-9 6-2 7-1
  pos: tot-1428  1-264 2-264 3-264 4-212 5-152 6-100 7-66 8-49 9-24 10-11 11-14 12-4 13-4
  ps : tot-100  1-34 2-20 3-18 4-11 5-8 6-3 7-2 8-1 10-2 13-1
Exploration time: 2189.512825
Exploration wins: 113
Exploration new examples: 2685

Generation 52
Training examples: 115551
Training unique  : 90329
Training time: 261.132931
Exploration: 200 targets 
Exploration: 1631 targets proven at least once
  neg: tot-559  1-69 2-80 3-138 4-162 5-77 6-27 7-6
  ns : tot-100  1-18 2-20 3-29 4-18 5-13 6-2
  pos: tot-1441  1-260 2-264 3-264 4-219 5-155 6-104 7-67 8-50 9-25 10-9 11-16 12-4 13-3 14-1
  ps : tot-100  1-39 2-15 3-18 4-10 5-7 6-2 7-5 8-2 11-2
Exploration time: 2096.253199
Exploration wins: 127
Exploration new examples: 2589

Generation 53
Training examples: 118140
Training unique  : 92225
Training time: 209.375031
Exploration: 200 targets 
Exploration: 1649 targets proven at least once
  neg: tot-532  1-65 2-65 3-119 4-165 5-76 6-34 7-8
  ns : tot-100  1-31 2-13 3-23 4-23 5-3 6-4 7-3
  pos: tot-1468  1-262 2-277 3-260 4-227 5-156 6-109 7-64 8-53 9-27 10-9 11-14 12-6 13-3 14-1
  ps : tot-100  1-27 2-22 3-18 4-17 5-10 6-5 8-1
Exploration time: 3038.963392
Exploration wins: 120
Exploration new examples: 2589

Generation 54
Training examples: 120729
Training unique  : 94157
Training time: 215.409914
Exploration: 200 targets 
Exploration: 1660 targets proven at least once
  neg: tot-512  1-48 2-69 3-103 4-157 5-94 6-31 7-8 8-2
  ns : tot-100  1-14 2-24 3-25 4-22 5-13 6-2
  pos: tot-1488  1-269 2-271 3-262 4-227 5-163 6-114 7-69 8-52 9-28 10-9 11-14 12-6 13-3 14-1
  ps : tot-100  1-28 2-19 3-17 4-19 5-7 6-2 7-1 8-2 9-1 11-2 12-1 13-1
Exploration time: 1889.6952
Exploration wins: 108
Exploration new examples: 2476

Generation 55
Training examples: 123205
Training unique  : 96023
Training time: 303.853567
Exploration: 200 targets 
Exploration: 1673 targets proven at least once
  neg: tot-504  1-49 2-55 3-93 4-155 5-99 6-41 7-10 8-2
  ns : tot-100  1-21 2-18 3-22 4-21 5-13 6-3 7-1 8-1
  pos: tot-1496  1-264 2-270 3-259 4-225 5-175 6-119 7-70 8-51 9-29 10-10 11-12 12-7 13-3 14-2
  ps : tot-100  1-34 2-17 3-19 4-10 5-10 6-6 7-1 8-1 9-2
Exploration time: 1790.11442
Exploration wins: 123
Exploration new examples: 2660

Generation 56
Training examples: 125865
Training unique  : 98045
Training time: 267.227529
Exploration: 200 targets 
Exploration: 1684 targets proven at least once
  neg: tot-481  1-40 2-45 3-83 4-150 5-100 6-49 7-12 8-2
  ns : tot-100  1-13 2-16 3-20 4-29 5-16 6-4 7-2
  pos: tot-1519  1-265 2-279 3-254 4-234 5-174 6-123 7-75 8-51 9-28 10-12 11-12 12-7 13-3 14-2
  ps : tot-100  1-41 2-15 3-15 4-8 5-6 6-8 7-2 8-2 9-1 11-2
Exploration time: 2749.899293
Exploration wins: 93
Exploration new examples: 2790

Generation 57
Training examples: 128655
Training unique  : 100237
Training time: 286.247199
Exploration: 200 targets 
Exploration: 1691 targets proven at least once
  neg: tot-488  1-52 2-38 3-76 4-135 5-109 6-60 7-14 8-4
  ns : tot-100  1-25 2-10 3-20 4-21 5-13 6-9 7-2
  pos: tot-1512  1-242 2-287 3-249 4-240 5-175 6-121 7-81 8-51 9-29 10-13 11-10 12-9 13-3 14-2
  ps : tot-100  1-32 2-22 3-18 4-11 5-7 6-5 7-4 9-1
Exploration time: 2285.761531
Exploration wins: 133
Exploration new examples: 2537

Generation 58
Training examples: 131192
Training unique  : 102098
Training time: 298.681159
Exploration: 200 targets 
Exploration: 1707 targets proven at least once
  neg: tot-455  1-36 2-38 3-61 4-125 5-110 6-61 7-18 8-6
  ns : tot-100  1-18 2-13 3-10 4-26 5-24 6-8 8-1
  pos: tot-1545  1-252 2-289 3-252 4-247 5-179 6-123 7-82 8-55 9-28 10-14 11-10 12-9 13-3 14-2
  ps : tot-100  1-30 2-27 3-16 4-7 5-6 6-8 7-2 8-2 10-1 13-1
Exploration time: 1729.974855
Exploration wins: 111
Exploration new examples: 2573

Generation 59
Training examples: 133765
Training unique  : 104011
Training time: 282.427597
Exploration: 200 targets 
Exploration: 1718 targets proven at least once
  neg: tot-444  1-36 2-33 3-58 4-106 5-108 6-73 7-24 8-5 9-1
  ns : tot-100  1-17 2-9 3-10 4-28 5-17 6-17 8-1 9-1
  pos: tot-1556  1-251 2-280 3-258 4-255 5-180 6-121 7-88 8-55 9-30 10-13 11-11 12-9 13-2 14-3
  ps : tot-100  1-29 2-26 3-11 4-10 5-9 6-6 7-5 8-2 9-1 11-1
Exploration time: 2168.466217
Exploration wins: 119
Exploration new examples: 2634

Generation 60
Training examples: 136399
Training unique  : 105921
Training time: 297.148079
Exploration: 200 targets 
Exploration: 1728 targets proven at least once
  neg: tot-425  1-32 2-34 3-51 4-85 5-106 6-70 7-41 8-4 9-1 10-1
  ns : tot-100  1-18 2-15 3-15 4-18 5-18 6-10 7-4 8-2
  pos: tot-1575  1-254 2-272 3-273 4-255 5-180 6-124 7-89 8-58 9-31 10-14 11-10 12-10 13-2 14-3
  ps : tot-100  1-25 2-24 3-20 4-18 5-5 6-4 7-2 9-2
Exploration time: 3453.585052
Exploration wins: 132
Exploration new examples: 2625

Generation 61
Training examples: 139024
Training unique  : 107762
Training time: 324.175241
Exploration: 200 targets 
Exploration: 1744 targets proven at least once
  neg: tot-393  1-24 2-27 3-43 4-74 5-100 6-74 7-41 8-6 9-3 10-1
  ns : tot-100  1-19 2-11 3-13 4-14 5-21 6-16 7-6
  pos: tot-1607  1-271 2-263 3-277 4-257 5-193 6-125 7-91 8-60 9-29 10-16 11-10 12-10 13-2 14-3
  ps : tot-100  1-35 2-20 3-16 4-11 5-10 6-4 7-2 8-1 10-1
Exploration time: 1853.466342
Exploration wins: 102
Exploration new examples: 2720

Generation 62
Training examples: 141744
Training unique  : 109865
Training time: 318.592737
Exploration: 200 targets 
Exploration: 1753 targets proven at least once
  neg: tot-391  1-28 2-27 3-37 4-69 5-90 6-75 7-49 8-12 9-3 10-1
  ns : tot-100  1-20 2-15 3-8 4-14 5-20 6-14 7-6 8-2 9-1
  pos: tot-1609  1-261 2-261 3-277 4-261 5-193 6-131 7-93 8-61 9-30 10-15 11-11 12-10 13-2 14-3
  ps : tot-100  1-34 2-18 3-24 4-12 5-5 6-4 7-1 8-2
Exploration time: 3101.372443
Exploration wins: 96
Exploration new examples: 2822

Generation 63
Training examples: 144566
Training unique  : 112014
Training time: 320.146259
Exploration: 200 targets 
Exploration: 1760 targets proven at least once
  neg: tot-395  1-37 2-23 3-40 4-63 5-80 6-78 7-54 8-15 9-4 10-1
  ns : tot-100  1-20 2-12 3-15 4-12 5-12 6-17 7-10 8-2
  pos: tot-1605  1-252 2-257 3-267 4-271 5-198 6-131 7-96 8-60 9-32 10-15 11-11 12-10 13-2 14-3
  ps : tot-100  1-33 2-23 3-14 4-14 5-5 6-5 7-3 8-1 9-1 11-1
Exploration time: 1878.551284
Exploration wins: 110
Exploration new examples: 2590

Generation 64
Training examples: 147156
Training unique  : 113913
Training time: 354.74468
Exploration: 200 targets 
Exploration: 1766 targets proven at least once
  neg: tot-385  1-35 2-19 3-35 4-60 5-78 6-71 7-59 8-21 9-6 10-1
  ns : tot-100  1-26 2-6 3-14 4-16 5-13 6-11 7-12 8-1 9-1
  pos: tot-1615  1-247 2-253 3-272 4-271 5-207 6-131 7-98 8-62 9-32 10-16 11-10 12-11 13-2 14-3
  ps : tot-100  1-27 2-21 3-26 4-15 5-2 6-5 7-2 9-1 10-1
Exploration time: 1990.692824
Exploration wins: 96
Exploration new examples: 2748

Generation 65
Training examples: 149904
Training unique  : 115908
Training time: 372.470088
Exploration: 200 targets 
Exploration: 1769 targets proven at least once
  neg: tot-389  1-34 2-29 3-25 4-52 5-79 6-72 7-58 8-32 9-6 10-2
  ns : tot-100  1-23 2-14 3-9 4-12 5-18 6-14 7-8 8-1 10-1
  pos: tot-1611  1-241 2-245 3-260 4-279 5-219 6-128 7-101 8-64 9-31 10-16 11-11 12-11 13-2 14-3
  ps : tot-100  1-29 2-17 3-16 4-16 5-8 6-6 7-5 8-3
Exploration time: 2356.102537
Exploration wins: 126
Exploration new examples: 2569

Generation 66
Training examples: 152473
Training unique  : 117756
Training time: 326.239973
Exploration: 200 targets 
Exploration: 1779 targets proven at least once
  neg: tot-363  1-26 2-21 3-24 4-44 5-69 6-72 7-61 8-38 9-7 10-1
  ns : tot-100  1-23 2-9 3-8 4-11 5-9 6-14 7-12 8-12 9-2
  pos: tot-1637  1-253 2-247 3-258 4-278 5-227 6-129 7-102 8-66 9-34 10-16 11-11 12-11 13-2 14-3
  ps : tot-100  1-39 2-14 3-20 4-16 5-5 6-3 7-1 8-1 11-1
Exploration time: 2471.281764
Exploration wins: 102
Exploration new examples: 2684

Generation 67
Training examples: 155157
Training unique  : 119672
Training time: 346.916307
Exploration: 200 targets 
Exploration: 1786 targets proven at least once
  neg: tot-361  1-29 2-21 3-24 4-39 5-68 6-65 7-61 8-36 9-16 10-2
  ns : tot-100  1-20 2-8 3-7 4-13 5-16 6-11 7-17 8-5 9-2 10-1
  pos: tot-1639  1-242 2-251 3-251 4-278 5-238 6-131 7-104 8-66 9-35 10-16 11-10 12-12 13-2 14-3
  ps : tot-100  1-31 2-21 3-11 4-18 5-7 6-4 7-5 8-2 11-1
Exploration time: 1731.232539
Exploration wins: 112
Exploration new examples: 2648

Generation 68
Training examples: 157805
Training unique  : 121548
Training time: 356.73419
Exploration: 200 targets 
Exploration: 1797 targets proven at least once
  neg: tot-349  1-30 2-23 3-20 4-31 5-60 6-68 7-54 8-41 9-18 10-3 11-1
  ns : tot-100  1-26 2-9 3-12 4-9 5-16 6-10 7-9 8-6 9-2 10-1
  pos: tot-1651  1-244 2-244 3-257 4-271 5-249 6-134 7-103 8-69 9-37 10-16 11-9 12-13 13-2 14-3
  ps : tot-100  1-29 2-23 3-15 4-10 5-14 6-3 7-2 8-2 11-1 12-1
Exploration time: 2103.019123
Exploration wins: 117
Exploration new examples: 2554

Generation 69
Training examples: 160359
Training unique  : 123373
Training time: 317.873614
Exploration: 200 targets 
Exploration: 1804 targets proven at least once
  neg: tot-332  1-19 2-30 3-15 4-30 5-49 6-68 7-51 8-42 9-22 10-4 11-2
  ns : tot-100  1-17 2-15 3-7 4-7 5-15 6-17 7-10 8-8 9-4
  pos: tot-1668  1-247 2-239 3-262 4-275 5-245 6-145 7-104 8-69 9-39 10-16 11-8 12-13 13-3 14-3
  ps : tot-100  1-25 2-17 3-17 4-16 5-16 6-3 7-2 8-1 9-2 12-1
Exploration time: 1414.241375
Exploration wins: 108
Exploration new examples: 2718

Generation 70
Training examples: 163077
Training unique  : 125396
Training time: 405.481696
Exploration: 200 targets 
Exploration: 1812 targets proven at least once
  neg: tot-324  1-23 2-23 3-15 4-28 5-41 6-63 7-55 8-41 9-25 10-8 11-2
  ns : tot-100  1-20 2-14 3-11 4-10 5-13 6-11 7-8 8-4 9-7 10-1 11-1
  pos: tot-1676  1-251 2-236 3-256 4-273 5-244 6-158 7-105 8-70 9-38 10-18 11-8 12-12 13-4 14-3
  ps : tot-100  1-27 2-26 3-13 4-15 5-6 6-7 7-2 8-3 12-1
Exploration time: 2299.90544
Exploration wins: 113
Exploration new examples: 2631

Generation 71
Training examples: 165708
Training unique  : 127280
Training time: 376.407246
Exploration: 200 targets 
Exploration: 1819 targets proven at least once
  neg: tot-311  1-22 2-18 3-14 4-25 5-35 6-57 7-57 8-45 9-22 10-13 11-2 12-1
  ns : tot-100  1-22 2-12 3-6 4-10 5-10 6-12 7-14 8-6 9-5 10-3
  pos: tot-1689  1-256 2-225 3-264 4-271 5-253 6-155 7-110 8-69 9-41 10-18 11-8 12-11 13-5 14-3
  ps : tot-100  1-40 2-13 3-12 4-14 5-10 6-6 7-5
Exploration time: 2324.504298
Exploration wins: 117
Exploration new examples: 2670

Generation 72
Training examples: 168378
Training unique  : 129224
Training time: 403.873381
Exploration: 200 targets 
Exploration: 1821 targets proven at least once
  neg: tot-294  1-16 2-18 3-11 4-15 5-33 6-50 7-55 8-52 9-23 10-15 11-5 12-1
  ns : tot-100  1-16 2-13 3-3 4-3 5-11 6-16 7-15 8-16 9-6 10-1
  pos: tot-1706  1-249 2-238 3-265 4-268 5-257 6-159 7-110 8-74 9-41 10-18 11-8 12-11 13-5 14-3
  ps : tot-100  1-29 2-28 3-15 4-12 5-7 6-5 7-1 8-1 9-1 13-1
Exploration time: 2938.760372
Exploration wins: 109
Exploration new examples: 2658

Generation 73
Training examples: 171036
Training unique  : 131212
Training time: 413.554759
Exploration: 200 targets 
Exploration: 1828 targets proven at least once
  neg: tot-285  1-16 2-14 3-16 4-15 5-25 6-42 7-50 8-50 9-30 10-20 11-6 12-1
  ns : tot-100  1-16 2-9 3-11 4-5 5-10 6-11 7-14 8-14 9-6 10-3 11-1
  pos: tot-1715  1-245 2-231 3-272 4-270 5-261 6-161 7-114 8-74 9-41 10-19 11-8 12-11 13-4 14-4
  ps : tot-100  1-31 2-14 3-16 4-11 5-14 6-5 7-4 8-1 9-1 10-1 12-2
Exploration time: 1415.918881
Exploration wins: 121
Exploration new examples: 2666

Generation 74
Training examples: 173702
Training unique  : 133097
Training time: 443.49814
Exploration: 200 targets 
Exploration: 1842 targets proven at least once
  neg: tot-264  1-21 2-12 3-9 4-16 5-18 6-37 7-43 8-43 9-33 10-22 11-8 12-2
  ns : tot-100  1-21 2-10 3-5 4-8 5-9 6-9 7-12 8-15 9-5 10-4 11-2
  pos: tot-1736  1-256 2-232 3-268 4-273 5-258 6-169 7-115 8-77 9-41 10-19 11-9 12-9 13-6 14-4
  ps : tot-100  1-27 2-22 3-13 4-11 5-13 6-7 7-5 8-1 12-1
Exploration time: 1977.272332
Exploration wins: 106
Exploration new examples: 2681

Generation 75
Training examples: 176383
Training unique  : 135094
Training time: 436.442098
Exploration: 200 targets 
Exploration: 1851 targets proven at least once
  neg: tot-258  1-29 2-14 3-7 4-10 5-14 6-34 7-38 8-38 9-39 10-22 11-9 12-4
  ns : tot-100  1-29 2-9 3-4 4-4 5-7 6-16 7-10 8-11 9-5 10-5
  pos: tot-1742  1-264 2-220 3-270 4-272 5-255 6-174 7-117 8-81 9-42 10-19 11-9 12-8 13-7 14-4
  ps : tot-100  1-34 2-18 3-17 4-11 5-6 6-7 7-3 8-1 9-2 12-1
Exploration time: 2500.79713
Exploration wins: 107
Exploration new examples: 2979

Generation 76
Training examples: 179362
Training unique  : 137258

Generation 76
Training examples: 179362
Training unique  : 137258
Training time: 420.096086
Exploration: 200 targets 
Exploration: 1856 targets proven at least once
  neg: tot-251  1-19 2-22 3-7 4-9 5-11 6-24 7-41 8-35 9-43 10-22 11-14 12-4
  ns : tot-100  1-19 2-18 3-4 4-6 5-5 6-7 7-11 8-7 9-17 10-4 11-1 12-1
  pos: tot-1749  1-256 2-221 3-267 4-278 5-260 6-173 7-121 8-83 9-41 10-21 11-9 12-7 13-8 14-4
  ps : tot-100  1-27 2-16 3-22 4-12 5-7 6-9 7-2 8-3 9-1 13-1
Exploration time: 1063.114521
Exploration wins: 91
Exploration new examples: 2565

Generation 77
Training examples: 181927
Training unique  : 139109
Training time: 419.958387
Exploration: 200 targets 
Exploration: 1860 targets proven at least once
  neg: tot-260  1-23 2-21 3-17 4-6 5-12 6-22 7-35 8-37 9-32 10-33 11-17 12-4 13-1
  ns : tot-100  1-23 2-15 3-11 4-2 5-6 6-7 7-6 8-11 9-7 10-7 11-2 12-3
  pos: tot-1740  1-243 2-217 3-256 4-287 5-264 6-170 7-128 8-82 9-43 10-22 11-9 12-7 13-7 14-5
  ps : tot-100  1-29 2-20 3-15 4-14 5-11 6-4 7-4 8-2 9-1
Exploration time: 1171.078043
Exploration wins: 121
Exploration new examples: 2625

Generation 78
Training examples: 184552
Training unique  : 140905
Training time: 443.518549
Exploration: 200 targets 
Exploration: 1867 targets proven at least once
  neg: tot-239  1-14 2-15 3-15 4-10 5-8 6-20 7-34 8-31 9-34 10-33 11-20 12-3 13-2
  ns : tot-100  1-14 2-14 3-9 4-4 5-4 6-8 7-9 8-16 9-10 10-7 11-5
  pos: tot-1761  1-249 2-218 3-255 4-288 5-267 6-177 7-128 8-84 9-44 10-23 11-9 12-7 13-7 14-5
  ps : tot-100  1-33 2-23 3-15 4-11 5-10 6-4 7-2 8-1 9-1
Exploration time: 1410.324457
Exploration wins: 92
Exploration new examples: 2811

Generation 79
Training examples: 187363
Training unique  : 142986
Training time: 435.522868
Exploration: 200 targets 
Exploration: 1869 targets proven at least once
  neg: tot-247  1-24 2-10 3-17 4-13 5-7 6-15 7-32 8-23 9-39 10-36 11-21 12-8 13-2
  ns : tot-100  1-24 2-8 3-14 4-6 5-5 6-5 7-12 8-5 9-8 10-7 11-4 12-2
  pos: tot-1753  1-232 2-212 3-257 4-290 5-268 6-183 7-130 8-85 9-44 10-24 11-9 12-7 13-7 14-5
  ps : tot-100  1-22 2-24 3-16 4-13 5-14 6-4 7-4 8-2 9-1
Exploration time: 1258.198442
Exploration wins: 116
Exploration new examples: 2619

Generation 80
Training examples: 189982
Training unique  : 144736
Training time: 443.408811
Exploration: 200 targets 
Exploration: 1873 targets proven at least once
  neg: tot-231  1-13 2-17 3-7 4-16 5-6 6-15 7-23 8-26 9-36 10-36 11-24 12-9 13-3
  ns : tot-100  1-13 2-16 3-5 4-10 5-3 6-9 7-6 8-8 9-10 10-12 11-5 12-2 13-1
  pos: tot-1769  1-239 2-202 3-261 4-292 5-267 6-193 7-130 8-87 9-45 10-25 11-9 12-7 13-7 14-5
  ps : tot-100  1-28 2-11 3-19 4-16 5-10 6-5 7-6 8-3 10-1 11-1
Exploration time: 1545.05193
Exploration wins: 102
Exploration new examples: 2763

Generation 81
Training examples: 192745
Training unique  : 146743
Training time: 429.619031
Exploration: 200 targets 
Exploration: 1878 targets proven at least once
  neg: tot-229  1-18 2-10 3-14 4-9 5-11 6-8 7-25 8-22 9-32 10-33 11-31 12-11 13-4 14-1
  ns : tot-100  1-18 2-10 3-12 4-4 5-4 6-2 7-8 8-5 9-9 10-12 11-9 12-7
  pos: tot-1771  1-231 2-207 3-252 4-291 5-272 6-198 7-129 8-90 9-48 10-24 11-9 12-8 13-7 14-5
  ps : tot-100  1-26 2-19 3-16 4-16 5-10 6-3 7-4 8-3 9-1 10-1 12-1
Exploration time: 1369.896152
Exploration wins: 96
Exploration new examples: 2691

Generation 82
Training examples: 195436
Training unique  : 148775
Training time: 459.746403
Exploration: 200 targets 
Exploration: 1883 targets proven at least once
  neg: tot-233  1-31 2-12 3-8 4-13 5-10 6-9 7-18 8-21 9-26 10-29 11-33 12-11 13-11 14-1
  ns : tot-100  1-31 2-7 3-7 4-6 5-4 6-4 7-8 8-6 9-8 10-10 11-6 12-1 13-2
  pos: tot-1767  1-232 2-198 3-244 4-287 5-278 6-205 7-128 8-91 9-50 10-24 11-10 12-7 13-8 14-5
  ps : tot-100  1-28 2-12 3-21 4-9 5-12 6-11 7-3 8-3 10-1
Exploration time: 1513.470091
Exploration wins: 110
Exploration new examples: 2783

Generation 83
Training examples: 198219
Training unique  : 150776
Training time: 450.868772
Exploration: 200 targets 
Exploration: 1885 targets proven at least once
  neg: tot-223  1-24 2-17 3-4 4-12 5-11 6-8 7-12 8-20 9-24 10-27 11-36 12-15 13-10 14-3
  ns : tot-100  1-24 2-17 3-2 4-10 5-8 6-3 7-2 8-5 9-8 10-9 11-5 12-3 13-4
  pos: tot-1777  1-238 2-197 3-233 4-295 5-275 6-206 7-135 8-91 9-53 10-23 11-11 12-7 13-8 14-5
  ps : tot-100  1-35 2-13 3-18 4-13 5-7 6-6 7-3 8-1 9-3 10-1
Exploration time: 1223.392829
Exploration wins: 98
Exploration new examples: 2688

Generation 84
Training examples: 200000
Training unique  : 151961
Training time: 481.166341
Exploration: 200 targets 
Exploration: 1887 targets proven at least once
  neg: tot-225  1-19 2-18 3-15 4-3 5-10 6-12 7-13 8-17 9-20 10-26 11-39 12-17 13-9 14-7
  ns : tot-100  1-19 2-18 3-13 4-2 5-3 6-5 7-3 8-6 9-5 10-7 11-12 12-5 13-2
  pos: tot-1775  1-220 2-203 3-225 4-300 5-281 6-207 7-138 8-93 9-51 10-25 11-12 12-7 13-8 14-5
  ps : tot-100  1-25 2-16 3-9 4-19 5-12 6-7 7-5 8-3 9-1 10-1 11-1 13-1
Exploration time: 1432.345161
Exploration wins: 92
Exploration new examples: 2717

Generation 85
Training examples: 200000
Training unique  : 151407
Training time: 412.706528
Exploration: 200 targets 
Exploration: 1889 targets proven at least once
  neg: tot-233  1-26 2-11 3-19 4-11 5-9 6-9 7-14 8-13 9-21 10-22 11-34 12-24 13-12 14-8
  ns : tot-100  1-26 2-10 3-16 4-5 5-3 6-3 7-1 8-6 9-3 10-8 11-11 12-7 14-1
  pos: tot-1767  1-213 2-194 3-227 4-289 5-287 6-212 7-140 8-95 9-52 10-25 11-12 12-8 13-7 14-6
  ps : tot-100  1-35 2-12 3-13 4-17 5-10 6-5 7-5 8-1 9-1 10-1
Exploration time: 1034.977767
Exploration wins: 101
Exploration new examples: 2530

Generation 86
Training examples: 200000
Training unique  : 151014
Training time: 474.157811
Exploration: 200 targets 
Exploration: 1891 targets proven at least once
  neg: tot-232  1-28 2-14 3-8 4-17 5-9 6-9 7-14 8-8 9-24 10-17 11-31 12-26 13-19 14-7 15-1
  ns : tot-100  1-28 2-12 3-5 4-10 5-6 6-5 7-4 8-3 9-4 10-2 11-7 12-5 13-6 14-3
  pos: tot-1768  1-207 2-199 3-222 4-283 5-291 6-217 7-140 8-98 9-52 10-25 11-13 12-8 13-7 14-6
  ps : tot-100  1-27 2-18 3-18 4-16 5-4 6-3 7-5 8-4 9-2 10-2 11-1
Exploration time: 1625.477886
Exploration wins: 107
Exploration new examples: 2762

Generation 87
Training examples: 200000
Training unique  : 150529
Training time: 432.812062
Exploration: 200 targets 
Exploration: 1893 targets proven at least once
  neg: tot-225  1-28 2-14 3-8 4-9 5-9 6-8 7-15 8-8 9-22 10-19 11-26 12-28 13-18 14-10 15-3
  ns : tot-100  1-28 2-14 3-6 4-5 5-5 6-3 7-8 8-1 9-7 10-4 11-9 12-9 13-1
  pos: tot-1775  1-215 2-189 3-217 4-283 5-301 6-218 7-138 8-99 9-54 10-25 11-14 12-9 13-7 14-6
  ps : tot-100  1-27 2-12 3-21 4-13 5-10 6-6 7-7 8-1 9-3
Exploration time: 1429.773173
Exploration wins: 104
Exploration new examples: 2667

Generation 88
Training examples: 200000
Training unique  : 150173
Training time: 459.502872
Exploration: 200 targets 
Exploration: 1899 targets proven at least once
  neg: tot-221  1-29 2-15 3-10 4-8 5-8 6-9 7-8 8-14 9-16 10-19 11-20 12-26 13-25 14-11 15-3
  ns : tot-100  1-29 2-15 3-7 4-5 5-4 6-4 7-3 8-1 9-4 10-7 11-7 12-3 13-4 14-4 15-3
  pos: tot-1779  1-221 2-186 3-203 4-286 5-303 6-222 7-137 8-105 9-52 10-28 11-14 12-9 13-7 14-6
  ps : tot-100  1-23 2-24 3-15 4-15 5-12 6-9 8-1 12-1
Exploration time: 1146.72863
Exploration wins: 119
Exploration new examples: 2636

Generation 89
Training examples: 200000
Training unique  : 149943
Training time: 510.681002
Exploration: 200 targets 
Exploration: 1906 targets proven at least once
  neg: tot-202  1-19 2-14 3-8 4-8 5-8 6-7 7-9 8-16 9-13 10-15 11-18 12-27 13-24 14-11 15-2 16-3
  ns : tot-100  1-19 2-14 3-8 4-7 5-5 6-4 7-2 8-8 9-4 10-5 11-4 12-9 13-7 14-4
  pos: tot-1798  1-236 2-176 3-206 4-284 5-305 6-224 7-146 8-104 9-53 10-28 11-14 12-8 13-8 14-6
  ps : tot-100  1-36 2-11 3-14 4-11 5-12 6-7 7-3 8-4 9-1 10-1
Exploration time: 1188.703912
Exploration wins: 96
Exploration new examples: 2685

Generation 90
Training examples: 200000
Training unique  : 149918
Training time: 486.536776
Exploration: 200 targets 
Exploration: 1910 targets proven at least once
  neg: tot-206  1-32 2-13 3-8 4-7 5-8 6-7 7-9 8-10 9-12 10-14 11-18 12-20 13-26 14-13 15-6 16-3
  ns : tot-100  1-32 2-13 3-7 4-3 5-4 6-4 7-3 8-6 9-6 10-4 11-5 12-5 13-2 14-5 15-1
  pos: tot-1794  1-228 2-179 3-198 4-284 5-302 6-229 7-150 8-103 9-56 10-28 11-15 12-8 13-8 14-6
  ps : tot-100  1-28 2-16 3-9 4-10 5-10 6-13 7-7 8-5 9-2
Exploration time: 2020.820626
Exploration wins: 112
Exploration new examples: 2686

Generation 91
Training examples: 200000
Training unique  : 150118
Training time: 435.735016
Exploration: 200 targets 
Exploration: 1913 targets proven at least once
  neg: tot-194  1-21 2-20 3-8 4-11 5-5 6-7 7-8 8-7 9-8 10-13 11-15 12-18 13-29 14-10 15-10 16-4
  ns : tot-100  1-21 2-20 3-7 4-9 5-4 6-3 7-2 8-2 9-4 10-8 11-3 12-5 13-7 14-1 15-4
  pos: tot-1806  1-233 2-177 3-202 4-281 5-301 6-226 7-155 8-105 9-59 10-30 11-15 12-8 13-8 14-6
  ps : tot-100  1-25 2-16 3-16 4-11 5-13 6-9 7-6 8-2 9-1 11-1
Exploration time: 1511.682589
Exploration wins: 87
Exploration new examples: 2615

Generation 92
Training examples: 200000
Training unique  : 150051
Training time: 443.745741
Exploration: 200 targets 
Exploration: 1917 targets proven at least once
  neg: tot-207  1-30 2-17 3-15 4-9 5-8 6-8 7-9 8-7 9-6 10-9 11-17 12-16 13-25 14-16 15-7 16-8
  ns : tot-100  1-30 2-17 3-11 4-7 5-2 6-2 7-4 8-3 10-5 11-3 12-6 13-7 14-1 16-2
  pos: tot-1793  1-225 2-168 3-196 4-280 5-299 6-230 7-158 8-109 9-60 10-31 11-14 12-9 13-8 14-6
  ps : tot-100  1-31 2-8 3-11 4-13 5-15 6-9 7-6 8-5 9-1 10-1
Exploration time: 2359.884762
Exploration wins: 120
Exploration new examples: 2749

Generation 93
Training examples: 200000
Training unique  : 150124
Training time: 420.333044
Exploration: 200 targets 
Exploration: 1917 targets proven at least once
  neg: tot-187  1-26 2-7 3-12 4-8 5-10 6-7 7-6 8-7 9-7 10-4 11-19 12-13 13-24 14-21 15-8 16-6 17-2
  ns : tot-100  1-26 2-7 3-11 4-6 5-6 6-6 7-4 8-5 9-3 10-1 11-14 12-1 13-8 14-1 15-1
  pos: tot-1813  1-240 2-171 3-190 4-275 5-297 6-236 7-161 8-110 9-64 10-31 11-15 12-9 13-8 14-6
  ps : tot-100  1-29 2-16 3-13 4-17 5-10 6-8 7-5 8-1 9-1
Exploration time: 1371.797553
Exploration wins: 118
Exploration new examples: 2755

Generation 94
Training examples: 200000
Training unique  : 150329
Training time: 483.901797
Exploration: 200 targets 
Exploration: 1921 targets proven at least once
  neg: tot-169  1-18 2-15 3-4 4-9 5-9 6-5 7-6 8-4 9-7 10-6 11-5 12-21 13-17 14-27 15-8 16-6 17-2
  ns : tot-100  1-18 2-15 3-4 4-9 5-8 6-3 7-5 8-2 9-3 10-3 11-1 12-8 13-6 14-9 15-3 16-2 17-1
  pos: tot-1831  1-247 2-175 3-189 4-268 5-302 6-238 7-164 8-114 9-64 10-32 11-15 12-9 13-8 14-6
  ps : tot-100  1-27 2-10 3-13 4-9 5-17 6-10 7-5 8-6 9-1 11-2
Exploration time: 1389.459347
Exploration wins: 111
Exploration new examples: 2703

Generation 95
Training examples: 200000
Training unique  : 150358
Training time: 468.08406
Exploration: 200 targets 
Exploration: 1922 targets proven at least once
  neg: tot-158  1-18 2-10 3-7 4-2 5-7 6-5 7-3 8-7 9-6 10-6 11-7 12-14 13-19 14-24 15-12 16-7 17-3 18-1
  ns : tot-100  1-18 2-10 3-7 4-2 5-7 6-5 7-2 8-7 9-4 10-2 11-3 12-6 13-9 14-10 15-5 16-2 17-1
  pos: tot-1842  1-249 2-179 3-184 4-271 5-294 6-243 7-169 8-113 9-69 10-33 11-13 12-11 13-8 14-6
  ps : tot-100  1-26 2-16 3-8 4-16 5-13 6-11 7-4 8-3 9-2 13-1
Exploration time: 1681.276875
Exploration wins: 90
Exploration new examples: 2807

Generation 96
Training examples: 200000
Training unique  : 150819
Training time: 474.669014
Exploration: 200 targets 
Exploration: 1926 targets proven at least once
  neg: tot-168  1-34 2-10 3-7 4-4 6-5 7-6 8-2 9-9 10-6 11-6 12-11 13-16 14-21 15-15 16-10 17-4 18-2
  ns : tot-100  1-34 2-10 3-7 4-4 6-2 7-3 9-5 10-2 11-3 12-5 13-3 14-9 15-7 16-4 17-1 18-1
  pos: tot-1832  1-247 2-170 3-182 4-260 5-296 6-244 7-176 8-114 9-70 10-35 11-13 12-11 13-7 14-7
  ps : tot-100  1-32 2-10 3-12 4-12 5-11 6-9 7-5 8-6 9-2 11-1
Exploration time: 2196.67779
Exploration wins: 113
Exploration new examples: 2688

Generation 97
Training examples: 200000
Training unique  : 151073
Training time: 449.098115
Exploration: 200 targets 
Exploration: 1927 targets proven at least once
  neg: tot-155  1-18 2-14 3-7 4-3 5-3 6-3 7-5 8-3 9-4 10-9 11-5 12-9 13-17 14-15 15-17 16-13 17-7 18-2 19-1
  ns : tot-100  1-18 2-14 3-7 4-3 5-3 6-3 7-4 8-2 9-3 10-6 11-5 12-6 13-7 14-4 15-6 16-5 17-4
  pos: tot-1845  1-246 2-180 3-179 4-258 5-295 6-246 7-180 8-113 9-73 10-37 11-12 12-12 13-7 14-7
  ps : tot-100  1-24 2-10 3-15 4-20 5-14 6-5 7-7 8-1 9-4
Exploration time: 1945.696069
Exploration wins: 99
Exploration new examples: 2813

Generation 98
Training examples: 200000
Training unique  : 151135
Training time: 452.80887
Exploration: 200 targets 
Exploration: 1930 targets proven at least once
  neg: tot-156  1-17 2-14 3-8 4-6 5-3 6-2 7-4 8-5 9-3 10-6 11-5 12-7 13-16 14-16 15-15 16-14 17-8 18-6 19-1
  ns : tot-100  1-17 2-14 3-8 4-6 5-3 6-1 7-3 8-3 9-1 10-4 11-3 12-1 13-10 14-6 15-4 16-8 17-4 18-3 19-1
  pos: tot-1844  1-238 2-180 3-173 4-252 5-300 6-255 7-178 8-119 9-70 10-41 11-12 12-12 13-7 14-7
  ps : tot-100  1-38 2-16 3-8 4-8 5-9 6-8 7-8 8-5
Exploration time: 2232.181799
Exploration wins: 102
Exploration new examples: 2915

Generation 99
Training examples: 200000
Training unique  : 151393
Training time: 424.152002
Exploration: 200 targets 
Exploration: 1934 targets proven at least once
  neg: tot-154  1-26 2-12 3-7 4-4 5-3 6-3 7-1 8-5 9-4 10-3 11-5 12-9 13-6 14-18 15-15 16-10 17-12 18-7 19-3 20-1
  ns : tot-100  1-26 2-12 3-7 4-4 5-3 6-3 7-1 8-2 9-3 10-3 11-1 12-4 13-3 14-7 15-10 16-5 17-3 18-2 19-1
  pos: tot-1846  1-228 2-181 3-177 4-251 5-299 6-256 7-178 8-122 9-75 10-41 11-12 12-12 13-7 14-7
  ps : tot-100  1-21 2-15 3-11 4-8 5-18 6-14 7-5 8-6 9-1 13-1
Exploration time: 1372.125492
Exploration wins: 99
Exploration new examples: 2766

Generation 100
Training examples: 200000
Training unique  : 151759
Training time: 490.000576
Exploration: 200 targets 
Exploration: 1937 targets proven at least once
  neg: tot-155  1-25 2-18 3-7 4-3 5-3 6-3 7-2 8-4 9-2 10-3 11-6 12-6 13-7 14-14 15-11 16-14 17-14 18-7 19-4 20-2
  ns : tot-100  1-25 2-18 3-7 4-3 5-3 6-3 7-1 8-2 9-2 10-2 11-3 12-2 13-2 14-6 15-6 16-6 17-6 19-2 20-1
  pos: tot-1845  1-231 2-173 3-175 4-252 5-289 6-259 7-185 8-121 9-80 10-42 11-12 12-12 13-6 14-8
  ps : tot-100  1-23 2-14 3-14 4-14 5-19 6-8 7-4 9-2 10-2
Exploration time: 1213.275126
Exploration wins: 89
Exploration new examples: 2498

Generation 101
Training examples: 200000
Training unique  : 152200
Training time: 482.092503
Exploration: 200 targets 
Exploration: 1937 targets proven at least once
  neg: tot-166  1-30 2-12 3-16 4-6 5-3 6-1 7-3 8-3 9-2 10-3 11-5 12-7 13-7 14-10 15-11 16-14 17-14 18-13 19-2 20-3 21-1
  ns : tot-100  1-30 2-12 3-16 4-6 5-3 6-1 7-2 8-2 9-1 10-2 11-2 12-2 13-2 14-3 15-4 16-3 17-4 18-2 20-2 21-1
  pos: tot-1834  1-227 2-167 3-166 4-249 5-283 6-268 7-189 8-125 9-78 10-42 11-14 12-12 13-6 14-8
  ps : tot-100  1-22 2-10 3-7 4-18 5-16 6-15 7-3 8-7 12-1 13-1
Exploration time: 1698.882858
Exploration wins: 116
Exploration new examples: 2774

Generation 102
Training examples: 200000
Training unique  : 152257
Training time: 434.39495
Exploration: 200 targets 
Exploration: 1938 targets proven at least once
  neg: tot-150  1-16 2-9 3-10 4-11 5-5 6-3 7-2 8-3 9-2 10-2 11-4 12-7 13-7 14-9 15-9 16-15 17-13 18-15 19-4 20-1 21-2 22-1
  ns : tot-100  1-16 2-9 3-10 4-11 5-5 6-3 7-2 8-3 9-2 10-2 11-1 12-2 13-3 14-5 15-4 16-7 17-5 18-7 19-2 20-1
  pos: tot-1850  1-237 2-167 3-168 4-236 5-285 6-268 7-201 8-121 9-85 10-42 11-14 12-11 13-6 14-9
  ps : tot-100  1-33 2-15 3-15 4-9 5-5 6-13 7-5 8-1 9-3 10-1
Exploration time: 1789.062866
Exploration wins: 110
Exploration new examples: 2853

Generation 103
Training examples: 200000
Training unique  : 152527
Training time: 436.91491
Exploration: 200 targets 
Exploration: 1941 targets proven at least once
  neg: tot-140  1-23 2-8 3-6 4-5 5-6 6-2 7-2 8-2 9-3 10-2 11-3 12-5 13-6 14-7 15-9 16-11 17-14 18-12 19-8 20-2 21-3 22-1
  ns : tot-100  1-23 2-8 3-6 4-5 5-6 6-2 7-2 8-2 9-3 10-1 11-2 12-5 13-3 14-4 15-4 16-6 17-4 18-7 19-3 20-2 21-1 22-1
  pos: tot-1860  1-237 2-168 3-165 4-239 5-289 6-260 7-209 8-125 9-83 10-44 11-15 12-11 13-6 14-9
  ps : tot-100  1-25 2-9 3-12 4-13 5-17 6-13 7-4 8-3 10-3 12-1
Exploration time: 2002.252718
Exploration wins: 103
Exploration new examples: 2763

Generation 104
Training examples: 200000
Training unique  : 152798
Training time: 451.100605
Exploration: 200 targets 
Exploration: 1941 targets proven at least once
  neg: tot-137  1-23 2-11 3-6 4-3 5-2 6-6 7-2 9-2 10-4 11-2 12-1 13-7 14-5 15-8 16-9 17-16 18-9 19-12 20-3 21-4 22-1 23-1
  ns : tot-100  1-23 2-11 3-6 4-3 5-2 6-6 7-2 9-2 10-3 11-2 12-1 13-5 14-4 15-4 16-4 17-6 18-6 19-5 20-1 21-2 22-1 23-1
  pos: tot-1863  1-238 2-170 3-158 4-236 5-282 6-264 7-218 8-126 9-86 10-41 11-18 12-10 13-7 14-9
  ps : tot-100  1-28 2-15 3-10 4-11 5-14 6-9 7-5 8-2 9-3 10-1 11-1 13-1
Exploration time: 1737.44305
Exploration wins: 101
Exploration new examples: 2870

Generation 105
Training examples: 200000
Training unique  : 153289
Training time: 423.528304
Exploration: 200 targets 
Exploration: 1944 targets proven at least once
  neg: tot-136  1-27 2-10 3-5 4-4 5-1 6-2 7-5 8-2 10-3 11-3 12-2 13-3 14-6 15-8 16-8 17-12 18-9 19-13 20-6 21-3 22-2 23-1 24-1
  ns : tot-100  1-27 2-10 3-5 4-4 5-1 6-2 7-5 8-2 10-3 11-3 12-1 13-1 14-4 15-3 16-4 17-7 18-4 19-9 20-3 21-1 23-1
  pos: tot-1864  1-238 2-166 3-160 4-232 5-277 6-267 7-222 8-129 9-85 10-43 11-18 12-11 13-6 14-10
  ps : tot-100  1-33 2-11 3-9 4-10 5-11 6-13 7-7 8-4 9-1 12-1
Exploration time: 1507.209883
Exploration wins: 92
Exploration new examples: 2741

Generation 106
Training examples: 200000
Training unique  : 153723
Training time: 504.268034
Exploration: 200 targets 
Exploration: 1945 targets proven at least once
  neg: tot-144  1-25 2-17 3-7 4-3 5-4 7-2 8-5 9-2 11-3 12-4 13-3 14-3 15-9 16-7 17-9 18-12 19-8 20-11 21-5 22-3 24-2
  ns : tot-100  1-25 2-17 3-7 4-3 5-4 7-2 8-4 9-1 11-1 12-3 13-2 14-3 15-4 16-1 17-6 18-5 19-2 20-5 21-3 22-1 24-1
  pos: tot-1856  1-222 2-175 3-156 4-226 5-275 6-265 7-228 8-132 9-88 10-44 11-18 12-10 13-7 14-10
  ps : tot-100  1-34 2-16 3-10 4-12 5-10 6-5 7-6 8-4 9-3
Exploration time: 1487.97677
Exploration wins: 101
Exploration new examples: 2715

Generation 107
Training examples: 200000
Training unique  : 153972
Training time: 478.086918
Exploration: 200 targets 
Exploration: 1945 targets proven at least once
  neg: tot-143  1-26 2-11 3-12 4-4 5-1 6-3 8-3 9-5 10-1 11-2 12-2 13-4 14-2 15-7 16-9 17-4 18-13 19-11 20-8 21-7 22-5 23-1 24-1 25-1
  ns : tot-100  1-26 2-11 3-12 4-4 5-1 6-3 8-2 9-4 10-1 11-1 13-4 14-1 15-4 16-4 17-3 18-6 19-3 20-3 21-4 22-3
  pos: tot-1857  1-215 2-174 3-158 4-221 5-277 6-270 7-227 8-134 9-89 10-47 11-18 12-10 13-7 14-10
  ps : tot-100  1-18 2-18 3-8 4-8 5-21 6-7 7-10 8-5 9-3 10-2
Exploration time: 1273.574767
Exploration wins: 97
Exploration new examples: 2896

Generation 108
Training examples: 200000
Training unique  : 154151
Training time: 535.848538
Exploration: 200 targets 
Exploration: 1946 targets proven at least once
  neg: tot-146  1-20 2-17 3-9 4-10 5-3 6-1 7-2 8-1 9-3 10-4 11-2 12-3 14-4 15-4 16-9 17-5 18-10 19-13 20-8 21-6 22-6 23-4 24-1 25-1
  ns : tot-100  1-20 2-17 3-9 4-10 5-3 6-1 7-2 8-1 9-2 10-3 11-1 12-1 15-3 16-5 17-4 18-4 19-4 20-4 21-2 22-1 23-2 25-1
  pos: tot-1854  1-214 2-163 3-163 4-218 5-264 6-283 7-224 8-139 9-91 10-48 11-20 12-10 13-7 14-10
  ps : tot-100  1-26 2-13 3-9 4-12 5-12 6-9 7-9 8-5 9-2 10-1 11-1 13-1
Exploration time: 1298.276188
Exploration wins: 96
Exploration new examples: 2832

Generation 109
Training examples: 200000
Training unique  : 154309
Training time: 540.012725
Exploration: 200 targets 
Exploration: 1947 targets proven at least once
  neg: tot-150  1-19 2-15 3-15 4-6 5-9 6-1 7-1 8-2 9-2 10-3 11-4 12-3 13-1 14-4 15-1 16-7 17-5 18-9 19-13 20-8 21-8 22-7 23-3 24-3 26-1
  ns : tot-100  1-19 2-15 3-15 4-6 5-9 6-1 7-1 8-2 9-1 10-2 11-4 14-2 16-2 17-4 18-5 19-5 20-2 21-2 22-1 23-1 24-1
  pos: tot-1850  1-203 2-166 3-161 4-213 5-264 6-286 7-224 8-143 9-94 10-48 11-20 12-11 13-6 14-11
  ps : tot-100  1-20 2-21 3-11 4-15 5-11 6-6 7-7 8-3 9-4 10-1 11-1
Exploration time: 1257.271701
Exploration wins: 109
Exploration new examples: 2833

Generation 110
Training examples: 200000
Training unique  : 154518
Training time: 538.043117
Exploration: 200 targets 
Exploration: 1949 targets proven at least once
  neg: tot-141  1-28 2-8 3-10 4-5 5-4 6-8 7-1 8-1 9-2 10-1 11-2 12-5 13-1 14-2 15-2 16-5 17-3 18-6 19-13 20-11 21-8 22-7 23-3 24-3 25-1 26-1
  ns : tot-100  1-28 2-8 3-10 4-5 5-4 6-8 8-1 9-2 11-2 12-4 14-1 16-3 18-4 19-4 20-6 21-2 22-4 23-1 24-2 26-1
  pos: tot-1859  1-220 2-154 3-161 4-205 5-265 6-291 7-223 8-147 9-93 10-51 11-20 12-12 13-6 14-11
  ps : tot-100  1-38 2-13 3-10 4-6 5-9 6-13 7-3 8-5 10-2 11-1
Exploration time: 1042.279842
Exploration wins: 109
Exploration new examples: 2751

Generation 111
Training examples: 200000
Training unique  : 154829
Training time: 535.416391
Exploration: 200 targets 
Exploration: 1949 targets proven at least once
  neg: tot-132  1-23 2-13 3-5 4-3 5-3 6-3 7-8 9-1 10-2 12-3 13-4 14-1 15-3 16-2 17-6 18-2 19-13 20-9 21-11 22-5 23-6 24-2 25-3 27-1
  ns : tot-100  1-23 2-13 3-5 4-3 5-3 6-3 7-8 9-1 10-2 12-2 13-4 14-1 15-1 16-1 17-5 18-1 19-5 20-4 21-7 23-5 24-2 27-1
  pos: tot-1868  1-214 2-159 3-164 4-206 5-262 6-287 7-233 8-145 9-98 10-49 11-21 12-13 13-6 14-11
  ps : tot-100  1-31 2-14 3-13 4-13 5-8 6-10 7-4 8-2 9-4 14-1
Exploration time: 1082.191057
Exploration wins: 105
Exploration new examples: 2736

Generation 112
Training examples: 200000
Training unique  : 155097
Training time: 475.033854
Exploration: 200 targets 
Exploration: 1949 targets proven at least once
  neg: tot-127  1-20 2-13 3-8 4-3 5-1 6-3 7-2 8-6 11-2 12-1 13-2 14-4 15-3 16-2 17-2 18-5 19-9 20-10 21-8 22-12 23-1 24-4 25-5 28-1
  ns : tot-100  1-20 2-13 3-8 4-3 5-1 6-3 7-2 8-6 11-2 12-1 13-2 14-3 15-2 16-2 17-1 18-3 19-6 20-9 21-3 22-8 25-1 28-1
  pos: tot-1873  1-208 2-166 3-161 4-203 5-264 6-285 7-239 8-147 9-96 10-53 11-21 12-13 13-6 14-10 15-1
  ps : tot-100  1-32 2-15 3-7 4-9 5-12 6-13 7-4 8-2 9-3 10-2 13-1
Exploration time: 1448.192735
Exploration wins: 85
Exploration new examples: 2920

Generation 113
Training examples: 200000
Training unique  : 155297
Training time: 530.052535
Exploration: 200 targets 
Exploration: 1949 targets proven at least once
  neg: tot-142  1-32 2-12 3-11 4-6 5-3 7-3 8-1 9-5 12-1 13-1 14-3 15-4 16-2 17-3 18-2 19-6 20-7 21-14 22-7 23-9 24-4 25-4 26-1 29-1
  ns : tot-100  1-32 2-12 3-11 4-6 5-3 7-3 8-1 9-4 12-1 14-1 15-3 16-1 19-4 20-3 21-7 22-2 23-1 24-2 25-1 26-1 29-1
  pos: tot-1858  1-193 2-165 3-160 4-198 5-260 6-283 7-248 8-149 9-95 10-54 11-23 12-13 13-5 14-11 15-1
  ps : tot-100  1-30 2-12 3-8 4-10 5-11 6-12 7-8 8-4 9-3 10-2
Exploration time: 1004.616117
Exploration wins: 96
Exploration new examples: 2764

Generation 114
Training examples: 200000
Training unique  : 155453
Training time: 514.205503
Exploration: 200 targets 
Exploration: 1949 targets proven at least once
  neg: tot-146  1-26 2-22 3-4 4-9 5-5 6-3 8-3 9-2 10-4 13-2 14-2 15-2 16-3 17-4 18-2 19-2 20-8 21-10 22-12 23-10 24-3 25-5 26-1 27-1 30-1
  ns : tot-100  1-26 2-22 3-4 4-9 5-5 6-3 8-3 9-1 10-1 13-1 14-1 17-2 18-1 19-1 20-4 21-3 22-4 23-5 24-1 25-2 27-1
  pos: tot-1854  1-185 2-167 3-159 4-193 5-258 6-281 7-252 8-153 9-96 10-55 11-25 12-13 13-5 14-11 15-1
  ps : tot-100  1-18 2-18 3-11 4-10 5-9 6-12 7-13 8-3 9-4 11-1 14-1
Exploration time: 1348.800722
Exploration wins: 114
Exploration new examples: 2612

Generation 115
Training examples: 200000
Training unique  : 155513
Training time: 530.629266
Exploration: 200 targets 
Exploration: 1955 targets proven at least once
  neg: tot-132  1-15 2-15 3-14 4-4 5-8 6-3 7-2 9-4 10-4 11-1 13-1 14-2 15-3 16-3 17-2 18-3 19-2 20-5 21-9 22-11 23-8 24-5 25-3 26-3 28-1 30-1
  ns : tot-100  1-15 2-15 3-14 4-4 5-8 6-3 7-2 9-4 10-4 11-1 14-1 15-3 16-2 17-2 18-2 19-2 21-4 22-7 23-2 24-2 25-2 26-1
  pos: tot-1868  1-196 2-161 3-160 4-192 5-259 6-278 7-251 8-163 9-94 10-59 11-24 12-14 13-5 14-10 15-2
  ps : tot-100  1-25 2-11 3-11 4-11 5-16 6-10 7-4 8-4 9-5 10-3
Exploration time: 1501.698513
Exploration wins: 95
Exploration new examples: 2799

Generation 116
Training examples: 200000
Training unique  : 155741
Training time: 482.658778
Exploration: 200 targets 
Exploration: 1957 targets proven at least once
  neg: tot-137  1-24 2-9 3-10 4-11 5-4 6-6 7-3 8-2 10-4 11-4 12-1 13-1 14-1 15-1 16-4 17-2 18-3 19-1 20-7 21-5 22-7 23-12 24-5 25-3 26-4 27-1 28-1 30-1
  ns : tot-100  1-24 2-9 3-10 4-11 5-4 6-6 7-3 8-2 10-4 11-2 13-1 14-1 16-2 17-2 18-1 20-2 21-1 22-5 23-2 24-2 25-2 26-3 28-1
  pos: tot-1863  1-190 2-160 3-155 4-189 5-253 6-284 7-257 8-163 9-93 10-61 11-27 12-14 13-5 14-10 15-2
  ps : tot-100  1-26 2-9 3-7 4-13 5-11 6-12 7-10 8-6 9-2 10-1 11-1 12-2
Exploration time: 1320.94164
Exploration wins: 99
Exploration new examples: 2768

Generation 117
Training examples: 200000
Training unique  : 156052
Training time: 533.520708
Exploration: 200 targets 
Exploration: 1958 targets proven at least once
  neg: tot-138  1-27 2-12 3-5 4-7 5-6 6-3 7-6 8-3 9-2 11-6 12-3 14-1 15-2 16-2 17-2 18-4 19-2 20-5 21-6 22-3 23-14 24-5 25-3 26-3 27-4 29-1 30-1
  ns : tot-100  1-27 2-12 3-5 4-7 5-6 6-3 7-6 8-3 9-2 11-2 12-2 14-1 15-1 16-1 17-1 18-2 19-1 20-1 21-1 22-1 23-7 24-2 25-1 26-1 27-3 30-1
  pos: tot-1862  1-190 2-161 3-153 4-181 5-254 6-281 7-258 8-166 9-97 10-62 11-27 12-13 13-7 14-10 15-2
  ps : tot-100  1-24 2-14 3-8 4-14 5-13 6-6 7-9 8-5 9-6 10-1
Exploration time: 1619.095624
Exploration wins: 103
Exploration new examples: 2798

Generation 118
Training examples: 200000
Training unique  : 156227
Training time: 539.966752
Exploration: 200 targets 
Exploration: 1959 targets proven at least once
  neg: tot-135  1-25 2-17 3-7 4-2 5-6 6-6 7-2 8-3 9-1 10-2 11-4 12-2 13-1 15-2 16-2 17-2 18-3 19-3 20-5 21-6 22-3 23-8 24-10 25-4 26-3 27-2 28-3 29-1
  ns : tot-100  1-25 2-17 3-7 4-2 5-6 6-6 7-2 8-3 9-1 10-2 11-1 12-2 13-1 15-1 16-1 17-1 18-3 19-1 21-4 22-2 24-5 25-1 26-2 27-2 28-2
  pos: tot-1865  1-194 2-157 3-151 4-173 5-255 6-288 7-255 8-169 9-96 10-67 11-28 12-13 13-7 14-10 15-2
  ps : tot-100  1-30 2-13 3-15 4-7 5-10 6-8 7-7 8-6 9-1 10-2 11-1
Exploration time: 1685.672211
Exploration wins: 99
Exploration new examples: 2879

Generation 119
Training examples: 200000
Training unique  : 156565
Training time: 536.281712
Exploration: 200 targets 
Exploration: 1960 targets proven at least once
  neg: tot-136  1-29 2-14 3-9 4-6 5-2 6-3 7-3 8-2 9-3 10-1 11-5 12-1 13-2 14-1 15-1 16-2 17-2 18-1 19-4 20-6 21-2 22-4 23-10 24-5 25-8 26-2 27-2 28-3 29-3
  ns : tot-100  1-29 2-14 3-9 4-6 5-2 6-3 7-3 8-2 9-2 10-1 11-3 13-2 14-1 15-1 16-2 17-1 18-1 19-2 20-2 22-2 23-4 24-2 25-2 27-1 28-1 29-2
  pos: tot-1864  1-192 2-155 3-145 4-176 5-251 6-290 7-256 8-170 9-101 10-66 11-29 12-14 13-7 14-10 15-2
  ps : tot-100  1-26 2-15 3-7 4-10 5-10 6-9 7-12 8-4 9-2 10-3 11-2
Exploration time: 1763.299671
Exploration wins: 103
Exploration new examples: 2843

Generation 120
Training examples: 200000
Training unique  : 156526
Training time: 543.8307
Exploration: 200 targets 
Exploration: 1960 targets proven at least once
  neg: tot-133  1-21 2-16 3-10 4-7 5-5 6-1 7-2 8-1 9-3 10-2 11-3 12-4 14-2 15-1 16-1 17-3 18-1 19-3 20-6 21-4 22-2 23-8 24-7 25-8 26-4 27-1 28-3 29-2 30-2
  ns : tot-100  1-21 2-16 3-10 4-7 5-5 6-1 7-2 8-1 9-3 10-2 11-3 12-3 14-2 17-2 18-1 19-2 20-3 21-2 22-1 23-2 24-3 25-5 26-1 28-1 30-1
  pos: tot-1867  1-190 2-152 3-148 4-173 5-249 6-291 7-253 8-178 9-103 10-65 11-30 12-16 13-7 14-10 15-2
  ps : tot-100  1-20 2-17 3-11 4-9 5-10 6-12 7-10 8-8 9-2 10-1
Exploration time: 1369.607262
Exploration wins: 111
Exploration new examples: 2720

Generation 121
Training examples: 200000
Training unique  : 156387
Training time: 537.051276
Exploration: 200 targets 
Exploration: 1960 targets proven at least once
  neg: tot-122  1-18 2-10 3-7 4-7 5-5 6-3 7-1 8-1 9-1 10-2 11-2 12-4 13-3 15-3 16-1 17-1 18-2 19-2 20-5 21-5 22-3 23-7 24-6 25-6 26-8 27-2 28-2 29-3 30-1 31-1
  ns : tot-100  1-18 2-10 3-7 4-7 5-5 6-3 7-1 8-1 9-1 10-2 11-2 12-4 13-3 15-3 17-1 19-1 20-3 21-2 22-3 23-6 24-4 25-4 26-5 28-1 29-1 30-1 31-1
  pos: tot-1878  1-199 2-144 3-150 4-174 5-247 6-289 7-254 8-180 9-109 10-66 11-31 12-16 13-7 14-10 15-2
  ps : tot-100  1-22 2-11 3-12 4-10 5-14 6-11 7-10 8-7 9-1 10-2
Exploration time: 1568.47721
Exploration wins: 90
Exploration new examples: 2887

Generation 122
Training examples: 200000
Training unique  : 156558
Training time: 538.249898
Exploration: 200 targets 
Exploration: 1960 targets proven at least once
  neg: tot-132  1-29 2-10 3-6 4-5 5-6 6-5 7-3 8-1 9-1 10-1 11-1 12-2 13-4 14-2 16-4 18-3 19-1 20-2 21-5 22-2 23-4 24-8 25-6 26-7 27-7 28-1 29-3 30-1 31-1 32-1
  ns : tot-100  1-29 2-10 3-6 4-5 5-6 6-5 7-3 8-1 9-1 10-1 11-1 12-2 13-3 14-1 16-4 18-2 19-1 20-2 21-1 22-2 23-1 24-5 25-1 26-4 27-1 31-1 32-1
  pos: tot-1868  1-196 2-138 3-142 4-174 5-240 6-292 7-255 8-183 9-115 10-65 11-33 12-16 13-7 14-10 15-2
  ps : tot-100  1-31 2-10 3-5 4-8 5-18 6-14 7-2 8-5 9-5 10-1 11-1
Exploration time: 1477.854823
Exploration wins: 93
Exploration new examples: 2807

Generation 123
Training examples: 200000
Training unique  : 156770
Training time: 530.906718
Exploration: 200 targets 
Exploration: 1960 targets proven at least once
  neg: tot-139  1-29 2-13 3-8 4-5 5-4 6-5 7-5 8-2 9-1 10-1 11-1 12-1 13-3 14-4 15-1 17-4 18-1 19-2 20-1 21-6 22-1 23-5 24-4 25-10 26-4 27-10 28-2 29-3 30-1 32-1 33-1
  ns : tot-100  1-29 2-13 3-8 4-5 5-4 6-5 7-4 8-1 9-1 10-1 11-1 12-1 13-2 14-3 15-1 17-4 18-1 21-2 22-1 23-2 24-2 25-4 27-4 28-1
  pos: tot-1861  1-187 2-137 3-144 4-170 5-228 6-296 7-266 8-180 9-115 10-69 11-33 12-17 13-7 14-10 15-2
  ps : tot-100  1-21 2-9 3-5 4-10 5-9 6-12 7-8 8-10 9-11 10-2 11-1 12-2
Exploration time: 1685.310831
Exploration wins: 92
Exploration new examples: 2681

Generation 124
Training examples: 200000
Training unique  : 156903
Training time: 468.13626
Exploration: 200 targets 
Exploration: 1960 targets proven at least once
  neg: tot-147  1-26 2-17 3-12 4-6 5-3 6-4 7-6 8-4 9-1 10-1 11-1 12-1 13-2 14-3 15-3 16-1 18-4 19-3 20-1 21-4 22-2 23-4 24-4 25-8 26-8 27-6 28-5 29-4 30-1 32-1 33-1
  ns : tot-100  1-26 2-17 3-12 4-6 5-3 6-4 7-5 8-4 10-1 12-1 13-1 14-1 16-1 18-2 19-2 21-1 22-2 23-1 24-1 25-1 26-3 28-2 29-2 33-1
  pos: tot-1853  1-184 2-135 3-144 4-164 5-227 6-292 7-269 8-176 9-113 10-78 11-34 12-16 13-9 14-10 15-2
  ps : tot-100  1-19 2-15 3-9 4-13 5-6 6-17 7-7 8-8 9-4 10-1 12-1
Exploration time: 1255.144992
Exploration wins: 116
Exploration new examples: 2729

Generation 125
Training examples: 200000
Training unique  : 156852
Training time: 536.904111
Exploration: 200 targets 
Exploration: 1961 targets proven at least once
  neg: tot-131  1-18 2-14 3-7 4-8 5-3 6-2 7-5 8-4 9-5 11-1 13-2 14-3 15-4 17-1 18-2 19-3 20-2 21-3 22-1 23-5 24-4 25-8 26-6 27-9 28-3 29-3 30-3 32-1 34-1
  ns : tot-100  1-18 2-14 3-7 4-8 5-3 6-2 7-5 8-4 9-5 11-1 13-2 14-2 15-4 17-1 18-2 19-2 20-1 22-1 23-4 25-5 27-3 28-1 29-2 30-2 34-1
  pos: tot-1869  1-199 2-130 3-144 4-157 5-234 6-281 7-279 8-175 9-117 10-81 11-35 12-15 13-10 14-10 15-2
  ps : tot-100  1-22 2-3 3-10 4-10 5-10 6-16 7-16 8-5 9-4 10-3 11-1
Exploration time: 1668.324379
Exploration wins: 107
Exploration new examples: 2877

Generation 126
Training examples: 200000
Training unique  : 156750
Training time: 546.429043
Exploration: 200 targets 
Exploration: 1963 targets proven at least once
  neg: tot-124  1-18 2-11 3-9 4-6 5-7 6-3 7-2 8-4 9-2 10-3 14-3 15-2 16-4 18-1 19-2 20-3 21-4 23-2 24-6 25-3 26-11 27-6 28-5 29-1 30-3 31-1 32-1 35-1
  ns : tot-100  1-18 2-11 3-9 4-6 5-7 6-3 7-2 8-4 9-2 10-3 14-2 15-2 16-4 19-2 20-3 21-3 24-3 25-1 26-4 27-5 28-2 29-1 30-1 32-1 35-1
  pos: tot-1876  1-202 2-136 3-136 4-154 5-234 6-274 7-279 8-186 9-118 10-82 11-37 12-16 13-10 14-10 15-2
  ps : tot-100  1-22 2-11 3-14 4-3 5-9 6-11 7-13 8-7 9-4 10-2 11-4
Exploration time: 1685.403604
Exploration wins: 111
Exploration new examples: 2653

Generation 127
Training examples: 200000
Training unique  : 156667
Training time: 543.860374
Exploration: 200 targets 
Exploration: 1963 targets proven at least once
  neg: tot-113  1-15 2-8 3-6 4-4 5-6 6-6 7-1 8-2 9-3 10-2 11-2 14-1 15-1 16-2 17-4 18-1 20-2 21-4 22-3 23-2 24-3 25-5 26-8 27-5 28-8 29-2 30-3 31-2 33-1 36-1
  ns : tot-100  1-15 2-8 3-6 4-4 5-6 6-6 7-1 8-2 9-3 10-2 11-2 14-1 15-1 16-2 17-4 18-1 20-2 21-4 22-3 23-2 24-1 25-5 26-4 27-2 28-7 29-1 30-3 31-2
  pos: tot-1887  1-206 2-138 3-131 4-161 5-228 6-272 7-277 8-192 9-121 10-84 11-35 12-20 13-10 14-10 15-2
  ps : tot-100  1-30 2-11 3-7 4-12 5-13 6-7 7-11 8-4 9-3 10-1 11-1
Exploration time: 1501.088228
Exploration wins: 100
Exploration new examples: 2942

Generation 128
Training examples: 200000
Training unique  : 156860
Training time: 531.188068
Exploration: 200 targets 
Exploration: 1968 targets proven at least once
  neg: tot-113  1-28 2-6 3-2 4-4 5-4 6-5 7-5 8-1 10-3 11-2 12-2 15-1 16-1 17-1 18-4 19-1 21-1 22-4 23-2 24-4 25-1 26-9 27-6 28-3 29-6 30-1 31-2 32-2 33-1 36-1
  ns : tot-100  1-28 2-6 3-2 4-4 5-4 6-5 7-5 8-1 10-3 11-2 12-2 15-1 16-1 17-1 18-4 22-3 23-1 24-4 26-6 27-5 28-2 29-4 30-1 31-2 32-2 36-1
  pos: tot-1887  1-204 2-138 3-131 4-153 5-226 6-278 7-272 8-199 9-122 10-86 11-35 12-21 13-10 14-10 15-2
  ps : tot-100  1-27 2-12 3-8 4-12 5-17 6-7 7-2 8-5 9-3 10-2 11-2 12-2 14-1
Exploration time: 1406.467672
Exploration wins: 95
Exploration new examples: 2800

Generation 129
Training examples: 200000
Training unique  : 156784
Training time: 543.125822
Exploration: 200 targets 
Exploration: 1970 targets proven at least once
  neg: tot-118  1-31 2-18 3-2 4-2 5-4 6-4 7-3 8-3 9-1 11-2 12-2 13-1 19-4 21-1 22-1 23-4 24-1 25-4 26-3 27-7 28-6 29-4 30-3 31-1 32-2 33-3 37-1
  ns : tot-100  1-31 2-18 3-2 4-2 5-4 6-4 7-3 8-3 9-1 11-2 12-2 13-1 19-3 21-1 22-1 23-4 25-2 26-2 27-5 28-2 29-3 30-1 31-1 33-2
  pos: tot-1882  1-203 2-137 3-126 4-145 5-219 6-288 7-277 8-196 9-124 10-87 11-35 12-21 13-12 14-9 15-3
  ps : tot-100  1-21 2-16 3-13 4-7 5-7 6-15 7-12 8-3 9-5 10-1
Exploration time: 1554.213654
Exploration wins: 98
Exploration new examples: 2817

Generation 130
Training examples: 200000
Training unique  : 156923
Training time: 542.122167
Exploration: 200 targets 
Exploration: 1970 targets proven at least once
  neg: tot-120  1-25 2-21 3-10 4-2 5-2 6-4 7-4 8-2 9-1 12-2 13-2 14-1 19-1 20-3 22-1 23-1 24-4 25-2 26-3 27-4 28-9 29-3 30-5 31-1 32-3 33-1 34-2 37-1
  ns : tot-100  1-25 2-21 3-10 4-2 5-2 6-4 7-4 8-2 9-1 12-2 13-2 14-1 20-3 22-1 23-1 24-2 25-1 27-3 28-3 29-3 30-3 31-1 32-1 34-1 37-1
  pos: tot-1880  1-205 2-128 3-123 4-148 5-217 6-280 7-280 8-205 9-122 10-91 11-36 12-21 13-12 14-9 15-3
  ps : tot-100  1-30 2-11 3-6 4-9 5-12 6-10 7-7 8-4 9-8 10-1 11-1 12-1
Exploration time: 1388.811817
Exploration wins: 105
Exploration new examples: 2834

Generation 131
Training examples: 200000
Training unique  : 156962
Training time: 520.14074
Exploration: 200 targets 
Exploration: 1974 targets proven at least once
  neg: tot-115  1-25 2-9 3-14 4-8 5-2 6-1 7-4 8-4 9-2 10-1 13-2 14-2 15-1 19-1 21-3 23-1 24-3 25-3 26-4 27-1 28-7 29-3 30-3 31-3 32-3 33-2 34-1 35-1 38-1
  ns : tot-100  1-25 2-9 3-14 4-8 5-2 6-1 7-4 8-4 9-2 10-1 13-2 14-2 15-1 19-1 21-2 23-1 24-3 25-3 26-4 27-1 28-5 29-2 31-1 32-2
  pos: tot-1885  1-205 2-132 3-123 4-142 5-213 6-281 7-283 8-208 9-118 10-98 11-36 12-21 13-13 14-9 15-3
  ps : tot-100  1-26 2-14 3-7 4-8 5-11 6-8 7-13 8-6 9-3 10-2 11-1 13-1
Exploration time: 1581.534109
Exploration wins: 92
Exploration new examples: 2740

Generation 132
Training examples: 200000
Training unique  : 157189
Training time: 530.794813
Exploration: 200 targets 
Exploration: 1974 targets proven at least once
  neg: tot-123  1-29 2-18 3-6 4-9 5-5 6-2 7-1 8-3 9-3 10-2 11-1 14-2 15-1 16-1 20-1 21-1 22-2 24-1 25-3 26-3 27-4 28-3 29-6 30-5 31-2 32-2 33-4 34-1 35-1 38-1
  ns : tot-100  1-29 2-18 3-6 4-9 5-5 6-2 7-1 8-3 9-3 10-2 11-1 14-2 15-1 16-1 20-1 22-1 24-1 26-3 27-4 29-1 30-1 31-1 33-2 34-1 35-1
  pos: tot-1877  1-200 2-130 3-121 4-138 5-210 6-283 7-277 8-214 9-121 10-99 11-37 12-22 13-12 14-10 15-3
  ps : tot-100  1-18 2-16 3-6 4-11 5-8 6-17 7-9 8-7 9-3 10-1 11-1 13-2 14-1
Exploration time: 1406.263578
Exploration wins: 99
Exploration new examples: 2747

Generation 133
Training examples: 200000
Training unique  : 157264
Training time: 544.09627
Exploration: 200 targets 
Exploration: 1974 targets proven at least once
  neg: tot-124  1-24 2-18 3-13 4-3 5-7 6-4 7-1 8-1 9-3 10-3 11-2 12-1 15-2 16-1 17-1 21-2 22-1 23-1 25-4 27-3 28-7 29-5 30-5 31-2 32-3 33-2 34-2 35-1 36-1 38-1
  ns : tot-100  1-24 2-18 3-13 4-3 5-7 6-4 7-1 8-1 9-3 10-3 11-2 12-1 15-2 16-1 17-1 21-1 22-1 25-3 27-1 28-3 29-1 30-3 31-1 32-1 33-1
  pos: tot-1876  1-205 2-122 3-125 4-129 5-211 6-273 7-284 8-216 9-125 10-101 11-37 12-23 13-10 14-11 15-4
  ps : tot-100  1-18 2-10 3-7 4-9 5-15 6-11 7-11 8-10 9-5 10-4
Exploration time: 1174.534025
Exploration wins: 103
Exploration new examples: 2680

Generation 134
Training examples: 200000
Training unique  : 157347
Training time: 532.026567
Exploration: 200 targets 
Exploration: 1974 targets proven at least once
  neg: tot-121  1-17 2-15 3-14 4-9 5-2 6-5 7-4 8-1 9-1 10-3 11-3 12-2 13-1 16-2 17-1 18-1 21-1 22-1 23-2 25-1 26-3 27-2 28-5 29-7 30-3 31-4 32-3 33-2 34-3 35-1 36-1 38-1
  ns : tot-100  1-17 2-15 3-14 4-9 5-2 6-5 7-4 8-1 9-1 10-3 11-3 12-2 13-1 16-2 17-1 18-1 22-1 23-2 25-1 27-1 28-1 29-4 30-1 32-3 33-1 34-2 36-1 38-1
  pos: tot-1879  1-207 2-119 3-124 4-125 5-205 6-277 7-284 8-217 9-130 10-102 11-41 12-23 13-10 14-11 15-4
  ps : tot-100  1-26 2-10 3-10 4-10 5-11 6-9 7-8 8-10 9-4 10-1 11-1
Exploration time: 1317.808964
Exploration wins: 87
Exploration new examples: 2712

Generation 135
Training examples: 200000
Training unique  : 157343
Training time: 526.335432
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-134  1-33 2-13 3-11 4-10 5-7 6-1 7-5 8-3 9-1 10-1 11-3 12-2 13-1 14-1 17-1 18-1 19-1 21-1 23-1 24-2 26-4 27-1 28-5 29-4 30-6 31-5 33-4 34-2 35-3 39-1
  ns : tot-100  1-33 2-13 3-11 4-10 5-7 6-1 7-5 8-3 9-1 10-1 11-2 12-2 13-1 14-1 19-1 24-1 26-1 28-1 29-1 30-2 31-1 39-1
  pos: tot-1866  1-201 2-116 3-118 4-120 5-202 6-279 7-285 8-215 9-136 10-104 11-41 12-24 13-10 14-11 15-4
  ps : tot-100  1-33 2-7 3-9 4-8 5-13 6-9 7-4 8-9 9-3 10-3 11-2
Exploration time: 1398.282195
Exploration wins: 102
Exploration new examples: 2810

Generation 136
Training examples: 200000
Training unique  : 157386
Training time: 538.044695
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-132  1-29 2-14 3-8 4-7 5-8 6-6 7-1 8-5 9-3 10-1 11-2 12-2 13-2 14-1 15-1 17-1 18-1 20-1 21-1 23-1 24-1 25-1 26-3 27-2 28-4 29-4 30-5 31-6 32-1 33-4 34-2 35-3 40-1
  ns : tot-100  1-29 2-14 3-8 4-7 5-8 6-6 7-1 8-5 9-3 10-1 11-1 12-1 13-1 14-1 15-1 17-1 24-1 25-1 26-1 27-2 29-1 30-2 31-2 32-1 33-1
  pos: tot-1868  1-199 2-123 3-114 4-117 5-195 6-281 7-290 8-210 9-142 10-104 11-42 12-26 13-10 14-11 15-4
  ps : tot-100  1-29 2-13 3-7 4-6 5-12 6-12 7-7 8-6 9-2 10-2 11-2 12-1 13-1
Exploration time: 1714.551852
Exploration wins: 85
Exploration new examples: 2793

Generation 137
Training examples: 200000
Training unique  : 157467
Training time: 486.580059
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-147  1-33 2-20 3-9 4-7 5-6 6-7 7-5 8-1 9-5 10-3 11-2 12-2 13-2 14-1 15-1 16-1 18-2 20-1 21-1 23-1 25-1 26-3 27-1 28-6 29-3 30-4 31-6 32-2 33-4 34-3 35-3 40-1
  ns : tot-100  1-33 2-20 3-9 4-7 5-4 6-6 7-4 8-1 9-2 10-2 12-2 15-1 18-1 26-2 28-3 32-1 35-2
  pos: tot-1853  1-188 2-117 3-113 4-117 5-188 6-279 7-295 8-211 9-146 10-104 11-42 12-27 13-10 14-12 15-4
  ps : tot-100  1-25 2-9 3-9 4-10 5-14 6-6 7-8 8-10 9-3 10-5 12-1
Exploration time: 1221.08421
Exploration wins: 102
Exploration new examples: 2765

Generation 138
Training examples: 200000
Training unique  : 157461
Training time: 528.277008
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-145  1-29 2-19 3-12 4-5 5-8 6-4 7-6 8-4 9-4 10-3 11-3 13-4 14-1 16-2 18-1 19-1 20-1 21-1 23-1 25-1 26-1 27-2 28-3 29-6 30-4 31-6 32-1 33-5 34-3 35-1 36-2 40-1
  ns : tot-100  1-29 2-19 3-12 4-5 5-7 6-3 7-6 8-3 9-4 10-1 11-2 13-1 21-1 25-1 26-1 27-1 28-1 30-1 31-1 34-1
  pos: tot-1855  1-194 2-115 3-107 4-113 5-182 6-287 7-293 8-209 9-153 10-102 11-47 12-26 13-11 14-12 15-4
  ps : tot-100  1-23 2-12 3-12 4-4 5-6 6-18 7-9 8-6 9-6 11-2 12-2
Exploration time: 1487.441855
Exploration wins: 94
Exploration new examples: 2804

Generation 139
Training examples: 200000
Training unique  : 157618
Training time: 541.3821
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-151  1-25 2-21 3-15 4-9 5-6 6-7 7-3 8-6 9-2 10-5 11-2 12-2 13-3 14-2 16-2 18-1 19-1 20-1 22-1 23-1 26-1 27-2 28-3 29-7 30-3 31-6 32-2 33-5 34-2 35-2 36-2 40-1
  ns : tot-100  1-25 2-21 3-15 4-9 5-6 6-5 7-2 8-3 10-4 11-1 12-1 13-2 20-1 27-1 29-1 33-2 35-1
  pos: tot-1849  1-190 2-113 3-101 4-118 5-179 6-275 7-301 8-211 9-153 10-108 11-45 12-26 13-13 14-12 15-4
  ps : tot-100  1-35 2-11 3-5 4-13 5-12 6-5 7-9 8-4 9-6
Exploration time: 1410.022429
Exploration wins: 99
Exploration new examples: 2856

Generation 140
Training examples: 200000
Training unique  : 157686
Training time: 530.639045
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-152  1-29 2-16 3-15 4-9 5-7 6-7 7-6 8-4 9-3 10-1 11-5 12-2 13-1 14-4 16-2 18-1 19-1 21-1 22-1 23-1 26-1 27-1 28-4 29-6 30-4 31-6 32-2 33-3 34-4 35-1 36-3 40-1
  ns : tot-100  1-29 2-16 3-15 4-7 5-7 6-3 7-5 8-1 10-1 11-4 13-1 14-2 16-2 27-1 29-2 30-1 31-1 33-1 36-1
  pos: tot-1848  1-183 2-115 3-103 4-109 5-178 6-282 7-297 8-216 9-151 10-114 11-45 12-26 13-13 14-12 15-4
  ps : tot-100  1-28 2-11 3-8 4-6 5-10 6-16 7-8 8-4 9-4 10-2 11-1 12-2
Exploration time: 1386.193396
Exploration wins: 87
Exploration new examples: 2874

Generation 141
Training examples: 200000
Training unique  : 157755
Training time: 538.74946
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-165  1-37 2-14 3-12 4-16 5-5 6-10 7-4 8-7 9-4 11-2 12-6 14-3 15-2 17-2 18-1 19-1 21-1 22-1 23-1 26-1 28-5 29-4 30-5 31-6 32-3 33-2 34-5 35-1 36-2 37-1 40-1
  ns : tot-100  1-37 2-14 3-11 4-15 5-4 6-4 7-2 8-3 9-2 11-2 12-1 26-1 29-1 30-1 31-1 33-1
  pos: tot-1835  1-179 2-112 3-100 4-108 5-173 6-272 7-302 8-220 9-151 10-116 11-46 12-25 13-15 14-12 15-4
  ps : tot-100  1-21 2-18 3-7 4-11 5-6 6-12 7-7 8-4 9-7 10-3 11-2 12-1 14-1
Exploration time: 1336.139355
Exploration wins: 113
Exploration new examples: 2648

Generation 142
Training examples: 200000
Training unique  : 157815
Training time: 539.953424
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-152  1-23 2-19 3-6 4-10 5-12 6-8 7-6 8-6 9-5 10-2 12-6 13-1 14-3 15-2 17-2 18-1 19-1 21-1 22-1 23-1 27-1 28-5 29-3 30-5 31-6 32-4 33-1 34-6 35-1 36-2 37-1 40-1
  ns : tot-100  1-23 2-19 3-6 4-10 5-11 6-5 7-5 8-4 9-2 10-2 12-3 13-1 15-1 18-1 28-2 29-1 31-1 34-3
  pos: tot-1848  1-194 2-102 3-104 4-104 5-176 6-266 7-307 8-223 9-147 10-120 11-47 12-26 13-16 14-11 15-5
  ps : tot-100  1-26 2-10 3-6 4-4 5-9 6-8 7-13 8-7 9-5 10-11 11-1
Exploration time: 1373.76978
Exploration wins: 110
Exploration new examples: 2651

Generation 143
Training examples: 200000
Training unique  : 157792
Training time: 523.581364
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-142  1-19 2-13 3-13 4-3 5-6 6-12 7-5 8-6 9-6 10-2 11-2 12-3 13-3 14-4 15-1 16-1 17-2 19-2 21-1 22-1 23-1 27-1 28-3 29-4 30-6 31-5 32-5 33-1 34-3 35-4 36-2 37-1 40-1
  ns : tot-100  1-19 2-13 3-13 4-3 5-6 6-12 7-5 8-6 9-5 10-1 11-1 12-3 13-2 14-2 15-1 16-1 19-1 28-1 29-2 30-1 32-2
  pos: tot-1858  1-197 2-105 3-104 4-105 5-171 6-267 7-301 8-229 9-149 10-114 11-57 12-27 13-16 14-11 15-5
  ps : tot-100  1-25 2-6 3-7 4-6 5-10 6-13 7-11 8-11 9-6 10-4 11-1
Exploration time: 1635.680575
Exploration wins: 89
Exploration new examples: 2960

Generation 144
Training examples: 200000
Training unique  : 158018
Training time: 541.383321
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-153  1-23 2-16 3-11 4-10 5-3 6-5 7-12 8-4 9-6 10-6 11-2 12-1 13-3 14-4 15-2 16-1 17-3 19-1 20-1 21-1 22-1 23-1 27-1 28-2 29-3 30-7 31-6 32-3 33-3 34-3 35-4 36-2 37-1 40-1
  ns : tot-100  1-23 2-16 3-11 4-10 5-3 6-5 7-8 8-3 9-2 10-4 11-1 12-1 13-1 14-3 15-1 16-1 23-1 27-1 30-2 31-2 33-1
  pos: tot-1847  1-184 2-113 3-100 4-102 5-167 6-262 7-302 8-228 9-154 10-115 11-60 12-28 13-16 14-11 15-5
  ps : tot-100  1-29 2-11 3-8 4-2 5-6 6-12 7-12 8-11 9-4 10-3 11-1 13-1
Exploration time: 1693.257855
Exploration wins: 103
Exploration new examples: 2852

Generation 145
Training examples: 200000
Training unique  : 158088
Training time: 540.167784
Exploration: 200 targets 
Exploration: 1975 targets proven at least once
  neg: tot-150  1-27 2-13 3-12 4-6 5-7 6-1 7-9 8-7 9-6 10-4 11-3 12-1 13-3 14-1 15-4 16-1 17-4 19-1 20-1 21-1 22-1 24-1 28-3 29-3 30-5 31-6 32-5 33-2 34-4 35-4 36-2 37-1 40-1
  ns : tot-100  1-27 2-13 3-12 4-6 5-5 6-1 7-7 8-6 9-4 10-2 13-1 14-1 16-1 28-1 29-2 30-1 31-2 32-3 33-1 34-1 35-2 36-1
  pos: tot-1850  1-185 2-111 3-98 4-106 5-163 6-256 7-302 8-229 9-161 10-116 11-62 12-29 13-15 14-12 15-5
  ps : tot-100  1-30 2-10 3-6 4-11 5-6 6-7 7-9 8-7 9-11 10-1 11-1 12-1
Exploration time: 1630.415846
Exploration wins: 105
Exploration new examples: 2702

Generation 146
Training examples: 200000
Training unique  : 158364
Training time: 534.867873
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-145  1-23 2-13 3-8 4-9 5-5 6-5 7-3 8-8 9-7 10-5 11-5 12-1 13-2 14-1 15-5 17-5 19-1 20-1 21-1 22-1 24-1 28-2 29-2 30-6 31-5 32-4 33-4 34-4 35-3 36-2 37-2 40-1
  ns : tot-100  1-23 2-13 3-8 4-9 5-5 6-2 7-3 8-5 9-6 10-2 11-3 12-1 13-1 14-1 15-4 17-2 19-1 20-1 24-1 28-1 30-4 31-1 32-1 35-1 36-1
  pos: tot-1855  1-183 2-117 3-99 4-98 5-166 6-254 7-300 8-231 9-157 10-126 11-62 12-29 13-16 14-12 15-5
  ps : tot-100  1-19 2-12 3-13 4-6 5-9 6-13 7-10 8-7 9-5 10-4 11-2
Exploration time: 1678.328943
Exploration wins: 101
Exploration new examples: 2781

Generation 147
Training examples: 200000
Training unique  : 158316
Training time: 530.32379
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-144  1-26 2-11 3-8 4-6 5-7 6-8 7-2 8-4 9-6 10-8 11-4 12-2 13-1 14-1 15-2 16-4 17-3 18-2 20-1 21-2 22-1 25-1 28-1 29-2 30-2 31-8 32-4 33-5 34-4 35-2 36-2 37-3 40-1
  ns : tot-100  1-26 2-11 3-8 4-6 5-7 6-8 7-1 8-2 9-6 10-5 11-2 12-1 13-1 15-2 16-3 17-3 18-1 20-1 30-1 31-1 33-1 34-2 40-1
  pos: tot-1856  1-191 2-113 3-92 4-99 5-162 6-248 7-303 8-234 9-159 10-127 11-64 12-31 13-16 14-12 15-5
  ps : tot-100  1-39 2-14 3-4 4-5 5-5 6-9 7-9 8-6 9-5 10-3 11-1
Exploration time: 1337.603887
Exploration wins: 109
Exploration new examples: 2870

Generation 148
Training examples: 200000
Training unique  : 158465
Training time: 518.273899
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-135  1-22 2-13 3-5 4-5 5-4 6-6 7-5 8-2 9-2 10-9 11-7 12-3 13-1 14-2 16-3 17-3 18-3 19-1 21-3 22-1 25-1 28-1 29-2 30-1 31-8 32-5 33-4 34-3 35-4 36-2 37-3 41-1
  ns : tot-100  1-22 2-13 3-5 4-5 5-4 6-6 7-5 8-2 9-2 10-9 11-6 12-2 13-1 14-1 17-2 18-2 19-1 25-1 29-1 31-3 32-2 33-2 34-2 35-1
  pos: tot-1865  1-183 2-122 3-98 4-97 5-162 6-243 7-303 8-237 9-160 10-129 11-66 12-32 13-16 14-12 15-5
  ps : tot-100  1-26 2-17 3-8 4-5 5-6 6-11 7-9 8-11 9-2 10-3 11-1 12-1
Exploration time: 1437.820145
Exploration wins: 93
Exploration new examples: 2656

Generation 149
Training examples: 200000
Training unique  : 158989
Training time: 532.240669
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-142  1-25 2-16 3-7 4-3 5-3 6-3 7-6 8-5 9-2 10-2 11-9 12-7 13-2 14-2 15-1 16-3 17-1 18-3 19-2 20-1 21-3 22-1 26-1 28-1 29-1 30-2 31-5 32-6 33-4 34-3 35-5 36-3 37-3 41-1
  ns : tot-100  1-25 2-16 3-7 4-3 5-3 6-3 7-6 8-4 9-2 10-2 11-6 12-4 13-2 14-2 16-1 17-1 21-1 22-1 28-1 30-1 32-3 33-2 34-1 35-2 36-1
  pos: tot-1858  1-175 2-118 3-100 4-97 5-161 6-237 7-304 8-235 9-169 10-128 11-68 12-32 13-17 14-12 15-5
  ps : tot-100  1-33 2-12 3-6 4-2 5-6 6-14 7-5 8-6 9-7 10-3 11-4 12-1 13-1
Exploration time: 1845.282218
Exploration wins: 98
Exploration new examples: 2913

Generation 150
Training examples: 200000
Training unique  : 159063
Training time: 531.567665
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-144  1-26 2-16 3-11 4-3 5-2 6-1 7-3 8-7 9-4 10-2 11-5 12-7 13-4 14-1 15-3 16-2 17-1 18-4 19-2 20-1 21-2 22-1 23-1 26-1 29-2 30-1 31-6 32-3 33-5 34-4 35-4 36-4 37-4 41-1
  ns : tot-100  1-26 2-16 3-11 4-3 5-2 6-1 7-3 8-7 9-4 10-2 11-4 12-5 13-4 14-1 15-2 17-1 18-3 22-1 31-1 32-1 35-1 36-1
  pos: tot-1856  1-166 2-122 3-99 4-99 5-157 6-229 7-313 8-234 9-168 10-132 11-67 12-35 13-17 14-13 15-5
  ps : tot-100  1-27 2-10 3-9 4-4 5-11 6-9 7-9 8-6 9-9 10-3 11-1 12-2
Exploration time: 1496.264499
Exploration wins: 114
Exploration new examples: 2694

Generation 151
Training examples: 200000
Training unique  : 159099
Training time: 467.261876
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-130  1-17 2-14 3-8 4-9 5-2 6-2 7-1 8-3 9-5 10-3 11-3 12-5 13-3 14-4 15-1 16-3 18-2 19-5 20-1 21-2 23-2 26-1 29-2 30-1 31-5 32-3 33-6 34-4 35-3 36-4 37-5 41-1
  ns : tot-100  1-17 2-14 3-8 4-9 5-2 6-2 7-1 8-3 9-5 10-3 11-3 12-5 13-3 14-4 15-1 16-2 18-1 19-3 20-1 21-2 23-1 29-1 31-3 33-2 35-1 36-1 37-2
  pos: tot-1870  1-170 2-126 3-99 4-102 5-150 6-231 7-313 8-237 9-164 10-138 11-69 12-34 13-19 14-13 15-5
  ps : tot-100  1-25 2-14 3-5 4-4 5-6 6-11 7-13 8-10 9-3 10-4 11-4 12-1
Exploration time: 1482.818391
Exploration wins: 93
Exploration new examples: 2749

Generation 152
Training examples: 200000
Training unique  : 159245
Training time: 531.521323
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-137  1-27 2-10 3-8 4-7 5-6 6-2 7-2 8-1 9-2 10-5 11-3 12-2 13-5 14-2 15-4 16-2 17-2 18-1 19-3 20-3 21-1 22-2 23-1 24-1 26-1 29-1 30-2 31-2 32-6 33-4 34-6 35-2 36-4 37-4 38-2 41-1
  ns : tot-100  1-27 2-10 3-8 4-7 5-6 6-2 7-2 8-1 9-2 10-5 11-3 12-2 13-4 14-2 15-2 16-1 18-1 19-1 20-1 22-1 23-1 24-1 29-1 30-1 32-1 33-1 34-3 37-1 38-2
  pos: tot-1863  1-165 2-121 3-104 4-101 5-146 6-224 7-310 8-240 9-171 10-137 11-69 12-37 13-20 14-13 15-5
  ps : tot-100  1-14 2-13 3-13 4-6 5-7 6-9 7-17 8-9 9-8 10-1 11-2 14-1
Exploration time: 1460.805559
Exploration wins: 109
Exploration new examples: 2672

Generation 153
Training examples: 200000
Training unique  : 159295
Training time: 530.368785
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-128  1-17 2-20 3-6 4-2 5-5 6-3 7-1 8-1 9-1 10-2 11-5 12-3 13-3 14-4 15-4 16-3 17-3 19-3 20-3 21-2 22-1 24-1 25-1 26-1 30-2 31-3 32-5 33-4 34-4 35-4 36-4 37-3 38-1 39-2 41-1
  ns : tot-100  1-17 2-20 3-6 4-2 5-5 6-3 7-1 8-1 9-1 10-2 11-5 12-3 13-3 14-4 15-4 16-3 17-2 19-2 20-2 21-1 22-1 31-1 32-2 33-1 34-2 35-1 36-2 38-1 39-1 41-1
  pos: tot-1872  1-177 2-115 3-99 4-104 5-144 6-222 7-302 8-248 9-172 10-144 11-68 12-39 13-20 14-12 15-6
  ps : tot-100  1-18 2-15 3-7 4-7 5-7 6-9 7-15 8-13 9-6 10-1 11-2
Exploration time: 1925.584446
Exploration wins: 88
Exploration new examples: 3092

Generation 154
Training examples: 200000
Training unique  : 159241
Training time: 537.840752
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-140  1-29 2-12 3-13 4-6 5-1 6-5 7-3 9-1 10-1 11-2 12-3 13-2 14-3 15-4 16-4 17-4 18-2 19-1 20-3 21-3 22-1 23-1 24-1 25-1 26-1 30-2 31-2 32-4 33-5 34-3 35-5 36-3 37-5 39-2 40-1 42-1
  ns : tot-100  1-29 2-12 3-13 4-6 5-1 6-5 7-3 9-1 10-1 11-2 12-3 13-2 14-1 15-3 16-2 17-3 18-1 19-1 20-2 21-2 22-1 25-1 30-1 32-1 35-1 37-1 39-1
  pos: tot-1860  1-176 2-105 3-99 4-100 5-143 6-219 7-295 8-249 9-179 10-149 11-67 12-41 13-20 14-12 15-6
  ps : tot-100  1-28 2-17 3-7 4-4 5-4 6-8 7-10 8-7 9-5 10-3 11-4 12-2 13-1
Exploration time: 1465.816476
Exploration wins: 89
Exploration new examples: 2906

Generation 155
Training examples: 200000
Training unique  : 159216
Training time: 522.693917
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-151  1-36 2-15 3-8 4-9 5-5 6-1 7-4 8-3 10-1 11-1 12-2 13-3 14-4 15-2 16-5 17-3 18-4 19-1 20-2 21-2 22-2 23-2 24-1 26-2 30-1 31-3 32-3 33-6 34-3 35-4 36-4 37-4 38-1 39-1 40-2 42-1
  ns : tot-100  1-36 2-15 3-8 4-9 5-5 6-1 7-2 8-3 10-1 11-1 12-2 13-2 15-1 16-2 17-1 18-1 21-1 22-2 26-1 31-2 33-2 36-2
  pos: tot-1849  1-173 2-95 3-99 4-101 5-142 6-214 7-293 8-252 9-180 10-151 11-66 12-43 13-21 14-13 15-6
  ps : tot-100  1-31 2-13 3-11 4-5 5-7 6-8 7-5 8-5 9-5 10-5 11-4 14-1
Exploration time: 1449.485317
Exploration wins: 117
Exploration new examples: 2699

Generation 156
Training examples: 200000
Training unique  : 159199
Training time: 467.349879
Exploration: 200 targets 
Exploration: 1976 targets proven at least once
  neg: tot-134  1-24 2-16 3-6 4-6 5-5 6-3 7-2 8-2 9-3 11-1 12-1 13-2 14-6 15-1 16-4 17-3 18-4 19-2 20-2 21-1 22-1 23-3 24-1 26-1 27-1 30-1 31-1 32-5 33-4 34-5 35-4 36-2 37-6 38-1 39-1 40-2 42-1
  ns : tot-100  1-24 2-16 3-6 4-6 5-5 6-3 7-2 8-2 9-3 11-1 12-1 13-2 14-5 16-3 17-3 18-2 19-1 22-1 23-1 24-1 31-1 32-1 33-2 34-1 35-1 36-1 37-3 39-1 40-1
  pos: tot-1866  1-183 2-98 3-97 4-104 5-140 6-213 7-295 8-251 9-180 10-151 11-67 12-47 13-21 14-12 15-7
  ps : tot-100  1-29 2-8 3-7 4-9 5-9 6-13 7-7 8-7 9-4 10-4 11-2 12-1
Exploration time: 1925.132163
Exploration wins: 88
Exploration new examples: 2905

Generation 157
Training examples: 200000
Training unique  : 159287
Training time: 482.77914
Exploration: 200 targets 
Exploration: 1977 targets proven at least once
  neg: tot-146  1-29 2-15 3-14 4-5 5-6 6-5 7-3 8-2 9-1 10-3 12-1 13-1 14-3 15-5 16-1 17-2 18-5 19-3 20-3 21-1 23-3 24-1 25-1 26-1 27-1 30-1 32-5 33-2 34-5 35-4 36-2 37-4 38-4 40-2 41-1 42-1
  ns : tot-100  1-29 2-15 3-14 4-5 5-6 6-5 7-3 8-1 9-1 12-1 14-3 15-3 16-1 17-1 19-2 23-1 24-1 32-1 33-1 34-2 35-2 37-1 40-1
  pos: tot-1854  1-171 2-103 3-94 4-99 5-138 6-207 7-301 8-250 9-183 10-151 11-68 12-48 13-22 14-12 15-7
  ps : tot-100  1-22 2-9 3-8 4-8 5-7 6-13 7-5 8-10 9-11 10-6 12-1
Exploration time: 1629.866805
Exploration wins: 115
Exploration new examples: 2765

Generation 158
Training examples: 200000
Training unique  : 159171
Training time: 535.302943
Exploration: 200 targets 
Exploration: 1977 targets proven at least once
  neg: tot-131  1-21 2-9 3-9 4-8 5-4 6-5 7-5 8-4 10-3 13-2 15-5 16-3 17-2 18-6 19-1 20-5 21-1 23-2 24-1 25-2 26-1 27-1 30-1 32-4 33-2 34-4 35-4 36-4 37-3 38-5 40-1 41-2 42-1
  ns : tot-100  1-21 2-9 3-9 4-8 5-4 6-5 7-5 8-4 10-3 13-1 15-4 16-3 17-1 18-5 20-3 21-1 23-1 25-2 27-1 32-2 34-1 35-1 36-1 37-1 38-1 40-1 41-2
  pos: tot-1869  1-185 2-106 3-90 4-96 5-138 6-201 7-308 8-244 9-182 10-156 11-74 12-47 13-23 14-12 15-7
  ps : tot-100  1-25 2-14 3-8 4-4 5-7 6-9 7-11 8-8 9-5 10-6 11-2 13-1
Exploration time: 2172.21007
Exploration wins: 106
Exploration new examples: 2866

Generation 159
Training examples: 200000
Training unique  : 159198
Training time: 501.540951
Exploration: 200 targets 
Exploration: 1978 targets proven at least once
  neg: tot-125  1-25 2-8 3-6 4-3 5-6 6-4 7-4 8-3 9-3 11-3 13-1 14-1 15-1 16-4 17-4 18-2 19-5 20-2 21-3 22-1 23-1 24-2 26-3 28-1 30-1 32-2 33-3 34-3 35-4 36-3 37-3 38-5 39-1 41-1 42-3
  ns : tot-100  1-25 2-8 3-6 4-3 5-6 6-4 7-4 8-3 9-3 11-3 13-1 14-1 15-1 16-4 17-3 18-1 19-1 20-1 21-2 22-1 24-2 26-3 28-1 30-1 32-1 34-2 36-2 37-2 38-4 41-1
  pos: tot-1875  1-191 2-101 3-93 4-96 5-134 6-198 7-306 8-247 9-185 10-155 11-78 12-49 13-22 14-13 15-7
  ps : tot-100  1-24 2-9 3-7 4-4 5-9 6-8 7-19 8-8 9-7 10-2 11-2 12-1
Exploration time: 1389.706147
Exploration wins: 114
Exploration new examples: 2748

Generation 160
Training examples: 200000
Training unique  : 159195
Training time: 555.98165
Exploration: 200 targets 
Exploration: 1979 targets proven at least once
  neg: tot-111  1-18 2-9 3-5 4-2 5-2 6-5 7-3 8-3 9-2 10-3 12-2 14-1 15-1 16-1 17-5 18-4 19-5 20-2 21-2 22-2 23-2 25-2 27-2 29-1 32-1 33-4 34-1 35-6 36-1 37-3 38-2 39-5 42-4
  ns : tot-100  1-18 2-9 3-5 4-2 5-2 6-5 7-3 8-3 9-2 10-3 12-2 14-1 15-1 16-1 17-5 18-4 19-5 20-2 21-2 22-2 23-2 25-2 27-1 29-1 32-1 33-2 34-1 35-3 37-2 38-1 39-5 42-2
  pos: tot-1889  1-199 2-108 3-90 4-96 5-129 6-198 7-294 8-258 9-186 10-160 11-78 12-50 13-23 14-13 15-7
  ps : tot-100  1-30 2-7 3-8 4-7 5-7 6-9 7-10 8-7 9-3 10-5 11-3 12-2 13-2
Exploration time: 1851.1371
Exploration wins: 99
Exploration new examples: 2778

Generation 161
Training examples: 200000
Training unique  : 159314
Training time: 569.030476
Exploration: 200 targets 
Exploration: 1979 targets proven at least once
  neg: tot-112  1-23 2-11 3-5 4-2 5-2 6-2 7-4 8-2 9-2 10-2 11-3 13-2 15-1 16-1 17-1 18-4 19-4 20-3 21-2 23-2 24-2 26-2 27-1 28-1 30-1 33-3 34-2 35-4 36-4 37-1 38-3 39-1 40-5 42-2 43-2
  ns : tot-100  1-23 2-11 3-5 4-2 5-2 6-2 7-4 8-2 9-2 10-2 11-3 13-2 15-1 16-1 17-1 18-4 19-4 20-3 21-2 23-2 24-2 26-2 27-1 28-1 30-1 33-3 34-2 35-2 36-2 37-1 38-2 40-2 42-1
  pos: tot-1888  1-191 2-117 3-86 4-96 5-128 6-194 7-292 8-261 9-189 10-158 11-80 12-51 13-23 14-15 15-7
  ps : tot-100  1-35 2-11 3-3 4-6 5-7 6-6 7-10 8-8 9-6 10-2 11-3 12-3
Exploration time: 2158.771988
Exploration wins: 92
Exploration new examples: 2975

Generation 162
Training examples: 200000
Training unique  : 159227
Training time: 519.532209
Exploration: 200 targets 
Exploration: 1980 targets proven at least once
  neg: tot-120  1-29 2-14 3-6 4-4 5-1 6-2 7-2 8-4 9-2 10-2 11-2 12-3 14-2 16-1 18-1 19-4 20-4 21-2 22-2 24-1 25-1 27-2 28-1 29-1 31-1 34-3 35-3 36-4 37-2 38-2 39-3 40-3 41-2 42-1 43-3
  ns : tot-100  1-29 2-14 3-6 4-4 5-1 6-2 7-2 8-4 9-2 10-2 11-2 12-3 14-2 16-1 19-2 20-3 21-2 22-1 27-2 29-1 34-2 35-3 36-2 37-1 38-1 39-1 40-2 41-2 43-1
  pos: tot-1880  1-177 2-119 3-90 4-92 5-126 6-195 7-288 8-262 9-191 10-162 11-79 12-51 13-26 14-15 15-7
  ps : tot-100  1-31 2-11 3-5 4-5 5-5 6-12 7-10 8-11 9-2 10-6 11-2
Exploration time: 1733.636468
Exploration wins: 87
Exploration new examples: 2873

Generation 163
Training examples: 200000
Training unique  : 159320
Training time: 584.10575
Exploration: 200 targets 
Exploration: 1980 targets proven at least once
  neg: tot-133  1-30 2-19 3-13 4-3 5-4 7-2 8-2 9-4 10-1 11-2 12-2 13-3 15-1 17-1 18-1 19-2 20-3 21-3 22-3 23-1 24-1 25-1 28-3 30-1 31-1 34-1 35-2 36-5 37-3 38-2 39-3 40-2 41-2 42-3 43-2 44-1
  ns : tot-100  1-30 2-19 3-13 4-3 5-4 7-2 8-2 9-4 10-1 11-2 12-1 13-1 15-1 19-1 20-3 21-1 22-1 23-1 24-1 28-1 31-1 35-1 36-2 38-1 39-2 41-1
  pos: tot-1867  1-163 2-121 3-90 4-90 5-125 6-188 7-288 8-260 9-200 10-158 11-83 12-53 13-26 14-15 15-7
  ps : tot-100  1-32 2-16 3-4 4-1 5-10 6-9 7-8 8-8 9-2 10-5 11-3 12-2
Exploration time: 2075.877252
Exploration wins: 79
Exploration new examples: 2768

Generation 164
Training examples: 200000
Training unique  : 159466
Training time: 574.337901
Exploration: 200 targets 
Exploration: 1980 targets proven at least once
  neg: tot-154  1-40 2-20 3-13 4-11 5-3 6-4 8-2 9-2 10-4 11-1 12-3 13-3 14-1 16-1 17-1 18-1 19-1 20-1 21-5 22-3 23-1 24-1 25-2 28-2 29-1 30-1 32-1 34-1 35-1 36-4 37-4 38-1 39-2 40-4 41-1 42-4 43-2 44-1
  ns : tot-100  1-40 2-20 3-13 4-10 5-3 6-2 8-1 10-2 11-1 12-1 21-3 24-1 25-1 35-1 37-1
  pos: tot-1846  1-150 2-113 3-91 4-92 5-115 6-188 7-288 8-259 9-206 10-155 11-85 12-54 13-28 14-15 15-7
  ps : tot-100  1-24 2-15 3-4 4-5 5-6 6-10 7-17 8-10 9-5 10-2 11-1 12-1
Exploration time: 1661.777202
Exploration wins: 116
Exploration new examples: 2577

Generation 165
Training examples: 200000
Training unique  : 159610
Training time: 541.712569
Exploration: 200 targets 
Exploration: 1980 targets proven at least once
  neg: tot-138  1-18 2-20 3-12 4-12 5-8 6-5 7-2 8-1 9-3 10-2 11-1 12-3 13-4 14-1 16-1 17-1 18-1 19-1 20-1 21-2 22-5 23-1 25-2 26-1 28-2 29-1 30-1 32-1 34-1 36-5 37-3 38-2 39-2 40-4 41-1 42-4 43-2 44-1
  ns : tot-100  1-18 2-20 3-12 4-12 5-8 6-5 7-2 8-1 9-3 10-2 12-2 13-1 14-1 17-1 18-1 21-2 22-2 25-2 37-3 40-1 43-1
  pos: tot-1862  1-160 2-113 3-98 4-90 5-113 6-184 7-280 8-266 9-211 10-156 11-86 12-54 13-29 14-15 15-7
  ps : tot-100  1-29 2-9 3-12 4-7 5-5 6-8 7-11 8-9 9-6 10-2 12-1 14-1
Exploration time: 2727.503679
Exploration wins: 101
Exploration new examples: 2920

Generation 166
Training examples: 200000
Training unique  : 159842
Training time: 486.373953
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-137  1-25 2-9 3-11 4-11 5-9 6-6 7-5 8-2 9-1 10-3 11-3 12-1 13-5 14-1 15-1 16-1 18-1 19-1 20-1 22-5 23-3 26-3 28-2 29-1 30-1 32-1 34-1 36-5 38-4 39-2 40-3 41-2 42-4 43-1 44-2
  ns : tot-100  1-25 2-9 3-11 4-11 5-9 6-6 7-5 8-2 9-1 10-2 11-2 12-1 13-2 14-1 15-1 18-1 19-1 20-1 22-1 23-1 26-1 28-1 38-2 39-1 40-1 41-1
  pos: tot-1863  1-157 2-121 3-91 4-90 5-112 6-180 7-277 8-268 9-214 10-160 11-88 12-53 13-30 14-14 15-8
  ps : tot-100  1-22 2-12 3-9 4-4 5-8 6-13 7-4 8-16 9-7 10-3 11-1 12-1
Exploration time: 2043.576175
Exploration wins: 98
Exploration new examples: 2708

Generation 167
Training examples: 200000
Training unique  : 159867
Training time: 489.552973
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-139  1-27 2-14 3-7 4-6 5-7 6-7 7-5 8-5 9-2 10-2 11-3 12-2 13-4 14-2 15-1 16-2 19-1 20-1 21-1 22-4 23-3 24-1 26-2 27-1 28-1 29-2 30-1 32-1 34-1 36-5 38-2 39-3 40-3 41-2 42-5 43-1 44-2
  ns : tot-100  1-27 2-14 3-7 4-6 5-7 6-7 7-5 8-5 9-2 10-2 11-3 13-3 14-1 16-1 22-2 23-2 27-1 28-1 32-1 36-1 40-1 43-1
  pos: tot-1861  1-160 2-121 3-86 4-91 5-106 6-175 7-283 8-256 9-223 10-164 11-90 12-53 13-31 14-14 15-8
  ps : tot-100  1-21 2-11 3-5 4-4 5-6 6-12 7-14 8-9 9-3 10-5 11-2 12-6 13-1 15-1
Exploration time: 2128.968737
Exploration wins: 90
Exploration new examples: 2928

Generation 168
Training examples: 200000
Training unique  : 159976
Training time: 497.137278
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-149  1-32 2-18 3-9 4-6 5-3 6-6 7-5 8-5 9-5 10-2 11-2 12-5 13-1 14-4 15-1 16-1 17-1 19-1 20-1 21-1 22-2 23-3 24-3 26-2 28-1 29-3 30-1 33-1 34-1 36-4 37-1 38-2 39-3 40-2 41-3 42-5 44-3
  ns : tot-100  1-32 2-18 3-9 4-6 5-3 6-6 7-3 8-4 9-3 10-2 11-1 12-2 14-1 19-1 22-1 23-2 29-2 37-1 39-1 40-1 42-1
  pos: tot-1851  1-161 2-114 3-86 4-89 5-102 6-169 7-280 8-258 9-229 10-162 11-93 12-49 13-36 14-15 15-7 16-1
  ps : tot-100  1-30 2-12 3-4 4-8 5-2 6-7 7-16 8-10 9-5 10-3 11-2 12-1
Exploration time: 2024.143356
Exploration wins: 101
Exploration new examples: 2899

Generation 169
Training examples: 200000
Training unique  : 160209
Training time: 546.248277
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-148  1-28 2-16 3-12 4-7 5-5 6-2 7-8 8-4 9-5 10-2 11-3 12-4 13-3 14-3 15-2 16-1 17-1 20-2 21-1 22-1 23-2 24-4 26-2 28-1 29-1 30-3 33-1 34-1 36-4 38-3 39-2 40-2 41-4 42-4 43-1 44-3
  ns : tot-100  1-28 2-16 3-12 4-7 5-5 6-2 7-6 8-3 9-4 10-1 11-1 12-1 13-1 14-2 15-1 16-1 23-1 24-1 26-1 28-1 33-1 36-2 39-1 42-1
  pos: tot-1852  1-160 2-112 3-93 4-83 5-105 6-163 7-270 8-264 9-234 10-164 11-94 12-50 13-37 14-15 15-7 16-1
  ps : tot-100  1-30 2-15 3-4 4-6 5-7 6-8 7-8 8-8 9-7 10-5 12-1 13-1
Exploration time: 1748.919309
Exploration wins: 108
Exploration new examples: 2860

Generation 170
Training examples: 200000
Training unique  : 160346
Training time: 472.981477
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-140  1-20 2-15 3-11 4-7 5-4 6-5 7-4 8-7 9-3 10-5 11-3 12-4 13-3 14-2 15-3 17-2 20-2 21-1 22-1 23-1 24-4 25-1 26-1 27-1 29-2 30-3 34-2 36-2 37-2 38-3 39-1 40-3 41-4 42-3 43-2 44-3
  ns : tot-100  1-20 2-15 3-11 4-7 5-4 6-5 7-4 8-7 9-3 10-4 11-2 12-4 13-3 14-1 15-1 17-1 20-2 22-1 23-1 30-2 39-1 42-1
  pos: tot-1860  1-158 2-113 3-102 4-80 5-103 6-162 7-270 8-264 9-234 10-166 11-98 12-49 13-37 14-16 15-7 16-1
  ps : tot-100  1-24 2-17 3-8 4-6 5-7 6-4 7-9 8-8 9-8 10-7 11-1 13-1
Exploration time: 1692.495113
Exploration wins: 96
Exploration new examples: 2863

Generation 171
Training examples: 200000
Training unique  : 160605
Training time: 521.5834
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-144  1-29 2-11 3-10 4-8 5-6 6-4 7-3 8-3 9-5 10-3 11-5 12-1 13-4 14-4 15-3 16-1 17-1 18-1 21-3 23-1 24-5 25-1 26-1 27-1 29-2 30-1 31-2 34-2 36-2 37-2 38-3 40-4 41-4 42-2 43-3 44-3
  ns : tot-100  1-29 2-11 3-10 4-8 5-6 6-4 7-3 8-3 9-3 10-3 11-3 13-2 14-1 15-1 16-1 18-1 21-1 24-2 26-1 27-1 31-1 37-1 38-1 40-1 41-1 44-1
  pos: tot-1856  1-159 2-109 3-102 4-79 5-101 6-162 7-265 8-265 9-233 10-166 11-104 12-50 13-36 14-17 15-7 16-1
  ps : tot-100  1-27 2-16 3-10 4-5 5-5 6-5 7-12 8-6 9-7 10-3 11-4
Exploration time: 1450.145634
Exploration wins: 105
Exploration new examples: 2779

Generation 172
Training examples: 200000
Training unique  : 160691
Training time: 534.808287
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-139  1-27 2-14 3-7 4-4 5-7 6-4 7-4 8-2 9-5 10-3 11-5 12-2 13-2 14-5 15-3 17-2 19-1 21-2 22-1 23-1 24-3 25-3 27-1 28-1 29-2 30-1 31-1 32-1 34-2 36-2 37-1 38-3 39-1 40-3 41-4 42-3 43-3 44-2 45-1
  ns : tot-100  1-27 2-14 3-7 4-4 5-7 6-4 7-4 8-2 9-5 10-3 11-5 12-1 13-1 14-3 15-2 17-1 23-1 24-1 27-1 29-1 32-1 34-1 38-1 41-1 43-1 45-1
  pos: tot-1861  1-164 2-105 3-102 4-79 5-100 6-162 7-258 8-271 9-232 10-170 11-103 12-54 13-36 14-17 15-7 16-1
  ps : tot-100  1-30 2-11 3-11 4-4 5-4 6-9 7-7 8-8 9-8 10-5 12-1 13-1 14-1
Exploration time: 1647.476046
Exploration wins: 106
Exploration new examples: 2791

Generation 173
Training examples: 200000
Training unique  : 160881
Training time: 490.146854
Exploration: 200 targets 
Exploration: 1981 targets proven at least once
  neg: tot-133  1-19 2-17 3-8 4-5 5-4 6-6 7-4 8-2 9-2 10-3 11-1 12-6 13-2 14-3 15-4 16-2 17-1 18-1 19-1 21-2 22-1 24-3 25-4 28-2 29-1 30-2 31-1 33-1 34-1 35-1 36-2 37-1 38-2 39-2 40-3 41-3 42-4 43-2 44-3 46-1
  ns : tot-100  1-19 2-17 3-8 4-5 5-4 6-6 7-4 8-2 9-2 10-3 11-1 12-5 13-2 14-3 15-3 16-1 18-1 19-1 21-1 24-1 25-2 30-1 33-1 35-1 36-1 37-1 39-1 41-2 42-1
  pos: tot-1867  1-159 2-112 3-98 4-83 5-100 6-157 7-260 8-270 9-232 10-173 11-108 12-53 13-36 14-17 15-8 16-1
  ps : tot-100  1-20 2-10 3-4 4-6 5-2 6-6 7-13 8-12 9-12 10-7 11-4 12-3 16-1
Exploration time: 1834.946892
Exploration wins: 103
Exploration new examples: 2928

Generation 174
Training examples: 200000
Training unique  : 161150
Training time: 548.00468
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-130  1-19 2-14 3-10 4-5 5-3 6-4 7-6 8-3 9-2 10-2 11-3 12-2 13-4 15-4 16-4 17-2 19-1 20-1 21-1 22-2 24-2 25-3 26-2 28-2 29-1 30-1 31-2 34-2 36-2 37-1 38-3 39-1 40-3 41-1 42-5 43-3 44-3 46-1
  ns : tot-100  1-19 2-14 3-10 4-5 5-3 6-4 7-6 8-3 9-2 10-2 11-3 12-2 13-4 15-3 16-1 17-1 19-1 20-1 22-1 24-2 26-1 28-2 29-1 34-1 36-1 38-2 40-1 41-1 42-1 44-2
  pos: tot-1870  1-161 2-112 3-102 4-79 5-101 6-153 7-252 8-270 9-232 10-178 11-111 12-54 13-39 14-17 15-8 17-1
  ps : tot-100  1-24 2-15 3-6 4-2 5-6 6-6 7-12 8-8 9-6 10-6 11-5 12-1 13-2 14-1
Exploration time: 1493.150944
Exploration wins: 90
Exploration new examples: 2541

Generation 175
Training examples: 200000
Training unique  : 161204
Training time: 537.174778
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-140  1-31 2-11 3-10 4-8 5-5 6-2 7-2 8-6 9-2 10-1 11-2 12-3 13-2 14-3 15-1 16-5 17-2 18-1 20-1 21-2 22-1 23-1 25-5 26-1 27-1 29-2 30-2 31-2 34-1 35-1 36-1 37-2 38-1 39-3 40-2 41-1 42-5 43-4 44-1 45-2 46-1
  ns : tot-100  1-31 2-11 3-10 4-8 5-5 6-2 7-2 8-6 9-2 10-1 11-2 12-1 13-1 14-2 15-1 16-3 17-1 21-2 22-1 25-2 29-1 30-1 31-1 40-1 42-1 44-1
  pos: tot-1860  1-158 2-105 3-104 4-80 5-97 6-152 7-245 8-272 9-234 10-178 11-112 12-58 13-37 14-18 15-9 17-1
  ps : tot-100  1-30 2-7 3-5 4-5 5-4 6-5 7-18 8-6 9-8 10-8 12-1 14-3
Exploration time: 1860.018328
Exploration wins: 102
Exploration new examples: 2786

Generation 176
Training examples: 200000
Training unique  : 161336
Training time: 540.013928
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-138  1-30 2-13 3-8 4-8 5-6 6-2 7-2 8-2 9-5 10-2 11-1 12-4 13-2 14-2 15-1 16-3 17-3 18-2 20-1 22-2 23-2 25-3 26-2 27-1 29-1 30-2 31-2 32-1 34-1 35-1 36-1 37-2 38-1 39-3 40-1 41-2 42-4 43-5 45-3 46-1
  ns : tot-100  1-30 2-13 3-8 4-8 5-6 6-2 7-2 8-2 9-5 10-2 11-1 12-3 14-2 15-1 16-1 17-3 20-1 23-2 25-1 26-1 38-1 40-1 41-1 42-2 43-1
  pos: tot-1862  1-160 2-109 3-100 4-76 5-98 6-151 7-232 8-283 9-232 10-178 11-120 12-57 13-38 14-15 15-12 17-1
  ps : tot-100  1-34 2-8 3-10 4-9 5-7 6-2 7-6 8-8 9-8 10-3 11-1 13-2 15-2
Exploration time: 1885.730688
Exploration wins: 96
Exploration new examples: 2883

Generation 177
Training examples: 200000
Training unique  : 161360
Training time: 535.644697
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-142  1-26 2-19 3-10 4-6 5-4 6-5 7-2 8-2 9-2 10-4 11-2 12-2 13-5 15-2 16-3 17-1 18-5 21-1 22-2 24-2 25-2 26-2 27-2 29-1 30-2 31-2 32-1 34-1 35-1 36-1 37-2 39-4 41-2 42-3 43-6 44-1 45-3 46-1
  ns : tot-100  1-26 2-19 3-10 4-6 5-4 6-5 7-2 8-2 9-2 10-4 11-2 12-2 13-4 16-1 18-2 22-1 24-1 26-1 27-1 31-1 36-1 43-2 44-1
  pos: tot-1858  1-148 2-117 3-95 4-74 5-98 6-156 7-228 8-281 9-232 10-183 11-122 12-58 13-36 14-17 15-10 16-2 17-1
  ps : tot-100  1-28 2-16 3-3 4-2 5-6 6-11 7-7 8-7 9-10 10-3 11-6 13-1
Exploration time: 1638.564578
Exploration wins: 97
Exploration new examples: 2964

Generation 178
Training examples: 200000
Training unique  : 161322
Training time: 532.245475
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-145  1-29 2-17 3-11 4-9 5-3 6-3 7-5 8-1 9-2 11-3 12-2 13-3 14-4 15-2 16-2 17-2 18-3 19-2 21-1 22-1 23-1 24-1 25-3 26-1 27-2 28-1 29-1 30-2 31-1 32-2 34-1 35-1 37-3 39-4 41-2 42-3 43-4 44-2 45-4 46-1
  ns : tot-100  1-29 2-17 3-11 4-9 5-3 6-3 7-4 8-1 9-2 11-1 13-1 14-2 15-1 16-2 18-3 19-1 21-1 22-1 25-2 27-1 30-1 34-1 41-1 43-2
  pos: tot-1855  1-146 2-112 3-100 4-74 5-94 6-149 7-232 8-281 9-229 10-189 11-119 12-64 13-35 14-18 15-10 16-2 17-1
  ps : tot-100  1-19 2-14 3-9 4-3 5-5 6-12 7-7 8-10 9-9 10-9 11-1 12-2
Exploration time: 2090.171166
Exploration wins: 93
Exploration new examples: 2849

Generation 179
Training examples: 200000
Training unique  : 161357
Training time: 526.946694
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-152  1-27 2-22 3-12 4-7 5-6 6-3 7-4 8-3 9-1 10-2 11-2 12-3 13-2 14-3 15-3 16-1 17-4 19-4 20-1 22-1 23-2 24-1 25-1 26-3 27-1 28-2 29-1 30-1 31-2 32-2 35-2 37-3 39-4 41-1 42-4 43-2 44-4 45-4 46-1
  ns : tot-100  1-27 2-22 3-12 4-7 5-6 6-3 7-3 8-3 10-1 12-2 13-2 14-1 15-2 17-1 19-1 20-1 23-1 30-1 39-1 42-1 44-1 45-1
  pos: tot-1848  1-147 2-103 3-100 4-76 5-92 6-140 7-236 8-278 9-230 10-188 11-127 12-63 13-37 14-18 15-10 16-2 17-1
  ps : tot-100  1-21 2-13 3-5 4-5 5-5 6-8 7-10 8-15 9-5 10-6 11-4 12-1 13-1 14-1
Exploration time: 2164.763041
Exploration wins: 108
Exploration new examples: 2765

Generation 180
Training examples: 200000
Training unique  : 161378
Training time: 523.479808
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-144  1-23 2-15 3-12 4-10 5-4 6-6 7-4 8-2 9-3 10-1 11-3 12-1 13-1 14-4 15-2 16-2 17-3 18-1 19-3 20-1 21-1 22-1 23-1 24-2 25-1 26-3 27-1 28-2 29-1 31-3 32-2 35-2 37-3 39-3 40-1 41-1 42-3 43-3 44-3 45-4 46-2
  ns : tot-100  1-23 2-15 3-12 4-10 5-4 6-6 7-4 8-2 9-3 10-1 11-2 14-2 16-2 17-2 18-1 19-1 21-1 22-1 23-1 25-1 26-2 31-1 35-1 42-1 46-1
  pos: tot-1856  1-157 2-100 3-106 4-72 5-91 6-136 7-233 8-271 9-240 10-187 11-128 12-66 13-37 14-18 15-11 16-2 17-1
  ps : tot-100  1-24 2-12 3-11 4-3 5-7 6-11 7-10 8-8 9-3 10-5 11-5 12-1
Exploration time: 1703.740169
Exploration wins: 115
Exploration new examples: 2745

Generation 181
Training examples: 200000
Training unique  : 161384
Training time: 535.180355
Exploration: 200 targets 
Exploration: 1982 targets proven at least once
  neg: tot-129  1-19 2-12 3-8 4-5 5-8 6-3 7-5 8-1 9-2 10-3 11-2 12-2 13-1 14-2 15-4 17-3 18-2 19-3 20-2 22-1 23-1 24-3 26-2 27-3 28-2 29-1 31-2 32-2 35-1 36-1 37-3 39-3 40-1 41-1 42-2 43-4 44-3 45-4 46-1 47-1
  ns : tot-100  1-19 2-12 3-8 4-5 5-8 6-3 7-5 8-1 9-2 10-3 11-2 12-2 13-1 14-1 15-3 17-3 18-1 19-3 20-2 22-1 23-1 24-2 28-1 29-1 31-2 35-1 37-1 41-1 42-1 43-1 44-2 45-1
  pos: tot-1871  1-167 2-104 3-104 4-77 5-86 6-131 7-232 8-273 9-244 10-185 11-128 12-70 13-38 14-18 15-11 16-2 17-1
  ps : tot-100  1-33 2-7 3-10 4-4 5-7 6-4 7-12 8-5 9-5 10-7 11-4 12-1 13-1
Exploration time: 2213.600427
Exploration wins: 96
Exploration new examples: 2820

Generation 182
Training examples: 200000
Training unique  : 161572
Training time: 533.128819
Exploration: 200 targets 
Exploration: 1983 targets proven at least once
  neg: tot-133  1-26 2-8 3-8 4-7 5-3 6-6 7-2 8-5 9-1 10-2 11-3 12-2 13-2 14-2 15-2 16-3 18-4 19-1 20-3 21-2 23-1 24-2 25-2 26-2 27-3 28-1 29-1 30-1 32-4 36-2 37-2 38-1 39-3 40-1 42-2 43-4 44-2 45-4 46-2 47-1
  ns : tot-100  1-26 2-8 3-8 4-7 5-3 6-6 7-2 8-5 9-1 10-2 11-2 12-2 13-2 14-2 15-1 16-3 18-1 20-2 21-1 24-1 25-1 26-1 27-1 28-1 29-1 32-3 37-1 38-1 40-1 42-1 43-1 45-1 46-1
  pos: tot-1867  1-156 2-115 3-99 4-80 5-82 6-131 7-224 8-278 9-244 10-183 11-131 12-73 13-38 14-19 15-11 16-2 17-1
  ps : tot-100  1-21 2-10 3-5 4-5 5-6 6-6 7-9 8-11 9-9 10-6 11-4 12-3 13-2 14-2 15-1
Exploration time: 1281.844917
Exploration wins: 111
Exploration new examples: 2795

Generation 183
Training examples: 200000
Training unique  : 161675
Training time: 537.839063
Exploration: 200 targets 
Exploration: 1983 targets proven at least once
  neg: tot-122  1-21 2-9 3-4 4-5 5-5 6-3 7-4 9-5 10-1 11-2 12-2 13-2 14-2 15-2 16-1 17-3 18-3 19-2 20-1 21-3 22-1 23-1 24-1 25-2 26-2 27-3 28-1 29-1 30-2 32-1 33-3 36-2 37-1 38-1 39-4 41-1 42-1 43-4 44-3 45-3 46-2 47-2
  ns : tot-100  1-21 2-9 3-4 4-5 5-5 6-3 7-4 9-5 10-1 11-2 12-2 13-2 14-2 15-2 16-1 17-3 18-2 19-1 20-1 21-1 22-1 23-1 25-1 26-1 27-2 28-1 29-1 30-1 32-1 33-1 36-2 38-1 39-1 41-1 42-1 43-2 44-2 45-1 46-1 47-1
  pos: tot-1878  1-167 2-117 3-98 4-78 5-79 6-130 7-221 8-276 9-246 10-185 11-133 12-74 13-39 14-19 15-12 16-3 17-1
  ps : tot-100  1-34 2-12 3-6 4-4 5-3 6-6 7-13 8-7 9-4 10-5 11-2 12-2 13-1 15-1
Exploration time: 1610.457137
Exploration wins: 87
Exploration new examples: 2778

Generation 184
Training examples: 200000
Training unique  : 161762
Training time: 479.329021
Exploration: 200 targets 
Exploration: 1983 targets proven at least once
  neg: tot-135  1-35 2-11 3-7 4-3 5-3 6-4 7-2 8-4 10-5 11-1 12-2 13-1 14-2 15-1 16-2 17-1 18-3 19-3 20-1 21-3 23-1 24-2 25-1 26-2 27-2 28-2 29-1 30-2 31-1 33-3 34-1 37-3 39-4 40-1 42-1 43-2 44-3 45-4 46-2 47-2 48-1
  ns : tot-100  1-35 2-11 3-7 4-3 5-3 6-4 7-2 8-4 10-5 11-1 12-2 13-1 14-1 16-1 18-3 19-2 21-1 23-1 24-1 25-1 26-1 27-1 28-1 30-1 34-1 37-1 39-1 43-1 45-1 46-1 48-1
  pos: tot-1865  1-155 2-117 3-94 4-79 5-79 6-127 7-214 8-282 9-248 10-184 11-136 12-74 13-40 14-20 15-11 16-4 17-1
  ps : tot-100  1-31 2-9 3-5 4-3 5-2 6-7 7-14 8-7 9-11 10-4 11-3 12-3 13-1
Exploration time: 1317.375317
Exploration wins: 101
Exploration new examples: 2689

Generation 185
Training examples: 200000
Training unique  : 161683
Training time: 540.075702
Exploration: 200 targets 
Exploration: 1983 targets proven at least once
  neg: tot-134  1-26 2-21 3-6 4-6 5-1 6-2 7-2 8-1 9-3 11-5 12-1 13-2 14-2 15-2 16-1 17-2 19-4 20-3 21-2 22-1 24-2 25-1 26-2 27-2 28-2 29-2 30-1 31-2 33-3 35-1 37-2 38-1 39-3 40-2 42-1 43-1 44-4 45-3 46-2 47-3 49-1
  ns : tot-100  1-26 2-21 3-6 4-6 5-1 6-2 7-2 8-1 9-3 11-4 12-1 13-2 14-2 15-2 17-1 19-2 20-1 22-1 24-1 25-1 26-1 27-2 29-1 30-1 31-1 33-2 37-1 39-2 42-1 44-1 45-1
  pos: tot-1866  1-151 2-120 3-94 4-80 5-79 6-121 7-207 8-289 9-244 10-191 11-137 12-74 13-42 14-21 15-11 16-4 17-1
  ps : tot-100  1-21 2-11 3-11 4-8 5-4 6-4 7-15 8-9 9-5 10-5 11-2 12-1 13-3 15-1
Exploration time: 1510.134757
Exploration wins: 113
Exploration new examples: 2696

Generation 186
Training examples: 200000
Training unique  : 161719
Training time: 542.036152
Exploration: 200 targets 
Exploration: 1984 targets proven at least once
  neg: tot-121  1-24 2-11 3-14 4-3 5-4 7-1 8-2 10-2 11-1 12-4 13-1 14-2 15-2 16-2 17-1 18-1 19-2 20-4 21-3 23-1 24-1 25-1 26-2 27-1 28-2 29-1 30-1 31-1 32-1 33-1 34-2 35-1 37-1 38-2 39-1 40-3 43-2 44-3 45-2 46-3 47-3 49-1
  ns : tot-100  1-24 2-11 3-14 4-3 5-4 7-1 8-2 10-2 11-1 12-4 13-1 14-2 15-2 16-2 17-1 18-1 19-2 20-3 21-3 23-1 26-1 27-1 28-2 29-1 30-1 31-1 34-1 40-1 43-2 44-1 45-1 46-2 49-1
  pos: tot-1879  1-167 2-118 3-90 4-79 5-82 6-119 7-195 8-295 9-248 10-191 11-140 12-75 13-40 14-24 15-10 16-5 17-1
  ps : tot-100  1-23 2-13 3-15 4-4 5-5 6-5 7-5 8-10 9-7 10-8 11-4 12-1
Exploration time: 1350.870724
Exploration wins: 94
Exploration new examples: 2872

Generation 187
Training examples: 200000
Training unique  : 161614
Training time: 493.421994
Exploration: 200 targets 
Exploration: 1984 targets proven at least once
  neg: tot-127  1-27 2-13 3-11 4-7 5-3 6-2 8-1 9-2 11-1 12-1 13-4 14-1 15-2 16-2 17-2 18-1 19-1 20-3 21-3 22-3 24-2 25-1 26-1 27-1 28-1 29-2 30-1 31-1 32-2 33-1 34-1 35-2 37-1 38-2 39-1 40-2 41-1 44-4 45-2 46-2 47-5 50-1
  ns : tot-100  1-27 2-13 3-11 4-7 5-3 6-2 8-1 9-2 11-1 12-1 13-4 14-1 15-2 16-2 17-1 19-1 20-1 21-2 22-1 25-1 29-2 30-1 31-1 33-1 35-2 38-1 39-1 41-1 44-2 45-1 47-2 50-1
  pos: tot-1873  1-165 2-114 3-80 4-89 5-81 6-118 7-194 8-290 9-251 10-189 11-144 12-77 13-41 14-24 15-10 16-5 17-1
  ps : tot-100  1-32 2-8 3-7 4-4 5-5 6-7 7-6 8-8 9-9 10-3 11-5 12-3 13-1 14-2
Exploration time: 1682.747618
Exploration wins: 84
Exploration new examples: 2855

Generation 188
Training examples: 200000
Training unique  : 161598
Training time: 543.135098
Exploration: 200 targets 
Exploration: 1984 targets proven at least once
  neg: tot-143  1-32 2-18 3-10 4-9 5-6 6-3 7-1 9-1 10-2 12-1 13-1 14-4 15-1 16-2 17-3 18-2 20-3 21-2 22-4 23-1 24-2 26-2 27-1 28-1 30-2 31-1 32-3 34-2 36-2 37-1 38-1 39-1 40-3 42-1 44-2 45-3 46-3 47-3 48-2 51-1
  ns : tot-100  1-32 2-18 3-10 4-9 5-6 6-3 7-1 9-1 10-1 12-1 14-3 15-1 17-2 20-2 22-2 23-1 32-1 38-1 39-1 40-2 42-1 44-1
  pos: tot-1857  1-149 2-116 3-79 4-87 5-78 6-115 7-195 8-288 9-250 10-195 11-142 12-79 13-43 14-23 15-12 16-5 17-1
  ps : tot-100  1-24 2-13 3-9 4-5 5-2 6-9 7-9 8-9 9-8 10-3 11-4 12-1 13-3 16-1
Exploration time: 1626.755458
Exploration wins: 98
Exploration new examples: 2765

Generation 189
Training examples: 200000
Training unique  : 161720
Training time: 462.960823
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-145  1-30 2-20 3-13 4-4 5-7 6-6 7-3 10-2 11-1 13-2 14-1 15-3 16-2 17-1 18-4 20-1 21-4 22-2 23-2 24-3 26-2 27-1 28-1 30-2 31-1 32-2 33-1 34-2 36-2 37-1 39-1 40-2 41-2 43-1 44-1 45-3 46-3 47-3 48-2 51-1
  ns : tot-100  1-30 2-20 3-13 4-4 5-7 6-6 7-3 10-2 11-1 13-1 14-1 15-1 18-2 20-1 21-3 22-1 24-1 30-1 36-1 47-1
  pos: tot-1855  1-153 2-112 3-77 4-86 5-78 6-108 7-195 8-287 9-251 10-200 11-141 12-82 13-41 14-26 15-12 16-4 17-2
  ps : tot-100  1-20 2-18 3-5 4-5 5-2 6-5 7-8 8-12 9-13 10-4 11-2 12-2 13-2 14-1 16-1
Exploration time: 1971.09978
Exploration wins: 104
Exploration new examples: 2735

Generation 190
Training examples: 200000
Training unique  : 161859
Training time: 552.27227
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-141  1-25 2-13 3-16 4-8 5-4 6-7 7-6 8-3 11-2 13-1 15-3 16-3 17-1 18-2 19-2 21-2 22-3 23-3 24-2 25-1 26-2 27-1 28-1 30-1 31-2 32-2 33-1 34-2 36-1 37-2 39-1 40-2 41-2 43-1 44-1 45-3 46-3 47-2 48-3 51-1
  ns : tot-100  1-25 2-13 3-16 4-8 5-4 6-7 7-6 8-3 11-1 15-1 16-2 17-1 18-1 21-1 23-1 24-1 26-1 31-2 32-1 37-2 41-1 45-1 46-1
  pos: tot-1859  1-162 2-104 3-82 4-85 5-81 6-103 7-191 8-282 9-249 10-208 11-143 12-82 13-41 14-27 15-13 16-3 17-3
  ps : tot-100  1-19 2-9 3-9 4-6 5-4 6-7 7-7 8-7 9-10 10-12 11-4 12-4 13-1 14-1
Exploration time: 1253.929196
Exploration wins: 114
Exploration new examples: 2606

Generation 191
Training examples: 200000
Training unique  : 161900
Training time: 541.832412
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-127  1-19 2-10 3-6 4-14 5-5 6-3 7-5 8-5 9-2 11-1 13-1 15-2 16-2 17-2 18-2 19-3 21-1 22-4 23-2 24-2 25-2 26-1 27-2 28-1 30-1 32-3 33-2 34-2 36-1 38-2 39-1 40-2 41-1 42-1 43-1 44-1 45-2 46-3 47-3 48-3 51-1
  ns : tot-100  1-19 2-10 3-6 4-14 5-5 6-3 7-5 8-5 9-2 11-1 13-1 15-2 16-2 17-2 18-1 19-1 21-1 22-2 23-1 24-2 25-1 26-1 27-1 32-1 33-2 34-1 42-1 43-1 44-1 45-1 46-1 47-1 48-2
  pos: tot-1873  1-176 2-103 3-80 4-85 5-82 6-100 7-191 8-282 9-245 10-205 11-151 12-82 13-44 14-27 15-14 16-3 17-3
  ps : tot-100  1-21 2-16 3-10 4-7 5-5 6-2 7-8 8-11 9-9 10-5 11-1 12-1 13-3 15-1
Exploration time: 1704.369693
Exploration wins: 84
Exploration new examples: 3015

Generation 192
Training examples: 200000
Training unique  : 162139
Training time: 546.563805
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-143  1-35 2-11 3-4 4-4 5-12 6-4 7-3 8-5 9-5 10-2 12-1 14-1 16-2 17-2 18-3 19-3 20-1 22-3 23-3 24-1 25-3 26-1 27-2 28-2 30-1 32-2 33-1 34-3 35-1 36-1 38-2 39-1 40-2 41-1 43-1 44-1 45-2 46-3 47-3 48-2 49-2 51-1
  ns : tot-100  1-35 2-11 3-4 4-4 5-12 6-4 7-3 8-4 9-5 10-2 12-1 14-1 16-1 17-1 18-1 19-1 20-1 22-2 23-2 25-1 34-2 38-1 47-1
  pos: tot-1857  1-174 2-97 3-74 4-81 5-81 6-103 7-185 8-279 9-245 10-209 11-155 12-82 13-42 14-30 15-13 16-4 17-3
  ps : tot-100  1-29 2-14 3-5 4-5 5-5 6-5 7-4 8-10 9-10 10-5 11-5 12-1 13-1 14-1
Exploration time: 1769.12396
Exploration wins: 90
Exploration new examples: 2862

Generation 193
Training examples: 200000
Training unique  : 162228
Training time: 550.013975
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-153  1-34 2-22 3-10 4-4 5-4 6-6 7-3 8-4 9-3 10-3 11-2 13-1 15-1 16-1 17-2 18-3 19-3 20-1 21-1 22-1 23-3 24-3 25-2 26-2 27-2 28-2 30-1 32-2 33-1 34-1 35-3 36-1 38-1 39-2 40-2 41-1 43-1 44-1 45-2 46-3 47-2 48-3 49-2 51-1
  ns : tot-100  1-34 2-22 3-10 4-4 5-4 6-4 7-1 8-4 9-2 10-1 11-1 17-2 18-1 19-2 21-1 23-2 24-1 25-1 33-1 35-1 40-1
  pos: tot-1847  1-169 2-92 3-73 4-80 5-79 6-102 7-186 8-273 9-245 10-214 11-155 12-86 13-42 14-30 15-14 16-4 17-3
  ps : tot-100  1-28 2-13 3-8 4-8 5-4 6-4 7-6 8-8 9-7 10-7 11-3 12-2 14-1 15-1
Exploration time: 1476.615144
Exploration wins: 110
Exploration new examples: 2730

Generation 194
Training examples: 200000
Training unique  : 162196
Training time: 549.186457
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-143  1-21 2-19 3-13 4-8 5-4 6-3 7-6 8-1 9-5 10-2 11-2 12-1 13-1 15-1 16-1 18-4 19-2 20-3 22-2 23-1 24-4 25-2 26-3 27-2 28-2 30-1 32-2 34-2 35-2 36-2 38-1 39-2 40-1 41-2 43-1 44-1 45-2 46-3 47-2 48-3 49-2 51-1
  ns : tot-100  1-21 2-19 3-13 4-8 5-4 6-3 7-6 8-1 9-5 10-2 11-2 12-1 13-1 15-1 18-1 20-2 22-1 23-1 24-1 26-2 35-1 39-1 48-2 49-1
  pos: tot-1857  1-172 2-95 3-73 4-77 5-82 6-102 7-184 8-271 9-246 10-214 11-159 12-87 13-44 14-29 15-14 16-5 17-3
  ps : tot-100  1-22 2-13 3-7 4-5 5-5 6-5 7-8 8-10 9-11 10-7 11-5 12-2
Exploration time: 1597.50445
Exploration wins: 88
Exploration new examples: 2787

Generation 195
Training examples: 200000
Training unique  : 162237
Training time: 548.480425
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-155  1-27 2-16 3-16 4-11 5-8 6-3 7-3 8-5 9-1 10-4 11-1 12-2 13-1 14-1 16-2 18-3 19-3 20-1 21-2 22-1 24-4 25-3 26-1 27-4 28-2 30-1 32-2 34-2 35-1 36-3 38-1 39-1 40-2 41-2 43-1 44-1 45-2 46-3 47-2 48-1 49-3 50-1 51-1
  ns : tot-100  1-27 2-16 3-16 4-11 5-8 6-3 7-2 8-4 10-3 13-1 14-1 19-1 21-1 22-1 26-1 32-1 43-1 45-1 46-1
  pos: tot-1845  1-165 2-93 3-71 4-74 5-82 6-101 7-181 8-267 9-245 10-218 11-161 12-90 13-46 14-29 15-14 16-5 17-3
  ps : tot-100  1-29 2-10 3-6 4-4 5-7 6-6 7-3 8-15 9-8 10-3 11-4 12-4 14-1
Exploration time: 1567.241533
Exploration wins: 106
Exploration new examples: 2862

Generation 196
Training examples: 200000
Training unique  : 162447
Training time: 544.189881
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-149  1-20 2-17 3-10 4-12 5-10 6-7 7-4 8-3 9-3 10-1 11-3 12-2 14-1 16-2 18-3 19-2 20-2 21-1 22-1 23-1 24-4 25-3 27-5 28-2 30-1 32-1 33-1 34-2 35-1 36-3 38-1 39-1 40-2 41-2 44-2 45-1 46-3 47-3 48-1 49-3 50-1 51-1
  ns : tot-100  1-20 2-17 3-10 4-12 5-10 6-6 7-4 8-1 9-3 10-1 11-1 12-1 14-1 16-1 19-1 20-1 21-1 24-2 27-1 30-1 33-1 40-1 46-1 47-1 51-1
  pos: tot-1851  1-162 2-101 3-73 4-75 5-78 6-99 7-184 8-255 9-252 10-223 11-159 12-89 13-50 14-28 15-15 16-5 17-3
  ps : tot-100  1-24 2-14 3-7 4-5 5-5 6-7 7-5 8-9 9-9 10-7 11-1 12-5 13-1 16-1
Exploration time: 1525.214965
Exploration wins: 104
Exploration new examples: 2759

Generation 197
Training examples: 200000
Training unique  : 162516
Training time: 540.837526
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-145  1-27 2-12 3-7 4-9 5-11 6-8 7-2 8-5 9-1 10-3 11-3 12-2 13-1 15-1 16-1 17-1 18-3 19-1 20-2 22-1 23-1 24-2 25-5 27-4 28-3 32-1 34-3 35-1 36-3 38-1 39-1 40-1 41-3 44-2 45-1 46-2 47-3 48-2 49-3 50-1 52-1
  ns : tot-100  1-27 2-12 3-7 4-9 5-11 6-8 7-2 8-5 10-2 11-2 12-1 13-1 15-1 16-1 18-1 22-1 24-1 28-1 34-1 36-1 38-1 40-1 44-1 48-1 49-1
  pos: tot-1855  1-169 2-96 3-73 4-76 5-76 6-96 7-186 8-251 9-251 10-225 11-165 12-85 13-54 14-29 15-15 16-4 17-4
  ps : tot-100  1-29 2-11 3-8 4-7 5-2 6-7 7-5 8-7 9-10 10-5 11-6 12-1 14-1 16-1
Exploration time: 1516.165551
Exploration wins: 100
Exploration new examples: 2837

Generation 198
Training examples: 200000
Training unique  : 162711
Training time: 542.754701
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-145  1-25 2-18 3-9 4-3 5-6 6-9 7-6 8-2 9-4 10-1 11-3 12-3 13-1 14-1 16-1 17-2 18-2 19-2 20-2 23-2 24-1 25-6 27-4 28-2 29-1 32-1 34-2 35-2 36-2 37-1 39-2 41-4 44-1 45-2 46-2 47-3 48-1 49-3 50-2 52-1
  ns : tot-100  1-25 2-18 3-9 4-3 5-6 6-9 7-5 8-2 9-3 11-1 12-1 14-1 17-1 19-2 20-1 23-1 24-1 25-2 27-2 32-1 34-1 35-2 41-1 45-1 49-1
  pos: tot-1855  1-165 2-99 3-71 4-74 5-79 6-91 7-188 8-249 9-248 10-230 11-164 12-90 13-55 14-28 15-16 16-3 17-5
  ps : tot-100  1-22 2-7 3-5 4-6 5-5 6-6 7-12 8-9 9-7 10-12 11-6 12-2 13-1
Exploration time: 1342.564638
Exploration wins: 119
Exploration new examples: 2624

Generation 199
Training examples: 200000
Training unique  : 162619
Training time: 535.516687
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-126  1-18 2-11 3-8 4-3 5-3 6-5 7-9 8-4 9-2 10-3 11-2 12-3 13-2 16-1 17-1 18-3 20-2 21-1 23-1 24-1 25-5 26-2 27-2 28-4 29-1 33-1 34-1 35-1 36-4 37-1 39-2 41-3 42-1 44-1 45-1 46-3 47-3 48-1 49-2 50-3 52-1
  ns : tot-100  1-18 2-11 3-8 4-3 5-3 6-5 7-9 8-4 9-2 10-3 11-2 12-3 13-2 16-1 17-1 18-3 20-1 21-1 23-1 25-4 26-1 27-2 28-2 29-1 35-1 36-2 37-1 39-2 41-1 46-1 50-1
  pos: tot-1874  1-180 2-101 3-70 4-73 5-79 6-90 7-182 8-252 9-249 10-225 11-170 12-94 13-56 14-29 15-16 16-3 17-5
  ps : tot-100  1-28 2-15 3-4 4-5 5-2 6-6 7-6 8-11 9-11 10-8 11-1 12-1 14-2
Exploration time: 1815.502252
Exploration wins: 95
Exploration new examples: 2945

Generation 200
Training examples: 200000
Training unique  : 162785
Training time: 534.52614
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-131  1-29 2-9 3-7 4-4 5-2 6-2 7-5 8-7 9-4 10-2 11-2 12-2 13-2 14-2 17-1 18-1 19-3 20-1 21-1 24-2 25-1 26-5 27-1 28-4 29-2 30-1 33-1 34-1 36-3 37-2 38-1 40-2 41-2 42-2 44-1 45-1 46-2 47-4 48-1 49-2 50-2 51-1 52-1
  ns : tot-100  1-29 2-9 3-7 4-4 5-2 6-2 7-5 8-7 9-4 10-2 11-2 12-2 13-2 17-1 19-3 26-4 28-2 30-1 34-1 36-3 40-1 42-1 46-2 47-1 48-1 51-1 52-1
  pos: tot-1869  1-176 2-97 3-72 4-72 5-81 6-86 7-182 8-247 9-249 10-226 11-177 12-94 13-57 14-27 15-18 16-3 17-5
  ps : tot-100  1-31 2-10 4-8 5-4 6-1 7-6 8-8 9-10 10-8 11-4 12-7 13-1 14-1 15-1
Exploration time: 1486.301471
Exploration wins: 104
Exploration new examples: 2739

Generation 201
Training examples: 200000
Training unique  : 162768
Training time: 521.068445
Exploration: 200 targets 
Exploration: 1985 targets proven at least once
  neg: tot-127  1-25 2-14 3-3 4-3 5-3 6-2 7-2 8-5 9-6 10-4 11-2 12-2 13-2 14-3 18-2 20-3 21-1 24-2 25-1 26-1 27-5 28-2 29-4 31-1 33-1 35-1 37-5 38-1 40-1 41-3 42-1 43-1 44-1 45-1 47-5 48-1 49-3 50-2 52-1 53-1
  ns : tot-100  1-25 2-14 3-3 4-3 5-3 6-2 7-2 8-5 9-6 10-4 11-2 12-2 13-2 14-3 18-1 20-2 21-1 24-1 26-1 27-2 28-2 29-3 31-1 35-1 37-2 41-1 45-1 47-3 50-1 53-1
  pos: tot-1873  1-174 2-102 3-78 4-64 5-83 6-89 7-177 8-244 9-246 10-227 11-181 12-91 13-63 14-27 15-18 16-4 17-5
  ps : tot-100  1-25 2-14 3-12 4-3 5-5 6-3 7-2 8-12 9-6 10-8 11-4 12-2 13-3 14-1
Exploration time: 1640.164038
Exploration wins: 89
Exploration new examples: 2778

Generation 202
Training examples: 200000
Training unique  : 162882
Training time: 524.519277
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-138  1-29 2-12 3-11 4-3 5-2 6-3 7-2 8-2 9-5 10-6 11-4 12-2 13-2 14-2 15-3 18-1 19-1 20-1 21-2 22-1 24-1 25-2 27-4 28-2 29-3 30-3 32-1 33-1 36-1 37-3 38-3 40-1 41-2 42-2 43-1 44-1 47-2 48-4 49-3 50-1 51-1 52-1 54-1
  ns : tot-100  1-29 2-12 3-11 4-3 5-2 6-3 7-2 8-2 9-5 10-6 11-4 12-2 13-2 14-1 15-2 18-1 20-1 21-1 25-1 27-2 28-1 29-1 32-1 33-1 36-1 38-1 41-1 42-1
  pos: tot-1862  1-167 2-98 3-73 4-71 5-81 6-89 7-177 8-233 9-252 10-225 11-184 12-93 13-62 14-29 15-19 16-4 17-5
  ps : tot-100  1-33 2-12 3-9 4-2 5-7 6-1 7-8 8-7 9-6 10-7 11-1 12-3 13-1 14-1 15-2
Exploration time: 1837.318831
Exploration wins: 93
Exploration new examples: 2942

Generation 203
Training examples: 200000
Training unique  : 162911
Training time: 523.842932
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-145  1-31 2-13 3-9 4-10 5-3 6-2 7-2 8-2 9-2 10-5 11-6 12-3 13-2 14-3 15-2 16-2 19-1 21-2 22-2 24-1 25-1 26-1 27-2 28-2 29-3 30-4 33-1 34-1 37-4 38-2 39-1 40-1 41-1 42-2 43-2 44-1 47-2 48-4 49-3 50-1 51-1 52-1 54-1
  ns : tot-100  1-31 2-13 3-9 4-10 5-3 6-2 7-2 8-2 9-1 10-4 11-4 12-1 13-2 14-1 15-2 16-1 19-1 22-1 24-1 26-1 30-2 33-1 37-2 39-1 42-1 48-1
  pos: tot-1855  1-158 2-101 3-71 4-75 5-76 6-93 7-170 8-232 9-252 10-224 11-190 12-91 13-64 14-29 15-18 16-6 17-5
  ps : tot-100  1-25 2-8 3-7 4-1 5-6 6-5 7-9 8-14 9-6 10-8 11-6 12-3 13-1 14-1
Exploration time: 1246.23356
Exploration wins: 120
Exploration new examples: 2601

Generation 204
Training examples: 200000
Training unique  : 162766
Training time: 508.101345
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-125  1-16 2-16 3-8 4-5 5-6 6-2 7-1 8-1 9-2 10-2 11-6 12-4 13-1 14-4 15-1 16-2 17-1 20-1 21-2 22-1 23-1 25-2 27-2 28-2 29-3 30-2 31-2 34-2 37-2 38-4 40-2 41-1 42-1 43-3 44-1 47-2 48-3 49-4 50-1 51-1 52-1 54-1
  ns : tot-100  1-16 2-16 3-8 4-5 5-6 6-2 7-1 8-1 9-2 10-2 11-6 12-4 13-1 14-4 15-1 16-2 20-1 21-1 22-1 23-1 25-2 28-1 29-1 30-1 31-1 34-1 37-1 38-2 40-1 43-2 44-1 48-2 49-2 54-1
  pos: tot-1875  1-169 2-108 3-70 4-79 5-71 6-94 7-165 8-227 9-259 10-222 11-192 12-94 13-66 14-29 15-19 16-6 17-5
  ps : tot-100  1-34 2-6 3-5 4-7 5-1 6-5 7-7 8-11 9-11 10-6 11-4 13-3
Exploration time: 1800.186317
Exploration wins: 109
Exploration new examples: 2917

Generation 205
Training examples: 200000
Training unique  : 162872
Training time: 532.811364
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-116  1-18 2-3 3-11 4-4 5-5 6-4 7-1 8-1 9-1 10-2 11-2 12-6 13-4 14-1 15-4 16-1 17-3 21-2 22-1 23-1 24-1 26-2 27-2 28-1 29-3 30-2 31-2 34-1 35-1 37-1 38-3 39-1 40-1 41-2 42-1 43-1 44-2 45-1 47-2 48-1 49-4 50-3 51-1 52-1 55-1
  ns : tot-100  1-18 2-3 3-11 4-4 5-5 6-4 7-1 8-1 9-1 10-2 11-2 12-6 13-4 14-1 15-4 16-1 17-3 21-2 23-1 24-1 26-2 27-1 29-2 30-1 31-2 34-1 35-1 38-2 41-2 42-1 44-1 45-1 47-1 48-1 49-3 50-2 51-1
  pos: tot-1884  1-162 2-124 3-69 4-77 5-75 6-90 7-163 8-222 9-259 10-226 11-194 12-98 13-63 14-32 15-19 16-6 17-5
  ps : tot-100  1-22 2-12 3-10 4-3 5-5 6-4 7-9 8-13 9-6 10-7 11-4 12-2 13-2 14-1
Exploration time: 1527.826287
Exploration wins: 101
Exploration new examples: 2831

Generation 206
Training examples: 200000
Training unique  : 162755
Training time: 519.802767
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-115  1-27 2-10 3-2 4-3 5-3 6-3 7-3 8-1 11-2 12-1 13-6 14-4 15-1 16-4 17-1 18-3 22-2 25-1 27-3 28-2 29-1 30-3 32-2 35-1 37-1 38-1 39-3 40-1 42-2 43-2 44-1 45-1 46-1 47-1 48-1 49-2 50-4 51-2 52-2 55-1
  ns : tot-100  1-27 2-10 3-2 4-3 5-3 6-3 7-3 8-1 11-2 12-1 13-6 14-4 15-1 16-4 17-1 18-3 22-2 25-1 27-1 28-2 29-1 30-2 32-2 37-1 38-1 39-3 40-1 42-2 48-1 49-1 50-2 51-1 52-2
  pos: tot-1885  1-168 2-120 3-66 4-80 5-72 6-89 7-158 8-217 9-266 10-225 11-197 12-100 13-63 14-33 15-20 16-6 17-5
  ps : tot-100  1-21 2-13 3-4 4-4 5-6 6-4 7-8 8-13 9-11 10-6 11-3 12-4 13-1 14-1 16-1
Exploration time: 1569.383079
Exploration wins: 108
Exploration new examples: 2824

Generation 207
Training examples: 200000
Training unique  : 162701
Training time: 554.547555
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-107  1-18 2-17 3-4 5-2 6-2 7-2 8-2 9-1 12-2 13-1 14-5 15-3 16-1 17-4 18-1 19-3 23-2 26-1 27-2 29-1 30-2 31-2 33-2 35-1 38-1 39-1 40-3 41-1 43-4 44-1 45-1 46-1 47-1 49-2 50-3 51-3 52-1 53-2 55-1
  ns : tot-100  1-18 2-17 3-4 5-2 6-2 7-2 8-2 9-1 12-2 13-1 14-5 15-3 16-1 17-4 18-1 19-3 23-2 26-1 27-2 29-1 30-2 31-2 33-2 35-1 38-1 39-1 40-3 41-1 43-3 44-1 45-1 47-1 49-1 50-1 51-2 52-1 53-1 55-1
  pos: tot-1893  1-173 2-118 3-70 4-79 5-70 6-89 7-154 8-212 9-268 10-230 11-200 12-99 13-66 14-33 15-21 16-5 17-6
  ps : tot-100  1-36 2-14 3-4 4-1 5-1 6-2 7-5 8-14 9-11 10-8 11-1 12-1 13-1 14-1
Exploration time: 1102.014227
Exploration wins: 92
Exploration new examples: 2764

Generation 208
Training examples: 200000
Training unique  : 162836
Training time: 493.00232
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-115  1-28 2-10 3-10 4-3 6-2 7-2 8-2 9-2 10-1 13-2 14-1 15-4 16-3 18-4 19-1 20-3 24-2 27-1 28-2 30-1 31-2 32-1 34-2 36-1 39-1 40-1 41-2 42-1 43-1 44-3 45-1 46-2 48-1 49-1 50-3 51-2 52-2 53-2 54-1 56-1
  ns : tot-100  1-28 2-10 3-10 4-3 6-2 7-2 8-2 9-2 10-1 13-2 14-1 15-4 16-3 18-4 19-1 20-3 24-1 27-1 28-1 31-2 32-1 34-1 36-1 39-1 40-1 41-1 42-1 43-1 44-2 46-1 48-1 49-1 50-1 52-1 53-1 54-1
  pos: tot-1885  1-157 2-123 3-71 4-82 5-70 6-87 7-151 8-203 9-271 10-233 11-206 12-99 13-66 14-33 15-22 16-5 17-6
  ps : tot-100  1-23 2-17 3-5 4-7 5-3 6-4 7-5 8-4 9-7 10-10 11-9 12-4 13-1 14-1
Exploration time: 1321.564466
Exploration wins: 91
Exploration new examples: 2705

Generation 209
Training examples: 200000
Training unique  : 162874
Training time: 494.428527
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-124  1-24 2-22 3-4 4-8 5-2 7-2 8-2 9-2 10-2 11-1 14-2 15-1 16-4 17-3 19-4 20-1 21-3 24-1 25-1 28-2 29-1 30-1 32-2 33-1 34-1 35-1 37-1 40-1 41-2 42-1 43-1 44-2 45-3 46-1 47-1 49-1 50-3 51-3 52-1 53-2 54-1 55-1 56-1
  ns : tot-100  1-24 2-22 3-4 4-8 5-2 7-2 8-2 9-2 10-2 11-1 14-2 15-1 16-4 17-3 19-3 21-2 24-1 25-1 29-1 32-2 33-1 34-1 37-1 42-1 45-1 47-1 51-1 52-1 53-1 54-1 55-1
  pos: tot-1876  1-149 2-113 3-78 4-79 5-73 6-86 7-150 8-204 9-268 10-230 11-206 12-104 13-69 14-33 15-23 16-5 17-6
  ps : tot-100  1-23 2-18 3-7 4-3 5-1 6-5 7-6 8-5 9-10 10-10 11-6 12-3 13-3
Exploration time: 1205.536455
Exploration wins: 85
Exploration new examples: 2814

Generation 210
Training examples: 200000
Training unique  : 162967
Training time: 548.918371
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-139  1-31 2-17 3-16 4-4 5-7 6-1 8-2 9-2 10-2 11-2 12-1 15-2 16-1 17-4 18-3 19-1 20-3 21-1 22-2 25-1 26-1 28-2 30-2 33-2 34-1 35-2 38-1 40-1 41-2 43-2 44-2 45-2 46-2 48-1 49-1 50-3 51-2 52-1 53-2 54-1 55-1 56-2
  ns : tot-100  1-31 2-17 3-16 4-4 5-7 6-1 8-2 9-2 10-1 11-2 12-1 15-1 16-1 17-1 18-2 20-2 28-1 30-1 33-1 45-1 46-1 50-1 53-1 54-1 55-1
  pos: tot-1861  1-142 2-105 3-80 4-80 5-74 6-81 7-148 8-204 9-263 10-229 11-209 12-107 13-69 14-36 15-23 16-5 17-6
  ps : tot-100  1-26 2-14 3-2 4-4 5-4 6-4 7-10 8-11 9-9 10-8 11-1 12-4 15-2 17-1
Exploration time: 1107.509777
Exploration wins: 101
Exploration new examples: 2784

Generation 211
Training examples: 200000
Training unique  : 162828
Training time: 543.349702
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-138  1-28 2-15 3-10 4-11 5-4 6-6 7-1 9-2 10-3 11-1 12-2 13-1 15-1 16-1 17-4 18-2 19-3 20-1 21-3 22-2 25-1 26-1 28-1 29-1 30-1 31-1 33-1 34-2 35-2 38-1 40-1 41-2 43-2 44-2 45-1 46-2 47-1 48-1 49-1 50-2 51-3 52-1 53-1 54-1 55-1 56-3
  ns : tot-100  1-28 2-15 3-10 4-11 5-4 6-6 7-1 9-2 10-3 11-1 12-2 13-1 15-1 17-2 18-1 19-1 21-1 22-1 25-1 26-1 28-1 29-1 40-1 49-1 51-2 53-1
  pos: tot-1862  1-145 2-102 3-84 4-78 5-74 6-80 7-142 8-202 9-262 10-230 11-216 12-104 13-73 14-36 15-21 16-7 17-5 18-1
  ps : tot-100  1-30 2-9 3-6 4-3 5-4 6-3 7-9 8-7 9-10 10-5 11-4 12-7 13-2 15-1
Exploration time: 879.746334
Exploration wins: 104
Exploration new examples: 2639

Generation 212
Training examples: 200000
Training unique  : 162772
Training time: 541.871512
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-134  1-22 2-13 3-10 4-8 5-10 6-3 7-6 8-1 10-2 11-2 12-1 13-1 14-1 16-2 17-2 18-3 19-3 20-2 21-2 22-2 23-1 26-1 27-1 29-1 30-2 31-1 33-1 34-2 35-2 38-1 41-3 43-2 44-2 45-1 46-2 47-1 48-1 50-3 51-1 52-3 54-2 55-1 56-3
  ns : tot-100  1-22 2-13 3-10 4-8 5-10 6-3 7-6 8-1 10-2 11-2 12-1 13-1 14-1 16-1 17-2 18-2 19-2 20-1 21-2 22-1 23-1 26-1 27-1 41-1 43-1 46-1 48-1 50-1 52-1
  pos: tot-1866  1-141 2-109 3-84 4-80 5-73 6-80 7-134 8-204 9-258 10-235 11-217 12-101 13-78 14-38 15-20 16-8 17-5 18-1
  ps : tot-100  1-26 2-11 3-6 4-7 5-1 6-6 7-6 8-8 9-8 10-7 11-8 12-3 13-2 14-1
Exploration time: 1255.753085
Exploration wins: 100
Exploration new examples: 2839

Generation 213
Training examples: 200000
Training unique  : 162720
Training time: 547.888506
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-134  1-21 2-13 3-9 4-8 5-7 6-8 7-3 8-6 9-1 11-2 12-2 13-1 14-1 16-1 17-1 18-3 19-3 20-3 21-1 22-2 23-1 24-1 27-1 29-1 30-2 31-1 33-1 34-2 35-2 38-1 41-2 42-1 43-1 44-3 45-1 46-1 47-2 49-1 50-2 51-2 52-2 53-1 54-2 55-1 56-3
  ns : tot-100  1-21 2-13 3-9 4-8 5-7 6-8 7-3 8-6 9-1 11-2 12-2 13-1 14-1 16-1 18-1 19-3 20-3 22-1 23-1 27-1 33-1 34-1 42-1 44-1 47-1 56-2
  pos: tot-1866  1-136 2-113 3-86 4-77 5-78 6-74 7-133 8-202 9-256 10-236 11-216 12-106 13-79 14-39 15-21 16-8 17-5 18-1
  ps : tot-100  1-21 2-10 3-6 4-8 5-2 6-6 7-6 8-13 9-8 10-5 11-11 12-2 13-2
Exploration time: 1319.443247
Exploration wins: 90
Exploration new examples: 2840

Generation 214
Training examples: 200000
Training unique  : 162771
Training time: 546.624447
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-144  1-28 2-13 3-10 4-8 5-5 6-6 7-8 8-3 9-5 10-1 12-1 13-2 14-1 15-1 17-2 18-2 19-1 20-3 21-4 22-1 23-1 24-2 28-1 29-1 30-2 31-1 34-2 35-3 38-1 41-2 43-2 44-2 45-2 46-1 47-1 48-1 49-1 50-2 51-2 52-2 53-1 54-2 55-1 56-1 57-2
  ns : tot-100  1-28 2-13 3-10 4-8 5-5 6-6 7-8 8-3 9-5 10-1 12-1 14-1 17-2 18-2 19-1 20-1 21-1 24-1 35-1 43-2
  pos: tot-1856  1-133 2-111 3-87 4-73 5-82 6-69 7-131 8-195 9-260 10-237 11-209 12-114 13-79 14-41 15-21 16-8 17-5 18-1
  ps : tot-100  1-21 2-12 3-7 4-5 5-8 6-4 7-4 8-2 9-15 10-12 11-5 12-1 13-2 15-2
Exploration time: 1258.195086
Exploration wins: 106
Exploration new examples: 2719

Generation 215
Training examples: 200000
Training unique  : 162721
Training time: 542.243427
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-138  1-24 2-13 3-8 4-9 5-6 6-5 7-4 8-7 9-2 10-3 11-1 13-3 15-2 18-2 19-2 20-3 21-4 22-2 23-1 24-1 25-1 28-1 29-1 30-2 31-1 34-2 35-2 36-1 38-1 41-2 44-3 45-2 46-1 47-1 48-1 49-1 50-2 51-2 52-2 53-1 54-2 55-1 56-1 57-2
  ns : tot-100  1-24 2-13 3-8 4-9 5-6 6-5 7-4 8-7 9-2 10-3 11-1 13-3 15-1 18-2 19-1 20-1 21-3 30-1 31-1 34-2 35-1 36-1 50-1
  pos: tot-1862  1-142 2-108 3-88 4-75 5-75 6-72 7-131 8-196 9-247 10-238 11-216 12-118 13-78 14-43 15-19 16-10 17-5 18-1
  ps : tot-100  1-27 2-10 3-10 4-5 5-3 6-4 7-7 8-11 9-8 10-6 11-4 12-2 15-1 16-2
Exploration time: 1396.592621
Exploration wins: 99
Exploration new examples: 2804

Generation 216
Training examples: 200000
Training unique  : 162549
Training time: 497.424732
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-139  1-24 2-11 3-8 4-5 5-8 6-6 7-5 8-4 9-7 10-2 11-2 12-1 14-3 15-1 16-1 19-3 20-3 21-2 22-5 23-1 24-1 25-1 28-1 29-1 30-1 31-1 32-1 35-3 36-1 37-1 38-1 41-2 44-3 45-2 46-1 47-1 48-1 49-1 50-1 51-3 52-2 53-1 54-2 55-1 56-1 57-2
  ns : tot-100  1-24 2-11 3-8 4-5 5-8 6-6 7-5 8-2 9-6 10-2 11-2 14-2 15-1 20-1 21-1 22-2 25-1 28-1 30-1 35-1 36-1 38-1 41-1 44-2 47-1 51-2 52-1 56-1
  pos: tot-1861  1-138 2-115 3-82 4-79 5-73 6-70 7-127 8-192 9-250 10-239 11-218 12-120 13-80 14-43 15-18 16-9 17-7 18-1
  ps : tot-100  1-28 2-14 3-4 4-4 5-5 6-1 7-4 8-11 9-3 10-10 11-6 12-5 13-2 14-2 16-1
Exploration time: 1005.757505
Exploration wins: 93
Exploration new examples: 2693

Generation 217
Training examples: 200000
Training unique  : 162483
Training time: 549.169823
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-146  1-28 2-15 3-8 4-6 5-4 6-8 7-6 8-6 9-3 10-5 11-2 12-3 14-1 15-1 16-2 19-3 20-2 21-2 22-4 23-2 24-1 26-1 29-2 31-2 32-1 35-2 36-1 37-2 41-1 42-1 44-1 45-3 46-1 48-2 49-1 50-1 51-1 52-3 53-2 54-2 55-1 57-3
  ns : tot-100  1-28 2-15 3-8 4-6 5-4 6-8 7-6 8-6 9-2 10-2 11-2 12-2 14-1 15-1 16-1 19-1 21-1 29-1 35-1 45-2 49-1 53-1
  pos: tot-1854  1-131 2-111 3-87 4-79 5-69 6-72 7-124 8-185 9-258 10-232 11-222 12-121 13-83 14-43 15-20 16-8 17-8 18-1
  ps : tot-100  1-22 2-24 3-5 4-6 6-4 7-5 8-9 9-3 10-10 11-7 12-1 13-3 14-1
Exploration time: 1407.251186
Exploration wins: 98
Exploration new examples: 2934

Generation 218
Training examples: 200000
Training unique  : 162365
Training time: 545.530113
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-148  1-28 2-18 3-7 4-8 5-5 6-3 7-5 8-6 9-7 10-5 11-2 12-3 13-2 15-1 16-1 17-1 19-2 20-3 21-1 22-5 23-2 24-1 26-1 29-1 30-1 31-2 32-1 35-1 36-1 37-2 41-1 42-1 44-1 45-1 46-2 48-2 50-2 51-1 52-3 53-1 54-3 55-1 57-3
  ns : tot-100  1-28 2-18 3-7 4-8 5-5 6-3 7-5 8-5 9-3 10-5 11-2 12-1 15-1 16-1 20-2 22-1 48-1 50-1 52-1 54-1 55-1
  pos: tot-1852  1-135 2-95 3-96 4-78 5-73 6-68 7-121 8-181 9-264 10-225 11-225 12-127 13-81 14-45 15-21 16-8 17-8 18-1
  ps : tot-100  1-26 2-3 3-11 4-3 5-3 6-4 7-7 8-6 9-14 10-6 11-5 12-7 14-4 17-1
Exploration time: 1241.309031
Exploration wins: 110
Exploration new examples: 2745

Generation 219
Training examples: 200000
Training unique  : 162300
Training time: 500.809787
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-138  1-17 2-17 3-11 4-6 5-6 6-3 7-3 8-5 9-9 10-3 11-3 12-3 13-3 16-1 17-2 19-2 20-1 21-3 22-4 23-3 24-1 26-1 29-1 30-1 31-2 32-1 35-1 36-1 37-2 41-1 42-1 44-1 45-1 46-2 48-1 49-1 50-1 51-2 52-2 53-2 54-2 55-1 56-1 57-3
  ns : tot-100  1-17 2-17 3-11 4-6 5-6 6-3 7-3 8-5 9-9 10-3 11-3 12-2 13-3 17-1 21-1 22-1 23-2 24-1 26-1 31-1 37-1 46-1 49-1 51-1
  pos: tot-1862  1-136 2-107 3-87 4-83 5-73 6-67 7-118 8-181 9-255 10-233 11-226 12-125 13-88 14-41 15-25 16-8 17-7 18-2
  ps : tot-100  1-26 2-17 3-8 4-5 5-5 6-1 7-4 8-5 9-7 10-9 11-5 12-4 13-2 14-1 15-1
Exploration time: 1429.596342
Exploration wins: 113
Exploration new examples: 2766

Generation 220
Training examples: 200000
Training unique  : 162189
Training time: 548.272528
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-125  1-18 2-11 3-12 4-6 5-4 6-2 7-1 8-2 9-5 10-7 11-2 12-4 13-2 14-1 16-1 17-1 18-1 19-2 20-1 21-2 22-3 23-2 24-2 25-1 27-1 29-1 30-1 31-1 32-2 35-1 36-1 37-1 38-1 41-1 42-1 44-1 45-1 46-1 47-1 48-1 50-2 51-1 52-3 53-2 54-2 55-1 56-1 57-3
  ns : tot-100  1-18 2-11 3-12 4-6 5-4 6-2 7-1 8-2 9-5 10-7 11-2 12-4 13-2 14-1 16-1 17-1 18-1 19-1 21-2 22-3 24-2 27-1 30-1 32-1 35-1 37-1 42-1 45-1 51-1 52-2 53-1 57-1
  pos: tot-1875  1-141 2-104 3-90 4-86 5-73 6-71 7-115 8-180 9-253 10-231 11-230 12-126 13-90 14-42 15-25 16-9 17-7 18-2
  ps : tot-100  1-27 2-10 3-9 4-9 5-5 6-4 7-3 8-5 9-7 10-6 11-5 12-5 13-3 14-2
Exploration time: 1325.912521
Exploration wins: 100
Exploration new examples: 2753

Generation 221
Training examples: 200000
Training unique  : 162168
Training time: 501.063357
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-125  1-25 2-8 3-9 4-9 5-4 6-1 7-2 8-1 9-2 10-3 11-6 12-2 13-3 14-2 15-1 17-1 18-1 19-2 20-2 22-2 23-5 25-2 28-1 29-1 31-2 32-1 33-1 36-2 38-2 41-1 43-1 44-1 46-2 47-1 48-1 50-2 52-2 53-3 54-3 55-1 56-1 57-2 58-1
  ns : tot-100  1-25 2-8 3-9 4-9 5-4 6-1 7-2 8-1 9-2 10-3 11-6 12-2 13-3 14-2 15-1 18-1 19-1 20-2 22-2 23-4 25-2 31-2 32-1 33-1 38-2 48-1 50-2 53-1
  pos: tot-1875  1-139 2-111 3-87 4-80 5-75 6-71 7-115 8-178 9-250 10-232 11-231 12-126 13-92 14-43 15-27 16-9 17-7 18-2
  ps : tot-100  1-19 2-15 3-9 4-6 5-3 6-4 7-8 8-4 9-13 10-6 11-4 12-6 13-2 15-1
Exploration time: 1541.732907
Exploration wins: 111
Exploration new examples: 2817

Generation 222
Training examples: 200000
Training unique  : 162111
Training time: 496.361809
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-114  1-18 2-12 3-5 4-7 5-8 6-3 8-2 9-1 10-2 11-3 12-3 13-1 14-2 15-2 17-1 19-2 20-1 21-2 23-2 24-4 26-1 28-1 29-1 32-2 33-1 34-1 36-2 39-2 41-1 43-1 44-1 46-2 47-1 49-1 51-2 52-2 53-2 54-4 55-1 56-1 57-2 58-1
  ns : tot-100  1-18 2-12 3-5 4-7 5-8 6-3 8-2 9-1 10-2 11-3 12-3 13-1 14-2 15-2 17-1 19-2 20-1 21-2 23-2 24-4 26-1 28-1 29-1 32-2 33-1 36-2 39-1 46-2 47-1 49-1 51-1 52-1 53-1 54-2 57-1
  pos: tot-1886  1-149 2-107 3-87 4-82 5-77 6-70 7-111 8-181 9-240 10-239 11-233 12-124 13-96 14-45 15-26 16-10 17-7 18-2
  ps : tot-100  1-29 2-16 3-6 4-6 5-1 6-4 8-5 9-9 10-10 11-4 12-3 13-4 14-2 16-1
Exploration time: 1515.709577
Exploration wins: 92
Exploration new examples: 3099

Generation 223
Training examples: 200000
Training unique  : 162120
Training time: 565.120999
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-122  1-25 2-12 3-8 4-4 5-4 6-7 7-2 9-2 10-1 11-2 12-3 13-3 14-1 15-2 16-2 18-1 20-2 21-1 22-2 24-2 25-3 27-1 29-1 30-1 33-2 34-2 37-2 39-1 40-1 41-1 43-1 44-1 47-2 48-1 50-1 51-1 52-2 53-2 54-3 55-3 56-1 57-1 58-2
  ns : tot-100  1-25 2-12 3-8 4-4 5-4 6-7 7-2 9-2 10-1 11-2 12-3 13-3 14-1 15-2 16-2 20-2 21-1 22-1 24-2 25-3 29-1 33-1 34-1 37-2 39-1 43-1 44-1 47-1 53-1 54-2 56-1
  pos: tot-1878  1-137 2-107 3-90 4-79 5-82 6-66 7-115 8-176 9-236 10-237 11-239 12-125 13-95 14-47 15-28 16-9 17-8 18-2
  ps : tot-100  1-21 2-12 3-12 4-4 5-6 6-5 7-4 8-6 9-14 10-5 11-4 12-6 14-1
Exploration time: 1341.898776
Exploration wins: 101
Exploration new examples: 2761

Generation 224
Training examples: 200000
Training unique  : 162013
Training time: 546.903556
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-121  1-20 2-18 3-8 4-4 5-2 6-4 7-6 8-2 10-2 11-1 12-2 13-3 14-3 15-1 16-2 17-2 18-1 21-2 22-1 23-1 25-2 26-1 27-1 30-2 33-1 34-2 35-1 38-2 40-2 41-1 44-1 45-1 47-1 48-2 50-1 51-1 52-2 53-1 54-2 55-5 57-2 58-2
  ns : tot-100  1-20 2-18 3-8 4-4 5-2 6-4 7-6 8-2 10-2 11-1 12-2 13-3 14-3 15-1 16-1 17-2 18-1 22-1 23-1 25-2 26-1 30-1 33-1 34-2 38-2 40-2 44-1 47-1 48-1 52-1 54-1 57-1 58-1
  pos: tot-1879  1-137 2-106 3-86 4-83 5-80 6-66 7-115 8-174 9-228 10-246 11-240 12-123 13-101 14-46 15-29 16-9 17-8 18-2
  ps : tot-100  1-22 2-18 3-5 4-6 5-7 6-2 7-7 8-8 9-9 10-9 11-5 12-1 13-1
Exploration time: 1276.737193
Exploration wins: 112
Exploration new examples: 2768

Generation 225
Training examples: 200000
Training unique  : 161897
Training time: 543.286875
Exploration: 200 targets 
Exploration: 1986 targets proven at least once
  neg: tot-109  1-20 2-9 3-9 4-1 5-3 6-1 7-4 8-5 9-2 11-2 12-1 13-2 14-2 15-3 16-2 17-1 18-2 19-1 21-2 24-1 26-2 27-2 30-1 31-1 34-1 35-3 39-2 41-3 45-2 48-2 49-1 50-1 51-1 52-1 53-2 54-1 55-6 57-1 58-2 59-1
  ns : tot-100  1-20 2-9 3-9 4-1 5-3 6-1 7-4 8-5 9-2 11-2 12-1 13-2 14-2 15-3 16-2 17-1 18-2 19-1 21-2 24-1 26-2 27-2 30-1 31-1 34-1 35-3 39-1 41-2 45-1 48-1 50-1 51-1 52-1 53-2 54-1 55-4 57-1 58-1
  pos: tot-1891  1-147 2-102 3-94 4-80 5-78 6-68 7-110 8-173 9-227 10-245 11-244 12-127 13-101 14-47 15-29 16-9 17-8 18-2
  ps : tot-100  1-29 2-13 3-9 4-5 5-5 6-4 7-5 8-4 9-6 10-4 11-6 12-6 13-3 18-1
Exploration time: 1639.626165
Exploration wins: 89
Exploration new examples: 2920

Generation 226
Training examples: 200000
Training unique  : 161891
Training time: 538.023818
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-120  1-29 2-12 3-8 4-6 5-1 6-1 8-3 9-5 10-2 12-2 13-1 14-2 15-2 16-3 17-2 18-1 19-2 20-1 22-2 25-1 27-2 28-2 31-1 32-1 35-1 36-3 39-1 40-1 41-1 42-2 45-1 46-1 48-1 49-2 51-1 52-1 53-1 54-2 55-3 56-3 58-2 59-1
  ns : tot-100  1-29 2-12 3-8 4-6 5-1 6-1 8-3 9-5 10-2 12-2 13-1 14-2 15-2 16-3 17-2 18-1 19-2 20-1 22-2 25-1 27-2 28-1 31-1 32-1 35-1 36-2 39-1 42-1 51-1 53-1 54-1 59-1
  pos: tot-1880  1-136 2-107 3-93 4-79 5-75 6-66 7-109 8-172 9-225 10-247 11-242 12-127 13-104 14-50 15-29 16-9 17-8 18-1 19-1
  ps : tot-100  1-21 2-15 3-8 4-8 5-3 6-1 7-6 8-6 9-9 10-11 11-5 12-1 13-5 16-1
Exploration time: 1236.526785
Exploration wins: 92
Exploration new examples: 2830

Generation 227
Training examples: 200000
Training unique  : 161761
Training time: 532.581993
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-128  1-28 2-17 3-8 4-7 5-4 6-1 7-1 9-3 10-4 11-2 13-2 14-1 15-2 16-2 17-3 18-2 19-1 20-2 21-1 23-2 26-1 28-3 29-1 32-1 33-1 36-2 37-2 40-2 41-1 42-1 43-1 45-1 46-1 48-1 49-2 52-2 54-2 55-4 56-3 58-2 60-1
  ns : tot-100  1-28 2-17 3-8 4-7 5-4 6-1 7-1 9-3 10-4 11-2 13-2 14-1 15-2 16-2 17-3 18-2 19-1 20-1 21-1 23-2 32-1 42-1 49-1 54-2 55-1 56-2
  pos: tot-1872  1-135 2-98 3-93 4-77 5-78 6-67 7-104 8-172 9-222 10-245 11-247 12-131 13-100 14-55 15-29 16-8 17-9 18-1 19-1
  ps : tot-100  1-31 2-13 3-5 4-5 5-2 6-1 7-3 8-13 9-13 10-2 11-4 12-4 13-2 14-1 19-1
Exploration time: 1736.491685
Exploration wins: 98
Exploration new examples: 2843

Generation 228
Training examples: 200000
Training unique  : 161703
Training time: 508.755678
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-130  1-25 2-20 3-7 4-5 5-6 6-4 7-1 8-1 10-3 11-4 12-2 14-2 15-1 16-2 17-2 18-3 19-2 20-1 21-1 22-1 24-2 26-1 28-3 29-1 33-2 36-2 37-2 40-2 41-1 43-2 45-1 46-1 48-1 49-1 50-1 52-2 55-5 56-2 57-2 58-2 60-1
  ns : tot-100  1-25 2-20 3-7 4-5 5-6 6-4 7-1 8-1 10-3 11-4 12-1 14-2 15-1 16-2 17-1 18-3 19-1 20-1 21-1 24-2 28-2 33-1 36-2 37-1 45-1 50-1 55-1
  pos: tot-1870  1-127 2-104 3-96 4-75 5-79 6-67 7-102 8-162 9-220 10-256 11-244 12-131 13-102 14-56 15-30 16-8 17-9 18-1 20-1
  ps : tot-100  1-20 2-17 3-8 4-7 5-5 6-3 7-7 8-5 9-4 10-10 11-6 12-6 13-1 17-1
Exploration time: 1775.566884
Exploration wins: 91
Exploration new examples: 2746

Generation 229
Training examples: 200000
Training unique  : 161888
Training time: 486.481799
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-139  1-30 2-15 3-13 4-6 5-4 6-5 7-4 8-1 9-1 11-3 12-5 13-1 15-2 16-1 17-3 18-1 19-4 20-1 21-1 22-2 25-2 26-1 28-1 29-3 33-1 34-1 37-2 38-1 40-2 41-1 43-2 46-2 48-1 49-1 51-1 52-2 55-4 56-3 57-2 58-2 60-1
  ns : tot-100  1-30 2-15 3-13 4-6 5-4 6-5 7-4 8-1 9-1 11-2 12-5 15-1 16-1 17-2 19-2 22-1 26-1 28-1 29-1 37-1 48-1 52-1 58-1
  pos: tot-1861  1-128 2-93 3-97 4-73 5-78 6-68 7-98 8-164 9-221 10-250 11-247 12-131 13-107 14-57 15-30 16-8 17-8 18-2 20-1
  ps : tot-100  1-25 2-8 3-12 4-6 5-5 6-4 7-2 8-7 9-6 10-10 11-10 12-1 13-2 15-2
Exploration time: 2175.732841
Exploration wins: 105
Exploration new examples: 2840

Generation 230
Training examples: 200000
Training unique  : 161885
Training time: 447.775884
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-134  1-20 2-19 3-12 4-8 5-4 6-3 7-3 8-4 9-1 10-1 11-1 12-2 13-5 15-1 16-1 17-2 18-3 19-2 20-3 21-1 22-1 23-1 25-2 27-1 29-3 30-1 33-1 34-1 37-1 38-2 40-2 41-1 43-2 46-2 49-2 51-1 52-1 53-1 55-4 56-3 57-2 58-1 59-1 60-1
  ns : tot-100  1-20 2-19 3-12 4-8 5-4 6-3 7-3 8-4 9-1 10-1 11-1 12-2 13-5 15-1 16-1 17-1 19-1 20-1 21-1 25-2 29-1 30-1 33-1 38-1 40-1 41-1 55-1 56-2
  pos: tot-1866  1-128 2-100 3-91 4-76 5-77 6-67 7-99 8-159 9-222 10-246 11-247 12-140 13-106 14-59 15-28 16-10 17-8 18-2 20-1
  ps : tot-100  1-22 2-12 3-9 4-7 5-4 6-5 7-3 8-5 9-5 10-11 11-6 12-5 13-2 14-2 15-1 16-1
Exploration time: 1761.401126
Exploration wins: 117
Exploration new examples: 2773

Generation 231
Training examples: 200000
Training unique  : 161803
Training time: 504.038684
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-117  1-20 2-11 3-10 4-8 5-3 6-2 7-3 8-3 9-2 10-1 11-1 12-1 13-2 14-4 17-1 18-4 19-1 20-2 21-1 22-2 23-1 26-2 27-1 29-2 31-1 34-2 37-1 38-1 39-1 40-1 41-1 42-1 43-2 46-2 49-2 51-1 52-1 53-1 55-3 56-2 57-3 58-1 59-1 60-1
  ns : tot-100  1-20 2-11 3-10 4-8 5-3 6-2 7-3 8-3 9-2 10-1 11-1 12-1 13-2 14-4 17-1 18-4 19-1 20-2 21-1 22-2 23-1 26-2 27-1 29-1 31-1 34-2 37-1 38-1 39-1 41-1 49-1 55-3 56-2
  pos: tot-1883  1-143 2-103 3-87 4-75 5-79 6-65 7-101 8-157 9-222 10-240 11-252 12-140 13-109 14-59 15-29 16-10 17-9 18-2 20-1
  ps : tot-100  1-20 2-11 3-9 4-5 5-1 6-5 7-3 8-6 9-9 10-10 11-6 12-7 13-6 14-1 15-1
Exploration time: 1819.233306
Exploration wins: 96
Exploration new examples: 2754

Generation 232
Training examples: 200000
Training unique  : 161743
Training time: 470.12592
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-121  1-22 2-12 3-5 4-9 5-7 6-3 7-2 8-3 9-3 10-1 11-1 12-1 13-1 14-2 15-4 18-1 19-4 20-1 21-2 22-1 23-2 24-1 27-2 28-1 29-1 30-1 32-1 35-1 38-1 39-1 40-2 42-2 43-2 46-2 49-1 50-1 51-1 52-1 53-1 56-3 57-5 58-1 59-1 60-1
  ns : tot-100  1-22 2-12 3-5 4-9 5-7 6-3 7-2 8-3 9-3 10-1 11-1 12-1 13-1 14-2 15-4 18-1 19-1 20-1 21-2 23-1 24-1 27-2 28-1 29-1 30-1 35-1 38-1 39-1 40-1 42-2 43-2 50-1 53-1 57-1 60-1
  pos: tot-1879  1-141 2-101 3-84 4-76 5-83 6-61 7-103 8-154 9-218 10-237 11-256 12-139 13-110 14-64 15-29 16-11 17-9 18-2 20-1
  ps : tot-100  1-26 2-10 3-8 4-1 5-4 6-2 7-8 8-7 9-6 10-7 11-8 12-5 13-2 14-4 15-1 16-1
Exploration time: 1615.07231
Exploration wins: 88
Exploration new examples: 2688

Generation 233
Training examples: 200000
Training unique  : 161676
Training time: 508.307828
Exploration: 200 targets 
Exploration: 1988 targets proven at least once
  neg: tot-133  1-25 2-15 3-11 4-5 5-8 6-6 7-2 8-2 9-3 10-2 11-1 13-1 14-1 15-2 16-4 19-4 20-1 21-1 22-3 23-1 24-1 25-1 28-2 29-1 30-1 31-1 32-1 36-1 39-1 40-2 41-1 43-2 44-2 46-2 49-1 51-2 52-1 54-1 56-3 57-4 58-2 59-1 61-1
  ns : tot-100  1-25 2-15 3-11 4-5 5-8 6-6 7-2 8-2 9-3 10-2 11-1 13-1 14-1 15-1 16-4 19-3 22-1 28-1 39-1 40-2 41-1 43-1 44-1 58-1 59-1
  pos: tot-1867  1-128 2-102 3-81 4-81 5-79 6-62 7-97 8-155 9-219 10-235 11-255 12-142 13-113 14-62 15-32 16-11 17-10 18-2 20-1
  ps : tot-100  1-29 2-13 3-6 4-9 5-6 6-6 7-2 8-2 9-5 10-6 11-9 12-1 13-4 14-2
