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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 1.1M 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 ASLink-PT-07b-CTLFireability-00
FORMULA_NAME ASLink-PT-07b-CTLFireability-01
FORMULA_NAME ASLink-PT-07b-CTLFireability-02
FORMULA_NAME ASLink-PT-07b-CTLFireability-03
FORMULA_NAME ASLink-PT-07b-CTLFireability-04
FORMULA_NAME ASLink-PT-07b-CTLFireability-05
FORMULA_NAME ASLink-PT-07b-CTLFireability-06
FORMULA_NAME ASLink-PT-07b-CTLFireability-07
FORMULA_NAME ASLink-PT-07b-CTLFireability-08
FORMULA_NAME ASLink-PT-07b-CTLFireability-09
FORMULA_NAME ASLink-PT-07b-CTLFireability-10
FORMULA_NAME ASLink-PT-07b-CTLFireability-11
FORMULA_NAME ASLink-PT-07b-CTLFireability-12
FORMULA_NAME ASLink-PT-07b-CTLFireability-13
FORMULA_NAME ASLink-PT-07b-CTLFireability-14
FORMULA_NAME ASLink-PT-07b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589054925102

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 07b
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: 3222 places, 3986 transitions, 12126 arcs.
AT ITER 0 NEW BEST:: SOT 6887059 SOS 1328016 HAS SOPS 1328016 HAS SOUS 1070413 HAS SOUPS 1070413 WITH SCORE 1071741.016
AT ITER 16 NEW BEST:: SOT 6886828 SOS 1328156 HAS SOPS 1328156 HAS SOUS 1070302 HAS SOUPS 1070302 WITH SCORE 1071630.156
AT ITER 18 NEW BEST:: SOT 6886992 SOS 1328305 HAS SOPS 1328305 HAS SOUS 1070266 HAS SOUPS 1070266 WITH SCORE 1071594.305
AT ITER 36 NEW BEST:: SOT 6886992 SOS 1328297 HAS SOPS 1328297 HAS SOUS 1070258 HAS SOUPS 1070258 WITH SCORE 1071586.297
AT ITER 47 NEW BEST:: SOT 6886991 SOS 1328075 HAS SOPS 1328075 HAS SOUS 1070256 HAS SOUPS 1070256 WITH SCORE 1071584.075
AT ITER 56 NEW BEST:: SOT 6886990 SOS 1328172 HAS SOPS 1328172 HAS SOUS 1070220 HAS SOUPS 1070220 WITH SCORE 1071548.172
AT ITER 61 NEW BEST:: SOT 6886960 SOS 1328112 HAS SOPS 1328112 HAS SOUS 1070160 HAS SOUPS 1070160 WITH SCORE 1071488.112
AT ITER 91 NEW BEST:: SOT 6886904 SOS 1327927 HAS SOPS 1327927 HAS SOUS 1070076 HAS SOUPS 1070076 WITH SCORE 1071403.927
AT ITER 107 NEW BEST:: SOT 6886767 SOS 1327773 HAS SOPS 1327773 HAS SOUS 1069922 HAS SOUPS 1069922 WITH SCORE 1071249.773
AT ITER 121 NEW BEST:: SOT 6886752 SOS 1327756 HAS SOPS 1327756 HAS SOUS 1069905 HAS SOUPS 1069905 WITH SCORE 1071232.756
AT ITER 125 NEW BEST:: SOT 6886752 SOS 1327754 HAS SOPS 1327754 HAS SOUS 1069904 HAS SOUPS 1069904 WITH SCORE 1071231.754
AT ITER 128 NEW BEST:: SOT 6886752 SOS 1326560 HAS SOPS 1326560 HAS SOUS 1069904 HAS SOUPS 1069904 WITH SCORE 1071230.56
AT ITER 130 NEW BEST:: SOT 6886389 SOS 1325834 HAS SOPS 1325834 HAS SOUS 1069429 HAS SOUPS 1069429 WITH SCORE 1070754.834
AT ITER 134 NEW BEST:: SOT 6886300 SOS 1325489 HAS SOPS 1325489 HAS SOUS 1069251 HAS SOUPS 1069251 WITH SCORE 1070576.489
AT ITER 149 NEW BEST:: SOT 6885688 SOS 1324877 HAS SOPS 1324877 HAS SOUS 1068637 HAS SOUPS 1068637 WITH SCORE 1069961.877
AT ITER 152 NEW BEST:: SOT 6885673 SOS 1324861 HAS SOPS 1324861 HAS SOUS 1068621 HAS SOUPS 1068621 WITH SCORE 1069945.861
AT ITER 160 NEW BEST:: SOT 6885477 SOS 1324804 HAS SOPS 1324804 HAS SOUS 1068564 HAS SOUPS 1068564 WITH SCORE 1069888.804
AT ITER 191 NEW BEST:: SOT 6885299 SOS 1324774 HAS SOPS 1324774 HAS SOUS 1068564 HAS SOUPS 1068564 WITH SCORE 1069888.774
AT ITER 198 NEW BEST:: SOT 6885299 SOS 1324755 HAS SOPS 1324755 HAS SOUS 1068545 HAS SOUPS 1068545 WITH SCORE 1069869.755
AT ITER 202 NEW BEST:: SOT 6885071 SOS 1324534 HAS SOPS 1324534 HAS SOUS 1068035 HAS SOUPS 1068035 WITH SCORE 1069359.534
AT ITER 227 NEW BEST:: SOT 6884874 SOS 1323943 HAS SOPS 1323943 HAS SOUS 1067641 HAS SOUPS 1067641 WITH SCORE 1068964.943
AT ITER 254 NEW BEST:: SOT 6884799 SOS 1323793 HAS SOPS 1323793 HAS SOUS 1067488 HAS SOUPS 1067488 WITH SCORE 1068811.793
AT ITER 256 NEW BEST:: SOT 6884784 SOS 1323763 HAS SOPS 1323763 HAS SOUS 1067458 HAS SOUPS 1067458 WITH SCORE 1068781.763
AT ITER 266 NEW BEST:: SOT 6883776 SOS 1323808 HAS SOPS 1323808 HAS SOUS 1066742 HAS SOUPS 1066742 WITH SCORE 1068065.808
AT ITER 269 NEW BEST:: SOT 6883599 SOS 1323454 HAS SOPS 1323454 HAS SOUS 1066388 HAS SOUPS 1066388 WITH SCORE 1067711.454
AT ITER 306 NEW BEST:: SOT 6883002 SOS 1323628 HAS SOPS 1323628 HAS SOUS 1065681 HAS SOUPS 1065681 WITH SCORE 1067004.628
AT ITER 331 NEW BEST:: SOT 6882742 SOS 1322848 HAS SOPS 1322848 HAS SOUS 1064901 HAS SOUPS 1064901 WITH SCORE 1066223.848
AT ITER 335 NEW BEST:: SOT 6882732 SOS 1322814 HAS SOPS 1322814 HAS SOUS 1064891 HAS SOUPS 1064891 WITH SCORE 1066213.814
AT ITER 356 NEW BEST:: SOT 6882707 SOS 1322714 HAS SOPS 1322714 HAS SOUS 1064866 HAS SOUPS 1064866 WITH SCORE 1066188.714
AT ITER 358 NEW BEST:: SOT 6882536 SOS 1322543 HAS SOPS 1322543 HAS SOUS 1064680 HAS SOUPS 1064680 WITH SCORE 1066002.543
AT ITER 364 NEW BEST:: SOT 6882384 SOS 1322239 HAS SOPS 1322239 HAS SOUS 1064372 HAS SOUPS 1064372 WITH SCORE 1065694.239
AT ITER 386 NEW BEST:: SOT 6882262 SOS 1321956 HAS SOPS 1321956 HAS SOUS 1064128 HAS SOUPS 1064128 WITH SCORE 1065449.956
AT ITER 393 NEW BEST:: SOT 6882262 SOS 1321891 HAS SOPS 1321891 HAS SOUS 1064063 HAS SOUPS 1064063 WITH SCORE 1065384.891
AT ITER 432 NEW BEST:: SOT 6882245 SOS 1321859 HAS SOPS 1321859 HAS SOUS 1064031 HAS SOUPS 1064031 WITH SCORE 1065352.859
AT ITER 433 NEW BEST:: SOT 6882186 SOS 1321741 HAS SOPS 1321741 HAS SOUS 1063913 HAS SOUPS 1063913 WITH SCORE 1065234.741
AT ITER 434 NEW BEST:: SOT 6882088 SOS 1321545 HAS SOPS 1321545 HAS SOUS 1063717 HAS SOUPS 1063717 WITH SCORE 1065038.545
AT ITER 436 NEW BEST:: SOT 6881886 SOS 1321343 HAS SOPS 1321343 HAS SOUS 1063515 HAS SOUPS 1063515 WITH SCORE 1064836.343
AT ITER 444 NEW BEST:: SOT 6881935 SOS 1321220 HAS SOPS 1321220 HAS SOUS 1063392 HAS SOUPS 1063392 WITH SCORE 1064713.22
AT ITER 449 NEW BEST:: SOT 6881933 SOS 1321214 HAS SOPS 1321214 HAS SOUS 1063386 HAS SOUPS 1063386 WITH SCORE 1064707.214
AT ITER 454 NEW BEST:: SOT 6881932 SOS 1321212 HAS SOPS 1321212 HAS SOUS 1063384 HAS SOUPS 1063384 WITH SCORE 1064705.212
AT ITER 488 NEW BEST:: SOT 6881810 SOS 1321090 HAS SOPS 1321090 HAS SOUS 1063261 HAS SOUPS 1063261 WITH SCORE 1064582.09
AT ITER 511 NEW BEST:: SOT 6881724 SOS 1320907 HAS SOPS 1320907 HAS SOUS 1063089 HAS SOUPS 1063089 WITH SCORE 1064409.907
AT ITER 520 NEW BEST:: SOT 6880163 SOS 1321261 HAS SOPS 1321261 HAS SOUS 1061844 HAS SOUPS 1061844 WITH SCORE 1063165.261
AT ITER 525 NEW BEST:: SOT 6880094 SOS 1321157 HAS SOPS 1321157 HAS SOUS 1061743 HAS SOUPS 1061743 WITH SCORE 1063064.157
AT ITER 542 NEW BEST:: SOT 6880093 SOS 1321155 HAS SOPS 1321155 HAS SOUS 1061741 HAS SOUPS 1061741 WITH SCORE 1063062.155
AT ITER 543 NEW BEST:: SOT 6879934 SOS 1320927 HAS SOPS 1320927 HAS SOUS 1061513 HAS SOUPS 1061513 WITH SCORE 1062833.927
AT ITER 562 NEW BEST:: SOT 6879934 SOS 1321002 HAS SOPS 1321002 HAS SOUS 1061363 HAS SOUPS 1061363 WITH SCORE 1062684.002
AT ITER 590 NEW BEST:: SOT 6879755 SOS 1320821 HAS SOPS 1320821 HAS SOUS 1061182 HAS SOUPS 1061182 WITH SCORE 1062502.821
AT ITER 624 NEW BEST:: SOT 6879755 SOS 1320817 HAS SOPS 1320817 HAS SOUS 1061178 HAS SOUPS 1061178 WITH SCORE 1062498.817
AT ITER 625 NEW BEST:: SOT 6879729 SOS 1320791 HAS SOPS 1320791 HAS SOUS 1061152 HAS SOUPS 1061152 WITH SCORE 1062472.791
AT ITER 628 NEW BEST:: SOT 6879739 SOS 1320834 HAS SOPS 1320834 HAS SOUS 1061092 HAS SOUPS 1061092 WITH SCORE 1062412.834
AT ITER 641 NEW BEST:: SOT 6879739 SOS 1320661 HAS SOPS 1320661 HAS SOUS 1061091 HAS SOUPS 1061091 WITH SCORE 1062411.661
AT ITER 657 NEW BEST:: SOT 6879356 SOS 1320286 HAS SOPS 1320286 HAS SOUS 1060739 HAS SOUPS 1060739 WITH SCORE 1062059.286
AT ITER 664 NEW BEST:: SOT 6879295 SOS 1320116 HAS SOPS 1320116 HAS SOUS 1060569 HAS SOUPS 1060569 WITH SCORE 1061889.116
AT ITER 677 NEW BEST:: SOT 6878972 SOS 1319543 HAS SOPS 1319543 HAS SOUS 1060247 HAS SOUPS 1060247 WITH SCORE 1061566.543
AT ITER 685 NEW BEST:: SOT 6878943 SOS 1319485 HAS SOPS 1319485 HAS SOUS 1060215 HAS SOUPS 1060215 WITH SCORE 1061534.485
AT ITER 688 NEW BEST:: SOT 6878948 SOS 1319477 HAS SOPS 1319477 HAS SOUS 1060207 HAS SOUPS 1060207 WITH SCORE 1061526.477
AT ITER 731 NEW BEST:: SOT 6878524 SOS 1318795 HAS SOPS 1318795 HAS SOUS 1059525 HAS SOUPS 1059525 WITH SCORE 1060843.795
AT ITER 740 NEW BEST:: SOT 6878184 SOS 1318266 HAS SOPS 1318266 HAS SOUS 1059005 HAS SOUPS 1059005 WITH SCORE 1060323.266
AT ITER 745 NEW BEST:: SOT 6878184 SOS 1318128 HAS SOPS 1318128 HAS SOUS 1059004 HAS SOUPS 1059004 WITH SCORE 1060322.128
AT ITER 746 NEW BEST:: SOT 6878184 SOS 1318117 HAS SOPS 1318117 HAS SOUS 1058993 HAS SOUPS 1058993 WITH SCORE 1060311.117
AT ITER 750 NEW BEST:: SOT 6877871 SOS 1317804 HAS SOPS 1317804 HAS SOUS 1058680 HAS SOUPS 1058680 WITH SCORE 1059997.804
AT ITER 783 NEW BEST:: SOT 6877515 SOS 1317092 HAS SOPS 1317092 HAS SOUS 1057968 HAS SOUPS 1057968 WITH SCORE 1059285.092
AT ITER 802 NEW BEST:: SOT 6877337 SOS 1316700 HAS SOPS 1316700 HAS SOUS 1057576 HAS SOUPS 1057576 WITH SCORE 1058892.7
AT ITER 803 NEW BEST:: SOT 6877291 SOS 1316252 HAS SOPS 1316252 HAS SOUS 1057361 HAS SOUPS 1057361 WITH SCORE 1058677.252
AT ITER 840 NEW BEST:: SOT 6877066 SOS 1315903 HAS SOPS 1315903 HAS SOUS 1056910 HAS SOUPS 1056910 WITH SCORE 1058225.903
AT ITER 852 NEW BEST:: SOT 6877041 SOS 1316045 HAS SOPS 1316045 HAS SOUS 1056908 HAS SOUPS 1056908 WITH SCORE 1058224.045
AT ITER 901 NEW BEST:: SOT 6877023 SOS 1316009 HAS SOPS 1316009 HAS SOUS 1056872 HAS SOUPS 1056872 WITH SCORE 1058188.009
AT ITER 908 NEW BEST:: SOT 6877023 SOS 1315929 HAS SOPS 1315929 HAS SOUS 1056792 HAS SOUPS 1056792 WITH SCORE 1058107.929
AT ITER 914 NEW BEST:: SOT 6876754 SOS 1317085 HAS SOPS 1317085 HAS SOUS 1056666 HAS SOUPS 1056666 WITH SCORE 1057983.085
AT ITER 918 NEW BEST:: SOT 6876576 SOS 1317727 HAS SOPS 1317727 HAS SOUS 1056279 HAS SOUPS 1056279 WITH SCORE 1057596.727
AT ITER 959 NEW BEST:: SOT 6876576 SOS 1317707 HAS SOPS 1317707 HAS SOUS 1056257 HAS SOUPS 1056257 WITH SCORE 1057574.707
AT ITER 980 NEW BEST:: SOT 6876386 SOS 1316708 HAS SOPS 1316708 HAS SOUS 1055828 HAS SOUPS 1055828 WITH SCORE 1057144.708
AT ITER 985 NEW BEST:: SOT 6876331 SOS 1316598 HAS SOPS 1316598 HAS SOUS 1055718 HAS SOUPS 1055718 WITH SCORE 1057034.598
AT ITER 1019 NEW BEST:: SOT 6876329 SOS 1316597 HAS SOPS 1316597 HAS SOUS 1055716 HAS SOUPS 1055716 WITH SCORE 1057032.597
AT ITER 1042 NEW BEST:: SOT 6876293 SOS 1316294 HAS SOPS 1316294 HAS SOUS 1055554 HAS SOUPS 1055554 WITH SCORE 1056870.294
AT ITER 1048 NEW BEST:: SOT 6876102 SOS 1316820 HAS SOPS 1316820 HAS SOUS 1055363 HAS SOUPS 1055363 WITH SCORE 1056679.82
AT ITER 1071 NEW BEST:: SOT 6875392 SOS 1315946 HAS SOPS 1315946 HAS SOUS 1054491 HAS SOUPS 1054491 WITH SCORE 1055806.946
AT ITER 1072 NEW BEST:: SOT 6875007 SOS 1315638 HAS SOPS 1315638 HAS SOUS 1054183 HAS SOUPS 1054183 WITH SCORE 1055498.638
AT ITER 1085 NEW BEST:: SOT 6874959 SOS 1315582 HAS SOPS 1315582 HAS SOUS 1054134 HAS SOUPS 1054134 WITH SCORE 1055449.582
AT ITER 1116 NEW BEST:: SOT 6874959 SOS 1315576 HAS SOPS 1315576 HAS SOUS 1054134 HAS SOUPS 1054134 WITH SCORE 1055449.576
AT ITER 1118 NEW BEST:: SOT 6874958 SOS 1315574 HAS SOPS 1315574 HAS SOUS 1054132 HAS SOUPS 1054132 WITH SCORE 1055447.574
AT ITER 1126 NEW BEST:: SOT 6874722 SOS 1315080 HAS SOPS 1315080 HAS SOUS 1053638 HAS SOUPS 1053638 WITH SCORE 1054953.08
AT ITER 1149 NEW BEST:: SOT 6874722 SOS 1315080 HAS SOPS 1315080 HAS SOUS 1053593 HAS SOUPS 1053593 WITH SCORE 1054908.08
AT ITER 1162 NEW BEST:: SOT 6874722 SOS 1315066 HAS SOPS 1315066 HAS SOUS 1053591 HAS SOUPS 1053591 WITH SCORE 1054906.066
AT ITER 1187 NEW BEST:: SOT 6872393 SOS 1316184 HAS SOPS 1316184 HAS SOUS 1051959 HAS SOUPS 1051959 WITH SCORE 1053275.184
AT ITER 1202 NEW BEST:: SOT 6872392 SOS 1316121 HAS SOPS 1316121 HAS SOUS 1051896 HAS SOUPS 1051896 WITH SCORE 1053212.121
AT ITER 1206 NEW BEST:: SOT 6872175 SOS 1315630 HAS SOPS 1315630 HAS SOUS 1051461 HAS SOUPS 1051461 WITH SCORE 1052776.63
AT ITER 1246 NEW BEST:: SOT 6872022 SOS 1315324 HAS SOPS 1315324 HAS SOUS 1051155 HAS SOUPS 1051155 WITH SCORE 1052470.324
AT ITER 1264 NEW BEST:: SOT 6871974 SOS 1315059 HAS SOPS 1315059 HAS SOUS 1051059 HAS SOUPS 1051059 WITH SCORE 1052374.059
AT ITER 1300 NEW BEST:: SOT 6871004 SOS 1316985 HAS SOPS 1316985 HAS SOUS 1050927 HAS SOUPS 1050927 WITH SCORE 1052243.985
AT ITER 1301 NEW BEST:: SOT 6870675 SOS 1315973 HAS SOPS 1315973 HAS SOUS 1050202 HAS SOUPS 1050202 WITH SCORE 1051517.973
AT ITER 1318 NEW BEST:: SOT 6870705 SOS 1316215 HAS SOPS 1316215 HAS SOUS 1050185 HAS SOUPS 1050185 WITH SCORE 1051501.215
AT ITER 1319 NEW BEST:: SOT 6870517 SOS 1315960 HAS SOPS 1315960 HAS SOUS 1050117 HAS SOUPS 1050117 WITH SCORE 1051432.96
AT ITER 1339 NEW BEST:: SOT 6870517 SOS 1315899 HAS SOPS 1315899 HAS SOUS 1050116 HAS SOUPS 1050116 WITH SCORE 1051431.899
AT ITER 1342 NEW BEST:: SOT 6869673 SOS 1315177 HAS SOPS 1315177 HAS SOUS 1049394 HAS SOUPS 1049394 WITH SCORE 1050709.177
AT ITER 1375 NEW BEST:: SOT 6868788 SOS 1315008 HAS SOPS 1315008 HAS SOUS 1048972 HAS SOUPS 1048972 WITH SCORE 1050287.008
AT ITER 1381 NEW BEST:: SOT 6868594 SOS 1314528 HAS SOPS 1314528 HAS SOUS 1048710 HAS SOUPS 1048710 WITH SCORE 1050024.528
AT ITER 1390 NEW BEST:: SOT 6867335 SOS 1313493 HAS SOPS 1313493 HAS SOUS 1047497 HAS SOUPS 1047497 WITH SCORE 1048810.493
AT ITER 1423 NEW BEST:: SOT 6865954 SOS 1312239 HAS SOPS 1312239 HAS SOUS 1046243 HAS SOUPS 1046243 WITH SCORE 1047555.239
AT ITER 1438 NEW BEST:: SOT 6865673 SOS 1311958 HAS SOPS 1311958 HAS SOUS 1045962 HAS SOUPS 1045962 WITH SCORE 1047273.958
AT ITER 1470 NEW BEST:: SOT 6863923 SOS 1310562 HAS SOPS 1310562 HAS SOUS 1044123 HAS SOUPS 1044123 WITH SCORE 1045433.562
AT ITER 1485 NEW BEST:: SOT 6863910 SOS 1310531 HAS SOPS 1310531 HAS SOUS 1044092 HAS SOUPS 1044092 WITH SCORE 1045402.531
AT ITER 1487 NEW BEST:: SOT 6863910 SOS 1310352 HAS SOPS 1310352 HAS SOUS 1043913 HAS SOUPS 1043913 WITH SCORE 1045223.352
AT ITER 1531 NEW BEST:: SOT 6863790 SOS 1309992 HAS SOPS 1309992 HAS SOUS 1043673 HAS SOUPS 1043673 WITH SCORE 1044982.992
AT ITER 1535 NEW BEST:: SOT 6864127 SOS 1310388 HAS SOPS 1310388 HAS SOUS 1043500 HAS SOUPS 1043500 WITH SCORE 1044810.388
AT ITER 1549 NEW BEST:: SOT 6864127 SOS 1310369 HAS SOPS 1310369 HAS SOUS 1043481 HAS SOUPS 1043481 WITH SCORE 1044791.369
AT ITER 1573 NEW BEST:: SOT 6863697 SOS 1309765 HAS SOPS 1309765 HAS SOUS 1042877 HAS SOUPS 1042877 WITH SCORE 1044186.765
AT ITER 1599 NEW BEST:: SOT 6863252 SOS 1309614 HAS SOPS 1309614 HAS SOUS 1042503 HAS SOUPS 1042503 WITH SCORE 1043812.614
AT ITER 1602 NEW BEST:: SOT 6863112 SOS 1309474 HAS SOPS 1309474 HAS SOUS 1042363 HAS SOUPS 1042363 WITH SCORE 1043672.474
AT ITER 1614 NEW BEST:: SOT 6862926 SOS 1309288 HAS SOPS 1309288 HAS SOUS 1042177 HAS SOUPS 1042177 WITH SCORE 1043486.288
AT ITER 1616 NEW BEST:: SOT 6862926 SOS 1309198 HAS SOPS 1309198 HAS SOUS 1042177 HAS SOUPS 1042177 WITH SCORE 1043486.198
AT ITER 1624 NEW BEST:: SOT 6862698 SOS 1308913 HAS SOPS 1308913 HAS SOUS 1042127 HAS SOUPS 1042127 WITH SCORE 1043435.913
AT ITER 1633 NEW BEST:: SOT 6862221 SOS 1308829 HAS SOPS 1308829 HAS SOUS 1041783 HAS SOUPS 1041783 WITH SCORE 1043091.829
AT ITER 1651 NEW BEST:: SOT 6861997 SOS 1308607 HAS SOPS 1308607 HAS SOUS 1041561 HAS SOUPS 1041561 WITH SCORE 1042869.607
AT ITER 1674 NEW BEST:: SOT 6861150 SOS 1307760 HAS SOPS 1307760 HAS SOUS 1041561 HAS SOUPS 1041561 WITH SCORE 1042868.76
AT ITER 1694 NEW BEST:: SOT 6861026 SOS 1307512 HAS SOPS 1307512 HAS SOUS 1041065 HAS SOUPS 1041065 WITH SCORE 1042372.512
AT ITER 1702 NEW BEST:: SOT 6860918 SOS 1307297 HAS SOPS 1307297 HAS SOUS 1040955 HAS SOUPS 1040955 WITH SCORE 1042262.297
AT ITER 1726 NEW BEST:: SOT 6860918 SOS 1307075 HAS SOPS 1307075 HAS SOUS 1038553 HAS SOUPS 1038553 WITH SCORE 1039860.075
AT ITER 1736 NEW BEST:: SOT 6860690 SOS 1306573 HAS SOPS 1306573 HAS SOUS 1038095 HAS SOUPS 1038095 WITH SCORE 1039401.573
AT ITER 1768 NEW BEST:: SOT 6860628 SOS 1306215 HAS SOPS 1306215 HAS SOUS 1037863 HAS SOUPS 1037863 WITH SCORE 1039169.215
AT ITER 1769 NEW BEST:: SOT 6860007 SOS 1306150 HAS SOPS 1306150 HAS SOUS 1037534 HAS SOUPS 1037534 WITH SCORE 1038840.15
AT ITER 1791 NEW BEST:: SOT 6860007 SOS 1305913 HAS SOPS 1305913 HAS SOUS 1037533 HAS SOUPS 1037533 WITH SCORE 1038838.913
AT ITER 1806 NEW BEST:: SOT 6859409 SOS 1305969 HAS SOPS 1305969 HAS SOUS 1036935 HAS SOUPS 1036935 WITH SCORE 1038240.969
AT ITER 1873 NEW BEST:: SOT 6858858 SOS 1306034 HAS SOPS 1306034 HAS SOUS 1036646 HAS SOUPS 1036646 WITH SCORE 1037952.034
AT ITER 1884 NEW BEST:: SOT 6858899 SOS 1306008 HAS SOPS 1306008 HAS SOUS 1036620 HAS SOUPS 1036620 WITH SCORE 1037926.008
AT ITER 1890 NEW BEST:: SOT 6858695 SOS 1305953 HAS SOPS 1305953 HAS SOUS 1036565 HAS SOUPS 1036565 WITH SCORE 1037870.953
AT ITER 1894 NEW BEST:: SOT 6858129 SOS 1305396 HAS SOPS 1305396 HAS SOUS 1036008 HAS SOUPS 1036008 WITH SCORE 1037313.396
AT ITER 1898 NEW BEST:: SOT 6858129 SOS 1306342 HAS SOPS 1306342 HAS SOUS 1035981 HAS SOUPS 1035981 WITH SCORE 1037287.342
AT ITER 1903 NEW BEST:: SOT 6858067 SOS 1306218 HAS SOPS 1306218 HAS SOUS 1035857 HAS SOUPS 1035857 WITH SCORE 1037163.218
AT ITER 1944 NEW BEST:: SOT 6857930 SOS 1306057 HAS SOPS 1306057 HAS SOUS 1035837 HAS SOUPS 1035837 WITH SCORE 1037143.057
AT ITER 1948 NEW BEST:: SOT 6857924 SOS 1306045 HAS SOPS 1306045 HAS SOUS 1035825 HAS SOUPS 1035825 WITH SCORE 1037131.045
AT ITER 1970 NEW BEST:: SOT 6857837 SOS 1305528 HAS SOPS 1305528 HAS SOUS 1035651 HAS SOUPS 1035651 WITH SCORE 1036956.528
AT ITER 1983 NEW BEST:: SOT 6857737 SOS 1305342 HAS SOPS 1305342 HAS SOUS 1035465 HAS SOUPS 1035465 WITH SCORE 1036770.342
AT ITER 1990 NEW BEST:: SOT 6856715 SOS 1304174 HAS SOPS 1304174 HAS SOUS 1035319 HAS SOUPS 1035319 WITH SCORE 1036623.174
AT ITER 2019 NEW BEST:: SOT 6856635 SOS 1304482 HAS SOPS 1304482 HAS SOUS 1035232 HAS SOUPS 1035232 WITH SCORE 1036536.482
AT ITER 2022 NEW BEST:: SOT 6856211 SOS 1304058 HAS SOPS 1304058 HAS SOUS 1034808 HAS SOUPS 1034808 WITH SCORE 1036112.058
AT ITER 2035 NEW BEST:: SOT 6856008 SOS 1303341 HAS SOPS 1303341 HAS SOUS 1034539 HAS SOUPS 1034539 WITH SCORE 1035842.341
AT ITER 2061 NEW BEST:: SOT 6855777 SOS 1303099 HAS SOPS 1303099 HAS SOUS 1034297 HAS SOUPS 1034297 WITH SCORE 1035600.099
AT ITER 2088 NEW BEST:: SOT 6855676 SOS 1302653 HAS SOPS 1302653 HAS SOUS 1033827 HAS SOUPS 1033827 WITH SCORE 1035129.653
AT ITER 2113 NEW BEST:: SOT 6855609 SOS 1302450 HAS SOPS 1302450 HAS SOUS 1033624 HAS SOUPS 1033624 WITH SCORE 1034926.45
AT ITER 2121 NEW BEST:: SOT 6855431 SOS 1302272 HAS SOPS 1302272 HAS SOUS 1033268 HAS SOUPS 1033268 WITH SCORE 1034570.272
AT ITER 2149 NEW BEST:: SOT 6855431 SOS 1302437 HAS SOPS 1302437 HAS SOUS 1033267 HAS SOUPS 1033267 WITH SCORE 1034569.437
AT ITER 2152 NEW BEST:: SOT 6855430 SOS 1302189 HAS SOPS 1302189 HAS SOUS 1033265 HAS SOUPS 1033265 WITH SCORE 1034567.189
AT ITER 2158 NEW BEST:: SOT 6855292 SOS 1301916 HAS SOPS 1301916 HAS SOUS 1032992 HAS SOUPS 1032992 WITH SCORE 1034293.916
AT ITER 2166 NEW BEST:: SOT 6853201 SOS 1301602 HAS SOPS 1301602 HAS SOUS 1031441 HAS SOUPS 1031441 WITH SCORE 1032742.602
AT ITER 2167 NEW BEST:: SOT 6853018 SOS 1301460 HAS SOPS 1301460 HAS SOUS 1031289 HAS SOUPS 1031289 WITH SCORE 1032590.46
AT ITER 2193 NEW BEST:: SOT 6852886 SOS 1301452 HAS SOPS 1301452 HAS SOUS 1031268 HAS SOUPS 1031268 WITH SCORE 1032569.452
AT ITER 2194 NEW BEST:: SOT 6852585 SOS 1300849 HAS SOPS 1300849 HAS SOUS 1030665 HAS SOUPS 1030665 WITH SCORE 1031965.849
AT ITER 2196 NEW BEST:: SOT 6852585 SOS 1300848 HAS SOPS 1300848 HAS SOUS 1030664 HAS SOUPS 1030664 WITH SCORE 1031964.848
AT ITER 2198 NEW BEST:: SOT 6852498 SOS 1300064 HAS SOPS 1300064 HAS SOUS 1030489 HAS SOUPS 1030489 WITH SCORE 1031789.064
AT ITER 2202 NEW BEST:: SOT 6852362 SOS 1299656 HAS SOPS 1299656 HAS SOUS 1030216 HAS SOUPS 1030216 WITH SCORE 1031515.656
AT ITER 2261 NEW BEST:: SOT 6852281 SOS 1299493 HAS SOPS 1299493 HAS SOUS 1030053 HAS SOUPS 1030053 WITH SCORE 1031352.493
AT ITER 2271 NEW BEST:: SOT 6852281 SOS 1299457 HAS SOPS 1299457 HAS SOUS 1030017 HAS SOUPS 1030017 WITH SCORE 1031316.457
AT ITER 2315 NEW BEST:: SOT 6852196 SOS 1299287 HAS SOPS 1299287 HAS SOUS 1029847 HAS SOUPS 1029847 WITH SCORE 1031146.287
AT ITER 2337 NEW BEST:: SOT 6852093 SOS 1299079 HAS SOPS 1299079 HAS SOUS 1029639 HAS SOUPS 1029639 WITH SCORE 1030938.079
AT ITER 2360 NEW BEST:: SOT 6851862 SOS 1298854 HAS SOPS 1298854 HAS SOUS 1029456 HAS SOUPS 1029456 WITH SCORE 1030754.854
AT ITER 2369 NEW BEST:: SOT 6851808 SOS 1298113 HAS SOPS 1298113 HAS SOUS 1029138 HAS SOUPS 1029138 WITH SCORE 1030436.113
AT ITER 2385 NEW BEST:: SOT 6851808 SOS 1298079 HAS SOPS 1298079 HAS SOUS 1029104 HAS SOUPS 1029104 WITH SCORE 1030402.079
AT ITER 2391 NEW BEST:: SOT 6851929 SOS 1297765 HAS SOPS 1297765 HAS SOUS 1028888 HAS SOUPS 1028888 WITH SCORE 1030185.765
AT ITER 2401 NEW BEST:: SOT 6851671 SOS 1297249 HAS SOPS 1297249 HAS SOUS 1028372 HAS SOUPS 1028372 WITH SCORE 1029669.249
AT ITER 2404 NEW BEST:: SOT 6851351 SOS 1296607 HAS SOPS 1296607 HAS SOUS 1027730 HAS SOUPS 1027730 WITH SCORE 1029026.607
AT ITER 2406 NEW BEST:: SOT 6850993 SOS 1296170 HAS SOPS 1296170 HAS SOUS 1027660 HAS SOUPS 1027660 WITH SCORE 1028956.17
AT ITER 2446 NEW BEST:: SOT 6850863 SOS 1294944 HAS SOPS 1294944 HAS SOUS 1027393 HAS SOUPS 1027393 WITH SCORE 1028687.944
AT ITER 2456 NEW BEST:: SOT 6850625 SOS 1294706 HAS SOPS 1294706 HAS SOUS 1026917 HAS SOUPS 1026917 WITH SCORE 1028211.706
AT ITER 2475 NEW BEST:: SOT 6848118 SOS 1292166 HAS SOPS 1292166 HAS SOUS 1026857 HAS SOUPS 1026857 WITH SCORE 1028149.166
AT ITER 2498 NEW BEST:: SOT 6847956 SOS 1292039 HAS SOPS 1292039 HAS SOUS 1026730 HAS SOUPS 1026730 WITH SCORE 1028022.039
AT ITER 2501 NEW BEST:: SOT 6846934 SOS 1292801 HAS SOPS 1292801 HAS SOUS 1026196 HAS SOUPS 1026196 WITH SCORE 1027488.801
AT ITER 2551 NEW BEST:: SOT 6846923 SOS 1292636 HAS SOPS 1292636 HAS SOUS 1026165 HAS SOUPS 1026165 WITH SCORE 1027457.636
AT ITER 2580 NEW BEST:: SOT 6846923 SOS 1292661 HAS SOPS 1292661 HAS SOUS 1025521 HAS SOUPS 1025521 WITH SCORE 1026813.661
AT ITER 2601 NEW BEST:: SOT 6846923 SOS 1292508 HAS SOPS 1292508 HAS SOUS 1025469 HAS SOUPS 1025469 WITH SCORE 1026761.508
AT ITER 2605 NEW BEST:: SOT 6846922 SOS 1292442 HAS SOPS 1292442 HAS SOUS 1025467 HAS SOUPS 1025467 WITH SCORE 1026759.442
AT ITER 2650 NEW BEST:: SOT 6846950 SOS 1292442 HAS SOPS 1292442 HAS SOUS 1025439 HAS SOUPS 1025439 WITH SCORE 1026731.442
AT ITER 2653 NEW BEST:: SOT 6845758 SOS 1291845 HAS SOPS 1291845 HAS SOUS 1024246 HAS SOUPS 1024246 WITH SCORE 1025537.845
AT ITER 2664 NEW BEST:: SOT 6845758 SOS 1291669 HAS SOPS 1291669 HAS SOUS 1024145 HAS SOUPS 1024145 WITH SCORE 1025436.669
AT ITER 2670 NEW BEST:: SOT 6845483 SOS 1292735 HAS SOPS 1292735 HAS SOUS 1023587 HAS SOUPS 1023587 WITH SCORE 1024879.735
AT ITER 2687 NEW BEST:: SOT 6845443 SOS 1292436 HAS SOPS 1292436 HAS SOUS 1023509 HAS SOUPS 1023509 WITH SCORE 1024801.436
AT ITER 2697 NEW BEST:: SOT 6845443 SOS 1292364 HAS SOPS 1292364 HAS SOUS 1023505 HAS SOUPS 1023505 WITH SCORE 1024797.364
AT ITER 2734 NEW BEST:: SOT 6845292 SOS 1292201 HAS SOPS 1292201 HAS SOUS 1023342 HAS SOUPS 1023342 WITH SCORE 1024634.201
AT ITER 2751 NEW BEST:: SOT 6844456 SOS 1291365 HAS SOPS 1291365 HAS SOUS 1022506 HAS SOUPS 1022506 WITH SCORE 1023797.365
AT ITER 2760 NEW BEST:: SOT 6844396 SOS 1291740 HAS SOPS 1291740 HAS SOUS 1019906 HAS SOUPS 1019906 WITH SCORE 1021197.74
AT ITER 2780 NEW BEST:: SOT 6844322 SOS 1291541 HAS SOPS 1291541 HAS SOUS 1019761 HAS SOUPS 1019761 WITH SCORE 1021052.541
AT ITER 2825 NEW BEST:: SOT 6844085 SOS 1291289 HAS SOPS 1291289 HAS SOUS 1019509 HAS SOUPS 1019509 WITH SCORE 1020800.289
AT ITER 2837 NEW BEST:: SOT 6843317 SOS 1290436 HAS SOPS 1290436 HAS SOUS 1018741 HAS SOUPS 1018741 WITH SCORE 1020031.436
AT ITER 2845 NEW BEST:: SOT 6843312 SOS 1290426 HAS SOPS 1290426 HAS SOUS 1018731 HAS SOUPS 1018731 WITH SCORE 1020021.426
AT ITER 2847 NEW BEST:: SOT 6843170 SOS 1290037 HAS SOPS 1290037 HAS SOUS 1018342 HAS SOUPS 1018342 WITH SCORE 1019632.037
AT ITER 2856 NEW BEST:: SOT 6843043 SOS 1290123 HAS SOPS 1290123 HAS SOUS 1018284 HAS SOUPS 1018284 WITH SCORE 1019574.123
AT ITER 2878 NEW BEST:: SOT 6840631 SOS 1288582 HAS SOPS 1288582 HAS SOUS 1016273 HAS SOUPS 1016273 WITH SCORE 1017561.582
AT ITER 2881 NEW BEST:: SOT 6840631 SOS 1288465 HAS SOPS 1288465 HAS SOUS 1016156 HAS SOUPS 1016156 WITH SCORE 1017444.465
AT ITER 2899 NEW BEST:: SOT 6840522 SOS 1288262 HAS SOPS 1288262 HAS SOUS 1015953 HAS SOUPS 1015953 WITH SCORE 1017241.262
AT ITER 2903 NEW BEST:: SOT 6840522 SOS 1288261 HAS SOPS 1288261 HAS SOUS 1015952 HAS SOUPS 1015952 WITH SCORE 1017240.261
AT ITER 2940 NEW BEST:: SOT 6838714 SOS 1286895 HAS SOPS 1286895 HAS SOUS 1014494 HAS SOUPS 1014494 WITH SCORE 1015780.895
AT ITER 2960 NEW BEST:: SOT 6838713 SOS 1286894 HAS SOPS 1286894 HAS SOUS 1014493 HAS SOUPS 1014493 WITH SCORE 1015779.894
AT ITER 2964 NEW BEST:: SOT 6838323 SOS 1286216 HAS SOPS 1286216 HAS SOUS 1014102 HAS SOUPS 1014102 WITH SCORE 1015388.216
AT ITER 2988 NEW BEST:: SOT 6838323 SOS 1285915 HAS SOPS 1285915 HAS SOUS 1014095 HAS SOUPS 1014095 WITH SCORE 1015380.915
AT ITER 3008 NEW BEST:: SOT 6838350 SOS 1285403 HAS SOPS 1285403 HAS SOUS 1013685 HAS SOUPS 1013685 WITH SCORE 1014970.403
AT ITER 3010 NEW BEST:: SOT 6835648 SOS 1286338 HAS SOPS 1286338 HAS SOUS 1011420 HAS SOUPS 1011420 WITH SCORE 1012706.338
AT ITER 3025 NEW BEST:: SOT 6835648 SOS 1286464 HAS SOPS 1286464 HAS SOUS 1011196 HAS SOUPS 1011196 WITH SCORE 1012482.464
AT ITER 3032 NEW BEST:: SOT 6835602 SOS 1286316 HAS SOPS 1286316 HAS SOUS 1011149 HAS SOUPS 1011149 WITH SCORE 1012435.316
AT ITER 3063 NEW BEST:: SOT 6835188 SOS 1286149 HAS SOPS 1286149 HAS SOUS 1010941 HAS SOUPS 1010941 WITH SCORE 1012227.149
AT ITER 3090 NEW BEST:: SOT 6835188 SOS 1286126 HAS SOPS 1286126 HAS SOUS 1010917 HAS SOUPS 1010917 WITH SCORE 1012203.126
AT ITER 3133 NEW BEST:: SOT 6835186 SOS 1286024 HAS SOPS 1286024 HAS SOUS 1010913 HAS SOUPS 1010913 WITH SCORE 1012199.024
AT ITER 3156 NEW BEST:: SOT 6835129 SOS 1285910 HAS SOPS 1285910 HAS SOUS 1010799 HAS SOUPS 1010799 WITH SCORE 1012084.91
AT ITER 3165 NEW BEST:: SOT 6834899 SOS 1285364 HAS SOPS 1285364 HAS SOUS 1007149 HAS SOUPS 1007149 WITH SCORE 1008434.364
AT ITER 3179 NEW BEST:: SOT 6834899 SOS 1284932 HAS SOPS 1284932 HAS SOUS 1007149 HAS SOUPS 1007149 WITH SCORE 1008433.932
AT ITER 3190 NEW BEST:: SOT 6834562 SOS 1284595 HAS SOPS 1284595 HAS SOUS 1006812 HAS SOUPS 1006812 WITH SCORE 1008096.595
AT ITER 3191 NEW BEST:: SOT 6834409 SOS 1284227 HAS SOPS 1284227 HAS SOUS 1006444 HAS SOUPS 1006444 WITH SCORE 1007728.227
AT ITER 3196 NEW BEST:: SOT 6834086 SOS 1283911 HAS SOPS 1283911 HAS SOUS 1006128 HAS SOUPS 1006128 WITH SCORE 1007411.911
AT ITER 3198 NEW BEST:: SOT 6833958 SOS 1283799 HAS SOPS 1283799 HAS SOUS 1006016 HAS SOUPS 1006016 WITH SCORE 1007299.799
AT ITER 3200 NEW BEST:: SOT 6831558 SOS 1285940 HAS SOPS 1285940 HAS SOUS 1004224 HAS SOUPS 1004224 WITH SCORE 1005509.94
AT ITER 3215 NEW BEST:: SOT 6831541 SOS 1285921 HAS SOPS 1285921 HAS SOUS 1004205 HAS SOUPS 1004205 WITH SCORE 1005490.921
AT ITER 3224 NEW BEST:: SOT 6831697 SOS 1285803 HAS SOPS 1285803 HAS SOUS 1004184 HAS SOUPS 1004184 WITH SCORE 1005469.803
AT ITER 3231 NEW BEST:: SOT 6831697 SOS 1285864 HAS SOPS 1285864 HAS SOUS 1004180 HAS SOUPS 1004180 WITH SCORE 1005465.864
AT ITER 3281 NEW BEST:: SOT 6831419 SOS 1285078 HAS SOPS 1285078 HAS SOUS 1003622 HAS SOUPS 1003622 WITH SCORE 1004907.078
AT ITER 3315 NEW BEST:: SOT 6831416 SOS 1285075 HAS SOPS 1285075 HAS SOUS 1003619 HAS SOUPS 1003619 WITH SCORE 1004904.075
AT ITER 3328 NEW BEST:: SOT 6829490 SOS 1282680 HAS SOPS 1282680 HAS SOUS 1003619 HAS SOUPS 1003619 WITH SCORE 1004901.68
AT ITER 3332 NEW BEST:: SOT 6829468 SOS 1282614 HAS SOPS 1282614 HAS SOUS 1003575 HAS SOUPS 1003575 WITH SCORE 1004857.614
AT ITER 3343 NEW BEST:: SOT 6829476 SOS 1282622 HAS SOPS 1282622 HAS SOUS 1003572 HAS SOUPS 1003572 WITH SCORE 1004854.622
AT ITER 3366 NEW BEST:: SOT 6828666 SOS 1282321 HAS SOPS 1282321 HAS SOUS 1002458 HAS SOUPS 1002458 WITH SCORE 1003740.321
AT ITER 3408 NEW BEST:: SOT 6828581 SOS 1283142 HAS SOPS 1283142 HAS SOUS 1002372 HAS SOUPS 1002372 WITH SCORE 1003655.142
AT ITER 3415 NEW BEST:: SOT 6828390 SOS 1282958 HAS SOPS 1282958 HAS SOUS 1002181 HAS SOUPS 1002181 WITH SCORE 1003463.958
AT ITER 3422 NEW BEST:: SOT 6828154 SOS 1282820 HAS SOPS 1282820 HAS SOUS 1001709 HAS SOUPS 1001709 WITH SCORE 1002991.82
AT ITER 3427 NEW BEST:: SOT 6828108 SOS 1282590 HAS SOPS 1282590 HAS SOUS 1001617 HAS SOUPS 1001617 WITH SCORE 1002899.59
AT ITER 3469 NEW BEST:: SOT 6828055 SOS 1282575 HAS SOPS 1282575 HAS SOUS 1001512 HAS SOUPS 1001512 WITH SCORE 1002794.575
AT ITER 3504 NEW BEST:: SOT 6828053 SOS 1282573 HAS SOPS 1282573 HAS SOUS 1001510 HAS SOUPS 1001510 WITH SCORE 1002792.573
AT ITER 3508 NEW BEST:: SOT 6828005 SOS 1282546 HAS SOPS 1282546 HAS SOUS 1001483 HAS SOUPS 1001483 WITH SCORE 1002765.546
AT ITER 3523 NEW BEST:: SOT 6827060 SOS 1281601 HAS SOPS 1281601 HAS SOUS 1001482 HAS SOUPS 1001482 WITH SCORE 1002763.601
AT ITER 3549 NEW BEST:: SOT 6827072 SOS 1281639 HAS SOPS 1281639 HAS SOUS 1001477 HAS SOUPS 1001477 WITH SCORE 1002758.639
AT ITER 3550 NEW BEST:: SOT 6826989 SOS 1281594 HAS SOPS 1281594 HAS SOUS 1001432 HAS SOUPS 1001432 WITH SCORE 1002713.594
AT ITER 3631 NEW BEST:: SOT 6826812 SOS 1281372 HAS SOPS 1281372 HAS SOUS 999858 HAS SOUPS 999858 WITH SCORE 1001139.372
AT ITER 3637 NEW BEST:: SOT 6826774 SOS 1281296 HAS SOPS 1281296 HAS SOUS 999478 HAS SOUPS 999478 WITH SCORE 1000759.296
AT ITER 3641 NEW BEST:: SOT 6826740 SOS 1281262 HAS SOPS 1281262 HAS SOUS 999444 HAS SOUPS 999444 WITH SCORE 1000725.262
AT ITER 3650 NEW BEST:: SOT 6826285 SOS 1280036 HAS SOPS 1280036 HAS SOUS 998489 HAS SOUPS 998489 WITH SCORE 999769.036
AT ITER 3651 NEW BEST:: SOT 6826279 SOS 1280004 HAS SOPS 1280004 HAS SOUS 998457 HAS SOUPS 998457 WITH SCORE 999737.004
AT ITER 3655 NEW BEST:: SOT 6826011 SOS 1279736 HAS SOPS 1279736 HAS SOUS 998189 HAS SOUPS 998189 WITH SCORE 999468.736
AT ITER 3662 NEW BEST:: SOT 6825752 SOS 1279588 HAS SOPS 1279588 HAS SOUS 997794 HAS SOUPS 997794 WITH SCORE 999073.588
AT ITER 3663 NEW BEST:: SOT 6825752 SOS 1279428 HAS SOPS 1279428 HAS SOUS 997794 HAS SOUPS 997794 WITH SCORE 999073.428
AT ITER 3670 NEW BEST:: SOT 6825202 SOS 1279138 HAS SOPS 1279138 HAS SOUS 997353 HAS SOUPS 997353 WITH SCORE 998632.138
AT ITER 3693 NEW BEST:: SOT 6825193 SOS 1279036 HAS SOPS 1279036 HAS SOUS 997206 HAS SOUPS 997206 WITH SCORE 998485.036
AT ITER 3707 NEW BEST:: SOT 6825181 SOS 1279000 HAS SOPS 1279000 HAS SOUS 997188 HAS SOUPS 997188 WITH SCORE 998467.0
AT ITER 3709 NEW BEST:: SOT 6825152 SOS 1278951 HAS SOPS 1278951 HAS SOUS 997139 HAS SOUPS 997139 WITH SCORE 998417.951
AT ITER 3719 NEW BEST:: SOT 6825198 SOS 1278591 HAS SOPS 1278591 HAS SOUS 996945 HAS SOUPS 996945 WITH SCORE 998223.591
AT ITER 3729 NEW BEST:: SOT 6825190 SOS 1278440 HAS SOPS 1278440 HAS SOUS 996819 HAS SOUPS 996819 WITH SCORE 998097.44
AT ITER 3731 NEW BEST:: SOT 6825190 SOS 1278229 HAS SOPS 1278229 HAS SOUS 996819 HAS SOUPS 996819 WITH SCORE 998097.229
AT ITER 3749 NEW BEST:: SOT 6824510 SOS 1277549 HAS SOPS 1277549 HAS SOUS 996733 HAS SOUPS 996733 WITH SCORE 998010.549
AT ITER 3762 NEW BEST:: SOT 6824509 SOS 1277541 HAS SOPS 1277541 HAS SOUS 996731 HAS SOUPS 996731 WITH SCORE 998008.541
AT ITER 3804 NEW BEST:: SOT 6824219 SOS 1277149 HAS SOPS 1277149 HAS SOUS 996202 HAS SOUPS 996202 WITH SCORE 997479.149
AT ITER 3808 NEW BEST:: SOT 6824137 SOS 1276026 HAS SOPS 1276026 HAS SOUS 996038 HAS SOUPS 996038 WITH SCORE 997314.026
AT ITER 3833 NEW BEST:: SOT 6824866 SOS 1278692 HAS SOPS 1278692 HAS SOUS 994392 HAS SOUPS 994392 WITH SCORE 995670.692
AT ITER 3857 NEW BEST:: SOT 6824677 SOS 1278314 HAS SOPS 1278314 HAS SOUS 994203 HAS SOUPS 994203 WITH SCORE 995481.314
AT ITER 3863 NEW BEST:: SOT 6824645 SOS 1278004 HAS SOPS 1278004 HAS SOUS 994092 HAS SOUPS 994092 WITH SCORE 995370.004
AT ITER 3869 NEW BEST:: SOT 6824624 SOS 1277962 HAS SOPS 1277962 HAS SOUS 994050 HAS SOUPS 994050 WITH SCORE 995327.962
AT ITER 3879 NEW BEST:: SOT 6824021 SOS 1277430 HAS SOPS 1277430 HAS SOUS 993471 HAS SOUPS 993471 WITH SCORE 994748.43
AT ITER 3881 NEW BEST:: SOT 6823618 SOS 1277074 HAS SOPS 1277074 HAS SOUS 993115 HAS SOUPS 993115 WITH SCORE 994392.074
AT ITER 3914 NEW BEST:: SOT 6823551 SOS 1277045 HAS SOPS 1277045 HAS SOUS 993086 HAS SOUPS 993086 WITH SCORE 994363.045
AT ITER 3940 NEW BEST:: SOT 6823551 SOS 1277000 HAS SOPS 1277000 HAS SOUS 993085 HAS SOUPS 993085 WITH SCORE 994362.0
AT ITER 3955 NEW BEST:: SOT 6823560 SOS 1276998 HAS SOPS 1276998 HAS SOUS 993083 HAS SOUPS 993083 WITH SCORE 994359.998
AT ITER 3978 NEW BEST:: SOT 6823560 SOS 1276798 HAS SOPS 1276798 HAS SOUS 993082 HAS SOUPS 993082 WITH SCORE 994358.798
AT ITER 3981 NEW BEST:: SOT 6823560 SOS 1276786 HAS SOPS 1276786 HAS SOUS 993080 HAS SOUPS 993080 WITH SCORE 994356.786
AT ITER 3989 NEW BEST:: SOT 6823439 SOS 1276665 HAS SOPS 1276665 HAS SOUS 992938 HAS SOUPS 992938 WITH SCORE 994214.665
AT ITER 3996 NEW BEST:: SOT 6823056 SOS 1276259 HAS SOPS 1276259 HAS SOUS 992659 HAS SOUPS 992659 WITH SCORE 993935.259
AT ITER 4022 NEW BEST:: SOT 6823034 SOS 1276215 HAS SOPS 1276215 HAS SOUS 992615 HAS SOUPS 992615 WITH SCORE 993891.215
AT ITER 4030 NEW BEST:: SOT 6822895 SOS 1276142 HAS SOPS 1276142 HAS SOUS 992542 HAS SOUPS 992542 WITH SCORE 993818.142
AT ITER 4064 NEW BEST:: SOT 6822172 SOS 1275419 HAS SOPS 1275419 HAS SOUS 991819 HAS SOUPS 991819 WITH SCORE 993094.419
AT ITER 4070 NEW BEST:: SOT 6821922 SOS 1274919 HAS SOPS 1274919 HAS SOUS 991319 HAS SOUPS 991319 WITH SCORE 992593.919
AT ITER 4077 NEW BEST:: SOT 6821922 SOS 1274767 HAS SOPS 1274767 HAS SOUS 991167 HAS SOUPS 991167 WITH SCORE 992441.767
AT ITER 4110 NEW BEST:: SOT 6821759 SOS 1274258 HAS SOPS 1274258 HAS SOUS 990570 HAS SOUPS 990570 WITH SCORE 991844.258
AT ITER 4157 NEW BEST:: SOT 6821266 SOS 1273935 HAS SOPS 1273935 HAS SOUS 990247 HAS SOUPS 990247 WITH SCORE 991520.935
AT ITER 4166 NEW BEST:: SOT 6821204 SOS 1273757 HAS SOPS 1273757 HAS SOUS 990167 HAS SOUPS 990167 WITH SCORE 991440.757
AT ITER 4187 NEW BEST:: SOT 6821178 SOS 1273715 HAS SOPS 1273715 HAS SOUS 990090 HAS SOUPS 990090 WITH SCORE 991363.715
AT ITER 4189 NEW BEST:: SOT 6821043 SOS 1273321 HAS SOPS 1273321 HAS SOUS 989901 HAS SOUPS 989901 WITH SCORE 991174.321
AT ITER 4205 NEW BEST:: SOT 6820903 SOS 1272901 HAS SOPS 1272901 HAS SOUS 989590 HAS SOUPS 989590 WITH SCORE 990862.901
AT ITER 4240 NEW BEST:: SOT 6820903 SOS 1272259 HAS SOPS 1272259 HAS SOUS 989543 HAS SOUPS 989543 WITH SCORE 990815.259
AT ITER 4250 NEW BEST:: SOT 6820903 SOS 1272602 HAS SOPS 1272602 HAS SOUS 989501 HAS SOUPS 989501 WITH SCORE 990773.602
AT ITER 4295 NEW BEST:: SOT 6820903 SOS 1272483 HAS SOPS 1272483 HAS SOUS 989501 HAS SOUPS 989501 WITH SCORE 990773.483
AT ITER 4302 NEW BEST:: SOT 6820778 SOS 1272032 HAS SOPS 1272032 HAS SOUS 989050 HAS SOUPS 989050 WITH SCORE 990322.032
AT ITER 4318 NEW BEST:: SOT 6820576 SOS 1270820 HAS SOPS 1270820 HAS SOUS 988646 HAS SOUPS 988646 WITH SCORE 989916.82
AT ITER 4357 NEW BEST:: SOT 6820575 SOS 1270545 HAS SOPS 1270545 HAS SOUS 988641 HAS SOUPS 988641 WITH SCORE 989911.545
AT ITER 4365 NEW BEST:: SOT 6820525 SOS 1270494 HAS SOPS 1270494 HAS SOUS 988590 HAS SOUPS 988590 WITH SCORE 989860.494
AT ITER 4398 NEW BEST:: SOT 6820263 SOS 1269959 HAS SOPS 1269959 HAS SOUS 988055 HAS SOUPS 988055 WITH SCORE 989324.959
AT ITER 4405 NEW BEST:: SOT 6819891 SOS 1269431 HAS SOPS 1269431 HAS SOUS 987726 HAS SOUPS 987726 WITH SCORE 988995.431
AT ITER 4472 NEW BEST:: SOT 6819288 SOS 1269466 HAS SOPS 1269466 HAS SOUS 987635 HAS SOUPS 987635 WITH SCORE 988904.466
AT ITER 4487 NEW BEST:: SOT 6818831 SOS 1268987 HAS SOPS 1268987 HAS SOUS 987156 HAS SOUPS 987156 WITH SCORE 988424.987
AT ITER 4513 NEW BEST:: SOT 6818667 SOS 1268698 HAS SOPS 1268698 HAS SOUS 986357 HAS SOUPS 986357 WITH SCORE 987625.698
AT ITER 4518 NEW BEST:: SOT 6818636 SOS 1268636 HAS SOPS 1268636 HAS SOUS 986295 HAS SOUPS 986295 WITH SCORE 987563.636
AT ITER 4531 NEW BEST:: SOT 6818634 SOS 1268586 HAS SOPS 1268586 HAS SOUS 986291 HAS SOUPS 986291 WITH SCORE 987559.586
AT ITER 4562 NEW BEST:: SOT 6818590 SOS 1268434 HAS SOPS 1268434 HAS SOUS 986139 HAS SOUPS 986139 WITH SCORE 987407.434
AT ITER 4570 NEW BEST:: SOT 6818547 SOS 1268764 HAS SOPS 1268764 HAS SOUS 986042 HAS SOUPS 986042 WITH SCORE 987310.764
AT ITER 4585 NEW BEST:: SOT 6818547 SOS 1268659 HAS SOPS 1268659 HAS SOUS 986041 HAS SOUPS 986041 WITH SCORE 987309.659
AT ITER 4593 NEW BEST:: SOT 6818547 SOS 1268518 HAS SOPS 1268518 HAS SOUS 985900 HAS SOUPS 985900 WITH SCORE 987168.518
AT ITER 4595 NEW BEST:: SOT 6818547 SOS 1268448 HAS SOPS 1268448 HAS SOUS 985898 HAS SOUPS 985898 WITH SCORE 987166.448
AT ITER 4605 NEW BEST:: SOT 6818473 SOS 1268062 HAS SOPS 1268062 HAS SOUS 985732 HAS SOUPS 985732 WITH SCORE 987000.062
AT ITER 4610 NEW BEST:: SOT 6818473 SOS 1268061 HAS SOPS 1268061 HAS SOUS 985688 HAS SOUPS 985688 WITH SCORE 986956.061
AT ITER 4684 NEW BEST:: SOT 6818326 SOS 1267867 HAS SOPS 1267867 HAS SOUS 985494 HAS SOUPS 985494 WITH SCORE 986761.867
AT ITER 4704 NEW BEST:: SOT 6818322 SOS 1267859 HAS SOPS 1267859 HAS SOUS 983866 HAS SOUPS 983866 WITH SCORE 985133.859
AT ITER 4741 NEW BEST:: SOT 6818322 SOS 1267808 HAS SOPS 1267808 HAS SOUS 983866 HAS SOUPS 983866 WITH SCORE 985133.808
AT ITER 4770 NEW BEST:: SOT 6818321 SOS 1267806 HAS SOPS 1267806 HAS SOUS 983864 HAS SOUPS 983864 WITH SCORE 985131.806
AT ITER 4771 NEW BEST:: SOT 6818144 SOS 1267601 HAS SOPS 1267601 HAS SOUS 983659 HAS SOUPS 983659 WITH SCORE 984926.601
AT ITER 4798 NEW BEST:: SOT 6817292 SOS 1266851 HAS SOPS 1266851 HAS SOUS 982909 HAS SOUPS 982909 WITH SCORE 984175.851
AT ITER 4844 NEW BEST:: SOT 6817269 SOS 1266805 HAS SOPS 1266805 HAS SOUS 982884 HAS SOUPS 982884 WITH SCORE 984150.805
AT ITER 4858 NEW BEST:: SOT 6817075 SOS 1266763 HAS SOPS 1266763 HAS SOUS 982690 HAS SOUPS 982690 WITH SCORE 983956.763
AT ITER 4864 NEW BEST:: SOT 6816928 SOS 1267082 HAS SOPS 1267082 HAS SOUS 982543 HAS SOUPS 982543 WITH SCORE 983810.082
AT ITER 4997 NEW BEST:: SOT 6816928 SOS 1266844 HAS SOPS 1266844 HAS SOUS 982543 HAS SOUPS 982543 WITH SCORE 983809.844
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-07b-CTLFireability-00 ( (EG( ( ((potential((tk(P2534)>=1)))) | (! ( ((potential((tk(P941)>=1) & (tk(P1220)>=1)))) | ((potential((tk(P736)>=1)))) )) ))) | ( ((potential((tk(P1307)>=1)))) & (AG( ( ( ((potential((tk(P2367)>=1)))) & ((potential((tk(P2375)>=1)))) ) & ( ((potential((tk(P194)>=1)))) & ((potential((tk(P2947)>=1)))) ) ))) ) )
PROPERTY: ASLink-PT-07b-CTLFireability-01 ( ( (EF( ( ( ((potential((tk(P2476)>=1)))) & ((potential((tk(P1387)>=1)))) ) | ((potential((tk(P3110)>=1) & (tk(P3103)>=1)))) ))) | ((potential((tk(P2617)>=1)))) ) | ((potential((tk(P826)>=1)))) )
PROPERTY: ASLink-PT-07b-CTLFireability-02 (AF( ( (AU( ((potential((tk(P112)>=1) & (tk(P578)>=1)))) , ((potential((tk(P2459)>=1)))) )) & (AX( ((potential((tk(P2921)>=1) & (tk(P3070)>=1)))))) )))
PROPERTY: ASLink-PT-07b-CTLFireability-03 (AG( (AF( (! ((potential((tk(P2489)>=1) & (tk(P2859)>=1)))))))))
PROPERTY: ASLink-PT-07b-CTLFireability-04 (! ( (! ( ( ( ((potential((tk(P1462)>=1)))) | ((potential((tk(P116)>=1) & (tk(P581)>=1)))) ) & (! ((potential((tk(P111)>=1) & (tk(P574)>=1))))) ) | (EF( ((potential((tk(P2656)>=1)))))) )) & (! (AF( ((potential((tk(P2078)>=1) & (tk(P2540)>=1))))))) ))
PROPERTY: ASLink-PT-07b-CTLFireability-05 ( (EX( (EF( ((potential((tk(P2129)>=1) & (tk(P2405)>=1)))))))) | ((potential((tk(P1947)>=1) & (tk(P2024)>=1)))) )
PROPERTY: ASLink-PT-07b-CTLFireability-06 (EG( ( ((potential((tk(P2949)>=1) & (tk(P3171)>=1)))) | ( (! (! ((potential((tk(P1971)>=1)))))) | ( (! ((potential((tk(P2169)>=1))))) & (! ((potential((tk(P1875)>=1))))) ) ) )))
PROPERTY: ASLink-PT-07b-CTLFireability-07 ( ( (AU( (! ((potential((tk(P1708)>=1) & (tk(P2143)>=1))))) , ( ((potential((tk(P2818)>=1) & (tk(P2930)>=1)))) & ((potential((tk(P162)>=1)))) ) )) & (! ((potential((tk(P913)>=1) & (tk(P1364)>=1))))) ) & ( (EX( ( (! ((potential((tk(P1446)>=1))))) | ((potential((tk(P482)>=1)))) ))) | ((potential((tk(P3181)>=1)))) ) )
PROPERTY: ASLink-PT-07b-CTLFireability-08 (EF( ( ((potential((tk(P2073)>=1)))) & ( (EF( ((potential((tk(P124)>=1) & (tk(P563)>=1)))))) | ( ( ((potential((tk(P544)>=1) & (tk(P833)>=1)))) & ((potential((tk(P1160)>=1) & (tk(P1267)>=1)))) ) & ( ((potential((tk(P2087)>=1) & (tk(P2550)>=1)))) | ((potential((tk(P108)>=1) & (tk(P575)>=1)))) ) ) ) )))
PROPERTY: ASLink-PT-07b-CTLFireability-09 (EF( (! (AF( ( ((potential((tk(P2299)>=1)))) & ((potential((tk(P103)>=1) & (tk(P577)>=1)))) ))))))
PROPERTY: ASLink-PT-07b-CTLFireability-10 ( (EF( ((potential((tk(P2125)>=1)))))) | (AF( ((potential((tk(P103)>=1) & (tk(P562)>=1)))))) )
PROPERTY: ASLink-PT-07b-CTLFireability-11 (EF( (! ( ( (! ((potential((tk(P2501)>=1) & (tk(P2889)>=1))))) | ((potential((tk(P2597)>=1)))) ) | (! ( ((potential((tk(P265)>=1)))) & ((potential((tk(P902)>=1) & (tk(P1368)>=1)))) )) ))))
PROPERTY: ASLink-PT-07b-CTLFireability-12 (AG( ( (AF( ( ((potential((tk(P2736)>=1)))) & ((potential((tk(P2486)>=1) & (tk(P2905)>=1)))) ))) & ( (EF( ((potential((tk(P47)>=1) & (tk(P173)>=1)))))) | (! ( ((potential((tk(P890)>=1) & (tk(P1356)>=1)))) & ((potential((tk(P1348)>=1) & (tk(P1599)>=1)))) )) ) )))
PROPERTY: ASLink-PT-07b-CTLFireability-13 (AF( ((potential((tk(P116)>=1) & (tk(P569)>=1))))))
PROPERTY: ASLink-PT-07b-CTLFireability-14 ( ( (AX( ( ((potential((tk(P193)>=1)))) | ( ((potential((tk(P1883)>=1)))) & ((potential((tk(P260)>=1)))) ) ))) | ((potential((tk(P2914)>=1) & (tk(P3121)>=1)))) ) | ( (EF( (EG( ((potential((tk(P2469)>=1) & (tk(P2618)>=1)))))))) | (EU( ( ((potential((tk(P20)>=1) & (tk(P168)>=1)))) & ((potential((tk(P1703)>=1) & (tk(P2142)>=1)))) ) , ( ((potential((tk(P1466)>=1)))) & ((potential((tk(P499)>=1) & (tk(P958)>=1)))) ) )) ) )
PROPERTY: ASLink-PT-07b-CTLFireability-15 (AX( (EF( (EG( ((potential((tk(P588)>=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="ASLink-PT-07b"
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 ASLink-PT-07b, 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-158897508100116"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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