About the Execution of Smart+red for ShieldPPPs-PT-040A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4697.380 | 3600000.00 | 3656551.00 | 178.30 | [undef] | Time out reached |
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.r395-oct2-167903718800488.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPs-PT-040A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718800488
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 808K
-rw-r--r-- 1 mcc users 6.7K Feb 26 02:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 02:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 02:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 02:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 02:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 02:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 355K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679569844421
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=ShieldPPPs-PT-040A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 11:10:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 11:10:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 11:10:46] [INFO ] Load time of PNML (sax parser for PT used): 104 ms
[2023-03-23 11:10:46] [INFO ] Transformed 1243 places.
[2023-03-23 11:10:46] [INFO ] Transformed 1043 transitions.
[2023-03-23 11:10:46] [INFO ] Found NUPN structural information;
[2023-03-23 11:10:46] [INFO ] Parsed PT model containing 1243 places and 1043 transitions and 4006 arcs in 204 ms.
[2023-03-23 11:10:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1243 places, 1043 transitions and 4006 arcs took 10 ms.
Total runtime 245 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 040A
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: 1243 places, 1043 transitions, 4006 arcs.
AT ITER 0 NEW BEST:: SOT 836831 SOS 577011 HAS SOPS 577011 HAS SOUS 430162 HAS SOUPS 430162 WITH SCORE 430739.011
AT ITER 21 NEW BEST:: SOT 836264 SOS 574742 HAS SOPS 574742 HAS SOUS 429595 HAS SOUPS 429595 WITH SCORE 430169.742
AT ITER 44 NEW BEST:: SOT 835754 SOS 574716 HAS SOPS 574716 HAS SOUS 429569 HAS SOUPS 429569 WITH SCORE 430143.716
AT ITER 47 NEW BEST:: SOT 836116 SOS 573137 HAS SOPS 573137 HAS SOUS 429374 HAS SOUPS 429374 WITH SCORE 429947.137
AT ITER 50 NEW BEST:: SOT 836006 SOS 573026 HAS SOPS 573026 HAS SOUS 429263 HAS SOUPS 429263 WITH SCORE 429836.026
AT ITER 55 NEW BEST:: SOT 835993 SOS 573005 HAS SOPS 573005 HAS SOUS 429230 HAS SOUPS 429230 WITH SCORE 429803.005
AT ITER 57 NEW BEST:: SOT 835807 SOS 572818 HAS SOPS 572818 HAS SOUS 429043 HAS SOUPS 429043 WITH SCORE 429615.818
AT ITER 61 NEW BEST:: SOT 835791 SOS 572800 HAS SOPS 572800 HAS SOUS 429025 HAS SOUPS 429025 WITH SCORE 429597.8
AT ITER 73 NEW BEST:: SOT 835737 SOS 572530 HAS SOPS 572530 HAS SOUS 429024 HAS SOUPS 429024 WITH SCORE 429596.53
AT ITER 76 NEW BEST:: SOT 835341 SOS 572066 HAS SOPS 572066 HAS SOUS 428560 HAS SOUPS 428560 WITH SCORE 429132.066
AT ITER 78 NEW BEST:: SOT 835233 SOS 569319 HAS SOPS 569319 HAS SOUS 427317 HAS SOUPS 427317 WITH SCORE 427886.319
AT ITER 79 NEW BEST:: SOT 834701 SOS 568882 HAS SOPS 568882 HAS SOUS 426832 HAS SOUPS 426832 WITH SCORE 427400.882
AT ITER 84 NEW BEST:: SOT 834289 SOS 568470 HAS SOPS 568470 HAS SOUS 426420 HAS SOUPS 426420 WITH SCORE 426988.47
AT ITER 87 NEW BEST:: SOT 834102 SOS 568283 HAS SOPS 568283 HAS SOUS 426233 HAS SOUPS 426233 WITH SCORE 426801.283
AT ITER 88 NEW BEST:: SOT 832942 SOS 565961 HAS SOPS 565961 HAS SOUS 424492 HAS SOUPS 424492 WITH SCORE 425057.961
AT ITER 89 NEW BEST:: SOT 832927 SOS 565936 HAS SOPS 565936 HAS SOUS 424451 HAS SOUPS 424451 WITH SCORE 425016.936
AT ITER 107 NEW BEST:: SOT 832727 SOS 565736 HAS SOPS 565736 HAS SOUS 424250 HAS SOUPS 424250 WITH SCORE 424815.736
AT ITER 111 NEW BEST:: SOT 832704 SOS 565713 HAS SOPS 565713 HAS SOUS 424227 HAS SOUPS 424227 WITH SCORE 424792.713
AT ITER 116 NEW BEST:: SOT 832486 SOS 565493 HAS SOPS 565493 HAS SOUS 424007 HAS SOUPS 424007 WITH SCORE 424572.493
AT ITER 123 NEW BEST:: SOT 832485 SOS 564699 HAS SOPS 564699 HAS SOUS 423990 HAS SOUPS 423990 WITH SCORE 424554.699
AT ITER 138 NEW BEST:: SOT 832124 SOS 564338 HAS SOPS 564338 HAS SOUS 423629 HAS SOUPS 423629 WITH SCORE 424193.338
AT ITER 146 NEW BEST:: SOT 831718 SOS 563949 HAS SOPS 563949 HAS SOUS 423225 HAS SOUPS 423225 WITH SCORE 423788.949
AT ITER 151 NEW BEST:: SOT 831215 SOS 563441 HAS SOPS 563441 HAS SOUS 422703 HAS SOUPS 422703 WITH SCORE 423266.441
AT ITER 164 NEW BEST:: SOT 830740 SOS 562963 HAS SOPS 562963 HAS SOUS 422225 HAS SOUPS 422225 WITH SCORE 422787.963
AT ITER 166 NEW BEST:: SOT 830735 SOS 562958 HAS SOPS 562958 HAS SOUS 422220 HAS SOUPS 422220 WITH SCORE 422782.958
AT ITER 173 NEW BEST:: SOT 830282 SOS 562664 HAS SOPS 562664 HAS SOUS 421847 HAS SOUPS 421847 WITH SCORE 422409.664
AT ITER 179 NEW BEST:: SOT 830150 SOS 562004 HAS SOPS 562004 HAS SOUS 421841 HAS SOUPS 421841 WITH SCORE 422403.004
AT ITER 181 NEW BEST:: SOT 830129 SOS 561983 HAS SOPS 561983 HAS SOUS 421820 HAS SOUPS 421820 WITH SCORE 422381.983
AT ITER 190 NEW BEST:: SOT 830018 SOS 561076 HAS SOPS 561076 HAS SOUS 421820 HAS SOUPS 421820 WITH SCORE 422381.076
AT ITER 203 NEW BEST:: SOT 830018 SOS 561076 HAS SOPS 561076 HAS SOUS 421819 HAS SOUPS 421819 WITH SCORE 422380.076
AT ITER 204 NEW BEST:: SOT 829951 SOS 561007 HAS SOPS 561007 HAS SOUS 421750 HAS SOUPS 421750 WITH SCORE 422311.007
AT ITER 217 NEW BEST:: SOT 829894 SOS 560833 HAS SOPS 560833 HAS SOUS 421525 HAS SOUPS 421525 WITH SCORE 422085.833
AT ITER 218 NEW BEST:: SOT 829735 SOS 560674 HAS SOPS 560674 HAS SOUS 421366 HAS SOUPS 421366 WITH SCORE 421926.674
AT ITER 221 NEW BEST:: SOT 829471 SOS 560408 HAS SOPS 560408 HAS SOUS 421100 HAS SOUPS 421100 WITH SCORE 421660.408
AT ITER 225 NEW BEST:: SOT 829837 SOS 558198 HAS SOPS 558198 HAS SOUS 420445 HAS SOUPS 420445 WITH SCORE 421003.198
AT ITER 229 NEW BEST:: SOT 829776 SOS 557917 HAS SOPS 557917 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420729.917
AT ITER 245 NEW BEST:: SOT 829557 SOS 557698 HAS SOPS 557698 HAS SOUS 419953 HAS SOUPS 419953 WITH SCORE 420510.698
AT ITER 247 NEW BEST:: SOT 829098 SOS 557302 HAS SOPS 557302 HAS SOUS 419526 HAS SOUPS 419526 WITH SCORE 420083.302
AT ITER 258 NEW BEST:: SOT 829098 SOS 556906 HAS SOPS 556906 HAS SOUS 419526 HAS SOUPS 419526 WITH SCORE 420082.906
AT ITER 267 NEW BEST:: SOT 829097 SOS 556903 HAS SOPS 556903 HAS SOUS 419523 HAS SOUPS 419523 WITH SCORE 420079.903
AT ITER 274 NEW BEST:: SOT 829049 SOS 556855 HAS SOPS 556855 HAS SOUS 419475 HAS SOUPS 419475 WITH SCORE 420031.855
AT ITER 297 NEW BEST:: SOT 828905 SOS 556711 HAS SOPS 556711 HAS SOUS 419331 HAS SOUPS 419331 WITH SCORE 419887.711
AT ITER 303 NEW BEST:: SOT 828537 SOS 556341 HAS SOPS 556341 HAS SOUS 418961 HAS SOUPS 418961 WITH SCORE 419517.341
AT ITER 309 NEW BEST:: SOT 828428 SOS 556232 HAS SOPS 556232 HAS SOUS 418852 HAS SOUPS 418852 WITH SCORE 419408.232
AT ITER 312 NEW BEST:: SOT 827778 SOS 555580 HAS SOPS 555580 HAS SOUS 418200 HAS SOUPS 418200 WITH SCORE 418755.58
AT ITER 315 NEW BEST:: SOT 826941 SOS 552745 HAS SOPS 552745 HAS SOUS 417472 HAS SOUPS 417472 WITH SCORE 418024.745
AT ITER 318 NEW BEST:: SOT 826893 SOS 552721 HAS SOPS 552721 HAS SOUS 417448 HAS SOUPS 417448 WITH SCORE 418000.721
AT ITER 326 NEW BEST:: SOT 826593 SOS 552421 HAS SOPS 552421 HAS SOUS 417148 HAS SOUPS 417148 WITH SCORE 417700.421
AT ITER 333 NEW BEST:: SOT 826211 SOS 550511 HAS SOPS 550511 HAS SOUS 417147 HAS SOUPS 417147 WITH SCORE 417697.511
AT ITER 336 NEW BEST:: SOT 826208 SOS 550508 HAS SOPS 550508 HAS SOUS 417144 HAS SOUPS 417144 WITH SCORE 417694.508
AT ITER 341 NEW BEST:: SOT 825785 SOS 548393 HAS SOPS 548393 HAS SOUS 417143 HAS SOUPS 417143 WITH SCORE 417691.393
AT ITER 348 NEW BEST:: SOT 825798 SOS 548402 HAS SOPS 548402 HAS SOUS 417140 HAS SOUPS 417140 WITH SCORE 417688.402
AT ITER 356 NEW BEST:: SOT 825364 SOS 548013 HAS SOPS 548013 HAS SOUS 416751 HAS SOUPS 416751 WITH SCORE 417299.013
AT ITER 359 NEW BEST:: SOT 825190 SOS 547839 HAS SOPS 547839 HAS SOUS 416577 HAS SOUPS 416577 WITH SCORE 417124.839
AT ITER 360 NEW BEST:: SOT 825180 SOS 547827 HAS SOPS 547827 HAS SOUS 416565 HAS SOUPS 416565 WITH SCORE 417112.827
AT ITER 373 NEW BEST:: SOT 824929 SOS 547575 HAS SOPS 547575 HAS SOUS 416313 HAS SOUPS 416313 WITH SCORE 416860.575
AT ITER 375 NEW BEST:: SOT 824928 SOS 546196 HAS SOPS 546196 HAS SOUS 416294 HAS SOUPS 416294 WITH SCORE 416840.196
AT ITER 377 NEW BEST:: SOT 824580 SOS 544456 HAS SOPS 544456 HAS SOUS 416289 HAS SOUPS 416289 WITH SCORE 416833.456
AT ITER 378 NEW BEST:: SOT 824179 SOS 544055 HAS SOPS 544055 HAS SOUS 415888 HAS SOUPS 415888 WITH SCORE 416432.055
AT ITER 382 NEW BEST:: SOT 824084 SOS 543915 HAS SOPS 543915 HAS SOUS 415748 HAS SOUPS 415748 WITH SCORE 416291.915
AT ITER 388 NEW BEST:: SOT 824069 SOS 543900 HAS SOPS 543900 HAS SOUS 415733 HAS SOUPS 415733 WITH SCORE 416276.9
AT ITER 391 NEW BEST:: SOT 823883 SOS 543703 HAS SOPS 543703 HAS SOUS 415529 HAS SOUPS 415529 WITH SCORE 416072.703
AT ITER 406 NEW BEST:: SOT 823869 SOS 543685 HAS SOPS 543685 HAS SOUS 415498 HAS SOUPS 415498 WITH SCORE 416041.685
AT ITER 425 NEW BEST:: SOT 824453 SOS 543918 HAS SOPS 543918 HAS SOUS 414959 HAS SOUPS 414959 WITH SCORE 415502.918
AT ITER 430 NEW BEST:: SOT 824250 SOS 541239 HAS SOPS 541239 HAS SOUS 413890 HAS SOUPS 413890 WITH SCORE 414431.239
AT ITER 435 NEW BEST:: SOT 824241 SOS 541220 HAS SOPS 541220 HAS SOUS 413864 HAS SOUPS 413864 WITH SCORE 414405.22
AT ITER 445 NEW BEST:: SOT 823929 SOS 540908 HAS SOPS 540908 HAS SOUS 413552 HAS SOUPS 413552 WITH SCORE 414092.908
AT ITER 453 NEW BEST:: SOT 823600 SOS 539263 HAS SOPS 539263 HAS SOUS 413552 HAS SOUPS 413552 WITH SCORE 414091.263
AT ITER 458 NEW BEST:: SOT 823422 SOS 539085 HAS SOPS 539085 HAS SOUS 413374 HAS SOUPS 413374 WITH SCORE 413913.085
AT ITER 462 NEW BEST:: SOT 823368 SOS 538938 HAS SOPS 538938 HAS SOUS 413227 HAS SOUPS 413227 WITH SCORE 413765.938
AT ITER 474 NEW BEST:: SOT 823368 SOS 538329 HAS SOPS 538329 HAS SOUS 413220 HAS SOUPS 413220 WITH SCORE 413758.329
AT ITER 484 NEW BEST:: SOT 823013 SOS 538089 HAS SOPS 538089 HAS SOUS 412923 HAS SOUPS 412923 WITH SCORE 413461.089
AT ITER 487 NEW BEST:: SOT 822887 SOS 537963 HAS SOPS 537963 HAS SOUS 412797 HAS SOUPS 412797 WITH SCORE 413334.963
AT ITER 488 NEW BEST:: SOT 822596 SOS 536508 HAS SOPS 536508 HAS SOUS 412796 HAS SOUPS 412796 WITH SCORE 413332.508
AT ITER 493 NEW BEST:: SOT 821578 SOS 534183 HAS SOPS 534183 HAS SOUS 410756 HAS SOUPS 410756 WITH SCORE 411290.183
AT ITER 494 NEW BEST:: SOT 821577 SOS 534180 HAS SOPS 534180 HAS SOUS 410753 HAS SOUPS 410753 WITH SCORE 411287.18
AT ITER 510 NEW BEST:: SOT 821960 SOS 534557 HAS SOPS 534557 HAS SOUS 410362 HAS SOUPS 410362 WITH SCORE 410896.557
AT ITER 512 NEW BEST:: SOT 821723 SOS 531243 HAS SOPS 531243 HAS SOUS 409118 HAS SOUPS 409118 WITH SCORE 409649.243
AT ITER 513 NEW BEST:: SOT 821182 SOS 530826 HAS SOPS 530826 HAS SOUS 408966 HAS SOUPS 408966 WITH SCORE 409496.826
AT ITER 517 NEW BEST:: SOT 820987 SOS 530631 HAS SOPS 530631 HAS SOUS 408771 HAS SOUPS 408771 WITH SCORE 409301.631
AT ITER 530 NEW BEST:: SOT 820987 SOS 529761 HAS SOPS 529761 HAS SOUS 408762 HAS SOUPS 408762 WITH SCORE 409291.761
AT ITER 537 NEW BEST:: SOT 820979 SOS 529753 HAS SOPS 529753 HAS SOUS 408748 HAS SOUPS 408748 WITH SCORE 409277.753
AT ITER 539 NEW BEST:: SOT 820979 SOS 529747 HAS SOPS 529747 HAS SOUS 408741 HAS SOUPS 408741 WITH SCORE 409270.747
AT ITER 549 NEW BEST:: SOT 820972 SOS 529740 HAS SOPS 529740 HAS SOUS 408734 HAS SOUPS 408734 WITH SCORE 409263.74
AT ITER 553 NEW BEST:: SOT 820687 SOS 529455 HAS SOPS 529455 HAS SOUS 408448 HAS SOUPS 408448 WITH SCORE 408977.455
AT ITER 570 NEW BEST:: SOT 820679 SOS 529436 HAS SOPS 529436 HAS SOUS 408423 HAS SOUPS 408423 WITH SCORE 408952.436
AT ITER 578 NEW BEST:: SOT 820395 SOS 529152 HAS SOPS 529152 HAS SOUS 408069 HAS SOUPS 408069 WITH SCORE 408598.152
AT ITER 588 NEW BEST:: SOT 820517 SOS 528715 HAS SOPS 528715 HAS SOUS 407632 HAS SOUPS 407632 WITH SCORE 408160.715
AT ITER 590 NEW BEST:: SOT 819617 SOS 527803 HAS SOPS 527803 HAS SOUS 406720 HAS SOUPS 406720 WITH SCORE 407247.803
AT ITER 594 NEW BEST:: SOT 819976 SOS 526601 HAS SOPS 526601 HAS SOUS 406197 HAS SOUPS 406197 WITH SCORE 406723.601
AT ITER 597 NEW BEST:: SOT 819692 SOS 526317 HAS SOPS 526317 HAS SOUS 405913 HAS SOUPS 405913 WITH SCORE 406439.317
AT ITER 601 NEW BEST:: SOT 819562 SOS 526185 HAS SOPS 526185 HAS SOUS 405781 HAS SOUPS 405781 WITH SCORE 406307.185
AT ITER 605 NEW BEST:: SOT 819139 SOS 525830 HAS SOPS 525830 HAS SOUS 405494 HAS SOUPS 405494 WITH SCORE 406019.83
AT ITER 615 NEW BEST:: SOT 818876 SOS 525567 HAS SOPS 525567 HAS SOUS 405231 HAS SOUPS 405231 WITH SCORE 405756.567
AT ITER 617 NEW BEST:: SOT 818819 SOS 525499 HAS SOPS 525499 HAS SOUS 405157 HAS SOUPS 405157 WITH SCORE 405682.499
AT ITER 634 NEW BEST:: SOT 818981 SOS 525380 HAS SOPS 525380 HAS SOUS 405038 HAS SOUPS 405038 WITH SCORE 405563.38
AT ITER 638 NEW BEST:: SOT 818821 SOS 525139 HAS SOPS 525139 HAS SOUS 404797 HAS SOUPS 404797 WITH SCORE 405322.139
AT ITER 640 NEW BEST:: SOT 819387 SOS 523225 HAS SOPS 523225 HAS SOUS 404130 HAS SOUPS 404130 WITH SCORE 404653.225
AT ITER 647 NEW BEST:: SOT 819138 SOS 521980 HAS SOPS 521980 HAS SOUS 404129 HAS SOUPS 404129 WITH SCORE 404650.98
AT ITER 651 NEW BEST:: SOT 818905 SOS 521667 HAS SOPS 521667 HAS SOUS 403816 HAS SOUPS 403816 WITH SCORE 404337.667
AT ITER 656 NEW BEST:: SOT 818508 SOS 521269 HAS SOPS 521269 HAS SOUS 403418 HAS SOUPS 403418 WITH SCORE 403939.269
AT ITER 657 NEW BEST:: SOT 818446 SOS 521207 HAS SOPS 521207 HAS SOUS 403356 HAS SOUPS 403356 WITH SCORE 403877.207
AT ITER 660 NEW BEST:: SOT 817326 SOS 520087 HAS SOPS 520087 HAS SOUS 402236 HAS SOUPS 402236 WITH SCORE 402756.087
AT ITER 661 NEW BEST:: SOT 817051 SOS 520057 HAS SOPS 520057 HAS SOUS 402206 HAS SOUPS 402206 WITH SCORE 402726.057
AT ITER 667 NEW BEST:: SOT 817051 SOS 520055 HAS SOPS 520055 HAS SOUS 402204 HAS SOUPS 402204 WITH SCORE 402724.055
AT ITER 668 NEW BEST:: SOT 816793 SOS 519740 HAS SOPS 519740 HAS SOUS 401889 HAS SOUPS 401889 WITH SCORE 402408.74
AT ITER 670 NEW BEST:: SOT 816561 SOS 519508 HAS SOPS 519508 HAS SOUS 401657 HAS SOUPS 401657 WITH SCORE 402176.508
AT ITER 675 NEW BEST:: SOT 816466 SOS 519413 HAS SOPS 519413 HAS SOUS 401562 HAS SOUPS 401562 WITH SCORE 402081.413
AT ITER 682 NEW BEST:: SOT 817048 SOS 517363 HAS SOPS 517363 HAS SOUS 401423 HAS SOUPS 401423 WITH SCORE 401940.363
AT ITER 684 NEW BEST:: SOT 816934 SOS 517249 HAS SOPS 517249 HAS SOUS 401309 HAS SOUPS 401309 WITH SCORE 401826.249
AT ITER 692 NEW BEST:: SOT 816934 SOS 515779 HAS SOPS 515779 HAS SOUS 401291 HAS SOUPS 401291 WITH SCORE 401806.779
AT ITER 693 NEW BEST:: SOT 816926 SOS 515771 HAS SOPS 515771 HAS SOUS 401283 HAS SOUPS 401283 WITH SCORE 401798.771
AT ITER 702 NEW BEST:: SOT 816856 SOS 515701 HAS SOPS 515701 HAS SOUS 401213 HAS SOUPS 401213 WITH SCORE 401728.701
AT ITER 704 NEW BEST:: SOT 817079 SOS 514673 HAS SOPS 514673 HAS SOUS 401157 HAS SOUPS 401157 WITH SCORE 401671.673
AT ITER 708 NEW BEST:: SOT 817007 SOS 514601 HAS SOPS 514601 HAS SOUS 401085 HAS SOUPS 401085 WITH SCORE 401599.601
AT ITER 717 NEW BEST:: SOT 816925 SOS 514517 HAS SOPS 514517 HAS SOUS 401001 HAS SOUPS 401001 WITH SCORE 401515.517
AT ITER 720 NEW BEST:: SOT 816924 SOS 514509 HAS SOPS 514509 HAS SOUS 400996 HAS SOUPS 400996 WITH SCORE 401510.509
AT ITER 728 NEW BEST:: SOT 816511 SOS 514596 HAS SOPS 514596 HAS SOUS 400726 HAS SOUPS 400726 WITH SCORE 401240.596
AT ITER 749 NEW BEST:: SOT 816374 SOS 514459 HAS SOPS 514459 HAS SOUS 400589 HAS SOUPS 400589 WITH SCORE 401103.459
AT ITER 758 NEW BEST:: SOT 816022 SOS 512142 HAS SOPS 512142 HAS SOUS 399746 HAS SOUPS 399746 WITH SCORE 400258.142
AT ITER 760 NEW BEST:: SOT 816529 SOS 511175 HAS SOPS 511175 HAS SOUS 399490 HAS SOUPS 399490 WITH SCORE 400001.175
AT ITER 766 NEW BEST:: SOT 816421 SOS 511102 HAS SOPS 511102 HAS SOUS 399295 HAS SOUPS 399295 WITH SCORE 399806.102
AT ITER 769 NEW BEST:: SOT 816370 SOS 511047 HAS SOPS 511047 HAS SOUS 399226 HAS SOUPS 399226 WITH SCORE 399737.047
AT ITER 774 NEW BEST:: SOT 816368 SOS 511045 HAS SOPS 511045 HAS SOUS 399224 HAS SOUPS 399224 WITH SCORE 399735.045
AT ITER 780 NEW BEST:: SOT 815815 SOS 510307 HAS SOPS 510307 HAS SOUS 398486 HAS SOUPS 398486 WITH SCORE 398996.307
AT ITER 806 NEW BEST:: SOT 815551 SOS 510259 HAS SOPS 510259 HAS SOUS 397793 HAS SOUPS 397793 WITH SCORE 398303.259
AT ITER 812 NEW BEST:: SOT 815702 SOS 510223 HAS SOPS 510223 HAS SOUS 397757 HAS SOUPS 397757 WITH SCORE 398267.223
AT ITER 815 NEW BEST:: SOT 815554 SOS 510304 HAS SOPS 510304 HAS SOUS 397723 HAS SOUPS 397723 WITH SCORE 398233.304
AT ITER 827 NEW BEST:: SOT 815670 SOS 510001 HAS SOPS 510001 HAS SOUS 397706 HAS SOUPS 397706 WITH SCORE 398216.001
AT ITER 831 NEW BEST:: SOT 815612 SOS 509943 HAS SOPS 509943 HAS SOUS 397648 HAS SOUPS 397648 WITH SCORE 398157.943
AT ITER 845 NEW BEST:: SOT 815472 SOS 509803 HAS SOPS 509803 HAS SOUS 397508 HAS SOUPS 397508 WITH SCORE 398017.803
AT ITER 846 NEW BEST:: SOT 815037 SOS 509229 HAS SOPS 509229 HAS SOUS 396934 HAS SOUPS 396934 WITH SCORE 397443.229
AT ITER 848 NEW BEST:: SOT 815112 SOS 509002 HAS SOPS 509002 HAS SOUS 396706 HAS SOUPS 396706 WITH SCORE 397215.002
AT ITER 849 NEW BEST:: SOT 815216 SOS 509094 HAS SOPS 509094 HAS SOUS 396351 HAS SOUPS 396351 WITH SCORE 396860.094
AT ITER 853 NEW BEST:: SOT 815284 SOS 509112 HAS SOPS 509112 HAS SOUS 396280 HAS SOUPS 396280 WITH SCORE 396789.112
AT ITER 860 NEW BEST:: SOT 815086 SOS 508913 HAS SOPS 508913 HAS SOUS 396081 HAS SOUPS 396081 WITH SCORE 396589.913
AT ITER 862 NEW BEST:: SOT 815086 SOS 508913 HAS SOPS 508913 HAS SOUS 395873 HAS SOUPS 395873 WITH SCORE 396381.913
AT ITER 865 NEW BEST:: SOT 814796 SOS 507177 HAS SOPS 507177 HAS SOUS 395869 HAS SOUPS 395869 WITH SCORE 396376.177
AT ITER 868 NEW BEST:: SOT 814819 SOS 506943 HAS SOPS 506943 HAS SOUS 395635 HAS SOUPS 395635 WITH SCORE 396141.943
AT ITER 875 NEW BEST:: SOT 814819 SOS 506943 HAS SOPS 506943 HAS SOUS 395487 HAS SOUPS 395487 WITH SCORE 395993.943
AT ITER 881 NEW BEST:: SOT 814655 SOS 506779 HAS SOPS 506779 HAS SOUS 395323 HAS SOUPS 395323 WITH SCORE 395829.779
AT ITER 882 NEW BEST:: SOT 814655 SOS 506692 HAS SOPS 506692 HAS SOUS 395247 HAS SOUPS 395247 WITH SCORE 395753.692
AT ITER 885 NEW BEST:: SOT 814327 SOS 506465 HAS SOPS 506465 HAS SOUS 394970 HAS SOUPS 394970 WITH SCORE 395476.465
AT ITER 890 NEW BEST:: SOT 814327 SOS 505904 HAS SOPS 505904 HAS SOUS 394922 HAS SOUPS 394922 WITH SCORE 395427.904
AT ITER 896 NEW BEST:: SOT 813495 SOS 505204 HAS SOPS 505204 HAS SOUS 394222 HAS SOUPS 394222 WITH SCORE 394727.204
AT ITER 912 NEW BEST:: SOT 813451 SOS 505160 HAS SOPS 505160 HAS SOUS 394178 HAS SOUPS 394178 WITH SCORE 394683.16
AT ITER 914 NEW BEST:: SOT 813356 SOS 505065 HAS SOPS 505065 HAS SOUS 394083 HAS SOUPS 394083 WITH SCORE 394588.065
AT ITER 922 NEW BEST:: SOT 813348 SOS 505057 HAS SOPS 505057 HAS SOUS 394075 HAS SOUPS 394075 WITH SCORE 394580.057
AT ITER 924 NEW BEST:: SOT 812711 SOS 504420 HAS SOPS 504420 HAS SOUS 393437 HAS SOUPS 393437 WITH SCORE 393941.42
AT ITER 927 NEW BEST:: SOT 813242 SOS 502315 HAS SOPS 502315 HAS SOUS 393383 HAS SOUPS 393383 WITH SCORE 393885.315
AT ITER 930 NEW BEST:: SOT 813084 SOS 501525 HAS SOPS 501525 HAS SOUS 393228 HAS SOUPS 393228 WITH SCORE 393729.525
AT ITER 935 NEW BEST:: SOT 813042 SOS 501483 HAS SOPS 501483 HAS SOUS 393200 HAS SOUPS 393200 WITH SCORE 393701.483
AT ITER 937 NEW BEST:: SOT 812687 SOS 501128 HAS SOPS 501128 HAS SOUS 392845 HAS SOUPS 392845 WITH SCORE 393346.128
AT ITER 941 NEW BEST:: SOT 812368 SOS 500809 HAS SOPS 500809 HAS SOUS 392526 HAS SOUPS 392526 WITH SCORE 393026.809
AT ITER 942 NEW BEST:: SOT 812203 SOS 500542 HAS SOPS 500542 HAS SOUS 392406 HAS SOUPS 392406 WITH SCORE 392906.542
AT ITER 956 NEW BEST:: SOT 812170 SOS 500509 HAS SOPS 500509 HAS SOUS 392373 HAS SOUPS 392373 WITH SCORE 392873.509
AT ITER 970 NEW BEST:: SOT 812107 SOS 500446 HAS SOPS 500446 HAS SOUS 392310 HAS SOUPS 392310 WITH SCORE 392810.446
AT ITER 975 NEW BEST:: SOT 812107 SOS 500445 HAS SOPS 500445 HAS SOUS 392309 HAS SOUPS 392309 WITH SCORE 392809.445
AT ITER 993 NEW BEST:: SOT 812107 SOS 500263 HAS SOPS 500263 HAS SOUS 392127 HAS SOUPS 392127 WITH SCORE 392627.263
AT ITER 1006 NEW BEST:: SOT 811488 SOS 499126 HAS SOPS 499126 HAS SOUS 390991 HAS SOUPS 390991 WITH SCORE 391490.126
AT ITER 1009 NEW BEST:: SOT 811112 SOS 498665 HAS SOPS 498665 HAS SOUS 390530 HAS SOUPS 390530 WITH SCORE 391028.665
AT ITER 1010 NEW BEST:: SOT 811064 SOS 498660 HAS SOPS 498660 HAS SOUS 390504 HAS SOUPS 390504 WITH SCORE 391002.66
AT ITER 1014 NEW BEST:: SOT 810910 SOS 498506 HAS SOPS 498506 HAS SOUS 390350 HAS SOUPS 390350 WITH SCORE 390848.506
AT ITER 1016 NEW BEST:: SOT 810376 SOS 497888 HAS SOPS 497888 HAS SOUS 389732 HAS SOUPS 389732 WITH SCORE 390229.888
AT ITER 1017 NEW BEST:: SOT 810220 SOS 497734 HAS SOPS 497734 HAS SOUS 389578 HAS SOUPS 389578 WITH SCORE 390075.734
AT ITER 1019 NEW BEST:: SOT 810173 SOS 497687 HAS SOPS 497687 HAS SOUS 389531 HAS SOUPS 389531 WITH SCORE 390028.687
AT ITER 1026 NEW BEST:: SOT 810064 SOS 497578 HAS SOPS 497578 HAS SOUS 389422 HAS SOUPS 389422 WITH SCORE 389919.578
AT ITER 1029 NEW BEST:: SOT 809661 SOS 497173 HAS SOPS 497173 HAS SOUS 388796 HAS SOUPS 388796 WITH SCORE 389293.173
AT ITER 1039 NEW BEST:: SOT 809372 SOS 497069 HAS SOPS 497069 HAS SOUS 388600 HAS SOUPS 388600 WITH SCORE 389097.069
AT ITER 1055 NEW BEST:: SOT 809147 SOS 496844 HAS SOPS 496844 HAS SOUS 388375 HAS SOUPS 388375 WITH SCORE 388871.844
AT ITER 1060 NEW BEST:: SOT 808811 SOS 495164 HAS SOPS 495164 HAS SOUS 388307 HAS SOUPS 388307 WITH SCORE 388802.164
AT ITER 1064 NEW BEST:: SOT 808793 SOS 495135 HAS SOPS 495135 HAS SOUS 388275 HAS SOUPS 388275 WITH SCORE 388770.135
AT ITER 1073 NEW BEST:: SOT 808673 SOS 495013 HAS SOPS 495013 HAS SOUS 388153 HAS SOUPS 388153 WITH SCORE 388648.013
AT ITER 1074 NEW BEST:: SOT 809115 SOS 494578 HAS SOPS 494578 HAS SOUS 388125 HAS SOUPS 388125 WITH SCORE 388619.578
AT ITER 1079 NEW BEST:: SOT 809101 SOS 494555 HAS SOPS 494555 HAS SOUS 388089 HAS SOUPS 388089 WITH SCORE 388583.555
AT ITER 1085 NEW BEST:: SOT 808815 SOS 493985 HAS SOPS 493985 HAS SOUS 387528 HAS SOUPS 387528 WITH SCORE 388021.985
AT ITER 1097 NEW BEST:: SOT 809387 SOS 494042 HAS SOPS 494042 HAS SOUS 387048 HAS SOUPS 387048 WITH SCORE 387542.042
AT ITER 1103 NEW BEST:: SOT 809386 SOS 493296 HAS SOPS 493296 HAS SOUS 387039 HAS SOUPS 387039 WITH SCORE 387532.296
AT ITER 1105 NEW BEST:: SOT 809379 SOS 493289 HAS SOPS 493289 HAS SOUS 387032 HAS SOUPS 387032 WITH SCORE 387525.289
AT ITER 1114 NEW BEST:: SOT 809178 SOS 493021 HAS SOPS 493021 HAS SOUS 386764 HAS SOUPS 386764 WITH SCORE 387257.021
AT ITER 1120 NEW BEST:: SOT 809174 SOS 493017 HAS SOPS 493017 HAS SOUS 386760 HAS SOUPS 386760 WITH SCORE 387253.017
AT ITER 1143 NEW BEST:: SOT 808861 SOS 492702 HAS SOPS 492702 HAS SOUS 386445 HAS SOUPS 386445 WITH SCORE 386937.702
AT ITER 1154 NEW BEST:: SOT 808848 SOS 492689 HAS SOPS 492689 HAS SOUS 386432 HAS SOUPS 386432 WITH SCORE 386924.689
AT ITER 1157 NEW BEST:: SOT 808728 SOS 492089 HAS SOPS 492089 HAS SOUS 386312 HAS SOUPS 386312 WITH SCORE 386804.089
AT ITER 1160 NEW BEST:: SOT 808576 SOS 491937 HAS SOPS 491937 HAS SOUS 386160 HAS SOUPS 386160 WITH SCORE 386651.937
AT ITER 1164 NEW BEST:: SOT 808388 SOS 491541 HAS SOPS 491541 HAS SOUS 385721 HAS SOUPS 385721 WITH SCORE 386212.541
AT ITER 1169 NEW BEST:: SOT 808234 SOS 491387 HAS SOPS 491387 HAS SOUS 385567 HAS SOUPS 385567 WITH SCORE 386058.387
AT ITER 1175 NEW BEST:: SOT 808227 SOS 491380 HAS SOPS 491380 HAS SOUS 385560 HAS SOUPS 385560 WITH SCORE 386051.38
AT ITER 1178 NEW BEST:: SOT 808088 SOS 490685 HAS SOPS 490685 HAS SOUS 385560 HAS SOUPS 385560 WITH SCORE 386050.685
AT ITER 1184 NEW BEST:: SOT 807791 SOS 488495 HAS SOPS 488495 HAS SOUS 384666 HAS SOUPS 384666 WITH SCORE 385154.495
AT ITER 1187 NEW BEST:: SOT 807702 SOS 488406 HAS SOPS 488406 HAS SOUS 384577 HAS SOUPS 384577 WITH SCORE 385065.406
AT ITER 1196 NEW BEST:: SOT 807669 SOS 488241 HAS SOPS 488241 HAS SOUS 384577 HAS SOUPS 384577 WITH SCORE 385065.241
AT ITER 1202 NEW BEST:: SOT 807652 SOS 488224 HAS SOPS 488224 HAS SOUS 384560 HAS SOUPS 384560 WITH SCORE 385048.224
AT ITER 1208 NEW BEST:: SOT 807872 SOS 487721 HAS SOPS 487721 HAS SOUS 384546 HAS SOUPS 384546 WITH SCORE 385033.721
AT ITER 1212 NEW BEST:: SOT 807818 SOS 487667 HAS SOPS 487667 HAS SOUS 384492 HAS SOUPS 384492 WITH SCORE 384979.667
AT ITER 1224 NEW BEST:: SOT 807905 SOS 486988 HAS SOPS 486988 HAS SOUS 384134 HAS SOUPS 384134 WITH SCORE 384620.988
AT ITER 1229 NEW BEST:: SOT 807904 SOS 486985 HAS SOPS 486985 HAS SOUS 384131 HAS SOUPS 384131 WITH SCORE 384617.985
AT ITER 1240 NEW BEST:: SOT 807891 SOS 486968 HAS SOPS 486968 HAS SOUS 384102 HAS SOUPS 384102 WITH SCORE 384588.968
AT ITER 1245 NEW BEST:: SOT 807891 SOS 486611 HAS SOPS 486611 HAS SOUS 383825 HAS SOUPS 383825 WITH SCORE 384311.611
AT ITER 1252 NEW BEST:: SOT 807956 SOS 486406 HAS SOPS 486406 HAS SOUS 383620 HAS SOUPS 383620 WITH SCORE 384106.406
AT ITER 1254 NEW BEST:: SOT 807879 SOS 486212 HAS SOPS 486212 HAS SOUS 383377 HAS SOUPS 383377 WITH SCORE 383863.212
AT ITER 1256 NEW BEST:: SOT 807707 SOS 486039 HAS SOPS 486039 HAS SOUS 383204 HAS SOUPS 383204 WITH SCORE 383690.039
AT ITER 1278 NEW BEST:: SOT 806891 SOS 485412 HAS SOPS 485412 HAS SOUS 382577 HAS SOUPS 382577 WITH SCORE 383062.412
AT ITER 1283 NEW BEST:: SOT 806715 SOS 485234 HAS SOPS 485234 HAS SOUS 382399 HAS SOUPS 382399 WITH SCORE 382884.234
AT ITER 1284 NEW BEST:: SOT 806564 SOS 484826 HAS SOPS 484826 HAS SOUS 381991 HAS SOUPS 381991 WITH SCORE 382475.826
AT ITER 1301 NEW BEST:: SOT 806507 SOS 484798 HAS SOPS 484798 HAS SOUS 381851 HAS SOUPS 381851 WITH SCORE 382335.798
AT ITER 1306 NEW BEST:: SOT 806365 SOS 484088 HAS SOPS 484088 HAS SOUS 381850 HAS SOUPS 381850 WITH SCORE 382334.088
AT ITER 1311 NEW BEST:: SOT 805873 SOS 483595 HAS SOPS 483595 HAS SOUS 381357 HAS SOUPS 381357 WITH SCORE 381840.595
AT ITER 1314 NEW BEST:: SOT 805945 SOS 483415 HAS SOPS 483415 HAS SOUS 380864 HAS SOUPS 380864 WITH SCORE 381347.415
AT ITER 1316 NEW BEST:: SOT 805939 SOS 483391 HAS SOPS 483391 HAS SOUS 380617 HAS SOUPS 380617 WITH SCORE 381100.391
AT ITER 1327 NEW BEST:: SOT 805814 SOS 483459 HAS SOPS 483459 HAS SOUS 380589 HAS SOUPS 380589 WITH SCORE 381072.459
AT ITER 1331 NEW BEST:: SOT 805794 SOS 483431 HAS SOPS 483431 HAS SOUS 380549 HAS SOUPS 380549 WITH SCORE 381032.431
AT ITER 1339 NEW BEST:: SOT 805418 SOS 483055 HAS SOPS 483055 HAS SOUS 380173 HAS SOUPS 380173 WITH SCORE 380656.055
AT ITER 1348 NEW BEST:: SOT 805251 SOS 482554 HAS SOPS 482554 HAS SOUS 380173 HAS SOUPS 380173 WITH SCORE 380655.554
AT ITER 1356 NEW BEST:: SOT 805251 SOS 482554 HAS SOPS 482554 HAS SOUS 380060 HAS SOUPS 380060 WITH SCORE 380542.554
AT ITER 1361 NEW BEST:: SOT 804727 SOS 482030 HAS SOPS 482030 HAS SOUS 379536 HAS SOUPS 379536 WITH SCORE 380018.03
AT ITER 1363 NEW BEST:: SOT 804705 SOS 481834 HAS SOPS 481834 HAS SOUS 379450 HAS SOUPS 379450 WITH SCORE 379931.834
AT ITER 1368 NEW BEST:: SOT 804969 SOS 481834 HAS SOPS 481834 HAS SOUS 379436 HAS SOUPS 379436 WITH SCORE 379917.834
AT ITER 1372 NEW BEST:: SOT 804695 SOS 481560 HAS SOPS 481560 HAS SOUS 379162 HAS SOUPS 379162 WITH SCORE 379643.56
AT ITER 1378 NEW BEST:: SOT 805385 SOS 479182 HAS SOPS 479182 HAS SOUS 378247 HAS SOUPS 378247 WITH SCORE 378726.182
AT ITER 1382 NEW BEST:: SOT 805288 SOS 479085 HAS SOPS 479085 HAS SOUS 378150 HAS SOUPS 378150 WITH SCORE 378629.085
AT ITER 1390 NEW BEST:: SOT 805275 SOS 479063 HAS SOPS 479063 HAS SOUS 378116 HAS SOUPS 378116 WITH SCORE 378595.063
AT ITER 1392 NEW BEST:: SOT 805111 SOS 479224 HAS SOPS 479224 HAS SOUS 378115 HAS SOUPS 378115 WITH SCORE 378594.224
AT ITER 1416 NEW BEST:: SOT 804833 SOS 476363 HAS SOPS 476363 HAS SOUS 376890 HAS SOUPS 376890 WITH SCORE 377366.363
AT ITER 1421 NEW BEST:: SOT 804826 SOS 475544 HAS SOPS 475544 HAS SOUS 376696 HAS SOUPS 376696 WITH SCORE 377171.544
AT ITER 1426 NEW BEST:: SOT 804216 SOS 474934 HAS SOPS 474934 HAS SOUS 376086 HAS SOUPS 376086 WITH SCORE 376560.934
AT ITER 1434 NEW BEST:: SOT 804082 SOS 474800 HAS SOPS 474800 HAS SOUS 375952 HAS SOUPS 375952 WITH SCORE 376426.8
AT ITER 1442 NEW BEST:: SOT 803606 SOS 474324 HAS SOPS 474324 HAS SOUS 375476 HAS SOUPS 375476 WITH SCORE 375950.324
AT ITER 1449 NEW BEST:: SOT 803638 SOS 474345 HAS SOPS 474345 HAS SOUS 375291 HAS SOUPS 375291 WITH SCORE 375765.345
AT ITER 1460 NEW BEST:: SOT 803441 SOS 473954 HAS SOPS 473954 HAS SOUS 374900 HAS SOUPS 374900 WITH SCORE 375373.954
AT ITER 1470 NEW BEST:: SOT 803440 SOS 472956 HAS SOPS 472956 HAS SOUS 374894 HAS SOUPS 374894 WITH SCORE 375366.956
AT ITER 1476 NEW BEST:: SOT 803440 SOS 472876 HAS SOPS 472876 HAS SOUS 374850 HAS SOUPS 374850 WITH SCORE 375322.876
AT ITER 1482 NEW BEST:: SOT 803440 SOS 472848 HAS SOPS 472848 HAS SOUS 374850 HAS SOUPS 374850 WITH SCORE 375322.848
AT ITER 1486 NEW BEST:: SOT 803036 SOS 472522 HAS SOPS 472522 HAS SOUS 374680 HAS SOUPS 374680 WITH SCORE 375152.522
AT ITER 1491 NEW BEST:: SOT 803032 SOS 472517 HAS SOPS 472517 HAS SOUS 374675 HAS SOUPS 374675 WITH SCORE 375147.517
AT ITER 1501 NEW BEST:: SOT 802780 SOS 471257 HAS SOPS 471257 HAS SOUS 374427 HAS SOUPS 374427 WITH SCORE 374898.257
AT ITER 1503 NEW BEST:: SOT 802779 SOS 470445 HAS SOPS 470445 HAS SOUS 374406 HAS SOUPS 374406 WITH SCORE 374876.445
AT ITER 1505 NEW BEST:: SOT 802778 SOS 470443 HAS SOPS 470443 HAS SOUS 374406 HAS SOUPS 374406 WITH SCORE 374876.443
AT ITER 1532 NEW BEST:: SOT 802316 SOS 469981 HAS SOPS 469981 HAS SOUS 374152 HAS SOUPS 374152 WITH SCORE 374621.981
AT ITER 1537 NEW BEST:: SOT 802500 SOS 469175 HAS SOPS 469175 HAS SOUS 373382 HAS SOUPS 373382 WITH SCORE 373851.175
AT ITER 1539 NEW BEST:: SOT 802144 SOS 468440 HAS SOPS 468440 HAS SOUS 372508 HAS SOUPS 372508 WITH SCORE 372976.44
AT ITER 1543 NEW BEST:: SOT 801460 SOS 467559 HAS SOPS 467559 HAS SOUS 371627 HAS SOUPS 371627 WITH SCORE 372094.559
AT ITER 1551 NEW BEST:: SOT 801309 SOS 467545 HAS SOPS 467545 HAS SOUS 371533 HAS SOUPS 371533 WITH SCORE 372000.545
AT ITER 1571 NEW BEST:: SOT 801307 SOS 467543 HAS SOPS 467543 HAS SOUS 371531 HAS SOUPS 371531 WITH SCORE 371998.543
AT ITER 1575 NEW BEST:: SOT 801307 SOS 467247 HAS SOPS 467247 HAS SOUS 371457 HAS SOUPS 371457 WITH SCORE 371924.247
AT ITER 1577 NEW BEST:: SOT 801281 SOS 467221 HAS SOPS 467221 HAS SOUS 371431 HAS SOUPS 371431 WITH SCORE 371898.221
AT ITER 1583 NEW BEST:: SOT 801084 SOS 465874 HAS SOPS 465874 HAS SOUS 371429 HAS SOUPS 371429 WITH SCORE 371894.874
AT ITER 1591 NEW BEST:: SOT 800263 SOS 463702 HAS SOPS 463702 HAS SOUS 370104 HAS SOUPS 370104 WITH SCORE 370567.702
AT ITER 1604 NEW BEST:: SOT 800154 SOS 463593 HAS SOPS 463593 HAS SOUS 369994 HAS SOUPS 369994 WITH SCORE 370457.593
AT ITER 1611 NEW BEST:: SOT 800154 SOS 463592 HAS SOPS 463592 HAS SOUS 369993 HAS SOUPS 369993 WITH SCORE 370456.592
AT ITER 1614 NEW BEST:: SOT 800036 SOS 463474 HAS SOPS 463474 HAS SOUS 369875 HAS SOUPS 369875 WITH SCORE 370338.474
AT ITER 1631 NEW BEST:: SOT 799971 SOS 463407 HAS SOPS 463407 HAS SOUS 369808 HAS SOUPS 369808 WITH SCORE 370271.407
AT ITER 1635 NEW BEST:: SOT 799770 SOS 463204 HAS SOPS 463204 HAS SOUS 369605 HAS SOUPS 369605 WITH SCORE 370068.204
AT ITER 1636 NEW BEST:: SOT 799770 SOS 463194 HAS SOPS 463194 HAS SOUS 369589 HAS SOUPS 369589 WITH SCORE 370052.194
AT ITER 1640 NEW BEST:: SOT 799677 SOS 463101 HAS SOPS 463101 HAS SOUS 369496 HAS SOUPS 369496 WITH SCORE 369959.101
AT ITER 1641 NEW BEST:: SOT 799666 SOS 463099 HAS SOPS 463099 HAS SOUS 369494 HAS SOUPS 369494 WITH SCORE 369957.099
AT ITER 1651 NEW BEST:: SOT 799602 SOS 463035 HAS SOPS 463035 HAS SOUS 369430 HAS SOUPS 369430 WITH SCORE 369893.035
AT ITER 1659 NEW BEST:: SOT 799604 SOS 463035 HAS SOPS 463035 HAS SOUS 369427 HAS SOUPS 369427 WITH SCORE 369890.035
AT ITER 1666 NEW BEST:: SOT 799464 SOS 462895 HAS SOPS 462895 HAS SOUS 369426 HAS SOUPS 369426 WITH SCORE 369888.895
AT ITER 1672 NEW BEST:: SOT 798169 SOS 460919 HAS SOPS 460919 HAS SOUS 366090 HAS SOUPS 366090 WITH SCORE 366550.919
AT ITER 1674 NEW BEST:: SOT 798086 SOS 460504 HAS SOPS 460504 HAS SOUS 366090 HAS SOUPS 366090 WITH SCORE 366550.504
AT ITER 1682 NEW BEST:: SOT 798020 SOS 460395 HAS SOPS 460395 HAS SOUS 366002 HAS SOUPS 366002 WITH SCORE 366462.395
AT ITER 1685 NEW BEST:: SOT 798049 SOS 460418 HAS SOPS 460418 HAS SOUS 365913 HAS SOUPS 365913 WITH SCORE 366373.418
AT ITER 1687 NEW BEST:: SOT 798047 SOS 459481 HAS SOPS 459481 HAS SOUS 365537 HAS SOUPS 365537 WITH SCORE 365996.481
AT ITER 1688 NEW BEST:: SOT 798049 SOS 459480 HAS SOPS 459480 HAS SOUS 365533 HAS SOUPS 365533 WITH SCORE 365992.48
AT ITER 1696 NEW BEST:: SOT 797868 SOS 459299 HAS SOPS 459299 HAS SOUS 365352 HAS SOUPS 365352 WITH SCORE 365811.299
AT ITER 1705 NEW BEST:: SOT 797837 SOS 459144 HAS SOPS 459144 HAS SOUS 365352 HAS SOUPS 365352 WITH SCORE 365811.144
AT ITER 1706 NEW BEST:: SOT 797833 SOS 459140 HAS SOPS 459140 HAS SOUS 365348 HAS SOUPS 365348 WITH SCORE 365807.14
AT ITER 1711 NEW BEST:: SOT 797168 SOS 458475 HAS SOPS 458475 HAS SOUS 364683 HAS SOUPS 364683 WITH SCORE 365141.475
AT ITER 1715 NEW BEST:: SOT 796573 SOS 455500 HAS SOPS 455500 HAS SOUS 364683 HAS SOUPS 364683 WITH SCORE 365138.5
AT ITER 1722 NEW BEST:: SOT 796207 SOS 455060 HAS SOPS 455060 HAS SOUS 364243 HAS SOUPS 364243 WITH SCORE 364698.06
AT ITER 1724 NEW BEST:: SOT 796194 SOS 455034 HAS SOPS 455034 HAS SOUS 364217 HAS SOUPS 364217 WITH SCORE 364672.034
AT ITER 1726 NEW BEST:: SOT 796149 SOS 454989 HAS SOPS 454989 HAS SOUS 364172 HAS SOUPS 364172 WITH SCORE 364626.989
AT ITER 1728 NEW BEST:: SOT 796563 SOS 454723 HAS SOPS 454723 HAS SOUS 363982 HAS SOUPS 363982 WITH SCORE 364436.723
AT ITER 1731 NEW BEST:: SOT 796228 SOS 454092 HAS SOPS 454092 HAS SOUS 362800 HAS SOUPS 362800 WITH SCORE 363254.092
AT ITER 1737 NEW BEST:: SOT 796043 SOS 453420 HAS SOPS 453420 HAS SOUS 362083 HAS SOUPS 362083 WITH SCORE 362536.42
AT ITER 1740 NEW BEST:: SOT 796007 SOS 453372 HAS SOPS 453372 HAS SOUS 362058 HAS SOUPS 362058 WITH SCORE 362511.372
AT ITER 1750 NEW BEST:: SOT 795939 SOS 453304 HAS SOPS 453304 HAS SOUS 361983 HAS SOUPS 361983 WITH SCORE 362436.304
AT ITER 1756 NEW BEST:: SOT 795897 SOS 453262 HAS SOPS 453262 HAS SOUS 361941 HAS SOUPS 361941 WITH SCORE 362394.262
AT ITER 1775 NEW BEST:: SOT 795861 SOS 453082 HAS SOPS 453082 HAS SOUS 361940 HAS SOUPS 361940 WITH SCORE 362393.082
AT ITER 1776 NEW BEST:: SOT 795745 SOS 452966 HAS SOPS 452966 HAS SOUS 361824 HAS SOUPS 361824 WITH SCORE 362276.966
AT ITER 1780 NEW BEST:: SOT 796026 SOS 451786 HAS SOPS 451786 HAS SOUS 361376 HAS SOUPS 361376 WITH SCORE 361827.786
AT ITER 1783 NEW BEST:: SOT 795879 SOS 451583 HAS SOPS 451583 HAS SOUS 361352 HAS SOUPS 361352 WITH SCORE 361803.583
AT ITER 1787 NEW BEST:: SOT 795879 SOS 451579 HAS SOPS 451579 HAS SOUS 360816 HAS SOUPS 360816 WITH SCORE 361267.579
AT ITER 1792 NEW BEST:: SOT 795878 SOS 450871 HAS SOPS 450871 HAS SOUS 360803 HAS SOUPS 360803 WITH SCORE 361253.871
AT ITER 1797 NEW BEST:: SOT 795704 SOS 450695 HAS SOPS 450695 HAS SOUS 360626 HAS SOUPS 360626 WITH SCORE 361076.695
AT ITER 1798 NEW BEST:: SOT 795601 SOS 450189 HAS SOPS 450189 HAS SOUS 360269 HAS SOUPS 360269 WITH SCORE 360719.189
AT ITER 1802 NEW BEST:: SOT 795567 SOS 450155 HAS SOPS 450155 HAS SOUS 360187 HAS SOUPS 360187 WITH SCORE 360637.155
AT ITER 1803 NEW BEST:: SOT 795557 SOS 450139 HAS SOPS 450139 HAS SOUS 360171 HAS SOUPS 360171 WITH SCORE 360621.139
AT ITER 1812 NEW BEST:: SOT 795315 SOS 449907 HAS SOPS 449907 HAS SOUS 359939 HAS SOUPS 359939 WITH SCORE 360388.907
AT ITER 1816 NEW BEST:: SOT 795315 SOS 449111 HAS SOPS 449111 HAS SOUS 359927 HAS SOUPS 359927 WITH SCORE 360376.111
AT ITER 1817 NEW BEST:: SOT 795174 SOS 448923 HAS SOPS 448923 HAS SOUS 359739 HAS SOUPS 359739 WITH SCORE 360187.923
AT ITER 1828 NEW BEST:: SOT 795058 SOS 448792 HAS SOPS 448792 HAS SOUS 359608 HAS SOUPS 359608 WITH SCORE 360056.792
AT ITER 1835 NEW BEST:: SOT 794971 SOS 447785 HAS SOPS 447785 HAS SOUS 358851 HAS SOUPS 358851 WITH SCORE 359298.785
AT ITER 1837 NEW BEST:: SOT 794970 SOS 447784 HAS SOPS 447784 HAS SOUS 358850 HAS SOUPS 358850 WITH SCORE 359297.784
AT ITER 1839 NEW BEST:: SOT 794741 SOS 446871 HAS SOPS 446871 HAS SOUS 358279 HAS SOUPS 358279 WITH SCORE 358725.871
AT ITER 1840 NEW BEST:: SOT 794714 SOS 446844 HAS SOPS 446844 HAS SOUS 358252 HAS SOUPS 358252 WITH SCORE 358698.844
AT ITER 1841 NEW BEST:: SOT 794681 SOS 446811 HAS SOPS 446811 HAS SOUS 358219 HAS SOUPS 358219 WITH SCORE 358665.811
AT ITER 1843 NEW BEST:: SOT 793897 SOS 445737 HAS SOPS 445737 HAS SOUS 357144 HAS SOUPS 357144 WITH SCORE 357589.737
AT ITER 1846 NEW BEST:: SOT 793815 SOS 445643 HAS SOPS 445643 HAS SOUS 357050 HAS SOUPS 357050 WITH SCORE 357495.643
AT ITER 1849 NEW BEST:: SOT 793691 SOS 445576 HAS SOPS 445576 HAS SOUS 356689 HAS SOUPS 356689 WITH SCORE 357134.576
AT ITER 1858 NEW BEST:: SOT 793568 SOS 445453 HAS SOPS 445453 HAS SOUS 356566 HAS SOUPS 356566 WITH SCORE 357011.453
AT ITER 1864 NEW BEST:: SOT 793400 SOS 445285 HAS SOPS 445285 HAS SOUS 356398 HAS SOUPS 356398 WITH SCORE 356843.285
AT ITER 1865 NEW BEST:: SOT 793458 SOS 444967 HAS SOPS 444967 HAS SOUS 356383 HAS SOUPS 356383 WITH SCORE 356827.967
AT ITER 1870 NEW BEST:: SOT 793162 SOS 444705 HAS SOPS 444705 HAS SOUS 356121 HAS SOUPS 356121 WITH SCORE 356565.705
AT ITER 1871 NEW BEST:: SOT 793162 SOS 444541 HAS SOPS 444541 HAS SOUS 356021 HAS SOUPS 356021 WITH SCORE 356465.541
AT ITER 1872 NEW BEST:: SOT 793274 SOS 444371 HAS SOPS 444371 HAS SOUS 355851 HAS SOUPS 355851 WITH SCORE 356295.371
AT ITER 1889 NEW BEST:: SOT 792873 SOS 443969 HAS SOPS 443969 HAS SOUS 355449 HAS SOUPS 355449 WITH SCORE 355892.969
AT ITER 1894 NEW BEST:: SOT 792872 SOS 443948 HAS SOPS 443948 HAS SOUS 355435 HAS SOUPS 355435 WITH SCORE 355878.948
AT ITER 1903 NEW BEST:: SOT 792822 SOS 443756 HAS SOPS 443756 HAS SOUS 355153 HAS SOUPS 355153 WITH SCORE 355596.756
AT ITER 1925 NEW BEST:: SOT 792822 SOS 442501 HAS SOPS 442501 HAS SOUS 354322 HAS SOUPS 354322 WITH SCORE 354764.501
AT ITER 1926 NEW BEST:: SOT 792822 SOS 442468 HAS SOPS 442468 HAS SOUS 354290 HAS SOUPS 354290 WITH SCORE 354732.468
AT ITER 1939 NEW BEST:: SOT 792822 SOS 442368 HAS SOPS 442368 HAS SOUS 354272 HAS SOUPS 354272 WITH SCORE 354714.368
AT ITER 1947 NEW BEST:: SOT 792775 SOS 442321 HAS SOPS 442321 HAS SOUS 354225 HAS SOUPS 354225 WITH SCORE 354667.321
AT ITER 1950 NEW BEST:: SOT 792652 SOS 442198 HAS SOPS 442198 HAS SOUS 354102 HAS SOUPS 354102 WITH SCORE 354544.198
AT ITER 1952 NEW BEST:: SOT 792494 SOS 441645 HAS SOPS 441645 HAS SOUS 353786 HAS SOUPS 353786 WITH SCORE 354227.645
AT ITER 1963 NEW BEST:: SOT 792468 SOS 441047 HAS SOPS 441047 HAS SOUS 353289 HAS SOUPS 353289 WITH SCORE 353730.047
AT ITER 1965 NEW BEST:: SOT 792170 SOS 440749 HAS SOPS 440749 HAS SOUS 352991 HAS SOUPS 352991 WITH SCORE 353431.749
AT ITER 1978 NEW BEST:: SOT 792168 SOS 439466 HAS SOPS 439466 HAS SOUS 352973 HAS SOUPS 352973 WITH SCORE 353412.466
AT ITER 1984 NEW BEST:: SOT 791850 SOS 438917 HAS SOPS 438917 HAS SOUS 352424 HAS SOUPS 352424 WITH SCORE 352862.917
AT ITER 1991 NEW BEST:: SOT 791377 SOS 436460 HAS SOPS 436460 HAS SOUS 352424 HAS SOUPS 352424 WITH SCORE 352860.46
AT ITER 1997 NEW BEST:: SOT 791312 SOS 436296 HAS SOPS 436296 HAS SOUS 352260 HAS SOUPS 352260 WITH SCORE 352696.296
AT ITER 1999 NEW BEST:: SOT 791296 SOS 436280 HAS SOPS 436280 HAS SOUS 352173 HAS SOUPS 352173 WITH SCORE 352609.28
AT ITER 2004 NEW BEST:: SOT 791381 SOS 436077 HAS SOPS 436077 HAS SOUS 351228 HAS SOUPS 351228 WITH SCORE 351664.077
AT ITER 2005 NEW BEST:: SOT 791396 SOS 435813 HAS SOPS 435813 HAS SOUS 350921 HAS SOUPS 350921 WITH SCORE 351356.813
AT ITER 2012 NEW BEST:: SOT 791393 SOS 435798 HAS SOPS 435798 HAS SOUS 350918 HAS SOUPS 350918 WITH SCORE 351353.798
AT ITER 2021 NEW BEST:: SOT 791169 SOS 434678 HAS SOPS 434678 HAS SOUS 350917 HAS SOUPS 350917 WITH SCORE 351351.678
AT ITER 2023 NEW BEST:: SOT 791138 SOS 434563 HAS SOPS 434563 HAS SOUS 350802 HAS SOUPS 350802 WITH SCORE 351236.563
AT ITER 2027 NEW BEST:: SOT 792003 SOS 433520 HAS SOPS 433520 HAS SOUS 350642 HAS SOUPS 350642 WITH SCORE 351075.52
AT ITER 2032 NEW BEST:: SOT 791493 SOS 433315 HAS SOPS 433315 HAS SOUS 350437 HAS SOUPS 350437 WITH SCORE 350870.315
AT ITER 2052 NEW BEST:: SOT 791071 SOS 432682 HAS SOPS 432682 HAS SOUS 349804 HAS SOUPS 349804 WITH SCORE 350236.682
AT ITER 2054 NEW BEST:: SOT 791071 SOS 432682 HAS SOPS 432682 HAS SOUS 349748 HAS SOUPS 349748 WITH SCORE 350180.682
AT ITER 2069 NEW BEST:: SOT 791078 SOS 432695 HAS SOPS 432695 HAS SOUS 349747 HAS SOUPS 349747 WITH SCORE 350179.695
AT ITER 2077 NEW BEST:: SOT 790868 SOS 432519 HAS SOPS 432519 HAS SOUS 349571 HAS SOUPS 349571 WITH SCORE 350003.519
AT ITER 2090 NEW BEST:: SOT 790744 SOS 432395 HAS SOPS 432395 HAS SOUS 349447 HAS SOUPS 349447 WITH SCORE 349879.395
AT ITER 2092 NEW BEST:: SOT 790556 SOS 432207 HAS SOPS 432207 HAS SOUS 349259 HAS SOUPS 349259 WITH SCORE 349691.207
AT ITER 2093 NEW BEST:: SOT 790515 SOS 432125 HAS SOPS 432125 HAS SOUS 349177 HAS SOUPS 349177 WITH SCORE 349609.125
AT ITER 2095 NEW BEST:: SOT 790495 SOS 432105 HAS SOPS 432105 HAS SOUS 349157 HAS SOUPS 349157 WITH SCORE 349589.105
AT ITER 2099 NEW BEST:: SOT 790514 SOS 432113 HAS SOPS 432113 HAS SOUS 349140 HAS SOUPS 349140 WITH SCORE 349572.113
AT ITER 2107 NEW BEST:: SOT 790514 SOS 431024 HAS SOPS 431024 HAS SOUS 348777 HAS SOUPS 348777 WITH SCORE 349208.024
AT ITER 2109 NEW BEST:: SOT 790506 SOS 431016 HAS SOPS 431016 HAS SOUS 348769 HAS SOUPS 348769 WITH SCORE 349200.016
AT ITER 2111 NEW BEST:: SOT 790024 SOS 429186 HAS SOPS 429186 HAS SOUS 347665 HAS SOUPS 347665 WITH SCORE 348094.186
AT ITER 2112 NEW BEST:: SOT 790024 SOS 429154 HAS SOPS 429154 HAS SOUS 347633 HAS SOUPS 347633 WITH SCORE 348062.154
AT ITER 2114 NEW BEST:: SOT 789755 SOS 428885 HAS SOPS 428885 HAS SOUS 347364 HAS SOUPS 347364 WITH SCORE 347792.885
AT ITER 2115 NEW BEST:: SOT 789755 SOS 428883 HAS SOPS 428883 HAS SOUS 347362 HAS SOUPS 347362 WITH SCORE 347790.883
AT ITER 2122 NEW BEST:: SOT 790127 SOS 428402 HAS SOPS 428402 HAS SOUS 346892 HAS SOUPS 346892 WITH SCORE 347320.402
AT ITER 2128 NEW BEST:: SOT 790363 SOS 428588 HAS SOPS 428588 HAS SOUS 346835 HAS SOUPS 346835 WITH SCORE 347263.588
AT ITER 2134 NEW BEST:: SOT 790256 SOS 427980 HAS SOPS 427980 HAS SOUS 346835 HAS SOUPS 346835 WITH SCORE 347262.98
AT ITER 2141 NEW BEST:: SOT 790256 SOS 427884 HAS SOPS 427884 HAS SOUS 346803 HAS SOUPS 346803 WITH SCORE 347230.884
AT ITER 2173 NEW BEST:: SOT 790033 SOS 427450 HAS SOPS 427450 HAS SOUS 346379 HAS SOUPS 346379 WITH SCORE 346806.45
AT ITER 2183 NEW BEST:: SOT 789636 SOS 426286 HAS SOPS 426286 HAS SOUS 346159 HAS SOUPS 346159 WITH SCORE 346585.286
AT ITER 2185 NEW BEST:: SOT 789527 SOS 426077 HAS SOPS 426077 HAS SOUS 346041 HAS SOUPS 346041 WITH SCORE 346467.077
AT ITER 2186 NEW BEST:: SOT 789499 SOS 426049 HAS SOPS 426049 HAS SOUS 346013 HAS SOUPS 346013 WITH SCORE 346439.049
AT ITER 2188 NEW BEST:: SOT 789364 SOS 426989 HAS SOPS 426989 HAS SOUS 345724 HAS SOUPS 345724 WITH SCORE 346150.989
AT ITER 2196 NEW BEST:: SOT 789364 SOS 426422 HAS SOPS 426422 HAS SOUS 345678 HAS SOUPS 345678 WITH SCORE 346104.422
AT ITER 2199 NEW BEST:: SOT 789203 SOS 426261 HAS SOPS 426261 HAS SOUS 345517 HAS SOUPS 345517 WITH SCORE 345943.261
AT ITER 2218 NEW BEST:: SOT 788830 SOS 426139 HAS SOPS 426139 HAS SOUS 345270 HAS SOUPS 345270 WITH SCORE 345696.139
AT ITER 2220 NEW BEST:: SOT 788451 SOS 425824 HAS SOPS 425824 HAS SOUS 344902 HAS SOUPS 344902 WITH SCORE 345327.824
AT ITER 2227 NEW BEST:: SOT 788146 SOS 424091 HAS SOPS 424091 HAS SOUS 344558 HAS SOUPS 344558 WITH SCORE 344982.091
AT ITER 2236 NEW BEST:: SOT 788033 SOS 423978 HAS SOPS 423978 HAS SOUS 344445 HAS SOUPS 344445 WITH SCORE 344868.978
AT ITER 2241 NEW BEST:: SOT 788033 SOS 423927 HAS SOPS 423927 HAS SOUS 344445 HAS SOUPS 344445 WITH SCORE 344868.927
AT ITER 2243 NEW BEST:: SOT 787719 SOS 423466 HAS SOPS 423466 HAS SOUS 343982 HAS SOUPS 343982 WITH SCORE 344405.466
AT ITER 2245 NEW BEST:: SOT 787719 SOS 423463 HAS SOPS 423463 HAS SOUS 343980 HAS SOUPS 343980 WITH SCORE 344403.463
AT ITER 2264 NEW BEST:: SOT 787719 SOS 423313 HAS SOPS 423313 HAS SOUS 343830 HAS SOUPS 343830 WITH SCORE 344253.313
AT ITER 2273 NEW BEST:: SOT 787719 SOS 423313 HAS SOPS 423313 HAS SOUS 343809 HAS SOUPS 343809 WITH SCORE 344232.313
AT ITER 2274 NEW BEST:: SOT 787696 SOS 423291 HAS SOPS 423291 HAS SOUS 343787 HAS SOUPS 343787 WITH SCORE 344210.291
AT ITER 2295 NEW BEST:: SOT 787696 SOS 423289 HAS SOPS 423289 HAS SOUS 343730 HAS SOUPS 343730 WITH SCORE 344153.289
AT ITER 2301 NEW BEST:: SOT 787688 SOS 423279 HAS SOPS 423279 HAS SOUS 343720 HAS SOUPS 343720 WITH SCORE 344143.279
AT ITER 2308 NEW BEST:: SOT 787567 SOS 423158 HAS SOPS 423158 HAS SOUS 343599 HAS SOUPS 343599 WITH SCORE 344022.158
AT ITER 2311 NEW BEST:: SOT 787567 SOS 422824 HAS SOPS 422824 HAS SOUS 343590 HAS SOUPS 343590 WITH SCORE 344012.824
AT ITER 2329 NEW BEST:: SOT 787567 SOS 421427 HAS SOPS 421427 HAS SOUS 343589 HAS SOUPS 343589 WITH SCORE 344010.427
AT ITER 2346 NEW BEST:: SOT 787494 SOS 421354 HAS SOPS 421354 HAS SOUS 343516 HAS SOUPS 343516 WITH SCORE 343937.354
AT ITER 2360 NEW BEST:: SOT 787997 SOS 420295 HAS SOPS 420295 HAS SOUS 343217 HAS SOUPS 343217 WITH SCORE 343637.295
AT ITER 2361 NEW BEST:: SOT 787940 SOS 420270 HAS SOPS 420270 HAS SOUS 342950 HAS SOUPS 342950 WITH SCORE 343370.27
AT ITER 2383 NEW BEST:: SOT 787729 SOS 420197 HAS SOPS 420197 HAS SOUS 342875 HAS SOUPS 342875 WITH SCORE 343295.197
AT ITER 2389 NEW BEST:: SOT 787724 SOS 420086 HAS SOPS 420086 HAS SOUS 342711 HAS SOUPS 342711 WITH SCORE 343131.086
AT ITER 2391 NEW BEST:: SOT 787615 SOS 420394 HAS SOPS 420394 HAS SOUS 342667 HAS SOUPS 342667 WITH SCORE 343087.394
AT ITER 2397 NEW BEST:: SOT 787621 SOS 420400 HAS SOPS 420400 HAS SOUS 342657 HAS SOUPS 342657 WITH SCORE 343077.4
AT ITER 2403 NEW BEST:: SOT 787451 SOS 420230 HAS SOPS 420230 HAS SOUS 342487 HAS SOUPS 342487 WITH SCORE 342907.23
AT ITER 2421 NEW BEST:: SOT 787278 SOS 420071 HAS SOPS 420071 HAS SOUS 342328 HAS SOUPS 342328 WITH SCORE 342748.071
AT ITER 2427 NEW BEST:: SOT 787148 SOS 419941 HAS SOPS 419941 HAS SOUS 341938 HAS SOUPS 341938 WITH SCORE 342357.941
AT ITER 2432 NEW BEST:: SOT 787055 SOS 419848 HAS SOPS 419848 HAS SOUS 341938 HAS SOUPS 341938 WITH SCORE 342357.848
AT ITER 2436 NEW BEST:: SOT 786875 SOS 419578 HAS SOPS 419578 HAS SOUS 341758 HAS SOUPS 341758 WITH SCORE 342177.578
AT ITER 2445 NEW BEST:: SOT 787271 SOS 418619 HAS SOPS 418619 HAS SOUS 341634 HAS SOUPS 341634 WITH SCORE 342052.619
AT ITER 2446 NEW BEST:: SOT 787697 SOS 418863 HAS SOPS 418863 HAS SOUS 341271 HAS SOUPS 341271 WITH SCORE 341689.863
AT ITER 2447 NEW BEST:: SOT 787077 SOS 418243 HAS SOPS 418243 HAS SOUS 340651 HAS SOUPS 340651 WITH SCORE 341069.243
AT ITER 2468 NEW BEST:: SOT 787035 SOS 418201 HAS SOPS 418201 HAS SOUS 340609 HAS SOUPS 340609 WITH SCORE 341027.201
AT ITER 2479 NEW BEST:: SOT 787416 SOS 418287 HAS SOPS 418287 HAS SOUS 340561 HAS SOUPS 340561 WITH SCORE 340979.287
AT ITER 2484 NEW BEST:: SOT 787407 SOS 418234 HAS SOPS 418234 HAS SOUS 340559 HAS SOUPS 340559 WITH SCORE 340977.234
AT ITER 2486 NEW BEST:: SOT 787295 SOS 417674 HAS SOPS 417674 HAS SOUS 340445 HAS SOUPS 340445 WITH SCORE 340862.674
AT ITER 2488 NEW BEST:: SOT 787338 SOS 417760 HAS SOPS 417760 HAS SOUS 340402 HAS SOUPS 340402 WITH SCORE 340819.76
AT ITER 2491 NEW BEST:: SOT 787236 SOS 417564 HAS SOPS 417564 HAS SOUS 340144 HAS SOUPS 340144 WITH SCORE 340561.564
AT ITER 2495 NEW BEST:: SOT 786862 SOS 417190 HAS SOPS 417190 HAS SOUS 339986 HAS SOUPS 339986 WITH SCORE 340403.19
AT ITER 2496 NEW BEST:: SOT 786547 SOS 416875 HAS SOPS 416875 HAS SOUS 339452 HAS SOUPS 339452 WITH SCORE 339868.875
AT ITER 2497 NEW BEST:: SOT 786451 SOS 416832 HAS SOPS 416832 HAS SOUS 339403 HAS SOUPS 339403 WITH SCORE 339819.832
AT ITER 2499 NEW BEST:: SOT 786161 SOS 416542 HAS SOPS 416542 HAS SOUS 339113 HAS SOUPS 339113 WITH SCORE 339529.542
AT ITER 2505 NEW BEST:: SOT 786123 SOS 416170 HAS SOPS 416170 HAS SOUS 338790 HAS SOUPS 338790 WITH SCORE 339206.17
AT ITER 2509 NEW BEST:: SOT 786057 SOS 416104 HAS SOPS 416104 HAS SOUS 338724 HAS SOUPS 338724 WITH SCORE 339140.104
AT ITER 2511 NEW BEST:: SOT 785234 SOS 414890 HAS SOPS 414890 HAS SOUS 337510 HAS SOUPS 337510 WITH SCORE 337924.89
AT ITER 2512 NEW BEST:: SOT 785203 SOS 413873 HAS SOPS 413873 HAS SOUS 336974 HAS SOUPS 336974 WITH SCORE 337387.873
AT ITER 2520 NEW BEST:: SOT 785052 SOS 413324 HAS SOPS 413324 HAS SOUS 336186 HAS SOUPS 336186 WITH SCORE 336599.324
AT ITER 2526 NEW BEST:: SOT 784975 SOS 413247 HAS SOPS 413247 HAS SOUS 336109 HAS SOUPS 336109 WITH SCORE 336522.247
AT ITER 2538 NEW BEST:: SOT 784980 SOS 413246 HAS SOPS 413246 HAS SOUS 336108 HAS SOUPS 336108 WITH SCORE 336521.246
AT ITER 2543 NEW BEST:: SOT 784862 SOS 412833 HAS SOPS 412833 HAS SOUS 335872 HAS SOUPS 335872 WITH SCORE 336284.833
AT ITER 2548 NEW BEST:: SOT 784800 SOS 412825 HAS SOPS 412825 HAS SOUS 335826 HAS SOUPS 335826 WITH SCORE 336238.825
AT ITER 2558 NEW BEST:: SOT 784650 SOS 412560 HAS SOPS 412560 HAS SOUS 335561 HAS SOUPS 335561 WITH SCORE 335973.56
AT ITER 2562 NEW BEST:: SOT 784658 SOS 412568 HAS SOPS 412568 HAS SOUS 335541 HAS SOUPS 335541 WITH SCORE 335953.568
AT ITER 2567 NEW BEST:: SOT 784536 SOS 412677 HAS SOPS 412677 HAS SOUS 335521 HAS SOUPS 335521 WITH SCORE 335933.677
AT ITER 2574 NEW BEST:: SOT 784586 SOS 412458 HAS SOPS 412458 HAS SOUS 335133 HAS SOUPS 335133 WITH SCORE 335545.458
AT ITER 2577 NEW BEST:: SOT 784359 SOS 412017 HAS SOPS 412017 HAS SOUS 334658 HAS SOUPS 334658 WITH SCORE 335070.017
AT ITER 2579 NEW BEST:: SOT 783827 SOS 410833 HAS SOPS 410833 HAS SOUS 333995 HAS SOUPS 333995 WITH SCORE 334405.833
AT ITER 2581 NEW BEST:: SOT 783463 SOS 410484 HAS SOPS 410484 HAS SOUS 333639 HAS SOUPS 333639 WITH SCORE 334049.484
AT ITER 2582 NEW BEST:: SOT 783462 SOS 410387 HAS SOPS 410387 HAS SOUS 333586 HAS SOUPS 333586 WITH SCORE 333996.387
AT ITER 2590 NEW BEST:: SOT 783462 SOS 410091 HAS SOPS 410091 HAS SOUS 333512 HAS SOUPS 333512 WITH SCORE 333922.091
AT ITER 2594 NEW BEST:: SOT 783487 SOS 410091 HAS SOPS 410091 HAS SOUS 333476 HAS SOUPS 333476 WITH SCORE 333886.091
AT ITER 2604 NEW BEST:: SOT 783478 SOS 410094 HAS SOPS 410094 HAS SOUS 333473 HAS SOUPS 333473 WITH SCORE 333883.094
AT ITER 2605 NEW BEST:: SOT 783300 SOS 409837 HAS SOPS 409837 HAS SOUS 333216 HAS SOUPS 333216 WITH SCORE 333625.837
AT ITER 2609 NEW BEST:: SOT 783300 SOS 409741 HAS SOPS 409741 HAS SOUS 333117 HAS SOUPS 333117 WITH SCORE 333526.741
AT ITER 2619 NEW BEST:: SOT 783275 SOS 409716 HAS SOPS 409716 HAS SOUS 333092 HAS SOUPS 333092 WITH SCORE 333501.716
AT ITER 2629 NEW BEST:: SOT 783152 SOS 409464 HAS SOPS 409464 HAS SOUS 332887 HAS SOUPS 332887 WITH SCORE 333296.464
AT ITER 2634 NEW BEST:: SOT 783057 SOS 409138 HAS SOPS 409138 HAS SOUS 332561 HAS SOUPS 332561 WITH SCORE 332970.138
AT ITER 2655 NEW BEST:: SOT 782697 SOS 408778 HAS SOPS 408778 HAS SOUS 332201 HAS SOUPS 332201 WITH SCORE 332609.778
AT ITER 2659 NEW BEST:: SOT 782688 SOS 408654 HAS SOPS 408654 HAS SOUS 331997 HAS SOUPS 331997 WITH SCORE 332405.654
AT ITER 2667 NEW BEST:: SOT 782349 SOS 408204 HAS SOPS 408204 HAS SOUS 331561 HAS SOUPS 331561 WITH SCORE 331969.204
AT ITER 2673 NEW BEST:: SOT 781507 SOS 406871 HAS SOPS 406871 HAS SOUS 330859 HAS SOUPS 330859 WITH SCORE 331265.871
AT ITER 2676 NEW BEST:: SOT 781505 SOS 406097 HAS SOPS 406097 HAS SOUS 330838 HAS SOUPS 330838 WITH SCORE 331244.097
AT ITER 2686 NEW BEST:: SOT 781131 SOS 405057 HAS SOPS 405057 HAS SOUS 330792 HAS SOUPS 330792 WITH SCORE 331197.057
AT ITER 2696 NEW BEST:: SOT 781131 SOS 405021 HAS SOPS 405021 HAS SOUS 330774 HAS SOUPS 330774 WITH SCORE 331179.021
AT ITER 2698 NEW BEST:: SOT 781131 SOS 405020 HAS SOPS 405020 HAS SOUS 330773 HAS SOUPS 330773 WITH SCORE 331178.02
AT ITER 2702 NEW BEST:: SOT 781046 SOS 404269 HAS SOPS 404269 HAS SOUS 330665 HAS SOUPS 330665 WITH SCORE 331069.269
AT ITER 2705 NEW BEST:: SOT 781046 SOS 403889 HAS SOPS 403889 HAS SOUS 330285 HAS SOUPS 330285 WITH SCORE 330688.889
AT ITER 2706 NEW BEST:: SOT 780941 SOS 403784 HAS SOPS 403784 HAS SOUS 330180 HAS SOUPS 330180 WITH SCORE 330583.784
AT ITER 2712 NEW BEST:: SOT 780886 SOS 403340 HAS SOPS 403340 HAS SOUS 329663 HAS SOUPS 329663 WITH SCORE 330066.34
AT ITER 2725 NEW BEST:: SOT 780871 SOS 403325 HAS SOPS 403325 HAS SOUS 329648 HAS SOUPS 329648 WITH SCORE 330051.325
AT ITER 2727 NEW BEST:: SOT 780811 SOS 403265 HAS SOPS 403265 HAS SOUS 329588 HAS SOUPS 329588 WITH SCORE 329991.265
AT ITER 2733 NEW BEST:: SOT 780811 SOS 403238 HAS SOPS 403238 HAS SOUS 329507 HAS SOUPS 329507 WITH SCORE 329910.238
AT ITER 2734 NEW BEST:: SOT 780881 SOS 401938 HAS SOPS 401938 HAS SOUS 329423 HAS SOUPS 329423 WITH SCORE 329824.938
AT ITER 2742 NEW BEST:: SOT 780885 SOS 401720 HAS SOPS 401720 HAS SOUS 329204 HAS SOUPS 329204 WITH SCORE 329605.72
AT ITER 2760 NEW BEST:: SOT 780913 SOS 401738 HAS SOPS 401738 HAS SOUS 329188 HAS SOUPS 329188 WITH SCORE 329589.738
AT ITER 2761 NEW BEST:: SOT 780507 SOS 401329 HAS SOPS 401329 HAS SOUS 328779 HAS SOUPS 328779 WITH SCORE 329180.329
AT ITER 2764 NEW BEST:: SOT 780507 SOS 401427 HAS SOPS 401427 HAS SOUS 328739 HAS SOUPS 328739 WITH SCORE 329140.427
AT ITER 2771 NEW BEST:: SOT 780531 SOS 400591 HAS SOPS 400591 HAS SOUS 328262 HAS SOUPS 328262 WITH SCORE 328662.591
AT ITER 2777 NEW BEST:: SOT 780531 SOS 400591 HAS SOPS 400591 HAS SOUS 328226 HAS SOUPS 328226 WITH SCORE 328626.591
AT ITER 2787 NEW BEST:: SOT 780197 SOS 400257 HAS SOPS 400257 HAS SOUS 327892 HAS SOUPS 327892 WITH SCORE 328292.257
AT ITER 2792 NEW BEST:: SOT 780034 SOS 399747 HAS SOPS 399747 HAS SOUS 327457 HAS SOUPS 327457 WITH SCORE 327856.747
AT ITER 2795 NEW BEST:: SOT 779972 SOS 399644 HAS SOPS 399644 HAS SOUS 327353 HAS SOUPS 327353 WITH SCORE 327752.644
AT ITER 2797 NEW BEST:: SOT 779883 SOS 399603 HAS SOPS 399603 HAS SOUS 327237 HAS SOUPS 327237 WITH SCORE 327636.603
AT ITER 2798 NEW BEST:: SOT 779850 SOS 399537 HAS SOPS 399537 HAS SOUS 327171 HAS SOUPS 327171 WITH SCORE 327570.537
AT ITER 2799 NEW BEST:: SOT 779495 SOS 399159 HAS SOPS 399159 HAS SOUS 326793 HAS SOUPS 326793 WITH SCORE 327192.159
AT ITER 2822 NEW BEST:: SOT 779460 SOS 399124 HAS SOPS 399124 HAS SOUS 326758 HAS SOUPS 326758 WITH SCORE 327157.124
AT ITER 2826 NEW BEST:: SOT 779459 SOS 398224 HAS SOPS 398224 HAS SOUS 326753 HAS SOUPS 326753 WITH SCORE 327151.224
AT ITER 2829 NEW BEST:: SOT 779459 SOS 398160 HAS SOPS 398160 HAS SOUS 326689 HAS SOUPS 326689 WITH SCORE 327087.16
AT ITER 2833 NEW BEST:: SOT 779020 SOS 397580 HAS SOPS 397580 HAS SOUS 326109 HAS SOUPS 326109 WITH SCORE 326506.58
AT ITER 2834 NEW BEST:: SOT 778920 SOS 397480 HAS SOPS 397480 HAS SOUS 326009 HAS SOUPS 326009 WITH SCORE 326406.48
AT ITER 2835 NEW BEST:: SOT 778642 SOS 397205 HAS SOPS 397205 HAS SOUS 325733 HAS SOUPS 325733 WITH SCORE 326130.205
AT ITER 2856 NEW BEST:: SOT 778453 SOS 395834 HAS SOPS 395834 HAS SOUS 325264 HAS SOUPS 325264 WITH SCORE 325659.834
AT ITER 2863 NEW BEST:: SOT 778086 SOS 395509 HAS SOPS 395509 HAS SOUS 324661 HAS SOUPS 324661 WITH SCORE 325056.509
AT ITER 2867 NEW BEST:: SOT 778086 SOS 395305 HAS SOPS 395305 HAS SOUS 324559 HAS SOUPS 324559 WITH SCORE 324954.305
AT ITER 2873 NEW BEST:: SOT 778046 SOS 395265 HAS SOPS 395265 HAS SOUS 324519 HAS SOUPS 324519 WITH SCORE 324914.265
AT ITER 2876 NEW BEST:: SOT 778034 SOS 395243 HAS SOPS 395243 HAS SOUS 324497 HAS SOUPS 324497 WITH SCORE 324892.243
AT ITER 2877 NEW BEST:: SOT 778299 SOS 395508 HAS SOPS 395508 HAS SOUS 324378 HAS SOUPS 324378 WITH SCORE 324773.508
AT ITER 2881 NEW BEST:: SOT 778297 SOS 395506 HAS SOPS 395506 HAS SOUS 324376 HAS SOUPS 324376 WITH SCORE 324771.506
AT ITER 2888 NEW BEST:: SOT 778378 SOS 395505 HAS SOPS 395505 HAS SOUS 324375 HAS SOUPS 324375 WITH SCORE 324770.505
AT ITER 2892 NEW BEST:: SOT 778447 SOS 394332 HAS SOPS 394332 HAS SOUS 323954 HAS SOUPS 323954 WITH SCORE 324348.332
AT ITER 2903 NEW BEST:: SOT 778417 SOS 394302 HAS SOPS 394302 HAS SOUS 323938 HAS SOUPS 323938 WITH SCORE 324332.302
AT ITER 2904 NEW BEST:: SOT 778277 SOS 393602 HAS SOPS 393602 HAS SOUS 323796 HAS SOUPS 323796 WITH SCORE 324189.602
AT ITER 2906 NEW BEST:: SOT 778275 SOS 393478 HAS SOPS 393478 HAS SOUS 323672 HAS SOUPS 323672 WITH SCORE 324065.478
AT ITER 2913 NEW BEST:: SOT 778562 SOS 393463 HAS SOPS 393463 HAS SOUS 323657 HAS SOUPS 323657 WITH SCORE 324050.463
AT ITER 2923 NEW BEST:: SOT 778704 SOS 393425 HAS SOPS 393425 HAS SOUS 323619 HAS SOUPS 323619 WITH SCORE 324012.425
AT ITER 2930 NEW BEST:: SOT 779154 SOS 393423 HAS SOPS 393423 HAS SOUS 323593 HAS SOUPS 323593 WITH SCORE 323986.423
AT ITER 2935 NEW BEST:: SOT 779067 SOS 393277 HAS SOPS 393277 HAS SOUS 323447 HAS SOUPS 323447 WITH SCORE 323840.277
AT ITER 2936 NEW BEST:: SOT 779009 SOS 393095 HAS SOPS 393095 HAS SOUS 323265 HAS SOUPS 323265 WITH SCORE 323658.095
AT ITER 2968 NEW BEST:: SOT 779008 SOS 393086 HAS SOPS 393086 HAS SOUS 323263 HAS SOUPS 323263 WITH SCORE 323656.086
AT ITER 2969 NEW BEST:: SOT 778587 SOS 391243 HAS SOPS 391243 HAS SOUS 323108 HAS SOUPS 323108 WITH SCORE 323499.243
AT ITER 2986 NEW BEST:: SOT 778574 SOS 391222 HAS SOPS 391222 HAS SOUS 323076 HAS SOUPS 323076 WITH SCORE 323467.222
AT ITER 2987 NEW BEST:: SOT 778594 SOS 391546 HAS SOPS 391546 HAS SOUS 323007 HAS SOUPS 323007 WITH SCORE 323398.546
AT ITER 2997 NEW BEST:: SOT 778439 SOS 391468 HAS SOPS 391468 HAS SOUS 322847 HAS SOUPS 322847 WITH SCORE 323238.468
AT ITER 3001 NEW BEST:: SOT 778127 SOS 391012 HAS SOPS 391012 HAS SOUS 322706 HAS SOUPS 322706 WITH SCORE 323097.012
AT ITER 3014 NEW BEST:: SOT 778144 SOS 391038 HAS SOPS 391038 HAS SOUS 322672 HAS SOUPS 322672 WITH SCORE 323063.038
AT ITER 3015 NEW BEST:: SOT 778260 SOS 390912 HAS SOPS 390912 HAS SOUS 322546 HAS SOUPS 322546 WITH SCORE 322936.912
AT ITER 3023 NEW BEST:: SOT 779078 SOS 388996 HAS SOPS 388996 HAS SOUS 322433 HAS SOUPS 322433 WITH SCORE 322821.996
AT ITER 3026 NEW BEST:: SOT 778734 SOS 388644 HAS SOPS 388644 HAS SOUS 322081 HAS SOUPS 322081 WITH SCORE 322469.644
AT ITER 3037 NEW BEST:: SOT 778626 SOS 388464 HAS SOPS 388464 HAS SOUS 321901 HAS SOUPS 321901 WITH SCORE 322289.464
AT ITER 3050 NEW BEST:: SOT 779278 SOS 388992 HAS SOPS 388992 HAS SOUS 321887 HAS SOUPS 321887 WITH SCORE 322275.992
AT ITER 3054 NEW BEST:: SOT 779265 SOS 388979 HAS SOPS 388979 HAS SOUS 321792 HAS SOUPS 321792 WITH SCORE 322180.979
AT ITER 3063 NEW BEST:: SOT 779094 SOS 388660 HAS SOPS 388660 HAS SOUS 321473 HAS SOUPS 321473 WITH SCORE 321861.66
AT ITER 3065 NEW BEST:: SOT 779074 SOS 388640 HAS SOPS 388640 HAS SOUS 321453 HAS SOUPS 321453 WITH SCORE 321841.64
AT ITER 3068 NEW BEST:: SOT 779689 SOS 388877 HAS SOPS 388877 HAS SOUS 321370 HAS SOUPS 321370 WITH SCORE 321758.877
AT ITER 3069 NEW BEST:: SOT 779689 SOS 388605 HAS SOPS 388605 HAS SOUS 321083 HAS SOUPS 321083 WITH SCORE 321471.605
AT ITER 3072 NEW BEST:: SOT 779633 SOS 388549 HAS SOPS 388549 HAS SOUS 321027 HAS SOUPS 321027 WITH SCORE 321415.549
AT ITER 3081 NEW BEST:: SOT 779201 SOS 387717 HAS SOPS 387717 HAS SOUS 320263 HAS SOUPS 320263 WITH SCORE 320650.717
AT ITER 3088 NEW BEST:: SOT 779046 SOS 387466 HAS SOPS 387466 HAS SOUS 320012 HAS SOUPS 320012 WITH SCORE 320399.466
AT ITER 3091 NEW BEST:: SOT 779254 SOS 387674 HAS SOPS 387674 HAS SOUS 320010 HAS SOUPS 320010 WITH SCORE 320397.674
AT ITER 3109 NEW BEST:: SOT 779114 SOS 387405 HAS SOPS 387405 HAS SOUS 319514 HAS SOUPS 319514 WITH SCORE 319901.405
AT ITER 3110 NEW BEST:: SOT 779114 SOS 387317 HAS SOPS 387317 HAS SOUS 319426 HAS SOUPS 319426 WITH SCORE 319813.317
AT ITER 3124 NEW BEST:: SOT 779144 SOS 387346 HAS SOPS 387346 HAS SOUS 319424 HAS SOUPS 319424 WITH SCORE 319811.346
AT ITER 3163 NEW BEST:: SOT 778880 SOS 387082 HAS SOPS 387082 HAS SOUS 319160 HAS SOUPS 319160 WITH SCORE 319547.082
AT ITER 3175 NEW BEST:: SOT 778774 SOS 384265 HAS SOPS 384265 HAS SOUS 317807 HAS SOUPS 317807 WITH SCORE 318191.265
AT ITER 3178 NEW BEST:: SOT 778755 SOS 384190 HAS SOPS 384190 HAS SOUS 317713 HAS SOUPS 317713 WITH SCORE 318097.19
AT ITER 3179 NEW BEST:: SOT 779062 SOS 382585 HAS SOPS 382585 HAS SOUS 317412 HAS SOUPS 317412 WITH SCORE 317794.585
AT ITER 3190 NEW BEST:: SOT 779033 SOS 382487 HAS SOPS 382487 HAS SOUS 317314 HAS SOUPS 317314 WITH SCORE 317696.487
AT ITER 3207 NEW BEST:: SOT 778433 SOS 382030 HAS SOPS 382030 HAS SOUS 316457 HAS SOUPS 316457 WITH SCORE 316839.03
AT ITER 3215 NEW BEST:: SOT 777968 SOS 381765 HAS SOPS 381765 HAS SOUS 316192 HAS SOUPS 316192 WITH SCORE 316573.765
AT ITER 3230 NEW BEST:: SOT 777637 SOS 381355 HAS SOPS 381355 HAS SOUS 315782 HAS SOUPS 315782 WITH SCORE 316163.355
AT ITER 3246 NEW BEST:: SOT 777465 SOS 381098 HAS SOPS 381098 HAS SOUS 315525 HAS SOUPS 315525 WITH SCORE 315906.098
AT ITER 3247 NEW BEST:: SOT 777642 SOS 381111 HAS SOPS 381111 HAS SOUS 315502 HAS SOUPS 315502 WITH SCORE 315883.111
AT ITER 3266 NEW BEST:: SOT 777691 SOS 380971 HAS SOPS 380971 HAS SOUS 315362 HAS SOUPS 315362 WITH SCORE 315742.971
AT ITER 3276 NEW BEST:: SOT 777535 SOS 380549 HAS SOPS 380549 HAS SOUS 314935 HAS SOUPS 314935 WITH SCORE 315315.549
AT ITER 3282 NEW BEST:: SOT 776636 SOS 379608 HAS SOPS 379608 HAS SOUS 313994 HAS SOUPS 313994 WITH SCORE 314373.608
AT ITER 3286 NEW BEST:: SOT 776183 SOS 379269 HAS SOPS 379269 HAS SOUS 313656 HAS SOUPS 313656 WITH SCORE 314035.269
AT ITER 3289 NEW BEST:: SOT 776183 SOS 379226 HAS SOPS 379226 HAS SOUS 313645 HAS SOUPS 313645 WITH SCORE 314024.226
AT ITER 3294 NEW BEST:: SOT 776297 SOS 378747 HAS SOPS 378747 HAS SOUS 313305 HAS SOUPS 313305 WITH SCORE 313683.747
AT ITER 3296 NEW BEST:: SOT 776037 SOS 378487 HAS SOPS 378487 HAS SOUS 313045 HAS SOUPS 313045 WITH SCORE 313423.487
AT ITER 3297 NEW BEST:: SOT 775964 SOS 378414 HAS SOPS 378414 HAS SOUS 313016 HAS SOUPS 313016 WITH SCORE 313394.414
AT ITER 3298 NEW BEST:: SOT 775964 SOS 378382 HAS SOPS 378382 HAS SOUS 312984 HAS SOUPS 312984 WITH SCORE 313362.382
AT ITER 3306 NEW BEST:: SOT 775954 SOS 378311 HAS SOPS 378311 HAS SOUS 312913 HAS SOUPS 312913 WITH SCORE 313291.311
AT ITER 3320 NEW BEST:: SOT 775844 SOS 378201 HAS SOPS 378201 HAS SOUS 312753 HAS SOUPS 312753 WITH SCORE 313131.201
AT ITER 3322 NEW BEST:: SOT 775805 SOS 378162 HAS SOPS 378162 HAS SOUS 312714 HAS SOUPS 312714 WITH SCORE 313092.162
AT ITER 3328 NEW BEST:: SOT 774982 SOS 377139 HAS SOPS 377139 HAS SOUS 311691 HAS SOUPS 311691 WITH SCORE 312068.139
AT ITER 3359 NEW BEST:: SOT 774851 SOS 377008 HAS SOPS 377008 HAS SOUS 311560 HAS SOUPS 311560 WITH SCORE 311937.008
AT ITER 3361 NEW BEST:: SOT 774849 SOS 376970 HAS SOPS 376970 HAS SOUS 311536 HAS SOUPS 311536 WITH SCORE 311912.97
AT ITER 3362 NEW BEST:: SOT 774775 SOS 376637 HAS SOPS 376637 HAS SOUS 311002 HAS SOUPS 311002 WITH SCORE 311378.637
AT ITER 3368 NEW BEST:: SOT 774866 SOS 376532 HAS SOPS 376532 HAS SOUS 310897 HAS SOUPS 310897 WITH SCORE 311273.532
AT ITER 3380 NEW BEST:: SOT 774646 SOS 376530 HAS SOPS 376530 HAS SOUS 310787 HAS SOUPS 310787 WITH SCORE 311163.53
AT ITER 3391 NEW BEST:: SOT 774509 SOS 376116 HAS SOPS 376116 HAS SOUS 310723 HAS SOUPS 310723 WITH SCORE 311099.116
AT ITER 3395 NEW BEST:: SOT 774370 SOS 375977 HAS SOPS 375977 HAS SOUS 310583 HAS SOUPS 310583 WITH SCORE 310958.977
AT ITER 3402 NEW BEST:: SOT 773937 SOS 372909 HAS SOPS 372909 HAS SOUS 309836 HAS SOUPS 309836 WITH SCORE 310208.909
AT ITER 3429 NEW BEST:: SOT 773841 SOS 372735 HAS SOPS 372735 HAS SOUS 309679 HAS SOUPS 309679 WITH SCORE 310051.735
AT ITER 3433 NEW BEST:: SOT 773841 SOS 372661 HAS SOPS 372661 HAS SOUS 309676 HAS SOUPS 309676 WITH SCORE 310048.661
AT ITER 3434 NEW BEST:: SOT 773841 SOS 372108 HAS SOPS 372108 HAS SOUS 309658 HAS SOUPS 309658 WITH SCORE 310030.108
AT ITER 3437 NEW BEST:: SOT 773497 SOS 371400 HAS SOPS 371400 HAS SOUS 309000 HAS SOUPS 309000 WITH SCORE 309371.4
AT ITER 3454 NEW BEST:: SOT 773886 SOS 370105 HAS SOPS 370105 HAS SOUS 308944 HAS SOUPS 308944 WITH SCORE 309314.105
AT ITER 3456 NEW BEST:: SOT 773872 SOS 369986 HAS SOPS 369986 HAS SOUS 308825 HAS SOUPS 308825 WITH SCORE 309194.986
AT ITER 3467 NEW BEST:: SOT 773848 SOS 369821 HAS SOPS 369821 HAS SOUS 308660 HAS SOUPS 308660 WITH SCORE 309029.821
AT ITER 3483 NEW BEST:: SOT 773848 SOS 369289 HAS SOPS 369289 HAS SOUS 308556 HAS SOUPS 308556 WITH SCORE 308925.289
AT ITER 3488 NEW BEST:: SOT 773659 SOS 369075 HAS SOPS 369075 HAS SOUS 308342 HAS SOUPS 308342 WITH SCORE 308711.075
AT ITER 3492 NEW BEST:: SOT 773656 SOS 369072 HAS SOPS 369072 HAS SOUS 308339 HAS SOUPS 308339 WITH SCORE 308708.072
AT ITER 3497 NEW BEST:: SOT 773537 SOS 368834 HAS SOPS 368834 HAS SOUS 308339 HAS SOUPS 308339 WITH SCORE 308707.834
AT ITER 3499 NEW BEST:: SOT 773337 SOS 368760 HAS SOPS 368760 HAS SOUS 308212 HAS SOUPS 308212 WITH SCORE 308580.76
AT ITER 3511 NEW BEST:: SOT 773278 SOS 368658 HAS SOPS 368658 HAS SOUS 308110 HAS SOUPS 308110 WITH SCORE 308478.658
AT ITER 3515 NEW BEST:: SOT 773278 SOS 368410 HAS SOPS 368410 HAS SOUS 308085 HAS SOUPS 308085 WITH SCORE 308453.41
AT ITER 3520 NEW BEST:: SOT 772954 SOS 368031 HAS SOPS 368031 HAS SOUS 307706 HAS SOUPS 307706 WITH SCORE 308074.031
AT ITER 3522 NEW BEST:: SOT 772813 SOS 367856 HAS SOPS 367856 HAS SOUS 307531 HAS SOUPS 307531 WITH SCORE 307898.856
AT ITER 3533 NEW BEST:: SOT 772489 SOS 367254 HAS SOPS 367254 HAS SOUS 306929 HAS SOUPS 306929 WITH SCORE 307296.254
AT ITER 3537 NEW BEST:: SOT 773109 SOS 367210 HAS SOPS 367210 HAS SOUS 306896 HAS SOUPS 306896 WITH SCORE 307263.21
AT ITER 3541 NEW BEST:: SOT 773108 SOS 367057 HAS SOPS 367057 HAS SOUS 306857 HAS SOUPS 306857 WITH SCORE 307224.057
AT ITER 3546 NEW BEST:: SOT 773107 SOS 367008 HAS SOPS 367008 HAS SOUS 306842 HAS SOUPS 306842 WITH SCORE 307209.008
AT ITER 3560 NEW BEST:: SOT 773102 SOS 366980 HAS SOPS 366980 HAS SOUS 306837 HAS SOUPS 306837 WITH SCORE 307203.98
AT ITER 3565 NEW BEST:: SOT 773074 SOS 366924 HAS SOPS 366924 HAS SOUS 306809 HAS SOUPS 306809 WITH SCORE 307175.924
AT ITER 3572 NEW BEST:: SOT 772969 SOS 365758 HAS SOPS 365758 HAS SOUS 306615 HAS SOUPS 306615 WITH SCORE 306980.758
AT ITER 3575 NEW BEST:: SOT 773069 SOS 364606 HAS SOPS 364606 HAS SOUS 306231 HAS SOUPS 306231 WITH SCORE 306595.606
AT ITER 3631 NEW BEST:: SOT 773065 SOS 363760 HAS SOPS 363760 HAS SOUS 306003 HAS SOUPS 306003 WITH SCORE 306366.76
AT ITER 3633 NEW BEST:: SOT 773121 SOS 363806 HAS SOPS 363806 HAS SOUS 305982 HAS SOUPS 305982 WITH SCORE 306345.806
AT ITER 3640 NEW BEST:: SOT 773119 SOS 363803 HAS SOPS 363803 HAS SOUS 305980 HAS SOUPS 305980 WITH SCORE 306343.803
AT ITER 3642 NEW BEST:: SOT 773089 SOS 363352 HAS SOPS 363352 HAS SOUS 305671 HAS SOUPS 305671 WITH SCORE 306034.352
AT ITER 3648 NEW BEST:: SOT 773064 SOS 363327 HAS SOPS 363327 HAS SOUS 305646 HAS SOUPS 305646 WITH SCORE 306009.327
AT ITER 3654 NEW BEST:: SOT 772805 SOS 363061 HAS SOPS 363061 HAS SOUS 305380 HAS SOUPS 305380 WITH SCORE 305743.061
AT ITER 3661 NEW BEST:: SOT 772803 SOS 360885 HAS SOPS 360885 HAS SOUS 304649 HAS SOUPS 304649 WITH SCORE 305009.885
AT ITER 3666 NEW BEST:: SOT 772717 SOS 360639 HAS SOPS 360639 HAS SOUS 304403 HAS SOUPS 304403 WITH SCORE 304763.639
AT ITER 3668 NEW BEST:: SOT 772716 SOS 359221 HAS SOPS 359221 HAS SOUS 304343 HAS SOUPS 304343 WITH SCORE 304702.221
AT ITER 3674 NEW BEST:: SOT 772708 SOS 359209 HAS SOPS 359209 HAS SOUS 304335 HAS SOUPS 304335 WITH SCORE 304694.209
AT ITER 3676 NEW BEST:: SOT 772708 SOS 358885 HAS SOPS 358885 HAS SOUS 304140 HAS SOUPS 304140 WITH SCORE 304498.885
AT ITER 3692 NEW BEST:: SOT 772537 SOS 358714 HAS SOPS 358714 HAS SOUS 304136 HAS SOUPS 304136 WITH SCORE 304494.714
AT ITER 3698 NEW BEST:: SOT 772286 SOS 358463 HAS SOPS 358463 HAS SOUS 303885 HAS SOUPS 303885 WITH SCORE 304243.463
AT ITER 3703 NEW BEST:: SOT 772565 SOS 358623 HAS SOPS 358623 HAS SOUS 303855 HAS SOUPS 303855 WITH SCORE 304213.623
AT ITER 3705 NEW BEST:: SOT 772520 SOS 358533 HAS SOPS 358533 HAS SOUS 303765 HAS SOUPS 303765 WITH SCORE 304123.533
AT ITER 3713 NEW BEST:: SOT 772482 SOS 358495 HAS SOPS 358495 HAS SOUS 303727 HAS SOUPS 303727 WITH SCORE 304085.495
AT ITER 3729 NEW BEST:: SOT 772204 SOS 358217 HAS SOPS 358217 HAS SOUS 303553 HAS SOUPS 303553 WITH SCORE 303911.217
AT ITER 3730 NEW BEST:: SOT 771666 SOS 357596 HAS SOPS 357596 HAS SOUS 302932 HAS SOUPS 302932 WITH SCORE 303289.596
AT ITER 3740 NEW BEST:: SOT 771570 SOS 357500 HAS SOPS 357500 HAS SOUS 302836 HAS SOUPS 302836 WITH SCORE 303193.5
AT ITER 3744 NEW BEST:: SOT 771126 SOS 356787 HAS SOPS 356787 HAS SOUS 302064 HAS SOUPS 302064 WITH SCORE 302420.787
AT ITER 3762 NEW BEST:: SOT 771125 SOS 356785 HAS SOPS 356785 HAS SOUS 302064 HAS SOUPS 302064 WITH SCORE 302420.785
AT ITER 3784 NEW BEST:: SOT 771063 SOS 356723 HAS SOPS 356723 HAS SOUS 302002 HAS SOUPS 302002 WITH SCORE 302358.723
AT ITER 3787 NEW BEST:: SOT 770784 SOS 356332 HAS SOPS 356332 HAS SOUS 301611 HAS SOUPS 301611 WITH SCORE 301967.332
AT ITER 3817 NEW BEST:: SOT 770638 SOS 356175 HAS SOPS 356175 HAS SOUS 301454 HAS SOUPS 301454 WITH SCORE 301810.175
AT ITER 3823 NEW BEST:: SOT 770532 SOS 356010 HAS SOPS 356010 HAS SOUS 301333 HAS SOUPS 301333 WITH SCORE 301689.01
AT ITER 3830 NEW BEST:: SOT 770332 SOS 355560 HAS SOPS 355560 HAS SOUS 301026 HAS SOUPS 301026 WITH SCORE 301381.56
AT ITER 3832 NEW BEST:: SOT 770304 SOS 355532 HAS SOPS 355532 HAS SOUS 300998 HAS SOUPS 300998 WITH SCORE 301353.532
AT ITER 3836 NEW BEST:: SOT 770079 SOS 355324 HAS SOPS 355324 HAS SOUS 300790 HAS SOUPS 300790 WITH SCORE 301145.324
AT ITER 3841 NEW BEST:: SOT 770079 SOS 355322 HAS SOPS 355322 HAS SOUS 300789 HAS SOUPS 300789 WITH SCORE 301144.322
AT ITER 3845 NEW BEST:: SOT 770017 SOS 354975 HAS SOPS 354975 HAS SOUS 300659 HAS SOUPS 300659 WITH SCORE 301013.975
AT ITER 3859 NEW BEST:: SOT 770014 SOS 354972 HAS SOPS 354972 HAS SOUS 300656 HAS SOUPS 300656 WITH SCORE 301010.972
AT ITER 3866 NEW BEST:: SOT 769973 SOS 354931 HAS SOPS 354931 HAS SOUS 300615 HAS SOUPS 300615 WITH SCORE 300969.931
AT ITER 3867 NEW BEST:: SOT 769973 SOS 354926 HAS SOPS 354926 HAS SOUS 300356 HAS SOUPS 300356 WITH SCORE 300710.926
AT ITER 3899 NEW BEST:: SOT 770253 SOS 355195 HAS SOPS 355195 HAS SOUS 300307 HAS SOUPS 300307 WITH SCORE 300662.195
AT ITER 3916 NEW BEST:: SOT 770142 SOS 355177 HAS SOPS 355177 HAS SOUS 300289 HAS SOUPS 300289 WITH SCORE 300644.177
AT ITER 3921 NEW BEST:: SOT 770064 SOS 355091 HAS SOPS 355091 HAS SOUS 300127 HAS SOUPS 300127 WITH SCORE 300482.091
AT ITER 3931 NEW BEST:: SOT 770232 SOS 354832 HAS SOPS 354832 HAS SOUS 299954 HAS SOUPS 299954 WITH SCORE 300308.832
AT ITER 3951 NEW BEST:: SOT 770096 SOS 354600 HAS SOPS 354600 HAS SOUS 299743 HAS SOUPS 299743 WITH SCORE 300097.6
AT ITER 3965 NEW BEST:: SOT 770096 SOS 354224 HAS SOPS 354224 HAS SOUS 299743 HAS SOUPS 299743 WITH SCORE 300097.224
AT ITER 3974 NEW BEST:: SOT 770096 SOS 353825 HAS SOPS 353825 HAS SOUS 299348 HAS SOUPS 299348 WITH SCORE 299701.825
AT ITER 3989 NEW BEST:: SOT 770228 SOS 353904 HAS SOPS 353904 HAS SOUS 298877 HAS SOUPS 298877 WITH SCORE 299230.904
AT ITER 3990 NEW BEST:: SOT 770781 SOS 353760 HAS SOPS 353760 HAS SOUS 298733 HAS SOUPS 298733 WITH SCORE 299086.76
AT ITER 3995 NEW BEST:: SOT 770698 SOS 353569 HAS SOPS 353569 HAS SOUS 298493 HAS SOUPS 298493 WITH SCORE 298846.569
AT ITER 4001 NEW BEST:: SOT 770735 SOS 353454 HAS SOPS 353454 HAS SOUS 298378 HAS SOUPS 298378 WITH SCORE 298731.454
AT ITER 4005 NEW BEST:: SOT 770548 SOS 353267 HAS SOPS 353267 HAS SOUS 298191 HAS SOUPS 298191 WITH SCORE 298544.267
AT ITER 4017 NEW BEST:: SOT 770394 SOS 353110 HAS SOPS 353110 HAS SOUS 298034 HAS SOUPS 298034 WITH SCORE 298387.11
AT ITER 4022 NEW BEST:: SOT 770394 SOS 353066 HAS SOPS 353066 HAS SOUS 298023 HAS SOUPS 298023 WITH SCORE 298376.066
AT ITER 4025 NEW BEST:: SOT 770582 SOS 353122 HAS SOPS 353122 HAS SOUS 297858 HAS SOUPS 297858 WITH SCORE 298211.122
AT ITER 4026 NEW BEST:: SOT 770510 SOS 353019 HAS SOPS 353019 HAS SOUS 297704 HAS SOUPS 297704 WITH SCORE 298057.019
AT ITER 4040 NEW BEST:: SOT 770418 SOS 352807 HAS SOPS 352807 HAS SOUS 297593 HAS SOUPS 297593 WITH SCORE 297945.807
AT ITER 4041 NEW BEST:: SOT 770418 SOS 352480 HAS SOPS 352480 HAS SOUS 297266 HAS SOUPS 297266 WITH SCORE 297618.48
AT ITER 4045 NEW BEST:: SOT 770030 SOS 352186 HAS SOPS 352186 HAS SOUS 296972 HAS SOUPS 296972 WITH SCORE 297324.186
AT ITER 4049 NEW BEST:: SOT 769968 SOS 352093 HAS SOPS 352093 HAS SOUS 296817 HAS SOUPS 296817 WITH SCORE 297169.093
AT ITER 4066 NEW BEST:: SOT 769895 SOS 352011 HAS SOPS 352011 HAS SOUS 296734 HAS SOUPS 296734 WITH SCORE 297086.011
AT ITER 4072 NEW BEST:: SOT 769760 SOS 351739 HAS SOPS 351739 HAS SOUS 296462 HAS SOUPS 296462 WITH SCORE 296813.739
AT ITER 4081 NEW BEST:: SOT 769663 SOS 351497 HAS SOPS 351497 HAS SOUS 296220 HAS SOUPS 296220 WITH SCORE 296571.497
AT ITER 4106 NEW BEST:: SOT 769645 SOS 351479 HAS SOPS 351479 HAS SOUS 296202 HAS SOUPS 296202 WITH SCORE 296553.479
AT ITER 4113 NEW BEST:: SOT 769645 SOS 351479 HAS SOPS 351479 HAS SOUS 296154 HAS SOUPS 296154 WITH SCORE 296505.479
AT ITER 4116 NEW BEST:: SOT 769393 SOS 351227 HAS SOPS 351227 HAS SOUS 295928 HAS SOUPS 295928 WITH SCORE 296279.227
AT ITER 4123 NEW BEST:: SOT 769333 SOS 351167 HAS SOPS 351167 HAS SOUS 295868 HAS SOUPS 295868 WITH SCORE 296219.167
AT ITER 4144 NEW BEST:: SOT 769466 SOS 351233 HAS SOPS 351233 HAS SOUS 295830 HAS SOUPS 295830 WITH SCORE 296181.233
AT ITER 4151 NEW BEST:: SOT 768276 SOS 350028 HAS SOPS 350028 HAS SOUS 294632 HAS SOUPS 294632 WITH SCORE 294982.028
AT ITER 4152 NEW BEST:: SOT 768229 SOS 349725 HAS SOPS 349725 HAS SOUS 294401 HAS SOUPS 294401 WITH SCORE 294750.725
AT ITER 4174 NEW BEST:: SOT 767824 SOS 349188 HAS SOPS 349188 HAS SOUS 293864 HAS SOUPS 293864 WITH SCORE 294213.188
AT ITER 4177 NEW BEST:: SOT 767747 SOS 349041 HAS SOPS 349041 HAS SOUS 293717 HAS SOUPS 293717 WITH SCORE 294066.041
AT ITER 4180 NEW BEST:: SOT 767547 SOS 349144 HAS SOPS 349144 HAS SOUS 293390 HAS SOUPS 293390 WITH SCORE 293739.144
AT ITER 4182 NEW BEST:: SOT 767383 SOS 348916 HAS SOPS 348916 HAS SOUS 293176 HAS SOUPS 293176 WITH SCORE 293524.916
AT ITER 4190 NEW BEST:: SOT 767207 SOS 348649 HAS SOPS 348649 HAS SOUS 292909 HAS SOUPS 292909 WITH SCORE 293257.649
AT ITER 4191 NEW BEST:: SOT 767170 SOS 348612 HAS SOPS 348612 HAS SOUS 292872 HAS SOUPS 292872 WITH SCORE 293220.612
AT ITER 4218 NEW BEST:: SOT 766712 SOS 348717 HAS SOPS 348717 HAS SOUS 292519 HAS SOUPS 292519 WITH SCORE 292867.717
AT ITER 4232 NEW BEST:: SOT 766710 SOS 348715 HAS SOPS 348715 HAS SOUS 292517 HAS SOUPS 292517 WITH SCORE 292865.715
AT ITER 4247 NEW BEST:: SOT 766689 SOS 348680 HAS SOPS 348680 HAS SOUS 292488 HAS SOUPS 292488 WITH SCORE 292836.68
AT ITER 4252 NEW BEST:: SOT 766634 SOS 347420 HAS SOPS 347420 HAS SOUS 291596 HAS SOUPS 291596 WITH SCORE 291943.42
AT ITER 4264 NEW BEST:: SOT 766551 SOS 347311 HAS SOPS 347311 HAS SOUS 291506 HAS SOUPS 291506 WITH SCORE 291853.311
AT ITER 4269 NEW BEST:: SOT 766586 SOS 347156 HAS SOPS 347156 HAS SOUS 291456 HAS SOUPS 291456 WITH SCORE 291803.156
AT ITER 4275 NEW BEST:: SOT 766491 SOS 345946 HAS SOPS 345946 HAS SOUS 290946 HAS SOUPS 290946 WITH SCORE 291291.946
AT ITER 4283 NEW BEST:: SOT 766491 SOS 345768 HAS SOPS 345768 HAS SOUS 290898 HAS SOUPS 290898 WITH SCORE 291243.768
AT ITER 4292 NEW BEST:: SOT 766462 SOS 345739 HAS SOPS 345739 HAS SOUS 290869 HAS SOUPS 290869 WITH SCORE 291214.739
AT ITER 4294 NEW BEST:: SOT 766436 SOS 345708 HAS SOPS 345708 HAS SOUS 290851 HAS SOUPS 290851 WITH SCORE 291196.708
AT ITER 4308 NEW BEST:: SOT 766429 SOS 345550 HAS SOPS 345550 HAS SOUS 290693 HAS SOUPS 290693 WITH SCORE 291038.55
AT ITER 4311 NEW BEST:: SOT 766369 SOS 345490 HAS SOPS 345490 HAS SOUS 290633 HAS SOUPS 290633 WITH SCORE 290978.49
AT ITER 4320 NEW BEST:: SOT 765470 SOS 343624 HAS SOPS 343624 HAS SOUS 289030 HAS SOUPS 289030 WITH SCORE 289373.624
AT ITER 4321 NEW BEST:: SOT 765146 SOS 343146 HAS SOPS 343146 HAS SOUS 288587 HAS SOUPS 288587 WITH SCORE 288930.146
AT ITER 4327 NEW BEST:: SOT 764917 SOS 342535 HAS SOPS 342535 HAS SOUS 288151 HAS SOUPS 288151 WITH SCORE 288493.535
AT ITER 4333 NEW BEST:: SOT 764896 SOS 342472 HAS SOPS 342472 HAS SOUS 288088 HAS SOUPS 288088 WITH SCORE 288430.472
AT ITER 4347 NEW BEST:: SOT 764900 SOS 342321 HAS SOPS 342321 HAS SOUS 287961 HAS SOUPS 287961 WITH SCORE 288303.321
AT ITER 4353 NEW BEST:: SOT 764900 SOS 342313 HAS SOPS 342313 HAS SOUS 287914 HAS SOUPS 287914 WITH SCORE 288256.313
AT ITER 4354 NEW BEST:: SOT 765086 SOS 342491 HAS SOPS 342491 HAS SOUS 287712 HAS SOUPS 287712 WITH SCORE 288054.491
AT ITER 4383 NEW BEST:: SOT 765076 SOS 342218 HAS SOPS 342218 HAS SOUS 287164 HAS SOUPS 287164 WITH SCORE 287506.218
AT ITER 4385 NEW BEST:: SOT 764297 SOS 340368 HAS SOPS 340368 HAS SOUS 285200 HAS SOUPS 285200 WITH SCORE 285540.368
AT ITER 4398 NEW BEST:: SOT 764238 SOS 340320 HAS SOPS 340320 HAS SOUS 285156 HAS SOUPS 285156 WITH SCORE 285496.32
AT ITER 4405 NEW BEST:: SOT 763449 SOS 338216 HAS SOPS 338216 HAS SOUS 283841 HAS SOUPS 283841 WITH SCORE 284179.216
AT ITER 4411 NEW BEST:: SOT 763156 SOS 337754 HAS SOPS 337754 HAS SOUS 283436 HAS SOUPS 283436 WITH SCORE 283773.754
AT ITER 4416 NEW BEST:: SOT 762778 SOS 336696 HAS SOPS 336696 HAS SOUS 282352 HAS SOUPS 282352 WITH SCORE 282688.696
AT ITER 4417 NEW BEST:: SOT 762676 SOS 336441 HAS SOPS 336441 HAS SOUS 282097 HAS SOUPS 282097 WITH SCORE 282433.441
AT ITER 4425 NEW BEST:: SOT 762676 SOS 336205 HAS SOPS 336205 HAS SOUS 281929 HAS SOUPS 281929 WITH SCORE 282265.205
AT ITER 4437 NEW BEST:: SOT 762676 SOS 336201 HAS SOPS 336201 HAS SOUS 281927 HAS SOUPS 281927 WITH SCORE 282263.201
AT ITER 4448 NEW BEST:: SOT 762676 SOS 336118 HAS SOPS 336118 HAS SOUS 281844 HAS SOUPS 281844 WITH SCORE 282180.118
AT ITER 4449 NEW BEST:: SOT 762513 SOS 335959 HAS SOPS 335959 HAS SOUS 281694 HAS SOUPS 281694 WITH SCORE 282029.959
AT ITER 4451 NEW BEST:: SOT 762379 SOS 335703 HAS SOPS 335703 HAS SOUS 281438 HAS SOUPS 281438 WITH SCORE 281773.703
AT ITER 4452 NEW BEST:: SOT 762830 SOS 334015 HAS SOPS 334015 HAS SOUS 280745 HAS SOUPS 280745 WITH SCORE 281079.015
AT ITER 4455 NEW BEST:: SOT 762570 SOS 333807 HAS SOPS 333807 HAS SOUS 280562 HAS SOUPS 280562 WITH SCORE 280895.807
AT ITER 4467 NEW BEST:: SOT 762588 SOS 333773 HAS SOPS 333773 HAS SOUS 280499 HAS SOUPS 280499 WITH SCORE 280832.773
AT ITER 4471 NEW BEST:: SOT 762076 SOS 333334 HAS SOPS 333334 HAS SOUS 280081 HAS SOUPS 280081 WITH SCORE 280414.334
AT ITER 4489 NEW BEST:: SOT 762104 SOS 333300 HAS SOPS 333300 HAS SOUS 280047 HAS SOUPS 280047 WITH SCORE 280380.3
AT ITER 4490 NEW BEST:: SOT 762048 SOS 333188 HAS SOPS 333188 HAS SOUS 279991 HAS SOUPS 279991 WITH SCORE 280324.188
AT ITER 4494 NEW BEST:: SOT 761905 SOS 332885 HAS SOPS 332885 HAS SOUS 279688 HAS SOUPS 279688 WITH SCORE 280020.885
AT ITER 4495 NEW BEST:: SOT 761850 SOS 332585 HAS SOPS 332585 HAS SOUS 279594 HAS SOUPS 279594 WITH SCORE 279926.585
AT ITER 4503 NEW BEST:: SOT 761533 SOS 332141 HAS SOPS 332141 HAS SOUS 279155 HAS SOUPS 279155 WITH SCORE 279487.141
AT ITER 4504 NEW BEST:: SOT 761843 SOS 330525 HAS SOPS 330525 HAS SOUS 278855 HAS SOUPS 278855 WITH SCORE 279185.525
AT ITER 4516 NEW BEST:: SOT 761637 SOS 330277 HAS SOPS 330277 HAS SOUS 278607 HAS SOUPS 278607 WITH SCORE 278937.277
AT ITER 4517 NEW BEST:: SOT 761632 SOS 329943 HAS SOPS 329943 HAS SOUS 278583 HAS SOUPS 278583 WITH SCORE 278912.943
AT ITER 4531 NEW BEST:: SOT 761514 SOS 329828 HAS SOPS 329828 HAS SOUS 278468 HAS SOUPS 278468 WITH SCORE 278797.828
AT ITER 4537 NEW BEST:: SOT 761564 SOS 329773 HAS SOPS 329773 HAS SOUS 278461 HAS SOUPS 278461 WITH SCORE 278790.773
AT ITER 4550 NEW BEST:: SOT 761482 SOS 329617 HAS SOPS 329617 HAS SOUS 278237 HAS SOUPS 278237 WITH SCORE 278566.617
AT ITER 4563 NEW BEST:: SOT 761482 SOS 329615 HAS SOPS 329615 HAS SOUS 278185 HAS SOUPS 278185 WITH SCORE 278514.615
AT ITER 4611 NEW BEST:: SOT 761482 SOS 329191 HAS SOPS 329191 HAS SOUS 278185 HAS SOUPS 278185 WITH SCORE 278514.191
AT ITER 4613 NEW BEST:: SOT 761383 SOS 329077 HAS SOPS 329077 HAS SOUS 277933 HAS SOUPS 277933 WITH SCORE 278262.077
AT ITER 4628 NEW BEST:: SOT 761384 SOS 329078 HAS SOPS 329078 HAS SOUS 277898 HAS SOUPS 277898 WITH SCORE 278227.078
AT ITER 4634 NEW BEST:: SOT 761397 SOS 329038 HAS SOPS 329038 HAS SOUS 277881 HAS SOUPS 277881 WITH SCORE 278210.038
AT ITER 4646 NEW BEST:: SOT 761197 SOS 328829 HAS SOPS 328829 HAS SOUS 277659 HAS SOUPS 277659 WITH SCORE 277987.829
AT ITER 4657 NEW BEST:: SOT 761178 SOS 328209 HAS SOPS 328209 HAS SOUS 277283 HAS SOUPS 277283 WITH SCORE 277611.209
AT ITER 4658 NEW BEST:: SOT 760909 SOS 327780 HAS SOPS 327780 HAS SOUS 276854 HAS SOUPS 276854 WITH SCORE 277181.78
AT ITER 4663 NEW BEST:: SOT 760909 SOS 327212 HAS SOPS 327212 HAS SOUS 276820 HAS SOUPS 276820 WITH SCORE 277147.212
AT ITER 4679 NEW BEST:: SOT 760909 SOS 327212 HAS SOPS 327212 HAS SOUS 276792 HAS SOUPS 276792 WITH SCORE 277119.212
AT ITER 4695 NEW BEST:: SOT 760695 SOS 326998 HAS SOPS 326998 HAS SOUS 276578 HAS SOUPS 276578 WITH SCORE 276904.998
AT ITER 4696 NEW BEST:: SOT 760307 SOS 325446 HAS SOPS 325446 HAS SOUS 276071 HAS SOUPS 276071 WITH SCORE 276396.446
AT ITER 4715 NEW BEST:: SOT 760271 SOS 325343 HAS SOPS 325343 HAS SOUS 275923 HAS SOUPS 275923 WITH SCORE 276248.343
AT ITER 4717 NEW BEST:: SOT 760269 SOS 324058 HAS SOPS 324058 HAS SOUS 275875 HAS SOUPS 275875 WITH SCORE 276199.058
AT ITER 4735 NEW BEST:: SOT 760111 SOS 323614 HAS SOPS 323614 HAS SOUS 275721 HAS SOUPS 275721 WITH SCORE 276044.614
AT ITER 4738 NEW BEST:: SOT 760088 SOS 323591 HAS SOPS 323591 HAS SOUS 275698 HAS SOUPS 275698 WITH SCORE 276021.591
AT ITER 4755 NEW BEST:: SOT 759317 SOS 322818 HAS SOPS 322818 HAS SOUS 275330 HAS SOUPS 275330 WITH SCORE 275652.818
AT ITER 4756 NEW BEST:: SOT 759297 SOS 322801 HAS SOPS 322801 HAS SOUS 275313 HAS SOUPS 275313 WITH SCORE 275635.801
AT ITER 4766 NEW BEST:: SOT 759291 SOS 322795 HAS SOPS 322795 HAS SOUS 275307 HAS SOUPS 275307 WITH SCORE 275629.795
AT ITER 4768 NEW BEST:: SOT 759225 SOS 322663 HAS SOPS 322663 HAS SOUS 275241 HAS SOUPS 275241 WITH SCORE 275563.663
AT ITER 4774 NEW BEST:: SOT 759420 SOS 322196 HAS SOPS 322196 HAS SOUS 274901 HAS SOUPS 274901 WITH SCORE 275223.196
AT ITER 4782 NEW BEST:: SOT 759374 SOS 322150 HAS SOPS 322150 HAS SOUS 274855 HAS SOUPS 274855 WITH SCORE 275177.15
AT ITER 4788 NEW BEST:: SOT 759465 SOS 322088 HAS SOPS 322088 HAS SOUS 274792 HAS SOUPS 274792 WITH SCORE 275114.088
AT ITER 4789 NEW BEST:: SOT 759283 SOS 321402 HAS SOPS 321402 HAS SOUS 274790 HAS SOUPS 274790 WITH SCORE 275111.402
AT ITER 4810 NEW BEST:: SOT 759283 SOS 321116 HAS SOPS 321116 HAS SOUS 274711 HAS SOUPS 274711 WITH SCORE 275032.116
AT ITER 4853 NEW BEST:: SOT 758780 SOS 320606 HAS SOPS 320606 HAS SOUS 274194 HAS SOUPS 274194 WITH SCORE 274514.606
AT ITER 4856 NEW BEST:: SOT 758550 SOS 320033 HAS SOPS 320033 HAS SOUS 273726 HAS SOUPS 273726 WITH SCORE 274046.033
AT ITER 4876 NEW BEST:: SOT 758550 SOS 320013 HAS SOPS 320013 HAS SOUS 273724 HAS SOUPS 273724 WITH SCORE 274044.013
AT ITER 4878 NEW BEST:: SOT 758554 SOS 320172 HAS SOPS 320172 HAS SOUS 273555 HAS SOUPS 273555 WITH SCORE 273875.172
AT ITER 4904 NEW BEST:: SOT 758519 SOS 320102 HAS SOPS 320102 HAS SOUS 273485 HAS SOUPS 273485 WITH SCORE 273805.102
AT ITER 4907 NEW BEST:: SOT 758467 SOS 320050 HAS SOPS 320050 HAS SOUS 273407 HAS SOUPS 273407 WITH SCORE 273727.05
AT ITER 4911 NEW BEST:: SOT 758466 SOS 320046 HAS SOPS 320046 HAS SOUS 273403 HAS SOUPS 273403 WITH SCORE 273723.046
AT ITER 4925 NEW BEST:: SOT 758269 SOS 319843 HAS SOPS 319843 HAS SOUS 272950 HAS SOUPS 272950 WITH SCORE 273269.843
AT ITER 4928 NEW BEST:: SOT 758139 SOS 319720 HAS SOPS 319720 HAS SOUS 272921 HAS SOUPS 272921 WITH SCORE 273240.72
AT ITER 4939 NEW BEST:: SOT 757700 SOS 319281 HAS SOPS 319281 HAS SOUS 272482 HAS SOUPS 272482 WITH SCORE 272801.281
AT ITER 4941 NEW BEST:: SOT 757701 SOS 319255 HAS SOPS 319255 HAS SOUS 272399 HAS SOUPS 272399 WITH SCORE 272718.255
AT ITER 4946 NEW BEST:: SOT 757700 SOS 319252 HAS SOPS 319252 HAS SOUS 272396 HAS SOUPS 272396 WITH SCORE 272715.252
AT ITER 4992 NEW BEST:: SOT 757535 SOS 319087 HAS SOPS 319087 HAS SOUS 272152 HAS SOUPS 272152 WITH SCORE 272471.087
AT ITER 5002 NEW BEST:: SOT 757385 SOS 318937 HAS SOPS 318937 HAS SOUS 272125 HAS SOUPS 272125 WITH SCORE 272443.937
AT ITER 5006 NEW BEST:: SOT 757337 SOS 318870 HAS SOPS 318870 HAS SOUS 272058 HAS SOUPS 272058 WITH SCORE 272376.87
AT ITER 5009 NEW BEST:: SOT 757337 SOS 318702 HAS SOPS 318702 HAS SOUS 272058 HAS SOUPS 272058 WITH SCORE 272376.702
AT ITER 5015 NEW BEST:: SOT 757384 SOS 318601 HAS SOPS 318601 HAS SOUS 271960 HAS SOUPS 271960 WITH SCORE 272278.601
AT ITER 5016 NEW BEST:: SOT 757310 SOS 318381 HAS SOPS 318381 HAS SOUS 271810 HAS SOUPS 271810 WITH SCORE 272128.381
AT ITER 5027 NEW BEST:: SOT 757310 SOS 318173 HAS SOPS 318173 HAS SOUS 271706 HAS SOUPS 271706 WITH SCORE 272024.173
AT ITER 5031 NEW BEST:: SOT 756977 SOS 318363 HAS SOPS 318363 HAS SOUS 271489 HAS SOUPS 271489 WITH SCORE 271807.363
AT ITER 5053 NEW BEST:: SOT 756922 SOS 318308 HAS SOPS 318308 HAS SOUS 271434 HAS SOUPS 271434 WITH SCORE 271752.308
AT ITER 5069 NEW BEST:: SOT 756860 SOS 318246 HAS SOPS 318246 HAS SOUS 271372 HAS SOUPS 271372 WITH SCORE 271690.246
AT ITER 5089 NEW BEST:: SOT 756860 SOS 318306 HAS SOPS 318306 HAS SOUS 271322 HAS SOUPS 271322 WITH SCORE 271640.306
AT ITER 5105 NEW BEST:: SOT 756788 SOS 318198 HAS SOPS 318198 HAS SOUS 271178 HAS SOUPS 271178 WITH SCORE 271496.198
AT ITER 5136 NEW BEST:: SOT 756704 SOS 317716 HAS SOPS 317716 HAS SOUS 271157 HAS SOUPS 271157 WITH SCORE 271474.716
AT ITER 5142 NEW BEST:: SOT 756715 SOS 317679 HAS SOPS 317679 HAS SOUS 270844 HAS SOUPS 270844 WITH SCORE 271161.679
AT ITER 5151 NEW BEST:: SOT 756326 SOS 317179 HAS SOPS 317179 HAS SOUS 269666 HAS SOUPS 269666 WITH SCORE 269983.179
AT ITER 5156 NEW BEST:: SOT 756130 SOS 317037 HAS SOPS 317037 HAS SOUS 269482 HAS SOUPS 269482 WITH SCORE 269799.037
AT ITER 5157 NEW BEST:: SOT 755666 SOS 316592 HAS SOPS 316592 HAS SOUS 269087 HAS SOUPS 269087 WITH SCORE 269403.592
AT ITER 5164 NEW BEST:: SOT 755436 SOS 316362 HAS SOPS 316362 HAS SOUS 268857 HAS SOUPS 268857 WITH SCORE 269173.362
AT ITER 5170 NEW BEST:: SOT 755366 SOS 316292 HAS SOPS 316292 HAS SOUS 268787 HAS SOUPS 268787 WITH SCORE 269103.292
AT ITER 5177 NEW BEST:: SOT 755170 SOS 316224 HAS SOPS 316224 HAS SOUS 268719 HAS SOUPS 268719 WITH SCORE 269035.224
AT ITER 5188 NEW BEST:: SOT 755163 SOS 316217 HAS SOPS 316217 HAS SOUS 268712 HAS SOUPS 268712 WITH SCORE 269028.217
AT ITER 5194 NEW BEST:: SOT 755099 SOS 316025 HAS SOPS 316025 HAS SOUS 268648 HAS SOUPS 268648 WITH SCORE 268964.025
AT ITER 5202 NEW BEST:: SOT 755002 SOS 315763 HAS SOPS 315763 HAS SOUS 268485 HAS SOUPS 268485 WITH SCORE 268800.763
AT ITER 5205 NEW BEST:: SOT 754673 SOS 314832 HAS SOPS 314832 HAS SOUS 267733 HAS SOUPS 267733 WITH SCORE 268047.832
AT ITER 5208 NEW BEST:: SOT 754583 SOS 314664 HAS SOPS 314664 HAS SOUS 267652 HAS SOUPS 267652 WITH SCORE 267966.664
AT ITER 5221 NEW BEST:: SOT 754583 SOS 314644 HAS SOPS 314644 HAS SOUS 267632 HAS SOUPS 267632 WITH SCORE 267946.644
AT ITER 5223 NEW BEST:: SOT 754446 SOS 314504 HAS SOPS 314504 HAS SOUS 267491 HAS SOUPS 267491 WITH SCORE 267805.504
AT ITER 5224 NEW BEST:: SOT 754476 SOS 314320 HAS SOPS 314320 HAS SOUS 267209 HAS SOUPS 267209 WITH SCORE 267523.32
AT ITER 5228 NEW BEST:: SOT 754219 SOS 314320 HAS SOPS 314320 HAS SOUS 267194 HAS SOUPS 267194 WITH SCORE 267508.32
AT ITER 5252 NEW BEST:: SOT 754218 SOS 314318 HAS SOPS 314318 HAS SOUS 267194 HAS SOUPS 267194 WITH SCORE 267508.318
AT ITER 5283 NEW BEST:: SOT 754056 SOS 314156 HAS SOPS 314156 HAS SOUS 267032 HAS SOUPS 267032 WITH SCORE 267346.156
AT ITER 5286 NEW BEST:: SOT 753828 SOS 313903 HAS SOPS 313903 HAS SOUS 266950 HAS SOUPS 266950 WITH SCORE 267263.903
AT ITER 5291 NEW BEST:: SOT 753817 SOS 313870 HAS SOPS 313870 HAS SOUS 266928 HAS SOUPS 266928 WITH SCORE 267241.87
AT ITER 5297 NEW BEST:: SOT 753646 SOS 313699 HAS SOPS 313699 HAS SOUS 266757 HAS SOUPS 266757 WITH SCORE 267070.699
AT ITER 5310 NEW BEST:: SOT 753460 SOS 312980 HAS SOPS 312980 HAS SOUS 266064 HAS SOUPS 266064 WITH SCORE 266376.98
AT ITER 5312 NEW BEST:: SOT 753460 SOS 312889 HAS SOPS 312889 HAS SOUS 265972 HAS SOUPS 265972 WITH SCORE 266284.889
AT ITER 5313 NEW BEST:: SOT 753460 SOS 312633 HAS SOPS 312633 HAS SOUS 265972 HAS SOUPS 265972 WITH SCORE 266284.633
AT ITER 5331 NEW BEST:: SOT 753470 SOS 312643 HAS SOPS 312643 HAS SOUS 265966 HAS SOUPS 265966 WITH SCORE 266278.643
AT ITER 5333 NEW BEST:: SOT 753457 SOS 312630 HAS SOPS 312630 HAS SOUS 265953 HAS SOUPS 265953 WITH SCORE 266265.63
AT ITER 5386 NEW BEST:: SOT 753481 SOS 312569 HAS SOPS 312569 HAS SOUS 265935 HAS SOUPS 265935 WITH SCORE 266247.569
AT ITER 5391 NEW BEST:: SOT 753425 SOS 312513 HAS SOPS 312513 HAS SOUS 265934 HAS SOUPS 265934 WITH SCORE 266246.513
AT ITER 5393 NEW BEST:: SOT 753266 SOS 312354 HAS SOPS 312354 HAS SOUS 265775 HAS SOUPS 265775 WITH SCORE 266087.354
AT ITER 5394 NEW BEST:: SOT 753266 SOS 312371 HAS SOPS 312371 HAS SOUS 265759 HAS SOUPS 265759 WITH SCORE 266071.371
AT ITER 5395 NEW BEST:: SOT 753186 SOS 312211 HAS SOPS 312211 HAS SOUS 265599 HAS SOUPS 265599 WITH SCORE 265911.211
AT ITER 5396 NEW BEST:: SOT 752832 SOS 311536 HAS SOPS 311536 HAS SOUS 265013 HAS SOUPS 265013 WITH SCORE 265324.536
AT ITER 5404 NEW BEST:: SOT 752596 SOS 311373 HAS SOPS 311373 HAS SOUS 264850 HAS SOUPS 264850 WITH SCORE 265161.373
AT ITER 5406 NEW BEST:: SOT 752542 SOS 311227 HAS SOPS 311227 HAS SOUS 264666 HAS SOUPS 264666 WITH SCORE 264977.227
AT ITER 5413 NEW BEST:: SOT 752542 SOS 311151 HAS SOPS 311151 HAS SOUS 264654 HAS SOUPS 264654 WITH SCORE 264965.151
AT ITER 5421 NEW BEST:: SOT 752699 SOS 311333 HAS SOPS 311333 HAS SOUS 264653 HAS SOUPS 264653 WITH SCORE 264964.333
AT ITER 5439 NEW BEST:: SOT 752638 SOS 311138 HAS SOPS 311138 HAS SOUS 264561 HAS SOUPS 264561 WITH SCORE 264872.138
AT ITER 5474 NEW BEST:: SOT 752593 SOS 311039 HAS SOPS 311039 HAS SOUS 264462 HAS SOUPS 264462 WITH SCORE 264773.039
AT ITER 5486 NEW BEST:: SOT 752574 SOS 311019 HAS SOPS 311019 HAS SOUS 264424 HAS SOUPS 264424 WITH SCORE 264735.019
AT ITER 5489 NEW BEST:: SOT 752477 SOS 310851 HAS SOPS 310851 HAS SOUS 264256 HAS SOUPS 264256 WITH SCORE 264566.851
AT ITER 5506 NEW BEST:: SOT 752461 SOS 310835 HAS SOPS 310835 HAS SOUS 264245 HAS SOUPS 264245 WITH SCORE 264555.835
AT ITER 5517 NEW BEST:: SOT 752573 SOS 310893 HAS SOPS 310893 HAS SOUS 264231 HAS SOUPS 264231 WITH SCORE 264541.893
AT ITER 5525 NEW BEST:: SOT 752599 SOS 310890 HAS SOPS 310890 HAS SOUS 264199 HAS SOUPS 264199 WITH SCORE 264509.89
AT ITER 5527 NEW BEST:: SOT 752623 SOS 310652 HAS SOPS 310652 HAS SOUS 264173 HAS SOUPS 264173 WITH SCORE 264483.652
AT ITER 5531 NEW BEST:: SOT 752619 SOS 310575 HAS SOPS 310575 HAS SOUS 264003 HAS SOUPS 264003 WITH SCORE 264313.575
AT ITER 5537 NEW BEST:: SOT 752602 SOS 310558 HAS SOPS 310558 HAS SOUS 264003 HAS SOUPS 264003 WITH SCORE 264313.558
AT ITER 5538 NEW BEST:: SOT 752598 SOS 310554 HAS SOPS 310554 HAS SOUS 263999 HAS SOUPS 263999 WITH SCORE 264309.554
AT ITER 5543 NEW BEST:: SOT 752971 SOS 310977 HAS SOPS 310977 HAS SOUS 263879 HAS SOUPS 263879 WITH SCORE 264189.977
AT ITER 5548 NEW BEST:: SOT 752843 SOS 310849 HAS SOPS 310849 HAS SOUS 263751 HAS SOUPS 263751 WITH SCORE 264061.849
AT ITER 5554 NEW BEST:: SOT 752841 SOS 310832 HAS SOPS 310832 HAS SOUS 263734 HAS SOUPS 263734 WITH SCORE 264044.832
AT ITER 5556 NEW BEST:: SOT 752812 SOS 310811 HAS SOPS 310811 HAS SOUS 263713 HAS SOUPS 263713 WITH SCORE 264023.811
AT ITER 5561 NEW BEST:: SOT 752800 SOS 310763 HAS SOPS 310763 HAS SOUS 263689 HAS SOUPS 263689 WITH SCORE 263999.763
AT ITER 5565 NEW BEST:: SOT 752834 SOS 310725 HAS SOPS 310725 HAS SOUS 263651 HAS SOUPS 263651 WITH SCORE 263961.725
AT ITER 5576 NEW BEST:: SOT 752569 SOS 310529 HAS SOPS 310529 HAS SOUS 263402 HAS SOUPS 263402 WITH SCORE 263712.529
AT ITER 5585 NEW BEST:: SOT 752148 SOS 310386 HAS SOPS 310386 HAS SOUS 263253 HAS SOUPS 263253 WITH SCORE 263563.386
AT ITER 5602 NEW BEST:: SOT 752099 SOS 310293 HAS SOPS 310293 HAS SOUS 263176 HAS SOUPS 263176 WITH SCORE 263486.293
AT ITER 5611 NEW BEST:: SOT 752099 SOS 310183 HAS SOPS 310183 HAS SOUS 263066 HAS SOUPS 263066 WITH SCORE 263376.183
AT ITER 5621 NEW BEST:: SOT 751995 SOS 310079 HAS SOPS 310079 HAS SOUS 262928 HAS SOUPS 262928 WITH SCORE 263238.079
AT ITER 5652 NEW BEST:: SOT 751951 SOS 309709 HAS SOPS 309709 HAS SOUS 262707 HAS SOUPS 262707 WITH SCORE 263016.709
AT ITER 5662 NEW BEST:: SOT 751951 SOS 309705 HAS SOPS 309705 HAS SOUS 262699 HAS SOUPS 262699 WITH SCORE 263008.705
AT ITER 5683 NEW BEST:: SOT 751893 SOS 309599 HAS SOPS 309599 HAS SOUS 262593 HAS SOUPS 262593 WITH SCORE 262902.599
AT ITER 5695 NEW BEST:: SOT 751893 SOS 309373 HAS SOPS 309373 HAS SOUS 262593 HAS SOUPS 262593 WITH SCORE 262902.373
AT ITER 5698 NEW BEST:: SOT 751857 SOS 309337 HAS SOPS 309337 HAS SOUS 262557 HAS SOUPS 262557 WITH SCORE 262866.337
AT ITER 5701 NEW BEST:: SOT 751806 SOS 309286 HAS SOPS 309286 HAS SOUS 262506 HAS SOUPS 262506 WITH SCORE 262815.286
AT ITER 5704 NEW BEST:: SOT 751716 SOS 309201 HAS SOPS 309201 HAS SOUS 262419 HAS SOUPS 262419 WITH SCORE 262728.201
AT ITER 5711 NEW BEST:: SOT 751538 SOS 309139 HAS SOPS 309139 HAS SOUS 262322 HAS SOUPS 262322 WITH SCORE 262631.139
AT ITER 5719 NEW BEST:: SOT 751347 SOS 308610 HAS SOPS 308610 HAS SOUS 261962 HAS SOUPS 261962 WITH SCORE 262270.61
AT ITER 5726 NEW BEST:: SOT 751336 SOS 308599 HAS SOPS 308599 HAS SOUS 261942 HAS SOUPS 261942 WITH SCORE 262250.599
AT ITER 5731 NEW BEST:: SOT 751239 SOS 308454 HAS SOPS 308454 HAS SOUS 261724 HAS SOUPS 261724 WITH SCORE 262032.454
AT ITER 5733 NEW BEST:: SOT 751119 SOS 308264 HAS SOPS 308264 HAS SOUS 261534 HAS SOUPS 261534 WITH SCORE 261842.264
AT ITER 5739 NEW BEST:: SOT 751119 SOS 308209 HAS SOPS 308209 HAS SOUS 261479 HAS SOUPS 261479 WITH SCORE 261787.209
AT ITER 5759 NEW BEST:: SOT 751083 SOS 308173 HAS SOPS 308173 HAS SOUS 261414 HAS SOUPS 261414 WITH SCORE 261722.173
AT ITER 5763 NEW BEST:: SOT 751083 SOS 308173 HAS SOPS 308173 HAS SOUS 261336 HAS SOUPS 261336 WITH SCORE 261644.173
AT ITER 5767 NEW BEST:: SOT 751063 SOS 308080 HAS SOPS 308080 HAS SOUS 261295 HAS SOUPS 261295 WITH SCORE 261603.08
AT ITER 5776 NEW BEST:: SOT 751006 SOS 308004 HAS SOPS 308004 HAS SOUS 261200 HAS SOUPS 261200 WITH SCORE 261508.004
AT ITER 5780 NEW BEST:: SOT 750997 SOS 307987 HAS SOPS 307987 HAS SOUS 261183 HAS SOUPS 261183 WITH SCORE 261490.987
AT ITER 5792 NEW BEST:: SOT 750997 SOS 307961 HAS SOPS 307961 HAS SOUS 261170 HAS SOUPS 261170 WITH SCORE 261477.961
AT ITER 5794 NEW BEST:: SOT 750927 SOS 307852 HAS SOPS 307852 HAS SOUS 261061 HAS SOUPS 261061 WITH SCORE 261368.852
AT ITER 5800 NEW BEST:: SOT 750911 SOS 307818 HAS SOPS 307818 HAS SOUS 261027 HAS SOUPS 261027 WITH SCORE 261334.818
AT ITER 5819 NEW BEST:: SOT 750878 SOS 307777 HAS SOPS 307777 HAS SOUS 260986 HAS SOUPS 260986 WITH SCORE 261293.777
AT ITER 5823 NEW BEST:: SOT 750797 SOS 307696 HAS SOPS 307696 HAS SOUS 260905 HAS SOUPS 260905 WITH SCORE 261212.696
AT ITER 5827 NEW BEST:: SOT 750562 SOS 306621 HAS SOPS 306621 HAS SOUS 260439 HAS SOUPS 260439 WITH SCORE 260745.621
AT ITER 5832 NEW BEST:: SOT 750346 SOS 306405 HAS SOPS 306405 HAS SOUS 260223 HAS SOUPS 260223 WITH SCORE 260529.405
AT ITER 5854 NEW BEST:: SOT 750346 SOS 306643 HAS SOPS 306643 HAS SOUS 260161 HAS SOUPS 260161 WITH SCORE 260467.643
AT ITER 5869 NEW BEST:: SOT 750494 SOS 306993 HAS SOPS 306993 HAS SOUS 260102 HAS SOUPS 260102 WITH SCORE 260408.993
AT ITER 5871 NEW BEST:: SOT 750376 SOS 306903 HAS SOPS 306903 HAS SOUS 259995 HAS SOUPS 259995 WITH SCORE 260301.903
AT ITER 5873 NEW BEST:: SOT 750335 SOS 306862 HAS SOPS 306862 HAS SOUS 259954 HAS SOUPS 259954 WITH SCORE 260260.862
AT ITER 5877 NEW BEST:: SOT 750199 SOS 306657 HAS SOPS 306657 HAS SOUS 259749 HAS SOUPS 259749 WITH SCORE 260055.657
AT ITER 5908 NEW BEST:: SOT 750211 SOS 306518 HAS SOPS 306518 HAS SOUS 259683 HAS SOUPS 259683 WITH SCORE 259989.518
AT ITER 5911 NEW BEST:: SOT 750209 SOS 306503 HAS SOPS 306503 HAS SOUS 259683 HAS SOUPS 259683 WITH SCORE 259989.503
AT ITER 5920 NEW BEST:: SOT 749927 SOS 306502 HAS SOPS 306502 HAS SOUS 259674 HAS SOUPS 259674 WITH SCORE 259980.502
AT ITER 5943 NEW BEST:: SOT 749921 SOS 306496 HAS SOPS 306496 HAS SOUS 259668 HAS SOUPS 259668 WITH SCORE 259974.496
AT ITER 5947 NEW BEST:: SOT 749923 SOS 305668 HAS SOPS 305668 HAS SOUS 259255 HAS SOUPS 259255 WITH SCORE 259560.668
AT ITER 5950 NEW BEST:: SOT 749861 SOS 305606 HAS SOPS 305606 HAS SOUS 259193 HAS SOUPS 259193 WITH SCORE 259498.606
AT ITER 5970 NEW BEST:: SOT 749843 SOS 305588 HAS SOPS 305588 HAS SOUS 259192 HAS SOUPS 259192 WITH SCORE 259497.588
AT ITER 5978 NEW BEST:: SOT 749855 SOS 305533 HAS SOPS 305533 HAS SOUS 259136 HAS SOUPS 259136 WITH SCORE 259441.533
AT ITER 5990 NEW BEST:: SOT 749791 SOS 305469 HAS SOPS 305469 HAS SOUS 259072 HAS SOUPS 259072 WITH SCORE 259377.469
AT ITER 6004 NEW BEST:: SOT 749726 SOS 305427 HAS SOPS 305427 HAS SOUS 259030 HAS SOUPS 259030 WITH SCORE 259335.427
AT ITER 6047 NEW BEST:: SOT 749726 SOS 305287 HAS SOPS 305287 HAS SOUS 258995 HAS SOUPS 258995 WITH SCORE 259300.287
AT ITER 6049 NEW BEST:: SOT 749699 SOS 305260 HAS SOPS 305260 HAS SOUS 258995 HAS SOUPS 258995 WITH SCORE 259300.26
AT ITER 6066 NEW BEST:: SOT 749369 SOS 305094 HAS SOPS 305094 HAS SOUS 258892 HAS SOUPS 258892 WITH SCORE 259197.094
AT ITER 6100 NEW BEST:: SOT 749300 SOS 305025 HAS SOPS 305025 HAS SOUS 258823 HAS SOUPS 258823 WITH SCORE 259128.025
AT ITER 6106 NEW BEST:: SOT 749162 SOS 304714 HAS SOPS 304714 HAS SOUS 258599 HAS SOUPS 258599 WITH SCORE 258903.714
AT ITER 6125 NEW BEST:: SOT 749162 SOS 304688 HAS SOPS 304688 HAS SOUS 258573 HAS SOUPS 258573 WITH SCORE 258877.688
AT ITER 6137 NEW BEST:: SOT 749146 SOS 304656 HAS SOPS 304656 HAS SOUS 258573 HAS SOUPS 258573 WITH SCORE 258877.656
AT ITER 6142 NEW BEST:: SOT 749074 SOS 304584 HAS SOPS 304584 HAS SOUS 258506 HAS SOUPS 258506 WITH SCORE 258810.584
AT ITER 6144 NEW BEST:: SOT 748740 SOS 304250 HAS SOPS 304250 HAS SOUS 258172 HAS SOUPS 258172 WITH SCORE 258476.25
AT ITER 6154 NEW BEST:: SOT 748740 SOS 304248 HAS SOPS 304248 HAS SOUS 258170 HAS SOUPS 258170 WITH SCORE 258474.248
AT ITER 6177 NEW BEST:: SOT 748717 SOS 303488 HAS SOPS 303488 HAS SOUS 258078 HAS SOUPS 258078 WITH SCORE 258381.488
AT ITER 6198 NEW BEST:: SOT 748789 SOS 303531 HAS SOPS 303531 HAS SOUS 258015 HAS SOUPS 258015 WITH SCORE 258318.531
AT ITER 6236 NEW BEST:: SOT 748809 SOS 303247 HAS SOPS 303247 HAS SOUS 258015 HAS SOUPS 258015 WITH SCORE 258318.247
AT ITER 6238 NEW BEST:: SOT 748743 SOS 303137 HAS SOPS 303137 HAS SOUS 257905 HAS SOUPS 257905 WITH SCORE 258208.137
AT ITER 6262 NEW BEST:: SOT 748766 SOS 303080 HAS SOPS 303080 HAS SOUS 257869 HAS SOUPS 257869 WITH SCORE 258172.08
AT ITER 6270 NEW BEST:: SOT 748709 SOS 303023 HAS SOPS 303023 HAS SOUS 257812 HAS SOUPS 257812 WITH SCORE 258115.023
AT ITER 6279 NEW BEST:: SOT 748807 SOS 303047 HAS SOPS 303047 HAS SOUS 257640 HAS SOUPS 257640 WITH SCORE 257943.047
AT ITER 6290 NEW BEST:: SOT 748912 SOS 302718 HAS SOPS 302718 HAS SOUS 257042 HAS SOUPS 257042 WITH SCORE 257344.718
AT ITER 6302 NEW BEST:: SOT 748957 SOS 302363 HAS SOPS 302363 HAS SOUS 256865 HAS SOUPS 256865 WITH SCORE 257167.363
AT ITER 6322 NEW BEST:: SOT 748890 SOS 302100 HAS SOPS 302100 HAS SOUS 256627 HAS SOUPS 256627 WITH SCORE 256929.1
AT ITER 6327 NEW BEST:: SOT 748836 SOS 301809 HAS SOPS 301809 HAS SOUS 256424 HAS SOUPS 256424 WITH SCORE 256725.809
AT ITER 6339 NEW BEST:: SOT 748775 SOS 301667 HAS SOPS 301667 HAS SOUS 256282 HAS SOUPS 256282 WITH SCORE 256583.667
AT ITER 6349 NEW BEST:: SOT 748832 SOS 301666 HAS SOPS 301666 HAS SOUS 256281 HAS SOUPS 256281 WITH SCORE 256582.666
AT ITER 6367 NEW BEST:: SOT 748720 SOS 301480 HAS SOPS 301480 HAS SOUS 256094 HAS SOUPS 256094 WITH SCORE 256395.48
AT ITER 6384 NEW BEST:: SOT 748276 SOS 301029 HAS SOPS 301029 HAS SOUS 255652 HAS SOUPS 255652 WITH SCORE 255953.029
AT ITER 6388 NEW BEST:: SOT 748135 SOS 300251 HAS SOPS 300251 HAS SOUS 255578 HAS SOUPS 255578 WITH SCORE 255878.251
AT ITER 6396 NEW BEST:: SOT 748135 SOS 300237 HAS SOPS 300237 HAS SOUS 255481 HAS SOUPS 255481 WITH SCORE 255781.237
AT ITER 6400 NEW BEST:: SOT 748059 SOS 300161 HAS SOPS 300161 HAS SOUS 255405 HAS SOUPS 255405 WITH SCORE 255705.161
AT ITER 6403 NEW BEST:: SOT 747994 SOS 299734 HAS SOPS 299734 HAS SOUS 255338 HAS SOUPS 255338 WITH SCORE 255637.734
AT ITER 6408 NEW BEST:: SOT 747994 SOS 299734 HAS SOPS 299734 HAS SOUS 255196 HAS SOUPS 255196 WITH SCORE 255495.734
AT ITER 6418 NEW BEST:: SOT 747978 SOS 299710 HAS SOPS 299710 HAS SOUS 255180 HAS SOUPS 255180 WITH SCORE 255479.71
AT ITER 6423 NEW BEST:: SOT 747920 SOS 299623 HAS SOPS 299623 HAS SOUS 255122 HAS SOUPS 255122 WITH SCORE 255421.623
AT ITER 6425 NEW BEST:: SOT 747750 SOS 298730 HAS SOPS 298730 HAS SOUS 254810 HAS SOUPS 254810 WITH SCORE 255108.73
AT ITER 6430 NEW BEST:: SOT 747493 SOS 298607 HAS SOPS 298607 HAS SOUS 254600 HAS SOUPS 254600 WITH SCORE 254898.607
AT ITER 6457 NEW BEST:: SOT 747298 SOS 297766 HAS SOPS 297766 HAS SOUS 254151 HAS SOUPS 254151 WITH SCORE 254448.766
AT ITER 6460 NEW BEST:: SOT 747461 SOS 297633 HAS SOPS 297633 HAS SOUS 254018 HAS SOUPS 254018 WITH SCORE 254315.633
AT ITER 6466 NEW BEST:: SOT 747366 SOS 297357 HAS SOPS 297357 HAS SOUS 253792 HAS SOUPS 253792 WITH SCORE 254089.357
AT ITER 6486 NEW BEST:: SOT 747366 SOS 297301 HAS SOPS 297301 HAS SOUS 253792 HAS SOUPS 253792 WITH SCORE 254089.301
AT ITER 6503 NEW BEST:: SOT 747366 SOS 297294 HAS SOPS 297294 HAS SOUS 253785 HAS SOUPS 253785 WITH SCORE 254082.294
AT ITER 6559 NEW BEST:: SOT 747306 SOS 297085 HAS SOPS 297085 HAS SOUS 253576 HAS SOUPS 253576 WITH SCORE 253873.085
AT ITER 6566 NEW BEST:: SOT 747274 SOS 297029 HAS SOPS 297029 HAS SOUS 253576 HAS SOUPS 253576 WITH SCORE 253873.029
AT ITER 6569 NEW BEST:: SOT 747030 SOS 296733 HAS SOPS 296733 HAS SOUS 253266 HAS SOUPS 253266 WITH SCORE 253562.733
AT ITER 6582 NEW BEST:: SOT 747018 SOS 296721 HAS SOPS 296721 HAS SOUS 253254 HAS SOUPS 253254 WITH SCORE 253550.721
AT ITER 6584 NEW BEST:: SOT 747013 SOS 296711 HAS SOPS 296711 HAS SOUS 253244 HAS SOUPS 253244 WITH SCORE 253540.711
AT ITER 6614 NEW BEST:: SOT 746929 SOS 296660 HAS SOPS 296660 HAS SOUS 253195 HAS SOUPS 253195 WITH SCORE 253491.66
AT ITER 6626 NEW BEST:: SOT 746865 SOS 296571 HAS SOPS 296571 HAS SOUS 253106 HAS SOUPS 253106 WITH SCORE 253402.571
AT ITER 6627 NEW BEST:: SOT 746645 SOS 296296 HAS SOPS 296296 HAS SOUS 252883 HAS SOUPS 252883 WITH SCORE 253179.296
AT ITER 6643 NEW BEST:: SOT 746607 SOS 296258 HAS SOPS 296258 HAS SOUS 252845 HAS SOUPS 252845 WITH SCORE 253141.258
AT ITER 6655 NEW BEST:: SOT 746304 SOS 295954 HAS SOPS 295954 HAS SOUS 252541 HAS SOUPS 252541 WITH SCORE 252836.954
AT ITER 6662 NEW BEST:: SOT 746180 SOS 295794 HAS SOPS 295794 HAS SOUS 252378 HAS SOUPS 252378 WITH SCORE 252673.794
AT ITER 6667 NEW BEST:: SOT 746192 SOS 295625 HAS SOPS 295625 HAS SOUS 252146 HAS SOUPS 252146 WITH SCORE 252441.625
AT ITER 6673 NEW BEST:: SOT 745984 SOS 295389 HAS SOPS 295389 HAS SOUS 252019 HAS SOUPS 252019 WITH SCORE 252314.389
AT ITER 6675 NEW BEST:: SOT 745980 SOS 295385 HAS SOPS 295385 HAS SOUS 252015 HAS SOUPS 252015 WITH SCORE 252310.385
AT ITER 6678 NEW BEST:: SOT 745984 SOS 295391 HAS SOPS 295391 HAS SOUS 252013 HAS SOUPS 252013 WITH SCORE 252308.391
AT ITER 6680 NEW BEST:: SOT 745975 SOS 295373 HAS SOPS 295373 HAS SOUS 251995 HAS SOUPS 251995 WITH SCORE 252290.373
AT ITER 6700 NEW BEST:: SOT 745966 SOS 295319 HAS SOPS 295319 HAS SOUS 251968 HAS SOUPS 251968 WITH SCORE 252263.319
AT ITER 6704 NEW BEST:: SOT 745948 SOS 295259 HAS SOPS 295259 HAS SOUS 251914 HAS SOUPS 251914 WITH SCORE 252209.259
AT ITER 6705 NEW BEST:: SOT 745948 SOS 295139 HAS SOPS 295139 HAS SOUS 251854 HAS SOUPS 251854 WITH SCORE 252149.139
AT ITER 6706 NEW BEST:: SOT 745467 SOS 295241 HAS SOPS 295241 HAS SOUS 251650 HAS SOUPS 251650 WITH SCORE 251945.241
AT ITER 6719 NEW BEST:: SOT 745467 SOS 295159 HAS SOPS 295159 HAS SOUS 251568 HAS SOUPS 251568 WITH SCORE 251863.159
AT ITER 6733 NEW BEST:: SOT 745314 SOS 294838 HAS SOPS 294838 HAS SOUS 250921 HAS SOUPS 250921 WITH SCORE 251215.838
AT ITER 6736 NEW BEST:: SOT 745312 SOS 294836 HAS SOPS 294836 HAS SOUS 250919 HAS SOUPS 250919 WITH SCORE 251213.836
AT ITER 6745 NEW BEST:: SOT 745312 SOS 294824 HAS SOPS 294824 HAS SOUS 250907 HAS SOUPS 250907 WITH SCORE 251201.824
AT ITER 6786 NEW BEST:: SOT 745274 SOS 294740 HAS SOPS 294740 HAS SOUS 250816 HAS SOUPS 250816 WITH SCORE 251110.74
AT ITER 6793 NEW BEST:: SOT 745212 SOS 294635 HAS SOPS 294635 HAS SOUS 250674 HAS SOUPS 250674 WITH SCORE 250968.635
AT ITER 6794 NEW BEST:: SOT 745276 SOS 294573 HAS SOPS 294573 HAS SOUS 250640 HAS SOUPS 250640 WITH SCORE 250934.573
AT ITER 6806 NEW BEST:: SOT 745276 SOS 294420 HAS SOPS 294420 HAS SOUS 250499 HAS SOUPS 250499 WITH SCORE 250793.42
AT ITER 6809 NEW BEST:: SOT 745228 SOS 294357 HAS SOPS 294357 HAS SOUS 250436 HAS SOUPS 250436 WITH SCORE 250730.357
AT ITER 6811 NEW BEST:: SOT 745214 SOS 294301 HAS SOPS 294301 HAS SOUS 250408 HAS SOUPS 250408 WITH SCORE 250702.301
AT ITER 6840 NEW BEST:: SOT 745054 SOS 294165 HAS SOPS 294165 HAS SOUS 250302 HAS SOUPS 250302 WITH SCORE 250596.165
AT ITER 6860 NEW BEST:: SOT 744842 SOS 293913 HAS SOPS 293913 HAS SOUS 250050 HAS SOUPS 250050 WITH SCORE 250343.913
AT ITER 6876 NEW BEST:: SOT 744786 SOS 293358 HAS SOPS 293358 HAS SOUS 249948 HAS SOUPS 249948 WITH SCORE 250241.358
AT ITER 6884 NEW BEST:: SOT 744767 SOS 292767 HAS SOPS 292767 HAS SOUS 249836 HAS SOUPS 249836 WITH SCORE 250128.767
AT ITER 6891 NEW BEST:: SOT 744573 SOS 292556 HAS SOPS 292556 HAS SOUS 249416 HAS SOUPS 249416 WITH SCORE 249708.556
AT ITER 6897 NEW BEST:: SOT 744424 SOS 292407 HAS SOPS 292407 HAS SOUS 249267 HAS SOUPS 249267 WITH SCORE 249559.407
AT ITER 6909 NEW BEST:: SOT 744387 SOS 291766 HAS SOPS 291766 HAS SOUS 249199 HAS SOUPS 249199 WITH SCORE 249490.766
AT ITER 6918 NEW BEST:: SOT 744201 SOS 291472 HAS SOPS 291472 HAS SOUS 248905 HAS SOUPS 248905 WITH SCORE 249196.472
AT ITER 6930 NEW BEST:: SOT 744119 SOS 291390 HAS SOPS 291390 HAS SOUS 248750 HAS SOUPS 248750 WITH SCORE 249041.39
AT ITER 6954 NEW BEST:: SOT 743897 SOS 290576 HAS SOPS 290576 HAS SOUS 248722 HAS SOUPS 248722 WITH SCORE 249012.576
AT ITER 6966 NEW BEST:: SOT 744076 SOS 290305 HAS SOPS 290305 HAS SOUS 248634 HAS SOUPS 248634 WITH SCORE 248924.305
AT ITER 6992 NEW BEST:: SOT 744076 SOS 290193 HAS SOPS 290193 HAS SOUS 248528 HAS SOUPS 248528 WITH SCORE 248818.193
AT ITER 7011 NEW BEST:: SOT 744062 SOS 290179 HAS SOPS 290179 HAS SOUS 248514 HAS SOUPS 248514 WITH SCORE 248804.179
AT ITER 7023 NEW BEST:: SOT 744117 SOS 289250 HAS SOPS 289250 HAS SOUS 247787 HAS SOUPS 247787 WITH SCORE 248076.25
AT ITER 7031 NEW BEST:: SOT 744185 SOS 289386 HAS SOPS 289386 HAS SOUS 247593 HAS SOUPS 247593 WITH SCORE 247882.386
AT ITER 7039 NEW BEST:: SOT 744155 SOS 289206 HAS SOPS 289206 HAS SOUS 247503 HAS SOUPS 247503 WITH SCORE 247792.206
AT ITER 7040 NEW BEST:: SOT 744155 SOS 289323 HAS SOPS 289323 HAS SOUS 247474 HAS SOUPS 247474 WITH SCORE 247763.323
AT ITER 7046 NEW BEST:: SOT 744165 SOS 289333 HAS SOPS 289333 HAS SOUS 247472 HAS SOUPS 247472 WITH SCORE 247761.333
AT ITER 7047 NEW BEST:: SOT 744091 SOS 288801 HAS SOPS 288801 HAS SOUS 247053 HAS SOUPS 247053 WITH SCORE 247341.801
AT ITER 7048 NEW BEST:: SOT 744088 SOS 288633 HAS SOPS 288633 HAS SOUS 247042 HAS SOUPS 247042 WITH SCORE 247330.633
AT ITER 7056 NEW BEST:: SOT 744118 SOS 288491 HAS SOPS 288491 HAS SOUS 247032 HAS SOUPS 247032 WITH SCORE 247320.491
AT ITER 7080 NEW BEST:: SOT 744096 SOS 288485 HAS SOPS 288485 HAS SOUS 247026 HAS SOUPS 247026 WITH SCORE 247314.485
AT ITER 7088 NEW BEST:: SOT 744129 SOS 287307 HAS SOPS 287307 HAS SOUS 247019 HAS SOUPS 247019 WITH SCORE 247306.307
AT ITER 7107 NEW BEST:: SOT 744081 SOS 287442 HAS SOPS 287442 HAS SOUS 246881 HAS SOUPS 246881 WITH SCORE 247168.442
AT ITER 7120 NEW BEST:: SOT 744101 SOS 287386 HAS SOPS 287386 HAS SOUS 246679 HAS SOUPS 246679 WITH SCORE 246966.386
AT ITER 7125 NEW BEST:: SOT 743407 SOS 286692 HAS SOPS 286692 HAS SOUS 245985 HAS SOUPS 245985 WITH SCORE 246271.692
AT ITER 7135 NEW BEST:: SOT 743434 SOS 286640 HAS SOPS 286640 HAS SOUS 245933 HAS SOUPS 245933 WITH SCORE 246219.64
AT ITER 7137 NEW BEST:: SOT 743158 SOS 285950 HAS SOPS 285950 HAS SOUS 245519 HAS SOUPS 245519 WITH SCORE 245804.95
AT ITER 7138 NEW BEST:: SOT 743135 SOS 285995 HAS SOPS 285995 HAS SOUS 245512 HAS SOUPS 245512 WITH SCORE 245797.995
AT ITER 7147 NEW BEST:: SOT 743135 SOS 286066 HAS SOPS 286066 HAS SOUS 245475 HAS SOUPS 245475 WITH SCORE 245761.066
AT ITER 7161 NEW BEST:: SOT 743123 SOS 286048 HAS SOPS 286048 HAS SOUS 245451 HAS SOUPS 245451 WITH SCORE 245737.048
AT ITER 7172 NEW BEST:: SOT 743110 SOS 286027 HAS SOPS 286027 HAS SOUS 245422 HAS SOUPS 245422 WITH SCORE 245708.027
AT ITER 7193 NEW BEST:: SOT 743121 SOS 285938 HAS SOPS 285938 HAS SOUS 245373 HAS SOUPS 245373 WITH SCORE 245658.938
AT ITER 7200 NEW BEST:: SOT 743116 SOS 285918 HAS SOPS 285918 HAS SOUS 245367 HAS SOUPS 245367 WITH SCORE 245652.918
AT ITER 7206 NEW BEST:: SOT 743098 SOS 285720 HAS SOPS 285720 HAS SOUS 245323 HAS SOUPS 245323 WITH SCORE 245608.72
AT ITER 7214 NEW BEST:: SOT 743098 SOS 285577 HAS SOPS 285577 HAS SOUS 245180 HAS SOUPS 245180 WITH SCORE 245465.577
AT ITER 7226 NEW BEST:: SOT 742539 SOS 284118 HAS SOPS 284118 HAS SOUS 244083 HAS SOUPS 244083 WITH SCORE 244367.118
AT ITER 7238 NEW BEST:: SOT 742521 SOS 283886 HAS SOPS 283886 HAS SOUS 243853 HAS SOUPS 243853 WITH SCORE 244136.886
AT ITER 7242 NEW BEST:: SOT 742428 SOS 283793 HAS SOPS 283793 HAS SOUS 243760 HAS SOUPS 243760 WITH SCORE 244043.793
AT ITER 7282 NEW BEST:: SOT 742428 SOS 283627 HAS SOPS 283627 HAS SOUS 243760 HAS SOUPS 243760 WITH SCORE 244043.627
AT ITER 7285 NEW BEST:: SOT 742461 SOS 284090 HAS SOPS 284090 HAS SOUS 243706 HAS SOUPS 243706 WITH SCORE 243990.09
AT ITER 7286 NEW BEST:: SOT 742398 SOS 284020 HAS SOPS 284020 HAS SOUS 243573 HAS SOUPS 243573 WITH SCORE 243857.02
AT ITER 7308 NEW BEST:: SOT 742118 SOS 283740 HAS SOPS 283740 HAS SOUS 243283 HAS SOUPS 243283 WITH SCORE 243566.74
AT ITER 7320 NEW BEST:: SOT 742012 SOS 283634 HAS SOPS 283634 HAS SOUS 243177 HAS SOUPS 243177 WITH SCORE 243460.634
AT ITER 7338 NEW BEST:: SOT 741900 SOS 283522 HAS SOPS 283522 HAS SOUS 243065 HAS SOUPS 243065 WITH SCORE 243348.522
AT ITER 7343 NEW BEST:: SOT 741973 SOS 283595 HAS SOPS 283595 HAS SOUS 242923 HAS SOUPS 242923 WITH SCORE 243206.595
AT ITER 7348 NEW BEST:: SOT 742107 SOS 283452 HAS SOPS 283452 HAS SOUS 242743 HAS SOUPS 242743 WITH SCORE 243026.452
AT ITER 7374 NEW BEST:: SOT 742106 SOS 283450 HAS SOPS 283450 HAS SOUS 242741 HAS SOUPS 242741 WITH SCORE 243024.45
AT ITER 7420 NEW BEST:: SOT 742003 SOS 283304 HAS SOPS 283304 HAS SOUS 242595 HAS SOUPS 242595 WITH SCORE 242878.304
AT ITER 7455 NEW BEST:: SOT 741991 SOS 283288 HAS SOPS 283288 HAS SOUS 242579 HAS SOUPS 242579 WITH SCORE 242862.288
AT ITER 7460 NEW BEST:: SOT 741979 SOS 283267 HAS SOPS 283267 HAS SOUS 242550 HAS SOUPS 242550 WITH SCORE 242833.267
AT ITER 7474 NEW BEST:: SOT 742002 SOS 282528 HAS SOPS 282528 HAS SOUS 242550 HAS SOUPS 242550 WITH SCORE 242832.528
AT ITER 7482 NEW BEST:: SOT 741944 SOS 282521 HAS SOPS 282521 HAS SOUS 241979 HAS SOUPS 241979 WITH SCORE 242261.521
AT ITER 7502 NEW BEST:: SOT 741852 SOS 282383 HAS SOPS 282383 HAS SOUS 241841 HAS SOUPS 241841 WITH SCORE 242123.383
AT ITER 7511 NEW BEST:: SOT 741661 SOS 281888 HAS SOPS 281888 HAS SOUS 241459 HAS SOUPS 241459 WITH SCORE 241740.888
AT ITER 7523 NEW BEST:: SOT 741634 SOS 281846 HAS SOPS 281846 HAS SOUS 241424 HAS SOUPS 241424 WITH SCORE 241705.846
AT ITER 7530 NEW BEST:: SOT 741632 SOS 281630 HAS SOPS 281630 HAS SOUS 241421 HAS SOUPS 241421 WITH SCORE 241702.63
AT ITER 7539 NEW BEST:: SOT 741625 SOS 281619 HAS SOPS 281619 HAS SOUS 241410 HAS SOUPS 241410 WITH SCORE 241691.619
AT ITER 7540 NEW BEST:: SOT 741545 SOS 281849 HAS SOPS 281849 HAS SOUS 241406 HAS SOUPS 241406 WITH SCORE 241687.849
AT ITER 7545 NEW BEST:: SOT 741504 SOS 281808 HAS SOPS 281808 HAS SOUS 241365 HAS SOUPS 241365 WITH SCORE 241646.808
AT ITER 7550 NEW BEST:: SOT 741372 SOS 281588 HAS SOPS 281588 HAS SOUS 241189 HAS SOUPS 241189 WITH SCORE 241470.588
AT ITER 7563 NEW BEST:: SOT 741392 SOS 281628 HAS SOPS 281628 HAS SOUS 241180 HAS SOUPS 241180 WITH SCORE 241461.628
AT ITER 7584 NEW BEST:: SOT 741385 SOS 281419 HAS SOPS 281419 HAS SOUS 240971 HAS SOUPS 240971 WITH SCORE 241252.419
AT ITER 7589 NEW BEST:: SOT 741169 SOS 281288 HAS SOPS 281288 HAS SOUS 240857 HAS SOUPS 240857 WITH SCORE 241138.288
AT ITER 7600 NEW BEST:: SOT 741234 SOS 281300 HAS SOPS 281300 HAS SOUS 240738 HAS SOUPS 240738 WITH SCORE 241019.3
AT ITER 7620 NEW BEST:: SOT 741234 SOS 281207 HAS SOPS 281207 HAS SOUS 240719 HAS SOUPS 240719 WITH SCORE 241000.207
AT ITER 7629 NEW BEST:: SOT 741018 SOS 280991 HAS SOPS 280991 HAS SOUS 240503 HAS SOUPS 240503 WITH SCORE 240783.991
AT ITER 7634 NEW BEST:: SOT 740648 SOS 280291 HAS SOPS 280291 HAS SOUS 240118 HAS SOUPS 240118 WITH SCORE 240398.291
AT ITER 7635 NEW BEST:: SOT 740478 SOS 280065 HAS SOPS 280065 HAS SOUS 239892 HAS SOUPS 239892 WITH SCORE 240172.065
AT ITER 7641 NEW BEST:: SOT 740396 SOS 279942 HAS SOPS 279942 HAS SOUS 239769 HAS SOUPS 239769 WITH SCORE 240048.942
AT ITER 7663 NEW BEST:: SOT 740348 SOS 279894 HAS SOPS 279894 HAS SOUS 239721 HAS SOUPS 239721 WITH SCORE 240000.894
AT ITER 7664 NEW BEST:: SOT 739966 SOS 278901 HAS SOPS 278901 HAS SOUS 238993 HAS SOUPS 238993 WITH SCORE 239271.901
AT ITER 7683 NEW BEST:: SOT 739891 SOS 278826 HAS SOPS 278826 HAS SOUS 238918 HAS SOUPS 238918 WITH SCORE 239196.826
AT ITER 7696 NEW BEST:: SOT 739765 SOS 278700 HAS SOPS 278700 HAS SOUS 238792 HAS SOUPS 238792 WITH SCORE 239070.7
AT ITER 7725 NEW BEST:: SOT 739765 SOS 278686 HAS SOPS 278686 HAS SOUS 238778 HAS SOUPS 238778 WITH SCORE 239056.686
AT ITER 7736 NEW BEST:: SOT 739532 SOS 278217 HAS SOPS 278217 HAS SOUS 238427 HAS SOUPS 238427 WITH SCORE 238705.217
AT ITER 7748 NEW BEST:: SOT 739443 SOS 278158 HAS SOPS 278158 HAS SOUS 238368 HAS SOUPS 238368 WITH SCORE 238646.158
AT ITER 7775 NEW BEST:: SOT 739296 SOS 277939 HAS SOPS 277939 HAS SOUS 238287 HAS SOUPS 238287 WITH SCORE 238564.939
AT ITER 7777 NEW BEST:: SOT 739294 SOS 277937 HAS SOPS 277937 HAS SOUS 238285 HAS SOUPS 238285 WITH SCORE 238562.937
AT ITER 7781 NEW BEST:: SOT 739231 SOS 277825 HAS SOPS 277825 HAS SOUS 238124 HAS SOUPS 238124 WITH SCORE 238401.825
AT ITER 7804 NEW BEST:: SOT 739231 SOS 277925 HAS SOPS 277925 HAS SOUS 238044 HAS SOUPS 238044 WITH SCORE 238321.925
AT ITER 7806 NEW BEST:: SOT 739387 SOS 277659 HAS SOPS 277659 HAS SOUS 237881 HAS SOUPS 237881 WITH SCORE 238158.659
AT ITER 7810 NEW BEST:: SOT 739387 SOS 277409 HAS SOPS 277409 HAS SOUS 237831 HAS SOUPS 237831 WITH SCORE 238108.409
AT ITER 7819 NEW BEST:: SOT 739369 SOS 277364 HAS SOPS 277364 HAS SOUS 237804 HAS SOUPS 237804 WITH SCORE 238081.364
AT ITER 7835 NEW BEST:: SOT 739331 SOS 277093 HAS SOPS 277093 HAS SOUS 237692 HAS SOUPS 237692 WITH SCORE 237969.093
AT ITER 7846 NEW BEST:: SOT 739207 SOS 276905 HAS SOPS 276905 HAS SOUS 237462 HAS SOUPS 237462 WITH SCORE 237738.905
AT ITER 7854 NEW BEST:: SOT 739207 SOS 276852 HAS SOPS 276852 HAS SOUS 237409 HAS SOUPS 237409 WITH SCORE 237685.852
AT ITER 7859 NEW BEST:: SOT 739065 SOS 276749 HAS SOPS 276749 HAS SOUS 237266 HAS SOUPS 237266 WITH SCORE 237542.749
AT ITER 7863 NEW BEST:: SOT 739065 SOS 276624 HAS SOPS 276624 HAS SOUS 237164 HAS SOUPS 237164 WITH SCORE 237440.624
AT ITER 7881 NEW BEST:: SOT 739162 SOS 276688 HAS SOPS 276688 HAS SOUS 236920 HAS SOUPS 236920 WITH SCORE 237196.688
AT ITER 7891 NEW BEST:: SOT 739129 SOS 276597 HAS SOPS 276597 HAS SOUS 236897 HAS SOUPS 236897 WITH SCORE 237173.597
AT ITER 7918 NEW BEST:: SOT 739098 SOS 276566 HAS SOPS 276566 HAS SOUS 236866 HAS SOUPS 236866 WITH SCORE 237142.566
AT ITER 7920 NEW BEST:: SOT 739098 SOS 276493 HAS SOPS 276493 HAS SOUS 236620 HAS SOUPS 236620 WITH SCORE 236896.493
AT ITER 7936 NEW BEST:: SOT 738909 SOS 276482 HAS SOPS 276482 HAS SOUS 236372 HAS SOUPS 236372 WITH SCORE 236648.482
AT ITER 7965 NEW BEST:: SOT 738413 SOS 275145 HAS SOPS 275145 HAS SOUS 235425 HAS SOUPS 235425 WITH SCORE 235700.145
AT ITER 7969 NEW BEST:: SOT 738433 SOS 275165 HAS SOPS 275165 HAS SOUS 235285 HAS SOUPS 235285 WITH SCORE 235560.165
AT ITER 7981 NEW BEST:: SOT 738430 SOS 275162 HAS SOPS 275162 HAS SOUS 235282 HAS SOUPS 235282 WITH SCORE 235557.162
AT ITER 7986 NEW BEST:: SOT 738430 SOS 275180 HAS SOPS 275180 HAS SOUS 235273 HAS SOUPS 235273 WITH SCORE 235548.18
AT ITER 8006 NEW BEST:: SOT 738429 SOS 274745 HAS SOPS 274745 HAS SOUS 235137 HAS SOUPS 235137 WITH SCORE 235411.745
AT ITER 8010 NEW BEST:: SOT 738333 SOS 274569 HAS SOPS 274569 HAS SOUS 234923 HAS SOUPS 234923 WITH SCORE 235197.569
AT ITER 8016 NEW BEST:: SOT 738069 SOS 274039 HAS SOPS 274039 HAS SOUS 234255 HAS SOUPS 234255 WITH SCORE 234529.039
AT ITER 8042 NEW BEST:: SOT 737987 SOS 273826 HAS SOPS 273826 HAS SOUS 234042 HAS SOUPS 234042 WITH SCORE 234315.826
AT ITER 8061 NEW BEST:: SOT 737855 SOS 273626 HAS SOPS 273626 HAS SOUS 233910 HAS SOUPS 233910 WITH SCORE 234183.626
AT ITER 8062 NEW BEST:: SOT 737806 SOS 273334 HAS SOPS 273334 HAS SOUS 233861 HAS SOUPS 233861 WITH SCORE 234134.334
AT ITER 8083 NEW BEST:: SOT 737887 SOS 273298 HAS SOPS 273298 HAS SOUS 233842 HAS SOUPS 233842 WITH SCORE 234115.298
AT ITER 8142 NEW BEST:: SOT 737887 SOS 272824 HAS SOPS 272824 HAS SOUS 233325 HAS SOUPS 233325 WITH SCORE 233597.824
AT ITER 8151 NEW BEST:: SOT 737855 SOS 272792 HAS SOPS 272792 HAS SOUS 233293 HAS SOUPS 233293 WITH SCORE 233565.792
AT ITER 8162 NEW BEST:: SOT 737787 SOS 272724 HAS SOPS 272724 HAS SOUS 233225 HAS SOUPS 233225 WITH SCORE 233497.724
AT ITER 8176 NEW BEST:: SOT 737806 SOS 272506 HAS SOPS 272506 HAS SOUS 233053 HAS SOUPS 233053 WITH SCORE 233325.506
AT ITER 8205 NEW BEST:: SOT 737813 SOS 272193 HAS SOPS 272193 HAS SOUS 232935 HAS SOUPS 232935 WITH SCORE 233207.193
AT ITER 8215 NEW BEST:: SOT 737680 SOS 272060 HAS SOPS 272060 HAS SOUS 232802 HAS SOUPS 232802 WITH SCORE 233074.06
AT ITER 8242 NEW BEST:: SOT 737634 SOS 272014 HAS SOPS 272014 HAS SOUS 232756 HAS SOUPS 232756 WITH SCORE 233028.014
AT ITER 8243 NEW BEST:: SOT 737634 SOS 271821 HAS SOPS 271821 HAS SOUS 232724 HAS SOUPS 232724 WITH SCORE 232995.821
AT ITER 8245 NEW BEST:: SOT 737634 SOS 271885 HAS SOPS 271885 HAS SOUS 232686 HAS SOUPS 232686 WITH SCORE 232957.885
AT ITER 8279 NEW BEST:: SOT 737685 SOS 271855 HAS SOPS 271855 HAS SOUS 232656 HAS SOUPS 232656 WITH SCORE 232927.855
AT ITER 8287 NEW BEST:: SOT 737685 SOS 271834 HAS SOPS 271834 HAS SOUS 232626 HAS SOUPS 232626 WITH SCORE 232897.834
AT ITER 8309 NEW BEST:: SOT 737683 SOS 271814 HAS SOPS 271814 HAS SOUS 232588 HAS SOUPS 232588 WITH SCORE 232859.814
AT ITER 8322 NEW BEST:: SOT 737680 SOS 271811 HAS SOPS 271811 HAS SOUS 232587 HAS SOUPS 232587 WITH SCORE 232858.811
AT ITER 8340 NEW BEST:: SOT 737632 SOS 271763 HAS SOPS 271763 HAS SOUS 232539 HAS SOUPS 232539 WITH SCORE 232810.763
AT ITER 8344 NEW BEST:: SOT 737538 SOS 271669 HAS SOPS 271669 HAS SOUS 232480 HAS SOUPS 232480 WITH SCORE 232751.669
AT ITER 8347 NEW BEST:: SOT 737538 SOS 271669 HAS SOPS 271669 HAS SOUS 232401 HAS SOUPS 232401 WITH SCORE 232672.669
AT ITER 8371 NEW BEST:: SOT 737501 SOS 271632 HAS SOPS 271632 HAS SOUS 232348 HAS SOUPS 232348 WITH SCORE 232619.632
AT ITER 8374 NEW BEST:: SOT 737470 SOS 271508 HAS SOPS 271508 HAS SOUS 232270 HAS SOUPS 232270 WITH SCORE 232541.508
AT ITER 8409 NEW BEST:: SOT 737838 SOS 271861 HAS SOPS 271861 HAS SOUS 232124 HAS SOUPS 232124 WITH SCORE 232395.861
AT ITER 8410 NEW BEST:: SOT 737609 SOS 271293 HAS SOPS 271293 HAS SOUS 231586 HAS SOUPS 231586 WITH SCORE 231857.293
AT ITER 8435 NEW BEST:: SOT 737605 SOS 271289 HAS SOPS 271289 HAS SOUS 231582 HAS SOUPS 231582 WITH SCORE 231853.289
AT ITER 8440 NEW BEST:: SOT 737600 SOS 271282 HAS SOPS 271282 HAS SOUS 231575 HAS SOUPS 231575 WITH SCORE 231846.282
AT ITER 8477 NEW BEST:: SOT 737577 SOS 271163 HAS SOPS 271163 HAS SOUS 231525 HAS SOUPS 231525 WITH SCORE 231796.163
AT ITER 8502 NEW BEST:: SOT 737447 SOS 270999 HAS SOPS 270999 HAS SOUS 231366 HAS SOUPS 231366 WITH SCORE 231636.999
AT ITER 8510 NEW BEST:: SOT 737350 SOS 270902 HAS SOPS 270902 HAS SOUS 231269 HAS SOUPS 231269 WITH SCORE 231539.902
AT ITER 8518 NEW BEST:: SOT 737303 SOS 270855 HAS SOPS 270855 HAS SOUS 231188 HAS SOUPS 231188 WITH SCORE 231458.855
AT ITER 8523 NEW BEST:: SOT 737236 SOS 270654 HAS SOPS 270654 HAS SOUS 231188 HAS SOUPS 231188 WITH SCORE 231458.654
AT ITER 8532 NEW BEST:: SOT 737202 SOS 270620 HAS SOPS 270620 HAS SOUS 231154 HAS SOUPS 231154 WITH SCORE 231424.62
AT ITER 8539 NEW BEST:: SOT 737200 SOS 270618 HAS SOPS 270618 HAS SOUS 231137 HAS SOUPS 231137 WITH SCORE 231407.618
AT ITER 8542 NEW BEST:: SOT 737200 SOS 270551 HAS SOPS 270551 HAS SOUS 231070 HAS SOUPS 231070 WITH SCORE 231340.551
AT ITER 8559 NEW BEST:: SOT 737453 SOS 270754 HAS SOPS 270754 HAS SOUS 231056 HAS SOUPS 231056 WITH SCORE 231326.754
AT ITER 8564 NEW BEST:: SOT 737425 SOS 270726 HAS SOPS 270726 HAS SOUS 231028 HAS SOUPS 231028 WITH SCORE 231298.726
AT ITER 8610 NEW BEST:: SOT 737125 SOS 270410 HAS SOPS 270410 HAS SOUS 230692 HAS SOUPS 230692 WITH SCORE 230962.41
AT ITER 8611 NEW BEST:: SOT 737119 SOS 270404 HAS SOPS 270404 HAS SOUS 230686 HAS SOUPS 230686 WITH SCORE 230956.404
AT ITER 8615 NEW BEST:: SOT 737119 SOS 270399 HAS SOPS 270399 HAS SOUS 230686 HAS SOUPS 230686 WITH SCORE 230956.399
AT ITER 8624 NEW BEST:: SOT 737119 SOS 270453 HAS SOPS 270453 HAS SOUS 230681 HAS SOUPS 230681 WITH SCORE 230951.453
AT ITER 8625 NEW BEST:: SOT 737099 SOS 270332 HAS SOPS 270332 HAS SOUS 230596 HAS SOUPS 230596 WITH SCORE 230866.332
AT ITER 8636 NEW BEST:: SOT 737082 SOS 270315 HAS SOPS 270315 HAS SOUS 230578 HAS SOUPS 230578 WITH SCORE 230848.315
AT ITER 8650 NEW BEST:: SOT 736996 SOS 270229 HAS SOPS 270229 HAS SOUS 230492 HAS SOUPS 230492 WITH SCORE 230762.229
AT ITER 8652 NEW BEST:: SOT 736990 SOS 270199 HAS SOPS 270199 HAS SOUS 230475 HAS SOUPS 230475 WITH SCORE 230745.199
AT ITER 8665 NEW BEST:: SOT 736968 SOS 270037 HAS SOPS 270037 HAS SOUS 230322 HAS SOUPS 230322 WITH SCORE 230592.037
AT ITER 8669 NEW BEST:: SOT 736921 SOS 269990 HAS SOPS 269990 HAS SOUS 230322 HAS SOUPS 230322 WITH SCORE 230591.99
AT ITER 8676 NEW BEST:: SOT 736907 SOS 269976 HAS SOPS 269976 HAS SOUS 230308 HAS SOUPS 230308 WITH SCORE 230577.976
AT ITER 8685 NEW BEST:: SOT 736717 SOS 269826 HAS SOPS 269826 HAS SOUS 230247 HAS SOUPS 230247 WITH SCORE 230516.826
AT ITER 8701 NEW BEST:: SOT 736708 SOS 269817 HAS SOPS 269817 HAS SOUS 230238 HAS SOUPS 230238 WITH SCORE 230507.817
AT ITER 8712 NEW BEST:: SOT 736655 SOS 269425 HAS SOPS 269425 HAS SOUS 229995 HAS SOUPS 229995 WITH SCORE 230264.425
AT ITER 8713 NEW BEST:: SOT 736655 SOS 269395 HAS SOPS 269395 HAS SOUS 229985 HAS SOUPS 229985 WITH SCORE 230254.395
AT ITER 8724 NEW BEST:: SOT 736614 SOS 269330 HAS SOPS 269330 HAS SOUS 229920 HAS SOUPS 229920 WITH SCORE 230189.33
AT ITER 8739 NEW BEST:: SOT 736602 SOS 269318 HAS SOPS 269318 HAS SOUS 229908 HAS SOUPS 229908 WITH SCORE 230177.318
AT ITER 8746 NEW BEST:: SOT 736593 SOS 269309 HAS SOPS 269309 HAS SOUS 229899 HAS SOUPS 229899 WITH SCORE 230168.309
AT ITER 8779 NEW BEST:: SOT 736621 SOS 269012 HAS SOPS 269012 HAS SOUS 229694 HAS SOUPS 229694 WITH SCORE 229963.012
AT ITER 8785 NEW BEST:: SOT 736617 SOS 269008 HAS SOPS 269008 HAS SOUS 229683 HAS SOUPS 229683 WITH SCORE 229952.008
AT ITER 8793 NEW BEST:: SOT 736796 SOS 269236 HAS SOPS 269236 HAS SOUS 229661 HAS SOUPS 229661 WITH SCORE 229930.236
AT ITER 8794 NEW BEST:: SOT 736802 SOS 269234 HAS SOPS 269234 HAS SOUS 229661 HAS SOUPS 229661 WITH SCORE 229930.234
AT ITER 8805 NEW BEST:: SOT 736790 SOS 269291 HAS SOPS 269291 HAS SOUS 229568 HAS SOUPS 229568 WITH SCORE 229837.291
AT ITER 8812 NEW BEST:: SOT 736790 SOS 269150 HAS SOPS 269150 HAS SOUS 229547 HAS SOUPS 229547 WITH SCORE 229816.15
AT ITER 8817 NEW BEST:: SOT 736546 SOS 268822 HAS SOPS 268822 HAS SOUS 229439 HAS SOUPS 229439 WITH SCORE 229707.822
AT ITER 8826 NEW BEST:: SOT 736230 SOS 268261 HAS SOPS 268261 HAS SOUS 228965 HAS SOUPS 228965 WITH SCORE 229233.261
AT ITER 8838 NEW BEST:: SOT 736305 SOS 268336 HAS SOPS 268336 HAS SOUS 228900 HAS SOUPS 228900 WITH SCORE 229168.336
AT ITER 8852 NEW BEST:: SOT 736319 SOS 268333 HAS SOPS 268333 HAS SOUS 228897 HAS SOUPS 228897 WITH SCORE 229165.333
AT ITER 8856 NEW BEST:: SOT 736338 SOS 268352 HAS SOPS 268352 HAS SOUS 228878 HAS SOUPS 228878 WITH SCORE 229146.352
AT ITER 8858 NEW BEST:: SOT 736385 SOS 268373 HAS SOPS 268373 HAS SOUS 228861 HAS SOUPS 228861 WITH SCORE 229129.373
AT ITER 8861 NEW BEST:: SOT 736217 SOS 268205 HAS SOPS 268205 HAS SOUS 228693 HAS SOUPS 228693 WITH SCORE 228961.205
AT ITER 8869 NEW BEST:: SOT 735778 SOS 267800 HAS SOPS 267800 HAS SOUS 228490 HAS SOUPS 228490 WITH SCORE 228757.8
AT ITER 8878 NEW BEST:: SOT 735778 SOS 267966 HAS SOPS 267966 HAS SOUS 228434 HAS SOUPS 228434 WITH SCORE 228701.966
AT ITER 8884 NEW BEST:: SOT 735778 SOS 267958 HAS SOPS 267958 HAS SOUS 228392 HAS SOUPS 228392 WITH SCORE 228659.958
AT ITER 8895 NEW BEST:: SOT 735726 SOS 267802 HAS SOPS 267802 HAS SOUS 228314 HAS SOUPS 228314 WITH SCORE 228581.802
AT ITER 8896 NEW BEST:: SOT 735640 SOS 267567 HAS SOPS 267567 HAS SOUS 228079 HAS SOUPS 228079 WITH SCORE 228346.567
AT ITER 8902 NEW BEST:: SOT 735565 SOS 267374 HAS SOPS 267374 HAS SOUS 227886 HAS SOUPS 227886 WITH SCORE 228153.374
AT ITER 8909 NEW BEST:: SOT 735466 SOS 267275 HAS SOPS 267275 HAS SOUS 227787 HAS SOUPS 227787 WITH SCORE 228054.275
AT ITER 8960 NEW BEST:: SOT 735290 SOS 267058 HAS SOPS 267058 HAS SOUS 227570 HAS SOUPS 227570 WITH SCORE 227837.058
AT ITER 8962 NEW BEST:: SOT 735290 SOS 267053 HAS SOPS 267053 HAS SOUS 227558 HAS SOUPS 227558 WITH SCORE 227825.053
AT ITER 8984 NEW BEST:: SOT 735458 SOS 267614 HAS SOPS 267614 HAS SOUS 227557 HAS SOUPS 227557 WITH SCORE 227824.614
AT ITER 8993 NEW BEST:: SOT 735436 SOS 267570 HAS SOPS 267570 HAS SOUS 227535 HAS SOUPS 227535 WITH SCORE 227802.57
AT ITER 8994 NEW BEST:: SOT 735205 SOS 266877 HAS SOPS 266877 HAS SOUS 227073 HAS SOUPS 227073 WITH SCORE 227339.877
AT ITER 9019 NEW BEST:: SOT 735181 SOS 266829 HAS SOPS 266829 HAS SOUS 227025 HAS SOUPS 227025 WITH SCORE 227291.829
AT ITER 9020 NEW BEST:: SOT 735177 SOS 266813 HAS SOPS 266813 HAS SOUS 227013 HAS SOUPS 227013 WITH SCORE 227279.813
AT ITER 9061 NEW BEST:: SOT 734905 SOS 266335 HAS SOPS 266335 HAS SOUS 226535 HAS SOUPS 226535 WITH SCORE 226801.335
AT ITER 9069 NEW BEST:: SOT 734788 SOS 266218 HAS SOPS 266218 HAS SOUS 226418 HAS SOUPS 226418 WITH SCORE 226684.218
AT ITER 9074 NEW BEST:: SOT 734784 SOS 266176 HAS SOPS 266176 HAS SOUS 226376 HAS SOUPS 226376 WITH SCORE 226642.176
AT ITER 9097 NEW BEST:: SOT 734610 SOS 265972 HAS SOPS 265972 HAS SOUS 226172 HAS SOUPS 226172 WITH SCORE 226437.972
AT ITER 9118 NEW BEST:: SOT 734289 SOS 265909 HAS SOPS 265909 HAS SOUS 226142 HAS SOUPS 226142 WITH SCORE 226407.909
AT ITER 9133 NEW BEST:: SOT 734289 SOS 265881 HAS SOPS 265881 HAS SOUS 226090 HAS SOUPS 226090 WITH SCORE 226355.881
AT ITER 9160 NEW BEST:: SOT 734285 SOS 265546 HAS SOPS 265546 HAS SOUS 225842 HAS SOUPS 225842 WITH SCORE 226107.546
AT ITER 9161 NEW BEST:: SOT 734271 SOS 265536 HAS SOPS 265536 HAS SOUS 225832 HAS SOUPS 225832 WITH SCORE 226097.536
AT ITER 9166 NEW BEST:: SOT 734252 SOS 265426 HAS SOPS 265426 HAS SOUS 225655 HAS SOUPS 225655 WITH SCORE 225920.426
AT ITER 9212 NEW BEST:: SOT 734252 SOS 265424 HAS SOPS 265424 HAS SOUS 225653 HAS SOUPS 225653 WITH SCORE 225918.424
AT ITER 9236 NEW BEST:: SOT 734255 SOS 265418 HAS SOPS 265418 HAS SOUS 225647 HAS SOUPS 225647 WITH SCORE 225912.418
AT ITER 9293 NEW BEST:: SOT 734116 SOS 265264 HAS SOPS 265264 HAS SOUS 225493 HAS SOUPS 225493 WITH SCORE 225758.264
AT ITER 9295 NEW BEST:: SOT 733880 SOS 264676 HAS SOPS 264676 HAS SOUS 225080 HAS SOUPS 225080 WITH SCORE 225344.676
AT ITER 9326 NEW BEST:: SOT 733683 SOS 264479 HAS SOPS 264479 HAS SOUS 224883 HAS SOUPS 224883 WITH SCORE 225147.479
AT ITER 9339 NEW BEST:: SOT 733571 SOS 264223 HAS SOPS 264223 HAS SOUS 224627 HAS SOUPS 224627 WITH SCORE 224891.223
AT ITER 9340 NEW BEST:: SOT 733571 SOS 264211 HAS SOPS 264211 HAS SOUS 224619 HAS SOUPS 224619 WITH SCORE 224883.211
AT ITER 9359 NEW BEST:: SOT 733536 SOS 264176 HAS SOPS 264176 HAS SOUS 224584 HAS SOUPS 224584 WITH SCORE 224848.176
AT ITER 9360 NEW BEST:: SOT 733432 SOS 264021 HAS SOPS 264021 HAS SOUS 224429 HAS SOUPS 224429 WITH SCORE 224693.021
AT ITER 9401 NEW BEST:: SOT 733472 SOS 264492 HAS SOPS 264492 HAS SOUS 224363 HAS SOUPS 224363 WITH SCORE 224627.492
AT ITER 9411 NEW BEST:: SOT 733491 SOS 264439 HAS SOPS 264439 HAS SOUS 224233 HAS SOUPS 224233 WITH SCORE 224497.439
AT ITER 9415 NEW BEST:: SOT 733491 SOS 264618 HAS SOPS 264618 HAS SOUS 224054 HAS SOUPS 224054 WITH SCORE 224318.618
AT ITER 9422 NEW BEST:: SOT 733287 SOS 263829 HAS SOPS 263829 HAS SOUS 223550 HAS SOUPS 223550 WITH SCORE 223813.829
AT ITER 9423 NEW BEST:: SOT 732746 SOS 263873 HAS SOPS 263873 HAS SOUS 223319 HAS SOUPS 223319 WITH SCORE 223582.873
AT ITER 9438 NEW BEST:: SOT 732744 SOS 263943 HAS SOPS 263943 HAS SOUS 223273 HAS SOUPS 223273 WITH SCORE 223536.943
AT ITER 9440 NEW BEST:: SOT 732716 SOS 263915 HAS SOPS 263915 HAS SOUS 223245 HAS SOUPS 223245 WITH SCORE 223508.915
AT ITER 9449 NEW BEST:: SOT 732673 SOS 263848 HAS SOPS 263848 HAS SOUS 223230 HAS SOUPS 223230 WITH SCORE 223493.848
AT ITER 9462 NEW BEST:: SOT 732673 SOS 263798 HAS SOPS 263798 HAS SOUS 223188 HAS SOUPS 223188 WITH SCORE 223451.798
AT ITER 9494 NEW BEST:: SOT 732625 SOS 263691 HAS SOPS 263691 HAS SOUS 223081 HAS SOUPS 223081 WITH SCORE 223344.691
AT ITER 9508 NEW BEST:: SOT 732625 SOS 263598 HAS SOPS 263598 HAS SOUS 223081 HAS SOUPS 223081 WITH SCORE 223344.598
AT ITER 9558 NEW BEST:: SOT 732448 SOS 263335 HAS SOPS 263335 HAS SOUS 222675 HAS SOUPS 222675 WITH SCORE 222938.335
AT ITER 9560 NEW BEST:: SOT 732424 SOS 263300 HAS SOPS 263300 HAS SOUS 222672 HAS SOUPS 222672 WITH SCORE 222935.3
AT ITER 9561 NEW BEST:: SOT 732299 SOS 263041 HAS SOPS 263041 HAS SOUS 222470 HAS SOUPS 222470 WITH SCORE 222733.041
AT ITER 9589 NEW BEST:: SOT 732349 SOS 262945 HAS SOPS 262945 HAS SOUS 222442 HAS SOUPS 222442 WITH SCORE 222704.945
AT ITER 9590 NEW BEST:: SOT 732247 SOS 262843 HAS SOPS 262843 HAS SOUS 222340 HAS SOUPS 222340 WITH SCORE 222602.843
AT ITER 9594 NEW BEST:: SOT 732426 SOS 262642 HAS SOPS 262642 HAS SOUS 222255 HAS SOUPS 222255 WITH SCORE 222517.642
AT ITER 9623 NEW BEST:: SOT 732401 SOS 262609 HAS SOPS 262609 HAS SOUS 222222 HAS SOUPS 222222 WITH SCORE 222484.609
AT ITER 9633 NEW BEST:: SOT 732401 SOS 262361 HAS SOPS 262361 HAS SOUS 222104 HAS SOUPS 222104 WITH SCORE 222366.361
AT ITER 9640 NEW BEST:: SOT 732401 SOS 262333 HAS SOPS 262333 HAS SOUS 222048 HAS SOUPS 222048 WITH SCORE 222310.333
AT ITER 9644 NEW BEST:: SOT 732376 SOS 262308 HAS SOPS 262308 HAS SOUS 222023 HAS SOUPS 222023 WITH SCORE 222285.308
AT ITER 9661 NEW BEST:: SOT 732354 SOS 262289 HAS SOPS 262289 HAS SOUS 222004 HAS SOUPS 222004 WITH SCORE 222266.289
AT ITER 9668 NEW BEST:: SOT 732354 SOS 262287 HAS SOPS 262287 HAS SOUS 222003 HAS SOUPS 222003 WITH SCORE 222265.287
AT ITER 9686 NEW BEST:: SOT 732354 SOS 262222 HAS SOPS 262222 HAS SOUS 222000 HAS SOUPS 222000 WITH SCORE 222262.222
AT ITER 9688 NEW BEST:: SOT 732388 SOS 262136 HAS SOPS 262136 HAS SOUS 221965 HAS SOUPS 221965 WITH SCORE 222227.136
AT ITER 9693 NEW BEST:: SOT 732388 SOS 262120 HAS SOPS 262120 HAS SOUS 221949 HAS SOUPS 221949 WITH SCORE 222211.12
AT ITER 9698 NEW BEST:: SOT 732388 SOS 261988 HAS SOPS 261988 HAS SOUS 221870 HAS SOUPS 221870 WITH SCORE 222131.988
AT ITER 9706 NEW BEST:: SOT 732344 SOS 261922 HAS SOPS 261922 HAS SOUS 221804 HAS SOUPS 221804 WITH SCORE 222065.922
AT ITER 9717 NEW BEST:: SOT 732455 SOS 261910 HAS SOPS 261910 HAS SOUS 221673 HAS SOUPS 221673 WITH SCORE 221934.91
AT ITER 9729 NEW BEST:: SOT 732440 SOS 261895 HAS SOPS 261895 HAS SOUS 221658 HAS SOUPS 221658 WITH SCORE 221919.895
AT ITER 9740 NEW BEST:: SOT 732450 SOS 261895 HAS SOPS 261895 HAS SOUS 221648 HAS SOUPS 221648 WITH SCORE 221909.895
AT ITER 9744 NEW BEST:: SOT 732482 SOS 261300 HAS SOPS 261300 HAS SOUS 221337 HAS SOUPS 221337 WITH SCORE 221598.3
AT ITER 9779 NEW BEST:: SOT 732501 SOS 261374 HAS SOPS 261374 HAS SOUS 221331 HAS SOUPS 221331 WITH SCORE 221592.374
AT ITER 9819 NEW BEST:: SOT 732417 SOS 261122 HAS SOPS 261122 HAS SOUS 221068 HAS SOUPS 221068 WITH SCORE 221329.122
AT ITER 9837 NEW BEST:: SOT 732321 SOS 260991 HAS SOPS 260991 HAS SOUS 220937 HAS SOUPS 220937 WITH SCORE 221197.991
AT ITER 9844 NEW BEST:: SOT 732351 SOS 261045 HAS SOPS 261045 HAS SOUS 220859 HAS SOUPS 220859 WITH SCORE 221120.045
AT ITER 9855 NEW BEST:: SOT 732342 SOS 261074 HAS SOPS 261074 HAS SOUS 220851 HAS SOUPS 220851 WITH SCORE 221112.074
AT ITER 9857 NEW BEST:: SOT 732236 SOS 261021 HAS SOPS 261021 HAS SOUS 220798 HAS SOUPS 220798 WITH SCORE 221059.021
AT ITER 9876 NEW BEST:: SOT 732236 SOS 261021 HAS SOPS 261021 HAS SOUS 220796 HAS SOUPS 220796 WITH SCORE 221057.021
AT ITER 9886 NEW BEST:: SOT 732068 SOS 260877 HAS SOPS 260877 HAS SOUS 220652 HAS SOUPS 220652 WITH SCORE 220912.877
AT ITER 9908 NEW BEST:: SOT 732059 SOS 260868 HAS SOPS 260868 HAS SOUS 220643 HAS SOUPS 220643 WITH SCORE 220903.868
AT ITER 9909 NEW BEST:: SOT 732049 SOS 260858 HAS SOPS 260858 HAS SOUS 220633 HAS SOUPS 220633 WITH SCORE 220893.858
AT ITER 9959 NEW BEST:: SOT 731991 SOS 260744 HAS SOPS 260744 HAS SOUS 220519 HAS SOUPS 220519 WITH SCORE 220779.744
AT ITER 9977 NEW BEST:: SOT 731691 SOS 259863 HAS SOPS 259863 HAS SOUS 220037 HAS SOUPS 220037 WITH SCORE 220296.863
AT ITER 9983 NEW BEST:: SOT 731676 SOS 259726 HAS SOPS 259726 HAS SOUS 219900 HAS SOUPS 219900 WITH SCORE 220159.726
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 11470884 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121624 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="ShieldPPPs-PT-040A"
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 ShieldPPPs-PT-040A, 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 r395-oct2-167903718800488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-040A.tgz
mv ShieldPPPs-PT-040A 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 '
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 ;