Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.6K Apr 4 18:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 4 07:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 07:19 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.8K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 3 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 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 128K 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 FlexibleBarrier-PT-12a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-12a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589417563808

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 12a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 147 places, 448 transitions, 2045 arcs.
AT ITER 0 NEW BEST:: SOT 56392 SOS 46478 HAS SOPS 46478 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27671.478
AT ITER 1 NEW BEST:: SOT 56379 SOS 46465 HAS SOPS 46465 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27671.465
AT ITER 4 NEW BEST:: SOT 56388 SOS 46463 HAS SOPS 46463 HAS SOUS 27624 HAS SOUPS 27624 WITH SCORE 27670.463
AT ITER 7 NEW BEST:: SOT 56293 SOS 46407 HAS SOPS 46407 HAS SOUS 27574 HAS SOUPS 27574 WITH SCORE 27620.407
AT ITER 8 NEW BEST:: SOT 56038 SOS 46152 HAS SOPS 46152 HAS SOUS 27421 HAS SOUPS 27421 WITH SCORE 27467.152
AT ITER 9 NEW BEST:: SOT 56073 SOS 46068 HAS SOPS 46068 HAS SOUS 27413 HAS SOUPS 27413 WITH SCORE 27459.068
AT ITER 12 NEW BEST:: SOT 56116 SOS 46025 HAS SOPS 46025 HAS SOUS 27395 HAS SOUPS 27395 WITH SCORE 27441.025
AT ITER 18 NEW BEST:: SOT 55815 SOS 45724 HAS SOPS 45724 HAS SOUS 27232 HAS SOUPS 27232 WITH SCORE 27277.724
AT ITER 19 NEW BEST:: SOT 55799 SOS 45708 HAS SOPS 45708 HAS SOUS 27232 HAS SOUPS 27232 WITH SCORE 27277.708
AT ITER 23 NEW BEST:: SOT 55797 SOS 45462 HAS SOPS 45462 HAS SOUS 26523 HAS SOUPS 26523 WITH SCORE 26568.462
AT ITER 24 NEW BEST:: SOT 55791 SOS 45456 HAS SOPS 45456 HAS SOUS 26523 HAS SOUPS 26523 WITH SCORE 26568.456
AT ITER 25 NEW BEST:: SOT 55789 SOS 45384 HAS SOPS 45384 HAS SOUS 26487 HAS SOUPS 26487 WITH SCORE 26532.384
AT ITER 26 NEW BEST:: SOT 55803 SOS 45268 HAS SOPS 45268 HAS SOUS 25876 HAS SOUPS 25876 WITH SCORE 25921.268
AT ITER 27 NEW BEST:: SOT 55835 SOS 45332 HAS SOPS 45332 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25920.332
AT ITER 28 NEW BEST:: SOT 55555 SOS 44667 HAS SOPS 44667 HAS SOUS 23955 HAS SOUPS 23955 WITH SCORE 23999.667
AT ITER 30 NEW BEST:: SOT 55554 SOS 44665 HAS SOPS 44665 HAS SOUS 23954 HAS SOUPS 23954 WITH SCORE 23998.665
AT ITER 31 NEW BEST:: SOT 55617 SOS 44054 HAS SOPS 44054 HAS SOUS 22677 HAS SOUPS 22677 WITH SCORE 22721.054
AT ITER 33 NEW BEST:: SOT 55185 SOS 43662 HAS SOPS 43662 HAS SOUS 22483 HAS SOUPS 22483 WITH SCORE 22526.662
AT ITER 37 NEW BEST:: SOT 55245 SOS 43225 HAS SOPS 43225 HAS SOUS 21950 HAS SOUPS 21950 WITH SCORE 21993.225
AT ITER 38 NEW BEST:: SOT 55278 SOS 43231 HAS SOPS 43231 HAS SOUS 21945 HAS SOUPS 21945 WITH SCORE 21988.231
AT ITER 41 NEW BEST:: SOT 55278 SOS 43186 HAS SOPS 43186 HAS SOUS 21945 HAS SOUPS 21945 WITH SCORE 21988.186
AT ITER 42 NEW BEST:: SOT 55126 SOS 42937 HAS SOPS 42937 HAS SOUS 21724 HAS SOUPS 21724 WITH SCORE 21766.937
AT ITER 43 NEW BEST:: SOT 54885 SOS 42696 HAS SOPS 42696 HAS SOUS 21590 HAS SOUPS 21590 WITH SCORE 21632.696
AT ITER 46 NEW BEST:: SOT 54910 SOS 42694 HAS SOPS 42694 HAS SOUS 21586 HAS SOUPS 21586 WITH SCORE 21628.694
AT ITER 53 NEW BEST:: SOT 54910 SOS 42614 HAS SOPS 42614 HAS SOUS 21506 HAS SOUPS 21506 WITH SCORE 21548.614
AT ITER 54 NEW BEST:: SOT 54906 SOS 42500 HAS SOPS 42500 HAS SOUS 21433 HAS SOUPS 21433 WITH SCORE 21475.5
AT ITER 58 NEW BEST:: SOT 54623 SOS 41516 HAS SOPS 41496 HAS SOUS 19375 HAS SOUPS 19370 WITH SCORE 19411.516
AT ITER 59 NEW BEST:: SOT 54619 SOS 41508 HAS SOPS 41488 HAS SOUS 19373 HAS SOUPS 19368 WITH SCORE 19409.508
AT ITER 63 NEW BEST:: SOT 54632 SOS 40085 HAS SOPS 40065 HAS SOUS 17969 HAS SOUPS 17964 WITH SCORE 18004.085
AT ITER 67 NEW BEST:: SOT 54627 SOS 40074 HAS SOPS 40054 HAS SOUS 17966 HAS SOUPS 17961 WITH SCORE 18001.074
AT ITER 68 NEW BEST:: SOT 54658 SOS 39936 HAS SOPS 39910 HAS SOUS 17857 HAS SOUPS 17846 WITH SCORE 17885.936
AT ITER 69 NEW BEST:: SOT 54674 SOS 39412 HAS SOPS 39386 HAS SOUS 17693 HAS SOUPS 17682 WITH SCORE 17721.412
AT ITER 70 NEW BEST:: SOT 54663 SOS 37639 HAS SOPS 37613 HAS SOUS 16779 HAS SOUPS 16768 WITH SCORE 16805.639
AT ITER 73 NEW BEST:: SOT 54663 SOS 35352 HAS SOPS 35326 HAS SOUS 15781 HAS SOUPS 15770 WITH SCORE 15805.352
AT ITER 77 NEW BEST:: SOT 54660 SOS 35261 HAS SOPS 35235 HAS SOUS 15744 HAS SOUPS 15733 WITH SCORE 15768.261
AT ITER 80 NEW BEST:: SOT 54657 SOS 35246 HAS SOPS 35220 HAS SOUS 15742 HAS SOUPS 15731 WITH SCORE 15766.246
AT ITER 81 NEW BEST:: SOT 54518 SOS 34504 HAS SOPS 34478 HAS SOUS 15110 HAS SOUPS 15099 WITH SCORE 15133.504
AT ITER 82 NEW BEST:: SOT 54516 SOS 34491 HAS SOPS 34465 HAS SOUS 15091 HAS SOUPS 15080 WITH SCORE 15114.491
AT ITER 83 NEW BEST:: SOT 54621 SOS 34496 HAS SOPS 34470 HAS SOUS 15072 HAS SOUPS 15061 WITH SCORE 15095.496
AT ITER 88 NEW BEST:: SOT 54656 SOS 34490 HAS SOPS 34464 HAS SOUS 15068 HAS SOUPS 15057 WITH SCORE 15091.49
AT ITER 96 NEW BEST:: SOT 54651 SOS 34475 HAS SOPS 34449 HAS SOUS 15068 HAS SOUPS 15057 WITH SCORE 15091.475
AT ITER 98 NEW BEST:: SOT 54644 SOS 34461 HAS SOPS 34435 HAS SOUS 15066 HAS SOUPS 15055 WITH SCORE 15089.461
AT ITER 111 NEW BEST:: SOT 54583 SOS 34345 HAS SOPS 34319 HAS SOUS 15004 HAS SOUPS 14993 WITH SCORE 15027.345
AT ITER 114 NEW BEST:: SOT 52957 SOS 33148 HAS SOPS 32693 HAS SOUS 13407 HAS SOUPS 13335 WITH SCORE 13368.148
AT ITER 115 NEW BEST:: SOT 52951 SOS 33142 HAS SOPS 32681 HAS SOUS 13395 HAS SOUPS 13323 WITH SCORE 13356.142
AT ITER 120 NEW BEST:: SOT 53015 SOS 31044 HAS SOPS 30601 HAS SOUS 12850 HAS SOUPS 12778 WITH SCORE 12809.044
AT ITER 121 NEW BEST:: SOT 52900 SOS 31230 HAS SOPS 30740 HAS SOUS 12847 HAS SOUPS 12775 WITH SCORE 12806.23
AT ITER 122 NEW BEST:: SOT 52924 SOS 31230 HAS SOPS 30712 HAS SOUS 12792 HAS SOUPS 12720 WITH SCORE 12751.23
AT ITER 126 NEW BEST:: SOT 52923 SOS 31215 HAS SOPS 30697 HAS SOUS 12792 HAS SOUPS 12720 WITH SCORE 12751.215
AT ITER 127 NEW BEST:: SOT 52955 SOS 31203 HAS SOPS 30662 HAS SOUS 12780 HAS SOUPS 12708 WITH SCORE 12739.203
AT ITER 128 NEW BEST:: SOT 53039 SOS 31256 HAS SOPS 30690 HAS SOUS 12776 HAS SOUPS 12704 WITH SCORE 12735.256
AT ITER 131 NEW BEST:: SOT 53055 SOS 31206 HAS SOPS 30606 HAS SOUS 12692 HAS SOUPS 12620 WITH SCORE 12651.206
AT ITER 136 NEW BEST:: SOT 53069 SOS 31063 HAS SOPS 30463 HAS SOUS 12617 HAS SOUPS 12545 WITH SCORE 12576.063
AT ITER 137 NEW BEST:: SOT 53066 SOS 31054 HAS SOPS 30454 HAS SOUS 12614 HAS SOUPS 12542 WITH SCORE 12573.054
AT ITER 138 NEW BEST:: SOT 53079 SOS 31049 HAS SOPS 30449 HAS SOUS 12596 HAS SOUPS 12524 WITH SCORE 12555.049
AT ITER 139 NEW BEST:: SOT 53007 SOS 30784 HAS SOPS 30219 HAS SOUS 12562 HAS SOUPS 12490 WITH SCORE 12520.784
AT ITER 143 NEW BEST:: SOT 52724 SOS 30505 HAS SOPS 29940 HAS SOUS 12425 HAS SOUPS 12353 WITH SCORE 12383.505
AT ITER 144 NEW BEST:: SOT 52709 SOS 30475 HAS SOPS 29910 HAS SOUS 12405 HAS SOUPS 12333 WITH SCORE 12363.475
AT ITER 145 NEW BEST:: SOT 52656 SOS 30422 HAS SOPS 29858 HAS SOUS 12353 HAS SOUPS 12281 WITH SCORE 12311.422
AT ITER 148 NEW BEST:: SOT 52665 SOS 30422 HAS SOPS 29858 HAS SOUS 12350 HAS SOUPS 12278 WITH SCORE 12308.422
AT ITER 153 NEW BEST:: SOT 52664 SOS 30419 HAS SOPS 29856 HAS SOUS 12348 HAS SOUPS 12276 WITH SCORE 12306.419
AT ITER 158 NEW BEST:: SOT 52698 SOS 30464 HAS SOPS 29901 HAS SOUS 12342 HAS SOUPS 12270 WITH SCORE 12300.464
AT ITER 159 NEW BEST:: SOT 52688 SOS 30500 HAS SOPS 29937 HAS SOUS 12330 HAS SOUPS 12258 WITH SCORE 12288.5
AT ITER 169 NEW BEST:: SOT 52688 SOS 29603 HAS SOPS 29040 HAS SOUS 12247 HAS SOUPS 12175 WITH SCORE 12204.603
AT ITER 179 NEW BEST:: SOT 52688 SOS 29603 HAS SOPS 29030 HAS SOUS 12237 HAS SOUPS 12165 WITH SCORE 12194.603
AT ITER 182 NEW BEST:: SOT 52671 SOS 29589 HAS SOPS 29031 HAS SOUS 12193 HAS SOUPS 12121 WITH SCORE 12150.589
AT ITER 184 NEW BEST:: SOT 52656 SOS 29592 HAS SOPS 29023 HAS SOUS 12185 HAS SOUPS 12113 WITH SCORE 12142.592
AT ITER 196 NEW BEST:: SOT 52653 SOS 29484 HAS SOPS 28915 HAS SOUS 12173 HAS SOUPS 12101 WITH SCORE 12130.484
AT ITER 197 NEW BEST:: SOT 52659 SOS 29449 HAS SOPS 28880 HAS SOUS 12134 HAS SOUPS 12062 WITH SCORE 12091.449
AT ITER 202 NEW BEST:: SOT 52688 SOS 29440 HAS SOPS 28862 HAS SOUS 12110 HAS SOUPS 12038 WITH SCORE 12067.44
AT ITER 211 NEW BEST:: SOT 52685 SOS 29433 HAS SOPS 28855 HAS SOUS 12107 HAS SOUPS 12035 WITH SCORE 12064.433
AT ITER 215 NEW BEST:: SOT 52651 SOS 29365 HAS SOPS 28787 HAS SOUS 12073 HAS SOUPS 12001 WITH SCORE 12030.365
AT ITER 225 NEW BEST:: SOT 52707 SOS 29200 HAS SOPS 28627 HAS SOUS 12060 HAS SOUPS 11988 WITH SCORE 12017.2
AT ITER 228 NEW BEST:: SOT 52707 SOS 29157 HAS SOPS 28584 HAS SOUS 12060 HAS SOUPS 11988 WITH SCORE 12017.157
AT ITER 231 NEW BEST:: SOT 52703 SOS 29141 HAS SOPS 28568 HAS SOUS 12048 HAS SOUPS 11976 WITH SCORE 12005.141
AT ITER 234 NEW BEST:: SOT 52691 SOS 29117 HAS SOPS 28544 HAS SOUS 12036 HAS SOUPS 11964 WITH SCORE 11993.117
AT ITER 240 NEW BEST:: SOT 52709 SOS 29102 HAS SOPS 28545 HAS SOUS 12023 HAS SOUPS 11957 WITH SCORE 11986.102
AT ITER 243 NEW BEST:: SOT 52658 SOS 28997 HAS SOPS 28440 HAS SOUS 11981 HAS SOUPS 11915 WITH SCORE 11943.997
AT ITER 260 NEW BEST:: SOT 52657 SOS 28974 HAS SOPS 28417 HAS SOUS 11979 HAS SOUPS 11913 WITH SCORE 11941.974
AT ITER 261 NEW BEST:: SOT 52666 SOS 28974 HAS SOPS 28417 HAS SOUS 11970 HAS SOUPS 11904 WITH SCORE 11932.974
AT ITER 267 NEW BEST:: SOT 52664 SOS 28968 HAS SOPS 28411 HAS SOUS 11966 HAS SOUPS 11900 WITH SCORE 11928.968
AT ITER 269 NEW BEST:: SOT 52662 SOS 28966 HAS SOPS 28409 HAS SOUS 11966 HAS SOUPS 11900 WITH SCORE 11928.966
AT ITER 272 NEW BEST:: SOT 52676 SOS 28900 HAS SOPS 28338 HAS SOUS 11924 HAS SOUPS 11858 WITH SCORE 11886.9
AT ITER 274 NEW BEST:: SOT 52671 SOS 28890 HAS SOPS 28333 HAS SOUS 11924 HAS SOUPS 11858 WITH SCORE 11886.89
AT ITER 295 NEW BEST:: SOT 51993 SOS 28236 HAS SOPS 27651 HAS SOUS 11584 HAS SOUPS 11512 WITH SCORE 11540.236
AT ITER 308 NEW BEST:: SOT 49409 SOS 32764 HAS SOPS 25066 HAS SOUS 10762 HAS SOUPS 10599 WITH SCORE 10631.764
AT ITER 313 NEW BEST:: SOT 49391 SOS 32743 HAS SOPS 25030 HAS SOUS 10701 HAS SOUPS 10538 WITH SCORE 10570.743
AT ITER 314 NEW BEST:: SOT 49335 SOS 32720 HAS SOPS 25007 HAS SOUS 10636 HAS SOUPS 10473 WITH SCORE 10505.72
AT ITER 318 NEW BEST:: SOT 49335 SOS 32717 HAS SOPS 25004 HAS SOUS 10636 HAS SOUPS 10473 WITH SCORE 10505.717
AT ITER 320 NEW BEST:: SOT 49301 SOS 32670 HAS SOPS 24936 HAS SOUS 10590 HAS SOUPS 10427 WITH SCORE 10459.67
AT ITER 324 NEW BEST:: SOT 49289 SOS 32669 HAS SOPS 24935 HAS SOUS 10546 HAS SOUPS 10383 WITH SCORE 10415.669
AT ITER 325 NEW BEST:: SOT 49260 SOS 32606 HAS SOPS 24877 HAS SOUS 10520 HAS SOUPS 10357 WITH SCORE 10389.606
AT ITER 334 NEW BEST:: SOT 49201 SOS 32490 HAS SOPS 24761 HAS SOUS 10497 HAS SOUPS 10334 WITH SCORE 10366.49
AT ITER 338 NEW BEST:: SOT 49186 SOS 32460 HAS SOPS 24731 HAS SOUS 10467 HAS SOUPS 10304 WITH SCORE 10336.46
AT ITER 344 NEW BEST:: SOT 49117 SOS 32348 HAS SOPS 24593 HAS SOUS 10329 HAS SOUPS 10166 WITH SCORE 10198.348
AT ITER 351 NEW BEST:: SOT 49108 SOS 32348 HAS SOPS 24584 HAS SOUS 10320 HAS SOUPS 10157 WITH SCORE 10189.348
AT ITER 353 NEW BEST:: SOT 49107 SOS 32367 HAS SOPS 24603 HAS SOUS 10319 HAS SOUPS 10156 WITH SCORE 10188.367
AT ITER 355 NEW BEST:: SOT 49209 SOS 32287 HAS SOPS 24135 HAS SOUS 9943 HAS SOUPS 9780 WITH SCORE 9812.287
AT ITER 364 NEW BEST:: SOT 49191 SOS 32269 HAS SOPS 24099 HAS SOUS 9925 HAS SOUPS 9762 WITH SCORE 9794.269
AT ITER 367 NEW BEST:: SOT 49044 SOS 32135 HAS SOPS 23744 HAS SOUS 9518 HAS SOUPS 9355 WITH SCORE 9387.135
AT ITER 370 NEW BEST:: SOT 49058 SOS 32162 HAS SOPS 23472 HAS SOUS 9468 HAS SOUPS 9305 WITH SCORE 9337.162
AT ITER 377 NEW BEST:: SOT 49060 SOS 32135 HAS SOPS 23418 HAS SOUS 9443 HAS SOUPS 9280 WITH SCORE 9312.135
AT ITER 384 NEW BEST:: SOT 49081 SOS 32090 HAS SOPS 23320 HAS SOUS 9333 HAS SOUPS 9170 WITH SCORE 9202.09
AT ITER 389 NEW BEST:: SOT 49103 SOS 32095 HAS SOPS 23325 HAS SOUS 9324 HAS SOUPS 9161 WITH SCORE 9193.095
AT ITER 415 NEW BEST:: SOT 49100 SOS 32089 HAS SOPS 23319 HAS SOUS 9324 HAS SOUPS 9161 WITH SCORE 9193.089
AT ITER 420 NEW BEST:: SOT 49083 SOS 32072 HAS SOPS 23302 HAS SOUS 9299 HAS SOUPS 9136 WITH SCORE 9168.072
AT ITER 422 NEW BEST:: SOT 48000 SOS 31983 HAS SOPS 24429 HAS SOUS 9155 HAS SOUPS 8992 WITH SCORE 9023.983
AT ITER 425 NEW BEST:: SOT 48039 SOS 31129 HAS SOPS 23174 HAS SOUS 9023 HAS SOUPS 8860 WITH SCORE 8891.129
AT ITER 426 NEW BEST:: SOT 48001 SOS 31041 HAS SOPS 23060 HAS SOUS 8977 HAS SOUPS 8814 WITH SCORE 8845.041
AT ITER 432 NEW BEST:: SOT 48022 SOS 31062 HAS SOPS 23030 HAS SOUS 8947 HAS SOUPS 8784 WITH SCORE 8815.062
AT ITER 445 NEW BEST:: SOT 48031 SOS 31063 HAS SOPS 23031 HAS SOUS 8940 HAS SOUPS 8777 WITH SCORE 8808.063
AT ITER 448 NEW BEST:: SOT 48031 SOS 31042 HAS SOPS 23010 HAS SOUS 8940 HAS SOUPS 8777 WITH SCORE 8808.042
AT ITER 452 NEW BEST:: SOT 48017 SOS 31027 HAS SOPS 22981 HAS SOUS 8911 HAS SOUPS 8748 WITH SCORE 8779.027
AT ITER 453 NEW BEST:: SOT 47483 SOS 33057 HAS SOPS 22329 HAS SOUS 8434 HAS SOUPS 8201 WITH SCORE 8234.057
AT ITER 459 NEW BEST:: SOT 47483 SOS 33049 HAS SOPS 22285 HAS SOUS 8406 HAS SOUPS 8173 WITH SCORE 8206.049
AT ITER 465 NEW BEST:: SOT 47479 SOS 33042 HAS SOPS 22277 HAS SOUS 8398 HAS SOUPS 8165 WITH SCORE 8198.042
AT ITER 468 NEW BEST:: SOT 47806 SOS 33348 HAS SOPS 21481 HAS SOUS 8335 HAS SOUPS 8102 WITH SCORE 8135.348
AT ITER 473 NEW BEST:: SOT 47799 SOS 33341 HAS SOPS 21467 HAS SOUS 8318 HAS SOUPS 8088 WITH SCORE 8121.341
AT ITER 475 NEW BEST:: SOT 47781 SOS 33324 HAS SOPS 21461 HAS SOUS 8310 HAS SOUPS 8080 WITH SCORE 8113.324
AT ITER 485 NEW BEST:: SOT 47773 SOS 33312 HAS SOPS 21445 HAS SOUS 8309 HAS SOUPS 8079 WITH SCORE 8112.312
AT ITER 488 NEW BEST:: SOT 47767 SOS 33300 HAS SOPS 21433 HAS SOUS 8302 HAS SOUPS 8072 WITH SCORE 8105.3
AT ITER 495 NEW BEST:: SOT 47721 SOS 33205 HAS SOPS 21341 HAS SOUS 8233 HAS SOUPS 8003 WITH SCORE 8036.205
AT ITER 505 NEW BEST:: SOT 47704 SOS 33212 HAS SOPS 21308 HAS SOUS 8193 HAS SOUPS 7963 WITH SCORE 7996.212
AT ITER 515 NEW BEST:: SOT 47627 SOS 33087 HAS SOPS 21234 HAS SOUS 8129 HAS SOUPS 7899 WITH SCORE 7932.087
AT ITER 535 NEW BEST:: SOT 47626 SOS 33086 HAS SOPS 21233 HAS SOUS 8128 HAS SOUPS 7898 WITH SCORE 7931.086
AT ITER 537 NEW BEST:: SOT 47624 SOS 33053 HAS SOPS 21171 HAS SOUS 8068 HAS SOUPS 7838 WITH SCORE 7871.053
AT ITER 543 NEW BEST:: SOT 47615 SOS 33044 HAS SOPS 21153 HAS SOUS 8061 HAS SOUPS 7831 WITH SCORE 7864.044
AT ITER 556 NEW BEST:: SOT 47513 SOS 32928 HAS SOPS 20861 HAS SOUS 7832 HAS SOUPS 7602 WITH SCORE 7634.928
AT ITER 577 NEW BEST:: SOT 47503 SOS 32913 HAS SOPS 20846 HAS SOUS 7817 HAS SOUPS 7587 WITH SCORE 7619.913
AT ITER 582 NEW BEST:: SOT 47509 SOS 32909 HAS SOPS 20622 HAS SOUS 7695 HAS SOUPS 7465 WITH SCORE 7497.909
AT ITER 591 NEW BEST:: SOT 47509 SOS 32909 HAS SOPS 20611 HAS SOUS 7684 HAS SOUPS 7454 WITH SCORE 7486.909
AT ITER 599 NEW BEST:: SOT 47391 SOS 32785 HAS SOPS 20487 HAS SOUS 7616 HAS SOUPS 7386 WITH SCORE 7418.785
AT ITER 608 NEW BEST:: SOT 47396 SOS 32782 HAS SOPS 20488 HAS SOUS 7616 HAS SOUPS 7386 WITH SCORE 7418.782
AT ITER 613 NEW BEST:: SOT 47387 SOS 32765 HAS SOPS 20470 HAS SOUS 7598 HAS SOUPS 7368 WITH SCORE 7400.765
AT ITER 616 NEW BEST:: SOT 47391 SOS 32769 HAS SOPS 20458 HAS SOUS 7569 HAS SOUPS 7339 WITH SCORE 7371.769
AT ITER 619 NEW BEST:: SOT 47379 SOS 32742 HAS SOPS 20401 HAS SOUS 7527 HAS SOUPS 7297 WITH SCORE 7329.742
AT ITER 620 NEW BEST:: SOT 47174 SOS 32554 HAS SOPS 20221 HAS SOUS 7464 HAS SOUPS 7234 WITH SCORE 7266.554
AT ITER 623 NEW BEST:: SOT 47174 SOS 32548 HAS SOPS 20221 HAS SOUS 7464 HAS SOUPS 7234 WITH SCORE 7266.548
AT ITER 625 NEW BEST:: SOT 47174 SOS 32547 HAS SOPS 20220 HAS SOUS 7462 HAS SOUPS 7232 WITH SCORE 7264.547
AT ITER 631 NEW BEST:: SOT 47155 SOS 32518 HAS SOPS 20182 HAS SOUS 7450 HAS SOUPS 7220 WITH SCORE 7252.518
AT ITER 634 NEW BEST:: SOT 47148 SOS 32512 HAS SOPS 20168 HAS SOUS 7439 HAS SOUPS 7206 WITH SCORE 7238.512
AT ITER 646 NEW BEST:: SOT 47133 SOS 32476 HAS SOPS 20138 HAS SOUS 7410 HAS SOUPS 7177 WITH SCORE 7209.476
AT ITER 688 NEW BEST:: SOT 47125 SOS 32451 HAS SOPS 20113 HAS SOUS 7393 HAS SOUPS 7160 WITH SCORE 7192.451
AT ITER 689 NEW BEST:: SOT 47108 SOS 32404 HAS SOPS 20064 HAS SOUS 7344 HAS SOUPS 7111 WITH SCORE 7143.404
AT ITER 693 NEW BEST:: SOT 47090 SOS 32376 HAS SOPS 20028 HAS SOUS 7312 HAS SOUPS 7079 WITH SCORE 7111.376
AT ITER 694 NEW BEST:: SOT 47092 SOS 32385 HAS SOPS 20032 HAS SOUS 7311 HAS SOUPS 7078 WITH SCORE 7110.385
AT ITER 708 NEW BEST:: SOT 47024 SOS 32315 HAS SOPS 19962 HAS SOUS 7275 HAS SOUPS 7042 WITH SCORE 7074.315
AT ITER 716 NEW BEST:: SOT 47018 SOS 32303 HAS SOPS 19944 HAS SOUS 7257 HAS SOUPS 7024 WITH SCORE 7056.303
AT ITER 717 NEW BEST:: SOT 47018 SOS 32303 HAS SOPS 19896 HAS SOUS 7208 HAS SOUPS 6975 WITH SCORE 7007.303
AT ITER 732 NEW BEST:: SOT 46984 SOS 32268 HAS SOPS 19828 HAS SOUS 7134 HAS SOUPS 6901 WITH SCORE 6933.268
AT ITER 735 NEW BEST:: SOT 46955 SOS 32225 HAS SOPS 19770 HAS SOUS 7076 HAS SOUPS 6843 WITH SCORE 6875.225
AT ITER 739 NEW BEST:: SOT 46962 SOS 32231 HAS SOPS 19776 HAS SOUS 7075 HAS SOUPS 6842 WITH SCORE 6874.231
AT ITER 741 NEW BEST:: SOT 46969 SOS 32239 HAS SOPS 19737 HAS SOUS 7036 HAS SOUPS 6803 WITH SCORE 6835.239
AT ITER 742 NEW BEST:: SOT 46966 SOS 32236 HAS SOPS 19734 HAS SOUS 7033 HAS SOUPS 6800 WITH SCORE 6832.236
AT ITER 768 NEW BEST:: SOT 46922 SOS 32114 HAS SOPS 19646 HAS SOUS 6967 HAS SOUPS 6734 WITH SCORE 6766.114
AT ITER 776 NEW BEST:: SOT 46920 SOS 32117 HAS SOPS 19642 HAS SOUS 6963 HAS SOUPS 6730 WITH SCORE 6762.117
AT ITER 781 NEW BEST:: SOT 46810 SOS 32004 HAS SOPS 19526 HAS SOUS 6899 HAS SOUPS 6666 WITH SCORE 6698.004
AT ITER 792 NEW BEST:: SOT 46790 SOS 31984 HAS SOPS 19486 HAS SOUS 6859 HAS SOUPS 6626 WITH SCORE 6657.984
AT ITER 801 NEW BEST:: SOT 46795 SOS 31941 HAS SOPS 19448 HAS SOUS 6821 HAS SOUPS 6588 WITH SCORE 6619.941
AT ITER 814 NEW BEST:: SOT 46789 SOS 31921 HAS SOPS 19436 HAS SOUS 6809 HAS SOUPS 6576 WITH SCORE 6607.921
AT ITER 821 NEW BEST:: SOT 46770 SOS 31901 HAS SOPS 19420 HAS SOUS 6786 HAS SOUPS 6553 WITH SCORE 6584.901
AT ITER 830 NEW BEST:: SOT 46770 SOS 31897 HAS SOPS 19420 HAS SOUS 6786 HAS SOUPS 6553 WITH SCORE 6584.897
AT ITER 860 NEW BEST:: SOT 46772 SOS 31878 HAS SOPS 19392 HAS SOUS 6757 HAS SOUPS 6524 WITH SCORE 6555.878
AT ITER 869 NEW BEST:: SOT 46772 SOS 31863 HAS SOPS 19377 HAS SOUS 6742 HAS SOUPS 6509 WITH SCORE 6540.863
AT ITER 875 NEW BEST:: SOT 46753 SOS 31844 HAS SOPS 19339 HAS SOUS 6704 HAS SOUPS 6471 WITH SCORE 6502.844
AT ITER 879 NEW BEST:: SOT 46767 SOS 31828 HAS SOPS 19323 HAS SOUS 6688 HAS SOUPS 6455 WITH SCORE 6486.828
AT ITER 880 NEW BEST:: SOT 46468 SOS 31544 HAS SOPS 19067 HAS SOUS 6591 HAS SOUPS 6358 WITH SCORE 6389.544
AT ITER 903 NEW BEST:: SOT 46458 SOS 31524 HAS SOPS 19042 HAS SOUS 6566 HAS SOUPS 6333 WITH SCORE 6364.524
AT ITER 910 NEW BEST:: SOT 46471 SOS 31535 HAS SOPS 19068 HAS SOUS 6562 HAS SOUPS 6329 WITH SCORE 6360.535
AT ITER 917 NEW BEST:: SOT 46444 SOS 31514 HAS SOPS 19027 HAS SOUS 6541 HAS SOUPS 6308 WITH SCORE 6339.514
AT ITER 939 NEW BEST:: SOT 46408 SOS 31492 HAS SOPS 19005 HAS SOUS 6517 HAS SOUPS 6284 WITH SCORE 6315.492
AT ITER 965 NEW BEST:: SOT 46400 SOS 31438 HAS SOPS 18958 HAS SOUS 6469 HAS SOUPS 6236 WITH SCORE 6267.438
AT ITER 973 NEW BEST:: SOT 46378 SOS 31400 HAS SOPS 18914 HAS SOUS 6457 HAS SOUPS 6224 WITH SCORE 6255.4
AT ITER 976 NEW BEST:: SOT 46372 SOS 31400 HAS SOPS 18902 HAS SOUS 6445 HAS SOUPS 6212 WITH SCORE 6243.4
AT ITER 981 NEW BEST:: SOT 46292 SOS 31320 HAS SOPS 18822 HAS SOUS 6403 HAS SOUPS 6170 WITH SCORE 6201.32
AT ITER 989 NEW BEST:: SOT 46292 SOS 31294 HAS SOPS 18822 HAS SOUS 6381 HAS SOUPS 6148 WITH SCORE 6179.294
AT ITER 1009 NEW BEST:: SOT 46295 SOS 31293 HAS SOPS 18825 HAS SOUS 6380 HAS SOUPS 6147 WITH SCORE 6178.293
AT ITER 1015 NEW BEST:: SOT 46081 SOS 31091 HAS SOPS 18833 HAS SOUS 6338 HAS SOUPS 6105 WITH SCORE 6136.091
AT ITER 1024 NEW BEST:: SOT 46071 SOS 31091 HAS SOPS 18828 HAS SOUS 6328 HAS SOUPS 6095 WITH SCORE 6126.091
AT ITER 1039 NEW BEST:: SOT 46039 SOS 31090 HAS SOPS 18813 HAS SOUS 6307 HAS SOUPS 6074 WITH SCORE 6105.09
AT ITER 1046 NEW BEST:: SOT 46035 SOS 31086 HAS SOPS 18805 HAS SOUS 6303 HAS SOUPS 6070 WITH SCORE 6101.086
AT ITER 1047 NEW BEST:: SOT 45993 SOS 31057 HAS SOPS 18783 HAS SOUS 6281 HAS SOUPS 6048 WITH SCORE 6079.057
AT ITER 1064 NEW BEST:: SOT 45985 SOS 31041 HAS SOPS 18767 HAS SOUS 6275 HAS SOUPS 6042 WITH SCORE 6073.041
AT ITER 1066 NEW BEST:: SOT 45985 SOS 30996 HAS SOPS 18767 HAS SOUS 6275 HAS SOUPS 6042 WITH SCORE 6072.996
AT ITER 1070 NEW BEST:: SOT 45984 SOS 30982 HAS SOPS 18752 HAS SOUS 6273 HAS SOUPS 6040 WITH SCORE 6070.982
AT ITER 1088 NEW BEST:: SOT 45979 SOS 30996 HAS SOPS 18761 HAS SOUS 6265 HAS SOUPS 6032 WITH SCORE 6062.996
AT ITER 1103 NEW BEST:: SOT 45975 SOS 30992 HAS SOPS 18755 HAS SOUS 6259 HAS SOUPS 6026 WITH SCORE 6056.992
AT ITER 1105 NEW BEST:: SOT 45969 SOS 30986 HAS SOPS 18743 HAS SOUS 6247 HAS SOUPS 6014 WITH SCORE 6044.986
AT ITER 1119 NEW BEST:: SOT 45969 SOS 30679 HAS SOPS 18442 HAS SOUS 6247 HAS SOUPS 6014 WITH SCORE 6044.679
AT ITER 1128 NEW BEST:: SOT 45961 SOS 30670 HAS SOPS 18426 HAS SOUS 6239 HAS SOUPS 6006 WITH SCORE 6036.67
AT ITER 1136 NEW BEST:: SOT 45960 SOS 30668 HAS SOPS 18424 HAS SOUS 6225 HAS SOUPS 5992 WITH SCORE 6022.668
AT ITER 1165 NEW BEST:: SOT 45960 SOS 30663 HAS SOPS 18419 HAS SOUS 6220 HAS SOUPS 5987 WITH SCORE 6017.663
AT ITER 1173 NEW BEST:: SOT 45960 SOS 30653 HAS SOPS 18409 HAS SOUS 6210 HAS SOUPS 5977 WITH SCORE 6007.653
AT ITER 1175 NEW BEST:: SOT 45956 SOS 30645 HAS SOPS 18408 HAS SOUS 6206 HAS SOUPS 5973 WITH SCORE 6003.645
AT ITER 1184 NEW BEST:: SOT 45901 SOS 30590 HAS SOPS 18353 HAS SOUS 6163 HAS SOUPS 5930 WITH SCORE 5960.59
AT ITER 1186 NEW BEST:: SOT 45901 SOS 30567 HAS SOPS 18330 HAS SOUS 6119 HAS SOUPS 5886 WITH SCORE 5916.567
AT ITER 1209 NEW BEST:: SOT 45889 SOS 30546 HAS SOPS 18306 HAS SOUS 6115 HAS SOUPS 5882 WITH SCORE 5912.546
AT ITER 1213 NEW BEST:: SOT 45865 SOS 30519 HAS SOPS 18258 HAS SOUS 6091 HAS SOUPS 5858 WITH SCORE 5888.519
AT ITER 1216 NEW BEST:: SOT 45880 SOS 29839 HAS SOPS 17600 HAS SOUS 6088 HAS SOUPS 5855 WITH SCORE 5884.839
AT ITER 1235 NEW BEST:: SOT 45880 SOS 29839 HAS SOPS 17430 HAS SOUS 6063 HAS SOUPS 5830 WITH SCORE 5859.839
AT ITER 1245 NEW BEST:: SOT 45888 SOS 29787 HAS SOPS 17409 HAS SOUS 6051 HAS SOUPS 5818 WITH SCORE 5847.787
AT ITER 1248 NEW BEST:: SOT 45876 SOS 29763 HAS SOPS 17373 HAS SOUS 6027 HAS SOUPS 5794 WITH SCORE 5823.763
AT ITER 1250 NEW BEST:: SOT 45876 SOS 29754 HAS SOPS 17362 HAS SOUS 6018 HAS SOUPS 5783 WITH SCORE 5812.754
AT ITER 1257 NEW BEST:: SOT 45813 SOS 29691 HAS SOPS 17282 HAS SOUS 5961 HAS SOUPS 5725 WITH SCORE 5754.691
AT ITER 1267 NEW BEST:: SOT 45806 SOS 29690 HAS SOPS 17268 HAS SOUS 5942 HAS SOUPS 5706 WITH SCORE 5735.69
AT ITER 1275 NEW BEST:: SOT 45822 SOS 29670 HAS SOPS 17266 HAS SOUS 5932 HAS SOUPS 5696 WITH SCORE 5725.67
AT ITER 1282 NEW BEST:: SOT 45773 SOS 29551 HAS SOPS 17151 HAS SOUS 5869 HAS SOUPS 5633 WITH SCORE 5662.551
AT ITER 1290 NEW BEST:: SOT 45762 SOS 29549 HAS SOPS 17129 HAS SOUS 5843 HAS SOUPS 5607 WITH SCORE 5636.549
AT ITER 1294 NEW BEST:: SOT 45753 SOS 29549 HAS SOPS 17120 HAS SOUS 5834 HAS SOUPS 5598 WITH SCORE 5627.549
AT ITER 1302 NEW BEST:: SOT 45755 SOS 29560 HAS SOPS 17124 HAS SOUS 5820 HAS SOUPS 5584 WITH SCORE 5613.56
AT ITER 1306 NEW BEST:: SOT 45753 SOS 29560 HAS SOPS 17122 HAS SOUS 5818 HAS SOUPS 5582 WITH SCORE 5611.56
AT ITER 1309 NEW BEST:: SOT 45681 SOS 29501 HAS SOPS 17062 HAS SOUS 5794 HAS SOUPS 5558 WITH SCORE 5587.501
AT ITER 1322 NEW BEST:: SOT 45641 SOS 37423 HAS SOPS 16970 HAS SOUS 5782 HAS SOUPS 5512 WITH SCORE 5549.423
AT ITER 1328 NEW BEST:: SOT 45647 SOS 37410 HAS SOPS 16957 HAS SOUS 5763 HAS SOUPS 5493 WITH SCORE 5530.41
AT ITER 1345 NEW BEST:: SOT 45645 SOS 37404 HAS SOPS 16951 HAS SOUS 5759 HAS SOUPS 5489 WITH SCORE 5526.404
AT ITER 1348 NEW BEST:: SOT 45640 SOS 37399 HAS SOPS 16941 HAS SOUS 5749 HAS SOUPS 5479 WITH SCORE 5516.399
AT ITER 1359 NEW BEST:: SOT 45638 SOS 37397 HAS SOPS 16939 HAS SOUS 5748 HAS SOUPS 5478 WITH SCORE 5515.397
AT ITER 1385 NEW BEST:: SOT 45640 SOS 37388 HAS SOPS 16932 HAS SOUS 5730 HAS SOUPS 5460 WITH SCORE 5497.388
AT ITER 1395 NEW BEST:: SOT 45640 SOS 37388 HAS SOPS 16927 HAS SOUS 5725 HAS SOUPS 5455 WITH SCORE 5492.388
AT ITER 1400 NEW BEST:: SOT 45638 SOS 37343 HAS SOPS 16876 HAS SOUS 5680 HAS SOUPS 5410 WITH SCORE 5447.343
AT ITER 1436 NEW BEST:: SOT 45625 SOS 37308 HAS SOPS 16839 HAS SOUS 5654 HAS SOUPS 5384 WITH SCORE 5421.308
AT ITER 1459 NEW BEST:: SOT 45603 SOS 37275 HAS SOPS 16795 HAS SOUS 5610 HAS SOUPS 5340 WITH SCORE 5377.275
AT ITER 1460 NEW BEST:: SOT 45603 SOS 37273 HAS SOPS 16793 HAS SOUS 5609 HAS SOUPS 5339 WITH SCORE 5376.273
AT ITER 1469 NEW BEST:: SOT 45584 SOS 37253 HAS SOPS 16771 HAS SOUS 5594 HAS SOUPS 5324 WITH SCORE 5361.253
AT ITER 1477 NEW BEST:: SOT 45582 SOS 37251 HAS SOPS 16767 HAS SOUS 5590 HAS SOUPS 5320 WITH SCORE 5357.251
AT ITER 1496 NEW BEST:: SOT 45589 SOS 37254 HAS SOPS 16766 HAS SOUS 5573 HAS SOUPS 5303 WITH SCORE 5340.254
AT ITER 1503 NEW BEST:: SOT 45551 SOS 37165 HAS SOPS 16662 HAS SOUS 5474 HAS SOUPS 5203 WITH SCORE 5240.165
AT ITER 1525 NEW BEST:: SOT 45551 SOS 37161 HAS SOPS 16659 HAS SOUS 5474 HAS SOUPS 5203 WITH SCORE 5240.161
AT ITER 1532 NEW BEST:: SOT 45557 SOS 37158 HAS SOPS 16647 HAS SOUS 5456 HAS SOUPS 5185 WITH SCORE 5222.158
AT ITER 1552 NEW BEST:: SOT 45555 SOS 37154 HAS SOPS 16643 HAS SOUS 5452 HAS SOUPS 5181 WITH SCORE 5218.154
AT ITER 1584 NEW BEST:: SOT 45551 SOS 37150 HAS SOPS 16637 HAS SOUS 5446 HAS SOUPS 5175 WITH SCORE 5212.15
AT ITER 1598 NEW BEST:: SOT 45547 SOS 37144 HAS SOPS 16629 HAS SOUS 5436 HAS SOUPS 5165 WITH SCORE 5202.144
AT ITER 1602 NEW BEST:: SOT 45548 SOS 37146 HAS SOPS 16631 HAS SOUS 5427 HAS SOUPS 5156 WITH SCORE 5193.146
AT ITER 1603 NEW BEST:: SOT 45557 SOS 37154 HAS SOPS 16634 HAS SOUS 5425 HAS SOUPS 5154 WITH SCORE 5191.154
AT ITER 1610 NEW BEST:: SOT 45555 SOS 37148 HAS SOPS 16612 HAS SOUS 5381 HAS SOUPS 5110 WITH SCORE 5147.148
AT ITER 1621 NEW BEST:: SOT 45550 SOS 37143 HAS SOPS 16602 HAS SOUS 5371 HAS SOUPS 5100 WITH SCORE 5137.143
AT ITER 1627 NEW BEST:: SOT 45563 SOS 37154 HAS SOPS 16613 HAS SOUS 5354 HAS SOUPS 5083 WITH SCORE 5120.154
AT ITER 1645 NEW BEST:: SOT 45571 SOS 37158 HAS SOPS 16611 HAS SOUS 5357 HAS SOUPS 5080 WITH SCORE 5117.158
AT ITER 1662 NEW BEST:: SOT 45568 SOS 37153 HAS SOPS 16605 HAS SOUS 5352 HAS SOUPS 5075 WITH SCORE 5112.153
AT ITER 1664 NEW BEST:: SOT 45562 SOS 37141 HAS SOPS 16593 HAS SOUS 5345 HAS SOUPS 5068 WITH SCORE 5105.141
AT ITER 1687 NEW BEST:: SOT 45564 SOS 37139 HAS SOPS 16591 HAS SOUS 5341 HAS SOUPS 5064 WITH SCORE 5101.139
AT ITER 1717 NEW BEST:: SOT 45562 SOS 37129 HAS SOPS 16579 HAS SOUS 5332 HAS SOUPS 5055 WITH SCORE 5092.129
AT ITER 1728 NEW BEST:: SOT 45561 SOS 37128 HAS SOPS 16578 HAS SOUS 5331 HAS SOUPS 5054 WITH SCORE 5091.128
AT ITER 1738 NEW BEST:: SOT 45539 SOS 37084 HAS SOPS 16519 HAS SOUS 5282 HAS SOUPS 5005 WITH SCORE 5042.084
AT ITER 1743 NEW BEST:: SOT 45531 SOS 37077 HAS SOPS 16503 HAS SOUS 5278 HAS SOUPS 5001 WITH SCORE 5038.077
AT ITER 1754 NEW BEST:: SOT 45489 SOS 37014 HAS SOPS 16419 HAS SOUS 5215 HAS SOUPS 4938 WITH SCORE 4975.014
AT ITER 1758 NEW BEST:: SOT 45489 SOS 37016 HAS SOPS 16419 HAS SOUS 5214 HAS SOUPS 4937 WITH SCORE 4974.016
AT ITER 1765 NEW BEST:: SOT 45517 SOS 37015 HAS SOPS 16426 HAS SOUS 5203 HAS SOUPS 4926 WITH SCORE 4963.015
AT ITER 1781 NEW BEST:: SOT 45508 SOS 37011 HAS SOPS 16413 HAS SOUS 5195 HAS SOUPS 4918 WITH SCORE 4955.011
AT ITER 1792 NEW BEST:: SOT 45508 SOS 36993 HAS SOPS 16395 HAS SOUS 5195 HAS SOUPS 4918 WITH SCORE 4954.993
AT ITER 1793 NEW BEST:: SOT 45505 SOS 36993 HAS SOPS 16392 HAS SOUS 5192 HAS SOUPS 4915 WITH SCORE 4951.993
AT ITER 1847 NEW BEST:: SOT 45500 SOS 36988 HAS SOPS 16382 HAS SOUS 5182 HAS SOUPS 4905 WITH SCORE 4941.988
AT ITER 1854 NEW BEST:: SOT 45484 SOS 36982 HAS SOPS 16374 HAS SOUS 5182 HAS SOUPS 4905 WITH SCORE 4941.982
AT ITER 1861 NEW BEST:: SOT 45481 SOS 36978 HAS SOPS 16369 HAS SOUS 5177 HAS SOUPS 4900 WITH SCORE 4936.978
AT ITER 1900 NEW BEST:: SOT 45480 SOS 36979 HAS SOPS 16367 HAS SOUS 5175 HAS SOUPS 4898 WITH SCORE 4934.979
AT ITER 1958 NEW BEST:: SOT 45478 SOS 36975 HAS SOPS 16363 HAS SOUS 5173 HAS SOUPS 4896 WITH SCORE 4932.975
AT ITER 2012 NEW BEST:: SOT 45463 SOS 36987 HAS SOPS 16363 HAS SOUS 5161 HAS SOUPS 4884 WITH SCORE 4920.987
AT ITER 2022 NEW BEST:: SOT 45463 SOS 36986 HAS SOPS 16363 HAS SOUS 5161 HAS SOUPS 4884 WITH SCORE 4920.986
AT ITER 2035 NEW BEST:: SOT 45463 SOS 36983 HAS SOPS 16360 HAS SOUS 5158 HAS SOUPS 4881 WITH SCORE 4917.983
AT ITER 2050 NEW BEST:: SOT 45461 SOS 36972 HAS SOPS 16347 HAS SOUS 5145 HAS SOUPS 4868 WITH SCORE 4904.972
AT ITER 2064 NEW BEST:: SOT 45461 SOS 37237 HAS SOPS 16346 HAS SOUS 5145 HAS SOUPS 4867 WITH SCORE 4904.237
AT ITER 2065 NEW BEST:: SOT 45443 SOS 37218 HAS SOPS 16326 HAS SOUS 5132 HAS SOUPS 4854 WITH SCORE 4891.218
AT ITER 2067 NEW BEST:: SOT 45468 SOS 37243 HAS SOPS 16325 HAS SOUS 5114 HAS SOUPS 4836 WITH SCORE 4873.243
AT ITER 2100 NEW BEST:: SOT 45462 SOS 37277 HAS SOPS 16333 HAS SOUS 5102 HAS SOUPS 4824 WITH SCORE 4861.277
AT ITER 2124 NEW BEST:: SOT 45455 SOS 37270 HAS SOPS 16319 HAS SOUS 5088 HAS SOUPS 4810 WITH SCORE 4847.27
AT ITER 2147 NEW BEST:: SOT 45451 SOS 37266 HAS SOPS 16311 HAS SOUS 5084 HAS SOUPS 4806 WITH SCORE 4843.266
AT ITER 2173 NEW BEST:: SOT 45426 SOS 37191 HAS SOPS 16261 HAS SOUS 5084 HAS SOUPS 4806 WITH SCORE 4843.191
AT ITER 2201 NEW BEST:: SOT 45424 SOS 37189 HAS SOPS 16259 HAS SOUS 5082 HAS SOUPS 4804 WITH SCORE 4841.189
AT ITER 2236 NEW BEST:: SOT 45425 SOS 37185 HAS SOPS 16258 HAS SOUS 5082 HAS SOUPS 4804 WITH SCORE 4841.185
AT ITER 2253 NEW BEST:: SOT 45401 SOS 37174 HAS SOPS 16223 HAS SOUS 5060 HAS SOUPS 4782 WITH SCORE 4819.174
AT ITER 2258 NEW BEST:: SOT 45398 SOS 37168 HAS SOPS 16220 HAS SOUS 5057 HAS SOUPS 4779 WITH SCORE 4816.168
AT ITER 2262 NEW BEST:: SOT 45397 SOS 37164 HAS SOPS 16218 HAS SOUS 5053 HAS SOUPS 4775 WITH SCORE 4812.164
AT ITER 2286 NEW BEST:: SOT 45397 SOS 37141 HAS SOPS 16218 HAS SOUS 5053 HAS SOUPS 4775 WITH SCORE 4812.141
AT ITER 2318 NEW BEST:: SOT 45397 SOS 37141 HAS SOPS 16218 HAS SOUS 5051 HAS SOUPS 4773 WITH SCORE 4810.141
AT ITER 2339 NEW BEST:: SOT 45383 SOS 37151 HAS SOPS 16214 HAS SOUS 5047 HAS SOUPS 4769 WITH SCORE 4806.151
AT ITER 2341 NEW BEST:: SOT 45382 SOS 37112 HAS SOPS 16212 HAS SOUS 5042 HAS SOUPS 4764 WITH SCORE 4801.112
AT ITER 2351 NEW BEST:: SOT 45476 SOS 37206 HAS SOPS 16190 HAS SOUS 5020 HAS SOUPS 4742 WITH SCORE 4779.206
AT ITER 2376 NEW BEST:: SOT 45475 SOS 37206 HAS SOPS 16189 HAS SOUS 5019 HAS SOUPS 4741 WITH SCORE 4778.206
AT ITER 2422 NEW BEST:: SOT 45476 SOS 37207 HAS SOPS 16187 HAS SOUS 5017 HAS SOUPS 4739 WITH SCORE 4776.207
AT ITER 2449 NEW BEST:: SOT 45477 SOS 37202 HAS SOPS 16182 HAS SOUS 5010 HAS SOUPS 4732 WITH SCORE 4769.202
AT ITER 2504 NEW BEST:: SOT 45477 SOS 37196 HAS SOPS 16179 HAS SOUS 5010 HAS SOUPS 4732 WITH SCORE 4769.196
AT ITER 2511 NEW BEST:: SOT 45477 SOS 37180 HAS SOPS 16171 HAS SOUS 5010 HAS SOUPS 4732 WITH SCORE 4769.18
AT ITER 2513 NEW BEST:: SOT 45473 SOS 37172 HAS SOPS 16163 HAS SOUS 5005 HAS SOUPS 4727 WITH SCORE 4764.172
AT ITER 2516 NEW BEST:: SOT 45471 SOS 37166 HAS SOPS 16155 HAS SOUS 4997 HAS SOUPS 4719 WITH SCORE 4756.166
AT ITER 2536 NEW BEST:: SOT 45438 SOS 37138 HAS SOPS 16127 HAS SOUS 4985 HAS SOUPS 4707 WITH SCORE 4744.138
AT ITER 2541 NEW BEST:: SOT 45406 SOS 37110 HAS SOPS 16063 HAS SOUS 4942 HAS SOUPS 4664 WITH SCORE 4701.11
AT ITER 2564 NEW BEST:: SOT 45402 SOS 37102 HAS SOPS 16053 HAS SOUS 4936 HAS SOUPS 4658 WITH SCORE 4695.102
AT ITER 2590 NEW BEST:: SOT 45395 SOS 37100 HAS SOPS 16039 HAS SOUS 4923 HAS SOUPS 4645 WITH SCORE 4682.1
AT ITER 2663 NEW BEST:: SOT 45385 SOS 37088 HAS SOPS 16027 HAS SOUS 4913 HAS SOUPS 4635 WITH SCORE 4672.088
AT ITER 2709 NEW BEST:: SOT 45387 SOS 37087 HAS SOPS 16021 HAS SOUS 4907 HAS SOUPS 4629 WITH SCORE 4666.087
AT ITER 2742 NEW BEST:: SOT 45385 SOS 37069 HAS SOPS 16007 HAS SOUS 4889 HAS SOUPS 4611 WITH SCORE 4648.069
AT ITER 2757 NEW BEST:: SOT 45378 SOS 37055 HAS SOPS 15993 HAS SOUS 4877 HAS SOUPS 4599 WITH SCORE 4636.055
AT ITER 2869 NEW BEST:: SOT 45376 SOS 37053 HAS SOPS 15990 HAS SOUS 4874 HAS SOUPS 4596 WITH SCORE 4633.053
AT ITER 2874 NEW BEST:: SOT 45375 SOS 37051 HAS SOPS 15988 HAS SOUS 4865 HAS SOUPS 4587 WITH SCORE 4624.051
AT ITER 2875 NEW BEST:: SOT 45371 SOS 37051 HAS SOPS 15980 HAS SOUS 4857 HAS SOUPS 4579 WITH SCORE 4616.051
AT ITER 2906 NEW BEST:: SOT 45365 SOS 37045 HAS SOPS 15974 HAS SOUS 4851 HAS SOUPS 4573 WITH SCORE 4610.045
AT ITER 2948 NEW BEST:: SOT 45361 SOS 37039 HAS SOPS 15966 HAS SOUS 4845 HAS SOUPS 4567 WITH SCORE 4604.039
AT ITER 2967 NEW BEST:: SOT 45357 SOS 37034 HAS SOPS 15958 HAS SOUS 4836 HAS SOUPS 4558 WITH SCORE 4595.034
AT ITER 2974 NEW BEST:: SOT 45381 SOS 37061 HAS SOPS 15752 HAS SOUS 4817 HAS SOUPS 4539 WITH SCORE 4576.061
AT ITER 3032 NEW BEST:: SOT 45378 SOS 37058 HAS SOPS 15747 HAS SOUS 4812 HAS SOUPS 4534 WITH SCORE 4571.058
AT ITER 3056 NEW BEST:: SOT 45403 SOS 37087 HAS SOPS 15625 HAS SOUS 4773 HAS SOUPS 4495 WITH SCORE 4532.087
AT ITER 3078 NEW BEST:: SOT 45401 SOS 37082 HAS SOPS 15583 HAS SOUS 4766 HAS SOUPS 4488 WITH SCORE 4525.082
AT ITER 3181 NEW BEST:: SOT 45403 SOS 37071 HAS SOPS 15566 HAS SOUS 4754 HAS SOUPS 4476 WITH SCORE 4513.071
AT ITER 3215 NEW BEST:: SOT 45397 SOS 37061 HAS SOPS 15554 HAS SOUS 4744 HAS SOUPS 4466 WITH SCORE 4503.061
AT ITER 3225 NEW BEST:: SOT 45393 SOS 37040 HAS SOPS 15533 HAS SOUS 4733 HAS SOUPS 4455 WITH SCORE 4492.04
AT ITER 3246 NEW BEST:: SOT 45391 SOS 37037 HAS SOPS 15529 HAS SOUS 4731 HAS SOUPS 4453 WITH SCORE 4490.037
AT ITER 3255 NEW BEST:: SOT 45386 SOS 37027 HAS SOPS 15519 HAS SOUS 4721 HAS SOUPS 4443 WITH SCORE 4480.027
AT ITER 3283 NEW BEST:: SOT 45385 SOS 37022 HAS SOPS 15513 HAS SOUS 4718 HAS SOUPS 4440 WITH SCORE 4477.022
AT ITER 3310 NEW BEST:: SOT 45395 SOS 37043 HAS SOPS 15533 HAS SOUS 4716 HAS SOUPS 4438 WITH SCORE 4475.043
AT ITER 3346 NEW BEST:: SOT 45394 SOS 37041 HAS SOPS 15531 HAS SOUS 4715 HAS SOUPS 4437 WITH SCORE 4474.041
AT ITER 3351 NEW BEST:: SOT 45434 SOS 37085 HAS SOPS 15517 HAS SOUS 4667 HAS SOUPS 4389 WITH SCORE 4426.085
AT ITER 3362 NEW BEST:: SOT 45427 SOS 37067 HAS SOPS 15503 HAS SOUS 4645 HAS SOUPS 4367 WITH SCORE 4404.067
AT ITER 3385 NEW BEST:: SOT 45418 SOS 37070 HAS SOPS 15494 HAS SOUS 4637 HAS SOUPS 4359 WITH SCORE 4396.07
AT ITER 3503 NEW BEST:: SOT 45413 SOS 37065 HAS SOPS 15484 HAS SOUS 4627 HAS SOUPS 4349 WITH SCORE 4386.065
AT ITER 3560 NEW BEST:: SOT 45404 SOS 37057 HAS SOPS 15844 HAS SOUS 4626 HAS SOUPS 4348 WITH SCORE 4385.057
AT ITER 3578 NEW BEST:: SOT 45394 SOS 37037 HAS SOPS 15824 HAS SOUS 4611 HAS SOUPS 4333 WITH SCORE 4370.037
AT ITER 3587 NEW BEST:: SOT 45394 SOS 37020 HAS SOPS 15798 HAS SOUS 4588 HAS SOUPS 4310 WITH SCORE 4347.02
AT ITER 3615 NEW BEST:: SOT 45392 SOS 37012 HAS SOPS 15584 HAS SOUS 4580 HAS SOUPS 4302 WITH SCORE 4339.012
AT ITER 3656 NEW BEST:: SOT 45391 SOS 37014 HAS SOPS 15577 HAS SOUS 4573 HAS SOUPS 4295 WITH SCORE 4332.014
AT ITER 3673 NEW BEST:: SOT 45372 SOS 37015 HAS SOPS 15559 HAS SOUS 4555 HAS SOUPS 4277 WITH SCORE 4314.015
AT ITER 3739 NEW BEST:: SOT 45369 SOS 37010 HAS SOPS 15553 HAS SOUS 4551 HAS SOUPS 4273 WITH SCORE 4310.01
AT ITER 3870 NEW BEST:: SOT 45362 SOS 36989 HAS SOPS 15539 HAS SOUS 4551 HAS SOUPS 4273 WITH SCORE 4309.989
AT ITER 3875 NEW BEST:: SOT 45354 SOS 36977 HAS SOPS 15523 HAS SOUS 4543 HAS SOUPS 4265 WITH SCORE 4301.977
AT ITER 3949 NEW BEST:: SOT 45347 SOS 36965 HAS SOPS 15509 HAS SOUS 4534 HAS SOUPS 4256 WITH SCORE 4292.965
AT ITER 3956 NEW BEST:: SOT 45345 SOS 36961 HAS SOPS 15505 HAS SOUS 4532 HAS SOUPS 4254 WITH SCORE 4290.961
AT ITER 4029 NEW BEST:: SOT 45342 SOS 36952 HAS SOPS 15499 HAS SOUS 4529 HAS SOUPS 4251 WITH SCORE 4287.952
AT ITER 4068 NEW BEST:: SOT 45340 SOS 36946 HAS SOPS 15491 HAS SOUS 4521 HAS SOUPS 4243 WITH SCORE 4279.946
AT ITER 4090 NEW BEST:: SOT 45339 SOS 36936 HAS SOPS 15483 HAS SOUS 4516 HAS SOUPS 4238 WITH SCORE 4274.936
AT ITER 4166 NEW BEST:: SOT 45338 SOS 36923 HAS SOPS 15475 HAS SOUS 4514 HAS SOUPS 4236 WITH SCORE 4272.923
AT ITER 4182 NEW BEST:: SOT 45338 SOS 36923 HAS SOPS 15472 HAS SOUS 4511 HAS SOUPS 4233 WITH SCORE 4269.923
AT ITER 4208 NEW BEST:: SOT 45342 SOS 36910 HAS SOPS 15463 HAS SOUS 4502 HAS SOUPS 4224 WITH SCORE 4260.91
AT ITER 4223 NEW BEST:: SOT 45343 SOS 36889 HAS SOPS 15465 HAS SOUS 4496 HAS SOUPS 4218 WITH SCORE 4254.889
AT ITER 4248 NEW BEST:: SOT 45331 SOS 36889 HAS SOPS 15453 HAS SOUS 4484 HAS SOUPS 4206 WITH SCORE 4242.889
AT ITER 4383 NEW BEST:: SOT 45332 SOS 36888 HAS SOPS 15452 HAS SOUS 4484 HAS SOUPS 4206 WITH SCORE 4242.888
AT ITER 4384 NEW BEST:: SOT 45335 SOS 36881 HAS SOPS 15448 HAS SOUS 4482 HAS SOUPS 4204 WITH SCORE 4240.881
AT ITER 4411 NEW BEST:: SOT 45326 SOS 36871 HAS SOPS 15438 HAS SOUS 4476 HAS SOUPS 4198 WITH SCORE 4234.871
AT ITER 4466 NEW BEST:: SOT 45324 SOS 36883 HAS SOPS 15449 HAS SOUS 4473 HAS SOUPS 4195 WITH SCORE 4231.883
AT ITER 4472 NEW BEST:: SOT 45323 SOS 36882 HAS SOPS 15448 HAS SOUS 4472 HAS SOUPS 4194 WITH SCORE 4230.882
AT ITER 4505 NEW BEST:: SOT 45316 SOS 36875 HAS SOPS 15434 HAS SOUS 4458 HAS SOUPS 4180 WITH SCORE 4216.875
AT ITER 4609 NEW BEST:: SOT 45310 SOS 36870 HAS SOPS 15429 HAS SOUS 4451 HAS SOUPS 4173 WITH SCORE 4209.87
AT ITER 4631 NEW BEST:: SOT 45293 SOS 36848 HAS SOPS 15395 HAS SOUS 4429 HAS SOUPS 4151 WITH SCORE 4187.848
AT ITER 4636 NEW BEST:: SOT 45292 SOS 36845 HAS SOPS 15393 HAS SOUS 4427 HAS SOUPS 4149 WITH SCORE 4185.845
AT ITER 4648 NEW BEST:: SOT 45287 SOS 36835 HAS SOPS 15383 HAS SOUS 4422 HAS SOUPS 4144 WITH SCORE 4180.835
AT ITER 4659 NEW BEST:: SOT 45279 SOS 36827 HAS SOPS 15375 HAS SOUS 4422 HAS SOUPS 4144 WITH SCORE 4180.827
AT ITER 4863 NEW BEST:: SOT 45275 SOS 36825 HAS SOPS 15373 HAS SOUS 4420 HAS SOUPS 4142 WITH SCORE 4178.825
AT ITER 4889 NEW BEST:: SOT 45274 SOS 36823 HAS SOPS 15371 HAS SOUS 4419 HAS SOUPS 4141 WITH SCORE 4177.823
AT ITER 4946 NEW BEST:: SOT 45268 SOS 36810 HAS SOPS 15359 HAS SOUS 4405 HAS SOUPS 4127 WITH SCORE 4163.81
AT ITER 4995 NEW BEST:: SOT 45259 SOS 36806 HAS SOPS 15341 HAS SOUS 4382 HAS SOUPS 4104 WITH SCORE 4140.806
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-00 ( (AG( (! ( potential( (tk(P51)) <= (tk(P73)) ) & potential( ( 1 ) <= (tk(P75)) ) )))) | (EG( ( potential( ( 1 ) <= (tk(P12)) ) & ( potential( ( 2 ) <= (tk(P146)) ) & potential( ( 3 ) <= (tk(P55)) ) ) ))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-01 (EF((AX( ( potential( ( 1 ) <= (tk(P114)) ) & potential( ( 2 ) <= (tk(P78)) ) )))))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-02 (EG( (EF(potential( ( 2 ) <= (tk(P43)) )))))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-03 (AG( (EF(( potential( ( 3 ) <= (tk(P9)) ) & potential( (tk(P87)) <= (tk(P37)) ) )))))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-04 ( potential( ( 1 ) <= (tk(P17)) ) | (EF(( ( potential( ( 2 ) <= (tk(P4)) ) & potential( ( 2 ) <= (tk(P43)) ) ) & (! potential( (tk(P92)) <= (tk(P82)) )) ))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-05 (EU( ( ( potential( (tk(P83)) <= (tk(P31)) ) | potential( (tk(P21)) <= (tk(P104)) ) ) | potential( ( 1 ) <= (tk(P14)) ) ),(EF(potential( ( 3 ) <= (tk(P83)) ))) ))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-06 (AG( (! ( ( potential( ( 2 ) <= (tk(P144)) ) & potential( ( 3 ) <= (tk(P104)) ) ) | ( potential( ( 1 ) <= (tk(P97)) ) & potential( ( 1 ) <= (tk(P80)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-07 ( (EU( ( potential( (tk(P111)) <= (tk(P62)) ) & potential( (tk(P18)) <= (tk(P44)) ) ),potential( ( 3 ) <= (tk(P47)) ) )) & potential( (tk(P8)) <= (tk(P50)) ) )
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-08 ( ( (AF(( potential( (tk(P86)) <= (tk(P54)) ) & potential( ( 2 ) <= (tk(P18)) ) ))) | potential( (tk(P71)) <= (tk(P27)) ) ) & (EF((AG( potential( ( 1 ) <= (tk(P32)) ))))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-09 (AG( (! ( ( potential( (tk(P39)) <= (tk(P42)) ) & potential( (tk(P135)) <= (tk(P89)) ) ) & ( potential( ( 1 ) <= (tk(P56)) ) | potential( ( 1 ) <= (tk(P112)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-10 ( (AF((EF(potential( ( 3 ) <= (tk(P29)) ))))) | (AG( (EX( potential( ( 1 ) <= (tk(P124)) ))))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-11 (! (EF(potential( ( 2 ) <= (tk(P27)) ))))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-12 (! ( (EF(( potential( ( 2 ) <= (tk(P146)) ) & potential( (tk(P127)) <= (tk(P73)) ) ))) | (! ( ( potential( (tk(P23)) <= (tk(P86)) ) & potential( (tk(P135)) <= (tk(P132)) ) ) | (! potential( (tk(P75)) <= (tk(P109)) )) )) ))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-13 ( (AG( ( (! potential( (tk(P100)) <= (tk(P8)) )) | ( potential( (tk(P141)) <= (tk(P33)) ) | potential( (tk(P103)) <= (tk(P75)) ) ) ))) & (! ( potential( ( 1 ) <= (tk(P46)) ) & (! ( potential( ( 1 ) <= (tk(P8)) ) | potential( ( 3 ) <= (tk(P136)) ) )) )) )
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-14 (EF((EF(potential( ( 3 ) <= (tk(P71)) )))))
PROPERTY: FlexibleBarrier-PT-12a-CTLCardinality-15 ( potential( ( 3 ) <= (tk(P127)) ) | (EF(( ( potential( ( 2 ) <= (tk(P89)) ) & potential( ( 2 ) <= (tk(P103)) ) ) & ( potential( (tk(P18)) <= (tk(P64)) ) | potential( (tk(P53)) <= (tk(P27)) ) ) ))) )

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="FlexibleBarrier-PT-12a"
export BK_EXAMINATION="CTLCardinality"
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 FlexibleBarrier-PT-12a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972400323"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-12a.tgz
mv FlexibleBarrier-PT-12a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;