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.r363-smll-167891814300400.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 SemanticWebServices-PT-S128P12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814300400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 652K
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 10:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 10:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 10:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 10:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 224K 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 1679163732564

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=SemanticWebServices-PT-S128P12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 18:22:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 18:22:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 18:22:16] [INFO ] Load time of PNML (sax parser for PT used): 176 ms
[2023-03-18 18:22:16] [INFO ] Transformed 191 places.
[2023-03-18 18:22:16] [INFO ] Transformed 414 transitions.
[2023-03-18 18:22:16] [INFO ] Parsed PT model containing 191 places and 414 transitions and 1559 arcs in 338 ms.
[2023-03-18 18:22:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 191 places, 414 transitions and 1559 arcs took 15 ms.
Total runtime 422 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P12
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: 191 places, 414 transitions, 1559 arcs.
AT ITER 0 NEW BEST:: SOT 67994 SOS 44482 HAS SOPS 39582 HAS SOUS 17984 HAS SOUPS 16325 WITH SCORE 16369.482
AT ITER 3 NEW BEST:: SOT 67994 SOS 44512 HAS SOPS 39612 HAS SOUS 17949 HAS SOUPS 16290 WITH SCORE 16334.512
AT ITER 8 NEW BEST:: SOT 67994 SOS 44540 HAS SOPS 39556 HAS SOUS 17558 HAS SOUPS 15857 WITH SCORE 15901.54
AT ITER 9 NEW BEST:: SOT 68034 SOS 44514 HAS SOPS 39356 HAS SOUS 17550 HAS SOUPS 15762 WITH SCORE 15806.514
AT ITER 12 NEW BEST:: SOT 68094 SOS 44664 HAS SOPS 39506 HAS SOUS 17483 HAS SOUPS 15695 WITH SCORE 15739.664
AT ITER 14 NEW BEST:: SOT 68094 SOS 44310 HAS SOPS 39152 HAS SOUS 17479 HAS SOUPS 15691 WITH SCORE 15735.31
AT ITER 16 NEW BEST:: SOT 68094 SOS 44282 HAS SOPS 39152 HAS SOUS 17465 HAS SOUPS 15691 WITH SCORE 15735.282
AT ITER 18 NEW BEST:: SOT 68094 SOS 44296 HAS SOPS 39152 HAS SOUS 17349 HAS SOUPS 15568 WITH SCORE 15612.296
AT ITER 21 NEW BEST:: SOT 68094 SOS 44252 HAS SOPS 39152 HAS SOUS 17327 HAS SOUPS 15568 WITH SCORE 15612.252
AT ITER 22 NEW BEST:: SOT 68094 SOS 44244 HAS SOPS 39140 HAS SOUS 17329 HAS SOUPS 15568 WITH SCORE 15612.244
AT ITER 25 NEW BEST:: SOT 68094 SOS 44244 HAS SOPS 39140 HAS SOUS 17300 HAS SOUPS 15539 WITH SCORE 15583.244
AT ITER 32 NEW BEST:: SOT 68094 SOS 44234 HAS SOPS 39170 HAS SOUS 17300 HAS SOUPS 15539 WITH SCORE 15583.234
AT ITER 33 NEW BEST:: SOT 68094 SOS 44242 HAS SOPS 39076 HAS SOUS 17304 HAS SOUPS 15492 WITH SCORE 15536.242
AT ITER 39 NEW BEST:: SOT 68094 SOS 44192 HAS SOPS 39026 HAS SOUS 17268 HAS SOUPS 15456 WITH SCORE 15500.192
AT ITER 40 NEW BEST:: SOT 68094 SOS 44254 HAS SOPS 39026 HAS SOUS 17179 HAS SOUPS 15336 WITH SCORE 15380.254
AT ITER 49 NEW BEST:: SOT 68248 SOS 43190 HAS SOPS 37894 HAS SOUS 17154 HAS SOUPS 15277 WITH SCORE 15320.19
AT ITER 50 NEW BEST:: SOT 68248 SOS 43158 HAS SOPS 37866 HAS SOUS 17138 HAS SOUPS 15263 WITH SCORE 15306.158
AT ITER 53 NEW BEST:: SOT 68410 SOS 43054 HAS SOPS 37762 HAS SOUS 17105 HAS SOUPS 15230 WITH SCORE 15273.054
AT ITER 54 NEW BEST:: SOT 68410 SOS 43064 HAS SOPS 37772 HAS SOUS 17100 HAS SOUPS 15225 WITH SCORE 15268.064
AT ITER 58 NEW BEST:: SOT 68512 SOS 42788 HAS SOPS 37424 HAS SOUS 17077 HAS SOUPS 15166 WITH SCORE 15208.788
AT ITER 60 NEW BEST:: SOT 68696 SOS 42152 HAS SOPS 36788 HAS SOUS 16960 HAS SOUPS 15049 WITH SCORE 15091.152
AT ITER 61 NEW BEST:: SOT 68696 SOS 42084 HAS SOPS 36720 HAS SOUS 16926 HAS SOUPS 15015 WITH SCORE 15057.084
AT ITER 64 NEW BEST:: SOT 68672 SOS 41896 HAS SOPS 36532 HAS SOUS 16820 HAS SOUPS 14909 WITH SCORE 14950.896
AT ITER 67 NEW BEST:: SOT 68642 SOS 42556 HAS SOPS 37224 HAS SOUS 16800 HAS SOUPS 14905 WITH SCORE 14947.556
AT ITER 72 NEW BEST:: SOT 68506 SOS 42430 HAS SOPS 37098 HAS SOUS 16744 HAS SOUPS 14849 WITH SCORE 14891.43
AT ITER 83 NEW BEST:: SOT 68506 SOS 42164 HAS SOPS 36832 HAS SOUS 16583 HAS SOUPS 14688 WITH SCORE 14730.164
AT ITER 89 NEW BEST:: SOT 68506 SOS 42108 HAS SOPS 36776 HAS SOUS 16583 HAS SOUPS 14688 WITH SCORE 14730.108
AT ITER 94 NEW BEST:: SOT 68506 SOS 42102 HAS SOPS 36770 HAS SOUS 16580 HAS SOUPS 14685 WITH SCORE 14727.102
AT ITER 95 NEW BEST:: SOT 68506 SOS 41962 HAS SOPS 36574 HAS SOUS 16547 HAS SOUPS 14624 WITH SCORE 14665.962
AT ITER 98 NEW BEST:: SOT 68494 SOS 41950 HAS SOPS 36562 HAS SOUS 16488 HAS SOUPS 14565 WITH SCORE 14606.95
AT ITER 102 NEW BEST:: SOT 68494 SOS 41782 HAS SOPS 36394 HAS SOUS 16446 HAS SOUPS 14523 WITH SCORE 14564.782
AT ITER 103 NEW BEST:: SOT 68593 SOS 41643 HAS SOPS 36255 HAS SOUS 16341 HAS SOUPS 14418 WITH SCORE 14459.643
AT ITER 105 NEW BEST:: SOT 68593 SOS 41129 HAS SOPS 35741 HAS SOUS 16341 HAS SOUPS 14418 WITH SCORE 14459.129
AT ITER 111 NEW BEST:: SOT 68637 SOS 41431 HAS SOPS 36043 HAS SOUS 16291 HAS SOUPS 14368 WITH SCORE 14409.431
AT ITER 113 NEW BEST:: SOT 68637 SOS 41233 HAS SOPS 35845 HAS SOUS 16258 HAS SOUPS 14335 WITH SCORE 14376.233
AT ITER 116 NEW BEST:: SOT 68637 SOS 40743 HAS SOPS 35355 HAS SOUS 16055 HAS SOUPS 14132 WITH SCORE 14172.743
AT ITER 118 NEW BEST:: SOT 68637 SOS 40719 HAS SOPS 35331 HAS SOUS 16000 HAS SOUPS 14077 WITH SCORE 14117.719
AT ITER 120 NEW BEST:: SOT 68637 SOS 40677 HAS SOPS 35289 HAS SOUS 15873 HAS SOUPS 13950 WITH SCORE 13990.677
AT ITER 121 NEW BEST:: SOT 56121 SOS 35191 HAS SOPS 31985 HAS SOUS 10022 HAS SOUPS 9014 WITH SCORE 9049.191
AT ITER 123 NEW BEST:: SOT 55957 SOS 35027 HAS SOPS 31821 HAS SOUS 9996 HAS SOUPS 8988 WITH SCORE 9023.027
AT ITER 127 NEW BEST:: SOT 55927 SOS 34997 HAS SOPS 31797 HAS SOUS 9981 HAS SOUPS 8976 WITH SCORE 9010.997
AT ITER 128 NEW BEST:: SOT 55927 SOS 34961 HAS SOPS 31797 HAS SOUS 9963 HAS SOUPS 8976 WITH SCORE 9010.961
AT ITER 132 NEW BEST:: SOT 56071 SOS 34629 HAS SOPS 31465 HAS SOUS 9889 HAS SOUPS 8902 WITH SCORE 8936.629
AT ITER 138 NEW BEST:: SOT 56009 SOS 34567 HAS SOPS 31403 HAS SOUS 9827 HAS SOUPS 8840 WITH SCORE 8874.567
AT ITER 140 NEW BEST:: SOT 56095 SOS 34653 HAS SOPS 31489 HAS SOUS 9797 HAS SOUPS 8810 WITH SCORE 8844.653
AT ITER 142 NEW BEST:: SOT 56128 SOS 34743 HAS SOPS 31579 HAS SOUS 9793 HAS SOUPS 8806 WITH SCORE 8840.743
AT ITER 143 NEW BEST:: SOT 56074 SOS 34686 HAS SOPS 31522 HAS SOUS 9773 HAS SOUPS 8786 WITH SCORE 8820.686
AT ITER 144 NEW BEST:: SOT 55720 SOS 35220 HAS SOPS 32266 HAS SOUS 9628 HAS SOUPS 8711 WITH SCORE 8746.22
AT ITER 145 NEW BEST:: SOT 55720 SOS 35058 HAS SOPS 32030 HAS SOUS 9635 HAS SOUPS 8681 WITH SCORE 8716.058
AT ITER 147 NEW BEST:: SOT 56216 SOS 34742 HAS SOPS 31618 HAS SOUS 9474 HAS SOUPS 8472 WITH SCORE 8506.742
AT ITER 154 NEW BEST:: SOT 56500 SOS 34920 HAS SOPS 31796 HAS SOUS 9466 HAS SOUPS 8464 WITH SCORE 8498.92
AT ITER 159 NEW BEST:: SOT 56500 SOS 34724 HAS SOPS 31600 HAS SOUS 9466 HAS SOUPS 8464 WITH SCORE 8498.724
AT ITER 161 NEW BEST:: SOT 56490 SOS 34714 HAS SOPS 31590 HAS SOUS 9456 HAS SOUPS 8454 WITH SCORE 8488.714
AT ITER 163 NEW BEST:: SOT 56490 SOS 34546 HAS SOPS 31438 HAS SOUS 9410 HAS SOUPS 8416 WITH SCORE 8450.546
AT ITER 164 NEW BEST:: SOT 56418 SOS 34463 HAS SOPS 31355 HAS SOUS 9338 HAS SOUPS 8344 WITH SCORE 8378.463
AT ITER 166 NEW BEST:: SOT 56264 SOS 34309 HAS SOPS 31201 HAS SOUS 9292 HAS SOUPS 8298 WITH SCORE 8332.309
AT ITER 169 NEW BEST:: SOT 56264 SOS 34253 HAS SOPS 31155 HAS SOUS 9264 HAS SOUPS 8275 WITH SCORE 8309.253
AT ITER 172 NEW BEST:: SOT 56180 SOS 34169 HAS SOPS 31071 HAS SOUS 9242 HAS SOUPS 8253 WITH SCORE 8287.169
AT ITER 177 NEW BEST:: SOT 56018 SOS 34007 HAS SOPS 30909 HAS SOUS 9189 HAS SOUPS 8200 WITH SCORE 8234.007
AT ITER 181 NEW BEST:: SOT 56018 SOS 33753 HAS SOPS 30701 HAS SOUS 9166 HAS SOUPS 8200 WITH SCORE 8233.753
AT ITER 182 NEW BEST:: SOT 56018 SOS 33619 HAS SOPS 30701 HAS SOUS 9099 HAS SOUPS 8200 WITH SCORE 8233.619
AT ITER 184 NEW BEST:: SOT 56068 SOS 33669 HAS SOPS 30751 HAS SOUS 9049 HAS SOUPS 8150 WITH SCORE 8183.669
AT ITER 191 NEW BEST:: SOT 56068 SOS 33581 HAS SOPS 30707 HAS SOUS 9005 HAS SOUPS 8128 WITH SCORE 8161.581
AT ITER 199 NEW BEST:: SOT 56006 SOS 33519 HAS SOPS 30645 HAS SOUS 8968 HAS SOUPS 8091 WITH SCORE 8124.519
AT ITER 203 NEW BEST:: SOT 56142 SOS 33517 HAS SOPS 30643 HAS SOUS 8853 HAS SOUPS 7976 WITH SCORE 8009.517
AT ITER 204 NEW BEST:: SOT 56138 SOS 33501 HAS SOPS 30627 HAS SOUS 8851 HAS SOUPS 7974 WITH SCORE 8007.501
AT ITER 206 NEW BEST:: SOT 55836 SOS 34503 HAS SOPS 30371 HAS SOUS 8963 HAS SOUPS 7946 WITH SCORE 7980.503
AT ITER 209 NEW BEST:: SOT 55522 SOS 34211 HAS SOPS 30057 HAS SOUS 8932 HAS SOUPS 7893 WITH SCORE 7927.211
AT ITER 216 NEW BEST:: SOT 55203 SOS 33901 HAS SOPS 29747 HAS SOUS 8872 HAS SOUPS 7833 WITH SCORE 7866.901
AT ITER 219 NEW BEST:: SOT 55203 SOS 33811 HAS SOPS 29657 HAS SOUS 8872 HAS SOUPS 7833 WITH SCORE 7866.811
AT ITER 223 NEW BEST:: SOT 55199 SOS 33803 HAS SOPS 29649 HAS SOUS 8864 HAS SOUPS 7825 WITH SCORE 7858.803
AT ITER 227 NEW BEST:: SOT 54879 SOS 33501 HAS SOPS 29347 HAS SOUS 8762 HAS SOUPS 7723 WITH SCORE 7756.501
AT ITER 237 NEW BEST:: SOT 54879 SOS 33501 HAS SOPS 29347 HAS SOUS 8742 HAS SOUPS 7703 WITH SCORE 7736.501
AT ITER 250 NEW BEST:: SOT 54693 SOS 33315 HAS SOPS 29161 HAS SOUS 8649 HAS SOUPS 7610 WITH SCORE 7643.315
AT ITER 251 NEW BEST:: SOT 54849 SOS 33417 HAS SOPS 29263 HAS SOUS 8540 HAS SOUPS 7501 WITH SCORE 7534.417
AT ITER 262 NEW BEST:: SOT 54845 SOS 33413 HAS SOPS 29259 HAS SOUS 8537 HAS SOUPS 7498 WITH SCORE 7531.413
AT ITER 267 NEW BEST:: SOT 53957 SOS 32599 HAS SOPS 28445 HAS SOUS 8221 HAS SOUPS 7182 WITH SCORE 7214.599
AT ITER 274 NEW BEST:: SOT 53787 SOS 32487 HAS SOPS 28309 HAS SOUS 8183 HAS SOUPS 7132 WITH SCORE 7164.487
AT ITER 280 NEW BEST:: SOT 53787 SOS 32427 HAS SOPS 28277 HAS SOUS 8169 HAS SOUPS 7132 WITH SCORE 7164.427
AT ITER 289 NEW BEST:: SOT 53957 SOS 32387 HAS SOPS 28237 HAS SOUS 8134 HAS SOUPS 7097 WITH SCORE 7129.387
AT ITER 296 NEW BEST:: SOT 53857 SOS 32287 HAS SOPS 28137 HAS SOUS 8047 HAS SOUPS 7010 WITH SCORE 7042.287
AT ITER 298 NEW BEST:: SOT 53839 SOS 32269 HAS SOPS 28119 HAS SOUS 8029 HAS SOUPS 6992 WITH SCORE 7024.269
AT ITER 299 NEW BEST:: SOT 53639 SOS 32069 HAS SOPS 27919 HAS SOUS 8023 HAS SOUPS 6986 WITH SCORE 7018.069
AT ITER 300 NEW BEST:: SOT 53605 SOS 32035 HAS SOPS 27885 HAS SOUS 8001 HAS SOUPS 6964 WITH SCORE 6996.035
AT ITER 313 NEW BEST:: SOT 53617 SOS 31909 HAS SOPS 27759 HAS SOUS 7981 HAS SOUPS 6944 WITH SCORE 6975.909
AT ITER 323 NEW BEST:: SOT 53617 SOS 31903 HAS SOPS 27759 HAS SOUS 7978 HAS SOUPS 6944 WITH SCORE 6975.903
AT ITER 327 NEW BEST:: SOT 53617 SOS 31896 HAS SOPS 27752 HAS SOUS 7977 HAS SOUPS 6943 WITH SCORE 6974.896
AT ITER 329 NEW BEST:: SOT 53617 SOS 31940 HAS SOPS 27750 HAS SOUS 7999 HAS SOUPS 6942 WITH SCORE 6973.94
AT ITER 337 NEW BEST:: SOT 53677 SOS 32000 HAS SOPS 27810 HAS SOUS 7994 HAS SOUPS 6937 WITH SCORE 6969.0
AT ITER 341 NEW BEST:: SOT 53677 SOS 32000 HAS SOPS 27810 HAS SOUS 7989 HAS SOUPS 6932 WITH SCORE 6964.0
AT ITER 343 NEW BEST:: SOT 53657 SOS 31980 HAS SOPS 27790 HAS SOUS 7985 HAS SOUPS 6928 WITH SCORE 6959.98
AT ITER 344 NEW BEST:: SOT 53657 SOS 31926 HAS SOPS 27736 HAS SOUS 7958 HAS SOUPS 6901 WITH SCORE 6932.926
AT ITER 346 NEW BEST:: SOT 53652 SOS 32024 HAS SOPS 27834 HAS SOUS 7953 HAS SOUPS 6896 WITH SCORE 6928.024
AT ITER 353 NEW BEST:: SOT 53542 SOS 31914 HAS SOPS 27724 HAS SOUS 7934 HAS SOUPS 6877 WITH SCORE 6908.914
AT ITER 356 NEW BEST:: SOT 53542 SOS 31910 HAS SOPS 27696 HAS SOUS 7946 HAS SOUPS 6877 WITH SCORE 6908.91
AT ITER 361 NEW BEST:: SOT 53510 SOS 31822 HAS SOPS 27608 HAS SOUS 7911 HAS SOUPS 6842 WITH SCORE 6873.822
AT ITER 364 NEW BEST:: SOT 53524 SOS 31836 HAS SOPS 27622 HAS SOUS 7895 HAS SOUPS 6826 WITH SCORE 6857.836
AT ITER 369 NEW BEST:: SOT 53448 SOS 31760 HAS SOPS 27546 HAS SOUS 7872 HAS SOUPS 6803 WITH SCORE 6834.76
AT ITER 371 NEW BEST:: SOT 52823 SOS 31488 HAS SOPS 27274 HAS SOUS 7744 HAS SOUPS 6675 WITH SCORE 6706.488
AT ITER 375 NEW BEST:: SOT 52823 SOS 31232 HAS SOPS 26964 HAS SOUS 7705 HAS SOUPS 6609 WITH SCORE 6640.232
AT ITER 378 NEW BEST:: SOT 52827 SOS 31236 HAS SOPS 26968 HAS SOUS 7699 HAS SOUPS 6603 WITH SCORE 6634.236
AT ITER 379 NEW BEST:: SOT 52713 SOS 31122 HAS SOPS 26854 HAS SOUS 7709 HAS SOUPS 6584 WITH SCORE 6615.122
AT ITER 386 NEW BEST:: SOT 52713 SOS 31164 HAS SOPS 26830 HAS SOUS 7730 HAS SOUPS 6572 WITH SCORE 6603.164
AT ITER 387 NEW BEST:: SOT 52713 SOS 30704 HAS SOPS 26334 HAS SOUS 7728 HAS SOUPS 6552 WITH SCORE 6582.704
AT ITER 389 NEW BEST:: SOT 52713 SOS 30608 HAS SOPS 26238 HAS SOUS 7688 HAS SOUPS 6512 WITH SCORE 6542.608
AT ITER 390 NEW BEST:: SOT 52729 SOS 30624 HAS SOPS 26254 HAS SOUS 7680 HAS SOUPS 6504 WITH SCORE 6534.624
AT ITER 391 NEW BEST:: SOT 52729 SOS 30600 HAS SOPS 26230 HAS SOUS 7668 HAS SOUPS 6492 WITH SCORE 6522.6
AT ITER 398 NEW BEST:: SOT 52773 SOS 30644 HAS SOPS 26274 HAS SOUS 7660 HAS SOUPS 6484 WITH SCORE 6514.644
AT ITER 418 NEW BEST:: SOT 52559 SOS 30148 HAS SOPS 26060 HAS SOUS 7472 HAS SOUPS 6361 WITH SCORE 6391.148
AT ITER 420 NEW BEST:: SOT 52527 SOS 30116 HAS SOPS 26028 HAS SOUS 7448 HAS SOUPS 6337 WITH SCORE 6367.116
AT ITER 423 NEW BEST:: SOT 52479 SOS 29994 HAS SOPS 25980 HAS SOUS 7435 HAS SOUPS 6324 WITH SCORE 6353.994
AT ITER 446 NEW BEST:: SOT 52479 SOS 29980 HAS SOPS 25980 HAS SOUS 7441 HAS SOUPS 6324 WITH SCORE 6353.98
AT ITER 448 NEW BEST:: SOT 52501 SOS 29624 HAS SOPS 25624 HAS SOUS 7238 HAS SOUPS 6121 WITH SCORE 6150.624
AT ITER 450 NEW BEST:: SOT 52499 SOS 29622 HAS SOPS 25622 HAS SOUS 7237 HAS SOUPS 6120 WITH SCORE 6149.622
AT ITER 452 NEW BEST:: SOT 52499 SOS 29594 HAS SOPS 25622 HAS SOUS 7223 HAS SOUPS 6120 WITH SCORE 6149.594
AT ITER 454 NEW BEST:: SOT 52411 SOS 29574 HAS SOPS 25602 HAS SOUS 7223 HAS SOUPS 6120 WITH SCORE 6149.574
AT ITER 469 NEW BEST:: SOT 52411 SOS 29556 HAS SOPS 25584 HAS SOUS 7205 HAS SOUPS 6111 WITH SCORE 6140.556
AT ITER 474 NEW BEST:: SOT 52411 SOS 29550 HAS SOPS 25584 HAS SOUS 7202 HAS SOUPS 6111 WITH SCORE 6140.55
AT ITER 481 NEW BEST:: SOT 52363 SOS 29602 HAS SOPS 25636 HAS SOUS 7170 HAS SOUPS 6079 WITH SCORE 6108.602
AT ITER 492 NEW BEST:: SOT 52629 SOS 29620 HAS SOPS 25654 HAS SOUS 7169 HAS SOUPS 6078 WITH SCORE 6107.62
AT ITER 497 NEW BEST:: SOT 52529 SOS 29471 HAS SOPS 25505 HAS SOUS 7079 HAS SOUPS 5988 WITH SCORE 6017.471
AT ITER 504 NEW BEST:: SOT 52529 SOS 29369 HAS SOPS 25403 HAS SOUS 7061 HAS SOUPS 5970 WITH SCORE 5999.369
AT ITER 505 NEW BEST:: SOT 52503 SOS 29343 HAS SOPS 25377 HAS SOUS 7053 HAS SOUPS 5962 WITH SCORE 5991.343
AT ITER 508 NEW BEST:: SOT 52501 SOS 29341 HAS SOPS 25375 HAS SOUS 7041 HAS SOUPS 5950 WITH SCORE 5979.341
AT ITER 509 NEW BEST:: SOT 52501 SOS 29327 HAS SOPS 25375 HAS SOUS 7034 HAS SOUPS 5950 WITH SCORE 5979.327
AT ITER 519 NEW BEST:: SOT 52501 SOS 29209 HAS SOPS 25257 HAS SOUS 7027 HAS SOUPS 5943 WITH SCORE 5972.209
AT ITER 525 NEW BEST:: SOT 52493 SOS 29109 HAS SOPS 25249 HAS SOUS 6973 HAS SOUPS 5935 WITH SCORE 5964.109
AT ITER 528 NEW BEST:: SOT 52493 SOS 29099 HAS SOPS 25239 HAS SOUS 6968 HAS SOUPS 5930 WITH SCORE 5959.099
AT ITER 541 NEW BEST:: SOT 52493 SOS 29083 HAS SOPS 25239 HAS SOUS 6960 HAS SOUPS 5930 WITH SCORE 5959.083
AT ITER 544 NEW BEST:: SOT 52419 SOS 29009 HAS SOPS 25165 HAS SOUS 6834 HAS SOUPS 5804 WITH SCORE 5833.009
AT ITER 549 NEW BEST:: SOT 52419 SOS 28993 HAS SOPS 25149 HAS SOUS 6826 HAS SOUPS 5796 WITH SCORE 5824.993
AT ITER 554 NEW BEST:: SOT 52419 SOS 28959 HAS SOPS 25137 HAS SOUS 6815 HAS SOUPS 5796 WITH SCORE 5824.959
AT ITER 555 NEW BEST:: SOT 52419 SOS 28931 HAS SOPS 25107 HAS SOUS 6781 HAS SOUPS 5781 WITH SCORE 5809.931
AT ITER 559 NEW BEST:: SOT 52391 SOS 28827 HAS SOPS 25065 HAS SOUS 6729 HAS SOUPS 5760 WITH SCORE 5788.827
AT ITER 580 NEW BEST:: SOT 52391 SOS 28561 HAS SOPS 24799 HAS SOUS 6710 HAS SOUPS 5741 WITH SCORE 5769.561
AT ITER 585 NEW BEST:: SOT 52369 SOS 28539 HAS SOPS 24777 HAS SOUS 6680 HAS SOUPS 5711 WITH SCORE 5739.539
AT ITER 591 NEW BEST:: SOT 52369 SOS 28463 HAS SOPS 24701 HAS SOUS 6680 HAS SOUPS 5711 WITH SCORE 5739.463
AT ITER 593 NEW BEST:: SOT 52369 SOS 28463 HAS SOPS 24701 HAS SOUS 6652 HAS SOUPS 5683 WITH SCORE 5711.463
AT ITER 597 NEW BEST:: SOT 52369 SOS 28501 HAS SOPS 24681 HAS SOUS 6671 HAS SOUPS 5673 WITH SCORE 5701.501
AT ITER 610 NEW BEST:: SOT 52369 SOS 28567 HAS SOPS 24683 HAS SOUS 6689 HAS SOUPS 5659 WITH SCORE 5687.567
AT ITER 618 NEW BEST:: SOT 52369 SOS 28567 HAS SOPS 24703 HAS SOUS 6678 HAS SOUPS 5658 WITH SCORE 5686.567
AT ITER 620 NEW BEST:: SOT 52401 SOS 28599 HAS SOPS 24735 HAS SOUS 6670 HAS SOUPS 5650 WITH SCORE 5678.599
AT ITER 624 NEW BEST:: SOT 52383 SOS 28465 HAS SOPS 24607 HAS SOUS 6588 HAS SOUPS 5571 WITH SCORE 5599.465
AT ITER 634 NEW BEST:: SOT 52383 SOS 28465 HAS SOPS 24607 HAS SOUS 6555 HAS SOUPS 5538 WITH SCORE 5566.465
AT ITER 640 NEW BEST:: SOT 52383 SOS 28441 HAS SOPS 24561 HAS SOUS 6543 HAS SOUPS 5515 WITH SCORE 5543.441
AT ITER 641 NEW BEST:: SOT 52355 SOS 28413 HAS SOPS 24533 HAS SOUS 6543 HAS SOUPS 5515 WITH SCORE 5543.413
AT ITER 646 NEW BEST:: SOT 52355 SOS 28329 HAS SOPS 24471 HAS SOUS 6522 HAS SOUPS 5505 WITH SCORE 5533.329
AT ITER 648 NEW BEST:: SOT 52359 SOS 28257 HAS SOPS 25375 HAS SOUS 6455 HAS SOUPS 5499 WITH SCORE 5527.257
AT ITER 658 NEW BEST:: SOT 52359 SOS 28251 HAS SOPS 25369 HAS SOUS 6452 HAS SOUPS 5496 WITH SCORE 5524.251
AT ITER 659 NEW BEST:: SOT 52385 SOS 28277 HAS SOPS 25395 HAS SOUS 6426 HAS SOUPS 5470 WITH SCORE 5498.277
AT ITER 671 NEW BEST:: SOT 52385 SOS 28121 HAS SOPS 25239 HAS SOUS 6426 HAS SOUPS 5470 WITH SCORE 5498.121
AT ITER 676 NEW BEST:: SOT 52365 SOS 28101 HAS SOPS 25219 HAS SOUS 6416 HAS SOUPS 5460 WITH SCORE 5488.101
AT ITER 699 NEW BEST:: SOT 52391 SOS 28127 HAS SOPS 25245 HAS SOUS 6315 HAS SOUPS 5359 WITH SCORE 5387.127
AT ITER 704 NEW BEST:: SOT 52391 SOS 28129 HAS SOPS 25223 HAS SOUS 6316 HAS SOUPS 5348 WITH SCORE 5376.129
AT ITER 726 NEW BEST:: SOT 52391 SOS 28129 HAS SOPS 25223 HAS SOUS 6314 HAS SOUPS 5346 WITH SCORE 5374.129
AT ITER 732 NEW BEST:: SOT 52391 SOS 28087 HAS SOPS 25181 HAS SOUS 6314 HAS SOUPS 5346 WITH SCORE 5374.087
AT ITER 751 NEW BEST:: SOT 52357 SOS 28053 HAS SOPS 25147 HAS SOUS 6299 HAS SOUPS 5331 WITH SCORE 5359.053
AT ITER 771 NEW BEST:: SOT 52387 SOS 28083 HAS SOPS 25177 HAS SOUS 6282 HAS SOUPS 5314 WITH SCORE 5342.083
AT ITER 788 NEW BEST:: SOT 52387 SOS 28073 HAS SOPS 25175 HAS SOUS 6276 HAS SOUPS 5313 WITH SCORE 5341.073
AT ITER 810 NEW BEST:: SOT 52387 SOS 28049 HAS SOPS 25169 HAS SOUS 6264 HAS SOUPS 5310 WITH SCORE 5338.049
AT ITER 812 NEW BEST:: SOT 52387 SOS 28013 HAS SOPS 25125 HAS SOUS 6246 HAS SOUPS 5288 WITH SCORE 5316.013
AT ITER 813 NEW BEST:: SOT 52276 SOS 27904 HAS SOPS 25056 HAS SOUS 6224 HAS SOUPS 5286 WITH SCORE 5313.904
AT ITER 835 NEW BEST:: SOT 52276 SOS 27860 HAS SOPS 25028 HAS SOUS 6202 HAS SOUPS 5272 WITH SCORE 5299.86
AT ITER 837 NEW BEST:: SOT 52246 SOS 27830 HAS SOPS 24998 HAS SOUS 6196 HAS SOUPS 5266 WITH SCORE 5293.83
AT ITER 842 NEW BEST:: SOT 52174 SOS 27758 HAS SOPS 24926 HAS SOUS 6174 HAS SOUPS 5244 WITH SCORE 5271.758
AT ITER 851 NEW BEST:: SOT 51972 SOS 27556 HAS SOPS 24724 HAS SOUS 6170 HAS SOUPS 5240 WITH SCORE 5267.556
AT ITER 872 NEW BEST:: SOT 52034 SOS 27618 HAS SOPS 24786 HAS SOUS 6169 HAS SOUPS 5239 WITH SCORE 5266.618
AT ITER 876 NEW BEST:: SOT 52034 SOS 27578 HAS SOPS 24754 HAS SOUS 6165 HAS SOUPS 5239 WITH SCORE 5266.578
AT ITER 883 NEW BEST:: SOT 52034 SOS 27578 HAS SOPS 24750 HAS SOUS 6163 HAS SOUPS 5237 WITH SCORE 5264.578
AT ITER 885 NEW BEST:: SOT 52034 SOS 27332 HAS SOPS 24504 HAS SOUS 6204 HAS SOUPS 5237 WITH SCORE 5264.332
AT ITER 905 NEW BEST:: SOT 52000 SOS 27298 HAS SOPS 24470 HAS SOUS 6194 HAS SOUPS 5227 WITH SCORE 5254.298
AT ITER 917 NEW BEST:: SOT 51970 SOS 27268 HAS SOPS 24440 HAS SOUS 6193 HAS SOUPS 5226 WITH SCORE 5253.268
AT ITER 933 NEW BEST:: SOT 51876 SOS 27174 HAS SOPS 24346 HAS SOUS 6189 HAS SOUPS 5222 WITH SCORE 5249.174
AT ITER 937 NEW BEST:: SOT 51876 SOS 27116 HAS SOPS 24288 HAS SOUS 6131 HAS SOUPS 5193 WITH SCORE 5220.116
AT ITER 952 NEW BEST:: SOT 51876 SOS 27112 HAS SOPS 24278 HAS SOUS 6129 HAS SOUPS 5188 WITH SCORE 5215.112
AT ITER 959 NEW BEST:: SOT 51876 SOS 26984 HAS SOPS 24150 HAS SOUS 6129 HAS SOUPS 5188 WITH SCORE 5214.984
AT ITER 963 NEW BEST:: SOT 51876 SOS 26982 HAS SOPS 24148 HAS SOUS 6128 HAS SOUPS 5187 WITH SCORE 5213.982
AT ITER 965 NEW BEST:: SOT 51876 SOS 27162 HAS SOPS 23230 HAS SOUS 6192 HAS SOUPS 5129 WITH SCORE 5156.162
AT ITER 981 NEW BEST:: SOT 51876 SOS 27078 HAS SOPS 23204 HAS SOUS 6150 HAS SOUPS 5116 WITH SCORE 5143.078
AT ITER 993 NEW BEST:: SOT 51876 SOS 27074 HAS SOPS 23198 HAS SOUS 6144 HAS SOUPS 5113 WITH SCORE 5140.074
AT ITER 1007 NEW BEST:: SOT 51880 SOS 27002 HAS SOPS 23126 HAS SOUS 6135 HAS SOUPS 5104 WITH SCORE 5131.002
AT ITER 1012 NEW BEST:: SOT 51870 SOS 26928 HAS SOPS 23116 HAS SOUS 6093 HAS SOUPS 5094 WITH SCORE 5120.928
AT ITER 1022 NEW BEST:: SOT 51870 SOS 26924 HAS SOPS 23114 HAS SOUS 6091 HAS SOUPS 5093 WITH SCORE 5119.924
AT ITER 1039 NEW BEST:: SOT 51774 SOS 26828 HAS SOPS 23018 HAS SOUS 6088 HAS SOUPS 5090 WITH SCORE 5116.828
AT ITER 1041 NEW BEST:: SOT 51774 SOS 26854 HAS SOPS 23012 HAS SOUS 6101 HAS SOUPS 5087 WITH SCORE 5113.854
AT ITER 1045 NEW BEST:: SOT 51756 SOS 26836 HAS SOPS 22994 HAS SOUS 6100 HAS SOUPS 5086 WITH SCORE 5112.836
AT ITER 1053 NEW BEST:: SOT 51731 SOS 26770 HAS SOPS 22928 HAS SOUS 6082 HAS SOUPS 5068 WITH SCORE 5094.77
AT ITER 1058 NEW BEST:: SOT 51727 SOS 26766 HAS SOPS 22924 HAS SOUS 6080 HAS SOUPS 5066 WITH SCORE 5092.766
AT ITER 1065 NEW BEST:: SOT 51727 SOS 26760 HAS SOPS 22914 HAS SOUS 6070 HAS SOUPS 5061 WITH SCORE 5087.76
AT ITER 1068 NEW BEST:: SOT 51725 SOS 26758 HAS SOPS 22912 HAS SOUS 6069 HAS SOUPS 5060 WITH SCORE 5086.758
AT ITER 1069 NEW BEST:: SOT 51493 SOS 27186 HAS SOPS 23480 HAS SOUS 5959 HAS SOUPS 4993 WITH SCORE 5020.186
AT ITER 1078 NEW BEST:: SOT 51493 SOS 27162 HAS SOPS 23480 HAS SOUS 5947 HAS SOUPS 4993 WITH SCORE 5020.162
AT ITER 1081 NEW BEST:: SOT 51493 SOS 27206 HAS SOPS 23480 HAS SOUS 5910 HAS SOUPS 4985 WITH SCORE 5012.206
AT ITER 1135 NEW BEST:: SOT 51493 SOS 27190 HAS SOPS 23480 HAS SOUS 5902 HAS SOUPS 4985 WITH SCORE 5012.19
AT ITER 1140 NEW BEST:: SOT 51463 SOS 27160 HAS SOPS 23450 HAS SOUS 5897 HAS SOUPS 4980 WITH SCORE 5007.16
AT ITER 1151 NEW BEST:: SOT 49827 SOS 37042 HAS SOPS 35466 HAS SOUS 5131 HAS SOUPS 4812 WITH SCORE 4849.042
AT ITER 1156 NEW BEST:: SOT 49853 SOS 37066 HAS SOPS 35492 HAS SOUS 5118 HAS SOUPS 4800 WITH SCORE 4837.066
AT ITER 1157 NEW BEST:: SOT 49893 SOS 35894 HAS SOPS 34112 HAS SOUS 5134 HAS SOUPS 4760 WITH SCORE 4795.894
AT ITER 1161 NEW BEST:: SOT 49851 SOS 35852 HAS SOPS 34070 HAS SOUS 5113 HAS SOUPS 4739 WITH SCORE 4774.852
AT ITER 1163 NEW BEST:: SOT 49829 SOS 35830 HAS SOPS 34048 HAS SOUS 5110 HAS SOUPS 4736 WITH SCORE 4771.83
AT ITER 1165 NEW BEST:: SOT 49825 SOS 35826 HAS SOPS 34044 HAS SOUS 5073 HAS SOUPS 4699 WITH SCORE 4734.826
AT ITER 1182 NEW BEST:: SOT 49449 SOS 35494 HAS SOPS 33712 HAS SOUS 4973 HAS SOUPS 4599 WITH SCORE 4634.494
AT ITER 1186 NEW BEST:: SOT 49449 SOS 35456 HAS SOPS 33674 HAS SOUS 4954 HAS SOUPS 4580 WITH SCORE 4615.456
AT ITER 1192 NEW BEST:: SOT 49454 SOS 35276 HAS SOPS 33684 HAS SOUS 4953 HAS SOUPS 4579 WITH SCORE 4614.276
AT ITER 1198 NEW BEST:: SOT 49450 SOS 35272 HAS SOPS 33680 HAS SOUS 4930 HAS SOUPS 4556 WITH SCORE 4591.272
AT ITER 1206 NEW BEST:: SOT 49412 SOS 35250 HAS SOPS 33658 HAS SOUS 4920 HAS SOUPS 4546 WITH SCORE 4581.25
AT ITER 1213 NEW BEST:: SOT 49422 SOS 35260 HAS SOPS 33668 HAS SOUS 4910 HAS SOUPS 4536 WITH SCORE 4571.26
AT ITER 1245 NEW BEST:: SOT 49412 SOS 35250 HAS SOPS 33658 HAS SOUS 4906 HAS SOUPS 4532 WITH SCORE 4567.25
AT ITER 1256 NEW BEST:: SOT 49890 SOS 35835 HAS SOPS 34243 HAS SOUS 4893 HAS SOUPS 4519 WITH SCORE 4554.835
AT ITER 1258 NEW BEST:: SOT 49876 SOS 35821 HAS SOPS 34229 HAS SOUS 4872 HAS SOUPS 4498 WITH SCORE 4533.821
AT ITER 1273 NEW BEST:: SOT 49832 SOS 35724 HAS SOPS 34132 HAS SOUS 4863 HAS SOUPS 4489 WITH SCORE 4524.724
AT ITER 1275 NEW BEST:: SOT 49881 SOS 35838 HAS SOPS 34246 HAS SOUS 4837 HAS SOUPS 4463 WITH SCORE 4498.838
AT ITER 1285 NEW BEST:: SOT 49873 SOS 35830 HAS SOPS 34238 HAS SOUS 4835 HAS SOUPS 4461 WITH SCORE 4496.83
AT ITER 1286 NEW BEST:: SOT 49858 SOS 35815 HAS SOPS 34223 HAS SOUS 4830 HAS SOUPS 4456 WITH SCORE 4491.815
AT ITER 1322 NEW BEST:: SOT 49838 SOS 35795 HAS SOPS 34211 HAS SOUS 4820 HAS SOUPS 4450 WITH SCORE 4485.795
AT ITER 1329 NEW BEST:: SOT 50092 SOS 36049 HAS SOPS 34465 HAS SOUS 4754 HAS SOUPS 4384 WITH SCORE 4420.049
AT ITER 1337 NEW BEST:: SOT 50092 SOS 36013 HAS SOPS 34447 HAS SOUS 4736 HAS SOUPS 4375 WITH SCORE 4411.013
AT ITER 1381 NEW BEST:: SOT 49862 SOS 35770 HAS SOPS 34204 HAS SOUS 4693 HAS SOUPS 4332 WITH SCORE 4367.77
AT ITER 1385 NEW BEST:: SOT 49866 SOS 35775 HAS SOPS 34209 HAS SOUS 4692 HAS SOUPS 4331 WITH SCORE 4366.775
AT ITER 1399 NEW BEST:: SOT 49866 SOS 35775 HAS SOPS 34209 HAS SOUS 4691 HAS SOUPS 4330 WITH SCORE 4365.775
AT ITER 1404 NEW BEST:: SOT 49866 SOS 35775 HAS SOPS 34209 HAS SOUS 4685 HAS SOUPS 4324 WITH SCORE 4359.775
AT ITER 1416 NEW BEST:: SOT 50049 SOS 35958 HAS SOPS 34392 HAS SOUS 4640 HAS SOUPS 4279 WITH SCORE 4314.958
AT ITER 1425 NEW BEST:: SOT 50049 SOS 35940 HAS SOPS 34368 HAS SOUS 4631 HAS SOUPS 4267 WITH SCORE 4302.94
AT ITER 1435 NEW BEST:: SOT 50067 SOS 35958 HAS SOPS 34386 HAS SOUS 4625 HAS SOUPS 4261 WITH SCORE 4296.958
AT ITER 1442 NEW BEST:: SOT 50068 SOS 35940 HAS SOPS 34386 HAS SOUS 4624 HAS SOUPS 4261 WITH SCORE 4296.94
AT ITER 1446 NEW BEST:: SOT 50056 SOS 35928 HAS SOPS 34374 HAS SOUS 4612 HAS SOUPS 4249 WITH SCORE 4284.928
AT ITER 1450 NEW BEST:: SOT 50056 SOS 35928 HAS SOPS 34374 HAS SOUS 4594 HAS SOUPS 4231 WITH SCORE 4266.928
AT ITER 1458 NEW BEST:: SOT 50024 SOS 35896 HAS SOPS 34342 HAS SOUS 4593 HAS SOUPS 4230 WITH SCORE 4265.896
AT ITER 1463 NEW BEST:: SOT 50024 SOS 35822 HAS SOPS 34292 HAS SOUS 4543 HAS SOUPS 4205 WITH SCORE 4240.822
AT ITER 1478 NEW BEST:: SOT 49946 SOS 35744 HAS SOPS 34214 HAS SOUS 4512 HAS SOUPS 4174 WITH SCORE 4209.744
AT ITER 1483 NEW BEST:: SOT 49962 SOS 35760 HAS SOPS 34230 HAS SOUS 4507 HAS SOUPS 4169 WITH SCORE 4204.76
AT ITER 1488 NEW BEST:: SOT 50008 SOS 35806 HAS SOPS 34276 HAS SOUS 4506 HAS SOUPS 4168 WITH SCORE 4203.806
AT ITER 1492 NEW BEST:: SOT 49988 SOS 35786 HAS SOPS 34256 HAS SOUS 4496 HAS SOUPS 4158 WITH SCORE 4193.786
AT ITER 1501 NEW BEST:: SOT 49950 SOS 35748 HAS SOPS 34218 HAS SOUS 4478 HAS SOUPS 4140 WITH SCORE 4175.748
AT ITER 1523 NEW BEST:: SOT 49908 SOS 35706 HAS SOPS 34176 HAS SOUS 4472 HAS SOUPS 4134 WITH SCORE 4169.706
AT ITER 1528 NEW BEST:: SOT 49844 SOS 35642 HAS SOPS 34112 HAS SOUS 4467 HAS SOUPS 4129 WITH SCORE 4164.642
AT ITER 1537 NEW BEST:: SOT 49790 SOS 35588 HAS SOPS 34058 HAS SOUS 4465 HAS SOUPS 4127 WITH SCORE 4162.588
AT ITER 1575 NEW BEST:: SOT 49922 SOS 35720 HAS SOPS 34190 HAS SOUS 4462 HAS SOUPS 4124 WITH SCORE 4159.72
AT ITER 1590 NEW BEST:: SOT 49922 SOS 35720 HAS SOPS 34190 HAS SOUS 4457 HAS SOUPS 4119 WITH SCORE 4154.72
AT ITER 1602 NEW BEST:: SOT 49854 SOS 35650 HAS SOPS 34122 HAS SOUS 4382 HAS SOUPS 4057 WITH SCORE 4092.65
AT ITER 1611 NEW BEST:: SOT 49854 SOS 35638 HAS SOPS 34122 HAS SOUS 4386 HAS SOUPS 4057 WITH SCORE 4092.638
AT ITER 1633 NEW BEST:: SOT 49856 SOS 35640 HAS SOPS 34124 HAS SOUS 4379 HAS SOUPS 4050 WITH SCORE 4085.64
AT ITER 1637 NEW BEST:: SOT 49856 SOS 35640 HAS SOPS 34124 HAS SOUS 4378 HAS SOUPS 4049 WITH SCORE 4084.64
AT ITER 1645 NEW BEST:: SOT 49852 SOS 35636 HAS SOPS 34120 HAS SOUS 4377 HAS SOUPS 4048 WITH SCORE 4083.636
AT ITER 1665 NEW BEST:: SOT 49850 SOS 35635 HAS SOPS 34119 HAS SOUS 4377 HAS SOUPS 4048 WITH SCORE 4083.635
AT ITER 1668 NEW BEST:: SOT 49848 SOS 35633 HAS SOPS 34117 HAS SOUS 4375 HAS SOUPS 4046 WITH SCORE 4081.633
AT ITER 1690 NEW BEST:: SOT 49818 SOS 35603 HAS SOPS 34087 HAS SOUS 4351 HAS SOUPS 4022 WITH SCORE 4057.603
AT ITER 1696 NEW BEST:: SOT 49782 SOS 35567 HAS SOPS 34051 HAS SOUS 4344 HAS SOUPS 4015 WITH SCORE 4050.567
AT ITER 1698 NEW BEST:: SOT 49744 SOS 35537 HAS SOPS 34043 HAS SOUS 4329 HAS SOUPS 4011 WITH SCORE 4046.537
AT ITER 1709 NEW BEST:: SOT 49787 SOS 35580 HAS SOPS 34086 HAS SOUS 4323 HAS SOUPS 4005 WITH SCORE 4040.58
AT ITER 1716 NEW BEST:: SOT 49747 SOS 35540 HAS SOPS 34046 HAS SOUS 4315 HAS SOUPS 3997 WITH SCORE 4032.54
AT ITER 1722 NEW BEST:: SOT 49747 SOS 35522 HAS SOPS 34046 HAS SOUS 4306 HAS SOUPS 3997 WITH SCORE 4032.522
AT ITER 1732 NEW BEST:: SOT 49725 SOS 35526 HAS SOPS 34050 HAS SOUS 4296 HAS SOUPS 3987 WITH SCORE 4022.526
AT ITER 1751 NEW BEST:: SOT 49699 SOS 35500 HAS SOPS 34024 HAS SOUS 4283 HAS SOUPS 3974 WITH SCORE 4009.5
AT ITER 1796 NEW BEST:: SOT 49675 SOS 35450 HAS SOPS 33974 HAS SOUS 4271 HAS SOUPS 3962 WITH SCORE 3997.45
AT ITER 1799 NEW BEST:: SOT 49681 SOS 35396 HAS SOPS 33980 HAS SOUS 4240 HAS SOUPS 3961 WITH SCORE 3996.396
AT ITER 1820 NEW BEST:: SOT 49681 SOS 35396 HAS SOPS 33980 HAS SOUS 4238 HAS SOUPS 3959 WITH SCORE 3994.396
AT ITER 1822 NEW BEST:: SOT 49647 SOS 35362 HAS SOPS 33946 HAS SOUS 4221 HAS SOUPS 3942 WITH SCORE 3977.362
AT ITER 1852 NEW BEST:: SOT 49641 SOS 35347 HAS SOPS 33931 HAS SOUS 4215 HAS SOUPS 3936 WITH SCORE 3971.347
AT ITER 1857 NEW BEST:: SOT 49611 SOS 35317 HAS SOPS 33901 HAS SOUS 4211 HAS SOUPS 3932 WITH SCORE 3967.317
AT ITER 1869 NEW BEST:: SOT 49605 SOS 35311 HAS SOPS 33895 HAS SOUS 4205 HAS SOUPS 3926 WITH SCORE 3961.311
AT ITER 1874 NEW BEST:: SOT 49577 SOS 35283 HAS SOPS 33867 HAS SOUS 4191 HAS SOUPS 3912 WITH SCORE 3947.283
AT ITER 1884 NEW BEST:: SOT 49544 SOS 35245 HAS SOPS 33829 HAS SOUS 4184 HAS SOUPS 3905 WITH SCORE 3940.245
AT ITER 1904 NEW BEST:: SOT 49576 SOS 35277 HAS SOPS 33861 HAS SOUS 4167 HAS SOUPS 3888 WITH SCORE 3923.277
AT ITER 1928 NEW BEST:: SOT 49576 SOS 35285 HAS SOPS 33855 HAS SOUS 4171 HAS SOUPS 3885 WITH SCORE 3920.285
AT ITER 1941 NEW BEST:: SOT 49564 SOS 35273 HAS SOPS 33843 HAS SOUS 4165 HAS SOUPS 3879 WITH SCORE 3914.273
AT ITER 1949 NEW BEST:: SOT 49554 SOS 35263 HAS SOPS 33833 HAS SOUS 4160 HAS SOUPS 3874 WITH SCORE 3909.263
AT ITER 1954 NEW BEST:: SOT 49522 SOS 35239 HAS SOPS 33801 HAS SOUS 4148 HAS SOUPS 3858 WITH SCORE 3893.239
AT ITER 1956 NEW BEST:: SOT 49520 SOS 35237 HAS SOPS 33799 HAS SOUS 4147 HAS SOUPS 3857 WITH SCORE 3892.237
AT ITER 1980 NEW BEST:: SOT 49520 SOS 35237 HAS SOPS 33791 HAS SOUS 4147 HAS SOUPS 3853 WITH SCORE 3888.237
AT ITER 1982 NEW BEST:: SOT 49482 SOS 35199 HAS SOPS 33753 HAS SOUS 4145 HAS SOUPS 3851 WITH SCORE 3886.199
AT ITER 1993 NEW BEST:: SOT 49551 SOS 35272 HAS SOPS 33826 HAS SOUS 4080 HAS SOUPS 3786 WITH SCORE 3821.272
AT ITER 2006 NEW BEST:: SOT 49561 SOS 35276 HAS SOPS 33812 HAS SOUS 4082 HAS SOUPS 3779 WITH SCORE 3814.276
AT ITER 2033 NEW BEST:: SOT 49561 SOS 35276 HAS SOPS 33812 HAS SOUS 4063 HAS SOUPS 3760 WITH SCORE 3795.276
AT ITER 2039 NEW BEST:: SOT 49511 SOS 35226 HAS SOPS 33762 HAS SOUS 4038 HAS SOUPS 3735 WITH SCORE 3770.226
AT ITER 2067 NEW BEST:: SOT 49493 SOS 35208 HAS SOPS 33744 HAS SOUS 4038 HAS SOUPS 3735 WITH SCORE 3770.208
AT ITER 2075 NEW BEST:: SOT 49481 SOS 35196 HAS SOPS 33732 HAS SOUS 4036 HAS SOUPS 3733 WITH SCORE 3768.196
AT ITER 2076 NEW BEST:: SOT 49469 SOS 35184 HAS SOPS 33720 HAS SOUS 4032 HAS SOUPS 3729 WITH SCORE 3764.184
AT ITER 2084 NEW BEST:: SOT 49419 SOS 35162 HAS SOPS 33698 HAS SOUS 4022 HAS SOUPS 3719 WITH SCORE 3754.162
AT ITER 2100 NEW BEST:: SOT 49329 SOS 35072 HAS SOPS 33608 HAS SOUS 4020 HAS SOUPS 3717 WITH SCORE 3752.072
AT ITER 2121 NEW BEST:: SOT 49391 SOS 35134 HAS SOPS 33670 HAS SOUS 4011 HAS SOUPS 3708 WITH SCORE 3743.134
AT ITER 2163 NEW BEST:: SOT 49389 SOS 35132 HAS SOPS 33668 HAS SOUS 4009 HAS SOUPS 3706 WITH SCORE 3741.132
AT ITER 2195 NEW BEST:: SOT 49301 SOS 35070 HAS SOPS 33580 HAS SOUS 3971 HAS SOUPS 3655 WITH SCORE 3690.07
AT ITER 2198 NEW BEST:: SOT 49296 SOS 35047 HAS SOPS 33557 HAS SOUS 3961 HAS SOUPS 3645 WITH SCORE 3680.047
AT ITER 2226 NEW BEST:: SOT 49296 SOS 35047 HAS SOPS 33557 HAS SOUS 3959 HAS SOUPS 3643 WITH SCORE 3678.047
AT ITER 2227 NEW BEST:: SOT 49297 SOS 35048 HAS SOPS 33558 HAS SOUS 3958 HAS SOUPS 3642 WITH SCORE 3677.048
AT ITER 2232 NEW BEST:: SOT 49299 SOS 35050 HAS SOPS 33560 HAS SOUS 3955 HAS SOUPS 3639 WITH SCORE 3674.05
AT ITER 2238 NEW BEST:: SOT 49109 SOS 34860 HAS SOPS 33370 HAS SOUS 3954 HAS SOUPS 3638 WITH SCORE 3672.86
AT ITER 2240 NEW BEST:: SOT 49109 SOS 34860 HAS SOPS 33370 HAS SOUS 3938 HAS SOUPS 3622 WITH SCORE 3656.86
AT ITER 2247 NEW BEST:: SOT 49037 SOS 34788 HAS SOPS 33298 HAS SOUS 3931 HAS SOUPS 3615 WITH SCORE 3649.788
AT ITER 2250 NEW BEST:: SOT 49025 SOS 34776 HAS SOPS 33286 HAS SOUS 3900 HAS SOUPS 3584 WITH SCORE 3618.776
AT ITER 2251 NEW BEST:: SOT 49019 SOS 34770 HAS SOPS 33280 HAS SOUS 3898 HAS SOUPS 3582 WITH SCORE 3616.77
AT ITER 2277 NEW BEST:: SOT 48975 SOS 34726 HAS SOPS 33236 HAS SOUS 3876 HAS SOUPS 3560 WITH SCORE 3594.726
AT ITER 2295 NEW BEST:: SOT 48915 SOS 34614 HAS SOPS 33162 HAS SOUS 3798 HAS SOUPS 3501 WITH SCORE 3535.614
AT ITER 2296 NEW BEST:: SOT 48891 SOS 34590 HAS SOPS 33138 HAS SOUS 3767 HAS SOUPS 3470 WITH SCORE 3504.59
AT ITER 2311 NEW BEST:: SOT 48879 SOS 34578 HAS SOPS 33126 HAS SOUS 3767 HAS SOUPS 3470 WITH SCORE 3504.578
AT ITER 2315 NEW BEST:: SOT 48879 SOS 34560 HAS SOPS 33126 HAS SOUS 3758 HAS SOUPS 3470 WITH SCORE 3504.56
AT ITER 2331 NEW BEST:: SOT 48879 SOS 34560 HAS SOPS 33114 HAS SOUS 3758 HAS SOUPS 3464 WITH SCORE 3498.56
AT ITER 2341 NEW BEST:: SOT 48871 SOS 34552 HAS SOPS 33106 HAS SOUS 3741 HAS SOUPS 3447 WITH SCORE 3481.552
AT ITER 2348 NEW BEST:: SOT 48865 SOS 34564 HAS SOPS 33118 HAS SOUS 3735 HAS SOUPS 3441 WITH SCORE 3475.564
AT ITER 2354 NEW BEST:: SOT 48787 SOS 34486 HAS SOPS 33040 HAS SOUS 3729 HAS SOUPS 3435 WITH SCORE 3469.486
AT ITER 2357 NEW BEST:: SOT 48763 SOS 34450 HAS SOPS 33004 HAS SOUS 3702 HAS SOUPS 3408 WITH SCORE 3442.45
AT ITER 2431 NEW BEST:: SOT 48757 SOS 34626 HAS SOPS 32992 HAS SOUS 3708 HAS SOUPS 3405 WITH SCORE 3439.626
AT ITER 2478 NEW BEST:: SOT 48751 SOS 34620 HAS SOPS 32986 HAS SOUS 3702 HAS SOUPS 3399 WITH SCORE 3433.62
AT ITER 2485 NEW BEST:: SOT 48707 SOS 34576 HAS SOPS 32948 HAS SOUS 3680 HAS SOUPS 3380 WITH SCORE 3414.576
AT ITER 2489 NEW BEST:: SOT 48707 SOS 34576 HAS SOPS 32942 HAS SOUS 3680 HAS SOUPS 3377 WITH SCORE 3411.576
AT ITER 2538 NEW BEST:: SOT 48725 SOS 34594 HAS SOPS 32960 HAS SOUS 3671 HAS SOUPS 3368 WITH SCORE 3402.594
AT ITER 2543 NEW BEST:: SOT 48717 SOS 34586 HAS SOPS 32952 HAS SOUS 3667 HAS SOUPS 3364 WITH SCORE 3398.586
AT ITER 2547 NEW BEST:: SOT 48713 SOS 34582 HAS SOPS 32948 HAS SOUS 3667 HAS SOUPS 3364 WITH SCORE 3398.582
AT ITER 2571 NEW BEST:: SOT 48653 SOS 34522 HAS SOPS 32888 HAS SOUS 3655 HAS SOUPS 3352 WITH SCORE 3386.522
AT ITER 2615 NEW BEST:: SOT 48655 SOS 34524 HAS SOPS 32890 HAS SOUS 3650 HAS SOUPS 3347 WITH SCORE 3381.524
AT ITER 2621 NEW BEST:: SOT 48655 SOS 34520 HAS SOPS 32886 HAS SOUS 3648 HAS SOUPS 3345 WITH SCORE 3379.52
AT ITER 2625 NEW BEST:: SOT 48593 SOS 34459 HAS SOPS 32825 HAS SOUS 3643 HAS SOUPS 3340 WITH SCORE 3374.459
AT ITER 2626 NEW BEST:: SOT 48592 SOS 34464 HAS SOPS 32830 HAS SOUS 3641 HAS SOUPS 3338 WITH SCORE 3372.464
AT ITER 2631 NEW BEST:: SOT 48592 SOS 34456 HAS SOPS 32826 HAS SOUS 3637 HAS SOUPS 3336 WITH SCORE 3370.456
AT ITER 2639 NEW BEST:: SOT 48592 SOS 34434 HAS SOPS 32822 HAS SOUS 3626 HAS SOUPS 3334 WITH SCORE 3368.434
AT ITER 2654 NEW BEST:: SOT 48592 SOS 34432 HAS SOPS 32822 HAS SOUS 3626 HAS SOUPS 3334 WITH SCORE 3368.432
AT ITER 2655 NEW BEST:: SOT 48587 SOS 34427 HAS SOPS 32817 HAS SOUS 3621 HAS SOUPS 3329 WITH SCORE 3363.427
AT ITER 2658 NEW BEST:: SOT 48587 SOS 34405 HAS SOPS 32809 HAS SOUS 3610 HAS SOUPS 3325 WITH SCORE 3359.405
AT ITER 2661 NEW BEST:: SOT 48587 SOS 34405 HAS SOPS 32809 HAS SOUS 3577 HAS SOUPS 3292 WITH SCORE 3326.405
AT ITER 2669 NEW BEST:: SOT 48617 SOS 34435 HAS SOPS 32839 HAS SOUS 3539 HAS SOUPS 3254 WITH SCORE 3288.435
AT ITER 2699 NEW BEST:: SOT 48615 SOS 34433 HAS SOPS 32837 HAS SOUS 3536 HAS SOUPS 3251 WITH SCORE 3285.433
AT ITER 2718 NEW BEST:: SOT 48593 SOS 34411 HAS SOPS 32815 HAS SOUS 3525 HAS SOUPS 3240 WITH SCORE 3274.411
AT ITER 2720 NEW BEST:: SOT 48597 SOS 34415 HAS SOPS 32819 HAS SOUS 3518 HAS SOUPS 3233 WITH SCORE 3267.415
AT ITER 2721 NEW BEST:: SOT 48593 SOS 34391 HAS SOPS 32795 HAS SOUS 3492 HAS SOUPS 3217 WITH SCORE 3251.391
AT ITER 2803 NEW BEST:: SOT 48713 SOS 34511 HAS SOPS 32915 HAS SOUS 3479 HAS SOUPS 3204 WITH SCORE 3238.511
AT ITER 2807 NEW BEST:: SOT 48739 SOS 34537 HAS SOPS 32941 HAS SOUS 3472 HAS SOUPS 3197 WITH SCORE 3231.537
AT ITER 2814 NEW BEST:: SOT 48715 SOS 34513 HAS SOPS 32917 HAS SOUS 3454 HAS SOUPS 3179 WITH SCORE 3213.513
AT ITER 2828 NEW BEST:: SOT 48713 SOS 34511 HAS SOPS 32915 HAS SOUS 3445 HAS SOUPS 3170 WITH SCORE 3204.511
AT ITER 2864 NEW BEST:: SOT 48709 SOS 34507 HAS SOPS 32911 HAS SOUS 3444 HAS SOUPS 3169 WITH SCORE 3203.507
AT ITER 2865 NEW BEST:: SOT 48701 SOS 34499 HAS SOPS 32903 HAS SOUS 3443 HAS SOUPS 3168 WITH SCORE 3202.499
AT ITER 2918 NEW BEST:: SOT 48706 SOS 34509 HAS SOPS 32913 HAS SOUS 3442 HAS SOUPS 3167 WITH SCORE 3201.509
AT ITER 2951 NEW BEST:: SOT 48718 SOS 34521 HAS SOPS 32925 HAS SOUS 3441 HAS SOUPS 3166 WITH SCORE 3200.521
AT ITER 2953 NEW BEST:: SOT 48703 SOS 34506 HAS SOPS 32910 HAS SOUS 3441 HAS SOUPS 3166 WITH SCORE 3200.506
AT ITER 2961 NEW BEST:: SOT 48715 SOS 34518 HAS SOPS 32922 HAS SOUS 3439 HAS SOUPS 3164 WITH SCORE 3198.518
AT ITER 2991 NEW BEST:: SOT 48723 SOS 34526 HAS SOPS 32930 HAS SOUS 3438 HAS SOUPS 3163 WITH SCORE 3197.526
AT ITER 3042 NEW BEST:: SOT 48735 SOS 34538 HAS SOPS 32942 HAS SOUS 3426 HAS SOUPS 3151 WITH SCORE 3185.538
AT ITER 3053 NEW BEST:: SOT 48690 SOS 34493 HAS SOPS 32897 HAS SOUS 3415 HAS SOUPS 3140 WITH SCORE 3174.493
AT ITER 3070 NEW BEST:: SOT 48694 SOS 34497 HAS SOPS 32901 HAS SOUS 3414 HAS SOUPS 3139 WITH SCORE 3173.497
AT ITER 3090 NEW BEST:: SOT 48716 SOS 34519 HAS SOPS 32923 HAS SOUS 3406 HAS SOUPS 3131 WITH SCORE 3165.519
AT ITER 3129 NEW BEST:: SOT 48602 SOS 34405 HAS SOPS 32809 HAS SOUS 3390 HAS SOUPS 3115 WITH SCORE 3149.405
AT ITER 3138 NEW BEST:: SOT 48602 SOS 34401 HAS SOPS 32803 HAS SOUS 3388 HAS SOUPS 3112 WITH SCORE 3146.401
AT ITER 3145 NEW BEST:: SOT 48596 SOS 34395 HAS SOPS 32797 HAS SOUS 3379 HAS SOUPS 3103 WITH SCORE 3137.395
AT ITER 3147 NEW BEST:: SOT 48302 SOS 38859 HAS SOPS 37961 HAS SOUS 3232 HAS SOUPS 3096 WITH SCORE 3134.859
AT ITER 3148 NEW BEST:: SOT 48302 SOS 38859 HAS SOPS 37961 HAS SOUS 3231 HAS SOUPS 3095 WITH SCORE 3133.859
AT ITER 3155 NEW BEST:: SOT 48360 SOS 39027 HAS SOPS 38129 HAS SOUS 3230 HAS SOUPS 3094 WITH SCORE 3133.027
AT ITER 3167 NEW BEST:: SOT 48360 SOS 39039 HAS SOPS 38117 HAS SOUS 3236 HAS SOUPS 3088 WITH SCORE 3127.039
AT ITER 3183 NEW BEST:: SOT 48360 SOS 39039 HAS SOPS 38117 HAS SOUS 3234 HAS SOUPS 3086 WITH SCORE 3125.039
AT ITER 3185 NEW BEST:: SOT 48308 SOS 38987 HAS SOPS 38065 HAS SOUS 3182 HAS SOUPS 3034 WITH SCORE 3072.987
AT ITER 3259 NEW BEST:: SOT 48308 SOS 38983 HAS SOPS 38065 HAS SOUS 3176 HAS SOUPS 3030 WITH SCORE 3068.983
AT ITER 3281 NEW BEST:: SOT 48232 SOS 38907 HAS SOPS 37989 HAS SOUS 3138 HAS SOUPS 2992 WITH SCORE 3030.907
AT ITER 3305 NEW BEST:: SOT 48210 SOS 38885 HAS SOPS 37967 HAS SOUS 3131 HAS SOUPS 2985 WITH SCORE 3023.885
AT ITER 3328 NEW BEST:: SOT 48168 SOS 38843 HAS SOPS 37925 HAS SOUS 3122 HAS SOUPS 2976 WITH SCORE 3014.843
AT ITER 3337 NEW BEST:: SOT 48152 SOS 38827 HAS SOPS 37909 HAS SOUS 3111 HAS SOUPS 2965 WITH SCORE 3003.827
AT ITER 3362 NEW BEST:: SOT 48138 SOS 38813 HAS SOPS 37895 HAS SOUS 3104 HAS SOUPS 2958 WITH SCORE 2996.813
AT ITER 3397 NEW BEST:: SOT 48132 SOS 38807 HAS SOPS 37889 HAS SOUS 3104 HAS SOUPS 2958 WITH SCORE 2996.807
AT ITER 3402 NEW BEST:: SOT 48130 SOS 38805 HAS SOPS 37887 HAS SOUS 3102 HAS SOUPS 2956 WITH SCORE 2994.805
AT ITER 3415 NEW BEST:: SOT 48060 SOS 38735 HAS SOPS 37817 HAS SOUS 3087 HAS SOUPS 2941 WITH SCORE 2979.735
AT ITER 3460 NEW BEST:: SOT 48060 SOS 38735 HAS SOPS 37817 HAS SOUS 3084 HAS SOUPS 2938 WITH SCORE 2976.735
AT ITER 3465 NEW BEST:: SOT 48092 SOS 38767 HAS SOPS 37849 HAS SOUS 3031 HAS SOUPS 2885 WITH SCORE 2923.767
AT ITER 3469 NEW BEST:: SOT 48088 SOS 38763 HAS SOPS 37845 HAS SOUS 3027 HAS SOUPS 2881 WITH SCORE 2919.763
AT ITER 3481 NEW BEST:: SOT 48084 SOS 38759 HAS SOPS 37841 HAS SOUS 3023 HAS SOUPS 2877 WITH SCORE 2915.759
AT ITER 3484 NEW BEST:: SOT 48004 SOS 38679 HAS SOPS 37761 HAS SOUS 3003 HAS SOUPS 2857 WITH SCORE 2895.679
AT ITER 3494 NEW BEST:: SOT 47986 SOS 38661 HAS SOPS 37743 HAS SOUS 2997 HAS SOUPS 2851 WITH SCORE 2889.661
AT ITER 3513 NEW BEST:: SOT 47990 SOS 38665 HAS SOPS 37747 HAS SOUS 2993 HAS SOUPS 2847 WITH SCORE 2885.665
AT ITER 3531 NEW BEST:: SOT 47954 SOS 38629 HAS SOPS 37711 HAS SOUS 2993 HAS SOUPS 2847 WITH SCORE 2885.629
AT ITER 3533 NEW BEST:: SOT 47954 SOS 38625 HAS SOPS 37711 HAS SOUS 2993 HAS SOUPS 2847 WITH SCORE 2885.625
AT ITER 3541 NEW BEST:: SOT 47952 SOS 38623 HAS SOPS 37709 HAS SOUS 2992 HAS SOUPS 2846 WITH SCORE 2884.623
AT ITER 3566 NEW BEST:: SOT 47952 SOS 38623 HAS SOPS 37709 HAS SOUS 2984 HAS SOUPS 2838 WITH SCORE 2876.623
AT ITER 3593 NEW BEST:: SOT 47886 SOS 38557 HAS SOPS 37643 HAS SOUS 2967 HAS SOUPS 2821 WITH SCORE 2859.557
AT ITER 3607 NEW BEST:: SOT 47900 SOS 38571 HAS SOPS 37657 HAS SOUS 2964 HAS SOUPS 2818 WITH SCORE 2856.571
AT ITER 3670 NEW BEST:: SOT 47900 SOS 38571 HAS SOPS 37657 HAS SOUS 2963 HAS SOUPS 2817 WITH SCORE 2855.571
AT ITER 3671 NEW BEST:: SOT 47906 SOS 38577 HAS SOPS 37663 HAS SOUS 2960 HAS SOUPS 2814 WITH SCORE 2852.577
AT ITER 3673 NEW BEST:: SOT 47898 SOS 38569 HAS SOPS 37655 HAS SOUS 2958 HAS SOUPS 2812 WITH SCORE 2850.569
AT ITER 3750 NEW BEST:: SOT 47898 SOS 38569 HAS SOPS 37655 HAS SOUS 2956 HAS SOUPS 2810 WITH SCORE 2848.569
AT ITER 3751 NEW BEST:: SOT 47884 SOS 38555 HAS SOPS 37641 HAS SOUS 2956 HAS SOUPS 2810 WITH SCORE 2848.555
AT ITER 3772 NEW BEST:: SOT 47880 SOS 38551 HAS SOPS 37637 HAS SOUS 2955 HAS SOUPS 2809 WITH SCORE 2847.551
AT ITER 3798 NEW BEST:: SOT 47873 SOS 38544 HAS SOPS 37630 HAS SOUS 2949 HAS SOUPS 2803 WITH SCORE 2841.544
AT ITER 3803 NEW BEST:: SOT 47837 SOS 38508 HAS SOPS 37594 HAS SOUS 2927 HAS SOUPS 2781 WITH SCORE 2819.508
AT ITER 3809 NEW BEST:: SOT 47833 SOS 38504 HAS SOPS 37590 HAS SOUS 2925 HAS SOUPS 2779 WITH SCORE 2817.504
AT ITER 3841 NEW BEST:: SOT 47757 SOS 38384 HAS SOPS 37470 HAS SOUS 2893 HAS SOUPS 2747 WITH SCORE 2785.384
AT ITER 3879 NEW BEST:: SOT 47769 SOS 38396 HAS SOPS 37482 HAS SOUS 2886 HAS SOUPS 2740 WITH SCORE 2778.396
AT ITER 3899 NEW BEST:: SOT 47767 SOS 38394 HAS SOPS 37480 HAS SOUS 2880 HAS SOUPS 2734 WITH SCORE 2772.394
AT ITER 3911 NEW BEST:: SOT 47767 SOS 38394 HAS SOPS 37480 HAS SOUS 2875 HAS SOUPS 2729 WITH SCORE 2767.394
AT ITER 3913 NEW BEST:: SOT 47757 SOS 38384 HAS SOPS 37470 HAS SOUS 2865 HAS SOUPS 2719 WITH SCORE 2757.384
AT ITER 3915 NEW BEST:: SOT 47771 SOS 38398 HAS SOPS 37484 HAS SOUS 2863 HAS SOUPS 2717 WITH SCORE 2755.398
AT ITER 3974 NEW BEST:: SOT 47749 SOS 38376 HAS SOPS 37462 HAS SOUS 2863 HAS SOUPS 2717 WITH SCORE 2755.376
AT ITER 3977 NEW BEST:: SOT 47823 SOS 38450 HAS SOPS 37536 HAS SOUS 2860 HAS SOUPS 2714 WITH SCORE 2752.45
AT ITER 3980 NEW BEST:: SOT 47823 SOS 38450 HAS SOPS 37536 HAS SOUS 2858 HAS SOUPS 2712 WITH SCORE 2750.45
AT ITER 4022 NEW BEST:: SOT 47821 SOS 38448 HAS SOPS 37534 HAS SOUS 2856 HAS SOUPS 2710 WITH SCORE 2748.448
AT ITER 4029 NEW BEST:: SOT 47801 SOS 38428 HAS SOPS 37514 HAS SOUS 2844 HAS SOUPS 2698 WITH SCORE 2736.428
AT ITER 4051 NEW BEST:: SOT 47787 SOS 38428 HAS SOPS 37514 HAS SOUS 2830 HAS SOUPS 2684 WITH SCORE 2722.428
AT ITER 4093 NEW BEST:: SOT 47785 SOS 38426 HAS SOPS 37512 HAS SOUS 2826 HAS SOUPS 2680 WITH SCORE 2718.426
AT ITER 4103 NEW BEST:: SOT 47779 SOS 38420 HAS SOPS 37506 HAS SOUS 2822 HAS SOUPS 2676 WITH SCORE 2714.42
AT ITER 4114 NEW BEST:: SOT 47765 SOS 38406 HAS SOPS 37492 HAS SOUS 2819 HAS SOUPS 2673 WITH SCORE 2711.406
AT ITER 4133 NEW BEST:: SOT 47765 SOS 38382 HAS SOPS 37468 HAS SOUS 2819 HAS SOUPS 2673 WITH SCORE 2711.382
AT ITER 4149 NEW BEST:: SOT 47759 SOS 38376 HAS SOPS 37462 HAS SOUS 2819 HAS SOUPS 2673 WITH SCORE 2711.376
AT ITER 4174 NEW BEST:: SOT 47751 SOS 38368 HAS SOPS 37454 HAS SOUS 2803 HAS SOUPS 2657 WITH SCORE 2695.368
AT ITER 4225 NEW BEST:: SOT 47749 SOS 38366 HAS SOPS 37452 HAS SOUS 2801 HAS SOUPS 2655 WITH SCORE 2693.366
AT ITER 4291 NEW BEST:: SOT 47743 SOS 38360 HAS SOPS 37446 HAS SOUS 2795 HAS SOUPS 2649 WITH SCORE 2687.36
AT ITER 4316 NEW BEST:: SOT 47731 SOS 38348 HAS SOPS 37434 HAS SOUS 2787 HAS SOUPS 2641 WITH SCORE 2679.348
AT ITER 4354 NEW BEST:: SOT 47730 SOS 38337 HAS SOPS 37429 HAS SOUS 2782 HAS SOUPS 2639 WITH SCORE 2677.337
AT ITER 4404 NEW BEST:: SOT 47716 SOS 38307 HAS SOPS 37399 HAS SOUS 2780 HAS SOUPS 2637 WITH SCORE 2675.307
AT ITER 4417 NEW BEST:: SOT 47716 SOS 38307 HAS SOPS 37399 HAS SOUS 2778 HAS SOUPS 2635 WITH SCORE 2673.307
AT ITER 4479 NEW BEST:: SOT 47704 SOS 38295 HAS SOPS 37387 HAS SOUS 2776 HAS SOUPS 2633 WITH SCORE 2671.295
AT ITER 4505 NEW BEST:: SOT 47696 SOS 38287 HAS SOPS 37379 HAS SOUS 2772 HAS SOUPS 2629 WITH SCORE 2667.287
AT ITER 4541 NEW BEST:: SOT 47694 SOS 38285 HAS SOPS 37377 HAS SOUS 2768 HAS SOUPS 2625 WITH SCORE 2663.285
AT ITER 4586 NEW BEST:: SOT 47694 SOS 38271 HAS SOPS 37371 HAS SOUS 2766 HAS SOUPS 2622 WITH SCORE 2660.271
AT ITER 4609 NEW BEST:: SOT 47688 SOS 38265 HAS SOPS 37365 HAS SOUS 2763 HAS SOUPS 2619 WITH SCORE 2657.265
AT ITER 4653 NEW BEST:: SOT 47704 SOS 38281 HAS SOPS 37381 HAS SOUS 2759 HAS SOUPS 2615 WITH SCORE 2653.281
AT ITER 4654 NEW BEST:: SOT 47690 SOS 38267 HAS SOPS 37367 HAS SOUS 2753 HAS SOUPS 2609 WITH SCORE 2647.267
AT ITER 4720 NEW BEST:: SOT 47688 SOS 38265 HAS SOPS 37365 HAS SOUS 2752 HAS SOUPS 2608 WITH SCORE 2646.265
AT ITER 4797 NEW BEST:: SOT 47688 SOS 38265 HAS SOPS 37365 HAS SOUS 2749 HAS SOUPS 2605 WITH SCORE 2643.265
AT ITER 4821 NEW BEST:: SOT 47685 SOS 38259 HAS SOPS 37359 HAS SOUS 2749 HAS SOUPS 2605 WITH SCORE 2643.259
AT ITER 4829 NEW BEST:: SOT 47645 SOS 38219 HAS SOPS 37319 HAS SOUS 2749 HAS SOUPS 2605 WITH SCORE 2643.219
AT ITER 4863 NEW BEST:: SOT 47639 SOS 38214 HAS SOPS 37314 HAS SOUS 2747 HAS SOUPS 2603 WITH SCORE 2641.214
AT ITER 5015 NEW BEST:: SOT 47637 SOS 38212 HAS SOPS 37312 HAS SOUS 2745 HAS SOUPS 2601 WITH SCORE 2639.212
AT ITER 5032 NEW BEST:: SOT 47637 SOS 38212 HAS SOPS 37312 HAS SOUS 2742 HAS SOUPS 2598 WITH SCORE 2636.212
AT ITER 5138 NEW BEST:: SOT 47613 SOS 38192 HAS SOPS 37292 HAS SOUS 2738 HAS SOUPS 2594 WITH SCORE 2632.192
AT ITER 5156 NEW BEST:: SOT 47577 SOS 38180 HAS SOPS 37284 HAS SOUS 2733 HAS SOUPS 2591 WITH SCORE 2629.18
AT ITER 5178 NEW BEST:: SOT 47575 SOS 38178 HAS SOPS 37282 HAS SOUS 2732 HAS SOUPS 2590 WITH SCORE 2628.178
AT ITER 5186 NEW BEST:: SOT 47533 SOS 38136 HAS SOPS 37240 HAS SOUS 2731 HAS SOUPS 2589 WITH SCORE 2627.136
AT ITER 5226 NEW BEST:: SOT 47277 SOS 37880 HAS SOPS 36984 HAS SOUS 2731 HAS SOUPS 2589 WITH SCORE 2626.88
AT ITER 5353 NEW BEST:: SOT 47275 SOS 37878 HAS SOPS 36982 HAS SOUS 2731 HAS SOUPS 2589 WITH SCORE 2626.878
AT ITER 5395 NEW BEST:: SOT 47275 SOS 37878 HAS SOPS 36982 HAS SOUS 2729 HAS SOUPS 2587 WITH SCORE 2624.878
AT ITER 5399 NEW BEST:: SOT 47263 SOS 37866 HAS SOPS 36970 HAS SOUS 2721 HAS SOUPS 2579 WITH SCORE 2616.866
AT ITER 5482 NEW BEST:: SOT 47185 SOS 37833 HAS SOPS 36945 HAS SOUS 2699 HAS SOUPS 2561 WITH SCORE 2598.833
AT ITER 5504 NEW BEST:: SOT 47179 SOS 37823 HAS SOPS 36933 HAS SOUS 2692 HAS SOUPS 2553 WITH SCORE 2590.823
AT ITER 5520 NEW BEST:: SOT 47177 SOS 37821 HAS SOPS 36931 HAS SOUS 2691 HAS SOUPS 2552 WITH SCORE 2589.821
AT ITER 5642 NEW BEST:: SOT 47173 SOS 37817 HAS SOPS 36927 HAS SOUS 2689 HAS SOUPS 2550 WITH SCORE 2587.817
AT ITER 5659 NEW BEST:: SOT 47177 SOS 37821 HAS SOPS 36931 HAS SOUS 2687 HAS SOUPS 2548 WITH SCORE 2585.821
AT ITER 5710 NEW BEST:: SOT 47175 SOS 37819 HAS SOPS 36929 HAS SOUS 2685 HAS SOUPS 2546 WITH SCORE 2583.819
AT ITER 5722 NEW BEST:: SOT 47195 SOS 37839 HAS SOPS 36949 HAS SOUS 2683 HAS SOUPS 2544 WITH SCORE 2581.839
AT ITER 5828 NEW BEST:: SOT 47195 SOS 37839 HAS SOPS 36949 HAS SOUS 2681 HAS SOUPS 2542 WITH SCORE 2579.839
AT ITER 5841 NEW BEST:: SOT 47170 SOS 37814 HAS SOPS 36924 HAS SOUS 2668 HAS SOUPS 2529 WITH SCORE 2566.814
AT ITER 5974 NEW BEST:: SOT 47154 SOS 37798 HAS SOPS 36908 HAS SOUS 2660 HAS SOUPS 2521 WITH SCORE 2558.798
AT ITER 5996 NEW BEST:: SOT 47128 SOS 37772 HAS SOPS 36882 HAS SOUS 2647 HAS SOUPS 2508 WITH SCORE 2545.772
AT ITER 6026 NEW BEST:: SOT 47128 SOS 37772 HAS SOPS 36882 HAS SOUS 2645 HAS SOUPS 2506 WITH SCORE 2543.772
AT ITER 6042 NEW BEST:: SOT 47132 SOS 37776 HAS SOPS 36886 HAS SOUS 2644 HAS SOUPS 2505 WITH SCORE 2542.776
AT ITER 6085 NEW BEST:: SOT 47134 SOS 37778 HAS SOPS 36888 HAS SOUS 2640 HAS SOUPS 2501 WITH SCORE 2538.778
AT ITER 6089 NEW BEST:: SOT 47134 SOS 37770 HAS SOPS 36880 HAS SOUS 2640 HAS SOUPS 2501 WITH SCORE 2538.77
AT ITER 6111 NEW BEST:: SOT 47124 SOS 37760 HAS SOPS 36870 HAS SOUS 2638 HAS SOUPS 2499 WITH SCORE 2536.76
AT ITER 6238 NEW BEST:: SOT 47122 SOS 37758 HAS SOPS 36868 HAS SOUS 2638 HAS SOUPS 2499 WITH SCORE 2536.758
AT ITER 6272 NEW BEST:: SOT 47112 SOS 37748 HAS SOPS 36858 HAS SOUS 2638 HAS SOUPS 2499 WITH SCORE 2536.748
AT ITER 6382 NEW BEST:: SOT 47108 SOS 37744 HAS SOPS 36854 HAS SOUS 2631 HAS SOUPS 2492 WITH SCORE 2529.744
AT ITER 6475 NEW BEST:: SOT 47102 SOS 37738 HAS SOPS 36848 HAS SOUS 2631 HAS SOUPS 2492 WITH SCORE 2529.738
AT ITER 6542 NEW BEST:: SOT 47050 SOS 37686 HAS SOPS 36796 HAS SOUS 2631 HAS SOUPS 2492 WITH SCORE 2529.686
AT ITER 6676 NEW BEST:: SOT 47036 SOS 37672 HAS SOPS 36782 HAS SOUS 2631 HAS SOUPS 2492 WITH SCORE 2529.672
AT ITER 6681 NEW BEST:: SOT 47048 SOS 37684 HAS SOPS 36794 HAS SOUS 2630 HAS SOUPS 2491 WITH SCORE 2528.684
AT ITER 6804 NEW BEST:: SOT 47040 SOS 37676 HAS SOPS 36786 HAS SOUS 2625 HAS SOUPS 2486 WITH SCORE 2523.676
AT ITER 6903 NEW BEST:: SOT 47046 SOS 37682 HAS SOPS 36792 HAS SOUS 2617 HAS SOUPS 2478 WITH SCORE 2515.682
AT ITER 6918 NEW BEST:: SOT 47006 SOS 37642 HAS SOPS 36752 HAS SOUS 2613 HAS SOUPS 2474 WITH SCORE 2511.642
AT ITER 6969 NEW BEST:: SOT 47006 SOS 37634 HAS SOPS 36748 HAS SOUS 2609 HAS SOUPS 2472 WITH SCORE 2509.634
AT ITER 6973 NEW BEST:: SOT 47000 SOS 37628 HAS SOPS 36742 HAS SOUS 2609 HAS SOUPS 2472 WITH SCORE 2509.628
AT ITER 7101 NEW BEST:: SOT 47012 SOS 37607 HAS SOPS 36713 HAS SOUS 2610 HAS SOUPS 2469 WITH SCORE 2506.607
AT ITER 7129 NEW BEST:: SOT 47010 SOS 37605 HAS SOPS 36711 HAS SOUS 2609 HAS SOUPS 2468 WITH SCORE 2505.605
AT ITER 7184 NEW BEST:: SOT 47010 SOS 37605 HAS SOPS 36705 HAS SOUS 2603 HAS SOUPS 2465 WITH SCORE 2502.605
AT ITER 7219 NEW BEST:: SOT 46986 SOS 37581 HAS SOPS 36681 HAS SOUS 2596 HAS SOUPS 2458 WITH SCORE 2495.581
AT ITER 7245 NEW BEST:: SOT 46976 SOS 37571 HAS SOPS 36671 HAS SOUS 2595 HAS SOUPS 2457 WITH SCORE 2494.571
AT ITER 7254 NEW BEST:: SOT 46978 SOS 37567 HAS SOPS 36673 HAS SOUS 2585 HAS SOUPS 2450 WITH SCORE 2487.567
AT ITER 7267 NEW BEST:: SOT 46978 SOS 37571 HAS SOPS 36677 HAS SOUS 2583 HAS SOUPS 2448 WITH SCORE 2485.571
AT ITER 7367 NEW BEST:: SOT 46958 SOS 37551 HAS SOPS 36657 HAS SOUS 2583 HAS SOUPS 2448 WITH SCORE 2485.551
AT ITER 7374 NEW BEST:: SOT 46958 SOS 37547 HAS SOPS 36647 HAS SOUS 2576 HAS SOUPS 2443 WITH SCORE 2480.547
AT ITER 7376 NEW BEST:: SOT 46958 SOS 37555 HAS SOPS 36645 HAS SOUS 2580 HAS SOUPS 2442 WITH SCORE 2479.555
AT ITER 7400 NEW BEST:: SOT 46956 SOS 37553 HAS SOPS 36643 HAS SOUS 2578 HAS SOUPS 2440 WITH SCORE 2477.553
AT ITER 7471 NEW BEST:: SOT 46964 SOS 37561 HAS SOPS 36651 HAS SOUS 2571 HAS SOUPS 2433 WITH SCORE 2470.561
AT ITER 7481 NEW BEST:: SOT 46956 SOS 37553 HAS SOPS 36643 HAS SOUS 2559 HAS SOUPS 2421 WITH SCORE 2458.553
AT ITER 7590 NEW BEST:: SOT 46942 SOS 37539 HAS SOPS 36629 HAS SOUS 2556 HAS SOUPS 2418 WITH SCORE 2455.539
AT ITER 7696 NEW BEST:: SOT 46938 SOS 37535 HAS SOPS 36625 HAS SOUS 2552 HAS SOUPS 2414 WITH SCORE 2451.535
AT ITER 7718 NEW BEST:: SOT 46940 SOS 37537 HAS SOPS 36627 HAS SOUS 2551 HAS SOUPS 2413 WITH SCORE 2450.537
AT ITER 7914 NEW BEST:: SOT 46934 SOS 37531 HAS SOPS 36621 HAS SOUS 2549 HAS SOUPS 2411 WITH SCORE 2448.531
AT ITER 7980 NEW BEST:: SOT 46926 SOS 37523 HAS SOPS 36613 HAS SOUS 2544 HAS SOUPS 2406 WITH SCORE 2443.523
AT ITER 7988 NEW BEST:: SOT 46916 SOS 37513 HAS SOPS 36603 HAS SOUS 2543 HAS SOUPS 2405 WITH SCORE 2442.513
AT ITER 8041 NEW BEST:: SOT 46916 SOS 37513 HAS SOPS 36603 HAS SOUS 2541 HAS SOUPS 2403 WITH SCORE 2440.513
AT ITER 8074 NEW BEST:: SOT 46906 SOS 37491 HAS SOPS 36581 HAS SOUS 2539 HAS SOUPS 2401 WITH SCORE 2438.491
AT ITER 8080 NEW BEST:: SOT 46910 SOS 37495 HAS SOPS 36585 HAS SOUS 2534 HAS SOUPS 2396 WITH SCORE 2433.495
AT ITER 8090 NEW BEST:: SOT 46896 SOS 37481 HAS SOPS 36571 HAS SOUS 2533 HAS SOUPS 2395 WITH SCORE 2432.481
AT ITER 8139 NEW BEST:: SOT 46880 SOS 37465 HAS SOPS 36555 HAS SOUS 2533 HAS SOUPS 2395 WITH SCORE 2432.465
AT ITER 8187 NEW BEST:: SOT 46880 SOS 37465 HAS SOPS 36555 HAS SOUS 2529 HAS SOUPS 2391 WITH SCORE 2428.465
AT ITER 8228 NEW BEST:: SOT 46890 SOS 37475 HAS SOPS 36565 HAS SOUS 2525 HAS SOUPS 2387 WITH SCORE 2424.475
AT ITER 8250 NEW BEST:: SOT 46884 SOS 37469 HAS SOPS 36559 HAS SOUS 2525 HAS SOUPS 2387 WITH SCORE 2424.469
AT ITER 8282 NEW BEST:: SOT 46886 SOS 37471 HAS SOPS 36561 HAS SOUS 2524 HAS SOUPS 2386 WITH SCORE 2423.471
AT ITER 8370 NEW BEST:: SOT 46884 SOS 37469 HAS SOPS 36559 HAS SOUS 2524 HAS SOUPS 2386 WITH SCORE 2423.469
AT ITER 8518 NEW BEST:: SOT 46882 SOS 37467 HAS SOPS 36557 HAS SOUS 2521 HAS SOUPS 2383 WITH SCORE 2420.467
AT ITER 8538 NEW BEST:: SOT 46882 SOS 37465 HAS SOPS 36555 HAS SOUS 2517 HAS SOUPS 2382 WITH SCORE 2419.465
AT ITER 8545 NEW BEST:: SOT 46881 SOS 37448 HAS SOPS 36538 HAS SOUS 2513 HAS SOUPS 2378 WITH SCORE 2415.448
AT ITER 8560 NEW BEST:: SOT 46879 SOS 37446 HAS SOPS 36536 HAS SOUS 2513 HAS SOUPS 2378 WITH SCORE 2415.446
AT ITER 8618 NEW BEST:: SOT 46877 SOS 37444 HAS SOPS 36534 HAS SOUS 2511 HAS SOUPS 2376 WITH SCORE 2413.444
AT ITER 8637 NEW BEST:: SOT 46871 SOS 37438 HAS SOPS 36528 HAS SOUS 2509 HAS SOUPS 2374 WITH SCORE 2411.438
AT ITER 8743 NEW BEST:: SOT 46843 SOS 37410 HAS SOPS 36500 HAS SOUS 2509 HAS SOUPS 2374 WITH SCORE 2411.41
AT ITER 8758 NEW BEST:: SOT 46843 SOS 37410 HAS SOPS 36500 HAS SOUS 2505 HAS SOUPS 2370 WITH SCORE 2407.41
AT ITER 8796 NEW BEST:: SOT 46831 SOS 37398 HAS SOPS 36488 HAS SOUS 2495 HAS SOUPS 2360 WITH SCORE 2397.398
AT ITER 8801 NEW BEST:: SOT 46819 SOS 37386 HAS SOPS 36476 HAS SOUS 2495 HAS SOUPS 2360 WITH SCORE 2397.386
AT ITER 8805 NEW BEST:: SOT 46819 SOS 37382 HAS SOPS 36472 HAS SOUS 2488 HAS SOUPS 2358 WITH SCORE 2395.382
AT ITER 8820 NEW BEST:: SOT 46817 SOS 37380 HAS SOPS 36470 HAS SOUS 2488 HAS SOUPS 2358 WITH SCORE 2395.38
AT ITER 8846 NEW BEST:: SOT 46816 SOS 37378 HAS SOPS 36468 HAS SOUS 2487 HAS SOUPS 2357 WITH SCORE 2394.378
AT ITER 8971 NEW BEST:: SOT 46815 SOS 37376 HAS SOPS 36466 HAS SOUS 2487 HAS SOUPS 2357 WITH SCORE 2394.376
AT ITER 9170 NEW BEST:: SOT 46815 SOS 37376 HAS SOPS 36466 HAS SOUS 2483 HAS SOUPS 2353 WITH SCORE 2390.376
AT ITER 9215 NEW BEST:: SOT 46821 SOS 37382 HAS SOPS 36472 HAS SOUS 2481 HAS SOUPS 2351 WITH SCORE 2388.382
AT ITER 9368 NEW BEST:: SOT 46817 SOS 37378 HAS SOPS 36468 HAS SOUS 2477 HAS SOUPS 2347 WITH SCORE 2384.378
AT ITER 9386 NEW BEST:: SOT 46815 SOS 37376 HAS SOPS 36466 HAS SOUS 2473 HAS SOUPS 2343 WITH SCORE 2380.376
AT ITER 9442 NEW BEST:: SOT 46811 SOS 37372 HAS SOPS 36462 HAS SOUS 2473 HAS SOUPS 2343 WITH SCORE 2380.372
AT ITER 9548 NEW BEST:: SOT 46811 SOS 37368 HAS SOPS 36462 HAS SOUS 2473 HAS SOUPS 2343 WITH SCORE 2380.368
AT ITER 9608 NEW BEST:: SOT 46802 SOS 37360 HAS SOPS 36454 HAS SOUS 2473 HAS SOUPS 2343 WITH SCORE 2380.36
AT ITER 9680 NEW BEST:: SOT 46802 SOS 37360 HAS SOPS 36454 HAS SOUS 2471 HAS SOUPS 2341 WITH SCORE 2378.36
AT ITER 9681 NEW BEST:: SOT 46796 SOS 37354 HAS SOPS 36448 HAS SOUS 2465 HAS SOUPS 2335 WITH SCORE 2372.354
AT ITER 9707 NEW BEST:: SOT 46798 SOS 37356 HAS SOPS 36450 HAS SOUS 2464 HAS SOUPS 2334 WITH SCORE 2371.356
AT ITER 9852 NEW BEST:: SOT 46794 SOS 37352 HAS SOPS 36446 HAS SOUS 2463 HAS SOUPS 2333 WITH SCORE 2370.352
AT ITER 9861 NEW BEST:: SOT 46782 SOS 37340 HAS SOPS 36434 HAS SOUS 2459 HAS SOUPS 2329 WITH SCORE 2366.34
AT ITER 9889 NEW BEST:: SOT 46782 SOS 37340 HAS SOPS 36434 HAS SOUS 2458 HAS SOUPS 2328 WITH SCORE 2365.34
AT ITER 9893 NEW BEST:: SOT 46782 SOS 37336 HAS SOPS 36430 HAS SOUS 2456 HAS SOUPS 2326 WITH SCORE 2363.336
AT ITER 9956 NEW BEST:: SOT 46790 SOS 37344 HAS SOPS 36438 HAS SOUS 2452 HAS SOUPS 2322 WITH SCORE 2359.344
AT ITER 9977 NEW BEST:: SOT 46750 SOS 37304 HAS SOPS 36398 HAS SOUS 2442 HAS SOUPS 2312 WITH SCORE 2349.304
AT ITER 9996 NEW BEST:: SOT 46725 SOS 37278 HAS SOPS 36372 HAS SOUS 2441 HAS SOUPS 2311 WITH SCORE 2348.278
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9571832 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122396 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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
Caught signal 15, terminating.

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="SemanticWebServices-PT-S128P12"
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 SemanticWebServices-PT-S128P12, 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 r363-smll-167891814300400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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