Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538300064.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.1K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 64K May 12 20:42 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 1590469744945

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 08
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 252 places, 291 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 43937 SOS 10855 HAS SOPS 10855 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10509.855
AT ITER 8 NEW BEST:: SOT 43930 SOS 10848 HAS SOPS 10848 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10502.848
AT ITER 17 NEW BEST:: SOT 43930 SOS 10805 HAS SOPS 10805 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10459.805
AT ITER 25 NEW BEST:: SOT 43915 SOS 10775 HAS SOPS 10775 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10429.775
AT ITER 31 NEW BEST:: SOT 43895 SOS 10755 HAS SOPS 10755 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10409.755
AT ITER 34 NEW BEST:: SOT 43895 SOS 10745 HAS SOPS 10745 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10399.745
AT ITER 55 NEW BEST:: SOT 43830 SOS 10691 HAS SOPS 10691 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10338.691
AT ITER 67 NEW BEST:: SOT 43828 SOS 10677 HAS SOPS 10677 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10336.677
AT ITER 78 NEW BEST:: SOT 43806 SOS 10666 HAS SOPS 10666 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10325.666
AT ITER 88 NEW BEST:: SOT 43770 SOS 10608 HAS SOPS 10608 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10274.608
AT ITER 95 NEW BEST:: SOT 43807 SOS 10682 HAS SOPS 10682 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10265.682
AT ITER 104 NEW BEST:: SOT 43790 SOS 10665 HAS SOPS 10665 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10248.665
AT ITER 120 NEW BEST:: SOT 43757 SOS 10664 HAS SOPS 10664 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10247.664
AT ITER 128 NEW BEST:: SOT 43757 SOS 10646 HAS SOPS 10646 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10247.646
AT ITER 152 NEW BEST:: SOT 43733 SOS 10644 HAS SOPS 10644 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10190.644
AT ITER 154 NEW BEST:: SOT 43535 SOS 11132 HAS SOPS 11132 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10049.132
AT ITER 163 NEW BEST:: SOT 43548 SOS 11158 HAS SOPS 11158 HAS SOUS 10027 HAS SOUPS 10027 WITH SCORE 10038.158
AT ITER 173 NEW BEST:: SOT 43547 SOS 11156 HAS SOPS 11156 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10036.156
AT ITER 180 NEW BEST:: SOT 43534 SOS 11130 HAS SOPS 11130 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10010.13
AT ITER 193 NEW BEST:: SOT 43523 SOS 11416 HAS SOPS 11416 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 9999.416
AT ITER 201 NEW BEST:: SOT 43317 SOS 11357 HAS SOPS 11357 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9858.357
AT ITER 210 NEW BEST:: SOT 43307 SOS 11347 HAS SOPS 11347 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9838.347
AT ITER 224 NEW BEST:: SOT 43297 SOS 11327 HAS SOPS 11327 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9795.327
AT ITER 236 NEW BEST:: SOT 43286 SOS 11305 HAS SOPS 11305 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9773.305
AT ITER 239 NEW BEST:: SOT 43286 SOS 11303 HAS SOPS 11303 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9773.303
AT ITER 247 NEW BEST:: SOT 43266 SOS 11288 HAS SOPS 11288 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9753.288
AT ITER 252 NEW BEST:: SOT 43251 SOS 11277 HAS SOPS 11277 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9738.277
AT ITER 278 NEW BEST:: SOT 43245 SOS 11271 HAS SOPS 11271 HAS SOUS 9721 HAS SOUPS 9721 WITH SCORE 9732.271
AT ITER 285 NEW BEST:: SOT 43195 SOS 11221 HAS SOPS 11221 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9672.221
AT ITER 290 NEW BEST:: SOT 43188 SOS 11214 HAS SOPS 11214 HAS SOUS 9654 HAS SOUPS 9654 WITH SCORE 9665.214
AT ITER 299 NEW BEST:: SOT 43188 SOS 11214 HAS SOPS 11214 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9658.214
AT ITER 312 NEW BEST:: SOT 43163 SOS 11168 HAS SOPS 11168 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9612.168
AT ITER 328 NEW BEST:: SOT 43145 SOS 11141 HAS SOPS 11141 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9585.141
AT ITER 339 NEW BEST:: SOT 43095 SOS 11041 HAS SOPS 11041 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9535.041
AT ITER 358 NEW BEST:: SOT 43098 SOS 10753 HAS SOPS 10753 HAS SOUS 9513 HAS SOUPS 9513 WITH SCORE 9523.753
AT ITER 360 NEW BEST:: SOT 42644 SOS 10821 HAS SOPS 10821 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9147.821
AT ITER 370 NEW BEST:: SOT 42643 SOS 10819 HAS SOPS 10819 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9145.819
AT ITER 393 NEW BEST:: SOT 42375 SOS 12274 HAS SOPS 12274 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9124.274
AT ITER 399 NEW BEST:: SOT 42370 SOS 12264 HAS SOPS 12264 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9119.264
AT ITER 404 NEW BEST:: SOT 42362 SOS 12248 HAS SOPS 12248 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9097.248
AT ITER 422 NEW BEST:: SOT 42328 SOS 12180 HAS SOPS 12180 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9093.18
AT ITER 424 NEW BEST:: SOT 42307 SOS 12176 HAS SOPS 12176 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9089.176
AT ITER 425 NEW BEST:: SOT 42318 SOS 12156 HAS SOPS 12156 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9045.156
AT ITER 428 NEW BEST:: SOT 42299 SOS 12118 HAS SOPS 12118 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9012.118
AT ITER 433 NEW BEST:: SOT 42296 SOS 12112 HAS SOPS 12112 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9009.112
AT ITER 434 NEW BEST:: SOT 42288 SOS 12086 HAS SOPS 12086 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8979.086
AT ITER 436 NEW BEST:: SOT 42288 SOS 12082 HAS SOPS 12082 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8979.082
AT ITER 457 NEW BEST:: SOT 42286 SOS 12080 HAS SOPS 12080 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8975.08
AT ITER 461 NEW BEST:: SOT 42277 SOS 12063 HAS SOPS 12063 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8954.063
AT ITER 479 NEW BEST:: SOT 42249 SOS 12035 HAS SOPS 12035 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8925.035
AT ITER 480 NEW BEST:: SOT 42255 SOS 12024 HAS SOPS 12024 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8914.024
AT ITER 481 NEW BEST:: SOT 42149 SOS 12254 HAS SOPS 12254 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8812.254
AT ITER 506 NEW BEST:: SOT 42120 SOS 12196 HAS SOPS 12196 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8812.196
AT ITER 507 NEW BEST:: SOT 42106 SOS 12168 HAS SOPS 12168 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8798.168
AT ITER 510 NEW BEST:: SOT 42106 SOS 12168 HAS SOPS 12168 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8747.168
AT ITER 518 NEW BEST:: SOT 42054 SOS 12077 HAS SOPS 12077 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8722.077
AT ITER 541 NEW BEST:: SOT 42039 SOS 12047 HAS SOPS 12047 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8707.047
AT ITER 563 NEW BEST:: SOT 41986 SOS 11941 HAS SOPS 11941 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8550.941
AT ITER 569 NEW BEST:: SOT 41986 SOS 11939 HAS SOPS 11939 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8550.939
AT ITER 579 NEW BEST:: SOT 41986 SOS 11931 HAS SOPS 11931 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8542.931
AT ITER 602 NEW BEST:: SOT 41985 SOS 11929 HAS SOPS 11929 HAS SOUS 8529 HAS SOUPS 8529 WITH SCORE 8540.929
AT ITER 605 NEW BEST:: SOT 41973 SOS 11917 HAS SOPS 11917 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8528.917
AT ITER 607 NEW BEST:: SOT 41970 SOS 11913 HAS SOPS 11913 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8525.913
AT ITER 616 NEW BEST:: SOT 41954 SOS 11897 HAS SOPS 11897 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8525.897
AT ITER 629 NEW BEST:: SOT 41928 SOS 11845 HAS SOPS 11845 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8499.845
AT ITER 643 NEW BEST:: SOT 41834 SOS 11749 HAS SOPS 11749 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8497.749
AT ITER 649 NEW BEST:: SOT 41834 SOS 11733 HAS SOPS 11733 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8497.733
AT ITER 654 NEW BEST:: SOT 41823 SOS 11711 HAS SOPS 11711 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8475.711
AT ITER 664 NEW BEST:: SOT 41827 SOS 11702 HAS SOPS 11702 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8466.702
AT ITER 671 NEW BEST:: SOT 41761 SOS 11693 HAS SOPS 11693 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8416.693
AT ITER 676 NEW BEST:: SOT 41754 SOS 11679 HAS SOPS 11679 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8381.679
AT ITER 689 NEW BEST:: SOT 41754 SOS 11671 HAS SOPS 11671 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8373.671
AT ITER 718 NEW BEST:: SOT 41754 SOS 11671 HAS SOPS 11671 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8371.671
AT ITER 739 NEW BEST:: SOT 41752 SOS 11689 HAS SOPS 11689 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8355.689
AT ITER 743 NEW BEST:: SOT 41736 SOS 11657 HAS SOPS 11657 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8346.657
AT ITER 756 NEW BEST:: SOT 41731 SOS 11647 HAS SOPS 11647 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8341.647
AT ITER 771 NEW BEST:: SOT 41735 SOS 11652 HAS SOPS 11652 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8306.652
AT ITER 779 NEW BEST:: SOT 41709 SOS 11636 HAS SOPS 11636 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8258.636
AT ITER 780 NEW BEST:: SOT 41703 SOS 11624 HAS SOPS 11624 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8246.624
AT ITER 802 NEW BEST:: SOT 41722 SOS 11594 HAS SOPS 11594 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8214.594
AT ITER 803 NEW BEST:: SOT 41722 SOS 11570 HAS SOPS 11570 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8190.57
AT ITER 809 NEW BEST:: SOT 41656 SOS 11723 HAS SOPS 11723 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8165.723
AT ITER 822 NEW BEST:: SOT 41641 SOS 11708 HAS SOPS 11708 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8164.708
AT ITER 826 NEW BEST:: SOT 41640 SOS 11707 HAS SOPS 11707 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8164.707
AT ITER 847 NEW BEST:: SOT 41626 SOS 11684 HAS SOPS 11684 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8141.684
AT ITER 869 NEW BEST:: SOT 41624 SOS 11681 HAS SOPS 11681 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8138.681
AT ITER 871 NEW BEST:: SOT 41646 SOS 11725 HAS SOPS 11725 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8127.725
AT ITER 876 NEW BEST:: SOT 41559 SOS 11552 HAS SOPS 11552 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8040.552
AT ITER 887 NEW BEST:: SOT 41542 SOS 11518 HAS SOPS 11518 HAS SOUS 8025 HAS SOUPS 8025 WITH SCORE 8036.518
AT ITER 898 NEW BEST:: SOT 41542 SOS 11462 HAS SOPS 11462 HAS SOUS 8025 HAS SOUPS 8025 WITH SCORE 8036.462
AT ITER 907 NEW BEST:: SOT 41404 SOS 12410 HAS SOPS 12410 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8033.41
AT ITER 942 NEW BEST:: SOT 41402 SOS 12406 HAS SOPS 12406 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8029.406
AT ITER 943 NEW BEST:: SOT 41384 SOS 12370 HAS SOPS 12370 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8011.37
AT ITER 945 NEW BEST:: SOT 41363 SOS 12328 HAS SOPS 12328 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7990.328
AT ITER 948 NEW BEST:: SOT 41375 SOS 12297 HAS SOPS 12297 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7984.297
AT ITER 962 NEW BEST:: SOT 41360 SOS 12278 HAS SOPS 12278 HAS SOUS 7964 HAS SOUPS 7964 WITH SCORE 7976.278
AT ITER 966 NEW BEST:: SOT 41357 SOS 12272 HAS SOPS 12272 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7970.272
AT ITER 974 NEW BEST:: SOT 41345 SOS 12263 HAS SOPS 12263 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7963.263
AT ITER 975 NEW BEST:: SOT 41323 SOS 12213 HAS SOPS 12213 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7916.213
AT ITER 988 NEW BEST:: SOT 41318 SOS 12206 HAS SOPS 12206 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7914.206
AT ITER 1001 NEW BEST:: SOT 41255 SOS 12080 HAS SOPS 12080 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7819.08
AT ITER 1009 NEW BEST:: SOT 41260 SOS 12013 HAS SOPS 12013 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7752.013
AT ITER 1013 NEW BEST:: SOT 41238 SOS 11991 HAS SOPS 11991 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7729.991
AT ITER 1024 NEW BEST:: SOT 41232 SOS 11985 HAS SOPS 11985 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7723.985
AT ITER 1060 NEW BEST:: SOT 41226 SOS 11973 HAS SOPS 11973 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7718.973
AT ITER 1086 NEW BEST:: SOT 41185 SOS 11852 HAS SOPS 11852 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7653.852
AT ITER 1125 NEW BEST:: SOT 41175 SOS 11775 HAS SOPS 11775 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7633.775
AT ITER 1128 NEW BEST:: SOT 41165 SOS 11615 HAS SOPS 11615 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7613.615
AT ITER 1130 NEW BEST:: SOT 41114 SOS 11526 HAS SOPS 11526 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.526
AT ITER 1148 NEW BEST:: SOT 41101 SOS 11513 HAS SOPS 11513 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.513
AT ITER 1158 NEW BEST:: SOT 41101 SOS 11498 HAS SOPS 11498 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7509.498
AT ITER 1171 NEW BEST:: SOT 41099 SOS 11495 HAS SOPS 11495 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7506.495
AT ITER 1196 NEW BEST:: SOT 41091 SOS 11479 HAS SOPS 11479 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7481.479
AT ITER 1205 NEW BEST:: SOT 41081 SOS 11467 HAS SOPS 11467 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7463.467
AT ITER 1213 NEW BEST:: SOT 41073 SOS 11462 HAS SOPS 11462 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7458.462
AT ITER 1216 NEW BEST:: SOT 41071 SOS 11458 HAS SOPS 11458 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7454.458
AT ITER 1231 NEW BEST:: SOT 41054 SOS 11458 HAS SOPS 11458 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7437.458
AT ITER 1235 NEW BEST:: SOT 41040 SOS 11430 HAS SOPS 11430 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7416.43
AT ITER 1254 NEW BEST:: SOT 41067 SOS 11451 HAS SOPS 11451 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7414.451
AT ITER 1281 NEW BEST:: SOT 41067 SOS 11449 HAS SOPS 11449 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7414.449
AT ITER 1289 NEW BEST:: SOT 41059 SOS 11445 HAS SOPS 11445 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7409.445
AT ITER 1311 NEW BEST:: SOT 41050 SOS 11358 HAS SOPS 11358 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7391.358
AT ITER 1312 NEW BEST:: SOT 41049 SOS 11356 HAS SOPS 11356 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7389.356
AT ITER 1322 NEW BEST:: SOT 41051 SOS 11336 HAS SOPS 11336 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7385.336
AT ITER 1323 NEW BEST:: SOT 41050 SOS 11335 HAS SOPS 11335 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7384.335
AT ITER 1340 NEW BEST:: SOT 41026 SOS 11331 HAS SOPS 11331 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7362.331
AT ITER 1359 NEW BEST:: SOT 41019 SOS 11324 HAS SOPS 11324 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7355.324
AT ITER 1375 NEW BEST:: SOT 41011 SOS 11300 HAS SOPS 11300 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7339.3
AT ITER 1412 NEW BEST:: SOT 41005 SOS 11285 HAS SOPS 11285 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7324.285
AT ITER 1427 NEW BEST:: SOT 40981 SOS 11276 HAS SOPS 11276 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7299.276
AT ITER 1458 NEW BEST:: SOT 40969 SOS 11264 HAS SOPS 11264 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7293.264
AT ITER 1471 NEW BEST:: SOT 40974 SOS 11274 HAS SOPS 11274 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7251.274
AT ITER 1474 NEW BEST:: SOT 40965 SOS 11256 HAS SOPS 11256 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7233.256
AT ITER 1480 NEW BEST:: SOT 40965 SOS 11256 HAS SOPS 11256 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7231.256
AT ITER 1489 NEW BEST:: SOT 40956 SOS 11250 HAS SOPS 11250 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7225.25
AT ITER 1490 NEW BEST:: SOT 40950 SOS 11238 HAS SOPS 11238 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7216.238
AT ITER 1492 NEW BEST:: SOT 40950 SOS 11211 HAS SOPS 11211 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7189.211
AT ITER 1501 NEW BEST:: SOT 40905 SOS 11121 HAS SOPS 11121 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7125.121
AT ITER 1510 NEW BEST:: SOT 40905 SOS 11116 HAS SOPS 11116 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7120.116
AT ITER 1516 NEW BEST:: SOT 40905 SOS 11116 HAS SOPS 11116 HAS SOUS 7095 HAS SOUPS 7095 WITH SCORE 7106.116
AT ITER 1522 NEW BEST:: SOT 40903 SOS 11114 HAS SOPS 11114 HAS SOUS 7093 HAS SOUPS 7093 WITH SCORE 7104.114
AT ITER 1576 NEW BEST:: SOT 40866 SOS 11077 HAS SOPS 11077 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7032.077
AT ITER 1578 NEW BEST:: SOT 40845 SOS 11055 HAS SOPS 11055 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7010.055
AT ITER 1595 NEW BEST:: SOT 40842 SOS 11049 HAS SOPS 11049 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7004.049
AT ITER 1626 NEW BEST:: SOT 40829 SOS 11023 HAS SOPS 11023 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6978.023
AT ITER 1648 NEW BEST:: SOT 40817 SOS 11011 HAS SOPS 11011 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6966.011
AT ITER 1696 NEW BEST:: SOT 40814 SOS 11009 HAS SOPS 11009 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6964.009
AT ITER 1702 NEW BEST:: SOT 40794 SOS 10928 HAS SOPS 10928 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6905.928
AT ITER 1708 NEW BEST:: SOT 40785 SOS 10910 HAS SOPS 10910 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6887.91
AT ITER 1714 NEW BEST:: SOT 40784 SOS 10908 HAS SOPS 10908 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6887.908
AT ITER 1796 NEW BEST:: SOT 40780 SOS 10902 HAS SOPS 10902 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6881.902
AT ITER 1798 NEW BEST:: SOT 40767 SOS 10876 HAS SOPS 10876 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6873.876
AT ITER 1800 NEW BEST:: SOT 40749 SOS 10861 HAS SOPS 10861 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6872.861
AT ITER 1812 NEW BEST:: SOT 40741 SOS 10853 HAS SOPS 10853 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6869.853
AT ITER 1823 NEW BEST:: SOT 40739 SOS 10851 HAS SOPS 10851 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6869.851
AT ITER 1837 NEW BEST:: SOT 40736 SOS 10877 HAS SOPS 10877 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6866.877
AT ITER 1860 NEW BEST:: SOT 40733 SOS 10871 HAS SOPS 10871 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6860.871
AT ITER 1882 NEW BEST:: SOT 40732 SOS 10851 HAS SOPS 10851 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6854.851
AT ITER 1893 NEW BEST:: SOT 40730 SOS 10849 HAS SOPS 10849 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6852.849
AT ITER 1900 NEW BEST:: SOT 40734 SOS 10843 HAS SOPS 10843 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6847.843
AT ITER 1909 NEW BEST:: SOT 40730 SOS 10839 HAS SOPS 10839 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6843.839
AT ITER 1910 NEW BEST:: SOT 40728 SOS 10837 HAS SOPS 10837 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6841.837
AT ITER 1932 NEW BEST:: SOT 40723 SOS 10827 HAS SOPS 10827 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6831.827
AT ITER 1933 NEW BEST:: SOT 40697 SOS 10944 HAS SOPS 10944 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6819.944
AT ITER 1941 NEW BEST:: SOT 40695 SOS 10940 HAS SOPS 10940 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6817.94
AT ITER 1973 NEW BEST:: SOT 40706 SOS 10955 HAS SOPS 10955 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6815.955
AT ITER 1999 NEW BEST:: SOT 40721 SOS 10966 HAS SOPS 10966 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6811.966
AT ITER 2018 NEW BEST:: SOT 40721 SOS 10966 HAS SOPS 10966 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6809.966
AT ITER 2047 NEW BEST:: SOT 40715 SOS 10957 HAS SOPS 10957 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6803.957
AT ITER 2084 NEW BEST:: SOT 40722 SOS 10964 HAS SOPS 10964 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6801.964
AT ITER 2105 NEW BEST:: SOT 40714 SOS 10878 HAS SOPS 10878 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6738.878
AT ITER 2124 NEW BEST:: SOT 40713 SOS 10876 HAS SOPS 10876 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6736.876
AT ITER 2144 NEW BEST:: SOT 40697 SOS 10855 HAS SOPS 10855 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6715.855
AT ITER 2147 NEW BEST:: SOT 40683 SOS 10840 HAS SOPS 10840 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6700.84
AT ITER 2152 NEW BEST:: SOT 40681 SOS 10836 HAS SOPS 10836 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6694.836
AT ITER 2183 NEW BEST:: SOT 40645 SOS 10816 HAS SOPS 10816 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6676.816
AT ITER 2185 NEW BEST:: SOT 40645 SOS 10792 HAS SOPS 10792 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6652.792
AT ITER 2209 NEW BEST:: SOT 40622 SOS 10746 HAS SOPS 10746 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6623.746
AT ITER 2229 NEW BEST:: SOT 40625 SOS 10743 HAS SOPS 10743 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6620.743
AT ITER 2273 NEW BEST:: SOT 40626 SOS 10745 HAS SOPS 10745 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6606.745
AT ITER 2283 NEW BEST:: SOT 40625 SOS 10744 HAS SOPS 10744 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6605.744
AT ITER 2338 NEW BEST:: SOT 40615 SOS 10729 HAS SOPS 10729 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6590.729
AT ITER 2340 NEW BEST:: SOT 40644 SOS 10758 HAS SOPS 10758 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6585.758
AT ITER 2349 NEW BEST:: SOT 40633 SOS 10747 HAS SOPS 10747 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6578.747
AT ITER 2350 NEW BEST:: SOT 40633 SOS 10703 HAS SOPS 10703 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6578.703
AT ITER 2362 NEW BEST:: SOT 40616 SOS 10686 HAS SOPS 10686 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6567.686
AT ITER 2403 NEW BEST:: SOT 40611 SOS 10676 HAS SOPS 10676 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6567.676
AT ITER 2419 NEW BEST:: SOT 40610 SOS 10675 HAS SOPS 10675 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6566.675
AT ITER 2462 NEW BEST:: SOT 40609 SOS 10673 HAS SOPS 10673 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6565.673
AT ITER 2466 NEW BEST:: SOT 40610 SOS 10674 HAS SOPS 10674 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6564.674
AT ITER 2486 NEW BEST:: SOT 40552 SOS 10894 HAS SOPS 10894 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6530.894
AT ITER 2510 NEW BEST:: SOT 40550 SOS 10891 HAS SOPS 10891 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6527.891
AT ITER 2542 NEW BEST:: SOT 40509 SOS 10882 HAS SOPS 10882 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6518.882
AT ITER 2568 NEW BEST:: SOT 40508 SOS 10881 HAS SOPS 10881 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6517.881
AT ITER 2612 NEW BEST:: SOT 40511 SOS 10887 HAS SOPS 10887 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6510.887
AT ITER 2624 NEW BEST:: SOT 40510 SOS 10885 HAS SOPS 10885 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6508.885
AT ITER 2630 NEW BEST:: SOT 40501 SOS 10876 HAS SOPS 10876 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6499.876
AT ITER 2634 NEW BEST:: SOT 40495 SOS 10864 HAS SOPS 10864 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6493.864
AT ITER 2635 NEW BEST:: SOT 40494 SOS 10863 HAS SOPS 10863 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6492.863
AT ITER 2650 NEW BEST:: SOT 40477 SOS 10854 HAS SOPS 10854 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6485.854
AT ITER 2666 NEW BEST:: SOT 40477 SOS 10854 HAS SOPS 10854 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6483.854
AT ITER 2683 NEW BEST:: SOT 40483 SOS 10852 HAS SOPS 10852 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6481.852
AT ITER 2692 NEW BEST:: SOT 40444 SOS 10774 HAS SOPS 10774 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6442.774
AT ITER 2700 NEW BEST:: SOT 40415 SOS 10716 HAS SOPS 10716 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6438.716
AT ITER 2764 NEW BEST:: SOT 40414 SOS 10714 HAS SOPS 10714 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6436.714
AT ITER 2768 NEW BEST:: SOT 40414 SOS 10712 HAS SOPS 10712 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6434.712
AT ITER 2771 NEW BEST:: SOT 40410 SOS 10708 HAS SOPS 10708 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6425.708
AT ITER 2776 NEW BEST:: SOT 40409 SOS 10706 HAS SOPS 10706 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6425.706
AT ITER 2781 NEW BEST:: SOT 40393 SOS 10683 HAS SOPS 10683 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6406.683
AT ITER 2815 NEW BEST:: SOT 40390 SOS 10721 HAS SOPS 10721 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6400.721
AT ITER 2819 NEW BEST:: SOT 40387 SOS 10715 HAS SOPS 10715 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6394.715
AT ITER 2831 NEW BEST:: SOT 40381 SOS 10706 HAS SOPS 10706 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6388.706
AT ITER 2851 NEW BEST:: SOT 40373 SOS 10690 HAS SOPS 10690 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6372.69
AT ITER 2859 NEW BEST:: SOT 40361 SOS 10654 HAS SOPS 10654 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6360.654
AT ITER 2923 NEW BEST:: SOT 40361 SOS 10652 HAS SOPS 10652 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6358.652
AT ITER 2930 NEW BEST:: SOT 40361 SOS 10639 HAS SOPS 10639 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6345.639
AT ITER 2956 NEW BEST:: SOT 40353 SOS 10631 HAS SOPS 10631 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6345.631
AT ITER 2968 NEW BEST:: SOT 40349 SOS 10623 HAS SOPS 10623 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6337.623
AT ITER 2989 NEW BEST:: SOT 40344 SOS 10618 HAS SOPS 10618 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6327.618
AT ITER 2992 NEW BEST:: SOT 40339 SOS 10613 HAS SOPS 10613 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6327.613
AT ITER 2993 NEW BEST:: SOT 40319 SOS 10573 HAS SOPS 10573 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6324.573
AT ITER 2995 NEW BEST:: SOT 40316 SOS 10570 HAS SOPS 10570 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6321.57
AT ITER 3023 NEW BEST:: SOT 40315 SOS 10568 HAS SOPS 10568 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6320.568
AT ITER 3077 NEW BEST:: SOT 40284 SOS 10526 HAS SOPS 10526 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6284.526
AT ITER 3108 NEW BEST:: SOT 40284 SOS 10526 HAS SOPS 10526 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6274.526
AT ITER 3110 NEW BEST:: SOT 40276 SOS 10528 HAS SOPS 10528 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6272.528
AT ITER 3111 NEW BEST:: SOT 40276 SOS 10519 HAS SOPS 10519 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6272.519
AT ITER 3116 NEW BEST:: SOT 40268 SOS 10498 HAS SOPS 10498 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6260.498
AT ITER 3179 NEW BEST:: SOT 40266 SOS 10494 HAS SOPS 10494 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6256.494
AT ITER 3212 NEW BEST:: SOT 40263 SOS 10491 HAS SOPS 10491 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6254.491
AT ITER 3251 NEW BEST:: SOT 40261 SOS 10487 HAS SOPS 10487 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6250.487
AT ITER 3323 NEW BEST:: SOT 40260 SOS 10484 HAS SOPS 10484 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6248.484
AT ITER 3396 NEW BEST:: SOT 40246 SOS 10428 HAS SOPS 10428 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6214.428
AT ITER 3446 NEW BEST:: SOT 40243 SOS 10422 HAS SOPS 10422 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6208.422
AT ITER 3448 NEW BEST:: SOT 40213 SOS 10362 HAS SOPS 10362 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6206.362
AT ITER 3458 NEW BEST:: SOT 40211 SOS 10358 HAS SOPS 10358 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6202.358
AT ITER 3465 NEW BEST:: SOT 40213 SOS 10363 HAS SOPS 10363 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6187.363
AT ITER 3510 NEW BEST:: SOT 40189 SOS 10315 HAS SOPS 10315 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6172.315
AT ITER 3521 NEW BEST:: SOT 40170 SOS 10277 HAS SOPS 10277 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6162.277
AT ITER 3568 NEW BEST:: SOT 40179 SOS 10259 HAS SOPS 10259 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6144.259
AT ITER 3638 NEW BEST:: SOT 40175 SOS 10251 HAS SOPS 10251 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6140.251
AT ITER 3674 NEW BEST:: SOT 40154 SOS 10229 HAS SOPS 10229 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6118.229
AT ITER 3682 NEW BEST:: SOT 40144 SOS 10209 HAS SOPS 10209 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6097.209
AT ITER 3688 NEW BEST:: SOT 40141 SOS 10147 HAS SOPS 10147 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6094.147
AT ITER 3857 NEW BEST:: SOT 40134 SOS 10140 HAS SOPS 10140 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6094.14
AT ITER 3863 NEW BEST:: SOT 40134 SOS 10134 HAS SOPS 10134 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6088.134
AT ITER 3891 NEW BEST:: SOT 40124 SOS 10119 HAS SOPS 10119 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6078.119
AT ITER 3920 NEW BEST:: SOT 40111 SOS 10093 HAS SOPS 10093 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6052.093
AT ITER 3986 NEW BEST:: SOT 40111 SOS 10081 HAS SOPS 10081 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6040.081
AT ITER 4009 NEW BEST:: SOT 40088 SOS 10035 HAS SOPS 10035 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6031.035
AT ITER 4019 NEW BEST:: SOT 40089 SOS 10037 HAS SOPS 10037 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6024.037
AT ITER 4028 NEW BEST:: SOT 40076 SOS 10042 HAS SOPS 10042 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6011.042
AT ITER 4056 NEW BEST:: SOT 40079 SOS 10048 HAS SOPS 10048 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6006.048
AT ITER 4068 NEW BEST:: SOT 40079 SOS 10048 HAS SOPS 10048 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5997.048
AT ITER 4127 NEW BEST:: SOT 40065 SOS 10020 HAS SOPS 10020 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5989.02
AT ITER 4131 NEW BEST:: SOT 40065 SOS 10011 HAS SOPS 10011 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5980.011
AT ITER 4160 NEW BEST:: SOT 40061 SOS 10003 HAS SOPS 10003 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5976.003
AT ITER 4177 NEW BEST:: SOT 40057 SOS 9995 HAS SOPS 9995 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5967.995
AT ITER 4183 NEW BEST:: SOT 40045 SOS 9971 HAS SOPS 9971 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5943.971
AT ITER 4206 NEW BEST:: SOT 40042 SOS 9965 HAS SOPS 9965 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5937.965
AT ITER 4248 NEW BEST:: SOT 40044 SOS 9871 HAS SOPS 9871 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5932.871
AT ITER 4249 NEW BEST:: SOT 40050 SOS 9858 HAS SOPS 9858 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5881.858
AT ITER 4284 NEW BEST:: SOT 40046 SOS 9852 HAS SOPS 9852 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5875.852
AT ITER 4294 NEW BEST:: SOT 40019 SOS 9827 HAS SOPS 9827 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5846.827
AT ITER 4353 NEW BEST:: SOT 40019 SOS 9824 HAS SOPS 9824 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5846.824
AT ITER 4411 NEW BEST:: SOT 40000 SOS 9805 HAS SOPS 9805 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5827.805
AT ITER 4413 NEW BEST:: SOT 39998 SOS 9803 HAS SOPS 9803 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5825.803
AT ITER 4441 NEW BEST:: SOT 39998 SOS 9803 HAS SOPS 9803 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5819.803
AT ITER 4454 NEW BEST:: SOT 39984 SOS 9775 HAS SOPS 9775 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5805.775
AT ITER 4465 NEW BEST:: SOT 39982 SOS 9771 HAS SOPS 9771 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5801.771
AT ITER 4498 NEW BEST:: SOT 39966 SOS 9755 HAS SOPS 9755 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5785.755
AT ITER 4575 NEW BEST:: SOT 39963 SOS 9749 HAS SOPS 9749 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5781.749
AT ITER 4594 NEW BEST:: SOT 39955 SOS 9621 HAS SOPS 9621 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5765.621
AT ITER 4622 NEW BEST:: SOT 39955 SOS 9621 HAS SOPS 9621 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5763.621
AT ITER 4644 NEW BEST:: SOT 39954 SOS 9620 HAS SOPS 9620 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.62
AT ITER 4672 NEW BEST:: SOT 39953 SOS 9618 HAS SOPS 9618 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5760.618
AT ITER 4682 NEW BEST:: SOT 39953 SOS 9618 HAS SOPS 9618 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5750.618
AT ITER 4721 NEW BEST:: SOT 39965 SOS 9642 HAS SOPS 9642 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5737.642
AT ITER 4724 NEW BEST:: SOT 39941 SOS 9594 HAS SOPS 9594 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5715.594
AT ITER 4772 NEW BEST:: SOT 39941 SOS 9592 HAS SOPS 9592 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5713.592
AT ITER 4774 NEW BEST:: SOT 39941 SOS 9582 HAS SOPS 9582 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5713.582
AT ITER 4788 NEW BEST:: SOT 39944 SOS 9586 HAS SOPS 9586 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5709.586
AT ITER 4790 NEW BEST:: SOT 39920 SOS 9562 HAS SOPS 9562 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5709.562
AT ITER 4813 NEW BEST:: SOT 39855 SOS 10062 HAS SOPS 10062 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5675.062
AT ITER 4837 NEW BEST:: SOT 39836 SOS 10043 HAS SOPS 10043 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5675.043
AT ITER 4838 NEW BEST:: SOT 39840 SOS 10051 HAS SOPS 10051 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5672.051
AT ITER 4863 NEW BEST:: SOT 39837 SOS 10048 HAS SOPS 10048 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5672.048
AT ITER 4890 NEW BEST:: SOT 39837 SOS 10029 HAS SOPS 10029 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5653.029
AT ITER 4892 NEW BEST:: SOT 39821 SOS 9997 HAS SOPS 9997 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5651.997
AT ITER 4900 NEW BEST:: SOT 39808 SOS 9985 HAS SOPS 9985 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5631.985
AT ITER 4935 NEW BEST:: SOT 39806 SOS 9984 HAS SOPS 9984 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5629.984
AT ITER 4947 NEW BEST:: SOT 39790 SOS 9968 HAS SOPS 9968 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5629.968
AT ITER 4970 NEW BEST:: SOT 39782 SOS 9952 HAS SOPS 9952 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5621.952
AT ITER 4971 NEW BEST:: SOT 39774 SOS 9936 HAS SOPS 9936 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5615.936
AT ITER 5034 NEW BEST:: SOT 39772 SOS 9931 HAS SOPS 9931 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5610.931
AT ITER 5120 NEW BEST:: SOT 39774 SOS 9929 HAS SOPS 9929 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5608.929
AT ITER 5124 NEW BEST:: SOT 39783 SOS 9947 HAS SOPS 9947 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5607.947
AT ITER 5131 NEW BEST:: SOT 39780 SOS 9941 HAS SOPS 9941 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5604.941
AT ITER 5170 NEW BEST:: SOT 39766 SOS 9913 HAS SOPS 9913 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5586.913
AT ITER 5190 NEW BEST:: SOT 39758 SOS 9897 HAS SOPS 9897 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5570.897
AT ITER 5210 NEW BEST:: SOT 39756 SOS 9891 HAS SOPS 9891 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5564.891
AT ITER 5218 NEW BEST:: SOT 39755 SOS 9864 HAS SOPS 9864 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5548.864
AT ITER 5224 NEW BEST:: SOT 39729 SOS 9838 HAS SOPS 9838 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5548.838
AT ITER 5273 NEW BEST:: SOT 39705 SOS 9823 HAS SOPS 9823 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5544.823
AT ITER 5312 NEW BEST:: SOT 39696 SOS 9814 HAS SOPS 9814 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5535.814
AT ITER 5337 NEW BEST:: SOT 39696 SOS 9759 HAS SOPS 9759 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5531.759
AT ITER 5392 NEW BEST:: SOT 39690 SOS 9747 HAS SOPS 9747 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5525.747
AT ITER 5440 NEW BEST:: SOT 39689 SOS 9745 HAS SOPS 9745 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5523.745
AT ITER 5579 NEW BEST:: SOT 39689 SOS 9738 HAS SOPS 9738 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5523.738
AT ITER 5586 NEW BEST:: SOT 39661 SOS 9710 HAS SOPS 9710 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5512.71
AT ITER 5602 NEW BEST:: SOT 39654 SOS 9703 HAS SOPS 9703 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5505.703
AT ITER 5684 NEW BEST:: SOT 39654 SOS 9681 HAS SOPS 9681 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5495.681
AT ITER 5807 NEW BEST:: SOT 39643 SOS 9659 HAS SOPS 9659 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5491.659
AT ITER 5824 NEW BEST:: SOT 39644 SOS 9590 HAS SOPS 9590 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5462.59
AT ITER 5851 NEW BEST:: SOT 39643 SOS 9588 HAS SOPS 9588 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5460.588
AT ITER 5854 NEW BEST:: SOT 39635 SOS 9564 HAS SOPS 9564 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5436.564
AT ITER 5881 NEW BEST:: SOT 39632 SOS 9564 HAS SOPS 9564 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5433.564
AT ITER 5894 NEW BEST:: SOT 39624 SOS 9548 HAS SOPS 9548 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5417.548
AT ITER 5996 NEW BEST:: SOT 39588 SOS 9476 HAS SOPS 9476 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5417.476
AT ITER 6070 NEW BEST:: SOT 39587 SOS 9475 HAS SOPS 9475 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5416.475
AT ITER 6098 NEW BEST:: SOT 39558 SOS 9739 HAS SOPS 9739 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.739
AT ITER 6153 NEW BEST:: SOT 39558 SOS 9734 HAS SOPS 9734 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.734
AT ITER 6172 NEW BEST:: SOT 39556 SOS 9730 HAS SOPS 9730 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.73
AT ITER 6175 NEW BEST:: SOT 39556 SOS 9718 HAS SOPS 9718 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5410.718
AT ITER 6185 NEW BEST:: SOT 39556 SOS 9717 HAS SOPS 9717 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5409.717
AT ITER 6208 NEW BEST:: SOT 39556 SOS 9717 HAS SOPS 9717 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5408.717
AT ITER 6247 NEW BEST:: SOT 39553 SOS 9711 HAS SOPS 9711 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5406.711
AT ITER 6269 NEW BEST:: SOT 39539 SOS 9669 HAS SOPS 9669 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5392.669
AT ITER 6334 NEW BEST:: SOT 39539 SOS 9664 HAS SOPS 9664 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5387.664
AT ITER 6417 NEW BEST:: SOT 39524 SOS 9634 HAS SOPS 9634 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5387.634
AT ITER 6423 NEW BEST:: SOT 39517 SOS 9627 HAS SOPS 9627 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5387.627
AT ITER 6424 NEW BEST:: SOT 39517 SOS 9613 HAS SOPS 9613 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5387.613
AT ITER 6436 NEW BEST:: SOT 39487 SOS 9574 HAS SOPS 9574 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5367.574
AT ITER 6444 NEW BEST:: SOT 39484 SOS 9571 HAS SOPS 9571 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5361.571
AT ITER 6510 NEW BEST:: SOT 39482 SOS 9567 HAS SOPS 9567 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5358.567
AT ITER 6594 NEW BEST:: SOT 39481 SOS 9566 HAS SOPS 9566 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5358.566
AT ITER 6671 NEW BEST:: SOT 39467 SOS 9538 HAS SOPS 9538 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5335.538
AT ITER 6686 NEW BEST:: SOT 39466 SOS 9536 HAS SOPS 9536 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5333.536
AT ITER 6720 NEW BEST:: SOT 39450 SOS 9520 HAS SOPS 9520 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5322.52
AT ITER 6726 NEW BEST:: SOT 39448 SOS 9518 HAS SOPS 9518 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5318.518
AT ITER 6850 NEW BEST:: SOT 39448 SOS 9517 HAS SOPS 9517 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5317.517
AT ITER 6877 NEW BEST:: SOT 39441 SOS 9510 HAS SOPS 9510 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5317.51
AT ITER 7094 NEW BEST:: SOT 39439 SOS 9506 HAS SOPS 9506 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5315.506
AT ITER 7127 NEW BEST:: SOT 39438 SOS 9504 HAS SOPS 9504 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5314.504
AT ITER 7136 NEW BEST:: SOT 39436 SOS 9502 HAS SOPS 9502 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5312.502
AT ITER 7142 NEW BEST:: SOT 39436 SOS 9502 HAS SOPS 9502 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5311.502
AT ITER 7230 NEW BEST:: SOT 39436 SOS 9502 HAS SOPS 9502 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5310.502
AT ITER 7298 NEW BEST:: SOT 39436 SOS 9498 HAS SOPS 9498 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5306.498
AT ITER 7437 NEW BEST:: SOT 39429 SOS 9502 HAS SOPS 9502 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5298.502
AT ITER 7459 NEW BEST:: SOT 39429 SOS 9502 HAS SOPS 9502 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5287.502
AT ITER 7553 NEW BEST:: SOT 39389 SOS 9494 HAS SOPS 9494 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5281.494
AT ITER 7571 NEW BEST:: SOT 39386 SOS 9491 HAS SOPS 9491 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5275.491
AT ITER 7573 NEW BEST:: SOT 39386 SOS 9490 HAS SOPS 9490 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5274.49
AT ITER 7662 NEW BEST:: SOT 39387 SOS 9489 HAS SOPS 9489 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5273.489
AT ITER 7673 NEW BEST:: SOT 39383 SOS 9481 HAS SOPS 9481 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5265.481
AT ITER 7674 NEW BEST:: SOT 39382 SOS 9479 HAS SOPS 9479 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5265.479
AT ITER 7677 NEW BEST:: SOT 39381 SOS 9478 HAS SOPS 9478 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5264.478
AT ITER 7681 NEW BEST:: SOT 39377 SOS 9472 HAS SOPS 9472 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5260.472
AT ITER 7695 NEW BEST:: SOT 39377 SOS 9472 HAS SOPS 9472 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5247.472
AT ITER 7698 NEW BEST:: SOT 39351 SOS 9446 HAS SOPS 9446 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5210.446
AT ITER 7702 NEW BEST:: SOT 39367 SOS 9445 HAS SOPS 9445 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5209.445
AT ITER 7823 NEW BEST:: SOT 39359 SOS 9429 HAS SOPS 9429 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5193.429
AT ITER 7886 NEW BEST:: SOT 39349 SOS 9429 HAS SOPS 9429 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5180.429
AT ITER 7888 NEW BEST:: SOT 39348 SOS 9427 HAS SOPS 9427 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5179.427
AT ITER 7916 NEW BEST:: SOT 39343 SOS 9417 HAS SOPS 9417 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5169.417
AT ITER 7933 NEW BEST:: SOT 39339 SOS 9411 HAS SOPS 9411 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.411
AT ITER 7988 NEW BEST:: SOT 39338 SOS 9411 HAS SOPS 9411 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5164.411
AT ITER 8116 NEW BEST:: SOT 39333 SOS 9401 HAS SOPS 9401 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5164.401
AT ITER 8118 NEW BEST:: SOT 39333 SOS 9397 HAS SOPS 9397 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5164.397
AT ITER 8210 NEW BEST:: SOT 39333 SOS 9396 HAS SOPS 9396 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5164.396
AT ITER 8228 NEW BEST:: SOT 39332 SOS 9394 HAS SOPS 9394 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5162.394
AT ITER 8278 NEW BEST:: SOT 39330 SOS 9390 HAS SOPS 9390 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5158.39
AT ITER 8296 NEW BEST:: SOT 39328 SOS 9394 HAS SOPS 9394 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5157.394
AT ITER 8320 NEW BEST:: SOT 39328 SOS 9406 HAS SOPS 9406 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5151.406
AT ITER 8337 NEW BEST:: SOT 39322 SOS 9400 HAS SOPS 9400 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5145.4
AT ITER 8338 NEW BEST:: SOT 39327 SOS 9429 HAS SOPS 9429 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5138.429
AT ITER 8349 NEW BEST:: SOT 39323 SOS 9421 HAS SOPS 9421 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5130.421
AT ITER 8372 NEW BEST:: SOT 39321 SOS 9383 HAS SOPS 9383 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5113.383
AT ITER 8451 NEW BEST:: SOT 39322 SOS 9385 HAS SOPS 9385 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5110.385
AT ITER 8489 NEW BEST:: SOT 39319 SOS 9379 HAS SOPS 9379 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5104.379
AT ITER 8501 NEW BEST:: SOT 39315 SOS 9371 HAS SOPS 9371 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5096.371
AT ITER 8599 NEW BEST:: SOT 39314 SOS 9369 HAS SOPS 9369 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5094.369
AT ITER 8600 NEW BEST:: SOT 39276 SOS 9293 HAS SOPS 9293 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5071.293
AT ITER 8623 NEW BEST:: SOT 39276 SOS 9292 HAS SOPS 9292 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5070.292
AT ITER 8633 NEW BEST:: SOT 39276 SOS 9287 HAS SOPS 9287 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5065.287
AT ITER 8765 NEW BEST:: SOT 39275 SOS 9285 HAS SOPS 9285 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5064.285
AT ITER 8838 NEW BEST:: SOT 39274 SOS 9284 HAS SOPS 9284 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5062.284
AT ITER 8869 NEW BEST:: SOT 39275 SOS 9279 HAS SOPS 9279 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5056.279
AT ITER 8893 NEW BEST:: SOT 39273 SOS 9275 HAS SOPS 9275 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5052.275
AT ITER 8966 NEW BEST:: SOT 39281 SOS 9284 HAS SOPS 9284 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5045.284
AT ITER 9033 NEW BEST:: SOT 39285 SOS 9045 HAS SOPS 9045 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5044.045
AT ITER 9165 NEW BEST:: SOT 39285 SOS 9045 HAS SOPS 9045 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5041.045
AT ITER 9172 NEW BEST:: SOT 39283 SOS 9041 HAS SOPS 9041 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5033.041
AT ITER 9182 NEW BEST:: SOT 39277 SOS 9041 HAS SOPS 9041 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5027.041
AT ITER 9215 NEW BEST:: SOT 39267 SOS 9021 HAS SOPS 9021 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5027.021
AT ITER 9283 NEW BEST:: SOT 39267 SOS 9016 HAS SOPS 9016 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5027.016
AT ITER 9331 NEW BEST:: SOT 39256 SOS 9078 HAS SOPS 9078 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5021.078
AT ITER 9355 NEW BEST:: SOT 39247 SOS 9069 HAS SOPS 9069 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5021.069
AT ITER 9390 NEW BEST:: SOT 39239 SOS 9053 HAS SOPS 9053 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5005.053
AT ITER 9499 NEW BEST:: SOT 39245 SOS 9059 HAS SOPS 9059 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4998.059
AT ITER 9507 NEW BEST:: SOT 39236 SOS 9041 HAS SOPS 9041 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4980.041
AT ITER 9524 NEW BEST:: SOT 39236 SOS 9027 HAS SOPS 9027 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4966.027
AT ITER 9574 NEW BEST:: SOT 39239 SOS 9030 HAS SOPS 9030 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4963.03
AT ITER 9595 NEW BEST:: SOT 39234 SOS 9020 HAS SOPS 9020 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4958.02
AT ITER 9678 NEW BEST:: SOT 39228 SOS 9008 HAS SOPS 9008 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4952.008
AT ITER 9707 NEW BEST:: SOT 39225 SOS 9004 HAS SOPS 9004 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4950.004
AT ITER 9713 NEW BEST:: SOT 39223 SOS 9000 HAS SOPS 9000 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4948.0
AT ITER 9769 NEW BEST:: SOT 39205 SOS 9188 HAS SOPS 9188 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4946.188
AT ITER 9776 NEW BEST:: SOT 39179 SOS 9136 HAS SOPS 9136 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4946.136
AT ITER 9835 NEW BEST:: SOT 39160 SOS 9106 HAS SOPS 9106 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4946.106
AT ITER 9857 NEW BEST:: SOT 39160 SOS 9106 HAS SOPS 9106 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4944.106
AT ITER 9992 NEW BEST:: SOT 39153 SOS 9085 HAS SOPS 9085 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4944.085
STATE_SPACE STATES 806568794170 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7474032554320 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590469866167

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

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-08"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-08, 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 r224-oct2-159033538300064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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