Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925900292.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-3b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900292
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 308K Mar 24 05:37 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 CloudDeployment-PT-3b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589139256152

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 3b
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: 859 places, 1152 transitions, 4030 arcs.
AT ITER 0 NEW BEST:: SOT 597462 SOS 157944 HAS SOPS 157944 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113464.944
AT ITER 32 NEW BEST:: SOT 597462 SOS 157819 HAS SOPS 157819 HAS SOUS 113306 HAS SOUPS 113306 WITH SCORE 113463.819
AT ITER 53 NEW BEST:: SOT 597362 SOS 157652 HAS SOPS 157652 HAS SOUS 113172 HAS SOUPS 113172 WITH SCORE 113329.652
AT ITER 55 NEW BEST:: SOT 597395 SOS 157606 HAS SOPS 157606 HAS SOUS 113126 HAS SOUPS 113126 WITH SCORE 113283.606
AT ITER 63 NEW BEST:: SOT 597190 SOS 157335 HAS SOPS 157335 HAS SOUS 112815 HAS SOUPS 112815 WITH SCORE 112972.335
AT ITER 75 NEW BEST:: SOT 597029 SOS 157439 HAS SOPS 157439 HAS SOUS 112650 HAS SOUPS 112650 WITH SCORE 112807.439
AT ITER 92 NEW BEST:: SOT 597016 SOS 157425 HAS SOPS 157425 HAS SOUS 112636 HAS SOUPS 112636 WITH SCORE 112793.425
AT ITER 100 NEW BEST:: SOT 596954 SOS 157321 HAS SOPS 157321 HAS SOUS 112416 HAS SOUPS 112416 WITH SCORE 112573.321
AT ITER 101 NEW BEST:: SOT 596921 SOS 156647 HAS SOPS 156647 HAS SOUS 112350 HAS SOUPS 112350 WITH SCORE 112506.647
AT ITER 114 NEW BEST:: SOT 596704 SOS 156445 HAS SOPS 156445 HAS SOUS 112148 HAS SOUPS 112148 WITH SCORE 112304.445
AT ITER 122 NEW BEST:: SOT 596799 SOS 156350 HAS SOPS 156350 HAS SOUS 112148 HAS SOUPS 112148 WITH SCORE 112304.35
AT ITER 126 NEW BEST:: SOT 596645 SOS 156447 HAS SOPS 156447 HAS SOUS 111994 HAS SOUPS 111994 WITH SCORE 112150.447
AT ITER 147 NEW BEST:: SOT 596606 SOS 156891 HAS SOPS 156891 HAS SOUS 111821 HAS SOUPS 111821 WITH SCORE 111977.891
AT ITER 170 NEW BEST:: SOT 596605 SOS 156889 HAS SOPS 156889 HAS SOUS 111819 HAS SOUPS 111819 WITH SCORE 111975.889
AT ITER 188 NEW BEST:: SOT 596515 SOS 156844 HAS SOPS 156844 HAS SOUS 111729 HAS SOUPS 111729 WITH SCORE 111885.844
AT ITER 224 NEW BEST:: SOT 596515 SOS 156766 HAS SOPS 156766 HAS SOUS 111729 HAS SOUPS 111729 WITH SCORE 111885.766
AT ITER 232 NEW BEST:: SOT 596445 SOS 156626 HAS SOPS 156626 HAS SOUS 111659 HAS SOUPS 111659 WITH SCORE 111815.626
AT ITER 261 NEW BEST:: SOT 596432 SOS 156626 HAS SOPS 156626 HAS SOUS 111646 HAS SOUPS 111646 WITH SCORE 111802.626
AT ITER 278 NEW BEST:: SOT 596431 SOS 156455 HAS SOPS 156455 HAS SOUS 111645 HAS SOUPS 111645 WITH SCORE 111801.455
AT ITER 289 NEW BEST:: SOT 596396 SOS 156254 HAS SOPS 156254 HAS SOUS 111566 HAS SOUPS 111566 WITH SCORE 111722.254
AT ITER 313 NEW BEST:: SOT 596395 SOS 156187 HAS SOPS 156187 HAS SOUS 111389 HAS SOUPS 111389 WITH SCORE 111545.187
AT ITER 318 NEW BEST:: SOT 596361 SOS 156153 HAS SOPS 156153 HAS SOUS 111378 HAS SOUPS 111378 WITH SCORE 111534.153
AT ITER 325 NEW BEST:: SOT 596328 SOS 156092 HAS SOPS 156092 HAS SOUS 111196 HAS SOUPS 111196 WITH SCORE 111352.092
AT ITER 329 NEW BEST:: SOT 596328 SOS 156092 HAS SOPS 156092 HAS SOUS 111157 HAS SOUPS 111157 WITH SCORE 111313.092
AT ITER 354 NEW BEST:: SOT 596308 SOS 156052 HAS SOPS 156052 HAS SOUS 111137 HAS SOUPS 111137 WITH SCORE 111293.052
AT ITER 356 NEW BEST:: SOT 596308 SOS 155985 HAS SOPS 155985 HAS SOUS 111070 HAS SOUPS 111070 WITH SCORE 111225.985
AT ITER 367 NEW BEST:: SOT 596282 SOS 155933 HAS SOPS 155933 HAS SOUS 111018 HAS SOUPS 111018 WITH SCORE 111173.933
AT ITER 373 NEW BEST:: SOT 596258 SOS 155808 HAS SOPS 155808 HAS SOUS 110934 HAS SOUPS 110934 WITH SCORE 111089.808
AT ITER 375 NEW BEST:: SOT 596178 SOS 155648 HAS SOPS 155648 HAS SOUS 110854 HAS SOUPS 110854 WITH SCORE 111009.648
AT ITER 378 NEW BEST:: SOT 596178 SOS 155648 HAS SOPS 155648 HAS SOUS 110853 HAS SOUPS 110853 WITH SCORE 111008.648
AT ITER 396 NEW BEST:: SOT 596172 SOS 155603 HAS SOPS 155603 HAS SOUS 110814 HAS SOUPS 110814 WITH SCORE 110969.603
AT ITER 446 NEW BEST:: SOT 596155 SOS 155552 HAS SOPS 155552 HAS SOUS 110797 HAS SOUPS 110797 WITH SCORE 110952.552
AT ITER 501 NEW BEST:: SOT 596096 SOS 155552 HAS SOPS 155552 HAS SOUS 110792 HAS SOUPS 110792 WITH SCORE 110947.552
AT ITER 526 NEW BEST:: SOT 596047 SOS 155545 HAS SOPS 155545 HAS SOUS 110711 HAS SOUPS 110711 WITH SCORE 110866.545
AT ITER 527 NEW BEST:: SOT 596013 SOS 155545 HAS SOPS 155545 HAS SOUS 110643 HAS SOUPS 110643 WITH SCORE 110798.545
AT ITER 528 NEW BEST:: SOT 595452 SOS 167911 HAS SOPS 167911 HAS SOUS 110219 HAS SOUPS 110219 WITH SCORE 110386.911
AT ITER 585 NEW BEST:: SOT 595452 SOS 167903 HAS SOPS 167903 HAS SOUS 110211 HAS SOUPS 110211 WITH SCORE 110378.903
AT ITER 594 NEW BEST:: SOT 595452 SOS 167903 HAS SOPS 167903 HAS SOUS 110210 HAS SOUPS 110210 WITH SCORE 110377.903
AT ITER 627 NEW BEST:: SOT 595391 SOS 167781 HAS SOPS 167781 HAS SOUS 110088 HAS SOUPS 110088 WITH SCORE 110255.781
AT ITER 647 NEW BEST:: SOT 595391 SOS 167781 HAS SOPS 167781 HAS SOUS 110054 HAS SOUPS 110054 WITH SCORE 110221.781
AT ITER 669 NEW BEST:: SOT 595398 SOS 167774 HAS SOPS 167774 HAS SOUS 110054 HAS SOUPS 110054 WITH SCORE 110221.774
AT ITER 672 NEW BEST:: SOT 595415 SOS 167757 HAS SOPS 167757 HAS SOUS 110054 HAS SOUPS 110054 WITH SCORE 110221.757
AT ITER 674 NEW BEST:: SOT 595155 SOS 167549 HAS SOPS 167549 HAS SOUS 109846 HAS SOUPS 109846 WITH SCORE 110013.549
AT ITER 695 NEW BEST:: SOT 594913 SOS 167391 HAS SOPS 167391 HAS SOUS 109622 HAS SOUPS 109622 WITH SCORE 109789.391
AT ITER 716 NEW BEST:: SOT 594682 SOS 168189 HAS SOPS 168189 HAS SOUS 109582 HAS SOUPS 109582 WITH SCORE 109750.189
AT ITER 720 NEW BEST:: SOT 594656 SOS 168137 HAS SOPS 168137 HAS SOUS 109530 HAS SOUPS 109530 WITH SCORE 109698.137
AT ITER 735 NEW BEST:: SOT 594460 SOS 168237 HAS SOPS 168237 HAS SOUS 109402 HAS SOUPS 109402 WITH SCORE 109570.237
AT ITER 736 NEW BEST:: SOT 594439 SOS 168216 HAS SOPS 168216 HAS SOUS 109402 HAS SOUPS 109402 WITH SCORE 109570.216
AT ITER 741 NEW BEST:: SOT 594418 SOS 168174 HAS SOPS 168174 HAS SOUS 109278 HAS SOUPS 109278 WITH SCORE 109446.174
AT ITER 744 NEW BEST:: SOT 594389 SOS 168145 HAS SOPS 168145 HAS SOUS 109276 HAS SOUPS 109276 WITH SCORE 109444.145
AT ITER 750 NEW BEST:: SOT 594538 SOS 158774 HAS SOPS 158774 HAS SOUS 109120 HAS SOUPS 109120 WITH SCORE 109278.774
AT ITER 751 NEW BEST:: SOT 594533 SOS 158770 HAS SOPS 158770 HAS SOUS 109115 HAS SOUPS 109115 WITH SCORE 109273.77
AT ITER 759 NEW BEST:: SOT 594377 SOS 159806 HAS SOPS 159806 HAS SOUS 109033 HAS SOUPS 109033 WITH SCORE 109192.806
AT ITER 764 NEW BEST:: SOT 594367 SOS 159770 HAS SOPS 159770 HAS SOUS 108959 HAS SOUPS 108959 WITH SCORE 109118.77
AT ITER 768 NEW BEST:: SOT 594367 SOS 159723 HAS SOPS 159723 HAS SOUS 108919 HAS SOUPS 108919 WITH SCORE 109078.723
AT ITER 779 NEW BEST:: SOT 594366 SOS 159721 HAS SOPS 159721 HAS SOUS 108917 HAS SOUPS 108917 WITH SCORE 109076.721
AT ITER 783 NEW BEST:: SOT 594366 SOS 159721 HAS SOPS 159721 HAS SOUS 108852 HAS SOUPS 108852 WITH SCORE 109011.721
AT ITER 795 NEW BEST:: SOT 594256 SOS 159501 HAS SOPS 159501 HAS SOUS 108654 HAS SOUPS 108654 WITH SCORE 108813.501
AT ITER 834 NEW BEST:: SOT 594189 SOS 159367 HAS SOPS 159367 HAS SOUS 108637 HAS SOUPS 108637 WITH SCORE 108796.367
AT ITER 836 NEW BEST:: SOT 594174 SOS 159455 HAS SOPS 159455 HAS SOUS 108607 HAS SOUPS 108607 WITH SCORE 108766.455
AT ITER 852 NEW BEST:: SOT 594089 SOS 159615 HAS SOPS 159615 HAS SOUS 108601 HAS SOUPS 108601 WITH SCORE 108760.615
AT ITER 878 NEW BEST:: SOT 594097 SOS 159631 HAS SOPS 159631 HAS SOUS 108420 HAS SOUPS 108420 WITH SCORE 108579.631
AT ITER 883 NEW BEST:: SOT 594121 SOS 159537 HAS SOPS 159537 HAS SOUS 108326 HAS SOUPS 108326 WITH SCORE 108485.537
AT ITER 900 NEW BEST:: SOT 594027 SOS 159921 HAS SOPS 159921 HAS SOUS 108276 HAS SOUPS 108276 WITH SCORE 108435.921
AT ITER 903 NEW BEST:: SOT 593775 SOS 159587 HAS SOPS 159587 HAS SOUS 107942 HAS SOUPS 107942 WITH SCORE 108101.587
AT ITER 905 NEW BEST:: SOT 593775 SOS 159557 HAS SOPS 159557 HAS SOUS 107938 HAS SOUPS 107938 WITH SCORE 108097.557
AT ITER 910 NEW BEST:: SOT 593639 SOS 159363 HAS SOPS 159363 HAS SOUS 107744 HAS SOUPS 107744 WITH SCORE 107903.363
AT ITER 914 NEW BEST:: SOT 593524 SOS 159307 HAS SOPS 159307 HAS SOUS 106254 HAS SOUPS 106254 WITH SCORE 106413.307
AT ITER 915 NEW BEST:: SOT 593524 SOS 159111 HAS SOPS 159111 HAS SOUS 106254 HAS SOUPS 106254 WITH SCORE 106413.111
AT ITER 921 NEW BEST:: SOT 593520 SOS 159103 HAS SOPS 159103 HAS SOUS 106247 HAS SOUPS 106247 WITH SCORE 106406.103
AT ITER 940 NEW BEST:: SOT 593512 SOS 159087 HAS SOPS 159087 HAS SOUS 106244 HAS SOUPS 106244 WITH SCORE 106403.087
AT ITER 986 NEW BEST:: SOT 593530 SOS 159123 HAS SOPS 159123 HAS SOUS 106161 HAS SOUPS 106161 WITH SCORE 106320.123
AT ITER 991 NEW BEST:: SOT 593523 SOS 159116 HAS SOPS 159116 HAS SOUS 106161 HAS SOUPS 106161 WITH SCORE 106320.116
AT ITER 996 NEW BEST:: SOT 593396 SOS 159118 HAS SOPS 159118 HAS SOUS 106035 HAS SOUPS 106035 WITH SCORE 106194.118
AT ITER 1010 NEW BEST:: SOT 593303 SOS 159142 HAS SOPS 159142 HAS SOUS 105942 HAS SOUPS 105942 WITH SCORE 106101.142
AT ITER 1016 NEW BEST:: SOT 593317 SOS 159084 HAS SOPS 159084 HAS SOUS 105827 HAS SOUPS 105827 WITH SCORE 105986.084
AT ITER 1020 NEW BEST:: SOT 593292 SOS 159034 HAS SOPS 159034 HAS SOUS 105777 HAS SOUPS 105777 WITH SCORE 105936.034
AT ITER 1022 NEW BEST:: SOT 593248 SOS 158889 HAS SOPS 158889 HAS SOUS 105689 HAS SOUPS 105689 WITH SCORE 105847.889
AT ITER 1024 NEW BEST:: SOT 592930 SOS 158579 HAS SOPS 158579 HAS SOUS 105379 HAS SOUPS 105379 WITH SCORE 105537.579
AT ITER 1030 NEW BEST:: SOT 592897 SOS 158513 HAS SOPS 158513 HAS SOUS 105313 HAS SOUPS 105313 WITH SCORE 105471.513
AT ITER 1040 NEW BEST:: SOT 592952 SOS 158766 HAS SOPS 158766 HAS SOUS 105225 HAS SOUPS 105225 WITH SCORE 105383.766
AT ITER 1043 NEW BEST:: SOT 592882 SOS 158795 HAS SOPS 158795 HAS SOUS 104990 HAS SOUPS 104990 WITH SCORE 105148.795
AT ITER 1059 NEW BEST:: SOT 592882 SOS 158689 HAS SOPS 158689 HAS SOUS 104967 HAS SOUPS 104967 WITH SCORE 105125.689
AT ITER 1068 NEW BEST:: SOT 592882 SOS 158689 HAS SOPS 158689 HAS SOUS 104869 HAS SOUPS 104869 WITH SCORE 105027.689
AT ITER 1082 NEW BEST:: SOT 592820 SOS 158307 HAS SOPS 158307 HAS SOUS 104745 HAS SOUPS 104745 WITH SCORE 104903.307
AT ITER 1087 NEW BEST:: SOT 592821 SOS 158453 HAS SOPS 158453 HAS SOUS 104727 HAS SOUPS 104727 WITH SCORE 104885.453
AT ITER 1098 NEW BEST:: SOT 592765 SOS 158390 HAS SOPS 158390 HAS SOUS 104669 HAS SOUPS 104669 WITH SCORE 104827.39
AT ITER 1103 NEW BEST:: SOT 592755 SOS 158414 HAS SOPS 158414 HAS SOUS 104665 HAS SOUPS 104665 WITH SCORE 104823.414
AT ITER 1123 NEW BEST:: SOT 592725 SOS 158294 HAS SOPS 158294 HAS SOUS 104605 HAS SOUPS 104605 WITH SCORE 104763.294
AT ITER 1126 NEW BEST:: SOT 592772 SOS 158342 HAS SOPS 158342 HAS SOUS 104596 HAS SOUPS 104596 WITH SCORE 104754.342
AT ITER 1159 NEW BEST:: SOT 592713 SOS 158224 HAS SOPS 158224 HAS SOUS 104537 HAS SOUPS 104537 WITH SCORE 104695.224
AT ITER 1170 NEW BEST:: SOT 592593 SOS 157984 HAS SOPS 157984 HAS SOUS 104427 HAS SOUPS 104427 WITH SCORE 104584.984
AT ITER 1193 NEW BEST:: SOT 592357 SOS 158088 HAS SOPS 158088 HAS SOUS 104287 HAS SOUPS 104287 WITH SCORE 104445.088
AT ITER 1195 NEW BEST:: SOT 592328 SOS 158022 HAS SOPS 158022 HAS SOUS 104215 HAS SOUPS 104215 WITH SCORE 104373.022
AT ITER 1209 NEW BEST:: SOT 592227 SOS 157618 HAS SOPS 157618 HAS SOUS 104013 HAS SOUPS 104013 WITH SCORE 104170.618
AT ITER 1219 NEW BEST:: SOT 592227 SOS 157583 HAS SOPS 157583 HAS SOUS 103943 HAS SOUPS 103943 WITH SCORE 104100.583
AT ITER 1229 NEW BEST:: SOT 592226 SOS 157581 HAS SOPS 157581 HAS SOUS 103941 HAS SOUPS 103941 WITH SCORE 104098.581
AT ITER 1237 NEW BEST:: SOT 592078 SOS 157433 HAS SOPS 157433 HAS SOUS 103497 HAS SOUPS 103497 WITH SCORE 103654.433
AT ITER 1243 NEW BEST:: SOT 592078 SOS 157451 HAS SOPS 157451 HAS SOUS 103488 HAS SOUPS 103488 WITH SCORE 103645.451
AT ITER 1277 NEW BEST:: SOT 592027 SOS 157349 HAS SOPS 157349 HAS SOUS 103386 HAS SOUPS 103386 WITH SCORE 103543.349
AT ITER 1297 NEW BEST:: SOT 591931 SOS 157260 HAS SOPS 157260 HAS SOUS 103320 HAS SOUPS 103320 WITH SCORE 103477.26
AT ITER 1308 NEW BEST:: SOT 591930 SOS 157258 HAS SOPS 157258 HAS SOUS 103318 HAS SOUPS 103318 WITH SCORE 103475.258
AT ITER 1310 NEW BEST:: SOT 591923 SOS 157244 HAS SOPS 157244 HAS SOUS 103311 HAS SOUPS 103311 WITH SCORE 103468.244
AT ITER 1314 NEW BEST:: SOT 591923 SOS 157160 HAS SOPS 157160 HAS SOUS 103311 HAS SOUPS 103311 WITH SCORE 103468.16
AT ITER 1322 NEW BEST:: SOT 591933 SOS 157048 HAS SOPS 157048 HAS SOUS 103243 HAS SOUPS 103243 WITH SCORE 103400.048
AT ITER 1332 NEW BEST:: SOT 591933 SOS 157048 HAS SOPS 157048 HAS SOUS 103195 HAS SOUPS 103195 WITH SCORE 103352.048
AT ITER 1346 NEW BEST:: SOT 591783 SOS 156973 HAS SOPS 156973 HAS SOUS 103045 HAS SOUPS 103045 WITH SCORE 103201.973
AT ITER 1359 NEW BEST:: SOT 591720 SOS 156595 HAS SOPS 156595 HAS SOUS 102919 HAS SOUPS 102919 WITH SCORE 103075.595
AT ITER 1370 NEW BEST:: SOT 591705 SOS 156600 HAS SOPS 156600 HAS SOUS 102904 HAS SOUPS 102904 WITH SCORE 103060.6
AT ITER 1377 NEW BEST:: SOT 591587 SOS 156364 HAS SOPS 156364 HAS SOUS 102783 HAS SOUPS 102783 WITH SCORE 102939.364
AT ITER 1390 NEW BEST:: SOT 591552 SOS 156594 HAS SOPS 156594 HAS SOUS 102764 HAS SOUPS 102764 WITH SCORE 102920.594
AT ITER 1431 NEW BEST:: SOT 591552 SOS 156594 HAS SOPS 156594 HAS SOUS 102759 HAS SOUPS 102759 WITH SCORE 102915.594
AT ITER 1433 NEW BEST:: SOT 591544 SOS 156578 HAS SOPS 156578 HAS SOUS 102751 HAS SOUPS 102751 WITH SCORE 102907.578
AT ITER 1437 NEW BEST:: SOT 591340 SOS 156374 HAS SOPS 156374 HAS SOUS 102750 HAS SOUPS 102750 WITH SCORE 102906.374
AT ITER 1461 NEW BEST:: SOT 591310 SOS 156359 HAS SOPS 156359 HAS SOUS 102720 HAS SOUPS 102720 WITH SCORE 102876.359
AT ITER 1475 NEW BEST:: SOT 591310 SOS 156341 HAS SOPS 156341 HAS SOUS 102720 HAS SOUPS 102720 WITH SCORE 102876.341
AT ITER 1491 NEW BEST:: SOT 591309 SOS 156339 HAS SOPS 156339 HAS SOUS 102718 HAS SOUPS 102718 WITH SCORE 102874.339
AT ITER 1493 NEW BEST:: SOT 591263 SOS 156548 HAS SOPS 156548 HAS SOUS 102672 HAS SOUPS 102672 WITH SCORE 102828.548
AT ITER 1505 NEW BEST:: SOT 591263 SOS 156614 HAS SOPS 156614 HAS SOUS 102650 HAS SOUPS 102650 WITH SCORE 102806.614
AT ITER 1510 NEW BEST:: SOT 591226 SOS 156324 HAS SOPS 156324 HAS SOUS 102626 HAS SOUPS 102626 WITH SCORE 102782.324
AT ITER 1523 NEW BEST:: SOT 591109 SOS 156207 HAS SOPS 156207 HAS SOUS 102078 HAS SOUPS 102078 WITH SCORE 102234.207
AT ITER 1551 NEW BEST:: SOT 591112 SOS 156206 HAS SOPS 156206 HAS SOUS 102077 HAS SOUPS 102077 WITH SCORE 102233.206
AT ITER 1567 NEW BEST:: SOT 591157 SOS 156296 HAS SOPS 156296 HAS SOUS 102069 HAS SOUPS 102069 WITH SCORE 102225.296
AT ITER 1578 NEW BEST:: SOT 591157 SOS 155906 HAS SOPS 155906 HAS SOUS 102069 HAS SOUPS 102069 WITH SCORE 102224.906
AT ITER 1579 NEW BEST:: SOT 591156 SOS 155904 HAS SOPS 155904 HAS SOUS 102067 HAS SOUPS 102067 WITH SCORE 102222.904
AT ITER 1580 NEW BEST:: SOT 591188 SOS 155808 HAS SOPS 155808 HAS SOUS 101896 HAS SOUPS 101896 WITH SCORE 102051.808
AT ITER 1622 NEW BEST:: SOT 591090 SOS 155612 HAS SOPS 155612 HAS SOUS 101700 HAS SOUPS 101700 WITH SCORE 101855.612
AT ITER 1639 NEW BEST:: SOT 591187 SOS 155806 HAS SOPS 155806 HAS SOUS 101686 HAS SOUPS 101686 WITH SCORE 101841.806
AT ITER 1650 NEW BEST:: SOT 591187 SOS 155806 HAS SOPS 155806 HAS SOUS 101683 HAS SOUPS 101683 WITH SCORE 101838.806
AT ITER 1664 NEW BEST:: SOT 591183 SOS 156117 HAS SOPS 156117 HAS SOUS 101675 HAS SOUPS 101675 WITH SCORE 101831.117
AT ITER 1685 NEW BEST:: SOT 591183 SOS 156115 HAS SOPS 156115 HAS SOUS 101673 HAS SOUPS 101673 WITH SCORE 101829.115
AT ITER 1698 NEW BEST:: SOT 591025 SOS 155841 HAS SOPS 155841 HAS SOUS 101515 HAS SOUPS 101515 WITH SCORE 101670.841
AT ITER 1709 NEW BEST:: SOT 590977 SOS 155769 HAS SOPS 155769 HAS SOUS 101467 HAS SOUPS 101467 WITH SCORE 101622.769
AT ITER 1713 NEW BEST:: SOT 590977 SOS 155769 HAS SOPS 155769 HAS SOUS 101411 HAS SOUPS 101411 WITH SCORE 101566.769
AT ITER 1720 NEW BEST:: SOT 590937 SOS 155689 HAS SOPS 155689 HAS SOUS 101351 HAS SOUPS 101351 WITH SCORE 101506.689
AT ITER 1721 NEW BEST:: SOT 590933 SOS 155681 HAS SOPS 155681 HAS SOUS 101343 HAS SOUPS 101343 WITH SCORE 101498.681
AT ITER 1725 NEW BEST:: SOT 590898 SOS 155646 HAS SOPS 155646 HAS SOUS 101343 HAS SOUPS 101343 WITH SCORE 101498.646
AT ITER 1740 NEW BEST:: SOT 590549 SOS 155828 HAS SOPS 155828 HAS SOUS 100994 HAS SOUPS 100994 WITH SCORE 101149.828
AT ITER 1743 NEW BEST:: SOT 590549 SOS 155828 HAS SOPS 155828 HAS SOUS 100957 HAS SOUPS 100957 WITH SCORE 101112.828
AT ITER 1760 NEW BEST:: SOT 590549 SOS 155828 HAS SOPS 155828 HAS SOUS 100950 HAS SOUPS 100950 WITH SCORE 101105.828
AT ITER 1762 NEW BEST:: SOT 590549 SOS 155746 HAS SOPS 155746 HAS SOUS 100950 HAS SOUPS 100950 WITH SCORE 101105.746
AT ITER 1806 NEW BEST:: SOT 590584 SOS 155780 HAS SOPS 155780 HAS SOUS 100916 HAS SOUPS 100916 WITH SCORE 101071.78
AT ITER 1826 NEW BEST:: SOT 590583 SOS 155778 HAS SOPS 155778 HAS SOUS 100914 HAS SOUPS 100914 WITH SCORE 101069.778
AT ITER 1833 NEW BEST:: SOT 590517 SOS 155646 HAS SOPS 155646 HAS SOUS 100782 HAS SOUPS 100782 WITH SCORE 100937.646
AT ITER 1842 NEW BEST:: SOT 590438 SOS 155716 HAS SOPS 155716 HAS SOUS 100682 HAS SOUPS 100682 WITH SCORE 100837.716
AT ITER 1849 NEW BEST:: SOT 590402 SOS 155644 HAS SOPS 155644 HAS SOUS 100646 HAS SOUPS 100646 WITH SCORE 100801.644
AT ITER 1875 NEW BEST:: SOT 590324 SOS 155488 HAS SOPS 155488 HAS SOUS 100608 HAS SOUPS 100608 WITH SCORE 100763.488
AT ITER 1879 NEW BEST:: SOT 590324 SOS 155477 HAS SOPS 155477 HAS SOUS 100597 HAS SOUPS 100597 WITH SCORE 100752.477
AT ITER 1899 NEW BEST:: SOT 590324 SOS 155471 HAS SOPS 155471 HAS SOUS 100597 HAS SOUPS 100597 WITH SCORE 100752.471
AT ITER 1917 NEW BEST:: SOT 589957 SOS 156934 HAS SOPS 156934 HAS SOUS 100399 HAS SOUPS 100399 WITH SCORE 100555.934
AT ITER 1918 NEW BEST:: SOT 590057 SOS 157134 HAS SOPS 157134 HAS SOUS 100337 HAS SOUPS 100337 WITH SCORE 100494.134
AT ITER 1923 NEW BEST:: SOT 590051 SOS 157116 HAS SOPS 157116 HAS SOUS 100325 HAS SOUPS 100325 WITH SCORE 100482.116
AT ITER 1924 NEW BEST:: SOT 590051 SOS 157134 HAS SOPS 157134 HAS SOUS 100319 HAS SOUPS 100319 WITH SCORE 100476.134
AT ITER 1953 NEW BEST:: SOT 590004 SOS 157090 HAS SOPS 157090 HAS SOUS 100275 HAS SOUPS 100275 WITH SCORE 100432.09
AT ITER 1971 NEW BEST:: SOT 589794 SOS 157589 HAS SOPS 157589 HAS SOUS 100131 HAS SOUPS 100131 WITH SCORE 100288.589
AT ITER 1987 NEW BEST:: SOT 589792 SOS 157585 HAS SOPS 157585 HAS SOUS 100127 HAS SOUPS 100127 WITH SCORE 100284.585
AT ITER 1990 NEW BEST:: SOT 589781 SOS 157563 HAS SOPS 157563 HAS SOUS 100105 HAS SOUPS 100105 WITH SCORE 100262.563
AT ITER 2010 NEW BEST:: SOT 589780 SOS 157561 HAS SOPS 157561 HAS SOUS 100103 HAS SOUPS 100103 WITH SCORE 100260.561
AT ITER 2049 NEW BEST:: SOT 589641 SOS 157646 HAS SOPS 157646 HAS SOUS 99962 HAS SOUPS 99962 WITH SCORE 100119.646
AT ITER 2082 NEW BEST:: SOT 589583 SOS 157530 HAS SOPS 157530 HAS SOUS 99904 HAS SOUPS 99904 WITH SCORE 100061.53
AT ITER 2092 NEW BEST:: SOT 589582 SOS 157528 HAS SOPS 157528 HAS SOUS 99902 HAS SOUPS 99902 WITH SCORE 100059.528
AT ITER 2117 NEW BEST:: SOT 589556 SOS 157320 HAS SOPS 157320 HAS SOUS 99850 HAS SOUPS 99850 WITH SCORE 100007.32
AT ITER 2120 NEW BEST:: SOT 589494 SOS 157313 HAS SOPS 157313 HAS SOUS 99814 HAS SOUPS 99814 WITH SCORE 99971.313
AT ITER 2132 NEW BEST:: SOT 589428 SOS 157181 HAS SOPS 157181 HAS SOUS 99682 HAS SOUPS 99682 WITH SCORE 99839.181
AT ITER 2133 NEW BEST:: SOT 589461 SOS 157035 HAS SOPS 157035 HAS SOUS 99662 HAS SOUPS 99662 WITH SCORE 99819.035
AT ITER 2140 NEW BEST:: SOT 589456 SOS 157033 HAS SOPS 157033 HAS SOUS 99660 HAS SOUPS 99660 WITH SCORE 99817.033
AT ITER 2143 NEW BEST:: SOT 589421 SOS 156963 HAS SOPS 156963 HAS SOUS 99590 HAS SOUPS 99590 WITH SCORE 99746.963
AT ITER 2163 NEW BEST:: SOT 589408 SOS 156937 HAS SOPS 156937 HAS SOUS 99431 HAS SOUPS 99431 WITH SCORE 99587.937
AT ITER 2173 NEW BEST:: SOT 589388 SOS 156897 HAS SOPS 156897 HAS SOUS 99391 HAS SOUPS 99391 WITH SCORE 99547.897
AT ITER 2222 NEW BEST:: SOT 589240 SOS 157141 HAS SOPS 157141 HAS SOUS 99241 HAS SOUPS 99241 WITH SCORE 99398.141
AT ITER 2225 NEW BEST:: SOT 589240 SOS 158589 HAS SOPS 158589 HAS SOUS 99216 HAS SOUPS 99216 WITH SCORE 99374.589
AT ITER 2238 NEW BEST:: SOT 589230 SOS 158569 HAS SOPS 158569 HAS SOUS 99111 HAS SOUPS 99111 WITH SCORE 99269.569
AT ITER 2262 NEW BEST:: SOT 589230 SOS 158569 HAS SOPS 158569 HAS SOUS 99096 HAS SOUPS 99096 WITH SCORE 99254.569
AT ITER 2268 NEW BEST:: SOT 589340 SOS 158539 HAS SOPS 158539 HAS SOUS 98961 HAS SOUPS 98961 WITH SCORE 99119.539
AT ITER 2289 NEW BEST:: SOT 589340 SOS 158510 HAS SOPS 158510 HAS SOUS 98932 HAS SOUPS 98932 WITH SCORE 99090.51
AT ITER 2290 NEW BEST:: SOT 589022 SOS 158192 HAS SOPS 158192 HAS SOUS 98726 HAS SOUPS 98726 WITH SCORE 98884.192
AT ITER 2295 NEW BEST:: SOT 588996 SOS 158140 HAS SOPS 158140 HAS SOUS 98700 HAS SOUPS 98700 WITH SCORE 98858.14
AT ITER 2304 NEW BEST:: SOT 588924 SOS 157996 HAS SOPS 157996 HAS SOUS 98486 HAS SOUPS 98486 WITH SCORE 98643.996
AT ITER 2315 NEW BEST:: SOT 588919 SOS 157986 HAS SOPS 157986 HAS SOUS 98476 HAS SOUPS 98476 WITH SCORE 98633.986
AT ITER 2317 NEW BEST:: SOT 588907 SOS 157938 HAS SOPS 157938 HAS SOUS 98452 HAS SOUPS 98452 WITH SCORE 98609.938
AT ITER 2362 NEW BEST:: SOT 588879 SOS 157820 HAS SOPS 157820 HAS SOUS 98362 HAS SOUPS 98362 WITH SCORE 98519.82
AT ITER 2368 NEW BEST:: SOT 588874 SOS 157810 HAS SOPS 157810 HAS SOUS 98354 HAS SOUPS 98354 WITH SCORE 98511.81
AT ITER 2379 NEW BEST:: SOT 588868 SOS 157816 HAS SOPS 157816 HAS SOUS 98348 HAS SOUPS 98348 WITH SCORE 98505.816
AT ITER 2405 NEW BEST:: SOT 588901 SOS 157828 HAS SOPS 157828 HAS SOUS 98333 HAS SOUPS 98333 WITH SCORE 98490.828
AT ITER 2406 NEW BEST:: SOT 588931 SOS 157832 HAS SOPS 157832 HAS SOUS 98309 HAS SOUPS 98309 WITH SCORE 98466.832
AT ITER 2409 NEW BEST:: SOT 588771 SOS 157584 HAS SOPS 157584 HAS SOUS 97973 HAS SOUPS 97973 WITH SCORE 98130.584
AT ITER 2422 NEW BEST:: SOT 588591 SOS 157704 HAS SOPS 157704 HAS SOUS 97868 HAS SOUPS 97868 WITH SCORE 98025.704
AT ITER 2424 NEW BEST:: SOT 588554 SOS 157778 HAS SOPS 157778 HAS SOUS 97758 HAS SOUPS 97758 WITH SCORE 97915.778
AT ITER 2425 NEW BEST:: SOT 588540 SOS 157750 HAS SOPS 157750 HAS SOUS 97730 HAS SOUPS 97730 WITH SCORE 97887.75
AT ITER 2427 NEW BEST:: SOT 588540 SOS 157328 HAS SOPS 157328 HAS SOUS 97597 HAS SOUPS 97597 WITH SCORE 97754.328
AT ITER 2450 NEW BEST:: SOT 588476 SOS 157761 HAS SOPS 157761 HAS SOUS 97469 HAS SOUPS 97469 WITH SCORE 97626.761
AT ITER 2481 NEW BEST:: SOT 588583 SOS 157791 HAS SOPS 157791 HAS SOUS 97461 HAS SOUPS 97461 WITH SCORE 97618.791
AT ITER 2512 NEW BEST:: SOT 588550 SOS 157692 HAS SOPS 157692 HAS SOUS 97428 HAS SOUPS 97428 WITH SCORE 97585.692
AT ITER 2569 NEW BEST:: SOT 588550 SOS 157692 HAS SOPS 157692 HAS SOUS 97328 HAS SOUPS 97328 WITH SCORE 97485.692
AT ITER 2571 NEW BEST:: SOT 588550 SOS 157637 HAS SOPS 157637 HAS SOUS 97233 HAS SOUPS 97233 WITH SCORE 97390.637
AT ITER 2585 NEW BEST:: SOT 588717 SOS 158062 HAS SOPS 158062 HAS SOUS 97157 HAS SOUPS 97157 WITH SCORE 97315.062
AT ITER 2618 NEW BEST:: SOT 588601 SOS 158187 HAS SOPS 158187 HAS SOUS 97133 HAS SOUPS 97133 WITH SCORE 97291.187
AT ITER 2622 NEW BEST:: SOT 588592 SOS 158169 HAS SOPS 158169 HAS SOUS 97124 HAS SOUPS 97124 WITH SCORE 97282.169
AT ITER 2624 NEW BEST:: SOT 588578 SOS 158120 HAS SOPS 158120 HAS SOUS 97103 HAS SOUPS 97103 WITH SCORE 97261.12
AT ITER 2666 NEW BEST:: SOT 588578 SOS 158063 HAS SOPS 158063 HAS SOUS 97103 HAS SOUPS 97103 WITH SCORE 97261.063
AT ITER 2670 NEW BEST:: SOT 588575 SOS 158060 HAS SOPS 158060 HAS SOUS 97099 HAS SOUPS 97099 WITH SCORE 97257.06
AT ITER 2686 NEW BEST:: SOT 588611 SOS 158132 HAS SOPS 158132 HAS SOUS 97019 HAS SOUPS 97019 WITH SCORE 97177.132
AT ITER 2697 NEW BEST:: SOT 588564 SOS 158036 HAS SOPS 158036 HAS SOUS 96924 HAS SOUPS 96924 WITH SCORE 97082.036
AT ITER 2719 NEW BEST:: SOT 588517 SOS 158152 HAS SOPS 158152 HAS SOUS 96877 HAS SOUPS 96877 WITH SCORE 97035.152
AT ITER 2720 NEW BEST:: SOT 588517 SOS 158116 HAS SOPS 158116 HAS SOUS 96877 HAS SOUPS 96877 WITH SCORE 97035.116
AT ITER 2774 NEW BEST:: SOT 588568 SOS 158166 HAS SOPS 158166 HAS SOUS 96854 HAS SOUPS 96854 WITH SCORE 97012.166
AT ITER 2781 NEW BEST:: SOT 588556 SOS 158154 HAS SOPS 158154 HAS SOUS 96842 HAS SOUPS 96842 WITH SCORE 97000.154
AT ITER 2782 NEW BEST:: SOT 588643 SOS 158328 HAS SOPS 158328 HAS SOUS 96818 HAS SOUPS 96818 WITH SCORE 96976.328
AT ITER 2793 NEW BEST:: SOT 588588 SOS 158706 HAS SOPS 158706 HAS SOUS 96797 HAS SOUPS 96797 WITH SCORE 96955.706
AT ITER 2798 NEW BEST:: SOT 588501 SOS 158619 HAS SOPS 158619 HAS SOUS 96688 HAS SOUPS 96688 WITH SCORE 96846.619
AT ITER 2815 NEW BEST:: SOT 588487 SOS 158591 HAS SOPS 158591 HAS SOUS 96674 HAS SOUPS 96674 WITH SCORE 96832.591
AT ITER 2823 NEW BEST:: SOT 588487 SOS 158456 HAS SOPS 158456 HAS SOUS 96674 HAS SOUPS 96674 WITH SCORE 96832.456
AT ITER 2841 NEW BEST:: SOT 588465 SOS 158580 HAS SOPS 158580 HAS SOUS 96669 HAS SOUPS 96669 WITH SCORE 96827.58
AT ITER 2844 NEW BEST:: SOT 588536 SOS 158722 HAS SOPS 158722 HAS SOUS 96666 HAS SOUPS 96666 WITH SCORE 96824.722
AT ITER 2864 NEW BEST:: SOT 588536 SOS 158691 HAS SOPS 158691 HAS SOUS 96666 HAS SOUPS 96666 WITH SCORE 96824.691
AT ITER 2866 NEW BEST:: SOT 588470 SOS 158544 HAS SOPS 158544 HAS SOUS 96549 HAS SOUPS 96549 WITH SCORE 96707.544
AT ITER 2888 NEW BEST:: SOT 588483 SOS 158516 HAS SOPS 158516 HAS SOUS 96521 HAS SOUPS 96521 WITH SCORE 96679.516
AT ITER 2941 NEW BEST:: SOT 588445 SOS 158526 HAS SOPS 158526 HAS SOUS 96462 HAS SOUPS 96462 WITH SCORE 96620.526
AT ITER 2955 NEW BEST:: SOT 588418 SOS 158505 HAS SOPS 158505 HAS SOUS 96402 HAS SOUPS 96402 WITH SCORE 96560.505
AT ITER 2960 NEW BEST:: SOT 588276 SOS 158221 HAS SOPS 158221 HAS SOUS 96142 HAS SOUPS 96142 WITH SCORE 96300.221
AT ITER 3000 NEW BEST:: SOT 588239 SOS 158184 HAS SOPS 158184 HAS SOUS 96141 HAS SOUPS 96141 WITH SCORE 96299.184
AT ITER 3040 NEW BEST:: SOT 588186 SOS 158170 HAS SOPS 158170 HAS SOUS 96098 HAS SOUPS 96098 WITH SCORE 96256.17
AT ITER 3056 NEW BEST:: SOT 588175 SOS 158158 HAS SOPS 158158 HAS SOUS 96078 HAS SOUPS 96078 WITH SCORE 96236.158
AT ITER 3059 NEW BEST:: SOT 588175 SOS 158091 HAS SOPS 158091 HAS SOUS 96052 HAS SOUPS 96052 WITH SCORE 96210.091
AT ITER 3080 NEW BEST:: SOT 588174 SOS 158090 HAS SOPS 158090 HAS SOUS 96051 HAS SOUPS 96051 WITH SCORE 96209.09
AT ITER 3084 NEW BEST:: SOT 588096 SOS 158138 HAS SOPS 158138 HAS SOUS 95982 HAS SOUPS 95982 WITH SCORE 96140.138
AT ITER 3092 NEW BEST:: SOT 588065 SOS 158196 HAS SOPS 158196 HAS SOUS 95966 HAS SOUPS 95966 WITH SCORE 96124.196
AT ITER 3094 NEW BEST:: SOT 588065 SOS 158152 HAS SOPS 158152 HAS SOUS 95937 HAS SOUPS 95937 WITH SCORE 96095.152
AT ITER 3100 NEW BEST:: SOT 588045 SOS 158220 HAS SOPS 158220 HAS SOUS 95927 HAS SOUPS 95927 WITH SCORE 96085.22
AT ITER 3131 NEW BEST:: SOT 588045 SOS 158208 HAS SOPS 158208 HAS SOUS 95915 HAS SOUPS 95915 WITH SCORE 96073.208
AT ITER 3140 NEW BEST:: SOT 588027 SOS 158144 HAS SOPS 158144 HAS SOUS 95899 HAS SOUPS 95899 WITH SCORE 96057.144
AT ITER 3144 NEW BEST:: SOT 588010 SOS 158109 HAS SOPS 158109 HAS SOUS 95839 HAS SOUPS 95839 WITH SCORE 95997.109
AT ITER 3242 NEW BEST:: SOT 588010 SOS 158102 HAS SOPS 158102 HAS SOUS 95832 HAS SOUPS 95832 WITH SCORE 95990.102
AT ITER 3269 NEW BEST:: SOT 588003 SOS 158046 HAS SOPS 158046 HAS SOUS 95818 HAS SOUPS 95818 WITH SCORE 95976.046
AT ITER 3271 NEW BEST:: SOT 587991 SOS 158022 HAS SOPS 158022 HAS SOUS 95781 HAS SOUPS 95781 WITH SCORE 95939.022
AT ITER 3304 NEW BEST:: SOT 588023 SOS 158442 HAS SOPS 158442 HAS SOUS 95746 HAS SOUPS 95746 WITH SCORE 95904.442
AT ITER 3307 NEW BEST:: SOT 587971 SOS 159261 HAS SOPS 159261 HAS SOUS 95690 HAS SOUPS 95690 WITH SCORE 95849.261
AT ITER 3337 NEW BEST:: SOT 587971 SOS 159261 HAS SOPS 159261 HAS SOUS 95658 HAS SOUPS 95658 WITH SCORE 95817.261
AT ITER 3370 NEW BEST:: SOT 587915 SOS 159233 HAS SOPS 159233 HAS SOUS 95602 HAS SOUPS 95602 WITH SCORE 95761.233
AT ITER 3391 NEW BEST:: SOT 587895 SOS 159193 HAS SOPS 159193 HAS SOUS 95582 HAS SOUPS 95582 WITH SCORE 95741.193
AT ITER 3397 NEW BEST:: SOT 587918 SOS 159239 HAS SOPS 159239 HAS SOUS 95578 HAS SOUPS 95578 WITH SCORE 95737.239
AT ITER 3435 NEW BEST:: SOT 587904 SOS 159211 HAS SOPS 159211 HAS SOUS 95564 HAS SOUPS 95564 WITH SCORE 95723.211
AT ITER 3443 NEW BEST:: SOT 587904 SOS 159190 HAS SOPS 159190 HAS SOUS 95548 HAS SOUPS 95548 WITH SCORE 95707.19
AT ITER 3466 NEW BEST:: SOT 587898 SOS 159172 HAS SOPS 159172 HAS SOUS 95536 HAS SOUPS 95536 WITH SCORE 95695.172
AT ITER 3481 NEW BEST:: SOT 587898 SOS 159088 HAS SOPS 159088 HAS SOUS 95452 HAS SOUPS 95452 WITH SCORE 95611.088
AT ITER 3494 NEW BEST:: SOT 587898 SOS 159079 HAS SOPS 159079 HAS SOUS 95443 HAS SOUPS 95443 WITH SCORE 95602.079
AT ITER 3554 NEW BEST:: SOT 587870 SOS 159023 HAS SOPS 159023 HAS SOUS 95387 HAS SOUPS 95387 WITH SCORE 95546.023
AT ITER 3560 NEW BEST:: SOT 587877 SOS 159030 HAS SOPS 159030 HAS SOUS 95315 HAS SOUPS 95315 WITH SCORE 95474.03
AT ITER 3564 NEW BEST:: SOT 587713 SOS 158904 HAS SOPS 158904 HAS SOUS 95174 HAS SOUPS 95174 WITH SCORE 95332.904
AT ITER 3573 NEW BEST:: SOT 587814 SOS 159068 HAS SOPS 159068 HAS SOUS 95131 HAS SOUPS 95131 WITH SCORE 95290.068
AT ITER 3583 NEW BEST:: SOT 587813 SOS 159066 HAS SOPS 159066 HAS SOUS 95129 HAS SOUPS 95129 WITH SCORE 95288.066
AT ITER 3617 NEW BEST:: SOT 587762 SOS 159069 HAS SOPS 159069 HAS SOUS 95089 HAS SOUPS 95089 WITH SCORE 95248.069
AT ITER 3676 NEW BEST:: SOT 587750 SOS 159045 HAS SOPS 159045 HAS SOUS 95065 HAS SOUPS 95065 WITH SCORE 95224.045
AT ITER 3699 NEW BEST:: SOT 587749 SOS 159043 HAS SOPS 159043 HAS SOUS 95063 HAS SOUPS 95063 WITH SCORE 95222.043
AT ITER 3730 NEW BEST:: SOT 587628 SOS 159636 HAS SOPS 159636 HAS SOUS 94903 HAS SOUPS 94903 WITH SCORE 95062.636
AT ITER 3740 NEW BEST:: SOT 587734 SOS 159848 HAS SOPS 159848 HAS SOUS 94862 HAS SOUPS 94862 WITH SCORE 95021.848
AT ITER 3760 NEW BEST:: SOT 587762 SOS 159624 HAS SOPS 159624 HAS SOUS 94818 HAS SOUPS 94818 WITH SCORE 94977.624
AT ITER 3762 NEW BEST:: SOT 587593 SOS 159389 HAS SOPS 159389 HAS SOUS 94480 HAS SOUPS 94480 WITH SCORE 94639.389
AT ITER 3775 NEW BEST:: SOT 587551 SOS 159305 HAS SOPS 159305 HAS SOUS 94396 HAS SOUPS 94396 WITH SCORE 94555.305
AT ITER 3778 NEW BEST:: SOT 587537 SOS 159277 HAS SOPS 159277 HAS SOUS 94368 HAS SOUPS 94368 WITH SCORE 94527.277
AT ITER 3788 NEW BEST:: SOT 587504 SOS 159211 HAS SOPS 159211 HAS SOUS 94302 HAS SOUPS 94302 WITH SCORE 94461.211
AT ITER 3797 NEW BEST:: SOT 587504 SOS 159202 HAS SOPS 159202 HAS SOUS 94302 HAS SOUPS 94302 WITH SCORE 94461.202
AT ITER 3813 NEW BEST:: SOT 587485 SOS 159164 HAS SOPS 159164 HAS SOUS 94264 HAS SOUPS 94264 WITH SCORE 94423.164
AT ITER 3824 NEW BEST:: SOT 587485 SOS 159092 HAS SOPS 159092 HAS SOUS 94192 HAS SOUPS 94192 WITH SCORE 94351.092
AT ITER 3828 NEW BEST:: SOT 587414 SOS 158950 HAS SOPS 158950 HAS SOUS 94121 HAS SOUPS 94121 WITH SCORE 94279.95
AT ITER 3829 NEW BEST:: SOT 587413 SOS 158948 HAS SOPS 158948 HAS SOUS 94120 HAS SOUPS 94120 WITH SCORE 94278.948
AT ITER 3847 NEW BEST:: SOT 587430 SOS 158853 HAS SOPS 158853 HAS SOUS 94025 HAS SOUPS 94025 WITH SCORE 94183.853
AT ITER 3852 NEW BEST:: SOT 587420 SOS 158843 HAS SOPS 158843 HAS SOUS 94015 HAS SOUPS 94015 WITH SCORE 94173.843
AT ITER 3864 NEW BEST:: SOT 587386 SOS 158728 HAS SOPS 158728 HAS SOUS 93994 HAS SOUPS 93994 WITH SCORE 94152.728
AT ITER 3894 NEW BEST:: SOT 587376 SOS 158718 HAS SOPS 158718 HAS SOUS 93973 HAS SOUPS 93973 WITH SCORE 94131.718
AT ITER 3901 NEW BEST:: SOT 587370 SOS 158755 HAS SOPS 158755 HAS SOUS 93622 HAS SOUPS 93622 WITH SCORE 93780.755
AT ITER 3923 NEW BEST:: SOT 587378 SOS 158659 HAS SOPS 158659 HAS SOUS 93601 HAS SOUPS 93601 WITH SCORE 93759.659
AT ITER 3935 NEW BEST:: SOT 587362 SOS 158627 HAS SOPS 158627 HAS SOUS 93569 HAS SOUPS 93569 WITH SCORE 93727.627
AT ITER 3944 NEW BEST:: SOT 587287 SOS 158924 HAS SOPS 158924 HAS SOUS 93541 HAS SOUPS 93541 WITH SCORE 93699.924
AT ITER 3951 NEW BEST:: SOT 587238 SOS 158826 HAS SOPS 158826 HAS SOUS 93443 HAS SOUPS 93443 WITH SCORE 93601.826
AT ITER 3962 NEW BEST:: SOT 587142 SOS 158868 HAS SOPS 158868 HAS SOUS 93363 HAS SOUPS 93363 WITH SCORE 93521.868
AT ITER 4019 NEW BEST:: SOT 587133 SOS 158855 HAS SOPS 158855 HAS SOUS 93350 HAS SOUPS 93350 WITH SCORE 93508.855
AT ITER 4051 NEW BEST:: SOT 587133 SOS 158768 HAS SOPS 158768 HAS SOUS 93341 HAS SOUPS 93341 WITH SCORE 93499.768
AT ITER 4060 NEW BEST:: SOT 587123 SOS 158773 HAS SOPS 158773 HAS SOUS 93336 HAS SOUPS 93336 WITH SCORE 93494.773
AT ITER 4083 NEW BEST:: SOT 587121 SOS 158769 HAS SOPS 158769 HAS SOUS 93332 HAS SOUPS 93332 WITH SCORE 93490.769
AT ITER 4091 NEW BEST:: SOT 587113 SOS 158766 HAS SOPS 158766 HAS SOUS 93316 HAS SOUPS 93316 WITH SCORE 93474.766
AT ITER 4099 NEW BEST:: SOT 587071 SOS 158737 HAS SOPS 158737 HAS SOUS 93295 HAS SOUPS 93295 WITH SCORE 93453.737
AT ITER 4105 NEW BEST:: SOT 587050 SOS 158590 HAS SOPS 158590 HAS SOUS 93253 HAS SOUPS 93253 WITH SCORE 93411.59
AT ITER 4129 NEW BEST:: SOT 587015 SOS 158281 HAS SOPS 158281 HAS SOUS 93170 HAS SOUPS 93170 WITH SCORE 93328.281
AT ITER 4139 NEW BEST:: SOT 587011 SOS 158273 HAS SOPS 158273 HAS SOUS 93162 HAS SOUPS 93162 WITH SCORE 93320.273
AT ITER 4174 NEW BEST:: SOT 587067 SOS 158211 HAS SOPS 158211 HAS SOUS 93100 HAS SOUPS 93100 WITH SCORE 93258.211
AT ITER 4184 NEW BEST:: SOT 587066 SOS 158209 HAS SOPS 158209 HAS SOUS 93098 HAS SOUPS 93098 WITH SCORE 93256.209
AT ITER 4272 NEW BEST:: SOT 587064 SOS 158207 HAS SOPS 158207 HAS SOUS 93095 HAS SOUPS 93095 WITH SCORE 93253.207
AT ITER 4300 NEW BEST:: SOT 587061 SOS 158201 HAS SOPS 158201 HAS SOUS 93032 HAS SOUPS 93032 WITH SCORE 93190.201
AT ITER 4313 NEW BEST:: SOT 587049 SOS 158348 HAS SOPS 158348 HAS SOUS 92966 HAS SOUPS 92966 WITH SCORE 93124.348
AT ITER 4319 NEW BEST:: SOT 587065 SOS 158352 HAS SOPS 158352 HAS SOUS 92954 HAS SOUPS 92954 WITH SCORE 93112.352
AT ITER 4330 NEW BEST:: SOT 587067 SOS 158356 HAS SOPS 158356 HAS SOUS 92889 HAS SOUPS 92889 WITH SCORE 93047.356
AT ITER 4363 NEW BEST:: SOT 587061 SOS 158350 HAS SOPS 158350 HAS SOUS 92883 HAS SOUPS 92883 WITH SCORE 93041.35
AT ITER 4364 NEW BEST:: SOT 587061 SOS 158350 HAS SOPS 158350 HAS SOUS 92882 HAS SOUPS 92882 WITH SCORE 93040.35
AT ITER 4383 NEW BEST:: SOT 587060 SOS 158346 HAS SOPS 158346 HAS SOUS 92878 HAS SOUPS 92878 WITH SCORE 93036.346
AT ITER 4396 NEW BEST:: SOT 587036 SOS 158298 HAS SOPS 158298 HAS SOUS 92806 HAS SOUPS 92806 WITH SCORE 92964.298
AT ITER 4401 NEW BEST:: SOT 587001 SOS 158228 HAS SOPS 158228 HAS SOUS 92736 HAS SOUPS 92736 WITH SCORE 92894.228
AT ITER 4412 NEW BEST:: SOT 587086 SOS 158308 HAS SOPS 158308 HAS SOUS 92726 HAS SOUPS 92726 WITH SCORE 92884.308
AT ITER 4428 NEW BEST:: SOT 587086 SOS 158319 HAS SOPS 158319 HAS SOUS 92715 HAS SOUPS 92715 WITH SCORE 92873.319
AT ITER 4432 NEW BEST:: SOT 587086 SOS 158427 HAS SOPS 158427 HAS SOUS 92679 HAS SOUPS 92679 WITH SCORE 92837.427
AT ITER 4441 NEW BEST:: SOT 587018 SOS 158291 HAS SOPS 158291 HAS SOUS 92552 HAS SOUPS 92552 WITH SCORE 92710.291
AT ITER 4464 NEW BEST:: SOT 586989 SOS 158233 HAS SOPS 158233 HAS SOUS 92523 HAS SOUPS 92523 WITH SCORE 92681.233
AT ITER 4473 NEW BEST:: SOT 587038 SOS 158170 HAS SOPS 158170 HAS SOUS 92499 HAS SOUPS 92499 WITH SCORE 92657.17
AT ITER 4475 NEW BEST:: SOT 587038 SOS 158170 HAS SOPS 158170 HAS SOUS 92494 HAS SOUPS 92494 WITH SCORE 92652.17
AT ITER 4505 NEW BEST:: SOT 587013 SOS 158020 HAS SOPS 158020 HAS SOUS 92444 HAS SOUPS 92444 WITH SCORE 92602.02
AT ITER 4511 NEW BEST:: SOT 586990 SOS 157997 HAS SOPS 157997 HAS SOUS 92421 HAS SOUPS 92421 WITH SCORE 92578.997
AT ITER 4516 NEW BEST:: SOT 586964 SOS 158011 HAS SOPS 158011 HAS SOUS 92410 HAS SOUPS 92410 WITH SCORE 92568.011
AT ITER 4531 NEW BEST:: SOT 586964 SOS 157944 HAS SOPS 157944 HAS SOUS 92276 HAS SOUPS 92276 WITH SCORE 92433.944
AT ITER 4552 NEW BEST:: SOT 587044 SOS 158484 HAS SOPS 158484 HAS SOUS 92246 HAS SOUPS 92246 WITH SCORE 92404.484
AT ITER 4588 NEW BEST:: SOT 586968 SOS 158332 HAS SOPS 158332 HAS SOUS 92180 HAS SOUPS 92180 WITH SCORE 92338.332
AT ITER 4591 NEW BEST:: SOT 586950 SOS 158314 HAS SOPS 158314 HAS SOUS 92126 HAS SOUPS 92126 WITH SCORE 92284.314
AT ITER 4601 NEW BEST:: SOT 586946 SOS 158302 HAS SOPS 158302 HAS SOUS 92120 HAS SOUPS 92120 WITH SCORE 92278.302
AT ITER 4612 NEW BEST:: SOT 586938 SOS 158286 HAS SOPS 158286 HAS SOUS 92104 HAS SOUPS 92104 WITH SCORE 92262.286
AT ITER 4613 NEW BEST:: SOT 586958 SOS 158278 HAS SOPS 158278 HAS SOUS 92002 HAS SOUPS 92002 WITH SCORE 92160.278
AT ITER 4659 NEW BEST:: SOT 586957 SOS 158276 HAS SOPS 158276 HAS SOUS 92000 HAS SOUPS 92000 WITH SCORE 92158.276
AT ITER 4703 NEW BEST:: SOT 587052 SOS 158181 HAS SOPS 158181 HAS SOUS 92000 HAS SOUPS 92000 WITH SCORE 92158.181
AT ITER 4772 NEW BEST:: SOT 586913 SOS 158233 HAS SOPS 158233 HAS SOUS 91869 HAS SOUPS 91869 WITH SCORE 92027.233
AT ITER 4773 NEW BEST:: SOT 586830 SOS 158155 HAS SOPS 158155 HAS SOUS 91616 HAS SOUPS 91616 WITH SCORE 91774.155
AT ITER 4784 NEW BEST:: SOT 586829 SOS 158153 HAS SOPS 158153 HAS SOUS 91614 HAS SOUPS 91614 WITH SCORE 91772.153
AT ITER 4800 NEW BEST:: SOT 586829 SOS 158153 HAS SOPS 158153 HAS SOUS 91601 HAS SOUPS 91601 WITH SCORE 91759.153
AT ITER 4813 NEW BEST:: SOT 586828 SOS 158152 HAS SOPS 158152 HAS SOUS 91600 HAS SOUPS 91600 WITH SCORE 91758.152
AT ITER 4825 NEW BEST:: SOT 586818 SOS 158132 HAS SOPS 158132 HAS SOUS 91581 HAS SOUPS 91581 WITH SCORE 91739.132
AT ITER 4835 NEW BEST:: SOT 586753 SOS 157680 HAS SOPS 157680 HAS SOUS 91531 HAS SOUPS 91531 WITH SCORE 91688.68
AT ITER 4836 NEW BEST:: SOT 586757 SOS 157684 HAS SOPS 157684 HAS SOUS 91525 HAS SOUPS 91525 WITH SCORE 91682.684
AT ITER 4841 NEW BEST:: SOT 586649 SOS 157468 HAS SOPS 157468 HAS SOUS 91473 HAS SOUPS 91473 WITH SCORE 91630.468
AT ITER 4857 NEW BEST:: SOT 586649 SOS 157466 HAS SOPS 157466 HAS SOUS 91471 HAS SOUPS 91471 WITH SCORE 91628.466
AT ITER 4879 NEW BEST:: SOT 586671 SOS 157874 HAS SOPS 157874 HAS SOUS 91424 HAS SOUPS 91424 WITH SCORE 91581.874
AT ITER 4958 NEW BEST:: SOT 586671 SOS 157874 HAS SOPS 157874 HAS SOUS 91354 HAS SOUPS 91354 WITH SCORE 91511.874
AT ITER 4972 NEW BEST:: SOT 586681 SOS 157884 HAS SOPS 157884 HAS SOUS 91347 HAS SOUPS 91347 WITH SCORE 91504.884
AT ITER 4989 NEW BEST:: SOT 586672 SOS 157875 HAS SOPS 157875 HAS SOUS 91298 HAS SOUPS 91298 WITH SCORE 91455.875
AT ITER 4995 NEW BEST:: SOT 586674 SOS 157783 HAS SOPS 157783 HAS SOUS 91278 HAS SOUPS 91278 WITH SCORE 91435.783
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-3b-CTLFireability-00 (EF( (! (AF( ( ((potential((tk(P334)>=1)))) | ((potential((tk(P849)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-01 ( ( (! ( (! ((potential((tk(P36)>=1))))) | (! (! ((potential((tk(P677)>=1)))))) )) & ( ( (! ((potential((tk(P844)>=1) & (tk(P340)>=1) & (tk(P308)>=1) & (tk(P365)>=1) & (tk(P856)>=1))))) & ( (! ((potential((tk(P245)>=1))))) & ( ((potential((tk(P844)>=1) & (tk(P340)>=1) & (tk(P308)>=1) & (tk(P365)>=1) & (tk(P856)>=1)))) & ((potential((tk(P595)>=1)))) ) ) ) & ( ( ((potential((tk(P822)>=1) & (tk(P317)>=1) & (tk(P283)>=1) & (tk(P348)>=1) & (tk(P45)>=1) & (tk(P11)>=1) & (tk(P76)>=1) & (tk(P620)>=1) & (tk(P566)>=1) & (tk(P585)>=1) & (tk(P857)>=1)))) | ( ((potential((tk(P8)>=1)))) & ((potential((tk(P492)>=1)))) ) ) & ((potential((tk(P376)>=1)))) ) ) ) | ( (! (EU( ((potential((tk(P300)>=1)))) , ((potential((tk(P783)>=1)))) ))) & ( (! (AF( ((potential((tk(P229)>=1))))))) | ((potential((tk(P46)>=1)))) ) ) )
PROPERTY: CloudDeployment-PT-3b-CTLFireability-02 ( ( ( (! ( ( ((potential((tk(P822)>=1) & (tk(P317)>=1) & (tk(P283)>=1) & (tk(P348)>=1) & (tk(P41)>=1) & (tk(P22)>=1) & (tk(P76)>=1) & (tk(P620)>=1) & (tk(P555)>=1) & (tk(P585)>=1) & (tk(P857)>=1)))) & ((potential((tk(P822)>=1) & (tk(P317)>=1) & (tk(P283)>=1) & (tk(P348)>=1) & (tk(P45)>=1) & (tk(P11)>=1) & (tk(P76)>=1) & (tk(P620)>=1) & (tk(P555)>=1) & (tk(P585)>=1) & (tk(P857)>=1)))) ) | ( ((potential((tk(P173)>=1)))) & ((potential((tk(P446)>=1)))) ) )) & (! (AF( ((potential((tk(P822)>=1) & (tk(P317)>=1) & (tk(P283)>=1) & (tk(P348)>=1) & (tk(P45)>=1) & (tk(P11)>=1) & (tk(P76)>=1) & (tk(P620)>=1) & (tk(P555)>=1) & (tk(P589)>=1) & (tk(P857)>=1))))))) ) | ( (AG( (! ((potential((tk(P513)>=1))))))) | ( ((potential((tk(P217)>=1)))) & (EG( ((potential((tk(P822)>=1) & (tk(P317)>=1) & (tk(P294)>=1) & (tk(P348)>=1) & (tk(P41)>=1) & (tk(P22)>=1) & (tk(P76)>=1) & (tk(P620)>=1) & (tk(P555)>=1) & (tk(P585)>=1) & (tk(P857)>=1)))))) ) ) ) | (EG( (EU( ((potential((tk(P822)>=1) & (tk(P313)>=1) & (tk(P283)>=1) & (tk(P348)>=1) & (tk(P45)>=1) & (tk(P11)>=1) & (tk(P76)>=1) & (tk(P620)>=1) & (tk(P566)>=1) & (tk(P589)>=1) & (tk(P857)>=1)))) , ((potential((tk(P844)>=1) & (tk(P612)>=1) & (tk(P580)>=1) & (tk(P741)>=1) & (tk(P856)>=1)))) )))) )
PROPERTY: CloudDeployment-PT-3b-CTLFireability-03 (! (AU( (EF( ((potential((tk(P543)>=1) & (tk(P282)>=1) & (tk(P312)>=1) & (tk(P850)>=1)))))) , ((potential((tk(P422)>=1)))) )))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-04 (AF( (AX( (EG( ((potential((tk(P108)>=1))))))))))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-05 (AF( (EF( (AG( ((potential((tk(P844)>=1) & (tk(P340)>=1) & (tk(P308)>=1) & (tk(P469)>=1) & (tk(P856)>=1))))))))))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-06 (EX( ( (AF( ( ((potential((tk(P32)>=1)))) | ((potential((tk(P844)>=1) & (tk(P612)>=1) & (tk(P580)>=1) & (tk(P784)>=1) & (tk(P856)>=1)))) ))) | (AG( ((potential((tk(P276)>=1)))))) )))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-07 (AF( ( ( (! (! ((potential((tk(P179)>=1)))))) & (AX( ((potential((tk(P495)>=1)))))) ) & (! ( (! ((potential((tk(P144)>=1))))) & (! ((potential((tk(P766)>=1))))) )) )))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-08 (! ( ( (AF( ((potential((tk(P132)>=1)))))) | ( (! ((potential((tk(P691)>=1))))) | (EF( ((potential((tk(P308)>=1) & (tk(P395)>=1)))))) ) ) & ( (AG( (! ((potential((tk(P719)>=1))))))) | (AF( ( ((potential((tk(P822)>=1) & (tk(P317)>=1) & (tk(P283)>=1) & (tk(P348)>=1) & (tk(P45)>=1) & (tk(P11)>=1) & (tk(P76)>=1) & (tk(P620)>=1) & (tk(P566)>=1) & (tk(P589)>=1) & (tk(P857)>=1)))) | ((potential((tk(P342)>=1)))) ))) ) ))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-09 (! (AU( (! ((potential((tk(P475)>=1))))) , (EG( ((potential((tk(P99)>=1)))))) )))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-10 (! (AF( (! ( (! ((potential((tk(P844)>=1) & (tk(P612)>=1) & (tk(P580)>=1) & (tk(P751)>=1) & (tk(P856)>=1))))) | ( ((potential((tk(P844)>=1) & (tk(P612)>=1) & (tk(P580)>=1) & (tk(P796)>=1) & (tk(P856)>=1)))) | ((potential((tk(P209)>=1)))) ) )))))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-11 ( ( (AG( (! ( ((potential((tk(P491)>=1)))) | ((potential((tk(P844)>=1) & (tk(P68)>=1) & (tk(P36)>=1) & (tk(P177)>=1) & (tk(P856)>=1)))) )))) & (! (AF( ( ((potential((tk(P618)>=1)))) | ((potential((tk(P717)>=1)))) )))) ) & (AU( (AF( ((potential((tk(P775)>=1)))))) , (AF( ((potential((tk(P402)>=1)))))) )) )
PROPERTY: CloudDeployment-PT-3b-CTLFireability-12 (AF( ((potential((tk(P464)>=1))))))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-13 (AF( ( (AX( (! ((potential((tk(P647)>=1))))))) & ((potential((tk(P43)>=1)))) )))
PROPERTY: CloudDeployment-PT-3b-CTLFireability-14 ( (EX( ((potential((tk(P557)>=1)))))) | ( ( (EF( ( ((potential((tk(P684)>=1)))) | ((potential((tk(P15)>=1)))) ))) | (EF( (! ((potential((tk(P327)>=1) & (tk(P580)>=1))))))) ) & (! (AF( ( ((potential((tk(P701)>=1)))) & ((potential((tk(P720)>=1)))) )))) ) )
PROPERTY: CloudDeployment-PT-3b-CTLFireability-15 ( (AU( (EX( ((potential((tk(P247)>=1)))))) , (AF( ((potential((tk(P329)>=1)))))) )) & (! ((potential((tk(P848)>=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="CloudDeployment-PT-3b"
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 CloudDeployment-PT-3b, 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 r033-smll-158901925900292"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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