fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538300083
Last Updated
Jun 28, 2020

About the Execution of smart for SmartHome-PT-11

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.250 3600000.00 3586020.00 0.00 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.0K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 71K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SmartHome-PT-11-CTLCardinality-00
FORMULA_NAME SmartHome-PT-11-CTLCardinality-01
FORMULA_NAME SmartHome-PT-11-CTLCardinality-02
FORMULA_NAME SmartHome-PT-11-CTLCardinality-03
FORMULA_NAME SmartHome-PT-11-CTLCardinality-04
FORMULA_NAME SmartHome-PT-11-CTLCardinality-05
FORMULA_NAME SmartHome-PT-11-CTLCardinality-06
FORMULA_NAME SmartHome-PT-11-CTLCardinality-07
FORMULA_NAME SmartHome-PT-11-CTLCardinality-08
FORMULA_NAME SmartHome-PT-11-CTLCardinality-09
FORMULA_NAME SmartHome-PT-11-CTLCardinality-10
FORMULA_NAME SmartHome-PT-11-CTLCardinality-11
FORMULA_NAME SmartHome-PT-11-CTLCardinality-12
FORMULA_NAME SmartHome-PT-11-CTLCardinality-13
FORMULA_NAME SmartHome-PT-11-CTLCardinality-14
FORMULA_NAME SmartHome-PT-11-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590469761465

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

GOT IT HERE. BS
Petri model created: 290 places, 315 transitions, 722 arcs.
AT ITER 0 NEW BEST:: SOT 55680 SOS 14283 HAS SOPS 14283 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13876.283
AT ITER 2 NEW BEST:: SOT 55668 SOS 14284 HAS SOPS 14284 HAS SOUS 13858 HAS SOUPS 13858 WITH SCORE 13872.284
AT ITER 15 NEW BEST:: SOT 55649 SOS 14265 HAS SOPS 14265 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13853.265
AT ITER 17 NEW BEST:: SOT 55636 SOS 14250 HAS SOPS 14250 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13838.25
AT ITER 36 NEW BEST:: SOT 55600 SOS 14229 HAS SOPS 14229 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13817.229
AT ITER 41 NEW BEST:: SOT 55600 SOS 14208 HAS SOPS 14208 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13796.208
AT ITER 53 NEW BEST:: SOT 55599 SOS 14206 HAS SOPS 14206 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13794.206
AT ITER 61 NEW BEST:: SOT 55609 SOS 14204 HAS SOPS 14204 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13790.204
AT ITER 64 NEW BEST:: SOT 55604 SOS 14194 HAS SOPS 14194 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13773.194
AT ITER 87 NEW BEST:: SOT 55268 SOS 13886 HAS SOPS 13886 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13438.886
AT ITER 127 NEW BEST:: SOT 55268 SOS 13886 HAS SOPS 13886 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13436.886
AT ITER 131 NEW BEST:: SOT 55243 SOS 13790 HAS SOPS 13790 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13381.79
AT ITER 138 NEW BEST:: SOT 55242 SOS 13789 HAS SOPS 13789 HAS SOUS 13367 HAS SOUPS 13367 WITH SCORE 13380.789
AT ITER 144 NEW BEST:: SOT 54679 SOS 16744 HAS SOPS 16744 HAS SOUS 13069 HAS SOUPS 13069 WITH SCORE 13085.744
AT ITER 145 NEW BEST:: SOT 54691 SOS 16719 HAS SOPS 16719 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13055.719
AT ITER 154 NEW BEST:: SOT 54691 SOS 16707 HAS SOPS 16707 HAS SOUS 13027 HAS SOUPS 13027 WITH SCORE 13043.707
AT ITER 159 NEW BEST:: SOT 54177 SOS 16786 HAS SOPS 16786 HAS SOUS 12565 HAS SOUPS 12565 WITH SCORE 12581.786
AT ITER 162 NEW BEST:: SOT 54130 SOS 16739 HAS SOPS 16739 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12534.739
AT ITER 167 NEW BEST:: SOT 54129 SOS 16738 HAS SOPS 16738 HAS SOUS 12517 HAS SOUPS 12517 WITH SCORE 12533.738
AT ITER 169 NEW BEST:: SOT 54129 SOS 16675 HAS SOPS 16675 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12470.675
AT ITER 170 NEW BEST:: SOT 54124 SOS 16665 HAS SOPS 16665 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12460.665
AT ITER 182 NEW BEST:: SOT 54083 SOS 16583 HAS SOPS 16583 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12419.583
AT ITER 189 NEW BEST:: SOT 54083 SOS 14996 HAS SOPS 14996 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12417.996
AT ITER 199 NEW BEST:: SOT 53856 SOS 14780 HAS SOPS 14780 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12201.78
AT ITER 201 NEW BEST:: SOT 53884 SOS 14831 HAS SOPS 14831 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12178.831
AT ITER 202 NEW BEST:: SOT 53846 SOS 14755 HAS SOPS 14755 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12140.755
AT ITER 213 NEW BEST:: SOT 53826 SOS 14735 HAS SOPS 14735 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12120.735
AT ITER 229 NEW BEST:: SOT 53844 SOS 14680 HAS SOPS 14680 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12065.68
AT ITER 232 NEW BEST:: SOT 53847 SOS 14674 HAS SOPS 14674 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12056.674
AT ITER 235 NEW BEST:: SOT 53954 SOS 14725 HAS SOPS 14725 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11975.725
AT ITER 238 NEW BEST:: SOT 53954 SOS 14709 HAS SOPS 14709 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11959.709
AT ITER 261 NEW BEST:: SOT 53800 SOS 16748 HAS SOPS 16748 HAS SOUS 11902 HAS SOUPS 11902 WITH SCORE 11918.748
AT ITER 275 NEW BEST:: SOT 53783 SOS 16714 HAS SOPS 16714 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11884.714
AT ITER 281 NEW BEST:: SOT 53783 SOS 16705 HAS SOPS 16705 HAS SOUS 11859 HAS SOUPS 11859 WITH SCORE 11875.705
AT ITER 290 NEW BEST:: SOT 53542 SOS 16415 HAS SOPS 16415 HAS SOUS 11841 HAS SOUPS 11841 WITH SCORE 11857.415
AT ITER 297 NEW BEST:: SOT 53537 SOS 16405 HAS SOPS 16405 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11847.405
AT ITER 301 NEW BEST:: SOT 53537 SOS 16405 HAS SOPS 16405 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11846.405
AT ITER 302 NEW BEST:: SOT 53073 SOS 16142 HAS SOPS 16142 HAS SOUS 11389 HAS SOUPS 11389 WITH SCORE 11405.142
AT ITER 303 NEW BEST:: SOT 53073 SOS 16096 HAS SOPS 16096 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11359.096
AT ITER 306 NEW BEST:: SOT 53008 SOS 16031 HAS SOPS 16031 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11359.031
AT ITER 307 NEW BEST:: SOT 53013 SOS 16008 HAS SOPS 16008 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11336.008
AT ITER 327 NEW BEST:: SOT 52956 SOS 15951 HAS SOPS 15951 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11325.951
AT ITER 330 NEW BEST:: SOT 52960 SOS 15944 HAS SOPS 15944 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11318.944
AT ITER 331 NEW BEST:: SOT 52938 SOS 15849 HAS SOPS 15849 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11276.849
AT ITER 334 NEW BEST:: SOT 52937 SOS 15826 HAS SOPS 15826 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11270.826
AT ITER 336 NEW BEST:: SOT 52943 SOS 15812 HAS SOPS 15812 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11251.812
AT ITER 345 NEW BEST:: SOT 52935 SOS 15809 HAS SOPS 15809 HAS SOUS 11233 HAS SOUPS 11233 WITH SCORE 11248.809
AT ITER 359 NEW BEST:: SOT 52935 SOS 15757 HAS SOPS 15757 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11196.757
AT ITER 367 NEW BEST:: SOT 52929 SOS 15745 HAS SOPS 15745 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11189.745
AT ITER 391 NEW BEST:: SOT 52929 SOS 15712 HAS SOPS 15712 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11189.712
AT ITER 400 NEW BEST:: SOT 52912 SOS 15678 HAS SOPS 15678 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11172.678
AT ITER 411 NEW BEST:: SOT 52906 SOS 15666 HAS SOPS 15666 HAS SOUS 11145 HAS SOUPS 11145 WITH SCORE 11160.666
AT ITER 417 NEW BEST:: SOT 52869 SOS 15645 HAS SOPS 15645 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11139.645
AT ITER 430 NEW BEST:: SOT 52834 SOS 15613 HAS SOPS 15613 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11119.613
AT ITER 437 NEW BEST:: SOT 52836 SOS 15569 HAS SOPS 15569 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11096.569
AT ITER 453 NEW BEST:: SOT 52907 SOS 14717 HAS SOPS 14717 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11095.717
AT ITER 459 NEW BEST:: SOT 52905 SOS 14715 HAS SOPS 14715 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11093.715
AT ITER 468 NEW BEST:: SOT 52905 SOS 14715 HAS SOPS 14715 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11092.715
AT ITER 474 NEW BEST:: SOT 52828 SOS 14561 HAS SOPS 14561 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10982.561
AT ITER 483 NEW BEST:: SOT 52812 SOS 14529 HAS SOPS 14529 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10950.529
AT ITER 487 NEW BEST:: SOT 52773 SOS 14367 HAS SOPS 14367 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10883.367
AT ITER 500 NEW BEST:: SOT 52416 SOS 15953 HAS SOPS 15953 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10776.953
AT ITER 529 NEW BEST:: SOT 52414 SOS 15949 HAS SOPS 15949 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10772.949
AT ITER 533 NEW BEST:: SOT 52369 SOS 15898 HAS SOPS 15898 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10705.898
AT ITER 544 NEW BEST:: SOT 52345 SOS 15861 HAS SOPS 15861 HAS SOUS 10653 HAS SOUPS 10653 WITH SCORE 10668.861
AT ITER 545 NEW BEST:: SOT 52346 SOS 15863 HAS SOPS 15863 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10659.863
AT ITER 556 NEW BEST:: SOT 52358 SOS 15853 HAS SOPS 15853 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10651.853
AT ITER 558 NEW BEST:: SOT 52374 SOS 15813 HAS SOPS 15813 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10611.813
AT ITER 570 NEW BEST:: SOT 52321 SOS 15777 HAS SOPS 15777 HAS SOUS 10560 HAS SOUPS 10560 WITH SCORE 10575.777
AT ITER 590 NEW BEST:: SOT 52273 SOS 15682 HAS SOPS 15682 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10569.682
AT ITER 592 NEW BEST:: SOT 52391 SOS 15806 HAS SOPS 15806 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10549.806
AT ITER 596 NEW BEST:: SOT 52135 SOS 15842 HAS SOPS 15842 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10317.842
AT ITER 632 NEW BEST:: SOT 52057 SOS 15758 HAS SOPS 15758 HAS SOUS 10257 HAS SOUPS 10257 WITH SCORE 10272.758
AT ITER 633 NEW BEST:: SOT 52048 SOS 15749 HAS SOPS 15749 HAS SOUS 10251 HAS SOUPS 10251 WITH SCORE 10266.749
AT ITER 639 NEW BEST:: SOT 52034 SOS 15735 HAS SOPS 15735 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10252.735
AT ITER 666 NEW BEST:: SOT 52034 SOS 15735 HAS SOPS 15735 HAS SOUS 10228 HAS SOUPS 10228 WITH SCORE 10243.735
AT ITER 682 NEW BEST:: SOT 52028 SOS 15723 HAS SOPS 15723 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10231.723
AT ITER 686 NEW BEST:: SOT 51894 SOS 15589 HAS SOPS 15589 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10207.589
AT ITER 689 NEW BEST:: SOT 51894 SOS 15564 HAS SOPS 15564 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10206.564
AT ITER 709 NEW BEST:: SOT 51756 SOS 15376 HAS SOPS 15376 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10018.376
AT ITER 718 NEW BEST:: SOT 51714 SOS 15292 HAS SOPS 15292 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10016.292
AT ITER 740 NEW BEST:: SOT 51685 SOS 15234 HAS SOPS 15234 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9978.234
AT ITER 754 NEW BEST:: SOT 51685 SOS 15186 HAS SOPS 15186 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9978.186
AT ITER 756 NEW BEST:: SOT 51596 SOS 15119 HAS SOPS 15119 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9888.119
AT ITER 783 NEW BEST:: SOT 51592 SOS 15142 HAS SOPS 15142 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9884.142
AT ITER 795 NEW BEST:: SOT 51590 SOS 15140 HAS SOPS 15140 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9883.14
AT ITER 818 NEW BEST:: SOT 51587 SOS 15131 HAS SOPS 15131 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9877.131
AT ITER 819 NEW BEST:: SOT 51539 SOS 15035 HAS SOPS 15035 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9765.035
AT ITER 826 NEW BEST:: SOT 51528 SOS 15017 HAS SOPS 15017 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9750.017
AT ITER 849 NEW BEST:: SOT 51526 SOS 15013 HAS SOPS 15013 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9746.013
AT ITER 869 NEW BEST:: SOT 51523 SOS 15007 HAS SOPS 15007 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9743.007
AT ITER 870 NEW BEST:: SOT 51523 SOS 15005 HAS SOPS 15005 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9741.005
AT ITER 895 NEW BEST:: SOT 51340 SOS 14934 HAS SOPS 14934 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9593.934
AT ITER 897 NEW BEST:: SOT 51324 SOS 14785 HAS SOPS 14785 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9560.785
AT ITER 900 NEW BEST:: SOT 51322 SOS 14779 HAS SOPS 14779 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9556.779
AT ITER 907 NEW BEST:: SOT 51318 SOS 14771 HAS SOPS 14771 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9540.771
AT ITER 909 NEW BEST:: SOT 51281 SOS 14677 HAS SOPS 14677 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9466.677
AT ITER 915 NEW BEST:: SOT 51267 SOS 14663 HAS SOPS 14663 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9466.663
AT ITER 952 NEW BEST:: SOT 51265 SOS 14544 HAS SOPS 14544 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9459.544
AT ITER 960 NEW BEST:: SOT 51195 SOS 14404 HAS SOPS 14404 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9386.404
AT ITER 967 NEW BEST:: SOT 51195 SOS 14404 HAS SOPS 14404 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9384.404
AT ITER 979 NEW BEST:: SOT 51152 SOS 14340 HAS SOPS 14340 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9342.34
AT ITER 980 NEW BEST:: SOT 51080 SOS 14292 HAS SOPS 14292 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9339.292
AT ITER 989 NEW BEST:: SOT 51077 SOS 14289 HAS SOPS 14289 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9339.289
AT ITER 1009 NEW BEST:: SOT 51073 SOS 14198 HAS SOPS 14198 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9298.198
AT ITER 1012 NEW BEST:: SOT 51065 SOS 14182 HAS SOPS 14182 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9290.182
AT ITER 1013 NEW BEST:: SOT 51142 SOS 14178 HAS SOPS 14178 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9263.178
AT ITER 1016 NEW BEST:: SOT 51092 SOS 14128 HAS SOPS 14128 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9213.128
AT ITER 1018 NEW BEST:: SOT 51043 SOS 14079 HAS SOPS 14079 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9213.079
AT ITER 1019 NEW BEST:: SOT 50994 SOS 14025 HAS SOPS 14025 HAS SOUS 9150 HAS SOUPS 9150 WITH SCORE 9164.025
AT ITER 1043 NEW BEST:: SOT 50998 SOS 14012 HAS SOPS 14012 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9151.012
AT ITER 1053 NEW BEST:: SOT 50986 SOS 13988 HAS SOPS 13988 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9129.988
AT ITER 1063 NEW BEST:: SOT 50973 SOS 13893 HAS SOPS 13893 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9109.893
AT ITER 1071 NEW BEST:: SOT 50960 SOS 13847 HAS SOPS 13847 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9076.847
AT ITER 1100 NEW BEST:: SOT 50917 SOS 13802 HAS SOPS 13802 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9076.802
AT ITER 1110 NEW BEST:: SOT 50892 SOS 13760 HAS SOPS 13760 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9026.76
AT ITER 1127 NEW BEST:: SOT 50892 SOS 13760 HAS SOPS 13760 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9009.76
AT ITER 1130 NEW BEST:: SOT 50885 SOS 13753 HAS SOPS 13753 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9002.753
AT ITER 1158 NEW BEST:: SOT 50833 SOS 13649 HAS SOPS 13649 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8964.649
AT ITER 1161 NEW BEST:: SOT 50836 SOS 13655 HAS SOPS 13655 HAS SOUS 8897 HAS SOUPS 8897 WITH SCORE 8910.655
AT ITER 1169 NEW BEST:: SOT 50829 SOS 13633 HAS SOPS 13633 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8896.633
AT ITER 1173 NEW BEST:: SOT 50794 SOS 13563 HAS SOPS 13563 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8878.563
AT ITER 1182 NEW BEST:: SOT 50782 SOS 13551 HAS SOPS 13551 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8854.551
AT ITER 1205 NEW BEST:: SOT 50728 SOS 13497 HAS SOPS 13497 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8832.497
AT ITER 1216 NEW BEST:: SOT 50728 SOS 13488 HAS SOPS 13488 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8823.488
AT ITER 1217 NEW BEST:: SOT 50728 SOS 13476 HAS SOPS 13476 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8811.476
AT ITER 1227 NEW BEST:: SOT 50706 SOS 13443 HAS SOPS 13443 HAS SOUS 8765 HAS SOUPS 8765 WITH SCORE 8778.443
AT ITER 1260 NEW BEST:: SOT 50707 SOS 13053 HAS SOPS 13053 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8749.053
AT ITER 1269 NEW BEST:: SOT 50707 SOS 13053 HAS SOPS 13053 HAS SOUS 8734 HAS SOUPS 8734 WITH SCORE 8747.053
AT ITER 1270 NEW BEST:: SOT 50638 SOS 12984 HAS SOPS 12984 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8716.984
AT ITER 1272 NEW BEST:: SOT 50646 SOS 12992 HAS SOPS 12992 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8704.992
AT ITER 1291 NEW BEST:: SOT 50646 SOS 12967 HAS SOPS 12967 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8679.967
AT ITER 1311 NEW BEST:: SOT 50647 SOS 12913 HAS SOPS 12913 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8664.913
AT ITER 1324 NEW BEST:: SOT 50658 SOS 12909 HAS SOPS 12909 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8660.909
AT ITER 1330 NEW BEST:: SOT 50656 SOS 12905 HAS SOPS 12905 HAS SOUS 8644 HAS SOUPS 8644 WITH SCORE 8656.905
AT ITER 1361 NEW BEST:: SOT 50716 SOS 13025 HAS SOPS 13025 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8622.025
AT ITER 1363 NEW BEST:: SOT 50704 SOS 13001 HAS SOPS 13001 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8598.001
AT ITER 1364 NEW BEST:: SOT 50685 SOS 12963 HAS SOPS 12963 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8559.963
AT ITER 1375 NEW BEST:: SOT 50641 SOS 12875 HAS SOPS 12875 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8531.875
AT ITER 1393 NEW BEST:: SOT 50643 SOS 12844 HAS SOPS 12844 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8500.844
AT ITER 1438 NEW BEST:: SOT 50638 SOS 12834 HAS SOPS 12834 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8490.834
AT ITER 1440 NEW BEST:: SOT 50636 SOS 12830 HAS SOPS 12830 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8486.83
AT ITER 1455 NEW BEST:: SOT 50607 SOS 12821 HAS SOPS 12821 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8446.821
AT ITER 1470 NEW BEST:: SOT 50613 SOS 12819 HAS SOPS 12819 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8444.819
AT ITER 1482 NEW BEST:: SOT 50606 SOS 12805 HAS SOPS 12805 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8437.805
AT ITER 1491 NEW BEST:: SOT 50601 SOS 12795 HAS SOPS 12795 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8427.795
AT ITER 1505 NEW BEST:: SOT 50583 SOS 12759 HAS SOPS 12759 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8409.759
AT ITER 1521 NEW BEST:: SOT 50580 SOS 12753 HAS SOPS 12753 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8403.753
AT ITER 1525 NEW BEST:: SOT 50525 SOS 12694 HAS SOPS 12694 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8348.694
AT ITER 1536 NEW BEST:: SOT 50523 SOS 12693 HAS SOPS 12693 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8339.693
AT ITER 1551 NEW BEST:: SOT 50443 SOS 12606 HAS SOPS 12606 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8332.606
AT ITER 1564 NEW BEST:: SOT 50432 SOS 12584 HAS SOPS 12584 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8310.584
AT ITER 1567 NEW BEST:: SOT 50432 SOS 12492 HAS SOPS 12492 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8310.492
AT ITER 1585 NEW BEST:: SOT 50435 SOS 12451 HAS SOPS 12451 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8303.451
AT ITER 1589 NEW BEST:: SOT 50447 SOS 12475 HAS SOPS 12475 HAS SOUS 8243 HAS SOUPS 8243 WITH SCORE 8255.475
AT ITER 1599 NEW BEST:: SOT 50446 SOS 12474 HAS SOPS 12474 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8254.474
AT ITER 1600 NEW BEST:: SOT 50446 SOS 12465 HAS SOPS 12465 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8245.465
AT ITER 1601 NEW BEST:: SOT 50399 SOS 12371 HAS SOPS 12371 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8245.371
AT ITER 1616 NEW BEST:: SOT 50379 SOS 12331 HAS SOPS 12331 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8225.331
AT ITER 1626 NEW BEST:: SOT 50357 SOS 12309 HAS SOPS 12309 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8221.309
AT ITER 1635 NEW BEST:: SOT 50370 SOS 12322 HAS SOPS 12322 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8220.322
AT ITER 1637 NEW BEST:: SOT 50358 SOS 12298 HAS SOPS 12298 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8208.298
AT ITER 1669 NEW BEST:: SOT 50303 SOS 12281 HAS SOPS 12281 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8191.281
AT ITER 1670 NEW BEST:: SOT 50259 SOS 12237 HAS SOPS 12237 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8166.237
AT ITER 1672 NEW BEST:: SOT 50252 SOS 12230 HAS SOPS 12230 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8162.23
AT ITER 1676 NEW BEST:: SOT 50252 SOS 12221 HAS SOPS 12221 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8153.221
AT ITER 1707 NEW BEST:: SOT 50254 SOS 12215 HAS SOPS 12215 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8147.215
AT ITER 1711 NEW BEST:: SOT 50224 SOS 12155 HAS SOPS 12155 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8110.155
AT ITER 1720 NEW BEST:: SOT 50242 SOS 12173 HAS SOPS 12173 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8102.173
AT ITER 1747 NEW BEST:: SOT 50240 SOS 12215 HAS SOPS 12215 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8100.215
AT ITER 1763 NEW BEST:: SOT 50239 SOS 12158 HAS SOPS 12158 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8055.158
AT ITER 1805 NEW BEST:: SOT 50198 SOS 12119 HAS SOPS 12119 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8054.119
AT ITER 1811 NEW BEST:: SOT 50161 SOS 12179 HAS SOPS 12179 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8017.179
AT ITER 1835 NEW BEST:: SOT 50144 SOS 12145 HAS SOPS 12145 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7983.145
AT ITER 1857 NEW BEST:: SOT 50143 SOS 12143 HAS SOPS 12143 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7981.143
AT ITER 1888 NEW BEST:: SOT 50141 SOS 12139 HAS SOPS 12139 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7977.139
AT ITER 1899 NEW BEST:: SOT 50133 SOS 12108 HAS SOPS 12108 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7969.108
AT ITER 1919 NEW BEST:: SOT 50142 SOS 12117 HAS SOPS 12117 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7956.117
AT ITER 1940 NEW BEST:: SOT 50140 SOS 12113 HAS SOPS 12113 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7954.113
AT ITER 2017 NEW BEST:: SOT 50139 SOS 12111 HAS SOPS 12111 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7952.111
AT ITER 2063 NEW BEST:: SOT 50119 SOS 12071 HAS SOPS 12071 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7932.071
AT ITER 2078 NEW BEST:: SOT 50103 SOS 12039 HAS SOPS 12039 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7900.039
AT ITER 2110 NEW BEST:: SOT 50100 SOS 12033 HAS SOPS 12033 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7897.033
AT ITER 2134 NEW BEST:: SOT 50098 SOS 12014 HAS SOPS 12014 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7878.014
AT ITER 2136 NEW BEST:: SOT 50085 SOS 11988 HAS SOPS 11988 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7849.988
AT ITER 2138 NEW BEST:: SOT 50008 SOS 12265 HAS SOPS 12265 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7806.265
AT ITER 2175 NEW BEST:: SOT 50007 SOS 12263 HAS SOPS 12263 HAS SOUS 7792 HAS SOUPS 7792 WITH SCORE 7804.263
AT ITER 2187 NEW BEST:: SOT 50005 SOS 12257 HAS SOPS 12257 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7800.257
AT ITER 2191 NEW BEST:: SOT 50004 SOS 12256 HAS SOPS 12256 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7799.256
AT ITER 2209 NEW BEST:: SOT 50002 SOS 12252 HAS SOPS 12252 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7795.252
AT ITER 2269 NEW BEST:: SOT 49938 SOS 12228 HAS SOPS 12228 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7739.228
AT ITER 2283 NEW BEST:: SOT 49937 SOS 12226 HAS SOPS 12226 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7737.226
AT ITER 2311 NEW BEST:: SOT 49946 SOS 12244 HAS SOPS 12244 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7732.244
AT ITER 2321 NEW BEST:: SOT 49849 SOS 12388 HAS SOPS 12388 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7660.388
AT ITER 2331 NEW BEST:: SOT 49842 SOS 12381 HAS SOPS 12381 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7660.381
AT ITER 2334 NEW BEST:: SOT 49839 SOS 12375 HAS SOPS 12375 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7659.375
AT ITER 2353 NEW BEST:: SOT 49833 SOS 12363 HAS SOPS 12363 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7647.363
AT ITER 2372 NEW BEST:: SOT 49829 SOS 12355 HAS SOPS 12355 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7643.355
AT ITER 2401 NEW BEST:: SOT 49829 SOS 12355 HAS SOPS 12355 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7642.355
AT ITER 2442 NEW BEST:: SOT 49824 SOS 12345 HAS SOPS 12345 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7632.345
AT ITER 2525 NEW BEST:: SOT 49808 SOS 12295 HAS SOPS 12295 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7598.295
AT ITER 2557 NEW BEST:: SOT 49775 SOS 12241 HAS SOPS 12241 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7573.241
AT ITER 2584 NEW BEST:: SOT 49759 SOS 12181 HAS SOPS 12181 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7551.181
AT ITER 2636 NEW BEST:: SOT 49756 SOS 12175 HAS SOPS 12175 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7545.175
AT ITER 2677 NEW BEST:: SOT 49754 SOS 12184 HAS SOPS 12184 HAS SOUS 7532 HAS SOUPS 7532 WITH SCORE 7544.184
AT ITER 2733 NEW BEST:: SOT 49738 SOS 12152 HAS SOPS 12152 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7528.152
AT ITER 2787 NEW BEST:: SOT 49730 SOS 12136 HAS SOPS 12136 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7512.136
AT ITER 2810 NEW BEST:: SOT 49725 SOS 12131 HAS SOPS 12131 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7512.131
AT ITER 2813 NEW BEST:: SOT 49722 SOS 12128 HAS SOPS 12128 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7509.128
AT ITER 2855 NEW BEST:: SOT 49707 SOS 12098 HAS SOPS 12098 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7489.098
AT ITER 2899 NEW BEST:: SOT 49664 SOS 12055 HAS SOPS 12055 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7489.055
AT ITER 2929 NEW BEST:: SOT 49660 SOS 12051 HAS SOPS 12051 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7489.051
AT ITER 2942 NEW BEST:: SOT 49640 SOS 12011 HAS SOPS 12011 HAS SOUS 7450 HAS SOUPS 7450 WITH SCORE 7462.011
AT ITER 2950 NEW BEST:: SOT 49620 SOS 11981 HAS SOPS 11981 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7431.981
AT ITER 2977 NEW BEST:: SOT 49618 SOS 11977 HAS SOPS 11977 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7427.977
AT ITER 2993 NEW BEST:: SOT 49619 SOS 11979 HAS SOPS 11979 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7422.979
AT ITER 2996 NEW BEST:: SOT 49618 SOS 11951 HAS SOPS 11951 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7421.951
AT ITER 2999 NEW BEST:: SOT 49610 SOS 11943 HAS SOPS 11943 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7413.943
AT ITER 3013 NEW BEST:: SOT 49569 SOS 11891 HAS SOPS 11891 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7376.891
AT ITER 3020 NEW BEST:: SOT 49539 SOS 11831 HAS SOPS 11831 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7316.831
AT ITER 3057 NEW BEST:: SOT 49646 SOS 11933 HAS SOPS 11933 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7309.933
AT ITER 3068 NEW BEST:: SOT 49642 SOS 11925 HAS SOPS 11925 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7304.925
AT ITER 3131 NEW BEST:: SOT 49628 SOS 11911 HAS SOPS 11911 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7282.911
AT ITER 3144 NEW BEST:: SOT 49612 SOS 11879 HAS SOPS 11879 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7259.879
AT ITER 3151 NEW BEST:: SOT 49612 SOS 11879 HAS SOPS 11879 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7249.879
AT ITER 3170 NEW BEST:: SOT 49601 SOS 11857 HAS SOPS 11857 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7249.857
AT ITER 3172 NEW BEST:: SOT 49561 SOS 11831 HAS SOPS 11831 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7223.831
AT ITER 3205 NEW BEST:: SOT 49565 SOS 11828 HAS SOPS 11828 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7203.828
AT ITER 3266 NEW BEST:: SOT 49568 SOS 11834 HAS SOPS 11834 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7197.834
AT ITER 3275 NEW BEST:: SOT 49529 SOS 11756 HAS SOPS 11756 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7164.756
AT ITER 3282 NEW BEST:: SOT 49535 SOS 11754 HAS SOPS 11754 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7162.754
AT ITER 3300 NEW BEST:: SOT 49535 SOS 11754 HAS SOPS 11754 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7156.754
AT ITER 3301 NEW BEST:: SOT 49512 SOS 11720 HAS SOPS 11720 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7130.72
AT ITER 3303 NEW BEST:: SOT 49535 SOS 11718 HAS SOPS 11718 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7128.718
AT ITER 3331 NEW BEST:: SOT 49517 SOS 11682 HAS SOPS 11682 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7076.682
AT ITER 3336 NEW BEST:: SOT 49516 SOS 11680 HAS SOPS 11680 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7074.68
AT ITER 3353 NEW BEST:: SOT 49505 SOS 11675 HAS SOPS 11675 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7052.675
AT ITER 3381 NEW BEST:: SOT 49496 SOS 11657 HAS SOPS 11657 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7043.657
AT ITER 3390 NEW BEST:: SOT 49480 SOS 11641 HAS SOPS 11641 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7027.641
AT ITER 3403 NEW BEST:: SOT 49363 SOS 11407 HAS SOPS 11407 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6923.407
AT ITER 3429 NEW BEST:: SOT 49381 SOS 11369 HAS SOPS 11369 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6908.369
AT ITER 3435 NEW BEST:: SOT 49381 SOS 11369 HAS SOPS 11369 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6902.369
AT ITER 3488 NEW BEST:: SOT 49379 SOS 11367 HAS SOPS 11367 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6900.367
AT ITER 3491 NEW BEST:: SOT 49369 SOS 11357 HAS SOPS 11357 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6890.357
AT ITER 3536 NEW BEST:: SOT 49362 SOS 11350 HAS SOPS 11350 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6883.35
AT ITER 3614 NEW BEST:: SOT 49259 SOS 11244 HAS SOPS 11244 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6803.244
AT ITER 3660 NEW BEST:: SOT 49258 SOS 11242 HAS SOPS 11242 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6792.242
AT ITER 3698 NEW BEST:: SOT 49242 SOS 11210 HAS SOPS 11210 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6760.21
AT ITER 3708 NEW BEST:: SOT 49222 SOS 11296 HAS SOPS 11296 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6749.296
AT ITER 3743 NEW BEST:: SOT 49211 SOS 11281 HAS SOPS 11281 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6734.281
AT ITER 3772 NEW BEST:: SOT 49206 SOS 11261 HAS SOPS 11261 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6722.261
AT ITER 3797 NEW BEST:: SOT 49206 SOS 11261 HAS SOPS 11261 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6721.261
AT ITER 3802 NEW BEST:: SOT 49201 SOS 11256 HAS SOPS 11256 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6716.256
AT ITER 3817 NEW BEST:: SOT 49178 SOS 11510 HAS SOPS 11510 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6712.51
AT ITER 3838 NEW BEST:: SOT 49182 SOS 11503 HAS SOPS 11503 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6705.503
AT ITER 3871 NEW BEST:: SOT 49182 SOS 11503 HAS SOPS 11503 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6704.503
AT ITER 3937 NEW BEST:: SOT 49188 SOS 11495 HAS SOPS 11495 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6690.495
AT ITER 4011 NEW BEST:: SOT 49280 SOS 11587 HAS SOPS 11587 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6683.587
AT ITER 4026 NEW BEST:: SOT 49293 SOS 11585 HAS SOPS 11585 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6682.585
AT ITER 4059 NEW BEST:: SOT 49277 SOS 11569 HAS SOPS 11569 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6658.569
AT ITER 4099 NEW BEST:: SOT 49279 SOS 11527 HAS SOPS 11527 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6658.527
AT ITER 4119 NEW BEST:: SOT 49260 SOS 11430 HAS SOPS 11430 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6645.43
AT ITER 4120 NEW BEST:: SOT 49249 SOS 11419 HAS SOPS 11419 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6640.419
AT ITER 4125 NEW BEST:: SOT 49254 SOS 11424 HAS SOPS 11424 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6639.424
AT ITER 4138 NEW BEST:: SOT 49254 SOS 11411 HAS SOPS 11411 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6639.411
AT ITER 4139 NEW BEST:: SOT 49236 SOS 11404 HAS SOPS 11404 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6623.404
AT ITER 4150 NEW BEST:: SOT 49238 SOS 11396 HAS SOPS 11396 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6615.396
AT ITER 4156 NEW BEST:: SOT 49213 SOS 11395 HAS SOPS 11395 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6614.395
AT ITER 4176 NEW BEST:: SOT 49211 SOS 11391 HAS SOPS 11391 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6612.391
AT ITER 4209 NEW BEST:: SOT 49197 SOS 11389 HAS SOPS 11389 HAS SOUS 6599 HAS SOUPS 6599 WITH SCORE 6610.389
AT ITER 4263 NEW BEST:: SOT 49195 SOS 11385 HAS SOPS 11385 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6606.385
AT ITER 4273 NEW BEST:: SOT 49195 SOS 11384 HAS SOPS 11384 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6605.384
AT ITER 4278 NEW BEST:: SOT 49168 SOS 11348 HAS SOPS 11348 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6587.348
AT ITER 4288 NEW BEST:: SOT 49150 SOS 11312 HAS SOPS 11312 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6586.312
AT ITER 4294 NEW BEST:: SOT 49149 SOS 11309 HAS SOPS 11309 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6583.309
AT ITER 4306 NEW BEST:: SOT 49146 SOS 11303 HAS SOPS 11303 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6577.303
AT ITER 4327 NEW BEST:: SOT 49124 SOS 11259 HAS SOPS 11259 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6577.259
AT ITER 4333 NEW BEST:: SOT 49115 SOS 11250 HAS SOPS 11250 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6568.25
AT ITER 4352 NEW BEST:: SOT 49116 SOS 11247 HAS SOPS 11247 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6565.247
AT ITER 4362 NEW BEST:: SOT 49116 SOS 11238 HAS SOPS 11238 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6565.238
AT ITER 4365 NEW BEST:: SOT 49116 SOS 11218 HAS SOPS 11218 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6545.218
AT ITER 4413 NEW BEST:: SOT 49100 SOS 11201 HAS SOPS 11201 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6526.201
AT ITER 4424 NEW BEST:: SOT 49097 SOS 11195 HAS SOPS 11195 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6522.195
AT ITER 4439 NEW BEST:: SOT 49097 SOS 11190 HAS SOPS 11190 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6522.19
AT ITER 4444 NEW BEST:: SOT 49099 SOS 11194 HAS SOPS 11194 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6519.194
AT ITER 4475 NEW BEST:: SOT 49097 SOS 11191 HAS SOPS 11191 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6516.191
AT ITER 4493 NEW BEST:: SOT 49075 SOS 11169 HAS SOPS 11169 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6493.169
AT ITER 4507 NEW BEST:: SOT 49066 SOS 11160 HAS SOPS 11160 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6491.16
AT ITER 4541 NEW BEST:: SOT 49066 SOS 11158 HAS SOPS 11158 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6487.158
AT ITER 4545 NEW BEST:: SOT 49066 SOS 11144 HAS SOPS 11144 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6483.144
AT ITER 4564 NEW BEST:: SOT 49064 SOS 11140 HAS SOPS 11140 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6479.14
AT ITER 4696 NEW BEST:: SOT 49142 SOS 11214 HAS SOPS 11214 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6472.214
AT ITER 4710 NEW BEST:: SOT 49145 SOS 11211 HAS SOPS 11211 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6471.211
AT ITER 4733 NEW BEST:: SOT 49145 SOS 11151 HAS SOPS 11151 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6471.151
AT ITER 4759 NEW BEST:: SOT 49133 SOS 11127 HAS SOPS 11127 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6461.127
AT ITER 4760 NEW BEST:: SOT 49139 SOS 11126 HAS SOPS 11126 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6460.126
AT ITER 4834 NEW BEST:: SOT 49132 SOS 11127 HAS SOPS 11127 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6458.127
AT ITER 4919 NEW BEST:: SOT 49129 SOS 11116 HAS SOPS 11116 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6450.116
AT ITER 4924 NEW BEST:: SOT 49119 SOS 11104 HAS SOPS 11104 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6438.104
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SmartHome-PT-11-CTLCardinality-00 (EU( (! potential( ( 2 ) <= (tk(P253)) )),potential( ( 2 ) <= (tk(P102)) ) ))
PROPERTY: SmartHome-PT-11-CTLCardinality-01 ( (AG( potential( ( 3 ) <= (tk(P269)) ))) | ( (EU( potential( (tk(P75)) <= (tk(P185)) ),potential( ( 2 ) <= (tk(P11)) ) )) | ( ( ( potential( (tk(P121)) <= (tk(P60)) ) & potential( (tk(P130)) <= (tk(P249)) ) ) | ( potential( (tk(P70)) <= (tk(P41)) ) | potential( ( 2 ) <= (tk(P128)) ) ) ) & potential( ( 1 ) <= (tk(P103)) ) ) ) )
PROPERTY: SmartHome-PT-11-CTLCardinality-02 (EU( ( ( potential( (tk(P112)) <= (tk(P224)) ) & potential( (tk(P99)) <= (tk(P124)) ) ) & (! potential( (tk(P240)) <= (tk(P6)) )) ),(AG( potential( (tk(P104)) <= (tk(P198)) ))) ))
PROPERTY: SmartHome-PT-11-CTLCardinality-03 (EU( potential( (tk(P38)) <= (tk(P289)) ),potential( ( 3 ) <= (tk(P79)) ) ))
PROPERTY: SmartHome-PT-11-CTLCardinality-04 (AG( (EF(potential( ( 1 ) <= (tk(P271)) )))))
PROPERTY: SmartHome-PT-11-CTLCardinality-05 (AG( potential( (tk(P262)) <= (tk(P186)) )))
PROPERTY: SmartHome-PT-11-CTLCardinality-06 (EU( (! ( potential( ( 1 ) <= (tk(P115)) ) & potential( ( 3 ) <= (tk(P113)) ) )),( potential( ( 2 ) <= (tk(P53)) ) | ( potential( (tk(P105)) <= (tk(P272)) ) & potential( ( 3 ) <= (tk(P93)) ) ) ) ))
PROPERTY: SmartHome-PT-11-CTLCardinality-07 (EF((EG( (! potential( (tk(P135)) <= (tk(P136)) ))))))
PROPERTY: SmartHome-PT-11-CTLCardinality-08 (AF((AG( ( potential( (tk(P178)) <= (tk(P200)) ) | potential( ( 3 ) <= (tk(P11)) ) )))))
PROPERTY: SmartHome-PT-11-CTLCardinality-09 (EF(( ( (! potential( (tk(P41)) <= (tk(P124)) )) & potential( (tk(P169)) <= (tk(P261)) ) ) | potential( ( 1 ) <= (tk(P147)) ) )))
PROPERTY: SmartHome-PT-11-CTLCardinality-10 (AG( (! ( ( potential( ( 3 ) <= (tk(P53)) ) | potential( ( 3 ) <= (tk(P248)) ) ) | potential( ( 3 ) <= (tk(P175)) ) ))))
PROPERTY: SmartHome-PT-11-CTLCardinality-11 (EF(potential( ( 2 ) <= (tk(P243)) )))
PROPERTY: SmartHome-PT-11-CTLCardinality-12 (EF(potential( ( 1 ) <= (tk(P281)) )))
PROPERTY: SmartHome-PT-11-CTLCardinality-13 (! (EX( (EF(potential( ( 2 ) <= (tk(P132)) ))))))
PROPERTY: SmartHome-PT-11-CTLCardinality-14 (EU( potential( (tk(P173)) <= (tk(P179)) ),(! ( potential( ( 2 ) <= (tk(P31)) ) | potential( (tk(P164)) <= (tk(P167)) ) )) ))
PROPERTY: SmartHome-PT-11-CTLCardinality-15 (AG( (EF(( potential( (tk(P17)) <= (tk(P100)) ) | potential( (tk(P213)) <= (tk(P10)) ) )))))

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-11"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-11, examination is CTLCardinality"
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-159033538300083"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-11.tgz
mv SmartHome-PT-11 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;