About the Execution of smart for CloudDeployment-PT-6a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.750 | 1925380.00 | 1924990.00 | 70.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r033-smll-158901926000331.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-6a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000331
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 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 317K 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 CloudDeployment-PT-6a-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589157564052
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 6a
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: 221 places, 908 transitions, 5517 arcs.
AT ITER 0 NEW BEST:: SOT 157763 SOS 92225 HAS SOPS 86851 HAS SOUS 73439 HAS SOUPS 68768 WITH SCORE 68860.225
AT ITER 1 NEW BEST:: SOT 157760 SOS 92222 HAS SOPS 86851 HAS SOUS 73436 HAS SOUPS 68768 WITH SCORE 68860.222
AT ITER 3 NEW BEST:: SOT 157760 SOS 92192 HAS SOPS 86821 HAS SOUS 73391 HAS SOUPS 68723 WITH SCORE 68815.192
AT ITER 9 NEW BEST:: SOT 157835 SOS 92312 HAS SOPS 87001 HAS SOUS 73193 HAS SOUPS 68585 WITH SCORE 68677.312
AT ITER 10 NEW BEST:: SOT 157835 SOS 92362 HAS SOPS 87111 HAS SOUS 73027 HAS SOUPS 68479 WITH SCORE 68571.362
AT ITER 11 NEW BEST:: SOT 157786 SOS 92211 HAS SOPS 86960 HAS SOUS 72899 HAS SOUPS 68351 WITH SCORE 68443.211
AT ITER 12 NEW BEST:: SOT 157739 SOS 92180 HAS SOPS 86929 HAS SOUS 72868 HAS SOUPS 68320 WITH SCORE 68412.18
AT ITER 14 NEW BEST:: SOT 157095 SOS 92544 HAS SOPS 86448 HAS SOUS 72352 HAS SOUPS 67808 WITH SCORE 67900.544
AT ITER 15 NEW BEST:: SOT 157079 SOS 92494 HAS SOPS 86416 HAS SOUS 72273 HAS SOUPS 67747 WITH SCORE 67839.494
AT ITER 21 NEW BEST:: SOT 157238 SOS 92671 HAS SOPS 86703 HAS SOUS 72082 HAS SOUPS 67673 WITH SCORE 67765.671
AT ITER 26 NEW BEST:: SOT 156733 SOS 92352 HAS SOPS 86300 HAS SOUS 71676 HAS SOUPS 67270 WITH SCORE 67362.352
AT ITER 32 NEW BEST:: SOT 156732 SOS 92350 HAS SOPS 86306 HAS SOUS 71662 HAS SOUPS 67263 WITH SCORE 67355.35
AT ITER 33 NEW BEST:: SOT 156732 SOS 92189 HAS SOPS 86145 HAS SOUS 71555 HAS SOUPS 67156 WITH SCORE 67248.189
AT ITER 34 NEW BEST:: SOT 156954 SOS 92410 HAS SOPS 86366 HAS SOUS 71346 HAS SOUPS 66947 WITH SCORE 67039.41
AT ITER 37 NEW BEST:: SOT 157296 SOS 92638 HAS SOPS 86594 HAS SOUS 71226 HAS SOUPS 66827 WITH SCORE 66919.638
AT ITER 39 NEW BEST:: SOT 157242 SOS 92710 HAS SOPS 86702 HAS SOUS 71064 HAS SOUPS 66701 WITH SCORE 66793.71
AT ITER 41 NEW BEST:: SOT 157161 SOS 92609 HAS SOPS 86662 HAS SOUS 70731 HAS SOUPS 66429 WITH SCORE 66521.609
AT ITER 43 NEW BEST:: SOT 156707 SOS 93832 HAS SOPS 86276 HAS SOUS 70222 HAS SOUPS 65943 WITH SCORE 66036.832
AT ITER 44 NEW BEST:: SOT 156775 SOS 93883 HAS SOPS 86310 HAS SOUS 70222 HAS SOUPS 65926 WITH SCORE 66019.883
AT ITER 49 NEW BEST:: SOT 157078 SOS 93883 HAS SOPS 86310 HAS SOUS 69500 HAS SOUPS 65204 WITH SCORE 65297.883
AT ITER 50 NEW BEST:: SOT 157230 SOS 93883 HAS SOPS 86386 HAS SOUS 69041 HAS SOUPS 64821 WITH SCORE 64914.883
AT ITER 54 NEW BEST:: SOT 157215 SOS 93804 HAS SOPS 86307 HAS SOUS 68933 HAS SOUPS 64713 WITH SCORE 64806.804
AT ITER 63 NEW BEST:: SOT 157259 SOS 93817 HAS SOPS 86320 HAS SOUS 68883 HAS SOUPS 64663 WITH SCORE 64756.817
AT ITER 65 NEW BEST:: SOT 157259 SOS 93497 HAS SOPS 86000 HAS SOUS 68642 HAS SOUPS 64422 WITH SCORE 64515.497
AT ITER 71 NEW BEST:: SOT 157256 SOS 93453 HAS SOPS 85956 HAS SOUS 68598 HAS SOUPS 64378 WITH SCORE 64471.453
AT ITER 72 NEW BEST:: SOT 157765 SOS 93823 HAS SOPS 86391 HAS SOUS 68487 HAS SOUPS 64267 WITH SCORE 64360.823
AT ITER 76 NEW BEST:: SOT 156325 SOS 96527 HAS SOPS 86110 HAS SOUS 67336 HAS SOUPS 63747 WITH SCORE 63843.527
AT ITER 79 NEW BEST:: SOT 156183 SOS 96287 HAS SOPS 85836 HAS SOUS 63475 HAS SOUPS 59886 WITH SCORE 59982.287
AT ITER 82 NEW BEST:: SOT 156475 SOS 96427 HAS SOPS 85976 HAS SOUS 63244 HAS SOUPS 59655 WITH SCORE 59751.427
AT ITER 83 NEW BEST:: SOT 156463 SOS 96415 HAS SOPS 85964 HAS SOUS 63232 HAS SOUPS 59643 WITH SCORE 59739.415
AT ITER 86 NEW BEST:: SOT 156518 SOS 96525 HAS SOPS 86066 HAS SOUS 63033 HAS SOUPS 59469 WITH SCORE 59565.525
AT ITER 90 NEW BEST:: SOT 156463 SOS 96690 HAS SOPS 86286 HAS SOUS 62868 HAS SOUPS 59359 WITH SCORE 59455.69
AT ITER 92 NEW BEST:: SOT 156620 SOS 96786 HAS SOPS 86443 HAS SOUS 62788 HAS SOUPS 59349 WITH SCORE 59445.786
AT ITER 94 NEW BEST:: SOT 156568 SOS 96712 HAS SOPS 86263 HAS SOUS 62795 HAS SOUPS 59318 WITH SCORE 59414.712
AT ITER 95 NEW BEST:: SOT 156517 SOS 96661 HAS SOPS 86263 HAS SOUS 62492 HAS SOUPS 59066 WITH SCORE 59162.661
AT ITER 102 NEW BEST:: SOT 156517 SOS 96573 HAS SOPS 86175 HAS SOUS 62316 HAS SOUPS 58890 WITH SCORE 58986.573
AT ITER 104 NEW BEST:: SOT 156517 SOS 96537 HAS SOPS 86139 HAS SOUS 62280 HAS SOUPS 58854 WITH SCORE 58950.537
AT ITER 105 NEW BEST:: SOT 156624 SOS 96658 HAS SOPS 86284 HAS SOUS 62189 HAS SOUPS 58763 WITH SCORE 58859.658
AT ITER 107 NEW BEST:: SOT 156621 SOS 96655 HAS SOPS 86280 HAS SOUS 62185 HAS SOUPS 58758 WITH SCORE 58854.655
AT ITER 108 NEW BEST:: SOT 156461 SOS 96527 HAS SOPS 86120 HAS SOUS 62093 HAS SOUPS 58666 WITH SCORE 58762.527
AT ITER 110 NEW BEST:: SOT 156495 SOS 96543 HAS SOPS 86136 HAS SOUS 62092 HAS SOUPS 58665 WITH SCORE 58761.543
AT ITER 114 NEW BEST:: SOT 156379 SOS 92745 HAS SOPS 81865 HAS SOUS 62129 HAS SOUPS 58578 WITH SCORE 58670.745
AT ITER 115 NEW BEST:: SOT 156421 SOS 92715 HAS SOPS 81906 HAS SOUS 61973 HAS SOUPS 58479 WITH SCORE 58571.715
AT ITER 119 NEW BEST:: SOT 156397 SOS 91374 HAS SOPS 80241 HAS SOUS 60116 HAS SOUPS 56544 WITH SCORE 56635.374
AT ITER 121 NEW BEST:: SOT 156444 SOS 90984 HAS SOPS 80293 HAS SOUS 60048 HAS SOUPS 56468 WITH SCORE 56558.984
AT ITER 124 NEW BEST:: SOT 156412 SOS 90953 HAS SOPS 80262 HAS SOUS 60039 HAS SOUPS 56459 WITH SCORE 56549.953
AT ITER 125 NEW BEST:: SOT 156450 SOS 91109 HAS SOPS 80418 HAS SOUS 59749 HAS SOUPS 56169 WITH SCORE 56260.109
AT ITER 128 NEW BEST:: SOT 156271 SOS 90885 HAS SOPS 80194 HAS SOUS 59525 HAS SOUPS 55945 WITH SCORE 56035.885
AT ITER 129 NEW BEST:: SOT 156319 SOS 90933 HAS SOPS 80302 HAS SOUS 59465 HAS SOUPS 55904 WITH SCORE 55994.933
AT ITER 134 NEW BEST:: SOT 156186 SOS 90829 HAS SOPS 80198 HAS SOUS 59345 HAS SOUPS 55784 WITH SCORE 55874.829
AT ITER 138 NEW BEST:: SOT 156523 SOS 90884 HAS SOPS 80316 HAS SOUS 58935 HAS SOUPS 55394 WITH SCORE 55484.884
AT ITER 140 NEW BEST:: SOT 156978 SOS 91275 HAS SOPS 80846 HAS SOUS 58734 HAS SOUPS 55319 WITH SCORE 55410.275
AT ITER 141 NEW BEST:: SOT 156850 SOS 90353 HAS SOPS 79757 HAS SOUS 53943 HAS SOUPS 50528 WITH SCORE 50618.353
AT ITER 144 NEW BEST:: SOT 156881 SOS 90389 HAS SOPS 79793 HAS SOUS 53913 HAS SOUPS 50498 WITH SCORE 50588.389
AT ITER 145 NEW BEST:: SOT 156855 SOS 90606 HAS SOPS 79741 HAS SOUS 53947 HAS SOUPS 50490 WITH SCORE 50580.606
AT ITER 149 NEW BEST:: SOT 157183 SOS 90857 HAS SOPS 80000 HAS SOUS 53875 HAS SOUPS 50418 WITH SCORE 50508.857
AT ITER 151 NEW BEST:: SOT 157156 SOS 90848 HAS SOPS 79991 HAS SOUS 53875 HAS SOUPS 50418 WITH SCORE 50508.848
AT ITER 152 NEW BEST:: SOT 157150 SOS 90833 HAS SOPS 79976 HAS SOUS 53869 HAS SOUPS 50412 WITH SCORE 50502.833
AT ITER 157 NEW BEST:: SOT 157017 SOS 90683 HAS SOPS 79942 HAS SOUS 53702 HAS SOUPS 50361 WITH SCORE 50451.683
AT ITER 161 NEW BEST:: SOT 157157 SOS 90795 HAS SOPS 80124 HAS SOUS 53475 HAS SOUPS 50204 WITH SCORE 50294.795
AT ITER 162 NEW BEST:: SOT 157067 SOS 90709 HAS SOPS 80038 HAS SOUS 53416 HAS SOUPS 50145 WITH SCORE 50235.709
AT ITER 163 NEW BEST:: SOT 157175 SOS 90925 HAS SOPS 80254 HAS SOUS 53402 HAS SOUPS 50131 WITH SCORE 50221.925
AT ITER 166 NEW BEST:: SOT 157148 SOS 90898 HAS SOPS 80227 HAS SOUS 53375 HAS SOUPS 50104 WITH SCORE 50194.898
AT ITER 176 NEW BEST:: SOT 157251 SOS 90940 HAS SOPS 80289 HAS SOUS 53287 HAS SOUPS 50016 WITH SCORE 50106.94
AT ITER 178 NEW BEST:: SOT 157378 SOS 90724 HAS SOPS 80062 HAS SOUS 53078 HAS SOUPS 49802 WITH SCORE 49892.724
AT ITER 179 NEW BEST:: SOT 157179 SOS 90510 HAS SOPS 79894 HAS SOUS 52967 HAS SOUPS 49737 WITH SCORE 49827.51
AT ITER 181 NEW BEST:: SOT 157449 SOS 90811 HAS SOPS 80127 HAS SOUS 52826 HAS SOUPS 49603 WITH SCORE 49693.811
AT ITER 183 NEW BEST:: SOT 157539 SOS 90901 HAS SOPS 80247 HAS SOUS 52809 HAS SOUPS 49586 WITH SCORE 49676.901
AT ITER 188 NEW BEST:: SOT 157519 SOS 90905 HAS SOPS 80239 HAS SOUS 52384 HAS SOUPS 49149 WITH SCORE 49239.905
AT ITER 189 NEW BEST:: SOT 157506 SOS 90840 HAS SOPS 80187 HAS SOUS 52319 HAS SOUPS 49097 WITH SCORE 49187.84
AT ITER 190 NEW BEST:: SOT 157518 SOS 90848 HAS SOPS 80191 HAS SOUS 52311 HAS SOUPS 49085 WITH SCORE 49175.848
AT ITER 193 NEW BEST:: SOT 157486 SOS 90665 HAS SOPS 80008 HAS SOUS 52214 HAS SOUPS 48988 WITH SCORE 49078.665
AT ITER 197 NEW BEST:: SOT 157753 SOS 90696 HAS SOPS 80238 HAS SOUS 52158 HAS SOUPS 48980 WITH SCORE 49070.696
AT ITER 199 NEW BEST:: SOT 157606 SOS 90452 HAS SOPS 79994 HAS SOUS 52144 HAS SOUPS 48966 WITH SCORE 49056.452
AT ITER 201 NEW BEST:: SOT 156263 SOS 91474 HAS SOPS 79101 HAS SOUS 51939 HAS SOUPS 48745 WITH SCORE 48836.474
AT ITER 205 NEW BEST:: SOT 156339 SOS 91288 HAS SOPS 79045 HAS SOUS 51798 HAS SOUPS 48669 WITH SCORE 48760.288
AT ITER 206 NEW BEST:: SOT 156138 SOS 95321 HAS SOPS 83604 HAS SOUS 51707 HAS SOUPS 48648 WITH SCORE 48743.321
AT ITER 208 NEW BEST:: SOT 156453 SOS 95591 HAS SOPS 83874 HAS SOUS 51699 HAS SOUPS 48640 WITH SCORE 48735.591
AT ITER 209 NEW BEST:: SOT 156570 SOS 95517 HAS SOPS 83800 HAS SOUS 51682 HAS SOUPS 48623 WITH SCORE 48718.517
AT ITER 210 NEW BEST:: SOT 156674 SOS 95575 HAS SOPS 83858 HAS SOUS 51673 HAS SOUPS 48614 WITH SCORE 48709.575
AT ITER 212 NEW BEST:: SOT 156674 SOS 95545 HAS SOPS 83963 HAS SOUS 51613 HAS SOUPS 48569 WITH SCORE 48664.545
AT ITER 213 NEW BEST:: SOT 156674 SOS 95409 HAS SOPS 83861 HAS SOUS 51409 HAS SOUPS 48399 WITH SCORE 48494.409
AT ITER 215 NEW BEST:: SOT 156674 SOS 95311 HAS SOPS 83827 HAS SOUS 51239 HAS SOUPS 48289 WITH SCORE 48384.311
AT ITER 218 NEW BEST:: SOT 156758 SOS 95479 HAS SOPS 83995 HAS SOUS 51161 HAS SOUPS 48211 WITH SCORE 48306.479
AT ITER 227 NEW BEST:: SOT 156841 SOS 95521 HAS SOPS 83796 HAS SOUS 51102 HAS SOUPS 48152 WITH SCORE 48247.521
AT ITER 229 NEW BEST:: SOT 156944 SOS 95603 HAS SOPS 83919 HAS SOUS 51092 HAS SOUPS 48142 WITH SCORE 48237.603
AT ITER 232 NEW BEST:: SOT 157225 SOS 95616 HAS SOPS 84281 HAS SOUS 50766 HAS SOUPS 47920 WITH SCORE 48015.616
AT ITER 235 NEW BEST:: SOT 157225 SOS 95632 HAS SOPS 84281 HAS SOUS 50750 HAS SOUPS 47904 WITH SCORE 47999.632
AT ITER 238 NEW BEST:: SOT 157221 SOS 95580 HAS SOPS 84229 HAS SOUS 50660 HAS SOUPS 47814 WITH SCORE 47909.58
AT ITER 239 NEW BEST:: SOT 157221 SOS 95446 HAS SOPS 84095 HAS SOUS 50602 HAS SOUPS 47756 WITH SCORE 47851.446
AT ITER 240 NEW BEST:: SOT 157134 SOS 95272 HAS SOPS 83859 HAS SOUS 50644 HAS SOUPS 47736 WITH SCORE 47831.272
AT ITER 245 NEW BEST:: SOT 156917 SOS 95143 HAS SOPS 83730 HAS SOUS 50624 HAS SOUPS 47716 WITH SCORE 47811.143
AT ITER 250 NEW BEST:: SOT 154211 SOS 96390 HAS SOPS 82422 HAS SOUS 49568 HAS SOUPS 46894 WITH SCORE 46990.39
AT ITER 258 NEW BEST:: SOT 151683 SOS 96030 HAS SOPS 81452 HAS SOUS 48362 HAS SOUPS 45908 WITH SCORE 46004.03
AT ITER 260 NEW BEST:: SOT 151980 SOS 96415 HAS SOPS 81733 HAS SOUS 48255 HAS SOUPS 45801 WITH SCORE 45897.415
AT ITER 261 NEW BEST:: SOT 151980 SOS 96356 HAS SOPS 81598 HAS SOUS 48125 HAS SOUPS 45671 WITH SCORE 45767.356
AT ITER 263 NEW BEST:: SOT 151940 SOS 96351 HAS SOPS 81418 HAS SOUS 48115 HAS SOUPS 45611 WITH SCORE 45707.351
AT ITER 265 NEW BEST:: SOT 152155 SOS 96497 HAS SOPS 81745 HAS SOUS 47899 HAS SOUPS 45503 WITH SCORE 45599.497
AT ITER 266 NEW BEST:: SOT 152379 SOS 96665 HAS SOPS 81913 HAS SOUS 47750 HAS SOUPS 45354 WITH SCORE 45450.665
AT ITER 267 NEW BEST:: SOT 148984 SOS 100271 HAS SOPS 80703 HAS SOUS 46396 HAS SOUPS 44107 WITH SCORE 44207.271
AT ITER 271 NEW BEST:: SOT 149636 SOS 100825 HAS SOPS 81345 HAS SOUS 42340 HAS SOUPS 40051 WITH SCORE 40151.825
AT ITER 275 NEW BEST:: SOT 149528 SOS 100634 HAS SOPS 81030 HAS SOUS 42400 HAS SOUPS 40012 WITH SCORE 40112.634
AT ITER 276 NEW BEST:: SOT 149542 SOS 100638 HAS SOPS 81034 HAS SOUS 42395 HAS SOUPS 40007 WITH SCORE 40107.638
AT ITER 279 NEW BEST:: SOT 149317 SOS 100305 HAS SOPS 80759 HAS SOUS 42041 HAS SOUPS 39653 WITH SCORE 39753.305
AT ITER 283 NEW BEST:: SOT 147950 SOS 99358 HAS SOPS 79966 HAS SOUS 41241 HAS SOUPS 38851 WITH SCORE 38950.358
AT ITER 284 NEW BEST:: SOT 147830 SOS 99285 HAS SOPS 79848 HAS SOUS 41177 HAS SOUPS 38787 WITH SCORE 38886.285
AT ITER 285 NEW BEST:: SOT 147751 SOS 99186 HAS SOPS 79749 HAS SOUS 40984 HAS SOUPS 38594 WITH SCORE 38693.186
AT ITER 287 NEW BEST:: SOT 147770 SOS 98985 HAS SOPS 79489 HAS SOUS 37999 HAS SOUPS 35609 WITH SCORE 35707.985
AT ITER 291 NEW BEST:: SOT 147770 SOS 98979 HAS SOPS 79495 HAS SOUS 37993 HAS SOUPS 35609 WITH SCORE 35707.979
AT ITER 297 NEW BEST:: SOT 147383 SOS 98592 HAS SOPS 79080 HAS SOUS 37578 HAS SOUPS 35194 WITH SCORE 35292.592
AT ITER 300 NEW BEST:: SOT 147553 SOS 98762 HAS SOPS 79255 HAS SOUS 37544 HAS SOUPS 35160 WITH SCORE 35258.762
AT ITER 301 NEW BEST:: SOT 146743 SOS 98132 HAS SOPS 79153 HAS SOUS 37242 HAS SOUPS 34861 WITH SCORE 34959.132
AT ITER 304 NEW BEST:: SOT 146967 SOS 98409 HAS SOPS 79407 HAS SOUS 37156 HAS SOUPS 34806 WITH SCORE 34904.409
AT ITER 309 NEW BEST:: SOT 146835 SOS 98158 HAS SOPS 79156 HAS SOUS 36575 HAS SOUPS 34225 WITH SCORE 34323.158
AT ITER 310 NEW BEST:: SOT 146700 SOS 98110 HAS SOPS 79106 HAS SOUS 36542 HAS SOUPS 34181 WITH SCORE 34279.11
AT ITER 311 NEW BEST:: SOT 146700 SOS 98071 HAS SOPS 78970 HAS SOUS 36513 HAS SOUPS 34118 WITH SCORE 34216.071
AT ITER 313 NEW BEST:: SOT 146665 SOS 98087 HAS SOPS 78935 HAS SOUS 36478 HAS SOUPS 34083 WITH SCORE 34181.087
AT ITER 316 NEW BEST:: SOT 146715 SOS 98091 HAS SOPS 78987 HAS SOUS 36443 HAS SOUPS 34048 WITH SCORE 34146.091
AT ITER 317 NEW BEST:: SOT 146715 SOS 98007 HAS SOPS 78903 HAS SOUS 36359 HAS SOUPS 33964 WITH SCORE 34062.007
AT ITER 319 NEW BEST:: SOT 147143 SOS 97093 HAS SOPS 78878 HAS SOUS 36204 HAS SOUPS 33793 WITH SCORE 33890.093
AT ITER 323 NEW BEST:: SOT 147172 SOS 97122 HAS SOPS 78916 HAS SOUS 36182 HAS SOUPS 33771 WITH SCORE 33868.122
AT ITER 324 NEW BEST:: SOT 145207 SOS 97349 HAS SOPS 78284 HAS SOUS 36089 HAS SOUPS 33546 WITH SCORE 33643.349
AT ITER 325 NEW BEST:: SOT 145341 SOS 97282 HAS SOPS 78418 HAS SOUS 35896 HAS SOUPS 33420 WITH SCORE 33517.282
AT ITER 326 NEW BEST:: SOT 145340 SOS 97262 HAS SOPS 78398 HAS SOUS 35852 HAS SOUPS 33376 WITH SCORE 33473.262
AT ITER 327 NEW BEST:: SOT 145295 SOS 97262 HAS SOPS 78398 HAS SOUS 35837 HAS SOUPS 33361 WITH SCORE 33458.262
AT ITER 331 NEW BEST:: SOT 145582 SOS 97388 HAS SOPS 78524 HAS SOUS 35772 HAS SOUPS 33296 WITH SCORE 33393.388
AT ITER 342 NEW BEST:: SOT 145537 SOS 97283 HAS SOPS 78419 HAS SOUS 35712 HAS SOUPS 33236 WITH SCORE 33333.283
AT ITER 343 NEW BEST:: SOT 145883 SOS 97629 HAS SOPS 78765 HAS SOUS 34747 HAS SOUPS 32271 WITH SCORE 32368.629
AT ITER 347 NEW BEST:: SOT 145883 SOS 97587 HAS SOPS 78695 HAS SOUS 34691 HAS SOUPS 32215 WITH SCORE 32312.587
AT ITER 349 NEW BEST:: SOT 145833 SOS 97487 HAS SOPS 78595 HAS SOUS 34684 HAS SOUPS 32208 WITH SCORE 32305.487
AT ITER 353 NEW BEST:: SOT 146083 SOS 97711 HAS SOPS 78720 HAS SOUS 34729 HAS SOUPS 32203 WITH SCORE 32300.711
AT ITER 359 NEW BEST:: SOT 144802 SOS 106910 HAS SOPS 89686 HAS SOUS 33255 HAS SOUPS 30729 WITH SCORE 30835.91
AT ITER 360 NEW BEST:: SOT 144687 SOS 106778 HAS SOPS 89577 HAS SOUS 33212 HAS SOUPS 30695 WITH SCORE 30801.778
AT ITER 363 NEW BEST:: SOT 144660 SOS 106751 HAS SOPS 89550 HAS SOUS 33207 HAS SOUPS 30690 WITH SCORE 30796.751
AT ITER 364 NEW BEST:: SOT 144624 SOS 106715 HAS SOPS 89522 HAS SOUS 33173 HAS SOUPS 30660 WITH SCORE 30766.715
AT ITER 368 NEW BEST:: SOT 144624 SOS 106658 HAS SOPS 89465 HAS SOUS 33135 HAS SOUPS 30622 WITH SCORE 30728.658
AT ITER 369 NEW BEST:: SOT 144786 SOS 106618 HAS SOPS 89316 HAS SOUS 33065 HAS SOUPS 30500 WITH SCORE 30606.618
AT ITER 372 NEW BEST:: SOT 144244 SOS 106208 HAS SOPS 88907 HAS SOUS 33037 HAS SOUPS 30472 WITH SCORE 30578.208
AT ITER 373 NEW BEST:: SOT 144242 SOS 106177 HAS SOPS 88876 HAS SOUS 32888 HAS SOUPS 30323 WITH SCORE 30429.177
AT ITER 374 NEW BEST:: SOT 144292 SOS 106184 HAS SOPS 88883 HAS SOUS 32714 HAS SOUPS 30149 WITH SCORE 30255.184
AT ITER 385 NEW BEST:: SOT 144035 SOS 105927 HAS SOPS 88626 HAS SOUS 32546 HAS SOUPS 29981 WITH SCORE 30086.927
AT ITER 388 NEW BEST:: SOT 143888 SOS 105539 HAS SOPS 88203 HAS SOUS 32505 HAS SOUPS 29896 WITH SCORE 30001.539
AT ITER 391 NEW BEST:: SOT 143899 SOS 105480 HAS SOPS 88708 HAS SOUS 32438 HAS SOUPS 29869 WITH SCORE 29974.48
AT ITER 392 NEW BEST:: SOT 143903 SOS 105482 HAS SOPS 88710 HAS SOUS 32434 HAS SOUPS 29865 WITH SCORE 29970.482
AT ITER 394 NEW BEST:: SOT 143859 SOS 105394 HAS SOPS 88622 HAS SOUS 32346 HAS SOUPS 29777 WITH SCORE 29882.394
AT ITER 395 NEW BEST:: SOT 143984 SOS 105492 HAS SOPS 88655 HAS SOUS 32143 HAS SOUPS 29564 WITH SCORE 29669.492
AT ITER 396 NEW BEST:: SOT 144014 SOS 105182 HAS SOPS 88345 HAS SOUS 31471 HAS SOUPS 28892 WITH SCORE 28997.182
AT ITER 397 NEW BEST:: SOT 144087 SOS 105255 HAS SOPS 88354 HAS SOUS 31254 HAS SOUPS 28675 WITH SCORE 28780.255
AT ITER 402 NEW BEST:: SOT 144072 SOS 105240 HAS SOPS 88334 HAS SOUS 31234 HAS SOUPS 28655 WITH SCORE 28760.24
AT ITER 403 NEW BEST:: SOT 144060 SOS 105228 HAS SOPS 88310 HAS SOUS 31216 HAS SOUPS 28637 WITH SCORE 28742.228
AT ITER 410 NEW BEST:: SOT 143997 SOS 105102 HAS SOPS 88184 HAS SOUS 31027 HAS SOUPS 28448 WITH SCORE 28553.102
AT ITER 413 NEW BEST:: SOT 143883 SOS 104874 HAS SOPS 87956 HAS SOUS 30873 HAS SOUPS 28294 WITH SCORE 28398.874
AT ITER 417 NEW BEST:: SOT 143932 SOS 104776 HAS SOPS 87858 HAS SOUS 30775 HAS SOUPS 28196 WITH SCORE 28300.776
AT ITER 420 NEW BEST:: SOT 145145 SOS 106114 HAS SOPS 89184 HAS SOUS 29408 HAS SOUPS 26829 WITH SCORE 26935.114
AT ITER 422 NEW BEST:: SOT 145144 SOS 106113 HAS SOPS 89182 HAS SOUS 29406 HAS SOUPS 26827 WITH SCORE 26933.113
AT ITER 426 NEW BEST:: SOT 145247 SOS 106319 HAS SOPS 89343 HAS SOUS 29325 HAS SOUPS 26746 WITH SCORE 26852.319
AT ITER 427 NEW BEST:: SOT 145368 SOS 106237 HAS SOPS 89369 HAS SOUS 29271 HAS SOUPS 26692 WITH SCORE 26798.237
AT ITER 431 NEW BEST:: SOT 140794 SOS 104010 HAS SOPS 88701 HAS SOUS 28327 HAS SOUPS 26247 WITH SCORE 26351.01
AT ITER 432 NEW BEST:: SOT 140818 SOS 103930 HAS SOPS 88621 HAS SOUS 28327 HAS SOUPS 26247 WITH SCORE 26350.93
AT ITER 433 NEW BEST:: SOT 140763 SOS 103866 HAS SOPS 88557 HAS SOUS 28228 HAS SOUPS 26148 WITH SCORE 26251.866
AT ITER 435 NEW BEST:: SOT 141028 SOS 104027 HAS SOPS 88827 HAS SOUS 28177 HAS SOUPS 26097 WITH SCORE 26201.027
AT ITER 436 NEW BEST:: SOT 141088 SOS 104047 HAS SOPS 88847 HAS SOUS 28137 HAS SOUPS 26057 WITH SCORE 26161.047
AT ITER 437 NEW BEST:: SOT 141020 SOS 104041 HAS SOPS 88778 HAS SOUS 28068 HAS SOUPS 25988 WITH SCORE 26092.041
AT ITER 440 NEW BEST:: SOT 141006 SOS 104055 HAS SOPS 88750 HAS SOUS 28012 HAS SOUPS 25932 WITH SCORE 26036.055
AT ITER 446 NEW BEST:: SOT 141015 SOS 104005 HAS SOPS 88977 HAS SOUS 27983 HAS SOUPS 25903 WITH SCORE 26007.005
AT ITER 448 NEW BEST:: SOT 140868 SOS 103880 HAS SOPS 88852 HAS SOUS 27876 HAS SOUPS 25796 WITH SCORE 25899.88
AT ITER 449 NEW BEST:: SOT 140892 SOS 103804 HAS SOPS 88776 HAS SOUS 27818 HAS SOUPS 25738 WITH SCORE 25841.804
AT ITER 453 NEW BEST:: SOT 140794 SOS 103881 HAS SOPS 88671 HAS SOUS 27811 HAS SOUPS 25731 WITH SCORE 25834.881
AT ITER 458 NEW BEST:: SOT 140794 SOS 103861 HAS SOPS 88651 HAS SOUS 27811 HAS SOUPS 25731 WITH SCORE 25834.861
AT ITER 467 NEW BEST:: SOT 141062 SOS 103965 HAS SOPS 88761 HAS SOUS 27760 HAS SOUPS 25680 WITH SCORE 25783.965
AT ITER 469 NEW BEST:: SOT 141119 SOS 103632 HAS SOPS 88537 HAS SOUS 27748 HAS SOUPS 25668 WITH SCORE 25771.632
AT ITER 470 NEW BEST:: SOT 140941 SOS 103454 HAS SOPS 88410 HAS SOUS 27721 HAS SOUPS 25643 WITH SCORE 25746.454
AT ITER 474 NEW BEST:: SOT 140948 SOS 103403 HAS SOPS 88563 HAS SOUS 27550 HAS SOUPS 25575 WITH SCORE 25678.403
AT ITER 475 NEW BEST:: SOT 138734 SOS 101493 HAS SOPS 88261 HAS SOUS 26913 HAS SOUPS 25187 WITH SCORE 25288.493
AT ITER 478 NEW BEST:: SOT 138619 SOS 101263 HAS SOPS 87997 HAS SOUS 26698 HAS SOUPS 24913 WITH SCORE 25014.263
AT ITER 479 NEW BEST:: SOT 138704 SOS 101615 HAS SOPS 88157 HAS SOUS 26650 HAS SOUPS 24865 WITH SCORE 24966.615
AT ITER 484 NEW BEST:: SOT 138538 SOS 101493 HAS SOPS 88035 HAS SOUS 26639 HAS SOUPS 24854 WITH SCORE 24955.493
AT ITER 486 NEW BEST:: SOT 138502 SOS 101457 HAS SOPS 87951 HAS SOUS 26555 HAS SOUPS 24770 WITH SCORE 24871.457
AT ITER 487 NEW BEST:: SOT 138387 SOS 101342 HAS SOPS 87835 HAS SOUS 26439 HAS SOUPS 24654 WITH SCORE 24755.342
AT ITER 491 NEW BEST:: SOT 138091 SOS 102336 HAS SOPS 87769 HAS SOUS 26432 HAS SOUPS 24652 WITH SCORE 24754.336
AT ITER 501 NEW BEST:: SOT 138122 SOS 102255 HAS SOPS 87688 HAS SOUS 26374 HAS SOUPS 24594 WITH SCORE 24696.255
AT ITER 505 NEW BEST:: SOT 137168 SOS 101301 HAS SOPS 86734 HAS SOUS 26361 HAS SOUPS 24581 WITH SCORE 24682.301
AT ITER 516 NEW BEST:: SOT 137502 SOS 101059 HAS SOPS 86784 HAS SOUS 26400 HAS SOUPS 24571 WITH SCORE 24672.059
AT ITER 527 NEW BEST:: SOT 137215 SOS 100961 HAS SOPS 86313 HAS SOUS 26006 HAS SOUPS 24046 WITH SCORE 24146.961
AT ITER 530 NEW BEST:: SOT 137357 SOS 100901 HAS SOPS 86373 HAS SOUS 25851 HAS SOUPS 23924 WITH SCORE 24024.901
AT ITER 536 NEW BEST:: SOT 136982 SOS 100314 HAS SOPS 86085 HAS SOUS 25822 HAS SOUPS 23883 WITH SCORE 23983.314
AT ITER 538 NEW BEST:: SOT 136926 SOS 100349 HAS SOPS 85965 HAS SOUS 25760 HAS SOUPS 23830 WITH SCORE 23930.349
AT ITER 550 NEW BEST:: SOT 136926 SOS 100303 HAS SOPS 85919 HAS SOUS 25760 HAS SOUPS 23830 WITH SCORE 23930.303
AT ITER 562 NEW BEST:: SOT 136785 SOS 100037 HAS SOPS 85568 HAS SOUS 25409 HAS SOUPS 23479 WITH SCORE 23579.037
AT ITER 563 NEW BEST:: SOT 136707 SOS 99933 HAS SOPS 85354 HAS SOUS 25360 HAS SOUPS 23427 WITH SCORE 23526.933
AT ITER 565 NEW BEST:: SOT 136698 SOS 99924 HAS SOPS 85336 HAS SOUS 25342 HAS SOUPS 23409 WITH SCORE 23508.924
AT ITER 567 NEW BEST:: SOT 136695 SOS 99921 HAS SOPS 85330 HAS SOUS 25311 HAS SOUPS 23378 WITH SCORE 23477.921
AT ITER 571 NEW BEST:: SOT 136695 SOS 99936 HAS SOPS 85326 HAS SOUS 25282 HAS SOUPS 23349 WITH SCORE 23448.936
AT ITER 589 NEW BEST:: SOT 136821 SOS 100066 HAS SOPS 85389 HAS SOUS 25223 HAS SOUPS 23267 WITH SCORE 23367.066
AT ITER 613 NEW BEST:: SOT 136800 SOS 100048 HAS SOPS 85371 HAS SOUS 25223 HAS SOUPS 23267 WITH SCORE 23367.048
AT ITER 615 NEW BEST:: SOT 136077 SOS 100922 HAS SOPS 85324 HAS SOUS 25320 HAS SOUPS 23227 WITH SCORE 23327.922
AT ITER 619 NEW BEST:: SOT 136025 SOS 100870 HAS SOPS 85276 HAS SOUS 25281 HAS SOUPS 23192 WITH SCORE 23292.87
AT ITER 622 NEW BEST:: SOT 136023 SOS 100868 HAS SOPS 85271 HAS SOUS 25273 HAS SOUPS 23184 WITH SCORE 23284.868
AT ITER 626 NEW BEST:: SOT 136061 SOS 100844 HAS SOPS 85297 HAS SOUS 25205 HAS SOUPS 23166 WITH SCORE 23266.844
AT ITER 629 NEW BEST:: SOT 134182 SOS 100234 HAS SOPS 85287 HAS SOUS 25241 HAS SOUPS 23151 WITH SCORE 23251.234
AT ITER 632 NEW BEST:: SOT 134148 SOS 100166 HAS SOPS 85219 HAS SOUS 25170 HAS SOUPS 23080 WITH SCORE 23180.166
AT ITER 637 NEW BEST:: SOT 134143 SOS 100101 HAS SOPS 85179 HAS SOUS 25130 HAS SOUPS 23040 WITH SCORE 23140.101
AT ITER 640 NEW BEST:: SOT 134131 SOS 99977 HAS SOPS 85128 HAS SOUS 24968 HAS SOUPS 22878 WITH SCORE 22977.977
AT ITER 647 NEW BEST:: SOT 134131 SOS 99971 HAS SOPS 85122 HAS SOUS 24962 HAS SOUPS 22872 WITH SCORE 22971.971
AT ITER 658 NEW BEST:: SOT 134224 SOS 100064 HAS SOPS 85217 HAS SOUS 24714 HAS SOUPS 22658 WITH SCORE 22758.064
AT ITER 669 NEW BEST:: SOT 133329 SOS 99554 HAS SOPS 84953 HAS SOUS 24597 HAS SOUPS 22537 WITH SCORE 22636.554
AT ITER 673 NEW BEST:: SOT 133742 SOS 99528 HAS SOPS 84919 HAS SOUS 24555 HAS SOUPS 22499 WITH SCORE 22598.528
AT ITER 677 NEW BEST:: SOT 133686 SOS 99472 HAS SOPS 84870 HAS SOUS 24548 HAS SOUPS 22499 WITH SCORE 22598.472
AT ITER 686 NEW BEST:: SOT 133648 SOS 99348 HAS SOPS 84754 HAS SOUS 24483 HAS SOUPS 22414 WITH SCORE 22513.348
AT ITER 687 NEW BEST:: SOT 133640 SOS 99348 HAS SOPS 84746 HAS SOUS 24475 HAS SOUPS 22406 WITH SCORE 22505.348
AT ITER 692 NEW BEST:: SOT 133506 SOS 99254 HAS SOPS 84514 HAS SOUS 24341 HAS SOUPS 22232 WITH SCORE 22331.254
AT ITER 696 NEW BEST:: SOT 133479 SOS 99214 HAS SOPS 84481 HAS SOUS 24322 HAS SOUPS 22213 WITH SCORE 22312.214
AT ITER 710 NEW BEST:: SOT 133453 SOS 99302 HAS SOPS 84481 HAS SOUS 24322 HAS SOUPS 22206 WITH SCORE 22305.302
AT ITER 718 NEW BEST:: SOT 133452 SOS 98974 HAS SOPS 84287 HAS SOUS 24320 HAS SOUPS 22204 WITH SCORE 22302.974
AT ITER 722 NEW BEST:: SOT 133309 SOS 98865 HAS SOPS 84133 HAS SOUS 24126 HAS SOUPS 22010 WITH SCORE 22108.865
AT ITER 725 NEW BEST:: SOT 133524 SOS 99080 HAS SOPS 84348 HAS SOUS 24108 HAS SOUPS 21992 WITH SCORE 22091.08
AT ITER 728 NEW BEST:: SOT 133445 SOS 99402 HAS SOPS 84288 HAS SOUS 24110 HAS SOUPS 21978 WITH SCORE 22077.402
AT ITER 729 NEW BEST:: SOT 133427 SOS 99357 HAS SOPS 84252 HAS SOUS 24065 HAS SOUPS 21942 WITH SCORE 22041.357
AT ITER 735 NEW BEST:: SOT 133391 SOS 99321 HAS SOPS 84187 HAS SOUS 23957 HAS SOUPS 21834 WITH SCORE 21933.321
AT ITER 739 NEW BEST:: SOT 133389 SOS 99314 HAS SOPS 84180 HAS SOUS 23951 HAS SOUPS 21828 WITH SCORE 21927.314
AT ITER 747 NEW BEST:: SOT 133389 SOS 99280 HAS SOPS 84036 HAS SOUS 23926 HAS SOUPS 21794 WITH SCORE 21893.28
AT ITER 748 NEW BEST:: SOT 133185 SOS 98767 HAS SOPS 83602 HAS SOUS 23778 HAS SOUPS 21633 WITH SCORE 21731.767
AT ITER 751 NEW BEST:: SOT 133117 SOS 98720 HAS SOPS 83501 HAS SOUS 23650 HAS SOUPS 21505 WITH SCORE 21603.72
AT ITER 761 NEW BEST:: SOT 133158 SOS 98945 HAS SOPS 83655 HAS SOUS 23577 HAS SOUPS 21432 WITH SCORE 21530.945
AT ITER 764 NEW BEST:: SOT 132845 SOS 98706 HAS SOPS 83416 HAS SOUS 23502 HAS SOUPS 21357 WITH SCORE 21455.706
AT ITER 766 NEW BEST:: SOT 132719 SOS 98580 HAS SOPS 83303 HAS SOUS 23483 HAS SOUPS 21340 WITH SCORE 21438.58
AT ITER 773 NEW BEST:: SOT 132653 SOS 98568 HAS SOPS 83321 HAS SOUS 23471 HAS SOUPS 21328 WITH SCORE 21426.568
AT ITER 775 NEW BEST:: SOT 131944 SOS 98517 HAS SOPS 83360 HAS SOUS 23537 HAS SOUPS 21315 WITH SCORE 21413.517
AT ITER 785 NEW BEST:: SOT 131984 SOS 98409 HAS SOPS 83252 HAS SOUS 23443 HAS SOUPS 21221 WITH SCORE 21319.409
AT ITER 787 NEW BEST:: SOT 131733 SOS 98175 HAS SOPS 83089 HAS SOUS 23280 HAS SOUPS 21058 WITH SCORE 21156.175
AT ITER 790 NEW BEST:: SOT 131414 SOS 97856 HAS SOPS 82791 HAS SOUS 23175 HAS SOUPS 20975 WITH SCORE 21072.856
AT ITER 793 NEW BEST:: SOT 131008 SOS 97754 HAS SOPS 82759 HAS SOUS 23123 HAS SOUPS 20952 WITH SCORE 21049.754
AT ITER 796 NEW BEST:: SOT 130803 SOS 97616 HAS SOPS 82679 HAS SOUS 23111 HAS SOUPS 20920 WITH SCORE 21017.616
AT ITER 806 NEW BEST:: SOT 130816 SOS 97616 HAS SOPS 82617 HAS SOUS 23036 HAS SOUPS 20845 WITH SCORE 20942.616
AT ITER 818 NEW BEST:: SOT 130712 SOS 97512 HAS SOPS 82513 HAS SOUS 22932 HAS SOUPS 20741 WITH SCORE 20838.512
AT ITER 825 NEW BEST:: SOT 130274 SOS 97074 HAS SOPS 82065 HAS SOUS 22828 HAS SOUPS 20627 WITH SCORE 20724.074
AT ITER 834 NEW BEST:: SOT 130394 SOS 97130 HAS SOPS 82121 HAS SOUS 22794 HAS SOUPS 20593 WITH SCORE 20690.13
AT ITER 852 NEW BEST:: SOT 130589 SOS 97014 HAS SOPS 81965 HAS SOUS 22772 HAS SOUPS 20571 WITH SCORE 20668.014
AT ITER 869 NEW BEST:: SOT 130579 SOS 96994 HAS SOPS 81950 HAS SOUS 22762 HAS SOUPS 20561 WITH SCORE 20657.994
AT ITER 876 NEW BEST:: SOT 130566 SOS 96968 HAS SOPS 81954 HAS SOUS 22710 HAS SOUPS 20539 WITH SCORE 20635.968
AT ITER 896 NEW BEST:: SOT 130435 SOS 96891 HAS SOPS 81914 HAS SOUS 22690 HAS SOUPS 20519 WITH SCORE 20615.891
AT ITER 898 NEW BEST:: SOT 130429 SOS 96883 HAS SOPS 81906 HAS SOUS 22682 HAS SOUPS 20511 WITH SCORE 20607.883
AT ITER 899 NEW BEST:: SOT 130649 SOS 96935 HAS SOPS 81993 HAS SOUS 22633 HAS SOUPS 20477 WITH SCORE 20573.935
AT ITER 904 NEW BEST:: SOT 130628 SOS 96914 HAS SOPS 81971 HAS SOUS 22611 HAS SOUPS 20455 WITH SCORE 20551.914
AT ITER 912 NEW BEST:: SOT 130628 SOS 96896 HAS SOPS 81946 HAS SOUS 22586 HAS SOUPS 20430 WITH SCORE 20526.896
AT ITER 916 NEW BEST:: SOT 130513 SOS 96253 HAS SOPS 81351 HAS SOUS 22457 HAS SOUPS 20301 WITH SCORE 20397.253
AT ITER 936 NEW BEST:: SOT 130287 SOS 96163 HAS SOPS 81232 HAS SOUS 22403 HAS SOUPS 20247 WITH SCORE 20343.163
AT ITER 944 NEW BEST:: SOT 130338 SOS 96190 HAS SOPS 81259 HAS SOUS 22401 HAS SOUPS 20224 WITH SCORE 20320.19
AT ITER 946 NEW BEST:: SOT 130309 SOS 96188 HAS SOPS 81229 HAS SOUS 22354 HAS SOUPS 20177 WITH SCORE 20273.188
AT ITER 947 NEW BEST:: SOT 130277 SOS 96156 HAS SOPS 81127 HAS SOUS 22341 HAS SOUPS 20164 WITH SCORE 20260.156
AT ITER 953 NEW BEST:: SOT 130281 SOS 96160 HAS SOPS 81103 HAS SOUS 22164 HAS SOUPS 19987 WITH SCORE 20083.16
AT ITER 955 NEW BEST:: SOT 130477 SOS 96356 HAS SOPS 81295 HAS SOUS 22131 HAS SOUPS 19954 WITH SCORE 20050.356
AT ITER 957 NEW BEST:: SOT 130462 SOS 96310 HAS SOPS 81269 HAS SOUS 22113 HAS SOUPS 19936 WITH SCORE 20032.31
AT ITER 965 NEW BEST:: SOT 130446 SOS 96278 HAS SOPS 81224 HAS SOUS 22076 HAS SOUPS 19899 WITH SCORE 19995.278
AT ITER 998 NEW BEST:: SOT 130375 SOS 96223 HAS SOPS 81169 HAS SOUS 22076 HAS SOUPS 19899 WITH SCORE 19995.223
AT ITER 1006 NEW BEST:: SOT 130359 SOS 96207 HAS SOPS 81169 HAS SOUS 22076 HAS SOUPS 19899 WITH SCORE 19995.207
AT ITER 1026 NEW BEST:: SOT 130419 SOS 96153 HAS SOPS 81121 HAS SOUS 22043 HAS SOUPS 19866 WITH SCORE 19962.153
AT ITER 1034 NEW BEST:: SOT 130004 SOS 95912 HAS SOPS 80920 HAS SOUS 22005 HAS SOUPS 19842 WITH SCORE 19937.912
AT ITER 1039 NEW BEST:: SOT 130028 SOS 95936 HAS SOPS 80938 HAS SOUS 21993 HAS SOUPS 19830 WITH SCORE 19925.936
AT ITER 1045 NEW BEST:: SOT 130012 SOS 95920 HAS SOPS 80906 HAS SOUS 21977 HAS SOUPS 19814 WITH SCORE 19909.92
AT ITER 1047 NEW BEST:: SOT 129959 SOS 95782 HAS SOPS 80768 HAS SOUS 21931 HAS SOUPS 19768 WITH SCORE 19863.782
AT ITER 1051 NEW BEST:: SOT 129943 SOS 95766 HAS SOPS 80736 HAS SOUS 21915 HAS SOUPS 19736 WITH SCORE 19831.766
AT ITER 1058 NEW BEST:: SOT 129816 SOS 95639 HAS SOPS 80643 HAS SOUS 21825 HAS SOUPS 19677 WITH SCORE 19772.639
AT ITER 1063 NEW BEST:: SOT 129816 SOS 95615 HAS SOPS 80619 HAS SOUS 21809 HAS SOUPS 19661 WITH SCORE 19756.615
AT ITER 1074 NEW BEST:: SOT 129557 SOS 96368 HAS SOPS 80602 HAS SOUS 21767 HAS SOUPS 19619 WITH SCORE 19715.368
AT ITER 1081 NEW BEST:: SOT 129557 SOS 96368 HAS SOPS 80602 HAS SOUS 21758 HAS SOUPS 19610 WITH SCORE 19706.368
AT ITER 1082 NEW BEST:: SOT 129541 SOS 96528 HAS SOPS 80594 HAS SOUS 21751 HAS SOUPS 19602 WITH SCORE 19698.528
AT ITER 1083 NEW BEST:: SOT 129575 SOS 96511 HAS SOPS 80560 HAS SOUS 21699 HAS SOUPS 19550 WITH SCORE 19646.511
AT ITER 1085 NEW BEST:: SOT 129562 SOS 96439 HAS SOPS 80380 HAS SOUS 21675 HAS SOUPS 19526 WITH SCORE 19622.439
AT ITER 1091 NEW BEST:: SOT 129552 SOS 96409 HAS SOPS 80370 HAS SOUS 21660 HAS SOUPS 19511 WITH SCORE 19607.409
AT ITER 1096 NEW BEST:: SOT 129444 SOS 96193 HAS SOPS 80222 HAS SOUS 21601 HAS SOUPS 19452 WITH SCORE 19548.193
AT ITER 1097 NEW BEST:: SOT 129195 SOS 95741 HAS SOPS 79862 HAS SOUS 21405 HAS SOUPS 19279 WITH SCORE 19374.741
AT ITER 1101 NEW BEST:: SOT 129089 SOS 95778 HAS SOPS 79804 HAS SOUS 21381 HAS SOUPS 19232 WITH SCORE 19327.778
AT ITER 1120 NEW BEST:: SOT 129082 SOS 95820 HAS SOPS 79819 HAS SOUS 21360 HAS SOUPS 19211 WITH SCORE 19306.82
AT ITER 1143 NEW BEST:: SOT 129067 SOS 94131 HAS SOPS 78085 HAS SOUS 21352 HAS SOUPS 19188 WITH SCORE 19282.131
AT ITER 1145 NEW BEST:: SOT 129351 SOS 94249 HAS SOPS 78174 HAS SOUS 21282 HAS SOUPS 19104 WITH SCORE 19198.249
AT ITER 1149 NEW BEST:: SOT 129354 SOS 94252 HAS SOPS 78171 HAS SOUS 21267 HAS SOUPS 19089 WITH SCORE 19183.252
AT ITER 1161 NEW BEST:: SOT 129293 SOS 94174 HAS SOPS 78093 HAS SOUS 21194 HAS SOUPS 19016 WITH SCORE 19110.174
AT ITER 1172 NEW BEST:: SOT 129292 SOS 94173 HAS SOPS 78092 HAS SOUS 21194 HAS SOUPS 19016 WITH SCORE 19110.173
AT ITER 1174 NEW BEST:: SOT 129217 SOS 94814 HAS SOPS 79240 HAS SOUS 21093 HAS SOUPS 18948 WITH SCORE 19042.814
AT ITER 1191 NEW BEST:: SOT 129136 SOS 94733 HAS SOPS 79123 HAS SOUS 20952 HAS SOUPS 18807 WITH SCORE 18901.733
AT ITER 1202 NEW BEST:: SOT 128986 SOS 94583 HAS SOPS 78959 HAS SOUS 20873 HAS SOUPS 18703 WITH SCORE 18797.583
AT ITER 1211 NEW BEST:: SOT 128946 SOS 94543 HAS SOPS 78879 HAS SOUS 20793 HAS SOUPS 18623 WITH SCORE 18717.543
AT ITER 1212 NEW BEST:: SOT 128752 SOS 94297 HAS SOPS 78633 HAS SOUS 20765 HAS SOUPS 18595 WITH SCORE 18689.297
AT ITER 1224 NEW BEST:: SOT 128669 SOS 94253 HAS SOPS 78198 HAS SOUS 20765 HAS SOUPS 18591 WITH SCORE 18685.253
AT ITER 1247 NEW BEST:: SOT 128098 SOS 93112 HAS SOPS 75146 HAS SOUS 20867 HAS SOUPS 18540 WITH SCORE 18633.112
AT ITER 1249 NEW BEST:: SOT 128102 SOS 93116 HAS SOPS 75154 HAS SOUS 20855 HAS SOUPS 18528 WITH SCORE 18621.116
AT ITER 1252 NEW BEST:: SOT 128079 SOS 93096 HAS SOPS 75132 HAS SOUS 20853 HAS SOUPS 18524 WITH SCORE 18617.096
AT ITER 1253 NEW BEST:: SOT 128050 SOS 93067 HAS SOPS 75106 HAS SOUS 20824 HAS SOUPS 18498 WITH SCORE 18591.067
AT ITER 1262 NEW BEST:: SOT 127949 SOS 92966 HAS SOPS 74999 HAS SOUS 20796 HAS SOUPS 18464 WITH SCORE 18556.966
AT ITER 1267 NEW BEST:: SOT 127969 SOS 92591 HAS SOPS 74707 HAS SOUS 20650 HAS SOUPS 18318 WITH SCORE 18410.591
AT ITER 1273 NEW BEST:: SOT 127951 SOS 92573 HAS SOPS 74707 HAS SOUS 20614 HAS SOUPS 18300 WITH SCORE 18392.573
AT ITER 1275 NEW BEST:: SOT 127933 SOS 92555 HAS SOPS 74845 HAS SOUS 20592 HAS SOUPS 18298 WITH SCORE 18390.555
AT ITER 1282 NEW BEST:: SOT 127889 SOS 92511 HAS SOPS 74789 HAS SOUS 20515 HAS SOUPS 18221 WITH SCORE 18313.511
AT ITER 1286 NEW BEST:: SOT 127910 SOS 92437 HAS SOPS 74737 HAS SOUS 20465 HAS SOUPS 18171 WITH SCORE 18263.437
AT ITER 1294 NEW BEST:: SOT 127909 SOS 92436 HAS SOPS 74735 HAS SOUS 20445 HAS SOUPS 18169 WITH SCORE 18261.436
AT ITER 1298 NEW BEST:: SOT 127891 SOS 92205 HAS SOPS 74504 HAS SOUS 20370 HAS SOUPS 18094 WITH SCORE 18186.205
AT ITER 1301 NEW BEST:: SOT 127164 SOS 92852 HAS SOPS 74385 HAS SOUS 20411 HAS SOUPS 18083 WITH SCORE 18175.852
AT ITER 1304 NEW BEST:: SOT 127149 SOS 92859 HAS SOPS 74381 HAS SOUS 20410 HAS SOUPS 18081 WITH SCORE 18173.859
AT ITER 1306 NEW BEST:: SOT 127149 SOS 92667 HAS SOPS 74285 HAS SOUS 20410 HAS SOUPS 18081 WITH SCORE 18173.667
AT ITER 1314 NEW BEST:: SOT 127140 SOS 92673 HAS SOPS 74285 HAS SOUS 20395 HAS SOUPS 18066 WITH SCORE 18158.673
AT ITER 1315 NEW BEST:: SOT 127145 SOS 92737 HAS SOPS 74349 HAS SOUS 20346 HAS SOUPS 18017 WITH SCORE 18109.737
AT ITER 1321 NEW BEST:: SOT 127110 SOS 92718 HAS SOPS 74330 HAS SOUS 20346 HAS SOUPS 18017 WITH SCORE 18109.718
AT ITER 1330 NEW BEST:: SOT 127109 SOS 92713 HAS SOPS 74326 HAS SOUS 20344 HAS SOUPS 18015 WITH SCORE 18107.713
AT ITER 1336 NEW BEST:: SOT 127199 SOS 92746 HAS SOPS 74317 HAS SOUS 20308 HAS SOUPS 17988 WITH SCORE 18080.746
AT ITER 1347 NEW BEST:: SOT 128075 SOS 93622 HAS SOPS 75193 HAS SOUS 20268 HAS SOUPS 17948 WITH SCORE 18041.622
AT ITER 1354 NEW BEST:: SOT 128397 SOS 93479 HAS SOPS 75180 HAS SOUS 20241 HAS SOUPS 17935 WITH SCORE 18028.479
AT ITER 1366 NEW BEST:: SOT 128539 SOS 93538 HAS SOPS 75314 HAS SOUS 20248 HAS SOUPS 17933 WITH SCORE 18026.538
AT ITER 1369 NEW BEST:: SOT 128505 SOS 93504 HAS SOPS 75312 HAS SOUS 20236 HAS SOUPS 17930 WITH SCORE 18023.504
AT ITER 1378 NEW BEST:: SOT 128502 SOS 93468 HAS SOPS 75291 HAS SOUS 20217 HAS SOUPS 17911 WITH SCORE 18004.468
AT ITER 1379 NEW BEST:: SOT 128825 SOS 93635 HAS SOPS 75458 HAS SOUS 20210 HAS SOUPS 17904 WITH SCORE 17997.635
AT ITER 1386 NEW BEST:: SOT 128825 SOS 93615 HAS SOPS 75438 HAS SOUS 20200 HAS SOUPS 17894 WITH SCORE 17987.615
AT ITER 1388 NEW BEST:: SOT 128825 SOS 93615 HAS SOPS 75310 HAS SOUS 20072 HAS SOUPS 17766 WITH SCORE 17859.615
AT ITER 1390 NEW BEST:: SOT 128810 SOS 93678 HAS SOPS 75304 HAS SOUS 20069 HAS SOUPS 17760 WITH SCORE 17853.678
AT ITER 1391 NEW BEST:: SOT 128131 SOS 93222 HAS SOPS 75304 HAS SOUS 20047 HAS SOUPS 17760 WITH SCORE 17853.222
AT ITER 1410 NEW BEST:: SOT 128109 SOS 93186 HAS SOPS 75302 HAS SOUS 20024 HAS SOUPS 17730 WITH SCORE 17823.186
AT ITER 1424 NEW BEST:: SOT 128122 SOS 93150 HAS SOPS 75277 HAS SOUS 19942 HAS SOUPS 17649 WITH SCORE 17742.15
AT ITER 1431 NEW BEST:: SOT 127910 SOS 92753 HAS SOPS 74930 HAS SOUS 19724 HAS SOUPS 17431 WITH SCORE 17523.753
AT ITER 1432 NEW BEST:: SOT 127426 SOS 92497 HAS SOPS 74674 HAS SOUS 19710 HAS SOUPS 17417 WITH SCORE 17509.497
AT ITER 1439 NEW BEST:: SOT 127362 SOS 92437 HAS SOPS 74614 HAS SOUS 19656 HAS SOUPS 17363 WITH SCORE 17455.437
AT ITER 1457 NEW BEST:: SOT 127360 SOS 92433 HAS SOPS 74613 HAS SOUS 19647 HAS SOUPS 17357 WITH SCORE 17449.433
AT ITER 1471 NEW BEST:: SOT 127341 SOS 92423 HAS SOPS 74589 HAS SOUS 19618 HAS SOUPS 17314 WITH SCORE 17406.423
AT ITER 1475 NEW BEST:: SOT 127319 SOS 92379 HAS SOPS 74545 HAS SOUS 19574 HAS SOUPS 17270 WITH SCORE 17362.379
AT ITER 1499 NEW BEST:: SOT 127318 SOS 92378 HAS SOPS 74544 HAS SOUS 19573 HAS SOUPS 17269 WITH SCORE 17361.378
AT ITER 1501 NEW BEST:: SOT 127146 SOS 92356 HAS SOPS 74530 HAS SOUS 19559 HAS SOUPS 17255 WITH SCORE 17347.356
AT ITER 1529 NEW BEST:: SOT 127135 SOS 92286 HAS SOPS 74476 HAS SOUS 19532 HAS SOUPS 17228 WITH SCORE 17320.286
AT ITER 1530 NEW BEST:: SOT 127123 SOS 92274 HAS SOPS 74464 HAS SOUS 19520 HAS SOUPS 17216 WITH SCORE 17308.274
AT ITER 1576 NEW BEST:: SOT 127116 SOS 92267 HAS SOPS 74474 HAS SOUS 19507 HAS SOUPS 17203 WITH SCORE 17295.267
AT ITER 1578 NEW BEST:: SOT 127226 SOS 92377 HAS SOPS 74529 HAS SOUS 19490 HAS SOUPS 17186 WITH SCORE 17278.377
AT ITER 1581 NEW BEST:: SOT 127216 SOS 92362 HAS SOPS 74515 HAS SOUS 19475 HAS SOUPS 17172 WITH SCORE 17264.362
AT ITER 1588 NEW BEST:: SOT 126633 SOS 92371 HAS SOPS 74461 HAS SOUS 19451 HAS SOUPS 17145 WITH SCORE 17237.371
AT ITER 1615 NEW BEST:: SOT 126614 SOS 92333 HAS SOPS 74423 HAS SOUS 19409 HAS SOUPS 17103 WITH SCORE 17195.333
AT ITER 1625 NEW BEST:: SOT 126574 SOS 92279 HAS SOPS 74369 HAS SOUS 19355 HAS SOUPS 17049 WITH SCORE 17141.279
AT ITER 1627 NEW BEST:: SOT 126504 SOS 92149 HAS SOPS 74299 HAS SOUS 19315 HAS SOUPS 17009 WITH SCORE 17101.149
AT ITER 1635 NEW BEST:: SOT 126406 SOS 92137 HAS SOPS 74230 HAS SOUS 19304 HAS SOUPS 16998 WITH SCORE 17090.137
AT ITER 1641 NEW BEST:: SOT 126402 SOS 92134 HAS SOPS 74228 HAS SOUS 19303 HAS SOUPS 16998 WITH SCORE 17090.134
AT ITER 1643 NEW BEST:: SOT 126399 SOS 90158 HAS SOPS 66395 HAS SOUS 19199 HAS SOUPS 16823 WITH SCORE 16913.158
AT ITER 1682 NEW BEST:: SOT 126355 SOS 90108 HAS SOPS 66501 HAS SOUS 19105 HAS SOUPS 16729 WITH SCORE 16819.108
AT ITER 1709 NEW BEST:: SOT 126305 SOS 90058 HAS SOPS 66401 HAS SOUS 19005 HAS SOUPS 16629 WITH SCORE 16719.058
AT ITER 1730 NEW BEST:: SOT 127441 SOS 87775 HAS SOPS 66349 HAS SOUS 18891 HAS SOUPS 16542 WITH SCORE 16629.775
AT ITER 1744 NEW BEST:: SOT 127441 SOS 87775 HAS SOPS 66349 HAS SOUS 18851 HAS SOUPS 16502 WITH SCORE 16589.775
AT ITER 1746 NEW BEST:: SOT 127438 SOS 87768 HAS SOPS 66344 HAS SOUS 18848 HAS SOUPS 16500 WITH SCORE 16587.768
AT ITER 1757 NEW BEST:: SOT 127438 SOS 87768 HAS SOPS 66344 HAS SOUS 18846 HAS SOUPS 16498 WITH SCORE 16585.768
AT ITER 1778 NEW BEST:: SOT 127427 SOS 87757 HAS SOPS 66333 HAS SOUS 18846 HAS SOUPS 16498 WITH SCORE 16585.757
AT ITER 1780 NEW BEST:: SOT 127532 SOS 87764 HAS SOPS 66952 HAS SOUS 18740 HAS SOUPS 16458 WITH SCORE 16545.764
AT ITER 1781 NEW BEST:: SOT 127531 SOS 87755 HAS SOPS 66943 HAS SOUS 18735 HAS SOUPS 16453 WITH SCORE 16540.755
AT ITER 1790 NEW BEST:: SOT 127506 SOS 87741 HAS SOPS 66929 HAS SOUS 18684 HAS SOUPS 16402 WITH SCORE 16489.741
AT ITER 1809 NEW BEST:: SOT 127504 SOS 87739 HAS SOPS 66925 HAS SOUS 18680 HAS SOUPS 16398 WITH SCORE 16485.739
AT ITER 1811 NEW BEST:: SOT 127506 SOS 87713 HAS SOPS 66899 HAS SOUS 18672 HAS SOUPS 16390 WITH SCORE 16477.713
AT ITER 1821 NEW BEST:: SOT 127543 SOS 86967 HAS SOPS 66891 HAS SOUS 18671 HAS SOUPS 16382 WITH SCORE 16468.967
AT ITER 1822 NEW BEST:: SOT 127535 SOS 86971 HAS SOPS 66895 HAS SOUS 18667 HAS SOUPS 16378 WITH SCORE 16464.971
AT ITER 1857 NEW BEST:: SOT 127548 SOS 86910 HAS SOPS 66875 HAS SOUS 18629 HAS SOUPS 16340 WITH SCORE 16426.91
AT ITER 1885 NEW BEST:: SOT 127530 SOS 86898 HAS SOPS 66887 HAS SOUS 18629 HAS SOUPS 16340 WITH SCORE 16426.898
AT ITER 1890 NEW BEST:: SOT 127500 SOS 86838 HAS SOPS 66857 HAS SOUS 18629 HAS SOUPS 16340 WITH SCORE 16426.838
AT ITER 1904 NEW BEST:: SOT 127497 SOS 86805 HAS SOPS 66851 HAS SOUS 18611 HAS SOUPS 16331 WITH SCORE 16417.805
AT ITER 1908 NEW BEST:: SOT 127500 SOS 86790 HAS SOPS 66857 HAS SOUS 18608 HAS SOUPS 16331 WITH SCORE 16417.79
AT ITER 1914 NEW BEST:: SOT 127454 SOS 86734 HAS SOPS 66801 HAS SOUS 18585 HAS SOUPS 16308 WITH SCORE 16394.734
AT ITER 1943 NEW BEST:: SOT 127439 SOS 86719 HAS SOPS 66786 HAS SOUS 18567 HAS SOUPS 16290 WITH SCORE 16376.719
AT ITER 1947 NEW BEST:: SOT 127430 SOS 86715 HAS SOPS 66772 HAS SOUS 18558 HAS SOUPS 16276 WITH SCORE 16362.715
AT ITER 1949 NEW BEST:: SOT 127431 SOS 86750 HAS SOPS 66774 HAS SOUS 18547 HAS SOUPS 16250 WITH SCORE 16336.75
AT ITER 1977 NEW BEST:: SOT 127366 SOS 88739 HAS SOPS 66760 HAS SOUS 18601 HAS SOUPS 16237 WITH SCORE 16325.739
AT ITER 1990 NEW BEST:: SOT 127280 SOS 88704 HAS SOPS 66725 HAS SOUS 18602 HAS SOUPS 16229 WITH SCORE 16317.704
AT ITER 2054 NEW BEST:: SOT 127255 SOS 88679 HAS SOPS 66705 HAS SOUS 18577 HAS SOUPS 16209 WITH SCORE 16297.679
AT ITER 2055 NEW BEST:: SOT 127225 SOS 88589 HAS SOPS 66615 HAS SOUS 18497 HAS SOUPS 16129 WITH SCORE 16217.589
AT ITER 2076 NEW BEST:: SOT 127218 SOS 88499 HAS SOPS 66563 HAS SOUS 18476 HAS SOUPS 16108 WITH SCORE 16196.499
AT ITER 2081 NEW BEST:: SOT 127201 SOS 88500 HAS SOPS 66562 HAS SOUS 18474 HAS SOUPS 16107 WITH SCORE 16195.5
AT ITER 2098 NEW BEST:: SOT 126910 SOS 88179 HAS SOPS 66241 HAS SOUS 18453 HAS SOUPS 16086 WITH SCORE 16174.179
AT ITER 2117 NEW BEST:: SOT 126658 SOS 88037 HAS SOPS 66096 HAS SOUS 18446 HAS SOUPS 16079 WITH SCORE 16167.037
AT ITER 2129 NEW BEST:: SOT 126623 SOS 87853 HAS SOPS 65912 HAS SOUS 18440 HAS SOUPS 16073 WITH SCORE 16160.853
AT ITER 2147 NEW BEST:: SOT 126623 SOS 87853 HAS SOPS 65912 HAS SOUS 18433 HAS SOUPS 16066 WITH SCORE 16153.853
AT ITER 2149 NEW BEST:: SOT 126722 SOS 87867 HAS SOPS 65926 HAS SOUS 18383 HAS SOUPS 16016 WITH SCORE 16103.867
AT ITER 2182 NEW BEST:: SOT 126656 SOS 87834 HAS SOPS 65893 HAS SOUS 18350 HAS SOUPS 15983 WITH SCORE 16070.834
AT ITER 2185 NEW BEST:: SOT 126588 SOS 87831 HAS SOPS 65871 HAS SOUS 18340 HAS SOUPS 15973 WITH SCORE 16060.831
AT ITER 2227 NEW BEST:: SOT 126537 SOS 87874 HAS SOPS 65914 HAS SOUS 18336 HAS SOUPS 15969 WITH SCORE 16056.874
AT ITER 2228 NEW BEST:: SOT 127160 SOS 85847 HAS SOPS 65925 HAS SOUS 18234 HAS SOUPS 15936 WITH SCORE 16021.847
AT ITER 2243 NEW BEST:: SOT 127155 SOS 85842 HAS SOPS 65915 HAS SOUS 18224 HAS SOUPS 15926 WITH SCORE 16011.842
AT ITER 2263 NEW BEST:: SOT 127153 SOS 85802 HAS SOPS 65875 HAS SOUS 18220 HAS SOUPS 15922 WITH SCORE 16007.802
AT ITER 2327 NEW BEST:: SOT 127300 SOS 85732 HAS SOPS 65781 HAS SOUS 18177 HAS SOUPS 15879 WITH SCORE 15964.732
AT ITER 2354 NEW BEST:: SOT 127299 SOS 85728 HAS SOPS 65778 HAS SOUS 18174 HAS SOUPS 15876 WITH SCORE 15961.728
AT ITER 2362 NEW BEST:: SOT 127275 SOS 85704 HAS SOPS 65748 HAS SOUS 18161 HAS SOUPS 15863 WITH SCORE 15948.704
AT ITER 2374 NEW BEST:: SOT 127137 SOS 85612 HAS SOPS 65656 HAS SOUS 18115 HAS SOUPS 15817 WITH SCORE 15902.612
AT ITER 2397 NEW BEST:: SOT 127065 SOS 85853 HAS SOPS 65612 HAS SOUS 18104 HAS SOUPS 15795 WITH SCORE 15880.853
AT ITER 2402 NEW BEST:: SOT 127059 SOS 85838 HAS SOPS 65597 HAS SOUS 18092 HAS SOUPS 15783 WITH SCORE 15868.838
AT ITER 2407 NEW BEST:: SOT 128087 SOS 86685 HAS SOPS 65569 HAS SOUS 18131 HAS SOUPS 15772 WITH SCORE 15858.685
AT ITER 2408 NEW BEST:: SOT 128054 SOS 86674 HAS SOPS 65569 HAS SOUS 18142 HAS SOUPS 15772 WITH SCORE 15858.674
AT ITER 2412 NEW BEST:: SOT 128027 SOS 86656 HAS SOPS 65551 HAS SOUS 18133 HAS SOUPS 15763 WITH SCORE 15849.656
AT ITER 2418 NEW BEST:: SOT 128058 SOS 86697 HAS SOPS 65621 HAS SOUS 18114 HAS SOUPS 15744 WITH SCORE 15830.697
AT ITER 2424 NEW BEST:: SOT 128005 SOS 86721 HAS SOPS 65561 HAS SOUS 18101 HAS SOUPS 15713 WITH SCORE 15799.721
AT ITER 2430 NEW BEST:: SOT 127866 SOS 86653 HAS SOPS 65546 HAS SOUS 18108 HAS SOUPS 15707 WITH SCORE 15793.653
AT ITER 2446 NEW BEST:: SOT 127846 SOS 86633 HAS SOPS 65529 HAS SOUS 18088 HAS SOUPS 15690 WITH SCORE 15776.633
AT ITER 2451 NEW BEST:: SOT 127846 SOS 86536 HAS SOPS 65437 HAS SOUS 18088 HAS SOUPS 15690 WITH SCORE 15776.536
AT ITER 2519 NEW BEST:: SOT 127877 SOS 86506 HAS SOPS 65407 HAS SOUS 18077 HAS SOUPS 15679 WITH SCORE 15765.506
AT ITER 2527 NEW BEST:: SOT 125936 SOS 84871 HAS SOPS 65280 HAS SOUS 17897 HAS SOUPS 15576 WITH SCORE 15660.871
AT ITER 2564 NEW BEST:: SOT 125912 SOS 84705 HAS SOPS 65112 HAS SOUS 17904 HAS SOUPS 15562 WITH SCORE 15646.705
AT ITER 2575 NEW BEST:: SOT 125780 SOS 84597 HAS SOPS 65064 HAS SOUS 17900 HAS SOUPS 15554 WITH SCORE 15638.597
AT ITER 2584 NEW BEST:: SOT 125655 SOS 84474 HAS SOPS 64955 HAS SOUS 17866 HAS SOUPS 15520 WITH SCORE 15604.474
AT ITER 2631 NEW BEST:: SOT 125693 SOS 84550 HAS SOPS 64993 HAS SOUS 17854 HAS SOUPS 15508 WITH SCORE 15592.55
AT ITER 2632 NEW BEST:: SOT 125717 SOS 84532 HAS SOPS 64997 HAS SOUS 17849 HAS SOUPS 15503 WITH SCORE 15587.532
AT ITER 2641 NEW BEST:: SOT 125721 SOS 84528 HAS SOPS 64993 HAS SOUS 17844 HAS SOUPS 15498 WITH SCORE 15582.528
AT ITER 2692 NEW BEST:: SOT 125718 SOS 84523 HAS SOPS 64986 HAS SOUS 17838 HAS SOUPS 15492 WITH SCORE 15576.523
AT ITER 2704 NEW BEST:: SOT 125717 SOS 84678 HAS SOPS 64986 HAS SOUS 17839 HAS SOUPS 15487 WITH SCORE 15571.678
AT ITER 2714 NEW BEST:: SOT 125682 SOS 84655 HAS SOPS 64963 HAS SOUS 17804 HAS SOUPS 15452 WITH SCORE 15536.655
AT ITER 2729 NEW BEST:: SOT 125676 SOS 84649 HAS SOPS 64948 HAS SOUS 17795 HAS SOUPS 15443 WITH SCORE 15527.649
AT ITER 2753 NEW BEST:: SOT 125676 SOS 84649 HAS SOPS 64948 HAS SOUS 17783 HAS SOUPS 15431 WITH SCORE 15515.649
AT ITER 2772 NEW BEST:: SOT 125761 SOS 84660 HAS SOPS 65012 HAS SOUS 17778 HAS SOUPS 15426 WITH SCORE 15510.66
AT ITER 2782 NEW BEST:: SOT 124981 SOS 84810 HAS SOPS 64936 HAS SOUS 17754 HAS SOUPS 15384 WITH SCORE 15468.81
AT ITER 2783 NEW BEST:: SOT 124978 SOS 84801 HAS SOPS 64936 HAS SOUS 17754 HAS SOUPS 15384 WITH SCORE 15468.801
AT ITER 2798 NEW BEST:: SOT 124985 SOS 84815 HAS SOPS 64950 HAS SOUS 17752 HAS SOUPS 15382 WITH SCORE 15466.815
AT ITER 2801 NEW BEST:: SOT 125031 SOS 84823 HAS SOPS 64946 HAS SOUS 17713 HAS SOUPS 15378 WITH SCORE 15462.823
AT ITER 2826 NEW BEST:: SOT 125015 SOS 84830 HAS SOPS 64945 HAS SOUS 17712 HAS SOUPS 15377 WITH SCORE 15461.83
AT ITER 2835 NEW BEST:: SOT 124741 SOS 84556 HAS SOPS 64661 HAS SOUS 17647 HAS SOUPS 15312 WITH SCORE 15396.556
AT ITER 2871 NEW BEST:: SOT 124739 SOS 84552 HAS SOPS 64659 HAS SOUS 17647 HAS SOUPS 15312 WITH SCORE 15396.552
AT ITER 2897 NEW BEST:: SOT 124736 SOS 84549 HAS SOPS 64653 HAS SOUS 17616 HAS SOUPS 15306 WITH SCORE 15390.549
AT ITER 2900 NEW BEST:: SOT 124709 SOS 84519 HAS SOPS 64624 HAS SOUS 17609 HAS SOUPS 15299 WITH SCORE 15383.519
AT ITER 2924 NEW BEST:: SOT 124659 SOS 84479 HAS SOPS 64599 HAS SOUS 17609 HAS SOUPS 15299 WITH SCORE 15383.479
AT ITER 2936 NEW BEST:: SOT 124659 SOS 84477 HAS SOPS 64599 HAS SOUS 17607 HAS SOUPS 15299 WITH SCORE 15383.477
AT ITER 2953 NEW BEST:: SOT 124612 SOS 84409 HAS SOPS 64531 HAS SOUS 17536 HAS SOUPS 15228 WITH SCORE 15312.409
AT ITER 2971 NEW BEST:: SOT 124595 SOS 84394 HAS SOPS 64517 HAS SOUS 17526 HAS SOUPS 15218 WITH SCORE 15302.394
AT ITER 3009 NEW BEST:: SOT 124593 SOS 84390 HAS SOPS 64514 HAS SOUS 17526 HAS SOUPS 15218 WITH SCORE 15302.39
AT ITER 3010 NEW BEST:: SOT 124661 SOS 84318 HAS SOPS 64464 HAS SOUS 17506 HAS SOUPS 15198 WITH SCORE 15282.318
AT ITER 3013 NEW BEST:: SOT 124626 SOS 84283 HAS SOPS 64394 HAS SOUS 17438 HAS SOUPS 15128 WITH SCORE 15212.283
AT ITER 3014 NEW BEST:: SOT 124559 SOS 84262 HAS SOPS 64363 HAS SOUS 17437 HAS SOUPS 15121 WITH SCORE 15205.262
AT ITER 3032 NEW BEST:: SOT 124565 SOS 84274 HAS SOPS 64375 HAS SOUS 17425 HAS SOUPS 15109 WITH SCORE 15193.274
AT ITER 3064 NEW BEST:: SOT 124490 SOS 84241 HAS SOPS 64339 HAS SOUS 17420 HAS SOUPS 15101 WITH SCORE 15185.241
AT ITER 3066 NEW BEST:: SOT 124490 SOS 84223 HAS SOPS 64327 HAS SOUS 17414 HAS SOUPS 15095 WITH SCORE 15179.223
AT ITER 3074 NEW BEST:: SOT 124475 SOS 84146 HAS SOPS 64239 HAS SOUS 17417 HAS SOUPS 15091 WITH SCORE 15175.146
AT ITER 3078 NEW BEST:: SOT 124469 SOS 83976 HAS SOPS 64081 HAS SOUS 17314 HAS SOUPS 14988 WITH SCORE 15071.976
AT ITER 3079 NEW BEST:: SOT 124469 SOS 83980 HAS SOPS 64083 HAS SOUS 17310 HAS SOUPS 14984 WITH SCORE 15067.98
AT ITER 3091 NEW BEST:: SOT 124371 SOS 83894 HAS SOPS 63999 HAS SOUS 17256 HAS SOUPS 14926 WITH SCORE 15009.894
AT ITER 3101 NEW BEST:: SOT 124365 SOS 83888 HAS SOPS 63991 HAS SOUS 17248 HAS SOUPS 14918 WITH SCORE 15001.888
AT ITER 3156 NEW BEST:: SOT 124341 SOS 83840 HAS SOPS 63962 HAS SOUS 17258 HAS SOUPS 14914 WITH SCORE 14997.84
AT ITER 3203 NEW BEST:: SOT 124350 SOS 83804 HAS SOPS 63926 HAS SOUS 17240 HAS SOUPS 14896 WITH SCORE 14979.804
AT ITER 3214 NEW BEST:: SOT 124341 SOS 83806 HAS SOPS 63924 HAS SOUS 17239 HAS SOUPS 14894 WITH SCORE 14977.806
AT ITER 3242 NEW BEST:: SOT 124335 SOS 83794 HAS SOPS 63923 HAS SOUS 17230 HAS SOUPS 14885 WITH SCORE 14968.794
AT ITER 3280 NEW BEST:: SOT 124324 SOS 83783 HAS SOPS 63912 HAS SOUS 17219 HAS SOUPS 14874 WITH SCORE 14957.783
AT ITER 3297 NEW BEST:: SOT 124304 SOS 83763 HAS SOPS 63892 HAS SOUS 17199 HAS SOUPS 14854 WITH SCORE 14937.763
AT ITER 3318 NEW BEST:: SOT 124240 SOS 83699 HAS SOPS 63836 HAS SOUS 17135 HAS SOUPS 14798 WITH SCORE 14881.699
AT ITER 3326 NEW BEST:: SOT 124223 SOS 83700 HAS SOPS 63830 HAS SOUS 17129 HAS SOUPS 14792 WITH SCORE 14875.7
AT ITER 3359 NEW BEST:: SOT 124223 SOS 83690 HAS SOPS 63830 HAS SOUS 17129 HAS SOUPS 14792 WITH SCORE 14875.69
AT ITER 3364 NEW BEST:: SOT 124175 SOS 83642 HAS SOPS 63781 HAS SOUS 17129 HAS SOUPS 14792 WITH SCORE 14875.642
AT ITER 3385 NEW BEST:: SOT 124173 SOS 83642 HAS SOPS 63781 HAS SOUS 17127 HAS SOUPS 14790 WITH SCORE 14873.642
AT ITER 3409 NEW BEST:: SOT 124162 SOS 83638 HAS SOPS 63772 HAS SOUS 17100 HAS SOUPS 14763 WITH SCORE 14846.638
AT ITER 3429 NEW BEST:: SOT 124141 SOS 83605 HAS SOPS 63748 HAS SOUS 17094 HAS SOUPS 14757 WITH SCORE 14840.605
AT ITER 3464 NEW BEST:: SOT 123850 SOS 83308 HAS SOPS 63451 HAS SOUS 17088 HAS SOUPS 14751 WITH SCORE 14834.308
AT ITER 3468 NEW BEST:: SOT 123811 SOS 83322 HAS SOPS 63465 HAS SOUS 17086 HAS SOUPS 14749 WITH SCORE 14832.322
AT ITER 3472 NEW BEST:: SOT 123792 SOS 83311 HAS SOPS 63447 HAS SOUS 17038 HAS SOUPS 14701 WITH SCORE 14784.311
AT ITER 3482 NEW BEST:: SOT 123791 SOS 83204 HAS SOPS 63107 HAS SOUS 17034 HAS SOUPS 14691 WITH SCORE 14774.204
AT ITER 3495 NEW BEST:: SOT 123760 SOS 83175 HAS SOPS 63078 HAS SOUS 17007 HAS SOUPS 14675 WITH SCORE 14758.175
AT ITER 3519 NEW BEST:: SOT 123781 SOS 83143 HAS SOPS 63046 HAS SOUS 16988 HAS SOUPS 14656 WITH SCORE 14739.143
AT ITER 3522 NEW BEST:: SOT 123557 SOS 83456 HAS SOPS 63032 HAS SOUS 16982 HAS SOUPS 14642 WITH SCORE 14725.456
AT ITER 3529 NEW BEST:: SOT 123555 SOS 83454 HAS SOPS 63030 HAS SOUS 16980 HAS SOUPS 14640 WITH SCORE 14723.454
AT ITER 3544 NEW BEST:: SOT 123543 SOS 83455 HAS SOPS 63031 HAS SOUS 16976 HAS SOUPS 14636 WITH SCORE 14719.455
AT ITER 3549 NEW BEST:: SOT 123542 SOS 83454 HAS SOPS 63030 HAS SOUS 16970 HAS SOUPS 14630 WITH SCORE 14713.454
AT ITER 3558 NEW BEST:: SOT 123488 SOS 83346 HAS SOPS 62949 HAS SOUS 16889 HAS SOUPS 14549 WITH SCORE 14632.346
AT ITER 3561 NEW BEST:: SOT 123488 SOS 83343 HAS SOPS 62947 HAS SOUS 16879 HAS SOUPS 14540 WITH SCORE 14623.343
AT ITER 3587 NEW BEST:: SOT 123480 SOS 83335 HAS SOPS 62939 HAS SOUS 16831 HAS SOUPS 14492 WITH SCORE 14575.335
AT ITER 3593 NEW BEST:: SOT 123476 SOS 83327 HAS SOPS 62931 HAS SOUS 16831 HAS SOUPS 14492 WITH SCORE 14575.327
AT ITER 3626 NEW BEST:: SOT 123542 SOS 83326 HAS SOPS 62949 HAS SOUS 16823 HAS SOUPS 14484 WITH SCORE 14567.326
AT ITER 3644 NEW BEST:: SOT 123541 SOS 83324 HAS SOPS 62947 HAS SOUS 16823 HAS SOUPS 14484 WITH SCORE 14567.324
AT ITER 3652 NEW BEST:: SOT 123441 SOS 82164 HAS SOPS 59230 HAS SOUS 16886 HAS SOUPS 14460 WITH SCORE 14542.164
AT ITER 3660 NEW BEST:: SOT 123341 SOS 82062 HAS SOPS 59128 HAS SOUS 16880 HAS SOUPS 14454 WITH SCORE 14536.062
AT ITER 3695 NEW BEST:: SOT 123328 SOS 82049 HAS SOPS 59120 HAS SOUS 16873 HAS SOUPS 14451 WITH SCORE 14533.049
AT ITER 3721 NEW BEST:: SOT 123327 SOS 79947 HAS SOPS 50592 HAS SOUS 16758 HAS SOUPS 13998 WITH SCORE 14077.947
AT ITER 3748 NEW BEST:: SOT 123335 SOS 79952 HAS SOPS 50598 HAS SOUS 16757 HAS SOUPS 13997 WITH SCORE 14076.952
AT ITER 3752 NEW BEST:: SOT 122903 SOS 81471 HAS SOPS 50585 HAS SOUS 16837 HAS SOUPS 13984 WITH SCORE 14065.471
AT ITER 3794 NEW BEST:: SOT 122895 SOS 81429 HAS SOPS 50543 HAS SOUS 16807 HAS SOUPS 13980 WITH SCORE 14061.429
AT ITER 3815 NEW BEST:: SOT 122862 SOS 81418 HAS SOPS 50532 HAS SOUS 16791 HAS SOUPS 13964 WITH SCORE 14045.418
AT ITER 3907 NEW BEST:: SOT 122899 SOS 81455 HAS SOPS 50561 HAS SOUS 16790 HAS SOUPS 13963 WITH SCORE 14044.455
AT ITER 3926 NEW BEST:: SOT 122875 SOS 81407 HAS SOPS 50533 HAS SOUS 16764 HAS SOUPS 13937 WITH SCORE 14018.407
AT ITER 3960 NEW BEST:: SOT 122729 SOS 81411 HAS SOPS 50192 HAS SOUS 16741 HAS SOUPS 13895 WITH SCORE 13976.411
AT ITER 3981 NEW BEST:: SOT 122709 SOS 81391 HAS SOPS 50168 HAS SOUS 16721 HAS SOUPS 13871 WITH SCORE 13952.391
AT ITER 3988 NEW BEST:: SOT 122641 SOS 81390 HAS SOPS 43502 HAS SOUS 16728 HAS SOUPS 13401 WITH SCORE 13482.39
AT ITER 4000 NEW BEST:: SOT 122640 SOS 81367 HAS SOPS 43484 HAS SOUS 16717 HAS SOUPS 13390 WITH SCORE 13471.367
AT ITER 4001 NEW BEST:: SOT 122754 SOS 81453 HAS SOPS 43474 HAS SOUS 16707 HAS SOUPS 13380 WITH SCORE 13461.453
AT ITER 4031 NEW BEST:: SOT 122785 SOS 81431 HAS SOPS 43452 HAS SOUS 16680 HAS SOUPS 13353 WITH SCORE 13434.431
AT ITER 4048 NEW BEST:: SOT 122727 SOS 81373 HAS SOPS 43336 HAS SOUS 16623 HAS SOUPS 13296 WITH SCORE 13377.373
AT ITER 4074 NEW BEST:: SOT 122723 SOS 81328 HAS SOPS 43291 HAS SOUS 16603 HAS SOUPS 13276 WITH SCORE 13357.328
AT ITER 4085 NEW BEST:: SOT 122700 SOS 81306 HAS SOPS 43269 HAS SOUS 16594 HAS SOUPS 13263 WITH SCORE 13344.306
AT ITER 4101 NEW BEST:: SOT 122763 SOS 81363 HAS SOPS 43326 HAS SOUS 16588 HAS SOUPS 13257 WITH SCORE 13338.363
AT ITER 4130 NEW BEST:: SOT 122757 SOS 81353 HAS SOPS 43314 HAS SOUS 16584 HAS SOUPS 13251 WITH SCORE 13332.353
AT ITER 4143 NEW BEST:: SOT 122566 SOS 81313 HAS SOPS 43314 HAS SOUS 16584 HAS SOUPS 13251 WITH SCORE 13332.313
AT ITER 4215 NEW BEST:: SOT 122566 SOS 81280 HAS SOPS 43292 HAS SOUS 16562 HAS SOUPS 13229 WITH SCORE 13310.28
AT ITER 4232 NEW BEST:: SOT 122322 SOS 81036 HAS SOPS 43042 HAS SOUS 16546 HAS SOUPS 13213 WITH SCORE 13294.036
AT ITER 4245 NEW BEST:: SOT 122284 SOS 81289 HAS SOPS 43038 HAS SOUS 16545 HAS SOUPS 13209 WITH SCORE 13290.289
AT ITER 4266 NEW BEST:: SOT 122281 SOS 81285 HAS SOPS 43034 HAS SOUS 16540 HAS SOUPS 13204 WITH SCORE 13285.285
AT ITER 4298 NEW BEST:: SOT 122283 SOS 81283 HAS SOPS 43035 HAS SOUS 16539 HAS SOUPS 13203 WITH SCORE 13284.283
AT ITER 4336 NEW BEST:: SOT 122265 SOS 81263 HAS SOPS 43015 HAS SOUS 16524 HAS SOUPS 13188 WITH SCORE 13269.263
AT ITER 4338 NEW BEST:: SOT 122450 SOS 81449 HAS SOPS 43198 HAS SOUS 16501 HAS SOUPS 13165 WITH SCORE 13246.449
AT ITER 4340 NEW BEST:: SOT 122365 SOS 81364 HAS SOPS 43111 HAS SOUS 16415 HAS SOUPS 13077 WITH SCORE 13158.364
AT ITER 4344 NEW BEST:: SOT 122278 SOS 82647 HAS SOPS 43108 HAS SOUS 16430 HAS SOUPS 13074 WITH SCORE 13156.647
AT ITER 4360 NEW BEST:: SOT 122525 SOS 82529 HAS SOPS 43108 HAS SOUS 16419 HAS SOUPS 13074 WITH SCORE 13156.529
AT ITER 4397 NEW BEST:: SOT 122543 SOS 82502 HAS SOPS 43127 HAS SOUS 16410 HAS SOUPS 13065 WITH SCORE 13147.502
AT ITER 4398 NEW BEST:: SOT 122592 SOS 82536 HAS SOPS 43161 HAS SOUS 16397 HAS SOUPS 13050 WITH SCORE 13132.536
AT ITER 4442 NEW BEST:: SOT 122596 SOS 82528 HAS SOPS 43149 HAS SOUS 16390 HAS SOUPS 13043 WITH SCORE 13125.528
AT ITER 4447 NEW BEST:: SOT 122616 SOS 82648 HAS SOPS 38894 HAS SOUS 16499 HAS SOUPS 12728 WITH SCORE 12810.648
AT ITER 4515 NEW BEST:: SOT 122624 SOS 82664 HAS SOPS 38947 HAS SOUS 16487 HAS SOUPS 12727 WITH SCORE 12809.664
AT ITER 4544 NEW BEST:: SOT 122603 SOS 82646 HAS SOPS 38929 HAS SOUS 16488 HAS SOUPS 12720 WITH SCORE 12802.646
AT ITER 4603 NEW BEST:: SOT 122598 SOS 82641 HAS SOPS 38925 HAS SOUS 16486 HAS SOUPS 12718 WITH SCORE 12800.641
AT ITER 4642 NEW BEST:: SOT 123504 SOS 82593 HAS SOPS 38925 HAS SOUS 16438 HAS SOUPS 12718 WITH SCORE 12800.593
AT ITER 4698 NEW BEST:: SOT 123503 SOS 82592 HAS SOPS 38923 HAS SOUS 16436 HAS SOUPS 12715 WITH SCORE 12797.592
AT ITER 4713 NEW BEST:: SOT 123496 SOS 82579 HAS SOPS 38911 HAS SOUS 16432 HAS SOUPS 12711 WITH SCORE 12793.579
AT ITER 4767 NEW BEST:: SOT 123492 SOS 82575 HAS SOPS 38907 HAS SOUS 16428 HAS SOUPS 12707 WITH SCORE 12789.575
AT ITER 4776 NEW BEST:: SOT 123545 SOS 82620 HAS SOPS 38868 HAS SOUS 16464 HAS SOUPS 12701 WITH SCORE 12783.62
AT ITER 4792 NEW BEST:: SOT 123553 SOS 82596 HAS SOPS 38844 HAS SOUS 16464 HAS SOUPS 12701 WITH SCORE 12783.596
AT ITER 4798 NEW BEST:: SOT 123555 SOS 82582 HAS SOPS 38866 HAS SOUS 16460 HAS SOUPS 12699 WITH SCORE 12781.582
AT ITER 4820 NEW BEST:: SOT 123560 SOS 82579 HAS SOPS 38868 HAS SOUS 16458 HAS SOUPS 12697 WITH SCORE 12779.579
AT ITER 4925 NEW BEST:: SOT 123563 SOS 82582 HAS SOPS 38868 HAS SOUS 16452 HAS SOUPS 12694 WITH SCORE 12776.582
AT ITER 4934 NEW BEST:: SOT 123548 SOS 82572 HAS SOPS 38867 HAS SOUS 16458 HAS SOUPS 12694 WITH SCORE 12776.572
AT ITER 4949 NEW BEST:: SOT 123554 SOS 82558 HAS SOPS 38889 HAS SOUS 16448 HAS SOUPS 12684 WITH SCORE 12766.558
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-00 ( (EG( ( ( potential( ( 3 ) <= (tk(P54)) ) | potential( (tk(P181)) <= (tk(P201)) ) ) & ( potential( ( 3 ) <= (tk(P141)) ) | potential( ( 1 ) <= (tk(P123)) ) ) ))) | (AU( ( potential( (tk(P67)) <= (tk(P178)) ) | potential( (tk(P219)) <= (tk(P166)) ) ),( potential( ( 3 ) <= (tk(P116)) ) | potential( ( 1 ) <= (tk(P174)) ) ) )) )
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-01 ( (AF((EG( potential( (tk(P34)) <= (tk(P13)) ))))) | ( ( potential( ( 2 ) <= (tk(P48)) ) & (EF(potential( (tk(P196)) <= (tk(P16)) ))) ) & ( (EF(potential( ( 3 ) <= (tk(P19)) ))) & potential( (tk(P213)) <= (tk(P198)) ) ) ) )
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-02 (AG( ( ( potential( (tk(P121)) <= (tk(P206)) ) | (! potential( (tk(P164)) <= (tk(P153)) )) ) | potential( (tk(P16)) <= (tk(P8)) ) )))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-03 ( ( (! ( ( potential( ( 1 ) <= (tk(P69)) ) & potential( ( 2 ) <= (tk(P199)) ) ) & (! potential( ( 1 ) <= (tk(P29)) )) )) & (EF((! potential( (tk(P80)) <= (tk(P31)) )))) ) | (! (EU( potential( (tk(P189)) <= (tk(P8)) ),potential( (tk(P3)) <= (tk(P29)) ) ))) )
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-04 (EG( ( potential( ( 3 ) <= (tk(P171)) ) | (AF(potential( (tk(P205)) <= (tk(P61)) ))) )))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-05 (AG( (EF(potential( ( 1 ) <= (tk(P171)) )))))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-06 (EU( (! ( potential( ( 2 ) <= (tk(P39)) ) | potential( ( 3 ) <= (tk(P102)) ) )),( potential( ( 3 ) <= (tk(P3)) ) & potential( ( 2 ) <= (tk(P90)) ) ) ))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-07 (EG( (! (EF(potential( ( 2 ) <= (tk(P4)) ))))))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-08 ( ( (AU( potential( ( 3 ) <= (tk(P205)) ),potential( ( 1 ) <= (tk(P126)) ) )) | (EF(potential( (tk(P76)) <= (tk(P190)) ))) ) & ( ( (EF(potential( ( 3 ) <= (tk(P163)) ))) | ( ( potential( (tk(P32)) <= (tk(P64)) ) & potential( (tk(P131)) <= (tk(P125)) ) ) & potential( ( 1 ) <= (tk(P98)) ) ) ) | ( (EX( potential( ( 1 ) <= (tk(P93)) ))) | (EF(potential( ( 3 ) <= (tk(P173)) ))) ) ) )
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-09 (EG( potential( (tk(P103)) <= (tk(P25)) )))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-10 (AG( (! (! potential( (tk(P202)) <= (tk(P23)) )))))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-11 (EG( ( potential( (tk(P4)) <= (tk(P13)) ) | ( ( potential( ( 1 ) <= (tk(P35)) ) | potential( (tk(P221)) <= (tk(P69)) ) ) & (! potential( ( 1 ) <= (tk(P114)) )) ) )))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-12 (AU( potential( (tk(P209)) <= (tk(P61)) ),(EF(potential( ( 2 ) <= (tk(P59)) ))) ))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-13 (! (! (EF(potential( ( 3 ) <= (tk(P34)) )))))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-14 (EX( (! (AG( potential( (tk(P163)) <= (tk(P91)) ))))))
PROPERTY: CloudDeployment-PT-6a-CTLCardinality-15 ( (EF((EX( potential( ( 3 ) <= (tk(P15)) ))))) & ( (AX( (! potential( ( 2 ) <= (tk(P31)) )))) | ( potential( (tk(P26)) <= (tk(P211)) ) & (! potential( (tk(P209)) <= (tk(P61)) )) ) ) )
BK_STOP 1589159489432
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}
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="CloudDeployment-PT-6a"
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 CloudDeployment-PT-6a, 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 r033-smll-158901926000331"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a 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 '
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 ;