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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 2.7K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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 23K 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.2K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 68K 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-10-CTLFireability-00
FORMULA_NAME SmartHome-PT-10-CTLFireability-01
FORMULA_NAME SmartHome-PT-10-CTLFireability-02
FORMULA_NAME SmartHome-PT-10-CTLFireability-03
FORMULA_NAME SmartHome-PT-10-CTLFireability-04
FORMULA_NAME SmartHome-PT-10-CTLFireability-05
FORMULA_NAME SmartHome-PT-10-CTLFireability-06
FORMULA_NAME SmartHome-PT-10-CTLFireability-07
FORMULA_NAME SmartHome-PT-10-CTLFireability-08
FORMULA_NAME SmartHome-PT-10-CTLFireability-09
FORMULA_NAME SmartHome-PT-10-CTLFireability-10
FORMULA_NAME SmartHome-PT-10-CTLFireability-11
FORMULA_NAME SmartHome-PT-10-CTLFireability-12
FORMULA_NAME SmartHome-PT-10-CTLFireability-13
FORMULA_NAME SmartHome-PT-10-CTLFireability-14
FORMULA_NAME SmartHome-PT-10-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469749020

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 10
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: 273 places, 308 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 48623 SOS 11211 HAS SOPS 11211 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10729.211
AT ITER 15 NEW BEST:: SOT 48616 SOS 11197 HAS SOPS 11197 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10703.197
AT ITER 28 NEW BEST:: SOT 48611 SOS 11194 HAS SOPS 11194 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10700.194
AT ITER 57 NEW BEST:: SOT 48221 SOS 12779 HAS SOPS 12779 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10662.779
AT ITER 60 NEW BEST:: SOT 48216 SOS 12764 HAS SOPS 12764 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10652.764
AT ITER 65 NEW BEST:: SOT 48169 SOS 12754 HAS SOPS 12754 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10621.754
AT ITER 82 NEW BEST:: SOT 48208 SOS 12819 HAS SOPS 12819 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10618.819
AT ITER 83 NEW BEST:: SOT 48183 SOS 12807 HAS SOPS 12807 HAS SOUS 10560 HAS SOUPS 10560 WITH SCORE 10572.807
AT ITER 90 NEW BEST:: SOT 48164 SOS 12769 HAS SOPS 12769 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10534.769
AT ITER 92 NEW BEST:: SOT 48137 SOS 12741 HAS SOPS 12741 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10531.741
AT ITER 95 NEW BEST:: SOT 48115 SOS 12697 HAS SOPS 12697 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10487.697
AT ITER 117 NEW BEST:: SOT 48090 SOS 12730 HAS SOPS 12730 HAS SOUS 10463 HAS SOUPS 10463 WITH SCORE 10475.73
AT ITER 155 NEW BEST:: SOT 48090 SOS 11931 HAS SOPS 11931 HAS SOUS 10420 HAS SOUPS 10420 WITH SCORE 10431.931
AT ITER 157 NEW BEST:: SOT 48063 SOS 11892 HAS SOPS 11892 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10392.892
AT ITER 158 NEW BEST:: SOT 48049 SOS 11878 HAS SOPS 11878 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.878
AT ITER 168 NEW BEST:: SOT 48049 SOS 11871 HAS SOPS 11871 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10371.871
AT ITER 190 NEW BEST:: SOT 48049 SOS 11900 HAS SOPS 11900 HAS SOUS 10331 HAS SOUPS 10331 WITH SCORE 10342.9
AT ITER 201 NEW BEST:: SOT 48015 SOS 11866 HAS SOPS 11866 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10308.866
AT ITER 202 NEW BEST:: SOT 48000 SOS 11836 HAS SOPS 11836 HAS SOUS 10267 HAS SOUPS 10267 WITH SCORE 10278.836
AT ITER 208 NEW BEST:: SOT 47986 SOS 11808 HAS SOPS 11808 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10250.808
AT ITER 209 NEW BEST:: SOT 47871 SOS 11704 HAS SOPS 11704 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10144.704
AT ITER 218 NEW BEST:: SOT 47846 SOS 11654 HAS SOPS 11654 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10122.654
AT ITER 224 NEW BEST:: SOT 47836 SOS 11634 HAS SOPS 11634 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10102.634
AT ITER 235 NEW BEST:: SOT 47836 SOS 11634 HAS SOPS 11634 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10091.634
AT ITER 236 NEW BEST:: SOT 47780 SOS 11587 HAS SOPS 11587 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10044.587
AT ITER 249 NEW BEST:: SOT 47776 SOS 11583 HAS SOPS 11583 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10040.583
AT ITER 253 NEW BEST:: SOT 47772 SOS 11575 HAS SOPS 11575 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10019.575
AT ITER 265 NEW BEST:: SOT 47771 SOS 11573 HAS SOPS 11573 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10017.573
AT ITER 266 NEW BEST:: SOT 47771 SOS 11567 HAS SOPS 11567 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10011.567
AT ITER 269 NEW BEST:: SOT 47771 SOS 11522 HAS SOPS 11522 HAS SOUS 9955 HAS SOUPS 9955 WITH SCORE 9966.522
AT ITER 270 NEW BEST:: SOT 47756 SOS 11492 HAS SOPS 11492 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9939.492
AT ITER 271 NEW BEST:: SOT 47742 SOS 11489 HAS SOPS 11489 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9936.489
AT ITER 273 NEW BEST:: SOT 47785 SOS 11408 HAS SOPS 11408 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9855.408
AT ITER 278 NEW BEST:: SOT 47753 SOS 11374 HAS SOPS 11374 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9793.374
AT ITER 284 NEW BEST:: SOT 47745 SOS 11368 HAS SOPS 11368 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9785.368
AT ITER 305 NEW BEST:: SOT 47745 SOS 11350 HAS SOPS 11350 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9773.35
AT ITER 313 NEW BEST:: SOT 47757 SOS 11362 HAS SOPS 11362 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9760.362
AT ITER 318 NEW BEST:: SOT 47737 SOS 11322 HAS SOPS 11322 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9753.322
AT ITER 323 NEW BEST:: SOT 47728 SOS 11390 HAS SOPS 11390 HAS SOUS 9739 HAS SOUPS 9739 WITH SCORE 9750.39
AT ITER 331 NEW BEST:: SOT 47728 SOS 11389 HAS SOPS 11389 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9749.389
AT ITER 332 NEW BEST:: SOT 47709 SOS 11313 HAS SOPS 11313 HAS SOUS 9719 HAS SOUPS 9719 WITH SCORE 9730.313
AT ITER 362 NEW BEST:: SOT 47707 SOS 11307 HAS SOPS 11307 HAS SOUS 9715 HAS SOUPS 9715 WITH SCORE 9726.307
AT ITER 373 NEW BEST:: SOT 47698 SOS 11255 HAS SOPS 11255 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9708.255
AT ITER 378 NEW BEST:: SOT 47714 SOS 11287 HAS SOPS 11287 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9688.287
AT ITER 381 NEW BEST:: SOT 47713 SOS 11285 HAS SOPS 11285 HAS SOUS 9675 HAS SOUPS 9675 WITH SCORE 9686.285
AT ITER 394 NEW BEST:: SOT 47712 SOS 11283 HAS SOPS 11283 HAS SOUS 9673 HAS SOUPS 9673 WITH SCORE 9684.283
AT ITER 406 NEW BEST:: SOT 47719 SOS 11297 HAS SOPS 11297 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9657.297
AT ITER 410 NEW BEST:: SOT 47588 SOS 11339 HAS SOPS 11339 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9545.339
AT ITER 416 NEW BEST:: SOT 47569 SOS 11301 HAS SOPS 11301 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9507.301
AT ITER 427 NEW BEST:: SOT 47558 SOS 11279 HAS SOPS 11279 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9485.279
AT ITER 436 NEW BEST:: SOT 47286 SOS 12628 HAS SOPS 12628 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9459.628
AT ITER 442 NEW BEST:: SOT 47248 SOS 12552 HAS SOPS 12552 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9383.552
AT ITER 449 NEW BEST:: SOT 47241 SOS 12538 HAS SOPS 12538 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9369.538
AT ITER 474 NEW BEST:: SOT 47241 SOS 12563 HAS SOPS 12563 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9368.563
AT ITER 508 NEW BEST:: SOT 47172 SOS 12425 HAS SOPS 12425 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9368.425
AT ITER 520 NEW BEST:: SOT 47112 SOS 12305 HAS SOPS 12305 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9296.305
AT ITER 524 NEW BEST:: SOT 47112 SOS 12289 HAS SOPS 12289 HAS SOUS 9268 HAS SOUPS 9268 WITH SCORE 9280.289
AT ITER 532 NEW BEST:: SOT 47089 SOS 12266 HAS SOPS 12266 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9257.266
AT ITER 533 NEW BEST:: SOT 47001 SOS 12192 HAS SOPS 12192 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9081.192
AT ITER 538 NEW BEST:: SOT 46964 SOS 12155 HAS SOPS 12155 HAS SOUS 9032 HAS SOUPS 9032 WITH SCORE 9044.155
AT ITER 542 NEW BEST:: SOT 46926 SOS 12134 HAS SOPS 12134 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9006.134
AT ITER 557 NEW BEST:: SOT 46909 SOS 12100 HAS SOPS 12100 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8962.1
AT ITER 574 NEW BEST:: SOT 46905 SOS 12096 HAS SOPS 12096 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8959.096
AT ITER 590 NEW BEST:: SOT 46894 SOS 12093 HAS SOPS 12093 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8948.093
AT ITER 593 NEW BEST:: SOT 46893 SOS 12091 HAS SOPS 12091 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8946.091
AT ITER 595 NEW BEST:: SOT 46831 SOS 11967 HAS SOPS 11967 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8876.967
AT ITER 612 NEW BEST:: SOT 46796 SOS 11921 HAS SOPS 11921 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8830.921
AT ITER 631 NEW BEST:: SOT 46639 SOS 12313 HAS SOPS 12313 HAS SOUS 8770 HAS SOUPS 8770 WITH SCORE 8782.313
AT ITER 639 NEW BEST:: SOT 46633 SOS 12301 HAS SOPS 12301 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8778.301
AT ITER 654 NEW BEST:: SOT 46616 SOS 12267 HAS SOPS 12267 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8744.267
AT ITER 676 NEW BEST:: SOT 46558 SOS 12180 HAS SOPS 12180 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8686.18
AT ITER 684 NEW BEST:: SOT 46460 SOS 12073 HAS SOPS 12073 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8668.073
AT ITER 685 NEW BEST:: SOT 46441 SOS 12055 HAS SOPS 12055 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8668.055
AT ITER 689 NEW BEST:: SOT 46433 SOS 12047 HAS SOPS 12047 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8660.047
AT ITER 703 NEW BEST:: SOT 46421 SOS 12037 HAS SOPS 12037 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8650.037
AT ITER 712 NEW BEST:: SOT 46199 SOS 12148 HAS SOPS 12148 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8433.148
AT ITER 714 NEW BEST:: SOT 46201 SOS 12141 HAS SOPS 12141 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8426.141
AT ITER 719 NEW BEST:: SOT 46196 SOS 12136 HAS SOPS 12136 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8426.136
AT ITER 723 NEW BEST:: SOT 46176 SOS 12116 HAS SOPS 12116 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8423.116
AT ITER 724 NEW BEST:: SOT 46204 SOS 12144 HAS SOPS 12144 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8416.144
AT ITER 725 NEW BEST:: SOT 46204 SOS 12060 HAS SOPS 12060 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8410.06
AT ITER 749 NEW BEST:: SOT 46193 SOS 12055 HAS SOPS 12055 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8405.055
AT ITER 751 NEW BEST:: SOT 46098 SOS 11865 HAS SOPS 11865 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8287.865
AT ITER 758 NEW BEST:: SOT 46067 SOS 11776 HAS SOPS 11776 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8256.776
AT ITER 764 NEW BEST:: SOT 46057 SOS 11766 HAS SOPS 11766 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8256.766
AT ITER 773 NEW BEST:: SOT 46096 SOS 11804 HAS SOPS 11804 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8255.804
AT ITER 780 NEW BEST:: SOT 46087 SOS 11786 HAS SOPS 11786 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8246.786
AT ITER 789 NEW BEST:: SOT 46087 SOS 11756 HAS SOPS 11756 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8242.756
AT ITER 790 NEW BEST:: SOT 46004 SOS 12038 HAS SOPS 12038 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8209.038
AT ITER 801 NEW BEST:: SOT 46004 SOS 12037 HAS SOPS 12037 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8209.037
AT ITER 817 NEW BEST:: SOT 45987 SOS 12020 HAS SOPS 12020 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8209.02
AT ITER 818 NEW BEST:: SOT 45985 SOS 12016 HAS SOPS 12016 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8207.016
AT ITER 845 NEW BEST:: SOT 45983 SOS 12012 HAS SOPS 12012 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8187.012
AT ITER 848 NEW BEST:: SOT 45899 SOS 12283 HAS SOPS 12283 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8160.283
AT ITER 854 NEW BEST:: SOT 45916 SOS 12330 HAS SOPS 12330 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8150.33
AT ITER 855 NEW BEST:: SOT 45937 SOS 12354 HAS SOPS 12354 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8136.354
AT ITER 865 NEW BEST:: SOT 45919 SOS 12336 HAS SOPS 12336 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8118.336
AT ITER 900 NEW BEST:: SOT 45911 SOS 12320 HAS SOPS 12320 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8110.32
AT ITER 904 NEW BEST:: SOT 45899 SOS 12308 HAS SOPS 12308 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8109.308
AT ITER 917 NEW BEST:: SOT 45895 SOS 12251 HAS SOPS 12251 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8105.251
AT ITER 919 NEW BEST:: SOT 45882 SOS 12238 HAS SOPS 12238 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8092.238
AT ITER 933 NEW BEST:: SOT 45898 SOS 12268 HAS SOPS 12268 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8084.268
AT ITER 934 NEW BEST:: SOT 45882 SOS 12252 HAS SOPS 12252 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8078.252
AT ITER 954 NEW BEST:: SOT 45882 SOS 12252 HAS SOPS 12252 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8066.252
AT ITER 961 NEW BEST:: SOT 45894 SOS 12108 HAS SOPS 12108 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8066.108
AT ITER 987 NEW BEST:: SOT 45894 SOS 12095 HAS SOPS 12095 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8066.095
AT ITER 992 NEW BEST:: SOT 45880 SOS 12053 HAS SOPS 12053 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8052.053
AT ITER 1000 NEW BEST:: SOT 45806 SOS 11775 HAS SOPS 11775 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7904.775
AT ITER 1006 NEW BEST:: SOT 45785 SOS 11755 HAS SOPS 11755 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7884.755
AT ITER 1018 NEW BEST:: SOT 45760 SOS 11355 HAS SOPS 11355 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7834.355
AT ITER 1041 NEW BEST:: SOT 45696 SOS 11197 HAS SOPS 11197 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7807.197
AT ITER 1047 NEW BEST:: SOT 45695 SOS 11193 HAS SOPS 11193 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7805.193
AT ITER 1068 NEW BEST:: SOT 45695 SOS 11179 HAS SOPS 11179 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7805.179
AT ITER 1093 NEW BEST:: SOT 45691 SOS 11165 HAS SOPS 11165 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7797.165
AT ITER 1123 NEW BEST:: SOT 45679 SOS 11151 HAS SOPS 11151 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7783.151
AT ITER 1139 NEW BEST:: SOT 45678 SOS 11149 HAS SOPS 11149 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7781.149
AT ITER 1159 NEW BEST:: SOT 45673 SOS 11139 HAS SOPS 11139 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7779.139
AT ITER 1176 NEW BEST:: SOT 45673 SOS 11134 HAS SOPS 11134 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7779.134
AT ITER 1187 NEW BEST:: SOT 45662 SOS 11120 HAS SOPS 11120 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7776.12
AT ITER 1189 NEW BEST:: SOT 45660 SOS 11116 HAS SOPS 11116 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7772.116
AT ITER 1216 NEW BEST:: SOT 45660 SOS 11114 HAS SOPS 11114 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7770.114
AT ITER 1242 NEW BEST:: SOT 45694 SOS 11182 HAS SOPS 11182 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7754.182
AT ITER 1249 NEW BEST:: SOT 45688 SOS 11170 HAS SOPS 11170 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7742.17
AT ITER 1265 NEW BEST:: SOT 45688 SOS 11145 HAS SOPS 11145 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7738.145
AT ITER 1269 NEW BEST:: SOT 45688 SOS 11145 HAS SOPS 11145 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7732.145
AT ITER 1280 NEW BEST:: SOT 45688 SOS 11135 HAS SOPS 11135 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7732.135
AT ITER 1320 NEW BEST:: SOT 45676 SOS 11117 HAS SOPS 11117 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7727.117
AT ITER 1335 NEW BEST:: SOT 45671 SOS 11107 HAS SOPS 11107 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7717.107
AT ITER 1336 NEW BEST:: SOT 45657 SOS 11079 HAS SOPS 11079 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7703.079
AT ITER 1337 NEW BEST:: SOT 45648 SOS 11076 HAS SOPS 11076 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7698.076
AT ITER 1340 NEW BEST:: SOT 45638 SOS 11056 HAS SOPS 11056 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7687.056
AT ITER 1345 NEW BEST:: SOT 45638 SOS 11043 HAS SOPS 11043 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7687.043
AT ITER 1386 NEW BEST:: SOT 45626 SOS 10995 HAS SOPS 10995 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7674.995
AT ITER 1476 NEW BEST:: SOT 45616 SOS 10978 HAS SOPS 10978 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7664.978
AT ITER 1490 NEW BEST:: SOT 45616 SOS 10960 HAS SOPS 10960 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7661.96
AT ITER 1538 NEW BEST:: SOT 45613 SOS 10948 HAS SOPS 10948 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7655.948
AT ITER 1557 NEW BEST:: SOT 45613 SOS 10904 HAS SOPS 10904 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7646.904
AT ITER 1578 NEW BEST:: SOT 45606 SOS 10897 HAS SOPS 10897 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.897
AT ITER 1625 NEW BEST:: SOT 45605 SOS 10898 HAS SOPS 10898 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7634.898
AT ITER 1626 NEW BEST:: SOT 45583 SOS 10854 HAS SOPS 10854 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7590.854
AT ITER 1631 NEW BEST:: SOT 45581 SOS 10844 HAS SOPS 10844 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7588.844
AT ITER 1632 NEW BEST:: SOT 45581 SOS 10844 HAS SOPS 10844 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7576.844
AT ITER 1676 NEW BEST:: SOT 45568 SOS 10831 HAS SOPS 10831 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7563.831
AT ITER 1681 NEW BEST:: SOT 45544 SOS 10828 HAS SOPS 10828 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7555.828
AT ITER 1707 NEW BEST:: SOT 45544 SOS 10839 HAS SOPS 10839 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7554.839
AT ITER 1708 NEW BEST:: SOT 45507 SOS 10765 HAS SOPS 10765 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7529.765
AT ITER 1714 NEW BEST:: SOT 45502 SOS 10755 HAS SOPS 10755 HAS SOUS 7514 HAS SOUPS 7514 WITH SCORE 7524.755
AT ITER 1736 NEW BEST:: SOT 45502 SOS 10755 HAS SOPS 10755 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7521.755
AT ITER 1740 NEW BEST:: SOT 45460 SOS 11229 HAS SOPS 11229 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7511.229
AT ITER 1746 NEW BEST:: SOT 45447 SOS 11216 HAS SOPS 11216 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7498.216
AT ITER 1800 NEW BEST:: SOT 45438 SOS 11207 HAS SOPS 11207 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7495.207
AT ITER 1810 NEW BEST:: SOT 45399 SOS 11168 HAS SOPS 11168 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7456.168
AT ITER 1826 NEW BEST:: SOT 45387 SOS 11124 HAS SOPS 11124 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7441.124
AT ITER 1847 NEW BEST:: SOT 45360 SOS 11070 HAS SOPS 11070 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7380.07
AT ITER 1854 NEW BEST:: SOT 45350 SOS 11050 HAS SOPS 11050 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7346.05
AT ITER 1861 NEW BEST:: SOT 45343 SOS 11036 HAS SOPS 11036 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7332.036
AT ITER 1864 NEW BEST:: SOT 45331 SOS 11042 HAS SOPS 11042 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7320.042
AT ITER 1911 NEW BEST:: SOT 45326 SOS 11002 HAS SOPS 11002 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7309.002
AT ITER 1944 NEW BEST:: SOT 45345 SOS 10410 HAS SOPS 10410 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7292.41
AT ITER 2000 NEW BEST:: SOT 45418 SOS 10556 HAS SOPS 10556 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7261.556
AT ITER 2020 NEW BEST:: SOT 45407 SOS 10554 HAS SOPS 10554 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7255.554
AT ITER 2025 NEW BEST:: SOT 45385 SOS 10510 HAS SOPS 10510 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7222.51
AT ITER 2034 NEW BEST:: SOT 45385 SOS 10509 HAS SOPS 10509 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7221.509
AT ITER 2041 NEW BEST:: SOT 45358 SOS 10455 HAS SOPS 10455 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7167.455
AT ITER 2049 NEW BEST:: SOT 45342 SOS 10424 HAS SOPS 10424 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7163.424
AT ITER 2068 NEW BEST:: SOT 45295 SOS 10372 HAS SOPS 10372 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7111.372
AT ITER 2077 NEW BEST:: SOT 45295 SOS 10372 HAS SOPS 10372 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7109.372
AT ITER 2120 NEW BEST:: SOT 45316 SOS 10432 HAS SOPS 10432 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7108.432
AT ITER 2122 NEW BEST:: SOT 45269 SOS 10346 HAS SOPS 10346 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7069.346
AT ITER 2144 NEW BEST:: SOT 45254 SOS 10332 HAS SOPS 10332 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7055.332
AT ITER 2151 NEW BEST:: SOT 45248 SOS 10323 HAS SOPS 10323 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7049.323
AT ITER 2160 NEW BEST:: SOT 45242 SOS 10317 HAS SOPS 10317 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7047.317
AT ITER 2225 NEW BEST:: SOT 45248 SOS 10133 HAS SOPS 10133 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7045.133
AT ITER 2226 NEW BEST:: SOT 45245 SOS 10127 HAS SOPS 10127 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7039.127
AT ITER 2265 NEW BEST:: SOT 45254 SOS 10163 HAS SOPS 10163 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7024.163
AT ITER 2280 NEW BEST:: SOT 45249 SOS 10147 HAS SOPS 10147 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7014.147
AT ITER 2306 NEW BEST:: SOT 45267 SOS 10133 HAS SOPS 10133 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 7000.133
AT ITER 2315 NEW BEST:: SOT 45265 SOS 10131 HAS SOPS 10131 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6998.131
AT ITER 2316 NEW BEST:: SOT 45257 SOS 10122 HAS SOPS 10122 HAS SOUS 6979 HAS SOUPS 6979 WITH SCORE 6989.122
AT ITER 2319 NEW BEST:: SOT 45243 SOS 10094 HAS SOPS 10094 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6961.094
AT ITER 2320 NEW BEST:: SOT 45224 SOS 10088 HAS SOPS 10088 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6955.088
AT ITER 2330 NEW BEST:: SOT 45213 SOS 10066 HAS SOPS 10066 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6918.066
AT ITER 2331 NEW BEST:: SOT 45191 SOS 10022 HAS SOPS 10022 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6891.022
AT ITER 2336 NEW BEST:: SOT 45189 SOS 10018 HAS SOPS 10018 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6889.018
AT ITER 2367 NEW BEST:: SOT 45153 SOS 10276 HAS SOPS 10276 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6880.276
AT ITER 2395 NEW BEST:: SOT 45137 SOS 10244 HAS SOPS 10244 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6864.244
AT ITER 2404 NEW BEST:: SOT 45127 SOS 10224 HAS SOPS 10224 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6860.224
AT ITER 2428 NEW BEST:: SOT 45101 SOS 10172 HAS SOPS 10172 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6833.172
AT ITER 2438 NEW BEST:: SOT 45075 SOS 10306 HAS SOPS 10306 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6774.306
AT ITER 2459 NEW BEST:: SOT 45072 SOS 10320 HAS SOPS 10320 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.32
AT ITER 2469 NEW BEST:: SOT 45072 SOS 10314 HAS SOPS 10314 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6768.314
AT ITER 2473 NEW BEST:: SOT 44997 SOS 10237 HAS SOPS 10237 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6749.237
AT ITER 2488 NEW BEST:: SOT 44996 SOS 10227 HAS SOPS 10227 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6746.227
AT ITER 2512 NEW BEST:: SOT 44997 SOS 10207 HAS SOPS 10207 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6726.207
AT ITER 2513 NEW BEST:: SOT 44997 SOS 10207 HAS SOPS 10207 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6724.207
AT ITER 2518 NEW BEST:: SOT 44984 SOS 10194 HAS SOPS 10194 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6711.194
AT ITER 2557 NEW BEST:: SOT 44917 SOS 10145 HAS SOPS 10145 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6662.145
AT ITER 2565 NEW BEST:: SOT 44915 SOS 10138 HAS SOPS 10138 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6654.138
AT ITER 2572 NEW BEST:: SOT 44913 SOS 10134 HAS SOPS 10134 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6652.134
AT ITER 2575 NEW BEST:: SOT 44887 SOS 10082 HAS SOPS 10082 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6600.082
AT ITER 2625 NEW BEST:: SOT 44863 SOS 10034 HAS SOPS 10034 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6576.034
AT ITER 2631 NEW BEST:: SOT 44863 SOS 10022 HAS SOPS 10022 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6564.022
AT ITER 2721 NEW BEST:: SOT 44857 SOS 10100 HAS SOPS 10100 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6563.1
AT ITER 2732 NEW BEST:: SOT 44826 SOS 10034 HAS SOPS 10034 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6496.034
AT ITER 2788 NEW BEST:: SOT 44806 SOS 9994 HAS SOPS 9994 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6465.994
AT ITER 2811 NEW BEST:: SOT 44780 SOS 9964 HAS SOPS 9964 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6454.964
AT ITER 2812 NEW BEST:: SOT 44776 SOS 9960 HAS SOPS 9960 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6454.96
AT ITER 2877 NEW BEST:: SOT 44774 SOS 9952 HAS SOPS 9952 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6448.952
AT ITER 2886 NEW BEST:: SOT 44771 SOS 9944 HAS SOPS 9944 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6448.944
AT ITER 2895 NEW BEST:: SOT 44708 SOS 9833 HAS SOPS 9833 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6409.833
AT ITER 2931 NEW BEST:: SOT 44705 SOS 9827 HAS SOPS 9827 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6403.827
AT ITER 2940 NEW BEST:: SOT 44683 SOS 9758 HAS SOPS 9758 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6380.758
AT ITER 2968 NEW BEST:: SOT 44667 SOS 9726 HAS SOPS 9726 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6376.726
AT ITER 2998 NEW BEST:: SOT 44667 SOS 9725 HAS SOPS 9725 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6376.725
AT ITER 3003 NEW BEST:: SOT 44664 SOS 9725 HAS SOPS 9725 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6373.725
AT ITER 3007 NEW BEST:: SOT 44664 SOS 9725 HAS SOPS 9725 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6364.725
AT ITER 3021 NEW BEST:: SOT 44663 SOS 9723 HAS SOPS 9723 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6363.723
AT ITER 3112 NEW BEST:: SOT 44657 SOS 9717 HAS SOPS 9717 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6357.717
AT ITER 3121 NEW BEST:: SOT 44654 SOS 9718 HAS SOPS 9718 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6351.718
AT ITER 3122 NEW BEST:: SOT 44650 SOS 9713 HAS SOPS 9713 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6349.713
AT ITER 3169 NEW BEST:: SOT 44648 SOS 9711 HAS SOPS 9711 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6347.711
AT ITER 3186 NEW BEST:: SOT 44650 SOS 9715 HAS SOPS 9715 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6345.715
AT ITER 3239 NEW BEST:: SOT 44642 SOS 9699 HAS SOPS 9699 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6329.699
AT ITER 3244 NEW BEST:: SOT 44623 SOS 9699 HAS SOPS 9699 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6310.699
AT ITER 3248 NEW BEST:: SOT 44607 SOS 9667 HAS SOPS 9667 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6278.667
AT ITER 3257 NEW BEST:: SOT 44603 SOS 9663 HAS SOPS 9663 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6274.663
AT ITER 3278 NEW BEST:: SOT 44602 SOS 9661 HAS SOPS 9661 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6273.661
AT ITER 3390 NEW BEST:: SOT 44602 SOS 9661 HAS SOPS 9661 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6265.661
AT ITER 3391 NEW BEST:: SOT 44590 SOS 9637 HAS SOPS 9637 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6257.637
AT ITER 3483 NEW BEST:: SOT 44580 SOS 9636 HAS SOPS 9636 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6256.636
AT ITER 3488 NEW BEST:: SOT 44580 SOS 9633 HAS SOPS 9633 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6253.633
AT ITER 3541 NEW BEST:: SOT 44572 SOS 9617 HAS SOPS 9617 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6245.617
AT ITER 3542 NEW BEST:: SOT 44572 SOS 9607 HAS SOPS 9607 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6245.607
AT ITER 3579 NEW BEST:: SOT 44537 SOS 9537 HAS SOPS 9537 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6237.537
AT ITER 3584 NEW BEST:: SOT 44531 SOS 9515 HAS SOPS 9515 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6215.515
AT ITER 3607 NEW BEST:: SOT 44531 SOS 9515 HAS SOPS 9515 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6185.515
AT ITER 3621 NEW BEST:: SOT 44522 SOS 9497 HAS SOPS 9497 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6171.497
AT ITER 3694 NEW BEST:: SOT 44522 SOS 9497 HAS SOPS 9497 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6145.497
AT ITER 3695 NEW BEST:: SOT 44530 SOS 9505 HAS SOPS 9505 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6144.505
AT ITER 3788 NEW BEST:: SOT 44526 SOS 9501 HAS SOPS 9501 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6140.501
AT ITER 3836 NEW BEST:: SOT 44509 SOS 9476 HAS SOPS 9476 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6131.476
AT ITER 3843 NEW BEST:: SOT 44509 SOS 9474 HAS SOPS 9474 HAS SOUS 6120 HAS SOUPS 6120 WITH SCORE 6129.474
AT ITER 3896 NEW BEST:: SOT 44495 SOS 9434 HAS SOPS 9434 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6102.434
AT ITER 3907 NEW BEST:: SOT 44485 SOS 9414 HAS SOPS 9414 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6092.414
AT ITER 3922 NEW BEST:: SOT 44482 SOS 9408 HAS SOPS 9408 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6086.408
AT ITER 3948 NEW BEST:: SOT 44476 SOS 9401 HAS SOPS 9401 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6080.401
AT ITER 3969 NEW BEST:: SOT 44473 SOS 9395 HAS SOPS 9395 HAS SOUS 6065 HAS SOUPS 6065 WITH SCORE 6074.395
AT ITER 4031 NEW BEST:: SOT 44474 SOS 9397 HAS SOPS 9397 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6073.397
AT ITER 4102 NEW BEST:: SOT 44438 SOS 9667 HAS SOPS 9667 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6057.667
AT ITER 4148 NEW BEST:: SOT 44432 SOS 9661 HAS SOPS 9661 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6048.661
AT ITER 4304 NEW BEST:: SOT 44431 SOS 9660 HAS SOPS 9660 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6047.66
AT ITER 4307 NEW BEST:: SOT 44429 SOS 9656 HAS SOPS 9656 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6043.656
AT ITER 4369 NEW BEST:: SOT 44428 SOS 9654 HAS SOPS 9654 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6042.654
AT ITER 4376 NEW BEST:: SOT 44432 SOS 9658 HAS SOPS 9658 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6038.658
AT ITER 4438 NEW BEST:: SOT 44438 SOS 9639 HAS SOPS 9639 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6029.639
AT ITER 4557 NEW BEST:: SOT 44434 SOS 9636 HAS SOPS 9636 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6026.636
AT ITER 4592 NEW BEST:: SOT 44432 SOS 9632 HAS SOPS 9632 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6024.632
AT ITER 4604 NEW BEST:: SOT 44431 SOS 9630 HAS SOPS 9630 HAS SOUS 6013 HAS SOUPS 6013 WITH SCORE 6022.63
AT ITER 4639 NEW BEST:: SOT 44415 SOS 9615 HAS SOPS 9615 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6007.615
AT ITER 4658 NEW BEST:: SOT 44415 SOS 9615 HAS SOPS 9615 HAS SOUS 5995 HAS SOUPS 5995 WITH SCORE 6004.615
AT ITER 4669 NEW BEST:: SOT 44415 SOS 9614 HAS SOPS 9614 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6003.614
AT ITER 4687 NEW BEST:: SOT 44391 SOS 9566 HAS SOPS 9566 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5981.566
AT ITER 4703 NEW BEST:: SOT 44397 SOS 9578 HAS SOPS 9578 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5972.578
AT ITER 4778 NEW BEST:: SOT 44403 SOS 9590 HAS SOPS 9590 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5969.59
AT ITER 4806 NEW BEST:: SOT 44401 SOS 9586 HAS SOPS 9586 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5965.586
AT ITER 4825 NEW BEST:: SOT 44399 SOS 9579 HAS SOPS 9579 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5958.579
AT ITER 4887 NEW BEST:: SOT 44399 SOS 9475 HAS SOPS 9475 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5958.475
AT ITER 4903 NEW BEST:: SOT 44424 SOS 9500 HAS SOPS 9500 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5934.5
AT ITER 4913 NEW BEST:: SOT 44421 SOS 9494 HAS SOPS 9494 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5928.494
AT ITER 4921 NEW BEST:: SOT 44415 SOS 9482 HAS SOPS 9482 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5916.482
AT ITER 4953 NEW BEST:: SOT 44412 SOS 9534 HAS SOPS 9534 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.534
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-10-CTLFireability-00 (EU( ( ( ((potential((tk(P84)>=1)))) | ( ((potential((tk(P105)>=1)))) | ((potential((tk(P191)>=1)))) ) ) | (EF( ((potential((tk(P219)>=1)))))) ) , (EX( ( ((potential((tk(P125)>=1)))) | ((potential((tk(P90)>=1)))) ))) ))
PROPERTY: SmartHome-PT-10-CTLFireability-01 ( ( ( (! (AX( ((potential((tk(P58)>=1) & (tk(P261)>=1))))))) & (! ((potential((tk(P217)>=1))))) ) & ((potential((tk(P173)>=1)))) ) | (! (AG( (EF( ((potential((tk(P44)>=1))))))))) )
PROPERTY: SmartHome-PT-10-CTLFireability-02 ( (EF( ((potential((tk(P82)>=1)))))) | ( ( ((potential((tk(P271)>=1) & (tk(P260)>=1)))) & (EG( (! ((potential((tk(P163)>=1))))))) ) & ( ( ( ( ((potential((tk(P111)>=1)))) & ((potential((tk(P109)>=1)))) ) & (! ((potential((tk(P26)>=1))))) ) | ( ((potential((tk(P39)>=1)))) | (! ((potential((tk(P102)>=1))))) ) ) | ( ((potential((tk(P111)>=1)))) & (AX( ((potential((tk(P40)>=1)))))) ) ) ) )
PROPERTY: SmartHome-PT-10-CTLFireability-03 ( (EG( (EX( ( ((potential((tk(P164)>=1)))) & ((potential((tk(P259)>=1)))) ))))) | (EF( ( ( (! ((potential((tk(P71)>=1))))) & ( ((potential((tk(P141)>=1)))) & ((potential((tk(P48)>=1)))) ) ) | ( ( ((potential((tk(P21)>=1)))) | ((potential((tk(P181)>=1)))) ) & ( ((potential((tk(P154)>=1)))) & ((potential((tk(P58)>=1) & (tk(P273)>=1)))) ) ) ))) )
PROPERTY: SmartHome-PT-10-CTLFireability-04 ( (EF( (AX( ( ((potential((tk(P29)>=1)))) | ((potential((tk(P231)>=1) & (tk(P236)>=1)))) ))))) | ((potential((tk(P41)>=1)))) )
PROPERTY: SmartHome-PT-10-CTLFireability-05 (EF( ((potential((tk(P86)>=1))))))
PROPERTY: SmartHome-PT-10-CTLFireability-06 (EF( ( (! (AG( ((potential((tk(P124)>=1))))))) & ( (AG( ((potential((tk(P220)>=1)))))) & ( ((potential((tk(P193)>=1)))) & ((potential((tk(P152)>=1)))) ) ) )))
PROPERTY: SmartHome-PT-10-CTLFireability-07 (EG( (EF( (EX( ((potential((tk(P98)>=1))))))))))
PROPERTY: SmartHome-PT-10-CTLFireability-08 (EF( ( ( ( (! ((potential((tk(P231)>=1) & (tk(P270)>=1))))) & (! ((potential((tk(P219)>=1))))) ) & ( ((potential((tk(P209)>=1)))) | (! ((potential((tk(P199)>=1))))) ) ) & (! (EF( ((potential((tk(P189)>=1))))))) )))
PROPERTY: SmartHome-PT-10-CTLFireability-09 (EF( ( ( (AF( ((potential((tk(P177)>=1)))))) & ( ((potential((tk(P70)>=1)))) | (! ((potential((tk(P6)>=1))))) ) ) | (AX( ( ((potential((tk(P174)>=1)))) & ((potential((tk(P164)>=1)))) ))) )))
PROPERTY: SmartHome-PT-10-CTLFireability-10 (EU( (AX( (! ((potential((tk(P81)>=1))))))) , (EX( ((potential((tk(P22)>=1)))))) ))
PROPERTY: SmartHome-PT-10-CTLFireability-11 ( (AX( ( (! ( ((potential((tk(P126)>=1)))) | ((potential((tk(P171)>=1)))) )) | (EX( ((potential((tk(P94)>=1)))))) ))) & ( (AX( (AF( ((potential((tk(P222)>=1)))))))) | ( (EF( ( ((potential((tk(P176)>=1)))) & ((potential((tk(P65)>=1)))) ))) | (AU( ((potential((tk(P43)>=1)))) , ((potential((tk(P8)>=1)))) )) ) ) )
PROPERTY: SmartHome-PT-10-CTLFireability-12 ( ( (! (AX( ((potential((tk(P152)>=1))))))) & ( ( (EF( ((potential((tk(P130)>=1)))))) | ( ((potential((tk(P205)>=1)))) | ( ((potential((tk(P61)>=1)))) | ((potential((tk(P98)>=1)))) ) ) ) & (! (EX( ((potential((tk(P151)>=1))))))) ) ) | ( (! (EG( ( ((potential((tk(P58)>=1) & (tk(P250)>=1)))) | ((potential((tk(P224)>=1)))) )))) & ( ((potential((tk(P199)>=1)))) | ( (EG( ((potential((tk(P52)>=1)))))) | (AG( ((potential((tk(P71)>=1)))))) ) ) ) )
PROPERTY: SmartHome-PT-10-CTLFireability-13 (AG( (EG( (! ( ((potential((tk(P151)>=1)))) & ((potential((tk(P163)>=1)))) ))))))
PROPERTY: SmartHome-PT-10-CTLFireability-14 (AX( (EF( ( ((potential((tk(P173)>=1)))) & ( ((potential((tk(P45)>=1)))) | ((potential((tk(P90)>=1)))) ) )))))
PROPERTY: SmartHome-PT-10-CTLFireability-15 (! (! (EG( ( (! ((potential((tk(P197)>=1))))) | (! ((potential((tk(P4)>=1))))) )))))
FORMULA SmartHome-PT-10-CTLFireability-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-10.tgz
mv SmartHome-PT-10 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;