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.r011-oct2-167813599700072.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 ASLink-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 26 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 13:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 13:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 13:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 162K Feb 26 13:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 13:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 13:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 669K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678722902151

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=ASLink-PT-04b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 15:55:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 15:55:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 15:55:05] [INFO ] Load time of PNML (sax parser for PT used): 126 ms
[2023-03-13 15:55:05] [INFO ] Transformed 2034 places.
[2023-03-13 15:55:05] [INFO ] Transformed 2567 transitions.
[2023-03-13 15:55:05] [INFO ] Found NUPN structural information;
[2023-03-13 15:55:05] [INFO ] Parsed PT model containing 2034 places and 2567 transitions and 7875 arcs in 250 ms.
[2023-03-13 15:55:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2034 places, 2567 transitions and 7875 arcs took 17 ms.
Total runtime 298 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04b
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: 2034 places, 2567 transitions, 7875 arcs.
AT ITER 0 NEW BEST:: SOT 2930331 SOS 779349 HAS SOPS 779349 HAS SOUS 619616 HAS SOUPS 619616 WITH SCORE 620395.349
AT ITER 5 NEW BEST:: SOT 2930156 SOS 779425 HAS SOPS 779425 HAS SOUS 619574 HAS SOUPS 619574 WITH SCORE 620353.425
AT ITER 10 NEW BEST:: SOT 2929124 SOS 778909 HAS SOPS 778909 HAS SOUS 618370 HAS SOUPS 618370 WITH SCORE 619148.909
AT ITER 15 NEW BEST:: SOT 2929038 SOS 778737 HAS SOPS 778737 HAS SOUS 618198 HAS SOUPS 618198 WITH SCORE 618976.737
AT ITER 24 NEW BEST:: SOT 2929004 SOS 778703 HAS SOPS 778703 HAS SOUS 618185 HAS SOUPS 618185 WITH SCORE 618963.703
AT ITER 28 NEW BEST:: SOT 2928028 SOS 778606 HAS SOPS 778606 HAS SOUS 617693 HAS SOUPS 617693 WITH SCORE 618471.606
AT ITER 32 NEW BEST:: SOT 2927665 SOS 778243 HAS SOPS 778243 HAS SOUS 617326 HAS SOUPS 617326 WITH SCORE 618104.243
AT ITER 49 NEW BEST:: SOT 2927664 SOS 778319 HAS SOPS 778319 HAS SOUS 617290 HAS SOUPS 617290 WITH SCORE 618068.319
AT ITER 63 NEW BEST:: SOT 2927664 SOS 778409 HAS SOPS 778409 HAS SOUS 617282 HAS SOUPS 617282 WITH SCORE 618060.409
AT ITER 74 NEW BEST:: SOT 2927408 SOS 778176 HAS SOPS 778176 HAS SOUS 617049 HAS SOUPS 617049 WITH SCORE 617827.176
AT ITER 77 NEW BEST:: SOT 2927116 SOS 777414 HAS SOPS 777414 HAS SOUS 616533 HAS SOUPS 616533 WITH SCORE 617310.414
AT ITER 78 NEW BEST:: SOT 2926942 SOS 779044 HAS SOPS 779044 HAS SOUS 616325 HAS SOUPS 616325 WITH SCORE 617104.044
AT ITER 82 NEW BEST:: SOT 2926681 SOS 778783 HAS SOPS 778783 HAS SOUS 616049 HAS SOUPS 616049 WITH SCORE 616827.783
AT ITER 85 NEW BEST:: SOT 2926357 SOS 778918 HAS SOPS 778918 HAS SOUS 615869 HAS SOUPS 615869 WITH SCORE 616647.918
AT ITER 91 NEW BEST:: SOT 2925091 SOS 777441 HAS SOPS 777441 HAS SOUS 615869 HAS SOUPS 615869 WITH SCORE 616646.441
AT ITER 95 NEW BEST:: SOT 2924997 SOS 777018 HAS SOPS 777018 HAS SOUS 615775 HAS SOUPS 615775 WITH SCORE 616552.018
AT ITER 103 NEW BEST:: SOT 2924997 SOS 776856 HAS SOPS 776856 HAS SOUS 615775 HAS SOUPS 615775 WITH SCORE 616551.856
AT ITER 118 NEW BEST:: SOT 2924750 SOS 776605 HAS SOPS 776605 HAS SOUS 615468 HAS SOUPS 615468 WITH SCORE 616244.605
AT ITER 125 NEW BEST:: SOT 2924750 SOS 776889 HAS SOPS 776889 HAS SOUS 615437 HAS SOUPS 615437 WITH SCORE 616213.889
AT ITER 130 NEW BEST:: SOT 2924750 SOS 776781 HAS SOPS 776781 HAS SOUS 615329 HAS SOUPS 615329 WITH SCORE 616105.781
AT ITER 132 NEW BEST:: SOT 2924839 SOS 776729 HAS SOPS 776729 HAS SOUS 615277 HAS SOUPS 615277 WITH SCORE 616053.729
AT ITER 134 NEW BEST:: SOT 2927405 SOS 783660 HAS SOPS 783660 HAS SOUS 614105 HAS SOUPS 614105 WITH SCORE 614888.66
AT ITER 141 NEW BEST:: SOT 2927392 SOS 783634 HAS SOPS 783634 HAS SOUS 614079 HAS SOUPS 614079 WITH SCORE 614862.634
AT ITER 143 NEW BEST:: SOT 2927266 SOS 783364 HAS SOPS 783364 HAS SOUS 613809 HAS SOUPS 613809 WITH SCORE 614592.364
AT ITER 144 NEW BEST:: SOT 2925856 SOS 783532 HAS SOPS 783532 HAS SOUS 613106 HAS SOUPS 613106 WITH SCORE 613889.532
AT ITER 166 NEW BEST:: SOT 2925855 SOS 783531 HAS SOPS 783531 HAS SOUS 613104 HAS SOUPS 613104 WITH SCORE 613887.531
AT ITER 170 NEW BEST:: SOT 2924461 SOS 782239 HAS SOPS 782239 HAS SOUS 611690 HAS SOUPS 611690 WITH SCORE 612472.239
AT ITER 182 NEW BEST:: SOT 2924124 SOS 778195 HAS SOPS 778195 HAS SOUS 611016 HAS SOUPS 611016 WITH SCORE 611794.195
AT ITER 192 NEW BEST:: SOT 2923978 SOS 777966 HAS SOPS 777966 HAS SOUS 610867 HAS SOUPS 610867 WITH SCORE 611644.966
AT ITER 202 NEW BEST:: SOT 2923945 SOS 777832 HAS SOPS 777832 HAS SOUS 610834 HAS SOUPS 610834 WITH SCORE 611611.832
AT ITER 203 NEW BEST:: SOT 2923425 SOS 779235 HAS SOPS 779235 HAS SOUS 610586 HAS SOUPS 610586 WITH SCORE 611365.235
AT ITER 216 NEW BEST:: SOT 2922905 SOS 779211 HAS SOPS 779211 HAS SOUS 610302 HAS SOUPS 610302 WITH SCORE 611081.211
AT ITER 225 NEW BEST:: SOT 2922551 SOS 778950 HAS SOPS 778950 HAS SOUS 610041 HAS SOUPS 610041 WITH SCORE 610819.95
AT ITER 235 NEW BEST:: SOT 2922432 SOS 779050 HAS SOPS 779050 HAS SOUS 610022 HAS SOUPS 610022 WITH SCORE 610801.05
AT ITER 243 NEW BEST:: SOT 2922275 SOS 778893 HAS SOPS 778893 HAS SOUS 609865 HAS SOUPS 609865 WITH SCORE 610643.893
AT ITER 244 NEW BEST:: SOT 2922100 SOS 779544 HAS SOPS 779544 HAS SOUS 609708 HAS SOUPS 609708 WITH SCORE 610487.544
AT ITER 256 NEW BEST:: SOT 2922046 SOS 779435 HAS SOPS 779435 HAS SOUS 609599 HAS SOUPS 609599 WITH SCORE 610378.435
AT ITER 258 NEW BEST:: SOT 2925011 SOS 782793 HAS SOPS 782793 HAS SOUS 607495 HAS SOUPS 607495 WITH SCORE 608277.793
AT ITER 263 NEW BEST:: SOT 2925008 SOS 782516 HAS SOPS 782516 HAS SOUS 607485 HAS SOUPS 607485 WITH SCORE 608267.516
AT ITER 281 NEW BEST:: SOT 2925008 SOS 782512 HAS SOPS 782512 HAS SOUS 607481 HAS SOUPS 607481 WITH SCORE 608263.512
AT ITER 285 NEW BEST:: SOT 2924740 SOS 782000 HAS SOPS 782000 HAS SOUS 606969 HAS SOUPS 606969 WITH SCORE 607751.0
AT ITER 290 NEW BEST:: SOT 2924523 SOS 781532 HAS SOPS 781532 HAS SOUS 606480 HAS SOUPS 606480 WITH SCORE 607261.532
AT ITER 295 NEW BEST:: SOT 2924460 SOS 781415 HAS SOPS 781415 HAS SOUS 606381 HAS SOUPS 606381 WITH SCORE 607162.415
AT ITER 328 NEW BEST:: SOT 2924391 SOS 781277 HAS SOPS 781277 HAS SOUS 606243 HAS SOUPS 606243 WITH SCORE 607024.277
AT ITER 339 NEW BEST:: SOT 2924356 SOS 781192 HAS SOPS 781192 HAS SOUS 606208 HAS SOUPS 606208 WITH SCORE 606989.192
AT ITER 341 NEW BEST:: SOT 2924356 SOS 781176 HAS SOPS 781176 HAS SOUS 606192 HAS SOUPS 606192 WITH SCORE 606973.176
AT ITER 344 NEW BEST:: SOT 2924295 SOS 781113 HAS SOPS 781113 HAS SOUS 606129 HAS SOUPS 606129 WITH SCORE 606910.113
AT ITER 371 NEW BEST:: SOT 2923993 SOS 780861 HAS SOPS 780861 HAS SOUS 605868 HAS SOUPS 605868 WITH SCORE 606648.861
AT ITER 394 NEW BEST:: SOT 2923870 SOS 780738 HAS SOPS 780738 HAS SOUS 605745 HAS SOUPS 605745 WITH SCORE 606525.738
AT ITER 433 NEW BEST:: SOT 2923869 SOS 780910 HAS SOPS 780910 HAS SOUS 605395 HAS SOUPS 605395 WITH SCORE 606175.91
AT ITER 443 NEW BEST:: SOT 2923694 SOS 780742 HAS SOPS 780742 HAS SOUS 605195 HAS SOUPS 605195 WITH SCORE 605975.742
AT ITER 454 NEW BEST:: SOT 2923439 SOS 780529 HAS SOPS 780529 HAS SOUS 604983 HAS SOUPS 604983 WITH SCORE 605763.529
AT ITER 460 NEW BEST:: SOT 2923207 SOS 779833 HAS SOPS 779833 HAS SOUS 604287 HAS SOUPS 604287 WITH SCORE 605066.833
AT ITER 462 NEW BEST:: SOT 2923207 SOS 781185 HAS SOPS 781185 HAS SOUS 604260 HAS SOUPS 604260 WITH SCORE 605041.185
AT ITER 466 NEW BEST:: SOT 2920383 SOS 779614 HAS SOPS 779614 HAS SOUS 601631 HAS SOUPS 601631 WITH SCORE 602410.614
AT ITER 468 NEW BEST:: SOT 2920199 SOS 779246 HAS SOPS 779246 HAS SOUS 601154 HAS SOUPS 601154 WITH SCORE 601933.246
AT ITER 476 NEW BEST:: SOT 2919933 SOS 779091 HAS SOPS 779091 HAS SOUS 600998 HAS SOUPS 600998 WITH SCORE 601777.091
AT ITER 482 NEW BEST:: SOT 2919761 SOS 779090 HAS SOPS 779090 HAS SOUS 600997 HAS SOUPS 600997 WITH SCORE 601776.09
AT ITER 501 NEW BEST:: SOT 2919418 SOS 778732 HAS SOPS 778732 HAS SOUS 600804 HAS SOUPS 600804 WITH SCORE 601582.732
AT ITER 503 NEW BEST:: SOT 2919092 SOS 777788 HAS SOPS 777788 HAS SOUS 595079 HAS SOUPS 595079 WITH SCORE 595856.788
AT ITER 511 NEW BEST:: SOT 2919136 SOS 777755 HAS SOPS 777755 HAS SOUS 595046 HAS SOUPS 595046 WITH SCORE 595823.755
AT ITER 523 NEW BEST:: SOT 2919012 SOS 777570 HAS SOPS 777570 HAS SOUS 594861 HAS SOUPS 594861 WITH SCORE 595638.57
AT ITER 535 NEW BEST:: SOT 2918922 SOS 777480 HAS SOPS 777480 HAS SOUS 594861 HAS SOUPS 594861 WITH SCORE 595638.48
AT ITER 540 NEW BEST:: SOT 2918921 SOS 777628 HAS SOPS 777628 HAS SOUS 594559 HAS SOUPS 594559 WITH SCORE 595336.628
AT ITER 553 NEW BEST:: SOT 2918920 SOS 777861 HAS SOPS 777861 HAS SOUS 594557 HAS SOUPS 594557 WITH SCORE 595334.861
AT ITER 570 NEW BEST:: SOT 2918799 SOS 777826 HAS SOPS 777826 HAS SOUS 594522 HAS SOUPS 594522 WITH SCORE 595299.826
AT ITER 576 NEW BEST:: SOT 2918623 SOS 777121 HAS SOPS 777121 HAS SOUS 594169 HAS SOUPS 594169 WITH SCORE 594946.121
AT ITER 577 NEW BEST:: SOT 2918606 SOS 777087 HAS SOPS 777087 HAS SOUS 594135 HAS SOUPS 594135 WITH SCORE 594912.087
AT ITER 600 NEW BEST:: SOT 2918256 SOS 776562 HAS SOPS 776562 HAS SOUS 593610 HAS SOUPS 593610 WITH SCORE 594386.562
AT ITER 601 NEW BEST:: SOT 2917898 SOS 776194 HAS SOPS 776194 HAS SOUS 593228 HAS SOUPS 593228 WITH SCORE 594004.194
AT ITER 605 NEW BEST:: SOT 2917812 SOS 776108 HAS SOPS 776108 HAS SOUS 592454 HAS SOUPS 592454 WITH SCORE 593230.108
AT ITER 625 NEW BEST:: SOT 2916911 SOS 776243 HAS SOPS 776243 HAS SOUS 591765 HAS SOUPS 591765 WITH SCORE 592541.243
AT ITER 654 NEW BEST:: SOT 2916838 SOS 776170 HAS SOPS 776170 HAS SOUS 591692 HAS SOUPS 591692 WITH SCORE 592468.17
AT ITER 663 NEW BEST:: SOT 2916668 SOS 775830 HAS SOPS 775830 HAS SOUS 591519 HAS SOUPS 591519 WITH SCORE 592294.83
AT ITER 677 NEW BEST:: SOT 2916635 SOS 775850 HAS SOPS 775850 HAS SOUS 591396 HAS SOUPS 591396 WITH SCORE 592171.85
AT ITER 678 NEW BEST:: SOT 2916634 SOS 775847 HAS SOPS 775847 HAS SOUS 591393 HAS SOUPS 591393 WITH SCORE 592168.847
AT ITER 685 NEW BEST:: SOT 2915994 SOS 775207 HAS SOPS 775207 HAS SOUS 590753 HAS SOUPS 590753 WITH SCORE 591528.207
AT ITER 696 NEW BEST:: SOT 2915502 SOS 774773 HAS SOPS 774773 HAS SOUS 590318 HAS SOUPS 590318 WITH SCORE 591092.773
AT ITER 700 NEW BEST:: SOT 2915502 SOS 774580 HAS SOPS 774580 HAS SOUS 590316 HAS SOUPS 590316 WITH SCORE 591090.58
AT ITER 712 NEW BEST:: SOT 2915065 SOS 774143 HAS SOPS 774143 HAS SOUS 589879 HAS SOUPS 589879 WITH SCORE 590653.143
AT ITER 724 NEW BEST:: SOT 2914943 SOS 773701 HAS SOPS 773701 HAS SOUS 589635 HAS SOUPS 589635 WITH SCORE 590408.701
AT ITER 769 NEW BEST:: SOT 2914816 SOS 773256 HAS SOPS 773256 HAS SOUS 589568 HAS SOUPS 589568 WITH SCORE 590341.256
AT ITER 785 NEW BEST:: SOT 2914727 SOS 772916 HAS SOPS 772916 HAS SOUS 589382 HAS SOUPS 589382 WITH SCORE 590154.916
AT ITER 830 NEW BEST:: SOT 2914727 SOS 772728 HAS SOPS 772728 HAS SOUS 589381 HAS SOUPS 589381 WITH SCORE 590153.728
AT ITER 840 NEW BEST:: SOT 2914727 SOS 772728 HAS SOPS 772728 HAS SOUS 589380 HAS SOUPS 589380 WITH SCORE 590152.728
AT ITER 888 NEW BEST:: SOT 2914718 SOS 772719 HAS SOPS 772719 HAS SOUS 589371 HAS SOUPS 589371 WITH SCORE 590143.719
AT ITER 895 NEW BEST:: SOT 2914464 SOS 772504 HAS SOPS 772504 HAS SOUS 589156 HAS SOUPS 589156 WITH SCORE 589928.504
AT ITER 899 NEW BEST:: SOT 2914464 SOS 772410 HAS SOPS 772410 HAS SOUS 589062 HAS SOUPS 589062 WITH SCORE 589834.41
AT ITER 913 NEW BEST:: SOT 2914462 SOS 772406 HAS SOPS 772406 HAS SOUS 589058 HAS SOUPS 589058 WITH SCORE 589830.406
AT ITER 915 NEW BEST:: SOT 2914232 SOS 771949 HAS SOPS 771949 HAS SOUS 588597 HAS SOUPS 588597 WITH SCORE 589368.949
AT ITER 920 NEW BEST:: SOT 2914232 SOS 771690 HAS SOPS 771690 HAS SOUS 588597 HAS SOUPS 588597 WITH SCORE 589368.69
AT ITER 922 NEW BEST:: SOT 2915172 SOS 772787 HAS SOPS 772787 HAS SOUS 587830 HAS SOUPS 587830 WITH SCORE 588602.787
AT ITER 923 NEW BEST:: SOT 2915275 SOS 772719 HAS SOPS 772719 HAS SOUS 587813 HAS SOUPS 587813 WITH SCORE 588585.719
AT ITER 939 NEW BEST:: SOT 2915369 SOS 772229 HAS SOPS 772229 HAS SOUS 587323 HAS SOUPS 587323 WITH SCORE 588095.229
AT ITER 940 NEW BEST:: SOT 2915369 SOS 772217 HAS SOPS 772217 HAS SOUS 587311 HAS SOUPS 587311 WITH SCORE 588083.217
AT ITER 944 NEW BEST:: SOT 2915233 SOS 771537 HAS SOPS 771537 HAS SOUS 587038 HAS SOUPS 587038 WITH SCORE 587809.537
AT ITER 947 NEW BEST:: SOT 2915077 SOS 771447 HAS SOPS 771447 HAS SOUS 586935 HAS SOUPS 586935 WITH SCORE 587706.447
AT ITER 956 NEW BEST:: SOT 2914985 SOS 771343 HAS SOPS 771343 HAS SOUS 586817 HAS SOUPS 586817 WITH SCORE 587588.343
AT ITER 957 NEW BEST:: SOT 2914947 SOS 771191 HAS SOPS 771191 HAS SOUS 586741 HAS SOUPS 586741 WITH SCORE 587512.191
AT ITER 958 NEW BEST:: SOT 2914976 SOS 771117 HAS SOPS 771117 HAS SOUS 586667 HAS SOUPS 586667 WITH SCORE 587438.117
AT ITER 960 NEW BEST:: SOT 2914950 SOS 771039 HAS SOPS 771039 HAS SOUS 586589 HAS SOUPS 586589 WITH SCORE 587360.039
AT ITER 983 NEW BEST:: SOT 2914771 SOS 770860 HAS SOPS 770860 HAS SOUS 586410 HAS SOUPS 586410 WITH SCORE 587180.86
AT ITER 989 NEW BEST:: SOT 2914741 SOS 770857 HAS SOPS 770857 HAS SOUS 586407 HAS SOUPS 586407 WITH SCORE 587177.857
AT ITER 993 NEW BEST:: SOT 2914308 SOS 770799 HAS SOPS 770799 HAS SOUS 586031 HAS SOUPS 586031 WITH SCORE 586801.799
AT ITER 995 NEW BEST:: SOT 2914160 SOS 770651 HAS SOPS 770651 HAS SOUS 585878 HAS SOUPS 585878 WITH SCORE 586648.651
AT ITER 998 NEW BEST:: SOT 2914076 SOS 770483 HAS SOPS 770483 HAS SOUS 585710 HAS SOUPS 585710 WITH SCORE 586480.483
AT ITER 1036 NEW BEST:: SOT 2914076 SOS 770479 HAS SOPS 770479 HAS SOUS 585706 HAS SOUPS 585706 WITH SCORE 586476.479
AT ITER 1039 NEW BEST:: SOT 2913818 SOS 769666 HAS SOPS 769666 HAS SOUS 581623 HAS SOUPS 581623 WITH SCORE 582392.666
AT ITER 1042 NEW BEST:: SOT 2913815 SOS 769510 HAS SOPS 769510 HAS SOUS 581556 HAS SOUPS 581556 WITH SCORE 582325.51
AT ITER 1047 NEW BEST:: SOT 2913826 SOS 769489 HAS SOPS 769489 HAS SOUS 581535 HAS SOUPS 581535 WITH SCORE 582304.489
AT ITER 1057 NEW BEST:: SOT 2913808 SOS 769472 HAS SOPS 769472 HAS SOUS 581518 HAS SOUPS 581518 WITH SCORE 582287.472
AT ITER 1083 NEW BEST:: SOT 2913609 SOS 769273 HAS SOPS 769273 HAS SOUS 581120 HAS SOUPS 581120 WITH SCORE 581889.273
AT ITER 1109 NEW BEST:: SOT 2913604 SOS 769079 HAS SOPS 769079 HAS SOUS 580926 HAS SOUPS 580926 WITH SCORE 581695.079
AT ITER 1147 NEW BEST:: SOT 2913502 SOS 768996 HAS SOPS 768996 HAS SOUS 580843 HAS SOUPS 580843 WITH SCORE 581611.996
AT ITER 1157 NEW BEST:: SOT 2913165 SOS 767193 HAS SOPS 767193 HAS SOUS 580169 HAS SOUPS 580169 WITH SCORE 580936.193
AT ITER 1168 NEW BEST:: SOT 2912735 SOS 766625 HAS SOPS 766625 HAS SOUS 579777 HAS SOUPS 579777 WITH SCORE 580543.625
AT ITER 1199 NEW BEST:: SOT 2912477 SOS 767637 HAS SOPS 767637 HAS SOUS 579637 HAS SOUPS 579637 WITH SCORE 580404.637
AT ITER 1202 NEW BEST:: SOT 2912322 SOS 769770 HAS SOPS 769770 HAS SOUS 579322 HAS SOUPS 579322 WITH SCORE 580091.77
AT ITER 1203 NEW BEST:: SOT 2912322 SOS 770382 HAS SOPS 770382 HAS SOUS 579254 HAS SOUPS 579254 WITH SCORE 580024.382
AT ITER 1207 NEW BEST:: SOT 2912321 SOS 770381 HAS SOPS 770381 HAS SOUS 579252 HAS SOUPS 579252 WITH SCORE 580022.381
AT ITER 1211 NEW BEST:: SOT 2912321 SOS 770344 HAS SOPS 770344 HAS SOUS 579215 HAS SOUPS 579215 WITH SCORE 579985.344
AT ITER 1218 NEW BEST:: SOT 2912051 SOS 770151 HAS SOPS 770151 HAS SOUS 579022 HAS SOUPS 579022 WITH SCORE 579792.151
AT ITER 1223 NEW BEST:: SOT 2911934 SOS 769907 HAS SOPS 769907 HAS SOUS 578778 HAS SOUPS 578778 WITH SCORE 579547.907
AT ITER 1228 NEW BEST:: SOT 2911934 SOS 770139 HAS SOPS 770139 HAS SOUS 578314 HAS SOUPS 578314 WITH SCORE 579084.139
AT ITER 1316 NEW BEST:: SOT 2910967 SOS 769535 HAS SOPS 769535 HAS SOUS 577710 HAS SOUPS 577710 WITH SCORE 578479.535
AT ITER 1328 NEW BEST:: SOT 2910967 SOS 769433 HAS SOPS 769433 HAS SOUS 577710 HAS SOUPS 577710 WITH SCORE 578479.433
AT ITER 1329 NEW BEST:: SOT 2910851 SOS 769201 HAS SOPS 769201 HAS SOUS 577361 HAS SOUPS 577361 WITH SCORE 578130.201
AT ITER 1350 NEW BEST:: SOT 2910805 SOS 769142 HAS SOPS 769142 HAS SOUS 577302 HAS SOUPS 577302 WITH SCORE 578071.142
AT ITER 1362 NEW BEST:: SOT 2910804 SOS 769917 HAS SOPS 769917 HAS SOUS 577300 HAS SOUPS 577300 WITH SCORE 578069.917
AT ITER 1368 NEW BEST:: SOT 2910677 SOS 769663 HAS SOPS 769663 HAS SOUS 577046 HAS SOUPS 577046 WITH SCORE 577815.663
AT ITER 1391 NEW BEST:: SOT 2910677 SOS 769337 HAS SOPS 769337 HAS SOUS 576720 HAS SOUPS 576720 WITH SCORE 577489.337
AT ITER 1409 NEW BEST:: SOT 2910677 SOS 769211 HAS SOPS 769211 HAS SOUS 576717 HAS SOUPS 576717 WITH SCORE 577486.211
AT ITER 1421 NEW BEST:: SOT 2910677 SOS 769207 HAS SOPS 769207 HAS SOUS 576717 HAS SOUPS 576717 WITH SCORE 577486.207
AT ITER 1427 NEW BEST:: SOT 2910493 SOS 768758 HAS SOPS 768758 HAS SOUS 576349 HAS SOUPS 576349 WITH SCORE 577117.758
AT ITER 1429 NEW BEST:: SOT 2910488 SOS 768758 HAS SOPS 768758 HAS SOUS 576344 HAS SOUPS 576344 WITH SCORE 577112.758
AT ITER 1433 NEW BEST:: SOT 2910458 SOS 768698 HAS SOPS 768698 HAS SOUS 576284 HAS SOUPS 576284 WITH SCORE 577052.698
AT ITER 1434 NEW BEST:: SOT 2910218 SOS 768345 HAS SOPS 768345 HAS SOUS 576044 HAS SOUPS 576044 WITH SCORE 576812.345
AT ITER 1457 NEW BEST:: SOT 2910055 SOS 768019 HAS SOPS 768019 HAS SOUS 575718 HAS SOUPS 575718 WITH SCORE 576486.019
AT ITER 1458 NEW BEST:: SOT 2907431 SOS 765045 HAS SOPS 765045 HAS SOUS 575332 HAS SOUPS 575332 WITH SCORE 576097.045
AT ITER 1460 NEW BEST:: SOT 2907278 SOS 764624 HAS SOPS 764624 HAS SOUS 575026 HAS SOUPS 575026 WITH SCORE 575790.624
AT ITER 1487 NEW BEST:: SOT 2907278 SOS 764643 HAS SOPS 764643 HAS SOUS 574756 HAS SOUPS 574756 WITH SCORE 575520.643
AT ITER 1508 NEW BEST:: SOT 2904982 SOS 762346 HAS SOPS 762346 HAS SOUS 572457 HAS SOUPS 572457 WITH SCORE 573219.346
AT ITER 1533 NEW BEST:: SOT 2904907 SOS 762340 HAS SOPS 762340 HAS SOUS 572451 HAS SOUPS 572451 WITH SCORE 573213.34
AT ITER 1538 NEW BEST:: SOT 2905513 SOS 766368 HAS SOPS 766368 HAS SOUS 570721 HAS SOUPS 570721 WITH SCORE 571487.368
AT ITER 1570 NEW BEST:: SOT 2905426 SOS 766275 HAS SOPS 766275 HAS SOUS 570628 HAS SOUPS 570628 WITH SCORE 571394.275
AT ITER 1587 NEW BEST:: SOT 2905424 SOS 766113 HAS SOPS 766113 HAS SOUS 570615 HAS SOUPS 570615 WITH SCORE 571381.113
AT ITER 1604 NEW BEST:: SOT 2905386 SOS 766075 HAS SOPS 766075 HAS SOUS 570577 HAS SOUPS 570577 WITH SCORE 571343.075
AT ITER 1621 NEW BEST:: SOT 2905097 SOS 765490 HAS SOPS 765490 HAS SOUS 569992 HAS SOUPS 569992 WITH SCORE 570757.49
AT ITER 1623 NEW BEST:: SOT 2904595 SOS 766642 HAS SOPS 766642 HAS SOUS 569686 HAS SOUPS 569686 WITH SCORE 570452.642
AT ITER 1630 NEW BEST:: SOT 2904595 SOS 766639 HAS SOPS 766639 HAS SOUS 569683 HAS SOUPS 569683 WITH SCORE 570449.639
AT ITER 1635 NEW BEST:: SOT 2903985 SOS 766029 HAS SOPS 766029 HAS SOUS 569073 HAS SOUPS 569073 WITH SCORE 569839.029
AT ITER 1679 NEW BEST:: SOT 2903985 SOS 766025 HAS SOPS 766025 HAS SOUS 569069 HAS SOUPS 569069 WITH SCORE 569835.025
AT ITER 1685 NEW BEST:: SOT 2902590 SOS 764994 HAS SOPS 764994 HAS SOUS 567793 HAS SOUPS 567793 WITH SCORE 568557.994
AT ITER 1687 NEW BEST:: SOT 2902614 SOS 765064 HAS SOPS 765064 HAS SOUS 567783 HAS SOUPS 567783 WITH SCORE 568548.064
AT ITER 1691 NEW BEST:: SOT 2902474 SOS 764682 HAS SOPS 764682 HAS SOUS 567420 HAS SOUPS 567420 WITH SCORE 568184.682
AT ITER 1703 NEW BEST:: SOT 2902340 SOS 764680 HAS SOPS 764680 HAS SOUS 567283 HAS SOUPS 567283 WITH SCORE 568047.68
AT ITER 1721 NEW BEST:: SOT 2901892 SOS 764684 HAS SOPS 764684 HAS SOUS 567015 HAS SOUPS 567015 WITH SCORE 567779.684
AT ITER 1723 NEW BEST:: SOT 2901759 SOS 764670 HAS SOPS 764670 HAS SOUS 567001 HAS SOUPS 567001 WITH SCORE 567765.67
AT ITER 1724 NEW BEST:: SOT 2901608 SOS 764252 HAS SOPS 764252 HAS SOUS 566699 HAS SOUPS 566699 WITH SCORE 567463.252
AT ITER 1725 NEW BEST:: SOT 2901608 SOS 764099 HAS SOPS 764099 HAS SOUS 566546 HAS SOUPS 566546 WITH SCORE 567310.099
AT ITER 1727 NEW BEST:: SOT 2901608 SOS 763741 HAS SOPS 763741 HAS SOUS 566546 HAS SOUPS 566546 WITH SCORE 567309.741
AT ITER 1734 NEW BEST:: SOT 2901489 SOS 763445 HAS SOPS 763445 HAS SOUS 566368 HAS SOUPS 566368 WITH SCORE 567131.445
AT ITER 1760 NEW BEST:: SOT 2901489 SOS 763324 HAS SOPS 763324 HAS SOUS 566351 HAS SOUPS 566351 WITH SCORE 567114.324
AT ITER 1766 NEW BEST:: SOT 2901473 SOS 763292 HAS SOPS 763292 HAS SOUS 566319 HAS SOUPS 566319 WITH SCORE 567082.292
AT ITER 1768 NEW BEST:: SOT 2901473 SOS 763286 HAS SOPS 763286 HAS SOUS 566313 HAS SOUPS 566313 WITH SCORE 567076.286
AT ITER 1778 NEW BEST:: SOT 2901406 SOS 763203 HAS SOPS 763203 HAS SOUS 565710 HAS SOUPS 565710 WITH SCORE 566473.203
AT ITER 1804 NEW BEST:: SOT 2901222 SOS 762700 HAS SOPS 762700 HAS SOUS 565431 HAS SOUPS 565431 WITH SCORE 566193.7
AT ITER 1825 NEW BEST:: SOT 2900978 SOS 762456 HAS SOPS 762456 HAS SOUS 565187 HAS SOUPS 565187 WITH SCORE 565949.456
AT ITER 1878 NEW BEST:: SOT 2900868 SOS 762245 HAS SOPS 762245 HAS SOUS 565068 HAS SOUPS 565068 WITH SCORE 565830.245
AT ITER 1884 NEW BEST:: SOT 2900881 SOS 762154 HAS SOPS 762154 HAS SOUS 565068 HAS SOUPS 565068 WITH SCORE 565830.154
AT ITER 1889 NEW BEST:: SOT 2900710 SOS 761812 HAS SOPS 761812 HAS SOUS 564726 HAS SOUPS 564726 WITH SCORE 565487.812
AT ITER 1892 NEW BEST:: SOT 2900710 SOS 761812 HAS SOPS 761812 HAS SOUS 564611 HAS SOUPS 564611 WITH SCORE 565372.812
AT ITER 1899 NEW BEST:: SOT 2900485 SOS 761586 HAS SOPS 761586 HAS SOUS 564385 HAS SOUPS 564385 WITH SCORE 565146.586
AT ITER 1905 NEW BEST:: SOT 2900412 SOS 761604 HAS SOPS 761604 HAS SOUS 564349 HAS SOUPS 564349 WITH SCORE 565110.604
AT ITER 1925 NEW BEST:: SOT 2900387 SOS 761554 HAS SOPS 761554 HAS SOUS 564299 HAS SOUPS 564299 WITH SCORE 565060.554
AT ITER 1933 NEW BEST:: SOT 2900152 SOS 761247 HAS SOPS 761247 HAS SOUS 563992 HAS SOUPS 563992 WITH SCORE 564753.247
AT ITER 1958 NEW BEST:: SOT 2899348 SOS 762249 HAS SOPS 762249 HAS SOUS 563467 HAS SOUPS 563467 WITH SCORE 564229.249
AT ITER 1961 NEW BEST:: SOT 2898949 SOS 761877 HAS SOPS 761877 HAS SOUS 563095 HAS SOUPS 563095 WITH SCORE 563856.877
AT ITER 1969 NEW BEST:: SOT 2898924 SOS 761666 HAS SOPS 761666 HAS SOUS 563005 HAS SOUPS 563005 WITH SCORE 563766.666
AT ITER 1977 NEW BEST:: SOT 2898853 SOS 761456 HAS SOPS 761456 HAS SOUS 562795 HAS SOUPS 562795 WITH SCORE 563556.456
AT ITER 1982 NEW BEST:: SOT 2898853 SOS 761401 HAS SOPS 761401 HAS SOUS 562795 HAS SOUPS 562795 WITH SCORE 563556.401
AT ITER 2000 NEW BEST:: SOT 2898632 SOS 760761 HAS SOPS 760761 HAS SOUS 562185 HAS SOUPS 562185 WITH SCORE 562945.761
AT ITER 2004 NEW BEST:: SOT 2903424 SOS 765999 HAS SOPS 765999 HAS SOUS 562075 HAS SOUPS 562075 WITH SCORE 562840.999
AT ITER 2016 NEW BEST:: SOT 2903311 SOS 765886 HAS SOPS 765886 HAS SOUS 561962 HAS SOUPS 561962 WITH SCORE 562727.886
AT ITER 2018 NEW BEST:: SOT 2903311 SOS 765741 HAS SOPS 765741 HAS SOUS 561961 HAS SOUPS 561961 WITH SCORE 562726.741
AT ITER 2038 NEW BEST:: SOT 2903234 SOS 765860 HAS SOPS 765860 HAS SOUS 561807 HAS SOUPS 561807 WITH SCORE 562572.86
AT ITER 2043 NEW BEST:: SOT 2903042 SOS 765430 HAS SOPS 765430 HAS SOUS 561481 HAS SOUPS 561481 WITH SCORE 562246.43
AT ITER 2051 NEW BEST:: SOT 2902870 SOS 765103 HAS SOPS 765103 HAS SOUS 561154 HAS SOUPS 561154 WITH SCORE 561919.103
AT ITER 2059 NEW BEST:: SOT 2902817 SOS 765046 HAS SOPS 765046 HAS SOUS 561100 HAS SOUPS 561100 WITH SCORE 561865.046
AT ITER 2089 NEW BEST:: SOT 2902348 SOS 764443 HAS SOPS 764443 HAS SOUS 560564 HAS SOUPS 560564 WITH SCORE 561328.443
AT ITER 2095 NEW BEST:: SOT 2902322 SOS 762915 HAS SOPS 762915 HAS SOUS 560538 HAS SOUPS 560538 WITH SCORE 561300.915
AT ITER 2109 NEW BEST:: SOT 2902049 SOS 762506 HAS SOPS 762506 HAS SOUS 560205 HAS SOUPS 560205 WITH SCORE 560967.506
AT ITER 2121 NEW BEST:: SOT 2902049 SOS 762455 HAS SOPS 762455 HAS SOUS 560205 HAS SOUPS 560205 WITH SCORE 560967.455
AT ITER 2126 NEW BEST:: SOT 2902004 SOS 762365 HAS SOPS 762365 HAS SOUS 560159 HAS SOUPS 560159 WITH SCORE 560921.365
AT ITER 2135 NEW BEST:: SOT 2901997 SOS 762407 HAS SOPS 762407 HAS SOUS 560129 HAS SOUPS 560129 WITH SCORE 560891.407
AT ITER 2142 NEW BEST:: SOT 2901324 SOS 762758 HAS SOPS 762758 HAS SOUS 559824 HAS SOUPS 559824 WITH SCORE 560586.758
AT ITER 2168 NEW BEST:: SOT 2901065 SOS 763549 HAS SOPS 763549 HAS SOUS 559509 HAS SOUPS 559509 WITH SCORE 560272.549
AT ITER 2176 NEW BEST:: SOT 2900809 SOS 763287 HAS SOPS 763287 HAS SOUS 559247 HAS SOUPS 559247 WITH SCORE 560010.287
AT ITER 2189 NEW BEST:: SOT 2900625 SOS 763103 HAS SOPS 763103 HAS SOUS 559062 HAS SOUPS 559062 WITH SCORE 559825.103
AT ITER 2197 NEW BEST:: SOT 2900460 SOS 762950 HAS SOPS 762950 HAS SOUS 558909 HAS SOUPS 558909 WITH SCORE 559671.95
AT ITER 2202 NEW BEST:: SOT 2900460 SOS 762954 HAS SOPS 762954 HAS SOUS 558831 HAS SOUPS 558831 WITH SCORE 559593.954
AT ITER 2234 NEW BEST:: SOT 2900457 SOS 762831 HAS SOPS 762831 HAS SOUS 558732 HAS SOUPS 558732 WITH SCORE 559494.831
AT ITER 2300 NEW BEST:: SOT 2900321 SOS 762559 HAS SOPS 762559 HAS SOUS 558596 HAS SOUPS 558596 WITH SCORE 559358.559
AT ITER 2325 NEW BEST:: SOT 2900408 SOS 762535 HAS SOPS 762535 HAS SOUS 558572 HAS SOUPS 558572 WITH SCORE 559334.535
AT ITER 2331 NEW BEST:: SOT 2900408 SOS 762773 HAS SOPS 762773 HAS SOUS 558571 HAS SOUPS 558571 WITH SCORE 559333.773
AT ITER 2367 NEW BEST:: SOT 2899766 SOS 762288 HAS SOPS 762288 HAS SOUS 557832 HAS SOUPS 557832 WITH SCORE 558594.288
AT ITER 2392 NEW BEST:: SOT 2899766 SOS 762133 HAS SOPS 762133 HAS SOUS 557677 HAS SOUPS 557677 WITH SCORE 558439.133
AT ITER 2398 NEW BEST:: SOT 2899766 SOS 762103 HAS SOPS 762103 HAS SOUS 557669 HAS SOUPS 557669 WITH SCORE 558431.103
AT ITER 2408 NEW BEST:: SOT 2899721 SOS 762073 HAS SOPS 762073 HAS SOUS 557639 HAS SOUPS 557639 WITH SCORE 558401.073
AT ITER 2427 NEW BEST:: SOT 2899704 SOS 762022 HAS SOPS 762022 HAS SOUS 557605 HAS SOUPS 557605 WITH SCORE 558367.022
AT ITER 2432 NEW BEST:: SOT 2899656 SOS 761974 HAS SOPS 761974 HAS SOUS 557557 HAS SOUPS 557557 WITH SCORE 558318.974
AT ITER 2448 NEW BEST:: SOT 2899493 SOS 761991 HAS SOPS 761991 HAS SOUS 557301 HAS SOUPS 557301 WITH SCORE 558062.991
AT ITER 2477 NEW BEST:: SOT 2899433 SOS 761894 HAS SOPS 761894 HAS SOUS 557219 HAS SOUPS 557219 WITH SCORE 557980.894
AT ITER 2512 NEW BEST:: SOT 2899429 SOS 761885 HAS SOPS 761885 HAS SOUS 557210 HAS SOUPS 557210 WITH SCORE 557971.885
AT ITER 2515 NEW BEST:: SOT 2899240 SOS 761696 HAS SOPS 761696 HAS SOUS 557021 HAS SOUPS 557021 WITH SCORE 557782.696
AT ITER 2520 NEW BEST:: SOT 2899238 SOS 761692 HAS SOPS 761692 HAS SOUS 557017 HAS SOUPS 557017 WITH SCORE 557778.692
AT ITER 2549 NEW BEST:: SOT 2896790 SOS 759244 HAS SOPS 759244 HAS SOUS 554569 HAS SOUPS 554569 WITH SCORE 555328.244
AT ITER 2556 NEW BEST:: SOT 2896657 SOS 758882 HAS SOPS 758882 HAS SOUS 554207 HAS SOUPS 554207 WITH SCORE 554965.882
AT ITER 2570 NEW BEST:: SOT 2896657 SOS 758868 HAS SOPS 758868 HAS SOUS 554193 HAS SOUPS 554193 WITH SCORE 554951.868
AT ITER 2589 NEW BEST:: SOT 2895253 SOS 757464 HAS SOPS 757464 HAS SOUS 552789 HAS SOUPS 552789 WITH SCORE 553546.464
AT ITER 2590 NEW BEST:: SOT 2895216 SOS 757434 HAS SOPS 757434 HAS SOUS 552759 HAS SOUPS 552759 WITH SCORE 553516.434
AT ITER 2636 NEW BEST:: SOT 2895257 SOS 757376 HAS SOPS 757376 HAS SOUS 552701 HAS SOUPS 552701 WITH SCORE 553458.376
AT ITER 2651 NEW BEST:: SOT 2895257 SOS 757496 HAS SOPS 757496 HAS SOUS 552700 HAS SOUPS 552700 WITH SCORE 553457.496
AT ITER 2660 NEW BEST:: SOT 2895087 SOS 757326 HAS SOPS 757326 HAS SOUS 552360 HAS SOUPS 552360 WITH SCORE 553117.326
AT ITER 2673 NEW BEST:: SOT 2894726 SOS 756948 HAS SOPS 756948 HAS SOUS 551982 HAS SOUPS 551982 WITH SCORE 552738.948
AT ITER 2675 NEW BEST:: SOT 2894688 SOS 756799 HAS SOPS 756799 HAS SOUS 551898 HAS SOUPS 551898 WITH SCORE 552654.799
AT ITER 2699 NEW BEST:: SOT 2894606 SOS 756170 HAS SOPS 756170 HAS SOUS 551758 HAS SOUPS 551758 WITH SCORE 552514.17
AT ITER 2704 NEW BEST:: SOT 2894371 SOS 755934 HAS SOPS 755934 HAS SOUS 551522 HAS SOUPS 551522 WITH SCORE 552277.934
AT ITER 2716 NEW BEST:: SOT 2894371 SOS 756285 HAS SOPS 756285 HAS SOUS 551503 HAS SOUPS 551503 WITH SCORE 552259.285
AT ITER 2718 NEW BEST:: SOT 2894371 SOS 756285 HAS SOPS 756285 HAS SOUS 551501 HAS SOUPS 551501 WITH SCORE 552257.285
AT ITER 2722 NEW BEST:: SOT 2894347 SOS 756200 HAS SOPS 756200 HAS SOUS 551452 HAS SOUPS 551452 WITH SCORE 552208.2
AT ITER 2742 NEW BEST:: SOT 2894322 SOS 756128 HAS SOPS 756128 HAS SOUS 551380 HAS SOUPS 551380 WITH SCORE 552136.128
AT ITER 2747 NEW BEST:: SOT 2894321 SOS 756126 HAS SOPS 756126 HAS SOUS 551378 HAS SOUPS 551378 WITH SCORE 552134.126
AT ITER 2757 NEW BEST:: SOT 2894321 SOS 756018 HAS SOPS 756018 HAS SOUS 551158 HAS SOUPS 551158 WITH SCORE 551914.018
AT ITER 2760 NEW BEST:: SOT 2894308 SOS 755767 HAS SOPS 755767 HAS SOUS 551098 HAS SOUPS 551098 WITH SCORE 551853.767
AT ITER 2786 NEW BEST:: SOT 2894575 SOS 758914 HAS SOPS 758914 HAS SOUS 550514 HAS SOUPS 550514 WITH SCORE 551272.914
AT ITER 2788 NEW BEST:: SOT 2894413 SOS 758752 HAS SOPS 758752 HAS SOUS 550352 HAS SOUPS 550352 WITH SCORE 551110.752
AT ITER 2810 NEW BEST:: SOT 2894322 SOS 758635 HAS SOPS 758635 HAS SOUS 550261 HAS SOUPS 550261 WITH SCORE 551019.635
AT ITER 2822 NEW BEST:: SOT 2894322 SOS 758371 HAS SOPS 758371 HAS SOUS 549997 HAS SOUPS 549997 WITH SCORE 550755.371
AT ITER 2832 NEW BEST:: SOT 2894186 SOS 758235 HAS SOPS 758235 HAS SOUS 549859 HAS SOUPS 549859 WITH SCORE 550617.235
AT ITER 2848 NEW BEST:: SOT 2894027 SOS 757917 HAS SOPS 757917 HAS SOUS 549541 HAS SOUPS 549541 WITH SCORE 550298.917
AT ITER 2855 NEW BEST:: SOT 2891759 SOS 757425 HAS SOPS 757425 HAS SOUS 547641 HAS SOUPS 547641 WITH SCORE 548398.425
AT ITER 2871 NEW BEST:: SOT 2891518 SOS 756775 HAS SOPS 756775 HAS SOUS 547155 HAS SOUPS 547155 WITH SCORE 547911.775
AT ITER 2902 NEW BEST:: SOT 2890139 SOS 755565 HAS SOPS 755565 HAS SOUS 546925 HAS SOUPS 546925 WITH SCORE 547680.565
AT ITER 2905 NEW BEST:: SOT 2890028 SOS 755614 HAS SOPS 755614 HAS SOUS 546703 HAS SOUPS 546703 WITH SCORE 547458.614
AT ITER 2926 NEW BEST:: SOT 2890009 SOS 755576 HAS SOPS 755576 HAS SOUS 546684 HAS SOUPS 546684 WITH SCORE 547439.576
AT ITER 2937 NEW BEST:: SOT 2889746 SOS 755441 HAS SOPS 755441 HAS SOUS 546549 HAS SOUPS 546549 WITH SCORE 547304.441
AT ITER 2943 NEW BEST:: SOT 2885457 SOS 753223 HAS SOPS 753223 HAS SOUS 542803 HAS SOUPS 542803 WITH SCORE 543556.223
AT ITER 2948 NEW BEST:: SOT 2885421 SOS 753115 HAS SOPS 753115 HAS SOUS 542731 HAS SOUPS 542731 WITH SCORE 543484.115
AT ITER 2956 NEW BEST:: SOT 2885421 SOS 753034 HAS SOPS 753034 HAS SOUS 542731 HAS SOUPS 542731 WITH SCORE 543484.034
AT ITER 2965 NEW BEST:: SOT 2885267 SOS 752726 HAS SOPS 752726 HAS SOUS 542423 HAS SOUPS 542423 WITH SCORE 543175.726
AT ITER 2991 NEW BEST:: SOT 2885146 SOS 752615 HAS SOPS 752615 HAS SOUS 542181 HAS SOUPS 542181 WITH SCORE 542933.615
AT ITER 3005 NEW BEST:: SOT 2884906 SOS 752135 HAS SOPS 752135 HAS SOUS 541802 HAS SOUPS 541802 WITH SCORE 542554.135
AT ITER 3017 NEW BEST:: SOT 2884690 SOS 751913 HAS SOPS 751913 HAS SOUS 541589 HAS SOUPS 541589 WITH SCORE 542340.913
AT ITER 3019 NEW BEST:: SOT 2884685 SOS 751868 HAS SOPS 751868 HAS SOUS 541579 HAS SOUPS 541579 WITH SCORE 542330.868
AT ITER 3032 NEW BEST:: SOT 2884559 SOS 751515 HAS SOPS 751515 HAS SOUS 541512 HAS SOUPS 541512 WITH SCORE 542263.515
AT ITER 3050 NEW BEST:: SOT 2884484 SOS 751486 HAS SOPS 751486 HAS SOUS 541483 HAS SOUPS 541483 WITH SCORE 542234.486
AT ITER 3053 NEW BEST:: SOT 2884484 SOS 751162 HAS SOPS 751162 HAS SOUS 541321 HAS SOUPS 541321 WITH SCORE 542072.162
AT ITER 3054 NEW BEST:: SOT 2884344 SOS 751129 HAS SOPS 751129 HAS SOUS 541288 HAS SOUPS 541288 WITH SCORE 542039.129
AT ITER 3063 NEW BEST:: SOT 2884343 SOS 751127 HAS SOPS 751127 HAS SOUS 541286 HAS SOUPS 541286 WITH SCORE 542037.127
AT ITER 3077 NEW BEST:: SOT 2884343 SOS 751039 HAS SOPS 751039 HAS SOUS 541286 HAS SOUPS 541286 WITH SCORE 542037.039
AT ITER 3085 NEW BEST:: SOT 2884251 SOS 750949 HAS SOPS 750949 HAS SOUS 541196 HAS SOUPS 541196 WITH SCORE 541946.949
AT ITER 3153 NEW BEST:: SOT 2884243 SOS 750901 HAS SOPS 750901 HAS SOUS 541172 HAS SOUPS 541172 WITH SCORE 541922.901
AT ITER 3154 NEW BEST:: SOT 2884231 SOS 750877 HAS SOPS 750877 HAS SOUS 541148 HAS SOUPS 541148 WITH SCORE 541898.877
AT ITER 3157 NEW BEST:: SOT 2884181 SOS 750727 HAS SOPS 750727 HAS SOUS 540998 HAS SOUPS 540998 WITH SCORE 541748.727
AT ITER 3176 NEW BEST:: SOT 2884158 SOS 750551 HAS SOPS 750551 HAS SOUS 540822 HAS SOUPS 540822 WITH SCORE 541572.551
AT ITER 3195 NEW BEST:: SOT 2884158 SOS 749911 HAS SOPS 749911 HAS SOUS 540649 HAS SOUPS 540649 WITH SCORE 541398.911
AT ITER 3201 NEW BEST:: SOT 2881631 SOS 747275 HAS SOPS 747275 HAS SOUS 537775 HAS SOUPS 537775 WITH SCORE 538522.275
AT ITER 3205 NEW BEST:: SOT 2881571 SOS 747011 HAS SOPS 747011 HAS SOUS 537511 HAS SOUPS 537511 WITH SCORE 538258.011
AT ITER 3218 NEW BEST:: SOT 2881295 SOS 746780 HAS SOPS 746780 HAS SOUS 537280 HAS SOUPS 537280 WITH SCORE 538026.78
AT ITER 3231 NEW BEST:: SOT 2880985 SOS 746032 HAS SOPS 746032 HAS SOUS 536823 HAS SOUPS 536823 WITH SCORE 537569.032
AT ITER 3238 NEW BEST:: SOT 2880844 SOS 745891 HAS SOPS 745891 HAS SOUS 536541 HAS SOUPS 536541 WITH SCORE 537286.891
AT ITER 3239 NEW BEST:: SOT 2880844 SOS 745880 HAS SOPS 745880 HAS SOUS 536530 HAS SOUPS 536530 WITH SCORE 537275.88
AT ITER 3241 NEW BEST:: SOT 2880844 SOS 745791 HAS SOPS 745791 HAS SOUS 536441 HAS SOUPS 536441 WITH SCORE 537186.791
AT ITER 3243 NEW BEST:: SOT 2880760 SOS 745539 HAS SOPS 745539 HAS SOUS 536189 HAS SOUPS 536189 WITH SCORE 536934.539
AT ITER 3244 NEW BEST:: SOT 2880696 SOS 745254 HAS SOPS 745254 HAS SOUS 536124 HAS SOUPS 536124 WITH SCORE 536869.254
AT ITER 3257 NEW BEST:: SOT 2880696 SOS 745180 HAS SOPS 745180 HAS SOUS 536118 HAS SOUPS 536118 WITH SCORE 536863.18
AT ITER 3258 NEW BEST:: SOT 2880565 SOS 744918 HAS SOPS 744918 HAS SOUS 535856 HAS SOUPS 535856 WITH SCORE 536600.918
AT ITER 3279 NEW BEST:: SOT 2880460 SOS 744917 HAS SOPS 744917 HAS SOUS 535750 HAS SOUPS 535750 WITH SCORE 536494.917
AT ITER 3306 NEW BEST:: SOT 2880302 SOS 744867 HAS SOPS 744867 HAS SOUS 535700 HAS SOUPS 535700 WITH SCORE 536444.867
AT ITER 3397 NEW BEST:: SOT 2880302 SOS 744779 HAS SOPS 744779 HAS SOUS 535700 HAS SOUPS 535700 WITH SCORE 536444.779
AT ITER 3411 NEW BEST:: SOT 2880294 SOS 744770 HAS SOPS 744770 HAS SOUS 535691 HAS SOUPS 535691 WITH SCORE 536435.77
AT ITER 3412 NEW BEST:: SOT 2880061 SOS 744770 HAS SOPS 744770 HAS SOUS 535533 HAS SOUPS 535533 WITH SCORE 536277.77
AT ITER 3416 NEW BEST:: SOT 2880030 SOS 744672 HAS SOPS 744672 HAS SOUS 535435 HAS SOUPS 535435 WITH SCORE 536179.672
AT ITER 3426 NEW BEST:: SOT 2880023 SOS 744460 HAS SOPS 744460 HAS SOUS 535424 HAS SOUPS 535424 WITH SCORE 536168.46
AT ITER 3440 NEW BEST:: SOT 2880000 SOS 744431 HAS SOPS 744431 HAS SOUS 535360 HAS SOUPS 535360 WITH SCORE 536104.431
AT ITER 3444 NEW BEST:: SOT 2879966 SOS 743987 HAS SOPS 743987 HAS SOUS 535205 HAS SOUPS 535205 WITH SCORE 535948.987
AT ITER 3453 NEW BEST:: SOT 2879949 SOS 743868 HAS SOPS 743868 HAS SOUS 535137 HAS SOUPS 535137 WITH SCORE 535880.868
AT ITER 3463 NEW BEST:: SOT 2879934 SOS 743780 HAS SOPS 743780 HAS SOUS 535107 HAS SOUPS 535107 WITH SCORE 535850.78
AT ITER 3465 NEW BEST:: SOT 2879798 SOS 742555 HAS SOPS 742555 HAS SOUS 534834 HAS SOUPS 534834 WITH SCORE 535576.555
AT ITER 3466 NEW BEST:: SOT 2879669 SOS 742297 HAS SOPS 742297 HAS SOUS 534576 HAS SOUPS 534576 WITH SCORE 535318.297
AT ITER 3472 NEW BEST:: SOT 2879669 SOS 742297 HAS SOPS 742297 HAS SOUS 534522 HAS SOUPS 534522 WITH SCORE 535264.297
AT ITER 3473 NEW BEST:: SOT 2879577 SOS 742205 HAS SOPS 742205 HAS SOUS 534430 HAS SOUPS 534430 WITH SCORE 535172.205
AT ITER 3481 NEW BEST:: SOT 2879535 SOS 741567 HAS SOPS 741567 HAS SOUS 534219 HAS SOUPS 534219 WITH SCORE 534960.567
AT ITER 3522 NEW BEST:: SOT 2879083 SOS 742471 HAS SOPS 742471 HAS SOUS 533541 HAS SOUPS 533541 WITH SCORE 534283.471
AT ITER 3530 NEW BEST:: SOT 2878224 SOS 741726 HAS SOPS 741726 HAS SOUS 533219 HAS SOUPS 533219 WITH SCORE 533960.726
AT ITER 3557 NEW BEST:: SOT 2878123 SOS 741625 HAS SOPS 741625 HAS SOUS 533118 HAS SOUPS 533118 WITH SCORE 533859.625
AT ITER 3592 NEW BEST:: SOT 2878050 SOS 741588 HAS SOPS 741588 HAS SOUS 533081 HAS SOUPS 533081 WITH SCORE 533822.588
AT ITER 3626 NEW BEST:: SOT 2877944 SOS 740794 HAS SOPS 740794 HAS SOUS 532803 HAS SOUPS 532803 WITH SCORE 533543.794
AT ITER 3627 NEW BEST:: SOT 2877924 SOS 740754 HAS SOPS 740754 HAS SOUS 532763 HAS SOUPS 532763 WITH SCORE 533503.754
AT ITER 3671 NEW BEST:: SOT 2877905 SOS 740716 HAS SOPS 740716 HAS SOUS 532725 HAS SOUPS 532725 WITH SCORE 533465.716
AT ITER 3680 NEW BEST:: SOT 2877852 SOS 740646 HAS SOPS 740646 HAS SOUS 532655 HAS SOUPS 532655 WITH SCORE 533395.646
AT ITER 3685 NEW BEST:: SOT 2877692 SOS 740270 HAS SOPS 740270 HAS SOUS 532279 HAS SOUPS 532279 WITH SCORE 533019.27
AT ITER 3714 NEW BEST:: SOT 2877637 SOS 739744 HAS SOPS 739744 HAS SOUS 532224 HAS SOUPS 532224 WITH SCORE 532963.744
AT ITER 3728 NEW BEST:: SOT 2877637 SOS 739744 HAS SOPS 739744 HAS SOUS 532151 HAS SOUPS 532151 WITH SCORE 532890.744
AT ITER 3731 NEW BEST:: SOT 2877558 SOS 739701 HAS SOPS 739701 HAS SOUS 532108 HAS SOUPS 532108 WITH SCORE 532847.701
AT ITER 3733 NEW BEST:: SOT 2877734 SOS 740344 HAS SOPS 740344 HAS SOUS 531976 HAS SOUPS 531976 WITH SCORE 532716.344
AT ITER 3753 NEW BEST:: SOT 2877706 SOS 740257 HAS SOPS 740257 HAS SOUS 531948 HAS SOUPS 531948 WITH SCORE 532688.257
AT ITER 3754 NEW BEST:: SOT 2877589 SOS 740023 HAS SOPS 740023 HAS SOUS 531817 HAS SOUPS 531817 WITH SCORE 532557.023
AT ITER 3775 NEW BEST:: SOT 2877500 SOS 739693 HAS SOPS 739693 HAS SOUS 531302 HAS SOUPS 531302 WITH SCORE 532041.693
AT ITER 3778 NEW BEST:: SOT 2877301 SOS 739494 HAS SOPS 739494 HAS SOUS 531090 HAS SOUPS 531090 WITH SCORE 531829.494
AT ITER 3788 NEW BEST:: SOT 2877318 SOS 742096 HAS SOPS 742096 HAS SOUS 531068 HAS SOUPS 531068 WITH SCORE 531810.096
AT ITER 3821 NEW BEST:: SOT 2877288 SOS 742065 HAS SOPS 742065 HAS SOUS 531037 HAS SOUPS 531037 WITH SCORE 531779.065
AT ITER 3828 NEW BEST:: SOT 2877287 SOS 742063 HAS SOPS 742063 HAS SOUS 531035 HAS SOUPS 531035 WITH SCORE 531777.063
AT ITER 3831 NEW BEST:: SOT 2877275 SOS 742044 HAS SOPS 742044 HAS SOUS 531016 HAS SOUPS 531016 WITH SCORE 531758.044
AT ITER 3834 NEW BEST:: SOT 2877253 SOS 741903 HAS SOPS 741903 HAS SOUS 530875 HAS SOUPS 530875 WITH SCORE 531616.903
AT ITER 3841 NEW BEST:: SOT 2877253 SOS 741666 HAS SOPS 741666 HAS SOUS 530482 HAS SOUPS 530482 WITH SCORE 531223.666
AT ITER 3882 NEW BEST:: SOT 2877167 SOS 741494 HAS SOPS 741494 HAS SOUS 530310 HAS SOUPS 530310 WITH SCORE 531051.494
AT ITER 3912 NEW BEST:: SOT 2877235 SOS 742769 HAS SOPS 742769 HAS SOUS 530284 HAS SOUPS 530284 WITH SCORE 531026.769
AT ITER 3922 NEW BEST:: SOT 2877248 SOS 742918 HAS SOPS 742918 HAS SOUS 530253 HAS SOUPS 530253 WITH SCORE 530995.918
AT ITER 3925 NEW BEST:: SOT 2877239 SOS 742355 HAS SOPS 742355 HAS SOUS 530152 HAS SOUPS 530152 WITH SCORE 530894.355
AT ITER 3948 NEW BEST:: SOT 2877213 SOS 742277 HAS SOPS 742277 HAS SOUS 530100 HAS SOUPS 530100 WITH SCORE 530842.277
AT ITER 3960 NEW BEST:: SOT 2877191 SOS 741838 HAS SOPS 741838 HAS SOUS 529921 HAS SOUPS 529921 WITH SCORE 530662.838
AT ITER 3994 NEW BEST:: SOT 2876977 SOS 742188 HAS SOPS 742188 HAS SOUS 529750 HAS SOUPS 529750 WITH SCORE 530492.188
AT ITER 4010 NEW BEST:: SOT 2876977 SOS 742008 HAS SOPS 742008 HAS SOUS 529750 HAS SOUPS 529750 WITH SCORE 530492.008
AT ITER 4020 NEW BEST:: SOT 2876976 SOS 742006 HAS SOPS 742006 HAS SOUS 529748 HAS SOUPS 529748 WITH SCORE 530490.006
AT ITER 4028 NEW BEST:: SOT 2876819 SOS 741842 HAS SOPS 741842 HAS SOUS 529712 HAS SOUPS 529712 WITH SCORE 530453.842
AT ITER 4047 NEW BEST:: SOT 2876818 SOS 741690 HAS SOPS 741690 HAS SOUS 529560 HAS SOUPS 529560 WITH SCORE 530301.69
AT ITER 4067 NEW BEST:: SOT 2875957 SOS 741432 HAS SOPS 741432 HAS SOUS 528653 HAS SOUPS 528653 WITH SCORE 529394.432
AT ITER 4076 NEW BEST:: SOT 2875957 SOS 741380 HAS SOPS 741380 HAS SOUS 528653 HAS SOUPS 528653 WITH SCORE 529394.38
AT ITER 4078 NEW BEST:: SOT 2875914 SOS 741290 HAS SOPS 741290 HAS SOUS 528563 HAS SOUPS 528563 WITH SCORE 529304.29
AT ITER 4085 NEW BEST:: SOT 2875914 SOS 741284 HAS SOPS 741284 HAS SOUS 528557 HAS SOUPS 528557 WITH SCORE 529298.284
AT ITER 4086 NEW BEST:: SOT 2875914 SOS 741237 HAS SOPS 741237 HAS SOUS 528555 HAS SOUPS 528555 WITH SCORE 529296.237
AT ITER 4105 NEW BEST:: SOT 2875675 SOS 741207 HAS SOPS 741207 HAS SOUS 528340 HAS SOUPS 528340 WITH SCORE 529081.207
AT ITER 4114 NEW BEST:: SOT 2875645 SOS 740927 HAS SOPS 740927 HAS SOUS 528334 HAS SOUPS 528334 WITH SCORE 529074.927
AT ITER 4119 NEW BEST:: SOT 2875646 SOS 740801 HAS SOPS 740801 HAS SOUS 528208 HAS SOUPS 528208 WITH SCORE 528948.801
AT ITER 4125 NEW BEST:: SOT 2875646 SOS 740770 HAS SOPS 740770 HAS SOUS 528146 HAS SOUPS 528146 WITH SCORE 528886.77
AT ITER 4132 NEW BEST:: SOT 2875519 SOS 740628 HAS SOPS 740628 HAS SOUS 528116 HAS SOUPS 528116 WITH SCORE 528856.628
AT ITER 4133 NEW BEST:: SOT 2875389 SOS 740238 HAS SOPS 740238 HAS SOUS 527853 HAS SOUPS 527853 WITH SCORE 528593.238
AT ITER 4136 NEW BEST:: SOT 2875354 SOS 740235 HAS SOPS 740235 HAS SOUS 527783 HAS SOUPS 527783 WITH SCORE 528523.235
AT ITER 4148 NEW BEST:: SOT 2873995 SOS 742856 HAS SOPS 742856 HAS SOUS 527068 HAS SOUPS 527068 WITH SCORE 527810.856
AT ITER 4150 NEW BEST:: SOT 2873964 SOS 743001 HAS SOPS 743001 HAS SOUS 527031 HAS SOUPS 527031 WITH SCORE 527774.001
AT ITER 4156 NEW BEST:: SOT 2873803 SOS 742679 HAS SOPS 742679 HAS SOUS 526709 HAS SOUPS 526709 WITH SCORE 527451.679
AT ITER 4169 NEW BEST:: SOT 2873540 SOS 742153 HAS SOPS 742153 HAS SOUS 526183 HAS SOUPS 526183 WITH SCORE 526925.153
AT ITER 4191 NEW BEST:: SOT 2873540 SOS 742087 HAS SOPS 742087 HAS SOUS 526181 HAS SOUPS 526181 WITH SCORE 526923.087
AT ITER 4196 NEW BEST:: SOT 2873099 SOS 741832 HAS SOPS 741832 HAS SOUS 525929 HAS SOUPS 525929 WITH SCORE 526670.832
AT ITER 4197 NEW BEST:: SOT 2873099 SOS 741975 HAS SOPS 741975 HAS SOUS 525915 HAS SOUPS 525915 WITH SCORE 526656.975
AT ITER 4217 NEW BEST:: SOT 2873133 SOS 742041 HAS SOPS 742041 HAS SOUS 525874 HAS SOUPS 525874 WITH SCORE 526616.041
AT ITER 4249 NEW BEST:: SOT 2873241 SOS 742257 HAS SOPS 742257 HAS SOUS 525634 HAS SOUPS 525634 WITH SCORE 526376.257
AT ITER 4250 NEW BEST:: SOT 2872848 SOS 742760 HAS SOPS 742760 HAS SOUS 525465 HAS SOUPS 525465 WITH SCORE 526207.76
AT ITER 4257 NEW BEST:: SOT 2872848 SOS 742753 HAS SOPS 742753 HAS SOUS 525458 HAS SOUPS 525458 WITH SCORE 526200.753
AT ITER 4262 NEW BEST:: SOT 2872814 SOS 742689 HAS SOPS 742689 HAS SOUS 525393 HAS SOUPS 525393 WITH SCORE 526135.689
AT ITER 4297 NEW BEST:: SOT 2872814 SOS 742689 HAS SOPS 742689 HAS SOUS 525390 HAS SOUPS 525390 WITH SCORE 526132.689
AT ITER 4304 NEW BEST:: SOT 2872812 SOS 742676 HAS SOPS 742676 HAS SOUS 525377 HAS SOUPS 525377 WITH SCORE 526119.676
AT ITER 4319 NEW BEST:: SOT 2872605 SOS 742593 HAS SOPS 742593 HAS SOUS 525294 HAS SOUPS 525294 WITH SCORE 526036.593
AT ITER 4346 NEW BEST:: SOT 2872560 SOS 742593 HAS SOPS 742593 HAS SOUS 524889 HAS SOUPS 524889 WITH SCORE 525631.593
AT ITER 4374 NEW BEST:: SOT 2871865 SOS 742310 HAS SOPS 742310 HAS SOUS 524222 HAS SOUPS 524222 WITH SCORE 524964.31
AT ITER 4392 NEW BEST:: SOT 2871865 SOS 742310 HAS SOPS 742310 HAS SOUS 524210 HAS SOUPS 524210 WITH SCORE 524952.31
AT ITER 4400 NEW BEST:: SOT 2871389 SOS 741897 HAS SOPS 741897 HAS SOUS 523778 HAS SOUPS 523778 WITH SCORE 524519.897
AT ITER 4405 NEW BEST:: SOT 2871369 SOS 741877 HAS SOPS 741877 HAS SOUS 523758 HAS SOUPS 523758 WITH SCORE 524499.877
AT ITER 4429 NEW BEST:: SOT 2871269 SOS 741777 HAS SOPS 741777 HAS SOUS 523658 HAS SOUPS 523658 WITH SCORE 524399.777
AT ITER 4441 NEW BEST:: SOT 2871226 SOS 741734 HAS SOPS 741734 HAS SOUS 523615 HAS SOUPS 523615 WITH SCORE 524356.734
AT ITER 4457 NEW BEST:: SOT 2871278 SOS 741980 HAS SOPS 741980 HAS SOUS 523606 HAS SOUPS 523606 WITH SCORE 524347.98
AT ITER 4473 NEW BEST:: SOT 2871278 SOS 741979 HAS SOPS 741979 HAS SOUS 523605 HAS SOUPS 523605 WITH SCORE 524346.979
AT ITER 4480 NEW BEST:: SOT 2871269 SOS 741961 HAS SOPS 741961 HAS SOUS 523587 HAS SOUPS 523587 WITH SCORE 524328.961
AT ITER 4512 NEW BEST:: SOT 2871268 SOS 741959 HAS SOPS 741959 HAS SOUS 523585 HAS SOUPS 523585 WITH SCORE 524326.959
AT ITER 4533 NEW BEST:: SOT 2871268 SOS 741946 HAS SOPS 741946 HAS SOUS 523585 HAS SOUPS 523585 WITH SCORE 524326.946
AT ITER 4565 NEW BEST:: SOT 2871241 SOS 741487 HAS SOPS 741487 HAS SOUS 523153 HAS SOUPS 523153 WITH SCORE 523894.487
AT ITER 4570 NEW BEST:: SOT 2869581 SOS 741949 HAS SOPS 741949 HAS SOUS 522203 HAS SOUPS 522203 WITH SCORE 522944.949
AT ITER 4575 NEW BEST:: SOT 2869557 SOS 741919 HAS SOPS 741919 HAS SOUS 522179 HAS SOUPS 522179 WITH SCORE 522920.919
AT ITER 4621 NEW BEST:: SOT 2869557 SOS 741906 HAS SOPS 741906 HAS SOUS 522179 HAS SOUPS 522179 WITH SCORE 522920.906
AT ITER 4660 NEW BEST:: SOT 2869485 SOS 741567 HAS SOPS 741567 HAS SOUS 522107 HAS SOUPS 522107 WITH SCORE 522848.567
AT ITER 4678 NEW BEST:: SOT 2869311 SOS 742267 HAS SOPS 742267 HAS SOUS 522086 HAS SOUPS 522086 WITH SCORE 522828.267
AT ITER 4689 NEW BEST:: SOT 2869311 SOS 742247 HAS SOPS 742247 HAS SOUS 522066 HAS SOUPS 522066 WITH SCORE 522808.247
AT ITER 4709 NEW BEST:: SOT 2868543 SOS 741969 HAS SOPS 741969 HAS SOUS 521426 HAS SOUPS 521426 WITH SCORE 522167.969
AT ITER 4712 NEW BEST:: SOT 2868521 SOS 741925 HAS SOPS 741925 HAS SOUS 521390 HAS SOUPS 521390 WITH SCORE 522131.925
AT ITER 4721 NEW BEST:: SOT 2868510 SOS 741903 HAS SOPS 741903 HAS SOUS 521368 HAS SOUPS 521368 WITH SCORE 522109.903
AT ITER 4722 NEW BEST:: SOT 2868379 SOS 741641 HAS SOPS 741641 HAS SOUS 521106 HAS SOUPS 521106 WITH SCORE 521847.641
AT ITER 4727 NEW BEST:: SOT 2867785 SOS 741860 HAS SOPS 741860 HAS SOUS 520719 HAS SOUPS 520719 WITH SCORE 521460.86
AT ITER 4762 NEW BEST:: SOT 2867772 SOS 741834 HAS SOPS 741834 HAS SOUS 520673 HAS SOUPS 520673 WITH SCORE 521414.834
AT ITER 4772 NEW BEST:: SOT 2867624 SOS 741538 HAS SOPS 741538 HAS SOUS 520377 HAS SOUPS 520377 WITH SCORE 521118.538
AT ITER 4824 NEW BEST:: SOT 2867624 SOS 741453 HAS SOPS 741453 HAS SOUS 520292 HAS SOUPS 520292 WITH SCORE 521033.453
AT ITER 4838 NEW BEST:: SOT 2867500 SOS 741274 HAS SOPS 741274 HAS SOUS 520176 HAS SOUPS 520176 WITH SCORE 520917.274
AT ITER 4842 NEW BEST:: SOT 2867490 SOS 741264 HAS SOPS 741264 HAS SOUS 520166 HAS SOUPS 520166 WITH SCORE 520907.264
AT ITER 4850 NEW BEST:: SOT 2867490 SOS 741263 HAS SOPS 741263 HAS SOUS 520165 HAS SOUPS 520165 WITH SCORE 520906.263
AT ITER 4854 NEW BEST:: SOT 2867428 SOS 741201 HAS SOPS 741201 HAS SOUS 520103 HAS SOUPS 520103 WITH SCORE 520844.201
AT ITER 4926 NEW BEST:: SOT 2867268 SOS 740842 HAS SOPS 740842 HAS SOUS 519744 HAS SOUPS 519744 WITH SCORE 520484.842
AT ITER 4936 NEW BEST:: SOT 2867268 SOS 740592 HAS SOPS 740592 HAS SOUS 519743 HAS SOUPS 519743 WITH SCORE 520483.592
AT ITER 4961 NEW BEST:: SOT 2867268 SOS 740373 HAS SOPS 740373 HAS SOUS 519743 HAS SOUPS 519743 WITH SCORE 520483.373
AT ITER 4970 NEW BEST:: SOT 2867022 SOS 740283 HAS SOPS 740283 HAS SOUS 519186 HAS SOUPS 519186 WITH SCORE 519926.283
AT ITER 4981 NEW BEST:: SOT 2866932 SOS 740065 HAS SOPS 740065 HAS SOUS 519117 HAS SOUPS 519117 WITH SCORE 519857.065
AT ITER 4985 NEW BEST:: SOT 2866894 SOS 739989 HAS SOPS 739989 HAS SOUS 519041 HAS SOUPS 519041 WITH SCORE 519780.989
AT ITER 4986 NEW BEST:: SOT 2866781 SOS 740376 HAS SOPS 740376 HAS SOUS 519028 HAS SOUPS 519028 WITH SCORE 519768.376
AT ITER 4998 NEW BEST:: SOT 2866921 SOS 740257 HAS SOPS 740257 HAS SOUS 518917 HAS SOUPS 518917 WITH SCORE 519657.257
AT ITER 5014 NEW BEST:: SOT 2866921 SOS 740307 HAS SOPS 740307 HAS SOUS 518805 HAS SOUPS 518805 WITH SCORE 519545.307
AT ITER 5046 NEW BEST:: SOT 2866939 SOS 740116 HAS SOPS 740116 HAS SOUS 518770 HAS SOUPS 518770 WITH SCORE 519510.116
AT ITER 5055 NEW BEST:: SOT 2866939 SOS 740092 HAS SOPS 740092 HAS SOUS 518746 HAS SOUPS 518746 WITH SCORE 519486.092
AT ITER 5074 NEW BEST:: SOT 2866818 SOS 739898 HAS SOPS 739898 HAS SOUS 518558 HAS SOUPS 518558 WITH SCORE 519297.898
AT ITER 5088 NEW BEST:: SOT 2866818 SOS 739769 HAS SOPS 739769 HAS SOUS 518558 HAS SOUPS 518558 WITH SCORE 519297.769
AT ITER 5092 NEW BEST:: SOT 2866815 SOS 739344 HAS SOPS 739344 HAS SOUS 518171 HAS SOUPS 518171 WITH SCORE 518910.344
AT ITER 5130 NEW BEST:: SOT 2866810 SOS 739334 HAS SOPS 739334 HAS SOUS 518151 HAS SOUPS 518151 WITH SCORE 518890.334
AT ITER 5149 NEW BEST:: SOT 2866808 SOS 739332 HAS SOPS 739332 HAS SOUS 518149 HAS SOUPS 518149 WITH SCORE 518888.332
AT ITER 5170 NEW BEST:: SOT 2866719 SOS 739372 HAS SOPS 739372 HAS SOUS 518060 HAS SOUPS 518060 WITH SCORE 518799.372
AT ITER 5175 NEW BEST:: SOT 2866639 SOS 739252 HAS SOPS 739252 HAS SOUS 517940 HAS SOUPS 517940 WITH SCORE 518679.252
AT ITER 5177 NEW BEST:: SOT 2866468 SOS 739081 HAS SOPS 739081 HAS SOUS 517769 HAS SOUPS 517769 WITH SCORE 518508.081
AT ITER 5209 NEW BEST:: SOT 2866211 SOS 739467 HAS SOPS 739467 HAS SOUS 517630 HAS SOUPS 517630 WITH SCORE 518369.467
AT ITER 5218 NEW BEST:: SOT 2866075 SOS 739467 HAS SOPS 739467 HAS SOUS 517495 HAS SOUPS 517495 WITH SCORE 518234.467
AT ITER 5253 NEW BEST:: SOT 2865873 SOS 739414 HAS SOPS 739414 HAS SOUS 517298 HAS SOUPS 517298 WITH SCORE 518037.414
AT ITER 5257 NEW BEST:: SOT 2865873 SOS 739414 HAS SOPS 739414 HAS SOUS 517269 HAS SOUPS 517269 WITH SCORE 518008.414
AT ITER 5262 NEW BEST:: SOT 2865872 SOS 739413 HAS SOPS 739413 HAS SOUS 517267 HAS SOUPS 517267 WITH SCORE 518006.413
AT ITER 5264 NEW BEST:: SOT 2865858 SOS 739027 HAS SOPS 739027 HAS SOUS 517218 HAS SOUPS 517218 WITH SCORE 517957.027
AT ITER 5269 NEW BEST:: SOT 2865725 SOS 738958 HAS SOPS 738958 HAS SOUS 517149 HAS SOUPS 517149 WITH SCORE 517887.958
AT ITER 5278 NEW BEST:: SOT 2865709 SOS 738965 HAS SOPS 738965 HAS SOUS 517118 HAS SOUPS 517118 WITH SCORE 517856.965
AT ITER 5281 NEW BEST:: SOT 2865528 SOS 738772 HAS SOPS 738772 HAS SOUS 516826 HAS SOUPS 516826 WITH SCORE 517564.772
AT ITER 5282 NEW BEST:: SOT 2865490 SOS 738734 HAS SOPS 738734 HAS SOUS 516788 HAS SOUPS 516788 WITH SCORE 517526.734
AT ITER 5284 NEW BEST:: SOT 2865332 SOS 738497 HAS SOPS 738497 HAS SOUS 516628 HAS SOUPS 516628 WITH SCORE 517366.497
AT ITER 5304 NEW BEST:: SOT 2865332 SOS 738480 HAS SOPS 738480 HAS SOUS 516611 HAS SOUPS 516611 WITH SCORE 517349.48
AT ITER 5316 NEW BEST:: SOT 2865035 SOS 737400 HAS SOPS 737400 HAS SOUS 516294 HAS SOUPS 516294 WITH SCORE 517031.4
AT ITER 5319 NEW BEST:: SOT 2865035 SOS 737398 HAS SOPS 737398 HAS SOUS 516292 HAS SOUPS 516292 WITH SCORE 517029.398
AT ITER 5327 NEW BEST:: SOT 2864963 SOS 737254 HAS SOPS 737254 HAS SOUS 516118 HAS SOUPS 516118 WITH SCORE 516855.254
AT ITER 5329 NEW BEST:: SOT 2864951 SOS 737218 HAS SOPS 737218 HAS SOUS 516082 HAS SOUPS 516082 WITH SCORE 516819.218
AT ITER 5335 NEW BEST:: SOT 2864557 SOS 736886 HAS SOPS 736886 HAS SOUS 515840 HAS SOUPS 515840 WITH SCORE 516576.886
AT ITER 5367 NEW BEST:: SOT 2864557 SOS 736850 HAS SOPS 736850 HAS SOUS 515804 HAS SOUPS 515804 WITH SCORE 516540.85
AT ITER 5371 NEW BEST:: SOT 2864477 SOS 736690 HAS SOPS 736690 HAS SOUS 515722 HAS SOUPS 515722 WITH SCORE 516458.69
AT ITER 5386 NEW BEST:: SOT 2864377 SOS 736390 HAS SOPS 736390 HAS SOUS 515521 HAS SOUPS 515521 WITH SCORE 516257.39
AT ITER 5389 NEW BEST:: SOT 2864316 SOS 736204 HAS SOPS 736204 HAS SOUS 515519 HAS SOUPS 515519 WITH SCORE 516255.204
AT ITER 5394 NEW BEST:: SOT 2864280 SOS 736132 HAS SOPS 736132 HAS SOUS 515447 HAS SOUPS 515447 WITH SCORE 516183.132
AT ITER 5401 NEW BEST:: SOT 2864180 SOS 736025 HAS SOPS 736025 HAS SOUS 515340 HAS SOUPS 515340 WITH SCORE 516076.025
AT ITER 5403 NEW BEST:: SOT 2864162 SOS 735950 HAS SOPS 735950 HAS SOUS 515265 HAS SOUPS 515265 WITH SCORE 516000.95
AT ITER 5407 NEW BEST:: SOT 2864157 SOS 735132 HAS SOPS 735132 HAS SOUS 515254 HAS SOUPS 515254 WITH SCORE 515989.132
AT ITER 5415 NEW BEST:: SOT 2862412 SOS 735408 HAS SOPS 735408 HAS SOUS 514568 HAS SOUPS 514568 WITH SCORE 515303.408
AT ITER 5428 NEW BEST:: SOT 2862394 SOS 735372 HAS SOPS 735372 HAS SOUS 514532 HAS SOUPS 514532 WITH SCORE 515267.372
AT ITER 5432 NEW BEST:: SOT 2862206 SOS 735184 HAS SOPS 735184 HAS SOUS 514532 HAS SOUPS 514532 WITH SCORE 515267.184
AT ITER 5443 NEW BEST:: SOT 2862152 SOS 735129 HAS SOPS 735129 HAS SOUS 514423 HAS SOUPS 514423 WITH SCORE 515158.129
AT ITER 5444 NEW BEST:: SOT 2862151 SOS 735793 HAS SOPS 735793 HAS SOUS 514308 HAS SOUPS 514308 WITH SCORE 515043.793
AT ITER 5452 NEW BEST:: SOT 2862151 SOS 735735 HAS SOPS 735735 HAS SOUS 514306 HAS SOUPS 514306 WITH SCORE 515041.735
AT ITER 5453 NEW BEST:: SOT 2862150 SOS 735733 HAS SOPS 735733 HAS SOUS 514304 HAS SOUPS 514304 WITH SCORE 515039.733
AT ITER 5454 NEW BEST:: SOT 2862150 SOS 735553 HAS SOPS 735553 HAS SOUS 514124 HAS SOUPS 514124 WITH SCORE 514859.553
AT ITER 5464 NEW BEST:: SOT 2861349 SOS 735935 HAS SOPS 735935 HAS SOUS 513869 HAS SOUPS 513869 WITH SCORE 514604.935
AT ITER 5470 NEW BEST:: SOT 2861221 SOS 735864 HAS SOPS 735864 HAS SOUS 513639 HAS SOUPS 513639 WITH SCORE 514374.864
AT ITER 5480 NEW BEST:: SOT 2861175 SOS 735772 HAS SOPS 735772 HAS SOUS 513547 HAS SOUPS 513547 WITH SCORE 514282.772
AT ITER 5488 NEW BEST:: SOT 2861261 SOS 735659 HAS SOPS 735659 HAS SOUS 513434 HAS SOUPS 513434 WITH SCORE 514169.659
AT ITER 5516 NEW BEST:: SOT 2861261 SOS 735567 HAS SOPS 735567 HAS SOUS 513434 HAS SOUPS 513434 WITH SCORE 514169.567
AT ITER 5520 NEW BEST:: SOT 2861261 SOS 735436 HAS SOPS 735436 HAS SOUS 513303 HAS SOUPS 513303 WITH SCORE 514038.436
AT ITER 5535 NEW BEST:: SOT 2861247 SOS 735394 HAS SOPS 735394 HAS SOUS 513275 HAS SOUPS 513275 WITH SCORE 514010.394
AT ITER 5561 NEW BEST:: SOT 2861177 SOS 735254 HAS SOPS 735254 HAS SOUS 513135 HAS SOUPS 513135 WITH SCORE 513870.254
AT ITER 5563 NEW BEST:: SOT 2861160 SOS 735220 HAS SOPS 735220 HAS SOUS 513101 HAS SOUPS 513101 WITH SCORE 513836.22
AT ITER 5593 NEW BEST:: SOT 2861160 SOS 735455 HAS SOPS 735455 HAS SOUS 513063 HAS SOUPS 513063 WITH SCORE 513798.455
AT ITER 5601 NEW BEST:: SOT 2861176 SOS 735465 HAS SOPS 735465 HAS SOUS 513030 HAS SOUPS 513030 WITH SCORE 513765.465
AT ITER 5604 NEW BEST:: SOT 2861176 SOS 735465 HAS SOPS 735465 HAS SOUS 513024 HAS SOUPS 513024 WITH SCORE 513759.465
AT ITER 5619 NEW BEST:: SOT 2860948 SOS 735263 HAS SOPS 735263 HAS SOUS 512822 HAS SOUPS 512822 WITH SCORE 513557.263
AT ITER 5620 NEW BEST:: SOT 2860948 SOS 735654 HAS SOPS 735654 HAS SOUS 512821 HAS SOUPS 512821 WITH SCORE 513556.654
AT ITER 5647 NEW BEST:: SOT 2860917 SOS 735592 HAS SOPS 735592 HAS SOUS 512759 HAS SOUPS 512759 WITH SCORE 513494.592
AT ITER 5675 NEW BEST:: SOT 2860733 SOS 735439 HAS SOPS 735439 HAS SOUS 512606 HAS SOUPS 512606 WITH SCORE 513341.439
AT ITER 5676 NEW BEST:: SOT 2860733 SOS 735439 HAS SOPS 735439 HAS SOUS 512540 HAS SOUPS 512540 WITH SCORE 513275.439
AT ITER 5684 NEW BEST:: SOT 2860559 SOS 735091 HAS SOPS 735091 HAS SOUS 511902 HAS SOUPS 511902 WITH SCORE 512637.091
AT ITER 5691 NEW BEST:: SOT 2860397 SOS 735158 HAS SOPS 735158 HAS SOUS 511783 HAS SOUPS 511783 WITH SCORE 512518.158
AT ITER 5706 NEW BEST:: SOT 2860036 SOS 734917 HAS SOPS 734917 HAS SOUS 511493 HAS SOUPS 511493 WITH SCORE 512227.917
AT ITER 5727 NEW BEST:: SOT 2859911 SOS 734792 HAS SOPS 734792 HAS SOUS 511368 HAS SOUPS 511368 WITH SCORE 512102.792
AT ITER 5742 NEW BEST:: SOT 2859666 SOS 734695 HAS SOPS 734695 HAS SOUS 511271 HAS SOUPS 511271 WITH SCORE 512005.695
AT ITER 5769 NEW BEST:: SOT 2859632 SOS 734695 HAS SOPS 734695 HAS SOUS 511210 HAS SOUPS 511210 WITH SCORE 511944.695
AT ITER 5811 NEW BEST:: SOT 2859472 SOS 735293 HAS SOPS 735293 HAS SOUS 511156 HAS SOUPS 511156 WITH SCORE 511891.293
AT ITER 5817 NEW BEST:: SOT 2859469 SOS 735289 HAS SOPS 735289 HAS SOUS 511149 HAS SOUPS 511149 WITH SCORE 511884.289
AT ITER 5821 NEW BEST:: SOT 2859409 SOS 735342 HAS SOPS 735342 HAS SOUS 511029 HAS SOUPS 511029 WITH SCORE 511764.342
AT ITER 5837 NEW BEST:: SOT 2859339 SOS 735196 HAS SOPS 735196 HAS SOUS 510883 HAS SOUPS 510883 WITH SCORE 511618.196
AT ITER 5838 NEW BEST:: SOT 2859338 SOS 735187 HAS SOPS 735187 HAS SOUS 510874 HAS SOUPS 510874 WITH SCORE 511609.187
AT ITER 5887 NEW BEST:: SOT 2859380 SOS 735229 HAS SOPS 735229 HAS SOUS 510772 HAS SOUPS 510772 WITH SCORE 511507.229
AT ITER 5900 NEW BEST:: SOT 2859378 SOS 735040 HAS SOPS 735040 HAS SOUS 510768 HAS SOUPS 510768 WITH SCORE 511503.04
AT ITER 5905 NEW BEST:: SOT 2859359 SOS 735164 HAS SOPS 735164 HAS SOUS 508967 HAS SOUPS 508967 WITH SCORE 509702.164
AT ITER 5923 NEW BEST:: SOT 2858927 SOS 734732 HAS SOPS 734732 HAS SOUS 508535 HAS SOUPS 508535 WITH SCORE 509269.732
AT ITER 5927 NEW BEST:: SOT 2858906 SOS 734691 HAS SOPS 734691 HAS SOUS 508493 HAS SOUPS 508493 WITH SCORE 509227.691
AT ITER 5953 NEW BEST:: SOT 2857594 SOS 734861 HAS SOPS 734861 HAS SOUS 507644 HAS SOUPS 507644 WITH SCORE 508378.861
AT ITER 5992 NEW BEST:: SOT 2858375 SOS 735584 HAS SOPS 735584 HAS SOUS 505967 HAS SOUPS 505967 WITH SCORE 506702.584
AT ITER 6004 NEW BEST:: SOT 2858320 SOS 735474 HAS SOPS 735474 HAS SOUS 505857 HAS SOUPS 505857 WITH SCORE 506592.474
AT ITER 6005 NEW BEST:: SOT 2858307 SOS 735448 HAS SOPS 735448 HAS SOUS 505831 HAS SOUPS 505831 WITH SCORE 506566.448
AT ITER 6008 NEW BEST:: SOT 2858308 SOS 732472 HAS SOPS 732472 HAS SOUS 505833 HAS SOUPS 505833 WITH SCORE 506565.472
AT ITER 6011 NEW BEST:: SOT 2858308 SOS 732286 HAS SOPS 732286 HAS SOUS 505817 HAS SOUPS 505817 WITH SCORE 506549.286
AT ITER 6020 NEW BEST:: SOT 2858308 SOS 732283 HAS SOPS 732283 HAS SOUS 505814 HAS SOUPS 505814 WITH SCORE 506546.283
AT ITER 6021 NEW BEST:: SOT 2858236 SOS 730202 HAS SOPS 730202 HAS SOUS 504032 HAS SOUPS 504032 WITH SCORE 504762.202
AT ITER 6031 NEW BEST:: SOT 2858236 SOS 730493 HAS SOPS 730493 HAS SOUS 501939 HAS SOUPS 501939 WITH SCORE 502669.493
AT ITER 6034 NEW BEST:: SOT 2858275 SOS 730022 HAS SOPS 730022 HAS SOUS 501774 HAS SOUPS 501774 WITH SCORE 502504.022
AT ITER 6041 NEW BEST:: SOT 2858267 SOS 730015 HAS SOPS 730015 HAS SOUS 501766 HAS SOUPS 501766 WITH SCORE 502496.015
AT ITER 6080 NEW BEST:: SOT 2857585 SOS 729134 HAS SOPS 729134 HAS SOUS 500885 HAS SOUPS 500885 WITH SCORE 501614.134
AT ITER 6091 NEW BEST:: SOT 2857442 SOS 728890 HAS SOPS 728890 HAS SOUS 500660 HAS SOUPS 500660 WITH SCORE 501388.89
AT ITER 6128 NEW BEST:: SOT 2857414 SOS 728530 HAS SOPS 728530 HAS SOUS 500300 HAS SOUPS 500300 WITH SCORE 501028.53
AT ITER 6145 NEW BEST:: SOT 2857326 SOS 728353 HAS SOPS 728353 HAS SOUS 500211 HAS SOUPS 500211 WITH SCORE 500939.353
AT ITER 6180 NEW BEST:: SOT 2857326 SOS 728653 HAS SOPS 728653 HAS SOUS 498111 HAS SOUPS 498111 WITH SCORE 498839.653
AT ITER 6191 NEW BEST:: SOT 2856951 SOS 729113 HAS SOPS 729113 HAS SOUS 497807 HAS SOUPS 497807 WITH SCORE 498536.113
AT ITER 6206 NEW BEST:: SOT 2856943 SOS 729097 HAS SOPS 729097 HAS SOUS 497799 HAS SOUPS 497799 WITH SCORE 498528.097
AT ITER 6231 NEW BEST:: SOT 2856940 SOS 729090 HAS SOPS 729090 HAS SOUS 497792 HAS SOUPS 497792 WITH SCORE 498521.09
AT ITER 6248 NEW BEST:: SOT 2856250 SOS 728415 HAS SOPS 728415 HAS SOUS 497217 HAS SOUPS 497217 WITH SCORE 497945.415
AT ITER 6251 NEW BEST:: SOT 2856049 SOS 727800 HAS SOPS 727800 HAS SOUS 496899 HAS SOUPS 496899 WITH SCORE 497626.8
AT ITER 6265 NEW BEST:: SOT 2855975 SOS 727730 HAS SOPS 727730 HAS SOUS 496755 HAS SOUPS 496755 WITH SCORE 497482.73
AT ITER 6266 NEW BEST:: SOT 2855771 SOS 727322 HAS SOPS 727322 HAS SOUS 496347 HAS SOUPS 496347 WITH SCORE 497074.322
AT ITER 6269 NEW BEST:: SOT 2855755 SOS 727290 HAS SOPS 727290 HAS SOUS 496315 HAS SOUPS 496315 WITH SCORE 497042.29
AT ITER 6271 NEW BEST:: SOT 2855539 SOS 727074 HAS SOPS 727074 HAS SOUS 496099 HAS SOUPS 496099 WITH SCORE 496826.074
AT ITER 6279 NEW BEST:: SOT 2855539 SOS 727029 HAS SOPS 727029 HAS SOUS 496054 HAS SOUPS 496054 WITH SCORE 496781.029
AT ITER 6283 NEW BEST:: SOT 2855400 SOS 726801 HAS SOPS 726801 HAS SOUS 495915 HAS SOUPS 495915 WITH SCORE 496641.801
AT ITER 6306 NEW BEST:: SOT 2855081 SOS 726297 HAS SOPS 726297 HAS SOUS 495513 HAS SOUPS 495513 WITH SCORE 496239.297
AT ITER 6325 NEW BEST:: SOT 2855081 SOS 726273 HAS SOPS 726273 HAS SOUS 495488 HAS SOUPS 495488 WITH SCORE 496214.273
AT ITER 6338 NEW BEST:: SOT 2854789 SOS 725221 HAS SOPS 725221 HAS SOUS 491062 HAS SOUPS 491062 WITH SCORE 491787.221
AT ITER 6362 NEW BEST:: SOT 2854770 SOS 724983 HAS SOPS 724983 HAS SOUS 490829 HAS SOUPS 490829 WITH SCORE 491553.983
AT ITER 6404 NEW BEST:: SOT 2854727 SOS 724927 HAS SOPS 724927 HAS SOUS 490773 HAS SOUPS 490773 WITH SCORE 491497.927
AT ITER 6409 NEW BEST:: SOT 2854297 SOS 724497 HAS SOPS 724497 HAS SOUS 490343 HAS SOUPS 490343 WITH SCORE 491067.497
AT ITER 6414 NEW BEST:: SOT 2854074 SOS 723372 HAS SOPS 723372 HAS SOUS 489765 HAS SOUPS 489765 WITH SCORE 490488.372
AT ITER 6417 NEW BEST:: SOT 2854113 SOS 723450 HAS SOPS 723450 HAS SOUS 489664 HAS SOUPS 489664 WITH SCORE 490387.45
AT ITER 6448 NEW BEST:: SOT 2854113 SOS 723336 HAS SOPS 723336 HAS SOUS 489658 HAS SOUPS 489658 WITH SCORE 490381.336
AT ITER 6454 NEW BEST:: SOT 2853932 SOS 723235 HAS SOPS 723235 HAS SOUS 489591 HAS SOUPS 489591 WITH SCORE 490314.235
AT ITER 6460 NEW BEST:: SOT 2853932 SOS 723055 HAS SOPS 723055 HAS SOUS 489531 HAS SOUPS 489531 WITH SCORE 490254.055
AT ITER 6511 NEW BEST:: SOT 2853647 SOS 722770 HAS SOPS 722770 HAS SOUS 489246 HAS SOUPS 489246 WITH SCORE 489968.77
AT ITER 6522 NEW BEST:: SOT 2853691 SOS 722717 HAS SOPS 722717 HAS SOUS 489193 HAS SOUPS 489193 WITH SCORE 489915.717
AT ITER 6530 NEW BEST:: SOT 2853587 SOS 722613 HAS SOPS 722613 HAS SOUS 489089 HAS SOUPS 489089 WITH SCORE 489811.613
AT ITER 6532 NEW BEST:: SOT 2853587 SOS 722613 HAS SOPS 722613 HAS SOUS 489032 HAS SOUPS 489032 WITH SCORE 489754.613
AT ITER 6535 NEW BEST:: SOT 2853585 SOS 722610 HAS SOPS 722610 HAS SOUS 489029 HAS SOUPS 489029 WITH SCORE 489751.61
AT ITER 6536 NEW BEST:: SOT 2853429 SOS 722454 HAS SOPS 722454 HAS SOUS 488873 HAS SOUPS 488873 WITH SCORE 489595.454
AT ITER 6540 NEW BEST:: SOT 2853403 SOS 722400 HAS SOPS 722400 HAS SOUS 488814 HAS SOUPS 488814 WITH SCORE 489536.4
AT ITER 6550 NEW BEST:: SOT 2853590 SOS 722069 HAS SOPS 722069 HAS SOUS 488766 HAS SOUPS 488766 WITH SCORE 489488.069
AT ITER 6552 NEW BEST:: SOT 2853551 SOS 722183 HAS SOPS 722183 HAS SOUS 488765 HAS SOUPS 488765 WITH SCORE 489487.183
AT ITER 6560 NEW BEST:: SOT 2853551 SOS 722181 HAS SOPS 722181 HAS SOUS 488763 HAS SOUPS 488763 WITH SCORE 489485.181
AT ITER 6572 NEW BEST:: SOT 2853440 SOS 721959 HAS SOPS 721959 HAS SOUS 488541 HAS SOUPS 488541 WITH SCORE 489262.959
AT ITER 6578 NEW BEST:: SOT 2853286 SOS 721622 HAS SOPS 721622 HAS SOUS 488199 HAS SOUPS 488199 WITH SCORE 488920.622
AT ITER 6582 NEW BEST:: SOT 2853591 SOS 721041 HAS SOPS 721041 HAS SOUS 488127 HAS SOUPS 488127 WITH SCORE 488848.041
AT ITER 6590 NEW BEST:: SOT 2853693 SOS 720543 HAS SOPS 720543 HAS SOUS 487739 HAS SOUPS 487739 WITH SCORE 488459.543
AT ITER 6624 NEW BEST:: SOT 2853664 SOS 720419 HAS SOPS 720419 HAS SOUS 487534 HAS SOUPS 487534 WITH SCORE 488254.419
AT ITER 6626 NEW BEST:: SOT 2853605 SOS 720242 HAS SOPS 720242 HAS SOUS 487416 HAS SOUPS 487416 WITH SCORE 488136.242
AT ITER 6628 NEW BEST:: SOT 2853943 SOS 719778 HAS SOPS 719778 HAS SOUS 487412 HAS SOUPS 487412 WITH SCORE 488131.778
AT ITER 6635 NEW BEST:: SOT 2853945 SOS 719780 HAS SOPS 719780 HAS SOUS 487395 HAS SOUPS 487395 WITH SCORE 488114.78
AT ITER 6660 NEW BEST:: SOT 2853913 SOS 719908 HAS SOPS 719908 HAS SOUS 487344 HAS SOUPS 487344 WITH SCORE 488063.908
AT ITER 6676 NEW BEST:: SOT 2852585 SOS 723684 HAS SOPS 723684 HAS SOUS 487312 HAS SOUPS 487312 WITH SCORE 488035.684
AT ITER 6691 NEW BEST:: SOT 2852548 SOS 723647 HAS SOPS 723647 HAS SOUS 487238 HAS SOUPS 487238 WITH SCORE 487961.647
AT ITER 6719 NEW BEST:: SOT 2852548 SOS 723448 HAS SOPS 723448 HAS SOUS 487238 HAS SOUPS 487238 WITH SCORE 487961.448
AT ITER 6756 NEW BEST:: SOT 2852497 SOS 723372 HAS SOPS 723372 HAS SOUS 487013 HAS SOUPS 487013 WITH SCORE 487736.372
AT ITER 6768 NEW BEST:: SOT 2852452 SOS 723310 HAS SOPS 723310 HAS SOUS 486951 HAS SOUPS 486951 WITH SCORE 487674.31
AT ITER 6785 NEW BEST:: SOT 2852442 SOS 723300 HAS SOPS 723300 HAS SOUS 486941 HAS SOUPS 486941 WITH SCORE 487664.3
AT ITER 6786 NEW BEST:: SOT 2852442 SOS 723111 HAS SOPS 723111 HAS SOUS 486941 HAS SOUPS 486941 WITH SCORE 487664.111
AT ITER 6798 NEW BEST:: SOT 2851681 SOS 722803 HAS SOPS 722803 HAS SOUS 486630 HAS SOUPS 486630 WITH SCORE 487352.803
AT ITER 6801 NEW BEST:: SOT 2851707 SOS 722863 HAS SOPS 722863 HAS SOUS 486622 HAS SOUPS 486622 WITH SCORE 487344.863
AT ITER 6805 NEW BEST:: SOT 2851707 SOS 722681 HAS SOPS 722681 HAS SOUS 486440 HAS SOUPS 486440 WITH SCORE 487162.681
AT ITER 6831 NEW BEST:: SOT 2851322 SOS 722191 HAS SOPS 722191 HAS SOUS 485972 HAS SOUPS 485972 WITH SCORE 486694.191
AT ITER 6853 NEW BEST:: SOT 2851196 SOS 722038 HAS SOPS 722038 HAS SOUS 485819 HAS SOUPS 485819 WITH SCORE 486541.038
AT ITER 6879 NEW BEST:: SOT 2851075 SOS 721794 HAS SOPS 721794 HAS SOUS 485575 HAS SOUPS 485575 WITH SCORE 486296.794
AT ITER 6890 NEW BEST:: SOT 2850346 SOS 720984 HAS SOPS 720984 HAS SOUS 484765 HAS SOUPS 484765 WITH SCORE 485485.984
AT ITER 6910 NEW BEST:: SOT 2850378 SOS 720911 HAS SOPS 720911 HAS SOUS 484599 HAS SOUPS 484599 WITH SCORE 485319.911
AT ITER 6916 NEW BEST:: SOT 2850373 SOS 720899 HAS SOPS 720899 HAS SOUS 484588 HAS SOUPS 484588 WITH SCORE 485308.899
AT ITER 6926 NEW BEST:: SOT 2850277 SOS 720738 HAS SOPS 720738 HAS SOUS 484478 HAS SOUPS 484478 WITH SCORE 485198.738
AT ITER 6938 NEW BEST:: SOT 2848905 SOS 723775 HAS SOPS 723775 HAS SOUS 483937 HAS SOUPS 483937 WITH SCORE 484660.775
AT ITER 6939 NEW BEST:: SOT 2848905 SOS 722564 HAS SOPS 722564 HAS SOUS 483937 HAS SOUPS 483937 WITH SCORE 484659.564
AT ITER 6942 NEW BEST:: SOT 2848775 SOS 722434 HAS SOPS 722434 HAS SOUS 482767 HAS SOUPS 482767 WITH SCORE 483489.434
AT ITER 6952 NEW BEST:: SOT 2848775 SOS 722194 HAS SOPS 722194 HAS SOUS 482647 HAS SOUPS 482647 WITH SCORE 483369.194
AT ITER 6977 NEW BEST:: SOT 2848832 SOS 722402 HAS SOPS 722402 HAS SOUS 482575 HAS SOUPS 482575 WITH SCORE 483297.402
AT ITER 6978 NEW BEST:: SOT 2848785 SOS 722487 HAS SOPS 722487 HAS SOUS 482528 HAS SOUPS 482528 WITH SCORE 483250.487
AT ITER 6991 NEW BEST:: SOT 2848757 SOS 722431 HAS SOPS 722431 HAS SOUS 482472 HAS SOUPS 482472 WITH SCORE 483194.431
AT ITER 7026 NEW BEST:: SOT 2848573 SOS 722226 HAS SOPS 722226 HAS SOUS 482267 HAS SOUPS 482267 WITH SCORE 482989.226
AT ITER 7030 NEW BEST:: SOT 2848535 SOS 722153 HAS SOPS 722153 HAS SOUS 482194 HAS SOUPS 482194 WITH SCORE 482916.153
AT ITER 7073 NEW BEST:: SOT 2848229 SOS 721505 HAS SOPS 721505 HAS SOUS 481717 HAS SOUPS 481717 WITH SCORE 482438.505
AT ITER 7077 NEW BEST:: SOT 2848228 SOS 721503 HAS SOPS 721503 HAS SOUS 481715 HAS SOUPS 481715 WITH SCORE 482436.503
AT ITER 7085 NEW BEST:: SOT 2848228 SOS 721728 HAS SOPS 721728 HAS SOUS 481670 HAS SOUPS 481670 WITH SCORE 482391.728
AT ITER 7091 NEW BEST:: SOT 2848224 SOS 721724 HAS SOPS 721724 HAS SOUS 481670 HAS SOUPS 481670 WITH SCORE 482391.724
AT ITER 7093 NEW BEST:: SOT 2848180 SOS 721680 HAS SOPS 721680 HAS SOUS 481668 HAS SOUPS 481668 WITH SCORE 482389.68
AT ITER 7098 NEW BEST:: SOT 2848039 SOS 721197 HAS SOPS 721197 HAS SOUS 481386 HAS SOUPS 481386 WITH SCORE 482107.197
AT ITER 7126 NEW BEST:: SOT 2848039 SOS 720883 HAS SOPS 720883 HAS SOUS 481386 HAS SOUPS 481386 WITH SCORE 482106.883
AT ITER 7150 NEW BEST:: SOT 2847979 SOS 720685 HAS SOPS 720685 HAS SOUS 481326 HAS SOUPS 481326 WITH SCORE 482046.685
AT ITER 7158 NEW BEST:: SOT 2847921 SOS 720671 HAS SOPS 720671 HAS SOUS 481312 HAS SOUPS 481312 WITH SCORE 482032.671
AT ITER 7159 NEW BEST:: SOT 2847867 SOS 720645 HAS SOPS 720645 HAS SOUS 481283 HAS SOUPS 481283 WITH SCORE 482003.645
AT ITER 7189 NEW BEST:: SOT 2847859 SOS 720517 HAS SOPS 720517 HAS SOUS 481251 HAS SOUPS 481251 WITH SCORE 481971.517
AT ITER 7193 NEW BEST:: SOT 2847754 SOS 720437 HAS SOPS 720437 HAS SOUS 481171 HAS SOUPS 481171 WITH SCORE 481891.437
AT ITER 7202 NEW BEST:: SOT 2847419 SOS 720102 HAS SOPS 720102 HAS SOUS 480836 HAS SOUPS 480836 WITH SCORE 481556.102
AT ITER 7219 NEW BEST:: SOT 2847403 SOS 720062 HAS SOPS 720062 HAS SOUS 480812 HAS SOUPS 480812 WITH SCORE 481532.062
AT ITER 7221 NEW BEST:: SOT 2847257 SOS 719919 HAS SOPS 719919 HAS SOUS 480667 HAS SOUPS 480667 WITH SCORE 481386.919
AT ITER 7230 NEW BEST:: SOT 2847073 SOS 719796 HAS SOPS 719796 HAS SOUS 480543 HAS SOUPS 480543 WITH SCORE 481262.796
AT ITER 7239 NEW BEST:: SOT 2846409 SOS 721495 HAS SOPS 721495 HAS SOUS 480036 HAS SOUPS 480036 WITH SCORE 480757.495
AT ITER 7240 NEW BEST:: SOT 2846397 SOS 721483 HAS SOPS 721483 HAS SOUS 480024 HAS SOUPS 480024 WITH SCORE 480745.483
AT ITER 7250 NEW BEST:: SOT 2846395 SOS 721317 HAS SOPS 721317 HAS SOUS 479858 HAS SOUPS 479858 WITH SCORE 480579.317
AT ITER 7258 NEW BEST:: SOT 2846409 SOS 721225 HAS SOPS 721225 HAS SOUS 479766 HAS SOUPS 479766 WITH SCORE 480487.225
AT ITER 7270 NEW BEST:: SOT 2846477 SOS 721109 HAS SOPS 721109 HAS SOUS 479650 HAS SOUPS 479650 WITH SCORE 480371.109
AT ITER 7271 NEW BEST:: SOT 2846355 SOS 720865 HAS SOPS 720865 HAS SOUS 479406 HAS SOUPS 479406 WITH SCORE 480126.865
AT ITER 7342 NEW BEST:: SOT 2846114 SOS 720594 HAS SOPS 720594 HAS SOUS 479135 HAS SOUPS 479135 WITH SCORE 479855.594
AT ITER 7352 NEW BEST:: SOT 2846114 SOS 720493 HAS SOPS 720493 HAS SOUS 479034 HAS SOUPS 479034 WITH SCORE 479754.493
AT ITER 7369 NEW BEST:: SOT 2846162 SOS 720507 HAS SOPS 720507 HAS SOUS 478985 HAS SOUPS 478985 WITH SCORE 479705.507
AT ITER 7384 NEW BEST:: SOT 2846072 SOS 719247 HAS SOPS 719247 HAS SOUS 478535 HAS SOUPS 478535 WITH SCORE 479254.247
AT ITER 7407 NEW BEST:: SOT 2846090 SOS 719266 HAS SOPS 719266 HAS SOUS 478517 HAS SOUPS 478517 WITH SCORE 479236.266
AT ITER 7408 NEW BEST:: SOT 2845876 SOS 719052 HAS SOPS 719052 HAS SOUS 478439 HAS SOUPS 478439 WITH SCORE 479158.052
AT ITER 7411 NEW BEST:: SOT 2845852 SOS 719016 HAS SOPS 719016 HAS SOUS 478403 HAS SOUPS 478403 WITH SCORE 479122.016
AT ITER 7451 NEW BEST:: SOT 2845798 SOS 718763 HAS SOPS 718763 HAS SOUS 478204 HAS SOUPS 478204 WITH SCORE 478922.763
AT ITER 7455 NEW BEST:: SOT 2845713 SOS 718593 HAS SOPS 718593 HAS SOUS 478034 HAS SOUPS 478034 WITH SCORE 478752.593
AT ITER 7462 NEW BEST:: SOT 2845620 SOS 718221 HAS SOPS 718221 HAS SOUS 477848 HAS SOUPS 477848 WITH SCORE 478566.221
AT ITER 7465 NEW BEST:: SOT 2845562 SOS 717851 HAS SOPS 717851 HAS SOUS 477478 HAS SOUPS 477478 WITH SCORE 478195.851
AT ITER 7468 NEW BEST:: SOT 2845333 SOS 717793 HAS SOPS 717793 HAS SOUS 476977 HAS SOUPS 476977 WITH SCORE 477694.793
AT ITER 7499 NEW BEST:: SOT 2845399 SOS 717705 HAS SOPS 717705 HAS SOUS 476933 HAS SOUPS 476933 WITH SCORE 477650.705
AT ITER 7508 NEW BEST:: SOT 2845399 SOS 719441 HAS SOPS 719441 HAS SOUS 476499 HAS SOUPS 476499 WITH SCORE 477218.441
AT ITER 7514 NEW BEST:: SOT 2845399 SOS 719238 HAS SOPS 719238 HAS SOUS 476499 HAS SOUPS 476499 WITH SCORE 477218.238
AT ITER 7515 NEW BEST:: SOT 2845442 SOS 719091 HAS SOPS 719091 HAS SOUS 476214 HAS SOUPS 476214 WITH SCORE 476933.091
AT ITER 7519 NEW BEST:: SOT 2845486 SOS 718857 HAS SOPS 718857 HAS SOUS 475980 HAS SOUPS 475980 WITH SCORE 476698.857
AT ITER 7522 NEW BEST:: SOT 2845473 SOS 718826 HAS SOPS 718826 HAS SOUS 475954 HAS SOUPS 475954 WITH SCORE 476672.826
AT ITER 7528 NEW BEST:: SOT 2845459 SOS 718798 HAS SOPS 718798 HAS SOUS 475926 HAS SOUPS 475926 WITH SCORE 476644.798
AT ITER 7530 NEW BEST:: SOT 2845459 SOS 718792 HAS SOPS 718792 HAS SOUS 475926 HAS SOUPS 475926 WITH SCORE 476644.792
AT ITER 7572 NEW BEST:: SOT 2845339 SOS 718552 HAS SOPS 718552 HAS SOUS 475686 HAS SOUPS 475686 WITH SCORE 476404.552
AT ITER 7575 NEW BEST:: SOT 2845268 SOS 718694 HAS SOPS 718694 HAS SOUS 475534 HAS SOUPS 475534 WITH SCORE 476252.694
AT ITER 7646 NEW BEST:: SOT 2845186 SOS 718530 HAS SOPS 718530 HAS SOUS 475370 HAS SOUPS 475370 WITH SCORE 476088.53
AT ITER 7672 NEW BEST:: SOT 2845048 SOS 718392 HAS SOPS 718392 HAS SOUS 474818 HAS SOUPS 474818 WITH SCORE 475536.392
AT ITER 7702 NEW BEST:: SOT 2844146 SOS 717424 HAS SOPS 717424 HAS SOUS 474044 HAS SOUPS 474044 WITH SCORE 474761.424
AT ITER 7727 NEW BEST:: SOT 2844136 SOS 717414 HAS SOPS 717414 HAS SOUS 474034 HAS SOUPS 474034 WITH SCORE 474751.414
AT ITER 7731 NEW BEST:: SOT 2844136 SOS 717414 HAS SOPS 717414 HAS SOUS 474033 HAS SOUPS 474033 WITH SCORE 474750.414
AT ITER 7738 NEW BEST:: SOT 2844004 SOS 717305 HAS SOPS 717305 HAS SOUS 473924 HAS SOUPS 473924 WITH SCORE 474641.305
AT ITER 7740 NEW BEST:: SOT 2843412 SOS 716058 HAS SOPS 716058 HAS SOUS 472777 HAS SOUPS 472777 WITH SCORE 473493.058
AT ITER 7760 NEW BEST:: SOT 2843346 SOS 715910 HAS SOPS 715910 HAS SOUS 472600 HAS SOUPS 472600 WITH SCORE 473315.91
AT ITER 7780 NEW BEST:: SOT 2843133 SOS 715681 HAS SOPS 715681 HAS SOUS 472371 HAS SOUPS 472371 WITH SCORE 473086.681
AT ITER 7785 NEW BEST:: SOT 2843079 SOS 715627 HAS SOPS 715627 HAS SOUS 472317 HAS SOUPS 472317 WITH SCORE 473032.627
AT ITER 7790 NEW BEST:: SOT 2842985 SOS 715439 HAS SOPS 715439 HAS SOUS 472129 HAS SOUPS 472129 WITH SCORE 472844.439
AT ITER 7809 NEW BEST:: SOT 2842977 SOS 715482 HAS SOPS 715482 HAS SOUS 472121 HAS SOUPS 472121 WITH SCORE 472836.482
AT ITER 7818 NEW BEST:: SOT 2842659 SOS 714966 HAS SOPS 714966 HAS SOUS 471494 HAS SOUPS 471494 WITH SCORE 472208.966
AT ITER 7843 NEW BEST:: SOT 2842619 SOS 714408 HAS SOPS 714408 HAS SOUS 471414 HAS SOUPS 471414 WITH SCORE 472128.408
AT ITER 7844 NEW BEST:: SOT 2842689 SOS 714478 HAS SOPS 714478 HAS SOUS 471411 HAS SOUPS 471411 WITH SCORE 472125.478
AT ITER 7849 NEW BEST:: SOT 2842835 SOS 714568 HAS SOPS 714568 HAS SOUS 471367 HAS SOUPS 471367 WITH SCORE 472081.568
AT ITER 7864 NEW BEST:: SOT 2842727 SOS 714544 HAS SOPS 714544 HAS SOUS 471259 HAS SOUPS 471259 WITH SCORE 471973.544
AT ITER 7870 NEW BEST:: SOT 2842727 SOS 714435 HAS SOPS 714435 HAS SOUS 471150 HAS SOUPS 471150 WITH SCORE 471864.435
AT ITER 7873 NEW BEST:: SOT 2842718 SOS 714417 HAS SOPS 714417 HAS SOUS 471132 HAS SOUPS 471132 WITH SCORE 471846.417
AT ITER 7888 NEW BEST:: SOT 2842750 SOS 714387 HAS SOPS 714387 HAS SOUS 471102 HAS SOUPS 471102 WITH SCORE 471816.387
AT ITER 7906 NEW BEST:: SOT 2842750 SOS 714192 HAS SOPS 714192 HAS SOUS 471102 HAS SOUPS 471102 WITH SCORE 471816.192
AT ITER 7909 NEW BEST:: SOT 2841301 SOS 712617 HAS SOPS 712617 HAS SOUS 469942 HAS SOUPS 469942 WITH SCORE 470654.617
AT ITER 7920 NEW BEST:: SOT 2841153 SOS 712388 HAS SOPS 712388 HAS SOUS 469713 HAS SOUPS 469713 WITH SCORE 470425.388
AT ITER 7947 NEW BEST:: SOT 2841153 SOS 712377 HAS SOPS 712377 HAS SOUS 469708 HAS SOUPS 469708 WITH SCORE 470420.377
AT ITER 7953 NEW BEST:: SOT 2840878 SOS 711885 HAS SOPS 711885 HAS SOUS 469433 HAS SOUPS 469433 WITH SCORE 470144.885
AT ITER 7961 NEW BEST:: SOT 2840878 SOS 711822 HAS SOPS 711822 HAS SOUS 469433 HAS SOUPS 469433 WITH SCORE 470144.822
AT ITER 7991 NEW BEST:: SOT 2840878 SOS 711780 HAS SOPS 711780 HAS SOUS 469433 HAS SOUPS 469433 WITH SCORE 470144.78
AT ITER 8004 NEW BEST:: SOT 2840875 SOS 711755 HAS SOPS 711755 HAS SOUS 469407 HAS SOUPS 469407 WITH SCORE 470118.755
AT ITER 8023 NEW BEST:: SOT 2840867 SOS 711739 HAS SOPS 711739 HAS SOUS 469391 HAS SOUPS 469391 WITH SCORE 470102.739
AT ITER 8069 NEW BEST:: SOT 2840863 SOS 711734 HAS SOPS 711734 HAS SOUS 469386 HAS SOUPS 469386 WITH SCORE 470097.734
AT ITER 8071 NEW BEST:: SOT 2840847 SOS 711261 HAS SOPS 711261 HAS SOUS 468941 HAS SOUPS 468941 WITH SCORE 469652.261
AT ITER 8082 NEW BEST:: SOT 2840342 SOS 711306 HAS SOPS 711306 HAS SOUS 468737 HAS SOUPS 468737 WITH SCORE 469448.306
AT ITER 8117 NEW BEST:: SOT 2840330 SOS 711315 HAS SOPS 711315 HAS SOUS 468725 HAS SOUPS 468725 WITH SCORE 469436.315
AT ITER 8140 NEW BEST:: SOT 2840281 SOS 711217 HAS SOPS 711217 HAS SOUS 468627 HAS SOUPS 468627 WITH SCORE 469338.217
AT ITER 8173 NEW BEST:: SOT 2840214 SOS 710805 HAS SOPS 710805 HAS SOUS 468215 HAS SOUPS 468215 WITH SCORE 468925.805
AT ITER 8221 NEW BEST:: SOT 2840214 SOS 710804 HAS SOPS 710804 HAS SOUS 468214 HAS SOUPS 468214 WITH SCORE 468924.804
AT ITER 8260 NEW BEST:: SOT 2838642 SOS 709292 HAS SOPS 709292 HAS SOUS 466598 HAS SOUPS 466598 WITH SCORE 467307.292
AT ITER 8284 NEW BEST:: SOT 2838558 SOS 709124 HAS SOPS 709124 HAS SOUS 466430 HAS SOUPS 466430 WITH SCORE 467139.124
AT ITER 8299 NEW BEST:: SOT 2838572 SOS 709152 HAS SOPS 709152 HAS SOUS 466366 HAS SOUPS 466366 WITH SCORE 467075.152
AT ITER 8318 NEW BEST:: SOT 2838549 SOS 709107 HAS SOPS 709107 HAS SOUS 465669 HAS SOUPS 465669 WITH SCORE 466378.107
AT ITER 8322 NEW BEST:: SOT 2838560 SOS 707950 HAS SOPS 707950 HAS SOUS 465657 HAS SOUPS 465657 WITH SCORE 466364.95
AT ITER 8356 NEW BEST:: SOT 2838688 SOS 708146 HAS SOPS 708146 HAS SOUS 465641 HAS SOUPS 465641 WITH SCORE 466349.146
AT ITER 8402 NEW BEST:: SOT 2838671 SOS 708129 HAS SOPS 708129 HAS SOUS 465607 HAS SOUPS 465607 WITH SCORE 466315.129
AT ITER 8451 NEW BEST:: SOT 2838627 SOS 707516 HAS SOPS 707516 HAS SOUS 465499 HAS SOUPS 465499 WITH SCORE 466206.516
AT ITER 8460 NEW BEST:: SOT 2838549 SOS 707282 HAS SOPS 707282 HAS SOUS 465343 HAS SOUPS 465343 WITH SCORE 466050.282
AT ITER 8467 NEW BEST:: SOT 2838508 SOS 707241 HAS SOPS 707241 HAS SOUS 465343 HAS SOUPS 465343 WITH SCORE 466050.241
AT ITER 8473 NEW BEST:: SOT 2838416 SOS 707057 HAS SOPS 707057 HAS SOUS 465159 HAS SOUPS 465159 WITH SCORE 465866.057
AT ITER 8483 NEW BEST:: SOT 2838234 SOS 706693 HAS SOPS 706693 HAS SOUS 464795 HAS SOUPS 464795 WITH SCORE 465501.693
AT ITER 8496 NEW BEST:: SOT 2838176 SOS 706639 HAS SOPS 706639 HAS SOUS 464742 HAS SOUPS 464742 WITH SCORE 465448.639
AT ITER 8507 NEW BEST:: SOT 2837511 SOS 705922 HAS SOPS 705922 HAS SOUS 464742 HAS SOUPS 464742 WITH SCORE 465447.922
AT ITER 8522 NEW BEST:: SOT 2837482 SOS 705816 HAS SOPS 705816 HAS SOUS 464636 HAS SOUPS 464636 WITH SCORE 465341.816
AT ITER 8559 NEW BEST:: SOT 2837453 SOS 705813 HAS SOPS 705813 HAS SOUS 464633 HAS SOUPS 464633 WITH SCORE 465338.813
AT ITER 8572 NEW BEST:: SOT 2837450 SOS 705807 HAS SOPS 705807 HAS SOUS 464627 HAS SOUPS 464627 WITH SCORE 465332.807
AT ITER 8588 NEW BEST:: SOT 2837219 SOS 705345 HAS SOPS 705345 HAS SOUS 464368 HAS SOUPS 464368 WITH SCORE 465073.345
AT ITER 8592 NEW BEST:: SOT 2837176 SOS 705260 HAS SOPS 705260 HAS SOUS 464324 HAS SOUPS 464324 WITH SCORE 465029.26
AT ITER 8598 NEW BEST:: SOT 2837174 SOS 705299 HAS SOPS 705299 HAS SOUS 464302 HAS SOUPS 464302 WITH SCORE 465007.299
AT ITER 8625 NEW BEST:: SOT 2838871 SOS 707599 HAS SOPS 707599 HAS SOUS 463591 HAS SOUPS 463591 WITH SCORE 464298.599
AT ITER 8666 NEW BEST:: SOT 2838897 SOS 707712 HAS SOPS 707712 HAS SOUS 463560 HAS SOUPS 463560 WITH SCORE 464267.712
AT ITER 8672 NEW BEST:: SOT 2838870 SOS 707658 HAS SOPS 707658 HAS SOUS 463506 HAS SOUPS 463506 WITH SCORE 464213.658
AT ITER 8675 NEW BEST:: SOT 2838870 SOS 707491 HAS SOPS 707491 HAS SOUS 463339 HAS SOUPS 463339 WITH SCORE 464046.491
AT ITER 8676 NEW BEST:: SOT 2838875 SOS 707501 HAS SOPS 707501 HAS SOUS 463251 HAS SOUPS 463251 WITH SCORE 463958.501
AT ITER 8691 NEW BEST:: SOT 2838858 SOS 707484 HAS SOPS 707484 HAS SOUS 463234 HAS SOUPS 463234 WITH SCORE 463941.484
AT ITER 8711 NEW BEST:: SOT 2838877 SOS 707467 HAS SOPS 707467 HAS SOUS 463217 HAS SOUPS 463217 WITH SCORE 463924.467
AT ITER 8719 NEW BEST:: SOT 2838835 SOS 707443 HAS SOPS 707443 HAS SOUS 463193 HAS SOUPS 463193 WITH SCORE 463900.443
AT ITER 8787 NEW BEST:: SOT 2838762 SOS 707325 HAS SOPS 707325 HAS SOUS 463087 HAS SOUPS 463087 WITH SCORE 463794.325
AT ITER 8789 NEW BEST:: SOT 2838727 SOS 706645 HAS SOPS 706645 HAS SOUS 462767 HAS SOUPS 462767 WITH SCORE 463473.645
AT ITER 8792 NEW BEST:: SOT 2838668 SOS 706527 HAS SOPS 706527 HAS SOUS 462704 HAS SOUPS 462704 WITH SCORE 463410.527
AT ITER 8800 NEW BEST:: SOT 2838548 SOS 706419 HAS SOPS 706419 HAS SOUS 462596 HAS SOUPS 462596 WITH SCORE 463302.419
AT ITER 8808 NEW BEST:: SOT 2838191 SOS 705476 HAS SOPS 705476 HAS SOUS 462545 HAS SOUPS 462545 WITH SCORE 463250.476
AT ITER 8813 NEW BEST:: SOT 2838167 SOS 705452 HAS SOPS 705452 HAS SOUS 462521 HAS SOUPS 462521 WITH SCORE 463226.452
AT ITER 8821 NEW BEST:: SOT 2838101 SOS 705675 HAS SOPS 705675 HAS SOUS 462418 HAS SOUPS 462418 WITH SCORE 463123.675
AT ITER 8841 NEW BEST:: SOT 2838052 SOS 705574 HAS SOPS 705574 HAS SOUS 462320 HAS SOUPS 462320 WITH SCORE 463025.574
AT ITER 8844 NEW BEST:: SOT 2838005 SOS 705433 HAS SOPS 705433 HAS SOUS 462179 HAS SOUPS 462179 WITH SCORE 462884.433
AT ITER 8851 NEW BEST:: SOT 2838001 SOS 705418 HAS SOPS 705418 HAS SOUS 462164 HAS SOUPS 462164 WITH SCORE 462869.418
AT ITER 8885 NEW BEST:: SOT 2837371 SOS 704698 HAS SOPS 704698 HAS SOUS 462164 HAS SOUPS 462164 WITH SCORE 462868.698
AT ITER 8891 NEW BEST:: SOT 2837329 SOS 704614 HAS SOPS 704614 HAS SOUS 462080 HAS SOUPS 462080 WITH SCORE 462784.614
AT ITER 8924 NEW BEST:: SOT 2837232 SOS 704420 HAS SOPS 704420 HAS SOUS 461886 HAS SOUPS 461886 WITH SCORE 462590.42
AT ITER 8934 NEW BEST:: SOT 2836889 SOS 703684 HAS SOPS 703684 HAS SOUS 460988 HAS SOUPS 460988 WITH SCORE 461691.684
AT ITER 8943 NEW BEST:: SOT 2836924 SOS 702437 HAS SOPS 702437 HAS SOUS 460850 HAS SOUPS 460850 WITH SCORE 461552.437
AT ITER 8944 NEW BEST:: SOT 2836903 SOS 701828 HAS SOPS 701828 HAS SOUS 460690 HAS SOUPS 460690 WITH SCORE 461391.828
AT ITER 8955 NEW BEST:: SOT 2836886 SOS 701765 HAS SOPS 701765 HAS SOUS 460656 HAS SOUPS 460656 WITH SCORE 461357.765
AT ITER 8978 NEW BEST:: SOT 2836874 SOS 701753 HAS SOPS 701753 HAS SOUS 460644 HAS SOUPS 460644 WITH SCORE 461345.753
AT ITER 9008 NEW BEST:: SOT 2836818 SOS 701745 HAS SOPS 701745 HAS SOUS 460636 HAS SOUPS 460636 WITH SCORE 461337.745
AT ITER 9021 NEW BEST:: SOT 2836771 SOS 701401 HAS SOPS 701401 HAS SOUS 460579 HAS SOUPS 460579 WITH SCORE 461280.401
AT ITER 9036 NEW BEST:: SOT 2836680 SOS 701285 HAS SOPS 701285 HAS SOUS 460483 HAS SOUPS 460483 WITH SCORE 461184.285
AT ITER 9038 NEW BEST:: SOT 2836591 SOS 700938 HAS SOPS 700938 HAS SOUS 460136 HAS SOUPS 460136 WITH SCORE 460836.938
AT ITER 9062 NEW BEST:: SOT 2836591 SOS 700959 HAS SOPS 700959 HAS SOUS 459989 HAS SOUPS 459989 WITH SCORE 460689.959
AT ITER 9065 NEW BEST:: SOT 2836591 SOS 700976 HAS SOPS 700976 HAS SOUS 459988 HAS SOUPS 459988 WITH SCORE 460688.976
AT ITER 9070 NEW BEST:: SOT 2836231 SOS 700206 HAS SOPS 700206 HAS SOUS 459218 HAS SOUPS 459218 WITH SCORE 459918.206
AT ITER 9097 NEW BEST:: SOT 2836227 SOS 700166 HAS SOPS 700166 HAS SOUS 459178 HAS SOUPS 459178 WITH SCORE 459878.166
AT ITER 9123 NEW BEST:: SOT 2836108 SOS 700046 HAS SOPS 700046 HAS SOUS 459058 HAS SOUPS 459058 WITH SCORE 459758.046
AT ITER 9177 NEW BEST:: SOT 2836080 SOS 699990 HAS SOPS 699990 HAS SOUS 459002 HAS SOUPS 459002 WITH SCORE 459701.99
AT ITER 9194 NEW BEST:: SOT 2835956 SOS 699901 HAS SOPS 699901 HAS SOUS 458836 HAS SOUPS 458836 WITH SCORE 459535.901
AT ITER 9198 NEW BEST:: SOT 2835955 SOS 699885 HAS SOPS 699885 HAS SOUS 458834 HAS SOUPS 458834 WITH SCORE 459533.885
AT ITER 9203 NEW BEST:: SOT 2835955 SOS 699885 HAS SOPS 699885 HAS SOUS 458466 HAS SOUPS 458466 WITH SCORE 459165.885
AT ITER 9205 NEW BEST:: SOT 2835954 SOS 699870 HAS SOPS 699870 HAS SOUS 458464 HAS SOUPS 458464 WITH SCORE 459163.87
AT ITER 9207 NEW BEST:: SOT 2835954 SOS 699850 HAS SOPS 699850 HAS SOUS 458454 HAS SOUPS 458454 WITH SCORE 459153.85
AT ITER 9236 NEW BEST:: SOT 2836108 SOS 700004 HAS SOPS 700004 HAS SOUS 458104 HAS SOUPS 458104 WITH SCORE 458804.004
AT ITER 9237 NEW BEST:: SOT 2836109 SOS 700006 HAS SOPS 700006 HAS SOUS 458103 HAS SOUPS 458103 WITH SCORE 458803.006
AT ITER 9259 NEW BEST:: SOT 2836016 SOS 699820 HAS SOPS 699820 HAS SOUS 457917 HAS SOUPS 457917 WITH SCORE 458616.82
AT ITER 9262 NEW BEST:: SOT 2836016 SOS 699669 HAS SOPS 699669 HAS SOUS 457717 HAS SOUPS 457717 WITH SCORE 458416.669
AT ITER 9292 NEW BEST:: SOT 2836016 SOS 699786 HAS SOPS 699786 HAS SOUS 457687 HAS SOUPS 457687 WITH SCORE 458386.786
AT ITER 9306 NEW BEST:: SOT 2836016 SOS 699637 HAS SOPS 699637 HAS SOUS 457681 HAS SOUPS 457681 WITH SCORE 458380.637
AT ITER 9308 NEW BEST:: SOT 2836016 SOS 699636 HAS SOPS 699636 HAS SOUS 457681 HAS SOUPS 457681 WITH SCORE 458380.636
AT ITER 9337 NEW BEST:: SOT 2836016 SOS 699648 HAS SOPS 699648 HAS SOUS 457676 HAS SOUPS 457676 WITH SCORE 458375.648
AT ITER 9346 NEW BEST:: SOT 2835852 SOS 699320 HAS SOPS 699320 HAS SOUS 457512 HAS SOUPS 457512 WITH SCORE 458211.32
AT ITER 9352 NEW BEST:: SOT 2835852 SOS 699318 HAS SOPS 699318 HAS SOUS 457495 HAS SOUPS 457495 WITH SCORE 458194.318
AT ITER 9408 NEW BEST:: SOT 2835725 SOS 699126 HAS SOPS 699126 HAS SOUS 457303 HAS SOUPS 457303 WITH SCORE 458002.126
AT ITER 9448 NEW BEST:: SOT 2835419 SOS 698814 HAS SOPS 698814 HAS SOUS 456581 HAS SOUPS 456581 WITH SCORE 457279.814
AT ITER 9459 NEW BEST:: SOT 2835283 SOS 700129 HAS SOPS 700129 HAS SOUS 456319 HAS SOUPS 456319 WITH SCORE 457019.129
AT ITER 9460 NEW BEST:: SOT 2835215 SOS 699993 HAS SOPS 699993 HAS SOUS 456183 HAS SOUPS 456183 WITH SCORE 456882.993
AT ITER 9497 NEW BEST:: SOT 2835215 SOS 699920 HAS SOPS 699920 HAS SOUS 456183 HAS SOUPS 456183 WITH SCORE 456882.92
AT ITER 9504 NEW BEST:: SOT 2835146 SOS 699851 HAS SOPS 699851 HAS SOUS 456114 HAS SOUPS 456114 WITH SCORE 456813.851
AT ITER 9508 NEW BEST:: SOT 2834895 SOS 699910 HAS SOPS 699910 HAS SOUS 455894 HAS SOUPS 455894 WITH SCORE 456593.91
AT ITER 9512 NEW BEST:: SOT 2834731 SOS 699664 HAS SOPS 699664 HAS SOUS 455648 HAS SOUPS 455648 WITH SCORE 456347.664
AT ITER 9518 NEW BEST:: SOT 2834574 SOS 699324 HAS SOPS 699324 HAS SOUS 455308 HAS SOUPS 455308 WITH SCORE 456007.324
AT ITER 9533 NEW BEST:: SOT 2834573 SOS 699323 HAS SOPS 699323 HAS SOUS 455306 HAS SOUPS 455306 WITH SCORE 456005.323
AT ITER 9546 NEW BEST:: SOT 2834488 SOS 699257 HAS SOPS 699257 HAS SOUS 455270 HAS SOUPS 455270 WITH SCORE 455969.257
AT ITER 9551 NEW BEST:: SOT 2834466 SOS 699218 HAS SOPS 699218 HAS SOUS 455243 HAS SOUPS 455243 WITH SCORE 455942.218
AT ITER 9581 NEW BEST:: SOT 2834457 SOS 699091 HAS SOPS 699091 HAS SOUS 455116 HAS SOUPS 455116 WITH SCORE 455815.091
AT ITER 9607 NEW BEST:: SOT 2834350 SOS 698984 HAS SOPS 698984 HAS SOUS 455009 HAS SOUPS 455009 WITH SCORE 455707.984
AT ITER 9622 NEW BEST:: SOT 2833598 SOS 698045 HAS SOPS 698045 HAS SOUS 454814 HAS SOUPS 454814 WITH SCORE 455512.045
AT ITER 9669 NEW BEST:: SOT 2833544 SOS 697775 HAS SOPS 697775 HAS SOUS 454706 HAS SOUPS 454706 WITH SCORE 455403.775
AT ITER 9679 NEW BEST:: SOT 2833351 SOS 697922 HAS SOPS 697922 HAS SOUS 454682 HAS SOUPS 454682 WITH SCORE 455379.922
AT ITER 9684 NEW BEST:: SOT 2833351 SOS 697911 HAS SOPS 697911 HAS SOUS 454671 HAS SOUPS 454671 WITH SCORE 455368.911
AT ITER 9695 NEW BEST:: SOT 2833336 SOS 697769 HAS SOPS 697769 HAS SOUS 454641 HAS SOUPS 454641 WITH SCORE 455338.769
AT ITER 9696 NEW BEST:: SOT 2833324 SOS 697757 HAS SOPS 697757 HAS SOUS 454629 HAS SOUPS 454629 WITH SCORE 455326.757
AT ITER 9712 NEW BEST:: SOT 2831100 SOS 695536 HAS SOPS 695536 HAS SOUS 452408 HAS SOUPS 452408 WITH SCORE 453103.536
AT ITER 9748 NEW BEST:: SOT 2831147 SOS 695647 HAS SOPS 695647 HAS SOUS 452370 HAS SOUPS 452370 WITH SCORE 453065.647
AT ITER 9756 NEW BEST:: SOT 2830788 SOS 694904 HAS SOPS 694904 HAS SOUS 451711 HAS SOUPS 451711 WITH SCORE 452405.904
AT ITER 9769 NEW BEST:: SOT 2830759 SOS 694692 HAS SOPS 694692 HAS SOUS 451653 HAS SOUPS 451653 WITH SCORE 452347.692
AT ITER 9780 NEW BEST:: SOT 2830759 SOS 694659 HAS SOPS 694659 HAS SOUS 451620 HAS SOUPS 451620 WITH SCORE 452314.659
AT ITER 9797 NEW BEST:: SOT 2830665 SOS 694565 HAS SOPS 694565 HAS SOUS 451465 HAS SOUPS 451465 WITH SCORE 452159.565
AT ITER 9813 NEW BEST:: SOT 2830488 SOS 694637 HAS SOPS 694637 HAS SOUS 451388 HAS SOUPS 451388 WITH SCORE 452082.637
AT ITER 9822 NEW BEST:: SOT 2830469 SOS 694597 HAS SOPS 694597 HAS SOUS 451367 HAS SOUPS 451367 WITH SCORE 452061.597
AT ITER 9828 NEW BEST:: SOT 2830453 SOS 694357 HAS SOPS 694357 HAS SOUS 451322 HAS SOUPS 451322 WITH SCORE 452016.357
AT ITER 9829 NEW BEST:: SOT 2830398 SOS 694236 HAS SOPS 694236 HAS SOUS 451201 HAS SOUPS 451201 WITH SCORE 451895.236
AT ITER 9836 NEW BEST:: SOT 2830398 SOS 693852 HAS SOPS 693852 HAS SOUS 451201 HAS SOUPS 451201 WITH SCORE 451894.852
AT ITER 9858 NEW BEST:: SOT 2829102 SOS 692544 HAS SOPS 692544 HAS SOUS 449743 HAS SOUPS 449743 WITH SCORE 450435.544
AT ITER 9863 NEW BEST:: SOT 2829102 SOS 692544 HAS SOPS 692544 HAS SOUS 449705 HAS SOUPS 449705 WITH SCORE 450397.544
AT ITER 9869 NEW BEST:: SOT 2829000 SOS 692340 HAS SOPS 692340 HAS SOUS 449501 HAS SOUPS 449501 WITH SCORE 450193.34
AT ITER 9915 NEW BEST:: SOT 2829080 SOS 692332 HAS SOPS 692332 HAS SOUS 449344 HAS SOUPS 449344 WITH SCORE 450036.332
AT ITER 9924 NEW BEST:: SOT 2828981 SOS 692159 HAS SOPS 692159 HAS SOUS 449171 HAS SOUPS 449171 WITH SCORE 449863.159
AT ITER 9953 NEW BEST:: SOT 2828884 SOS 691989 HAS SOPS 691989 HAS SOUS 448928 HAS SOUPS 448928 WITH SCORE 449619.989
AT ITER 9963 NEW BEST:: SOT 2828884 SOS 690765 HAS SOPS 690765 HAS SOUS 448927 HAS SOUPS 448927 WITH SCORE 449617.765
AT ITER 9970 NEW BEST:: SOT 2828828 SOS 690740 HAS SOPS 690740 HAS SOUS 448902 HAS SOUPS 448902 WITH SCORE 449592.74
AT ITER 9997 NEW BEST:: SOT 2828808 SOS 690700 HAS SOPS 690700 HAS SOUS 448862 HAS SOUPS 448862 WITH SCORE 449552.7
AT ITER 9998 NEW BEST:: SOT 2828772 SOS 690646 HAS SOPS 690646 HAS SOUS 448808 HAS SOUPS 448808 WITH SCORE 449498.646
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 12496204 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16118788 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="ASLink-PT-04b"
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 ASLink-PT-04b, 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 r011-oct2-167813599700072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-04b.tgz
mv ASLink-PT-04b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;