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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.6K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 15K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 10:22 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 139K 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-17-CTLFireability-00
FORMULA_NAME SmartHome-PT-17-CTLFireability-01
FORMULA_NAME SmartHome-PT-17-CTLFireability-02
FORMULA_NAME SmartHome-PT-17-CTLFireability-03
FORMULA_NAME SmartHome-PT-17-CTLFireability-04
FORMULA_NAME SmartHome-PT-17-CTLFireability-05
FORMULA_NAME SmartHome-PT-17-CTLFireability-06
FORMULA_NAME SmartHome-PT-17-CTLFireability-07
FORMULA_NAME SmartHome-PT-17-CTLFireability-08
FORMULA_NAME SmartHome-PT-17-CTLFireability-09
FORMULA_NAME SmartHome-PT-17-CTLFireability-10
FORMULA_NAME SmartHome-PT-17-CTLFireability-11
FORMULA_NAME SmartHome-PT-17-CTLFireability-12
FORMULA_NAME SmartHome-PT-17-CTLFireability-13
FORMULA_NAME SmartHome-PT-17-CTLFireability-14
FORMULA_NAME SmartHome-PT-17-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469799868

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 17
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: 571 places, 617 transitions, 1410 arcs.
AT ITER 0 NEW BEST:: SOT 207919 SOS 47012 HAS SOPS 47012 HAS SOUS 45976 HAS SOUPS 45976 WITH SCORE 46023.012
AT ITER 26 NEW BEST:: SOT 207903 SOS 47004 HAS SOPS 47004 HAS SOUS 45968 HAS SOUPS 45968 WITH SCORE 46015.004
AT ITER 39 NEW BEST:: SOT 207850 SOS 46951 HAS SOPS 46951 HAS SOUS 45915 HAS SOUPS 45915 WITH SCORE 45961.951
AT ITER 55 NEW BEST:: SOT 207997 SOS 46935 HAS SOPS 46935 HAS SOUS 45897 HAS SOUPS 45897 WITH SCORE 45943.935
AT ITER 60 NEW BEST:: SOT 207997 SOS 46870 HAS SOPS 46870 HAS SOUS 45832 HAS SOUPS 45832 WITH SCORE 45878.87
AT ITER 62 NEW BEST:: SOT 207984 SOS 46857 HAS SOPS 46857 HAS SOUS 45819 HAS SOUPS 45819 WITH SCORE 45865.857
AT ITER 73 NEW BEST:: SOT 207967 SOS 46862 HAS SOPS 46862 HAS SOUS 45802 HAS SOUPS 45802 WITH SCORE 45848.862
AT ITER 89 NEW BEST:: SOT 207967 SOS 46845 HAS SOPS 46845 HAS SOUS 45785 HAS SOUPS 45785 WITH SCORE 45831.845
AT ITER 99 NEW BEST:: SOT 207947 SOS 46825 HAS SOPS 46825 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45811.825
AT ITER 117 NEW BEST:: SOT 207848 SOS 46823 HAS SOPS 46823 HAS SOUS 45763 HAS SOUPS 45763 WITH SCORE 45809.823
AT ITER 130 NEW BEST:: SOT 207848 SOS 46721 HAS SOPS 46721 HAS SOUS 45723 HAS SOUPS 45723 WITH SCORE 45769.721
AT ITER 133 NEW BEST:: SOT 207748 SOS 46598 HAS SOPS 46598 HAS SOUS 45550 HAS SOUPS 45550 WITH SCORE 45596.598
AT ITER 138 NEW BEST:: SOT 207764 SOS 46585 HAS SOPS 46585 HAS SOUS 45535 HAS SOUPS 45535 WITH SCORE 45581.585
AT ITER 143 NEW BEST:: SOT 207057 SOS 50560 HAS SOPS 50560 HAS SOUS 45484 HAS SOUPS 45484 WITH SCORE 45534.56
AT ITER 148 NEW BEST:: SOT 206513 SOS 51492 HAS SOPS 51492 HAS SOUS 45179 HAS SOUPS 45179 WITH SCORE 45230.492
AT ITER 160 NEW BEST:: SOT 206513 SOS 51491 HAS SOPS 51491 HAS SOUS 45178 HAS SOUPS 45178 WITH SCORE 45229.491
AT ITER 161 NEW BEST:: SOT 206419 SOS 51367 HAS SOPS 51367 HAS SOUS 45050 HAS SOUPS 45050 WITH SCORE 45101.367
AT ITER 187 NEW BEST:: SOT 206419 SOS 51332 HAS SOPS 51332 HAS SOUS 45015 HAS SOUPS 45015 WITH SCORE 45066.332
AT ITER 191 NEW BEST:: SOT 206304 SOS 49662 HAS SOPS 49662 HAS SOUS 44900 HAS SOUPS 44900 WITH SCORE 44949.662
AT ITER 206 NEW BEST:: SOT 206270 SOS 49628 HAS SOPS 49628 HAS SOUS 44866 HAS SOUPS 44866 WITH SCORE 44915.628
AT ITER 211 NEW BEST:: SOT 206270 SOS 49589 HAS SOPS 49589 HAS SOUS 44827 HAS SOUPS 44827 WITH SCORE 44876.589
AT ITER 215 NEW BEST:: SOT 206078 SOS 49205 HAS SOPS 49205 HAS SOUS 44568 HAS SOUPS 44568 WITH SCORE 44617.205
AT ITER 219 NEW BEST:: SOT 206131 SOS 49205 HAS SOPS 49205 HAS SOUS 44515 HAS SOUPS 44515 WITH SCORE 44564.205
AT ITER 228 NEW BEST:: SOT 205940 SOS 49014 HAS SOPS 49014 HAS SOUS 44324 HAS SOUPS 44324 WITH SCORE 44373.014
AT ITER 229 NEW BEST:: SOT 205932 SOS 48998 HAS SOPS 48998 HAS SOUS 44308 HAS SOUPS 44308 WITH SCORE 44356.998
AT ITER 230 NEW BEST:: SOT 205917 SOS 48969 HAS SOPS 48969 HAS SOUS 44279 HAS SOUPS 44279 WITH SCORE 44327.969
AT ITER 239 NEW BEST:: SOT 204731 SOS 48940 HAS SOPS 48940 HAS SOUS 43411 HAS SOUPS 43411 WITH SCORE 43459.94
AT ITER 257 NEW BEST:: SOT 204672 SOS 48822 HAS SOPS 48822 HAS SOUS 43352 HAS SOUPS 43352 WITH SCORE 43400.822
AT ITER 271 NEW BEST:: SOT 204683 SOS 48820 HAS SOPS 48820 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43398.82
AT ITER 275 NEW BEST:: SOT 204668 SOS 48790 HAS SOPS 48790 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43393.79
AT ITER 281 NEW BEST:: SOT 204672 SOS 48797 HAS SOPS 48797 HAS SOUS 43339 HAS SOUPS 43339 WITH SCORE 43387.797
AT ITER 294 NEW BEST:: SOT 204658 SOS 48769 HAS SOPS 48769 HAS SOUS 43311 HAS SOUPS 43311 WITH SCORE 43359.769
AT ITER 311 NEW BEST:: SOT 204602 SOS 48657 HAS SOPS 48657 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43247.657
AT ITER 347 NEW BEST:: SOT 204302 SOS 48407 HAS SOPS 48407 HAS SOUS 42918 HAS SOUPS 42918 WITH SCORE 42966.407
AT ITER 349 NEW BEST:: SOT 204302 SOS 48389 HAS SOPS 48389 HAS SOUS 42900 HAS SOUPS 42900 WITH SCORE 42948.389
AT ITER 354 NEW BEST:: SOT 204302 SOS 48374 HAS SOPS 48374 HAS SOUS 42885 HAS SOUPS 42885 WITH SCORE 42933.374
AT ITER 362 NEW BEST:: SOT 204259 SOS 48331 HAS SOPS 48331 HAS SOUS 42842 HAS SOUPS 42842 WITH SCORE 42890.331
AT ITER 364 NEW BEST:: SOT 204273 SOS 48328 HAS SOPS 48328 HAS SOUS 42839 HAS SOUPS 42839 WITH SCORE 42887.328
AT ITER 365 NEW BEST:: SOT 203502 SOS 48068 HAS SOPS 48068 HAS SOUS 42068 HAS SOUPS 42068 WITH SCORE 42116.068
AT ITER 383 NEW BEST:: SOT 202098 SOS 48918 HAS SOPS 48918 HAS SOUS 40841 HAS SOUPS 40841 WITH SCORE 40889.918
AT ITER 384 NEW BEST:: SOT 202098 SOS 48917 HAS SOPS 48917 HAS SOUS 40840 HAS SOUPS 40840 WITH SCORE 40888.917
AT ITER 388 NEW BEST:: SOT 202130 SOS 48932 HAS SOPS 48932 HAS SOUS 40823 HAS SOUPS 40823 WITH SCORE 40871.932
AT ITER 389 NEW BEST:: SOT 202109 SOS 48892 HAS SOPS 48892 HAS SOUS 40783 HAS SOUPS 40783 WITH SCORE 40831.892
AT ITER 396 NEW BEST:: SOT 202109 SOS 48814 HAS SOPS 48814 HAS SOUS 40705 HAS SOUPS 40705 WITH SCORE 40753.814
AT ITER 397 NEW BEST:: SOT 202109 SOS 48756 HAS SOPS 48756 HAS SOUS 40647 HAS SOUPS 40647 WITH SCORE 40695.756
AT ITER 403 NEW BEST:: SOT 202103 SOS 48747 HAS SOPS 48747 HAS SOUS 40641 HAS SOUPS 40641 WITH SCORE 40689.747
AT ITER 415 NEW BEST:: SOT 202130 SOS 48801 HAS SOPS 48801 HAS SOUS 40621 HAS SOUPS 40621 WITH SCORE 40669.801
AT ITER 418 NEW BEST:: SOT 202138 SOS 48794 HAS SOPS 48794 HAS SOUS 40606 HAS SOUPS 40606 WITH SCORE 40654.794
AT ITER 437 NEW BEST:: SOT 202123 SOS 48779 HAS SOPS 48779 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40599.779
AT ITER 468 NEW BEST:: SOT 202123 SOS 48773 HAS SOPS 48773 HAS SOUS 40545 HAS SOUPS 40545 WITH SCORE 40593.773
AT ITER 475 NEW BEST:: SOT 202077 SOS 48681 HAS SOPS 48681 HAS SOUS 40499 HAS SOUPS 40499 WITH SCORE 40547.681
AT ITER 476 NEW BEST:: SOT 202130 SOS 48787 HAS SOPS 48787 HAS SOUS 40421 HAS SOUPS 40421 WITH SCORE 40469.787
AT ITER 482 NEW BEST:: SOT 201923 SOS 48598 HAS SOPS 48598 HAS SOUS 40223 HAS SOUPS 40223 WITH SCORE 40271.598
AT ITER 488 NEW BEST:: SOT 201923 SOS 48592 HAS SOPS 48592 HAS SOUS 40217 HAS SOUPS 40217 WITH SCORE 40265.592
AT ITER 533 NEW BEST:: SOT 200486 SOS 48373 HAS SOPS 48373 HAS SOUS 38885 HAS SOUPS 38885 WITH SCORE 38933.373
AT ITER 534 NEW BEST:: SOT 200486 SOS 48354 HAS SOPS 48354 HAS SOUS 38884 HAS SOUPS 38884 WITH SCORE 38932.354
AT ITER 536 NEW BEST:: SOT 200263 SOS 48131 HAS SOPS 48131 HAS SOUS 38794 HAS SOUPS 38794 WITH SCORE 38842.131
AT ITER 545 NEW BEST:: SOT 200322 SOS 47482 HAS SOPS 47482 HAS SOUS 38778 HAS SOUPS 38778 WITH SCORE 38825.482
AT ITER 546 NEW BEST:: SOT 200346 SOS 47530 HAS SOPS 47530 HAS SOUS 38694 HAS SOUPS 38694 WITH SCORE 38741.53
AT ITER 560 NEW BEST:: SOT 200422 SOS 47594 HAS SOPS 47594 HAS SOUS 38682 HAS SOUPS 38682 WITH SCORE 38729.594
AT ITER 567 NEW BEST:: SOT 200422 SOS 47596 HAS SOPS 47596 HAS SOUS 38672 HAS SOUPS 38672 WITH SCORE 38719.596
AT ITER 571 NEW BEST:: SOT 200407 SOS 47566 HAS SOPS 47566 HAS SOUS 38642 HAS SOUPS 38642 WITH SCORE 38689.566
AT ITER 577 NEW BEST:: SOT 200377 SOS 47506 HAS SOPS 47506 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38659.506
AT ITER 586 NEW BEST:: SOT 200356 SOS 47464 HAS SOPS 47464 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38659.464
AT ITER 588 NEW BEST:: SOT 200350 SOS 47457 HAS SOPS 47457 HAS SOUS 38605 HAS SOUPS 38605 WITH SCORE 38652.457
AT ITER 596 NEW BEST:: SOT 200340 SOS 47443 HAS SOPS 47443 HAS SOUS 38535 HAS SOUPS 38535 WITH SCORE 38582.443
AT ITER 653 NEW BEST:: SOT 200266 SOS 47295 HAS SOPS 47295 HAS SOUS 38461 HAS SOUPS 38461 WITH SCORE 38508.295
AT ITER 662 NEW BEST:: SOT 200279 SOS 47284 HAS SOPS 47284 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38497.284
AT ITER 669 NEW BEST:: SOT 200252 SOS 47257 HAS SOPS 47257 HAS SOUS 38377 HAS SOUPS 38377 WITH SCORE 38424.257
AT ITER 674 NEW BEST:: SOT 200212 SOS 47177 HAS SOPS 47177 HAS SOUS 38297 HAS SOUPS 38297 WITH SCORE 38344.177
AT ITER 678 NEW BEST:: SOT 200181 SOS 47167 HAS SOPS 47167 HAS SOUS 38266 HAS SOUPS 38266 WITH SCORE 38313.167
AT ITER 690 NEW BEST:: SOT 200130 SOS 47014 HAS SOPS 47014 HAS SOUS 38164 HAS SOUPS 38164 WITH SCORE 38211.014
AT ITER 691 NEW BEST:: SOT 200078 SOS 46910 HAS SOPS 46910 HAS SOUS 38112 HAS SOUPS 38112 WITH SCORE 38158.91
AT ITER 695 NEW BEST:: SOT 200060 SOS 46874 HAS SOPS 46874 HAS SOUS 38076 HAS SOUPS 38076 WITH SCORE 38122.874
AT ITER 697 NEW BEST:: SOT 200036 SOS 46826 HAS SOPS 46826 HAS SOUS 38028 HAS SOUPS 38028 WITH SCORE 38074.826
AT ITER 712 NEW BEST:: SOT 200036 SOS 46821 HAS SOPS 46821 HAS SOUS 38023 HAS SOUPS 38023 WITH SCORE 38069.821
AT ITER 713 NEW BEST:: SOT 200006 SOS 46789 HAS SOPS 46789 HAS SOUS 37971 HAS SOUPS 37971 WITH SCORE 38017.789
AT ITER 720 NEW BEST:: SOT 199972 SOS 46721 HAS SOPS 46721 HAS SOUS 37937 HAS SOUPS 37937 WITH SCORE 37983.721
AT ITER 730 NEW BEST:: SOT 199971 SOS 46719 HAS SOPS 46719 HAS SOUS 37935 HAS SOUPS 37935 WITH SCORE 37981.719
AT ITER 756 NEW BEST:: SOT 199987 SOS 46751 HAS SOPS 46751 HAS SOUS 37924 HAS SOUPS 37924 WITH SCORE 37970.751
AT ITER 763 NEW BEST:: SOT 199970 SOS 46717 HAS SOPS 46717 HAS SOUS 37924 HAS SOUPS 37924 WITH SCORE 37970.717
AT ITER 765 NEW BEST:: SOT 199970 SOS 46681 HAS SOPS 46681 HAS SOUS 37888 HAS SOUPS 37888 WITH SCORE 37934.681
AT ITER 770 NEW BEST:: SOT 199958 SOS 46657 HAS SOPS 46657 HAS SOUS 37864 HAS SOUPS 37864 WITH SCORE 37910.657
AT ITER 772 NEW BEST:: SOT 199956 SOS 46653 HAS SOPS 46653 HAS SOUS 37860 HAS SOUPS 37860 WITH SCORE 37906.653
AT ITER 784 NEW BEST:: SOT 199926 SOS 46593 HAS SOPS 46593 HAS SOUS 37800 HAS SOUPS 37800 WITH SCORE 37846.593
AT ITER 819 NEW BEST:: SOT 199908 SOS 46574 HAS SOPS 46574 HAS SOUS 37793 HAS SOUPS 37793 WITH SCORE 37839.574
AT ITER 832 NEW BEST:: SOT 199855 SOS 46500 HAS SOPS 46500 HAS SOUS 37740 HAS SOUPS 37740 WITH SCORE 37786.5
AT ITER 839 NEW BEST:: SOT 199775 SOS 46373 HAS SOPS 46373 HAS SOUS 37697 HAS SOUPS 37697 WITH SCORE 37743.373
AT ITER 845 NEW BEST:: SOT 199433 SOS 46901 HAS SOPS 46901 HAS SOUS 37452 HAS SOUPS 37452 WITH SCORE 37498.901
AT ITER 846 NEW BEST:: SOT 199325 SOS 46739 HAS SOPS 46739 HAS SOUS 37344 HAS SOUPS 37344 WITH SCORE 37390.739
AT ITER 870 NEW BEST:: SOT 199285 SOS 46659 HAS SOPS 46659 HAS SOUS 37243 HAS SOUPS 37243 WITH SCORE 37289.659
AT ITER 872 NEW BEST:: SOT 199278 SOS 46648 HAS SOPS 46648 HAS SOUS 37232 HAS SOUPS 37232 WITH SCORE 37278.648
AT ITER 888 NEW BEST:: SOT 199202 SOS 46496 HAS SOPS 46496 HAS SOUS 37211 HAS SOUPS 37211 WITH SCORE 37257.496
AT ITER 889 NEW BEST:: SOT 199188 SOS 46468 HAS SOPS 46468 HAS SOUS 37190 HAS SOUPS 37190 WITH SCORE 37236.468
AT ITER 922 NEW BEST:: SOT 198748 SOS 46116 HAS SOPS 46116 HAS SOUS 36750 HAS SOUPS 36750 WITH SCORE 36796.116
AT ITER 923 NEW BEST:: SOT 198748 SOS 46079 HAS SOPS 46079 HAS SOUS 36713 HAS SOUPS 36713 WITH SCORE 36759.079
AT ITER 932 NEW BEST:: SOT 198729 SOS 46060 HAS SOPS 46060 HAS SOUS 36694 HAS SOUPS 36694 WITH SCORE 36740.06
AT ITER 969 NEW BEST:: SOT 199005 SOS 45985 HAS SOPS 45985 HAS SOUS 36619 HAS SOUPS 36619 WITH SCORE 36664.985
AT ITER 972 NEW BEST:: SOT 198217 SOS 46883 HAS SOPS 46883 HAS SOUS 36011 HAS SOUPS 36011 WITH SCORE 36057.883
AT ITER 975 NEW BEST:: SOT 198352 SOS 46995 HAS SOPS 46995 HAS SOUS 36000 HAS SOUPS 36000 WITH SCORE 36046.995
AT ITER 1003 NEW BEST:: SOT 198311 SOS 46913 HAS SOPS 46913 HAS SOUS 35959 HAS SOUPS 35959 WITH SCORE 36005.913
AT ITER 1021 NEW BEST:: SOT 198229 SOS 46678 HAS SOPS 46678 HAS SOUS 35748 HAS SOUPS 35748 WITH SCORE 35794.678
AT ITER 1028 NEW BEST:: SOT 198241 SOS 45918 HAS SOPS 45918 HAS SOUS 35704 HAS SOUPS 35704 WITH SCORE 35749.918
AT ITER 1075 NEW BEST:: SOT 198162 SOS 45869 HAS SOPS 45869 HAS SOUS 35633 HAS SOUPS 35633 WITH SCORE 35678.869
AT ITER 1085 NEW BEST:: SOT 198093 SOS 45800 HAS SOPS 45800 HAS SOUS 35563 HAS SOUPS 35563 WITH SCORE 35608.8
AT ITER 1092 NEW BEST:: SOT 198079 SOS 45772 HAS SOPS 45772 HAS SOUS 35563 HAS SOUPS 35563 WITH SCORE 35608.772
AT ITER 1130 NEW BEST:: SOT 198045 SOS 45721 HAS SOPS 45721 HAS SOUS 35512 HAS SOUPS 35512 WITH SCORE 35557.721
AT ITER 1139 NEW BEST:: SOT 197672 SOS 45772 HAS SOPS 45772 HAS SOUS 35158 HAS SOUPS 35158 WITH SCORE 35203.772
AT ITER 1186 NEW BEST:: SOT 197714 SOS 45737 HAS SOPS 45737 HAS SOUS 35123 HAS SOUPS 35123 WITH SCORE 35168.737
AT ITER 1187 NEW BEST:: SOT 197576 SOS 45461 HAS SOPS 45461 HAS SOUS 34847 HAS SOUPS 34847 WITH SCORE 34892.461
AT ITER 1190 NEW BEST:: SOT 197558 SOS 45443 HAS SOPS 45443 HAS SOUS 34847 HAS SOUPS 34847 WITH SCORE 34892.443
AT ITER 1196 NEW BEST:: SOT 197552 SOS 45437 HAS SOPS 45437 HAS SOUS 34841 HAS SOUPS 34841 WITH SCORE 34886.437
AT ITER 1228 NEW BEST:: SOT 197526 SOS 45399 HAS SOPS 45399 HAS SOUS 34801 HAS SOUPS 34801 WITH SCORE 34846.399
AT ITER 1236 NEW BEST:: SOT 197479 SOS 45380 HAS SOPS 45380 HAS SOUS 34782 HAS SOUPS 34782 WITH SCORE 34827.38
AT ITER 1248 NEW BEST:: SOT 197376 SOS 45229 HAS SOPS 45229 HAS SOUS 34769 HAS SOUPS 34769 WITH SCORE 34814.229
AT ITER 1270 NEW BEST:: SOT 197192 SOS 45355 HAS SOPS 45355 HAS SOUS 34626 HAS SOUPS 34626 WITH SCORE 34671.355
AT ITER 1277 NEW BEST:: SOT 197006 SOS 45271 HAS SOPS 45271 HAS SOUS 34613 HAS SOUPS 34613 WITH SCORE 34658.271
AT ITER 1283 NEW BEST:: SOT 196938 SOS 46092 HAS SOPS 46092 HAS SOUS 34545 HAS SOUPS 34545 WITH SCORE 34591.092
AT ITER 1291 NEW BEST:: SOT 196911 SOS 46086 HAS SOPS 46086 HAS SOUS 34508 HAS SOUPS 34508 WITH SCORE 34554.086
AT ITER 1295 NEW BEST:: SOT 196865 SOS 46063 HAS SOPS 46063 HAS SOUS 34485 HAS SOUPS 34485 WITH SCORE 34531.063
AT ITER 1300 NEW BEST:: SOT 196853 SOS 46037 HAS SOPS 46037 HAS SOUS 34459 HAS SOUPS 34459 WITH SCORE 34505.037
AT ITER 1305 NEW BEST:: SOT 196853 SOS 46032 HAS SOPS 46032 HAS SOUS 34459 HAS SOUPS 34459 WITH SCORE 34505.032
AT ITER 1306 NEW BEST:: SOT 196853 SOS 46032 HAS SOPS 46032 HAS SOUS 34458 HAS SOUPS 34458 WITH SCORE 34504.032
AT ITER 1319 NEW BEST:: SOT 196829 SOS 45984 HAS SOPS 45984 HAS SOUS 34410 HAS SOUPS 34410 WITH SCORE 34455.984
AT ITER 1322 NEW BEST:: SOT 196793 SOS 45876 HAS SOPS 45876 HAS SOUS 34338 HAS SOUPS 34338 WITH SCORE 34383.876
AT ITER 1331 NEW BEST:: SOT 196793 SOS 45839 HAS SOPS 45839 HAS SOUS 34301 HAS SOUPS 34301 WITH SCORE 34346.839
AT ITER 1334 NEW BEST:: SOT 196674 SOS 45720 HAS SOPS 45720 HAS SOUS 34301 HAS SOUPS 34301 WITH SCORE 34346.72
AT ITER 1355 NEW BEST:: SOT 196655 SOS 45704 HAS SOPS 45704 HAS SOUS 34282 HAS SOUPS 34282 WITH SCORE 34327.704
AT ITER 1363 NEW BEST:: SOT 196646 SOS 45695 HAS SOPS 45695 HAS SOUS 34273 HAS SOUPS 34273 WITH SCORE 34318.695
AT ITER 1366 NEW BEST:: SOT 196646 SOS 45690 HAS SOPS 45690 HAS SOUS 34273 HAS SOUPS 34273 WITH SCORE 34318.69
AT ITER 1372 NEW BEST:: SOT 196645 SOS 45655 HAS SOPS 45655 HAS SOUS 34238 HAS SOUPS 34238 WITH SCORE 34283.655
AT ITER 1376 NEW BEST:: SOT 196645 SOS 45647 HAS SOPS 45647 HAS SOUS 34230 HAS SOUPS 34230 WITH SCORE 34275.647
AT ITER 1380 NEW BEST:: SOT 196620 SOS 45572 HAS SOPS 45572 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34250.572
AT ITER 1384 NEW BEST:: SOT 196620 SOS 45572 HAS SOPS 45572 HAS SOUS 34196 HAS SOUPS 34196 WITH SCORE 34241.572
AT ITER 1400 NEW BEST:: SOT 196560 SOS 45431 HAS SOPS 45431 HAS SOUS 34057 HAS SOUPS 34057 WITH SCORE 34102.431
AT ITER 1409 NEW BEST:: SOT 196508 SOS 45327 HAS SOPS 45327 HAS SOUS 33953 HAS SOUPS 33953 WITH SCORE 33998.327
AT ITER 1438 NEW BEST:: SOT 196498 SOS 45317 HAS SOPS 45317 HAS SOUS 33943 HAS SOUPS 33943 WITH SCORE 33988.317
AT ITER 1485 NEW BEST:: SOT 196498 SOS 45301 HAS SOPS 45301 HAS SOUS 33927 HAS SOUPS 33927 WITH SCORE 33972.301
AT ITER 1489 NEW BEST:: SOT 196446 SOS 45197 HAS SOPS 45197 HAS SOUS 33875 HAS SOUPS 33875 WITH SCORE 33920.197
AT ITER 1518 NEW BEST:: SOT 196342 SOS 45937 HAS SOPS 45937 HAS SOUS 33820 HAS SOUPS 33820 WITH SCORE 33865.937
AT ITER 1526 NEW BEST:: SOT 196357 SOS 45967 HAS SOPS 45967 HAS SOUS 33793 HAS SOUPS 33793 WITH SCORE 33838.967
AT ITER 1533 NEW BEST:: SOT 196357 SOS 45956 HAS SOPS 45956 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33827.956
AT ITER 1540 NEW BEST:: SOT 196312 SOS 45866 HAS SOPS 45866 HAS SOUS 33761 HAS SOUPS 33761 WITH SCORE 33806.866
AT ITER 1545 NEW BEST:: SOT 196312 SOS 45843 HAS SOPS 45843 HAS SOUS 33738 HAS SOUPS 33738 WITH SCORE 33783.843
AT ITER 1546 NEW BEST:: SOT 196300 SOS 45807 HAS SOPS 45807 HAS SOUS 33714 HAS SOUPS 33714 WITH SCORE 33759.807
AT ITER 1566 NEW BEST:: SOT 196223 SOS 45730 HAS SOPS 45730 HAS SOUS 33637 HAS SOUPS 33637 WITH SCORE 33682.73
AT ITER 1582 NEW BEST:: SOT 196210 SOS 45718 HAS SOPS 45718 HAS SOUS 33624 HAS SOUPS 33624 WITH SCORE 33669.718
AT ITER 1607 NEW BEST:: SOT 196199 SOS 45696 HAS SOPS 45696 HAS SOUS 33602 HAS SOUPS 33602 WITH SCORE 33647.696
AT ITER 1614 NEW BEST:: SOT 196103 SOS 45504 HAS SOPS 45504 HAS SOUS 33548 HAS SOUPS 33548 WITH SCORE 33593.504
AT ITER 1660 NEW BEST:: SOT 196103 SOS 45476 HAS SOPS 45476 HAS SOUS 33520 HAS SOUPS 33520 WITH SCORE 33565.476
AT ITER 1673 NEW BEST:: SOT 196028 SOS 45410 HAS SOPS 45410 HAS SOUS 33472 HAS SOUPS 33472 WITH SCORE 33517.41
AT ITER 1694 NEW BEST:: SOT 196013 SOS 45380 HAS SOPS 45380 HAS SOUS 33457 HAS SOUPS 33457 WITH SCORE 33502.38
AT ITER 1696 NEW BEST:: SOT 196012 SOS 45379 HAS SOPS 45379 HAS SOUS 33457 HAS SOUPS 33457 WITH SCORE 33502.379
AT ITER 1733 NEW BEST:: SOT 196005 SOS 45365 HAS SOPS 45365 HAS SOUS 33443 HAS SOUPS 33443 WITH SCORE 33488.365
AT ITER 1739 NEW BEST:: SOT 195970 SOS 45295 HAS SOPS 45295 HAS SOUS 33443 HAS SOUPS 33443 WITH SCORE 33488.295
AT ITER 1762 NEW BEST:: SOT 195858 SOS 45071 HAS SOPS 45071 HAS SOUS 33357 HAS SOUPS 33357 WITH SCORE 33402.071
AT ITER 1767 NEW BEST:: SOT 195822 SOS 44999 HAS SOPS 44999 HAS SOUS 33321 HAS SOUPS 33321 WITH SCORE 33365.999
AT ITER 1770 NEW BEST:: SOT 195710 SOS 45057 HAS SOPS 45057 HAS SOUS 33307 HAS SOUPS 33307 WITH SCORE 33352.057
AT ITER 1773 NEW BEST:: SOT 195663 SOS 45010 HAS SOPS 45010 HAS SOUS 33260 HAS SOUPS 33260 WITH SCORE 33305.01
AT ITER 1775 NEW BEST:: SOT 195587 SOS 44952 HAS SOPS 44952 HAS SOUS 33156 HAS SOUPS 33156 WITH SCORE 33200.952
AT ITER 1794 NEW BEST:: SOT 195603 SOS 44984 HAS SOPS 44984 HAS SOUS 33121 HAS SOUPS 33121 WITH SCORE 33165.984
AT ITER 1813 NEW BEST:: SOT 195585 SOS 44957 HAS SOPS 44957 HAS SOUS 33094 HAS SOUPS 33094 WITH SCORE 33138.957
AT ITER 1827 NEW BEST:: SOT 195578 SOS 44943 HAS SOPS 44943 HAS SOUS 33080 HAS SOUPS 33080 WITH SCORE 33124.943
AT ITER 1846 NEW BEST:: SOT 195578 SOS 44932 HAS SOPS 44932 HAS SOUS 33069 HAS SOUPS 33069 WITH SCORE 33113.932
AT ITER 1850 NEW BEST:: SOT 195531 SOS 44902 HAS SOPS 44902 HAS SOUS 33022 HAS SOUPS 33022 WITH SCORE 33066.902
AT ITER 1876 NEW BEST:: SOT 195531 SOS 44790 HAS SOPS 44790 HAS SOUS 32976 HAS SOUPS 32976 WITH SCORE 33020.79
AT ITER 1877 NEW BEST:: SOT 195528 SOS 44775 HAS SOPS 44775 HAS SOUS 32961 HAS SOUPS 32961 WITH SCORE 33005.775
AT ITER 1884 NEW BEST:: SOT 195486 SOS 44739 HAS SOPS 44739 HAS SOUS 32925 HAS SOUPS 32925 WITH SCORE 32969.739
AT ITER 1885 NEW BEST:: SOT 195496 SOS 44754 HAS SOPS 44754 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32964.754
AT ITER 1906 NEW BEST:: SOT 195478 SOS 44718 HAS SOPS 44718 HAS SOUS 32908 HAS SOUPS 32908 WITH SCORE 32952.718
AT ITER 1921 NEW BEST:: SOT 195365 SOS 44360 HAS SOPS 44360 HAS SOUS 32706 HAS SOUPS 32706 WITH SCORE 32750.36
AT ITER 1925 NEW BEST:: SOT 195334 SOS 44329 HAS SOPS 44329 HAS SOUS 32667 HAS SOUPS 32667 WITH SCORE 32711.329
AT ITER 1954 NEW BEST:: SOT 195334 SOS 44335 HAS SOPS 44335 HAS SOUS 32661 HAS SOUPS 32661 WITH SCORE 32705.335
AT ITER 1983 NEW BEST:: SOT 195334 SOS 44337 HAS SOPS 44337 HAS SOUS 32632 HAS SOUPS 32632 WITH SCORE 32676.337
AT ITER 2012 NEW BEST:: SOT 195287 SOS 44345 HAS SOPS 44345 HAS SOUS 32571 HAS SOUPS 32571 WITH SCORE 32615.345
AT ITER 2017 NEW BEST:: SOT 195187 SOS 44145 HAS SOPS 44145 HAS SOUS 32471 HAS SOUPS 32471 WITH SCORE 32515.145
AT ITER 2037 NEW BEST:: SOT 195181 SOS 44143 HAS SOPS 44143 HAS SOUS 32469 HAS SOUPS 32469 WITH SCORE 32513.143
AT ITER 2055 NEW BEST:: SOT 195137 SOS 44077 HAS SOPS 44077 HAS SOUS 32403 HAS SOUPS 32403 WITH SCORE 32447.077
AT ITER 2073 NEW BEST:: SOT 195137 SOS 44049 HAS SOPS 44049 HAS SOUS 32375 HAS SOUPS 32375 WITH SCORE 32419.049
AT ITER 2075 NEW BEST:: SOT 195135 SOS 44047 HAS SOPS 44047 HAS SOUS 32373 HAS SOUPS 32373 WITH SCORE 32417.047
AT ITER 2076 NEW BEST:: SOT 195134 SOS 44045 HAS SOPS 44045 HAS SOUS 32371 HAS SOUPS 32371 WITH SCORE 32415.045
AT ITER 2091 NEW BEST:: SOT 194974 SOS 43729 HAS SOPS 43729 HAS SOUS 32196 HAS SOUPS 32196 WITH SCORE 32239.729
AT ITER 2134 NEW BEST:: SOT 194992 SOS 43712 HAS SOPS 43712 HAS SOUS 32179 HAS SOUPS 32179 WITH SCORE 32222.712
AT ITER 2144 NEW BEST:: SOT 194815 SOS 43470 HAS SOPS 43470 HAS SOUS 32041 HAS SOUPS 32041 WITH SCORE 32084.47
AT ITER 2148 NEW BEST:: SOT 194782 SOS 43437 HAS SOPS 43437 HAS SOUS 32041 HAS SOUPS 32041 WITH SCORE 32084.437
AT ITER 2160 NEW BEST:: SOT 194785 SOS 43423 HAS SOPS 43423 HAS SOUS 32024 HAS SOUPS 32024 WITH SCORE 32067.423
AT ITER 2200 NEW BEST:: SOT 194772 SOS 43384 HAS SOPS 43384 HAS SOUS 31985 HAS SOUPS 31985 WITH SCORE 32028.384
AT ITER 2204 NEW BEST:: SOT 194759 SOS 43358 HAS SOPS 43358 HAS SOUS 31928 HAS SOUPS 31928 WITH SCORE 31971.358
AT ITER 2207 NEW BEST:: SOT 194697 SOS 43234 HAS SOPS 43234 HAS SOUS 31835 HAS SOUPS 31835 WITH SCORE 31878.234
AT ITER 2214 NEW BEST:: SOT 194678 SOS 43218 HAS SOPS 43218 HAS SOUS 31816 HAS SOUPS 31816 WITH SCORE 31859.218
AT ITER 2235 NEW BEST:: SOT 194677 SOS 43196 HAS SOPS 43196 HAS SOUS 31795 HAS SOUPS 31795 WITH SCORE 31838.196
AT ITER 2260 NEW BEST:: SOT 194673 SOS 43212 HAS SOPS 43212 HAS SOUS 31763 HAS SOUPS 31763 WITH SCORE 31806.212
AT ITER 2266 NEW BEST:: SOT 194580 SOS 43158 HAS SOPS 43158 HAS SOUS 31753 HAS SOUPS 31753 WITH SCORE 31796.158
AT ITER 2277 NEW BEST:: SOT 194451 SOS 42995 HAS SOPS 42995 HAS SOUS 31590 HAS SOUPS 31590 WITH SCORE 31632.995
AT ITER 2325 NEW BEST:: SOT 194427 SOS 42907 HAS SOPS 42907 HAS SOUS 31542 HAS SOUPS 31542 WITH SCORE 31584.907
AT ITER 2358 NEW BEST:: SOT 194421 SOS 42895 HAS SOPS 42895 HAS SOUS 31536 HAS SOUPS 31536 WITH SCORE 31578.895
AT ITER 2387 NEW BEST:: SOT 194334 SOS 42819 HAS SOPS 42819 HAS SOUS 31482 HAS SOUPS 31482 WITH SCORE 31524.819
AT ITER 2397 NEW BEST:: SOT 194300 SOS 42781 HAS SOPS 42781 HAS SOUS 31444 HAS SOUPS 31444 WITH SCORE 31486.781
AT ITER 2402 NEW BEST:: SOT 194168 SOS 42517 HAS SOPS 42517 HAS SOUS 31312 HAS SOUPS 31312 WITH SCORE 31354.517
AT ITER 2409 NEW BEST:: SOT 194186 SOS 42488 HAS SOPS 42488 HAS SOUS 31283 HAS SOUPS 31283 WITH SCORE 31325.488
AT ITER 2413 NEW BEST:: SOT 194174 SOS 42464 HAS SOPS 42464 HAS SOUS 31271 HAS SOUPS 31271 WITH SCORE 31313.464
AT ITER 2422 NEW BEST:: SOT 194171 SOS 42458 HAS SOPS 42458 HAS SOUS 31265 HAS SOUPS 31265 WITH SCORE 31307.458
AT ITER 2438 NEW BEST:: SOT 194159 SOS 42451 HAS SOPS 42451 HAS SOUS 31257 HAS SOUPS 31257 WITH SCORE 31299.451
AT ITER 2439 NEW BEST:: SOT 194121 SOS 42413 HAS SOPS 42413 HAS SOUS 31229 HAS SOUPS 31229 WITH SCORE 31271.413
AT ITER 2445 NEW BEST:: SOT 194048 SOS 42785 HAS SOPS 42785 HAS SOUS 31193 HAS SOUPS 31193 WITH SCORE 31235.785
AT ITER 2463 NEW BEST:: SOT 193978 SOS 42645 HAS SOPS 42645 HAS SOUS 31086 HAS SOUPS 31086 WITH SCORE 31128.645
AT ITER 2474 NEW BEST:: SOT 193962 SOS 42629 HAS SOPS 42629 HAS SOUS 31070 HAS SOUPS 31070 WITH SCORE 31112.629
AT ITER 2476 NEW BEST:: SOT 193958 SOS 42625 HAS SOPS 42625 HAS SOUS 31070 HAS SOUPS 31070 WITH SCORE 31112.625
AT ITER 2530 NEW BEST:: SOT 193979 SOS 42667 HAS SOPS 42667 HAS SOUS 31054 HAS SOUPS 31054 WITH SCORE 31096.667
AT ITER 2532 NEW BEST:: SOT 193973 SOS 42742 HAS SOPS 42742 HAS SOUS 31048 HAS SOUPS 31048 WITH SCORE 31090.742
AT ITER 2536 NEW BEST:: SOT 193974 SOS 42706 HAS SOPS 42706 HAS SOUS 31044 HAS SOUPS 31044 WITH SCORE 31086.706
AT ITER 2539 NEW BEST:: SOT 193963 SOS 42633 HAS SOPS 42633 HAS SOUS 30982 HAS SOUPS 30982 WITH SCORE 31024.633
AT ITER 2568 NEW BEST:: SOT 193969 SOS 42608 HAS SOPS 42608 HAS SOUS 30957 HAS SOUPS 30957 WITH SCORE 30999.608
AT ITER 2570 NEW BEST:: SOT 193957 SOS 42752 HAS SOPS 42752 HAS SOUS 30945 HAS SOUPS 30945 WITH SCORE 30987.752
AT ITER 2587 NEW BEST:: SOT 193946 SOS 42746 HAS SOPS 42746 HAS SOUS 30939 HAS SOUPS 30939 WITH SCORE 30981.746
AT ITER 2604 NEW BEST:: SOT 194034 SOS 42875 HAS SOPS 42875 HAS SOUS 30903 HAS SOUPS 30903 WITH SCORE 30945.875
AT ITER 2633 NEW BEST:: SOT 194027 SOS 42877 HAS SOPS 42877 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30934.877
AT ITER 2642 NEW BEST:: SOT 194027 SOS 42812 HAS SOPS 42812 HAS SOUS 30890 HAS SOUPS 30890 WITH SCORE 30932.812
AT ITER 2649 NEW BEST:: SOT 194027 SOS 42598 HAS SOPS 42598 HAS SOUS 30774 HAS SOUPS 30774 WITH SCORE 30816.598
AT ITER 2650 NEW BEST:: SOT 193989 SOS 42522 HAS SOPS 42522 HAS SOUS 30736 HAS SOUPS 30736 WITH SCORE 30778.522
AT ITER 2662 NEW BEST:: SOT 194010 SOS 42518 HAS SOPS 42518 HAS SOUS 30697 HAS SOUPS 30697 WITH SCORE 30739.518
AT ITER 2669 NEW BEST:: SOT 194010 SOS 42518 HAS SOPS 42518 HAS SOUS 30669 HAS SOUPS 30669 WITH SCORE 30711.518
AT ITER 2671 NEW BEST:: SOT 194006 SOS 42510 HAS SOPS 42510 HAS SOUS 30661 HAS SOUPS 30661 WITH SCORE 30703.51
AT ITER 2700 NEW BEST:: SOT 193852 SOS 42317 HAS SOPS 42317 HAS SOUS 30468 HAS SOUPS 30468 WITH SCORE 30510.317
AT ITER 2705 NEW BEST:: SOT 193828 SOS 42269 HAS SOPS 42269 HAS SOUS 30420 HAS SOUPS 30420 WITH SCORE 30462.269
AT ITER 2713 NEW BEST:: SOT 193827 SOS 42267 HAS SOPS 42267 HAS SOUS 30418 HAS SOUPS 30418 WITH SCORE 30460.267
AT ITER 2742 NEW BEST:: SOT 193811 SOS 42235 HAS SOPS 42235 HAS SOUS 30384 HAS SOUPS 30384 WITH SCORE 30426.235
AT ITER 2743 NEW BEST:: SOT 193839 SOS 42212 HAS SOPS 42212 HAS SOUS 30361 HAS SOUPS 30361 WITH SCORE 30403.212
AT ITER 2751 NEW BEST:: SOT 193815 SOS 42188 HAS SOPS 42188 HAS SOUS 30349 HAS SOUPS 30349 WITH SCORE 30391.188
AT ITER 2756 NEW BEST:: SOT 193815 SOS 42188 HAS SOPS 42188 HAS SOUS 30346 HAS SOUPS 30346 WITH SCORE 30388.188
AT ITER 2772 NEW BEST:: SOT 193815 SOS 42166 HAS SOPS 42166 HAS SOUS 30332 HAS SOUPS 30332 WITH SCORE 30374.166
AT ITER 2783 NEW BEST:: SOT 193806 SOS 41903 HAS SOPS 41903 HAS SOUS 30226 HAS SOUPS 30226 WITH SCORE 30267.903
AT ITER 2787 NEW BEST:: SOT 193744 SOS 41841 HAS SOPS 41841 HAS SOUS 30164 HAS SOUPS 30164 WITH SCORE 30205.841
AT ITER 2802 NEW BEST:: SOT 193723 SOS 41830 HAS SOPS 41830 HAS SOUS 30153 HAS SOUPS 30153 WITH SCORE 30194.83
AT ITER 2826 NEW BEST:: SOT 193633 SOS 41638 HAS SOPS 41638 HAS SOUS 30064 HAS SOUPS 30064 WITH SCORE 30105.638
AT ITER 2828 NEW BEST:: SOT 193639 SOS 41584 HAS SOPS 41584 HAS SOUS 30062 HAS SOUPS 30062 WITH SCORE 30103.584
AT ITER 2832 NEW BEST:: SOT 193678 SOS 41494 HAS SOPS 41494 HAS SOUS 29972 HAS SOUPS 29972 WITH SCORE 30013.494
AT ITER 2834 NEW BEST:: SOT 193669 SOS 41482 HAS SOPS 41482 HAS SOUS 29952 HAS SOUPS 29952 WITH SCORE 29993.482
AT ITER 2845 NEW BEST:: SOT 193669 SOS 41481 HAS SOPS 41481 HAS SOUS 29952 HAS SOUPS 29952 WITH SCORE 29993.481
AT ITER 2848 NEW BEST:: SOT 193694 SOS 41531 HAS SOPS 41531 HAS SOUS 29950 HAS SOUPS 29950 WITH SCORE 29991.531
AT ITER 2863 NEW BEST:: SOT 193665 SOS 41258 HAS SOPS 41258 HAS SOUS 29708 HAS SOUPS 29708 WITH SCORE 29749.258
AT ITER 2865 NEW BEST:: SOT 193657 SOS 41250 HAS SOPS 41250 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29740.25
AT ITER 2922 NEW BEST:: SOT 193654 SOS 41244 HAS SOPS 41244 HAS SOUS 29694 HAS SOUPS 29694 WITH SCORE 29735.244
AT ITER 2931 NEW BEST:: SOT 193651 SOS 41238 HAS SOPS 41238 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29729.238
AT ITER 2946 NEW BEST:: SOT 193445 SOS 40975 HAS SOPS 40975 HAS SOUS 29574 HAS SOUPS 29574 WITH SCORE 29614.975
AT ITER 2956 NEW BEST:: SOT 193438 SOS 40968 HAS SOPS 40968 HAS SOUS 29567 HAS SOUPS 29567 WITH SCORE 29607.968
AT ITER 2977 NEW BEST:: SOT 193389 SOS 40870 HAS SOPS 40870 HAS SOUS 29469 HAS SOUPS 29469 WITH SCORE 29509.87
AT ITER 2993 NEW BEST:: SOT 193404 SOS 40862 HAS SOPS 40862 HAS SOUS 29461 HAS SOUPS 29461 WITH SCORE 29501.862
AT ITER 3014 NEW BEST:: SOT 193282 SOS 40731 HAS SOPS 40731 HAS SOUS 29459 HAS SOUPS 29459 WITH SCORE 29499.731
AT ITER 3017 NEW BEST:: SOT 193315 SOS 40225 HAS SOPS 40225 HAS SOUS 29448 HAS SOUPS 29448 WITH SCORE 29488.225
AT ITER 3018 NEW BEST:: SOT 193227 SOS 40348 HAS SOPS 40348 HAS SOUS 29389 HAS SOUPS 29389 WITH SCORE 29429.348
AT ITER 3052 NEW BEST:: SOT 193174 SOS 40311 HAS SOPS 40311 HAS SOUS 29283 HAS SOUPS 29283 WITH SCORE 29323.311
AT ITER 3057 NEW BEST:: SOT 193147 SOS 40390 HAS SOPS 40390 HAS SOUS 29256 HAS SOUPS 29256 WITH SCORE 29296.39
AT ITER 3073 NEW BEST:: SOT 193153 SOS 40356 HAS SOPS 40356 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29282.356
AT ITER 3096 NEW BEST:: SOT 193260 SOS 40459 HAS SOPS 40459 HAS SOUS 29238 HAS SOUPS 29238 WITH SCORE 29278.459
AT ITER 3115 NEW BEST:: SOT 193258 SOS 40455 HAS SOPS 40455 HAS SOUS 29234 HAS SOUPS 29234 WITH SCORE 29274.455
AT ITER 3130 NEW BEST:: SOT 193154 SOS 40299 HAS SOPS 40299 HAS SOUS 29130 HAS SOUPS 29130 WITH SCORE 29170.299
AT ITER 3167 NEW BEST:: SOT 193080 SOS 40219 HAS SOPS 40219 HAS SOUS 29118 HAS SOUPS 29118 WITH SCORE 29158.219
AT ITER 3171 NEW BEST:: SOT 192961 SOS 40100 HAS SOPS 40100 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29055.1
AT ITER 3206 NEW BEST:: SOT 192970 SOS 40019 HAS SOPS 40019 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29055.019
AT ITER 3231 NEW BEST:: SOT 192962 SOS 40014 HAS SOPS 40014 HAS SOUS 29007 HAS SOUPS 29007 WITH SCORE 29047.014
AT ITER 3240 NEW BEST:: SOT 192981 SOS 40008 HAS SOPS 40008 HAS SOUS 29001 HAS SOUPS 29001 WITH SCORE 29041.008
AT ITER 3242 NEW BEST:: SOT 192981 SOS 39986 HAS SOPS 39986 HAS SOUS 28979 HAS SOUPS 28979 WITH SCORE 29018.986
AT ITER 3305 NEW BEST:: SOT 192853 SOS 39730 HAS SOPS 39730 HAS SOUS 28849 HAS SOUPS 28849 WITH SCORE 28888.73
AT ITER 3312 NEW BEST:: SOT 192820 SOS 39724 HAS SOPS 39724 HAS SOUS 28837 HAS SOUPS 28837 WITH SCORE 28876.724
AT ITER 3322 NEW BEST:: SOT 192819 SOS 39721 HAS SOPS 39721 HAS SOUS 28834 HAS SOUPS 28834 WITH SCORE 28873.721
AT ITER 3338 NEW BEST:: SOT 192810 SOS 39674 HAS SOPS 39674 HAS SOUS 28787 HAS SOUPS 28787 WITH SCORE 28826.674
AT ITER 3363 NEW BEST:: SOT 192692 SOS 39438 HAS SOPS 39438 HAS SOUS 28707 HAS SOUPS 28707 WITH SCORE 28746.438
AT ITER 3364 NEW BEST:: SOT 192656 SOS 39402 HAS SOPS 39402 HAS SOUS 28682 HAS SOUPS 28682 WITH SCORE 28721.402
AT ITER 3373 NEW BEST:: SOT 192630 SOS 39350 HAS SOPS 39350 HAS SOUS 28630 HAS SOUPS 28630 WITH SCORE 28669.35
AT ITER 3381 NEW BEST:: SOT 192573 SOS 39236 HAS SOPS 39236 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28612.236
AT ITER 3461 NEW BEST:: SOT 192560 SOS 39223 HAS SOPS 39223 HAS SOUS 28566 HAS SOUPS 28566 WITH SCORE 28605.223
AT ITER 3509 NEW BEST:: SOT 192583 SOS 39209 HAS SOPS 39209 HAS SOUS 28552 HAS SOUPS 28552 WITH SCORE 28591.209
AT ITER 3517 NEW BEST:: SOT 192577 SOS 39197 HAS SOPS 39197 HAS SOUS 28500 HAS SOUPS 28500 WITH SCORE 28539.197
AT ITER 3522 NEW BEST:: SOT 192573 SOS 39193 HAS SOPS 39193 HAS SOUS 28468 HAS SOUPS 28468 WITH SCORE 28507.193
AT ITER 3526 NEW BEST:: SOT 192567 SOS 39184 HAS SOPS 39184 HAS SOUS 28459 HAS SOUPS 28459 WITH SCORE 28498.184
AT ITER 3534 NEW BEST:: SOT 192567 SOS 39168 HAS SOPS 39168 HAS SOUS 28443 HAS SOUPS 28443 WITH SCORE 28482.168
AT ITER 3578 NEW BEST:: SOT 192527 SOS 39168 HAS SOPS 39168 HAS SOUS 28422 HAS SOUPS 28422 WITH SCORE 28461.168
AT ITER 3611 NEW BEST:: SOT 192517 SOS 39148 HAS SOPS 39148 HAS SOUS 28402 HAS SOUPS 28402 WITH SCORE 28441.148
AT ITER 3646 NEW BEST:: SOT 192497 SOS 39108 HAS SOPS 39108 HAS SOUS 28389 HAS SOUPS 28389 WITH SCORE 28428.108
AT ITER 3647 NEW BEST:: SOT 192457 SOS 39028 HAS SOPS 39028 HAS SOUS 28389 HAS SOUPS 28389 WITH SCORE 28428.028
AT ITER 3687 NEW BEST:: SOT 192401 SOS 39462 HAS SOPS 39462 HAS SOUS 28375 HAS SOUPS 28375 WITH SCORE 28414.462
AT ITER 3696 NEW BEST:: SOT 192458 SOS 39538 HAS SOPS 39538 HAS SOUS 28329 HAS SOUPS 28329 WITH SCORE 28368.538
AT ITER 3705 NEW BEST:: SOT 192444 SOS 39510 HAS SOPS 39510 HAS SOUS 28301 HAS SOUPS 28301 WITH SCORE 28340.51
AT ITER 3719 NEW BEST:: SOT 192458 SOS 39494 HAS SOPS 39494 HAS SOUS 28271 HAS SOUPS 28271 WITH SCORE 28310.494
AT ITER 3721 NEW BEST:: SOT 192453 SOS 39489 HAS SOPS 39489 HAS SOUS 28266 HAS SOUPS 28266 WITH SCORE 28305.489
AT ITER 3724 NEW BEST:: SOT 192451 SOS 39487 HAS SOPS 39487 HAS SOUS 28264 HAS SOUPS 28264 WITH SCORE 28303.487
AT ITER 3729 NEW BEST:: SOT 192428 SOS 39466 HAS SOPS 39466 HAS SOUS 28243 HAS SOUPS 28243 WITH SCORE 28282.466
AT ITER 3744 NEW BEST:: SOT 192425 SOS 39463 HAS SOPS 39463 HAS SOUS 28240 HAS SOUPS 28240 WITH SCORE 28279.463
AT ITER 3746 NEW BEST:: SOT 192421 SOS 39455 HAS SOPS 39455 HAS SOUS 28234 HAS SOUPS 28234 WITH SCORE 28273.455
AT ITER 3755 NEW BEST:: SOT 192421 SOS 39447 HAS SOPS 39447 HAS SOUS 28226 HAS SOUPS 28226 WITH SCORE 28265.447
AT ITER 3775 NEW BEST:: SOT 192421 SOS 39446 HAS SOPS 39446 HAS SOUS 28225 HAS SOUPS 28225 WITH SCORE 28264.446
AT ITER 3794 NEW BEST:: SOT 192421 SOS 39414 HAS SOPS 39414 HAS SOUS 28193 HAS SOUPS 28193 WITH SCORE 28232.414
AT ITER 3879 NEW BEST:: SOT 192404 SOS 39380 HAS SOPS 39380 HAS SOUS 28159 HAS SOUPS 28159 WITH SCORE 28198.38
AT ITER 3946 NEW BEST:: SOT 192378 SOS 39354 HAS SOPS 39354 HAS SOUS 28107 HAS SOUPS 28107 WITH SCORE 28146.354
AT ITER 3969 NEW BEST:: SOT 192378 SOS 39353 HAS SOPS 39353 HAS SOUS 28107 HAS SOUPS 28107 WITH SCORE 28146.353
AT ITER 3989 NEW BEST:: SOT 192396 SOS 39387 HAS SOPS 39387 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28144.387
AT ITER 4016 NEW BEST:: SOT 192392 SOS 39379 HAS SOPS 39379 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28144.379
AT ITER 4042 NEW BEST:: SOT 192391 SOS 39377 HAS SOPS 39377 HAS SOUS 28103 HAS SOUPS 28103 WITH SCORE 28142.377
AT ITER 4045 NEW BEST:: SOT 192380 SOS 39344 HAS SOPS 39344 HAS SOUS 28081 HAS SOUPS 28081 WITH SCORE 28120.344
AT ITER 4069 NEW BEST:: SOT 192367 SOS 39334 HAS SOPS 39334 HAS SOUS 28071 HAS SOUPS 28071 WITH SCORE 28110.334
AT ITER 4070 NEW BEST:: SOT 192367 SOS 39301 HAS SOPS 39301 HAS SOUS 28071 HAS SOUPS 28071 WITH SCORE 28110.301
AT ITER 4071 NEW BEST:: SOT 192357 SOS 39216 HAS SOPS 39216 HAS SOUS 27989 HAS SOUPS 27989 WITH SCORE 28028.216
AT ITER 4073 NEW BEST:: SOT 192339 SOS 39180 HAS SOPS 39180 HAS SOUS 27971 HAS SOUPS 27971 WITH SCORE 28010.18
AT ITER 4108 NEW BEST:: SOT 192233 SOS 38675 HAS SOPS 38675 HAS SOUS 27547 HAS SOUPS 27547 WITH SCORE 27585.675
AT ITER 4121 NEW BEST:: SOT 192258 SOS 38678 HAS SOPS 38678 HAS SOUS 27535 HAS SOUPS 27535 WITH SCORE 27573.678
AT ITER 4136 NEW BEST:: SOT 192251 SOS 38671 HAS SOPS 38671 HAS SOUS 27528 HAS SOUPS 27528 WITH SCORE 27566.671
AT ITER 4137 NEW BEST:: SOT 192258 SOS 38707 HAS SOPS 38707 HAS SOUS 27520 HAS SOUPS 27520 WITH SCORE 27558.707
AT ITER 4163 NEW BEST:: SOT 192234 SOS 38683 HAS SOPS 38683 HAS SOUS 27520 HAS SOUPS 27520 WITH SCORE 27558.683
AT ITER 4170 NEW BEST:: SOT 192234 SOS 38735 HAS SOPS 38735 HAS SOUS 27498 HAS SOUPS 27498 WITH SCORE 27536.735
AT ITER 4190 NEW BEST:: SOT 192189 SOS 38600 HAS SOPS 38600 HAS SOUS 27408 HAS SOUPS 27408 WITH SCORE 27446.6
AT ITER 4209 NEW BEST:: SOT 192180 SOS 38582 HAS SOPS 38582 HAS SOUS 27390 HAS SOUPS 27390 WITH SCORE 27428.582
AT ITER 4213 NEW BEST:: SOT 192155 SOS 38532 HAS SOPS 38532 HAS SOUS 27365 HAS SOUPS 27365 WITH SCORE 27403.532
AT ITER 4221 NEW BEST:: SOT 192155 SOS 38541 HAS SOPS 38541 HAS SOUS 27356 HAS SOUPS 27356 WITH SCORE 27394.541
AT ITER 4229 NEW BEST:: SOT 192148 SOS 38562 HAS SOPS 38562 HAS SOUS 27348 HAS SOUPS 27348 WITH SCORE 27386.562
AT ITER 4238 NEW BEST:: SOT 192226 SOS 37461 HAS SOPS 37461 HAS SOUS 27263 HAS SOUPS 27263 WITH SCORE 27300.461
AT ITER 4246 NEW BEST:: SOT 192226 SOS 37461 HAS SOPS 37461 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27264.461
AT ITER 4258 NEW BEST:: SOT 192190 SOS 37389 HAS SOPS 37389 HAS SOUS 27191 HAS SOUPS 27191 WITH SCORE 27228.389
AT ITER 4273 NEW BEST:: SOT 192157 SOS 37323 HAS SOPS 37323 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27194.323
AT ITER 4302 NEW BEST:: SOT 192157 SOS 37323 HAS SOPS 37323 HAS SOUS 27139 HAS SOUPS 27139 WITH SCORE 27176.323
AT ITER 4343 NEW BEST:: SOT 192136 SOS 37281 HAS SOPS 37281 HAS SOUS 27102 HAS SOUPS 27102 WITH SCORE 27139.281
AT ITER 4355 NEW BEST:: SOT 192120 SOS 37327 HAS SOPS 37327 HAS SOUS 27092 HAS SOUPS 27092 WITH SCORE 27129.327
AT ITER 4359 NEW BEST:: SOT 192092 SOS 37296 HAS SOPS 37296 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27124.296
AT ITER 4413 NEW BEST:: SOT 192123 SOS 37345 HAS SOPS 37345 HAS SOUS 27077 HAS SOUPS 27077 WITH SCORE 27114.345
AT ITER 4430 NEW BEST:: SOT 192031 SOS 37161 HAS SOPS 37161 HAS SOUS 26998 HAS SOUPS 26998 WITH SCORE 27035.161
AT ITER 4458 NEW BEST:: SOT 192010 SOS 37140 HAS SOPS 37140 HAS SOUS 26998 HAS SOUPS 26998 WITH SCORE 27035.14
AT ITER 4466 NEW BEST:: SOT 191999 SOS 37118 HAS SOPS 37118 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27002.118
AT ITER 4478 NEW BEST:: SOT 191998 SOS 37115 HAS SOPS 37115 HAS SOUS 26963 HAS SOUPS 26963 WITH SCORE 27000.115
AT ITER 4481 NEW BEST:: SOT 191998 SOS 37114 HAS SOPS 37114 HAS SOUS 26962 HAS SOUPS 26962 WITH SCORE 26999.114
AT ITER 4492 NEW BEST:: SOT 191978 SOS 37105 HAS SOPS 37105 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 26985.105
AT ITER 4507 NEW BEST:: SOT 191961 SOS 37095 HAS SOPS 37095 HAS SOUS 26936 HAS SOUPS 26936 WITH SCORE 26973.095
AT ITER 4512 NEW BEST:: SOT 191912 SOS 36908 HAS SOPS 36908 HAS SOUS 26808 HAS SOUPS 26808 WITH SCORE 26844.908
AT ITER 4572 NEW BEST:: SOT 191915 SOS 36901 HAS SOPS 36901 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26837.901
AT ITER 4642 NEW BEST:: SOT 191915 SOS 36901 HAS SOPS 36901 HAS SOUS 26793 HAS SOUPS 26793 WITH SCORE 26829.901
AT ITER 4654 NEW BEST:: SOT 191880 SOS 36831 HAS SOPS 36831 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26799.831
AT ITER 4703 NEW BEST:: SOT 191867 SOS 36818 HAS SOPS 36818 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26787.818
AT ITER 4704 NEW BEST:: SOT 191855 SOS 36821 HAS SOPS 36821 HAS SOUS 26747 HAS SOUPS 26747 WITH SCORE 26783.821
AT ITER 4741 NEW BEST:: SOT 191855 SOS 36806 HAS SOPS 36806 HAS SOUS 26747 HAS SOUPS 26747 WITH SCORE 26783.806
AT ITER 4806 NEW BEST:: SOT 191819 SOS 36770 HAS SOPS 36770 HAS SOUS 26711 HAS SOUPS 26711 WITH SCORE 26747.77
AT ITER 4808 NEW BEST:: SOT 191883 SOS 36794 HAS SOPS 36794 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 26701.794
AT ITER 4870 NEW BEST:: SOT 191872 SOS 36793 HAS SOPS 36793 HAS SOUS 26664 HAS SOUPS 26664 WITH SCORE 26700.793
AT ITER 4874 NEW BEST:: SOT 191872 SOS 36787 HAS SOPS 36787 HAS SOUS 26664 HAS SOUPS 26664 WITH SCORE 26700.787
AT ITER 4890 NEW BEST:: SOT 191797 SOS 36534 HAS SOPS 36534 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26522.534
AT ITER 4892 NEW BEST:: SOT 191815 SOS 36552 HAS SOPS 36552 HAS SOUS 26485 HAS SOUPS 26485 WITH SCORE 26521.552
AT ITER 4983 NEW BEST:: SOT 191815 SOS 36501 HAS SOPS 36501 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26511.501
AT ITER 4987 NEW BEST:: SOT 191806 SOS 36483 HAS SOPS 36483 HAS SOUS 26457 HAS SOUPS 26457 WITH SCORE 26493.483
AT ITER 4995 NEW BEST:: SOT 191761 SOS 36561 HAS SOPS 36561 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26487.561
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-17-CTLFireability-00 ( ( (EF( ( ( ((potential((tk(P152)>=1)))) & ((potential((tk(P309)>=1)))) ) & (! ((potential((tk(P177)>=1))))) ))) | (AX( (EF( ((potential((tk(P214)>=1)))))))) ) | ((potential((tk(P471)>=1)))) )
PROPERTY: SmartHome-PT-17-CTLFireability-01 (! ( (EX( ( ( ((potential((tk(P327)>=1)))) & ((potential((tk(P444)>=1)))) ) & ( ((potential((tk(P68)>=1)))) & ((potential((tk(P196)>=1)))) ) ))) | (EF( ( ( ((potential((tk(P138)>=1) & (tk(P519)>=1)))) | ((potential((tk(P25)>=1)))) ) & ( ((potential((tk(P387)>=1)))) | ((potential((tk(P156)>=1)))) ) ))) ))
PROPERTY: SmartHome-PT-17-CTLFireability-02 (AU( ( (! ((potential((tk(P43)>=1))))) | ((potential((tk(P143)>=1)))) ) , (EF( ((potential((tk(P493)>=1)))))) ))
PROPERTY: SmartHome-PT-17-CTLFireability-03 (EF( ((potential((tk(P147)>=1))))))
PROPERTY: SmartHome-PT-17-CTLFireability-04 (EF( (AX( ( ( ((potential((tk(P319)>=1)))) & ((potential((tk(P134)>=1)))) ) & ( ((potential((tk(P155)>=1)))) | ((potential((tk(P166)>=1)))) ) )))))
PROPERTY: SmartHome-PT-17-CTLFireability-05 (! (EF( ( (EX( ((potential((tk(P80)>=1)))))) & ( ( ((potential((tk(P446)>=1)))) & ((potential((tk(P553)>=1) & (tk(P550)>=1)))) ) | ( ((potential((tk(P419)>=1) & (tk(P456)>=1)))) & ((potential((tk(P3)>=1) & (tk(P324)>=1)))) ) ) ))))
PROPERTY: SmartHome-PT-17-CTLFireability-06 (! ( (EF( (AG( ((potential((tk(P372)>=1)))))))) | ((potential((tk(P88)>=1)))) ))
PROPERTY: SmartHome-PT-17-CTLFireability-07 (AX( (! ( ((potential((tk(P479)>=1)))) | (EF( ((potential((tk(P380)>=1)))))) ))))
PROPERTY: SmartHome-PT-17-CTLFireability-08 (AF( ( ( (EF( ((potential((tk(P333)>=1)))))) | (EG( ((potential((tk(P131)>=1)))))) ) | ((potential((tk(P236)>=1)))) )))
PROPERTY: SmartHome-PT-17-CTLFireability-09 (AG( (! ((potential((tk(P484)>=1)))))))
PROPERTY: SmartHome-PT-17-CTLFireability-10 (AG( ( ( ((potential((tk(P538)>=1)))) & ( (! ((potential((tk(P302)>=1))))) | (! ((potential((tk(P266)>=1))))) ) ) | (EF( (! ((potential((tk(P50)>=1))))))) )))
PROPERTY: SmartHome-PT-17-CTLFireability-11 (EF( ( ( (AG( ((potential((tk(P99)>=1)))))) | ( (! ((potential((tk(P3)>=1) & (tk(P293)>=1))))) & ((potential((tk(P66)>=1)))) ) ) & (AF( (! ((potential((tk(P181)>=1))))))) )))
PROPERTY: SmartHome-PT-17-CTLFireability-12 (EF( ((potential((tk(P24)>=1))))))
PROPERTY: SmartHome-PT-17-CTLFireability-13 ( ((potential((tk(P57)>=1)))) | ( ( ( (! (! ((potential((tk(P203)>=1)))))) | (EF( ((potential((tk(P76)>=1)))))) ) | ( (EG( ((potential((tk(P365)>=1)))))) & ( (! ((potential((tk(P419)>=1) & (tk(P456)>=1))))) & ( ((potential((tk(P214)>=1)))) & ((potential((tk(P253)>=1)))) ) ) ) ) | ( (EX( (! ((potential((tk(P371)>=1) & (tk(P503)>=1))))))) & (AU( ((potential((tk(P179)>=1)))) , ((potential((tk(P214)>=1)))) )) ) ) )
PROPERTY: SmartHome-PT-17-CTLFireability-14 (EU( ((potential((tk(P313)>=1)))) , ( ( (! ((potential((tk(P88)>=1))))) | ( ((potential((tk(P138)>=1) & (tk(P518)>=1)))) & ((potential((tk(P140)>=1)))) ) ) & (EF( ((potential((tk(P254)>=1)))))) ) ))
PROPERTY: SmartHome-PT-17-CTLFireability-15 ( (EX( (! (EF( ((potential((tk(P249)>=1))))))))) | (AG( ( ( ( ((potential((tk(P326)>=1)))) | ((potential((tk(P245)>=1)))) ) | ((potential((tk(P445)>=1)))) ) | ( (! ((potential((tk(P464)>=1))))) | (! ((potential((tk(P371)>=1) & (tk(P503)>=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-17"
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-17, 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-159033538400132"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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