Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470401040.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldRVt-PT-030A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 4.2K May 14 02:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 02:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 20:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 20:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 82K May 12 20:42 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 1590456854151

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 030A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 243 places, 243 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 46396 SOS 34198 HAS SOPS 34198 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31959.198
AT ITER 1 NEW BEST:: SOT 46357 SOS 34140 HAS SOPS 34140 HAS SOUS 31828 HAS SOUPS 31828 WITH SCORE 31862.14
AT ITER 3 NEW BEST:: SOT 46287 SOS 34004 HAS SOPS 34004 HAS SOUS 31645 HAS SOUPS 31645 WITH SCORE 31679.004
AT ITER 5 NEW BEST:: SOT 46154 SOS 33800 HAS SOPS 33800 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31475.8
AT ITER 10 NEW BEST:: SOT 45946 SOS 33472 HAS SOPS 33472 HAS SOUS 31035 HAS SOUPS 31035 WITH SCORE 31068.472
AT ITER 11 NEW BEST:: SOT 45822 SOS 33274 HAS SOPS 33274 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30914.274
AT ITER 13 NEW BEST:: SOT 45734 SOS 33109 HAS SOPS 33109 HAS SOUS 30776 HAS SOUPS 30776 WITH SCORE 30809.109
AT ITER 14 NEW BEST:: SOT 45730 SOS 33105 HAS SOPS 33105 HAS SOUS 30772 HAS SOUPS 30772 WITH SCORE 30805.105
AT ITER 19 NEW BEST:: SOT 45655 SOS 32953 HAS SOPS 32953 HAS SOUS 30623 HAS SOUPS 30623 WITH SCORE 30655.953
AT ITER 20 NEW BEST:: SOT 45522 SOS 32685 HAS SOPS 32685 HAS SOUS 30402 HAS SOUPS 30402 WITH SCORE 30434.685
AT ITER 22 NEW BEST:: SOT 45408 SOS 32458 HAS SOPS 32458 HAS SOUS 30175 HAS SOUPS 30175 WITH SCORE 30207.458
AT ITER 25 NEW BEST:: SOT 45306 SOS 32259 HAS SOPS 32259 HAS SOUS 29919 HAS SOUPS 29919 WITH SCORE 29951.259
AT ITER 26 NEW BEST:: SOT 45215 SOS 32146 HAS SOPS 32146 HAS SOUS 29809 HAS SOUPS 29809 WITH SCORE 29841.146
AT ITER 28 NEW BEST:: SOT 45130 SOS 31974 HAS SOPS 31974 HAS SOUS 29639 HAS SOUPS 29639 WITH SCORE 29670.974
AT ITER 29 NEW BEST:: SOT 44971 SOS 31734 HAS SOPS 31734 HAS SOUS 29367 HAS SOUPS 29367 WITH SCORE 29398.734
AT ITER 31 NEW BEST:: SOT 44914 SOS 31643 HAS SOPS 31643 HAS SOUS 29240 HAS SOUPS 29240 WITH SCORE 29271.643
AT ITER 33 NEW BEST:: SOT 44808 SOS 31388 HAS SOPS 31388 HAS SOUS 29030 HAS SOUPS 29030 WITH SCORE 29061.388
AT ITER 35 NEW BEST:: SOT 44725 SOS 31104 HAS SOPS 31104 HAS SOUS 28892 HAS SOUPS 28892 WITH SCORE 28923.104
AT ITER 39 NEW BEST:: SOT 44725 SOS 31104 HAS SOPS 31104 HAS SOUS 28829 HAS SOUPS 28829 WITH SCORE 28860.104
AT ITER 40 NEW BEST:: SOT 44527 SOS 30906 HAS SOPS 30906 HAS SOUS 28621 HAS SOUPS 28621 WITH SCORE 28651.906
AT ITER 43 NEW BEST:: SOT 44431 SOS 30647 HAS SOPS 30647 HAS SOUS 28525 HAS SOUPS 28525 WITH SCORE 28555.647
AT ITER 44 NEW BEST:: SOT 44425 SOS 30720 HAS SOPS 30720 HAS SOUS 28402 HAS SOUPS 28402 WITH SCORE 28432.72
AT ITER 45 NEW BEST:: SOT 44360 SOS 30655 HAS SOPS 30655 HAS SOUS 28337 HAS SOUPS 28337 WITH SCORE 28367.655
AT ITER 46 NEW BEST:: SOT 44226 SOS 30442 HAS SOPS 30442 HAS SOUS 28129 HAS SOUPS 28129 WITH SCORE 28159.442
AT ITER 47 NEW BEST:: SOT 44176 SOS 30327 HAS SOPS 30327 HAS SOUS 28078 HAS SOUPS 28078 WITH SCORE 28108.327
AT ITER 48 NEW BEST:: SOT 44102 SOS 30176 HAS SOPS 30176 HAS SOUS 27964 HAS SOUPS 27964 WITH SCORE 27994.176
AT ITER 56 NEW BEST:: SOT 44095 SOS 30169 HAS SOPS 30169 HAS SOUS 27957 HAS SOUPS 27957 WITH SCORE 27987.169
AT ITER 57 NEW BEST:: SOT 44048 SOS 30043 HAS SOPS 30043 HAS SOUS 27822 HAS SOUPS 27822 WITH SCORE 27852.043
AT ITER 60 NEW BEST:: SOT 44048 SOS 30045 HAS SOPS 30045 HAS SOUS 27820 HAS SOUPS 27820 WITH SCORE 27850.045
AT ITER 61 NEW BEST:: SOT 44048 SOS 30224 HAS SOPS 30224 HAS SOUS 27814 HAS SOUPS 27814 WITH SCORE 27844.224
AT ITER 64 NEW BEST:: SOT 44044 SOS 30212 HAS SOPS 30212 HAS SOUS 27802 HAS SOUPS 27802 WITH SCORE 27832.212
AT ITER 68 NEW BEST:: SOT 43934 SOS 29998 HAS SOPS 29998 HAS SOUS 27583 HAS SOUPS 27583 WITH SCORE 27612.998
AT ITER 70 NEW BEST:: SOT 43911 SOS 30023 HAS SOPS 30023 HAS SOUS 27493 HAS SOUPS 27493 WITH SCORE 27523.023
AT ITER 73 NEW BEST:: SOT 43864 SOS 29890 HAS SOPS 29890 HAS SOUS 27384 HAS SOUPS 27384 WITH SCORE 27413.89
AT ITER 74 NEW BEST:: SOT 43813 SOS 29822 HAS SOPS 29822 HAS SOUS 27316 HAS SOUPS 27316 WITH SCORE 27345.822
AT ITER 77 NEW BEST:: SOT 43631 SOS 29521 HAS SOPS 29521 HAS SOUS 27053 HAS SOUPS 27053 WITH SCORE 27082.521
AT ITER 84 NEW BEST:: SOT 43391 SOS 29178 HAS SOPS 29178 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26652.178
AT ITER 86 NEW BEST:: SOT 43360 SOS 29131 HAS SOPS 29131 HAS SOUS 26607 HAS SOUPS 26607 WITH SCORE 26636.131
AT ITER 87 NEW BEST:: SOT 43326 SOS 29064 HAS SOPS 29064 HAS SOUS 26507 HAS SOUPS 26507 WITH SCORE 26536.064
AT ITER 88 NEW BEST:: SOT 43326 SOS 29024 HAS SOPS 29024 HAS SOUS 26504 HAS SOUPS 26504 WITH SCORE 26533.024
AT ITER 90 NEW BEST:: SOT 43310 SOS 29000 HAS SOPS 29000 HAS SOUS 26480 HAS SOUPS 26480 WITH SCORE 26509.0
AT ITER 92 NEW BEST:: SOT 43304 SOS 28965 HAS SOPS 28965 HAS SOUS 26459 HAS SOUPS 26459 WITH SCORE 26487.965
AT ITER 93 NEW BEST:: SOT 43165 SOS 28628 HAS SOPS 28628 HAS SOUS 26273 HAS SOUPS 26273 WITH SCORE 26301.628
AT ITER 99 NEW BEST:: SOT 43062 SOS 28403 HAS SOPS 28403 HAS SOUS 26116 HAS SOUPS 26116 WITH SCORE 26144.403
AT ITER 101 NEW BEST:: SOT 42958 SOS 28189 HAS SOPS 28189 HAS SOUS 25963 HAS SOUPS 25963 WITH SCORE 25991.189
AT ITER 102 NEW BEST:: SOT 42918 SOS 28142 HAS SOPS 28142 HAS SOUS 25916 HAS SOUPS 25916 WITH SCORE 25944.142
AT ITER 104 NEW BEST:: SOT 42876 SOS 28020 HAS SOPS 28020 HAS SOUS 25738 HAS SOUPS 25738 WITH SCORE 25766.02
AT ITER 105 NEW BEST:: SOT 42876 SOS 28071 HAS SOPS 28071 HAS SOUS 25658 HAS SOUPS 25658 WITH SCORE 25686.071
AT ITER 106 NEW BEST:: SOT 42735 SOS 27848 HAS SOPS 27848 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25464.848
AT ITER 107 NEW BEST:: SOT 42638 SOS 27543 HAS SOPS 27543 HAS SOUS 25214 HAS SOUPS 25214 WITH SCORE 25241.543
AT ITER 110 NEW BEST:: SOT 42589 SOS 27446 HAS SOPS 27446 HAS SOUS 25117 HAS SOUPS 25117 WITH SCORE 25144.446
AT ITER 112 NEW BEST:: SOT 42566 SOS 27381 HAS SOPS 27381 HAS SOUS 25043 HAS SOUPS 25043 WITH SCORE 25070.381
AT ITER 115 NEW BEST:: SOT 42566 SOS 27363 HAS SOPS 27363 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25052.363
AT ITER 121 NEW BEST:: SOT 42526 SOS 27303 HAS SOPS 27303 HAS SOUS 24963 HAS SOUPS 24963 WITH SCORE 24990.303
AT ITER 123 NEW BEST:: SOT 42522 SOS 27299 HAS SOPS 27299 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 24979.299
AT ITER 129 NEW BEST:: SOT 42454 SOS 27121 HAS SOPS 27121 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24741.121
AT ITER 131 NEW BEST:: SOT 42368 SOS 26952 HAS SOPS 26952 HAS SOUS 24505 HAS SOUPS 24505 WITH SCORE 24531.952
AT ITER 133 NEW BEST:: SOT 42327 SOS 26819 HAS SOPS 26819 HAS SOUS 24414 HAS SOUPS 24414 WITH SCORE 24440.819
AT ITER 134 NEW BEST:: SOT 42327 SOS 26866 HAS SOPS 26866 HAS SOUS 24364 HAS SOUPS 24364 WITH SCORE 24390.866
AT ITER 135 NEW BEST:: SOT 42327 SOS 26887 HAS SOPS 26887 HAS SOUS 24327 HAS SOUPS 24327 WITH SCORE 24353.887
AT ITER 136 NEW BEST:: SOT 42300 SOS 26851 HAS SOPS 26851 HAS SOUS 24302 HAS SOUPS 24302 WITH SCORE 24328.851
AT ITER 144 NEW BEST:: SOT 42359 SOS 26971 HAS SOPS 26971 HAS SOUS 24293 HAS SOUPS 24293 WITH SCORE 24319.971
AT ITER 146 NEW BEST:: SOT 42320 SOS 26939 HAS SOPS 26939 HAS SOUS 24185 HAS SOUPS 24185 WITH SCORE 24211.939
AT ITER 149 NEW BEST:: SOT 42117 SOS 26651 HAS SOPS 26651 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23918.651
AT ITER 150 NEW BEST:: SOT 42075 SOS 26525 HAS SOPS 26525 HAS SOUS 23808 HAS SOUPS 23808 WITH SCORE 23834.525
AT ITER 153 NEW BEST:: SOT 42101 SOS 26551 HAS SOPS 26551 HAS SOUS 23773 HAS SOUPS 23773 WITH SCORE 23799.551
AT ITER 154 NEW BEST:: SOT 42082 SOS 26461 HAS SOPS 26461 HAS SOUS 23662 HAS SOUPS 23662 WITH SCORE 23688.461
AT ITER 155 NEW BEST:: SOT 42034 SOS 26317 HAS SOPS 26317 HAS SOUS 23527 HAS SOUPS 23527 WITH SCORE 23553.317
AT ITER 159 NEW BEST:: SOT 42000 SOS 26181 HAS SOPS 26181 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23447.181
AT ITER 164 NEW BEST:: SOT 41942 SOS 26133 HAS SOPS 26133 HAS SOUS 23367 HAS SOUPS 23367 WITH SCORE 23393.133
AT ITER 168 NEW BEST:: SOT 41906 SOS 25986 HAS SOPS 25986 HAS SOUS 23262 HAS SOUPS 23262 WITH SCORE 23287.986
AT ITER 171 NEW BEST:: SOT 41906 SOS 26011 HAS SOPS 26011 HAS SOUS 23253 HAS SOUPS 23253 WITH SCORE 23279.011
AT ITER 172 NEW BEST:: SOT 41877 SOS 25921 HAS SOPS 25921 HAS SOUS 23188 HAS SOUPS 23188 WITH SCORE 23213.921
AT ITER 174 NEW BEST:: SOT 41709 SOS 25639 HAS SOPS 25639 HAS SOUS 22921 HAS SOUPS 22921 WITH SCORE 22946.639
AT ITER 179 NEW BEST:: SOT 41697 SOS 25590 HAS SOPS 25590 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22897.59
AT ITER 180 NEW BEST:: SOT 41707 SOS 25607 HAS SOPS 25607 HAS SOUS 22702 HAS SOUPS 22702 WITH SCORE 22727.607
AT ITER 182 NEW BEST:: SOT 41554 SOS 25398 HAS SOPS 25398 HAS SOUS 22468 HAS SOUPS 22468 WITH SCORE 22493.398
AT ITER 188 NEW BEST:: SOT 41504 SOS 25298 HAS SOPS 25298 HAS SOUS 22400 HAS SOUPS 22400 WITH SCORE 22425.298
AT ITER 189 NEW BEST:: SOT 41485 SOS 25153 HAS SOPS 25153 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22294.153
AT ITER 192 NEW BEST:: SOT 41473 SOS 25141 HAS SOPS 25141 HAS SOUS 22233 HAS SOUPS 22233 WITH SCORE 22258.141
AT ITER 194 NEW BEST:: SOT 41442 SOS 24989 HAS SOPS 24989 HAS SOUS 22185 HAS SOUPS 22185 WITH SCORE 22209.989
AT ITER 199 NEW BEST:: SOT 41269 SOS 24718 HAS SOPS 24718 HAS SOUS 21936 HAS SOUPS 21936 WITH SCORE 21960.718
AT ITER 203 NEW BEST:: SOT 41118 SOS 24558 HAS SOPS 24558 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21787.558
AT ITER 206 NEW BEST:: SOT 41118 SOS 24589 HAS SOPS 24589 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21756.589
AT ITER 211 NEW BEST:: SOT 41063 SOS 24474 HAS SOPS 24474 HAS SOUS 21656 HAS SOUPS 21656 WITH SCORE 21680.474
AT ITER 212 NEW BEST:: SOT 41036 SOS 24418 HAS SOPS 24418 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21599.418
AT ITER 214 NEW BEST:: SOT 40980 SOS 24306 HAS SOPS 24306 HAS SOUS 21500 HAS SOUPS 21500 WITH SCORE 21524.306
AT ITER 215 NEW BEST:: SOT 40978 SOS 24304 HAS SOPS 24304 HAS SOUS 21498 HAS SOUPS 21498 WITH SCORE 21522.304
AT ITER 224 NEW BEST:: SOT 40961 SOS 24253 HAS SOPS 24253 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21488.253
AT ITER 228 NEW BEST:: SOT 40961 SOS 24195 HAS SOPS 24195 HAS SOUS 21463 HAS SOUPS 21463 WITH SCORE 21487.195
AT ITER 230 NEW BEST:: SOT 40961 SOS 24177 HAS SOPS 24177 HAS SOUS 21463 HAS SOUPS 21463 WITH SCORE 21487.177
AT ITER 232 NEW BEST:: SOT 40895 SOS 24040 HAS SOPS 24040 HAS SOUS 21324 HAS SOUPS 21324 WITH SCORE 21348.04
AT ITER 236 NEW BEST:: SOT 40856 SOS 23989 HAS SOPS 23989 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21296.989
AT ITER 238 NEW BEST:: SOT 40743 SOS 23816 HAS SOPS 23816 HAS SOUS 21053 HAS SOUPS 21053 WITH SCORE 21076.816
AT ITER 240 NEW BEST:: SOT 40674 SOS 23680 HAS SOPS 23680 HAS SOUS 20917 HAS SOUPS 20917 WITH SCORE 20940.68
AT ITER 244 NEW BEST:: SOT 40674 SOS 23665 HAS SOPS 23665 HAS SOUS 20917 HAS SOUPS 20917 WITH SCORE 20940.665
AT ITER 250 NEW BEST:: SOT 40606 SOS 23438 HAS SOPS 23438 HAS SOUS 20645 HAS SOUPS 20645 WITH SCORE 20668.438
AT ITER 251 NEW BEST:: SOT 40594 SOS 23422 HAS SOPS 23422 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20652.422
AT ITER 253 NEW BEST:: SOT 40594 SOS 23237 HAS SOPS 23237 HAS SOUS 20579 HAS SOUPS 20579 WITH SCORE 20602.237
AT ITER 254 NEW BEST:: SOT 40527 SOS 23033 HAS SOPS 23033 HAS SOUS 20407 HAS SOUPS 20407 WITH SCORE 20430.033
AT ITER 258 NEW BEST:: SOT 40549 SOS 23035 HAS SOPS 23035 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20390.035
AT ITER 261 NEW BEST:: SOT 40454 SOS 22834 HAS SOPS 22834 HAS SOUS 20179 HAS SOUPS 20179 WITH SCORE 20201.834
AT ITER 266 NEW BEST:: SOT 40439 SOS 22852 HAS SOPS 22852 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20158.852
AT ITER 274 NEW BEST:: SOT 40416 SOS 22806 HAS SOPS 22806 HAS SOUS 20103 HAS SOUPS 20103 WITH SCORE 20125.806
AT ITER 276 NEW BEST:: SOT 40354 SOS 22657 HAS SOPS 22657 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20017.657
AT ITER 277 NEW BEST:: SOT 40354 SOS 22657 HAS SOPS 22657 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 19997.657
AT ITER 282 NEW BEST:: SOT 40329 SOS 22632 HAS SOPS 22632 HAS SOUS 19950 HAS SOUPS 19950 WITH SCORE 19972.632
AT ITER 283 NEW BEST:: SOT 40320 SOS 22617 HAS SOPS 22617 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19957.617
AT ITER 288 NEW BEST:: SOT 40165 SOS 22397 HAS SOPS 22397 HAS SOUS 19715 HAS SOUPS 19715 WITH SCORE 19737.397
AT ITER 290 NEW BEST:: SOT 40135 SOS 22367 HAS SOPS 22367 HAS SOUS 19685 HAS SOUPS 19685 WITH SCORE 19707.367
AT ITER 305 NEW BEST:: SOT 40123 SOS 22331 HAS SOPS 22331 HAS SOUS 19649 HAS SOUPS 19649 WITH SCORE 19671.331
AT ITER 316 NEW BEST:: SOT 40123 SOS 22347 HAS SOPS 22347 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19653.347
AT ITER 319 NEW BEST:: SOT 40075 SOS 22204 HAS SOPS 22204 HAS SOUS 19501 HAS SOUPS 19501 WITH SCORE 19523.204
AT ITER 321 NEW BEST:: SOT 40062 SOS 22087 HAS SOPS 22087 HAS SOUS 19461 HAS SOUPS 19461 WITH SCORE 19483.087
AT ITER 325 NEW BEST:: SOT 40025 SOS 22050 HAS SOPS 22050 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19446.05
AT ITER 327 NEW BEST:: SOT 40025 SOS 22018 HAS SOPS 22018 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19430.018
AT ITER 343 NEW BEST:: SOT 40016 SOS 22009 HAS SOPS 22009 HAS SOUS 19401 HAS SOUPS 19401 WITH SCORE 19423.009
AT ITER 344 NEW BEST:: SOT 40016 SOS 21977 HAS SOPS 21977 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19390.977
AT ITER 351 NEW BEST:: SOT 39964 SOS 21850 HAS SOPS 21850 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19254.85
AT ITER 354 NEW BEST:: SOT 39930 SOS 21765 HAS SOPS 21765 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19203.765
AT ITER 364 NEW BEST:: SOT 39921 SOS 21748 HAS SOPS 21748 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19190.748
AT ITER 368 NEW BEST:: SOT 39901 SOS 21804 HAS SOPS 21804 HAS SOUS 19129 HAS SOUPS 19129 WITH SCORE 19150.804
AT ITER 369 NEW BEST:: SOT 39898 SOS 21801 HAS SOPS 21801 HAS SOUS 19126 HAS SOUPS 19126 WITH SCORE 19147.801
AT ITER 376 NEW BEST:: SOT 39897 SOS 21810 HAS SOPS 21810 HAS SOUS 19123 HAS SOUPS 19123 WITH SCORE 19144.81
AT ITER 384 NEW BEST:: SOT 39881 SOS 21800 HAS SOPS 21800 HAS SOUS 19025 HAS SOUPS 19025 WITH SCORE 19046.8
AT ITER 386 NEW BEST:: SOT 39760 SOS 21655 HAS SOPS 21655 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18990.655
AT ITER 390 NEW BEST:: SOT 39691 SOS 21517 HAS SOPS 21517 HAS SOUS 18888 HAS SOUPS 18888 WITH SCORE 18909.517
AT ITER 407 NEW BEST:: SOT 39634 SOS 21422 HAS SOPS 21422 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18814.422
AT ITER 411 NEW BEST:: SOT 39633 SOS 21421 HAS SOPS 21421 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18813.421
AT ITER 413 NEW BEST:: SOT 39623 SOS 21401 HAS SOPS 21401 HAS SOUS 18771 HAS SOUPS 18771 WITH SCORE 18792.401
AT ITER 418 NEW BEST:: SOT 39614 SOS 21436 HAS SOPS 21436 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18744.436
AT ITER 429 NEW BEST:: SOT 39614 SOS 21436 HAS SOPS 21436 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18721.436
AT ITER 434 NEW BEST:: SOT 39614 SOS 21402 HAS SOPS 21402 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18646.402
AT ITER 435 NEW BEST:: SOT 39614 SOS 21402 HAS SOPS 21402 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18621.402
AT ITER 439 NEW BEST:: SOT 39614 SOS 21395 HAS SOPS 21395 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18621.395
AT ITER 440 NEW BEST:: SOT 39611 SOS 21383 HAS SOPS 21383 HAS SOUS 18591 HAS SOUPS 18591 WITH SCORE 18612.383
AT ITER 446 NEW BEST:: SOT 39559 SOS 21295 HAS SOPS 21295 HAS SOUS 18536 HAS SOUPS 18536 WITH SCORE 18557.295
AT ITER 452 NEW BEST:: SOT 39546 SOS 21245 HAS SOPS 21245 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18534.245
AT ITER 459 NEW BEST:: SOT 39381 SOS 20821 HAS SOPS 20821 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18251.821
AT ITER 463 NEW BEST:: SOT 39231 SOS 20417 HAS SOPS 20417 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17943.417
AT ITER 473 NEW BEST:: SOT 39229 SOS 20412 HAS SOPS 20412 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17939.412
AT ITER 484 NEW BEST:: SOT 39164 SOS 20347 HAS SOPS 20347 HAS SOUS 17854 HAS SOUPS 17854 WITH SCORE 17874.347
AT ITER 493 NEW BEST:: SOT 39101 SOS 20252 HAS SOPS 20252 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17759.252
AT ITER 509 NEW BEST:: SOT 39027 SOS 19999 HAS SOPS 19999 HAS SOUS 17566 HAS SOUPS 17566 WITH SCORE 17585.999
AT ITER 516 NEW BEST:: SOT 39019 SOS 19991 HAS SOPS 19991 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17577.991
AT ITER 518 NEW BEST:: SOT 39014 SOS 19983 HAS SOPS 19983 HAS SOUS 17550 HAS SOUPS 17550 WITH SCORE 17569.983
AT ITER 521 NEW BEST:: SOT 39016 SOS 19970 HAS SOPS 19970 HAS SOUS 17537 HAS SOUPS 17537 WITH SCORE 17556.97
AT ITER 525 NEW BEST:: SOT 39006 SOS 19955 HAS SOPS 19955 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17541.955
AT ITER 534 NEW BEST:: SOT 38973 SOS 19866 HAS SOPS 19866 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17529.866
AT ITER 535 NEW BEST:: SOT 38967 SOS 19858 HAS SOPS 19858 HAS SOUS 17502 HAS SOUPS 17502 WITH SCORE 17521.858
AT ITER 541 NEW BEST:: SOT 38996 SOS 19861 HAS SOPS 19861 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17511.861
AT ITER 544 NEW BEST:: SOT 39003 SOS 19919 HAS SOPS 19919 HAS SOUS 17477 HAS SOUPS 17477 WITH SCORE 17496.919
AT ITER 549 NEW BEST:: SOT 38938 SOS 19834 HAS SOPS 19834 HAS SOUS 17371 HAS SOUPS 17371 WITH SCORE 17390.834
AT ITER 560 NEW BEST:: SOT 38917 SOS 19777 HAS SOPS 19777 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17333.777
AT ITER 567 NEW BEST:: SOT 38890 SOS 19750 HAS SOPS 19750 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17306.75
AT ITER 574 NEW BEST:: SOT 38870 SOS 19784 HAS SOPS 19784 HAS SOUS 17267 HAS SOUPS 17267 WITH SCORE 17286.784
AT ITER 580 NEW BEST:: SOT 38737 SOS 19586 HAS SOPS 19586 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17088.586
AT ITER 593 NEW BEST:: SOT 38706 SOS 19482 HAS SOPS 19482 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17082.482
AT ITER 595 NEW BEST:: SOT 38665 SOS 19376 HAS SOPS 19376 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 16976.376
AT ITER 600 NEW BEST:: SOT 38653 SOS 19360 HAS SOPS 19360 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16960.36
AT ITER 603 NEW BEST:: SOT 38663 SOS 19433 HAS SOPS 19433 HAS SOUS 16929 HAS SOUPS 16929 WITH SCORE 16948.433
AT ITER 617 NEW BEST:: SOT 38657 SOS 19415 HAS SOPS 19415 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16918.415
AT ITER 620 NEW BEST:: SOT 38645 SOS 19403 HAS SOPS 19403 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16906.403
AT ITER 622 NEW BEST:: SOT 38632 SOS 19377 HAS SOPS 19377 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16887.377
AT ITER 629 NEW BEST:: SOT 38623 SOS 19354 HAS SOPS 19354 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16860.354
AT ITER 639 NEW BEST:: SOT 38602 SOS 19279 HAS SOPS 19279 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16802.279
AT ITER 643 NEW BEST:: SOT 38532 SOS 19109 HAS SOPS 19109 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16678.109
AT ITER 659 NEW BEST:: SOT 38451 SOS 19010 HAS SOPS 19010 HAS SOUS 16567 HAS SOUPS 16567 WITH SCORE 16586.01
AT ITER 663 NEW BEST:: SOT 38455 SOS 18978 HAS SOPS 18978 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16545.978
AT ITER 665 NEW BEST:: SOT 38441 SOS 18957 HAS SOPS 18957 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16524.957
AT ITER 666 NEW BEST:: SOT 38427 SOS 18936 HAS SOPS 18936 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16503.936
AT ITER 670 NEW BEST:: SOT 38427 SOS 18948 HAS SOPS 18948 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16491.948
AT ITER 671 NEW BEST:: SOT 38400 SOS 18883 HAS SOPS 18883 HAS SOUS 16423 HAS SOUPS 16423 WITH SCORE 16441.883
AT ITER 672 NEW BEST:: SOT 38381 SOS 18839 HAS SOPS 18839 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16421.839
AT ITER 675 NEW BEST:: SOT 38381 SOS 18813 HAS SOPS 18813 HAS SOUS 16377 HAS SOUPS 16377 WITH SCORE 16395.813
AT ITER 678 NEW BEST:: SOT 38376 SOS 18808 HAS SOPS 18808 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16390.808
AT ITER 685 NEW BEST:: SOT 38307 SOS 18716 HAS SOPS 18716 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16298.716
AT ITER 687 NEW BEST:: SOT 38293 SOS 18684 HAS SOPS 18684 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16271.684
AT ITER 694 NEW BEST:: SOT 38293 SOS 18674 HAS SOPS 18674 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16262.674
AT ITER 695 NEW BEST:: SOT 38293 SOS 18690 HAS SOPS 18690 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16246.69
AT ITER 698 NEW BEST:: SOT 38288 SOS 18606 HAS SOPS 18606 HAS SOUS 16207 HAS SOUPS 16207 WITH SCORE 16225.606
AT ITER 708 NEW BEST:: SOT 38279 SOS 18597 HAS SOPS 18597 HAS SOUS 16198 HAS SOUPS 16198 WITH SCORE 16216.597
AT ITER 719 NEW BEST:: SOT 38212 SOS 18530 HAS SOPS 18530 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16130.53
AT ITER 724 NEW BEST:: SOT 38175 SOS 18499 HAS SOPS 18499 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16118.499
AT ITER 740 NEW BEST:: SOT 38129 SOS 18417 HAS SOPS 18417 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16062.417
AT ITER 743 NEW BEST:: SOT 38128 SOS 18416 HAS SOPS 18416 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16061.416
AT ITER 751 NEW BEST:: SOT 38097 SOS 18334 HAS SOPS 18334 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15928.334
AT ITER 757 NEW BEST:: SOT 38090 SOS 18319 HAS SOPS 18319 HAS SOUS 15903 HAS SOUPS 15903 WITH SCORE 15921.319
AT ITER 765 NEW BEST:: SOT 38039 SOS 18212 HAS SOPS 18212 HAS SOUS 15749 HAS SOUPS 15749 WITH SCORE 15767.212
AT ITER 785 NEW BEST:: SOT 38009 SOS 18182 HAS SOPS 18182 HAS SOUS 15719 HAS SOUPS 15719 WITH SCORE 15737.182
AT ITER 796 NEW BEST:: SOT 37965 SOS 18077 HAS SOPS 18077 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15701.077
AT ITER 809 NEW BEST:: SOT 37964 SOS 18073 HAS SOPS 18073 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15698.073
AT ITER 827 NEW BEST:: SOT 37962 SOS 18071 HAS SOPS 18071 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15696.071
AT ITER 835 NEW BEST:: SOT 37950 SOS 18059 HAS SOPS 18059 HAS SOUS 15666 HAS SOUPS 15666 WITH SCORE 15684.059
AT ITER 842 NEW BEST:: SOT 37955 SOS 18160 HAS SOPS 18160 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15683.16
AT ITER 847 NEW BEST:: SOT 37883 SOS 18009 HAS SOPS 18009 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15583.009
AT ITER 859 NEW BEST:: SOT 37849 SOS 17975 HAS SOPS 17975 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15471.975
AT ITER 860 NEW BEST:: SOT 37798 SOS 17874 HAS SOPS 17874 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15379.874
AT ITER 864 NEW BEST:: SOT 37770 SOS 17872 HAS SOPS 17872 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15341.872
AT ITER 868 NEW BEST:: SOT 37768 SOS 17868 HAS SOPS 17868 HAS SOUS 15321 HAS SOUPS 15321 WITH SCORE 15338.868
AT ITER 886 NEW BEST:: SOT 37764 SOS 17846 HAS SOPS 17846 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15327.846
AT ITER 897 NEW BEST:: SOT 37720 SOS 17802 HAS SOPS 17802 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15327.802
AT ITER 912 NEW BEST:: SOT 37686 SOS 17701 HAS SOPS 17701 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15225.701
AT ITER 923 NEW BEST:: SOT 37685 SOS 17676 HAS SOPS 17676 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15200.676
AT ITER 938 NEW BEST:: SOT 37685 SOS 17610 HAS SOPS 17610 HAS SOUS 15153 HAS SOUPS 15153 WITH SCORE 15170.61
AT ITER 939 NEW BEST:: SOT 37670 SOS 17595 HAS SOPS 17595 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15155.595
AT ITER 940 NEW BEST:: SOT 37665 SOS 17599 HAS SOPS 17599 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15152.599
AT ITER 943 NEW BEST:: SOT 37663 SOS 17593 HAS SOPS 17593 HAS SOUS 15129 HAS SOUPS 15129 WITH SCORE 15146.593
AT ITER 958 NEW BEST:: SOT 37657 SOS 17585 HAS SOPS 17585 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15136.585
AT ITER 968 NEW BEST:: SOT 37648 SOS 17573 HAS SOPS 17573 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15124.573
AT ITER 988 NEW BEST:: SOT 37646 SOS 17570 HAS SOPS 17570 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15121.57
AT ITER 989 NEW BEST:: SOT 37625 SOS 17549 HAS SOPS 17549 HAS SOUS 15083 HAS SOUPS 15083 WITH SCORE 15100.549
AT ITER 990 NEW BEST:: SOT 37615 SOS 17519 HAS SOPS 17519 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15070.519
AT ITER 997 NEW BEST:: SOT 37610 SOS 17550 HAS SOPS 17550 HAS SOUS 15041 HAS SOUPS 15041 WITH SCORE 15058.55
AT ITER 1012 NEW BEST:: SOT 37608 SOS 17572 HAS SOPS 17572 HAS SOUS 15015 HAS SOUPS 15015 WITH SCORE 15032.572
AT ITER 1023 NEW BEST:: SOT 37608 SOS 17571 HAS SOPS 17571 HAS SOUS 15015 HAS SOUPS 15015 WITH SCORE 15032.571
AT ITER 1028 NEW BEST:: SOT 37608 SOS 17557 HAS SOPS 17557 HAS SOUS 15007 HAS SOUPS 15007 WITH SCORE 15024.557
AT ITER 1029 NEW BEST:: SOT 37608 SOS 17559 HAS SOPS 17559 HAS SOUS 15005 HAS SOUPS 15005 WITH SCORE 15022.559
AT ITER 1031 NEW BEST:: SOT 37608 SOS 17551 HAS SOPS 17551 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15014.551
AT ITER 1038 NEW BEST:: SOT 37594 SOS 17537 HAS SOPS 17537 HAS SOUS 14976 HAS SOUPS 14976 WITH SCORE 14993.537
AT ITER 1042 NEW BEST:: SOT 37565 SOS 17494 HAS SOPS 17494 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14943.494
AT ITER 1043 NEW BEST:: SOT 37527 SOS 17444 HAS SOPS 17444 HAS SOUS 14880 HAS SOUPS 14880 WITH SCORE 14897.444
AT ITER 1049 NEW BEST:: SOT 37527 SOS 17438 HAS SOPS 17438 HAS SOUS 14880 HAS SOUPS 14880 WITH SCORE 14897.438
AT ITER 1051 NEW BEST:: SOT 37461 SOS 17350 HAS SOPS 17350 HAS SOUS 14792 HAS SOUPS 14792 WITH SCORE 14809.35
AT ITER 1058 NEW BEST:: SOT 37455 SOS 17332 HAS SOPS 17332 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14803.332
AT ITER 1062 NEW BEST:: SOT 37451 SOS 17318 HAS SOPS 17318 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14785.318
AT ITER 1067 NEW BEST:: SOT 37427 SOS 17283 HAS SOPS 17283 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14750.283
AT ITER 1074 NEW BEST:: SOT 37396 SOS 17222 HAS SOPS 17222 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14722.222
AT ITER 1076 NEW BEST:: SOT 37357 SOS 17061 HAS SOPS 17061 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14669.061
AT ITER 1091 NEW BEST:: SOT 37355 SOS 17059 HAS SOPS 17059 HAS SOUS 14646 HAS SOUPS 14646 WITH SCORE 14663.059
AT ITER 1096 NEW BEST:: SOT 37355 SOS 17038 HAS SOPS 17038 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14642.038
AT ITER 1100 NEW BEST:: SOT 37355 SOS 17013 HAS SOPS 17013 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14642.013
AT ITER 1103 NEW BEST:: SOT 37355 SOS 17013 HAS SOPS 17013 HAS SOUS 14613 HAS SOUPS 14613 WITH SCORE 14630.013
AT ITER 1116 NEW BEST:: SOT 37355 SOS 17011 HAS SOPS 17011 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14629.011
AT ITER 1117 NEW BEST:: SOT 37326 SOS 16975 HAS SOPS 16975 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14592.975
AT ITER 1123 NEW BEST:: SOT 37326 SOS 16974 HAS SOPS 16974 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14592.974
AT ITER 1129 NEW BEST:: SOT 37326 SOS 16973 HAS SOPS 16973 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14591.973
AT ITER 1135 NEW BEST:: SOT 37315 SOS 16940 HAS SOPS 16940 HAS SOUS 14526 HAS SOUPS 14526 WITH SCORE 14542.94
AT ITER 1138 NEW BEST:: SOT 37245 SOS 16844 HAS SOPS 16844 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14449.844
AT ITER 1148 NEW BEST:: SOT 37228 SOS 16810 HAS SOPS 16810 HAS SOUS 14416 HAS SOUPS 14416 WITH SCORE 14432.81
AT ITER 1153 NEW BEST:: SOT 37225 SOS 16807 HAS SOPS 16807 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14429.807
AT ITER 1162 NEW BEST:: SOT 37215 SOS 16768 HAS SOPS 16768 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14399.768
AT ITER 1167 NEW BEST:: SOT 37193 SOS 16727 HAS SOPS 16727 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14373.727
AT ITER 1168 NEW BEST:: SOT 37152 SOS 16686 HAS SOPS 16686 HAS SOUS 14316 HAS SOUPS 14316 WITH SCORE 14332.686
AT ITER 1169 NEW BEST:: SOT 37150 SOS 16684 HAS SOPS 16684 HAS SOUS 14314 HAS SOUPS 14314 WITH SCORE 14330.684
AT ITER 1184 NEW BEST:: SOT 37139 SOS 16646 HAS SOPS 16646 HAS SOUS 14294 HAS SOUPS 14294 WITH SCORE 14310.646
AT ITER 1195 NEW BEST:: SOT 37127 SOS 16616 HAS SOPS 16616 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14286.616
AT ITER 1201 NEW BEST:: SOT 37115 SOS 16600 HAS SOPS 16600 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14270.6
AT ITER 1210 NEW BEST:: SOT 37100 SOS 16585 HAS SOPS 16585 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14251.585
AT ITER 1211 NEW BEST:: SOT 37076 SOS 16547 HAS SOPS 16547 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14216.547
AT ITER 1217 NEW BEST:: SOT 37012 SOS 16453 HAS SOPS 16453 HAS SOUS 14115 HAS SOUPS 14115 WITH SCORE 14131.453
AT ITER 1242 NEW BEST:: SOT 37027 SOS 16466 HAS SOPS 16466 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14107.466
AT ITER 1249 NEW BEST:: SOT 37007 SOS 16417 HAS SOPS 16417 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14058.417
AT ITER 1251 NEW BEST:: SOT 36944 SOS 16219 HAS SOPS 16219 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13954.219
AT ITER 1252 NEW BEST:: SOT 36927 SOS 16172 HAS SOPS 16172 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13913.172
AT ITER 1262 NEW BEST:: SOT 36874 SOS 16119 HAS SOPS 16119 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13860.119
AT ITER 1263 NEW BEST:: SOT 36881 SOS 16106 HAS SOPS 16106 HAS SOUS 13840 HAS SOUPS 13840 WITH SCORE 13856.106
AT ITER 1274 NEW BEST:: SOT 36878 SOS 16100 HAS SOPS 16100 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13847.1
AT ITER 1299 NEW BEST:: SOT 36870 SOS 16088 HAS SOPS 16088 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13839.088
AT ITER 1301 NEW BEST:: SOT 36869 SOS 16083 HAS SOPS 16083 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13837.083
AT ITER 1305 NEW BEST:: SOT 36869 SOS 16083 HAS SOPS 16083 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13831.083
AT ITER 1342 NEW BEST:: SOT 36869 SOS 15948 HAS SOPS 15948 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13830.948
AT ITER 1347 NEW BEST:: SOT 36859 SOS 15854 HAS SOPS 15854 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13755.854
AT ITER 1357 NEW BEST:: SOT 36860 SOS 15850 HAS SOPS 15850 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13751.85
AT ITER 1363 NEW BEST:: SOT 36860 SOS 15850 HAS SOPS 15850 HAS SOUS 13722 HAS SOUPS 13722 WITH SCORE 13737.85
AT ITER 1373 NEW BEST:: SOT 36868 SOS 15874 HAS SOPS 15874 HAS SOUS 13711 HAS SOUPS 13711 WITH SCORE 13726.874
AT ITER 1375 NEW BEST:: SOT 36860 SOS 15867 HAS SOPS 15867 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13719.867
AT ITER 1376 NEW BEST:: SOT 36768 SOS 15832 HAS SOPS 15832 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13665.832
AT ITER 1388 NEW BEST:: SOT 36765 SOS 15820 HAS SOPS 15820 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13665.82
AT ITER 1390 NEW BEST:: SOT 36734 SOS 15752 HAS SOPS 15752 HAS SOUS 13565 HAS SOUPS 13565 WITH SCORE 13580.752
AT ITER 1395 NEW BEST:: SOT 36734 SOS 15635 HAS SOPS 15635 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13560.635
AT ITER 1406 NEW BEST:: SOT 36718 SOS 15600 HAS SOPS 15600 HAS SOUS 13495 HAS SOUPS 13495 WITH SCORE 13510.6
AT ITER 1419 NEW BEST:: SOT 36718 SOS 15604 HAS SOPS 15604 HAS SOUS 13493 HAS SOUPS 13493 WITH SCORE 13508.604
AT ITER 1425 NEW BEST:: SOT 36713 SOS 15599 HAS SOPS 15599 HAS SOUS 13493 HAS SOUPS 13493 WITH SCORE 13508.599
AT ITER 1431 NEW BEST:: SOT 36704 SOS 15587 HAS SOPS 15587 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13492.587
AT ITER 1439 NEW BEST:: SOT 36712 SOS 15404 HAS SOPS 15404 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13417.404
AT ITER 1453 NEW BEST:: SOT 36710 SOS 15402 HAS SOPS 15402 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13397.402
AT ITER 1458 NEW BEST:: SOT 36698 SOS 15390 HAS SOPS 15390 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13397.39
AT ITER 1460 NEW BEST:: SOT 36668 SOS 15303 HAS SOPS 15303 HAS SOUS 13321 HAS SOUPS 13321 WITH SCORE 13336.303
AT ITER 1463 NEW BEST:: SOT 36668 SOS 15299 HAS SOPS 15299 HAS SOUS 13321 HAS SOUPS 13321 WITH SCORE 13336.299
AT ITER 1464 NEW BEST:: SOT 36553 SOS 15090 HAS SOPS 15090 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13151.09
AT ITER 1479 NEW BEST:: SOT 36510 SOS 15009 HAS SOPS 15009 HAS SOUS 13074 HAS SOUPS 13074 WITH SCORE 13089.009
AT ITER 1489 NEW BEST:: SOT 36484 SOS 14956 HAS SOPS 14956 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13046.956
AT ITER 1503 NEW BEST:: SOT 36460 SOS 14882 HAS SOPS 14882 HAS SOUS 12992 HAS SOUPS 12992 WITH SCORE 13006.882
AT ITER 1517 NEW BEST:: SOT 36443 SOS 14852 HAS SOPS 14852 HAS SOUS 12956 HAS SOUPS 12956 WITH SCORE 12970.852
AT ITER 1526 NEW BEST:: SOT 36415 SOS 14834 HAS SOPS 14834 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12933.834
AT ITER 1529 NEW BEST:: SOT 36427 SOS 14864 HAS SOPS 14864 HAS SOUS 12904 HAS SOUPS 12904 WITH SCORE 12918.864
AT ITER 1535 NEW BEST:: SOT 36413 SOS 14850 HAS SOPS 14850 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12904.85
AT ITER 1556 NEW BEST:: SOT 36393 SOS 14778 HAS SOPS 14778 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12884.778
AT ITER 1572 NEW BEST:: SOT 36393 SOS 14778 HAS SOPS 14778 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12880.778
AT ITER 1577 NEW BEST:: SOT 36372 SOS 14757 HAS SOPS 14757 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12859.757
AT ITER 1579 NEW BEST:: SOT 36358 SOS 14729 HAS SOPS 14729 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12823.729
AT ITER 1595 NEW BEST:: SOT 36350 SOS 14717 HAS SOPS 14717 HAS SOUS 12801 HAS SOUPS 12801 WITH SCORE 12815.717
AT ITER 1612 NEW BEST:: SOT 36346 SOS 14723 HAS SOPS 14723 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12804.723
AT ITER 1632 NEW BEST:: SOT 36346 SOS 14723 HAS SOPS 14723 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12796.723
AT ITER 1637 NEW BEST:: SOT 36301 SOS 14652 HAS SOPS 14652 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12725.652
AT ITER 1659 NEW BEST:: SOT 36256 SOS 14495 HAS SOPS 14495 HAS SOUS 12629 HAS SOUPS 12629 WITH SCORE 12643.495
AT ITER 1671 NEW BEST:: SOT 36242 SOS 14507 HAS SOPS 14507 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12585.507
AT ITER 1686 NEW BEST:: SOT 36242 SOS 14503 HAS SOPS 14503 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12577.503
AT ITER 1707 NEW BEST:: SOT 36243 SOS 14493 HAS SOPS 14493 HAS SOUS 12560 HAS SOUPS 12560 WITH SCORE 12574.493
AT ITER 1750 NEW BEST:: SOT 36243 SOS 14442 HAS SOPS 14442 HAS SOUS 12509 HAS SOUPS 12509 WITH SCORE 12523.442
AT ITER 1755 NEW BEST:: SOT 36199 SOS 14360 HAS SOPS 14360 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12460.36
AT ITER 1787 NEW BEST:: SOT 36147 SOS 14285 HAS SOPS 14285 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12385.285
AT ITER 1812 NEW BEST:: SOT 36155 SOS 14316 HAS SOPS 14316 HAS SOUS 12364 HAS SOUPS 12364 WITH SCORE 12378.316
AT ITER 1815 NEW BEST:: SOT 36138 SOS 14224 HAS SOPS 14224 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12323.224
AT ITER 1817 NEW BEST:: SOT 36130 SOS 14192 HAS SOPS 14192 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12298.192
AT ITER 1842 NEW BEST:: SOT 36130 SOS 14189 HAS SOPS 14189 HAS SOUS 12281 HAS SOUPS 12281 WITH SCORE 12295.189
AT ITER 1864 NEW BEST:: SOT 35990 SOS 14049 HAS SOPS 14049 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12249.049
AT ITER 1881 NEW BEST:: SOT 35978 SOS 14037 HAS SOPS 14037 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12237.037
AT ITER 1910 NEW BEST:: SOT 35961 SOS 14017 HAS SOPS 14017 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12228.017
AT ITER 1951 NEW BEST:: SOT 35960 SOS 14013 HAS SOPS 14013 HAS SOUS 12212 HAS SOUPS 12212 WITH SCORE 12226.013
AT ITER 1984 NEW BEST:: SOT 35900 SOS 13936 HAS SOPS 13936 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12143.936
AT ITER 1988 NEW BEST:: SOT 35900 SOS 13931 HAS SOPS 13931 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12143.931
AT ITER 1997 NEW BEST:: SOT 35896 SOS 13919 HAS SOPS 13919 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12128.919
AT ITER 2007 NEW BEST:: SOT 35857 SOS 13867 HAS SOPS 13867 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12076.867
AT ITER 2012 NEW BEST:: SOT 35819 SOS 13811 HAS SOPS 13811 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12033.811
AT ITER 2016 NEW BEST:: SOT 35790 SOS 13766 HAS SOPS 13766 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 11991.766
AT ITER 2022 NEW BEST:: SOT 35767 SOS 13743 HAS SOPS 13743 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11968.743
AT ITER 2027 NEW BEST:: SOT 35747 SOS 13713 HAS SOPS 13713 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11918.713
AT ITER 2029 NEW BEST:: SOT 35703 SOS 13614 HAS SOPS 13614 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11852.614
AT ITER 2037 NEW BEST:: SOT 35694 SOS 13605 HAS SOPS 13605 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11843.605
AT ITER 2059 NEW BEST:: SOT 35689 SOS 13595 HAS SOPS 13595 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11843.595
AT ITER 2074 NEW BEST:: SOT 35650 SOS 13545 HAS SOPS 13545 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11764.545
AT ITER 2077 NEW BEST:: SOT 35650 SOS 13371 HAS SOPS 13371 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11699.371
AT ITER 2104 NEW BEST:: SOT 35649 SOS 13370 HAS SOPS 13370 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11699.37
AT ITER 2119 NEW BEST:: SOT 35641 SOS 13356 HAS SOPS 13356 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11685.356
AT ITER 2123 NEW BEST:: SOT 35596 SOS 13260 HAS SOPS 13260 HAS SOUS 11594 HAS SOUPS 11594 WITH SCORE 11607.26
AT ITER 2139 NEW BEST:: SOT 35592 SOS 13247 HAS SOPS 13247 HAS SOUS 11586 HAS SOUPS 11586 WITH SCORE 11599.247
AT ITER 2169 NEW BEST:: SOT 35592 SOS 13246 HAS SOPS 13246 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11591.246
AT ITER 2177 NEW BEST:: SOT 35592 SOS 13245 HAS SOPS 13245 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11589.245
AT ITER 2185 NEW BEST:: SOT 35583 SOS 13233 HAS SOPS 13233 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11577.233
AT ITER 2197 NEW BEST:: SOT 35612 SOS 13314 HAS SOPS 13314 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11555.314
AT ITER 2210 NEW BEST:: SOT 35610 SOS 13306 HAS SOPS 13306 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11549.306
AT ITER 2213 NEW BEST:: SOT 35598 SOS 13277 HAS SOPS 13277 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11519.277
AT ITER 2230 NEW BEST:: SOT 35583 SOS 13257 HAS SOPS 13257 HAS SOUS 11486 HAS SOUPS 11486 WITH SCORE 11499.257
AT ITER 2261 NEW BEST:: SOT 35521 SOS 13145 HAS SOPS 13145 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11403.145
AT ITER 2294 NEW BEST:: SOT 35519 SOS 13137 HAS SOPS 13137 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11399.137
AT ITER 2298 NEW BEST:: SOT 35497 SOS 13109 HAS SOPS 13109 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11381.109
AT ITER 2305 NEW BEST:: SOT 35497 SOS 13102 HAS SOPS 13102 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11374.102
AT ITER 2313 NEW BEST:: SOT 35488 SOS 13075 HAS SOPS 13075 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11360.075
AT ITER 2332 NEW BEST:: SOT 35502 SOS 13071 HAS SOPS 13071 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11356.071
AT ITER 2364 NEW BEST:: SOT 35502 SOS 13072 HAS SOPS 13072 HAS SOUS 11341 HAS SOUPS 11341 WITH SCORE 11354.072
AT ITER 2392 NEW BEST:: SOT 35490 SOS 13024 HAS SOPS 13024 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11316.024
AT ITER 2395 NEW BEST:: SOT 35486 SOS 13022 HAS SOPS 13022 HAS SOUS 11302 HAS SOUPS 11302 WITH SCORE 11315.022
AT ITER 2400 NEW BEST:: SOT 35486 SOS 13022 HAS SOPS 13022 HAS SOUS 11299 HAS SOUPS 11299 WITH SCORE 11312.022
AT ITER 2417 NEW BEST:: SOT 35482 SOS 13018 HAS SOPS 13018 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11308.018
AT ITER 2444 NEW BEST:: SOT 35455 SOS 12984 HAS SOPS 12984 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11275.984
AT ITER 2468 NEW BEST:: SOT 35419 SOS 12948 HAS SOPS 12948 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11239.948
AT ITER 2537 NEW BEST:: SOT 35404 SOS 12903 HAS SOPS 12903 HAS SOUS 11182 HAS SOUPS 11182 WITH SCORE 11194.903
AT ITER 2549 NEW BEST:: SOT 35376 SOS 12901 HAS SOPS 12901 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11166.901
AT ITER 2571 NEW BEST:: SOT 35376 SOS 12900 HAS SOPS 12900 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11166.9
AT ITER 2575 NEW BEST:: SOT 35337 SOS 12930 HAS SOPS 12930 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11146.93
AT ITER 2581 NEW BEST:: SOT 35337 SOS 12898 HAS SOPS 12898 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11138.898
AT ITER 2595 NEW BEST:: SOT 35317 SOS 12882 HAS SOPS 12882 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11085.882
AT ITER 2596 NEW BEST:: SOT 35276 SOS 12805 HAS SOPS 12805 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11006.805
AT ITER 2609 NEW BEST:: SOT 35271 SOS 12816 HAS SOPS 12816 HAS SOUS 10989 HAS SOUPS 10989 WITH SCORE 11001.816
AT ITER 2610 NEW BEST:: SOT 35269 SOS 12812 HAS SOPS 12812 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10986.812
AT ITER 2619 NEW BEST:: SOT 35269 SOS 12814 HAS SOPS 12814 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10980.814
AT ITER 2643 NEW BEST:: SOT 35269 SOS 12810 HAS SOPS 12810 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10976.81
AT ITER 2658 NEW BEST:: SOT 35260 SOS 12803 HAS SOPS 12803 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10965.803
AT ITER 2660 NEW BEST:: SOT 35256 SOS 12798 HAS SOPS 12798 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10959.798
AT ITER 2661 NEW BEST:: SOT 35235 SOS 12758 HAS SOPS 12758 HAS SOUS 10895 HAS SOUPS 10895 WITH SCORE 10907.758
AT ITER 2663 NEW BEST:: SOT 35245 SOS 12768 HAS SOPS 12768 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10904.768
AT ITER 2679 NEW BEST:: SOT 35251 SOS 12733 HAS SOPS 12733 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10898.733
AT ITER 2690 NEW BEST:: SOT 35249 SOS 12727 HAS SOPS 12727 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10896.727
AT ITER 2695 NEW BEST:: SOT 35199 SOS 12652 HAS SOPS 12652 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10846.652
AT ITER 2696 NEW BEST:: SOT 35165 SOS 12573 HAS SOPS 12573 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10819.573
AT ITER 2700 NEW BEST:: SOT 35156 SOS 12567 HAS SOPS 12567 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10806.567
AT ITER 2704 NEW BEST:: SOT 35151 SOS 12560 HAS SOPS 12560 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10801.56
AT ITER 2747 NEW BEST:: SOT 35281 SOS 12578 HAS SOPS 12578 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10787.578
AT ITER 2749 NEW BEST:: SOT 35135 SOS 12383 HAS SOPS 12383 HAS SOUS 10580 HAS SOUPS 10580 WITH SCORE 10592.383
AT ITER 2761 NEW BEST:: SOT 35137 SOS 12389 HAS SOPS 12389 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10564.389
AT ITER 2769 NEW BEST:: SOT 35094 SOS 12318 HAS SOPS 12318 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10493.318
AT ITER 2772 NEW BEST:: SOT 35094 SOS 12318 HAS SOPS 12318 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10491.318
AT ITER 2783 NEW BEST:: SOT 35088 SOS 12314 HAS SOPS 12314 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10474.314
AT ITER 2791 NEW BEST:: SOT 35082 SOS 12302 HAS SOPS 12302 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10460.302
AT ITER 2814 NEW BEST:: SOT 35047 SOS 12216 HAS SOPS 12216 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10409.216
AT ITER 2842 NEW BEST:: SOT 35047 SOS 12214 HAS SOPS 12214 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10404.214
AT ITER 2871 NEW BEST:: SOT 35035 SOS 12184 HAS SOPS 12184 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10386.184
AT ITER 2878 NEW BEST:: SOT 35035 SOS 12174 HAS SOPS 12174 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10376.174
AT ITER 2883 NEW BEST:: SOT 35026 SOS 12136 HAS SOPS 12136 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10359.136
AT ITER 2920 NEW BEST:: SOT 35031 SOS 12129 HAS SOPS 12129 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10353.129
AT ITER 2923 NEW BEST:: SOT 35021 SOS 12072 HAS SOPS 12072 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10332.072
AT ITER 2944 NEW BEST:: SOT 35011 SOS 12062 HAS SOPS 12062 HAS SOUS 10310 HAS SOUPS 10310 WITH SCORE 10322.062
AT ITER 2947 NEW BEST:: SOT 35011 SOS 12055 HAS SOPS 12055 HAS SOUS 10310 HAS SOUPS 10310 WITH SCORE 10322.055
AT ITER 2975 NEW BEST:: SOT 35011 SOS 12019 HAS SOPS 12019 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10287.019
AT ITER 2983 NEW BEST:: SOT 34976 SOS 11898 HAS SOPS 11898 HAS SOUS 10209 HAS SOUPS 10209 WITH SCORE 10220.898
AT ITER 2999 NEW BEST:: SOT 34976 SOS 11905 HAS SOPS 11905 HAS SOUS 10202 HAS SOUPS 10202 WITH SCORE 10213.905
AT ITER 3025 NEW BEST:: SOT 34965 SOS 11843 HAS SOPS 11843 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10180.843
AT ITER 3027 NEW BEST:: SOT 34952 SOS 11804 HAS SOPS 11804 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10167.804
AT ITER 3049 NEW BEST:: SOT 34959 SOS 11801 HAS SOPS 11801 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10164.801
AT ITER 3067 NEW BEST:: SOT 34911 SOS 11710 HAS SOPS 11710 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10113.71
AT ITER 3095 NEW BEST:: SOT 34889 SOS 11648 HAS SOPS 11648 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10081.648
AT ITER 3111 NEW BEST:: SOT 34888 SOS 11643 HAS SOPS 11643 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.643
AT ITER 3122 NEW BEST:: SOT 34887 SOS 11642 HAS SOPS 11642 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10078.642
AT ITER 3137 NEW BEST:: SOT 34857 SOS 11536 HAS SOPS 11536 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10016.536
AT ITER 3193 NEW BEST:: SOT 34845 SOS 11524 HAS SOPS 11524 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10004.524
AT ITER 3197 NEW BEST:: SOT 34837 SOS 11504 HAS SOPS 11504 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9992.504
AT ITER 3224 NEW BEST:: SOT 34822 SOS 11414 HAS SOPS 11414 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9962.414
AT ITER 3239 NEW BEST:: SOT 34811 SOS 11384 HAS SOPS 11384 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9938.384
AT ITER 3248 NEW BEST:: SOT 34792 SOS 11389 HAS SOPS 11389 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9870.389
AT ITER 3268 NEW BEST:: SOT 34774 SOS 11383 HAS SOPS 11383 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9864.383
AT ITER 3287 NEW BEST:: SOT 34769 SOS 11378 HAS SOPS 11378 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9859.378
AT ITER 3296 NEW BEST:: SOT 34766 SOS 11377 HAS SOPS 11377 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9853.377
AT ITER 3297 NEW BEST:: SOT 34749 SOS 11364 HAS SOPS 11364 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9818.364
AT ITER 3318 NEW BEST:: SOT 34716 SOS 11316 HAS SOPS 11316 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9763.316
AT ITER 3344 NEW BEST:: SOT 34692 SOS 11248 HAS SOPS 11248 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9728.248
AT ITER 3397 NEW BEST:: SOT 34684 SOS 11238 HAS SOPS 11238 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9718.238
AT ITER 3405 NEW BEST:: SOT 34681 SOS 11206 HAS SOPS 11206 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9701.206
AT ITER 3429 NEW BEST:: SOT 34676 SOS 11205 HAS SOPS 11205 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9696.205
AT ITER 3464 NEW BEST:: SOT 34670 SOS 11193 HAS SOPS 11193 HAS SOUS 9681 HAS SOUPS 9681 WITH SCORE 9692.193
AT ITER 3496 NEW BEST:: SOT 34657 SOS 11177 HAS SOPS 11177 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9677.177
AT ITER 3507 NEW BEST:: SOT 34650 SOS 11159 HAS SOPS 11159 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9664.159
AT ITER 3529 NEW BEST:: SOT 34650 SOS 11141 HAS SOPS 11141 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9654.141
AT ITER 3534 NEW BEST:: SOT 34649 SOS 11156 HAS SOPS 11156 HAS SOUS 9642 HAS SOUPS 9642 WITH SCORE 9653.156
AT ITER 3595 NEW BEST:: SOT 34649 SOS 11152 HAS SOPS 11152 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9649.152
AT ITER 3608 NEW BEST:: SOT 34646 SOS 11151 HAS SOPS 11151 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9648.151
AT ITER 3620 NEW BEST:: SOT 34638 SOS 11146 HAS SOPS 11146 HAS SOUS 9630 HAS SOUPS 9630 WITH SCORE 9641.146
AT ITER 3647 NEW BEST:: SOT 34618 SOS 11108 HAS SOPS 11108 HAS SOUS 9593 HAS SOUPS 9593 WITH SCORE 9604.108
AT ITER 3650 NEW BEST:: SOT 34610 SOS 11057 HAS SOPS 11057 HAS SOUS 9572 HAS SOUPS 9572 WITH SCORE 9583.057
AT ITER 3651 NEW BEST:: SOT 34604 SOS 11047 HAS SOPS 11047 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9562.047
AT ITER 3666 NEW BEST:: SOT 34604 SOS 11029 HAS SOPS 11029 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9547.029
AT ITER 3715 NEW BEST:: SOT 34591 SOS 11009 HAS SOPS 11009 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9521.009
AT ITER 3780 NEW BEST:: SOT 34581 SOS 10988 HAS SOPS 10988 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9504.988
AT ITER 3781 NEW BEST:: SOT 34579 SOS 10985 HAS SOPS 10985 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9500.985
AT ITER 3846 NEW BEST:: SOT 34560 SOS 10907 HAS SOPS 10907 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9454.907
AT ITER 3953 NEW BEST:: SOT 34528 SOS 10864 HAS SOPS 10864 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9425.864
AT ITER 3973 NEW BEST:: SOT 34523 SOS 10849 HAS SOPS 10849 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9415.849
AT ITER 4025 NEW BEST:: SOT 34499 SOS 10791 HAS SOPS 10791 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9379.791
AT ITER 4058 NEW BEST:: SOT 34474 SOS 10750 HAS SOPS 10750 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9345.75
AT ITER 4106 NEW BEST:: SOT 34474 SOS 10750 HAS SOPS 10750 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9340.75
AT ITER 4156 NEW BEST:: SOT 34469 SOS 10693 HAS SOPS 10693 HAS SOUS 9294 HAS SOUPS 9294 WITH SCORE 9304.693
AT ITER 4228 NEW BEST:: SOT 34466 SOS 10689 HAS SOPS 10689 HAS SOUS 9290 HAS SOUPS 9290 WITH SCORE 9300.689
AT ITER 4329 NEW BEST:: SOT 34458 SOS 10666 HAS SOPS 10666 HAS SOUS 9277 HAS SOUPS 9277 WITH SCORE 9287.666
AT ITER 4330 NEW BEST:: SOT 34459 SOS 10668 HAS SOPS 10668 HAS SOUS 9274 HAS SOUPS 9274 WITH SCORE 9284.668
AT ITER 4332 NEW BEST:: SOT 34448 SOS 10657 HAS SOPS 10657 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9258.657
AT ITER 4376 NEW BEST:: SOT 34451 SOS 10660 HAS SOPS 10660 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9254.66
AT ITER 4410 NEW BEST:: SOT 34451 SOS 10653 HAS SOPS 10653 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9246.653
AT ITER 4430 NEW BEST:: SOT 34445 SOS 10645 HAS SOPS 10645 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9238.645
AT ITER 4446 NEW BEST:: SOT 34443 SOS 10631 HAS SOPS 10631 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9234.631
AT ITER 4528 NEW BEST:: SOT 34442 SOS 10630 HAS SOPS 10630 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.63
AT ITER 4637 NEW BEST:: SOT 34427 SOS 10589 HAS SOPS 10589 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9222.589
AT ITER 4642 NEW BEST:: SOT 34426 SOS 10586 HAS SOPS 10586 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9220.586
AT ITER 4677 NEW BEST:: SOT 34422 SOS 10582 HAS SOPS 10582 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9216.582
AT ITER 4732 NEW BEST:: SOT 34421 SOS 10580 HAS SOPS 10580 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9213.58
AT ITER 4757 NEW BEST:: SOT 34411 SOS 10555 HAS SOPS 10555 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9193.555
AT ITER 4763 NEW BEST:: SOT 34381 SOS 10505 HAS SOPS 10505 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9146.505
AT ITER 4778 NEW BEST:: SOT 34381 SOS 10496 HAS SOPS 10496 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9146.496
AT ITER 4782 NEW BEST:: SOT 34388 SOS 10532 HAS SOPS 10532 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9141.532
AT ITER 4839 NEW BEST:: SOT 34379 SOS 10503 HAS SOPS 10503 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9116.503
AT ITER 4840 NEW BEST:: SOT 34376 SOS 10500 HAS SOPS 10500 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9113.5
AT ITER 4850 NEW BEST:: SOT 34348 SOS 10450 HAS SOPS 10450 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9062.45
AT ITER 4930 NEW BEST:: SOT 34343 SOS 10446 HAS SOPS 10446 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9053.446
AT ITER 4948 NEW BEST:: SOT 34328 SOS 10449 HAS SOPS 10449 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9041.449
AT ITER 4955 NEW BEST:: SOT 34327 SOS 10448 HAS SOPS 10448 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9036.448
AT ITER 5029 NEW BEST:: SOT 34324 SOS 10445 HAS SOPS 10445 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9026.445
AT ITER 5034 NEW BEST:: SOT 34321 SOS 10427 HAS SOPS 10427 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9020.427
AT ITER 5056 NEW BEST:: SOT 34311 SOS 10419 HAS SOPS 10419 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9001.419
AT ITER 5089 NEW BEST:: SOT 34311 SOS 10417 HAS SOPS 10417 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 8999.417
AT ITER 5119 NEW BEST:: SOT 34306 SOS 10402 HAS SOPS 10402 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8987.402
AT ITER 5198 NEW BEST:: SOT 34302 SOS 10398 HAS SOPS 10398 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8984.398
AT ITER 5210 NEW BEST:: SOT 34302 SOS 10367 HAS SOPS 10367 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8984.367
AT ITER 5232 NEW BEST:: SOT 34278 SOS 10299 HAS SOPS 10299 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8932.299
AT ITER 5298 NEW BEST:: SOT 34264 SOS 10257 HAS SOPS 10257 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8918.257
AT ITER 5316 NEW BEST:: SOT 34263 SOS 10252 HAS SOPS 10252 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8916.252
AT ITER 5326 NEW BEST:: SOT 34263 SOS 10252 HAS SOPS 10252 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8913.252
AT ITER 5348 NEW BEST:: SOT 34265 SOS 10257 HAS SOPS 10257 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8912.257
AT ITER 5360 NEW BEST:: SOT 34265 SOS 10257 HAS SOPS 10257 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.257
AT ITER 5363 NEW BEST:: SOT 34237 SOS 10229 HAS SOPS 10229 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.229
AT ITER 5440 NEW BEST:: SOT 34234 SOS 10210 HAS SOPS 10210 HAS SOUS 8895 HAS SOUPS 8895 WITH SCORE 8905.21
AT ITER 5461 NEW BEST:: SOT 34235 SOS 10209 HAS SOPS 10209 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8902.209
AT ITER 5462 NEW BEST:: SOT 34230 SOS 10204 HAS SOPS 10204 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8897.204
AT ITER 5469 NEW BEST:: SOT 34226 SOS 10188 HAS SOPS 10188 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8889.188
AT ITER 5510 NEW BEST:: SOT 34226 SOS 10181 HAS SOPS 10181 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8889.181
AT ITER 5544 NEW BEST:: SOT 34217 SOS 10145 HAS SOPS 10145 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8862.145
AT ITER 5552 NEW BEST:: SOT 34205 SOS 10128 HAS SOPS 10128 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8851.128
AT ITER 5568 NEW BEST:: SOT 34203 SOS 10126 HAS SOPS 10126 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8847.126
AT ITER 5597 NEW BEST:: SOT 34203 SOS 10123 HAS SOPS 10123 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8846.123
AT ITER 5718 NEW BEST:: SOT 34205 SOS 10115 HAS SOPS 10115 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8844.115
AT ITER 5783 NEW BEST:: SOT 34190 SOS 10072 HAS SOPS 10072 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8811.072
AT ITER 5787 NEW BEST:: SOT 34167 SOS 10039 HAS SOPS 10039 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8788.039
AT ITER 5800 NEW BEST:: SOT 34159 SOS 9998 HAS SOPS 9998 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8765.998
AT ITER 5903 NEW BEST:: SOT 34152 SOS 9980 HAS SOPS 9980 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8736.98
AT ITER 5990 NEW BEST:: SOT 34154 SOS 9979 HAS SOPS 9979 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8734.979
AT ITER 6162 NEW BEST:: SOT 34150 SOS 9975 HAS SOPS 9975 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8728.975
AT ITER 6170 NEW BEST:: SOT 34143 SOS 9957 HAS SOPS 9957 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8717.957
AT ITER 6183 NEW BEST:: SOT 34141 SOS 9955 HAS SOPS 9955 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8714.955
AT ITER 6197 NEW BEST:: SOT 34133 SOS 9935 HAS SOPS 9935 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8698.935
AT ITER 6242 NEW BEST:: SOT 34133 SOS 9930 HAS SOPS 9930 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8693.93
AT ITER 6251 NEW BEST:: SOT 34131 SOS 9924 HAS SOPS 9924 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8689.924
AT ITER 6256 NEW BEST:: SOT 34109 SOS 9897 HAS SOPS 9897 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8662.897
AT ITER 6264 NEW BEST:: SOT 34100 SOS 9867 HAS SOPS 9867 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8639.867
AT ITER 6308 NEW BEST:: SOT 34091 SOS 9855 HAS SOPS 9855 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.855
AT ITER 6399 NEW BEST:: SOT 34089 SOS 9852 HAS SOPS 9852 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.852
AT ITER 6419 NEW BEST:: SOT 34086 SOS 9852 HAS SOPS 9852 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8626.852
AT ITER 6510 NEW BEST:: SOT 34078 SOS 9828 HAS SOPS 9828 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.828
AT ITER 6532 NEW BEST:: SOT 34045 SOS 9762 HAS SOPS 9762 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8564.762
AT ITER 6540 NEW BEST:: SOT 34013 SOS 9709 HAS SOPS 9709 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8513.709
AT ITER 6596 NEW BEST:: SOT 34012 SOS 9708 HAS SOPS 9708 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8512.708
AT ITER 6641 NEW BEST:: SOT 34010 SOS 9709 HAS SOPS 9709 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8509.709
AT ITER 6706 NEW BEST:: SOT 34008 SOS 9705 HAS SOPS 9705 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8504.705
AT ITER 6863 NEW BEST:: SOT 34005 SOS 9702 HAS SOPS 9702 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8501.702
AT ITER 6907 NEW BEST:: SOT 34001 SOS 9690 HAS SOPS 9690 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8497.69
AT ITER 6918 NEW BEST:: SOT 33990 SOS 9673 HAS SOPS 9673 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8486.673
AT ITER 6933 NEW BEST:: SOT 33990 SOS 9671 HAS SOPS 9671 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8484.671
AT ITER 6943 NEW BEST:: SOT 33991 SOS 9682 HAS SOPS 9682 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.682
AT ITER 6955 NEW BEST:: SOT 33987 SOS 9672 HAS SOPS 9672 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8479.672
AT ITER 6964 NEW BEST:: SOT 33967 SOS 9646 HAS SOPS 9646 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8459.646
AT ITER 6965 NEW BEST:: SOT 33968 SOS 9646 HAS SOPS 9646 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8451.646
AT ITER 7017 NEW BEST:: SOT 33960 SOS 9630 HAS SOPS 9630 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8441.63
AT ITER 7076 NEW BEST:: SOT 33960 SOS 9625 HAS SOPS 9625 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8436.625
AT ITER 7095 NEW BEST:: SOT 33957 SOS 9606 HAS SOPS 9606 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8421.606
AT ITER 7111 NEW BEST:: SOT 33957 SOS 9612 HAS SOPS 9612 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8419.612
AT ITER 7119 NEW BEST:: SOT 33945 SOS 9579 HAS SOPS 9579 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8395.579
AT ITER 7191 NEW BEST:: SOT 33943 SOS 9575 HAS SOPS 9575 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8393.575
AT ITER 7200 NEW BEST:: SOT 33932 SOS 9537 HAS SOPS 9537 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8374.537
AT ITER 7227 NEW BEST:: SOT 33920 SOS 9521 HAS SOPS 9521 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8358.521
AT ITER 7238 NEW BEST:: SOT 33919 SOS 9555 HAS SOPS 9555 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8356.555
AT ITER 7298 NEW BEST:: SOT 33919 SOS 9557 HAS SOPS 9557 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8354.557
AT ITER 7352 NEW BEST:: SOT 33919 SOS 9553 HAS SOPS 9553 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8354.553
AT ITER 7413 NEW BEST:: SOT 33919 SOS 9550 HAS SOPS 9550 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8354.55
AT ITER 7420 NEW BEST:: SOT 33914 SOS 9541 HAS SOPS 9541 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8345.541
AT ITER 7424 NEW BEST:: SOT 33909 SOS 9521 HAS SOPS 9521 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8336.521
AT ITER 7565 NEW BEST:: SOT 33906 SOS 9514 HAS SOPS 9514 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8331.514
AT ITER 7577 NEW BEST:: SOT 33900 SOS 9526 HAS SOPS 9526 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8325.526
AT ITER 7688 NEW BEST:: SOT 33900 SOS 9525 HAS SOPS 9525 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8320.525
AT ITER 7705 NEW BEST:: SOT 33898 SOS 9522 HAS SOPS 9522 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8317.522
AT ITER 7739 NEW BEST:: SOT 33898 SOS 9522 HAS SOPS 9522 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8315.522
AT ITER 7776 NEW BEST:: SOT 33895 SOS 9510 HAS SOPS 9510 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8314.51
AT ITER 7780 NEW BEST:: SOT 33891 SOS 9490 HAS SOPS 9490 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8306.49
AT ITER 7787 NEW BEST:: SOT 33889 SOS 9487 HAS SOPS 9487 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8302.487
AT ITER 7844 NEW BEST:: SOT 33868 SOS 9446 HAS SOPS 9446 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8268.446
AT ITER 7888 NEW BEST:: SOT 33892 SOS 9462 HAS SOPS 9462 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8239.462
AT ITER 7901 NEW BEST:: SOT 33879 SOS 9449 HAS SOPS 9449 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8213.449
AT ITER 7911 NEW BEST:: SOT 33879 SOS 9447 HAS SOPS 9447 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8209.447
AT ITER 7913 NEW BEST:: SOT 33874 SOS 9438 HAS SOPS 9438 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8203.438
AT ITER 7971 NEW BEST:: SOT 33868 SOS 9426 HAS SOPS 9426 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.426
AT ITER 7989 NEW BEST:: SOT 33863 SOS 9413 HAS SOPS 9413 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8182.413
AT ITER 8008 NEW BEST:: SOT 33860 SOS 9409 HAS SOPS 9409 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8178.409
AT ITER 8020 NEW BEST:: SOT 33839 SOS 9366 HAS SOPS 9366 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8138.366
AT ITER 8030 NEW BEST:: SOT 33836 SOS 9364 HAS SOPS 9364 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8133.364
AT ITER 8086 NEW BEST:: SOT 33824 SOS 9340 HAS SOPS 9340 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8121.34
AT ITER 8119 NEW BEST:: SOT 33815 SOS 9328 HAS SOPS 9328 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8109.328
AT ITER 8150 NEW BEST:: SOT 33814 SOS 9314 HAS SOPS 9314 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8100.314
AT ITER 8180 NEW BEST:: SOT 33813 SOS 9321 HAS SOPS 9321 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8093.321
AT ITER 8216 NEW BEST:: SOT 33807 SOS 9309 HAS SOPS 9309 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8084.309
AT ITER 8259 NEW BEST:: SOT 33795 SOS 9270 HAS SOPS 9270 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8055.27
AT ITER 8295 NEW BEST:: SOT 33793 SOS 9262 HAS SOPS 9262 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8051.262
AT ITER 8328 NEW BEST:: SOT 33784 SOS 9235 HAS SOPS 9235 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8024.235
AT ITER 8380 NEW BEST:: SOT 33783 SOS 9240 HAS SOPS 9240 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8023.24
AT ITER 8395 NEW BEST:: SOT 33781 SOS 9234 HAS SOPS 9234 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8019.234
AT ITER 8457 NEW BEST:: SOT 33779 SOS 9228 HAS SOPS 9228 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8015.228
AT ITER 8531 NEW BEST:: SOT 33743 SOS 9218 HAS SOPS 9218 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7986.218
AT ITER 8585 NEW BEST:: SOT 33741 SOS 9151 HAS SOPS 9151 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7982.151
AT ITER 8603 NEW BEST:: SOT 33733 SOS 9135 HAS SOPS 9135 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7970.135
AT ITER 8651 NEW BEST:: SOT 33731 SOS 9132 HAS SOPS 9132 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7967.132
AT ITER 8695 NEW BEST:: SOT 33722 SOS 9120 HAS SOPS 9120 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7952.12
AT ITER 8716 NEW BEST:: SOT 33718 SOS 9112 HAS SOPS 9112 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7948.112
AT ITER 8892 NEW BEST:: SOT 33724 SOS 9083 HAS SOPS 9083 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7940.083
AT ITER 8914 NEW BEST:: SOT 33728 SOS 9087 HAS SOPS 9087 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7938.087
AT ITER 8953 NEW BEST:: SOT 33727 SOS 9083 HAS SOPS 9083 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7937.083
AT ITER 9115 NEW BEST:: SOT 33713 SOS 9059 HAS SOPS 9059 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7917.059
AT ITER 9122 NEW BEST:: SOT 33711 SOS 9056 HAS SOPS 9056 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7914.056
AT ITER 9126 NEW BEST:: SOT 33723 SOS 9060 HAS SOPS 9060 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7908.06
AT ITER 9154 NEW BEST:: SOT 33720 SOS 9059 HAS SOPS 9059 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7903.059
AT ITER 9182 NEW BEST:: SOT 33703 SOS 9045 HAS SOPS 9045 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7889.045
AT ITER 9196 NEW BEST:: SOT 33698 SOS 9030 HAS SOPS 9030 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7879.03
AT ITER 9215 NEW BEST:: SOT 33696 SOS 9026 HAS SOPS 9026 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7876.026
AT ITER 9274 NEW BEST:: SOT 33696 SOS 9026 HAS SOPS 9026 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7865.026
AT ITER 9296 NEW BEST:: SOT 33696 SOS 9026 HAS SOPS 9026 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7862.026
AT ITER 9322 NEW BEST:: SOT 33694 SOS 9019 HAS SOPS 9019 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7859.019
AT ITER 9369 NEW BEST:: SOT 33694 SOS 9019 HAS SOPS 9019 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7857.019
AT ITER 9379 NEW BEST:: SOT 33684 SOS 8999 HAS SOPS 8999 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7846.999
AT ITER 9382 NEW BEST:: SOT 33680 SOS 8991 HAS SOPS 8991 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7840.991
AT ITER 9463 NEW BEST:: SOT 33676 SOS 8981 HAS SOPS 8981 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7832.981
AT ITER 9522 NEW BEST:: SOT 33679 SOS 8976 HAS SOPS 8976 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7804.976
AT ITER 9582 NEW BEST:: SOT 33671 SOS 8958 HAS SOPS 8958 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.958
AT ITER 9638 NEW BEST:: SOT 33672 SOS 8978 HAS SOPS 8978 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7790.978
AT ITER 9729 NEW BEST:: SOT 33670 SOS 8974 HAS SOPS 8974 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7778.974
AT ITER 9743 NEW BEST:: SOT 33666 SOS 8970 HAS SOPS 8970 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7774.97
AT ITER 9804 NEW BEST:: SOT 33663 SOS 8956 HAS SOPS 8956 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7761.956
AT ITER 9819 NEW BEST:: SOT 33661 SOS 8951 HAS SOPS 8951 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7758.951
AT ITER 9938 NEW BEST:: SOT 33647 SOS 8932 HAS SOPS 8932 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7739.932
AT ITER 9942 NEW BEST:: SOT 33632 SOS 8901 HAS SOPS 8901 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7711.901
AT ITER 9988 NEW BEST:: SOT 33631 SOS 8898 HAS SOPS 8898 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7710.898
AT ITER 9991 NEW BEST:: SOT 33631 SOS 8898 HAS SOPS 8898 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7708.898
AT ITER 9997 NEW BEST:: SOT 33625 SOS 8886 HAS SOPS 8886 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.886

BK_STOP 1590458940772

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 375 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="ShieldRVt-PT-030A"
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"

# 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 ShieldRVt-PT-030A, 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 r207-tajo-159033470401040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-030A.tgz
mv ShieldRVt-PT-030A 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 ;