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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.9K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.8K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 92K 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-13-CTLFireability-00
FORMULA_NAME SmartHome-PT-13-CTLFireability-01
FORMULA_NAME SmartHome-PT-13-CTLFireability-02
FORMULA_NAME SmartHome-PT-13-CTLFireability-03
FORMULA_NAME SmartHome-PT-13-CTLFireability-04
FORMULA_NAME SmartHome-PT-13-CTLFireability-05
FORMULA_NAME SmartHome-PT-13-CTLFireability-06
FORMULA_NAME SmartHome-PT-13-CTLFireability-07
FORMULA_NAME SmartHome-PT-13-CTLFireability-08
FORMULA_NAME SmartHome-PT-13-CTLFireability-09
FORMULA_NAME SmartHome-PT-13-CTLFireability-10
FORMULA_NAME SmartHome-PT-13-CTLFireability-11
FORMULA_NAME SmartHome-PT-13-CTLFireability-12
FORMULA_NAME SmartHome-PT-13-CTLFireability-13
FORMULA_NAME SmartHome-PT-13-CTLFireability-14
FORMULA_NAME SmartHome-PT-13-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469773453

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 13
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: 385 places, 407 transitions, 935 arcs.
AT ITER 0 NEW BEST:: SOT 93821 SOS 23023 HAS SOPS 23023 HAS SOUS 22378 HAS SOUPS 22378 WITH SCORE 22401.023
AT ITER 10 NEW BEST:: SOT 93821 SOS 23023 HAS SOPS 23023 HAS SOUS 22348 HAS SOUPS 22348 WITH SCORE 22371.023
AT ITER 17 NEW BEST:: SOT 93820 SOS 23022 HAS SOPS 23022 HAS SOUS 22347 HAS SOUPS 22347 WITH SCORE 22370.022
AT ITER 23 NEW BEST:: SOT 93837 SOS 23036 HAS SOPS 23036 HAS SOUS 22328 HAS SOUPS 22328 WITH SCORE 22351.036
AT ITER 24 NEW BEST:: SOT 93797 SOS 22996 HAS SOPS 22996 HAS SOUS 22288 HAS SOUPS 22288 WITH SCORE 22310.996
AT ITER 25 NEW BEST:: SOT 93756 SOS 22952 HAS SOPS 22952 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22254.952
AT ITER 31 NEW BEST:: SOT 93728 SOS 22896 HAS SOPS 22896 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22198.896
AT ITER 55 NEW BEST:: SOT 92674 SOS 23506 HAS SOPS 23506 HAS SOUS 21378 HAS SOUPS 21378 WITH SCORE 21401.506
AT ITER 72 NEW BEST:: SOT 92674 SOS 23506 HAS SOPS 23506 HAS SOUS 21377 HAS SOUPS 21377 WITH SCORE 21400.506
AT ITER 92 NEW BEST:: SOT 92213 SOS 25967 HAS SOPS 25967 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21339.967
AT ITER 97 NEW BEST:: SOT 92162 SOS 25865 HAS SOPS 25865 HAS SOUS 21313 HAS SOUPS 21313 WITH SCORE 21338.865
AT ITER 100 NEW BEST:: SOT 92145 SOS 25831 HAS SOPS 25831 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21304.831
AT ITER 124 NEW BEST:: SOT 91993 SOS 25755 HAS SOPS 25755 HAS SOUS 21127 HAS SOUPS 21127 WITH SCORE 21152.755
AT ITER 137 NEW BEST:: SOT 91961 SOS 25691 HAS SOPS 25691 HAS SOUS 21095 HAS SOUPS 21095 WITH SCORE 21120.691
AT ITER 138 NEW BEST:: SOT 91300 SOS 28553 HAS SOPS 28553 HAS SOUS 20986 HAS SOUPS 20986 WITH SCORE 21014.553
AT ITER 146 NEW BEST:: SOT 91266 SOS 28542 HAS SOPS 28542 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 21003.542
AT ITER 149 NEW BEST:: SOT 91272 SOS 28536 HAS SOPS 28536 HAS SOUS 20968 HAS SOUPS 20968 WITH SCORE 20996.536
AT ITER 156 NEW BEST:: SOT 91271 SOS 28534 HAS SOPS 28534 HAS SOUS 20966 HAS SOUPS 20966 WITH SCORE 20994.534
AT ITER 171 NEW BEST:: SOT 90977 SOS 29993 HAS SOPS 29993 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20895.993
AT ITER 179 NEW BEST:: SOT 91057 SOS 29953 HAS SOPS 29953 HAS SOUS 20826 HAS SOUPS 20826 WITH SCORE 20855.953
AT ITER 180 NEW BEST:: SOT 91047 SOS 29943 HAS SOPS 29943 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20845.943
AT ITER 191 NEW BEST:: SOT 91064 SOS 29917 HAS SOPS 29917 HAS SOUS 20790 HAS SOUPS 20790 WITH SCORE 20819.917
AT ITER 192 NEW BEST:: SOT 90984 SOS 29819 HAS SOPS 29819 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20708.819
AT ITER 201 NEW BEST:: SOT 90957 SOS 29721 HAS SOPS 29721 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20654.721
AT ITER 211 NEW BEST:: SOT 90957 SOS 27081 HAS SOPS 27081 HAS SOUS 20449 HAS SOUPS 20449 WITH SCORE 20476.081
AT ITER 235 NEW BEST:: SOT 90857 SOS 26881 HAS SOPS 26881 HAS SOUS 20349 HAS SOUPS 20349 WITH SCORE 20375.881
AT ITER 238 NEW BEST:: SOT 90818 SOS 26803 HAS SOPS 26803 HAS SOUS 20271 HAS SOUPS 20271 WITH SCORE 20297.803
AT ITER 247 NEW BEST:: SOT 89504 SOS 26832 HAS SOPS 26832 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19166.832
AT ITER 248 NEW BEST:: SOT 89456 SOS 26760 HAS SOPS 26760 HAS SOUS 19068 HAS SOUPS 19068 WITH SCORE 19094.76
AT ITER 261 NEW BEST:: SOT 89597 SOS 26643 HAS SOPS 26643 HAS SOUS 19014 HAS SOUPS 19014 WITH SCORE 19040.643
AT ITER 264 NEW BEST:: SOT 89529 SOS 26577 HAS SOPS 26577 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19007.577
AT ITER 269 NEW BEST:: SOT 89551 SOS 26559 HAS SOPS 26559 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18989.559
AT ITER 270 NEW BEST:: SOT 89533 SOS 26541 HAS SOPS 26541 HAS SOUS 18945 HAS SOUPS 18945 WITH SCORE 18971.541
AT ITER 272 NEW BEST:: SOT 89522 SOS 26519 HAS SOPS 26519 HAS SOUS 18923 HAS SOUPS 18923 WITH SCORE 18949.519
AT ITER 275 NEW BEST:: SOT 89192 SOS 27052 HAS SOPS 27052 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18767.052
AT ITER 308 NEW BEST:: SOT 89201 SOS 27045 HAS SOPS 27045 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18757.045
AT ITER 317 NEW BEST:: SOT 89102 SOS 26940 HAS SOPS 26940 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18657.94
AT ITER 322 NEW BEST:: SOT 88986 SOS 26839 HAS SOPS 26839 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18615.839
AT ITER 328 NEW BEST:: SOT 88842 SOS 26695 HAS SOPS 26695 HAS SOUS 18542 HAS SOUPS 18542 WITH SCORE 18568.695
AT ITER 329 NEW BEST:: SOT 88842 SOS 26689 HAS SOPS 26689 HAS SOUS 18536 HAS SOUPS 18536 WITH SCORE 18562.689
AT ITER 333 NEW BEST:: SOT 88813 SOS 26631 HAS SOPS 26631 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18533.631
AT ITER 342 NEW BEST:: SOT 88805 SOS 26620 HAS SOPS 26620 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18522.62
AT ITER 352 NEW BEST:: SOT 88801 SOS 26695 HAS SOPS 26695 HAS SOUS 18492 HAS SOUPS 18492 WITH SCORE 18518.695
AT ITER 367 NEW BEST:: SOT 88773 SOS 26653 HAS SOPS 26653 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18476.653
AT ITER 371 NEW BEST:: SOT 88774 SOS 26635 HAS SOPS 26635 HAS SOUS 18431 HAS SOUPS 18431 WITH SCORE 18457.635
AT ITER 372 NEW BEST:: SOT 88689 SOS 26548 HAS SOPS 26548 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18372.548
AT ITER 379 NEW BEST:: SOT 88689 SOS 26404 HAS SOPS 26404 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18372.404
AT ITER 387 NEW BEST:: SOT 88689 SOS 26316 HAS SOPS 26316 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18325.316
AT ITER 424 NEW BEST:: SOT 88674 SOS 26286 HAS SOPS 26286 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18313.286
AT ITER 436 NEW BEST:: SOT 88636 SOS 26210 HAS SOPS 26210 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18312.21
AT ITER 437 NEW BEST:: SOT 88652 SOS 26199 HAS SOPS 26199 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18293.199
AT ITER 447 NEW BEST:: SOT 88633 SOS 26102 HAS SOPS 26102 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18196.102
AT ITER 449 NEW BEST:: SOT 88573 SOS 26042 HAS SOPS 26042 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18162.042
AT ITER 450 NEW BEST:: SOT 88554 SOS 26023 HAS SOPS 26023 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18143.023
AT ITER 460 NEW BEST:: SOT 88506 SOS 25975 HAS SOPS 25975 HAS SOUS 18111 HAS SOUPS 18111 WITH SCORE 18136.975
AT ITER 473 NEW BEST:: SOT 88558 SOS 26027 HAS SOPS 26027 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18087.027
AT ITER 476 NEW BEST:: SOT 88558 SOS 26023 HAS SOPS 26023 HAS SOUS 18057 HAS SOUPS 18057 WITH SCORE 18083.023
AT ITER 477 NEW BEST:: SOT 88392 SOS 25967 HAS SOPS 25967 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18041.967
AT ITER 478 NEW BEST:: SOT 88351 SOS 25885 HAS SOPS 25885 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17959.885
AT ITER 485 NEW BEST:: SOT 88328 SOS 25839 HAS SOPS 25839 HAS SOUS 17888 HAS SOUPS 17888 WITH SCORE 17913.839
AT ITER 506 NEW BEST:: SOT 88316 SOS 25815 HAS SOPS 25815 HAS SOUS 17864 HAS SOUPS 17864 WITH SCORE 17889.815
AT ITER 551 NEW BEST:: SOT 87767 SOS 26486 HAS SOPS 26486 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17414.486
AT ITER 556 NEW BEST:: SOT 87759 SOS 26470 HAS SOPS 26470 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17398.47
AT ITER 563 NEW BEST:: SOT 87721 SOS 26394 HAS SOPS 26394 HAS SOUS 17334 HAS SOUPS 17334 WITH SCORE 17360.394
AT ITER 569 NEW BEST:: SOT 87721 SOS 26394 HAS SOPS 26394 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17324.394
AT ITER 579 NEW BEST:: SOT 87721 SOS 26386 HAS SOPS 26386 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17316.386
AT ITER 581 NEW BEST:: SOT 87737 SOS 26379 HAS SOPS 26379 HAS SOUS 17283 HAS SOUPS 17283 WITH SCORE 17309.379
AT ITER 583 NEW BEST:: SOT 87738 SOS 26380 HAS SOPS 26380 HAS SOUS 17269 HAS SOUPS 17269 WITH SCORE 17295.38
AT ITER 584 NEW BEST:: SOT 87703 SOS 26345 HAS SOPS 26345 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17260.345
AT ITER 585 NEW BEST:: SOT 87648 SOS 26227 HAS SOPS 26227 HAS SOUS 17179 HAS SOUPS 17179 WITH SCORE 17205.227
AT ITER 610 NEW BEST:: SOT 87586 SOS 26110 HAS SOPS 26110 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17150.11
AT ITER 643 NEW BEST:: SOT 87577 SOS 26092 HAS SOPS 26092 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17132.092
AT ITER 647 NEW BEST:: SOT 87577 SOS 26091 HAS SOPS 26091 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17131.091
AT ITER 668 NEW BEST:: SOT 87554 SOS 26103 HAS SOPS 26103 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17108.103
AT ITER 673 NEW BEST:: SOT 87522 SOS 25591 HAS SOPS 25591 HAS SOUS 17018 HAS SOUPS 17018 WITH SCORE 17043.591
AT ITER 680 NEW BEST:: SOT 87563 SOS 25673 HAS SOPS 25673 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17038.673
AT ITER 694 NEW BEST:: SOT 87561 SOS 25669 HAS SOPS 25669 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17034.669
AT ITER 708 NEW BEST:: SOT 87561 SOS 25609 HAS SOPS 25609 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17033.609
AT ITER 737 NEW BEST:: SOT 87527 SOS 25541 HAS SOPS 25541 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16965.541
AT ITER 768 NEW BEST:: SOT 87552 SOS 25591 HAS SOPS 25591 HAS SOUS 16862 HAS SOUPS 16862 WITH SCORE 16887.591
AT ITER 781 NEW BEST:: SOT 87501 SOS 26312 HAS SOPS 26312 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16876.312
AT ITER 798 NEW BEST:: SOT 87446 SOS 26202 HAS SOPS 26202 HAS SOUS 16795 HAS SOUPS 16795 WITH SCORE 16821.202
AT ITER 803 NEW BEST:: SOT 87430 SOS 26128 HAS SOPS 26128 HAS SOUS 16737 HAS SOUPS 16737 WITH SCORE 16763.128
AT ITER 810 NEW BEST:: SOT 87447 SOS 26090 HAS SOPS 26090 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16756.09
AT ITER 817 NEW BEST:: SOT 87372 SOS 26001 HAS SOPS 26001 HAS SOUS 16687 HAS SOUPS 16687 WITH SCORE 16713.001
AT ITER 822 NEW BEST:: SOT 87317 SOS 25941 HAS SOPS 25941 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16686.941
AT ITER 847 NEW BEST:: SOT 87309 SOS 25925 HAS SOPS 25925 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16678.925
AT ITER 848 NEW BEST:: SOT 87278 SOS 25863 HAS SOPS 25863 HAS SOUS 16621 HAS SOUPS 16621 WITH SCORE 16646.863
AT ITER 853 NEW BEST:: SOT 87267 SOS 25841 HAS SOPS 25841 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16624.841
AT ITER 858 NEW BEST:: SOT 87332 SOS 25838 HAS SOPS 25838 HAS SOUS 16541 HAS SOUPS 16541 WITH SCORE 16566.838
AT ITER 860 NEW BEST:: SOT 87299 SOS 25772 HAS SOPS 25772 HAS SOUS 16508 HAS SOUPS 16508 WITH SCORE 16533.772
AT ITER 892 NEW BEST:: SOT 87219 SOS 25612 HAS SOPS 25612 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16460.612
AT ITER 909 NEW BEST:: SOT 87219 SOS 25612 HAS SOPS 25612 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16432.612
AT ITER 917 NEW BEST:: SOT 87219 SOS 25416 HAS SOPS 25416 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16432.416
AT ITER 919 NEW BEST:: SOT 87219 SOS 25416 HAS SOPS 25416 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16430.416
AT ITER 921 NEW BEST:: SOT 87177 SOS 25332 HAS SOPS 25332 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16406.332
AT ITER 931 NEW BEST:: SOT 87179 SOS 25082 HAS SOPS 25082 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16371.082
AT ITER 941 NEW BEST:: SOT 87181 SOS 25076 HAS SOPS 25076 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16368.076
AT ITER 945 NEW BEST:: SOT 86997 SOS 25345 HAS SOPS 25345 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16272.345
AT ITER 956 NEW BEST:: SOT 86869 SOS 25089 HAS SOPS 25089 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16185.089
AT ITER 996 NEW BEST:: SOT 86852 SOS 25055 HAS SOPS 25055 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16143.055
AT ITER 1000 NEW BEST:: SOT 86850 SOS 24966 HAS SOPS 24966 HAS SOUS 16056 HAS SOUPS 16056 WITH SCORE 16080.966
AT ITER 1010 NEW BEST:: SOT 86815 SOS 25014 HAS SOPS 25014 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 15990.014
AT ITER 1020 NEW BEST:: SOT 86827 SOS 24978 HAS SOPS 24978 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15978.978
AT ITER 1027 NEW BEST:: SOT 86817 SOS 24958 HAS SOPS 24958 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15958.958
AT ITER 1040 NEW BEST:: SOT 86811 SOS 24946 HAS SOPS 24946 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15954.946
AT ITER 1043 NEW BEST:: SOT 86775 SOS 24910 HAS SOPS 24910 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15954.91
AT ITER 1070 NEW BEST:: SOT 86764 SOS 24888 HAS SOPS 24888 HAS SOUS 15900 HAS SOUPS 15900 WITH SCORE 15924.888
AT ITER 1073 NEW BEST:: SOT 86669 SOS 24793 HAS SOPS 24793 HAS SOUS 15805 HAS SOUPS 15805 WITH SCORE 15829.793
AT ITER 1079 NEW BEST:: SOT 86669 SOS 24793 HAS SOPS 24793 HAS SOUS 15796 HAS SOUPS 15796 WITH SCORE 15820.793
AT ITER 1080 NEW BEST:: SOT 86669 SOS 24625 HAS SOPS 24625 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15808.625
AT ITER 1090 NEW BEST:: SOT 86659 SOS 24595 HAS SOPS 24595 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15778.595
AT ITER 1113 NEW BEST:: SOT 86791 SOS 24523 HAS SOPS 24523 HAS SOUS 15719 HAS SOUPS 15719 WITH SCORE 15743.523
AT ITER 1124 NEW BEST:: SOT 86812 SOS 24168 HAS SOPS 24168 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15730.168
AT ITER 1129 NEW BEST:: SOT 86858 SOS 23424 HAS SOPS 23424 HAS SOUS 15694 HAS SOUPS 15694 WITH SCORE 15717.424
AT ITER 1138 NEW BEST:: SOT 86746 SOS 23235 HAS SOPS 23235 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15614.235
AT ITER 1139 NEW BEST:: SOT 86721 SOS 23185 HAS SOPS 23185 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15573.185
AT ITER 1140 NEW BEST:: SOT 86695 SOS 23103 HAS SOPS 23103 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15570.103
AT ITER 1150 NEW BEST:: SOT 86683 SOS 23131 HAS SOPS 23131 HAS SOUS 15539 HAS SOUPS 15539 WITH SCORE 15562.131
AT ITER 1163 NEW BEST:: SOT 86680 SOS 23125 HAS SOPS 23125 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15556.125
AT ITER 1166 NEW BEST:: SOT 86660 SOS 23105 HAS SOPS 23105 HAS SOUS 15503 HAS SOUPS 15503 WITH SCORE 15526.105
AT ITER 1167 NEW BEST:: SOT 86659 SOS 23103 HAS SOPS 23103 HAS SOUS 15501 HAS SOUPS 15501 WITH SCORE 15524.103
AT ITER 1172 NEW BEST:: SOT 86659 SOS 23087 HAS SOPS 23087 HAS SOUS 15485 HAS SOUPS 15485 WITH SCORE 15508.087
AT ITER 1189 NEW BEST:: SOT 86656 SOS 23081 HAS SOPS 23081 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15502.081
AT ITER 1199 NEW BEST:: SOT 86647 SOS 23035 HAS SOPS 23035 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15472.035
AT ITER 1202 NEW BEST:: SOT 86575 SOS 22891 HAS SOPS 22891 HAS SOUS 15305 HAS SOUPS 15305 WITH SCORE 15327.891
AT ITER 1235 NEW BEST:: SOT 86563 SOS 22877 HAS SOPS 22877 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15305.877
AT ITER 1238 NEW BEST:: SOT 86563 SOS 22872 HAS SOPS 22872 HAS SOUS 15278 HAS SOUPS 15278 WITH SCORE 15300.872
AT ITER 1249 NEW BEST:: SOT 86566 SOS 22878 HAS SOPS 22878 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15296.878
AT ITER 1251 NEW BEST:: SOT 86563 SOS 22872 HAS SOPS 22872 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15290.872
AT ITER 1253 NEW BEST:: SOT 86399 SOS 22678 HAS SOPS 22678 HAS SOUS 15153 HAS SOUPS 15153 WITH SCORE 15175.678
AT ITER 1257 NEW BEST:: SOT 86344 SOS 22568 HAS SOPS 22568 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15136.568
AT ITER 1263 NEW BEST:: SOT 86340 SOS 22619 HAS SOPS 22619 HAS SOUS 15092 HAS SOUPS 15092 WITH SCORE 15114.619
AT ITER 1292 NEW BEST:: SOT 86340 SOS 22619 HAS SOPS 22619 HAS SOUS 15083 HAS SOUPS 15083 WITH SCORE 15105.619
AT ITER 1311 NEW BEST:: SOT 86340 SOS 22617 HAS SOPS 22617 HAS SOUS 15081 HAS SOUPS 15081 WITH SCORE 15103.617
AT ITER 1316 NEW BEST:: SOT 86291 SOS 22519 HAS SOPS 22519 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15071.519
AT ITER 1330 NEW BEST:: SOT 86276 SOS 22504 HAS SOPS 22504 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15069.504
AT ITER 1332 NEW BEST:: SOT 86283 SOS 22506 HAS SOPS 22506 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15067.506
AT ITER 1365 NEW BEST:: SOT 86259 SOS 22457 HAS SOPS 22457 HAS SOUS 14995 HAS SOUPS 14995 WITH SCORE 15017.457
AT ITER 1391 NEW BEST:: SOT 86278 SOS 22455 HAS SOPS 22455 HAS SOUS 14993 HAS SOUPS 14993 WITH SCORE 15015.455
AT ITER 1403 NEW BEST:: SOT 86270 SOS 22447 HAS SOPS 22447 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15007.447
AT ITER 1434 NEW BEST:: SOT 86185 SOS 22277 HAS SOPS 22277 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14922.277
AT ITER 1439 NEW BEST:: SOT 86183 SOS 22244 HAS SOPS 22244 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14918.244
AT ITER 1445 NEW BEST:: SOT 86171 SOS 22046 HAS SOPS 22046 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14900.046
AT ITER 1458 NEW BEST:: SOT 86198 SOS 22073 HAS SOPS 22073 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14880.073
AT ITER 1518 NEW BEST:: SOT 86173 SOS 22023 HAS SOPS 22023 HAS SOUS 14808 HAS SOUPS 14808 WITH SCORE 14830.023
AT ITER 1527 NEW BEST:: SOT 86139 SOS 22089 HAS SOPS 22089 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14806.089
AT ITER 1530 NEW BEST:: SOT 86102 SOS 22052 HAS SOPS 22052 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14769.052
AT ITER 1534 NEW BEST:: SOT 86088 SOS 22038 HAS SOPS 22038 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14769.038
AT ITER 1548 NEW BEST:: SOT 86106 SOS 22074 HAS SOPS 22074 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14729.074
AT ITER 1555 NEW BEST:: SOT 86102 SOS 22070 HAS SOPS 22070 HAS SOUS 14686 HAS SOUPS 14686 WITH SCORE 14708.07
AT ITER 1557 NEW BEST:: SOT 86008 SOS 21882 HAS SOPS 21882 HAS SOUS 14620 HAS SOUPS 14620 WITH SCORE 14641.882
AT ITER 1569 NEW BEST:: SOT 86008 SOS 21830 HAS SOPS 21830 HAS SOUS 14568 HAS SOUPS 14568 WITH SCORE 14589.83
AT ITER 1605 NEW BEST:: SOT 86008 SOS 21830 HAS SOPS 21830 HAS SOUS 14537 HAS SOUPS 14537 WITH SCORE 14558.83
AT ITER 1611 NEW BEST:: SOT 86004 SOS 21826 HAS SOPS 21826 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14556.826
AT ITER 1630 NEW BEST:: SOT 85987 SOS 21803 HAS SOPS 21803 HAS SOUS 14495 HAS SOUPS 14495 WITH SCORE 14516.803
AT ITER 1632 NEW BEST:: SOT 85980 SOS 21933 HAS SOPS 21933 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14509.933
AT ITER 1663 NEW BEST:: SOT 85980 SOS 21928 HAS SOPS 21928 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14509.928
AT ITER 1672 NEW BEST:: SOT 85898 SOS 21829 HAS SOPS 21829 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14472.829
AT ITER 1677 NEW BEST:: SOT 85864 SOS 21733 HAS SOPS 21733 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14448.733
AT ITER 1682 NEW BEST:: SOT 85856 SOS 21717 HAS SOPS 21717 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14432.717
AT ITER 1695 NEW BEST:: SOT 85817 SOS 21649 HAS SOPS 21649 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14406.649
AT ITER 1702 NEW BEST:: SOT 85815 SOS 21645 HAS SOPS 21645 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14402.645
AT ITER 1714 NEW BEST:: SOT 85750 SOS 21832 HAS SOPS 21832 HAS SOUS 14341 HAS SOUPS 14341 WITH SCORE 14362.832
AT ITER 1739 NEW BEST:: SOT 85512 SOS 21497 HAS SOPS 21497 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14156.497
AT ITER 1742 NEW BEST:: SOT 85435 SOS 21390 HAS SOPS 21390 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13988.39
AT ITER 1756 NEW BEST:: SOT 85391 SOS 21302 HAS SOPS 21302 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13920.302
AT ITER 1822 NEW BEST:: SOT 85365 SOS 21247 HAS SOPS 21247 HAS SOUS 13884 HAS SOUPS 13884 WITH SCORE 13905.247
AT ITER 1828 NEW BEST:: SOT 85086 SOS 20903 HAS SOPS 20903 HAS SOUS 13848 HAS SOUPS 13848 WITH SCORE 13868.903
AT ITER 1833 NEW BEST:: SOT 85017 SOS 20765 HAS SOPS 20765 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13802.765
AT ITER 1838 NEW BEST:: SOT 84985 SOS 21109 HAS SOPS 21109 HAS SOUS 13769 HAS SOUPS 13769 WITH SCORE 13790.109
AT ITER 1842 NEW BEST:: SOT 84934 SOS 21007 HAS SOPS 21007 HAS SOUS 13718 HAS SOUPS 13718 WITH SCORE 13739.007
AT ITER 1850 NEW BEST:: SOT 84900 SOS 20939 HAS SOPS 20939 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13687.939
AT ITER 1867 NEW BEST:: SOT 84812 SOS 20846 HAS SOPS 20846 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13682.846
AT ITER 1892 NEW BEST:: SOT 84828 SOS 20830 HAS SOPS 20830 HAS SOUS 13646 HAS SOUPS 13646 WITH SCORE 13666.83
AT ITER 1901 NEW BEST:: SOT 84826 SOS 20826 HAS SOPS 20826 HAS SOUS 13644 HAS SOUPS 13644 WITH SCORE 13664.826
AT ITER 1902 NEW BEST:: SOT 84811 SOS 20796 HAS SOPS 20796 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13634.796
AT ITER 1906 NEW BEST:: SOT 84793 SOS 20778 HAS SOPS 20778 HAS SOUS 13608 HAS SOUPS 13608 WITH SCORE 13628.778
AT ITER 1938 NEW BEST:: SOT 84792 SOS 20756 HAS SOPS 20756 HAS SOUS 13588 HAS SOUPS 13588 WITH SCORE 13608.756
AT ITER 1971 NEW BEST:: SOT 84792 SOS 20709 HAS SOPS 20709 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13564.709
AT ITER 1975 NEW BEST:: SOT 84795 SOS 20704 HAS SOPS 20704 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13559.704
AT ITER 1976 NEW BEST:: SOT 84758 SOS 20757 HAS SOPS 20757 HAS SOUS 13526 HAS SOUPS 13526 WITH SCORE 13546.757
AT ITER 2014 NEW BEST:: SOT 84716 SOS 20673 HAS SOPS 20673 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13512.673
AT ITER 2020 NEW BEST:: SOT 84715 SOS 20671 HAS SOPS 20671 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13510.671
AT ITER 2047 NEW BEST:: SOT 84715 SOS 20671 HAS SOPS 20671 HAS SOUS 13461 HAS SOUPS 13461 WITH SCORE 13481.671
AT ITER 2050 NEW BEST:: SOT 84773 SOS 20729 HAS SOPS 20729 HAS SOUS 13424 HAS SOUPS 13424 WITH SCORE 13444.729
AT ITER 2057 NEW BEST:: SOT 84773 SOS 20728 HAS SOPS 20728 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13443.728
AT ITER 2062 NEW BEST:: SOT 84774 SOS 20715 HAS SOPS 20715 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13432.715
AT ITER 2068 NEW BEST:: SOT 84757 SOS 20698 HAS SOPS 20698 HAS SOUS 13395 HAS SOUPS 13395 WITH SCORE 13415.698
AT ITER 2119 NEW BEST:: SOT 84775 SOS 20727 HAS SOPS 20727 HAS SOUS 13388 HAS SOUPS 13388 WITH SCORE 13408.727
AT ITER 2133 NEW BEST:: SOT 84775 SOS 20727 HAS SOPS 20727 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13407.727
AT ITER 2136 NEW BEST:: SOT 84775 SOS 20714 HAS SOPS 20714 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13407.714
AT ITER 2137 NEW BEST:: SOT 84775 SOS 20712 HAS SOPS 20712 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13407.712
AT ITER 2149 NEW BEST:: SOT 84762 SOS 20699 HAS SOPS 20699 HAS SOUS 13374 HAS SOUPS 13374 WITH SCORE 13394.699
AT ITER 2162 NEW BEST:: SOT 84754 SOS 20675 HAS SOPS 20675 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13370.675
AT ITER 2163 NEW BEST:: SOT 84752 SOS 20671 HAS SOPS 20671 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13370.671
AT ITER 2169 NEW BEST:: SOT 84744 SOS 20618 HAS SOPS 20618 HAS SOUS 13333 HAS SOUPS 13333 WITH SCORE 13353.618
AT ITER 2174 NEW BEST:: SOT 84747 SOS 20624 HAS SOPS 20624 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13351.624
AT ITER 2213 NEW BEST:: SOT 84726 SOS 20582 HAS SOPS 20582 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13322.582
AT ITER 2220 NEW BEST:: SOT 84747 SOS 20624 HAS SOPS 20624 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13319.624
AT ITER 2226 NEW BEST:: SOT 84742 SOS 20619 HAS SOPS 20619 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13319.619
AT ITER 2228 NEW BEST:: SOT 84750 SOS 20472 HAS SOPS 20472 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13258.472
AT ITER 2236 NEW BEST:: SOT 84728 SOS 20450 HAS SOPS 20450 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13247.45
AT ITER 2253 NEW BEST:: SOT 84726 SOS 20448 HAS SOPS 20448 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13220.448
AT ITER 2254 NEW BEST:: SOT 84740 SOS 20448 HAS SOPS 20448 HAS SOUS 13186 HAS SOUPS 13186 WITH SCORE 13206.448
AT ITER 2272 NEW BEST:: SOT 84740 SOS 20433 HAS SOPS 20433 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13191.433
AT ITER 2286 NEW BEST:: SOT 84704 SOS 20329 HAS SOPS 20329 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13154.329
AT ITER 2287 NEW BEST:: SOT 84704 SOS 20329 HAS SOPS 20329 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13152.329
AT ITER 2309 NEW BEST:: SOT 84704 SOS 20322 HAS SOPS 20322 HAS SOUS 13125 HAS SOUPS 13125 WITH SCORE 13145.322
AT ITER 2316 NEW BEST:: SOT 84704 SOS 20321 HAS SOPS 20321 HAS SOUS 13124 HAS SOUPS 13124 WITH SCORE 13144.321
AT ITER 2323 NEW BEST:: SOT 84693 SOS 20130 HAS SOPS 20130 HAS SOUS 13100 HAS SOUPS 13100 WITH SCORE 13120.13
AT ITER 2338 NEW BEST:: SOT 84693 SOS 20128 HAS SOPS 20128 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13118.128
AT ITER 2370 NEW BEST:: SOT 84697 SOS 20136 HAS SOPS 20136 HAS SOUS 13095 HAS SOUPS 13095 WITH SCORE 13115.136
AT ITER 2385 NEW BEST:: SOT 84690 SOS 20132 HAS SOPS 20132 HAS SOUS 13090 HAS SOUPS 13090 WITH SCORE 13110.132
AT ITER 2404 NEW BEST:: SOT 84658 SOS 20099 HAS SOPS 20099 HAS SOUS 13057 HAS SOUPS 13057 WITH SCORE 13077.099
AT ITER 2405 NEW BEST:: SOT 84657 SOS 20097 HAS SOPS 20097 HAS SOUS 13056 HAS SOUPS 13056 WITH SCORE 13076.097
AT ITER 2408 NEW BEST:: SOT 84702 SOS 20142 HAS SOPS 20142 HAS SOUS 13027 HAS SOUPS 13027 WITH SCORE 13047.142
AT ITER 2460 NEW BEST:: SOT 84699 SOS 20136 HAS SOPS 20136 HAS SOUS 13021 HAS SOUPS 13021 WITH SCORE 13041.136
AT ITER 2469 NEW BEST:: SOT 84687 SOS 20131 HAS SOPS 20131 HAS SOUS 13010 HAS SOUPS 13010 WITH SCORE 13030.131
AT ITER 2513 NEW BEST:: SOT 84687 SOS 20131 HAS SOPS 20131 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13003.131
AT ITER 2526 NEW BEST:: SOT 84686 SOS 20130 HAS SOPS 20130 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13003.13
AT ITER 2537 NEW BEST:: SOT 84681 SOS 20125 HAS SOPS 20125 HAS SOUS 12978 HAS SOUPS 12978 WITH SCORE 12998.125
AT ITER 2539 NEW BEST:: SOT 84657 SOS 20147 HAS SOPS 20147 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 12992.147
AT ITER 2581 NEW BEST:: SOT 84639 SOS 20129 HAS SOPS 20129 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 12992.129
AT ITER 2583 NEW BEST:: SOT 84695 SOS 20129 HAS SOPS 20129 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12982.129
AT ITER 2667 NEW BEST:: SOT 84695 SOS 20111 HAS SOPS 20111 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12969.111
AT ITER 2669 NEW BEST:: SOT 84692 SOS 20104 HAS SOPS 20104 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 12966.104
AT ITER 2688 NEW BEST:: SOT 84689 SOS 20098 HAS SOPS 20098 HAS SOUS 12943 HAS SOUPS 12943 WITH SCORE 12963.098
AT ITER 2703 NEW BEST:: SOT 84620 SOS 21646 HAS SOPS 21646 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12930.646
AT ITER 2735 NEW BEST:: SOT 84582 SOS 21570 HAS SOPS 21570 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12897.57
AT ITER 2737 NEW BEST:: SOT 84575 SOS 21556 HAS SOPS 21556 HAS SOUS 12862 HAS SOUPS 12862 WITH SCORE 12883.556
AT ITER 2745 NEW BEST:: SOT 84560 SOS 21750 HAS SOPS 21750 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12880.75
AT ITER 2759 NEW BEST:: SOT 84560 SOS 21730 HAS SOPS 21730 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12860.73
AT ITER 2761 NEW BEST:: SOT 84558 SOS 21726 HAS SOPS 21726 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12856.726
AT ITER 2769 NEW BEST:: SOT 84557 SOS 21724 HAS SOPS 21724 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12854.724
AT ITER 2827 NEW BEST:: SOT 84571 SOS 21752 HAS SOPS 21752 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12837.752
AT ITER 2835 NEW BEST:: SOT 84564 SOS 21717 HAS SOPS 21717 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12824.717
AT ITER 2847 NEW BEST:: SOT 84542 SOS 21673 HAS SOPS 21673 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12811.673
AT ITER 2858 NEW BEST:: SOT 84542 SOS 21673 HAS SOPS 21673 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12806.673
AT ITER 2883 NEW BEST:: SOT 84540 SOS 21669 HAS SOPS 21669 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12802.669
AT ITER 2925 NEW BEST:: SOT 84526 SOS 21655 HAS SOPS 21655 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12802.655
AT ITER 2926 NEW BEST:: SOT 84532 SOS 21661 HAS SOPS 21661 HAS SOUS 12780 HAS SOUPS 12780 WITH SCORE 12801.661
AT ITER 2951 NEW BEST:: SOT 84517 SOS 21631 HAS SOPS 21631 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12771.631
AT ITER 2969 NEW BEST:: SOT 84448 SOS 21493 HAS SOPS 21493 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12707.493
AT ITER 2970 NEW BEST:: SOT 84452 SOS 21501 HAS SOPS 21501 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12617.501
AT ITER 2999 NEW BEST:: SOT 84450 SOS 21497 HAS SOPS 21497 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12613.497
AT ITER 3021 NEW BEST:: SOT 84450 SOS 21489 HAS SOPS 21489 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12613.489
AT ITER 3024 NEW BEST:: SOT 84398 SOS 21437 HAS SOPS 21437 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12561.437
AT ITER 3034 NEW BEST:: SOT 84382 SOS 21405 HAS SOPS 21405 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12542.405
AT ITER 3044 NEW BEST:: SOT 84377 SOS 21395 HAS SOPS 21395 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12528.395
AT ITER 3069 NEW BEST:: SOT 84380 SOS 21331 HAS SOPS 21331 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12494.331
AT ITER 3070 NEW BEST:: SOT 84371 SOS 21252 HAS SOPS 21252 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12450.252
AT ITER 3080 NEW BEST:: SOT 84357 SOS 21190 HAS SOPS 21190 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12422.19
AT ITER 3082 NEW BEST:: SOT 84395 SOS 21162 HAS SOPS 21162 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12402.162
AT ITER 3083 NEW BEST:: SOT 84395 SOS 21143 HAS SOPS 21143 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12402.143
AT ITER 3085 NEW BEST:: SOT 84368 SOS 21041 HAS SOPS 21041 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12348.041
AT ITER 3097 NEW BEST:: SOT 84351 SOS 21024 HAS SOPS 21024 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12331.024
AT ITER 3111 NEW BEST:: SOT 84347 SOS 21044 HAS SOPS 21044 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12311.044
AT ITER 3134 NEW BEST:: SOT 84340 SOS 21037 HAS SOPS 21037 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12304.037
AT ITER 3147 NEW BEST:: SOT 84324 SOS 20941 HAS SOPS 20941 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12267.941
AT ITER 3191 NEW BEST:: SOT 84308 SOS 21006 HAS SOPS 21006 HAS SOUS 12242 HAS SOUPS 12242 WITH SCORE 12263.006
AT ITER 3220 NEW BEST:: SOT 84304 SOS 21002 HAS SOPS 21002 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12259.002
AT ITER 3221 NEW BEST:: SOT 84304 SOS 20998 HAS SOPS 20998 HAS SOUS 12234 HAS SOUPS 12234 WITH SCORE 12254.998
AT ITER 3233 NEW BEST:: SOT 84296 SOS 20982 HAS SOPS 20982 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12238.982
AT ITER 3260 NEW BEST:: SOT 84290 SOS 20970 HAS SOPS 20970 HAS SOUS 12183 HAS SOUPS 12183 WITH SCORE 12203.97
AT ITER 3268 NEW BEST:: SOT 84263 SOS 20102 HAS SOPS 20102 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12106.102
AT ITER 3273 NEW BEST:: SOT 84230 SOS 20067 HAS SOPS 20067 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12084.067
AT ITER 3289 NEW BEST:: SOT 84230 SOS 20063 HAS SOPS 20063 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12080.063
AT ITER 3372 NEW BEST:: SOT 84227 SOS 20057 HAS SOPS 20057 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12074.057
AT ITER 3406 NEW BEST:: SOT 84231 SOS 20057 HAS SOPS 20057 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12070.057
AT ITER 3432 NEW BEST:: SOT 84191 SOS 20017 HAS SOPS 20017 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12070.017
AT ITER 3438 NEW BEST:: SOT 84165 SOS 19965 HAS SOPS 19965 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12017.965
AT ITER 3473 NEW BEST:: SOT 84223 SOS 20023 HAS SOPS 20023 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12007.023
AT ITER 3491 NEW BEST:: SOT 84219 SOS 20021 HAS SOPS 20021 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 12005.021
AT ITER 3508 NEW BEST:: SOT 84209 SOS 20011 HAS SOPS 20011 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 12005.011
AT ITER 3542 NEW BEST:: SOT 84194 SOS 19981 HAS SOPS 19981 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 11989.981
AT ITER 3549 NEW BEST:: SOT 84195 SOS 19939 HAS SOPS 19939 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11962.939
AT ITER 3585 NEW BEST:: SOT 84103 SOS 19755 HAS SOPS 19755 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11949.755
AT ITER 3594 NEW BEST:: SOT 84073 SOS 19729 HAS SOPS 19729 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11943.729
AT ITER 3623 NEW BEST:: SOT 84073 SOS 19702 HAS SOPS 19702 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11916.702
AT ITER 3630 NEW BEST:: SOT 84061 SOS 19690 HAS SOPS 19690 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11892.69
AT ITER 3668 NEW BEST:: SOT 84048 SOS 19677 HAS SOPS 19677 HAS SOUS 11865 HAS SOUPS 11865 WITH SCORE 11884.677
AT ITER 3672 NEW BEST:: SOT 84030 SOS 19661 HAS SOPS 19661 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11868.661
AT ITER 3682 NEW BEST:: SOT 84023 SOS 19647 HAS SOPS 19647 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11861.647
AT ITER 3738 NEW BEST:: SOT 84122 SOS 19685 HAS SOPS 19685 HAS SOUS 11840 HAS SOUPS 11840 WITH SCORE 11859.685
AT ITER 3762 NEW BEST:: SOT 84177 SOS 19795 HAS SOPS 19795 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11835.795
AT ITER 3794 NEW BEST:: SOT 84177 SOS 19795 HAS SOPS 19795 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11830.795
AT ITER 3803 NEW BEST:: SOT 84171 SOS 19785 HAS SOPS 19785 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11820.785
AT ITER 3838 NEW BEST:: SOT 84141 SOS 19745 HAS SOPS 19745 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11820.745
AT ITER 3843 NEW BEST:: SOT 84112 SOS 19687 HAS SOPS 19687 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11762.687
AT ITER 3861 NEW BEST:: SOT 84112 SOS 19687 HAS SOPS 19687 HAS SOUS 11739 HAS SOUPS 11739 WITH SCORE 11758.687
AT ITER 3872 NEW BEST:: SOT 84101 SOS 19665 HAS SOPS 19665 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11736.665
AT ITER 3909 NEW BEST:: SOT 84099 SOS 19661 HAS SOPS 19661 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11732.661
AT ITER 3935 NEW BEST:: SOT 84031 SOS 19655 HAS SOPS 19655 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11703.655
AT ITER 3938 NEW BEST:: SOT 84058 SOS 19681 HAS SOPS 19681 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11701.681
AT ITER 3968 NEW BEST:: SOT 84047 SOS 19662 HAS SOPS 19662 HAS SOUS 11663 HAS SOUPS 11663 WITH SCORE 11682.662
AT ITER 4008 NEW BEST:: SOT 84047 SOS 19633 HAS SOPS 19633 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11680.633
AT ITER 4013 NEW BEST:: SOT 84047 SOS 19529 HAS SOPS 19529 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11576.529
AT ITER 4048 NEW BEST:: SOT 84022 SOS 19479 HAS SOPS 19479 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11551.479
AT ITER 4098 NEW BEST:: SOT 84014 SOS 19471 HAS SOPS 19471 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11551.471
AT ITER 4100 NEW BEST:: SOT 84008 SOS 19459 HAS SOPS 19459 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11545.459
AT ITER 4111 NEW BEST:: SOT 84000 SOS 19451 HAS SOPS 19451 HAS SOUS 11518 HAS SOUPS 11518 WITH SCORE 11537.451
AT ITER 4145 NEW BEST:: SOT 83999 SOS 19449 HAS SOPS 19449 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11535.449
AT ITER 4155 NEW BEST:: SOT 83996 SOS 19443 HAS SOPS 19443 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11532.443
AT ITER 4162 NEW BEST:: SOT 83997 SOS 19450 HAS SOPS 19450 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11531.45
AT ITER 4163 NEW BEST:: SOT 83983 SOS 19408 HAS SOPS 19408 HAS SOUS 11498 HAS SOUPS 11498 WITH SCORE 11517.408
AT ITER 4167 NEW BEST:: SOT 83985 SOS 19400 HAS SOPS 19400 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11507.4
AT ITER 4209 NEW BEST:: SOT 83967 SOS 19364 HAS SOPS 19364 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11492.364
AT ITER 4241 NEW BEST:: SOT 83959 SOS 19360 HAS SOPS 19360 HAS SOUS 11469 HAS SOUPS 11469 WITH SCORE 11488.36
AT ITER 4257 NEW BEST:: SOT 83959 SOS 19336 HAS SOPS 19336 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11464.336
AT ITER 4279 NEW BEST:: SOT 83938 SOS 19315 HAS SOPS 19315 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11443.315
AT ITER 4308 NEW BEST:: SOT 83933 SOS 19310 HAS SOPS 19310 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11438.31
AT ITER 4312 NEW BEST:: SOT 83932 SOS 19308 HAS SOPS 19308 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11436.308
AT ITER 4331 NEW BEST:: SOT 83824 SOS 19150 HAS SOPS 19150 HAS SOUS 11414 HAS SOUPS 11414 WITH SCORE 11433.15
AT ITER 4401 NEW BEST:: SOT 83821 SOS 19154 HAS SOPS 19154 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11432.154
AT ITER 4435 NEW BEST:: SOT 83821 SOS 19154 HAS SOPS 19154 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11424.154
AT ITER 4440 NEW BEST:: SOT 83812 SOS 19145 HAS SOPS 19145 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11415.145
AT ITER 4445 NEW BEST:: SOT 83803 SOS 19142 HAS SOPS 19142 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11397.142
AT ITER 4447 NEW BEST:: SOT 83795 SOS 19130 HAS SOPS 19130 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11389.13
AT ITER 4463 NEW BEST:: SOT 83759 SOS 19094 HAS SOPS 19094 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11353.094
AT ITER 4472 NEW BEST:: SOT 83740 SOS 19056 HAS SOPS 19056 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11334.056
AT ITER 4481 NEW BEST:: SOT 83734 SOS 19038 HAS SOPS 19038 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11322.038
AT ITER 4495 NEW BEST:: SOT 83726 SOS 19022 HAS SOPS 19022 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11314.022
AT ITER 4499 NEW BEST:: SOT 83720 SOS 19010 HAS SOPS 19010 HAS SOUS 11286 HAS SOUPS 11286 WITH SCORE 11305.01
AT ITER 4519 NEW BEST:: SOT 83716 SOS 19004 HAS SOPS 19004 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11303.004
AT ITER 4523 NEW BEST:: SOT 83699 SOS 18987 HAS SOPS 18987 HAS SOUS 11267 HAS SOUPS 11267 WITH SCORE 11285.987
AT ITER 4536 NEW BEST:: SOT 83699 SOS 18907 HAS SOPS 18907 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11205.907
AT ITER 4566 NEW BEST:: SOT 83723 SOS 18905 HAS SOPS 18905 HAS SOUS 11161 HAS SOUPS 11161 WITH SCORE 11179.905
AT ITER 4567 NEW BEST:: SOT 83725 SOS 18941 HAS SOPS 18941 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11176.941
AT ITER 4571 NEW BEST:: SOT 83664 SOS 18883 HAS SOPS 18883 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11115.883
AT ITER 4585 NEW BEST:: SOT 83657 SOS 18869 HAS SOPS 18869 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11108.869
AT ITER 4597 NEW BEST:: SOT 83646 SOS 18858 HAS SOPS 18858 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11086.858
AT ITER 4598 NEW BEST:: SOT 83575 SOS 18774 HAS SOPS 18774 HAS SOUS 11025 HAS SOUPS 11025 WITH SCORE 11043.774
AT ITER 4612 NEW BEST:: SOT 83559 SOS 18742 HAS SOPS 18742 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11011.742
AT ITER 4621 NEW BEST:: SOT 83518 SOS 18660 HAS SOPS 18660 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 10989.66
AT ITER 4703 NEW BEST:: SOT 83510 SOS 18644 HAS SOPS 18644 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10973.644
AT ITER 4705 NEW BEST:: SOT 83499 SOS 18622 HAS SOPS 18622 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10951.622
AT ITER 4780 NEW BEST:: SOT 83442 SOS 18565 HAS SOPS 18565 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10951.565
AT ITER 4805 NEW BEST:: SOT 83435 SOS 18558 HAS SOPS 18558 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10951.558
AT ITER 4824 NEW BEST:: SOT 83435 SOS 18557 HAS SOPS 18557 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10951.557
AT ITER 4857 NEW BEST:: SOT 83437 SOS 18561 HAS SOPS 18561 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10946.561
AT ITER 4916 NEW BEST:: SOT 83412 SOS 18525 HAS SOPS 18525 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10910.525
AT ITER 4928 NEW BEST:: SOT 83394 SOS 18489 HAS SOPS 18489 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10896.489
AT ITER 4936 NEW BEST:: SOT 83394 SOS 18489 HAS SOPS 18489 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10894.489
AT ITER 4949 NEW BEST:: SOT 83391 SOS 18483 HAS SOPS 18483 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10891.483
AT ITER 4955 NEW BEST:: SOT 83390 SOS 18481 HAS SOPS 18481 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10889.481
AT ITER 4957 NEW BEST:: SOT 83384 SOS 18472 HAS SOPS 18472 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10883.472
AT ITER 4958 NEW BEST:: SOT 83365 SOS 18384 HAS SOPS 18384 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10826.384
AT ITER 4966 NEW BEST:: SOT 83374 SOS 18397 HAS SOPS 18397 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10806.397
AT ITER 4974 NEW BEST:: SOT 83373 SOS 18420 HAS SOPS 18420 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10805.42
AT ITER 4979 NEW BEST:: SOT 83368 SOS 18415 HAS SOPS 18415 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10804.415
AT ITER 4991 NEW BEST:: SOT 83363 SOS 18392 HAS SOPS 18392 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10794.392
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-13-CTLFireability-00 (AG( (! (EU( ((potential((tk(P110)>=1)))) , ((potential((tk(P359)>=1)))) )))))
PROPERTY: SmartHome-PT-13-CTLFireability-01 ( ( (! ( ( ( ((potential((tk(P255)>=1) & (tk(P379)>=1)))) | ((potential((tk(P236)>=1)))) ) & ( ((potential((tk(P341)>=1) & (tk(P338)>=1)))) & ((potential((tk(P287)>=1)))) ) ) | ((potential((tk(P81)>=1)))) )) | (AF( (! (! ((potential((tk(P89)>=1)))))))) ) & (EU( (! ((potential((tk(P139)>=1))))) , (AG( ((potential((tk(P256)>=1)))))) )) )
PROPERTY: SmartHome-PT-13-CTLFireability-02 (EF( (AF( (AF( ((potential((tk(P246)>=1))))))))))
PROPERTY: SmartHome-PT-13-CTLFireability-03 ( (AF( (EF( ( ((potential((tk(P207)>=1) & (tk(P331)>=1)))) & ((potential((tk(P383)>=1)))) ))))) & (EF( (AU( ((potential((tk(P34)>=1)))) , ((potential((tk(P103)>=1)))) )))) )
PROPERTY: SmartHome-PT-13-CTLFireability-04 (AG( (! (AG( ( ((potential((tk(P220)>=1)))) | ((potential((tk(P3)>=1) & (tk(P129)>=1)))) ))))))
PROPERTY: SmartHome-PT-13-CTLFireability-05 ( (AF( ( (EF( ((potential((tk(P188)>=1)))))) | (EG( ((potential((tk(P275)>=1)))))) ))) | ((potential((tk(P287)>=1)))) )
PROPERTY: SmartHome-PT-13-CTLFireability-06 (EF( ( ( ( (! ((potential((tk(P160)>=1))))) | ( ((potential((tk(P93)>=1)))) & ((potential((tk(P255)>=1) & (tk(P335)>=1)))) ) ) & ( ( ((potential((tk(P183)>=1)))) & ((potential((tk(P6)>=1)))) ) | (! ((potential((tk(P143)>=1))))) ) ) & (AF( ( ((potential((tk(P20)>=1)))) & ((potential((tk(P3)>=1) & (tk(P67)>=1)))) ))) )))
PROPERTY: SmartHome-PT-13-CTLFireability-07 ( ( ((potential((tk(P186)>=1)))) | (! ( ( ((potential((tk(P13)>=1)))) | ( ((potential((tk(P13)>=1)))) | ((potential((tk(P122)>=1)))) ) ) & ( ( ((potential((tk(P128)>=1)))) & ((potential((tk(P255)>=1)))) ) | (! ((potential((tk(P93)>=1))))) ) )) ) & (EF( ( (! (! ((potential((tk(P57)>=1)))))) & (EX( ((potential((tk(P149)>=1)))))) ))) )
PROPERTY: SmartHome-PT-13-CTLFireability-08 (! (EU( (! ((potential((tk(P248)>=1))))) , (EF( ((potential((tk(P293)>=1)))))) )))
PROPERTY: SmartHome-PT-13-CTLFireability-09 (EF( ((potential((tk(P262)>=1))))))
PROPERTY: SmartHome-PT-13-CTLFireability-10 (AF( (EU( (! ((potential((tk(P141)>=1))))) , ( ((potential((tk(P189)>=1)))) | ((potential((tk(P123)>=1)))) ) ))))
PROPERTY: SmartHome-PT-13-CTLFireability-11 (EF( ((potential((tk(P4)>=1))))))
PROPERTY: SmartHome-PT-13-CTLFireability-12 (! (EF( (AG( ( ((potential((tk(P206)>=1)))) & ((potential((tk(P140)>=1)))) ))))))
PROPERTY: SmartHome-PT-13-CTLFireability-13 (EF( (EU( ( ((potential((tk(P171)>=1)))) | ((potential((tk(P26)>=1)))) ) , ((potential((tk(P274)>=1)))) ))))
PROPERTY: SmartHome-PT-13-CTLFireability-14 (! (EF( (! (! ( ((potential((tk(P228)>=1)))) & ((potential((tk(P199)>=1)))) ))))))
PROPERTY: SmartHome-PT-13-CTLFireability-15 (EF( (EU( ( ((potential((tk(P90)>=1)))) | ((potential((tk(P217)>=1)))) ) , ( ((potential((tk(P239)>=1)))) & ((potential((tk(P18)>=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-13"
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-13, 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-159033538300100"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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