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.r107-tall-167814485101080.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 DatabaseWithMutex-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814485101080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 78K Feb 25 13:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 372K Feb 25 13:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 139K Feb 25 13:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 742K Feb 25 13:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 42K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 151K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 157K Feb 25 13:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 718K Feb 25 13:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 206K Feb 25 13:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 13:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 840K 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 1678451812067

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=DatabaseWithMutex-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 12:36:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 12:36:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 12:36:53] [INFO ] Load time of PNML (sax parser for PT used): 102 ms
[2023-03-10 12:36:53] [INFO ] Transformed 830 places.
[2023-03-10 12:36:53] [INFO ] Transformed 800 transitions.
[2023-03-10 12:36:53] [INFO ] Found NUPN structural information;
[2023-03-10 12:36:53] [INFO ] Parsed PT model containing 830 places and 800 transitions and 3800 arcs in 168 ms.
[2023-03-10 12:36:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 830 places, 800 transitions and 3800 arcs took 11 ms.
Total runtime 209 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (PT), instance 10
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: 830 places, 800 transitions, 3800 arcs.
AT ITER 0 NEW BEST:: SOT 437266 SOS 202925 HAS SOPS 202925 HAS SOUS 174836 HAS SOUPS 174836 WITH SCORE 175038.925
AT ITER 1 NEW BEST:: SOT 437266 SOS 202914 HAS SOPS 202914 HAS SOUS 174825 HAS SOUPS 174825 WITH SCORE 175027.914
AT ITER 5 NEW BEST:: SOT 437247 SOS 202828 HAS SOPS 202828 HAS SOUS 174739 HAS SOUPS 174739 WITH SCORE 174941.828
AT ITER 9 NEW BEST:: SOT 437172 SOS 203831 HAS SOPS 203831 HAS SOUS 174611 HAS SOUPS 174611 WITH SCORE 174814.831
AT ITER 10 NEW BEST:: SOT 437172 SOS 203780 HAS SOPS 203780 HAS SOUS 174560 HAS SOUPS 174560 WITH SCORE 174763.78
AT ITER 12 NEW BEST:: SOT 436280 SOS 203051 HAS SOPS 203051 HAS SOUS 173831 HAS SOUPS 173831 WITH SCORE 174034.051
AT ITER 15 NEW BEST:: SOT 436033 SOS 204525 HAS SOPS 204525 HAS SOUS 173415 HAS SOUPS 173415 WITH SCORE 173619.525
AT ITER 19 NEW BEST:: SOT 435967 SOS 204459 HAS SOPS 204459 HAS SOUS 173283 HAS SOUPS 173283 WITH SCORE 173487.459
AT ITER 31 NEW BEST:: SOT 435967 SOS 204451 HAS SOPS 204451 HAS SOUS 173275 HAS SOUPS 173275 WITH SCORE 173479.451
AT ITER 41 NEW BEST:: SOT 435967 SOS 204450 HAS SOPS 204450 HAS SOUS 173274 HAS SOUPS 173274 WITH SCORE 173478.45
AT ITER 55 NEW BEST:: SOT 435791 SOS 204517 HAS SOPS 204517 HAS SOUS 173245 HAS SOUPS 173245 WITH SCORE 173449.517
AT ITER 56 NEW BEST:: SOT 435721 SOS 204892 HAS SOPS 204892 HAS SOUS 173133 HAS SOUPS 173133 WITH SCORE 173337.892
AT ITER 57 NEW BEST:: SOT 435721 SOS 204892 HAS SOPS 204892 HAS SOUS 173102 HAS SOUPS 173102 WITH SCORE 173306.892
AT ITER 63 NEW BEST:: SOT 435608 SOS 205645 HAS SOPS 205645 HAS SOUS 172945 HAS SOUPS 172945 WITH SCORE 173150.645
AT ITER 70 NEW BEST:: SOT 435595 SOS 205632 HAS SOPS 205632 HAS SOUS 172919 HAS SOUPS 172919 WITH SCORE 173124.632
AT ITER 82 NEW BEST:: SOT 435148 SOS 205204 HAS SOPS 205204 HAS SOUS 172472 HAS SOUPS 172472 WITH SCORE 172677.204
AT ITER 89 NEW BEST:: SOT 435148 SOS 204993 HAS SOPS 204993 HAS SOUS 172429 HAS SOUPS 172429 WITH SCORE 172633.993
AT ITER 92 NEW BEST:: SOT 435151 SOS 204887 HAS SOPS 204887 HAS SOUS 172217 HAS SOUPS 172217 WITH SCORE 172421.887
AT ITER 97 NEW BEST:: SOT 435151 SOS 204860 HAS SOPS 204860 HAS SOUS 172190 HAS SOUPS 172190 WITH SCORE 172394.86
AT ITER 99 NEW BEST:: SOT 435151 SOS 204840 HAS SOPS 204840 HAS SOUS 172170 HAS SOUPS 172170 WITH SCORE 172374.84
AT ITER 103 NEW BEST:: SOT 435045 SOS 204734 HAS SOPS 204734 HAS SOUS 171958 HAS SOUPS 171958 WITH SCORE 172162.734
AT ITER 105 NEW BEST:: SOT 434956 SOS 205281 HAS SOPS 205281 HAS SOUS 171950 HAS SOUPS 171950 WITH SCORE 172155.281
AT ITER 112 NEW BEST:: SOT 434887 SOS 205061 HAS SOPS 205061 HAS SOUS 171848 HAS SOUPS 171848 WITH SCORE 172053.061
AT ITER 121 NEW BEST:: SOT 434887 SOS 205082 HAS SOPS 205082 HAS SOUS 171845 HAS SOUPS 171845 WITH SCORE 172050.082
AT ITER 129 NEW BEST:: SOT 434494 SOS 204713 HAS SOPS 204713 HAS SOUS 171476 HAS SOUPS 171476 WITH SCORE 171680.713
AT ITER 140 NEW BEST:: SOT 434432 SOS 204651 HAS SOPS 204651 HAS SOUS 171414 HAS SOUPS 171414 WITH SCORE 171618.651
AT ITER 142 NEW BEST:: SOT 434432 SOS 204622 HAS SOPS 204622 HAS SOUS 171385 HAS SOUPS 171385 WITH SCORE 171589.622
AT ITER 148 NEW BEST:: SOT 434432 SOS 204571 HAS SOPS 204571 HAS SOUS 171334 HAS SOUPS 171334 WITH SCORE 171538.571
AT ITER 151 NEW BEST:: SOT 434277 SOS 205777 HAS SOPS 205777 HAS SOUS 171225 HAS SOUPS 171225 WITH SCORE 171430.777
AT ITER 157 NEW BEST:: SOT 434254 SOS 206473 HAS SOPS 206473 HAS SOUS 171179 HAS SOUPS 171179 WITH SCORE 171385.473
AT ITER 160 NEW BEST:: SOT 433472 SOS 205696 HAS SOPS 205696 HAS SOUS 170353 HAS SOUPS 170353 WITH SCORE 170558.696
AT ITER 177 NEW BEST:: SOT 433472 SOS 205662 HAS SOPS 205662 HAS SOUS 170319 HAS SOUPS 170319 WITH SCORE 170524.662
AT ITER 193 NEW BEST:: SOT 433352 SOS 205557 HAS SOPS 205557 HAS SOUS 170214 HAS SOUPS 170214 WITH SCORE 170419.557
AT ITER 194 NEW BEST:: SOT 433268 SOS 206104 HAS SOPS 206104 HAS SOUS 170184 HAS SOUPS 170184 WITH SCORE 170390.104
AT ITER 196 NEW BEST:: SOT 433214 SOS 206050 HAS SOPS 206050 HAS SOUS 170076 HAS SOUPS 170076 WITH SCORE 170282.05
AT ITER 199 NEW BEST:: SOT 433214 SOS 205990 HAS SOPS 205990 HAS SOUS 170016 HAS SOUPS 170016 WITH SCORE 170221.99
AT ITER 201 NEW BEST:: SOT 433214 SOS 205988 HAS SOPS 205988 HAS SOUS 170014 HAS SOUPS 170014 WITH SCORE 170219.988
AT ITER 207 NEW BEST:: SOT 433219 SOS 205993 HAS SOPS 205993 HAS SOUS 169984 HAS SOUPS 169984 WITH SCORE 170189.993
AT ITER 214 NEW BEST:: SOT 433219 SOS 205989 HAS SOPS 205989 HAS SOUS 169980 HAS SOUPS 169980 WITH SCORE 170185.989
AT ITER 222 NEW BEST:: SOT 433089 SOS 205859 HAS SOPS 205859 HAS SOUS 169853 HAS SOUPS 169853 WITH SCORE 170058.859
AT ITER 234 NEW BEST:: SOT 432969 SOS 206935 HAS SOPS 206935 HAS SOUS 169752 HAS SOUPS 169752 WITH SCORE 169958.935
AT ITER 241 NEW BEST:: SOT 431803 SOS 205825 HAS SOPS 205825 HAS SOUS 168627 HAS SOUPS 168627 WITH SCORE 168832.825
AT ITER 244 NEW BEST:: SOT 431585 SOS 207448 HAS SOPS 207448 HAS SOUS 168345 HAS SOUPS 168345 WITH SCORE 168552.448
AT ITER 245 NEW BEST:: SOT 431411 SOS 207289 HAS SOPS 207289 HAS SOUS 168186 HAS SOUPS 168186 WITH SCORE 168393.289
AT ITER 259 NEW BEST:: SOT 431254 SOS 208479 HAS SOPS 208479 HAS SOUS 168102 HAS SOUPS 168102 WITH SCORE 168310.479
AT ITER 260 NEW BEST:: SOT 431231 SOS 208460 HAS SOPS 208460 HAS SOUS 168060 HAS SOUPS 168060 WITH SCORE 168268.46
AT ITER 263 NEW BEST:: SOT 431231 SOS 208394 HAS SOPS 208394 HAS SOUS 167928 HAS SOUPS 167928 WITH SCORE 168136.394
AT ITER 268 NEW BEST:: SOT 431230 SOS 208391 HAS SOPS 208391 HAS SOUS 167925 HAS SOUPS 167925 WITH SCORE 168133.391
AT ITER 273 NEW BEST:: SOT 431240 SOS 208274 HAS SOPS 208274 HAS SOUS 167808 HAS SOUPS 167808 WITH SCORE 168016.274
AT ITER 282 NEW BEST:: SOT 431240 SOS 207144 HAS SOPS 207144 HAS SOUS 167799 HAS SOUPS 167799 WITH SCORE 168006.144
AT ITER 291 NEW BEST:: SOT 431240 SOS 207051 HAS SOPS 207051 HAS SOUS 167706 HAS SOUPS 167706 WITH SCORE 167913.051
AT ITER 293 NEW BEST:: SOT 431203 SOS 207573 HAS SOPS 207573 HAS SOUS 167652 HAS SOUPS 167652 WITH SCORE 167859.573
AT ITER 309 NEW BEST:: SOT 431203 SOS 207559 HAS SOPS 207559 HAS SOUS 167638 HAS SOUPS 167638 WITH SCORE 167845.559
AT ITER 318 NEW BEST:: SOT 431186 SOS 207500 HAS SOPS 207500 HAS SOUS 167618 HAS SOUPS 167618 WITH SCORE 167825.5
AT ITER 319 NEW BEST:: SOT 431029 SOS 207343 HAS SOPS 207343 HAS SOUS 167461 HAS SOUPS 167461 WITH SCORE 167668.343
AT ITER 321 NEW BEST:: SOT 431019 SOS 207333 HAS SOPS 207333 HAS SOUS 167451 HAS SOUPS 167451 WITH SCORE 167658.333
AT ITER 330 NEW BEST:: SOT 431016 SOS 207269 HAS SOPS 207269 HAS SOUS 167387 HAS SOUPS 167387 WITH SCORE 167594.269
AT ITER 333 NEW BEST:: SOT 430949 SOS 208163 HAS SOPS 208163 HAS SOUS 167177 HAS SOUPS 167177 WITH SCORE 167385.163
AT ITER 351 NEW BEST:: SOT 430430 SOS 207753 HAS SOPS 207753 HAS SOUS 166767 HAS SOUPS 166767 WITH SCORE 166974.753
AT ITER 368 NEW BEST:: SOT 430424 SOS 207747 HAS SOPS 207747 HAS SOUS 166761 HAS SOUPS 166761 WITH SCORE 166968.747
AT ITER 371 NEW BEST:: SOT 428403 SOS 207134 HAS SOPS 207134 HAS SOUS 164809 HAS SOUPS 164809 WITH SCORE 165016.134
AT ITER 372 NEW BEST:: SOT 428389 SOS 207120 HAS SOPS 207120 HAS SOUS 164774 HAS SOUPS 164774 WITH SCORE 164981.12
AT ITER 388 NEW BEST:: SOT 427584 SOS 206624 HAS SOPS 206624 HAS SOUS 164100 HAS SOUPS 164100 WITH SCORE 164306.624
AT ITER 389 NEW BEST:: SOT 427127 SOS 206185 HAS SOPS 206185 HAS SOUS 163643 HAS SOUPS 163643 WITH SCORE 163849.185
AT ITER 393 NEW BEST:: SOT 427127 SOS 206096 HAS SOPS 206096 HAS SOUS 163554 HAS SOUPS 163554 WITH SCORE 163760.096
AT ITER 397 NEW BEST:: SOT 427091 SOS 206060 HAS SOPS 206060 HAS SOUS 163482 HAS SOUPS 163482 WITH SCORE 163688.06
AT ITER 406 NEW BEST:: SOT 425841 SOS 204667 HAS SOPS 204667 HAS SOUS 162441 HAS SOUPS 162441 WITH SCORE 162645.667
AT ITER 418 NEW BEST:: SOT 425717 SOS 204543 HAS SOPS 204543 HAS SOUS 162317 HAS SOUPS 162317 WITH SCORE 162521.543
AT ITER 420 NEW BEST:: SOT 425728 SOS 204498 HAS SOPS 204498 HAS SOUS 162227 HAS SOUPS 162227 WITH SCORE 162431.498
AT ITER 422 NEW BEST:: SOT 425649 SOS 205158 HAS SOPS 205158 HAS SOUS 162103 HAS SOUPS 162103 WITH SCORE 162308.158
AT ITER 424 NEW BEST:: SOT 425573 SOS 205006 HAS SOPS 205006 HAS SOUS 161951 HAS SOUPS 161951 WITH SCORE 162156.006
AT ITER 430 NEW BEST:: SOT 425415 SOS 204882 HAS SOPS 204882 HAS SOUS 161793 HAS SOUPS 161793 WITH SCORE 161997.882
AT ITER 432 NEW BEST:: SOT 425280 SOS 206692 HAS SOPS 206692 HAS SOUS 161677 HAS SOUPS 161677 WITH SCORE 161883.692
AT ITER 448 NEW BEST:: SOT 425280 SOS 206692 HAS SOPS 206692 HAS SOUS 161658 HAS SOUPS 161658 WITH SCORE 161864.692
AT ITER 454 NEW BEST:: SOT 425277 SOS 206689 HAS SOPS 206689 HAS SOUS 161652 HAS SOUPS 161652 WITH SCORE 161858.689
AT ITER 470 NEW BEST:: SOT 425137 SOS 207945 HAS SOPS 207945 HAS SOUS 161629 HAS SOUPS 161629 WITH SCORE 161836.945
AT ITER 471 NEW BEST:: SOT 425093 SOS 207958 HAS SOPS 207958 HAS SOUS 161594 HAS SOUPS 161594 WITH SCORE 161801.958
AT ITER 473 NEW BEST:: SOT 425093 SOS 207942 HAS SOPS 207942 HAS SOUS 161578 HAS SOUPS 161578 WITH SCORE 161785.942
AT ITER 475 NEW BEST:: SOT 423378 SOS 207514 HAS SOPS 207514 HAS SOUS 160002 HAS SOUPS 160002 WITH SCORE 160209.514
AT ITER 481 NEW BEST:: SOT 423378 SOS 207505 HAS SOPS 207505 HAS SOUS 160002 HAS SOUPS 160002 WITH SCORE 160209.505
AT ITER 487 NEW BEST:: SOT 423356 SOS 207483 HAS SOPS 207483 HAS SOUS 159958 HAS SOUPS 159958 WITH SCORE 160165.483
AT ITER 488 NEW BEST:: SOT 422997 SOS 207468 HAS SOPS 207468 HAS SOUS 159677 HAS SOUPS 159677 WITH SCORE 159884.468
AT ITER 489 NEW BEST:: SOT 422997 SOS 207396 HAS SOPS 207396 HAS SOUS 159677 HAS SOUPS 159677 WITH SCORE 159884.396
AT ITER 491 NEW BEST:: SOT 421567 SOS 208126 HAS SOPS 208126 HAS SOUS 158528 HAS SOUPS 158528 WITH SCORE 158736.126
AT ITER 496 NEW BEST:: SOT 421508 SOS 208152 HAS SOPS 208152 HAS SOUS 158469 HAS SOUPS 158469 WITH SCORE 158677.152
AT ITER 505 NEW BEST:: SOT 421501 SOS 208730 HAS SOPS 208730 HAS SOUS 158462 HAS SOUPS 158462 WITH SCORE 158670.73
AT ITER 506 NEW BEST:: SOT 420872 SOS 208224 HAS SOPS 208224 HAS SOUS 157971 HAS SOUPS 157971 WITH SCORE 158179.224
AT ITER 527 NEW BEST:: SOT 420723 SOS 207874 HAS SOPS 207874 HAS SOUS 157812 HAS SOUPS 157812 WITH SCORE 158019.874
AT ITER 531 NEW BEST:: SOT 420721 SOS 207872 HAS SOPS 207872 HAS SOUS 157810 HAS SOUPS 157810 WITH SCORE 158017.872
AT ITER 544 NEW BEST:: SOT 420684 SOS 207780 HAS SOPS 207780 HAS SOUS 157736 HAS SOUPS 157736 WITH SCORE 157943.78
AT ITER 546 NEW BEST:: SOT 419918 SOS 207446 HAS SOPS 207446 HAS SOUS 157168 HAS SOUPS 157168 WITH SCORE 157375.446
AT ITER 547 NEW BEST:: SOT 419942 SOS 205634 HAS SOPS 205634 HAS SOUS 157132 HAS SOUPS 157132 WITH SCORE 157337.634
AT ITER 549 NEW BEST:: SOT 419881 SOS 206113 HAS SOPS 206113 HAS SOUS 157049 HAS SOUPS 157049 WITH SCORE 157255.113
AT ITER 553 NEW BEST:: SOT 419881 SOS 206113 HAS SOPS 206113 HAS SOUS 157020 HAS SOUPS 157020 WITH SCORE 157226.113
AT ITER 576 NEW BEST:: SOT 419845 SOS 206634 HAS SOPS 206634 HAS SOUS 157008 HAS SOUPS 157008 WITH SCORE 157214.634
AT ITER 577 NEW BEST:: SOT 419845 SOS 206607 HAS SOPS 206607 HAS SOUS 156981 HAS SOUPS 156981 WITH SCORE 157187.607
AT ITER 591 NEW BEST:: SOT 419845 SOS 206604 HAS SOPS 206604 HAS SOUS 156978 HAS SOUPS 156978 WITH SCORE 157184.604
AT ITER 610 NEW BEST:: SOT 419763 SOS 207438 HAS SOPS 207438 HAS SOUS 156900 HAS SOUPS 156900 WITH SCORE 157107.438
AT ITER 612 NEW BEST:: SOT 419763 SOS 207460 HAS SOPS 207460 HAS SOUS 156878 HAS SOUPS 156878 WITH SCORE 157085.46
AT ITER 613 NEW BEST:: SOT 419763 SOS 207441 HAS SOPS 207441 HAS SOUS 156859 HAS SOUPS 156859 WITH SCORE 157066.441
AT ITER 614 NEW BEST:: SOT 419763 SOS 207441 HAS SOPS 207441 HAS SOUS 156852 HAS SOUPS 156852 WITH SCORE 157059.441
AT ITER 623 NEW BEST:: SOT 419236 SOS 206921 HAS SOPS 206921 HAS SOUS 156325 HAS SOUPS 156325 WITH SCORE 156531.921
AT ITER 635 NEW BEST:: SOT 418808 SOS 206672 HAS SOPS 206672 HAS SOUS 155992 HAS SOUPS 155992 WITH SCORE 156198.672
AT ITER 656 NEW BEST:: SOT 418808 SOS 206678 HAS SOPS 206678 HAS SOUS 155956 HAS SOUPS 155956 WITH SCORE 156162.678
AT ITER 660 NEW BEST:: SOT 418791 SOS 206644 HAS SOPS 206644 HAS SOUS 155939 HAS SOUPS 155939 WITH SCORE 156145.644
AT ITER 662 NEW BEST:: SOT 418780 SOS 206633 HAS SOPS 206633 HAS SOUS 155917 HAS SOUPS 155917 WITH SCORE 156123.633
AT ITER 669 NEW BEST:: SOT 418108 SOS 206277 HAS SOPS 206277 HAS SOUS 155561 HAS SOUPS 155561 WITH SCORE 155767.277
AT ITER 676 NEW BEST:: SOT 418072 SOS 206293 HAS SOPS 206293 HAS SOUS 155539 HAS SOUPS 155539 WITH SCORE 155745.293
AT ITER 681 NEW BEST:: SOT 418080 SOS 206385 HAS SOPS 206385 HAS SOUS 155471 HAS SOUPS 155471 WITH SCORE 155677.385
AT ITER 684 NEW BEST:: SOT 418049 SOS 206301 HAS SOPS 206301 HAS SOUS 155356 HAS SOUPS 155356 WITH SCORE 155562.301
AT ITER 687 NEW BEST:: SOT 417079 SOS 206075 HAS SOPS 206075 HAS SOUS 154631 HAS SOUPS 154631 WITH SCORE 154837.075
AT ITER 689 NEW BEST:: SOT 417079 SOS 205956 HAS SOPS 205956 HAS SOUS 154512 HAS SOUPS 154512 WITH SCORE 154717.956
AT ITER 714 NEW BEST:: SOT 417079 SOS 205494 HAS SOPS 205494 HAS SOUS 154482 HAS SOUPS 154482 WITH SCORE 154687.494
AT ITER 716 NEW BEST:: SOT 417057 SOS 205472 HAS SOPS 205472 HAS SOUS 154468 HAS SOUPS 154468 WITH SCORE 154673.472
AT ITER 720 NEW BEST:: SOT 417036 SOS 205451 HAS SOPS 205451 HAS SOUS 154426 HAS SOUPS 154426 WITH SCORE 154631.451
AT ITER 721 NEW BEST:: SOT 416798 SOS 206415 HAS SOPS 206415 HAS SOUS 154269 HAS SOUPS 154269 WITH SCORE 154475.415
AT ITER 728 NEW BEST:: SOT 416801 SOS 206395 HAS SOPS 206395 HAS SOUS 154249 HAS SOUPS 154249 WITH SCORE 154455.395
AT ITER 730 NEW BEST:: SOT 416763 SOS 205601 HAS SOPS 205601 HAS SOUS 154173 HAS SOUPS 154173 WITH SCORE 154378.601
AT ITER 742 NEW BEST:: SOT 416748 SOS 205567 HAS SOPS 205567 HAS SOUS 154124 HAS SOUPS 154124 WITH SCORE 154329.567
AT ITER 746 NEW BEST:: SOT 416471 SOS 205399 HAS SOPS 205399 HAS SOUS 154040 HAS SOUPS 154040 WITH SCORE 154245.399
AT ITER 768 NEW BEST:: SOT 416434 SOS 207837 HAS SOPS 207837 HAS SOUS 154000 HAS SOUPS 154000 WITH SCORE 154207.837
AT ITER 770 NEW BEST:: SOT 416078 SOS 207682 HAS SOPS 207682 HAS SOUS 153644 HAS SOUPS 153644 WITH SCORE 153851.682
AT ITER 771 NEW BEST:: SOT 416069 SOS 207632 HAS SOPS 207632 HAS SOUS 153626 HAS SOUPS 153626 WITH SCORE 153833.632
AT ITER 780 NEW BEST:: SOT 415250 SOS 208014 HAS SOPS 208014 HAS SOUS 153081 HAS SOUPS 153081 WITH SCORE 153289.014
AT ITER 783 NEW BEST:: SOT 415204 SOS 207968 HAS SOPS 207968 HAS SOUS 153035 HAS SOUPS 153035 WITH SCORE 153242.968
AT ITER 784 NEW BEST:: SOT 414059 SOS 208167 HAS SOPS 208167 HAS SOUS 152340 HAS SOUPS 152340 WITH SCORE 152548.167
AT ITER 786 NEW BEST:: SOT 414025 SOS 208128 HAS SOPS 208128 HAS SOUS 152335 HAS SOUPS 152335 WITH SCORE 152543.128
AT ITER 798 NEW BEST:: SOT 413906 SOS 208077 HAS SOPS 208077 HAS SOUS 152263 HAS SOUPS 152263 WITH SCORE 152471.077
AT ITER 804 NEW BEST:: SOT 413886 SOS 208568 HAS SOPS 208568 HAS SOUS 152223 HAS SOUPS 152223 WITH SCORE 152431.568
AT ITER 830 NEW BEST:: SOT 413863 SOS 208545 HAS SOPS 208545 HAS SOUS 152200 HAS SOUPS 152200 WITH SCORE 152408.545
AT ITER 836 NEW BEST:: SOT 413195 SOS 208677 HAS SOPS 208677 HAS SOUS 151818 HAS SOUPS 151818 WITH SCORE 152026.677
AT ITER 839 NEW BEST:: SOT 413148 SOS 208613 HAS SOPS 208613 HAS SOUS 151707 HAS SOUPS 151707 WITH SCORE 151915.613
AT ITER 846 NEW BEST:: SOT 413203 SOS 208668 HAS SOPS 208668 HAS SOUS 151657 HAS SOUPS 151657 WITH SCORE 151865.668
AT ITER 863 NEW BEST:: SOT 413197 SOS 208657 HAS SOPS 208657 HAS SOUS 151650 HAS SOUPS 151650 WITH SCORE 151858.657
AT ITER 873 NEW BEST:: SOT 413198 SOS 208658 HAS SOPS 208658 HAS SOUS 151590 HAS SOUPS 151590 WITH SCORE 151798.658
AT ITER 883 NEW BEST:: SOT 413198 SOS 208595 HAS SOPS 208595 HAS SOUS 151464 HAS SOUPS 151464 WITH SCORE 151672.595
AT ITER 885 NEW BEST:: SOT 413198 SOS 208562 HAS SOPS 208562 HAS SOUS 151431 HAS SOUPS 151431 WITH SCORE 151639.562
AT ITER 897 NEW BEST:: SOT 413198 SOS 208354 HAS SOPS 208354 HAS SOUS 151431 HAS SOUPS 151431 WITH SCORE 151639.354
AT ITER 930 NEW BEST:: SOT 413157 SOS 208473 HAS SOPS 208473 HAS SOUS 151395 HAS SOUPS 151395 WITH SCORE 151603.473
AT ITER 935 NEW BEST:: SOT 413144 SOS 208435 HAS SOPS 208435 HAS SOUS 151369 HAS SOUPS 151369 WITH SCORE 151577.435
AT ITER 945 NEW BEST:: SOT 413064 SOS 208230 HAS SOPS 208230 HAS SOUS 151084 HAS SOUPS 151084 WITH SCORE 151292.23
AT ITER 955 NEW BEST:: SOT 413083 SOS 208249 HAS SOPS 208249 HAS SOUS 151071 HAS SOUPS 151071 WITH SCORE 151279.249
AT ITER 961 NEW BEST:: SOT 412169 SOS 207907 HAS SOPS 207907 HAS SOUS 150427 HAS SOUPS 150427 WITH SCORE 150634.907
AT ITER 966 NEW BEST:: SOT 412110 SOS 207789 HAS SOPS 207789 HAS SOUS 150309 HAS SOUPS 150309 WITH SCORE 150516.789
AT ITER 970 NEW BEST:: SOT 412071 SOS 207750 HAS SOPS 207750 HAS SOUS 150309 HAS SOUPS 150309 WITH SCORE 150516.75
AT ITER 982 NEW BEST:: SOT 412071 SOS 207695 HAS SOPS 207695 HAS SOUS 150254 HAS SOUPS 150254 WITH SCORE 150461.695
AT ITER 990 NEW BEST:: SOT 412071 SOS 207618 HAS SOPS 207618 HAS SOUS 150177 HAS SOUPS 150177 WITH SCORE 150384.618
AT ITER 995 NEW BEST:: SOT 412071 SOS 207601 HAS SOPS 207601 HAS SOUS 150170 HAS SOUPS 150170 WITH SCORE 150377.601
AT ITER 997 NEW BEST:: SOT 412060 SOS 207536 HAS SOPS 207536 HAS SOUS 150158 HAS SOUPS 150158 WITH SCORE 150365.536
AT ITER 1012 NEW BEST:: SOT 412031 SOS 207518 HAS SOPS 207518 HAS SOUS 150089 HAS SOUPS 150089 WITH SCORE 150296.518
AT ITER 1014 NEW BEST:: SOT 410954 SOS 206428 HAS SOPS 206428 HAS SOUS 149159 HAS SOUPS 149159 WITH SCORE 149365.428
AT ITER 1025 NEW BEST:: SOT 410954 SOS 206398 HAS SOPS 206398 HAS SOUS 149129 HAS SOUPS 149129 WITH SCORE 149335.398
AT ITER 1048 NEW BEST:: SOT 410954 SOS 206394 HAS SOPS 206394 HAS SOUS 149125 HAS SOUPS 149125 WITH SCORE 149331.394
AT ITER 1050 NEW BEST:: SOT 410954 SOS 206393 HAS SOPS 206393 HAS SOUS 149124 HAS SOUPS 149124 WITH SCORE 149330.393
AT ITER 1065 NEW BEST:: SOT 410935 SOS 206324 HAS SOPS 206324 HAS SOUS 149074 HAS SOUPS 149074 WITH SCORE 149280.324
AT ITER 1069 NEW BEST:: SOT 410972 SOS 206262 HAS SOPS 206262 HAS SOUS 149012 HAS SOUPS 149012 WITH SCORE 149218.262
AT ITER 1075 NEW BEST:: SOT 410966 SOS 206256 HAS SOPS 206256 HAS SOUS 149012 HAS SOUPS 149012 WITH SCORE 149218.256
AT ITER 1079 NEW BEST:: SOT 410966 SOS 206216 HAS SOPS 206216 HAS SOUS 149012 HAS SOUPS 149012 WITH SCORE 149218.216
AT ITER 1080 NEW BEST:: SOT 410953 SOS 206203 HAS SOPS 206203 HAS SOUS 148986 HAS SOUPS 148986 WITH SCORE 149192.203
AT ITER 1091 NEW BEST:: SOT 410891 SOS 206072 HAS SOPS 206072 HAS SOUS 148770 HAS SOUPS 148770 WITH SCORE 148976.072
AT ITER 1096 NEW BEST:: SOT 410826 SOS 205899 HAS SOPS 205899 HAS SOUS 148614 HAS SOUPS 148614 WITH SCORE 148819.899
AT ITER 1101 NEW BEST:: SOT 410780 SOS 205879 HAS SOPS 205879 HAS SOUS 148522 HAS SOUPS 148522 WITH SCORE 148727.879
AT ITER 1116 NEW BEST:: SOT 410718 SOS 206910 HAS SOPS 206910 HAS SOUS 148426 HAS SOUPS 148426 WITH SCORE 148632.91
AT ITER 1118 NEW BEST:: SOT 410711 SOS 206896 HAS SOPS 206896 HAS SOUS 148412 HAS SOUPS 148412 WITH SCORE 148618.896
AT ITER 1130 NEW BEST:: SOT 410502 SOS 207716 HAS SOPS 207716 HAS SOUS 148298 HAS SOUPS 148298 WITH SCORE 148505.716
AT ITER 1148 NEW BEST:: SOT 410411 SOS 207596 HAS SOPS 207596 HAS SOUS 148186 HAS SOUPS 148186 WITH SCORE 148393.596
AT ITER 1150 NEW BEST:: SOT 410320 SOS 207518 HAS SOPS 207518 HAS SOUS 148108 HAS SOUPS 148108 WITH SCORE 148315.518
AT ITER 1168 NEW BEST:: SOT 410320 SOS 207502 HAS SOPS 207502 HAS SOUS 148092 HAS SOUPS 148092 WITH SCORE 148299.502
AT ITER 1170 NEW BEST:: SOT 410264 SOS 207950 HAS SOPS 207950 HAS SOUS 148036 HAS SOUPS 148036 WITH SCORE 148243.95
AT ITER 1180 NEW BEST:: SOT 410264 SOS 207986 HAS SOPS 207986 HAS SOUS 147980 HAS SOUPS 147980 WITH SCORE 148187.986
AT ITER 1188 NEW BEST:: SOT 409997 SOS 207785 HAS SOPS 207785 HAS SOUS 147771 HAS SOUPS 147771 WITH SCORE 147978.785
AT ITER 1190 NEW BEST:: SOT 409738 SOS 207587 HAS SOPS 207587 HAS SOUS 147512 HAS SOUPS 147512 WITH SCORE 147719.587
AT ITER 1207 NEW BEST:: SOT 409738 SOS 207587 HAS SOPS 207587 HAS SOUS 147509 HAS SOUPS 147509 WITH SCORE 147716.587
AT ITER 1208 NEW BEST:: SOT 409738 SOS 207568 HAS SOPS 207568 HAS SOUS 147509 HAS SOUPS 147509 WITH SCORE 147716.568
AT ITER 1214 NEW BEST:: SOT 409702 SOS 207489 HAS SOPS 207489 HAS SOUS 147466 HAS SOUPS 147466 WITH SCORE 147673.489
AT ITER 1218 NEW BEST:: SOT 409689 SOS 207476 HAS SOPS 207476 HAS SOUS 147440 HAS SOUPS 147440 WITH SCORE 147647.476
AT ITER 1221 NEW BEST:: SOT 409660 SOS 207447 HAS SOPS 207447 HAS SOUS 147402 HAS SOUPS 147402 WITH SCORE 147609.447
AT ITER 1222 NEW BEST:: SOT 409660 SOS 207431 HAS SOPS 207431 HAS SOUS 147386 HAS SOUPS 147386 WITH SCORE 147593.431
AT ITER 1232 NEW BEST:: SOT 409593 SOS 207364 HAS SOPS 207364 HAS SOUS 147369 HAS SOUPS 147369 WITH SCORE 147576.364
AT ITER 1233 NEW BEST:: SOT 409471 SOS 209129 HAS SOPS 209129 HAS SOUS 147321 HAS SOUPS 147321 WITH SCORE 147530.129
AT ITER 1238 NEW BEST:: SOT 408894 SOS 208689 HAS SOPS 208689 HAS SOUS 146650 HAS SOUPS 146650 WITH SCORE 146858.689
AT ITER 1240 NEW BEST:: SOT 408840 SOS 208635 HAS SOPS 208635 HAS SOUS 146596 HAS SOUPS 146596 WITH SCORE 146804.635
AT ITER 1259 NEW BEST:: SOT 408811 SOS 208011 HAS SOPS 208011 HAS SOUS 146486 HAS SOUPS 146486 WITH SCORE 146694.011
AT ITER 1260 NEW BEST:: SOT 408848 SOS 208048 HAS SOPS 208048 HAS SOUS 146449 HAS SOUPS 146449 WITH SCORE 146657.048
AT ITER 1266 NEW BEST:: SOT 408848 SOS 207863 HAS SOPS 207863 HAS SOUS 146449 HAS SOUPS 146449 WITH SCORE 146656.863
AT ITER 1273 NEW BEST:: SOT 408795 SOS 207831 HAS SOPS 207831 HAS SOUS 146397 HAS SOUPS 146397 WITH SCORE 146604.831
AT ITER 1285 NEW BEST:: SOT 408767 SOS 207882 HAS SOPS 207882 HAS SOUS 146315 HAS SOUPS 146315 WITH SCORE 146522.882
AT ITER 1288 NEW BEST:: SOT 408756 SOS 207871 HAS SOPS 207871 HAS SOUS 146304 HAS SOUPS 146304 WITH SCORE 146511.871
AT ITER 1294 NEW BEST:: SOT 408753 SOS 207918 HAS SOPS 207918 HAS SOUS 146298 HAS SOUPS 146298 WITH SCORE 146505.918
AT ITER 1295 NEW BEST:: SOT 408680 SOS 207658 HAS SOPS 207658 HAS SOUS 146177 HAS SOUPS 146177 WITH SCORE 146384.658
AT ITER 1296 NEW BEST:: SOT 408670 SOS 207648 HAS SOPS 207648 HAS SOUS 146135 HAS SOUPS 146135 WITH SCORE 146342.648
AT ITER 1297 NEW BEST:: SOT 408582 SOS 207301 HAS SOPS 207301 HAS SOUS 145672 HAS SOUPS 145672 WITH SCORE 145879.301
AT ITER 1314 NEW BEST:: SOT 408574 SOS 207121 HAS SOPS 207121 HAS SOUS 145656 HAS SOUPS 145656 WITH SCORE 145863.121
AT ITER 1341 NEW BEST:: SOT 408574 SOS 207117 HAS SOPS 207117 HAS SOUS 145648 HAS SOUPS 145648 WITH SCORE 145855.117
AT ITER 1352 NEW BEST:: SOT 408494 SOS 207037 HAS SOPS 207037 HAS SOUS 145568 HAS SOUPS 145568 WITH SCORE 145775.037
AT ITER 1373 NEW BEST:: SOT 408398 SOS 206901 HAS SOPS 206901 HAS SOUS 145465 HAS SOUPS 145465 WITH SCORE 145671.901
AT ITER 1374 NEW BEST:: SOT 408325 SOS 206965 HAS SOPS 206965 HAS SOUS 145319 HAS SOUPS 145319 WITH SCORE 145525.965
AT ITER 1380 NEW BEST:: SOT 408350 SOS 206874 HAS SOPS 206874 HAS SOUS 145242 HAS SOUPS 145242 WITH SCORE 145448.874
AT ITER 1386 NEW BEST:: SOT 408351 SOS 206866 HAS SOPS 206866 HAS SOUS 145235 HAS SOUPS 145235 WITH SCORE 145441.866
AT ITER 1391 NEW BEST:: SOT 408230 SOS 207744 HAS SOPS 207744 HAS SOUS 145168 HAS SOUPS 145168 WITH SCORE 145375.744
AT ITER 1413 NEW BEST:: SOT 407489 SOS 207264 HAS SOPS 207264 HAS SOUS 144688 HAS SOUPS 144688 WITH SCORE 144895.264
AT ITER 1418 NEW BEST:: SOT 407454 SOS 207194 HAS SOPS 207194 HAS SOUS 144618 HAS SOUPS 144618 WITH SCORE 144825.194
AT ITER 1428 NEW BEST:: SOT 407454 SOS 207159 HAS SOPS 207159 HAS SOUS 144583 HAS SOUPS 144583 WITH SCORE 144790.159
AT ITER 1436 NEW BEST:: SOT 407248 SOS 207009 HAS SOPS 207009 HAS SOUS 144544 HAS SOUPS 144544 WITH SCORE 144751.009
AT ITER 1450 NEW BEST:: SOT 407229 SOS 206990 HAS SOPS 206990 HAS SOUS 144525 HAS SOUPS 144525 WITH SCORE 144731.99
AT ITER 1459 NEW BEST:: SOT 407187 SOS 206906 HAS SOPS 206906 HAS SOUS 144483 HAS SOUPS 144483 WITH SCORE 144689.906
AT ITER 1465 NEW BEST:: SOT 407187 SOS 206906 HAS SOPS 206906 HAS SOUS 144472 HAS SOUPS 144472 WITH SCORE 144678.906
AT ITER 1511 NEW BEST:: SOT 407187 SOS 206819 HAS SOPS 206819 HAS SOUS 144472 HAS SOUPS 144472 WITH SCORE 144678.819
AT ITER 1521 NEW BEST:: SOT 407195 SOS 205562 HAS SOPS 205562 HAS SOUS 144466 HAS SOUPS 144466 WITH SCORE 144671.562
AT ITER 1563 NEW BEST:: SOT 406667 SOS 205165 HAS SOPS 205165 HAS SOUS 143952 HAS SOUPS 143952 WITH SCORE 144157.165
AT ITER 1579 NEW BEST:: SOT 406667 SOS 205150 HAS SOPS 205150 HAS SOUS 143937 HAS SOUPS 143937 WITH SCORE 144142.15
AT ITER 1598 NEW BEST:: SOT 406667 SOS 205184 HAS SOPS 205184 HAS SOUS 143903 HAS SOUPS 143903 WITH SCORE 144108.184
AT ITER 1628 NEW BEST:: SOT 406667 SOS 205184 HAS SOPS 205184 HAS SOUS 143874 HAS SOUPS 143874 WITH SCORE 144079.184
AT ITER 1632 NEW BEST:: SOT 406667 SOS 205183 HAS SOPS 205183 HAS SOUS 143874 HAS SOUPS 143874 WITH SCORE 144079.183
AT ITER 1640 NEW BEST:: SOT 406728 SOS 205191 HAS SOPS 205191 HAS SOUS 143830 HAS SOUPS 143830 WITH SCORE 144035.191
AT ITER 1643 NEW BEST:: SOT 406698 SOS 205191 HAS SOPS 205191 HAS SOUS 143800 HAS SOUPS 143800 WITH SCORE 144005.191
AT ITER 1672 NEW BEST:: SOT 406568 SOS 206843 HAS SOPS 206843 HAS SOUS 143733 HAS SOUPS 143733 WITH SCORE 143939.843
AT ITER 1694 NEW BEST:: SOT 406517 SOS 206772 HAS SOPS 206772 HAS SOUS 143631 HAS SOUPS 143631 WITH SCORE 143837.772
AT ITER 1696 NEW BEST:: SOT 406517 SOS 206715 HAS SOPS 206715 HAS SOUS 143631 HAS SOUPS 143631 WITH SCORE 143837.715
AT ITER 1700 NEW BEST:: SOT 406471 SOS 206669 HAS SOPS 206669 HAS SOUS 143618 HAS SOUPS 143618 WITH SCORE 143824.669
AT ITER 1713 NEW BEST:: SOT 405237 SOS 206838 HAS SOPS 206838 HAS SOUS 142577 HAS SOUPS 142577 WITH SCORE 142783.838
AT ITER 1731 NEW BEST:: SOT 405162 SOS 206699 HAS SOPS 206699 HAS SOUS 142438 HAS SOUPS 142438 WITH SCORE 142644.699
AT ITER 1739 NEW BEST:: SOT 405126 SOS 206663 HAS SOPS 206663 HAS SOUS 142366 HAS SOUPS 142366 WITH SCORE 142572.663
AT ITER 1743 NEW BEST:: SOT 405078 SOS 206667 HAS SOPS 206667 HAS SOUS 142318 HAS SOUPS 142318 WITH SCORE 142524.667
AT ITER 1747 NEW BEST:: SOT 405094 SOS 206683 HAS SOPS 206683 HAS SOUS 142296 HAS SOUPS 142296 WITH SCORE 142502.683
AT ITER 1748 NEW BEST:: SOT 405082 SOS 206563 HAS SOPS 206563 HAS SOUS 142272 HAS SOUPS 142272 WITH SCORE 142478.563
AT ITER 1761 NEW BEST:: SOT 405074 SOS 206521 HAS SOPS 206521 HAS SOUS 142196 HAS SOUPS 142196 WITH SCORE 142402.521
AT ITER 1769 NEW BEST:: SOT 403926 SOS 205887 HAS SOPS 205887 HAS SOUS 141225 HAS SOUPS 141225 WITH SCORE 141430.887
AT ITER 1771 NEW BEST:: SOT 403918 SOS 205879 HAS SOPS 205879 HAS SOUS 141217 HAS SOUPS 141217 WITH SCORE 141422.879
AT ITER 1784 NEW BEST:: SOT 403890 SOS 205823 HAS SOPS 205823 HAS SOUS 141161 HAS SOUPS 141161 WITH SCORE 141366.823
AT ITER 1804 NEW BEST:: SOT 403872 SOS 205739 HAS SOPS 205739 HAS SOUS 141125 HAS SOUPS 141125 WITH SCORE 141330.739
AT ITER 1810 NEW BEST:: SOT 403799 SOS 205666 HAS SOPS 205666 HAS SOUS 141052 HAS SOUPS 141052 WITH SCORE 141257.666
AT ITER 1814 NEW BEST:: SOT 403773 SOS 205640 HAS SOPS 205640 HAS SOUS 141000 HAS SOUPS 141000 WITH SCORE 141205.64
AT ITER 1829 NEW BEST:: SOT 403774 SOS 205641 HAS SOPS 205641 HAS SOUS 140973 HAS SOUPS 140973 WITH SCORE 141178.641
AT ITER 1849 NEW BEST:: SOT 403768 SOS 205641 HAS SOPS 205641 HAS SOUS 140969 HAS SOUPS 140969 WITH SCORE 141174.641
AT ITER 1852 NEW BEST:: SOT 403695 SOS 205491 HAS SOPS 205491 HAS SOUS 140892 HAS SOUPS 140892 WITH SCORE 141097.491
AT ITER 1854 NEW BEST:: SOT 403342 SOS 205242 HAS SOPS 205242 HAS SOUS 140643 HAS SOUPS 140643 WITH SCORE 140848.242
AT ITER 1858 NEW BEST:: SOT 403342 SOS 205237 HAS SOPS 205237 HAS SOUS 140638 HAS SOUPS 140638 WITH SCORE 140843.237
AT ITER 1860 NEW BEST:: SOT 403327 SOS 205222 HAS SOPS 205222 HAS SOUS 140624 HAS SOUPS 140624 WITH SCORE 140829.222
AT ITER 1896 NEW BEST:: SOT 403236 SOS 205002 HAS SOPS 205002 HAS SOUS 140511 HAS SOUPS 140511 WITH SCORE 140716.002
AT ITER 1900 NEW BEST:: SOT 402424 SOS 205286 HAS SOPS 205286 HAS SOUS 139867 HAS SOUPS 139867 WITH SCORE 140072.286
AT ITER 1911 NEW BEST:: SOT 402392 SOS 205254 HAS SOPS 205254 HAS SOUS 139862 HAS SOUPS 139862 WITH SCORE 140067.254
AT ITER 1912 NEW BEST:: SOT 402387 SOS 205249 HAS SOPS 205249 HAS SOUS 139862 HAS SOUPS 139862 WITH SCORE 140067.249
AT ITER 1929 NEW BEST:: SOT 402382 SOS 205206 HAS SOPS 205206 HAS SOUS 139814 HAS SOUPS 139814 WITH SCORE 140019.206
AT ITER 1945 NEW BEST:: SOT 402315 SOS 205123 HAS SOPS 205123 HAS SOUS 139755 HAS SOUPS 139755 WITH SCORE 139960.123
AT ITER 1950 NEW BEST:: SOT 402185 SOS 205113 HAS SOPS 205113 HAS SOUS 139562 HAS SOUPS 139562 WITH SCORE 139767.113
AT ITER 1956 NEW BEST:: SOT 402147 SOS 205075 HAS SOPS 205075 HAS SOUS 139524 HAS SOUPS 139524 WITH SCORE 139729.075
AT ITER 1987 NEW BEST:: SOT 402105 SOS 204991 HAS SOPS 204991 HAS SOUS 139440 HAS SOUPS 139440 WITH SCORE 139644.991
AT ITER 1992 NEW BEST:: SOT 402090 SOS 204964 HAS SOPS 204964 HAS SOUS 139435 HAS SOUPS 139435 WITH SCORE 139639.964
AT ITER 1994 NEW BEST:: SOT 402090 SOS 204963 HAS SOPS 204963 HAS SOUS 139435 HAS SOUPS 139435 WITH SCORE 139639.963
AT ITER 2008 NEW BEST:: SOT 402083 SOS 204836 HAS SOPS 204836 HAS SOUS 139430 HAS SOUPS 139430 WITH SCORE 139634.836
AT ITER 2012 NEW BEST:: SOT 401947 SOS 204637 HAS SOPS 204637 HAS SOUS 139294 HAS SOUPS 139294 WITH SCORE 139498.637
AT ITER 2020 NEW BEST:: SOT 402020 SOS 204683 HAS SOPS 204683 HAS SOUS 139107 HAS SOUPS 139107 WITH SCORE 139311.683
AT ITER 2025 NEW BEST:: SOT 402011 SOS 204674 HAS SOPS 204674 HAS SOUS 139046 HAS SOUPS 139046 WITH SCORE 139250.674
AT ITER 2033 NEW BEST:: SOT 402011 SOS 204699 HAS SOPS 204699 HAS SOUS 139027 HAS SOUPS 139027 WITH SCORE 139231.699
AT ITER 2073 NEW BEST:: SOT 402010 SOS 205066 HAS SOPS 205066 HAS SOUS 139025 HAS SOUPS 139025 WITH SCORE 139230.066
AT ITER 2075 NEW BEST:: SOT 402007 SOS 205021 HAS SOPS 205021 HAS SOUS 139019 HAS SOUPS 139019 WITH SCORE 139224.021
AT ITER 2081 NEW BEST:: SOT 401703 SOS 205341 HAS SOPS 205341 HAS SOUS 138776 HAS SOUPS 138776 WITH SCORE 138981.341
AT ITER 2091 NEW BEST:: SOT 402001 SOS 205597 HAS SOPS 205597 HAS SOUS 138770 HAS SOUPS 138770 WITH SCORE 138975.597
AT ITER 2115 NEW BEST:: SOT 401994 SOS 205590 HAS SOPS 205590 HAS SOUS 138756 HAS SOUPS 138756 WITH SCORE 138961.59
AT ITER 2143 NEW BEST:: SOT 401924 SOS 205450 HAS SOPS 205450 HAS SOUS 138616 HAS SOUPS 138616 WITH SCORE 138821.45
AT ITER 2144 NEW BEST:: SOT 401871 SOS 205449 HAS SOPS 205449 HAS SOUS 138615 HAS SOUPS 138615 WITH SCORE 138820.449
AT ITER 2147 NEW BEST:: SOT 401813 SOS 205468 HAS SOPS 205468 HAS SOUS 138499 HAS SOUPS 138499 WITH SCORE 138704.468
AT ITER 2148 NEW BEST:: SOT 401813 SOS 205343 HAS SOPS 205343 HAS SOUS 138499 HAS SOUPS 138499 WITH SCORE 138704.343
AT ITER 2150 NEW BEST:: SOT 401764 SOS 205294 HAS SOPS 205294 HAS SOUS 138499 HAS SOUPS 138499 WITH SCORE 138704.294
AT ITER 2154 NEW BEST:: SOT 401758 SOS 205246 HAS SOPS 205246 HAS SOUS 138487 HAS SOUPS 138487 WITH SCORE 138692.246
AT ITER 2157 NEW BEST:: SOT 401758 SOS 204733 HAS SOPS 204733 HAS SOUS 138433 HAS SOUPS 138433 WITH SCORE 138637.733
AT ITER 2162 NEW BEST:: SOT 401594 SOS 205620 HAS SOPS 205620 HAS SOUS 138395 HAS SOUPS 138395 WITH SCORE 138600.62
AT ITER 2169 NEW BEST:: SOT 401536 SOS 205450 HAS SOPS 205450 HAS SOUS 138273 HAS SOUPS 138273 WITH SCORE 138478.45
AT ITER 2184 NEW BEST:: SOT 401529 SOS 205443 HAS SOPS 205443 HAS SOUS 138244 HAS SOUPS 138244 WITH SCORE 138449.443
AT ITER 2198 NEW BEST:: SOT 401529 SOS 205437 HAS SOPS 205437 HAS SOUS 138238 HAS SOUPS 138238 WITH SCORE 138443.437
AT ITER 2224 NEW BEST:: SOT 401521 SOS 205528 HAS SOPS 205528 HAS SOUS 138230 HAS SOUPS 138230 WITH SCORE 138435.528
AT ITER 2226 NEW BEST:: SOT 401472 SOS 205480 HAS SOPS 205480 HAS SOUS 138132 HAS SOUPS 138132 WITH SCORE 138337.48
AT ITER 2227 NEW BEST:: SOT 401457 SOS 205465 HAS SOPS 205465 HAS SOUS 138117 HAS SOUPS 138117 WITH SCORE 138322.465
AT ITER 2233 NEW BEST:: SOT 401427 SOS 205472 HAS SOPS 205472 HAS SOUS 138020 HAS SOUPS 138020 WITH SCORE 138225.472
AT ITER 2236 NEW BEST:: SOT 401495 SOS 205464 HAS SOPS 205464 HAS SOUS 137993 HAS SOUPS 137993 WITH SCORE 138198.464
AT ITER 2242 NEW BEST:: SOT 401495 SOS 205438 HAS SOPS 205438 HAS SOUS 137993 HAS SOUPS 137993 WITH SCORE 138198.438
AT ITER 2280 NEW BEST:: SOT 401450 SOS 205370 HAS SOPS 205370 HAS SOUS 137926 HAS SOUPS 137926 WITH SCORE 138131.37
AT ITER 2307 NEW BEST:: SOT 401462 SOS 205348 HAS SOPS 205348 HAS SOUS 137882 HAS SOUPS 137882 WITH SCORE 138087.348
AT ITER 2308 NEW BEST:: SOT 401354 SOS 205189 HAS SOPS 205189 HAS SOUS 137723 HAS SOUPS 137723 WITH SCORE 137928.189
AT ITER 2310 NEW BEST:: SOT 401354 SOS 205176 HAS SOPS 205176 HAS SOUS 137710 HAS SOUPS 137710 WITH SCORE 137915.176
AT ITER 2337 NEW BEST:: SOT 401339 SOS 205350 HAS SOPS 205350 HAS SOUS 137695 HAS SOUPS 137695 WITH SCORE 137900.35
AT ITER 2348 NEW BEST:: SOT 401338 SOS 205349 HAS SOPS 205349 HAS SOUS 137695 HAS SOUPS 137695 WITH SCORE 137900.349
AT ITER 2378 NEW BEST:: SOT 401192 SOS 205349 HAS SOPS 205349 HAS SOUS 137683 HAS SOUPS 137683 WITH SCORE 137888.349
AT ITER 2379 NEW BEST:: SOT 401175 SOS 205332 HAS SOPS 205332 HAS SOUS 137666 HAS SOUPS 137666 WITH SCORE 137871.332
AT ITER 2383 NEW BEST:: SOT 401158 SOS 205315 HAS SOPS 205315 HAS SOUS 137666 HAS SOUPS 137666 WITH SCORE 137871.315
AT ITER 2394 NEW BEST:: SOT 401132 SOS 205707 HAS SOPS 205707 HAS SOUS 137651 HAS SOUPS 137651 WITH SCORE 137856.707
AT ITER 2429 NEW BEST:: SOT 401161 SOS 205717 HAS SOPS 205717 HAS SOUS 137584 HAS SOUPS 137584 WITH SCORE 137789.717
AT ITER 2434 NEW BEST:: SOT 401100 SOS 205634 HAS SOPS 205634 HAS SOUS 137462 HAS SOUPS 137462 WITH SCORE 137667.634
AT ITER 2440 NEW BEST:: SOT 401134 SOS 205639 HAS SOPS 205639 HAS SOUS 137413 HAS SOUPS 137413 WITH SCORE 137618.639
AT ITER 2445 NEW BEST:: SOT 400979 SOS 205575 HAS SOPS 205575 HAS SOUS 137387 HAS SOUPS 137387 WITH SCORE 137592.575
AT ITER 2468 NEW BEST:: SOT 400979 SOS 205526 HAS SOPS 205526 HAS SOUS 137338 HAS SOUPS 137338 WITH SCORE 137543.526
AT ITER 2471 NEW BEST:: SOT 400804 SOS 205766 HAS SOPS 205766 HAS SOUS 137221 HAS SOUPS 137221 WITH SCORE 137426.766
AT ITER 2509 NEW BEST:: SOT 400797 SOS 205759 HAS SOPS 205759 HAS SOUS 137214 HAS SOUPS 137214 WITH SCORE 137419.759
AT ITER 2511 NEW BEST:: SOT 400771 SOS 205681 HAS SOPS 205681 HAS SOUS 137162 HAS SOUPS 137162 WITH SCORE 137367.681
AT ITER 2512 NEW BEST:: SOT 400771 SOS 205762 HAS SOPS 205762 HAS SOUS 137151 HAS SOUPS 137151 WITH SCORE 137356.762
AT ITER 2519 NEW BEST:: SOT 400763 SOS 205746 HAS SOPS 205746 HAS SOUS 137135 HAS SOUPS 137135 WITH SCORE 137340.746
AT ITER 2524 NEW BEST:: SOT 400763 SOS 205849 HAS SOPS 205849 HAS SOUS 137126 HAS SOUPS 137126 WITH SCORE 137331.849
AT ITER 2536 NEW BEST:: SOT 400748 SOS 205844 HAS SOPS 205844 HAS SOUS 137121 HAS SOUPS 137121 WITH SCORE 137326.844
AT ITER 2553 NEW BEST:: SOT 400733 SOS 205829 HAS SOPS 205829 HAS SOUS 137076 HAS SOUPS 137076 WITH SCORE 137281.829
AT ITER 2572 NEW BEST:: SOT 400592 SOS 205547 HAS SOPS 205547 HAS SOUS 136935 HAS SOUPS 136935 WITH SCORE 137140.547
AT ITER 2579 NEW BEST:: SOT 400592 SOS 205704 HAS SOPS 205704 HAS SOUS 136918 HAS SOUPS 136918 WITH SCORE 137123.704
AT ITER 2614 NEW BEST:: SOT 400667 SOS 205779 HAS SOPS 205779 HAS SOUS 136913 HAS SOUPS 136913 WITH SCORE 137118.779
AT ITER 2629 NEW BEST:: SOT 400667 SOS 205768 HAS SOPS 205768 HAS SOUS 136902 HAS SOUPS 136902 WITH SCORE 137107.768
AT ITER 2631 NEW BEST:: SOT 400667 SOS 205732 HAS SOPS 205732 HAS SOUS 136902 HAS SOUPS 136902 WITH SCORE 137107.732
AT ITER 2642 NEW BEST:: SOT 400667 SOS 205707 HAS SOPS 205707 HAS SOUS 136877 HAS SOUPS 136877 WITH SCORE 137082.707
AT ITER 2644 NEW BEST:: SOT 400664 SOS 205554 HAS SOPS 205554 HAS SOUS 136871 HAS SOUPS 136871 WITH SCORE 137076.554
AT ITER 2671 NEW BEST:: SOT 400625 SOS 205483 HAS SOPS 205483 HAS SOUS 136761 HAS SOUPS 136761 WITH SCORE 136966.483
AT ITER 2673 NEW BEST:: SOT 400553 SOS 205379 HAS SOPS 205379 HAS SOUS 136665 HAS SOUPS 136665 WITH SCORE 136870.379
AT ITER 2716 NEW BEST:: SOT 400549 SOS 205375 HAS SOPS 205375 HAS SOUS 136665 HAS SOUPS 136665 WITH SCORE 136870.375
AT ITER 2724 NEW BEST:: SOT 400524 SOS 205350 HAS SOPS 205350 HAS SOUS 136665 HAS SOUPS 136665 WITH SCORE 136870.35
AT ITER 2729 NEW BEST:: SOT 400190 SOS 205059 HAS SOPS 205059 HAS SOUS 136374 HAS SOUPS 136374 WITH SCORE 136579.059
AT ITER 2743 NEW BEST:: SOT 400273 SOS 205142 HAS SOPS 205142 HAS SOUS 136357 HAS SOUPS 136357 WITH SCORE 136562.142
AT ITER 2755 NEW BEST:: SOT 400260 SOS 205142 HAS SOPS 205142 HAS SOUS 136350 HAS SOUPS 136350 WITH SCORE 136555.142
AT ITER 2761 NEW BEST:: SOT 400260 SOS 205135 HAS SOPS 205135 HAS SOUS 136343 HAS SOUPS 136343 WITH SCORE 136548.135
AT ITER 2786 NEW BEST:: SOT 400240 SOS 205115 HAS SOPS 205115 HAS SOUS 136323 HAS SOUPS 136323 WITH SCORE 136528.115
AT ITER 2793 NEW BEST:: SOT 400232 SOS 205107 HAS SOPS 205107 HAS SOUS 136315 HAS SOUPS 136315 WITH SCORE 136520.107
AT ITER 2797 NEW BEST:: SOT 400225 SOS 205121 HAS SOPS 205121 HAS SOUS 136280 HAS SOUPS 136280 WITH SCORE 136485.121
AT ITER 2802 NEW BEST:: SOT 400223 SOS 205117 HAS SOPS 205117 HAS SOUS 136276 HAS SOUPS 136276 WITH SCORE 136481.117
AT ITER 2804 NEW BEST:: SOT 400223 SOS 205067 HAS SOPS 205067 HAS SOUS 136276 HAS SOUPS 136276 WITH SCORE 136481.067
AT ITER 2828 NEW BEST:: SOT 400135 SOS 204891 HAS SOPS 204891 HAS SOUS 136188 HAS SOUPS 136188 WITH SCORE 136392.891
AT ITER 2838 NEW BEST:: SOT 400124 SOS 204880 HAS SOPS 204880 HAS SOUS 136166 HAS SOUPS 136166 WITH SCORE 136370.88
AT ITER 2843 NEW BEST:: SOT 400124 SOS 204765 HAS SOPS 204765 HAS SOUS 136166 HAS SOUPS 136166 WITH SCORE 136370.765
AT ITER 2849 NEW BEST:: SOT 400090 SOS 204743 HAS SOPS 204743 HAS SOUS 136096 HAS SOUPS 136096 WITH SCORE 136300.743
AT ITER 2862 NEW BEST:: SOT 400130 SOS 204660 HAS SOPS 204660 HAS SOUS 135996 HAS SOUPS 135996 WITH SCORE 136200.66
AT ITER 2865 NEW BEST:: SOT 399935 SOS 204528 HAS SOPS 204528 HAS SOUS 135864 HAS SOUPS 135864 WITH SCORE 136068.528
AT ITER 2890 NEW BEST:: SOT 399925 SOS 204518 HAS SOPS 204518 HAS SOUS 135859 HAS SOUPS 135859 WITH SCORE 136063.518
AT ITER 2906 NEW BEST:: SOT 399925 SOS 204517 HAS SOPS 204517 HAS SOUS 135859 HAS SOUPS 135859 WITH SCORE 136063.517
AT ITER 2919 NEW BEST:: SOT 399891 SOS 204483 HAS SOPS 204483 HAS SOUS 135829 HAS SOUPS 135829 WITH SCORE 136033.483
AT ITER 2927 NEW BEST:: SOT 399435 SOS 204228 HAS SOPS 204228 HAS SOUS 135574 HAS SOUPS 135574 WITH SCORE 135778.228
AT ITER 2929 NEW BEST:: SOT 399429 SOS 202793 HAS SOPS 202793 HAS SOUS 135542 HAS SOUPS 135542 WITH SCORE 135744.793
AT ITER 2943 NEW BEST:: SOT 399429 SOS 202779 HAS SOPS 202779 HAS SOUS 135528 HAS SOUPS 135528 WITH SCORE 135730.779
AT ITER 2948 NEW BEST:: SOT 399306 SOS 202854 HAS SOPS 202854 HAS SOUS 135405 HAS SOUPS 135405 WITH SCORE 135607.854
AT ITER 2956 NEW BEST:: SOT 398957 SOS 202779 HAS SOPS 202779 HAS SOUS 135231 HAS SOUPS 135231 WITH SCORE 135433.779
AT ITER 2970 NEW BEST:: SOT 398963 SOS 202785 HAS SOPS 202785 HAS SOUS 135222 HAS SOUPS 135222 WITH SCORE 135424.785
AT ITER 2974 NEW BEST:: SOT 398963 SOS 203145 HAS SOPS 203145 HAS SOUS 135174 HAS SOUPS 135174 WITH SCORE 135377.145
AT ITER 2978 NEW BEST:: SOT 398963 SOS 203145 HAS SOPS 203145 HAS SOUS 135158 HAS SOUPS 135158 WITH SCORE 135361.145
AT ITER 2986 NEW BEST:: SOT 398912 SOS 203043 HAS SOPS 203043 HAS SOUS 135107 HAS SOUPS 135107 WITH SCORE 135310.043
AT ITER 2993 NEW BEST:: SOT 398759 SOS 202924 HAS SOPS 202924 HAS SOUS 134988 HAS SOUPS 134988 WITH SCORE 135190.924
AT ITER 2995 NEW BEST:: SOT 398738 SOS 202903 HAS SOPS 202903 HAS SOUS 134988 HAS SOUPS 134988 WITH SCORE 135190.903
AT ITER 3003 NEW BEST:: SOT 398656 SOS 202821 HAS SOPS 202821 HAS SOUS 134824 HAS SOUPS 134824 WITH SCORE 135026.821
AT ITER 3024 NEW BEST:: SOT 398636 SOS 202801 HAS SOPS 202801 HAS SOUS 134804 HAS SOUPS 134804 WITH SCORE 135006.801
AT ITER 3025 NEW BEST:: SOT 398577 SOS 202683 HAS SOPS 202683 HAS SOUS 134686 HAS SOUPS 134686 WITH SCORE 134888.683
AT ITER 3028 NEW BEST:: SOT 398519 SOS 202625 HAS SOPS 202625 HAS SOUS 134629 HAS SOUPS 134629 WITH SCORE 134831.625
AT ITER 3057 NEW BEST:: SOT 398519 SOS 202621 HAS SOPS 202621 HAS SOUS 134625 HAS SOUPS 134625 WITH SCORE 134827.621
AT ITER 3061 NEW BEST:: SOT 398447 SOS 202485 HAS SOPS 202485 HAS SOUS 134545 HAS SOUPS 134545 WITH SCORE 134747.485
AT ITER 3085 NEW BEST:: SOT 398399 SOS 202437 HAS SOPS 202437 HAS SOUS 134449 HAS SOUPS 134449 WITH SCORE 134651.437
AT ITER 3107 NEW BEST:: SOT 398383 SOS 202405 HAS SOPS 202405 HAS SOUS 134433 HAS SOUPS 134433 WITH SCORE 134635.405
AT ITER 3121 NEW BEST:: SOT 398335 SOS 202320 HAS SOPS 202320 HAS SOUS 134385 HAS SOUPS 134385 WITH SCORE 134587.32
AT ITER 3139 NEW BEST:: SOT 398149 SOS 202041 HAS SOPS 202041 HAS SOUS 134106 HAS SOUPS 134106 WITH SCORE 134308.041
AT ITER 3164 NEW BEST:: SOT 398149 SOS 202018 HAS SOPS 202018 HAS SOUS 134083 HAS SOUPS 134083 WITH SCORE 134285.018
AT ITER 3167 NEW BEST:: SOT 398149 SOS 202012 HAS SOPS 202012 HAS SOUS 134083 HAS SOUPS 134083 WITH SCORE 134285.012
AT ITER 3171 NEW BEST:: SOT 398110 SOS 201970 HAS SOPS 201970 HAS SOUS 134024 HAS SOUPS 134024 WITH SCORE 134225.97
AT ITER 3188 NEW BEST:: SOT 398110 SOS 201970 HAS SOPS 201970 HAS SOUS 133971 HAS SOUPS 133971 WITH SCORE 134172.97
AT ITER 3198 NEW BEST:: SOT 398110 SOS 201956 HAS SOPS 201956 HAS SOUS 133971 HAS SOUPS 133971 WITH SCORE 134172.956
AT ITER 3207 NEW BEST:: SOT 398071 SOS 201917 HAS SOPS 201917 HAS SOUS 133932 HAS SOUPS 133932 WITH SCORE 134133.917
AT ITER 3208 NEW BEST:: SOT 398227 SOS 202060 HAS SOPS 202060 HAS SOUS 133907 HAS SOUPS 133907 WITH SCORE 134109.06
AT ITER 3216 NEW BEST:: SOT 398171 SOS 201913 HAS SOPS 201913 HAS SOUS 133886 HAS SOUPS 133886 WITH SCORE 134087.913
AT ITER 3218 NEW BEST:: SOT 398096 SOS 201838 HAS SOPS 201838 HAS SOUS 133858 HAS SOUPS 133858 WITH SCORE 134059.838
AT ITER 3231 NEW BEST:: SOT 398074 SOS 201756 HAS SOPS 201756 HAS SOUS 133776 HAS SOUPS 133776 WITH SCORE 133977.756
AT ITER 3232 NEW BEST:: SOT 398074 SOS 201756 HAS SOPS 201756 HAS SOUS 133742 HAS SOUPS 133742 WITH SCORE 133943.756
AT ITER 3235 NEW BEST:: SOT 398029 SOS 201711 HAS SOPS 201711 HAS SOUS 133710 HAS SOUPS 133710 WITH SCORE 133911.711
AT ITER 3236 NEW BEST:: SOT 398027 SOS 201709 HAS SOPS 201709 HAS SOUS 133708 HAS SOUPS 133708 WITH SCORE 133909.709
AT ITER 3241 NEW BEST:: SOT 397979 SOS 201661 HAS SOPS 201661 HAS SOUS 133664 HAS SOUPS 133664 WITH SCORE 133865.661
AT ITER 3250 NEW BEST:: SOT 397979 SOS 201629 HAS SOPS 201629 HAS SOUS 133632 HAS SOUPS 133632 WITH SCORE 133833.629
AT ITER 3260 NEW BEST:: SOT 397979 SOS 201598 HAS SOPS 201598 HAS SOUS 133632 HAS SOUPS 133632 WITH SCORE 133833.598
AT ITER 3271 NEW BEST:: SOT 397898 SOS 201523 HAS SOPS 201523 HAS SOUS 133626 HAS SOUPS 133626 WITH SCORE 133827.523
AT ITER 3285 NEW BEST:: SOT 397874 SOS 201499 HAS SOPS 201499 HAS SOUS 133604 HAS SOUPS 133604 WITH SCORE 133805.499
AT ITER 3287 NEW BEST:: SOT 397826 SOS 201800 HAS SOPS 201800 HAS SOUS 133508 HAS SOUPS 133508 WITH SCORE 133709.8
AT ITER 3294 NEW BEST:: SOT 397826 SOS 201782 HAS SOPS 201782 HAS SOUS 133490 HAS SOUPS 133490 WITH SCORE 133691.782
AT ITER 3299 NEW BEST:: SOT 397237 SOS 201291 HAS SOPS 201291 HAS SOUS 132901 HAS SOUPS 132901 WITH SCORE 133102.291
AT ITER 3314 NEW BEST:: SOT 397237 SOS 201171 HAS SOPS 201171 HAS SOUS 132901 HAS SOUPS 132901 WITH SCORE 133102.171
AT ITER 3329 NEW BEST:: SOT 397010 SOS 201002 HAS SOPS 201002 HAS SOUS 132764 HAS SOUPS 132764 WITH SCORE 132965.002
AT ITER 3334 NEW BEST:: SOT 396983 SOS 200975 HAS SOPS 200975 HAS SOUS 132710 HAS SOUPS 132710 WITH SCORE 132910.975
AT ITER 3355 NEW BEST:: SOT 396966 SOS 200958 HAS SOPS 200958 HAS SOUS 132693 HAS SOUPS 132693 WITH SCORE 132893.958
AT ITER 3390 NEW BEST:: SOT 396951 SOS 200689 HAS SOPS 200689 HAS SOUS 132634 HAS SOUPS 132634 WITH SCORE 132834.689
AT ITER 3397 NEW BEST:: SOT 397047 SOS 200727 HAS SOPS 200727 HAS SOUS 132399 HAS SOUPS 132399 WITH SCORE 132599.727
AT ITER 3400 NEW BEST:: SOT 397061 SOS 200741 HAS SOPS 200741 HAS SOUS 132357 HAS SOUPS 132357 WITH SCORE 132557.741
AT ITER 3414 NEW BEST:: SOT 396672 SOS 200556 HAS SOPS 200556 HAS SOUS 131972 HAS SOUPS 131972 WITH SCORE 132172.556
AT ITER 3432 NEW BEST:: SOT 396655 SOS 200539 HAS SOPS 200539 HAS SOUS 131955 HAS SOUPS 131955 WITH SCORE 132155.539
AT ITER 3465 NEW BEST:: SOT 396639 SOS 200523 HAS SOPS 200523 HAS SOUS 131923 HAS SOUPS 131923 WITH SCORE 132123.523
AT ITER 3468 NEW BEST:: SOT 396639 SOS 200523 HAS SOPS 200523 HAS SOUS 131820 HAS SOUPS 131820 WITH SCORE 132020.523
AT ITER 3478 NEW BEST:: SOT 396611 SOS 200495 HAS SOPS 200495 HAS SOUS 131764 HAS SOUPS 131764 WITH SCORE 131964.495
AT ITER 3490 NEW BEST:: SOT 396563 SOS 200495 HAS SOPS 200495 HAS SOUS 131716 HAS SOUPS 131716 WITH SCORE 131916.495
AT ITER 3518 NEW BEST:: SOT 396498 SOS 200453 HAS SOPS 200453 HAS SOUS 131674 HAS SOUPS 131674 WITH SCORE 131874.453
AT ITER 3530 NEW BEST:: SOT 396481 SOS 200436 HAS SOPS 200436 HAS SOUS 131640 HAS SOUPS 131640 WITH SCORE 131840.436
AT ITER 3544 NEW BEST:: SOT 396444 SOS 200399 HAS SOPS 200399 HAS SOUS 131603 HAS SOUPS 131603 WITH SCORE 131803.399
AT ITER 3569 NEW BEST:: SOT 396382 SOS 200337 HAS SOPS 200337 HAS SOUS 131421 HAS SOUPS 131421 WITH SCORE 131621.337
AT ITER 3570 NEW BEST:: SOT 396382 SOS 199644 HAS SOPS 199644 HAS SOUS 131408 HAS SOUPS 131408 WITH SCORE 131607.644
AT ITER 3574 NEW BEST:: SOT 396382 SOS 199644 HAS SOPS 199644 HAS SOUS 131388 HAS SOUPS 131388 WITH SCORE 131587.644
AT ITER 3580 NEW BEST:: SOT 396368 SOS 199630 HAS SOPS 199630 HAS SOUS 131360 HAS SOUPS 131360 WITH SCORE 131559.63
AT ITER 3588 NEW BEST:: SOT 396402 SOS 199664 HAS SOPS 199664 HAS SOUS 131318 HAS SOUPS 131318 WITH SCORE 131517.664
AT ITER 3594 NEW BEST:: SOT 396383 SOS 199645 HAS SOPS 199645 HAS SOUS 131299 HAS SOUPS 131299 WITH SCORE 131498.645
AT ITER 3614 NEW BEST:: SOT 396372 SOS 199618 HAS SOPS 199618 HAS SOUS 131277 HAS SOUPS 131277 WITH SCORE 131476.618
AT ITER 3654 NEW BEST:: SOT 396372 SOS 199617 HAS SOPS 199617 HAS SOUS 131276 HAS SOUPS 131276 WITH SCORE 131475.617
AT ITER 3658 NEW BEST:: SOT 396359 SOS 199649 HAS SOPS 199649 HAS SOUS 131218 HAS SOUPS 131218 WITH SCORE 131417.649
AT ITER 3662 NEW BEST:: SOT 396047 SOS 199571 HAS SOPS 199571 HAS SOUS 130946 HAS SOUPS 130946 WITH SCORE 131145.571
AT ITER 3668 NEW BEST:: SOT 395997 SOS 199470 HAS SOPS 199470 HAS SOUS 130897 HAS SOUPS 130897 WITH SCORE 131096.47
AT ITER 3673 NEW BEST:: SOT 395889 SOS 199362 HAS SOPS 199362 HAS SOUS 130789 HAS SOUPS 130789 WITH SCORE 130988.362
AT ITER 3685 NEW BEST:: SOT 395889 SOS 199313 HAS SOPS 199313 HAS SOUS 130789 HAS SOUPS 130789 WITH SCORE 130988.313
AT ITER 3691 NEW BEST:: SOT 395867 SOS 199269 HAS SOPS 199269 HAS SOUS 130767 HAS SOUPS 130767 WITH SCORE 130966.269
AT ITER 3707 NEW BEST:: SOT 395893 SOS 199263 HAS SOPS 199263 HAS SOUS 130761 HAS SOUPS 130761 WITH SCORE 130960.263
AT ITER 3743 NEW BEST:: SOT 395885 SOS 199211 HAS SOPS 199211 HAS SOUS 130745 HAS SOUPS 130745 WITH SCORE 130944.211
AT ITER 3757 NEW BEST:: SOT 395757 SOS 199083 HAS SOPS 199083 HAS SOUS 130688 HAS SOUPS 130688 WITH SCORE 130887.083
AT ITER 3774 NEW BEST:: SOT 395757 SOS 199051 HAS SOPS 199051 HAS SOUS 130656 HAS SOUPS 130656 WITH SCORE 130855.051
AT ITER 3783 NEW BEST:: SOT 395724 SOS 199018 HAS SOPS 199018 HAS SOUS 130590 HAS SOUPS 130590 WITH SCORE 130789.018
AT ITER 3800 NEW BEST:: SOT 395605 SOS 198760 HAS SOPS 198760 HAS SOUS 130332 HAS SOUPS 130332 WITH SCORE 130530.76
AT ITER 3811 NEW BEST:: SOT 395615 SOS 198796 HAS SOPS 198796 HAS SOUS 130326 HAS SOUPS 130326 WITH SCORE 130524.796
AT ITER 3814 NEW BEST:: SOT 395573 SOS 198754 HAS SOPS 198754 HAS SOUS 130319 HAS SOUPS 130319 WITH SCORE 130517.754
AT ITER 3829 NEW BEST:: SOT 395613 SOS 198719 HAS SOPS 198719 HAS SOUS 130284 HAS SOUPS 130284 WITH SCORE 130482.719
AT ITER 3836 NEW BEST:: SOT 395613 SOS 198222 HAS SOPS 198222 HAS SOUS 130284 HAS SOUPS 130284 WITH SCORE 130482.222
AT ITER 3869 NEW BEST:: SOT 395576 SOS 198168 HAS SOPS 198168 HAS SOUS 130230 HAS SOUPS 130230 WITH SCORE 130428.168
AT ITER 3882 NEW BEST:: SOT 395576 SOS 198036 HAS SOPS 198036 HAS SOUS 130230 HAS SOUPS 130230 WITH SCORE 130428.036
AT ITER 3883 NEW BEST:: SOT 395573 SOS 198003 HAS SOPS 198003 HAS SOUS 130224 HAS SOUPS 130224 WITH SCORE 130422.003
AT ITER 3901 NEW BEST:: SOT 395561 SOS 197979 HAS SOPS 197979 HAS SOUS 130212 HAS SOUPS 130212 WITH SCORE 130409.979
AT ITER 3906 NEW BEST:: SOT 395555 SOS 197973 HAS SOPS 197973 HAS SOUS 130200 HAS SOUPS 130200 WITH SCORE 130397.973
AT ITER 3916 NEW BEST:: SOT 395522 SOS 197923 HAS SOPS 197923 HAS SOUS 130150 HAS SOUPS 130150 WITH SCORE 130347.923
AT ITER 3959 NEW BEST:: SOT 395513 SOS 197905 HAS SOPS 197905 HAS SOUS 130132 HAS SOUPS 130132 WITH SCORE 130329.905
AT ITER 3968 NEW BEST:: SOT 395506 SOS 197898 HAS SOPS 197898 HAS SOUS 130118 HAS SOUPS 130118 WITH SCORE 130315.898
AT ITER 3971 NEW BEST:: SOT 395497 SOS 197587 HAS SOPS 197587 HAS SOUS 130096 HAS SOUPS 130096 WITH SCORE 130293.587
AT ITER 3984 NEW BEST:: SOT 395486 SOS 197576 HAS SOPS 197576 HAS SOUS 130085 HAS SOUPS 130085 WITH SCORE 130282.576
AT ITER 4003 NEW BEST:: SOT 395521 SOS 197611 HAS SOPS 197611 HAS SOUS 130063 HAS SOUPS 130063 WITH SCORE 130260.611
AT ITER 4008 NEW BEST:: SOT 395313 SOS 197492 HAS SOPS 197492 HAS SOUS 129855 HAS SOUPS 129855 WITH SCORE 130052.492
AT ITER 4011 NEW BEST:: SOT 395284 SOS 197559 HAS SOPS 197559 HAS SOUS 129797 HAS SOUPS 129797 WITH SCORE 129994.559
AT ITER 4012 NEW BEST:: SOT 395279 SOS 197489 HAS SOPS 197489 HAS SOUS 129787 HAS SOUPS 129787 WITH SCORE 129984.489
AT ITER 4025 NEW BEST:: SOT 395269 SOS 197479 HAS SOPS 197479 HAS SOUS 129767 HAS SOUPS 129767 WITH SCORE 129964.479
AT ITER 4026 NEW BEST:: SOT 395269 SOS 197476 HAS SOPS 197476 HAS SOUS 129764 HAS SOUPS 129764 WITH SCORE 129961.476
AT ITER 4038 NEW BEST:: SOT 395269 SOS 197116 HAS SOPS 197116 HAS SOUS 129764 HAS SOUPS 129764 WITH SCORE 129961.116
AT ITER 4071 NEW BEST:: SOT 395275 SOS 197038 HAS SOPS 197038 HAS SOUS 129764 HAS SOUPS 129764 WITH SCORE 129961.038
AT ITER 4099 NEW BEST:: SOT 395188 SOS 196951 HAS SOPS 196951 HAS SOUS 129557 HAS SOUPS 129557 WITH SCORE 129753.951
AT ITER 4145 NEW BEST:: SOT 395147 SOS 196910 HAS SOPS 196910 HAS SOUS 129516 HAS SOUPS 129516 WITH SCORE 129712.91
AT ITER 4152 NEW BEST:: SOT 395155 SOS 196918 HAS SOPS 196918 HAS SOUS 129514 HAS SOUPS 129514 WITH SCORE 129710.918
AT ITER 4162 NEW BEST:: SOT 395155 SOS 196918 HAS SOPS 196918 HAS SOUS 129479 HAS SOUPS 129479 WITH SCORE 129675.918
AT ITER 4203 NEW BEST:: SOT 395155 SOS 196878 HAS SOPS 196878 HAS SOUS 129479 HAS SOUPS 129479 WITH SCORE 129675.878
AT ITER 4217 NEW BEST:: SOT 395135 SOS 196755 HAS SOPS 196755 HAS SOUS 129351 HAS SOUPS 129351 WITH SCORE 129547.755
AT ITER 4237 NEW BEST:: SOT 395135 SOS 196737 HAS SOPS 196737 HAS SOUS 129333 HAS SOUPS 129333 WITH SCORE 129529.737
AT ITER 4299 NEW BEST:: SOT 395127 SOS 196729 HAS SOPS 196729 HAS SOUS 129203 HAS SOUPS 129203 WITH SCORE 129399.729
AT ITER 4304 NEW BEST:: SOT 394997 SOS 196576 HAS SOPS 196576 HAS SOUS 129050 HAS SOUPS 129050 WITH SCORE 129246.576
AT ITER 4340 NEW BEST:: SOT 394973 SOS 196800 HAS SOPS 196800 HAS SOUS 129031 HAS SOUPS 129031 WITH SCORE 129227.8
AT ITER 4350 NEW BEST:: SOT 394899 SOS 196718 HAS SOPS 196718 HAS SOUS 128976 HAS SOUPS 128976 WITH SCORE 129172.718
AT ITER 4354 NEW BEST:: SOT 394845 SOS 196664 HAS SOPS 196664 HAS SOUS 128922 HAS SOUPS 128922 WITH SCORE 129118.664
AT ITER 4362 NEW BEST:: SOT 395033 SOS 196852 HAS SOPS 196852 HAS SOUS 128910 HAS SOUPS 128910 WITH SCORE 129106.852
AT ITER 4385 NEW BEST:: SOT 395033 SOS 196771 HAS SOPS 196771 HAS SOUS 128901 HAS SOUPS 128901 WITH SCORE 129097.771
AT ITER 4389 NEW BEST:: SOT 395009 SOS 196747 HAS SOPS 196747 HAS SOUS 128812 HAS SOUPS 128812 WITH SCORE 129008.747
AT ITER 4394 NEW BEST:: SOT 394997 SOS 196741 HAS SOPS 196741 HAS SOUS 128790 HAS SOUPS 128790 WITH SCORE 128986.741
AT ITER 4435 NEW BEST:: SOT 394997 SOS 196741 HAS SOPS 196741 HAS SOUS 128785 HAS SOUPS 128785 WITH SCORE 128981.741
AT ITER 4464 NEW BEST:: SOT 394955 SOS 196713 HAS SOPS 196713 HAS SOUS 128773 HAS SOUPS 128773 WITH SCORE 128969.713
AT ITER 4496 NEW BEST:: SOT 394825 SOS 196601 HAS SOPS 196601 HAS SOUS 128673 HAS SOUPS 128673 WITH SCORE 128869.601
AT ITER 4510 NEW BEST:: SOT 394444 SOS 196320 HAS SOPS 196320 HAS SOUS 128292 HAS SOUPS 128292 WITH SCORE 128488.32
AT ITER 4512 NEW BEST:: SOT 394396 SOS 196195 HAS SOPS 196195 HAS SOUS 128196 HAS SOUPS 128196 WITH SCORE 128392.195
AT ITER 4521 NEW BEST:: SOT 394396 SOS 195985 HAS SOPS 195985 HAS SOUS 128196 HAS SOUPS 128196 WITH SCORE 128391.985
AT ITER 4534 NEW BEST:: SOT 394376 SOS 195965 HAS SOPS 195965 HAS SOUS 128176 HAS SOUPS 128176 WITH SCORE 128371.965
AT ITER 4535 NEW BEST:: SOT 394272 SOS 195786 HAS SOPS 195786 HAS SOUS 128146 HAS SOUPS 128146 WITH SCORE 128341.786
AT ITER 4544 NEW BEST:: SOT 394067 SOS 195812 HAS SOPS 195812 HAS SOUS 127978 HAS SOUPS 127978 WITH SCORE 128173.812
AT ITER 4549 NEW BEST:: SOT 394071 SOS 195816 HAS SOPS 195816 HAS SOUS 127941 HAS SOUPS 127941 WITH SCORE 128136.816
AT ITER 4577 NEW BEST:: SOT 394039 SOS 195688 HAS SOPS 195688 HAS SOUS 127907 HAS SOUPS 127907 WITH SCORE 128102.688
AT ITER 4602 NEW BEST:: SOT 394039 SOS 195684 HAS SOPS 195684 HAS SOUS 127903 HAS SOUPS 127903 WITH SCORE 128098.684
AT ITER 4603 NEW BEST:: SOT 394039 SOS 195684 HAS SOPS 195684 HAS SOUS 127845 HAS SOUPS 127845 WITH SCORE 128040.684
AT ITER 4633 NEW BEST:: SOT 393996 SOS 195641 HAS SOPS 195641 HAS SOUS 127802 HAS SOUPS 127802 WITH SCORE 127997.641
AT ITER 4635 NEW BEST:: SOT 393996 SOS 195688 HAS SOPS 195688 HAS SOUS 127755 HAS SOUPS 127755 WITH SCORE 127950.688
AT ITER 4654 NEW BEST:: SOT 393836 SOS 195528 HAS SOPS 195528 HAS SOUS 127696 HAS SOUPS 127696 WITH SCORE 127891.528
AT ITER 4684 NEW BEST:: SOT 393736 SOS 195428 HAS SOPS 195428 HAS SOUS 127596 HAS SOUPS 127596 WITH SCORE 127791.428
AT ITER 4693 NEW BEST:: SOT 393720 SOS 195412 HAS SOPS 195412 HAS SOUS 127564 HAS SOUPS 127564 WITH SCORE 127759.412
AT ITER 4696 NEW BEST:: SOT 393716 SOS 195408 HAS SOPS 195408 HAS SOUS 127556 HAS SOUPS 127556 WITH SCORE 127751.408
AT ITER 4699 NEW BEST:: SOT 393682 SOS 195340 HAS SOPS 195340 HAS SOUS 127488 HAS SOUPS 127488 WITH SCORE 127683.34
AT ITER 4709 NEW BEST:: SOT 393581 SOS 196079 HAS SOPS 196079 HAS SOUS 127401 HAS SOUPS 127401 WITH SCORE 127597.079
AT ITER 4710 NEW BEST:: SOT 393574 SOS 196072 HAS SOPS 196072 HAS SOUS 127315 HAS SOUPS 127315 WITH SCORE 127511.072
AT ITER 4734 NEW BEST:: SOT 393530 SOS 195956 HAS SOPS 195956 HAS SOUS 127227 HAS SOUPS 127227 WITH SCORE 127422.956
AT ITER 4755 NEW BEST:: SOT 393522 SOS 195934 HAS SOPS 195934 HAS SOUS 127211 HAS SOUPS 127211 WITH SCORE 127406.934
AT ITER 4760 NEW BEST:: SOT 393446 SOS 195798 HAS SOPS 195798 HAS SOUS 127192 HAS SOUPS 127192 WITH SCORE 127387.798
AT ITER 4762 NEW BEST:: SOT 393439 SOS 195784 HAS SOPS 195784 HAS SOUS 127178 HAS SOUPS 127178 WITH SCORE 127373.784
AT ITER 4770 NEW BEST:: SOT 393392 SOS 195685 HAS SOPS 195685 HAS SOUS 127136 HAS SOUPS 127136 WITH SCORE 127331.685
AT ITER 4773 NEW BEST:: SOT 393392 SOS 195661 HAS SOPS 195661 HAS SOUS 127136 HAS SOUPS 127136 WITH SCORE 127331.661
AT ITER 4777 NEW BEST:: SOT 393375 SOS 195627 HAS SOPS 195627 HAS SOUS 127102 HAS SOUPS 127102 WITH SCORE 127297.627
AT ITER 4781 NEW BEST:: SOT 393350 SOS 195617 HAS SOPS 195617 HAS SOUS 127061 HAS SOUPS 127061 WITH SCORE 127256.617
AT ITER 4805 NEW BEST:: SOT 393350 SOS 195617 HAS SOPS 195617 HAS SOUS 127060 HAS SOUPS 127060 WITH SCORE 127255.617
AT ITER 4842 NEW BEST:: SOT 393321 SOS 196387 HAS SOPS 196387 HAS SOUS 127031 HAS SOUPS 127031 WITH SCORE 127227.387
AT ITER 4850 NEW BEST:: SOT 393321 SOS 196368 HAS SOPS 196368 HAS SOUS 127031 HAS SOUPS 127031 WITH SCORE 127227.368
AT ITER 4853 NEW BEST:: SOT 393306 SOS 196560 HAS SOPS 196560 HAS SOUS 127026 HAS SOUPS 127026 WITH SCORE 127222.56
AT ITER 4873 NEW BEST:: SOT 393302 SOS 196556 HAS SOPS 196556 HAS SOUS 127018 HAS SOUPS 127018 WITH SCORE 127214.556
AT ITER 4874 NEW BEST:: SOT 393290 SOS 196894 HAS SOPS 196894 HAS SOUS 126994 HAS SOUPS 126994 WITH SCORE 127190.894
AT ITER 4910 NEW BEST:: SOT 393311 SOS 196891 HAS SOPS 196891 HAS SOUS 126990 HAS SOUPS 126990 WITH SCORE 127186.891
AT ITER 4912 NEW BEST:: SOT 393194 SOS 196774 HAS SOPS 196774 HAS SOUS 126737 HAS SOUPS 126737 WITH SCORE 126933.774
AT ITER 4957 NEW BEST:: SOT 393193 SOS 196773 HAS SOPS 196773 HAS SOUS 126735 HAS SOUPS 126735 WITH SCORE 126931.773
AT ITER 4981 NEW BEST:: SOT 393190 SOS 196733 HAS SOPS 196733 HAS SOUS 126695 HAS SOUPS 126695 WITH SCORE 126891.733
AT ITER 4995 NEW BEST:: SOT 393200 SOS 196719 HAS SOPS 196719 HAS SOUS 126691 HAS SOUPS 126691 WITH SCORE 126887.719
AT ITER 5019 NEW BEST:: SOT 393150 SOS 196695 HAS SOPS 196695 HAS SOUS 126679 HAS SOUPS 126679 WITH SCORE 126875.695
AT ITER 5049 NEW BEST:: SOT 393146 SOS 196691 HAS SOPS 196691 HAS SOUS 126671 HAS SOUPS 126671 WITH SCORE 126867.691
AT ITER 5052 NEW BEST:: SOT 393146 SOS 196671 HAS SOPS 196671 HAS SOUS 126671 HAS SOUPS 126671 WITH SCORE 126867.671
AT ITER 5061 NEW BEST:: SOT 393098 SOS 196623 HAS SOPS 196623 HAS SOUS 126623 HAS SOUPS 126623 WITH SCORE 126819.623
AT ITER 5067 NEW BEST:: SOT 392942 SOS 196657 HAS SOPS 196657 HAS SOUS 126495 HAS SOUPS 126495 WITH SCORE 126691.657
AT ITER 5071 NEW BEST:: SOT 392919 SOS 196634 HAS SOPS 196634 HAS SOUS 126472 HAS SOUPS 126472 WITH SCORE 126668.634
AT ITER 5084 NEW BEST:: SOT 392924 SOS 195730 HAS SOPS 195730 HAS SOUS 126469 HAS SOUPS 126469 WITH SCORE 126664.73
AT ITER 5090 NEW BEST:: SOT 392936 SOS 195742 HAS SOPS 195742 HAS SOUS 126462 HAS SOUPS 126462 WITH SCORE 126657.742
AT ITER 5092 NEW BEST:: SOT 392924 SOS 195782 HAS SOPS 195782 HAS SOUS 126438 HAS SOUPS 126438 WITH SCORE 126633.782
AT ITER 5100 NEW BEST:: SOT 392922 SOS 195780 HAS SOPS 195780 HAS SOUS 126434 HAS SOUPS 126434 WITH SCORE 126629.78
AT ITER 5105 NEW BEST:: SOT 392898 SOS 195736 HAS SOPS 195736 HAS SOUS 126401 HAS SOUPS 126401 WITH SCORE 126596.736
AT ITER 5108 NEW BEST:: SOT 392886 SOS 196053 HAS SOPS 196053 HAS SOUS 126389 HAS SOUPS 126389 WITH SCORE 126585.053
AT ITER 5133 NEW BEST:: SOT 392743 SOS 196158 HAS SOPS 196158 HAS SOUS 126297 HAS SOUPS 126297 WITH SCORE 126493.158
AT ITER 5163 NEW BEST:: SOT 392741 SOS 196156 HAS SOPS 196156 HAS SOUS 126297 HAS SOUPS 126297 WITH SCORE 126493.156
AT ITER 5174 NEW BEST:: SOT 392689 SOS 196078 HAS SOPS 196078 HAS SOUS 126219 HAS SOUPS 126219 WITH SCORE 126415.078
AT ITER 5195 NEW BEST:: SOT 392689 SOS 195974 HAS SOPS 195974 HAS SOUS 126219 HAS SOUPS 126219 WITH SCORE 126414.974
AT ITER 5224 NEW BEST:: SOT 392672 SOS 195957 HAS SOPS 195957 HAS SOUS 126185 HAS SOUPS 126185 WITH SCORE 126380.957
AT ITER 5241 NEW BEST:: SOT 392664 SOS 195941 HAS SOPS 195941 HAS SOUS 126177 HAS SOUPS 126177 WITH SCORE 126372.941
AT ITER 5248 NEW BEST:: SOT 392664 SOS 195819 HAS SOPS 195819 HAS SOUS 126177 HAS SOUPS 126177 WITH SCORE 126372.819
AT ITER 5259 NEW BEST:: SOT 392675 SOS 195755 HAS SOPS 195755 HAS SOUS 126113 HAS SOUPS 126113 WITH SCORE 126308.755
AT ITER 5263 NEW BEST:: SOT 392547 SOS 195795 HAS SOPS 195795 HAS SOUS 126029 HAS SOUPS 126029 WITH SCORE 126224.795
AT ITER 5264 NEW BEST:: SOT 392536 SOS 195784 HAS SOPS 195784 HAS SOUS 126018 HAS SOUPS 126018 WITH SCORE 126213.784
AT ITER 5279 NEW BEST:: SOT 392536 SOS 195001 HAS SOPS 195001 HAS SOUS 126018 HAS SOUPS 126018 WITH SCORE 126213.001
AT ITER 5418 NEW BEST:: SOT 392533 SOS 194998 HAS SOPS 194998 HAS SOUS 126018 HAS SOUPS 126018 WITH SCORE 126212.998
AT ITER 5433 NEW BEST:: SOT 392335 SOS 195445 HAS SOPS 195445 HAS SOUS 125947 HAS SOUPS 125947 WITH SCORE 126142.445
AT ITER 5450 NEW BEST:: SOT 392416 SOS 195017 HAS SOPS 195017 HAS SOUS 125867 HAS SOUPS 125867 WITH SCORE 126062.017
AT ITER 5452 NEW BEST:: SOT 392416 SOS 194666 HAS SOPS 194666 HAS SOUS 125867 HAS SOUPS 125867 WITH SCORE 126061.666
AT ITER 5473 NEW BEST:: SOT 392389 SOS 194612 HAS SOPS 194612 HAS SOUS 125863 HAS SOUPS 125863 WITH SCORE 126057.612
AT ITER 5513 NEW BEST:: SOT 392366 SOS 194589 HAS SOPS 194589 HAS SOUS 125817 HAS SOUPS 125817 WITH SCORE 126011.589
AT ITER 5540 NEW BEST:: SOT 392366 SOS 194589 HAS SOPS 194589 HAS SOUS 125759 HAS SOUPS 125759 WITH SCORE 125953.589
AT ITER 5561 NEW BEST:: SOT 392366 SOS 194426 HAS SOPS 194426 HAS SOUS 125759 HAS SOUPS 125759 WITH SCORE 125953.426
AT ITER 5573 NEW BEST:: SOT 392377 SOS 194413 HAS SOPS 194413 HAS SOUS 125757 HAS SOUPS 125757 WITH SCORE 125951.413
AT ITER 5575 NEW BEST:: SOT 392183 SOS 194219 HAS SOPS 194219 HAS SOUS 125740 HAS SOUPS 125740 WITH SCORE 125934.219
AT ITER 5597 NEW BEST:: SOT 392180 SOS 194210 HAS SOPS 194210 HAS SOUS 125679 HAS SOUPS 125679 WITH SCORE 125873.21
AT ITER 5646 NEW BEST:: SOT 392005 SOS 194132 HAS SOPS 194132 HAS SOUS 125529 HAS SOUPS 125529 WITH SCORE 125723.132
AT ITER 5656 NEW BEST:: SOT 392001 SOS 194108 HAS SOPS 194108 HAS SOUS 125521 HAS SOUPS 125521 WITH SCORE 125715.108
AT ITER 5674 NEW BEST:: SOT 391963 SOS 194076 HAS SOPS 194076 HAS SOUS 125451 HAS SOUPS 125451 WITH SCORE 125645.076
AT ITER 5693 NEW BEST:: SOT 391896 SOS 194009 HAS SOPS 194009 HAS SOUS 125322 HAS SOUPS 125322 WITH SCORE 125516.009
AT ITER 5694 NEW BEST:: SOT 391941 SOS 194054 HAS SOPS 194054 HAS SOUS 125314 HAS SOUPS 125314 WITH SCORE 125508.054
AT ITER 5718 NEW BEST:: SOT 391941 SOS 193976 HAS SOPS 193976 HAS SOUS 125314 HAS SOUPS 125314 WITH SCORE 125507.976
AT ITER 5727 NEW BEST:: SOT 391929 SOS 193844 HAS SOPS 193844 HAS SOUS 125302 HAS SOUPS 125302 WITH SCORE 125495.844
AT ITER 5775 NEW BEST:: SOT 391924 SOS 193839 HAS SOPS 193839 HAS SOUS 125292 HAS SOUPS 125292 WITH SCORE 125485.839
AT ITER 5785 NEW BEST:: SOT 391973 SOS 193888 HAS SOPS 193888 HAS SOUS 125219 HAS SOUPS 125219 WITH SCORE 125412.888
AT ITER 5789 NEW BEST:: SOT 391952 SOS 193867 HAS SOPS 193867 HAS SOUS 125177 HAS SOUPS 125177 WITH SCORE 125370.867
AT ITER 5796 NEW BEST:: SOT 391952 SOS 193835 HAS SOPS 193835 HAS SOUS 125177 HAS SOUPS 125177 WITH SCORE 125370.835
AT ITER 5802 NEW BEST:: SOT 391949 SOS 193832 HAS SOPS 193832 HAS SOUS 125171 HAS SOUPS 125171 WITH SCORE 125364.832
AT ITER 5806 NEW BEST:: SOT 391945 SOS 193828 HAS SOPS 193828 HAS SOUS 125163 HAS SOUPS 125163 WITH SCORE 125356.828
AT ITER 5812 NEW BEST:: SOT 391897 SOS 193780 HAS SOPS 193780 HAS SOUS 125115 HAS SOUPS 125115 WITH SCORE 125308.78
AT ITER 5818 NEW BEST:: SOT 391894 SOS 193777 HAS SOPS 193777 HAS SOUS 125112 HAS SOUPS 125112 WITH SCORE 125305.777
AT ITER 5831 NEW BEST:: SOT 391894 SOS 193766 HAS SOPS 193766 HAS SOUS 125101 HAS SOUPS 125101 WITH SCORE 125294.766
AT ITER 5835 NEW BEST:: SOT 391856 SOS 193728 HAS SOPS 193728 HAS SOUS 124923 HAS SOUPS 124923 WITH SCORE 125116.728
AT ITER 5839 NEW BEST:: SOT 391855 SOS 193727 HAS SOPS 193727 HAS SOUS 124921 HAS SOUPS 124921 WITH SCORE 125114.727
AT ITER 5872 NEW BEST:: SOT 391855 SOS 193765 HAS SOPS 193765 HAS SOUS 124843 HAS SOUPS 124843 WITH SCORE 125036.765
AT ITER 5877 NEW BEST:: SOT 391847 SOS 193621 HAS SOPS 193621 HAS SOUS 124828 HAS SOUPS 124828 WITH SCORE 125021.621
AT ITER 5883 NEW BEST:: SOT 391847 SOS 193621 HAS SOPS 193621 HAS SOUS 124757 HAS SOUPS 124757 WITH SCORE 124950.621
AT ITER 5894 NEW BEST:: SOT 391847 SOS 193610 HAS SOPS 193610 HAS SOUS 124757 HAS SOUPS 124757 WITH SCORE 124950.61
AT ITER 5927 NEW BEST:: SOT 391826 SOS 193589 HAS SOPS 193589 HAS SOUS 124715 HAS SOUPS 124715 WITH SCORE 124908.589
AT ITER 5954 NEW BEST:: SOT 391841 SOS 193604 HAS SOPS 193604 HAS SOUS 124698 HAS SOUPS 124698 WITH SCORE 124891.604
AT ITER 5959 NEW BEST:: SOT 391849 SOS 193563 HAS SOPS 193563 HAS SOUS 124657 HAS SOUPS 124657 WITH SCORE 124850.563
AT ITER 5960 NEW BEST:: SOT 391849 SOS 192915 HAS SOPS 192915 HAS SOUS 124657 HAS SOUPS 124657 WITH SCORE 124849.915
AT ITER 5963 NEW BEST:: SOT 391795 SOS 192792 HAS SOPS 192792 HAS SOUS 124500 HAS SOUPS 124500 WITH SCORE 124692.792
AT ITER 5973 NEW BEST:: SOT 391795 SOS 192789 HAS SOPS 192789 HAS SOUS 124500 HAS SOUPS 124500 WITH SCORE 124692.789
AT ITER 5979 NEW BEST:: SOT 391794 SOS 192788 HAS SOPS 192788 HAS SOUS 124499 HAS SOUPS 124499 WITH SCORE 124691.788
AT ITER 5984 NEW BEST:: SOT 391783 SOS 192656 HAS SOPS 192656 HAS SOUS 124477 HAS SOUPS 124477 WITH SCORE 124669.656
AT ITER 5988 NEW BEST:: SOT 391701 SOS 192574 HAS SOPS 192574 HAS SOUS 124395 HAS SOUPS 124395 WITH SCORE 124587.574
AT ITER 6015 NEW BEST:: SOT 391701 SOS 192561 HAS SOPS 192561 HAS SOUS 124395 HAS SOUPS 124395 WITH SCORE 124587.561
AT ITER 6026 NEW BEST:: SOT 391645 SOS 194078 HAS SOPS 194078 HAS SOUS 124296 HAS SOUPS 124296 WITH SCORE 124490.078
AT ITER 6030 NEW BEST:: SOT 391637 SOS 194070 HAS SOPS 194070 HAS SOUS 124288 HAS SOUPS 124288 WITH SCORE 124482.07
AT ITER 6045 NEW BEST:: SOT 391557 SOS 194046 HAS SOPS 194046 HAS SOUS 124264 HAS SOUPS 124264 WITH SCORE 124458.046
AT ITER 6056 NEW BEST:: SOT 391557 SOS 194020 HAS SOPS 194020 HAS SOUS 124264 HAS SOUPS 124264 WITH SCORE 124458.02
AT ITER 6058 NEW BEST:: SOT 391544 SOS 193939 HAS SOPS 193939 HAS SOUS 124238 HAS SOUPS 124238 WITH SCORE 124431.939
AT ITER 6073 NEW BEST:: SOT 391542 SOS 193649 HAS SOPS 193649 HAS SOUS 124236 HAS SOUPS 124236 WITH SCORE 124429.649
AT ITER 6080 NEW BEST:: SOT 391517 SOS 193593 HAS SOPS 193593 HAS SOUS 124211 HAS SOUPS 124211 WITH SCORE 124404.593
AT ITER 6099 NEW BEST:: SOT 391517 SOS 193606 HAS SOPS 193606 HAS SOUS 124210 HAS SOUPS 124210 WITH SCORE 124403.606
AT ITER 6102 NEW BEST:: SOT 391495 SOS 193584 HAS SOPS 193584 HAS SOUS 124210 HAS SOUPS 124210 WITH SCORE 124403.584
AT ITER 6107 NEW BEST:: SOT 391490 SOS 193579 HAS SOPS 193579 HAS SOUS 124210 HAS SOUPS 124210 WITH SCORE 124403.579
AT ITER 6114 NEW BEST:: SOT 391490 SOS 193568 HAS SOPS 193568 HAS SOUS 124199 HAS SOUPS 124199 WITH SCORE 124392.568
AT ITER 6115 NEW BEST:: SOT 391402 SOS 193359 HAS SOPS 193359 HAS SOUS 124023 HAS SOUPS 124023 WITH SCORE 124216.359
AT ITER 6122 NEW BEST:: SOT 391223 SOS 193289 HAS SOPS 193289 HAS SOUS 123953 HAS SOUPS 123953 WITH SCORE 124146.289
AT ITER 6132 NEW BEST:: SOT 391207 SOS 193273 HAS SOPS 193273 HAS SOUS 123937 HAS SOUPS 123937 WITH SCORE 124130.273
AT ITER 6135 NEW BEST:: SOT 391123 SOS 193189 HAS SOPS 193189 HAS SOUS 123769 HAS SOUPS 123769 WITH SCORE 123962.189
AT ITER 6136 NEW BEST:: SOT 391102 SOS 193168 HAS SOPS 193168 HAS SOUS 123758 HAS SOUPS 123758 WITH SCORE 123951.168
AT ITER 6137 NEW BEST:: SOT 391032 SOS 193210 HAS SOPS 193210 HAS SOUS 123702 HAS SOUPS 123702 WITH SCORE 123895.21
AT ITER 6174 NEW BEST:: SOT 391005 SOS 193183 HAS SOPS 193183 HAS SOUS 123702 HAS SOUPS 123702 WITH SCORE 123895.183
AT ITER 6194 NEW BEST:: SOT 390993 SOS 193171 HAS SOPS 193171 HAS SOUS 123655 HAS SOUPS 123655 WITH SCORE 123848.171
AT ITER 6197 NEW BEST:: SOT 390836 SOS 193014 HAS SOPS 193014 HAS SOUS 123498 HAS SOUPS 123498 WITH SCORE 123691.014
AT ITER 6218 NEW BEST:: SOT 390776 SOS 193434 HAS SOPS 193434 HAS SOUS 123378 HAS SOUPS 123378 WITH SCORE 123571.434
AT ITER 6222 NEW BEST:: SOT 390774 SOS 193431 HAS SOPS 193431 HAS SOUS 123375 HAS SOUPS 123375 WITH SCORE 123568.431
AT ITER 6223 NEW BEST:: SOT 390774 SOS 193406 HAS SOPS 193406 HAS SOUS 123350 HAS SOUPS 123350 WITH SCORE 123543.406
AT ITER 6247 NEW BEST:: SOT 390664 SOS 193296 HAS SOPS 193296 HAS SOUS 123130 HAS SOUPS 123130 WITH SCORE 123323.296
AT ITER 6286 NEW BEST:: SOT 390677 SOS 193283 HAS SOPS 193283 HAS SOUS 123117 HAS SOUPS 123117 WITH SCORE 123310.283
AT ITER 6307 NEW BEST:: SOT 390677 SOS 193283 HAS SOPS 193283 HAS SOUS 123101 HAS SOUPS 123101 WITH SCORE 123294.283
AT ITER 6324 NEW BEST:: SOT 390677 SOS 193420 HAS SOPS 193420 HAS SOUS 123092 HAS SOUPS 123092 WITH SCORE 123285.42
AT ITER 6350 NEW BEST:: SOT 390677 SOS 193370 HAS SOPS 193370 HAS SOUS 123092 HAS SOUPS 123092 WITH SCORE 123285.37
AT ITER 6398 NEW BEST:: SOT 390662 SOS 193574 HAS SOPS 193574 HAS SOUS 123062 HAS SOUPS 123062 WITH SCORE 123255.574
AT ITER 6406 NEW BEST:: SOT 390662 SOS 193547 HAS SOPS 193547 HAS SOUS 123059 HAS SOUPS 123059 WITH SCORE 123252.547
AT ITER 6408 NEW BEST:: SOT 390662 SOS 193547 HAS SOPS 193547 HAS SOUS 123045 HAS SOUPS 123045 WITH SCORE 123238.547
AT ITER 6411 NEW BEST:: SOT 390586 SOS 193471 HAS SOPS 193471 HAS SOUS 123014 HAS SOUPS 123014 WITH SCORE 123207.471
AT ITER 6450 NEW BEST:: SOT 390596 SOS 193558 HAS SOPS 193558 HAS SOUS 123009 HAS SOUPS 123009 WITH SCORE 123202.558
AT ITER 6458 NEW BEST:: SOT 390584 SOS 193546 HAS SOPS 193546 HAS SOUS 122985 HAS SOUPS 122985 WITH SCORE 123178.546
AT ITER 6499 NEW BEST:: SOT 390491 SOS 193453 HAS SOPS 193453 HAS SOUS 122928 HAS SOUPS 122928 WITH SCORE 123121.453
AT ITER 6516 NEW BEST:: SOT 390372 SOS 193586 HAS SOPS 193586 HAS SOUS 122782 HAS SOUPS 122782 WITH SCORE 122975.586
AT ITER 6526 NEW BEST:: SOT 390348 SOS 193562 HAS SOPS 193562 HAS SOUS 122773 HAS SOUPS 122773 WITH SCORE 122966.562
AT ITER 6555 NEW BEST:: SOT 390294 SOS 193466 HAS SOPS 193466 HAS SOUS 122707 HAS SOUPS 122707 WITH SCORE 122900.466
AT ITER 6597 NEW BEST:: SOT 390294 SOS 193460 HAS SOPS 193460 HAS SOUS 122701 HAS SOUPS 122701 WITH SCORE 122894.46
AT ITER 6616 NEW BEST:: SOT 390294 SOS 193460 HAS SOPS 193460 HAS SOUS 122697 HAS SOUPS 122697 WITH SCORE 122890.46
AT ITER 6629 NEW BEST:: SOT 390303 SOS 193469 HAS SOPS 193469 HAS SOUS 122683 HAS SOUPS 122683 WITH SCORE 122876.469
AT ITER 6663 NEW BEST:: SOT 390260 SOS 193426 HAS SOPS 193426 HAS SOUS 122640 HAS SOUPS 122640 WITH SCORE 122833.426
AT ITER 6685 NEW BEST:: SOT 390260 SOS 193419 HAS SOPS 193419 HAS SOUS 122640 HAS SOUPS 122640 WITH SCORE 122833.419
AT ITER 6709 NEW BEST:: SOT 390168 SOS 193327 HAS SOPS 193327 HAS SOUS 122548 HAS SOUPS 122548 WITH SCORE 122741.327
AT ITER 6718 NEW BEST:: SOT 390160 SOS 193311 HAS SOPS 193311 HAS SOUS 122524 HAS SOUPS 122524 WITH SCORE 122717.311
AT ITER 6753 NEW BEST:: SOT 390257 SOS 193266 HAS SOPS 193266 HAS SOUS 122434 HAS SOUPS 122434 WITH SCORE 122627.266
AT ITER 6756 NEW BEST:: SOT 390253 SOS 193262 HAS SOPS 193262 HAS SOUS 122431 HAS SOUPS 122431 WITH SCORE 122624.262
AT ITER 6775 NEW BEST:: SOT 390253 SOS 193221 HAS SOPS 193221 HAS SOUS 122426 HAS SOUPS 122426 WITH SCORE 122619.221
AT ITER 6861 NEW BEST:: SOT 390234 SOS 193261 HAS SOPS 193261 HAS SOUS 122407 HAS SOUPS 122407 WITH SCORE 122600.261
AT ITER 6865 NEW BEST:: SOT 390283 SOS 193310 HAS SOPS 193310 HAS SOUS 122284 HAS SOUPS 122284 WITH SCORE 122477.31
AT ITER 6885 NEW BEST:: SOT 390265 SOS 193310 HAS SOPS 193310 HAS SOUS 122281 HAS SOUPS 122281 WITH SCORE 122474.31
AT ITER 6902 NEW BEST:: SOT 390264 SOS 193318 HAS SOPS 193318 HAS SOUS 122279 HAS SOUPS 122279 WITH SCORE 122472.318
AT ITER 6914 NEW BEST:: SOT 390261 SOS 193315 HAS SOPS 193315 HAS SOUS 122264 HAS SOUPS 122264 WITH SCORE 122457.315
AT ITER 6916 NEW BEST:: SOT 390248 SOS 193300 HAS SOPS 193300 HAS SOUS 122262 HAS SOUPS 122262 WITH SCORE 122455.3
AT ITER 6946 NEW BEST:: SOT 390285 SOS 193337 HAS SOPS 193337 HAS SOUS 122167 HAS SOUPS 122167 WITH SCORE 122360.337
AT ITER 6957 NEW BEST:: SOT 390277 SOS 193329 HAS SOPS 193329 HAS SOUS 122151 HAS SOUPS 122151 WITH SCORE 122344.329
AT ITER 6958 NEW BEST:: SOT 390277 SOS 193324 HAS SOPS 193324 HAS SOUS 122146 HAS SOUPS 122146 WITH SCORE 122339.324
AT ITER 6964 NEW BEST:: SOT 390283 SOS 193330 HAS SOPS 193330 HAS SOUS 122144 HAS SOUPS 122144 WITH SCORE 122337.33
AT ITER 6980 NEW BEST:: SOT 390251 SOS 193336 HAS SOPS 193336 HAS SOUS 122080 HAS SOUPS 122080 WITH SCORE 122273.336
AT ITER 7021 NEW BEST:: SOT 390237 SOS 193212 HAS SOPS 193212 HAS SOUS 122046 HAS SOUPS 122046 WITH SCORE 122239.212
AT ITER 7046 NEW BEST:: SOT 390140 SOS 193985 HAS SOPS 193985 HAS SOUS 121949 HAS SOUPS 121949 WITH SCORE 122142.985
AT ITER 7048 NEW BEST:: SOT 390140 SOS 193910 HAS SOPS 193910 HAS SOUS 121949 HAS SOUPS 121949 WITH SCORE 122142.91
AT ITER 7050 NEW BEST:: SOT 390118 SOS 193888 HAS SOPS 193888 HAS SOUS 121905 HAS SOUPS 121905 WITH SCORE 122098.888
AT ITER 7058 NEW BEST:: SOT 390117 SOS 193887 HAS SOPS 193887 HAS SOUS 121903 HAS SOUPS 121903 WITH SCORE 122096.887
AT ITER 7062 NEW BEST:: SOT 390063 SOS 193914 HAS SOPS 193914 HAS SOUS 121867 HAS SOUPS 121867 WITH SCORE 122060.914
AT ITER 7068 NEW BEST:: SOT 390028 SOS 193200 HAS SOPS 193200 HAS SOUS 121788 HAS SOUPS 121788 WITH SCORE 121981.2
AT ITER 7085 NEW BEST:: SOT 389983 SOS 193155 HAS SOPS 193155 HAS SOUS 121788 HAS SOUPS 121788 WITH SCORE 121981.155
AT ITER 7086 NEW BEST:: SOT 389780 SOS 192922 HAS SOPS 192922 HAS SOUS 121752 HAS SOUPS 121752 WITH SCORE 121944.922
AT ITER 7092 NEW BEST:: SOT 389735 SOS 192716 HAS SOPS 192716 HAS SOUS 121693 HAS SOUPS 121693 WITH SCORE 121885.716
AT ITER 7095 NEW BEST:: SOT 389617 SOS 192496 HAS SOPS 192496 HAS SOUS 121559 HAS SOUPS 121559 WITH SCORE 121751.496
AT ITER 7112 NEW BEST:: SOT 389601 SOS 192480 HAS SOPS 192480 HAS SOUS 121527 HAS SOUPS 121527 WITH SCORE 121719.48
AT ITER 7125 NEW BEST:: SOT 389598 SOS 192477 HAS SOPS 192477 HAS SOUS 121521 HAS SOUPS 121521 WITH SCORE 121713.477
AT ITER 7139 NEW BEST:: SOT 389592 SOS 192471 HAS SOPS 192471 HAS SOUS 121515 HAS SOUPS 121515 WITH SCORE 121707.471
AT ITER 7142 NEW BEST:: SOT 389561 SOS 192339 HAS SOPS 192339 HAS SOUS 121468 HAS SOUPS 121468 WITH SCORE 121660.339
AT ITER 7153 NEW BEST:: SOT 389657 SOS 192435 HAS SOPS 192435 HAS SOUS 121464 HAS SOUPS 121464 WITH SCORE 121656.435
AT ITER 7162 NEW BEST:: SOT 389648 SOS 192249 HAS SOPS 192249 HAS SOUS 121398 HAS SOUPS 121398 WITH SCORE 121590.249
AT ITER 7165 NEW BEST:: SOT 389648 SOS 192249 HAS SOPS 192249 HAS SOUS 121392 HAS SOUPS 121392 WITH SCORE 121584.249
AT ITER 7183 NEW BEST:: SOT 389646 SOS 192247 HAS SOPS 192247 HAS SOUS 121388 HAS SOUPS 121388 WITH SCORE 121580.247
AT ITER 7217 NEW BEST:: SOT 389601 SOS 192202 HAS SOPS 192202 HAS SOUS 121388 HAS SOUPS 121388 WITH SCORE 121580.202
AT ITER 7228 NEW BEST:: SOT 389433 SOS 192041 HAS SOPS 192041 HAS SOUS 121312 HAS SOUPS 121312 WITH SCORE 121504.041
AT ITER 7234 NEW BEST:: SOT 389427 SOS 192035 HAS SOPS 192035 HAS SOUS 121312 HAS SOUPS 121312 WITH SCORE 121504.035
AT ITER 7288 NEW BEST:: SOT 389428 SOS 192025 HAS SOPS 192025 HAS SOUS 121312 HAS SOUPS 121312 WITH SCORE 121504.025
AT ITER 7305 NEW BEST:: SOT 389428 SOS 191568 HAS SOPS 191568 HAS SOUS 121299 HAS SOUPS 121299 WITH SCORE 121490.568
AT ITER 7342 NEW BEST:: SOT 389426 SOS 191550 HAS SOPS 191550 HAS SOUS 121295 HAS SOUPS 121295 WITH SCORE 121486.55
AT ITER 7353 NEW BEST:: SOT 389359 SOS 192077 HAS SOPS 192077 HAS SOUS 121272 HAS SOUPS 121272 WITH SCORE 121464.077
AT ITER 7366 NEW BEST:: SOT 389395 SOS 192113 HAS SOPS 192113 HAS SOUS 121251 HAS SOUPS 121251 WITH SCORE 121443.113
AT ITER 7377 NEW BEST:: SOT 389227 SOS 192405 HAS SOPS 192405 HAS SOUS 121134 HAS SOUPS 121134 WITH SCORE 121326.405
AT ITER 7401 NEW BEST:: SOT 389109 SOS 192460 HAS SOPS 192460 HAS SOUS 120898 HAS SOUPS 120898 WITH SCORE 121090.46
AT ITER 7402 NEW BEST:: SOT 389107 SOS 192458 HAS SOPS 192458 HAS SOUS 120879 HAS SOUPS 120879 WITH SCORE 121071.458
AT ITER 7414 NEW BEST:: SOT 389099 SOS 192450 HAS SOPS 192450 HAS SOUS 120832 HAS SOUPS 120832 WITH SCORE 121024.45
AT ITER 7427 NEW BEST:: SOT 389118 SOS 192469 HAS SOPS 192469 HAS SOUS 120799 HAS SOUPS 120799 WITH SCORE 120991.469
AT ITER 7435 NEW BEST:: SOT 389098 SOS 192449 HAS SOPS 192449 HAS SOUS 120721 HAS SOUPS 120721 WITH SCORE 120913.449
AT ITER 7462 NEW BEST:: SOT 389057 SOS 192446 HAS SOPS 192446 HAS SOUS 120677 HAS SOUPS 120677 WITH SCORE 120869.446
AT ITER 7480 NEW BEST:: SOT 389033 SOS 192447 HAS SOPS 192447 HAS SOUS 120629 HAS SOUPS 120629 WITH SCORE 120821.447
AT ITER 7485 NEW BEST:: SOT 389018 SOS 192432 HAS SOPS 192432 HAS SOUS 120599 HAS SOUPS 120599 WITH SCORE 120791.432
AT ITER 7505 NEW BEST:: SOT 389018 SOS 192432 HAS SOPS 192432 HAS SOUS 120590 HAS SOUPS 120590 WITH SCORE 120782.432
AT ITER 7507 NEW BEST:: SOT 389006 SOS 192408 HAS SOPS 192408 HAS SOUS 120566 HAS SOUPS 120566 WITH SCORE 120758.408
AT ITER 7515 NEW BEST:: SOT 388961 SOS 192363 HAS SOPS 192363 HAS SOUS 120562 HAS SOUPS 120562 WITH SCORE 120754.363
AT ITER 7532 NEW BEST:: SOT 388961 SOS 192363 HAS SOPS 192363 HAS SOUS 120554 HAS SOUPS 120554 WITH SCORE 120746.363
AT ITER 7550 NEW BEST:: SOT 388855 SOS 192257 HAS SOPS 192257 HAS SOUS 120554 HAS SOUPS 120554 WITH SCORE 120746.257
AT ITER 7562 NEW BEST:: SOT 388766 SOS 192239 HAS SOPS 192239 HAS SOUS 120376 HAS SOUPS 120376 WITH SCORE 120568.239
AT ITER 7568 NEW BEST:: SOT 388766 SOS 192210 HAS SOPS 192210 HAS SOUS 120376 HAS SOUPS 120376 WITH SCORE 120568.21
AT ITER 7569 NEW BEST:: SOT 388688 SOS 192132 HAS SOPS 192132 HAS SOUS 120298 HAS SOUPS 120298 WITH SCORE 120490.132
AT ITER 7570 NEW BEST:: SOT 388650 SOS 192094 HAS SOPS 192094 HAS SOUS 120225 HAS SOUPS 120225 WITH SCORE 120417.094
AT ITER 7575 NEW BEST:: SOT 388633 SOS 192605 HAS SOPS 192605 HAS SOUS 120196 HAS SOUPS 120196 WITH SCORE 120388.605
AT ITER 7593 NEW BEST:: SOT 388634 SOS 192606 HAS SOPS 192606 HAS SOUS 120189 HAS SOUPS 120189 WITH SCORE 120381.606
AT ITER 7597 NEW BEST:: SOT 388632 SOS 192604 HAS SOPS 192604 HAS SOUS 120187 HAS SOUPS 120187 WITH SCORE 120379.604
AT ITER 7599 NEW BEST:: SOT 388626 SOS 192530 HAS SOPS 192530 HAS SOUS 120175 HAS SOUPS 120175 WITH SCORE 120367.53
AT ITER 7600 NEW BEST:: SOT 388623 SOS 192527 HAS SOPS 192527 HAS SOUS 120169 HAS SOUPS 120169 WITH SCORE 120361.527
AT ITER 7623 NEW BEST:: SOT 388586 SOS 192479 HAS SOPS 192479 HAS SOUS 120158 HAS SOUPS 120158 WITH SCORE 120350.479
AT ITER 7625 NEW BEST:: SOT 388578 SOS 191932 HAS SOPS 191932 HAS SOUS 120123 HAS SOUPS 120123 WITH SCORE 120314.932
AT ITER 7633 NEW BEST:: SOT 388576 SOS 191921 HAS SOPS 191921 HAS SOUS 120112 HAS SOUPS 120112 WITH SCORE 120303.921
AT ITER 7656 NEW BEST:: SOT 388572 SOS 191917 HAS SOPS 191917 HAS SOUS 120112 HAS SOUPS 120112 WITH SCORE 120303.917
AT ITER 7661 NEW BEST:: SOT 388567 SOS 191912 HAS SOPS 191912 HAS SOUS 120102 HAS SOUPS 120102 WITH SCORE 120293.912
AT ITER 7663 NEW BEST:: SOT 388567 SOS 191876 HAS SOPS 191876 HAS SOUS 120102 HAS SOUPS 120102 WITH SCORE 120293.876
AT ITER 7682 NEW BEST:: SOT 388560 SOS 191887 HAS SOPS 191887 HAS SOUS 120088 HAS SOUPS 120088 WITH SCORE 120279.887
AT ITER 7684 NEW BEST:: SOT 388560 SOS 191867 HAS SOPS 191867 HAS SOUS 120088 HAS SOUPS 120088 WITH SCORE 120279.867
AT ITER 7687 NEW BEST:: SOT 388560 SOS 191867 HAS SOPS 191867 HAS SOUS 120086 HAS SOUPS 120086 WITH SCORE 120277.867
AT ITER 7703 NEW BEST:: SOT 388522 SOS 191883 HAS SOPS 191883 HAS SOUS 120010 HAS SOUPS 120010 WITH SCORE 120201.883
AT ITER 7752 NEW BEST:: SOT 388522 SOS 191883 HAS SOPS 191883 HAS SOUS 120005 HAS SOUPS 120005 WITH SCORE 120196.883
AT ITER 7810 NEW BEST:: SOT 388522 SOS 191796 HAS SOPS 191796 HAS SOUS 119918 HAS SOUPS 119918 WITH SCORE 120109.796
AT ITER 7816 NEW BEST:: SOT 388522 SOS 191791 HAS SOPS 191791 HAS SOUS 119913 HAS SOUPS 119913 WITH SCORE 120104.791
AT ITER 7817 NEW BEST:: SOT 388554 SOS 191745 HAS SOPS 191745 HAS SOUS 119867 HAS SOUPS 119867 WITH SCORE 120058.745
AT ITER 7846 NEW BEST:: SOT 388554 SOS 191745 HAS SOPS 191745 HAS SOUS 119857 HAS SOUPS 119857 WITH SCORE 120048.745
AT ITER 7852 NEW BEST:: SOT 388579 SOS 191781 HAS SOPS 191781 HAS SOUS 119776 HAS SOUPS 119776 WITH SCORE 119967.781
AT ITER 7874 NEW BEST:: SOT 388542 SOS 191762 HAS SOPS 191762 HAS SOUS 119757 HAS SOUPS 119757 WITH SCORE 119948.762
AT ITER 7877 NEW BEST:: SOT 388535 SOS 191694 HAS SOPS 191694 HAS SOUS 119689 HAS SOUPS 119689 WITH SCORE 119880.694
AT ITER 7893 NEW BEST:: SOT 388526 SOS 191685 HAS SOPS 191685 HAS SOUS 119671 HAS SOUPS 119671 WITH SCORE 119862.685
AT ITER 7896 NEW BEST:: SOT 388535 SOS 191694 HAS SOPS 191694 HAS SOUS 119665 HAS SOUPS 119665 WITH SCORE 119856.694
AT ITER 7919 NEW BEST:: SOT 388552 SOS 191711 HAS SOPS 191711 HAS SOUS 119659 HAS SOUPS 119659 WITH SCORE 119850.711
AT ITER 7943 NEW BEST:: SOT 388552 SOS 191690 HAS SOPS 191690 HAS SOUS 119659 HAS SOUPS 119659 WITH SCORE 119850.69
AT ITER 7965 NEW BEST:: SOT 388539 SOS 191664 HAS SOPS 191664 HAS SOUS 119633 HAS SOUPS 119633 WITH SCORE 119824.664
AT ITER 8012 NEW BEST:: SOT 388609 SOS 191694 HAS SOPS 191694 HAS SOUS 119615 HAS SOUPS 119615 WITH SCORE 119806.694
AT ITER 8021 NEW BEST:: SOT 388609 SOS 191692 HAS SOPS 191692 HAS SOUS 119615 HAS SOUPS 119615 WITH SCORE 119806.692
AT ITER 8045 NEW BEST:: SOT 388608 SOS 191677 HAS SOPS 191677 HAS SOUS 119600 HAS SOUPS 119600 WITH SCORE 119791.677
AT ITER 8046 NEW BEST:: SOT 388607 SOS 191676 HAS SOPS 191676 HAS SOUS 119598 HAS SOUPS 119598 WITH SCORE 119789.676
AT ITER 8051 NEW BEST:: SOT 388605 SOS 191681 HAS SOPS 191681 HAS SOUS 119596 HAS SOUPS 119596 WITH SCORE 119787.681
AT ITER 8052 NEW BEST:: SOT 388612 SOS 191688 HAS SOPS 191688 HAS SOUS 119594 HAS SOUPS 119594 WITH SCORE 119785.688
AT ITER 8095 NEW BEST:: SOT 388599 SOS 191675 HAS SOPS 191675 HAS SOUS 119581 HAS SOUPS 119581 WITH SCORE 119772.675
AT ITER 8098 NEW BEST:: SOT 388573 SOS 191803 HAS SOPS 191803 HAS SOUS 119577 HAS SOUPS 119577 WITH SCORE 119768.803
AT ITER 8157 NEW BEST:: SOT 388573 SOS 191795 HAS SOPS 191795 HAS SOUS 119577 HAS SOUPS 119577 WITH SCORE 119768.795
AT ITER 8172 NEW BEST:: SOT 388449 SOS 191680 HAS SOPS 191680 HAS SOUS 119549 HAS SOUPS 119549 WITH SCORE 119740.68
AT ITER 8182 NEW BEST:: SOT 388449 SOS 191498 HAS SOPS 191498 HAS SOUS 119549 HAS SOUPS 119549 WITH SCORE 119740.498
AT ITER 8197 NEW BEST:: SOT 388356 SOS 191334 HAS SOPS 191334 HAS SOUS 119363 HAS SOUPS 119363 WITH SCORE 119554.334
AT ITER 8200 NEW BEST:: SOT 388356 SOS 191334 HAS SOPS 191334 HAS SOUS 119362 HAS SOUPS 119362 WITH SCORE 119553.334
AT ITER 8222 NEW BEST:: SOT 388271 SOS 191249 HAS SOPS 191249 HAS SOUS 119362 HAS SOUPS 119362 WITH SCORE 119553.249
AT ITER 8223 NEW BEST:: SOT 388271 SOS 191213 HAS SOPS 191213 HAS SOUS 119362 HAS SOUPS 119362 WITH SCORE 119553.213
AT ITER 8254 NEW BEST:: SOT 388271 SOS 191122 HAS SOPS 191122 HAS SOUS 119362 HAS SOUPS 119362 WITH SCORE 119553.122
AT ITER 8283 NEW BEST:: SOT 388271 SOS 191096 HAS SOPS 191096 HAS SOUS 119336 HAS SOUPS 119336 WITH SCORE 119527.096
AT ITER 8310 NEW BEST:: SOT 388271 SOS 191150 HAS SOPS 191150 HAS SOUS 119330 HAS SOUPS 119330 WITH SCORE 119521.15
AT ITER 8311 NEW BEST:: SOT 388256 SOS 191134 HAS SOPS 191134 HAS SOUS 119314 HAS SOUPS 119314 WITH SCORE 119505.134
AT ITER 8317 NEW BEST:: SOT 388205 SOS 191363 HAS SOPS 191363 HAS SOUS 119289 HAS SOUPS 119289 WITH SCORE 119480.363
AT ITER 8319 NEW BEST:: SOT 388133 SOS 191331 HAS SOPS 191331 HAS SOUS 119105 HAS SOUPS 119105 WITH SCORE 119296.331
AT ITER 8350 NEW BEST:: SOT 388133 SOS 191323 HAS SOPS 191323 HAS SOUS 119105 HAS SOUPS 119105 WITH SCORE 119296.323
AT ITER 8354 NEW BEST:: SOT 388062 SOS 191306 HAS SOPS 191306 HAS SOUS 119082 HAS SOUPS 119082 WITH SCORE 119273.306
AT ITER 8367 NEW BEST:: SOT 388015 SOS 191259 HAS SOPS 191259 HAS SOUS 119060 HAS SOUPS 119060 WITH SCORE 119251.259
AT ITER 8413 NEW BEST:: SOT 388059 SOS 191303 HAS SOPS 191303 HAS SOUS 119041 HAS SOUPS 119041 WITH SCORE 119232.303
AT ITER 8421 NEW BEST:: SOT 388048 SOS 191939 HAS SOPS 191939 HAS SOUS 119019 HAS SOUPS 119019 WITH SCORE 119210.939
AT ITER 8424 NEW BEST:: SOT 388017 SOS 191939 HAS SOPS 191939 HAS SOUS 118988 HAS SOUPS 118988 WITH SCORE 119179.939
AT ITER 8428 NEW BEST:: SOT 388003 SOS 191923 HAS SOPS 191923 HAS SOUS 118958 HAS SOUPS 118958 WITH SCORE 119149.923
AT ITER 8463 NEW BEST:: SOT 387998 SOS 191918 HAS SOPS 191918 HAS SOUS 118948 HAS SOUPS 118948 WITH SCORE 119139.918
AT ITER 8468 NEW BEST:: SOT 387984 SOS 192130 HAS SOPS 192130 HAS SOUS 118920 HAS SOUPS 118920 WITH SCORE 119112.13
AT ITER 8507 NEW BEST:: SOT 387958 SOS 192283 HAS SOPS 192283 HAS SOUS 118868 HAS SOUPS 118868 WITH SCORE 119060.283
AT ITER 8520 NEW BEST:: SOT 387931 SOS 192275 HAS SOPS 192275 HAS SOUS 118811 HAS SOUPS 118811 WITH SCORE 119003.275
AT ITER 8533 NEW BEST:: SOT 387925 SOS 192269 HAS SOPS 192269 HAS SOUS 118805 HAS SOUPS 118805 WITH SCORE 118997.269
AT ITER 8535 NEW BEST:: SOT 387911 SOS 192242 HAS SOPS 192242 HAS SOUS 118792 HAS SOUPS 118792 WITH SCORE 118984.242
AT ITER 8562 NEW BEST:: SOT 387897 SOS 192228 HAS SOPS 192228 HAS SOUS 118778 HAS SOUPS 118778 WITH SCORE 118970.228
AT ITER 8612 NEW BEST:: SOT 387887 SOS 192218 HAS SOPS 192218 HAS SOUS 118760 HAS SOUPS 118760 WITH SCORE 118952.218
AT ITER 8634 NEW BEST:: SOT 387880 SOS 192218 HAS SOPS 192218 HAS SOUS 118746 HAS SOUPS 118746 WITH SCORE 118938.218
AT ITER 8647 NEW BEST:: SOT 387864 SOS 192202 HAS SOPS 192202 HAS SOUS 118746 HAS SOUPS 118746 WITH SCORE 118938.202
AT ITER 8695 NEW BEST:: SOT 387697 SOS 191676 HAS SOPS 191676 HAS SOUS 118387 HAS SOUPS 118387 WITH SCORE 118578.676
AT ITER 8738 NEW BEST:: SOT 387697 SOS 191676 HAS SOPS 191676 HAS SOUS 118361 HAS SOUPS 118361 WITH SCORE 118552.676
AT ITER 8774 NEW BEST:: SOT 387749 SOS 191728 HAS SOPS 191728 HAS SOUS 118325 HAS SOUPS 118325 WITH SCORE 118516.728
AT ITER 8789 NEW BEST:: SOT 387758 SOS 191526 HAS SOPS 191526 HAS SOUS 118312 HAS SOUPS 118312 WITH SCORE 118503.526
AT ITER 8793 NEW BEST:: SOT 387741 SOS 191544 HAS SOPS 191544 HAS SOUS 118295 HAS SOUPS 118295 WITH SCORE 118486.544
AT ITER 8812 NEW BEST:: SOT 387696 SOS 191496 HAS SOPS 191496 HAS SOUS 118230 HAS SOUPS 118230 WITH SCORE 118421.496
AT ITER 8816 NEW BEST:: SOT 387644 SOS 191461 HAS SOPS 191461 HAS SOUS 118143 HAS SOUPS 118143 WITH SCORE 118334.461
AT ITER 8822 NEW BEST:: SOT 387642 SOS 191457 HAS SOPS 191457 HAS SOUS 118139 HAS SOUPS 118139 WITH SCORE 118330.457
AT ITER 8888 NEW BEST:: SOT 387628 SOS 191443 HAS SOPS 191443 HAS SOUS 118111 HAS SOUPS 118111 WITH SCORE 118302.443
AT ITER 8906 NEW BEST:: SOT 387624 SOS 191431 HAS SOPS 191431 HAS SOUS 118103 HAS SOUPS 118103 WITH SCORE 118294.431
AT ITER 8919 NEW BEST:: SOT 387531 SOS 192057 HAS SOPS 192057 HAS SOUS 118036 HAS SOUPS 118036 WITH SCORE 118228.057
AT ITER 8923 NEW BEST:: SOT 387516 SOS 192042 HAS SOPS 192042 HAS SOUS 118025 HAS SOUPS 118025 WITH SCORE 118217.042
AT ITER 8933 NEW BEST:: SOT 387516 SOS 192042 HAS SOPS 192042 HAS SOUS 118015 HAS SOUPS 118015 WITH SCORE 118207.042
AT ITER 8937 NEW BEST:: SOT 387502 SOS 192730 HAS SOPS 192730 HAS SOUS 117987 HAS SOUPS 117987 WITH SCORE 118179.73
AT ITER 8938 NEW BEST:: SOT 387502 SOS 192523 HAS SOPS 192523 HAS SOUS 117987 HAS SOUPS 117987 WITH SCORE 118179.523
AT ITER 8947 NEW BEST:: SOT 387502 SOS 192508 HAS SOPS 192508 HAS SOUS 117972 HAS SOUPS 117972 WITH SCORE 118164.508
AT ITER 8956 NEW BEST:: SOT 387493 SOS 192971 HAS SOPS 192971 HAS SOUS 117954 HAS SOUPS 117954 WITH SCORE 118146.971
AT ITER 8988 NEW BEST:: SOT 387479 SOS 192957 HAS SOPS 192957 HAS SOUS 117926 HAS SOUPS 117926 WITH SCORE 118118.957
AT ITER 8996 NEW BEST:: SOT 387448 SOS 192927 HAS SOPS 192927 HAS SOUS 117894 HAS SOUPS 117894 WITH SCORE 118086.927
AT ITER 9038 NEW BEST:: SOT 387439 SOS 192918 HAS SOPS 192918 HAS SOUS 117876 HAS SOUPS 117876 WITH SCORE 118068.918
AT ITER 9058 NEW BEST:: SOT 387439 SOS 192907 HAS SOPS 192907 HAS SOUS 117876 HAS SOUPS 117876 WITH SCORE 118068.907
AT ITER 9061 NEW BEST:: SOT 387085 SOS 192619 HAS SOPS 192619 HAS SOUS 117569 HAS SOUPS 117569 WITH SCORE 117761.619
AT ITER 9080 NEW BEST:: SOT 387079 SOS 192489 HAS SOPS 192489 HAS SOUS 117538 HAS SOUPS 117538 WITH SCORE 117730.489
AT ITER 9098 NEW BEST:: SOT 387049 SOS 192459 HAS SOPS 192459 HAS SOUS 117508 HAS SOUPS 117508 WITH SCORE 117700.459
AT ITER 9101 NEW BEST:: SOT 386979 SOS 192301 HAS SOPS 192301 HAS SOUS 117456 HAS SOUPS 117456 WITH SCORE 117648.301
AT ITER 9107 NEW BEST:: SOT 386979 SOS 192301 HAS SOPS 192301 HAS SOUS 117402 HAS SOUPS 117402 WITH SCORE 117594.301
AT ITER 9182 NEW BEST:: SOT 386979 SOS 192378 HAS SOPS 192378 HAS SOUS 117393 HAS SOUPS 117393 WITH SCORE 117585.378
AT ITER 9241 NEW BEST:: SOT 386979 SOS 192368 HAS SOPS 192368 HAS SOUS 117393 HAS SOUPS 117393 WITH SCORE 117585.368
AT ITER 9256 NEW BEST:: SOT 386979 SOS 192361 HAS SOPS 192361 HAS SOUS 117386 HAS SOUPS 117386 WITH SCORE 117578.361
AT ITER 9266 NEW BEST:: SOT 387007 SOS 192388 HAS SOPS 192388 HAS SOUS 117380 HAS SOUPS 117380 WITH SCORE 117572.388
AT ITER 9302 NEW BEST:: SOT 387018 SOS 192399 HAS SOPS 192399 HAS SOUS 117373 HAS SOUPS 117373 WITH SCORE 117565.399
AT ITER 9328 NEW BEST:: SOT 387011 SOS 192424 HAS SOPS 192424 HAS SOUS 117370 HAS SOUPS 117370 WITH SCORE 117562.424
AT ITER 9362 NEW BEST:: SOT 387011 SOS 192214 HAS SOPS 192214 HAS SOUS 117370 HAS SOUPS 117370 WITH SCORE 117562.214
AT ITER 9363 NEW BEST:: SOT 387062 SOS 192265 HAS SOPS 192265 HAS SOUS 117368 HAS SOUPS 117368 WITH SCORE 117560.265
AT ITER 9373 NEW BEST:: SOT 387052 SOS 192255 HAS SOPS 192255 HAS SOUS 117348 HAS SOUPS 117348 WITH SCORE 117540.255
AT ITER 9419 NEW BEST:: SOT 387042 SOS 192245 HAS SOPS 192245 HAS SOUS 117338 HAS SOUPS 117338 WITH SCORE 117530.245
AT ITER 9424 NEW BEST:: SOT 387042 SOS 192210 HAS SOPS 192210 HAS SOUS 117338 HAS SOUPS 117338 WITH SCORE 117530.21
AT ITER 9431 NEW BEST:: SOT 387040 SOS 192220 HAS SOPS 192220 HAS SOUS 117336 HAS SOUPS 117336 WITH SCORE 117528.22
AT ITER 9456 NEW BEST:: SOT 387023 SOS 192234 HAS SOPS 192234 HAS SOUS 117283 HAS SOUPS 117283 WITH SCORE 117475.234
AT ITER 9459 NEW BEST:: SOT 386984 SOS 192253 HAS SOPS 192253 HAS SOUS 117205 HAS SOUPS 117205 WITH SCORE 117397.253
AT ITER 9466 NEW BEST:: SOT 386984 SOS 192193 HAS SOPS 192193 HAS SOUS 117205 HAS SOUPS 117205 WITH SCORE 117397.193
AT ITER 9486 NEW BEST:: SOT 386980 SOS 192189 HAS SOPS 192189 HAS SOUS 117203 HAS SOUPS 117203 WITH SCORE 117395.189
AT ITER 9496 NEW BEST:: SOT 386980 SOS 192029 HAS SOPS 192029 HAS SOUS 117203 HAS SOUPS 117203 WITH SCORE 117395.029
AT ITER 9512 NEW BEST:: SOT 386770 SOS 194203 HAS SOPS 194203 HAS SOUS 116892 HAS SOUPS 116892 WITH SCORE 117086.203
AT ITER 9513 NEW BEST:: SOT 386743 SOS 194176 HAS SOPS 194176 HAS SOUS 116865 HAS SOUPS 116865 WITH SCORE 117059.176
AT ITER 9535 NEW BEST:: SOT 386743 SOS 194157 HAS SOPS 194157 HAS SOUS 116846 HAS SOUPS 116846 WITH SCORE 117040.157
AT ITER 9540 NEW BEST:: SOT 386743 SOS 194157 HAS SOPS 194157 HAS SOUS 116823 HAS SOUPS 116823 WITH SCORE 117017.157
AT ITER 9582 NEW BEST:: SOT 386743 SOS 194157 HAS SOPS 194157 HAS SOUS 116723 HAS SOUPS 116723 WITH SCORE 116917.157
AT ITER 9632 NEW BEST:: SOT 386567 SOS 194057 HAS SOPS 194057 HAS SOUS 116623 HAS SOUPS 116623 WITH SCORE 116817.057
AT ITER 9659 NEW BEST:: SOT 386554 SOS 194031 HAS SOPS 194031 HAS SOUS 116597 HAS SOUPS 116597 WITH SCORE 116791.031
AT ITER 9663 NEW BEST:: SOT 386491 SOS 193968 HAS SOPS 193968 HAS SOUS 116534 HAS SOUPS 116534 WITH SCORE 116727.968
AT ITER 9679 NEW BEST:: SOT 386508 SOS 193960 HAS SOPS 193960 HAS SOUS 116521 HAS SOUPS 116521 WITH SCORE 116714.96
AT ITER 9693 NEW BEST:: SOT 386508 SOS 193939 HAS SOPS 193939 HAS SOUS 116521 HAS SOUPS 116521 WITH SCORE 116714.939
AT ITER 9702 NEW BEST:: SOT 386499 SOS 193930 HAS SOPS 193930 HAS SOUS 116519 HAS SOUPS 116519 WITH SCORE 116712.93
AT ITER 9703 NEW BEST:: SOT 386479 SOS 193974 HAS SOPS 193974 HAS SOUS 116507 HAS SOUPS 116507 WITH SCORE 116700.974
AT ITER 9707 NEW BEST:: SOT 386472 SOS 194004 HAS SOPS 194004 HAS SOUS 116493 HAS SOUPS 116493 WITH SCORE 116687.004
AT ITER 9778 NEW BEST:: SOT 386383 SOS 193915 HAS SOPS 193915 HAS SOUS 116404 HAS SOUPS 116404 WITH SCORE 116597.915
AT ITER 9798 NEW BEST:: SOT 386383 SOS 193910 HAS SOPS 193910 HAS SOUS 116404 HAS SOUPS 116404 WITH SCORE 116597.91
AT ITER 9833 NEW BEST:: SOT 386372 SOS 193987 HAS SOPS 193987 HAS SOUS 116382 HAS SOUPS 116382 WITH SCORE 116575.987
AT ITER 9834 NEW BEST:: SOT 386372 SOS 193840 HAS SOPS 193840 HAS SOUS 116357 HAS SOUPS 116357 WITH SCORE 116550.84
AT ITER 9842 NEW BEST:: SOT 386365 SOS 193805 HAS SOPS 193805 HAS SOUS 116317 HAS SOUPS 116317 WITH SCORE 116510.805
AT ITER 9848 NEW BEST:: SOT 386365 SOS 193805 HAS SOPS 193805 HAS SOUS 116313 HAS SOUPS 116313 WITH SCORE 116506.805
AT ITER 9878 NEW BEST:: SOT 386337 SOS 193777 HAS SOPS 193777 HAS SOUS 116285 HAS SOUPS 116285 WITH SCORE 116478.777
AT ITER 9900 NEW BEST:: SOT 386315 SOS 192606 HAS SOPS 192606 HAS SOUS 116273 HAS SOUPS 116273 WITH SCORE 116465.606
AT ITER 9924 NEW BEST:: SOT 386193 SOS 192515 HAS SOPS 192515 HAS SOUS 116244 HAS SOUPS 116244 WITH SCORE 116436.515
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13598884 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119596 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="DatabaseWithMutex-PT-10"
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 DatabaseWithMutex-PT-10, 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 r107-tall-167814485101080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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