Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000324.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DES-PT-60a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000324
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 110K 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 DES-PT-60a-CTLFireability-00
FORMULA_NAME DES-PT-60a-CTLFireability-01
FORMULA_NAME DES-PT-60a-CTLFireability-02
FORMULA_NAME DES-PT-60a-CTLFireability-03
FORMULA_NAME DES-PT-60a-CTLFireability-04
FORMULA_NAME DES-PT-60a-CTLFireability-05
FORMULA_NAME DES-PT-60a-CTLFireability-06
FORMULA_NAME DES-PT-60a-CTLFireability-07
FORMULA_NAME DES-PT-60a-CTLFireability-08
FORMULA_NAME DES-PT-60a-CTLFireability-09
FORMULA_NAME DES-PT-60a-CTLFireability-10
FORMULA_NAME DES-PT-60a-CTLFireability-11
FORMULA_NAME DES-PT-60a-CTLFireability-12
FORMULA_NAME DES-PT-60a-CTLFireability-13
FORMULA_NAME DES-PT-60a-CTLFireability-14
FORMULA_NAME DES-PT-60a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589110398195

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 60a
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: 354 places, 311 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 95725 SOS 91385 HAS SOPS 91385 HAS SOUS 46913 HAS SOUPS 46913 WITH SCORE 47004.385
AT ITER 4 NEW BEST:: SOT 92227 SOS 88111 HAS SOPS 88111 HAS SOUS 43638 HAS SOUPS 43638 WITH SCORE 43726.111
AT ITER 21 NEW BEST:: SOT 91873 SOS 87757 HAS SOPS 87757 HAS SOUS 43220 HAS SOUPS 43220 WITH SCORE 43307.757
AT ITER 32 NEW BEST:: SOT 91870 SOS 87754 HAS SOPS 87754 HAS SOUS 43216 HAS SOUPS 43216 WITH SCORE 43303.754
AT ITER 36 NEW BEST:: SOT 91870 SOS 87751 HAS SOPS 87751 HAS SOUS 43216 HAS SOUPS 43216 WITH SCORE 43303.751
AT ITER 56 NEW BEST:: SOT 91732 SOS 87613 HAS SOPS 87613 HAS SOUS 43077 HAS SOUPS 43077 WITH SCORE 43164.613
AT ITER 57 NEW BEST:: SOT 91732 SOS 87445 HAS SOPS 87445 HAS SOUS 43076 HAS SOUPS 43076 WITH SCORE 43163.445
AT ITER 59 NEW BEST:: SOT 91606 SOS 87411 HAS SOPS 87411 HAS SOUS 43047 HAS SOUPS 43047 WITH SCORE 43134.411
AT ITER 64 NEW BEST:: SOT 91410 SOS 87211 HAS SOPS 87211 HAS SOUS 42847 HAS SOUPS 42847 WITH SCORE 42934.211
AT ITER 67 NEW BEST:: SOT 91410 SOS 87211 HAS SOPS 87211 HAS SOUS 42846 HAS SOUPS 42846 WITH SCORE 42933.211
AT ITER 68 NEW BEST:: SOT 86790 SOS 82591 HAS SOPS 82591 HAS SOUS 38214 HAS SOUPS 38214 WITH SCORE 38296.591
AT ITER 70 NEW BEST:: SOT 86734 SOS 82307 HAS SOPS 82307 HAS SOUS 37930 HAS SOUPS 37930 WITH SCORE 38012.307
AT ITER 71 NEW BEST:: SOT 86740 SOS 82313 HAS SOPS 82313 HAS SOUS 37925 HAS SOUPS 37925 WITH SCORE 38007.313
AT ITER 82 NEW BEST:: SOT 86665 SOS 82238 HAS SOPS 82238 HAS SOUS 37849 HAS SOUPS 37849 WITH SCORE 37931.238
AT ITER 90 NEW BEST:: SOT 86665 SOS 82227 HAS SOPS 82227 HAS SOUS 37838 HAS SOUPS 37838 WITH SCORE 37920.227
AT ITER 95 NEW BEST:: SOT 86660 SOS 82222 HAS SOPS 82222 HAS SOUS 37837 HAS SOUPS 37837 WITH SCORE 37919.222
AT ITER 112 NEW BEST:: SOT 86660 SOS 82518 HAS SOPS 82518 HAS SOUS 37828 HAS SOUPS 37828 WITH SCORE 37910.518
AT ITER 113 NEW BEST:: SOT 86647 SOS 82505 HAS SOPS 82505 HAS SOUS 37728 HAS SOUPS 37728 WITH SCORE 37810.505
AT ITER 125 NEW BEST:: SOT 86655 SOS 82513 HAS SOPS 82513 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37808.513
AT ITER 137 NEW BEST:: SOT 86553 SOS 82411 HAS SOPS 82411 HAS SOUS 37722 HAS SOUPS 37722 WITH SCORE 37804.411
AT ITER 144 NEW BEST:: SOT 86553 SOS 82411 HAS SOPS 82411 HAS SOUS 37591 HAS SOUPS 37591 WITH SCORE 37673.411
AT ITER 175 NEW BEST:: SOT 86613 SOS 82499 HAS SOPS 82499 HAS SOUS 37556 HAS SOUPS 37556 WITH SCORE 37638.499
AT ITER 207 NEW BEST:: SOT 86528 SOS 82414 HAS SOPS 82414 HAS SOUS 37471 HAS SOUPS 37471 WITH SCORE 37553.414
AT ITER 212 NEW BEST:: SOT 81332 SOS 77269 HAS SOPS 77269 HAS SOUS 32325 HAS SOUPS 32325 WITH SCORE 32402.269
AT ITER 219 NEW BEST:: SOT 81321 SOS 77258 HAS SOPS 77258 HAS SOUS 32193 HAS SOUPS 32193 WITH SCORE 32270.258
AT ITER 223 NEW BEST:: SOT 81315 SOS 77252 HAS SOPS 77252 HAS SOUS 32187 HAS SOUPS 32187 WITH SCORE 32264.252
AT ITER 238 NEW BEST:: SOT 81213 SOS 77150 HAS SOPS 77150 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32161.15
AT ITER 268 NEW BEST:: SOT 81194 SOS 77131 HAS SOPS 77131 HAS SOUS 32080 HAS SOUPS 32080 WITH SCORE 32157.131
AT ITER 278 NEW BEST:: SOT 81174 SOS 77111 HAS SOPS 77111 HAS SOUS 32060 HAS SOUPS 32060 WITH SCORE 32137.111
AT ITER 286 NEW BEST:: SOT 81174 SOS 77119 HAS SOPS 77119 HAS SOUS 32058 HAS SOUPS 32058 WITH SCORE 32135.119
AT ITER 289 NEW BEST:: SOT 81174 SOS 77095 HAS SOPS 77095 HAS SOUS 32056 HAS SOUPS 32056 WITH SCORE 32133.095
AT ITER 306 NEW BEST:: SOT 81098 SOS 77019 HAS SOPS 77019 HAS SOUS 32052 HAS SOUPS 32052 WITH SCORE 32129.019
AT ITER 314 NEW BEST:: SOT 81016 SOS 76937 HAS SOPS 76937 HAS SOUS 31969 HAS SOUPS 31969 WITH SCORE 32045.937
AT ITER 341 NEW BEST:: SOT 80953 SOS 76846 HAS SOPS 76846 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31954.846
AT ITER 344 NEW BEST:: SOT 80643 SOS 76536 HAS SOPS 76536 HAS SOUS 31647 HAS SOUPS 31647 WITH SCORE 31723.536
AT ITER 360 NEW BEST:: SOT 80640 SOS 76341 HAS SOPS 76341 HAS SOUS 31452 HAS SOUPS 31452 WITH SCORE 31528.341
AT ITER 372 NEW BEST:: SOT 80571 SOS 76272 HAS SOPS 76272 HAS SOUS 31382 HAS SOUPS 31382 WITH SCORE 31458.272
AT ITER 374 NEW BEST:: SOT 80416 SOS 76239 HAS SOPS 76239 HAS SOUS 31339 HAS SOUPS 31339 WITH SCORE 31415.239
AT ITER 377 NEW BEST:: SOT 80350 SOS 76173 HAS SOPS 76173 HAS SOUS 31278 HAS SOUPS 31278 WITH SCORE 31354.173
AT ITER 381 NEW BEST:: SOT 80278 SOS 76101 HAS SOPS 76101 HAS SOUS 31196 HAS SOUPS 31196 WITH SCORE 31272.101
AT ITER 398 NEW BEST:: SOT 80278 SOS 76125 HAS SOPS 76125 HAS SOUS 31194 HAS SOUPS 31194 WITH SCORE 31270.125
AT ITER 400 NEW BEST:: SOT 80272 SOS 76122 HAS SOPS 76122 HAS SOUS 31191 HAS SOUPS 31191 WITH SCORE 31267.122
AT ITER 405 NEW BEST:: SOT 80273 SOS 76113 HAS SOPS 76113 HAS SOUS 31182 HAS SOUPS 31182 WITH SCORE 31258.113
AT ITER 421 NEW BEST:: SOT 80268 SOS 64814 HAS SOPS 64814 HAS SOUS 31167 HAS SOUPS 31167 WITH SCORE 31231.814
AT ITER 428 NEW BEST:: SOT 80257 SOS 64742 HAS SOPS 64742 HAS SOUS 30992 HAS SOUPS 30992 WITH SCORE 31056.742
AT ITER 434 NEW BEST:: SOT 80296 SOS 64781 HAS SOPS 64781 HAS SOUS 30931 HAS SOUPS 30931 WITH SCORE 30995.781
AT ITER 458 NEW BEST:: SOT 80295 SOS 64780 HAS SOPS 64780 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30992.78
AT ITER 463 NEW BEST:: SOT 80254 SOS 64739 HAS SOPS 64739 HAS SOUS 30876 HAS SOUPS 30876 WITH SCORE 30940.739
AT ITER 496 NEW BEST:: SOT 80286 SOS 64772 HAS SOPS 64772 HAS SOUS 30740 HAS SOUPS 30740 WITH SCORE 30804.772
AT ITER 518 NEW BEST:: SOT 80292 SOS 64733 HAS SOPS 64733 HAS SOUS 30701 HAS SOUPS 30701 WITH SCORE 30765.733
AT ITER 522 NEW BEST:: SOT 80287 SOS 64737 HAS SOPS 64737 HAS SOUS 30690 HAS SOUPS 30690 WITH SCORE 30754.737
AT ITER 525 NEW BEST:: SOT 80286 SOS 64736 HAS SOPS 64736 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30752.736
AT ITER 535 NEW BEST:: SOT 80286 SOS 64732 HAS SOPS 64732 HAS SOUS 30684 HAS SOUPS 30684 WITH SCORE 30748.732
AT ITER 539 NEW BEST:: SOT 80156 SOS 64602 HAS SOPS 64602 HAS SOUS 30553 HAS SOUPS 30553 WITH SCORE 30617.602
AT ITER 549 NEW BEST:: SOT 80144 SOS 64589 HAS SOPS 64589 HAS SOUS 30540 HAS SOUPS 30540 WITH SCORE 30604.589
AT ITER 556 NEW BEST:: SOT 80005 SOS 64387 HAS SOPS 64387 HAS SOUS 30235 HAS SOUPS 30235 WITH SCORE 30299.387
AT ITER 575 NEW BEST:: SOT 80004 SOS 64386 HAS SOPS 64386 HAS SOUS 30228 HAS SOUPS 30228 WITH SCORE 30292.386
AT ITER 589 NEW BEST:: SOT 79973 SOS 64365 HAS SOPS 64365 HAS SOUS 30207 HAS SOUPS 30207 WITH SCORE 30271.365
AT ITER 619 NEW BEST:: SOT 79931 SOS 64286 HAS SOPS 64286 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30192.286
AT ITER 620 NEW BEST:: SOT 79152 SOS 63507 HAS SOPS 63507 HAS SOUS 29731 HAS SOUPS 29731 WITH SCORE 29794.507
AT ITER 630 NEW BEST:: SOT 79128 SOS 58656 HAS SOPS 58656 HAS SOUS 29658 HAS SOUPS 29658 WITH SCORE 29716.656
AT ITER 631 NEW BEST:: SOT 78988 SOS 58515 HAS SOPS 58515 HAS SOUS 29517 HAS SOUPS 29517 WITH SCORE 29575.515
AT ITER 634 NEW BEST:: SOT 78889 SOS 58415 HAS SOPS 58415 HAS SOUS 29417 HAS SOUPS 29417 WITH SCORE 29475.415
AT ITER 660 NEW BEST:: SOT 78888 SOS 58414 HAS SOPS 58414 HAS SOUS 29415 HAS SOUPS 29415 WITH SCORE 29473.414
AT ITER 670 NEW BEST:: SOT 78882 SOS 58408 HAS SOPS 58408 HAS SOUS 29409 HAS SOUPS 29409 WITH SCORE 29467.408
AT ITER 671 NEW BEST:: SOT 78882 SOS 58408 HAS SOPS 58408 HAS SOUS 29408 HAS SOUPS 29408 WITH SCORE 29466.408
AT ITER 673 NEW BEST:: SOT 78174 SOS 57700 HAS SOPS 57700 HAS SOUS 29186 HAS SOUPS 29186 WITH SCORE 29243.7
AT ITER 707 NEW BEST:: SOT 78086 SOS 57677 HAS SOPS 57677 HAS SOUS 29163 HAS SOUPS 29163 WITH SCORE 29220.677
AT ITER 711 NEW BEST:: SOT 77986 SOS 57575 HAS SOPS 57575 HAS SOUS 29161 HAS SOUPS 29161 WITH SCORE 29218.575
AT ITER 718 NEW BEST:: SOT 77985 SOS 57566 HAS SOPS 57566 HAS SOUS 29159 HAS SOUPS 29159 WITH SCORE 29216.566
AT ITER 720 NEW BEST:: SOT 73884 SOS 53465 HAS SOPS 53465 HAS SOUS 25058 HAS SOUPS 25058 WITH SCORE 25111.465
AT ITER 721 NEW BEST:: SOT 73766 SOS 53346 HAS SOPS 53346 HAS SOUS 25052 HAS SOUPS 25052 WITH SCORE 25105.346
AT ITER 723 NEW BEST:: SOT 73760 SOS 53340 HAS SOPS 53340 HAS SOUS 25046 HAS SOUPS 25046 WITH SCORE 25099.34
AT ITER 734 NEW BEST:: SOT 73760 SOS 53341 HAS SOPS 53341 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25078.341
AT ITER 763 NEW BEST:: SOT 73760 SOS 53341 HAS SOPS 53341 HAS SOUS 25004 HAS SOUPS 25004 WITH SCORE 25057.341
AT ITER 793 NEW BEST:: SOT 73759 SOS 53304 HAS SOPS 53304 HAS SOUS 25002 HAS SOUPS 25002 WITH SCORE 25055.304
AT ITER 807 NEW BEST:: SOT 73759 SOS 53304 HAS SOPS 53304 HAS SOUS 25001 HAS SOUPS 25001 WITH SCORE 25054.304
AT ITER 830 NEW BEST:: SOT 73665 SOS 53209 HAS SOPS 53209 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24959.209
AT ITER 839 NEW BEST:: SOT 73581 SOS 53061 HAS SOPS 53061 HAS SOUS 24654 HAS SOUPS 24654 WITH SCORE 24707.061
AT ITER 852 NEW BEST:: SOT 73567 SOS 52793 HAS SOPS 52793 HAS SOUS 24554 HAS SOUPS 24554 WITH SCORE 24606.793
AT ITER 877 NEW BEST:: SOT 73565 SOS 52791 HAS SOPS 52791 HAS SOUS 24550 HAS SOUPS 24550 WITH SCORE 24602.791
AT ITER 881 NEW BEST:: SOT 73565 SOS 52791 HAS SOPS 52791 HAS SOUS 24547 HAS SOUPS 24547 WITH SCORE 24599.791
AT ITER 898 NEW BEST:: SOT 73564 SOS 52790 HAS SOPS 52790 HAS SOUS 24545 HAS SOUPS 24545 WITH SCORE 24597.79
AT ITER 905 NEW BEST:: SOT 73564 SOS 52789 HAS SOPS 52789 HAS SOUS 24544 HAS SOUPS 24544 WITH SCORE 24596.789
AT ITER 907 NEW BEST:: SOT 73562 SOS 52695 HAS SOPS 52695 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 24592.695
AT ITER 923 NEW BEST:: SOT 73482 SOS 52602 HAS SOPS 52602 HAS SOUS 24483 HAS SOUPS 24483 WITH SCORE 24535.602
AT ITER 924 NEW BEST:: SOT 73481 SOS 52601 HAS SOPS 52601 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24533.601
AT ITER 930 NEW BEST:: SOT 73417 SOS 52578 HAS SOPS 52578 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24495.578
AT ITER 932 NEW BEST:: SOT 70164 SOS 50662 HAS SOPS 50662 HAS SOUS 21137 HAS SOUPS 21137 WITH SCORE 21187.662
AT ITER 943 NEW BEST:: SOT 70163 SOS 50661 HAS SOPS 50661 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21185.661
AT ITER 956 NEW BEST:: SOT 70162 SOS 50660 HAS SOPS 50660 HAS SOUS 21133 HAS SOUPS 21133 WITH SCORE 21183.66
AT ITER 959 NEW BEST:: SOT 70154 SOS 50652 HAS SOPS 50652 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21167.652
AT ITER 961 NEW BEST:: SOT 70153 SOS 50651 HAS SOPS 50651 HAS SOUS 21115 HAS SOUPS 21115 WITH SCORE 21165.651
AT ITER 979 NEW BEST:: SOT 70137 SOS 50635 HAS SOPS 50635 HAS SOUS 21099 HAS SOUPS 21099 WITH SCORE 21149.635
AT ITER 995 NEW BEST:: SOT 70132 SOS 50630 HAS SOPS 50630 HAS SOUS 21089 HAS SOUPS 21089 WITH SCORE 21139.63
AT ITER 1001 NEW BEST:: SOT 70129 SOS 50627 HAS SOPS 50627 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21106.627
AT ITER 1016 NEW BEST:: SOT 70056 SOS 50553 HAS SOPS 50553 HAS SOUS 21026 HAS SOUPS 21026 WITH SCORE 21076.553
AT ITER 1034 NEW BEST:: SOT 70063 SOS 50535 HAS SOPS 50535 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21074.535
AT ITER 1041 NEW BEST:: SOT 70062 SOS 50534 HAS SOPS 50534 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21072.534
AT ITER 1048 NEW BEST:: SOT 70062 SOS 50533 HAS SOPS 50533 HAS SOUS 21021 HAS SOUPS 21021 WITH SCORE 21071.533
AT ITER 1060 NEW BEST:: SOT 70037 SOS 50530 HAS SOPS 50530 HAS SOUS 21018 HAS SOUPS 21018 WITH SCORE 21068.53
AT ITER 1064 NEW BEST:: SOT 70037 SOS 50530 HAS SOPS 50530 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21067.53
AT ITER 1067 NEW BEST:: SOT 70002 SOS 50495 HAS SOPS 50495 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 20997.495
AT ITER 1068 NEW BEST:: SOT 70002 SOS 50495 HAS SOPS 50495 HAS SOUS 20946 HAS SOUPS 20946 WITH SCORE 20996.495
AT ITER 1072 NEW BEST:: SOT 69987 SOS 50480 HAS SOPS 50480 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20979.48
AT ITER 1135 NEW BEST:: SOT 69977 SOS 50470 HAS SOPS 50470 HAS SOUS 20909 HAS SOUPS 20909 WITH SCORE 20959.47
AT ITER 1150 NEW BEST:: SOT 69967 SOS 50460 HAS SOPS 50460 HAS SOUS 20888 HAS SOUPS 20888 WITH SCORE 20938.46
AT ITER 1163 NEW BEST:: SOT 69799 SOS 50307 HAS SOPS 50307 HAS SOUS 20707 HAS SOUPS 20707 WITH SCORE 20757.307
AT ITER 1170 NEW BEST:: SOT 69703 SOS 50211 HAS SOPS 50211 HAS SOUS 20587 HAS SOUPS 20587 WITH SCORE 20637.211
AT ITER 1180 NEW BEST:: SOT 69702 SOS 50210 HAS SOPS 50210 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20635.21
AT ITER 1197 NEW BEST:: SOT 69701 SOS 50208 HAS SOPS 50208 HAS SOUS 20583 HAS SOUPS 20583 WITH SCORE 20633.208
AT ITER 1198 NEW BEST:: SOT 69701 SOS 50208 HAS SOPS 50208 HAS SOUS 20563 HAS SOUPS 20563 WITH SCORE 20613.208
AT ITER 1205 NEW BEST:: SOT 69678 SOS 50185 HAS SOPS 50185 HAS SOUS 20540 HAS SOUPS 20540 WITH SCORE 20590.185
AT ITER 1223 NEW BEST:: SOT 69665 SOS 50171 HAS SOPS 50171 HAS SOUS 20526 HAS SOUPS 20526 WITH SCORE 20576.171
AT ITER 1230 NEW BEST:: SOT 69558 SOS 50064 HAS SOPS 50064 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20468.064
AT ITER 1236 NEW BEST:: SOT 69558 SOS 50064 HAS SOPS 50064 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20467.064
AT ITER 1237 NEW BEST:: SOT 69558 SOS 50064 HAS SOPS 50064 HAS SOUS 20386 HAS SOUPS 20386 WITH SCORE 20436.064
AT ITER 1255 NEW BEST:: SOT 69515 SOS 50021 HAS SOPS 50021 HAS SOUS 20335 HAS SOUPS 20335 WITH SCORE 20385.021
AT ITER 1260 NEW BEST:: SOT 69515 SOS 50021 HAS SOPS 50021 HAS SOUS 20313 HAS SOUPS 20313 WITH SCORE 20363.021
AT ITER 1263 NEW BEST:: SOT 69514 SOS 50020 HAS SOPS 50020 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20361.02
AT ITER 1267 NEW BEST:: SOT 69384 SOS 49925 HAS SOPS 49925 HAS SOUS 20216 HAS SOUPS 20216 WITH SCORE 20265.925
AT ITER 1275 NEW BEST:: SOT 69475 SOS 50016 HAS SOPS 50016 HAS SOUS 20213 HAS SOUPS 20213 WITH SCORE 20263.016
AT ITER 1295 NEW BEST:: SOT 69475 SOS 50016 HAS SOPS 50016 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20250.016
AT ITER 1332 NEW BEST:: SOT 69467 SOS 50008 HAS SOPS 50008 HAS SOUS 20184 HAS SOUPS 20184 WITH SCORE 20234.008
AT ITER 1334 NEW BEST:: SOT 69466 SOS 50007 HAS SOPS 50007 HAS SOUS 20182 HAS SOUPS 20182 WITH SCORE 20232.007
AT ITER 1351 NEW BEST:: SOT 69466 SOS 50007 HAS SOPS 50007 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20200.007
AT ITER 1386 NEW BEST:: SOT 66406 SOS 46947 HAS SOPS 46947 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17135.947
AT ITER 1387 NEW BEST:: SOT 66403 SOS 46944 HAS SOPS 46944 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17119.944
AT ITER 1414 NEW BEST:: SOT 66281 SOS 46822 HAS SOPS 46822 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 16997.822
AT ITER 1415 NEW BEST:: SOT 66272 SOS 46812 HAS SOPS 46812 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16987.812
AT ITER 1418 NEW BEST:: SOT 66140 SOS 46120 HAS SOPS 46120 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16820.12
AT ITER 1431 NEW BEST:: SOT 66140 SOS 46260 HAS SOPS 46260 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16794.26
AT ITER 1432 NEW BEST:: SOT 66131 SOS 46250 HAS SOPS 46250 HAS SOUS 16738 HAS SOUPS 16738 WITH SCORE 16784.25
AT ITER 1437 NEW BEST:: SOT 66075 SOS 46182 HAS SOPS 46182 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16717.182
AT ITER 1455 NEW BEST:: SOT 66075 SOS 46145 HAS SOPS 46145 HAS SOUS 16634 HAS SOUPS 16634 WITH SCORE 16680.145
AT ITER 1459 NEW BEST:: SOT 66140 SOS 46111 HAS SOPS 46111 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16610.111
AT ITER 1463 NEW BEST:: SOT 66139 SOS 46110 HAS SOPS 46110 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16608.11
AT ITER 1471 NEW BEST:: SOT 66135 SOS 46106 HAS SOPS 46106 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16608.106
AT ITER 1472 NEW BEST:: SOT 66142 SOS 46065 HAS SOPS 46065 HAS SOUS 16557 HAS SOUPS 16557 WITH SCORE 16603.065
AT ITER 1497 NEW BEST:: SOT 65719 SOS 56041 HAS SOPS 56041 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16348.041
AT ITER 1503 NEW BEST:: SOT 65719 SOS 56041 HAS SOPS 56041 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16330.041
AT ITER 1504 NEW BEST:: SOT 65716 SOS 56038 HAS SOPS 56038 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16327.038
AT ITER 1522 NEW BEST:: SOT 65708 SOS 56030 HAS SOPS 56030 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16304.03
AT ITER 1524 NEW BEST:: SOT 65703 SOS 56025 HAS SOPS 56025 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16294.025
AT ITER 1528 NEW BEST:: SOT 65702 SOS 56024 HAS SOPS 56024 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16290.024
AT ITER 1531 NEW BEST:: SOT 65699 SOS 56021 HAS SOPS 56021 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16284.021
AT ITER 1536 NEW BEST:: SOT 65675 SOS 55997 HAS SOPS 55997 HAS SOUS 16180 HAS SOUPS 16180 WITH SCORE 16235.997
AT ITER 1542 NEW BEST:: SOT 65663 SOS 55985 HAS SOPS 55985 HAS SOUS 16176 HAS SOUPS 16176 WITH SCORE 16231.985
AT ITER 1546 NEW BEST:: SOT 65659 SOS 55981 HAS SOPS 55981 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16223.981
AT ITER 1552 NEW BEST:: SOT 65552 SOS 55874 HAS SOPS 55874 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16106.874
AT ITER 1562 NEW BEST:: SOT 65527 SOS 55654 HAS SOPS 55654 HAS SOUS 16009 HAS SOUPS 16009 WITH SCORE 16064.654
AT ITER 1593 NEW BEST:: SOT 65529 SOS 55656 HAS SOPS 55656 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16055.656
AT ITER 1619 NEW BEST:: SOT 65459 SOS 55588 HAS SOPS 55588 HAS SOUS 15904 HAS SOUPS 15904 WITH SCORE 15959.588
AT ITER 1621 NEW BEST:: SOT 65458 SOS 55587 HAS SOPS 55587 HAS SOUS 15902 HAS SOUPS 15902 WITH SCORE 15957.587
AT ITER 1638 NEW BEST:: SOT 65486 SOS 55615 HAS SOPS 55615 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15881.615
AT ITER 1642 NEW BEST:: SOT 65458 SOS 47630 HAS SOPS 47630 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15869.63
AT ITER 1648 NEW BEST:: SOT 65474 SOS 47646 HAS SOPS 47646 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15867.646
AT ITER 1655 NEW BEST:: SOT 65474 SOS 47646 HAS SOPS 47646 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15866.646
AT ITER 1659 NEW BEST:: SOT 65474 SOS 47569 HAS SOPS 47569 HAS SOUS 15811 HAS SOUPS 15811 WITH SCORE 15858.569
AT ITER 1671 NEW BEST:: SOT 65468 SOS 47563 HAS SOPS 47563 HAS SOUS 15805 HAS SOUPS 15805 WITH SCORE 15852.563
AT ITER 1688 NEW BEST:: SOT 65352 SOS 47562 HAS SOPS 47562 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15851.562
AT ITER 1706 NEW BEST:: SOT 65200 SOS 47410 HAS SOPS 47410 HAS SOUS 15652 HAS SOUPS 15652 WITH SCORE 15699.41
AT ITER 1718 NEW BEST:: SOT 65036 SOS 47246 HAS SOPS 47246 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15537.246
AT ITER 1732 NEW BEST:: SOT 64980 SOS 47190 HAS SOPS 47190 HAS SOUS 15434 HAS SOUPS 15434 WITH SCORE 15481.19
AT ITER 1748 NEW BEST:: SOT 64979 SOS 47189 HAS SOPS 47189 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15479.189
AT ITER 1754 NEW BEST:: SOT 64968 SOS 47181 HAS SOPS 47181 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15471.181
AT ITER 1756 NEW BEST:: SOT 64945 SOS 47137 HAS SOPS 47137 HAS SOUS 15399 HAS SOUPS 15399 WITH SCORE 15446.137
AT ITER 1764 NEW BEST:: SOT 64937 SOS 47125 HAS SOPS 47125 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15434.125
AT ITER 1787 NEW BEST:: SOT 64936 SOS 47124 HAS SOPS 47124 HAS SOUS 15385 HAS SOUPS 15385 WITH SCORE 15432.124
AT ITER 1790 NEW BEST:: SOT 64936 SOS 47124 HAS SOPS 47124 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15431.124
AT ITER 1812 NEW BEST:: SOT 64936 SOS 47027 HAS SOPS 47027 HAS SOUS 15265 HAS SOUPS 15265 WITH SCORE 15312.027
AT ITER 1817 NEW BEST:: SOT 64894 SOS 46985 HAS SOPS 46985 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15267.985
AT ITER 1821 NEW BEST:: SOT 64894 SOS 46985 HAS SOPS 46985 HAS SOUS 15216 HAS SOUPS 15216 WITH SCORE 15262.985
AT ITER 1822 NEW BEST:: SOT 64866 SOS 46953 HAS SOPS 46953 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15230.953
AT ITER 1831 NEW BEST:: SOT 64808 SOS 46895 HAS SOPS 46895 HAS SOUS 15068 HAS SOUPS 15068 WITH SCORE 15114.895
AT ITER 1859 NEW BEST:: SOT 64771 SOS 46844 HAS SOPS 46844 HAS SOUS 15021 HAS SOUPS 15021 WITH SCORE 15067.844
AT ITER 1869 NEW BEST:: SOT 64699 SOS 46778 HAS SOPS 46778 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15036.778
AT ITER 1890 NEW BEST:: SOT 64706 SOS 46785 HAS SOPS 46785 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15030.785
AT ITER 1937 NEW BEST:: SOT 64623 SOS 46632 HAS SOPS 46632 HAS SOUS 14873 HAS SOUPS 14873 WITH SCORE 14919.632
AT ITER 1939 NEW BEST:: SOT 64606 SOS 46614 HAS SOPS 46614 HAS SOUS 14873 HAS SOUPS 14873 WITH SCORE 14919.614
AT ITER 1950 NEW BEST:: SOT 64596 SOS 46604 HAS SOPS 46604 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14909.604
AT ITER 2013 NEW BEST:: SOT 64594 SOS 46602 HAS SOPS 46602 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14905.602
AT ITER 2018 NEW BEST:: SOT 64593 SOS 46601 HAS SOPS 46601 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14903.601
AT ITER 2031 NEW BEST:: SOT 64602 SOS 46612 HAS SOPS 46612 HAS SOUS 14853 HAS SOUPS 14853 WITH SCORE 14899.612
AT ITER 2042 NEW BEST:: SOT 64568 SOS 46578 HAS SOPS 46578 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14865.578
AT ITER 2054 NEW BEST:: SOT 64567 SOS 46577 HAS SOPS 46577 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14863.577
AT ITER 2068 NEW BEST:: SOT 64563 SOS 46569 HAS SOPS 46569 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14859.569
AT ITER 2096 NEW BEST:: SOT 64543 SOS 46549 HAS SOPS 46549 HAS SOUS 14773 HAS SOUPS 14773 WITH SCORE 14819.549
AT ITER 2106 NEW BEST:: SOT 64543 SOS 46546 HAS SOPS 46546 HAS SOUS 14770 HAS SOUPS 14770 WITH SCORE 14816.546
AT ITER 2135 NEW BEST:: SOT 64546 SOS 46549 HAS SOPS 46549 HAS SOUS 14760 HAS SOUPS 14760 WITH SCORE 14806.549
AT ITER 2144 NEW BEST:: SOT 64545 SOS 46548 HAS SOPS 46548 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14803.548
AT ITER 2148 NEW BEST:: SOT 64544 SOS 46547 HAS SOPS 46547 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14801.547
AT ITER 2149 NEW BEST:: SOT 64543 SOS 46546 HAS SOPS 46546 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14774.546
AT ITER 2206 NEW BEST:: SOT 64542 SOS 46545 HAS SOPS 46545 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14772.545
AT ITER 2208 NEW BEST:: SOT 64029 SOS 46032 HAS SOPS 46032 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14658.032
AT ITER 2229 NEW BEST:: SOT 64037 SOS 46040 HAS SOPS 46040 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14642.04
AT ITER 2231 NEW BEST:: SOT 64098 SOS 46101 HAS SOPS 46101 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14581.101
AT ITER 2232 NEW BEST:: SOT 64095 SOS 46098 HAS SOPS 46098 HAS SOUS 14529 HAS SOUPS 14529 WITH SCORE 14575.098
AT ITER 2245 NEW BEST:: SOT 64076 SOS 46079 HAS SOPS 46079 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14537.079
AT ITER 2254 NEW BEST:: SOT 64044 SOS 46047 HAS SOPS 46047 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14473.047
AT ITER 2260 NEW BEST:: SOT 64039 SOS 46042 HAS SOPS 46042 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14468.042
AT ITER 2269 NEW BEST:: SOT 63973 SOS 45976 HAS SOPS 45976 HAS SOUS 14396 HAS SOUPS 14396 WITH SCORE 14441.976
AT ITER 2285 NEW BEST:: SOT 63955 SOS 45944 HAS SOPS 45944 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14409.944
AT ITER 2293 NEW BEST:: SOT 63954 SOS 45943 HAS SOPS 45943 HAS SOUS 14358 HAS SOUPS 14358 WITH SCORE 14403.943
AT ITER 2308 NEW BEST:: SOT 63955 SOS 45921 HAS SOPS 45921 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14381.921
AT ITER 2309 NEW BEST:: SOT 63904 SOS 45841 HAS SOPS 45841 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14352.841
AT ITER 2328 NEW BEST:: SOT 63901 SOS 45838 HAS SOPS 45838 HAS SOUS 14301 HAS SOUPS 14301 WITH SCORE 14346.838
AT ITER 2338 NEW BEST:: SOT 63925 SOS 45862 HAS SOPS 45862 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14327.862
AT ITER 2341 NEW BEST:: SOT 63920 SOS 45857 HAS SOPS 45857 HAS SOUS 14272 HAS SOUPS 14272 WITH SCORE 14317.857
AT ITER 2376 NEW BEST:: SOT 63901 SOS 45838 HAS SOPS 45838 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14279.838
AT ITER 2378 NEW BEST:: SOT 63899 SOS 45836 HAS SOPS 45836 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14277.836
AT ITER 2386 NEW BEST:: SOT 63863 SOS 45800 HAS SOPS 45800 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14269.8
AT ITER 2397 NEW BEST:: SOT 63799 SOS 45736 HAS SOPS 45736 HAS SOUS 14160 HAS SOUPS 14160 WITH SCORE 14205.736
AT ITER 2414 NEW BEST:: SOT 63781 SOS 45718 HAS SOPS 45718 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14187.718
AT ITER 2447 NEW BEST:: SOT 63732 SOS 45669 HAS SOPS 45669 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14089.669
AT ITER 2489 NEW BEST:: SOT 63731 SOS 45668 HAS SOPS 45668 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14088.668
AT ITER 2510 NEW BEST:: SOT 63729 SOS 45671 HAS SOPS 45671 HAS SOUS 14041 HAS SOUPS 14041 WITH SCORE 14086.671
AT ITER 2518 NEW BEST:: SOT 63604 SOS 45546 HAS SOPS 45546 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14044.546
AT ITER 2523 NEW BEST:: SOT 63604 SOS 45526 HAS SOPS 45526 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14044.526
AT ITER 2537 NEW BEST:: SOT 63603 SOS 45525 HAS SOPS 45525 HAS SOUS 13997 HAS SOUPS 13997 WITH SCORE 14042.525
AT ITER 2556 NEW BEST:: SOT 63603 SOS 44330 HAS SOPS 44330 HAS SOUS 13997 HAS SOUPS 13997 WITH SCORE 14041.33
AT ITER 2567 NEW BEST:: SOT 63509 SOS 44227 HAS SOPS 44227 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13932.227
AT ITER 2571 NEW BEST:: SOT 63525 SOS 44243 HAS SOPS 44243 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13926.243
AT ITER 2588 NEW BEST:: SOT 63519 SOS 44237 HAS SOPS 44237 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13839.237
AT ITER 2611 NEW BEST:: SOT 63518 SOS 44236 HAS SOPS 44236 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13837.236
AT ITER 2620 NEW BEST:: SOT 63512 SOS 44230 HAS SOPS 44230 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13825.23
AT ITER 2622 NEW BEST:: SOT 63458 SOS 44176 HAS SOPS 44176 HAS SOUS 13769 HAS SOUPS 13769 WITH SCORE 13813.176
AT ITER 2650 NEW BEST:: SOT 63437 SOS 43197 HAS SOPS 43197 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13788.197
AT ITER 2651 NEW BEST:: SOT 63429 SOS 43189 HAS SOPS 43189 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13788.189
AT ITER 2658 NEW BEST:: SOT 63429 SOS 43204 HAS SOPS 43204 HAS SOUS 13730 HAS SOUPS 13730 WITH SCORE 13773.204
AT ITER 2672 NEW BEST:: SOT 63425 SOS 43200 HAS SOPS 43200 HAS SOUS 13721 HAS SOUPS 13721 WITH SCORE 13764.2
AT ITER 2689 NEW BEST:: SOT 63490 SOS 43231 HAS SOPS 43231 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13758.231
AT ITER 2695 NEW BEST:: SOT 63489 SOS 43230 HAS SOPS 43230 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13756.23
AT ITER 2698 NEW BEST:: SOT 63489 SOS 43230 HAS SOPS 43230 HAS SOUS 13678 HAS SOUPS 13678 WITH SCORE 13721.23
AT ITER 2732 NEW BEST:: SOT 63488 SOS 43229 HAS SOPS 43229 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13719.229
AT ITER 2741 NEW BEST:: SOT 63484 SOS 43225 HAS SOPS 43225 HAS SOUS 13668 HAS SOUPS 13668 WITH SCORE 13711.225
AT ITER 2767 NEW BEST:: SOT 63483 SOS 43224 HAS SOPS 43224 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13709.224
AT ITER 2772 NEW BEST:: SOT 63479 SOS 43220 HAS SOPS 43220 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13701.22
AT ITER 2809 NEW BEST:: SOT 63429 SOS 43170 HAS SOPS 43170 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13653.17
AT ITER 2832 NEW BEST:: SOT 63428 SOS 43169 HAS SOPS 43169 HAS SOUS 13608 HAS SOUPS 13608 WITH SCORE 13651.169
AT ITER 2858 NEW BEST:: SOT 63428 SOS 43114 HAS SOPS 43114 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13596.114
AT ITER 2871 NEW BEST:: SOT 63380 SOS 43066 HAS SOPS 43066 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13500.066
AT ITER 2872 NEW BEST:: SOT 63365 SOS 43031 HAS SOPS 43031 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13465.031
AT ITER 2878 NEW BEST:: SOT 63337 SOS 43026 HAS SOPS 43026 HAS SOUS 13416 HAS SOUPS 13416 WITH SCORE 13459.026
AT ITER 2895 NEW BEST:: SOT 63327 SOS 43016 HAS SOPS 43016 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13439.016
AT ITER 2921 NEW BEST:: SOT 63332 SOS 43021 HAS SOPS 43021 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13429.021
AT ITER 2924 NEW BEST:: SOT 63358 SOS 42992 HAS SOPS 42992 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13399.992
AT ITER 2942 NEW BEST:: SOT 63357 SOS 42991 HAS SOPS 42991 HAS SOUS 13334 HAS SOUPS 13334 WITH SCORE 13376.991
AT ITER 2984 NEW BEST:: SOT 63357 SOS 43014 HAS SOPS 43014 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13372.014
AT ITER 3002 NEW BEST:: SOT 63355 SOS 43012 HAS SOPS 43012 HAS SOUS 13328 HAS SOUPS 13328 WITH SCORE 13371.012
AT ITER 3022 NEW BEST:: SOT 63359 SOS 43008 HAS SOPS 43008 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13367.008
AT ITER 3023 NEW BEST:: SOT 63359 SOS 43008 HAS SOPS 43008 HAS SOUS 13300 HAS SOUPS 13300 WITH SCORE 13343.008
AT ITER 3027 NEW BEST:: SOT 63342 SOS 42978 HAS SOPS 42978 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13312.978
AT ITER 3040 NEW BEST:: SOT 63338 SOS 42974 HAS SOPS 42974 HAS SOUS 13269 HAS SOUPS 13269 WITH SCORE 13311.974
AT ITER 3069 NEW BEST:: SOT 63333 SOS 42964 HAS SOPS 42964 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13306.964
AT ITER 3080 NEW BEST:: SOT 63332 SOS 42935 HAS SOPS 42935 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13304.935
AT ITER 3083 NEW BEST:: SOT 63330 SOS 42933 HAS SOPS 42933 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13300.933
AT ITER 3102 NEW BEST:: SOT 63303 SOS 42892 HAS SOPS 42892 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13260.892
AT ITER 3111 NEW BEST:: SOT 63265 SOS 42827 HAS SOPS 42827 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13200.827
AT ITER 3116 NEW BEST:: SOT 63251 SOS 42813 HAS SOPS 42813 HAS SOUS 13130 HAS SOUPS 13130 WITH SCORE 13172.813
AT ITER 3128 NEW BEST:: SOT 63251 SOS 42813 HAS SOPS 42813 HAS SOUS 13105 HAS SOUPS 13105 WITH SCORE 13147.813
AT ITER 3141 NEW BEST:: SOT 63189 SOS 42702 HAS SOPS 42702 HAS SOUS 13079 HAS SOUPS 13079 WITH SCORE 13121.702
AT ITER 3174 NEW BEST:: SOT 63200 SOS 42713 HAS SOPS 42713 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13117.713
AT ITER 3176 NEW BEST:: SOT 63196 SOS 42709 HAS SOPS 42709 HAS SOUS 13067 HAS SOUPS 13067 WITH SCORE 13109.709
AT ITER 3279 NEW BEST:: SOT 63195 SOS 42708 HAS SOPS 42708 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13107.708
AT ITER 3283 NEW BEST:: SOT 63194 SOS 42707 HAS SOPS 42707 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13105.707
AT ITER 3338 NEW BEST:: SOT 63193 SOS 42706 HAS SOPS 42706 HAS SOUS 13061 HAS SOUPS 13061 WITH SCORE 13103.706
AT ITER 3341 NEW BEST:: SOT 63200 SOS 42728 HAS SOPS 42728 HAS SOUS 13060 HAS SOUPS 13060 WITH SCORE 13102.728
AT ITER 3345 NEW BEST:: SOT 63177 SOS 42510 HAS SOPS 42510 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12884.51
AT ITER 3381 NEW BEST:: SOT 63184 SOS 42517 HAS SOPS 42517 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12877.517
AT ITER 3393 NEW BEST:: SOT 63209 SOS 42505 HAS SOPS 42505 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12865.505
AT ITER 3405 NEW BEST:: SOT 63173 SOS 42469 HAS SOPS 42469 HAS SOUS 12751 HAS SOUPS 12751 WITH SCORE 12793.469
AT ITER 3438 NEW BEST:: SOT 63173 SOS 42469 HAS SOPS 42469 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12789.469
AT ITER 3496 NEW BEST:: SOT 63155 SOS 42435 HAS SOPS 42435 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12755.435
AT ITER 3513 NEW BEST:: SOT 63154 SOS 42434 HAS SOPS 42434 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12753.434
AT ITER 3564 NEW BEST:: SOT 63151 SOS 42433 HAS SOPS 42433 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12753.433
AT ITER 3590 NEW BEST:: SOT 63149 SOS 42431 HAS SOPS 42431 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12749.431
AT ITER 3612 NEW BEST:: SOT 63144 SOS 42426 HAS SOPS 42426 HAS SOUS 12697 HAS SOUPS 12697 WITH SCORE 12739.426
AT ITER 3617 NEW BEST:: SOT 63207 SOS 42485 HAS SOPS 42485 HAS SOUS 12675 HAS SOUPS 12675 WITH SCORE 12717.485
AT ITER 3645 NEW BEST:: SOT 63207 SOS 42359 HAS SOPS 42359 HAS SOUS 12645 HAS SOUPS 12645 WITH SCORE 12687.359
AT ITER 3695 NEW BEST:: SOT 63226 SOS 42341 HAS SOPS 42341 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12669.341
AT ITER 3724 NEW BEST:: SOT 63209 SOS 42324 HAS SOPS 42324 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12635.324
AT ITER 3751 NEW BEST:: SOT 63209 SOS 42321 HAS SOPS 42321 HAS SOUS 12590 HAS SOUPS 12590 WITH SCORE 12632.321
AT ITER 3760 NEW BEST:: SOT 63203 SOS 42310 HAS SOPS 42310 HAS SOUS 12583 HAS SOUPS 12583 WITH SCORE 12625.31
AT ITER 3774 NEW BEST:: SOT 63182 SOS 42289 HAS SOPS 42289 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12524.289
AT ITER 3799 NEW BEST:: SOT 63175 SOS 42286 HAS SOPS 42286 HAS SOUS 12477 HAS SOUPS 12477 WITH SCORE 12519.286
AT ITER 3808 NEW BEST:: SOT 63175 SOS 42284 HAS SOPS 42284 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12517.284
AT ITER 3814 NEW BEST:: SOT 63157 SOS 42266 HAS SOPS 42266 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12481.266
AT ITER 3828 NEW BEST:: SOT 63147 SOS 42256 HAS SOPS 42256 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12461.256
AT ITER 3829 NEW BEST:: SOT 63146 SOS 42255 HAS SOPS 42255 HAS SOUS 12417 HAS SOUPS 12417 WITH SCORE 12459.255
AT ITER 3842 NEW BEST:: SOT 63140 SOS 42249 HAS SOPS 42249 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12453.249
AT ITER 3865 NEW BEST:: SOT 63138 SOS 42245 HAS SOPS 42245 HAS SOUS 12409 HAS SOUPS 12409 WITH SCORE 12451.245
AT ITER 3885 NEW BEST:: SOT 63134 SOS 42241 HAS SOPS 42241 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12439.241
AT ITER 3970 NEW BEST:: SOT 63155 SOS 42262 HAS SOPS 42262 HAS SOUS 12361 HAS SOUPS 12361 WITH SCORE 12403.262
AT ITER 3973 NEW BEST:: SOT 63137 SOS 42244 HAS SOPS 42244 HAS SOUS 12325 HAS SOUPS 12325 WITH SCORE 12367.244
AT ITER 3978 NEW BEST:: SOT 63113 SOS 42220 HAS SOPS 42220 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12319.22
AT ITER 4011 NEW BEST:: SOT 63103 SOS 42210 HAS SOPS 42210 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12299.21
AT ITER 4047 NEW BEST:: SOT 63099 SOS 42206 HAS SOPS 42206 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12291.206
AT ITER 4090 NEW BEST:: SOT 63119 SOS 42235 HAS SOPS 42235 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12283.235
AT ITER 4103 NEW BEST:: SOT 63119 SOS 42235 HAS SOPS 42235 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12280.235
AT ITER 4129 NEW BEST:: SOT 63102 SOS 42218 HAS SOPS 42218 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12263.218
AT ITER 4148 NEW BEST:: SOT 63102 SOS 42227 HAS SOPS 42227 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12259.227
AT ITER 4154 NEW BEST:: SOT 63097 SOS 42222 HAS SOPS 42222 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12249.222
AT ITER 4155 NEW BEST:: SOT 63042 SOS 42167 HAS SOPS 42167 HAS SOUS 12201 HAS SOUPS 12201 WITH SCORE 12243.167
AT ITER 4182 NEW BEST:: SOT 63054 SOS 42180 HAS SOPS 42180 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12238.18
AT ITER 4240 NEW BEST:: SOT 63230 SOS 42328 HAS SOPS 42328 HAS SOUS 12179 HAS SOUPS 12179 WITH SCORE 12221.328
AT ITER 4249 NEW BEST:: SOT 63225 SOS 42323 HAS SOPS 42323 HAS SOUS 12179 HAS SOUPS 12179 WITH SCORE 12221.323
AT ITER 4272 NEW BEST:: SOT 63225 SOS 42323 HAS SOPS 42323 HAS SOUS 12178 HAS SOUPS 12178 WITH SCORE 12220.323
AT ITER 4289 NEW BEST:: SOT 63221 SOS 42319 HAS SOPS 42319 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12212.319
AT ITER 4317 NEW BEST:: SOT 63220 SOS 42318 HAS SOPS 42318 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12209.318
AT ITER 4363 NEW BEST:: SOT 63206 SOS 42288 HAS SOPS 42288 HAS SOUS 12147 HAS SOUPS 12147 WITH SCORE 12189.288
AT ITER 4379 NEW BEST:: SOT 63205 SOS 42287 HAS SOPS 42287 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12187.287
AT ITER 4383 NEW BEST:: SOT 63172 SOS 42254 HAS SOPS 42254 HAS SOUS 12079 HAS SOUPS 12079 WITH SCORE 12121.254
AT ITER 4396 NEW BEST:: SOT 63172 SOS 42252 HAS SOPS 42252 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12119.252
AT ITER 4433 NEW BEST:: SOT 63104 SOS 42184 HAS SOPS 42184 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12053.184
AT ITER 4477 NEW BEST:: SOT 63103 SOS 42183 HAS SOPS 42183 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12051.183
AT ITER 4501 NEW BEST:: SOT 63101 SOS 42181 HAS SOPS 42181 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12047.181
AT ITER 4521 NEW BEST:: SOT 63091 SOS 42159 HAS SOPS 42159 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12039.159
AT ITER 4529 NEW BEST:: SOT 63090 SOS 42158 HAS SOPS 42158 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12037.158
AT ITER 4636 NEW BEST:: SOT 63090 SOS 42158 HAS SOPS 42158 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 12022.158
AT ITER 4640 NEW BEST:: SOT 63068 SOS 42136 HAS SOPS 42136 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11978.136
AT ITER 4647 NEW BEST:: SOT 63067 SOS 42094 HAS SOPS 42094 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11936.094
AT ITER 4666 NEW BEST:: SOT 63067 SOS 42090 HAS SOPS 42090 HAS SOUS 11890 HAS SOUPS 11890 WITH SCORE 11932.09
AT ITER 4709 NEW BEST:: SOT 63064 SOS 42087 HAS SOPS 42087 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11926.087
AT ITER 4723 NEW BEST:: SOT 63053 SOS 42068 HAS SOPS 42068 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11915.068
AT ITER 4734 NEW BEST:: SOT 63052 SOS 42065 HAS SOPS 42065 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11915.065
AT ITER 4771 NEW BEST:: SOT 63042 SOS 42055 HAS SOPS 42055 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11905.055
AT ITER 4775 NEW BEST:: SOT 62974 SOS 41987 HAS SOPS 41987 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11876.987
AT ITER 4867 NEW BEST:: SOT 62946 SOS 41959 HAS SOPS 41959 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11848.959
AT ITER 4872 NEW BEST:: SOT 62942 SOS 41955 HAS SOPS 41955 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11840.955
AT ITER 4907 NEW BEST:: SOT 62919 SOS 41932 HAS SOPS 41932 HAS SOUS 11776 HAS SOUPS 11776 WITH SCORE 11817.932
AT ITER 4927 NEW BEST:: SOT 62914 SOS 41927 HAS SOPS 41927 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11807.927
AT ITER 4929 NEW BEST:: SOT 62917 SOS 41922 HAS SOPS 41922 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11802.922
Bounds file is: CTLFireability.xml
PROPERTY: DES-PT-60a-CTLFireability-00 (EF( ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P37)>=1))))))
PROPERTY: DES-PT-60a-CTLFireability-01 (AU( ((potential((tk(P274)>=1) & (tk(P346)>=1)))) , (AG( (! ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P19)>=1))))))) ))
PROPERTY: DES-PT-60a-CTLFireability-02 (EF( ((potential((tk(P130)>=1) & (tk(P270)>=1))))))
PROPERTY: DES-PT-60a-CTLFireability-03 ( (AF( (EX( ( ((potential((tk(P113)>=1) & (tk(P350)>=1)))) & ((potential((tk(P140)>=1) & (tk(P270)>=1)))) ))))) | (EU( (EX( ((potential((tk(P193)>=1) & (tk(P245)>=1)))))) , (AX( ((potential((tk(P89)>=1) & (tk(P350)>=1)))))) )) )
PROPERTY: DES-PT-60a-CTLFireability-04 (EX( (AF( (! ((potential((tk(P121)>=1) & (tk(P270)>=1)))))))))
PROPERTY: DES-PT-60a-CTLFireability-05 (! ( (EU( (! ((potential((tk(P71)>=1) & (tk(P350)>=1))))) , ((potential((tk(P231)>=1) & (tk(P245)>=1)))) )) & (EF( (AF( ((potential((tk(P288)>=1) & (tk(P305)>=1)))))))) ))
PROPERTY: DES-PT-60a-CTLFireability-06 (AU( (EU( ((potential((tk(P331)>=1) & (tk(P329)>=1)))) , ((potential((tk(P261)>=1) & (tk(P259)>=1)))) )) , (! (EF( ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P5)>=1))))))) ))
PROPERTY: DES-PT-60a-CTLFireability-07 (AF( ((potential((tk(P234)>=1) & (tk(P245)>=1))))))
PROPERTY: DES-PT-60a-CTLFireability-08 (AG( (AF( ( ( ((potential((tk(P250)>=1) & (tk(P247)>=1) & (tk(P241)>=1) & (tk(P243)>=1) & (tk(P248)>=1) & (tk(P252)>=1)))) & ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P48)>=1)))) ) | (! ((potential((tk(P169)>=1) & (tk(P270)>=1))))) )))))
PROPERTY: DES-PT-60a-CTLFireability-09 (EU( (! (AX( ((potential((tk(P265)>=1) & (tk(P263)>=1))))))) , (AG( ( ((potential((tk(P163)>=1) & (tk(P270)>=1)))) | ((potential((tk(P87)>=1) & (tk(P350)>=1)))) ))) ))
PROPERTY: DES-PT-60a-CTLFireability-10 (EU( ( (AF( ((potential((tk(P78)>=1) & (tk(P350)>=1)))))) | ( ( ((potential((tk(P112)>=1) & (tk(P350)>=1)))) | ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P44)>=1)))) ) & ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P31)>=1)))) ) ) , (EF( ( ((potential((tk(P70)>=1) & (tk(P350)>=1)))) | ((potential((tk(P208)>=1) & (tk(P245)>=1)))) ))) ))
PROPERTY: DES-PT-60a-CTLFireability-11 (AF( ( (EF( ( ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P57)>=1)))) | ((potential((tk(P331)>=1) & (tk(P329)>=1)))) ))) & ( (! ( ((potential((tk(P217)>=1) & (tk(P245)>=1)))) & ((potential((tk(P211)>=1) & (tk(P245)>=1)))) )) & ( ( ((potential((tk(P244)>=1) & (tk(P264)>=1)))) | ((potential((tk(P344)>=1) & (tk(P342)>=1)))) ) & ((potential((tk(P282)>=1) & (tk(P299)>=1)))) ) ) )))
PROPERTY: DES-PT-60a-CTLFireability-12 ( (EU( (EF( ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P47)>=1)))))) , (EF( ((potential((tk(P225)>=1) & (tk(P245)>=1)))))) )) & (! (AG( ( ( ((potential((tk(P156)>=1) & (tk(P270)>=1)))) & ((potential((tk(P127)>=1) & (tk(P270)>=1)))) ) | ( ((potential((tk(P278)>=1) & (tk(P348)>=1)))) | ((potential((tk(P180)>=1) & (tk(P270)>=1)))) ) )))) )
PROPERTY: DES-PT-60a-CTLFireability-13 ( (AX( (! (EF( ((potential((tk(P101)>=1) & (tk(P350)>=1))))))))) | ((potential((tk(P273)>=1) & (tk(P275)>=1) & (tk(P31)>=1)))) )
PROPERTY: DES-PT-60a-CTLFireability-14 (EU( ( ((potential((tk(P205)>=1) & (tk(P245)>=1)))) | (AF( ((potential((tk(P1)>=1)))))) ) , ( ( ((potential((tk(P191)>=1) & (tk(P245)>=1)))) | ( ((potential((tk(P153)>=1) & (tk(P270)>=1)))) | ((potential((tk(P257)>=1) & (tk(P271)>=1)))) ) ) | ( (! ((potential((tk(P332)>=1) & (tk(P337)>=1))))) & ( ((potential((tk(P228)>=1) & (tk(P245)>=1)))) | ((potential((tk(P210)>=1) & (tk(P245)>=1)))) ) ) ) ))
PROPERTY: DES-PT-60a-CTLFireability-15 (EG( (EG( (EF( ((potential((tk(P108)>=1) & (tk(P350)>=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="DES-PT-60a"
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 DES-PT-60a, 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 r048-ebro-158902542000324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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