Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r067-smll-167814394800416.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CloudDeployment-PT-5a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394800416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 668K
-rw-r--r-- 1 mcc users 7.0K Feb 25 15:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 15:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 15:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 15:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 15:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 25 15:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 230K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678304241227

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudDeployment-PT-5a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 180 places, 675 transitions, 3959 arcs.
AT ITER 0 NEW BEST:: SOT 93429 SOS 54438 HAS SOPS 50899 HAS SOUS 43124 HAS SOUPS 39986 WITH SCORE 40040.438
AT ITER 1 NEW BEST:: SOT 93401 SOS 54382 HAS SOPS 50905 HAS SOUS 42810 HAS SOUPS 39734 WITH SCORE 39788.382
AT ITER 3 NEW BEST:: SOT 93381 SOS 54275 HAS SOPS 50798 HAS SOUS 42737 HAS SOUPS 39661 WITH SCORE 39715.275
AT ITER 7 NEW BEST:: SOT 93469 SOS 54397 HAS SOPS 50920 HAS SOUS 42603 HAS SOUPS 39527 WITH SCORE 39581.397
AT ITER 9 NEW BEST:: SOT 93417 SOS 54241 HAS SOPS 50816 HAS SOUS 42259 HAS SOUPS 39235 WITH SCORE 39289.241
AT ITER 10 NEW BEST:: SOT 93417 SOS 54240 HAS SOPS 50815 HAS SOUS 42258 HAS SOUPS 39234 WITH SCORE 39288.24
AT ITER 11 NEW BEST:: SOT 93373 SOS 54120 HAS SOPS 50687 HAS SOUS 42171 HAS SOUPS 39106 WITH SCORE 39160.12
AT ITER 12 NEW BEST:: SOT 93373 SOS 54120 HAS SOPS 50753 HAS SOUS 41937 HAS SOUPS 38938 WITH SCORE 38992.12
AT ITER 13 NEW BEST:: SOT 93005 SOS 55390 HAS SOPS 50786 HAS SOUS 41624 HAS SOUPS 38931 WITH SCORE 38986.39
AT ITER 14 NEW BEST:: SOT 93063 SOS 55361 HAS SOPS 50786 HAS SOUS 41450 HAS SOUPS 38786 WITH SCORE 38841.361
AT ITER 16 NEW BEST:: SOT 93063 SOS 55301 HAS SOPS 50726 HAS SOUS 41375 HAS SOUPS 38711 WITH SCORE 38766.301
AT ITER 20 NEW BEST:: SOT 93518 SOS 55786 HAS SOPS 51211 HAS SOUS 41329 HAS SOUPS 38665 WITH SCORE 38720.786
AT ITER 21 NEW BEST:: SOT 93574 SOS 55848 HAS SOPS 51273 HAS SOUS 41187 HAS SOUPS 38523 WITH SCORE 38578.848
AT ITER 22 NEW BEST:: SOT 93368 SOS 56002 HAS SOPS 51202 HAS SOUS 41171 HAS SOUPS 38507 WITH SCORE 38563.002
AT ITER 29 NEW BEST:: SOT 93366 SOS 55999 HAS SOPS 51199 HAS SOUS 41168 HAS SOUPS 38504 WITH SCORE 38559.999
AT ITER 31 NEW BEST:: SOT 93373 SOS 55883 HAS SOPS 51083 HAS SOUS 40799 HAS SOUPS 38135 WITH SCORE 38190.883
AT ITER 33 NEW BEST:: SOT 93377 SOS 55887 HAS SOPS 51087 HAS SOUS 40795 HAS SOUPS 38131 WITH SCORE 38186.887
AT ITER 35 NEW BEST:: SOT 93302 SOS 55811 HAS SOPS 51011 HAS SOUS 40719 HAS SOUPS 38055 WITH SCORE 38110.811
AT ITER 36 NEW BEST:: SOT 93139 SOS 57389 HAS SOPS 51054 HAS SOUS 40690 HAS SOUPS 38006 WITH SCORE 38063.389
AT ITER 39 NEW BEST:: SOT 93139 SOS 57369 HAS SOPS 51034 HAS SOUS 40670 HAS SOUPS 37986 WITH SCORE 38043.369
AT ITER 40 NEW BEST:: SOT 93326 SOS 57379 HAS SOPS 51044 HAS SOUS 40139 HAS SOUPS 37455 WITH SCORE 37512.379
AT ITER 42 NEW BEST:: SOT 93352 SOS 57400 HAS SOPS 51032 HAS SOUS 40127 HAS SOUPS 37443 WITH SCORE 37500.4
AT ITER 43 NEW BEST:: SOT 94105 SOS 57787 HAS SOPS 51452 HAS SOUS 39761 HAS SOUPS 37077 WITH SCORE 37134.787
AT ITER 45 NEW BEST:: SOT 93912 SOS 57479 HAS SOPS 51165 HAS SOUS 39642 HAS SOUPS 36958 WITH SCORE 37015.479
AT ITER 51 NEW BEST:: SOT 92629 SOS 58481 HAS SOPS 50925 HAS SOUS 39033 HAS SOUPS 36696 WITH SCORE 36754.481
AT ITER 53 NEW BEST:: SOT 92444 SOS 58291 HAS SOPS 50690 HAS SOUS 38412 HAS SOUPS 36075 WITH SCORE 36133.291
AT ITER 57 NEW BEST:: SOT 92444 SOS 58268 HAS SOPS 50667 HAS SOUS 38389 HAS SOUPS 36052 WITH SCORE 36110.268
AT ITER 61 NEW BEST:: SOT 92444 SOS 58227 HAS SOPS 50626 HAS SOUS 38348 HAS SOUPS 36011 WITH SCORE 36069.227
AT ITER 63 NEW BEST:: SOT 92414 SOS 58160 HAS SOPS 50559 HAS SOUS 38281 HAS SOUPS 35944 WITH SCORE 36002.16
AT ITER 65 NEW BEST:: SOT 92394 SOS 58110 HAS SOPS 50509 HAS SOUS 38251 HAS SOUPS 35914 WITH SCORE 35972.11
AT ITER 66 NEW BEST:: SOT 92382 SOS 58132 HAS SOPS 50347 HAS SOUS 38315 HAS SOUPS 35909 WITH SCORE 35967.132
AT ITER 69 NEW BEST:: SOT 92382 SOS 58086 HAS SOPS 50242 HAS SOUS 38011 HAS SOUPS 35570 WITH SCORE 35628.086
AT ITER 70 NEW BEST:: SOT 92700 SOS 58296 HAS SOPS 50497 HAS SOUS 37773 HAS SOUPS 35332 WITH SCORE 35390.296
AT ITER 72 NEW BEST:: SOT 91035 SOS 56550 HAS SOPS 48751 HAS SOUS 36027 HAS SOUPS 33586 WITH SCORE 33642.55
AT ITER 73 NEW BEST:: SOT 91134 SOS 56610 HAS SOPS 48896 HAS SOUS 35897 HAS SOUPS 33509 WITH SCORE 33565.61
AT ITER 74 NEW BEST:: SOT 91082 SOS 56471 HAS SOPS 48757 HAS SOUS 35593 HAS SOUPS 33205 WITH SCORE 33261.471
AT ITER 75 NEW BEST:: SOT 91041 SOS 56374 HAS SOPS 48595 HAS SOUS 35581 HAS SOUPS 33153 WITH SCORE 33209.374
AT ITER 77 NEW BEST:: SOT 90887 SOS 56220 HAS SOPS 48441 HAS SOUS 35427 HAS SOUPS 32999 WITH SCORE 33055.22
AT ITER 79 NEW BEST:: SOT 91346 SOS 55331 HAS SOPS 48515 HAS SOUS 35039 HAS SOUPS 32631 WITH SCORE 32686.331
AT ITER 81 NEW BEST:: SOT 91429 SOS 55351 HAS SOPS 48612 HAS SOUS 34856 HAS SOUPS 32517 WITH SCORE 32572.351
AT ITER 86 NEW BEST:: SOT 91939 SOS 54970 HAS SOPS 48679 HAS SOUS 34864 HAS SOUPS 32364 WITH SCORE 32418.97
AT ITER 87 NEW BEST:: SOT 91941 SOS 54968 HAS SOPS 48676 HAS SOUS 34860 HAS SOUPS 32359 WITH SCORE 32413.968
AT ITER 91 NEW BEST:: SOT 91944 SOS 54953 HAS SOPS 48653 HAS SOUS 34841 HAS SOUPS 32336 WITH SCORE 32390.953
AT ITER 92 NEW BEST:: SOT 91943 SOS 54978 HAS SOPS 48595 HAS SOUS 34861 HAS SOUPS 32328 WITH SCORE 32382.978
AT ITER 96 NEW BEST:: SOT 91803 SOS 55153 HAS SOPS 48525 HAS SOUS 34850 HAS SOUPS 32317 WITH SCORE 32372.153
AT ITER 97 NEW BEST:: SOT 91699 SOS 55240 HAS SOPS 48671 HAS SOUS 34599 HAS SOUPS 32125 WITH SCORE 32180.24
AT ITER 105 NEW BEST:: SOT 91909 SOS 55323 HAS SOPS 48995 HAS SOUS 34381 HAS SOUPS 32044 WITH SCORE 32099.323
AT ITER 108 NEW BEST:: SOT 91889 SOS 55287 HAS SOPS 48959 HAS SOUS 34373 HAS SOUPS 32036 WITH SCORE 32091.287
AT ITER 111 NEW BEST:: SOT 91833 SOS 55203 HAS SOPS 48870 HAS SOUS 34289 HAS SOUPS 31947 WITH SCORE 32002.203
AT ITER 114 NEW BEST:: SOT 91893 SOS 55243 HAS SOPS 48930 HAS SOUS 34249 HAS SOUPS 31907 WITH SCORE 31962.243
AT ITER 116 NEW BEST:: SOT 91919 SOS 55165 HAS SOPS 48852 HAS SOUS 34197 HAS SOUPS 31855 WITH SCORE 31910.165
AT ITER 117 NEW BEST:: SOT 92007 SOS 55254 HAS SOPS 49030 HAS SOUS 34026 HAS SOUPS 31773 WITH SCORE 31828.254
AT ITER 118 NEW BEST:: SOT 92101 SOS 55290 HAS SOPS 49104 HAS SOUS 33966 HAS SOUPS 31751 WITH SCORE 31806.29
AT ITER 120 NEW BEST:: SOT 91882 SOS 55164 HAS SOPS 48978 HAS SOUS 32584 HAS SOUPS 30369 WITH SCORE 30424.164
AT ITER 121 NEW BEST:: SOT 92678 SOS 55804 HAS SOPS 49618 HAS SOUS 32506 HAS SOUPS 30291 WITH SCORE 30346.804
AT ITER 122 NEW BEST:: SOT 92390 SOS 55515 HAS SOPS 49365 HAS SOUS 32253 HAS SOUPS 30038 WITH SCORE 30093.515
AT ITER 131 NEW BEST:: SOT 92615 SOS 55693 HAS SOPS 49569 HAS SOUS 32207 HAS SOUPS 29992 WITH SCORE 30047.693
AT ITER 136 NEW BEST:: SOT 92857 SOS 55830 HAS SOPS 49661 HAS SOUS 31954 HAS SOUPS 29754 WITH SCORE 29809.83
AT ITER 141 NEW BEST:: SOT 92856 SOS 55829 HAS SOPS 49659 HAS SOUS 31952 HAS SOUPS 29752 WITH SCORE 29807.829
AT ITER 143 NEW BEST:: SOT 92856 SOS 55817 HAS SOPS 49647 HAS SOUS 31951 HAS SOUPS 29751 WITH SCORE 29806.817
AT ITER 148 NEW BEST:: SOT 92252 SOS 55074 HAS SOPS 49019 HAS SOUS 31757 HAS SOUPS 29672 WITH SCORE 29727.074
AT ITER 154 NEW BEST:: SOT 90820 SOS 54595 HAS SOPS 47753 HAS SOUS 30937 HAS SOUPS 28791 WITH SCORE 28845.595
AT ITER 155 NEW BEST:: SOT 90849 SOS 54679 HAS SOPS 47750 HAS SOUS 29452 HAS SOUPS 27238 WITH SCORE 27292.679
AT ITER 156 NEW BEST:: SOT 90746 SOS 54379 HAS SOPS 47450 HAS SOUS 29286 HAS SOUPS 27072 WITH SCORE 27126.379
AT ITER 159 NEW BEST:: SOT 90676 SOS 54236 HAS SOPS 47214 HAS SOUS 29293 HAS SOUPS 27031 WITH SCORE 27085.236
AT ITER 160 NEW BEST:: SOT 90676 SOS 54226 HAS SOPS 47214 HAS SOUS 29293 HAS SOUPS 27031 WITH SCORE 27085.226
AT ITER 162 NEW BEST:: SOT 90571 SOS 54106 HAS SOPS 47081 HAS SOUS 29248 HAS SOUPS 26986 WITH SCORE 27040.106
AT ITER 163 NEW BEST:: SOT 87217 SOS 51902 HAS SOPS 44654 HAS SOUS 26664 HAS SOUPS 24558 WITH SCORE 24609.902
AT ITER 167 NEW BEST:: SOT 87169 SOS 51878 HAS SOPS 44606 HAS SOUS 26688 HAS SOUPS 24558 WITH SCORE 24609.878
AT ITER 173 NEW BEST:: SOT 86787 SOS 51543 HAS SOPS 44245 HAS SOUS 26525 HAS SOUPS 24395 WITH SCORE 24446.543
AT ITER 176 NEW BEST:: SOT 86799 SOS 51519 HAS SOPS 44221 HAS SOUS 26522 HAS SOUPS 24392 WITH SCORE 24443.519
AT ITER 178 NEW BEST:: SOT 86866 SOS 51509 HAS SOPS 44314 HAS SOUS 26071 HAS SOUPS 24044 WITH SCORE 24095.509
AT ITER 179 NEW BEST:: SOT 86722 SOS 51404 HAS SOPS 44209 HAS SOUS 25966 HAS SOUPS 23939 WITH SCORE 23990.404
AT ITER 182 NEW BEST:: SOT 86926 SOS 51500 HAS SOPS 44305 HAS SOUS 25951 HAS SOUPS 23924 WITH SCORE 23975.5
AT ITER 185 NEW BEST:: SOT 86827 SOS 51350 HAS SOPS 44070 HAS SOUS 25750 HAS SOUPS 23723 WITH SCORE 23774.35
AT ITER 187 NEW BEST:: SOT 86978 SOS 51453 HAS SOPS 44192 HAS SOUS 25749 HAS SOUPS 23722 WITH SCORE 23773.453
AT ITER 190 NEW BEST:: SOT 86929 SOS 51268 HAS SOPS 44007 HAS SOUS 25604 HAS SOUPS 23577 WITH SCORE 23628.268
AT ITER 191 NEW BEST:: SOT 87019 SOS 51358 HAS SOPS 44097 HAS SOUS 25481 HAS SOUPS 23454 WITH SCORE 23505.358
AT ITER 206 NEW BEST:: SOT 87023 SOS 51135 HAS SOPS 44111 HAS SOUS 25464 HAS SOUPS 23433 WITH SCORE 23484.135
AT ITER 207 NEW BEST:: SOT 86987 SOS 51026 HAS SOPS 44117 HAS SOUS 25005 HAS SOUPS 23067 WITH SCORE 23118.026
AT ITER 208 NEW BEST:: SOT 86987 SOS 51016 HAS SOPS 44102 HAS SOUS 25005 HAS SOUPS 23062 WITH SCORE 23113.016
AT ITER 209 NEW BEST:: SOT 85672 SOS 50483 HAS SOPS 43435 HAS SOUS 24138 HAS SOUPS 22309 WITH SCORE 22359.483
AT ITER 212 NEW BEST:: SOT 85815 SOS 50468 HAS SOPS 43420 HAS SOUS 24074 HAS SOUPS 22245 WITH SCORE 22295.468
AT ITER 215 NEW BEST:: SOT 85770 SOS 50423 HAS SOPS 43420 HAS SOUS 24029 HAS SOUPS 22245 WITH SCORE 22295.423
AT ITER 216 NEW BEST:: SOT 85769 SOS 50421 HAS SOPS 43419 HAS SOUS 24026 HAS SOUPS 22243 WITH SCORE 22293.421
AT ITER 217 NEW BEST:: SOT 85745 SOS 50445 HAS SOPS 43371 HAS SOUS 24014 HAS SOUPS 22219 WITH SCORE 22269.445
AT ITER 225 NEW BEST:: SOT 85568 SOS 50354 HAS SOPS 43280 HAS SOUS 23917 HAS SOUPS 22122 WITH SCORE 22172.354
AT ITER 226 NEW BEST:: SOT 85548 SOS 50342 HAS SOPS 43268 HAS SOUS 23909 HAS SOUPS 22114 WITH SCORE 22164.342
AT ITER 227 NEW BEST:: SOT 85546 SOS 50340 HAS SOPS 43266 HAS SOUS 23905 HAS SOUPS 22110 WITH SCORE 22160.34
AT ITER 228 NEW BEST:: SOT 85540 SOS 50331 HAS SOPS 43254 HAS SOUS 23908 HAS SOUPS 22110 WITH SCORE 22160.331
AT ITER 230 NEW BEST:: SOT 85490 SOS 50281 HAS SOPS 43211 HAS SOUS 23901 HAS SOUPS 22103 WITH SCORE 22153.281
AT ITER 241 NEW BEST:: SOT 85383 SOS 50122 HAS SOPS 43162 HAS SOUS 23782 HAS SOUPS 22039 WITH SCORE 22089.122
AT ITER 242 NEW BEST:: SOT 85517 SOS 50293 HAS SOPS 43426 HAS SOUS 23657 HAS SOUPS 21981 WITH SCORE 22031.293
AT ITER 244 NEW BEST:: SOT 85516 SOS 50291 HAS SOPS 43424 HAS SOUS 23657 HAS SOUPS 21981 WITH SCORE 22031.291
AT ITER 246 NEW BEST:: SOT 85562 SOS 50383 HAS SOPS 43562 HAS SOUS 23609 HAS SOUPS 21979 WITH SCORE 22029.383
AT ITER 251 NEW BEST:: SOT 86104 SOS 50919 HAS SOPS 44134 HAS SOUS 23179 HAS SOUPS 21548 WITH SCORE 21598.919
AT ITER 252 NEW BEST:: SOT 86100 SOS 50911 HAS SOPS 44126 HAS SOUS 23173 HAS SOUPS 21542 WITH SCORE 21592.911
AT ITER 264 NEW BEST:: SOT 86024 SOS 50807 HAS SOPS 44022 HAS SOUS 23041 HAS SOUPS 21410 WITH SCORE 21460.807
AT ITER 268 NEW BEST:: SOT 85961 SOS 50670 HAS SOPS 43812 HAS SOUS 23080 HAS SOUPS 21384 WITH SCORE 21434.67
AT ITER 269 NEW BEST:: SOT 85801 SOS 50570 HAS SOPS 43712 HAS SOUS 23042 HAS SOUPS 21346 WITH SCORE 21396.57
AT ITER 272 NEW BEST:: SOT 85809 SOS 50464 HAS SOPS 43663 HAS SOUS 22733 HAS SOUPS 21094 WITH SCORE 21144.464
AT ITER 273 NEW BEST:: SOT 85801 SOS 50452 HAS SOPS 43655 HAS SOUS 22729 HAS SOUPS 21090 WITH SCORE 21140.452
AT ITER 281 NEW BEST:: SOT 85954 SOS 50783 HAS SOPS 43978 HAS SOUS 21635 HAS SOUPS 19996 WITH SCORE 20046.783
AT ITER 294 NEW BEST:: SOT 85936 SOS 50765 HAS SOPS 43978 HAS SOUS 21599 HAS SOUPS 19978 WITH SCORE 20028.765
AT ITER 297 NEW BEST:: SOT 85956 SOS 50723 HAS SOPS 43936 HAS SOUS 21599 HAS SOUPS 19978 WITH SCORE 20028.723
AT ITER 299 NEW BEST:: SOT 85603 SOS 51752 HAS SOPS 43862 HAS SOUS 21474 HAS SOUPS 19948 WITH SCORE 19999.752
AT ITER 304 NEW BEST:: SOT 85805 SOS 51842 HAS SOPS 44003 HAS SOUS 21451 HAS SOUPS 19925 WITH SCORE 19976.842
AT ITER 306 NEW BEST:: SOT 85922 SOS 51893 HAS SOPS 44054 HAS SOUS 21385 HAS SOUPS 19859 WITH SCORE 19910.893
AT ITER 309 NEW BEST:: SOT 85957 SOS 51928 HAS SOPS 44078 HAS SOUS 21371 HAS SOUPS 19845 WITH SCORE 19896.928
AT ITER 314 NEW BEST:: SOT 85945 SOS 51940 HAS SOPS 44054 HAS SOUS 21353 HAS SOUPS 19821 WITH SCORE 19872.94
AT ITER 324 NEW BEST:: SOT 86008 SOS 52023 HAS SOPS 44326 HAS SOUS 21095 HAS SOUPS 19707 WITH SCORE 19759.023
AT ITER 342 NEW BEST:: SOT 85911 SOS 51594 HAS SOPS 43903 HAS SOUS 20394 HAS SOUPS 19006 WITH SCORE 19057.594
AT ITER 345 NEW BEST:: SOT 85887 SOS 51586 HAS SOPS 43889 HAS SOUS 20376 HAS SOUPS 18986 WITH SCORE 19037.586
AT ITER 352 NEW BEST:: SOT 85887 SOS 51447 HAS SOPS 43750 HAS SOUS 20333 HAS SOUPS 18943 WITH SCORE 18994.447
AT ITER 354 NEW BEST:: SOT 86145 SOS 51607 HAS SOPS 43999 HAS SOUS 20190 HAS SOUPS 18889 WITH SCORE 18940.607
AT ITER 355 NEW BEST:: SOT 86129 SOS 51591 HAS SOPS 43983 HAS SOUS 20174 HAS SOUPS 18873 WITH SCORE 18924.591
AT ITER 360 NEW BEST:: SOT 86108 SOS 51509 HAS SOPS 43901 HAS SOUS 20141 HAS SOUPS 18840 WITH SCORE 18891.509
AT ITER 374 NEW BEST:: SOT 86003 SOS 51418 HAS SOPS 43810 HAS SOUS 20093 HAS SOUPS 18792 WITH SCORE 18843.418
AT ITER 377 NEW BEST:: SOT 85961 SOS 51376 HAS SOPS 43768 HAS SOUS 20065 HAS SOUPS 18764 WITH SCORE 18815.376
AT ITER 380 NEW BEST:: SOT 85960 SOS 51375 HAS SOPS 43766 HAS SOUS 20063 HAS SOUPS 18762 WITH SCORE 18813.375
AT ITER 386 NEW BEST:: SOT 85847 SOS 51452 HAS SOPS 43729 HAS SOUS 20071 HAS SOUPS 18752 WITH SCORE 18803.452
AT ITER 388 NEW BEST:: SOT 85853 SOS 51454 HAS SOPS 43799 HAS SOUS 20047 HAS SOUPS 18732 WITH SCORE 18783.454
AT ITER 391 NEW BEST:: SOT 85865 SOS 51513 HAS SOPS 43858 HAS SOUS 20042 HAS SOUPS 18727 WITH SCORE 18778.513
AT ITER 398 NEW BEST:: SOT 85881 SOS 51513 HAS SOPS 43858 HAS SOUS 20034 HAS SOUPS 18719 WITH SCORE 18770.513
AT ITER 412 NEW BEST:: SOT 85988 SOS 51523 HAS SOPS 43895 HAS SOUS 19997 HAS SOUPS 18682 WITH SCORE 18733.523
AT ITER 415 NEW BEST:: SOT 85966 SOS 51501 HAS SOPS 43873 HAS SOUS 19975 HAS SOUPS 18660 WITH SCORE 18711.501
AT ITER 419 NEW BEST:: SOT 85946 SOS 51481 HAS SOPS 43858 HAS SOUS 19965 HAS SOUPS 18650 WITH SCORE 18701.481
AT ITER 420 NEW BEST:: SOT 85758 SOS 51331 HAS SOPS 43781 HAS SOUS 19963 HAS SOUPS 18646 WITH SCORE 18697.331
AT ITER 432 NEW BEST:: SOT 85744 SOS 51277 HAS SOPS 43753 HAS SOUS 19911 HAS SOUPS 18620 WITH SCORE 18671.277
AT ITER 443 NEW BEST:: SOT 85752 SOS 51266 HAS SOPS 43750 HAS SOUS 19870 HAS SOUPS 18587 WITH SCORE 18638.266
AT ITER 449 NEW BEST:: SOT 85781 SOS 51249 HAS SOPS 43836 HAS SOUS 19772 HAS SOUPS 18525 WITH SCORE 18576.249
AT ITER 462 NEW BEST:: SOT 85777 SOS 51253 HAS SOPS 43828 HAS SOUS 19766 HAS SOUPS 18517 WITH SCORE 18568.253
AT ITER 469 NEW BEST:: SOT 85836 SOS 51144 HAS SOPS 43738 HAS SOUS 19729 HAS SOUPS 18480 WITH SCORE 18531.144
AT ITER 473 NEW BEST:: SOT 85910 SOS 51181 HAS SOPS 43812 HAS SOUS 19559 HAS SOUPS 18347 WITH SCORE 18398.181
AT ITER 474 NEW BEST:: SOT 85949 SOS 51170 HAS SOPS 43795 HAS SOUS 19498 HAS SOUPS 18286 WITH SCORE 18337.17
AT ITER 475 NEW BEST:: SOT 85957 SOS 51186 HAS SOPS 43811 HAS SOUS 19497 HAS SOUPS 18285 WITH SCORE 18336.186
AT ITER 484 NEW BEST:: SOT 86002 SOS 51148 HAS SOPS 43745 HAS SOUS 19418 HAS SOUPS 18178 WITH SCORE 18229.148
AT ITER 487 NEW BEST:: SOT 86025 SOS 51083 HAS SOPS 43655 HAS SOUS 19386 HAS SOUPS 18115 WITH SCORE 18166.083
AT ITER 489 NEW BEST:: SOT 85990 SOS 51064 HAS SOPS 43636 HAS SOUS 19378 HAS SOUPS 18107 WITH SCORE 18158.064
AT ITER 491 NEW BEST:: SOT 86191 SOS 51097 HAS SOPS 43754 HAS SOUS 19334 HAS SOUPS 18063 WITH SCORE 18114.097
AT ITER 498 NEW BEST:: SOT 86139 SOS 51030 HAS SOPS 43716 HAS SOUS 19227 HAS SOUPS 17956 WITH SCORE 18007.03
AT ITER 504 NEW BEST:: SOT 86083 SOS 50958 HAS SOPS 43644 HAS SOUS 19183 HAS SOUPS 17912 WITH SCORE 17962.958
AT ITER 505 NEW BEST:: SOT 86082 SOS 50953 HAS SOPS 43639 HAS SOUS 19182 HAS SOUPS 17911 WITH SCORE 17961.953
AT ITER 508 NEW BEST:: SOT 86085 SOS 50939 HAS SOPS 43625 HAS SOUS 19172 HAS SOUPS 17901 WITH SCORE 17951.939
AT ITER 509 NEW BEST:: SOT 86075 SOS 50919 HAS SOPS 43605 HAS SOUS 19172 HAS SOUPS 17901 WITH SCORE 17951.919
AT ITER 510 NEW BEST:: SOT 86075 SOS 50847 HAS SOPS 43533 HAS SOUS 19172 HAS SOUPS 17901 WITH SCORE 17951.847
AT ITER 512 NEW BEST:: SOT 86100 SOS 50858 HAS SOPS 43569 HAS SOUS 19110 HAS SOUPS 17853 WITH SCORE 17903.858
AT ITER 514 NEW BEST:: SOT 86098 SOS 50857 HAS SOPS 43568 HAS SOUS 19109 HAS SOUPS 17852 WITH SCORE 17902.857
AT ITER 518 NEW BEST:: SOT 86449 SOS 51190 HAS SOPS 43887 HAS SOUS 17812 HAS SOUPS 16555 WITH SCORE 16606.19
AT ITER 521 NEW BEST:: SOT 86403 SOS 51094 HAS SOPS 43795 HAS SOUS 17720 HAS SOUPS 16463 WITH SCORE 16514.094
AT ITER 524 NEW BEST:: SOT 86365 SOS 51039 HAS SOPS 43740 HAS SOUS 17687 HAS SOUPS 16430 WITH SCORE 16481.039
AT ITER 543 NEW BEST:: SOT 86365 SOS 51030 HAS SOPS 43730 HAS SOUS 17681 HAS SOUPS 16424 WITH SCORE 16475.03
AT ITER 553 NEW BEST:: SOT 86283 SOS 50861 HAS SOPS 43531 HAS SOUS 17599 HAS SOUPS 16298 WITH SCORE 16348.861
AT ITER 554 NEW BEST:: SOT 86186 SOS 50847 HAS SOPS 43517 HAS SOUS 17594 HAS SOUPS 16293 WITH SCORE 16343.847
AT ITER 555 NEW BEST:: SOT 86218 SOS 50795 HAS SOPS 43436 HAS SOUS 17613 HAS SOUPS 16283 WITH SCORE 16333.795
AT ITER 570 NEW BEST:: SOT 86172 SOS 50703 HAS SOPS 43387 HAS SOUS 17608 HAS SOUPS 16278 WITH SCORE 16328.703
AT ITER 576 NEW BEST:: SOT 86071 SOS 50939 HAS SOPS 43359 HAS SOUS 17553 HAS SOUPS 16255 WITH SCORE 16305.939
AT ITER 580 NEW BEST:: SOT 86071 SOS 50632 HAS SOPS 43044 HAS SOUS 17388 HAS SOUPS 16090 WITH SCORE 16140.632
AT ITER 581 NEW BEST:: SOT 85977 SOS 50524 HAS SOPS 42930 HAS SOUS 17266 HAS SOUPS 15968 WITH SCORE 16018.524
AT ITER 587 NEW BEST:: SOT 86007 SOS 50492 HAS SOPS 42898 HAS SOUS 17238 HAS SOUPS 15940 WITH SCORE 15990.492
AT ITER 588 NEW BEST:: SOT 86033 SOS 50349 HAS SOPS 42820 HAS SOUS 17212 HAS SOUPS 15927 WITH SCORE 15977.349
AT ITER 590 NEW BEST:: SOT 85924 SOS 50044 HAS SOPS 42564 HAS SOUS 17103 HAS SOUPS 15818 WITH SCORE 15868.044
AT ITER 593 NEW BEST:: SOT 85916 SOS 50040 HAS SOPS 42560 HAS SOUS 17099 HAS SOUPS 15814 WITH SCORE 15864.04
AT ITER 594 NEW BEST:: SOT 85881 SOS 50035 HAS SOPS 42535 HAS SOUS 17053 HAS SOUPS 15768 WITH SCORE 15818.035
AT ITER 598 NEW BEST:: SOT 86181 SOS 49978 HAS SOPS 42478 HAS SOUS 16997 HAS SOUPS 15712 WITH SCORE 15761.978
AT ITER 602 NEW BEST:: SOT 86181 SOS 49964 HAS SOPS 42464 HAS SOUS 16983 HAS SOUPS 15698 WITH SCORE 15747.964
AT ITER 606 NEW BEST:: SOT 86251 SOS 50091 HAS SOPS 42644 HAS SOUS 16808 HAS SOUPS 15577 WITH SCORE 15627.091
AT ITER 608 NEW BEST:: SOT 86315 SOS 50075 HAS SOPS 42628 HAS SOUS 16808 HAS SOUPS 15577 WITH SCORE 15627.075
AT ITER 630 NEW BEST:: SOT 86345 SOS 50105 HAS SOPS 42653 HAS SOUS 16803 HAS SOUPS 15572 WITH SCORE 15622.105
AT ITER 633 NEW BEST:: SOT 86345 SOS 50001 HAS SOPS 42549 HAS SOUS 16777 HAS SOUPS 15546 WITH SCORE 15596.001
AT ITER 641 NEW BEST:: SOT 86337 SOS 49993 HAS SOPS 42541 HAS SOUS 16769 HAS SOUPS 15538 WITH SCORE 15587.993
AT ITER 644 NEW BEST:: SOT 86428 SOS 49947 HAS SOPS 42495 HAS SOUS 16703 HAS SOUPS 15472 WITH SCORE 15521.947
AT ITER 646 NEW BEST:: SOT 85771 SOS 49258 HAS SOPS 41806 HAS SOUS 16600 HAS SOUPS 15369 WITH SCORE 15418.258
AT ITER 653 NEW BEST:: SOT 85763 SOS 49242 HAS SOPS 41790 HAS SOUS 16590 HAS SOUPS 15359 WITH SCORE 15408.242
AT ITER 654 NEW BEST:: SOT 85725 SOS 49144 HAS SOPS 41759 HAS SOUS 16559 HAS SOUPS 15328 WITH SCORE 15377.144
AT ITER 659 NEW BEST:: SOT 85743 SOS 49069 HAS SOPS 41684 HAS SOUS 16441 HAS SOUPS 15210 WITH SCORE 15259.069
AT ITER 662 NEW BEST:: SOT 85765 SOS 49047 HAS SOPS 41662 HAS SOUS 16397 HAS SOUPS 15166 WITH SCORE 15215.047
AT ITER 665 NEW BEST:: SOT 86109 SOS 48275 HAS SOPS 41674 HAS SOUS 16461 HAS SOUPS 15155 WITH SCORE 15203.275
AT ITER 666 NEW BEST:: SOT 86081 SOS 48268 HAS SOPS 41667 HAS SOUS 16391 HAS SOUPS 15085 WITH SCORE 15133.268
AT ITER 687 NEW BEST:: SOT 86118 SOS 48294 HAS SOPS 41693 HAS SOUS 16380 HAS SOUPS 15074 WITH SCORE 15122.294
AT ITER 714 NEW BEST:: SOT 86258 SOS 48274 HAS SOPS 41673 HAS SOUS 16368 HAS SOUPS 15062 WITH SCORE 15110.274
AT ITER 719 NEW BEST:: SOT 85932 SOS 48482 HAS SOPS 41619 HAS SOUS 16254 HAS SOUPS 15008 WITH SCORE 15056.482
AT ITER 725 NEW BEST:: SOT 85849 SOS 48340 HAS SOPS 41490 HAS SOUS 16204 HAS SOUPS 14948 WITH SCORE 14996.34
AT ITER 733 NEW BEST:: SOT 85851 SOS 48332 HAS SOPS 41482 HAS SOUS 16198 HAS SOUPS 14942 WITH SCORE 14990.332
AT ITER 746 NEW BEST:: SOT 85839 SOS 48314 HAS SOPS 41464 HAS SOUS 16192 HAS SOUPS 14936 WITH SCORE 14984.314
AT ITER 768 NEW BEST:: SOT 85830 SOS 48309 HAS SOPS 41458 HAS SOUS 16193 HAS SOUPS 14933 WITH SCORE 14981.309
AT ITER 779 NEW BEST:: SOT 85826 SOS 48301 HAS SOPS 41450 HAS SOUS 16191 HAS SOUPS 14931 WITH SCORE 14979.301
AT ITER 783 NEW BEST:: SOT 85837 SOS 48279 HAS SOPS 41428 HAS SOUS 16169 HAS SOUPS 14909 WITH SCORE 14957.279
AT ITER 793 NEW BEST:: SOT 86088 SOS 48530 HAS SOPS 41679 HAS SOUS 16139 HAS SOUPS 14879 WITH SCORE 14927.53
AT ITER 802 NEW BEST:: SOT 85739 SOS 49493 HAS SOPS 41509 HAS SOUS 16078 HAS SOUPS 14737 WITH SCORE 14786.493
AT ITER 803 NEW BEST:: SOT 85715 SOS 49469 HAS SOPS 41479 HAS SOUS 16046 HAS SOUPS 14705 WITH SCORE 14754.469
AT ITER 810 NEW BEST:: SOT 85706 SOS 49456 HAS SOPS 41416 HAS SOUS 16037 HAS SOUPS 14691 WITH SCORE 14740.456
AT ITER 827 NEW BEST:: SOT 85618 SOS 49424 HAS SOPS 41384 HAS SOUS 16003 HAS SOUPS 14657 WITH SCORE 14706.424
AT ITER 832 NEW BEST:: SOT 85578 SOS 49432 HAS SOPS 41304 HAS SOUS 16001 HAS SOUPS 14627 WITH SCORE 14676.432
AT ITER 839 NEW BEST:: SOT 85456 SOS 49485 HAS SOPS 41295 HAS SOUS 15978 HAS SOUPS 14609 WITH SCORE 14658.485
AT ITER 851 NEW BEST:: SOT 85460 SOS 49348 HAS SOPS 41158 HAS SOUS 15920 HAS SOUPS 14551 WITH SCORE 14600.348
AT ITER 855 NEW BEST:: SOT 85491 SOS 49355 HAS SOPS 41165 HAS SOUS 15892 HAS SOUPS 14523 WITH SCORE 14572.355
AT ITER 861 NEW BEST:: SOT 85562 SOS 49317 HAS SOPS 41163 HAS SOUS 15811 HAS SOUPS 14478 WITH SCORE 14527.317
AT ITER 868 NEW BEST:: SOT 85555 SOS 49288 HAS SOPS 41134 HAS SOUS 15804 HAS SOUPS 14471 WITH SCORE 14520.288
AT ITER 876 NEW BEST:: SOT 85423 SOS 49199 HAS SOPS 41045 HAS SOUS 15765 HAS SOUPS 14432 WITH SCORE 14481.199
AT ITER 898 NEW BEST:: SOT 85414 SOS 49190 HAS SOPS 41036 HAS SOUS 15736 HAS SOUPS 14403 WITH SCORE 14452.19
AT ITER 899 NEW BEST:: SOT 85339 SOS 49086 HAS SOPS 40932 HAS SOUS 15649 HAS SOUPS 14316 WITH SCORE 14365.086
AT ITER 906 NEW BEST:: SOT 85321 SOS 49050 HAS SOPS 40896 HAS SOUS 15622 HAS SOUPS 14289 WITH SCORE 14338.05
AT ITER 910 NEW BEST:: SOT 85333 SOS 49039 HAS SOPS 40885 HAS SOUS 15605 HAS SOUPS 14272 WITH SCORE 14321.039
AT ITER 920 NEW BEST:: SOT 85451 SOS 49086 HAS SOPS 41003 HAS SOUS 15505 HAS SOUPS 14243 WITH SCORE 14292.086
AT ITER 928 NEW BEST:: SOT 85212 SOS 45801 HAS SOPS 36913 HAS SOUS 15347 HAS SOUPS 14027 WITH SCORE 14072.801
AT ITER 931 NEW BEST:: SOT 85210 SOS 45799 HAS SOPS 36909 HAS SOUS 15343 HAS SOUPS 14023 WITH SCORE 14068.799
AT ITER 941 NEW BEST:: SOT 85199 SOS 45777 HAS SOPS 36872 HAS SOUS 15343 HAS SOUPS 14008 WITH SCORE 14053.777
AT ITER 943 NEW BEST:: SOT 85201 SOS 45761 HAS SOPS 36856 HAS SOUS 15339 HAS SOUPS 14004 WITH SCORE 14049.761
AT ITER 968 NEW BEST:: SOT 85201 SOS 45758 HAS SOPS 36853 HAS SOUS 15331 HAS SOUPS 13996 WITH SCORE 14041.758
AT ITER 970 NEW BEST:: SOT 85201 SOS 45810 HAS SOPS 36905 HAS SOUS 15321 HAS SOUPS 13986 WITH SCORE 14031.81
AT ITER 973 NEW BEST:: SOT 85367 SOS 45985 HAS SOPS 37071 HAS SOUS 15286 HAS SOUPS 13942 WITH SCORE 13987.985
AT ITER 974 NEW BEST:: SOT 85345 SOS 45941 HAS SOPS 36964 HAS SOUS 15242 HAS SOUPS 13891 WITH SCORE 13936.941
AT ITER 975 NEW BEST:: SOT 85349 SOS 45943 HAS SOPS 36970 HAS SOUS 15234 HAS SOUPS 13885 WITH SCORE 13930.943
AT ITER 977 NEW BEST:: SOT 85344 SOS 45939 HAS SOPS 36966 HAS SOUS 15106 HAS SOUPS 13757 WITH SCORE 13802.939
AT ITER 981 NEW BEST:: SOT 85344 SOS 45934 HAS SOPS 36962 HAS SOUS 15104 HAS SOUPS 13755 WITH SCORE 13800.934
AT ITER 991 NEW BEST:: SOT 84815 SOS 45458 HAS SOPS 36685 HAS SOUS 15009 HAS SOUPS 13646 WITH SCORE 13691.458
AT ITER 993 NEW BEST:: SOT 84815 SOS 45428 HAS SOPS 36655 HAS SOUS 14999 HAS SOUPS 13636 WITH SCORE 13681.428
AT ITER 1002 NEW BEST:: SOT 84830 SOS 45308 HAS SOPS 36650 HAS SOUS 15009 HAS SOUPS 13636 WITH SCORE 13681.308
AT ITER 1003 NEW BEST:: SOT 85057 SOS 45476 HAS SOPS 36693 HAS SOUS 14839 HAS SOUPS 13480 WITH SCORE 13525.476
AT ITER 1008 NEW BEST:: SOT 85057 SOS 45419 HAS SOPS 36636 HAS SOUS 14769 HAS SOUPS 13410 WITH SCORE 13455.419
AT ITER 1012 NEW BEST:: SOT 85145 SOS 45515 HAS SOPS 36729 HAS SOUS 14710 HAS SOUPS 13362 WITH SCORE 13407.515
AT ITER 1014 NEW BEST:: SOT 85166 SOS 43539 HAS SOPS 33895 HAS SOUS 14682 HAS SOUPS 13256 WITH SCORE 13299.539
AT ITER 1027 NEW BEST:: SOT 85163 SOS 43539 HAS SOPS 33895 HAS SOUS 14679 HAS SOUPS 13253 WITH SCORE 13296.539
AT ITER 1032 NEW BEST:: SOT 85414 SOS 43720 HAS SOPS 34111 HAS SOUS 14659 HAS SOUPS 13233 WITH SCORE 13276.72
AT ITER 1033 NEW BEST:: SOT 85386 SOS 43698 HAS SOPS 34072 HAS SOUS 14597 HAS SOUPS 13154 WITH SCORE 13197.698
AT ITER 1038 NEW BEST:: SOT 85410 SOS 43688 HAS SOPS 34062 HAS SOUS 14553 HAS SOUPS 13110 WITH SCORE 13153.688
AT ITER 1039 NEW BEST:: SOT 85404 SOS 43676 HAS SOPS 34050 HAS SOUS 14547 HAS SOUPS 13104 WITH SCORE 13147.676
AT ITER 1044 NEW BEST:: SOT 85369 SOS 45140 HAS SOPS 34030 HAS SOUS 14591 HAS SOUPS 13092 WITH SCORE 13137.14
AT ITER 1045 NEW BEST:: SOT 85308 SOS 42826 HAS SOPS 29370 HAS SOUS 14477 HAS SOUPS 12772 WITH SCORE 12814.826
AT ITER 1047 NEW BEST:: SOT 85230 SOS 42943 HAS SOPS 29292 HAS SOUS 14477 HAS SOUPS 12733 WITH SCORE 12775.943
AT ITER 1048 NEW BEST:: SOT 85228 SOS 42931 HAS SOPS 29280 HAS SOUS 14458 HAS SOUPS 12714 WITH SCORE 12756.931
AT ITER 1071 NEW BEST:: SOT 85157 SOS 43156 HAS SOPS 29341 HAS SOUS 14480 HAS SOUPS 12702 WITH SCORE 12745.156
AT ITER 1086 NEW BEST:: SOT 85123 SOS 43122 HAS SOPS 29294 HAS SOUS 14433 HAS SOUPS 12655 WITH SCORE 12698.122
AT ITER 1096 NEW BEST:: SOT 84993 SOS 43022 HAS SOPS 29194 HAS SOUS 14418 HAS SOUPS 12640 WITH SCORE 12683.022
AT ITER 1097 NEW BEST:: SOT 84975 SOS 42925 HAS SOPS 29097 HAS SOUS 14412 HAS SOUPS 12634 WITH SCORE 12676.925
AT ITER 1099 NEW BEST:: SOT 84971 SOS 42922 HAS SOPS 29094 HAS SOUS 14410 HAS SOUPS 12632 WITH SCORE 12674.922
AT ITER 1113 NEW BEST:: SOT 84985 SOS 42880 HAS SOPS 29052 HAS SOUS 14410 HAS SOUPS 12632 WITH SCORE 12674.88
AT ITER 1114 NEW BEST:: SOT 84942 SOS 42837 HAS SOPS 29039 HAS SOUS 14393 HAS SOUPS 12619 WITH SCORE 12661.837
AT ITER 1117 NEW BEST:: SOT 84686 SOS 42830 HAS SOPS 29032 HAS SOUS 14385 HAS SOUPS 12611 WITH SCORE 12653.83
AT ITER 1126 NEW BEST:: SOT 84431 SOS 42837 HAS SOPS 29259 HAS SOUS 14287 HAS SOUPS 12513 WITH SCORE 12555.837
AT ITER 1151 NEW BEST:: SOT 84319 SOS 42729 HAS SOPS 29151 HAS SOUS 14240 HAS SOUPS 12466 WITH SCORE 12508.729
AT ITER 1162 NEW BEST:: SOT 84266 SOS 44960 HAS SOPS 28680 HAS SOUS 14247 HAS SOUPS 12343 WITH SCORE 12387.96
AT ITER 1169 NEW BEST:: SOT 84253 SOS 44950 HAS SOPS 28670 HAS SOUS 14244 HAS SOUPS 12340 WITH SCORE 12384.95
AT ITER 1176 NEW BEST:: SOT 84288 SOS 45083 HAS SOPS 28702 HAS SOUS 14346 HAS SOUPS 12339 WITH SCORE 12384.083
AT ITER 1180 NEW BEST:: SOT 84288 SOS 45080 HAS SOPS 28699 HAS SOUS 14343 HAS SOUPS 12336 WITH SCORE 12381.08
AT ITER 1201 NEW BEST:: SOT 84184 SOS 44976 HAS SOPS 28667 HAS SOUS 14231 HAS SOUPS 12260 WITH SCORE 12304.976
AT ITER 1208 NEW BEST:: SOT 84164 SOS 44941 HAS SOPS 28637 HAS SOUS 14216 HAS SOUPS 12240 WITH SCORE 12284.941
AT ITER 1209 NEW BEST:: SOT 84138 SOS 44909 HAS SOPS 28585 HAS SOUS 14217 HAS SOUPS 12201 WITH SCORE 12245.909
AT ITER 1210 NEW BEST:: SOT 84117 SOS 44822 HAS SOPS 28562 HAS SOUS 14169 HAS SOUPS 12182 WITH SCORE 12226.822
AT ITER 1211 NEW BEST:: SOT 84020 SOS 44907 HAS SOPS 28572 HAS SOUS 14230 HAS SOUPS 12178 WITH SCORE 12222.907
AT ITER 1216 NEW BEST:: SOT 84016 SOS 44737 HAS SOPS 28402 HAS SOUS 14218 HAS SOUPS 12166 WITH SCORE 12210.737
AT ITER 1224 NEW BEST:: SOT 84012 SOS 44725 HAS SOPS 28390 HAS SOUS 14210 HAS SOUPS 12158 WITH SCORE 12202.725
AT ITER 1238 NEW BEST:: SOT 84006 SOS 44716 HAS SOPS 28384 HAS SOUS 14207 HAS SOUPS 12152 WITH SCORE 12196.716
AT ITER 1263 NEW BEST:: SOT 82855 SOS 43955 HAS SOPS 28019 HAS SOUS 14144 HAS SOUPS 12139 WITH SCORE 12182.955
AT ITER 1274 NEW BEST:: SOT 82867 SOS 43885 HAS SOPS 27949 HAS SOUS 14136 HAS SOUPS 12131 WITH SCORE 12174.885
AT ITER 1275 NEW BEST:: SOT 82851 SOS 43853 HAS SOPS 27926 HAS SOUS 14113 HAS SOUPS 12108 WITH SCORE 12151.853
AT ITER 1281 NEW BEST:: SOT 82845 SOS 43835 HAS SOPS 27914 HAS SOUS 14089 HAS SOUPS 12096 WITH SCORE 12139.835
AT ITER 1302 NEW BEST:: SOT 82845 SOS 43779 HAS SOPS 28387 HAS SOUS 14079 HAS SOUPS 12096 WITH SCORE 12139.779
AT ITER 1315 NEW BEST:: SOT 82816 SOS 43721 HAS SOPS 28324 HAS SOUS 14091 HAS SOUPS 12060 WITH SCORE 12103.721
AT ITER 1316 NEW BEST:: SOT 82834 SOS 43667 HAS SOPS 28270 HAS SOUS 14091 HAS SOUPS 12060 WITH SCORE 12103.667
AT ITER 1319 NEW BEST:: SOT 82683 SOS 43437 HAS SOPS 28040 HAS SOUS 13995 HAS SOUPS 11964 WITH SCORE 12007.437
AT ITER 1321 NEW BEST:: SOT 82691 SOS 43451 HAS SOPS 28080 HAS SOUS 13991 HAS SOUPS 11960 WITH SCORE 12003.451
AT ITER 1331 NEW BEST:: SOT 82655 SOS 43317 HAS SOPS 27982 HAS SOUS 13893 HAS SOUPS 11862 WITH SCORE 11905.317
AT ITER 1339 NEW BEST:: SOT 82692 SOS 43346 HAS SOPS 28014 HAS SOUS 13877 HAS SOUPS 11846 WITH SCORE 11889.346
AT ITER 1341 NEW BEST:: SOT 82552 SOS 43334 HAS SOPS 27994 HAS SOUS 13823 HAS SOUPS 11818 WITH SCORE 11861.334
AT ITER 1349 NEW BEST:: SOT 82298 SOS 43520 HAS SOPS 27990 HAS SOUS 13782 HAS SOUPS 11814 WITH SCORE 11857.52
AT ITER 1359 NEW BEST:: SOT 82154 SOS 43406 HAS SOPS 27876 HAS SOUS 13698 HAS SOUPS 11730 WITH SCORE 11773.406
AT ITER 1362 NEW BEST:: SOT 81209 SOS 42764 HAS SOPS 27221 HAS SOUS 13313 HAS SOUPS 11279 WITH SCORE 11321.764
AT ITER 1366 NEW BEST:: SOT 81144 SOS 42689 HAS SOPS 27146 HAS SOUS 13303 HAS SOUPS 11269 WITH SCORE 11311.689
AT ITER 1369 NEW BEST:: SOT 80559 SOS 43985 HAS SOPS 26707 HAS SOUS 13287 HAS SOUPS 11199 WITH SCORE 11242.985
AT ITER 1384 NEW BEST:: SOT 80556 SOS 43980 HAS SOPS 26702 HAS SOUS 13283 HAS SOUPS 11195 WITH SCORE 11238.98
AT ITER 1389 NEW BEST:: SOT 80521 SOS 43962 HAS SOPS 26684 HAS SOUS 13267 HAS SOUPS 11179 WITH SCORE 11222.962
AT ITER 1403 NEW BEST:: SOT 80623 SOS 43962 HAS SOPS 26684 HAS SOUS 13236 HAS SOUPS 11148 WITH SCORE 11191.962
AT ITER 1431 NEW BEST:: SOT 80623 SOS 43962 HAS SOPS 26684 HAS SOUS 13224 HAS SOUPS 11142 WITH SCORE 11185.962
AT ITER 1433 NEW BEST:: SOT 80590 SOS 43822 HAS SOPS 26544 HAS SOUS 13180 HAS SOUPS 11098 WITH SCORE 11141.822
AT ITER 1442 NEW BEST:: SOT 80578 SOS 43786 HAS SOPS 26508 HAS SOUS 13120 HAS SOUPS 11048 WITH SCORE 11091.786
AT ITER 1452 NEW BEST:: SOT 78940 SOS 42725 HAS SOPS 26401 HAS SOUS 12910 HAS SOUPS 10941 WITH SCORE 10983.725
AT ITER 1454 NEW BEST:: SOT 78934 SOS 42717 HAS SOPS 26391 HAS SOUS 12896 HAS SOUPS 10927 WITH SCORE 10969.717
AT ITER 1463 NEW BEST:: SOT 78975 SOS 42695 HAS SOPS 26513 HAS SOUS 12868 HAS SOUPS 10915 WITH SCORE 10957.695
AT ITER 1464 NEW BEST:: SOT 78921 SOS 42584 HAS SOPS 26402 HAS SOUS 12757 HAS SOUPS 10804 WITH SCORE 10846.584
AT ITER 1468 NEW BEST:: SOT 78951 SOS 42632 HAS SOPS 26414 HAS SOUS 12699 HAS SOUPS 10746 WITH SCORE 10788.632
AT ITER 1491 NEW BEST:: SOT 79192 SOS 42555 HAS SOPS 26337 HAS SOUS 12627 HAS SOUPS 10674 WITH SCORE 10716.555
AT ITER 1500 NEW BEST:: SOT 78269 SOS 41728 HAS SOPS 25973 HAS SOUS 12281 HAS SOUPS 10343 WITH SCORE 10384.728
AT ITER 1506 NEW BEST:: SOT 78270 SOS 41729 HAS SOPS 25975 HAS SOUS 12275 HAS SOUPS 10341 WITH SCORE 10382.729
AT ITER 1513 NEW BEST:: SOT 78491 SOS 41663 HAS SOPS 25977 HAS SOUS 12336 HAS SOUPS 10340 WITH SCORE 10381.663
AT ITER 1519 NEW BEST:: SOT 78456 SOS 41628 HAS SOPS 25947 HAS SOUS 12306 HAS SOUPS 10315 WITH SCORE 10356.628
AT ITER 1523 NEW BEST:: SOT 78456 SOS 41568 HAS SOPS 25887 HAS SOUS 12306 HAS SOUPS 10315 WITH SCORE 10356.568
AT ITER 1535 NEW BEST:: SOT 78518 SOS 41610 HAS SOPS 25917 HAS SOUS 12284 HAS SOUPS 10281 WITH SCORE 10322.61
AT ITER 1538 NEW BEST:: SOT 78524 SOS 41561 HAS SOPS 25869 HAS SOUS 12202 HAS SOUPS 10199 WITH SCORE 10240.561
AT ITER 1546 NEW BEST:: SOT 78646 SOS 41644 HAS SOPS 25952 HAS SOUS 12172 HAS SOUPS 10169 WITH SCORE 10210.644
AT ITER 1558 NEW BEST:: SOT 78792 SOS 41458 HAS SOPS 25766 HAS SOUS 11996 HAS SOUPS 9993 WITH SCORE 10034.458
AT ITER 1559 NEW BEST:: SOT 78378 SOS 42715 HAS SOPS 25764 HAS SOUS 11960 HAS SOUPS 9970 WITH SCORE 10012.715
AT ITER 1565 NEW BEST:: SOT 78282 SOS 40977 HAS SOPS 21628 HAS SOUS 11905 HAS SOUPS 9515 WITH SCORE 9555.977
AT ITER 1573 NEW BEST:: SOT 78282 SOS 40935 HAS SOPS 21586 HAS SOUS 11899 HAS SOUPS 9509 WITH SCORE 9549.935
AT ITER 1580 NEW BEST:: SOT 78263 SOS 40811 HAS SOPS 21663 HAS SOUS 11846 HAS SOUPS 9467 WITH SCORE 9507.811
AT ITER 1583 NEW BEST:: SOT 77739 SOS 40506 HAS SOPS 21416 HAS SOUS 11716 HAS SOUPS 9262 WITH SCORE 9302.506
AT ITER 1585 NEW BEST:: SOT 77713 SOS 40496 HAS SOPS 21408 HAS SOUS 11716 HAS SOUPS 9262 WITH SCORE 9302.496
AT ITER 1597 NEW BEST:: SOT 77682 SOS 40465 HAS SOPS 21346 HAS SOUS 11654 HAS SOUPS 9200 WITH SCORE 9240.465
AT ITER 1604 NEW BEST:: SOT 77713 SOS 40446 HAS SOPS 21327 HAS SOUS 11615 HAS SOUPS 9161 WITH SCORE 9201.446
AT ITER 1609 NEW BEST:: SOT 77693 SOS 40426 HAS SOPS 20918 HAS SOUS 11575 HAS SOUPS 9121 WITH SCORE 9161.426
AT ITER 1628 NEW BEST:: SOT 77688 SOS 40421 HAS SOPS 20914 HAS SOUS 11577 HAS SOUPS 9118 WITH SCORE 9158.421
AT ITER 1629 NEW BEST:: SOT 77679 SOS 40412 HAS SOPS 20905 HAS SOUS 11568 HAS SOUPS 9109 WITH SCORE 9149.412
AT ITER 1630 NEW BEST:: SOT 77635 SOS 40380 HAS SOPS 20867 HAS SOUS 11518 HAS SOUPS 9059 WITH SCORE 9099.38
AT ITER 1642 NEW BEST:: SOT 76263 SOS 41487 HAS SOPS 20638 HAS SOUS 11483 HAS SOUPS 9015 WITH SCORE 9056.487
AT ITER 1654 NEW BEST:: SOT 76239 SOS 41449 HAS SOPS 20572 HAS SOUS 11340 HAS SOUPS 8872 WITH SCORE 8913.449
AT ITER 1660 NEW BEST:: SOT 76236 SOS 41443 HAS SOPS 20507 HAS SOUS 11335 HAS SOUPS 8867 WITH SCORE 8908.443
AT ITER 1667 NEW BEST:: SOT 76138 SOS 41178 HAS SOPS 20311 HAS SOUS 11345 HAS SOUPS 8822 WITH SCORE 8863.178
AT ITER 1717 NEW BEST:: SOT 76171 SOS 40641 HAS SOPS 20289 HAS SOUS 11310 HAS SOUPS 8800 WITH SCORE 8840.641
AT ITER 1720 NEW BEST:: SOT 76076 SOS 40566 HAS SOPS 20204 HAS SOUS 11306 HAS SOUPS 8800 WITH SCORE 8840.566
AT ITER 1723 NEW BEST:: SOT 76098 SOS 40555 HAS SOPS 20003 HAS SOUS 11281 HAS SOUPS 8775 WITH SCORE 8815.555
AT ITER 1728 NEW BEST:: SOT 75936 SOS 40287 HAS SOPS 19725 HAS SOUS 11204 HAS SOUPS 8695 WITH SCORE 8735.287
AT ITER 1733 NEW BEST:: SOT 75879 SOS 40230 HAS SOPS 19675 HAS SOUS 11202 HAS SOUPS 8693 WITH SCORE 8733.23
AT ITER 1754 NEW BEST:: SOT 75864 SOS 40193 HAS SOPS 19645 HAS SOUS 11199 HAS SOUPS 8683 WITH SCORE 8723.193
AT ITER 1787 NEW BEST:: SOT 75582 SOS 40054 HAS SOPS 19506 HAS SOUS 11047 HAS SOUPS 8531 WITH SCORE 8571.054
AT ITER 1805 NEW BEST:: SOT 75574 SOS 40046 HAS SOPS 19498 HAS SOUS 11042 HAS SOUPS 8526 WITH SCORE 8566.046
AT ITER 1808 NEW BEST:: SOT 75533 SOS 39337 HAS SOPS 16087 HAS SOUS 11004 HAS SOUPS 8045 WITH SCORE 8084.337
AT ITER 1810 NEW BEST:: SOT 75524 SOS 39353 HAS SOPS 16093 HAS SOUS 11008 HAS SOUPS 8039 WITH SCORE 8078.353
AT ITER 1812 NEW BEST:: SOT 75507 SOS 39336 HAS SOPS 16079 HAS SOUS 10964 HAS SOUPS 7993 WITH SCORE 8032.336
AT ITER 1822 NEW BEST:: SOT 74982 SOS 40157 HAS SOPS 15918 HAS SOUS 10964 HAS SOUPS 7970 WITH SCORE 8010.157
AT ITER 1833 NEW BEST:: SOT 74935 SOS 40147 HAS SOPS 15908 HAS SOUS 10938 HAS SOUPS 7944 WITH SCORE 7984.147
AT ITER 1845 NEW BEST:: SOT 74879 SOS 40091 HAS SOPS 15860 HAS SOUS 10938 HAS SOUPS 7944 WITH SCORE 7984.091
AT ITER 1881 NEW BEST:: SOT 74879 SOS 40091 HAS SOPS 15860 HAS SOUS 10772 HAS SOUPS 7804 WITH SCORE 7844.091
AT ITER 1888 NEW BEST:: SOT 74875 SOS 40085 HAS SOPS 15856 HAS SOUS 10768 HAS SOUPS 7798 WITH SCORE 7838.085
AT ITER 1911 NEW BEST:: SOT 74867 SOS 40077 HAS SOPS 15849 HAS SOUS 10767 HAS SOUPS 7797 WITH SCORE 7837.077
AT ITER 1913 NEW BEST:: SOT 74865 SOS 40075 HAS SOPS 15845 HAS SOUS 10763 HAS SOUPS 7793 WITH SCORE 7833.075
AT ITER 1946 NEW BEST:: SOT 74884 SOS 39984 HAS SOPS 15741 HAS SOUS 10755 HAS SOUPS 7784 WITH SCORE 7823.984
AT ITER 1952 NEW BEST:: SOT 74882 SOS 39996 HAS SOPS 15749 HAS SOUS 10755 HAS SOUPS 7783 WITH SCORE 7822.996
AT ITER 1954 NEW BEST:: SOT 74893 SOS 39986 HAS SOPS 15782 HAS SOUS 10738 HAS SOUPS 7775 WITH SCORE 7814.986
AT ITER 1964 NEW BEST:: SOT 74874 SOS 39967 HAS SOPS 15758 HAS SOUS 10684 HAS SOUPS 7721 WITH SCORE 7760.967
AT ITER 1985 NEW BEST:: SOT 74744 SOS 39808 HAS SOPS 15638 HAS SOUS 10678 HAS SOUPS 7715 WITH SCORE 7754.808
AT ITER 1996 NEW BEST:: SOT 74672 SOS 39754 HAS SOPS 15584 HAS SOUS 10663 HAS SOUPS 7700 WITH SCORE 7739.754
AT ITER 2003 NEW BEST:: SOT 74566 SOS 39694 HAS SOPS 15722 HAS SOUS 10571 HAS SOUPS 7671 WITH SCORE 7710.694
AT ITER 2007 NEW BEST:: SOT 74454 SOS 39582 HAS SOPS 15610 HAS SOUS 10555 HAS SOUPS 7643 WITH SCORE 7682.582
AT ITER 2013 NEW BEST:: SOT 74440 SOS 39571 HAS SOPS 15598 HAS SOUS 10554 HAS SOUPS 7642 WITH SCORE 7681.571
AT ITER 2017 NEW BEST:: SOT 74248 SOS 39473 HAS SOPS 15536 HAS SOUS 10527 HAS SOUPS 7609 WITH SCORE 7648.473
AT ITER 2025 NEW BEST:: SOT 74253 SOS 39453 HAS SOPS 15501 HAS SOUS 10527 HAS SOUPS 7605 WITH SCORE 7644.453
AT ITER 2027 NEW BEST:: SOT 74261 SOS 39459 HAS SOPS 15503 HAS SOUS 10521 HAS SOUPS 7599 WITH SCORE 7638.459
AT ITER 2028 NEW BEST:: SOT 74114 SOS 39312 HAS SOPS 15356 HAS SOUS 10374 HAS SOUPS 7452 WITH SCORE 7491.312
AT ITER 2029 NEW BEST:: SOT 74088 SOS 39278 HAS SOPS 15245 HAS SOUS 10364 HAS SOUPS 7442 WITH SCORE 7481.278
AT ITER 2032 NEW BEST:: SOT 74022 SOS 40787 HAS SOPS 15256 HAS SOUS 10363 HAS SOUPS 7439 WITH SCORE 7479.787
AT ITER 2034 NEW BEST:: SOT 74037 SOS 40790 HAS SOPS 15336 HAS SOUS 10357 HAS SOUPS 7433 WITH SCORE 7473.79
AT ITER 2048 NEW BEST:: SOT 74107 SOS 40833 HAS SOPS 15368 HAS SOUS 10344 HAS SOUPS 7420 WITH SCORE 7460.833
AT ITER 2051 NEW BEST:: SOT 74102 SOS 40828 HAS SOPS 15368 HAS SOUS 10339 HAS SOUPS 7420 WITH SCORE 7460.828
AT ITER 2052 NEW BEST:: SOT 74113 SOS 40822 HAS SOPS 15362 HAS SOUS 10329 HAS SOUPS 7410 WITH SCORE 7450.822
AT ITER 2055 NEW BEST:: SOT 74069 SOS 40788 HAS SOPS 15319 HAS SOUS 10295 HAS SOUPS 7376 WITH SCORE 7416.788
AT ITER 2060 NEW BEST:: SOT 74043 SOS 40775 HAS SOPS 15304 HAS SOUS 10294 HAS SOUPS 7375 WITH SCORE 7415.775
AT ITER 2078 NEW BEST:: SOT 74043 SOS 40772 HAS SOPS 15300 HAS SOUS 10292 HAS SOUPS 7373 WITH SCORE 7413.772
AT ITER 2080 NEW BEST:: SOT 74003 SOS 40751 HAS SOPS 15278 HAS SOUS 10277 HAS SOUPS 7351 WITH SCORE 7391.751
AT ITER 2102 NEW BEST:: SOT 73988 SOS 40736 HAS SOPS 15248 HAS SOUS 10279 HAS SOUPS 7338 WITH SCORE 7378.736
AT ITER 2103 NEW BEST:: SOT 73988 SOS 40787 HAS SOPS 15538 HAS SOUS 10265 HAS SOUPS 7324 WITH SCORE 7364.787
AT ITER 2108 NEW BEST:: SOT 73990 SOS 40757 HAS SOPS 15608 HAS SOUS 10211 HAS SOUPS 7283 WITH SCORE 7323.757
AT ITER 2117 NEW BEST:: SOT 73926 SOS 40682 HAS SOPS 15533 HAS SOUS 10175 HAS SOUPS 7247 WITH SCORE 7287.682
AT ITER 2135 NEW BEST:: SOT 73938 SOS 40682 HAS SOPS 15497 HAS SOUS 10181 HAS SOUPS 7241 WITH SCORE 7281.682
AT ITER 2181 NEW BEST:: SOT 73938 SOS 40692 HAS SOPS 15502 HAS SOUS 10151 HAS SOUPS 7211 WITH SCORE 7251.692
AT ITER 2199 NEW BEST:: SOT 73932 SOS 40671 HAS SOPS 15421 HAS SOUS 10160 HAS SOUPS 7211 WITH SCORE 7251.671
AT ITER 2211 NEW BEST:: SOT 73937 SOS 40661 HAS SOPS 15416 HAS SOUS 10145 HAS SOUPS 7206 WITH SCORE 7246.661
AT ITER 2217 NEW BEST:: SOT 73832 SOS 40557 HAS SOPS 15112 HAS SOUS 10185 HAS SOUPS 7191 WITH SCORE 7231.557
AT ITER 2223 NEW BEST:: SOT 73836 SOS 40549 HAS SOPS 15104 HAS SOUS 10177 HAS SOUPS 7183 WITH SCORE 7223.549
AT ITER 2230 NEW BEST:: SOT 73846 SOS 40207 HAS SOPS 15104 HAS SOUS 10173 HAS SOUPS 7183 WITH SCORE 7223.207
AT ITER 2243 NEW BEST:: SOT 74399 SOS 38570 HAS SOPS 15239 HAS SOUS 10121 HAS SOUPS 7164 WITH SCORE 7202.57
AT ITER 2248 NEW BEST:: SOT 74402 SOS 38574 HAS SOPS 15293 HAS SOUS 10107 HAS SOUPS 7156 WITH SCORE 7194.574
AT ITER 2280 NEW BEST:: SOT 74404 SOS 38496 HAS SOPS 15253 HAS SOUS 10105 HAS SOUPS 7154 WITH SCORE 7192.496
AT ITER 2301 NEW BEST:: SOT 74401 SOS 38473 HAS SOPS 15256 HAS SOUS 10085 HAS SOUPS 7148 WITH SCORE 7186.473
AT ITER 2344 NEW BEST:: SOT 74377 SOS 38473 HAS SOPS 15240 HAS SOUS 10064 HAS SOUPS 7127 WITH SCORE 7165.473
AT ITER 2347 NEW BEST:: SOT 74381 SOS 38481 HAS SOPS 15241 HAS SOUS 10048 HAS SOUPS 7111 WITH SCORE 7149.481
AT ITER 2350 NEW BEST:: SOT 74375 SOS 38477 HAS SOPS 15239 HAS SOUS 10048 HAS SOUPS 7111 WITH SCORE 7149.477
AT ITER 2364 NEW BEST:: SOT 74374 SOS 38476 HAS SOPS 15239 HAS SOUS 10048 HAS SOUPS 7111 WITH SCORE 7149.476
AT ITER 2377 NEW BEST:: SOT 74366 SOS 38460 HAS SOPS 15223 HAS SOUS 10022 HAS SOUPS 7085 WITH SCORE 7123.46
AT ITER 2408 NEW BEST:: SOT 74364 SOS 38519 HAS SOPS 15275 HAS SOUS 10021 HAS SOUPS 7084 WITH SCORE 7122.519
AT ITER 2419 NEW BEST:: SOT 74446 SOS 38554 HAS SOPS 15302 HAS SOUS 9963 HAS SOUPS 7031 WITH SCORE 7069.554
AT ITER 2434 NEW BEST:: SOT 74500 SOS 38600 HAS SOPS 15338 HAS SOUS 9953 HAS SOUPS 7027 WITH SCORE 7065.6
AT ITER 2439 NEW BEST:: SOT 74591 SOS 38727 HAS SOPS 15338 HAS SOUS 9965 HAS SOUPS 7009 WITH SCORE 7047.727
AT ITER 2454 NEW BEST:: SOT 74577 SOS 38699 HAS SOPS 15314 HAS SOUS 9955 HAS SOUPS 6999 WITH SCORE 7037.699
AT ITER 2467 NEW BEST:: SOT 74606 SOS 38713 HAS SOPS 15340 HAS SOUS 9945 HAS SOUPS 6989 WITH SCORE 7027.713
AT ITER 2475 NEW BEST:: SOT 74659 SOS 38695 HAS SOPS 15258 HAS SOUS 9938 HAS SOUPS 6979 WITH SCORE 7017.695
AT ITER 2482 NEW BEST:: SOT 74654 SOS 38689 HAS SOPS 15240 HAS SOUS 9924 HAS SOUPS 6965 WITH SCORE 7003.689
AT ITER 2499 NEW BEST:: SOT 74652 SOS 38685 HAS SOPS 15236 HAS SOUS 9921 HAS SOUPS 6962 WITH SCORE 7000.685
AT ITER 2527 NEW BEST:: SOT 74657 SOS 38740 HAS SOPS 15222 HAS SOUS 9907 HAS SOUPS 6949 WITH SCORE 6987.74
AT ITER 2537 NEW BEST:: SOT 74642 SOS 38744 HAS SOPS 15226 HAS SOUS 9870 HAS SOUPS 6912 WITH SCORE 6950.744
AT ITER 2555 NEW BEST:: SOT 74648 SOS 38718 HAS SOPS 15226 HAS SOUS 9866 HAS SOUPS 6912 WITH SCORE 6950.718
AT ITER 2597 NEW BEST:: SOT 74587 SOS 38668 HAS SOPS 15176 HAS SOUS 9827 HAS SOUPS 6873 WITH SCORE 6911.668
AT ITER 2608 NEW BEST:: SOT 74522 SOS 38604 HAS SOPS 14864 HAS SOUS 9804 HAS SOUPS 6817 WITH SCORE 6855.604
AT ITER 2615 NEW BEST:: SOT 74522 SOS 38604 HAS SOPS 14864 HAS SOUS 9799 HAS SOUPS 6812 WITH SCORE 6850.604
AT ITER 2616 NEW BEST:: SOT 74505 SOS 38790 HAS SOPS 14842 HAS SOUS 9821 HAS SOUPS 6809 WITH SCORE 6847.79
AT ITER 2622 NEW BEST:: SOT 74475 SOS 38766 HAS SOPS 14812 HAS SOUS 9802 HAS SOUPS 6790 WITH SCORE 6828.766
AT ITER 2655 NEW BEST:: SOT 74407 SOS 38824 HAS SOPS 14848 HAS SOUS 9841 HAS SOUPS 6786 WITH SCORE 6824.824
AT ITER 2725 NEW BEST:: SOT 74411 SOS 38800 HAS SOPS 14839 HAS SOUS 9815 HAS SOUPS 6760 WITH SCORE 6798.8
AT ITER 2777 NEW BEST:: SOT 74404 SOS 38812 HAS SOPS 14721 HAS SOUS 9814 HAS SOUPS 6759 WITH SCORE 6797.812
AT ITER 2793 NEW BEST:: SOT 74392 SOS 38800 HAS SOPS 14709 HAS SOUS 9802 HAS SOUPS 6747 WITH SCORE 6785.8
AT ITER 2813 NEW BEST:: SOT 74433 SOS 38414 HAS SOPS 14717 HAS SOUS 9748 HAS SOUPS 6746 WITH SCORE 6784.414
AT ITER 2833 NEW BEST:: SOT 74472 SOS 38244 HAS SOPS 14717 HAS SOUS 9755 HAS SOUPS 6746 WITH SCORE 6784.244
AT ITER 2850 NEW BEST:: SOT 74464 SOS 38238 HAS SOPS 14711 HAS SOUS 9753 HAS SOUPS 6742 WITH SCORE 6780.238
AT ITER 2852 NEW BEST:: SOT 74333 SOS 38758 HAS SOPS 14709 HAS SOUS 9752 HAS SOUPS 6740 WITH SCORE 6778.758
AT ITER 2923 NEW BEST:: SOT 74331 SOS 38754 HAS SOPS 14559 HAS SOUS 9768 HAS SOUPS 6736 WITH SCORE 6774.754
AT ITER 2927 NEW BEST:: SOT 74333 SOS 38746 HAS SOPS 14569 HAS SOUS 9764 HAS SOUPS 6732 WITH SCORE 6770.746
AT ITER 2934 NEW BEST:: SOT 74332 SOS 38743 HAS SOPS 14569 HAS SOUS 9764 HAS SOUPS 6732 WITH SCORE 6770.743
AT ITER 3004 NEW BEST:: SOT 74332 SOS 38710 HAS SOPS 14525 HAS SOUS 9742 HAS SOUPS 6710 WITH SCORE 6748.71
AT ITER 3034 NEW BEST:: SOT 74324 SOS 38702 HAS SOPS 14501 HAS SOUS 9738 HAS SOUPS 6698 WITH SCORE 6736.702
AT ITER 3055 NEW BEST:: SOT 74011 SOS 38719 HAS SOPS 14265 HAS SOUS 9771 HAS SOUPS 6678 WITH SCORE 6716.719
AT ITER 3121 NEW BEST:: SOT 74008 SOS 38741 HAS SOPS 14265 HAS SOUS 9772 HAS SOUPS 6677 WITH SCORE 6715.741
AT ITER 3123 NEW BEST:: SOT 73992 SOS 38729 HAS SOPS 14253 HAS SOUS 9772 HAS SOUPS 6677 WITH SCORE 6715.729
AT ITER 3133 NEW BEST:: SOT 74666 SOS 37808 HAS SOPS 14431 HAS SOUS 9741 HAS SOUPS 6668 WITH SCORE 6705.808
AT ITER 3177 NEW BEST:: SOT 74650 SOS 37795 HAS SOPS 14414 HAS SOUS 9722 HAS SOUPS 6649 WITH SCORE 6686.795
AT ITER 3181 NEW BEST:: SOT 74634 SOS 37795 HAS SOPS 14366 HAS SOUS 9714 HAS SOUPS 6633 WITH SCORE 6670.795
AT ITER 3217 NEW BEST:: SOT 74625 SOS 37792 HAS SOPS 14362 HAS SOUS 9714 HAS SOUPS 6631 WITH SCORE 6668.792
AT ITER 3222 NEW BEST:: SOT 74592 SOS 37761 HAS SOPS 14331 HAS SOUS 9698 HAS SOUPS 6615 WITH SCORE 6652.761
AT ITER 3236 NEW BEST:: SOT 74762 SOS 37816 HAS SOPS 14274 HAS SOUS 9665 HAS SOUPS 6583 WITH SCORE 6620.816
AT ITER 3237 NEW BEST:: SOT 74762 SOS 37816 HAS SOPS 14274 HAS SOUS 9655 HAS SOUPS 6573 WITH SCORE 6610.816
AT ITER 3254 NEW BEST:: SOT 74757 SOS 37811 HAS SOPS 14264 HAS SOUS 9645 HAS SOUPS 6563 WITH SCORE 6600.811
AT ITER 3257 NEW BEST:: SOT 74742 SOS 37837 HAS SOPS 14246 HAS SOUS 9642 HAS SOUPS 6552 WITH SCORE 6589.837
AT ITER 3274 NEW BEST:: SOT 74157 SOS 38721 HAS SOPS 14186 HAS SOUS 9610 HAS SOUPS 6492 WITH SCORE 6530.721
AT ITER 3280 NEW BEST:: SOT 74157 SOS 38714 HAS SOPS 14179 HAS SOUS 9596 HAS SOUPS 6478 WITH SCORE 6516.714
AT ITER 3291 NEW BEST:: SOT 74170 SOS 38740 HAS SOPS 14205 HAS SOUS 9595 HAS SOUPS 6477 WITH SCORE 6515.74
AT ITER 3293 NEW BEST:: SOT 74170 SOS 38736 HAS SOPS 14201 HAS SOUS 9595 HAS SOUPS 6477 WITH SCORE 6515.736
AT ITER 3314 NEW BEST:: SOT 74158 SOS 38732 HAS SOPS 14217 HAS SOUS 9591 HAS SOUPS 6473 WITH SCORE 6511.732
AT ITER 3335 NEW BEST:: SOT 74158 SOS 38724 HAS SOPS 14209 HAS SOUS 9587 HAS SOUPS 6469 WITH SCORE 6507.724
AT ITER 3341 NEW BEST:: SOT 74152 SOS 38718 HAS SOPS 14204 HAS SOUS 9587 HAS SOUPS 6469 WITH SCORE 6507.718
AT ITER 3348 NEW BEST:: SOT 74147 SOS 38698 HAS SOPS 14184 HAS SOUS 9582 HAS SOUPS 6464 WITH SCORE 6502.698
AT ITER 3350 NEW BEST:: SOT 74134 SOS 38690 HAS SOPS 14167 HAS SOUS 9534 HAS SOUPS 6416 WITH SCORE 6454.69
AT ITER 3375 NEW BEST:: SOT 74171 SOS 38670 HAS SOPS 14072 HAS SOUS 9505 HAS SOUPS 6387 WITH SCORE 6425.67
AT ITER 3424 NEW BEST:: SOT 74150 SOS 38742 HAS SOPS 14059 HAS SOUS 9507 HAS SOUPS 6374 WITH SCORE 6412.742
AT ITER 3431 NEW BEST:: SOT 74141 SOS 38680 HAS SOPS 14032 HAS SOUS 9499 HAS SOUPS 6374 WITH SCORE 6412.68
AT ITER 3468 NEW BEST:: SOT 74088 SOS 38637 HAS SOPS 13989 HAS SOUS 9492 HAS SOUPS 6367 WITH SCORE 6405.637
AT ITER 3506 NEW BEST:: SOT 74036 SOS 39045 HAS SOPS 13968 HAS SOUS 9493 HAS SOUPS 6360 WITH SCORE 6399.045
AT ITER 3516 NEW BEST:: SOT 74030 SOS 39021 HAS SOPS 13944 HAS SOUS 9481 HAS SOUPS 6348 WITH SCORE 6387.021
AT ITER 3520 NEW BEST:: SOT 74028 SOS 39027 HAS SOPS 13948 HAS SOUS 9477 HAS SOUPS 6344 WITH SCORE 6383.027
AT ITER 3528 NEW BEST:: SOT 73974 SOS 38955 HAS SOPS 13885 HAS SOUS 9471 HAS SOUPS 6338 WITH SCORE 6376.955
AT ITER 3532 NEW BEST:: SOT 73974 SOS 38953 HAS SOPS 13883 HAS SOUS 9470 HAS SOUPS 6337 WITH SCORE 6375.953
AT ITER 3547 NEW BEST:: SOT 73969 SOS 38919 HAS SOPS 13831 HAS SOUS 9463 HAS SOUPS 6322 WITH SCORE 6360.919
AT ITER 3551 NEW BEST:: SOT 74030 SOS 38980 HAS SOPS 13232 HAS SOUS 9521 HAS SOUPS 6287 WITH SCORE 6325.98
AT ITER 3582 NEW BEST:: SOT 73982 SOS 38932 HAS SOPS 13204 HAS SOUS 9493 HAS SOUPS 6259 WITH SCORE 6297.932
AT ITER 3594 NEW BEST:: SOT 73979 SOS 38930 HAS SOPS 13202 HAS SOUS 9491 HAS SOUPS 6257 WITH SCORE 6295.93
AT ITER 3603 NEW BEST:: SOT 73976 SOS 38925 HAS SOPS 13200 HAS SOUS 9493 HAS SOUPS 6254 WITH SCORE 6292.925
AT ITER 3639 NEW BEST:: SOT 74169 SOS 38445 HAS SOPS 13200 HAS SOUS 9505 HAS SOUPS 6242 WITH SCORE 6280.445
AT ITER 3682 NEW BEST:: SOT 73762 SOS 38462 HAS SOPS 13201 HAS SOUS 9465 HAS SOUPS 6209 WITH SCORE 6247.462
AT ITER 3697 NEW BEST:: SOT 73762 SOS 38462 HAS SOPS 13201 HAS SOUS 9459 HAS SOUPS 6203 WITH SCORE 6241.462
AT ITER 3711 NEW BEST:: SOT 73770 SOS 38428 HAS SOPS 13201 HAS SOUS 9459 HAS SOUPS 6203 WITH SCORE 6241.428
AT ITER 3728 NEW BEST:: SOT 73768 SOS 38404 HAS SOPS 13265 HAS SOUS 9441 HAS SOUPS 6185 WITH SCORE 6223.404
AT ITER 3734 NEW BEST:: SOT 73768 SOS 38401 HAS SOPS 13259 HAS SOUS 9446 HAS SOUPS 6184 WITH SCORE 6222.401
AT ITER 3759 NEW BEST:: SOT 73705 SOS 38751 HAS SOPS 13238 HAS SOUS 9441 HAS SOUPS 6172 WITH SCORE 6210.751
AT ITER 3766 NEW BEST:: SOT 73739 SOS 38762 HAS SOPS 13345 HAS SOUS 9439 HAS SOUPS 6170 WITH SCORE 6208.762
AT ITER 3843 NEW BEST:: SOT 73645 SOS 38670 HAS SOPS 13269 HAS SOUS 9406 HAS SOUPS 6145 WITH SCORE 6183.67
AT ITER 3882 NEW BEST:: SOT 73612 SOS 38643 HAS SOPS 13234 HAS SOUS 9393 HAS SOUPS 6132 WITH SCORE 6170.643
AT ITER 3896 NEW BEST:: SOT 73600 SOS 38622 HAS SOPS 13216 HAS SOUS 9381 HAS SOUPS 6120 WITH SCORE 6158.622
AT ITER 3962 NEW BEST:: SOT 73622 SOS 38618 HAS SOPS 13212 HAS SOUS 9379 HAS SOUPS 6118 WITH SCORE 6156.618
AT ITER 3968 NEW BEST:: SOT 73603 SOS 38601 HAS SOPS 13195 HAS SOUS 9371 HAS SOUPS 6110 WITH SCORE 6148.601
AT ITER 3975 NEW BEST:: SOT 73558 SOS 38326 HAS SOPS 13179 HAS SOUS 9359 HAS SOUPS 6101 WITH SCORE 6139.326
AT ITER 3982 NEW BEST:: SOT 73556 SOS 38324 HAS SOPS 13173 HAS SOUS 9353 HAS SOUPS 6095 WITH SCORE 6133.324
AT ITER 4063 NEW BEST:: SOT 73540 SOS 38308 HAS SOPS 13149 HAS SOUS 9329 HAS SOUPS 6071 WITH SCORE 6109.308
AT ITER 4073 NEW BEST:: SOT 73540 SOS 37353 HAS SOPS 13137 HAS SOUS 9292 HAS SOUPS 6059 WITH SCORE 6096.353
AT ITER 4122 NEW BEST:: SOT 73150 SOS 37083 HAS SOPS 13137 HAS SOUS 9262 HAS SOUPS 6059 WITH SCORE 6096.083
AT ITER 4145 NEW BEST:: SOT 73125 SOS 37058 HAS SOPS 13125 HAS SOUS 9250 HAS SOUPS 6047 WITH SCORE 6084.058
AT ITER 4148 NEW BEST:: SOT 73121 SOS 37054 HAS SOPS 13121 HAS SOUS 9245 HAS SOUPS 6042 WITH SCORE 6079.054
AT ITER 4174 NEW BEST:: SOT 73115 SOS 37048 HAS SOPS 13119 HAS SOUS 9215 HAS SOUPS 6012 WITH SCORE 6049.048
AT ITER 4185 NEW BEST:: SOT 73120 SOS 37043 HAS SOPS 13115 HAS SOUS 9215 HAS SOUPS 6012 WITH SCORE 6049.043
AT ITER 4191 NEW BEST:: SOT 73112 SOS 37041 HAS SOPS 13110 HAS SOUS 9198 HAS SOUPS 5995 WITH SCORE 6032.041
AT ITER 4200 NEW BEST:: SOT 73116 SOS 37045 HAS SOPS 13113 HAS SOUS 9194 HAS SOUPS 5991 WITH SCORE 6028.045
AT ITER 4218 NEW BEST:: SOT 73088 SOS 37001 HAS SOPS 13069 HAS SOUS 9163 HAS SOUPS 5960 WITH SCORE 5997.001
AT ITER 4271 NEW BEST:: SOT 73092 SOS 36993 HAS SOPS 13061 HAS SOUS 9155 HAS SOUPS 5956 WITH SCORE 5992.993
AT ITER 4275 NEW BEST:: SOT 73091 SOS 36992 HAS SOPS 13060 HAS SOUS 9154 HAS SOUPS 5955 WITH SCORE 5991.992
AT ITER 4340 NEW BEST:: SOT 73074 SOS 36975 HAS SOPS 13043 HAS SOUS 9137 HAS SOUPS 5938 WITH SCORE 5974.975
AT ITER 4354 NEW BEST:: SOT 73070 SOS 36971 HAS SOPS 13035 HAS SOUS 9133 HAS SOUPS 5934 WITH SCORE 5970.971
AT ITER 4359 NEW BEST:: SOT 73067 SOS 36965 HAS SOPS 13056 HAS SOUS 9127 HAS SOUPS 5928 WITH SCORE 5964.965
AT ITER 4370 NEW BEST:: SOT 73067 SOS 36960 HAS SOPS 13049 HAS SOUS 9118 HAS SOUPS 5924 WITH SCORE 5960.96
AT ITER 4389 NEW BEST:: SOT 73132 SOS 36946 HAS SOPS 13042 HAS SOUS 9108 HAS SOUPS 5916 WITH SCORE 5952.946
AT ITER 4400 NEW BEST:: SOT 73112 SOS 36933 HAS SOPS 13029 HAS SOUS 9107 HAS SOUPS 5915 WITH SCORE 5951.933
AT ITER 4441 NEW BEST:: SOT 73112 SOS 36932 HAS SOPS 13028 HAS SOUS 9104 HAS SOUPS 5913 WITH SCORE 5949.932
AT ITER 4455 NEW BEST:: SOT 73112 SOS 36934 HAS SOPS 13028 HAS SOUS 9101 HAS SOUPS 5912 WITH SCORE 5948.934
AT ITER 4478 NEW BEST:: SOT 73104 SOS 36927 HAS SOPS 13021 HAS SOUS 9099 HAS SOUPS 5909 WITH SCORE 5945.927
AT ITER 4509 NEW BEST:: SOT 73097 SOS 36920 HAS SOPS 13017 HAS SOUS 9092 HAS SOUPS 5905 WITH SCORE 5941.92
AT ITER 4512 NEW BEST:: SOT 73087 SOS 36910 HAS SOPS 13009 HAS SOUS 9092 HAS SOUPS 5905 WITH SCORE 5941.91
AT ITER 4522 NEW BEST:: SOT 73126 SOS 36892 HAS SOPS 12871 HAS SOUS 9092 HAS SOUPS 5904 WITH SCORE 5940.892
AT ITER 4532 NEW BEST:: SOT 73123 SOS 36864 HAS SOPS 12843 HAS SOUS 9092 HAS SOUPS 5904 WITH SCORE 5940.864
AT ITER 4540 NEW BEST:: SOT 73096 SOS 36841 HAS SOPS 12817 HAS SOUS 9069 HAS SOUPS 5878 WITH SCORE 5914.841
AT ITER 4554 NEW BEST:: SOT 73066 SOS 36920 HAS SOPS 12869 HAS SOUS 9065 HAS SOUPS 5874 WITH SCORE 5910.92
AT ITER 4566 NEW BEST:: SOT 73058 SOS 36920 HAS SOPS 12863 HAS SOUS 9055 HAS SOUPS 5864 WITH SCORE 5900.92
AT ITER 4603 NEW BEST:: SOT 73056 SOS 36808 HAS SOPS 12776 HAS SOUS 9017 HAS SOUPS 5826 WITH SCORE 5862.808
AT ITER 4653 NEW BEST:: SOT 72948 SOS 36718 HAS SOPS 12686 HAS SOUS 9017 HAS SOUPS 5826 WITH SCORE 5862.718
AT ITER 4716 NEW BEST:: SOT 72935 SOS 36728 HAS SOPS 12684 HAS SOUS 9004 HAS SOUPS 5801 WITH SCORE 5837.728
AT ITER 4812 NEW BEST:: SOT 72966 SOS 36919 HAS SOPS 12640 HAS SOUS 9002 HAS SOUPS 5797 WITH SCORE 5833.919
AT ITER 4825 NEW BEST:: SOT 73022 SOS 36872 HAS SOPS 12593 HAS SOUS 8985 HAS SOUPS 5780 WITH SCORE 5816.872
AT ITER 4857 NEW BEST:: SOT 73027 SOS 36877 HAS SOPS 12603 HAS SOUS 8983 HAS SOUPS 5778 WITH SCORE 5814.877
AT ITER 4867 NEW BEST:: SOT 73027 SOS 36833 HAS SOPS 12625 HAS SOUS 8972 HAS SOUPS 5778 WITH SCORE 5814.833
AT ITER 4884 NEW BEST:: SOT 73038 SOS 36260 HAS SOPS 12617 HAS SOUS 8911 HAS SOUPS 5770 WITH SCORE 5806.26
AT ITER 4963 NEW BEST:: SOT 73023 SOS 36326 HAS SOPS 12632 HAS SOUS 8931 HAS SOUPS 5769 WITH SCORE 5805.326
AT ITER 4971 NEW BEST:: SOT 72680 SOS 39076 HAS SOPS 12598 HAS SOUS 8913 HAS SOUPS 5736 WITH SCORE 5775.076
AT ITER 5065 NEW BEST:: SOT 72673 SOS 39070 HAS SOPS 12592 HAS SOUS 8904 HAS SOUPS 5727 WITH SCORE 5766.07
AT ITER 5070 NEW BEST:: SOT 72671 SOS 39068 HAS SOPS 12588 HAS SOUS 8902 HAS SOUPS 5725 WITH SCORE 5764.068
AT ITER 5071 NEW BEST:: SOT 72666 SOS 39063 HAS SOPS 12583 HAS SOUS 8892 HAS SOUPS 5715 WITH SCORE 5754.063
AT ITER 5080 NEW BEST:: SOT 72669 SOS 39064 HAS SOPS 12172 HAS SOUS 8921 HAS SOUPS 5682 WITH SCORE 5721.064
AT ITER 5102 NEW BEST:: SOT 72687 SOS 39078 HAS SOPS 12175 HAS SOUS 8913 HAS SOUPS 5675 WITH SCORE 5714.078
AT ITER 5227 NEW BEST:: SOT 72686 SOS 39059 HAS SOPS 12156 HAS SOUS 8910 HAS SOUPS 5672 WITH SCORE 5711.059
AT ITER 5295 NEW BEST:: SOT 72686 SOS 39055 HAS SOPS 12152 HAS SOUS 8906 HAS SOUPS 5668 WITH SCORE 5707.055
AT ITER 5368 NEW BEST:: SOT 72683 SOS 39043 HAS SOPS 12141 HAS SOUS 8905 HAS SOUPS 5666 WITH SCORE 5705.043
AT ITER 5369 NEW BEST:: SOT 72678 SOS 39033 HAS SOPS 12131 HAS SOUS 8895 HAS SOUPS 5656 WITH SCORE 5695.033
AT ITER 5394 NEW BEST:: SOT 72675 SOS 39024 HAS SOPS 12125 HAS SOUS 8892 HAS SOUPS 5650 WITH SCORE 5689.024
AT ITER 5409 NEW BEST:: SOT 72686 SOS 39032 HAS SOPS 12128 HAS SOUS 8867 HAS SOUPS 5625 WITH SCORE 5664.032
AT ITER 5419 NEW BEST:: SOT 72710 SOS 39056 HAS SOPS 12146 HAS SOUS 8843 HAS SOUPS 5601 WITH SCORE 5640.056
AT ITER 5420 NEW BEST:: SOT 72684 SOS 38991 HAS SOPS 12068 HAS SOUS 8778 HAS SOUPS 5536 WITH SCORE 5574.991
AT ITER 5449 NEW BEST:: SOT 72684 SOS 38971 HAS SOPS 12050 HAS SOUS 8772 HAS SOUPS 5530 WITH SCORE 5568.971
AT ITER 5463 NEW BEST:: SOT 73431 SOS 35316 HAS SOPS 12050 HAS SOUS 8678 HAS SOUPS 5521 WITH SCORE 5556.316
AT ITER 5501 NEW BEST:: SOT 73431 SOS 35300 HAS SOPS 12034 HAS SOUS 8670 HAS SOUPS 5513 WITH SCORE 5548.3
AT ITER 5518 NEW BEST:: SOT 73425 SOS 35304 HAS SOPS 12032 HAS SOUS 8668 HAS SOUPS 5511 WITH SCORE 5546.304
AT ITER 5598 NEW BEST:: SOT 73411 SOS 35305 HAS SOPS 12023 HAS SOUS 8667 HAS SOUPS 5510 WITH SCORE 5545.305
AT ITER 5645 NEW BEST:: SOT 73399 SOS 35275 HAS SOPS 11999 HAS SOUS 8661 HAS SOUPS 5504 WITH SCORE 5539.275
AT ITER 5660 NEW BEST:: SOT 73402 SOS 35261 HAS SOPS 11985 HAS SOUS 8663 HAS SOUPS 5501 WITH SCORE 5536.261
AT ITER 5673 NEW BEST:: SOT 73403 SOS 35285 HAS SOPS 12009 HAS SOUS 8662 HAS SOUPS 5500 WITH SCORE 5535.285
AT ITER 5713 NEW BEST:: SOT 73401 SOS 35283 HAS SOPS 12009 HAS SOUS 8662 HAS SOUPS 5500 WITH SCORE 5535.283
AT ITER 5722 NEW BEST:: SOT 73392 SOS 35275 HAS SOPS 12001 HAS SOUS 8662 HAS SOUPS 5500 WITH SCORE 5535.275
AT ITER 5806 NEW BEST:: SOT 73387 SOS 35260 HAS SOPS 11995 HAS SOUS 8665 HAS SOUPS 5494 WITH SCORE 5529.26
AT ITER 5876 NEW BEST:: SOT 73384 SOS 35257 HAS SOPS 11993 HAS SOUS 8662 HAS SOUPS 5492 WITH SCORE 5527.257
AT ITER 5919 NEW BEST:: SOT 73359 SOS 35225 HAS SOPS 11961 HAS SOUS 8648 HAS SOUPS 5478 WITH SCORE 5513.225
AT ITER 6043 NEW BEST:: SOT 73359 SOS 35223 HAS SOPS 11963 HAS SOUS 8646 HAS SOUPS 5478 WITH SCORE 5513.223
AT ITER 6167 NEW BEST:: SOT 73359 SOS 35223 HAS SOPS 11963 HAS SOUS 8626 HAS SOUPS 5458 WITH SCORE 5493.223
AT ITER 6174 NEW BEST:: SOT 73351 SOS 35221 HAS SOPS 11969 HAS SOUS 8624 HAS SOUPS 5458 WITH SCORE 5493.221
AT ITER 6386 NEW BEST:: SOT 73337 SOS 35219 HAS SOPS 11985 HAS SOUS 8620 HAS SOUPS 5454 WITH SCORE 5489.219
AT ITER 6424 NEW BEST:: SOT 73331 SOS 35215 HAS SOPS 11961 HAS SOUS 8618 HAS SOUPS 5452 WITH SCORE 5487.215
AT ITER 6483 NEW BEST:: SOT 73319 SOS 35205 HAS SOPS 11951 HAS SOUS 8616 HAS SOUPS 5452 WITH SCORE 5487.205
AT ITER 6548 NEW BEST:: SOT 73283 SOS 35184 HAS SOPS 11945 HAS SOUS 8607 HAS SOUPS 5446 WITH SCORE 5481.184
AT ITER 6558 NEW BEST:: SOT 73284 SOS 35184 HAS SOPS 11943 HAS SOUS 8602 HAS SOUPS 5443 WITH SCORE 5478.184
AT ITER 6580 NEW BEST:: SOT 73264 SOS 35168 HAS SOPS 11924 HAS SOUS 8592 HAS SOUPS 5430 WITH SCORE 5465.168
AT ITER 6665 NEW BEST:: SOT 73243 SOS 35155 HAS SOPS 11904 HAS SOUS 8568 HAS SOUPS 5404 WITH SCORE 5439.155
AT ITER 6676 NEW BEST:: SOT 73237 SOS 35149 HAS SOPS 11896 HAS SOUS 8552 HAS SOUPS 5388 WITH SCORE 5423.149
AT ITER 6702 NEW BEST:: SOT 72843 SOS 37083 HAS SOPS 11928 HAS SOUS 8547 HAS SOUPS 5372 WITH SCORE 5409.083
AT ITER 6716 NEW BEST:: SOT 72887 SOS 36995 HAS SOPS 11906 HAS SOUS 8503 HAS SOUPS 5350 WITH SCORE 5386.995
AT ITER 6770 NEW BEST:: SOT 72884 SOS 36992 HAS SOPS 11903 HAS SOUS 8498 HAS SOUPS 5344 WITH SCORE 5380.992
AT ITER 6803 NEW BEST:: SOT 72861 SOS 38085 HAS SOPS 11887 HAS SOUS 8509 HAS SOUPS 5342 WITH SCORE 5380.085
AT ITER 6853 NEW BEST:: SOT 72861 SOS 38078 HAS SOPS 11885 HAS SOUS 8507 HAS SOUPS 5341 WITH SCORE 5379.078
AT ITER 6874 NEW BEST:: SOT 72935 SOS 38161 HAS SOPS 11377 HAS SOUS 8604 HAS SOUPS 5340 WITH SCORE 5378.161
AT ITER 6875 NEW BEST:: SOT 72934 SOS 38187 HAS SOPS 11361 HAS SOUS 8610 HAS SOUPS 5339 WITH SCORE 5377.187
AT ITER 6964 NEW BEST:: SOT 72900 SOS 38153 HAS SOPS 11326 HAS SOUS 8538 HAS SOUPS 5267 WITH SCORE 5305.153
AT ITER 7046 NEW BEST:: SOT 72868 SOS 38121 HAS SOPS 11326 HAS SOUS 8532 HAS SOUPS 5267 WITH SCORE 5305.121
AT ITER 7066 NEW BEST:: SOT 72868 SOS 38121 HAS SOPS 11322 HAS SOUS 8531 HAS SOUPS 5266 WITH SCORE 5304.121
AT ITER 7285 NEW BEST:: SOT 72862 SOS 38106 HAS SOPS 11313 HAS SOUS 8522 HAS SOUPS 5260 WITH SCORE 5298.106
AT ITER 7307 NEW BEST:: SOT 72870 SOS 38107 HAS SOPS 11304 HAS SOUS 8518 HAS SOUPS 5256 WITH SCORE 5294.107
AT ITER 7330 NEW BEST:: SOT 72861 SOS 38106 HAS SOPS 11302 HAS SOUS 8519 HAS SOUPS 5255 WITH SCORE 5293.106
AT ITER 7407 NEW BEST:: SOT 72861 SOS 38100 HAS SOPS 11298 HAS SOUS 8517 HAS SOUPS 5253 WITH SCORE 5291.1
AT ITER 7411 NEW BEST:: SOT 72846 SOS 38099 HAS SOPS 11290 HAS SOUS 8517 HAS SOUPS 5253 WITH SCORE 5291.099
AT ITER 7433 NEW BEST:: SOT 72842 SOS 38095 HAS SOPS 11285 HAS SOUS 8510 HAS SOUPS 5244 WITH SCORE 5282.095
AT ITER 7475 NEW BEST:: SOT 72810 SOS 38222 HAS SOPS 11283 HAS SOUS 8513 HAS SOUPS 5234 WITH SCORE 5272.222
AT ITER 7480 NEW BEST:: SOT 72824 SOS 38210 HAS SOPS 11287 HAS SOUS 8503 HAS SOUPS 5232 WITH SCORE 5270.21
AT ITER 7515 NEW BEST:: SOT 72821 SOS 38208 HAS SOPS 11285 HAS SOUS 8501 HAS SOUPS 5230 WITH SCORE 5268.208
AT ITER 7519 NEW BEST:: SOT 72819 SOS 38206 HAS SOPS 11283 HAS SOUS 8499 HAS SOUPS 5228 WITH SCORE 5266.206
AT ITER 7547 NEW BEST:: SOT 72831 SOS 38212 HAS SOPS 11283 HAS SOUS 8487 HAS SOUPS 5222 WITH SCORE 5260.212
AT ITER 7578 NEW BEST:: SOT 72833 SOS 38209 HAS SOPS 11289 HAS SOUS 8486 HAS SOUPS 5221 WITH SCORE 5259.209
AT ITER 7583 NEW BEST:: SOT 72832 SOS 38200 HAS SOPS 11283 HAS SOUS 8480 HAS SOUPS 5215 WITH SCORE 5253.2
AT ITER 7605 NEW BEST:: SOT 72832 SOS 38182 HAS SOPS 11472 HAS SOUS 8480 HAS SOUPS 5215 WITH SCORE 5253.182
AT ITER 7745 NEW BEST:: SOT 72823 SOS 38164 HAS SOPS 11464 HAS SOUS 8485 HAS SOUPS 5215 WITH SCORE 5253.164
AT ITER 7822 NEW BEST:: SOT 72798 SOS 38129 HAS SOPS 11444 HAS SOUS 8485 HAS SOUPS 5200 WITH SCORE 5238.129
AT ITER 7828 NEW BEST:: SOT 72800 SOS 37221 HAS SOPS 11433 HAS SOUS 8473 HAS SOUPS 5189 WITH SCORE 5226.221
AT ITER 7948 NEW BEST:: SOT 72798 SOS 37217 HAS SOPS 11429 HAS SOUS 8471 HAS SOUPS 5187 WITH SCORE 5224.217
AT ITER 8032 NEW BEST:: SOT 72795 SOS 37217 HAS SOPS 11427 HAS SOUS 8466 HAS SOUPS 5182 WITH SCORE 5219.217
AT ITER 8062 NEW BEST:: SOT 72783 SOS 37233 HAS SOPS 11443 HAS SOUS 8454 HAS SOUPS 5180 WITH SCORE 5217.233
AT ITER 8177 NEW BEST:: SOT 72657 SOS 37916 HAS SOPS 11387 HAS SOUS 8448 HAS SOUPS 5156 WITH SCORE 5193.916
AT ITER 8240 NEW BEST:: SOT 72664 SOS 37856 HAS SOPS 11386 HAS SOUS 8447 HAS SOUPS 5156 WITH SCORE 5193.856
AT ITER 8251 NEW BEST:: SOT 72819 SOS 38011 HAS SOPS 11506 HAS SOUS 8378 HAS SOUPS 5086 WITH SCORE 5124.011
AT ITER 8252 NEW BEST:: SOT 72879 SOS 38071 HAS SOPS 11566 HAS SOUS 8364 HAS SOUPS 5072 WITH SCORE 5110.071
AT ITER 8296 NEW BEST:: SOT 72639 SOS 37931 HAS SOPS 11526 HAS SOUS 8361 HAS SOUPS 5059 WITH SCORE 5096.931
AT ITER 8304 NEW BEST:: SOT 72639 SOS 37932 HAS SOPS 11526 HAS SOUS 8357 HAS SOUPS 5055 WITH SCORE 5092.932
AT ITER 8431 NEW BEST:: SOT 72650 SOS 37898 HAS SOPS 11503 HAS SOUS 8334 HAS SOUPS 5047 WITH SCORE 5084.898
AT ITER 8517 NEW BEST:: SOT 72650 SOS 37919 HAS SOPS 11503 HAS SOUS 8319 HAS SOUPS 5043 WITH SCORE 5080.919
AT ITER 8572 NEW BEST:: SOT 72629 SOS 37901 HAS SOPS 11488 HAS SOUS 8319 HAS SOUPS 5043 WITH SCORE 5080.901
AT ITER 8585 NEW BEST:: SOT 72604 SOS 37854 HAS SOPS 11455 HAS SOUS 8298 HAS SOUPS 5022 WITH SCORE 5059.854
AT ITER 8688 NEW BEST:: SOT 72603 SOS 37853 HAS SOPS 11453 HAS SOUS 8296 HAS SOUPS 5020 WITH SCORE 5057.853
AT ITER 8689 NEW BEST:: SOT 72642 SOS 37892 HAS SOPS 11486 HAS SOUS 8292 HAS SOUPS 5016 WITH SCORE 5053.892
AT ITER 8748 NEW BEST:: SOT 72652 SOS 37904 HAS SOPS 11496 HAS SOUS 8290 HAS SOUPS 5012 WITH SCORE 5049.904
AT ITER 8808 NEW BEST:: SOT 72648 SOS 37897 HAS SOPS 11489 HAS SOUS 8281 HAS SOUPS 5003 WITH SCORE 5040.897
AT ITER 8850 NEW BEST:: SOT 72640 SOS 37893 HAS SOPS 11458 HAS SOUS 8281 HAS SOUPS 5000 WITH SCORE 5037.893
AT ITER 8945 NEW BEST:: SOT 72640 SOS 37893 HAS SOPS 11458 HAS SOUS 8279 HAS SOUPS 4998 WITH SCORE 5035.893
AT ITER 8954 NEW BEST:: SOT 72641 SOS 38210 HAS SOPS 11436 HAS SOUS 8305 HAS SOUPS 4997 WITH SCORE 5035.21
AT ITER 8969 NEW BEST:: SOT 72636 SOS 38210 HAS SOPS 11434 HAS SOUS 8305 HAS SOUPS 4995 WITH SCORE 5033.21
AT ITER 9032 NEW BEST:: SOT 72640 SOS 38207 HAS SOPS 11434 HAS SOUS 8305 HAS SOUPS 4995 WITH SCORE 5033.207
AT ITER 9051 NEW BEST:: SOT 72637 SOS 38204 HAS SOPS 11432 HAS SOUS 8302 HAS SOUPS 4993 WITH SCORE 5031.204
AT ITER 9057 NEW BEST:: SOT 72622 SOS 38202 HAS SOPS 11423 HAS SOUS 8299 HAS SOUPS 4987 WITH SCORE 5025.202
AT ITER 9061 NEW BEST:: SOT 72637 SOS 38191 HAS SOPS 11412 HAS SOUS 8295 HAS SOUPS 4983 WITH SCORE 5021.191
AT ITER 9129 NEW BEST:: SOT 72628 SOS 38157 HAS SOPS 11379 HAS SOUS 8284 HAS SOUPS 4968 WITH SCORE 5006.157
AT ITER 9134 NEW BEST:: SOT 72624 SOS 38153 HAS SOPS 11374 HAS SOUS 8279 HAS SOUPS 4963 WITH SCORE 5001.153
AT ITER 9136 NEW BEST:: SOT 72624 SOS 38147 HAS SOPS 11368 HAS SOUS 8279 HAS SOUPS 4963 WITH SCORE 5001.147
AT ITER 9185 NEW BEST:: SOT 72675 SOS 37665 HAS SOPS 11366 HAS SOUS 8278 HAS SOUPS 4962 WITH SCORE 4999.665
AT ITER 9201 NEW BEST:: SOT 72671 SOS 37663 HAS SOPS 11362 HAS SOUS 8274 HAS SOUPS 4958 WITH SCORE 4995.663
AT ITER 9392 NEW BEST:: SOT 72619 SOS 37621 HAS SOPS 11356 HAS SOUS 8266 HAS SOUPS 4954 WITH SCORE 4991.621
AT ITER 9513 NEW BEST:: SOT 72608 SOS 37610 HAS SOPS 11343 HAS SOUS 8245 HAS SOUPS 4933 WITH SCORE 4970.61
AT ITER 9604 NEW BEST:: SOT 72613 SOS 37604 HAS SOPS 11337 HAS SOUS 8243 HAS SOUPS 4931 WITH SCORE 4968.604
AT ITER 9621 NEW BEST:: SOT 72607 SOS 37625 HAS SOPS 11347 HAS SOUS 8242 HAS SOUPS 4930 WITH SCORE 4967.625
AT ITER 9894 NEW BEST:: SOT 72589 SOS 37610 HAS SOPS 11332 HAS SOUS 8237 HAS SOUPS 4925 WITH SCORE 4962.61
STATE_SPACE STATES 248829948 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 27853023080 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678304307233

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-5a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-5a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r067-smll-167814394800416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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