Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500395.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-5A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500395
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 04:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 6 04:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 248K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-5A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589641527803

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 417 places, 933 transitions, 3585 arcs.
AT ITER 0 NEW BEST:: SOT 315375 SOS 247722 HAS SOPS 247085 HAS SOUS 169121 HAS SOUPS 168739 WITH SCORE 168986.722
AT ITER 5 NEW BEST:: SOT 315556 SOS 247673 HAS SOPS 246843 HAS SOUS 169217 HAS SOUPS 168653 WITH SCORE 168900.673
AT ITER 6 NEW BEST:: SOT 315685 SOS 247646 HAS SOPS 246816 HAS SOUS 168711 HAS SOUPS 168147 WITH SCORE 168394.646
AT ITER 7 NEW BEST:: SOT 312219 SOS 244751 HAS SOPS 243921 HAS SOUS 165351 HAS SOUPS 164787 WITH SCORE 165031.751
AT ITER 12 NEW BEST:: SOT 311766 SOS 244298 HAS SOPS 243468 HAS SOUS 164934 HAS SOUPS 164370 WITH SCORE 164614.298
AT ITER 23 NEW BEST:: SOT 311758 SOS 244290 HAS SOPS 243460 HAS SOUS 164918 HAS SOUPS 164354 WITH SCORE 164598.29
AT ITER 24 NEW BEST:: SOT 310729 SOS 243345 HAS SOPS 242515 HAS SOUS 164097 HAS SOUPS 163533 WITH SCORE 163776.345
AT ITER 26 NEW BEST:: SOT 311205 SOS 243991 HAS SOPS 243161 HAS SOUS 163951 HAS SOUPS 163387 WITH SCORE 163630.991
AT ITER 29 NEW BEST:: SOT 311361 SOS 243366 HAS SOPS 242536 HAS SOUS 163626 HAS SOUPS 163062 WITH SCORE 163305.366
AT ITER 30 NEW BEST:: SOT 310039 SOS 242776 HAS SOPS 241946 HAS SOUS 162974 HAS SOUPS 162410 WITH SCORE 162652.776
AT ITER 31 NEW BEST:: SOT 308979 SOS 241617 HAS SOPS 240787 HAS SOUS 161989 HAS SOUPS 161425 WITH SCORE 161666.617
AT ITER 34 NEW BEST:: SOT 308313 SOS 240951 HAS SOPS 240121 HAS SOUS 161553 HAS SOUPS 160989 WITH SCORE 161229.951
AT ITER 37 NEW BEST:: SOT 308333 SOS 240917 HAS SOPS 240087 HAS SOUS 161465 HAS SOUPS 160901 WITH SCORE 161141.917
AT ITER 38 NEW BEST:: SOT 306794 SOS 239386 HAS SOPS 238556 HAS SOUS 160532 HAS SOUPS 159968 WITH SCORE 160207.386
AT ITER 39 NEW BEST:: SOT 306775 SOS 239253 HAS SOPS 238423 HAS SOUS 160493 HAS SOUPS 159929 WITH SCORE 160168.253
AT ITER 40 NEW BEST:: SOT 307149 SOS 239459 HAS SOPS 238263 HAS SOUS 160795 HAS SOUPS 159865 WITH SCORE 160104.459
AT ITER 42 NEW BEST:: SOT 307184 SOS 239688 HAS SOPS 238583 HAS SOUS 160532 HAS SOUPS 159680 WITH SCORE 159919.688
AT ITER 44 NEW BEST:: SOT 307369 SOS 239811 HAS SOPS 238706 HAS SOUS 160313 HAS SOUPS 159461 WITH SCORE 159700.811
AT ITER 45 NEW BEST:: SOT 307098 SOS 239140 HAS SOPS 238035 HAS SOUS 160276 HAS SOUPS 159424 WITH SCORE 159663.14
AT ITER 47 NEW BEST:: SOT 306730 SOS 238772 HAS SOPS 237667 HAS SOUS 159908 HAS SOUPS 159056 WITH SCORE 159294.772
AT ITER 48 NEW BEST:: SOT 306730 SOS 239187 HAS SOPS 238082 HAS SOUS 159772 HAS SOUPS 158920 WITH SCORE 159159.187
AT ITER 49 NEW BEST:: SOT 306660 SOS 239117 HAS SOPS 238012 HAS SOUS 159615 HAS SOUPS 158763 WITH SCORE 159002.117
AT ITER 53 NEW BEST:: SOT 306924 SOS 239216 HAS SOPS 238159 HAS SOUS 159267 HAS SOUPS 158449 WITH SCORE 158688.216
AT ITER 54 NEW BEST:: SOT 306880 SOS 238695 HAS SOPS 237638 HAS SOUS 159220 HAS SOUPS 158402 WITH SCORE 158640.695
AT ITER 55 NEW BEST:: SOT 306116 SOS 237931 HAS SOPS 236874 HAS SOUS 158426 HAS SOUPS 157608 WITH SCORE 157845.931
AT ITER 56 NEW BEST:: SOT 306160 SOS 237889 HAS SOPS 236832 HAS SOUS 158322 HAS SOUPS 157504 WITH SCORE 157741.889
AT ITER 62 NEW BEST:: SOT 306013 SOS 237742 HAS SOPS 236685 HAS SOUS 158320 HAS SOUPS 157502 WITH SCORE 157739.742
AT ITER 65 NEW BEST:: SOT 305765 SOS 237494 HAS SOPS 236437 HAS SOUS 158030 HAS SOUPS 157212 WITH SCORE 157449.494
AT ITER 66 NEW BEST:: SOT 304505 SOS 236234 HAS SOPS 235177 HAS SOUS 156725 HAS SOUPS 155907 WITH SCORE 156143.234
AT ITER 68 NEW BEST:: SOT 302346 SOS 234242 HAS SOPS 233185 HAS SOUS 154339 HAS SOUPS 153521 WITH SCORE 153755.242
AT ITER 70 NEW BEST:: SOT 302378 SOS 234122 HAS SOPS 233246 HAS SOUS 154247 HAS SOUPS 153494 WITH SCORE 153728.122
AT ITER 73 NEW BEST:: SOT 302364 SOS 234108 HAS SOPS 233232 HAS SOUS 154233 HAS SOUPS 153480 WITH SCORE 153714.108
AT ITER 76 NEW BEST:: SOT 300571 SOS 232142 HAS SOPS 231266 HAS SOUS 152182 HAS SOUPS 151429 WITH SCORE 151661.142
AT ITER 81 NEW BEST:: SOT 300559 SOS 231064 HAS SOPS 230188 HAS SOUS 152062 HAS SOUPS 151309 WITH SCORE 151540.064
AT ITER 82 NEW BEST:: SOT 300842 SOS 231395 HAS SOPS 230503 HAS SOUS 152054 HAS SOUPS 151285 WITH SCORE 151516.395
AT ITER 84 NEW BEST:: SOT 300822 SOS 231375 HAS SOPS 230483 HAS SOUS 151994 HAS SOUPS 151225 WITH SCORE 151456.375
AT ITER 85 NEW BEST:: SOT 300822 SOS 231539 HAS SOPS 230647 HAS SOUS 151897 HAS SOUPS 151128 WITH SCORE 151359.539
AT ITER 86 NEW BEST:: SOT 300445 SOS 231082 HAS SOPS 230190 HAS SOUS 151440 HAS SOUPS 150671 WITH SCORE 150902.082
AT ITER 87 NEW BEST:: SOT 300142 SOS 230779 HAS SOPS 229887 HAS SOUS 151041 HAS SOUPS 150272 WITH SCORE 150502.779
AT ITER 89 NEW BEST:: SOT 299974 SOS 230629 HAS SOPS 229737 HAS SOUS 150842 HAS SOUPS 150073 WITH SCORE 150303.629
AT ITER 91 NEW BEST:: SOT 298984 SOS 229409 HAS SOPS 228517 HAS SOUS 150379 HAS SOUPS 149610 WITH SCORE 149839.409
AT ITER 92 NEW BEST:: SOT 298974 SOS 229360 HAS SOPS 228468 HAS SOUS 150361 HAS SOUPS 149592 WITH SCORE 149821.36
AT ITER 95 NEW BEST:: SOT 298858 SOS 229302 HAS SOPS 228410 HAS SOUS 149694 HAS SOUPS 148925 WITH SCORE 149154.302
AT ITER 99 NEW BEST:: SOT 298729 SOS 229173 HAS SOPS 228281 HAS SOUS 149473 HAS SOUPS 148704 WITH SCORE 148933.173
AT ITER 101 NEW BEST:: SOT 298721 SOS 229161 HAS SOPS 228269 HAS SOUS 149464 HAS SOUPS 148695 WITH SCORE 148924.161
AT ITER 102 NEW BEST:: SOT 298703 SOS 229143 HAS SOPS 228251 HAS SOUS 149464 HAS SOUPS 148695 WITH SCORE 148924.143
AT ITER 103 NEW BEST:: SOT 298683 SOS 229123 HAS SOPS 228231 HAS SOUS 149326 HAS SOUPS 148557 WITH SCORE 148786.123
AT ITER 105 NEW BEST:: SOT 298664 SOS 229104 HAS SOPS 228212 HAS SOUS 149176 HAS SOUPS 148407 WITH SCORE 148636.104
AT ITER 115 NEW BEST:: SOT 298779 SOS 228723 HAS SOPS 227831 HAS SOUS 148965 HAS SOUPS 148196 WITH SCORE 148424.723
AT ITER 121 NEW BEST:: SOT 298796 SOS 228823 HAS SOPS 227931 HAS SOUS 148945 HAS SOUPS 148176 WITH SCORE 148404.823
AT ITER 122 NEW BEST:: SOT 298692 SOS 228719 HAS SOPS 227827 HAS SOUS 148940 HAS SOUPS 148171 WITH SCORE 148399.719
AT ITER 126 NEW BEST:: SOT 298809 SOS 228825 HAS SOPS 227933 HAS SOUS 148889 HAS SOUPS 148120 WITH SCORE 148348.825
AT ITER 130 NEW BEST:: SOT 298579 SOS 228529 HAS SOPS 227637 HAS SOUS 148803 HAS SOUPS 148034 WITH SCORE 148262.529
AT ITER 135 NEW BEST:: SOT 298572 SOS 228560 HAS SOPS 227668 HAS SOUS 148799 HAS SOUPS 148030 WITH SCORE 148258.56
AT ITER 136 NEW BEST:: SOT 298021 SOS 228339 HAS SOPS 227447 HAS SOUS 148693 HAS SOUPS 147924 WITH SCORE 148152.339
AT ITER 139 NEW BEST:: SOT 298095 SOS 228487 HAS SOPS 227595 HAS SOUS 148619 HAS SOUPS 147850 WITH SCORE 148078.487
AT ITER 143 NEW BEST:: SOT 298095 SOS 228521 HAS SOPS 227629 HAS SOUS 148565 HAS SOUPS 147796 WITH SCORE 148024.521
AT ITER 145 NEW BEST:: SOT 296884 SOS 227478 HAS SOPS 226586 HAS SOUS 147819 HAS SOUPS 147050 WITH SCORE 147277.478
AT ITER 146 NEW BEST:: SOT 297300 SOS 227709 HAS SOPS 226817 HAS SOUS 147616 HAS SOUPS 146847 WITH SCORE 147074.709
AT ITER 155 NEW BEST:: SOT 296557 SOS 227331 HAS SOPS 226439 HAS SOUS 147432 HAS SOUPS 146663 WITH SCORE 146890.331
AT ITER 158 NEW BEST:: SOT 296193 SOS 226895 HAS SOPS 226003 HAS SOUS 147143 HAS SOUPS 146374 WITH SCORE 146600.895
AT ITER 159 NEW BEST:: SOT 295503 SOS 226563 HAS SOPS 225671 HAS SOUS 146468 HAS SOUPS 145699 WITH SCORE 145925.563
AT ITER 164 NEW BEST:: SOT 295495 SOS 226555 HAS SOPS 225663 HAS SOUS 146318 HAS SOUPS 145549 WITH SCORE 145775.555
AT ITER 165 NEW BEST:: SOT 295495 SOS 226702 HAS SOPS 225810 HAS SOUS 146122 HAS SOUPS 145353 WITH SCORE 145579.702
AT ITER 169 NEW BEST:: SOT 294886 SOS 226093 HAS SOPS 225201 HAS SOUS 145255 HAS SOUPS 144486 WITH SCORE 144712.093
AT ITER 173 NEW BEST:: SOT 294502 SOS 225709 HAS SOPS 224817 HAS SOUS 144529 HAS SOUPS 143760 WITH SCORE 143985.709
AT ITER 177 NEW BEST:: SOT 294502 SOS 225709 HAS SOPS 224817 HAS SOUS 144484 HAS SOUPS 143715 WITH SCORE 143940.709
AT ITER 179 NEW BEST:: SOT 294505 SOS 225712 HAS SOPS 224820 HAS SOUS 144477 HAS SOUPS 143708 WITH SCORE 143933.712
AT ITER 181 NEW BEST:: SOT 294132 SOS 225175 HAS SOPS 224283 HAS SOUS 143940 HAS SOUPS 143171 WITH SCORE 143396.175
AT ITER 182 NEW BEST:: SOT 294051 SOS 225094 HAS SOPS 224202 HAS SOUS 143776 HAS SOUPS 143007 WITH SCORE 143232.094
AT ITER 194 NEW BEST:: SOT 293676 SOS 225054 HAS SOPS 224162 HAS SOUS 143398 HAS SOUPS 142629 WITH SCORE 142854.054
AT ITER 195 NEW BEST:: SOT 293676 SOS 225497 HAS SOPS 224605 HAS SOUS 143248 HAS SOUPS 142479 WITH SCORE 142704.497
AT ITER 200 NEW BEST:: SOT 293750 SOS 225577 HAS SOPS 224685 HAS SOUS 143191 HAS SOUPS 142422 WITH SCORE 142647.577
AT ITER 205 NEW BEST:: SOT 293085 SOS 224735 HAS SOPS 223843 HAS SOUS 142885 HAS SOUPS 142116 WITH SCORE 142340.735
AT ITER 209 NEW BEST:: SOT 293166 SOS 224277 HAS SOPS 223385 HAS SOUS 142463 HAS SOUPS 141694 WITH SCORE 141918.277
AT ITER 210 NEW BEST:: SOT 293180 SOS 224277 HAS SOPS 223385 HAS SOUS 142449 HAS SOUPS 141680 WITH SCORE 141904.277
AT ITER 211 NEW BEST:: SOT 293115 SOS 224202 HAS SOPS 223310 HAS SOUS 142364 HAS SOUPS 141595 WITH SCORE 141819.202
AT ITER 218 NEW BEST:: SOT 293183 SOS 224270 HAS SOPS 223378 HAS SOUS 140735 HAS SOUPS 139966 WITH SCORE 140190.27
AT ITER 220 NEW BEST:: SOT 292899 SOS 223986 HAS SOPS 223094 HAS SOUS 140429 HAS SOUPS 139660 WITH SCORE 139883.986
AT ITER 222 NEW BEST:: SOT 292745 SOS 223832 HAS SOPS 222940 HAS SOUS 139967 HAS SOUPS 139198 WITH SCORE 139421.832
AT ITER 223 NEW BEST:: SOT 292819 SOS 223906 HAS SOPS 223014 HAS SOUS 139884 HAS SOUPS 139115 WITH SCORE 139338.906
AT ITER 224 NEW BEST:: SOT 292436 SOS 223495 HAS SOPS 222603 HAS SOUS 139465 HAS SOUPS 138696 WITH SCORE 138919.495
AT ITER 225 NEW BEST:: SOT 292444 SOS 223503 HAS SOPS 222611 HAS SOUS 139425 HAS SOUPS 138656 WITH SCORE 138879.503
AT ITER 226 NEW BEST:: SOT 291149 SOS 221991 HAS SOPS 221099 HAS SOUS 138574 HAS SOUPS 137805 WITH SCORE 138026.991
AT ITER 227 NEW BEST:: SOT 291226 SOS 222068 HAS SOPS 221176 HAS SOUS 138554 HAS SOUPS 137785 WITH SCORE 138007.068
AT ITER 228 NEW BEST:: SOT 290300 SOS 221140 HAS SOPS 220248 HAS SOUS 137487 HAS SOUPS 136718 WITH SCORE 136939.14
AT ITER 229 NEW BEST:: SOT 290174 SOS 221014 HAS SOPS 220122 HAS SOUS 137398 HAS SOUPS 136629 WITH SCORE 136850.014
AT ITER 230 NEW BEST:: SOT 289714 SOS 220482 HAS SOPS 219590 HAS SOUS 136786 HAS SOUPS 136017 WITH SCORE 136237.482
AT ITER 231 NEW BEST:: SOT 289790 SOS 219800 HAS SOPS 218748 HAS SOUS 136661 HAS SOUPS 135811 WITH SCORE 136030.8
AT ITER 232 NEW BEST:: SOT 289928 SOS 219938 HAS SOPS 218886 HAS SOUS 136613 HAS SOUPS 135763 WITH SCORE 135982.938
AT ITER 236 NEW BEST:: SOT 289515 SOS 219525 HAS SOPS 218473 HAS SOUS 136199 HAS SOUPS 135349 WITH SCORE 135568.525
AT ITER 243 NEW BEST:: SOT 288752 SOS 218762 HAS SOPS 217710 HAS SOUS 135019 HAS SOUPS 134169 WITH SCORE 134387.762
AT ITER 244 NEW BEST:: SOT 288805 SOS 218815 HAS SOPS 217763 HAS SOUS 134850 HAS SOUPS 134000 WITH SCORE 134218.815
AT ITER 248 NEW BEST:: SOT 288628 SOS 218284 HAS SOPS 217232 HAS SOUS 134613 HAS SOUPS 133763 WITH SCORE 133981.284
AT ITER 254 NEW BEST:: SOT 288548 SOS 218204 HAS SOPS 217152 HAS SOUS 134473 HAS SOUPS 133623 WITH SCORE 133841.204
AT ITER 258 NEW BEST:: SOT 288548 SOS 217583 HAS SOPS 216311 HAS SOUS 134440 HAS SOUPS 133508 WITH SCORE 133725.583
AT ITER 261 NEW BEST:: SOT 288501 SOS 217536 HAS SOPS 216264 HAS SOUS 134393 HAS SOUPS 133461 WITH SCORE 133678.536
AT ITER 262 NEW BEST:: SOT 288501 SOS 216848 HAS SOPS 215576 HAS SOUS 134298 HAS SOUPS 133366 WITH SCORE 133582.848
AT ITER 267 NEW BEST:: SOT 288231 SOS 216578 HAS SOPS 215306 HAS SOUS 134039 HAS SOUPS 133107 WITH SCORE 133323.578
AT ITER 268 NEW BEST:: SOT 288201 SOS 216193 HAS SOPS 214921 HAS SOUS 133938 HAS SOUPS 133006 WITH SCORE 133222.193
AT ITER 271 NEW BEST:: SOT 288201 SOS 216061 HAS SOPS 214789 HAS SOUS 133860 HAS SOUPS 132928 WITH SCORE 133144.061
AT ITER 273 NEW BEST:: SOT 287428 SOS 215288 HAS SOPS 214016 HAS SOUS 133087 HAS SOUPS 132155 WITH SCORE 132370.288
AT ITER 274 NEW BEST:: SOT 287815 SOS 215582 HAS SOPS 214310 HAS SOUS 133072 HAS SOUPS 132140 WITH SCORE 132355.582
AT ITER 278 NEW BEST:: SOT 287639 SOS 215406 HAS SOPS 214134 HAS SOUS 132884 HAS SOUPS 131952 WITH SCORE 132167.406
AT ITER 279 NEW BEST:: SOT 287303 SOS 215016 HAS SOPS 213744 HAS SOUS 132358 HAS SOUPS 131426 WITH SCORE 131641.016
AT ITER 282 NEW BEST:: SOT 287082 SOS 214601 HAS SOPS 213329 HAS SOUS 132054 HAS SOUPS 131122 WITH SCORE 131336.601
AT ITER 292 NEW BEST:: SOT 287082 SOS 214601 HAS SOPS 213329 HAS SOUS 132040 HAS SOUPS 131108 WITH SCORE 131322.601
AT ITER 294 NEW BEST:: SOT 287063 SOS 214586 HAS SOPS 213314 HAS SOUS 132006 HAS SOUPS 131074 WITH SCORE 131288.586
AT ITER 299 NEW BEST:: SOT 287090 SOS 214559 HAS SOPS 213287 HAS SOUS 131871 HAS SOUPS 130939 WITH SCORE 131153.559
AT ITER 309 NEW BEST:: SOT 286370 SOS 213663 HAS SOPS 212582 HAS SOUS 131353 HAS SOUPS 130502 WITH SCORE 130715.663
AT ITER 312 NEW BEST:: SOT 286032 SOS 212336 HAS SOPS 211255 HAS SOUS 131326 HAS SOUPS 130475 WITH SCORE 130687.336
AT ITER 315 NEW BEST:: SOT 286017 SOS 212572 HAS SOPS 211491 HAS SOUS 131322 HAS SOUPS 130471 WITH SCORE 130683.572
AT ITER 320 NEW BEST:: SOT 285497 SOS 212052 HAS SOPS 210971 HAS SOUS 130842 HAS SOUPS 129991 WITH SCORE 130203.052
AT ITER 321 NEW BEST:: SOT 285533 SOS 212386 HAS SOPS 211007 HAS SOUS 130256 HAS SOUPS 129131 WITH SCORE 129343.386
AT ITER 327 NEW BEST:: SOT 285503 SOS 212343 HAS SOPS 210996 HAS SOUS 130104 HAS SOUPS 129011 WITH SCORE 129223.343
AT ITER 332 NEW BEST:: SOT 285377 SOS 212217 HAS SOPS 210870 HAS SOUS 130062 HAS SOUPS 128969 WITH SCORE 129181.217
AT ITER 339 NEW BEST:: SOT 285296 SOS 211895 HAS SOPS 210604 HAS SOUS 129981 HAS SOUPS 128891 WITH SCORE 129102.895
AT ITER 340 NEW BEST:: SOT 285239 SOS 211819 HAS SOPS 210528 HAS SOUS 129878 HAS SOUPS 128788 WITH SCORE 128999.819
AT ITER 343 NEW BEST:: SOT 285241 SOS 211673 HAS SOPS 210382 HAS SOUS 129586 HAS SOUPS 128496 WITH SCORE 128707.673
AT ITER 346 NEW BEST:: SOT 285213 SOS 211565 HAS SOPS 210274 HAS SOUS 129570 HAS SOUPS 128480 WITH SCORE 128691.565
AT ITER 352 NEW BEST:: SOT 285045 SOS 211418 HAS SOPS 210154 HAS SOUS 129385 HAS SOUPS 128322 WITH SCORE 128533.418
AT ITER 353 NEW BEST:: SOT 285095 SOS 211438 HAS SOPS 210174 HAS SOUS 129375 HAS SOUPS 128312 WITH SCORE 128523.438
AT ITER 356 NEW BEST:: SOT 284946 SOS 210470 HAS SOPS 209206 HAS SOUS 128963 HAS SOUPS 127900 WITH SCORE 128110.47
AT ITER 357 NEW BEST:: SOT 284761 SOS 210164 HAS SOPS 208900 HAS SOUS 128717 HAS SOUPS 127654 WITH SCORE 127864.164
AT ITER 358 NEW BEST:: SOT 284787 SOS 209948 HAS SOPS 208684 HAS SOUS 128367 HAS SOUPS 127304 WITH SCORE 127513.948
AT ITER 359 NEW BEST:: SOT 283249 SOS 209158 HAS SOPS 207894 HAS SOUS 127458 HAS SOUPS 126395 WITH SCORE 126604.158
AT ITER 361 NEW BEST:: SOT 283408 SOS 208882 HAS SOPS 207618 HAS SOUS 127359 HAS SOUPS 126296 WITH SCORE 126504.882
AT ITER 365 NEW BEST:: SOT 283012 SOS 208353 HAS SOPS 207222 HAS SOUS 126987 HAS SOUPS 126033 WITH SCORE 126241.353
AT ITER 366 NEW BEST:: SOT 282362 SOS 208050 HAS SOPS 206919 HAS SOUS 126034 HAS SOUPS 125080 WITH SCORE 125288.05
AT ITER 368 NEW BEST:: SOT 282240 SOS 208357 HAS SOPS 207226 HAS SOUS 125897 HAS SOUPS 124943 WITH SCORE 125151.357
AT ITER 378 NEW BEST:: SOT 281876 SOS 207917 HAS SOPS 206786 HAS SOUS 125426 HAS SOUPS 124472 WITH SCORE 124679.917
AT ITER 379 NEW BEST:: SOT 281876 SOS 207917 HAS SOPS 206786 HAS SOUS 125419 HAS SOUPS 124465 WITH SCORE 124672.917
AT ITER 380 NEW BEST:: SOT 281860 SOS 207740 HAS SOPS 206609 HAS SOUS 125388 HAS SOUPS 124434 WITH SCORE 124641.74
AT ITER 382 NEW BEST:: SOT 281764 SOS 207644 HAS SOPS 206513 HAS SOUS 125340 HAS SOUPS 124386 WITH SCORE 124593.644
AT ITER 383 NEW BEST:: SOT 281791 SOS 208129 HAS SOPS 206998 HAS SOUS 125239 HAS SOUPS 124285 WITH SCORE 124493.129
AT ITER 391 NEW BEST:: SOT 280171 SOS 206042 HAS SOPS 204911 HAS SOUS 123762 HAS SOUPS 122808 WITH SCORE 123014.042
AT ITER 393 NEW BEST:: SOT 280073 SOS 205944 HAS SOPS 204813 HAS SOUS 123605 HAS SOUPS 122651 WITH SCORE 122856.944
AT ITER 394 NEW BEST:: SOT 280076 SOS 206036 HAS SOPS 204905 HAS SOUS 123397 HAS SOUPS 122443 WITH SCORE 122649.036
AT ITER 396 NEW BEST:: SOT 279911 SOS 205497 HAS SOPS 204366 HAS SOUS 123093 HAS SOUPS 122139 WITH SCORE 122344.497
AT ITER 397 NEW BEST:: SOT 279622 SOS 204938 HAS SOPS 203807 HAS SOUS 122782 HAS SOUPS 121828 WITH SCORE 122032.938
AT ITER 398 NEW BEST:: SOT 279347 SOS 204663 HAS SOPS 203532 HAS SOUS 122295 HAS SOUPS 121341 WITH SCORE 121545.663
AT ITER 400 NEW BEST:: SOT 279376 SOS 205395 HAS SOPS 204279 HAS SOUS 122070 HAS SOUPS 121131 WITH SCORE 121336.395
AT ITER 404 NEW BEST:: SOT 279376 SOS 205431 HAS SOPS 204315 HAS SOUS 121998 HAS SOUPS 121059 WITH SCORE 121264.431
AT ITER 406 NEW BEST:: SOT 279431 SOS 204906 HAS SOPS 203008 HAS SOUS 122188 HAS SOUPS 120632 WITH SCORE 120836.906
AT ITER 415 NEW BEST:: SOT 279212 SOS 204478 HAS SOPS 202580 HAS SOUS 122083 HAS SOUPS 120527 WITH SCORE 120731.478
AT ITER 416 NEW BEST:: SOT 279021 SOS 204241 HAS SOPS 202033 HAS SOUS 122204 HAS SOUPS 120455 WITH SCORE 120659.241
AT ITER 419 NEW BEST:: SOT 278871 SOS 204016 HAS SOPS 201808 HAS SOUS 121803 HAS SOUPS 120054 WITH SCORE 120258.016
AT ITER 423 NEW BEST:: SOT 278878 SOS 204010 HAS SOPS 201837 HAS SOUS 121735 HAS SOUPS 120008 WITH SCORE 120212.01
AT ITER 426 NEW BEST:: SOT 279416 SOS 204401 HAS SOPS 202228 HAS SOUS 121360 HAS SOUPS 119633 WITH SCORE 119837.401
AT ITER 429 NEW BEST:: SOT 279408 SOS 204377 HAS SOPS 202204 HAS SOUS 121344 HAS SOUPS 119617 WITH SCORE 119821.377
AT ITER 430 NEW BEST:: SOT 279375 SOS 204344 HAS SOPS 202171 HAS SOUS 121152 HAS SOUPS 119425 WITH SCORE 119629.344
AT ITER 434 NEW BEST:: SOT 279375 SOS 204351 HAS SOPS 202178 HAS SOUS 121135 HAS SOUPS 119408 WITH SCORE 119612.351
AT ITER 435 NEW BEST:: SOT 279312 SOS 204237 HAS SOPS 202064 HAS SOUS 120964 HAS SOUPS 119237 WITH SCORE 119441.237
AT ITER 438 NEW BEST:: SOT 279441 SOS 204751 HAS SOPS 202578 HAS SOUS 120659 HAS SOUPS 118932 WITH SCORE 119136.751
AT ITER 441 NEW BEST:: SOT 279540 SOS 204846 HAS SOPS 202673 HAS SOUS 120615 HAS SOUPS 118888 WITH SCORE 119092.846
AT ITER 447 NEW BEST:: SOT 277909 SOS 202720 HAS SOPS 200547 HAS SOUS 119133 HAS SOUPS 117406 WITH SCORE 117608.72
AT ITER 448 NEW BEST:: SOT 277868 SOS 202679 HAS SOPS 200506 HAS SOUS 119092 HAS SOUPS 117365 WITH SCORE 117567.679
AT ITER 451 NEW BEST:: SOT 277868 SOS 202416 HAS SOPS 200243 HAS SOUS 119038 HAS SOUPS 117311 WITH SCORE 117513.416
AT ITER 453 NEW BEST:: SOT 277790 SOS 202338 HAS SOPS 200165 HAS SOUS 118921 HAS SOUPS 117194 WITH SCORE 117396.338
AT ITER 456 NEW BEST:: SOT 277828 SOS 202286 HAS SOPS 200095 HAS SOUS 118920 HAS SOUPS 117175 WITH SCORE 117377.286
AT ITER 457 NEW BEST:: SOT 278012 SOS 202575 HAS SOPS 200384 HAS SOUS 118881 HAS SOUPS 117136 WITH SCORE 117338.575
AT ITER 459 NEW BEST:: SOT 278316 SOS 202099 HAS SOPS 199988 HAS SOUS 118772 HAS SOUPS 117085 WITH SCORE 117287.099
AT ITER 461 NEW BEST:: SOT 278316 SOS 202065 HAS SOPS 199954 HAS SOUS 118604 HAS SOUPS 116917 WITH SCORE 117119.065
AT ITER 462 NEW BEST:: SOT 277944 SOS 201973 HAS SOPS 199770 HAS SOUS 118606 HAS SOUPS 116857 WITH SCORE 117058.973
AT ITER 464 NEW BEST:: SOT 277944 SOS 201469 HAS SOPS 199266 HAS SOUS 118543 HAS SOUPS 116794 WITH SCORE 116995.469
AT ITER 472 NEW BEST:: SOT 277944 SOS 201285 HAS SOPS 198819 HAS SOUS 118653 HAS SOUPS 116730 WITH SCORE 116931.285
AT ITER 474 NEW BEST:: SOT 277844 SOS 201160 HAS SOPS 198669 HAS SOUS 118528 HAS SOUPS 116580 WITH SCORE 116781.16
AT ITER 475 NEW BEST:: SOT 275844 SOS 199995 HAS SOPS 197504 HAS SOUS 117132 HAS SOUPS 115184 WITH SCORE 115383.995
AT ITER 478 NEW BEST:: SOT 275844 SOS 199995 HAS SOPS 197504 HAS SOUS 117069 HAS SOUPS 115121 WITH SCORE 115320.995
AT ITER 484 NEW BEST:: SOT 275757 SOS 199908 HAS SOPS 197417 HAS SOUS 116982 HAS SOUPS 115034 WITH SCORE 115233.908
AT ITER 486 NEW BEST:: SOT 276055 SOS 199991 HAS SOPS 196980 HAS SOUS 117349 HAS SOUPS 114993 WITH SCORE 115192.991
AT ITER 488 NEW BEST:: SOT 275643 SOS 199087 HAS SOPS 196076 HAS SOUS 116116 HAS SOUPS 113760 WITH SCORE 113959.087
AT ITER 489 NEW BEST:: SOT 275435 SOS 198091 HAS SOPS 195080 HAS SOUS 116109 HAS SOUPS 113753 WITH SCORE 113951.091
AT ITER 498 NEW BEST:: SOT 275435 SOS 198080 HAS SOPS 195069 HAS SOUS 116091 HAS SOUPS 113735 WITH SCORE 113933.08
AT ITER 501 NEW BEST:: SOT 275435 SOS 198506 HAS SOPS 195495 HAS SOUS 115802 HAS SOUPS 113446 WITH SCORE 113644.506
AT ITER 506 NEW BEST:: SOT 275355 SOS 197785 HAS SOPS 194774 HAS SOUS 115637 HAS SOUPS 113281 WITH SCORE 113478.785
AT ITER 510 NEW BEST:: SOT 275317 SOS 197747 HAS SOPS 194736 HAS SOUS 115463 HAS SOUPS 113107 WITH SCORE 113304.747
AT ITER 518 NEW BEST:: SOT 275290 SOS 197720 HAS SOPS 194709 HAS SOUS 115427 HAS SOUPS 113071 WITH SCORE 113268.72
AT ITER 521 NEW BEST:: SOT 275183 SOS 197364 HAS SOPS 194353 HAS SOUS 115368 HAS SOUPS 113012 WITH SCORE 113209.364
AT ITER 527 NEW BEST:: SOT 274916 SOS 197407 HAS SOPS 194396 HAS SOUS 115227 HAS SOUPS 112871 WITH SCORE 113068.407
AT ITER 533 NEW BEST:: SOT 274874 SOS 197385 HAS SOPS 194374 HAS SOUS 115185 HAS SOUPS 112829 WITH SCORE 113026.385
AT ITER 541 NEW BEST:: SOT 274905 SOS 197416 HAS SOPS 194405 HAS SOUS 115154 HAS SOUPS 112798 WITH SCORE 112995.416
AT ITER 559 NEW BEST:: SOT 274905 SOS 197416 HAS SOPS 194405 HAS SOUS 115147 HAS SOUPS 112791 WITH SCORE 112988.416
AT ITER 564 NEW BEST:: SOT 274939 SOS 197312 HAS SOPS 194301 HAS SOUS 114929 HAS SOUPS 112573 WITH SCORE 112770.312
AT ITER 569 NEW BEST:: SOT 274939 SOS 197336 HAS SOPS 194325 HAS SOUS 114897 HAS SOUPS 112541 WITH SCORE 112738.336
AT ITER 574 NEW BEST:: SOT 274993 SOS 197373 HAS SOPS 194362 HAS SOUS 114780 HAS SOUPS 112424 WITH SCORE 112621.373
AT ITER 575 NEW BEST:: SOT 274937 SOS 197279 HAS SOPS 194339 HAS SOUS 114644 HAS SOUPS 112359 WITH SCORE 112556.279
AT ITER 582 NEW BEST:: SOT 274879 SOS 197455 HAS SOPS 194571 HAS SOUS 114451 HAS SOUPS 112210 WITH SCORE 112407.455
AT ITER 586 NEW BEST:: SOT 274879 SOS 197441 HAS SOPS 194557 HAS SOUS 114448 HAS SOUPS 112207 WITH SCORE 112404.441
AT ITER 587 NEW BEST:: SOT 274823 SOS 197085 HAS SOPS 194201 HAS SOUS 114392 HAS SOUPS 112151 WITH SCORE 112348.085
AT ITER 590 NEW BEST:: SOT 274767 SOS 196987 HAS SOPS 194103 HAS SOUS 114294 HAS SOUPS 112053 WITH SCORE 112249.987
AT ITER 594 NEW BEST:: SOT 274842 SOS 197062 HAS SOPS 194178 HAS SOUS 114199 HAS SOUPS 111958 WITH SCORE 112155.062
AT ITER 596 NEW BEST:: SOT 274842 SOS 197055 HAS SOPS 194171 HAS SOUS 114199 HAS SOUPS 111958 WITH SCORE 112155.055
AT ITER 605 NEW BEST:: SOT 275038 SOS 196923 HAS SOPS 193825 HAS SOUS 114325 HAS SOUPS 111937 WITH SCORE 112133.923
AT ITER 607 NEW BEST:: SOT 274974 SOS 196859 HAS SOPS 193761 HAS SOUS 114207 HAS SOUPS 111819 WITH SCORE 112015.859
AT ITER 608 NEW BEST:: SOT 274744 SOS 196634 HAS SOPS 193536 HAS SOUS 114116 HAS SOUPS 111728 WITH SCORE 111924.634
AT ITER 612 NEW BEST:: SOT 274744 SOS 196530 HAS SOPS 193432 HAS SOUS 114094 HAS SOUPS 111706 WITH SCORE 111902.53
AT ITER 617 NEW BEST:: SOT 274918 SOS 197073 HAS SOPS 194081 HAS SOUS 113797 HAS SOUPS 111482 WITH SCORE 111679.073
AT ITER 626 NEW BEST:: SOT 274886 SOS 196977 HAS SOPS 193985 HAS SOUS 113749 HAS SOUPS 111434 WITH SCORE 111630.977
AT ITER 637 NEW BEST:: SOT 274934 SOS 197025 HAS SOPS 194033 HAS SOUS 113697 HAS SOUPS 111382 WITH SCORE 111579.025
AT ITER 643 NEW BEST:: SOT 274829 SOS 196869 HAS SOPS 193877 HAS SOUS 113463 HAS SOUPS 111148 WITH SCORE 111344.869
AT ITER 644 NEW BEST:: SOT 274793 SOS 196833 HAS SOPS 193841 HAS SOUS 113415 HAS SOUPS 111100 WITH SCORE 111296.833
AT ITER 645 NEW BEST:: SOT 274779 SOS 196853 HAS SOPS 193941 HAS SOUS 113361 HAS SOUPS 111086 WITH SCORE 111282.853
AT ITER 648 NEW BEST:: SOT 274097 SOS 196657 HAS SOPS 194061 HAS SOUS 112930 HAS SOUPS 110971 WITH SCORE 111167.657
AT ITER 649 NEW BEST:: SOT 274045 SOS 196586 HAS SOPS 193990 HAS SOUS 112911 HAS SOUPS 110952 WITH SCORE 111148.586
AT ITER 652 NEW BEST:: SOT 273785 SOS 197029 HAS SOPS 194433 HAS SOUS 112755 HAS SOUPS 110796 WITH SCORE 110993.029
AT ITER 653 NEW BEST:: SOT 273785 SOS 196903 HAS SOPS 194307 HAS SOUS 112465 HAS SOUPS 110506 WITH SCORE 110702.903
AT ITER 656 NEW BEST:: SOT 273621 SOS 196668 HAS SOPS 194168 HAS SOUS 111953 HAS SOUPS 110090 WITH SCORE 110286.668
AT ITER 658 NEW BEST:: SOT 273518 SOS 196565 HAS SOPS 194065 HAS SOUS 111716 HAS SOUPS 109853 WITH SCORE 110049.565
AT ITER 660 NEW BEST:: SOT 273518 SOS 196585 HAS SOPS 194085 HAS SOUS 111705 HAS SOUPS 109842 WITH SCORE 110038.585
AT ITER 662 NEW BEST:: SOT 273376 SOS 196396 HAS SOPS 193896 HAS SOUS 111278 HAS SOUPS 109415 WITH SCORE 109611.396
AT ITER 663 NEW BEST:: SOT 273376 SOS 196494 HAS SOPS 193994 HAS SOUS 111250 HAS SOUPS 109387 WITH SCORE 109583.494
AT ITER 665 NEW BEST:: SOT 273294 SOS 196686 HAS SOPS 194186 HAS SOUS 111064 HAS SOUPS 109201 WITH SCORE 109397.686
AT ITER 668 NEW BEST:: SOT 273090 SOS 196635 HAS SOPS 194135 HAS SOUS 110986 HAS SOUPS 109123 WITH SCORE 109319.635
AT ITER 673 NEW BEST:: SOT 273113 SOS 196635 HAS SOPS 194135 HAS SOUS 110963 HAS SOUPS 109100 WITH SCORE 109296.635
AT ITER 674 NEW BEST:: SOT 273085 SOS 196543 HAS SOPS 194043 HAS SOUS 110696 HAS SOUPS 108833 WITH SCORE 109029.543
AT ITER 675 NEW BEST:: SOT 272865 SOS 196279 HAS SOPS 193779 HAS SOUS 110324 HAS SOUPS 108461 WITH SCORE 108657.279
AT ITER 686 NEW BEST:: SOT 272865 SOS 196147 HAS SOPS 193647 HAS SOUS 110240 HAS SOUPS 108377 WITH SCORE 108573.147
AT ITER 695 NEW BEST:: SOT 272759 SOS 196041 HAS SOPS 193541 HAS SOUS 110134 HAS SOUPS 108271 WITH SCORE 108467.041
AT ITER 699 NEW BEST:: SOT 272729 SOS 196020 HAS SOPS 193520 HAS SOUS 109910 HAS SOUPS 108047 WITH SCORE 108243.02
AT ITER 700 NEW BEST:: SOT 272290 SOS 195659 HAS SOPS 193159 HAS SOUS 109799 HAS SOUPS 107936 WITH SCORE 108131.659
AT ITER 709 NEW BEST:: SOT 272290 SOS 195375 HAS SOPS 192765 HAS SOUS 109600 HAS SOUPS 107711 WITH SCORE 107906.375
AT ITER 711 NEW BEST:: SOT 272359 SOS 195352 HAS SOPS 192742 HAS SOUS 109509 HAS SOUPS 107620 WITH SCORE 107815.352
AT ITER 713 NEW BEST:: SOT 272359 SOS 195276 HAS SOPS 192666 HAS SOUS 109379 HAS SOUPS 107490 WITH SCORE 107685.276
AT ITER 716 NEW BEST:: SOT 272345 SOS 195628 HAS SOPS 193117 HAS SOUS 109178 HAS SOUPS 107388 WITH SCORE 107583.628
AT ITER 718 NEW BEST:: SOT 272433 SOS 195817 HAS SOPS 193414 HAS SOUS 109101 HAS SOUPS 107382 WITH SCORE 107577.817
AT ITER 720 NEW BEST:: SOT 272384 SOS 195757 HAS SOPS 193354 HAS SOUS 109009 HAS SOUPS 107290 WITH SCORE 107485.757
AT ITER 732 NEW BEST:: SOT 271978 SOS 195152 HAS SOPS 192702 HAS SOUS 108428 HAS SOUPS 106662 WITH SCORE 106857.152
AT ITER 733 NEW BEST:: SOT 271901 SOS 195075 HAS SOPS 192625 HAS SOUS 107966 HAS SOUPS 106200 WITH SCORE 106395.075
AT ITER 739 NEW BEST:: SOT 271847 SOS 195012 HAS SOPS 192535 HAS SOUS 107930 HAS SOUPS 106137 WITH SCORE 106332.012
AT ITER 745 NEW BEST:: SOT 272125 SOS 195308 HAS SOPS 192728 HAS SOUS 107904 HAS SOUPS 106008 WITH SCORE 106203.308
AT ITER 756 NEW BEST:: SOT 271987 SOS 195032 HAS SOPS 192452 HAS SOUS 107642 HAS SOUPS 105746 WITH SCORE 105941.032
AT ITER 759 NEW BEST:: SOT 271424 SOS 194469 HAS SOPS 191889 HAS SOUS 107188 HAS SOUPS 105292 WITH SCORE 105486.469
AT ITER 760 NEW BEST:: SOT 271322 SOS 194367 HAS SOPS 191787 HAS SOUS 107120 HAS SOUPS 105224 WITH SCORE 105418.367
AT ITER 768 NEW BEST:: SOT 270655 SOS 195371 HAS SOPS 192791 HAS SOUS 106768 HAS SOUPS 104872 WITH SCORE 105067.371
AT ITER 777 NEW BEST:: SOT 270341 SOS 195309 HAS SOPS 192729 HAS SOUS 106370 HAS SOUPS 104474 WITH SCORE 104669.309
AT ITER 778 NEW BEST:: SOT 270364 SOS 195332 HAS SOPS 192752 HAS SOUS 106344 HAS SOUPS 104448 WITH SCORE 104643.332
AT ITER 796 NEW BEST:: SOT 270475 SOS 195259 HAS SOPS 192679 HAS SOUS 106316 HAS SOUPS 104420 WITH SCORE 104615.259
AT ITER 803 NEW BEST:: SOT 270511 SOS 195290 HAS SOPS 192659 HAS SOUS 106245 HAS SOUPS 104298 WITH SCORE 104493.29
AT ITER 804 NEW BEST:: SOT 270733 SOS 194423 HAS SOPS 191792 HAS SOUS 106142 HAS SOUPS 104195 WITH SCORE 104389.423
AT ITER 805 NEW BEST:: SOT 270685 SOS 194375 HAS SOPS 191744 HAS SOUS 106110 HAS SOUPS 104163 WITH SCORE 104357.375
AT ITER 827 NEW BEST:: SOT 270369 SOS 195142 HAS SOPS 192533 HAS SOUS 106094 HAS SOUPS 104147 WITH SCORE 104342.142
AT ITER 828 NEW BEST:: SOT 269942 SOS 194785 HAS SOPS 192176 HAS SOUS 105791 HAS SOUPS 103844 WITH SCORE 104038.785
AT ITER 850 NEW BEST:: SOT 269917 SOS 194989 HAS SOPS 192454 HAS SOUS 105662 HAS SOUPS 103769 WITH SCORE 103963.989
AT ITER 864 NEW BEST:: SOT 270026 SOS 194684 HAS SOPS 192050 HAS SOUS 105596 HAS SOUPS 103604 WITH SCORE 103798.684
AT ITER 871 NEW BEST:: SOT 270034 SOS 194676 HAS SOPS 192034 HAS SOUS 105596 HAS SOUPS 103604 WITH SCORE 103798.676
AT ITER 874 NEW BEST:: SOT 270016 SOS 194658 HAS SOPS 192016 HAS SOUS 105566 HAS SOUPS 103574 WITH SCORE 103768.658
AT ITER 875 NEW BEST:: SOT 269864 SOS 194507 HAS SOPS 191864 HAS SOUS 105482 HAS SOUPS 103489 WITH SCORE 103683.507
AT ITER 876 NEW BEST:: SOT 269820 SOS 194253 HAS SOPS 191610 HAS SOUS 105474 HAS SOUPS 103481 WITH SCORE 103675.253
AT ITER 882 NEW BEST:: SOT 269853 SOS 193720 HAS SOPS 191077 HAS SOUS 104981 HAS SOUPS 102988 WITH SCORE 103181.72
AT ITER 884 NEW BEST:: SOT 269917 SOS 193608 HAS SOPS 190902 HAS SOUS 104957 HAS SOUPS 102901 WITH SCORE 103094.608
AT ITER 885 NEW BEST:: SOT 269426 SOS 193013 HAS SOPS 190307 HAS SOUS 104561 HAS SOUPS 102505 WITH SCORE 102698.013
AT ITER 886 NEW BEST:: SOT 269462 SOS 193111 HAS SOPS 190405 HAS SOUS 104540 HAS SOUPS 102484 WITH SCORE 102677.111
AT ITER 888 NEW BEST:: SOT 268433 SOS 191773 HAS SOPS 189130 HAS SOUS 104050 HAS SOUPS 102057 WITH SCORE 102248.773
AT ITER 889 NEW BEST:: SOT 268440 SOS 191801 HAS SOPS 189158 HAS SOUS 104043 HAS SOUPS 102050 WITH SCORE 102241.801
AT ITER 890 NEW BEST:: SOT 268438 SOS 191273 HAS SOPS 188630 HAS SOUS 103999 HAS SOUPS 102006 WITH SCORE 102197.273
AT ITER 900 NEW BEST:: SOT 267272 SOS 188517 HAS SOPS 185806 HAS SOUS 103070 HAS SOUPS 101026 WITH SCORE 101214.517
AT ITER 901 NEW BEST:: SOT 266420 SOS 187469 HAS SOPS 185142 HAS SOUS 102430 HAS SOUPS 100681 WITH SCORE 100868.469
AT ITER 922 NEW BEST:: SOT 266367 SOS 187285 HAS SOPS 184973 HAS SOUS 102046 HAS SOUPS 100302 WITH SCORE 100489.285
AT ITER 923 NEW BEST:: SOT 266806 SOS 189147 HAS SOPS 186835 HAS SOUS 101936 HAS SOUPS 100192 WITH SCORE 100381.147
AT ITER 928 NEW BEST:: SOT 266732 SOS 189073 HAS SOPS 186761 HAS SOUS 101826 HAS SOUPS 100082 WITH SCORE 100271.073
AT ITER 936 NEW BEST:: SOT 266617 SOS 188958 HAS SOPS 186646 HAS SOUS 101658 HAS SOUPS 99914 WITH SCORE 100102.958
AT ITER 937 NEW BEST:: SOT 266539 SOS 188616 HAS SOPS 186304 HAS SOUS 101643 HAS SOUPS 99899 WITH SCORE 100087.616
AT ITER 939 NEW BEST:: SOT 265577 SOS 187660 HAS SOPS 185348 HAS SOUS 100828 HAS SOUPS 99084 WITH SCORE 99271.66
AT ITER 940 NEW BEST:: SOT 265619 SOS 187180 HAS SOPS 184868 HAS SOUS 100621 HAS SOUPS 98877 WITH SCORE 99064.18
AT ITER 943 NEW BEST:: SOT 265658 SOS 187219 HAS SOPS 184907 HAS SOUS 100369 HAS SOUPS 98625 WITH SCORE 98812.219
AT ITER 944 NEW BEST:: SOT 265670 SOS 187215 HAS SOPS 184903 HAS SOUS 100295 HAS SOUPS 98551 WITH SCORE 98738.215
AT ITER 951 NEW BEST:: SOT 265475 SOS 187156 HAS SOPS 184844 HAS SOUS 100220 HAS SOUPS 98476 WITH SCORE 98663.156
AT ITER 953 NEW BEST:: SOT 265525 SOS 186857 HAS SOPS 184495 HAS SOUS 100209 HAS SOUPS 98415 WITH SCORE 98601.857
AT ITER 954 NEW BEST:: SOT 265547 SOS 186855 HAS SOPS 184493 HAS SOUS 100205 HAS SOUPS 98411 WITH SCORE 98597.855
AT ITER 956 NEW BEST:: SOT 265507 SOS 186658 HAS SOPS 184273 HAS SOUS 100124 HAS SOUPS 98330 WITH SCORE 98516.658
AT ITER 960 NEW BEST:: SOT 265507 SOS 186606 HAS SOPS 184221 HAS SOUS 100020 HAS SOUPS 98226 WITH SCORE 98412.606
AT ITER 964 NEW BEST:: SOT 265537 SOS 186662 HAS SOPS 184277 HAS SOUS 99980 HAS SOUPS 98186 WITH SCORE 98372.662
AT ITER 967 NEW BEST:: SOT 265537 SOS 186633 HAS SOPS 184248 HAS SOUS 99964 HAS SOUPS 98170 WITH SCORE 98356.633
AT ITER 969 NEW BEST:: SOT 264879 SOS 185929 HAS SOPS 183544 HAS SOUS 99312 HAS SOUPS 97518 WITH SCORE 97703.929
AT ITER 972 NEW BEST:: SOT 264879 SOS 185896 HAS SOPS 183511 HAS SOUS 99312 HAS SOUPS 97518 WITH SCORE 97703.896
AT ITER 977 NEW BEST:: SOT 264728 SOS 185743 HAS SOPS 183358 HAS SOUS 99257 HAS SOUPS 97463 WITH SCORE 97648.743
AT ITER 978 NEW BEST:: SOT 264728 SOS 184756 HAS SOPS 182371 HAS SOUS 99116 HAS SOUPS 97322 WITH SCORE 97506.756
AT ITER 980 NEW BEST:: SOT 264796 SOS 184815 HAS SOPS 182430 HAS SOUS 99104 HAS SOUPS 97310 WITH SCORE 97494.815
AT ITER 982 NEW BEST:: SOT 264374 SOS 184399 HAS SOPS 182014 HAS SOUS 99011 HAS SOUPS 97217 WITH SCORE 97401.399
AT ITER 992 NEW BEST:: SOT 264211 SOS 184236 HAS SOPS 181851 HAS SOUS 98849 HAS SOUPS 97055 WITH SCORE 97239.236
AT ITER 996 NEW BEST:: SOT 264205 SOS 184230 HAS SOPS 181845 HAS SOUS 98836 HAS SOUPS 97042 WITH SCORE 97226.23
AT ITER 1018 NEW BEST:: SOT 264433 SOS 184458 HAS SOPS 182073 HAS SOUS 98653 HAS SOUPS 96859 WITH SCORE 97043.458
AT ITER 1019 NEW BEST:: SOT 264433 SOS 184540 HAS SOPS 182155 HAS SOUS 98517 HAS SOUPS 96723 WITH SCORE 96907.54
AT ITER 1025 NEW BEST:: SOT 264451 SOS 184567 HAS SOPS 182182 HAS SOUS 98499 HAS SOUPS 96705 WITH SCORE 96889.567
AT ITER 1029 NEW BEST:: SOT 264415 SOS 184519 HAS SOPS 182134 HAS SOUS 98438 HAS SOUPS 96644 WITH SCORE 96828.519
AT ITER 1032 NEW BEST:: SOT 264307 SOS 184411 HAS SOPS 182026 HAS SOUS 98430 HAS SOUPS 96636 WITH SCORE 96820.411
AT ITER 1042 NEW BEST:: SOT 264307 SOS 184165 HAS SOPS 181529 HAS SOUS 98215 HAS SOUPS 96390 WITH SCORE 96574.165
AT ITER 1043 NEW BEST:: SOT 264394 SOS 184968 HAS SOPS 182400 HAS SOUS 98015 HAS SOUPS 96241 WITH SCORE 96425.968
AT ITER 1045 NEW BEST:: SOT 264309 SOS 184853 HAS SOPS 182285 HAS SOUS 97840 HAS SOUPS 96066 WITH SCORE 96250.853
AT ITER 1046 NEW BEST:: SOT 264478 SOS 185602 HAS SOPS 183034 HAS SOUS 97674 HAS SOUPS 95900 WITH SCORE 96085.602
AT ITER 1054 NEW BEST:: SOT 264428 SOS 184992 HAS SOPS 182424 HAS SOUS 97453 HAS SOUPS 95679 WITH SCORE 95863.992
AT ITER 1059 NEW BEST:: SOT 264409 SOS 184992 HAS SOPS 182405 HAS SOUS 97358 HAS SOUPS 95565 WITH SCORE 95749.992
AT ITER 1060 NEW BEST:: SOT 264040 SOS 184891 HAS SOPS 182311 HAS SOUS 97144 HAS SOUPS 95351 WITH SCORE 95535.891
AT ITER 1061 NEW BEST:: SOT 263830 SOS 184657 HAS SOPS 182077 HAS SOUS 96882 HAS SOUPS 95089 WITH SCORE 95273.657
AT ITER 1063 NEW BEST:: SOT 263286 SOS 183535 HAS SOPS 180955 HAS SOUS 96100 HAS SOUPS 94307 WITH SCORE 94490.535
AT ITER 1065 NEW BEST:: SOT 262759 SOS 181943 HAS SOPS 179363 HAS SOUS 95365 HAS SOUPS 93572 WITH SCORE 93753.943
AT ITER 1067 NEW BEST:: SOT 263097 SOS 182712 HAS SOPS 180144 HAS SOUS 95308 HAS SOUPS 93527 WITH SCORE 93709.712
AT ITER 1069 NEW BEST:: SOT 263045 SOS 182422 HAS SOPS 179854 HAS SOUS 95284 HAS SOUPS 93503 WITH SCORE 93685.422
AT ITER 1077 NEW BEST:: SOT 263036 SOS 182381 HAS SOPS 179717 HAS SOUS 95243 HAS SOUPS 93366 WITH SCORE 93548.381
AT ITER 1079 NEW BEST:: SOT 263022 SOS 182367 HAS SOPS 179703 HAS SOUS 95015 HAS SOUPS 93138 WITH SCORE 93320.367
AT ITER 1083 NEW BEST:: SOT 262268 SOS 181613 HAS SOPS 178949 HAS SOUS 94195 HAS SOUPS 92318 WITH SCORE 92499.613
AT ITER 1086 NEW BEST:: SOT 262457 SOS 181802 HAS SOPS 179138 HAS SOUS 93923 HAS SOUPS 92046 WITH SCORE 92227.802
AT ITER 1093 NEW BEST:: SOT 262399 SOS 181744 HAS SOPS 179080 HAS SOUS 93907 HAS SOUPS 92030 WITH SCORE 92211.744
AT ITER 1095 NEW BEST:: SOT 262039 SOS 181384 HAS SOPS 178720 HAS SOUS 93766 HAS SOUPS 91889 WITH SCORE 92070.384
AT ITER 1096 NEW BEST:: SOT 262003 SOS 181348 HAS SOPS 178684 HAS SOUS 93730 HAS SOUPS 91853 WITH SCORE 92034.348
AT ITER 1105 NEW BEST:: SOT 261915 SOS 181252 HAS SOPS 178588 HAS SOUS 93500 HAS SOUPS 91623 WITH SCORE 91804.252
AT ITER 1106 NEW BEST:: SOT 261919 SOS 181231 HAS SOPS 178567 HAS SOUS 93492 HAS SOUPS 91615 WITH SCORE 91796.231
AT ITER 1110 NEW BEST:: SOT 261870 SOS 181182 HAS SOPS 178518 HAS SOUS 93443 HAS SOUPS 91566 WITH SCORE 91747.182
AT ITER 1116 NEW BEST:: SOT 261819 SOS 181131 HAS SOPS 178467 HAS SOUS 93356 HAS SOUPS 91479 WITH SCORE 91660.131
AT ITER 1120 NEW BEST:: SOT 261667 SOS 181043 HAS SOPS 178379 HAS SOUS 93017 HAS SOUPS 91140 WITH SCORE 91321.043
AT ITER 1133 NEW BEST:: SOT 261667 SOS 181073 HAS SOPS 178409 HAS SOUS 93001 HAS SOUPS 91124 WITH SCORE 91305.073
AT ITER 1141 NEW BEST:: SOT 261554 SOS 180792 HAS SOPS 178128 HAS SOUS 92727 HAS SOUPS 90850 WITH SCORE 91030.792
AT ITER 1147 NEW BEST:: SOT 261502 SOS 180740 HAS SOPS 178076 HAS SOUS 92701 HAS SOUPS 90824 WITH SCORE 91004.74
AT ITER 1148 NEW BEST:: SOT 261478 SOS 180726 HAS SOPS 178062 HAS SOUS 92350 HAS SOUPS 90473 WITH SCORE 90653.726
AT ITER 1149 NEW BEST:: SOT 261423 SOS 180671 HAS SOPS 178007 HAS SOUS 92160 HAS SOUPS 90283 WITH SCORE 90463.671
AT ITER 1151 NEW BEST:: SOT 261369 SOS 180582 HAS SOPS 177918 HAS SOUS 92122 HAS SOUPS 90245 WITH SCORE 90425.582
AT ITER 1155 NEW BEST:: SOT 260756 SOS 180068 HAS SOPS 177404 HAS SOUS 91582 HAS SOUPS 89705 WITH SCORE 89885.068
AT ITER 1159 NEW BEST:: SOT 259364 SOS 178676 HAS SOPS 176012 HAS SOUS 90173 HAS SOUPS 88296 WITH SCORE 88474.676
AT ITER 1166 NEW BEST:: SOT 259366 SOS 178668 HAS SOPS 176004 HAS SOUS 90173 HAS SOUPS 88296 WITH SCORE 88474.668
AT ITER 1167 NEW BEST:: SOT 259270 SOS 178572 HAS SOPS 175908 HAS SOUS 90061 HAS SOUPS 88184 WITH SCORE 88362.572
AT ITER 1168 NEW BEST:: SOT 259270 SOS 178496 HAS SOPS 175832 HAS SOUS 90061 HAS SOUPS 88184 WITH SCORE 88362.496
AT ITER 1181 NEW BEST:: SOT 259125 SOS 178333 HAS SOPS 175669 HAS SOUS 89858 HAS SOUPS 87981 WITH SCORE 88159.333
AT ITER 1190 NEW BEST:: SOT 259000 SOS 178095 HAS SOPS 175387 HAS SOUS 89802 HAS SOUPS 87925 WITH SCORE 88103.095
AT ITER 1193 NEW BEST:: SOT 258825 SOS 178152 HAS SOPS 175444 HAS SOUS 89724 HAS SOUPS 87847 WITH SCORE 88025.152
AT ITER 1199 NEW BEST:: SOT 258590 SOS 177917 HAS SOPS 175209 HAS SOUS 89254 HAS SOUPS 87377 WITH SCORE 87554.917
AT ITER 1202 NEW BEST:: SOT 258589 SOS 177902 HAS SOPS 175194 HAS SOUS 89245 HAS SOUPS 87368 WITH SCORE 87545.902
AT ITER 1205 NEW BEST:: SOT 258574 SOS 176452 HAS SOPS 173744 HAS SOUS 89086 HAS SOUPS 87209 WITH SCORE 87385.452
AT ITER 1217 NEW BEST:: SOT 258547 SOS 176425 HAS SOPS 173717 HAS SOUS 89071 HAS SOUPS 87194 WITH SCORE 87370.425
AT ITER 1226 NEW BEST:: SOT 258496 SOS 176191 HAS SOPS 173279 HAS SOUS 88823 HAS SOUPS 86895 WITH SCORE 87071.191
AT ITER 1232 NEW BEST:: SOT 258406 SOS 175650 HAS SOPS 172738 HAS SOUS 88671 HAS SOUPS 86743 WITH SCORE 86918.65
AT ITER 1254 NEW BEST:: SOT 258406 SOS 175729 HAS SOPS 172817 HAS SOUS 88660 HAS SOUPS 86732 WITH SCORE 86907.729
AT ITER 1256 NEW BEST:: SOT 258418 SOS 175741 HAS SOPS 172829 HAS SOUS 88653 HAS SOUPS 86725 WITH SCORE 86900.741
AT ITER 1260 NEW BEST:: SOT 258414 SOS 175749 HAS SOPS 172837 HAS SOUS 88651 HAS SOUPS 86723 WITH SCORE 86898.749
AT ITER 1275 NEW BEST:: SOT 258355 SOS 175723 HAS SOPS 172811 HAS SOUS 88632 HAS SOUPS 86704 WITH SCORE 86879.723
AT ITER 1276 NEW BEST:: SOT 258378 SOS 175768 HAS SOPS 172883 HAS SOUS 88594 HAS SOUPS 86691 WITH SCORE 86866.768
AT ITER 1280 NEW BEST:: SOT 258308 SOS 175656 HAS SOPS 172771 HAS SOUS 88526 HAS SOUPS 86623 WITH SCORE 86798.656
AT ITER 1285 NEW BEST:: SOT 258222 SOS 175570 HAS SOPS 172685 HAS SOUS 88497 HAS SOUPS 86594 WITH SCORE 86769.57
AT ITER 1287 NEW BEST:: SOT 258435 SOS 175705 HAS SOPS 172820 HAS SOUS 88437 HAS SOUPS 86534 WITH SCORE 86709.705
AT ITER 1298 NEW BEST:: SOT 258373 SOS 175528 HAS SOPS 172643 HAS SOUS 88402 HAS SOUPS 86499 WITH SCORE 86674.528
AT ITER 1309 NEW BEST:: SOT 258109 SOS 174163 HAS SOPS 171085 HAS SOUS 88233 HAS SOUPS 86216 WITH SCORE 86390.163
AT ITER 1314 NEW BEST:: SOT 258109 SOS 174115 HAS SOPS 171037 HAS SOUS 88208 HAS SOUPS 86191 WITH SCORE 86365.115
AT ITER 1315 NEW BEST:: SOT 258108 SOS 174113 HAS SOPS 171035 HAS SOUS 88204 HAS SOUPS 86187 WITH SCORE 86361.113
AT ITER 1317 NEW BEST:: SOT 258043 SOS 173733 HAS SOPS 170655 HAS SOUS 87903 HAS SOUPS 85886 WITH SCORE 86059.733
AT ITER 1321 NEW BEST:: SOT 258051 SOS 172924 HAS SOPS 170030 HAS SOUS 87779 HAS SOUPS 85866 WITH SCORE 86038.924
AT ITER 1324 NEW BEST:: SOT 257997 SOS 172701 HAS SOPS 169795 HAS SOUS 87593 HAS SOUPS 85668 WITH SCORE 85840.701
AT ITER 1332 NEW BEST:: SOT 257357 SOS 171923 HAS SOPS 169017 HAS SOUS 86968 HAS SOUPS 85043 WITH SCORE 85214.923
AT ITER 1333 NEW BEST:: SOT 256988 SOS 171506 HAS SOPS 168600 HAS SOUS 86483 HAS SOUPS 84558 WITH SCORE 84729.506
AT ITER 1337 NEW BEST:: SOT 256988 SOS 171510 HAS SOPS 168604 HAS SOUS 86474 HAS SOUPS 84549 WITH SCORE 84720.51
AT ITER 1338 NEW BEST:: SOT 256845 SOS 171037 HAS SOPS 168131 HAS SOUS 85962 HAS SOUPS 84037 WITH SCORE 84208.037
AT ITER 1339 NEW BEST:: SOT 256845 SOS 170865 HAS SOPS 167959 HAS SOUS 85962 HAS SOUPS 84037 WITH SCORE 84207.865
AT ITER 1348 NEW BEST:: SOT 256847 SOS 170710 HAS SOPS 167804 HAS SOUS 85906 HAS SOUPS 83981 WITH SCORE 84151.71
AT ITER 1349 NEW BEST:: SOT 256857 SOS 170730 HAS SOPS 167814 HAS SOUS 85906 HAS SOUPS 83971 WITH SCORE 84141.73
AT ITER 1354 NEW BEST:: SOT 256857 SOS 170548 HAS SOPS 167632 HAS SOUS 85906 HAS SOUPS 83971 WITH SCORE 84141.548
AT ITER 1355 NEW BEST:: SOT 256857 SOS 170391 HAS SOPS 167475 HAS SOUS 85865 HAS SOUPS 83930 WITH SCORE 84100.391
AT ITER 1378 NEW BEST:: SOT 256841 SOS 170375 HAS SOPS 167459 HAS SOUS 85845 HAS SOUPS 83910 WITH SCORE 84080.375
AT ITER 1390 NEW BEST:: SOT 256841 SOS 170257 HAS SOPS 167353 HAS SOUS 85809 HAS SOUPS 83886 WITH SCORE 84056.257
AT ITER 1401 NEW BEST:: SOT 256516 SOS 169477 HAS SOPS 166573 HAS SOUS 85489 HAS SOUPS 83566 WITH SCORE 83735.477
AT ITER 1411 NEW BEST:: SOT 256516 SOS 169438 HAS SOPS 166534 HAS SOUS 85463 HAS SOUPS 83540 WITH SCORE 83709.438
AT ITER 1413 NEW BEST:: SOT 256272 SOS 169162 HAS SOPS 166258 HAS SOUS 85091 HAS SOUPS 83168 WITH SCORE 83337.162
AT ITER 1414 NEW BEST:: SOT 256180 SOS 169070 HAS SOPS 166166 HAS SOUS 84946 HAS SOUPS 83023 WITH SCORE 83192.07
AT ITER 1426 NEW BEST:: SOT 256180 SOS 169040 HAS SOPS 166136 HAS SOUS 84946 HAS SOUPS 83023 WITH SCORE 83192.04
AT ITER 1444 NEW BEST:: SOT 256076 SOS 168975 HAS SOPS 166071 HAS SOUS 84911 HAS SOUPS 82988 WITH SCORE 83156.975
AT ITER 1445 NEW BEST:: SOT 256076 SOS 168524 HAS SOPS 165620 HAS SOUS 84860 HAS SOUPS 82937 WITH SCORE 83105.524
AT ITER 1448 NEW BEST:: SOT 255756 SOS 168142 HAS SOPS 165238 HAS SOUS 84308 HAS SOUPS 82385 WITH SCORE 82553.142
AT ITER 1449 NEW BEST:: SOT 255756 SOS 168081 HAS SOPS 165177 HAS SOUS 84308 HAS SOUPS 82385 WITH SCORE 82553.081
AT ITER 1450 NEW BEST:: SOT 255756 SOS 167969 HAS SOPS 165065 HAS SOUS 84308 HAS SOUPS 82385 WITH SCORE 82552.969
AT ITER 1453 NEW BEST:: SOT 255316 SOS 165634 HAS SOPS 162730 HAS SOUS 83830 HAS SOUPS 81907 WITH SCORE 82072.634
AT ITER 1458 NEW BEST:: SOT 255316 SOS 165634 HAS SOPS 162730 HAS SOUS 83797 HAS SOUPS 81874 WITH SCORE 82039.634
AT ITER 1460 NEW BEST:: SOT 255313 SOS 165649 HAS SOPS 162745 HAS SOUS 83788 HAS SOUPS 81865 WITH SCORE 82030.649
AT ITER 1483 NEW BEST:: SOT 255327 SOS 165731 HAS SOPS 162827 HAS SOUS 83733 HAS SOUPS 81810 WITH SCORE 81975.731
AT ITER 1501 NEW BEST:: SOT 255227 SOS 165531 HAS SOPS 162627 HAS SOUS 83613 HAS SOUPS 81690 WITH SCORE 81855.531
AT ITER 1504 NEW BEST:: SOT 255189 SOS 165623 HAS SOPS 162719 HAS SOUS 83546 HAS SOUPS 81623 WITH SCORE 81788.623
AT ITER 1505 NEW BEST:: SOT 255153 SOS 165575 HAS SOPS 162671 HAS SOUS 83510 HAS SOUPS 81587 WITH SCORE 81752.575
AT ITER 1510 NEW BEST:: SOT 255135 SOS 165557 HAS SOPS 162653 HAS SOUS 83492 HAS SOUPS 81569 WITH SCORE 81734.557
AT ITER 1526 NEW BEST:: SOT 255143 SOS 165295 HAS SOPS 162383 HAS SOUS 83388 HAS SOUPS 81457 WITH SCORE 81622.295
AT ITER 1531 NEW BEST:: SOT 254728 SOS 164767 HAS SOPS 161968 HAS SOUS 83100 HAS SOUPS 81282 WITH SCORE 81446.767
AT ITER 1540 NEW BEST:: SOT 254713 SOS 164707 HAS SOPS 161908 HAS SOUS 83100 HAS SOUPS 81282 WITH SCORE 81446.707
AT ITER 1558 NEW BEST:: SOT 254687 SOS 164681 HAS SOPS 161882 HAS SOUS 83074 HAS SOUPS 81256 WITH SCORE 81420.681
AT ITER 1560 NEW BEST:: SOT 254687 SOS 164521 HAS SOPS 161722 HAS SOUS 83074 HAS SOUPS 81256 WITH SCORE 81420.521
AT ITER 1561 NEW BEST:: SOT 254697 SOS 164531 HAS SOPS 161732 HAS SOUS 83064 HAS SOUPS 81246 WITH SCORE 81410.531
AT ITER 1564 NEW BEST:: SOT 254696 SOS 164530 HAS SOPS 161731 HAS SOUS 83063 HAS SOUPS 81245 WITH SCORE 81409.53
AT ITER 1579 NEW BEST:: SOT 254668 SOS 164502 HAS SOPS 161703 HAS SOUS 82951 HAS SOUPS 81133 WITH SCORE 81297.502
AT ITER 1586 NEW BEST:: SOT 254486 SOS 164091 HAS SOPS 161292 HAS SOUS 82779 HAS SOUPS 80961 WITH SCORE 81125.091
AT ITER 1587 NEW BEST:: SOT 254508 SOS 164108 HAS SOPS 161309 HAS SOUS 82773 HAS SOUPS 80955 WITH SCORE 81119.108
AT ITER 1591 NEW BEST:: SOT 254502 SOS 164131 HAS SOPS 161317 HAS SOUS 82707 HAS SOUPS 80878 WITH SCORE 81042.131
AT ITER 1603 NEW BEST:: SOT 254496 SOS 163819 HAS SOPS 160954 HAS SOUS 82752 HAS SOUPS 80872 WITH SCORE 81035.819
AT ITER 1612 NEW BEST:: SOT 254512 SOS 163861 HAS SOPS 160980 HAS SOUS 82736 HAS SOUPS 80856 WITH SCORE 81019.861
AT ITER 1616 NEW BEST:: SOT 254438 SOS 163711 HAS SOPS 160830 HAS SOUS 82647 HAS SOUPS 80767 WITH SCORE 80930.711
AT ITER 1622 NEW BEST:: SOT 254420 SOS 163687 HAS SOPS 160806 HAS SOUS 82559 HAS SOUPS 80679 WITH SCORE 80842.687
AT ITER 1625 NEW BEST:: SOT 254348 SOS 163343 HAS SOPS 160462 HAS SOUS 82444 HAS SOUPS 80564 WITH SCORE 80727.343
AT ITER 1635 NEW BEST:: SOT 254343 SOS 163338 HAS SOPS 160457 HAS SOUS 82435 HAS SOUPS 80555 WITH SCORE 80718.338
AT ITER 1641 NEW BEST:: SOT 254343 SOS 163202 HAS SOPS 160321 HAS SOUS 82401 HAS SOUPS 80521 WITH SCORE 80684.202
AT ITER 1642 NEW BEST:: SOT 254219 SOS 163145 HAS SOPS 160264 HAS SOUS 82215 HAS SOUPS 80335 WITH SCORE 80498.145
AT ITER 1649 NEW BEST:: SOT 254224 SOS 163176 HAS SOPS 160276 HAS SOUS 82194 HAS SOUPS 80314 WITH SCORE 80477.176
AT ITER 1653 NEW BEST:: SOT 254224 SOS 163069 HAS SOPS 160169 HAS SOUS 82190 HAS SOUPS 80310 WITH SCORE 80473.069
AT ITER 1655 NEW BEST:: SOT 253709 SOS 162978 HAS SOPS 160078 HAS SOUS 81896 HAS SOUPS 80016 WITH SCORE 80178.978
AT ITER 1662 NEW BEST:: SOT 253595 SOS 162866 HAS SOPS 159972 HAS SOUS 81775 HAS SOUPS 79901 WITH SCORE 80063.866
AT ITER 1670 NEW BEST:: SOT 253517 SOS 162691 HAS SOPS 159876 HAS SOUS 81547 HAS SOUPS 79752 WITH SCORE 79914.691
AT ITER 1676 NEW BEST:: SOT 253297 SOS 162147 HAS SOPS 159332 HAS SOUS 81486 HAS SOUPS 79691 WITH SCORE 79853.147
AT ITER 1692 NEW BEST:: SOT 253325 SOS 162087 HAS SOPS 159255 HAS SOUS 81500 HAS SOUPS 79688 WITH SCORE 79850.087
AT ITER 1693 NEW BEST:: SOT 253325 SOS 162095 HAS SOPS 159263 HAS SOUS 81496 HAS SOUPS 79684 WITH SCORE 79846.095
AT ITER 1712 NEW BEST:: SOT 253211 SOS 161981 HAS SOPS 159149 HAS SOUS 81381 HAS SOUPS 79569 WITH SCORE 79730.981
AT ITER 1735 NEW BEST:: SOT 253211 SOS 161954 HAS SOPS 159122 HAS SOUS 81327 HAS SOUPS 79515 WITH SCORE 79676.954
AT ITER 1750 NEW BEST:: SOT 252736 SOS 161460 HAS SOPS 158628 HAS SOUS 80890 HAS SOUPS 79078 WITH SCORE 79239.46
AT ITER 1755 NEW BEST:: SOT 252520 SOS 161172 HAS SOPS 158340 HAS SOUS 80638 HAS SOUPS 78826 WITH SCORE 78987.172
AT ITER 1762 NEW BEST:: SOT 252508 SOS 161163 HAS SOPS 158331 HAS SOUS 80638 HAS SOUPS 78826 WITH SCORE 78987.163
AT ITER 1769 NEW BEST:: SOT 252464 SOS 161119 HAS SOPS 158287 HAS SOUS 80594 HAS SOUPS 78782 WITH SCORE 78943.119
AT ITER 1773 NEW BEST:: SOT 252450 SOS 161105 HAS SOPS 158273 HAS SOUS 80545 HAS SOUPS 78733 WITH SCORE 78894.105
AT ITER 1775 NEW BEST:: SOT 252392 SOS 160975 HAS SOPS 158143 HAS SOUS 80253 HAS SOUPS 78441 WITH SCORE 78601.975
AT ITER 1779 NEW BEST:: SOT 252392 SOS 160748 HAS SOPS 157787 HAS SOUS 80274 HAS SOUPS 78419 WITH SCORE 78579.748
AT ITER 1788 NEW BEST:: SOT 252392 SOS 160684 HAS SOPS 157723 HAS SOUS 80265 HAS SOUPS 78410 WITH SCORE 78570.684
AT ITER 1793 NEW BEST:: SOT 252403 SOS 160908 HAS SOPS 157734 HAS SOUS 80063 HAS SOUPS 77995 WITH SCORE 78155.908
AT ITER 1796 NEW BEST:: SOT 252353 SOS 160858 HAS SOPS 157684 HAS SOUS 79909 HAS SOUPS 77841 WITH SCORE 78001.858
AT ITER 1798 NEW BEST:: SOT 252216 SOS 160672 HAS SOPS 157498 HAS SOUS 79577 HAS SOUPS 77509 WITH SCORE 77669.672
AT ITER 1811 NEW BEST:: SOT 252198 SOS 160654 HAS SOPS 157480 HAS SOUS 79541 HAS SOUPS 77473 WITH SCORE 77633.654
AT ITER 1825 NEW BEST:: SOT 252240 SOS 160696 HAS SOPS 157522 HAS SOUS 79530 HAS SOUPS 77462 WITH SCORE 77622.696
AT ITER 1827 NEW BEST:: SOT 252222 SOS 160606 HAS SOPS 157432 HAS SOUS 79494 HAS SOUPS 77426 WITH SCORE 77586.606
AT ITER 1844 NEW BEST:: SOT 252217 SOS 160596 HAS SOPS 157422 HAS SOUS 79487 HAS SOUPS 77419 WITH SCORE 77579.596
AT ITER 1861 NEW BEST:: SOT 251776 SOS 160339 HAS SOPS 157181 HAS SOUS 78980 HAS SOUPS 76928 WITH SCORE 77088.339
AT ITER 1877 NEW BEST:: SOT 251319 SOS 160946 HAS SOPS 158146 HAS SOUS 78660 HAS SOUPS 76821 WITH SCORE 76981.946
AT ITER 1884 NEW BEST:: SOT 251316 SOS 160922 HAS SOPS 158122 HAS SOUS 78654 HAS SOUPS 76815 WITH SCORE 76975.922
AT ITER 1885 NEW BEST:: SOT 251316 SOS 160917 HAS SOPS 158120 HAS SOUS 78651 HAS SOUPS 76812 WITH SCORE 76972.917
AT ITER 1887 NEW BEST:: SOT 251316 SOS 160915 HAS SOPS 158115 HAS SOUS 78651 HAS SOUPS 76811 WITH SCORE 76971.915
AT ITER 1896 NEW BEST:: SOT 251223 SOS 160803 HAS SOPS 158003 HAS SOUS 78342 HAS SOUPS 76502 WITH SCORE 76662.803
AT ITER 1900 NEW BEST:: SOT 251423 SOS 159899 HAS SOPS 156722 HAS SOUS 78270 HAS SOUPS 76198 WITH SCORE 76357.899
AT ITER 1905 NEW BEST:: SOT 251273 SOS 159733 HAS SOPS 156556 HAS SOUS 78048 HAS SOUPS 75976 WITH SCORE 76135.733
AT ITER 1931 NEW BEST:: SOT 251172 SOS 159427 HAS SOPS 156250 HAS SOUS 77599 HAS SOUPS 75527 WITH SCORE 75686.427
AT ITER 1950 NEW BEST:: SOT 251372 SOS 159624 HAS SOPS 156450 HAS SOUS 77343 HAS SOUPS 75274 WITH SCORE 75433.624
AT ITER 1957 NEW BEST:: SOT 251203 SOS 159499 HAS SOPS 156325 HAS SOUS 77252 HAS SOUPS 75183 WITH SCORE 75342.499
AT ITER 1969 NEW BEST:: SOT 251048 SOS 158604 HAS SOPS 155430 HAS SOUS 77224 HAS SOUPS 75155 WITH SCORE 75313.604
AT ITER 1970 NEW BEST:: SOT 250928 SOS 158376 HAS SOPS 155202 HAS SOUS 76722 HAS SOUPS 74653 WITH SCORE 74811.376
AT ITER 1976 NEW BEST:: SOT 250820 SOS 158282 HAS SOPS 155108 HAS SOUS 76538 HAS SOUPS 74469 WITH SCORE 74627.282
AT ITER 1981 NEW BEST:: SOT 250772 SOS 158228 HAS SOPS 155054 HAS SOUS 76488 HAS SOUPS 74419 WITH SCORE 74577.228
AT ITER 2003 NEW BEST:: SOT 250772 SOS 158228 HAS SOPS 155054 HAS SOUS 76477 HAS SOUPS 74408 WITH SCORE 74566.228
AT ITER 2006 NEW BEST:: SOT 250174 SOS 156632 HAS SOPS 153458 HAS SOUS 76287 HAS SOUPS 74218 WITH SCORE 74374.632
AT ITER 2014 NEW BEST:: SOT 250018 SOS 156476 HAS SOPS 153302 HAS SOUS 76077 HAS SOUPS 74008 WITH SCORE 74164.476
AT ITER 2015 NEW BEST:: SOT 249970 SOS 156422 HAS SOPS 153248 HAS SOUS 76015 HAS SOUPS 73946 WITH SCORE 74102.422
AT ITER 2017 NEW BEST:: SOT 249974 SOS 156418 HAS SOPS 153242 HAS SOUS 76017 HAS SOUPS 73946 WITH SCORE 74102.418
AT ITER 2019 NEW BEST:: SOT 250106 SOS 156594 HAS SOPS 153374 HAS SOUS 76017 HAS SOUPS 73902 WITH SCORE 74058.594
AT ITER 2020 NEW BEST:: SOT 249918 SOS 155927 HAS SOPS 152707 HAS SOUS 75847 HAS SOUPS 73732 WITH SCORE 73887.927
AT ITER 2021 NEW BEST:: SOT 249878 SOS 155887 HAS SOPS 152667 HAS SOUS 75837 HAS SOUPS 73722 WITH SCORE 73877.887
AT ITER 2032 NEW BEST:: SOT 249474 SOS 155549 HAS SOPS 152329 HAS SOUS 75480 HAS SOUPS 73365 WITH SCORE 73520.549
AT ITER 2042 NEW BEST:: SOT 249527 SOS 155549 HAS SOPS 152329 HAS SOUS 75321 HAS SOUPS 73206 WITH SCORE 73361.549
AT ITER 2056 NEW BEST:: SOT 249495 SOS 155506 HAS SOPS 152286 HAS SOUS 75204 HAS SOUPS 73089 WITH SCORE 73244.506
AT ITER 2057 NEW BEST:: SOT 249495 SOS 155480 HAS SOPS 152260 HAS SOUS 75191 HAS SOUPS 73076 WITH SCORE 73231.48
AT ITER 2073 NEW BEST:: SOT 249267 SOS 155133 HAS SOPS 152049 HAS SOUS 75069 HAS SOUPS 72995 WITH SCORE 73150.133
AT ITER 2076 NEW BEST:: SOT 249091 SOS 155106 HAS SOPS 152022 HAS SOUS 75007 HAS SOUPS 72933 WITH SCORE 73088.106
AT ITER 2081 NEW BEST:: SOT 249029 SOS 155056 HAS SOPS 151972 HAS SOUS 74941 HAS SOUPS 72867 WITH SCORE 73022.056
AT ITER 2084 NEW BEST:: SOT 248869 SOS 154696 HAS SOPS 151612 HAS SOUS 74701 HAS SOUPS 72627 WITH SCORE 72781.696
AT ITER 2086 NEW BEST:: SOT 248747 SOS 154061 HAS SOPS 150977 HAS SOUS 74411 HAS SOUPS 72337 WITH SCORE 72491.061
AT ITER 2087 NEW BEST:: SOT 248778 SOS 154247 HAS SOPS 151163 HAS SOUS 74319 HAS SOUPS 72245 WITH SCORE 72399.247
AT ITER 2091 NEW BEST:: SOT 249065 SOS 154615 HAS SOPS 151531 HAS SOUS 74102 HAS SOUPS 72028 WITH SCORE 72182.615
AT ITER 2105 NEW BEST:: SOT 249047 SOS 154607 HAS SOPS 151523 HAS SOUS 74056 HAS SOUPS 71982 WITH SCORE 72136.607
AT ITER 2107 NEW BEST:: SOT 248980 SOS 154540 HAS SOPS 151456 HAS SOUS 74011 HAS SOUPS 71937 WITH SCORE 72091.54
AT ITER 2113 NEW BEST:: SOT 248967 SOS 154475 HAS SOPS 151378 HAS SOUS 73998 HAS SOUPS 71911 WITH SCORE 72065.475
AT ITER 2131 NEW BEST:: SOT 248503 SOS 153783 HAS SOPS 150686 HAS SOUS 73663 HAS SOUPS 71576 WITH SCORE 71729.783
AT ITER 2152 NEW BEST:: SOT 248438 SOS 153718 HAS SOPS 150621 HAS SOUS 73611 HAS SOUPS 71524 WITH SCORE 71677.718
AT ITER 2154 NEW BEST:: SOT 248438 SOS 153713 HAS SOPS 150616 HAS SOUS 73596 HAS SOUPS 71509 WITH SCORE 71662.713
AT ITER 2168 NEW BEST:: SOT 247965 SOS 152400 HAS SOPS 149303 HAS SOUS 73324 HAS SOUPS 71237 WITH SCORE 71389.4
AT ITER 2180 NEW BEST:: SOT 247965 SOS 152701 HAS SOPS 149604 HAS SOUS 73220 HAS SOUPS 71133 WITH SCORE 71285.701
AT ITER 2189 NEW BEST:: SOT 247849 SOS 152638 HAS SOPS 149646 HAS SOUS 73069 HAS SOUPS 71087 WITH SCORE 71239.638
AT ITER 2200 NEW BEST:: SOT 247833 SOS 152614 HAS SOPS 149622 HAS SOUS 73021 HAS SOUPS 71039 WITH SCORE 71191.614
AT ITER 2202 NEW BEST:: SOT 247727 SOS 152508 HAS SOPS 149516 HAS SOUS 72897 HAS SOUPS 70915 WITH SCORE 71067.508
AT ITER 2211 NEW BEST:: SOT 247751 SOS 152554 HAS SOPS 149562 HAS SOUS 72869 HAS SOUPS 70887 WITH SCORE 71039.554
AT ITER 2217 NEW BEST:: SOT 247750 SOS 152525 HAS SOPS 149533 HAS SOUS 72861 HAS SOUPS 70879 WITH SCORE 71031.525
AT ITER 2218 NEW BEST:: SOT 247815 SOS 152636 HAS SOPS 149644 HAS SOUS 72834 HAS SOUPS 70852 WITH SCORE 71004.636
AT ITER 2219 NEW BEST:: SOT 247663 SOS 152451 HAS SOPS 149459 HAS SOUS 72583 HAS SOUPS 70601 WITH SCORE 70753.451
AT ITER 2221 NEW BEST:: SOT 247705 SOS 152451 HAS SOPS 149459 HAS SOUS 72559 HAS SOUPS 70577 WITH SCORE 70729.451
AT ITER 2251 NEW BEST:: SOT 247720 SOS 152331 HAS SOPS 149339 HAS SOUS 72527 HAS SOUPS 70545 WITH SCORE 70697.331
AT ITER 2280 NEW BEST:: SOT 247753 SOS 152364 HAS SOPS 149372 HAS SOUS 72393 HAS SOUPS 70411 WITH SCORE 70563.364
AT ITER 2283 NEW BEST:: SOT 247720 SOS 152203 HAS SOPS 149211 HAS SOUS 72358 HAS SOUPS 70376 WITH SCORE 70528.203
AT ITER 2291 NEW BEST:: SOT 247720 SOS 152574 HAS SOPS 149582 HAS SOUS 72199 HAS SOUPS 70217 WITH SCORE 70369.574
AT ITER 2300 NEW BEST:: SOT 247708 SOS 152562 HAS SOPS 149570 HAS SOUS 72187 HAS SOUPS 70205 WITH SCORE 70357.562
AT ITER 2312 NEW BEST:: SOT 247690 SOS 152334 HAS SOPS 149342 HAS SOUS 72169 HAS SOUPS 70187 WITH SCORE 70339.334
AT ITER 2315 NEW BEST:: SOT 247637 SOS 152248 HAS SOPS 149256 HAS SOUS 72029 HAS SOUPS 70047 WITH SCORE 70199.248
AT ITER 2323 NEW BEST:: SOT 247524 SOS 152060 HAS SOPS 148872 HAS SOUS 72116 HAS SOUPS 69991 WITH SCORE 70143.06
AT ITER 2324 NEW BEST:: SOT 247489 SOS 152025 HAS SOPS 148837 HAS SOUS 72081 HAS SOUPS 69956 WITH SCORE 70108.025
AT ITER 2325 NEW BEST:: SOT 247489 SOS 152005 HAS SOPS 148817 HAS SOUS 72081 HAS SOUPS 69956 WITH SCORE 70108.005
AT ITER 2357 NEW BEST:: SOT 247440 SOS 151842 HAS SOPS 148654 HAS SOUS 72022 HAS SOUPS 69897 WITH SCORE 70048.842
AT ITER 2359 NEW BEST:: SOT 247380 SOS 151782 HAS SOPS 148594 HAS SOUS 71960 HAS SOUPS 69835 WITH SCORE 69986.782
AT ITER 2377 NEW BEST:: SOT 247380 SOS 151814 HAS SOPS 148626 HAS SOUS 71936 HAS SOUPS 69811 WITH SCORE 69962.814
AT ITER 2390 NEW BEST:: SOT 247298 SOS 151520 HAS SOPS 148332 HAS SOUS 71865 HAS SOUPS 69740 WITH SCORE 69891.52
AT ITER 2401 NEW BEST:: SOT 247096 SOS 149972 HAS SOPS 146784 HAS SOUS 71590 HAS SOUPS 69465 WITH SCORE 69614.972
AT ITER 2402 NEW BEST:: SOT 247008 SOS 149842 HAS SOPS 146654 HAS SOUS 71428 HAS SOUPS 69303 WITH SCORE 69452.842
AT ITER 2416 NEW BEST:: SOT 246681 SOS 148892 HAS SOPS 145920 HAS SOUS 71260 HAS SOUPS 69267 WITH SCORE 69415.892
AT ITER 2420 NEW BEST:: SOT 246672 SOS 148877 HAS SOPS 145905 HAS SOUS 71245 HAS SOUPS 69252 WITH SCORE 69400.877
AT ITER 2423 NEW BEST:: SOT 246672 SOS 148787 HAS SOPS 145815 HAS SOUS 71245 HAS SOUPS 69252 WITH SCORE 69400.787
AT ITER 2426 NEW BEST:: SOT 246620 SOS 148735 HAS SOPS 145763 HAS SOUS 71152 HAS SOUPS 69159 WITH SCORE 69307.735
AT ITER 2437 NEW BEST:: SOT 246412 SOS 148646 HAS SOPS 145674 HAS SOUS 70886 HAS SOUPS 68893 WITH SCORE 69041.646
AT ITER 2445 NEW BEST:: SOT 246258 SOS 149320 HAS SOPS 146401 HAS SOUS 70838 HAS SOUPS 68845 WITH SCORE 68994.32
AT ITER 2453 NEW BEST:: SOT 246281 SOS 149343 HAS SOPS 146424 HAS SOUS 70830 HAS SOUPS 68837 WITH SCORE 68986.343
AT ITER 2457 NEW BEST:: SOT 246274 SOS 149385 HAS SOPS 146466 HAS SOUS 70823 HAS SOUPS 68830 WITH SCORE 68979.385
AT ITER 2475 NEW BEST:: SOT 246233 SOS 149474 HAS SOPS 146555 HAS SOUS 70726 HAS SOUPS 68733 WITH SCORE 68882.474
AT ITER 2483 NEW BEST:: SOT 246233 SOS 149449 HAS SOPS 146505 HAS SOUS 70726 HAS SOUPS 68708 WITH SCORE 68857.449
AT ITER 2501 NEW BEST:: SOT 246034 SOS 147613 HAS SOPS 144669 HAS SOUS 70632 HAS SOUPS 68614 WITH SCORE 68761.613
AT ITER 2506 NEW BEST:: SOT 246032 SOS 147611 HAS SOPS 144667 HAS SOUS 70626 HAS SOUPS 68608 WITH SCORE 68755.611
AT ITER 2513 NEW BEST:: SOT 245940 SOS 147519 HAS SOPS 144575 HAS SOUS 70571 HAS SOUPS 68553 WITH SCORE 68700.519
AT ITER 2521 NEW BEST:: SOT 245901 SOS 147493 HAS SOPS 144588 HAS SOUS 70532 HAS SOUPS 68553 WITH SCORE 68700.493
AT ITER 2530 NEW BEST:: SOT 245873 SOS 147361 HAS SOPS 144456 HAS SOUS 70522 HAS SOUPS 68543 WITH SCORE 68690.361
AT ITER 2535 NEW BEST:: SOT 245891 SOS 147377 HAS SOPS 144470 HAS SOUS 70518 HAS SOUPS 68537 WITH SCORE 68684.377
AT ITER 2548 NEW BEST:: SOT 245885 SOS 147308 HAS SOPS 144395 HAS SOUS 70500 HAS SOUPS 68519 WITH SCORE 68666.308
AT ITER 2555 NEW BEST:: SOT 246242 SOS 147747 HAS SOPS 144550 HAS SOUS 70710 HAS SOUPS 68445 WITH SCORE 68592.747
AT ITER 2562 NEW BEST:: SOT 246198 SOS 147659 HAS SOPS 144510 HAS SOUS 70625 HAS SOUPS 68408 WITH SCORE 68555.659
AT ITER 2563 NEW BEST:: SOT 246231 SOS 147683 HAS SOPS 144534 HAS SOUS 70558 HAS SOUPS 68341 WITH SCORE 68488.683
AT ITER 2583 NEW BEST:: SOT 246231 SOS 147344 HAS SOPS 144107 HAS SOUS 70589 HAS SOUPS 68328 WITH SCORE 68475.344
AT ITER 2593 NEW BEST:: SOT 246173 SOS 147273 HAS SOPS 144036 HAS SOUS 70517 HAS SOUPS 68256 WITH SCORE 68403.273
AT ITER 2594 NEW BEST:: SOT 246135 SOS 147030 HAS SOPS 143793 HAS SOUS 70508 HAS SOUPS 68247 WITH SCORE 68394.03
AT ITER 2596 NEW BEST:: SOT 246135 SOS 146982 HAS SOPS 143731 HAS SOUS 70522 HAS SOUPS 68247 WITH SCORE 68393.982
AT ITER 2600 NEW BEST:: SOT 246135 SOS 147147 HAS SOPS 143896 HAS SOUS 70456 HAS SOUPS 68181 WITH SCORE 68328.147
AT ITER 2608 NEW BEST:: SOT 245961 SOS 146969 HAS SOPS 143718 HAS SOUS 70294 HAS SOUPS 68019 WITH SCORE 68165.969
AT ITER 2618 NEW BEST:: SOT 245798 SOS 148228 HAS SOPS 145030 HAS SOUS 70268 HAS SOUPS 67993 WITH SCORE 68141.228
AT ITER 2620 NEW BEST:: SOT 245798 SOS 148007 HAS SOPS 144809 HAS SOUS 70240 HAS SOUPS 67965 WITH SCORE 68113.007
AT ITER 2625 NEW BEST:: SOT 245744 SOS 147953 HAS SOPS 144755 HAS SOUS 70195 HAS SOUPS 67920 WITH SCORE 68067.953
AT ITER 2629 NEW BEST:: SOT 245102 SOS 147843 HAS SOPS 144645 HAS SOUS 70005 HAS SOUPS 67730 WITH SCORE 67877.843
AT ITER 2654 NEW BEST:: SOT 245082 SOS 147818 HAS SOPS 144562 HAS SOUS 69655 HAS SOUPS 67322 WITH SCORE 67469.818
AT ITER 2656 NEW BEST:: SOT 244832 SOS 148364 HAS SOPS 145108 HAS SOUS 69612 HAS SOUPS 67279 WITH SCORE 67427.364
AT ITER 2658 NEW BEST:: SOT 244840 SOS 148372 HAS SOPS 145116 HAS SOUS 69590 HAS SOUPS 67257 WITH SCORE 67405.372
AT ITER 2670 NEW BEST:: SOT 244722 SOS 148401 HAS SOPS 145145 HAS SOUS 69448 HAS SOUPS 67115 WITH SCORE 67263.401
AT ITER 2676 NEW BEST:: SOT 244290 SOS 148227 HAS SOPS 144971 HAS SOUS 68675 HAS SOUPS 66342 WITH SCORE 66490.227
AT ITER 2689 NEW BEST:: SOT 244221 SOS 148123 HAS SOPS 144867 HAS SOUS 68464 HAS SOUPS 66131 WITH SCORE 66279.123
AT ITER 2690 NEW BEST:: SOT 243891 SOS 147793 HAS SOPS 144537 HAS SOUS 68088 HAS SOUPS 65755 WITH SCORE 65902.793
AT ITER 2693 NEW BEST:: SOT 243873 SOS 147712 HAS SOPS 144456 HAS SOUS 68079 HAS SOUPS 65746 WITH SCORE 65893.712
AT ITER 2703 NEW BEST:: SOT 243907 SOS 147566 HAS SOPS 144310 HAS SOUS 68017 HAS SOUPS 65684 WITH SCORE 65831.566
AT ITER 2706 NEW BEST:: SOT 243907 SOS 147422 HAS SOPS 144166 HAS SOUS 68003 HAS SOUPS 65670 WITH SCORE 65817.422
AT ITER 2707 NEW BEST:: SOT 243779 SOS 147038 HAS SOPS 143782 HAS SOUS 67811 HAS SOUPS 65478 WITH SCORE 65625.038
AT ITER 2712 NEW BEST:: SOT 243590 SOS 146993 HAS SOPS 143737 HAS SOUS 67634 HAS SOUPS 65301 WITH SCORE 65447.993
AT ITER 2720 NEW BEST:: SOT 243533 SOS 146917 HAS SOPS 143680 HAS SOUS 67558 HAS SOUPS 65244 WITH SCORE 65390.917
AT ITER 2731 NEW BEST:: SOT 243662 SOS 147068 HAS SOPS 143831 HAS SOUS 67552 HAS SOUPS 65238 WITH SCORE 65385.068
AT ITER 2735 NEW BEST:: SOT 243600 SOS 146967 HAS SOPS 143730 HAS SOUS 67451 HAS SOUPS 65137 WITH SCORE 65283.967
AT ITER 2752 NEW BEST:: SOT 243575 SOS 146927 HAS SOPS 143690 HAS SOUS 67389 HAS SOUPS 65075 WITH SCORE 65221.927
AT ITER 2758 NEW BEST:: SOT 243427 SOS 146785 HAS SOPS 143548 HAS SOUS 67165 HAS SOUPS 64851 WITH SCORE 64997.785
AT ITER 2765 NEW BEST:: SOT 243427 SOS 146780 HAS SOPS 143543 HAS SOUS 67162 HAS SOUPS 64848 WITH SCORE 64994.78
AT ITER 2766 NEW BEST:: SOT 243047 SOS 146752 HAS SOPS 143515 HAS SOUS 66983 HAS SOUPS 64669 WITH SCORE 64815.752
AT ITER 2769 NEW BEST:: SOT 242924 SOS 146672 HAS SOPS 143474 HAS SOUS 66886 HAS SOUPS 64583 WITH SCORE 64729.672
AT ITER 2770 NEW BEST:: SOT 242911 SOS 146696 HAS SOPS 143498 HAS SOUS 66747 HAS SOUPS 64444 WITH SCORE 64590.696
AT ITER 2773 NEW BEST:: SOT 242905 SOS 146693 HAS SOPS 143495 HAS SOUS 66747 HAS SOUPS 64444 WITH SCORE 64590.693
AT ITER 2775 NEW BEST:: SOT 242729 SOS 146511 HAS SOPS 143313 HAS SOUS 66319 HAS SOUPS 64016 WITH SCORE 64162.511
AT ITER 2789 NEW BEST:: SOT 242708 SOS 146490 HAS SOPS 143292 HAS SOUS 66259 HAS SOUPS 63956 WITH SCORE 64102.49
AT ITER 2814 NEW BEST:: SOT 242708 SOS 146240 HAS SOPS 143042 HAS SOUS 66225 HAS SOUPS 63922 WITH SCORE 64068.24
AT ITER 2828 NEW BEST:: SOT 242734 SOS 146216 HAS SOPS 143018 HAS SOUS 66088 HAS SOUPS 63785 WITH SCORE 63931.216
AT ITER 2829 NEW BEST:: SOT 242552 SOS 146022 HAS SOPS 142824 HAS SOUS 65882 HAS SOUPS 63579 WITH SCORE 63725.022
AT ITER 2830 NEW BEST:: SOT 242552 SOS 146120 HAS SOPS 142922 HAS SOUS 65840 HAS SOUPS 63537 WITH SCORE 63683.12
AT ITER 2833 NEW BEST:: SOT 242489 SOS 146057 HAS SOPS 142859 HAS SOUS 65797 HAS SOUPS 63494 WITH SCORE 63640.057
AT ITER 2845 NEW BEST:: SOT 242637 SOS 146411 HAS SOPS 143213 HAS SOUS 65728 HAS SOUPS 63425 WITH SCORE 63571.411
AT ITER 2856 NEW BEST:: SOT 242291 SOS 147910 HAS SOPS 144750 HAS SOUS 65585 HAS SOUPS 63320 WITH SCORE 63467.91
AT ITER 2861 NEW BEST:: SOT 242246 SOS 147865 HAS SOPS 144705 HAS SOUS 65540 HAS SOUPS 63275 WITH SCORE 63422.865
AT ITER 2865 NEW BEST:: SOT 242246 SOS 147809 HAS SOPS 144649 HAS SOUS 65540 HAS SOUPS 63275 WITH SCORE 63422.809
AT ITER 2904 NEW BEST:: SOT 242346 SOS 147839 HAS SOPS 144679 HAS SOUS 65513 HAS SOUPS 63248 WITH SCORE 63395.839
AT ITER 2907 NEW BEST:: SOT 242335 SOS 148166 HAS SOPS 145006 HAS SOUS 65468 HAS SOUPS 63203 WITH SCORE 63351.166
AT ITER 2913 NEW BEST:: SOT 242487 SOS 148356 HAS SOPS 145196 HAS SOUS 65438 HAS SOUPS 63173 WITH SCORE 63321.356
AT ITER 2922 NEW BEST:: SOT 242487 SOS 148356 HAS SOPS 145196 HAS SOUS 65425 HAS SOUPS 63160 WITH SCORE 63308.356
AT ITER 2936 NEW BEST:: SOT 242461 SOS 148330 HAS SOPS 145170 HAS SOUS 65391 HAS SOUPS 63126 WITH SCORE 63274.33
AT ITER 2949 NEW BEST:: SOT 242390 SOS 148260 HAS SOPS 145045 HAS SOUS 65412 HAS SOUPS 63092 WITH SCORE 63240.26
AT ITER 2951 NEW BEST:: SOT 242334 SOS 148204 HAS SOPS 144989 HAS SOUS 65407 HAS SOUPS 63087 WITH SCORE 63235.204
AT ITER 2958 NEW BEST:: SOT 242090 SOS 147967 HAS SOPS 144752 HAS SOUS 65339 HAS SOUPS 63019 WITH SCORE 63166.967
AT ITER 2970 NEW BEST:: SOT 242125 SOS 148050 HAS SOPS 144835 HAS SOUS 65189 HAS SOUPS 62869 WITH SCORE 63017.05
AT ITER 2998 NEW BEST:: SOT 242036 SOS 147860 HAS SOPS 144645 HAS SOUS 65124 HAS SOUPS 62804 WITH SCORE 62951.86
AT ITER 3007 NEW BEST:: SOT 242124 SOS 148016 HAS SOPS 144801 HAS SOUS 65064 HAS SOUPS 62744 WITH SCORE 62892.016
AT ITER 3008 NEW BEST:: SOT 242066 SOS 148193 HAS SOPS 144978 HAS SOUS 65056 HAS SOUPS 62736 WITH SCORE 62884.193
AT ITER 3011 NEW BEST:: SOT 242066 SOS 148191 HAS SOPS 144976 HAS SOUS 65050 HAS SOUPS 62730 WITH SCORE 62878.191
AT ITER 3056 NEW BEST:: SOT 242135 SOS 148145 HAS SOPS 144930 HAS SOUS 65027 HAS SOUPS 62707 WITH SCORE 62855.145
AT ITER 3058 NEW BEST:: SOT 242135 SOS 148087 HAS SOPS 144842 HAS SOUS 65017 HAS SOUPS 62687 WITH SCORE 62835.087
AT ITER 3060 NEW BEST:: SOT 242095 SOS 148034 HAS SOPS 144789 HAS SOUS 64928 HAS SOUPS 62598 WITH SCORE 62746.034
AT ITER 3069 NEW BEST:: SOT 241952 SOS 147891 HAS SOPS 144646 HAS SOUS 64785 HAS SOUPS 62455 WITH SCORE 62602.891
AT ITER 3075 NEW BEST:: SOT 242083 SOS 148051 HAS SOPS 144719 HAS SOUS 64687 HAS SOUPS 62391 WITH SCORE 62539.051
AT ITER 3107 NEW BEST:: SOT 242079 SOS 148043 HAS SOPS 144711 HAS SOUS 64668 HAS SOUPS 62372 WITH SCORE 62520.043
AT ITER 3151 NEW BEST:: SOT 241993 SOS 147957 HAS SOPS 144625 HAS SOUS 64474 HAS SOUPS 62178 WITH SCORE 62325.957
AT ITER 3173 NEW BEST:: SOT 241966 SOS 147930 HAS SOPS 144598 HAS SOUS 64398 HAS SOUPS 62102 WITH SCORE 62249.93
AT ITER 3188 NEW BEST:: SOT 241691 SOS 148560 HAS SOPS 145228 HAS SOUS 64108 HAS SOUPS 61812 WITH SCORE 61960.56
AT ITER 3191 NEW BEST:: SOT 241691 SOS 148515 HAS SOPS 145165 HAS SOUS 64114 HAS SOUPS 61812 WITH SCORE 61960.515
AT ITER 3203 NEW BEST:: SOT 241415 SOS 148339 HAS SOPS 144989 HAS SOUS 63502 HAS SOUPS 61200 WITH SCORE 61348.339
AT ITER 3219 NEW BEST:: SOT 241434 SOS 148377 HAS SOPS 145027 HAS SOUS 63483 HAS SOUPS 61181 WITH SCORE 61329.377
AT ITER 3223 NEW BEST:: SOT 241459 SOS 148823 HAS SOPS 145473 HAS SOUS 63426 HAS SOUPS 61124 WITH SCORE 61272.823
AT ITER 3230 NEW BEST:: SOT 241459 SOS 148985 HAS SOPS 145635 HAS SOUS 63343 HAS SOUPS 61041 WITH SCORE 61189.985
AT ITER 3233 NEW BEST:: SOT 241347 SOS 148682 HAS SOPS 145332 HAS SOUS 63156 HAS SOUPS 60854 WITH SCORE 61002.682
AT ITER 3234 NEW BEST:: SOT 241347 SOS 148856 HAS SOPS 145506 HAS SOUS 63136 HAS SOUPS 60834 WITH SCORE 60982.856
AT ITER 3249 NEW BEST:: SOT 241337 SOS 148840 HAS SOPS 145488 HAS SOUS 63120 HAS SOUPS 60818 WITH SCORE 60966.84
AT ITER 3253 NEW BEST:: SOT 241370 SOS 148867 HAS SOPS 145515 HAS SOUS 63059 HAS SOUPS 60757 WITH SCORE 60905.867
AT ITER 3256 NEW BEST:: SOT 241370 SOS 148631 HAS SOPS 145237 HAS SOUS 63049 HAS SOUPS 60733 WITH SCORE 60881.631
AT ITER 3271 NEW BEST:: SOT 241370 SOS 148913 HAS SOPS 145519 HAS SOUS 62908 HAS SOUPS 60592 WITH SCORE 60740.913
AT ITER 3273 NEW BEST:: SOT 241358 SOS 148901 HAS SOPS 145507 HAS SOUS 62908 HAS SOUPS 60592 WITH SCORE 60740.901
AT ITER 3275 NEW BEST:: SOT 241303 SOS 148846 HAS SOPS 145452 HAS SOUS 62886 HAS SOUPS 60570 WITH SCORE 60718.846
AT ITER 3278 NEW BEST:: SOT 241301 SOS 148837 HAS SOPS 145443 HAS SOUS 62882 HAS SOUPS 60566 WITH SCORE 60714.837
AT ITER 3281 NEW BEST:: SOT 241085 SOS 148713 HAS SOPS 145319 HAS SOUS 62837 HAS SOUPS 60521 WITH SCORE 60669.713
AT ITER 3282 NEW BEST:: SOT 241025 SOS 148653 HAS SOPS 145259 HAS SOUS 62762 HAS SOUPS 60446 WITH SCORE 60594.653
AT ITER 3289 NEW BEST:: SOT 240994 SOS 148564 HAS SOPS 145178 HAS SOUS 62728 HAS SOUPS 60412 WITH SCORE 60560.564
AT ITER 3298 NEW BEST:: SOT 240806 SOS 148364 HAS SOPS 144978 HAS SOUS 62476 HAS SOUPS 60160 WITH SCORE 60308.364
AT ITER 3313 NEW BEST:: SOT 240806 SOS 148354 HAS SOPS 144968 HAS SOUS 62476 HAS SOUPS 60160 WITH SCORE 60308.354
AT ITER 3320 NEW BEST:: SOT 240568 SOS 148116 HAS SOPS 144730 HAS SOUS 62369 HAS SOUPS 60053 WITH SCORE 60201.116
AT ITER 3329 NEW BEST:: SOT 240583 SOS 148120 HAS SOPS 144734 HAS SOUS 62355 HAS SOUPS 60039 WITH SCORE 60187.12
AT ITER 3346 NEW BEST:: SOT 240669 SOS 148086 HAS SOPS 144700 HAS SOUS 62127 HAS SOUPS 59811 WITH SCORE 59959.086
AT ITER 3355 NEW BEST:: SOT 240683 SOS 148095 HAS SOPS 144709 HAS SOUS 62115 HAS SOUPS 59799 WITH SCORE 59947.095
AT ITER 3389 NEW BEST:: SOT 240683 SOS 148110 HAS SOPS 144724 HAS SOUS 62106 HAS SOUPS 59790 WITH SCORE 59938.11
AT ITER 3409 NEW BEST:: SOT 240564 SOS 148227 HAS SOPS 144841 HAS SOUS 61963 HAS SOUPS 59647 WITH SCORE 59795.227
AT ITER 3411 NEW BEST:: SOT 240559 SOS 148219 HAS SOPS 144836 HAS SOUS 61958 HAS SOUPS 59643 WITH SCORE 59791.219
AT ITER 3423 NEW BEST:: SOT 240559 SOS 148213 HAS SOPS 144830 HAS SOUS 61952 HAS SOUPS 59637 WITH SCORE 59785.213
AT ITER 3434 NEW BEST:: SOT 240475 SOS 148145 HAS SOPS 144762 HAS SOUS 61846 HAS SOUPS 59531 WITH SCORE 59679.145
AT ITER 3441 NEW BEST:: SOT 240318 SOS 147915 HAS SOPS 144532 HAS SOUS 61794 HAS SOUPS 59479 WITH SCORE 59626.915
AT ITER 3449 NEW BEST:: SOT 240292 SOS 147889 HAS SOPS 144506 HAS SOUS 61768 HAS SOUPS 59453 WITH SCORE 59600.889
AT ITER 3454 NEW BEST:: SOT 240280 SOS 147727 HAS SOPS 144344 HAS SOUS 61700 HAS SOUPS 59385 WITH SCORE 59532.727
AT ITER 3455 NEW BEST:: SOT 240200 SOS 147631 HAS SOPS 144248 HAS SOUS 61540 HAS SOUPS 59225 WITH SCORE 59372.631
AT ITER 3478 NEW BEST:: SOT 240188 SOS 147643 HAS SOPS 144260 HAS SOUS 61536 HAS SOUPS 59221 WITH SCORE 59368.643
AT ITER 3488 NEW BEST:: SOT 240188 SOS 147958 HAS SOPS 144575 HAS SOUS 61345 HAS SOUPS 59030 WITH SCORE 59177.958
AT ITER 3493 NEW BEST:: SOT 239433 SOS 147217 HAS SOPS 143834 HAS SOUS 60647 HAS SOUPS 58332 WITH SCORE 58479.217
AT ITER 3495 NEW BEST:: SOT 239440 SOS 147224 HAS SOPS 143841 HAS SOUS 60627 HAS SOUPS 58312 WITH SCORE 58459.224
AT ITER 3517 NEW BEST:: SOT 239440 SOS 147224 HAS SOPS 143841 HAS SOUS 60615 HAS SOUPS 58300 WITH SCORE 58447.224
AT ITER 3518 NEW BEST:: SOT 239440 SOS 147210 HAS SOPS 143827 HAS SOUS 60608 HAS SOUPS 58293 WITH SCORE 58440.21
AT ITER 3521 NEW BEST:: SOT 239440 SOS 147091 HAS SOPS 143708 HAS SOUS 60581 HAS SOUPS 58266 WITH SCORE 58413.091
AT ITER 3526 NEW BEST:: SOT 239181 SOS 146631 HAS SOPS 143248 HAS SOUS 60306 HAS SOUPS 57991 WITH SCORE 58137.631
AT ITER 3534 NEW BEST:: SOT 239106 SOS 146556 HAS SOPS 143173 HAS SOUS 60267 HAS SOUPS 57952 WITH SCORE 58098.556
AT ITER 3545 NEW BEST:: SOT 239104 SOS 146554 HAS SOPS 143171 HAS SOUS 60265 HAS SOUPS 57950 WITH SCORE 58096.554
AT ITER 3563 NEW BEST:: SOT 238660 SOS 146013 HAS SOPS 142630 HAS SOUS 60029 HAS SOUPS 57714 WITH SCORE 57860.013
AT ITER 3583 NEW BEST:: SOT 238660 SOS 146035 HAS SOPS 142630 HAS SOUS 59988 HAS SOUPS 57662 WITH SCORE 57808.035
AT ITER 3623 NEW BEST:: SOT 238677 SOS 145533 HAS SOPS 142044 HAS SOUS 59995 HAS SOUPS 57641 WITH SCORE 57786.533
AT ITER 3631 NEW BEST:: SOT 238547 SOS 145336 HAS SOPS 141847 HAS SOUS 59964 HAS SOUPS 57610 WITH SCORE 57755.336
AT ITER 3635 NEW BEST:: SOT 238547 SOS 145256 HAS SOPS 141737 HAS SOUS 59914 HAS SOUPS 57550 WITH SCORE 57695.256
AT ITER 3641 NEW BEST:: SOT 238527 SOS 145245 HAS SOPS 141726 HAS SOUS 59914 HAS SOUPS 57550 WITH SCORE 57695.245
AT ITER 3647 NEW BEST:: SOT 238380 SOS 142278 HAS SOPS 138759 HAS SOUS 59667 HAS SOUPS 57303 WITH SCORE 57445.278
AT ITER 3661 NEW BEST:: SOT 238383 SOS 142281 HAS SOPS 138762 HAS SOUS 59628 HAS SOUPS 57264 WITH SCORE 57406.281
AT ITER 3670 NEW BEST:: SOT 238311 SOS 142048 HAS SOPS 138574 HAS SOUS 59493 HAS SOUPS 57174 WITH SCORE 57316.048
AT ITER 3672 NEW BEST:: SOT 238074 SOS 141811 HAS SOPS 138337 HAS SOUS 59212 HAS SOUPS 56893 WITH SCORE 57034.811
AT ITER 3695 NEW BEST:: SOT 238059 SOS 141789 HAS SOPS 138315 HAS SOUS 59201 HAS SOUPS 56882 WITH SCORE 57023.789
AT ITER 3714 NEW BEST:: SOT 237942 SOS 141639 HAS SOPS 138165 HAS SOUS 59070 HAS SOUPS 56751 WITH SCORE 56892.639
AT ITER 3716 NEW BEST:: SOT 237862 SOS 141559 HAS SOPS 138085 HAS SOUS 58990 HAS SOUPS 56671 WITH SCORE 56812.559
AT ITER 3726 NEW BEST:: SOT 237845 SOS 142215 HAS SOPS 138741 HAS SOUS 58953 HAS SOUPS 56634 WITH SCORE 56776.215
AT ITER 3740 NEW BEST:: SOT 237849 SOS 142176 HAS SOPS 138702 HAS SOUS 58842 HAS SOUPS 56523 WITH SCORE 56665.176
AT ITER 3775 NEW BEST:: SOT 237740 SOS 141558 HAS SOPS 138084 HAS SOUS 58767 HAS SOUPS 56448 WITH SCORE 56589.558
AT ITER 3779 NEW BEST:: SOT 237729 SOS 141547 HAS SOPS 138073 HAS SOUS 58766 HAS SOUPS 56447 WITH SCORE 56588.547
AT ITER 3793 NEW BEST:: SOT 237670 SOS 141204 HAS SOPS 137674 HAS SOUS 58795 HAS SOUPS 56420 WITH SCORE 56561.204
AT ITER 3801 NEW BEST:: SOT 237553 SOS 141220 HAS SOPS 137722 HAS SOUS 58682 HAS SOUPS 56307 WITH SCORE 56448.22
AT ITER 3805 NEW BEST:: SOT 237555 SOS 141222 HAS SOPS 137724 HAS SOUS 58646 HAS SOUPS 56271 WITH SCORE 56412.222
AT ITER 3823 NEW BEST:: SOT 237545 SOS 141312 HAS SOPS 137814 HAS SOUS 58636 HAS SOUPS 56261 WITH SCORE 56402.312
AT ITER 3833 NEW BEST:: SOT 237545 SOS 141304 HAS SOPS 137806 HAS SOUS 58612 HAS SOUPS 56237 WITH SCORE 56378.304
AT ITER 3838 NEW BEST:: SOT 237543 SOS 141280 HAS SOPS 137780 HAS SOUS 58612 HAS SOUPS 56235 WITH SCORE 56376.28
AT ITER 3845 NEW BEST:: SOT 237433 SOS 141060 HAS SOPS 137560 HAS SOUS 58458 HAS SOUPS 56081 WITH SCORE 56222.06
AT ITER 3860 NEW BEST:: SOT 237313 SOS 140936 HAS SOPS 137436 HAS SOUS 58439 HAS SOUPS 56062 WITH SCORE 56202.936
AT ITER 3871 NEW BEST:: SOT 237232 SOS 140856 HAS SOPS 137356 HAS SOUS 58369 HAS SOUPS 55992 WITH SCORE 56132.856
AT ITER 3878 NEW BEST:: SOT 237067 SOS 140526 HAS SOPS 137026 HAS SOUS 58138 HAS SOUPS 55761 WITH SCORE 55901.526
AT ITER 3882 NEW BEST:: SOT 237067 SOS 140538 HAS SOPS 137038 HAS SOUS 58114 HAS SOUPS 55737 WITH SCORE 55877.538
AT ITER 3889 NEW BEST:: SOT 237067 SOS 140493 HAS SOPS 137056 HAS SOUS 58093 HAS SOUPS 55737 WITH SCORE 55877.493
AT ITER 3932 NEW BEST:: SOT 237067 SOS 140519 HAS SOPS 137082 HAS SOUS 58054 HAS SOUPS 55698 WITH SCORE 55838.519
AT ITER 3936 NEW BEST:: SOT 236813 SOS 140060 HAS SOPS 136623 HAS SOUS 57718 HAS SOUPS 55362 WITH SCORE 55502.06
AT ITER 3947 NEW BEST:: SOT 236451 SOS 140403 HAS SOPS 136966 HAS SOUS 57547 HAS SOUPS 55191 WITH SCORE 55331.403
AT ITER 3948 NEW BEST:: SOT 236385 SOS 140337 HAS SOPS 136900 HAS SOUS 57537 HAS SOUPS 55181 WITH SCORE 55321.337
AT ITER 3949 NEW BEST:: SOT 236333 SOS 140194 HAS SOPS 136757 HAS SOUS 57511 HAS SOUPS 55155 WITH SCORE 55295.194
AT ITER 3950 NEW BEST:: SOT 236333 SOS 140164 HAS SOPS 136727 HAS SOUS 57511 HAS SOUPS 55155 WITH SCORE 55295.164
AT ITER 3951 NEW BEST:: SOT 236208 SOS 140039 HAS SOPS 136602 HAS SOUS 57389 HAS SOUPS 55033 WITH SCORE 55173.039
AT ITER 3969 NEW BEST:: SOT 236030 SOS 139790 HAS SOPS 136353 HAS SOUS 57172 HAS SOUPS 54816 WITH SCORE 54955.79
AT ITER 3971 NEW BEST:: SOT 235919 SOS 139656 HAS SOPS 136242 HAS SOUS 57024 HAS SOUPS 54691 WITH SCORE 54830.656
AT ITER 3973 NEW BEST:: SOT 235573 SOS 138949 HAS SOPS 135535 HAS SOUS 56663 HAS SOUPS 54330 WITH SCORE 54468.949
AT ITER 3974 NEW BEST:: SOT 235355 SOS 138651 HAS SOPS 135237 HAS SOUS 56402 HAS SOUPS 54069 WITH SCORE 54207.651
AT ITER 3983 NEW BEST:: SOT 235354 SOS 138644 HAS SOPS 135230 HAS SOUS 56402 HAS SOUPS 54069 WITH SCORE 54207.644
AT ITER 4001 NEW BEST:: SOT 235354 SOS 138422 HAS SOPS 135008 HAS SOUS 56399 HAS SOUPS 54066 WITH SCORE 54204.422
AT ITER 4005 NEW BEST:: SOT 235342 SOS 138410 HAS SOPS 134996 HAS SOUS 56351 HAS SOUPS 54018 WITH SCORE 54156.41
AT ITER 4010 NEW BEST:: SOT 235333 SOS 138398 HAS SOPS 134984 HAS SOUS 56255 HAS SOUPS 53922 WITH SCORE 54060.398
AT ITER 4020 NEW BEST:: SOT 235319 SOS 138378 HAS SOPS 134964 HAS SOUS 56190 HAS SOUPS 53857 WITH SCORE 53995.378
AT ITER 4029 NEW BEST:: SOT 235039 SOS 138098 HAS SOPS 134684 HAS SOUS 55994 HAS SOUPS 53661 WITH SCORE 53799.098
AT ITER 4031 NEW BEST:: SOT 235039 SOS 137153 HAS SOPS 133739 HAS SOUS 55801 HAS SOUPS 53468 WITH SCORE 53605.153
AT ITER 4051 NEW BEST:: SOT 234947 SOS 136794 HAS SOPS 133538 HAS SOUS 55658 HAS SOUPS 53432 WITH SCORE 53568.794
AT ITER 4053 NEW BEST:: SOT 234963 SOS 136225 HAS SOPS 132867 HAS SOUS 55680 HAS SOUPS 53411 WITH SCORE 53547.225
AT ITER 4076 NEW BEST:: SOT 234872 SOS 136134 HAS SOPS 132776 HAS SOUS 55618 HAS SOUPS 53349 WITH SCORE 53485.134
AT ITER 4084 NEW BEST:: SOT 234734 SOS 135984 HAS SOPS 132626 HAS SOUS 55467 HAS SOUPS 53198 WITH SCORE 53333.984
AT ITER 4085 NEW BEST:: SOT 234719 SOS 135298 HAS SOPS 131828 HAS SOUS 55498 HAS SOUPS 53173 WITH SCORE 53308.298
AT ITER 4109 NEW BEST:: SOT 234690 SOS 135300 HAS SOPS 131868 HAS SOUS 55287 HAS SOUPS 52962 WITH SCORE 53097.3
AT ITER 4130 NEW BEST:: SOT 234690 SOS 135216 HAS SOPS 131784 HAS SOUS 55273 HAS SOUPS 52948 WITH SCORE 53083.216
AT ITER 4136 NEW BEST:: SOT 234740 SOS 135218 HAS SOPS 131786 HAS SOUS 55154 HAS SOUPS 52829 WITH SCORE 52964.218
AT ITER 4139 NEW BEST:: SOT 234765 SOS 135071 HAS SOPS 131639 HAS SOUS 54921 HAS SOUPS 52596 WITH SCORE 52731.071
AT ITER 4158 NEW BEST:: SOT 234768 SOS 135074 HAS SOPS 131642 HAS SOUS 54916 HAS SOUPS 52591 WITH SCORE 52726.074
AT ITER 4175 NEW BEST:: SOT 234607 SOS 134916 HAS SOPS 131484 HAS SOUS 54731 HAS SOUPS 52406 WITH SCORE 52540.916
AT ITER 4179 NEW BEST:: SOT 234579 SOS 134864 HAS SOPS 131348 HAS SOUS 54741 HAS SOUPS 52332 WITH SCORE 52466.864
AT ITER 4210 NEW BEST:: SOT 234406 SOS 134959 HAS SOPS 131617 HAS SOUS 54606 HAS SOUPS 52282 WITH SCORE 52416.959
AT ITER 4220 NEW BEST:: SOT 234223 SOS 133871 HAS SOPS 130529 HAS SOUS 54516 HAS SOUPS 52192 WITH SCORE 52325.871
AT ITER 4223 NEW BEST:: SOT 234245 SOS 133885 HAS SOPS 130543 HAS SOUS 54512 HAS SOUPS 52188 WITH SCORE 52321.885
AT ITER 4239 NEW BEST:: SOT 234235 SOS 133875 HAS SOPS 130533 HAS SOUS 54502 HAS SOUPS 52178 WITH SCORE 52311.875
AT ITER 4273 NEW BEST:: SOT 233996 SOS 133276 HAS SOPS 129875 HAS SOUS 54381 HAS SOUPS 51998 WITH SCORE 52131.276
AT ITER 4279 NEW BEST:: SOT 233972 SOS 133252 HAS SOPS 129851 HAS SOUS 54381 HAS SOUPS 51998 WITH SCORE 52131.252
AT ITER 4280 NEW BEST:: SOT 233858 SOS 133138 HAS SOPS 129737 HAS SOUS 54333 HAS SOUPS 51950 WITH SCORE 52083.138
AT ITER 4301 NEW BEST:: SOT 233778 SOS 133050 HAS SOPS 129649 HAS SOUS 54197 HAS SOUPS 51814 WITH SCORE 51947.05
AT ITER 4311 NEW BEST:: SOT 233775 SOS 133044 HAS SOPS 129643 HAS SOUS 54194 HAS SOUPS 51811 WITH SCORE 51944.044
AT ITER 4321 NEW BEST:: SOT 233885 SOS 132975 HAS SOPS 129515 HAS SOUS 54219 HAS SOUPS 51809 WITH SCORE 51941.975
AT ITER 4341 NEW BEST:: SOT 233789 SOS 132858 HAS SOPS 129398 HAS SOUS 53998 HAS SOUPS 51588 WITH SCORE 51720.858
AT ITER 4349 NEW BEST:: SOT 233747 SOS 133015 HAS SOPS 129555 HAS SOUS 53975 HAS SOUPS 51565 WITH SCORE 51698.015
AT ITER 4363 NEW BEST:: SOT 233821 SOS 133313 HAS SOPS 129853 HAS SOUS 53949 HAS SOUPS 51539 WITH SCORE 51672.313
AT ITER 4372 NEW BEST:: SOT 233833 SOS 133419 HAS SOPS 129959 HAS SOUS 53943 HAS SOUPS 51533 WITH SCORE 51666.419
AT ITER 4380 NEW BEST:: SOT 233841 SOS 133427 HAS SOPS 129967 HAS SOUS 53864 HAS SOUPS 51454 WITH SCORE 51587.427
AT ITER 4389 NEW BEST:: SOT 233849 SOS 133431 HAS SOPS 129971 HAS SOUS 53852 HAS SOUPS 51442 WITH SCORE 51575.431
AT ITER 4397 NEW BEST:: SOT 233693 SOS 133297 HAS SOPS 129909 HAS SOUS 53654 HAS SOUPS 51316 WITH SCORE 51449.297
AT ITER 4410 NEW BEST:: SOT 233693 SOS 132933 HAS SOPS 129545 HAS SOUS 53628 HAS SOUPS 51290 WITH SCORE 51422.933
AT ITER 4414 NEW BEST:: SOT 233693 SOS 132933 HAS SOPS 129545 HAS SOUS 53604 HAS SOUPS 51266 WITH SCORE 51398.933
AT ITER 4437 NEW BEST:: SOT 233677 SOS 132917 HAS SOPS 129529 HAS SOUS 53530 HAS SOUPS 51192 WITH SCORE 51324.917
AT ITER 4439 NEW BEST:: SOT 233554 SOS 131441 HAS SOPS 128053 HAS SOUS 53530 HAS SOUPS 51192 WITH SCORE 51323.441
AT ITER 4444 NEW BEST:: SOT 233336 SOS 131466 HAS SOPS 128078 HAS SOUS 53419 HAS SOUPS 51081 WITH SCORE 51212.466
AT ITER 4450 NEW BEST:: SOT 233317 SOS 131447 HAS SOPS 128059 HAS SOUS 53400 HAS SOUPS 51062 WITH SCORE 51193.447
AT ITER 4454 NEW BEST:: SOT 233302 SOS 131378 HAS SOPS 127990 HAS SOUS 53374 HAS SOUPS 51036 WITH SCORE 51167.378
AT ITER 4456 NEW BEST:: SOT 233366 SOS 131351 HAS SOPS 127963 HAS SOUS 53297 HAS SOUPS 50959 WITH SCORE 51090.351
AT ITER 4472 NEW BEST:: SOT 233318 SOS 131303 HAS SOPS 127915 HAS SOUS 53249 HAS SOUPS 50911 WITH SCORE 51042.303
AT ITER 4480 NEW BEST:: SOT 233318 SOS 131343 HAS SOPS 127969 HAS SOUS 53235 HAS SOUPS 50897 WITH SCORE 51028.343
AT ITER 4485 NEW BEST:: SOT 233314 SOS 131339 HAS SOPS 127965 HAS SOUS 53231 HAS SOUPS 50893 WITH SCORE 51024.339
AT ITER 4488 NEW BEST:: SOT 233254 SOS 131289 HAS SOPS 127875 HAS SOUS 53121 HAS SOUPS 50773 WITH SCORE 50904.289
AT ITER 4491 NEW BEST:: SOT 233244 SOS 131279 HAS SOPS 127865 HAS SOUS 53118 HAS SOUPS 50770 WITH SCORE 50901.279
AT ITER 4492 NEW BEST:: SOT 233245 SOS 131280 HAS SOPS 127866 HAS SOUS 53012 HAS SOUPS 50664 WITH SCORE 50795.28
AT ITER 4497 NEW BEST:: SOT 233261 SOS 131296 HAS SOPS 127882 HAS SOUS 52998 HAS SOUPS 50650 WITH SCORE 50781.296
AT ITER 4507 NEW BEST:: SOT 233297 SOS 130769 HAS SOPS 127355 HAS SOUS 52827 HAS SOUPS 50479 WITH SCORE 50609.769
AT ITER 4563 NEW BEST:: SOT 233225 SOS 130911 HAS SOPS 127497 HAS SOUS 52721 HAS SOUPS 50373 WITH SCORE 50503.911
AT ITER 4603 NEW BEST:: SOT 233110 SOS 130650 HAS SOPS 127236 HAS SOUS 52622 HAS SOUPS 50274 WITH SCORE 50404.65
AT ITER 4612 NEW BEST:: SOT 233162 SOS 128493 HAS SOPS 124857 HAS SOUS 52542 HAS SOUPS 50061 WITH SCORE 50189.493
AT ITER 4622 NEW BEST:: SOT 233162 SOS 128497 HAS SOPS 124861 HAS SOUS 52526 HAS SOUPS 50045 WITH SCORE 50173.497
AT ITER 4657 NEW BEST:: SOT 233168 SOS 128503 HAS SOPS 124867 HAS SOUS 52520 HAS SOUPS 50039 WITH SCORE 50167.503
AT ITER 4668 NEW BEST:: SOT 233063 SOS 128650 HAS SOPS 125014 HAS SOUS 52436 HAS SOUPS 49955 WITH SCORE 50083.65
AT ITER 4679 NEW BEST:: SOT 233047 SOS 128634 HAS SOPS 124998 HAS SOUS 52412 HAS SOUPS 49931 WITH SCORE 50059.634
AT ITER 4685 NEW BEST:: SOT 233093 SOS 128471 HAS SOPS 124835 HAS SOUS 52280 HAS SOUPS 49799 WITH SCORE 49927.471
AT ITER 4718 NEW BEST:: SOT 233093 SOS 128444 HAS SOPS 124808 HAS SOUS 52246 HAS SOUPS 49765 WITH SCORE 49893.444
AT ITER 4752 NEW BEST:: SOT 233035 SOS 128162 HAS SOPS 124526 HAS SOUS 52162 HAS SOUPS 49681 WITH SCORE 49809.162
AT ITER 4755 NEW BEST:: SOT 233022 SOS 128245 HAS SOPS 124621 HAS SOUS 52137 HAS SOUPS 49656 WITH SCORE 49784.245
AT ITER 4771 NEW BEST:: SOT 232946 SOS 128090 HAS SOPS 124466 HAS SOUS 52121 HAS SOUPS 49640 WITH SCORE 49768.09
AT ITER 4772 NEW BEST:: SOT 232946 SOS 128130 HAS SOPS 124462 HAS SOUS 52099 HAS SOUPS 49596 WITH SCORE 49724.13
AT ITER 4796 NEW BEST:: SOT 232935 SOS 128053 HAS SOPS 124385 HAS SOUS 52081 HAS SOUPS 49578 WITH SCORE 49706.053
AT ITER 4826 NEW BEST:: SOT 232917 SOS 128035 HAS SOPS 124367 HAS SOUS 52079 HAS SOUPS 49576 WITH SCORE 49704.035
AT ITER 4832 NEW BEST:: SOT 232815 SOS 127903 HAS SOPS 124235 HAS SOUS 51977 HAS SOUPS 49474 WITH SCORE 49601.903
AT ITER 4835 NEW BEST:: SOT 232815 SOS 127888 HAS SOPS 124220 HAS SOUS 51962 HAS SOUPS 49459 WITH SCORE 49586.888
AT ITER 4851 NEW BEST:: SOT 232815 SOS 127771 HAS SOPS 124191 HAS SOUS 51902 HAS SOUPS 49443 WITH SCORE 49570.771
AT ITER 4857 NEW BEST:: SOT 232805 SOS 127731 HAS SOPS 124141 HAS SOUS 51852 HAS SOUPS 49383 WITH SCORE 49510.731
AT ITER 4881 NEW BEST:: SOT 232761 SOS 127789 HAS SOPS 124092 HAS SOUS 51846 HAS SOUPS 49318 WITH SCORE 49445.789
AT ITER 4889 NEW BEST:: SOT 232713 SOS 127809 HAS SOPS 124112 HAS SOUS 51736 HAS SOUPS 49208 WITH SCORE 49335.809
AT ITER 4893 NEW BEST:: SOT 232600 SOS 127696 HAS SOPS 123999 HAS SOUS 51569 HAS SOUPS 49041 WITH SCORE 49168.696
AT ITER 4896 NEW BEST:: SOT 232567 SOS 127663 HAS SOPS 123966 HAS SOUS 51516 HAS SOUPS 48988 WITH SCORE 49115.663
AT ITER 4905 NEW BEST:: SOT 232633 SOS 127964 HAS SOPS 123792 HAS SOUS 51757 HAS SOUPS 48961 WITH SCORE 49088.964
AT ITER 4940 NEW BEST:: SOT 232619 SOS 127807 HAS SOPS 123635 HAS SOUS 51740 HAS SOUPS 48944 WITH SCORE 49071.807
AT ITER 4942 NEW BEST:: SOT 232632 SOS 127820 HAS SOPS 123648 HAS SOUS 51736 HAS SOUPS 48940 WITH SCORE 49067.82
AT ITER 4943 NEW BEST:: SOT 232664 SOS 127867 HAS SOPS 123695 HAS SOUS 51729 HAS SOUPS 48933 WITH SCORE 49060.867
AT ITER 4952 NEW BEST:: SOT 232607 SOS 127768 HAS SOPS 123596 HAS SOUS 51691 HAS SOUPS 48895 WITH SCORE 49022.768
AT ITER 4954 NEW BEST:: SOT 232610 SOS 127771 HAS SOPS 123599 HAS SOUS 51665 HAS SOUPS 48869 WITH SCORE 48996.771
AT ITER 4989 NEW BEST:: SOT 232520 SOS 127604 HAS SOPS 123576 HAS SOUS 51558 HAS SOUPS 48810 WITH SCORE 48937.604
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-5A-CTLCardinality-00 (! ( (EG( (! potential( (tk(P320)) <= (tk(P355)) )))) | (AF((! potential( (tk(P28)) <= (tk(P373)) )))) ))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-01 (EF((EG( ( potential( (tk(P49)) <= (tk(P270)) ) | potential( (tk(P91)) <= (tk(P100)) ) )))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-02 (EG( ( (AX( potential( (tk(P97)) <= (tk(P112)) ))) & ( ( potential( (tk(P229)) <= (tk(P416)) ) | potential( ( 2 ) <= (tk(P235)) ) ) & ( potential( (tk(P379)) <= (tk(P289)) ) | potential( (tk(P225)) <= (tk(P235)) ) ) ) )))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-03 (EU( ( ( potential( ( 3 ) <= (tk(P108)) ) | potential( (tk(P105)) <= (tk(P197)) ) ) & ( potential( (tk(P215)) <= (tk(P79)) ) | potential( (tk(P351)) <= (tk(P196)) ) ) ),(EG( potential( ( 1 ) <= (tk(P230)) ))) ))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-04 (AG( (AF(potential( ( 3 ) <= (tk(P161)) )))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-05 (AF((! (! potential( ( 2 ) <= (tk(P352)) )))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-06 (! (AF((AG( potential( (tk(P400)) <= (tk(P90)) ))))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-07 ( (! (AF((! potential( ( 3 ) <= (tk(P140)) ))))) | ( (EF(( potential( ( 3 ) <= (tk(P83)) ) & potential( (tk(P262)) <= (tk(P40)) ) ))) & ( (EF(potential( (tk(P406)) <= (tk(P415)) ))) & ( ( potential( (tk(P341)) <= (tk(P27)) ) & potential( ( 3 ) <= (tk(P215)) ) ) | (! potential( ( 1 ) <= (tk(P247)) )) ) ) ) )
PROPERTY: NoC3x3-PT-5A-CTLCardinality-08 (AG( (EF(( potential( ( 2 ) <= (tk(P138)) ) & potential( (tk(P367)) <= (tk(P269)) ) )))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-09 (AF((AG( (! potential( ( 3 ) <= (tk(P76)) ))))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-10 ( (EF((EF(potential( ( 2 ) <= (tk(P56)) ))))) | ( ( (AG( potential( ( 1 ) <= (tk(P50)) ))) & (! ( potential( (tk(P159)) <= (tk(P81)) ) | potential( ( 2 ) <= (tk(P297)) ) )) ) & ( ( (! potential( ( 3 ) <= (tk(P236)) )) & potential( (tk(P157)) <= (tk(P95)) ) ) & ( ( potential( ( 2 ) <= (tk(P81)) ) & potential( ( 2 ) <= (tk(P130)) ) ) & (! potential( (tk(P329)) <= (tk(P389)) )) ) ) ) )
PROPERTY: NoC3x3-PT-5A-CTLCardinality-11 (AF((EU( potential( (tk(P307)) <= (tk(P45)) ),potential( ( 1 ) <= (tk(P268)) ) ))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-12 (EG( (EF((! potential( ( 1 ) <= (tk(P99)) ))))))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-13 ( (EU( (! potential( ( 2 ) <= (tk(P90)) )),( potential( ( 2 ) <= (tk(P160)) ) | potential( ( 2 ) <= (tk(P401)) ) ) )) | (AG( ( ( potential( (tk(P259)) <= (tk(P109)) ) & potential( (tk(P317)) <= (tk(P42)) ) ) & ( potential( ( 2 ) <= (tk(P358)) ) & potential( ( 2 ) <= (tk(P231)) ) ) ))) )
PROPERTY: NoC3x3-PT-5A-CTLCardinality-14 (EF(( potential( ( 2 ) <= (tk(P232)) ) & ( (! potential( (tk(P51)) <= (tk(P116)) )) | ( potential( ( 2 ) <= (tk(P97)) ) | potential( ( 2 ) <= (tk(P308)) ) ) ) )))
PROPERTY: NoC3x3-PT-5A-CTLCardinality-15 ( (EG( (EF(potential( ( 1 ) <= (tk(P270)) ))))) & (EF(( ( potential( (tk(P381)) <= (tk(P371)) ) | potential( ( 3 ) <= (tk(P207)) ) ) & potential( (tk(P117)) <= (tk(P210)) ) ))) )

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-5A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-5A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500395"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-5A.tgz
mv NoC3x3-PT-5A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;