About the Execution of smart for SmartHome-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15753.270 | 3600000.00 | 3586420.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-159033538300068.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-09, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300068
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.6K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K 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.0K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K 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 64K 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-09-CTLFireability-00
FORMULA_NAME SmartHome-PT-09-CTLFireability-01
FORMULA_NAME SmartHome-PT-09-CTLFireability-02
FORMULA_NAME SmartHome-PT-09-CTLFireability-03
FORMULA_NAME SmartHome-PT-09-CTLFireability-04
FORMULA_NAME SmartHome-PT-09-CTLFireability-05
FORMULA_NAME SmartHome-PT-09-CTLFireability-06
FORMULA_NAME SmartHome-PT-09-CTLFireability-07
FORMULA_NAME SmartHome-PT-09-CTLFireability-08
FORMULA_NAME SmartHome-PT-09-CTLFireability-09
FORMULA_NAME SmartHome-PT-09-CTLFireability-10
FORMULA_NAME SmartHome-PT-09-CTLFireability-11
FORMULA_NAME SmartHome-PT-09-CTLFireability-12
FORMULA_NAME SmartHome-PT-09-CTLFireability-13
FORMULA_NAME SmartHome-PT-09-CTLFireability-14
FORMULA_NAME SmartHome-PT-09-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590469745043
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 09
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 253 places, 293 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 44413 SOS 10952 HAS SOPS 10952 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10619.952
AT ITER 4 NEW BEST:: SOT 44394 SOS 10931 HAS SOPS 10931 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10600.931
AT ITER 9 NEW BEST:: SOT 44393 SOS 10929 HAS SOPS 10929 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10598.929
AT ITER 18 NEW BEST:: SOT 44390 SOS 10923 HAS SOPS 10923 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10592.923
AT ITER 20 NEW BEST:: SOT 44339 SOS 10877 HAS SOPS 10877 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10541.877
AT ITER 25 NEW BEST:: SOT 44338 SOS 10874 HAS SOPS 10874 HAS SOUS 10529 HAS SOUPS 10529 WITH SCORE 10539.874
AT ITER 37 NEW BEST:: SOT 44320 SOS 10838 HAS SOPS 10838 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10502.838
AT ITER 39 NEW BEST:: SOT 44320 SOS 10847 HAS SOPS 10847 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10489.847
AT ITER 40 NEW BEST:: SOT 44304 SOS 10823 HAS SOPS 10823 HAS SOUS 10455 HAS SOUPS 10455 WITH SCORE 10465.823
AT ITER 44 NEW BEST:: SOT 44330 SOS 10865 HAS SOPS 10865 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10458.865
AT ITER 52 NEW BEST:: SOT 44118 SOS 11099 HAS SOPS 11099 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10340.099
AT ITER 76 NEW BEST:: SOT 44029 SOS 11392 HAS SOPS 11392 HAS SOUS 10271 HAS SOUPS 10271 WITH SCORE 10282.392
AT ITER 82 NEW BEST:: SOT 44059 SOS 11428 HAS SOPS 11428 HAS SOUS 10257 HAS SOUPS 10257 WITH SCORE 10268.428
AT ITER 95 NEW BEST:: SOT 44052 SOS 11414 HAS SOPS 11414 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10215.414
AT ITER 100 NEW BEST:: SOT 44052 SOS 11393 HAS SOPS 11393 HAS SOUS 10183 HAS SOUPS 10183 WITH SCORE 10194.393
AT ITER 121 NEW BEST:: SOT 44052 SOS 11390 HAS SOPS 11390 HAS SOUS 10183 HAS SOUPS 10183 WITH SCORE 10194.39
AT ITER 134 NEW BEST:: SOT 44038 SOS 11382 HAS SOPS 11382 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10183.382
AT ITER 136 NEW BEST:: SOT 44038 SOS 11357 HAS SOPS 11357 HAS SOUS 10147 HAS SOUPS 10147 WITH SCORE 10158.357
AT ITER 140 NEW BEST:: SOT 44011 SOS 11303 HAS SOPS 11303 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10092.303
AT ITER 150 NEW BEST:: SOT 43989 SOS 11281 HAS SOPS 11281 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10070.281
AT ITER 175 NEW BEST:: SOT 43948 SOS 11222 HAS SOPS 11222 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10012.222
AT ITER 180 NEW BEST:: SOT 43928 SOS 11182 HAS SOPS 11182 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 9972.182
AT ITER 209 NEW BEST:: SOT 43927 SOS 11180 HAS SOPS 11180 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 9970.18
AT ITER 215 NEW BEST:: SOT 43708 SOS 11071 HAS SOPS 11071 HAS SOUS 9797 HAS SOUPS 9797 WITH SCORE 9808.071
AT ITER 220 NEW BEST:: SOT 43718 SOS 11030 HAS SOPS 11030 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9767.03
AT ITER 228 NEW BEST:: SOT 43723 SOS 11032 HAS SOPS 11032 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9738.032
AT ITER 233 NEW BEST:: SOT 43718 SOS 11022 HAS SOPS 11022 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9728.022
AT ITER 234 NEW BEST:: SOT 43664 SOS 10948 HAS SOPS 10948 HAS SOUS 9662 HAS SOUPS 9662 WITH SCORE 9672.948
AT ITER 243 NEW BEST:: SOT 43627 SOS 10851 HAS SOPS 10851 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9629.851
AT ITER 255 NEW BEST:: SOT 43601 SOS 10851 HAS SOPS 10851 HAS SOUS 9593 HAS SOUPS 9593 WITH SCORE 9603.851
AT ITER 258 NEW BEST:: SOT 43583 SOS 10833 HAS SOPS 10833 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9585.833
AT ITER 264 NEW BEST:: SOT 43596 SOS 10859 HAS SOPS 10859 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9552.859
AT ITER 269 NEW BEST:: SOT 43562 SOS 10825 HAS SOPS 10825 HAS SOUS 9508 HAS SOUPS 9508 WITH SCORE 9518.825
AT ITER 272 NEW BEST:: SOT 43570 SOS 10816 HAS SOPS 10816 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9517.816
AT ITER 293 NEW BEST:: SOT 43558 SOS 10817 HAS SOPS 10817 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9512.817
AT ITER 294 NEW BEST:: SOT 43549 SOS 10821 HAS SOPS 10821 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9509.821
AT ITER 312 NEW BEST:: SOT 43442 SOS 10854 HAS SOPS 10854 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9421.854
AT ITER 323 NEW BEST:: SOT 43153 SOS 11215 HAS SOPS 11215 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9240.215
AT ITER 344 NEW BEST:: SOT 43133 SOS 11195 HAS SOPS 11195 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9235.195
AT ITER 369 NEW BEST:: SOT 43123 SOS 11165 HAS SOPS 11165 HAS SOUS 9214 HAS SOUPS 9214 WITH SCORE 9225.165
AT ITER 374 NEW BEST:: SOT 43121 SOS 11163 HAS SOPS 11163 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9221.163
AT ITER 376 NEW BEST:: SOT 43106 SOS 11133 HAS SOPS 11133 HAS SOUS 9105 HAS SOUPS 9105 WITH SCORE 9116.133
AT ITER 378 NEW BEST:: SOT 43106 SOS 11133 HAS SOPS 11133 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9113.133
AT ITER 380 NEW BEST:: SOT 43094 SOS 11071 HAS SOPS 11071 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9101.071
AT ITER 408 NEW BEST:: SOT 43124 SOS 11072 HAS SOPS 11072 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9072.072
AT ITER 412 NEW BEST:: SOT 43123 SOS 11070 HAS SOPS 11070 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9072.07
AT ITER 422 NEW BEST:: SOT 43119 SOS 11066 HAS SOPS 11066 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9072.066
AT ITER 427 NEW BEST:: SOT 43133 SOS 11061 HAS SOPS 11061 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9067.061
AT ITER 434 NEW BEST:: SOT 43133 SOS 11061 HAS SOPS 11061 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9030.061
AT ITER 439 NEW BEST:: SOT 43099 SOS 11039 HAS SOPS 11039 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8981.039
AT ITER 442 NEW BEST:: SOT 43073 SOS 11000 HAS SOPS 11000 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8955.0
AT ITER 450 NEW BEST:: SOT 43083 SOS 11006 HAS SOPS 11006 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8944.006
AT ITER 463 NEW BEST:: SOT 43082 SOS 11004 HAS SOPS 11004 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8942.004
AT ITER 473 NEW BEST:: SOT 43085 SOS 11010 HAS SOPS 11010 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8934.01
AT ITER 486 NEW BEST:: SOT 43081 SOS 11002 HAS SOPS 11002 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8926.002
AT ITER 489 NEW BEST:: SOT 43091 SOS 11000 HAS SOPS 11000 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8924.0
AT ITER 512 NEW BEST:: SOT 43089 SOS 10998 HAS SOPS 10998 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8919.998
AT ITER 523 NEW BEST:: SOT 43084 SOS 10936 HAS SOPS 10936 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8909.936
AT ITER 531 NEW BEST:: SOT 43085 SOS 10924 HAS SOPS 10924 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8903.924
AT ITER 557 NEW BEST:: SOT 42889 SOS 12053 HAS SOPS 12053 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8785.053
AT ITER 562 NEW BEST:: SOT 42878 SOS 12031 HAS SOPS 12031 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8774.031
AT ITER 566 NEW BEST:: SOT 42820 SOS 11944 HAS SOPS 11944 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8722.944
AT ITER 569 NEW BEST:: SOT 42820 SOS 11937 HAS SOPS 11937 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8715.937
AT ITER 575 NEW BEST:: SOT 42792 SOS 11914 HAS SOPS 11914 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8692.914
AT ITER 581 NEW BEST:: SOT 42818 SOS 11941 HAS SOPS 11941 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8690.941
AT ITER 594 NEW BEST:: SOT 42762 SOS 11829 HAS SOPS 11829 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8582.829
AT ITER 611 NEW BEST:: SOT 42753 SOS 11811 HAS SOPS 11811 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8573.811
AT ITER 628 NEW BEST:: SOT 42748 SOS 11801 HAS SOPS 11801 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8568.801
AT ITER 645 NEW BEST:: SOT 42729 SOS 11726 HAS SOPS 11726 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8504.726
AT ITER 661 NEW BEST:: SOT 42723 SOS 11714 HAS SOPS 11714 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8500.714
AT ITER 662 NEW BEST:: SOT 42722 SOS 11712 HAS SOPS 11712 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8498.712
AT ITER 664 NEW BEST:: SOT 42560 SOS 12213 HAS SOPS 12213 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8446.213
AT ITER 666 NEW BEST:: SOT 42560 SOS 12169 HAS SOPS 12169 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8402.169
AT ITER 675 NEW BEST:: SOT 42558 SOS 12165 HAS SOPS 12165 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.165
AT ITER 682 NEW BEST:: SOT 42532 SOS 12113 HAS SOPS 12113 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.113
AT ITER 689 NEW BEST:: SOT 42532 SOS 12088 HAS SOPS 12088 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.088
AT ITER 694 NEW BEST:: SOT 42507 SOS 12071 HAS SOPS 12071 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8381.071
AT ITER 695 NEW BEST:: SOT 42507 SOS 12071 HAS SOPS 12071 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8366.071
AT ITER 710 NEW BEST:: SOT 42483 SOS 12040 HAS SOPS 12040 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8319.04
AT ITER 713 NEW BEST:: SOT 42483 SOS 12040 HAS SOPS 12040 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8316.04
AT ITER 725 NEW BEST:: SOT 42483 SOS 12026 HAS SOPS 12026 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8302.026
AT ITER 753 NEW BEST:: SOT 42467 SOS 11994 HAS SOPS 11994 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8269.994
AT ITER 757 NEW BEST:: SOT 42471 SOS 11998 HAS SOPS 11998 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8246.998
AT ITER 760 NEW BEST:: SOT 42347 SOS 12546 HAS SOPS 12546 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8228.546
AT ITER 770 NEW BEST:: SOT 42353 SOS 12508 HAS SOPS 12508 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8217.508
AT ITER 779 NEW BEST:: SOT 42352 SOS 12506 HAS SOPS 12506 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8215.506
AT ITER 783 NEW BEST:: SOT 42273 SOS 12399 HAS SOPS 12399 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8210.399
AT ITER 816 NEW BEST:: SOT 42219 SOS 12291 HAS SOPS 12291 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8156.291
AT ITER 819 NEW BEST:: SOT 42219 SOS 12291 HAS SOPS 12291 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8153.291
AT ITER 853 NEW BEST:: SOT 42219 SOS 12287 HAS SOPS 12287 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8149.287
AT ITER 866 NEW BEST:: SOT 42285 SOS 12409 HAS SOPS 12409 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8109.409
AT ITER 890 NEW BEST:: SOT 42244 SOS 12368 HAS SOPS 12368 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8109.368
AT ITER 897 NEW BEST:: SOT 42196 SOS 12272 HAS SOPS 12272 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8053.272
AT ITER 905 NEW BEST:: SOT 42167 SOS 12214 HAS SOPS 12214 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8024.214
AT ITER 906 NEW BEST:: SOT 42149 SOS 12178 HAS SOPS 12178 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8004.178
AT ITER 920 NEW BEST:: SOT 42111 SOS 12163 HAS SOPS 12163 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7977.163
AT ITER 924 NEW BEST:: SOT 42105 SOS 12151 HAS SOPS 12151 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7971.151
AT ITER 929 NEW BEST:: SOT 42105 SOS 12147 HAS SOPS 12147 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7971.147
AT ITER 936 NEW BEST:: SOT 42097 SOS 12112 HAS SOPS 12112 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7955.112
AT ITER 955 NEW BEST:: SOT 42093 SOS 12104 HAS SOPS 12104 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7947.104
AT ITER 956 NEW BEST:: SOT 42141 SOS 11123 HAS SOPS 11123 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7939.123
AT ITER 963 NEW BEST:: SOT 42138 SOS 11057 HAS SOPS 11057 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7873.057
AT ITER 995 NEW BEST:: SOT 42106 SOS 11058 HAS SOPS 11058 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7852.058
AT ITER 997 NEW BEST:: SOT 42080 SOS 11025 HAS SOPS 11025 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7819.025
AT ITER 1000 NEW BEST:: SOT 42071 SOS 11013 HAS SOPS 11013 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7813.013
AT ITER 1005 NEW BEST:: SOT 42068 SOS 11007 HAS SOPS 11007 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7798.007
AT ITER 1007 NEW BEST:: SOT 42042 SOS 10955 HAS SOPS 10955 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7744.955
AT ITER 1010 NEW BEST:: SOT 42030 SOS 10931 HAS SOPS 10931 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7720.931
AT ITER 1037 NEW BEST:: SOT 42005 SOS 10881 HAS SOPS 10881 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7695.881
AT ITER 1045 NEW BEST:: SOT 42004 SOS 10879 HAS SOPS 10879 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7694.879
AT ITER 1068 NEW BEST:: SOT 41933 SOS 10766 HAS SOPS 10766 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7657.766
AT ITER 1070 NEW BEST:: SOT 41927 SOS 10754 HAS SOPS 10754 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7640.754
AT ITER 1084 NEW BEST:: SOT 41924 SOS 10711 HAS SOPS 10711 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7630.711
AT ITER 1088 NEW BEST:: SOT 41796 SOS 10782 HAS SOPS 10782 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7551.782
AT ITER 1093 NEW BEST:: SOT 41795 SOS 10781 HAS SOPS 10781 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7550.781
AT ITER 1110 NEW BEST:: SOT 41795 SOS 10781 HAS SOPS 10781 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7545.781
AT ITER 1128 NEW BEST:: SOT 41795 SOS 10781 HAS SOPS 10781 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7544.781
AT ITER 1135 NEW BEST:: SOT 41786 SOS 10763 HAS SOPS 10763 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7526.763
AT ITER 1140 NEW BEST:: SOT 41783 SOS 10757 HAS SOPS 10757 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7520.757
AT ITER 1176 NEW BEST:: SOT 41779 SOS 10749 HAS SOPS 10749 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7515.749
AT ITER 1188 NEW BEST:: SOT 41774 SOS 10731 HAS SOPS 10731 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7502.731
AT ITER 1211 NEW BEST:: SOT 41762 SOS 10707 HAS SOPS 10707 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7465.707
AT ITER 1217 NEW BEST:: SOT 41758 SOS 10699 HAS SOPS 10699 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7461.699
AT ITER 1235 NEW BEST:: SOT 41758 SOS 10689 HAS SOPS 10689 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7461.689
AT ITER 1244 NEW BEST:: SOT 41743 SOS 10789 HAS SOPS 10789 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7456.789
AT ITER 1251 NEW BEST:: SOT 41740 SOS 10783 HAS SOPS 10783 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7450.783
AT ITER 1260 NEW BEST:: SOT 41748 SOS 10782 HAS SOPS 10782 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7449.782
AT ITER 1265 NEW BEST:: SOT 41744 SOS 10778 HAS SOPS 10778 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7445.778
AT ITER 1268 NEW BEST:: SOT 41725 SOS 10742 HAS SOPS 10742 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7433.742
AT ITER 1269 NEW BEST:: SOT 41622 SOS 11196 HAS SOPS 11196 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7365.196
AT ITER 1290 NEW BEST:: SOT 41609 SOS 11183 HAS SOPS 11183 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7364.183
AT ITER 1299 NEW BEST:: SOT 41606 SOS 11177 HAS SOPS 11177 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7358.177
AT ITER 1331 NEW BEST:: SOT 41587 SOS 11052 HAS SOPS 11052 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7282.052
AT ITER 1349 NEW BEST:: SOT 41567 SOS 11049 HAS SOPS 11049 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7235.049
AT ITER 1352 NEW BEST:: SOT 41576 SOS 11041 HAS SOPS 11041 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7227.041
AT ITER 1366 NEW BEST:: SOT 41600 SOS 10922 HAS SOPS 10922 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7219.922
AT ITER 1372 NEW BEST:: SOT 41588 SOS 10916 HAS SOPS 10916 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7207.916
AT ITER 1376 NEW BEST:: SOT 41570 SOS 10881 HAS SOPS 10881 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7181.881
AT ITER 1380 NEW BEST:: SOT 41564 SOS 10869 HAS SOPS 10869 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7169.869
AT ITER 1392 NEW BEST:: SOT 41561 SOS 10863 HAS SOPS 10863 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7163.863
AT ITER 1401 NEW BEST:: SOT 41561 SOS 10853 HAS SOPS 10853 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7163.853
AT ITER 1428 NEW BEST:: SOT 41541 SOS 10813 HAS SOPS 10813 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7113.813
AT ITER 1429 NEW BEST:: SOT 41536 SOS 10808 HAS SOPS 10808 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7108.808
AT ITER 1430 NEW BEST:: SOT 41514 SOS 10808 HAS SOPS 10808 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7106.808
AT ITER 1446 NEW BEST:: SOT 41506 SOS 10792 HAS SOPS 10792 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7090.792
AT ITER 1456 NEW BEST:: SOT 41507 SOS 10760 HAS SOPS 10760 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7084.76
AT ITER 1486 NEW BEST:: SOT 41520 SOS 10720 HAS SOPS 10720 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7058.72
AT ITER 1511 NEW BEST:: SOT 41520 SOS 10720 HAS SOPS 10720 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7048.72
AT ITER 1514 NEW BEST:: SOT 41510 SOS 10700 HAS SOPS 10700 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7038.7
AT ITER 1542 NEW BEST:: SOT 41485 SOS 10650 HAS SOPS 10650 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7013.65
AT ITER 1602 NEW BEST:: SOT 41464 SOS 10587 HAS SOPS 10587 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6971.587
AT ITER 1606 NEW BEST:: SOT 41466 SOS 10543 HAS SOPS 10543 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6969.543
AT ITER 1613 NEW BEST:: SOT 41475 SOS 10561 HAS SOPS 10561 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6967.561
AT ITER 1641 NEW BEST:: SOT 41463 SOS 10537 HAS SOPS 10537 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6961.537
AT ITER 1650 NEW BEST:: SOT 41448 SOS 10507 HAS SOPS 10507 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6943.507
AT ITER 1664 NEW BEST:: SOT 41448 SOS 10507 HAS SOPS 10507 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6942.507
AT ITER 1669 NEW BEST:: SOT 41439 SOS 10489 HAS SOPS 10489 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6933.489
AT ITER 1674 NEW BEST:: SOT 41434 SOS 10544 HAS SOPS 10544 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6928.544
AT ITER 1675 NEW BEST:: SOT 41391 SOS 10534 HAS SOPS 10534 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6896.534
AT ITER 1676 NEW BEST:: SOT 41388 SOS 10528 HAS SOPS 10528 HAS SOUS 6880 HAS SOUPS 6880 WITH SCORE 6890.528
AT ITER 1727 NEW BEST:: SOT 41354 SOS 10503 HAS SOPS 10503 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6865.503
AT ITER 1742 NEW BEST:: SOT 41351 SOS 10497 HAS SOPS 10497 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6859.497
AT ITER 1761 NEW BEST:: SOT 41348 SOS 10491 HAS SOPS 10491 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6856.491
AT ITER 1768 NEW BEST:: SOT 41333 SOS 10461 HAS SOPS 10461 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6845.461
AT ITER 1770 NEW BEST:: SOT 41331 SOS 10459 HAS SOPS 10459 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6843.459
AT ITER 1779 NEW BEST:: SOT 41328 SOS 10453 HAS SOPS 10453 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6840.453
AT ITER 1786 NEW BEST:: SOT 41327 SOS 10451 HAS SOPS 10451 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6838.451
AT ITER 1822 NEW BEST:: SOT 41321 SOS 10445 HAS SOPS 10445 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6832.445
AT ITER 1912 NEW BEST:: SOT 41319 SOS 10443 HAS SOPS 10443 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6830.443
AT ITER 1916 NEW BEST:: SOT 41313 SOS 10472 HAS SOPS 10472 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6829.472
AT ITER 1929 NEW BEST:: SOT 41301 SOS 10468 HAS SOPS 10468 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6828.468
AT ITER 1962 NEW BEST:: SOT 41301 SOS 10468 HAS SOPS 10468 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6827.468
AT ITER 1963 NEW BEST:: SOT 41250 SOS 10366 HAS SOPS 10366 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6770.366
AT ITER 1987 NEW BEST:: SOT 41250 SOS 10363 HAS SOPS 10363 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6767.363
AT ITER 2006 NEW BEST:: SOT 41237 SOS 10350 HAS SOPS 10350 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6767.35
AT ITER 2009 NEW BEST:: SOT 41299 SOS 10424 HAS SOPS 10424 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6747.424
AT ITER 2029 NEW BEST:: SOT 41278 SOS 10382 HAS SOPS 10382 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6715.382
AT ITER 2053 NEW BEST:: SOT 41261 SOS 10365 HAS SOPS 10365 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6698.365
AT ITER 2095 NEW BEST:: SOT 41261 SOS 10362 HAS SOPS 10362 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6695.362
AT ITER 2099 NEW BEST:: SOT 41256 SOS 10357 HAS SOPS 10357 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6695.357
AT ITER 2114 NEW BEST:: SOT 41249 SOS 10356 HAS SOPS 10356 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6694.356
AT ITER 2122 NEW BEST:: SOT 41245 SOS 10348 HAS SOPS 10348 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6684.348
AT ITER 2140 NEW BEST:: SOT 41245 SOS 10338 HAS SOPS 10338 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6674.338
AT ITER 2186 NEW BEST:: SOT 41248 SOS 10337 HAS SOPS 10337 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6673.337
AT ITER 2230 NEW BEST:: SOT 41209 SOS 10259 HAS SOPS 10259 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6646.259
AT ITER 2237 NEW BEST:: SOT 41194 SOS 10234 HAS SOPS 10234 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6621.234
AT ITER 2263 NEW BEST:: SOT 41194 SOS 10234 HAS SOPS 10234 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6614.234
AT ITER 2282 NEW BEST:: SOT 41191 SOS 10228 HAS SOPS 10228 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6611.228
AT ITER 2288 NEW BEST:: SOT 41184 SOS 10214 HAS SOPS 10214 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6597.214
AT ITER 2296 NEW BEST:: SOT 41183 SOS 10200 HAS SOPS 10200 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6569.2
AT ITER 2304 NEW BEST:: SOT 41169 SOS 10194 HAS SOPS 10194 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6563.194
AT ITER 2323 NEW BEST:: SOT 41167 SOS 10192 HAS SOPS 10192 HAS SOUS 6551 HAS SOUPS 6551 WITH SCORE 6561.192
AT ITER 2331 NEW BEST:: SOT 41120 SOS 10164 HAS SOPS 10164 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6506.164
AT ITER 2339 NEW BEST:: SOT 41107 SOS 10138 HAS SOPS 10138 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6493.138
AT ITER 2346 NEW BEST:: SOT 41107 SOS 10138 HAS SOPS 10138 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6491.138
AT ITER 2376 NEW BEST:: SOT 41092 SOS 10108 HAS SOPS 10108 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6482.108
AT ITER 2411 NEW BEST:: SOT 41107 SOS 10116 HAS SOPS 10116 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6475.116
AT ITER 2438 NEW BEST:: SOT 41107 SOS 10116 HAS SOPS 10116 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6472.116
AT ITER 2453 NEW BEST:: SOT 41090 SOS 10073 HAS SOPS 10073 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6472.073
AT ITER 2464 NEW BEST:: SOT 41080 SOS 10054 HAS SOPS 10054 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6461.054
AT ITER 2497 NEW BEST:: SOT 41081 SOS 10043 HAS SOPS 10043 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6461.043
AT ITER 2506 NEW BEST:: SOT 41081 SOS 10031 HAS SOPS 10031 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6449.031
AT ITER 2517 NEW BEST:: SOT 41076 SOS 10021 HAS SOPS 10021 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6439.021
AT ITER 2519 NEW BEST:: SOT 41059 SOS 10004 HAS SOPS 10004 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6422.004
AT ITER 2532 NEW BEST:: SOT 41023 SOS 10282 HAS SOPS 10282 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6410.282
AT ITER 2558 NEW BEST:: SOT 41015 SOS 10266 HAS SOPS 10266 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6405.266
AT ITER 2573 NEW BEST:: SOT 41022 SOS 10280 HAS SOPS 10280 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6401.28
AT ITER 2578 NEW BEST:: SOT 41026 SOS 10286 HAS SOPS 10286 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6394.286
AT ITER 2579 NEW BEST:: SOT 41024 SOS 10282 HAS SOPS 10282 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6390.282
AT ITER 2584 NEW BEST:: SOT 41021 SOS 10276 HAS SOPS 10276 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6388.276
AT ITER 2606 NEW BEST:: SOT 41012 SOS 10258 HAS SOPS 10258 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6379.258
AT ITER 2634 NEW BEST:: SOT 40976 SOS 10564 HAS SOPS 10564 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6361.564
AT ITER 2663 NEW BEST:: SOT 40949 SOS 10510 HAS SOPS 10510 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6352.51
AT ITER 2668 NEW BEST:: SOT 40935 SOS 10496 HAS SOPS 10496 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.496
AT ITER 2689 NEW BEST:: SOT 40940 SOS 10485 HAS SOPS 10485 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6327.485
AT ITER 2693 NEW BEST:: SOT 40963 SOS 10531 HAS SOPS 10531 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6320.531
AT ITER 2767 NEW BEST:: SOT 40930 SOS 10465 HAS SOPS 10465 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6254.465
AT ITER 2808 NEW BEST:: SOT 40915 SOS 10435 HAS SOPS 10435 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6254.435
AT ITER 2831 NEW BEST:: SOT 40901 SOS 10421 HAS SOPS 10421 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6254.421
AT ITER 2833 NEW BEST:: SOT 40873 SOS 10393 HAS SOPS 10393 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6226.393
AT ITER 2853 NEW BEST:: SOT 40854 SOS 10355 HAS SOPS 10355 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6188.355
AT ITER 2873 NEW BEST:: SOT 40849 SOS 10345 HAS SOPS 10345 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6184.345
AT ITER 2876 NEW BEST:: SOT 40848 SOS 10343 HAS SOPS 10343 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6184.343
AT ITER 2928 NEW BEST:: SOT 40839 SOS 10325 HAS SOPS 10325 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6175.325
AT ITER 3014 NEW BEST:: SOT 40814 SOS 10285 HAS SOPS 10285 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6150.285
AT ITER 3015 NEW BEST:: SOT 40812 SOS 10284 HAS SOPS 10284 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6149.284
AT ITER 3026 NEW BEST:: SOT 40807 SOS 10279 HAS SOPS 10279 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6144.279
AT ITER 3029 NEW BEST:: SOT 40774 SOS 10213 HAS SOPS 10213 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6109.213
AT ITER 3034 NEW BEST:: SOT 40770 SOS 10205 HAS SOPS 10205 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6105.205
AT ITER 3060 NEW BEST:: SOT 40761 SOS 10196 HAS SOPS 10196 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6104.196
AT ITER 3087 NEW BEST:: SOT 40707 SOS 10142 HAS SOPS 10142 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6093.142
AT ITER 3142 NEW BEST:: SOT 40704 SOS 10139 HAS SOPS 10139 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6093.139
AT ITER 3180 NEW BEST:: SOT 40703 SOS 10138 HAS SOPS 10138 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6092.138
AT ITER 3204 NEW BEST:: SOT 40703 SOS 10124 HAS SOPS 10124 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6078.124
AT ITER 3221 NEW BEST:: SOT 40704 SOS 10116 HAS SOPS 10116 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6072.116
AT ITER 3224 NEW BEST:: SOT 40698 SOS 10087 HAS SOPS 10087 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6060.087
AT ITER 3234 NEW BEST:: SOT 40694 SOS 10083 HAS SOPS 10083 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6057.083
AT ITER 3237 NEW BEST:: SOT 40659 SOS 10349 HAS SOPS 10349 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6028.349
AT ITER 3286 NEW BEST:: SOT 40657 SOS 10345 HAS SOPS 10345 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6024.345
AT ITER 3321 NEW BEST:: SOT 40650 SOS 10420 HAS SOPS 10420 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6022.42
AT ITER 3362 NEW BEST:: SOT 40631 SOS 10382 HAS SOPS 10382 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6006.382
AT ITER 3394 NEW BEST:: SOT 40624 SOS 10368 HAS SOPS 10368 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6002.368
AT ITER 3437 NEW BEST:: SOT 40609 SOS 10356 HAS SOPS 10356 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5995.356
AT ITER 3442 NEW BEST:: SOT 40599 SOS 10336 HAS SOPS 10336 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5975.336
AT ITER 3463 NEW BEST:: SOT 40596 SOS 10333 HAS SOPS 10333 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5975.333
AT ITER 3496 NEW BEST:: SOT 40589 SOS 10302 HAS SOPS 10302 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5956.302
AT ITER 3517 NEW BEST:: SOT 40587 SOS 10298 HAS SOPS 10298 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5952.298
AT ITER 3552 NEW BEST:: SOT 40606 SOS 10278 HAS SOPS 10278 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5943.278
AT ITER 3553 NEW BEST:: SOT 40607 SOS 10268 HAS SOPS 10268 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5921.268
AT ITER 3559 NEW BEST:: SOT 40604 SOS 10262 HAS SOPS 10262 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5914.262
AT ITER 3565 NEW BEST:: SOT 40598 SOS 10250 HAS SOPS 10250 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5908.25
AT ITER 3597 NEW BEST:: SOT 40594 SOS 10196 HAS SOPS 10196 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5897.196
AT ITER 3623 NEW BEST:: SOT 40594 SOS 10196 HAS SOPS 10196 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5881.196
AT ITER 3646 NEW BEST:: SOT 40584 SOS 10176 HAS SOPS 10176 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5881.176
AT ITER 3657 NEW BEST:: SOT 40574 SOS 10166 HAS SOPS 10166 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5853.166
AT ITER 3689 NEW BEST:: SOT 40573 SOS 10165 HAS SOPS 10165 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5852.165
AT ITER 3729 NEW BEST:: SOT 40569 SOS 10157 HAS SOPS 10157 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5844.157
AT ITER 3734 NEW BEST:: SOT 40564 SOS 10156 HAS SOPS 10156 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5843.156
AT ITER 3784 NEW BEST:: SOT 40557 SOS 10149 HAS SOPS 10149 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5843.149
AT ITER 3837 NEW BEST:: SOT 40557 SOS 10125 HAS SOPS 10125 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5841.125
AT ITER 3906 NEW BEST:: SOT 40555 SOS 10155 HAS SOPS 10155 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5840.155
AT ITER 3919 NEW BEST:: SOT 40552 SOS 10151 HAS SOPS 10151 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5838.151
AT ITER 3938 NEW BEST:: SOT 40552 SOS 10137 HAS SOPS 10137 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5838.137
AT ITER 3960 NEW BEST:: SOT 40547 SOS 10127 HAS SOPS 10127 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5833.127
AT ITER 3967 NEW BEST:: SOT 40537 SOS 10113 HAS SOPS 10113 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5825.113
AT ITER 3988 NEW BEST:: SOT 40529 SOS 10153 HAS SOPS 10153 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5817.153
AT ITER 4013 NEW BEST:: SOT 40514 SOS 10123 HAS SOPS 10123 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5787.123
AT ITER 4015 NEW BEST:: SOT 40515 SOS 10125 HAS SOPS 10125 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5776.125
AT ITER 4106 NEW BEST:: SOT 40509 SOS 10118 HAS SOPS 10118 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5769.118
AT ITER 4115 NEW BEST:: SOT 40509 SOS 10118 HAS SOPS 10118 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5768.118
AT ITER 4125 NEW BEST:: SOT 40504 SOS 10116 HAS SOPS 10116 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5766.116
AT ITER 4137 NEW BEST:: SOT 40490 SOS 10088 HAS SOPS 10088 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5738.088
AT ITER 4141 NEW BEST:: SOT 40472 SOS 10075 HAS SOPS 10075 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5725.075
AT ITER 4201 NEW BEST:: SOT 40469 SOS 10069 HAS SOPS 10069 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5719.069
AT ITER 4228 NEW BEST:: SOT 40441 SOS 10037 HAS SOPS 10037 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5711.037
AT ITER 4243 NEW BEST:: SOT 40429 SOS 10013 HAS SOPS 10013 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5703.013
AT ITER 4244 NEW BEST:: SOT 40422 SOS 10006 HAS SOPS 10006 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5696.006
AT ITER 4271 NEW BEST:: SOT 40422 SOS 10004 HAS SOPS 10004 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5696.004
AT ITER 4276 NEW BEST:: SOT 40401 SOS 9962 HAS SOPS 9962 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5695.962
AT ITER 4359 NEW BEST:: SOT 40386 SOS 9938 HAS SOPS 9938 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5688.938
AT ITER 4395 NEW BEST:: SOT 40385 SOS 9936 HAS SOPS 9936 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5686.936
AT ITER 4439 NEW BEST:: SOT 40383 SOS 9934 HAS SOPS 9934 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5684.934
AT ITER 4481 NEW BEST:: SOT 40350 SOS 9900 HAS SOPS 9900 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5666.9
AT ITER 4482 NEW BEST:: SOT 40342 SOS 9886 HAS SOPS 9886 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5660.886
AT ITER 4565 NEW BEST:: SOT 40329 SOS 9873 HAS SOPS 9873 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5647.873
AT ITER 4730 NEW BEST:: SOT 40329 SOS 9873 HAS SOPS 9873 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5646.873
AT ITER 4753 NEW BEST:: SOT 40310 SOS 9835 HAS SOPS 9835 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5636.835
AT ITER 4823 NEW BEST:: SOT 40309 SOS 9831 HAS SOPS 9831 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5634.831
AT ITER 4910 NEW BEST:: SOT 40304 SOS 9826 HAS SOPS 9826 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5629.826
AT ITER 4913 NEW BEST:: SOT 40277 SOS 9772 HAS SOPS 9772 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5617.772
AT ITER 4954 NEW BEST:: SOT 40274 SOS 9769 HAS SOPS 9769 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5617.769
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-09-CTLFireability-00 (AF( (EU( (! ((potential((tk(P27)>=1))))) , ( ((potential((tk(P218)>=1)))) & ((potential((tk(P93)>=1)))) ) ))))
PROPERTY: SmartHome-PT-09-CTLFireability-01 (! (! (EF( ((potential((tk(P88)>=1))))))))
PROPERTY: SmartHome-PT-09-CTLFireability-02 (EU( (EF( ( ((potential((tk(P186)>=1)))) | ((potential((tk(P180)>=1)))) ))) , (EU( ((potential((tk(P226)>=1)))) , ((potential((tk(P87)>=1)))) )) ))
PROPERTY: SmartHome-PT-09-CTLFireability-03 (! (! (AX( (EF( ((potential((tk(P63)>=1))))))))))
PROPERTY: SmartHome-PT-09-CTLFireability-04 (! ( (EF( (! (! ((potential((tk(P139)>=1) & (tk(P223)>=1)))))))) & ( (EG( ( ((potential((tk(P245)>=1)))) | ((potential((tk(P65)>=1)))) ))) | (! (EF( ((potential((tk(P63)>=1))))))) ) ))
PROPERTY: SmartHome-PT-09-CTLFireability-05 (AF( (AG( (! ((potential((tk(P101)>=1)))))))))
PROPERTY: SmartHome-PT-09-CTLFireability-06 (AG( (AF( (! ( ((potential((tk(P15)>=1)))) & ((potential((tk(P30)>=1)))) ))))))
PROPERTY: SmartHome-PT-09-CTLFireability-07 (EF( (EF( ( (! ((potential((tk(P225)>=1))))) & ( ((potential((tk(P77)>=1) & (tk(P232)>=1)))) & ((potential((tk(P5)>=1)))) ) )))))
PROPERTY: SmartHome-PT-09-CTLFireability-08 (! (EU( (! ((potential((tk(P35)>=1))))) , (! (! ((potential((tk(P27)>=1)))))) )))
PROPERTY: SmartHome-PT-09-CTLFireability-09 (AG( ( (! ( ((potential((tk(P109)>=1)))) & ( ((potential((tk(P167)>=1)))) & ((potential((tk(P120)>=1)))) ) )) | (EF( (! ((potential((tk(P136)>=1))))))) )))
PROPERTY: SmartHome-PT-09-CTLFireability-10 (EU( (EF( ( ((potential((tk(P98)>=1)))) | ((potential((tk(P186)>=1)))) ))) , ( ( (! ((potential((tk(P209)>=1))))) & (! ((potential((tk(P109)>=1))))) ) & (EG( ((potential((tk(P34)>=1)))))) ) ))
PROPERTY: SmartHome-PT-09-CTLFireability-11 (! (EF( ((potential((tk(P208)>=1)))))))
PROPERTY: SmartHome-PT-09-CTLFireability-12 (EG( (EU( (! ((potential((tk(P20)>=1))))) , ((potential((tk(P99)>=1)))) ))))
PROPERTY: SmartHome-PT-09-CTLFireability-13 (EF( (EG( ((potential((tk(P154)>=1))))))))
PROPERTY: SmartHome-PT-09-CTLFireability-14 (AF( (EU( (! ((potential((tk(P129)>=1))))) , ( ((potential((tk(P39)>=1)))) | ((potential((tk(P104)>=1)))) ) ))))
PROPERTY: SmartHome-PT-09-CTLFireability-15 ( (EG( (EF( ( ((potential((tk(P45)>=1)))) | ((potential((tk(P100)>=1)))) ))))) & (! ( (AU( ((potential((tk(P137)>=1)))) , ((potential((tk(P108)>=1)))) )) & ( (! ( ((potential((tk(P88)>=1)))) & ((potential((tk(P197)>=1)))) )) | ( ( ((potential((tk(P131)>=1)))) | ((potential((tk(P140)>=1)))) ) | ((potential((tk(P200)>=1)))) ) ) )) )
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-09"
export BK_EXAMINATION="CTLFireability"
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-09, examination is CTLFireability"
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-159033538300068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-09.tgz
mv SmartHome-PT-09 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;