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-159033538300056.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-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.5K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K 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 18K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K 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 63K 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 1590469749192

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

Filename model.pnml
Petri model created: 251 places, 290 transitions, 658 arcs.
AT ITER 0 NEW BEST:: SOT 43536 SOS 10676 HAS SOPS 10676 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10353.676
AT ITER 8 NEW BEST:: SOT 43520 SOS 10644 HAS SOPS 10644 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10319.644
AT ITER 11 NEW BEST:: SOT 43559 SOS 10681 HAS SOPS 10681 HAS SOUS 10294 HAS SOUPS 10294 WITH SCORE 10304.681
AT ITER 23 NEW BEST:: SOT 43544 SOS 10666 HAS SOPS 10666 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10289.666
AT ITER 33 NEW BEST:: SOT 43539 SOS 10656 HAS SOPS 10656 HAS SOUS 10269 HAS SOUPS 10269 WITH SCORE 10279.656
AT ITER 37 NEW BEST:: SOT 43113 SOS 10349 HAS SOPS 10349 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9926.349
AT ITER 39 NEW BEST:: SOT 43108 SOS 10339 HAS SOPS 10339 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9916.339
AT ITER 40 NEW BEST:: SOT 43103 SOS 10329 HAS SOPS 10329 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9906.329
AT ITER 42 NEW BEST:: SOT 43115 SOS 10320 HAS SOPS 10320 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9897.32
AT ITER 48 NEW BEST:: SOT 43112 SOS 10314 HAS SOPS 10314 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9891.314
AT ITER 76 NEW BEST:: SOT 43108 SOS 10302 HAS SOPS 10302 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9879.302
AT ITER 82 NEW BEST:: SOT 43107 SOS 10302 HAS SOPS 10302 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9878.302
AT ITER 90 NEW BEST:: SOT 43107 SOS 10290 HAS SOPS 10290 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.29
AT ITER 95 NEW BEST:: SOT 43094 SOS 10264 HAS SOPS 10264 HAS SOUS 9830 HAS SOUPS 9830 WITH SCORE 9840.264
AT ITER 100 NEW BEST:: SOT 43080 SOS 10236 HAS SOPS 10236 HAS SOUS 9802 HAS SOUPS 9802 WITH SCORE 9812.236
AT ITER 105 NEW BEST:: SOT 43076 SOS 10198 HAS SOPS 10198 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9808.198
AT ITER 115 NEW BEST:: SOT 43070 SOS 10192 HAS SOPS 10192 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 9802.192
AT ITER 116 NEW BEST:: SOT 43048 SOS 10192 HAS SOPS 10192 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9780.192
AT ITER 119 NEW BEST:: SOT 42882 SOS 11105 HAS SOPS 11105 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9723.105
AT ITER 128 NEW BEST:: SOT 42882 SOS 11103 HAS SOPS 11103 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9721.103
AT ITER 129 NEW BEST:: SOT 42874 SOS 11087 HAS SOPS 11087 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9713.087
AT ITER 137 NEW BEST:: SOT 42859 SOS 11072 HAS SOPS 11072 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9698.072
AT ITER 141 NEW BEST:: SOT 42818 SOS 10976 HAS SOPS 10976 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9584.976
AT ITER 153 NEW BEST:: SOT 42768 SOS 10938 HAS SOPS 10938 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9546.938
AT ITER 166 NEW BEST:: SOT 42752 SOS 10943 HAS SOPS 10943 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9503.943
AT ITER 174 NEW BEST:: SOT 42724 SOS 10887 HAS SOPS 10887 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9447.887
AT ITER 191 NEW BEST:: SOT 42681 SOS 10801 HAS SOPS 10801 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9361.801
AT ITER 196 NEW BEST:: SOT 42678 SOS 10795 HAS SOPS 10795 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9357.795
AT ITER 220 NEW BEST:: SOT 42503 SOS 11214 HAS SOPS 11214 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9239.214
AT ITER 232 NEW BEST:: SOT 42354 SOS 11576 HAS SOPS 11576 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9141.576
AT ITER 236 NEW BEST:: SOT 42350 SOS 11572 HAS SOPS 11572 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9137.572
AT ITER 241 NEW BEST:: SOT 42300 SOS 11422 HAS SOPS 11422 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9037.422
AT ITER 245 NEW BEST:: SOT 42273 SOS 11337 HAS SOPS 11337 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8983.337
AT ITER 262 NEW BEST:: SOT 42288 SOS 10905 HAS SOPS 10905 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8960.905
AT ITER 290 NEW BEST:: SOT 42237 SOS 10803 HAS SOPS 10803 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.803
AT ITER 305 NEW BEST:: SOT 42230 SOS 10789 HAS SOPS 10789 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8901.789
AT ITER 325 NEW BEST:: SOT 42202 SOS 10751 HAS SOPS 10751 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8855.751
AT ITER 346 NEW BEST:: SOT 42201 SOS 10749 HAS SOPS 10749 HAS SOUS 8829 HAS SOUPS 8829 WITH SCORE 8839.749
AT ITER 385 NEW BEST:: SOT 42175 SOS 10649 HAS SOPS 10649 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.649
AT ITER 388 NEW BEST:: SOT 42175 SOS 10644 HAS SOPS 10644 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8760.644
AT ITER 390 NEW BEST:: SOT 42143 SOS 10624 HAS SOPS 10624 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8736.624
AT ITER 404 NEW BEST:: SOT 42136 SOS 10616 HAS SOPS 10616 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8728.616
AT ITER 408 NEW BEST:: SOT 42123 SOS 10590 HAS SOPS 10590 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8715.59
AT ITER 412 NEW BEST:: SOT 42103 SOS 10529 HAS SOPS 10529 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8707.529
AT ITER 414 NEW BEST:: SOT 42085 SOS 10511 HAS SOPS 10511 HAS SOUS 8693 HAS SOUPS 8693 WITH SCORE 8703.511
AT ITER 434 NEW BEST:: SOT 42073 SOS 11188 HAS SOPS 11188 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8702.188
AT ITER 461 NEW BEST:: SOT 42050 SOS 11142 HAS SOPS 11142 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8686.142
AT ITER 477 NEW BEST:: SOT 42037 SOS 11116 HAS SOPS 11116 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8660.116
AT ITER 480 NEW BEST:: SOT 41947 SOS 11036 HAS SOPS 11036 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8580.036
AT ITER 483 NEW BEST:: SOT 41955 SOS 11052 HAS SOPS 11052 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8574.052
AT ITER 491 NEW BEST:: SOT 41955 SOS 11042 HAS SOPS 11042 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8564.042
AT ITER 492 NEW BEST:: SOT 41855 SOS 11680 HAS SOPS 11680 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8536.68
AT ITER 524 NEW BEST:: SOT 41853 SOS 11676 HAS SOPS 11676 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8532.676
AT ITER 527 NEW BEST:: SOT 41683 SOS 11798 HAS SOPS 11798 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8434.798
AT ITER 535 NEW BEST:: SOT 41679 SOS 11790 HAS SOPS 11790 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8426.79
AT ITER 551 NEW BEST:: SOT 41689 SOS 11469 HAS SOPS 11469 HAS SOUS 8389 HAS SOUPS 8389 WITH SCORE 8400.469
AT ITER 567 NEW BEST:: SOT 41689 SOS 11469 HAS SOPS 11469 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8381.469
AT ITER 568 NEW BEST:: SOT 41668 SOS 11448 HAS SOPS 11448 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8379.448
AT ITER 585 NEW BEST:: SOT 41668 SOS 11421 HAS SOPS 11421 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8377.421
AT ITER 610 NEW BEST:: SOT 41657 SOS 11394 HAS SOPS 11394 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8355.394
AT ITER 612 NEW BEST:: SOT 41654 SOS 11391 HAS SOPS 11391 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8354.391
AT ITER 616 NEW BEST:: SOT 41628 SOS 11339 HAS SOPS 11339 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8328.339
AT ITER 627 NEW BEST:: SOT 41605 SOS 11319 HAS SOPS 11319 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8308.319
AT ITER 632 NEW BEST:: SOT 41592 SOS 11293 HAS SOPS 11293 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8282.293
AT ITER 635 NEW BEST:: SOT 41592 SOS 11293 HAS SOPS 11293 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8274.293
AT ITER 637 NEW BEST:: SOT 41544 SOS 11197 HAS SOPS 11197 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8226.197
AT ITER 648 NEW BEST:: SOT 41543 SOS 11195 HAS SOPS 11195 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8224.195
AT ITER 684 NEW BEST:: SOT 41503 SOS 11493 HAS SOPS 11493 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8211.493
AT ITER 686 NEW BEST:: SOT 41504 SOS 11485 HAS SOPS 11485 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8203.485
AT ITER 708 NEW BEST:: SOT 41496 SOS 11467 HAS SOPS 11467 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8185.467
AT ITER 726 NEW BEST:: SOT 41488 SOS 11450 HAS SOPS 11450 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8177.45
AT ITER 732 NEW BEST:: SOT 41479 SOS 11441 HAS SOPS 11441 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8168.441
AT ITER 733 NEW BEST:: SOT 41464 SOS 11426 HAS SOPS 11426 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8153.426
AT ITER 736 NEW BEST:: SOT 41464 SOS 11437 HAS SOPS 11437 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8141.437
AT ITER 737 NEW BEST:: SOT 41416 SOS 11341 HAS SOPS 11341 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8093.341
AT ITER 742 NEW BEST:: SOT 41400 SOS 11341 HAS SOPS 11341 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8090.341
AT ITER 752 NEW BEST:: SOT 41398 SOS 11285 HAS SOPS 11285 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8048.285
AT ITER 757 NEW BEST:: SOT 41359 SOS 11246 HAS SOPS 11246 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8034.246
AT ITER 759 NEW BEST:: SOT 41353 SOS 11231 HAS SOPS 11231 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8026.231
AT ITER 765 NEW BEST:: SOT 41326 SOS 11204 HAS SOPS 11204 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7999.204
AT ITER 769 NEW BEST:: SOT 41326 SOS 11204 HAS SOPS 11204 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 7995.204
AT ITER 792 NEW BEST:: SOT 41348 SOS 11193 HAS SOPS 11193 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7993.193
AT ITER 793 NEW BEST:: SOT 41302 SOS 11101 HAS SOPS 11101 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7947.101
AT ITER 827 NEW BEST:: SOT 41291 SOS 11079 HAS SOPS 11079 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7925.079
AT ITER 830 NEW BEST:: SOT 41289 SOS 11023 HAS SOPS 11023 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7919.023
AT ITER 845 NEW BEST:: SOT 41199 SOS 10843 HAS SOPS 10843 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7844.843
AT ITER 875 NEW BEST:: SOT 41206 SOS 10840 HAS SOPS 10840 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7841.84
AT ITER 889 NEW BEST:: SOT 41204 SOS 10838 HAS SOPS 10838 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7839.838
AT ITER 906 NEW BEST:: SOT 41175 SOS 10780 HAS SOPS 10780 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7781.78
AT ITER 909 NEW BEST:: SOT 41175 SOS 10780 HAS SOPS 10780 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7780.78
AT ITER 920 NEW BEST:: SOT 41171 SOS 10772 HAS SOPS 10772 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7772.772
AT ITER 930 NEW BEST:: SOT 41163 SOS 10756 HAS SOPS 10756 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7756.756
AT ITER 935 NEW BEST:: SOT 41163 SOS 10748 HAS SOPS 10748 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7748.748
AT ITER 946 NEW BEST:: SOT 41168 SOS 10666 HAS SOPS 10666 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7668.666
AT ITER 950 NEW BEST:: SOT 41159 SOS 10657 HAS SOPS 10657 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7659.657
AT ITER 954 NEW BEST:: SOT 41157 SOS 10653 HAS SOPS 10653 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7657.653
AT ITER 969 NEW BEST:: SOT 41157 SOS 10640 HAS SOPS 10640 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7657.64
AT ITER 975 NEW BEST:: SOT 41157 SOS 10637 HAS SOPS 10637 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7654.637
AT ITER 978 NEW BEST:: SOT 41152 SOS 10631 HAS SOPS 10631 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7647.631
AT ITER 980 NEW BEST:: SOT 41145 SOS 10617 HAS SOPS 10617 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7632.617
AT ITER 988 NEW BEST:: SOT 41112 SOS 10573 HAS SOPS 10573 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7599.573
AT ITER 989 NEW BEST:: SOT 41106 SOS 10567 HAS SOPS 10567 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7587.567
AT ITER 996 NEW BEST:: SOT 41102 SOS 10559 HAS SOPS 10559 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7582.559
AT ITER 1000 NEW BEST:: SOT 41086 SOS 10527 HAS SOPS 10527 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7550.527
AT ITER 1002 NEW BEST:: SOT 41073 SOS 10489 HAS SOPS 10489 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7512.489
AT ITER 1029 NEW BEST:: SOT 41061 SOS 10465 HAS SOPS 10465 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7488.465
AT ITER 1035 NEW BEST:: SOT 41038 SOS 10431 HAS SOPS 10431 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7431.431
AT ITER 1043 NEW BEST:: SOT 41004 SOS 10363 HAS SOPS 10363 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7377.363
AT ITER 1044 NEW BEST:: SOT 40994 SOS 10343 HAS SOPS 10343 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7357.343
AT ITER 1047 NEW BEST:: SOT 40953 SOS 10353 HAS SOPS 10353 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7331.353
AT ITER 1074 NEW BEST:: SOT 40899 SOS 10287 HAS SOPS 10287 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7270.287
AT ITER 1075 NEW BEST:: SOT 40881 SOS 10283 HAS SOPS 10283 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7266.283
AT ITER 1097 NEW BEST:: SOT 40879 SOS 10279 HAS SOPS 10279 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7264.279
AT ITER 1099 NEW BEST:: SOT 40863 SOS 10255 HAS SOPS 10255 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7256.255
AT ITER 1139 NEW BEST:: SOT 40863 SOS 10249 HAS SOPS 10249 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7250.249
AT ITER 1173 NEW BEST:: SOT 40863 SOS 10246 HAS SOPS 10246 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7247.246
AT ITER 1182 NEW BEST:: SOT 40857 SOS 10235 HAS SOPS 10235 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7236.235
AT ITER 1191 NEW BEST:: SOT 40856 SOS 10233 HAS SOPS 10233 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7235.233
AT ITER 1228 NEW BEST:: SOT 40876 SOS 9857 HAS SOPS 9857 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7223.857
AT ITER 1247 NEW BEST:: SOT 40874 SOS 9853 HAS SOPS 9853 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7219.853
AT ITER 1275 NEW BEST:: SOT 40874 SOS 9846 HAS SOPS 9846 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7212.846
AT ITER 1332 NEW BEST:: SOT 40860 SOS 9818 HAS SOPS 9818 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7184.818
AT ITER 1347 NEW BEST:: SOT 40854 SOS 9801 HAS SOPS 9801 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7172.801
AT ITER 1354 NEW BEST:: SOT 40871 SOS 9896 HAS SOPS 9896 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7145.896
AT ITER 1361 NEW BEST:: SOT 40831 SOS 10006 HAS SOPS 10006 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7119.006
AT ITER 1377 NEW BEST:: SOT 40812 SOS 9968 HAS SOPS 9968 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7099.968
AT ITER 1406 NEW BEST:: SOT 40780 SOS 9913 HAS SOPS 9913 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7078.913
AT ITER 1433 NEW BEST:: SOT 40775 SOS 9903 HAS SOPS 9903 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7068.903
AT ITER 1448 NEW BEST:: SOT 40780 SOS 9859 HAS SOPS 9859 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7046.859
AT ITER 1451 NEW BEST:: SOT 40780 SOS 9859 HAS SOPS 9859 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7041.859
AT ITER 1452 NEW BEST:: SOT 40764 SOS 9827 HAS SOPS 9827 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7036.827
AT ITER 1453 NEW BEST:: SOT 40763 SOS 9826 HAS SOPS 9826 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7035.826
AT ITER 1472 NEW BEST:: SOT 40749 SOS 9799 HAS SOPS 9799 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7020.799
AT ITER 1474 NEW BEST:: SOT 40738 SOS 9792 HAS SOPS 9792 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7012.792
AT ITER 1511 NEW BEST:: SOT 40738 SOS 9786 HAS SOPS 9786 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7005.786
AT ITER 1516 NEW BEST:: SOT 40736 SOS 9784 HAS SOPS 9784 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7003.784
AT ITER 1530 NEW BEST:: SOT 40736 SOS 9776 HAS SOPS 9776 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6995.776
AT ITER 1533 NEW BEST:: SOT 40732 SOS 9764 HAS SOPS 9764 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6983.764
AT ITER 1577 NEW BEST:: SOT 40732 SOS 9756 HAS SOPS 9756 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6980.756
AT ITER 1578 NEW BEST:: SOT 40729 SOS 9750 HAS SOPS 9750 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6977.75
AT ITER 1594 NEW BEST:: SOT 40683 SOS 9658 HAS SOPS 9658 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6931.658
AT ITER 1610 NEW BEST:: SOT 40684 SOS 9594 HAS SOPS 9594 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6926.594
AT ITER 1611 NEW BEST:: SOT 40682 SOS 9590 HAS SOPS 9590 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6922.59
AT ITER 1615 NEW BEST:: SOT 40681 SOS 9588 HAS SOPS 9588 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6920.588
AT ITER 1620 NEW BEST:: SOT 40669 SOS 9564 HAS SOPS 9564 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6899.564
AT ITER 1635 NEW BEST:: SOT 40724 SOS 9604 HAS SOPS 9604 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6884.604
AT ITER 1639 NEW BEST:: SOT 40695 SOS 9546 HAS SOPS 9546 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6855.546
AT ITER 1648 NEW BEST:: SOT 40697 SOS 9548 HAS SOPS 9548 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6853.548
AT ITER 1651 NEW BEST:: SOT 40692 SOS 9543 HAS SOPS 9543 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6848.543
AT ITER 1668 NEW BEST:: SOT 40674 SOS 9520 HAS SOPS 9520 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6841.52
AT ITER 1682 NEW BEST:: SOT 40666 SOS 9514 HAS SOPS 9514 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6835.514
AT ITER 1696 NEW BEST:: SOT 40662 SOS 9504 HAS SOPS 9504 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6827.504
AT ITER 1725 NEW BEST:: SOT 40669 SOS 9518 HAS SOPS 9518 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6819.518
AT ITER 1757 NEW BEST:: SOT 40653 SOS 9486 HAS SOPS 9486 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6803.486
AT ITER 1764 NEW BEST:: SOT 40631 SOS 9464 HAS SOPS 9464 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6792.464
AT ITER 1777 NEW BEST:: SOT 40607 SOS 9457 HAS SOPS 9457 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6762.457
AT ITER 1810 NEW BEST:: SOT 40607 SOS 9184 HAS SOPS 9184 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6741.184
AT ITER 1832 NEW BEST:: SOT 40604 SOS 9178 HAS SOPS 9178 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6735.178
AT ITER 1857 NEW BEST:: SOT 40554 SOS 9561 HAS SOPS 9561 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6708.561
AT ITER 1866 NEW BEST:: SOT 40550 SOS 9558 HAS SOPS 9558 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6705.558
AT ITER 1871 NEW BEST:: SOT 40549 SOS 9556 HAS SOPS 9556 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6703.556
AT ITER 1882 NEW BEST:: SOT 40549 SOS 9549 HAS SOPS 9549 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6696.549
AT ITER 1900 NEW BEST:: SOT 40541 SOS 9539 HAS SOPS 9539 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6694.539
AT ITER 1927 NEW BEST:: SOT 40529 SOS 9515 HAS SOPS 9515 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6694.515
AT ITER 1929 NEW BEST:: SOT 40462 SOS 9401 HAS SOPS 9401 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6636.401
AT ITER 1948 NEW BEST:: SOT 40462 SOS 9394 HAS SOPS 9394 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6629.394
AT ITER 1997 NEW BEST:: SOT 40458 SOS 9391 HAS SOPS 9391 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6626.391
AT ITER 2009 NEW BEST:: SOT 40458 SOS 9390 HAS SOPS 9390 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6626.39
AT ITER 2011 NEW BEST:: SOT 40452 SOS 9370 HAS SOPS 9370 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6606.37
AT ITER 2033 NEW BEST:: SOT 40450 SOS 9366 HAS SOPS 9366 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6602.366
AT ITER 2037 NEW BEST:: SOT 40449 SOS 9371 HAS SOPS 9371 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6600.371
AT ITER 2048 NEW BEST:: SOT 40459 SOS 9381 HAS SOPS 9381 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6597.381
AT ITER 2069 NEW BEST:: SOT 40455 SOS 9404 HAS SOPS 9404 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6573.404
AT ITER 2088 NEW BEST:: SOT 40431 SOS 9356 HAS SOPS 9356 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6537.356
AT ITER 2101 NEW BEST:: SOT 40429 SOS 9352 HAS SOPS 9352 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6535.352
AT ITER 2120 NEW BEST:: SOT 40414 SOS 9337 HAS SOPS 9337 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6535.337
AT ITER 2140 NEW BEST:: SOT 40402 SOS 9313 HAS SOPS 9313 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6523.313
AT ITER 2159 NEW BEST:: SOT 40383 SOS 9275 HAS SOPS 9275 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6504.275
AT ITER 2181 NEW BEST:: SOT 40376 SOS 9266 HAS SOPS 9266 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6495.266
AT ITER 2185 NEW BEST:: SOT 40376 SOS 9253 HAS SOPS 9253 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6482.253
AT ITER 2186 NEW BEST:: SOT 40374 SOS 9249 HAS SOPS 9249 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6478.249
AT ITER 2225 NEW BEST:: SOT 40356 SOS 9231 HAS SOPS 9231 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6478.231
AT ITER 2235 NEW BEST:: SOT 40356 SOS 9231 HAS SOPS 9231 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6475.231
AT ITER 2238 NEW BEST:: SOT 40307 SOS 9392 HAS SOPS 9392 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6459.392
AT ITER 2239 NEW BEST:: SOT 40271 SOS 9369 HAS SOPS 9369 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6440.369
AT ITER 2250 NEW BEST:: SOT 40265 SOS 9363 HAS SOPS 9363 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6434.363
AT ITER 2254 NEW BEST:: SOT 40261 SOS 9355 HAS SOPS 9355 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6426.355
AT ITER 2283 NEW BEST:: SOT 40260 SOS 9340 HAS SOPS 9340 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6412.34
AT ITER 2335 NEW BEST:: SOT 40248 SOS 9338 HAS SOPS 9338 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6410.338
AT ITER 2342 NEW BEST:: SOT 40238 SOS 9507 HAS SOPS 9507 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6408.507
AT ITER 2344 NEW BEST:: SOT 40213 SOS 9457 HAS SOPS 9457 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6383.457
AT ITER 2352 NEW BEST:: SOT 40215 SOS 9459 HAS SOPS 9459 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6382.459
AT ITER 2361 NEW BEST:: SOT 40215 SOS 9459 HAS SOPS 9459 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6379.459
AT ITER 2402 NEW BEST:: SOT 40195 SOS 9419 HAS SOPS 9419 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6359.419
AT ITER 2414 NEW BEST:: SOT 40185 SOS 9404 HAS SOPS 9404 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6347.404
AT ITER 2464 NEW BEST:: SOT 40184 SOS 9402 HAS SOPS 9402 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6345.402
AT ITER 2496 NEW BEST:: SOT 40156 SOS 9390 HAS SOPS 9390 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6296.39
AT ITER 2504 NEW BEST:: SOT 40153 SOS 9384 HAS SOPS 9384 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6290.384
AT ITER 2508 NEW BEST:: SOT 40152 SOS 9385 HAS SOPS 9385 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6289.385
AT ITER 2517 NEW BEST:: SOT 40149 SOS 9344 HAS SOPS 9344 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6283.344
AT ITER 2518 NEW BEST:: SOT 40145 SOS 9346 HAS SOPS 9346 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6278.346
AT ITER 2544 NEW BEST:: SOT 40137 SOS 9330 HAS SOPS 9330 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6270.33
AT ITER 2584 NEW BEST:: SOT 40146 SOS 9323 HAS SOPS 9323 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6263.323
AT ITER 2684 NEW BEST:: SOT 40110 SOS 9251 HAS SOPS 9251 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6228.251
AT ITER 2696 NEW BEST:: SOT 40098 SOS 9227 HAS SOPS 9227 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6210.227
AT ITER 2709 NEW BEST:: SOT 40086 SOS 9293 HAS SOPS 9293 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6205.293
AT ITER 2712 NEW BEST:: SOT 40075 SOS 9271 HAS SOPS 9271 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6205.271
AT ITER 2758 NEW BEST:: SOT 40064 SOS 9240 HAS SOPS 9240 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6174.24
AT ITER 2761 NEW BEST:: SOT 40101 SOS 9277 HAS SOPS 9277 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6153.277
AT ITER 2773 NEW BEST:: SOT 40098 SOS 9274 HAS SOPS 9274 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6153.274
AT ITER 2795 NEW BEST:: SOT 40031 SOS 9650 HAS SOPS 9650 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6146.65
AT ITER 2799 NEW BEST:: SOT 40030 SOS 9648 HAS SOPS 9648 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6144.648
AT ITER 2819 NEW BEST:: SOT 40028 SOS 9644 HAS SOPS 9644 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6142.644
AT ITER 2824 NEW BEST:: SOT 40030 SOS 9646 HAS SOPS 9646 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6140.646
AT ITER 2845 NEW BEST:: SOT 40026 SOS 9642 HAS SOPS 9642 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6136.642
AT ITER 2887 NEW BEST:: SOT 40015 SOS 9601 HAS SOPS 9601 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6125.601
AT ITER 2895 NEW BEST:: SOT 40014 SOS 9599 HAS SOPS 9599 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6125.599
AT ITER 2903 NEW BEST:: SOT 40006 SOS 9583 HAS SOPS 9583 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6109.583
AT ITER 2960 NEW BEST:: SOT 40024 SOS 9598 HAS SOPS 9598 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6090.598
AT ITER 2978 NEW BEST:: SOT 40022 SOS 9594 HAS SOPS 9594 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6086.594
AT ITER 2993 NEW BEST:: SOT 40002 SOS 9594 HAS SOPS 9594 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6066.594
AT ITER 3014 NEW BEST:: SOT 39985 SOS 9515 HAS SOPS 9515 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6007.515
AT ITER 3025 NEW BEST:: SOT 39980 SOS 9510 HAS SOPS 9510 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6002.51
AT ITER 3049 NEW BEST:: SOT 39976 SOS 9502 HAS SOPS 9502 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5994.502
AT ITER 3058 NEW BEST:: SOT 39974 SOS 9498 HAS SOPS 9498 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5990.498
AT ITER 3067 NEW BEST:: SOT 39975 SOS 9499 HAS SOPS 9499 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5989.499
AT ITER 3078 NEW BEST:: SOT 39976 SOS 9501 HAS SOPS 9501 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5988.501
AT ITER 3086 NEW BEST:: SOT 39987 SOS 9523 HAS SOPS 9523 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5970.523
AT ITER 3109 NEW BEST:: SOT 39980 SOS 9509 HAS SOPS 9509 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5970.509
AT ITER 3189 NEW BEST:: SOT 39978 SOS 9507 HAS SOPS 9507 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5968.507
AT ITER 3226 NEW BEST:: SOT 39983 SOS 9512 HAS SOPS 9512 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5967.512
AT ITER 3245 NEW BEST:: SOT 39983 SOS 9483 HAS SOPS 9483 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5967.483
AT ITER 3322 NEW BEST:: SOT 39983 SOS 9481 HAS SOPS 9481 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5967.481
AT ITER 3343 NEW BEST:: SOT 39985 SOS 9485 HAS SOPS 9485 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5966.485
AT ITER 3366 NEW BEST:: SOT 39960 SOS 9435 HAS SOPS 9435 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5955.435
AT ITER 3374 NEW BEST:: SOT 39954 SOS 9443 HAS SOPS 9443 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5948.443
AT ITER 3407 NEW BEST:: SOT 39948 SOS 9441 HAS SOPS 9441 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5936.441
AT ITER 3464 NEW BEST:: SOT 39903 SOS 9380 HAS SOPS 9380 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5935.38
AT ITER 3465 NEW BEST:: SOT 39906 SOS 9379 HAS SOPS 9379 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5934.379
AT ITER 3473 NEW BEST:: SOT 39906 SOS 9373 HAS SOPS 9373 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5934.373
AT ITER 3487 NEW BEST:: SOT 39898 SOS 9370 HAS SOPS 9370 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5931.37
AT ITER 3515 NEW BEST:: SOT 39894 SOS 9366 HAS SOPS 9366 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5927.366
AT ITER 3597 NEW BEST:: SOT 39869 SOS 9316 HAS SOPS 9316 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5927.316
AT ITER 3598 NEW BEST:: SOT 39867 SOS 9314 HAS SOPS 9314 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5925.314
AT ITER 3623 NEW BEST:: SOT 39867 SOS 9313 HAS SOPS 9313 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5924.313
AT ITER 3688 NEW BEST:: SOT 39856 SOS 9291 HAS SOPS 9291 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5902.291
AT ITER 3694 NEW BEST:: SOT 39851 SOS 9301 HAS SOPS 9301 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5892.301
AT ITER 3697 NEW BEST:: SOT 39857 SOS 9313 HAS SOPS 9313 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5886.313
AT ITER 3701 NEW BEST:: SOT 39852 SOS 9310 HAS SOPS 9310 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5883.31
AT ITER 3702 NEW BEST:: SOT 39847 SOS 9250 HAS SOPS 9250 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5873.25
AT ITER 3703 NEW BEST:: SOT 39844 SOS 9244 HAS SOPS 9244 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5867.244
AT ITER 3734 NEW BEST:: SOT 39814 SOS 9197 HAS SOPS 9197 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5833.197
AT ITER 3811 NEW BEST:: SOT 39811 SOS 9195 HAS SOPS 9195 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5831.195
AT ITER 3851 NEW BEST:: SOT 39731 SOS 9413 HAS SOPS 9413 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.413
AT ITER 3861 NEW BEST:: SOT 39719 SOS 9401 HAS SOPS 9401 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5756.401
AT ITER 3878 NEW BEST:: SOT 39715 SOS 9395 HAS SOPS 9395 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5750.395
AT ITER 3908 NEW BEST:: SOT 39706 SOS 9389 HAS SOPS 9389 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5747.389
AT ITER 3919 NEW BEST:: SOT 39702 SOS 9381 HAS SOPS 9381 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5739.381
AT ITER 3963 NEW BEST:: SOT 39701 SOS 9379 HAS SOPS 9379 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5737.379
AT ITER 4000 NEW BEST:: SOT 39701 SOS 9377 HAS SOPS 9377 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5735.377
AT ITER 4009 NEW BEST:: SOT 39694 SOS 9355 HAS SOPS 9355 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5721.355
AT ITER 4118 NEW BEST:: SOT 39683 SOS 9333 HAS SOPS 9333 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5711.333
AT ITER 4126 NEW BEST:: SOT 39680 SOS 9327 HAS SOPS 9327 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5705.327
AT ITER 4163 NEW BEST:: SOT 39677 SOS 9321 HAS SOPS 9321 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5699.321
AT ITER 4207 NEW BEST:: SOT 39672 SOS 9320 HAS SOPS 9320 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5689.32
AT ITER 4220 NEW BEST:: SOT 39669 SOS 9317 HAS SOPS 9317 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5686.317
AT ITER 4225 NEW BEST:: SOT 39664 SOS 9315 HAS SOPS 9315 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5684.315
AT ITER 4243 NEW BEST:: SOT 39661 SOS 9309 HAS SOPS 9309 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5678.309
AT ITER 4262 NEW BEST:: SOT 39664 SOS 9308 HAS SOPS 9308 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5677.308
AT ITER 4265 NEW BEST:: SOT 39663 SOS 9307 HAS SOPS 9307 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5676.307
AT ITER 4297 NEW BEST:: SOT 39661 SOS 9303 HAS SOPS 9303 HAS SOUS 5663 HAS SOUPS 5663 WITH SCORE 5672.303
AT ITER 4329 NEW BEST:: SOT 39668 SOS 9297 HAS SOPS 9297 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5655.297
AT ITER 4354 NEW BEST:: SOT 39615 SOS 9244 HAS SOPS 9244 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5655.244
AT ITER 4362 NEW BEST:: SOT 39612 SOS 9238 HAS SOPS 9238 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5649.238
AT ITER 4369 NEW BEST:: SOT 39611 SOS 9236 HAS SOPS 9236 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5648.236
AT ITER 4379 NEW BEST:: SOT 39606 SOS 9233 HAS SOPS 9233 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5643.233
AT ITER 4425 NEW BEST:: SOT 39605 SOS 9231 HAS SOPS 9231 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5642.231
AT ITER 4433 NEW BEST:: SOT 39603 SOS 9227 HAS SOPS 9227 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5638.227
AT ITER 4447 NEW BEST:: SOT 39592 SOS 9205 HAS SOPS 9205 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5616.205
AT ITER 4452 NEW BEST:: SOT 39591 SOS 9203 HAS SOPS 9203 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5614.203
AT ITER 4468 NEW BEST:: SOT 39565 SOS 9151 HAS SOPS 9151 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5576.151
AT ITER 4584 NEW BEST:: SOT 39565 SOS 9151 HAS SOPS 9151 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5563.151
AT ITER 4610 NEW BEST:: SOT 39565 SOS 9149 HAS SOPS 9149 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5561.149
AT ITER 4629 NEW BEST:: SOT 39561 SOS 9146 HAS SOPS 9146 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5558.146
AT ITER 4664 NEW BEST:: SOT 39581 SOS 9173 HAS SOPS 9173 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5541.173
AT ITER 4727 NEW BEST:: SOT 39577 SOS 9165 HAS SOPS 9165 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5541.165
AT ITER 4762 NEW BEST:: SOT 39583 SOS 9171 HAS SOPS 9171 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5537.171
AT ITER 4841 NEW BEST:: SOT 39577 SOS 9159 HAS SOPS 9159 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5536.159
AT ITER 4847 NEW BEST:: SOT 39596 SOS 8679 HAS SOPS 8679 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5517.679
AT ITER 4932 NEW BEST:: SOT 39596 SOS 8679 HAS SOPS 8679 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5504.679
AT ITER 4936 NEW BEST:: SOT 39581 SOS 8775 HAS SOPS 8775 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5498.775
AT ITER 4972 NEW BEST:: SOT 39580 SOS 8773 HAS SOPS 8773 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5496.773
AT ITER 5007 NEW BEST:: SOT 39580 SOS 8773 HAS SOPS 8773 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5495.773
AT ITER 5048 NEW BEST:: SOT 39574 SOS 8773 HAS SOPS 8773 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5486.773
AT ITER 5083 NEW BEST:: SOT 39563 SOS 8751 HAS SOPS 8751 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5464.751
AT ITER 5104 NEW BEST:: SOT 39549 SOS 8739 HAS SOPS 8739 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5452.739
AT ITER 5169 NEW BEST:: SOT 39545 SOS 8731 HAS SOPS 8731 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5448.731
AT ITER 5170 NEW BEST:: SOT 39536 SOS 8713 HAS SOPS 8713 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5439.713
AT ITER 5192 NEW BEST:: SOT 39498 SOS 9141 HAS SOPS 9141 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5438.141
AT ITER 5197 NEW BEST:: SOT 39508 SOS 8979 HAS SOPS 8979 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5431.979
AT ITER 5202 NEW BEST:: SOT 39503 SOS 8969 HAS SOPS 8969 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5421.969
AT ITER 5280 NEW BEST:: SOT 39503 SOS 8969 HAS SOPS 8969 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5418.969
AT ITER 5302 NEW BEST:: SOT 39502 SOS 8962 HAS SOPS 8962 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5411.962
AT ITER 5318 NEW BEST:: SOT 39500 SOS 8960 HAS SOPS 8960 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5409.96
AT ITER 5379 NEW BEST:: SOT 39499 SOS 8958 HAS SOPS 8958 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5407.958
AT ITER 5393 NEW BEST:: SOT 39499 SOS 8958 HAS SOPS 8958 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5406.958
AT ITER 5426 NEW BEST:: SOT 39497 SOS 8968 HAS SOPS 8968 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5402.968
AT ITER 5450 NEW BEST:: SOT 39470 SOS 8914 HAS SOPS 8914 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5396.914
AT ITER 5462 NEW BEST:: SOT 39462 SOS 8909 HAS SOPS 8909 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5391.909
AT ITER 5496 NEW BEST:: SOT 39457 SOS 8899 HAS SOPS 8899 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5381.899
AT ITER 5497 NEW BEST:: SOT 39450 SOS 8885 HAS SOPS 8885 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5367.885
AT ITER 5521 NEW BEST:: SOT 39445 SOS 8875 HAS SOPS 8875 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5367.875
AT ITER 5532 NEW BEST:: SOT 39443 SOS 8871 HAS SOPS 8871 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5363.871
AT ITER 5635 NEW BEST:: SOT 39443 SOS 8811 HAS SOPS 8811 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5363.811
AT ITER 5718 NEW BEST:: SOT 39442 SOS 8810 HAS SOPS 8810 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5362.81
AT ITER 5733 NEW BEST:: SOT 39435 SOS 8796 HAS SOPS 8796 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5348.796
AT ITER 5793 NEW BEST:: SOT 39432 SOS 8790 HAS SOPS 8790 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5342.79
AT ITER 5843 NEW BEST:: SOT 39417 SOS 8775 HAS SOPS 8775 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5342.775
AT ITER 5872 NEW BEST:: SOT 39401 SOS 8743 HAS SOPS 8743 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5310.743
AT ITER 5884 NEW BEST:: SOT 39401 SOS 8733 HAS SOPS 8733 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5305.733
AT ITER 5977 NEW BEST:: SOT 39394 SOS 8733 HAS SOPS 8733 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5300.733
AT ITER 6081 NEW BEST:: SOT 39393 SOS 8731 HAS SOPS 8731 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5298.731
AT ITER 6175 NEW BEST:: SOT 39391 SOS 8727 HAS SOPS 8727 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5294.727
AT ITER 6199 NEW BEST:: SOT 39391 SOS 8720 HAS SOPS 8720 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5294.72
AT ITER 6205 NEW BEST:: SOT 39390 SOS 8718 HAS SOPS 8718 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5292.718
AT ITER 6234 NEW BEST:: SOT 39388 SOS 8714 HAS SOPS 8714 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5289.714
AT ITER 6246 NEW BEST:: SOT 39360 SOS 8879 HAS SOPS 8879 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5277.879
AT ITER 6294 NEW BEST:: SOT 39359 SOS 8877 HAS SOPS 8877 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5277.877
AT ITER 6352 NEW BEST:: SOT 39360 SOS 8858 HAS SOPS 8858 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5258.858
AT ITER 6367 NEW BEST:: SOT 39360 SOS 8858 HAS SOPS 8858 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5254.858
AT ITER 6420 NEW BEST:: SOT 39359 SOS 8858 HAS SOPS 8858 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5253.858
AT ITER 6430 NEW BEST:: SOT 39335 SOS 8855 HAS SOPS 8855 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5253.855
AT ITER 6501 NEW BEST:: SOT 39335 SOS 8838 HAS SOPS 8838 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5253.838
AT ITER 6510 NEW BEST:: SOT 39331 SOS 8790 HAS SOPS 8790 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5245.79
AT ITER 6522 NEW BEST:: SOT 39329 SOS 8786 HAS SOPS 8786 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5240.786
AT ITER 6546 NEW BEST:: SOT 39327 SOS 8782 HAS SOPS 8782 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5236.782
AT ITER 6655 NEW BEST:: SOT 39327 SOS 8782 HAS SOPS 8782 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5232.782
AT ITER 6714 NEW BEST:: SOT 39326 SOS 8781 HAS SOPS 8781 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5232.781
AT ITER 6723 NEW BEST:: SOT 39322 SOS 8773 HAS SOPS 8773 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5228.773
AT ITER 6753 NEW BEST:: SOT 39305 SOS 8754 HAS SOPS 8754 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5218.754
AT ITER 6754 NEW BEST:: SOT 39301 SOS 8750 HAS SOPS 8750 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5218.75
AT ITER 6788 NEW BEST:: SOT 39294 SOS 8736 HAS SOPS 8736 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5212.736
AT ITER 6792 NEW BEST:: SOT 39273 SOS 8714 HAS SOPS 8714 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5198.714
AT ITER 6852 NEW BEST:: SOT 39258 SOS 8699 HAS SOPS 8699 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5193.699
AT ITER 6889 NEW BEST:: SOT 39252 SOS 8690 HAS SOPS 8690 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5186.69
AT ITER 6913 NEW BEST:: SOT 39250 SOS 8686 HAS SOPS 8686 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5184.686
AT ITER 6987 NEW BEST:: SOT 39250 SOS 8656 HAS SOPS 8656 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5184.656
AT ITER 7125 NEW BEST:: SOT 39247 SOS 8650 HAS SOPS 8650 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5183.65
AT ITER 7167 NEW BEST:: SOT 39247 SOS 8598 HAS SOPS 8598 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5175.598
AT ITER 7168 NEW BEST:: SOT 39242 SOS 8588 HAS SOPS 8588 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5168.588
AT ITER 7206 NEW BEST:: SOT 39225 SOS 8554 HAS SOPS 8554 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5160.554
AT ITER 7235 NEW BEST:: SOT 39221 SOS 8548 HAS SOPS 8548 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5158.548
AT ITER 7248 NEW BEST:: SOT 39213 SOS 8532 HAS SOPS 8532 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5142.532
AT ITER 7395 NEW BEST:: SOT 39208 SOS 8529 HAS SOPS 8529 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5141.529
AT ITER 7409 NEW BEST:: SOT 39188 SOS 8506 HAS SOPS 8506 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5128.506
AT ITER 7431 NEW BEST:: SOT 39179 SOS 8497 HAS SOPS 8497 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5119.497
AT ITER 7455 NEW BEST:: SOT 39191 SOS 8509 HAS SOPS 8509 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5110.509
AT ITER 7585 NEW BEST:: SOT 39189 SOS 8508 HAS SOPS 8508 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5109.508
AT ITER 7603 NEW BEST:: SOT 39189 SOS 8506 HAS SOPS 8506 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5107.506
AT ITER 7609 NEW BEST:: SOT 39189 SOS 8506 HAS SOPS 8506 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5101.506
AT ITER 7664 NEW BEST:: SOT 39165 SOS 8482 HAS SOPS 8482 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5089.482
AT ITER 7683 NEW BEST:: SOT 39164 SOS 8481 HAS SOPS 8481 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5088.481
AT ITER 7687 NEW BEST:: SOT 39164 SOS 8481 HAS SOPS 8481 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5087.481
AT ITER 7730 NEW BEST:: SOT 39156 SOS 8469 HAS SOPS 8469 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5079.469
AT ITER 7764 NEW BEST:: SOT 39150 SOS 8448 HAS SOPS 8448 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5067.448
AT ITER 7790 NEW BEST:: SOT 39147 SOS 8442 HAS SOPS 8442 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5061.442
AT ITER 7831 NEW BEST:: SOT 39141 SOS 8424 HAS SOPS 8424 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5049.424
AT ITER 7842 NEW BEST:: SOT 39139 SOS 8420 HAS SOPS 8420 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5046.42
AT ITER 7882 NEW BEST:: SOT 39139 SOS 8420 HAS SOPS 8420 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5029.42
AT ITER 7995 NEW BEST:: SOT 39139 SOS 8424 HAS SOPS 8424 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5017.424
AT ITER 8002 NEW BEST:: SOT 39139 SOS 8412 HAS SOPS 8412 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5017.412
AT ITER 8046 NEW BEST:: SOT 39136 SOS 8406 HAS SOPS 8406 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5011.406
AT ITER 8052 NEW BEST:: SOT 39136 SOS 8406 HAS SOPS 8406 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5009.406
AT ITER 8065 NEW BEST:: SOT 39136 SOS 8382 HAS SOPS 8382 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5009.382
AT ITER 8066 NEW BEST:: SOT 39130 SOS 8382 HAS SOPS 8382 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5006.382
AT ITER 8127 NEW BEST:: SOT 39127 SOS 8376 HAS SOPS 8376 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 5000.376
AT ITER 8149 NEW BEST:: SOT 39126 SOS 8375 HAS SOPS 8375 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4999.375
AT ITER 8387 NEW BEST:: SOT 39125 SOS 8373 HAS SOPS 8373 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4997.373
AT ITER 8460 NEW BEST:: SOT 39124 SOS 8372 HAS SOPS 8372 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4996.372
AT ITER 8471 NEW BEST:: SOT 39124 SOS 8360 HAS SOPS 8360 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4984.36
AT ITER 8478 NEW BEST:: SOT 39124 SOS 8355 HAS SOPS 8355 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4984.355
AT ITER 8500 NEW BEST:: SOT 39124 SOS 8354 HAS SOPS 8354 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4984.354
AT ITER 8501 NEW BEST:: SOT 39118 SOS 8342 HAS SOPS 8342 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4972.342
AT ITER 8523 NEW BEST:: SOT 39114 SOS 8334 HAS SOPS 8334 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4964.334
AT ITER 8542 NEW BEST:: SOT 39106 SOS 8318 HAS SOPS 8318 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4941.318
AT ITER 8578 NEW BEST:: SOT 39106 SOS 8310 HAS SOPS 8310 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4935.31
AT ITER 8602 NEW BEST:: SOT 39096 SOS 8300 HAS SOPS 8300 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4925.3
AT ITER 8634 NEW BEST:: SOT 39094 SOS 8298 HAS SOPS 8298 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4923.298
AT ITER 8650 NEW BEST:: SOT 39094 SOS 8297 HAS SOPS 8297 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4922.297
AT ITER 8688 NEW BEST:: SOT 39091 SOS 8291 HAS SOPS 8291 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4922.291
AT ITER 8707 NEW BEST:: SOT 39072 SOS 8253 HAS SOPS 8253 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4897.253
AT ITER 8777 NEW BEST:: SOT 39067 SOS 8248 HAS SOPS 8248 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4892.248
AT ITER 8799 NEW BEST:: SOT 39067 SOS 8240 HAS SOPS 8240 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4889.24
AT ITER 8921 NEW BEST:: SOT 39067 SOS 8238 HAS SOPS 8238 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4887.238
AT ITER 8935 NEW BEST:: SOT 39067 SOS 8238 HAS SOPS 8238 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4882.238
AT ITER 9099 NEW BEST:: SOT 39061 SOS 8222 HAS SOPS 8222 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4868.222
AT ITER 9105 NEW BEST:: SOT 39066 SOS 8232 HAS SOPS 8232 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4867.232
AT ITER 9111 NEW BEST:: SOT 39046 SOS 8344 HAS SOPS 8344 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4854.344
AT ITER 9166 NEW BEST:: SOT 39044 SOS 8340 HAS SOPS 8340 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4851.34
AT ITER 9173 NEW BEST:: SOT 39042 SOS 8336 HAS SOPS 8336 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4847.336
AT ITER 9178 NEW BEST:: SOT 39040 SOS 8334 HAS SOPS 8334 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4845.334
AT ITER 9266 NEW BEST:: SOT 39027 SOS 8392 HAS SOPS 8392 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4844.392
AT ITER 9302 NEW BEST:: SOT 39025 SOS 8391 HAS SOPS 8391 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4840.391
AT ITER 9368 NEW BEST:: SOT 39024 SOS 8390 HAS SOPS 8390 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4840.39
AT ITER 9379 NEW BEST:: SOT 39024 SOS 8391 HAS SOPS 8391 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4836.391
AT ITER 9405 NEW BEST:: SOT 39023 SOS 8389 HAS SOPS 8389 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4835.389
AT ITER 9474 NEW BEST:: SOT 39022 SOS 8387 HAS SOPS 8387 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4833.387
AT ITER 9540 NEW BEST:: SOT 39019 SOS 8381 HAS SOPS 8381 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4830.381
AT ITER 9586 NEW BEST:: SOT 39019 SOS 8377 HAS SOPS 8377 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4830.377
AT ITER 9590 NEW BEST:: SOT 39006 SOS 8358 HAS SOPS 8358 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4824.358
AT ITER 9617 NEW BEST:: SOT 39005 SOS 8356 HAS SOPS 8356 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4821.356
AT ITER 9785 NEW BEST:: SOT 38993 SOS 8462 HAS SOPS 8462 HAS SOUS 4811 HAS SOUPS 4811 WITH SCORE 4819.462
AT ITER 9832 NEW BEST:: SOT 38990 SOS 8477 HAS SOPS 8477 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4816.477
AT ITER 9929 NEW BEST:: SOT 38989 SOS 8475 HAS SOPS 8475 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4814.475
STATE_SPACE STATES 341149113957 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3125104112644 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590469808291

--------------------
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-07"
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-07, 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-159033538300056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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