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.r067-smll-167814394800376.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 smart
Input is CloudDeployment-PT-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394800376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 5.9K Feb 25 14:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 12K Feb 25 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:49 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 166K 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 1678295468959

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudDeployment-PT-2b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 2b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 556 places, 684 transitions, 1987 arcs.
AT ITER 0 NEW BEST:: SOT 220806 SOS 58153 HAS SOPS 58153 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46173.153
AT ITER 29 NEW BEST:: SOT 220806 SOS 58126 HAS SOPS 58126 HAS SOUS 46088 HAS SOUPS 46088 WITH SCORE 46146.126
AT ITER 36 NEW BEST:: SOT 220710 SOS 60688 HAS SOPS 60688 HAS SOUS 45992 HAS SOUPS 45992 WITH SCORE 46052.688
AT ITER 41 NEW BEST:: SOT 220665 SOS 60598 HAS SOPS 60598 HAS SOUS 45941 HAS SOUPS 45941 WITH SCORE 46001.598
AT ITER 58 NEW BEST:: SOT 220672 SOS 60669 HAS SOPS 60669 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45980.669
AT ITER 59 NEW BEST:: SOT 220656 SOS 60637 HAS SOPS 60637 HAS SOUS 45888 HAS SOUPS 45888 WITH SCORE 45948.637
AT ITER 60 NEW BEST:: SOT 220684 SOS 60693 HAS SOPS 60693 HAS SOUS 45798 HAS SOUPS 45798 WITH SCORE 45858.693
AT ITER 66 NEW BEST:: SOT 220684 SOS 60613 HAS SOPS 60613 HAS SOUS 45798 HAS SOUPS 45798 WITH SCORE 45858.613
AT ITER 70 NEW BEST:: SOT 220657 SOS 60532 HAS SOPS 60532 HAS SOUS 45744 HAS SOUPS 45744 WITH SCORE 45804.532
AT ITER 77 NEW BEST:: SOT 220634 SOS 60486 HAS SOPS 60486 HAS SOUS 45698 HAS SOUPS 45698 WITH SCORE 45758.486
AT ITER 95 NEW BEST:: SOT 220573 SOS 60303 HAS SOPS 60303 HAS SOUS 45576 HAS SOUPS 45576 WITH SCORE 45636.303
AT ITER 111 NEW BEST:: SOT 220534 SOS 60277 HAS SOPS 60277 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45597.277
AT ITER 117 NEW BEST:: SOT 220498 SOS 60277 HAS SOPS 60277 HAS SOUS 45519 HAS SOUPS 45519 WITH SCORE 45579.277
AT ITER 142 NEW BEST:: SOT 220510 SOS 59988 HAS SOPS 59988 HAS SOUS 45498 HAS SOUPS 45498 WITH SCORE 45557.988
AT ITER 143 NEW BEST:: SOT 220381 SOS 59938 HAS SOPS 59938 HAS SOUS 45407 HAS SOUPS 45407 WITH SCORE 45466.938
AT ITER 151 NEW BEST:: SOT 220372 SOS 59902 HAS SOPS 59902 HAS SOUS 45380 HAS SOUPS 45380 WITH SCORE 45439.902
AT ITER 169 NEW BEST:: SOT 220326 SOS 59838 HAS SOPS 59838 HAS SOUS 45309 HAS SOUPS 45309 WITH SCORE 45368.838
AT ITER 193 NEW BEST:: SOT 220282 SOS 59816 HAS SOPS 59816 HAS SOUS 45265 HAS SOUPS 45265 WITH SCORE 45324.816
AT ITER 213 NEW BEST:: SOT 220277 SOS 59715 HAS SOPS 59715 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45148.715
AT ITER 244 NEW BEST:: SOT 220253 SOS 59667 HAS SOPS 59667 HAS SOUS 44955 HAS SOUPS 44955 WITH SCORE 45014.667
AT ITER 275 NEW BEST:: SOT 220253 SOS 59667 HAS SOPS 59667 HAS SOUS 44944 HAS SOUPS 44944 WITH SCORE 45003.667
AT ITER 306 NEW BEST:: SOT 220232 SOS 59625 HAS SOPS 59625 HAS SOUS 44902 HAS SOUPS 44902 WITH SCORE 44961.625
AT ITER 319 NEW BEST:: SOT 220215 SOS 59693 HAS SOPS 59693 HAS SOUS 44885 HAS SOUPS 44885 WITH SCORE 44944.693
AT ITER 326 NEW BEST:: SOT 220214 SOS 59691 HAS SOPS 59691 HAS SOUS 44883 HAS SOUPS 44883 WITH SCORE 44942.691
AT ITER 333 NEW BEST:: SOT 220171 SOS 59637 HAS SOPS 59637 HAS SOUS 44828 HAS SOUPS 44828 WITH SCORE 44887.637
AT ITER 337 NEW BEST:: SOT 220155 SOS 59584 HAS SOPS 59584 HAS SOUS 44775 HAS SOUPS 44775 WITH SCORE 44834.584
AT ITER 350 NEW BEST:: SOT 220075 SOS 59504 HAS SOPS 59504 HAS SOUS 44695 HAS SOUPS 44695 WITH SCORE 44754.504
AT ITER 359 NEW BEST:: SOT 220075 SOS 59486 HAS SOPS 59486 HAS SOUS 44695 HAS SOUPS 44695 WITH SCORE 44754.486
AT ITER 378 NEW BEST:: SOT 220064 SOS 59475 HAS SOPS 59475 HAS SOUS 44684 HAS SOUPS 44684 WITH SCORE 44743.475
AT ITER 385 NEW BEST:: SOT 220094 SOS 59430 HAS SOPS 59430 HAS SOUS 44583 HAS SOUPS 44583 WITH SCORE 44642.43
AT ITER 397 NEW BEST:: SOT 220054 SOS 59410 HAS SOPS 59410 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44602.41
AT ITER 399 NEW BEST:: SOT 220144 SOS 59410 HAS SOPS 59410 HAS SOUS 44477 HAS SOUPS 44477 WITH SCORE 44536.41
AT ITER 401 NEW BEST:: SOT 220144 SOS 59396 HAS SOPS 59396 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44534.396
AT ITER 404 NEW BEST:: SOT 220144 SOS 59396 HAS SOPS 59396 HAS SOUS 44453 HAS SOUPS 44453 WITH SCORE 44512.396
AT ITER 407 NEW BEST:: SOT 220144 SOS 59396 HAS SOPS 59396 HAS SOUS 44452 HAS SOUPS 44452 WITH SCORE 44511.396
AT ITER 408 NEW BEST:: SOT 220098 SOS 59350 HAS SOPS 59350 HAS SOUS 44385 HAS SOUPS 44385 WITH SCORE 44444.35
AT ITER 410 NEW BEST:: SOT 219913 SOS 59239 HAS SOPS 59239 HAS SOUS 44237 HAS SOUPS 44237 WITH SCORE 44296.239
AT ITER 419 NEW BEST:: SOT 219894 SOS 59279 HAS SOPS 59279 HAS SOUS 44227 HAS SOUPS 44227 WITH SCORE 44286.279
AT ITER 433 NEW BEST:: SOT 219891 SOS 59270 HAS SOPS 59270 HAS SOUS 44221 HAS SOUPS 44221 WITH SCORE 44280.27
AT ITER 443 NEW BEST:: SOT 219888 SOS 59267 HAS SOPS 59267 HAS SOUS 44218 HAS SOUPS 44218 WITH SCORE 44277.267
AT ITER 480 NEW BEST:: SOT 219908 SOS 59307 HAS SOPS 59307 HAS SOUS 44184 HAS SOUPS 44184 WITH SCORE 44243.307
AT ITER 494 NEW BEST:: SOT 219862 SOS 59357 HAS SOPS 59357 HAS SOUS 44153 HAS SOUPS 44153 WITH SCORE 44212.357
AT ITER 501 NEW BEST:: SOT 219862 SOS 59357 HAS SOPS 59357 HAS SOUS 44137 HAS SOUPS 44137 WITH SCORE 44196.357
AT ITER 518 NEW BEST:: SOT 219862 SOS 59333 HAS SOPS 59333 HAS SOUS 44137 HAS SOUPS 44137 WITH SCORE 44196.333
AT ITER 524 NEW BEST:: SOT 219855 SOS 59319 HAS SOPS 59319 HAS SOUS 44123 HAS SOUPS 44123 WITH SCORE 44182.319
AT ITER 537 NEW BEST:: SOT 219866 SOS 59210 HAS SOPS 59210 HAS SOUS 44119 HAS SOUPS 44119 WITH SCORE 44178.21
AT ITER 544 NEW BEST:: SOT 219762 SOS 59029 HAS SOPS 59029 HAS SOUS 43730 HAS SOUPS 43730 WITH SCORE 43789.029
AT ITER 568 NEW BEST:: SOT 219833 SOS 58958 HAS SOPS 58958 HAS SOUS 43730 HAS SOUPS 43730 WITH SCORE 43788.958
AT ITER 587 NEW BEST:: SOT 219829 SOS 58950 HAS SOPS 58950 HAS SOUS 43722 HAS SOUPS 43722 WITH SCORE 43780.95
AT ITER 588 NEW BEST:: SOT 219829 SOS 58950 HAS SOPS 58950 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43680.95
AT ITER 592 NEW BEST:: SOT 219811 SOS 58932 HAS SOPS 58932 HAS SOUS 43617 HAS SOUPS 43617 WITH SCORE 43675.932
AT ITER 593 NEW BEST:: SOT 219790 SOS 58890 HAS SOPS 58890 HAS SOUS 43575 HAS SOUPS 43575 WITH SCORE 43633.89
AT ITER 601 NEW BEST:: SOT 219752 SOS 58814 HAS SOPS 58814 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43575.814
AT ITER 610 NEW BEST:: SOT 219752 SOS 58826 HAS SOPS 58826 HAS SOUS 43494 HAS SOUPS 43494 WITH SCORE 43552.826
AT ITER 617 NEW BEST:: SOT 219745 SOS 58812 HAS SOPS 58812 HAS SOUS 43480 HAS SOUPS 43480 WITH SCORE 43538.812
AT ITER 619 NEW BEST:: SOT 219745 SOS 58787 HAS SOPS 58787 HAS SOUS 43480 HAS SOUPS 43480 WITH SCORE 43538.787
AT ITER 627 NEW BEST:: SOT 219661 SOS 58733 HAS SOPS 58733 HAS SOUS 43415 HAS SOUPS 43415 WITH SCORE 43473.733
AT ITER 630 NEW BEST:: SOT 219635 SOS 58659 HAS SOPS 58659 HAS SOUS 43385 HAS SOUPS 43385 WITH SCORE 43443.659
AT ITER 644 NEW BEST:: SOT 219563 SOS 58587 HAS SOPS 58587 HAS SOUS 43313 HAS SOUPS 43313 WITH SCORE 43371.587
AT ITER 647 NEW BEST:: SOT 219564 SOS 58571 HAS SOPS 58571 HAS SOUS 43297 HAS SOUPS 43297 WITH SCORE 43355.571
AT ITER 653 NEW BEST:: SOT 219564 SOS 58511 HAS SOPS 58511 HAS SOUS 43267 HAS SOUPS 43267 WITH SCORE 43325.511
AT ITER 656 NEW BEST:: SOT 219549 SOS 58466 HAS SOPS 58466 HAS SOUS 43237 HAS SOUPS 43237 WITH SCORE 43295.466
AT ITER 658 NEW BEST:: SOT 219544 SOS 58456 HAS SOPS 58456 HAS SOUS 43232 HAS SOUPS 43232 WITH SCORE 43290.456
AT ITER 661 NEW BEST:: SOT 219541 SOS 58464 HAS SOPS 58464 HAS SOUS 43218 HAS SOUPS 43218 WITH SCORE 43276.464
AT ITER 695 NEW BEST:: SOT 219455 SOS 58475 HAS SOPS 58475 HAS SOUS 43105 HAS SOUPS 43105 WITH SCORE 43163.475
AT ITER 716 NEW BEST:: SOT 219448 SOS 58461 HAS SOPS 58461 HAS SOUS 43098 HAS SOUPS 43098 WITH SCORE 43156.461
AT ITER 721 NEW BEST:: SOT 219448 SOS 58451 HAS SOPS 58451 HAS SOUS 43088 HAS SOUPS 43088 WITH SCORE 43146.451
AT ITER 746 NEW BEST:: SOT 219505 SOS 58412 HAS SOPS 58412 HAS SOUS 43014 HAS SOUPS 43014 WITH SCORE 43072.412
AT ITER 754 NEW BEST:: SOT 219505 SOS 58412 HAS SOPS 58412 HAS SOUS 43012 HAS SOUPS 43012 WITH SCORE 43070.412
AT ITER 763 NEW BEST:: SOT 219149 SOS 58900 HAS SOPS 58900 HAS SOUS 42783 HAS SOUPS 42783 WITH SCORE 42841.9
AT ITER 767 NEW BEST:: SOT 219133 SOS 58868 HAS SOPS 58868 HAS SOUS 42751 HAS SOUPS 42751 WITH SCORE 42809.868
AT ITER 771 NEW BEST:: SOT 219117 SOS 58852 HAS SOPS 58852 HAS SOUS 42703 HAS SOUPS 42703 WITH SCORE 42761.852
AT ITER 777 NEW BEST:: SOT 219045 SOS 58708 HAS SOPS 58708 HAS SOUS 42631 HAS SOUPS 42631 WITH SCORE 42689.708
AT ITER 779 NEW BEST:: SOT 219009 SOS 58678 HAS SOPS 58678 HAS SOUS 42517 HAS SOUPS 42517 WITH SCORE 42575.678
AT ITER 801 NEW BEST:: SOT 219003 SOS 58666 HAS SOPS 58666 HAS SOUS 42511 HAS SOUPS 42511 WITH SCORE 42569.666
AT ITER 810 NEW BEST:: SOT 219015 SOS 58646 HAS SOPS 58646 HAS SOUS 42491 HAS SOUPS 42491 WITH SCORE 42549.646
AT ITER 813 NEW BEST:: SOT 219015 SOS 58646 HAS SOPS 58646 HAS SOUS 42475 HAS SOUPS 42475 WITH SCORE 42533.646
AT ITER 838 NEW BEST:: SOT 219013 SOS 58642 HAS SOPS 58642 HAS SOUS 42464 HAS SOUPS 42464 WITH SCORE 42522.642
AT ITER 853 NEW BEST:: SOT 219009 SOS 58634 HAS SOPS 58634 HAS SOUS 42456 HAS SOUPS 42456 WITH SCORE 42514.634
AT ITER 861 NEW BEST:: SOT 219039 SOS 58649 HAS SOPS 58649 HAS SOUS 42426 HAS SOUPS 42426 WITH SCORE 42484.649
AT ITER 869 NEW BEST:: SOT 218979 SOS 58589 HAS SOPS 58589 HAS SOUS 42426 HAS SOUPS 42426 WITH SCORE 42484.589
AT ITER 874 NEW BEST:: SOT 218964 SOS 58559 HAS SOPS 58559 HAS SOUS 42395 HAS SOUPS 42395 WITH SCORE 42453.559
AT ITER 877 NEW BEST:: SOT 218953 SOS 58537 HAS SOPS 58537 HAS SOUS 42384 HAS SOUPS 42384 WITH SCORE 42442.537
AT ITER 883 NEW BEST:: SOT 218952 SOS 58535 HAS SOPS 58535 HAS SOUS 42382 HAS SOUPS 42382 WITH SCORE 42440.535
AT ITER 950 NEW BEST:: SOT 218925 SOS 58604 HAS SOPS 58604 HAS SOUS 42379 HAS SOUPS 42379 WITH SCORE 42437.604
AT ITER 955 NEW BEST:: SOT 218925 SOS 58604 HAS SOPS 58604 HAS SOUS 42343 HAS SOUPS 42343 WITH SCORE 42401.604
AT ITER 957 NEW BEST:: SOT 218893 SOS 58648 HAS SOPS 58648 HAS SOUS 42233 HAS SOUPS 42233 WITH SCORE 42291.648
AT ITER 975 NEW BEST:: SOT 218854 SOS 58650 HAS SOPS 58650 HAS SOUS 42210 HAS SOUPS 42210 WITH SCORE 42268.65
AT ITER 987 NEW BEST:: SOT 218854 SOS 58650 HAS SOPS 58650 HAS SOUS 42199 HAS SOUPS 42199 WITH SCORE 42257.65
AT ITER 992 NEW BEST:: SOT 218831 SOS 58627 HAS SOPS 58627 HAS SOUS 42198 HAS SOUPS 42198 WITH SCORE 42256.627
AT ITER 1017 NEW BEST:: SOT 218728 SOS 58604 HAS SOPS 58604 HAS SOUS 42114 HAS SOUPS 42114 WITH SCORE 42172.604
AT ITER 1032 NEW BEST:: SOT 218385 SOS 59475 HAS SOPS 59475 HAS SOUS 42032 HAS SOUPS 42032 WITH SCORE 42091.475
AT ITER 1042 NEW BEST:: SOT 218385 SOS 59475 HAS SOPS 59475 HAS SOUS 42028 HAS SOUPS 42028 WITH SCORE 42087.475
AT ITER 1071 NEW BEST:: SOT 218352 SOS 59601 HAS SOPS 59601 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42069.601
AT ITER 1091 NEW BEST:: SOT 218315 SOS 59791 HAS SOPS 59791 HAS SOUS 42006 HAS SOUPS 42006 WITH SCORE 42065.791
AT ITER 1104 NEW BEST:: SOT 218313 SOS 59787 HAS SOPS 59787 HAS SOUS 41993 HAS SOUPS 41993 WITH SCORE 42052.787
AT ITER 1156 NEW BEST:: SOT 218311 SOS 59783 HAS SOPS 59783 HAS SOUS 41877 HAS SOUPS 41877 WITH SCORE 41936.783
AT ITER 1163 NEW BEST:: SOT 218348 SOS 59761 HAS SOPS 59761 HAS SOUS 41855 HAS SOUPS 41855 WITH SCORE 41914.761
AT ITER 1179 NEW BEST:: SOT 218326 SOS 59717 HAS SOPS 59717 HAS SOUS 41833 HAS SOUPS 41833 WITH SCORE 41892.717
AT ITER 1181 NEW BEST:: SOT 218258 SOS 59749 HAS SOPS 59749 HAS SOUS 41809 HAS SOUPS 41809 WITH SCORE 41868.749
AT ITER 1190 NEW BEST:: SOT 218235 SOS 59733 HAS SOPS 59733 HAS SOUS 41793 HAS SOUPS 41793 WITH SCORE 41852.733
AT ITER 1206 NEW BEST:: SOT 218226 SOS 59715 HAS SOPS 59715 HAS SOUS 41784 HAS SOUPS 41784 WITH SCORE 41843.715
AT ITER 1209 NEW BEST:: SOT 218226 SOS 59715 HAS SOPS 59715 HAS SOUS 41753 HAS SOUPS 41753 WITH SCORE 41812.715
AT ITER 1225 NEW BEST:: SOT 218191 SOS 59809 HAS SOPS 59809 HAS SOUS 41601 HAS SOUPS 41601 WITH SCORE 41660.809
AT ITER 1226 NEW BEST:: SOT 218191 SOS 59775 HAS SOPS 59775 HAS SOUS 41567 HAS SOUPS 41567 WITH SCORE 41626.775
AT ITER 1235 NEW BEST:: SOT 218140 SOS 59724 HAS SOPS 59724 HAS SOUS 41516 HAS SOUPS 41516 WITH SCORE 41575.724
AT ITER 1236 NEW BEST:: SOT 218140 SOS 59724 HAS SOPS 59724 HAS SOUS 41492 HAS SOUPS 41492 WITH SCORE 41551.724
AT ITER 1247 NEW BEST:: SOT 218140 SOS 59724 HAS SOPS 59724 HAS SOUS 41423 HAS SOUPS 41423 WITH SCORE 41482.724
AT ITER 1257 NEW BEST:: SOT 218139 SOS 59722 HAS SOPS 59722 HAS SOUS 41421 HAS SOUPS 41421 WITH SCORE 41480.722
AT ITER 1258 NEW BEST:: SOT 218123 SOS 59690 HAS SOPS 59690 HAS SOUS 41407 HAS SOUPS 41407 WITH SCORE 41466.69
AT ITER 1293 NEW BEST:: SOT 218182 SOS 59808 HAS SOPS 59808 HAS SOUS 41400 HAS SOUPS 41400 WITH SCORE 41459.808
AT ITER 1326 NEW BEST:: SOT 218182 SOS 59808 HAS SOPS 59808 HAS SOUS 41369 HAS SOUPS 41369 WITH SCORE 41428.808
AT ITER 1338 NEW BEST:: SOT 218137 SOS 59946 HAS SOPS 59946 HAS SOUS 41362 HAS SOUPS 41362 WITH SCORE 41421.946
AT ITER 1352 NEW BEST:: SOT 218134 SOS 59963 HAS SOPS 59963 HAS SOUS 41356 HAS SOUPS 41356 WITH SCORE 41415.963
AT ITER 1355 NEW BEST:: SOT 218134 SOS 59942 HAS SOPS 59942 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41373.942
AT ITER 1369 NEW BEST:: SOT 218128 SOS 59936 HAS SOPS 59936 HAS SOUS 41308 HAS SOUPS 41308 WITH SCORE 41367.936
AT ITER 1372 NEW BEST:: SOT 218128 SOS 59782 HAS SOPS 59782 HAS SOUS 41231 HAS SOUPS 41231 WITH SCORE 41290.782
AT ITER 1373 NEW BEST:: SOT 218114 SOS 59754 HAS SOPS 59754 HAS SOUS 41205 HAS SOUPS 41205 WITH SCORE 41264.754
AT ITER 1415 NEW BEST:: SOT 218102 SOS 59881 HAS SOPS 59881 HAS SOUS 41193 HAS SOUPS 41193 WITH SCORE 41252.881
AT ITER 1431 NEW BEST:: SOT 218086 SOS 59937 HAS SOPS 59937 HAS SOUS 41183 HAS SOUPS 41183 WITH SCORE 41242.937
AT ITER 1438 NEW BEST:: SOT 218067 SOS 59867 HAS SOPS 59867 HAS SOUS 41161 HAS SOUPS 41161 WITH SCORE 41220.867
AT ITER 1484 NEW BEST:: SOT 218067 SOS 59812 HAS SOPS 59812 HAS SOUS 41161 HAS SOUPS 41161 WITH SCORE 41220.812
AT ITER 1507 NEW BEST:: SOT 218028 SOS 59818 HAS SOPS 59818 HAS SOUS 41147 HAS SOUPS 41147 WITH SCORE 41206.818
AT ITER 1563 NEW BEST:: SOT 217980 SOS 59722 HAS SOPS 59722 HAS SOUS 41051 HAS SOUPS 41051 WITH SCORE 41110.722
AT ITER 1570 NEW BEST:: SOT 217980 SOS 59722 HAS SOPS 59722 HAS SOUS 41046 HAS SOUPS 41046 WITH SCORE 41105.722
AT ITER 1575 NEW BEST:: SOT 218005 SOS 59747 HAS SOPS 59747 HAS SOUS 41039 HAS SOUPS 41039 WITH SCORE 41098.747
AT ITER 1590 NEW BEST:: SOT 218005 SOS 59747 HAS SOPS 59747 HAS SOUS 41037 HAS SOUPS 41037 WITH SCORE 41096.747
AT ITER 1615 NEW BEST:: SOT 217885 SOS 59679 HAS SOPS 59679 HAS SOUS 40779 HAS SOUPS 40779 WITH SCORE 40838.679
AT ITER 1623 NEW BEST:: SOT 217878 SOS 59646 HAS SOPS 59646 HAS SOUS 40772 HAS SOUPS 40772 WITH SCORE 40831.646
AT ITER 1658 NEW BEST:: SOT 217859 SOS 59570 HAS SOPS 59570 HAS SOUS 40715 HAS SOUPS 40715 WITH SCORE 40774.57
AT ITER 1666 NEW BEST:: SOT 217859 SOS 59540 HAS SOPS 59540 HAS SOUS 40715 HAS SOUPS 40715 WITH SCORE 40774.54
AT ITER 1692 NEW BEST:: SOT 217859 SOS 59561 HAS SOPS 59561 HAS SOUS 40579 HAS SOUPS 40579 WITH SCORE 40638.561
AT ITER 1714 NEW BEST:: SOT 217860 SOS 59551 HAS SOPS 59551 HAS SOUS 40574 HAS SOUPS 40574 WITH SCORE 40633.551
AT ITER 1735 NEW BEST:: SOT 217860 SOS 59551 HAS SOPS 59551 HAS SOUS 40573 HAS SOUPS 40573 WITH SCORE 40632.551
AT ITER 1758 NEW BEST:: SOT 217852 SOS 59535 HAS SOPS 59535 HAS SOUS 40565 HAS SOUPS 40565 WITH SCORE 40624.535
AT ITER 1782 NEW BEST:: SOT 217692 SOS 59515 HAS SOPS 59515 HAS SOUS 40514 HAS SOUPS 40514 WITH SCORE 40573.515
AT ITER 1787 NEW BEST:: SOT 217692 SOS 59515 HAS SOPS 59515 HAS SOUS 40512 HAS SOUPS 40512 WITH SCORE 40571.515
AT ITER 1788 NEW BEST:: SOT 217688 SOS 59515 HAS SOPS 59515 HAS SOUS 40504 HAS SOUPS 40504 WITH SCORE 40563.515
AT ITER 1844 NEW BEST:: SOT 217688 SOS 59515 HAS SOPS 59515 HAS SOUS 40473 HAS SOUPS 40473 WITH SCORE 40532.515
AT ITER 1876 NEW BEST:: SOT 217680 SOS 59499 HAS SOPS 59499 HAS SOUS 40457 HAS SOUPS 40457 WITH SCORE 40516.499
AT ITER 1910 NEW BEST:: SOT 217680 SOS 59475 HAS SOPS 59475 HAS SOUS 40409 HAS SOUPS 40409 WITH SCORE 40468.475
AT ITER 1920 NEW BEST:: SOT 217680 SOS 59465 HAS SOPS 59465 HAS SOUS 40409 HAS SOUPS 40409 WITH SCORE 40468.465
AT ITER 1926 NEW BEST:: SOT 217680 SOS 59465 HAS SOPS 59465 HAS SOUS 40343 HAS SOUPS 40343 WITH SCORE 40402.465
AT ITER 1941 NEW BEST:: SOT 217678 SOS 59463 HAS SOPS 59463 HAS SOUS 40330 HAS SOUPS 40330 WITH SCORE 40389.463
AT ITER 1957 NEW BEST:: SOT 217628 SOS 59489 HAS SOPS 59489 HAS SOUS 40307 HAS SOUPS 40307 WITH SCORE 40366.489
AT ITER 1973 NEW BEST:: SOT 217628 SOS 59489 HAS SOPS 59489 HAS SOUS 40306 HAS SOUPS 40306 WITH SCORE 40365.489
AT ITER 2031 NEW BEST:: SOT 217621 SOS 59475 HAS SOPS 59475 HAS SOUS 40298 HAS SOUPS 40298 WITH SCORE 40357.475
AT ITER 2045 NEW BEST:: SOT 217631 SOS 59495 HAS SOPS 59495 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40344.495
AT ITER 2057 NEW BEST:: SOT 217641 SOS 59515 HAS SOPS 59515 HAS SOUS 40273 HAS SOUPS 40273 WITH SCORE 40332.515
AT ITER 2083 NEW BEST:: SOT 217587 SOS 59407 HAS SOPS 59407 HAS SOUS 40174 HAS SOUPS 40174 WITH SCORE 40233.407
AT ITER 2084 NEW BEST:: SOT 217568 SOS 59369 HAS SOPS 59369 HAS SOUS 40136 HAS SOUPS 40136 WITH SCORE 40195.369
AT ITER 2117 NEW BEST:: SOT 217515 SOS 59263 HAS SOPS 59263 HAS SOUS 40030 HAS SOUPS 40030 WITH SCORE 40089.263
AT ITER 2125 NEW BEST:: SOT 217499 SOS 59231 HAS SOPS 59231 HAS SOUS 40013 HAS SOUPS 40013 WITH SCORE 40072.231
AT ITER 2186 NEW BEST:: SOT 217459 SOS 59180 HAS SOPS 59180 HAS SOUS 39991 HAS SOUPS 39991 WITH SCORE 40050.18
AT ITER 2226 NEW BEST:: SOT 217402 SOS 59174 HAS SOPS 59174 HAS SOUS 39878 HAS SOUPS 39878 WITH SCORE 39937.174
AT ITER 2230 NEW BEST:: SOT 217402 SOS 59172 HAS SOPS 59172 HAS SOUS 39878 HAS SOUPS 39878 WITH SCORE 39937.172
AT ITER 2261 NEW BEST:: SOT 217309 SOS 59048 HAS SOPS 59048 HAS SOUS 39760 HAS SOUPS 39760 WITH SCORE 39819.048
AT ITER 2265 NEW BEST:: SOT 217308 SOS 59046 HAS SOPS 59046 HAS SOUS 39757 HAS SOUPS 39757 WITH SCORE 39816.046
AT ITER 2273 NEW BEST:: SOT 217308 SOS 58938 HAS SOPS 58938 HAS SOUS 39727 HAS SOUPS 39727 WITH SCORE 39785.938
AT ITER 2280 NEW BEST:: SOT 217278 SOS 58878 HAS SOPS 58878 HAS SOUS 39669 HAS SOUPS 39669 WITH SCORE 39727.878
AT ITER 2296 NEW BEST:: SOT 217285 SOS 58851 HAS SOPS 58851 HAS SOUS 39642 HAS SOUPS 39642 WITH SCORE 39700.851
AT ITER 2309 NEW BEST:: SOT 217285 SOS 58830 HAS SOPS 58830 HAS SOUS 39642 HAS SOUPS 39642 WITH SCORE 39700.83
AT ITER 2311 NEW BEST:: SOT 217358 SOS 58850 HAS SOPS 58850 HAS SOUS 39599 HAS SOUPS 39599 WITH SCORE 39657.85
AT ITER 2345 NEW BEST:: SOT 217291 SOS 58716 HAS SOPS 58716 HAS SOUS 39465 HAS SOUPS 39465 WITH SCORE 39523.716
AT ITER 2358 NEW BEST:: SOT 217275 SOS 58700 HAS SOPS 58700 HAS SOUS 39449 HAS SOUPS 39449 WITH SCORE 39507.7
AT ITER 2384 NEW BEST:: SOT 217240 SOS 58630 HAS SOPS 58630 HAS SOUS 39379 HAS SOUPS 39379 WITH SCORE 39437.63
AT ITER 2425 NEW BEST:: SOT 217229 SOS 58619 HAS SOPS 58619 HAS SOUS 39357 HAS SOUPS 39357 WITH SCORE 39415.619
AT ITER 2427 NEW BEST:: SOT 217240 SOS 58595 HAS SOPS 58595 HAS SOUS 39333 HAS SOUPS 39333 WITH SCORE 39391.595
AT ITER 2521 NEW BEST:: SOT 217240 SOS 58603 HAS SOPS 58603 HAS SOUS 39331 HAS SOUPS 39331 WITH SCORE 39389.603
AT ITER 2529 NEW BEST:: SOT 217225 SOS 58573 HAS SOPS 58573 HAS SOUS 39316 HAS SOUPS 39316 WITH SCORE 39374.573
AT ITER 2563 NEW BEST:: SOT 217205 SOS 58533 HAS SOPS 58533 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39363.533
AT ITER 2573 NEW BEST:: SOT 217204 SOS 58531 HAS SOPS 58531 HAS SOUS 39268 HAS SOUPS 39268 WITH SCORE 39326.531
AT ITER 2610 NEW BEST:: SOT 217174 SOS 58474 HAS SOPS 58474 HAS SOUS 39195 HAS SOUPS 39195 WITH SCORE 39253.474
AT ITER 2636 NEW BEST:: SOT 217167 SOS 58460 HAS SOPS 58460 HAS SOUS 39181 HAS SOUPS 39181 WITH SCORE 39239.46
AT ITER 2649 NEW BEST:: SOT 217162 SOS 58450 HAS SOPS 58450 HAS SOUS 39171 HAS SOUPS 39171 WITH SCORE 39229.45
AT ITER 2650 NEW BEST:: SOT 217162 SOS 58429 HAS SOPS 58429 HAS SOUS 39148 HAS SOUPS 39148 WITH SCORE 39206.429
AT ITER 2670 NEW BEST:: SOT 217111 SOS 58403 HAS SOPS 58403 HAS SOUS 39122 HAS SOUPS 39122 WITH SCORE 39180.403
AT ITER 2675 NEW BEST:: SOT 217115 SOS 58389 HAS SOPS 58389 HAS SOUS 39060 HAS SOUPS 39060 WITH SCORE 39118.389
AT ITER 2715 NEW BEST:: SOT 217115 SOS 58314 HAS SOPS 58314 HAS SOUS 39060 HAS SOUPS 39060 WITH SCORE 39118.314
AT ITER 2725 NEW BEST:: SOT 217044 SOS 58397 HAS SOPS 58397 HAS SOUS 39028 HAS SOUPS 39028 WITH SCORE 39086.397
AT ITER 2748 NEW BEST:: SOT 217040 SOS 58373 HAS SOPS 58373 HAS SOUS 39020 HAS SOUPS 39020 WITH SCORE 39078.373
AT ITER 2780 NEW BEST:: SOT 217004 SOS 58301 HAS SOPS 58301 HAS SOUS 39004 HAS SOUPS 39004 WITH SCORE 39062.301
AT ITER 2810 NEW BEST:: SOT 217004 SOS 58301 HAS SOPS 58301 HAS SOUS 38989 HAS SOUPS 38989 WITH SCORE 39047.301
AT ITER 2826 NEW BEST:: SOT 217004 SOS 58301 HAS SOPS 58301 HAS SOUS 38981 HAS SOUPS 38981 WITH SCORE 39039.301
AT ITER 2859 NEW BEST:: SOT 216946 SOS 58252 HAS SOPS 58252 HAS SOUS 38923 HAS SOUPS 38923 WITH SCORE 38981.252
AT ITER 2863 NEW BEST:: SOT 216927 SOS 58214 HAS SOPS 58214 HAS SOUS 38885 HAS SOUPS 38885 WITH SCORE 38943.214
AT ITER 2882 NEW BEST:: SOT 216889 SOS 58183 HAS SOPS 58183 HAS SOUS 38788 HAS SOUPS 38788 WITH SCORE 38846.183
AT ITER 2897 NEW BEST:: SOT 216841 SOS 58103 HAS SOPS 58103 HAS SOUS 38740 HAS SOUPS 38740 WITH SCORE 38798.103
AT ITER 2903 NEW BEST:: SOT 216829 SOS 58079 HAS SOPS 58079 HAS SOUS 38703 HAS SOUPS 38703 WITH SCORE 38761.079
AT ITER 2925 NEW BEST:: SOT 216826 SOS 58073 HAS SOPS 58073 HAS SOUS 38700 HAS SOUPS 38700 WITH SCORE 38758.073
AT ITER 2941 NEW BEST:: SOT 216821 SOS 58058 HAS SOPS 58058 HAS SOUS 38690 HAS SOUPS 38690 WITH SCORE 38748.058
AT ITER 2965 NEW BEST:: SOT 216802 SOS 58020 HAS SOPS 58020 HAS SOUS 38671 HAS SOUPS 38671 WITH SCORE 38729.02
AT ITER 3006 NEW BEST:: SOT 216638 SOS 57878 HAS SOPS 57878 HAS SOUS 38499 HAS SOUPS 38499 WITH SCORE 38556.878
AT ITER 3008 NEW BEST:: SOT 216636 SOS 57870 HAS SOPS 57870 HAS SOUS 38495 HAS SOUPS 38495 WITH SCORE 38552.87
AT ITER 3047 NEW BEST:: SOT 216580 SOS 57758 HAS SOPS 57758 HAS SOUS 38383 HAS SOUPS 38383 WITH SCORE 38440.758
AT ITER 3084 NEW BEST:: SOT 216539 SOS 57758 HAS SOPS 57758 HAS SOUS 38342 HAS SOUPS 38342 WITH SCORE 38399.758
AT ITER 3105 NEW BEST:: SOT 216539 SOS 57758 HAS SOPS 57758 HAS SOUS 38291 HAS SOUPS 38291 WITH SCORE 38348.758
AT ITER 3115 NEW BEST:: SOT 216537 SOS 57754 HAS SOPS 57754 HAS SOUS 38289 HAS SOUPS 38289 WITH SCORE 38346.754
AT ITER 3119 NEW BEST:: SOT 216594 SOS 57811 HAS SOPS 57811 HAS SOUS 38277 HAS SOUPS 38277 WITH SCORE 38334.811
AT ITER 3127 NEW BEST:: SOT 216587 SOS 57797 HAS SOPS 57797 HAS SOUS 38263 HAS SOUPS 38263 WITH SCORE 38320.797
AT ITER 3135 NEW BEST:: SOT 216557 SOS 57827 HAS SOPS 57827 HAS SOUS 38233 HAS SOUPS 38233 WITH SCORE 38290.827
AT ITER 3146 NEW BEST:: SOT 216563 SOS 57635 HAS SOPS 57635 HAS SOUS 38205 HAS SOUPS 38205 WITH SCORE 38262.635
AT ITER 3154 NEW BEST:: SOT 216603 SOS 57629 HAS SOPS 57629 HAS SOUS 38199 HAS SOUPS 38199 WITH SCORE 38256.629
AT ITER 3157 NEW BEST:: SOT 216637 SOS 57661 HAS SOPS 57661 HAS SOUS 38195 HAS SOUPS 38195 WITH SCORE 38252.661
AT ITER 3173 NEW BEST:: SOT 216609 SOS 57633 HAS SOPS 57633 HAS SOUS 38174 HAS SOUPS 38174 WITH SCORE 38231.633
AT ITER 3177 NEW BEST:: SOT 216608 SOS 57686 HAS SOPS 57686 HAS SOUS 38165 HAS SOUPS 38165 WITH SCORE 38222.686
AT ITER 3184 NEW BEST:: SOT 216571 SOS 57612 HAS SOPS 57612 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38192.612
AT ITER 3208 NEW BEST:: SOT 216571 SOS 57633 HAS SOPS 57633 HAS SOUS 38114 HAS SOUPS 38114 WITH SCORE 38171.633
AT ITER 3213 NEW BEST:: SOT 216592 SOS 57055 HAS SOPS 57055 HAS SOUS 38073 HAS SOUPS 38073 WITH SCORE 38130.055
AT ITER 3218 NEW BEST:: SOT 216527 SOS 58143 HAS SOPS 58143 HAS SOUS 38037 HAS SOUPS 38037 WITH SCORE 38095.143
AT ITER 3233 NEW BEST:: SOT 216551 SOS 58191 HAS SOPS 58191 HAS SOUS 38006 HAS SOUPS 38006 WITH SCORE 38064.191
AT ITER 3252 NEW BEST:: SOT 216548 SOS 58188 HAS SOPS 58188 HAS SOUS 38006 HAS SOUPS 38006 WITH SCORE 38064.188
AT ITER 3263 NEW BEST:: SOT 216547 SOS 58186 HAS SOPS 58186 HAS SOUS 38004 HAS SOUPS 38004 WITH SCORE 38062.186
AT ITER 3268 NEW BEST:: SOT 216547 SOS 58186 HAS SOPS 58186 HAS SOUS 37948 HAS SOUPS 37948 WITH SCORE 38006.186
AT ITER 3285 NEW BEST:: SOT 216545 SOS 58186 HAS SOPS 58186 HAS SOUS 37946 HAS SOUPS 37946 WITH SCORE 38004.186
AT ITER 3302 NEW BEST:: SOT 216568 SOS 58232 HAS SOPS 58232 HAS SOUS 37945 HAS SOUPS 37945 WITH SCORE 38003.232
AT ITER 3338 NEW BEST:: SOT 216553 SOS 58202 HAS SOPS 58202 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37973.202
AT ITER 3341 NEW BEST:: SOT 216553 SOS 58141 HAS SOPS 58141 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37973.141
AT ITER 3364 NEW BEST:: SOT 216549 SOS 58133 HAS SOPS 58133 HAS SOUS 37911 HAS SOUPS 37911 WITH SCORE 37969.133
AT ITER 3389 NEW BEST:: SOT 216534 SOS 58118 HAS SOPS 58118 HAS SOUS 37881 HAS SOUPS 37881 WITH SCORE 37939.118
AT ITER 3402 NEW BEST:: SOT 216534 SOS 58093 HAS SOPS 58093 HAS SOUS 37881 HAS SOUPS 37881 WITH SCORE 37939.093
AT ITER 3406 NEW BEST:: SOT 216525 SOS 57990 HAS SOPS 57990 HAS SOUS 37864 HAS SOUPS 37864 WITH SCORE 37921.99
AT ITER 3418 NEW BEST:: SOT 216525 SOS 57885 HAS SOPS 57885 HAS SOUS 37740 HAS SOUPS 37740 WITH SCORE 37797.885
AT ITER 3441 NEW BEST:: SOT 216494 SOS 57736 HAS SOPS 57736 HAS SOUS 37709 HAS SOUPS 37709 WITH SCORE 37766.736
AT ITER 3447 NEW BEST:: SOT 216494 SOS 57616 HAS SOPS 57616 HAS SOUS 37709 HAS SOUPS 37709 WITH SCORE 37766.616
AT ITER 3453 NEW BEST:: SOT 216490 SOS 57614 HAS SOPS 57614 HAS SOUS 37701 HAS SOUPS 37701 WITH SCORE 37758.614
AT ITER 3489 NEW BEST:: SOT 216456 SOS 57594 HAS SOPS 57594 HAS SOUS 37659 HAS SOUPS 37659 WITH SCORE 37716.594
AT ITER 3498 NEW BEST:: SOT 216453 SOS 57591 HAS SOPS 57591 HAS SOUS 37656 HAS SOUPS 37656 WITH SCORE 37713.591
AT ITER 3522 NEW BEST:: SOT 216450 SOS 57585 HAS SOPS 57585 HAS SOUS 37647 HAS SOUPS 37647 WITH SCORE 37704.585
AT ITER 3543 NEW BEST:: SOT 216450 SOS 57585 HAS SOPS 57585 HAS SOUS 37567 HAS SOUPS 37567 WITH SCORE 37624.585
AT ITER 3572 NEW BEST:: SOT 216451 SOS 57595 HAS SOPS 57595 HAS SOUS 37562 HAS SOUPS 37562 WITH SCORE 37619.595
AT ITER 3588 NEW BEST:: SOT 216440 SOS 57573 HAS SOPS 57573 HAS SOUS 37540 HAS SOUPS 37540 WITH SCORE 37597.573
AT ITER 3631 NEW BEST:: SOT 216385 SOS 57577 HAS SOPS 57577 HAS SOUS 37506 HAS SOUPS 37506 WITH SCORE 37563.577
AT ITER 3645 NEW BEST:: SOT 216362 SOS 57531 HAS SOPS 57531 HAS SOUS 37460 HAS SOUPS 37460 WITH SCORE 37517.531
AT ITER 3661 NEW BEST:: SOT 216365 SOS 57537 HAS SOPS 57537 HAS SOUS 37448 HAS SOUPS 37448 WITH SCORE 37505.537
AT ITER 3707 NEW BEST:: SOT 216356 SOS 57519 HAS SOPS 57519 HAS SOUS 37430 HAS SOUPS 37430 WITH SCORE 37487.519
AT ITER 3719 NEW BEST:: SOT 216340 SOS 57425 HAS SOPS 57425 HAS SOUS 37334 HAS SOUPS 37334 WITH SCORE 37391.425
AT ITER 3755 NEW BEST:: SOT 216302 SOS 57368 HAS SOPS 57368 HAS SOUS 37277 HAS SOUPS 37277 WITH SCORE 37334.368
AT ITER 3759 NEW BEST:: SOT 216301 SOS 57366 HAS SOPS 57366 HAS SOUS 37275 HAS SOUPS 37275 WITH SCORE 37332.366
AT ITER 3762 NEW BEST:: SOT 216287 SOS 57296 HAS SOPS 57296 HAS SOUS 37247 HAS SOUPS 37247 WITH SCORE 37304.296
AT ITER 3771 NEW BEST:: SOT 216322 SOS 57331 HAS SOPS 57331 HAS SOUS 37240 HAS SOUPS 37240 WITH SCORE 37297.331
AT ITER 3780 NEW BEST:: SOT 216322 SOS 57410 HAS SOPS 57410 HAS SOUS 37214 HAS SOUPS 37214 WITH SCORE 37271.41
AT ITER 3791 NEW BEST:: SOT 216290 SOS 57346 HAS SOPS 57346 HAS SOUS 37150 HAS SOUPS 37150 WITH SCORE 37207.346
AT ITER 3797 NEW BEST:: SOT 216304 SOS 57374 HAS SOPS 57374 HAS SOUS 37119 HAS SOUPS 37119 WITH SCORE 37176.374
AT ITER 3818 NEW BEST:: SOT 216254 SOS 57274 HAS SOPS 57274 HAS SOUS 37019 HAS SOUPS 37019 WITH SCORE 37076.274
AT ITER 3832 NEW BEST:: SOT 216263 SOS 57254 HAS SOPS 57254 HAS SOUS 37018 HAS SOUPS 37018 WITH SCORE 37075.254
AT ITER 3847 NEW BEST:: SOT 216250 SOS 57241 HAS SOPS 57241 HAS SOUS 36992 HAS SOUPS 36992 WITH SCORE 37049.241
AT ITER 3850 NEW BEST:: SOT 216220 SOS 57286 HAS SOPS 57286 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37040.286
AT ITER 3851 NEW BEST:: SOT 216215 SOS 57276 HAS SOPS 57276 HAS SOUS 36977 HAS SOUPS 36977 WITH SCORE 37034.276
AT ITER 3868 NEW BEST:: SOT 216171 SOS 57188 HAS SOPS 57188 HAS SOUS 36898 HAS SOUPS 36898 WITH SCORE 36955.188
AT ITER 3872 NEW BEST:: SOT 216164 SOS 57161 HAS SOPS 57161 HAS SOUS 36873 HAS SOUPS 36873 WITH SCORE 36930.161
AT ITER 3889 NEW BEST:: SOT 216164 SOS 57159 HAS SOPS 57159 HAS SOUS 36869 HAS SOUPS 36869 WITH SCORE 36926.159
AT ITER 3894 NEW BEST:: SOT 216159 SOS 57135 HAS SOPS 57135 HAS SOUS 36859 HAS SOUPS 36859 WITH SCORE 36916.135
AT ITER 3924 NEW BEST:: SOT 216082 SOS 57191 HAS SOPS 57191 HAS SOUS 36817 HAS SOUPS 36817 WITH SCORE 36874.191
AT ITER 3937 NEW BEST:: SOT 216087 SOS 57096 HAS SOPS 57096 HAS SOUS 36757 HAS SOUPS 36757 WITH SCORE 36814.096
AT ITER 3949 NEW BEST:: SOT 216072 SOS 57066 HAS SOPS 57066 HAS SOUS 36686 HAS SOUPS 36686 WITH SCORE 36743.066
AT ITER 3951 NEW BEST:: SOT 216035 SOS 57068 HAS SOPS 57068 HAS SOUS 36649 HAS SOUPS 36649 WITH SCORE 36706.068
AT ITER 3952 NEW BEST:: SOT 216035 SOS 57005 HAS SOPS 57005 HAS SOUS 36628 HAS SOUPS 36628 WITH SCORE 36685.005
AT ITER 3961 NEW BEST:: SOT 216028 SOS 56998 HAS SOPS 56998 HAS SOUS 36628 HAS SOUPS 36628 WITH SCORE 36684.998
AT ITER 3972 NEW BEST:: SOT 216021 SOS 56984 HAS SOPS 56984 HAS SOUS 36621 HAS SOUPS 36621 WITH SCORE 36677.984
AT ITER 3988 NEW BEST:: SOT 216021 SOS 56951 HAS SOPS 56951 HAS SOUS 36621 HAS SOUPS 36621 WITH SCORE 36677.951
AT ITER 4018 NEW BEST:: SOT 216021 SOS 56925 HAS SOPS 56925 HAS SOUS 36569 HAS SOUPS 36569 WITH SCORE 36625.925
AT ITER 4076 NEW BEST:: SOT 216014 SOS 56918 HAS SOPS 56918 HAS SOUS 36562 HAS SOUPS 36562 WITH SCORE 36618.918
AT ITER 4113 NEW BEST:: SOT 216007 SOS 56896 HAS SOPS 56896 HAS SOUS 36548 HAS SOUPS 36548 WITH SCORE 36604.896
AT ITER 4126 NEW BEST:: SOT 215980 SOS 56983 HAS SOPS 56983 HAS SOUS 36532 HAS SOUPS 36532 WITH SCORE 36588.983
AT ITER 4139 NEW BEST:: SOT 215973 SOS 56969 HAS SOPS 56969 HAS SOUS 36518 HAS SOUPS 36518 WITH SCORE 36574.969
AT ITER 4152 NEW BEST:: SOT 215966 SOS 56955 HAS SOPS 56955 HAS SOUS 36504 HAS SOUPS 36504 WITH SCORE 36560.955
AT ITER 4196 NEW BEST:: SOT 215896 SOS 56908 HAS SOPS 56908 HAS SOUS 36457 HAS SOUPS 36457 WITH SCORE 36513.908
AT ITER 4230 NEW BEST:: SOT 215891 SOS 56898 HAS SOPS 56898 HAS SOUS 36424 HAS SOUPS 36424 WITH SCORE 36480.898
AT ITER 4244 NEW BEST:: SOT 215860 SOS 56929 HAS SOPS 56929 HAS SOUS 36393 HAS SOUPS 36393 WITH SCORE 36449.929
AT ITER 4270 NEW BEST:: SOT 215888 SOS 56957 HAS SOPS 56957 HAS SOUS 36382 HAS SOUPS 36382 WITH SCORE 36438.957
AT ITER 4298 NEW BEST:: SOT 215874 SOS 56929 HAS SOPS 56929 HAS SOUS 36354 HAS SOUPS 36354 WITH SCORE 36410.929
AT ITER 4299 NEW BEST:: SOT 215874 SOS 56911 HAS SOPS 56911 HAS SOUS 36345 HAS SOUPS 36345 WITH SCORE 36401.911
AT ITER 4307 NEW BEST:: SOT 215873 SOS 56870 HAS SOPS 56870 HAS SOUS 36324 HAS SOUPS 36324 WITH SCORE 36380.87
AT ITER 4323 NEW BEST:: SOT 215873 SOS 56852 HAS SOPS 56852 HAS SOUS 36324 HAS SOUPS 36324 WITH SCORE 36380.852
AT ITER 4364 NEW BEST:: SOT 215865 SOS 56736 HAS SOPS 56736 HAS SOUS 36308 HAS SOUPS 36308 WITH SCORE 36364.736
AT ITER 4378 NEW BEST:: SOT 215865 SOS 56732 HAS SOPS 56732 HAS SOUS 36308 HAS SOUPS 36308 WITH SCORE 36364.732
AT ITER 4402 NEW BEST:: SOT 215865 SOS 56732 HAS SOPS 56732 HAS SOUS 36307 HAS SOUPS 36307 WITH SCORE 36363.732
AT ITER 4404 NEW BEST:: SOT 215865 SOS 56637 HAS SOPS 56637 HAS SOUS 36292 HAS SOUPS 36292 WITH SCORE 36348.637
AT ITER 4407 NEW BEST:: SOT 215851 SOS 56609 HAS SOPS 56609 HAS SOUS 36264 HAS SOUPS 36264 WITH SCORE 36320.609
AT ITER 4445 NEW BEST:: SOT 215845 SOS 56597 HAS SOPS 56597 HAS SOUS 36263 HAS SOUPS 36263 WITH SCORE 36319.597
AT ITER 4453 NEW BEST:: SOT 215845 SOS 56589 HAS SOPS 56589 HAS SOUS 36255 HAS SOUPS 36255 WITH SCORE 36311.589
AT ITER 4470 NEW BEST:: SOT 215839 SOS 56620 HAS SOPS 56620 HAS SOUS 36250 HAS SOUPS 36250 WITH SCORE 36306.62
AT ITER 4528 NEW BEST:: SOT 215838 SOS 56619 HAS SOPS 56619 HAS SOUS 36248 HAS SOUPS 36248 WITH SCORE 36304.619
AT ITER 4553 NEW BEST:: SOT 215838 SOS 56573 HAS SOPS 56573 HAS SOUS 36248 HAS SOUPS 36248 WITH SCORE 36304.573
AT ITER 4662 NEW BEST:: SOT 215829 SOS 56598 HAS SOPS 56598 HAS SOUS 36246 HAS SOUPS 36246 WITH SCORE 36302.598
AT ITER 4697 NEW BEST:: SOT 215829 SOS 56507 HAS SOPS 56507 HAS SOUS 36202 HAS SOUPS 36202 WITH SCORE 36258.507
AT ITER 4699 NEW BEST:: SOT 215811 SOS 56471 HAS SOPS 56471 HAS SOUS 36191 HAS SOUPS 36191 WITH SCORE 36247.471
AT ITER 4701 NEW BEST:: SOT 215811 SOS 56471 HAS SOPS 56471 HAS SOUS 36187 HAS SOUPS 36187 WITH SCORE 36243.471
AT ITER 4705 NEW BEST:: SOT 215806 SOS 56461 HAS SOPS 56461 HAS SOUS 36173 HAS SOUPS 36173 WITH SCORE 36229.461
AT ITER 4739 NEW BEST:: SOT 215806 SOS 56455 HAS SOPS 56455 HAS SOUS 36167 HAS SOUPS 36167 WITH SCORE 36223.455
AT ITER 4753 NEW BEST:: SOT 215771 SOS 56280 HAS SOPS 56280 HAS SOUS 36062 HAS SOUPS 36062 WITH SCORE 36118.28
AT ITER 4794 NEW BEST:: SOT 215771 SOS 56280 HAS SOPS 56280 HAS SOUS 36061 HAS SOUPS 36061 WITH SCORE 36117.28
AT ITER 4830 NEW BEST:: SOT 215728 SOS 56182 HAS SOPS 56182 HAS SOUS 35975 HAS SOUPS 35975 WITH SCORE 36031.182
AT ITER 4853 NEW BEST:: SOT 215710 SOS 56146 HAS SOPS 56146 HAS SOUS 35939 HAS SOUPS 35939 WITH SCORE 35995.146
AT ITER 4881 NEW BEST:: SOT 215700 SOS 56136 HAS SOPS 56136 HAS SOUS 35929 HAS SOUPS 35929 WITH SCORE 35985.136
AT ITER 4896 NEW BEST:: SOT 215697 SOS 56180 HAS SOPS 56180 HAS SOUS 35923 HAS SOUPS 35923 WITH SCORE 35979.18
AT ITER 4914 NEW BEST:: SOT 215689 SOS 56172 HAS SOPS 56172 HAS SOUS 35915 HAS SOUPS 35915 WITH SCORE 35971.172
AT ITER 4946 NEW BEST:: SOT 215661 SOS 56153 HAS SOPS 56153 HAS SOUS 35896 HAS SOUPS 35896 WITH SCORE 35952.153
AT ITER 4977 NEW BEST:: SOT 215656 SOS 56143 HAS SOPS 56143 HAS SOUS 35886 HAS SOUPS 35886 WITH SCORE 35942.143
AT ITER 4990 NEW BEST:: SOT 215647 SOS 56181 HAS SOPS 56181 HAS SOUS 35877 HAS SOUPS 35877 WITH SCORE 35933.181
AT ITER 5000 NEW BEST:: SOT 215647 SOS 56162 HAS SOPS 56162 HAS SOUS 35877 HAS SOUPS 35877 WITH SCORE 35933.162
AT ITER 5007 NEW BEST:: SOT 215618 SOS 56104 HAS SOPS 56104 HAS SOUS 35819 HAS SOUPS 35819 WITH SCORE 35875.104
AT ITER 5028 NEW BEST:: SOT 215616 SOS 56070 HAS SOPS 56070 HAS SOUS 35815 HAS SOUPS 35815 WITH SCORE 35871.07
AT ITER 5107 NEW BEST:: SOT 215598 SOS 56034 HAS SOPS 56034 HAS SOUS 35754 HAS SOUPS 35754 WITH SCORE 35810.034
AT ITER 5117 NEW BEST:: SOT 215598 SOS 56034 HAS SOPS 56034 HAS SOUS 35742 HAS SOUPS 35742 WITH SCORE 35798.034
AT ITER 5141 NEW BEST:: SOT 215575 SOS 56016 HAS SOPS 56016 HAS SOUS 35722 HAS SOUPS 35722 WITH SCORE 35778.016
AT ITER 5199 NEW BEST:: SOT 215660 SOS 56354 HAS SOPS 56354 HAS SOUS 35704 HAS SOUPS 35704 WITH SCORE 35760.354
AT ITER 5208 NEW BEST:: SOT 215656 SOS 56346 HAS SOPS 56346 HAS SOUS 35700 HAS SOUPS 35700 WITH SCORE 35756.346
AT ITER 5269 NEW BEST:: SOT 215656 SOS 56339 HAS SOPS 56339 HAS SOUS 35698 HAS SOUPS 35698 WITH SCORE 35754.339
AT ITER 5270 NEW BEST:: SOT 215618 SOS 56263 HAS SOPS 56263 HAS SOUS 35660 HAS SOUPS 35660 WITH SCORE 35716.263
AT ITER 5285 NEW BEST:: SOT 215607 SOS 56241 HAS SOPS 56241 HAS SOUS 35652 HAS SOUPS 35652 WITH SCORE 35708.241
AT ITER 5303 NEW BEST:: SOT 215607 SOS 56241 HAS SOPS 56241 HAS SOUS 35605 HAS SOUPS 35605 WITH SCORE 35661.241
AT ITER 5311 NEW BEST:: SOT 215600 SOS 56187 HAS SOPS 56187 HAS SOUS 35591 HAS SOUPS 35591 WITH SCORE 35647.187
AT ITER 5343 NEW BEST:: SOT 215593 SOS 56173 HAS SOPS 56173 HAS SOUS 35577 HAS SOUPS 35577 WITH SCORE 35633.173
AT ITER 5351 NEW BEST:: SOT 215594 SOS 56169 HAS SOPS 56169 HAS SOUS 35576 HAS SOUPS 35576 WITH SCORE 35632.169
AT ITER 5380 NEW BEST:: SOT 215588 SOS 56157 HAS SOPS 56157 HAS SOUS 35564 HAS SOUPS 35564 WITH SCORE 35620.157
AT ITER 5402 NEW BEST:: SOT 215574 SOS 56139 HAS SOPS 56139 HAS SOUS 35548 HAS SOUPS 35548 WITH SCORE 35604.139
AT ITER 5431 NEW BEST:: SOT 215529 SOS 56011 HAS SOPS 56011 HAS SOUS 35533 HAS SOUPS 35533 WITH SCORE 35589.011
AT ITER 5449 NEW BEST:: SOT 215523 SOS 55995 HAS SOPS 55995 HAS SOUS 35527 HAS SOUPS 35527 WITH SCORE 35582.995
AT ITER 5516 NEW BEST:: SOT 215550 SOS 55879 HAS SOPS 55879 HAS SOUS 35515 HAS SOUPS 35515 WITH SCORE 35570.879
AT ITER 5520 NEW BEST:: SOT 215538 SOS 55855 HAS SOPS 55855 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35560.855
AT ITER 5525 NEW BEST:: SOT 215527 SOS 55833 HAS SOPS 55833 HAS SOUS 35471 HAS SOUPS 35471 WITH SCORE 35526.833
AT ITER 5615 NEW BEST:: SOT 215447 SOS 55766 HAS SOPS 55766 HAS SOUS 35373 HAS SOUPS 35373 WITH SCORE 35428.766
AT ITER 5639 NEW BEST:: SOT 215418 SOS 55757 HAS SOPS 55757 HAS SOUS 35335 HAS SOUPS 35335 WITH SCORE 35390.757
AT ITER 5660 NEW BEST:: SOT 215416 SOS 55755 HAS SOPS 55755 HAS SOUS 35333 HAS SOUPS 35333 WITH SCORE 35388.755
AT ITER 5689 NEW BEST:: SOT 215416 SOS 55755 HAS SOPS 55755 HAS SOUS 35312 HAS SOUPS 35312 WITH SCORE 35367.755
AT ITER 5715 NEW BEST:: SOT 215406 SOS 55735 HAS SOPS 55735 HAS SOUS 35292 HAS SOUPS 35292 WITH SCORE 35347.735
AT ITER 5731 NEW BEST:: SOT 215402 SOS 55720 HAS SOPS 55720 HAS SOUS 35277 HAS SOUPS 35277 WITH SCORE 35332.72
AT ITER 5746 NEW BEST:: SOT 215359 SOS 55718 HAS SOPS 55718 HAS SOUS 35252 HAS SOUPS 35252 WITH SCORE 35307.718
AT ITER 5798 NEW BEST:: SOT 215344 SOS 55724 HAS SOPS 55724 HAS SOUS 35243 HAS SOUPS 35243 WITH SCORE 35298.724
AT ITER 5831 NEW BEST:: SOT 215340 SOS 55725 HAS SOPS 55725 HAS SOUS 35239 HAS SOUPS 35239 WITH SCORE 35294.725
AT ITER 5843 NEW BEST:: SOT 215317 SOS 55679 HAS SOPS 55679 HAS SOUS 35181 HAS SOUPS 35181 WITH SCORE 35236.679
AT ITER 5867 NEW BEST:: SOT 215331 SOS 55665 HAS SOPS 55665 HAS SOUS 35181 HAS SOUPS 35181 WITH SCORE 35236.665
AT ITER 5887 NEW BEST:: SOT 215322 SOS 55647 HAS SOPS 55647 HAS SOUS 35150 HAS SOUPS 35150 WITH SCORE 35205.647
AT ITER 5920 NEW BEST:: SOT 215304 SOS 55611 HAS SOPS 55611 HAS SOUS 35114 HAS SOUPS 35114 WITH SCORE 35169.611
AT ITER 5930 NEW BEST:: SOT 215299 SOS 55601 HAS SOPS 55601 HAS SOUS 35108 HAS SOUPS 35108 WITH SCORE 35163.601
AT ITER 5951 NEW BEST:: SOT 215297 SOS 55678 HAS SOPS 55678 HAS SOUS 35106 HAS SOUPS 35106 WITH SCORE 35161.678
AT ITER 5966 NEW BEST:: SOT 215231 SOS 55882 HAS SOPS 55882 HAS SOUS 35058 HAS SOUPS 35058 WITH SCORE 35113.882
AT ITER 5979 NEW BEST:: SOT 215267 SOS 55883 HAS SOPS 55883 HAS SOUS 35054 HAS SOUPS 35054 WITH SCORE 35109.883
AT ITER 6036 NEW BEST:: SOT 215254 SOS 55870 HAS SOPS 55870 HAS SOUS 35028 HAS SOUPS 35028 WITH SCORE 35083.87
AT ITER 6094 NEW BEST:: SOT 215253 SOS 55868 HAS SOPS 55868 HAS SOUS 35026 HAS SOUPS 35026 WITH SCORE 35081.868
AT ITER 6111 NEW BEST:: SOT 215253 SOS 55868 HAS SOPS 55868 HAS SOUS 35000 HAS SOUPS 35000 WITH SCORE 35055.868
AT ITER 6112 NEW BEST:: SOT 215233 SOS 55828 HAS SOPS 55828 HAS SOUS 34978 HAS SOUPS 34978 WITH SCORE 35033.828
AT ITER 6140 NEW BEST:: SOT 215233 SOS 55834 HAS SOPS 55834 HAS SOUS 34972 HAS SOUPS 34972 WITH SCORE 35027.834
AT ITER 6142 NEW BEST:: SOT 215231 SOS 55830 HAS SOPS 55830 HAS SOUS 34968 HAS SOUPS 34968 WITH SCORE 35023.83
AT ITER 6149 NEW BEST:: SOT 215228 SOS 55827 HAS SOPS 55827 HAS SOUS 34953 HAS SOUPS 34953 WITH SCORE 35008.827
AT ITER 6164 NEW BEST:: SOT 215221 SOS 55813 HAS SOPS 55813 HAS SOUS 34910 HAS SOUPS 34910 WITH SCORE 34965.813
AT ITER 6190 NEW BEST:: SOT 215219 SOS 55809 HAS SOPS 55809 HAS SOUS 34906 HAS SOUPS 34906 WITH SCORE 34961.809
AT ITER 6215 NEW BEST:: SOT 215205 SOS 55747 HAS SOPS 55747 HAS SOUS 34879 HAS SOUPS 34879 WITH SCORE 34934.747
AT ITER 6219 NEW BEST:: SOT 215199 SOS 55735 HAS SOPS 55735 HAS SOUS 34867 HAS SOUPS 34867 WITH SCORE 34922.735
AT ITER 6246 NEW BEST:: SOT 215196 SOS 55729 HAS SOPS 55729 HAS SOUS 34861 HAS SOUPS 34861 WITH SCORE 34916.729
AT ITER 6268 NEW BEST:: SOT 215196 SOS 55728 HAS SOPS 55728 HAS SOUS 34860 HAS SOUPS 34860 WITH SCORE 34915.728
AT ITER 6302 NEW BEST:: SOT 215157 SOS 55689 HAS SOPS 55689 HAS SOUS 34833 HAS SOUPS 34833 WITH SCORE 34888.689
AT ITER 6320 NEW BEST:: SOT 215150 SOS 55794 HAS SOPS 55794 HAS SOUS 34819 HAS SOUPS 34819 WITH SCORE 34874.794
AT ITER 6322 NEW BEST:: SOT 215148 SOS 55793 HAS SOPS 55793 HAS SOUS 34818 HAS SOUPS 34818 WITH SCORE 34873.793
AT ITER 6323 NEW BEST:: SOT 215148 SOS 55793 HAS SOPS 55793 HAS SOUS 34816 HAS SOUPS 34816 WITH SCORE 34871.793
AT ITER 6350 NEW BEST:: SOT 215148 SOS 55747 HAS SOPS 55747 HAS SOUS 34779 HAS SOUPS 34779 WITH SCORE 34834.747
AT ITER 6358 NEW BEST:: SOT 215109 SOS 55669 HAS SOPS 55669 HAS SOUS 34686 HAS SOUPS 34686 WITH SCORE 34741.669
AT ITER 6384 NEW BEST:: SOT 215109 SOS 55669 HAS SOPS 55669 HAS SOUS 34682 HAS SOUPS 34682 WITH SCORE 34737.669
AT ITER 6396 NEW BEST:: SOT 215100 SOS 55648 HAS SOPS 55648 HAS SOUS 34679 HAS SOUPS 34679 WITH SCORE 34734.648
AT ITER 6427 NEW BEST:: SOT 215092 SOS 55614 HAS SOPS 55614 HAS SOUS 34658 HAS SOUPS 34658 WITH SCORE 34713.614
AT ITER 6519 NEW BEST:: SOT 215093 SOS 55613 HAS SOPS 55613 HAS SOUS 34658 HAS SOUPS 34658 WITH SCORE 34713.613
AT ITER 6562 NEW BEST:: SOT 215093 SOS 55630 HAS SOPS 55630 HAS SOUS 34641 HAS SOUPS 34641 WITH SCORE 34696.63
AT ITER 6637 NEW BEST:: SOT 215089 SOS 55617 HAS SOPS 55617 HAS SOUS 34633 HAS SOUPS 34633 WITH SCORE 34688.617
AT ITER 6653 NEW BEST:: SOT 215084 SOS 55607 HAS SOPS 55607 HAS SOUS 34623 HAS SOUPS 34623 WITH SCORE 34678.607
AT ITER 6668 NEW BEST:: SOT 215078 SOS 55595 HAS SOPS 55595 HAS SOUS 34617 HAS SOUPS 34617 WITH SCORE 34672.595
AT ITER 6674 NEW BEST:: SOT 215107 SOS 55653 HAS SOPS 55653 HAS SOUS 34603 HAS SOUPS 34603 WITH SCORE 34658.653
AT ITER 6723 NEW BEST:: SOT 215107 SOS 55648 HAS SOPS 55648 HAS SOUS 34603 HAS SOUPS 34603 WITH SCORE 34658.648
AT ITER 6724 NEW BEST:: SOT 215099 SOS 55640 HAS SOPS 55640 HAS SOUS 34595 HAS SOUPS 34595 WITH SCORE 34650.64
AT ITER 6729 NEW BEST:: SOT 215093 SOS 55628 HAS SOPS 55628 HAS SOUS 34592 HAS SOUPS 34592 WITH SCORE 34647.628
AT ITER 6779 NEW BEST:: SOT 215093 SOS 55628 HAS SOPS 55628 HAS SOUS 34586 HAS SOUPS 34586 WITH SCORE 34641.628
AT ITER 6797 NEW BEST:: SOT 215099 SOS 55616 HAS SOPS 55616 HAS SOUS 34586 HAS SOUPS 34586 WITH SCORE 34641.616
AT ITER 6804 NEW BEST:: SOT 215098 SOS 55614 HAS SOPS 55614 HAS SOUS 34584 HAS SOUPS 34584 WITH SCORE 34639.614
AT ITER 6841 NEW BEST:: SOT 215096 SOS 55714 HAS SOPS 55714 HAS SOUS 34580 HAS SOUPS 34580 WITH SCORE 34635.714
AT ITER 6916 NEW BEST:: SOT 215096 SOS 55698 HAS SOPS 55698 HAS SOUS 34572 HAS SOUPS 34572 WITH SCORE 34627.698
AT ITER 6923 NEW BEST:: SOT 215023 SOS 55552 HAS SOPS 55552 HAS SOUS 34572 HAS SOUPS 34572 WITH SCORE 34627.552
AT ITER 6926 NEW BEST:: SOT 215000 SOS 55506 HAS SOPS 55506 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34604.506
AT ITER 6973 NEW BEST:: SOT 214993 SOS 55492 HAS SOPS 55492 HAS SOUS 34535 HAS SOUPS 34535 WITH SCORE 34590.492
AT ITER 6997 NEW BEST:: SOT 214986 SOS 55479 HAS SOPS 55479 HAS SOUS 34518 HAS SOUPS 34518 WITH SCORE 34573.479
AT ITER 7010 NEW BEST:: SOT 214982 SOS 55471 HAS SOPS 55471 HAS SOUS 34514 HAS SOUPS 34514 WITH SCORE 34569.471
AT ITER 7041 NEW BEST:: SOT 214970 SOS 55447 HAS SOPS 55447 HAS SOUS 34490 HAS SOUPS 34490 WITH SCORE 34545.447
AT ITER 7101 NEW BEST:: SOT 214970 SOS 55447 HAS SOPS 55447 HAS SOUS 34469 HAS SOUPS 34469 WITH SCORE 34524.447
AT ITER 7128 NEW BEST:: SOT 215046 SOS 55359 HAS SOPS 55359 HAS SOUS 34381 HAS SOUPS 34381 WITH SCORE 34436.359
AT ITER 7172 NEW BEST:: SOT 215046 SOS 55343 HAS SOPS 55343 HAS SOUS 34381 HAS SOUPS 34381 WITH SCORE 34436.343
AT ITER 7204 NEW BEST:: SOT 215052 SOS 55355 HAS SOPS 55355 HAS SOUS 34379 HAS SOUPS 34379 WITH SCORE 34434.355
AT ITER 7231 NEW BEST:: SOT 215019 SOS 55289 HAS SOPS 55289 HAS SOUS 34362 HAS SOUPS 34362 WITH SCORE 34417.289
AT ITER 7236 NEW BEST:: SOT 215015 SOS 55281 HAS SOPS 55281 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34404.281
AT ITER 7239 NEW BEST:: SOT 215001 SOS 55253 HAS SOPS 55253 HAS SOUS 34321 HAS SOUPS 34321 WITH SCORE 34376.253
AT ITER 7305 NEW BEST:: SOT 215001 SOS 55253 HAS SOPS 55253 HAS SOUS 34273 HAS SOUPS 34273 WITH SCORE 34328.253
AT ITER 7374 NEW BEST:: SOT 214988 SOS 55195 HAS SOPS 55195 HAS SOUS 34247 HAS SOUPS 34247 WITH SCORE 34302.195
AT ITER 7375 NEW BEST:: SOT 214938 SOS 54995 HAS SOPS 54995 HAS SOUS 34115 HAS SOUPS 34115 WITH SCORE 34169.995
AT ITER 7480 NEW BEST:: SOT 214915 SOS 54949 HAS SOPS 54949 HAS SOUS 34092 HAS SOUPS 34092 WITH SCORE 34146.949
AT ITER 7511 NEW BEST:: SOT 214844 SOS 54960 HAS SOPS 54960 HAS SOUS 34002 HAS SOUPS 34002 WITH SCORE 34056.96
AT ITER 7538 NEW BEST:: SOT 214851 SOS 54930 HAS SOPS 54930 HAS SOUS 33994 HAS SOUPS 33994 WITH SCORE 34048.93
AT ITER 7548 NEW BEST:: SOT 214845 SOS 54918 HAS SOPS 54918 HAS SOUS 33988 HAS SOUPS 33988 WITH SCORE 34042.918
AT ITER 7597 NEW BEST:: SOT 214826 SOS 54880 HAS SOPS 54880 HAS SOUS 33969 HAS SOUPS 33969 WITH SCORE 34023.88
AT ITER 7642 NEW BEST:: SOT 214826 SOS 54857 HAS SOPS 54857 HAS SOUS 33946 HAS SOUPS 33946 WITH SCORE 34000.857
AT ITER 7645 NEW BEST:: SOT 214817 SOS 54853 HAS SOPS 54853 HAS SOUS 33935 HAS SOUPS 33935 WITH SCORE 33989.853
AT ITER 7699 NEW BEST:: SOT 214815 SOS 54853 HAS SOPS 54853 HAS SOUS 33933 HAS SOUPS 33933 WITH SCORE 33987.853
AT ITER 7774 NEW BEST:: SOT 214757 SOS 54825 HAS SOPS 54825 HAS SOUS 33905 HAS SOUPS 33905 WITH SCORE 33959.825
AT ITER 7827 NEW BEST:: SOT 214757 SOS 54825 HAS SOPS 54825 HAS SOUS 33894 HAS SOUPS 33894 WITH SCORE 33948.825
AT ITER 7840 NEW BEST:: SOT 214756 SOS 54823 HAS SOPS 54823 HAS SOUS 33889 HAS SOUPS 33889 WITH SCORE 33943.823
AT ITER 7853 NEW BEST:: SOT 214737 SOS 54653 HAS SOPS 54653 HAS SOUS 33856 HAS SOUPS 33856 WITH SCORE 33910.653
AT ITER 7924 NEW BEST:: SOT 214723 SOS 54622 HAS SOPS 54622 HAS SOUS 33853 HAS SOUPS 33853 WITH SCORE 33907.622
AT ITER 7931 NEW BEST:: SOT 214709 SOS 54548 HAS SOPS 54548 HAS SOUS 33834 HAS SOUPS 33834 WITH SCORE 33888.548
AT ITER 8016 NEW BEST:: SOT 214715 SOS 54536 HAS SOPS 54536 HAS SOUS 33830 HAS SOUPS 33830 WITH SCORE 33884.536
AT ITER 8037 NEW BEST:: SOT 214698 SOS 54577 HAS SOPS 54577 HAS SOUS 33828 HAS SOUPS 33828 WITH SCORE 33882.577
AT ITER 8039 NEW BEST:: SOT 214635 SOS 54591 HAS SOPS 54591 HAS SOUS 33769 HAS SOUPS 33769 WITH SCORE 33823.591
AT ITER 8107 NEW BEST:: SOT 214625 SOS 54571 HAS SOPS 54571 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33813.571
AT ITER 8113 NEW BEST:: SOT 214636 SOS 54533 HAS SOPS 54533 HAS SOUS 33752 HAS SOUPS 33752 WITH SCORE 33806.533
AT ITER 8116 NEW BEST:: SOT 214631 SOS 54528 HAS SOPS 54528 HAS SOUS 33747 HAS SOUPS 33747 WITH SCORE 33801.528
AT ITER 8156 NEW BEST:: SOT 214628 SOS 54506 HAS SOPS 54506 HAS SOUS 33727 HAS SOUPS 33727 WITH SCORE 33781.506
AT ITER 8178 NEW BEST:: SOT 214627 SOS 54504 HAS SOPS 54504 HAS SOUS 33725 HAS SOUPS 33725 WITH SCORE 33779.504
AT ITER 8182 NEW BEST:: SOT 214610 SOS 54470 HAS SOPS 54470 HAS SOUS 33691 HAS SOUPS 33691 WITH SCORE 33745.47
AT ITER 8184 NEW BEST:: SOT 214601 SOS 54439 HAS SOPS 54439 HAS SOUS 33682 HAS SOUPS 33682 WITH SCORE 33736.439
AT ITER 8196 NEW BEST:: SOT 214610 SOS 54431 HAS SOPS 54431 HAS SOUS 33674 HAS SOUPS 33674 WITH SCORE 33728.431
AT ITER 8199 NEW BEST:: SOT 214610 SOS 54431 HAS SOPS 54431 HAS SOUS 33670 HAS SOUPS 33670 WITH SCORE 33724.431
AT ITER 8200 NEW BEST:: SOT 214606 SOS 54423 HAS SOPS 54423 HAS SOUS 33649 HAS SOUPS 33649 WITH SCORE 33703.423
AT ITER 8212 NEW BEST:: SOT 214647 SOS 54452 HAS SOPS 54452 HAS SOUS 33634 HAS SOUPS 33634 WITH SCORE 33688.452
AT ITER 8237 NEW BEST:: SOT 214643 SOS 54454 HAS SOPS 54454 HAS SOUS 33632 HAS SOUPS 33632 WITH SCORE 33686.454
AT ITER 8274 NEW BEST:: SOT 214643 SOS 54454 HAS SOPS 54454 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33669.454
AT ITER 8286 NEW BEST:: SOT 214635 SOS 54462 HAS SOPS 54462 HAS SOUS 33607 HAS SOUPS 33607 WITH SCORE 33661.462
AT ITER 8289 NEW BEST:: SOT 214625 SOS 54416 HAS SOPS 54416 HAS SOUS 33588 HAS SOUPS 33588 WITH SCORE 33642.416
AT ITER 8303 NEW BEST:: SOT 214613 SOS 54392 HAS SOPS 54392 HAS SOUS 33564 HAS SOUPS 33564 WITH SCORE 33618.392
AT ITER 8360 NEW BEST:: SOT 214612 SOS 54390 HAS SOPS 54390 HAS SOUS 33563 HAS SOUPS 33563 WITH SCORE 33617.39
AT ITER 8456 NEW BEST:: SOT 214603 SOS 54357 HAS SOPS 54357 HAS SOUS 33530 HAS SOUPS 33530 WITH SCORE 33584.357
AT ITER 8531 NEW BEST:: SOT 214591 SOS 54333 HAS SOPS 54333 HAS SOUS 33509 HAS SOUPS 33509 WITH SCORE 33563.333
AT ITER 8535 NEW BEST:: SOT 214600 SOS 54342 HAS SOPS 54342 HAS SOUS 33490 HAS SOUPS 33490 WITH SCORE 33544.342
AT ITER 8537 NEW BEST:: SOT 214597 SOS 54342 HAS SOPS 54342 HAS SOUS 33484 HAS SOUPS 33484 WITH SCORE 33538.342
AT ITER 8573 NEW BEST:: SOT 214621 SOS 54349 HAS SOPS 54349 HAS SOUS 33469 HAS SOUPS 33469 WITH SCORE 33523.349
AT ITER 8578 NEW BEST:: SOT 214601 SOS 54341 HAS SOPS 54341 HAS SOUS 33461 HAS SOUPS 33461 WITH SCORE 33515.341
AT ITER 8599 NEW BEST:: SOT 214587 SOS 54327 HAS SOPS 54327 HAS SOUS 33461 HAS SOUPS 33461 WITH SCORE 33515.327
AT ITER 8661 NEW BEST:: SOT 214590 SOS 54300 HAS SOPS 54300 HAS SOUS 33458 HAS SOUPS 33458 WITH SCORE 33512.3
AT ITER 8690 NEW BEST:: SOT 214541 SOS 54289 HAS SOPS 54289 HAS SOUS 33447 HAS SOUPS 33447 WITH SCORE 33501.289
AT ITER 8701 NEW BEST:: SOT 214538 SOS 54382 HAS SOPS 54382 HAS SOUS 33441 HAS SOUPS 33441 WITH SCORE 33495.382
AT ITER 8738 NEW BEST:: SOT 214514 SOS 54346 HAS SOPS 54346 HAS SOUS 33412 HAS SOUPS 33412 WITH SCORE 33466.346
AT ITER 8748 NEW BEST:: SOT 214514 SOS 54342 HAS SOPS 54342 HAS SOUS 33408 HAS SOUPS 33408 WITH SCORE 33462.342
AT ITER 8778 NEW BEST:: SOT 214513 SOS 54340 HAS SOPS 54340 HAS SOUS 33406 HAS SOUPS 33406 WITH SCORE 33460.34
AT ITER 8825 NEW BEST:: SOT 214528 SOS 54308 HAS SOPS 54308 HAS SOUS 33395 HAS SOUPS 33395 WITH SCORE 33449.308
AT ITER 8865 NEW BEST:: SOT 214511 SOS 54274 HAS SOPS 54274 HAS SOUS 33362 HAS SOUPS 33362 WITH SCORE 33416.274
AT ITER 8866 NEW BEST:: SOT 214480 SOS 54212 HAS SOPS 54212 HAS SOUS 33300 HAS SOUPS 33300 WITH SCORE 33354.212
AT ITER 8874 NEW BEST:: SOT 214487 SOS 54195 HAS SOPS 54195 HAS SOUS 33197 HAS SOUPS 33197 WITH SCORE 33251.195
AT ITER 8878 NEW BEST:: SOT 214476 SOS 54173 HAS SOPS 54173 HAS SOUS 33175 HAS SOUPS 33175 WITH SCORE 33229.173
AT ITER 8881 NEW BEST:: SOT 214474 SOS 54169 HAS SOPS 54169 HAS SOUS 33171 HAS SOUPS 33171 WITH SCORE 33225.169
AT ITER 8903 NEW BEST:: SOT 214479 SOS 54198 HAS SOPS 54198 HAS SOUS 33162 HAS SOUPS 33162 WITH SCORE 33216.198
AT ITER 8921 NEW BEST:: SOT 214475 SOS 54190 HAS SOPS 54190 HAS SOUS 33139 HAS SOUPS 33139 WITH SCORE 33193.19
AT ITER 8942 NEW BEST:: SOT 214477 SOS 54194 HAS SOPS 54194 HAS SOUS 33048 HAS SOUPS 33048 WITH SCORE 33102.194
AT ITER 8970 NEW BEST:: SOT 214477 SOS 54194 HAS SOPS 54194 HAS SOUS 33034 HAS SOUPS 33034 WITH SCORE 33088.194
AT ITER 8988 NEW BEST:: SOT 214457 SOS 54154 HAS SOPS 54154 HAS SOUS 33024 HAS SOUPS 33024 WITH SCORE 33078.154
AT ITER 9035 NEW BEST:: SOT 214447 SOS 54144 HAS SOPS 54144 HAS SOUS 33014 HAS SOUPS 33014 WITH SCORE 33068.144
AT ITER 9090 NEW BEST:: SOT 214428 SOS 54106 HAS SOPS 54106 HAS SOUS 32976 HAS SOUPS 32976 WITH SCORE 33030.106
AT ITER 9221 NEW BEST:: SOT 214395 SOS 54040 HAS SOPS 54040 HAS SOUS 32976 HAS SOUPS 32976 WITH SCORE 33030.04
AT ITER 9230 NEW BEST:: SOT 214362 SOS 53974 HAS SOPS 53974 HAS SOUS 32966 HAS SOUPS 32966 WITH SCORE 33019.974
AT ITER 9239 NEW BEST:: SOT 214362 SOS 53972 HAS SOPS 53972 HAS SOUS 32966 HAS SOUPS 32966 WITH SCORE 33019.972
AT ITER 9282 NEW BEST:: SOT 214364 SOS 53883 HAS SOPS 53883 HAS SOUS 32939 HAS SOUPS 32939 WITH SCORE 32992.883
AT ITER 9314 NEW BEST:: SOT 214342 SOS 53883 HAS SOPS 53883 HAS SOUS 32917 HAS SOUPS 32917 WITH SCORE 32970.883
AT ITER 9365 NEW BEST:: SOT 214332 SOS 53871 HAS SOPS 53871 HAS SOUS 32917 HAS SOUPS 32917 WITH SCORE 32970.871
AT ITER 9390 NEW BEST:: SOT 214327 SOS 53861 HAS SOPS 53861 HAS SOUS 32907 HAS SOUPS 32907 WITH SCORE 32960.861
AT ITER 9447 NEW BEST:: SOT 214327 SOS 53861 HAS SOPS 53861 HAS SOUS 32903 HAS SOUPS 32903 WITH SCORE 32956.861
AT ITER 9449 NEW BEST:: SOT 214326 SOS 53860 HAS SOPS 53860 HAS SOUS 32901 HAS SOUPS 32901 WITH SCORE 32954.86
AT ITER 9499 NEW BEST:: SOT 214325 SOS 53855 HAS SOPS 53855 HAS SOUS 32899 HAS SOUPS 32899 WITH SCORE 32952.855
AT ITER 9544 NEW BEST:: SOT 214324 SOS 53853 HAS SOPS 53853 HAS SOUS 32897 HAS SOUPS 32897 WITH SCORE 32950.853
AT ITER 9551 NEW BEST:: SOT 214346 SOS 53809 HAS SOPS 53809 HAS SOUS 32897 HAS SOUPS 32897 WITH SCORE 32950.809
AT ITER 9568 NEW BEST:: SOT 214346 SOS 53817 HAS SOPS 53817 HAS SOUS 32889 HAS SOUPS 32889 WITH SCORE 32942.817
AT ITER 9620 NEW BEST:: SOT 214361 SOS 53834 HAS SOPS 53834 HAS SOUS 32867 HAS SOUPS 32867 WITH SCORE 32920.834
AT ITER 9706 NEW BEST:: SOT 214303 SOS 53751 HAS SOPS 53751 HAS SOUS 32798 HAS SOUPS 32798 WITH SCORE 32851.751
AT ITER 9716 NEW BEST:: SOT 214298 SOS 53741 HAS SOPS 53741 HAS SOUS 32777 HAS SOUPS 32777 WITH SCORE 32830.741
AT ITER 9771 NEW BEST:: SOT 214293 SOS 53731 HAS SOPS 53731 HAS SOUS 32772 HAS SOUPS 32772 WITH SCORE 32825.731
AT ITER 9790 NEW BEST:: SOT 214309 SOS 53763 HAS SOPS 53763 HAS SOUS 32767 HAS SOUPS 32767 WITH SCORE 32820.763
AT ITER 9816 NEW BEST:: SOT 214279 SOS 53757 HAS SOPS 53757 HAS SOUS 32740 HAS SOUPS 32740 WITH SCORE 32793.757
AT ITER 9821 NEW BEST:: SOT 214277 SOS 53753 HAS SOPS 53753 HAS SOUS 32736 HAS SOUPS 32736 WITH SCORE 32789.753
AT ITER 9828 NEW BEST:: SOT 214270 SOS 53746 HAS SOPS 53746 HAS SOUS 32722 HAS SOUPS 32722 WITH SCORE 32775.746
AT ITER 9836 NEW BEST:: SOT 214270 SOS 53745 HAS SOPS 53745 HAS SOUS 32722 HAS SOUPS 32722 WITH SCORE 32775.745
AT ITER 9844 NEW BEST:: SOT 214294 SOS 53793 HAS SOPS 53793 HAS SOUS 32717 HAS SOUPS 32717 WITH SCORE 32770.793
AT ITER 9846 NEW BEST:: SOT 214286 SOS 53785 HAS SOPS 53785 HAS SOUS 32697 HAS SOUPS 32697 WITH SCORE 32750.785
AT ITER 9894 NEW BEST:: SOT 214249 SOS 53742 HAS SOPS 53742 HAS SOUS 32685 HAS SOUPS 32685 WITH SCORE 32738.742
AT ITER 9906 NEW BEST:: SOT 214218 SOS 53680 HAS SOPS 53680 HAS SOUS 32623 HAS SOUPS 32623 WITH SCORE 32676.68
AT ITER 9949 NEW BEST:: SOT 214219 SOS 53682 HAS SOPS 53682 HAS SOUS 32597 HAS SOUPS 32597 WITH SCORE 32650.682
AT ITER 9990 NEW BEST:: SOT 214216 SOS 53679 HAS SOPS 53679 HAS SOUS 32594 HAS SOUPS 32594 WITH SCORE 32647.679
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 5970072 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16150944 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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-2b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is CloudDeployment-PT-2b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r067-smll-167814394800376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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