Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697000544.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 16:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 146K 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 1678792417267

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=BusinessProcesses-PT-12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:13:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:13:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:13:40] [INFO ] Load time of PNML (sax parser for PT used): 102 ms
[2023-03-14 11:13:40] [INFO ] Transformed 586 places.
[2023-03-14 11:13:40] [INFO ] Transformed 525 transitions.
[2023-03-14 11:13:40] [INFO ] Found NUPN structural information;
[2023-03-14 11:13:40] [INFO ] Parsed PT model containing 586 places and 525 transitions and 1560 arcs in 337 ms.
[2023-03-14 11:13:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 586 places, 525 transitions and 1560 arcs took 17 ms.
Total runtime 611 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 12
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: 586 places, 525 transitions, 1560 arcs.
AT ITER 0 NEW BEST:: SOT 194501 SOS 75360 HAS SOPS 75360 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73372.36
AT ITER 26 NEW BEST:: SOT 194494 SOS 75063 HAS SOPS 75063 HAS SOUS 73102 HAS SOUPS 73102 WITH SCORE 73177.063
AT ITER 33 NEW BEST:: SOT 194494 SOS 74978 HAS SOPS 74978 HAS SOUS 73017 HAS SOUPS 73017 WITH SCORE 73091.978
AT ITER 36 NEW BEST:: SOT 194494 SOS 74928 HAS SOPS 74928 HAS SOUS 72967 HAS SOUPS 72967 WITH SCORE 73041.928
AT ITER 41 NEW BEST:: SOT 194494 SOS 74854 HAS SOPS 74854 HAS SOUS 72893 HAS SOUPS 72893 WITH SCORE 72967.854
AT ITER 44 NEW BEST:: SOT 194476 SOS 74836 HAS SOPS 74836 HAS SOUS 72875 HAS SOUPS 72875 WITH SCORE 72949.836
AT ITER 46 NEW BEST:: SOT 194476 SOS 74747 HAS SOPS 74747 HAS SOUS 72786 HAS SOUPS 72786 WITH SCORE 72860.747
AT ITER 49 NEW BEST:: SOT 194308 SOS 74642 HAS SOPS 74642 HAS SOUS 72681 HAS SOUPS 72681 WITH SCORE 72755.642
AT ITER 67 NEW BEST:: SOT 194262 SOS 74663 HAS SOPS 74663 HAS SOUS 72601 HAS SOUPS 72601 WITH SCORE 72675.663
AT ITER 73 NEW BEST:: SOT 194261 SOS 74662 HAS SOPS 74662 HAS SOUS 72600 HAS SOUPS 72600 WITH SCORE 72674.662
AT ITER 77 NEW BEST:: SOT 194160 SOS 74534 HAS SOPS 74534 HAS SOUS 72472 HAS SOUPS 72472 WITH SCORE 72546.534
AT ITER 86 NEW BEST:: SOT 194286 SOS 74656 HAS SOPS 74656 HAS SOUS 72467 HAS SOUPS 72467 WITH SCORE 72541.656
AT ITER 87 NEW BEST:: SOT 193678 SOS 75877 HAS SOPS 75877 HAS SOUS 72428 HAS SOUPS 72428 WITH SCORE 72503.877
AT ITER 92 NEW BEST:: SOT 193593 SOS 75707 HAS SOPS 75707 HAS SOUS 72343 HAS SOUPS 72343 WITH SCORE 72418.707
AT ITER 99 NEW BEST:: SOT 193591 SOS 75600 HAS SOPS 75600 HAS SOUS 72236 HAS SOUPS 72236 WITH SCORE 72311.6
AT ITER 106 NEW BEST:: SOT 193591 SOS 75569 HAS SOPS 75569 HAS SOUS 72222 HAS SOUPS 72222 WITH SCORE 72297.569
AT ITER 112 NEW BEST:: SOT 193590 SOS 75451 HAS SOPS 75451 HAS SOUS 72104 HAS SOUPS 72104 WITH SCORE 72179.451
AT ITER 129 NEW BEST:: SOT 193590 SOS 75413 HAS SOPS 75413 HAS SOUS 72066 HAS SOUPS 72066 WITH SCORE 72141.413
AT ITER 130 NEW BEST:: SOT 193590 SOS 75366 HAS SOPS 75366 HAS SOUS 72019 HAS SOUPS 72019 WITH SCORE 72094.366
AT ITER 133 NEW BEST:: SOT 193590 SOS 75311 HAS SOPS 75311 HAS SOUS 71964 HAS SOUPS 71964 WITH SCORE 72039.311
AT ITER 137 NEW BEST:: SOT 193486 SOS 75103 HAS SOPS 75103 HAS SOUS 71860 HAS SOUPS 71860 WITH SCORE 71935.103
AT ITER 143 NEW BEST:: SOT 193341 SOS 75013 HAS SOPS 75013 HAS SOUS 71770 HAS SOUPS 71770 WITH SCORE 71845.013
AT ITER 165 NEW BEST:: SOT 191111 SOS 73651 HAS SOPS 73651 HAS SOUS 69582 HAS SOUPS 69582 WITH SCORE 69655.651
AT ITER 168 NEW BEST:: SOT 191111 SOS 73617 HAS SOPS 73617 HAS SOUS 69548 HAS SOUPS 69548 WITH SCORE 69621.617
AT ITER 169 NEW BEST:: SOT 191084 SOS 73563 HAS SOPS 73563 HAS SOUS 69519 HAS SOUPS 69519 WITH SCORE 69592.563
AT ITER 179 NEW BEST:: SOT 191083 SOS 73561 HAS SOPS 73561 HAS SOUS 69517 HAS SOUPS 69517 WITH SCORE 69590.561
AT ITER 180 NEW BEST:: SOT 191038 SOS 73508 HAS SOPS 73508 HAS SOUS 69464 HAS SOUPS 69464 WITH SCORE 69537.508
AT ITER 182 NEW BEST:: SOT 191036 SOS 73506 HAS SOPS 73506 HAS SOUS 69462 HAS SOUPS 69462 WITH SCORE 69535.506
AT ITER 186 NEW BEST:: SOT 191036 SOS 73386 HAS SOPS 73386 HAS SOUS 69342 HAS SOUPS 69342 WITH SCORE 69415.386
AT ITER 187 NEW BEST:: SOT 191076 SOS 73166 HAS SOPS 73166 HAS SOUS 69122 HAS SOUPS 69122 WITH SCORE 69195.166
AT ITER 191 NEW BEST:: SOT 191020 SOS 73082 HAS SOPS 73082 HAS SOUS 69038 HAS SOUPS 69038 WITH SCORE 69111.082
AT ITER 195 NEW BEST:: SOT 190872 SOS 72877 HAS SOPS 72877 HAS SOUS 68833 HAS SOUPS 68833 WITH SCORE 68905.877
AT ITER 204 NEW BEST:: SOT 190674 SOS 72649 HAS SOPS 72649 HAS SOUS 68605 HAS SOUPS 68605 WITH SCORE 68677.649
AT ITER 206 NEW BEST:: SOT 190674 SOS 72630 HAS SOPS 72630 HAS SOUS 68586 HAS SOUPS 68586 WITH SCORE 68658.63
AT ITER 207 NEW BEST:: SOT 190430 SOS 72496 HAS SOPS 72496 HAS SOUS 68428 HAS SOUPS 68428 WITH SCORE 68500.496
AT ITER 217 NEW BEST:: SOT 190340 SOS 72316 HAS SOPS 72316 HAS SOUS 68248 HAS SOUPS 68248 WITH SCORE 68320.316
AT ITER 226 NEW BEST:: SOT 190318 SOS 72250 HAS SOPS 72250 HAS SOUS 68204 HAS SOUPS 68204 WITH SCORE 68276.25
AT ITER 228 NEW BEST:: SOT 190318 SOS 72245 HAS SOPS 72245 HAS SOUS 68199 HAS SOUPS 68199 WITH SCORE 68271.245
AT ITER 233 NEW BEST:: SOT 190314 SOS 72237 HAS SOPS 72237 HAS SOUS 68191 HAS SOUPS 68191 WITH SCORE 68263.237
AT ITER 235 NEW BEST:: SOT 190170 SOS 71988 HAS SOPS 71988 HAS SOUS 67942 HAS SOUPS 67942 WITH SCORE 68013.988
AT ITER 241 NEW BEST:: SOT 190188 SOS 71960 HAS SOPS 71960 HAS SOUS 67914 HAS SOUPS 67914 WITH SCORE 67985.96
AT ITER 257 NEW BEST:: SOT 190182 SOS 71948 HAS SOPS 71948 HAS SOUS 67902 HAS SOUPS 67902 WITH SCORE 67973.948
AT ITER 266 NEW BEST:: SOT 190182 SOS 71897 HAS SOPS 71897 HAS SOUS 67851 HAS SOUPS 67851 WITH SCORE 67922.897
AT ITER 283 NEW BEST:: SOT 190032 SOS 71798 HAS SOPS 71798 HAS SOUS 67752 HAS SOUPS 67752 WITH SCORE 67823.798
AT ITER 292 NEW BEST:: SOT 189990 SOS 71535 HAS SOPS 71535 HAS SOUS 67531 HAS SOUPS 67531 WITH SCORE 67602.535
AT ITER 301 NEW BEST:: SOT 189891 SOS 71435 HAS SOPS 71435 HAS SOUS 67431 HAS SOUPS 67431 WITH SCORE 67502.435
AT ITER 303 NEW BEST:: SOT 189889 SOS 71431 HAS SOPS 71431 HAS SOUS 67427 HAS SOUPS 67427 WITH SCORE 67498.431
AT ITER 305 NEW BEST:: SOT 189740 SOS 71259 HAS SOPS 71259 HAS SOUS 67255 HAS SOUPS 67255 WITH SCORE 67326.259
AT ITER 307 NEW BEST:: SOT 189727 SOS 71233 HAS SOPS 71233 HAS SOUS 67229 HAS SOUPS 67229 WITH SCORE 67300.233
AT ITER 330 NEW BEST:: SOT 189576 SOS 70918 HAS SOPS 70918 HAS SOUS 66914 HAS SOUPS 66914 WITH SCORE 66984.918
AT ITER 331 NEW BEST:: SOT 189502 SOS 70770 HAS SOPS 70770 HAS SOUS 66766 HAS SOUPS 66766 WITH SCORE 66836.77
AT ITER 333 NEW BEST:: SOT 189416 SOS 70686 HAS SOPS 70686 HAS SOUS 66679 HAS SOUPS 66679 WITH SCORE 66749.686
AT ITER 346 NEW BEST:: SOT 189548 SOS 70640 HAS SOPS 70640 HAS SOUS 66633 HAS SOUPS 66633 WITH SCORE 66703.64
AT ITER 347 NEW BEST:: SOT 189516 SOS 70518 HAS SOPS 70518 HAS SOUS 66511 HAS SOUPS 66511 WITH SCORE 66581.518
AT ITER 351 NEW BEST:: SOT 187288 SOS 69266 HAS SOPS 69266 HAS SOUS 64374 HAS SOUPS 64374 WITH SCORE 64443.266
AT ITER 353 NEW BEST:: SOT 181556 SOS 75331 HAS SOPS 75331 HAS SOUS 59259 HAS SOUPS 59259 WITH SCORE 59334.331
AT ITER 360 NEW BEST:: SOT 181519 SOS 75294 HAS SOPS 75294 HAS SOUS 59230 HAS SOUPS 59230 WITH SCORE 59305.294
AT ITER 372 NEW BEST:: SOT 181454 SOS 75211 HAS SOPS 75211 HAS SOUS 59165 HAS SOUPS 59165 WITH SCORE 59240.211
AT ITER 383 NEW BEST:: SOT 181367 SOS 75049 HAS SOPS 75049 HAS SOUS 59003 HAS SOUPS 59003 WITH SCORE 59078.049
AT ITER 384 NEW BEST:: SOT 181269 SOS 74927 HAS SOPS 74927 HAS SOUS 58955 HAS SOUPS 58955 WITH SCORE 59029.927
AT ITER 385 NEW BEST:: SOT 181247 SOS 74888 HAS SOPS 74888 HAS SOUS 58933 HAS SOUPS 58933 WITH SCORE 59007.888
AT ITER 387 NEW BEST:: SOT 181278 SOS 74885 HAS SOPS 74885 HAS SOUS 58930 HAS SOUPS 58930 WITH SCORE 59004.885
AT ITER 389 NEW BEST:: SOT 181278 SOS 74846 HAS SOPS 74846 HAS SOUS 58891 HAS SOUPS 58891 WITH SCORE 58965.846
AT ITER 417 NEW BEST:: SOT 181137 SOS 74710 HAS SOPS 74710 HAS SOUS 58755 HAS SOUPS 58755 WITH SCORE 58829.71
AT ITER 420 NEW BEST:: SOT 181098 SOS 74670 HAS SOPS 74670 HAS SOUS 58715 HAS SOUPS 58715 WITH SCORE 58789.67
AT ITER 428 NEW BEST:: SOT 181098 SOS 74616 HAS SOPS 74616 HAS SOUS 58661 HAS SOUPS 58661 WITH SCORE 58735.616
AT ITER 447 NEW BEST:: SOT 181108 SOS 74587 HAS SOPS 74587 HAS SOUS 58632 HAS SOUPS 58632 WITH SCORE 58706.587
AT ITER 460 NEW BEST:: SOT 180966 SOS 74442 HAS SOPS 74442 HAS SOUS 58558 HAS SOUPS 58558 WITH SCORE 58632.442
AT ITER 484 NEW BEST:: SOT 180964 SOS 74366 HAS SOPS 74366 HAS SOUS 58529 HAS SOUPS 58529 WITH SCORE 58603.366
AT ITER 500 NEW BEST:: SOT 180800 SOS 74038 HAS SOPS 74038 HAS SOUS 58374 HAS SOUPS 58374 WITH SCORE 58448.038
AT ITER 504 NEW BEST:: SOT 180800 SOS 74029 HAS SOPS 74029 HAS SOUS 58365 HAS SOUPS 58365 WITH SCORE 58439.029
AT ITER 506 NEW BEST:: SOT 180800 SOS 73971 HAS SOPS 73971 HAS SOUS 58307 HAS SOUPS 58307 WITH SCORE 58380.971
AT ITER 508 NEW BEST:: SOT 180790 SOS 73980 HAS SOPS 73980 HAS SOUS 58296 HAS SOUPS 58296 WITH SCORE 58369.98
AT ITER 516 NEW BEST:: SOT 180688 SOS 73488 HAS SOPS 73488 HAS SOUS 58193 HAS SOUPS 58193 WITH SCORE 58266.488
AT ITER 530 NEW BEST:: SOT 180651 SOS 73414 HAS SOPS 73414 HAS SOUS 58119 HAS SOUPS 58119 WITH SCORE 58192.414
AT ITER 540 NEW BEST:: SOT 180653 SOS 73347 HAS SOPS 73347 HAS SOUS 58052 HAS SOUPS 58052 WITH SCORE 58125.347
AT ITER 544 NEW BEST:: SOT 180627 SOS 73079 HAS SOPS 73079 HAS SOUS 57880 HAS SOUPS 57880 WITH SCORE 57953.079
AT ITER 552 NEW BEST:: SOT 180591 SOS 73007 HAS SOPS 73007 HAS SOUS 57808 HAS SOUPS 57808 WITH SCORE 57881.007
AT ITER 563 NEW BEST:: SOT 180590 SOS 73005 HAS SOPS 73005 HAS SOUS 57806 HAS SOUPS 57806 WITH SCORE 57879.005
AT ITER 568 NEW BEST:: SOT 180425 SOS 72839 HAS SOPS 72839 HAS SOUS 57640 HAS SOUPS 57640 WITH SCORE 57712.839
AT ITER 574 NEW BEST:: SOT 180326 SOS 72641 HAS SOPS 72641 HAS SOUS 57259 HAS SOUPS 57259 WITH SCORE 57331.641
AT ITER 586 NEW BEST:: SOT 180298 SOS 72585 HAS SOPS 72585 HAS SOUS 57246 HAS SOUPS 57246 WITH SCORE 57318.585
AT ITER 587 NEW BEST:: SOT 180282 SOS 72641 HAS SOPS 72641 HAS SOUS 57214 HAS SOUPS 57214 WITH SCORE 57286.641
AT ITER 589 NEW BEST:: SOT 180064 SOS 72310 HAS SOPS 72310 HAS SOUS 56992 HAS SOUPS 56992 WITH SCORE 57064.31
AT ITER 596 NEW BEST:: SOT 180067 SOS 72272 HAS SOPS 72272 HAS SOUS 56951 HAS SOUPS 56951 WITH SCORE 57023.272
AT ITER 601 NEW BEST:: SOT 180058 SOS 72254 HAS SOPS 72254 HAS SOUS 56933 HAS SOUPS 56933 WITH SCORE 57005.254
AT ITER 605 NEW BEST:: SOT 180075 SOS 72261 HAS SOPS 72261 HAS SOUS 56812 HAS SOUPS 56812 WITH SCORE 56884.261
AT ITER 610 NEW BEST:: SOT 180059 SOS 72229 HAS SOPS 72229 HAS SOUS 56780 HAS SOUPS 56780 WITH SCORE 56852.229
AT ITER 621 NEW BEST:: SOT 177478 SOS 71459 HAS SOPS 71459 HAS SOUS 54465 HAS SOUPS 54465 WITH SCORE 54536.459
AT ITER 622 NEW BEST:: SOT 177514 SOS 71449 HAS SOPS 71449 HAS SOUS 54455 HAS SOUPS 54455 WITH SCORE 54526.449
AT ITER 631 NEW BEST:: SOT 177514 SOS 71357 HAS SOPS 71357 HAS SOUS 54363 HAS SOUPS 54363 WITH SCORE 54434.357
AT ITER 647 NEW BEST:: SOT 177466 SOS 71309 HAS SOPS 71309 HAS SOUS 54315 HAS SOUPS 54315 WITH SCORE 54386.309
AT ITER 655 NEW BEST:: SOT 177431 SOS 71239 HAS SOPS 71239 HAS SOUS 54245 HAS SOUPS 54245 WITH SCORE 54316.239
AT ITER 658 NEW BEST:: SOT 177260 SOS 70889 HAS SOPS 70889 HAS SOUS 53895 HAS SOUPS 53895 WITH SCORE 53965.889
AT ITER 660 NEW BEST:: SOT 177206 SOS 70781 HAS SOPS 70781 HAS SOUS 53814 HAS SOUPS 53814 WITH SCORE 53884.781
AT ITER 668 NEW BEST:: SOT 177206 SOS 70781 HAS SOPS 70781 HAS SOUS 53788 HAS SOUPS 53788 WITH SCORE 53858.781
AT ITER 673 NEW BEST:: SOT 177307 SOS 70718 HAS SOPS 70718 HAS SOUS 53686 HAS SOUPS 53686 WITH SCORE 53756.718
AT ITER 678 NEW BEST:: SOT 177308 SOS 70693 HAS SOPS 70693 HAS SOUS 53661 HAS SOUPS 53661 WITH SCORE 53731.693
AT ITER 679 NEW BEST:: SOT 177308 SOS 70616 HAS SOPS 70616 HAS SOUS 53661 HAS SOUPS 53661 WITH SCORE 53731.616
AT ITER 681 NEW BEST:: SOT 177219 SOS 70527 HAS SOPS 70527 HAS SOUS 53661 HAS SOUPS 53661 WITH SCORE 53731.527
AT ITER 697 NEW BEST:: SOT 177177 SOS 70508 HAS SOPS 70508 HAS SOUS 53642 HAS SOUPS 53642 WITH SCORE 53712.508
AT ITER 710 NEW BEST:: SOT 177174 SOS 70492 HAS SOPS 70492 HAS SOUS 53626 HAS SOUPS 53626 WITH SCORE 53696.492
AT ITER 717 NEW BEST:: SOT 177074 SOS 70392 HAS SOPS 70392 HAS SOUS 53526 HAS SOUPS 53526 WITH SCORE 53596.392
AT ITER 728 NEW BEST:: SOT 177006 SOS 70235 HAS SOPS 70235 HAS SOUS 53369 HAS SOUPS 53369 WITH SCORE 53439.235
AT ITER 730 NEW BEST:: SOT 177008 SOS 70230 HAS SOPS 70230 HAS SOUS 53364 HAS SOUPS 53364 WITH SCORE 53434.23
AT ITER 733 NEW BEST:: SOT 177046 SOS 70207 HAS SOPS 70207 HAS SOUS 53341 HAS SOUPS 53341 WITH SCORE 53411.207
AT ITER 737 NEW BEST:: SOT 176967 SOS 69845 HAS SOPS 69845 HAS SOUS 53074 HAS SOUPS 53074 WITH SCORE 53143.845
AT ITER 741 NEW BEST:: SOT 176967 SOS 69801 HAS SOPS 69801 HAS SOUS 53073 HAS SOUPS 53073 WITH SCORE 53142.801
AT ITER 745 NEW BEST:: SOT 176966 SOS 69788 HAS SOPS 69788 HAS SOUS 53060 HAS SOUPS 53060 WITH SCORE 53129.788
AT ITER 763 NEW BEST:: SOT 176951 SOS 69773 HAS SOPS 69773 HAS SOUS 53045 HAS SOUPS 53045 WITH SCORE 53114.773
AT ITER 764 NEW BEST:: SOT 176898 SOS 69667 HAS SOPS 69667 HAS SOUS 53017 HAS SOUPS 53017 WITH SCORE 53086.667
AT ITER 783 NEW BEST:: SOT 176898 SOS 69632 HAS SOPS 69632 HAS SOUS 52982 HAS SOUPS 52982 WITH SCORE 53051.632
AT ITER 808 NEW BEST:: SOT 176818 SOS 69472 HAS SOPS 69472 HAS SOUS 52822 HAS SOUPS 52822 WITH SCORE 52891.472
AT ITER 816 NEW BEST:: SOT 176761 SOS 68671 HAS SOPS 68671 HAS SOUS 52773 HAS SOUPS 52773 WITH SCORE 52841.671
AT ITER 835 NEW BEST:: SOT 176760 SOS 68670 HAS SOPS 68670 HAS SOUS 52772 HAS SOUPS 52772 WITH SCORE 52840.67
AT ITER 843 NEW BEST:: SOT 176743 SOS 68636 HAS SOPS 68636 HAS SOUS 52759 HAS SOUPS 52759 WITH SCORE 52827.636
AT ITER 844 NEW BEST:: SOT 176538 SOS 68226 HAS SOPS 68226 HAS SOUS 52508 HAS SOUPS 52508 WITH SCORE 52576.226
AT ITER 849 NEW BEST:: SOT 176443 SOS 68158 HAS SOPS 68158 HAS SOUS 52440 HAS SOUPS 52440 WITH SCORE 52508.158
AT ITER 850 NEW BEST:: SOT 176436 SOS 68144 HAS SOPS 68144 HAS SOUS 52426 HAS SOUPS 52426 WITH SCORE 52494.144
AT ITER 885 NEW BEST:: SOT 176436 SOS 68086 HAS SOPS 68086 HAS SOUS 52397 HAS SOUPS 52397 WITH SCORE 52465.086
AT ITER 892 NEW BEST:: SOT 176379 SOS 67972 HAS SOPS 67972 HAS SOUS 52283 HAS SOUPS 52283 WITH SCORE 52350.972
AT ITER 893 NEW BEST:: SOT 176396 SOS 67911 HAS SOPS 67911 HAS SOUS 52222 HAS SOUPS 52222 WITH SCORE 52289.911
AT ITER 909 NEW BEST:: SOT 176318 SOS 67833 HAS SOPS 67833 HAS SOUS 52158 HAS SOUPS 52158 WITH SCORE 52225.833
AT ITER 911 NEW BEST:: SOT 176294 SOS 67797 HAS SOPS 67797 HAS SOUS 52134 HAS SOUPS 52134 WITH SCORE 52201.797
AT ITER 914 NEW BEST:: SOT 176289 SOS 67792 HAS SOPS 67792 HAS SOUS 52129 HAS SOUPS 52129 WITH SCORE 52196.792
AT ITER 922 NEW BEST:: SOT 176247 SOS 67708 HAS SOPS 67708 HAS SOUS 52045 HAS SOUPS 52045 WITH SCORE 52112.708
AT ITER 924 NEW BEST:: SOT 176244 SOS 67692 HAS SOPS 67692 HAS SOUS 52029 HAS SOUPS 52029 WITH SCORE 52096.692
AT ITER 929 NEW BEST:: SOT 176145 SOS 67768 HAS SOPS 67768 HAS SOUS 51912 HAS SOUPS 51912 WITH SCORE 51979.768
AT ITER 957 NEW BEST:: SOT 176039 SOS 67556 HAS SOPS 67556 HAS SOUS 51700 HAS SOUPS 51700 WITH SCORE 51767.556
AT ITER 974 NEW BEST:: SOT 176038 SOS 67459 HAS SOPS 67459 HAS SOUS 51698 HAS SOUPS 51698 WITH SCORE 51765.459
AT ITER 981 NEW BEST:: SOT 176002 SOS 67347 HAS SOPS 67347 HAS SOUS 51617 HAS SOUPS 51617 WITH SCORE 51684.347
AT ITER 982 NEW BEST:: SOT 175973 SOS 67289 HAS SOPS 67289 HAS SOUS 51559 HAS SOUPS 51559 WITH SCORE 51626.289
AT ITER 1011 NEW BEST:: SOT 175969 SOS 67277 HAS SOPS 67277 HAS SOUS 51551 HAS SOUPS 51551 WITH SCORE 51618.277
AT ITER 1012 NEW BEST:: SOT 175967 SOS 67275 HAS SOPS 67275 HAS SOUS 51549 HAS SOUPS 51549 WITH SCORE 51616.275
AT ITER 1017 NEW BEST:: SOT 175832 SOS 67048 HAS SOPS 67048 HAS SOUS 51452 HAS SOUPS 51452 WITH SCORE 51519.048
AT ITER 1019 NEW BEST:: SOT 175807 SOS 66998 HAS SOPS 66998 HAS SOUS 51427 HAS SOUPS 51427 WITH SCORE 51493.998
AT ITER 1020 NEW BEST:: SOT 175802 SOS 66995 HAS SOPS 66995 HAS SOUS 51424 HAS SOUPS 51424 WITH SCORE 51490.995
AT ITER 1045 NEW BEST:: SOT 175773 SOS 67039 HAS SOPS 67039 HAS SOUS 51395 HAS SOUPS 51395 WITH SCORE 51462.039
AT ITER 1049 NEW BEST:: SOT 175724 SOS 66990 HAS SOPS 66990 HAS SOUS 51375 HAS SOUPS 51375 WITH SCORE 51441.99
AT ITER 1064 NEW BEST:: SOT 175762 SOS 66924 HAS SOPS 66924 HAS SOUS 51254 HAS SOUPS 51254 WITH SCORE 51320.924
AT ITER 1073 NEW BEST:: SOT 175721 SOS 66882 HAS SOPS 66882 HAS SOUS 51212 HAS SOUPS 51212 WITH SCORE 51278.882
AT ITER 1107 NEW BEST:: SOT 175723 SOS 66886 HAS SOPS 66886 HAS SOUS 51199 HAS SOUPS 51199 WITH SCORE 51265.886
AT ITER 1110 NEW BEST:: SOT 175669 SOS 66832 HAS SOPS 66832 HAS SOUS 51145 HAS SOUPS 51145 WITH SCORE 51211.832
AT ITER 1117 NEW BEST:: SOT 175669 SOS 66810 HAS SOPS 66810 HAS SOUS 51101 HAS SOUPS 51101 WITH SCORE 51167.81
AT ITER 1119 NEW BEST:: SOT 175642 SOS 66729 HAS SOPS 66729 HAS SOUS 51047 HAS SOUPS 51047 WITH SCORE 51113.729
AT ITER 1121 NEW BEST:: SOT 175642 SOS 66601 HAS SOPS 66601 HAS SOUS 50996 HAS SOUPS 50996 WITH SCORE 51062.601
AT ITER 1126 NEW BEST:: SOT 175713 SOS 66596 HAS SOPS 66596 HAS SOUS 50991 HAS SOUPS 50991 WITH SCORE 51057.596
AT ITER 1134 NEW BEST:: SOT 175651 SOS 66533 HAS SOPS 66533 HAS SOUS 50989 HAS SOUPS 50989 WITH SCORE 51055.533
AT ITER 1135 NEW BEST:: SOT 175632 SOS 66512 HAS SOPS 66512 HAS SOUS 50989 HAS SOUPS 50989 WITH SCORE 51055.512
AT ITER 1140 NEW BEST:: SOT 175632 SOS 66474 HAS SOPS 66474 HAS SOUS 50968 HAS SOUPS 50968 WITH SCORE 51034.474
AT ITER 1141 NEW BEST:: SOT 175600 SOS 66410 HAS SOPS 66410 HAS SOUS 50904 HAS SOUPS 50904 WITH SCORE 50970.41
AT ITER 1144 NEW BEST:: SOT 175504 SOS 66332 HAS SOPS 66332 HAS SOUS 50837 HAS SOUPS 50837 WITH SCORE 50903.332
AT ITER 1154 NEW BEST:: SOT 175397 SOS 66183 HAS SOPS 66183 HAS SOUS 50688 HAS SOUPS 50688 WITH SCORE 50754.183
AT ITER 1159 NEW BEST:: SOT 175366 SOS 66152 HAS SOPS 66152 HAS SOUS 50657 HAS SOUPS 50657 WITH SCORE 50723.152
AT ITER 1160 NEW BEST:: SOT 175388 SOS 66255 HAS SOPS 66255 HAS SOUS 50568 HAS SOUPS 50568 WITH SCORE 50634.255
AT ITER 1167 NEW BEST:: SOT 175413 SOS 66231 HAS SOPS 66231 HAS SOUS 50544 HAS SOUPS 50544 WITH SCORE 50610.231
AT ITER 1203 NEW BEST:: SOT 175342 SOS 66088 HAS SOPS 66088 HAS SOUS 50502 HAS SOUPS 50502 WITH SCORE 50568.088
AT ITER 1211 NEW BEST:: SOT 175250 SOS 65829 HAS SOPS 65829 HAS SOUS 50381 HAS SOUPS 50381 WITH SCORE 50446.829
AT ITER 1242 NEW BEST:: SOT 175227 SOS 65722 HAS SOPS 65722 HAS SOUS 50274 HAS SOUPS 50274 WITH SCORE 50339.722
AT ITER 1251 NEW BEST:: SOT 175216 SOS 65660 HAS SOPS 65660 HAS SOUS 50212 HAS SOUPS 50212 WITH SCORE 50277.66
AT ITER 1261 NEW BEST:: SOT 175206 SOS 65650 HAS SOPS 65650 HAS SOUS 50202 HAS SOUPS 50202 WITH SCORE 50267.65
AT ITER 1266 NEW BEST:: SOT 175174 SOS 65618 HAS SOPS 65618 HAS SOUS 50170 HAS SOUPS 50170 WITH SCORE 50235.618
AT ITER 1281 NEW BEST:: SOT 175174 SOS 65509 HAS SOPS 65509 HAS SOUS 50061 HAS SOUPS 50061 WITH SCORE 50126.509
AT ITER 1284 NEW BEST:: SOT 175213 SOS 65548 HAS SOPS 65548 HAS SOUS 49964 HAS SOUPS 49964 WITH SCORE 50029.548
AT ITER 1295 NEW BEST:: SOT 175160 SOS 66427 HAS SOPS 66427 HAS SOUS 49931 HAS SOUPS 49931 WITH SCORE 49997.427
AT ITER 1309 NEW BEST:: SOT 175160 SOS 66421 HAS SOPS 66421 HAS SOUS 49931 HAS SOUPS 49931 WITH SCORE 49997.421
AT ITER 1315 NEW BEST:: SOT 175128 SOS 66357 HAS SOPS 66357 HAS SOUS 49867 HAS SOUPS 49867 WITH SCORE 49933.357
AT ITER 1338 NEW BEST:: SOT 175034 SOS 66169 HAS SOPS 66169 HAS SOUS 49795 HAS SOUPS 49795 WITH SCORE 49861.169
AT ITER 1344 NEW BEST:: SOT 175021 SOS 66143 HAS SOPS 66143 HAS SOUS 49769 HAS SOUPS 49769 WITH SCORE 49835.143
AT ITER 1349 NEW BEST:: SOT 175004 SOS 66096 HAS SOPS 66096 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49788.096
AT ITER 1357 NEW BEST:: SOT 174903 SOS 65802 HAS SOPS 65802 HAS SOUS 49428 HAS SOUPS 49428 WITH SCORE 49493.802
AT ITER 1366 NEW BEST:: SOT 174874 SOS 65744 HAS SOPS 65744 HAS SOUS 49399 HAS SOUPS 49399 WITH SCORE 49464.744
AT ITER 1390 NEW BEST:: SOT 174874 SOS 65743 HAS SOPS 65743 HAS SOUS 49398 HAS SOUPS 49398 WITH SCORE 49463.743
AT ITER 1405 NEW BEST:: SOT 174884 SOS 65724 HAS SOPS 65724 HAS SOUS 49213 HAS SOUPS 49213 WITH SCORE 49278.724
AT ITER 1410 NEW BEST:: SOT 174880 SOS 65716 HAS SOPS 65716 HAS SOUS 49205 HAS SOUPS 49205 WITH SCORE 49270.716
AT ITER 1411 NEW BEST:: SOT 174880 SOS 65702 HAS SOPS 65702 HAS SOUS 49191 HAS SOUPS 49191 WITH SCORE 49256.702
AT ITER 1418 NEW BEST:: SOT 174775 SOS 65492 HAS SOPS 65492 HAS SOUS 49188 HAS SOUPS 49188 WITH SCORE 49253.492
AT ITER 1431 NEW BEST:: SOT 174683 SOS 65308 HAS SOPS 65308 HAS SOUS 49125 HAS SOUPS 49125 WITH SCORE 49190.308
AT ITER 1456 NEW BEST:: SOT 174680 SOS 65302 HAS SOPS 65302 HAS SOUS 49119 HAS SOUPS 49119 WITH SCORE 49184.302
AT ITER 1457 NEW BEST:: SOT 174680 SOS 65307 HAS SOPS 65307 HAS SOUS 49114 HAS SOUPS 49114 WITH SCORE 49179.307
AT ITER 1461 NEW BEST:: SOT 174679 SOS 65305 HAS SOPS 65305 HAS SOUS 49112 HAS SOUPS 49112 WITH SCORE 49177.305
AT ITER 1463 NEW BEST:: SOT 174663 SOS 65287 HAS SOPS 65287 HAS SOUS 49094 HAS SOUPS 49094 WITH SCORE 49159.287
AT ITER 1464 NEW BEST:: SOT 174662 SOS 65281 HAS SOPS 65281 HAS SOUS 49094 HAS SOUPS 49094 WITH SCORE 49159.281
AT ITER 1473 NEW BEST:: SOT 174725 SOS 65191 HAS SOPS 65191 HAS SOUS 49071 HAS SOUPS 49071 WITH SCORE 49136.191
AT ITER 1477 NEW BEST:: SOT 174716 SOS 65173 HAS SOPS 65173 HAS SOUS 49069 HAS SOUPS 49069 WITH SCORE 49134.173
AT ITER 1480 NEW BEST:: SOT 174715 SOS 65171 HAS SOPS 65171 HAS SOUS 49069 HAS SOUPS 49069 WITH SCORE 49134.171
AT ITER 1481 NEW BEST:: SOT 174726 SOS 65182 HAS SOPS 65182 HAS SOUS 49068 HAS SOUPS 49068 WITH SCORE 49133.182
AT ITER 1503 NEW BEST:: SOT 174792 SOS 65246 HAS SOPS 65246 HAS SOUS 49064 HAS SOUPS 49064 WITH SCORE 49129.246
AT ITER 1514 NEW BEST:: SOT 174757 SOS 65210 HAS SOPS 65210 HAS SOUS 49053 HAS SOUPS 49053 WITH SCORE 49118.21
AT ITER 1517 NEW BEST:: SOT 174757 SOS 65207 HAS SOPS 65207 HAS SOUS 49053 HAS SOUPS 49053 WITH SCORE 49118.207
AT ITER 1522 NEW BEST:: SOT 174756 SOS 65205 HAS SOPS 65205 HAS SOUS 49050 HAS SOUPS 49050 WITH SCORE 49115.205
AT ITER 1529 NEW BEST:: SOT 174768 SOS 65167 HAS SOPS 65167 HAS SOUS 49012 HAS SOUPS 49012 WITH SCORE 49077.167
AT ITER 1557 NEW BEST:: SOT 174761 SOS 65160 HAS SOPS 65160 HAS SOUS 49012 HAS SOUPS 49012 WITH SCORE 49077.16
AT ITER 1562 NEW BEST:: SOT 174667 SOS 64972 HAS SOPS 64972 HAS SOUS 48918 HAS SOUPS 48918 WITH SCORE 48982.972
AT ITER 1578 NEW BEST:: SOT 174633 SOS 64868 HAS SOPS 64868 HAS SOUS 48814 HAS SOUPS 48814 WITH SCORE 48878.868
AT ITER 1580 NEW BEST:: SOT 174632 SOS 64865 HAS SOPS 64865 HAS SOUS 48812 HAS SOUPS 48812 WITH SCORE 48876.865
AT ITER 1586 NEW BEST:: SOT 174663 SOS 64858 HAS SOPS 64858 HAS SOUS 48794 HAS SOUPS 48794 WITH SCORE 48858.858
AT ITER 1591 NEW BEST:: SOT 174412 SOS 64559 HAS SOPS 64559 HAS SOUS 48737 HAS SOUPS 48737 WITH SCORE 48801.559
AT ITER 1607 NEW BEST:: SOT 174357 SOS 64449 HAS SOPS 64449 HAS SOUS 48627 HAS SOUPS 48627 WITH SCORE 48691.449
AT ITER 1636 NEW BEST:: SOT 174340 SOS 64415 HAS SOPS 64415 HAS SOUS 48593 HAS SOUPS 48593 WITH SCORE 48657.415
AT ITER 1640 NEW BEST:: SOT 174323 SOS 64428 HAS SOPS 64428 HAS SOUS 48473 HAS SOUPS 48473 WITH SCORE 48537.428
AT ITER 1649 NEW BEST:: SOT 174297 SOS 64337 HAS SOPS 64337 HAS SOUS 48382 HAS SOUPS 48382 WITH SCORE 48446.337
AT ITER 1653 NEW BEST:: SOT 174257 SOS 64248 HAS SOPS 64248 HAS SOUS 48293 HAS SOUPS 48293 WITH SCORE 48357.248
AT ITER 1664 NEW BEST:: SOT 174220 SOS 64033 HAS SOPS 64033 HAS SOUS 48078 HAS SOUPS 48078 WITH SCORE 48142.033
AT ITER 1666 NEW BEST:: SOT 174141 SOS 63975 HAS SOPS 63975 HAS SOUS 48020 HAS SOUPS 48020 WITH SCORE 48083.975
AT ITER 1690 NEW BEST:: SOT 174141 SOS 63913 HAS SOPS 63913 HAS SOUS 47958 HAS SOUPS 47958 WITH SCORE 48021.913
AT ITER 1713 NEW BEST:: SOT 174098 SOS 63827 HAS SOPS 63827 HAS SOUS 47872 HAS SOUPS 47872 WITH SCORE 47935.827
AT ITER 1722 NEW BEST:: SOT 174030 SOS 63725 HAS SOPS 63725 HAS SOUS 47770 HAS SOUPS 47770 WITH SCORE 47833.725
AT ITER 1728 NEW BEST:: SOT 174021 SOS 63716 HAS SOPS 63716 HAS SOUS 47761 HAS SOUPS 47761 WITH SCORE 47824.716
AT ITER 1753 NEW BEST:: SOT 174029 SOS 63681 HAS SOPS 63681 HAS SOUS 47675 HAS SOUPS 47675 WITH SCORE 47738.681
AT ITER 1757 NEW BEST:: SOT 174027 SOS 63665 HAS SOPS 63665 HAS SOUS 47659 HAS SOUPS 47659 WITH SCORE 47722.665
AT ITER 1772 NEW BEST:: SOT 174015 SOS 63642 HAS SOPS 63642 HAS SOUS 47636 HAS SOUPS 47636 WITH SCORE 47699.642
AT ITER 1784 NEW BEST:: SOT 174015 SOS 63639 HAS SOPS 63639 HAS SOUS 47633 HAS SOUPS 47633 WITH SCORE 47696.639
AT ITER 1789 NEW BEST:: SOT 174015 SOS 63618 HAS SOPS 63618 HAS SOUS 47612 HAS SOUPS 47612 WITH SCORE 47675.618
AT ITER 1790 NEW BEST:: SOT 173547 SOS 62966 HAS SOPS 62966 HAS SOUS 47257 HAS SOUPS 47257 WITH SCORE 47319.966
AT ITER 1822 NEW BEST:: SOT 173547 SOS 62182 HAS SOPS 62182 HAS SOUS 47257 HAS SOUPS 47257 WITH SCORE 47319.182
AT ITER 1834 NEW BEST:: SOT 173461 SOS 62082 HAS SOPS 62082 HAS SOUS 47157 HAS SOUPS 47157 WITH SCORE 47219.082
AT ITER 1837 NEW BEST:: SOT 173470 SOS 61914 HAS SOPS 61914 HAS SOUS 47135 HAS SOUPS 47135 WITH SCORE 47196.914
AT ITER 1841 NEW BEST:: SOT 173183 SOS 61627 HAS SOPS 61627 HAS SOUS 46963 HAS SOUPS 46963 WITH SCORE 47024.627
AT ITER 1850 NEW BEST:: SOT 173119 SOS 61555 HAS SOPS 61555 HAS SOUS 46955 HAS SOUPS 46955 WITH SCORE 47016.555
AT ITER 1852 NEW BEST:: SOT 173093 SOS 61503 HAS SOPS 61503 HAS SOUS 46903 HAS SOUPS 46903 WITH SCORE 46964.503
AT ITER 1857 NEW BEST:: SOT 172889 SOS 61210 HAS SOPS 61210 HAS SOUS 46610 HAS SOUPS 46610 WITH SCORE 46671.21
AT ITER 1862 NEW BEST:: SOT 172843 SOS 61118 HAS SOPS 61118 HAS SOUS 46531 HAS SOUPS 46531 WITH SCORE 46592.118
AT ITER 1870 NEW BEST:: SOT 172728 SOS 60989 HAS SOPS 60989 HAS SOUS 46402 HAS SOUPS 46402 WITH SCORE 46462.989
AT ITER 1872 NEW BEST:: SOT 172728 SOS 60898 HAS SOPS 60898 HAS SOUS 46311 HAS SOUPS 46311 WITH SCORE 46371.898
AT ITER 1875 NEW BEST:: SOT 172724 SOS 60893 HAS SOPS 60893 HAS SOUS 46180 HAS SOUPS 46180 WITH SCORE 46240.893
AT ITER 1881 NEW BEST:: SOT 172888 SOS 60888 HAS SOPS 60888 HAS SOUS 46034 HAS SOUPS 46034 WITH SCORE 46094.888
AT ITER 1883 NEW BEST:: SOT 172817 SOS 60817 HAS SOPS 60817 HAS SOUS 45963 HAS SOUPS 45963 WITH SCORE 46023.817
AT ITER 1909 NEW BEST:: SOT 172959 SOS 60465 HAS SOPS 60465 HAS SOUS 45893 HAS SOUPS 45893 WITH SCORE 45953.465
AT ITER 1925 NEW BEST:: SOT 172959 SOS 60465 HAS SOPS 60465 HAS SOUS 45890 HAS SOUPS 45890 WITH SCORE 45950.465
AT ITER 1940 NEW BEST:: SOT 172924 SOS 60395 HAS SOPS 60395 HAS SOUS 45820 HAS SOUPS 45820 WITH SCORE 45880.395
AT ITER 1958 NEW BEST:: SOT 172915 SOS 60454 HAS SOPS 60454 HAS SOUS 45812 HAS SOUPS 45812 WITH SCORE 45872.454
AT ITER 1968 NEW BEST:: SOT 172871 SOS 60310 HAS SOPS 60310 HAS SOUS 45668 HAS SOUPS 45668 WITH SCORE 45728.31
AT ITER 1996 NEW BEST:: SOT 172871 SOS 60270 HAS SOPS 60270 HAS SOUS 45628 HAS SOUPS 45628 WITH SCORE 45688.27
AT ITER 2004 NEW BEST:: SOT 172900 SOS 60328 HAS SOPS 60328 HAS SOUS 45621 HAS SOUPS 45621 WITH SCORE 45681.328
AT ITER 2005 NEW BEST:: SOT 172469 SOS 59990 HAS SOPS 59990 HAS SOUS 45283 HAS SOUPS 45283 WITH SCORE 45342.99
AT ITER 2007 NEW BEST:: SOT 172357 SOS 59938 HAS SOPS 59938 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45290.938
AT ITER 2019 NEW BEST:: SOT 172422 SOS 59942 HAS SOPS 59942 HAS SOUS 45109 HAS SOUPS 45109 WITH SCORE 45168.942
AT ITER 2023 NEW BEST:: SOT 172489 SOS 59874 HAS SOPS 59874 HAS SOUS 45078 HAS SOUPS 45078 WITH SCORE 45137.874
AT ITER 2032 NEW BEST:: SOT 172522 SOS 59866 HAS SOPS 59866 HAS SOUS 45070 HAS SOUPS 45070 WITH SCORE 45129.866
AT ITER 2035 NEW BEST:: SOT 172389 SOS 59575 HAS SOPS 59575 HAS SOUS 44805 HAS SOUPS 44805 WITH SCORE 44864.575
AT ITER 2043 NEW BEST:: SOT 172389 SOS 59557 HAS SOPS 59557 HAS SOUS 44787 HAS SOUPS 44787 WITH SCORE 44846.557
AT ITER 2048 NEW BEST:: SOT 172280 SOS 59448 HAS SOPS 59448 HAS SOUS 44779 HAS SOUPS 44779 WITH SCORE 44838.448
AT ITER 2056 NEW BEST:: SOT 172279 SOS 59447 HAS SOPS 59447 HAS SOUS 44745 HAS SOUPS 44745 WITH SCORE 44804.447
AT ITER 2064 NEW BEST:: SOT 172250 SOS 59418 HAS SOPS 59418 HAS SOUS 44738 HAS SOUPS 44738 WITH SCORE 44797.418
AT ITER 2089 NEW BEST:: SOT 172250 SOS 59407 HAS SOPS 59407 HAS SOUS 44727 HAS SOUPS 44727 WITH SCORE 44786.407
AT ITER 2091 NEW BEST:: SOT 172250 SOS 59396 HAS SOPS 59396 HAS SOUS 44716 HAS SOUPS 44716 WITH SCORE 44775.396
AT ITER 2101 NEW BEST:: SOT 172271 SOS 59363 HAS SOPS 59363 HAS SOUS 44608 HAS SOUPS 44608 WITH SCORE 44667.363
AT ITER 2106 NEW BEST:: SOT 171920 SOS 59028 HAS SOPS 59028 HAS SOUS 44395 HAS SOUPS 44395 WITH SCORE 44454.028
AT ITER 2112 NEW BEST:: SOT 171935 SOS 58997 HAS SOPS 58997 HAS SOUS 44392 HAS SOUPS 44392 WITH SCORE 44450.997
AT ITER 2119 NEW BEST:: SOT 171935 SOS 58984 HAS SOPS 58984 HAS SOUS 44379 HAS SOUPS 44379 WITH SCORE 44437.984
AT ITER 2145 NEW BEST:: SOT 171935 SOS 58984 HAS SOPS 58984 HAS SOUS 44362 HAS SOUPS 44362 WITH SCORE 44420.984
AT ITER 2146 NEW BEST:: SOT 171818 SOS 58750 HAS SOPS 58750 HAS SOUS 44288 HAS SOUPS 44288 WITH SCORE 44346.75
AT ITER 2152 NEW BEST:: SOT 171749 SOS 58681 HAS SOPS 58681 HAS SOUS 44219 HAS SOUPS 44219 WITH SCORE 44277.681
AT ITER 2160 NEW BEST:: SOT 171747 SOS 58671 HAS SOPS 58671 HAS SOUS 44209 HAS SOUPS 44209 WITH SCORE 44267.671
AT ITER 2166 NEW BEST:: SOT 171702 SOS 58581 HAS SOPS 58581 HAS SOUS 44164 HAS SOUPS 44164 WITH SCORE 44222.581
AT ITER 2183 NEW BEST:: SOT 171700 SOS 58569 HAS SOPS 58569 HAS SOUS 44152 HAS SOUPS 44152 WITH SCORE 44210.569
AT ITER 2190 NEW BEST:: SOT 171692 SOS 58545 HAS SOPS 58545 HAS SOUS 44128 HAS SOUPS 44128 WITH SCORE 44186.545
AT ITER 2202 NEW BEST:: SOT 171638 SOS 58437 HAS SOPS 58437 HAS SOUS 44020 HAS SOUPS 44020 WITH SCORE 44078.437
AT ITER 2208 NEW BEST:: SOT 171634 SOS 58431 HAS SOPS 58431 HAS SOUS 44014 HAS SOUPS 44014 WITH SCORE 44072.431
AT ITER 2224 NEW BEST:: SOT 171520 SOS 58283 HAS SOPS 58283 HAS SOUS 43946 HAS SOUPS 43946 WITH SCORE 44004.283
AT ITER 2229 NEW BEST:: SOT 171486 SOS 59636 HAS SOPS 59636 HAS SOUS 43912 HAS SOUPS 43912 WITH SCORE 43971.636
AT ITER 2238 NEW BEST:: SOT 171486 SOS 59588 HAS SOPS 59588 HAS SOUS 43816 HAS SOUPS 43816 WITH SCORE 43875.588
AT ITER 2244 NEW BEST:: SOT 171433 SOS 59451 HAS SOPS 59451 HAS SOUS 43732 HAS SOUPS 43732 WITH SCORE 43791.451
AT ITER 2248 NEW BEST:: SOT 171427 SOS 59439 HAS SOPS 59439 HAS SOUS 43725 HAS SOUPS 43725 WITH SCORE 43784.439
AT ITER 2253 NEW BEST:: SOT 171430 SOS 59442 HAS SOPS 59442 HAS SOUS 43724 HAS SOUPS 43724 WITH SCORE 43783.442
AT ITER 2258 NEW BEST:: SOT 171379 SOS 59391 HAS SOPS 59391 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43732.391
AT ITER 2262 NEW BEST:: SOT 171349 SOS 59361 HAS SOPS 59361 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43732.361
AT ITER 2268 NEW BEST:: SOT 171232 SOS 59227 HAS SOPS 59227 HAS SOUS 43539 HAS SOUPS 43539 WITH SCORE 43598.227
AT ITER 2269 NEW BEST:: SOT 171232 SOS 59265 HAS SOPS 59265 HAS SOUS 43511 HAS SOUPS 43511 WITH SCORE 43570.265
AT ITER 2274 NEW BEST:: SOT 171180 SOS 59207 HAS SOPS 59207 HAS SOUS 43453 HAS SOUPS 43453 WITH SCORE 43512.207
AT ITER 2279 NEW BEST:: SOT 171089 SOS 59081 HAS SOPS 59081 HAS SOUS 43327 HAS SOUPS 43327 WITH SCORE 43386.081
AT ITER 2282 NEW BEST:: SOT 171095 SOS 58837 HAS SOPS 58837 HAS SOUS 43083 HAS SOUPS 43083 WITH SCORE 43141.837
AT ITER 2293 NEW BEST:: SOT 171080 SOS 58862 HAS SOPS 58862 HAS SOUS 43053 HAS SOUPS 43053 WITH SCORE 43111.862
AT ITER 2307 NEW BEST:: SOT 171077 SOS 58842 HAS SOPS 58842 HAS SOUS 43036 HAS SOUPS 43036 WITH SCORE 43094.842
AT ITER 2321 NEW BEST:: SOT 171023 SOS 58765 HAS SOPS 58765 HAS SOUS 42990 HAS SOUPS 42990 WITH SCORE 43048.765
AT ITER 2348 NEW BEST:: SOT 171048 SOS 58737 HAS SOPS 58737 HAS SOUS 42962 HAS SOUPS 42962 WITH SCORE 43020.737
AT ITER 2366 NEW BEST:: SOT 171002 SOS 58645 HAS SOPS 58645 HAS SOUS 42893 HAS SOUPS 42893 WITH SCORE 42951.645
AT ITER 2374 NEW BEST:: SOT 170986 SOS 58583 HAS SOPS 58583 HAS SOUS 42831 HAS SOUPS 42831 WITH SCORE 42889.583
AT ITER 2389 NEW BEST:: SOT 170823 SOS 58525 HAS SOPS 58525 HAS SOUS 42773 HAS SOUPS 42773 WITH SCORE 42831.525
AT ITER 2393 NEW BEST:: SOT 170753 SOS 58385 HAS SOPS 58385 HAS SOUS 42633 HAS SOUPS 42633 WITH SCORE 42691.385
AT ITER 2405 NEW BEST:: SOT 170724 SOS 58327 HAS SOPS 58327 HAS SOUS 42575 HAS SOUPS 42575 WITH SCORE 42633.327
AT ITER 2418 NEW BEST:: SOT 170604 SOS 58207 HAS SOPS 58207 HAS SOUS 42575 HAS SOUPS 42575 WITH SCORE 42633.207
AT ITER 2429 NEW BEST:: SOT 170532 SOS 58120 HAS SOPS 58120 HAS SOUS 42524 HAS SOUPS 42524 WITH SCORE 42582.12
AT ITER 2441 NEW BEST:: SOT 170500 SOS 58056 HAS SOPS 58056 HAS SOUS 42460 HAS SOUPS 42460 WITH SCORE 42518.056
AT ITER 2450 NEW BEST:: SOT 170526 SOS 58108 HAS SOPS 58108 HAS SOUS 42448 HAS SOUPS 42448 WITH SCORE 42506.108
AT ITER 2467 NEW BEST:: SOT 170636 SOS 58162 HAS SOPS 58162 HAS SOUS 42392 HAS SOUPS 42392 WITH SCORE 42450.162
AT ITER 2499 NEW BEST:: SOT 170583 SOS 58056 HAS SOPS 58056 HAS SOUS 42367 HAS SOUPS 42367 WITH SCORE 42425.056
AT ITER 2513 NEW BEST:: SOT 170576 SOS 58042 HAS SOPS 58042 HAS SOUS 42353 HAS SOUPS 42353 WITH SCORE 42411.042
AT ITER 2536 NEW BEST:: SOT 170509 SOS 58058 HAS SOPS 58058 HAS SOUS 42302 HAS SOUPS 42302 WITH SCORE 42360.058
AT ITER 2538 NEW BEST:: SOT 170556 SOS 58056 HAS SOPS 58056 HAS SOUS 42300 HAS SOUPS 42300 WITH SCORE 42358.056
AT ITER 2541 NEW BEST:: SOT 170571 SOS 57994 HAS SOPS 57994 HAS SOUS 42277 HAS SOUPS 42277 WITH SCORE 42334.994
AT ITER 2566 NEW BEST:: SOT 170543 SOS 57938 HAS SOPS 57938 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42278.938
AT ITER 2570 NEW BEST:: SOT 170476 SOS 57866 HAS SOPS 57866 HAS SOUS 42149 HAS SOUPS 42149 WITH SCORE 42206.866
AT ITER 2571 NEW BEST:: SOT 170470 SOS 57860 HAS SOPS 57860 HAS SOUS 42146 HAS SOUPS 42146 WITH SCORE 42203.86
AT ITER 2578 NEW BEST:: SOT 170440 SOS 57825 HAS SOPS 57825 HAS SOUS 42111 HAS SOUPS 42111 WITH SCORE 42168.825
AT ITER 2586 NEW BEST:: SOT 170367 SOS 57753 HAS SOPS 57753 HAS SOUS 42038 HAS SOUPS 42038 WITH SCORE 42095.753
AT ITER 2596 NEW BEST:: SOT 170357 SOS 57710 HAS SOPS 57710 HAS SOUS 42018 HAS SOUPS 42018 WITH SCORE 42075.71
AT ITER 2621 NEW BEST:: SOT 170354 SOS 57534 HAS SOPS 57534 HAS SOUS 41910 HAS SOUPS 41910 WITH SCORE 41967.534
AT ITER 2625 NEW BEST:: SOT 170352 SOS 57532 HAS SOPS 57532 HAS SOUS 41908 HAS SOUPS 41908 WITH SCORE 41965.532
AT ITER 2647 NEW BEST:: SOT 170359 SOS 57529 HAS SOPS 57529 HAS SOUS 41905 HAS SOUPS 41905 WITH SCORE 41962.529
AT ITER 2649 NEW BEST:: SOT 170345 SOS 57501 HAS SOPS 57501 HAS SOUS 41877 HAS SOUPS 41877 WITH SCORE 41934.501
AT ITER 2650 NEW BEST:: SOT 170339 SOS 57492 HAS SOPS 57492 HAS SOUS 41871 HAS SOUPS 41871 WITH SCORE 41928.492
AT ITER 2658 NEW BEST:: SOT 170296 SOS 57451 HAS SOPS 57451 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41887.451
AT ITER 2667 NEW BEST:: SOT 170272 SOS 57352 HAS SOPS 57352 HAS SOUS 41806 HAS SOUPS 41806 WITH SCORE 41863.352
AT ITER 2668 NEW BEST:: SOT 170189 SOS 57239 HAS SOPS 57239 HAS SOUS 41693 HAS SOUPS 41693 WITH SCORE 41750.239
AT ITER 2673 NEW BEST:: SOT 169865 SOS 56915 HAS SOPS 56915 HAS SOUS 41562 HAS SOUPS 41562 WITH SCORE 41618.915
AT ITER 2698 NEW BEST:: SOT 169781 SOS 56747 HAS SOPS 56747 HAS SOUS 41478 HAS SOUPS 41478 WITH SCORE 41534.747
AT ITER 2699 NEW BEST:: SOT 169766 SOS 56717 HAS SOPS 56717 HAS SOUS 41448 HAS SOUPS 41448 WITH SCORE 41504.717
AT ITER 2701 NEW BEST:: SOT 169766 SOS 56700 HAS SOPS 56700 HAS SOUS 41414 HAS SOUPS 41414 WITH SCORE 41470.7
AT ITER 2704 NEW BEST:: SOT 169761 SOS 56690 HAS SOPS 56690 HAS SOUS 41404 HAS SOUPS 41404 WITH SCORE 41460.69
AT ITER 2706 NEW BEST:: SOT 169717 SOS 56638 HAS SOPS 56638 HAS SOUS 41352 HAS SOUPS 41352 WITH SCORE 41408.638
AT ITER 2715 NEW BEST:: SOT 169704 SOS 56616 HAS SOPS 56616 HAS SOUS 41330 HAS SOUPS 41330 WITH SCORE 41386.616
AT ITER 2744 NEW BEST:: SOT 169664 SOS 56576 HAS SOPS 56576 HAS SOUS 41330 HAS SOUPS 41330 WITH SCORE 41386.576
AT ITER 2787 NEW BEST:: SOT 169659 SOS 56566 HAS SOPS 56566 HAS SOUS 41320 HAS SOUPS 41320 WITH SCORE 41376.566
AT ITER 2793 NEW BEST:: SOT 169604 SOS 56456 HAS SOPS 56456 HAS SOUS 41265 HAS SOUPS 41265 WITH SCORE 41321.456
AT ITER 2814 NEW BEST:: SOT 169614 SOS 56448 HAS SOPS 56448 HAS SOUS 41249 HAS SOUPS 41249 WITH SCORE 41305.448
AT ITER 2815 NEW BEST:: SOT 169611 SOS 56445 HAS SOPS 56445 HAS SOUS 41246 HAS SOUPS 41246 WITH SCORE 41302.445
AT ITER 2840 NEW BEST:: SOT 169611 SOS 56281 HAS SOPS 56281 HAS SOUS 41082 HAS SOUPS 41082 WITH SCORE 41138.281
AT ITER 2845 NEW BEST:: SOT 169577 SOS 56247 HAS SOPS 56247 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41104.247
AT ITER 2861 NEW BEST:: SOT 169538 SOS 56198 HAS SOPS 56198 HAS SOUS 41031 HAS SOUPS 41031 WITH SCORE 41087.198
AT ITER 2866 NEW BEST:: SOT 169539 SOS 56200 HAS SOPS 56200 HAS SOUS 41015 HAS SOUPS 41015 WITH SCORE 41071.2
AT ITER 2888 NEW BEST:: SOT 169434 SOS 56054 HAS SOPS 56054 HAS SOUS 40869 HAS SOUPS 40869 WITH SCORE 40925.054
AT ITER 2902 NEW BEST:: SOT 169427 SOS 56040 HAS SOPS 56040 HAS SOUS 40855 HAS SOUPS 40855 WITH SCORE 40911.04
AT ITER 2946 NEW BEST:: SOT 169422 SOS 55914 HAS SOPS 55914 HAS SOUS 40767 HAS SOUPS 40767 WITH SCORE 40822.914
AT ITER 2951 NEW BEST:: SOT 169418 SOS 55906 HAS SOPS 55906 HAS SOUS 40756 HAS SOUPS 40756 WITH SCORE 40811.906
AT ITER 2952 NEW BEST:: SOT 169420 SOS 55835 HAS SOPS 55835 HAS SOUS 40685 HAS SOUPS 40685 WITH SCORE 40740.835
AT ITER 2958 NEW BEST:: SOT 169290 SOS 55705 HAS SOPS 55705 HAS SOUS 40555 HAS SOUPS 40555 WITH SCORE 40610.705
AT ITER 2960 NEW BEST:: SOT 169277 SOS 55692 HAS SOPS 55692 HAS SOUS 40555 HAS SOUPS 40555 WITH SCORE 40610.692
AT ITER 2967 NEW BEST:: SOT 169274 SOS 55671 HAS SOPS 55671 HAS SOUS 40516 HAS SOUPS 40516 WITH SCORE 40571.671
AT ITER 2970 NEW BEST:: SOT 169274 SOS 55573 HAS SOPS 55573 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40473.573
AT ITER 2972 NEW BEST:: SOT 169271 SOS 55566 HAS SOPS 55566 HAS SOUS 40411 HAS SOUPS 40411 WITH SCORE 40466.566
AT ITER 2982 NEW BEST:: SOT 169233 SOS 55596 HAS SOPS 55596 HAS SOUS 40408 HAS SOUPS 40408 WITH SCORE 40463.596
AT ITER 2997 NEW BEST:: SOT 169212 SOS 55575 HAS SOPS 55575 HAS SOUS 40387 HAS SOUPS 40387 WITH SCORE 40442.575
AT ITER 3035 NEW BEST:: SOT 169170 SOS 55574 HAS SOPS 55574 HAS SOUS 40386 HAS SOUPS 40386 WITH SCORE 40441.574
AT ITER 3052 NEW BEST:: SOT 169163 SOS 55567 HAS SOPS 55567 HAS SOUS 40379 HAS SOUPS 40379 WITH SCORE 40434.567
AT ITER 3059 NEW BEST:: SOT 169155 SOS 55559 HAS SOPS 55559 HAS SOUS 40371 HAS SOUPS 40371 WITH SCORE 40426.559
AT ITER 3077 NEW BEST:: SOT 169136 SOS 55532 HAS SOPS 55532 HAS SOUS 40282 HAS SOUPS 40282 WITH SCORE 40337.532
AT ITER 3093 NEW BEST:: SOT 169136 SOS 55506 HAS SOPS 55506 HAS SOUS 40256 HAS SOUPS 40256 WITH SCORE 40311.506
AT ITER 3116 NEW BEST:: SOT 169034 SOS 55302 HAS SOPS 55302 HAS SOUS 40165 HAS SOUPS 40165 WITH SCORE 40220.302
AT ITER 3120 NEW BEST:: SOT 169023 SOS 55233 HAS SOPS 55233 HAS SOUS 40122 HAS SOUPS 40122 WITH SCORE 40177.233
AT ITER 3149 NEW BEST:: SOT 169023 SOS 55233 HAS SOPS 55233 HAS SOUS 40120 HAS SOUPS 40120 WITH SCORE 40175.233
AT ITER 3150 NEW BEST:: SOT 168948 SOS 55083 HAS SOPS 55083 HAS SOUS 40061 HAS SOUPS 40061 WITH SCORE 40116.083
AT ITER 3158 NEW BEST:: SOT 168936 SOS 55059 HAS SOPS 55059 HAS SOUS 40037 HAS SOUPS 40037 WITH SCORE 40092.059
AT ITER 3168 NEW BEST:: SOT 168916 SOS 55042 HAS SOPS 55042 HAS SOUS 40020 HAS SOUPS 40020 WITH SCORE 40075.042
AT ITER 3169 NEW BEST:: SOT 168944 SOS 55025 HAS SOPS 55025 HAS SOUS 40008 HAS SOUPS 40008 WITH SCORE 40063.025
AT ITER 3178 NEW BEST:: SOT 168862 SOS 54902 HAS SOPS 54902 HAS SOUS 39926 HAS SOUPS 39926 WITH SCORE 39980.902
AT ITER 3179 NEW BEST:: SOT 168859 SOS 54896 HAS SOPS 54896 HAS SOUS 39923 HAS SOUPS 39923 WITH SCORE 39977.896
AT ITER 3180 NEW BEST:: SOT 168811 SOS 54802 HAS SOPS 54802 HAS SOUS 39919 HAS SOUPS 39919 WITH SCORE 39973.802
AT ITER 3192 NEW BEST:: SOT 168807 SOS 54796 HAS SOPS 54796 HAS SOUS 39911 HAS SOUPS 39911 WITH SCORE 39965.796
AT ITER 3223 NEW BEST:: SOT 168803 SOS 54758 HAS SOPS 54758 HAS SOUS 39891 HAS SOUPS 39891 WITH SCORE 39945.758
AT ITER 3229 NEW BEST:: SOT 168878 SOS 54828 HAS SOPS 54828 HAS SOUS 39881 HAS SOUPS 39881 WITH SCORE 39935.828
AT ITER 3237 NEW BEST:: SOT 168831 SOS 54780 HAS SOPS 54780 HAS SOUS 39833 HAS SOUPS 39833 WITH SCORE 39887.78
AT ITER 3247 NEW BEST:: SOT 168757 SOS 54706 HAS SOPS 54706 HAS SOUS 39820 HAS SOUPS 39820 WITH SCORE 39874.706
AT ITER 3258 NEW BEST:: SOT 168672 SOS 54527 HAS SOPS 54527 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39734.527
AT ITER 3296 NEW BEST:: SOT 168672 SOS 54515 HAS SOPS 54515 HAS SOUS 39668 HAS SOUPS 39668 WITH SCORE 39722.515
AT ITER 3299 NEW BEST:: SOT 168660 SOS 54506 HAS SOPS 54506 HAS SOUS 39659 HAS SOUPS 39659 WITH SCORE 39713.506
AT ITER 3303 NEW BEST:: SOT 168666 SOS 54461 HAS SOPS 54461 HAS SOUS 39645 HAS SOUPS 39645 WITH SCORE 39699.461
AT ITER 3338 NEW BEST:: SOT 168666 SOS 54360 HAS SOPS 54360 HAS SOUS 39645 HAS SOUPS 39645 WITH SCORE 39699.36
AT ITER 3345 NEW BEST:: SOT 168498 SOS 54171 HAS SOPS 54171 HAS SOUS 39624 HAS SOUPS 39624 WITH SCORE 39678.171
AT ITER 3362 NEW BEST:: SOT 168475 SOS 54125 HAS SOPS 54125 HAS SOUS 39578 HAS SOUPS 39578 WITH SCORE 39632.125
AT ITER 3395 NEW BEST:: SOT 168475 SOS 54120 HAS SOPS 54120 HAS SOUS 39573 HAS SOUPS 39573 WITH SCORE 39627.12
AT ITER 3425 NEW BEST:: SOT 168443 SOS 54075 HAS SOPS 54075 HAS SOUS 39547 HAS SOUPS 39547 WITH SCORE 39601.075
AT ITER 3435 NEW BEST:: SOT 168443 SOS 54074 HAS SOPS 54074 HAS SOUS 39546 HAS SOUPS 39546 WITH SCORE 39600.074
AT ITER 3441 NEW BEST:: SOT 168485 SOS 54080 HAS SOPS 54080 HAS SOUS 39513 HAS SOUPS 39513 WITH SCORE 39567.08
AT ITER 3443 NEW BEST:: SOT 168457 SOS 54052 HAS SOPS 54052 HAS SOUS 39485 HAS SOUPS 39485 WITH SCORE 39539.052
AT ITER 3447 NEW BEST:: SOT 168447 SOS 54013 HAS SOPS 54013 HAS SOUS 39468 HAS SOUPS 39468 WITH SCORE 39522.013
AT ITER 3470 NEW BEST:: SOT 168380 SOS 53946 HAS SOPS 53946 HAS SOUS 39401 HAS SOUPS 39401 WITH SCORE 39454.946
AT ITER 3488 NEW BEST:: SOT 168339 SOS 53864 HAS SOPS 53864 HAS SOUS 39319 HAS SOUPS 39319 WITH SCORE 39372.864
AT ITER 3525 NEW BEST:: SOT 168339 SOS 53864 HAS SOPS 53864 HAS SOUS 39277 HAS SOUPS 39277 WITH SCORE 39330.864
AT ITER 3538 NEW BEST:: SOT 168371 SOS 53822 HAS SOPS 53822 HAS SOUS 39129 HAS SOUPS 39129 WITH SCORE 39182.822
AT ITER 3573 NEW BEST:: SOT 168347 SOS 53774 HAS SOPS 53774 HAS SOUS 39095 HAS SOUPS 39095 WITH SCORE 39148.774
AT ITER 3587 NEW BEST:: SOT 168347 SOS 53709 HAS SOPS 53709 HAS SOUS 39038 HAS SOUPS 39038 WITH SCORE 39091.709
AT ITER 3598 NEW BEST:: SOT 168314 SOS 53678 HAS SOPS 53678 HAS SOUS 39007 HAS SOUPS 39007 WITH SCORE 39060.678
AT ITER 3615 NEW BEST:: SOT 168304 SOS 53673 HAS SOPS 53673 HAS SOUS 39002 HAS SOUPS 39002 WITH SCORE 39055.673
AT ITER 3617 NEW BEST:: SOT 168303 SOS 53671 HAS SOPS 53671 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39054.671
AT ITER 3672 NEW BEST:: SOT 168287 SOS 53671 HAS SOPS 53671 HAS SOUS 38985 HAS SOUPS 38985 WITH SCORE 39038.671
AT ITER 3699 NEW BEST:: SOT 168300 SOS 53834 HAS SOPS 53834 HAS SOUS 38965 HAS SOUPS 38965 WITH SCORE 39018.834
AT ITER 3710 NEW BEST:: SOT 168232 SOS 53726 HAS SOPS 53726 HAS SOUS 38897 HAS SOUPS 38897 WITH SCORE 38950.726
AT ITER 3712 NEW BEST:: SOT 168232 SOS 53723 HAS SOPS 53723 HAS SOUS 38894 HAS SOUPS 38894 WITH SCORE 38947.723
AT ITER 3714 NEW BEST:: SOT 168232 SOS 53721 HAS SOPS 53721 HAS SOUS 38890 HAS SOUPS 38890 WITH SCORE 38943.721
AT ITER 3717 NEW BEST:: SOT 168252 SOS 53608 HAS SOPS 53608 HAS SOUS 38777 HAS SOUPS 38777 WITH SCORE 38830.608
AT ITER 3728 NEW BEST:: SOT 168180 SOS 53533 HAS SOPS 53533 HAS SOUS 38773 HAS SOUPS 38773 WITH SCORE 38826.533
AT ITER 3771 NEW BEST:: SOT 168155 SOS 53483 HAS SOPS 53483 HAS SOUS 38723 HAS SOUPS 38723 WITH SCORE 38776.483
AT ITER 3776 NEW BEST:: SOT 168155 SOS 53482 HAS SOPS 53482 HAS SOUS 38722 HAS SOUPS 38722 WITH SCORE 38775.482
AT ITER 3778 NEW BEST:: SOT 168009 SOS 53123 HAS SOPS 53123 HAS SOUS 38509 HAS SOUPS 38509 WITH SCORE 38562.123
AT ITER 3794 NEW BEST:: SOT 168069 SOS 53142 HAS SOPS 53142 HAS SOUS 38502 HAS SOUPS 38502 WITH SCORE 38555.142
AT ITER 3806 NEW BEST:: SOT 168018 SOS 53040 HAS SOPS 53040 HAS SOUS 38400 HAS SOUPS 38400 WITH SCORE 38453.04
AT ITER 3837 NEW BEST:: SOT 168018 SOS 52926 HAS SOPS 52926 HAS SOUS 38286 HAS SOUPS 38286 WITH SCORE 38338.926
AT ITER 3854 NEW BEST:: SOT 168018 SOS 52917 HAS SOPS 52917 HAS SOUS 38277 HAS SOUPS 38277 WITH SCORE 38329.917
AT ITER 3860 NEW BEST:: SOT 167950 SOS 52781 HAS SOPS 52781 HAS SOUS 38222 HAS SOUPS 38222 WITH SCORE 38274.781
AT ITER 3871 NEW BEST:: SOT 167940 SOS 52766 HAS SOPS 52766 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38264.766
AT ITER 3874 NEW BEST:: SOT 167948 SOS 52665 HAS SOPS 52665 HAS SOUS 38111 HAS SOUPS 38111 WITH SCORE 38163.665
AT ITER 3876 NEW BEST:: SOT 167935 SOS 52645 HAS SOPS 52645 HAS SOUS 38091 HAS SOUPS 38091 WITH SCORE 38143.645
AT ITER 3887 NEW BEST:: SOT 167855 SOS 52548 HAS SOPS 52548 HAS SOUS 37994 HAS SOUPS 37994 WITH SCORE 38046.548
AT ITER 3890 NEW BEST:: SOT 167855 SOS 52535 HAS SOPS 52535 HAS SOUS 37981 HAS SOUPS 37981 WITH SCORE 38033.535
AT ITER 3893 NEW BEST:: SOT 167854 SOS 52533 HAS SOPS 52533 HAS SOUS 37979 HAS SOUPS 37979 WITH SCORE 38031.533
AT ITER 3922 NEW BEST:: SOT 167854 SOS 52531 HAS SOPS 52531 HAS SOUS 37973 HAS SOUPS 37973 WITH SCORE 38025.531
AT ITER 3923 NEW BEST:: SOT 167952 SOS 52432 HAS SOPS 52432 HAS SOUS 37880 HAS SOUPS 37880 WITH SCORE 37932.432
AT ITER 3926 NEW BEST:: SOT 167933 SOS 52364 HAS SOPS 52364 HAS SOUS 37823 HAS SOUPS 37823 WITH SCORE 37875.364
AT ITER 3933 NEW BEST:: SOT 168073 SOS 52340 HAS SOPS 52340 HAS SOUS 37799 HAS SOUPS 37799 WITH SCORE 37851.34
AT ITER 3937 NEW BEST:: SOT 168089 SOS 52368 HAS SOPS 52368 HAS SOUS 37797 HAS SOUPS 37797 WITH SCORE 37849.368
AT ITER 3945 NEW BEST:: SOT 168030 SOS 52219 HAS SOPS 52219 HAS SOUS 37673 HAS SOUPS 37673 WITH SCORE 37725.219
AT ITER 3997 NEW BEST:: SOT 168054 SOS 52177 HAS SOPS 52177 HAS SOUS 37631 HAS SOUPS 37631 WITH SCORE 37683.177
AT ITER 4000 NEW BEST:: SOT 168037 SOS 52160 HAS SOPS 52160 HAS SOUS 37605 HAS SOUPS 37605 WITH SCORE 37657.16
AT ITER 4017 NEW BEST:: SOT 168037 SOS 52111 HAS SOPS 52111 HAS SOUS 37605 HAS SOUPS 37605 WITH SCORE 37657.111
AT ITER 4019 NEW BEST:: SOT 168033 SOS 52100 HAS SOPS 52100 HAS SOUS 37593 HAS SOUPS 37593 WITH SCORE 37645.1
AT ITER 4026 NEW BEST:: SOT 167943 SOS 52003 HAS SOPS 52003 HAS SOUS 37496 HAS SOUPS 37496 WITH SCORE 37548.003
AT ITER 4040 NEW BEST:: SOT 167956 SOS 52010 HAS SOPS 52010 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37536.01
AT ITER 4067 NEW BEST:: SOT 167932 SOS 51986 HAS SOPS 51986 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37497.986
AT ITER 4072 NEW BEST:: SOT 167973 SOS 51916 HAS SOPS 51916 HAS SOUS 37442 HAS SOUPS 37442 WITH SCORE 37493.916
AT ITER 4079 NEW BEST:: SOT 167995 SOS 51876 HAS SOPS 51876 HAS SOUS 37402 HAS SOUPS 37402 WITH SCORE 37453.876
AT ITER 4089 NEW BEST:: SOT 168011 SOS 51908 HAS SOPS 51908 HAS SOUS 37354 HAS SOUPS 37354 WITH SCORE 37405.908
AT ITER 4090 NEW BEST:: SOT 168011 SOS 51900 HAS SOPS 51900 HAS SOUS 37352 HAS SOUPS 37352 WITH SCORE 37403.9
AT ITER 4098 NEW BEST:: SOT 167901 SOS 51799 HAS SOPS 51799 HAS SOUS 37352 HAS SOUPS 37352 WITH SCORE 37403.799
AT ITER 4152 NEW BEST:: SOT 167873 SOS 51762 HAS SOPS 51762 HAS SOUS 37315 HAS SOUPS 37315 WITH SCORE 37366.762
AT ITER 4160 NEW BEST:: SOT 167863 SOS 51752 HAS SOPS 51752 HAS SOUS 37305 HAS SOUPS 37305 WITH SCORE 37356.752
AT ITER 4168 NEW BEST:: SOT 167847 SOS 51720 HAS SOPS 51720 HAS SOUS 37289 HAS SOUPS 37289 WITH SCORE 37340.72
AT ITER 4193 NEW BEST:: SOT 167840 SOS 51706 HAS SOPS 51706 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37335.706
AT ITER 4220 NEW BEST:: SOT 167782 SOS 51648 HAS SOPS 51648 HAS SOUS 37226 HAS SOUPS 37226 WITH SCORE 37277.648
AT ITER 4221 NEW BEST:: SOT 167775 SOS 51634 HAS SOPS 51634 HAS SOUS 37212 HAS SOUPS 37212 WITH SCORE 37263.634
AT ITER 4249 NEW BEST:: SOT 167801 SOS 51686 HAS SOPS 51686 HAS SOUS 37211 HAS SOUPS 37211 WITH SCORE 37262.686
AT ITER 4250 NEW BEST:: SOT 167748 SOS 50995 HAS SOPS 50995 HAS SOUS 37170 HAS SOUPS 37170 WITH SCORE 37220.995
AT ITER 4263 NEW BEST:: SOT 167748 SOS 50995 HAS SOPS 50995 HAS SOUS 37160 HAS SOUPS 37160 WITH SCORE 37210.995
AT ITER 4273 NEW BEST:: SOT 167741 SOS 50991 HAS SOPS 50991 HAS SOUS 37156 HAS SOUPS 37156 WITH SCORE 37206.991
AT ITER 4294 NEW BEST:: SOT 167661 SOS 50911 HAS SOPS 50911 HAS SOUS 37076 HAS SOUPS 37076 WITH SCORE 37126.911
AT ITER 4325 NEW BEST:: SOT 167629 SOS 50721 HAS SOPS 50721 HAS SOUS 36975 HAS SOUPS 36975 WITH SCORE 37025.721
AT ITER 4359 NEW BEST:: SOT 167626 SOS 50715 HAS SOPS 50715 HAS SOUS 36975 HAS SOUPS 36975 WITH SCORE 37025.715
AT ITER 4361 NEW BEST:: SOT 167573 SOS 50410 HAS SOPS 50410 HAS SOUS 36670 HAS SOUPS 36670 WITH SCORE 36720.41
AT ITER 4365 NEW BEST:: SOT 167568 SOS 50400 HAS SOPS 50400 HAS SOUS 36643 HAS SOUPS 36643 WITH SCORE 36693.4
AT ITER 4367 NEW BEST:: SOT 167547 SOS 50379 HAS SOPS 50379 HAS SOUS 36601 HAS SOUPS 36601 WITH SCORE 36651.379
AT ITER 4383 NEW BEST:: SOT 167519 SOS 50323 HAS SOPS 50323 HAS SOUS 36596 HAS SOUPS 36596 WITH SCORE 36646.323
AT ITER 4397 NEW BEST:: SOT 167515 SOS 50315 HAS SOPS 50315 HAS SOUS 36552 HAS SOUPS 36552 WITH SCORE 36602.315
AT ITER 4408 NEW BEST:: SOT 167199 SOS 50029 HAS SOPS 50029 HAS SOUS 36531 HAS SOUPS 36531 WITH SCORE 36581.029
AT ITER 4431 NEW BEST:: SOT 167089 SOS 49829 HAS SOPS 49829 HAS SOUS 36331 HAS SOUPS 36331 WITH SCORE 36380.829
AT ITER 4469 NEW BEST:: SOT 167043 SOS 49737 HAS SOPS 49737 HAS SOUS 36239 HAS SOUPS 36239 WITH SCORE 36288.737
AT ITER 4482 NEW BEST:: SOT 167041 SOS 49733 HAS SOPS 49733 HAS SOUS 36229 HAS SOUPS 36229 WITH SCORE 36278.733
AT ITER 4524 NEW BEST:: SOT 167034 SOS 49697 HAS SOPS 49697 HAS SOUS 36193 HAS SOUPS 36193 WITH SCORE 36242.697
AT ITER 4556 NEW BEST:: SOT 166959 SOS 49608 HAS SOPS 49608 HAS SOUS 36104 HAS SOUPS 36104 WITH SCORE 36153.608
AT ITER 4621 NEW BEST:: SOT 166956 SOS 49602 HAS SOPS 49602 HAS SOUS 36098 HAS SOUPS 36098 WITH SCORE 36147.602
AT ITER 4646 NEW BEST:: SOT 166932 SOS 49578 HAS SOPS 49578 HAS SOUS 36074 HAS SOUPS 36074 WITH SCORE 36123.578
AT ITER 4701 NEW BEST:: SOT 166919 SOS 49565 HAS SOPS 49565 HAS SOUS 36061 HAS SOUPS 36061 WITH SCORE 36110.565
AT ITER 4709 NEW BEST:: SOT 166909 SOS 49545 HAS SOPS 49545 HAS SOUS 36041 HAS SOUPS 36041 WITH SCORE 36090.545
AT ITER 4825 NEW BEST:: SOT 166831 SOS 49467 HAS SOPS 49467 HAS SOUS 36037 HAS SOUPS 36037 WITH SCORE 36086.467
AT ITER 4842 NEW BEST:: SOT 166819 SOS 49455 HAS SOPS 49455 HAS SOUS 36025 HAS SOUPS 36025 WITH SCORE 36074.455
AT ITER 4902 NEW BEST:: SOT 166819 SOS 49448 HAS SOPS 49448 HAS SOUS 36023 HAS SOUPS 36023 WITH SCORE 36072.448
AT ITER 4914 NEW BEST:: SOT 166810 SOS 49430 HAS SOPS 49430 HAS SOUS 36014 HAS SOUPS 36014 WITH SCORE 36063.43
AT ITER 4916 NEW BEST:: SOT 166783 SOS 49376 HAS SOPS 49376 HAS SOUS 35960 HAS SOUPS 35960 WITH SCORE 36009.376
AT ITER 4918 NEW BEST:: SOT 166782 SOS 49375 HAS SOPS 49375 HAS SOUS 35959 HAS SOUPS 35959 WITH SCORE 36008.375
AT ITER 4919 NEW BEST:: SOT 166777 SOS 49263 HAS SOPS 49263 HAS SOUS 35820 HAS SOUPS 35820 WITH SCORE 35869.263
AT ITER 4940 NEW BEST:: SOT 166760 SOS 49246 HAS SOPS 49246 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35852.246
AT ITER 4944 NEW BEST:: SOT 166748 SOS 49228 HAS SOPS 49228 HAS SOUS 35791 HAS SOUPS 35791 WITH SCORE 35840.228
AT ITER 4978 NEW BEST:: SOT 166748 SOS 49213 HAS SOPS 49213 HAS SOUS 35791 HAS SOUPS 35791 WITH SCORE 35840.213
AT ITER 4984 NEW BEST:: SOT 166748 SOS 49149 HAS SOPS 49149 HAS SOUS 35787 HAS SOUPS 35787 WITH SCORE 35836.149
AT ITER 4993 NEW BEST:: SOT 166758 SOS 49009 HAS SOPS 49009 HAS SOUS 35647 HAS SOUPS 35647 WITH SCORE 35696.009
AT ITER 5054 NEW BEST:: SOT 166800 SOS 49005 HAS SOPS 49005 HAS SOUS 35643 HAS SOUPS 35643 WITH SCORE 35692.005
AT ITER 5055 NEW BEST:: SOT 166800 SOS 48986 HAS SOPS 48986 HAS SOUS 35624 HAS SOUPS 35624 WITH SCORE 35672.986
AT ITER 5090 NEW BEST:: SOT 166800 SOS 48969 HAS SOPS 48969 HAS SOUS 35607 HAS SOUPS 35607 WITH SCORE 35655.969
AT ITER 5101 NEW BEST:: SOT 166789 SOS 48940 HAS SOPS 48940 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35626.94
AT ITER 5138 NEW BEST:: SOT 166755 SOS 48872 HAS SOPS 48872 HAS SOUS 35536 HAS SOUPS 35536 WITH SCORE 35584.872
AT ITER 5139 NEW BEST:: SOT 166727 SOS 48800 HAS SOPS 48800 HAS SOUS 35464 HAS SOUPS 35464 WITH SCORE 35512.8
AT ITER 5141 NEW BEST:: SOT 166727 SOS 48790 HAS SOPS 48790 HAS SOUS 35464 HAS SOUPS 35464 WITH SCORE 35512.79
AT ITER 5147 NEW BEST:: SOT 166707 SOS 48750 HAS SOPS 48750 HAS SOUS 35424 HAS SOUPS 35424 WITH SCORE 35472.75
AT ITER 5160 NEW BEST:: SOT 166692 SOS 48720 HAS SOPS 48720 HAS SOUS 35394 HAS SOUPS 35394 WITH SCORE 35442.72
AT ITER 5161 NEW BEST:: SOT 166675 SOS 48701 HAS SOPS 48701 HAS SOUS 35375 HAS SOUPS 35375 WITH SCORE 35423.701
AT ITER 5181 NEW BEST:: SOT 166718 SOS 48787 HAS SOPS 48787 HAS SOUS 35374 HAS SOUPS 35374 WITH SCORE 35422.787
AT ITER 5204 NEW BEST:: SOT 166699 SOS 48768 HAS SOPS 48768 HAS SOUS 35355 HAS SOUPS 35355 WITH SCORE 35403.768
AT ITER 5212 NEW BEST:: SOT 166699 SOS 48763 HAS SOPS 48763 HAS SOUS 35350 HAS SOUPS 35350 WITH SCORE 35398.763
AT ITER 5261 NEW BEST:: SOT 166613 SOS 48760 HAS SOPS 48760 HAS SOUS 35247 HAS SOUPS 35247 WITH SCORE 35295.76
AT ITER 5266 NEW BEST:: SOT 166610 SOS 48754 HAS SOPS 48754 HAS SOUS 35241 HAS SOUPS 35241 WITH SCORE 35289.754
AT ITER 5305 NEW BEST:: SOT 166599 SOS 48732 HAS SOPS 48732 HAS SOUS 35219 HAS SOUPS 35219 WITH SCORE 35267.732
AT ITER 5336 NEW BEST:: SOT 166630 SOS 48692 HAS SOPS 48692 HAS SOUS 35212 HAS SOUPS 35212 WITH SCORE 35260.692
AT ITER 5344 NEW BEST:: SOT 166622 SOS 48689 HAS SOPS 48689 HAS SOUS 35209 HAS SOUPS 35209 WITH SCORE 35257.689
AT ITER 5349 NEW BEST:: SOT 166599 SOS 48664 HAS SOPS 48664 HAS SOUS 35205 HAS SOUPS 35205 WITH SCORE 35253.664
AT ITER 5360 NEW BEST:: SOT 166581 SOS 48628 HAS SOPS 48628 HAS SOUS 35169 HAS SOUPS 35169 WITH SCORE 35217.628
AT ITER 5408 NEW BEST:: SOT 166600 SOS 48648 HAS SOPS 48648 HAS SOUS 35135 HAS SOUPS 35135 WITH SCORE 35183.648
AT ITER 5434 NEW BEST:: SOT 166596 SOS 48646 HAS SOPS 48646 HAS SOUS 35131 HAS SOUPS 35131 WITH SCORE 35179.646
AT ITER 5450 NEW BEST:: SOT 166514 SOS 48482 HAS SOPS 48482 HAS SOUS 35120 HAS SOUPS 35120 WITH SCORE 35168.482
AT ITER 5460 NEW BEST:: SOT 166474 SOS 48421 HAS SOPS 48421 HAS SOUS 35059 HAS SOUPS 35059 WITH SCORE 35107.421
AT ITER 5472 NEW BEST:: SOT 166492 SOS 48416 HAS SOPS 48416 HAS SOUS 35054 HAS SOUPS 35054 WITH SCORE 35102.416
AT ITER 5475 NEW BEST:: SOT 166492 SOS 48416 HAS SOPS 48416 HAS SOUS 35012 HAS SOUPS 35012 WITH SCORE 35060.416
AT ITER 5539 NEW BEST:: SOT 166479 SOS 48403 HAS SOPS 48403 HAS SOUS 34994 HAS SOUPS 34994 WITH SCORE 35042.403
AT ITER 5548 NEW BEST:: SOT 166476 SOS 48397 HAS SOPS 48397 HAS SOUS 34988 HAS SOUPS 34988 WITH SCORE 35036.397
AT ITER 5575 NEW BEST:: SOT 166458 SOS 48361 HAS SOPS 48361 HAS SOUS 34952 HAS SOUPS 34952 WITH SCORE 35000.361
AT ITER 5658 NEW BEST:: SOT 166454 SOS 48353 HAS SOPS 48353 HAS SOUS 34944 HAS SOUPS 34944 WITH SCORE 34992.353
AT ITER 5664 NEW BEST:: SOT 166451 SOS 48364 HAS SOPS 48364 HAS SOUS 34943 HAS SOUPS 34943 WITH SCORE 34991.364
AT ITER 5666 NEW BEST:: SOT 166553 SOS 48332 HAS SOPS 48332 HAS SOUS 34936 HAS SOUPS 34936 WITH SCORE 34984.332
AT ITER 5671 NEW BEST:: SOT 166520 SOS 48271 HAS SOPS 48271 HAS SOUS 34890 HAS SOUPS 34890 WITH SCORE 34938.271
AT ITER 5694 NEW BEST:: SOT 166520 SOS 48235 HAS SOPS 48235 HAS SOUS 34854 HAS SOUPS 34854 WITH SCORE 34902.235
AT ITER 5695 NEW BEST:: SOT 166519 SOS 48239 HAS SOPS 48239 HAS SOUS 34852 HAS SOUPS 34852 WITH SCORE 34900.239
AT ITER 5764 NEW BEST:: SOT 166500 SOS 48219 HAS SOPS 48219 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34880.219
AT ITER 5790 NEW BEST:: SOT 166492 SOS 48224 HAS SOPS 48224 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34879.224
AT ITER 5801 NEW BEST:: SOT 166499 SOS 48238 HAS SOPS 48238 HAS SOUS 34805 HAS SOUPS 34805 WITH SCORE 34853.238
AT ITER 5815 NEW BEST:: SOT 166498 SOS 48237 HAS SOPS 48237 HAS SOUS 34804 HAS SOUPS 34804 WITH SCORE 34852.237
AT ITER 5905 NEW BEST:: SOT 166515 SOS 48218 HAS SOPS 48218 HAS SOUS 34785 HAS SOUPS 34785 WITH SCORE 34833.218
AT ITER 5999 NEW BEST:: SOT 166506 SOS 48200 HAS SOPS 48200 HAS SOUS 34767 HAS SOUPS 34767 WITH SCORE 34815.2
AT ITER 6001 NEW BEST:: SOT 166470 SOS 48147 HAS SOPS 48147 HAS SOUS 34714 HAS SOUPS 34714 WITH SCORE 34762.147
AT ITER 6016 NEW BEST:: SOT 166424 SOS 48118 HAS SOPS 48118 HAS SOUS 34700 HAS SOUPS 34700 WITH SCORE 34748.118
AT ITER 6020 NEW BEST:: SOT 166495 SOS 48093 HAS SOPS 48093 HAS SOUS 34675 HAS SOUPS 34675 WITH SCORE 34723.093
AT ITER 6026 NEW BEST:: SOT 166468 SOS 48092 HAS SOPS 48092 HAS SOUS 34674 HAS SOUPS 34674 WITH SCORE 34722.092
AT ITER 6040 NEW BEST:: SOT 166449 SOS 48054 HAS SOPS 48054 HAS SOUS 34636 HAS SOUPS 34636 WITH SCORE 34684.054
AT ITER 6056 NEW BEST:: SOT 166392 SOS 47985 HAS SOPS 47985 HAS SOUS 34567 HAS SOUPS 34567 WITH SCORE 34614.985
AT ITER 6080 NEW BEST:: SOT 166377 SOS 48257 HAS SOPS 48257 HAS SOUS 34557 HAS SOUPS 34557 WITH SCORE 34605.257
AT ITER 6088 NEW BEST:: SOT 166310 SOS 48123 HAS SOPS 48123 HAS SOUS 34540 HAS SOUPS 34540 WITH SCORE 34588.123
AT ITER 6093 NEW BEST:: SOT 166248 SOS 48061 HAS SOPS 48061 HAS SOUS 34478 HAS SOUPS 34478 WITH SCORE 34526.061
AT ITER 6095 NEW BEST:: SOT 166258 SOS 48075 HAS SOPS 48075 HAS SOUS 34472 HAS SOUPS 34472 WITH SCORE 34520.075
AT ITER 6101 NEW BEST:: SOT 166252 SOS 48069 HAS SOPS 48069 HAS SOUS 34466 HAS SOUPS 34466 WITH SCORE 34514.069
AT ITER 6115 NEW BEST:: SOT 166251 SOS 48063 HAS SOPS 48063 HAS SOUS 34460 HAS SOUPS 34460 WITH SCORE 34508.063
AT ITER 6140 NEW BEST:: SOT 166221 SOS 48021 HAS SOPS 48021 HAS SOUS 34418 HAS SOUPS 34418 WITH SCORE 34466.021
AT ITER 6165 NEW BEST:: SOT 166179 SOS 47971 HAS SOPS 47971 HAS SOUS 34402 HAS SOUPS 34402 WITH SCORE 34449.971
AT ITER 6168 NEW BEST:: SOT 166179 SOS 47971 HAS SOPS 47971 HAS SOUS 34393 HAS SOUPS 34393 WITH SCORE 34440.971
AT ITER 6171 NEW BEST:: SOT 166209 SOS 47887 HAS SOPS 47887 HAS SOUS 34351 HAS SOUPS 34351 WITH SCORE 34398.887
AT ITER 6177 NEW BEST:: SOT 166111 SOS 47781 HAS SOPS 47781 HAS SOUS 34335 HAS SOUPS 34335 WITH SCORE 34382.781
AT ITER 6199 NEW BEST:: SOT 166018 SOS 47659 HAS SOPS 47659 HAS SOUS 34213 HAS SOUPS 34213 WITH SCORE 34260.659
AT ITER 6210 NEW BEST:: SOT 166024 SOS 47649 HAS SOPS 47649 HAS SOUS 34203 HAS SOUPS 34203 WITH SCORE 34250.649
AT ITER 6216 NEW BEST:: SOT 166004 SOS 47652 HAS SOPS 47652 HAS SOUS 34183 HAS SOUPS 34183 WITH SCORE 34230.652
AT ITER 6234 NEW BEST:: SOT 165981 SOS 47605 HAS SOPS 47605 HAS SOUS 34136 HAS SOUPS 34136 WITH SCORE 34183.605
AT ITER 6261 NEW BEST:: SOT 165962 SOS 47576 HAS SOPS 47576 HAS SOUS 34107 HAS SOUPS 34107 WITH SCORE 34154.576
AT ITER 6284 NEW BEST:: SOT 165918 SOS 47532 HAS SOPS 47532 HAS SOUS 34063 HAS SOUPS 34063 WITH SCORE 34110.532
AT ITER 6287 NEW BEST:: SOT 165884 SOS 47532 HAS SOPS 47532 HAS SOUS 34029 HAS SOUPS 34029 WITH SCORE 34076.532
AT ITER 6319 NEW BEST:: SOT 165906 SOS 47563 HAS SOPS 47563 HAS SOUS 34022 HAS SOUPS 34022 WITH SCORE 34069.563
AT ITER 6329 NEW BEST:: SOT 165882 SOS 47515 HAS SOPS 47515 HAS SOUS 33974 HAS SOUPS 33974 WITH SCORE 34021.515
AT ITER 6333 NEW BEST:: SOT 165855 SOS 47461 HAS SOPS 47461 HAS SOUS 33920 HAS SOUPS 33920 WITH SCORE 33967.461
AT ITER 6349 NEW BEST:: SOT 165799 SOS 47405 HAS SOPS 47405 HAS SOUS 33892 HAS SOUPS 33892 WITH SCORE 33939.405
AT ITER 6432 NEW BEST:: SOT 165778 SOS 47363 HAS SOPS 47363 HAS SOUS 33850 HAS SOUPS 33850 WITH SCORE 33897.363
AT ITER 6483 NEW BEST:: SOT 165763 SOS 47348 HAS SOPS 47348 HAS SOUS 33835 HAS SOUPS 33835 WITH SCORE 33882.348
AT ITER 6485 NEW BEST:: SOT 165763 SOS 47308 HAS SOPS 47308 HAS SOUS 33795 HAS SOUPS 33795 WITH SCORE 33842.308
AT ITER 6526 NEW BEST:: SOT 165751 SOS 47269 HAS SOPS 47269 HAS SOUS 33755 HAS SOUPS 33755 WITH SCORE 33802.269
AT ITER 6541 NEW BEST:: SOT 165714 SOS 47177 HAS SOPS 47177 HAS SOUS 33663 HAS SOUPS 33663 WITH SCORE 33710.177
AT ITER 6564 NEW BEST:: SOT 165703 SOS 47134 HAS SOPS 47134 HAS SOUS 33620 HAS SOUPS 33620 WITH SCORE 33667.134
AT ITER 6574 NEW BEST:: SOT 165701 SOS 47130 HAS SOPS 47130 HAS SOUS 33616 HAS SOUPS 33616 WITH SCORE 33663.13
AT ITER 6598 NEW BEST:: SOT 165641 SOS 47018 HAS SOPS 47018 HAS SOUS 33487 HAS SOUPS 33487 WITH SCORE 33534.018
AT ITER 6635 NEW BEST:: SOT 165641 SOS 47001 HAS SOPS 47001 HAS SOUS 33470 HAS SOUPS 33470 WITH SCORE 33517.001
AT ITER 6722 NEW BEST:: SOT 165603 SOS 46963 HAS SOPS 46963 HAS SOUS 33445 HAS SOUPS 33445 WITH SCORE 33491.963
AT ITER 6736 NEW BEST:: SOT 165549 SOS 46924 HAS SOPS 46924 HAS SOUS 33378 HAS SOUPS 33378 WITH SCORE 33424.924
AT ITER 6800 NEW BEST:: SOT 165541 SOS 46916 HAS SOPS 46916 HAS SOUS 33378 HAS SOUPS 33378 WITH SCORE 33424.916
AT ITER 6866 NEW BEST:: SOT 165495 SOS 46896 HAS SOPS 46896 HAS SOUS 33358 HAS SOUPS 33358 WITH SCORE 33404.896
AT ITER 6879 NEW BEST:: SOT 165477 SOS 46857 HAS SOPS 46857 HAS SOUS 33319 HAS SOUPS 33319 WITH SCORE 33365.857
AT ITER 6891 NEW BEST:: SOT 165458 SOS 46833 HAS SOPS 46833 HAS SOUS 33296 HAS SOUPS 33296 WITH SCORE 33342.833
AT ITER 6993 NEW BEST:: SOT 165455 SOS 46828 HAS SOPS 46828 HAS SOUS 33292 HAS SOUPS 33292 WITH SCORE 33338.828
AT ITER 6998 NEW BEST:: SOT 165442 SOS 46815 HAS SOPS 46815 HAS SOUS 33279 HAS SOUPS 33279 WITH SCORE 33325.815
AT ITER 7006 NEW BEST:: SOT 165405 SOS 46741 HAS SOPS 46741 HAS SOUS 33242 HAS SOUPS 33242 WITH SCORE 33288.741
AT ITER 7107 NEW BEST:: SOT 165399 SOS 46735 HAS SOPS 46735 HAS SOUS 33236 HAS SOUPS 33236 WITH SCORE 33282.735
AT ITER 7136 NEW BEST:: SOT 165394 SOS 46723 HAS SOPS 46723 HAS SOUS 33224 HAS SOUPS 33224 WITH SCORE 33270.723
AT ITER 7176 NEW BEST:: SOT 165390 SOS 46715 HAS SOPS 46715 HAS SOUS 33218 HAS SOUPS 33218 WITH SCORE 33264.715
AT ITER 7256 NEW BEST:: SOT 165379 SOS 46704 HAS SOPS 46704 HAS SOUS 33207 HAS SOUPS 33207 WITH SCORE 33253.704
AT ITER 7262 NEW BEST:: SOT 165379 SOS 46696 HAS SOPS 46696 HAS SOUS 33199 HAS SOUPS 33199 WITH SCORE 33245.696
AT ITER 7349 NEW BEST:: SOT 165374 SOS 46686 HAS SOPS 46686 HAS SOUS 33189 HAS SOUPS 33189 WITH SCORE 33235.686
AT ITER 7370 NEW BEST:: SOT 165367 SOS 46679 HAS SOPS 46679 HAS SOUS 33182 HAS SOUPS 33182 WITH SCORE 33228.679
AT ITER 7379 NEW BEST:: SOT 165360 SOS 46665 HAS SOPS 46665 HAS SOUS 33175 HAS SOUPS 33175 WITH SCORE 33221.665
AT ITER 7388 NEW BEST:: SOT 165360 SOS 46664 HAS SOPS 46664 HAS SOUS 33175 HAS SOUPS 33175 WITH SCORE 33221.664
AT ITER 7407 NEW BEST:: SOT 165335 SOS 46658 HAS SOPS 46658 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33215.658
AT ITER 7423 NEW BEST:: SOT 165354 SOS 46617 HAS SOPS 46617 HAS SOUS 33128 HAS SOUPS 33128 WITH SCORE 33174.617
AT ITER 7442 NEW BEST:: SOT 165347 SOS 46522 HAS SOPS 46522 HAS SOUS 33110 HAS SOUPS 33110 WITH SCORE 33156.522
AT ITER 7479 NEW BEST:: SOT 165351 SOS 46526 HAS SOPS 46526 HAS SOUS 33099 HAS SOUPS 33099 WITH SCORE 33145.526
AT ITER 7531 NEW BEST:: SOT 165373 SOS 46536 HAS SOPS 46536 HAS SOUS 33094 HAS SOUPS 33094 WITH SCORE 33140.536
AT ITER 7538 NEW BEST:: SOT 165369 SOS 46531 HAS SOPS 46531 HAS SOUS 33089 HAS SOUPS 33089 WITH SCORE 33135.531
AT ITER 7557 NEW BEST:: SOT 165363 SOS 46525 HAS SOPS 46525 HAS SOUS 33083 HAS SOUPS 33083 WITH SCORE 33129.525
AT ITER 7558 NEW BEST:: SOT 165425 SOS 46504 HAS SOPS 46504 HAS SOUS 33062 HAS SOUPS 33062 WITH SCORE 33108.504
AT ITER 7566 NEW BEST:: SOT 165422 SOS 46491 HAS SOPS 46491 HAS SOUS 33049 HAS SOUPS 33049 WITH SCORE 33095.491
AT ITER 7578 NEW BEST:: SOT 165380 SOS 46438 HAS SOPS 46438 HAS SOUS 33019 HAS SOUPS 33019 WITH SCORE 33065.438
AT ITER 7591 NEW BEST:: SOT 165358 SOS 46435 HAS SOPS 46435 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33062.435
AT ITER 7600 NEW BEST:: SOT 165338 SOS 46414 HAS SOPS 46414 HAS SOUS 33014 HAS SOUPS 33014 WITH SCORE 33060.414
AT ITER 7712 NEW BEST:: SOT 165317 SOS 46354 HAS SOPS 46354 HAS SOUS 32954 HAS SOUPS 32954 WITH SCORE 33000.354
AT ITER 7717 NEW BEST:: SOT 165315 SOS 46350 HAS SOPS 46350 HAS SOUS 32950 HAS SOUPS 32950 WITH SCORE 32996.35
AT ITER 7728 NEW BEST:: SOT 165309 SOS 46320 HAS SOPS 46320 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32966.32
AT ITER 7747 NEW BEST:: SOT 165173 SOS 46184 HAS SOPS 46184 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32966.184
AT ITER 7817 NEW BEST:: SOT 165171 SOS 46182 HAS SOPS 46182 HAS SOUS 32918 HAS SOUPS 32918 WITH SCORE 32964.182
AT ITER 7824 NEW BEST:: SOT 165152 SOS 46159 HAS SOPS 46159 HAS SOUS 32805 HAS SOUPS 32805 WITH SCORE 32851.159
AT ITER 7831 NEW BEST:: SOT 165155 SOS 46138 HAS SOPS 46138 HAS SOUS 32784 HAS SOUPS 32784 WITH SCORE 32830.138
AT ITER 7854 NEW BEST:: SOT 165141 SOS 46110 HAS SOPS 46110 HAS SOUS 32756 HAS SOUPS 32756 WITH SCORE 32802.11
AT ITER 7864 NEW BEST:: SOT 165141 SOS 46097 HAS SOPS 46097 HAS SOUS 32756 HAS SOUPS 32756 WITH SCORE 32802.097
AT ITER 7886 NEW BEST:: SOT 165141 SOS 46097 HAS SOPS 46097 HAS SOUS 32754 HAS SOUPS 32754 WITH SCORE 32800.097
AT ITER 7936 NEW BEST:: SOT 165125 SOS 46065 HAS SOPS 46065 HAS SOUS 32722 HAS SOUPS 32722 WITH SCORE 32768.065
AT ITER 7947 NEW BEST:: SOT 165131 SOS 46056 HAS SOPS 46056 HAS SOUS 32713 HAS SOUPS 32713 WITH SCORE 32759.056
AT ITER 7951 NEW BEST:: SOT 165127 SOS 46052 HAS SOPS 46052 HAS SOUS 32710 HAS SOUPS 32710 WITH SCORE 32756.052
AT ITER 7980 NEW BEST:: SOT 165127 SOS 45945 HAS SOPS 45945 HAS SOUS 32603 HAS SOUPS 32603 WITH SCORE 32648.945
AT ITER 8023 NEW BEST:: SOT 165102 SOS 45895 HAS SOPS 45895 HAS SOUS 32569 HAS SOUPS 32569 WITH SCORE 32614.895
AT ITER 8044 NEW BEST:: SOT 165042 SOS 45915 HAS SOPS 45915 HAS SOUS 32549 HAS SOUPS 32549 WITH SCORE 32594.915
AT ITER 8051 NEW BEST:: SOT 165233 SOS 46096 HAS SOPS 46096 HAS SOUS 32529 HAS SOUPS 32529 WITH SCORE 32575.096
AT ITER 8113 NEW BEST:: SOT 165243 SOS 46059 HAS SOPS 46059 HAS SOUS 32486 HAS SOUPS 32486 WITH SCORE 32532.059
AT ITER 8129 NEW BEST:: SOT 165228 SOS 46029 HAS SOPS 46029 HAS SOUS 32471 HAS SOUPS 32471 WITH SCORE 32517.029
AT ITER 8143 NEW BEST:: SOT 165274 SOS 46029 HAS SOPS 46029 HAS SOUS 32470 HAS SOUPS 32470 WITH SCORE 32516.029
AT ITER 8146 NEW BEST:: SOT 165258 SOS 46006 HAS SOPS 46006 HAS SOUS 32447 HAS SOUPS 32447 WITH SCORE 32493.006
AT ITER 8173 NEW BEST:: SOT 165231 SOS 46296 HAS SOPS 46296 HAS SOUS 32421 HAS SOUPS 32421 WITH SCORE 32467.296
AT ITER 8249 NEW BEST:: SOT 165227 SOS 46242 HAS SOPS 46242 HAS SOUS 32388 HAS SOUPS 32388 WITH SCORE 32434.242
AT ITER 8271 NEW BEST:: SOT 165227 SOS 46191 HAS SOPS 46191 HAS SOUS 32383 HAS SOUPS 32383 WITH SCORE 32429.191
AT ITER 8320 NEW BEST:: SOT 165222 SOS 46186 HAS SOPS 46186 HAS SOUS 32378 HAS SOUPS 32378 WITH SCORE 32424.186
AT ITER 8331 NEW BEST:: SOT 165107 SOS 46071 HAS SOPS 46071 HAS SOUS 32360 HAS SOUPS 32360 WITH SCORE 32406.071
AT ITER 8336 NEW BEST:: SOT 165107 SOS 46071 HAS SOPS 46071 HAS SOUS 32337 HAS SOUPS 32337 WITH SCORE 32383.071
AT ITER 8366 NEW BEST:: SOT 165148 SOS 46013 HAS SOPS 46013 HAS SOUS 32279 HAS SOUPS 32279 WITH SCORE 32325.013
AT ITER 8421 NEW BEST:: SOT 165146 SOS 46011 HAS SOPS 46011 HAS SOUS 32277 HAS SOUPS 32277 WITH SCORE 32323.011
AT ITER 8448 NEW BEST:: SOT 165137 SOS 46009 HAS SOPS 46009 HAS SOUS 32267 HAS SOUPS 32267 WITH SCORE 32313.009
AT ITER 8486 NEW BEST:: SOT 165119 SOS 45955 HAS SOPS 45955 HAS SOUS 32239 HAS SOUPS 32239 WITH SCORE 32284.955
AT ITER 8496 NEW BEST:: SOT 165205 SOS 46041 HAS SOPS 46041 HAS SOUS 32213 HAS SOUPS 32213 WITH SCORE 32259.041
AT ITER 8509 NEW BEST:: SOT 165197 SOS 46025 HAS SOPS 46025 HAS SOUS 32197 HAS SOUPS 32197 WITH SCORE 32243.025
AT ITER 8539 NEW BEST:: SOT 165195 SOS 46021 HAS SOPS 46021 HAS SOUS 32193 HAS SOUPS 32193 WITH SCORE 32239.021
AT ITER 8609 NEW BEST:: SOT 165193 SOS 46019 HAS SOPS 46019 HAS SOUS 32191 HAS SOUPS 32191 WITH SCORE 32237.019
AT ITER 8629 NEW BEST:: SOT 165184 SOS 46010 HAS SOPS 46010 HAS SOUS 32182 HAS SOUPS 32182 WITH SCORE 32228.01
AT ITER 8635 NEW BEST:: SOT 165123 SOS 45888 HAS SOPS 45888 HAS SOUS 32123 HAS SOUPS 32123 WITH SCORE 32168.888
AT ITER 8825 NEW BEST:: SOT 165123 SOS 45875 HAS SOPS 45875 HAS SOUS 32110 HAS SOUPS 32110 WITH SCORE 32155.875
AT ITER 8845 NEW BEST:: SOT 165123 SOS 45866 HAS SOPS 45866 HAS SOUS 32101 HAS SOUPS 32101 WITH SCORE 32146.866
AT ITER 8849 NEW BEST:: SOT 165123 SOS 45866 HAS SOPS 45866 HAS SOUS 32098 HAS SOUPS 32098 WITH SCORE 32143.866
AT ITER 8857 NEW BEST:: SOT 165105 SOS 45864 HAS SOPS 45864 HAS SOUS 32096 HAS SOUPS 32096 WITH SCORE 32141.864
AT ITER 8863 NEW BEST:: SOT 165084 SOS 45815 HAS SOPS 45815 HAS SOUS 32047 HAS SOUPS 32047 WITH SCORE 32092.815
AT ITER 8876 NEW BEST:: SOT 165072 SOS 45773 HAS SOPS 45773 HAS SOUS 32018 HAS SOUPS 32018 WITH SCORE 32063.773
AT ITER 8893 NEW BEST:: SOT 165053 SOS 45735 HAS SOPS 45735 HAS SOUS 31980 HAS SOUPS 31980 WITH SCORE 32025.735
AT ITER 8899 NEW BEST:: SOT 165014 SOS 45711 HAS SOPS 45711 HAS SOUS 31956 HAS SOUPS 31956 WITH SCORE 32001.711
AT ITER 8967 NEW BEST:: SOT 165003 SOS 45700 HAS SOPS 45700 HAS SOUS 31934 HAS SOUPS 31934 WITH SCORE 31979.7
AT ITER 8993 NEW BEST:: SOT 164995 SOS 45691 HAS SOPS 45691 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31970.691
AT ITER 9043 NEW BEST:: SOT 164994 SOS 45690 HAS SOPS 45690 HAS SOUS 31924 HAS SOUPS 31924 WITH SCORE 31969.69
AT ITER 9063 NEW BEST:: SOT 164994 SOS 45671 HAS SOPS 45671 HAS SOUS 31905 HAS SOUPS 31905 WITH SCORE 31950.671
AT ITER 9076 NEW BEST:: SOT 164993 SOS 45670 HAS SOPS 45670 HAS SOUS 31904 HAS SOUPS 31904 WITH SCORE 31949.67
AT ITER 9085 NEW BEST:: SOT 164969 SOS 45617 HAS SOPS 45617 HAS SOUS 31851 HAS SOUPS 31851 WITH SCORE 31896.617
AT ITER 9116 NEW BEST:: SOT 164962 SOS 45610 HAS SOPS 45610 HAS SOUS 31844 HAS SOUPS 31844 WITH SCORE 31889.61
AT ITER 9185 NEW BEST:: SOT 164941 SOS 45568 HAS SOPS 45568 HAS SOUS 31823 HAS SOUPS 31823 WITH SCORE 31868.568
AT ITER 9207 NEW BEST:: SOT 164895 SOS 45537 HAS SOPS 45537 HAS SOUS 31792 HAS SOUPS 31792 WITH SCORE 31837.537
AT ITER 9228 NEW BEST:: SOT 164893 SOS 45535 HAS SOPS 45535 HAS SOUS 31790 HAS SOUPS 31790 WITH SCORE 31835.535
AT ITER 9267 NEW BEST:: SOT 164871 SOS 45513 HAS SOPS 45513 HAS SOUS 31770 HAS SOUPS 31770 WITH SCORE 31815.513
AT ITER 9268 NEW BEST:: SOT 164875 SOS 45517 HAS SOPS 45517 HAS SOUS 31760 HAS SOUPS 31760 WITH SCORE 31805.517
AT ITER 9346 NEW BEST:: SOT 164867 SOS 45501 HAS SOPS 45501 HAS SOUS 31744 HAS SOUPS 31744 WITH SCORE 31789.501
AT ITER 9368 NEW BEST:: SOT 164867 SOS 45501 HAS SOPS 45501 HAS SOUS 31743 HAS SOUPS 31743 WITH SCORE 31788.501
AT ITER 9419 NEW BEST:: SOT 164861 SOS 45489 HAS SOPS 45489 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31776.489
AT ITER 9453 NEW BEST:: SOT 164860 SOS 45487 HAS SOPS 45487 HAS SOUS 31729 HAS SOUPS 31729 WITH SCORE 31774.487
AT ITER 9454 NEW BEST:: SOT 164898 SOS 45512 HAS SOPS 45512 HAS SOUS 31715 HAS SOUPS 31715 WITH SCORE 31760.512
AT ITER 9498 NEW BEST:: SOT 164892 SOS 45506 HAS SOPS 45506 HAS SOUS 31715 HAS SOUPS 31715 WITH SCORE 31760.506
AT ITER 9526 NEW BEST:: SOT 164884 SOS 45490 HAS SOPS 45490 HAS SOUS 31707 HAS SOUPS 31707 WITH SCORE 31752.49
AT ITER 9542 NEW BEST:: SOT 164802 SOS 45409 HAS SOPS 45409 HAS SOUS 31626 HAS SOUPS 31626 WITH SCORE 31671.409
AT ITER 9586 NEW BEST:: SOT 164796 SOS 45403 HAS SOPS 45403 HAS SOUS 31626 HAS SOUPS 31626 WITH SCORE 31671.403
AT ITER 9621 NEW BEST:: SOT 164781 SOS 45373 HAS SOPS 45373 HAS SOUS 31626 HAS SOUPS 31626 WITH SCORE 31671.373
AT ITER 9638 NEW BEST:: SOT 164775 SOS 45364 HAS SOPS 45364 HAS SOUS 31617 HAS SOUPS 31617 WITH SCORE 31662.364
AT ITER 9649 NEW BEST:: SOT 164775 SOS 45340 HAS SOPS 45340 HAS SOUS 31593 HAS SOUPS 31593 WITH SCORE 31638.34
AT ITER 9670 NEW BEST:: SOT 164784 SOS 45308 HAS SOPS 45308 HAS SOUS 31577 HAS SOUPS 31577 WITH SCORE 31622.308
AT ITER 9674 NEW BEST:: SOT 164858 SOS 45360 HAS SOPS 45360 HAS SOUS 31520 HAS SOUPS 31520 WITH SCORE 31565.36
AT ITER 9675 NEW BEST:: SOT 164840 SOS 45357 HAS SOPS 45357 HAS SOUS 31517 HAS SOUPS 31517 WITH SCORE 31562.357
AT ITER 9692 NEW BEST:: SOT 164840 SOS 45337 HAS SOPS 45337 HAS SOUS 31504 HAS SOUPS 31504 WITH SCORE 31549.337
AT ITER 9701 NEW BEST:: SOT 164814 SOS 45211 HAS SOPS 45211 HAS SOUS 31444 HAS SOUPS 31444 WITH SCORE 31489.211
AT ITER 9715 NEW BEST:: SOT 164774 SOS 45151 HAS SOPS 45151 HAS SOUS 31384 HAS SOUPS 31384 WITH SCORE 31429.151
AT ITER 9783 NEW BEST:: SOT 164774 SOS 45147 HAS SOPS 45147 HAS SOUS 31382 HAS SOUPS 31382 WITH SCORE 31427.147
AT ITER 9797 NEW BEST:: SOT 164771 SOS 45144 HAS SOPS 45144 HAS SOUS 31379 HAS SOUPS 31379 WITH SCORE 31424.144
AT ITER 9827 NEW BEST:: SOT 164777 SOS 45143 HAS SOPS 45143 HAS SOUS 31378 HAS SOUPS 31378 WITH SCORE 31423.143
AT ITER 9842 NEW BEST:: SOT 164758 SOS 45117 HAS SOPS 45117 HAS SOUS 31364 HAS SOUPS 31364 WITH SCORE 31409.117
AT ITER 9858 NEW BEST:: SOT 164719 SOS 45078 HAS SOPS 45078 HAS SOUS 31325 HAS SOUPS 31325 WITH SCORE 31370.078
AT ITER 9864 NEW BEST:: SOT 164693 SOS 45026 HAS SOPS 45026 HAS SOUS 31325 HAS SOUPS 31325 WITH SCORE 31370.026
AT ITER 9898 NEW BEST:: SOT 164670 SOS 44980 HAS SOPS 44980 HAS SOUS 31279 HAS SOUPS 31279 WITH SCORE 31323.98
AT ITER 9919 NEW BEST:: SOT 164686 SOS 44961 HAS SOPS 44961 HAS SOUS 31190 HAS SOUPS 31190 WITH SCORE 31234.961
AT ITER 9951 NEW BEST:: SOT 164655 SOS 44542 HAS SOPS 44542 HAS SOUS 31138 HAS SOUPS 31138 WITH SCORE 31182.542
AT ITER 9965 NEW BEST:: SOT 164647 SOS 44534 HAS SOPS 44534 HAS SOUS 31130 HAS SOUPS 31130 WITH SCORE 31174.534
AT ITER 9976 NEW BEST:: SOT 164639 SOS 44518 HAS SOPS 44518 HAS SOUS 31128 HAS SOUPS 31128 WITH SCORE 31172.518
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 11990756 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16122936 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="BusinessProcesses-PT-12"
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 BusinessProcesses-PT-12, 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 r043-tajo-167813697000544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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