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.r483-tall-167912696701200.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is UtilityControlRoom-PT-Z4T4N04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696701200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 20K Feb 26 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 51K Feb 26 14:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 184K Feb 26 14:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 94K Feb 26 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 357K Feb 26 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.4K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 128K Mar 5 18:23 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 1679191948599

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

Filename model.pnml
Petri model created: 154 places, 300 transitions, 964 arcs.
AT ITER 0 NEW BEST:: SOT 38109 SOS 30588 HAS SOPS 30588 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18221.588
AT ITER 3 NEW BEST:: SOT 38089 SOS 30548 HAS SOPS 30548 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18121.548
AT ITER 5 NEW BEST:: SOT 38089 SOS 30548 HAS SOPS 30548 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18113.548
AT ITER 8 NEW BEST:: SOT 38100 SOS 30584 HAS SOPS 30584 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18089.584
AT ITER 14 NEW BEST:: SOT 38088 SOS 30608 HAS SOPS 30608 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18077.608
AT ITER 18 NEW BEST:: SOT 38064 SOS 30554 HAS SOPS 30554 HAS SOUS 18005 HAS SOUPS 18005 WITH SCORE 18035.554
AT ITER 19 NEW BEST:: SOT 37940 SOS 30487 HAS SOPS 30487 HAS SOUS 17888 HAS SOUPS 17888 WITH SCORE 17918.487
AT ITER 20 NEW BEST:: SOT 37877 SOS 29915 HAS SOPS 29915 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17882.915
AT ITER 21 NEW BEST:: SOT 37877 SOS 29890 HAS SOPS 29890 HAS SOUS 17851 HAS SOUPS 17851 WITH SCORE 17880.89
AT ITER 22 NEW BEST:: SOT 37910 SOS 29742 HAS SOPS 29742 HAS SOUS 17702 HAS SOUPS 17702 WITH SCORE 17731.742
AT ITER 23 NEW BEST:: SOT 37900 SOS 29704 HAS SOPS 29704 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17723.704
AT ITER 24 NEW BEST:: SOT 37773 SOS 29466 HAS SOPS 29466 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17224.466
AT ITER 25 NEW BEST:: SOT 37714 SOS 29224 HAS SOPS 29224 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16973.224
AT ITER 27 NEW BEST:: SOT 37714 SOS 29193 HAS SOPS 29193 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16973.193
AT ITER 29 NEW BEST:: SOT 37714 SOS 29193 HAS SOPS 29193 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16970.193
AT ITER 30 NEW BEST:: SOT 37700 SOS 29174 HAS SOPS 29174 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16846.174
AT ITER 33 NEW BEST:: SOT 37665 SOS 29086 HAS SOPS 29086 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16659.086
AT ITER 35 NEW BEST:: SOT 37614 SOS 28143 HAS SOPS 28143 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15794.143
AT ITER 37 NEW BEST:: SOT 37614 SOS 27955 HAS SOPS 27955 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15781.955
AT ITER 39 NEW BEST:: SOT 37557 SOS 27917 HAS SOPS 27917 HAS SOUS 15685 HAS SOUPS 15685 WITH SCORE 15712.917
AT ITER 40 NEW BEST:: SOT 37524 SOS 27777 HAS SOPS 27777 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15613.777
AT ITER 41 NEW BEST:: SOT 37480 SOS 27483 HAS SOPS 27483 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15491.483
AT ITER 42 NEW BEST:: SOT 37492 SOS 27402 HAS SOPS 27402 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15421.402
AT ITER 44 NEW BEST:: SOT 37324 SOS 27182 HAS SOPS 27182 HAS SOUS 15185 HAS SOUPS 15185 WITH SCORE 15212.182
AT ITER 45 NEW BEST:: SOT 37322 SOS 26812 HAS SOPS 26812 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15077.812
AT ITER 47 NEW BEST:: SOT 37329 SOS 26826 HAS SOPS 26826 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15014.826
AT ITER 48 NEW BEST:: SOT 37401 SOS 26824 HAS SOPS 26824 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14939.824
AT ITER 49 NEW BEST:: SOT 37386 SOS 26794 HAS SOPS 26794 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14894.794
AT ITER 50 NEW BEST:: SOT 37334 SOS 26724 HAS SOPS 26724 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14861.724
AT ITER 51 NEW BEST:: SOT 37295 SOS 26527 HAS SOPS 26527 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14741.527
AT ITER 52 NEW BEST:: SOT 33207 SOS 22453 HAS SOPS 22453 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12477.453
AT ITER 53 NEW BEST:: SOT 33199 SOS 22282 HAS SOPS 22282 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12282.282
AT ITER 54 NEW BEST:: SOT 33268 SOS 22351 HAS SOPS 22351 HAS SOUS 12211 HAS SOUPS 12211 WITH SCORE 12233.351
AT ITER 56 NEW BEST:: SOT 33274 SOS 22333 HAS SOPS 22333 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12156.333
AT ITER 57 NEW BEST:: SOT 33282 SOS 22245 HAS SOPS 22245 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12104.245
AT ITER 59 NEW BEST:: SOT 33235 SOS 22043 HAS SOPS 22043 HAS SOUS 11923 HAS SOUPS 11923 WITH SCORE 11945.043
AT ITER 61 NEW BEST:: SOT 33228 SOS 22067 HAS SOPS 22067 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11900.067
AT ITER 65 NEW BEST:: SOT 33228 SOS 21538 HAS SOPS 21538 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11727.538
AT ITER 69 NEW BEST:: SOT 33157 SOS 21510 HAS SOPS 21510 HAS SOUS 11598 HAS SOUPS 11598 WITH SCORE 11619.51
AT ITER 73 NEW BEST:: SOT 33160 SOS 21320 HAS SOPS 21320 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11518.32
AT ITER 78 NEW BEST:: SOT 33209 SOS 21310 HAS SOPS 21310 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11428.31
AT ITER 82 NEW BEST:: SOT 33170 SOS 20959 HAS SOPS 20959 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11258.959
AT ITER 93 NEW BEST:: SOT 33112 SOS 20956 HAS SOPS 20956 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11177.956
AT ITER 97 NEW BEST:: SOT 33083 SOS 20932 HAS SOPS 20932 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11148.932
AT ITER 102 NEW BEST:: SOT 33075 SOS 20924 HAS SOPS 20924 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11124.924
AT ITER 103 NEW BEST:: SOT 33050 SOS 20799 HAS SOPS 20799 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11076.799
AT ITER 105 NEW BEST:: SOT 33014 SOS 20175 HAS SOPS 20175 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10858.175
AT ITER 108 NEW BEST:: SOT 33004 SOS 20169 HAS SOPS 20169 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10828.169
AT ITER 110 NEW BEST:: SOT 33006 SOS 20061 HAS SOPS 20061 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10774.061
AT ITER 112 NEW BEST:: SOT 32998 SOS 20385 HAS SOPS 20385 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10766.385
AT ITER 113 NEW BEST:: SOT 32996 SOS 20011 HAS SOPS 20011 HAS SOUS 10660 HAS SOUPS 10660 WITH SCORE 10680.011
AT ITER 116 NEW BEST:: SOT 32940 SOS 19963 HAS SOPS 19963 HAS SOUS 10645 HAS SOUPS 10645 WITH SCORE 10664.963
AT ITER 119 NEW BEST:: SOT 32846 SOS 19867 HAS SOPS 19867 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10573.867
AT ITER 121 NEW BEST:: SOT 32788 SOS 19721 HAS SOPS 19721 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10523.721
AT ITER 123 NEW BEST:: SOT 32778 SOS 19482 HAS SOPS 19482 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10464.482
AT ITER 125 NEW BEST:: SOT 32747 SOS 19410 HAS SOPS 19410 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10428.41
AT ITER 128 NEW BEST:: SOT 32747 SOS 19424 HAS SOPS 19424 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10402.424
AT ITER 131 NEW BEST:: SOT 32742 SOS 19416 HAS SOPS 19416 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10393.416
AT ITER 136 NEW BEST:: SOT 32717 SOS 19230 HAS SOPS 19230 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10368.23
AT ITER 139 NEW BEST:: SOT 32717 SOS 19230 HAS SOPS 19230 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10300.23
AT ITER 141 NEW BEST:: SOT 33149 SOS 18471 HAS SOPS 18471 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10107.471
AT ITER 146 NEW BEST:: SOT 33113 SOS 18471 HAS SOPS 18471 HAS SOUS 10053 HAS SOUPS 10053 WITH SCORE 10071.471
AT ITER 154 NEW BEST:: SOT 33085 SOS 18378 HAS SOPS 18378 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9996.378
AT ITER 155 NEW BEST:: SOT 33085 SOS 18373 HAS SOPS 18373 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9996.373
AT ITER 156 NEW BEST:: SOT 33085 SOS 18368 HAS SOPS 18368 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9955.368
AT ITER 157 NEW BEST:: SOT 33085 SOS 18341 HAS SOPS 18341 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9949.341
AT ITER 159 NEW BEST:: SOT 33085 SOS 18336 HAS SOPS 18336 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9948.336
AT ITER 160 NEW BEST:: SOT 33084 SOS 18337 HAS SOPS 18337 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9946.337
AT ITER 163 NEW BEST:: SOT 33078 SOS 18309 HAS SOPS 18309 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9913.309
AT ITER 166 NEW BEST:: SOT 33078 SOS 18287 HAS SOPS 18287 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9913.287
AT ITER 170 NEW BEST:: SOT 33093 SOS 18302 HAS SOPS 18302 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9900.302
AT ITER 173 NEW BEST:: SOT 33061 SOS 18329 HAS SOPS 18329 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9873.329
AT ITER 175 NEW BEST:: SOT 33061 SOS 18317 HAS SOPS 18317 HAS SOUS 9849 HAS SOUPS 9849 WITH SCORE 9867.317
AT ITER 178 NEW BEST:: SOT 33061 SOS 18316 HAS SOPS 18316 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9866.316
AT ITER 179 NEW BEST:: SOT 33091 SOS 18005 HAS SOPS 18005 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9819.005
AT ITER 184 NEW BEST:: SOT 33091 SOS 18005 HAS SOPS 18005 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9814.005
AT ITER 186 NEW BEST:: SOT 33057 SOS 18011 HAS SOPS 18011 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9780.011
AT ITER 187 NEW BEST:: SOT 33035 SOS 17990 HAS SOPS 17990 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9762.99
AT ITER 188 NEW BEST:: SOT 33040 SOS 17987 HAS SOPS 17987 HAS SOUS 9695 HAS SOUPS 9695 WITH SCORE 9712.987
AT ITER 196 NEW BEST:: SOT 33039 SOS 17997 HAS SOPS 17997 HAS SOUS 9694 HAS SOUPS 9694 WITH SCORE 9711.997
AT ITER 217 NEW BEST:: SOT 33021 SOS 17943 HAS SOPS 17943 HAS SOUS 9658 HAS SOUPS 9658 WITH SCORE 9675.943
AT ITER 219 NEW BEST:: SOT 33013 SOS 17935 HAS SOPS 17935 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9667.935
AT ITER 221 NEW BEST:: SOT 32993 SOS 17901 HAS SOPS 17901 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9655.901
AT ITER 228 NEW BEST:: SOT 32993 SOS 17900 HAS SOPS 17900 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9654.9
AT ITER 232 NEW BEST:: SOT 33036 SOS 17839 HAS SOPS 17839 HAS SOUS 9620 HAS SOUPS 9620 WITH SCORE 9637.839
AT ITER 240 NEW BEST:: SOT 33068 SOS 17881 HAS SOPS 17881 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9630.881
AT ITER 241 NEW BEST:: SOT 33066 SOS 17883 HAS SOPS 17883 HAS SOUS 9609 HAS SOUPS 9609 WITH SCORE 9626.883
AT ITER 243 NEW BEST:: SOT 33031 SOS 17953 HAS SOPS 17953 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9623.953
AT ITER 244 NEW BEST:: SOT 32993 SOS 17978 HAS SOPS 17978 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9616.978
AT ITER 253 NEW BEST:: SOT 32898 SOS 17883 HAS SOPS 17883 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9563.883
AT ITER 255 NEW BEST:: SOT 32889 SOS 17891 HAS SOPS 17891 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9554.891
AT ITER 268 NEW BEST:: SOT 32316 SOS 17880 HAS SOPS 17880 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9355.88
AT ITER 272 NEW BEST:: SOT 32327 SOS 17803 HAS SOPS 17803 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9348.803
AT ITER 276 NEW BEST:: SOT 32327 SOS 17761 HAS SOPS 17761 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9348.761
AT ITER 279 NEW BEST:: SOT 32307 SOS 17741 HAS SOPS 17741 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9338.741
AT ITER 288 NEW BEST:: SOT 32313 SOS 17753 HAS SOPS 17753 HAS SOUS 9307 HAS SOUPS 9307 WITH SCORE 9324.753
AT ITER 294 NEW BEST:: SOT 32303 SOS 17696 HAS SOPS 17696 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9321.696
AT ITER 296 NEW BEST:: SOT 32299 SOS 17664 HAS SOPS 17664 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9305.664
AT ITER 299 NEW BEST:: SOT 32210 SOS 17542 HAS SOPS 17542 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9287.542
AT ITER 302 NEW BEST:: SOT 32210 SOS 17592 HAS SOPS 17592 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9266.592
AT ITER 309 NEW BEST:: SOT 32210 SOS 17617 HAS SOPS 17617 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9261.617
AT ITER 319 NEW BEST:: SOT 32175 SOS 17527 HAS SOPS 17527 HAS SOUS 9168 HAS SOUPS 9168 WITH SCORE 9185.527
AT ITER 333 NEW BEST:: SOT 32175 SOS 17530 HAS SOPS 17530 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9182.53
AT ITER 342 NEW BEST:: SOT 32096 SOS 17491 HAS SOPS 17491 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9170.491
AT ITER 344 NEW BEST:: SOT 32096 SOS 17414 HAS SOPS 17414 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9154.414
AT ITER 362 NEW BEST:: SOT 32074 SOS 17380 HAS SOPS 17380 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9130.38
AT ITER 363 NEW BEST:: SOT 32069 SOS 17375 HAS SOPS 17375 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9120.375
AT ITER 366 NEW BEST:: SOT 31253 SOS 16679 HAS SOPS 16679 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8753.679
AT ITER 369 NEW BEST:: SOT 31271 SOS 16590 HAS SOPS 16590 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8747.59
AT ITER 371 NEW BEST:: SOT 31276 SOS 16680 HAS SOPS 16680 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8727.68
AT ITER 377 NEW BEST:: SOT 31119 SOS 16752 HAS SOPS 16752 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8697.752
AT ITER 378 NEW BEST:: SOT 31119 SOS 16754 HAS SOPS 16754 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8696.754
AT ITER 383 NEW BEST:: SOT 31099 SOS 16444 HAS SOPS 16444 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8692.444
AT ITER 396 NEW BEST:: SOT 31096 SOS 16438 HAS SOPS 16438 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8689.438
AT ITER 402 NEW BEST:: SOT 31088 SOS 16430 HAS SOPS 16430 HAS SOUS 8657 HAS SOUPS 8657 WITH SCORE 8673.43
AT ITER 403 NEW BEST:: SOT 31113 SOS 16455 HAS SOPS 16455 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8667.455
AT ITER 415 NEW BEST:: SOT 31113 SOS 16443 HAS SOPS 16443 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8655.443
AT ITER 437 NEW BEST:: SOT 31102 SOS 16436 HAS SOPS 16436 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8603.436
AT ITER 443 NEW BEST:: SOT 31074 SOS 16408 HAS SOPS 16408 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8570.408
AT ITER 451 NEW BEST:: SOT 31076 SOS 16258 HAS SOPS 16258 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8568.258
AT ITER 459 NEW BEST:: SOT 31079 SOS 16450 HAS SOPS 16450 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8564.45
AT ITER 465 NEW BEST:: SOT 31082 SOS 16437 HAS SOPS 16437 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8533.437
AT ITER 469 NEW BEST:: SOT 31068 SOS 16423 HAS SOPS 16423 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8530.423
AT ITER 474 NEW BEST:: SOT 31027 SOS 16345 HAS SOPS 16345 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8526.345
AT ITER 478 NEW BEST:: SOT 31018 SOS 16275 HAS SOPS 16275 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8491.275
AT ITER 479 NEW BEST:: SOT 31027 SOS 16239 HAS SOPS 16239 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8491.239
AT ITER 497 NEW BEST:: SOT 31010 SOS 16219 HAS SOPS 16219 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8475.219
AT ITER 513 NEW BEST:: SOT 31065 SOS 16274 HAS SOPS 16274 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8455.274
AT ITER 518 NEW BEST:: SOT 31065 SOS 16197 HAS SOPS 16197 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8455.197
AT ITER 528 NEW BEST:: SOT 31065 SOS 16184 HAS SOPS 16184 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8416.184
AT ITER 531 NEW BEST:: SOT 31062 SOS 16181 HAS SOPS 16181 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8372.181
AT ITER 532 NEW BEST:: SOT 31048 SOS 16181 HAS SOPS 16181 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8344.181
AT ITER 540 NEW BEST:: SOT 31020 SOS 16191 HAS SOPS 16191 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8315.191
AT ITER 545 NEW BEST:: SOT 31000 SOS 16111 HAS SOPS 16111 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8295.111
AT ITER 548 NEW BEST:: SOT 30837 SOS 15972 HAS SOPS 15972 HAS SOUS 8243 HAS SOUPS 8243 WITH SCORE 8258.972
AT ITER 569 NEW BEST:: SOT 30784 SOS 15693 HAS SOPS 15693 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8217.693
AT ITER 575 NEW BEST:: SOT 30780 SOS 15671 HAS SOPS 15671 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8211.671
AT ITER 576 NEW BEST:: SOT 30772 SOS 15667 HAS SOPS 15667 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8207.667
AT ITER 585 NEW BEST:: SOT 30738 SOS 15764 HAS SOPS 15764 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8173.764
AT ITER 586 NEW BEST:: SOT 30738 SOS 15834 HAS SOPS 15834 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8167.834
AT ITER 601 NEW BEST:: SOT 30687 SOS 15631 HAS SOPS 15631 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8116.631
AT ITER 602 NEW BEST:: SOT 30661 SOS 15585 HAS SOPS 15585 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8090.585
AT ITER 621 NEW BEST:: SOT 30647 SOS 15559 HAS SOPS 15559 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8077.559
AT ITER 632 NEW BEST:: SOT 30646 SOS 15560 HAS SOPS 15560 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8076.56
AT ITER 636 NEW BEST:: SOT 30520 SOS 15544 HAS SOPS 15544 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8018.544
AT ITER 639 NEW BEST:: SOT 30515 SOS 15534 HAS SOPS 15534 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8013.534
AT ITER 643 NEW BEST:: SOT 30515 SOS 15534 HAS SOPS 15534 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8011.534
AT ITER 648 NEW BEST:: SOT 30495 SOS 15483 HAS SOPS 15483 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7992.483
AT ITER 663 NEW BEST:: SOT 30477 SOS 15465 HAS SOPS 15465 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7964.465
AT ITER 669 NEW BEST:: SOT 30509 SOS 15447 HAS SOPS 15447 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7880.447
AT ITER 671 NEW BEST:: SOT 30498 SOS 15394 HAS SOPS 15394 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7878.394
AT ITER 674 NEW BEST:: SOT 30490 SOS 15276 HAS SOPS 15276 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7839.276
AT ITER 686 NEW BEST:: SOT 30443 SOS 15232 HAS SOPS 15232 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7823.232
AT ITER 689 NEW BEST:: SOT 30471 SOS 15281 HAS SOPS 15281 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7802.281
AT ITER 695 NEW BEST:: SOT 30487 SOS 15285 HAS SOPS 15285 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7800.285
AT ITER 703 NEW BEST:: SOT 30383 SOS 15110 HAS SOPS 15110 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7775.11
AT ITER 706 NEW BEST:: SOT 30393 SOS 15130 HAS SOPS 15130 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7772.13
AT ITER 708 NEW BEST:: SOT 30393 SOS 15106 HAS SOPS 15106 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7756.106
AT ITER 710 NEW BEST:: SOT 30389 SOS 15065 HAS SOPS 15065 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7752.065
AT ITER 714 NEW BEST:: SOT 30380 SOS 14993 HAS SOPS 14993 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7751.993
AT ITER 723 NEW BEST:: SOT 29935 SOS 14740 HAS SOPS 14740 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7626.74
AT ITER 739 NEW BEST:: SOT 29945 SOS 14740 HAS SOPS 14740 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7597.74
AT ITER 743 NEW BEST:: SOT 29923 SOS 14750 HAS SOPS 14750 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7575.75
AT ITER 745 NEW BEST:: SOT 29919 SOS 14750 HAS SOPS 14750 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7571.75
AT ITER 763 NEW BEST:: SOT 29919 SOS 14700 HAS SOPS 14700 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7537.7
AT ITER 768 NEW BEST:: SOT 29899 SOS 14680 HAS SOPS 14680 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7526.68
AT ITER 785 NEW BEST:: SOT 29899 SOS 14676 HAS SOPS 14676 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7522.676
AT ITER 786 NEW BEST:: SOT 29888 SOS 14568 HAS SOPS 14568 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7446.568
AT ITER 791 NEW BEST:: SOT 29888 SOS 14631 HAS SOPS 14631 HAS SOUS 7425 HAS SOUPS 7425 WITH SCORE 7439.631
AT ITER 806 NEW BEST:: SOT 29879 SOS 14622 HAS SOPS 14622 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7436.622
AT ITER 809 NEW BEST:: SOT 29873 SOS 14658 HAS SOPS 14658 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7429.658
AT ITER 816 NEW BEST:: SOT 29868 SOS 14626 HAS SOPS 14626 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7428.626
AT ITER 826 NEW BEST:: SOT 29863 SOS 14621 HAS SOPS 14621 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7428.621
AT ITER 832 NEW BEST:: SOT 29624 SOS 14397 HAS SOPS 14397 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7318.397
AT ITER 842 NEW BEST:: SOT 29620 SOS 14393 HAS SOPS 14393 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7312.393
AT ITER 854 NEW BEST:: SOT 29620 SOS 14387 HAS SOPS 14387 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7312.387
AT ITER 857 NEW BEST:: SOT 29614 SOS 14357 HAS SOPS 14357 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7306.357
AT ITER 860 NEW BEST:: SOT 29584 SOS 14327 HAS SOPS 14327 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7296.327
AT ITER 866 NEW BEST:: SOT 29577 SOS 14330 HAS SOPS 14330 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7289.33
AT ITER 887 NEW BEST:: SOT 29571 SOS 14332 HAS SOPS 14332 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7286.332
AT ITER 899 NEW BEST:: SOT 29573 SOS 14405 HAS SOPS 14405 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7279.405
AT ITER 903 NEW BEST:: SOT 29573 SOS 14405 HAS SOPS 14405 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7273.405
AT ITER 905 NEW BEST:: SOT 29562 SOS 14371 HAS SOPS 14371 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7256.371
AT ITER 907 NEW BEST:: SOT 29562 SOS 14371 HAS SOPS 14371 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7253.371
AT ITER 909 NEW BEST:: SOT 29558 SOS 14367 HAS SOPS 14367 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7214.367
AT ITER 910 NEW BEST:: SOT 29562 SOS 14375 HAS SOPS 14375 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7189.375
AT ITER 912 NEW BEST:: SOT 29552 SOS 14145 HAS SOPS 14145 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7169.145
AT ITER 915 NEW BEST:: SOT 29548 SOS 14152 HAS SOPS 14152 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7160.152
AT ITER 920 NEW BEST:: SOT 29547 SOS 14141 HAS SOPS 14141 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7159.141
AT ITER 934 NEW BEST:: SOT 29530 SOS 14117 HAS SOPS 14117 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7142.117
AT ITER 939 NEW BEST:: SOT 29517 SOS 14104 HAS SOPS 14104 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7124.104
AT ITER 948 NEW BEST:: SOT 29558 SOS 14177 HAS SOPS 14177 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7085.177
AT ITER 967 NEW BEST:: SOT 29509 SOS 14128 HAS SOPS 14128 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7072.128
AT ITER 976 NEW BEST:: SOT 29498 SOS 14106 HAS SOPS 14106 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7050.106
AT ITER 979 NEW BEST:: SOT 29468 SOS 14076 HAS SOPS 14076 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7012.076
AT ITER 982 NEW BEST:: SOT 29430 SOS 14038 HAS SOPS 14038 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6973.038
AT ITER 986 NEW BEST:: SOT 29415 SOS 14018 HAS SOPS 14018 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6953.018
AT ITER 1028 NEW BEST:: SOT 29403 SOS 14006 HAS SOPS 14006 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6953.006
AT ITER 1037 NEW BEST:: SOT 29405 SOS 14008 HAS SOPS 14008 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6951.008
AT ITER 1048 NEW BEST:: SOT 29388 SOS 14006 HAS SOPS 14006 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6923.006
AT ITER 1052 NEW BEST:: SOT 29386 SOS 14004 HAS SOPS 14004 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6922.004
AT ITER 1066 NEW BEST:: SOT 29348 SOS 13966 HAS SOPS 13966 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6912.966
AT ITER 1078 NEW BEST:: SOT 29347 SOS 13932 HAS SOPS 13932 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6911.932
AT ITER 1101 NEW BEST:: SOT 29344 SOS 13929 HAS SOPS 13929 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6909.929
AT ITER 1116 NEW BEST:: SOT 29329 SOS 13904 HAS SOPS 13904 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6899.904
AT ITER 1118 NEW BEST:: SOT 29345 SOS 13965 HAS SOPS 13965 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6863.965
AT ITER 1123 NEW BEST:: SOT 29344 SOS 13983 HAS SOPS 13983 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6858.983
AT ITER 1134 NEW BEST:: SOT 29344 SOS 13993 HAS SOPS 13993 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6857.993
AT ITER 1142 NEW BEST:: SOT 29344 SOS 13993 HAS SOPS 13993 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6853.993
AT ITER 1147 NEW BEST:: SOT 29344 SOS 13985 HAS SOPS 13985 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6839.985
AT ITER 1150 NEW BEST:: SOT 29336 SOS 13977 HAS SOPS 13977 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6839.977
AT ITER 1171 NEW BEST:: SOT 29322 SOS 13963 HAS SOPS 13963 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6824.963
AT ITER 1192 NEW BEST:: SOT 29322 SOS 13915 HAS SOPS 13915 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6805.915
AT ITER 1194 NEW BEST:: SOT 29316 SOS 13859 HAS SOPS 13859 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6803.859
AT ITER 1195 NEW BEST:: SOT 29318 SOS 13819 HAS SOPS 13819 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6795.819
AT ITER 1215 NEW BEST:: SOT 29310 SOS 13811 HAS SOPS 13811 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6791.811
AT ITER 1235 NEW BEST:: SOT 29329 SOS 13622 HAS SOPS 13622 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6761.622
AT ITER 1247 NEW BEST:: SOT 29349 SOS 13609 HAS SOPS 13609 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6749.609
AT ITER 1252 NEW BEST:: SOT 29367 SOS 13483 HAS SOPS 13483 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6731.483
AT ITER 1254 NEW BEST:: SOT 29363 SOS 13479 HAS SOPS 13479 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6725.479
AT ITER 1276 NEW BEST:: SOT 29361 SOS 13474 HAS SOPS 13474 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6722.474
AT ITER 1283 NEW BEST:: SOT 29361 SOS 13474 HAS SOPS 13474 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6720.474
AT ITER 1288 NEW BEST:: SOT 29361 SOS 13417 HAS SOPS 13417 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6639.417
AT ITER 1296 NEW BEST:: SOT 29350 SOS 13537 HAS SOPS 13537 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6627.537
AT ITER 1298 NEW BEST:: SOT 29319 SOS 13327 HAS SOPS 13327 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6622.327
AT ITER 1300 NEW BEST:: SOT 29323 SOS 13331 HAS SOPS 13331 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6618.331
AT ITER 1318 NEW BEST:: SOT 29311 SOS 13297 HAS SOPS 13297 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6601.297
AT ITER 1324 NEW BEST:: SOT 29307 SOS 13293 HAS SOPS 13293 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6597.293
AT ITER 1326 NEW BEST:: SOT 29328 SOS 13314 HAS SOPS 13314 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6594.314
AT ITER 1330 NEW BEST:: SOT 29328 SOS 13314 HAS SOPS 13314 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6592.314
AT ITER 1356 NEW BEST:: SOT 29298 SOS 13277 HAS SOPS 13277 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6555.277
AT ITER 1390 NEW BEST:: SOT 29404 SOS 13273 HAS SOPS 13273 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6489.273
AT ITER 1391 NEW BEST:: SOT 29291 SOS 13039 HAS SOPS 13039 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6379.039
AT ITER 1394 NEW BEST:: SOT 29291 SOS 13029 HAS SOPS 13029 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6379.029
AT ITER 1436 NEW BEST:: SOT 29288 SOS 13017 HAS SOPS 13017 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6373.017
AT ITER 1448 NEW BEST:: SOT 29286 SOS 13027 HAS SOPS 13027 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6372.027
AT ITER 1464 NEW BEST:: SOT 29287 SOS 13007 HAS SOPS 13007 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6362.007
AT ITER 1478 NEW BEST:: SOT 29292 SOS 13012 HAS SOPS 13012 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6361.012
AT ITER 1479 NEW BEST:: SOT 29253 SOS 13081 HAS SOPS 13081 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6329.081
AT ITER 1486 NEW BEST:: SOT 29263 SOS 13091 HAS SOPS 13091 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6328.091
AT ITER 1518 NEW BEST:: SOT 29247 SOS 13075 HAS SOPS 13075 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6328.075
AT ITER 1541 NEW BEST:: SOT 29224 SOS 13049 HAS SOPS 13049 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6296.049
AT ITER 1546 NEW BEST:: SOT 29224 SOS 13039 HAS SOPS 13039 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6286.039
AT ITER 1547 NEW BEST:: SOT 29227 SOS 13045 HAS SOPS 13045 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6264.045
AT ITER 1563 NEW BEST:: SOT 29231 SOS 13047 HAS SOPS 13047 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6263.047
AT ITER 1564 NEW BEST:: SOT 29200 SOS 13032 HAS SOPS 13032 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6246.032
AT ITER 1570 NEW BEST:: SOT 29200 SOS 13022 HAS SOPS 13022 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6246.022
AT ITER 1617 NEW BEST:: SOT 29198 SOS 13031 HAS SOPS 13031 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6241.031
AT ITER 1618 NEW BEST:: SOT 29206 SOS 13029 HAS SOPS 13029 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6241.029
AT ITER 1630 NEW BEST:: SOT 29199 SOS 12988 HAS SOPS 12988 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6226.988
AT ITER 1634 NEW BEST:: SOT 29185 SOS 12884 HAS SOPS 12884 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6179.884
AT ITER 1649 NEW BEST:: SOT 29112 SOS 12807 HAS SOPS 12807 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6129.807
AT ITER 1656 NEW BEST:: SOT 29110 SOS 12805 HAS SOPS 12805 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6128.805
AT ITER 1659 NEW BEST:: SOT 29112 SOS 12791 HAS SOPS 12791 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6081.791
AT ITER 1673 NEW BEST:: SOT 29112 SOS 12779 HAS SOPS 12779 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6069.779
AT ITER 1696 NEW BEST:: SOT 29118 SOS 12800 HAS SOPS 12800 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6066.8
AT ITER 1708 NEW BEST:: SOT 29091 SOS 12730 HAS SOPS 12730 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6041.73
AT ITER 1724 NEW BEST:: SOT 29090 SOS 12718 HAS SOPS 12718 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6040.718
AT ITER 1729 NEW BEST:: SOT 29080 SOS 12705 HAS SOPS 12705 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6030.705
AT ITER 1731 NEW BEST:: SOT 29080 SOS 12705 HAS SOPS 12705 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6029.705
AT ITER 1746 NEW BEST:: SOT 29067 SOS 12649 HAS SOPS 12649 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6024.649
AT ITER 1772 NEW BEST:: SOT 29067 SOS 12649 HAS SOPS 12649 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6020.649
AT ITER 1776 NEW BEST:: SOT 29063 SOS 12641 HAS SOPS 12641 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6016.641
AT ITER 1781 NEW BEST:: SOT 28950 SOS 13570 HAS SOPS 13570 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6010.57
AT ITER 1783 NEW BEST:: SOT 28944 SOS 13551 HAS SOPS 13551 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5996.551
AT ITER 1786 NEW BEST:: SOT 28940 SOS 13543 HAS SOPS 13543 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5994.543
AT ITER 1793 NEW BEST:: SOT 28929 SOS 13510 HAS SOPS 13510 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5994.51
AT ITER 1797 NEW BEST:: SOT 28929 SOS 13522 HAS SOPS 13522 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5990.522
AT ITER 1816 NEW BEST:: SOT 28927 SOS 13816 HAS SOPS 13816 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5985.816
AT ITER 1848 NEW BEST:: SOT 28915 SOS 13741 HAS SOPS 13741 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5973.741
AT ITER 1849 NEW BEST:: SOT 28912 SOS 13732 HAS SOPS 13732 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5973.732
AT ITER 1855 NEW BEST:: SOT 28935 SOS 13011 HAS SOPS 13011 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5915.011
AT ITER 1870 NEW BEST:: SOT 28931 SOS 13007 HAS SOPS 13007 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5906.007
AT ITER 1897 NEW BEST:: SOT 28948 SOS 12995 HAS SOPS 12995 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5897.995
AT ITER 1909 NEW BEST:: SOT 28947 SOS 12993 HAS SOPS 12993 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5895.993
AT ITER 1927 NEW BEST:: SOT 28940 SOS 12987 HAS SOPS 12987 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5888.987
AT ITER 1936 NEW BEST:: SOT 28937 SOS 12981 HAS SOPS 12981 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5885.981
AT ITER 1950 NEW BEST:: SOT 28937 SOS 12975 HAS SOPS 12975 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5883.975
AT ITER 1957 NEW BEST:: SOT 28933 SOS 12971 HAS SOPS 12971 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5877.971
AT ITER 1966 NEW BEST:: SOT 28930 SOS 12968 HAS SOPS 12968 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5875.968
AT ITER 2009 NEW BEST:: SOT 28946 SOS 12952 HAS SOPS 12952 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5875.952
AT ITER 2018 NEW BEST:: SOT 28946 SOS 12949 HAS SOPS 12949 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5873.949
AT ITER 2024 NEW BEST:: SOT 28945 SOS 12948 HAS SOPS 12948 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5872.948
AT ITER 2035 NEW BEST:: SOT 28944 SOS 12947 HAS SOPS 12947 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5868.947
AT ITER 2041 NEW BEST:: SOT 28942 SOS 12945 HAS SOPS 12945 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5866.945
AT ITER 2057 NEW BEST:: SOT 28941 SOS 12940 HAS SOPS 12940 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5865.94
AT ITER 2156 NEW BEST:: SOT 28952 SOS 12930 HAS SOPS 12930 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5865.93
AT ITER 2170 NEW BEST:: SOT 28952 SOS 12928 HAS SOPS 12928 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5865.928
AT ITER 2178 NEW BEST:: SOT 28952 SOS 12925 HAS SOPS 12925 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5863.925
AT ITER 2187 NEW BEST:: SOT 28948 SOS 12917 HAS SOPS 12917 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5863.917
AT ITER 2225 NEW BEST:: SOT 28948 SOS 12917 HAS SOPS 12917 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5862.917
AT ITER 2252 NEW BEST:: SOT 28930 SOS 12899 HAS SOPS 12899 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5834.899
AT ITER 2300 NEW BEST:: SOT 28930 SOS 12899 HAS SOPS 12899 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5833.899
AT ITER 2329 NEW BEST:: SOT 28928 SOS 12897 HAS SOPS 12897 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5832.897
AT ITER 2385 NEW BEST:: SOT 28929 SOS 12899 HAS SOPS 12899 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5831.899
AT ITER 2399 NEW BEST:: SOT 28929 SOS 12867 HAS SOPS 12867 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5830.867
AT ITER 2465 NEW BEST:: SOT 28924 SOS 12844 HAS SOPS 12844 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5822.844
AT ITER 2499 NEW BEST:: SOT 28921 SOS 12841 HAS SOPS 12841 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5816.841
AT ITER 2523 NEW BEST:: SOT 28915 SOS 12835 HAS SOPS 12835 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5805.835
AT ITER 2528 NEW BEST:: SOT 28915 SOS 12835 HAS SOPS 12835 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5804.835
AT ITER 2555 NEW BEST:: SOT 28937 SOS 12857 HAS SOPS 12857 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5803.857
AT ITER 2568 NEW BEST:: SOT 28929 SOS 12849 HAS SOPS 12849 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5794.849
AT ITER 2617 NEW BEST:: SOT 28912 SOS 12832 HAS SOPS 12832 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5793.832
AT ITER 2620 NEW BEST:: SOT 28901 SOS 12799 HAS SOPS 12799 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5793.799
AT ITER 2626 NEW BEST:: SOT 28926 SOS 12790 HAS SOPS 12790 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5785.79
AT ITER 2637 NEW BEST:: SOT 28926 SOS 12789 HAS SOPS 12789 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5785.789
AT ITER 2652 NEW BEST:: SOT 28926 SOS 12789 HAS SOPS 12789 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5781.789
AT ITER 2662 NEW BEST:: SOT 28930 SOS 12776 HAS SOPS 12776 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5781.776
AT ITER 2669 NEW BEST:: SOT 28928 SOS 12777 HAS SOPS 12777 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5780.777
AT ITER 2675 NEW BEST:: SOT 28920 SOS 12769 HAS SOPS 12769 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5733.769
AT ITER 2694 NEW BEST:: SOT 28920 SOS 12766 HAS SOPS 12766 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5733.766
AT ITER 2697 NEW BEST:: SOT 28916 SOS 12762 HAS SOPS 12762 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5733.762
AT ITER 2711 NEW BEST:: SOT 28824 SOS 12956 HAS SOPS 12956 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5712.956
AT ITER 2719 NEW BEST:: SOT 28810 SOS 12942 HAS SOPS 12942 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5706.942
AT ITER 2730 NEW BEST:: SOT 28802 SOS 12926 HAS SOPS 12926 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5694.926
AT ITER 2737 NEW BEST:: SOT 28807 SOS 12929 HAS SOPS 12929 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5692.929
AT ITER 2752 NEW BEST:: SOT 28804 SOS 12929 HAS SOPS 12929 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5689.929
AT ITER 2754 NEW BEST:: SOT 28799 SOS 12914 HAS SOPS 12914 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5689.914
AT ITER 2821 NEW BEST:: SOT 28662 SOS 12737 HAS SOPS 12737 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5624.737
AT ITER 2828 NEW BEST:: SOT 28641 SOS 12699 HAS SOPS 12699 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5603.699
AT ITER 2851 NEW BEST:: SOT 28641 SOS 12699 HAS SOPS 12699 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5601.699
AT ITER 2864 NEW BEST:: SOT 28629 SOS 12687 HAS SOPS 12687 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5595.687
AT ITER 2873 NEW BEST:: SOT 28629 SOS 12564 HAS SOPS 12564 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5589.564
AT ITER 2885 NEW BEST:: SOT 28581 SOS 12516 HAS SOPS 12516 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5506.516
AT ITER 2894 NEW BEST:: SOT 28581 SOS 12516 HAS SOPS 12516 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5505.516
AT ITER 2909 NEW BEST:: SOT 28554 SOS 12489 HAS SOPS 12489 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5505.489
AT ITER 2990 NEW BEST:: SOT 28555 SOS 12434 HAS SOPS 12434 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5502.434
AT ITER 3013 NEW BEST:: SOT 28564 SOS 12424 HAS SOPS 12424 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5497.424
AT ITER 3031 NEW BEST:: SOT 28577 SOS 12436 HAS SOPS 12436 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5490.436
AT ITER 3032 NEW BEST:: SOT 28581 SOS 12384 HAS SOPS 12384 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5487.384
AT ITER 3072 NEW BEST:: SOT 28573 SOS 12372 HAS SOPS 12372 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5477.372
AT ITER 3109 NEW BEST:: SOT 28555 SOS 12354 HAS SOPS 12354 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5460.354
AT ITER 3119 NEW BEST:: SOT 28559 SOS 12350 HAS SOPS 12350 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5460.35
AT ITER 3131 NEW BEST:: SOT 28591 SOS 12358 HAS SOPS 12358 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5447.358
AT ITER 3134 NEW BEST:: SOT 28587 SOS 12354 HAS SOPS 12354 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5445.354
AT ITER 3143 NEW BEST:: SOT 28573 SOS 12329 HAS SOPS 12329 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5428.329
AT ITER 3171 NEW BEST:: SOT 28573 SOS 12329 HAS SOPS 12329 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5416.329
AT ITER 3202 NEW BEST:: SOT 28571 SOS 12327 HAS SOPS 12327 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5415.327
AT ITER 3203 NEW BEST:: SOT 28555 SOS 12311 HAS SOPS 12311 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5399.311
AT ITER 3215 NEW BEST:: SOT 28535 SOS 12291 HAS SOPS 12291 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5385.291
AT ITER 3218 NEW BEST:: SOT 28500 SOS 12256 HAS SOPS 12256 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5350.256
AT ITER 3221 NEW BEST:: SOT 28480 SOS 12224 HAS SOPS 12224 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5330.224
AT ITER 3247 NEW BEST:: SOT 28479 SOS 12222 HAS SOPS 12222 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5330.222
AT ITER 3255 NEW BEST:: SOT 28529 SOS 12272 HAS SOPS 12272 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5328.272
AT ITER 3259 NEW BEST:: SOT 28502 SOS 12175 HAS SOPS 12175 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5287.175
AT ITER 3268 NEW BEST:: SOT 28502 SOS 12109 HAS SOPS 12109 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5287.109
AT ITER 3341 NEW BEST:: SOT 28538 SOS 12177 HAS SOPS 12177 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5283.177
AT ITER 3362 NEW BEST:: SOT 28532 SOS 12171 HAS SOPS 12171 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5283.171
AT ITER 3373 NEW BEST:: SOT 28524 SOS 12166 HAS SOPS 12166 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5283.166
AT ITER 3416 NEW BEST:: SOT 28515 SOS 12148 HAS SOPS 12148 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5280.148
AT ITER 3429 NEW BEST:: SOT 28567 SOS 12200 HAS SOPS 12200 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5273.2
AT ITER 3439 NEW BEST:: SOT 28563 SOS 12184 HAS SOPS 12184 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5269.184
AT ITER 3444 NEW BEST:: SOT 28578 SOS 12199 HAS SOPS 12199 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5254.199
AT ITER 3453 NEW BEST:: SOT 28523 SOS 12099 HAS SOPS 12099 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5226.099
AT ITER 3508 NEW BEST:: SOT 28520 SOS 12096 HAS SOPS 12096 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5222.096
AT ITER 3511 NEW BEST:: SOT 28518 SOS 12094 HAS SOPS 12094 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5215.094
AT ITER 3516 NEW BEST:: SOT 28529 SOS 12090 HAS SOPS 12090 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5213.09
AT ITER 3519 NEW BEST:: SOT 28529 SOS 12078 HAS SOPS 12078 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5205.078
AT ITER 3555 NEW BEST:: SOT 28498 SOS 12047 HAS SOPS 12047 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5204.047
AT ITER 3574 NEW BEST:: SOT 28500 SOS 12051 HAS SOPS 12051 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5199.051
AT ITER 3597 NEW BEST:: SOT 28509 SOS 12061 HAS SOPS 12061 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5187.061
AT ITER 3602 NEW BEST:: SOT 28507 SOS 12061 HAS SOPS 12061 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5185.061
AT ITER 3611 NEW BEST:: SOT 28501 SOS 12049 HAS SOPS 12049 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5182.049
AT ITER 3674 NEW BEST:: SOT 28488 SOS 11977 HAS SOPS 11977 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5168.977
AT ITER 3679 NEW BEST:: SOT 28343 SOS 12051 HAS SOPS 12051 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5136.051
AT ITER 3684 NEW BEST:: SOT 28341 SOS 12049 HAS SOPS 12049 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5100.049
AT ITER 3731 NEW BEST:: SOT 28341 SOS 12034 HAS SOPS 12034 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5090.034
AT ITER 3738 NEW BEST:: SOT 28322 SOS 12032 HAS SOPS 12032 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5082.032
AT ITER 3754 NEW BEST:: SOT 28320 SOS 12028 HAS SOPS 12028 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5080.028
AT ITER 3757 NEW BEST:: SOT 28336 SOS 12035 HAS SOPS 12035 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5069.035
AT ITER 3799 NEW BEST:: SOT 28340 SOS 12145 HAS SOPS 12145 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5043.145
AT ITER 3800 NEW BEST:: SOT 28341 SOS 12130 HAS SOPS 12130 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5043.13
AT ITER 3823 NEW BEST:: SOT 28341 SOS 12035 HAS SOPS 12035 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5019.035
AT ITER 3828 NEW BEST:: SOT 28341 SOS 12027 HAS SOPS 12027 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5017.027
AT ITER 3859 NEW BEST:: SOT 28340 SOS 12025 HAS SOPS 12025 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5016.025
AT ITER 3870 NEW BEST:: SOT 28334 SOS 12007 HAS SOPS 12007 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 5001.007
AT ITER 3888 NEW BEST:: SOT 28304 SOS 11983 HAS SOPS 11983 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4991.983
AT ITER 3947 NEW BEST:: SOT 28284 SOS 11957 HAS SOPS 11957 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4962.957
AT ITER 3953 NEW BEST:: SOT 28292 SOS 11939 HAS SOPS 11939 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4955.939
AT ITER 3969 NEW BEST:: SOT 28292 SOS 11939 HAS SOPS 11939 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4951.939
AT ITER 3982 NEW BEST:: SOT 28288 SOS 11931 HAS SOPS 11931 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4951.931
AT ITER 4029 NEW BEST:: SOT 28273 SOS 11916 HAS SOPS 11916 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4950.916
AT ITER 4036 NEW BEST:: SOT 28269 SOS 11908 HAS SOPS 11908 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4944.908
AT ITER 4126 NEW BEST:: SOT 28256 SOS 11871 HAS SOPS 11871 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4921.871
AT ITER 4127 NEW BEST:: SOT 28256 SOS 11871 HAS SOPS 11871 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4909.871
AT ITER 4128 NEW BEST:: SOT 28249 SOS 11881 HAS SOPS 11881 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4902.881
AT ITER 4134 NEW BEST:: SOT 28248 SOS 11880 HAS SOPS 11880 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4902.88
AT ITER 4156 NEW BEST:: SOT 28224 SOS 11856 HAS SOPS 11856 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4898.856
AT ITER 4202 NEW BEST:: SOT 28206 SOS 11820 HAS SOPS 11820 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4883.82
AT ITER 4234 NEW BEST:: SOT 28206 SOS 11820 HAS SOPS 11820 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4875.82
AT ITER 4254 NEW BEST:: SOT 28222 SOS 11836 HAS SOPS 11836 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4873.836
AT ITER 4301 NEW BEST:: SOT 28222 SOS 11836 HAS SOPS 11836 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4865.836
AT ITER 4313 NEW BEST:: SOT 28198 SOS 11906 HAS SOPS 11906 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4864.906
AT ITER 4355 NEW BEST:: SOT 28170 SOS 11878 HAS SOPS 11878 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4855.878
AT ITER 4392 NEW BEST:: SOT 28170 SOS 11800 HAS SOPS 11800 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4854.8
AT ITER 4400 NEW BEST:: SOT 28168 SOS 11798 HAS SOPS 11798 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4853.798
AT ITER 4443 NEW BEST:: SOT 28152 SOS 11783 HAS SOPS 11783 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4851.783
AT ITER 4449 NEW BEST:: SOT 28144 SOS 11763 HAS SOPS 11763 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4847.763
AT ITER 4453 NEW BEST:: SOT 28182 SOS 11759 HAS SOPS 11759 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4847.759
AT ITER 4464 NEW BEST:: SOT 28181 SOS 11757 HAS SOPS 11757 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4845.757
AT ITER 4470 NEW BEST:: SOT 28191 SOS 11767 HAS SOPS 11767 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4831.767
AT ITER 4473 NEW BEST:: SOT 28214 SOS 11756 HAS SOPS 11756 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4830.756
AT ITER 4522 NEW BEST:: SOT 28212 SOS 11754 HAS SOPS 11754 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4829.754
AT ITER 4528 NEW BEST:: SOT 28212 SOS 11742 HAS SOPS 11742 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4824.742
AT ITER 4559 NEW BEST:: SOT 28203 SOS 11733 HAS SOPS 11733 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4821.733
AT ITER 4583 NEW BEST:: SOT 28202 SOS 11716 HAS SOPS 11716 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4798.716
AT ITER 4585 NEW BEST:: SOT 28172 SOS 11685 HAS SOPS 11685 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4795.685
AT ITER 4605 NEW BEST:: SOT 28172 SOS 11685 HAS SOPS 11685 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4793.685
AT ITER 4631 NEW BEST:: SOT 28164 SOS 11677 HAS SOPS 11677 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4785.677
AT ITER 4695 NEW BEST:: SOT 28155 SOS 11662 HAS SOPS 11662 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4779.662
AT ITER 4736 NEW BEST:: SOT 28155 SOS 11662 HAS SOPS 11662 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4777.662
AT ITER 4769 NEW BEST:: SOT 28135 SOS 11612 HAS SOPS 11612 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4766.612
AT ITER 4784 NEW BEST:: SOT 28131 SOS 11608 HAS SOPS 11608 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4760.608
AT ITER 4816 NEW BEST:: SOT 28131 SOS 11617 HAS SOPS 11617 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4756.617
AT ITER 4896 NEW BEST:: SOT 28122 SOS 11588 HAS SOPS 11588 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4743.588
AT ITER 4923 NEW BEST:: SOT 28121 SOS 11587 HAS SOPS 11587 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4733.587
AT ITER 4925 NEW BEST:: SOT 28119 SOS 11610 HAS SOPS 11610 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4726.61
AT ITER 4930 NEW BEST:: SOT 28128 SOS 11608 HAS SOPS 11608 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4725.608
AT ITER 4970 NEW BEST:: SOT 28111 SOS 11606 HAS SOPS 11606 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4717.606
AT ITER 5005 NEW BEST:: SOT 28097 SOS 11551 HAS SOPS 11551 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4696.551
AT ITER 5031 NEW BEST:: SOT 28053 SOS 11500 HAS SOPS 11500 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4683.5
AT ITER 5046 NEW BEST:: SOT 28053 SOS 11497 HAS SOPS 11497 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4683.497
AT ITER 5060 NEW BEST:: SOT 28053 SOS 11496 HAS SOPS 11496 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4682.496
AT ITER 5113 NEW BEST:: SOT 28037 SOS 11480 HAS SOPS 11480 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4666.48
AT ITER 5120 NEW BEST:: SOT 28055 SOS 11498 HAS SOPS 11498 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4642.498
AT ITER 5124 NEW BEST:: SOT 28052 SOS 11492 HAS SOPS 11492 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4636.492
AT ITER 5125 NEW BEST:: SOT 28065 SOS 11476 HAS SOPS 11476 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4633.476
AT ITER 5152 NEW BEST:: SOT 28065 SOS 11476 HAS SOPS 11476 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4632.476
AT ITER 5171 NEW BEST:: SOT 28053 SOS 11464 HAS SOPS 11464 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4628.464
AT ITER 5278 NEW BEST:: SOT 27986 SOS 11449 HAS SOPS 11449 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4618.449
AT ITER 5288 NEW BEST:: SOT 27986 SOS 11449 HAS SOPS 11449 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4617.449
AT ITER 5314 NEW BEST:: SOT 27986 SOS 11441 HAS SOPS 11441 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4615.441
AT ITER 5372 NEW BEST:: SOT 27978 SOS 11433 HAS SOPS 11433 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4606.433
AT ITER 5496 NEW BEST:: SOT 27974 SOS 11429 HAS SOPS 11429 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4602.429
AT ITER 5510 NEW BEST:: SOT 28017 SOS 11467 HAS SOPS 11467 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4599.467
AT ITER 5555 NEW BEST:: SOT 28018 SOS 11466 HAS SOPS 11466 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4599.466
AT ITER 5575 NEW BEST:: SOT 28020 SOS 11474 HAS SOPS 11474 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4595.474
AT ITER 5596 NEW BEST:: SOT 28020 SOS 11465 HAS SOPS 11465 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4575.465
AT ITER 5627 NEW BEST:: SOT 28022 SOS 11467 HAS SOPS 11467 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4567.467
AT ITER 5709 NEW BEST:: SOT 28037 SOS 11489 HAS SOPS 11489 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4558.489
AT ITER 5734 NEW BEST:: SOT 28044 SOS 11488 HAS SOPS 11488 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4553.488
AT ITER 5983 NEW BEST:: SOT 28044 SOS 11473 HAS SOPS 11473 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4553.473
AT ITER 5990 NEW BEST:: SOT 28041 SOS 11476 HAS SOPS 11476 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4551.476
AT ITER 6001 NEW BEST:: SOT 28033 SOS 11488 HAS SOPS 11488 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4542.488
AT ITER 6011 NEW BEST:: SOT 28025 SOS 11480 HAS SOPS 11480 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4526.48
AT ITER 6012 NEW BEST:: SOT 28025 SOS 11480 HAS SOPS 11480 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4523.48
AT ITER 6038 NEW BEST:: SOT 28031 SOS 11498 HAS SOPS 11498 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4519.498
AT ITER 6065 NEW BEST:: SOT 28058 SOS 11500 HAS SOPS 11500 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4518.5
AT ITER 6116 NEW BEST:: SOT 28058 SOS 11500 HAS SOPS 11500 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4495.5
AT ITER 6127 NEW BEST:: SOT 28046 SOS 11492 HAS SOPS 11492 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4491.492
AT ITER 6199 NEW BEST:: SOT 28052 SOS 11488 HAS SOPS 11488 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4489.488
AT ITER 6248 NEW BEST:: SOT 28052 SOS 11488 HAS SOPS 11488 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4481.488
AT ITER 6259 NEW BEST:: SOT 28053 SOS 11489 HAS SOPS 11489 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4480.489
AT ITER 6284 NEW BEST:: SOT 28063 SOS 11499 HAS SOPS 11499 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4475.499
AT ITER 6312 NEW BEST:: SOT 28025 SOS 11461 HAS SOPS 11461 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4456.461
AT ITER 6379 NEW BEST:: SOT 28025 SOS 11453 HAS SOPS 11453 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4450.453
AT ITER 6394 NEW BEST:: SOT 28017 SOS 11445 HAS SOPS 11445 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4438.445
AT ITER 6446 NEW BEST:: SOT 28025 SOS 11452 HAS SOPS 11452 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4436.452
AT ITER 6467 NEW BEST:: SOT 28021 SOS 11444 HAS SOPS 11444 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4434.444
AT ITER 6514 NEW BEST:: SOT 28023 SOS 11446 HAS SOPS 11446 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4430.446
AT ITER 6556 NEW BEST:: SOT 28023 SOS 11443 HAS SOPS 11443 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4430.443
AT ITER 6620 NEW BEST:: SOT 28021 SOS 11466 HAS SOPS 11466 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4426.466
AT ITER 6692 NEW BEST:: SOT 28017 SOS 11469 HAS SOPS 11469 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4425.469
AT ITER 6711 NEW BEST:: SOT 27990 SOS 11492 HAS SOPS 11492 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4418.492
AT ITER 6741 NEW BEST:: SOT 27986 SOS 11488 HAS SOPS 11488 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4412.488
AT ITER 6818 NEW BEST:: SOT 27886 SOS 11466 HAS SOPS 11466 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4362.466
AT ITER 6852 NEW BEST:: SOT 27864 SOS 11546 HAS SOPS 11546 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4355.546
AT ITER 7124 NEW BEST:: SOT 27864 SOS 11546 HAS SOPS 11546 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4351.546
AT ITER 7155 NEW BEST:: SOT 27867 SOS 11527 HAS SOPS 11527 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4350.527
AT ITER 7258 NEW BEST:: SOT 27864 SOS 11506 HAS SOPS 11506 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4347.506
AT ITER 7285 NEW BEST:: SOT 27855 SOS 11478 HAS SOPS 11478 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4338.478
AT ITER 7385 NEW BEST:: SOT 27851 SOS 11474 HAS SOPS 11474 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4334.474
AT ITER 7428 NEW BEST:: SOT 27849 SOS 11490 HAS SOPS 11490 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4333.49
AT ITER 7430 NEW BEST:: SOT 27817 SOS 11458 HAS SOPS 11458 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4323.458
AT ITER 7461 NEW BEST:: SOT 27818 SOS 11459 HAS SOPS 11459 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4322.459
AT ITER 7544 NEW BEST:: SOT 27807 SOS 11448 HAS SOPS 11448 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4315.448
AT ITER 7554 NEW BEST:: SOT 27806 SOS 11449 HAS SOPS 11449 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4314.449
AT ITER 7622 NEW BEST:: SOT 27804 SOS 11443 HAS SOPS 11443 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4314.443
AT ITER 7656 NEW BEST:: SOT 27802 SOS 11437 HAS SOPS 11437 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4314.437
AT ITER 7677 NEW BEST:: SOT 27840 SOS 11435 HAS SOPS 11435 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4302.435
AT ITER 7745 NEW BEST:: SOT 27865 SOS 11460 HAS SOPS 11460 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4300.46
AT ITER 7819 NEW BEST:: SOT 27865 SOS 11460 HAS SOPS 11460 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4297.46
AT ITER 7897 NEW BEST:: SOT 27862 SOS 11457 HAS SOPS 11457 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4297.457
AT ITER 7927 NEW BEST:: SOT 27851 SOS 11447 HAS SOPS 11447 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4297.447
AT ITER 8000 NEW BEST:: SOT 27848 SOS 11429 HAS SOPS 11429 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4295.429
AT ITER 8260 NEW BEST:: SOT 27845 SOS 11419 HAS SOPS 11419 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4278.419
AT ITER 8397 NEW BEST:: SOT 27845 SOS 11419 HAS SOPS 11419 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4276.419
AT ITER 8417 NEW BEST:: SOT 27828 SOS 11400 HAS SOPS 11400 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4272.4
AT ITER 8466 NEW BEST:: SOT 27822 SOS 11392 HAS SOPS 11392 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4272.392
AT ITER 8518 NEW BEST:: SOT 27824 SOS 11395 HAS SOPS 11395 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4271.395
AT ITER 8633 NEW BEST:: SOT 27770 SOS 11527 HAS SOPS 11527 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4259.527
AT ITER 8643 NEW BEST:: SOT 27760 SOS 11517 HAS SOPS 11517 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4259.517
AT ITER 8720 NEW BEST:: SOT 27760 SOS 11517 HAS SOPS 11517 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4258.517
AT ITER 8831 NEW BEST:: SOT 27759 SOS 11524 HAS SOPS 11524 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4257.524
AT ITER 8851 NEW BEST:: SOT 27765 SOS 11515 HAS SOPS 11515 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4255.515
AT ITER 8988 NEW BEST:: SOT 27762 SOS 11507 HAS SOPS 11507 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4242.507
AT ITER 9021 NEW BEST:: SOT 27763 SOS 11502 HAS SOPS 11502 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4242.502
AT ITER 9055 NEW BEST:: SOT 27763 SOS 11506 HAS SOPS 11506 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4239.506
AT ITER 9190 NEW BEST:: SOT 27760 SOS 11503 HAS SOPS 11503 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4239.503
AT ITER 9196 NEW BEST:: SOT 27761 SOS 11478 HAS SOPS 11478 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4238.478
AT ITER 9211 NEW BEST:: SOT 27719 SOS 11605 HAS SOPS 11605 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4229.605
AT ITER 9283 NEW BEST:: SOT 27715 SOS 11595 HAS SOPS 11595 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4227.595
AT ITER 9326 NEW BEST:: SOT 27713 SOS 11585 HAS SOPS 11585 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4225.585
AT ITER 9448 NEW BEST:: SOT 27711 SOS 11583 HAS SOPS 11583 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4219.583
AT ITER 9519 NEW BEST:: SOT 27711 SOS 11580 HAS SOPS 11580 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4219.58
AT ITER 9578 NEW BEST:: SOT 27713 SOS 11534 HAS SOPS 11534 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4217.534
AT ITER 9589 NEW BEST:: SOT 27701 SOS 11532 HAS SOPS 11532 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4216.532
AT ITER 9732 NEW BEST:: SOT 27685 SOS 11477 HAS SOPS 11477 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4207.477
AT ITER 9785 NEW BEST:: SOT 27684 SOS 11478 HAS SOPS 11478 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4205.478
AT ITER 9811 NEW BEST:: SOT 27718 SOS 11481 HAS SOPS 11481 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4201.481
AT ITER 9898 NEW BEST:: SOT 27718 SOS 11480 HAS SOPS 11480 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4201.48
AT ITER 9923 NEW BEST:: SOT 27718 SOS 11434 HAS SOPS 11434 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4199.434
AT ITER 9986 NEW BEST:: SOT 27726 SOS 11448 HAS SOPS 11448 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4196.448
STATE_SPACE STATES 65585152 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 589934848 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679191992309

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is UtilityControlRoom-PT-Z4T4N04, 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 r483-tall-167912696701200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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