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-158922972500339.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-14a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500339
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.5K Apr 4 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 07:34 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.1K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 4.0K Apr 3 21:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 3 13:29 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 169K 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-14a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-14a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589424895101

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 14a
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: 171 places, 578 transitions, 2719 arcs.
AT ITER 0 NEW BEST:: SOT 85744 SOS 71994 HAS SOPS 71994 HAS SOUS 41806 HAS SOUPS 41806 WITH SCORE 41877.994
AT ITER 1 NEW BEST:: SOT 85761 SOS 71842 HAS SOPS 71842 HAS SOUS 41699 HAS SOUPS 41699 WITH SCORE 41770.842
AT ITER 3 NEW BEST:: SOT 85353 SOS 71450 HAS SOPS 71450 HAS SOUS 41307 HAS SOUPS 41307 WITH SCORE 41378.45
AT ITER 4 NEW BEST:: SOT 85089 SOS 71120 HAS SOPS 71120 HAS SOUS 41072 HAS SOUPS 41072 WITH SCORE 41143.12
AT ITER 8 NEW BEST:: SOT 85100 SOS 71145 HAS SOPS 71145 HAS SOUS 40646 HAS SOUPS 40646 WITH SCORE 40717.145
AT ITER 10 NEW BEST:: SOT 85099 SOS 70747 HAS SOPS 70747 HAS SOUS 38921 HAS SOUPS 38921 WITH SCORE 38991.747
AT ITER 11 NEW BEST:: SOT 85143 SOS 70712 HAS SOPS 70712 HAS SOUS 38888 HAS SOUPS 38888 WITH SCORE 38958.712
AT ITER 14 NEW BEST:: SOT 84804 SOS 69721 HAS SOPS 69721 HAS SOUS 35779 HAS SOUPS 35779 WITH SCORE 35848.721
AT ITER 15 NEW BEST:: SOT 84889 SOS 69659 HAS SOPS 69659 HAS SOUS 35719 HAS SOUPS 35719 WITH SCORE 35788.659
AT ITER 16 NEW BEST:: SOT 84996 SOS 68358 HAS SOPS 68358 HAS SOUS 33226 HAS SOUPS 33226 WITH SCORE 33294.358
AT ITER 18 NEW BEST:: SOT 84995 SOS 68321 HAS SOPS 68321 HAS SOUS 33226 HAS SOUPS 33226 WITH SCORE 33294.321
AT ITER 19 NEW BEST:: SOT 84984 SOS 68013 HAS SOPS 68013 HAS SOUS 33094 HAS SOUPS 33094 WITH SCORE 33162.013
AT ITER 20 NEW BEST:: SOT 84968 SOS 68016 HAS SOPS 68016 HAS SOUS 33078 HAS SOUPS 33078 WITH SCORE 33146.016
AT ITER 22 NEW BEST:: SOT 85128 SOS 67365 HAS SOPS 67365 HAS SOUS 32221 HAS SOUPS 32221 WITH SCORE 32288.365
AT ITER 23 NEW BEST:: SOT 84532 SOS 65022 HAS SOPS 65018 HAS SOUS 29382 HAS SOUPS 29381 WITH SCORE 29446.022
AT ITER 25 NEW BEST:: SOT 84532 SOS 64973 HAS SOPS 64969 HAS SOUS 29340 HAS SOUPS 29339 WITH SCORE 29403.973
AT ITER 29 NEW BEST:: SOT 84532 SOS 64691 HAS SOPS 64687 HAS SOUS 29266 HAS SOUPS 29265 WITH SCORE 29329.691
AT ITER 30 NEW BEST:: SOT 84451 SOS 64595 HAS SOPS 64591 HAS SOUS 29249 HAS SOUPS 29248 WITH SCORE 29312.595
AT ITER 34 NEW BEST:: SOT 83160 SOS 65777 HAS SOPS 63276 HAS SOUS 29252 HAS SOUPS 29160 WITH SCORE 29225.777
AT ITER 36 NEW BEST:: SOT 83256 SOS 65822 HAS SOPS 63321 HAS SOUS 29246 HAS SOUPS 29154 WITH SCORE 29219.822
AT ITER 38 NEW BEST:: SOT 83282 SOS 65822 HAS SOPS 63129 HAS SOUS 28672 HAS SOUPS 28574 WITH SCORE 28639.822
AT ITER 40 NEW BEST:: SOT 83282 SOS 65822 HAS SOPS 63079 HAS SOUS 28622 HAS SOUPS 28524 WITH SCORE 28589.822
AT ITER 42 NEW BEST:: SOT 83282 SOS 65822 HAS SOPS 63079 HAS SOUS 28602 HAS SOUPS 28504 WITH SCORE 28569.822
AT ITER 43 NEW BEST:: SOT 82303 SOS 64843 HAS SOPS 62100 HAS SOUS 28028 HAS SOUPS 27930 WITH SCORE 27994.843
AT ITER 45 NEW BEST:: SOT 82281 SOS 64567 HAS SOPS 61824 HAS SOUS 27924 HAS SOUPS 27826 WITH SCORE 27890.567
AT ITER 48 NEW BEST:: SOT 82376 SOS 64630 HAS SOPS 61820 HAS SOUS 27922 HAS SOUPS 27824 WITH SCORE 27888.63
AT ITER 52 NEW BEST:: SOT 82374 SOS 64629 HAS SOPS 61818 HAS SOUS 27921 HAS SOUPS 27823 WITH SCORE 27887.629
AT ITER 54 NEW BEST:: SOT 81003 SOS 63270 HAS SOPS 60393 HAS SOUS 27179 HAS SOUPS 27081 WITH SCORE 27144.27
AT ITER 56 NEW BEST:: SOT 81029 SOS 63238 HAS SOPS 60389 HAS SOUS 27177 HAS SOUPS 27079 WITH SCORE 27142.238
AT ITER 57 NEW BEST:: SOT 81160 SOS 62793 HAS SOPS 59068 HAS SOUS 25909 HAS SOUPS 25811 WITH SCORE 25873.793
AT ITER 58 NEW BEST:: SOT 81160 SOS 62793 HAS SOPS 58588 HAS SOUS 25453 HAS SOUPS 25355 WITH SCORE 25417.793
AT ITER 59 NEW BEST:: SOT 81725 SOS 62153 HAS SOPS 57784 HAS SOUS 25277 HAS SOUPS 25179 WITH SCORE 25241.153
AT ITER 61 NEW BEST:: SOT 81617 SOS 62015 HAS SOPS 57567 HAS SOUS 25168 HAS SOUPS 25070 WITH SCORE 25132.015
AT ITER 63 NEW BEST:: SOT 79995 SOS 60495 HAS SOPS 56047 HAS SOUS 24466 HAS SOUPS 24368 WITH SCORE 24428.495
AT ITER 69 NEW BEST:: SOT 80148 SOS 60499 HAS SOPS 56051 HAS SOUS 24453 HAS SOUPS 24355 WITH SCORE 24415.499
AT ITER 74 NEW BEST:: SOT 80177 SOS 59326 HAS SOPS 54878 HAS SOUS 24206 HAS SOUPS 24108 WITH SCORE 24167.326
AT ITER 76 NEW BEST:: SOT 79422 SOS 58545 HAS SOPS 54185 HAS SOUS 24048 HAS SOUPS 23950 WITH SCORE 24008.545
AT ITER 78 NEW BEST:: SOT 79725 SOS 58793 HAS SOPS 53485 HAS SOUS 23440 HAS SOUPS 23342 WITH SCORE 23400.793
AT ITER 81 NEW BEST:: SOT 79725 SOS 58767 HAS SOPS 53459 HAS SOUS 23414 HAS SOUPS 23316 WITH SCORE 23374.767
AT ITER 84 NEW BEST:: SOT 79823 SOS 57574 HAS SOPS 51206 HAS SOUS 22712 HAS SOUPS 22614 WITH SCORE 22671.574
AT ITER 87 NEW BEST:: SOT 79931 SOS 57682 HAS SOPS 51258 HAS SOUS 22435 HAS SOUPS 22323 WITH SCORE 22380.682
AT ITER 88 NEW BEST:: SOT 79982 SOS 57690 HAS SOPS 50662 HAS SOUS 21419 HAS SOUPS 21307 WITH SCORE 21364.69
AT ITER 91 NEW BEST:: SOT 79915 SOS 57514 HAS SOPS 50434 HAS SOUS 21305 HAS SOUPS 21193 WITH SCORE 21250.514
AT ITER 94 NEW BEST:: SOT 78454 SOS 56112 HAS SOPS 49032 HAS SOUS 20596 HAS SOUPS 20484 WITH SCORE 20540.112
AT ITER 96 NEW BEST:: SOT 78453 SOS 55945 HAS SOPS 48887 HAS SOUS 20473 HAS SOUPS 20361 WITH SCORE 20416.945
AT ITER 101 NEW BEST:: SOT 78440 SOS 55906 HAS SOPS 48575 HAS SOUS 20226 HAS SOUPS 20114 WITH SCORE 20169.906
AT ITER 108 NEW BEST:: SOT 78444 SOS 55913 HAS SOPS 48582 HAS SOUS 20224 HAS SOUPS 20112 WITH SCORE 20167.913
AT ITER 117 NEW BEST:: SOT 78443 SOS 55906 HAS SOPS 48515 HAS SOUS 20113 HAS SOUPS 20001 WITH SCORE 20056.906
AT ITER 118 NEW BEST:: SOT 78382 SOS 55880 HAS SOPS 48489 HAS SOUS 20107 HAS SOUPS 19995 WITH SCORE 20050.88
AT ITER 122 NEW BEST:: SOT 78381 SOS 55877 HAS SOPS 48486 HAS SOUS 20105 HAS SOUPS 19993 WITH SCORE 20048.877
AT ITER 132 NEW BEST:: SOT 78345 SOS 55841 HAS SOPS 48450 HAS SOUS 20091 HAS SOUPS 19979 WITH SCORE 20034.841
AT ITER 134 NEW BEST:: SOT 78345 SOS 55638 HAS SOPS 48314 HAS SOUS 20023 HAS SOUPS 19911 WITH SCORE 19966.638
AT ITER 137 NEW BEST:: SOT 78345 SOS 55615 HAS SOPS 48291 HAS SOUS 20023 HAS SOUPS 19911 WITH SCORE 19966.615
AT ITER 138 NEW BEST:: SOT 78344 SOS 55614 HAS SOPS 48290 HAS SOUS 20023 HAS SOUPS 19911 WITH SCORE 19966.614
AT ITER 141 NEW BEST:: SOT 78429 SOS 54147 HAS SOPS 44587 HAS SOUS 18529 HAS SOUPS 18417 WITH SCORE 18471.147
AT ITER 144 NEW BEST:: SOT 78499 SOS 54139 HAS SOPS 44579 HAS SOUS 18476 HAS SOUPS 18364 WITH SCORE 18418.139
AT ITER 146 NEW BEST:: SOT 78505 SOS 53752 HAS SOPS 43982 HAS SOUS 18366 HAS SOUPS 18254 WITH SCORE 18307.752
AT ITER 149 NEW BEST:: SOT 78477 SOS 53658 HAS SOPS 43888 HAS SOUS 18363 HAS SOUPS 18251 WITH SCORE 18304.658
AT ITER 158 NEW BEST:: SOT 78411 SOS 53717 HAS SOPS 43876 HAS SOUS 18351 HAS SOUPS 18239 WITH SCORE 18292.717
AT ITER 159 NEW BEST:: SOT 78409 SOS 53684 HAS SOPS 43833 HAS SOUS 18337 HAS SOUPS 18225 WITH SCORE 18278.684
AT ITER 167 NEW BEST:: SOT 78409 SOS 53627 HAS SOPS 43719 HAS SOUS 18223 HAS SOUPS 18111 WITH SCORE 18164.627
AT ITER 170 NEW BEST:: SOT 78528 SOS 53622 HAS SOPS 43714 HAS SOUS 18217 HAS SOUPS 18105 WITH SCORE 18158.622
AT ITER 172 NEW BEST:: SOT 77896 SOS 53003 HAS SOPS 43639 HAS SOUS 18027 HAS SOUPS 17915 WITH SCORE 17968.003
AT ITER 174 NEW BEST:: SOT 74835 SOS 53159 HAS SOPS 40292 HAS SOUS 15040 HAS SOUPS 14792 WITH SCORE 14845.159
AT ITER 179 NEW BEST:: SOT 74619 SOS 52943 HAS SOPS 40076 HAS SOUS 14932 HAS SOUPS 14684 WITH SCORE 14736.943
AT ITER 182 NEW BEST:: SOT 74615 SOS 52878 HAS SOPS 40032 HAS SOUS 14917 HAS SOUPS 14669 WITH SCORE 14721.878
AT ITER 184 NEW BEST:: SOT 74585 SOS 52869 HAS SOPS 40022 HAS SOUS 14907 HAS SOUPS 14659 WITH SCORE 14711.869
AT ITER 185 NEW BEST:: SOT 74590 SOS 52862 HAS SOPS 39876 HAS SOUS 14653 HAS SOUPS 14405 WITH SCORE 14457.862
AT ITER 191 NEW BEST:: SOT 74553 SOS 52652 HAS SOPS 39676 HAS SOUS 14563 HAS SOUPS 14315 WITH SCORE 14367.652
AT ITER 193 NEW BEST:: SOT 74548 SOS 52647 HAS SOPS 39666 HAS SOUS 14553 HAS SOUPS 14305 WITH SCORE 14357.647
AT ITER 194 NEW BEST:: SOT 74510 SOS 52571 HAS SOPS 39590 HAS SOUS 14490 HAS SOUPS 14242 WITH SCORE 14294.571
AT ITER 202 NEW BEST:: SOT 74546 SOS 52615 HAS SOPS 38886 HAS SOUS 14186 HAS SOUPS 13938 WITH SCORE 13990.615
AT ITER 206 NEW BEST:: SOT 75063 SOS 52715 HAS SOPS 37428 HAS SOUS 14013 HAS SOUPS 13765 WITH SCORE 13817.715
AT ITER 211 NEW BEST:: SOT 75043 SOS 52713 HAS SOPS 37388 HAS SOUS 13981 HAS SOUPS 13733 WITH SCORE 13785.713
AT ITER 213 NEW BEST:: SOT 74985 SOS 52725 HAS SOPS 37342 HAS SOUS 13865 HAS SOUPS 13617 WITH SCORE 13669.725
AT ITER 215 NEW BEST:: SOT 75044 SOS 52618 HAS SOPS 37242 HAS SOUS 13791 HAS SOUPS 13543 WITH SCORE 13595.618
AT ITER 216 NEW BEST:: SOT 75042 SOS 52642 HAS SOPS 37238 HAS SOUS 13785 HAS SOUPS 13539 WITH SCORE 13591.642
AT ITER 225 NEW BEST:: SOT 75023 SOS 52596 HAS SOPS 37168 HAS SOUS 13715 HAS SOUPS 13469 WITH SCORE 13521.596
AT ITER 248 NEW BEST:: SOT 75023 SOS 52595 HAS SOPS 37168 HAS SOUS 13714 HAS SOUPS 13469 WITH SCORE 13521.595
AT ITER 251 NEW BEST:: SOT 75022 SOS 52593 HAS SOPS 37152 HAS SOUS 13686 HAS SOUPS 13441 WITH SCORE 13493.593
AT ITER 259 NEW BEST:: SOT 74938 SOS 52372 HAS SOPS 36888 HAS SOUS 13463 HAS SOUPS 13218 WITH SCORE 13270.372
AT ITER 265 NEW BEST:: SOT 74943 SOS 52008 HAS SOPS 36524 HAS SOUS 13458 HAS SOUPS 13213 WITH SCORE 13265.008
AT ITER 274 NEW BEST:: SOT 74943 SOS 52008 HAS SOPS 36457 HAS SOUS 13388 HAS SOUPS 13143 WITH SCORE 13195.008
AT ITER 281 NEW BEST:: SOT 74971 SOS 52008 HAS SOPS 35997 HAS SOUS 12904 HAS SOUPS 12659 WITH SCORE 12711.008
AT ITER 298 NEW BEST:: SOT 74948 SOS 51983 HAS SOPS 35951 HAS SOUS 12862 HAS SOUPS 12617 WITH SCORE 12668.983
AT ITER 299 NEW BEST:: SOT 74958 SOS 51934 HAS SOPS 35912 HAS SOUS 12823 HAS SOUPS 12578 WITH SCORE 12629.934
AT ITER 300 NEW BEST:: SOT 74933 SOS 51937 HAS SOPS 35897 HAS SOUS 12797 HAS SOUPS 12552 WITH SCORE 12603.937
AT ITER 303 NEW BEST:: SOT 74932 SOS 51937 HAS SOPS 35896 HAS SOUS 12796 HAS SOUPS 12551 WITH SCORE 12602.937
AT ITER 306 NEW BEST:: SOT 74932 SOS 51930 HAS SOPS 35833 HAS SOUS 12635 HAS SOUPS 12390 WITH SCORE 12441.93
AT ITER 307 NEW BEST:: SOT 74936 SOS 51924 HAS SOPS 35821 HAS SOUS 12613 HAS SOUPS 12368 WITH SCORE 12419.924
AT ITER 308 NEW BEST:: SOT 74876 SOS 51837 HAS SOPS 35701 HAS SOUS 12454 HAS SOUPS 12207 WITH SCORE 12258.837
AT ITER 313 NEW BEST:: SOT 73845 SOS 50806 HAS SOPS 34670 HAS SOUS 11943 HAS SOUPS 11696 WITH SCORE 11746.806
AT ITER 317 NEW BEST:: SOT 73804 SOS 50724 HAS SOPS 34547 HAS SOUS 11820 HAS SOUPS 11573 WITH SCORE 11623.724
AT ITER 324 NEW BEST:: SOT 73829 SOS 50745 HAS SOPS 34511 HAS SOUS 11784 HAS SOUPS 11537 WITH SCORE 11587.745
AT ITER 332 NEW BEST:: SOT 73760 SOS 50679 HAS SOPS 34473 HAS SOUS 11771 HAS SOUPS 11524 WITH SCORE 11574.679
AT ITER 340 NEW BEST:: SOT 73748 SOS 50599 HAS SOPS 34449 HAS SOUS 11718 HAS SOUPS 11471 WITH SCORE 11521.599
AT ITER 348 NEW BEST:: SOT 73744 SOS 50592 HAS SOPS 34441 HAS SOUS 11713 HAS SOUPS 11466 WITH SCORE 11516.592
AT ITER 359 NEW BEST:: SOT 73765 SOS 50541 HAS SOPS 34407 HAS SOUS 11675 HAS SOUPS 11428 WITH SCORE 11478.541
AT ITER 360 NEW BEST:: SOT 73754 SOS 50590 HAS SOPS 34391 HAS SOUS 11654 HAS SOUPS 11407 WITH SCORE 11457.59
AT ITER 361 NEW BEST:: SOT 73702 SOS 50551 HAS SOPS 34327 HAS SOUS 11627 HAS SOUPS 11380 WITH SCORE 11430.551
AT ITER 366 NEW BEST:: SOT 73713 SOS 50562 HAS SOPS 33997 HAS SOUS 11517 HAS SOUPS 11270 WITH SCORE 11320.562
AT ITER 369 NEW BEST:: SOT 73713 SOS 50546 HAS SOPS 33817 HAS SOUS 11155 HAS SOUPS 10904 WITH SCORE 10954.546
AT ITER 371 NEW BEST:: SOT 73651 SOS 50399 HAS SOPS 33662 HAS SOUS 11085 HAS SOUPS 10834 WITH SCORE 10884.399
AT ITER 380 NEW BEST:: SOT 73607 SOS 50370 HAS SOPS 33444 HAS SOUS 11053 HAS SOUPS 10802 WITH SCORE 10852.37
AT ITER 383 NEW BEST:: SOT 73597 SOS 50350 HAS SOPS 33414 HAS SOUS 11033 HAS SOUPS 10782 WITH SCORE 10832.35
AT ITER 393 NEW BEST:: SOT 73592 SOS 50333 HAS SOPS 33397 HAS SOUS 11016 HAS SOUPS 10765 WITH SCORE 10815.333
AT ITER 401 NEW BEST:: SOT 73667 SOS 50378 HAS SOPS 33078 HAS SOUS 10844 HAS SOUPS 10593 WITH SCORE 10643.378
AT ITER 408 NEW BEST:: SOT 73665 SOS 50376 HAS SOPS 33074 HAS SOUS 10840 HAS SOUPS 10589 WITH SCORE 10639.376
AT ITER 418 NEW BEST:: SOT 73663 SOS 50372 HAS SOPS 33070 HAS SOUS 10833 HAS SOUPS 10582 WITH SCORE 10632.372
AT ITER 423 NEW BEST:: SOT 73670 SOS 50256 HAS SOPS 32961 HAS SOUS 10825 HAS SOUPS 10574 WITH SCORE 10624.256
AT ITER 424 NEW BEST:: SOT 73680 SOS 50266 HAS SOPS 32927 HAS SOUS 10791 HAS SOUPS 10540 WITH SCORE 10590.266
AT ITER 440 NEW BEST:: SOT 73665 SOS 50241 HAS SOPS 32887 HAS SOUS 10751 HAS SOUPS 10500 WITH SCORE 10550.241
AT ITER 441 NEW BEST:: SOT 73664 SOS 50239 HAS SOPS 32884 HAS SOUS 10749 HAS SOUPS 10498 WITH SCORE 10548.239
AT ITER 443 NEW BEST:: SOT 73664 SOS 50193 HAS SOPS 32861 HAS SOUS 10726 HAS SOUPS 10475 WITH SCORE 10525.193
AT ITER 445 NEW BEST:: SOT 73651 SOS 50167 HAS SOPS 32835 HAS SOUS 10712 HAS SOUPS 10461 WITH SCORE 10511.167
AT ITER 449 NEW BEST:: SOT 73642 SOS 50158 HAS SOPS 32830 HAS SOUS 10694 HAS SOUPS 10443 WITH SCORE 10493.158
AT ITER 457 NEW BEST:: SOT 73590 SOS 52981 HAS SOPS 32768 HAS SOUS 10686 HAS SOUPS 10423 WITH SCORE 10475.981
AT ITER 459 NEW BEST:: SOT 73590 SOS 53207 HAS SOPS 32756 HAS SOUS 10682 HAS SOUPS 10415 WITH SCORE 10468.207
AT ITER 466 NEW BEST:: SOT 73549 SOS 53124 HAS SOPS 32674 HAS SOUS 10627 HAS SOUPS 10360 WITH SCORE 10413.124
AT ITER 467 NEW BEST:: SOT 73526 SOS 53039 HAS SOPS 32549 HAS SOUS 10531 HAS SOUPS 10264 WITH SCORE 10317.039
AT ITER 470 NEW BEST:: SOT 73527 SOS 53190 HAS SOPS 32518 HAS SOUS 10529 HAS SOUPS 10259 WITH SCORE 10312.19
AT ITER 475 NEW BEST:: SOT 73513 SOS 53176 HAS SOPS 32504 HAS SOUS 10515 HAS SOUPS 10245 WITH SCORE 10298.176
AT ITER 492 NEW BEST:: SOT 73401 SOS 53064 HAS SOPS 32392 HAS SOUS 10451 HAS SOUPS 10181 WITH SCORE 10234.064
AT ITER 494 NEW BEST:: SOT 73400 SOS 53063 HAS SOPS 32384 HAS SOUS 10449 HAS SOUPS 10179 WITH SCORE 10232.063
AT ITER 504 NEW BEST:: SOT 72979 SOS 52651 HAS SOPS 32223 HAS SOUS 10307 HAS SOUPS 10037 WITH SCORE 10089.651
AT ITER 508 NEW BEST:: SOT 72978 SOS 52659 HAS SOPS 32216 HAS SOUS 10294 HAS SOUPS 10024 WITH SCORE 10076.659
AT ITER 509 NEW BEST:: SOT 72969 SOS 52650 HAS SOPS 32198 HAS SOUS 10276 HAS SOUPS 10006 WITH SCORE 10058.65
AT ITER 510 NEW BEST:: SOT 72943 SOS 52623 HAS SOPS 32146 HAS SOUS 10208 HAS SOUPS 9938 WITH SCORE 9990.623
AT ITER 512 NEW BEST:: SOT 72945 SOS 52604 HAS SOPS 32118 HAS SOUS 10180 HAS SOUPS 9910 WITH SCORE 9962.604
AT ITER 519 NEW BEST:: SOT 72921 SOS 52505 HAS SOPS 32020 HAS SOUS 10107 HAS SOUPS 9837 WITH SCORE 9889.505
AT ITER 525 NEW BEST:: SOT 72913 SOS 52489 HAS SOPS 32004 HAS SOUS 10099 HAS SOUPS 9829 WITH SCORE 9881.489
AT ITER 529 NEW BEST:: SOT 72863 SOS 52366 HAS SOPS 31815 HAS SOUS 9891 HAS SOUPS 9621 WITH SCORE 9673.366
AT ITER 531 NEW BEST:: SOT 72859 SOS 52358 HAS SOPS 31757 HAS SOUS 9853 HAS SOUPS 9583 WITH SCORE 9635.358
AT ITER 537 NEW BEST:: SOT 72867 SOS 52366 HAS SOPS 31773 HAS SOUS 9841 HAS SOUPS 9571 WITH SCORE 9623.366
AT ITER 542 NEW BEST:: SOT 72863 SOS 52936 HAS SOPS 31762 HAS SOUS 9848 HAS SOUPS 9569 WITH SCORE 9621.936
AT ITER 543 NEW BEST:: SOT 72675 SOS 52756 HAS SOPS 31812 HAS SOUS 9815 HAS SOUPS 9536 WITH SCORE 9588.756
AT ITER 547 NEW BEST:: SOT 72682 SOS 51882 HAS SOPS 30520 HAS SOUS 9740 HAS SOUPS 9461 WITH SCORE 9512.882
AT ITER 549 NEW BEST:: SOT 72631 SOS 51866 HAS SOPS 30453 HAS SOUS 9673 HAS SOUPS 9394 WITH SCORE 9445.866
AT ITER 550 NEW BEST:: SOT 72630 SOS 51861 HAS SOPS 30451 HAS SOUS 9671 HAS SOUPS 9392 WITH SCORE 9443.861
AT ITER 552 NEW BEST:: SOT 72586 SOS 51855 HAS SOPS 30363 HAS SOUS 9462 HAS SOUPS 9183 WITH SCORE 9234.855
AT ITER 556 NEW BEST:: SOT 72571 SOS 51825 HAS SOPS 30327 HAS SOUS 9438 HAS SOUPS 9159 WITH SCORE 9210.825
AT ITER 557 NEW BEST:: SOT 72462 SOS 51562 HAS SOPS 30019 HAS SOUS 9194 HAS SOUPS 8915 WITH SCORE 8966.562
AT ITER 560 NEW BEST:: SOT 72437 SOS 51512 HAS SOPS 29969 HAS SOUS 9144 HAS SOUPS 8865 WITH SCORE 8916.512
AT ITER 561 NEW BEST:: SOT 72422 SOS 51512 HAS SOPS 29954 HAS SOUS 9114 HAS SOUPS 8835 WITH SCORE 8886.512
AT ITER 564 NEW BEST:: SOT 72410 SOS 51462 HAS SOPS 29886 HAS SOUS 9044 HAS SOUPS 8765 WITH SCORE 8816.462
AT ITER 571 NEW BEST:: SOT 72565 SOS 51611 HAS SOPS 29915 HAS SOUS 9005 HAS SOUPS 8726 WITH SCORE 8777.611
AT ITER 587 NEW BEST:: SOT 72486 SOS 51473 HAS SOPS 29757 HAS SOUS 8906 HAS SOUPS 8627 WITH SCORE 8678.473
AT ITER 594 NEW BEST:: SOT 72485 SOS 51477 HAS SOPS 29755 HAS SOUS 8904 HAS SOUPS 8625 WITH SCORE 8676.477
AT ITER 602 NEW BEST:: SOT 72414 SOS 51402 HAS SOPS 29683 HAS SOUS 8867 HAS SOUPS 8588 WITH SCORE 8639.402
AT ITER 629 NEW BEST:: SOT 72412 SOS 51399 HAS SOPS 29679 HAS SOUS 8863 HAS SOUPS 8584 WITH SCORE 8635.399
AT ITER 632 NEW BEST:: SOT 72414 SOS 51380 HAS SOPS 29683 HAS SOUS 8863 HAS SOUPS 8584 WITH SCORE 8635.38
AT ITER 633 NEW BEST:: SOT 72413 SOS 51378 HAS SOPS 29681 HAS SOUS 8861 HAS SOUPS 8582 WITH SCORE 8633.378
AT ITER 635 NEW BEST:: SOT 72391 SOS 51310 HAS SOPS 29637 HAS SOUS 8817 HAS SOUPS 8538 WITH SCORE 8589.31
AT ITER 639 NEW BEST:: SOT 72397 SOS 51153 HAS SOPS 29507 HAS SOUS 8721 HAS SOUPS 8442 WITH SCORE 8493.153
AT ITER 641 NEW BEST:: SOT 72377 SOS 51101 HAS SOPS 29456 HAS SOUS 8680 HAS SOUPS 8401 WITH SCORE 8452.101
AT ITER 647 NEW BEST:: SOT 72485 SOS 51214 HAS SOPS 29326 HAS SOUS 8673 HAS SOUPS 8394 WITH SCORE 8445.214
AT ITER 648 NEW BEST:: SOT 72477 SOS 51190 HAS SOPS 29302 HAS SOUS 8657 HAS SOUPS 8378 WITH SCORE 8429.19
AT ITER 660 NEW BEST:: SOT 72463 SOS 51190 HAS SOPS 29288 HAS SOUS 8643 HAS SOUPS 8364 WITH SCORE 8415.19
AT ITER 664 NEW BEST:: SOT 72462 SOS 51177 HAS SOPS 29278 HAS SOUS 8637 HAS SOUPS 8358 WITH SCORE 8409.177
AT ITER 668 NEW BEST:: SOT 72430 SOS 51126 HAS SOPS 29214 HAS SOUS 8573 HAS SOUPS 8294 WITH SCORE 8345.126
AT ITER 671 NEW BEST:: SOT 72430 SOS 51123 HAS SOPS 29211 HAS SOUS 8570 HAS SOUPS 8291 WITH SCORE 8342.123
AT ITER 674 NEW BEST:: SOT 72393 SOS 51052 HAS SOPS 29171 HAS SOUS 8530 HAS SOUPS 8251 WITH SCORE 8302.052
AT ITER 678 NEW BEST:: SOT 72383 SOS 51042 HAS SOPS 29151 HAS SOUS 8510 HAS SOUPS 8231 WITH SCORE 8282.042
AT ITER 680 NEW BEST:: SOT 72450 SOS 51012 HAS SOPS 29115 HAS SOUS 8497 HAS SOUPS 8218 WITH SCORE 8269.012
AT ITER 690 NEW BEST:: SOT 72450 SOS 51011 HAS SOPS 29115 HAS SOUS 8497 HAS SOUPS 8218 WITH SCORE 8269.011
AT ITER 715 NEW BEST:: SOT 72450 SOS 50997 HAS SOPS 29101 HAS SOUS 8483 HAS SOUPS 8204 WITH SCORE 8254.997
AT ITER 734 NEW BEST:: SOT 72454 SOS 50968 HAS SOPS 29076 HAS SOUS 8458 HAS SOUPS 8179 WITH SCORE 8229.968
AT ITER 735 NEW BEST:: SOT 72450 SOS 50964 HAS SOPS 29068 HAS SOUS 8450 HAS SOUPS 8171 WITH SCORE 8221.964
AT ITER 737 NEW BEST:: SOT 72460 SOS 50594 HAS SOPS 28698 HAS SOUS 8449 HAS SOUPS 8170 WITH SCORE 8220.594
AT ITER 738 NEW BEST:: SOT 72441 SOS 50560 HAS SOPS 28660 HAS SOUS 8426 HAS SOUPS 8147 WITH SCORE 8197.56
AT ITER 768 NEW BEST:: SOT 72441 SOS 50556 HAS SOPS 28660 HAS SOUS 8426 HAS SOUPS 8147 WITH SCORE 8197.556
AT ITER 769 NEW BEST:: SOT 72427 SOS 53698 HAS SOPS 28635 HAS SOUS 8413 HAS SOUPS 8123 WITH SCORE 8176.698
AT ITER 774 NEW BEST:: SOT 72396 SOS 53673 HAS SOPS 28602 HAS SOUS 8380 HAS SOUPS 8090 WITH SCORE 8143.673
AT ITER 777 NEW BEST:: SOT 72392 SOS 53725 HAS SOPS 28650 HAS SOUS 8378 HAS SOUPS 8088 WITH SCORE 8141.725
AT ITER 812 NEW BEST:: SOT 72392 SOS 53725 HAS SOPS 28641 HAS SOUS 8369 HAS SOUPS 8079 WITH SCORE 8132.725
AT ITER 822 NEW BEST:: SOT 72356 SOS 53689 HAS SOPS 28606 HAS SOUS 8334 HAS SOUPS 8044 WITH SCORE 8097.689
AT ITER 826 NEW BEST:: SOT 72341 SOS 53682 HAS SOPS 28599 HAS SOUS 8330 HAS SOUPS 8040 WITH SCORE 8093.682
AT ITER 833 NEW BEST:: SOT 72333 SOS 53659 HAS SOPS 28583 HAS SOUS 8314 HAS SOUPS 8024 WITH SCORE 8077.659
AT ITER 838 NEW BEST:: SOT 72295 SOS 53600 HAS SOPS 28507 HAS SOUS 8271 HAS SOUPS 7981 WITH SCORE 8034.6
AT ITER 840 NEW BEST:: SOT 72297 SOS 53532 HAS SOPS 28454 HAS SOUS 8235 HAS SOUPS 7945 WITH SCORE 7998.532
AT ITER 853 NEW BEST:: SOT 72290 SOS 53505 HAS SOPS 28430 HAS SOUS 8211 HAS SOUPS 7921 WITH SCORE 7974.505
AT ITER 864 NEW BEST:: SOT 72278 SOS 54181 HAS SOPS 29100 HAS SOUS 8199 HAS SOUPS 7909 WITH SCORE 7963.181
AT ITER 878 NEW BEST:: SOT 72275 SOS 54178 HAS SOPS 29094 HAS SOUS 8193 HAS SOUPS 7903 WITH SCORE 7957.178
AT ITER 884 NEW BEST:: SOT 72271 SOS 54168 HAS SOPS 29086 HAS SOUS 8187 HAS SOUPS 7897 WITH SCORE 7951.168
AT ITER 896 NEW BEST:: SOT 72255 SOS 54158 HAS SOPS 29054 HAS SOUS 8139 HAS SOUPS 7849 WITH SCORE 7903.158
AT ITER 907 NEW BEST:: SOT 72254 SOS 54136 HAS SOPS 29031 HAS SOUS 8116 HAS SOUPS 7826 WITH SCORE 7880.136
AT ITER 918 NEW BEST:: SOT 72240 SOS 54110 HAS SOPS 29003 HAS SOUS 8100 HAS SOUPS 7810 WITH SCORE 7864.11
AT ITER 958 NEW BEST:: SOT 72248 SOS 54097 HAS SOPS 28998 HAS SOUS 8095 HAS SOUPS 7805 WITH SCORE 7859.097
AT ITER 963 NEW BEST:: SOT 72208 SOS 54173 HAS SOPS 28996 HAS SOUS 8049 HAS SOUPS 7759 WITH SCORE 7813.173
AT ITER 966 NEW BEST:: SOT 72190 SOS 54146 HAS SOPS 28960 HAS SOUS 8030 HAS SOUPS 7740 WITH SCORE 7794.146
AT ITER 983 NEW BEST:: SOT 72182 SOS 54129 HAS SOPS 28937 HAS SOUS 8007 HAS SOUPS 7717 WITH SCORE 7771.129
AT ITER 991 NEW BEST:: SOT 72173 SOS 54131 HAS SOPS 28930 HAS SOUS 8000 HAS SOUPS 7710 WITH SCORE 7764.131
AT ITER 999 NEW BEST:: SOT 72173 SOS 54264 HAS SOPS 28925 HAS SOUS 7999 HAS SOUPS 7707 WITH SCORE 7761.264
AT ITER 1011 NEW BEST:: SOT 72173 SOS 54263 HAS SOPS 28924 HAS SOUS 7998 HAS SOUPS 7706 WITH SCORE 7760.263
AT ITER 1016 NEW BEST:: SOT 72173 SOS 54247 HAS SOPS 28916 HAS SOUS 7998 HAS SOUPS 7706 WITH SCORE 7760.247
AT ITER 1021 NEW BEST:: SOT 72131 SOS 54173 HAS SOPS 28832 HAS SOUS 7927 HAS SOUPS 7635 WITH SCORE 7689.173
AT ITER 1026 NEW BEST:: SOT 72141 SOS 54159 HAS SOPS 28827 HAS SOUS 7922 HAS SOUPS 7630 WITH SCORE 7684.159
AT ITER 1049 NEW BEST:: SOT 72161 SOS 54153 HAS SOPS 28815 HAS SOUS 7910 HAS SOUPS 7618 WITH SCORE 7672.153
AT ITER 1069 NEW BEST:: SOT 72149 SOS 54135 HAS SOPS 28791 HAS SOUS 7898 HAS SOUPS 7606 WITH SCORE 7660.135
AT ITER 1082 NEW BEST:: SOT 72148 SOS 54134 HAS SOPS 28790 HAS SOUS 7898 HAS SOUPS 7606 WITH SCORE 7660.134
AT ITER 1083 NEW BEST:: SOT 71903 SOS 53891 HAS SOPS 28570 HAS SOUS 7813 HAS SOUPS 7519 WITH SCORE 7572.891
AT ITER 1092 NEW BEST:: SOT 71899 SOS 53885 HAS SOPS 28562 HAS SOUS 7805 HAS SOUPS 7511 WITH SCORE 7564.885
AT ITER 1102 NEW BEST:: SOT 71899 SOS 53889 HAS SOPS 28562 HAS SOUS 7801 HAS SOUPS 7503 WITH SCORE 7556.889
AT ITER 1118 NEW BEST:: SOT 71895 SOS 53881 HAS SOPS 28554 HAS SOUS 7795 HAS SOUPS 7497 WITH SCORE 7550.881
AT ITER 1120 NEW BEST:: SOT 71889 SOS 53869 HAS SOPS 28542 HAS SOUS 7783 HAS SOUPS 7485 WITH SCORE 7538.869
AT ITER 1128 NEW BEST:: SOT 71886 SOS 53866 HAS SOPS 28536 HAS SOUS 7777 HAS SOUPS 7479 WITH SCORE 7532.866
AT ITER 1144 NEW BEST:: SOT 71884 SOS 53865 HAS SOPS 28535 HAS SOUS 7776 HAS SOUPS 7478 WITH SCORE 7531.865
AT ITER 1149 NEW BEST:: SOT 71884 SOS 53841 HAS SOPS 28535 HAS SOUS 7776 HAS SOUPS 7478 WITH SCORE 7531.841
AT ITER 1152 NEW BEST:: SOT 71857 SOS 53804 HAS SOPS 28481 HAS SOUS 7732 HAS SOUPS 7434 WITH SCORE 7487.804
AT ITER 1178 NEW BEST:: SOT 71857 SOS 53798 HAS SOPS 28475 HAS SOUS 7732 HAS SOUPS 7434 WITH SCORE 7487.798
AT ITER 1184 NEW BEST:: SOT 71850 SOS 53791 HAS SOPS 28468 HAS SOUS 7732 HAS SOUPS 7434 WITH SCORE 7487.791
AT ITER 1193 NEW BEST:: SOT 71862 SOS 53799 HAS SOPS 28492 HAS SOUS 7722 HAS SOUPS 7424 WITH SCORE 7477.799
AT ITER 1202 NEW BEST:: SOT 71862 SOS 53796 HAS SOPS 28489 HAS SOUS 7722 HAS SOUPS 7424 WITH SCORE 7477.796
AT ITER 1211 NEW BEST:: SOT 71862 SOS 53795 HAS SOPS 28480 HAS SOUS 7705 HAS SOUPS 7407 WITH SCORE 7460.795
AT ITER 1224 NEW BEST:: SOT 71862 SOS 53794 HAS SOPS 28480 HAS SOUS 7705 HAS SOUPS 7407 WITH SCORE 7460.794
AT ITER 1225 NEW BEST:: SOT 71853 SOS 53785 HAS SOPS 28470 HAS SOUS 7695 HAS SOUPS 7397 WITH SCORE 7450.785
AT ITER 1233 NEW BEST:: SOT 71857 SOS 53794 HAS SOPS 28478 HAS SOUS 7684 HAS SOUPS 7386 WITH SCORE 7439.794
AT ITER 1244 NEW BEST:: SOT 71820 SOS 53740 HAS SOPS 28404 HAS SOUS 7644 HAS SOUPS 7346 WITH SCORE 7399.74
AT ITER 1252 NEW BEST:: SOT 71798 SOS 53693 HAS SOPS 28360 HAS SOUS 7625 HAS SOUPS 7327 WITH SCORE 7380.693
AT ITER 1254 NEW BEST:: SOT 71793 SOS 53683 HAS SOPS 28350 HAS SOUS 7620 HAS SOUPS 7322 WITH SCORE 7375.683
AT ITER 1258 NEW BEST:: SOT 71761 SOS 53673 HAS SOPS 28308 HAS SOUS 7590 HAS SOUPS 7292 WITH SCORE 7345.673
AT ITER 1265 NEW BEST:: SOT 71761 SOS 53667 HAS SOPS 28302 HAS SOUS 7590 HAS SOUPS 7292 WITH SCORE 7345.667
AT ITER 1338 NEW BEST:: SOT 71755 SOS 53661 HAS SOPS 28290 HAS SOUS 7584 HAS SOUPS 7286 WITH SCORE 7339.661
AT ITER 1340 NEW BEST:: SOT 71735 SOS 53640 HAS SOPS 28250 HAS SOUS 7544 HAS SOUPS 7246 WITH SCORE 7299.64
AT ITER 1346 NEW BEST:: SOT 71728 SOS 53633 HAS SOPS 28236 HAS SOUS 7530 HAS SOUPS 7232 WITH SCORE 7285.633
AT ITER 1367 NEW BEST:: SOT 71722 SOS 53631 HAS SOPS 28224 HAS SOUS 7530 HAS SOUPS 7232 WITH SCORE 7285.631
AT ITER 1368 NEW BEST:: SOT 71685 SOS 53649 HAS SOPS 28205 HAS SOUS 7511 HAS SOUPS 7213 WITH SCORE 7266.649
AT ITER 1369 NEW BEST:: SOT 71684 SOS 53664 HAS SOPS 28203 HAS SOUS 7509 HAS SOUPS 7211 WITH SCORE 7264.664
AT ITER 1385 NEW BEST:: SOT 71684 SOS 53662 HAS SOPS 28200 HAS SOUS 7506 HAS SOUPS 7208 WITH SCORE 7261.662
AT ITER 1387 NEW BEST:: SOT 71676 SOS 53654 HAS SOPS 28188 HAS SOUS 7494 HAS SOUPS 7196 WITH SCORE 7249.654
AT ITER 1400 NEW BEST:: SOT 71674 SOS 53645 HAS SOPS 28184 HAS SOUS 7490 HAS SOUPS 7192 WITH SCORE 7245.645
AT ITER 1417 NEW BEST:: SOT 71648 SOS 53595 HAS SOPS 28132 HAS SOUS 7450 HAS SOUPS 7152 WITH SCORE 7205.595
AT ITER 1422 NEW BEST:: SOT 71583 SOS 53496 HAS SOPS 28002 HAS SOUS 7396 HAS SOUPS 7098 WITH SCORE 7151.496
AT ITER 1435 NEW BEST:: SOT 71583 SOS 53486 HAS SOPS 27982 HAS SOUS 7376 HAS SOUPS 7078 WITH SCORE 7131.486
AT ITER 1437 NEW BEST:: SOT 71585 SOS 53486 HAS SOPS 27983 HAS SOUS 7374 HAS SOUPS 7076 WITH SCORE 7129.486
AT ITER 1454 NEW BEST:: SOT 71561 SOS 53483 HAS SOPS 27956 HAS SOUS 7347 HAS SOUPS 7049 WITH SCORE 7102.483
AT ITER 1467 NEW BEST:: SOT 71560 SOS 53481 HAS SOPS 27954 HAS SOUS 7347 HAS SOUPS 7049 WITH SCORE 7102.481
AT ITER 1488 NEW BEST:: SOT 71558 SOS 53479 HAS SOPS 27950 HAS SOUS 7345 HAS SOUPS 7047 WITH SCORE 7100.479
AT ITER 1501 NEW BEST:: SOT 71556 SOS 53478 HAS SOPS 27946 HAS SOUS 7343 HAS SOUPS 7045 WITH SCORE 7098.478
AT ITER 1502 NEW BEST:: SOT 71556 SOS 53483 HAS SOPS 27946 HAS SOUS 7338 HAS SOUPS 7040 WITH SCORE 7093.483
AT ITER 1517 NEW BEST:: SOT 71547 SOS 53470 HAS SOPS 27928 HAS SOUS 7328 HAS SOUPS 7030 WITH SCORE 7083.47
AT ITER 1518 NEW BEST:: SOT 71544 SOS 53464 HAS SOPS 27919 HAS SOUS 7319 HAS SOUPS 7021 WITH SCORE 7074.464
AT ITER 1524 NEW BEST:: SOT 71544 SOS 53464 HAS SOPS 27823 HAS SOUS 7289 HAS SOUPS 6991 WITH SCORE 7044.464
AT ITER 1542 NEW BEST:: SOT 71507 SOS 53428 HAS SOPS 27749 HAS SOUS 7240 HAS SOUPS 6942 WITH SCORE 6995.428
AT ITER 1548 NEW BEST:: SOT 71499 SOS 53445 HAS SOPS 27733 HAS SOUS 7199 HAS SOUPS 6901 WITH SCORE 6954.445
AT ITER 1554 NEW BEST:: SOT 71495 SOS 53431 HAS SOPS 27719 HAS SOUS 7191 HAS SOUPS 6893 WITH SCORE 6946.431
AT ITER 1571 NEW BEST:: SOT 71499 SOS 53429 HAS SOPS 27727 HAS SOUS 7187 HAS SOUPS 6889 WITH SCORE 6942.429
AT ITER 1573 NEW BEST:: SOT 71487 SOS 53405 HAS SOPS 27703 HAS SOUS 7163 HAS SOUPS 6865 WITH SCORE 6918.405
AT ITER 1589 NEW BEST:: SOT 71464 SOS 53373 HAS SOPS 27660 HAS SOUS 7145 HAS SOUPS 6847 WITH SCORE 6900.373
AT ITER 1618 NEW BEST:: SOT 71464 SOS 53369 HAS SOPS 27658 HAS SOUS 7143 HAS SOUPS 6845 WITH SCORE 6898.369
AT ITER 1638 NEW BEST:: SOT 71462 SOS 53367 HAS SOPS 27656 HAS SOUS 7143 HAS SOUPS 6845 WITH SCORE 6898.367
AT ITER 1672 NEW BEST:: SOT 71462 SOS 53364 HAS SOPS 27653 HAS SOUS 7140 HAS SOUPS 6842 WITH SCORE 6895.364
AT ITER 1681 NEW BEST:: SOT 71464 SOS 53353 HAS SOPS 27644 HAS SOUS 7131 HAS SOUPS 6833 WITH SCORE 6886.353
AT ITER 1686 NEW BEST:: SOT 71458 SOS 53318 HAS SOPS 27632 HAS SOUS 7119 HAS SOUPS 6821 WITH SCORE 6874.318
AT ITER 1743 NEW BEST:: SOT 71444 SOS 53304 HAS SOPS 27616 HAS SOUS 7109 HAS SOUPS 6811 WITH SCORE 6864.304
AT ITER 1748 NEW BEST:: SOT 71444 SOS 53303 HAS SOPS 27615 HAS SOUS 7108 HAS SOUPS 6810 WITH SCORE 6863.303
AT ITER 1759 NEW BEST:: SOT 71450 SOS 52915 HAS SOPS 27229 HAS SOUS 7107 HAS SOUPS 6809 WITH SCORE 6861.915
AT ITER 1760 NEW BEST:: SOT 71435 SOS 52906 HAS SOPS 27206 HAS SOUS 7084 HAS SOUPS 6786 WITH SCORE 6838.906
AT ITER 1767 NEW BEST:: SOT 71435 SOS 52905 HAS SOPS 27189 HAS SOUS 7064 HAS SOUPS 6766 WITH SCORE 6818.905
AT ITER 1812 NEW BEST:: SOT 71434 SOS 52885 HAS SOPS 27187 HAS SOUS 7060 HAS SOUPS 6764 WITH SCORE 6816.885
AT ITER 1826 NEW BEST:: SOT 71398 SOS 52853 HAS SOPS 27139 HAS SOUS 7014 HAS SOUPS 6718 WITH SCORE 6770.853
AT ITER 1847 NEW BEST:: SOT 71392 SOS 52847 HAS SOPS 27127 HAS SOUS 7004 HAS SOUPS 6706 WITH SCORE 6758.847
AT ITER 1859 NEW BEST:: SOT 71390 SOS 52842 HAS SOPS 27121 HAS SOUS 6998 HAS SOUPS 6700 WITH SCORE 6752.842
AT ITER 1872 NEW BEST:: SOT 71386 SOS 52832 HAS SOPS 27113 HAS SOUS 6996 HAS SOUPS 6698 WITH SCORE 6750.832
AT ITER 1879 NEW BEST:: SOT 71378 SOS 52809 HAS SOPS 27097 HAS SOUS 6980 HAS SOUPS 6682 WITH SCORE 6734.809
AT ITER 1887 NEW BEST:: SOT 71371 SOS 52794 HAS SOPS 27082 HAS SOUS 6966 HAS SOUPS 6668 WITH SCORE 6720.794
AT ITER 1897 NEW BEST:: SOT 71367 SOS 52788 HAS SOPS 27074 HAS SOUS 6963 HAS SOUPS 6665 WITH SCORE 6717.788
AT ITER 1928 NEW BEST:: SOT 71380 SOS 52771 HAS SOPS 27075 HAS SOUS 6963 HAS SOUPS 6665 WITH SCORE 6717.771
AT ITER 1938 NEW BEST:: SOT 71369 SOS 52753 HAS SOPS 27058 HAS SOUS 6953 HAS SOUPS 6655 WITH SCORE 6707.753
AT ITER 1940 NEW BEST:: SOT 71374 SOS 52764 HAS SOPS 27068 HAS SOUS 6950 HAS SOUPS 6652 WITH SCORE 6704.764
AT ITER 1951 NEW BEST:: SOT 71368 SOS 52758 HAS SOPS 27056 HAS SOUS 6950 HAS SOUPS 6652 WITH SCORE 6704.758
AT ITER 1957 NEW BEST:: SOT 71344 SOS 52734 HAS SOPS 27022 HAS SOUS 6916 HAS SOUPS 6618 WITH SCORE 6670.734
AT ITER 2101 NEW BEST:: SOT 71333 SOS 52706 HAS SOPS 26983 HAS SOUS 6877 HAS SOUPS 6579 WITH SCORE 6631.706
AT ITER 2117 NEW BEST:: SOT 71331 SOS 52704 HAS SOPS 26980 HAS SOUS 6874 HAS SOUPS 6576 WITH SCORE 6628.704
AT ITER 2126 NEW BEST:: SOT 71331 SOS 52703 HAS SOPS 26944 HAS SOUS 6865 HAS SOUPS 6567 WITH SCORE 6619.703
AT ITER 2142 NEW BEST:: SOT 71259 SOS 52635 HAS SOPS 26888 HAS SOUS 6855 HAS SOUPS 6557 WITH SCORE 6609.635
AT ITER 2147 NEW BEST:: SOT 71259 SOS 52632 HAS SOPS 26885 HAS SOUS 6852 HAS SOUPS 6554 WITH SCORE 6606.632
AT ITER 2227 NEW BEST:: SOT 71254 SOS 52613 HAS SOPS 26875 HAS SOUS 6851 HAS SOUPS 6553 WITH SCORE 6605.613
AT ITER 2265 NEW BEST:: SOT 71254 SOS 52612 HAS SOPS 26875 HAS SOUS 6851 HAS SOUPS 6553 WITH SCORE 6605.612
AT ITER 2346 NEW BEST:: SOT 71263 SOS 52603 HAS SOPS 26875 HAS SOUS 6850 HAS SOUPS 6552 WITH SCORE 6604.603
AT ITER 2382 NEW BEST:: SOT 71263 SOS 52591 HAS SOPS 26869 HAS SOUS 6850 HAS SOUPS 6552 WITH SCORE 6604.591
AT ITER 2383 NEW BEST:: SOT 71243 SOS 52589 HAS SOPS 26858 HAS SOUS 6839 HAS SOUPS 6541 WITH SCORE 6593.589
AT ITER 2385 NEW BEST:: SOT 71240 SOS 52586 HAS SOPS 26855 HAS SOUS 6836 HAS SOUPS 6538 WITH SCORE 6590.586
AT ITER 2419 NEW BEST:: SOT 71234 SOS 52566 HAS SOPS 26843 HAS SOUS 6824 HAS SOUPS 6526 WITH SCORE 6578.566
AT ITER 2478 NEW BEST:: SOT 71234 SOS 52564 HAS SOPS 26843 HAS SOUS 6820 HAS SOUPS 6522 WITH SCORE 6574.564
AT ITER 2491 NEW BEST:: SOT 71230 SOS 52560 HAS SOPS 26839 HAS SOUS 6820 HAS SOUPS 6522 WITH SCORE 6574.56
AT ITER 2550 NEW BEST:: SOT 71226 SOS 52556 HAS SOPS 26831 HAS SOUS 6812 HAS SOUPS 6514 WITH SCORE 6566.556
AT ITER 2634 NEW BEST:: SOT 71214 SOS 52540 HAS SOPS 26811 HAS SOUS 6800 HAS SOUPS 6502 WITH SCORE 6554.54
AT ITER 2636 NEW BEST:: SOT 71214 SOS 52539 HAS SOPS 26811 HAS SOUS 6800 HAS SOUPS 6502 WITH SCORE 6554.539
AT ITER 2726 NEW BEST:: SOT 71195 SOS 52520 HAS SOPS 26773 HAS SOUS 6762 HAS SOUPS 6464 WITH SCORE 6516.52
AT ITER 2729 NEW BEST:: SOT 71179 SOS 52498 HAS SOPS 26741 HAS SOUS 6729 HAS SOUPS 6431 WITH SCORE 6483.498
AT ITER 2745 NEW BEST:: SOT 71178 SOS 52498 HAS SOPS 26739 HAS SOUS 6725 HAS SOUPS 6427 WITH SCORE 6479.498
AT ITER 2752 NEW BEST:: SOT 71170 SOS 52482 HAS SOPS 26719 HAS SOUS 6717 HAS SOUPS 6419 WITH SCORE 6471.482
AT ITER 2778 NEW BEST:: SOT 71165 SOS 52472 HAS SOPS 26709 HAS SOUS 6700 HAS SOUPS 6402 WITH SCORE 6454.472
AT ITER 2806 NEW BEST:: SOT 71173 SOS 52460 HAS SOPS 26709 HAS SOUS 6692 HAS SOUPS 6394 WITH SCORE 6446.46
AT ITER 2821 NEW BEST:: SOT 71164 SOS 52443 HAS SOPS 26700 HAS SOUS 6683 HAS SOUPS 6385 WITH SCORE 6437.443
AT ITER 2855 NEW BEST:: SOT 71155 SOS 52431 HAS SOPS 26685 HAS SOUS 6668 HAS SOUPS 6370 WITH SCORE 6422.431
AT ITER 2874 NEW BEST:: SOT 71152 SOS 52482 HAS SOPS 26732 HAS SOUS 6664 HAS SOUPS 6366 WITH SCORE 6418.482
AT ITER 2922 NEW BEST:: SOT 71152 SOS 52478 HAS SOPS 26728 HAS SOUS 6660 HAS SOUPS 6362 WITH SCORE 6414.478
AT ITER 2936 NEW BEST:: SOT 71129 SOS 52440 HAS SOPS 26682 HAS SOUS 6622 HAS SOUPS 6324 WITH SCORE 6376.44
AT ITER 3009 NEW BEST:: SOT 71112 SOS 52422 HAS SOPS 26648 HAS SOUS 6616 HAS SOUPS 6318 WITH SCORE 6370.422
AT ITER 3027 NEW BEST:: SOT 71130 SOS 52400 HAS SOPS 26644 HAS SOUS 6612 HAS SOUPS 6314 WITH SCORE 6366.4
AT ITER 3035 NEW BEST:: SOT 71130 SOS 52374 HAS SOPS 26631 HAS SOUS 6612 HAS SOUPS 6314 WITH SCORE 6366.374
AT ITER 3038 NEW BEST:: SOT 71132 SOS 52375 HAS SOPS 26635 HAS SOUS 6610 HAS SOUPS 6312 WITH SCORE 6364.375
AT ITER 3063 NEW BEST:: SOT 71130 SOS 52371 HAS SOPS 26623 HAS SOUS 6584 HAS SOUPS 6286 WITH SCORE 6338.371
AT ITER 3099 NEW BEST:: SOT 71129 SOS 52366 HAS SOPS 26621 HAS SOUS 6582 HAS SOUPS 6284 WITH SCORE 6336.366
AT ITER 3106 NEW BEST:: SOT 71117 SOS 52348 HAS SOPS 26597 HAS SOUS 6570 HAS SOUPS 6272 WITH SCORE 6324.348
AT ITER 3127 NEW BEST:: SOT 71116 SOS 52347 HAS SOPS 26595 HAS SOUS 6568 HAS SOUPS 6270 WITH SCORE 6322.347
AT ITER 3141 NEW BEST:: SOT 71113 SOS 52340 HAS SOPS 26587 HAS SOUS 6560 HAS SOUPS 6262 WITH SCORE 6314.34
AT ITER 3173 NEW BEST:: SOT 71036 SOS 52267 HAS SOPS 26525 HAS SOUS 6551 HAS SOUPS 6253 WITH SCORE 6305.267
AT ITER 3239 NEW BEST:: SOT 71033 SOS 52261 HAS SOPS 26519 HAS SOUS 6545 HAS SOUPS 6247 WITH SCORE 6299.261
AT ITER 3267 NEW BEST:: SOT 71029 SOS 52257 HAS SOPS 26513 HAS SOUS 6539 HAS SOUPS 6241 WITH SCORE 6293.257
AT ITER 3330 NEW BEST:: SOT 71029 SOS 52257 HAS SOPS 26513 HAS SOUS 6529 HAS SOUPS 6231 WITH SCORE 6283.257
AT ITER 3342 NEW BEST:: SOT 71011 SOS 52227 HAS SOPS 26477 HAS SOUS 6497 HAS SOUPS 6199 WITH SCORE 6251.227
AT ITER 3352 NEW BEST:: SOT 71003 SOS 52211 HAS SOPS 26461 HAS SOUS 6481 HAS SOUPS 6183 WITH SCORE 6235.211
AT ITER 3412 NEW BEST:: SOT 71000 SOS 52205 HAS SOPS 26455 HAS SOUS 6478 HAS SOUPS 6180 WITH SCORE 6232.205
AT ITER 3415 NEW BEST:: SOT 70996 SOS 52203 HAS SOPS 26455 HAS SOUS 6478 HAS SOUPS 6180 WITH SCORE 6232.203
AT ITER 3438 NEW BEST:: SOT 70980 SOS 52186 HAS SOPS 26437 HAS SOUS 6466 HAS SOUPS 6168 WITH SCORE 6220.186
AT ITER 3454 NEW BEST:: SOT 70975 SOS 52181 HAS SOPS 26421 HAS SOUS 6450 HAS SOUPS 6152 WITH SCORE 6204.181
AT ITER 3458 NEW BEST:: SOT 70973 SOS 52181 HAS SOPS 26417 HAS SOUS 6444 HAS SOUPS 6146 WITH SCORE 6198.181
AT ITER 3528 NEW BEST:: SOT 70972 SOS 52179 HAS SOPS 26415 HAS SOUS 6443 HAS SOUPS 6145 WITH SCORE 6197.179
AT ITER 3543 NEW BEST:: SOT 70964 SOS 52163 HAS SOPS 26399 HAS SOUS 6427 HAS SOUPS 6129 WITH SCORE 6181.163
AT ITER 3548 NEW BEST:: SOT 70961 SOS 52161 HAS SOPS 26393 HAS SOUS 6423 HAS SOUPS 6125 WITH SCORE 6177.161
AT ITER 3604 NEW BEST:: SOT 70954 SOS 52154 HAS SOPS 26379 HAS SOUS 6409 HAS SOUPS 6111 WITH SCORE 6163.154
AT ITER 3642 NEW BEST:: SOT 70954 SOS 52151 HAS SOPS 26376 HAS SOUS 6409 HAS SOUPS 6111 WITH SCORE 6163.151
AT ITER 3696 NEW BEST:: SOT 70944 SOS 52126 HAS SOPS 26356 HAS SOUS 6387 HAS SOUPS 6091 WITH SCORE 6143.126
AT ITER 3778 NEW BEST:: SOT 70916 SOS 52085 HAS SOPS 26300 HAS SOUS 6331 HAS SOUPS 6035 WITH SCORE 6087.085
AT ITER 3787 NEW BEST:: SOT 70951 SOS 52072 HAS SOPS 26322 HAS SOUS 6305 HAS SOUPS 6009 WITH SCORE 6061.072
AT ITER 3799 NEW BEST:: SOT 70952 SOS 52072 HAS SOPS 26319 HAS SOUS 6302 HAS SOUPS 6006 WITH SCORE 6058.072
AT ITER 3817 NEW BEST:: SOT 70950 SOS 52163 HAS SOPS 26410 HAS SOUS 6299 HAS SOUPS 6003 WITH SCORE 6055.163
AT ITER 3818 NEW BEST:: SOT 70950 SOS 52156 HAS SOPS 26403 HAS SOUS 6292 HAS SOUPS 5996 WITH SCORE 6048.156
AT ITER 3922 NEW BEST:: SOT 70922 SOS 52142 HAS SOPS 26377 HAS SOUS 6266 HAS SOUPS 5970 WITH SCORE 6022.142
AT ITER 3938 NEW BEST:: SOT 70888 SOS 52108 HAS SOPS 26309 HAS SOUS 6198 HAS SOUPS 5902 WITH SCORE 5954.108
AT ITER 3981 NEW BEST:: SOT 70882 SOS 52105 HAS SOPS 26300 HAS SOUS 6190 HAS SOUPS 5894 WITH SCORE 5946.105
AT ITER 3993 NEW BEST:: SOT 70891 SOS 55860 HAS SOPS 26270 HAS SOUS 6190 HAS SOUPS 5881 WITH SCORE 5936.86
AT ITER 4005 NEW BEST:: SOT 70887 SOS 55852 HAS SOPS 26266 HAS SOUS 6186 HAS SOUPS 5877 WITH SCORE 5932.852
AT ITER 4038 NEW BEST:: SOT 70885 SOS 55852 HAS SOPS 26264 HAS SOUS 6184 HAS SOUPS 5875 WITH SCORE 5930.852
AT ITER 4056 NEW BEST:: SOT 70877 SOS 55830 HAS SOPS 26248 HAS SOUS 6173 HAS SOUPS 5864 WITH SCORE 5919.83
AT ITER 4057 NEW BEST:: SOT 70874 SOS 55824 HAS SOPS 26242 HAS SOUS 6170 HAS SOUPS 5861 WITH SCORE 5916.824
AT ITER 4124 NEW BEST:: SOT 70717 SOS 55669 HAS SOPS 26158 HAS SOUS 6152 HAS SOUPS 5843 WITH SCORE 5898.669
AT ITER 4172 NEW BEST:: SOT 70705 SOS 55650 HAS SOPS 26134 HAS SOUS 6138 HAS SOUPS 5829 WITH SCORE 5884.65
AT ITER 4271 NEW BEST:: SOT 70691 SOS 55636 HAS SOPS 26113 HAS SOUS 6124 HAS SOUPS 5815 WITH SCORE 5870.636
AT ITER 4323 NEW BEST:: SOT 70675 SOS 55620 HAS SOPS 26094 HAS SOUS 6118 HAS SOUPS 5809 WITH SCORE 5864.62
AT ITER 4338 NEW BEST:: SOT 70674 SOS 55331 HAS SOPS 26119 HAS SOUS 6116 HAS SOUPS 5808 WITH SCORE 5863.331
AT ITER 4339 NEW BEST:: SOT 70673 SOS 55331 HAS SOPS 26117 HAS SOUS 6114 HAS SOUPS 5806 WITH SCORE 5861.331
AT ITER 4390 NEW BEST:: SOT 70673 SOS 55324 HAS SOPS 26117 HAS SOUS 6114 HAS SOUPS 5806 WITH SCORE 5861.324
AT ITER 4486 NEW BEST:: SOT 70667 SOS 55325 HAS SOPS 26116 HAS SOUS 6115 HAS SOUPS 5805 WITH SCORE 5860.325
AT ITER 4528 NEW BEST:: SOT 70669 SOS 55322 HAS SOPS 26115 HAS SOUS 6114 HAS SOUPS 5804 WITH SCORE 5859.322
AT ITER 4600 NEW BEST:: SOT 70666 SOS 55319 HAS SOPS 26109 HAS SOUS 6109 HAS SOUPS 5799 WITH SCORE 5854.319
AT ITER 4639 NEW BEST:: SOT 70663 SOS 55318 HAS SOPS 26105 HAS SOUS 6105 HAS SOUPS 5795 WITH SCORE 5850.318
AT ITER 4664 NEW BEST:: SOT 70662 SOS 55317 HAS SOPS 26104 HAS SOUS 6104 HAS SOUPS 5794 WITH SCORE 5849.317
AT ITER 4790 NEW BEST:: SOT 70659 SOS 55311 HAS SOPS 26095 HAS SOUS 6095 HAS SOUPS 5785 WITH SCORE 5840.311
AT ITER 4807 NEW BEST:: SOT 70659 SOS 55310 HAS SOPS 26063 HAS SOUS 6084 HAS SOUPS 5774 WITH SCORE 5829.31
AT ITER 4854 NEW BEST:: SOT 70653 SOS 55298 HAS SOPS 26045 HAS SOUS 6072 HAS SOUPS 5762 WITH SCORE 5817.298
AT ITER 4875 NEW BEST:: SOT 70654 SOS 55299 HAS SOPS 26041 HAS SOUS 6068 HAS SOUPS 5758 WITH SCORE 5813.299
AT ITER 4908 NEW BEST:: SOT 70654 SOS 55297 HAS SOPS 26020 HAS SOUS 6050 HAS SOUPS 5740 WITH SCORE 5795.297
AT ITER 4928 NEW BEST:: SOT 70618 SOS 55253 HAS SOPS 25948 HAS SOUS 6004 HAS SOUPS 5694 WITH SCORE 5749.253
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-00 ( (! ( (AF(potential( ( 1 ) <= (tk(P156)) ))) & (! ( potential( ( 2 ) <= (tk(P55)) ) | potential( (tk(P58)) <= (tk(P158)) ) )) )) & (AG( ( potential( ( 1 ) <= (tk(P11)) ) | potential( (tk(P140)) <= (tk(P23)) ) ))) )
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-01 ( ( (EF((! potential( (tk(P53)) <= (tk(P146)) )))) & ( (! ( potential( ( 2 ) <= (tk(P44)) ) & potential( (tk(P85)) <= (tk(P24)) ) )) | (! ( potential( ( 2 ) <= (tk(P137)) ) & potential( ( 3 ) <= (tk(P66)) ) )) ) ) | ( ( ( (! potential( (tk(P55)) <= (tk(P110)) )) | ( potential( (tk(P151)) <= (tk(P85)) ) | potential( ( 2 ) <= (tk(P167)) ) ) ) | (AX( potential( ( 1 ) <= (tk(P137)) ))) ) & (AG( (! potential( (tk(P131)) <= (tk(P151)) )))) ) )
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-02 (EF(potential( ( 3 ) <= (tk(P42)) )))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-03 (EU( (EF(potential( ( 1 ) <= (tk(P86)) ))),(EF(potential( ( 2 ) <= (tk(P102)) ))) ))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-04 (EF(( (! ( potential( (tk(P33)) <= (tk(P136)) ) | potential( (tk(P99)) <= (tk(P41)) ) )) & ( potential( (tk(P46)) <= (tk(P20)) ) | potential( ( 1 ) <= (tk(P166)) ) ) )))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-05 ( (! (AG( ( potential( (tk(P21)) <= (tk(P59)) ) | potential( (tk(P3)) <= (tk(P160)) ) )))) & (! potential( ( 2 ) <= (tk(P143)) )) )
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-06 (EF((! (! ( potential( ( 3 ) <= (tk(P140)) ) & potential( (tk(P78)) <= (tk(P64)) ) )))))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-07 (! (AG( (! ( potential( ( 2 ) <= (tk(P5)) ) & potential( (tk(P51)) <= (tk(P122)) ) )))))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-08 (EF((AG( potential( (tk(P138)) <= (tk(P96)) )))))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-09 (AG( (EF(potential( (tk(P145)) <= (tk(P53)) )))))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-10 ( ( (! (EF(potential( ( 1 ) <= (tk(P16)) )))) | (AU( potential( ( 1 ) <= (tk(P49)) ),potential( ( 3 ) <= (tk(P120)) ) )) ) & ( (! ( ( potential( ( 3 ) <= (tk(P52)) ) & potential( ( 2 ) <= (tk(P70)) ) ) | potential( (tk(P50)) <= (tk(P77)) ) )) | (EX( ( potential( (tk(P109)) <= (tk(P127)) ) | potential( (tk(P166)) <= (tk(P152)) ) ))) ) )
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-11 (! (AG( ( (! potential( ( 3 ) <= (tk(P24)) )) | ( potential( (tk(P127)) <= (tk(P17)) ) | potential( ( 2 ) <= (tk(P146)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-12 (EF(( (EX( potential( ( 2 ) <= (tk(P46)) ))) & potential( (tk(P84)) <= (tk(P104)) ) )))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-13 (AF((EU( potential( (tk(P149)) <= (tk(P110)) ),potential( ( 2 ) <= (tk(P38)) ) ))))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-14 (EF(( (EX( potential( ( 3 ) <= (tk(P121)) ))) | potential( ( 3 ) <= (tk(P26)) ) )))
PROPERTY: FlexibleBarrier-PT-14a-CTLCardinality-15 (AG( ( (EF(potential( ( 3 ) <= (tk(P161)) ))) | potential( ( 3 ) <= (tk(P166)) ) )))

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-14a"
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-14a, 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-158922972500339"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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