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.r451-smll-167912643300296.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 SmartHome-PT-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643300296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 5.9K Feb 26 05:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 26 05:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 26 05:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 05:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 05:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 05:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 05:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 159K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679213087305

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=SmartHome-PT-18
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 18
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: 653 places, 706 transitions, 1618 arcs.
AT ITER 0 NEW BEST:: SOT 271711 SOS 61371 HAS SOPS 61371 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60015.371
AT ITER 37 NEW BEST:: SOT 271639 SOS 61196 HAS SOPS 61196 HAS SOUS 59810 HAS SOUPS 59810 WITH SCORE 59871.196
AT ITER 39 NEW BEST:: SOT 271314 SOS 61206 HAS SOPS 61206 HAS SOUS 59540 HAS SOUPS 59540 WITH SCORE 59601.206
AT ITER 40 NEW BEST:: SOT 271282 SOS 61138 HAS SOPS 61138 HAS SOUS 59472 HAS SOUPS 59472 WITH SCORE 59533.138
AT ITER 46 NEW BEST:: SOT 271211 SOS 61075 HAS SOPS 61075 HAS SOUS 59409 HAS SOUPS 59409 WITH SCORE 59470.075
AT ITER 49 NEW BEST:: SOT 271148 SOS 60949 HAS SOPS 60949 HAS SOUS 59226 HAS SOUPS 59226 WITH SCORE 59286.949
AT ITER 67 NEW BEST:: SOT 270141 SOS 62535 HAS SOPS 62535 HAS SOUS 58537 HAS SOUPS 58537 WITH SCORE 58599.535
AT ITER 71 NEW BEST:: SOT 269078 SOS 69134 HAS SOPS 69134 HAS SOUS 58276 HAS SOUPS 58276 WITH SCORE 58345.134
AT ITER 74 NEW BEST:: SOT 267389 SOS 75927 HAS SOPS 75927 HAS SOUS 57309 HAS SOUPS 57309 WITH SCORE 57384.927
AT ITER 118 NEW BEST:: SOT 267340 SOS 75892 HAS SOPS 75892 HAS SOUS 57260 HAS SOUPS 57260 WITH SCORE 57335.892
AT ITER 120 NEW BEST:: SOT 267340 SOS 75875 HAS SOPS 75875 HAS SOUS 57253 HAS SOUPS 57253 WITH SCORE 57328.875
AT ITER 123 NEW BEST:: SOT 267334 SOS 75863 HAS SOPS 75863 HAS SOUS 57241 HAS SOUPS 57241 WITH SCORE 57316.863
AT ITER 125 NEW BEST:: SOT 267334 SOS 75766 HAS SOPS 75766 HAS SOUS 57144 HAS SOUPS 57144 WITH SCORE 57219.766
AT ITER 163 NEW BEST:: SOT 267247 SOS 75505 HAS SOPS 75505 HAS SOUS 56970 HAS SOUPS 56970 WITH SCORE 57045.505
AT ITER 164 NEW BEST:: SOT 267122 SOS 75380 HAS SOPS 75380 HAS SOUS 56970 HAS SOUPS 56970 WITH SCORE 57045.38
AT ITER 181 NEW BEST:: SOT 267105 SOS 75348 HAS SOPS 75348 HAS SOUS 56938 HAS SOUPS 56938 WITH SCORE 57013.348
AT ITER 186 NEW BEST:: SOT 266549 SOS 76340 HAS SOPS 76340 HAS SOUS 56619 HAS SOUPS 56619 WITH SCORE 56695.34
AT ITER 187 NEW BEST:: SOT 265575 SOS 79008 HAS SOPS 79008 HAS SOUS 56093 HAS SOUPS 56093 WITH SCORE 56172.008
AT ITER 214 NEW BEST:: SOT 265575 SOS 78956 HAS SOPS 78956 HAS SOUS 56049 HAS SOUPS 56049 WITH SCORE 56127.956
AT ITER 219 NEW BEST:: SOT 265135 SOS 79448 HAS SOPS 79448 HAS SOUS 55816 HAS SOUPS 55816 WITH SCORE 55895.448
AT ITER 226 NEW BEST:: SOT 265135 SOS 79335 HAS SOPS 79335 HAS SOUS 55816 HAS SOUPS 55816 WITH SCORE 55895.335
AT ITER 231 NEW BEST:: SOT 265000 SOS 79223 HAS SOPS 79223 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55876.223
AT ITER 244 NEW BEST:: SOT 264959 SOS 78927 HAS SOPS 78927 HAS SOUS 55715 HAS SOUPS 55715 WITH SCORE 55793.927
AT ITER 245 NEW BEST:: SOT 264899 SOS 78877 HAS SOPS 78877 HAS SOUS 55660 HAS SOUPS 55660 WITH SCORE 55738.877
AT ITER 255 NEW BEST:: SOT 264958 SOS 78618 HAS SOPS 78618 HAS SOUS 55401 HAS SOUPS 55401 WITH SCORE 55479.618
AT ITER 268 NEW BEST:: SOT 264782 SOS 78462 HAS SOPS 78462 HAS SOUS 55229 HAS SOUPS 55229 WITH SCORE 55307.462
AT ITER 278 NEW BEST:: SOT 264799 SOS 78461 HAS SOPS 78461 HAS SOUS 55228 HAS SOUPS 55228 WITH SCORE 55306.461
AT ITER 305 NEW BEST:: SOT 264809 SOS 78446 HAS SOPS 78446 HAS SOUS 55211 HAS SOUPS 55211 WITH SCORE 55289.446
AT ITER 319 NEW BEST:: SOT 264698 SOS 78306 HAS SOPS 78306 HAS SOUS 55151 HAS SOUPS 55151 WITH SCORE 55229.306
AT ITER 332 NEW BEST:: SOT 264700 SOS 78297 HAS SOPS 78297 HAS SOUS 55139 HAS SOUPS 55139 WITH SCORE 55217.297
AT ITER 343 NEW BEST:: SOT 264700 SOS 78277 HAS SOPS 78277 HAS SOUS 55139 HAS SOUPS 55139 WITH SCORE 55217.277
AT ITER 355 NEW BEST:: SOT 264684 SOS 78241 HAS SOPS 78241 HAS SOUS 55094 HAS SOUPS 55094 WITH SCORE 55172.241
AT ITER 358 NEW BEST:: SOT 264689 SOS 78028 HAS SOPS 78028 HAS SOUS 54957 HAS SOUPS 54957 WITH SCORE 55035.028
AT ITER 360 NEW BEST:: SOT 264474 SOS 78550 HAS SOPS 78550 HAS SOUS 54912 HAS SOUPS 54912 WITH SCORE 54990.55
AT ITER 371 NEW BEST:: SOT 264469 SOS 78542 HAS SOPS 78542 HAS SOUS 54912 HAS SOUPS 54912 WITH SCORE 54990.542
AT ITER 376 NEW BEST:: SOT 264381 SOS 78366 HAS SOPS 78366 HAS SOUS 54824 HAS SOUPS 54824 WITH SCORE 54902.366
AT ITER 388 NEW BEST:: SOT 264369 SOS 78348 HAS SOPS 78348 HAS SOUS 54806 HAS SOUPS 54806 WITH SCORE 54884.348
AT ITER 392 NEW BEST:: SOT 264369 SOS 78318 HAS SOPS 78318 HAS SOUS 54791 HAS SOUPS 54791 WITH SCORE 54869.318
AT ITER 400 NEW BEST:: SOT 264369 SOS 78296 HAS SOPS 78296 HAS SOUS 54769 HAS SOUPS 54769 WITH SCORE 54847.296
AT ITER 401 NEW BEST:: SOT 264337 SOS 78232 HAS SOPS 78232 HAS SOUS 54737 HAS SOUPS 54737 WITH SCORE 54815.232
AT ITER 404 NEW BEST:: SOT 264182 SOS 77922 HAS SOPS 77922 HAS SOUS 54427 HAS SOUPS 54427 WITH SCORE 54504.922
AT ITER 406 NEW BEST:: SOT 264127 SOS 77812 HAS SOPS 77812 HAS SOUS 54317 HAS SOUPS 54317 WITH SCORE 54394.812
AT ITER 407 NEW BEST:: SOT 264127 SOS 77806 HAS SOPS 77806 HAS SOUS 54311 HAS SOUPS 54311 WITH SCORE 54388.806
AT ITER 423 NEW BEST:: SOT 264127 SOS 77703 HAS SOPS 77703 HAS SOUS 54208 HAS SOUPS 54208 WITH SCORE 54285.703
AT ITER 428 NEW BEST:: SOT 264127 SOS 77703 HAS SOPS 77703 HAS SOUS 54207 HAS SOUPS 54207 WITH SCORE 54284.703
AT ITER 439 NEW BEST:: SOT 264122 SOS 77698 HAS SOPS 77698 HAS SOUS 54191 HAS SOUPS 54191 WITH SCORE 54268.698
AT ITER 454 NEW BEST:: SOT 264041 SOS 77334 HAS SOPS 77334 HAS SOUS 54046 HAS SOUPS 54046 WITH SCORE 54123.334
AT ITER 465 NEW BEST:: SOT 264041 SOS 77220 HAS SOPS 77220 HAS SOUS 53932 HAS SOUPS 53932 WITH SCORE 54009.22
AT ITER 468 NEW BEST:: SOT 264028 SOS 77194 HAS SOPS 77194 HAS SOUS 53919 HAS SOUPS 53919 WITH SCORE 53996.194
AT ITER 485 NEW BEST:: SOT 264028 SOS 77154 HAS SOPS 77154 HAS SOUS 53919 HAS SOUPS 53919 WITH SCORE 53996.154
AT ITER 497 NEW BEST:: SOT 263891 SOS 76880 HAS SOPS 76880 HAS SOUS 53705 HAS SOUPS 53705 WITH SCORE 53781.88
AT ITER 502 NEW BEST:: SOT 263892 SOS 76882 HAS SOPS 76882 HAS SOUS 53700 HAS SOUPS 53700 WITH SCORE 53776.882
AT ITER 522 NEW BEST:: SOT 264029 SOS 76876 HAS SOPS 76876 HAS SOUS 53694 HAS SOUPS 53694 WITH SCORE 53770.876
AT ITER 531 NEW BEST:: SOT 264003 SOS 76824 HAS SOPS 76824 HAS SOUS 53668 HAS SOUPS 53668 WITH SCORE 53744.824
AT ITER 555 NEW BEST:: SOT 264003 SOS 76728 HAS SOPS 76728 HAS SOUS 53572 HAS SOUPS 53572 WITH SCORE 53648.728
AT ITER 578 NEW BEST:: SOT 263994 SOS 76710 HAS SOPS 76710 HAS SOUS 53552 HAS SOUPS 53552 WITH SCORE 53628.71
AT ITER 583 NEW BEST:: SOT 262880 SOS 77611 HAS SOPS 77611 HAS SOUS 52809 HAS SOUPS 52809 WITH SCORE 52886.611
AT ITER 601 NEW BEST:: SOT 262879 SOS 77610 HAS SOPS 77610 HAS SOUS 52809 HAS SOUPS 52809 WITH SCORE 52886.61
AT ITER 606 NEW BEST:: SOT 262879 SOS 77570 HAS SOPS 77570 HAS SOUS 52769 HAS SOUPS 52769 WITH SCORE 52846.57
AT ITER 608 NEW BEST:: SOT 262640 SOS 77331 HAS SOPS 77331 HAS SOUS 52705 HAS SOUPS 52705 WITH SCORE 52782.331
AT ITER 611 NEW BEST:: SOT 262634 SOS 77319 HAS SOPS 77319 HAS SOUS 52693 HAS SOUPS 52693 WITH SCORE 52770.319
AT ITER 612 NEW BEST:: SOT 262633 SOS 77317 HAS SOPS 77317 HAS SOUS 52691 HAS SOUPS 52691 WITH SCORE 52768.317
AT ITER 624 NEW BEST:: SOT 262633 SOS 77286 HAS SOPS 77286 HAS SOUS 52683 HAS SOUPS 52683 WITH SCORE 52760.286
AT ITER 637 NEW BEST:: SOT 262655 SOS 77054 HAS SOPS 77054 HAS SOUS 52451 HAS SOUPS 52451 WITH SCORE 52528.054
AT ITER 643 NEW BEST:: SOT 262643 SOS 77042 HAS SOPS 77042 HAS SOUS 52439 HAS SOUPS 52439 WITH SCORE 52516.042
AT ITER 646 NEW BEST:: SOT 262481 SOS 76718 HAS SOPS 76718 HAS SOUS 52388 HAS SOUPS 52388 WITH SCORE 52464.718
AT ITER 660 NEW BEST:: SOT 262481 SOS 76718 HAS SOPS 76718 HAS SOUS 52387 HAS SOUPS 52387 WITH SCORE 52463.718
AT ITER 664 NEW BEST:: SOT 262315 SOS 76386 HAS SOPS 76386 HAS SOUS 52055 HAS SOUPS 52055 WITH SCORE 52131.386
AT ITER 665 NEW BEST:: SOT 262158 SOS 76072 HAS SOPS 76072 HAS SOUS 51743 HAS SOUPS 51743 WITH SCORE 51819.072
AT ITER 673 NEW BEST:: SOT 262105 SOS 75900 HAS SOPS 75900 HAS SOUS 51637 HAS SOUPS 51637 WITH SCORE 51712.9
AT ITER 680 NEW BEST:: SOT 261552 SOS 76744 HAS SOPS 76744 HAS SOUS 51335 HAS SOUPS 51335 WITH SCORE 51411.744
AT ITER 694 NEW BEST:: SOT 261538 SOS 76716 HAS SOPS 76716 HAS SOUS 51307 HAS SOUPS 51307 WITH SCORE 51383.716
AT ITER 705 NEW BEST:: SOT 261492 SOS 76647 HAS SOPS 76647 HAS SOUS 51284 HAS SOUPS 51284 WITH SCORE 51360.647
AT ITER 709 NEW BEST:: SOT 261459 SOS 76614 HAS SOPS 76614 HAS SOUS 51218 HAS SOUPS 51218 WITH SCORE 51294.614
AT ITER 760 NEW BEST:: SOT 261516 SOS 76614 HAS SOPS 76614 HAS SOUS 51186 HAS SOUPS 51186 WITH SCORE 51262.614
AT ITER 763 NEW BEST:: SOT 261516 SOS 76614 HAS SOPS 76614 HAS SOUS 51116 HAS SOUPS 51116 WITH SCORE 51192.614
AT ITER 767 NEW BEST:: SOT 261516 SOS 76591 HAS SOPS 76591 HAS SOUS 51093 HAS SOUPS 51093 WITH SCORE 51169.591
AT ITER 770 NEW BEST:: SOT 261198 SOS 75955 HAS SOPS 75955 HAS SOUS 50643 HAS SOUPS 50643 WITH SCORE 50718.955
AT ITER 776 NEW BEST:: SOT 261196 SOS 75951 HAS SOPS 75951 HAS SOUS 50641 HAS SOUPS 50641 WITH SCORE 50716.951
AT ITER 777 NEW BEST:: SOT 261196 SOS 75927 HAS SOPS 75927 HAS SOUS 50602 HAS SOUPS 50602 WITH SCORE 50677.927
AT ITER 780 NEW BEST:: SOT 261196 SOS 75867 HAS SOPS 75867 HAS SOUS 50542 HAS SOUPS 50542 WITH SCORE 50617.867
AT ITER 781 NEW BEST:: SOT 261127 SOS 74653 HAS SOPS 74653 HAS SOUS 50379 HAS SOUPS 50379 WITH SCORE 50453.653
AT ITER 802 NEW BEST:: SOT 261126 SOS 74651 HAS SOPS 74651 HAS SOUS 50377 HAS SOUPS 50377 WITH SCORE 50451.651
AT ITER 812 NEW BEST:: SOT 261099 SOS 74557 HAS SOPS 74557 HAS SOUS 50260 HAS SOUPS 50260 WITH SCORE 50334.557
AT ITER 816 NEW BEST:: SOT 261040 SOS 74439 HAS SOPS 74439 HAS SOUS 50142 HAS SOUPS 50142 WITH SCORE 50216.439
AT ITER 826 NEW BEST:: SOT 261035 SOS 74434 HAS SOPS 74434 HAS SOUS 50132 HAS SOUPS 50132 WITH SCORE 50206.434
AT ITER 831 NEW BEST:: SOT 260924 SOS 74212 HAS SOPS 74212 HAS SOUS 50129 HAS SOUPS 50129 WITH SCORE 50203.212
AT ITER 841 NEW BEST:: SOT 260975 SOS 74122 HAS SOPS 74122 HAS SOUS 50052 HAS SOUPS 50052 WITH SCORE 50126.122
AT ITER 842 NEW BEST:: SOT 260876 SOS 73924 HAS SOPS 73924 HAS SOUS 49956 HAS SOUPS 49956 WITH SCORE 50029.924
AT ITER 845 NEW BEST:: SOT 260771 SOS 73819 HAS SOPS 73819 HAS SOUS 49851 HAS SOUPS 49851 WITH SCORE 49924.819
AT ITER 846 NEW BEST:: SOT 260692 SOS 73661 HAS SOPS 73661 HAS SOUS 49788 HAS SOUPS 49788 WITH SCORE 49861.661
AT ITER 851 NEW BEST:: SOT 260687 SOS 73651 HAS SOPS 73651 HAS SOUS 49739 HAS SOUPS 49739 WITH SCORE 49812.651
AT ITER 853 NEW BEST:: SOT 260685 SOS 73647 HAS SOPS 73647 HAS SOUS 49736 HAS SOUPS 49736 WITH SCORE 49809.647
AT ITER 855 NEW BEST:: SOT 260606 SOS 71830 HAS SOPS 71830 HAS SOUS 49578 HAS SOUPS 49578 WITH SCORE 49649.83
AT ITER 864 NEW BEST:: SOT 260682 SOS 71906 HAS SOPS 71906 HAS SOUS 49561 HAS SOUPS 49561 WITH SCORE 49632.906
AT ITER 870 NEW BEST:: SOT 260707 SOS 71790 HAS SOPS 71790 HAS SOUS 49542 HAS SOUPS 49542 WITH SCORE 49613.79
AT ITER 890 NEW BEST:: SOT 260516 SOS 71525 HAS SOPS 71525 HAS SOUS 49224 HAS SOUPS 49224 WITH SCORE 49295.525
AT ITER 903 NEW BEST:: SOT 260469 SOS 71431 HAS SOPS 71431 HAS SOUS 49090 HAS SOUPS 49090 WITH SCORE 49161.431
AT ITER 913 NEW BEST:: SOT 260469 SOS 71431 HAS SOPS 71431 HAS SOUS 49089 HAS SOUPS 49089 WITH SCORE 49160.431
AT ITER 923 NEW BEST:: SOT 260437 SOS 71367 HAS SOPS 71367 HAS SOUS 49025 HAS SOUPS 49025 WITH SCORE 49096.367
AT ITER 926 NEW BEST:: SOT 260365 SOS 71223 HAS SOPS 71223 HAS SOUS 48881 HAS SOUPS 48881 WITH SCORE 48952.223
AT ITER 930 NEW BEST:: SOT 260347 SOS 71187 HAS SOPS 71187 HAS SOUS 48845 HAS SOUPS 48845 WITH SCORE 48916.187
AT ITER 945 NEW BEST:: SOT 260309 SOS 71111 HAS SOPS 71111 HAS SOUS 48769 HAS SOUPS 48769 WITH SCORE 48840.111
AT ITER 946 NEW BEST:: SOT 260287 SOS 71107 HAS SOPS 71107 HAS SOUS 48765 HAS SOUPS 48765 WITH SCORE 48836.107
AT ITER 968 NEW BEST:: SOT 260287 SOS 71106 HAS SOPS 71106 HAS SOUS 48764 HAS SOUPS 48764 WITH SCORE 48835.106
AT ITER 970 NEW BEST:: SOT 260372 SOS 71078 HAS SOPS 71078 HAS SOUS 48736 HAS SOUPS 48736 WITH SCORE 48807.078
AT ITER 972 NEW BEST:: SOT 260282 SOS 70943 HAS SOPS 70943 HAS SOUS 48723 HAS SOUPS 48723 WITH SCORE 48793.943
AT ITER 979 NEW BEST:: SOT 260245 SOS 70832 HAS SOPS 70832 HAS SOUS 48649 HAS SOUPS 48649 WITH SCORE 48719.832
AT ITER 982 NEW BEST:: SOT 260245 SOS 70858 HAS SOPS 70858 HAS SOUS 48640 HAS SOUPS 48640 WITH SCORE 48710.858
AT ITER 983 NEW BEST:: SOT 259997 SOS 70659 HAS SOPS 70659 HAS SOUS 48453 HAS SOUPS 48453 WITH SCORE 48523.659
AT ITER 986 NEW BEST:: SOT 259997 SOS 70574 HAS SOPS 70574 HAS SOUS 48453 HAS SOUPS 48453 WITH SCORE 48523.574
AT ITER 1016 NEW BEST:: SOT 260047 SOS 70510 HAS SOPS 70510 HAS SOUS 48389 HAS SOUPS 48389 WITH SCORE 48459.51
AT ITER 1030 NEW BEST:: SOT 260048 SOS 70687 HAS SOPS 70687 HAS SOUS 48388 HAS SOUPS 48388 WITH SCORE 48458.687
AT ITER 1038 NEW BEST:: SOT 260004 SOS 70660 HAS SOPS 70660 HAS SOUS 48361 HAS SOUPS 48361 WITH SCORE 48431.66
AT ITER 1039 NEW BEST:: SOT 260079 SOS 70639 HAS SOPS 70639 HAS SOUS 48340 HAS SOUPS 48340 WITH SCORE 48410.639
AT ITER 1041 NEW BEST:: SOT 260052 SOS 70612 HAS SOPS 70612 HAS SOUS 48340 HAS SOUPS 48340 WITH SCORE 48410.612
AT ITER 1046 NEW BEST:: SOT 260006 SOS 70586 HAS SOPS 70586 HAS SOUS 48336 HAS SOUPS 48336 WITH SCORE 48406.586
AT ITER 1067 NEW BEST:: SOT 259989 SOS 70552 HAS SOPS 70552 HAS SOUS 48302 HAS SOUPS 48302 WITH SCORE 48372.552
AT ITER 1087 NEW BEST:: SOT 259977 SOS 70540 HAS SOPS 70540 HAS SOUS 48290 HAS SOUPS 48290 WITH SCORE 48360.54
AT ITER 1091 NEW BEST:: SOT 259929 SOS 70500 HAS SOPS 70500 HAS SOUS 48246 HAS SOUPS 48246 WITH SCORE 48316.5
AT ITER 1094 NEW BEST:: SOT 259781 SOS 70394 HAS SOPS 70394 HAS SOUS 48215 HAS SOUPS 48215 WITH SCORE 48285.394
AT ITER 1095 NEW BEST:: SOT 259792 SOS 70391 HAS SOPS 70391 HAS SOUS 48207 HAS SOUPS 48207 WITH SCORE 48277.391
AT ITER 1097 NEW BEST:: SOT 259765 SOS 70364 HAS SOPS 70364 HAS SOUS 48180 HAS SOUPS 48180 WITH SCORE 48250.364
AT ITER 1108 NEW BEST:: SOT 259785 SOS 70364 HAS SOPS 70364 HAS SOUS 48160 HAS SOUPS 48160 WITH SCORE 48230.364
AT ITER 1110 NEW BEST:: SOT 259786 SOS 70315 HAS SOPS 70315 HAS SOUS 48160 HAS SOUPS 48160 WITH SCORE 48230.315
AT ITER 1111 NEW BEST:: SOT 259710 SOS 70163 HAS SOPS 70163 HAS SOUS 48087 HAS SOUPS 48087 WITH SCORE 48157.163
AT ITER 1115 NEW BEST:: SOT 259588 SOS 70041 HAS SOPS 70041 HAS SOUS 48026 HAS SOUPS 48026 WITH SCORE 48096.041
AT ITER 1133 NEW BEST:: SOT 259578 SOS 70021 HAS SOPS 70021 HAS SOUS 47995 HAS SOUPS 47995 WITH SCORE 48065.021
AT ITER 1135 NEW BEST:: SOT 259578 SOS 70009 HAS SOPS 70009 HAS SOUS 47989 HAS SOUPS 47989 WITH SCORE 48059.009
AT ITER 1150 NEW BEST:: SOT 259478 SOS 69889 HAS SOPS 69889 HAS SOUS 47889 HAS SOUPS 47889 WITH SCORE 47958.889
AT ITER 1170 NEW BEST:: SOT 259478 SOS 69889 HAS SOPS 69889 HAS SOUS 47880 HAS SOUPS 47880 WITH SCORE 47949.889
AT ITER 1182 NEW BEST:: SOT 259458 SOS 69869 HAS SOPS 69869 HAS SOUS 47860 HAS SOUPS 47860 WITH SCORE 47929.869
AT ITER 1183 NEW BEST:: SOT 259415 SOS 69666 HAS SOPS 69666 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47770.666
AT ITER 1189 NEW BEST:: SOT 259364 SOS 69564 HAS SOPS 69564 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47770.564
AT ITER 1190 NEW BEST:: SOT 259346 SOS 69528 HAS SOPS 69528 HAS SOUS 47674 HAS SOUPS 47674 WITH SCORE 47743.528
AT ITER 1192 NEW BEST:: SOT 259522 SOS 69729 HAS SOPS 69729 HAS SOUS 47612 HAS SOUPS 47612 WITH SCORE 47681.729
AT ITER 1195 NEW BEST:: SOT 259510 SOS 69705 HAS SOPS 69705 HAS SOUS 47588 HAS SOUPS 47588 WITH SCORE 47657.705
AT ITER 1199 NEW BEST:: SOT 259224 SOS 69619 HAS SOPS 69619 HAS SOUS 47339 HAS SOUPS 47339 WITH SCORE 47408.619
AT ITER 1201 NEW BEST:: SOT 259213 SOS 69572 HAS SOPS 69572 HAS SOUS 47303 HAS SOUPS 47303 WITH SCORE 47372.572
AT ITER 1220 NEW BEST:: SOT 259087 SOS 69444 HAS SOPS 69444 HAS SOUS 47280 HAS SOUPS 47280 WITH SCORE 47349.444
AT ITER 1225 NEW BEST:: SOT 259087 SOS 69401 HAS SOPS 69401 HAS SOUS 47237 HAS SOUPS 47237 WITH SCORE 47306.401
AT ITER 1240 NEW BEST:: SOT 259063 SOS 69353 HAS SOPS 69353 HAS SOUS 47230 HAS SOUPS 47230 WITH SCORE 47299.353
AT ITER 1248 NEW BEST:: SOT 258719 SOS 69181 HAS SOPS 69181 HAS SOUS 46929 HAS SOUPS 46929 WITH SCORE 46998.181
AT ITER 1251 NEW BEST:: SOT 258709 SOS 69161 HAS SOPS 69161 HAS SOUS 46909 HAS SOUPS 46909 WITH SCORE 46978.161
AT ITER 1265 NEW BEST:: SOT 258708 SOS 69142 HAS SOPS 69142 HAS SOUS 46889 HAS SOUPS 46889 WITH SCORE 46958.142
AT ITER 1272 NEW BEST:: SOT 258569 SOS 68889 HAS SOPS 68889 HAS SOUS 46809 HAS SOUPS 46809 WITH SCORE 46877.889
AT ITER 1275 NEW BEST:: SOT 258544 SOS 68839 HAS SOPS 68839 HAS SOUS 46752 HAS SOUPS 46752 WITH SCORE 46820.839
AT ITER 1283 NEW BEST:: SOT 258088 SOS 68155 HAS SOPS 68155 HAS SOUS 46296 HAS SOUPS 46296 WITH SCORE 46364.155
AT ITER 1289 NEW BEST:: SOT 258052 SOS 68077 HAS SOPS 68077 HAS SOUS 46236 HAS SOUPS 46236 WITH SCORE 46304.077
AT ITER 1295 NEW BEST:: SOT 257908 SOS 67861 HAS SOPS 67861 HAS SOUS 46092 HAS SOUPS 46092 WITH SCORE 46159.861
AT ITER 1298 NEW BEST:: SOT 257803 SOS 67651 HAS SOPS 67651 HAS SOUS 46000 HAS SOUPS 46000 WITH SCORE 46067.651
AT ITER 1302 NEW BEST:: SOT 257799 SOS 67643 HAS SOPS 67643 HAS SOUS 45996 HAS SOUPS 45996 WITH SCORE 46063.643
AT ITER 1314 NEW BEST:: SOT 257821 SOS 67594 HAS SOPS 67594 HAS SOUS 45947 HAS SOUPS 45947 WITH SCORE 46014.594
AT ITER 1333 NEW BEST:: SOT 257770 SOS 67492 HAS SOPS 67492 HAS SOUS 45896 HAS SOUPS 45896 WITH SCORE 45963.492
AT ITER 1334 NEW BEST:: SOT 257759 SOS 67470 HAS SOPS 67470 HAS SOUS 45874 HAS SOUPS 45874 WITH SCORE 45941.47
AT ITER 1345 NEW BEST:: SOT 257578 SOS 67218 HAS SOPS 67218 HAS SOUS 45727 HAS SOUPS 45727 WITH SCORE 45794.218
AT ITER 1349 NEW BEST:: SOT 257559 SOS 67180 HAS SOPS 67180 HAS SOUS 45689 HAS SOUPS 45689 WITH SCORE 45756.18
AT ITER 1356 NEW BEST:: SOT 257549 SOS 67180 HAS SOPS 67180 HAS SOUS 45688 HAS SOUPS 45688 WITH SCORE 45755.18
AT ITER 1362 NEW BEST:: SOT 257497 SOS 67106 HAS SOPS 67106 HAS SOUS 45610 HAS SOUPS 45610 WITH SCORE 45677.106
AT ITER 1371 NEW BEST:: SOT 257463 SOS 67063 HAS SOPS 67063 HAS SOUS 45576 HAS SOUPS 45576 WITH SCORE 45643.063
AT ITER 1395 NEW BEST:: SOT 257477 SOS 67048 HAS SOPS 67048 HAS SOUS 45553 HAS SOUPS 45553 WITH SCORE 45620.048
AT ITER 1399 NEW BEST:: SOT 257402 SOS 67019 HAS SOPS 67019 HAS SOUS 45473 HAS SOUPS 45473 WITH SCORE 45540.019
AT ITER 1410 NEW BEST:: SOT 257312 SOS 66839 HAS SOPS 66839 HAS SOUS 45338 HAS SOUPS 45338 WITH SCORE 45404.839
AT ITER 1413 NEW BEST:: SOT 257265 SOS 66578 HAS SOPS 66578 HAS SOUS 45077 HAS SOUPS 45077 WITH SCORE 45143.578
AT ITER 1424 NEW BEST:: SOT 257256 SOS 66560 HAS SOPS 66560 HAS SOUS 45068 HAS SOUPS 45068 WITH SCORE 45134.56
AT ITER 1472 NEW BEST:: SOT 257199 SOS 66558 HAS SOPS 66558 HAS SOUS 45028 HAS SOUPS 45028 WITH SCORE 45094.558
AT ITER 1478 NEW BEST:: SOT 257157 SOS 66547 HAS SOPS 66547 HAS SOUS 45017 HAS SOUPS 45017 WITH SCORE 45083.547
AT ITER 1495 NEW BEST:: SOT 257157 SOS 66547 HAS SOPS 66547 HAS SOUS 44998 HAS SOUPS 44998 WITH SCORE 45064.547
AT ITER 1498 NEW BEST:: SOT 257157 SOS 66547 HAS SOPS 66547 HAS SOUS 44975 HAS SOUPS 44975 WITH SCORE 45041.547
AT ITER 1500 NEW BEST:: SOT 257123 SOS 66513 HAS SOPS 66513 HAS SOUS 44941 HAS SOUPS 44941 WITH SCORE 45007.513
AT ITER 1544 NEW BEST:: SOT 257123 SOS 66511 HAS SOPS 66511 HAS SOUS 44941 HAS SOUPS 44941 WITH SCORE 45007.511
AT ITER 1546 NEW BEST:: SOT 257209 SOS 66571 HAS SOPS 66571 HAS SOUS 44915 HAS SOUPS 44915 WITH SCORE 44981.571
AT ITER 1548 NEW BEST:: SOT 257209 SOS 66469 HAS SOPS 66469 HAS SOUS 44864 HAS SOUPS 44864 WITH SCORE 44930.469
AT ITER 1550 NEW BEST:: SOT 257198 SOS 66452 HAS SOPS 66452 HAS SOUS 44847 HAS SOUPS 44847 WITH SCORE 44913.452
AT ITER 1566 NEW BEST:: SOT 257170 SOS 66380 HAS SOPS 66380 HAS SOUS 44803 HAS SOUPS 44803 WITH SCORE 44869.38
AT ITER 1577 NEW BEST:: SOT 257141 SOS 66351 HAS SOPS 66351 HAS SOUS 44774 HAS SOUPS 44774 WITH SCORE 44840.351
AT ITER 1581 NEW BEST:: SOT 257140 SOS 66279 HAS SOPS 66279 HAS SOUS 44772 HAS SOUPS 44772 WITH SCORE 44838.279
AT ITER 1623 NEW BEST:: SOT 257096 SOS 66229 HAS SOPS 66229 HAS SOUS 44687 HAS SOUPS 44687 WITH SCORE 44753.229
AT ITER 1627 NEW BEST:: SOT 257096 SOS 66165 HAS SOPS 66165 HAS SOUS 44623 HAS SOUPS 44623 WITH SCORE 44689.165
AT ITER 1629 NEW BEST:: SOT 257130 SOS 66151 HAS SOPS 66151 HAS SOUS 44612 HAS SOUPS 44612 WITH SCORE 44678.151
AT ITER 1633 NEW BEST:: SOT 257142 SOS 66147 HAS SOPS 66147 HAS SOUS 44597 HAS SOUPS 44597 WITH SCORE 44663.147
AT ITER 1648 NEW BEST:: SOT 257159 SOS 66052 HAS SOPS 66052 HAS SOUS 44502 HAS SOUPS 44502 WITH SCORE 44568.052
AT ITER 1656 NEW BEST:: SOT 257136 SOS 66006 HAS SOPS 66006 HAS SOUS 44456 HAS SOUPS 44456 WITH SCORE 44522.006
AT ITER 1666 NEW BEST:: SOT 257083 SOS 65937 HAS SOPS 65937 HAS SOUS 44424 HAS SOUPS 44424 WITH SCORE 44489.937
AT ITER 1681 NEW BEST:: SOT 256976 SOS 65830 HAS SOPS 65830 HAS SOUS 44317 HAS SOUPS 44317 WITH SCORE 44382.83
AT ITER 1697 NEW BEST:: SOT 256974 SOS 65810 HAS SOPS 65810 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44378.81
AT ITER 1745 NEW BEST:: SOT 256974 SOS 65810 HAS SOPS 65810 HAS SOUS 44278 HAS SOUPS 44278 WITH SCORE 44343.81
AT ITER 1746 NEW BEST:: SOT 256919 SOS 65700 HAS SOPS 65700 HAS SOUS 44223 HAS SOUPS 44223 WITH SCORE 44288.7
AT ITER 1754 NEW BEST:: SOT 256919 SOS 65700 HAS SOPS 65700 HAS SOUS 44005 HAS SOUPS 44005 WITH SCORE 44070.7
AT ITER 1757 NEW BEST:: SOT 256904 SOS 65685 HAS SOPS 65685 HAS SOUS 44002 HAS SOUPS 44002 WITH SCORE 44067.685
AT ITER 1775 NEW BEST:: SOT 256904 SOS 65651 HAS SOPS 65651 HAS SOUS 44002 HAS SOUPS 44002 WITH SCORE 44067.651
AT ITER 1799 NEW BEST:: SOT 256904 SOS 65636 HAS SOPS 65636 HAS SOUS 43992 HAS SOUPS 43992 WITH SCORE 44057.636
AT ITER 1800 NEW BEST:: SOT 256914 SOS 65635 HAS SOPS 65635 HAS SOUS 43981 HAS SOUPS 43981 WITH SCORE 44046.635
AT ITER 1809 NEW BEST:: SOT 256838 SOS 65483 HAS SOPS 65483 HAS SOUS 43905 HAS SOUPS 43905 WITH SCORE 43970.483
AT ITER 1817 NEW BEST:: SOT 256814 SOS 65435 HAS SOPS 65435 HAS SOUS 43857 HAS SOUPS 43857 WITH SCORE 43922.435
AT ITER 1823 NEW BEST:: SOT 256832 SOS 65309 HAS SOPS 65309 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43910.309
AT ITER 1826 NEW BEST:: SOT 255911 SOS 65006 HAS SOPS 65006 HAS SOUS 42942 HAS SOUPS 42942 WITH SCORE 43007.006
AT ITER 1833 NEW BEST:: SOT 255909 SOS 65004 HAS SOPS 65004 HAS SOUS 42938 HAS SOUPS 42938 WITH SCORE 43003.004
AT ITER 1835 NEW BEST:: SOT 255909 SOS 65004 HAS SOPS 65004 HAS SOUS 42916 HAS SOUPS 42916 WITH SCORE 42981.004
AT ITER 1847 NEW BEST:: SOT 255909 SOS 64979 HAS SOPS 64979 HAS SOUS 42891 HAS SOUPS 42891 WITH SCORE 42955.979
AT ITER 1871 NEW BEST:: SOT 255898 SOS 64957 HAS SOPS 64957 HAS SOUS 42880 HAS SOUPS 42880 WITH SCORE 42944.957
AT ITER 1914 NEW BEST:: SOT 255899 SOS 64922 HAS SOPS 64922 HAS SOUS 42852 HAS SOUPS 42852 WITH SCORE 42916.922
AT ITER 1924 NEW BEST:: SOT 255850 SOS 64824 HAS SOPS 64824 HAS SOUS 42838 HAS SOUPS 42838 WITH SCORE 42902.824
AT ITER 1933 NEW BEST:: SOT 255931 SOS 64905 HAS SOPS 64905 HAS SOUS 42819 HAS SOUPS 42819 WITH SCORE 42883.905
AT ITER 1940 NEW BEST:: SOT 255919 SOS 64893 HAS SOPS 64893 HAS SOUS 42816 HAS SOUPS 42816 WITH SCORE 42880.893
AT ITER 1965 NEW BEST:: SOT 255918 SOS 64887 HAS SOPS 64887 HAS SOUS 42810 HAS SOUPS 42810 WITH SCORE 42874.887
AT ITER 1984 NEW BEST:: SOT 255896 SOS 64854 HAS SOPS 64854 HAS SOUS 42788 HAS SOUPS 42788 WITH SCORE 42852.854
AT ITER 2012 NEW BEST:: SOT 255882 SOS 64826 HAS SOPS 64826 HAS SOUS 42774 HAS SOUPS 42774 WITH SCORE 42838.826
AT ITER 2015 NEW BEST:: SOT 255864 SOS 64790 HAS SOPS 64790 HAS SOUS 42726 HAS SOUPS 42726 WITH SCORE 42790.79
AT ITER 2025 NEW BEST:: SOT 255864 SOS 64786 HAS SOPS 64786 HAS SOUS 42722 HAS SOUPS 42722 WITH SCORE 42786.786
AT ITER 2029 NEW BEST:: SOT 255841 SOS 64740 HAS SOPS 64740 HAS SOUS 42676 HAS SOUPS 42676 WITH SCORE 42740.74
AT ITER 2035 NEW BEST:: SOT 255740 SOS 64538 HAS SOPS 64538 HAS SOUS 42572 HAS SOUPS 42572 WITH SCORE 42636.538
AT ITER 2057 NEW BEST:: SOT 255743 SOS 64544 HAS SOPS 64544 HAS SOUS 42559 HAS SOUPS 42559 WITH SCORE 42623.544
AT ITER 2091 NEW BEST:: SOT 255735 SOS 64536 HAS SOPS 64536 HAS SOUS 42551 HAS SOUPS 42551 WITH SCORE 42615.536
AT ITER 2118 NEW BEST:: SOT 255730 SOS 64604 HAS SOPS 64604 HAS SOUS 42546 HAS SOUPS 42546 WITH SCORE 42610.604
AT ITER 2176 NEW BEST:: SOT 255666 SOS 63708 HAS SOPS 63708 HAS SOUS 42450 HAS SOUPS 42450 WITH SCORE 42513.708
AT ITER 2215 NEW BEST:: SOT 255627 SOS 63651 HAS SOPS 63651 HAS SOUS 42393 HAS SOUPS 42393 WITH SCORE 42456.651
AT ITER 2222 NEW BEST:: SOT 255549 SOS 63495 HAS SOPS 63495 HAS SOUS 42315 HAS SOUPS 42315 WITH SCORE 42378.495
AT ITER 2261 NEW BEST:: SOT 255479 SOS 63425 HAS SOPS 63425 HAS SOUS 42313 HAS SOUPS 42313 WITH SCORE 42376.425
AT ITER 2264 NEW BEST:: SOT 255468 SOS 63403 HAS SOPS 63403 HAS SOUS 42302 HAS SOUPS 42302 WITH SCORE 42365.403
AT ITER 2265 NEW BEST:: SOT 255376 SOS 63219 HAS SOPS 63219 HAS SOUS 42164 HAS SOUPS 42164 WITH SCORE 42227.219
AT ITER 2271 NEW BEST:: SOT 255368 SOS 63203 HAS SOPS 63203 HAS SOUS 42101 HAS SOUPS 42101 WITH SCORE 42164.203
AT ITER 2273 NEW BEST:: SOT 255368 SOS 63179 HAS SOPS 63179 HAS SOUS 42077 HAS SOUPS 42077 WITH SCORE 42140.179
AT ITER 2280 NEW BEST:: SOT 255352 SOS 63147 HAS SOPS 63147 HAS SOUS 42009 HAS SOUPS 42009 WITH SCORE 42072.147
AT ITER 2284 NEW BEST:: SOT 254821 SOS 64482 HAS SOPS 64482 HAS SOUS 41665 HAS SOUPS 41665 WITH SCORE 41729.482
AT ITER 2293 NEW BEST:: SOT 254806 SOS 64452 HAS SOPS 64452 HAS SOUS 41635 HAS SOUPS 41635 WITH SCORE 41699.452
AT ITER 2304 NEW BEST:: SOT 254734 SOS 64308 HAS SOPS 64308 HAS SOUS 41561 HAS SOUPS 41561 WITH SCORE 41625.308
AT ITER 2310 NEW BEST:: SOT 254704 SOS 64053 HAS SOPS 64053 HAS SOUS 41501 HAS SOUPS 41501 WITH SCORE 41565.053
AT ITER 2316 NEW BEST:: SOT 254694 SOS 64033 HAS SOPS 64033 HAS SOUS 41477 HAS SOUPS 41477 WITH SCORE 41541.033
AT ITER 2323 NEW BEST:: SOT 254680 SOS 64020 HAS SOPS 64020 HAS SOUS 41464 HAS SOUPS 41464 WITH SCORE 41528.02
AT ITER 2342 NEW BEST:: SOT 254680 SOS 63943 HAS SOPS 63943 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41450.943
AT ITER 2361 NEW BEST:: SOT 254696 SOS 63919 HAS SOPS 63919 HAS SOUS 41363 HAS SOUPS 41363 WITH SCORE 41426.919
AT ITER 2425 NEW BEST:: SOT 254650 SOS 63827 HAS SOPS 63827 HAS SOUS 41271 HAS SOUPS 41271 WITH SCORE 41334.827
AT ITER 2426 NEW BEST:: SOT 254627 SOS 63819 HAS SOPS 63819 HAS SOUS 41263 HAS SOUPS 41263 WITH SCORE 41326.819
AT ITER 2434 NEW BEST:: SOT 254585 SOS 63778 HAS SOPS 63778 HAS SOUS 41222 HAS SOUPS 41222 WITH SCORE 41285.778
AT ITER 2437 NEW BEST:: SOT 254501 SOS 63760 HAS SOPS 63760 HAS SOUS 41179 HAS SOUPS 41179 WITH SCORE 41242.76
AT ITER 2442 NEW BEST:: SOT 254493 SOS 63748 HAS SOPS 63748 HAS SOUS 41167 HAS SOUPS 41167 WITH SCORE 41230.748
AT ITER 2458 NEW BEST:: SOT 254472 SOS 63727 HAS SOPS 63727 HAS SOUS 41167 HAS SOUPS 41167 WITH SCORE 41230.727
AT ITER 2470 NEW BEST:: SOT 254469 SOS 63697 HAS SOPS 63697 HAS SOUS 41137 HAS SOUPS 41137 WITH SCORE 41200.697
AT ITER 2492 NEW BEST:: SOT 254433 SOS 63625 HAS SOPS 63625 HAS SOUS 41100 HAS SOUPS 41100 WITH SCORE 41163.625
AT ITER 2504 NEW BEST:: SOT 254463 SOS 63555 HAS SOPS 63555 HAS SOUS 41090 HAS SOUPS 41090 WITH SCORE 41153.555
AT ITER 2524 NEW BEST:: SOT 254340 SOS 63173 HAS SOPS 63173 HAS SOUS 40791 HAS SOUPS 40791 WITH SCORE 40854.173
AT ITER 2545 NEW BEST:: SOT 254311 SOS 63057 HAS SOPS 63057 HAS SOUS 40733 HAS SOUPS 40733 WITH SCORE 40796.057
AT ITER 2563 NEW BEST:: SOT 254310 SOS 63056 HAS SOPS 63056 HAS SOUS 40731 HAS SOUPS 40731 WITH SCORE 40794.056
AT ITER 2592 NEW BEST:: SOT 254310 SOS 62836 HAS SOPS 62836 HAS SOUS 40721 HAS SOUPS 40721 WITH SCORE 40783.836
AT ITER 2596 NEW BEST:: SOT 254307 SOS 62833 HAS SOPS 62833 HAS SOUS 40718 HAS SOUPS 40718 WITH SCORE 40780.833
AT ITER 2606 NEW BEST:: SOT 254304 SOS 62827 HAS SOPS 62827 HAS SOUS 40712 HAS SOUPS 40712 WITH SCORE 40774.827
AT ITER 2607 NEW BEST:: SOT 254110 SOS 62439 HAS SOPS 62439 HAS SOUS 40658 HAS SOUPS 40658 WITH SCORE 40720.439
AT ITER 2608 NEW BEST:: SOT 254106 SOS 62435 HAS SOPS 62435 HAS SOUS 40654 HAS SOUPS 40654 WITH SCORE 40716.435
AT ITER 2612 NEW BEST:: SOT 253992 SOS 62423 HAS SOPS 62423 HAS SOUS 40558 HAS SOUPS 40558 WITH SCORE 40620.423
AT ITER 2623 NEW BEST:: SOT 253943 SOS 62409 HAS SOPS 62409 HAS SOUS 40509 HAS SOUPS 40509 WITH SCORE 40571.409
AT ITER 2628 NEW BEST:: SOT 253929 SOS 62381 HAS SOPS 62381 HAS SOUS 40495 HAS SOUPS 40495 WITH SCORE 40557.381
AT ITER 2642 NEW BEST:: SOT 253897 SOS 62349 HAS SOPS 62349 HAS SOUS 40463 HAS SOUPS 40463 WITH SCORE 40525.349
AT ITER 2675 NEW BEST:: SOT 253888 SOS 62339 HAS SOPS 62339 HAS SOUS 40453 HAS SOUPS 40453 WITH SCORE 40515.339
AT ITER 2714 NEW BEST:: SOT 253878 SOS 62319 HAS SOPS 62319 HAS SOUS 40443 HAS SOUPS 40443 WITH SCORE 40505.319
AT ITER 2726 NEW BEST:: SOT 253847 SOS 62167 HAS SOPS 62167 HAS SOUS 40389 HAS SOUPS 40389 WITH SCORE 40451.167
AT ITER 2730 NEW BEST:: SOT 253825 SOS 62156 HAS SOPS 62156 HAS SOUS 40387 HAS SOUPS 40387 WITH SCORE 40449.156
AT ITER 2732 NEW BEST:: SOT 253826 SOS 62158 HAS SOPS 62158 HAS SOUS 40375 HAS SOUPS 40375 WITH SCORE 40437.158
AT ITER 2734 NEW BEST:: SOT 253915 SOS 62185 HAS SOPS 62185 HAS SOUS 40313 HAS SOUPS 40313 WITH SCORE 40375.185
AT ITER 2783 NEW BEST:: SOT 253882 SOS 62119 HAS SOPS 62119 HAS SOUS 40229 HAS SOUPS 40229 WITH SCORE 40291.119
AT ITER 2798 NEW BEST:: SOT 253875 SOS 62105 HAS SOPS 62105 HAS SOUS 40215 HAS SOUPS 40215 WITH SCORE 40277.105
AT ITER 2799 NEW BEST:: SOT 253836 SOS 62066 HAS SOPS 62066 HAS SOUS 40215 HAS SOUPS 40215 WITH SCORE 40277.066
AT ITER 2802 NEW BEST:: SOT 253780 SOS 61954 HAS SOPS 61954 HAS SOUS 40174 HAS SOUPS 40174 WITH SCORE 40235.954
AT ITER 2852 NEW BEST:: SOT 253754 SOS 61928 HAS SOPS 61928 HAS SOUS 40158 HAS SOUPS 40158 WITH SCORE 40219.928
AT ITER 2859 NEW BEST:: SOT 253700 SOS 61912 HAS SOPS 61912 HAS SOUS 40104 HAS SOUPS 40104 WITH SCORE 40165.912
AT ITER 2873 NEW BEST:: SOT 253693 SOS 61905 HAS SOPS 61905 HAS SOUS 40097 HAS SOUPS 40097 WITH SCORE 40158.905
AT ITER 2877 NEW BEST:: SOT 253669 SOS 61875 HAS SOPS 61875 HAS SOUS 40067 HAS SOUPS 40067 WITH SCORE 40128.875
AT ITER 2900 NEW BEST:: SOT 253658 SOS 61864 HAS SOPS 61864 HAS SOUS 40056 HAS SOUPS 40056 WITH SCORE 40117.864
AT ITER 2909 NEW BEST:: SOT 253615 SOS 61856 HAS SOPS 61856 HAS SOUS 40040 HAS SOUPS 40040 WITH SCORE 40101.856
AT ITER 2928 NEW BEST:: SOT 253614 SOS 61813 HAS SOPS 61813 HAS SOUS 39998 HAS SOUPS 39998 WITH SCORE 40059.813
AT ITER 2951 NEW BEST:: SOT 253604 SOS 61803 HAS SOPS 61803 HAS SOUS 39988 HAS SOUPS 39988 WITH SCORE 40049.803
AT ITER 2964 NEW BEST:: SOT 253601 SOS 61781 HAS SOPS 61781 HAS SOUS 39976 HAS SOUPS 39976 WITH SCORE 40037.781
AT ITER 2965 NEW BEST:: SOT 253595 SOS 61775 HAS SOPS 61775 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40031.775
AT ITER 3030 NEW BEST:: SOT 253585 SOS 61755 HAS SOPS 61755 HAS SOUS 39950 HAS SOUPS 39950 WITH SCORE 40011.755
AT ITER 3034 NEW BEST:: SOT 253544 SOS 61714 HAS SOPS 61714 HAS SOUS 39950 HAS SOUPS 39950 WITH SCORE 40011.714
AT ITER 3048 NEW BEST:: SOT 253476 SOS 61530 HAS SOPS 61530 HAS SOUS 39779 HAS SOUPS 39779 WITH SCORE 39840.53
AT ITER 3073 NEW BEST:: SOT 253476 SOS 61520 HAS SOPS 61520 HAS SOUS 39769 HAS SOUPS 39769 WITH SCORE 39830.52
AT ITER 3090 NEW BEST:: SOT 253322 SOS 61248 HAS SOPS 61248 HAS SOUS 39603 HAS SOUPS 39603 WITH SCORE 39664.248
AT ITER 3112 NEW BEST:: SOT 253287 SOS 61178 HAS SOPS 61178 HAS SOUS 39533 HAS SOUPS 39533 WITH SCORE 39594.178
AT ITER 3125 NEW BEST:: SOT 253285 SOS 61174 HAS SOPS 61174 HAS SOUS 39531 HAS SOUPS 39531 WITH SCORE 39592.174
AT ITER 3134 NEW BEST:: SOT 253253 SOS 60434 HAS SOPS 60434 HAS SOUS 39499 HAS SOUPS 39499 WITH SCORE 39559.434
AT ITER 3152 NEW BEST:: SOT 253219 SOS 60400 HAS SOPS 60400 HAS SOUS 39499 HAS SOUPS 39499 WITH SCORE 39559.4
AT ITER 3156 NEW BEST:: SOT 253219 SOS 60311 HAS SOPS 60311 HAS SOUS 39499 HAS SOUPS 39499 WITH SCORE 39559.311
AT ITER 3163 NEW BEST:: SOT 253214 SOS 60301 HAS SOPS 60301 HAS SOUS 39494 HAS SOUPS 39494 WITH SCORE 39554.301
AT ITER 3172 NEW BEST:: SOT 253214 SOS 60270 HAS SOPS 60270 HAS SOUS 39494 HAS SOUPS 39494 WITH SCORE 39554.27
AT ITER 3174 NEW BEST:: SOT 253198 SOS 60356 HAS SOPS 60356 HAS SOUS 39462 HAS SOUPS 39462 WITH SCORE 39522.356
AT ITER 3177 NEW BEST:: SOT 253193 SOS 60351 HAS SOPS 60351 HAS SOUS 39457 HAS SOUPS 39457 WITH SCORE 39517.351
AT ITER 3185 NEW BEST:: SOT 253194 SOS 60352 HAS SOPS 60352 HAS SOUS 39433 HAS SOUPS 39433 WITH SCORE 39493.352
AT ITER 3227 NEW BEST:: SOT 253184 SOS 60342 HAS SOPS 60342 HAS SOUS 39433 HAS SOUPS 39433 WITH SCORE 39493.342
AT ITER 3231 NEW BEST:: SOT 252965 SOS 60480 HAS SOPS 60480 HAS SOUS 39277 HAS SOUPS 39277 WITH SCORE 39337.48
AT ITER 3245 NEW BEST:: SOT 252968 SOS 60486 HAS SOPS 60486 HAS SOUS 39243 HAS SOUPS 39243 WITH SCORE 39303.486
AT ITER 3252 NEW BEST:: SOT 252968 SOS 60474 HAS SOPS 60474 HAS SOUS 39231 HAS SOUPS 39231 WITH SCORE 39291.474
AT ITER 3258 NEW BEST:: SOT 252966 SOS 60470 HAS SOPS 60470 HAS SOUS 39219 HAS SOUPS 39219 WITH SCORE 39279.47
AT ITER 3261 NEW BEST:: SOT 252949 SOS 60442 HAS SOPS 60442 HAS SOUS 39191 HAS SOUPS 39191 WITH SCORE 39251.442
AT ITER 3263 NEW BEST:: SOT 252905 SOS 60420 HAS SOPS 60420 HAS SOUS 39169 HAS SOUPS 39169 WITH SCORE 39229.42
AT ITER 3272 NEW BEST:: SOT 252895 SOS 60410 HAS SOPS 60410 HAS SOUS 39169 HAS SOUPS 39169 WITH SCORE 39229.41
AT ITER 3277 NEW BEST:: SOT 252954 SOS 60402 HAS SOPS 60402 HAS SOUS 39102 HAS SOUPS 39102 WITH SCORE 39162.402
AT ITER 3315 NEW BEST:: SOT 252953 SOS 60401 HAS SOPS 60401 HAS SOUS 39101 HAS SOUPS 39101 WITH SCORE 39161.401
AT ITER 3328 NEW BEST:: SOT 252915 SOS 60263 HAS SOPS 60263 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39061.263
AT ITER 3333 NEW BEST:: SOT 252887 SOS 60364 HAS SOPS 60364 HAS SOUS 38986 HAS SOUPS 38986 WITH SCORE 39046.364
AT ITER 3342 NEW BEST:: SOT 252870 SOS 60347 HAS SOPS 60347 HAS SOUS 38969 HAS SOUPS 38969 WITH SCORE 39029.347
AT ITER 3402 NEW BEST:: SOT 252864 SOS 60344 HAS SOPS 60344 HAS SOUS 38963 HAS SOUPS 38963 WITH SCORE 39023.344
AT ITER 3417 NEW BEST:: SOT 252748 SOS 60218 HAS SOPS 60218 HAS SOUS 38947 HAS SOUPS 38947 WITH SCORE 39007.218
AT ITER 3453 NEW BEST:: SOT 252687 SOS 59453 HAS SOPS 59453 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38863.453
AT ITER 3491 NEW BEST:: SOT 252684 SOS 59444 HAS SOPS 59444 HAS SOUS 38798 HAS SOUPS 38798 WITH SCORE 38857.444
AT ITER 3519 NEW BEST:: SOT 252695 SOS 59466 HAS SOPS 59466 HAS SOUS 38795 HAS SOUPS 38795 WITH SCORE 38854.466
AT ITER 3525 NEW BEST:: SOT 252664 SOS 59449 HAS SOPS 59449 HAS SOUS 38778 HAS SOUPS 38778 WITH SCORE 38837.449
AT ITER 3541 NEW BEST:: SOT 252644 SOS 59563 HAS SOPS 59563 HAS SOUS 38758 HAS SOUPS 38758 WITH SCORE 38817.563
AT ITER 3562 NEW BEST:: SOT 252640 SOS 59555 HAS SOPS 59555 HAS SOUS 38754 HAS SOUPS 38754 WITH SCORE 38813.555
AT ITER 3568 NEW BEST:: SOT 252580 SOS 59495 HAS SOPS 59495 HAS SOUS 38753 HAS SOUPS 38753 WITH SCORE 38812.495
AT ITER 3597 NEW BEST:: SOT 252580 SOS 59492 HAS SOPS 59492 HAS SOUS 38747 HAS SOUPS 38747 WITH SCORE 38806.492
AT ITER 3613 NEW BEST:: SOT 252576 SOS 59484 HAS SOPS 59484 HAS SOUS 38736 HAS SOUPS 38736 WITH SCORE 38795.484
AT ITER 3655 NEW BEST:: SOT 252566 SOS 59464 HAS SOPS 59464 HAS SOUS 38716 HAS SOUPS 38716 WITH SCORE 38775.464
AT ITER 3660 NEW BEST:: SOT 252548 SOS 59428 HAS SOPS 59428 HAS SOUS 38680 HAS SOUPS 38680 WITH SCORE 38739.428
AT ITER 3662 NEW BEST:: SOT 252510 SOS 59371 HAS SOPS 59371 HAS SOUS 38623 HAS SOUPS 38623 WITH SCORE 38682.371
AT ITER 3687 NEW BEST:: SOT 252514 SOS 59174 HAS SOPS 59174 HAS SOUS 38615 HAS SOUPS 38615 WITH SCORE 38674.174
AT ITER 3689 NEW BEST:: SOT 252512 SOS 59172 HAS SOPS 59172 HAS SOUS 38615 HAS SOUPS 38615 WITH SCORE 38674.172
AT ITER 3690 NEW BEST:: SOT 252511 SOS 59170 HAS SOPS 59170 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38673.17
AT ITER 3704 NEW BEST:: SOT 252502 SOS 59152 HAS SOPS 59152 HAS SOUS 38605 HAS SOUPS 38605 WITH SCORE 38664.152
AT ITER 3732 NEW BEST:: SOT 252502 SOS 59126 HAS SOPS 59126 HAS SOUS 38605 HAS SOUPS 38605 WITH SCORE 38664.126
AT ITER 3734 NEW BEST:: SOT 252470 SOS 59082 HAS SOPS 59082 HAS SOUS 38593 HAS SOUPS 38593 WITH SCORE 38652.082
AT ITER 3750 NEW BEST:: SOT 252457 SOS 59069 HAS SOPS 59069 HAS SOUS 38580 HAS SOUPS 38580 WITH SCORE 38639.069
AT ITER 3768 NEW BEST:: SOT 252470 SOS 59081 HAS SOPS 59081 HAS SOUS 38579 HAS SOUPS 38579 WITH SCORE 38638.081
AT ITER 3803 NEW BEST:: SOT 252410 SOS 59021 HAS SOPS 59021 HAS SOUS 38549 HAS SOUPS 38549 WITH SCORE 38608.021
AT ITER 3805 NEW BEST:: SOT 252410 SOS 59021 HAS SOPS 59021 HAS SOUS 38532 HAS SOUPS 38532 WITH SCORE 38591.021
AT ITER 3822 NEW BEST:: SOT 252410 SOS 58954 HAS SOPS 58954 HAS SOUS 38499 HAS SOUPS 38499 WITH SCORE 38557.954
AT ITER 3836 NEW BEST:: SOT 252404 SOS 58942 HAS SOPS 58942 HAS SOUS 38493 HAS SOUPS 38493 WITH SCORE 38551.942
AT ITER 3867 NEW BEST:: SOT 252399 SOS 58932 HAS SOPS 58932 HAS SOUS 38488 HAS SOUPS 38488 WITH SCORE 38546.932
AT ITER 3870 NEW BEST:: SOT 252415 SOS 58887 HAS SOPS 58887 HAS SOUS 38486 HAS SOUPS 38486 WITH SCORE 38544.887
AT ITER 3879 NEW BEST:: SOT 252354 SOS 58826 HAS SOPS 58826 HAS SOUS 38486 HAS SOUPS 38486 WITH SCORE 38544.826
AT ITER 3882 NEW BEST:: SOT 252301 SOS 58773 HAS SOPS 58773 HAS SOUS 38486 HAS SOUPS 38486 WITH SCORE 38544.773
AT ITER 3886 NEW BEST:: SOT 252287 SOS 58745 HAS SOPS 58745 HAS SOUS 38472 HAS SOUPS 38472 WITH SCORE 38530.745
AT ITER 3890 NEW BEST:: SOT 252285 SOS 58723 HAS SOPS 58723 HAS SOUS 38460 HAS SOUPS 38460 WITH SCORE 38518.723
AT ITER 3902 NEW BEST:: SOT 252247 SOS 58609 HAS SOPS 58609 HAS SOUS 38384 HAS SOUPS 38384 WITH SCORE 38442.609
AT ITER 3918 NEW BEST:: SOT 252202 SOS 58567 HAS SOPS 58567 HAS SOUS 38339 HAS SOUPS 38339 WITH SCORE 38397.567
AT ITER 3934 NEW BEST:: SOT 252202 SOS 58567 HAS SOPS 58567 HAS SOUS 38325 HAS SOUPS 38325 WITH SCORE 38383.567
AT ITER 3946 NEW BEST:: SOT 252160 SOS 58542 HAS SOPS 58542 HAS SOUS 38295 HAS SOUPS 38295 WITH SCORE 38353.542
AT ITER 4015 NEW BEST:: SOT 252078 SOS 58378 HAS SOPS 58378 HAS SOUS 38205 HAS SOUPS 38205 WITH SCORE 38263.378
AT ITER 4022 NEW BEST:: SOT 252008 SOS 58238 HAS SOPS 58238 HAS SOUS 38062 HAS SOUPS 38062 WITH SCORE 38120.238
AT ITER 4024 NEW BEST:: SOT 252008 SOS 58238 HAS SOPS 58238 HAS SOUS 38060 HAS SOUPS 38060 WITH SCORE 38118.238
AT ITER 4027 NEW BEST:: SOT 252028 SOS 58251 HAS SOPS 58251 HAS SOUS 38053 HAS SOUPS 38053 WITH SCORE 38111.251
AT ITER 4039 NEW BEST:: SOT 252028 SOS 58251 HAS SOPS 58251 HAS SOUS 38051 HAS SOUPS 38051 WITH SCORE 38109.251
AT ITER 4048 NEW BEST:: SOT 251992 SOS 58202 HAS SOPS 58202 HAS SOUS 38002 HAS SOUPS 38002 WITH SCORE 38060.202
AT ITER 4072 NEW BEST:: SOT 251975 SOS 58168 HAS SOPS 58168 HAS SOUS 37945 HAS SOUPS 37945 WITH SCORE 38003.168
AT ITER 4090 NEW BEST:: SOT 251995 SOS 58208 HAS SOPS 58208 HAS SOUS 37935 HAS SOUPS 37935 WITH SCORE 37993.208
AT ITER 4095 NEW BEST:: SOT 251987 SOS 58192 HAS SOPS 58192 HAS SOUS 37919 HAS SOUPS 37919 WITH SCORE 37977.192
AT ITER 4136 NEW BEST:: SOT 251989 SOS 58196 HAS SOPS 58196 HAS SOUS 37914 HAS SOUPS 37914 WITH SCORE 37972.196
AT ITER 4145 NEW BEST:: SOT 251947 SOS 58112 HAS SOPS 58112 HAS SOUS 37856 HAS SOUPS 37856 WITH SCORE 37914.112
AT ITER 4154 NEW BEST:: SOT 251935 SOS 58100 HAS SOPS 58100 HAS SOUS 37844 HAS SOUPS 37844 WITH SCORE 37902.1
AT ITER 4166 NEW BEST:: SOT 251943 SOS 58082 HAS SOPS 58082 HAS SOUS 37843 HAS SOUPS 37843 WITH SCORE 37901.082
AT ITER 4189 NEW BEST:: SOT 251919 SOS 58047 HAS SOPS 58047 HAS SOUS 37820 HAS SOUPS 37820 WITH SCORE 37878.047
AT ITER 4191 NEW BEST:: SOT 251919 SOS 58032 HAS SOPS 58032 HAS SOUS 37819 HAS SOUPS 37819 WITH SCORE 37877.032
AT ITER 4195 NEW BEST:: SOT 251894 SOS 57982 HAS SOPS 57982 HAS SOUS 37789 HAS SOUPS 37789 WITH SCORE 37846.982
AT ITER 4197 NEW BEST:: SOT 251903 SOS 57988 HAS SOPS 57988 HAS SOUS 37786 HAS SOUPS 37786 WITH SCORE 37843.988
AT ITER 4229 NEW BEST:: SOT 251958 SOS 57362 HAS SOPS 57362 HAS SOUS 37777 HAS SOUPS 37777 WITH SCORE 37834.362
AT ITER 4233 NEW BEST:: SOT 251934 SOS 57338 HAS SOPS 57338 HAS SOUS 37753 HAS SOUPS 37753 WITH SCORE 37810.338
AT ITER 4258 NEW BEST:: SOT 251961 SOS 57338 HAS SOPS 57338 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37783.338
AT ITER 4274 NEW BEST:: SOT 251961 SOS 57197 HAS SOPS 57197 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37783.197
AT ITER 4275 NEW BEST:: SOT 251941 SOS 57177 HAS SOPS 57177 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37783.177
AT ITER 4282 NEW BEST:: SOT 251941 SOS 57169 HAS SOPS 57169 HAS SOUS 37718 HAS SOUPS 37718 WITH SCORE 37775.169
AT ITER 4317 NEW BEST:: SOT 251961 SOS 57114 HAS SOPS 57114 HAS SOUS 37663 HAS SOUPS 37663 WITH SCORE 37720.114
AT ITER 4318 NEW BEST:: SOT 251953 SOS 57106 HAS SOPS 57106 HAS SOUS 37655 HAS SOUPS 37655 WITH SCORE 37712.106
AT ITER 4322 NEW BEST:: SOT 251947 SOS 57094 HAS SOPS 57094 HAS SOUS 37643 HAS SOUPS 37643 WITH SCORE 37700.094
AT ITER 4356 NEW BEST:: SOT 251950 SOS 57097 HAS SOPS 57097 HAS SOUS 37642 HAS SOUPS 37642 WITH SCORE 37699.097
AT ITER 4377 NEW BEST:: SOT 251919 SOS 55283 HAS SOPS 55283 HAS SOUS 37538 HAS SOUPS 37538 WITH SCORE 37593.283
AT ITER 4389 NEW BEST:: SOT 251884 SOS 55213 HAS SOPS 55213 HAS SOUS 37495 HAS SOUPS 37495 WITH SCORE 37550.213
AT ITER 4451 NEW BEST:: SOT 251893 SOS 55211 HAS SOPS 55211 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37539.211
AT ITER 4453 NEW BEST:: SOT 251893 SOS 55211 HAS SOPS 55211 HAS SOUS 37475 HAS SOUPS 37475 WITH SCORE 37530.211
AT ITER 4457 NEW BEST:: SOT 251920 SOS 55177 HAS SOPS 55177 HAS SOUS 37467 HAS SOUPS 37467 WITH SCORE 37522.177
AT ITER 4458 NEW BEST:: SOT 251818 SOS 55136 HAS SOPS 55136 HAS SOUS 37426 HAS SOUPS 37426 WITH SCORE 37481.136
AT ITER 4499 NEW BEST:: SOT 251816 SOS 55134 HAS SOPS 55134 HAS SOUS 37424 HAS SOUPS 37424 WITH SCORE 37479.134
AT ITER 4505 NEW BEST:: SOT 251834 SOS 55116 HAS SOPS 55116 HAS SOUS 37410 HAS SOUPS 37410 WITH SCORE 37465.116
AT ITER 4513 NEW BEST:: SOT 251832 SOS 55114 HAS SOPS 55114 HAS SOUS 37408 HAS SOUPS 37408 WITH SCORE 37463.114
AT ITER 4550 NEW BEST:: SOT 251849 SOS 55056 HAS SOPS 55056 HAS SOUS 37388 HAS SOUPS 37388 WITH SCORE 37443.056
AT ITER 4569 NEW BEST:: SOT 251917 SOS 55113 HAS SOPS 55113 HAS SOUS 37381 HAS SOUPS 37381 WITH SCORE 37436.113
AT ITER 4572 NEW BEST:: SOT 251917 SOS 54819 HAS SOPS 54819 HAS SOUS 37353 HAS SOUPS 37353 WITH SCORE 37407.819
AT ITER 4574 NEW BEST:: SOT 251874 SOS 54733 HAS SOPS 54733 HAS SOUS 37292 HAS SOUPS 37292 WITH SCORE 37346.733
AT ITER 4586 NEW BEST:: SOT 251746 SOS 54486 HAS SOPS 54486 HAS SOUS 37221 HAS SOUPS 37221 WITH SCORE 37275.486
AT ITER 4602 NEW BEST:: SOT 251681 SOS 54356 HAS SOPS 54356 HAS SOUS 37156 HAS SOUPS 37156 WITH SCORE 37210.356
AT ITER 4605 NEW BEST:: SOT 251595 SOS 54265 HAS SOPS 54265 HAS SOUS 37108 HAS SOUPS 37108 WITH SCORE 37162.265
AT ITER 4632 NEW BEST:: SOT 251595 SOS 54265 HAS SOPS 54265 HAS SOUS 37100 HAS SOUPS 37100 WITH SCORE 37154.265
AT ITER 4651 NEW BEST:: SOT 251547 SOS 54169 HAS SOPS 54169 HAS SOUS 37099 HAS SOUPS 37099 WITH SCORE 37153.169
AT ITER 4686 NEW BEST:: SOT 251528 SOS 54131 HAS SOPS 54131 HAS SOUS 37081 HAS SOUPS 37081 WITH SCORE 37135.131
AT ITER 4690 NEW BEST:: SOT 251531 SOS 54112 HAS SOPS 54112 HAS SOUS 37062 HAS SOUPS 37062 WITH SCORE 37116.112
AT ITER 4691 NEW BEST:: SOT 251525 SOS 54100 HAS SOPS 54100 HAS SOUS 37056 HAS SOUPS 37056 WITH SCORE 37110.1
AT ITER 4692 NEW BEST:: SOT 251512 SOS 54087 HAS SOPS 54087 HAS SOUS 37043 HAS SOUPS 37043 WITH SCORE 37097.087
AT ITER 4696 NEW BEST:: SOT 251497 SOS 54057 HAS SOPS 54057 HAS SOUS 37013 HAS SOUPS 37013 WITH SCORE 37067.057
AT ITER 4754 NEW BEST:: SOT 251476 SOS 54078 HAS SOPS 54078 HAS SOUS 36985 HAS SOUPS 36985 WITH SCORE 37039.078
AT ITER 4755 NEW BEST:: SOT 251465 SOS 54056 HAS SOPS 54056 HAS SOUS 36977 HAS SOUPS 36977 WITH SCORE 37031.056
AT ITER 4756 NEW BEST:: SOT 251423 SOS 53972 HAS SOPS 53972 HAS SOUS 36875 HAS SOUPS 36875 WITH SCORE 36928.972
AT ITER 4757 NEW BEST:: SOT 251330 SOS 53853 HAS SOPS 53853 HAS SOUS 36718 HAS SOUPS 36718 WITH SCORE 36771.853
AT ITER 4818 NEW BEST:: SOT 251330 SOS 53809 HAS SOPS 53809 HAS SOUS 36691 HAS SOUPS 36691 WITH SCORE 36744.809
AT ITER 4822 NEW BEST:: SOT 251328 SOS 53805 HAS SOPS 53805 HAS SOUS 36687 HAS SOUPS 36687 WITH SCORE 36740.805
AT ITER 4824 NEW BEST:: SOT 251320 SOS 53797 HAS SOPS 53797 HAS SOUS 36679 HAS SOUPS 36679 WITH SCORE 36732.797
AT ITER 4841 NEW BEST:: SOT 251296 SOS 53773 HAS SOPS 53773 HAS SOUS 36631 HAS SOUPS 36631 WITH SCORE 36684.773
AT ITER 4849 NEW BEST:: SOT 251291 SOS 53763 HAS SOPS 53763 HAS SOUS 36621 HAS SOUPS 36621 WITH SCORE 36674.763
AT ITER 4861 NEW BEST:: SOT 251287 SOS 53767 HAS SOPS 53767 HAS SOUS 36618 HAS SOUPS 36618 WITH SCORE 36671.767
AT ITER 4905 NEW BEST:: SOT 251260 SOS 53740 HAS SOPS 53740 HAS SOUS 36618 HAS SOUPS 36618 WITH SCORE 36671.74
AT ITER 4941 NEW BEST:: SOT 251207 SOS 53679 HAS SOPS 53679 HAS SOUS 36520 HAS SOUPS 36520 WITH SCORE 36573.679
AT ITER 4964 NEW BEST:: SOT 251176 SOS 53617 HAS SOPS 53617 HAS SOUS 36505 HAS SOUPS 36505 WITH SCORE 36558.617
AT ITER 4972 NEW BEST:: SOT 251168 SOS 53609 HAS SOPS 53609 HAS SOUS 36497 HAS SOUPS 36497 WITH SCORE 36550.609
AT ITER 4977 NEW BEST:: SOT 251109 SOS 53425 HAS SOPS 53425 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36427.425
AT ITER 5043 NEW BEST:: SOT 251094 SOS 53395 HAS SOPS 53395 HAS SOUS 36373 HAS SOUPS 36373 WITH SCORE 36426.395
AT ITER 5050 NEW BEST:: SOT 251089 SOS 53385 HAS SOPS 53385 HAS SOUS 36367 HAS SOUPS 36367 WITH SCORE 36420.385
AT ITER 5058 NEW BEST:: SOT 251131 SOS 53204 HAS SOPS 53204 HAS SOUS 36263 HAS SOUPS 36263 WITH SCORE 36316.204
AT ITER 5079 NEW BEST:: SOT 251109 SOS 53182 HAS SOPS 53182 HAS SOUS 36241 HAS SOUPS 36241 WITH SCORE 36294.182
AT ITER 5118 NEW BEST:: SOT 251109 SOS 53182 HAS SOPS 53182 HAS SOUS 36240 HAS SOUPS 36240 WITH SCORE 36293.182
AT ITER 5136 NEW BEST:: SOT 251104 SOS 53172 HAS SOPS 53172 HAS SOUS 36230 HAS SOUPS 36230 WITH SCORE 36283.172
AT ITER 5156 NEW BEST:: SOT 250958 SOS 53001 HAS SOPS 53001 HAS SOUS 36089 HAS SOUPS 36089 WITH SCORE 36142.001
AT ITER 5194 NEW BEST:: SOT 250860 SOS 52901 HAS SOPS 52901 HAS SOUS 36087 HAS SOUPS 36087 WITH SCORE 36139.901
AT ITER 5216 NEW BEST:: SOT 250828 SOS 52837 HAS SOPS 52837 HAS SOUS 36071 HAS SOUPS 36071 WITH SCORE 36123.837
AT ITER 5231 NEW BEST:: SOT 250822 SOS 52873 HAS SOPS 52873 HAS SOUS 36064 HAS SOUPS 36064 WITH SCORE 36116.873
AT ITER 5247 NEW BEST:: SOT 250810 SOS 52849 HAS SOPS 52849 HAS SOUS 36051 HAS SOUPS 36051 WITH SCORE 36103.849
AT ITER 5284 NEW BEST:: SOT 250810 SOS 52845 HAS SOPS 52845 HAS SOUS 36043 HAS SOUPS 36043 WITH SCORE 36095.845
AT ITER 5297 NEW BEST:: SOT 250809 SOS 52843 HAS SOPS 52843 HAS SOUS 36041 HAS SOUPS 36041 WITH SCORE 36093.843
AT ITER 5307 NEW BEST:: SOT 250807 SOS 52838 HAS SOPS 52838 HAS SOUS 36039 HAS SOUPS 36039 WITH SCORE 36091.838
AT ITER 5310 NEW BEST:: SOT 250835 SOS 52832 HAS SOPS 52832 HAS SOUS 36036 HAS SOUPS 36036 WITH SCORE 36088.832
AT ITER 5341 NEW BEST:: SOT 250798 SOS 52795 HAS SOPS 52795 HAS SOUS 35950 HAS SOUPS 35950 WITH SCORE 36002.795
AT ITER 5345 NEW BEST:: SOT 250798 SOS 52795 HAS SOPS 52795 HAS SOUS 35946 HAS SOUPS 35946 WITH SCORE 35998.795
AT ITER 5354 NEW BEST:: SOT 250756 SOS 52753 HAS SOPS 52753 HAS SOUS 35936 HAS SOUPS 35936 WITH SCORE 35988.753
AT ITER 5360 NEW BEST:: SOT 250756 SOS 52753 HAS SOPS 52753 HAS SOUS 35906 HAS SOUPS 35906 WITH SCORE 35958.753
AT ITER 5381 NEW BEST:: SOT 250756 SOS 52729 HAS SOPS 52729 HAS SOUS 35882 HAS SOUPS 35882 WITH SCORE 35934.729
AT ITER 5404 NEW BEST:: SOT 250774 SOS 52765 HAS SOPS 52765 HAS SOUS 35844 HAS SOUPS 35844 WITH SCORE 35896.765
AT ITER 5423 NEW BEST:: SOT 250715 SOS 52706 HAS SOPS 52706 HAS SOUS 35823 HAS SOUPS 35823 WITH SCORE 35875.706
AT ITER 5433 NEW BEST:: SOT 250715 SOS 52709 HAS SOPS 52709 HAS SOUS 35820 HAS SOUPS 35820 WITH SCORE 35872.709
AT ITER 5445 NEW BEST:: SOT 250690 SOS 52684 HAS SOPS 52684 HAS SOUS 35795 HAS SOUPS 35795 WITH SCORE 35847.684
AT ITER 5457 NEW BEST:: SOT 250673 SOS 52650 HAS SOPS 52650 HAS SOUS 35778 HAS SOUPS 35778 WITH SCORE 35830.65
AT ITER 5486 NEW BEST:: SOT 250673 SOS 52644 HAS SOPS 52644 HAS SOUS 35772 HAS SOUPS 35772 WITH SCORE 35824.644
AT ITER 5556 NEW BEST:: SOT 250637 SOS 52572 HAS SOPS 52572 HAS SOUS 35760 HAS SOUPS 35760 WITH SCORE 35812.572
AT ITER 5579 NEW BEST:: SOT 250638 SOS 52573 HAS SOPS 52573 HAS SOUS 35754 HAS SOUPS 35754 WITH SCORE 35806.573
AT ITER 5605 NEW BEST:: SOT 250641 SOS 52576 HAS SOPS 52576 HAS SOUS 35751 HAS SOUPS 35751 WITH SCORE 35803.576
AT ITER 5612 NEW BEST:: SOT 250629 SOS 52576 HAS SOPS 52576 HAS SOUS 35739 HAS SOUPS 35739 WITH SCORE 35791.576
AT ITER 5636 NEW BEST:: SOT 250631 SOS 52460 HAS SOPS 52460 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35790.46
AT ITER 5710 NEW BEST:: SOT 250646 SOS 52490 HAS SOPS 52490 HAS SOUS 35656 HAS SOUPS 35656 WITH SCORE 35708.49
AT ITER 5715 NEW BEST:: SOT 250640 SOS 52478 HAS SOPS 52478 HAS SOUS 35655 HAS SOUPS 35655 WITH SCORE 35707.478
AT ITER 5728 NEW BEST:: SOT 250615 SOS 52551 HAS SOPS 52551 HAS SOUS 35637 HAS SOUPS 35637 WITH SCORE 35689.551
AT ITER 5748 NEW BEST:: SOT 250607 SOS 52489 HAS SOPS 52489 HAS SOUS 35621 HAS SOUPS 35621 WITH SCORE 35673.489
AT ITER 5762 NEW BEST:: SOT 250586 SOS 52516 HAS SOPS 52516 HAS SOUS 35583 HAS SOUPS 35583 WITH SCORE 35635.516
AT ITER 5768 NEW BEST:: SOT 250577 SOS 52498 HAS SOPS 52498 HAS SOUS 35574 HAS SOUPS 35574 WITH SCORE 35626.498
AT ITER 5793 NEW BEST:: SOT 250559 SOS 52462 HAS SOPS 52462 HAS SOUS 35538 HAS SOUPS 35538 WITH SCORE 35590.462
AT ITER 5803 NEW BEST:: SOT 250558 SOS 52460 HAS SOPS 52460 HAS SOUS 35537 HAS SOUPS 35537 WITH SCORE 35589.46
AT ITER 5814 NEW BEST:: SOT 250519 SOS 52406 HAS SOPS 52406 HAS SOUS 35483 HAS SOUPS 35483 WITH SCORE 35535.406
AT ITER 5815 NEW BEST:: SOT 250533 SOS 52369 HAS SOPS 52369 HAS SOUS 35446 HAS SOUPS 35446 WITH SCORE 35498.369
AT ITER 5868 NEW BEST:: SOT 250447 SOS 52131 HAS SOPS 52131 HAS SOUS 35326 HAS SOUPS 35326 WITH SCORE 35378.131
AT ITER 5874 NEW BEST:: SOT 250424 SOS 52085 HAS SOPS 52085 HAS SOUS 35275 HAS SOUPS 35275 WITH SCORE 35327.085
AT ITER 5955 NEW BEST:: SOT 250399 SOS 52097 HAS SOPS 52097 HAS SOUS 35231 HAS SOUPS 35231 WITH SCORE 35283.097
AT ITER 5968 NEW BEST:: SOT 250324 SOS 52015 HAS SOPS 52015 HAS SOUS 35191 HAS SOUPS 35191 WITH SCORE 35243.015
AT ITER 5975 NEW BEST:: SOT 250313 SOS 51993 HAS SOPS 51993 HAS SOUS 35169 HAS SOUPS 35169 WITH SCORE 35220.993
AT ITER 6045 NEW BEST:: SOT 250304 SOS 51944 HAS SOPS 51944 HAS SOUS 35129 HAS SOUPS 35129 WITH SCORE 35180.944
AT ITER 6047 NEW BEST:: SOT 250236 SOS 51782 HAS SOPS 51782 HAS SOUS 35035 HAS SOUPS 35035 WITH SCORE 35086.782
AT ITER 6048 NEW BEST:: SOT 250175 SOS 51721 HAS SOPS 51721 HAS SOUS 35017 HAS SOUPS 35017 WITH SCORE 35068.721
AT ITER 6093 NEW BEST:: SOT 250131 SOS 51659 HAS SOPS 51659 HAS SOUS 34998 HAS SOUPS 34998 WITH SCORE 35049.659
AT ITER 6095 NEW BEST:: SOT 250086 SOS 51643 HAS SOPS 51643 HAS SOUS 34982 HAS SOUPS 34982 WITH SCORE 35033.643
AT ITER 6122 NEW BEST:: SOT 250071 SOS 51628 HAS SOPS 51628 HAS SOUS 34938 HAS SOUPS 34938 WITH SCORE 34989.628
AT ITER 6143 NEW BEST:: SOT 250047 SOS 51612 HAS SOPS 51612 HAS SOUS 34910 HAS SOUPS 34910 WITH SCORE 34961.612
AT ITER 6206 NEW BEST:: SOT 250033 SOS 51625 HAS SOPS 51625 HAS SOUS 34843 HAS SOUPS 34843 WITH SCORE 34894.625
AT ITER 6207 NEW BEST:: SOT 250041 SOS 51549 HAS SOPS 51549 HAS SOUS 34843 HAS SOUPS 34843 WITH SCORE 34894.549
AT ITER 6272 NEW BEST:: SOT 250025 SOS 51133 HAS SOPS 51133 HAS SOUS 34827 HAS SOUPS 34827 WITH SCORE 34878.133
AT ITER 6302 NEW BEST:: SOT 250025 SOS 51112 HAS SOPS 51112 HAS SOUS 34827 HAS SOUPS 34827 WITH SCORE 34878.112
AT ITER 6307 NEW BEST:: SOT 250016 SOS 51128 HAS SOPS 51128 HAS SOUS 34812 HAS SOUPS 34812 WITH SCORE 34863.128
AT ITER 6318 NEW BEST:: SOT 250014 SOS 51098 HAS SOPS 51098 HAS SOUS 34808 HAS SOUPS 34808 WITH SCORE 34859.098
AT ITER 6347 NEW BEST:: SOT 249916 SOS 51676 HAS SOPS 51676 HAS SOUS 34773 HAS SOUPS 34773 WITH SCORE 34824.676
AT ITER 6348 NEW BEST:: SOT 249916 SOS 51643 HAS SOPS 51643 HAS SOUS 34773 HAS SOUPS 34773 WITH SCORE 34824.643
AT ITER 6351 NEW BEST:: SOT 249896 SOS 51622 HAS SOPS 51622 HAS SOUS 34772 HAS SOUPS 34772 WITH SCORE 34823.622
AT ITER 6359 NEW BEST:: SOT 249892 SOS 51614 HAS SOPS 51614 HAS SOUS 34766 HAS SOUPS 34766 WITH SCORE 34817.614
AT ITER 6369 NEW BEST:: SOT 249885 SOS 51607 HAS SOPS 51607 HAS SOUS 34752 HAS SOUPS 34752 WITH SCORE 34803.607
AT ITER 6432 NEW BEST:: SOT 249926 SOS 51662 HAS SOPS 51662 HAS SOUS 34738 HAS SOUPS 34738 WITH SCORE 34789.662
AT ITER 6445 NEW BEST:: SOT 249916 SOS 51642 HAS SOPS 51642 HAS SOUS 34718 HAS SOUPS 34718 WITH SCORE 34769.642
AT ITER 6470 NEW BEST:: SOT 249904 SOS 51624 HAS SOPS 51624 HAS SOUS 34706 HAS SOUPS 34706 WITH SCORE 34757.624
AT ITER 6483 NEW BEST:: SOT 249878 SOS 51572 HAS SOPS 51572 HAS SOUS 34654 HAS SOUPS 34654 WITH SCORE 34705.572
AT ITER 6506 NEW BEST:: SOT 249857 SOS 51551 HAS SOPS 51551 HAS SOUS 34606 HAS SOUPS 34606 WITH SCORE 34657.551
AT ITER 6536 NEW BEST:: SOT 249850 SOS 51544 HAS SOPS 51544 HAS SOUS 34599 HAS SOUPS 34599 WITH SCORE 34650.544
AT ITER 6569 NEW BEST:: SOT 249850 SOS 51531 HAS SOPS 51531 HAS SOUS 34586 HAS SOUPS 34586 WITH SCORE 34637.531
AT ITER 6581 NEW BEST:: SOT 249750 SOS 51431 HAS SOPS 51431 HAS SOUS 34537 HAS SOUPS 34537 WITH SCORE 34588.431
AT ITER 6584 NEW BEST:: SOT 249734 SOS 51415 HAS SOPS 51415 HAS SOUS 34521 HAS SOUPS 34521 WITH SCORE 34572.415
AT ITER 6602 NEW BEST:: SOT 249693 SOS 51221 HAS SOPS 51221 HAS SOUS 34368 HAS SOUPS 34368 WITH SCORE 34419.221
AT ITER 6613 NEW BEST:: SOT 249692 SOS 51219 HAS SOPS 51219 HAS SOUS 34366 HAS SOUPS 34366 WITH SCORE 34417.219
AT ITER 6656 NEW BEST:: SOT 249665 SOS 51087 HAS SOPS 51087 HAS SOUS 34304 HAS SOUPS 34304 WITH SCORE 34355.087
AT ITER 6673 NEW BEST:: SOT 249626 SOS 51087 HAS SOPS 51087 HAS SOUS 34226 HAS SOUPS 34226 WITH SCORE 34277.087
AT ITER 6677 NEW BEST:: SOT 249648 SOS 51068 HAS SOPS 51068 HAS SOUS 34207 HAS SOUPS 34207 WITH SCORE 34258.068
AT ITER 6695 NEW BEST:: SOT 249652 SOS 50907 HAS SOPS 50907 HAS SOUS 34204 HAS SOUPS 34204 WITH SCORE 34254.907
AT ITER 6734 NEW BEST:: SOT 249608 SOS 50819 HAS SOPS 50819 HAS SOUS 34138 HAS SOUPS 34138 WITH SCORE 34188.819
AT ITER 6756 NEW BEST:: SOT 249585 SOS 50773 HAS SOPS 50773 HAS SOUS 34115 HAS SOUPS 34115 WITH SCORE 34165.773
AT ITER 6782 NEW BEST:: SOT 249565 SOS 50889 HAS SOPS 50889 HAS SOUS 34095 HAS SOUPS 34095 WITH SCORE 34145.889
AT ITER 6783 NEW BEST:: SOT 249518 SOS 50842 HAS SOPS 50842 HAS SOUS 34048 HAS SOUPS 34048 WITH SCORE 34098.842
AT ITER 6815 NEW BEST:: SOT 249518 SOS 50837 HAS SOPS 50837 HAS SOUS 34043 HAS SOUPS 34043 WITH SCORE 34093.837
AT ITER 6835 NEW BEST:: SOT 249506 SOS 50813 HAS SOPS 50813 HAS SOUS 34031 HAS SOUPS 34031 WITH SCORE 34081.813
AT ITER 6883 NEW BEST:: SOT 249436 SOS 50743 HAS SOPS 50743 HAS SOUS 33996 HAS SOUPS 33996 WITH SCORE 34046.743
AT ITER 6884 NEW BEST:: SOT 249436 SOS 50743 HAS SOPS 50743 HAS SOUS 33987 HAS SOUPS 33987 WITH SCORE 34037.743
AT ITER 6915 NEW BEST:: SOT 249433 SOS 50737 HAS SOPS 50737 HAS SOUS 33983 HAS SOUPS 33983 WITH SCORE 34033.737
AT ITER 6921 NEW BEST:: SOT 249429 SOS 50729 HAS SOPS 50729 HAS SOUS 33979 HAS SOUPS 33979 WITH SCORE 34029.729
AT ITER 6926 NEW BEST:: SOT 249379 SOS 50639 HAS SOPS 50639 HAS SOUS 33924 HAS SOUPS 33924 WITH SCORE 33974.639
AT ITER 6973 NEW BEST:: SOT 249401 SOS 50619 HAS SOPS 50619 HAS SOUS 33904 HAS SOUPS 33904 WITH SCORE 33954.619
AT ITER 7004 NEW BEST:: SOT 249390 SOS 50615 HAS SOPS 50615 HAS SOUS 33900 HAS SOUPS 33900 WITH SCORE 33950.615
AT ITER 7029 NEW BEST:: SOT 249389 SOS 50613 HAS SOPS 50613 HAS SOUS 33898 HAS SOUPS 33898 WITH SCORE 33948.613
AT ITER 7043 NEW BEST:: SOT 249373 SOS 50638 HAS SOPS 50638 HAS SOUS 33892 HAS SOUPS 33892 WITH SCORE 33942.638
AT ITER 7055 NEW BEST:: SOT 249306 SOS 50574 HAS SOPS 50574 HAS SOUS 33828 HAS SOUPS 33828 WITH SCORE 33878.574
AT ITER 7110 NEW BEST:: SOT 249298 SOS 50566 HAS SOPS 50566 HAS SOUS 33820 HAS SOUPS 33820 WITH SCORE 33870.566
AT ITER 7121 NEW BEST:: SOT 249284 SOS 50538 HAS SOPS 50538 HAS SOUS 33806 HAS SOUPS 33806 WITH SCORE 33856.538
AT ITER 7151 NEW BEST:: SOT 249272 SOS 50514 HAS SOPS 50514 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33832.514
AT ITER 7235 NEW BEST:: SOT 249272 SOS 50496 HAS SOPS 50496 HAS SOUS 33764 HAS SOUPS 33764 WITH SCORE 33814.496
AT ITER 7237 NEW BEST:: SOT 249252 SOS 50456 HAS SOPS 50456 HAS SOUS 33744 HAS SOUPS 33744 WITH SCORE 33794.456
AT ITER 7247 NEW BEST:: SOT 249243 SOS 50454 HAS SOPS 50454 HAS SOUS 33742 HAS SOUPS 33742 WITH SCORE 33792.454
AT ITER 7252 NEW BEST:: SOT 249243 SOS 50308 HAS SOPS 50308 HAS SOUS 33596 HAS SOUPS 33596 WITH SCORE 33646.308
AT ITER 7272 NEW BEST:: SOT 249227 SOS 50276 HAS SOPS 50276 HAS SOUS 33596 HAS SOUPS 33596 WITH SCORE 33646.276
AT ITER 7279 NEW BEST:: SOT 249227 SOS 50249 HAS SOPS 50249 HAS SOUS 33596 HAS SOUPS 33596 WITH SCORE 33646.249
AT ITER 7286 NEW BEST:: SOT 249230 SOS 50198 HAS SOPS 50198 HAS SOUS 33543 HAS SOUPS 33543 WITH SCORE 33593.198
AT ITER 7305 NEW BEST:: SOT 249210 SOS 50192 HAS SOPS 50192 HAS SOUS 33537 HAS SOUPS 33537 WITH SCORE 33587.192
AT ITER 7323 NEW BEST:: SOT 249171 SOS 50191 HAS SOPS 50191 HAS SOUS 33536 HAS SOUPS 33536 WITH SCORE 33586.191
AT ITER 7324 NEW BEST:: SOT 249164 SOS 50184 HAS SOPS 50184 HAS SOUS 33529 HAS SOUPS 33529 WITH SCORE 33579.184
AT ITER 7358 NEW BEST:: SOT 249148 SOS 50136 HAS SOPS 50136 HAS SOUS 33513 HAS SOUPS 33513 WITH SCORE 33563.136
AT ITER 7362 NEW BEST:: SOT 249147 SOS 50134 HAS SOPS 50134 HAS SOUS 33512 HAS SOUPS 33512 WITH SCORE 33562.134
AT ITER 7374 NEW BEST:: SOT 249081 SOS 50053 HAS SOPS 50053 HAS SOUS 33446 HAS SOUPS 33446 WITH SCORE 33496.053
AT ITER 7397 NEW BEST:: SOT 249077 SOS 50045 HAS SOPS 50045 HAS SOUS 33442 HAS SOUPS 33442 WITH SCORE 33492.045
AT ITER 7446 NEW BEST:: SOT 249057 SOS 50140 HAS SOPS 50140 HAS SOUS 33438 HAS SOUPS 33438 WITH SCORE 33488.14
AT ITER 7478 NEW BEST:: SOT 248986 SOS 50069 HAS SOPS 50069 HAS SOUS 33296 HAS SOUPS 33296 WITH SCORE 33346.069
AT ITER 7486 NEW BEST:: SOT 248986 SOS 50045 HAS SOPS 50045 HAS SOUS 33296 HAS SOUPS 33296 WITH SCORE 33346.045
AT ITER 7500 NEW BEST:: SOT 248983 SOS 50041 HAS SOPS 50041 HAS SOUS 33292 HAS SOUPS 33292 WITH SCORE 33342.041
AT ITER 7509 NEW BEST:: SOT 248944 SOS 49963 HAS SOPS 49963 HAS SOUS 33253 HAS SOUPS 33253 WITH SCORE 33302.963
AT ITER 7521 NEW BEST:: SOT 248944 SOS 49918 HAS SOPS 49918 HAS SOUS 33224 HAS SOUPS 33224 WITH SCORE 33273.918
AT ITER 7539 NEW BEST:: SOT 248944 SOS 49840 HAS SOPS 49840 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33234.84
AT ITER 7557 NEW BEST:: SOT 249135 SOS 50027 HAS SOPS 50027 HAS SOUS 33181 HAS SOUPS 33181 WITH SCORE 33231.027
AT ITER 7569 NEW BEST:: SOT 249129 SOS 50015 HAS SOPS 50015 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33219.015
AT ITER 7576 NEW BEST:: SOT 249149 SOS 50003 HAS SOPS 50003 HAS SOUS 33157 HAS SOUPS 33157 WITH SCORE 33207.003
AT ITER 7580 NEW BEST:: SOT 249081 SOS 49965 HAS SOPS 49965 HAS SOUS 33119 HAS SOUPS 33119 WITH SCORE 33168.965
AT ITER 7589 NEW BEST:: SOT 249081 SOS 49887 HAS SOPS 49887 HAS SOUS 33119 HAS SOUPS 33119 WITH SCORE 33168.887
AT ITER 7596 NEW BEST:: SOT 249053 SOS 49862 HAS SOPS 49862 HAS SOUS 33094 HAS SOUPS 33094 WITH SCORE 33143.862
AT ITER 7604 NEW BEST:: SOT 248986 SOS 49728 HAS SOPS 49728 HAS SOUS 33026 HAS SOUPS 33026 WITH SCORE 33075.728
AT ITER 7639 NEW BEST:: SOT 248975 SOS 49717 HAS SOPS 49717 HAS SOUS 33015 HAS SOUPS 33015 WITH SCORE 33064.717
AT ITER 7649 NEW BEST:: SOT 248972 SOS 49714 HAS SOPS 49714 HAS SOUS 33015 HAS SOUPS 33015 WITH SCORE 33064.714
AT ITER 7672 NEW BEST:: SOT 248971 SOS 49712 HAS SOPS 49712 HAS SOUS 33013 HAS SOUPS 33013 WITH SCORE 33062.712
AT ITER 7680 NEW BEST:: SOT 248963 SOS 49696 HAS SOPS 49696 HAS SOUS 32997 HAS SOUPS 32997 WITH SCORE 33046.696
AT ITER 7692 NEW BEST:: SOT 248948 SOS 49686 HAS SOPS 49686 HAS SOUS 32987 HAS SOUPS 32987 WITH SCORE 33036.686
AT ITER 7708 NEW BEST:: SOT 248911 SOS 49080 HAS SOPS 49080 HAS SOUS 32912 HAS SOUPS 32912 WITH SCORE 32961.08
AT ITER 7807 NEW BEST:: SOT 248897 SOS 49172 HAS SOPS 49172 HAS SOUS 32905 HAS SOUPS 32905 WITH SCORE 32954.172
AT ITER 7826 NEW BEST:: SOT 248896 SOS 49171 HAS SOPS 49171 HAS SOUS 32904 HAS SOUPS 32904 WITH SCORE 32953.171
AT ITER 7828 NEW BEST:: SOT 248889 SOS 49166 HAS SOPS 49166 HAS SOUS 32899 HAS SOUPS 32899 WITH SCORE 32948.166
AT ITER 7829 NEW BEST:: SOT 248872 SOS 49132 HAS SOPS 49132 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 32914.132
AT ITER 7844 NEW BEST:: SOT 248784 SOS 49044 HAS SOPS 49044 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 32914.044
AT ITER 7850 NEW BEST:: SOT 248779 SOS 49035 HAS SOPS 49035 HAS SOUS 32859 HAS SOUPS 32859 WITH SCORE 32908.035
AT ITER 7863 NEW BEST:: SOT 248776 SOS 49029 HAS SOPS 49029 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32902.029
AT ITER 7944 NEW BEST:: SOT 248741 SOS 48984 HAS SOPS 48984 HAS SOUS 32808 HAS SOUPS 32808 WITH SCORE 32856.984
AT ITER 7945 NEW BEST:: SOT 248725 SOS 48960 HAS SOPS 48960 HAS SOUS 32800 HAS SOUPS 32800 WITH SCORE 32848.96
AT ITER 7958 NEW BEST:: SOT 248662 SOS 48850 HAS SOPS 48850 HAS SOUS 32768 HAS SOUPS 32768 WITH SCORE 32816.85
AT ITER 7973 NEW BEST:: SOT 248644 SOS 48814 HAS SOPS 48814 HAS SOUS 32732 HAS SOUPS 32732 WITH SCORE 32780.814
AT ITER 8004 NEW BEST:: SOT 248676 SOS 48794 HAS SOPS 48794 HAS SOUS 32731 HAS SOUPS 32731 WITH SCORE 32779.794
AT ITER 8008 NEW BEST:: SOT 248662 SOS 48766 HAS SOPS 48766 HAS SOUS 32717 HAS SOUPS 32717 WITH SCORE 32765.766
AT ITER 8012 NEW BEST:: SOT 248675 SOS 48753 HAS SOPS 48753 HAS SOUS 32717 HAS SOUPS 32717 WITH SCORE 32765.753
AT ITER 8022 NEW BEST:: SOT 248639 SOS 48717 HAS SOPS 48717 HAS SOUS 32675 HAS SOUPS 32675 WITH SCORE 32723.717
AT ITER 8027 NEW BEST:: SOT 248706 SOS 48761 HAS SOPS 48761 HAS SOUS 32652 HAS SOUPS 32652 WITH SCORE 32700.761
AT ITER 8029 NEW BEST:: SOT 248672 SOS 48727 HAS SOPS 48727 HAS SOUS 32618 HAS SOUPS 32618 WITH SCORE 32666.727
AT ITER 8105 NEW BEST:: SOT 248669 SOS 48723 HAS SOPS 48723 HAS SOUS 32616 HAS SOUPS 32616 WITH SCORE 32664.723
AT ITER 8114 NEW BEST:: SOT 248673 SOS 48614 HAS SOPS 48614 HAS SOUS 32611 HAS SOUPS 32611 WITH SCORE 32659.614
AT ITER 8119 NEW BEST:: SOT 248681 SOS 48612 HAS SOPS 48612 HAS SOUS 32604 HAS SOUPS 32604 WITH SCORE 32652.612
AT ITER 8145 NEW BEST:: SOT 248681 SOS 48611 HAS SOPS 48611 HAS SOUS 32603 HAS SOUPS 32603 WITH SCORE 32651.611
AT ITER 8151 NEW BEST:: SOT 248662 SOS 48626 HAS SOPS 48626 HAS SOUS 32578 HAS SOUPS 32578 WITH SCORE 32626.626
AT ITER 8163 NEW BEST:: SOT 248662 SOS 48528 HAS SOPS 48528 HAS SOUS 32564 HAS SOUPS 32564 WITH SCORE 32612.528
AT ITER 8176 NEW BEST:: SOT 248566 SOS 48394 HAS SOPS 48394 HAS SOUS 32476 HAS SOUPS 32476 WITH SCORE 32524.394
AT ITER 8184 NEW BEST:: SOT 248563 SOS 48396 HAS SOPS 48396 HAS SOUS 32472 HAS SOUPS 32472 WITH SCORE 32520.396
AT ITER 8223 NEW BEST:: SOT 248532 SOS 48365 HAS SOPS 48365 HAS SOUS 32472 HAS SOUPS 32472 WITH SCORE 32520.365
AT ITER 8242 NEW BEST:: SOT 248532 SOS 48361 HAS SOPS 48361 HAS SOUS 32468 HAS SOUPS 32468 WITH SCORE 32516.361
AT ITER 8269 NEW BEST:: SOT 248484 SOS 48175 HAS SOPS 48175 HAS SOUS 32372 HAS SOUPS 32372 WITH SCORE 32420.175
AT ITER 8317 NEW BEST:: SOT 248444 SOS 48095 HAS SOPS 48095 HAS SOUS 32355 HAS SOUPS 32355 WITH SCORE 32403.095
AT ITER 8344 NEW BEST:: SOT 248441 SOS 48092 HAS SOPS 48092 HAS SOUS 32352 HAS SOUPS 32352 WITH SCORE 32400.092
AT ITER 8408 NEW BEST:: SOT 248432 SOS 48101 HAS SOPS 48101 HAS SOUS 32343 HAS SOUPS 32343 WITH SCORE 32391.101
AT ITER 8457 NEW BEST:: SOT 248424 SOS 48085 HAS SOPS 48085 HAS SOUS 32327 HAS SOUPS 32327 WITH SCORE 32375.085
AT ITER 8487 NEW BEST:: SOT 248438 SOS 48084 HAS SOPS 48084 HAS SOUS 32326 HAS SOUPS 32326 WITH SCORE 32374.084
AT ITER 8563 NEW BEST:: SOT 248421 SOS 48056 HAS SOPS 48056 HAS SOUS 32298 HAS SOUPS 32298 WITH SCORE 32346.056
AT ITER 8574 NEW BEST:: SOT 248411 SOS 48041 HAS SOPS 48041 HAS SOUS 32283 HAS SOUPS 32283 WITH SCORE 32331.041
AT ITER 8601 NEW BEST:: SOT 248410 SOS 48041 HAS SOPS 48041 HAS SOUS 32282 HAS SOUPS 32282 WITH SCORE 32330.041
AT ITER 8605 NEW BEST:: SOT 248410 SOS 47905 HAS SOPS 47905 HAS SOUS 32282 HAS SOUPS 32282 WITH SCORE 32329.905
AT ITER 8614 NEW BEST:: SOT 248409 SOS 47905 HAS SOPS 47905 HAS SOUS 32280 HAS SOUPS 32280 WITH SCORE 32327.905
AT ITER 8630 NEW BEST:: SOT 248425 SOS 47859 HAS SOPS 47859 HAS SOUS 32234 HAS SOUPS 32234 WITH SCORE 32281.859
AT ITER 8656 NEW BEST:: SOT 248385 SOS 47817 HAS SOPS 47817 HAS SOUS 32230 HAS SOUPS 32230 WITH SCORE 32277.817
AT ITER 8670 NEW BEST:: SOT 248385 SOS 47817 HAS SOPS 47817 HAS SOUS 32224 HAS SOUPS 32224 WITH SCORE 32271.817
AT ITER 8756 NEW BEST:: SOT 248380 SOS 47807 HAS SOPS 47807 HAS SOUS 32219 HAS SOUPS 32219 WITH SCORE 32266.807
AT ITER 8785 NEW BEST:: SOT 248345 SOS 47737 HAS SOPS 47737 HAS SOUS 32182 HAS SOUPS 32182 WITH SCORE 32229.737
AT ITER 8833 NEW BEST:: SOT 248344 SOS 47734 HAS SOPS 47734 HAS SOUS 32179 HAS SOUPS 32179 WITH SCORE 32226.734
AT ITER 8879 NEW BEST:: SOT 248327 SOS 47835 HAS SOPS 47835 HAS SOUS 32162 HAS SOUPS 32162 WITH SCORE 32209.835
AT ITER 8897 NEW BEST:: SOT 248334 SOS 47825 HAS SOPS 47825 HAS SOUS 32157 HAS SOUPS 32157 WITH SCORE 32204.825
AT ITER 8926 NEW BEST:: SOT 248334 SOS 47825 HAS SOPS 47825 HAS SOUS 32151 HAS SOUPS 32151 WITH SCORE 32198.825
AT ITER 8942 NEW BEST:: SOT 248392 SOS 47775 HAS SOPS 47775 HAS SOUS 32101 HAS SOUPS 32101 WITH SCORE 32148.775
AT ITER 8943 NEW BEST:: SOT 248364 SOS 47719 HAS SOPS 47719 HAS SOUS 32074 HAS SOUPS 32074 WITH SCORE 32121.719
AT ITER 8978 NEW BEST:: SOT 248365 SOS 47711 HAS SOPS 47711 HAS SOUS 32066 HAS SOUPS 32066 WITH SCORE 32113.711
AT ITER 9008 NEW BEST:: SOT 248353 SOS 47687 HAS SOPS 47687 HAS SOUS 32063 HAS SOUPS 32063 WITH SCORE 32110.687
AT ITER 9011 NEW BEST:: SOT 248353 SOS 47668 HAS SOPS 47668 HAS SOUS 32044 HAS SOUPS 32044 WITH SCORE 32091.668
AT ITER 9028 NEW BEST:: SOT 248357 SOS 47664 HAS SOPS 47664 HAS SOUS 32040 HAS SOUPS 32040 WITH SCORE 32087.664
AT ITER 9137 NEW BEST:: SOT 248354 SOS 47758 HAS SOPS 47758 HAS SOUS 32037 HAS SOUPS 32037 WITH SCORE 32084.758
AT ITER 9143 NEW BEST:: SOT 248340 SOS 47729 HAS SOPS 47729 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32074.729
AT ITER 9153 NEW BEST:: SOT 248339 SOS 47727 HAS SOPS 47727 HAS SOUS 32025 HAS SOUPS 32025 WITH SCORE 32072.727
AT ITER 9170 NEW BEST:: SOT 248256 SOS 47644 HAS SOPS 47644 HAS SOUS 32021 HAS SOUPS 32021 WITH SCORE 32068.644
AT ITER 9183 NEW BEST:: SOT 248253 SOS 47626 HAS SOPS 47626 HAS SOUS 32015 HAS SOUPS 32015 WITH SCORE 32062.626
AT ITER 9239 NEW BEST:: SOT 248235 SOS 47572 HAS SOPS 47572 HAS SOUS 31997 HAS SOUPS 31997 WITH SCORE 32044.572
AT ITER 9250 NEW BEST:: SOT 248238 SOS 47578 HAS SOPS 47578 HAS SOUS 31990 HAS SOUPS 31990 WITH SCORE 32037.578
AT ITER 9259 NEW BEST:: SOT 248217 SOS 47536 HAS SOPS 47536 HAS SOUS 31990 HAS SOUPS 31990 WITH SCORE 32037.536
AT ITER 9317 NEW BEST:: SOT 248205 SOS 47524 HAS SOPS 47524 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32025.524
AT ITER 9322 NEW BEST:: SOT 248192 SOS 47570 HAS SOPS 47570 HAS SOUS 31973 HAS SOUPS 31973 WITH SCORE 32020.57
AT ITER 9371 NEW BEST:: SOT 248191 SOS 47568 HAS SOPS 47568 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32018.568
AT ITER 9438 NEW BEST:: SOT 248171 SOS 47508 HAS SOPS 47508 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 31978.508
AT ITER 9444 NEW BEST:: SOT 248168 SOS 47505 HAS SOPS 47505 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 31978.505
AT ITER 9462 NEW BEST:: SOT 248175 SOS 47512 HAS SOPS 47512 HAS SOUS 31929 HAS SOUPS 31929 WITH SCORE 31976.512
AT ITER 9476 NEW BEST:: SOT 248196 SOS 47554 HAS SOPS 47554 HAS SOUS 31916 HAS SOUPS 31916 WITH SCORE 31963.554
AT ITER 9492 NEW BEST:: SOT 248180 SOS 47554 HAS SOPS 47554 HAS SOUS 31914 HAS SOUPS 31914 WITH SCORE 31961.554
AT ITER 9501 NEW BEST:: SOT 248179 SOS 47552 HAS SOPS 47552 HAS SOUS 31914 HAS SOUPS 31914 WITH SCORE 31961.552
AT ITER 9529 NEW BEST:: SOT 248174 SOS 47547 HAS SOPS 47547 HAS SOUS 31914 HAS SOUPS 31914 WITH SCORE 31961.547
AT ITER 9539 NEW BEST:: SOT 248159 SOS 47517 HAS SOPS 47517 HAS SOUS 31884 HAS SOUPS 31884 WITH SCORE 31931.517
AT ITER 9548 NEW BEST:: SOT 248147 SOS 47571 HAS SOPS 47571 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31925.571
AT ITER 9641 NEW BEST:: SOT 248040 SOS 47464 HAS SOPS 47464 HAS SOUS 31771 HAS SOUPS 31771 WITH SCORE 31818.464
AT ITER 9649 NEW BEST:: SOT 248032 SOS 47448 HAS SOPS 47448 HAS SOUS 31755 HAS SOUPS 31755 WITH SCORE 31802.448
AT ITER 9651 NEW BEST:: SOT 248016 SOS 47416 HAS SOPS 47416 HAS SOUS 31723 HAS SOUPS 31723 WITH SCORE 31770.416
AT ITER 9696 NEW BEST:: SOT 248013 SOS 47306 HAS SOPS 47306 HAS SOUS 31698 HAS SOUPS 31698 WITH SCORE 31745.306
AT ITER 9793 NEW BEST:: SOT 247975 SOS 47271 HAS SOPS 47271 HAS SOUS 31663 HAS SOUPS 31663 WITH SCORE 31710.271
AT ITER 9813 NEW BEST:: SOT 247961 SOS 47243 HAS SOPS 47243 HAS SOUS 31635 HAS SOUPS 31635 WITH SCORE 31682.243
AT ITER 9814 NEW BEST:: SOT 247961 SOS 47234 HAS SOPS 47234 HAS SOUS 31635 HAS SOUPS 31635 WITH SCORE 31682.234
AT ITER 9821 NEW BEST:: SOT 247916 SOS 47181 HAS SOPS 47181 HAS SOUS 31609 HAS SOUPS 31609 WITH SCORE 31656.181
AT ITER 9835 NEW BEST:: SOT 247913 SOS 47178 HAS SOPS 47178 HAS SOUS 31606 HAS SOUPS 31606 WITH SCORE 31653.178
AT ITER 9861 NEW BEST:: SOT 247837 SOS 47029 HAS SOPS 47029 HAS SOUS 31533 HAS SOUPS 31533 WITH SCORE 31580.029
AT ITER 9864 NEW BEST:: SOT 247826 SOS 47295 HAS SOPS 47295 HAS SOUS 31522 HAS SOUPS 31522 WITH SCORE 31569.295
AT ITER 9897 NEW BEST:: SOT 247826 SOS 47295 HAS SOPS 47295 HAS SOUS 31501 HAS SOUPS 31501 WITH SCORE 31548.295
AT ITER 9908 NEW BEST:: SOT 247826 SOS 47293 HAS SOPS 47293 HAS SOUS 31500 HAS SOUPS 31500 WITH SCORE 31547.293
AT ITER 9912 NEW BEST:: SOT 247819 SOS 47279 HAS SOPS 47279 HAS SOUS 31486 HAS SOUPS 31486 WITH SCORE 31533.279
AT ITER 9926 NEW BEST:: SOT 247819 SOS 47314 HAS SOPS 47314 HAS SOUS 31483 HAS SOUPS 31483 WITH SCORE 31530.314
AT ITER 9931 NEW BEST:: SOT 247819 SOS 47309 HAS SOPS 47309 HAS SOUS 31473 HAS SOUPS 31473 WITH SCORE 31520.309
AT ITER 9957 NEW BEST:: SOT 247805 SOS 47304 HAS SOPS 47304 HAS SOUS 31459 HAS SOUPS 31459 WITH SCORE 31506.304
AT ITER 9962 NEW BEST:: SOT 247802 SOS 47301 HAS SOPS 47301 HAS SOUS 31459 HAS SOUPS 31459 WITH SCORE 31506.301
AT ITER 9965 NEW BEST:: SOT 247764 SOS 47225 HAS SOPS 47225 HAS SOUS 31459 HAS SOUPS 31459 WITH SCORE 31506.225
AT ITER 9987 NEW BEST:: SOT 247710 SOS 47117 HAS SOPS 47117 HAS SOUS 31459 HAS SOUPS 31459 WITH SCORE 31506.117
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6046304 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152744 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="SmartHome-PT-18"
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 SmartHome-PT-18, 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 r451-smll-167912643300296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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