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.r171-tall-167838858700528.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 smartxred
Input is FlexibleBarrier-PT-14a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858700528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 12:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 12:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 25 13:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 13:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 169K 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 1679479088053

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-14a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 09:58:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 09:58:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 09:58:09] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-03-22 09:58:09] [INFO ] Transformed 171 places.
[2023-03-22 09:58:09] [INFO ] Transformed 578 transitions.
[2023-03-22 09:58:09] [INFO ] Found NUPN structural information;
[2023-03-22 09:58:09] [INFO ] Parsed PT model containing 171 places and 578 transitions and 2719 arcs in 125 ms.
[2023-03-22 09:58:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 171 places, 578 transitions and 2719 arcs took 8 ms.
Total runtime 160 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 14a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 171 places, 578 transitions, 2719 arcs.
AT ITER 0 NEW BEST:: SOT 85744 SOS 71994 HAS SOPS 71994 HAS SOUS 41806 HAS SOUPS 41806 WITH SCORE 41877.994
AT ITER 2 NEW BEST:: SOT 85442 SOS 71715 HAS SOPS 71715 HAS SOUS 41654 HAS SOUPS 41654 WITH SCORE 41725.715
AT ITER 8 NEW BEST:: SOT 85071 SOS 71328 HAS SOPS 71328 HAS SOUS 41388 HAS SOUPS 41388 WITH SCORE 41459.328
AT ITER 15 NEW BEST:: SOT 84611 SOS 70868 HAS SOPS 70868 HAS SOUS 41135 HAS SOUPS 41135 WITH SCORE 41205.868
AT ITER 16 NEW BEST:: SOT 84312 SOS 70485 HAS SOPS 70485 HAS SOUS 40863 HAS SOUPS 40863 WITH SCORE 40933.485
AT ITER 17 NEW BEST:: SOT 84465 SOS 70490 HAS SOPS 70490 HAS SOUS 40850 HAS SOUPS 40850 WITH SCORE 40920.49
AT ITER 21 NEW BEST:: SOT 84524 SOS 70425 HAS SOPS 70425 HAS SOUS 40830 HAS SOUPS 40830 WITH SCORE 40900.425
AT ITER 25 NEW BEST:: SOT 84135 SOS 70014 HAS SOPS 70014 HAS SOUS 40615 HAS SOUPS 40615 WITH SCORE 40685.014
AT ITER 27 NEW BEST:: SOT 84197 SOS 70149 HAS SOPS 70149 HAS SOUS 40103 HAS SOUPS 40103 WITH SCORE 40173.149
AT ITER 28 NEW BEST:: SOT 84196 SOS 70147 HAS SOPS 70147 HAS SOUS 40103 HAS SOUPS 40103 WITH SCORE 40173.147
AT ITER 29 NEW BEST:: SOT 83937 SOS 69832 HAS SOPS 69832 HAS SOUS 39919 HAS SOUPS 39919 WITH SCORE 39988.832
AT ITER 40 NEW BEST:: SOT 83980 SOS 69823 HAS SOPS 69823 HAS SOUS 38877 HAS SOUPS 38877 WITH SCORE 38946.823
AT ITER 42 NEW BEST:: SOT 84026 SOS 69443 HAS SOPS 69443 HAS SOUS 37636 HAS SOUPS 37636 WITH SCORE 37705.443
AT ITER 43 NEW BEST:: SOT 84159 SOS 69474 HAS SOPS 69474 HAS SOUS 37607 HAS SOUPS 37607 WITH SCORE 37676.474
AT ITER 47 NEW BEST:: SOT 84156 SOS 69467 HAS SOPS 69467 HAS SOUS 37604 HAS SOUPS 37604 WITH SCORE 37673.467
AT ITER 48 NEW BEST:: SOT 84138 SOS 69431 HAS SOPS 69431 HAS SOUS 37568 HAS SOUPS 37568 WITH SCORE 37637.431
AT ITER 50 NEW BEST:: SOT 83895 SOS 69234 HAS SOPS 69234 HAS SOUS 37428 HAS SOUPS 37428 WITH SCORE 37497.234
AT ITER 52 NEW BEST:: SOT 83913 SOS 68526 HAS SOPS 68526 HAS SOUS 36073 HAS SOUPS 36073 WITH SCORE 36141.526
AT ITER 54 NEW BEST:: SOT 83939 SOS 68393 HAS SOPS 68393 HAS SOUS 36027 HAS SOUPS 36027 WITH SCORE 36095.393
AT ITER 59 NEW BEST:: SOT 84072 SOS 67278 HAS SOPS 67278 HAS SOUS 33927 HAS SOUPS 33927 WITH SCORE 33994.278
AT ITER 60 NEW BEST:: SOT 84095 SOS 67276 HAS SOPS 67276 HAS SOUS 33925 HAS SOUPS 33925 WITH SCORE 33992.276
AT ITER 64 NEW BEST:: SOT 84127 SOS 67274 HAS SOPS 67274 HAS SOUS 33888 HAS SOUPS 33888 WITH SCORE 33955.274
AT ITER 67 NEW BEST:: SOT 83692 SOS 66839 HAS SOPS 66839 HAS SOUS 33657 HAS SOUPS 33657 WITH SCORE 33723.839
AT ITER 68 NEW BEST:: SOT 83684 SOS 66823 HAS SOPS 66823 HAS SOUS 33641 HAS SOUPS 33641 WITH SCORE 33707.823
AT ITER 70 NEW BEST:: SOT 83694 SOS 66615 HAS SOPS 66615 HAS SOUS 33462 HAS SOUPS 33462 WITH SCORE 33528.615
AT ITER 71 NEW BEST:: SOT 83768 SOS 65449 HAS SOPS 65449 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 31996.449
AT ITER 74 NEW BEST:: SOT 84120 SOS 65258 HAS SOPS 65258 HAS SOUS 30097 HAS SOUPS 30097 WITH SCORE 30162.258
AT ITER 75 NEW BEST:: SOT 84126 SOS 65132 HAS SOPS 65132 HAS SOUS 30042 HAS SOUPS 30042 WITH SCORE 30107.132
AT ITER 76 NEW BEST:: SOT 84138 SOS 65115 HAS SOPS 65115 HAS SOUS 30026 HAS SOUPS 30026 WITH SCORE 30091.115
AT ITER 79 NEW BEST:: SOT 84138 SOS 65094 HAS SOPS 65094 HAS SOUS 30005 HAS SOUPS 30005 WITH SCORE 30070.094
AT ITER 80 NEW BEST:: SOT 84138 SOS 65088 HAS SOPS 65088 HAS SOUS 29999 HAS SOUPS 29999 WITH SCORE 30064.088
AT ITER 81 NEW BEST:: SOT 84194 SOS 65200 HAS SOPS 65200 HAS SOUS 29995 HAS SOUPS 29995 WITH SCORE 30060.2
AT ITER 91 NEW BEST:: SOT 84225 SOS 63907 HAS SOPS 63907 HAS SOUS 29465 HAS SOUPS 29465 WITH SCORE 29528.907
AT ITER 92 NEW BEST:: SOT 84225 SOS 63896 HAS SOPS 63896 HAS SOUS 29452 HAS SOUPS 29452 WITH SCORE 29515.896
AT ITER 94 NEW BEST:: SOT 84155 SOS 63594 HAS SOPS 63594 HAS SOUS 29366 HAS SOUPS 29366 WITH SCORE 29429.594
AT ITER 95 NEW BEST:: SOT 84153 SOS 63496 HAS SOPS 63496 HAS SOUS 29319 HAS SOUPS 29319 WITH SCORE 29382.496
AT ITER 98 NEW BEST:: SOT 84153 SOS 63495 HAS SOPS 63495 HAS SOUS 29319 HAS SOUPS 29319 WITH SCORE 29382.495
AT ITER 99 NEW BEST:: SOT 84151 SOS 63491 HAS SOPS 63491 HAS SOUS 29316 HAS SOUPS 29316 WITH SCORE 29379.491
AT ITER 101 NEW BEST:: SOT 84129 SOS 63469 HAS SOPS 63469 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29335.469
AT ITER 104 NEW BEST:: SOT 84131 SOS 63438 HAS SOPS 63438 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29335.438
AT ITER 105 NEW BEST:: SOT 84161 SOS 62618 HAS SOPS 62618 HAS SOUS 28083 HAS SOUPS 28083 WITH SCORE 28145.618
AT ITER 106 NEW BEST:: SOT 84188 SOS 60121 HAS SOPS 60121 HAS SOUS 26504 HAS SOUPS 26504 WITH SCORE 26564.121
AT ITER 107 NEW BEST:: SOT 84354 SOS 60248 HAS SOPS 60248 HAS SOUS 26501 HAS SOUPS 26501 WITH SCORE 26561.248
AT ITER 108 NEW BEST:: SOT 84344 SOS 60228 HAS SOPS 60228 HAS SOUS 26492 HAS SOUPS 26492 WITH SCORE 26552.228
AT ITER 114 NEW BEST:: SOT 84433 SOS 60287 HAS SOPS 60287 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26530.287
AT ITER 115 NEW BEST:: SOT 84528 SOS 60239 HAS SOPS 60239 HAS SOUS 26424 HAS SOUPS 26424 WITH SCORE 26484.239
AT ITER 117 NEW BEST:: SOT 84568 SOS 60305 HAS SOPS 60305 HAS SOUS 26421 HAS SOUPS 26421 WITH SCORE 26481.305
AT ITER 121 NEW BEST:: SOT 84568 SOS 60305 HAS SOPS 60305 HAS SOUS 26405 HAS SOUPS 26405 WITH SCORE 26465.305
AT ITER 124 NEW BEST:: SOT 84568 SOS 60304 HAS SOPS 60304 HAS SOUS 26405 HAS SOUPS 26405 WITH SCORE 26465.304
AT ITER 125 NEW BEST:: SOT 84595 SOS 59845 HAS SOPS 59845 HAS SOUS 25595 HAS SOUPS 25595 WITH SCORE 25654.845
AT ITER 129 NEW BEST:: SOT 84595 SOS 59807 HAS SOPS 59807 HAS SOUS 25595 HAS SOUPS 25595 WITH SCORE 25654.807
AT ITER 130 NEW BEST:: SOT 84555 SOS 59683 HAS SOPS 59683 HAS SOUS 25518 HAS SOUPS 25518 WITH SCORE 25577.683
AT ITER 132 NEW BEST:: SOT 84311 SOS 59439 HAS SOPS 59439 HAS SOUS 25398 HAS SOUPS 25398 WITH SCORE 25457.439
AT ITER 133 NEW BEST:: SOT 84311 SOS 58946 HAS SOPS 58946 HAS SOUS 25326 HAS SOUPS 25326 WITH SCORE 25384.946
AT ITER 135 NEW BEST:: SOT 84310 SOS 58943 HAS SOPS 58943 HAS SOUS 25324 HAS SOUPS 25324 WITH SCORE 25382.943
AT ITER 139 NEW BEST:: SOT 84312 SOS 58946 HAS SOPS 58946 HAS SOUS 25323 HAS SOUPS 25323 WITH SCORE 25381.946
AT ITER 140 NEW BEST:: SOT 84312 SOS 58914 HAS SOPS 58914 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25349.914
AT ITER 145 NEW BEST:: SOT 84305 SOS 58888 HAS SOPS 58888 HAS SOUS 25279 HAS SOUPS 25279 WITH SCORE 25337.888
AT ITER 146 NEW BEST:: SOT 84287 SOS 58870 HAS SOPS 58870 HAS SOUS 25261 HAS SOUPS 25261 WITH SCORE 25319.87
AT ITER 152 NEW BEST:: SOT 84287 SOS 58807 HAS SOPS 58807 HAS SOUS 25199 HAS SOUPS 25199 WITH SCORE 25257.807
AT ITER 153 NEW BEST:: SOT 84287 SOS 58722 HAS SOPS 58722 HAS SOUS 25199 HAS SOUPS 25199 WITH SCORE 25257.722
AT ITER 161 NEW BEST:: SOT 84254 SOS 56852 HAS SOPS 56852 HAS SOUS 24673 HAS SOUPS 24673 WITH SCORE 24729.852
AT ITER 165 NEW BEST:: SOT 84113 SOS 56598 HAS SOPS 56598 HAS SOUS 24568 HAS SOUPS 24568 WITH SCORE 24624.598
AT ITER 168 NEW BEST:: SOT 84234 SOS 56550 HAS SOPS 56539 HAS SOUS 24518 HAS SOUPS 24507 WITH SCORE 24563.55
AT ITER 171 NEW BEST:: SOT 84239 SOS 56830 HAS SOPS 56819 HAS SOUS 24494 HAS SOUPS 24483 WITH SCORE 24539.83
AT ITER 173 NEW BEST:: SOT 84238 SOS 56828 HAS SOPS 56817 HAS SOUS 24493 HAS SOUPS 24482 WITH SCORE 24538.828
AT ITER 174 NEW BEST:: SOT 83999 SOS 56554 HAS SOPS 56539 HAS SOUS 24313 HAS SOUPS 24302 WITH SCORE 24358.554
AT ITER 179 NEW BEST:: SOT 83992 SOS 56468 HAS SOPS 56453 HAS SOUS 24258 HAS SOUPS 24247 WITH SCORE 24303.468
AT ITER 184 NEW BEST:: SOT 83930 SOS 56221 HAS SOPS 56206 HAS SOUS 24115 HAS SOUPS 24104 WITH SCORE 24160.221
AT ITER 190 NEW BEST:: SOT 83893 SOS 56147 HAS SOPS 56132 HAS SOUS 24080 HAS SOUPS 24069 WITH SCORE 24125.147
AT ITER 193 NEW BEST:: SOT 83881 SOS 55449 HAS SOPS 55434 HAS SOUS 23880 HAS SOUPS 23869 WITH SCORE 23924.449
AT ITER 196 NEW BEST:: SOT 83920 SOS 55420 HAS SOPS 55405 HAS SOUS 23824 HAS SOUPS 23813 WITH SCORE 23868.42
AT ITER 198 NEW BEST:: SOT 82346 SOS 53984 HAS SOPS 53831 HAS SOUS 22313 HAS SOUPS 22271 WITH SCORE 22324.984
AT ITER 199 NEW BEST:: SOT 82331 SOS 53920 HAS SOPS 53767 HAS SOUS 22298 HAS SOUPS 22256 WITH SCORE 22309.92
AT ITER 202 NEW BEST:: SOT 82331 SOS 53912 HAS SOPS 53759 HAS SOUS 22290 HAS SOUPS 22248 WITH SCORE 22301.912
AT ITER 203 NEW BEST:: SOT 82324 SOS 53878 HAS SOPS 53724 HAS SOUS 22261 HAS SOUPS 22219 WITH SCORE 22272.878
AT ITER 207 NEW BEST:: SOT 82324 SOS 53834 HAS SOPS 53680 HAS SOUS 22217 HAS SOUPS 22175 WITH SCORE 22228.834
AT ITER 213 NEW BEST:: SOT 82305 SOS 53774 HAS SOPS 53620 HAS SOUS 22164 HAS SOUPS 22122 WITH SCORE 22175.774
AT ITER 216 NEW BEST:: SOT 82305 SOS 53728 HAS SOPS 53574 HAS SOUS 22164 HAS SOUPS 22122 WITH SCORE 22175.728
AT ITER 218 NEW BEST:: SOT 82222 SOS 53560 HAS SOPS 53426 HAS SOUS 22093 HAS SOUPS 22051 WITH SCORE 22104.56
AT ITER 220 NEW BEST:: SOT 82222 SOS 53559 HAS SOPS 53425 HAS SOUS 22093 HAS SOUPS 22051 WITH SCORE 22104.559
AT ITER 224 NEW BEST:: SOT 82195 SOS 53505 HAS SOPS 53371 HAS SOUS 22039 HAS SOUPS 21997 WITH SCORE 22050.505
AT ITER 228 NEW BEST:: SOT 82267 SOS 52662 HAS SOPS 52528 HAS SOUS 21436 HAS SOUPS 21394 WITH SCORE 21446.662
AT ITER 232 NEW BEST:: SOT 82265 SOS 52620 HAS SOPS 52486 HAS SOUS 21394 HAS SOUPS 21352 WITH SCORE 21404.62
AT ITER 235 NEW BEST:: SOT 76042 SOS 48562 HAS SOPS 46251 HAS SOUS 18558 HAS SOUPS 18456 WITH SCORE 18504.562
AT ITER 240 NEW BEST:: SOT 76005 SOS 48520 HAS SOPS 46209 HAS SOUS 18550 HAS SOUPS 18448 WITH SCORE 18496.52
AT ITER 242 NEW BEST:: SOT 76002 SOS 48514 HAS SOPS 46203 HAS SOUS 18550 HAS SOUPS 18448 WITH SCORE 18496.514
AT ITER 246 NEW BEST:: SOT 76006 SOS 48510 HAS SOPS 46139 HAS SOUS 18464 HAS SOUPS 18362 WITH SCORE 18410.51
AT ITER 253 NEW BEST:: SOT 76006 SOS 48498 HAS SOPS 46127 HAS SOUS 18464 HAS SOUPS 18362 WITH SCORE 18410.498
AT ITER 256 NEW BEST:: SOT 74434 SOS 48352 HAS SOPS 44477 HAS SOUS 16946 HAS SOUPS 16773 WITH SCORE 16821.352
AT ITER 262 NEW BEST:: SOT 74434 SOS 48349 HAS SOPS 44474 HAS SOUS 16943 HAS SOUPS 16770 WITH SCORE 16818.349
AT ITER 264 NEW BEST:: SOT 74387 SOS 48230 HAS SOPS 44352 HAS SOUS 16893 HAS SOUPS 16720 WITH SCORE 16768.23
AT ITER 266 NEW BEST:: SOT 74336 SOS 48156 HAS SOPS 44250 HAS SOUS 16791 HAS SOUPS 16618 WITH SCORE 16666.156
AT ITER 269 NEW BEST:: SOT 72197 SOS 46234 HAS SOPS 42328 HAS SOUS 16052 HAS SOUPS 15879 WITH SCORE 15925.234
AT ITER 270 NEW BEST:: SOT 72197 SOS 46064 HAS SOPS 42158 HAS SOUS 16012 HAS SOUPS 15839 WITH SCORE 15885.064
AT ITER 271 NEW BEST:: SOT 72203 SOS 46027 HAS SOPS 42121 HAS SOUS 16008 HAS SOUPS 15835 WITH SCORE 15881.027
AT ITER 276 NEW BEST:: SOT 72172 SOS 45988 HAS SOPS 41956 HAS SOUS 15574 HAS SOUPS 15397 WITH SCORE 15442.988
AT ITER 279 NEW BEST:: SOT 72153 SOS 45950 HAS SOPS 41918 HAS SOUS 15536 HAS SOUPS 15359 WITH SCORE 15404.95
AT ITER 280 NEW BEST:: SOT 72144 SOS 45917 HAS SOPS 41885 HAS SOUS 15508 HAS SOUPS 15331 WITH SCORE 15376.917
AT ITER 286 NEW BEST:: SOT 72211 SOS 45721 HAS SOPS 41695 HAS SOUS 15492 HAS SOUPS 15315 WITH SCORE 15360.721
AT ITER 296 NEW BEST:: SOT 72208 SOS 45693 HAS SOPS 41660 HAS SOUS 15486 HAS SOUPS 15309 WITH SCORE 15354.693
AT ITER 301 NEW BEST:: SOT 72180 SOS 45609 HAS SOPS 41585 HAS SOUS 15449 HAS SOUPS 15272 WITH SCORE 15317.609
AT ITER 303 NEW BEST:: SOT 72128 SOS 45500 HAS SOPS 41449 HAS SOUS 15383 HAS SOUPS 15206 WITH SCORE 15251.5
AT ITER 306 NEW BEST:: SOT 72156 SOS 45536 HAS SOPS 41474 HAS SOUS 15361 HAS SOUPS 15184 WITH SCORE 15229.536
AT ITER 308 NEW BEST:: SOT 72156 SOS 45525 HAS SOPS 41474 HAS SOUS 15361 HAS SOUPS 15184 WITH SCORE 15229.525
AT ITER 310 NEW BEST:: SOT 72076 SOS 45396 HAS SOPS 41314 HAS SOUS 15249 HAS SOUPS 15072 WITH SCORE 15117.396
AT ITER 314 NEW BEST:: SOT 72099 SOS 45422 HAS SOPS 41098 HAS SOUS 14886 HAS SOUPS 14709 WITH SCORE 14754.422
AT ITER 319 NEW BEST:: SOT 72095 SOS 45418 HAS SOPS 41090 HAS SOUS 14878 HAS SOUPS 14701 WITH SCORE 14746.418
AT ITER 320 NEW BEST:: SOT 72090 SOS 45388 HAS SOPS 41060 HAS SOUS 14876 HAS SOUPS 14699 WITH SCORE 14744.388
AT ITER 326 NEW BEST:: SOT 72090 SOS 45385 HAS SOPS 41057 HAS SOUS 14873 HAS SOUPS 14696 WITH SCORE 14741.385
AT ITER 327 NEW BEST:: SOT 72099 SOS 45407 HAS SOPS 41071 HAS SOUS 14870 HAS SOUPS 14693 WITH SCORE 14738.407
AT ITER 334 NEW BEST:: SOT 72096 SOS 45437 HAS SOPS 41065 HAS SOUS 14828 HAS SOUPS 14651 WITH SCORE 14696.437
AT ITER 337 NEW BEST:: SOT 72066 SOS 45407 HAS SOPS 41005 HAS SOUS 14768 HAS SOUPS 14591 WITH SCORE 14636.407
AT ITER 338 NEW BEST:: SOT 72016 SOS 45253 HAS SOPS 40861 HAS SOUS 14710 HAS SOUPS 14533 WITH SCORE 14578.253
AT ITER 345 NEW BEST:: SOT 71921 SOS 45544 HAS SOPS 40736 HAS SOUS 14607 HAS SOUPS 14420 WITH SCORE 14465.544
AT ITER 349 NEW BEST:: SOT 71903 SOS 45529 HAS SOPS 40721 HAS SOUS 14592 HAS SOUPS 14405 WITH SCORE 14450.529
AT ITER 355 NEW BEST:: SOT 71902 SOS 45527 HAS SOPS 40719 HAS SOUS 14590 HAS SOUPS 14403 WITH SCORE 14448.527
AT ITER 358 NEW BEST:: SOT 71880 SOS 45482 HAS SOPS 40663 HAS SOUS 14533 HAS SOUPS 14346 WITH SCORE 14391.482
AT ITER 359 NEW BEST:: SOT 71871 SOS 45441 HAS SOPS 40622 HAS SOUS 14532 HAS SOUPS 14345 WITH SCORE 14390.441
AT ITER 361 NEW BEST:: SOT 71864 SOS 44412 HAS SOPS 39593 HAS SOUS 14337 HAS SOUPS 14150 WITH SCORE 14194.412
AT ITER 363 NEW BEST:: SOT 71908 SOS 44455 HAS SOPS 39582 HAS SOUS 14326 HAS SOUPS 14139 WITH SCORE 14183.455
AT ITER 365 NEW BEST:: SOT 71908 SOS 44447 HAS SOPS 39574 HAS SOUS 14326 HAS SOUPS 14139 WITH SCORE 14183.447
AT ITER 366 NEW BEST:: SOT 71899 SOS 44457 HAS SOPS 39556 HAS SOUS 14287 HAS SOUPS 14100 WITH SCORE 14144.457
AT ITER 369 NEW BEST:: SOT 71916 SOS 44342 HAS SOPS 39490 HAS SOUS 14247 HAS SOUPS 14060 WITH SCORE 14104.342
AT ITER 375 NEW BEST:: SOT 71908 SOS 44326 HAS SOPS 39342 HAS SOUS 14097 HAS SOUPS 13910 WITH SCORE 13954.326
AT ITER 382 NEW BEST:: SOT 71867 SOS 44251 HAS SOPS 39260 HAS SOUS 14015 HAS SOUPS 13828 WITH SCORE 13872.251
AT ITER 390 NEW BEST:: SOT 71867 SOS 44226 HAS SOPS 39235 HAS SOUS 13990 HAS SOUPS 13803 WITH SCORE 13847.226
AT ITER 391 NEW BEST:: SOT 71826 SOS 44121 HAS SOPS 39108 HAS SOUS 13899 HAS SOUPS 13712 WITH SCORE 13756.121
AT ITER 404 NEW BEST:: SOT 71755 SOS 44004 HAS SOPS 38962 HAS SOUS 13820 HAS SOUPS 13633 WITH SCORE 13677.004
AT ITER 408 NEW BEST:: SOT 71644 SOS 43782 HAS SOPS 38703 HAS SOUS 13635 HAS SOUPS 13448 WITH SCORE 13491.782
AT ITER 410 NEW BEST:: SOT 71618 SOS 43758 HAS SOPS 38651 HAS SOUS 13583 HAS SOUPS 13396 WITH SCORE 13439.758
AT ITER 433 NEW BEST:: SOT 71571 SOS 43715 HAS SOPS 38557 HAS SOUS 13489 HAS SOUPS 13302 WITH SCORE 13345.715
AT ITER 439 NEW BEST:: SOT 71601 SOS 43717 HAS SOPS 38582 HAS SOUS 13468 HAS SOUPS 13281 WITH SCORE 13324.717
AT ITER 442 NEW BEST:: SOT 71607 SOS 43719 HAS SOPS 38364 HAS SOUS 13300 HAS SOUPS 13113 WITH SCORE 13156.719
AT ITER 455 NEW BEST:: SOT 71594 SOS 43693 HAS SOPS 38338 HAS SOUS 13300 HAS SOUPS 13113 WITH SCORE 13156.693
AT ITER 456 NEW BEST:: SOT 71552 SOS 42649 HAS SOPS 37294 HAS SOUS 12888 HAS SOUPS 12701 WITH SCORE 12743.649
AT ITER 462 NEW BEST:: SOT 71541 SOS 42638 HAS SOPS 37272 HAS SOUS 12866 HAS SOUPS 12679 WITH SCORE 12721.638
AT ITER 463 NEW BEST:: SOT 71540 SOS 42583 HAS SOPS 37270 HAS SOUS 12864 HAS SOUPS 12677 WITH SCORE 12719.583
AT ITER 465 NEW BEST:: SOT 71519 SOS 42542 HAS SOPS 37229 HAS SOUS 12843 HAS SOUPS 12656 WITH SCORE 12698.542
AT ITER 466 NEW BEST:: SOT 71519 SOS 42539 HAS SOPS 37226 HAS SOUS 12840 HAS SOUPS 12653 WITH SCORE 12695.539
AT ITER 469 NEW BEST:: SOT 71509 SOS 42519 HAS SOPS 37206 HAS SOUS 12820 HAS SOUPS 12633 WITH SCORE 12675.519
AT ITER 484 NEW BEST:: SOT 71499 SOS 42535 HAS SOPS 37204 HAS SOUS 12811 HAS SOUPS 12624 WITH SCORE 12666.535
AT ITER 489 NEW BEST:: SOT 71499 SOS 42535 HAS SOPS 37182 HAS SOUS 12794 HAS SOUPS 12607 WITH SCORE 12649.535
AT ITER 494 NEW BEST:: SOT 71499 SOS 42532 HAS SOPS 37180 HAS SOUS 12793 HAS SOUPS 12606 WITH SCORE 12648.532
AT ITER 500 NEW BEST:: SOT 71624 SOS 41919 HAS SOPS 36567 HAS SOUS 12694 HAS SOUPS 12507 WITH SCORE 12548.919
AT ITER 505 NEW BEST:: SOT 71612 SOS 41901 HAS SOPS 36543 HAS SOUS 12676 HAS SOUPS 12489 WITH SCORE 12530.901
AT ITER 506 NEW BEST:: SOT 71604 SOS 41893 HAS SOPS 36535 HAS SOUS 12676 HAS SOUPS 12489 WITH SCORE 12530.893
AT ITER 510 NEW BEST:: SOT 71598 SOS 41901 HAS SOPS 36523 HAS SOUS 12664 HAS SOUPS 12477 WITH SCORE 12518.901
AT ITER 512 NEW BEST:: SOT 71564 SOS 41900 HAS SOPS 36495 HAS SOUS 12636 HAS SOUPS 12449 WITH SCORE 12490.9
AT ITER 513 NEW BEST:: SOT 71533 SOS 41835 HAS SOPS 36433 HAS SOUS 12594 HAS SOUPS 12407 WITH SCORE 12448.835
AT ITER 518 NEW BEST:: SOT 71524 SOS 41852 HAS SOPS 36415 HAS SOUS 12576 HAS SOUPS 12389 WITH SCORE 12430.852
AT ITER 527 NEW BEST:: SOT 71508 SOS 41820 HAS SOPS 36383 HAS SOUS 12552 HAS SOUPS 12365 WITH SCORE 12406.82
AT ITER 529 NEW BEST:: SOT 71508 SOS 41819 HAS SOPS 36383 HAS SOUS 12552 HAS SOUPS 12365 WITH SCORE 12406.819
AT ITER 537 NEW BEST:: SOT 71522 SOS 41767 HAS SOPS 36321 HAS SOUS 12490 HAS SOUPS 12303 WITH SCORE 12344.767
AT ITER 543 NEW BEST:: SOT 71507 SOS 41752 HAS SOPS 36306 HAS SOUS 12475 HAS SOUPS 12288 WITH SCORE 12329.752
AT ITER 546 NEW BEST:: SOT 71507 SOS 41752 HAS SOPS 36306 HAS SOUS 12459 HAS SOUPS 12272 WITH SCORE 12313.752
AT ITER 553 NEW BEST:: SOT 71604 SOS 41266 HAS SOPS 35418 HAS SOUS 12070 HAS SOUPS 11883 WITH SCORE 11924.266
AT ITER 560 NEW BEST:: SOT 71600 SOS 41261 HAS SOPS 35410 HAS SOUS 12062 HAS SOUPS 11875 WITH SCORE 11916.261
AT ITER 565 NEW BEST:: SOT 71624 SOS 41261 HAS SOPS 35402 HAS SOUS 12054 HAS SOUPS 11867 WITH SCORE 11908.261
AT ITER 582 NEW BEST:: SOT 71457 SOS 42807 HAS SOPS 35169 HAS SOUS 11821 HAS SOUPS 11601 WITH SCORE 11643.807
AT ITER 594 NEW BEST:: SOT 71572 SOS 41205 HAS SOPS 33595 HAS SOUS 11645 HAS SOUPS 11425 WITH SCORE 11466.205
AT ITER 598 NEW BEST:: SOT 71573 SOS 41206 HAS SOPS 33593 HAS SOUS 11639 HAS SOUPS 11419 WITH SCORE 11460.206
AT ITER 616 NEW BEST:: SOT 71555 SOS 41176 HAS SOPS 33557 HAS SOUS 11609 HAS SOUPS 11389 WITH SCORE 11430.176
AT ITER 625 NEW BEST:: SOT 71563 SOS 41298 HAS SOPS 33647 HAS SOUS 11599 HAS SOUPS 11379 WITH SCORE 11420.298
AT ITER 631 NEW BEST:: SOT 71555 SOS 41341 HAS SOPS 33662 HAS SOUS 11594 HAS SOUPS 11374 WITH SCORE 11415.341
AT ITER 640 NEW BEST:: SOT 71539 SOS 41314 HAS SOPS 33630 HAS SOUS 11570 HAS SOUPS 11350 WITH SCORE 11391.314
AT ITER 641 NEW BEST:: SOT 71539 SOS 41134 HAS SOPS 33458 HAS SOUS 11554 HAS SOUPS 11334 WITH SCORE 11375.134
AT ITER 642 NEW BEST:: SOT 71539 SOS 41120 HAS SOPS 33394 HAS SOUS 11490 HAS SOUPS 11270 WITH SCORE 11311.12
AT ITER 647 NEW BEST:: SOT 71538 SOS 41167 HAS SOPS 33392 HAS SOUS 11479 HAS SOUPS 11259 WITH SCORE 11300.167
AT ITER 654 NEW BEST:: SOT 71369 SOS 40982 HAS SOPS 33207 HAS SOUS 11412 HAS SOUPS 11192 WITH SCORE 11232.982
AT ITER 671 NEW BEST:: SOT 71313 SOS 40840 HAS SOPS 33065 HAS SOUS 11328 HAS SOUPS 11108 WITH SCORE 11148.84
AT ITER 675 NEW BEST:: SOT 71313 SOS 40861 HAS SOPS 33065 HAS SOUS 11319 HAS SOUPS 11099 WITH SCORE 11139.861
AT ITER 681 NEW BEST:: SOT 71294 SOS 40871 HAS SOPS 33051 HAS SOUS 11305 HAS SOUPS 11085 WITH SCORE 11125.871
AT ITER 686 NEW BEST:: SOT 71294 SOS 40867 HAS SOPS 33051 HAS SOUS 11301 HAS SOUPS 11081 WITH SCORE 11121.867
AT ITER 688 NEW BEST:: SOT 71312 SOS 40867 HAS SOPS 33051 HAS SOUS 11283 HAS SOUPS 11063 WITH SCORE 11103.867
AT ITER 696 NEW BEST:: SOT 70844 SOS 40399 HAS SOPS 32583 HAS SOUS 11043 HAS SOUPS 10823 WITH SCORE 10863.399
AT ITER 698 NEW BEST:: SOT 70844 SOS 40388 HAS SOPS 32572 HAS SOUS 11032 HAS SOUPS 10812 WITH SCORE 10852.388
AT ITER 703 NEW BEST:: SOT 70465 SOS 42490 HAS SOPS 32136 HAS SOUS 10937 HAS SOUPS 10698 WITH SCORE 10740.49
AT ITER 708 NEW BEST:: SOT 70450 SOS 42430 HAS SOPS 32076 HAS SOUS 10907 HAS SOUPS 10668 WITH SCORE 10710.43
AT ITER 719 NEW BEST:: SOT 70448 SOS 42165 HAS SOPS 31820 HAS SOUS 10868 HAS SOUPS 10629 WITH SCORE 10671.165
AT ITER 726 NEW BEST:: SOT 70445 SOS 42163 HAS SOPS 31814 HAS SOUS 10865 HAS SOUPS 10626 WITH SCORE 10668.163
AT ITER 731 NEW BEST:: SOT 70434 SOS 42156 HAS SOPS 31792 HAS SOUS 10857 HAS SOUPS 10604 WITH SCORE 10646.156
AT ITER 737 NEW BEST:: SOT 70481 SOS 42185 HAS SOPS 31822 HAS SOUS 10849 HAS SOUPS 10596 WITH SCORE 10638.185
AT ITER 740 NEW BEST:: SOT 70471 SOS 42175 HAS SOPS 31807 HAS SOUS 10834 HAS SOUPS 10581 WITH SCORE 10623.175
AT ITER 742 NEW BEST:: SOT 70473 SOS 42178 HAS SOPS 31811 HAS SOUS 10821 HAS SOUPS 10568 WITH SCORE 10610.178
AT ITER 744 NEW BEST:: SOT 70473 SOS 41683 HAS SOPS 31316 HAS SOUS 10799 HAS SOUPS 10546 WITH SCORE 10587.683
AT ITER 750 NEW BEST:: SOT 70097 SOS 41297 HAS SOPS 30978 HAS SOUS 10687 HAS SOUPS 10434 WITH SCORE 10475.297
AT ITER 752 NEW BEST:: SOT 69798 SOS 47925 HAS SOPS 30615 HAS SOUS 10601 HAS SOUPS 10316 WITH SCORE 10363.925
AT ITER 758 NEW BEST:: SOT 69510 SOS 47621 HAS SOPS 30279 HAS SOUS 10385 HAS SOUPS 10100 WITH SCORE 10147.621
AT ITER 765 NEW BEST:: SOT 69504 SOS 47609 HAS SOPS 30261 HAS SOUS 10367 HAS SOUPS 10082 WITH SCORE 10129.609
AT ITER 767 NEW BEST:: SOT 69492 SOS 47597 HAS SOPS 30237 HAS SOUS 10343 HAS SOUPS 10058 WITH SCORE 10105.597
AT ITER 769 NEW BEST:: SOT 69477 SOS 47549 HAS SOPS 30162 HAS SOUS 10272 HAS SOUPS 9987 WITH SCORE 10034.549
AT ITER 770 NEW BEST:: SOT 69410 SOS 47440 HAS SOPS 30028 HAS SOUS 10186 HAS SOUPS 9901 WITH SCORE 9948.44
AT ITER 774 NEW BEST:: SOT 69480 SOS 47401 HAS SOPS 29998 HAS SOUS 10169 HAS SOUPS 9884 WITH SCORE 9931.401
AT ITER 777 NEW BEST:: SOT 69465 SOS 47394 HAS SOPS 29976 HAS SOUS 10154 HAS SOUPS 9869 WITH SCORE 9916.394
AT ITER 783 NEW BEST:: SOT 69467 SOS 47398 HAS SOPS 29914 HAS SOUS 10140 HAS SOUPS 9855 WITH SCORE 9902.398
AT ITER 784 NEW BEST:: SOT 69454 SOS 47383 HAS SOPS 29894 HAS SOUS 10127 HAS SOUPS 9842 WITH SCORE 9889.383
AT ITER 790 NEW BEST:: SOT 69448 SOS 47377 HAS SOPS 29882 HAS SOUS 10121 HAS SOUPS 9836 WITH SCORE 9883.377
AT ITER 792 NEW BEST:: SOT 69441 SOS 47360 HAS SOPS 29858 HAS SOUS 10097 HAS SOUPS 9812 WITH SCORE 9859.36
AT ITER 797 NEW BEST:: SOT 69407 SOS 47369 HAS SOPS 29833 HAS SOUS 10076 HAS SOUPS 9791 WITH SCORE 9838.369
AT ITER 813 NEW BEST:: SOT 69422 SOS 47384 HAS SOPS 29829 HAS SOUS 10072 HAS SOUPS 9787 WITH SCORE 9834.384
AT ITER 821 NEW BEST:: SOT 69420 SOS 47274 HAS SOPS 29726 HAS SOUS 10061 HAS SOUPS 9776 WITH SCORE 9823.274
AT ITER 827 NEW BEST:: SOT 69420 SOS 47274 HAS SOPS 29726 HAS SOUS 10059 HAS SOUPS 9774 WITH SCORE 9821.274
AT ITER 853 NEW BEST:: SOT 69409 SOS 47263 HAS SOPS 29715 HAS SOUS 10037 HAS SOUPS 9752 WITH SCORE 9799.263
AT ITER 862 NEW BEST:: SOT 69381 SOS 47251 HAS SOPS 29703 HAS SOUS 10025 HAS SOUPS 9740 WITH SCORE 9787.251
AT ITER 872 NEW BEST:: SOT 69377 SOS 47258 HAS SOPS 29695 HAS SOUS 10017 HAS SOUPS 9732 WITH SCORE 9779.258
AT ITER 879 NEW BEST:: SOT 68990 SOS 46872 HAS SOPS 29309 HAS SOUS 9825 HAS SOUPS 9540 WITH SCORE 9586.872
AT ITER 889 NEW BEST:: SOT 68990 SOS 46622 HAS SOPS 29059 HAS SOUS 9825 HAS SOUPS 9540 WITH SCORE 9586.622
AT ITER 908 NEW BEST:: SOT 69276 SOS 46888 HAS SOPS 29233 HAS SOUS 9821 HAS SOUPS 9536 WITH SCORE 9582.888
AT ITER 909 NEW BEST:: SOT 69213 SOS 46873 HAS SOPS 29155 HAS SOUS 9743 HAS SOUPS 9458 WITH SCORE 9504.873
AT ITER 913 NEW BEST:: SOT 69201 SOS 46861 HAS SOPS 29137 HAS SOUS 9725 HAS SOUPS 9440 WITH SCORE 9486.861
AT ITER 918 NEW BEST:: SOT 69199 SOS 46857 HAS SOPS 29132 HAS SOUS 9721 HAS SOUPS 9436 WITH SCORE 9482.857
AT ITER 920 NEW BEST:: SOT 69189 SOS 46857 HAS SOPS 29112 HAS SOUS 9701 HAS SOUPS 9416 WITH SCORE 9462.857
AT ITER 935 NEW BEST:: SOT 69191 SOS 46847 HAS SOPS 29102 HAS SOUS 9695 HAS SOUPS 9410 WITH SCORE 9456.847
AT ITER 958 NEW BEST:: SOT 68899 SOS 46579 HAS SOPS 28834 HAS SOUS 9595 HAS SOUPS 9310 WITH SCORE 9356.579
AT ITER 965 NEW BEST:: SOT 68888 SOS 46535 HAS SOPS 28758 HAS SOUS 9498 HAS SOUPS 9213 WITH SCORE 9259.535
AT ITER 971 NEW BEST:: SOT 68857 SOS 46464 HAS SOPS 28696 HAS SOUS 9436 HAS SOUPS 9151 WITH SCORE 9197.464
AT ITER 972 NEW BEST:: SOT 68844 SOS 46433 HAS SOPS 28661 HAS SOUS 9410 HAS SOUPS 9125 WITH SCORE 9171.433
AT ITER 974 NEW BEST:: SOT 68854 SOS 46439 HAS SOPS 28667 HAS SOUS 9408 HAS SOUPS 9123 WITH SCORE 9169.439
AT ITER 976 NEW BEST:: SOT 68831 SOS 46393 HAS SOPS 28598 HAS SOUS 9332 HAS SOUPS 9047 WITH SCORE 9093.393
AT ITER 977 NEW BEST:: SOT 68826 SOS 47028 HAS SOPS 28567 HAS SOUS 9327 HAS SOUPS 9032 WITH SCORE 9079.028
AT ITER 983 NEW BEST:: SOT 68824 SOS 47024 HAS SOPS 28563 HAS SOUS 9323 HAS SOUPS 9028 WITH SCORE 9075.024
AT ITER 988 NEW BEST:: SOT 68812 SOS 47019 HAS SOPS 28546 HAS SOUS 9313 HAS SOUPS 9018 WITH SCORE 9065.019
AT ITER 989 NEW BEST:: SOT 68803 SOS 46966 HAS SOPS 28484 HAS SOUS 9251 HAS SOUPS 8956 WITH SCORE 9002.966
AT ITER 995 NEW BEST:: SOT 68800 SOS 46960 HAS SOPS 28478 HAS SOUS 9251 HAS SOUPS 8956 WITH SCORE 9002.96
AT ITER 1004 NEW BEST:: SOT 68796 SOS 46940 HAS SOPS 28458 HAS SOUS 9231 HAS SOUPS 8936 WITH SCORE 8982.94
AT ITER 1014 NEW BEST:: SOT 68784 SOS 46910 HAS SOPS 28428 HAS SOUS 9207 HAS SOUPS 8912 WITH SCORE 8958.91
AT ITER 1067 NEW BEST:: SOT 68830 SOS 46952 HAS SOPS 28470 HAS SOUS 9194 HAS SOUPS 8899 WITH SCORE 8945.952
AT ITER 1068 NEW BEST:: SOT 68782 SOS 46919 HAS SOPS 28418 HAS SOUS 9142 HAS SOUPS 8847 WITH SCORE 8893.919
AT ITER 1069 NEW BEST:: SOT 68770 SOS 46907 HAS SOPS 28394 HAS SOUS 9118 HAS SOUPS 8823 WITH SCORE 8869.907
AT ITER 1077 NEW BEST:: SOT 68770 SOS 46897 HAS SOPS 28389 HAS SOUS 9118 HAS SOUPS 8823 WITH SCORE 8869.897
AT ITER 1078 NEW BEST:: SOT 68770 SOS 46885 HAS SOPS 28377 HAS SOUS 9114 HAS SOUPS 8819 WITH SCORE 8865.885
AT ITER 1082 NEW BEST:: SOT 68770 SOS 46885 HAS SOPS 28377 HAS SOUS 9109 HAS SOUPS 8814 WITH SCORE 8860.885
AT ITER 1108 NEW BEST:: SOT 68762 SOS 46895 HAS SOPS 28374 HAS SOUS 9106 HAS SOUPS 8811 WITH SCORE 8857.895
AT ITER 1112 NEW BEST:: SOT 68792 SOS 46920 HAS SOPS 28360 HAS SOUS 9091 HAS SOUPS 8796 WITH SCORE 8842.92
AT ITER 1121 NEW BEST:: SOT 68770 SOS 46874 HAS SOPS 28316 HAS SOUS 9047 HAS SOUPS 8752 WITH SCORE 8798.874
AT ITER 1123 NEW BEST:: SOT 68766 SOS 46858 HAS SOPS 28300 HAS SOUS 9035 HAS SOUPS 8740 WITH SCORE 8786.858
AT ITER 1137 NEW BEST:: SOT 68765 SOS 46857 HAS SOPS 28298 HAS SOUS 9033 HAS SOUPS 8738 WITH SCORE 8784.857
AT ITER 1139 NEW BEST:: SOT 68740 SOS 46832 HAS SOPS 28273 HAS SOUS 9020 HAS SOUPS 8725 WITH SCORE 8771.832
AT ITER 1158 NEW BEST:: SOT 68668 SOS 46758 HAS SOPS 28197 HAS SOUS 8978 HAS SOUPS 8683 WITH SCORE 8729.758
AT ITER 1170 NEW BEST:: SOT 68996 SOS 47077 HAS SOPS 28479 HAS SOUS 8934 HAS SOUPS 8639 WITH SCORE 8686.077
AT ITER 1171 NEW BEST:: SOT 68955 SOS 46988 HAS SOPS 28397 HAS SOUS 8852 HAS SOUPS 8557 WITH SCORE 8603.988
AT ITER 1173 NEW BEST:: SOT 68946 SOS 46927 HAS SOPS 28336 HAS SOUS 8814 HAS SOUPS 8519 WITH SCORE 8565.927
AT ITER 1174 NEW BEST:: SOT 68921 SOS 46895 HAS SOPS 28295 HAS SOUS 8778 HAS SOUPS 8483 WITH SCORE 8529.895
AT ITER 1184 NEW BEST:: SOT 68917 SOS 46933 HAS SOPS 28333 HAS SOUS 8775 HAS SOUPS 8480 WITH SCORE 8526.933
AT ITER 1190 NEW BEST:: SOT 68875 SOS 46910 HAS SOPS 28287 HAS SOUS 8748 HAS SOUPS 8453 WITH SCORE 8499.91
AT ITER 1193 NEW BEST:: SOT 68859 SOS 46894 HAS SOPS 28263 HAS SOUS 8727 HAS SOUPS 8432 WITH SCORE 8478.894
AT ITER 1197 NEW BEST:: SOT 68808 SOS 46840 HAS SOPS 28209 HAS SOUS 8694 HAS SOUPS 8399 WITH SCORE 8445.84
AT ITER 1216 NEW BEST:: SOT 68782 SOS 46826 HAS SOPS 28191 HAS SOUS 8691 HAS SOUPS 8396 WITH SCORE 8442.826
AT ITER 1219 NEW BEST:: SOT 68773 SOS 46817 HAS SOPS 28173 HAS SOUS 8679 HAS SOUPS 8384 WITH SCORE 8430.817
AT ITER 1245 NEW BEST:: SOT 68768 SOS 46805 HAS SOPS 28161 HAS SOUS 8667 HAS SOUPS 8372 WITH SCORE 8418.805
AT ITER 1254 NEW BEST:: SOT 68774 SOS 46817 HAS SOPS 28146 HAS SOUS 8652 HAS SOUPS 8357 WITH SCORE 8403.817
AT ITER 1263 NEW BEST:: SOT 68772 SOS 46817 HAS SOPS 28144 HAS SOUS 8647 HAS SOUPS 8352 WITH SCORE 8398.817
AT ITER 1301 NEW BEST:: SOT 68758 SOS 46803 HAS SOPS 28116 HAS SOUS 8619 HAS SOUPS 8324 WITH SCORE 8370.803
AT ITER 1306 NEW BEST:: SOT 68736 SOS 46781 HAS SOPS 28072 HAS SOUS 8575 HAS SOUPS 8280 WITH SCORE 8326.781
AT ITER 1307 NEW BEST:: SOT 68725 SOS 46767 HAS SOPS 28064 HAS SOUS 8573 HAS SOUPS 8278 WITH SCORE 8324.767
AT ITER 1319 NEW BEST:: SOT 68417 SOS 46465 HAS SOPS 27854 HAS SOUS 8545 HAS SOUPS 8250 WITH SCORE 8296.465
AT ITER 1320 NEW BEST:: SOT 68410 SOS 46449 HAS SOPS 27831 HAS SOUS 8522 HAS SOUPS 8227 WITH SCORE 8273.449
AT ITER 1378 NEW BEST:: SOT 68409 SOS 46419 HAS SOPS 27797 HAS SOUS 8494 HAS SOUPS 8199 WITH SCORE 8245.419
AT ITER 1447 NEW BEST:: SOT 68424 SOS 46430 HAS SOPS 27794 HAS SOUS 8488 HAS SOUPS 8193 WITH SCORE 8239.43
AT ITER 1456 NEW BEST:: SOT 68396 SOS 46410 HAS SOPS 27738 HAS SOUS 8432 HAS SOUPS 8137 WITH SCORE 8183.41
AT ITER 1486 NEW BEST:: SOT 68395 SOS 46391 HAS SOPS 27718 HAS SOUS 8412 HAS SOUPS 8117 WITH SCORE 8163.391
AT ITER 1491 NEW BEST:: SOT 68386 SOS 46382 HAS SOPS 27700 HAS SOUS 8394 HAS SOUPS 8099 WITH SCORE 8145.382
AT ITER 1492 NEW BEST:: SOT 68377 SOS 46354 HAS SOPS 27682 HAS SOUS 8376 HAS SOUPS 8081 WITH SCORE 8127.354
AT ITER 1497 NEW BEST:: SOT 68367 SOS 46335 HAS SOPS 27662 HAS SOUS 8365 HAS SOUPS 8070 WITH SCORE 8116.335
AT ITER 1499 NEW BEST:: SOT 68265 SOS 46243 HAS SOPS 27514 HAS SOUS 8260 HAS SOUPS 7965 WITH SCORE 8011.243
AT ITER 1598 NEW BEST:: SOT 68263 SOS 46239 HAS SOPS 27510 HAS SOUS 8256 HAS SOUPS 7961 WITH SCORE 8007.239
AT ITER 1599 NEW BEST:: SOT 68243 SOS 47002 HAS SOPS 27481 HAS SOUS 8241 HAS SOUPS 7943 WITH SCORE 7990.002
AT ITER 1611 NEW BEST:: SOT 68246 SOS 46989 HAS SOPS 27471 HAS SOUS 8231 HAS SOUPS 7933 WITH SCORE 7979.989
AT ITER 1629 NEW BEST:: SOT 68244 SOS 46985 HAS SOPS 27467 HAS SOUS 8229 HAS SOUPS 7931 WITH SCORE 7977.985
AT ITER 1638 NEW BEST:: SOT 68216 SOS 46957 HAS SOPS 27437 HAS SOUS 8199 HAS SOUPS 7901 WITH SCORE 7947.957
AT ITER 1645 NEW BEST:: SOT 68221 SOS 46962 HAS SOPS 27447 HAS SOUS 8196 HAS SOUPS 7898 WITH SCORE 7944.962
AT ITER 1649 NEW BEST:: SOT 68225 SOS 46966 HAS SOPS 27451 HAS SOUS 8179 HAS SOUPS 7881 WITH SCORE 7927.966
AT ITER 1651 NEW BEST:: SOT 68223 SOS 46962 HAS SOPS 27447 HAS SOUS 8176 HAS SOUPS 7878 WITH SCORE 7924.962
AT ITER 1665 NEW BEST:: SOT 68196 SOS 46924 HAS SOPS 27409 HAS SOUS 8140 HAS SOUPS 7842 WITH SCORE 7888.924
AT ITER 1676 NEW BEST:: SOT 68183 SOS 46898 HAS SOPS 27375 HAS SOUS 8111 HAS SOUPS 7813 WITH SCORE 7859.898
AT ITER 1679 NEW BEST:: SOT 68189 SOS 46863 HAS SOPS 27340 HAS SOUS 8074 HAS SOUPS 7776 WITH SCORE 7822.863
AT ITER 1697 NEW BEST:: SOT 68189 SOS 46851 HAS SOPS 27328 HAS SOUS 8062 HAS SOUPS 7764 WITH SCORE 7810.851
AT ITER 1754 NEW BEST:: SOT 68182 SOS 46844 HAS SOPS 27321 HAS SOUS 8055 HAS SOUPS 7757 WITH SCORE 7803.844
AT ITER 1801 NEW BEST:: SOT 68180 SOS 46840 HAS SOPS 27317 HAS SOUS 8053 HAS SOUPS 7755 WITH SCORE 7801.84
AT ITER 1834 NEW BEST:: SOT 68180 SOS 46819 HAS SOPS 27296 HAS SOUS 8032 HAS SOUPS 7734 WITH SCORE 7780.819
AT ITER 1858 NEW BEST:: SOT 68209 SOS 46849 HAS SOPS 27124 HAS SOUS 7974 HAS SOUPS 7676 WITH SCORE 7722.849
AT ITER 1880 NEW BEST:: SOT 68212 SOS 46827 HAS SOPS 27130 HAS SOUS 7965 HAS SOUPS 7667 WITH SCORE 7713.827
AT ITER 1890 NEW BEST:: SOT 68212 SOS 46822 HAS SOPS 27125 HAS SOUS 7960 HAS SOUPS 7662 WITH SCORE 7708.822
AT ITER 1916 NEW BEST:: SOT 68221 SOS 46786 HAS SOPS 27110 HAS SOUS 7936 HAS SOUPS 7638 WITH SCORE 7684.786
AT ITER 1931 NEW BEST:: SOT 68222 SOS 46787 HAS SOPS 27108 HAS SOUS 7934 HAS SOUPS 7636 WITH SCORE 7682.787
AT ITER 1949 NEW BEST:: SOT 68221 SOS 46276 HAS SOPS 26606 HAS SOUS 7932 HAS SOUPS 7634 WITH SCORE 7680.276
AT ITER 1972 NEW BEST:: SOT 68209 SOS 46260 HAS SOPS 26586 HAS SOUS 7912 HAS SOUPS 7614 WITH SCORE 7660.26
AT ITER 2028 NEW BEST:: SOT 68207 SOS 46260 HAS SOPS 26584 HAS SOUS 7910 HAS SOUPS 7612 WITH SCORE 7658.26
AT ITER 2082 NEW BEST:: SOT 68182 SOS 46189 HAS SOPS 26534 HAS SOUS 7890 HAS SOUPS 7592 WITH SCORE 7638.189
AT ITER 2127 NEW BEST:: SOT 68175 SOS 45270 HAS SOPS 25615 HAS SOUS 7851 HAS SOUPS 7553 WITH SCORE 7598.27
AT ITER 2132 NEW BEST:: SOT 68173 SOS 45276 HAS SOPS 25611 HAS SOUS 7845 HAS SOUPS 7547 WITH SCORE 7592.276
AT ITER 2143 NEW BEST:: SOT 68159 SOS 45269 HAS SOPS 25583 HAS SOUS 7818 HAS SOUPS 7520 WITH SCORE 7565.269
AT ITER 2146 NEW BEST:: SOT 68163 SOS 45262 HAS SOPS 25568 HAS SOUS 7803 HAS SOUPS 7505 WITH SCORE 7550.262
AT ITER 2157 NEW BEST:: SOT 68160 SOS 45261 HAS SOPS 25564 HAS SOUS 7799 HAS SOUPS 7501 WITH SCORE 7546.261
AT ITER 2162 NEW BEST:: SOT 68146 SOS 48802 HAS SOPS 25528 HAS SOUS 7781 HAS SOUPS 7472 WITH SCORE 7520.802
AT ITER 2185 NEW BEST:: SOT 68131 SOS 48784 HAS SOPS 25527 HAS SOUS 7774 HAS SOUPS 7465 WITH SCORE 7513.784
AT ITER 2186 NEW BEST:: SOT 68129 SOS 48781 HAS SOPS 25523 HAS SOUS 7763 HAS SOUPS 7454 WITH SCORE 7502.781
AT ITER 2226 NEW BEST:: SOT 68109 SOS 48750 HAS SOPS 25483 HAS SOUS 7734 HAS SOUPS 7425 WITH SCORE 7473.75
AT ITER 2249 NEW BEST:: SOT 68189 SOS 48806 HAS SOPS 25215 HAS SOUS 7691 HAS SOUPS 7382 WITH SCORE 7430.806
AT ITER 2250 NEW BEST:: SOT 68189 SOS 48800 HAS SOPS 25209 HAS SOUS 7685 HAS SOUPS 7376 WITH SCORE 7424.8
AT ITER 2292 NEW BEST:: SOT 68152 SOS 48765 HAS SOPS 25174 HAS SOUS 7669 HAS SOUPS 7360 WITH SCORE 7408.765
AT ITER 2317 NEW BEST:: SOT 68147 SOS 48762 HAS SOPS 25169 HAS SOUS 7667 HAS SOUPS 7358 WITH SCORE 7406.762
AT ITER 2381 NEW BEST:: SOT 68165 SOS 48744 HAS SOPS 25147 HAS SOUS 7649 HAS SOUPS 7340 WITH SCORE 7388.744
AT ITER 2422 NEW BEST:: SOT 68122 SOS 48689 HAS SOPS 25083 HAS SOUS 7596 HAS SOUPS 7287 WITH SCORE 7335.689
AT ITER 2427 NEW BEST:: SOT 68115 SOS 48687 HAS SOPS 25087 HAS SOUS 7595 HAS SOUPS 7286 WITH SCORE 7334.687
AT ITER 2442 NEW BEST:: SOT 68105 SOS 48662 HAS SOPS 25060 HAS SOUS 7573 HAS SOUPS 7264 WITH SCORE 7312.662
AT ITER 2462 NEW BEST:: SOT 68109 SOS 48690 HAS SOPS 25068 HAS SOUS 7563 HAS SOUPS 7254 WITH SCORE 7302.69
AT ITER 2472 NEW BEST:: SOT 68109 SOS 51949 HAS SOPS 25059 HAS SOUS 7563 HAS SOUPS 7245 WITH SCORE 7296.949
AT ITER 2487 NEW BEST:: SOT 67971 SOS 51813 HAS SOPS 24919 HAS SOUS 7493 HAS SOUPS 7175 WITH SCORE 7226.813
AT ITER 2488 NEW BEST:: SOT 67971 SOS 51795 HAS SOPS 24901 HAS SOUS 7475 HAS SOUPS 7157 WITH SCORE 7208.795
AT ITER 2490 NEW BEST:: SOT 68341 SOS 52163 HAS SOPS 25222 HAS SOUS 7464 HAS SOUPS 7154 WITH SCORE 7206.163
AT ITER 2573 NEW BEST:: SOT 68327 SOS 52149 HAS SOPS 25194 HAS SOUS 7442 HAS SOUPS 7126 WITH SCORE 7178.149
AT ITER 2665 NEW BEST:: SOT 68322 SOS 52165 HAS SOPS 25184 HAS SOUS 7437 HAS SOUPS 7121 WITH SCORE 7173.165
AT ITER 2699 NEW BEST:: SOT 68318 SOS 52160 HAS SOPS 25179 HAS SOUS 7435 HAS SOUPS 7119 WITH SCORE 7171.16
AT ITER 2706 NEW BEST:: SOT 68318 SOS 52145 HAS SOPS 25164 HAS SOUS 7420 HAS SOUPS 7104 WITH SCORE 7156.145
AT ITER 2785 NEW BEST:: SOT 68307 SOS 52134 HAS SOPS 25153 HAS SOUS 7420 HAS SOUPS 7104 WITH SCORE 7156.134
AT ITER 2787 NEW BEST:: SOT 68279 SOS 52109 HAS SOPS 25128 HAS SOUS 7395 HAS SOUPS 7079 WITH SCORE 7131.109
AT ITER 2792 NEW BEST:: SOT 68278 SOS 52107 HAS SOPS 25126 HAS SOUS 7393 HAS SOUPS 7077 WITH SCORE 7129.107
AT ITER 2800 NEW BEST:: SOT 68288 SOS 52098 HAS SOPS 25117 HAS SOUS 7384 HAS SOUPS 7068 WITH SCORE 7120.098
AT ITER 2827 NEW BEST:: SOT 68286 SOS 52081 HAS SOPS 25098 HAS SOUS 7365 HAS SOUPS 7049 WITH SCORE 7101.081
AT ITER 2850 NEW BEST:: SOT 68282 SOS 52073 HAS SOPS 25090 HAS SOUS 7359 HAS SOUPS 7043 WITH SCORE 7095.073
AT ITER 2869 NEW BEST:: SOT 68279 SOS 52071 HAS SOPS 25088 HAS SOUS 7357 HAS SOUPS 7041 WITH SCORE 7093.071
AT ITER 2873 NEW BEST:: SOT 68278 SOS 52071 HAS SOPS 25086 HAS SOUS 7355 HAS SOUPS 7039 WITH SCORE 7091.071
AT ITER 2880 NEW BEST:: SOT 68275 SOS 52066 HAS SOPS 25080 HAS SOUS 7351 HAS SOUPS 7035 WITH SCORE 7087.066
AT ITER 2888 NEW BEST:: SOT 68274 SOS 52064 HAS SOPS 25079 HAS SOUS 7351 HAS SOUPS 7035 WITH SCORE 7087.064
AT ITER 2899 NEW BEST:: SOT 68268 SOS 52058 HAS SOPS 25067 HAS SOUS 7339 HAS SOUPS 7023 WITH SCORE 7075.058
AT ITER 2929 NEW BEST:: SOT 68268 SOS 52057 HAS SOPS 25066 HAS SOUS 7339 HAS SOUPS 7023 WITH SCORE 7075.057
AT ITER 2957 NEW BEST:: SOT 68266 SOS 52004 HAS SOPS 25062 HAS SOUS 7337 HAS SOUPS 7021 WITH SCORE 7073.004
AT ITER 2968 NEW BEST:: SOT 68267 SOS 52005 HAS SOPS 25061 HAS SOUS 7336 HAS SOUPS 7020 WITH SCORE 7072.005
AT ITER 2975 NEW BEST:: SOT 68245 SOS 51961 HAS SOPS 25017 HAS SOUS 7270 HAS SOUPS 6954 WITH SCORE 7005.961
AT ITER 3031 NEW BEST:: SOT 68245 SOS 51961 HAS SOPS 25017 HAS SOUS 7268 HAS SOUPS 6952 WITH SCORE 7003.961
AT ITER 3078 NEW BEST:: SOT 68252 SOS 51956 HAS SOPS 25018 HAS SOUS 7262 HAS SOUPS 6946 WITH SCORE 6997.956
AT ITER 3101 NEW BEST:: SOT 68251 SOS 51976 HAS SOPS 25016 HAS SOUS 7261 HAS SOUPS 6945 WITH SCORE 6996.976
AT ITER 3105 NEW BEST:: SOT 68245 SOS 51967 HAS SOPS 24890 HAS SOUS 7231 HAS SOUPS 6915 WITH SCORE 6966.967
AT ITER 3114 NEW BEST:: SOT 68216 SOS 51909 HAS SOPS 24832 HAS SOUS 7206 HAS SOUPS 6890 WITH SCORE 6941.909
AT ITER 3125 NEW BEST:: SOT 68213 SOS 51903 HAS SOPS 24824 HAS SOUS 7200 HAS SOUPS 6884 WITH SCORE 6935.903
AT ITER 3141 NEW BEST:: SOT 68186 SOS 51908 HAS SOPS 24812 HAS SOUS 7188 HAS SOUPS 6872 WITH SCORE 6923.908
AT ITER 3191 NEW BEST:: SOT 68179 SOS 51871 HAS SOPS 24780 HAS SOUS 7155 HAS SOUPS 6839 WITH SCORE 6890.871
AT ITER 3201 NEW BEST:: SOT 68181 SOS 51873 HAS SOPS 24761 HAS SOUS 7136 HAS SOUPS 6820 WITH SCORE 6871.873
AT ITER 3255 NEW BEST:: SOT 68181 SOS 51863 HAS SOPS 24751 HAS SOUS 7126 HAS SOUPS 6810 WITH SCORE 6861.863
AT ITER 3296 NEW BEST:: SOT 68181 SOS 51851 HAS SOPS 24739 HAS SOUS 7114 HAS SOUPS 6798 WITH SCORE 6849.851
AT ITER 3302 NEW BEST:: SOT 68178 SOS 51844 HAS SOPS 24731 HAS SOUS 7108 HAS SOUPS 6792 WITH SCORE 6843.844
AT ITER 3335 NEW BEST:: SOT 68163 SOS 51828 HAS SOPS 24707 HAS SOUS 7090 HAS SOUPS 6774 WITH SCORE 6825.828
AT ITER 3344 NEW BEST:: SOT 68163 SOS 51827 HAS SOPS 24707 HAS SOUS 7090 HAS SOUPS 6774 WITH SCORE 6825.827
AT ITER 3357 NEW BEST:: SOT 68166 SOS 51824 HAS SOPS 24701 HAS SOUS 7084 HAS SOUPS 6768 WITH SCORE 6819.824
AT ITER 3410 NEW BEST:: SOT 68158 SOS 51809 HAS SOPS 24685 HAS SOUS 7074 HAS SOUPS 6758 WITH SCORE 6809.809
AT ITER 3422 NEW BEST:: SOT 68158 SOS 51807 HAS SOPS 24684 HAS SOUS 7073 HAS SOUPS 6757 WITH SCORE 6808.807
AT ITER 3432 NEW BEST:: SOT 68148 SOS 51802 HAS SOPS 24674 HAS SOUS 7063 HAS SOUPS 6747 WITH SCORE 6798.802
AT ITER 3454 NEW BEST:: SOT 68151 SOS 51798 HAS SOPS 24673 HAS SOUS 7062 HAS SOUPS 6746 WITH SCORE 6797.798
AT ITER 3459 NEW BEST:: SOT 68133 SOS 51772 HAS SOPS 24647 HAS SOUS 7036 HAS SOUPS 6720 WITH SCORE 6771.772
AT ITER 3496 NEW BEST:: SOT 68131 SOS 51770 HAS SOPS 24645 HAS SOUS 7034 HAS SOUPS 6718 WITH SCORE 6769.77
AT ITER 3497 NEW BEST:: SOT 68146 SOS 51753 HAS SOPS 24643 HAS SOUS 7032 HAS SOUPS 6716 WITH SCORE 6767.753
AT ITER 3498 NEW BEST:: SOT 68146 SOS 51754 HAS SOPS 24643 HAS SOUS 7030 HAS SOUPS 6714 WITH SCORE 6765.754
AT ITER 3502 NEW BEST:: SOT 68140 SOS 51745 HAS SOPS 24634 HAS SOUS 7018 HAS SOUPS 6702 WITH SCORE 6753.745
AT ITER 3525 NEW BEST:: SOT 68145 SOS 51735 HAS SOPS 24629 HAS SOUS 7013 HAS SOUPS 6697 WITH SCORE 6748.735
AT ITER 3527 NEW BEST:: SOT 68145 SOS 51725 HAS SOPS 24624 HAS SOUS 7013 HAS SOUPS 6697 WITH SCORE 6748.725
AT ITER 3556 NEW BEST:: SOT 68183 SOS 51710 HAS SOPS 24652 HAS SOUS 7003 HAS SOUPS 6687 WITH SCORE 6738.71
AT ITER 3581 NEW BEST:: SOT 68135 SOS 51605 HAS SOPS 24556 HAS SOUS 6955 HAS SOUPS 6639 WITH SCORE 6690.605
AT ITER 3663 NEW BEST:: SOT 68137 SOS 51611 HAS SOPS 24560 HAS SOUS 6953 HAS SOUPS 6637 WITH SCORE 6688.611
AT ITER 3685 NEW BEST:: SOT 68128 SOS 51610 HAS SOPS 24553 HAS SOUS 6946 HAS SOUPS 6630 WITH SCORE 6681.61
AT ITER 3739 NEW BEST:: SOT 68117 SOS 51599 HAS SOPS 24537 HAS SOUS 6930 HAS SOUPS 6614 WITH SCORE 6665.599
AT ITER 3745 NEW BEST:: SOT 68113 SOS 51595 HAS SOPS 24529 HAS SOUS 6930 HAS SOUPS 6614 WITH SCORE 6665.595
AT ITER 3822 NEW BEST:: SOT 68106 SOS 51584 HAS SOPS 24515 HAS SOUS 6916 HAS SOUPS 6600 WITH SCORE 6651.584
AT ITER 3830 NEW BEST:: SOT 68083 SOS 51547 HAS SOPS 24469 HAS SOUS 6870 HAS SOUPS 6554 WITH SCORE 6605.547
AT ITER 3841 NEW BEST:: SOT 68079 SOS 51543 HAS SOPS 24461 HAS SOUS 6866 HAS SOUPS 6550 WITH SCORE 6601.543
AT ITER 3842 NEW BEST:: SOT 68075 SOS 51534 HAS SOPS 24447 HAS SOUS 6852 HAS SOUPS 6536 WITH SCORE 6587.534
AT ITER 3900 NEW BEST:: SOT 68074 SOS 51527 HAS SOPS 24439 HAS SOUS 6850 HAS SOUPS 6534 WITH SCORE 6585.527
AT ITER 3921 NEW BEST:: SOT 68048 SOS 51503 HAS SOPS 24413 HAS SOUS 6836 HAS SOUPS 6520 WITH SCORE 6571.503
AT ITER 3930 NEW BEST:: SOT 68046 SOS 51499 HAS SOPS 24409 HAS SOUS 6832 HAS SOUPS 6516 WITH SCORE 6567.499
AT ITER 3936 NEW BEST:: SOT 68045 SOS 51497 HAS SOPS 24403 HAS SOUS 6826 HAS SOUPS 6510 WITH SCORE 6561.497
AT ITER 3939 NEW BEST:: SOT 68038 SOS 51474 HAS SOPS 24380 HAS SOUS 6810 HAS SOUPS 6494 WITH SCORE 6545.474
AT ITER 3945 NEW BEST:: SOT 68000 SOS 51436 HAS SOPS 24341 HAS SOUS 6808 HAS SOUPS 6492 WITH SCORE 6543.436
AT ITER 3960 NEW BEST:: SOT 67955 SOS 51434 HAS SOPS 24343 HAS SOUS 6788 HAS SOUPS 6472 WITH SCORE 6523.434
AT ITER 3994 NEW BEST:: SOT 67947 SOS 51425 HAS SOPS 24327 HAS SOUS 6772 HAS SOUPS 6456 WITH SCORE 6507.425
AT ITER 4067 NEW BEST:: SOT 67795 SOS 51273 HAS SOPS 24173 HAS SOUS 6695 HAS SOUPS 6377 WITH SCORE 6428.273
AT ITER 4075 NEW BEST:: SOT 67771 SOS 51267 HAS SOPS 24153 HAS SOUS 6677 HAS SOUPS 6357 WITH SCORE 6408.267
AT ITER 4109 NEW BEST:: SOT 67752 SOS 51248 HAS SOPS 24134 HAS SOUS 6658 HAS SOUPS 6338 WITH SCORE 6389.248
AT ITER 4201 NEW BEST:: SOT 67752 SOS 51236 HAS SOPS 24128 HAS SOUS 6658 HAS SOUPS 6338 WITH SCORE 6389.236
AT ITER 4219 NEW BEST:: SOT 67750 SOS 51209 HAS SOPS 24108 HAS SOUS 6640 HAS SOUPS 6320 WITH SCORE 6371.209
AT ITER 4223 NEW BEST:: SOT 67779 SOS 51165 HAS SOPS 24116 HAS SOUS 6640 HAS SOUPS 6320 WITH SCORE 6371.165
AT ITER 4233 NEW BEST:: SOT 67784 SOS 51166 HAS SOPS 23888 HAS SOUS 6623 HAS SOUPS 6303 WITH SCORE 6354.166
AT ITER 4255 NEW BEST:: SOT 67773 SOS 51155 HAS SOPS 23873 HAS SOUS 6608 HAS SOUPS 6288 WITH SCORE 6339.155
AT ITER 4352 NEW BEST:: SOT 67772 SOS 51143 HAS SOPS 23871 HAS SOUS 6606 HAS SOUPS 6286 WITH SCORE 6337.143
AT ITER 4377 NEW BEST:: SOT 67771 SOS 51130 HAS SOPS 23857 HAS SOUS 6592 HAS SOUPS 6272 WITH SCORE 6323.13
AT ITER 4429 NEW BEST:: SOT 67769 SOS 51119 HAS SOPS 23853 HAS SOUS 6588 HAS SOUPS 6268 WITH SCORE 6319.119
AT ITER 4437 NEW BEST:: SOT 67768 SOS 51126 HAS SOPS 23855 HAS SOUS 6586 HAS SOUPS 6266 WITH SCORE 6317.126
AT ITER 4487 NEW BEST:: SOT 67756 SOS 51128 HAS SOPS 23843 HAS SOUS 6582 HAS SOUPS 6262 WITH SCORE 6313.128
AT ITER 4510 NEW BEST:: SOT 67755 SOS 51126 HAS SOPS 23841 HAS SOUS 6578 HAS SOUPS 6258 WITH SCORE 6309.126
AT ITER 4524 NEW BEST:: SOT 67755 SOS 51116 HAS SOPS 23836 HAS SOUS 6573 HAS SOUPS 6253 WITH SCORE 6304.116
AT ITER 4646 NEW BEST:: SOT 67755 SOS 51117 HAS SOPS 23836 HAS SOUS 6572 HAS SOUPS 6252 WITH SCORE 6303.117
AT ITER 4647 NEW BEST:: SOT 67754 SOS 51116 HAS SOPS 23834 HAS SOUS 6570 HAS SOUPS 6250 WITH SCORE 6301.116
AT ITER 4704 NEW BEST:: SOT 67742 SOS 51110 HAS SOPS 23816 HAS SOUS 6558 HAS SOUPS 6238 WITH SCORE 6289.11
AT ITER 4744 NEW BEST:: SOT 67736 SOS 51104 HAS SOPS 23810 HAS SOUS 6555 HAS SOUPS 6235 WITH SCORE 6286.104
AT ITER 4800 NEW BEST:: SOT 67730 SOS 51086 HAS SOPS 23792 HAS SOUS 6543 HAS SOUPS 6223 WITH SCORE 6274.086
AT ITER 4819 NEW BEST:: SOT 67730 SOS 51083 HAS SOPS 23789 HAS SOUS 6540 HAS SOUPS 6220 WITH SCORE 6271.083
AT ITER 4925 NEW BEST:: SOT 67724 SOS 51077 HAS SOPS 23777 HAS SOUS 6534 HAS SOUPS 6214 WITH SCORE 6265.077
AT ITER 4932 NEW BEST:: SOT 67722 SOS 51075 HAS SOPS 23773 HAS SOUS 6530 HAS SOUPS 6210 WITH SCORE 6261.075
AT ITER 4986 NEW BEST:: SOT 67702 SOS 51055 HAS SOPS 23733 HAS SOUS 6490 HAS SOUPS 6170 WITH SCORE 6221.055
AT ITER 5031 NEW BEST:: SOT 67702 SOS 51037 HAS SOPS 23733 HAS SOUS 6490 HAS SOUPS 6170 WITH SCORE 6221.037
AT ITER 5072 NEW BEST:: SOT 67682 SOS 50997 HAS SOPS 23693 HAS SOUS 6470 HAS SOUPS 6150 WITH SCORE 6200.997
AT ITER 5109 NEW BEST:: SOT 67675 SOS 50994 HAS SOPS 23665 HAS SOUS 6442 HAS SOUPS 6122 WITH SCORE 6172.994
AT ITER 5115 NEW BEST:: SOT 67660 SOS 50979 HAS SOPS 23643 HAS SOUS 6428 HAS SOUPS 6108 WITH SCORE 6158.979
AT ITER 5279 NEW BEST:: SOT 67658 SOS 50977 HAS SOPS 23641 HAS SOUS 6426 HAS SOUPS 6106 WITH SCORE 6156.977
AT ITER 5310 NEW BEST:: SOT 67667 SOS 50987 HAS SOPS 23559 HAS SOUS 6425 HAS SOUPS 6105 WITH SCORE 6155.987
AT ITER 5312 NEW BEST:: SOT 67663 SOS 50983 HAS SOPS 23551 HAS SOUS 6417 HAS SOUPS 6097 WITH SCORE 6147.983
AT ITER 5354 NEW BEST:: SOT 67667 SOS 50974 HAS SOPS 23547 HAS SOUS 6403 HAS SOUPS 6083 WITH SCORE 6133.974
AT ITER 5423 NEW BEST:: SOT 67667 SOS 50971 HAS SOPS 23544 HAS SOUS 6403 HAS SOUPS 6083 WITH SCORE 6133.971
AT ITER 5424 NEW BEST:: SOT 67690 SOS 50991 HAS SOPS 23468 HAS SOUS 6391 HAS SOUPS 6071 WITH SCORE 6121.991
AT ITER 5463 NEW BEST:: SOT 67685 SOS 50986 HAS SOPS 23458 HAS SOUS 6386 HAS SOUPS 6066 WITH SCORE 6116.986
AT ITER 5468 NEW BEST:: SOT 67685 SOS 52791 HAS SOPS 23448 HAS SOUS 6386 HAS SOUPS 6061 WITH SCORE 6113.791
AT ITER 5484 NEW BEST:: SOT 67685 SOS 52785 HAS SOPS 23442 HAS SOUS 6380 HAS SOUPS 6055 WITH SCORE 6107.785
AT ITER 5535 NEW BEST:: SOT 67682 SOS 52786 HAS SOPS 23440 HAS SOUS 6378 HAS SOUPS 6053 WITH SCORE 6105.786
AT ITER 5541 NEW BEST:: SOT 67683 SOS 52778 HAS SOPS 23430 HAS SOUS 6365 HAS SOUPS 6040 WITH SCORE 6092.778
AT ITER 5593 NEW BEST:: SOT 67681 SOS 52774 HAS SOPS 23426 HAS SOUS 6361 HAS SOUPS 6036 WITH SCORE 6088.774
AT ITER 5610 NEW BEST:: SOT 67679 SOS 52772 HAS SOPS 23424 HAS SOUS 6359 HAS SOUPS 6034 WITH SCORE 6086.772
AT ITER 5651 NEW BEST:: SOT 67683 SOS 52779 HAS SOPS 23427 HAS SOUS 6357 HAS SOUPS 6032 WITH SCORE 6084.779
AT ITER 5811 NEW BEST:: SOT 67672 SOS 52759 HAS SOPS 23405 HAS SOUS 6343 HAS SOUPS 6018 WITH SCORE 6070.759
AT ITER 5823 NEW BEST:: SOT 67670 SOS 52756 HAS SOPS 23401 HAS SOUS 6340 HAS SOUPS 6015 WITH SCORE 6067.756
AT ITER 5830 NEW BEST:: SOT 67665 SOS 52746 HAS SOPS 23391 HAS SOUS 6340 HAS SOUPS 6015 WITH SCORE 6067.746
AT ITER 5839 NEW BEST:: SOT 67659 SOS 52738 HAS SOPS 23381 HAS SOUS 6330 HAS SOUPS 6005 WITH SCORE 6057.738
AT ITER 5870 NEW BEST:: SOT 67659 SOS 52720 HAS SOPS 23363 HAS SOUS 6318 HAS SOUPS 5993 WITH SCORE 6045.72
AT ITER 5883 NEW BEST:: SOT 67687 SOS 52746 HAS SOPS 23387 HAS SOUS 6314 HAS SOUPS 5989 WITH SCORE 6041.746
AT ITER 6001 NEW BEST:: SOT 67691 SOS 52738 HAS SOPS 23383 HAS SOUS 6298 HAS SOUPS 5973 WITH SCORE 6025.738
AT ITER 6083 NEW BEST:: SOT 67689 SOS 52736 HAS SOPS 23381 HAS SOUS 6296 HAS SOUPS 5971 WITH SCORE 6023.736
AT ITER 6084 NEW BEST:: SOT 67689 SOS 52735 HAS SOPS 23381 HAS SOUS 6296 HAS SOUPS 5971 WITH SCORE 6023.735
AT ITER 6093 NEW BEST:: SOT 67686 SOS 52726 HAS SOPS 23249 HAS SOUS 6276 HAS SOUPS 5951 WITH SCORE 6003.726
AT ITER 6219 NEW BEST:: SOT 67545 SOS 52584 HAS SOPS 23107 HAS SOUS 6224 HAS SOUPS 5899 WITH SCORE 5951.584
AT ITER 6229 NEW BEST:: SOT 67544 SOS 52582 HAS SOPS 23104 HAS SOUS 6221 HAS SOUPS 5896 WITH SCORE 5948.582
AT ITER 6294 NEW BEST:: SOT 67541 SOS 52576 HAS SOPS 23098 HAS SOUS 6215 HAS SOUPS 5890 WITH SCORE 5942.576
AT ITER 6320 NEW BEST:: SOT 67530 SOS 52565 HAS SOPS 23083 HAS SOUS 6200 HAS SOUPS 5875 WITH SCORE 5927.565
AT ITER 6326 NEW BEST:: SOT 67529 SOS 52564 HAS SOPS 23081 HAS SOUS 6198 HAS SOUPS 5873 WITH SCORE 5925.564
AT ITER 6354 NEW BEST:: SOT 67527 SOS 52555 HAS SOPS 23070 HAS SOUS 6187 HAS SOUPS 5862 WITH SCORE 5914.555
AT ITER 6355 NEW BEST:: SOT 67521 SOS 52551 HAS SOPS 23063 HAS SOUS 6183 HAS SOUPS 5858 WITH SCORE 5910.551
AT ITER 6363 NEW BEST:: SOT 67519 SOS 52547 HAS SOPS 23059 HAS SOUS 6183 HAS SOUPS 5858 WITH SCORE 5910.547
AT ITER 6377 NEW BEST:: SOT 67523 SOS 54733 HAS SOPS 23056 HAS SOUS 6186 HAS SOUPS 5855 WITH SCORE 5909.733
AT ITER 6515 NEW BEST:: SOT 67478 SOS 54687 HAS SOPS 23016 HAS SOUS 6182 HAS SOUPS 5851 WITH SCORE 5905.687
AT ITER 6554 NEW BEST:: SOT 67479 SOS 54687 HAS SOPS 23018 HAS SOUS 6177 HAS SOUPS 5846 WITH SCORE 5900.687
AT ITER 6562 NEW BEST:: SOT 67477 SOS 54684 HAS SOPS 23014 HAS SOUS 6173 HAS SOUPS 5842 WITH SCORE 5896.684
AT ITER 6594 NEW BEST:: SOT 67477 SOS 54681 HAS SOPS 23014 HAS SOUS 6170 HAS SOUPS 5839 WITH SCORE 5893.681
AT ITER 6651 NEW BEST:: SOT 67471 SOS 54653 HAS SOPS 22991 HAS SOUS 6158 HAS SOUPS 5827 WITH SCORE 5881.653
AT ITER 6704 NEW BEST:: SOT 67471 SOS 54643 HAS SOPS 22986 HAS SOUS 6158 HAS SOUPS 5827 WITH SCORE 5881.643
AT ITER 6712 NEW BEST:: SOT 67469 SOS 52821 HAS SOPS 22987 HAS SOUS 6154 HAS SOUPS 5828 WITH SCORE 5880.821
AT ITER 6746 NEW BEST:: SOT 67460 SOS 52814 HAS SOPS 22978 HAS SOUS 6145 HAS SOUPS 5819 WITH SCORE 5871.814
AT ITER 6776 NEW BEST:: SOT 67454 SOS 52808 HAS SOPS 22970 HAS SOUS 6139 HAS SOUPS 5811 WITH SCORE 5863.808
AT ITER 6806 NEW BEST:: SOT 67451 SOS 52802 HAS SOPS 22914 HAS SOUS 6133 HAS SOUPS 5805 WITH SCORE 5857.802
AT ITER 6852 NEW BEST:: SOT 67450 SOS 52800 HAS SOPS 22912 HAS SOUS 6132 HAS SOUPS 5804 WITH SCORE 5856.8
AT ITER 6875 NEW BEST:: SOT 67444 SOS 52794 HAS SOPS 22903 HAS SOUS 6126 HAS SOUPS 5798 WITH SCORE 5850.794
AT ITER 6907 NEW BEST:: SOT 67442 SOS 52792 HAS SOPS 22902 HAS SOUS 6125 HAS SOUPS 5797 WITH SCORE 5849.792
AT ITER 6926 NEW BEST:: SOT 67442 SOS 52787 HAS SOPS 22898 HAS SOUS 6125 HAS SOUPS 5797 WITH SCORE 5849.787
AT ITER 7037 NEW BEST:: SOT 67444 SOS 52786 HAS SOPS 22800 HAS SOUS 6124 HAS SOUPS 5796 WITH SCORE 5848.786
AT ITER 7083 NEW BEST:: SOT 67443 SOS 52771 HAS SOPS 22791 HAS SOUS 6122 HAS SOUPS 5794 WITH SCORE 5846.771
AT ITER 7118 NEW BEST:: SOT 67447 SOS 52764 HAS SOPS 22786 HAS SOUS 6117 HAS SOUPS 5789 WITH SCORE 5841.764
AT ITER 7258 NEW BEST:: SOT 67446 SOS 52763 HAS SOPS 22785 HAS SOUS 6117 HAS SOUPS 5789 WITH SCORE 5841.763
AT ITER 7305 NEW BEST:: SOT 67442 SOS 52759 HAS SOPS 22777 HAS SOUS 6109 HAS SOUPS 5781 WITH SCORE 5833.759
AT ITER 7324 NEW BEST:: SOT 67441 SOS 52757 HAS SOPS 22775 HAS SOUS 6105 HAS SOUPS 5777 WITH SCORE 5829.757
AT ITER 7329 NEW BEST:: SOT 67429 SOS 52743 HAS SOPS 22763 HAS SOUS 6098 HAS SOUPS 5770 WITH SCORE 5822.743
AT ITER 7346 NEW BEST:: SOT 67436 SOS 52745 HAS SOPS 22521 HAS SOUS 6096 HAS SOUPS 5768 WITH SCORE 5820.745
AT ITER 7358 NEW BEST:: SOT 67436 SOS 52745 HAS SOPS 22521 HAS SOUS 6094 HAS SOUPS 5766 WITH SCORE 5818.745
AT ITER 7385 NEW BEST:: SOT 67434 SOS 52727 HAS SOPS 22517 HAS SOUS 6090 HAS SOUPS 5762 WITH SCORE 5814.727
AT ITER 7413 NEW BEST:: SOT 67432 SOS 52722 HAS SOPS 22512 HAS SOUS 6086 HAS SOUPS 5758 WITH SCORE 5810.722
AT ITER 7442 NEW BEST:: SOT 67404 SOS 52670 HAS SOPS 22456 HAS SOUS 6055 HAS SOUPS 5727 WITH SCORE 5779.67
AT ITER 7468 NEW BEST:: SOT 67402 SOS 52668 HAS SOPS 22453 HAS SOUS 6052 HAS SOUPS 5724 WITH SCORE 5776.668
AT ITER 7470 NEW BEST:: SOT 67390 SOS 52644 HAS SOPS 22423 HAS SOUS 6034 HAS SOUPS 5706 WITH SCORE 5758.644
AT ITER 7474 NEW BEST:: SOT 67390 SOS 52640 HAS SOPS 22419 HAS SOUS 6026 HAS SOUPS 5698 WITH SCORE 5750.64
AT ITER 7517 NEW BEST:: SOT 67381 SOS 52609 HAS SOPS 22390 HAS SOUS 6008 HAS SOUPS 5680 WITH SCORE 5732.609
AT ITER 7707 NEW BEST:: SOT 67381 SOS 52623 HAS SOPS 22390 HAS SOUS 5994 HAS SOUPS 5666 WITH SCORE 5718.623
AT ITER 7807 NEW BEST:: SOT 67381 SOS 52621 HAS SOPS 22388 HAS SOUS 5992 HAS SOUPS 5664 WITH SCORE 5716.621
AT ITER 7822 NEW BEST:: SOT 67378 SOS 52618 HAS SOPS 22378 HAS SOUS 5982 HAS SOUPS 5654 WITH SCORE 5706.618
AT ITER 7829 NEW BEST:: SOT 67373 SOS 55527 HAS SOPS 22373 HAS SOUS 5985 HAS SOUPS 5649 WITH SCORE 5704.527
AT ITER 7883 NEW BEST:: SOT 67372 SOS 55524 HAS SOPS 22371 HAS SOUS 5983 HAS SOUPS 5647 WITH SCORE 5702.524
AT ITER 7925 NEW BEST:: SOT 67362 SOS 55519 HAS SOPS 22606 HAS SOUS 5982 HAS SOUPS 5646 WITH SCORE 5701.519
AT ITER 7934 NEW BEST:: SOT 67310 SOS 55457 HAS SOPS 22559 HAS SOUS 5959 HAS SOUPS 5623 WITH SCORE 5678.457
AT ITER 7970 NEW BEST:: SOT 67311 SOS 55463 HAS SOPS 22561 HAS SOUS 5956 HAS SOUPS 5620 WITH SCORE 5675.463
AT ITER 7973 NEW BEST:: SOT 67312 SOS 55461 HAS SOPS 22563 HAS SOUS 5956 HAS SOUPS 5620 WITH SCORE 5675.461
AT ITER 7977 NEW BEST:: SOT 67306 SOS 55449 HAS SOPS 22551 HAS SOUS 5950 HAS SOUPS 5614 WITH SCORE 5669.449
AT ITER 7982 NEW BEST:: SOT 67307 SOS 55446 HAS SOPS 22550 HAS SOUS 5950 HAS SOUPS 5614 WITH SCORE 5669.446
AT ITER 8006 NEW BEST:: SOT 67306 SOS 55444 HAS SOPS 22548 HAS SOUS 5949 HAS SOUPS 5613 WITH SCORE 5668.444
AT ITER 8016 NEW BEST:: SOT 67276 SOS 55413 HAS SOPS 22516 HAS SOUS 5931 HAS SOUPS 5595 WITH SCORE 5650.413
AT ITER 8195 NEW BEST:: SOT 67270 SOS 55407 HAS SOPS 22507 HAS SOUS 5925 HAS SOUPS 5589 WITH SCORE 5644.407
AT ITER 8198 NEW BEST:: SOT 67279 SOS 55406 HAS SOPS 22508 HAS SOUS 5921 HAS SOUPS 5587 WITH SCORE 5642.406
AT ITER 8216 NEW BEST:: SOT 67277 SOS 55409 HAS SOPS 22507 HAS SOUS 5918 HAS SOUPS 5584 WITH SCORE 5639.409
AT ITER 8239 NEW BEST:: SOT 67275 SOS 55407 HAS SOPS 22503 HAS SOUS 5914 HAS SOUPS 5580 WITH SCORE 5635.407
AT ITER 8242 NEW BEST:: SOT 67272 SOS 55386 HAS SOPS 22488 HAS SOUS 5908 HAS SOUPS 5574 WITH SCORE 5629.386
AT ITER 8251 NEW BEST:: SOT 67270 SOS 55382 HAS SOPS 22484 HAS SOUS 5908 HAS SOUPS 5574 WITH SCORE 5629.382
AT ITER 8321 NEW BEST:: SOT 67268 SOS 55378 HAS SOPS 22480 HAS SOUS 5905 HAS SOUPS 5571 WITH SCORE 5626.378
AT ITER 8403 NEW BEST:: SOT 67264 SOS 55372 HAS SOPS 22472 HAS SOUS 5898 HAS SOUPS 5564 WITH SCORE 5619.372
AT ITER 8407 NEW BEST:: SOT 67260 SOS 55372 HAS SOPS 22467 HAS SOUS 5894 HAS SOUPS 5560 WITH SCORE 5615.372
AT ITER 8450 NEW BEST:: SOT 67260 SOS 55371 HAS SOPS 22466 HAS SOUS 5893 HAS SOUPS 5559 WITH SCORE 5614.371
AT ITER 8495 NEW BEST:: SOT 67259 SOS 55370 HAS SOPS 22464 HAS SOUS 5891 HAS SOUPS 5557 WITH SCORE 5612.37
AT ITER 8503 NEW BEST:: SOT 67207 SOS 55318 HAS SOPS 22411 HAS SOUS 5864 HAS SOUPS 5529 WITH SCORE 5584.318
AT ITER 8541 NEW BEST:: SOT 67207 SOS 55316 HAS SOPS 22409 HAS SOUS 5862 HAS SOUPS 5527 WITH SCORE 5582.316
AT ITER 8599 NEW BEST:: SOT 67203 SOS 55309 HAS SOPS 22401 HAS SOUS 5854 HAS SOUPS 5519 WITH SCORE 5574.309
AT ITER 8646 NEW BEST:: SOT 67218 SOS 55299 HAS SOPS 22431 HAS SOUS 5849 HAS SOUPS 5514 WITH SCORE 5569.299
AT ITER 8679 NEW BEST:: SOT 67218 SOS 55291 HAS SOPS 22427 HAS SOUS 5849 HAS SOUPS 5514 WITH SCORE 5569.291
AT ITER 8691 NEW BEST:: SOT 67218 SOS 55291 HAS SOPS 22419 HAS SOUS 5841 HAS SOUPS 5506 WITH SCORE 5561.291
AT ITER 8772 NEW BEST:: SOT 67205 SOS 55265 HAS SOPS 22393 HAS SOUS 5828 HAS SOUPS 5493 WITH SCORE 5548.265
AT ITER 8854 NEW BEST:: SOT 67215 SOS 55273 HAS SOPS 22401 HAS SOUS 5827 HAS SOUPS 5492 WITH SCORE 5547.273
AT ITER 8950 NEW BEST:: SOT 67214 SOS 55272 HAS SOPS 22399 HAS SOUS 5825 HAS SOUPS 5490 WITH SCORE 5545.272
AT ITER 8954 NEW BEST:: SOT 67213 SOS 55202 HAS SOPS 22397 HAS SOUS 5823 HAS SOUPS 5488 WITH SCORE 5543.202
AT ITER 9008 NEW BEST:: SOT 67212 SOS 55200 HAS SOPS 22395 HAS SOUS 5823 HAS SOUPS 5488 WITH SCORE 5543.2
AT ITER 9087 NEW BEST:: SOT 67211 SOS 55200 HAS SOPS 22394 HAS SOUS 5822 HAS SOUPS 5487 WITH SCORE 5542.2
AT ITER 9223 NEW BEST:: SOT 67209 SOS 55197 HAS SOPS 22390 HAS SOUS 5817 HAS SOUPS 5482 WITH SCORE 5537.197
AT ITER 9323 NEW BEST:: SOT 67204 SOS 55187 HAS SOPS 22380 HAS SOUS 5807 HAS SOUPS 5472 WITH SCORE 5527.187
AT ITER 9416 NEW BEST:: SOT 67196 SOS 55179 HAS SOPS 22364 HAS SOUS 5799 HAS SOUPS 5464 WITH SCORE 5519.179
AT ITER 9423 NEW BEST:: SOT 67196 SOS 55159 HAS SOPS 22354 HAS SOUS 5799 HAS SOUPS 5464 WITH SCORE 5519.159
AT ITER 9481 NEW BEST:: SOT 67196 SOS 55149 HAS SOPS 22354 HAS SOUS 5799 HAS SOUPS 5464 WITH SCORE 5519.149
AT ITER 9519 NEW BEST:: SOT 67190 SOS 55140 HAS SOPS 22342 HAS SOUS 5790 HAS SOUPS 5455 WITH SCORE 5510.14
AT ITER 9527 NEW BEST:: SOT 67189 SOS 55133 HAS SOPS 22336 HAS SOUS 5786 HAS SOUPS 5451 WITH SCORE 5506.133
AT ITER 9572 NEW BEST:: SOT 67187 SOS 55128 HAS SOPS 22331 HAS SOUS 5782 HAS SOUPS 5447 WITH SCORE 5502.128
AT ITER 9575 NEW BEST:: SOT 67186 SOS 55127 HAS SOPS 22329 HAS SOUS 5780 HAS SOUPS 5445 WITH SCORE 5500.127
AT ITER 9634 NEW BEST:: SOT 67183 SOS 55124 HAS SOPS 22325 HAS SOUS 5778 HAS SOUPS 5443 WITH SCORE 5498.124
AT ITER 9897 NEW BEST:: SOT 67188 SOS 55126 HAS SOPS 22335 HAS SOUS 5776 HAS SOUPS 5441 WITH SCORE 5496.126
AT ITER 9904 NEW BEST:: SOT 67187 SOS 55122 HAS SOPS 22333 HAS SOUS 5774 HAS SOUPS 5439 WITH SCORE 5494.122
AT ITER 9943 NEW BEST:: SOT 67188 SOS 55120 HAS SOPS 22333 HAS SOUS 5774 HAS SOUPS 5439 WITH SCORE 5494.12
AT ITER 9968 NEW BEST:: SOT 67178 SOS 55110 HAS SOPS 22318 HAS SOUS 5759 HAS SOUPS 5424 WITH SCORE 5479.11
AT ITER 9969 NEW BEST:: SOT 67176 SOS 55106 HAS SOPS 22314 HAS SOUS 5755 HAS SOUPS 5420 WITH SCORE 5475.106
AT ITER 9980 NEW BEST:: SOT 67176 SOS 55105 HAS SOPS 22314 HAS SOUS 5755 HAS SOUPS 5420 WITH SCORE 5475.105
STATE_SPACE STATES 1283918464548865 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 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 28585018037108737 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679479149848

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-14a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is FlexibleBarrier-PT-14a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858700528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-14a.tgz
mv FlexibleBarrier-PT-14a 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 ;