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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.2K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 90K 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 1590469771406

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

Filename model.pnml
Petri model created: 376 places, 399 transitions, 909 arcs.
AT ITER 0 NEW BEST:: SOT 89540 SOS 21332 HAS SOPS 21332 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20892.332
AT ITER 3 NEW BEST:: SOT 89495 SOS 21226 HAS SOPS 21226 HAS SOUS 20765 HAS SOUPS 20765 WITH SCORE 20786.226
AT ITER 4 NEW BEST:: SOT 89445 SOS 21126 HAS SOPS 21126 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20686.126
AT ITER 17 NEW BEST:: SOT 89431 SOS 21112 HAS SOPS 21112 HAS SOUS 20651 HAS SOUPS 20651 WITH SCORE 20672.112
AT ITER 26 NEW BEST:: SOT 89431 SOS 21076 HAS SOPS 21076 HAS SOUS 20615 HAS SOUPS 20615 WITH SCORE 20636.076
AT ITER 39 NEW BEST:: SOT 89044 SOS 21167 HAS SOPS 21167 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20375.167
AT ITER 44 NEW BEST:: SOT 89029 SOS 21179 HAS SOPS 21179 HAS SOUS 20340 HAS SOUPS 20340 WITH SCORE 20361.179
AT ITER 53 NEW BEST:: SOT 89029 SOS 21124 HAS SOPS 21124 HAS SOUS 20270 HAS SOUPS 20270 WITH SCORE 20291.124
AT ITER 78 NEW BEST:: SOT 89044 SOS 21154 HAS SOPS 21154 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20233.154
AT ITER 100 NEW BEST:: SOT 88976 SOS 21055 HAS SOPS 21055 HAS SOUS 20113 HAS SOUPS 20113 WITH SCORE 20134.055
AT ITER 119 NEW BEST:: SOT 88975 SOS 21053 HAS SOPS 21053 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20132.053
AT ITER 122 NEW BEST:: SOT 87782 SOS 21148 HAS SOPS 21148 HAS SOUS 19068 HAS SOUPS 19068 WITH SCORE 19089.148
AT ITER 140 NEW BEST:: SOT 87802 SOS 21193 HAS SOPS 21193 HAS SOUS 19054 HAS SOUPS 19054 WITH SCORE 19075.193
AT ITER 149 NEW BEST:: SOT 87802 SOS 21105 HAS SOPS 21105 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18987.105
AT ITER 161 NEW BEST:: SOT 87502 SOS 21135 HAS SOPS 21135 HAS SOUS 18732 HAS SOUPS 18732 WITH SCORE 18753.135
AT ITER 162 NEW BEST:: SOT 87554 SOS 21133 HAS SOPS 21133 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18751.133
AT ITER 172 NEW BEST:: SOT 87540 SOS 21105 HAS SOPS 21105 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18744.105
AT ITER 174 NEW BEST:: SOT 87575 SOS 21175 HAS SOPS 21175 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18710.175
AT ITER 181 NEW BEST:: SOT 87537 SOS 21122 HAS SOPS 21122 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18676.122
AT ITER 185 NEW BEST:: SOT 87533 SOS 21111 HAS SOPS 21111 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18665.111
AT ITER 195 NEW BEST:: SOT 87509 SOS 21087 HAS SOPS 21087 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18641.087
AT ITER 212 NEW BEST:: SOT 87509 SOS 20976 HAS SOPS 20976 HAS SOUS 18563 HAS SOUPS 18563 WITH SCORE 18583.976
AT ITER 213 NEW BEST:: SOT 87497 SOS 20964 HAS SOPS 20964 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18577.964
AT ITER 230 NEW BEST:: SOT 86507 SOS 21830 HAS SOPS 21830 HAS SOUS 17892 HAS SOUPS 17892 WITH SCORE 17913.83
AT ITER 237 NEW BEST:: SOT 86511 SOS 21724 HAS SOPS 21724 HAS SOUS 17843 HAS SOUPS 17843 WITH SCORE 17864.724
AT ITER 253 NEW BEST:: SOT 86511 SOS 21679 HAS SOPS 21679 HAS SOUS 17843 HAS SOUPS 17843 WITH SCORE 17864.679
AT ITER 261 NEW BEST:: SOT 86511 SOS 21679 HAS SOPS 21679 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17861.679
AT ITER 262 NEW BEST:: SOT 86511 SOS 21658 HAS SOPS 21658 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17840.658
AT ITER 273 NEW BEST:: SOT 86488 SOS 21634 HAS SOPS 21634 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17817.634
AT ITER 274 NEW BEST:: SOT 86349 SOS 21496 HAS SOPS 21496 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17761.496
AT ITER 283 NEW BEST:: SOT 86326 SOS 21473 HAS SOPS 21473 HAS SOUS 17717 HAS SOUPS 17717 WITH SCORE 17738.473
AT ITER 299 NEW BEST:: SOT 86319 SOS 21459 HAS SOPS 21459 HAS SOUS 17710 HAS SOUPS 17710 WITH SCORE 17731.459
AT ITER 303 NEW BEST:: SOT 86177 SOS 21343 HAS SOPS 21343 HAS SOUS 17575 HAS SOUPS 17575 WITH SCORE 17596.343
AT ITER 316 NEW BEST:: SOT 86164 SOS 21317 HAS SOPS 21317 HAS SOUS 17549 HAS SOUPS 17549 WITH SCORE 17570.317
AT ITER 337 NEW BEST:: SOT 86099 SOS 21273 HAS SOPS 21273 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17548.273
AT ITER 346 NEW BEST:: SOT 86027 SOS 21201 HAS SOPS 21201 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17548.201
AT ITER 351 NEW BEST:: SOT 86027 SOS 21153 HAS SOPS 21153 HAS SOUS 17479 HAS SOUPS 17479 WITH SCORE 17500.153
AT ITER 365 NEW BEST:: SOT 85306 SOS 22367 HAS SOPS 22367 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 16973.367
AT ITER 367 NEW BEST:: SOT 85306 SOS 22355 HAS SOPS 22355 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16961.355
AT ITER 392 NEW BEST:: SOT 85303 SOS 22352 HAS SOPS 22352 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16958.352
AT ITER 393 NEW BEST:: SOT 85284 SOS 22314 HAS SOPS 22314 HAS SOUS 16917 HAS SOUPS 16917 WITH SCORE 16939.314
AT ITER 403 NEW BEST:: SOT 85267 SOS 22328 HAS SOPS 22328 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16938.328
AT ITER 413 NEW BEST:: SOT 85266 SOS 22328 HAS SOPS 22328 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16936.328
AT ITER 417 NEW BEST:: SOT 85145 SOS 21954 HAS SOPS 21954 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16690.954
AT ITER 444 NEW BEST:: SOT 85149 SOS 21937 HAS SOPS 21937 HAS SOUS 16651 HAS SOUPS 16651 WITH SCORE 16672.937
AT ITER 445 NEW BEST:: SOT 85108 SOS 21879 HAS SOPS 21879 HAS SOUS 16593 HAS SOUPS 16593 WITH SCORE 16614.879
AT ITER 446 NEW BEST:: SOT 85013 SOS 21784 HAS SOPS 21784 HAS SOUS 16521 HAS SOUPS 16521 WITH SCORE 16542.784
AT ITER 450 NEW BEST:: SOT 84994 SOS 21746 HAS SOPS 21746 HAS SOUS 16483 HAS SOUPS 16483 WITH SCORE 16504.746
AT ITER 452 NEW BEST:: SOT 84983 SOS 21724 HAS SOPS 21724 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16482.724
AT ITER 457 NEW BEST:: SOT 85034 SOS 21775 HAS SOPS 21775 HAS SOUS 16452 HAS SOUPS 16452 WITH SCORE 16473.775
AT ITER 460 NEW BEST:: SOT 85042 SOS 21759 HAS SOPS 21759 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16454.759
AT ITER 461 NEW BEST:: SOT 85015 SOS 21734 HAS SOPS 21734 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16427.734
AT ITER 476 NEW BEST:: SOT 85021 SOS 21746 HAS SOPS 21746 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16414.746
AT ITER 510 NEW BEST:: SOT 84982 SOS 21622 HAS SOPS 21622 HAS SOUS 16269 HAS SOUPS 16269 WITH SCORE 16290.622
AT ITER 512 NEW BEST:: SOT 84930 SOS 21566 HAS SOPS 21566 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16286.566
AT ITER 520 NEW BEST:: SOT 84930 SOS 21566 HAS SOPS 21566 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16276.566
AT ITER 522 NEW BEST:: SOT 84938 SOS 21541 HAS SOPS 21541 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16251.541
AT ITER 532 NEW BEST:: SOT 84948 SOS 21532 HAS SOPS 21532 HAS SOUS 16217 HAS SOUPS 16217 WITH SCORE 16238.532
AT ITER 547 NEW BEST:: SOT 84910 SOS 21495 HAS SOPS 21495 HAS SOUS 16179 HAS SOUPS 16179 WITH SCORE 16200.495
AT ITER 551 NEW BEST:: SOT 84891 SOS 21457 HAS SOPS 21457 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16162.457
AT ITER 565 NEW BEST:: SOT 84792 SOS 21358 HAS SOPS 21358 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16080.358
AT ITER 573 NEW BEST:: SOT 84745 SOS 21264 HAS SOPS 21264 HAS SOUS 16012 HAS SOUPS 16012 WITH SCORE 16033.264
AT ITER 574 NEW BEST:: SOT 84745 SOS 21264 HAS SOPS 21264 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16028.264
AT ITER 582 NEW BEST:: SOT 84745 SOS 21256 HAS SOPS 21256 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16028.256
AT ITER 603 NEW BEST:: SOT 84725 SOS 21244 HAS SOPS 21244 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16010.244
AT ITER 606 NEW BEST:: SOT 84745 SOS 21162 HAS SOPS 21162 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16008.162
AT ITER 611 NEW BEST:: SOT 84755 SOS 21143 HAS SOPS 21143 HAS SOUS 15968 HAS SOUPS 15968 WITH SCORE 15989.143
AT ITER 614 NEW BEST:: SOT 84756 SOS 21130 HAS SOPS 21130 HAS SOUS 15968 HAS SOUPS 15968 WITH SCORE 15989.13
AT ITER 615 NEW BEST:: SOT 84744 SOS 21071 HAS SOPS 21071 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15952.071
AT ITER 632 NEW BEST:: SOT 84744 SOS 21061 HAS SOPS 21061 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15942.061
AT ITER 637 NEW BEST:: SOT 84556 SOS 21382 HAS SOPS 21382 HAS SOUS 15824 HAS SOUPS 15824 WITH SCORE 15845.382
AT ITER 644 NEW BEST:: SOT 84549 SOS 21368 HAS SOPS 21368 HAS SOUS 15810 HAS SOUPS 15810 WITH SCORE 15831.368
AT ITER 652 NEW BEST:: SOT 84549 SOS 21356 HAS SOPS 21356 HAS SOUS 15798 HAS SOUPS 15798 WITH SCORE 15819.356
AT ITER 672 NEW BEST:: SOT 84542 SOS 21346 HAS SOPS 21346 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15812.346
AT ITER 676 NEW BEST:: SOT 84492 SOS 21246 HAS SOPS 21246 HAS SOUS 15691 HAS SOUPS 15691 WITH SCORE 15712.246
AT ITER 684 NEW BEST:: SOT 84492 SOS 21237 HAS SOPS 21237 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15696.237
AT ITER 690 NEW BEST:: SOT 84489 SOS 21186 HAS SOPS 21186 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15645.186
AT ITER 691 NEW BEST:: SOT 84455 SOS 21118 HAS SOPS 21118 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15611.118
AT ITER 694 NEW BEST:: SOT 84094 SOS 21203 HAS SOPS 21203 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15360.203
AT ITER 733 NEW BEST:: SOT 84094 SOS 21184 HAS SOPS 21184 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15360.184
AT ITER 738 NEW BEST:: SOT 84084 SOS 21174 HAS SOPS 21174 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15360.174
AT ITER 744 NEW BEST:: SOT 84063 SOS 21132 HAS SOPS 21132 HAS SOUS 15294 HAS SOUPS 15294 WITH SCORE 15315.132
AT ITER 748 NEW BEST:: SOT 84086 SOS 21097 HAS SOPS 21097 HAS SOUS 15259 HAS SOUPS 15259 WITH SCORE 15280.097
AT ITER 767 NEW BEST:: SOT 84045 SOS 21124 HAS SOPS 21124 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15211.124
AT ITER 777 NEW BEST:: SOT 84003 SOS 21040 HAS SOPS 21040 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15169.04
AT ITER 778 NEW BEST:: SOT 83955 SOS 20944 HAS SOPS 20944 HAS SOUS 15108 HAS SOUPS 15108 WITH SCORE 15128.944
AT ITER 780 NEW BEST:: SOT 83784 SOS 20602 HAS SOPS 20602 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14782.602
AT ITER 798 NEW BEST:: SOT 83744 SOS 20542 HAS SOPS 20542 HAS SOUS 14722 HAS SOUPS 14722 WITH SCORE 14742.542
AT ITER 804 NEW BEST:: SOT 83598 SOS 20945 HAS SOPS 20945 HAS SOUS 14628 HAS SOUPS 14628 WITH SCORE 14648.945
AT ITER 826 NEW BEST:: SOT 83598 SOS 20945 HAS SOPS 20945 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14645.945
AT ITER 829 NEW BEST:: SOT 83497 SOS 20743 HAS SOPS 20743 HAS SOUS 14528 HAS SOUPS 14528 WITH SCORE 14548.743
AT ITER 838 NEW BEST:: SOT 83489 SOS 20754 HAS SOPS 20754 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14511.754
AT ITER 847 NEW BEST:: SOT 83485 SOS 20746 HAS SOPS 20746 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14507.746
AT ITER 856 NEW BEST:: SOT 83494 SOS 20733 HAS SOPS 20733 HAS SOUS 14469 HAS SOUPS 14469 WITH SCORE 14489.733
AT ITER 860 NEW BEST:: SOT 83494 SOS 20628 HAS SOPS 20628 HAS SOUS 14464 HAS SOUPS 14464 WITH SCORE 14484.628
AT ITER 865 NEW BEST:: SOT 83451 SOS 20555 HAS SOPS 20555 HAS SOUS 14412 HAS SOUPS 14412 WITH SCORE 14432.555
AT ITER 875 NEW BEST:: SOT 83437 SOS 20510 HAS SOPS 20510 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14402.51
AT ITER 879 NEW BEST:: SOT 83426 SOS 20488 HAS SOPS 20488 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14377.488
AT ITER 887 NEW BEST:: SOT 83410 SOS 20497 HAS SOPS 20497 HAS SOUS 14341 HAS SOUPS 14341 WITH SCORE 14361.497
AT ITER 890 NEW BEST:: SOT 83422 SOS 20509 HAS SOPS 20509 HAS SOUS 14329 HAS SOUPS 14329 WITH SCORE 14349.509
AT ITER 896 NEW BEST:: SOT 83459 SOS 20387 HAS SOPS 20387 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14337.387
AT ITER 917 NEW BEST:: SOT 83459 SOS 20384 HAS SOPS 20384 HAS SOUS 14314 HAS SOUPS 14314 WITH SCORE 14334.384
AT ITER 969 NEW BEST:: SOT 83412 SOS 20326 HAS SOPS 20326 HAS SOUS 14257 HAS SOUPS 14257 WITH SCORE 14277.326
AT ITER 988 NEW BEST:: SOT 83405 SOS 20312 HAS SOPS 20312 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14270.312
AT ITER 999 NEW BEST:: SOT 83333 SOS 20240 HAS SOPS 20240 HAS SOUS 14195 HAS SOUPS 14195 WITH SCORE 14215.24
AT ITER 1010 NEW BEST:: SOT 83341 SOS 20245 HAS SOPS 20245 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14212.245
AT ITER 1032 NEW BEST:: SOT 83310 SOS 20351 HAS SOPS 20351 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14181.351
AT ITER 1069 NEW BEST:: SOT 83296 SOS 20389 HAS SOPS 20389 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14167.389
AT ITER 1089 NEW BEST:: SOT 83177 SOS 20090 HAS SOPS 20090 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13987.09
AT ITER 1171 NEW BEST:: SOT 83173 SOS 20082 HAS SOPS 20082 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13979.082
AT ITER 1180 NEW BEST:: SOT 83204 SOS 20144 HAS SOPS 20144 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13977.144
AT ITER 1185 NEW BEST:: SOT 83168 SOS 20111 HAS SOPS 20111 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13941.111
AT ITER 1203 NEW BEST:: SOT 83168 SOS 20111 HAS SOPS 20111 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13938.111
AT ITER 1208 NEW BEST:: SOT 83155 SOS 20098 HAS SOPS 20098 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13925.098
AT ITER 1213 NEW BEST:: SOT 83133 SOS 20054 HAS SOPS 20054 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13903.054
AT ITER 1216 NEW BEST:: SOT 82782 SOS 21502 HAS SOPS 21502 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13680.502
AT ITER 1225 NEW BEST:: SOT 82782 SOS 21409 HAS SOPS 21409 HAS SOUS 13654 HAS SOUPS 13654 WITH SCORE 13675.409
AT ITER 1236 NEW BEST:: SOT 82734 SOS 21313 HAS SOPS 21313 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13627.313
AT ITER 1259 NEW BEST:: SOT 82720 SOS 21285 HAS SOPS 21285 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13613.285
AT ITER 1261 NEW BEST:: SOT 82708 SOS 21266 HAS SOPS 21266 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13594.266
AT ITER 1280 NEW BEST:: SOT 82711 SOS 21234 HAS SOPS 21234 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13581.234
AT ITER 1310 NEW BEST:: SOT 82709 SOS 21232 HAS SOPS 21232 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13581.232
AT ITER 1313 NEW BEST:: SOT 82701 SOS 21212 HAS SOPS 21212 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13565.212
AT ITER 1317 NEW BEST:: SOT 82635 SOS 21146 HAS SOPS 21146 HAS SOUS 13478 HAS SOUPS 13478 WITH SCORE 13499.146
AT ITER 1350 NEW BEST:: SOT 82621 SOS 21132 HAS SOPS 21132 HAS SOUS 13464 HAS SOUPS 13464 WITH SCORE 13485.132
AT ITER 1352 NEW BEST:: SOT 82594 SOS 21097 HAS SOPS 21097 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13465.097
AT ITER 1356 NEW BEST:: SOT 82549 SOS 21007 HAS SOPS 21007 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13430.007
AT ITER 1364 NEW BEST:: SOT 82479 SOS 20924 HAS SOPS 20924 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13411.924
AT ITER 1422 NEW BEST:: SOT 82450 SOS 20882 HAS SOPS 20882 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13369.882
AT ITER 1429 NEW BEST:: SOT 82444 SOS 20870 HAS SOPS 20870 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13356.87
AT ITER 1443 NEW BEST:: SOT 82479 SOS 20806 HAS SOPS 20806 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13329.806
AT ITER 1448 NEW BEST:: SOT 82414 SOS 20741 HAS SOPS 20741 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13311.741
AT ITER 1464 NEW BEST:: SOT 82408 SOS 20729 HAS SOPS 20729 HAS SOUS 13279 HAS SOUPS 13279 WITH SCORE 13299.729
AT ITER 1472 NEW BEST:: SOT 82436 SOS 20785 HAS SOPS 20785 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13274.785
AT ITER 1475 NEW BEST:: SOT 82423 SOS 20759 HAS SOPS 20759 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13261.759
AT ITER 1489 NEW BEST:: SOT 82444 SOS 20729 HAS SOPS 20729 HAS SOUS 13211 HAS SOUPS 13211 WITH SCORE 13231.729
AT ITER 1491 NEW BEST:: SOT 82443 SOS 20703 HAS SOPS 20703 HAS SOUS 13209 HAS SOUPS 13209 WITH SCORE 13229.703
AT ITER 1496 NEW BEST:: SOT 82371 SOS 20653 HAS SOPS 20653 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13196.653
AT ITER 1503 NEW BEST:: SOT 82361 SOS 20646 HAS SOPS 20646 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13186.646
AT ITER 1506 NEW BEST:: SOT 82361 SOS 20646 HAS SOPS 20646 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13169.646
AT ITER 1513 NEW BEST:: SOT 82349 SOS 20622 HAS SOPS 20622 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13156.622
AT ITER 1520 NEW BEST:: SOT 82351 SOS 20626 HAS SOPS 20626 HAS SOUS 13130 HAS SOUPS 13130 WITH SCORE 13150.626
AT ITER 1531 NEW BEST:: SOT 82220 SOS 20471 HAS SOPS 20471 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13102.471
AT ITER 1569 NEW BEST:: SOT 82197 SOS 20425 HAS SOPS 20425 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13079.425
AT ITER 1577 NEW BEST:: SOT 82211 SOS 20392 HAS SOPS 20392 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13032.392
AT ITER 1581 NEW BEST:: SOT 82232 SOS 20260 HAS SOPS 20260 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12906.26
AT ITER 1586 NEW BEST:: SOT 82229 SOS 20251 HAS SOPS 20251 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12900.251
AT ITER 1592 NEW BEST:: SOT 82220 SOS 20233 HAS SOPS 20233 HAS SOUS 12862 HAS SOUPS 12862 WITH SCORE 12882.233
AT ITER 1595 NEW BEST:: SOT 82208 SOS 20221 HAS SOPS 20221 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12870.221
AT ITER 1604 NEW BEST:: SOT 82202 SOS 20212 HAS SOPS 20212 HAS SOUS 12844 HAS SOUPS 12844 WITH SCORE 12864.212
AT ITER 1607 NEW BEST:: SOT 82167 SOS 20075 HAS SOPS 20075 HAS SOUS 12749 HAS SOUPS 12749 WITH SCORE 12769.075
AT ITER 1616 NEW BEST:: SOT 82167 SOS 20055 HAS SOPS 20055 HAS SOUS 12739 HAS SOUPS 12739 WITH SCORE 12759.055
AT ITER 1631 NEW BEST:: SOT 82145 SOS 20011 HAS SOPS 20011 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12715.011
AT ITER 1633 NEW BEST:: SOT 82135 SOS 19991 HAS SOPS 19991 HAS SOUS 12675 HAS SOUPS 12675 WITH SCORE 12694.991
AT ITER 1658 NEW BEST:: SOT 82131 SOS 19983 HAS SOPS 19983 HAS SOUS 12669 HAS SOUPS 12669 WITH SCORE 12688.983
AT ITER 1699 NEW BEST:: SOT 82131 SOS 19983 HAS SOPS 19983 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12679.983
AT ITER 1719 NEW BEST:: SOT 82091 SOS 20010 HAS SOPS 20010 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12678.01
AT ITER 1725 NEW BEST:: SOT 82107 SOS 20010 HAS SOPS 20010 HAS SOUS 12651 HAS SOUPS 12651 WITH SCORE 12671.01
AT ITER 1742 NEW BEST:: SOT 82106 SOS 20009 HAS SOPS 20009 HAS SOUS 12651 HAS SOUPS 12651 WITH SCORE 12671.009
AT ITER 1753 NEW BEST:: SOT 82085 SOS 19981 HAS SOPS 19981 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12639.981
AT ITER 1774 NEW BEST:: SOT 82079 SOS 19975 HAS SOPS 19975 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12633.975
AT ITER 1777 NEW BEST:: SOT 81990 SOS 19889 HAS SOPS 19889 HAS SOUS 12555 HAS SOUPS 12555 WITH SCORE 12574.889
AT ITER 1786 NEW BEST:: SOT 81971 SOS 19870 HAS SOPS 19870 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12561.87
AT ITER 1789 NEW BEST:: SOT 81992 SOS 19956 HAS SOPS 19956 HAS SOUS 12537 HAS SOUPS 12537 WITH SCORE 12556.956
AT ITER 1815 NEW BEST:: SOT 81965 SOS 19902 HAS SOPS 19902 HAS SOUS 12510 HAS SOUPS 12510 WITH SCORE 12529.902
AT ITER 1862 NEW BEST:: SOT 81965 SOS 19874 HAS SOPS 19874 HAS SOUS 12510 HAS SOUPS 12510 WITH SCORE 12529.874
AT ITER 1876 NEW BEST:: SOT 81951 SOS 19860 HAS SOPS 19860 HAS SOUS 12458 HAS SOUPS 12458 WITH SCORE 12477.86
AT ITER 1878 NEW BEST:: SOT 81921 SOS 19830 HAS SOPS 19830 HAS SOUS 12458 HAS SOUPS 12458 WITH SCORE 12477.83
AT ITER 1890 NEW BEST:: SOT 81951 SOS 19777 HAS SOPS 19777 HAS SOUS 12405 HAS SOUPS 12405 WITH SCORE 12424.777
AT ITER 1894 NEW BEST:: SOT 81935 SOS 19761 HAS SOPS 19761 HAS SOUS 12389 HAS SOUPS 12389 WITH SCORE 12408.761
AT ITER 1898 NEW BEST:: SOT 81872 SOS 19660 HAS SOPS 19660 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12309.66
AT ITER 1912 NEW BEST:: SOT 81869 SOS 19657 HAS SOPS 19657 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12303.657
AT ITER 1942 NEW BEST:: SOT 81788 SOS 19572 HAS SOPS 19572 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12299.572
AT ITER 1945 NEW BEST:: SOT 81783 SOS 19562 HAS SOPS 19562 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12279.562
AT ITER 1982 NEW BEST:: SOT 81769 SOS 19559 HAS SOPS 19559 HAS SOUS 12258 HAS SOUPS 12258 WITH SCORE 12277.559
AT ITER 1991 NEW BEST:: SOT 81719 SOS 20537 HAS SOPS 20537 HAS SOUS 12244 HAS SOUPS 12244 WITH SCORE 12264.537
AT ITER 2001 NEW BEST:: SOT 81691 SOS 20509 HAS SOPS 20509 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12236.509
AT ITER 2004 NEW BEST:: SOT 81700 SOS 20518 HAS SOPS 20518 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12230.518
AT ITER 2005 NEW BEST:: SOT 81661 SOS 20473 HAS SOPS 20473 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12218.473
AT ITER 2016 NEW BEST:: SOT 81604 SOS 20413 HAS SOPS 20413 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12193.413
AT ITER 2036 NEW BEST:: SOT 81601 SOS 20409 HAS SOPS 20409 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12187.409
AT ITER 2045 NEW BEST:: SOT 81584 SOS 20340 HAS SOPS 20340 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12135.34
AT ITER 2050 NEW BEST:: SOT 81540 SOS 20315 HAS SOPS 20315 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12117.315
AT ITER 2051 NEW BEST:: SOT 81521 SOS 20280 HAS SOPS 20280 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12101.28
AT ITER 2053 NEW BEST:: SOT 81511 SOS 20335 HAS SOPS 20335 HAS SOUS 12058 HAS SOUPS 12058 WITH SCORE 12078.335
AT ITER 2063 NEW BEST:: SOT 81511 SOS 20333 HAS SOPS 20333 HAS SOUS 12056 HAS SOUPS 12056 WITH SCORE 12076.333
AT ITER 2082 NEW BEST:: SOT 81511 SOS 20325 HAS SOPS 20325 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12068.325
AT ITER 2116 NEW BEST:: SOT 81495 SOS 20321 HAS SOPS 20321 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12064.321
AT ITER 2183 NEW BEST:: SOT 81495 SOS 20321 HAS SOPS 20321 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12052.321
AT ITER 2192 NEW BEST:: SOT 81535 SOS 20379 HAS SOPS 20379 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12041.379
AT ITER 2236 NEW BEST:: SOT 81550 SOS 20404 HAS SOPS 20404 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12026.404
AT ITER 2263 NEW BEST:: SOT 81547 SOS 20373 HAS SOPS 20373 HAS SOUS 11991 HAS SOUPS 11991 WITH SCORE 12011.373
AT ITER 2284 NEW BEST:: SOT 81547 SOS 20369 HAS SOPS 20369 HAS SOUS 11991 HAS SOUPS 11991 WITH SCORE 12011.369
AT ITER 2286 NEW BEST:: SOT 81509 SOS 20273 HAS SOPS 20273 HAS SOUS 11937 HAS SOUPS 11937 WITH SCORE 11957.273
AT ITER 2307 NEW BEST:: SOT 81503 SOS 20261 HAS SOPS 20261 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11953.261
AT ITER 2325 NEW BEST:: SOT 81503 SOS 20162 HAS SOPS 20162 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11953.162
AT ITER 2341 NEW BEST:: SOT 81541 SOS 20050 HAS SOPS 20050 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11941.05
AT ITER 2344 NEW BEST:: SOT 81511 SOS 20030 HAS SOPS 20030 HAS SOUS 11901 HAS SOUPS 11901 WITH SCORE 11921.03
AT ITER 2345 NEW BEST:: SOT 81507 SOS 20043 HAS SOPS 20043 HAS SOUS 11893 HAS SOUPS 11893 WITH SCORE 11913.043
AT ITER 2361 NEW BEST:: SOT 81501 SOS 20034 HAS SOPS 20034 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11904.034
AT ITER 2364 NEW BEST:: SOT 81551 SOS 19159 HAS SOPS 19159 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11902.159
AT ITER 2415 NEW BEST:: SOT 81548 SOS 19153 HAS SOPS 19153 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11896.153
AT ITER 2418 NEW BEST:: SOT 81540 SOS 19145 HAS SOPS 19145 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11888.145
AT ITER 2430 NEW BEST:: SOT 81505 SOS 19294 HAS SOPS 19294 HAS SOUS 11844 HAS SOUPS 11844 WITH SCORE 11863.294
AT ITER 2447 NEW BEST:: SOT 81435 SOS 19260 HAS SOPS 19260 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11802.26
AT ITER 2472 NEW BEST:: SOT 81418 SOS 19241 HAS SOPS 19241 HAS SOUS 11764 HAS SOUPS 11764 WITH SCORE 11783.241
AT ITER 2486 NEW BEST:: SOT 81417 SOS 19240 HAS SOPS 19240 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11780.24
AT ITER 2493 NEW BEST:: SOT 81417 SOS 19236 HAS SOPS 19236 HAS SOUS 11757 HAS SOUPS 11757 WITH SCORE 11776.236
AT ITER 2497 NEW BEST:: SOT 81410 SOS 19190 HAS SOPS 19190 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11730.19
AT ITER 2500 NEW BEST:: SOT 81385 SOS 19165 HAS SOPS 19165 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11705.165
AT ITER 2553 NEW BEST:: SOT 81329 SOS 19053 HAS SOPS 19053 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11703.053
AT ITER 2558 NEW BEST:: SOT 81260 SOS 18984 HAS SOPS 18984 HAS SOUS 11655 HAS SOUPS 11655 WITH SCORE 11673.984
AT ITER 2560 NEW BEST:: SOT 81248 SOS 18924 HAS SOPS 18924 HAS SOUS 11607 HAS SOUPS 11607 WITH SCORE 11625.924
AT ITER 2574 NEW BEST:: SOT 81247 SOS 18835 HAS SOPS 18835 HAS SOUS 11596 HAS SOUPS 11596 WITH SCORE 11614.835
AT ITER 2594 NEW BEST:: SOT 81258 SOS 18821 HAS SOPS 18821 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11600.821
AT ITER 2596 NEW BEST:: SOT 81273 SOS 18851 HAS SOPS 18851 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11599.851
AT ITER 2625 NEW BEST:: SOT 81244 SOS 18822 HAS SOPS 18822 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11570.822
AT ITER 2648 NEW BEST:: SOT 81232 SOS 18794 HAS SOPS 18794 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11542.794
AT ITER 2656 NEW BEST:: SOT 81241 SOS 17702 HAS SOPS 17702 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11456.702
AT ITER 2698 NEW BEST:: SOT 81200 SOS 17945 HAS SOPS 17945 HAS SOUS 11398 HAS SOUPS 11398 WITH SCORE 11415.945
AT ITER 2761 NEW BEST:: SOT 81188 SOS 17969 HAS SOPS 17969 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11411.969
AT ITER 2762 NEW BEST:: SOT 81198 SOS 17932 HAS SOPS 17932 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11393.932
AT ITER 2772 NEW BEST:: SOT 81186 SOS 17927 HAS SOPS 17927 HAS SOUS 11371 HAS SOUPS 11371 WITH SCORE 11388.927
AT ITER 2792 NEW BEST:: SOT 81160 SOS 17977 HAS SOPS 17977 HAS SOUS 11363 HAS SOUPS 11363 WITH SCORE 11380.977
AT ITER 2802 NEW BEST:: SOT 81172 SOS 17977 HAS SOPS 17977 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11368.977
AT ITER 2816 NEW BEST:: SOT 81165 SOS 17963 HAS SOPS 17963 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11354.963
AT ITER 2842 NEW BEST:: SOT 81112 SOS 17910 HAS SOPS 17910 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11301.91
AT ITER 2924 NEW BEST:: SOT 81114 SOS 17891 HAS SOPS 17891 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11269.891
AT ITER 2984 NEW BEST:: SOT 81114 SOS 17878 HAS SOPS 17878 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11256.878
AT ITER 3015 NEW BEST:: SOT 81036 SOS 17780 HAS SOPS 17780 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11180.78
AT ITER 3017 NEW BEST:: SOT 81004 SOS 17748 HAS SOPS 17748 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11148.748
AT ITER 3021 NEW BEST:: SOT 81059 SOS 17748 HAS SOPS 17748 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11126.748
AT ITER 3053 NEW BEST:: SOT 81016 SOS 17715 HAS SOPS 17715 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11121.715
AT ITER 3111 NEW BEST:: SOT 80989 SOS 17663 HAS SOPS 17663 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11119.663
AT ITER 3116 NEW BEST:: SOT 80979 SOS 17643 HAS SOPS 17643 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11109.643
AT ITER 3162 NEW BEST:: SOT 80958 SOS 17582 HAS SOPS 17582 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11088.582
AT ITER 3171 NEW BEST:: SOT 80941 SOS 17562 HAS SOPS 17562 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11071.562
AT ITER 3205 NEW BEST:: SOT 80936 SOS 17557 HAS SOPS 17557 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11066.557
AT ITER 3218 NEW BEST:: SOT 80934 SOS 17555 HAS SOPS 17555 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11064.555
AT ITER 3242 NEW BEST:: SOT 80929 SOS 17631 HAS SOPS 17631 HAS SOUS 11039 HAS SOUPS 11039 WITH SCORE 11056.631
AT ITER 3245 NEW BEST:: SOT 80928 SOS 17630 HAS SOPS 17630 HAS SOUS 11024 HAS SOUPS 11024 WITH SCORE 11041.63
AT ITER 3251 NEW BEST:: SOT 80945 SOS 17645 HAS SOPS 17645 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11038.645
AT ITER 3346 NEW BEST:: SOT 80935 SOS 17625 HAS SOPS 17625 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11028.625
AT ITER 3349 NEW BEST:: SOT 80943 SOS 17606 HAS SOPS 17606 HAS SOUS 10992 HAS SOUPS 10992 WITH SCORE 11009.606
AT ITER 3358 NEW BEST:: SOT 80943 SOS 17600 HAS SOPS 17600 HAS SOUS 10986 HAS SOUPS 10986 WITH SCORE 11003.6
AT ITER 3366 NEW BEST:: SOT 80943 SOS 17594 HAS SOPS 17594 HAS SOUS 10981 HAS SOUPS 10981 WITH SCORE 10998.594
AT ITER 3368 NEW BEST:: SOT 80929 SOS 17578 HAS SOPS 17578 HAS SOUS 10965 HAS SOUPS 10965 WITH SCORE 10982.578
AT ITER 3391 NEW BEST:: SOT 80919 SOS 17558 HAS SOPS 17558 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10962.558
AT ITER 3429 NEW BEST:: SOT 80919 SOS 17557 HAS SOPS 17557 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10962.557
AT ITER 3434 NEW BEST:: SOT 80912 SOS 17528 HAS SOPS 17528 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10933.528
AT ITER 3445 NEW BEST:: SOT 80910 SOS 17526 HAS SOPS 17526 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10931.526
AT ITER 3446 NEW BEST:: SOT 80910 SOS 17526 HAS SOPS 17526 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10929.526
AT ITER 3452 NEW BEST:: SOT 80866 SOS 17485 HAS SOPS 17485 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10887.485
AT ITER 3510 NEW BEST:: SOT 80870 SOS 17493 HAS SOPS 17493 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10884.493
AT ITER 3518 NEW BEST:: SOT 80866 SOS 17489 HAS SOPS 17489 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10880.489
AT ITER 3537 NEW BEST:: SOT 80793 SOS 17404 HAS SOPS 17404 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10844.404
AT ITER 3577 NEW BEST:: SOT 80733 SOS 17344 HAS SOPS 17344 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10794.344
AT ITER 3602 NEW BEST:: SOT 80723 SOS 17324 HAS SOPS 17324 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10794.324
AT ITER 3614 NEW BEST:: SOT 80690 SOS 17291 HAS SOPS 17291 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10793.291
AT ITER 3629 NEW BEST:: SOT 80688 SOS 17295 HAS SOPS 17295 HAS SOUS 10774 HAS SOUPS 10774 WITH SCORE 10791.295
AT ITER 3652 NEW BEST:: SOT 80702 SOS 17269 HAS SOPS 17269 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10765.269
AT ITER 3678 NEW BEST:: SOT 80694 SOS 17261 HAS SOPS 17261 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10757.261
AT ITER 3705 NEW BEST:: SOT 80693 SOS 17260 HAS SOPS 17260 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10756.26
AT ITER 3708 NEW BEST:: SOT 80692 SOS 17259 HAS SOPS 17259 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10755.259
AT ITER 3711 NEW BEST:: SOT 80692 SOS 17259 HAS SOPS 17259 HAS SOUS 10712 HAS SOUPS 10712 WITH SCORE 10729.259
AT ITER 3722 NEW BEST:: SOT 80682 SOS 17249 HAS SOPS 17249 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10719.249
AT ITER 3726 NEW BEST:: SOT 80669 SOS 17236 HAS SOPS 17236 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10706.236
AT ITER 3760 NEW BEST:: SOT 80666 SOS 17230 HAS SOPS 17230 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10703.23
AT ITER 3777 NEW BEST:: SOT 80662 SOS 17222 HAS SOPS 17222 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10695.222
AT ITER 3785 NEW BEST:: SOT 80627 SOS 17152 HAS SOPS 17152 HAS SOUS 10669 HAS SOUPS 10669 WITH SCORE 10686.152
AT ITER 3793 NEW BEST:: SOT 80627 SOS 17148 HAS SOPS 17148 HAS SOUS 10665 HAS SOUPS 10665 WITH SCORE 10682.148
AT ITER 3800 NEW BEST:: SOT 80588 SOS 17106 HAS SOPS 17106 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10640.106
AT ITER 3810 NEW BEST:: SOT 80446 SOS 16986 HAS SOPS 16986 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10519.986
AT ITER 3816 NEW BEST:: SOT 80446 SOS 16979 HAS SOPS 16979 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10519.979
AT ITER 3833 NEW BEST:: SOT 80446 SOS 16979 HAS SOPS 16979 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10511.979
AT ITER 3837 NEW BEST:: SOT 80435 SOS 16909 HAS SOPS 16909 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10463.909
AT ITER 3851 NEW BEST:: SOT 80413 SOS 16887 HAS SOPS 16887 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10452.887
AT ITER 3906 NEW BEST:: SOT 80418 SOS 16897 HAS SOPS 16897 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10422.897
AT ITER 3930 NEW BEST:: SOT 80423 SOS 16893 HAS SOPS 16893 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10420.893
AT ITER 3943 NEW BEST:: SOT 80439 SOS 16866 HAS SOPS 16866 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10413.866
AT ITER 3944 NEW BEST:: SOT 80439 SOS 16814 HAS SOPS 16814 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10387.814
AT ITER 3958 NEW BEST:: SOT 80431 SOS 16798 HAS SOPS 16798 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10379.798
AT ITER 3963 NEW BEST:: SOT 80419 SOS 16817 HAS SOPS 16817 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10367.817
AT ITER 3997 NEW BEST:: SOT 80408 SOS 16795 HAS SOPS 16795 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10364.795
AT ITER 4056 NEW BEST:: SOT 80405 SOS 16791 HAS SOPS 16791 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10361.791
AT ITER 4090 NEW BEST:: SOT 80404 SOS 16790 HAS SOPS 16790 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10360.79
AT ITER 4133 NEW BEST:: SOT 80359 SOS 17232 HAS SOPS 17232 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10360.232
AT ITER 4157 NEW BEST:: SOT 80322 SOS 17158 HAS SOPS 17158 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10358.158
AT ITER 4171 NEW BEST:: SOT 80318 SOS 17150 HAS SOPS 17150 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10350.15
AT ITER 4252 NEW BEST:: SOT 80318 SOS 17125 HAS SOPS 17125 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10325.125
AT ITER 4265 NEW BEST:: SOT 80269 SOS 17038 HAS SOPS 17038 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10287.038
AT ITER 4281 NEW BEST:: SOT 80269 SOS 17033 HAS SOPS 17033 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10282.033
AT ITER 4285 NEW BEST:: SOT 80269 SOS 17033 HAS SOPS 17033 HAS SOUS 10254 HAS SOUPS 10254 WITH SCORE 10271.033
AT ITER 4343 NEW BEST:: SOT 80268 SOS 17012 HAS SOPS 17012 HAS SOUS 10252 HAS SOUPS 10252 WITH SCORE 10269.012
AT ITER 4359 NEW BEST:: SOT 80164 SOS 16804 HAS SOPS 16804 HAS SOUS 10224 HAS SOUPS 10224 WITH SCORE 10240.804
AT ITER 4394 NEW BEST:: SOT 80131 SOS 16738 HAS SOPS 16738 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10207.738
AT ITER 4402 NEW BEST:: SOT 80128 SOS 16732 HAS SOPS 16732 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10206.732
AT ITER 4426 NEW BEST:: SOT 80128 SOS 16609 HAS SOPS 16609 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10206.609
AT ITER 4448 NEW BEST:: SOT 80089 SOS 16531 HAS SOPS 16531 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10148.531
AT ITER 4472 NEW BEST:: SOT 80085 SOS 16523 HAS SOPS 16523 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10140.523
AT ITER 4492 NEW BEST:: SOT 80068 SOS 16506 HAS SOPS 16506 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10123.506
AT ITER 4540 NEW BEST:: SOT 80064 SOS 16497 HAS SOPS 16497 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10122.497
AT ITER 4557 NEW BEST:: SOT 80061 SOS 16491 HAS SOPS 16491 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10117.491
AT ITER 4598 NEW BEST:: SOT 80051 SOS 16476 HAS SOPS 16476 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10107.476
AT ITER 4629 NEW BEST:: SOT 80046 SOS 16442 HAS SOPS 16442 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10079.442
AT ITER 4668 NEW BEST:: SOT 80046 SOS 16441 HAS SOPS 16441 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10078.441
AT ITER 4688 NEW BEST:: SOT 79989 SOS 16684 HAS SOPS 16684 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10023.684
AT ITER 4695 NEW BEST:: SOT 79948 SOS 16643 HAS SOPS 16643 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10019.643
AT ITER 4711 NEW BEST:: SOT 79971 SOS 16689 HAS SOPS 16689 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10018.689
AT ITER 4753 NEW BEST:: SOT 79945 SOS 16677 HAS SOPS 16677 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10014.677
AT ITER 4759 NEW BEST:: SOT 79959 SOS 16691 HAS SOPS 16691 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10000.691
AT ITER 4784 NEW BEST:: SOT 79952 SOS 16684 HAS SOPS 16684 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9991.684
AT ITER 4795 NEW BEST:: SOT 79894 SOS 16625 HAS SOPS 16625 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9964.625
AT ITER 4851 NEW BEST:: SOT 79894 SOS 16625 HAS SOPS 16625 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9959.625
AT ITER 4869 NEW BEST:: SOT 79853 SOS 16646 HAS SOPS 16646 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9918.646
AT ITER 4894 NEW BEST:: SOT 79849 SOS 16642 HAS SOPS 16642 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9914.642
AT ITER 4938 NEW BEST:: SOT 79843 SOS 16641 HAS SOPS 16641 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9908.641
AT ITER 4956 NEW BEST:: SOT 79838 SOS 16636 HAS SOPS 16636 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9908.636
AT ITER 4967 NEW BEST:: SOT 79831 SOS 16631 HAS SOPS 16631 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9903.631
AT ITER 4979 NEW BEST:: SOT 79809 SOS 16624 HAS SOPS 16624 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9896.624
AT ITER 4988 NEW BEST:: SOT 79762 SOS 16530 HAS SOPS 16530 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9842.53
AT ITER 4998 NEW BEST:: SOT 79768 SOS 16522 HAS SOPS 16522 HAS SOUS 9818 HAS SOUPS 9818 WITH SCORE 9834.522
AT ITER 5009 NEW BEST:: SOT 79765 SOS 16516 HAS SOPS 16516 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9828.516
AT ITER 5022 NEW BEST:: SOT 79759 SOS 16504 HAS SOPS 16504 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9816.504
AT ITER 5088 NEW BEST:: SOT 79753 SOS 16492 HAS SOPS 16492 HAS SOUS 9788 HAS SOUPS 9788 WITH SCORE 9804.492
AT ITER 5108 NEW BEST:: SOT 79727 SOS 16775 HAS SOPS 16775 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9795.775
AT ITER 5170 NEW BEST:: SOT 79723 SOS 16772 HAS SOPS 16772 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9791.772
AT ITER 5204 NEW BEST:: SOT 79671 SOS 16957 HAS SOPS 16957 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9765.957
AT ITER 5298 NEW BEST:: SOT 79657 SOS 16929 HAS SOPS 16929 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9747.929
AT ITER 5301 NEW BEST:: SOT 79631 SOS 16903 HAS SOPS 16903 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9747.903
AT ITER 5302 NEW BEST:: SOT 79626 SOS 16889 HAS SOPS 16889 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9733.889
AT ITER 5311 NEW BEST:: SOT 79626 SOS 16883 HAS SOPS 16883 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9727.883
AT ITER 5412 NEW BEST:: SOT 79626 SOS 16878 HAS SOPS 16878 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9722.878
AT ITER 5426 NEW BEST:: SOT 79626 SOS 16874 HAS SOPS 16874 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9722.874
AT ITER 5455 NEW BEST:: SOT 79626 SOS 16874 HAS SOPS 16874 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9720.874
AT ITER 5525 NEW BEST:: SOT 79625 SOS 16873 HAS SOPS 16873 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9719.873
AT ITER 5565 NEW BEST:: SOT 79618 SOS 16859 HAS SOPS 16859 HAS SOUS 9689 HAS SOUPS 9689 WITH SCORE 9705.859
AT ITER 5598 NEW BEST:: SOT 79598 SOS 16906 HAS SOPS 16906 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9696.906
AT ITER 5614 NEW BEST:: SOT 79598 SOS 16902 HAS SOPS 16902 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9677.902
AT ITER 5628 NEW BEST:: SOT 79547 SOS 16808 HAS SOPS 16808 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9631.808
AT ITER 5832 NEW BEST:: SOT 79503 SOS 16958 HAS SOPS 16958 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9608.958
AT ITER 5873 NEW BEST:: SOT 79474 SOS 16924 HAS SOPS 16924 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9598.924
AT ITER 5876 NEW BEST:: SOT 79471 SOS 16918 HAS SOPS 16918 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9586.918
AT ITER 5903 NEW BEST:: SOT 79471 SOS 16918 HAS SOPS 16918 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9578.918
AT ITER 5926 NEW BEST:: SOT 79473 SOS 16922 HAS SOPS 16922 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9562.922
AT ITER 5944 NEW BEST:: SOT 79473 SOS 16922 HAS SOPS 16922 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9560.922
AT ITER 5966 NEW BEST:: SOT 79491 SOS 16958 HAS SOPS 16958 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9534.958
AT ITER 5969 NEW BEST:: SOT 79489 SOS 16954 HAS SOPS 16954 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9532.954
AT ITER 5996 NEW BEST:: SOT 79489 SOS 16954 HAS SOPS 16954 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9531.954
AT ITER 6016 NEW BEST:: SOT 79488 SOS 16382 HAS SOPS 16382 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9506.382
AT ITER 6062 NEW BEST:: SOT 79488 SOS 16382 HAS SOPS 16382 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9504.382
AT ITER 6103 NEW BEST:: SOT 79485 SOS 16376 HAS SOPS 16376 HAS SOUS 9485 HAS SOUPS 9485 WITH SCORE 9501.376
AT ITER 6118 NEW BEST:: SOT 79484 SOS 16387 HAS SOPS 16387 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9500.387
AT ITER 6275 NEW BEST:: SOT 79480 SOS 16379 HAS SOPS 16379 HAS SOUS 9478 HAS SOUPS 9478 WITH SCORE 9494.379
AT ITER 6277 NEW BEST:: SOT 79442 SOS 16303 HAS SOPS 16303 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9418.303
AT ITER 6305 NEW BEST:: SOT 79441 SOS 16301 HAS SOPS 16301 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9416.301
AT ITER 6312 NEW BEST:: SOT 79441 SOS 16301 HAS SOPS 16301 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9415.301
AT ITER 6317 NEW BEST:: SOT 79438 SOS 16295 HAS SOPS 16295 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9406.295
AT ITER 6380 NEW BEST:: SOT 79438 SOS 16295 HAS SOPS 16295 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9395.295
AT ITER 6424 NEW BEST:: SOT 79428 SOS 16285 HAS SOPS 16285 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9385.285
AT ITER 6462 NEW BEST:: SOT 79420 SOS 16268 HAS SOPS 16268 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9368.268
AT ITER 6467 NEW BEST:: SOT 79367 SOS 16474 HAS SOPS 16474 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9363.474
AT ITER 6506 NEW BEST:: SOT 79362 SOS 16469 HAS SOPS 16469 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9358.469
AT ITER 6510 NEW BEST:: SOT 79359 SOS 16487 HAS SOPS 16487 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9355.487
AT ITER 6562 NEW BEST:: SOT 79358 SOS 16485 HAS SOPS 16485 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9353.485
AT ITER 6589 NEW BEST:: SOT 79355 SOS 16482 HAS SOPS 16482 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9350.482
AT ITER 6599 NEW BEST:: SOT 79271 SOS 16422 HAS SOPS 16422 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9283.422
AT ITER 6679 NEW BEST:: SOT 79270 SOS 16420 HAS SOPS 16420 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9281.42
AT ITER 6721 NEW BEST:: SOT 79274 SOS 16428 HAS SOPS 16428 HAS SOUS 9261 HAS SOUPS 9261 WITH SCORE 9277.428
AT ITER 6751 NEW BEST:: SOT 79252 SOS 16400 HAS SOPS 16400 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9271.4
AT ITER 6783 NEW BEST:: SOT 79246 SOS 16394 HAS SOPS 16394 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9271.394
AT ITER 6803 NEW BEST:: SOT 79230 SOS 16378 HAS SOPS 16378 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9259.378
AT ITER 6816 NEW BEST:: SOT 79229 SOS 16376 HAS SOPS 16376 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9257.376
AT ITER 6859 NEW BEST:: SOT 79224 SOS 16361 HAS SOPS 16361 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9247.361
AT ITER 6861 NEW BEST:: SOT 79217 SOS 16354 HAS SOPS 16354 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9240.354
AT ITER 6945 NEW BEST:: SOT 79212 SOS 16349 HAS SOPS 16349 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9240.349
AT ITER 6949 NEW BEST:: SOT 79199 SOS 16336 HAS SOPS 16336 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9227.336
AT ITER 7014 NEW BEST:: SOT 79193 SOS 16324 HAS SOPS 16324 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9223.324
AT ITER 7067 NEW BEST:: SOT 79200 SOS 16338 HAS SOPS 16338 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9219.338
AT ITER 7084 NEW BEST:: SOT 79200 SOS 16338 HAS SOPS 16338 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9216.338
AT ITER 7115 NEW BEST:: SOT 79198 SOS 16334 HAS SOPS 16334 HAS SOUS 9193 HAS SOUPS 9193 WITH SCORE 9209.334
AT ITER 7141 NEW BEST:: SOT 79155 SOS 17025 HAS SOPS 17025 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9204.025
AT ITER 7170 NEW BEST:: SOT 79155 SOS 17009 HAS SOPS 17009 HAS SOUS 9171 HAS SOUPS 9171 WITH SCORE 9188.009
AT ITER 7201 NEW BEST:: SOT 79161 SOS 16998 HAS SOPS 16998 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9179.998
AT ITER 7243 NEW BEST:: SOT 79136 SOS 16944 HAS SOPS 16944 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9139.944
AT ITER 7289 NEW BEST:: SOT 79132 SOS 16936 HAS SOPS 16936 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9139.936
AT ITER 7333 NEW BEST:: SOT 79132 SOS 16932 HAS SOPS 16932 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9139.932
AT ITER 7410 NEW BEST:: SOT 79135 SOS 16916 HAS SOPS 16916 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9123.916
AT ITER 7444 NEW BEST:: SOT 79140 SOS 16464 HAS SOPS 16464 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9106.464
AT ITER 7520 NEW BEST:: SOT 79149 SOS 16460 HAS SOPS 16460 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9102.46
AT ITER 7528 NEW BEST:: SOT 79149 SOS 16459 HAS SOPS 16459 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9101.459
AT ITER 7531 NEW BEST:: SOT 79172 SOS 16482 HAS SOPS 16482 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9079.482
AT ITER 7555 NEW BEST:: SOT 79170 SOS 16481 HAS SOPS 16481 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9078.481
AT ITER 7558 NEW BEST:: SOT 79170 SOS 16466 HAS SOPS 16466 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9078.466
AT ITER 7636 NEW BEST:: SOT 79162 SOS 16456 HAS SOPS 16456 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9068.456
AT ITER 7710 NEW BEST:: SOT 79159 SOS 16459 HAS SOPS 16459 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9065.459
AT ITER 7735 NEW BEST:: SOT 79152 SOS 16421 HAS SOPS 16421 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9046.421
AT ITER 7760 NEW BEST:: SOT 79141 SOS 16410 HAS SOPS 16410 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9037.41
AT ITER 7842 NEW BEST:: SOT 79130 SOS 16388 HAS SOPS 16388 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9033.388
AT ITER 7850 NEW BEST:: SOT 79127 SOS 16382 HAS SOPS 16382 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9030.382
AT ITER 7873 NEW BEST:: SOT 79118 SOS 16364 HAS SOPS 16364 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9012.364
AT ITER 7892 NEW BEST:: SOT 79088 SOS 16334 HAS SOPS 16334 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9012.334
AT ITER 7946 NEW BEST:: SOT 79094 SOS 16326 HAS SOPS 16326 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 9004.326
AT ITER 7962 NEW BEST:: SOT 79086 SOS 16318 HAS SOPS 16318 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8999.318
AT ITER 8004 NEW BEST:: SOT 79074 SOS 16306 HAS SOPS 16306 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8996.306
AT ITER 8017 NEW BEST:: SOT 79082 SOS 16305 HAS SOPS 16305 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8989.305
AT ITER 8053 NEW BEST:: SOT 79071 SOS 16272 HAS SOPS 16272 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8967.272
AT ITER 8074 NEW BEST:: SOT 79070 SOS 16270 HAS SOPS 16270 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8966.27
AT ITER 8079 NEW BEST:: SOT 79040 SOS 16240 HAS SOPS 16240 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8954.24
AT ITER 8273 NEW BEST:: SOT 79068 SOS 16216 HAS SOPS 16216 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8952.216
AT ITER 8303 NEW BEST:: SOT 79043 SOS 16185 HAS SOPS 16185 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8940.185
AT ITER 8310 NEW BEST:: SOT 79040 SOS 16182 HAS SOPS 16182 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8937.182
AT ITER 8316 NEW BEST:: SOT 79036 SOS 16145 HAS SOPS 16145 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8933.145
AT ITER 8372 NEW BEST:: SOT 79030 SOS 16151 HAS SOPS 16151 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8927.151
AT ITER 8401 NEW BEST:: SOT 78959 SOS 16031 HAS SOPS 16031 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8907.031
AT ITER 8414 NEW BEST:: SOT 78959 SOS 16029 HAS SOPS 16029 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8907.029
AT ITER 8419 NEW BEST:: SOT 78957 SOS 16027 HAS SOPS 16027 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8905.027
AT ITER 8421 NEW BEST:: SOT 78949 SOS 16011 HAS SOPS 16011 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8889.011
AT ITER 8430 NEW BEST:: SOT 78943 SOS 15999 HAS SOPS 15999 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8876.999
AT ITER 8491 NEW BEST:: SOT 78935 SOS 15959 HAS SOPS 15959 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8860.959
AT ITER 8495 NEW BEST:: SOT 78934 SOS 15957 HAS SOPS 15957 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8858.957
AT ITER 8514 NEW BEST:: SOT 78941 SOS 15964 HAS SOPS 15964 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8822.964
AT ITER 8530 NEW BEST:: SOT 78867 SOS 15870 HAS SOPS 15870 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8788.87
AT ITER 8554 NEW BEST:: SOT 78860 SOS 15856 HAS SOPS 15856 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8787.856
AT ITER 8582 NEW BEST:: SOT 78859 SOS 15854 HAS SOPS 15854 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8781.854
AT ITER 8587 NEW BEST:: SOT 78840 SOS 15844 HAS SOPS 15844 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8773.844
AT ITER 8590 NEW BEST:: SOT 78844 SOS 15848 HAS SOPS 15848 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8772.848
AT ITER 8598 NEW BEST:: SOT 78838 SOS 15842 HAS SOPS 15842 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8766.842
AT ITER 8636 NEW BEST:: SOT 78866 SOS 15891 HAS SOPS 15891 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8761.891
AT ITER 8648 NEW BEST:: SOT 78872 SOS 15903 HAS SOPS 15903 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8759.903
AT ITER 8766 NEW BEST:: SOT 78844 SOS 15847 HAS SOPS 15847 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8693.847
AT ITER 8795 NEW BEST:: SOT 78821 SOS 15801 HAS SOPS 15801 HAS SOUS 8644 HAS SOUPS 8644 WITH SCORE 8659.801
AT ITER 8843 NEW BEST:: SOT 78819 SOS 15797 HAS SOPS 15797 HAS SOUS 8640 HAS SOUPS 8640 WITH SCORE 8655.797
AT ITER 8851 NEW BEST:: SOT 78815 SOS 15824 HAS SOPS 15824 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8647.824
AT ITER 8880 NEW BEST:: SOT 78820 SOS 15829 HAS SOPS 15829 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8646.829
AT ITER 8987 NEW BEST:: SOT 78818 SOS 15825 HAS SOPS 15825 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8645.825
AT ITER 9006 NEW BEST:: SOT 78814 SOS 15817 HAS SOPS 15817 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8641.817
AT ITER 9048 NEW BEST:: SOT 78812 SOS 15813 HAS SOPS 15813 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8641.813
AT ITER 9093 NEW BEST:: SOT 78814 SOS 15723 HAS SOPS 15723 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8616.723
AT ITER 9114 NEW BEST:: SOT 78814 SOS 15719 HAS SOPS 15719 HAS SOUS 8598 HAS SOUPS 8598 WITH SCORE 8613.719
AT ITER 9126 NEW BEST:: SOT 78805 SOS 15701 HAS SOPS 15701 HAS SOUS 8598 HAS SOUPS 8598 WITH SCORE 8613.701
AT ITER 9163 NEW BEST:: SOT 78803 SOS 15698 HAS SOPS 15698 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8611.698
AT ITER 9231 NEW BEST:: SOT 78797 SOS 15686 HAS SOPS 15686 HAS SOUS 8584 HAS SOUPS 8584 WITH SCORE 8599.686
AT ITER 9235 NEW BEST:: SOT 78797 SOS 15686 HAS SOPS 15686 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8593.686
AT ITER 9247 NEW BEST:: SOT 78795 SOS 15684 HAS SOPS 15684 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8571.684
AT ITER 9268 NEW BEST:: SOT 78784 SOS 15764 HAS SOPS 15764 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8567.764
AT ITER 9306 NEW BEST:: SOT 78784 SOS 15685 HAS SOPS 15685 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8567.685
AT ITER 9371 NEW BEST:: SOT 78779 SOS 15678 HAS SOPS 15678 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8560.678
AT ITER 9437 NEW BEST:: SOT 78779 SOS 15658 HAS SOPS 15658 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8540.658
AT ITER 9532 NEW BEST:: SOT 78760 SOS 15620 HAS SOPS 15620 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8516.62
AT ITER 9541 NEW BEST:: SOT 78754 SOS 15620 HAS SOPS 15620 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8510.62
AT ITER 9568 NEW BEST:: SOT 78754 SOS 15620 HAS SOPS 15620 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8467.62
AT ITER 9577 NEW BEST:: SOT 78751 SOS 15617 HAS SOPS 15617 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8464.617
AT ITER 9635 NEW BEST:: SOT 78745 SOS 15611 HAS SOPS 15611 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8458.611
AT ITER 9706 NEW BEST:: SOT 78753 SOS 15619 HAS SOPS 15619 HAS SOUS 8441 HAS SOUPS 8441 WITH SCORE 8456.619
AT ITER 9773 NEW BEST:: SOT 78752 SOS 15617 HAS SOPS 15617 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8454.617
AT ITER 9813 NEW BEST:: SOT 78746 SOS 15608 HAS SOPS 15608 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8449.608
AT ITER 9859 NEW BEST:: SOT 78746 SOS 15601 HAS SOPS 15601 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8449.601
AT ITER 9861 NEW BEST:: SOT 78752 SOS 15613 HAS SOPS 15613 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8412.613
AT ITER 9864 NEW BEST:: SOT 78746 SOS 15601 HAS SOPS 15601 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8406.601
AT ITER 9930 NEW BEST:: SOT 78746 SOS 15583 HAS SOPS 15583 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8400.583
AT ITER 9953 NEW BEST:: SOT 78737 SOS 15573 HAS SOPS 15573 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8390.573
AT ITER 9956 NEW BEST:: SOT 78737 SOS 15569 HAS SOPS 15569 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8389.569

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

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