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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.0K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 3.3K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 71K 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 1590469761025

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

Filename model.pnml
Petri model created: 290 places, 315 transitions, 722 arcs.
AT ITER 0 NEW BEST:: SOT 55680 SOS 14283 HAS SOPS 14283 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13876.283
AT ITER 1 NEW BEST:: SOT 55677 SOS 14295 HAS SOPS 14295 HAS SOUS 13859 HAS SOUPS 13859 WITH SCORE 13873.295
AT ITER 5 NEW BEST:: SOT 55681 SOS 14288 HAS SOPS 14288 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13866.288
AT ITER 21 NEW BEST:: SOT 55677 SOS 14289 HAS SOPS 14289 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13836.289
AT ITER 22 NEW BEST:: SOT 55779 SOS 14286 HAS SOPS 14286 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13831.286
AT ITER 23 NEW BEST:: SOT 55303 SOS 15143 HAS SOPS 15143 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13515.143
AT ITER 26 NEW BEST:: SOT 55301 SOS 15084 HAS SOPS 15084 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13456.084
AT ITER 27 NEW BEST:: SOT 55256 SOS 15039 HAS SOPS 15039 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13411.039
AT ITER 45 NEW BEST:: SOT 55237 SOS 15001 HAS SOPS 15001 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13355.001
AT ITER 56 NEW BEST:: SOT 55215 SOS 14979 HAS SOPS 14979 HAS SOUS 13338 HAS SOUPS 13338 WITH SCORE 13352.979
AT ITER 62 NEW BEST:: SOT 55215 SOS 14979 HAS SOPS 14979 HAS SOUS 13335 HAS SOUPS 13335 WITH SCORE 13349.979
AT ITER 67 NEW BEST:: SOT 55215 SOS 14979 HAS SOPS 14979 HAS SOUS 13334 HAS SOUPS 13334 WITH SCORE 13348.979
AT ITER 71 NEW BEST:: SOT 55215 SOS 14979 HAS SOPS 14979 HAS SOUS 13333 HAS SOUPS 13333 WITH SCORE 13347.979
AT ITER 76 NEW BEST:: SOT 55185 SOS 14919 HAS SOPS 14919 HAS SOUS 13303 HAS SOUPS 13303 WITH SCORE 13317.919
AT ITER 80 NEW BEST:: SOT 55202 SOS 14929 HAS SOPS 14929 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13312.929
AT ITER 85 NEW BEST:: SOT 55172 SOS 14823 HAS SOPS 14823 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13185.823
AT ITER 87 NEW BEST:: SOT 55172 SOS 14741 HAS SOPS 14741 HAS SOUS 13160 HAS SOUPS 13160 WITH SCORE 13174.741
AT ITER 91 NEW BEST:: SOT 55144 SOS 14713 HAS SOPS 14713 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13146.713
AT ITER 93 NEW BEST:: SOT 55144 SOS 14521 HAS SOPS 14521 HAS SOUS 13123 HAS SOUPS 13123 WITH SCORE 13137.521
AT ITER 100 NEW BEST:: SOT 55117 SOS 14488 HAS SOPS 14488 HAS SOUS 13090 HAS SOUPS 13090 WITH SCORE 13104.488
AT ITER 112 NEW BEST:: SOT 55117 SOS 14442 HAS SOPS 14442 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13099.442
AT ITER 113 NEW BEST:: SOT 55117 SOS 14439 HAS SOPS 14439 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13097.439
AT ITER 115 NEW BEST:: SOT 55112 SOS 14429 HAS SOPS 14429 HAS SOUS 13073 HAS SOUPS 13073 WITH SCORE 13087.429
AT ITER 116 NEW BEST:: SOT 54325 SOS 14322 HAS SOPS 14322 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12373.322
AT ITER 124 NEW BEST:: SOT 54335 SOS 14315 HAS SOPS 14315 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12349.315
AT ITER 126 NEW BEST:: SOT 54324 SOS 14293 HAS SOPS 14293 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12327.293
AT ITER 127 NEW BEST:: SOT 54320 SOS 14285 HAS SOPS 14285 HAS SOUS 12305 HAS SOUPS 12305 WITH SCORE 12319.285
AT ITER 138 NEW BEST:: SOT 54279 SOS 14244 HAS SOPS 14244 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12318.244
AT ITER 139 NEW BEST:: SOT 53969 SOS 14170 HAS SOPS 14170 HAS SOUS 12035 HAS SOUPS 12035 WITH SCORE 12049.17
AT ITER 144 NEW BEST:: SOT 53957 SOS 14158 HAS SOPS 14158 HAS SOUS 12035 HAS SOUPS 12035 WITH SCORE 12049.158
AT ITER 147 NEW BEST:: SOT 53954 SOS 14152 HAS SOPS 14152 HAS SOUS 12033 HAS SOUPS 12033 WITH SCORE 12047.152
AT ITER 151 NEW BEST:: SOT 53948 SOS 14128 HAS SOPS 14128 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12035.128
AT ITER 169 NEW BEST:: SOT 53936 SOS 14116 HAS SOPS 14116 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12023.116
AT ITER 175 NEW BEST:: SOT 53312 SOS 15433 HAS SOPS 15433 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11539.433
AT ITER 183 NEW BEST:: SOT 53301 SOS 15416 HAS SOPS 15416 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11522.416
AT ITER 185 NEW BEST:: SOT 53286 SOS 15051 HAS SOPS 15051 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11476.051
AT ITER 198 NEW BEST:: SOT 53257 SOS 15035 HAS SOPS 15035 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11461.035
AT ITER 230 NEW BEST:: SOT 53231 SOS 14957 HAS SOPS 14957 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11408.957
AT ITER 257 NEW BEST:: SOT 53229 SOS 14953 HAS SOPS 14953 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11404.953
AT ITER 262 NEW BEST:: SOT 53220 SOS 14944 HAS SOPS 14944 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11400.944
AT ITER 263 NEW BEST:: SOT 53175 SOS 15566 HAS SOPS 15566 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11388.566
AT ITER 268 NEW BEST:: SOT 53174 SOS 15548 HAS SOPS 15548 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11385.548
AT ITER 269 NEW BEST:: SOT 53171 SOS 15419 HAS SOPS 15419 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11379.419
AT ITER 274 NEW BEST:: SOT 53168 SOS 15413 HAS SOPS 15413 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11373.413
AT ITER 283 NEW BEST:: SOT 53190 SOS 15415 HAS SOPS 15415 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11359.415
AT ITER 301 NEW BEST:: SOT 53194 SOS 15381 HAS SOPS 15381 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11325.381
AT ITER 303 NEW BEST:: SOT 53177 SOS 15391 HAS SOPS 15391 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11291.391
AT ITER 309 NEW BEST:: SOT 53177 SOS 15380 HAS SOPS 15380 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11280.38
AT ITER 312 NEW BEST:: SOT 53177 SOS 15388 HAS SOPS 15388 HAS SOUS 11260 HAS SOUPS 11260 WITH SCORE 11275.388
AT ITER 323 NEW BEST:: SOT 53176 SOS 15387 HAS SOPS 15387 HAS SOUS 11259 HAS SOUPS 11259 WITH SCORE 11274.387
AT ITER 325 NEW BEST:: SOT 53167 SOS 15369 HAS SOPS 15369 HAS SOUS 11241 HAS SOUPS 11241 WITH SCORE 11256.369
AT ITER 350 NEW BEST:: SOT 53177 SOS 15370 HAS SOPS 15370 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11247.37
AT ITER 363 NEW BEST:: SOT 53048 SOS 15112 HAS SOPS 15112 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11081.112
AT ITER 370 NEW BEST:: SOT 53025 SOS 15089 HAS SOPS 15089 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11064.089
AT ITER 373 NEW BEST:: SOT 53016 SOS 15062 HAS SOPS 15062 HAS SOUS 11031 HAS SOUPS 11031 WITH SCORE 11046.062
AT ITER 385 NEW BEST:: SOT 52954 SOS 14938 HAS SOPS 14938 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10921.938
AT ITER 386 NEW BEST:: SOT 52931 SOS 14915 HAS SOPS 14915 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10921.915
AT ITER 401 NEW BEST:: SOT 52833 SOS 14817 HAS SOPS 14817 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10892.817
AT ITER 413 NEW BEST:: SOT 52803 SOS 14757 HAS SOPS 14757 HAS SOUS 10848 HAS SOUPS 10848 WITH SCORE 10862.757
AT ITER 430 NEW BEST:: SOT 52805 SOS 14733 HAS SOPS 14733 HAS SOUS 10848 HAS SOUPS 10848 WITH SCORE 10862.733
AT ITER 447 NEW BEST:: SOT 52814 SOS 14713 HAS SOPS 14713 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10842.713
AT ITER 456 NEW BEST:: SOT 52801 SOS 14698 HAS SOPS 14698 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10823.698
AT ITER 459 NEW BEST:: SOT 52660 SOS 14584 HAS SOPS 14584 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10682.584
AT ITER 467 NEW BEST:: SOT 52611 SOS 14539 HAS SOPS 14539 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10682.539
AT ITER 509 NEW BEST:: SOT 52607 SOS 14531 HAS SOPS 14531 HAS SOUS 10662 HAS SOUPS 10662 WITH SCORE 10676.531
AT ITER 533 NEW BEST:: SOT 52591 SOS 14515 HAS SOPS 14515 HAS SOUS 10639 HAS SOUPS 10639 WITH SCORE 10653.515
AT ITER 545 NEW BEST:: SOT 52591 SOS 14480 HAS SOPS 14480 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10618.48
AT ITER 548 NEW BEST:: SOT 52558 SOS 14381 HAS SOPS 14381 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10593.381
AT ITER 556 NEW BEST:: SOT 52147 SOS 14085 HAS SOPS 14085 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10208.085
AT ITER 563 NEW BEST:: SOT 52096 SOS 13983 HAS SOPS 13983 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10165.983
AT ITER 576 NEW BEST:: SOT 52048 SOS 13887 HAS SOPS 13887 HAS SOUS 10104 HAS SOUPS 10104 WITH SCORE 10117.887
AT ITER 578 NEW BEST:: SOT 52016 SOS 13859 HAS SOPS 13859 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10053.859
AT ITER 580 NEW BEST:: SOT 52026 SOS 13865 HAS SOPS 13865 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10050.865
AT ITER 593 NEW BEST:: SOT 51902 SOS 13741 HAS SOPS 13741 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9988.741
AT ITER 598 NEW BEST:: SOT 51895 SOS 13196 HAS SOPS 13196 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9942.196
AT ITER 621 NEW BEST:: SOT 51786 SOS 13240 HAS SOPS 13240 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9869.24
AT ITER 625 NEW BEST:: SOT 51787 SOS 13233 HAS SOPS 13233 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9861.233
AT ITER 634 NEW BEST:: SOT 51786 SOS 13232 HAS SOPS 13232 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9860.232
AT ITER 636 NEW BEST:: SOT 51777 SOS 13214 HAS SOPS 13214 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9842.214
AT ITER 637 NEW BEST:: SOT 51770 SOS 13207 HAS SOPS 13207 HAS SOUS 9818 HAS SOUPS 9818 WITH SCORE 9831.207
AT ITER 644 NEW BEST:: SOT 51771 SOS 13209 HAS SOPS 13209 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9830.209
AT ITER 649 NEW BEST:: SOT 51771 SOS 12985 HAS SOPS 12985 HAS SOUS 9630 HAS SOUPS 9630 WITH SCORE 9642.985
AT ITER 669 NEW BEST:: SOT 51749 SOS 12895 HAS SOPS 12895 HAS SOUS 9610 HAS SOUPS 9610 WITH SCORE 9622.895
AT ITER 673 NEW BEST:: SOT 51731 SOS 12859 HAS SOPS 12859 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9600.859
AT ITER 683 NEW BEST:: SOT 51731 SOS 12859 HAS SOPS 12859 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9597.859
AT ITER 692 NEW BEST:: SOT 51743 SOS 12819 HAS SOPS 12819 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9557.819
AT ITER 705 NEW BEST:: SOT 51743 SOS 12773 HAS SOPS 12773 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9534.773
AT ITER 724 NEW BEST:: SOT 51739 SOS 12819 HAS SOPS 12819 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9530.819
AT ITER 732 NEW BEST:: SOT 51680 SOS 12701 HAS SOPS 12701 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9530.701
AT ITER 745 NEW BEST:: SOT 51682 SOS 12657 HAS SOPS 12657 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9486.657
AT ITER 750 NEW BEST:: SOT 51676 SOS 12645 HAS SOPS 12645 HAS SOUS 9456 HAS SOUPS 9456 WITH SCORE 9468.645
AT ITER 768 NEW BEST:: SOT 51653 SOS 12688 HAS SOPS 12688 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9452.688
AT ITER 780 NEW BEST:: SOT 51653 SOS 12688 HAS SOPS 12688 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9423.688
AT ITER 787 NEW BEST:: SOT 51594 SOS 12651 HAS SOPS 12651 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9408.651
AT ITER 835 NEW BEST:: SOT 51575 SOS 12691 HAS SOPS 12691 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9375.691
AT ITER 836 NEW BEST:: SOT 51575 SOS 12691 HAS SOPS 12691 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9355.691
AT ITER 898 NEW BEST:: SOT 51493 SOS 13302 HAS SOPS 13302 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9295.302
AT ITER 910 NEW BEST:: SOT 51492 SOS 13301 HAS SOPS 13301 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9293.301
AT ITER 911 NEW BEST:: SOT 51458 SOS 13267 HAS SOPS 13267 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9288.267
AT ITER 912 NEW BEST:: SOT 51440 SOS 13220 HAS SOPS 13220 HAS SOUS 9257 HAS SOUPS 9257 WITH SCORE 9270.22
AT ITER 920 NEW BEST:: SOT 51388 SOS 13143 HAS SOPS 13143 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9269.143
AT ITER 925 NEW BEST:: SOT 51392 SOS 13151 HAS SOPS 13151 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9264.151
AT ITER 931 NEW BEST:: SOT 51385 SOS 13142 HAS SOPS 13142 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9254.142
AT ITER 938 NEW BEST:: SOT 51379 SOS 13136 HAS SOPS 13136 HAS SOUS 9238 HAS SOUPS 9238 WITH SCORE 9251.136
AT ITER 964 NEW BEST:: SOT 51348 SOS 13105 HAS SOPS 13105 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9220.105
AT ITER 973 NEW BEST:: SOT 51338 SOS 13095 HAS SOPS 13095 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9215.095
AT ITER 995 NEW BEST:: SOT 51297 SOS 13349 HAS SOPS 13349 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9197.349
AT ITER 1011 NEW BEST:: SOT 51282 SOS 13260 HAS SOPS 13260 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9152.26
AT ITER 1020 NEW BEST:: SOT 51280 SOS 13275 HAS SOPS 13275 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9150.275
AT ITER 1075 NEW BEST:: SOT 51270 SOS 13265 HAS SOPS 13265 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9140.265
AT ITER 1111 NEW BEST:: SOT 51191 SOS 13249 HAS SOPS 13249 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9132.249
AT ITER 1115 NEW BEST:: SOT 51189 SOS 13247 HAS SOPS 13247 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9132.247
AT ITER 1139 NEW BEST:: SOT 51197 SOS 13236 HAS SOPS 13236 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9122.236
AT ITER 1155 NEW BEST:: SOT 51180 SOS 13178 HAS SOPS 13178 HAS SOUS 9068 HAS SOUPS 9068 WITH SCORE 9081.178
AT ITER 1185 NEW BEST:: SOT 51184 SOS 13138 HAS SOPS 13138 HAS SOUS 9068 HAS SOUPS 9068 WITH SCORE 9081.138
AT ITER 1194 NEW BEST:: SOT 51184 SOS 13130 HAS SOPS 13130 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9073.13
AT ITER 1203 NEW BEST:: SOT 51177 SOS 13130 HAS SOPS 13130 HAS SOUS 9053 HAS SOUPS 9053 WITH SCORE 9066.13
AT ITER 1204 NEW BEST:: SOT 51149 SOS 13068 HAS SOPS 13068 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9021.068
AT ITER 1208 NEW BEST:: SOT 51113 SOS 12997 HAS SOPS 12997 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8996.997
AT ITER 1219 NEW BEST:: SOT 51112 SOS 12995 HAS SOPS 12995 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8994.995
AT ITER 1224 NEW BEST:: SOT 51117 SOS 13005 HAS SOPS 13005 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8988.005
AT ITER 1241 NEW BEST:: SOT 51138 SOS 13047 HAS SOPS 13047 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8985.047
AT ITER 1269 NEW BEST:: SOT 51145 SOS 13061 HAS SOPS 13061 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8978.061
AT ITER 1335 NEW BEST:: SOT 51040 SOS 12923 HAS SOPS 12923 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8917.923
AT ITER 1343 NEW BEST:: SOT 51005 SOS 12904 HAS SOPS 12904 HAS SOUS 8886 HAS SOUPS 8886 WITH SCORE 8898.904
AT ITER 1348 NEW BEST:: SOT 51005 SOS 12903 HAS SOPS 12903 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8897.903
AT ITER 1350 NEW BEST:: SOT 50947 SOS 12787 HAS SOPS 12787 HAS SOUS 8827 HAS SOUPS 8827 WITH SCORE 8839.787
AT ITER 1357 NEW BEST:: SOT 50938 SOS 12769 HAS SOPS 12769 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8821.769
AT ITER 1358 NEW BEST:: SOT 50910 SOS 12713 HAS SOPS 12713 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8766.713
AT ITER 1367 NEW BEST:: SOT 50928 SOS 12706 HAS SOPS 12706 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8759.706
AT ITER 1391 NEW BEST:: SOT 50906 SOS 12684 HAS SOPS 12684 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8737.684
AT ITER 1414 NEW BEST:: SOT 50861 SOS 12571 HAS SOPS 12571 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8679.571
AT ITER 1422 NEW BEST:: SOT 50861 SOS 12319 HAS SOPS 12319 HAS SOUS 8643 HAS SOUPS 8643 WITH SCORE 8655.319
AT ITER 1451 NEW BEST:: SOT 50827 SOS 12506 HAS SOPS 12506 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8638.506
AT ITER 1469 NEW BEST:: SOT 50833 SOS 12518 HAS SOPS 12518 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8627.518
AT ITER 1478 NEW BEST:: SOT 50817 SOS 12486 HAS SOPS 12486 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8621.486
AT ITER 1485 NEW BEST:: SOT 50814 SOS 12473 HAS SOPS 12473 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8611.473
AT ITER 1520 NEW BEST:: SOT 50802 SOS 12474 HAS SOPS 12474 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8586.474
AT ITER 1532 NEW BEST:: SOT 50793 SOS 12464 HAS SOPS 12464 HAS SOUS 8564 HAS SOUPS 8564 WITH SCORE 8576.464
AT ITER 1536 NEW BEST:: SOT 50801 SOS 12466 HAS SOPS 12466 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8569.466
AT ITER 1545 NEW BEST:: SOT 50797 SOS 12458 HAS SOPS 12458 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8563.458
AT ITER 1553 NEW BEST:: SOT 50785 SOS 12391 HAS SOPS 12391 HAS SOUS 8507 HAS SOUPS 8507 WITH SCORE 8519.391
AT ITER 1554 NEW BEST:: SOT 50785 SOS 12391 HAS SOPS 12391 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8508.391
AT ITER 1581 NEW BEST:: SOT 50754 SOS 12360 HAS SOPS 12360 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8472.36
AT ITER 1637 NEW BEST:: SOT 50741 SOS 12334 HAS SOPS 12334 HAS SOUS 8441 HAS SOUPS 8441 WITH SCORE 8453.334
AT ITER 1643 NEW BEST:: SOT 50761 SOS 12323 HAS SOPS 12323 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8445.323
AT ITER 1649 NEW BEST:: SOT 50757 SOS 12315 HAS SOPS 12315 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8445.315
AT ITER 1656 NEW BEST:: SOT 50748 SOS 12306 HAS SOPS 12306 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8424.306
AT ITER 1661 NEW BEST:: SOT 50729 SOS 12268 HAS SOPS 12268 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8387.268
AT ITER 1663 NEW BEST:: SOT 50730 SOS 12192 HAS SOPS 12192 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8376.192
AT ITER 1682 NEW BEST:: SOT 50730 SOS 12192 HAS SOPS 12192 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8362.192
AT ITER 1685 NEW BEST:: SOT 50612 SOS 12003 HAS SOPS 12003 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8276.003
AT ITER 1692 NEW BEST:: SOT 50603 SOS 11994 HAS SOPS 11994 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8266.994
AT ITER 1733 NEW BEST:: SOT 50584 SOS 11975 HAS SOPS 11975 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8247.975
AT ITER 1765 NEW BEST:: SOT 50584 SOS 11936 HAS SOPS 11936 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8247.936
AT ITER 1776 NEW BEST:: SOT 50569 SOS 11923 HAS SOPS 11923 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8234.923
AT ITER 1825 NEW BEST:: SOT 50568 SOS 11921 HAS SOPS 11921 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8233.921
AT ITER 1837 NEW BEST:: SOT 50554 SOS 11893 HAS SOPS 11893 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8205.893
AT ITER 1844 NEW BEST:: SOT 50578 SOS 11884 HAS SOPS 11884 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8196.884
AT ITER 1858 NEW BEST:: SOT 50572 SOS 11881 HAS SOPS 11881 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8193.881
AT ITER 1879 NEW BEST:: SOT 50564 SOS 11873 HAS SOPS 11873 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8185.873
AT ITER 1883 NEW BEST:: SOT 50543 SOS 11847 HAS SOPS 11847 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8159.847
AT ITER 1908 NEW BEST:: SOT 50491 SOS 11862 HAS SOPS 11862 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8127.862
AT ITER 1909 NEW BEST:: SOT 50498 SOS 11911 HAS SOPS 11911 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8106.911
AT ITER 1917 NEW BEST:: SOT 50448 SOS 11727 HAS SOPS 11727 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8034.727
AT ITER 1926 NEW BEST:: SOT 50448 SOS 11719 HAS SOPS 11719 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8026.719
AT ITER 1927 NEW BEST:: SOT 50434 SOS 11706 HAS SOPS 11706 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8013.706
AT ITER 1932 NEW BEST:: SOT 50436 SOS 11703 HAS SOPS 11703 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8010.703
AT ITER 1940 NEW BEST:: SOT 50433 SOS 11697 HAS SOPS 11697 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8007.697
AT ITER 1943 NEW BEST:: SOT 50433 SOS 11694 HAS SOPS 11694 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8004.694
AT ITER 1946 NEW BEST:: SOT 50456 SOS 11685 HAS SOPS 11685 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 7995.685
AT ITER 1988 NEW BEST:: SOT 50454 SOS 11681 HAS SOPS 11681 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7991.681
AT ITER 1999 NEW BEST:: SOT 50454 SOS 11681 HAS SOPS 11681 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7953.681
AT ITER 2011 NEW BEST:: SOT 50454 SOS 11678 HAS SOPS 11678 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7950.678
AT ITER 2024 NEW BEST:: SOT 50450 SOS 11590 HAS SOPS 11590 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7938.59
AT ITER 2029 NEW BEST:: SOT 50435 SOS 11560 HAS SOPS 11560 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7908.56
AT ITER 2091 NEW BEST:: SOT 50435 SOS 11559 HAS SOPS 11559 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7907.559
AT ITER 2092 NEW BEST:: SOT 50393 SOS 11500 HAS SOPS 11500 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7907.5
AT ITER 2093 NEW BEST:: SOT 50393 SOS 11492 HAS SOPS 11492 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7899.492
AT ITER 2098 NEW BEST:: SOT 50391 SOS 11473 HAS SOPS 11473 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7889.473
AT ITER 2116 NEW BEST:: SOT 50389 SOS 11469 HAS SOPS 11469 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7885.469
AT ITER 2123 NEW BEST:: SOT 50389 SOS 11404 HAS SOPS 11404 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7880.404
AT ITER 2143 NEW BEST:: SOT 50391 SOS 11402 HAS SOPS 11402 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7880.402
AT ITER 2153 NEW BEST:: SOT 50426 SOS 11425 HAS SOPS 11425 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7878.425
AT ITER 2159 NEW BEST:: SOT 50464 SOS 11412 HAS SOPS 11412 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7875.412
AT ITER 2175 NEW BEST:: SOT 50440 SOS 11388 HAS SOPS 11388 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7875.388
AT ITER 2179 NEW BEST:: SOT 50439 SOS 11387 HAS SOPS 11387 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7874.387
AT ITER 2210 NEW BEST:: SOT 50424 SOS 11363 HAS SOPS 11363 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7856.363
AT ITER 2232 NEW BEST:: SOT 50438 SOS 11377 HAS SOPS 11377 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7852.377
AT ITER 2237 NEW BEST:: SOT 50414 SOS 11341 HAS SOPS 11341 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7816.341
AT ITER 2243 NEW BEST:: SOT 50410 SOS 11335 HAS SOPS 11335 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7810.335
AT ITER 2245 NEW BEST:: SOT 50407 SOS 11332 HAS SOPS 11332 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7804.332
AT ITER 2284 NEW BEST:: SOT 50369 SOS 11294 HAS SOPS 11294 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7729.294
AT ITER 2318 NEW BEST:: SOT 50370 SOS 11298 HAS SOPS 11298 HAS SOUS 7693 HAS SOUPS 7693 WITH SCORE 7704.298
AT ITER 2321 NEW BEST:: SOT 50339 SOS 11288 HAS SOPS 11288 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7701.288
AT ITER 2329 NEW BEST:: SOT 50333 SOS 11276 HAS SOPS 11276 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7689.276
AT ITER 2345 NEW BEST:: SOT 50327 SOS 11270 HAS SOPS 11270 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7683.27
AT ITER 2348 NEW BEST:: SOT 50318 SOS 11251 HAS SOPS 11251 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7683.251
AT ITER 2349 NEW BEST:: SOT 50296 SOS 11207 HAS SOPS 11207 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7661.207
AT ITER 2396 NEW BEST:: SOT 50278 SOS 11189 HAS SOPS 11189 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7643.189
AT ITER 2414 NEW BEST:: SOT 50279 SOS 11185 HAS SOPS 11185 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7639.185
AT ITER 2431 NEW BEST:: SOT 50276 SOS 11179 HAS SOPS 11179 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7633.179
AT ITER 2479 NEW BEST:: SOT 50270 SOS 11175 HAS SOPS 11175 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7629.175
AT ITER 2482 NEW BEST:: SOT 50266 SOS 11171 HAS SOPS 11171 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7625.171
AT ITER 2503 NEW BEST:: SOT 50273 SOS 11169 HAS SOPS 11169 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7623.169
AT ITER 2511 NEW BEST:: SOT 50269 SOS 11165 HAS SOPS 11165 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7616.165
AT ITER 2535 NEW BEST:: SOT 50250 SOS 11127 HAS SOPS 11127 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7578.127
AT ITER 2576 NEW BEST:: SOT 50235 SOS 11086 HAS SOPS 11086 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7548.086
AT ITER 2578 NEW BEST:: SOT 50235 SOS 11076 HAS SOPS 11076 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7546.076
AT ITER 2584 NEW BEST:: SOT 50235 SOS 11016 HAS SOPS 11016 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7546.016
AT ITER 2597 NEW BEST:: SOT 50233 SOS 11012 HAS SOPS 11012 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7544.012
AT ITER 2618 NEW BEST:: SOT 50221 SOS 11036 HAS SOPS 11036 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7530.036
AT ITER 2622 NEW BEST:: SOT 50183 SOS 11036 HAS SOPS 11036 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7509.036
AT ITER 2639 NEW BEST:: SOT 50167 SOS 11028 HAS SOPS 11028 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7501.028
AT ITER 2646 NEW BEST:: SOT 50167 SOS 11011 HAS SOPS 11011 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7484.011
AT ITER 2653 NEW BEST:: SOT 50139 SOS 10980 HAS SOPS 10980 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7452.98
AT ITER 2657 NEW BEST:: SOT 50135 SOS 10976 HAS SOPS 10976 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7448.976
AT ITER 2688 NEW BEST:: SOT 50135 SOS 10973 HAS SOPS 10973 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7445.973
AT ITER 2773 NEW BEST:: SOT 50126 SOS 10964 HAS SOPS 10964 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7436.964
AT ITER 2780 NEW BEST:: SOT 50121 SOS 10962 HAS SOPS 10962 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7434.962
AT ITER 2789 NEW BEST:: SOT 50112 SOS 10926 HAS SOPS 10926 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7402.926
AT ITER 2834 NEW BEST:: SOT 50095 SOS 10919 HAS SOPS 10919 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7402.919
AT ITER 2878 NEW BEST:: SOT 50096 SOS 10835 HAS SOPS 10835 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7393.835
AT ITER 2891 NEW BEST:: SOT 50076 SOS 10795 HAS SOPS 10795 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7393.795
AT ITER 3073 NEW BEST:: SOT 50076 SOS 10790 HAS SOPS 10790 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7388.79
AT ITER 3105 NEW BEST:: SOT 50072 SOS 10786 HAS SOPS 10786 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7380.786
AT ITER 3108 NEW BEST:: SOT 50056 SOS 10770 HAS SOPS 10770 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7364.77
AT ITER 3109 NEW BEST:: SOT 50061 SOS 10626 HAS SOPS 10626 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7363.626
AT ITER 3116 NEW BEST:: SOT 50061 SOS 10626 HAS SOPS 10626 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7361.626
AT ITER 3132 NEW BEST:: SOT 49991 SOS 10556 HAS SOPS 10556 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7302.556
AT ITER 3152 NEW BEST:: SOT 49991 SOS 10556 HAS SOPS 10556 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7296.556
AT ITER 3192 NEW BEST:: SOT 49949 SOS 10493 HAS SOPS 10493 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7275.493
AT ITER 3226 NEW BEST:: SOT 49938 SOS 10471 HAS SOPS 10471 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7264.471
AT ITER 3229 NEW BEST:: SOT 49939 SOS 10473 HAS SOPS 10473 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7258.473
AT ITER 3230 NEW BEST:: SOT 49947 SOS 10523 HAS SOPS 10523 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7240.523
AT ITER 3247 NEW BEST:: SOT 49944 SOS 10528 HAS SOPS 10528 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7234.528
AT ITER 3311 NEW BEST:: SOT 49944 SOS 10528 HAS SOPS 10528 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7228.528
AT ITER 3365 NEW BEST:: SOT 49954 SOS 10548 HAS SOPS 10548 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7223.548
AT ITER 3366 NEW BEST:: SOT 49927 SOS 10519 HAS SOPS 10519 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7171.519
AT ITER 3437 NEW BEST:: SOT 49925 SOS 10515 HAS SOPS 10515 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7167.515
AT ITER 3447 NEW BEST:: SOT 49925 SOS 10512 HAS SOPS 10512 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7164.512
AT ITER 3457 NEW BEST:: SOT 49925 SOS 10483 HAS SOPS 10483 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7164.483
AT ITER 3519 NEW BEST:: SOT 49929 SOS 10491 HAS SOPS 10491 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7160.491
AT ITER 3524 NEW BEST:: SOT 49919 SOS 10481 HAS SOPS 10481 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7150.481
AT ITER 3557 NEW BEST:: SOT 49879 SOS 10446 HAS SOPS 10446 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7110.446
AT ITER 3586 NEW BEST:: SOT 49878 SOS 10451 HAS SOPS 10451 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7108.451
AT ITER 3613 NEW BEST:: SOT 49878 SOS 10451 HAS SOPS 10451 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7107.451
AT ITER 3663 NEW BEST:: SOT 49852 SOS 10382 HAS SOPS 10382 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7049.382
AT ITER 3670 NEW BEST:: SOT 49852 SOS 10382 HAS SOPS 10382 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7043.382
AT ITER 3696 NEW BEST:: SOT 49849 SOS 10379 HAS SOPS 10379 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7040.379
AT ITER 3738 NEW BEST:: SOT 49848 SOS 10377 HAS SOPS 10377 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7039.377
AT ITER 3813 NEW BEST:: SOT 49846 SOS 10373 HAS SOPS 10373 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7035.373
AT ITER 3826 NEW BEST:: SOT 49842 SOS 10365 HAS SOPS 10365 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7031.365
AT ITER 3838 NEW BEST:: SOT 49814 SOS 10338 HAS SOPS 10338 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7004.338
AT ITER 3875 NEW BEST:: SOT 49808 SOS 10326 HAS SOPS 10326 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6992.326
AT ITER 3902 NEW BEST:: SOT 49809 SOS 10325 HAS SOPS 10325 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6990.325
AT ITER 3911 NEW BEST:: SOT 49794 SOS 10320 HAS SOPS 10320 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6985.32
AT ITER 3935 NEW BEST:: SOT 49768 SOS 10310 HAS SOPS 10310 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6975.31
AT ITER 3949 NEW BEST:: SOT 49771 SOS 10309 HAS SOPS 10309 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6974.309
AT ITER 3954 NEW BEST:: SOT 49769 SOS 10305 HAS SOPS 10305 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6970.305
AT ITER 3960 NEW BEST:: SOT 49723 SOS 10259 HAS SOPS 10259 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6967.259
AT ITER 4012 NEW BEST:: SOT 49707 SOS 10227 HAS SOPS 10227 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6935.227
AT ITER 4035 NEW BEST:: SOT 49710 SOS 10222 HAS SOPS 10222 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6930.222
AT ITER 4045 NEW BEST:: SOT 49715 SOS 10232 HAS SOPS 10232 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6921.232
AT ITER 4107 NEW BEST:: SOT 49710 SOS 10228 HAS SOPS 10228 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6917.228
AT ITER 4121 NEW BEST:: SOT 49710 SOS 10223 HAS SOPS 10223 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6912.223
AT ITER 4123 NEW BEST:: SOT 49692 SOS 10205 HAS SOPS 10205 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6908.205
AT ITER 4154 NEW BEST:: SOT 49692 SOS 10205 HAS SOPS 10205 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6900.205
AT ITER 4157 NEW BEST:: SOT 49696 SOS 10226 HAS SOPS 10226 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6895.226
AT ITER 4223 NEW BEST:: SOT 49688 SOS 10189 HAS SOPS 10189 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6879.189
AT ITER 4240 NEW BEST:: SOT 49666 SOS 10154 HAS SOPS 10154 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6857.154
AT ITER 4279 NEW BEST:: SOT 49662 SOS 10135 HAS SOPS 10135 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6842.135
AT ITER 4283 NEW BEST:: SOT 49643 SOS 10101 HAS SOPS 10101 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6823.101
AT ITER 4308 NEW BEST:: SOT 49633 SOS 10091 HAS SOPS 10091 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6813.091
AT ITER 4329 NEW BEST:: SOT 49618 SOS 10080 HAS SOPS 10080 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6802.08
AT ITER 4344 NEW BEST:: SOT 49574 SOS 10265 HAS SOPS 10265 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.265
AT ITER 4358 NEW BEST:: SOT 49574 SOS 10261 HAS SOPS 10261 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.261
AT ITER 4370 NEW BEST:: SOT 49565 SOS 10252 HAS SOPS 10252 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.252
AT ITER 4429 NEW BEST:: SOT 49565 SOS 10245 HAS SOPS 10245 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.245
AT ITER 4433 NEW BEST:: SOT 49554 SOS 10239 HAS SOPS 10239 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6760.239
AT ITER 4468 NEW BEST:: SOT 49551 SOS 10225 HAS SOPS 10225 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6753.225
AT ITER 4470 NEW BEST:: SOT 49553 SOS 10222 HAS SOPS 10222 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6750.222
AT ITER 4498 NEW BEST:: SOT 49543 SOS 10215 HAS SOPS 10215 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6740.215
AT ITER 4553 NEW BEST:: SOT 49517 SOS 10187 HAS SOPS 10187 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6714.187
AT ITER 4562 NEW BEST:: SOT 49498 SOS 10149 HAS SOPS 10149 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6680.149
AT ITER 4588 NEW BEST:: SOT 49497 SOS 10147 HAS SOPS 10147 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6678.147
AT ITER 4639 NEW BEST:: SOT 49495 SOS 10145 HAS SOPS 10145 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6678.145
AT ITER 4640 NEW BEST:: SOT 49492 SOS 10142 HAS SOPS 10142 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6678.142
AT ITER 4641 NEW BEST:: SOT 49490 SOS 10140 HAS SOPS 10140 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6676.14
AT ITER 4661 NEW BEST:: SOT 49492 SOS 10129 HAS SOPS 10129 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6665.129
AT ITER 4698 NEW BEST:: SOT 49494 SOS 10125 HAS SOPS 10125 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6657.125
AT ITER 4726 NEW BEST:: SOT 49497 SOS 9993 HAS SOPS 9993 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6653.993
AT ITER 4728 NEW BEST:: SOT 49497 SOS 9988 HAS SOPS 9988 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6653.988
AT ITER 4734 NEW BEST:: SOT 49474 SOS 9942 HAS SOPS 9942 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6619.942
AT ITER 4752 NEW BEST:: SOT 49472 SOS 9938 HAS SOPS 9938 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6617.938
AT ITER 4774 NEW BEST:: SOT 49466 SOS 9930 HAS SOPS 9930 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6609.93
AT ITER 4781 NEW BEST:: SOT 49463 SOS 9924 HAS SOPS 9924 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6603.924
AT ITER 4793 NEW BEST:: SOT 49442 SOS 9903 HAS SOPS 9903 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6582.903
AT ITER 4796 NEW BEST:: SOT 49434 SOS 9862 HAS SOPS 9862 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6566.862
AT ITER 4805 NEW BEST:: SOT 49418 SOS 9830 HAS SOPS 9830 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6550.83
AT ITER 4814 NEW BEST:: SOT 49418 SOS 9830 HAS SOPS 9830 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6546.83
AT ITER 4823 NEW BEST:: SOT 49412 SOS 9818 HAS SOPS 9818 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6534.818
AT ITER 4836 NEW BEST:: SOT 49410 SOS 9816 HAS SOPS 9816 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6526.816
AT ITER 4843 NEW BEST:: SOT 49408 SOS 9812 HAS SOPS 9812 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6524.812
AT ITER 4995 NEW BEST:: SOT 49410 SOS 9816 HAS SOPS 9816 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6521.816
AT ITER 5001 NEW BEST:: SOT 49380 SOS 9773 HAS SOPS 9773 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6519.773
AT ITER 5004 NEW BEST:: SOT 49342 SOS 9735 HAS SOPS 9735 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6481.735
AT ITER 5084 NEW BEST:: SOT 49351 SOS 9740 HAS SOPS 9740 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6477.74
AT ITER 5102 NEW BEST:: SOT 49351 SOS 9733 HAS SOPS 9733 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6468.733
AT ITER 5145 NEW BEST:: SOT 49347 SOS 9731 HAS SOPS 9731 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6466.731
AT ITER 5208 NEW BEST:: SOT 49354 SOS 9685 HAS SOPS 9685 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6450.685
AT ITER 5216 NEW BEST:: SOT 49354 SOS 9680 HAS SOPS 9680 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6445.68
AT ITER 5243 NEW BEST:: SOT 49346 SOS 9712 HAS SOPS 9712 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6441.712
AT ITER 5250 NEW BEST:: SOT 49333 SOS 9699 HAS SOPS 9699 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6419.699
AT ITER 5295 NEW BEST:: SOT 49332 SOS 9698 HAS SOPS 9698 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6418.698
AT ITER 5303 NEW BEST:: SOT 49305 SOS 10046 HAS SOPS 10046 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6415.046
AT ITER 5321 NEW BEST:: SOT 49285 SOS 10025 HAS SOPS 10025 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6413.025
AT ITER 5341 NEW BEST:: SOT 49263 SOS 10002 HAS SOPS 10002 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6412.002
AT ITER 5493 NEW BEST:: SOT 49251 SOS 9822 HAS SOPS 9822 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6387.822
AT ITER 5519 NEW BEST:: SOT 49266 SOS 9837 HAS SOPS 9837 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6372.837
AT ITER 5528 NEW BEST:: SOT 49264 SOS 9833 HAS SOPS 9833 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6370.833
AT ITER 5552 NEW BEST:: SOT 49269 SOS 9802 HAS SOPS 9802 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6339.802
AT ITER 5567 NEW BEST:: SOT 49270 SOS 9800 HAS SOPS 9800 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6337.8
AT ITER 5585 NEW BEST:: SOT 49270 SOS 9738 HAS SOPS 9738 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6330.738
AT ITER 5606 NEW BEST:: SOT 49261 SOS 9729 HAS SOPS 9729 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6324.729
AT ITER 5623 NEW BEST:: SOT 49261 SOS 9726 HAS SOPS 9726 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6323.726
AT ITER 5626 NEW BEST:: SOT 49265 SOS 9717 HAS SOPS 9717 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6314.717
AT ITER 5635 NEW BEST:: SOT 49261 SOS 9731 HAS SOPS 9731 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6312.731
AT ITER 5673 NEW BEST:: SOT 49260 SOS 9730 HAS SOPS 9730 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6311.73
AT ITER 5688 NEW BEST:: SOT 49256 SOS 9718 HAS SOPS 9718 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6303.718
AT ITER 5691 NEW BEST:: SOT 49249 SOS 9704 HAS SOPS 9704 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6301.704
AT ITER 5710 NEW BEST:: SOT 49208 SOS 9622 HAS SOPS 9622 HAS SOUS 6235 HAS SOUPS 6235 WITH SCORE 6244.622
AT ITER 5713 NEW BEST:: SOT 49197 SOS 9600 HAS SOPS 9600 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6235.6
AT ITER 5736 NEW BEST:: SOT 49191 SOS 9594 HAS SOPS 9594 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6229.594
AT ITER 5753 NEW BEST:: SOT 49173 SOS 9558 HAS SOPS 9558 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6211.558
AT ITER 5772 NEW BEST:: SOT 49179 SOS 9570 HAS SOPS 9570 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6207.57
AT ITER 5826 NEW BEST:: SOT 49181 SOS 9549 HAS SOPS 9549 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6204.549
AT ITER 5839 NEW BEST:: SOT 49181 SOS 9537 HAS SOPS 9537 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6202.537
AT ITER 5846 NEW BEST:: SOT 49181 SOS 9531 HAS SOPS 9531 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6190.531
AT ITER 5907 NEW BEST:: SOT 49144 SOS 9915 HAS SOPS 9915 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6187.915
AT ITER 5938 NEW BEST:: SOT 49131 SOS 9889 HAS SOPS 9889 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6174.889
AT ITER 5954 NEW BEST:: SOT 49109 SOS 9889 HAS SOPS 9889 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6152.889
AT ITER 5998 NEW BEST:: SOT 49102 SOS 9876 HAS SOPS 9876 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6138.876
AT ITER 6006 NEW BEST:: SOT 49068 SOS 10029 HAS SOPS 10029 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6122.029
AT ITER 6090 NEW BEST:: SOT 49067 SOS 10027 HAS SOPS 10027 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6120.027
AT ITER 6118 NEW BEST:: SOT 49051 SOS 10013 HAS SOPS 10013 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6106.013
AT ITER 6127 NEW BEST:: SOT 49051 SOS 10013 HAS SOPS 10013 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6104.013
AT ITER 6196 NEW BEST:: SOT 49044 SOS 10011 HAS SOPS 10011 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6102.011
AT ITER 6269 NEW BEST:: SOT 49042 SOS 10011 HAS SOPS 10011 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6098.011
AT ITER 6301 NEW BEST:: SOT 48996 SOS 10007 HAS SOPS 10007 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6094.007
AT ITER 6385 NEW BEST:: SOT 49002 SOS 10013 HAS SOPS 10013 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6091.013
AT ITER 6431 NEW BEST:: SOT 49006 SOS 10021 HAS SOPS 10021 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6071.021
AT ITER 6470 NEW BEST:: SOT 49004 SOS 10019 HAS SOPS 10019 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6071.019
AT ITER 6594 NEW BEST:: SOT 49004 SOS 10019 HAS SOPS 10019 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6066.019
AT ITER 6625 NEW BEST:: SOT 49004 SOS 10001 HAS SOPS 10001 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6066.001
AT ITER 6626 NEW BEST:: SOT 49000 SOS 9993 HAS SOPS 9993 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6061.993
AT ITER 6716 NEW BEST:: SOT 48986 SOS 9977 HAS SOPS 9977 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6057.977
AT ITER 6717 NEW BEST:: SOT 48984 SOS 9973 HAS SOPS 9973 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6053.973
AT ITER 6792 NEW BEST:: SOT 48979 SOS 9963 HAS SOPS 9963 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6048.963
AT ITER 6880 NEW BEST:: SOT 48950 SOS 9932 HAS SOPS 9932 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6043.932
AT ITER 6896 NEW BEST:: SOT 48947 SOS 9872 HAS SOPS 9872 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6041.872
AT ITER 6902 NEW BEST:: SOT 48945 SOS 9870 HAS SOPS 9870 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6039.87
AT ITER 6911 NEW BEST:: SOT 48940 SOS 9860 HAS SOPS 9860 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6029.86
AT ITER 6947 NEW BEST:: SOT 48940 SOS 9860 HAS SOPS 9860 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6018.86
AT ITER 6966 NEW BEST:: SOT 48939 SOS 9857 HAS SOPS 9857 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6016.857
AT ITER 6979 NEW BEST:: SOT 48897 SOS 9815 HAS SOPS 9815 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5963.815
AT ITER 7070 NEW BEST:: SOT 48893 SOS 9811 HAS SOPS 9811 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5955.811
AT ITER 7089 NEW BEST:: SOT 48851 SOS 9769 HAS SOPS 9769 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5917.769
AT ITER 7105 NEW BEST:: SOT 48849 SOS 9760 HAS SOPS 9760 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5908.76
AT ITER 7139 NEW BEST:: SOT 48847 SOS 9756 HAS SOPS 9756 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5904.756
AT ITER 7159 NEW BEST:: SOT 48841 SOS 9754 HAS SOPS 9754 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5900.754
AT ITER 7169 NEW BEST:: SOT 48841 SOS 9750 HAS SOPS 9750 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5900.75
AT ITER 7293 NEW BEST:: SOT 48842 SOS 9773 HAS SOPS 9773 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5879.773
AT ITER 7308 NEW BEST:: SOT 48820 SOS 9757 HAS SOPS 9757 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5870.757
AT ITER 7316 NEW BEST:: SOT 48817 SOS 9751 HAS SOPS 9751 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5864.751
AT ITER 7328 NEW BEST:: SOT 48835 SOS 9769 HAS SOPS 9769 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5863.769
AT ITER 7392 NEW BEST:: SOT 48835 SOS 9748 HAS SOPS 9748 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5863.748
AT ITER 7409 NEW BEST:: SOT 48835 SOS 9748 HAS SOPS 9748 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5858.748
AT ITER 7415 NEW BEST:: SOT 48831 SOS 9710 HAS SOPS 9710 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5837.71
AT ITER 7484 NEW BEST:: SOT 48882 SOS 9753 HAS SOPS 9753 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5828.753
AT ITER 7501 NEW BEST:: SOT 48867 SOS 9738 HAS SOPS 9738 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5813.738
AT ITER 7571 NEW BEST:: SOT 48853 SOS 9717 HAS SOPS 9717 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5799.717
AT ITER 7633 NEW BEST:: SOT 48853 SOS 9669 HAS SOPS 9669 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5799.669
AT ITER 7714 NEW BEST:: SOT 48840 SOS 9727 HAS SOPS 9727 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5791.727
AT ITER 7773 NEW BEST:: SOT 48832 SOS 9719 HAS SOPS 9719 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5783.719
AT ITER 7805 NEW BEST:: SOT 48791 SOS 9637 HAS SOPS 9637 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5749.637
AT ITER 7855 NEW BEST:: SOT 48787 SOS 9633 HAS SOPS 9633 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5747.633
AT ITER 7871 NEW BEST:: SOT 48790 SOS 9636 HAS SOPS 9636 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5745.636
AT ITER 7907 NEW BEST:: SOT 48777 SOS 9629 HAS SOPS 9629 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5738.629
AT ITER 7920 NEW BEST:: SOT 48774 SOS 9617 HAS SOPS 9617 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5732.617
AT ITER 7953 NEW BEST:: SOT 48774 SOS 9617 HAS SOPS 9617 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5730.617
AT ITER 7969 NEW BEST:: SOT 48771 SOS 9611 HAS SOPS 9611 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5724.611
AT ITER 7977 NEW BEST:: SOT 48762 SOS 9593 HAS SOPS 9593 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5716.593
AT ITER 8009 NEW BEST:: SOT 48746 SOS 9561 HAS SOPS 9561 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5706.561
AT ITER 8037 NEW BEST:: SOT 48759 SOS 9587 HAS SOPS 9587 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5703.587
AT ITER 8044 NEW BEST:: SOT 48759 SOS 9587 HAS SOPS 9587 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5702.587
AT ITER 8057 NEW BEST:: SOT 48743 SOS 9546 HAS SOPS 9546 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5679.546
AT ITER 8113 NEW BEST:: SOT 48722 SOS 9522 HAS SOPS 9522 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5671.522
AT ITER 8147 NEW BEST:: SOT 48722 SOS 9509 HAS SOPS 9509 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5671.509
AT ITER 8176 NEW BEST:: SOT 48714 SOS 9493 HAS SOPS 9493 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5671.493
AT ITER 8179 NEW BEST:: SOT 48704 SOS 9473 HAS SOPS 9473 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5663.473
AT ITER 8240 NEW BEST:: SOT 48633 SOS 9369 HAS SOPS 9369 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5655.369
AT ITER 8280 NEW BEST:: SOT 48635 SOS 9372 HAS SOPS 9372 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5654.372
AT ITER 8319 NEW BEST:: SOT 48628 SOS 9376 HAS SOPS 9376 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5649.376
AT ITER 8367 NEW BEST:: SOT 48623 SOS 9363 HAS SOPS 9363 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5636.363
AT ITER 8384 NEW BEST:: SOT 48639 SOS 9395 HAS SOPS 9395 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5632.395
AT ITER 8410 NEW BEST:: SOT 48638 SOS 9393 HAS SOPS 9393 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5630.393
AT ITER 8466 NEW BEST:: SOT 48633 SOS 9383 HAS SOPS 9383 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5625.383
AT ITER 8476 NEW BEST:: SOT 48630 SOS 9377 HAS SOPS 9377 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5619.377
AT ITER 8517 NEW BEST:: SOT 48628 SOS 9373 HAS SOPS 9373 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5615.373
AT ITER 8540 NEW BEST:: SOT 48626 SOS 9371 HAS SOPS 9371 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5613.371
AT ITER 8618 NEW BEST:: SOT 48622 SOS 9367 HAS SOPS 9367 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5609.367
AT ITER 8629 NEW BEST:: SOT 48617 SOS 9362 HAS SOPS 9362 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5604.362
AT ITER 8687 NEW BEST:: SOT 48614 SOS 9351 HAS SOPS 9351 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5601.351
AT ITER 8740 NEW BEST:: SOT 48624 SOS 9354 HAS SOPS 9354 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5599.354
AT ITER 8803 NEW BEST:: SOT 48619 SOS 9347 HAS SOPS 9347 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5592.347
AT ITER 8811 NEW BEST:: SOT 48575 SOS 9259 HAS SOPS 9259 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5554.259
AT ITER 8817 NEW BEST:: SOT 48575 SOS 9249 HAS SOPS 9249 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5554.249
AT ITER 8846 NEW BEST:: SOT 48570 SOS 9234 HAS SOPS 9234 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5546.234
AT ITER 8851 NEW BEST:: SOT 48570 SOS 9179 HAS SOPS 9179 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5545.179
AT ITER 8854 NEW BEST:: SOT 48574 SOS 9183 HAS SOPS 9183 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5544.183
AT ITER 8934 NEW BEST:: SOT 48574 SOS 9212 HAS SOPS 9212 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5535.212
AT ITER 8961 NEW BEST:: SOT 48575 SOS 9214 HAS SOPS 9214 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5532.214
AT ITER 9104 NEW BEST:: SOT 48566 SOS 9205 HAS SOPS 9205 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5532.205
AT ITER 9139 NEW BEST:: SOT 48566 SOS 9205 HAS SOPS 9205 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5522.205
AT ITER 9207 NEW BEST:: SOT 48567 SOS 9206 HAS SOPS 9206 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5517.206
AT ITER 9209 NEW BEST:: SOT 48568 SOS 9206 HAS SOPS 9206 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5515.206
AT ITER 9230 NEW BEST:: SOT 48559 SOS 9188 HAS SOPS 9188 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5506.188
AT ITER 9281 NEW BEST:: SOT 48555 SOS 9175 HAS SOPS 9175 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5493.175
AT ITER 9293 NEW BEST:: SOT 48554 SOS 9174 HAS SOPS 9174 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5492.174
AT ITER 9307 NEW BEST:: SOT 48555 SOS 9175 HAS SOPS 9175 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5491.175
AT ITER 9384 NEW BEST:: SOT 48537 SOS 9157 HAS SOPS 9157 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5473.157
AT ITER 9411 NEW BEST:: SOT 48527 SOS 9147 HAS SOPS 9147 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5466.147
AT ITER 9417 NEW BEST:: SOT 48527 SOS 9145 HAS SOPS 9145 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5464.145
AT ITER 9420 NEW BEST:: SOT 48524 SOS 9142 HAS SOPS 9142 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5461.142
AT ITER 9421 NEW BEST:: SOT 48521 SOS 9136 HAS SOPS 9136 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5455.136
AT ITER 9441 NEW BEST:: SOT 48531 SOS 9144 HAS SOPS 9144 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5453.144
AT ITER 9443 NEW BEST:: SOT 48528 SOS 9141 HAS SOPS 9141 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5450.141
AT ITER 9541 NEW BEST:: SOT 48521 SOS 9134 HAS SOPS 9134 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5450.134
AT ITER 9585 NEW BEST:: SOT 48520 SOS 9132 HAS SOPS 9132 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5448.132
AT ITER 9591 NEW BEST:: SOT 48509 SOS 9110 HAS SOPS 9110 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5448.11
AT ITER 9664 NEW BEST:: SOT 48512 SOS 9101 HAS SOPS 9101 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5439.101
AT ITER 9674 NEW BEST:: SOT 48508 SOS 9096 HAS SOPS 9096 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5437.096
AT ITER 9736 NEW BEST:: SOT 48470 SOS 9058 HAS SOPS 9058 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5437.058
AT ITER 9780 NEW BEST:: SOT 48466 SOS 9072 HAS SOPS 9072 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5435.072
AT ITER 9817 NEW BEST:: SOT 48466 SOS 9071 HAS SOPS 9071 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5435.071
AT ITER 9833 NEW BEST:: SOT 48451 SOS 9056 HAS SOPS 9056 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5418.056
AT ITER 9864 NEW BEST:: SOT 48449 SOS 9052 HAS SOPS 9052 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5414.052
AT ITER 9967 NEW BEST:: SOT 48431 SOS 9016 HAS SOPS 9016 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5414.016
STATE_SPACE STATES 1910415931440 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 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 17954195498389 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590469868063

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

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