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.r003-smll-158897508600476.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 AutoFlight-PT-12b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600476
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.4K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 266K 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 AutoFlight-PT-12b-CTLFireability-00
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-01
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-02
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-03
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-04
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-05
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-06
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-07
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-08
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-09
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-10
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-11
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-12
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-13
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-14
FORMULA_NAME AutoFlight-PT-12b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589169125680

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 12b
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: 1126 places, 1124 transitions, 2618 arcs.
AT ITER 0 NEW BEST:: SOT 683316 SOS 108690 HAS SOPS 108690 HAS SOUS 98757 HAS SOUPS 98757 WITH SCORE 98865.69
AT ITER 13 NEW BEST:: SOT 683316 SOS 108634 HAS SOPS 108634 HAS SOUS 98701 HAS SOUPS 98701 WITH SCORE 98809.634
AT ITER 22 NEW BEST:: SOT 683316 SOS 108624 HAS SOPS 108624 HAS SOUS 98691 HAS SOUPS 98691 WITH SCORE 98799.624
AT ITER 27 NEW BEST:: SOT 683347 SOS 108550 HAS SOPS 108550 HAS SOUS 98685 HAS SOUPS 98685 WITH SCORE 98793.55
AT ITER 70 NEW BEST:: SOT 683347 SOS 108484 HAS SOPS 108484 HAS SOUS 98685 HAS SOUPS 98685 WITH SCORE 98793.484
AT ITER 72 NEW BEST:: SOT 683347 SOS 108397 HAS SOPS 108397 HAS SOUS 98602 HAS SOUPS 98602 WITH SCORE 98710.397
AT ITER 104 NEW BEST:: SOT 683347 SOS 108360 HAS SOPS 108360 HAS SOUS 98565 HAS SOUPS 98565 WITH SCORE 98673.36
AT ITER 112 NEW BEST:: SOT 683371 SOS 108366 HAS SOPS 108366 HAS SOUS 98528 HAS SOUPS 98528 WITH SCORE 98636.366
AT ITER 122 NEW BEST:: SOT 683343 SOS 108333 HAS SOPS 108333 HAS SOUS 98498 HAS SOUPS 98498 WITH SCORE 98606.333
AT ITER 124 NEW BEST:: SOT 682939 SOS 108174 HAS SOPS 108174 HAS SOUS 98131 HAS SOUPS 98131 WITH SCORE 98239.174
AT ITER 172 NEW BEST:: SOT 682939 SOS 108161 HAS SOPS 108161 HAS SOUS 98118 HAS SOUPS 98118 WITH SCORE 98226.161
AT ITER 175 NEW BEST:: SOT 682752 SOS 108190 HAS SOPS 108190 HAS SOUS 98044 HAS SOUPS 98044 WITH SCORE 98152.19
AT ITER 178 NEW BEST:: SOT 682719 SOS 108124 HAS SOPS 108124 HAS SOUS 97978 HAS SOUPS 97978 WITH SCORE 98086.124
AT ITER 182 NEW BEST:: SOT 682719 SOS 108123 HAS SOPS 108123 HAS SOUS 97977 HAS SOUPS 97977 WITH SCORE 98085.123
AT ITER 193 NEW BEST:: SOT 682700 SOS 108104 HAS SOPS 108104 HAS SOUS 97958 HAS SOUPS 97958 WITH SCORE 98066.104
AT ITER 220 NEW BEST:: SOT 682700 SOS 108104 HAS SOPS 108104 HAS SOUS 97916 HAS SOUPS 97916 WITH SCORE 98024.104
AT ITER 224 NEW BEST:: SOT 682700 SOS 108085 HAS SOPS 108085 HAS SOUS 97897 HAS SOUPS 97897 WITH SCORE 98005.085
AT ITER 248 NEW BEST:: SOT 682760 SOS 108160 HAS SOPS 108160 HAS SOUS 97862 HAS SOUPS 97862 WITH SCORE 97970.16
AT ITER 281 NEW BEST:: SOT 682617 SOS 108146 HAS SOPS 108146 HAS SOUS 97594 HAS SOUPS 97594 WITH SCORE 97702.146
AT ITER 296 NEW BEST:: SOT 682503 SOS 108044 HAS SOPS 108044 HAS SOUS 97483 HAS SOUPS 97483 WITH SCORE 97591.044
AT ITER 331 NEW BEST:: SOT 682484 SOS 108032 HAS SOPS 108032 HAS SOUS 97483 HAS SOUPS 97483 WITH SCORE 97591.032
AT ITER 333 NEW BEST:: SOT 682484 SOS 108004 HAS SOPS 108004 HAS SOUS 97455 HAS SOUPS 97455 WITH SCORE 97563.004
AT ITER 443 NEW BEST:: SOT 682426 SOS 107942 HAS SOPS 107942 HAS SOUS 97393 HAS SOUPS 97393 WITH SCORE 97500.942
AT ITER 447 NEW BEST:: SOT 682426 SOS 108042 HAS SOPS 108042 HAS SOUS 97392 HAS SOUPS 97392 WITH SCORE 97500.042
AT ITER 449 NEW BEST:: SOT 682392 SOS 107957 HAS SOPS 107957 HAS SOUS 97341 HAS SOUPS 97341 WITH SCORE 97448.957
AT ITER 463 NEW BEST:: SOT 682392 SOS 107910 HAS SOPS 107910 HAS SOUS 97341 HAS SOUPS 97341 WITH SCORE 97448.91
AT ITER 473 NEW BEST:: SOT 682372 SOS 107870 HAS SOPS 107870 HAS SOUS 97301 HAS SOUPS 97301 WITH SCORE 97408.87
AT ITER 475 NEW BEST:: SOT 682349 SOS 107847 HAS SOPS 107847 HAS SOUS 97278 HAS SOUPS 97278 WITH SCORE 97385.847
AT ITER 478 NEW BEST:: SOT 682310 SOS 107769 HAS SOPS 107769 HAS SOUS 97235 HAS SOUPS 97235 WITH SCORE 97342.769
AT ITER 491 NEW BEST:: SOT 682303 SOS 107768 HAS SOPS 107768 HAS SOUS 97234 HAS SOUPS 97234 WITH SCORE 97341.768
AT ITER 496 NEW BEST:: SOT 682303 SOS 107702 HAS SOPS 107702 HAS SOUS 97234 HAS SOUPS 97234 WITH SCORE 97341.702
AT ITER 517 NEW BEST:: SOT 682199 SOS 107598 HAS SOPS 107598 HAS SOUS 97026 HAS SOUPS 97026 WITH SCORE 97133.598
AT ITER 524 NEW BEST:: SOT 682199 SOS 107554 HAS SOPS 107554 HAS SOUS 96982 HAS SOUPS 96982 WITH SCORE 97089.554
AT ITER 534 NEW BEST:: SOT 682201 SOS 107513 HAS SOPS 107513 HAS SOUS 96941 HAS SOUPS 96941 WITH SCORE 97048.513
AT ITER 541 NEW BEST:: SOT 682079 SOS 107213 HAS SOPS 107213 HAS SOUS 96834 HAS SOUPS 96834 WITH SCORE 96941.213
AT ITER 593 NEW BEST:: SOT 682079 SOS 107208 HAS SOPS 107208 HAS SOUS 96829 HAS SOUPS 96829 WITH SCORE 96936.208
AT ITER 597 NEW BEST:: SOT 682013 SOS 107142 HAS SOPS 107142 HAS SOUS 96762 HAS SOUPS 96762 WITH SCORE 96869.142
AT ITER 627 NEW BEST:: SOT 681963 SOS 107092 HAS SOPS 107092 HAS SOUS 96712 HAS SOUPS 96712 WITH SCORE 96819.092
AT ITER 630 NEW BEST:: SOT 681932 SOS 107075 HAS SOPS 107075 HAS SOUS 96695 HAS SOUPS 96695 WITH SCORE 96802.075
AT ITER 632 NEW BEST:: SOT 681751 SOS 107077 HAS SOPS 107077 HAS SOUS 96423 HAS SOUPS 96423 WITH SCORE 96530.077
AT ITER 650 NEW BEST:: SOT 681751 SOS 107076 HAS SOPS 107076 HAS SOUS 96422 HAS SOUPS 96422 WITH SCORE 96529.076
AT ITER 677 NEW BEST:: SOT 681797 SOS 107088 HAS SOPS 107088 HAS SOUS 96365 HAS SOUPS 96365 WITH SCORE 96472.088
AT ITER 684 NEW BEST:: SOT 681797 SOS 107050 HAS SOPS 107050 HAS SOUS 96327 HAS SOUPS 96327 WITH SCORE 96434.05
AT ITER 711 NEW BEST:: SOT 681779 SOS 106906 HAS SOPS 106906 HAS SOUS 96291 HAS SOUPS 96291 WITH SCORE 96397.906
AT ITER 726 NEW BEST:: SOT 681756 SOS 106860 HAS SOPS 106860 HAS SOUS 96245 HAS SOUPS 96245 WITH SCORE 96351.86
AT ITER 745 NEW BEST:: SOT 681680 SOS 106708 HAS SOPS 106708 HAS SOUS 96093 HAS SOUPS 96093 WITH SCORE 96199.708
AT ITER 757 NEW BEST:: SOT 681635 SOS 106696 HAS SOPS 106696 HAS SOUS 96081 HAS SOUPS 96081 WITH SCORE 96187.696
AT ITER 759 NEW BEST:: SOT 681635 SOS 106695 HAS SOPS 106695 HAS SOUS 96080 HAS SOUPS 96080 WITH SCORE 96186.695
AT ITER 775 NEW BEST:: SOT 681570 SOS 106709 HAS SOPS 106709 HAS SOUS 96015 HAS SOUPS 96015 WITH SCORE 96121.709
AT ITER 777 NEW BEST:: SOT 681562 SOS 106706 HAS SOPS 106706 HAS SOUS 96012 HAS SOUPS 96012 WITH SCORE 96118.706
AT ITER 778 NEW BEST:: SOT 681626 SOS 106834 HAS SOPS 106834 HAS SOUS 95978 HAS SOUPS 95978 WITH SCORE 96084.834
AT ITER 779 NEW BEST:: SOT 681574 SOS 106823 HAS SOPS 106823 HAS SOUS 95957 HAS SOUPS 95957 WITH SCORE 96063.823
AT ITER 815 NEW BEST:: SOT 681574 SOS 106823 HAS SOPS 106823 HAS SOUS 95956 HAS SOUPS 95956 WITH SCORE 96062.823
AT ITER 829 NEW BEST:: SOT 681574 SOS 106822 HAS SOPS 106822 HAS SOUS 95955 HAS SOUPS 95955 WITH SCORE 96061.822
AT ITER 848 NEW BEST:: SOT 681553 SOS 106769 HAS SOPS 106769 HAS SOUS 95902 HAS SOUPS 95902 WITH SCORE 96008.769
AT ITER 851 NEW BEST:: SOT 681518 SOS 106562 HAS SOPS 106562 HAS SOUS 95764 HAS SOUPS 95764 WITH SCORE 95870.562
AT ITER 863 NEW BEST:: SOT 681581 SOS 106385 HAS SOPS 106385 HAS SOUS 95726 HAS SOUPS 95726 WITH SCORE 95832.385
AT ITER 879 NEW BEST:: SOT 681565 SOS 106353 HAS SOPS 106353 HAS SOUS 95694 HAS SOUPS 95694 WITH SCORE 95800.353
AT ITER 893 NEW BEST:: SOT 681598 SOS 106419 HAS SOPS 106419 HAS SOUS 95565 HAS SOUPS 95565 WITH SCORE 95671.419
AT ITER 894 NEW BEST:: SOT 681592 SOS 106407 HAS SOPS 106407 HAS SOUS 95556 HAS SOUPS 95556 WITH SCORE 95662.407
AT ITER 915 NEW BEST:: SOT 681682 SOS 106534 HAS SOPS 106534 HAS SOUS 95537 HAS SOUPS 95537 WITH SCORE 95643.534
AT ITER 959 NEW BEST:: SOT 681689 SOS 106548 HAS SOPS 106548 HAS SOUS 95470 HAS SOUPS 95470 WITH SCORE 95576.548
AT ITER 968 NEW BEST:: SOT 681689 SOS 106513 HAS SOPS 106513 HAS SOUS 95435 HAS SOUPS 95435 WITH SCORE 95541.513
AT ITER 976 NEW BEST:: SOT 681730 SOS 106501 HAS SOPS 106501 HAS SOUS 95423 HAS SOUPS 95423 WITH SCORE 95529.501
AT ITER 1045 NEW BEST:: SOT 681681 SOS 106452 HAS SOPS 106452 HAS SOUS 95374 HAS SOUPS 95374 WITH SCORE 95480.452
AT ITER 1050 NEW BEST:: SOT 681423 SOS 106156 HAS SOPS 106156 HAS SOUS 95006 HAS SOUPS 95006 WITH SCORE 95112.156
AT ITER 1052 NEW BEST:: SOT 681423 SOS 106112 HAS SOPS 106112 HAS SOUS 94962 HAS SOUPS 94962 WITH SCORE 95068.112
AT ITER 1079 NEW BEST:: SOT 681422 SOS 106111 HAS SOPS 106111 HAS SOUS 94961 HAS SOUPS 94961 WITH SCORE 95067.111
AT ITER 1103 NEW BEST:: SOT 681410 SOS 106087 HAS SOPS 106087 HAS SOUS 94872 HAS SOUPS 94872 WITH SCORE 94978.087
AT ITER 1114 NEW BEST:: SOT 681386 SOS 106071 HAS SOPS 106071 HAS SOUS 94856 HAS SOUPS 94856 WITH SCORE 94962.071
AT ITER 1130 NEW BEST:: SOT 681312 SOS 105849 HAS SOPS 105849 HAS SOUS 94782 HAS SOUPS 94782 WITH SCORE 94887.849
AT ITER 1156 NEW BEST:: SOT 681308 SOS 105837 HAS SOPS 105837 HAS SOUS 94770 HAS SOUPS 94770 WITH SCORE 94875.837
AT ITER 1160 NEW BEST:: SOT 681293 SOS 105807 HAS SOPS 105807 HAS SOUS 94740 HAS SOUPS 94740 WITH SCORE 94845.807
AT ITER 1171 NEW BEST:: SOT 681229 SOS 105679 HAS SOPS 105679 HAS SOUS 94608 HAS SOUPS 94608 WITH SCORE 94713.679
AT ITER 1183 NEW BEST:: SOT 681229 SOS 105670 HAS SOPS 105670 HAS SOUS 94608 HAS SOUPS 94608 WITH SCORE 94713.67
AT ITER 1194 NEW BEST:: SOT 681132 SOS 105690 HAS SOPS 105690 HAS SOUS 94511 HAS SOUPS 94511 WITH SCORE 94616.69
AT ITER 1205 NEW BEST:: SOT 681134 SOS 105694 HAS SOPS 105694 HAS SOUS 94495 HAS SOUPS 94495 WITH SCORE 94600.694
AT ITER 1208 NEW BEST:: SOT 681134 SOS 105671 HAS SOPS 105671 HAS SOUS 94495 HAS SOUPS 94495 WITH SCORE 94600.671
AT ITER 1225 NEW BEST:: SOT 681126 SOS 105655 HAS SOPS 105655 HAS SOUS 94486 HAS SOUPS 94486 WITH SCORE 94591.655
AT ITER 1252 NEW BEST:: SOT 681126 SOS 105654 HAS SOPS 105654 HAS SOUS 94485 HAS SOUPS 94485 WITH SCORE 94590.654
AT ITER 1257 NEW BEST:: SOT 681120 SOS 105559 HAS SOPS 105559 HAS SOUS 94443 HAS SOUPS 94443 WITH SCORE 94548.559
AT ITER 1269 NEW BEST:: SOT 681150 SOS 105541 HAS SOPS 105541 HAS SOUS 94425 HAS SOUPS 94425 WITH SCORE 94530.541
AT ITER 1303 NEW BEST:: SOT 681109 SOS 105499 HAS SOPS 105499 HAS SOUS 94383 HAS SOUPS 94383 WITH SCORE 94488.499
AT ITER 1334 NEW BEST:: SOT 681110 SOS 105498 HAS SOPS 105498 HAS SOUS 94382 HAS SOUPS 94382 WITH SCORE 94487.498
AT ITER 1343 NEW BEST:: SOT 681110 SOS 105498 HAS SOPS 105498 HAS SOUS 94325 HAS SOUPS 94325 WITH SCORE 94430.498
AT ITER 1370 NEW BEST:: SOT 681086 SOS 105450 HAS SOPS 105450 HAS SOUS 94325 HAS SOUPS 94325 WITH SCORE 94430.45
AT ITER 1391 NEW BEST:: SOT 681086 SOS 105450 HAS SOPS 105450 HAS SOUS 94286 HAS SOUPS 94286 WITH SCORE 94391.45
AT ITER 1410 NEW BEST:: SOT 681068 SOS 105414 HAS SOPS 105414 HAS SOUS 94250 HAS SOUPS 94250 WITH SCORE 94355.414
AT ITER 1417 NEW BEST:: SOT 681009 SOS 105193 HAS SOPS 105193 HAS SOUS 94190 HAS SOUPS 94190 WITH SCORE 94295.193
AT ITER 1461 NEW BEST:: SOT 680955 SOS 105065 HAS SOPS 105065 HAS SOUS 94076 HAS SOUPS 94076 WITH SCORE 94181.065
AT ITER 1473 NEW BEST:: SOT 680955 SOS 105036 HAS SOPS 105036 HAS SOUS 94047 HAS SOUPS 94047 WITH SCORE 94152.036
AT ITER 1511 NEW BEST:: SOT 680873 SOS 104872 HAS SOPS 104872 HAS SOUS 93814 HAS SOUPS 93814 WITH SCORE 93918.872
AT ITER 1526 NEW BEST:: SOT 680872 SOS 104807 HAS SOPS 104807 HAS SOUS 93749 HAS SOUPS 93749 WITH SCORE 93853.807
AT ITER 1566 NEW BEST:: SOT 680855 SOS 104735 HAS SOPS 104735 HAS SOUS 93656 HAS SOUPS 93656 WITH SCORE 93760.735
AT ITER 1583 NEW BEST:: SOT 680854 SOS 104733 HAS SOPS 104733 HAS SOUS 93654 HAS SOUPS 93654 WITH SCORE 93758.733
AT ITER 1612 NEW BEST:: SOT 680854 SOS 104727 HAS SOPS 104727 HAS SOUS 93654 HAS SOUPS 93654 WITH SCORE 93758.727
AT ITER 1622 NEW BEST:: SOT 680734 SOS 104621 HAS SOPS 104621 HAS SOUS 93525 HAS SOUPS 93525 WITH SCORE 93629.621
AT ITER 1628 NEW BEST:: SOT 680702 SOS 104557 HAS SOPS 104557 HAS SOUS 93500 HAS SOUPS 93500 WITH SCORE 93604.557
AT ITER 1636 NEW BEST:: SOT 680784 SOS 104380 HAS SOPS 104380 HAS SOUS 93484 HAS SOUPS 93484 WITH SCORE 93588.38
AT ITER 1637 NEW BEST:: SOT 680789 SOS 104372 HAS SOPS 104372 HAS SOUS 93480 HAS SOUPS 93480 WITH SCORE 93584.372
AT ITER 1668 NEW BEST:: SOT 680778 SOS 104361 HAS SOPS 104361 HAS SOUS 93469 HAS SOUPS 93469 WITH SCORE 93573.361
AT ITER 1670 NEW BEST:: SOT 680763 SOS 104331 HAS SOPS 104331 HAS SOUS 93439 HAS SOUPS 93439 WITH SCORE 93543.331
AT ITER 1684 NEW BEST:: SOT 680691 SOS 104187 HAS SOPS 104187 HAS SOUS 93368 HAS SOUPS 93368 WITH SCORE 93472.187
AT ITER 1695 NEW BEST:: SOT 680731 SOS 104267 HAS SOPS 104267 HAS SOUS 93329 HAS SOUPS 93329 WITH SCORE 93433.267
AT ITER 1696 NEW BEST:: SOT 680710 SOS 104225 HAS SOPS 104225 HAS SOUS 93287 HAS SOUPS 93287 WITH SCORE 93391.225
AT ITER 1716 NEW BEST:: SOT 680710 SOS 104181 HAS SOPS 104181 HAS SOUS 93243 HAS SOUPS 93243 WITH SCORE 93347.181
AT ITER 1721 NEW BEST:: SOT 680743 SOS 104247 HAS SOPS 104247 HAS SOUS 93211 HAS SOUPS 93211 WITH SCORE 93315.247
AT ITER 1726 NEW BEST:: SOT 680676 SOS 104219 HAS SOPS 104219 HAS SOUS 93144 HAS SOUPS 93144 WITH SCORE 93248.219
AT ITER 1744 NEW BEST:: SOT 680676 SOS 104191 HAS SOPS 104191 HAS SOUS 93116 HAS SOUPS 93116 WITH SCORE 93220.191
AT ITER 1767 NEW BEST:: SOT 680593 SOS 104111 HAS SOPS 104111 HAS SOUS 93033 HAS SOUPS 93033 WITH SCORE 93137.111
AT ITER 1824 NEW BEST:: SOT 680593 SOS 104078 HAS SOPS 104078 HAS SOUS 93000 HAS SOUPS 93000 WITH SCORE 93104.078
AT ITER 1828 NEW BEST:: SOT 680522 SOS 103966 HAS SOPS 103966 HAS SOUS 92940 HAS SOUPS 92940 WITH SCORE 93043.966
AT ITER 1838 NEW BEST:: SOT 680522 SOS 103935 HAS SOPS 103935 HAS SOUS 92909 HAS SOUPS 92909 WITH SCORE 93012.935
AT ITER 1843 NEW BEST:: SOT 680522 SOS 103935 HAS SOPS 103935 HAS SOUS 92908 HAS SOUPS 92908 WITH SCORE 93011.935
AT ITER 1868 NEW BEST:: SOT 680535 SOS 103885 HAS SOPS 103885 HAS SOUS 92896 HAS SOUPS 92896 WITH SCORE 92999.885
AT ITER 1884 NEW BEST:: SOT 680535 SOS 103885 HAS SOPS 103885 HAS SOUS 92894 HAS SOUPS 92894 WITH SCORE 92997.885
AT ITER 1888 NEW BEST:: SOT 680535 SOS 103766 HAS SOPS 103766 HAS SOUS 92894 HAS SOUPS 92894 WITH SCORE 92997.766
AT ITER 1932 NEW BEST:: SOT 680472 SOS 103713 HAS SOPS 103713 HAS SOUS 92881 HAS SOUPS 92881 WITH SCORE 92984.713
AT ITER 1939 NEW BEST:: SOT 680502 SOS 103639 HAS SOPS 103639 HAS SOUS 92874 HAS SOUPS 92874 WITH SCORE 92977.639
AT ITER 1959 NEW BEST:: SOT 680522 SOS 103621 HAS SOPS 103621 HAS SOUS 92856 HAS SOUPS 92856 WITH SCORE 92959.621
AT ITER 1980 NEW BEST:: SOT 680522 SOS 103604 HAS SOPS 103604 HAS SOUS 92849 HAS SOUPS 92849 WITH SCORE 92952.604
AT ITER 1995 NEW BEST:: SOT 680522 SOS 103604 HAS SOPS 103604 HAS SOUS 92848 HAS SOUPS 92848 WITH SCORE 92951.604
AT ITER 2047 NEW BEST:: SOT 680522 SOS 103603 HAS SOPS 103603 HAS SOUS 92847 HAS SOUPS 92847 WITH SCORE 92950.603
AT ITER 2052 NEW BEST:: SOT 680541 SOS 103641 HAS SOPS 103641 HAS SOUS 92766 HAS SOUPS 92766 WITH SCORE 92869.641
AT ITER 2057 NEW BEST:: SOT 680439 SOS 103437 HAS SOPS 103437 HAS SOUS 92508 HAS SOUPS 92508 WITH SCORE 92611.437
AT ITER 2136 NEW BEST:: SOT 680422 SOS 103516 HAS SOPS 103516 HAS SOUS 92506 HAS SOUPS 92506 WITH SCORE 92609.516
AT ITER 2140 NEW BEST:: SOT 680389 SOS 103450 HAS SOPS 103450 HAS SOUS 92466 HAS SOUPS 92466 WITH SCORE 92569.45
AT ITER 2162 NEW BEST:: SOT 680329 SOS 103486 HAS SOPS 103486 HAS SOUS 92462 HAS SOUPS 92462 WITH SCORE 92565.486
AT ITER 2174 NEW BEST:: SOT 680329 SOS 103486 HAS SOPS 103486 HAS SOUS 92461 HAS SOUPS 92461 WITH SCORE 92564.486
AT ITER 2245 NEW BEST:: SOT 680335 SOS 103430 HAS SOPS 103430 HAS SOUS 92439 HAS SOUPS 92439 WITH SCORE 92542.43
AT ITER 2272 NEW BEST:: SOT 680334 SOS 103362 HAS SOPS 103362 HAS SOUS 92371 HAS SOUPS 92371 WITH SCORE 92474.362
AT ITER 2302 NEW BEST:: SOT 680270 SOS 103221 HAS SOPS 103221 HAS SOUS 92307 HAS SOUPS 92307 WITH SCORE 92410.221
AT ITER 2310 NEW BEST:: SOT 680255 SOS 103219 HAS SOPS 103219 HAS SOUS 92291 HAS SOUPS 92291 WITH SCORE 92394.219
AT ITER 2314 NEW BEST:: SOT 680255 SOS 103209 HAS SOPS 103209 HAS SOUS 92291 HAS SOUPS 92291 WITH SCORE 92394.209
AT ITER 2328 NEW BEST:: SOT 680255 SOS 103209 HAS SOPS 103209 HAS SOUS 92192 HAS SOUPS 92192 WITH SCORE 92295.209
AT ITER 2425 NEW BEST:: SOT 680283 SOS 103237 HAS SOPS 103237 HAS SOUS 92153 HAS SOUPS 92153 WITH SCORE 92256.237
AT ITER 2442 NEW BEST:: SOT 680272 SOS 103695 HAS SOPS 103695 HAS SOUS 92048 HAS SOUPS 92048 WITH SCORE 92151.695
AT ITER 2449 NEW BEST:: SOT 680180 SOS 103663 HAS SOPS 103663 HAS SOUS 92016 HAS SOUPS 92016 WITH SCORE 92119.663
AT ITER 2489 NEW BEST:: SOT 680175 SOS 103653 HAS SOPS 103653 HAS SOUS 92006 HAS SOUPS 92006 WITH SCORE 92109.653
AT ITER 2493 NEW BEST:: SOT 680175 SOS 103622 HAS SOPS 103622 HAS SOUS 91975 HAS SOUPS 91975 WITH SCORE 92078.622
AT ITER 2498 NEW BEST:: SOT 680176 SOS 103556 HAS SOPS 103556 HAS SOUS 91909 HAS SOUPS 91909 WITH SCORE 92012.556
AT ITER 2525 NEW BEST:: SOT 680213 SOS 103556 HAS SOPS 103556 HAS SOUS 91872 HAS SOUPS 91872 WITH SCORE 91975.556
AT ITER 2532 NEW BEST:: SOT 680202 SOS 103534 HAS SOPS 103534 HAS SOUS 91861 HAS SOUPS 91861 WITH SCORE 91964.534
AT ITER 2552 NEW BEST:: SOT 680202 SOS 103512 HAS SOPS 103512 HAS SOUS 91839 HAS SOUPS 91839 WITH SCORE 91942.512
AT ITER 2561 NEW BEST:: SOT 680179 SOS 103466 HAS SOPS 103466 HAS SOUS 91793 HAS SOUPS 91793 WITH SCORE 91896.466
AT ITER 2576 NEW BEST:: SOT 680171 SOS 103448 HAS SOPS 103448 HAS SOUS 91775 HAS SOUPS 91775 WITH SCORE 91878.448
AT ITER 2603 NEW BEST:: SOT 680158 SOS 103435 HAS SOPS 103435 HAS SOUS 91762 HAS SOUPS 91762 WITH SCORE 91865.435
AT ITER 2641 NEW BEST:: SOT 680158 SOS 103406 HAS SOPS 103406 HAS SOUS 91733 HAS SOUPS 91733 WITH SCORE 91836.406
AT ITER 2672 NEW BEST:: SOT 680147 SOS 103395 HAS SOPS 103395 HAS SOUS 91722 HAS SOUPS 91722 WITH SCORE 91825.395
AT ITER 2673 NEW BEST:: SOT 680001 SOS 102899 HAS SOPS 102899 HAS SOUS 91636 HAS SOUPS 91636 WITH SCORE 91738.899
AT ITER 2683 NEW BEST:: SOT 679989 SOS 102889 HAS SOPS 102889 HAS SOUS 91626 HAS SOUPS 91626 WITH SCORE 91728.889
AT ITER 2698 NEW BEST:: SOT 679989 SOS 102888 HAS SOPS 102888 HAS SOUS 91625 HAS SOUPS 91625 WITH SCORE 91727.888
AT ITER 2725 NEW BEST:: SOT 679994 SOS 102883 HAS SOPS 102883 HAS SOUS 91625 HAS SOUPS 91625 WITH SCORE 91727.883
AT ITER 2753 NEW BEST:: SOT 679994 SOS 102861 HAS SOPS 102861 HAS SOUS 91603 HAS SOUPS 91603 WITH SCORE 91705.861
AT ITER 2795 NEW BEST:: SOT 679996 SOS 102855 HAS SOPS 102855 HAS SOUS 91597 HAS SOUPS 91597 WITH SCORE 91699.855
AT ITER 2921 NEW BEST:: SOT 679996 SOS 102848 HAS SOPS 102848 HAS SOUS 91590 HAS SOUPS 91590 WITH SCORE 91692.848
AT ITER 2985 NEW BEST:: SOT 679983 SOS 102749 HAS SOPS 102749 HAS SOUS 91587 HAS SOUPS 91587 WITH SCORE 91689.749
AT ITER 3015 NEW BEST:: SOT 679920 SOS 102692 HAS SOPS 102692 HAS SOUS 91530 HAS SOUPS 91530 WITH SCORE 91632.692
AT ITER 3023 NEW BEST:: SOT 679903 SOS 102656 HAS SOPS 102656 HAS SOUS 91494 HAS SOUPS 91494 WITH SCORE 91596.656
AT ITER 3058 NEW BEST:: SOT 679903 SOS 102655 HAS SOPS 102655 HAS SOUS 91493 HAS SOUPS 91493 WITH SCORE 91595.655
AT ITER 3059 NEW BEST:: SOT 679967 SOS 102721 HAS SOPS 102721 HAS SOUS 91415 HAS SOUPS 91415 WITH SCORE 91517.721
AT ITER 3064 NEW BEST:: SOT 679952 SOS 102691 HAS SOPS 102691 HAS SOUS 91385 HAS SOUPS 91385 WITH SCORE 91487.691
AT ITER 3102 NEW BEST:: SOT 679912 SOS 102651 HAS SOPS 102651 HAS SOUS 91345 HAS SOUPS 91345 WITH SCORE 91447.651
AT ITER 3108 NEW BEST:: SOT 679912 SOS 102619 HAS SOPS 102619 HAS SOUS 91313 HAS SOUPS 91313 WITH SCORE 91415.619
AT ITER 3137 NEW BEST:: SOT 679912 SOS 102593 HAS SOPS 102593 HAS SOUS 91313 HAS SOUPS 91313 WITH SCORE 91415.593
AT ITER 3145 NEW BEST:: SOT 679890 SOS 102616 HAS SOPS 102616 HAS SOUS 91269 HAS SOUPS 91269 WITH SCORE 91371.616
AT ITER 3160 NEW BEST:: SOT 679931 SOS 102615 HAS SOPS 102615 HAS SOUS 91268 HAS SOUPS 91268 WITH SCORE 91370.615
AT ITER 3198 NEW BEST:: SOT 679899 SOS 102607 HAS SOPS 102607 HAS SOUS 91268 HAS SOUPS 91268 WITH SCORE 91370.607
AT ITER 3238 NEW BEST:: SOT 679855 SOS 102561 HAS SOPS 102561 HAS SOUS 91222 HAS SOUPS 91222 WITH SCORE 91324.561
AT ITER 3263 NEW BEST:: SOT 679788 SOS 102558 HAS SOPS 102558 HAS SOUS 91118 HAS SOUPS 91118 WITH SCORE 91220.558
AT ITER 3302 NEW BEST:: SOT 679752 SOS 102624 HAS SOPS 102624 HAS SOUS 91082 HAS SOUPS 91082 WITH SCORE 91184.624
AT ITER 3337 NEW BEST:: SOT 679752 SOS 102614 HAS SOPS 102614 HAS SOUS 91072 HAS SOUPS 91072 WITH SCORE 91174.614
AT ITER 3361 NEW BEST:: SOT 679666 SOS 102168 HAS SOPS 102168 HAS SOUS 90900 HAS SOUPS 90900 WITH SCORE 91002.168
AT ITER 3389 NEW BEST:: SOT 679596 SOS 102147 HAS SOPS 102147 HAS SOUS 90879 HAS SOUPS 90879 WITH SCORE 90981.147
AT ITER 3402 NEW BEST:: SOT 679596 SOS 102115 HAS SOPS 102115 HAS SOUS 90847 HAS SOUPS 90847 WITH SCORE 90949.115
AT ITER 3420 NEW BEST:: SOT 679542 SOS 102065 HAS SOPS 102065 HAS SOUS 90764 HAS SOUPS 90764 WITH SCORE 90866.065
AT ITER 3423 NEW BEST:: SOT 679514 SOS 102110 HAS SOPS 102110 HAS SOUS 90708 HAS SOUPS 90708 WITH SCORE 90810.11
AT ITER 3443 NEW BEST:: SOT 679431 SOS 101944 HAS SOPS 101944 HAS SOUS 90625 HAS SOUPS 90625 WITH SCORE 90726.944
AT ITER 3457 NEW BEST:: SOT 679292 SOS 101836 HAS SOPS 101836 HAS SOUS 90486 HAS SOUPS 90486 WITH SCORE 90587.836
AT ITER 3458 NEW BEST:: SOT 679274 SOS 101800 HAS SOPS 101800 HAS SOUS 90450 HAS SOUPS 90450 WITH SCORE 90551.8
AT ITER 3486 NEW BEST:: SOT 679247 SOS 101732 HAS SOPS 101732 HAS SOUS 90382 HAS SOUPS 90382 WITH SCORE 90483.732
AT ITER 3557 NEW BEST:: SOT 679175 SOS 101680 HAS SOPS 101680 HAS SOUS 90312 HAS SOUPS 90312 WITH SCORE 90413.68
AT ITER 3583 NEW BEST:: SOT 679133 SOS 101554 HAS SOPS 101554 HAS SOUS 90228 HAS SOUPS 90228 WITH SCORE 90329.554
AT ITER 3584 NEW BEST:: SOT 679125 SOS 101545 HAS SOPS 101545 HAS SOUS 90219 HAS SOUPS 90219 WITH SCORE 90320.545
AT ITER 3612 NEW BEST:: SOT 679066 SOS 101537 HAS SOPS 101537 HAS SOUS 90218 HAS SOUPS 90218 WITH SCORE 90319.537
AT ITER 3622 NEW BEST:: SOT 679066 SOS 101537 HAS SOPS 101537 HAS SOUS 90217 HAS SOUPS 90217 WITH SCORE 90318.537
AT ITER 3642 NEW BEST:: SOT 679055 SOS 101475 HAS SOPS 101475 HAS SOUS 90195 HAS SOUPS 90195 WITH SCORE 90296.475
AT ITER 3680 NEW BEST:: SOT 679054 SOS 101409 HAS SOPS 101409 HAS SOUS 90193 HAS SOUPS 90193 WITH SCORE 90294.409
AT ITER 3712 NEW BEST:: SOT 679025 SOS 101351 HAS SOPS 101351 HAS SOUS 90135 HAS SOUPS 90135 WITH SCORE 90236.351
AT ITER 3774 NEW BEST:: SOT 679045 SOS 101348 HAS SOPS 101348 HAS SOUS 90132 HAS SOUPS 90132 WITH SCORE 90233.348
AT ITER 3782 NEW BEST:: SOT 678999 SOS 101256 HAS SOPS 101256 HAS SOUS 90040 HAS SOUPS 90040 WITH SCORE 90141.256
AT ITER 3791 NEW BEST:: SOT 679018 SOS 101220 HAS SOPS 101220 HAS SOUS 90004 HAS SOUPS 90004 WITH SCORE 90105.22
AT ITER 3823 NEW BEST:: SOT 679017 SOS 101218 HAS SOPS 101218 HAS SOUS 90002 HAS SOUPS 90002 WITH SCORE 90103.218
AT ITER 3863 NEW BEST:: SOT 679017 SOS 101218 HAS SOPS 101218 HAS SOUS 90001 HAS SOUPS 90001 WITH SCORE 90102.218
AT ITER 3877 NEW BEST:: SOT 679012 SOS 101208 HAS SOPS 101208 HAS SOUS 89996 HAS SOUPS 89996 WITH SCORE 90097.208
AT ITER 3931 NEW BEST:: SOT 679012 SOS 101188 HAS SOPS 101188 HAS SOUS 89992 HAS SOUPS 89992 WITH SCORE 90093.188
AT ITER 3941 NEW BEST:: SOT 678971 SOS 101114 HAS SOPS 101114 HAS SOUS 89918 HAS SOUPS 89918 WITH SCORE 90019.114
AT ITER 3982 NEW BEST:: SOT 678970 SOS 101112 HAS SOPS 101112 HAS SOUS 89916 HAS SOUPS 89916 WITH SCORE 90017.112
AT ITER 3990 NEW BEST:: SOT 678879 SOS 101174 HAS SOPS 101174 HAS SOUS 89825 HAS SOUPS 89825 WITH SCORE 89926.174
AT ITER 4034 NEW BEST:: SOT 678819 SOS 101054 HAS SOPS 101054 HAS SOUS 89705 HAS SOUPS 89705 WITH SCORE 89806.054
AT ITER 4046 NEW BEST:: SOT 678819 SOS 101049 HAS SOPS 101049 HAS SOUS 89695 HAS SOUPS 89695 WITH SCORE 89796.049
AT ITER 4096 NEW BEST:: SOT 678819 SOS 101033 HAS SOPS 101033 HAS SOUS 89679 HAS SOUPS 89679 WITH SCORE 89780.033
AT ITER 4104 NEW BEST:: SOT 678755 SOS 100905 HAS SOPS 100905 HAS SOUS 89518 HAS SOUPS 89518 WITH SCORE 89618.905
AT ITER 4212 NEW BEST:: SOT 678755 SOS 100894 HAS SOPS 100894 HAS SOUS 89507 HAS SOUPS 89507 WITH SCORE 89607.894
AT ITER 4235 NEW BEST:: SOT 678763 SOS 100880 HAS SOPS 100880 HAS SOUS 89493 HAS SOUPS 89493 WITH SCORE 89593.88
AT ITER 4276 NEW BEST:: SOT 678704 SOS 100762 HAS SOPS 100762 HAS SOUS 89434 HAS SOUPS 89434 WITH SCORE 89534.762
AT ITER 4302 NEW BEST:: SOT 678704 SOS 100747 HAS SOPS 100747 HAS SOUS 89419 HAS SOUPS 89419 WITH SCORE 89519.747
AT ITER 4306 NEW BEST:: SOT 678704 SOS 100656 HAS SOPS 100656 HAS SOUS 89419 HAS SOUPS 89419 WITH SCORE 89519.656
AT ITER 4335 NEW BEST:: SOT 678691 SOS 100643 HAS SOPS 100643 HAS SOUS 89406 HAS SOUPS 89406 WITH SCORE 89506.643
AT ITER 4350 NEW BEST:: SOT 678634 SOS 100643 HAS SOPS 100643 HAS SOUS 89349 HAS SOUPS 89349 WITH SCORE 89449.643
AT ITER 4384 NEW BEST:: SOT 678627 SOS 100629 HAS SOPS 100629 HAS SOUS 89335 HAS SOUPS 89335 WITH SCORE 89435.629
AT ITER 4412 NEW BEST:: SOT 678603 SOS 100651 HAS SOPS 100651 HAS SOUS 89317 HAS SOUPS 89317 WITH SCORE 89417.651
AT ITER 4414 NEW BEST:: SOT 678603 SOS 100564 HAS SOPS 100564 HAS SOUS 89230 HAS SOUPS 89230 WITH SCORE 89330.564
AT ITER 4426 NEW BEST:: SOT 678592 SOS 100420 HAS SOPS 100420 HAS SOUS 89119 HAS SOUPS 89119 WITH SCORE 89219.42
AT ITER 4446 NEW BEST:: SOT 678592 SOS 100416 HAS SOPS 100416 HAS SOUS 89115 HAS SOUPS 89115 WITH SCORE 89215.416
AT ITER 4467 NEW BEST:: SOT 678581 SOS 100399 HAS SOPS 100399 HAS SOUS 89104 HAS SOUPS 89104 WITH SCORE 89204.399
AT ITER 4472 NEW BEST:: SOT 678578 SOS 100390 HAS SOPS 100390 HAS SOUS 89098 HAS SOUPS 89098 WITH SCORE 89198.39
AT ITER 4474 NEW BEST:: SOT 678578 SOS 100374 HAS SOPS 100374 HAS SOUS 89082 HAS SOUPS 89082 WITH SCORE 89182.374
AT ITER 4490 NEW BEST:: SOT 678582 SOS 100325 HAS SOPS 100325 HAS SOUS 89033 HAS SOUPS 89033 WITH SCORE 89133.325
AT ITER 4512 NEW BEST:: SOT 678564 SOS 100307 HAS SOPS 100307 HAS SOUS 89015 HAS SOUPS 89015 WITH SCORE 89115.307
AT ITER 4582 NEW BEST:: SOT 678428 SOS 100035 HAS SOPS 100035 HAS SOUS 88879 HAS SOUPS 88879 WITH SCORE 88979.035
AT ITER 4606 NEW BEST:: SOT 678463 SOS 100029 HAS SOPS 100029 HAS SOUS 88873 HAS SOUPS 88873 WITH SCORE 88973.029
AT ITER 4654 NEW BEST:: SOT 678463 SOS 99957 HAS SOPS 99957 HAS SOUS 88873 HAS SOUPS 88873 WITH SCORE 88972.957
AT ITER 4660 NEW BEST:: SOT 678415 SOS 99900 HAS SOPS 99900 HAS SOUS 88816 HAS SOUPS 88816 WITH SCORE 88915.9
AT ITER 4670 NEW BEST:: SOT 678397 SOS 99864 HAS SOPS 99864 HAS SOUS 88780 HAS SOUPS 88780 WITH SCORE 88879.864
AT ITER 4680 NEW BEST:: SOT 678397 SOS 99846 HAS SOPS 99846 HAS SOUS 88762 HAS SOUPS 88762 WITH SCORE 88861.846
AT ITER 4688 NEW BEST:: SOT 678485 SOS 99774 HAS SOPS 99774 HAS SOUS 88636 HAS SOUPS 88636 WITH SCORE 88735.774
AT ITER 4697 NEW BEST:: SOT 678485 SOS 99774 HAS SOPS 99774 HAS SOUS 88602 HAS SOUPS 88602 WITH SCORE 88701.774
AT ITER 4744 NEW BEST:: SOT 678485 SOS 99689 HAS SOPS 99689 HAS SOUS 88602 HAS SOUPS 88602 WITH SCORE 88701.689
AT ITER 4747 NEW BEST:: SOT 678441 SOS 99687 HAS SOPS 99687 HAS SOUS 88602 HAS SOUPS 88602 WITH SCORE 88701.687
AT ITER 4749 NEW BEST:: SOT 678095 SOS 99845 HAS SOPS 99845 HAS SOUS 88510 HAS SOUPS 88510 WITH SCORE 88609.845
AT ITER 4765 NEW BEST:: SOT 678095 SOS 99811 HAS SOPS 99811 HAS SOUS 88510 HAS SOUPS 88510 WITH SCORE 88609.811
AT ITER 4780 NEW BEST:: SOT 678157 SOS 99810 HAS SOPS 99810 HAS SOUS 88509 HAS SOUPS 88509 WITH SCORE 88608.81
AT ITER 4798 NEW BEST:: SOT 678054 SOS 99604 HAS SOPS 99604 HAS SOUS 88418 HAS SOUPS 88418 WITH SCORE 88517.604
AT ITER 4882 NEW BEST:: SOT 678086 SOS 99578 HAS SOPS 99578 HAS SOUS 88412 HAS SOUPS 88412 WITH SCORE 88511.578
AT ITER 4888 NEW BEST:: SOT 678103 SOS 99480 HAS SOPS 99480 HAS SOUS 88380 HAS SOUPS 88380 WITH SCORE 88479.48
AT ITER 4920 NEW BEST:: SOT 678149 SOS 99420 HAS SOPS 99420 HAS SOUS 88377 HAS SOUPS 88377 WITH SCORE 88476.42
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-12b-CTLFireability-00 ( (EF( ((potential((tk(P217)>=1)))))) & ( ((potential((tk(P561)>=1)))) | (! (EG( ((potential((tk(P1086)>=1))))))) ) )
PROPERTY: AutoFlight-PT-12b-CTLFireability-01 (! (! (AU( (! ((potential((tk(P327)>=1))))) , ( ((potential((tk(P691)>=1)))) | ((potential((tk(P550)>=1)))) ) ))))
PROPERTY: AutoFlight-PT-12b-CTLFireability-02 ( (AG( ((potential((tk(P474)>=1)))))) | (AG( (AF( (! ((potential((tk(P670)>=1))))))))) )
PROPERTY: AutoFlight-PT-12b-CTLFireability-03 ( (AU( (AX( ((potential((tk(P655)>=1) & (tk(P1045)>=1)))))) , (EG( ((potential((tk(P603)>=1)))))) )) | ( (EF( ( ( ((potential((tk(P71)>=1) & (tk(P923)>=1)))) & ((potential((tk(P669)>=1)))) ) & ((potential((tk(P643)>=1)))) ))) | ( (AG( (! ((potential((tk(P161)>=1))))))) & (! ( ((potential((tk(P228)>=1)))) & ((potential((tk(P253)>=1)))) )) ) ) )
PROPERTY: AutoFlight-PT-12b-CTLFireability-04 (AF( (EG( (! ( ((potential((tk(P953)>=1)))) | ((potential((tk(P920)>=1)))) ))))))
PROPERTY: AutoFlight-PT-12b-CTLFireability-05 (EG( (AG( ( ( ((potential((tk(P686)>=1)))) | ((potential((tk(P906)>=1) & (tk(P1123)>=1)))) ) | (! ((potential((tk(P596)>=1))))) )))))
PROPERTY: AutoFlight-PT-12b-CTLFireability-06 (! (EG( (! (EG( ((potential((tk(P454)>=1))))))))))
PROPERTY: AutoFlight-PT-12b-CTLFireability-07 (EG( ( (AX( (! ((potential((tk(P161)>=1))))))) & (! ((potential((tk(P1005)>=1))))) )))
PROPERTY: AutoFlight-PT-12b-CTLFireability-08 ( (EU( (AF( ((potential((tk(P592)>=1)))))) , (EX( ((potential((tk(P688)>=1)))))) )) | ((potential((tk(P187)>=1)))) )
PROPERTY: AutoFlight-PT-12b-CTLFireability-09 (EF( ( ( ( ( ((potential((tk(P711)>=1)))) & ((potential((tk(P1073)>=1)))) ) & ((potential((tk(P775)>=1)))) ) & (EX( ((potential((tk(P411)>=1)))))) ) & ((potential((tk(P735)>=1)))) )))
PROPERTY: AutoFlight-PT-12b-CTLFireability-10 (! (AF( (! (! ( ((potential((tk(P316)>=1) & (tk(P1026)>=1)))) | ((potential((tk(P39)>=1)))) ))))))
PROPERTY: AutoFlight-PT-12b-CTLFireability-11 ( (AX( ( (EG( ((potential((tk(P248)>=1)))))) | ( (! ((potential((tk(P548)>=1))))) & ( ((potential((tk(P382)>=1)))) & ((potential((tk(P831)>=1)))) ) ) ))) | (EF( (EG( ( ((potential((tk(P584)>=1)))) | ((potential((tk(P407)>=1)))) ))))) )
PROPERTY: AutoFlight-PT-12b-CTLFireability-12 ( ( ( (AX( ((potential((tk(P347)>=1)))))) | ((potential((tk(P636)>=1)))) ) & (! ((potential((tk(P1066)>=1))))) ) | (AX( (EF( ( ((potential((tk(P844)>=1)))) & ((potential((tk(P581)>=1) & (tk(P961)>=1)))) ))))) )
PROPERTY: AutoFlight-PT-12b-CTLFireability-13 ( (AX( (AG( ( ((potential((tk(P1033)>=1)))) | ((potential((tk(P164)>=1)))) ))))) | (AF( (AX( ((potential((tk(P448)>=1) & (tk(P866)>=1)))))))) )
PROPERTY: AutoFlight-PT-12b-CTLFireability-14 (AU( ( (EX( ((potential((tk(P670)>=1)))))) | (AF( ((potential((tk(P290)>=1)))))) ) , ( (AX( ((potential((tk(P675)>=1)))))) & ( ((potential((tk(P541)>=1)))) | ( ((potential((tk(P422)>=1)))) | ((potential((tk(P576)>=1)))) ) ) ) ))
PROPERTY: AutoFlight-PT-12b-CTLFireability-15 (EX( (AF( ( ( ((potential((tk(P153)>=1)))) & ((potential((tk(P149)>=1)))) ) & (! ((potential((tk(P353)>=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="AutoFlight-PT-12b"
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 AutoFlight-PT-12b, 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 r003-smll-158897508600476"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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