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.r075-smll-167814401000392.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is CloudDeployment-PT-3b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 14:45 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:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 25 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 308K 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 1678341293684

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=CloudDeployment-PT-3b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 05:54:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 05:54:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 05:54:56] [INFO ] Load time of PNML (sax parser for PT used): 193 ms
[2023-03-09 05:54:56] [INFO ] Transformed 859 places.
[2023-03-09 05:54:56] [INFO ] Transformed 1152 transitions.
[2023-03-09 05:54:56] [INFO ] Found NUPN structural information;
[2023-03-09 05:54:56] [INFO ] Parsed PT model containing 859 places and 1152 transitions and 4030 arcs in 354 ms.
[2023-03-09 05:54:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 859 places, 1152 transitions and 4030 arcs took 19 ms.
Total runtime 441 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 3b
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: 859 places, 1152 transitions, 4030 arcs.
AT ITER 0 NEW BEST:: SOT 597462 SOS 157944 HAS SOPS 157944 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113464.944
AT ITER 1 NEW BEST:: SOT 597384 SOS 157788 HAS SOPS 157788 HAS SOUS 113229 HAS SOUPS 113229 WITH SCORE 113386.788
AT ITER 3 NEW BEST:: SOT 598599 SOS 159565 HAS SOPS 159565 HAS SOUS 112868 HAS SOUPS 112868 WITH SCORE 113027.565
AT ITER 39 NEW BEST:: SOT 598599 SOS 159686 HAS SOPS 159686 HAS SOUS 112681 HAS SOUPS 112681 WITH SCORE 112840.686
AT ITER 50 NEW BEST:: SOT 598536 SOS 159656 HAS SOPS 159656 HAS SOUS 112570 HAS SOUPS 112570 WITH SCORE 112729.656
AT ITER 54 NEW BEST:: SOT 598469 SOS 159698 HAS SOPS 159698 HAS SOUS 112525 HAS SOUPS 112525 WITH SCORE 112684.698
AT ITER 66 NEW BEST:: SOT 598469 SOS 159860 HAS SOPS 159860 HAS SOUS 112485 HAS SOUPS 112485 WITH SCORE 112644.86
AT ITER 83 NEW BEST:: SOT 598469 SOS 159845 HAS SOPS 159845 HAS SOUS 112485 HAS SOUPS 112485 WITH SCORE 112644.845
AT ITER 100 NEW BEST:: SOT 598339 SOS 159780 HAS SOPS 159780 HAS SOUS 112354 HAS SOUPS 112354 WITH SCORE 112513.78
AT ITER 107 NEW BEST:: SOT 598339 SOS 159744 HAS SOPS 159744 HAS SOUS 112318 HAS SOUPS 112318 WITH SCORE 112477.744
AT ITER 116 NEW BEST:: SOT 598339 SOS 159800 HAS SOPS 159800 HAS SOUS 112314 HAS SOUPS 112314 WITH SCORE 112473.8
AT ITER 117 NEW BEST:: SOT 598327 SOS 159794 HAS SOPS 159794 HAS SOUS 112308 HAS SOUPS 112308 WITH SCORE 112467.794
AT ITER 148 NEW BEST:: SOT 598435 SOS 159641 HAS SOPS 159641 HAS SOUS 112263 HAS SOUPS 112263 WITH SCORE 112422.641
AT ITER 155 NEW BEST:: SOT 598420 SOS 159624 HAS SOPS 159624 HAS SOUS 112246 HAS SOUPS 112246 WITH SCORE 112405.624
AT ITER 160 NEW BEST:: SOT 598428 SOS 159640 HAS SOPS 159640 HAS SOUS 112177 HAS SOUPS 112177 WITH SCORE 112336.64
AT ITER 163 NEW BEST:: SOT 598212 SOS 161768 HAS SOPS 161768 HAS SOUS 111964 HAS SOUPS 111964 WITH SCORE 112125.768
AT ITER 173 NEW BEST:: SOT 598168 SOS 161714 HAS SOPS 161714 HAS SOUS 111899 HAS SOUPS 111899 WITH SCORE 112060.714
AT ITER 196 NEW BEST:: SOT 597753 SOS 161644 HAS SOPS 161644 HAS SOUS 111579 HAS SOUPS 111579 WITH SCORE 111740.644
AT ITER 197 NEW BEST:: SOT 597753 SOS 161635 HAS SOPS 161635 HAS SOUS 111570 HAS SOUPS 111570 WITH SCORE 111731.635
AT ITER 211 NEW BEST:: SOT 597683 SOS 161551 HAS SOPS 161551 HAS SOUS 111499 HAS SOUPS 111499 WITH SCORE 111660.551
AT ITER 219 NEW BEST:: SOT 597650 SOS 161485 HAS SOPS 161485 HAS SOUS 111433 HAS SOUPS 111433 WITH SCORE 111594.485
AT ITER 222 NEW BEST:: SOT 597650 SOS 161485 HAS SOPS 161485 HAS SOUS 111413 HAS SOUPS 111413 WITH SCORE 111574.485
AT ITER 223 NEW BEST:: SOT 597650 SOS 161419 HAS SOPS 161419 HAS SOUS 111413 HAS SOUPS 111413 WITH SCORE 111574.419
AT ITER 227 NEW BEST:: SOT 597046 SOS 161548 HAS SOPS 161548 HAS SOUS 110976 HAS SOUPS 110976 WITH SCORE 111137.548
AT ITER 232 NEW BEST:: SOT 596978 SOS 161548 HAS SOPS 161548 HAS SOUS 110942 HAS SOUPS 110942 WITH SCORE 111103.548
AT ITER 238 NEW BEST:: SOT 596978 SOS 161657 HAS SOPS 161657 HAS SOUS 110799 HAS SOUPS 110799 WITH SCORE 110960.657
AT ITER 290 NEW BEST:: SOT 596976 SOS 161653 HAS SOPS 161653 HAS SOUS 110759 HAS SOUPS 110759 WITH SCORE 110920.653
AT ITER 300 NEW BEST:: SOT 596975 SOS 161651 HAS SOPS 161651 HAS SOUS 110757 HAS SOUPS 110757 WITH SCORE 110918.651
AT ITER 305 NEW BEST:: SOT 597001 SOS 161685 HAS SOPS 161685 HAS SOUS 110667 HAS SOUPS 110667 WITH SCORE 110828.685
AT ITER 308 NEW BEST:: SOT 596952 SOS 161587 HAS SOPS 161587 HAS SOUS 110569 HAS SOUPS 110569 WITH SCORE 110730.587
AT ITER 316 NEW BEST:: SOT 596918 SOS 161738 HAS SOPS 161738 HAS SOUS 110321 HAS SOUPS 110321 WITH SCORE 110482.738
AT ITER 337 NEW BEST:: SOT 596918 SOS 161738 HAS SOPS 161738 HAS SOUS 110318 HAS SOUPS 110318 WITH SCORE 110479.738
AT ITER 365 NEW BEST:: SOT 596913 SOS 161761 HAS SOPS 161761 HAS SOUS 110313 HAS SOUPS 110313 WITH SCORE 110474.761
AT ITER 366 NEW BEST:: SOT 596913 SOS 161653 HAS SOPS 161653 HAS SOUS 110190 HAS SOUPS 110190 WITH SCORE 110351.653
AT ITER 370 NEW BEST:: SOT 596913 SOS 161854 HAS SOPS 161854 HAS SOUS 110149 HAS SOUPS 110149 WITH SCORE 110310.854
AT ITER 371 NEW BEST:: SOT 596913 SOS 161854 HAS SOPS 161854 HAS SOUS 110148 HAS SOUPS 110148 WITH SCORE 110309.854
AT ITER 386 NEW BEST:: SOT 596904 SOS 161836 HAS SOPS 161836 HAS SOUS 110111 HAS SOUPS 110111 WITH SCORE 110272.836
AT ITER 394 NEW BEST:: SOT 596904 SOS 161818 HAS SOPS 161818 HAS SOUS 109969 HAS SOUPS 109969 WITH SCORE 110130.818
AT ITER 410 NEW BEST:: SOT 596850 SOS 161740 HAS SOPS 161740 HAS SOUS 109885 HAS SOUPS 109885 WITH SCORE 110046.74
AT ITER 411 NEW BEST:: SOT 596787 SOS 161614 HAS SOPS 161614 HAS SOUS 109759 HAS SOUPS 109759 WITH SCORE 109920.614
AT ITER 414 NEW BEST:: SOT 596723 SOS 161486 HAS SOPS 161486 HAS SOUS 109695 HAS SOUPS 109695 WITH SCORE 109856.486
AT ITER 420 NEW BEST:: SOT 596716 SOS 161451 HAS SOPS 161451 HAS SOUS 109687 HAS SOUPS 109687 WITH SCORE 109848.451
AT ITER 423 NEW BEST:: SOT 596719 SOS 161457 HAS SOPS 161457 HAS SOUS 109569 HAS SOUPS 109569 WITH SCORE 109730.457
AT ITER 425 NEW BEST:: SOT 596640 SOS 161299 HAS SOPS 161299 HAS SOUS 109411 HAS SOUPS 109411 WITH SCORE 109572.299
AT ITER 426 NEW BEST:: SOT 596588 SOS 161247 HAS SOPS 161247 HAS SOUS 109411 HAS SOUPS 109411 WITH SCORE 109572.247
AT ITER 430 NEW BEST:: SOT 596525 SOS 161310 HAS SOPS 161310 HAS SOUS 109407 HAS SOUPS 109407 WITH SCORE 109568.31
AT ITER 437 NEW BEST:: SOT 596525 SOS 161220 HAS SOPS 161220 HAS SOUS 109367 HAS SOUPS 109367 WITH SCORE 109528.22
AT ITER 447 NEW BEST:: SOT 596331 SOS 161165 HAS SOPS 161165 HAS SOUS 109173 HAS SOUPS 109173 WITH SCORE 109334.165
AT ITER 451 NEW BEST:: SOT 596331 SOS 161165 HAS SOPS 161165 HAS SOUS 109171 HAS SOUPS 109171 WITH SCORE 109332.165
AT ITER 455 NEW BEST:: SOT 596331 SOS 161139 HAS SOPS 161139 HAS SOUS 109145 HAS SOUPS 109145 WITH SCORE 109306.139
AT ITER 459 NEW BEST:: SOT 596269 SOS 161015 HAS SOPS 161015 HAS SOUS 109082 HAS SOUPS 109082 WITH SCORE 109243.015
AT ITER 460 NEW BEST:: SOT 596175 SOS 160924 HAS SOPS 160924 HAS SOUS 108988 HAS SOUPS 108988 WITH SCORE 109148.924
AT ITER 475 NEW BEST:: SOT 596287 SOS 160812 HAS SOPS 160812 HAS SOUS 108988 HAS SOUPS 108988 WITH SCORE 109148.812
AT ITER 483 NEW BEST:: SOT 596226 SOS 160690 HAS SOPS 160690 HAS SOUS 108763 HAS SOUPS 108763 WITH SCORE 108923.69
AT ITER 493 NEW BEST:: SOT 596226 SOS 160671 HAS SOPS 160671 HAS SOUS 108726 HAS SOUPS 108726 WITH SCORE 108886.671
AT ITER 506 NEW BEST:: SOT 596091 SOS 160401 HAS SOPS 160401 HAS SOUS 108456 HAS SOUPS 108456 WITH SCORE 108616.401
AT ITER 517 NEW BEST:: SOT 596091 SOS 160401 HAS SOPS 160401 HAS SOUS 108455 HAS SOUPS 108455 WITH SCORE 108615.401
AT ITER 518 NEW BEST:: SOT 596090 SOS 160399 HAS SOPS 160399 HAS SOUS 108453 HAS SOUPS 108453 WITH SCORE 108613.399
AT ITER 519 NEW BEST:: SOT 596089 SOS 160423 HAS SOPS 160423 HAS SOUS 108451 HAS SOUPS 108451 WITH SCORE 108611.423
AT ITER 528 NEW BEST:: SOT 596082 SOS 160409 HAS SOPS 160409 HAS SOUS 108437 HAS SOUPS 108437 WITH SCORE 108597.409
AT ITER 530 NEW BEST:: SOT 596135 SOS 160515 HAS SOPS 160515 HAS SOUS 108329 HAS SOUPS 108329 WITH SCORE 108489.515
AT ITER 535 NEW BEST:: SOT 596002 SOS 160249 HAS SOPS 160249 HAS SOUS 108063 HAS SOUPS 108063 WITH SCORE 108223.249
AT ITER 546 NEW BEST:: SOT 595608 SOS 160085 HAS SOPS 160085 HAS SOUS 107899 HAS SOUPS 107899 WITH SCORE 108059.085
AT ITER 552 NEW BEST:: SOT 595597 SOS 160159 HAS SOPS 160159 HAS SOUS 107888 HAS SOUPS 107888 WITH SCORE 108048.159
AT ITER 567 NEW BEST:: SOT 596207 SOS 160796 HAS SOPS 160796 HAS SOUS 107765 HAS SOUPS 107765 WITH SCORE 107925.796
AT ITER 582 NEW BEST:: SOT 596118 SOS 161008 HAS SOPS 161008 HAS SOUS 107712 HAS SOUPS 107712 WITH SCORE 107873.008
AT ITER 584 NEW BEST:: SOT 596105 SOS 160982 HAS SOPS 160982 HAS SOUS 107702 HAS SOUPS 107702 WITH SCORE 107862.982
AT ITER 585 NEW BEST:: SOT 596099 SOS 160970 HAS SOPS 160970 HAS SOUS 107690 HAS SOUPS 107690 WITH SCORE 107850.97
AT ITER 592 NEW BEST:: SOT 596035 SOS 160725 HAS SOPS 160725 HAS SOUS 107469 HAS SOUPS 107469 WITH SCORE 107629.725
AT ITER 597 NEW BEST:: SOT 595962 SOS 160798 HAS SOPS 160798 HAS SOUS 107396 HAS SOUPS 107396 WITH SCORE 107556.798
AT ITER 612 NEW BEST:: SOT 595962 SOS 160808 HAS SOPS 160808 HAS SOUS 107395 HAS SOUPS 107395 WITH SCORE 107555.808
AT ITER 617 NEW BEST:: SOT 595925 SOS 160734 HAS SOPS 160734 HAS SOUS 107358 HAS SOUPS 107358 WITH SCORE 107518.734
AT ITER 624 NEW BEST:: SOT 595921 SOS 160736 HAS SOPS 160736 HAS SOUS 107346 HAS SOUPS 107346 WITH SCORE 107506.736
AT ITER 648 NEW BEST:: SOT 595993 SOS 160880 HAS SOPS 160880 HAS SOUS 107301 HAS SOUPS 107301 WITH SCORE 107461.88
AT ITER 651 NEW BEST:: SOT 595348 SOS 164718 HAS SOPS 164718 HAS SOUS 106955 HAS SOUPS 106955 WITH SCORE 107119.718
AT ITER 655 NEW BEST:: SOT 595333 SOS 164803 HAS SOPS 164803 HAS SOUS 106948 HAS SOUPS 106948 WITH SCORE 107112.803
AT ITER 658 NEW BEST:: SOT 595333 SOS 164716 HAS SOPS 164716 HAS SOUS 106860 HAS SOUPS 106860 WITH SCORE 107024.716
AT ITER 666 NEW BEST:: SOT 595274 SOS 164598 HAS SOPS 164598 HAS SOUS 106824 HAS SOUPS 106824 WITH SCORE 106988.598
AT ITER 713 NEW BEST:: SOT 595273 SOS 164596 HAS SOPS 164596 HAS SOUS 106822 HAS SOUPS 106822 WITH SCORE 106986.596
AT ITER 727 NEW BEST:: SOT 595441 SOS 164763 HAS SOPS 164763 HAS SOUS 106821 HAS SOUPS 106821 WITH SCORE 106985.763
AT ITER 731 NEW BEST:: SOT 595410 SOS 164701 HAS SOPS 164701 HAS SOUS 106749 HAS SOUPS 106749 WITH SCORE 106913.701
AT ITER 741 NEW BEST:: SOT 595357 SOS 164703 HAS SOPS 164703 HAS SOUS 106669 HAS SOUPS 106669 WITH SCORE 106833.703
AT ITER 746 NEW BEST:: SOT 595259 SOS 164605 HAS SOPS 164605 HAS SOUS 106669 HAS SOUPS 106669 WITH SCORE 106833.605
AT ITER 750 NEW BEST:: SOT 595259 SOS 164605 HAS SOPS 164605 HAS SOUS 106665 HAS SOUPS 106665 WITH SCORE 106829.605
AT ITER 751 NEW BEST:: SOT 595474 SOS 164390 HAS SOPS 164390 HAS SOUS 106665 HAS SOUPS 106665 WITH SCORE 106829.39
AT ITER 755 NEW BEST:: SOT 595474 SOS 164389 HAS SOPS 164389 HAS SOUS 106665 HAS SOUPS 106665 WITH SCORE 106829.389
AT ITER 765 NEW BEST:: SOT 595465 SOS 164482 HAS SOPS 164482 HAS SOUS 106653 HAS SOUPS 106653 WITH SCORE 106817.482
AT ITER 777 NEW BEST:: SOT 595437 SOS 164398 HAS SOPS 164398 HAS SOUS 106597 HAS SOUPS 106597 WITH SCORE 106761.398
AT ITER 791 NEW BEST:: SOT 595321 SOS 164340 HAS SOPS 164340 HAS SOUS 106481 HAS SOUPS 106481 WITH SCORE 106645.34
AT ITER 793 NEW BEST:: SOT 595309 SOS 164316 HAS SOPS 164316 HAS SOUS 106468 HAS SOUPS 106468 WITH SCORE 106632.316
AT ITER 802 NEW BEST:: SOT 595265 SOS 164228 HAS SOPS 164228 HAS SOUS 106261 HAS SOUPS 106261 WITH SCORE 106425.228
AT ITER 809 NEW BEST:: SOT 595275 SOS 164152 HAS SOPS 164152 HAS SOUS 106223 HAS SOUPS 106223 WITH SCORE 106387.152
AT ITER 810 NEW BEST:: SOT 595275 SOS 168877 HAS SOPS 168877 HAS SOUS 106148 HAS SOUPS 106148 WITH SCORE 106316.877
AT ITER 812 NEW BEST:: SOT 595352 SOS 168800 HAS SOPS 168800 HAS SOUS 106148 HAS SOUPS 106148 WITH SCORE 106316.8
AT ITER 814 NEW BEST:: SOT 595352 SOS 168828 HAS SOPS 168828 HAS SOUS 106147 HAS SOUPS 106147 WITH SCORE 106315.828
AT ITER 829 NEW BEST:: SOT 595226 SOS 168576 HAS SOPS 168576 HAS SOUS 105878 HAS SOUPS 105878 WITH SCORE 106046.576
AT ITER 836 NEW BEST:: SOT 595203 SOS 168515 HAS SOPS 168515 HAS SOUS 105752 HAS SOUPS 105752 WITH SCORE 105920.515
AT ITER 855 NEW BEST:: SOT 595108 SOS 168420 HAS SOPS 168420 HAS SOUS 105377 HAS SOUPS 105377 WITH SCORE 105545.42
AT ITER 857 NEW BEST:: SOT 595108 SOS 168420 HAS SOPS 168420 HAS SOUS 105376 HAS SOUPS 105376 WITH SCORE 105544.42
AT ITER 891 NEW BEST:: SOT 595015 SOS 168062 HAS SOPS 168062 HAS SOUS 105223 HAS SOUPS 105223 WITH SCORE 105391.062
AT ITER 901 NEW BEST:: SOT 595015 SOS 168062 HAS SOPS 168062 HAS SOUS 105185 HAS SOUPS 105185 WITH SCORE 105353.062
AT ITER 927 NEW BEST:: SOT 595015 SOS 168062 HAS SOPS 168062 HAS SOUS 105184 HAS SOUPS 105184 WITH SCORE 105352.062
AT ITER 929 NEW BEST:: SOT 595107 SOS 168067 HAS SOPS 168067 HAS SOUS 105129 HAS SOUPS 105129 WITH SCORE 105297.067
AT ITER 963 NEW BEST:: SOT 595255 SOS 168363 HAS SOPS 168363 HAS SOUS 105085 HAS SOUPS 105085 WITH SCORE 105253.363
AT ITER 979 NEW BEST:: SOT 595236 SOS 168808 HAS SOPS 168808 HAS SOUS 105043 HAS SOUPS 105043 WITH SCORE 105211.808
AT ITER 991 NEW BEST:: SOT 595235 SOS 168806 HAS SOPS 168806 HAS SOUS 105041 HAS SOUPS 105041 WITH SCORE 105209.806
AT ITER 995 NEW BEST:: SOT 595256 SOS 168812 HAS SOPS 168812 HAS SOUS 105011 HAS SOUPS 105011 WITH SCORE 105179.812
AT ITER 1023 NEW BEST:: SOT 595174 SOS 168799 HAS SOPS 168799 HAS SOUS 105008 HAS SOUPS 105008 WITH SCORE 105176.799
AT ITER 1027 NEW BEST:: SOT 595148 SOS 168653 HAS SOPS 168653 HAS SOUS 104982 HAS SOUPS 104982 WITH SCORE 105150.653
AT ITER 1033 NEW BEST:: SOT 595148 SOS 168644 HAS SOPS 168644 HAS SOUS 104973 HAS SOUPS 104973 WITH SCORE 105141.644
AT ITER 1035 NEW BEST:: SOT 595148 SOS 168422 HAS SOPS 168422 HAS SOUS 104973 HAS SOUPS 104973 WITH SCORE 105141.422
AT ITER 1042 NEW BEST:: SOT 595217 SOS 168211 HAS SOPS 168211 HAS SOUS 104940 HAS SOUPS 104940 WITH SCORE 105108.211
AT ITER 1050 NEW BEST:: SOT 595213 SOS 168207 HAS SOPS 168207 HAS SOUS 104939 HAS SOUPS 104939 WITH SCORE 105107.207
AT ITER 1059 NEW BEST:: SOT 595141 SOS 167919 HAS SOPS 167919 HAS SOUS 104795 HAS SOUPS 104795 WITH SCORE 104962.919
AT ITER 1069 NEW BEST:: SOT 595093 SOS 168227 HAS SOPS 168227 HAS SOUS 104775 HAS SOUPS 104775 WITH SCORE 104943.227
AT ITER 1085 NEW BEST:: SOT 595093 SOS 168229 HAS SOPS 168229 HAS SOUS 104754 HAS SOUPS 104754 WITH SCORE 104922.229
AT ITER 1100 NEW BEST:: SOT 595068 SOS 168204 HAS SOPS 168204 HAS SOUS 104651 HAS SOUPS 104651 WITH SCORE 104819.204
AT ITER 1114 NEW BEST:: SOT 595017 SOS 168199 HAS SOPS 168199 HAS SOUS 104604 HAS SOUPS 104604 WITH SCORE 104772.199
AT ITER 1121 NEW BEST:: SOT 594989 SOS 168143 HAS SOPS 168143 HAS SOUS 104548 HAS SOUPS 104548 WITH SCORE 104716.143
AT ITER 1125 NEW BEST:: SOT 594921 SOS 168075 HAS SOPS 168075 HAS SOUS 104463 HAS SOUPS 104463 WITH SCORE 104631.075
AT ITER 1149 NEW BEST:: SOT 594708 SOS 169014 HAS SOPS 169014 HAS SOUS 104355 HAS SOUPS 104355 WITH SCORE 104524.014
AT ITER 1150 NEW BEST:: SOT 594629 SOS 168973 HAS SOPS 168973 HAS SOUS 104275 HAS SOUPS 104275 WITH SCORE 104443.973
AT ITER 1161 NEW BEST:: SOT 594629 SOS 168856 HAS SOPS 168856 HAS SOUS 104147 HAS SOUPS 104147 WITH SCORE 104315.856
AT ITER 1179 NEW BEST:: SOT 594553 SOS 168977 HAS SOPS 168977 HAS SOUS 104071 HAS SOUPS 104071 WITH SCORE 104239.977
AT ITER 1189 NEW BEST:: SOT 594553 SOS 168722 HAS SOPS 168722 HAS SOUS 103998 HAS SOUPS 103998 WITH SCORE 104166.722
AT ITER 1191 NEW BEST:: SOT 594493 SOS 168782 HAS SOPS 168782 HAS SOUS 103938 HAS SOUPS 103938 WITH SCORE 104106.782
AT ITER 1199 NEW BEST:: SOT 594371 SOS 170061 HAS SOPS 170061 HAS SOUS 103773 HAS SOUPS 103773 WITH SCORE 103943.061
AT ITER 1223 NEW BEST:: SOT 593867 SOS 170013 HAS SOPS 170013 HAS SOUS 103213 HAS SOUPS 103213 WITH SCORE 103383.013
AT ITER 1228 NEW BEST:: SOT 593850 SOS 169996 HAS SOPS 169996 HAS SOUS 103213 HAS SOUPS 103213 WITH SCORE 103382.996
AT ITER 1232 NEW BEST:: SOT 593850 SOS 169968 HAS SOPS 169968 HAS SOUS 103213 HAS SOUPS 103213 WITH SCORE 103382.968
AT ITER 1240 NEW BEST:: SOT 593795 SOS 169858 HAS SOPS 169858 HAS SOUS 103103 HAS SOUPS 103103 WITH SCORE 103272.858
AT ITER 1252 NEW BEST:: SOT 593753 SOS 169862 HAS SOPS 169862 HAS SOUS 103071 HAS SOUPS 103071 WITH SCORE 103240.862
AT ITER 1263 NEW BEST:: SOT 593689 SOS 169923 HAS SOPS 169923 HAS SOUS 103069 HAS SOUPS 103069 WITH SCORE 103238.923
AT ITER 1302 NEW BEST:: SOT 593608 SOS 170009 HAS SOPS 170009 HAS SOUS 102988 HAS SOUPS 102988 WITH SCORE 103158.009
AT ITER 1313 NEW BEST:: SOT 593522 SOS 170009 HAS SOPS 170009 HAS SOUS 102902 HAS SOUPS 102902 WITH SCORE 103072.009
AT ITER 1326 NEW BEST:: SOT 593266 SOS 169899 HAS SOPS 169899 HAS SOUS 102715 HAS SOUPS 102715 WITH SCORE 102884.899
AT ITER 1348 NEW BEST:: SOT 593185 SOS 169821 HAS SOPS 169821 HAS SOUS 102609 HAS SOUPS 102609 WITH SCORE 102778.821
AT ITER 1370 NEW BEST:: SOT 593095 SOS 169101 HAS SOPS 169101 HAS SOUS 102429 HAS SOUPS 102429 WITH SCORE 102598.101
AT ITER 1380 NEW BEST:: SOT 593094 SOS 169099 HAS SOPS 169099 HAS SOUS 102427 HAS SOUPS 102427 WITH SCORE 102596.099
AT ITER 1399 NEW BEST:: SOT 593093 SOS 169097 HAS SOPS 169097 HAS SOUS 102425 HAS SOUPS 102425 WITH SCORE 102594.097
AT ITER 1402 NEW BEST:: SOT 593093 SOS 168979 HAS SOPS 168979 HAS SOUS 102395 HAS SOUPS 102395 WITH SCORE 102563.979
AT ITER 1405 NEW BEST:: SOT 592921 SOS 168716 HAS SOPS 168716 HAS SOUS 102223 HAS SOUPS 102223 WITH SCORE 102391.716
AT ITER 1419 NEW BEST:: SOT 592912 SOS 168671 HAS SOPS 168671 HAS SOUS 102196 HAS SOUPS 102196 WITH SCORE 102364.671
AT ITER 1424 NEW BEST:: SOT 592912 SOS 170299 HAS SOPS 170299 HAS SOUS 102156 HAS SOUPS 102156 WITH SCORE 102326.299
AT ITER 1448 NEW BEST:: SOT 592912 SOS 170147 HAS SOPS 170147 HAS SOUS 102156 HAS SOUPS 102156 WITH SCORE 102326.147
AT ITER 1454 NEW BEST:: SOT 592912 SOS 170147 HAS SOPS 170147 HAS SOUS 102087 HAS SOUPS 102087 WITH SCORE 102257.147
AT ITER 1456 NEW BEST:: SOT 592906 SOS 170141 HAS SOPS 170141 HAS SOUS 102078 HAS SOUPS 102078 WITH SCORE 102248.141
AT ITER 1464 NEW BEST:: SOT 592892 SOS 170113 HAS SOPS 170113 HAS SOUS 102050 HAS SOUPS 102050 WITH SCORE 102220.113
AT ITER 1504 NEW BEST:: SOT 592892 SOS 170113 HAS SOPS 170113 HAS SOUS 102045 HAS SOUPS 102045 WITH SCORE 102215.113
AT ITER 1505 NEW BEST:: SOT 592893 SOS 170115 HAS SOPS 170115 HAS SOUS 102014 HAS SOUPS 102014 WITH SCORE 102184.115
AT ITER 1529 NEW BEST:: SOT 592802 SOS 170065 HAS SOPS 170065 HAS SOUS 101899 HAS SOUPS 101899 WITH SCORE 102069.065
AT ITER 1532 NEW BEST:: SOT 592802 SOS 170054 HAS SOPS 170054 HAS SOUS 101888 HAS SOUPS 101888 WITH SCORE 102058.054
AT ITER 1546 NEW BEST:: SOT 592802 SOS 170025 HAS SOPS 170025 HAS SOUS 101830 HAS SOUPS 101830 WITH SCORE 102000.025
AT ITER 1547 NEW BEST:: SOT 592779 SOS 169887 HAS SOPS 169887 HAS SOUS 101613 HAS SOUPS 101613 WITH SCORE 101782.887
AT ITER 1548 NEW BEST:: SOT 592773 SOS 169913 HAS SOPS 169913 HAS SOUS 101609 HAS SOUPS 101609 WITH SCORE 101778.913
AT ITER 1559 NEW BEST:: SOT 592803 SOS 169973 HAS SOPS 169973 HAS SOUS 101578 HAS SOUPS 101578 WITH SCORE 101747.973
AT ITER 1578 NEW BEST:: SOT 592830 SOS 169889 HAS SOPS 169889 HAS SOUS 101510 HAS SOUPS 101510 WITH SCORE 101679.889
AT ITER 1611 NEW BEST:: SOT 592830 SOS 169814 HAS SOPS 169814 HAS SOUS 101337 HAS SOUPS 101337 WITH SCORE 101506.814
AT ITER 1614 NEW BEST:: SOT 592815 SOS 169799 HAS SOPS 169799 HAS SOUS 101337 HAS SOUPS 101337 WITH SCORE 101506.799
AT ITER 1639 NEW BEST:: SOT 592638 SOS 169774 HAS SOPS 169774 HAS SOUS 100801 HAS SOUPS 100801 WITH SCORE 100970.774
AT ITER 1688 NEW BEST:: SOT 592636 SOS 169770 HAS SOPS 169770 HAS SOUS 100797 HAS SOUPS 100797 WITH SCORE 100966.77
AT ITER 1689 NEW BEST:: SOT 592630 SOS 169758 HAS SOPS 169758 HAS SOUS 100769 HAS SOUPS 100769 WITH SCORE 100938.758
AT ITER 1714 NEW BEST:: SOT 592630 SOS 169630 HAS SOPS 169630 HAS SOUS 100769 HAS SOUPS 100769 WITH SCORE 100938.63
AT ITER 1727 NEW BEST:: SOT 592593 SOS 169556 HAS SOPS 169556 HAS SOUS 100748 HAS SOUPS 100748 WITH SCORE 100917.556
AT ITER 1732 NEW BEST:: SOT 592593 SOS 169558 HAS SOPS 169558 HAS SOUS 100745 HAS SOUPS 100745 WITH SCORE 100914.558
AT ITER 1744 NEW BEST:: SOT 592592 SOS 169515 HAS SOPS 169515 HAS SOUS 100702 HAS SOUPS 100702 WITH SCORE 100871.515
AT ITER 1750 NEW BEST:: SOT 592592 SOS 167946 HAS SOPS 167946 HAS SOUS 100659 HAS SOUPS 100659 WITH SCORE 100826.946
AT ITER 1753 NEW BEST:: SOT 592587 SOS 167936 HAS SOPS 167936 HAS SOUS 100625 HAS SOUPS 100625 WITH SCORE 100792.936
AT ITER 1758 NEW BEST:: SOT 592587 SOS 167909 HAS SOPS 167909 HAS SOUS 100625 HAS SOUPS 100625 WITH SCORE 100792.909
AT ITER 1785 NEW BEST:: SOT 592587 SOS 167887 HAS SOPS 167887 HAS SOUS 100625 HAS SOUPS 100625 WITH SCORE 100792.887
AT ITER 1786 NEW BEST:: SOT 592574 SOS 167861 HAS SOPS 167861 HAS SOUS 100601 HAS SOUPS 100601 WITH SCORE 100768.861
AT ITER 1794 NEW BEST:: SOT 592547 SOS 167807 HAS SOPS 167807 HAS SOUS 100547 HAS SOUPS 100547 WITH SCORE 100714.807
AT ITER 1809 NEW BEST:: SOT 592547 SOS 167764 HAS SOPS 167764 HAS SOUS 100504 HAS SOUPS 100504 WITH SCORE 100671.764
AT ITER 1830 NEW BEST:: SOT 592547 SOS 167764 HAS SOPS 167764 HAS SOUS 100471 HAS SOUPS 100471 WITH SCORE 100638.764
AT ITER 1844 NEW BEST:: SOT 592747 SOS 167850 HAS SOPS 167850 HAS SOUS 100395 HAS SOUPS 100395 WITH SCORE 100562.85
AT ITER 1848 NEW BEST:: SOT 592626 SOS 167860 HAS SOPS 167860 HAS SOUS 100321 HAS SOUPS 100321 WITH SCORE 100488.86
AT ITER 1886 NEW BEST:: SOT 592635 SOS 167878 HAS SOPS 167878 HAS SOUS 100306 HAS SOUPS 100306 WITH SCORE 100473.878
AT ITER 1891 NEW BEST:: SOT 592635 SOS 167851 HAS SOPS 167851 HAS SOUS 100306 HAS SOUPS 100306 WITH SCORE 100473.851
AT ITER 1910 NEW BEST:: SOT 592673 SOS 167821 HAS SOPS 167821 HAS SOUS 100262 HAS SOUPS 100262 WITH SCORE 100429.821
AT ITER 1917 NEW BEST:: SOT 592697 SOS 167797 HAS SOPS 167797 HAS SOUS 100181 HAS SOUPS 100181 WITH SCORE 100348.797
AT ITER 1946 NEW BEST:: SOT 592635 SOS 167797 HAS SOPS 167797 HAS SOUS 100057 HAS SOUPS 100057 WITH SCORE 100224.797
AT ITER 1965 NEW BEST:: SOT 592572 SOS 167671 HAS SOPS 167671 HAS SOUS 99994 HAS SOUPS 99994 WITH SCORE 100161.671
AT ITER 1972 NEW BEST:: SOT 592572 SOS 167671 HAS SOPS 167671 HAS SOUS 99993 HAS SOUPS 99993 WITH SCORE 100160.671
AT ITER 1983 NEW BEST:: SOT 592558 SOS 167643 HAS SOPS 167643 HAS SOUS 99979 HAS SOUPS 99979 WITH SCORE 100146.643
AT ITER 1984 NEW BEST:: SOT 592467 SOS 167809 HAS SOPS 167809 HAS SOUS 99931 HAS SOUPS 99931 WITH SCORE 100098.809
AT ITER 1989 NEW BEST:: SOT 592451 SOS 167729 HAS SOPS 167729 HAS SOUS 99883 HAS SOUPS 99883 WITH SCORE 100050.729
AT ITER 2005 NEW BEST:: SOT 592485 SOS 168022 HAS SOPS 168022 HAS SOUS 99874 HAS SOUPS 99874 WITH SCORE 100042.022
AT ITER 2008 NEW BEST:: SOT 592485 SOS 167983 HAS SOPS 167983 HAS SOUS 99830 HAS SOUPS 99830 WITH SCORE 99997.983
AT ITER 2055 NEW BEST:: SOT 592472 SOS 167894 HAS SOPS 167894 HAS SOUS 99741 HAS SOUPS 99741 WITH SCORE 99908.894
AT ITER 2082 NEW BEST:: SOT 592424 SOS 167846 HAS SOPS 167846 HAS SOUS 99740 HAS SOUPS 99740 WITH SCORE 99907.846
AT ITER 2187 NEW BEST:: SOT 592393 SOS 167808 HAS SOPS 167808 HAS SOUS 99702 HAS SOUPS 99702 WITH SCORE 99869.808
AT ITER 2192 NEW BEST:: SOT 592393 SOS 167808 HAS SOPS 167808 HAS SOUS 99699 HAS SOUPS 99699 WITH SCORE 99866.808
AT ITER 2208 NEW BEST:: SOT 592442 SOS 167736 HAS SOPS 167736 HAS SOUS 99661 HAS SOUPS 99661 WITH SCORE 99828.736
AT ITER 2281 NEW BEST:: SOT 592341 SOS 167635 HAS SOPS 167635 HAS SOUS 99630 HAS SOUPS 99630 WITH SCORE 99797.635
AT ITER 2304 NEW BEST:: SOT 592341 SOS 167580 HAS SOPS 167580 HAS SOUS 99520 HAS SOUPS 99520 WITH SCORE 99687.58
AT ITER 2316 NEW BEST:: SOT 592305 SOS 167472 HAS SOPS 167472 HAS SOUS 99412 HAS SOUPS 99412 WITH SCORE 99579.472
AT ITER 2318 NEW BEST:: SOT 592267 SOS 167318 HAS SOPS 167318 HAS SOUS 99404 HAS SOUPS 99404 WITH SCORE 99571.318
AT ITER 2321 NEW BEST:: SOT 592255 SOS 167294 HAS SOPS 167294 HAS SOUS 99380 HAS SOUPS 99380 WITH SCORE 99547.294
AT ITER 2325 NEW BEST:: SOT 592488 SOS 167527 HAS SOPS 167527 HAS SOUS 99365 HAS SOUPS 99365 WITH SCORE 99532.527
AT ITER 2337 NEW BEST:: SOT 592517 SOS 167536 HAS SOPS 167536 HAS SOUS 99345 HAS SOUPS 99345 WITH SCORE 99512.536
AT ITER 2356 NEW BEST:: SOT 592512 SOS 167518 HAS SOPS 167518 HAS SOUS 99335 HAS SOUPS 99335 WITH SCORE 99502.518
AT ITER 2389 NEW BEST:: SOT 592442 SOS 167378 HAS SOPS 167378 HAS SOUS 99195 HAS SOUPS 99195 WITH SCORE 99362.378
AT ITER 2400 NEW BEST:: SOT 592608 SOS 167527 HAS SOPS 167527 HAS SOUS 99178 HAS SOUPS 99178 WITH SCORE 99345.527
AT ITER 2401 NEW BEST:: SOT 592572 SOS 167491 HAS SOPS 167491 HAS SOUS 99168 HAS SOUPS 99168 WITH SCORE 99335.491
AT ITER 2408 NEW BEST:: SOT 592667 SOS 167519 HAS SOPS 167519 HAS SOUS 99129 HAS SOUPS 99129 WITH SCORE 99296.519
AT ITER 2426 NEW BEST:: SOT 592667 SOS 167399 HAS SOPS 167399 HAS SOUS 99075 HAS SOUPS 99075 WITH SCORE 99242.399
AT ITER 2432 NEW BEST:: SOT 592665 SOS 167466 HAS SOPS 167466 HAS SOUS 98929 HAS SOUPS 98929 WITH SCORE 99096.466
AT ITER 2437 NEW BEST:: SOT 592665 SOS 167466 HAS SOPS 167466 HAS SOUS 98878 HAS SOUPS 98878 WITH SCORE 99045.466
AT ITER 2450 NEW BEST:: SOT 592645 SOS 167416 HAS SOPS 167416 HAS SOUS 98848 HAS SOUPS 98848 WITH SCORE 99015.416
AT ITER 2460 NEW BEST:: SOT 592663 SOS 167452 HAS SOPS 167452 HAS SOUS 98771 HAS SOUPS 98771 WITH SCORE 98938.452
AT ITER 2480 NEW BEST:: SOT 592663 SOS 167431 HAS SOPS 167431 HAS SOUS 98771 HAS SOUPS 98771 WITH SCORE 98938.431
AT ITER 2485 NEW BEST:: SOT 592663 SOS 167277 HAS SOPS 167277 HAS SOUS 98771 HAS SOUPS 98771 WITH SCORE 98938.277
AT ITER 2501 NEW BEST:: SOT 592650 SOS 167251 HAS SOPS 167251 HAS SOUS 98747 HAS SOUPS 98747 WITH SCORE 98914.251
AT ITER 2517 NEW BEST:: SOT 592586 SOS 167143 HAS SOPS 167143 HAS SOUS 98647 HAS SOUPS 98647 WITH SCORE 98814.143
AT ITER 2532 NEW BEST:: SOT 592586 SOS 167079 HAS SOPS 167079 HAS SOUS 98615 HAS SOUPS 98615 WITH SCORE 98782.079
AT ITER 2541 NEW BEST:: SOT 592579 SOS 167065 HAS SOPS 167065 HAS SOUS 98601 HAS SOUPS 98601 WITH SCORE 98768.065
AT ITER 2552 NEW BEST:: SOT 592579 SOS 167065 HAS SOPS 167065 HAS SOUS 98432 HAS SOUPS 98432 WITH SCORE 98599.065
AT ITER 2553 NEW BEST:: SOT 592579 SOS 167124 HAS SOPS 167124 HAS SOUS 98302 HAS SOUPS 98302 WITH SCORE 98469.124
AT ITER 2575 NEW BEST:: SOT 592579 SOS 167091 HAS SOPS 167091 HAS SOUS 98298 HAS SOUPS 98298 WITH SCORE 98465.091
AT ITER 2595 NEW BEST:: SOT 592586 SOS 167060 HAS SOPS 167060 HAS SOUS 98267 HAS SOUPS 98267 WITH SCORE 98434.06
AT ITER 2605 NEW BEST:: SOT 592517 SOS 166968 HAS SOPS 166968 HAS SOUS 98175 HAS SOUPS 98175 WITH SCORE 98341.968
AT ITER 2630 NEW BEST:: SOT 592460 SOS 166873 HAS SOPS 166873 HAS SOUS 98099 HAS SOUPS 98099 WITH SCORE 98265.873
AT ITER 2635 NEW BEST:: SOT 592460 SOS 167438 HAS SOPS 167438 HAS SOUS 97960 HAS SOUPS 97960 WITH SCORE 98127.438
AT ITER 2639 NEW BEST:: SOT 592460 SOS 167438 HAS SOPS 167438 HAS SOUS 97950 HAS SOUPS 97950 WITH SCORE 98117.438
AT ITER 2662 NEW BEST:: SOT 592409 SOS 167336 HAS SOPS 167336 HAS SOUS 97848 HAS SOUPS 97848 WITH SCORE 98015.336
AT ITER 2682 NEW BEST:: SOT 592409 SOS 167336 HAS SOPS 167336 HAS SOUS 97844 HAS SOUPS 97844 WITH SCORE 98011.336
AT ITER 2704 NEW BEST:: SOT 592359 SOS 167371 HAS SOPS 167371 HAS SOUS 97834 HAS SOUPS 97834 WITH SCORE 98001.371
AT ITER 2709 NEW BEST:: SOT 592353 SOS 167359 HAS SOPS 167359 HAS SOUS 97822 HAS SOUPS 97822 WITH SCORE 97989.359
AT ITER 2711 NEW BEST:: SOT 592299 SOS 167216 HAS SOPS 167216 HAS SOUS 97733 HAS SOUPS 97733 WITH SCORE 97900.216
AT ITER 2717 NEW BEST:: SOT 592260 SOS 167177 HAS SOPS 167177 HAS SOUS 97725 HAS SOUPS 97725 WITH SCORE 97892.177
AT ITER 2718 NEW BEST:: SOT 592260 SOS 167177 HAS SOPS 167177 HAS SOUS 97544 HAS SOUPS 97544 WITH SCORE 97711.177
AT ITER 2743 NEW BEST:: SOT 592260 SOS 167161 HAS SOPS 167161 HAS SOUS 97544 HAS SOUPS 97544 WITH SCORE 97711.161
AT ITER 2766 NEW BEST:: SOT 592210 SOS 167168 HAS SOPS 167168 HAS SOUS 97494 HAS SOUPS 97494 WITH SCORE 97661.168
AT ITER 2768 NEW BEST:: SOT 592106 SOS 166960 HAS SOPS 166960 HAS SOUS 97286 HAS SOUPS 97286 WITH SCORE 97452.96
AT ITER 2786 NEW BEST:: SOT 592063 SOS 166874 HAS SOPS 166874 HAS SOUS 97151 HAS SOUPS 97151 WITH SCORE 97317.874
AT ITER 2820 NEW BEST:: SOT 592086 SOS 167091 HAS SOPS 167091 HAS SOUS 97101 HAS SOUPS 97101 WITH SCORE 97268.091
AT ITER 2843 NEW BEST:: SOT 592076 SOS 167071 HAS SOPS 167071 HAS SOUS 97079 HAS SOUPS 97079 WITH SCORE 97246.071
AT ITER 2908 NEW BEST:: SOT 592076 SOS 166972 HAS SOPS 166972 HAS SOUS 96979 HAS SOUPS 96979 WITH SCORE 97145.972
AT ITER 2935 NEW BEST:: SOT 592076 SOS 166972 HAS SOPS 166972 HAS SOUS 96909 HAS SOUPS 96909 WITH SCORE 97075.972
AT ITER 2952 NEW BEST:: SOT 592008 SOS 166944 HAS SOPS 166944 HAS SOUS 96860 HAS SOUPS 96860 WITH SCORE 97026.944
AT ITER 2983 NEW BEST:: SOT 591985 SOS 166888 HAS SOPS 166888 HAS SOUS 96804 HAS SOUPS 96804 WITH SCORE 96970.888
AT ITER 3032 NEW BEST:: SOT 591985 SOS 166888 HAS SOPS 166888 HAS SOUS 96753 HAS SOUPS 96753 WITH SCORE 96919.888
AT ITER 3038 NEW BEST:: SOT 591979 SOS 166876 HAS SOPS 166876 HAS SOUS 96741 HAS SOUPS 96741 WITH SCORE 96907.876
AT ITER 3040 NEW BEST:: SOT 591975 SOS 166868 HAS SOPS 166868 HAS SOUS 96739 HAS SOUPS 96739 WITH SCORE 96905.868
AT ITER 3048 NEW BEST:: SOT 591975 SOS 166217 HAS SOPS 166217 HAS SOUS 96711 HAS SOUPS 96711 WITH SCORE 96877.217
AT ITER 3068 NEW BEST:: SOT 591943 SOS 166217 HAS SOPS 166217 HAS SOUS 96679 HAS SOUPS 96679 WITH SCORE 96845.217
AT ITER 3084 NEW BEST:: SOT 591920 SOS 166045 HAS SOPS 166045 HAS SOUS 96633 HAS SOUPS 96633 WITH SCORE 96799.045
AT ITER 3090 NEW BEST:: SOT 591910 SOS 166025 HAS SOPS 166025 HAS SOUS 96623 HAS SOUPS 96623 WITH SCORE 96789.025
AT ITER 3099 NEW BEST:: SOT 591842 SOS 165940 HAS SOPS 165940 HAS SOUS 96550 HAS SOUPS 96550 WITH SCORE 96715.94
AT ITER 3104 NEW BEST:: SOT 591743 SOS 165841 HAS SOPS 165841 HAS SOUS 96418 HAS SOUPS 96418 WITH SCORE 96583.841
AT ITER 3105 NEW BEST:: SOT 591740 SOS 165777 HAS SOPS 165777 HAS SOUS 96412 HAS SOUPS 96412 WITH SCORE 96577.777
AT ITER 3108 NEW BEST:: SOT 591696 SOS 165689 HAS SOPS 165689 HAS SOUS 96357 HAS SOUPS 96357 WITH SCORE 96522.689
AT ITER 3109 NEW BEST:: SOT 591661 SOS 165619 HAS SOPS 165619 HAS SOUS 96287 HAS SOUPS 96287 WITH SCORE 96452.619
AT ITER 3118 NEW BEST:: SOT 591636 SOS 165569 HAS SOPS 165569 HAS SOUS 96237 HAS SOUPS 96237 WITH SCORE 96402.569
AT ITER 3119 NEW BEST:: SOT 591627 SOS 165551 HAS SOPS 165551 HAS SOUS 96228 HAS SOUPS 96228 WITH SCORE 96393.551
AT ITER 3158 NEW BEST:: SOT 591562 SOS 165421 HAS SOPS 165421 HAS SOUS 96163 HAS SOUPS 96163 WITH SCORE 96328.421
AT ITER 3195 NEW BEST:: SOT 591552 SOS 165468 HAS SOPS 165468 HAS SOUS 96056 HAS SOUPS 96056 WITH SCORE 96221.468
AT ITER 3205 NEW BEST:: SOT 591552 SOS 165464 HAS SOPS 165464 HAS SOUS 96056 HAS SOUPS 96056 WITH SCORE 96221.464
AT ITER 3207 NEW BEST:: SOT 591510 SOS 165450 HAS SOPS 165450 HAS SOUS 96028 HAS SOUPS 96028 WITH SCORE 96193.45
AT ITER 3227 NEW BEST:: SOT 591434 SOS 165225 HAS SOPS 165225 HAS SOUS 95914 HAS SOUPS 95914 WITH SCORE 96079.225
AT ITER 3233 NEW BEST:: SOT 591434 SOS 165211 HAS SOPS 165211 HAS SOUS 95904 HAS SOUPS 95904 WITH SCORE 96069.211
AT ITER 3250 NEW BEST:: SOT 591407 SOS 165157 HAS SOPS 165157 HAS SOUS 95849 HAS SOUPS 95849 WITH SCORE 96014.157
AT ITER 3253 NEW BEST:: SOT 591407 SOS 165147 HAS SOPS 165147 HAS SOUS 95789 HAS SOUPS 95789 WITH SCORE 95954.147
AT ITER 3291 NEW BEST:: SOT 591401 SOS 165135 HAS SOPS 165135 HAS SOUS 95783 HAS SOUPS 95783 WITH SCORE 95948.135
AT ITER 3295 NEW BEST:: SOT 591401 SOS 165135 HAS SOPS 165135 HAS SOUS 95763 HAS SOUPS 95763 WITH SCORE 95928.135
AT ITER 3306 NEW BEST:: SOT 591401 SOS 165135 HAS SOPS 165135 HAS SOUS 95755 HAS SOUPS 95755 WITH SCORE 95920.135
AT ITER 3320 NEW BEST:: SOT 591401 SOS 165124 HAS SOPS 165124 HAS SOUS 95733 HAS SOUPS 95733 WITH SCORE 95898.124
AT ITER 3337 NEW BEST:: SOT 591390 SOS 165042 HAS SOPS 165042 HAS SOUS 95716 HAS SOUPS 95716 WITH SCORE 95881.042
AT ITER 3351 NEW BEST:: SOT 591356 SOS 164974 HAS SOPS 164974 HAS SOUS 95648 HAS SOUPS 95648 WITH SCORE 95812.974
AT ITER 3367 NEW BEST:: SOT 591285 SOS 164903 HAS SOPS 164903 HAS SOUS 95577 HAS SOUPS 95577 WITH SCORE 95741.903
AT ITER 3381 NEW BEST:: SOT 591287 SOS 164826 HAS SOPS 164826 HAS SOUS 95481 HAS SOUPS 95481 WITH SCORE 95645.826
AT ITER 3401 NEW BEST:: SOT 591310 SOS 164872 HAS SOPS 164872 HAS SOUS 95444 HAS SOUPS 95444 WITH SCORE 95608.872
AT ITER 3442 NEW BEST:: SOT 591301 SOS 164985 HAS SOPS 164985 HAS SOUS 95262 HAS SOUPS 95262 WITH SCORE 95426.985
AT ITER 3451 NEW BEST:: SOT 591289 SOS 164961 HAS SOPS 164961 HAS SOUS 95250 HAS SOUPS 95250 WITH SCORE 95414.961
AT ITER 3492 NEW BEST:: SOT 591189 SOS 164841 HAS SOPS 164841 HAS SOUS 95180 HAS SOUPS 95180 WITH SCORE 95344.841
AT ITER 3513 NEW BEST:: SOT 591232 SOS 164845 HAS SOPS 164845 HAS SOUS 95121 HAS SOUPS 95121 WITH SCORE 95285.845
AT ITER 3533 NEW BEST:: SOT 591216 SOS 164843 HAS SOPS 164843 HAS SOUS 95119 HAS SOUPS 95119 WITH SCORE 95283.843
AT ITER 3534 NEW BEST:: SOT 591123 SOS 164860 HAS SOPS 164860 HAS SOUS 94925 HAS SOUPS 94925 WITH SCORE 95089.86
AT ITER 3541 NEW BEST:: SOT 591115 SOS 164812 HAS SOPS 164812 HAS SOUS 94917 HAS SOUPS 94917 WITH SCORE 95081.812
AT ITER 3548 NEW BEST:: SOT 591109 SOS 164800 HAS SOPS 164800 HAS SOUS 94905 HAS SOUPS 94905 WITH SCORE 95069.8
AT ITER 3549 NEW BEST:: SOT 591097 SOS 164676 HAS SOPS 164676 HAS SOUS 94795 HAS SOUPS 94795 WITH SCORE 94959.676
AT ITER 3559 NEW BEST:: SOT 591041 SOS 164564 HAS SOPS 164564 HAS SOUS 94739 HAS SOUPS 94739 WITH SCORE 94903.564
AT ITER 3577 NEW BEST:: SOT 590933 SOS 164456 HAS SOPS 164456 HAS SOUS 94631 HAS SOUPS 94631 WITH SCORE 94795.456
AT ITER 3579 NEW BEST:: SOT 590923 SOS 164446 HAS SOPS 164446 HAS SOUS 94619 HAS SOUPS 94619 WITH SCORE 94783.446
AT ITER 3584 NEW BEST:: SOT 590895 SOS 164432 HAS SOPS 164432 HAS SOUS 94598 HAS SOUPS 94598 WITH SCORE 94762.432
AT ITER 3597 NEW BEST:: SOT 591017 SOS 165049 HAS SOPS 165049 HAS SOUS 94587 HAS SOUPS 94587 WITH SCORE 94752.049
AT ITER 3610 NEW BEST:: SOT 590995 SOS 165080 HAS SOPS 165080 HAS SOUS 94471 HAS SOUPS 94471 WITH SCORE 94636.08
AT ITER 3612 NEW BEST:: SOT 590907 SOS 165168 HAS SOPS 165168 HAS SOUS 94383 HAS SOUPS 94383 WITH SCORE 94548.168
AT ITER 3624 NEW BEST:: SOT 590907 SOS 165139 HAS SOPS 165139 HAS SOUS 94354 HAS SOUPS 94354 WITH SCORE 94519.139
AT ITER 3667 NEW BEST:: SOT 590892 SOS 165109 HAS SOPS 165109 HAS SOUS 94310 HAS SOUPS 94310 WITH SCORE 94475.109
AT ITER 3679 NEW BEST:: SOT 590902 SOS 164961 HAS SOPS 164961 HAS SOUS 94162 HAS SOUPS 94162 WITH SCORE 94326.961
AT ITER 3737 NEW BEST:: SOT 590883 SOS 165053 HAS SOPS 165053 HAS SOUS 93967 HAS SOUPS 93967 WITH SCORE 94132.053
AT ITER 3739 NEW BEST:: SOT 590863 SOS 165013 HAS SOPS 165013 HAS SOUS 93961 HAS SOUPS 93961 WITH SCORE 94126.013
AT ITER 3767 NEW BEST:: SOT 590831 SOS 164949 HAS SOPS 164949 HAS SOUS 93897 HAS SOUPS 93897 WITH SCORE 94061.949
AT ITER 3769 NEW BEST:: SOT 590839 SOS 164965 HAS SOPS 164965 HAS SOUS 93851 HAS SOUPS 93851 WITH SCORE 94015.965
AT ITER 3787 NEW BEST:: SOT 590839 SOS 164962 HAS SOPS 164962 HAS SOUS 93848 HAS SOUPS 93848 WITH SCORE 94012.962
AT ITER 3814 NEW BEST:: SOT 590871 SOS 164942 HAS SOPS 164942 HAS SOUS 93828 HAS SOUPS 93828 WITH SCORE 93992.942
AT ITER 3840 NEW BEST:: SOT 590851 SOS 164922 HAS SOPS 164922 HAS SOUS 93808 HAS SOUPS 93808 WITH SCORE 93972.922
AT ITER 3844 NEW BEST:: SOT 590835 SOS 164914 HAS SOPS 164914 HAS SOUS 93792 HAS SOUPS 93792 WITH SCORE 93956.914
AT ITER 3859 NEW BEST:: SOT 590835 SOS 164899 HAS SOPS 164899 HAS SOUS 93777 HAS SOUPS 93777 WITH SCORE 93941.899
AT ITER 3862 NEW BEST:: SOT 590819 SOS 164883 HAS SOPS 164883 HAS SOUS 93761 HAS SOUPS 93761 WITH SCORE 93925.883
AT ITER 3890 NEW BEST:: SOT 590819 SOS 164872 HAS SOPS 164872 HAS SOUS 93761 HAS SOUPS 93761 WITH SCORE 93925.872
AT ITER 3892 NEW BEST:: SOT 590718 SOS 164847 HAS SOPS 164847 HAS SOUS 93720 HAS SOUPS 93720 WITH SCORE 93884.847
AT ITER 3965 NEW BEST:: SOT 590646 SOS 164703 HAS SOPS 164703 HAS SOUS 93660 HAS SOUPS 93660 WITH SCORE 93824.703
AT ITER 3966 NEW BEST:: SOT 590646 SOS 164582 HAS SOPS 164582 HAS SOUS 93499 HAS SOUPS 93499 WITH SCORE 93663.582
AT ITER 3983 NEW BEST:: SOT 590646 SOS 164582 HAS SOPS 164582 HAS SOUS 93476 HAS SOUPS 93476 WITH SCORE 93640.582
AT ITER 3984 NEW BEST:: SOT 590672 SOS 164634 HAS SOPS 164634 HAS SOUS 93365 HAS SOUPS 93365 WITH SCORE 93529.634
AT ITER 3996 NEW BEST:: SOT 590640 SOS 164570 HAS SOPS 164570 HAS SOUS 93291 HAS SOUPS 93291 WITH SCORE 93455.57
AT ITER 4008 NEW BEST:: SOT 590609 SOS 164481 HAS SOPS 164481 HAS SOUS 93283 HAS SOUPS 93283 WITH SCORE 93447.481
AT ITER 4027 NEW BEST:: SOT 590609 SOS 164463 HAS SOPS 164463 HAS SOUS 93277 HAS SOUPS 93277 WITH SCORE 93441.463
AT ITER 4029 NEW BEST:: SOT 590616 SOS 164505 HAS SOPS 164505 HAS SOUS 93263 HAS SOUPS 93263 WITH SCORE 93427.505
AT ITER 4032 NEW BEST:: SOT 590616 SOS 164419 HAS SOPS 164419 HAS SOUS 93177 HAS SOUPS 93177 WITH SCORE 93341.419
AT ITER 4078 NEW BEST:: SOT 590585 SOS 164467 HAS SOPS 164467 HAS SOUS 93170 HAS SOUPS 93170 WITH SCORE 93334.467
AT ITER 4080 NEW BEST:: SOT 590571 SOS 164483 HAS SOPS 164483 HAS SOUS 93163 HAS SOUPS 93163 WITH SCORE 93327.483
AT ITER 4098 NEW BEST:: SOT 590571 SOS 164407 HAS SOPS 164407 HAS SOUS 93163 HAS SOUPS 93163 WITH SCORE 93327.407
AT ITER 4106 NEW BEST:: SOT 590435 SOS 165016 HAS SOPS 165016 HAS SOUS 93033 HAS SOUPS 93033 WITH SCORE 93198.016
AT ITER 4128 NEW BEST:: SOT 590422 SOS 165003 HAS SOPS 165003 HAS SOUS 93020 HAS SOUPS 93020 WITH SCORE 93185.003
AT ITER 4144 NEW BEST:: SOT 590397 SOS 164960 HAS SOPS 164960 HAS SOUS 92994 HAS SOUPS 92994 WITH SCORE 93158.96
AT ITER 4147 NEW BEST:: SOT 590381 SOS 164928 HAS SOPS 164928 HAS SOUS 92978 HAS SOUPS 92978 WITH SCORE 93142.928
AT ITER 4165 NEW BEST:: SOT 590379 SOS 164924 HAS SOPS 164924 HAS SOUS 92952 HAS SOUPS 92952 WITH SCORE 93116.924
AT ITER 4201 NEW BEST:: SOT 590323 SOS 164940 HAS SOPS 164940 HAS SOUS 92945 HAS SOUPS 92945 WITH SCORE 93109.94
AT ITER 4241 NEW BEST:: SOT 590322 SOS 164939 HAS SOPS 164939 HAS SOUS 92944 HAS SOUPS 92944 WITH SCORE 93108.939
AT ITER 4275 NEW BEST:: SOT 590276 SOS 164893 HAS SOPS 164893 HAS SOUS 92918 HAS SOUPS 92918 WITH SCORE 93082.893
AT ITER 4284 NEW BEST:: SOT 590176 SOS 164846 HAS SOPS 164846 HAS SOUS 92818 HAS SOUPS 92818 WITH SCORE 92982.846
AT ITER 4336 NEW BEST:: SOT 590176 SOS 164825 HAS SOPS 164825 HAS SOUS 92818 HAS SOUPS 92818 WITH SCORE 92982.825
AT ITER 4349 NEW BEST:: SOT 590148 SOS 164853 HAS SOPS 164853 HAS SOUS 92790 HAS SOUPS 92790 WITH SCORE 92954.853
AT ITER 4350 NEW BEST:: SOT 590064 SOS 165281 HAS SOPS 165281 HAS SOUS 92772 HAS SOUPS 92772 WITH SCORE 92937.281
AT ITER 4353 NEW BEST:: SOT 590083 SOS 165254 HAS SOPS 165254 HAS SOUS 92681 HAS SOUPS 92681 WITH SCORE 92846.254
AT ITER 4364 NEW BEST:: SOT 590002 SOS 165173 HAS SOPS 165173 HAS SOUS 92600 HAS SOUPS 92600 WITH SCORE 92765.173
AT ITER 4382 NEW BEST:: SOT 589946 SOS 165081 HAS SOPS 165081 HAS SOUS 92544 HAS SOUPS 92544 WITH SCORE 92709.081
AT ITER 4390 NEW BEST:: SOT 589939 SOS 165067 HAS SOPS 165067 HAS SOUS 92537 HAS SOUPS 92537 WITH SCORE 92702.067
AT ITER 4399 NEW BEST:: SOT 589931 SOS 164976 HAS SOPS 164976 HAS SOUS 92517 HAS SOUPS 92517 WITH SCORE 92681.976
AT ITER 4428 NEW BEST:: SOT 589931 SOS 164976 HAS SOPS 164976 HAS SOUS 92515 HAS SOUPS 92515 WITH SCORE 92679.976
AT ITER 4444 NEW BEST:: SOT 589931 SOS 164976 HAS SOPS 164976 HAS SOUS 92469 HAS SOUPS 92469 WITH SCORE 92633.976
AT ITER 4446 NEW BEST:: SOT 589965 SOS 164919 HAS SOPS 164919 HAS SOUS 92287 HAS SOUPS 92287 WITH SCORE 92451.919
AT ITER 4464 NEW BEST:: SOT 589960 SOS 164909 HAS SOPS 164909 HAS SOUS 92282 HAS SOUPS 92282 WITH SCORE 92446.909
AT ITER 4482 NEW BEST:: SOT 589925 SOS 164839 HAS SOPS 164839 HAS SOUS 92212 HAS SOUPS 92212 WITH SCORE 92376.839
AT ITER 4484 NEW BEST:: SOT 589925 SOS 164757 HAS SOPS 164757 HAS SOUS 92212 HAS SOUPS 92212 WITH SCORE 92376.757
AT ITER 4566 NEW BEST:: SOT 589889 SOS 164685 HAS SOPS 164685 HAS SOUS 92168 HAS SOUPS 92168 WITH SCORE 92332.685
AT ITER 4584 NEW BEST:: SOT 589849 SOS 164645 HAS SOPS 164645 HAS SOUS 92115 HAS SOUPS 92115 WITH SCORE 92279.645
AT ITER 4586 NEW BEST:: SOT 589800 SOS 164547 HAS SOPS 164547 HAS SOUS 92111 HAS SOUPS 92111 WITH SCORE 92275.547
AT ITER 4589 NEW BEST:: SOT 589799 SOS 164545 HAS SOPS 164545 HAS SOUS 92109 HAS SOUPS 92109 WITH SCORE 92273.545
AT ITER 4627 NEW BEST:: SOT 589799 SOS 164538 HAS SOPS 164538 HAS SOUS 92102 HAS SOUPS 92102 WITH SCORE 92266.538
AT ITER 4640 NEW BEST:: SOT 589746 SOS 164432 HAS SOPS 164432 HAS SOUS 91956 HAS SOUPS 91956 WITH SCORE 92120.432
AT ITER 4652 NEW BEST:: SOT 589719 SOS 164378 HAS SOPS 164378 HAS SOUS 91929 HAS SOUPS 91929 WITH SCORE 92093.378
AT ITER 4656 NEW BEST:: SOT 589687 SOS 164298 HAS SOPS 164298 HAS SOUS 91801 HAS SOUPS 91801 WITH SCORE 91965.298
AT ITER 4671 NEW BEST:: SOT 589677 SOS 164309 HAS SOPS 164309 HAS SOUS 91791 HAS SOUPS 91791 WITH SCORE 91955.309
AT ITER 4679 NEW BEST:: SOT 589643 SOS 164445 HAS SOPS 164445 HAS SOUS 91757 HAS SOUPS 91757 WITH SCORE 91921.445
AT ITER 4680 NEW BEST:: SOT 589600 SOS 164441 HAS SOPS 164441 HAS SOUS 91671 HAS SOUPS 91671 WITH SCORE 91835.441
AT ITER 4686 NEW BEST:: SOT 589600 SOS 164416 HAS SOPS 164416 HAS SOUS 91621 HAS SOUPS 91621 WITH SCORE 91785.416
AT ITER 4689 NEW BEST:: SOT 589546 SOS 164308 HAS SOPS 164308 HAS SOUS 91561 HAS SOUPS 91561 WITH SCORE 91725.308
AT ITER 4696 NEW BEST:: SOT 589479 SOS 164119 HAS SOPS 164119 HAS SOUS 91424 HAS SOUPS 91424 WITH SCORE 91588.119
AT ITER 4709 NEW BEST:: SOT 589462 SOS 164129 HAS SOPS 164129 HAS SOUS 91423 HAS SOUPS 91423 WITH SCORE 91587.129
AT ITER 4752 NEW BEST:: SOT 589352 SOS 163909 HAS SOPS 163909 HAS SOUS 91231 HAS SOUPS 91231 WITH SCORE 91394.909
AT ITER 4778 NEW BEST:: SOT 589352 SOS 163893 HAS SOPS 163893 HAS SOUS 91231 HAS SOUPS 91231 WITH SCORE 91394.893
AT ITER 4784 NEW BEST:: SOT 589352 SOS 163781 HAS SOPS 163781 HAS SOUS 91217 HAS SOUPS 91217 WITH SCORE 91380.781
AT ITER 4804 NEW BEST:: SOT 589305 SOS 163867 HAS SOPS 163867 HAS SOUS 91213 HAS SOUPS 91213 WITH SCORE 91376.867
AT ITER 4820 NEW BEST:: SOT 589320 SOS 163752 HAS SOPS 163752 HAS SOUS 91098 HAS SOUPS 91098 WITH SCORE 91261.752
AT ITER 4831 NEW BEST:: SOT 589322 SOS 163748 HAS SOPS 163748 HAS SOUS 91096 HAS SOUPS 91096 WITH SCORE 91259.748
AT ITER 4835 NEW BEST:: SOT 589293 SOS 163690 HAS SOPS 163690 HAS SOUS 91038 HAS SOUPS 91038 WITH SCORE 91201.69
AT ITER 4844 NEW BEST:: SOT 589280 SOS 163611 HAS SOPS 163611 HAS SOUS 90925 HAS SOUPS 90925 WITH SCORE 91088.611
AT ITER 4865 NEW BEST:: SOT 589280 SOS 163666 HAS SOPS 163666 HAS SOUS 90909 HAS SOUPS 90909 WITH SCORE 91072.666
AT ITER 4867 NEW BEST:: SOT 589211 SOS 163597 HAS SOPS 163597 HAS SOUS 90859 HAS SOUPS 90859 WITH SCORE 91022.597
AT ITER 4871 NEW BEST:: SOT 589205 SOS 163573 HAS SOPS 163573 HAS SOUS 90847 HAS SOUPS 90847 WITH SCORE 91010.573
AT ITER 4892 NEW BEST:: SOT 589222 SOS 163590 HAS SOPS 163590 HAS SOUS 90842 HAS SOUPS 90842 WITH SCORE 91005.59
AT ITER 4950 NEW BEST:: SOT 589317 SOS 163297 HAS SOPS 163297 HAS SOUS 90825 HAS SOUPS 90825 WITH SCORE 90988.297
AT ITER 4983 NEW BEST:: SOT 589314 SOS 163291 HAS SOPS 163291 HAS SOUS 90819 HAS SOUPS 90819 WITH SCORE 90982.291
AT ITER 4998 NEW BEST:: SOT 589307 SOS 163277 HAS SOPS 163277 HAS SOUS 90805 HAS SOUPS 90805 WITH SCORE 90968.277
AT ITER 5013 NEW BEST:: SOT 589284 SOS 163089 HAS SOPS 163089 HAS SOUS 90777 HAS SOUPS 90777 WITH SCORE 90940.089
AT ITER 5031 NEW BEST:: SOT 589135 SOS 163877 HAS SOPS 163877 HAS SOUS 90669 HAS SOUPS 90669 WITH SCORE 90832.877
AT ITER 5057 NEW BEST:: SOT 589221 SOS 163854 HAS SOPS 163854 HAS SOUS 90600 HAS SOUPS 90600 WITH SCORE 90763.854
AT ITER 5117 NEW BEST:: SOT 589173 SOS 164074 HAS SOPS 164074 HAS SOUS 90569 HAS SOUPS 90569 WITH SCORE 90733.074
AT ITER 5157 NEW BEST:: SOT 589159 SOS 164191 HAS SOPS 164191 HAS SOUS 90555 HAS SOUPS 90555 WITH SCORE 90719.191
AT ITER 5165 NEW BEST:: SOT 589164 SOS 164147 HAS SOPS 164147 HAS SOUS 90554 HAS SOUPS 90554 WITH SCORE 90718.147
AT ITER 5247 NEW BEST:: SOT 589128 SOS 163945 HAS SOPS 163945 HAS SOUS 90417 HAS SOUPS 90417 WITH SCORE 90580.945
AT ITER 5266 NEW BEST:: SOT 589104 SOS 163909 HAS SOPS 163909 HAS SOUS 90393 HAS SOUPS 90393 WITH SCORE 90556.909
AT ITER 5292 NEW BEST:: SOT 589067 SOS 163691 HAS SOPS 163691 HAS SOUS 90284 HAS SOUPS 90284 WITH SCORE 90447.691
AT ITER 5330 NEW BEST:: SOT 589027 SOS 163771 HAS SOPS 163771 HAS SOUS 90264 HAS SOUPS 90264 WITH SCORE 90427.771
AT ITER 5331 NEW BEST:: SOT 589027 SOS 163771 HAS SOPS 163771 HAS SOUS 90255 HAS SOUPS 90255 WITH SCORE 90418.771
AT ITER 5335 NEW BEST:: SOT 588921 SOS 163559 HAS SOPS 163559 HAS SOUS 90149 HAS SOUPS 90149 WITH SCORE 90312.559
AT ITER 5353 NEW BEST:: SOT 588838 SOS 163422 HAS SOPS 163422 HAS SOUS 90120 HAS SOUPS 90120 WITH SCORE 90283.422
AT ITER 5377 NEW BEST:: SOT 588794 SOS 163334 HAS SOPS 163334 HAS SOUS 90088 HAS SOUPS 90088 WITH SCORE 90251.334
AT ITER 5390 NEW BEST:: SOT 588787 SOS 163320 HAS SOPS 163320 HAS SOUS 90074 HAS SOUPS 90074 WITH SCORE 90237.32
AT ITER 5394 NEW BEST:: SOT 588886 SOS 163518 HAS SOPS 163518 HAS SOUS 90073 HAS SOUPS 90073 WITH SCORE 90236.518
AT ITER 5426 NEW BEST:: SOT 588931 SOS 163608 HAS SOPS 163608 HAS SOUS 90051 HAS SOUPS 90051 WITH SCORE 90214.608
AT ITER 5432 NEW BEST:: SOT 588907 SOS 163560 HAS SOPS 163560 HAS SOUS 90027 HAS SOUPS 90027 WITH SCORE 90190.56
AT ITER 5433 NEW BEST:: SOT 588850 SOS 163446 HAS SOPS 163446 HAS SOUS 89999 HAS SOUPS 89999 WITH SCORE 90162.446
AT ITER 5472 NEW BEST:: SOT 588850 SOS 163393 HAS SOPS 163393 HAS SOUS 89893 HAS SOUPS 89893 WITH SCORE 90056.393
AT ITER 5473 NEW BEST:: SOT 588441 SOS 167439 HAS SOPS 167439 HAS SOUS 89742 HAS SOUPS 89742 WITH SCORE 89909.439
AT ITER 5513 NEW BEST:: SOT 588367 SOS 167379 HAS SOPS 167379 HAS SOUS 89682 HAS SOUPS 89682 WITH SCORE 89849.379
AT ITER 5520 NEW BEST:: SOT 588362 SOS 167369 HAS SOPS 167369 HAS SOUS 89672 HAS SOUPS 89672 WITH SCORE 89839.369
AT ITER 5544 NEW BEST:: SOT 588362 SOS 167353 HAS SOPS 167353 HAS SOUS 89656 HAS SOUPS 89656 WITH SCORE 89823.353
AT ITER 5592 NEW BEST:: SOT 588362 SOS 167330 HAS SOPS 167330 HAS SOUS 89633 HAS SOUPS 89633 WITH SCORE 89800.33
AT ITER 5610 NEW BEST:: SOT 588420 SOS 167446 HAS SOPS 167446 HAS SOUS 89613 HAS SOUPS 89613 WITH SCORE 89780.446
AT ITER 5620 NEW BEST:: SOT 588383 SOS 167409 HAS SOPS 167409 HAS SOUS 89539 HAS SOUPS 89539 WITH SCORE 89706.409
AT ITER 5644 NEW BEST:: SOT 588371 SOS 167385 HAS SOPS 167385 HAS SOUS 89515 HAS SOUPS 89515 WITH SCORE 89682.385
AT ITER 5681 NEW BEST:: SOT 588353 SOS 167367 HAS SOPS 167367 HAS SOUS 89157 HAS SOUPS 89157 WITH SCORE 89324.367
AT ITER 5691 NEW BEST:: SOT 588346 SOS 167339 HAS SOPS 167339 HAS SOUS 89143 HAS SOUPS 89143 WITH SCORE 89310.339
AT ITER 5694 NEW BEST:: SOT 588262 SOS 167157 HAS SOPS 167157 HAS SOUS 89075 HAS SOUPS 89075 WITH SCORE 89242.157
AT ITER 5717 NEW BEST:: SOT 588262 SOS 167128 HAS SOPS 167128 HAS SOUS 89062 HAS SOUPS 89062 WITH SCORE 89229.128
AT ITER 5719 NEW BEST:: SOT 588215 SOS 167157 HAS SOPS 167157 HAS SOUS 89015 HAS SOUPS 89015 WITH SCORE 89182.157
AT ITER 5745 NEW BEST:: SOT 588153 SOS 167095 HAS SOPS 167095 HAS SOUS 88950 HAS SOUPS 88950 WITH SCORE 89117.095
AT ITER 5753 NEW BEST:: SOT 588116 SOS 166980 HAS SOPS 166980 HAS SOUS 88913 HAS SOUPS 88913 WITH SCORE 89079.98
AT ITER 5764 NEW BEST:: SOT 588103 SOS 166954 HAS SOPS 166954 HAS SOUS 88887 HAS SOUPS 88887 WITH SCORE 89053.954
AT ITER 5771 NEW BEST:: SOT 588089 SOS 166933 HAS SOPS 166933 HAS SOUS 88866 HAS SOUPS 88866 WITH SCORE 89032.933
AT ITER 5787 NEW BEST:: SOT 588087 SOS 166929 HAS SOPS 166929 HAS SOUS 88864 HAS SOUPS 88864 WITH SCORE 89030.929
AT ITER 5826 NEW BEST:: SOT 588087 SOS 166929 HAS SOPS 166929 HAS SOUS 88810 HAS SOUPS 88810 WITH SCORE 88976.929
AT ITER 5864 NEW BEST:: SOT 588087 SOS 166929 HAS SOPS 166929 HAS SOUS 88807 HAS SOUPS 88807 WITH SCORE 88973.929
AT ITER 5866 NEW BEST:: SOT 588073 SOS 166924 HAS SOPS 166924 HAS SOUS 88802 HAS SOUPS 88802 WITH SCORE 88968.924
AT ITER 5867 NEW BEST:: SOT 588055 SOS 166906 HAS SOPS 166906 HAS SOUS 88784 HAS SOUPS 88784 WITH SCORE 88950.906
AT ITER 5888 NEW BEST:: SOT 588055 SOS 166820 HAS SOPS 166820 HAS SOUS 88784 HAS SOUPS 88784 WITH SCORE 88950.82
AT ITER 5901 NEW BEST:: SOT 588055 SOS 166783 HAS SOPS 166783 HAS SOUS 88740 HAS SOUPS 88740 WITH SCORE 88906.783
AT ITER 5903 NEW BEST:: SOT 588040 SOS 166771 HAS SOPS 166771 HAS SOUS 88710 HAS SOUPS 88710 WITH SCORE 88876.771
AT ITER 5952 NEW BEST:: SOT 588068 SOS 166987 HAS SOPS 166987 HAS SOUS 88654 HAS SOUPS 88654 WITH SCORE 88820.987
AT ITER 5977 NEW BEST:: SOT 588068 SOS 166987 HAS SOPS 166987 HAS SOUS 88642 HAS SOUPS 88642 WITH SCORE 88808.987
AT ITER 6007 NEW BEST:: SOT 588130 SOS 166841 HAS SOPS 166841 HAS SOUS 88574 HAS SOUPS 88574 WITH SCORE 88740.841
AT ITER 6020 NEW BEST:: SOT 588049 SOS 166760 HAS SOPS 166760 HAS SOUS 88493 HAS SOUPS 88493 WITH SCORE 88659.76
AT ITER 6057 NEW BEST:: SOT 588015 SOS 166743 HAS SOPS 166743 HAS SOUS 88476 HAS SOUPS 88476 WITH SCORE 88642.743
AT ITER 6060 NEW BEST:: SOT 587990 SOS 166671 HAS SOPS 166671 HAS SOUS 88451 HAS SOUPS 88451 WITH SCORE 88617.671
AT ITER 6098 NEW BEST:: SOT 587936 SOS 166563 HAS SOPS 166563 HAS SOUS 88451 HAS SOUPS 88451 WITH SCORE 88617.563
AT ITER 6151 NEW BEST:: SOT 587915 SOS 166542 HAS SOPS 166542 HAS SOUS 88430 HAS SOUPS 88430 WITH SCORE 88596.542
AT ITER 6172 NEW BEST:: SOT 587915 SOS 166542 HAS SOPS 166542 HAS SOUS 88422 HAS SOUPS 88422 WITH SCORE 88588.542
AT ITER 6176 NEW BEST:: SOT 587941 SOS 166191 HAS SOPS 166191 HAS SOUS 88417 HAS SOUPS 88417 WITH SCORE 88583.191
AT ITER 6179 NEW BEST:: SOT 587941 SOS 166191 HAS SOPS 166191 HAS SOUS 88384 HAS SOUPS 88384 WITH SCORE 88550.191
AT ITER 6205 NEW BEST:: SOT 587922 SOS 166153 HAS SOPS 166153 HAS SOUS 88346 HAS SOUPS 88346 WITH SCORE 88512.153
AT ITER 6252 NEW BEST:: SOT 588005 SOS 166076 HAS SOPS 166076 HAS SOUS 88269 HAS SOUPS 88269 WITH SCORE 88435.076
AT ITER 6293 NEW BEST:: SOT 587880 SOS 165951 HAS SOPS 165951 HAS SOUS 88144 HAS SOUPS 88144 WITH SCORE 88309.951
AT ITER 6340 NEW BEST:: SOT 587880 SOS 165935 HAS SOPS 165935 HAS SOUS 88144 HAS SOUPS 88144 WITH SCORE 88309.935
AT ITER 6358 NEW BEST:: SOT 587880 SOS 165820 HAS SOPS 165820 HAS SOUS 88135 HAS SOUPS 88135 WITH SCORE 88300.82
AT ITER 6362 NEW BEST:: SOT 587858 SOS 165719 HAS SOPS 165719 HAS SOUS 88034 HAS SOUPS 88034 WITH SCORE 88199.719
AT ITER 6379 NEW BEST:: SOT 587924 SOS 165667 HAS SOPS 165667 HAS SOUS 88009 HAS SOUPS 88009 WITH SCORE 88174.667
AT ITER 6385 NEW BEST:: SOT 587833 SOS 165559 HAS SOPS 165559 HAS SOUS 87901 HAS SOUPS 87901 WITH SCORE 88066.559
AT ITER 6387 NEW BEST:: SOT 587817 SOS 165527 HAS SOPS 165527 HAS SOUS 87874 HAS SOUPS 87874 WITH SCORE 88039.527
AT ITER 6392 NEW BEST:: SOT 587817 SOS 165504 HAS SOPS 165504 HAS SOUS 87874 HAS SOUPS 87874 WITH SCORE 88039.504
AT ITER 6432 NEW BEST:: SOT 587798 SOS 165466 HAS SOPS 165466 HAS SOUS 87836 HAS SOUPS 87836 WITH SCORE 88001.466
AT ITER 6484 NEW BEST:: SOT 587782 SOS 165434 HAS SOPS 165434 HAS SOUS 87804 HAS SOUPS 87804 WITH SCORE 87969.434
AT ITER 6498 NEW BEST:: SOT 587767 SOS 165419 HAS SOPS 165419 HAS SOUS 87762 HAS SOUPS 87762 WITH SCORE 87927.419
AT ITER 6513 NEW BEST:: SOT 587744 SOS 165373 HAS SOPS 165373 HAS SOUS 87739 HAS SOUPS 87739 WITH SCORE 87904.373
AT ITER 6519 NEW BEST:: SOT 587744 SOS 165224 HAS SOPS 165224 HAS SOUS 87739 HAS SOUPS 87739 WITH SCORE 87904.224
AT ITER 6521 NEW BEST:: SOT 587704 SOS 165144 HAS SOPS 165144 HAS SOUS 87659 HAS SOUPS 87659 WITH SCORE 87824.144
AT ITER 6524 NEW BEST:: SOT 587661 SOS 165157 HAS SOPS 165157 HAS SOUS 87633 HAS SOUPS 87633 WITH SCORE 87798.157
AT ITER 6541 NEW BEST:: SOT 587650 SOS 165135 HAS SOPS 165135 HAS SOUS 87619 HAS SOUPS 87619 WITH SCORE 87784.135
AT ITER 6569 NEW BEST:: SOT 587631 SOS 165401 HAS SOPS 165401 HAS SOUS 87531 HAS SOUPS 87531 WITH SCORE 87696.401
AT ITER 6573 NEW BEST:: SOT 587631 SOS 165383 HAS SOPS 165383 HAS SOUS 87495 HAS SOUPS 87495 WITH SCORE 87660.383
AT ITER 6641 NEW BEST:: SOT 587585 SOS 165226 HAS SOPS 165226 HAS SOUS 87403 HAS SOUPS 87403 WITH SCORE 87568.226
AT ITER 6645 NEW BEST:: SOT 587567 SOS 165172 HAS SOPS 165172 HAS SOUS 87403 HAS SOUPS 87403 WITH SCORE 87568.172
AT ITER 6670 NEW BEST:: SOT 587643 SOS 165361 HAS SOPS 165361 HAS SOUS 87323 HAS SOUPS 87323 WITH SCORE 87488.361
AT ITER 6685 NEW BEST:: SOT 587630 SOS 165335 HAS SOPS 165335 HAS SOUS 87297 HAS SOUPS 87297 WITH SCORE 87462.335
AT ITER 6697 NEW BEST:: SOT 587630 SOS 165315 HAS SOPS 165315 HAS SOUS 87287 HAS SOUPS 87287 WITH SCORE 87452.315
AT ITER 6703 NEW BEST:: SOT 587563 SOS 165311 HAS SOPS 165311 HAS SOUS 87277 HAS SOUPS 87277 WITH SCORE 87442.311
AT ITER 6707 NEW BEST:: SOT 587589 SOS 165278 HAS SOPS 165278 HAS SOUS 87271 HAS SOUPS 87271 WITH SCORE 87436.278
AT ITER 6711 NEW BEST:: SOT 587558 SOS 165077 HAS SOPS 165077 HAS SOUS 87189 HAS SOUPS 87189 WITH SCORE 87354.077
AT ITER 6714 NEW BEST:: SOT 587547 SOS 165066 HAS SOPS 165066 HAS SOUS 87178 HAS SOUPS 87178 WITH SCORE 87343.066
AT ITER 6729 NEW BEST:: SOT 587547 SOS 164946 HAS SOPS 164946 HAS SOUS 87169 HAS SOUPS 87169 WITH SCORE 87333.946
AT ITER 6787 NEW BEST:: SOT 587555 SOS 164962 HAS SOPS 164962 HAS SOUS 87132 HAS SOUPS 87132 WITH SCORE 87296.962
AT ITER 6814 NEW BEST:: SOT 587516 SOS 164929 HAS SOPS 164929 HAS SOUS 87054 HAS SOUPS 87054 WITH SCORE 87218.929
AT ITER 6855 NEW BEST:: SOT 587504 SOS 165148 HAS SOPS 165148 HAS SOUS 87030 HAS SOUPS 87030 WITH SCORE 87195.148
AT ITER 6870 NEW BEST:: SOT 587513 SOS 165139 HAS SOPS 165139 HAS SOUS 87030 HAS SOUPS 87030 WITH SCORE 87195.139
AT ITER 6877 NEW BEST:: SOT 587513 SOS 165127 HAS SOPS 165127 HAS SOUS 87003 HAS SOUPS 87003 WITH SCORE 87168.127
AT ITER 6878 NEW BEST:: SOT 587513 SOS 165085 HAS SOPS 165085 HAS SOUS 86982 HAS SOUPS 86982 WITH SCORE 87147.085
AT ITER 6897 NEW BEST:: SOT 587513 SOS 165085 HAS SOPS 165085 HAS SOUS 86970 HAS SOUPS 86970 WITH SCORE 87135.085
AT ITER 6907 NEW BEST:: SOT 587514 SOS 165081 HAS SOPS 165081 HAS SOUS 86970 HAS SOUPS 86970 WITH SCORE 87135.081
AT ITER 6913 NEW BEST:: SOT 587500 SOS 165067 HAS SOPS 165067 HAS SOUS 86970 HAS SOUPS 86970 WITH SCORE 87135.067
AT ITER 6952 NEW BEST:: SOT 587500 SOS 165052 HAS SOPS 165052 HAS SOUS 86955 HAS SOUPS 86955 WITH SCORE 87120.052
AT ITER 6986 NEW BEST:: SOT 587492 SOS 165036 HAS SOPS 165036 HAS SOUS 86925 HAS SOUPS 86925 WITH SCORE 87090.036
AT ITER 6992 NEW BEST:: SOT 587478 SOS 165008 HAS SOPS 165008 HAS SOUS 86897 HAS SOUPS 86897 WITH SCORE 87062.008
AT ITER 6998 NEW BEST:: SOT 587485 SOS 165085 HAS SOPS 165085 HAS SOUS 86866 HAS SOUPS 86866 WITH SCORE 87031.085
AT ITER 7053 NEW BEST:: SOT 587412 SOS 164939 HAS SOPS 164939 HAS SOUS 86793 HAS SOUPS 86793 WITH SCORE 86957.939
AT ITER 7088 NEW BEST:: SOT 587329 SOS 164856 HAS SOPS 164856 HAS SOUS 86787 HAS SOUPS 86787 WITH SCORE 86951.856
AT ITER 7124 NEW BEST:: SOT 587303 SOS 164804 HAS SOPS 164804 HAS SOUS 86768 HAS SOUPS 86768 WITH SCORE 86932.804
AT ITER 7131 NEW BEST:: SOT 587303 SOS 164804 HAS SOPS 164804 HAS SOUS 86735 HAS SOUPS 86735 WITH SCORE 86899.804
AT ITER 7141 NEW BEST:: SOT 587296 SOS 164797 HAS SOPS 164797 HAS SOUS 86728 HAS SOUPS 86728 WITH SCORE 86892.797
AT ITER 7196 NEW BEST:: SOT 587296 SOS 164797 HAS SOPS 164797 HAS SOUS 86719 HAS SOUPS 86719 WITH SCORE 86883.797
AT ITER 7240 NEW BEST:: SOT 587295 SOS 164795 HAS SOPS 164795 HAS SOUS 86717 HAS SOUPS 86717 WITH SCORE 86881.795
AT ITER 7278 NEW BEST:: SOT 587273 SOS 164773 HAS SOPS 164773 HAS SOUS 86695 HAS SOUPS 86695 WITH SCORE 86859.773
AT ITER 7281 NEW BEST:: SOT 587273 SOS 164681 HAS SOPS 164681 HAS SOUS 86649 HAS SOUPS 86649 WITH SCORE 86813.681
AT ITER 7293 NEW BEST:: SOT 587276 SOS 164666 HAS SOPS 164666 HAS SOUS 86627 HAS SOUPS 86627 WITH SCORE 86791.666
AT ITER 7397 NEW BEST:: SOT 587276 SOS 164714 HAS SOPS 164714 HAS SOUS 86579 HAS SOUPS 86579 WITH SCORE 86743.714
AT ITER 7412 NEW BEST:: SOT 587215 SOS 164859 HAS SOPS 164859 HAS SOUS 86539 HAS SOUPS 86539 WITH SCORE 86703.859
AT ITER 7466 NEW BEST:: SOT 587215 SOS 164859 HAS SOPS 164859 HAS SOUS 86525 HAS SOUPS 86525 WITH SCORE 86689.859
AT ITER 7497 NEW BEST:: SOT 587218 SOS 164865 HAS SOPS 164865 HAS SOUS 86521 HAS SOUPS 86521 WITH SCORE 86685.865
AT ITER 7519 NEW BEST:: SOT 587247 SOS 164923 HAS SOPS 164923 HAS SOUS 86451 HAS SOUPS 86451 WITH SCORE 86615.923
AT ITER 7528 NEW BEST:: SOT 587247 SOS 164871 HAS SOPS 164871 HAS SOUS 86376 HAS SOUPS 86376 WITH SCORE 86540.871
AT ITER 7534 NEW BEST:: SOT 587247 SOS 164871 HAS SOPS 164871 HAS SOUS 86368 HAS SOUPS 86368 WITH SCORE 86532.871
AT ITER 7538 NEW BEST:: SOT 587181 SOS 164805 HAS SOPS 164805 HAS SOUS 86367 HAS SOUPS 86367 WITH SCORE 86531.805
AT ITER 7550 NEW BEST:: SOT 587144 SOS 164731 HAS SOPS 164731 HAS SOUS 86293 HAS SOUPS 86293 WITH SCORE 86457.731
AT ITER 7579 NEW BEST:: SOT 587142 SOS 164823 HAS SOPS 164823 HAS SOUS 86291 HAS SOUPS 86291 WITH SCORE 86455.823
AT ITER 7580 NEW BEST:: SOT 587142 SOS 164691 HAS SOPS 164691 HAS SOUS 86291 HAS SOUPS 86291 WITH SCORE 86455.691
AT ITER 7584 NEW BEST:: SOT 587184 SOS 164649 HAS SOPS 164649 HAS SOUS 86291 HAS SOUPS 86291 WITH SCORE 86455.649
AT ITER 7588 NEW BEST:: SOT 587178 SOS 164637 HAS SOPS 164637 HAS SOUS 86245 HAS SOUPS 86245 WITH SCORE 86409.637
AT ITER 7635 NEW BEST:: SOT 587168 SOS 164617 HAS SOPS 164617 HAS SOUS 86215 HAS SOUPS 86215 WITH SCORE 86379.617
AT ITER 7639 NEW BEST:: SOT 587133 SOS 164505 HAS SOPS 164505 HAS SOUS 86175 HAS SOUPS 86175 WITH SCORE 86339.505
AT ITER 7659 NEW BEST:: SOT 587103 SOS 164356 HAS SOPS 164356 HAS SOUS 86108 HAS SOUPS 86108 WITH SCORE 86272.356
AT ITER 7682 NEW BEST:: SOT 587065 SOS 164280 HAS SOPS 164280 HAS SOUS 86032 HAS SOUPS 86032 WITH SCORE 86196.28
AT ITER 7726 NEW BEST:: SOT 587065 SOS 164277 HAS SOPS 164277 HAS SOUS 86029 HAS SOUPS 86029 WITH SCORE 86193.277
AT ITER 7757 NEW BEST:: SOT 587045 SOS 164217 HAS SOPS 164217 HAS SOUS 85971 HAS SOUPS 85971 WITH SCORE 86135.217
AT ITER 7769 NEW BEST:: SOT 587027 SOS 164241 HAS SOPS 164241 HAS SOUS 85969 HAS SOUPS 85969 WITH SCORE 86133.241
AT ITER 7789 NEW BEST:: SOT 586988 SOS 159382 HAS SOPS 159382 HAS SOUS 85960 HAS SOUPS 85960 WITH SCORE 86119.382
AT ITER 7791 NEW BEST:: SOT 586988 SOS 159340 HAS SOPS 159340 HAS SOUS 85876 HAS SOUPS 85876 WITH SCORE 86035.34
AT ITER 7807 NEW BEST:: SOT 586923 SOS 159405 HAS SOPS 159405 HAS SOUS 85811 HAS SOUPS 85811 WITH SCORE 85970.405
AT ITER 7861 NEW BEST:: SOT 586920 SOS 159396 HAS SOPS 159396 HAS SOUS 85805 HAS SOUPS 85805 WITH SCORE 85964.396
AT ITER 7910 NEW BEST:: SOT 586916 SOS 159382 HAS SOPS 159382 HAS SOUS 85802 HAS SOUPS 85802 WITH SCORE 85961.382
AT ITER 7943 NEW BEST:: SOT 586908 SOS 159366 HAS SOPS 159366 HAS SOUS 85786 HAS SOUPS 85786 WITH SCORE 85945.366
AT ITER 7961 NEW BEST:: SOT 586943 SOS 159436 HAS SOPS 159436 HAS SOUS 85745 HAS SOUPS 85745 WITH SCORE 85904.436
AT ITER 7991 NEW BEST:: SOT 586943 SOS 159145 HAS SOPS 159145 HAS SOUS 85745 HAS SOUPS 85745 WITH SCORE 85904.145
AT ITER 7997 NEW BEST:: SOT 586821 SOS 158901 HAS SOPS 158901 HAS SOUS 85680 HAS SOUPS 85680 WITH SCORE 85838.901
AT ITER 8045 NEW BEST:: SOT 586814 SOS 158887 HAS SOPS 158887 HAS SOUS 85593 HAS SOUPS 85593 WITH SCORE 85751.887
AT ITER 8058 NEW BEST:: SOT 586796 SOS 158779 HAS SOPS 158779 HAS SOUS 85557 HAS SOUPS 85557 WITH SCORE 85715.779
AT ITER 8066 NEW BEST:: SOT 586780 SOS 158763 HAS SOPS 158763 HAS SOUS 85541 HAS SOUPS 85541 WITH SCORE 85699.763
AT ITER 8091 NEW BEST:: SOT 586752 SOS 158707 HAS SOPS 158707 HAS SOUS 85513 HAS SOUPS 85513 WITH SCORE 85671.707
AT ITER 8189 NEW BEST:: SOT 586700 SOS 158843 HAS SOPS 158843 HAS SOUS 85491 HAS SOUPS 85491 WITH SCORE 85649.843
AT ITER 8252 NEW BEST:: SOT 586695 SOS 158838 HAS SOPS 158838 HAS SOUS 85486 HAS SOUPS 85486 WITH SCORE 85644.838
AT ITER 8274 NEW BEST:: SOT 586694 SOS 158836 HAS SOPS 158836 HAS SOUS 85484 HAS SOUPS 85484 WITH SCORE 85642.836
AT ITER 8280 NEW BEST:: SOT 586666 SOS 158780 HAS SOPS 158780 HAS SOUS 85428 HAS SOUPS 85428 WITH SCORE 85586.78
AT ITER 8286 NEW BEST:: SOT 586666 SOS 158770 HAS SOPS 158770 HAS SOUS 85428 HAS SOUPS 85428 WITH SCORE 85586.77
AT ITER 8372 NEW BEST:: SOT 586655 SOS 158748 HAS SOPS 158748 HAS SOUS 85406 HAS SOUPS 85406 WITH SCORE 85564.748
AT ITER 8451 NEW BEST:: SOT 586637 SOS 158739 HAS SOPS 158739 HAS SOUS 85388 HAS SOUPS 85388 WITH SCORE 85546.739
AT ITER 8511 NEW BEST:: SOT 586637 SOS 158557 HAS SOPS 158557 HAS SOUS 85388 HAS SOUPS 85388 WITH SCORE 85546.557
AT ITER 8545 NEW BEST:: SOT 586621 SOS 158510 HAS SOPS 158510 HAS SOUS 85385 HAS SOUPS 85385 WITH SCORE 85543.51
AT ITER 8551 NEW BEST:: SOT 586621 SOS 158431 HAS SOPS 158431 HAS SOUS 85306 HAS SOUPS 85306 WITH SCORE 85464.431
AT ITER 8552 NEW BEST:: SOT 586573 SOS 158383 HAS SOPS 158383 HAS SOUS 85172 HAS SOUPS 85172 WITH SCORE 85330.383
AT ITER 8586 NEW BEST:: SOT 585917 SOS 157727 HAS SOPS 157727 HAS SOUS 85090 HAS SOUPS 85090 WITH SCORE 85247.727
AT ITER 8606 NEW BEST:: SOT 585893 SOS 157679 HAS SOPS 157679 HAS SOUS 85034 HAS SOUPS 85034 WITH SCORE 85191.679
AT ITER 8610 NEW BEST:: SOT 585867 SOS 157774 HAS SOPS 157774 HAS SOUS 85008 HAS SOUPS 85008 WITH SCORE 85165.774
AT ITER 8615 NEW BEST:: SOT 585835 SOS 157742 HAS SOPS 157742 HAS SOUS 84996 HAS SOUPS 84996 WITH SCORE 85153.742
AT ITER 8627 NEW BEST:: SOT 585827 SOS 157726 HAS SOPS 157726 HAS SOUS 84988 HAS SOUPS 84988 WITH SCORE 85145.726
AT ITER 8640 NEW BEST:: SOT 585826 SOS 157724 HAS SOPS 157724 HAS SOUS 84986 HAS SOUPS 84986 WITH SCORE 85143.724
AT ITER 8660 NEW BEST:: SOT 585857 SOS 157729 HAS SOPS 157729 HAS SOUS 84934 HAS SOUPS 84934 WITH SCORE 85091.729
AT ITER 8670 NEW BEST:: SOT 585815 SOS 157610 HAS SOPS 157610 HAS SOUS 84777 HAS SOUPS 84777 WITH SCORE 84934.61
AT ITER 8673 NEW BEST:: SOT 585816 SOS 157609 HAS SOPS 157609 HAS SOUS 84777 HAS SOUPS 84777 WITH SCORE 84934.609
AT ITER 8736 NEW BEST:: SOT 585816 SOS 157609 HAS SOPS 157609 HAS SOUS 84736 HAS SOUPS 84736 WITH SCORE 84893.609
AT ITER 8737 NEW BEST:: SOT 585822 SOS 157391 HAS SOPS 157391 HAS SOUS 84696 HAS SOUPS 84696 WITH SCORE 84853.391
AT ITER 8759 NEW BEST:: SOT 585822 SOS 157278 HAS SOPS 157278 HAS SOUS 84664 HAS SOUPS 84664 WITH SCORE 84821.278
AT ITER 8760 NEW BEST:: SOT 585842 SOS 157258 HAS SOPS 157258 HAS SOUS 84664 HAS SOUPS 84664 WITH SCORE 84821.258
AT ITER 8761 NEW BEST:: SOT 585750 SOS 157258 HAS SOPS 157258 HAS SOUS 84572 HAS SOUPS 84572 WITH SCORE 84729.258
AT ITER 8764 NEW BEST:: SOT 585750 SOS 157258 HAS SOPS 157258 HAS SOUS 84570 HAS SOUPS 84570 WITH SCORE 84727.258
AT ITER 8766 NEW BEST:: SOT 585747 SOS 157255 HAS SOPS 157255 HAS SOUS 84570 HAS SOUPS 84570 WITH SCORE 84727.255
AT ITER 8771 NEW BEST:: SOT 585747 SOS 157255 HAS SOPS 157255 HAS SOUS 84547 HAS SOUPS 84547 WITH SCORE 84704.255
AT ITER 8804 NEW BEST:: SOT 585650 SOS 157106 HAS SOPS 157106 HAS SOUS 84504 HAS SOUPS 84504 WITH SCORE 84661.106
AT ITER 8831 NEW BEST:: SOT 585657 SOS 157066 HAS SOPS 157066 HAS SOUS 84491 HAS SOUPS 84491 WITH SCORE 84648.066
AT ITER 8914 NEW BEST:: SOT 585628 SOS 157074 HAS SOPS 157074 HAS SOUS 84477 HAS SOUPS 84477 WITH SCORE 84634.074
AT ITER 8930 NEW BEST:: SOT 585604 SOS 157070 HAS SOPS 157070 HAS SOUS 84473 HAS SOUPS 84473 WITH SCORE 84630.07
AT ITER 8933 NEW BEST:: SOT 585604 SOS 157068 HAS SOPS 157068 HAS SOUS 84469 HAS SOUPS 84469 WITH SCORE 84626.068
AT ITER 8939 NEW BEST:: SOT 585575 SOS 157010 HAS SOPS 157010 HAS SOUS 84448 HAS SOUPS 84448 WITH SCORE 84605.01
AT ITER 8940 NEW BEST:: SOT 585565 SOS 157045 HAS SOPS 157045 HAS SOUS 84428 HAS SOUPS 84428 WITH SCORE 84585.045
AT ITER 8944 NEW BEST:: SOT 585446 SOS 156969 HAS SOPS 156969 HAS SOUS 84298 HAS SOUPS 84298 WITH SCORE 84454.969
AT ITER 8963 NEW BEST:: SOT 585442 SOS 156961 HAS SOPS 156961 HAS SOUS 84290 HAS SOUPS 84290 WITH SCORE 84446.961
AT ITER 8975 NEW BEST:: SOT 585444 SOS 156911 HAS SOPS 156911 HAS SOUS 84276 HAS SOUPS 84276 WITH SCORE 84432.911
AT ITER 8978 NEW BEST:: SOT 585448 SOS 156911 HAS SOPS 156911 HAS SOUS 84272 HAS SOUPS 84272 WITH SCORE 84428.911
AT ITER 8979 NEW BEST:: SOT 585447 SOS 156909 HAS SOPS 156909 HAS SOUS 84270 HAS SOUPS 84270 WITH SCORE 84426.909
AT ITER 9033 NEW BEST:: SOT 585457 SOS 156929 HAS SOPS 156929 HAS SOUS 84268 HAS SOUPS 84268 WITH SCORE 84424.929
AT ITER 9050 NEW BEST:: SOT 585457 SOS 156929 HAS SOPS 156929 HAS SOUS 84252 HAS SOUPS 84252 WITH SCORE 84408.929
AT ITER 9086 NEW BEST:: SOT 585445 SOS 156928 HAS SOPS 156928 HAS SOUS 84251 HAS SOUPS 84251 WITH SCORE 84407.928
AT ITER 9087 NEW BEST:: SOT 585444 SOS 156926 HAS SOPS 156926 HAS SOUS 84249 HAS SOUPS 84249 WITH SCORE 84405.926
AT ITER 9132 NEW BEST:: SOT 585417 SOS 156872 HAS SOPS 156872 HAS SOUS 84195 HAS SOUPS 84195 WITH SCORE 84351.872
AT ITER 9140 NEW BEST:: SOT 585414 SOS 156869 HAS SOPS 156869 HAS SOUS 84192 HAS SOUPS 84192 WITH SCORE 84348.869
AT ITER 9214 NEW BEST:: SOT 585361 SOS 158389 HAS SOPS 158389 HAS SOUS 84181 HAS SOUPS 84181 WITH SCORE 84339.389
AT ITER 9264 NEW BEST:: SOT 585337 SOS 158367 HAS SOPS 158367 HAS SOUS 84157 HAS SOUPS 84157 WITH SCORE 84315.367
AT ITER 9306 NEW BEST:: SOT 585337 SOS 158367 HAS SOPS 158367 HAS SOUS 84156 HAS SOUPS 84156 WITH SCORE 84314.367
AT ITER 9310 NEW BEST:: SOT 585241 SOS 158367 HAS SOPS 158367 HAS SOUS 84099 HAS SOUPS 84099 WITH SCORE 84257.367
AT ITER 9432 NEW BEST:: SOT 585275 SOS 158057 HAS SOPS 158057 HAS SOUS 84028 HAS SOUPS 84028 WITH SCORE 84186.057
AT ITER 9501 NEW BEST:: SOT 585334 SOS 158130 HAS SOPS 158130 HAS SOUS 83948 HAS SOUPS 83948 WITH SCORE 84106.13
AT ITER 9504 NEW BEST:: SOT 585347 SOS 158037 HAS SOPS 158037 HAS SOUS 83908 HAS SOUPS 83908 WITH SCORE 84066.037
AT ITER 9505 NEW BEST:: SOT 585282 SOS 158168 HAS SOPS 158168 HAS SOUS 83865 HAS SOUPS 83865 WITH SCORE 84023.168
AT ITER 9512 NEW BEST:: SOT 585277 SOS 158158 HAS SOPS 158158 HAS SOUS 83855 HAS SOUPS 83855 WITH SCORE 84013.158
AT ITER 9541 NEW BEST:: SOT 585277 SOS 158160 HAS SOPS 158160 HAS SOUS 83854 HAS SOUPS 83854 WITH SCORE 84012.16
AT ITER 9545 NEW BEST:: SOT 585270 SOS 158103 HAS SOPS 158103 HAS SOUS 83832 HAS SOUPS 83832 WITH SCORE 83990.103
AT ITER 9553 NEW BEST:: SOT 585270 SOS 158079 HAS SOPS 158079 HAS SOUS 83832 HAS SOUPS 83832 WITH SCORE 83990.079
AT ITER 9559 NEW BEST:: SOT 585277 SOS 158045 HAS SOPS 158045 HAS SOUS 83822 HAS SOUPS 83822 WITH SCORE 83980.045
AT ITER 9573 NEW BEST:: SOT 585319 SOS 157991 HAS SOPS 157991 HAS SOUS 83818 HAS SOUPS 83818 WITH SCORE 83975.991
AT ITER 9621 NEW BEST:: SOT 585285 SOS 157940 HAS SOPS 157940 HAS SOUS 83784 HAS SOUPS 83784 WITH SCORE 83941.94
AT ITER 9645 NEW BEST:: SOT 585289 SOS 157935 HAS SOPS 157935 HAS SOUS 83779 HAS SOUPS 83779 WITH SCORE 83936.935
AT ITER 9647 NEW BEST:: SOT 585313 SOS 157983 HAS SOPS 157983 HAS SOUS 83773 HAS SOUPS 83773 WITH SCORE 83930.983
AT ITER 9652 NEW BEST:: SOT 585246 SOS 157849 HAS SOPS 157849 HAS SOUS 83706 HAS SOUPS 83706 WITH SCORE 83863.849
AT ITER 9696 NEW BEST:: SOT 585201 SOS 157591 HAS SOPS 157591 HAS SOUS 83658 HAS SOUPS 83658 WITH SCORE 83815.591
AT ITER 9719 NEW BEST:: SOT 585203 SOS 157591 HAS SOPS 157591 HAS SOUS 83657 HAS SOUPS 83657 WITH SCORE 83814.591
AT ITER 9743 NEW BEST:: SOT 585206 SOS 157610 HAS SOPS 157610 HAS SOUS 83644 HAS SOUPS 83644 WITH SCORE 83801.61
AT ITER 9798 NEW BEST:: SOT 585179 SOS 157583 HAS SOPS 157583 HAS SOUS 83617 HAS SOUPS 83617 WITH SCORE 83774.583
AT ITER 9800 NEW BEST:: SOT 585174 SOS 157573 HAS SOPS 157573 HAS SOUS 83607 HAS SOUPS 83607 WITH SCORE 83764.573
AT ITER 9807 NEW BEST:: SOT 585157 SOS 157539 HAS SOPS 157539 HAS SOUS 83573 HAS SOUPS 83573 WITH SCORE 83730.539
AT ITER 9914 NEW BEST:: SOT 585195 SOS 157539 HAS SOPS 157539 HAS SOUS 83553 HAS SOUPS 83553 WITH SCORE 83710.539
AT ITER 9942 NEW BEST:: SOT 585175 SOS 157499 HAS SOPS 157499 HAS SOUS 83513 HAS SOUPS 83513 WITH SCORE 83670.499
AT ITER 9982 NEW BEST:: SOT 585173 SOS 157495 HAS SOPS 157495 HAS SOUS 83509 HAS SOUPS 83509 WITH SCORE 83666.495
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8267516 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122812 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="CloudDeployment-PT-3b"
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 CloudDeployment-PT-3b, 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 r075-smll-167814401000392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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