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.r235-tall-167856422200712.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 Medical-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422200712
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 14:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 14:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 14:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 14:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 122K Feb 25 14:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678684574957

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=Medical-PT-16
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 05:16:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 05:16:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 05:16:16] [INFO ] Load time of PNML (sax parser for PT used): 241 ms
[2023-03-13 05:16:16] [INFO ] Transformed 312 places.
[2023-03-13 05:16:16] [INFO ] Transformed 5431 transitions.
[2023-03-13 05:16:16] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 339 ms.
[2023-03-13 05:16:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 60 ms.
Total runtime 427 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 16
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 4 NEW BEST:: SOT 1166521 SOS 634812 HAS SOPS 631716 HAS SOUS 249204 HAS SOUPS 246387 WITH SCORE 247021.812
AT ITER 5 NEW BEST:: SOT 1165567 SOS 634122 HAS SOPS 631026 HAS SOUS 248870 HAS SOUPS 246053 WITH SCORE 246687.122
AT ITER 21 NEW BEST:: SOT 1165567 SOS 635274 HAS SOPS 632178 HAS SOUS 248666 HAS SOUPS 245849 WITH SCORE 246484.274
AT ITER 24 NEW BEST:: SOT 1165567 SOS 635274 HAS SOPS 632178 HAS SOUS 248598 HAS SOUPS 245781 WITH SCORE 246416.274
AT ITER 28 NEW BEST:: SOT 1165567 SOS 635274 HAS SOPS 632178 HAS SOUS 248414 HAS SOUPS 245597 WITH SCORE 246232.274
AT ITER 30 NEW BEST:: SOT 1165603 SOS 635310 HAS SOPS 632214 HAS SOUS 248412 HAS SOUPS 245595 WITH SCORE 246230.31
AT ITER 33 NEW BEST:: SOT 1164859 SOS 634528 HAS SOPS 631470 HAS SOUS 246531 HAS SOUPS 243745 WITH SCORE 244379.528
AT ITER 34 NEW BEST:: SOT 1164881 SOS 636110 HAS SOPS 633052 HAS SOUS 245659 HAS SOUPS 242873 WITH SCORE 243509.11
AT ITER 35 NEW BEST:: SOT 1152503 SOS 623784 HAS SOPS 620726 HAS SOUS 232348 HAS SOUPS 229562 WITH SCORE 230185.784
AT ITER 44 NEW BEST:: SOT 1152503 SOS 624240 HAS SOPS 621182 HAS SOUS 232253 HAS SOUPS 229467 WITH SCORE 230091.24
AT ITER 47 NEW BEST:: SOT 1152503 SOS 624048 HAS SOPS 620990 HAS SOUS 232253 HAS SOUPS 229467 WITH SCORE 230091.048
AT ITER 50 NEW BEST:: SOT 1151876 SOS 609530 HAS SOPS 604825 HAS SOUS 232224 HAS SOUPS 229280 WITH SCORE 229889.53
AT ITER 63 NEW BEST:: SOT 1151876 SOS 609530 HAS SOPS 604825 HAS SOUS 232026 HAS SOUPS 229082 WITH SCORE 229691.53
AT ITER 64 NEW BEST:: SOT 1151876 SOS 610898 HAS SOPS 606193 HAS SOUS 231768 HAS SOUPS 228824 WITH SCORE 229434.898
AT ITER 72 NEW BEST:: SOT 1151876 SOS 611998 HAS SOPS 607293 HAS SOUS 231555 HAS SOUPS 228611 WITH SCORE 229222.998
AT ITER 73 NEW BEST:: SOT 1151801 SOS 611923 HAS SOPS 607218 HAS SOUS 231485 HAS SOUPS 228541 WITH SCORE 229152.923
AT ITER 78 NEW BEST:: SOT 1150661 SOS 610711 HAS SOPS 606006 HAS SOUS 230141 HAS SOUPS 227197 WITH SCORE 227807.711
AT ITER 79 NEW BEST:: SOT 1151071 SOS 611197 HAS SOPS 606492 HAS SOUS 230098 HAS SOUPS 227154 WITH SCORE 227765.197
AT ITER 83 NEW BEST:: SOT 1150302 SOS 603608 HAS SOPS 593838 HAS SOUS 229532 HAS SOUPS 226325 WITH SCORE 226928.608
AT ITER 87 NEW BEST:: SOT 1150302 SOS 603608 HAS SOPS 593838 HAS SOUS 229347 HAS SOUPS 226140 WITH SCORE 226743.608
AT ITER 89 NEW BEST:: SOT 1150302 SOS 602500 HAS SOPS 591989 HAS SOUS 229675 HAS SOUPS 225727 WITH SCORE 226329.5
AT ITER 94 NEW BEST:: SOT 1150302 SOS 603746 HAS SOPS 593261 HAS SOUS 229539 HAS SOUPS 225617 WITH SCORE 226220.746
AT ITER 103 NEW BEST:: SOT 1149019 SOS 600677 HAS SOPS 590763 HAS SOUS 224096 HAS SOUPS 220279 WITH SCORE 220879.677
AT ITER 109 NEW BEST:: SOT 1149019 SOS 598261 HAS SOPS 588167 HAS SOUS 224090 HAS SOUPS 220273 WITH SCORE 220871.261
AT ITER 120 NEW BEST:: SOT 1149019 SOS 599437 HAS SOPS 589343 HAS SOUS 223845 HAS SOUPS 220028 WITH SCORE 220627.437
AT ITER 121 NEW BEST:: SOT 1149719 SOS 598588 HAS SOPS 589013 HAS SOUS 220995 HAS SOUPS 217270 WITH SCORE 217868.588
AT ITER 126 NEW BEST:: SOT 1149719 SOS 598584 HAS SOPS 589013 HAS SOUS 220987 HAS SOUPS 217266 WITH SCORE 217864.584
AT ITER 127 NEW BEST:: SOT 1150369 SOS 598318 HAS SOPS 589043 HAS SOUS 218726 HAS SOUPS 215061 WITH SCORE 215659.318
AT ITER 128 NEW BEST:: SOT 1150366 SOS 598315 HAS SOPS 589040 HAS SOUS 218723 HAS SOUPS 215058 WITH SCORE 215656.315
AT ITER 130 NEW BEST:: SOT 1150379 SOS 598976 HAS SOPS 589701 HAS SOUS 218607 HAS SOUPS 214942 WITH SCORE 215540.976
AT ITER 131 NEW BEST:: SOT 1150379 SOS 598808 HAS SOPS 589561 HAS SOUS 218567 HAS SOUPS 214910 WITH SCORE 215508.808
AT ITER 132 NEW BEST:: SOT 1150444 SOS 601881 HAS SOPS 592664 HAS SOUS 218116 HAS SOUPS 214459 WITH SCORE 215060.881
AT ITER 139 NEW BEST:: SOT 1150644 SOS 602151 HAS SOPS 591582 HAS SOUS 218411 HAS SOUPS 213386 WITH SCORE 213988.151
AT ITER 140 NEW BEST:: SOT 1150644 SOS 602186 HAS SOPS 591598 HAS SOUS 218385 HAS SOUPS 213341 WITH SCORE 213943.186
AT ITER 144 NEW BEST:: SOT 1150140 SOS 601215 HAS SOPS 590254 HAS SOUS 217434 HAS SOUPS 212390 WITH SCORE 212991.215
AT ITER 149 NEW BEST:: SOT 1150134 SOS 601977 HAS SOPS 591016 HAS SOUS 217426 HAS SOUPS 212382 WITH SCORE 212983.977
AT ITER 155 NEW BEST:: SOT 1149518 SOS 605061 HAS SOPS 594100 HAS SOUS 217278 HAS SOUPS 212234 WITH SCORE 212839.061
AT ITER 159 NEW BEST:: SOT 1148826 SOS 603810 HAS SOPS 593001 HAS SOUS 216952 HAS SOUPS 211908 WITH SCORE 212511.81
AT ITER 162 NEW BEST:: SOT 1149011 SOS 603995 HAS SOPS 593221 HAS SOUS 216819 HAS SOUPS 211775 WITH SCORE 212378.995
AT ITER 168 NEW BEST:: SOT 1149011 SOS 603743 HAS SOPS 592969 HAS SOUS 216819 HAS SOUPS 211775 WITH SCORE 212378.743
AT ITER 183 NEW BEST:: SOT 1148759 SOS 603108 HAS SOPS 591989 HAS SOUS 216535 HAS SOUPS 211524 WITH SCORE 212127.108
AT ITER 185 NEW BEST:: SOT 1148889 SOS 603302 HAS SOPS 592183 HAS SOUS 216279 HAS SOUPS 211268 WITH SCORE 211871.302
AT ITER 209 NEW BEST:: SOT 1148889 SOS 603302 HAS SOPS 592183 HAS SOUS 216254 HAS SOUPS 211243 WITH SCORE 211846.302
AT ITER 213 NEW BEST:: SOT 1149016 SOS 602272 HAS SOPS 591609 HAS SOUS 215007 HAS SOUPS 210183 WITH SCORE 210785.272
AT ITER 215 NEW BEST:: SOT 1149016 SOS 602114 HAS SOPS 591505 HAS SOUS 214762 HAS SOUPS 209992 WITH SCORE 210594.114
AT ITER 220 NEW BEST:: SOT 1150870 SOS 603860 HAS SOPS 593287 HAS SOUS 212281 HAS SOUPS 207541 WITH SCORE 208144.86
AT ITER 230 NEW BEST:: SOT 1151338 SOS 604354 HAS SOPS 593781 HAS SOUS 212262 HAS SOUPS 207522 WITH SCORE 208126.354
AT ITER 242 NEW BEST:: SOT 1151223 SOS 601547 HAS SOPS 591867 HAS SOUS 209641 HAS SOUPS 204985 WITH SCORE 205586.547
AT ITER 243 NEW BEST:: SOT 1151223 SOS 601733 HAS SOPS 592059 HAS SOUS 209593 HAS SOUPS 204943 WITH SCORE 205544.733
AT ITER 253 NEW BEST:: SOT 1151171 SOS 599792 HAS SOPS 590696 HAS SOUS 207259 HAS SOUPS 202681 WITH SCORE 203280.792
AT ITER 262 NEW BEST:: SOT 1151171 SOS 588561 HAS SOPS 579226 HAS SOUS 207325 HAS SOUPS 202664 WITH SCORE 203252.561
AT ITER 264 NEW BEST:: SOT 1151171 SOS 589257 HAS SOPS 579922 HAS SOUS 207172 HAS SOUPS 202511 WITH SCORE 203100.257
AT ITER 277 NEW BEST:: SOT 1151171 SOS 589424 HAS SOPS 580082 HAS SOUS 207136 HAS SOUPS 202468 WITH SCORE 203057.424
AT ITER 278 NEW BEST:: SOT 1150609 SOS 589006 HAS SOPS 579664 HAS SOUS 206615 HAS SOUPS 201947 WITH SCORE 202536.006
AT ITER 279 NEW BEST:: SOT 1150609 SOS 587902 HAS SOPS 578560 HAS SOUS 206615 HAS SOUPS 201947 WITH SCORE 202534.902
AT ITER 281 NEW BEST:: SOT 1149448 SOS 586442 HAS SOPS 577051 HAS SOUS 204776 HAS SOUPS 200108 WITH SCORE 200694.442
AT ITER 282 NEW BEST:: SOT 1149414 SOS 586408 HAS SOPS 577017 HAS SOUS 204704 HAS SOUPS 200036 WITH SCORE 200622.408
AT ITER 287 NEW BEST:: SOT 1148939 SOS 585096 HAS SOPS 575944 HAS SOUS 203708 HAS SOUPS 199070 WITH SCORE 199655.096
AT ITER 292 NEW BEST:: SOT 1141761 SOS 578293 HAS SOPS 569490 HAS SOUS 194345 HAS SOUPS 190016 WITH SCORE 190594.293
AT ITER 295 NEW BEST:: SOT 1141761 SOS 578592 HAS SOPS 569789 HAS SOUS 194332 HAS SOUPS 190003 WITH SCORE 190581.592
AT ITER 297 NEW BEST:: SOT 1141762 SOS 578593 HAS SOPS 569790 HAS SOUS 194273 HAS SOUPS 189944 WITH SCORE 190522.593
AT ITER 299 NEW BEST:: SOT 1141684 SOS 581571 HAS SOPS 572768 HAS SOUS 192777 HAS SOUPS 188448 WITH SCORE 189029.571
AT ITER 308 NEW BEST:: SOT 1141695 SOS 581714 HAS SOPS 572911 HAS SOUS 192757 HAS SOUPS 188428 WITH SCORE 189009.714
AT ITER 312 NEW BEST:: SOT 1141717 SOS 579412 HAS SOPS 569722 HAS SOUS 192667 HAS SOUPS 187991 WITH SCORE 188570.412
AT ITER 319 NEW BEST:: SOT 1142337 SOS 580420 HAS SOPS 570730 HAS SOUS 191740 HAS SOUPS 187064 WITH SCORE 187644.42
AT ITER 323 NEW BEST:: SOT 1142088 SOS 580171 HAS SOPS 570470 HAS SOUS 191485 HAS SOUPS 186809 WITH SCORE 187389.171
AT ITER 326 NEW BEST:: SOT 1142088 SOS 580313 HAS SOPS 570614 HAS SOUS 191449 HAS SOUPS 186775 WITH SCORE 187355.313
AT ITER 327 NEW BEST:: SOT 1142069 SOS 580683 HAS SOPS 570965 HAS SOUS 191132 HAS SOUPS 186458 WITH SCORE 187038.683
AT ITER 344 NEW BEST:: SOT 1142069 SOS 581355 HAS SOPS 571637 HAS SOUS 191012 HAS SOUPS 186338 WITH SCORE 186919.355
AT ITER 346 NEW BEST:: SOT 1142069 SOS 582132 HAS SOPS 572505 HAS SOUS 190161 HAS SOUPS 185542 WITH SCORE 186124.132
AT ITER 352 NEW BEST:: SOT 1142179 SOS 582242 HAS SOPS 572617 HAS SOUS 190118 HAS SOUPS 185499 WITH SCORE 186081.242
AT ITER 363 NEW BEST:: SOT 1142179 SOS 581335 HAS SOPS 571591 HAS SOUS 190104 HAS SOUPS 185478 WITH SCORE 186059.335
AT ITER 365 NEW BEST:: SOT 1142179 SOS 579676 HAS SOPS 570187 HAS SOUS 188995 HAS SOUPS 184423 WITH SCORE 185002.676
AT ITER 381 NEW BEST:: SOT 1141657 SOS 578986 HAS SOPS 569509 HAS SOUS 188473 HAS SOUPS 183901 WITH SCORE 184479.986
AT ITER 382 NEW BEST:: SOT 1141482 SOS 578772 HAS SOPS 568948 HAS SOUS 188181 HAS SOUPS 183637 WITH SCORE 184215.772
AT ITER 385 NEW BEST:: SOT 1141482 SOS 578307 HAS SOPS 568504 HAS SOUS 187927 HAS SOUPS 183404 WITH SCORE 183982.307
AT ITER 386 NEW BEST:: SOT 1141482 SOS 578706 HAS SOPS 568912 HAS SOUS 187882 HAS SOUPS 183368 WITH SCORE 183946.706
AT ITER 399 NEW BEST:: SOT 1141482 SOS 579893 HAS SOPS 570136 HAS SOUS 187600 HAS SOUPS 183123 WITH SCORE 183702.893
AT ITER 400 NEW BEST:: SOT 1141482 SOS 580277 HAS SOPS 570520 HAS SOUS 187504 HAS SOUPS 183027 WITH SCORE 183607.277
AT ITER 411 NEW BEST:: SOT 1141482 SOS 578369 HAS SOPS 568697 HAS SOUS 187477 HAS SOUPS 183017 WITH SCORE 183595.369
AT ITER 423 NEW BEST:: SOT 1141482 SOS 578403 HAS SOPS 569261 HAS SOUS 187239 HAS SOUPS 182771 WITH SCORE 183349.403
AT ITER 429 NEW BEST:: SOT 1141049 SOS 578953 HAS SOPS 569970 HAS SOUS 187113 HAS SOUPS 182734 WITH SCORE 183312.953
AT ITER 435 NEW BEST:: SOT 1141035 SOS 579543 HAS SOPS 570532 HAS SOUS 186987 HAS SOUPS 182580 WITH SCORE 183159.543
AT ITER 438 NEW BEST:: SOT 1141035 SOS 559727 HAS SOPS 550675 HAS SOUS 187033 HAS SOUPS 182585 WITH SCORE 183144.727
AT ITER 441 NEW BEST:: SOT 1141035 SOS 559503 HAS SOPS 550451 HAS SOUS 186776 HAS SOUPS 182328 WITH SCORE 182887.503
AT ITER 458 NEW BEST:: SOT 1140975 SOS 559518 HAS SOPS 550319 HAS SOUS 186567 HAS SOUPS 182131 WITH SCORE 182690.518
AT ITER 489 NEW BEST:: SOT 1141175 SOS 562708 HAS SOPS 553509 HAS SOUS 185057 HAS SOUPS 180621 WITH SCORE 181183.708
AT ITER 491 NEW BEST:: SOT 1140972 SOS 562097 HAS SOPS 553081 HAS SOUS 184754 HAS SOUPS 180325 WITH SCORE 180887.097
AT ITER 496 NEW BEST:: SOT 1140972 SOS 563163 HAS SOPS 554161 HAS SOUS 184492 HAS SOUPS 180077 WITH SCORE 180640.163
AT ITER 497 NEW BEST:: SOT 1139754 SOS 564711 HAS SOPS 555739 HAS SOUS 183689 HAS SOUPS 179274 WITH SCORE 179838.711
AT ITER 502 NEW BEST:: SOT 1139628 SOS 564771 HAS SOPS 555799 HAS SOUS 183656 HAS SOUPS 179241 WITH SCORE 179805.771
AT ITER 507 NEW BEST:: SOT 1139362 SOS 564505 HAS SOPS 555533 HAS SOUS 183534 HAS SOUPS 179119 WITH SCORE 179683.505
AT ITER 509 NEW BEST:: SOT 1140067 SOS 561836 HAS SOPS 553554 HAS SOUS 179930 HAS SOUPS 175664 WITH SCORE 176225.836
AT ITER 510 NEW BEST:: SOT 1140067 SOS 563304 HAS SOPS 555078 HAS SOUS 179690 HAS SOUPS 175480 WITH SCORE 176043.304
AT ITER 511 NEW BEST:: SOT 1140067 SOS 563395 HAS SOPS 555183 HAS SOUS 179683 HAS SOUPS 175473 WITH SCORE 176036.395
AT ITER 518 NEW BEST:: SOT 1140207 SOS 563202 HAS SOPS 555046 HAS SOUS 179596 HAS SOUPS 175386 WITH SCORE 175949.202
AT ITER 521 NEW BEST:: SOT 1139536 SOS 561653 HAS SOPS 553727 HAS SOUS 177484 HAS SOUPS 173309 WITH SCORE 173870.653
AT ITER 526 NEW BEST:: SOT 1139111 SOS 560734 HAS SOPS 552902 HAS SOUS 176930 HAS SOUPS 172787 WITH SCORE 173347.734
AT ITER 531 NEW BEST:: SOT 1138681 SOS 562435 HAS SOPS 554768 HAS SOUS 175157 HAS SOUPS 171082 WITH SCORE 171644.435
AT ITER 540 NEW BEST:: SOT 1137625 SOS 561901 HAS SOPS 554165 HAS SOUS 174347 HAS SOUPS 170235 WITH SCORE 170796.901
AT ITER 551 NEW BEST:: SOT 1135446 SOS 559722 HAS SOPS 551986 HAS SOUS 173780 HAS SOUPS 169668 WITH SCORE 170227.722
AT ITER 556 NEW BEST:: SOT 1135714 SOS 560029 HAS SOPS 552338 HAS SOUS 173607 HAS SOUPS 169540 WITH SCORE 170100.029
AT ITER 563 NEW BEST:: SOT 1135957 SOS 562600 HAS SOPS 554909 HAS SOUS 172520 HAS SOUPS 168453 WITH SCORE 169015.6
AT ITER 569 NEW BEST:: SOT 1135961 SOS 560523 HAS SOPS 552953 HAS SOUS 172211 HAS SOUPS 168151 WITH SCORE 168711.523
AT ITER 573 NEW BEST:: SOT 1135566 SOS 560640 HAS SOPS 553085 HAS SOUS 172036 HAS SOUPS 167991 WITH SCORE 168551.64
AT ITER 575 NEW BEST:: SOT 1135566 SOS 560920 HAS SOPS 553365 HAS SOUS 171987 HAS SOUPS 167942 WITH SCORE 168502.92
AT ITER 579 NEW BEST:: SOT 1135566 SOS 559790 HAS SOPS 552341 HAS SOUS 171652 HAS SOUPS 167657 WITH SCORE 168216.79
AT ITER 581 NEW BEST:: SOT 1135587 SOS 559811 HAS SOPS 552362 HAS SOUS 171397 HAS SOUPS 167402 WITH SCORE 167961.811
AT ITER 583 NEW BEST:: SOT 1135587 SOS 558683 HAS SOPS 551234 HAS SOUS 171397 HAS SOUPS 167402 WITH SCORE 167960.683
AT ITER 584 NEW BEST:: SOT 1135587 SOS 559304 HAS SOPS 551855 HAS SOUS 171326 HAS SOUPS 167331 WITH SCORE 167890.304
AT ITER 599 NEW BEST:: SOT 1135541 SOS 558778 HAS SOPS 551329 HAS SOUS 171277 HAS SOUPS 167282 WITH SCORE 167840.778
AT ITER 604 NEW BEST:: SOT 1134683 SOS 556061 HAS SOPS 549030 HAS SOUS 169265 HAS SOUPS 165322 WITH SCORE 165878.061
AT ITER 620 NEW BEST:: SOT 1134515 SOS 555893 HAS SOPS 548862 HAS SOUS 168919 HAS SOUPS 164976 WITH SCORE 165531.893
AT ITER 623 NEW BEST:: SOT 1134515 SOS 554789 HAS SOPS 547758 HAS SOUS 168919 HAS SOUPS 164976 WITH SCORE 165530.789
AT ITER 626 NEW BEST:: SOT 1134515 SOS 554810 HAS SOPS 548102 HAS SOUS 168720 HAS SOUPS 164777 WITH SCORE 165331.81
AT ITER 638 NEW BEST:: SOT 1134528 SOS 554610 HAS SOPS 547902 HAS SOUS 168621 HAS SOUPS 164678 WITH SCORE 165232.61
AT ITER 654 NEW BEST:: SOT 1134395 SOS 558461 HAS SOPS 551753 HAS SOUS 168438 HAS SOUPS 164495 WITH SCORE 165053.461
AT ITER 656 NEW BEST:: SOT 1133442 SOS 561297 HAS SOPS 554453 HAS SOUS 168316 HAS SOUPS 164331 WITH SCORE 164892.297
AT ITER 662 NEW BEST:: SOT 1133442 SOS 561566 HAS SOPS 554468 HAS SOUS 168293 HAS SOUPS 164308 WITH SCORE 164869.566
AT ITER 668 NEW BEST:: SOT 1133442 SOS 561641 HAS SOPS 554592 HAS SOUS 168199 HAS SOUPS 164263 WITH SCORE 164824.641
AT ITER 673 NEW BEST:: SOT 1133196 SOS 561395 HAS SOPS 554346 HAS SOUS 167267 HAS SOUPS 163331 WITH SCORE 163892.395
AT ITER 677 NEW BEST:: SOT 1134390 SOS 561176 HAS SOPS 554274 HAS SOUS 164918 HAS SOUPS 161042 WITH SCORE 161603.176
AT ITER 679 NEW BEST:: SOT 1134430 SOS 560820 HAS SOPS 554034 HAS SOUS 163474 HAS SOUPS 159627 WITH SCORE 160187.82
AT ITER 683 NEW BEST:: SOT 1134421 SOS 560811 HAS SOPS 554025 HAS SOUS 163454 HAS SOUPS 159607 WITH SCORE 160167.811
AT ITER 690 NEW BEST:: SOT 1134421 SOS 560819 HAS SOPS 554025 HAS SOUS 163454 HAS SOUPS 159599 WITH SCORE 160159.819
AT ITER 691 NEW BEST:: SOT 1134421 SOS 561083 HAS SOPS 554289 HAS SOUS 163399 HAS SOUPS 159544 WITH SCORE 160105.083
AT ITER 692 NEW BEST:: SOT 1134085 SOS 560882 HAS SOPS 554042 HAS SOUS 163014 HAS SOUPS 159159 WITH SCORE 159719.882
AT ITER 696 NEW BEST:: SOT 1134874 SOS 561775 HAS SOPS 554935 HAS SOUS 162660 HAS SOUPS 158805 WITH SCORE 159366.775
AT ITER 699 NEW BEST:: SOT 1134920 SOS 564144 HAS SOPS 557309 HAS SOUS 162523 HAS SOUPS 158673 WITH SCORE 159237.144
AT ITER 702 NEW BEST:: SOT 1134927 SOS 565338 HAS SOPS 558500 HAS SOUS 162235 HAS SOUPS 158393 WITH SCORE 158958.338
AT ITER 703 NEW BEST:: SOT 1134920 SOS 566579 HAS SOPS 559741 HAS SOUS 162228 HAS SOUPS 158386 WITH SCORE 158952.579
AT ITER 707 NEW BEST:: SOT 1134526 SOS 565423 HAS SOPS 558645 HAS SOUS 161266 HAS SOUPS 157455 WITH SCORE 158020.423
AT ITER 711 NEW BEST:: SOT 1134360 SOS 565257 HAS SOPS 558479 HAS SOUS 160918 HAS SOUPS 157107 WITH SCORE 157672.257
AT ITER 718 NEW BEST:: SOT 1134381 SOS 566265 HAS SOPS 559487 HAS SOUS 160813 HAS SOUPS 157002 WITH SCORE 157568.265
AT ITER 722 NEW BEST:: SOT 1134381 SOS 566617 HAS SOPS 559870 HAS SOUS 160297 HAS SOUPS 156517 WITH SCORE 157083.617
AT ITER 727 NEW BEST:: SOT 1134412 SOS 566648 HAS SOPS 559901 HAS SOUS 159937 HAS SOUPS 156157 WITH SCORE 156723.648
AT ITER 729 NEW BEST:: SOT 1135510 SOS 567746 HAS SOPS 560999 HAS SOUS 159914 HAS SOUPS 156134 WITH SCORE 156701.746
AT ITER 730 NEW BEST:: SOT 1135510 SOS 567731 HAS SOPS 560984 HAS SOUS 159905 HAS SOUPS 156125 WITH SCORE 156692.731
AT ITER 746 NEW BEST:: SOT 1135510 SOS 568031 HAS SOPS 561272 HAS SOUS 159857 HAS SOUPS 156065 WITH SCORE 156633.031
AT ITER 748 NEW BEST:: SOT 1135360 SOS 567881 HAS SOPS 561122 HAS SOUS 159707 HAS SOUPS 155915 WITH SCORE 156482.881
AT ITER 750 NEW BEST:: SOT 1134186 SOS 572150 HAS SOPS 565391 HAS SOUS 158943 HAS SOUPS 155151 WITH SCORE 155723.15
AT ITER 761 NEW BEST:: SOT 1134094 SOS 572061 HAS SOPS 565299 HAS SOUS 158929 HAS SOUPS 155134 WITH SCORE 155706.061
AT ITER 783 NEW BEST:: SOT 1133299 SOS 576165 HAS SOPS 569403 HAS SOUS 158373 HAS SOUPS 154578 WITH SCORE 155154.165
AT ITER 804 NEW BEST:: SOT 1133617 SOS 575697 HAS SOPS 569148 HAS SOUS 157011 HAS SOUPS 153299 WITH SCORE 153874.697
AT ITER 832 NEW BEST:: SOT 1133428 SOS 579029 HAS SOPS 572480 HAS SOUS 156731 HAS SOUPS 153019 WITH SCORE 153598.029
AT ITER 835 NEW BEST:: SOT 1133421 SOS 584055 HAS SOPS 579567 HAS SOUS 155925 HAS SOUPS 152322 WITH SCORE 152906.055
AT ITER 847 NEW BEST:: SOT 1133406 SOS 584016 HAS SOPS 579477 HAS SOUS 155874 HAS SOUPS 152271 WITH SCORE 152855.016
AT ITER 850 NEW BEST:: SOT 1132732 SOS 584270 HAS SOPS 579723 HAS SOUS 155732 HAS SOUPS 152129 WITH SCORE 152713.27
AT ITER 851 NEW BEST:: SOT 1132731 SOS 584269 HAS SOPS 579722 HAS SOUS 155731 HAS SOUPS 152128 WITH SCORE 152712.269
AT ITER 856 NEW BEST:: SOT 1132734 SOS 571441 HAS SOPS 566894 HAS SOUS 155695 HAS SOUPS 152092 WITH SCORE 152663.441
AT ITER 860 NEW BEST:: SOT 1132734 SOS 571441 HAS SOPS 566894 HAS SOUS 155694 HAS SOUPS 152091 WITH SCORE 152662.441
AT ITER 861 NEW BEST:: SOT 1132579 SOS 571286 HAS SOPS 566739 HAS SOUS 155395 HAS SOUPS 151792 WITH SCORE 152363.286
AT ITER 863 NEW BEST:: SOT 1132579 SOS 571146 HAS SOPS 566599 HAS SOUS 155391 HAS SOUPS 151788 WITH SCORE 152359.146
AT ITER 870 NEW BEST:: SOT 1132416 SOS 570789 HAS SOPS 566254 HAS SOUS 154797 HAS SOUPS 151202 WITH SCORE 151772.789
AT ITER 889 NEW BEST:: SOT 1131841 SOS 570214 HAS SOPS 565679 HAS SOUS 154222 HAS SOUPS 150627 WITH SCORE 151197.214
AT ITER 893 NEW BEST:: SOT 1131841 SOS 570214 HAS SOPS 565679 HAS SOUS 154214 HAS SOUPS 150619 WITH SCORE 151189.214
AT ITER 902 NEW BEST:: SOT 1131841 SOS 570429 HAS SOPS 565907 HAS SOUS 153924 HAS SOUPS 150329 WITH SCORE 150899.429
AT ITER 921 NEW BEST:: SOT 1131841 SOS 571020 HAS SOPS 566498 HAS SOUS 153905 HAS SOUPS 150310 WITH SCORE 150881.02
AT ITER 934 NEW BEST:: SOT 1131844 SOS 571023 HAS SOPS 566501 HAS SOUS 153901 HAS SOUPS 150306 WITH SCORE 150877.023
AT ITER 957 NEW BEST:: SOT 1131523 SOS 570694 HAS SOPS 566172 HAS SOUS 153574 HAS SOUPS 149979 WITH SCORE 150549.694
AT ITER 961 NEW BEST:: SOT 1131303 SOS 570474 HAS SOPS 565952 HAS SOUS 153140 HAS SOUPS 149545 WITH SCORE 150115.474
AT ITER 977 NEW BEST:: SOT 1131698 SOS 583409 HAS SOPS 578887 HAS SOUS 152883 HAS SOUPS 149288 WITH SCORE 149871.409
AT ITER 990 NEW BEST:: SOT 1131698 SOS 583409 HAS SOPS 578887 HAS SOUS 152859 HAS SOUPS 149264 WITH SCORE 149847.409
AT ITER 997 NEW BEST:: SOT 1131338 SOS 582734 HAS SOPS 578212 HAS SOUS 152439 HAS SOUPS 148844 WITH SCORE 149426.734
AT ITER 998 NEW BEST:: SOT 1129868 SOS 581264 HAS SOPS 576742 HAS SOUS 151896 HAS SOUPS 148301 WITH SCORE 148882.264
AT ITER 1009 NEW BEST:: SOT 1129868 SOS 581936 HAS SOPS 577414 HAS SOUS 151750 HAS SOUPS 148155 WITH SCORE 148736.936
AT ITER 1010 NEW BEST:: SOT 1129868 SOS 580602 HAS SOPS 576080 HAS SOUS 151692 HAS SOUPS 148097 WITH SCORE 148677.602
AT ITER 1015 NEW BEST:: SOT 1129149 SOS 579883 HAS SOPS 575361 HAS SOUS 151260 HAS SOUPS 147665 WITH SCORE 148244.883
AT ITER 1024 NEW BEST:: SOT 1129058 SOS 589828 HAS SOPS 585338 HAS SOUS 150887 HAS SOUPS 147324 WITH SCORE 147913.828
AT ITER 1032 NEW BEST:: SOT 1129254 SOS 590046 HAS SOPS 585556 HAS SOUS 150808 HAS SOUPS 147245 WITH SCORE 147835.046
AT ITER 1036 NEW BEST:: SOT 1129181 SOS 589699 HAS SOPS 585180 HAS SOUS 150733 HAS SOUPS 147157 WITH SCORE 147746.699
AT ITER 1045 NEW BEST:: SOT 1129214 SOS 589288 HAS SOPS 584773 HAS SOUS 150678 HAS SOUPS 147106 WITH SCORE 147695.288
AT ITER 1055 NEW BEST:: SOT 1129068 SOS 589142 HAS SOPS 584627 HAS SOUS 150662 HAS SOUPS 147090 WITH SCORE 147679.142
AT ITER 1068 NEW BEST:: SOT 1129068 SOS 582885 HAS SOPS 577217 HAS SOUS 150528 HAS SOUPS 146915 WITH SCORE 147497.885
AT ITER 1073 NEW BEST:: SOT 1129164 SOS 582869 HAS SOPS 577208 HAS SOUS 150471 HAS SOUPS 146865 WITH SCORE 147447.869
AT ITER 1081 NEW BEST:: SOT 1128960 SOS 582576 HAS SOPS 576901 HAS SOUS 150224 HAS SOUPS 146604 WITH SCORE 147186.576
AT ITER 1082 NEW BEST:: SOT 1128960 SOS 582579 HAS SOPS 576904 HAS SOUS 150221 HAS SOUPS 146601 WITH SCORE 147183.579
AT ITER 1100 NEW BEST:: SOT 1128891 SOS 582510 HAS SOPS 576835 HAS SOUS 149974 HAS SOUPS 146354 WITH SCORE 146936.51
AT ITER 1124 NEW BEST:: SOT 1129194 SOS 582849 HAS SOPS 577174 HAS SOUS 149832 HAS SOUPS 146212 WITH SCORE 146794.849
AT ITER 1125 NEW BEST:: SOT 1129317 SOS 582965 HAS SOPS 577297 HAS SOUS 149768 HAS SOUPS 146155 WITH SCORE 146737.965
AT ITER 1131 NEW BEST:: SOT 1128740 SOS 588372 HAS SOPS 582598 HAS SOUS 149121 HAS SOUPS 145402 WITH SCORE 145990.372
AT ITER 1140 NEW BEST:: SOT 1128740 SOS 588372 HAS SOPS 582598 HAS SOUS 149099 HAS SOUPS 145380 WITH SCORE 145968.372
AT ITER 1142 NEW BEST:: SOT 1129686 SOS 589334 HAS SOPS 583560 HAS SOUS 149012 HAS SOUPS 145293 WITH SCORE 145882.334
AT ITER 1149 NEW BEST:: SOT 1130023 SOS 589839 HAS SOPS 584092 HAS SOUS 148717 HAS SOUPS 145007 WITH SCORE 145596.839
AT ITER 1150 NEW BEST:: SOT 1128863 SOS 589148 HAS SOPS 583374 HAS SOUS 147790 HAS SOUPS 144071 WITH SCORE 144660.148
AT ITER 1153 NEW BEST:: SOT 1127695 SOS 594092 HAS SOPS 588534 HAS SOUS 146745 HAS SOUPS 143177 WITH SCORE 143771.092
AT ITER 1160 NEW BEST:: SOT 1127695 SOS 589288 HAS SOPS 584920 HAS SOUS 146087 HAS SOUPS 142575 WITH SCORE 143164.288
AT ITER 1164 NEW BEST:: SOT 1127695 SOS 589288 HAS SOPS 584913 HAS SOUS 146087 HAS SOUPS 142568 WITH SCORE 143157.288
AT ITER 1170 NEW BEST:: SOT 1127695 SOS 588952 HAS SOPS 584577 HAS SOUS 146087 HAS SOUPS 142568 WITH SCORE 143156.952
AT ITER 1174 NEW BEST:: SOT 1127695 SOS 588880 HAS SOPS 584505 HAS SOUS 146087 HAS SOUPS 142568 WITH SCORE 143156.88
AT ITER 1176 NEW BEST:: SOT 1128059 SOS 589184 HAS SOPS 584835 HAS SOUS 145098 HAS SOUPS 141602 WITH SCORE 142191.184
AT ITER 1181 NEW BEST:: SOT 1128030 SOS 588626 HAS SOPS 584277 HAS SOUS 145068 HAS SOUPS 141572 WITH SCORE 142160.626
AT ITER 1188 NEW BEST:: SOT 1128030 SOS 588722 HAS SOPS 584373 HAS SOUS 144988 HAS SOUPS 141492 WITH SCORE 142080.722
AT ITER 1189 NEW BEST:: SOT 1127886 SOS 587499 HAS SOPS 583642 HAS SOUS 143969 HAS SOUPS 140932 WITH SCORE 141519.499
AT ITER 1199 NEW BEST:: SOT 1127733 SOS 587346 HAS SOPS 583489 HAS SOUS 143382 HAS SOUPS 140345 WITH SCORE 140932.346
AT ITER 1213 NEW BEST:: SOT 1127733 SOS 587351 HAS SOPS 583499 HAS SOUS 143272 HAS SOUPS 140235 WITH SCORE 140822.351
AT ITER 1215 NEW BEST:: SOT 1127582 SOS 587031 HAS SOPS 583187 HAS SOUS 142084 HAS SOUPS 139051 WITH SCORE 139638.031
AT ITER 1223 NEW BEST:: SOT 1127436 SOS 586885 HAS SOPS 583041 HAS SOUS 142038 HAS SOUPS 139005 WITH SCORE 139591.885
AT ITER 1234 NEW BEST:: SOT 1127436 SOS 586868 HAS SOPS 583041 HAS SOUS 142021 HAS SOUPS 139005 WITH SCORE 139591.868
AT ITER 1249 NEW BEST:: SOT 1127436 SOS 587036 HAS SOPS 583202 HAS SOUS 142021 HAS SOUPS 138998 WITH SCORE 139585.036
AT ITER 1258 NEW BEST:: SOT 1127363 SOS 586963 HAS SOPS 583129 HAS SOUS 142019 HAS SOUPS 138996 WITH SCORE 139582.963
AT ITER 1259 NEW BEST:: SOT 1127265 SOS 586812 HAS SOPS 582969 HAS SOUS 141890 HAS SOUPS 138858 WITH SCORE 139444.812
AT ITER 1261 NEW BEST:: SOT 1127265 SOS 583131 HAS SOPS 579493 HAS SOUS 141208 HAS SOUPS 138176 WITH SCORE 138759.131
AT ITER 1264 NEW BEST:: SOT 1126603 SOS 584094 HAS SOPS 580467 HAS SOUS 140687 HAS SOUPS 137655 WITH SCORE 138239.094
AT ITER 1273 NEW BEST:: SOT 1126786 SOS 590819 HAS SOPS 586906 HAS SOUS 140419 HAS SOUPS 137329 WITH SCORE 137919.819
AT ITER 1274 NEW BEST:: SOT 1125617 SOS 588924 HAS SOPS 585067 HAS SOUS 137637 HAS SOUPS 134574 WITH SCORE 135162.924
AT ITER 1283 NEW BEST:: SOT 1125617 SOS 589228 HAS SOPS 585377 HAS SOUS 137599 HAS SOUPS 134542 WITH SCORE 135131.228
AT ITER 1294 NEW BEST:: SOT 1125642 SOS 589834 HAS SOPS 586018 HAS SOUS 137500 HAS SOUPS 134478 WITH SCORE 135067.834
AT ITER 1308 NEW BEST:: SOT 1125642 SOS 589918 HAS SOPS 586130 HAS SOUS 137445 HAS SOUPS 134451 WITH SCORE 135040.918
AT ITER 1309 NEW BEST:: SOT 1125217 SOS 583667 HAS SOPS 579639 HAS SOUS 136949 HAS SOUPS 133954 WITH SCORE 134537.667
AT ITER 1331 NEW BEST:: SOT 1124578 SOS 583916 HAS SOPS 580007 HAS SOUS 136612 HAS SOUPS 133649 WITH SCORE 134232.916
AT ITER 1333 NEW BEST:: SOT 1124593 SOS 584372 HAS SOPS 580536 HAS SOUS 136516 HAS SOUPS 133632 WITH SCORE 134216.372
AT ITER 1339 NEW BEST:: SOT 1124590 SOS 583857 HAS SOPS 580028 HAS SOUS 136434 HAS SOUPS 133557 WITH SCORE 134140.857
AT ITER 1363 NEW BEST:: SOT 1124474 SOS 583741 HAS SOPS 579912 HAS SOUS 134696 HAS SOUPS 131819 WITH SCORE 132402.741
AT ITER 1377 NEW BEST:: SOT 1124490 SOS 584904 HAS SOPS 581100 HAS SOUS 134431 HAS SOUPS 131579 WITH SCORE 132163.904
AT ITER 1391 NEW BEST:: SOT 1123789 SOS 587581 HAS SOPS 583808 HAS SOUS 133999 HAS SOUPS 131147 WITH SCORE 131734.581
AT ITER 1407 NEW BEST:: SOT 1123862 SOS 580324 HAS SOPS 576841 HAS SOUS 133497 HAS SOUPS 130719 WITH SCORE 131299.324
AT ITER 1411 NEW BEST:: SOT 1123862 SOS 579263 HAS SOPS 575545 HAS SOUS 133457 HAS SOUPS 130599 WITH SCORE 131178.263
AT ITER 1413 NEW BEST:: SOT 1125236 SOS 577086 HAS SOPS 573368 HAS SOUS 133001 HAS SOUPS 130143 WITH SCORE 130720.086
AT ITER 1420 NEW BEST:: SOT 1125236 SOS 576701 HAS SOPS 572983 HAS SOUS 132846 HAS SOUPS 129988 WITH SCORE 130564.701
AT ITER 1422 NEW BEST:: SOT 1125252 SOS 576497 HAS SOPS 572779 HAS SOUS 132622 HAS SOUPS 129764 WITH SCORE 130340.497
AT ITER 1428 NEW BEST:: SOT 1125112 SOS 576731 HAS SOPS 573013 HAS SOUS 132521 HAS SOUPS 129663 WITH SCORE 130239.731
AT ITER 1463 NEW BEST:: SOT 1125147 SOS 606120 HAS SOPS 602448 HAS SOUS 132144 HAS SOUPS 129290 WITH SCORE 129896.12
AT ITER 1472 NEW BEST:: SOT 1125147 SOS 606128 HAS SOPS 602456 HAS SOUS 132142 HAS SOUPS 129288 WITH SCORE 129894.128
AT ITER 1485 NEW BEST:: SOT 1125147 SOS 606168 HAS SOPS 602496 HAS SOUS 132134 HAS SOUPS 129280 WITH SCORE 129886.168
AT ITER 1487 NEW BEST:: SOT 1125162 SOS 606571 HAS SOPS 602857 HAS SOUS 132123 HAS SOUPS 129257 WITH SCORE 129863.571
AT ITER 1498 NEW BEST:: SOT 1125162 SOS 606418 HAS SOPS 602653 HAS SOUS 132123 HAS SOUPS 129206 WITH SCORE 129812.418
AT ITER 1510 NEW BEST:: SOT 1125129 SOS 606373 HAS SOPS 602608 HAS SOUS 132087 HAS SOUPS 129170 WITH SCORE 129776.373
AT ITER 1520 NEW BEST:: SOT 1125016 SOS 606188 HAS SOPS 602423 HAS SOUS 131938 HAS SOUPS 129021 WITH SCORE 129627.188
AT ITER 1527 NEW BEST:: SOT 1124100 SOS 605117 HAS SOPS 601352 HAS SOUS 130967 HAS SOUPS 128050 WITH SCORE 128655.117
AT ITER 1531 NEW BEST:: SOT 1124100 SOS 605114 HAS SOPS 601352 HAS SOUS 130911 HAS SOUPS 127997 WITH SCORE 128602.114
AT ITER 1536 NEW BEST:: SOT 1124135 SOS 605149 HAS SOPS 601387 HAS SOUS 130807 HAS SOUPS 127893 WITH SCORE 128498.149
AT ITER 1556 NEW BEST:: SOT 1124153 SOS 606175 HAS SOPS 602413 HAS SOUS 130712 HAS SOUPS 127798 WITH SCORE 128404.175
AT ITER 1560 NEW BEST:: SOT 1124160 SOS 606182 HAS SOPS 602420 HAS SOUS 130640 HAS SOUPS 127726 WITH SCORE 128332.182
AT ITER 1562 NEW BEST:: SOT 1124160 SOS 606427 HAS SOPS 602684 HAS SOUS 130555 HAS SOUPS 127660 WITH SCORE 128266.427
AT ITER 1575 NEW BEST:: SOT 1124155 SOS 606422 HAS SOPS 602679 HAS SOUS 130550 HAS SOUPS 127655 WITH SCORE 128261.422
AT ITER 1576 NEW BEST:: SOT 1124164 SOS 606723 HAS SOPS 603039 HAS SOUS 130250 HAS SOUPS 127420 WITH SCORE 128026.723
AT ITER 1591 NEW BEST:: SOT 1122958 SOS 605517 HAS SOPS 601833 HAS SOUS 130111 HAS SOUPS 127281 WITH SCORE 127886.517
AT ITER 1592 NEW BEST:: SOT 1122949 SOS 605508 HAS SOPS 601824 HAS SOUS 130102 HAS SOUPS 127272 WITH SCORE 127877.508
AT ITER 1598 NEW BEST:: SOT 1122949 SOS 605491 HAS SOPS 601807 HAS SOUS 130085 HAS SOUPS 127255 WITH SCORE 127860.491
AT ITER 1614 NEW BEST:: SOT 1122949 SOS 605323 HAS SOPS 601605 HAS SOUS 130085 HAS SOUPS 127221 WITH SCORE 127826.323
AT ITER 1625 NEW BEST:: SOT 1122949 SOS 604153 HAS SOPS 600435 HAS SOUS 129989 HAS SOUPS 127125 WITH SCORE 127729.153
AT ITER 1636 NEW BEST:: SOT 1122953 SOS 604063 HAS SOPS 600345 HAS SOUS 129825 HAS SOUPS 126961 WITH SCORE 127565.063
AT ITER 1638 NEW BEST:: SOT 1122953 SOS 603535 HAS SOPS 599817 HAS SOUS 129825 HAS SOUPS 126961 WITH SCORE 127564.535
AT ITER 1644 NEW BEST:: SOT 1122386 SOS 602968 HAS SOPS 599250 HAS SOUS 129731 HAS SOUPS 126867 WITH SCORE 127469.968
AT ITER 1652 NEW BEST:: SOT 1121963 SOS 602367 HAS SOPS 598649 HAS SOUS 129152 HAS SOUPS 126288 WITH SCORE 126890.367
AT ITER 1658 NEW BEST:: SOT 1121963 SOS 601312 HAS SOPS 597594 HAS SOUS 129152 HAS SOUPS 126288 WITH SCORE 126889.312
AT ITER 1668 NEW BEST:: SOT 1121981 SOS 601329 HAS SOPS 597612 HAS SOUS 129139 HAS SOUPS 126276 WITH SCORE 126877.329
AT ITER 1702 NEW BEST:: SOT 1121913 SOS 601261 HAS SOPS 597544 HAS SOUS 128999 HAS SOUPS 126136 WITH SCORE 126737.261
AT ITER 1722 NEW BEST:: SOT 1121913 SOS 601429 HAS SOPS 597712 HAS SOUS 128944 HAS SOUPS 126081 WITH SCORE 126682.429
AT ITER 1723 NEW BEST:: SOT 1122739 SOS 603022 HAS SOPS 599349 HAS SOUS 128011 HAS SOUPS 125148 WITH SCORE 125751.022
AT ITER 1748 NEW BEST:: SOT 1122948 SOS 603231 HAS SOPS 599558 HAS SOUS 127583 HAS SOUPS 124720 WITH SCORE 125323.231
AT ITER 1752 NEW BEST:: SOT 1122886 SOS 603169 HAS SOPS 599496 HAS SOUS 127521 HAS SOUPS 124658 WITH SCORE 125261.169
AT ITER 1773 NEW BEST:: SOT 1122826 SOS 603109 HAS SOPS 599431 HAS SOUS 127456 HAS SOUPS 124593 WITH SCORE 125196.109
AT ITER 1776 NEW BEST:: SOT 1122959 SOS 604034 HAS SOPS 600356 HAS SOUS 127420 HAS SOUPS 124557 WITH SCORE 125161.034
AT ITER 1782 NEW BEST:: SOT 1122637 SOS 603383 HAS SOPS 599705 HAS SOUS 127361 HAS SOUPS 124498 WITH SCORE 125101.383
AT ITER 1800 NEW BEST:: SOT 1122637 SOS 602855 HAS SOPS 599178 HAS SOUS 127340 HAS SOUPS 124477 WITH SCORE 125079.855
AT ITER 1802 NEW BEST:: SOT 1122637 SOS 602831 HAS SOPS 599154 HAS SOUS 127308 HAS SOUPS 124445 WITH SCORE 125047.831
AT ITER 1806 NEW BEST:: SOT 1122325 SOS 602519 HAS SOPS 598842 HAS SOUS 126661 HAS SOUPS 123798 WITH SCORE 124400.519
AT ITER 1816 NEW BEST:: SOT 1122325 SOS 603162 HAS SOPS 599485 HAS SOUS 126045 HAS SOUPS 123182 WITH SCORE 123785.162
AT ITER 1834 NEW BEST:: SOT 1121287 SOS 602124 HAS SOPS 598377 HAS SOUS 125452 HAS SOUPS 122519 WITH SCORE 123121.124
AT ITER 1844 NEW BEST:: SOT 1122462 SOS 603423 HAS SOPS 599676 HAS SOUS 124990 HAS SOUPS 122057 WITH SCORE 122660.423
AT ITER 1860 NEW BEST:: SOT 1122198 SOS 602904 HAS SOPS 599142 HAS SOUS 124717 HAS SOUPS 121769 WITH SCORE 122371.904
AT ITER 1883 NEW BEST:: SOT 1122291 SOS 602997 HAS SOPS 599235 HAS SOUS 124448 HAS SOUPS 121500 WITH SCORE 122102.997
AT ITER 1886 NEW BEST:: SOT 1121933 SOS 602639 HAS SOPS 599885 HAS SOUS 121745 HAS SOUPS 119805 WITH SCORE 120407.639
AT ITER 1893 NEW BEST:: SOT 1121933 SOS 602634 HAS SOPS 599880 HAS SOUS 121713 HAS SOUPS 119773 WITH SCORE 120375.634
AT ITER 1895 NEW BEST:: SOT 1121912 SOS 607077 HAS SOPS 604323 HAS SOUS 121650 HAS SOUPS 119710 WITH SCORE 120317.077
AT ITER 1941 NEW BEST:: SOT 1121776 SOS 606965 HAS SOPS 604211 HAS SOUS 121526 HAS SOUPS 119586 WITH SCORE 120192.965
AT ITER 1945 NEW BEST:: SOT 1121737 SOS 606926 HAS SOPS 604172 HAS SOUS 121506 HAS SOUPS 119566 WITH SCORE 120172.926
AT ITER 1954 NEW BEST:: SOT 1121879 SOS 606786 HAS SOPS 604044 HAS SOUS 120683 HAS SOUPS 118749 WITH SCORE 119355.786
AT ITER 1957 NEW BEST:: SOT 1121865 SOS 613444 HAS SOPS 610702 HAS SOUS 120655 HAS SOUPS 118721 WITH SCORE 119334.444
AT ITER 1967 NEW BEST:: SOT 1121865 SOS 613252 HAS SOPS 610510 HAS SOUS 120655 HAS SOUPS 118721 WITH SCORE 119334.252
AT ITER 1975 NEW BEST:: SOT 1122044 SOS 613431 HAS SOPS 610689 HAS SOUS 120526 HAS SOUPS 118592 WITH SCORE 119205.431
AT ITER 1988 NEW BEST:: SOT 1122044 SOS 613329 HAS SOPS 610617 HAS SOUS 120496 HAS SOUPS 118592 WITH SCORE 119205.329
AT ITER 1989 NEW BEST:: SOT 1122035 SOS 613320 HAS SOPS 610608 HAS SOUS 119510 HAS SOUPS 117606 WITH SCORE 118219.32
AT ITER 1991 NEW BEST:: SOT 1122017 SOS 613302 HAS SOPS 610590 HAS SOUS 119471 HAS SOUPS 117567 WITH SCORE 118180.302
AT ITER 1996 NEW BEST:: SOT 1121942 SOS 613227 HAS SOPS 610779 HAS SOUS 119193 HAS SOUPS 117553 WITH SCORE 118166.227
AT ITER 2003 NEW BEST:: SOT 1121763 SOS 613070 HAS SOPS 610622 HAS SOUS 118683 HAS SOUPS 117043 WITH SCORE 117656.07
AT ITER 2005 NEW BEST:: SOT 1121702 SOS 613652 HAS SOPS 611239 HAS SOUS 118466 HAS SOUPS 116826 WITH SCORE 117439.652
AT ITER 2006 NEW BEST:: SOT 1120878 SOS 612147 HAS SOPS 609910 HAS SOUS 116321 HAS SOUPS 114706 WITH SCORE 115318.147
AT ITER 2018 NEW BEST:: SOT 1120878 SOS 611618 HAS SOPS 609358 HAS SOUS 116344 HAS SOUPS 114706 WITH SCORE 115317.618
AT ITER 2030 NEW BEST:: SOT 1120552 SOS 611292 HAS SOPS 609032 HAS SOUS 116304 HAS SOUPS 114666 WITH SCORE 115277.292
AT ITER 2044 NEW BEST:: SOT 1120544 SOS 611284 HAS SOPS 609024 HAS SOUS 116254 HAS SOUPS 114616 WITH SCORE 115227.284
AT ITER 2049 NEW BEST:: SOT 1119225 SOS 610671 HAS SOPS 608411 HAS SOUS 116199 HAS SOUPS 114561 WITH SCORE 115171.671
AT ITER 2053 NEW BEST:: SOT 1119225 SOS 610269 HAS SOPS 608051 HAS SOUS 116149 HAS SOUPS 114553 WITH SCORE 115163.269
AT ITER 2062 NEW BEST:: SOT 1119811 SOS 610855 HAS SOPS 608637 HAS SOUS 114799 HAS SOUPS 113203 WITH SCORE 113813.855
AT ITER 2068 NEW BEST:: SOT 1119643 SOS 610583 HAS SOPS 608369 HAS SOUS 114755 HAS SOUPS 113160 WITH SCORE 113770.583
AT ITER 2071 NEW BEST:: SOT 1119892 SOS 610856 HAS SOPS 608642 HAS SOUS 114728 HAS SOUPS 113133 WITH SCORE 113743.856
AT ITER 2072 NEW BEST:: SOT 1119892 SOS 611203 HAS SOPS 609002 HAS SOUS 114713 HAS SOUPS 113131 WITH SCORE 113742.203
AT ITER 2079 NEW BEST:: SOT 1120259 SOS 611741 HAS SOPS 609657 HAS SOUS 114425 HAS SOUPS 112880 WITH SCORE 113491.741
AT ITER 2085 NEW BEST:: SOT 1120259 SOS 611737 HAS SOPS 609653 HAS SOUS 114421 HAS SOUPS 112876 WITH SCORE 113487.737
AT ITER 2098 NEW BEST:: SOT 1121061 SOS 613139 HAS SOPS 611055 HAS SOUS 114127 HAS SOUPS 112582 WITH SCORE 113195.139
AT ITER 2105 NEW BEST:: SOT 1121061 SOS 614229 HAS SOPS 612183 HAS SOUS 114080 HAS SOUPS 112573 WITH SCORE 113187.229
AT ITER 2114 NEW BEST:: SOT 1121066 SOS 614014 HAS SOPS 611988 HAS SOUS 113612 HAS SOUPS 112110 WITH SCORE 112724.014
AT ITER 2119 NEW BEST:: SOT 1120129 SOS 613077 HAS SOPS 611051 HAS SOUS 113472 HAS SOUPS 111970 WITH SCORE 112583.077
AT ITER 2121 NEW BEST:: SOT 1120129 SOS 612194 HAS SOPS 610243 HAS SOUS 113404 HAS SOUPS 111917 WITH SCORE 112529.194
AT ITER 2133 NEW BEST:: SOT 1120041 SOS 612058 HAS SOPS 610107 HAS SOUS 113364 HAS SOUPS 111877 WITH SCORE 112489.058
AT ITER 2164 NEW BEST:: SOT 1120051 SOS 612068 HAS SOPS 610117 HAS SOUS 113182 HAS SOUPS 111695 WITH SCORE 112307.068
AT ITER 2165 NEW BEST:: SOT 1120051 SOS 612046 HAS SOPS 610095 HAS SOUS 113182 HAS SOUPS 111695 WITH SCORE 112307.046
AT ITER 2171 NEW BEST:: SOT 1120023 SOS 612014 HAS SOPS 610067 HAS SOUS 113039 HAS SOUPS 111556 WITH SCORE 112168.014
AT ITER 2181 NEW BEST:: SOT 1120023 SOS 612018 HAS SOPS 610071 HAS SOUS 113029 HAS SOUPS 111546 WITH SCORE 112158.018
AT ITER 2187 NEW BEST:: SOT 1117670 SOS 609665 HAS SOPS 607718 HAS SOUS 112682 HAS SOUPS 111199 WITH SCORE 111808.665
AT ITER 2198 NEW BEST:: SOT 1117730 SOS 609982 HAS SOPS 607868 HAS SOUS 112762 HAS SOUPS 111112 WITH SCORE 111721.982
AT ITER 2200 NEW BEST:: SOT 1117717 SOS 609344 HAS SOPS 607189 HAS SOUS 112603 HAS SOUPS 110912 WITH SCORE 111521.344
AT ITER 2222 NEW BEST:: SOT 1117717 SOS 609356 HAS SOPS 607201 HAS SOUS 112600 HAS SOUPS 110909 WITH SCORE 111518.356
AT ITER 2224 NEW BEST:: SOT 1117117 SOS 608756 HAS SOPS 606601 HAS SOUS 112100 HAS SOUPS 110409 WITH SCORE 111017.756
AT ITER 2234 NEW BEST:: SOT 1116812 SOS 609963 HAS SOPS 607808 HAS SOUS 112023 HAS SOUPS 110332 WITH SCORE 110941.963
AT ITER 2237 NEW BEST:: SOT 1116948 SOS 610099 HAS SOPS 607944 HAS SOUS 111763 HAS SOUPS 110072 WITH SCORE 110682.099
AT ITER 2244 NEW BEST:: SOT 1116302 SOS 609013 HAS SOPS 606854 HAS SOUS 111502 HAS SOUPS 109810 WITH SCORE 110419.013
AT ITER 2249 NEW BEST:: SOT 1116297 SOS 609064 HAS SOPS 606905 HAS SOUS 111214 HAS SOUPS 109522 WITH SCORE 110131.064
AT ITER 2261 NEW BEST:: SOT 1116366 SOS 609885 HAS SOPS 607726 HAS SOUS 111185 HAS SOUPS 109493 WITH SCORE 110102.885
AT ITER 2267 NEW BEST:: SOT 1116366 SOS 609750 HAS SOPS 607598 HAS SOUS 111168 HAS SOUPS 109483 WITH SCORE 110092.75
AT ITER 2294 NEW BEST:: SOT 1116171 SOS 609555 HAS SOPS 607403 HAS SOUS 110783 HAS SOUPS 109098 WITH SCORE 109707.555
AT ITER 2303 NEW BEST:: SOT 1116152 SOS 610981 HAS SOPS 608829 HAS SOUS 110769 HAS SOUPS 109084 WITH SCORE 109694.981
AT ITER 2307 NEW BEST:: SOT 1115791 SOS 610422 HAS SOPS 608270 HAS SOUS 110024 HAS SOUPS 108339 WITH SCORE 108949.422
AT ITER 2326 NEW BEST:: SOT 1115741 SOS 608908 HAS SOPS 606756 HAS SOUS 109859 HAS SOUPS 108174 WITH SCORE 108782.908
AT ITER 2351 NEW BEST:: SOT 1115741 SOS 608908 HAS SOPS 606756 HAS SOUS 109731 HAS SOUPS 108046 WITH SCORE 108654.908
AT ITER 2357 NEW BEST:: SOT 1115794 SOS 608909 HAS SOPS 606757 HAS SOUS 109543 HAS SOUPS 107858 WITH SCORE 108466.909
AT ITER 2388 NEW BEST:: SOT 1115778 SOS 608893 HAS SOPS 606741 HAS SOUS 109511 HAS SOUPS 107826 WITH SCORE 108434.893
AT ITER 2412 NEW BEST:: SOT 1115778 SOS 608196 HAS SOPS 606091 HAS SOUS 109394 HAS SOUPS 107720 WITH SCORE 108328.196
AT ITER 2430 NEW BEST:: SOT 1114765 SOS 607205 HAS SOPS 605078 HAS SOUS 109369 HAS SOUPS 107673 WITH SCORE 108280.205
AT ITER 2433 NEW BEST:: SOT 1114765 SOS 607189 HAS SOPS 605063 HAS SOUS 109367 HAS SOUPS 107672 WITH SCORE 108279.189
AT ITER 2440 NEW BEST:: SOT 1113684 SOS 605824 HAS SOPS 603698 HAS SOUS 108489 HAS SOUPS 106794 WITH SCORE 107399.824
AT ITER 2441 NEW BEST:: SOT 1113452 SOS 605664 HAS SOPS 603538 HAS SOUS 108224 HAS SOUPS 106529 WITH SCORE 107134.664
AT ITER 2466 NEW BEST:: SOT 1113715 SOS 605115 HAS SOPS 603041 HAS SOUS 108090 HAS SOUPS 106408 WITH SCORE 107013.115
AT ITER 2499 NEW BEST:: SOT 1113730 SOS 605130 HAS SOPS 603056 HAS SOUS 108042 HAS SOUPS 106360 WITH SCORE 106965.13
AT ITER 2537 NEW BEST:: SOT 1113808 SOS 605240 HAS SOPS 603166 HAS SOUS 107831 HAS SOUPS 106149 WITH SCORE 106754.24
AT ITER 2553 NEW BEST:: SOT 1113808 SOS 597930 HAS SOPS 595844 HAS SOUS 107817 HAS SOUPS 106132 WITH SCORE 106729.93
AT ITER 2563 NEW BEST:: SOT 1113808 SOS 597930 HAS SOPS 595844 HAS SOUS 107811 HAS SOUPS 106126 WITH SCORE 106723.93
AT ITER 2573 NEW BEST:: SOT 1113637 SOS 598863 HAS SOPS 596777 HAS SOUS 107440 HAS SOUPS 105755 WITH SCORE 106353.863
AT ITER 2577 NEW BEST:: SOT 1113637 SOS 598695 HAS SOPS 596609 HAS SOUS 107440 HAS SOUPS 105755 WITH SCORE 106353.695
AT ITER 2592 NEW BEST:: SOT 1113606 SOS 598704 HAS SOPS 596618 HAS SOUS 107206 HAS SOUPS 105521 WITH SCORE 106119.704
AT ITER 2598 NEW BEST:: SOT 1113518 SOS 598616 HAS SOPS 596530 HAS SOUS 107086 HAS SOUPS 105401 WITH SCORE 105999.616
AT ITER 2624 NEW BEST:: SOT 1113714 SOS 599316 HAS SOPS 597230 HAS SOUS 106811 HAS SOUPS 105126 WITH SCORE 105725.316
AT ITER 2637 NEW BEST:: SOT 1113222 SOS 598560 HAS SOPS 596474 HAS SOUS 106578 HAS SOUPS 104893 WITH SCORE 105491.56
AT ITER 2649 NEW BEST:: SOT 1114165 SOS 599503 HAS SOPS 597417 HAS SOUS 106379 HAS SOUPS 104694 WITH SCORE 105293.503
AT ITER 2652 NEW BEST:: SOT 1114043 SOS 599621 HAS SOPS 597535 HAS SOUS 106276 HAS SOUPS 104591 WITH SCORE 105190.621
AT ITER 2659 NEW BEST:: SOT 1114008 SOS 599182 HAS SOPS 597092 HAS SOUS 106231 HAS SOUPS 104545 WITH SCORE 105144.182
AT ITER 2660 NEW BEST:: SOT 1114825 SOS 599999 HAS SOPS 597909 HAS SOUS 105912 HAS SOUPS 104226 WITH SCORE 104825.999
AT ITER 2670 NEW BEST:: SOT 1114659 SOS 599851 HAS SOPS 597780 HAS SOUS 105697 HAS SOUPS 104030 WITH SCORE 104629.851
AT ITER 2678 NEW BEST:: SOT 1114666 SOS 600200 HAS SOPS 598110 HAS SOUS 105686 HAS SOUPS 104000 WITH SCORE 104600.2
AT ITER 2693 NEW BEST:: SOT 1114667 SOS 601449 HAS SOPS 599359 HAS SOUS 105489 HAS SOUPS 103803 WITH SCORE 104404.449
AT ITER 2714 NEW BEST:: SOT 1114667 SOS 601372 HAS SOPS 599287 HAS SOUS 105484 HAS SOUPS 103803 WITH SCORE 104404.372
AT ITER 2718 NEW BEST:: SOT 1113947 SOS 600652 HAS SOPS 598567 HAS SOUS 105320 HAS SOUPS 103639 WITH SCORE 104239.652
AT ITER 2720 NEW BEST:: SOT 1113947 SOS 621132 HAS SOPS 619087 HAS SOUS 105250 HAS SOUPS 103609 WITH SCORE 104230.132
AT ITER 2729 NEW BEST:: SOT 1113947 SOS 621126 HAS SOPS 619081 HAS SOUS 105250 HAS SOUPS 103609 WITH SCORE 104230.126
AT ITER 2753 NEW BEST:: SOT 1113595 SOS 620781 HAS SOPS 618729 HAS SOUS 105212 HAS SOUPS 103564 WITH SCORE 104184.781
AT ITER 2777 NEW BEST:: SOT 1113590 SOS 620776 HAS SOPS 618724 HAS SOUS 105203 HAS SOUPS 103555 WITH SCORE 104175.776
AT ITER 2795 NEW BEST:: SOT 1113585 SOS 620771 HAS SOPS 618719 HAS SOUS 105198 HAS SOUPS 103550 WITH SCORE 104170.771
AT ITER 2801 NEW BEST:: SOT 1114350 SOS 621536 HAS SOPS 619484 HAS SOUS 105143 HAS SOUPS 103495 WITH SCORE 104116.536
AT ITER 2813 NEW BEST:: SOT 1114350 SOS 621544 HAS SOPS 619492 HAS SOUS 105123 HAS SOUPS 103475 WITH SCORE 104096.544
AT ITER 2822 NEW BEST:: SOT 1114350 SOS 621544 HAS SOPS 619492 HAS SOUS 105003 HAS SOUPS 103355 WITH SCORE 103976.544
AT ITER 2848 NEW BEST:: SOT 1113798 SOS 622528 HAS SOPS 618957 HAS SOUS 105832 HAS SOUPS 102665 WITH SCORE 103287.528
AT ITER 2870 NEW BEST:: SOT 1113798 SOS 623523 HAS SOPS 619965 HAS SOUS 105818 HAS SOUPS 102664 WITH SCORE 103287.523
AT ITER 2883 NEW BEST:: SOT 1114127 SOS 623844 HAS SOPS 620294 HAS SOUS 105667 HAS SOUPS 102521 WITH SCORE 103144.844
AT ITER 2888 NEW BEST:: SOT 1114139 SOS 623856 HAS SOPS 620306 HAS SOUS 105604 HAS SOUPS 102458 WITH SCORE 103081.856
AT ITER 2891 NEW BEST:: SOT 1114536 SOS 624288 HAS SOPS 620738 HAS SOUS 105350 HAS SOUPS 102204 WITH SCORE 102828.288
AT ITER 2903 NEW BEST:: SOT 1114692 SOS 624444 HAS SOPS 620894 HAS SOUS 105314 HAS SOUPS 102168 WITH SCORE 102792.444
AT ITER 2906 NEW BEST:: SOT 1114692 SOS 608820 HAS SOPS 605270 HAS SOUS 105296 HAS SOUPS 102150 WITH SCORE 102758.82
AT ITER 2923 NEW BEST:: SOT 1113560 SOS 611501 HAS SOPS 607924 HAS SOUS 104694 HAS SOUPS 101521 WITH SCORE 102132.501
AT ITER 2930 NEW BEST:: SOT 1113560 SOS 613576 HAS SOPS 609999 HAS SOUS 104678 HAS SOUPS 101505 WITH SCORE 102118.576
AT ITER 2932 NEW BEST:: SOT 1111605 SOS 617549 HAS SOPS 613972 HAS SOUS 104614 HAS SOUPS 101441 WITH SCORE 102058.549
AT ITER 2936 NEW BEST:: SOT 1111436 SOS 617932 HAS SOPS 614355 HAS SOUS 104447 HAS SOUPS 101274 WITH SCORE 101891.932
AT ITER 2959 NEW BEST:: SOT 1111346 SOS 617842 HAS SOPS 614265 HAS SOUS 103789 HAS SOUPS 100616 WITH SCORE 101233.842
AT ITER 2972 NEW BEST:: SOT 1111374 SOS 617709 HAS SOPS 614173 HAS SOUS 103486 HAS SOUPS 100354 WITH SCORE 100971.709
AT ITER 2988 NEW BEST:: SOT 1111256 SOS 617591 HAS SOPS 614055 HAS SOUS 103271 HAS SOUPS 100139 WITH SCORE 100756.591
AT ITER 3017 NEW BEST:: SOT 1111256 SOS 617351 HAS SOPS 613815 HAS SOUS 103271 HAS SOUPS 100139 WITH SCORE 100756.351
AT ITER 3025 NEW BEST:: SOT 1111170 SOS 613249 HAS SOPS 609713 HAS SOUS 102427 HAS SOUPS 99295 WITH SCORE 99908.249
AT ITER 3051 NEW BEST:: SOT 1111170 SOS 612301 HAS SOPS 608753 HAS SOUS 102408 HAS SOUPS 99264 WITH SCORE 99876.301
AT ITER 3053 NEW BEST:: SOT 1110863 SOS 615090 HAS SOPS 611542 HAS SOUS 102275 HAS SOUPS 99131 WITH SCORE 99746.09
AT ITER 3057 NEW BEST:: SOT 1109826 SOS 614535 HAS SOPS 610987 HAS SOUS 101536 HAS SOUPS 98392 WITH SCORE 99006.535
AT ITER 3064 NEW BEST:: SOT 1109921 SOS 614630 HAS SOPS 611082 HAS SOUS 101328 HAS SOUPS 98184 WITH SCORE 98798.63
AT ITER 3073 NEW BEST:: SOT 1109891 SOS 614648 HAS SOPS 611100 HAS SOUS 101300 HAS SOUPS 98156 WITH SCORE 98770.648
AT ITER 3087 NEW BEST:: SOT 1109891 SOS 613280 HAS SOPS 609732 HAS SOUS 101287 HAS SOUPS 98143 WITH SCORE 98756.28
AT ITER 3093 NEW BEST:: SOT 1109458 SOS 612847 HAS SOPS 609299 HAS SOUS 101084 HAS SOUPS 97940 WITH SCORE 98552.847
AT ITER 3103 NEW BEST:: SOT 1109458 SOS 612847 HAS SOPS 609299 HAS SOUS 100916 HAS SOUPS 97772 WITH SCORE 98384.847
AT ITER 3119 NEW BEST:: SOT 1109458 SOS 646085 HAS SOPS 642767 HAS SOUS 100780 HAS SOUPS 97682 WITH SCORE 98328.085
AT ITER 3137 NEW BEST:: SOT 1109458 SOS 645326 HAS SOPS 641975 HAS SOUS 100813 HAS SOUPS 97682 WITH SCORE 98327.326
AT ITER 3150 NEW BEST:: SOT 1107362 SOS 643230 HAS SOPS 639879 HAS SOUS 100742 HAS SOUPS 97611 WITH SCORE 98254.23
AT ITER 3165 NEW BEST:: SOT 1107362 SOS 643208 HAS SOPS 639879 HAS SOUS 100720 HAS SOUPS 97611 WITH SCORE 98254.208
AT ITER 3206 NEW BEST:: SOT 1107274 SOS 643120 HAS SOPS 639929 HAS SOUS 100567 HAS SOUPS 97596 WITH SCORE 98239.12
AT ITER 3210 NEW BEST:: SOT 1107274 SOS 643120 HAS SOPS 639929 HAS SOUS 100415 HAS SOUPS 97444 WITH SCORE 98087.12
AT ITER 3226 NEW BEST:: SOT 1107274 SOS 642592 HAS SOPS 639401 HAS SOUS 100415 HAS SOUPS 97444 WITH SCORE 98086.592
AT ITER 3228 NEW BEST:: SOT 1107093 SOS 642411 HAS SOPS 640457 HAS SOUS 99037 HAS SOUPS 97303 WITH SCORE 97945.411
AT ITER 3239 NEW BEST:: SOT 1107051 SOS 642369 HAS SOPS 640415 HAS SOUS 98950 HAS SOUPS 97216 WITH SCORE 97858.369
AT ITER 3278 NEW BEST:: SOT 1107044 SOS 642170 HAS SOPS 640216 HAS SOUS 98935 HAS SOUPS 97201 WITH SCORE 97843.17
AT ITER 3286 NEW BEST:: SOT 1107044 SOS 602186 HAS SOPS 600232 HAS SOUS 98934 HAS SOUPS 97200 WITH SCORE 97802.186
AT ITER 3349 NEW BEST:: SOT 1107044 SOS 602139 HAS SOPS 600138 HAS SOUS 98934 HAS SOUPS 97153 WITH SCORE 97755.139
AT ITER 3351 NEW BEST:: SOT 1107032 SOS 602127 HAS SOPS 600126 HAS SOUS 98922 HAS SOUPS 97141 WITH SCORE 97743.127
AT ITER 3356 NEW BEST:: SOT 1107026 SOS 602121 HAS SOPS 600120 HAS SOUS 98907 HAS SOUPS 97126 WITH SCORE 97728.121
AT ITER 3375 NEW BEST:: SOT 1106900 SOS 601517 HAS SOPS 599513 HAS SOUS 98445 HAS SOUPS 96661 WITH SCORE 97262.517
AT ITER 3386 NEW BEST:: SOT 1106645 SOS 601838 HAS SOPS 599834 HAS SOUS 98315 HAS SOUPS 96531 WITH SCORE 97132.838
AT ITER 3391 NEW BEST:: SOT 1106645 SOS 601514 HAS SOPS 599510 HAS SOUS 98315 HAS SOUPS 96531 WITH SCORE 97132.514
AT ITER 3416 NEW BEST:: SOT 1103658 SOS 598473 HAS SOPS 596469 HAS SOUS 98125 HAS SOUPS 96341 WITH SCORE 96939.473
AT ITER 3444 NEW BEST:: SOT 1103658 SOS 595957 HAS SOPS 593856 HAS SOUS 98116 HAS SOUPS 96235 WITH SCORE 96830.957
AT ITER 3451 NEW BEST:: SOT 1103695 SOS 595994 HAS SOPS 593893 HAS SOUS 97348 HAS SOUPS 95467 WITH SCORE 96062.994
AT ITER 3462 NEW BEST:: SOT 1103567 SOS 595866 HAS SOPS 593765 HAS SOUS 97282 HAS SOUPS 95401 WITH SCORE 95996.866
AT ITER 3477 NEW BEST:: SOT 1103257 SOS 595556 HAS SOPS 593455 HAS SOUS 97003 HAS SOUPS 95122 WITH SCORE 95717.556
AT ITER 3480 NEW BEST:: SOT 1103385 SOS 595684 HAS SOPS 593103 HAS SOUS 97241 HAS SOUPS 94880 WITH SCORE 95475.684
AT ITER 3493 NEW BEST:: SOT 1104268 SOS 596567 HAS SOPS 593986 HAS SOUS 96742 HAS SOUPS 94381 WITH SCORE 94977.567
AT ITER 3510 NEW BEST:: SOT 1104279 SOS 593986 HAS SOPS 591405 HAS SOUS 96696 HAS SOUPS 94335 WITH SCORE 94928.986
AT ITER 3511 NEW BEST:: SOT 1102196 SOS 595647 HAS SOPS 593057 HAS SOUS 96671 HAS SOUPS 94301 WITH SCORE 94896.647
AT ITER 3541 NEW BEST:: SOT 1101390 SOS 594860 HAS SOPS 592251 HAS SOUS 96417 HAS SOUPS 94028 WITH SCORE 94622.86
AT ITER 3555 NEW BEST:: SOT 1101369 SOS 594863 HAS SOPS 592254 HAS SOUS 96389 HAS SOUPS 94000 WITH SCORE 94594.863
AT ITER 3556 NEW BEST:: SOT 1101369 SOS 594857 HAS SOPS 592182 HAS SOUS 96395 HAS SOUPS 93940 WITH SCORE 94534.857
AT ITER 3574 NEW BEST:: SOT 1099568 SOS 593296 HAS SOPS 590598 HAS SOUS 95811 HAS SOUPS 93333 WITH SCORE 93926.296
AT ITER 3578 NEW BEST:: SOT 1099553 SOS 593281 HAS SOPS 590583 HAS SOUS 95651 HAS SOUPS 93173 WITH SCORE 93766.281
AT ITER 3621 NEW BEST:: SOT 1098917 SOS 593409 HAS SOPS 590711 HAS SOUS 95322 HAS SOUPS 92844 WITH SCORE 93437.409
AT ITER 3630 NEW BEST:: SOT 1098917 SOS 591777 HAS SOPS 589007 HAS SOUS 95387 HAS SOUPS 92837 WITH SCORE 93428.777
AT ITER 3657 NEW BEST:: SOT 1098917 SOS 591777 HAS SOPS 589007 HAS SOUS 95293 HAS SOUPS 92743 WITH SCORE 93334.777
AT ITER 3666 NEW BEST:: SOT 1098980 SOS 591840 HAS SOPS 589070 HAS SOUS 95140 HAS SOUPS 92590 WITH SCORE 93181.84
AT ITER 3673 NEW BEST:: SOT 1098980 SOS 591833 HAS SOPS 589063 HAS SOUS 95133 HAS SOUPS 92583 WITH SCORE 93174.833
AT ITER 3680 NEW BEST:: SOT 1098980 SOS 591834 HAS SOPS 589065 HAS SOUS 95121 HAS SOUPS 92572 WITH SCORE 93163.834
AT ITER 3685 NEW BEST:: SOT 1099095 SOS 591949 HAS SOPS 589180 HAS SOUS 94572 HAS SOUPS 92023 WITH SCORE 92614.949
AT ITER 3688 NEW BEST:: SOT 1099095 SOS 591985 HAS SOPS 589148 HAS SOUS 94572 HAS SOUPS 91955 WITH SCORE 92546.985
AT ITER 3697 NEW BEST:: SOT 1099095 SOS 591964 HAS SOPS 589148 HAS SOUS 94551 HAS SOUPS 91955 WITH SCORE 92546.964
AT ITER 3703 NEW BEST:: SOT 1099047 SOS 591868 HAS SOPS 589052 HAS SOUS 94499 HAS SOUPS 91903 WITH SCORE 92494.868
AT ITER 3706 NEW BEST:: SOT 1099047 SOS 591561 HAS SOPS 588782 HAS SOUS 94443 HAS SOUPS 91884 WITH SCORE 92475.561
AT ITER 3729 NEW BEST:: SOT 1099047 SOS 586754 HAS SOPS 583970 HAS SOUS 94433 HAS SOUPS 91869 WITH SCORE 92455.754
AT ITER 3736 NEW BEST:: SOT 1099047 SOS 586202 HAS SOPS 583418 HAS SOUS 94433 HAS SOUPS 91869 WITH SCORE 92455.202
AT ITER 3752 NEW BEST:: SOT 1099047 SOS 590766 HAS SOPS 587982 HAS SOUS 94395 HAS SOUPS 91831 WITH SCORE 92421.766
AT ITER 3769 NEW BEST:: SOT 1099047 SOS 590404 HAS SOPS 587670 HAS SOUS 94345 HAS SOUPS 91831 WITH SCORE 92421.404
AT ITER 3806 NEW BEST:: SOT 1100395 SOS 591649 HAS SOPS 588920 HAS SOUS 94152 HAS SOUPS 91643 WITH SCORE 92234.649
AT ITER 3811 NEW BEST:: SOT 1099465 SOS 590373 HAS SOPS 587644 HAS SOUS 93811 HAS SOUPS 91302 WITH SCORE 91892.373
AT ITER 3814 NEW BEST:: SOT 1099743 SOS 590771 HAS SOPS 588042 HAS SOUS 93527 HAS SOUPS 91018 WITH SCORE 91608.771
AT ITER 3819 NEW BEST:: SOT 1099898 SOS 590926 HAS SOPS 588197 HAS SOUS 93426 HAS SOUPS 90917 WITH SCORE 91507.926
AT ITER 3823 NEW BEST:: SOT 1099792 SOS 593746 HAS SOPS 591017 HAS SOUS 93307 HAS SOUPS 90798 WITH SCORE 91391.746
AT ITER 3826 NEW BEST:: SOT 1099792 SOS 594178 HAS SOPS 591449 HAS SOUS 93300 HAS SOUPS 90791 WITH SCORE 91385.178
AT ITER 3888 NEW BEST:: SOT 1099787 SOS 594173 HAS SOPS 591444 HAS SOUS 93295 HAS SOUPS 90786 WITH SCORE 91380.173
AT ITER 3910 NEW BEST:: SOT 1099787 SOS 594053 HAS SOPS 591324 HAS SOUS 93290 HAS SOUPS 90781 WITH SCORE 91375.053
AT ITER 3944 NEW BEST:: SOT 1099818 SOS 596341 HAS SOPS 593651 HAS SOUS 93144 HAS SOUPS 90674 WITH SCORE 91270.341
AT ITER 3956 NEW BEST:: SOT 1099818 SOS 596433 HAS SOPS 593743 HAS SOUS 93121 HAS SOUPS 90651 WITH SCORE 91247.433
AT ITER 3970 NEW BEST:: SOT 1099245 SOS 596596 HAS SOPS 593906 HAS SOUS 92827 HAS SOUPS 90357 WITH SCORE 90953.596
AT ITER 3971 NEW BEST:: SOT 1098664 SOS 596655 HAS SOPS 593965 HAS SOUS 92120 HAS SOUPS 89650 WITH SCORE 90246.655
AT ITER 4006 NEW BEST:: SOT 1099124 SOS 596714 HAS SOPS 594057 HAS SOUS 91862 HAS SOUPS 89425 WITH SCORE 90021.714
AT ITER 4022 NEW BEST:: SOT 1099092 SOS 596682 HAS SOPS 594025 HAS SOUS 91795 HAS SOUPS 89358 WITH SCORE 89954.682
AT ITER 4023 NEW BEST:: SOT 1099092 SOS 596268 HAS SOPS 593593 HAS SOUS 91813 HAS SOUPS 89358 WITH SCORE 89954.268
AT ITER 4026 NEW BEST:: SOT 1098964 SOS 596140 HAS SOPS 593465 HAS SOUS 91779 HAS SOUPS 89324 WITH SCORE 89920.14
AT ITER 4031 NEW BEST:: SOT 1098818 SOS 596026 HAS SOPS 593351 HAS SOUS 91521 HAS SOUPS 89066 WITH SCORE 89662.026
AT ITER 4048 NEW BEST:: SOT 1098493 SOS 596181 HAS SOPS 593506 HAS SOUS 91421 HAS SOUPS 88966 WITH SCORE 89562.181
AT ITER 4059 NEW BEST:: SOT 1098493 SOS 595961 HAS SOPS 593286 HAS SOUS 91421 HAS SOUPS 88966 WITH SCORE 89561.961
AT ITER 4115 NEW BEST:: SOT 1098479 SOS 595947 HAS SOPS 593272 HAS SOUS 91386 HAS SOUPS 88931 WITH SCORE 89526.947
AT ITER 4121 NEW BEST:: SOT 1098796 SOS 596264 HAS SOPS 593589 HAS SOUS 91264 HAS SOUPS 88809 WITH SCORE 89405.264
AT ITER 4125 NEW BEST:: SOT 1098542 SOS 596015 HAS SOPS 593335 HAS SOUS 91173 HAS SOUPS 88713 WITH SCORE 89309.015
AT ITER 4137 NEW BEST:: SOT 1098542 SOS 596087 HAS SOPS 593407 HAS SOUS 91104 HAS SOUPS 88644 WITH SCORE 89240.087
AT ITER 4148 NEW BEST:: SOT 1098542 SOS 595993 HAS SOPS 593287 HAS SOUS 91130 HAS SOUPS 88644 WITH SCORE 89239.993
AT ITER 4161 NEW BEST:: SOT 1098542 SOS 595993 HAS SOPS 593287 HAS SOUS 91103 HAS SOUPS 88617 WITH SCORE 89212.993
AT ITER 4163 NEW BEST:: SOT 1098542 SOS 595961 HAS SOPS 593268 HAS SOUS 90977 HAS SOUPS 88504 WITH SCORE 89099.961
AT ITER 4191 NEW BEST:: SOT 1098026 SOS 598573 HAS SOPS 595896 HAS SOUS 90478 HAS SOUPS 88021 WITH SCORE 88619.573
AT ITER 4192 NEW BEST:: SOT 1098026 SOS 598573 HAS SOPS 595896 HAS SOUS 90464 HAS SOUPS 88007 WITH SCORE 88605.573
AT ITER 4215 NEW BEST:: SOT 1098065 SOS 598660 HAS SOPS 595983 HAS SOUS 89539 HAS SOUPS 87082 WITH SCORE 87680.66
AT ITER 4224 NEW BEST:: SOT 1098071 SOS 598458 HAS SOPS 595797 HAS SOUS 89501 HAS SOUPS 87048 WITH SCORE 87646.458
AT ITER 4236 NEW BEST:: SOT 1098101 SOS 598488 HAS SOPS 595827 HAS SOUS 89411 HAS SOUPS 86958 WITH SCORE 87556.488
AT ITER 4251 NEW BEST:: SOT 1098101 SOS 597360 HAS SOPS 594699 HAS SOUS 89391 HAS SOUPS 86938 WITH SCORE 87535.36
AT ITER 4264 NEW BEST:: SOT 1097664 SOS 596999 HAS SOPS 594338 HAS SOUS 88741 HAS SOUPS 86288 WITH SCORE 86884.999
AT ITER 4315 NEW BEST:: SOT 1097664 SOS 595332 HAS SOPS 592671 HAS SOUS 88738 HAS SOUPS 86285 WITH SCORE 86880.332
AT ITER 4362 NEW BEST:: SOT 1097664 SOS 595296 HAS SOPS 592635 HAS SOUS 88738 HAS SOUPS 86285 WITH SCORE 86880.296
AT ITER 4371 NEW BEST:: SOT 1097621 SOS 595253 HAS SOPS 592592 HAS SOUS 88653 HAS SOUPS 86200 WITH SCORE 86795.253
AT ITER 4378 NEW BEST:: SOT 1097711 SOS 595339 HAS SOPS 592682 HAS SOUS 88557 HAS SOUPS 86108 WITH SCORE 86703.339
AT ITER 4379 NEW BEST:: SOT 1097406 SOS 595034 HAS SOPS 592377 HAS SOUS 88480 HAS SOUPS 86031 WITH SCORE 86626.034
AT ITER 4386 NEW BEST:: SOT 1097478 SOS 595106 HAS SOPS 592449 HAS SOUS 88429 HAS SOUPS 85980 WITH SCORE 86575.106
AT ITER 4415 NEW BEST:: SOT 1097144 SOS 594772 HAS SOPS 592115 HAS SOUS 88358 HAS SOUPS 85909 WITH SCORE 86503.772
AT ITER 4420 NEW BEST:: SOT 1097144 SOS 594598 HAS SOPS 591971 HAS SOUS 88328 HAS SOUPS 85909 WITH SCORE 86503.598
AT ITER 4423 NEW BEST:: SOT 1097144 SOS 593853 HAS SOPS 591327 HAS SOUS 88082 HAS SOUPS 85692 WITH SCORE 86285.853
AT ITER 4428 NEW BEST:: SOT 1097203 SOS 592376 HAS SOPS 589850 HAS SOUS 87429 HAS SOUPS 85039 WITH SCORE 85631.376
AT ITER 4455 NEW BEST:: SOT 1097203 SOS 592356 HAS SOPS 589830 HAS SOUS 87419 HAS SOUPS 85029 WITH SCORE 85621.356
AT ITER 4462 NEW BEST:: SOT 1097889 SOS 593042 HAS SOPS 590516 HAS SOUS 87232 HAS SOUPS 84842 WITH SCORE 85435.042
AT ITER 4482 NEW BEST:: SOT 1096481 SOS 591664 HAS SOPS 589108 HAS SOUS 87024 HAS SOUPS 84604 WITH SCORE 85195.664
AT ITER 4504 NEW BEST:: SOT 1096934 SOS 592117 HAS SOPS 589561 HAS SOUS 87015 HAS SOUPS 84595 WITH SCORE 85187.117
AT ITER 4508 NEW BEST:: SOT 1096934 SOS 592115 HAS SOPS 589561 HAS SOUS 87013 HAS SOUPS 84595 WITH SCORE 85187.115
AT ITER 4510 NEW BEST:: SOT 1096365 SOS 591546 HAS SOPS 588992 HAS SOUS 86824 HAS SOUPS 84406 WITH SCORE 84997.546
AT ITER 4544 NEW BEST:: SOT 1096152 SOS 591667 HAS SOPS 589113 HAS SOUS 86678 HAS SOUPS 84260 WITH SCORE 84851.667
AT ITER 4553 NEW BEST:: SOT 1096080 SOS 591595 HAS SOPS 589041 HAS SOUS 86492 HAS SOUPS 84074 WITH SCORE 84665.595
AT ITER 4571 NEW BEST:: SOT 1095668 SOS 590631 HAS SOPS 588077 HAS SOUS 86079 HAS SOUPS 83661 WITH SCORE 84251.631
AT ITER 4574 NEW BEST:: SOT 1095122 SOS 590503 HAS SOPS 587977 HAS SOUS 86001 HAS SOUPS 83611 WITH SCORE 84201.503
AT ITER 4593 NEW BEST:: SOT 1095415 SOS 590796 HAS SOPS 588270 HAS SOUS 85749 HAS SOUPS 83359 WITH SCORE 83949.796
AT ITER 4648 NEW BEST:: SOT 1095278 SOS 591331 HAS SOPS 588805 HAS SOUS 85640 HAS SOUPS 83250 WITH SCORE 83841.331
AT ITER 4662 NEW BEST:: SOT 1095278 SOS 591183 HAS SOPS 588637 HAS SOUS 85660 HAS SOUPS 83250 WITH SCORE 83841.183
AT ITER 4665 NEW BEST:: SOT 1095134 SOS 591039 HAS SOPS 588493 HAS SOUS 85583 HAS SOUPS 83173 WITH SCORE 83764.039
AT ITER 4709 NEW BEST:: SOT 1095134 SOS 591039 HAS SOPS 588493 HAS SOUS 85497 HAS SOUPS 83087 WITH SCORE 83678.039
AT ITER 4714 NEW BEST:: SOT 1095134 SOS 591039 HAS SOPS 588493 HAS SOUS 85461 HAS SOUPS 83051 WITH SCORE 83642.039
AT ITER 4734 NEW BEST:: SOT 1095668 SOS 591645 HAS SOPS 589099 HAS SOUS 85458 HAS SOUPS 83048 WITH SCORE 83639.645
AT ITER 4743 NEW BEST:: SOT 1094910 SOS 595853 HAS SOPS 593381 HAS SOUS 85211 HAS SOUPS 82875 WITH SCORE 83470.853
AT ITER 4756 NEW BEST:: SOT 1094920 SOS 596079 HAS SOPS 593607 HAS SOUS 85102 HAS SOUPS 82766 WITH SCORE 83362.079
AT ITER 4778 NEW BEST:: SOT 1094121 SOS 595028 HAS SOPS 592556 HAS SOUS 84153 HAS SOUPS 81817 WITH SCORE 82412.028
AT ITER 4795 NEW BEST:: SOT 1094183 SOS 595090 HAS SOPS 592618 HAS SOUS 84052 HAS SOUPS 81716 WITH SCORE 82311.09
AT ITER 4814 NEW BEST:: SOT 1094183 SOS 594994 HAS SOPS 592522 HAS SOUS 84052 HAS SOUPS 81716 WITH SCORE 82310.994
AT ITER 4844 NEW BEST:: SOT 1094224 SOS 595040 HAS SOPS 592607 HAS SOUS 82839 HAS SOUPS 80542 WITH SCORE 81137.04
AT ITER 4853 NEW BEST:: SOT 1094071 SOS 594939 HAS SOPS 592506 HAS SOUS 82495 HAS SOUPS 80198 WITH SCORE 80792.939
AT ITER 4890 NEW BEST:: SOT 1094333 SOS 595694 HAS SOPS 593277 HAS SOUS 81992 HAS SOUPS 79711 WITH SCORE 80306.694
AT ITER 4897 NEW BEST:: SOT 1094333 SOS 595648 HAS SOPS 593229 HAS SOUS 81994 HAS SOUPS 79711 WITH SCORE 80306.648
AT ITER 4931 NEW BEST:: SOT 1094262 SOS 595577 HAS SOPS 593158 HAS SOUS 81745 HAS SOUPS 79462 WITH SCORE 80057.577
AT ITER 4963 NEW BEST:: SOT 1094262 SOS 596631 HAS SOPS 594250 HAS SOUS 81700 HAS SOUPS 79455 WITH SCORE 80051.631
AT ITER 5003 NEW BEST:: SOT 1094262 SOS 596391 HAS SOPS 594010 HAS SOUS 81700 HAS SOUPS 79455 WITH SCORE 80051.391
AT ITER 5006 NEW BEST:: SOT 1094181 SOS 596190 HAS SOPS 593809 HAS SOUS 81692 HAS SOUPS 79447 WITH SCORE 80043.19
AT ITER 5008 NEW BEST:: SOT 1094181 SOS 595876 HAS SOPS 593495 HAS SOUS 81692 HAS SOUPS 79447 WITH SCORE 80042.876
AT ITER 5018 NEW BEST:: SOT 1094098 SOS 598477 HAS SOPS 596096 HAS SOUS 81356 HAS SOUPS 79111 WITH SCORE 79709.477
AT ITER 5025 NEW BEST:: SOT 1094078 SOS 598457 HAS SOPS 596076 HAS SOUS 81336 HAS SOUPS 79091 WITH SCORE 79689.457
AT ITER 5055 NEW BEST:: SOT 1093993 SOS 598372 HAS SOPS 595991 HAS SOUS 81251 HAS SOUPS 79006 WITH SCORE 79604.372
AT ITER 5112 NEW BEST:: SOT 1093993 SOS 598372 HAS SOPS 595991 HAS SOUS 81233 HAS SOUPS 78988 WITH SCORE 79586.372
AT ITER 5212 NEW BEST:: SOT 1093169 SOS 597548 HAS SOPS 595167 HAS SOUS 81067 HAS SOUPS 78822 WITH SCORE 79419.548
AT ITER 5228 NEW BEST:: SOT 1092985 SOS 597364 HAS SOPS 594983 HAS SOUS 81020 HAS SOUPS 78775 WITH SCORE 79372.364
AT ITER 5252 NEW BEST:: SOT 1092985 SOS 598732 HAS SOPS 596351 HAS SOUS 80165 HAS SOUPS 77920 WITH SCORE 78518.732
AT ITER 5267 NEW BEST:: SOT 1092985 SOS 598708 HAS SOPS 596327 HAS SOUS 80165 HAS SOUPS 77920 WITH SCORE 78518.708
AT ITER 5281 NEW BEST:: SOT 1092985 SOS 598612 HAS SOPS 596231 HAS SOUS 80165 HAS SOUPS 77920 WITH SCORE 78518.612
AT ITER 5318 NEW BEST:: SOT 1092932 SOS 598559 HAS SOPS 596178 HAS SOUS 79815 HAS SOUPS 77570 WITH SCORE 78168.559
AT ITER 5345 NEW BEST:: SOT 1092392 SOS 598425 HAS SOPS 596094 HAS SOUS 79679 HAS SOUPS 77484 WITH SCORE 78082.425
AT ITER 5370 NEW BEST:: SOT 1092392 SOS 598394 HAS SOPS 596046 HAS SOUS 79680 HAS SOUPS 77468 WITH SCORE 78066.394
AT ITER 5400 NEW BEST:: SOT 1092980 SOS 599146 HAS SOPS 596798 HAS SOUS 79514 HAS SOUPS 77302 WITH SCORE 77901.146
AT ITER 5447 NEW BEST:: SOT 1092896 SOS 599062 HAS SOPS 596714 HAS SOUS 79430 HAS SOUPS 77218 WITH SCORE 77817.062
AT ITER 5490 NEW BEST:: SOT 1093626 SOS 599792 HAS SOPS 597684 HAS SOUS 79073 HAS SOUPS 77101 WITH SCORE 77700.792
AT ITER 5494 NEW BEST:: SOT 1093495 SOS 599663 HAS SOPS 597553 HAS SOUS 79023 HAS SOUPS 77049 WITH SCORE 77648.663
AT ITER 5511 NEW BEST:: SOT 1093495 SOS 599495 HAS SOPS 597385 HAS SOUS 79023 HAS SOUPS 77049 WITH SCORE 77648.495
AT ITER 5526 NEW BEST:: SOT 1093495 SOS 608985 HAS SOPS 606875 HAS SOUS 79012 HAS SOUPS 77038 WITH SCORE 77646.985
AT ITER 5533 NEW BEST:: SOT 1093668 SOS 609158 HAS SOPS 607048 HAS SOUS 78993 HAS SOUPS 77019 WITH SCORE 77628.158
AT ITER 5536 NEW BEST:: SOT 1093668 SOS 609132 HAS SOPS 607048 HAS SOUS 78967 HAS SOUPS 77019 WITH SCORE 77628.132
AT ITER 5554 NEW BEST:: SOT 1093667 SOS 609131 HAS SOPS 607047 HAS SOUS 78964 HAS SOUPS 77016 WITH SCORE 77625.131
AT ITER 5557 NEW BEST:: SOT 1093667 SOS 609735 HAS SOPS 607675 HAS SOUS 78911 HAS SOUPS 76987 WITH SCORE 77596.735
AT ITER 5617 NEW BEST:: SOT 1093667 SOS 609752 HAS SOPS 607701 HAS SOUS 78884 HAS SOUPS 76969 WITH SCORE 77578.752
AT ITER 5635 NEW BEST:: SOT 1093667 SOS 608410 HAS SOPS 606359 HAS SOUS 78869 HAS SOUPS 76954 WITH SCORE 77562.41
AT ITER 5640 NEW BEST:: SOT 1093718 SOS 608461 HAS SOPS 606410 HAS SOUS 78610 HAS SOUPS 76695 WITH SCORE 77303.461
AT ITER 5653 NEW BEST:: SOT 1094079 SOS 609134 HAS SOPS 607083 HAS SOUS 78481 HAS SOUPS 76566 WITH SCORE 77175.134
AT ITER 5692 NEW BEST:: SOT 1094079 SOS 609111 HAS SOPS 607083 HAS SOUS 78458 HAS SOUPS 76566 WITH SCORE 77175.111
AT ITER 5699 NEW BEST:: SOT 1094767 SOS 610602 HAS SOPS 608760 HAS SOUS 78159 HAS SOUPS 76419 WITH SCORE 77029.602
AT ITER 5700 NEW BEST:: SOT 1094805 SOS 610640 HAS SOPS 608798 HAS SOUS 78043 HAS SOUPS 76303 WITH SCORE 76913.64
AT ITER 5713 NEW BEST:: SOT 1094805 SOS 610640 HAS SOPS 608798 HAS SOUS 77999 HAS SOUPS 76259 WITH SCORE 76869.64
AT ITER 5741 NEW BEST:: SOT 1094805 SOS 612404 HAS SOPS 610562 HAS SOUS 77972 HAS SOUPS 76232 WITH SCORE 76844.404
AT ITER 5763 NEW BEST:: SOT 1094805 SOS 599636 HAS SOPS 597794 HAS SOUS 77968 HAS SOUPS 76228 WITH SCORE 76827.636
AT ITER 5771 NEW BEST:: SOT 1094938 SOS 599793 HAS SOPS 597951 HAS SOUS 77897 HAS SOUPS 76157 WITH SCORE 76756.793
AT ITER 5773 NEW BEST:: SOT 1093987 SOS 599850 HAS SOPS 598008 HAS SOUS 77815 HAS SOUPS 76075 WITH SCORE 76674.85
AT ITER 5782 NEW BEST:: SOT 1093983 SOS 599846 HAS SOPS 598004 HAS SOUS 77811 HAS SOUPS 76071 WITH SCORE 76670.846
AT ITER 5784 NEW BEST:: SOT 1093983 SOS 599774 HAS SOPS 597932 HAS SOUS 77811 HAS SOUPS 76071 WITH SCORE 76670.774
AT ITER 5787 NEW BEST:: SOT 1093983 SOS 600302 HAS SOPS 598460 HAS SOUS 77789 HAS SOUPS 76049 WITH SCORE 76649.302
AT ITER 5788 NEW BEST:: SOT 1094088 SOS 600407 HAS SOPS 598565 HAS SOUS 77761 HAS SOUPS 76021 WITH SCORE 76621.407
AT ITER 5792 NEW BEST:: SOT 1093475 SOS 599652 HAS SOPS 597856 HAS SOUS 76574 HAS SOUPS 74880 WITH SCORE 75479.652
AT ITER 5807 NEW BEST:: SOT 1093475 SOS 599577 HAS SOPS 597732 HAS SOUS 76617 HAS SOUPS 74874 WITH SCORE 75473.577
AT ITER 5823 NEW BEST:: SOT 1092913 SOS 601254 HAS SOPS 599426 HAS SOUS 75661 HAS SOUPS 73935 WITH SCORE 74536.254
AT ITER 5843 NEW BEST:: SOT 1093226 SOS 601567 HAS SOPS 599739 HAS SOUS 75650 HAS SOUPS 73924 WITH SCORE 74525.567
AT ITER 5846 NEW BEST:: SOT 1093226 SOS 635464 HAS SOPS 633571 HAS SOUS 75595 HAS SOUPS 73837 WITH SCORE 74472.464
AT ITER 5854 NEW BEST:: SOT 1093211 SOS 635514 HAS SOPS 633621 HAS SOUS 75578 HAS SOUPS 73820 WITH SCORE 74455.514
AT ITER 5900 NEW BEST:: SOT 1092139 SOS 634342 HAS SOPS 632449 HAS SOUS 75305 HAS SOUPS 73547 WITH SCORE 74181.342
AT ITER 5974 NEW BEST:: SOT 1092303 SOS 634794 HAS SOPS 632901 HAS SOUS 74954 HAS SOUPS 73196 WITH SCORE 73830.794
AT ITER 5978 NEW BEST:: SOT 1092387 SOS 634878 HAS SOPS 632745 HAS SOUS 75192 HAS SOUPS 73194 WITH SCORE 73828.878
AT ITER 5987 NEW BEST:: SOT 1092522 SOS 635013 HAS SOPS 632880 HAS SOUS 75090 HAS SOUPS 73092 WITH SCORE 73727.013
AT ITER 6000 NEW BEST:: SOT 1092444 SOS 634943 HAS SOPS 632810 HAS SOUS 75004 HAS SOUPS 73006 WITH SCORE 73640.943
AT ITER 6002 NEW BEST:: SOT 1092444 SOS 635805 HAS SOPS 633706 HAS SOUS 74950 HAS SOUPS 72986 WITH SCORE 73621.805
AT ITER 6014 NEW BEST:: SOT 1092369 SOS 634047 HAS SOPS 631948 HAS SOUS 74869 HAS SOUPS 72905 WITH SCORE 73539.047
AT ITER 6035 NEW BEST:: SOT 1092309 SOS 633987 HAS SOPS 631888 HAS SOUS 74798 HAS SOUPS 72834 WITH SCORE 73467.987
AT ITER 6036 NEW BEST:: SOT 1092309 SOS 633807 HAS SOPS 631708 HAS SOUS 74798 HAS SOUPS 72834 WITH SCORE 73467.807
AT ITER 6043 NEW BEST:: SOT 1092309 SOS 631715 HAS SOPS 629616 HAS SOUS 74798 HAS SOUPS 72834 WITH SCORE 73465.715
AT ITER 6070 NEW BEST:: SOT 1092309 SOS 631715 HAS SOPS 629616 HAS SOUS 74794 HAS SOUPS 72830 WITH SCORE 73461.715
AT ITER 6097 NEW BEST:: SOT 1092309 SOS 627831 HAS SOPS 625656 HAS SOUS 74798 HAS SOUPS 72815 WITH SCORE 73442.831
AT ITER 6115 NEW BEST:: SOT 1092110 SOS 627632 HAS SOPS 625457 HAS SOUS 74749 HAS SOUPS 72766 WITH SCORE 73393.632
AT ITER 6118 NEW BEST:: SOT 1091669 SOS 627891 HAS SOPS 625760 HAS SOUS 74630 HAS SOUPS 72691 WITH SCORE 73318.891
AT ITER 6156 NEW BEST:: SOT 1091222 SOS 630931 HAS SOPS 628841 HAS SOUS 73914 HAS SOUPS 72016 WITH SCORE 72646.931
AT ITER 6185 NEW BEST:: SOT 1090042 SOS 629772 HAS SOPS 627661 HAS SOUS 73700 HAS SOUPS 71781 WITH SCORE 72410.772
AT ITER 6220 NEW BEST:: SOT 1090016 SOS 629746 HAS SOPS 627635 HAS SOUS 73657 HAS SOUPS 71738 WITH SCORE 72367.746
AT ITER 6227 NEW BEST:: SOT 1090245 SOS 629975 HAS SOPS 627864 HAS SOUS 73582 HAS SOUPS 71663 WITH SCORE 72292.975
AT ITER 6229 NEW BEST:: SOT 1090227 SOS 629957 HAS SOPS 627846 HAS SOUS 73550 HAS SOUPS 71631 WITH SCORE 72260.957
AT ITER 6277 NEW BEST:: SOT 1090227 SOS 629950 HAS SOPS 627839 HAS SOUS 73550 HAS SOUPS 71631 WITH SCORE 72260.95
AT ITER 6314 NEW BEST:: SOT 1090172 SOS 629895 HAS SOPS 627784 HAS SOUS 73430 HAS SOUPS 71511 WITH SCORE 72140.895
AT ITER 6321 NEW BEST:: SOT 1090278 SOS 631945 HAS SOPS 629834 HAS SOUS 73081 HAS SOUPS 71162 WITH SCORE 71793.945
AT ITER 6330 NEW BEST:: SOT 1090278 SOS 631945 HAS SOPS 629834 HAS SOUS 73066 HAS SOUPS 71147 WITH SCORE 71778.945
AT ITER 6342 NEW BEST:: SOT 1091320 SOS 632987 HAS SOPS 630876 HAS SOUS 72932 HAS SOUPS 71013 WITH SCORE 71645.987
AT ITER 6348 NEW BEST:: SOT 1090614 SOS 632771 HAS SOPS 630658 HAS SOUS 71803 HAS SOUPS 69882 WITH SCORE 70514.771
AT ITER 6362 NEW BEST:: SOT 1089262 SOS 631448 HAS SOPS 629306 HAS SOUS 71759 HAS SOUPS 69809 WITH SCORE 70440.448
AT ITER 6387 NEW BEST:: SOT 1089262 SOS 630832 HAS SOPS 628714 HAS SOUS 71562 HAS SOUPS 69612 WITH SCORE 70242.832
AT ITER 6395 NEW BEST:: SOT 1089220 SOS 630790 HAS SOPS 628672 HAS SOUS 71479 HAS SOUPS 69529 WITH SCORE 70159.79
AT ITER 6408 NEW BEST:: SOT 1087968 SOS 629566 HAS SOPS 627420 HAS SOUS 71490 HAS SOUPS 69512 WITH SCORE 70141.566
AT ITER 6419 NEW BEST:: SOT 1089220 SOS 630650 HAS SOPS 628512 HAS SOUS 71414 HAS SOUPS 69444 WITH SCORE 70074.65
AT ITER 6513 NEW BEST:: SOT 1089101 SOS 630531 HAS SOPS 628393 HAS SOUS 71125 HAS SOUPS 69155 WITH SCORE 69785.531
AT ITER 6522 NEW BEST:: SOT 1089005 SOS 630435 HAS SOPS 628297 HAS SOUS 70906 HAS SOUPS 68936 WITH SCORE 69566.435
AT ITER 6543 NEW BEST:: SOT 1088672 SOS 633270 HAS SOPS 631132 HAS SOUS 70713 HAS SOUPS 68743 WITH SCORE 69376.27
AT ITER 6559 NEW BEST:: SOT 1087239 SOS 631862 HAS SOPS 629699 HAS SOUS 70295 HAS SOUPS 68300 WITH SCORE 68931.862
AT ITER 6575 NEW BEST:: SOT 1087693 SOS 633922 HAS SOPS 631759 HAS SOUS 70105 HAS SOUPS 68110 WITH SCORE 68743.922
AT ITER 6577 NEW BEST:: SOT 1087693 SOS 637426 HAS SOPS 635263 HAS SOUS 70099 HAS SOUPS 68104 WITH SCORE 68741.426
AT ITER 6594 NEW BEST:: SOT 1087692 SOS 637425 HAS SOPS 635262 HAS SOUS 70098 HAS SOUPS 68103 WITH SCORE 68740.425
AT ITER 6603 NEW BEST:: SOT 1086138 SOS 635898 HAS SOPS 633708 HAS SOUS 70120 HAS SOUPS 68098 WITH SCORE 68733.898
AT ITER 6611 NEW BEST:: SOT 1085754 SOS 635578 HAS SOPS 633388 HAS SOUS 69701 HAS SOUPS 67679 WITH SCORE 68314.578
AT ITER 6615 NEW BEST:: SOT 1085754 SOS 634100 HAS SOPS 631860 HAS SOUS 69712 HAS SOUPS 67658 WITH SCORE 68292.1
AT ITER 6619 NEW BEST:: SOT 1085982 SOS 634336 HAS SOPS 632096 HAS SOUS 69372 HAS SOUPS 67318 WITH SCORE 67952.336
AT ITER 6639 NEW BEST:: SOT 1085979 SOS 634303 HAS SOPS 632066 HAS SOUS 69366 HAS SOUPS 67315 WITH SCORE 67949.303
AT ITER 6656 NEW BEST:: SOT 1085952 SOS 634276 HAS SOPS 632039 HAS SOUS 69339 HAS SOUPS 67288 WITH SCORE 67922.276
AT ITER 6675 NEW BEST:: SOT 1085952 SOS 633940 HAS SOPS 631703 HAS SOUS 69339 HAS SOUPS 67288 WITH SCORE 67921.94
AT ITER 6725 NEW BEST:: SOT 1085952 SOS 633290 HAS SOPS 631027 HAS SOUS 69339 HAS SOUPS 67262 WITH SCORE 67895.29
AT ITER 6738 NEW BEST:: SOT 1085952 SOS 629090 HAS SOPS 626999 HAS SOUS 69093 HAS SOUPS 67008 WITH SCORE 67637.09
AT ITER 6748 NEW BEST:: SOT 1085952 SOS 629090 HAS SOPS 626999 HAS SOUS 68988 HAS SOUPS 66903 WITH SCORE 67532.09
AT ITER 6777 NEW BEST:: SOT 1086386 SOS 629548 HAS SOPS 627475 HAS SOUS 68743 HAS SOUPS 66676 WITH SCORE 67305.548
AT ITER 6820 NEW BEST:: SOT 1086387 SOS 627530 HAS SOPS 625457 HAS SOUS 68740 HAS SOUPS 66673 WITH SCORE 67300.53
AT ITER 6829 NEW BEST:: SOT 1086375 SOS 627518 HAS SOPS 625445 HAS SOUS 68734 HAS SOUPS 66667 WITH SCORE 67294.518
AT ITER 6844 NEW BEST:: SOT 1087329 SOS 628472 HAS SOPS 626399 HAS SOUS 68705 HAS SOUPS 66638 WITH SCORE 67266.472
AT ITER 6852 NEW BEST:: SOT 1087329 SOS 628294 HAS SOPS 626221 HAS SOUS 68616 HAS SOUPS 66549 WITH SCORE 67177.294
AT ITER 6860 NEW BEST:: SOT 1087521 SOS 628486 HAS SOPS 626413 HAS SOUS 68143 HAS SOUPS 66076 WITH SCORE 66704.486
AT ITER 6867 NEW BEST:: SOT 1087521 SOS 628550 HAS SOPS 626452 HAS SOUS 68159 HAS SOUPS 66067 WITH SCORE 66695.55
AT ITER 6876 NEW BEST:: SOT 1087521 SOS 628174 HAS SOPS 626044 HAS SOUS 68176 HAS SOUPS 66052 WITH SCORE 66680.174
AT ITER 6899 NEW BEST:: SOT 1087511 SOS 628020 HAS SOPS 625890 HAS SOUS 68156 HAS SOUPS 66032 WITH SCORE 66660.02
AT ITER 6908 NEW BEST:: SOT 1087511 SOS 627984 HAS SOPS 625854 HAS SOUS 68156 HAS SOUPS 66032 WITH SCORE 66659.984
AT ITER 6913 NEW BEST:: SOT 1087706 SOS 628259 HAS SOPS 626129 HAS SOUS 67987 HAS SOUPS 65863 WITH SCORE 66491.259
AT ITER 6929 NEW BEST:: SOT 1087716 SOS 628085 HAS SOPS 625963 HAS SOUS 67918 HAS SOUPS 65796 WITH SCORE 66424.085
AT ITER 6940 NEW BEST:: SOT 1087716 SOS 627581 HAS SOPS 625459 HAS SOUS 67897 HAS SOUPS 65775 WITH SCORE 66402.581
AT ITER 6945 NEW BEST:: SOT 1087716 SOS 627317 HAS SOPS 625195 HAS SOUS 67885 HAS SOUPS 65763 WITH SCORE 66390.317
AT ITER 6979 NEW BEST:: SOT 1087733 SOS 627334 HAS SOPS 625212 HAS SOUS 67573 HAS SOUPS 65451 WITH SCORE 66078.334
AT ITER 6981 NEW BEST:: SOT 1087895 SOS 627784 HAS SOPS 625662 HAS SOUS 67552 HAS SOUPS 65430 WITH SCORE 66057.784
AT ITER 7005 NEW BEST:: SOT 1087701 SOS 627590 HAS SOPS 625468 HAS SOUS 67531 HAS SOUPS 65409 WITH SCORE 66036.59
AT ITER 7029 NEW BEST:: SOT 1086166 SOS 626084 HAS SOPS 623933 HAS SOUS 66951 HAS SOUPS 64800 WITH SCORE 65426.084
AT ITER 7045 NEW BEST:: SOT 1086166 SOS 624500 HAS SOPS 622349 HAS SOUS 66943 HAS SOUPS 64792 WITH SCORE 65416.5
AT ITER 7079 NEW BEST:: SOT 1086496 SOS 624781 HAS SOPS 622679 HAS SOUS 66861 HAS SOUPS 64759 WITH SCORE 65383.781
AT ITER 7098 NEW BEST:: SOT 1086496 SOS 624229 HAS SOPS 622127 HAS SOUS 66861 HAS SOUPS 64759 WITH SCORE 65383.229
AT ITER 7104 NEW BEST:: SOT 1086496 SOS 623581 HAS SOPS 621431 HAS SOUS 66887 HAS SOUPS 64737 WITH SCORE 65360.581
AT ITER 7143 NEW BEST:: SOT 1086758 SOS 623935 HAS SOPS 621785 HAS SOUS 66827 HAS SOUPS 64677 WITH SCORE 65300.935
AT ITER 7213 NEW BEST:: SOT 1086398 SOS 623579 HAS SOPS 621425 HAS SOUS 66647 HAS SOUPS 64493 WITH SCORE 65116.579
AT ITER 7292 NEW BEST:: SOT 1086398 SOS 623441 HAS SOPS 621281 HAS SOUS 66647 HAS SOUPS 64487 WITH SCORE 65110.441
AT ITER 7306 NEW BEST:: SOT 1085862 SOS 622905 HAS SOPS 620745 HAS SOUS 66548 HAS SOUPS 64388 WITH SCORE 65010.905
AT ITER 7364 NEW BEST:: SOT 1085862 SOS 622353 HAS SOPS 620193 HAS SOUS 66548 HAS SOUPS 64388 WITH SCORE 65010.353
AT ITER 7376 NEW BEST:: SOT 1085862 SOS 622192 HAS SOPS 620025 HAS SOUS 66555 HAS SOUPS 64388 WITH SCORE 65010.192
AT ITER 7396 NEW BEST:: SOT 1085862 SOS 622192 HAS SOPS 620025 HAS SOUS 66528 HAS SOUPS 64361 WITH SCORE 64983.192
AT ITER 7414 NEW BEST:: SOT 1086520 SOS 622646 HAS SOPS 620507 HAS SOUS 66380 HAS SOUPS 64241 WITH SCORE 64863.646
AT ITER 7435 NEW BEST:: SOT 1086520 SOS 622622 HAS SOPS 620483 HAS SOUS 66380 HAS SOUPS 64241 WITH SCORE 64863.622
AT ITER 7444 NEW BEST:: SOT 1086496 SOS 622598 HAS SOPS 620459 HAS SOUS 66355 HAS SOUPS 64216 WITH SCORE 64838.598
AT ITER 7460 NEW BEST:: SOT 1086496 SOS 622238 HAS SOPS 620099 HAS SOUS 66355 HAS SOUPS 64216 WITH SCORE 64838.238
AT ITER 7490 NEW BEST:: SOT 1086799 SOS 621723 HAS SOPS 619605 HAS SOUS 66207 HAS SOUPS 64089 WITH SCORE 64710.723
AT ITER 7511 NEW BEST:: SOT 1086799 SOS 621585 HAS SOPS 619461 HAS SOUS 66213 HAS SOUPS 64089 WITH SCORE 64710.585
AT ITER 7570 NEW BEST:: SOT 1086799 SOS 622474 HAS SOPS 620350 HAS SOUS 66198 HAS SOUPS 64074 WITH SCORE 64696.474
AT ITER 7590 NEW BEST:: SOT 1086783 SOS 622458 HAS SOPS 620334 HAS SOUS 66182 HAS SOUPS 64058 WITH SCORE 64680.458
AT ITER 7603 NEW BEST:: SOT 1086783 SOS 621690 HAS SOPS 619566 HAS SOUS 66182 HAS SOUPS 64058 WITH SCORE 64679.69
AT ITER 7624 NEW BEST:: SOT 1086783 SOS 621647 HAS SOPS 619523 HAS SOUS 66096 HAS SOUPS 63972 WITH SCORE 64593.647
AT ITER 7627 NEW BEST:: SOT 1086783 SOS 621611 HAS SOPS 619499 HAS SOUS 66084 HAS SOUPS 63972 WITH SCORE 64593.611
AT ITER 7652 NEW BEST:: SOT 1086783 SOS 621979 HAS SOPS 619867 HAS SOUS 66076 HAS SOUPS 63964 WITH SCORE 64585.979
AT ITER 7656 NEW BEST:: SOT 1086567 SOS 621799 HAS SOPS 619687 HAS SOUS 66052 HAS SOUPS 63940 WITH SCORE 64561.799
AT ITER 7688 NEW BEST:: SOT 1086144 SOS 621361 HAS SOPS 619249 HAS SOUS 65706 HAS SOUPS 63594 WITH SCORE 64215.361
AT ITER 7707 NEW BEST:: SOT 1086434 SOS 621673 HAS SOPS 619561 HAS SOUS 65674 HAS SOUPS 63562 WITH SCORE 64183.673
AT ITER 7745 NEW BEST:: SOT 1085943 SOS 621182 HAS SOPS 619070 HAS SOUS 65605 HAS SOUPS 63493 WITH SCORE 64114.182
AT ITER 7754 NEW BEST:: SOT 1085516 SOS 620155 HAS SOPS 618043 HAS SOUS 65340 HAS SOUPS 63228 WITH SCORE 63848.155
AT ITER 7770 NEW BEST:: SOT 1085485 SOS 620124 HAS SOPS 618012 HAS SOUS 65309 HAS SOUPS 63197 WITH SCORE 63817.124
AT ITER 7815 NEW BEST:: SOT 1085485 SOS 620124 HAS SOPS 618012 HAS SOUS 65301 HAS SOUPS 63189 WITH SCORE 63809.124
AT ITER 7909 NEW BEST:: SOT 1085455 SOS 620094 HAS SOPS 617982 HAS SOUS 65248 HAS SOUPS 63136 WITH SCORE 63756.094
AT ITER 7910 NEW BEST:: SOT 1085455 SOS 619974 HAS SOPS 617862 HAS SOUS 65243 HAS SOUPS 63131 WITH SCORE 63750.974
AT ITER 7951 NEW BEST:: SOT 1085455 SOS 619988 HAS SOPS 617862 HAS SOUS 65244 HAS SOUPS 63118 WITH SCORE 63737.988
AT ITER 7952 NEW BEST:: SOT 1085455 SOS 619965 HAS SOPS 617862 HAS SOUS 65221 HAS SOUPS 63118 WITH SCORE 63737.965
AT ITER 7964 NEW BEST:: SOT 1085347 SOS 619849 HAS SOPS 617754 HAS SOUS 65113 HAS SOUPS 63018 WITH SCORE 63637.849
AT ITER 7967 NEW BEST:: SOT 1086245 SOS 620747 HAS SOPS 618652 HAS SOUS 65032 HAS SOUPS 62937 WITH SCORE 63557.747
AT ITER 7986 NEW BEST:: SOT 1086256 SOS 622900 HAS SOPS 620805 HAS SOUS 65023 HAS SOUPS 62928 WITH SCORE 63550.9
AT ITER 7995 NEW BEST:: SOT 1086256 SOS 622908 HAS SOPS 620805 HAS SOUS 65023 HAS SOUPS 62920 WITH SCORE 63542.908
AT ITER 7997 NEW BEST:: SOT 1087533 SOS 623348 HAS SOPS 621296 HAS SOUS 64923 HAS SOUPS 62871 WITH SCORE 63494.348
AT ITER 8041 NEW BEST:: SOT 1087417 SOS 623232 HAS SOPS 621180 HAS SOUS 64902 HAS SOUPS 62850 WITH SCORE 63473.232
AT ITER 8042 NEW BEST:: SOT 1087588 SOS 623333 HAS SOPS 621351 HAS SOUS 64467 HAS SOUPS 62485 WITH SCORE 63108.333
AT ITER 8086 NEW BEST:: SOT 1087588 SOS 624321 HAS SOPS 622295 HAS SOUS 64467 HAS SOUPS 62441 WITH SCORE 63065.321
AT ITER 8107 NEW BEST:: SOT 1087588 SOS 600537 HAS SOPS 598511 HAS SOUS 64437 HAS SOUPS 62411 WITH SCORE 63011.537
AT ITER 8147 NEW BEST:: SOT 1087778 SOS 600763 HAS SOPS 598737 HAS SOUS 64436 HAS SOUPS 62410 WITH SCORE 63010.763
AT ITER 8193 NEW BEST:: SOT 1087778 SOS 600556 HAS SOPS 598530 HAS SOUS 64427 HAS SOUPS 62401 WITH SCORE 63001.556
AT ITER 8218 NEW BEST:: SOT 1087786 SOS 600564 HAS SOPS 598538 HAS SOUS 64416 HAS SOUPS 62390 WITH SCORE 62990.564
AT ITER 8233 NEW BEST:: SOT 1087786 SOS 600588 HAS SOPS 598562 HAS SOUS 64409 HAS SOUPS 62383 WITH SCORE 62983.588
AT ITER 8254 NEW BEST:: SOT 1087786 SOS 600060 HAS SOPS 598034 HAS SOUS 64395 HAS SOUPS 62369 WITH SCORE 62969.06
AT ITER 8317 NEW BEST:: SOT 1087841 SOS 600115 HAS SOPS 598089 HAS SOUS 64130 HAS SOUPS 62104 WITH SCORE 62704.115
AT ITER 8403 NEW BEST:: SOT 1087815 SOS 600089 HAS SOPS 598063 HAS SOUS 64104 HAS SOUPS 62078 WITH SCORE 62678.089
AT ITER 8433 NEW BEST:: SOT 1087774 SOS 600048 HAS SOPS 598022 HAS SOUS 64091 HAS SOUPS 62065 WITH SCORE 62665.048
AT ITER 8439 NEW BEST:: SOT 1087749 SOS 600143 HAS SOPS 598117 HAS SOUS 63985 HAS SOUPS 61959 WITH SCORE 62559.143
AT ITER 8440 NEW BEST:: SOT 1087754 SOS 600152 HAS SOPS 598126 HAS SOUS 63970 HAS SOUPS 61944 WITH SCORE 62544.152
AT ITER 8471 NEW BEST:: SOT 1087754 SOS 600104 HAS SOPS 598078 HAS SOUS 63970 HAS SOUPS 61944 WITH SCORE 62544.104
AT ITER 8493 NEW BEST:: SOT 1087517 SOS 599867 HAS SOPS 597841 HAS SOUS 63876 HAS SOUPS 61850 WITH SCORE 62449.867
AT ITER 8523 NEW BEST:: SOT 1087517 SOS 599825 HAS SOPS 597799 HAS SOUS 63876 HAS SOUPS 61850 WITH SCORE 62449.825
AT ITER 8552 NEW BEST:: SOT 1087467 SOS 600279 HAS SOPS 598253 HAS SOUS 63669 HAS SOUPS 61643 WITH SCORE 62243.279
AT ITER 8565 NEW BEST:: SOT 1087467 SOS 598716 HAS SOPS 596690 HAS SOUS 63666 HAS SOUPS 61640 WITH SCORE 62238.716
AT ITER 8645 NEW BEST:: SOT 1087954 SOS 599203 HAS SOPS 597177 HAS SOUS 63412 HAS SOUPS 61386 WITH SCORE 61985.203
AT ITER 8662 NEW BEST:: SOT 1087954 SOS 599595 HAS SOPS 597569 HAS SOUS 63411 HAS SOUPS 61385 WITH SCORE 61984.595
AT ITER 8701 NEW BEST:: SOT 1086878 SOS 598372 HAS SOPS 596333 HAS SOUS 63309 HAS SOUPS 61270 WITH SCORE 61868.372
AT ITER 8709 NEW BEST:: SOT 1086855 SOS 598349 HAS SOPS 596310 HAS SOUS 63286 HAS SOUPS 61247 WITH SCORE 61845.349
AT ITER 8752 NEW BEST:: SOT 1087145 SOS 598631 HAS SOPS 596600 HAS SOUS 63172 HAS SOUPS 61141 WITH SCORE 61739.631
AT ITER 8781 NEW BEST:: SOT 1086911 SOS 598341 HAS SOPS 596310 HAS SOUS 62940 HAS SOUPS 60909 WITH SCORE 61507.341
AT ITER 8799 NEW BEST:: SOT 1086890 SOS 598320 HAS SOPS 596289 HAS SOUS 62897 HAS SOUPS 60866 WITH SCORE 61464.32
AT ITER 8806 NEW BEST:: SOT 1086890 SOS 598308 HAS SOPS 596277 HAS SOUS 62897 HAS SOUPS 60866 WITH SCORE 61464.308
AT ITER 8887 NEW BEST:: SOT 1086934 SOS 598232 HAS SOPS 596201 HAS SOUS 62892 HAS SOUPS 60861 WITH SCORE 61459.232
AT ITER 8889 NEW BEST:: SOT 1086934 SOS 598112 HAS SOPS 596081 HAS SOUS 62892 HAS SOUPS 60861 WITH SCORE 61459.112
AT ITER 8943 NEW BEST:: SOT 1087104 SOS 598594 HAS SOPS 596563 HAS SOUS 62698 HAS SOUPS 60667 WITH SCORE 61265.594
AT ITER 8961 NEW BEST:: SOT 1087071 SOS 598561 HAS SOPS 596530 HAS SOUS 62672 HAS SOUPS 60641 WITH SCORE 61239.561
AT ITER 9044 NEW BEST:: SOT 1087071 SOS 598874 HAS SOPS 596836 HAS SOUS 62672 HAS SOUPS 60634 WITH SCORE 61232.874
AT ITER 9086 NEW BEST:: SOT 1087036 SOS 598839 HAS SOPS 596801 HAS SOUS 62659 HAS SOUPS 60621 WITH SCORE 61219.839
AT ITER 9098 NEW BEST:: SOT 1087036 SOS 598839 HAS SOPS 596801 HAS SOUS 62635 HAS SOUPS 60597 WITH SCORE 61195.839
AT ITER 9140 NEW BEST:: SOT 1086970 SOS 598767 HAS SOPS 596729 HAS SOUS 62632 HAS SOUPS 60594 WITH SCORE 61192.767
AT ITER 9149 NEW BEST:: SOT 1086938 SOS 598735 HAS SOPS 596697 HAS SOUS 62558 HAS SOUPS 60520 WITH SCORE 61118.735
AT ITER 9173 NEW BEST:: SOT 1086928 SOS 598725 HAS SOPS 596687 HAS SOUS 62554 HAS SOUPS 60516 WITH SCORE 61114.725
AT ITER 9220 NEW BEST:: SOT 1086928 SOS 598702 HAS SOPS 596664 HAS SOUS 62553 HAS SOUPS 60515 WITH SCORE 61113.702
AT ITER 9225 NEW BEST:: SOT 1086917 SOS 598427 HAS SOPS 596428 HAS SOUS 62504 HAS SOUPS 60505 WITH SCORE 61103.427
AT ITER 9282 NEW BEST:: SOT 1086917 SOS 598407 HAS SOPS 596408 HAS SOUS 62503 HAS SOUPS 60504 WITH SCORE 61102.407
AT ITER 9306 NEW BEST:: SOT 1086917 SOS 603159 HAS SOPS 601160 HAS SOUS 62492 HAS SOUPS 60493 WITH SCORE 61096.159
AT ITER 9308 NEW BEST:: SOT 1086917 SOS 603258 HAS SOPS 601259 HAS SOUS 62489 HAS SOUPS 60490 WITH SCORE 61093.258
AT ITER 9330 NEW BEST:: SOT 1087244 SOS 603585 HAS SOPS 601586 HAS SOUS 62469 HAS SOUPS 60470 WITH SCORE 61073.585
AT ITER 9467 NEW BEST:: SOT 1087159 SOS 603490 HAS SOPS 601491 HAS SOUS 62290 HAS SOUPS 60291 WITH SCORE 60894.49
AT ITER 9469 NEW BEST:: SOT 1087167 SOS 603498 HAS SOPS 601499 HAS SOUS 62250 HAS SOUPS 60251 WITH SCORE 60854.498
AT ITER 9495 NEW BEST:: SOT 1087165 SOS 603494 HAS SOPS 601497 HAS SOUS 62246 HAS SOUPS 60249 WITH SCORE 60852.494
AT ITER 9546 NEW BEST:: SOT 1086920 SOS 603126 HAS SOPS 601104 HAS SOUS 62124 HAS SOUPS 60102 WITH SCORE 60705.126
AT ITER 9596 NEW BEST:: SOT 1086920 SOS 602160 HAS SOPS 600096 HAS SOUS 62166 HAS SOUPS 60102 WITH SCORE 60704.16
AT ITER 9597 NEW BEST:: SOT 1086918 SOS 602158 HAS SOPS 600094 HAS SOUS 62162 HAS SOUPS 60098 WITH SCORE 60700.158
AT ITER 9599 NEW BEST:: SOT 1086870 SOS 602102 HAS SOPS 600038 HAS SOUS 62156 HAS SOUPS 60092 WITH SCORE 60694.102
AT ITER 9631 NEW BEST:: SOT 1086879 SOS 602109 HAS SOPS 600047 HAS SOUS 62068 HAS SOUPS 60006 WITH SCORE 60608.109
AT ITER 9677 NEW BEST:: SOT 1086849 SOS 602079 HAS SOPS 599897 HAS SOUS 62163 HAS SOUPS 59981 WITH SCORE 60583.079
AT ITER 9724 NEW BEST:: SOT 1086849 SOS 602076 HAS SOPS 599897 HAS SOUS 62160 HAS SOUPS 59981 WITH SCORE 60583.076
AT ITER 9732 NEW BEST:: SOT 1086842 SOS 602069 HAS SOPS 599890 HAS SOUS 62147 HAS SOUPS 59968 WITH SCORE 60570.069
AT ITER 9785 NEW BEST:: SOT 1086905 SOS 604750 HAS SOPS 602571 HAS SOUS 61958 HAS SOUPS 59779 WITH SCORE 60383.75
AT ITER 9794 NEW BEST:: SOT 1086905 SOS 604606 HAS SOPS 602427 HAS SOUS 61958 HAS SOUPS 59779 WITH SCORE 60383.606
AT ITER 9797 NEW BEST:: SOT 1086904 SOS 604605 HAS SOPS 602426 HAS SOUS 61957 HAS SOUPS 59778 WITH SCORE 60382.605
AT ITER 9828 NEW BEST:: SOT 1086874 SOS 604423 HAS SOPS 602277 HAS SOUS 61890 HAS SOUPS 59744 WITH SCORE 60348.423
AT ITER 9861 NEW BEST:: SOT 1087861 SOS 605410 HAS SOPS 603264 HAS SOUS 61883 HAS SOUPS 59737 WITH SCORE 60342.41
AT ITER 9955 NEW BEST:: SOT 1087861 SOS 605410 HAS SOPS 603264 HAS SOUS 61880 HAS SOUPS 59734 WITH SCORE 60339.41
AT ITER 9978 NEW BEST:: SOT 1087878 SOS 605427 HAS SOPS 603281 HAS SOUS 61743 HAS SOUPS 59597 WITH SCORE 60202.427
AT ITER 9990 NEW BEST:: SOT 1087878 SOS 604737 HAS SOPS 602561 HAS SOUS 61773 HAS SOUPS 59597 WITH SCORE 60201.737
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11476856 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16113580 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="Medical-PT-16"
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 Medical-PT-16, 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 r235-tall-167856422200712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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