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.r078-smll-158922972600404.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 FlexibleBarrier-PT-22a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972600404
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 3.4K Apr 4 20:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 20:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 09:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 4 09:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 3 21:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 3 21:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 384K 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 FlexibleBarrier-PT-22a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-22a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589454980158

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 22a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 267 places, 1258 transitions, 6375 arcs.
AT ITER 0 NEW BEST:: SOT 301178 SOS 264570 HAS SOPS 264570 HAS SOUS 145125 HAS SOUPS 145125 WITH SCORE 145389.57
AT ITER 1 NEW BEST:: SOT 300362 SOS 263838 HAS SOPS 263838 HAS SOUS 140047 HAS SOUPS 140047 WITH SCORE 140310.838
AT ITER 3 NEW BEST:: SOT 300370 SOS 263598 HAS SOPS 263598 HAS SOUS 138784 HAS SOUPS 138784 WITH SCORE 139047.598
AT ITER 4 NEW BEST:: SOT 300137 SOS 263190 HAS SOPS 263190 HAS SOUS 138552 HAS SOUPS 138552 WITH SCORE 138815.19
AT ITER 5 NEW BEST:: SOT 300134 SOS 263183 HAS SOPS 263183 HAS SOUS 138549 HAS SOUPS 138549 WITH SCORE 138812.183
AT ITER 8 NEW BEST:: SOT 300134 SOS 263163 HAS SOPS 263163 HAS SOUS 138529 HAS SOUPS 138529 WITH SCORE 138792.163
AT ITER 12 NEW BEST:: SOT 300124 SOS 263153 HAS SOPS 263153 HAS SOUS 138529 HAS SOUPS 138529 WITH SCORE 138792.153
AT ITER 13 NEW BEST:: SOT 300250 SOS 263053 HAS SOPS 263053 HAS SOUS 138433 HAS SOUPS 138433 WITH SCORE 138696.053
AT ITER 14 NEW BEST:: SOT 300232 SOS 262863 HAS SOPS 262863 HAS SOUS 137772 HAS SOUPS 137772 WITH SCORE 138034.863
AT ITER 17 NEW BEST:: SOT 299371 SOS 261269 HAS SOPS 261256 HAS SOUS 137191 HAS SOUPS 137178 WITH SCORE 137439.269
AT ITER 18 NEW BEST:: SOT 299545 SOS 261213 HAS SOPS 261200 HAS SOUS 136961 HAS SOUPS 136948 WITH SCORE 137209.213
AT ITER 20 NEW BEST:: SOT 299570 SOS 261211 HAS SOPS 261198 HAS SOUS 136931 HAS SOUPS 136918 WITH SCORE 137179.211
AT ITER 22 NEW BEST:: SOT 299672 SOS 261415 HAS SOPS 261402 HAS SOUS 136928 HAS SOUPS 136915 WITH SCORE 137176.415
AT ITER 24 NEW BEST:: SOT 299808 SOS 260777 HAS SOPS 260764 HAS SOUS 130932 HAS SOUPS 130919 WITH SCORE 131179.777
AT ITER 30 NEW BEST:: SOT 299835 SOS 260831 HAS SOPS 260818 HAS SOUS 130931 HAS SOUPS 130918 WITH SCORE 131178.831
AT ITER 31 NEW BEST:: SOT 299897 SOS 260121 HAS SOPS 260108 HAS SOUS 127688 HAS SOUPS 127675 WITH SCORE 127935.121
AT ITER 34 NEW BEST:: SOT 300076 SOS 260209 HAS SOPS 260196 HAS SOUS 127684 HAS SOUPS 127671 WITH SCORE 127931.209
AT ITER 35 NEW BEST:: SOT 300160 SOS 258659 HAS SOPS 258646 HAS SOUS 124198 HAS SOUPS 124185 WITH SCORE 124443.659
AT ITER 36 NEW BEST:: SOT 300159 SOS 258656 HAS SOPS 258643 HAS SOUS 124196 HAS SOUPS 124183 WITH SCORE 124441.656
AT ITER 37 NEW BEST:: SOT 300160 SOS 255560 HAS SOPS 255547 HAS SOUS 117729 HAS SOUPS 117716 WITH SCORE 117971.56
AT ITER 38 NEW BEST:: SOT 300207 SOS 255560 HAS SOPS 255547 HAS SOUS 117682 HAS SOUPS 117669 WITH SCORE 117924.56
AT ITER 39 NEW BEST:: SOT 300243 SOS 255584 HAS SOPS 255571 HAS SOUS 117622 HAS SOUPS 117609 WITH SCORE 117864.584
AT ITER 40 NEW BEST:: SOT 300367 SOS 253218 HAS SOPS 253205 HAS SOUS 112964 HAS SOUPS 112951 WITH SCORE 113204.218
AT ITER 41 NEW BEST:: SOT 300366 SOS 251508 HAS SOPS 251495 HAS SOUS 111780 HAS SOUPS 111767 WITH SCORE 112018.508
AT ITER 42 NEW BEST:: SOT 300452 SOS 249579 HAS SOPS 249566 HAS SOUS 109101 HAS SOUPS 109088 WITH SCORE 109337.579
AT ITER 43 NEW BEST:: SOT 299854 SOS 248919 HAS SOPS 248906 HAS SOUS 108866 HAS SOUPS 108853 WITH SCORE 109101.919
AT ITER 44 NEW BEST:: SOT 300130 SOS 248123 HAS SOPS 248110 HAS SOUS 108252 HAS SOUPS 108239 WITH SCORE 108487.123
AT ITER 45 NEW BEST:: SOT 300319 SOS 248216 HAS SOPS 248203 HAS SOUS 108251 HAS SOUPS 108238 WITH SCORE 108486.216
AT ITER 46 NEW BEST:: SOT 300423 SOS 248181 HAS SOPS 248168 HAS SOUS 108213 HAS SOUPS 108200 WITH SCORE 108448.181
AT ITER 49 NEW BEST:: SOT 300587 SOS 248120 HAS SOPS 248107 HAS SOUS 108109 HAS SOUPS 108096 WITH SCORE 108344.12
AT ITER 52 NEW BEST:: SOT 300565 SOS 248098 HAS SOPS 248085 HAS SOUS 108109 HAS SOUPS 108096 WITH SCORE 108344.098
AT ITER 53 NEW BEST:: SOT 300572 SOS 242412 HAS SOPS 242399 HAS SOUS 102662 HAS SOUPS 102649 WITH SCORE 102891.412
AT ITER 54 NEW BEST:: SOT 300443 SOS 237186 HAS SOPS 237173 HAS SOUS 97735 HAS SOUPS 97722 WITH SCORE 97959.186
AT ITER 55 NEW BEST:: SOT 300436 SOS 237172 HAS SOPS 237159 HAS SOUS 97728 HAS SOUPS 97715 WITH SCORE 97952.172
AT ITER 58 NEW BEST:: SOT 299978 SOS 234633 HAS SOPS 234588 HAS SOUS 92548 HAS SOUPS 92535 WITH SCORE 92769.633
AT ITER 59 NEW BEST:: SOT 299970 SOS 234495 HAS SOPS 234450 HAS SOUS 92439 HAS SOUPS 92426 WITH SCORE 92660.495
AT ITER 61 NEW BEST:: SOT 299837 SOS 234399 HAS SOPS 234354 HAS SOUS 92345 HAS SOUPS 92332 WITH SCORE 92566.399
AT ITER 62 NEW BEST:: SOT 299854 SOS 234127 HAS SOPS 234082 HAS SOUS 92112 HAS SOUPS 92099 WITH SCORE 92333.127
AT ITER 65 NEW BEST:: SOT 299907 SOS 228764 HAS SOPS 228719 HAS SOUS 89332 HAS SOUPS 89319 WITH SCORE 89547.764
AT ITER 71 NEW BEST:: SOT 300015 SOS 228760 HAS SOPS 228715 HAS SOUS 89330 HAS SOUPS 89317 WITH SCORE 89545.76
AT ITER 72 NEW BEST:: SOT 300011 SOS 228744 HAS SOPS 228699 HAS SOUS 89327 HAS SOUPS 89314 WITH SCORE 89542.744
AT ITER 74 NEW BEST:: SOT 300009 SOS 228740 HAS SOPS 228695 HAS SOUS 89325 HAS SOUPS 89312 WITH SCORE 89540.74
AT ITER 79 NEW BEST:: SOT 299974 SOS 228699 HAS SOPS 228654 HAS SOUS 89306 HAS SOUPS 89293 WITH SCORE 89521.699
AT ITER 80 NEW BEST:: SOT 300077 SOS 226897 HAS SOPS 226852 HAS SOUS 85967 HAS SOUPS 85954 WITH SCORE 86180.897
AT ITER 82 NEW BEST:: SOT 300125 SOS 227023 HAS SOPS 226978 HAS SOUS 85933 HAS SOUPS 85920 WITH SCORE 86147.023
AT ITER 86 NEW BEST:: SOT 300238 SOS 226846 HAS SOPS 226801 HAS SOUS 85877 HAS SOUPS 85864 WITH SCORE 86090.846
AT ITER 87 NEW BEST:: SOT 300235 SOS 226800 HAS SOPS 226755 HAS SOUS 85834 HAS SOUPS 85821 WITH SCORE 86047.8
AT ITER 91 NEW BEST:: SOT 299879 SOS 226411 HAS SOPS 226366 HAS SOUS 85663 HAS SOUPS 85650 WITH SCORE 85876.411
AT ITER 94 NEW BEST:: SOT 300084 SOS 220386 HAS SOPS 220341 HAS SOUS 83017 HAS SOUPS 83004 WITH SCORE 83224.386
AT ITER 97 NEW BEST:: SOT 299660 SOS 219867 HAS SOPS 219822 HAS SOUS 82755 HAS SOUPS 82742 WITH SCORE 82961.867
AT ITER 98 NEW BEST:: SOT 299623 SOS 217607 HAS SOPS 217562 HAS SOUS 81006 HAS SOUPS 80993 WITH SCORE 81210.607
AT ITER 103 NEW BEST:: SOT 299632 SOS 215459 HAS SOPS 215414 HAS SOUS 80401 HAS SOUPS 80388 WITH SCORE 80603.459
AT ITER 109 NEW BEST:: SOT 299752 SOS 215654 HAS SOPS 215609 HAS SOUS 80367 HAS SOUPS 80354 WITH SCORE 80569.654
AT ITER 110 NEW BEST:: SOT 299767 SOS 215639 HAS SOPS 215594 HAS SOUS 80352 HAS SOUPS 80339 WITH SCORE 80554.639
AT ITER 112 NEW BEST:: SOT 299761 SOS 215541 HAS SOPS 215496 HAS SOUS 80140 HAS SOUPS 80127 WITH SCORE 80342.541
AT ITER 113 NEW BEST:: SOT 291680 SOS 210837 HAS SOPS 207337 HAS SOUS 76344 HAS SOUPS 76249 WITH SCORE 76459.837
AT ITER 114 NEW BEST:: SOT 291744 SOS 206299 HAS SOPS 202799 HAS SOUS 75140 HAS SOUPS 75045 WITH SCORE 75251.299
AT ITER 115 NEW BEST:: SOT 291743 SOS 206270 HAS SOPS 202770 HAS SOUS 75124 HAS SOUPS 75029 WITH SCORE 75235.27
AT ITER 117 NEW BEST:: SOT 288403 SOS 202804 HAS SOPS 199304 HAS SOUS 73324 HAS SOUPS 73229 WITH SCORE 73431.804
AT ITER 122 NEW BEST:: SOT 284953 SOS 201161 HAS SOPS 197757 HAS SOUS 72890 HAS SOUPS 72795 WITH SCORE 72996.161
AT ITER 125 NEW BEST:: SOT 284948 SOS 201116 HAS SOPS 197712 HAS SOUS 72849 HAS SOUPS 72754 WITH SCORE 72955.116
AT ITER 126 NEW BEST:: SOT 284956 SOS 200788 HAS SOPS 197384 HAS SOUS 72697 HAS SOUPS 72602 WITH SCORE 72802.788
AT ITER 127 NEW BEST:: SOT 284953 SOS 200781 HAS SOPS 197377 HAS SOUS 72694 HAS SOUPS 72599 WITH SCORE 72799.781
AT ITER 133 NEW BEST:: SOT 284948 SOS 200639 HAS SOPS 197235 HAS SOUS 72694 HAS SOUPS 72599 WITH SCORE 72799.639
AT ITER 134 NEW BEST:: SOT 284977 SOS 200505 HAS SOPS 197101 HAS SOUS 72562 HAS SOUPS 72467 WITH SCORE 72667.505
AT ITER 137 NEW BEST:: SOT 281827 SOS 200025 HAS SOPS 196621 HAS SOUS 72123 HAS SOUPS 72028 WITH SCORE 72228.025
AT ITER 138 NEW BEST:: SOT 275022 SOS 196778 HAS SOPS 189787 HAS SOUS 66176 HAS SOUPS 65928 WITH SCORE 66124.778
AT ITER 139 NEW BEST:: SOT 273629 SOS 195385 HAS SOPS 188394 HAS SOUS 65430 HAS SOUPS 65182 WITH SCORE 65377.385
AT ITER 141 NEW BEST:: SOT 273508 SOS 188337 HAS SOPS 181414 HAS SOUS 63141 HAS SOUPS 62893 WITH SCORE 63081.337
AT ITER 144 NEW BEST:: SOT 273510 SOS 188342 HAS SOPS 181418 HAS SOUS 63099 HAS SOUPS 62851 WITH SCORE 63039.342
AT ITER 146 NEW BEST:: SOT 273547 SOS 182694 HAS SOPS 175794 HAS SOUS 61788 HAS SOUPS 61540 WITH SCORE 61722.694
AT ITER 149 NEW BEST:: SOT 273552 SOS 182689 HAS SOPS 175789 HAS SOUS 61773 HAS SOUPS 61525 WITH SCORE 61707.689
AT ITER 152 NEW BEST:: SOT 273622 SOS 182294 HAS SOPS 175436 HAS SOUS 61606 HAS SOUPS 61358 WITH SCORE 61540.294
AT ITER 153 NEW BEST:: SOT 273772 SOS 178995 HAS SOPS 172180 HAS SOUS 61150 HAS SOUPS 60902 WITH SCORE 61080.995
AT ITER 154 NEW BEST:: SOT 273899 SOS 174811 HAS SOPS 168027 HAS SOUS 60654 HAS SOUPS 60406 WITH SCORE 60580.811
AT ITER 157 NEW BEST:: SOT 273895 SOS 174716 HAS SOPS 167945 HAS SOUS 60651 HAS SOUPS 60403 WITH SCORE 60577.716
AT ITER 159 NEW BEST:: SOT 273361 SOS 174100 HAS SOPS 167313 HAS SOUS 60421 HAS SOUPS 60173 WITH SCORE 60347.1
AT ITER 162 NEW BEST:: SOT 273305 SOS 173920 HAS SOPS 167097 HAS SOUS 60277 HAS SOUPS 60029 WITH SCORE 60202.92
AT ITER 169 NEW BEST:: SOT 273304 SOS 173918 HAS SOPS 167095 HAS SOUS 60277 HAS SOUPS 60029 WITH SCORE 60202.918
AT ITER 170 NEW BEST:: SOT 273281 SOS 173849 HAS SOPS 167026 HAS SOUS 60277 HAS SOUPS 60029 WITH SCORE 60202.849
AT ITER 176 NEW BEST:: SOT 273160 SOS 173619 HAS SOPS 166652 HAS SOUS 59932 HAS SOUPS 59684 WITH SCORE 59857.619
AT ITER 178 NEW BEST:: SOT 273281 SOS 168005 HAS SOPS 159786 HAS SOUS 55482 HAS SOUPS 55234 WITH SCORE 55402.005
AT ITER 179 NEW BEST:: SOT 273162 SOS 167966 HAS SOPS 159747 HAS SOUS 55438 HAS SOUPS 55190 WITH SCORE 55357.966
AT ITER 183 NEW BEST:: SOT 273156 SOS 167954 HAS SOPS 159670 HAS SOUS 55354 HAS SOUPS 55106 WITH SCORE 55273.954
AT ITER 192 NEW BEST:: SOT 273291 SOS 167966 HAS SOPS 159682 HAS SOUS 55279 HAS SOUPS 55031 WITH SCORE 55198.966
AT ITER 199 NEW BEST:: SOT 273315 SOS 167975 HAS SOPS 159651 HAS SOUS 55248 HAS SOUPS 55000 WITH SCORE 55167.975
AT ITER 204 NEW BEST:: SOT 273315 SOS 167938 HAS SOPS 159614 HAS SOUS 55248 HAS SOUPS 55000 WITH SCORE 55167.938
AT ITER 208 NEW BEST:: SOT 273297 SOS 167902 HAS SOPS 159569 HAS SOUS 55212 HAS SOUPS 54964 WITH SCORE 55131.902
AT ITER 209 NEW BEST:: SOT 273338 SOS 164665 HAS SOPS 156342 HAS SOUS 54704 HAS SOUPS 54456 WITH SCORE 54620.665
AT ITER 211 NEW BEST:: SOT 273314 SOS 161834 HAS SOPS 153511 HAS SOUS 54348 HAS SOUPS 54100 WITH SCORE 54261.834
AT ITER 213 NEW BEST:: SOT 273276 SOS 161861 HAS SOPS 153454 HAS SOUS 54291 HAS SOUPS 54043 WITH SCORE 54204.861
AT ITER 216 NEW BEST:: SOT 273242 SOS 161791 HAS SOPS 153352 HAS SOUS 54184 HAS SOUPS 53936 WITH SCORE 54097.791
AT ITER 220 NEW BEST:: SOT 273344 SOS 158117 HAS SOPS 149701 HAS SOUS 53925 HAS SOUPS 53677 WITH SCORE 53835.117
AT ITER 224 NEW BEST:: SOT 273344 SOS 158117 HAS SOPS 149653 HAS SOUS 53924 HAS SOUPS 53676 WITH SCORE 53834.117
AT ITER 229 NEW BEST:: SOT 273285 SOS 157733 HAS SOPS 149297 HAS SOUS 53685 HAS SOUPS 53437 WITH SCORE 53594.733
AT ITER 230 NEW BEST:: SOT 273315 SOS 157577 HAS SOPS 149141 HAS SOUS 53565 HAS SOUPS 53317 WITH SCORE 53474.577
AT ITER 232 NEW BEST:: SOT 273231 SOS 157409 HAS SOPS 148973 HAS SOUS 53504 HAS SOUPS 53256 WITH SCORE 53413.409
AT ITER 239 NEW BEST:: SOT 274081 SOS 153846 HAS SOPS 145410 HAS SOUS 53013 HAS SOUPS 52765 WITH SCORE 52918.846
AT ITER 241 NEW BEST:: SOT 274080 SOS 153850 HAS SOPS 145419 HAS SOUS 53011 HAS SOUPS 52763 WITH SCORE 52916.85
AT ITER 242 NEW BEST:: SOT 275975 SOS 154381 HAS SOPS 145237 HAS SOUS 52567 HAS SOUPS 52319 WITH SCORE 52473.381
AT ITER 243 NEW BEST:: SOT 275975 SOS 154184 HAS SOPS 145010 HAS SOUS 52375 HAS SOUPS 52127 WITH SCORE 52281.184
AT ITER 256 NEW BEST:: SOT 275975 SOS 152240 HAS SOPS 143066 HAS SOUS 52375 HAS SOUPS 52127 WITH SCORE 52279.24
AT ITER 262 NEW BEST:: SOT 275936 SOS 151904 HAS SOPS 142765 HAS SOUS 52142 HAS SOUPS 51894 WITH SCORE 52045.904
AT ITER 266 NEW BEST:: SOT 275927 SOS 151895 HAS SOPS 142756 HAS SOUS 52133 HAS SOUPS 51885 WITH SCORE 52036.895
AT ITER 267 NEW BEST:: SOT 275919 SOS 151883 HAS SOPS 142740 HAS SOUS 52124 HAS SOUPS 51876 WITH SCORE 52027.883
AT ITER 271 NEW BEST:: SOT 276149 SOS 150683 HAS SOPS 141584 HAS SOUS 51738 HAS SOUPS 51490 WITH SCORE 51640.683
AT ITER 272 NEW BEST:: SOT 276143 SOS 150674 HAS SOPS 141524 HAS SOUS 51624 HAS SOUPS 51376 WITH SCORE 51526.674
AT ITER 275 NEW BEST:: SOT 276187 SOS 150646 HAS SOPS 141478 HAS SOUS 51578 HAS SOUPS 51330 WITH SCORE 51480.646
AT ITER 276 NEW BEST:: SOT 276187 SOS 150646 HAS SOPS 141427 HAS SOUS 51476 HAS SOUPS 51228 WITH SCORE 51378.646
AT ITER 277 NEW BEST:: SOT 276144 SOS 150537 HAS SOPS 141310 HAS SOUS 51460 HAS SOUPS 51212 WITH SCORE 51362.537
AT ITER 281 NEW BEST:: SOT 276190 SOS 150542 HAS SOPS 141232 HAS SOUS 51356 HAS SOUPS 51108 WITH SCORE 51258.542
AT ITER 283 NEW BEST:: SOT 276189 SOS 150539 HAS SOPS 141229 HAS SOUS 51355 HAS SOUPS 51107 WITH SCORE 51257.539
AT ITER 284 NEW BEST:: SOT 276187 SOS 148120 HAS SOPS 138813 HAS SOUS 51249 HAS SOUPS 51001 WITH SCORE 51149.12
AT ITER 285 NEW BEST:: SOT 272137 SOS 150759 HAS SOPS 141883 HAS SOUS 50727 HAS SOUPS 50479 WITH SCORE 50629.759
AT ITER 288 NEW BEST:: SOT 272128 SOS 150768 HAS SOPS 141865 HAS SOUS 50715 HAS SOUPS 50467 WITH SCORE 50617.768
AT ITER 289 NEW BEST:: SOT 272071 SOS 150689 HAS SOPS 141824 HAS SOUS 50636 HAS SOUPS 50388 WITH SCORE 50538.689
AT ITER 292 NEW BEST:: SOT 268432 SOS 153497 HAS SOPS 144470 HAS SOUS 49769 HAS SOUPS 49512 WITH SCORE 49665.497
AT ITER 301 NEW BEST:: SOT 268411 SOS 153501 HAS SOPS 144453 HAS SOUS 49756 HAS SOUPS 49499 WITH SCORE 49652.501
AT ITER 306 NEW BEST:: SOT 268410 SOS 153521 HAS SOPS 144473 HAS SOUS 49752 HAS SOUPS 49495 WITH SCORE 49648.521
AT ITER 310 NEW BEST:: SOT 266818 SOS 151929 HAS SOPS 142881 HAS SOUS 48956 HAS SOUPS 48699 WITH SCORE 48850.929
AT ITER 313 NEW BEST:: SOT 266814 SOS 151725 HAS SOPS 142681 HAS SOUS 48884 HAS SOUPS 48627 WITH SCORE 48778.725
AT ITER 314 NEW BEST:: SOT 266056 SOS 153291 HAS SOPS 144083 HAS SOUS 48452 HAS SOUPS 48195 WITH SCORE 48348.291
AT ITER 315 NEW BEST:: SOT 265921 SOS 152981 HAS SOPS 143668 HAS SOUS 48207 HAS SOUPS 47950 WITH SCORE 48102.981
AT ITER 317 NEW BEST:: SOT 265921 SOS 152914 HAS SOPS 143601 HAS SOUS 48197 HAS SOUPS 47940 WITH SCORE 48092.914
AT ITER 320 NEW BEST:: SOT 266013 SOS 146954 HAS SOPS 137687 HAS SOUS 47315 HAS SOUPS 47058 WITH SCORE 47204.954
AT ITER 322 NEW BEST:: SOT 266011 SOS 146826 HAS SOPS 137559 HAS SOUS 47187 HAS SOUPS 46930 WITH SCORE 47076.826
AT ITER 334 NEW BEST:: SOT 263124 SOS 143924 HAS SOPS 134564 HAS SOUS 45692 HAS SOUPS 45435 WITH SCORE 45578.924
AT ITER 342 NEW BEST:: SOT 263003 SOS 143772 HAS SOPS 134412 HAS SOUS 45579 HAS SOUPS 45322 WITH SCORE 45465.772
AT ITER 344 NEW BEST:: SOT 262916 SOS 143685 HAS SOPS 134238 HAS SOUS 45477 HAS SOUPS 45220 WITH SCORE 45363.685
AT ITER 347 NEW BEST:: SOT 262800 SOS 139843 HAS SOPS 129401 HAS SOUS 43408 HAS SOUPS 43151 WITH SCORE 43290.843
AT ITER 352 NEW BEST:: SOT 262781 SOS 138877 HAS SOPS 128435 HAS SOUS 43017 HAS SOUPS 42760 WITH SCORE 42898.877
AT ITER 355 NEW BEST:: SOT 262773 SOS 138713 HAS SOPS 128335 HAS SOUS 43002 HAS SOUPS 42745 WITH SCORE 42883.713
AT ITER 362 NEW BEST:: SOT 264156 SOS 140094 HAS SOPS 128800 HAS SOUS 42048 HAS SOUPS 41791 WITH SCORE 41931.094
AT ITER 367 NEW BEST:: SOT 264124 SOS 140163 HAS SOPS 128814 HAS SOUS 42039 HAS SOUPS 41782 WITH SCORE 41922.163
AT ITER 368 NEW BEST:: SOT 264124 SOS 140049 HAS SOPS 128700 HAS SOUS 42039 HAS SOUPS 41782 WITH SCORE 41922.049
AT ITER 372 NEW BEST:: SOT 264150 SOS 140074 HAS SOPS 128678 HAS SOUS 42017 HAS SOUPS 41760 WITH SCORE 41900.074
AT ITER 373 NEW BEST:: SOT 264114 SOS 140020 HAS SOPS 128606 HAS SOUS 41945 HAS SOUPS 41688 WITH SCORE 41828.02
AT ITER 377 NEW BEST:: SOT 264144 SOS 139999 HAS SOPS 128578 HAS SOUS 41880 HAS SOUPS 41623 WITH SCORE 41762.999
AT ITER 384 NEW BEST:: SOT 264135 SOS 139973 HAS SOPS 128560 HAS SOUS 41862 HAS SOUPS 41605 WITH SCORE 41744.973
AT ITER 385 NEW BEST:: SOT 264443 SOS 140276 HAS SOPS 128801 HAS SOUS 41835 HAS SOUPS 41578 WITH SCORE 41718.276
AT ITER 386 NEW BEST:: SOT 264494 SOS 140321 HAS SOPS 128774 HAS SOUS 41633 HAS SOUPS 41376 WITH SCORE 41516.321
AT ITER 392 NEW BEST:: SOT 264465 SOS 140229 HAS SOPS 128682 HAS SOUS 41615 HAS SOUPS 41358 WITH SCORE 41498.229
AT ITER 398 NEW BEST:: SOT 264257 SOS 140021 HAS SOPS 128474 HAS SOUS 41509 HAS SOUPS 41252 WITH SCORE 41392.021
AT ITER 401 NEW BEST:: SOT 264248 SOS 139915 HAS SOPS 128359 HAS SOUS 41454 HAS SOUPS 41197 WITH SCORE 41336.915
AT ITER 414 NEW BEST:: SOT 259925 SOS 139711 HAS SOPS 128438 HAS SOUS 40715 HAS SOUPS 40458 WITH SCORE 40597.711
AT ITER 422 NEW BEST:: SOT 259926 SOS 136441 HAS SOPS 125168 HAS SOUS 40598 HAS SOUPS 40341 WITH SCORE 40477.441
AT ITER 426 NEW BEST:: SOT 259852 SOS 136281 HAS SOPS 124981 HAS SOUS 40411 HAS SOUPS 40154 WITH SCORE 40290.281
AT ITER 432 NEW BEST:: SOT 259828 SOS 136215 HAS SOPS 124915 HAS SOUS 40376 HAS SOUPS 40119 WITH SCORE 40255.215
AT ITER 433 NEW BEST:: SOT 259830 SOS 136206 HAS SOPS 124906 HAS SOUS 40376 HAS SOUPS 40119 WITH SCORE 40255.206
AT ITER 446 NEW BEST:: SOT 259766 SOS 136078 HAS SOPS 124778 HAS SOUS 40274 HAS SOUPS 40017 WITH SCORE 40153.078
AT ITER 455 NEW BEST:: SOT 259758 SOS 136070 HAS SOPS 124762 HAS SOUS 40258 HAS SOUPS 40001 WITH SCORE 40137.07
AT ITER 463 NEW BEST:: SOT 259788 SOS 135946 HAS SOPS 124668 HAS SOUS 40210 HAS SOUPS 39953 WITH SCORE 40088.946
AT ITER 465 NEW BEST:: SOT 259788 SOS 135912 HAS SOPS 124634 HAS SOUS 40193 HAS SOUPS 39936 WITH SCORE 40071.912
AT ITER 469 NEW BEST:: SOT 259758 SOS 135821 HAS SOPS 124543 HAS SOUS 40124 HAS SOUPS 39867 WITH SCORE 40002.821
AT ITER 473 NEW BEST:: SOT 259759 SOS 135822 HAS SOPS 124538 HAS SOUS 40119 HAS SOUPS 39862 WITH SCORE 39997.822
AT ITER 476 NEW BEST:: SOT 259729 SOS 135583 HAS SOPS 124335 HAS SOUS 40052 HAS SOUPS 39795 WITH SCORE 39930.583
AT ITER 489 NEW BEST:: SOT 259727 SOS 135354 HAS SOPS 124197 HAS SOUS 40029 HAS SOUPS 39772 WITH SCORE 39907.354
AT ITER 492 NEW BEST:: SOT 259730 SOS 135357 HAS SOPS 124200 HAS SOUS 40026 HAS SOUPS 39769 WITH SCORE 39904.357
AT ITER 505 NEW BEST:: SOT 259784 SOS 135095 HAS SOPS 123926 HAS SOUS 39909 HAS SOUPS 39652 WITH SCORE 39787.095
AT ITER 506 NEW BEST:: SOT 259783 SOS 135083 HAS SOPS 123913 HAS SOUS 39896 HAS SOUPS 39639 WITH SCORE 39774.083
AT ITER 507 NEW BEST:: SOT 259749 SOS 134987 HAS SOPS 123817 HAS SOUS 39862 HAS SOUPS 39605 WITH SCORE 39739.987
AT ITER 514 NEW BEST:: SOT 259739 SOS 134953 HAS SOPS 123783 HAS SOUS 39831 HAS SOUPS 39574 WITH SCORE 39708.953
AT ITER 521 NEW BEST:: SOT 259759 SOS 134955 HAS SOPS 123413 HAS SOUS 39275 HAS SOUPS 39018 WITH SCORE 39152.955
AT ITER 526 NEW BEST:: SOT 259690 SOS 134823 HAS SOPS 123275 HAS SOUS 39200 HAS SOUPS 38943 WITH SCORE 39077.823
AT ITER 527 NEW BEST:: SOT 259689 SOS 134860 HAS SOPS 123312 HAS SOUS 39189 HAS SOUPS 38932 WITH SCORE 39066.86
AT ITER 532 NEW BEST:: SOT 259689 SOS 134845 HAS SOPS 123297 HAS SOUS 39159 HAS SOUPS 38902 WITH SCORE 39036.845
AT ITER 533 NEW BEST:: SOT 259699 SOS 134311 HAS SOPS 122763 HAS SOUS 38979 HAS SOUPS 38722 WITH SCORE 38856.311
AT ITER 536 NEW BEST:: SOT 259797 SOS 134400 HAS SOPS 122745 HAS SOUS 38958 HAS SOUPS 38701 WITH SCORE 38835.4
AT ITER 540 NEW BEST:: SOT 259794 SOS 134352 HAS SOPS 122697 HAS SOUS 38953 HAS SOUPS 38696 WITH SCORE 38830.352
AT ITER 542 NEW BEST:: SOT 259771 SOS 134377 HAS SOPS 122722 HAS SOUS 38951 HAS SOUPS 38694 WITH SCORE 38828.377
AT ITER 555 NEW BEST:: SOT 259424 SOS 133986 HAS SOPS 122331 HAS SOUS 38765 HAS SOUPS 38508 WITH SCORE 38641.986
AT ITER 560 NEW BEST:: SOT 259386 SOS 133924 HAS SOPS 122234 HAS SOUS 38668 HAS SOUPS 38411 WITH SCORE 38544.924
AT ITER 563 NEW BEST:: SOT 259420 SOS 134007 HAS SOPS 122173 HAS SOUS 38587 HAS SOUPS 38330 WITH SCORE 38464.007
AT ITER 565 NEW BEST:: SOT 259379 SOS 133859 HAS SOPS 122120 HAS SOUS 38529 HAS SOUPS 38272 WITH SCORE 38405.859
AT ITER 568 NEW BEST:: SOT 259342 SOS 133822 HAS SOPS 122046 HAS SOUS 38455 HAS SOUPS 38198 WITH SCORE 38331.822
AT ITER 570 NEW BEST:: SOT 259314 SOS 133741 HAS SOPS 121990 HAS SOUS 38399 HAS SOUPS 38142 WITH SCORE 38275.741
AT ITER 574 NEW BEST:: SOT 259254 SOS 133561 HAS SOPS 121810 HAS SOUS 38362 HAS SOUPS 38105 WITH SCORE 38238.561
AT ITER 592 NEW BEST:: SOT 259279 SOS 133571 HAS SOPS 121820 HAS SOUS 38359 HAS SOUPS 38102 WITH SCORE 38235.571
AT ITER 596 NEW BEST:: SOT 259333 SOS 133374 HAS SOPS 121714 HAS SOUS 38310 HAS SOUPS 38053 WITH SCORE 38186.374
AT ITER 603 NEW BEST:: SOT 259263 SOS 133228 HAS SOPS 121574 HAS SOUS 38170 HAS SOUPS 37913 WITH SCORE 38046.228
AT ITER 614 NEW BEST:: SOT 259111 SOS 132911 HAS SOPS 121181 HAS SOUS 37853 HAS SOUPS 37596 WITH SCORE 37728.911
AT ITER 615 NEW BEST:: SOT 259267 SOS 131009 HAS SOPS 119315 HAS SOUS 37561 HAS SOUPS 37304 WITH SCORE 37435.009
AT ITER 617 NEW BEST:: SOT 261005 SOS 130532 HAS SOPS 118657 HAS SOUS 37416 HAS SOUPS 37159 WITH SCORE 37289.532
AT ITER 619 NEW BEST:: SOT 260971 SOS 130498 HAS SOPS 118622 HAS SOUS 37381 HAS SOUPS 37124 WITH SCORE 37254.498
AT ITER 625 NEW BEST:: SOT 260969 SOS 130494 HAS SOPS 118618 HAS SOUS 37381 HAS SOUPS 37124 WITH SCORE 37254.494
AT ITER 629 NEW BEST:: SOT 260907 SOS 130372 HAS SOPS 118494 HAS SOUS 37317 HAS SOUPS 37060 WITH SCORE 37190.372
AT ITER 632 NEW BEST:: SOT 260888 SOS 130353 HAS SOPS 118456 HAS SOUS 37279 HAS SOUPS 37022 WITH SCORE 37152.353
AT ITER 636 NEW BEST:: SOT 260892 SOS 130342 HAS SOPS 118445 HAS SOUS 37279 HAS SOUPS 37022 WITH SCORE 37152.342
AT ITER 645 NEW BEST:: SOT 260922 SOS 130357 HAS SOPS 118460 HAS SOUS 37267 HAS SOUPS 37010 WITH SCORE 37140.357
AT ITER 651 NEW BEST:: SOT 260848 SOS 130239 HAS SOPS 118312 HAS SOUS 37135 HAS SOUPS 36878 WITH SCORE 37008.239
AT ITER 657 NEW BEST:: SOT 260835 SOS 130205 HAS SOPS 118220 HAS SOUS 37044 HAS SOUPS 36787 WITH SCORE 36917.205
AT ITER 664 NEW BEST:: SOT 260835 SOS 130191 HAS SOPS 118206 HAS SOUS 37042 HAS SOUPS 36785 WITH SCORE 36915.191
AT ITER 669 NEW BEST:: SOT 260435 SOS 129801 HAS SOPS 117826 HAS SOUS 36872 HAS SOUPS 36615 WITH SCORE 36744.801
AT ITER 673 NEW BEST:: SOT 260402 SOS 129801 HAS SOPS 117793 HAS SOUS 36839 HAS SOUPS 36582 WITH SCORE 36711.801
AT ITER 682 NEW BEST:: SOT 260401 SOS 129840 HAS SOPS 117811 HAS SOUS 36837 HAS SOUPS 36580 WITH SCORE 36709.84
AT ITER 687 NEW BEST:: SOT 260384 SOS 129829 HAS SOPS 117777 HAS SOUS 36837 HAS SOUPS 36580 WITH SCORE 36709.829
AT ITER 694 NEW BEST:: SOT 260385 SOS 129829 HAS SOPS 117746 HAS SOUS 36811 HAS SOUPS 36554 WITH SCORE 36683.829
AT ITER 696 NEW BEST:: SOT 260386 SOS 129766 HAS SOPS 117684 HAS SOUS 36749 HAS SOUPS 36492 WITH SCORE 36621.766
AT ITER 711 NEW BEST:: SOT 260350 SOS 129720 HAS SOPS 117220 HAS SOUS 36235 HAS SOUPS 35978 WITH SCORE 36107.72
AT ITER 717 NEW BEST:: SOT 260332 SOS 129702 HAS SOPS 117193 HAS SOUS 36217 HAS SOUPS 35960 WITH SCORE 36089.702
AT ITER 726 NEW BEST:: SOT 256879 SOS 225407 HAS SOPS 113755 HAS SOUS 35560 HAS SOUPS 35145 WITH SCORE 35370.407
AT ITER 732 NEW BEST:: SOT 256763 SOS 225365 HAS SOPS 113618 HAS SOUS 35446 HAS SOUPS 35031 WITH SCORE 35256.365
AT ITER 737 NEW BEST:: SOT 256722 SOS 225311 HAS SOPS 113536 HAS SOUS 35374 HAS SOUPS 34953 WITH SCORE 35178.311
AT ITER 749 NEW BEST:: SOT 256523 SOS 225352 HAS SOPS 113568 HAS SOUS 35350 HAS SOUPS 34929 WITH SCORE 35154.352
AT ITER 758 NEW BEST:: SOT 256521 SOS 225348 HAS SOPS 113564 HAS SOUS 35346 HAS SOUPS 34925 WITH SCORE 35150.348
AT ITER 768 NEW BEST:: SOT 256505 SOS 225316 HAS SOPS 113516 HAS SOUS 35298 HAS SOUPS 34877 WITH SCORE 35102.316
AT ITER 772 NEW BEST:: SOT 256549 SOS 225263 HAS SOPS 113454 HAS SOUS 35240 HAS SOUPS 34819 WITH SCORE 35044.263
AT ITER 790 NEW BEST:: SOT 256545 SOS 225259 HAS SOPS 113450 HAS SOUS 35236 HAS SOUPS 34815 WITH SCORE 35040.259
AT ITER 792 NEW BEST:: SOT 256015 SOS 224729 HAS SOPS 112920 HAS SOUS 34976 HAS SOUPS 34555 WITH SCORE 34779.729
AT ITER 797 NEW BEST:: SOT 255974 SOS 224647 HAS SOPS 112838 HAS SOUS 34947 HAS SOUPS 34526 WITH SCORE 34750.647
AT ITER 798 NEW BEST:: SOT 255972 SOS 224621 HAS SOPS 112020 HAS SOUS 34371 HAS SOUPS 33950 WITH SCORE 34174.621
AT ITER 800 NEW BEST:: SOT 255933 SOS 224636 HAS SOPS 112035 HAS SOUS 34280 HAS SOUPS 33859 WITH SCORE 34083.636
AT ITER 806 NEW BEST:: SOT 255937 SOS 224613 HAS SOPS 111977 HAS SOUS 34222 HAS SOUPS 33801 WITH SCORE 34025.613
AT ITER 807 NEW BEST:: SOT 255920 SOS 224456 HAS SOPS 111824 HAS SOUS 34057 HAS SOUPS 33636 WITH SCORE 33860.456
AT ITER 810 NEW BEST:: SOT 255953 SOS 224407 HAS SOPS 111768 HAS SOUS 34025 HAS SOUPS 33604 WITH SCORE 33828.407
AT ITER 814 NEW BEST:: SOT 255953 SOS 224314 HAS SOPS 111706 HAS SOUS 33994 HAS SOUPS 33573 WITH SCORE 33797.314
AT ITER 816 NEW BEST:: SOT 255486 SOS 223836 HAS SOPS 111272 HAS SOUS 33779 HAS SOUPS 33358 WITH SCORE 33581.836
AT ITER 823 NEW BEST:: SOT 255282 SOS 223632 HAS SOPS 110828 HAS SOUS 33545 HAS SOUPS 33124 WITH SCORE 33347.632
AT ITER 824 NEW BEST:: SOT 255247 SOS 223461 HAS SOPS 110602 HAS SOUS 33501 HAS SOUPS 33080 WITH SCORE 33303.461
AT ITER 827 NEW BEST:: SOT 255216 SOS 223430 HAS SOPS 109709 HAS SOUS 32174 HAS SOUPS 31753 WITH SCORE 31976.43
AT ITER 828 NEW BEST:: SOT 254740 SOS 222966 HAS SOPS 109257 HAS SOUS 31936 HAS SOUPS 31515 WITH SCORE 31737.966
AT ITER 834 NEW BEST:: SOT 254309 SOS 222560 HAS SOPS 111035 HAS SOUS 31935 HAS SOUPS 31514 WITH SCORE 31736.56
AT ITER 843 NEW BEST:: SOT 254325 SOS 222584 HAS SOPS 111013 HAS SOUS 31905 HAS SOUPS 31484 WITH SCORE 31706.584
AT ITER 857 NEW BEST:: SOT 254338 SOS 222576 HAS SOPS 109449 HAS SOUS 31707 HAS SOUPS 31286 WITH SCORE 31508.576
AT ITER 873 NEW BEST:: SOT 254243 SOS 222386 HAS SOPS 109123 HAS SOUS 31422 HAS SOUPS 31001 WITH SCORE 31223.386
AT ITER 880 NEW BEST:: SOT 254234 SOS 222493 HAS SOPS 109105 HAS SOUS 31404 HAS SOUPS 30983 WITH SCORE 31205.493
AT ITER 881 NEW BEST:: SOT 254205 SOS 222459 HAS SOPS 109047 HAS SOUS 31346 HAS SOUPS 30925 WITH SCORE 31147.459
AT ITER 891 NEW BEST:: SOT 254203 SOS 222457 HAS SOPS 109045 HAS SOUS 31344 HAS SOUPS 30923 WITH SCORE 31145.457
AT ITER 897 NEW BEST:: SOT 254026 SOS 222280 HAS SOPS 108868 HAS SOUS 31272 HAS SOUPS 30851 WITH SCORE 31073.28
AT ITER 900 NEW BEST:: SOT 254026 SOS 222300 HAS SOPS 107228 HAS SOUS 31232 HAS SOUPS 30811 WITH SCORE 31033.3
AT ITER 903 NEW BEST:: SOT 254004 SOS 222267 HAS SOPS 107184 HAS SOUS 31188 HAS SOUPS 30767 WITH SCORE 30989.267
AT ITER 908 NEW BEST:: SOT 254072 SOS 222301 HAS SOPS 105634 HAS SOUS 31167 HAS SOUPS 30746 WITH SCORE 30968.301
AT ITER 916 NEW BEST:: SOT 254030 SOS 222146 HAS SOPS 105481 HAS SOUS 31058 HAS SOUPS 30637 WITH SCORE 30859.146
AT ITER 923 NEW BEST:: SOT 253453 SOS 221539 HAS SOPS 107725 HAS SOUS 30922 HAS SOUPS 30501 WITH SCORE 30722.539
AT ITER 924 NEW BEST:: SOT 253374 SOS 221468 HAS SOPS 107567 HAS SOUS 30754 HAS SOUPS 30333 WITH SCORE 30554.468
AT ITER 927 NEW BEST:: SOT 253367 SOS 221468 HAS SOPS 107560 HAS SOUS 30747 HAS SOUPS 30326 WITH SCORE 30547.468
AT ITER 937 NEW BEST:: SOT 253202 SOS 221304 HAS SOPS 107297 HAS SOUS 30507 HAS SOUPS 30086 WITH SCORE 30307.304
AT ITER 955 NEW BEST:: SOT 253151 SOS 221264 HAS SOPS 107234 HAS SOUS 30449 HAS SOUPS 30028 WITH SCORE 30249.264
AT ITER 960 NEW BEST:: SOT 253092 SOS 221232 HAS SOPS 107217 HAS SOUS 30364 HAS SOUPS 29943 WITH SCORE 30164.232
AT ITER 967 NEW BEST:: SOT 253075 SOS 221215 HAS SOPS 107198 HAS SOUS 30344 HAS SOUPS 29923 WITH SCORE 30144.215
AT ITER 971 NEW BEST:: SOT 253079 SOS 221197 HAS SOPS 107182 HAS SOUS 30326 HAS SOUPS 29905 WITH SCORE 30126.197
AT ITER 975 NEW BEST:: SOT 253300 SOS 221167 HAS SOPS 107124 HAS SOUS 30268 HAS SOUPS 29847 WITH SCORE 30068.167
AT ITER 979 NEW BEST:: SOT 253025 SOS 220892 HAS SOPS 106849 HAS SOUS 30123 HAS SOUPS 29702 WITH SCORE 29922.892
AT ITER 980 NEW BEST:: SOT 253024 SOS 220856 HAS SOPS 106813 HAS SOUS 30088 HAS SOUPS 29667 WITH SCORE 29887.856
AT ITER 988 NEW BEST:: SOT 253024 SOS 220852 HAS SOPS 106813 HAS SOUS 30088 HAS SOUPS 29667 WITH SCORE 29887.852
AT ITER 998 NEW BEST:: SOT 253008 SOS 220828 HAS SOPS 106781 HAS SOUS 30072 HAS SOUPS 29651 WITH SCORE 29871.828
AT ITER 1002 NEW BEST:: SOT 252958 SOS 220728 HAS SOPS 106681 HAS SOUS 30022 HAS SOUPS 29601 WITH SCORE 29821.728
AT ITER 1007 NEW BEST:: SOT 252848 SOS 220482 HAS SOPS 106336 HAS SOUS 29732 HAS SOUPS 29311 WITH SCORE 29531.482
AT ITER 1026 NEW BEST:: SOT 252905 SOS 220549 HAS SOPS 106337 HAS SOUS 29653 HAS SOUPS 29232 WITH SCORE 29452.549
AT ITER 1028 NEW BEST:: SOT 252827 SOS 220430 HAS SOPS 106259 HAS SOUS 29653 HAS SOUPS 29232 WITH SCORE 29452.43
AT ITER 1031 NEW BEST:: SOT 252827 SOS 220430 HAS SOPS 106248 HAS SOUS 29642 HAS SOUPS 29221 WITH SCORE 29441.43
AT ITER 1036 NEW BEST:: SOT 252785 SOS 220405 HAS SOPS 106198 HAS SOUS 29592 HAS SOUPS 29171 WITH SCORE 29391.405
AT ITER 1038 NEW BEST:: SOT 252787 SOS 220343 HAS SOPS 106094 HAS SOUS 29570 HAS SOUPS 29149 WITH SCORE 29369.343
AT ITER 1041 NEW BEST:: SOT 252804 SOS 220347 HAS SOPS 106087 HAS SOUS 29563 HAS SOUPS 29142 WITH SCORE 29362.347
AT ITER 1050 NEW BEST:: SOT 251610 SOS 219153 HAS SOPS 104867 HAS SOUS 28915 HAS SOUPS 28494 WITH SCORE 28713.153
AT ITER 1051 NEW BEST:: SOT 251681 SOS 219252 HAS SOPS 103243 HAS SOUS 28772 HAS SOUPS 28351 WITH SCORE 28570.252
AT ITER 1061 NEW BEST:: SOT 251668 SOS 219239 HAS SOPS 103217 HAS SOUS 28746 HAS SOUPS 28325 WITH SCORE 28544.239
AT ITER 1066 NEW BEST:: SOT 251581 SOS 219135 HAS SOPS 103113 HAS SOUS 28705 HAS SOUPS 28284 WITH SCORE 28503.135
AT ITER 1075 NEW BEST:: SOT 251557 SOS 219099 HAS SOPS 103077 HAS SOUS 28657 HAS SOUPS 28236 WITH SCORE 28455.099
AT ITER 1089 NEW BEST:: SOT 251545 SOS 219079 HAS SOPS 103053 HAS SOUS 28633 HAS SOUPS 28212 WITH SCORE 28431.079
AT ITER 1092 NEW BEST:: SOT 251545 SOS 219079 HAS SOPS 102888 HAS SOUS 28591 HAS SOUPS 28170 WITH SCORE 28389.079
AT ITER 1114 NEW BEST:: SOT 251443 SOS 219001 HAS SOPS 102768 HAS SOUS 28471 HAS SOUPS 28050 WITH SCORE 28269.001
AT ITER 1125 NEW BEST:: SOT 251368 SOS 218869 HAS SOPS 101830 HAS SOUS 27077 HAS SOUPS 26656 WITH SCORE 26874.869
AT ITER 1132 NEW BEST:: SOT 251351 SOS 218828 HAS SOPS 101285 HAS SOUS 26945 HAS SOUPS 26524 WITH SCORE 26742.828
AT ITER 1136 NEW BEST:: SOT 251362 SOS 218766 HAS SOPS 101223 HAS SOUS 26924 HAS SOUPS 26503 WITH SCORE 26721.766
AT ITER 1150 NEW BEST:: SOT 251423 SOS 218764 HAS SOPS 101221 HAS SOUS 26882 HAS SOUPS 26461 WITH SCORE 26679.764
AT ITER 1155 NEW BEST:: SOT 250706 SOS 224229 HAS SOPS 100408 HAS SOUS 26249 HAS SOUPS 25747 WITH SCORE 25971.229
AT ITER 1156 NEW BEST:: SOT 249026 SOS 222733 HAS SOPS 103317 HAS SOUS 26039 HAS SOUPS 25537 WITH SCORE 25759.733
AT ITER 1160 NEW BEST:: SOT 248924 SOS 222631 HAS SOPS 103213 HAS SOUS 25985 HAS SOUPS 25483 WITH SCORE 25705.631
AT ITER 1173 NEW BEST:: SOT 248888 SOS 222615 HAS SOPS 103188 HAS SOUS 25970 HAS SOUPS 25468 WITH SCORE 25690.615
AT ITER 1175 NEW BEST:: SOT 248778 SOS 222499 HAS SOPS 102968 HAS SOUS 25773 HAS SOUPS 25258 WITH SCORE 25480.499
AT ITER 1177 NEW BEST:: SOT 248816 SOS 222490 HAS SOPS 102918 HAS SOUS 25718 HAS SOUPS 25203 WITH SCORE 25425.49
AT ITER 1179 NEW BEST:: SOT 248810 SOS 222478 HAS SOPS 102906 HAS SOUS 25718 HAS SOUPS 25203 WITH SCORE 25425.478
AT ITER 1210 NEW BEST:: SOT 248598 SOS 222253 HAS SOPS 102118 HAS SOUS 25448 HAS SOUPS 24933 WITH SCORE 25155.253
AT ITER 1212 NEW BEST:: SOT 248577 SOS 222232 HAS SOPS 102091 HAS SOUS 25421 HAS SOUPS 24906 WITH SCORE 25128.232
AT ITER 1214 NEW BEST:: SOT 248935 SOS 222604 HAS SOPS 101421 HAS SOUS 25411 HAS SOUPS 24896 WITH SCORE 25118.604
AT ITER 1216 NEW BEST:: SOT 248947 SOS 222522 HAS SOPS 101361 HAS SOUS 25361 HAS SOUPS 24846 WITH SCORE 25068.522
AT ITER 1233 NEW BEST:: SOT 248947 SOS 222484 HAS SOPS 101323 HAS SOUS 25319 HAS SOUPS 24804 WITH SCORE 25026.484
AT ITER 1236 NEW BEST:: SOT 248944 SOS 222455 HAS SOPS 101304 HAS SOUS 25313 HAS SOUPS 24798 WITH SCORE 25020.455
AT ITER 1243 NEW BEST:: SOT 248909 SOS 222243 HAS SOPS 101054 HAS SOUS 25062 HAS SOUPS 24547 WITH SCORE 24769.243
AT ITER 1249 NEW BEST:: SOT 248887 SOS 222195 HAS SOPS 100996 HAS SOUS 25006 HAS SOUPS 24491 WITH SCORE 24713.195
AT ITER 1263 NEW BEST:: SOT 248890 SOS 222156 HAS SOPS 100972 HAS SOUS 24994 HAS SOUPS 24479 WITH SCORE 24701.156
AT ITER 1267 NEW BEST:: SOT 248873 SOS 222088 HAS SOPS 100889 HAS SOUS 24956 HAS SOUPS 24441 WITH SCORE 24663.088
AT ITER 1268 NEW BEST:: SOT 248862 SOS 222031 HAS SOPS 100832 HAS SOUS 24910 HAS SOUPS 24395 WITH SCORE 24617.031
AT ITER 1293 NEW BEST:: SOT 248851 SOS 222011 HAS SOPS 100810 HAS SOUS 24888 HAS SOUPS 24373 WITH SCORE 24595.011
AT ITER 1294 NEW BEST:: SOT 248881 SOS 221998 HAS SOPS 100797 HAS SOUS 24875 HAS SOUPS 24360 WITH SCORE 24581.998
AT ITER 1307 NEW BEST:: SOT 248854 SOS 221990 HAS SOPS 100762 HAS SOUS 24859 HAS SOUPS 24344 WITH SCORE 24565.99
AT ITER 1324 NEW BEST:: SOT 248841 SOS 221990 HAS SOPS 100749 HAS SOUS 24846 HAS SOUPS 24331 WITH SCORE 24552.99
AT ITER 1347 NEW BEST:: SOT 248803 SOS 221959 HAS SOPS 100688 HAS SOUS 24793 HAS SOUPS 24278 WITH SCORE 24499.959
AT ITER 1356 NEW BEST:: SOT 248779 SOS 221935 HAS SOPS 100652 HAS SOUS 24757 HAS SOUPS 24242 WITH SCORE 24463.935
AT ITER 1358 NEW BEST:: SOT 248758 SOS 221862 HAS SOPS 100579 HAS SOUS 24705 HAS SOUPS 24190 WITH SCORE 24411.862
AT ITER 1367 NEW BEST:: SOT 248541 SOS 221645 HAS SOPS 100362 HAS SOUS 24595 HAS SOUPS 24080 WITH SCORE 24301.645
AT ITER 1376 NEW BEST:: SOT 248453 SOS 221684 HAS SOPS 100272 HAS SOUS 24505 HAS SOUPS 23990 WITH SCORE 24211.684
AT ITER 1377 NEW BEST:: SOT 248449 SOS 221677 HAS SOPS 100264 HAS SOUS 24497 HAS SOUPS 23982 WITH SCORE 24203.677
AT ITER 1383 NEW BEST:: SOT 248073 SOS 221301 HAS SOPS 99882 HAS SOUS 24297 HAS SOUPS 23782 WITH SCORE 24003.301
AT ITER 1396 NEW BEST:: SOT 247194 SOS 220451 HAS SOPS 99351 HAS SOUS 24096 HAS SOUPS 23581 WITH SCORE 23801.451
AT ITER 1403 NEW BEST:: SOT 247138 SOS 220367 HAS SOPS 99254 HAS SOUS 24010 HAS SOUPS 23495 WITH SCORE 23715.367
AT ITER 1405 NEW BEST:: SOT 247134 SOS 220363 HAS SOPS 99246 HAS SOUS 24002 HAS SOUPS 23487 WITH SCORE 23707.363
AT ITER 1406 NEW BEST:: SOT 247120 SOS 220349 HAS SOPS 99225 HAS SOUS 23981 HAS SOUPS 23466 WITH SCORE 23686.349
AT ITER 1411 NEW BEST:: SOT 247120 SOS 220304 HAS SOPS 99180 HAS SOUS 23936 HAS SOUPS 23421 WITH SCORE 23641.304
AT ITER 1423 NEW BEST:: SOT 247578 SOS 220734 HAS SOPS 99277 HAS SOUS 23903 HAS SOUPS 23388 WITH SCORE 23608.734
AT ITER 1445 NEW BEST:: SOT 247550 SOS 220671 HAS SOPS 99221 HAS SOUS 23836 HAS SOUPS 23321 WITH SCORE 23541.671
AT ITER 1449 NEW BEST:: SOT 247540 SOS 220665 HAS SOPS 99201 HAS SOUS 23807 HAS SOUPS 23292 WITH SCORE 23512.665
AT ITER 1453 NEW BEST:: SOT 247555 SOS 220680 HAS SOPS 99187 HAS SOUS 23793 HAS SOUPS 23278 WITH SCORE 23498.68
AT ITER 1465 NEW BEST:: SOT 247548 SOS 220649 HAS SOPS 99173 HAS SOUS 23786 HAS SOUPS 23271 WITH SCORE 23491.649
AT ITER 1468 NEW BEST:: SOT 247546 SOS 220625 HAS SOPS 99147 HAS SOUS 23760 HAS SOUPS 23245 WITH SCORE 23465.625
AT ITER 1475 NEW BEST:: SOT 247530 SOS 220577 HAS SOPS 99099 HAS SOUS 23728 HAS SOUPS 23213 WITH SCORE 23433.577
AT ITER 1480 NEW BEST:: SOT 247556 SOS 220537 HAS SOPS 99151 HAS SOUS 23721 HAS SOUPS 23206 WITH SCORE 23426.537
AT ITER 1489 NEW BEST:: SOT 247495 SOS 220373 HAS SOPS 99029 HAS SOUS 23608 HAS SOUPS 23093 WITH SCORE 23313.373
AT ITER 1490 NEW BEST:: SOT 247488 SOS 220359 HAS SOPS 99015 HAS SOUS 23601 HAS SOUPS 23086 WITH SCORE 23306.359
AT ITER 1497 NEW BEST:: SOT 246751 SOS 219651 HAS SOPS 98455 HAS SOUS 23579 HAS SOUPS 23064 WITH SCORE 23283.651
AT ITER 1502 NEW BEST:: SOT 246705 SOS 219583 HAS SOPS 98375 HAS SOUS 23523 HAS SOUPS 23008 WITH SCORE 23227.583
AT ITER 1517 NEW BEST:: SOT 247589 SOS 220438 HAS SOPS 98947 HAS SOUS 23173 HAS SOUPS 22671 WITH SCORE 22891.438
AT ITER 1527 NEW BEST:: SOT 247600 SOS 220396 HAS SOPS 98916 HAS SOUS 23142 HAS SOUPS 22640 WITH SCORE 22860.396
AT ITER 1532 NEW BEST:: SOT 247600 SOS 220393 HAS SOPS 98913 HAS SOUS 23142 HAS SOUPS 22640 WITH SCORE 22860.393
AT ITER 1533 NEW BEST:: SOT 247579 SOS 220369 HAS SOPS 98887 HAS SOUS 23128 HAS SOUPS 22626 WITH SCORE 22846.369
AT ITER 1547 NEW BEST:: SOT 247546 SOS 220264 HAS SOPS 98782 HAS SOUS 23023 HAS SOUPS 22521 WITH SCORE 22741.264
AT ITER 1550 NEW BEST:: SOT 247592 SOS 220090 HAS SOPS 98646 HAS SOUS 22933 HAS SOUPS 22431 WITH SCORE 22651.09
AT ITER 1557 NEW BEST:: SOT 247569 SOS 220021 HAS SOPS 96859 HAS SOUS 22757 HAS SOUPS 22255 WITH SCORE 22475.021
AT ITER 1561 NEW BEST:: SOT 247592 SOS 219958 HAS SOPS 96819 HAS SOUS 22717 HAS SOUPS 22215 WITH SCORE 22434.958
AT ITER 1567 NEW BEST:: SOT 247536 SOS 219874 HAS SOPS 96735 HAS SOUS 22633 HAS SOUPS 22131 WITH SCORE 22350.874
AT ITER 1570 NEW BEST:: SOT 247494 SOS 219790 HAS SOPS 96651 HAS SOUS 22576 HAS SOUPS 22074 WITH SCORE 22293.79
AT ITER 1573 NEW BEST:: SOT 247486 SOS 219785 HAS SOPS 96635 HAS SOUS 22573 HAS SOUPS 22071 WITH SCORE 22290.785
AT ITER 1581 NEW BEST:: SOT 247380 SOS 219664 HAS SOPS 96491 HAS SOUS 22427 HAS SOUPS 21925 WITH SCORE 22144.664
AT ITER 1591 NEW BEST:: SOT 247674 SOS 219920 HAS SOPS 95995 HAS SOUS 22389 HAS SOUPS 21887 WITH SCORE 22106.92
AT ITER 1619 NEW BEST:: SOT 247539 SOS 219712 HAS SOPS 95725 HAS SOUS 22186 HAS SOUPS 21684 WITH SCORE 21903.712
AT ITER 1645 NEW BEST:: SOT 247536 SOS 219689 HAS SOPS 95702 HAS SOUS 22166 HAS SOUPS 21664 WITH SCORE 21883.689
AT ITER 1657 NEW BEST:: SOT 247526 SOS 219666 HAS SOPS 95673 HAS SOUS 22141 HAS SOUPS 21639 WITH SCORE 21858.666
AT ITER 1674 NEW BEST:: SOT 247526 SOS 219664 HAS SOPS 95625 HAS SOUS 22079 HAS SOUPS 21577 WITH SCORE 21796.664
AT ITER 1683 NEW BEST:: SOT 247520 SOS 219658 HAS SOPS 95613 HAS SOUS 22067 HAS SOUPS 21565 WITH SCORE 21784.658
AT ITER 1692 NEW BEST:: SOT 247496 SOS 219634 HAS SOPS 95565 HAS SOUS 22019 HAS SOUPS 21517 WITH SCORE 21736.634
AT ITER 1721 NEW BEST:: SOT 247497 SOS 219636 HAS SOPS 95546 HAS SOUS 22000 HAS SOUPS 21498 WITH SCORE 21717.636
AT ITER 1730 NEW BEST:: SOT 247480 SOS 219602 HAS SOPS 95512 HAS SOUS 21970 HAS SOUPS 21468 WITH SCORE 21687.602
AT ITER 1731 NEW BEST:: SOT 247639 SOS 219780 HAS SOPS 95142 HAS SOUS 21911 HAS SOUPS 21409 WITH SCORE 21628.78
AT ITER 1737 NEW BEST:: SOT 247612 SOS 219717 HAS SOPS 95052 HAS SOUS 21821 HAS SOUPS 21319 WITH SCORE 21538.717
AT ITER 1746 NEW BEST:: SOT 247606 SOS 219714 HAS SOPS 95043 HAS SOUS 21815 HAS SOUPS 21313 WITH SCORE 21532.714
AT ITER 1750 NEW BEST:: SOT 247554 SOS 219530 HAS SOPS 94807 HAS SOUS 21579 HAS SOUPS 21077 WITH SCORE 21296.53
AT ITER 1752 NEW BEST:: SOT 247531 SOS 219507 HAS SOPS 94761 HAS SOUS 21533 HAS SOUPS 21031 WITH SCORE 21250.507
AT ITER 1754 NEW BEST:: SOT 247521 SOS 219451 HAS SOPS 94695 HAS SOUS 21467 HAS SOUPS 20965 WITH SCORE 21184.451
AT ITER 1761 NEW BEST:: SOT 247495 SOS 219427 HAS SOPS 94805 HAS SOUS 21461 HAS SOUPS 20959 WITH SCORE 21178.427
AT ITER 1762 NEW BEST:: SOT 246655 SOS 218611 HAS SOPS 94101 HAS SOUS 21189 HAS SOUPS 20687 WITH SCORE 20905.611
AT ITER 1784 NEW BEST:: SOT 246555 SOS 218539 HAS SOPS 93948 HAS SOUS 21036 HAS SOUPS 20534 WITH SCORE 20752.539
AT ITER 1790 NEW BEST:: SOT 246393 SOS 218374 HAS SOPS 93783 HAS SOUS 20952 HAS SOUPS 20450 WITH SCORE 20668.374
AT ITER 1797 NEW BEST:: SOT 246383 SOS 218357 HAS SOPS 93061 HAS SOUS 20903 HAS SOUPS 20401 WITH SCORE 20619.357
AT ITER 1801 NEW BEST:: SOT 246257 SOS 218201 HAS SOPS 92936 HAS SOUS 20808 HAS SOUPS 20306 WITH SCORE 20524.201
AT ITER 1807 NEW BEST:: SOT 245812 SOS 217741 HAS SOPS 92492 HAS SOUS 20586 HAS SOUPS 20084 WITH SCORE 20301.741
AT ITER 1810 NEW BEST:: SOT 245810 SOS 217721 HAS SOPS 92472 HAS SOUS 20568 HAS SOUPS 20066 WITH SCORE 20283.721
AT ITER 1813 NEW BEST:: SOT 245805 SOS 217716 HAS SOPS 92462 HAS SOUS 20558 HAS SOUPS 20056 WITH SCORE 20273.716
AT ITER 1817 NEW BEST:: SOT 245792 SOS 217732 HAS SOPS 92436 HAS SOUS 20545 HAS SOUPS 20043 WITH SCORE 20260.732
AT ITER 1819 NEW BEST:: SOT 245769 SOS 217704 HAS SOPS 92403 HAS SOUS 20517 HAS SOUPS 20015 WITH SCORE 20232.704
AT ITER 1822 NEW BEST:: SOT 245533 SOS 217468 HAS SOPS 92167 HAS SOUS 20400 HAS SOUPS 19898 WITH SCORE 20115.468
AT ITER 1833 NEW BEST:: SOT 245502 SOS 217456 HAS SOPS 92130 HAS SOUS 20369 HAS SOUPS 19867 WITH SCORE 20084.456
AT ITER 1856 NEW BEST:: SOT 245492 SOS 217449 HAS SOPS 92123 HAS SOUS 20362 HAS SOUPS 19860 WITH SCORE 20077.449
AT ITER 1860 NEW BEST:: SOT 245483 SOS 217440 HAS SOPS 92105 HAS SOUS 20344 HAS SOUPS 19842 WITH SCORE 20059.44
AT ITER 1867 NEW BEST:: SOT 245468 SOS 217446 HAS SOPS 92075 HAS SOUS 20314 HAS SOUPS 19812 WITH SCORE 20029.446
AT ITER 1872 NEW BEST:: SOT 245492 SOS 217461 HAS SOPS 91444 HAS SOUS 20116 HAS SOUPS 19614 WITH SCORE 19831.461
AT ITER 1880 NEW BEST:: SOT 245485 SOS 217454 HAS SOPS 91430 HAS SOUS 20102 HAS SOUPS 19600 WITH SCORE 19817.454
AT ITER 1910 NEW BEST:: SOT 245477 SOS 217513 HAS SOPS 91453 HAS SOUS 20101 HAS SOUPS 19599 WITH SCORE 19816.513
AT ITER 1918 NEW BEST:: SOT 245457 SOS 217473 HAS SOPS 91413 HAS SOUS 20061 HAS SOUPS 19559 WITH SCORE 19776.473
AT ITER 1926 NEW BEST:: SOT 245457 SOS 217473 HAS SOPS 91405 HAS SOUS 19980 HAS SOUPS 19477 WITH SCORE 19694.473
AT ITER 1927 NEW BEST:: SOT 245421 SOS 217423 HAS SOPS 91347 HAS SOUS 19936 HAS SOUPS 19433 WITH SCORE 19650.423
AT ITER 1928 NEW BEST:: SOT 245443 SOS 217456 HAS SOPS 90537 HAS SOUS 19923 HAS SOUPS 19420 WITH SCORE 19637.456
AT ITER 1934 NEW BEST:: SOT 245442 SOS 217454 HAS SOPS 90535 HAS SOUS 19921 HAS SOUPS 19418 WITH SCORE 19635.454
AT ITER 1944 NEW BEST:: SOT 245421 SOS 217433 HAS SOPS 90504 HAS SOUS 19890 HAS SOUPS 19387 WITH SCORE 19604.433
AT ITER 1964 NEW BEST:: SOT 245399 SOS 217411 HAS SOPS 90460 HAS SOUS 19846 HAS SOUPS 19343 WITH SCORE 19560.411
AT ITER 1985 NEW BEST:: SOT 245379 SOS 217417 HAS SOPS 90446 HAS SOUS 19838 HAS SOUPS 19335 WITH SCORE 19552.417
AT ITER 1987 NEW BEST:: SOT 245363 SOS 217378 HAS SOPS 90414 HAS SOUS 19806 HAS SOUPS 19303 WITH SCORE 19520.378
AT ITER 1992 NEW BEST:: SOT 245362 SOS 217389 HAS SOPS 90422 HAS SOUS 19802 HAS SOUPS 19299 WITH SCORE 19516.389
AT ITER 1996 NEW BEST:: SOT 245362 SOS 217389 HAS SOPS 90417 HAS SOUS 19797 HAS SOUPS 19294 WITH SCORE 19511.389
AT ITER 2022 NEW BEST:: SOT 245356 SOS 217383 HAS SOPS 90405 HAS SOUS 19785 HAS SOUPS 19282 WITH SCORE 19499.383
AT ITER 2046 NEW BEST:: SOT 245307 SOS 217283 HAS SOPS 90307 HAS SOUS 19730 HAS SOUPS 19227 WITH SCORE 19444.283
AT ITER 2083 NEW BEST:: SOT 245300 SOS 217259 HAS SOPS 90293 HAS SOUS 19727 HAS SOUPS 19224 WITH SCORE 19441.259
AT ITER 2085 NEW BEST:: SOT 245089 SOS 217072 HAS SOPS 90083 HAS SOUS 19496 HAS SOUPS 18993 WITH SCORE 19210.072
AT ITER 2099 NEW BEST:: SOT 245085 SOS 217066 HAS SOPS 90075 HAS SOUS 19478 HAS SOUPS 18975 WITH SCORE 19192.066
AT ITER 2100 NEW BEST:: SOT 245152 SOS 217074 HAS SOPS 87896 HAS SOUS 19259 HAS SOUPS 18756 WITH SCORE 18973.074
AT ITER 2105 NEW BEST:: SOT 245139 SOS 217074 HAS SOPS 87883 HAS SOUS 19246 HAS SOUPS 18743 WITH SCORE 18960.074
AT ITER 2109 NEW BEST:: SOT 245151 SOS 217071 HAS SOPS 87887 HAS SOUS 19244 HAS SOUPS 18741 WITH SCORE 18958.071
AT ITER 2112 NEW BEST:: SOT 245123 SOS 217029 HAS SOPS 87831 HAS SOUS 19199 HAS SOUPS 18696 WITH SCORE 18913.029
AT ITER 2131 NEW BEST:: SOT 245084 SOS 216958 HAS SOPS 87717 HAS SOUS 19081 HAS SOUPS 18578 WITH SCORE 18794.958
AT ITER 2136 NEW BEST:: SOT 245084 SOS 216958 HAS SOPS 87714 HAS SOUS 19078 HAS SOUPS 18575 WITH SCORE 18791.958
AT ITER 2158 NEW BEST:: SOT 245084 SOS 216947 HAS SOPS 87703 HAS SOUS 19078 HAS SOUPS 18575 WITH SCORE 18791.947
AT ITER 2167 NEW BEST:: SOT 245097 SOS 216942 HAS SOPS 87684 HAS SOUS 19044 HAS SOUPS 18541 WITH SCORE 18757.942
AT ITER 2177 NEW BEST:: SOT 245086 SOS 216889 HAS SOPS 87623 HAS SOUS 19022 HAS SOUPS 18519 WITH SCORE 18735.889
AT ITER 2178 NEW BEST:: SOT 245060 SOS 216863 HAS SOPS 87588 HAS SOUS 18987 HAS SOUPS 18484 WITH SCORE 18700.863
AT ITER 2179 NEW BEST:: SOT 245058 SOS 216861 HAS SOPS 87584 HAS SOUS 18983 HAS SOUPS 18480 WITH SCORE 18696.861
AT ITER 2180 NEW BEST:: SOT 245058 SOS 216861 HAS SOPS 87584 HAS SOUS 18976 HAS SOUPS 18473 WITH SCORE 18689.861
AT ITER 2200 NEW BEST:: SOT 245036 SOS 216890 HAS SOPS 87584 HAS SOUS 18970 HAS SOUPS 18467 WITH SCORE 18683.89
AT ITER 2225 NEW BEST:: SOT 245036 SOS 216877 HAS SOPS 87584 HAS SOUS 18966 HAS SOUPS 18467 WITH SCORE 18683.877
AT ITER 2228 NEW BEST:: SOT 245028 SOS 216865 HAS SOPS 87568 HAS SOUS 18950 HAS SOUPS 18451 WITH SCORE 18667.865
AT ITER 2245 NEW BEST:: SOT 245026 SOS 216855 HAS SOPS 87564 HAS SOUS 18945 HAS SOUPS 18446 WITH SCORE 18662.855
AT ITER 2253 NEW BEST:: SOT 245026 SOS 216850 HAS SOPS 87559 HAS SOUS 18940 HAS SOUPS 18441 WITH SCORE 18657.85
AT ITER 2263 NEW BEST:: SOT 244995 SOS 216820 HAS SOPS 87579 HAS SOUS 18940 HAS SOUPS 18441 WITH SCORE 18657.82
AT ITER 2269 NEW BEST:: SOT 244995 SOS 216820 HAS SOPS 87579 HAS SOUS 18928 HAS SOUPS 18429 WITH SCORE 18645.82
AT ITER 2275 NEW BEST:: SOT 245000 SOS 216816 HAS SOPS 87579 HAS SOUS 18928 HAS SOUPS 18429 WITH SCORE 18645.816
AT ITER 2295 NEW BEST:: SOT 244990 SOS 216807 HAS SOPS 87567 HAS SOUS 18916 HAS SOUPS 18417 WITH SCORE 18633.807
AT ITER 2323 NEW BEST:: SOT 244980 SOS 216807 HAS SOPS 87557 HAS SOUS 18906 HAS SOUPS 18407 WITH SCORE 18623.807
AT ITER 2346 NEW BEST:: SOT 244989 SOS 216783 HAS SOPS 87549 HAS SOUS 18905 HAS SOUPS 18406 WITH SCORE 18622.783
AT ITER 2359 NEW BEST:: SOT 244987 SOS 216737 HAS SOPS 87503 HAS SOUS 18854 HAS SOUPS 18355 WITH SCORE 18571.737
AT ITER 2397 NEW BEST:: SOT 244910 SOS 216588 HAS SOPS 87349 HAS SOUS 18700 HAS SOUPS 18201 WITH SCORE 18417.588
AT ITER 2408 NEW BEST:: SOT 244900 SOS 216578 HAS SOPS 87329 HAS SOUS 18689 HAS SOUPS 18190 WITH SCORE 18406.578
AT ITER 2417 NEW BEST:: SOT 244900 SOS 216578 HAS SOPS 87329 HAS SOUS 18685 HAS SOUPS 18186 WITH SCORE 18402.578
AT ITER 2421 NEW BEST:: SOT 244900 SOS 216570 HAS SOPS 86709 HAS SOUS 18647 HAS SOUPS 18148 WITH SCORE 18364.57
AT ITER 2434 NEW BEST:: SOT 244900 SOS 216536 HAS SOPS 86675 HAS SOUS 18613 HAS SOUPS 18114 WITH SCORE 18330.536
AT ITER 2435 NEW BEST:: SOT 244899 SOS 216534 HAS SOPS 86673 HAS SOUS 18611 HAS SOUPS 18112 WITH SCORE 18328.534
AT ITER 2441 NEW BEST:: SOT 244897 SOS 216530 HAS SOPS 86669 HAS SOUS 18609 HAS SOUPS 18110 WITH SCORE 18326.53
AT ITER 2445 NEW BEST:: SOT 244863 SOS 216519 HAS SOPS 86624 HAS SOUS 18564 HAS SOUPS 18065 WITH SCORE 18281.519
AT ITER 2448 NEW BEST:: SOT 244843 SOS 216539 HAS SOPS 86616 HAS SOUS 18548 HAS SOUPS 18049 WITH SCORE 18265.539
AT ITER 2451 NEW BEST:: SOT 244828 SOS 216520 HAS SOPS 86597 HAS SOUS 18529 HAS SOUPS 18030 WITH SCORE 18246.52
AT ITER 2456 NEW BEST:: SOT 244828 SOS 216488 HAS SOPS 86597 HAS SOUS 18529 HAS SOUPS 18030 WITH SCORE 18246.488
AT ITER 2480 NEW BEST:: SOT 244826 SOS 216483 HAS SOPS 86591 HAS SOUS 18524 HAS SOUPS 18025 WITH SCORE 18241.483
AT ITER 2487 NEW BEST:: SOT 244814 SOS 216471 HAS SOPS 86567 HAS SOUS 18500 HAS SOUPS 18001 WITH SCORE 18217.471
AT ITER 2553 NEW BEST:: SOT 244749 SOS 216211 HAS SOPS 86307 HAS SOUS 18318 HAS SOUPS 17819 WITH SCORE 18035.211
AT ITER 2556 NEW BEST:: SOT 244737 SOS 216187 HAS SOPS 86283 HAS SOUS 18304 HAS SOUPS 17805 WITH SCORE 18021.187
AT ITER 2564 NEW BEST:: SOT 244729 SOS 216141 HAS SOPS 86267 HAS SOUS 18302 HAS SOUPS 17803 WITH SCORE 18019.141
AT ITER 2573 NEW BEST:: SOT 244722 SOS 216135 HAS SOPS 86253 HAS SOUS 18287 HAS SOUPS 17788 WITH SCORE 18004.135
AT ITER 2579 NEW BEST:: SOT 244810 SOS 216220 HAS SOPS 86212 HAS SOUS 18283 HAS SOUPS 17784 WITH SCORE 18000.22
AT ITER 2594 NEW BEST:: SOT 244794 SOS 216196 HAS SOPS 86180 HAS SOUS 18253 HAS SOUPS 17754 WITH SCORE 17970.196
AT ITER 2599 NEW BEST:: SOT 244792 SOS 216196 HAS SOPS 86178 HAS SOUS 18251 HAS SOUPS 17752 WITH SCORE 17968.196
AT ITER 2600 NEW BEST:: SOT 244731 SOS 216095 HAS SOPS 86056 HAS SOUS 18153 HAS SOUPS 17645 WITH SCORE 17861.095
AT ITER 2613 NEW BEST:: SOT 244731 SOS 216093 HAS SOPS 86054 HAS SOUS 18151 HAS SOUPS 17643 WITH SCORE 17859.093
AT ITER 2617 NEW BEST:: SOT 244731 SOS 216071 HAS SOPS 86032 HAS SOUS 18129 HAS SOUPS 17621 WITH SCORE 17837.071
AT ITER 2633 NEW BEST:: SOT 244729 SOS 216069 HAS SOPS 86028 HAS SOUS 18125 HAS SOUPS 17617 WITH SCORE 17833.069
AT ITER 2648 NEW BEST:: SOT 244672 SOS 216012 HAS SOPS 85914 HAS SOUS 18011 HAS SOUPS 17503 WITH SCORE 17719.012
AT ITER 2653 NEW BEST:: SOT 244656 SOS 215972 HAS SOPS 85866 HAS SOUS 17971 HAS SOUPS 17463 WITH SCORE 17678.972
AT ITER 2654 NEW BEST:: SOT 244655 SOS 215971 HAS SOPS 85864 HAS SOUS 17969 HAS SOUPS 17461 WITH SCORE 17676.971
AT ITER 2676 NEW BEST:: SOT 244654 SOS 215971 HAS SOPS 85862 HAS SOUS 17966 HAS SOUPS 17458 WITH SCORE 17673.971
AT ITER 2684 NEW BEST:: SOT 244649 SOS 215966 HAS SOPS 85852 HAS SOUS 17956 HAS SOUPS 17448 WITH SCORE 17663.966
AT ITER 2702 NEW BEST:: SOT 244605 SOS 215888 HAS SOPS 85764 HAS SOUS 17879 HAS SOUPS 17371 WITH SCORE 17586.888
AT ITER 2734 NEW BEST:: SOT 244596 SOS 215876 HAS SOPS 85746 HAS SOUS 17856 HAS SOUPS 17348 WITH SCORE 17563.876
AT ITER 2753 NEW BEST:: SOT 244596 SOS 215870 HAS SOPS 85740 HAS SOUS 17850 HAS SOUPS 17342 WITH SCORE 17557.87
AT ITER 2759 NEW BEST:: SOT 244606 SOS 215783 HAS SOPS 85590 HAS SOUS 17700 HAS SOUPS 17192 WITH SCORE 17407.783
AT ITER 2773 NEW BEST:: SOT 244605 SOS 215787 HAS SOPS 85588 HAS SOUS 17698 HAS SOUPS 17190 WITH SCORE 17405.787
AT ITER 2775 NEW BEST:: SOT 244605 SOS 215787 HAS SOPS 85577 HAS SOUS 17677 HAS SOUPS 17169 WITH SCORE 17384.787
AT ITER 2815 NEW BEST:: SOT 244552 SOS 215770 HAS SOPS 85507 HAS SOUS 17607 HAS SOUPS 17099 WITH SCORE 17314.77
AT ITER 2833 NEW BEST:: SOT 244499 SOS 215723 HAS SOPS 85401 HAS SOUS 17506 HAS SOUPS 16998 WITH SCORE 17213.723
AT ITER 2840 NEW BEST:: SOT 244507 SOS 215729 HAS SOPS 85417 HAS SOUS 17503 HAS SOUPS 16995 WITH SCORE 17210.729
AT ITER 2856 NEW BEST:: SOT 244489 SOS 215711 HAS SOPS 85408 HAS SOUS 17498 HAS SOUPS 16990 WITH SCORE 17205.711
AT ITER 2857 NEW BEST:: SOT 244472 SOS 215694 HAS SOPS 85391 HAS SOUS 17481 HAS SOUPS 16973 WITH SCORE 17188.694
AT ITER 2866 NEW BEST:: SOT 244456 SOS 215667 HAS SOPS 85359 HAS SOUS 17449 HAS SOUPS 16941 WITH SCORE 17156.667
AT ITER 2869 NEW BEST:: SOT 244463 SOS 215658 HAS SOPS 85344 HAS SOUS 17443 HAS SOUPS 16935 WITH SCORE 17150.658
AT ITER 2895 NEW BEST:: SOT 244458 SOS 215638 HAS SOPS 85324 HAS SOUS 17428 HAS SOUPS 16920 WITH SCORE 17135.638
AT ITER 2925 NEW BEST:: SOT 244420 SOS 215600 HAS SOPS 85286 HAS SOUS 17390 HAS SOUPS 16882 WITH SCORE 17097.6
AT ITER 2928 NEW BEST:: SOT 244398 SOS 215597 HAS SOPS 85242 HAS SOUS 17349 HAS SOUPS 16841 WITH SCORE 17056.597
AT ITER 2965 NEW BEST:: SOT 244396 SOS 215593 HAS SOPS 85238 HAS SOUS 17347 HAS SOUPS 16839 WITH SCORE 17054.593
AT ITER 2979 NEW BEST:: SOT 244386 SOS 215593 HAS SOPS 85228 HAS SOUS 17337 HAS SOUPS 16829 WITH SCORE 17044.593
AT ITER 2980 NEW BEST:: SOT 244381 SOS 215586 HAS SOPS 85218 HAS SOUS 17327 HAS SOUPS 16819 WITH SCORE 17034.586
AT ITER 3004 NEW BEST:: SOT 244355 SOS 215601 HAS SOPS 85207 HAS SOUS 17316 HAS SOUPS 16808 WITH SCORE 17023.601
AT ITER 3024 NEW BEST:: SOT 244325 SOS 215586 HAS SOPS 85162 HAS SOUS 17286 HAS SOUPS 16778 WITH SCORE 16993.586
AT ITER 3030 NEW BEST:: SOT 244325 SOS 215586 HAS SOPS 85162 HAS SOUS 17272 HAS SOUPS 16764 WITH SCORE 16979.586
AT ITER 3032 NEW BEST:: SOT 244285 SOS 215578 HAS SOPS 85129 HAS SOUS 17229 HAS SOUPS 16721 WITH SCORE 16936.578
AT ITER 3070 NEW BEST:: SOT 244222 SOS 215516 HAS SOPS 85085 HAS SOUS 17229 HAS SOUPS 16721 WITH SCORE 16936.516
AT ITER 3095 NEW BEST:: SOT 244222 SOS 215504 HAS SOPS 85073 HAS SOUS 17217 HAS SOUPS 16709 WITH SCORE 16924.504
AT ITER 3105 NEW BEST:: SOT 244222 SOS 215500 HAS SOPS 85069 HAS SOUS 17213 HAS SOUPS 16705 WITH SCORE 16920.5
AT ITER 3120 NEW BEST:: SOT 244165 SOS 215448 HAS SOPS 84983 HAS SOUS 17127 HAS SOUPS 16619 WITH SCORE 16834.448
AT ITER 3142 NEW BEST:: SOT 244155 SOS 215450 HAS SOPS 84975 HAS SOUS 17119 HAS SOUPS 16611 WITH SCORE 16826.45
AT ITER 3170 NEW BEST:: SOT 244132 SOS 215414 HAS SOPS 84929 HAS SOUS 17091 HAS SOUPS 16583 WITH SCORE 16798.414
AT ITER 3218 NEW BEST:: SOT 244130 SOS 215410 HAS SOPS 84845 HAS SOUS 17041 HAS SOUPS 16533 WITH SCORE 16748.41
AT ITER 3223 NEW BEST:: SOT 244123 SOS 215405 HAS SOPS 84831 HAS SOUS 17025 HAS SOUPS 16517 WITH SCORE 16732.405
AT ITER 3230 NEW BEST:: SOT 244105 SOS 215392 HAS SOPS 84849 HAS SOUS 17020 HAS SOUPS 16512 WITH SCORE 16727.392
AT ITER 3238 NEW BEST:: SOT 244105 SOS 215389 HAS SOPS 84846 HAS SOUS 17017 HAS SOUPS 16509 WITH SCORE 16724.389
AT ITER 3245 NEW BEST:: SOT 244103 SOS 215387 HAS SOPS 84842 HAS SOUS 17013 HAS SOUPS 16505 WITH SCORE 16720.387
AT ITER 3248 NEW BEST:: SOT 244096 SOS 215380 HAS SOPS 84828 HAS SOUS 16999 HAS SOUPS 16491 WITH SCORE 16706.38
AT ITER 3261 NEW BEST:: SOT 244094 SOS 215378 HAS SOPS 84824 HAS SOUS 16995 HAS SOUPS 16487 WITH SCORE 16702.378
AT ITER 3264 NEW BEST:: SOT 244083 SOS 215334 HAS SOPS 84791 HAS SOUS 16973 HAS SOUPS 16465 WITH SCORE 16680.334
AT ITER 3292 NEW BEST:: SOT 244067 SOS 215323 HAS SOPS 84775 HAS SOUS 16963 HAS SOUPS 16455 WITH SCORE 16670.323
AT ITER 3297 NEW BEST:: SOT 244058 SOS 215305 HAS SOPS 84757 HAS SOUS 16947 HAS SOUPS 16439 WITH SCORE 16654.305
AT ITER 3325 NEW BEST:: SOT 244033 SOS 215246 HAS SOPS 84707 HAS SOUS 16931 HAS SOUPS 16423 WITH SCORE 16638.246
AT ITER 3351 NEW BEST:: SOT 244033 SOS 215246 HAS SOPS 84707 HAS SOUS 16929 HAS SOUPS 16421 WITH SCORE 16636.246
AT ITER 3399 NEW BEST:: SOT 244033 SOS 215225 HAS SOPS 84686 HAS SOUS 16908 HAS SOUPS 16400 WITH SCORE 16615.225
AT ITER 3403 NEW BEST:: SOT 243589 SOS 214802 HAS SOPS 84526 HAS SOUS 16883 HAS SOUPS 16375 WITH SCORE 16589.802
AT ITER 3408 NEW BEST:: SOT 243588 SOS 214804 HAS SOPS 84526 HAS SOUS 16882 HAS SOUPS 16374 WITH SCORE 16588.804
AT ITER 3431 NEW BEST:: SOT 243574 SOS 214790 HAS SOPS 84505 HAS SOUS 16861 HAS SOUPS 16353 WITH SCORE 16567.79
AT ITER 3432 NEW BEST:: SOT 243573 SOS 214788 HAS SOPS 84503 HAS SOUS 16859 HAS SOUPS 16351 WITH SCORE 16565.788
AT ITER 3445 NEW BEST:: SOT 243571 SOS 214788 HAS SOPS 84501 HAS SOUS 16860 HAS SOUPS 16350 WITH SCORE 16564.788
AT ITER 3446 NEW BEST:: SOT 243571 SOS 214787 HAS SOPS 84500 HAS SOUS 16859 HAS SOUPS 16349 WITH SCORE 16563.787
AT ITER 3458 NEW BEST:: SOT 243546 SOS 214754 HAS SOPS 84423 HAS SOUS 16790 HAS SOUPS 16280 WITH SCORE 16494.754
AT ITER 3472 NEW BEST:: SOT 243566 SOS 214756 HAS SOPS 84426 HAS SOUS 16769 HAS SOUPS 16259 WITH SCORE 16473.756
AT ITER 3506 NEW BEST:: SOT 243564 SOS 214754 HAS SOPS 84422 HAS SOUS 16767 HAS SOUPS 16257 WITH SCORE 16471.754
AT ITER 3534 NEW BEST:: SOT 243556 SOS 214746 HAS SOPS 84410 HAS SOUS 16755 HAS SOUPS 16245 WITH SCORE 16459.746
AT ITER 3547 NEW BEST:: SOT 243549 SOS 214725 HAS SOPS 84389 HAS SOUS 16741 HAS SOUPS 16231 WITH SCORE 16445.725
AT ITER 3553 NEW BEST:: SOT 243547 SOS 214721 HAS SOPS 84385 HAS SOUS 16739 HAS SOUPS 16229 WITH SCORE 16443.721
AT ITER 3581 NEW BEST:: SOT 243543 SOS 214731 HAS SOPS 84377 HAS SOUS 16731 HAS SOUPS 16221 WITH SCORE 16435.731
AT ITER 3609 NEW BEST:: SOT 243547 SOS 214739 HAS SOPS 84275 HAS SOUS 16707 HAS SOUPS 16197 WITH SCORE 16411.739
AT ITER 3659 NEW BEST:: SOT 243546 SOS 214731 HAS SOPS 84273 HAS SOUS 16706 HAS SOUPS 16196 WITH SCORE 16410.731
AT ITER 3665 NEW BEST:: SOT 243519 SOS 214705 HAS SOPS 84219 HAS SOUS 16656 HAS SOUPS 16146 WITH SCORE 16360.705
AT ITER 3683 NEW BEST:: SOT 243464 SOS 214629 HAS SOPS 84109 HAS SOUS 16567 HAS SOUPS 16057 WITH SCORE 16271.629
AT ITER 3703 NEW BEST:: SOT 243458 SOS 214623 HAS SOPS 84097 HAS SOUS 16561 HAS SOUPS 16051 WITH SCORE 16265.623
AT ITER 3758 NEW BEST:: SOT 243448 SOS 214613 HAS SOPS 84097 HAS SOUS 16561 HAS SOUPS 16051 WITH SCORE 16265.613
AT ITER 3866 NEW BEST:: SOT 243438 SOS 214602 HAS SOPS 84092 HAS SOUS 16556 HAS SOUPS 16046 WITH SCORE 16260.602
AT ITER 3890 NEW BEST:: SOT 243424 SOS 214606 HAS SOPS 84082 HAS SOUS 16546 HAS SOUPS 16036 WITH SCORE 16250.606
AT ITER 3941 NEW BEST:: SOT 243412 SOS 214594 HAS SOPS 84058 HAS SOUS 16540 HAS SOUPS 16030 WITH SCORE 16244.594
AT ITER 3951 NEW BEST:: SOT 243412 SOS 214559 HAS SOPS 84058 HAS SOUS 16540 HAS SOUPS 16030 WITH SCORE 16244.559
AT ITER 3963 NEW BEST:: SOT 243405 SOS 214550 HAS SOPS 84044 HAS SOUS 16528 HAS SOUPS 16018 WITH SCORE 16232.55
AT ITER 3972 NEW BEST:: SOT 243405 SOS 214541 HAS SOPS 84035 HAS SOUS 16519 HAS SOUPS 16009 WITH SCORE 16223.541
AT ITER 4004 NEW BEST:: SOT 243357 SOS 214445 HAS SOPS 83939 HAS SOUS 16423 HAS SOUPS 15913 WITH SCORE 16127.445
AT ITER 4046 NEW BEST:: SOT 243367 SOS 214427 HAS SOPS 83931 HAS SOUS 16415 HAS SOUPS 15905 WITH SCORE 16119.427
AT ITER 4050 NEW BEST:: SOT 243363 SOS 214419 HAS SOPS 83923 HAS SOUS 16415 HAS SOUPS 15905 WITH SCORE 16119.419
AT ITER 4065 NEW BEST:: SOT 243358 SOS 214414 HAS SOPS 83913 HAS SOUS 16405 HAS SOUPS 15895 WITH SCORE 16109.414
AT ITER 4102 NEW BEST:: SOT 243354 SOS 214413 HAS SOPS 83905 HAS SOUS 16401 HAS SOUPS 15891 WITH SCORE 16105.413
AT ITER 4148 NEW BEST:: SOT 243355 SOS 214402 HAS SOPS 83884 HAS SOUS 16378 HAS SOUPS 15868 WITH SCORE 16082.402
AT ITER 4176 NEW BEST:: SOT 243353 SOS 214396 HAS SOPS 83876 HAS SOUS 16372 HAS SOUPS 15862 WITH SCORE 16076.396
AT ITER 4195 NEW BEST:: SOT 243306 SOS 214350 HAS SOPS 83829 HAS SOUS 16348 HAS SOUPS 15838 WITH SCORE 16052.35
AT ITER 4196 NEW BEST:: SOT 243304 SOS 214348 HAS SOPS 83826 HAS SOUS 16346 HAS SOUPS 15836 WITH SCORE 16050.348
AT ITER 4234 NEW BEST:: SOT 243302 SOS 214342 HAS SOPS 83822 HAS SOUS 16344 HAS SOUPS 15834 WITH SCORE 16048.342
AT ITER 4248 NEW BEST:: SOT 243313 SOS 214354 HAS SOPS 83844 HAS SOUS 16329 HAS SOUPS 15819 WITH SCORE 16033.354
AT ITER 4252 NEW BEST:: SOT 243313 SOS 214351 HAS SOPS 83841 HAS SOUS 16328 HAS SOUPS 15818 WITH SCORE 16032.351
AT ITER 4254 NEW BEST:: SOT 243280 SOS 214315 HAS SOPS 83855 HAS SOUS 16326 HAS SOUPS 15816 WITH SCORE 16030.315
AT ITER 4262 NEW BEST:: SOT 242962 SOS 213997 HAS SOPS 83536 HAS SOUS 16210 HAS SOUPS 15696 WITH SCORE 15909.997
AT ITER 4270 NEW BEST:: SOT 242711 SOS 213746 HAS SOPS 83282 HAS SOUS 16080 HAS SOUPS 15563 WITH SCORE 15776.746
AT ITER 4279 NEW BEST:: SOT 242685 SOS 213691 HAS SOPS 83230 HAS SOUS 16022 HAS SOUPS 15505 WITH SCORE 15718.691
AT ITER 4314 NEW BEST:: SOT 242685 SOS 213690 HAS SOPS 83229 HAS SOUS 16021 HAS SOUPS 15504 WITH SCORE 15717.69
AT ITER 4317 NEW BEST:: SOT 242670 SOS 213523 HAS SOPS 83199 HAS SOUS 15991 HAS SOUPS 15474 WITH SCORE 15687.523
AT ITER 4364 NEW BEST:: SOT 242671 SOS 213473 HAS SOPS 83142 HAS SOUS 15985 HAS SOUPS 15468 WITH SCORE 15681.473
AT ITER 4371 NEW BEST:: SOT 242669 SOS 213471 HAS SOPS 83139 HAS SOUS 15982 HAS SOUPS 15465 WITH SCORE 15678.471
AT ITER 4391 NEW BEST:: SOT 242665 SOS 213469 HAS SOPS 83134 HAS SOUS 15978 HAS SOUPS 15461 WITH SCORE 15674.469
AT ITER 4399 NEW BEST:: SOT 242660 SOS 213459 HAS SOPS 83124 HAS SOUS 15968 HAS SOUPS 15451 WITH SCORE 15664.459
AT ITER 4411 NEW BEST:: SOT 242654 SOS 213441 HAS SOPS 83100 HAS SOUS 15950 HAS SOUPS 15433 WITH SCORE 15646.441
AT ITER 4437 NEW BEST:: SOT 242659 SOS 213431 HAS SOPS 83096 HAS SOUS 15948 HAS SOUPS 15431 WITH SCORE 15644.431
AT ITER 4445 NEW BEST:: SOT 242659 SOS 213422 HAS SOPS 83087 HAS SOUS 15939 HAS SOUPS 15422 WITH SCORE 15635.422
AT ITER 4446 NEW BEST:: SOT 242585 SOS 213348 HAS SOPS 83013 HAS SOUS 15902 HAS SOUPS 15385 WITH SCORE 15598.348
AT ITER 4456 NEW BEST:: SOT 242547 SOS 213291 HAS SOPS 82937 HAS SOUS 15845 HAS SOUPS 15328 WITH SCORE 15541.291
AT ITER 4458 NEW BEST:: SOT 242511 SOS 213255 HAS SOPS 82897 HAS SOUS 15825 HAS SOUPS 15308 WITH SCORE 15521.255
AT ITER 4490 NEW BEST:: SOT 242507 SOS 213251 HAS SOPS 82893 HAS SOUS 15821 HAS SOUPS 15304 WITH SCORE 15517.251
AT ITER 4508 NEW BEST:: SOT 242497 SOS 213241 HAS SOPS 82873 HAS SOUS 15801 HAS SOUPS 15284 WITH SCORE 15497.241
AT ITER 4514 NEW BEST:: SOT 242497 SOS 213239 HAS SOPS 82871 HAS SOUS 15799 HAS SOUPS 15282 WITH SCORE 15495.239
AT ITER 4517 NEW BEST:: SOT 242492 SOS 213233 HAS SOPS 82865 HAS SOUS 15794 HAS SOUPS 15277 WITH SCORE 15490.233
AT ITER 4546 NEW BEST:: SOT 242488 SOS 213229 HAS SOPS 82857 HAS SOUS 15789 HAS SOUPS 15272 WITH SCORE 15485.229
AT ITER 4592 NEW BEST:: SOT 242472 SOS 213171 HAS SOPS 82825 HAS SOUS 15742 HAS SOUPS 15225 WITH SCORE 15438.171
AT ITER 4603 NEW BEST:: SOT 242458 SOS 213158 HAS SOPS 82829 HAS SOUS 15730 HAS SOUPS 15213 WITH SCORE 15426.158
AT ITER 4613 NEW BEST:: SOT 242442 SOS 213134 HAS SOPS 82797 HAS SOUS 15706 HAS SOUPS 15189 WITH SCORE 15402.134
AT ITER 4632 NEW BEST:: SOT 242441 SOS 213130 HAS SOPS 82794 HAS SOUS 15705 HAS SOUPS 15188 WITH SCORE 15401.13
AT ITER 4650 NEW BEST:: SOT 242435 SOS 213121 HAS SOPS 82782 HAS SOUS 15681 HAS SOUPS 15164 WITH SCORE 15377.121
AT ITER 4669 NEW BEST:: SOT 242425 SOS 213094 HAS SOPS 82762 HAS SOUS 15661 HAS SOUPS 15144 WITH SCORE 15357.094
AT ITER 4670 NEW BEST:: SOT 242406 SOS 213056 HAS SOPS 82705 HAS SOUS 15623 HAS SOUPS 15106 WITH SCORE 15319.056
AT ITER 4694 NEW BEST:: SOT 242412 SOS 213062 HAS SOPS 82635 HAS SOUS 15553 HAS SOUPS 15036 WITH SCORE 15249.062
AT ITER 4709 NEW BEST:: SOT 242410 SOS 213062 HAS SOPS 82633 HAS SOUS 15551 HAS SOUPS 15034 WITH SCORE 15247.062
AT ITER 4766 NEW BEST:: SOT 242407 SOS 213059 HAS SOPS 82627 HAS SOUS 15545 HAS SOUPS 15028 WITH SCORE 15241.059
AT ITER 4786 NEW BEST:: SOT 242437 SOS 213027 HAS SOPS 82625 HAS SOUS 15543 HAS SOUPS 15026 WITH SCORE 15239.027
AT ITER 4816 NEW BEST:: SOT 242608 SOS 213183 HAS SOPS 82567 HAS SOUS 15465 HAS SOUPS 14948 WITH SCORE 15161.183
AT ITER 4832 NEW BEST:: SOT 242604 SOS 213175 HAS SOPS 82559 HAS SOUS 15461 HAS SOUPS 14944 WITH SCORE 15157.175
AT ITER 4843 NEW BEST:: SOT 242605 SOS 213163 HAS SOPS 82539 HAS SOUS 15452 HAS SOUPS 14935 WITH SCORE 15148.163
AT ITER 4852 NEW BEST:: SOT 242603 SOS 213143 HAS SOPS 82520 HAS SOUS 15433 HAS SOUPS 14916 WITH SCORE 15129.143
AT ITER 4884 NEW BEST:: SOT 242603 SOS 213112 HAS SOPS 82489 HAS SOUS 15402 HAS SOUPS 14885 WITH SCORE 15098.112
AT ITER 4913 NEW BEST:: SOT 242595 SOS 213100 HAS SOPS 82473 HAS SOUS 15394 HAS SOUPS 14877 WITH SCORE 15090.1
AT ITER 4987 NEW BEST:: SOT 242580 SOS 213085 HAS SOPS 82443 HAS SOUS 15364 HAS SOUPS 14847 WITH SCORE 15060.085
AT ITER 4998 NEW BEST:: SOT 242582 SOS 213081 HAS SOPS 82426 HAS SOUS 15347 HAS SOUPS 14830 WITH SCORE 15043.081
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-00 ( (! ( (EG( ( ((potential((tk(P112)>=1)))) & ((potential((tk(P144)>=1) & (tk(P229)>=1) & (tk(P266)>=1)))) ))) & (AG( ((potential((tk(P253)>=1) & (tk(P264)>=1) & (tk(P266)>=1)))))) )) & (AG( (EF( (! ((potential((tk(P96)>=1) & (tk(P241)>=1) & (tk(P266)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-01 (! ( ((potential((tk(P37)>=1) & (tk(P180)>=1) & (tk(P266)>=1)))) | (! ( (EF( ((potential((tk(P165)>=1)))))) | ( ((potential((tk(P84)>=1) & (tk(P133)>=1) & (tk(P266)>=1)))) | ( ((potential((tk(P24)>=1) & (tk(P169)>=1) & (tk(P266)>=1)))) | ((potential((tk(P204)>=1) & (tk(P229)>=1) & (tk(P266)>=1)))) ) ) )) ))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-02 (AG( ( (EF( ( ((potential((tk(P185)>=1) & (tk(P267)>=1)))) | ((potential((tk(P121)>=1) & (tk(P156)>=1) & (tk(P266)>=1)))) ))) | (EX( ( ((potential((tk(P25)>=1) & (tk(P96)>=1) & (tk(P266)>=1)))) & ((potential((tk(P133)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-03 (AG( (EF( ( ( ((potential((tk(P156)>=1) & (tk(P217)>=1) & (tk(P266)>=1)))) & ((potential((tk(P84)>=1) & (tk(P253)>=1) & (tk(P266)>=1)))) ) & ( ((potential((tk(P241)>=1) & (tk(P264)>=1) & (tk(P266)>=1)))) | ((potential((tk(P72)>=1) & (tk(P85)>=1) & (tk(P266)>=1)))) ) )))))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-04 (AG( (! ( (EF( ((potential((tk(P42)>=1)))))) & ( ( ((potential((tk(P133)>=1) & (tk(P216)>=1) & (tk(P266)>=1)))) | ((potential((tk(P267)>=1) & (tk(P166)>=1)))) ) & ((potential((tk(P24)>=1) & (tk(P266)>=1)))) ) ))))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-05 (EF( ((potential((tk(P256)>=1))))))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-06 (! (EX( (EF( ( ((potential((tk(P193)>=1) & (tk(P240)>=1) & (tk(P266)>=1)))) & ((potential((tk(P267)>=1) & (tk(P46)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-07 (EU( (! ( ( ((potential((tk(P121)>=1) & (tk(P264)>=1) & (tk(P266)>=1)))) | ((potential((tk(P73)>=1) & (tk(P132)>=1) & (tk(P266)>=1)))) ) | ( ((potential((tk(P53)>=1) & (tk(P267)>=1)))) & ((potential((tk(P72)>=1) & (tk(P133)>=1) & (tk(P266)>=1)))) ) )) , ( (AX( ((potential((tk(P252)>=1)))))) & ((potential((tk(P72)>=1) & (tk(P241)>=1) & (tk(P266)>=1)))) ) ))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-08 (EU( (! ((potential((tk(P120)>=1) & (tk(P241)>=1) & (tk(P266)>=1))))) , (AG( (! ((potential((tk(P14)>=1))))))) ))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-09 (EF( ( (AU( ((potential((tk(P37)>=1) & (tk(P144)>=1) & (tk(P266)>=1)))) , ((potential((tk(P158)>=1)))) )) | ((potential((tk(P40)>=1)))) )))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-10 ( (EF( ( ( ( ((potential((tk(P144)>=1) & (tk(P205)>=1) & (tk(P266)>=1)))) & ((potential((tk(P109)>=1)))) ) & ( ((potential((tk(P13)>=1) & (tk(P204)>=1) & (tk(P266)>=1)))) | ((potential((tk(P136)>=1)))) ) ) | ( ((potential((tk(P73)>=1) & (tk(P108)>=1) & (tk(P266)>=1)))) & ( ((potential((tk(P235)>=1) & (tk(P266)>=1)))) & ((potential((tk(P140)>=1) & (tk(P267)>=1)))) ) ) ))) | (EG( ( (! (! ((potential((tk(P237)>=1)))))) & (! ( ((potential((tk(P144)>=1) & (tk(P253)>=1) & (tk(P266)>=1)))) | ((potential((tk(P171)>=1) & (tk(P267)>=1)))) )) ))) )
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-11 ( (EX( (EF( ((potential((tk(P33)>=1)))))))) & (AU( ((potential((tk(P121)>=1) & (tk(P180)>=1) & (tk(P266)>=1)))) , (EF( ((potential((tk(P37)>=1) & (tk(P192)>=1) & (tk(P266)>=1)))))) )) )
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-12 ( (! ( ((potential((tk(P253)>=1)))) | ( (AG( ((potential((tk(P85)>=1) & (tk(P132)>=1) & (tk(P266)>=1)))))) | (AF( ((potential((tk(P25)>=1) & (tk(P252)>=1) & (tk(P266)>=1)))))) ) )) & ( (EF( ( ( ((potential((tk(P49)>=1) & (tk(P144)>=1) & (tk(P266)>=1)))) & ((potential((tk(P204)>=1)))) ) & ( ((potential((tk(P228)>=1) & (tk(P241)>=1) & (tk(P266)>=1)))) & ((potential((tk(P47)>=1)))) ) ))) | (EG( (EX( ((potential((tk(P49)>=1) & (tk(P216)>=1) & (tk(P266)>=1)))))))) ) )
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-13 (EU( ( ( ((potential((tk(P85)>=1) & (tk(P252)>=1) & (tk(P266)>=1)))) | (! ((potential((tk(P117)>=1))))) ) & (EF( ((potential((tk(P145)>=1) & (tk(P168)>=1) & (tk(P266)>=1)))))) ) , (AU( ((potential((tk(P61)>=1) & (tk(P180)>=1) & (tk(P266)>=1)))) , ((potential((tk(P210)>=1)))) )) ))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-14 (AG( ( ( (EF( ((potential((tk(P137)>=1) & (tk(P267)>=1)))))) | (AG( ((potential((tk(P60)>=1) & (tk(P85)>=1) & (tk(P266)>=1)))))) ) & (EF( ( ((potential((tk(P13)>=1) & (tk(P60)>=1) & (tk(P266)>=1)))) & ((potential((tk(P72)>=1) & (tk(P266)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-22a-CTLFireability-15 (! (! (EF( (AX( ((potential((tk(P205)>=1) & (tk(P228)>=1) & (tk(P266)>=1))))))))))

BK_STOP 1589456424181

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 476 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="FlexibleBarrier-PT-22a"
export BK_EXAMINATION="CTLFireability"
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 FlexibleBarrier-PT-22a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972600404"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-22a.tgz
mv FlexibleBarrier-PT-22a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;