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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.9K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K 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 17K 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.2K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 92K 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 1590469772979

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

Filename model.pnml
Petri model created: 385 places, 407 transitions, 935 arcs.
AT ITER 0 NEW BEST:: SOT 93821 SOS 23023 HAS SOPS 23023 HAS SOUS 22378 HAS SOUPS 22378 WITH SCORE 22401.023
AT ITER 53 NEW BEST:: SOT 93735 SOS 22937 HAS SOPS 22937 HAS SOUS 22292 HAS SOUPS 22292 WITH SCORE 22314.937
AT ITER 60 NEW BEST:: SOT 93703 SOS 22873 HAS SOPS 22873 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22250.873
AT ITER 77 NEW BEST:: SOT 93694 SOS 22855 HAS SOPS 22855 HAS SOUS 22210 HAS SOUPS 22210 WITH SCORE 22232.855
AT ITER 90 NEW BEST:: SOT 93686 SOS 22839 HAS SOPS 22839 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22216.839
AT ITER 95 NEW BEST:: SOT 93702 SOS 22807 HAS SOPS 22807 HAS SOUS 22162 HAS SOUPS 22162 WITH SCORE 22184.807
AT ITER 101 NEW BEST:: SOT 93712 SOS 22792 HAS SOPS 22792 HAS SOUS 22147 HAS SOUPS 22147 WITH SCORE 22169.792
AT ITER 110 NEW BEST:: SOT 93689 SOS 22746 HAS SOPS 22746 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22116.746
AT ITER 123 NEW BEST:: SOT 93200 SOS 25067 HAS SOPS 25067 HAS SOUS 21975 HAS SOUPS 21975 WITH SCORE 22000.067
AT ITER 128 NEW BEST:: SOT 93196 SOS 25063 HAS SOPS 25063 HAS SOUS 21971 HAS SOUPS 21971 WITH SCORE 21996.063
AT ITER 135 NEW BEST:: SOT 93182 SOS 25024 HAS SOPS 25024 HAS SOUS 21932 HAS SOUPS 21932 WITH SCORE 21957.024
AT ITER 152 NEW BEST:: SOT 92541 SOS 26579 HAS SOPS 26579 HAS SOUS 21365 HAS SOUPS 21365 WITH SCORE 21391.579
AT ITER 155 NEW BEST:: SOT 92511 SOS 26549 HAS SOPS 26549 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21361.549
AT ITER 168 NEW BEST:: SOT 92443 SOS 26436 HAS SOPS 26436 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21282.436
AT ITER 173 NEW BEST:: SOT 92442 SOS 26434 HAS SOPS 26434 HAS SOUS 21254 HAS SOUPS 21254 WITH SCORE 21280.434
AT ITER 174 NEW BEST:: SOT 92449 SOS 26408 HAS SOPS 26408 HAS SOUS 21253 HAS SOUPS 21253 WITH SCORE 21279.408
AT ITER 177 NEW BEST:: SOT 92433 SOS 26376 HAS SOPS 26376 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21247.376
AT ITER 185 NEW BEST:: SOT 92423 SOS 26366 HAS SOPS 26366 HAS SOUS 21211 HAS SOUPS 21211 WITH SCORE 21237.366
AT ITER 186 NEW BEST:: SOT 92202 SOS 26094 HAS SOPS 26094 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20965.094
AT ITER 191 NEW BEST:: SOT 91689 SOS 26660 HAS SOPS 26660 HAS SOUS 20597 HAS SOUPS 20597 WITH SCORE 20623.66
AT ITER 210 NEW BEST:: SOT 91634 SOS 26482 HAS SOPS 26482 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20588.482
AT ITER 226 NEW BEST:: SOT 91558 SOS 25028 HAS SOPS 25028 HAS SOUS 20410 HAS SOUPS 20410 WITH SCORE 20435.028
AT ITER 231 NEW BEST:: SOT 90457 SOS 26764 HAS SOPS 26764 HAS SOUS 19473 HAS SOUPS 19473 WITH SCORE 19499.764
AT ITER 237 NEW BEST:: SOT 90457 SOS 26713 HAS SOPS 26713 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19485.713
AT ITER 239 NEW BEST:: SOT 90450 SOS 26692 HAS SOPS 26692 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19464.692
AT ITER 249 NEW BEST:: SOT 90412 SOS 26616 HAS SOPS 26616 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19431.616
AT ITER 260 NEW BEST:: SOT 90302 SOS 26396 HAS SOPS 26396 HAS SOUS 19295 HAS SOUPS 19295 WITH SCORE 19321.396
AT ITER 268 NEW BEST:: SOT 90245 SOS 26272 HAS SOPS 26272 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19266.272
AT ITER 280 NEW BEST:: SOT 90230 SOS 26242 HAS SOPS 26242 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19236.242
AT ITER 291 NEW BEST:: SOT 90212 SOS 26206 HAS SOPS 26206 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19218.206
AT ITER 294 NEW BEST:: SOT 90138 SOS 26058 HAS SOPS 26058 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19213.058
AT ITER 301 NEW BEST:: SOT 90120 SOS 26040 HAS SOPS 26040 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19195.04
AT ITER 306 NEW BEST:: SOT 90112 SOS 26024 HAS SOPS 26024 HAS SOUS 19161 HAS SOUPS 19161 WITH SCORE 19187.024
AT ITER 329 NEW BEST:: SOT 90104 SOS 25948 HAS SOPS 25948 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19168.948
AT ITER 334 NEW BEST:: SOT 90104 SOS 25919 HAS SOPS 25919 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19139.919
AT ITER 338 NEW BEST:: SOT 90085 SOS 25197 HAS SOPS 25197 HAS SOUS 19057 HAS SOUPS 19057 WITH SCORE 19082.197
AT ITER 346 NEW BEST:: SOT 90090 SOS 25171 HAS SOPS 25171 HAS SOUS 19031 HAS SOUPS 19031 WITH SCORE 19056.171
AT ITER 363 NEW BEST:: SOT 90023 SOS 25000 HAS SOPS 25000 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18896.0
AT ITER 367 NEW BEST:: SOT 90023 SOS 24998 HAS SOPS 24998 HAS SOUS 18869 HAS SOUPS 18869 WITH SCORE 18893.998
AT ITER 370 NEW BEST:: SOT 89893 SOS 24836 HAS SOPS 24836 HAS SOUS 18707 HAS SOUPS 18707 WITH SCORE 18731.836
AT ITER 373 NEW BEST:: SOT 89893 SOS 24776 HAS SOPS 24776 HAS SOUS 18707 HAS SOUPS 18707 WITH SCORE 18731.776
AT ITER 389 NEW BEST:: SOT 89844 SOS 24678 HAS SOPS 24678 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18671.678
AT ITER 394 NEW BEST:: SOT 89839 SOS 24695 HAS SOPS 24695 HAS SOUS 18642 HAS SOUPS 18642 WITH SCORE 18666.695
AT ITER 395 NEW BEST:: SOT 89809 SOS 24665 HAS SOPS 24665 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18636.665
AT ITER 399 NEW BEST:: SOT 89772 SOS 24627 HAS SOPS 24627 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18598.627
AT ITER 413 NEW BEST:: SOT 89763 SOS 24609 HAS SOPS 24609 HAS SOUS 18565 HAS SOUPS 18565 WITH SCORE 18589.609
AT ITER 415 NEW BEST:: SOT 89749 SOS 24595 HAS SOPS 24595 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18575.595
AT ITER 437 NEW BEST:: SOT 89749 SOS 24520 HAS SOPS 24520 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18575.52
AT ITER 469 NEW BEST:: SOT 89633 SOS 24402 HAS SOPS 24402 HAS SOUS 18492 HAS SOUPS 18492 WITH SCORE 18516.402
AT ITER 472 NEW BEST:: SOT 89623 SOS 24392 HAS SOPS 24392 HAS SOUS 18482 HAS SOUPS 18482 WITH SCORE 18506.392
AT ITER 476 NEW BEST:: SOT 89184 SOS 25572 HAS SOPS 25572 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18260.572
AT ITER 487 NEW BEST:: SOT 89101 SOS 25488 HAS SOPS 25488 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18177.488
AT ITER 504 NEW BEST:: SOT 89063 SOS 25368 HAS SOPS 25368 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18084.368
AT ITER 510 NEW BEST:: SOT 89094 SOS 25366 HAS SOPS 25366 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18049.366
AT ITER 531 NEW BEST:: SOT 88993 SOS 25168 HAS SOPS 25168 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17949.168
AT ITER 541 NEW BEST:: SOT 88969 SOS 25144 HAS SOPS 25144 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17949.144
AT ITER 546 NEW BEST:: SOT 88977 SOS 25087 HAS SOPS 25087 HAS SOUS 17881 HAS SOUPS 17881 WITH SCORE 17906.087
AT ITER 551 NEW BEST:: SOT 88906 SOS 24945 HAS SOPS 24945 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17834.945
AT ITER 554 NEW BEST:: SOT 88874 SOS 24913 HAS SOPS 24913 HAS SOUS 17778 HAS SOUPS 17778 WITH SCORE 17802.913
AT ITER 555 NEW BEST:: SOT 88868 SOS 24901 HAS SOPS 24901 HAS SOUS 17766 HAS SOUPS 17766 WITH SCORE 17790.901
AT ITER 560 NEW BEST:: SOT 88855 SOS 24875 HAS SOPS 24875 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17764.875
AT ITER 571 NEW BEST:: SOT 88756 SOS 24809 HAS SOPS 24809 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17676.809
AT ITER 575 NEW BEST:: SOT 88645 SOS 24701 HAS SOPS 24701 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17629.701
AT ITER 592 NEW BEST:: SOT 88376 SOS 24740 HAS SOPS 24740 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17455.74
AT ITER 604 NEW BEST:: SOT 88376 SOS 24646 HAS SOPS 24646 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17397.646
AT ITER 627 NEW BEST:: SOT 88342 SOS 24578 HAS SOPS 24578 HAS SOUS 17305 HAS SOUPS 17305 WITH SCORE 17329.578
AT ITER 647 NEW BEST:: SOT 88338 SOS 24562 HAS SOPS 24562 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17324.562
AT ITER 657 NEW BEST:: SOT 88054 SOS 24365 HAS SOPS 24365 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17083.365
AT ITER 673 NEW BEST:: SOT 88051 SOS 24362 HAS SOPS 24362 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17080.362
AT ITER 680 NEW BEST:: SOT 88040 SOS 24351 HAS SOPS 24351 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17069.351
AT ITER 700 NEW BEST:: SOT 88046 SOS 24285 HAS SOPS 24285 HAS SOUS 16975 HAS SOUPS 16975 WITH SCORE 16999.285
AT ITER 704 NEW BEST:: SOT 88034 SOS 24261 HAS SOPS 24261 HAS SOUS 16922 HAS SOUPS 16922 WITH SCORE 16946.261
AT ITER 710 NEW BEST:: SOT 88048 SOS 24219 HAS SOPS 24219 HAS SOUS 16896 HAS SOUPS 16896 WITH SCORE 16920.219
AT ITER 720 NEW BEST:: SOT 88061 SOS 24199 HAS SOPS 24199 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16900.199
AT ITER 723 NEW BEST:: SOT 88022 SOS 24142 HAS SOPS 24142 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16840.142
AT ITER 726 NEW BEST:: SOT 88017 SOS 24137 HAS SOPS 24137 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16835.137
AT ITER 753 NEW BEST:: SOT 87971 SOS 24045 HAS SOPS 24045 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16789.045
AT ITER 792 NEW BEST:: SOT 87982 SOS 24021 HAS SOPS 24021 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16765.021
AT ITER 802 NEW BEST:: SOT 87954 SOS 23965 HAS SOPS 23965 HAS SOUS 16685 HAS SOUPS 16685 WITH SCORE 16708.965
AT ITER 807 NEW BEST:: SOT 87941 SOS 23914 HAS SOPS 23914 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16707.914
AT ITER 814 NEW BEST:: SOT 87982 SOS 23955 HAS SOPS 23955 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16691.955
AT ITER 815 NEW BEST:: SOT 87903 SOS 23797 HAS SOPS 23797 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16612.797
AT ITER 819 NEW BEST:: SOT 87835 SOS 24593 HAS SOPS 24593 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16588.593
AT ITER 820 NEW BEST:: SOT 87835 SOS 24593 HAS SOPS 24593 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16584.593
AT ITER 845 NEW BEST:: SOT 87834 SOS 24592 HAS SOPS 24592 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16583.592
AT ITER 852 NEW BEST:: SOT 87833 SOS 24559 HAS SOPS 24559 HAS SOUS 16552 HAS SOUPS 16552 WITH SCORE 16576.559
AT ITER 856 NEW BEST:: SOT 87833 SOS 24559 HAS SOPS 24559 HAS SOUS 16526 HAS SOUPS 16526 WITH SCORE 16550.559
AT ITER 867 NEW BEST:: SOT 87833 SOS 24559 HAS SOPS 24559 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16514.559
AT ITER 871 NEW BEST:: SOT 87837 SOS 24563 HAS SOPS 24563 HAS SOUS 16481 HAS SOUPS 16481 WITH SCORE 16505.563
AT ITER 880 NEW BEST:: SOT 87687 SOS 24380 HAS SOPS 24380 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16451.38
AT ITER 888 NEW BEST:: SOT 87687 SOS 24380 HAS SOPS 24380 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16450.38
AT ITER 896 NEW BEST:: SOT 87682 SOS 24370 HAS SOPS 24370 HAS SOUS 16410 HAS SOUPS 16410 WITH SCORE 16434.37
AT ITER 908 NEW BEST:: SOT 87666 SOS 24338 HAS SOPS 24338 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16402.338
AT ITER 918 NEW BEST:: SOT 87678 SOS 24288 HAS SOPS 24288 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16376.288
AT ITER 924 NEW BEST:: SOT 87678 SOS 24288 HAS SOPS 24288 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16363.288
AT ITER 927 NEW BEST:: SOT 87371 SOS 25775 HAS SOPS 25775 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16250.775
AT ITER 931 NEW BEST:: SOT 87371 SOS 25772 HAS SOPS 25772 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16247.772
AT ITER 940 NEW BEST:: SOT 87355 SOS 25740 HAS SOPS 25740 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16231.74
AT ITER 943 NEW BEST:: SOT 87344 SOS 25702 HAS SOPS 25702 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16193.702
AT ITER 951 NEW BEST:: SOT 87276 SOS 25566 HAS SOPS 25566 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16088.566
AT ITER 953 NEW BEST:: SOT 87285 SOS 25566 HAS SOPS 25566 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16070.566
AT ITER 981 NEW BEST:: SOT 87280 SOS 25551 HAS SOPS 25551 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16060.551
AT ITER 987 NEW BEST:: SOT 87259 SOS 25572 HAS SOPS 25572 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16057.572
AT ITER 1008 NEW BEST:: SOT 87227 SOS 25480 HAS SOPS 25480 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 15996.48
AT ITER 1029 NEW BEST:: SOT 87226 SOS 25479 HAS SOPS 25479 HAS SOUS 15970 HAS SOUPS 15970 WITH SCORE 15995.479
AT ITER 1045 NEW BEST:: SOT 87095 SOS 25217 HAS SOPS 25217 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15926.217
AT ITER 1054 NEW BEST:: SOT 87437 SOS 25317 HAS SOPS 25317 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15886.317
AT ITER 1096 NEW BEST:: SOT 87429 SOS 25301 HAS SOPS 25301 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15870.301
AT ITER 1100 NEW BEST:: SOT 87320 SOS 25083 HAS SOPS 25083 HAS SOUS 15716 HAS SOUPS 15716 WITH SCORE 15741.083
AT ITER 1124 NEW BEST:: SOT 87317 SOS 25080 HAS SOPS 25080 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15738.08
AT ITER 1132 NEW BEST:: SOT 87313 SOS 25076 HAS SOPS 25076 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15734.076
AT ITER 1154 NEW BEST:: SOT 87225 SOS 24916 HAS SOPS 24916 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15573.916
AT ITER 1160 NEW BEST:: SOT 87211 SOS 24907 HAS SOPS 24907 HAS SOUS 15535 HAS SOUPS 15535 WITH SCORE 15559.907
AT ITER 1169 NEW BEST:: SOT 87065 SOS 24805 HAS SOPS 24805 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15427.805
AT ITER 1180 NEW BEST:: SOT 87053 SOS 24793 HAS SOPS 24793 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15403.793
AT ITER 1181 NEW BEST:: SOT 87014 SOS 24565 HAS SOPS 24565 HAS SOUS 15265 HAS SOUPS 15265 WITH SCORE 15289.565
AT ITER 1185 NEW BEST:: SOT 87014 SOS 24530 HAS SOPS 24530 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15269.53
AT ITER 1187 NEW BEST:: SOT 86789 SOS 24230 HAS SOPS 24230 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15062.23
AT ITER 1207 NEW BEST:: SOT 86804 SOS 24215 HAS SOPS 24215 HAS SOUS 15023 HAS SOUPS 15023 WITH SCORE 15047.215
AT ITER 1219 NEW BEST:: SOT 86847 SOS 24185 HAS SOPS 24185 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15022.185
AT ITER 1232 NEW BEST:: SOT 86827 SOS 24165 HAS SOPS 24165 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15013.165
AT ITER 1242 NEW BEST:: SOT 86736 SOS 23983 HAS SOPS 23983 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15008.983
AT ITER 1270 NEW BEST:: SOT 86735 SOS 23982 HAS SOPS 23982 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15007.982
AT ITER 1274 NEW BEST:: SOT 86715 SOS 23962 HAS SOPS 23962 HAS SOUS 14964 HAS SOUPS 14964 WITH SCORE 14987.962
AT ITER 1290 NEW BEST:: SOT 86714 SOS 23960 HAS SOPS 23960 HAS SOUS 14962 HAS SOUPS 14962 WITH SCORE 14985.96
AT ITER 1304 NEW BEST:: SOT 86588 SOS 23908 HAS SOPS 23908 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14933.908
AT ITER 1316 NEW BEST:: SOT 86576 SOS 23900 HAS SOPS 23900 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14925.9
AT ITER 1332 NEW BEST:: SOT 86475 SOS 23720 HAS SOPS 23720 HAS SOUS 14801 HAS SOUPS 14801 WITH SCORE 14824.72
AT ITER 1338 NEW BEST:: SOT 86475 SOS 23720 HAS SOPS 23720 HAS SOUS 14798 HAS SOUPS 14798 WITH SCORE 14821.72
AT ITER 1342 NEW BEST:: SOT 86475 SOS 23664 HAS SOPS 23664 HAS SOUS 14742 HAS SOUPS 14742 WITH SCORE 14765.664
AT ITER 1348 NEW BEST:: SOT 86437 SOS 23593 HAS SOPS 23593 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14732.593
AT ITER 1360 NEW BEST:: SOT 86407 SOS 23563 HAS SOPS 23563 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14701.563
AT ITER 1363 NEW BEST:: SOT 86416 SOS 23581 HAS SOPS 23581 HAS SOUS 14642 HAS SOUPS 14642 WITH SCORE 14665.581
AT ITER 1385 NEW BEST:: SOT 86409 SOS 23574 HAS SOPS 23574 HAS SOUS 14635 HAS SOUPS 14635 WITH SCORE 14658.574
AT ITER 1386 NEW BEST:: SOT 86388 SOS 23532 HAS SOPS 23532 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14616.532
AT ITER 1402 NEW BEST:: SOT 86376 SOS 23512 HAS SOPS 23512 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14599.512
AT ITER 1409 NEW BEST:: SOT 86196 SOS 23152 HAS SOPS 23152 HAS SOUS 14319 HAS SOUPS 14319 WITH SCORE 14342.152
AT ITER 1421 NEW BEST:: SOT 86154 SOS 23110 HAS SOPS 23110 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14336.11
AT ITER 1435 NEW BEST:: SOT 86219 SOS 23240 HAS SOPS 23240 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14312.24
AT ITER 1439 NEW BEST:: SOT 86218 SOS 23239 HAS SOPS 23239 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14312.239
AT ITER 1452 NEW BEST:: SOT 86136 SOS 23075 HAS SOPS 23075 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14220.075
AT ITER 1467 NEW BEST:: SOT 86079 SOS 23178 HAS SOPS 23178 HAS SOUS 14156 HAS SOUPS 14156 WITH SCORE 14179.178
AT ITER 1495 NEW BEST:: SOT 86042 SOS 23199 HAS SOPS 23199 HAS SOUS 14118 HAS SOUPS 14118 WITH SCORE 14141.199
AT ITER 1503 NEW BEST:: SOT 86042 SOS 23200 HAS SOPS 23200 HAS SOUS 14117 HAS SOUPS 14117 WITH SCORE 14140.2
AT ITER 1506 NEW BEST:: SOT 86027 SOS 23127 HAS SOPS 23127 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14125.127
AT ITER 1511 NEW BEST:: SOT 86023 SOS 23123 HAS SOPS 23123 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14121.123
AT ITER 1520 NEW BEST:: SOT 85999 SOS 23099 HAS SOPS 23099 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14121.099
AT ITER 1555 NEW BEST:: SOT 85965 SOS 23031 HAS SOPS 23031 HAS SOUS 14030 HAS SOUPS 14030 WITH SCORE 14053.031
AT ITER 1597 NEW BEST:: SOT 85840 SOS 22960 HAS SOPS 22960 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14039.96
AT ITER 1599 NEW BEST:: SOT 85835 SOS 22957 HAS SOPS 22957 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14036.957
AT ITER 1607 NEW BEST:: SOT 85897 SOS 22759 HAS SOPS 22759 HAS SOUS 13992 HAS SOUPS 13992 WITH SCORE 14014.759
AT ITER 1634 NEW BEST:: SOT 85852 SOS 22714 HAS SOPS 22714 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14011.714
AT ITER 1645 NEW BEST:: SOT 85678 SOS 22417 HAS SOPS 22417 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13877.417
AT ITER 1655 NEW BEST:: SOT 85688 SOS 22377 HAS SOPS 22377 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13874.377
AT ITER 1656 NEW BEST:: SOT 85675 SOS 22351 HAS SOPS 22351 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13861.351
AT ITER 1678 NEW BEST:: SOT 85669 SOS 22345 HAS SOPS 22345 HAS SOUS 13830 HAS SOUPS 13830 WITH SCORE 13852.345
AT ITER 1690 NEW BEST:: SOT 85660 SOS 22327 HAS SOPS 22327 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13834.327
AT ITER 1698 NEW BEST:: SOT 85657 SOS 22310 HAS SOPS 22310 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13819.31
AT ITER 1730 NEW BEST:: SOT 85642 SOS 22295 HAS SOPS 22295 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13804.295
AT ITER 1787 NEW BEST:: SOT 85626 SOS 22279 HAS SOPS 22279 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13788.279
AT ITER 1788 NEW BEST:: SOT 85606 SOS 22239 HAS SOPS 22239 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13748.239
AT ITER 1811 NEW BEST:: SOT 85594 SOS 22241 HAS SOPS 22241 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13747.241
AT ITER 1821 NEW BEST:: SOT 85591 SOS 22238 HAS SOPS 22238 HAS SOUS 13711 HAS SOUPS 13711 WITH SCORE 13733.238
AT ITER 1876 NEW BEST:: SOT 85525 SOS 22146 HAS SOPS 22146 HAS SOUS 13645 HAS SOUPS 13645 WITH SCORE 13667.146
AT ITER 1891 NEW BEST:: SOT 85516 SOS 22129 HAS SOPS 22129 HAS SOUS 13637 HAS SOUPS 13637 WITH SCORE 13659.129
AT ITER 1896 NEW BEST:: SOT 85483 SOS 21998 HAS SOPS 21998 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13615.998
AT ITER 1900 NEW BEST:: SOT 85483 SOS 21998 HAS SOPS 21998 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13608.998
AT ITER 1917 NEW BEST:: SOT 85454 SOS 21969 HAS SOPS 21969 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13579.969
AT ITER 1920 NEW BEST:: SOT 85452 SOS 21967 HAS SOPS 21967 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13577.967
AT ITER 1922 NEW BEST:: SOT 85367 SOS 21838 HAS SOPS 21838 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13495.838
AT ITER 1953 NEW BEST:: SOT 85341 SOS 21823 HAS SOPS 21823 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13480.823
AT ITER 1982 NEW BEST:: SOT 85341 SOS 21787 HAS SOPS 21787 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13480.787
AT ITER 1989 NEW BEST:: SOT 85294 SOS 21740 HAS SOPS 21740 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13433.74
AT ITER 2003 NEW BEST:: SOT 85233 SOS 21659 HAS SOPS 21659 HAS SOUS 13372 HAS SOUPS 13372 WITH SCORE 13393.659
AT ITER 2027 NEW BEST:: SOT 85231 SOS 21731 HAS SOPS 21731 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13391.731
AT ITER 2038 NEW BEST:: SOT 85194 SOS 21694 HAS SOPS 21694 HAS SOUS 13333 HAS SOUPS 13333 WITH SCORE 13354.694
AT ITER 2079 NEW BEST:: SOT 85198 SOS 21683 HAS SOPS 21683 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13343.683
AT ITER 2083 NEW BEST:: SOT 85193 SOS 21673 HAS SOPS 21673 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13329.673
AT ITER 2128 NEW BEST:: SOT 85191 SOS 21682 HAS SOPS 21682 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13312.682
AT ITER 2143 NEW BEST:: SOT 85191 SOS 21667 HAS SOPS 21667 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13297.667
AT ITER 2167 NEW BEST:: SOT 85180 SOS 21656 HAS SOPS 21656 HAS SOUS 13265 HAS SOUPS 13265 WITH SCORE 13286.656
AT ITER 2219 NEW BEST:: SOT 85166 SOS 21628 HAS SOPS 21628 HAS SOUS 13237 HAS SOUPS 13237 WITH SCORE 13258.628
AT ITER 2226 NEW BEST:: SOT 85066 SOS 21451 HAS SOPS 21451 HAS SOUS 13160 HAS SOUPS 13160 WITH SCORE 13181.451
AT ITER 2250 NEW BEST:: SOT 85046 SOS 21431 HAS SOPS 21431 HAS SOUS 13160 HAS SOUPS 13160 WITH SCORE 13181.431
AT ITER 2253 NEW BEST:: SOT 84984 SOS 21307 HAS SOPS 21307 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13072.307
AT ITER 2288 NEW BEST:: SOT 84983 SOS 21288 HAS SOPS 21288 HAS SOUS 13047 HAS SOUPS 13047 WITH SCORE 13068.288
AT ITER 2311 NEW BEST:: SOT 84975 SOS 21272 HAS SOPS 21272 HAS SOUS 13031 HAS SOUPS 13031 WITH SCORE 13052.272
AT ITER 2321 NEW BEST:: SOT 84975 SOS 21271 HAS SOPS 21271 HAS SOUS 13030 HAS SOUPS 13030 WITH SCORE 13051.271
AT ITER 2332 NEW BEST:: SOT 84932 SOS 21230 HAS SOPS 21230 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 13005.23
AT ITER 2337 NEW BEST:: SOT 84926 SOS 21260 HAS SOPS 21260 HAS SOUS 12978 HAS SOUPS 12978 WITH SCORE 12999.26
AT ITER 2343 NEW BEST:: SOT 84926 SOS 21256 HAS SOPS 21256 HAS SOUS 12978 HAS SOUPS 12978 WITH SCORE 12999.256
AT ITER 2352 NEW BEST:: SOT 84879 SOS 21209 HAS SOPS 21209 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12978.209
AT ITER 2361 NEW BEST:: SOT 84746 SOS 21144 HAS SOPS 21144 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12972.144
AT ITER 2372 NEW BEST:: SOT 84707 SOS 21105 HAS SOPS 21105 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12958.105
AT ITER 2378 NEW BEST:: SOT 84707 SOS 21101 HAS SOPS 21101 HAS SOUS 12933 HAS SOUPS 12933 WITH SCORE 12954.101
AT ITER 2388 NEW BEST:: SOT 84707 SOS 21098 HAS SOPS 21098 HAS SOUS 12930 HAS SOUPS 12930 WITH SCORE 12951.098
AT ITER 2389 NEW BEST:: SOT 84711 SOS 21139 HAS SOPS 21139 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12913.139
AT ITER 2397 NEW BEST:: SOT 84678 SOS 21073 HAS SOPS 21073 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12903.073
AT ITER 2420 NEW BEST:: SOT 84678 SOS 21071 HAS SOPS 21071 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12903.071
AT ITER 2434 NEW BEST:: SOT 84652 SOS 21045 HAS SOPS 21045 HAS SOUS 12856 HAS SOUPS 12856 WITH SCORE 12877.045
AT ITER 2442 NEW BEST:: SOT 84640 SOS 21039 HAS SOPS 21039 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12868.039
AT ITER 2455 NEW BEST:: SOT 84648 SOS 21055 HAS SOPS 21055 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12856.055
AT ITER 2472 NEW BEST:: SOT 84647 SOS 21053 HAS SOPS 21053 HAS SOUS 12818 HAS SOUPS 12818 WITH SCORE 12839.053
AT ITER 2489 NEW BEST:: SOT 84601 SOS 20999 HAS SOPS 20999 HAS SOUS 12796 HAS SOUPS 12796 WITH SCORE 12816.999
AT ITER 2504 NEW BEST:: SOT 84569 SOS 20935 HAS SOPS 20935 HAS SOUS 12767 HAS SOUPS 12767 WITH SCORE 12787.935
AT ITER 2539 NEW BEST:: SOT 84541 SOS 20879 HAS SOPS 20879 HAS SOUS 12739 HAS SOUPS 12739 WITH SCORE 12759.879
AT ITER 2584 NEW BEST:: SOT 84571 SOS 20939 HAS SOPS 20939 HAS SOUS 12735 HAS SOUPS 12735 WITH SCORE 12755.939
AT ITER 2632 NEW BEST:: SOT 84555 SOS 20892 HAS SOPS 20892 HAS SOUS 12688 HAS SOUPS 12688 WITH SCORE 12708.892
AT ITER 2696 NEW BEST:: SOT 84552 SOS 20886 HAS SOPS 20886 HAS SOUS 12685 HAS SOUPS 12685 WITH SCORE 12705.886
AT ITER 2714 NEW BEST:: SOT 84526 SOS 20838 HAS SOPS 20838 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12688.838
AT ITER 2720 NEW BEST:: SOT 84512 SOS 20824 HAS SOPS 20824 HAS SOUS 12654 HAS SOUPS 12654 WITH SCORE 12674.824
AT ITER 2734 NEW BEST:: SOT 84501 SOS 20818 HAS SOPS 20818 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12668.818
AT ITER 2793 NEW BEST:: SOT 84452 SOS 20740 HAS SOPS 20740 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12590.74
AT ITER 2831 NEW BEST:: SOT 84446 SOS 20731 HAS SOPS 20731 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12581.731
AT ITER 2838 NEW BEST:: SOT 84444 SOS 20729 HAS SOPS 20729 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12579.729
AT ITER 2850 NEW BEST:: SOT 84443 SOS 20070 HAS SOPS 20070 HAS SOUS 12552 HAS SOUPS 12552 WITH SCORE 12572.07
AT ITER 2859 NEW BEST:: SOT 84415 SOS 20042 HAS SOPS 20042 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12544.042
AT ITER 2864 NEW BEST:: SOT 84429 SOS 20054 HAS SOPS 20054 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12540.054
AT ITER 2889 NEW BEST:: SOT 84439 SOS 20064 HAS SOPS 20064 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12534.064
AT ITER 2919 NEW BEST:: SOT 84429 SOS 20064 HAS SOPS 20064 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12524.064
AT ITER 2928 NEW BEST:: SOT 84429 SOS 20018 HAS SOPS 20018 HAS SOUS 12504 HAS SOUPS 12504 WITH SCORE 12524.018
AT ITER 2929 NEW BEST:: SOT 84437 SOS 20008 HAS SOPS 20008 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12521.008
AT ITER 2948 NEW BEST:: SOT 84429 SOS 19992 HAS SOPS 19992 HAS SOUS 12485 HAS SOUPS 12485 WITH SCORE 12504.992
AT ITER 3025 NEW BEST:: SOT 84417 SOS 19968 HAS SOPS 19968 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12469.968
AT ITER 3035 NEW BEST:: SOT 84358 SOS 19928 HAS SOPS 19928 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12429.928
AT ITER 3051 NEW BEST:: SOT 84311 SOS 19881 HAS SOPS 19881 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12382.881
AT ITER 3055 NEW BEST:: SOT 84305 SOS 19873 HAS SOPS 19873 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12374.873
AT ITER 3083 NEW BEST:: SOT 84284 SOS 19852 HAS SOPS 19852 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12339.852
AT ITER 3129 NEW BEST:: SOT 84262 SOS 19828 HAS SOPS 19828 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12315.828
AT ITER 3174 NEW BEST:: SOT 84236 SOS 19794 HAS SOPS 19794 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12280.794
AT ITER 3189 NEW BEST:: SOT 84222 SOS 19780 HAS SOPS 19780 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12266.78
AT ITER 3209 NEW BEST:: SOT 84171 SOS 19790 HAS SOPS 19790 HAS SOUS 12244 HAS SOUPS 12244 WITH SCORE 12263.79
AT ITER 3227 NEW BEST:: SOT 84173 SOS 19782 HAS SOPS 19782 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12259.782
AT ITER 3269 NEW BEST:: SOT 84130 SOS 19696 HAS SOPS 19696 HAS SOUS 12181 HAS SOUPS 12181 WITH SCORE 12200.696
AT ITER 3302 NEW BEST:: SOT 84139 SOS 19712 HAS SOPS 19712 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12188.712
AT ITER 3313 NEW BEST:: SOT 84117 SOS 19690 HAS SOPS 19690 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12171.69
AT ITER 3342 NEW BEST:: SOT 84157 SOS 19770 HAS SOPS 19770 HAS SOUS 12132 HAS SOUPS 12132 WITH SCORE 12151.77
AT ITER 3348 NEW BEST:: SOT 84157 SOS 19761 HAS SOPS 19761 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12149.761
AT ITER 3354 NEW BEST:: SOT 84180 SOS 19723 HAS SOPS 19723 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12111.723
AT ITER 3379 NEW BEST:: SOT 84191 SOS 19744 HAS SOPS 19744 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12100.744
AT ITER 3401 NEW BEST:: SOT 84171 SOS 19704 HAS SOPS 19704 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12060.704
AT ITER 3429 NEW BEST:: SOT 84170 SOS 19703 HAS SOPS 19703 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12059.703
AT ITER 3439 NEW BEST:: SOT 84164 SOS 19694 HAS SOPS 19694 HAS SOUS 12033 HAS SOUPS 12033 WITH SCORE 12052.694
AT ITER 3449 NEW BEST:: SOT 84150 SOS 19666 HAS SOPS 19666 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12024.666
AT ITER 3463 NEW BEST:: SOT 84138 SOS 19683 HAS SOPS 19683 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11993.683
AT ITER 3484 NEW BEST:: SOT 84038 SOS 19665 HAS SOPS 19665 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11907.665
AT ITER 3500 NEW BEST:: SOT 84006 SOS 19640 HAS SOPS 19640 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11882.64
AT ITER 3508 NEW BEST:: SOT 83983 SOS 19594 HAS SOPS 19594 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11877.594
AT ITER 3557 NEW BEST:: SOT 83965 SOS 19576 HAS SOPS 19576 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11814.576
AT ITER 3570 NEW BEST:: SOT 83965 SOS 19573 HAS SOPS 19573 HAS SOUS 11792 HAS SOUPS 11792 WITH SCORE 11811.573
AT ITER 3599 NEW BEST:: SOT 83961 SOS 19569 HAS SOPS 19569 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11807.569
AT ITER 3604 NEW BEST:: SOT 83932 SOS 19559 HAS SOPS 19559 HAS SOUS 11778 HAS SOUPS 11778 WITH SCORE 11797.559
AT ITER 3621 NEW BEST:: SOT 83930 SOS 19555 HAS SOPS 19555 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11774.555
AT ITER 3641 NEW BEST:: SOT 83924 SOS 19549 HAS SOPS 19549 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11768.549
AT ITER 3650 NEW BEST:: SOT 83923 SOS 19547 HAS SOPS 19547 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11766.547
AT ITER 3748 NEW BEST:: SOT 83919 SOS 19543 HAS SOPS 19543 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11762.543
AT ITER 3752 NEW BEST:: SOT 83913 SOS 19531 HAS SOPS 19531 HAS SOUS 11731 HAS SOUPS 11731 WITH SCORE 11750.531
AT ITER 3790 NEW BEST:: SOT 83882 SOS 19522 HAS SOPS 19522 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11701.522
AT ITER 3798 NEW BEST:: SOT 83876 SOS 19528 HAS SOPS 19528 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11700.528
AT ITER 3801 NEW BEST:: SOT 83874 SOS 19525 HAS SOPS 19525 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11698.525
AT ITER 3805 NEW BEST:: SOT 83834 SOS 19445 HAS SOPS 19445 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11666.445
AT ITER 3822 NEW BEST:: SOT 83834 SOS 19430 HAS SOPS 19430 HAS SOUS 11632 HAS SOUPS 11632 WITH SCORE 11651.43
AT ITER 3837 NEW BEST:: SOT 83831 SOS 19412 HAS SOPS 19412 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11645.412
AT ITER 3841 NEW BEST:: SOT 83824 SOS 19398 HAS SOPS 19398 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11640.398
AT ITER 3902 NEW BEST:: SOT 83761 SOS 19331 HAS SOPS 19331 HAS SOUS 11613 HAS SOUPS 11613 WITH SCORE 11632.331
AT ITER 3911 NEW BEST:: SOT 83751 SOS 19311 HAS SOPS 19311 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11612.311
AT ITER 3919 NEW BEST:: SOT 83734 SOS 19281 HAS SOPS 19281 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11582.281
AT ITER 3974 NEW BEST:: SOT 83732 SOS 19279 HAS SOPS 19279 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11580.279
AT ITER 3984 NEW BEST:: SOT 83720 SOS 19255 HAS SOPS 19255 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11568.255
AT ITER 3998 NEW BEST:: SOT 83719 SOS 19254 HAS SOPS 19254 HAS SOUS 11548 HAS SOUPS 11548 WITH SCORE 11567.254
AT ITER 4023 NEW BEST:: SOT 83716 SOS 19248 HAS SOPS 19248 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11563.248
AT ITER 4028 NEW BEST:: SOT 83731 SOS 19228 HAS SOPS 19228 HAS SOUS 11543 HAS SOUPS 11543 WITH SCORE 11562.228
AT ITER 4033 NEW BEST:: SOT 83720 SOS 19206 HAS SOPS 19206 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11551.206
AT ITER 4069 NEW BEST:: SOT 83708 SOS 19182 HAS SOPS 19182 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11527.182
AT ITER 4070 NEW BEST:: SOT 83693 SOS 19152 HAS SOPS 19152 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11512.152
AT ITER 4073 NEW BEST:: SOT 83694 SOS 19153 HAS SOPS 19153 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11492.153
AT ITER 4079 NEW BEST:: SOT 83652 SOS 19197 HAS SOPS 19197 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11472.197
AT ITER 4083 NEW BEST:: SOT 83648 SOS 19193 HAS SOPS 19193 HAS SOUS 11429 HAS SOUPS 11429 WITH SCORE 11448.193
AT ITER 4094 NEW BEST:: SOT 83645 SOS 19187 HAS SOPS 19187 HAS SOUS 11423 HAS SOUPS 11423 WITH SCORE 11442.187
AT ITER 4101 NEW BEST:: SOT 83634 SOS 19165 HAS SOPS 19165 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11420.165
AT ITER 4118 NEW BEST:: SOT 83627 SOS 19158 HAS SOPS 19158 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11413.158
AT ITER 4129 NEW BEST:: SOT 83608 SOS 19131 HAS SOPS 19131 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11396.131
AT ITER 4140 NEW BEST:: SOT 83555 SOS 19059 HAS SOPS 19059 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11324.059
AT ITER 4185 NEW BEST:: SOT 83555 SOS 19015 HAS SOPS 19015 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11324.015
AT ITER 4190 NEW BEST:: SOT 83555 SOS 19013 HAS SOPS 19013 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11322.013
AT ITER 4209 NEW BEST:: SOT 83538 SOS 18996 HAS SOPS 18996 HAS SOUS 11259 HAS SOUPS 11259 WITH SCORE 11277.996
AT ITER 4222 NEW BEST:: SOT 83534 SOS 18992 HAS SOPS 18992 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11273.992
AT ITER 4273 NEW BEST:: SOT 83534 SOS 18992 HAS SOPS 18992 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11250.992
AT ITER 4320 NEW BEST:: SOT 83503 SOS 18883 HAS SOPS 18883 HAS SOUS 11201 HAS SOUPS 11201 WITH SCORE 11219.883
AT ITER 4390 NEW BEST:: SOT 83474 SOS 18848 HAS SOPS 18848 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11184.848
AT ITER 4393 NEW BEST:: SOT 83462 SOS 18824 HAS SOPS 18824 HAS SOUS 11142 HAS SOUPS 11142 WITH SCORE 11160.824
AT ITER 4443 NEW BEST:: SOT 83448 SOS 18796 HAS SOPS 18796 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11132.796
AT ITER 4467 NEW BEST:: SOT 83499 SOS 18789 HAS SOPS 18789 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11125.789
AT ITER 4679 NEW BEST:: SOT 83449 SOS 18734 HAS SOPS 18734 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11115.734
AT ITER 4725 NEW BEST:: SOT 83441 SOS 18668 HAS SOPS 18668 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11099.668
AT ITER 4767 NEW BEST:: SOT 83432 SOS 18650 HAS SOPS 18650 HAS SOUS 11063 HAS SOUPS 11063 WITH SCORE 11081.65
AT ITER 4768 NEW BEST:: SOT 83432 SOS 18650 HAS SOPS 18650 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11077.65
AT ITER 4773 NEW BEST:: SOT 83431 SOS 18647 HAS SOPS 18647 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11074.647
AT ITER 4774 NEW BEST:: SOT 83456 SOS 18672 HAS SOPS 18672 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11072.672
AT ITER 4827 NEW BEST:: SOT 83379 SOS 18598 HAS SOPS 18598 HAS SOUS 10980 HAS SOUPS 10980 WITH SCORE 10998.598
AT ITER 4832 NEW BEST:: SOT 83365 SOS 18570 HAS SOPS 18570 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10986.57
AT ITER 4859 NEW BEST:: SOT 83333 SOS 18538 HAS SOPS 18538 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10954.538
AT ITER 4902 NEW BEST:: SOT 83286 SOS 18444 HAS SOPS 18444 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10907.444
AT ITER 4989 NEW BEST:: SOT 83278 SOS 18412 HAS SOPS 18412 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10907.412
AT ITER 5042 NEW BEST:: SOT 83270 SOS 18396 HAS SOPS 18396 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10891.396
AT ITER 5085 NEW BEST:: SOT 83260 SOS 18386 HAS SOPS 18386 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10875.386
AT ITER 5189 NEW BEST:: SOT 83247 SOS 18435 HAS SOPS 18435 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10863.435
AT ITER 5193 NEW BEST:: SOT 83249 SOS 18432 HAS SOPS 18432 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10857.432
AT ITER 5229 NEW BEST:: SOT 83247 SOS 18431 HAS SOPS 18431 HAS SOUS 10837 HAS SOUPS 10837 WITH SCORE 10855.431
AT ITER 5236 NEW BEST:: SOT 83243 SOS 18423 HAS SOPS 18423 HAS SOUS 10829 HAS SOUPS 10829 WITH SCORE 10847.423
AT ITER 5245 NEW BEST:: SOT 83194 SOS 18325 HAS SOPS 18325 HAS SOUS 10829 HAS SOUPS 10829 WITH SCORE 10847.325
AT ITER 5261 NEW BEST:: SOT 83191 SOS 18322 HAS SOPS 18322 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10838.322
AT ITER 5270 NEW BEST:: SOT 83107 SOS 18183 HAS SOPS 18183 HAS SOUS 10773 HAS SOUPS 10773 WITH SCORE 10791.183
AT ITER 5331 NEW BEST:: SOT 83107 SOS 18183 HAS SOPS 18183 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10788.183
AT ITER 5342 NEW BEST:: SOT 83144 SOS 18029 HAS SOPS 18029 HAS SOUS 10742 HAS SOUPS 10742 WITH SCORE 10760.029
AT ITER 5349 NEW BEST:: SOT 83133 SOS 18008 HAS SOPS 18008 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10748.008
AT ITER 5387 NEW BEST:: SOT 83131 SOS 18004 HAS SOPS 18004 HAS SOUS 10726 HAS SOUPS 10726 WITH SCORE 10744.004
AT ITER 5405 NEW BEST:: SOT 83141 SOS 18000 HAS SOPS 18000 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10742.0
AT ITER 5409 NEW BEST:: SOT 83136 SOS 17995 HAS SOPS 17995 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10731.995
AT ITER 5423 NEW BEST:: SOT 83136 SOS 17990 HAS SOPS 17990 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10731.99
AT ITER 5449 NEW BEST:: SOT 83115 SOS 17969 HAS SOPS 17969 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10710.969
AT ITER 5475 NEW BEST:: SOT 83107 SOS 17944 HAS SOPS 17944 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10689.944
AT ITER 5576 NEW BEST:: SOT 83089 SOS 18511 HAS SOPS 18511 HAS SOUS 10667 HAS SOUPS 10667 WITH SCORE 10685.511
AT ITER 5582 NEW BEST:: SOT 83075 SOS 18504 HAS SOPS 18504 HAS SOUS 10660 HAS SOUPS 10660 WITH SCORE 10678.504
AT ITER 5629 NEW BEST:: SOT 83080 SOS 18503 HAS SOPS 18503 HAS SOUS 10659 HAS SOUPS 10659 WITH SCORE 10677.503
AT ITER 5645 NEW BEST:: SOT 83080 SOS 18507 HAS SOPS 18507 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10673.507
AT ITER 5647 NEW BEST:: SOT 83075 SOS 18502 HAS SOPS 18502 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10668.502
AT ITER 5711 NEW BEST:: SOT 83075 SOS 18498 HAS SOPS 18498 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10668.498
AT ITER 5723 NEW BEST:: SOT 83072 SOS 18492 HAS SOPS 18492 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10662.492
AT ITER 5803 NEW BEST:: SOT 83074 SOS 18492 HAS SOPS 18492 HAS SOUS 10641 HAS SOUPS 10641 WITH SCORE 10659.492
AT ITER 5818 NEW BEST:: SOT 83068 SOS 18449 HAS SOPS 18449 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10622.449
AT ITER 5839 NEW BEST:: SOT 83058 SOS 18439 HAS SOPS 18439 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10612.439
AT ITER 5862 NEW BEST:: SOT 83038 SOS 18574 HAS SOPS 18574 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10600.574
AT ITER 5875 NEW BEST:: SOT 83038 SOS 18573 HAS SOPS 18573 HAS SOUS 10580 HAS SOUPS 10580 WITH SCORE 10598.573
AT ITER 5887 NEW BEST:: SOT 83058 SOS 18593 HAS SOPS 18593 HAS SOUS 10560 HAS SOUPS 10560 WITH SCORE 10578.593
AT ITER 5960 NEW BEST:: SOT 82978 SOS 18463 HAS SOPS 18463 HAS SOUS 10510 HAS SOUPS 10510 WITH SCORE 10528.463
AT ITER 5963 NEW BEST:: SOT 82974 SOS 18459 HAS SOPS 18459 HAS SOUS 10506 HAS SOUPS 10506 WITH SCORE 10524.459
AT ITER 5991 NEW BEST:: SOT 82964 SOS 18449 HAS SOPS 18449 HAS SOUS 10506 HAS SOUPS 10506 WITH SCORE 10524.449
AT ITER 6013 NEW BEST:: SOT 82964 SOS 18448 HAS SOPS 18448 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10523.448
AT ITER 6048 NEW BEST:: SOT 82963 SOS 18447 HAS SOPS 18447 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10522.447
AT ITER 6055 NEW BEST:: SOT 82964 SOS 18436 HAS SOPS 18436 HAS SOUS 10493 HAS SOUPS 10493 WITH SCORE 10511.436
AT ITER 6065 NEW BEST:: SOT 82964 SOS 18412 HAS SOPS 18412 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10509.412
AT ITER 6091 NEW BEST:: SOT 82964 SOS 18427 HAS SOPS 18427 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10508.427
AT ITER 6104 NEW BEST:: SOT 82960 SOS 18419 HAS SOPS 18419 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10508.419
AT ITER 6199 NEW BEST:: SOT 82926 SOS 18385 HAS SOPS 18385 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10503.385
AT ITER 6201 NEW BEST:: SOT 82911 SOS 18379 HAS SOPS 18379 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10495.379
AT ITER 6281 NEW BEST:: SOT 82911 SOS 18379 HAS SOPS 18379 HAS SOUS 10476 HAS SOUPS 10476 WITH SCORE 10494.379
AT ITER 6342 NEW BEST:: SOT 82911 SOS 18375 HAS SOPS 18375 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10490.375
AT ITER 6378 NEW BEST:: SOT 82910 SOS 18373 HAS SOPS 18373 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10488.373
AT ITER 6386 NEW BEST:: SOT 82908 SOS 18369 HAS SOPS 18369 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10483.369
AT ITER 6426 NEW BEST:: SOT 82901 SOS 18366 HAS SOPS 18366 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10480.366
AT ITER 6447 NEW BEST:: SOT 82898 SOS 18360 HAS SOPS 18360 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10474.36
AT ITER 6449 NEW BEST:: SOT 82898 SOS 18420 HAS SOPS 18420 HAS SOUS 10426 HAS SOUPS 10426 WITH SCORE 10444.42
AT ITER 6460 NEW BEST:: SOT 82897 SOS 18417 HAS SOPS 18417 HAS SOUS 10424 HAS SOUPS 10424 WITH SCORE 10442.417
AT ITER 6465 NEW BEST:: SOT 82906 SOS 18411 HAS SOPS 18411 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10421.411
AT ITER 6467 NEW BEST:: SOT 82902 SOS 18426 HAS SOPS 18426 HAS SOUS 10402 HAS SOUPS 10402 WITH SCORE 10420.426
AT ITER 6476 NEW BEST:: SOT 82919 SOS 17959 HAS SOPS 17959 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10410.959
AT ITER 6500 NEW BEST:: SOT 82896 SOS 17913 HAS SOPS 17913 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10378.913
AT ITER 6542 NEW BEST:: SOT 82892 SOS 17907 HAS SOPS 17907 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10374.907
AT ITER 6577 NEW BEST:: SOT 82892 SOS 17902 HAS SOPS 17902 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10374.902
AT ITER 6606 NEW BEST:: SOT 82890 SOS 17898 HAS SOPS 17898 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10370.898
AT ITER 6628 NEW BEST:: SOT 82875 SOS 17868 HAS SOPS 17868 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10350.868
AT ITER 6695 NEW BEST:: SOT 82875 SOS 17866 HAS SOPS 17866 HAS SOUS 10331 HAS SOUPS 10331 WITH SCORE 10348.866
AT ITER 6705 NEW BEST:: SOT 82865 SOS 17846 HAS SOPS 17846 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10328.846
AT ITER 6735 NEW BEST:: SOT 82865 SOS 17846 HAS SOPS 17846 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10314.846
AT ITER 6755 NEW BEST:: SOT 82865 SOS 17845 HAS SOPS 17845 HAS SOUS 10296 HAS SOUPS 10296 WITH SCORE 10313.845
AT ITER 6814 NEW BEST:: SOT 82863 SOS 17837 HAS SOPS 17837 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10305.837
AT ITER 6831 NEW BEST:: SOT 82863 SOS 17837 HAS SOPS 17837 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10294.837
AT ITER 6833 NEW BEST:: SOT 82859 SOS 17833 HAS SOPS 17833 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10294.833
AT ITER 6931 NEW BEST:: SOT 82879 SOS 17788 HAS SOPS 17788 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10279.788
AT ITER 6944 NEW BEST:: SOT 82868 SOS 17770 HAS SOPS 17770 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10258.77
AT ITER 6968 NEW BEST:: SOT 82868 SOS 17770 HAS SOPS 17770 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10252.77
AT ITER 6969 NEW BEST:: SOT 82862 SOS 17758 HAS SOPS 17758 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10236.758
AT ITER 7015 NEW BEST:: SOT 82859 SOS 17755 HAS SOPS 17755 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10233.755
AT ITER 7016 NEW BEST:: SOT 82853 SOS 17743 HAS SOPS 17743 HAS SOUS 10209 HAS SOUPS 10209 WITH SCORE 10226.743
AT ITER 7017 NEW BEST:: SOT 82856 SOS 17741 HAS SOPS 17741 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10224.741
AT ITER 7090 NEW BEST:: SOT 82849 SOS 17822 HAS SOPS 17822 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10217.822
AT ITER 7117 NEW BEST:: SOT 82995 SOS 17940 HAS SOPS 17940 HAS SOUS 10174 HAS SOUPS 10174 WITH SCORE 10191.94
AT ITER 7136 NEW BEST:: SOT 82995 SOS 17924 HAS SOPS 17924 HAS SOUS 10174 HAS SOUPS 10174 WITH SCORE 10191.924
AT ITER 7186 NEW BEST:: SOT 82979 SOS 17892 HAS SOPS 17892 HAS SOUS 10145 HAS SOUPS 10145 WITH SCORE 10162.892
AT ITER 7287 NEW BEST:: SOT 82979 SOS 17887 HAS SOPS 17887 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10157.887
AT ITER 7308 NEW BEST:: SOT 82977 SOS 17885 HAS SOPS 17885 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10155.885
AT ITER 7315 NEW BEST:: SOT 82966 SOS 17874 HAS SOPS 17874 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10144.874
AT ITER 7384 NEW BEST:: SOT 82953 SOS 17848 HAS SOPS 17848 HAS SOUS 10118 HAS SOUPS 10118 WITH SCORE 10135.848
AT ITER 7432 NEW BEST:: SOT 82953 SOS 17839 HAS SOPS 17839 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10126.839
AT ITER 7466 NEW BEST:: SOT 82926 SOS 17833 HAS SOPS 17833 HAS SOUS 10103 HAS SOUPS 10103 WITH SCORE 10120.833
AT ITER 7519 NEW BEST:: SOT 82912 SOS 17805 HAS SOPS 17805 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10103.805
AT ITER 7522 NEW BEST:: SOT 82879 SOS 17757 HAS SOPS 17757 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10091.757
AT ITER 7532 NEW BEST:: SOT 82874 SOS 17752 HAS SOPS 17752 HAS SOUS 10069 HAS SOUPS 10069 WITH SCORE 10086.752
AT ITER 7548 NEW BEST:: SOT 82828 SOS 17715 HAS SOPS 17715 HAS SOUS 10069 HAS SOUPS 10069 WITH SCORE 10086.715
AT ITER 7560 NEW BEST:: SOT 82826 SOS 17713 HAS SOPS 17713 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10082.713
AT ITER 7604 NEW BEST:: SOT 82826 SOS 17697 HAS SOPS 17697 HAS SOUS 10049 HAS SOUPS 10049 WITH SCORE 10066.697
AT ITER 7624 NEW BEST:: SOT 82806 SOS 17689 HAS SOPS 17689 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10058.689
AT ITER 7626 NEW BEST:: SOT 82806 SOS 17689 HAS SOPS 17689 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10053.689
AT ITER 7632 NEW BEST:: SOT 82806 SOS 17688 HAS SOPS 17688 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10053.688
AT ITER 7663 NEW BEST:: SOT 82796 SOS 17668 HAS SOPS 17668 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10033.668
AT ITER 7672 NEW BEST:: SOT 82792 SOS 17630 HAS SOPS 17630 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10029.63
AT ITER 7748 NEW BEST:: SOT 82789 SOS 17624 HAS SOPS 17624 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10029.624
AT ITER 7771 NEW BEST:: SOT 82789 SOS 17608 HAS SOPS 17608 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10029.608
AT ITER 7799 NEW BEST:: SOT 82789 SOS 17608 HAS SOPS 17608 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10027.608
AT ITER 7836 NEW BEST:: SOT 82788 SOS 17607 HAS SOPS 17607 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10027.607
AT ITER 7856 NEW BEST:: SOT 82777 SOS 17585 HAS SOPS 17585 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10007.585
AT ITER 7871 NEW BEST:: SOT 82775 SOS 17583 HAS SOPS 17583 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10005.583
AT ITER 7882 NEW BEST:: SOT 82799 SOS 17631 HAS SOPS 17631 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10001.631
AT ITER 7912 NEW BEST:: SOT 82949 SOS 17766 HAS SOPS 17766 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9992.766
AT ITER 7932 NEW BEST:: SOT 82950 SOS 17772 HAS SOPS 17772 HAS SOUS 9971 HAS SOUPS 9971 WITH SCORE 9988.772
AT ITER 7978 NEW BEST:: SOT 82947 SOS 17766 HAS SOPS 17766 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9982.766
AT ITER 7982 NEW BEST:: SOT 82940 SOS 17741 HAS SOPS 17741 HAS SOUS 9947 HAS SOUPS 9947 WITH SCORE 9964.741
AT ITER 8010 NEW BEST:: SOT 82941 SOS 17780 HAS SOPS 17780 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9960.78
AT ITER 8016 NEW BEST:: SOT 82965 SOS 17680 HAS SOPS 17680 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9937.68
AT ITER 8037 NEW BEST:: SOT 82965 SOS 17680 HAS SOPS 17680 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9934.68
AT ITER 8040 NEW BEST:: SOT 82951 SOS 17767 HAS SOPS 17767 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9921.767
AT ITER 8045 NEW BEST:: SOT 82949 SOS 17765 HAS SOPS 17765 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9919.765
AT ITER 8080 NEW BEST:: SOT 82919 SOS 17705 HAS SOPS 17705 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9897.705
AT ITER 8094 NEW BEST:: SOT 82905 SOS 17677 HAS SOPS 17677 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9876.677
AT ITER 8178 NEW BEST:: SOT 82923 SOS 17679 HAS SOPS 17679 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9860.679
AT ITER 8209 NEW BEST:: SOT 82923 SOS 17679 HAS SOPS 17679 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9845.679
AT ITER 8219 NEW BEST:: SOT 82917 SOS 17677 HAS SOPS 17677 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9843.677
AT ITER 8243 NEW BEST:: SOT 82928 SOS 17695 HAS SOPS 17695 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9841.695
AT ITER 8320 NEW BEST:: SOT 82933 SOS 17700 HAS SOPS 17700 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9836.7
AT ITER 8437 NEW BEST:: SOT 82926 SOS 17686 HAS SOPS 17686 HAS SOUS 9805 HAS SOUPS 9805 WITH SCORE 9822.686
AT ITER 8439 NEW BEST:: SOT 82917 SOS 17668 HAS SOPS 17668 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9804.668
AT ITER 8517 NEW BEST:: SOT 82911 SOS 17670 HAS SOPS 17670 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9792.67
AT ITER 8550 NEW BEST:: SOT 82898 SOS 17657 HAS SOPS 17657 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9789.657
AT ITER 8565 NEW BEST:: SOT 82897 SOS 17653 HAS SOPS 17653 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9787.653
AT ITER 8596 NEW BEST:: SOT 82889 SOS 17650 HAS SOPS 17650 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9784.65
AT ITER 8686 NEW BEST:: SOT 82889 SOS 17650 HAS SOPS 17650 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9779.65
AT ITER 8771 NEW BEST:: SOT 82874 SOS 17620 HAS SOPS 17620 HAS SOUS 9758 HAS SOUPS 9758 WITH SCORE 9775.62
AT ITER 8775 NEW BEST:: SOT 82867 SOS 17619 HAS SOPS 17619 HAS SOUS 9757 HAS SOUPS 9757 WITH SCORE 9774.619
AT ITER 8812 NEW BEST:: SOT 82867 SOS 17618 HAS SOPS 17618 HAS SOUS 9757 HAS SOUPS 9757 WITH SCORE 9774.618
AT ITER 8840 NEW BEST:: SOT 82789 SOS 17540 HAS SOPS 17540 HAS SOUS 9757 HAS SOUPS 9757 WITH SCORE 9774.54
AT ITER 8855 NEW BEST:: SOT 82859 SOS 17610 HAS SOPS 17610 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9759.61
AT ITER 8965 NEW BEST:: SOT 82859 SOS 17591 HAS SOPS 17591 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9759.591
AT ITER 8997 NEW BEST:: SOT 82843 SOS 17575 HAS SOPS 17575 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9759.575
AT ITER 9011 NEW BEST:: SOT 82842 SOS 17580 HAS SOPS 17580 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9758.58
AT ITER 9019 NEW BEST:: SOT 82837 SOS 17511 HAS SOPS 17511 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9718.511
AT ITER 9039 NEW BEST:: SOT 82837 SOS 17513 HAS SOPS 17513 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9716.513
AT ITER 9071 NEW BEST:: SOT 82817 SOS 17473 HAS SOPS 17473 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9676.473
AT ITER 9096 NEW BEST:: SOT 82817 SOS 17473 HAS SOPS 17473 HAS SOUS 9654 HAS SOUPS 9654 WITH SCORE 9671.473
AT ITER 9151 NEW BEST:: SOT 82800 SOS 17451 HAS SOPS 17451 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9649.451
AT ITER 9223 NEW BEST:: SOT 82794 SOS 17440 HAS SOPS 17440 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9638.44
AT ITER 9267 NEW BEST:: SOT 82794 SOS 17441 HAS SOPS 17441 HAS SOUS 9620 HAS SOUPS 9620 WITH SCORE 9637.441
AT ITER 9364 NEW BEST:: SOT 82757 SOS 17302 HAS SOPS 17302 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9566.302
AT ITER 9369 NEW BEST:: SOT 82757 SOS 17297 HAS SOPS 17297 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9561.297
AT ITER 9372 NEW BEST:: SOT 82741 SOS 17273 HAS SOPS 17273 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9539.273
AT ITER 9392 NEW BEST:: SOT 82772 SOS 17335 HAS SOPS 17335 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9533.335
AT ITER 9516 NEW BEST:: SOT 82767 SOS 17325 HAS SOPS 17325 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9523.325
AT ITER 9543 NEW BEST:: SOT 82777 SOS 17319 HAS SOPS 17319 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9517.319
AT ITER 9585 NEW BEST:: SOT 82754 SOS 17296 HAS SOPS 17296 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9516.296
AT ITER 9600 NEW BEST:: SOT 82754 SOS 17274 HAS SOPS 17274 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9494.274
AT ITER 9603 NEW BEST:: SOT 82742 SOS 17262 HAS SOPS 17262 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9482.262
AT ITER 9665 NEW BEST:: SOT 82732 SOS 17260 HAS SOPS 17260 HAS SOUS 9463 HAS SOUPS 9463 WITH SCORE 9480.26
AT ITER 9707 NEW BEST:: SOT 82769 SOS 17252 HAS SOPS 17252 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9472.252
AT ITER 9756 NEW BEST:: SOT 82770 SOS 17251 HAS SOPS 17251 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9462.251
AT ITER 9768 NEW BEST:: SOT 82770 SOS 17251 HAS SOPS 17251 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9457.251
AT ITER 9860 NEW BEST:: SOT 82757 SOS 17241 HAS SOPS 17241 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9450.241
AT ITER 9887 NEW BEST:: SOT 82755 SOS 17241 HAS SOPS 17241 HAS SOUS 9429 HAS SOUPS 9429 WITH SCORE 9446.241
AT ITER 9929 NEW BEST:: SOT 82755 SOS 17242 HAS SOPS 17242 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9445.242
AT ITER 9975 NEW BEST:: SOT 82755 SOS 17242 HAS SOPS 17242 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9442.242

BK_TIME_CONFINEMENT_REACHED

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

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