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.r123-tajo-158961354700412.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 PolyORBLF-PT-S02J04T06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700412
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 5.5K Apr 12 05:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 05:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Apr 11 04:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Apr 11 04:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 6.9K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 30K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Apr 10 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Apr 9 17:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 9 17:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.5K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 862K 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 PolyORBLF-PT-S02J04T06-CTLFireability-00
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-01
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-02
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-03
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-04
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-05
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-06
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-07
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-08
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-09
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-10
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-11
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-12
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-13
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-14
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589642536196

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T06
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: 476 places, 920 transitions, 4242 arcs.
AT ITER 0 NEW BEST:: SOT 268758 SOS 143287 HAS SOPS 140459 HAS SOUS 85093 HAS SOUPS 84758 WITH SCORE 84901.287
AT ITER 2 NEW BEST:: SOT 268572 SOS 143101 HAS SOPS 140273 HAS SOUS 84899 HAS SOUPS 84564 WITH SCORE 84707.101
AT ITER 30 NEW BEST:: SOT 267050 SOS 141635 HAS SOPS 138807 HAS SOUS 83442 HAS SOUPS 83107 WITH SCORE 83248.635
AT ITER 31 NEW BEST:: SOT 267036 SOS 141611 HAS SOPS 138783 HAS SOUS 83418 HAS SOUPS 83083 WITH SCORE 83224.611
AT ITER 61 NEW BEST:: SOT 266084 SOS 140705 HAS SOPS 137877 HAS SOUS 82514 HAS SOUPS 82179 WITH SCORE 82319.705
AT ITER 64 NEW BEST:: SOT 262801 SOS 148363 HAS SOPS 147332 HAS SOUS 79842 HAS SOUPS 79643 WITH SCORE 79791.363
AT ITER 67 NEW BEST:: SOT 262746 SOS 148867 HAS SOPS 147855 HAS SOUS 79641 HAS SOUPS 79442 WITH SCORE 79590.867
AT ITER 75 NEW BEST:: SOT 262625 SOS 148506 HAS SOPS 147494 HAS SOUS 79318 HAS SOUPS 79119 WITH SCORE 79267.506
AT ITER 80 NEW BEST:: SOT 262627 SOS 148508 HAS SOPS 147496 HAS SOUS 79198 HAS SOUPS 78999 WITH SCORE 79147.508
AT ITER 85 NEW BEST:: SOT 262322 SOS 148251 HAS SOPS 147239 HAS SOUS 78929 HAS SOUPS 78730 WITH SCORE 78878.251
AT ITER 96 NEW BEST:: SOT 257478 SOS 143483 HAS SOPS 142471 HAS SOUS 76241 HAS SOUPS 76042 WITH SCORE 76185.483
AT ITER 102 NEW BEST:: SOT 257474 SOS 143479 HAS SOPS 142467 HAS SOUS 76237 HAS SOUPS 76038 WITH SCORE 76181.479
AT ITER 105 NEW BEST:: SOT 255995 SOS 141921 HAS SOPS 140909 HAS SOUS 75529 HAS SOUPS 75330 WITH SCORE 75471.921
AT ITER 118 NEW BEST:: SOT 254875 SOS 140855 HAS SOPS 139843 HAS SOUS 74459 HAS SOUPS 74260 WITH SCORE 74400.855
AT ITER 123 NEW BEST:: SOT 254725 SOS 140734 HAS SOPS 139722 HAS SOUS 74306 HAS SOUPS 74107 WITH SCORE 74247.734
AT ITER 127 NEW BEST:: SOT 254702 SOS 140711 HAS SOPS 139699 HAS SOUS 74260 HAS SOUPS 74061 WITH SCORE 74201.711
AT ITER 144 NEW BEST:: SOT 254421 SOS 140521 HAS SOPS 139509 HAS SOUS 74225 HAS SOUPS 74026 WITH SCORE 74166.521
AT ITER 145 NEW BEST:: SOT 254143 SOS 140346 HAS SOPS 139334 HAS SOUS 73984 HAS SOUPS 73785 WITH SCORE 73925.346
AT ITER 153 NEW BEST:: SOT 254143 SOS 140257 HAS SOPS 139238 HAS SOUS 73982 HAS SOUPS 73783 WITH SCORE 73923.257
AT ITER 156 NEW BEST:: SOT 254097 SOS 140185 HAS SOPS 139166 HAS SOUS 73850 HAS SOUPS 73651 WITH SCORE 73791.185
AT ITER 159 NEW BEST:: SOT 254079 SOS 140147 HAS SOPS 139128 HAS SOUS 73812 HAS SOUPS 73613 WITH SCORE 73753.147
AT ITER 165 NEW BEST:: SOT 254067 SOS 140135 HAS SOPS 139122 HAS SOUS 73808 HAS SOUPS 73611 WITH SCORE 73751.135
AT ITER 173 NEW BEST:: SOT 254014 SOS 139816 HAS SOPS 138803 HAS SOUS 73751 HAS SOUPS 73554 WITH SCORE 73693.816
AT ITER 177 NEW BEST:: SOT 254021 SOS 139823 HAS SOPS 138810 HAS SOUS 73748 HAS SOUPS 73551 WITH SCORE 73690.823
AT ITER 198 NEW BEST:: SOT 253976 SOS 139806 HAS SOPS 138793 HAS SOUS 73580 HAS SOUPS 73383 WITH SCORE 73522.806
AT ITER 202 NEW BEST:: SOT 252772 SOS 138661 HAS SOPS 137648 HAS SOUS 72404 HAS SOUPS 72207 WITH SCORE 72345.661
AT ITER 212 NEW BEST:: SOT 252637 SOS 138393 HAS SOPS 137380 HAS SOUS 72274 HAS SOUPS 72077 WITH SCORE 72215.393
AT ITER 218 NEW BEST:: SOT 252515 SOS 138271 HAS SOPS 137258 HAS SOUS 72105 HAS SOUPS 71908 WITH SCORE 72046.271
AT ITER 219 NEW BEST:: SOT 252490 SOS 138221 HAS SOPS 137208 HAS SOUS 72055 HAS SOUPS 71858 WITH SCORE 71996.221
AT ITER 220 NEW BEST:: SOT 252454 SOS 138275 HAS SOPS 137262 HAS SOUS 71997 HAS SOUPS 71800 WITH SCORE 71938.275
AT ITER 223 NEW BEST:: SOT 252374 SOS 138203 HAS SOPS 137190 HAS SOUS 71956 HAS SOUPS 71759 WITH SCORE 71897.203
AT ITER 224 NEW BEST:: SOT 252248 SOS 138035 HAS SOPS 137022 HAS SOUS 71800 HAS SOUPS 71603 WITH SCORE 71741.035
AT ITER 225 NEW BEST:: SOT 252020 SOS 137807 HAS SOPS 136794 HAS SOUS 71499 HAS SOUPS 71302 WITH SCORE 71439.807
AT ITER 230 NEW BEST:: SOT 252003 SOS 137790 HAS SOPS 136777 HAS SOUS 71465 HAS SOUPS 71268 WITH SCORE 71405.79
AT ITER 253 NEW BEST:: SOT 251971 SOS 137714 HAS SOPS 136701 HAS SOUS 71389 HAS SOUPS 71192 WITH SCORE 71329.714
AT ITER 258 NEW BEST:: SOT 251620 SOS 137363 HAS SOPS 136350 HAS SOUS 70987 HAS SOUPS 70790 WITH SCORE 70927.363
AT ITER 268 NEW BEST:: SOT 251439 SOS 137264 HAS SOPS 136251 HAS SOUS 70953 HAS SOUPS 70756 WITH SCORE 70893.264
AT ITER 270 NEW BEST:: SOT 251251 SOS 137115 HAS SOPS 136102 HAS SOUS 70767 HAS SOUPS 70570 WITH SCORE 70707.115
AT ITER 271 NEW BEST:: SOT 251071 SOS 136944 HAS SOPS 135931 HAS SOUS 70682 HAS SOUPS 70485 WITH SCORE 70621.944
AT ITER 282 NEW BEST:: SOT 250046 SOS 135919 HAS SOPS 134906 HAS SOUS 70152 HAS SOUPS 69955 WITH SCORE 70090.919
AT ITER 298 NEW BEST:: SOT 249919 SOS 135665 HAS SOPS 134652 HAS SOUS 69898 HAS SOUPS 69701 WITH SCORE 69836.665
AT ITER 303 NEW BEST:: SOT 249833 SOS 135445 HAS SOPS 134480 HAS SOUS 69871 HAS SOUPS 69674 WITH SCORE 69809.445
AT ITER 316 NEW BEST:: SOT 249799 SOS 135428 HAS SOPS 134463 HAS SOUS 69871 HAS SOUPS 69674 WITH SCORE 69809.428
AT ITER 320 NEW BEST:: SOT 248810 SOS 134416 HAS SOPS 133451 HAS SOUS 68758 HAS SOUPS 68561 WITH SCORE 68695.416
AT ITER 321 NEW BEST:: SOT 248841 SOS 134446 HAS SOPS 133481 HAS SOUS 68732 HAS SOUPS 68535 WITH SCORE 68669.446
AT ITER 325 NEW BEST:: SOT 248685 SOS 134140 HAS SOPS 133175 HAS SOUS 68576 HAS SOUPS 68379 WITH SCORE 68513.14
AT ITER 333 NEW BEST:: SOT 248948 SOS 134661 HAS SOPS 133696 HAS SOUS 68193 HAS SOUPS 67996 WITH SCORE 68130.661
AT ITER 336 NEW BEST:: SOT 248936 SOS 134649 HAS SOPS 133684 HAS SOUS 68169 HAS SOUPS 67972 WITH SCORE 68106.649
AT ITER 349 NEW BEST:: SOT 249031 SOS 134744 HAS SOPS 133779 HAS SOUS 68152 HAS SOUPS 67955 WITH SCORE 68089.744
AT ITER 356 NEW BEST:: SOT 248998 SOS 134711 HAS SOPS 133746 HAS SOUS 68119 HAS SOUPS 67922 WITH SCORE 68056.711
AT ITER 358 NEW BEST:: SOT 248992 SOS 134705 HAS SOPS 133740 HAS SOUS 68107 HAS SOUPS 67910 WITH SCORE 68044.705
AT ITER 360 NEW BEST:: SOT 248992 SOS 134698 HAS SOPS 133733 HAS SOUS 68100 HAS SOUPS 67903 WITH SCORE 68037.698
AT ITER 367 NEW BEST:: SOT 248989 SOS 134665 HAS SOPS 133700 HAS SOUS 68098 HAS SOUPS 67901 WITH SCORE 68035.665
AT ITER 379 NEW BEST:: SOT 248951 SOS 134608 HAS SOPS 133643 HAS SOUS 68003 HAS SOUPS 67806 WITH SCORE 67940.608
AT ITER 404 NEW BEST:: SOT 248876 SOS 134533 HAS SOPS 133568 HAS SOUS 67696 HAS SOUPS 67499 WITH SCORE 67633.533
AT ITER 417 NEW BEST:: SOT 248871 SOS 134420 HAS SOPS 133563 HAS SOUS 67602 HAS SOUPS 67423 WITH SCORE 67557.42
AT ITER 419 NEW BEST:: SOT 248920 SOS 134469 HAS SOPS 133612 HAS SOUS 66874 HAS SOUPS 66695 WITH SCORE 66829.469
AT ITER 437 NEW BEST:: SOT 250095 SOS 135893 HAS SOPS 135036 HAS SOUS 66311 HAS SOUPS 66132 WITH SCORE 66267.893
AT ITER 441 NEW BEST:: SOT 250087 SOS 135879 HAS SOPS 135022 HAS SOUS 66295 HAS SOUPS 66116 WITH SCORE 66251.879
AT ITER 456 NEW BEST:: SOT 250013 SOS 135810 HAS SOPS 134953 HAS SOUS 66292 HAS SOUPS 66113 WITH SCORE 66248.81
AT ITER 480 NEW BEST:: SOT 249967 SOS 136676 HAS SOPS 135829 HAS SOUS 66071 HAS SOUPS 65892 WITH SCORE 66028.676
AT ITER 488 NEW BEST:: SOT 249967 SOS 136626 HAS SOPS 135779 HAS SOUS 65591 HAS SOUPS 65412 WITH SCORE 65548.626
AT ITER 503 NEW BEST:: SOT 249904 SOS 136563 HAS SOPS 135716 HAS SOUS 65570 HAS SOUPS 65391 WITH SCORE 65527.563
AT ITER 524 NEW BEST:: SOT 249892 SOS 136551 HAS SOPS 135704 HAS SOUS 65558 HAS SOUPS 65379 WITH SCORE 65515.551
AT ITER 528 NEW BEST:: SOT 249082 SOS 135741 HAS SOPS 134894 HAS SOUS 65180 HAS SOUPS 65001 WITH SCORE 65136.741
AT ITER 544 NEW BEST:: SOT 249074 SOS 135717 HAS SOPS 134870 HAS SOUS 65156 HAS SOUPS 64977 WITH SCORE 65112.717
AT ITER 546 NEW BEST:: SOT 249068 SOS 135711 HAS SOPS 134852 HAS SOUS 65118 HAS SOUPS 64938 WITH SCORE 65073.711
AT ITER 566 NEW BEST:: SOT 248924 SOS 135532 HAS SOPS 134680 HAS SOUS 65018 HAS SOUPS 64838 WITH SCORE 64973.532
AT ITER 570 NEW BEST:: SOT 248743 SOS 126713 HAS SOPS 124351 HAS SOUS 64574 HAS SOUPS 64288 WITH SCORE 64414.713
AT ITER 576 NEW BEST:: SOT 248591 SOS 126528 HAS SOPS 124166 HAS SOUS 64413 HAS SOUPS 64127 WITH SCORE 64253.528
AT ITER 581 NEW BEST:: SOT 248589 SOS 126504 HAS SOPS 124142 HAS SOUS 64398 HAS SOUPS 64112 WITH SCORE 64238.504
AT ITER 587 NEW BEST:: SOT 248589 SOS 126504 HAS SOPS 124142 HAS SOUS 64396 HAS SOUPS 64110 WITH SCORE 64236.504
AT ITER 591 NEW BEST:: SOT 247184 SOS 125110 HAS SOPS 122748 HAS SOUS 63746 HAS SOUPS 63460 WITH SCORE 63585.11
AT ITER 595 NEW BEST:: SOT 247086 SOS 125108 HAS SOPS 122746 HAS SOUS 63606 HAS SOUPS 63320 WITH SCORE 63445.108
AT ITER 597 NEW BEST:: SOT 247017 SOS 125014 HAS SOPS 122652 HAS SOUS 63474 HAS SOUPS 63188 WITH SCORE 63313.014
AT ITER 612 NEW BEST:: SOT 248043 SOS 126359 HAS SOPS 123997 HAS SOUS 63259 HAS SOUPS 62973 WITH SCORE 63099.359
AT ITER 619 NEW BEST:: SOT 248052 SOS 126368 HAS SOPS 124006 HAS SOUS 63229 HAS SOUPS 62943 WITH SCORE 63069.368
AT ITER 633 NEW BEST:: SOT 248021 SOS 126280 HAS SOPS 123918 HAS SOUS 63228 HAS SOUPS 62942 WITH SCORE 63068.28
AT ITER 634 NEW BEST:: SOT 248000 SOS 126245 HAS SOPS 123883 HAS SOUS 63200 HAS SOUPS 62914 WITH SCORE 63040.245
AT ITER 653 NEW BEST:: SOT 247964 SOS 125358 HAS SOPS 122996 HAS SOUS 63156 HAS SOUPS 62870 WITH SCORE 62995.358
AT ITER 665 NEW BEST:: SOT 247938 SOS 125332 HAS SOPS 122935 HAS SOUS 63138 HAS SOUPS 62819 WITH SCORE 62944.332
AT ITER 684 NEW BEST:: SOT 247935 SOS 125303 HAS SOPS 122852 HAS SOUS 63146 HAS SOUPS 62818 WITH SCORE 62943.303
AT ITER 687 NEW BEST:: SOT 247849 SOS 124900 HAS SOPS 122464 HAS SOUS 63025 HAS SOUPS 62697 WITH SCORE 62821.9
AT ITER 695 NEW BEST:: SOT 247781 SOS 126752 HAS SOPS 124316 HAS SOUS 63009 HAS SOUPS 62681 WITH SCORE 62807.752
AT ITER 699 NEW BEST:: SOT 247725 SOS 126699 HAS SOPS 124263 HAS SOUS 62981 HAS SOUPS 62653 WITH SCORE 62779.699
AT ITER 720 NEW BEST:: SOT 247704 SOS 126641 HAS SOPS 124205 HAS SOUS 62923 HAS SOUPS 62595 WITH SCORE 62721.641
AT ITER 724 NEW BEST:: SOT 247683 SOS 126620 HAS SOPS 124172 HAS SOUS 62860 HAS SOUPS 62532 WITH SCORE 62658.62
AT ITER 726 NEW BEST:: SOT 247649 SOS 126586 HAS SOPS 124138 HAS SOUS 62605 HAS SOUPS 62277 WITH SCORE 62403.586
AT ITER 744 NEW BEST:: SOT 247717 SOS 126434 HAS SOPS 123852 HAS SOUS 62620 HAS SOUPS 62270 WITH SCORE 62396.434
AT ITER 770 NEW BEST:: SOT 247685 SOS 126334 HAS SOPS 123752 HAS SOUS 62497 HAS SOUPS 62147 WITH SCORE 62273.334
AT ITER 772 NEW BEST:: SOT 246425 SOS 125116 HAS SOPS 122534 HAS SOUS 61951 HAS SOUPS 61601 WITH SCORE 61726.116
AT ITER 774 NEW BEST:: SOT 246288 SOS 124879 HAS SOPS 122393 HAS SOUS 61811 HAS SOUPS 61462 WITH SCORE 61586.879
AT ITER 783 NEW BEST:: SOT 246188 SOS 124669 HAS SOPS 121715 HAS SOUS 61720 HAS SOUPS 61293 WITH SCORE 61417.669
AT ITER 810 NEW BEST:: SOT 246170 SOS 124651 HAS SOPS 121671 HAS SOUS 61661 HAS SOUPS 61234 WITH SCORE 61358.651
AT ITER 811 NEW BEST:: SOT 246131 SOS 124612 HAS SOPS 121648 HAS SOUS 61659 HAS SOUPS 61232 WITH SCORE 61356.612
AT ITER 821 NEW BEST:: SOT 246043 SOS 124524 HAS SOPS 121560 HAS SOUS 60780 HAS SOUPS 60353 WITH SCORE 60477.524
AT ITER 850 NEW BEST:: SOT 246043 SOS 124356 HAS SOPS 121392 HAS SOUS 60780 HAS SOUPS 60353 WITH SCORE 60477.356
AT ITER 858 NEW BEST:: SOT 246059 SOS 124204 HAS SOPS 121240 HAS SOUS 60685 HAS SOUPS 60258 WITH SCORE 60382.204
AT ITER 867 NEW BEST:: SOT 246059 SOS 124203 HAS SOPS 121239 HAS SOUS 60684 HAS SOUPS 60257 WITH SCORE 60381.203
AT ITER 882 NEW BEST:: SOT 246029 SOS 124003 HAS SOPS 121039 HAS SOUS 60659 HAS SOUPS 60232 WITH SCORE 60356.003
AT ITER 930 NEW BEST:: SOT 246029 SOS 123963 HAS SOPS 121059 HAS SOUS 60559 HAS SOUPS 60142 WITH SCORE 60265.963
AT ITER 936 NEW BEST:: SOT 245979 SOS 123872 HAS SOPS 121058 HAS SOUS 60554 HAS SOUPS 60137 WITH SCORE 60260.872
AT ITER 942 NEW BEST:: SOT 245971 SOS 123865 HAS SOPS 121051 HAS SOUS 60545 HAS SOUPS 60128 WITH SCORE 60251.865
AT ITER 955 NEW BEST:: SOT 245968 SOS 123862 HAS SOPS 121048 HAS SOUS 60539 HAS SOUPS 60122 WITH SCORE 60245.862
AT ITER 991 NEW BEST:: SOT 245968 SOS 123862 HAS SOPS 121048 HAS SOUS 60509 HAS SOUPS 60092 WITH SCORE 60215.862
AT ITER 999 NEW BEST:: SOT 245941 SOS 123515 HAS SOPS 121021 HAS SOUS 60466 HAS SOUPS 60065 WITH SCORE 60188.515
AT ITER 1009 NEW BEST:: SOT 245906 SOS 123480 HAS SOPS 120986 HAS SOUS 60396 HAS SOUPS 59995 WITH SCORE 60118.48
AT ITER 1015 NEW BEST:: SOT 245818 SOS 123577 HAS SOPS 121083 HAS SOUS 60339 HAS SOUPS 59938 WITH SCORE 60061.577
AT ITER 1017 NEW BEST:: SOT 245813 SOS 123567 HAS SOPS 121073 HAS SOUS 60329 HAS SOUPS 59928 WITH SCORE 60051.567
AT ITER 1018 NEW BEST:: SOT 245657 SOS 123117 HAS SOPS 120623 HAS SOUS 60325 HAS SOUPS 59924 WITH SCORE 60047.117
AT ITER 1047 NEW BEST:: SOT 245657 SOS 123032 HAS SOPS 120538 HAS SOUS 60322 HAS SOUPS 59921 WITH SCORE 60044.032
AT ITER 1048 NEW BEST:: SOT 245674 SOS 123049 HAS SOPS 120528 HAS SOUS 60315 HAS SOUPS 59914 WITH SCORE 60037.049
AT ITER 1050 NEW BEST:: SOT 245644 SOS 123019 HAS SOPS 120498 HAS SOUS 60295 HAS SOUPS 59894 WITH SCORE 60017.019
AT ITER 1062 NEW BEST:: SOT 245591 SOS 124537 HAS SOPS 120652 HAS SOUS 60341 HAS SOUPS 59891 WITH SCORE 60015.537
AT ITER 1091 NEW BEST:: SOT 245493 SOS 124472 HAS SOPS 120587 HAS SOUS 60244 HAS SOUPS 59794 WITH SCORE 59918.472
AT ITER 1093 NEW BEST:: SOT 245321 SOS 124208 HAS SOPS 120323 HAS SOUS 60043 HAS SOUPS 59593 WITH SCORE 59717.208
AT ITER 1096 NEW BEST:: SOT 245348 SOS 124503 HAS SOPS 120618 HAS SOUS 60011 HAS SOUPS 59561 WITH SCORE 59685.503
AT ITER 1122 NEW BEST:: SOT 245348 SOS 124539 HAS SOPS 120654 HAS SOUS 59974 HAS SOUPS 59524 WITH SCORE 59648.539
AT ITER 1127 NEW BEST:: SOT 245299 SOS 124474 HAS SOPS 120589 HAS SOUS 59876 HAS SOUPS 59426 WITH SCORE 59550.474
AT ITER 1134 NEW BEST:: SOT 245299 SOS 124445 HAS SOPS 120560 HAS SOUS 59876 HAS SOUPS 59426 WITH SCORE 59550.445
AT ITER 1139 NEW BEST:: SOT 245212 SOS 123432 HAS SOPS 119547 HAS SOUS 59814 HAS SOUPS 59364 WITH SCORE 59487.432
AT ITER 1189 NEW BEST:: SOT 245189 SOS 123428 HAS SOPS 119543 HAS SOUS 59559 HAS SOUPS 59109 WITH SCORE 59232.428
AT ITER 1194 NEW BEST:: SOT 245202 SOS 123428 HAS SOPS 119543 HAS SOUS 59546 HAS SOUPS 59096 WITH SCORE 59219.428
AT ITER 1195 NEW BEST:: SOT 245202 SOS 123400 HAS SOPS 119515 HAS SOUS 59518 HAS SOUPS 59068 WITH SCORE 59191.4
AT ITER 1208 NEW BEST:: SOT 245190 SOS 123383 HAS SOPS 119498 HAS SOUS 59495 HAS SOUPS 59045 WITH SCORE 59168.383
AT ITER 1216 NEW BEST:: SOT 244998 SOS 123231 HAS SOPS 119346 HAS SOUS 59343 HAS SOUPS 58893 WITH SCORE 59016.231
AT ITER 1217 NEW BEST:: SOT 244936 SOS 123298 HAS SOPS 119413 HAS SOUS 59178 HAS SOUPS 58728 WITH SCORE 58851.298
AT ITER 1220 NEW BEST:: SOT 244823 SOS 123121 HAS SOPS 119236 HAS SOUS 59070 HAS SOUPS 58620 WITH SCORE 58743.121
AT ITER 1221 NEW BEST:: SOT 244806 SOS 123032 HAS SOPS 119147 HAS SOUS 59036 HAS SOUPS 58586 WITH SCORE 58709.032
AT ITER 1231 NEW BEST:: SOT 244646 SOS 122601 HAS SOPS 118716 HAS SOUS 59005 HAS SOUPS 58555 WITH SCORE 58677.601
AT ITER 1238 NEW BEST:: SOT 244580 SOS 122529 HAS SOPS 118644 HAS SOUS 58913 HAS SOUPS 58463 WITH SCORE 58585.529
AT ITER 1248 NEW BEST:: SOT 244566 SOS 122515 HAS SOPS 118630 HAS SOUS 58885 HAS SOUPS 58435 WITH SCORE 58557.515
AT ITER 1266 NEW BEST:: SOT 244550 SOS 122499 HAS SOPS 118614 HAS SOUS 58869 HAS SOUPS 58419 WITH SCORE 58541.499
AT ITER 1271 NEW BEST:: SOT 244550 SOS 122499 HAS SOPS 118614 HAS SOUS 58858 HAS SOUPS 58408 WITH SCORE 58530.499
AT ITER 1278 NEW BEST:: SOT 244548 SOS 122497 HAS SOPS 118612 HAS SOUS 58856 HAS SOUPS 58406 WITH SCORE 58528.497
AT ITER 1289 NEW BEST:: SOT 244510 SOS 122443 HAS SOPS 118642 HAS SOUS 58780 HAS SOUPS 58330 WITH SCORE 58452.443
AT ITER 1304 NEW BEST:: SOT 244507 SOS 122440 HAS SOPS 118639 HAS SOUS 58774 HAS SOUPS 58324 WITH SCORE 58446.44
AT ITER 1330 NEW BEST:: SOT 244465 SOS 122354 HAS SOPS 118553 HAS SOUS 58738 HAS SOUPS 58288 WITH SCORE 58410.354
AT ITER 1337 NEW BEST:: SOT 241891 SOS 119247 HAS SOPS 115292 HAS SOUS 56107 HAS SOUPS 55567 WITH SCORE 55686.247
AT ITER 1348 NEW BEST:: SOT 241878 SOS 119219 HAS SOPS 115264 HAS SOUS 56070 HAS SOUPS 55530 WITH SCORE 55649.219
AT ITER 1416 NEW BEST:: SOT 241805 SOS 119303 HAS SOPS 115348 HAS SOUS 55999 HAS SOUPS 55459 WITH SCORE 55578.303
AT ITER 1437 NEW BEST:: SOT 241754 SOS 119216 HAS SOPS 115261 HAS SOUS 55933 HAS SOUPS 55393 WITH SCORE 55512.216
AT ITER 1444 NEW BEST:: SOT 241578 SOS 119078 HAS SOPS 115123 HAS SOUS 55751 HAS SOUPS 55211 WITH SCORE 55330.078
AT ITER 1448 NEW BEST:: SOT 241601 SOS 118954 HAS SOPS 115155 HAS SOUS 55737 HAS SOUPS 55197 WITH SCORE 55315.954
AT ITER 1453 NEW BEST:: SOT 241601 SOS 118958 HAS SOPS 115159 HAS SOUS 55735 HAS SOUPS 55195 WITH SCORE 55313.958
AT ITER 1488 NEW BEST:: SOT 241598 SOS 118952 HAS SOPS 115153 HAS SOUS 55723 HAS SOUPS 55183 WITH SCORE 55301.952
AT ITER 1495 NEW BEST:: SOT 241477 SOS 118910 HAS SOPS 115111 HAS SOUS 55671 HAS SOUPS 55131 WITH SCORE 55249.91
AT ITER 1520 NEW BEST:: SOT 241548 SOS 119360 HAS SOPS 115490 HAS SOUS 55665 HAS SOUPS 55125 WITH SCORE 55244.36
AT ITER 1541 NEW BEST:: SOT 241503 SOS 119316 HAS SOPS 115446 HAS SOUS 55630 HAS SOUPS 55090 WITH SCORE 55209.316
AT ITER 1578 NEW BEST:: SOT 240846 SOS 118659 HAS SOPS 114789 HAS SOUS 55591 HAS SOUPS 55051 WITH SCORE 55169.659
AT ITER 1601 NEW BEST:: SOT 240906 SOS 118383 HAS SOPS 114541 HAS SOUS 55569 HAS SOUPS 55027 WITH SCORE 55145.383
AT ITER 1603 NEW BEST:: SOT 240904 SOS 118381 HAS SOPS 114419 HAS SOUS 55586 HAS SOUPS 55024 WITH SCORE 55142.381
AT ITER 1633 NEW BEST:: SOT 239690 SOS 117167 HAS SOPS 113205 HAS SOUS 55012 HAS SOUPS 54450 WITH SCORE 54567.167
AT ITER 1641 NEW BEST:: SOT 239743 SOS 117354 HAS SOPS 113392 HAS SOUS 55008 HAS SOUPS 54446 WITH SCORE 54563.354
AT ITER 1661 NEW BEST:: SOT 239648 SOS 117378 HAS SOPS 113246 HAS SOUS 54884 HAS SOUPS 54322 WITH SCORE 54439.378
AT ITER 1662 NEW BEST:: SOT 239648 SOS 117368 HAS SOPS 113236 HAS SOUS 54874 HAS SOUPS 54312 WITH SCORE 54429.368
AT ITER 1678 NEW BEST:: SOT 239655 SOS 117345 HAS SOPS 113213 HAS SOUS 54856 HAS SOUPS 54294 WITH SCORE 54411.345
AT ITER 1721 NEW BEST:: SOT 239650 SOS 117335 HAS SOPS 113203 HAS SOUS 54853 HAS SOUPS 54291 WITH SCORE 54408.335
AT ITER 1723 NEW BEST:: SOT 239590 SOS 117245 HAS SOPS 113113 HAS SOUS 54763 HAS SOUPS 54201 WITH SCORE 54318.245
AT ITER 1726 NEW BEST:: SOT 239625 SOS 117241 HAS SOPS 113109 HAS SOUS 54731 HAS SOUPS 54169 WITH SCORE 54286.241
AT ITER 1731 NEW BEST:: SOT 239580 SOS 117424 HAS SOPS 113292 HAS SOUS 54680 HAS SOUPS 54118 WITH SCORE 54235.424
AT ITER 1744 NEW BEST:: SOT 239640 SOS 117484 HAS SOPS 113352 HAS SOUS 54566 HAS SOUPS 54004 WITH SCORE 54121.484
AT ITER 1745 NEW BEST:: SOT 239807 SOS 117690 HAS SOPS 113428 HAS SOUS 54494 HAS SOUPS 53932 WITH SCORE 54049.69
AT ITER 1753 NEW BEST:: SOT 239807 SOS 117592 HAS SOPS 113330 HAS SOUS 54494 HAS SOUPS 53932 WITH SCORE 54049.592
AT ITER 1773 NEW BEST:: SOT 239779 SOS 117606 HAS SOPS 113230 HAS SOUS 54408 HAS SOUPS 53846 WITH SCORE 53963.606
AT ITER 1784 NEW BEST:: SOT 239744 SOS 117426 HAS SOPS 113050 HAS SOUS 54378 HAS SOUPS 53816 WITH SCORE 53933.426
AT ITER 1794 NEW BEST:: SOT 239678 SOS 117360 HAS SOPS 112984 HAS SOUS 54246 HAS SOUPS 53684 WITH SCORE 53801.36
AT ITER 1803 NEW BEST:: SOT 240286 SOS 119303 HAS SOPS 114941 HAS SOUS 53940 HAS SOUPS 53385 WITH SCORE 53504.303
AT ITER 1815 NEW BEST:: SOT 240254 SOS 119215 HAS SOPS 114853 HAS SOUS 53901 HAS SOUPS 53346 WITH SCORE 53465.215
AT ITER 1819 NEW BEST:: SOT 240252 SOS 119213 HAS SOPS 114851 HAS SOUS 53897 HAS SOUPS 53342 WITH SCORE 53461.213
AT ITER 1823 NEW BEST:: SOT 240251 SOS 119212 HAS SOPS 114850 HAS SOUS 53893 HAS SOUPS 53338 WITH SCORE 53457.212
AT ITER 1841 NEW BEST:: SOT 240260 SOS 119218 HAS SOPS 114856 HAS SOUS 53863 HAS SOUPS 53308 WITH SCORE 53427.218
AT ITER 1880 NEW BEST:: SOT 240240 SOS 119198 HAS SOPS 114836 HAS SOUS 53859 HAS SOUPS 53304 WITH SCORE 53423.198
AT ITER 1889 NEW BEST:: SOT 240192 SOS 119066 HAS SOPS 114704 HAS SOUS 53802 HAS SOUPS 53247 WITH SCORE 53366.066
AT ITER 1892 NEW BEST:: SOT 240162 SOS 119036 HAS SOPS 114674 HAS SOUS 53751 HAS SOUPS 53196 WITH SCORE 53315.036
AT ITER 1901 NEW BEST:: SOT 240021 SOS 118736 HAS SOPS 114504 HAS SOUS 53670 HAS SOUPS 53115 WITH SCORE 53233.736
AT ITER 1910 NEW BEST:: SOT 240012 SOS 118718 HAS SOPS 114486 HAS SOUS 53618 HAS SOUPS 53063 WITH SCORE 53181.718
AT ITER 1914 NEW BEST:: SOT 239892 SOS 118531 HAS SOPS 114299 HAS SOUS 53466 HAS SOUPS 52911 WITH SCORE 53029.531
AT ITER 1934 NEW BEST:: SOT 239842 SOS 118481 HAS SOPS 114249 HAS SOUS 53396 HAS SOUPS 52841 WITH SCORE 52959.481
AT ITER 1948 NEW BEST:: SOT 239744 SOS 118305 HAS SOPS 114073 HAS SOUS 53284 HAS SOUPS 52729 WITH SCORE 52847.305
AT ITER 1983 NEW BEST:: SOT 239677 SOS 118180 HAS SOPS 113948 HAS SOUS 53166 HAS SOUPS 52611 WITH SCORE 52729.18
AT ITER 2004 NEW BEST:: SOT 239581 SOS 118084 HAS SOPS 113852 HAS SOUS 53058 HAS SOUPS 52503 WITH SCORE 52621.084
AT ITER 2005 NEW BEST:: SOT 239551 SOS 118093 HAS SOPS 113861 HAS SOUS 53001 HAS SOUPS 52446 WITH SCORE 52564.093
AT ITER 2006 NEW BEST:: SOT 239537 SOS 118106 HAS SOPS 113888 HAS SOUS 52985 HAS SOUPS 52430 WITH SCORE 52548.106
AT ITER 2014 NEW BEST:: SOT 239523 SOS 118078 HAS SOPS 113860 HAS SOUS 52971 HAS SOUPS 52416 WITH SCORE 52534.078
AT ITER 2052 NEW BEST:: SOT 239507 SOS 117966 HAS SOPS 113748 HAS SOUS 52955 HAS SOUPS 52400 WITH SCORE 52517.966
AT ITER 2062 NEW BEST:: SOT 239480 SOS 117912 HAS SOPS 113694 HAS SOUS 52901 HAS SOUPS 52346 WITH SCORE 52463.912
AT ITER 2069 NEW BEST:: SOT 239352 SOS 117823 HAS SOPS 113605 HAS SOUS 52801 HAS SOUPS 52246 WITH SCORE 52363.823
AT ITER 2122 NEW BEST:: SOT 239348 SOS 117763 HAS SOPS 113545 HAS SOUS 52793 HAS SOUPS 52238 WITH SCORE 52355.763
AT ITER 2138 NEW BEST:: SOT 239348 SOS 117757 HAS SOPS 113539 HAS SOUS 52793 HAS SOUPS 52238 WITH SCORE 52355.757
AT ITER 2142 NEW BEST:: SOT 239349 SOS 117758 HAS SOPS 113503 HAS SOUS 52774 HAS SOUPS 52218 WITH SCORE 52335.758
AT ITER 2148 NEW BEST:: SOT 239312 SOS 117718 HAS SOPS 113463 HAS SOUS 52605 HAS SOUPS 52049 WITH SCORE 52166.718
AT ITER 2152 NEW BEST:: SOT 239312 SOS 117694 HAS SOPS 113439 HAS SOUS 52605 HAS SOUPS 52049 WITH SCORE 52166.694
AT ITER 2174 NEW BEST:: SOT 238989 SOS 117395 HAS SOPS 113140 HAS SOUS 52534 HAS SOUPS 51978 WITH SCORE 52095.395
AT ITER 2187 NEW BEST:: SOT 239014 SOS 117420 HAS SOPS 113029 HAS SOUS 52647 HAS SOUPS 51955 WITH SCORE 52072.42
AT ITER 2191 NEW BEST:: SOT 239014 SOS 117398 HAS SOPS 113007 HAS SOUS 52647 HAS SOUPS 51955 WITH SCORE 52072.398
AT ITER 2208 NEW BEST:: SOT 239014 SOS 117372 HAS SOPS 112986 HAS SOUS 52626 HAS SOUPS 51934 WITH SCORE 52051.372
AT ITER 2241 NEW BEST:: SOT 239002 SOS 117360 HAS SOPS 112974 HAS SOUS 52602 HAS SOUPS 51910 WITH SCORE 52027.36
AT ITER 2256 NEW BEST:: SOT 238984 SOS 117266 HAS SOPS 112875 HAS SOUS 52552 HAS SOUPS 51860 WITH SCORE 51977.266
AT ITER 2264 NEW BEST:: SOT 238944 SOS 117204 HAS SOPS 112813 HAS SOUS 52490 HAS SOUPS 51798 WITH SCORE 51915.204
AT ITER 2266 NEW BEST:: SOT 238941 SOS 117198 HAS SOPS 112807 HAS SOUS 52484 HAS SOUPS 51792 WITH SCORE 51909.198
AT ITER 2293 NEW BEST:: SOT 238945 SOS 117202 HAS SOPS 112797 HAS SOUS 52409 HAS SOUPS 51717 WITH SCORE 51834.202
AT ITER 2315 NEW BEST:: SOT 238909 SOS 117130 HAS SOPS 112725 HAS SOUS 52373 HAS SOUPS 51681 WITH SCORE 51798.13
AT ITER 2319 NEW BEST:: SOT 238760 SOS 117025 HAS SOPS 112620 HAS SOUS 52268 HAS SOUPS 51576 WITH SCORE 51693.025
AT ITER 2328 NEW BEST:: SOT 238715 SOS 117080 HAS SOPS 112675 HAS SOUS 52178 HAS SOUPS 51486 WITH SCORE 51603.08
AT ITER 2346 NEW BEST:: SOT 238696 SOS 117061 HAS SOPS 112656 HAS SOUS 52178 HAS SOUPS 51486 WITH SCORE 51603.061
AT ITER 2365 NEW BEST:: SOT 238684 SOS 116993 HAS SOPS 112602 HAS SOUS 52136 HAS SOUPS 51444 WITH SCORE 51560.993
AT ITER 2382 NEW BEST:: SOT 238642 SOS 116902 HAS SOPS 112497 HAS SOUS 52052 HAS SOUPS 51360 WITH SCORE 51476.902
AT ITER 2410 NEW BEST:: SOT 238599 SOS 116839 HAS SOPS 112434 HAS SOUS 51969 HAS SOUPS 51277 WITH SCORE 51393.839
AT ITER 2416 NEW BEST:: SOT 238635 SOS 116893 HAS SOPS 112488 HAS SOUS 51854 HAS SOUPS 51162 WITH SCORE 51278.893
AT ITER 2436 NEW BEST:: SOT 238628 SOS 116886 HAS SOPS 112481 HAS SOUS 51840 HAS SOUPS 51148 WITH SCORE 51264.886
AT ITER 2441 NEW BEST:: SOT 238553 SOS 116811 HAS SOPS 112406 HAS SOUS 51810 HAS SOUPS 51118 WITH SCORE 51234.811
AT ITER 2442 NEW BEST:: SOT 238357 SOS 116626 HAS SOPS 112221 HAS SOUS 51621 HAS SOUPS 50929 WITH SCORE 51045.626
AT ITER 2461 NEW BEST:: SOT 238385 SOS 116654 HAS SOPS 112249 HAS SOUS 51524 HAS SOUPS 50832 WITH SCORE 50948.654
AT ITER 2466 NEW BEST:: SOT 238381 SOS 116650 HAS SOPS 112245 HAS SOUS 51473 HAS SOUPS 50781 WITH SCORE 50897.65
AT ITER 2495 NEW BEST:: SOT 238351 SOS 116591 HAS SOPS 112186 HAS SOUS 51360 HAS SOUPS 50668 WITH SCORE 50784.591
AT ITER 2511 NEW BEST:: SOT 238436 SOS 116731 HAS SOPS 112326 HAS SOUS 51279 HAS SOUPS 50587 WITH SCORE 50703.731
AT ITER 2514 NEW BEST:: SOT 238396 SOS 116691 HAS SOPS 112286 HAS SOUS 51199 HAS SOUPS 50507 WITH SCORE 50623.691
AT ITER 2545 NEW BEST:: SOT 238392 SOS 116562 HAS SOPS 112157 HAS SOUS 51183 HAS SOUPS 50491 WITH SCORE 50607.562
AT ITER 2561 NEW BEST:: SOT 238374 SOS 116526 HAS SOPS 112121 HAS SOUS 51155 HAS SOUPS 50463 WITH SCORE 50579.526
AT ITER 2580 NEW BEST:: SOT 238359 SOS 116511 HAS SOPS 112202 HAS SOUS 51020 HAS SOUPS 50344 WITH SCORE 50460.511
AT ITER 2627 NEW BEST:: SOT 238358 SOS 116860 HAS SOPS 112551 HAS SOUS 51019 HAS SOUPS 50343 WITH SCORE 50459.86
AT ITER 2639 NEW BEST:: SOT 238339 SOS 116866 HAS SOPS 112557 HAS SOUS 50907 HAS SOUPS 50231 WITH SCORE 50347.866
AT ITER 2645 NEW BEST:: SOT 238264 SOS 116803 HAS SOPS 112494 HAS SOUS 50853 HAS SOUPS 50177 WITH SCORE 50293.803
AT ITER 2646 NEW BEST:: SOT 238255 SOS 116794 HAS SOPS 112485 HAS SOUS 50853 HAS SOUPS 50177 WITH SCORE 50293.794
AT ITER 2676 NEW BEST:: SOT 238238 SOS 116777 HAS SOPS 112426 HAS SOUS 50836 HAS SOUPS 50118 WITH SCORE 50234.777
AT ITER 2680 NEW BEST:: SOT 238224 SOS 116763 HAS SOPS 112412 HAS SOUS 50815 HAS SOUPS 50097 WITH SCORE 50213.763
AT ITER 2699 NEW BEST:: SOT 238190 SOS 116827 HAS SOPS 112476 HAS SOUS 50781 HAS SOUPS 50063 WITH SCORE 50179.827
AT ITER 2751 NEW BEST:: SOT 238183 SOS 116820 HAS SOPS 112469 HAS SOUS 50774 HAS SOUPS 50056 WITH SCORE 50172.82
AT ITER 2753 NEW BEST:: SOT 238079 SOS 116751 HAS SOPS 112358 HAS SOUS 50713 HAS SOUPS 49988 WITH SCORE 50104.751
AT ITER 2884 NEW BEST:: SOT 238045 SOS 116719 HAS SOPS 112326 HAS SOUS 50679 HAS SOUPS 49954 WITH SCORE 50070.719
AT ITER 2897 NEW BEST:: SOT 238045 SOS 116711 HAS SOPS 112318 HAS SOUS 50679 HAS SOUPS 49954 WITH SCORE 50070.711
AT ITER 2943 NEW BEST:: SOT 238039 SOS 116705 HAS SOPS 112312 HAS SOUS 50665 HAS SOUPS 49940 WITH SCORE 50056.705
AT ITER 2948 NEW BEST:: SOT 237962 SOS 116724 HAS SOPS 112235 HAS SOUS 50369 HAS SOUPS 49624 WITH SCORE 49740.724
AT ITER 2967 NEW BEST:: SOT 237882 SOS 116534 HAS SOPS 112045 HAS SOUS 50293 HAS SOUPS 49548 WITH SCORE 49664.534
AT ITER 2986 NEW BEST:: SOT 237726 SOS 116289 HAS SOPS 111800 HAS SOUS 50048 HAS SOUPS 49303 WITH SCORE 49419.289
AT ITER 3038 NEW BEST:: SOT 237668 SOS 116173 HAS SOPS 111684 HAS SOUS 49978 HAS SOUPS 49233 WITH SCORE 49349.173
AT ITER 3045 NEW BEST:: SOT 237661 SOS 116121 HAS SOPS 111632 HAS SOUS 49964 HAS SOUPS 49219 WITH SCORE 49335.121
AT ITER 3055 NEW BEST:: SOT 237661 SOS 116121 HAS SOPS 111632 HAS SOUS 49960 HAS SOUPS 49215 WITH SCORE 49331.121
AT ITER 3112 NEW BEST:: SOT 237517 SOS 115980 HAS SOPS 111491 HAS SOUS 49804 HAS SOUPS 49059 WITH SCORE 49174.98
AT ITER 3152 NEW BEST:: SOT 237475 SOS 115939 HAS SOPS 111450 HAS SOUS 49732 HAS SOUPS 48987 WITH SCORE 49102.939
AT ITER 3164 NEW BEST:: SOT 237450 SOS 115959 HAS SOPS 111470 HAS SOUS 49664 HAS SOUPS 48919 WITH SCORE 49034.959
AT ITER 3177 NEW BEST:: SOT 237348 SOS 115915 HAS SOPS 111426 HAS SOUS 49614 HAS SOUPS 48869 WITH SCORE 48984.915
AT ITER 3181 NEW BEST:: SOT 237333 SOS 115930 HAS SOPS 111441 HAS SOUS 49592 HAS SOUPS 48847 WITH SCORE 48962.93
AT ITER 3195 NEW BEST:: SOT 237271 SOS 115892 HAS SOPS 111403 HAS SOUS 49552 HAS SOUPS 48807 WITH SCORE 48922.892
AT ITER 3212 NEW BEST:: SOT 237300 SOS 115921 HAS SOPS 111432 HAS SOUS 49547 HAS SOUPS 48802 WITH SCORE 48917.921
AT ITER 3216 NEW BEST:: SOT 237270 SOS 115774 HAS SOPS 111285 HAS SOUS 49539 HAS SOUPS 48794 WITH SCORE 48909.774
AT ITER 3217 NEW BEST:: SOT 237228 SOS 116021 HAS SOPS 111532 HAS SOUS 49528 HAS SOUPS 48783 WITH SCORE 48899.021
AT ITER 3225 NEW BEST:: SOT 237165 SOS 115958 HAS SOPS 111469 HAS SOUS 49444 HAS SOUPS 48699 WITH SCORE 48814.958
AT ITER 3246 NEW BEST:: SOT 237138 SOS 115904 HAS SOPS 111415 HAS SOUS 49390 HAS SOUPS 48645 WITH SCORE 48760.904
AT ITER 3271 NEW BEST:: SOT 237149 SOS 115917 HAS SOPS 111428 HAS SOUS 49376 HAS SOUPS 48631 WITH SCORE 48746.917
AT ITER 3311 NEW BEST:: SOT 237149 SOS 116776 HAS SOPS 112287 HAS SOUS 49339 HAS SOUPS 48594 WITH SCORE 48710.776
AT ITER 3314 NEW BEST:: SOT 237125 SOS 116746 HAS SOPS 112257 HAS SOUS 49309 HAS SOUPS 48564 WITH SCORE 48680.746
AT ITER 3392 NEW BEST:: SOT 237142 SOS 116763 HAS SOPS 112274 HAS SOUS 49147 HAS SOUPS 48402 WITH SCORE 48518.763
AT ITER 3397 NEW BEST:: SOT 237106 SOS 116745 HAS SOPS 112256 HAS SOUS 49092 HAS SOUPS 48347 WITH SCORE 48463.745
AT ITER 3405 NEW BEST:: SOT 237061 SOS 116476 HAS SOPS 111987 HAS SOUS 49060 HAS SOUPS 48315 WITH SCORE 48431.476
AT ITER 3419 NEW BEST:: SOT 236995 SOS 116410 HAS SOPS 111921 HAS SOUS 48895 HAS SOUPS 48150 WITH SCORE 48266.41
AT ITER 3424 NEW BEST:: SOT 236986 SOS 116389 HAS SOPS 111900 HAS SOUS 48883 HAS SOUPS 48138 WITH SCORE 48254.389
AT ITER 3460 NEW BEST:: SOT 236979 SOS 116382 HAS SOPS 111893 HAS SOUS 48883 HAS SOUPS 48138 WITH SCORE 48254.382
AT ITER 3461 NEW BEST:: SOT 236909 SOS 116296 HAS SOPS 111807 HAS SOUS 48813 HAS SOUPS 48068 WITH SCORE 48184.296
AT ITER 3515 NEW BEST:: SOT 236856 SOS 116192 HAS SOPS 111754 HAS SOUS 48771 HAS SOUPS 48027 WITH SCORE 48143.192
AT ITER 3523 NEW BEST:: SOT 236848 SOS 116184 HAS SOPS 111746 HAS SOUS 48763 HAS SOUPS 48019 WITH SCORE 48135.184
AT ITER 3526 NEW BEST:: SOT 236879 SOS 116215 HAS SOPS 111777 HAS SOUS 48750 HAS SOUPS 48006 WITH SCORE 48122.215
AT ITER 3527 NEW BEST:: SOT 236872 SOS 116197 HAS SOPS 111759 HAS SOUS 48732 HAS SOUPS 47988 WITH SCORE 48104.197
AT ITER 3536 NEW BEST:: SOT 236861 SOS 116186 HAS SOPS 111745 HAS SOUS 48713 HAS SOUPS 47969 WITH SCORE 48085.186
AT ITER 3540 NEW BEST:: SOT 236791 SOS 116136 HAS SOPS 111695 HAS SOUS 48623 HAS SOUPS 47879 WITH SCORE 47995.136
AT ITER 3563 NEW BEST:: SOT 236748 SOS 116093 HAS SOPS 111652 HAS SOUS 48586 HAS SOUPS 47842 WITH SCORE 47958.093
AT ITER 3573 NEW BEST:: SOT 236739 SOS 116075 HAS SOPS 111634 HAS SOUS 48568 HAS SOUPS 47824 WITH SCORE 47940.075
AT ITER 3586 NEW BEST:: SOT 236728 SOS 116064 HAS SOPS 111623 HAS SOUS 48557 HAS SOUPS 47813 WITH SCORE 47929.064
AT ITER 3588 NEW BEST:: SOT 236760 SOS 116112 HAS SOPS 111671 HAS SOUS 48552 HAS SOUPS 47808 WITH SCORE 47924.112
AT ITER 3601 NEW BEST:: SOT 236751 SOS 116103 HAS SOPS 111662 HAS SOUS 48534 HAS SOUPS 47790 WITH SCORE 47906.103
AT ITER 3703 NEW BEST:: SOT 236906 SOS 116258 HAS SOPS 111817 HAS SOUS 48460 HAS SOUPS 47716 WITH SCORE 47832.258
AT ITER 3719 NEW BEST:: SOT 235468 SOS 114916 HAS SOPS 110475 HAS SOUS 48228 HAS SOUPS 47484 WITH SCORE 47598.916
AT ITER 3738 NEW BEST:: SOT 235272 SOS 114799 HAS SOPS 110358 HAS SOUS 48228 HAS SOUPS 47484 WITH SCORE 47598.799
AT ITER 3757 NEW BEST:: SOT 235272 SOS 114559 HAS SOPS 110118 HAS SOUS 48228 HAS SOUPS 47484 WITH SCORE 47598.559
AT ITER 3801 NEW BEST:: SOT 235088 SOS 114376 HAS SOPS 109935 HAS SOUS 47994 HAS SOUPS 47250 WITH SCORE 47364.376
AT ITER 3807 NEW BEST:: SOT 235088 SOS 114016 HAS SOPS 109575 HAS SOUS 47994 HAS SOUPS 47250 WITH SCORE 47364.016
AT ITER 3812 NEW BEST:: SOT 235067 SOS 114236 HAS SOPS 109793 HAS SOUS 47897 HAS SOUPS 47151 WITH SCORE 47265.236
AT ITER 3841 NEW BEST:: SOT 235070 SOS 114228 HAS SOPS 109785 HAS SOUS 47889 HAS SOUPS 47143 WITH SCORE 47257.228
AT ITER 3847 NEW BEST:: SOT 235050 SOS 114224 HAS SOPS 109781 HAS SOUS 47884 HAS SOUPS 47138 WITH SCORE 47252.224
AT ITER 3871 NEW BEST:: SOT 235012 SOS 114307 HAS SOPS 109864 HAS SOUS 47750 HAS SOUPS 47004 WITH SCORE 47118.307
AT ITER 3893 NEW BEST:: SOT 234997 SOS 114292 HAS SOPS 109849 HAS SOUS 47720 HAS SOUPS 46974 WITH SCORE 47088.292
AT ITER 3935 NEW BEST:: SOT 235013 SOS 114276 HAS SOPS 109817 HAS SOUS 47720 HAS SOUPS 46974 WITH SCORE 47088.276
AT ITER 3937 NEW BEST:: SOT 235007 SOS 114270 HAS SOPS 109811 HAS SOUS 47717 HAS SOUPS 46971 WITH SCORE 47085.27
AT ITER 3942 NEW BEST:: SOT 234959 SOS 114528 HAS SOPS 110069 HAS SOUS 47669 HAS SOUPS 46923 WITH SCORE 47037.528
AT ITER 3949 NEW BEST:: SOT 234955 SOS 114524 HAS SOPS 110065 HAS SOUS 47665 HAS SOUPS 46919 WITH SCORE 47033.524
AT ITER 3959 NEW BEST:: SOT 234933 SOS 114502 HAS SOPS 110043 HAS SOUS 47621 HAS SOUPS 46875 WITH SCORE 46989.502
AT ITER 3984 NEW BEST:: SOT 234855 SOS 114233 HAS SOPS 109774 HAS SOUS 47535 HAS SOUPS 46789 WITH SCORE 46903.233
AT ITER 3985 NEW BEST:: SOT 234849 SOS 114224 HAS SOPS 109765 HAS SOUS 47529 HAS SOUPS 46783 WITH SCORE 46897.224
AT ITER 3987 NEW BEST:: SOT 234831 SOS 114132 HAS SOPS 109673 HAS SOUS 47515 HAS SOUPS 46769 WITH SCORE 46883.132
AT ITER 4045 NEW BEST:: SOT 234831 SOS 114032 HAS SOPS 109573 HAS SOUS 47453 HAS SOUPS 46707 WITH SCORE 46821.032
AT ITER 4057 NEW BEST:: SOT 234820 SOS 114021 HAS SOPS 109562 HAS SOUS 47432 HAS SOUPS 46686 WITH SCORE 46800.021
AT ITER 4065 NEW BEST:: SOT 234817 SOS 114018 HAS SOPS 109559 HAS SOUS 47431 HAS SOUPS 46685 WITH SCORE 46799.018
AT ITER 4068 NEW BEST:: SOT 234698 SOS 113895 HAS SOPS 109436 HAS SOUS 47376 HAS SOUPS 46630 WITH SCORE 46743.895
AT ITER 4085 NEW BEST:: SOT 234638 SOS 113809 HAS SOPS 109350 HAS SOUS 47275 HAS SOUPS 46529 WITH SCORE 46642.809
AT ITER 4087 NEW BEST:: SOT 234635 SOS 113805 HAS SOPS 109346 HAS SOUS 47271 HAS SOUPS 46525 WITH SCORE 46638.805
AT ITER 4098 NEW BEST:: SOT 234625 SOS 113795 HAS SOPS 109331 HAS SOUS 47266 HAS SOUPS 46520 WITH SCORE 46633.795
AT ITER 4112 NEW BEST:: SOT 234623 SOS 113793 HAS SOPS 109329 HAS SOUS 47262 HAS SOUPS 46516 WITH SCORE 46629.793
AT ITER 4145 NEW BEST:: SOT 234621 SOS 113791 HAS SOPS 109327 HAS SOUS 47258 HAS SOUPS 46512 WITH SCORE 46625.791
AT ITER 4154 NEW BEST:: SOT 234603 SOS 113773 HAS SOPS 109309 HAS SOUS 47258 HAS SOUPS 46512 WITH SCORE 46625.773
AT ITER 4160 NEW BEST:: SOT 234589 SOS 113759 HAS SOPS 109295 HAS SOUS 47258 HAS SOUPS 46512 WITH SCORE 46625.759
AT ITER 4188 NEW BEST:: SOT 234575 SOS 113745 HAS SOPS 109256 HAS SOUS 47217 HAS SOUPS 46471 WITH SCORE 46584.745
AT ITER 4236 NEW BEST:: SOT 234592 SOS 113591 HAS SOPS 109102 HAS SOUS 47215 HAS SOUPS 46469 WITH SCORE 46582.591
AT ITER 4242 NEW BEST:: SOT 234535 SOS 113534 HAS SOPS 109045 HAS SOUS 47146 HAS SOUPS 46400 WITH SCORE 46513.534
AT ITER 4260 NEW BEST:: SOT 234369 SOS 113368 HAS SOPS 108879 HAS SOUS 47134 HAS SOUPS 46388 WITH SCORE 46501.368
AT ITER 4263 NEW BEST:: SOT 234345 SOS 113344 HAS SOPS 108855 HAS SOUS 47086 HAS SOUPS 46340 WITH SCORE 46453.344
AT ITER 4265 NEW BEST:: SOT 234234 SOS 113258 HAS SOPS 108769 HAS SOUS 46981 HAS SOUPS 46235 WITH SCORE 46348.258
AT ITER 4278 NEW BEST:: SOT 234210 SOS 113402 HAS SOPS 108913 HAS SOUS 46957 HAS SOUPS 46211 WITH SCORE 46324.402
AT ITER 4293 NEW BEST:: SOT 234210 SOS 113402 HAS SOPS 108913 HAS SOUS 46952 HAS SOUPS 46206 WITH SCORE 46319.402
AT ITER 4318 NEW BEST:: SOT 234172 SOS 113364 HAS SOPS 108875 HAS SOUS 46914 HAS SOUPS 46168 WITH SCORE 46281.364
AT ITER 4355 NEW BEST:: SOT 234126 SOS 113272 HAS SOPS 108783 HAS SOUS 46822 HAS SOUPS 46076 WITH SCORE 46189.272
AT ITER 4373 NEW BEST:: SOT 234127 SOS 113273 HAS SOPS 108784 HAS SOUS 46790 HAS SOUPS 46044 WITH SCORE 46157.273
AT ITER 4408 NEW BEST:: SOT 234048 SOS 113157 HAS SOPS 108668 HAS SOUS 46674 HAS SOUPS 45928 WITH SCORE 46041.157
AT ITER 4410 NEW BEST:: SOT 234048 SOS 112869 HAS SOPS 108380 HAS SOUS 46674 HAS SOUPS 45928 WITH SCORE 46040.869
AT ITER 4421 NEW BEST:: SOT 234046 SOS 112865 HAS SOPS 108376 HAS SOUS 46670 HAS SOUPS 45924 WITH SCORE 46036.865
AT ITER 4435 NEW BEST:: SOT 234020 SOS 112839 HAS SOPS 108350 HAS SOUS 46644 HAS SOUPS 45898 WITH SCORE 46010.839
AT ITER 4443 NEW BEST:: SOT 234018 SOS 112828 HAS SOPS 108339 HAS SOUS 46641 HAS SOUPS 45895 WITH SCORE 46007.828
AT ITER 4485 NEW BEST:: SOT 234008 SOS 112818 HAS SOPS 108329 HAS SOUS 46631 HAS SOUPS 45885 WITH SCORE 45997.818
AT ITER 4520 NEW BEST:: SOT 233993 SOS 112853 HAS SOPS 108364 HAS SOUS 46601 HAS SOUPS 45855 WITH SCORE 45967.853
AT ITER 4574 NEW BEST:: SOT 233974 SOS 112834 HAS SOPS 108345 HAS SOUS 46563 HAS SOUPS 45817 WITH SCORE 45929.834
AT ITER 4584 NEW BEST:: SOT 233980 SOS 112840 HAS SOPS 108351 HAS SOUS 46551 HAS SOUPS 45805 WITH SCORE 45917.84
AT ITER 4605 NEW BEST:: SOT 233939 SOS 112799 HAS SOPS 108310 HAS SOUS 46539 HAS SOUPS 45793 WITH SCORE 45905.799
AT ITER 4623 NEW BEST:: SOT 233946 SOS 112792 HAS SOPS 108303 HAS SOUS 46525 HAS SOUPS 45779 WITH SCORE 45891.792
AT ITER 4649 NEW BEST:: SOT 233935 SOS 112460 HAS SOPS 107971 HAS SOUS 46512 HAS SOUPS 45766 WITH SCORE 45878.46
AT ITER 4712 NEW BEST:: SOT 233941 SOS 112242 HAS SOPS 107753 HAS SOUS 46506 HAS SOUPS 45760 WITH SCORE 45872.242
AT ITER 4726 NEW BEST:: SOT 233923 SOS 112152 HAS SOPS 107663 HAS SOUS 46470 HAS SOUPS 45724 WITH SCORE 45836.152
AT ITER 4734 NEW BEST:: SOT 233907 SOS 112136 HAS SOPS 107647 HAS SOUS 46430 HAS SOUPS 45684 WITH SCORE 45796.136
AT ITER 4770 NEW BEST:: SOT 233877 SOS 112106 HAS SOPS 107617 HAS SOUS 46382 HAS SOUPS 45636 WITH SCORE 45748.106
AT ITER 4809 NEW BEST:: SOT 233865 SOS 112091 HAS SOPS 107602 HAS SOUS 46375 HAS SOUPS 45629 WITH SCORE 45741.091
AT ITER 4815 NEW BEST:: SOT 233865 SOS 112091 HAS SOPS 107602 HAS SOUS 46353 HAS SOUPS 45607 WITH SCORE 45719.091
AT ITER 4838 NEW BEST:: SOT 233869 SOS 112084 HAS SOPS 107595 HAS SOUS 46349 HAS SOUPS 45603 WITH SCORE 45715.084
AT ITER 4842 NEW BEST:: SOT 233834 SOS 112066 HAS SOPS 107577 HAS SOUS 46349 HAS SOUPS 45603 WITH SCORE 45715.066
AT ITER 4863 NEW BEST:: SOT 233833 SOS 112190 HAS SOPS 107701 HAS SOUS 46342 HAS SOUPS 45596 WITH SCORE 45708.19
AT ITER 4946 NEW BEST:: SOT 233830 SOS 112187 HAS SOPS 107674 HAS SOUS 46341 HAS SOUPS 45591 WITH SCORE 45703.187
AT ITER 4976 NEW BEST:: SOT 233829 SOS 112185 HAS SOPS 107672 HAS SOUS 46339 HAS SOUPS 45589 WITH SCORE 45701.185
AT ITER 4979 NEW BEST:: SOT 233823 SOS 112179 HAS SOPS 107656 HAS SOUS 46344 HAS SOUPS 45584 WITH SCORE 45696.179
AT ITER 4993 NEW BEST:: SOT 233818 SOS 112174 HAS SOPS 107651 HAS SOUS 46334 HAS SOUPS 45574 WITH SCORE 45686.174
Bounds file is: CTLFireability.xml
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-00 (EU( (EG( (! ((potential((tk(P458)>=1))) | (potential((tk(P134)>=1))) | (potential((tk(P279)>=1))) | (potential((tk(P369)>=1))) | (potential((tk(P160)>=1))) | (potential((tk(P421)>=1))))))) , ( ( ( ((potential((tk(P44)>=1) & (tk(P475)>=1))) | (potential((tk(P475)>=1) & (tk(P129)>=1))) | (potential((tk(P475)>=1) & (tk(P335)>=1))) | (potential((tk(P475)>=1) & (tk(P127)>=1))) | (potential((tk(P472)>=1) & (tk(P475)>=1))) | (potential((tk(P475)>=1) & (tk(P277)>=1)))) & ((potential((tk(P296)>=1) & (tk(P208)>=1) & (tk(P352)>=1))) | (potential((tk(P352)>=1) & (tk(P456)>=1) & (tk(P351)>=1))) | (potential((tk(P352)>=1) & (tk(P317)>=1) & (tk(P195)>=1))) | (potential((tk(P317)>=1) & (tk(P352)>=1) & (tk(P271)>=1))) | (potential((tk(P351)>=1) & (tk(P352)>=1) & (tk(P15)>=1))) | (potential((tk(P352)>=1) & (tk(P317)>=1) & (tk(P208)>=1))) | (potential((tk(P195)>=1) & (tk(P296)>=1) & (tk(P352)>=1))) | (potential((tk(P352)>=1) & (tk(P296)>=1) & (tk(P271)>=1))) | (potential((tk(P15)>=1) & (tk(P4)>=1) & (tk(P352)>=1))) | (potential((tk(P456)>=1) & (tk(P271)>=1) & (tk(P352)>=1))) | (potential((tk(P352)>=1) & (tk(P351)>=1) & (tk(P317)>=1))) | (potential((tk(P352)>=1) & (tk(P208)>=1) & (tk(P364)>=1))) | (potential((tk(P352)>=1) & (tk(P178)>=1) & (tk(P296)>=1))) | (potential((tk(P351)>=1) & (tk(P352)>=1) & (tk(P364)>=1))) | (potential((tk(P456)>=1) & (tk(P208)>=1) & (tk(P352)>=1))) | (potential((tk(P4)>=1) & (tk(P352)>=1) & (tk(P456)>=1))) | (potential((tk(P271)>=1) & (tk(P364)>=1) & (tk(P352)>=1))) | (potential((tk(P364)>=1) & (tk(P352)>=1) & (tk(P4)>=1))) | (potential((tk(P271)>=1) & (tk(P15)>=1) & (tk(P352)>=1))) | (potential((tk(P15)>=1) & (tk(P352)>=1) & (tk(P208)>=1))) | (potential((tk(P352)>=1) & (tk(P178)>=1) & (tk(P364)>=1))) | (potential((tk(P352)>=1) & (tk(P195)>=1) & (tk(P15)>=1))) | (potential((tk(P4)>=1) & (tk(P296)>=1) & (tk(P352)>=1))) | (potential((tk(P317)>=1) & (tk(P4)>=1) & (tk(P352)>=1))) | (potential((tk(P351)>=1) & (tk(P296)>=1) & (tk(P352)>=1))) | (potential((tk(P178)>=1) & (tk(P317)>=1) & (tk(P352)>=1))) | (potential((tk(P456)>=1) & (tk(P178)>=1) & (tk(P352)>=1))) | (potential((tk(P352)>=1) & (tk(P195)>=1) & (tk(P456)>=1))) | (potential((tk(P352)>=1) & (tk(P178)>=1) & (tk(P15)>=1))) | (potential((tk(P364)>=1) & (tk(P195)>=1) & (tk(P352)>=1)))) ) & ((potential((tk(P418)>=1))) | (potential((tk(P380)>=1))) | (potential((tk(P159)>=1))) | (potential((tk(P201)>=1))) | (potential((tk(P247)>=1))) | (potential((tk(P102)>=1)))) ) & (AG( ((potential((tk(P125)>=1))) | (potential((tk(P422)>=1))) | (potential((tk(P461)>=1))) | (potential((tk(P400)>=1))) | (potential((tk(P309)>=1))) | (potential((tk(P376)>=1)))))) ) ))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-01 (AG( (EF( (EF( ((potential((tk(P72)>=1))) | (potential((tk(P63)>=1))) | (potential((tk(P362)>=1))) | (potential((tk(P259)>=1))) | (potential((tk(P103)>=1))) | (potential((tk(P156)>=1))))))))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-02 (AF( ( (EG( ( ((potential((tk(P67)>=1) & (tk(P449)>=1))) | (potential((tk(P38)>=1) & (tk(P67)>=1))) | (potential((tk(P225)>=1) & (tk(P67)>=1))) | (potential((tk(P36)>=1) & (tk(P67)>=1))) | (potential((tk(P168)>=1) & (tk(P67)>=1))) | (potential((tk(P67)>=1) & (tk(P349)>=1)))) | ((potential((tk(P182)>=2))) | (potential((tk(P91)>=2))) | (potential((tk(P237)>=2))) | (potential((tk(P196)>=2))) | (potential((tk(P384)>=2))) | (potential((tk(P451)>=2)))) ))) | ( ((potential((tk(P318)>=1) & (tk(P420)>=1))) | (potential((tk(P406)>=1) & (tk(P219)>=1))) | (potential((tk(P152)>=1) & (tk(P81)>=1))) | (potential((tk(P58)>=1) & (tk(P344)>=1))) | (potential((tk(P315)>=1) & (tk(P25)>=1))) | (potential((tk(P1)>=1) & (tk(P374)>=1)))) & ( ((potential((tk(P356)>=9) & (tk(P235)>=1) & (tk(P124)>=1))) | (potential((tk(P356)>=9) & (tk(P210)>=1) & (tk(P42)>=1))) | (potential((tk(P356)>=9) & (tk(P324)>=1) & (tk(P235)>=1))) | (potential((tk(P356)>=9) & (tk(P42)>=1) & (tk(P39)>=1))) | (potential((tk(P235)>=1) & (tk(P356)>=9) & (tk(P366)>=1))) | (potential((tk(P257)>=1) & (tk(P42)>=1) & (tk(P356)>=9))) | (potential((tk(P356)>=9) & (tk(P235)>=1) & (tk(P257)>=1))) | (potential((tk(P235)>=1) & (tk(P39)>=1) & (tk(P356)>=9))) | (potential((tk(P356)>=9) & (tk(P42)>=1) & (tk(P366)>=1))) | (potential((tk(P42)>=1) & (tk(P324)>=1) & (tk(P356)>=9))) | (potential((tk(P356)>=9) & (tk(P124)>=1) & (tk(P42)>=1))) | (potential((tk(P235)>=1) & (tk(P356)>=9) & (tk(P210)>=1)))) & (! ((potential((tk(P356)>=1) & (tk(P399)>=1) & (tk(P184)>=1) & (tk(P311)>=1))) | (potential((tk(P444)>=1) & (tk(P65)>=1) & (tk(P184)>=1) & (tk(P356)>=1))))) ) ) )))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-03 ( (! (AF( ((potential((tk(P382)>=1) & (tk(P236)>=1))) | (potential((tk(P268)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P205)>=1))) | (potential((tk(P236)>=1) & (tk(P73)>=1))) | (potential((tk(P222)>=1) & (tk(P236)>=1))) | (potential((tk(P338)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P448)>=1))) | (potential((tk(P236)>=1) & (tk(P404)>=1))) | (potential((tk(P337)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P453)>=1))) | (potential((tk(P190)>=1) & (tk(P236)>=1))) | (potential((tk(P291)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P12)>=1))) | (potential((tk(P236)>=1) & (tk(P288)>=1))) | (potential((tk(P236)>=1) & (tk(P40)>=1))) | (potential((tk(P179)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P2)>=1))) | (potential((tk(P236)>=1) & (tk(P397)>=1))) | (potential((tk(P76)>=1) & (tk(P236)>=1))) | (potential((tk(P47)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P297)>=1))) | (potential((tk(P59)>=1) & (tk(P236)>=1))) | (potential((tk(P243)>=1) & (tk(P236)>=1))) | (potential((tk(P150)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P447)>=1))) | (potential((tk(P236)>=1) & (tk(P301)>=1))) | (potential((tk(P236)>=1) & (tk(P176)>=1))) | (potential((tk(P378)>=1) & (tk(P236)>=1))) | (potential((tk(P411)>=1) & (tk(P236)>=1))) | (potential((tk(P135)>=1) & (tk(P236)>=1))))))) | ((potential((tk(P435)>=1) & (tk(P339)>=1))) | (potential((tk(P370)>=1) & (tk(P339)>=1))) | (potential((tk(P304)>=1) & (tk(P339)>=1))) | (potential((tk(P339)>=1) & (tk(P111)>=1))) | (potential((tk(P339)>=1) & (tk(P360)>=1))) | (potential((tk(P339)>=1) & (tk(P45)>=1)))) )
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-04 (AF( ((potential((tk(P355)>=10) & (tk(P313)>=1) & (tk(P353)>=1))) | (potential((tk(P241)>=1) & (tk(P353)>=1) & (tk(P355)>=10))) | (potential((tk(P214)>=1) & (tk(P355)>=10) & (tk(P353)>=1))) | (potential((tk(P82)>=1) & (tk(P353)>=1) & (tk(P355)>=10))) | (potential((tk(P414)>=1) & (tk(P355)>=10) & (tk(P353)>=1))) | (potential((tk(P353)>=1) & (tk(P331)>=1) & (tk(P355)>=10))))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-05 ( (! ( (AX( (! ((potential((tk(P185)>=1))) | (potential((tk(P138)>=1))) | (potential((tk(P88)>=1))) | (potential((tk(P245)>=1))) | (potential((tk(P216)>=1))) | (potential((tk(P322)>=1))))))) & ( ( ( ((potential((tk(P118)>=1) & (tk(P339)>=1))) | (potential((tk(P54)>=1) & (tk(P339)>=1))) | (potential((tk(P169)>=1) & (tk(P339)>=1))) | (potential((tk(P423)>=1) & (tk(P339)>=1))) | (potential((tk(P224)>=1) & (tk(P339)>=1))) | (potential((tk(P436)>=1) & (tk(P339)>=1)))) & ((potential((tk(P184)>=1) & (tk(P130)>=1) & (tk(P235)>=1))) | (potential((tk(P391)>=1) & (tk(P184)>=1) & (tk(P42)>=1))) | (potential((tk(P109)>=1) & (tk(P184)>=1) & (tk(P42)>=1))) | (potential((tk(P184)>=1) & (tk(P130)>=1) & (tk(P42)>=1))) | (potential((tk(P235)>=1) & (tk(P184)>=1) & (tk(P391)>=1))) | (potential((tk(P109)>=1) & (tk(P184)>=1) & (tk(P235)>=1))) | (potential((tk(P329)>=1) & (tk(P184)>=1) & (tk(P235)>=1))) | (potential((tk(P329)>=1) & (tk(P184)>=1) & (tk(P42)>=1))) | (potential((tk(P42)>=1) & (tk(P308)>=1) & (tk(P184)>=1))) | (potential((tk(P308)>=1) & (tk(P184)>=1) & (tk(P235)>=1))) | (potential((tk(P235)>=1) & (tk(P184)>=1) & (tk(P207)>=1))) | (potential((tk(P42)>=1) & (tk(P184)>=1) & (tk(P207)>=1)))) ) & ((potential((tk(P387)>=1) & (tk(P204)>=1))) | (potential((tk(P387)>=1) & (tk(P263)>=1))) | (potential((tk(P432)>=1) & (tk(P387)>=1))) | (potential((tk(P14)>=1) & (tk(P387)>=1))) | (potential((tk(P387)>=1) & (tk(P123)>=1))) | (potential((tk(P128)>=1) & (tk(P387)>=1)))) ) & ((potential((tk(P213)>=4))) | (potential((tk(P357)>=4))) | (potential((tk(P430)>=4))) | (potential((tk(P18)>=4))) | (potential((tk(P175)>=4))) | (potential((tk(P74)>=4)))) ) )) & (EF( ((potential((tk(P37)>=1) & (tk(P204)>=1))) | (potential((tk(P128)>=1) & (tk(P37)>=1))) | (potential((tk(P37)>=1) & (tk(P263)>=1))) | (potential((tk(P37)>=1) & (tk(P432)>=1))) | (potential((tk(P123)>=1) & (tk(P37)>=1))) | (potential((tk(P14)>=1) & (tk(P37)>=1)))))) )
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-06 (EF( ((potential((tk(P382)>=1) & (tk(P236)>=1))) | (potential((tk(P268)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P205)>=1))) | (potential((tk(P236)>=1) & (tk(P73)>=1))) | (potential((tk(P222)>=1) & (tk(P236)>=1))) | (potential((tk(P338)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P448)>=1))) | (potential((tk(P236)>=1) & (tk(P404)>=1))) | (potential((tk(P337)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P453)>=1))) | (potential((tk(P190)>=1) & (tk(P236)>=1))) | (potential((tk(P291)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P12)>=1))) | (potential((tk(P236)>=1) & (tk(P288)>=1))) | (potential((tk(P236)>=1) & (tk(P40)>=1))) | (potential((tk(P179)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P2)>=1))) | (potential((tk(P236)>=1) & (tk(P397)>=1))) | (potential((tk(P76)>=1) & (tk(P236)>=1))) | (potential((tk(P47)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P297)>=1))) | (potential((tk(P59)>=1) & (tk(P236)>=1))) | (potential((tk(P243)>=1) & (tk(P236)>=1))) | (potential((tk(P150)>=1) & (tk(P236)>=1))) | (potential((tk(P236)>=1) & (tk(P447)>=1))) | (potential((tk(P236)>=1) & (tk(P301)>=1))) | (potential((tk(P236)>=1) & (tk(P176)>=1))) | (potential((tk(P378)>=1) & (tk(P236)>=1))) | (potential((tk(P411)>=1) & (tk(P236)>=1))) | (potential((tk(P135)>=1) & (tk(P236)>=1))))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-07 (EF( ( ( (! (! ((potential((tk(P64)>=1) & (tk(P183)>=1))) | (potential((tk(P194)>=1) & (tk(P51)>=1))) | (potential((tk(P199)>=1) & (tk(P446)>=1))) | (potential((tk(P98)>=1) & (tk(P183)>=1))) | (potential((tk(P342)>=1) & (tk(P455)>=1))) | (potential((tk(P340)>=1) & (tk(P446)>=1))) | (potential((tk(P342)>=1) & (tk(P249)>=1))) | (potential((tk(P431)>=1) & (tk(P92)>=1))) | (potential((tk(P446)>=1) & (tk(P64)>=1))) | (potential((tk(P183)>=1) & (tk(P455)>=1))) | (potential((tk(P64)>=1) & (tk(P431)>=1))) | (potential((tk(P342)>=1) & (tk(P143)>=1))) | (potential((tk(P431)>=1) & (tk(P143)>=1))) | (potential((tk(P92)>=1) & (tk(P342)>=1))) | (potential((tk(P183)>=1) & (tk(P340)>=1))) | (potential((tk(P446)>=1) & (tk(P395)>=1))) | (potential((tk(P395)>=1) & (tk(P183)>=1))) | (potential((tk(P455)>=1) & (tk(P446)>=1))) | (potential((tk(P342)>=1) & (tk(P64)>=1))) | (potential((tk(P249)>=1) & (tk(P183)>=1))) | (potential((tk(P285)>=1) & (tk(P342)>=1))) | (potential((tk(P431)>=1) & (tk(P194)>=1))) | (potential((tk(P342)>=1) & (tk(P199)>=1))) | (potential((tk(P183)>=1) & (tk(P240)>=1))) | (potential((tk(P51)>=1) & (tk(P64)>=1))) | (potential((tk(P143)>=1) & (tk(P446)>=1))) | (potential((tk(P431)>=1) & (tk(P285)>=1))) | (potential((tk(P395)>=1) & (tk(P51)>=1))) | (potential((tk(P446)>=1) & (tk(P240)>=1))) | (potential((tk(P431)>=1) & (tk(P98)>=1))) | (potential((tk(P51)>=1) & (tk(P199)>=1))) | (potential((tk(P342)>=1) & (tk(P194)>=1))) | (potential((tk(P455)>=1) & (tk(P431)>=1))) | (potential((tk(P51)>=1) & (tk(P249)>=1))) | (potential((tk(P431)>=1) & (tk(P395)>=1))) | (potential((tk(P51)>=1) & (tk(P143)>=1))) | (potential((tk(P342)>=1) & (tk(P395)>=1))) | (potential((tk(P342)>=1) & (tk(P98)>=1))) | (potential((tk(P92)>=1) & (tk(P183)>=1))) | (potential((tk(P446)>=1) & (tk(P249)>=1))) | (potential((tk(P240)>=1) & (tk(P51)>=1))) | (potential((tk(P98)>=1) & (tk(P51)>=1))) | (potential((tk(P240)>=1) & (tk(P342)>=1))) | (potential((tk(P446)>=1) & (tk(P285)>=1))) | (potential((tk(P340)>=1) & (tk(P431)>=1))) | (potential((tk(P285)>=1) & (tk(P51)>=1))) | (potential((tk(P194)>=1) & (tk(P183)>=1))) | (potential((tk(P431)>=1) & (tk(P199)>=1))) | (potential((tk(P143)>=1) & (tk(P183)>=1))) | (potential((tk(P285)>=1) & (tk(P183)>=1))) | (potential((tk(P51)>=1) & (tk(P455)>=1))) | (potential((tk(P199)>=1) & (tk(P183)>=1))) | (potential((tk(P240)>=1) & (tk(P431)>=1))) | (potential((tk(P340)>=1) & (tk(P342)>=1))) | (potential((tk(P92)>=1) & (tk(P51)>=1))) | (potential((tk(P98)>=1) & (tk(P446)>=1))) | (potential((tk(P446)>=1) & (tk(P194)>=1))) | (potential((tk(P446)>=1) & (tk(P92)>=1))) | (potential((tk(P249)>=1) & (tk(P431)>=1))) | (potential((tk(P340)>=1) & (tk(P51)>=1)))))) & ((potential((tk(P435)>=1) & (tk(P339)>=1))) | (potential((tk(P370)>=1) & (tk(P339)>=1))) | (potential((tk(P304)>=1) & (tk(P339)>=1))) | (potential((tk(P339)>=1) & (tk(P111)>=1))) | (potential((tk(P339)>=1) & (tk(P360)>=1))) | (potential((tk(P339)>=1) & (tk(P45)>=1)))) ) & ( (! ( ((potential((tk(P125)>=1))) | (potential((tk(P422)>=1))) | (potential((tk(P461)>=1))) | (potential((tk(P400)>=1))) | (potential((tk(P309)>=1))) | (potential((tk(P376)>=1)))) & ((potential((tk(P310)>=1) & (tk(P355)>=1))) | (potential((tk(P267)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P27)>=1))) | (potential((tk(P355)>=1) & (tk(P238)>=1))) | (potential((tk(P355)>=1) & (tk(P116)>=1))) | (potential((tk(P121)>=1) & (tk(P355)>=1))) | (potential((tk(P206)>=1) & (tk(P355)>=1))) | (potential((tk(P117)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P57)>=1))) | (potential((tk(P316)>=1) & (tk(P355)>=1))) | (potential((tk(P439)>=1) & (tk(P355)>=1))) | (potential((tk(P113)>=1) & (tk(P355)>=1))) | (potential((tk(P110)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P467)>=1))) | (potential((tk(P258)>=1) & (tk(P355)>=1))) | (potential((tk(P325)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P191)>=1))) | (potential((tk(P355)>=1) & (tk(P161)>=1))) | (potential((tk(P35)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P186)>=1))) | (potential((tk(P355)>=1) & (tk(P438)>=1))) | (potential((tk(P355)>=1) & (tk(P200)>=1))) | (potential((tk(P278)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P379)>=1))) | (potential((tk(P355)>=1) & (tk(P61)>=1))) | (potential((tk(P24)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P162)>=1))) | (potential((tk(P405)>=1) & (tk(P355)>=1))) | (potential((tk(P468)>=1) & (tk(P355)>=1))) | (potential((tk(P355)>=1) & (tk(P56)>=1)))) )) | (AX( ((potential((tk(P356)>=1) & (tk(P399)>=1) & (tk(P184)>=1) & (tk(P311)>=1))) | (potential((tk(P444)>=1) & (tk(P65)>=1) & (tk(P184)>=1) & (tk(P356)>=1)))))) ) )))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-08 (AF( ( ( ((potential((tk(P356)>=7) & (tk(P235)>=1) & (tk(P42)>=2) & (tk(P324)>=1)))) & (! ((potential((tk(P372)>=1))))) ) | ((potential((tk(P115)>=1)))) )))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-09 (EG( (! ( (EF( ((potential((tk(P355)>=1) & (tk(P200)>=1)))))) & (AX( ((potential((tk(P236)>=1) & (tk(P404)>=1)))))) ))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-10 (EX( (AG( (EF( ((potential((tk(P124)>=1) & (tk(P356)>=6) & (tk(P235)>=2) & (tk(P42)>=2))))))))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-11 ( (! ( ( ( ( ((potential((tk(P184)>=1) & (tk(P130)>=1) & (tk(P235)>=1)))) & ((potential((tk(P39)>=1) & (tk(P356)>=8) & (tk(P42)>=2)))) ) & ( ((potential((tk(P243)>=1) & (tk(P236)>=1)))) | ((potential((tk(P42)>=3) & (tk(P324)>=1) & (tk(P356)>=6) & (tk(P235)>=1)))) ) ) | (! ((potential((tk(P356)>=8) & (tk(P235)>=1) & (tk(P39)>=1) & (tk(P42)>=1))))) ) & (! ( ( ((potential((tk(P160)>=1)))) | ((potential((tk(P423)>=1) & (tk(P339)>=1)))) ) & ((potential((tk(P304)>=1) & (tk(P299)>=1) & (tk(P71)>=1)))) )) )) | (EF( (AF( ( ((potential((tk(P1)>=1) & (tk(P374)>=1)))) & ((potential((tk(P63)>=1)))) ))))) )
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-12 ( (EX( ( (EX( ((potential((tk(P98)>=1) & (tk(P183)>=1)))))) | (EG( ((potential((tk(P356)>=7) & (tk(P42)>=2) & (tk(P235)>=1) & (tk(P257)>=1)))))) ))) | ( (EG( ( (! ((potential((tk(P356)>=9) & (tk(P235)>=1) & (tk(P257)>=1))))) | ( ((potential((tk(P356)>=7) & (tk(P235)>=1) & (tk(P42)>=2) & (tk(P324)>=1)))) & ((potential((tk(P217)>=1)))) ) ))) | ( ((potential((tk(P356)>=6) & (tk(P42)>=3) & (tk(P210)>=1) & (tk(P235)>=1)))) & ((potential((tk(P224)>=1) & (tk(P339)>=1)))) ) ) )
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-13 (AF( (! (AG( (! ((potential((tk(P47)>=1) & (tk(P386)>=1))))))))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-14 (AF( ( ( ( ( ((potential((tk(P407)>=1) & (tk(P5)>=10)))) | ((potential((tk(P475)>=1) & (tk(P335)>=1)))) ) | (! ((potential((tk(P432)>=1) & (tk(P387)>=1))))) ) & ( ( ((potential((tk(P352)>=1) & (tk(P296)>=1) & (tk(P271)>=1)))) | ((potential((tk(P342)>=1) & (tk(P98)>=1)))) ) | ((potential((tk(P83)>=1) & (tk(P299)>=1) & (tk(P43)>=1)))) ) ) & (EU( ((potential((tk(P124)>=1) & (tk(P356)>=6) & (tk(P235)>=3) & (tk(P42)>=1)))) , ((potential((tk(P84)>=1)))) )) )))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLFireability-15 ( ( ( (! ( (! ((potential((tk(P123)>=1) & (tk(P390)>=1))))) | (! ((potential((tk(P154)>=1) & (tk(P339)>=1) & (tk(P83)>=1))))) )) & ( ( (! ((potential((tk(P42)>=1) & (tk(P235)>=3) & (tk(P356)>=6) & (tk(P324)>=1))))) | ( ((potential((tk(P352)>=1) & (tk(P208)>=1) & (tk(P364)>=1)))) | ((potential((tk(P42)>=4) & (tk(P356)>=6) & (tk(P324)>=1)))) ) ) & ((potential((tk(P60)>=1)))) ) ) | (AF( ( ((potential((tk(P466)>=1) & (tk(P126)>=1)))) & ((potential((tk(P386)>=1) & (tk(P179)>=1)))) ))) ) & (! ( (EX( ( ((potential((tk(P42)>=3) & (tk(P235)>=1) & (tk(P356)>=6) & (tk(P39)>=1)))) & ((potential((tk(P99)>=1) & (tk(P254)>=1)))) ))) & (! ((potential((tk(P68)>=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="PolyORBLF-PT-S02J04T06"
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 PolyORBLF-PT-S02J04T06, 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 r123-tajo-158961354700412"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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