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-158922972400324.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400324
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589419831928

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

GOT IT HERE. BS
Petri model created: 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 56396 SOS 46333 HAS SOPS 46333 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26341.333
AT ITER 2 NEW BEST:: SOT 56451 SOS 46443 HAS SOPS 46443 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26340.443
AT ITER 3 NEW BEST:: SOT 56514 SOS 46568 HAS SOPS 46568 HAS SOUS 26291 HAS SOUPS 26291 WITH SCORE 26337.568
AT ITER 4 NEW BEST:: SOT 56506 SOS 46493 HAS SOPS 46493 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26137.493
AT ITER 5 NEW BEST:: SOT 56461 SOS 46462 HAS SOPS 46462 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26110.462
AT ITER 7 NEW BEST:: SOT 56219 SOS 45582 HAS SOPS 45582 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23834.582
AT ITER 9 NEW BEST:: SOT 56235 SOS 45478 HAS SOPS 45478 HAS SOUS 23737 HAS SOUPS 23737 WITH SCORE 23782.478
AT ITER 11 NEW BEST:: SOT 56221 SOS 44460 HAS SOPS 44460 HAS SOUS 21711 HAS SOUPS 21711 WITH SCORE 21755.46
AT ITER 17 NEW BEST:: SOT 56218 SOS 44453 HAS SOPS 44453 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21752.453
AT ITER 18 NEW BEST:: SOT 56266 SOS 44549 HAS SOPS 44549 HAS SOUS 21706 HAS SOUPS 21706 WITH SCORE 21750.549
AT ITER 20 NEW BEST:: SOT 56105 SOS 44350 HAS SOPS 44350 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21603.35
AT ITER 21 NEW BEST:: SOT 56099 SOS 44338 HAS SOPS 44338 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21585.338
AT ITER 27 NEW BEST:: SOT 56097 SOS 44260 HAS SOPS 44260 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21546.26
AT ITER 28 NEW BEST:: SOT 56169 SOS 44212 HAS SOPS 44212 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21500.212
AT ITER 29 NEW BEST:: SOT 56241 SOS 44248 HAS SOPS 44248 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21496.248
AT ITER 30 NEW BEST:: SOT 56240 SOS 44181 HAS SOPS 44181 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21496.181
AT ITER 31 NEW BEST:: SOT 56238 SOS 44174 HAS SOPS 44174 HAS SOUS 21396 HAS SOUPS 21396 WITH SCORE 21440.174
AT ITER 35 NEW BEST:: SOT 56236 SOS 44026 HAS SOPS 44026 HAS SOUS 21250 HAS SOUPS 21250 WITH SCORE 21294.026
AT ITER 38 NEW BEST:: SOT 55950 SOS 43609 HAS SOPS 43609 HAS SOUS 21062 HAS SOUPS 21062 WITH SCORE 21105.609
AT ITER 39 NEW BEST:: SOT 55674 SOS 43346 HAS SOPS 43346 HAS SOUS 20918 HAS SOUPS 20918 WITH SCORE 20961.346
AT ITER 40 NEW BEST:: SOT 55674 SOS 43346 HAS SOPS 43346 HAS SOUS 20887 HAS SOUPS 20887 WITH SCORE 20930.346
AT ITER 45 NEW BEST:: SOT 55720 SOS 42908 HAS SOPS 42908 HAS SOUS 20167 HAS SOUPS 20167 WITH SCORE 20209.908
AT ITER 46 NEW BEST:: SOT 55349 SOS 42570 HAS SOPS 42570 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20096.57
AT ITER 48 NEW BEST:: SOT 55349 SOS 42527 HAS SOPS 42527 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20093.527
AT ITER 50 NEW BEST:: SOT 55415 SOS 42461 HAS SOPS 42461 HAS SOUS 19985 HAS SOUPS 19985 WITH SCORE 20027.461
AT ITER 51 NEW BEST:: SOT 55418 SOS 42452 HAS SOPS 42452 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 20018.452
AT ITER 58 NEW BEST:: SOT 52646 SOS 42184 HAS SOPS 39673 HAS SOUS 19224 HAS SOUPS 19117 WITH SCORE 19159.184
AT ITER 62 NEW BEST:: SOT 50687 SOS 40245 HAS SOPS 37734 HAS SOUS 18189 HAS SOUPS 18082 WITH SCORE 18122.245
AT ITER 68 NEW BEST:: SOT 50709 SOS 40267 HAS SOPS 37514 HAS SOUS 17859 HAS SOUPS 17752 WITH SCORE 17792.267
AT ITER 69 NEW BEST:: SOT 50709 SOS 40233 HAS SOPS 37480 HAS SOUS 17825 HAS SOUPS 17718 WITH SCORE 17758.233
AT ITER 71 NEW BEST:: SOT 50705 SOS 40225 HAS SOPS 37405 HAS SOUS 17755 HAS SOUPS 17648 WITH SCORE 17688.225
AT ITER 78 NEW BEST:: SOT 50712 SOS 40209 HAS SOPS 37350 HAS SOUS 17703 HAS SOUPS 17593 WITH SCORE 17633.209
AT ITER 81 NEW BEST:: SOT 50710 SOS 40205 HAS SOPS 37344 HAS SOUS 17698 HAS SOUPS 17588 WITH SCORE 17628.205
AT ITER 83 NEW BEST:: SOT 50709 SOS 40188 HAS SOPS 37327 HAS SOUS 17682 HAS SOUPS 17572 WITH SCORE 17612.188
AT ITER 86 NEW BEST:: SOT 50717 SOS 40022 HAS SOPS 37161 HAS SOUS 17659 HAS SOUPS 17549 WITH SCORE 17589.022
AT ITER 87 NEW BEST:: SOT 50006 SOS 39329 HAS SOPS 36604 HAS SOUS 17625 HAS SOUPS 17515 WITH SCORE 17554.329
AT ITER 89 NEW BEST:: SOT 49934 SOS 39257 HAS SOPS 36532 HAS SOUS 17553 HAS SOUPS 17443 WITH SCORE 17482.257
AT ITER 100 NEW BEST:: SOT 49646 SOS 38969 HAS SOPS 36244 HAS SOUS 17383 HAS SOUPS 17273 WITH SCORE 17311.969
AT ITER 103 NEW BEST:: SOT 49646 SOS 38861 HAS SOPS 36136 HAS SOUS 17334 HAS SOUPS 17224 WITH SCORE 17262.861
AT ITER 104 NEW BEST:: SOT 48545 SOS 37637 HAS SOPS 34912 HAS SOUS 16648 HAS SOUPS 16538 WITH SCORE 16575.637
AT ITER 106 NEW BEST:: SOT 48712 SOS 37406 HAS SOPS 33275 HAS SOUS 14928 HAS SOUPS 14818 WITH SCORE 14855.406
AT ITER 108 NEW BEST:: SOT 48733 SOS 37380 HAS SOPS 33220 HAS SOUS 14873 HAS SOUPS 14763 WITH SCORE 14800.38
AT ITER 110 NEW BEST:: SOT 48732 SOS 36991 HAS SOPS 32600 HAS SOUS 14614 HAS SOUPS 14504 WITH SCORE 14540.991
AT ITER 111 NEW BEST:: SOT 48746 SOS 37071 HAS SOPS 32680 HAS SOUS 14582 HAS SOUPS 14472 WITH SCORE 14509.071
AT ITER 112 NEW BEST:: SOT 48746 SOS 37074 HAS SOPS 32683 HAS SOUS 14579 HAS SOUPS 14469 WITH SCORE 14506.074
AT ITER 114 NEW BEST:: SOT 48746 SOS 37083 HAS SOPS 32692 HAS SOUS 14575 HAS SOUPS 14465 WITH SCORE 14502.083
AT ITER 117 NEW BEST:: SOT 48746 SOS 37082 HAS SOPS 32691 HAS SOUS 14574 HAS SOUPS 14464 WITH SCORE 14501.082
AT ITER 118 NEW BEST:: SOT 47636 SOS 35988 HAS SOPS 31597 HAS SOUS 14097 HAS SOUPS 13987 WITH SCORE 14022.988
AT ITER 119 NEW BEST:: SOT 47585 SOS 35886 HAS SOPS 31495 HAS SOUS 14052 HAS SOUPS 13942 WITH SCORE 13977.886
AT ITER 121 NEW BEST:: SOT 47678 SOS 35942 HAS SOPS 31551 HAS SOUS 14040 HAS SOUPS 13930 WITH SCORE 13965.942
AT ITER 135 NEW BEST:: SOT 45955 SOS 34174 HAS SOPS 29783 HAS SOUS 13089 HAS SOUPS 12979 WITH SCORE 13013.174
AT ITER 137 NEW BEST:: SOT 45927 SOS 34097 HAS SOPS 29706 HAS SOUS 13066 HAS SOUPS 12956 WITH SCORE 12990.097
AT ITER 139 NEW BEST:: SOT 44970 SOS 33602 HAS SOPS 29378 HAS SOUS 12806 HAS SOUPS 12696 WITH SCORE 12729.602
AT ITER 146 NEW BEST:: SOT 45038 SOS 33665 HAS SOPS 29381 HAS SOUS 12758 HAS SOUPS 12648 WITH SCORE 12681.665
AT ITER 147 NEW BEST:: SOT 45003 SOS 33598 HAS SOPS 29314 HAS SOUS 12723 HAS SOUPS 12613 WITH SCORE 12646.598
AT ITER 151 NEW BEST:: SOT 45324 SOS 33424 HAS SOPS 28933 HAS SOUS 12621 HAS SOUPS 12511 WITH SCORE 12544.424
AT ITER 154 NEW BEST:: SOT 45322 SOS 33422 HAS SOPS 28931 HAS SOUS 12619 HAS SOUPS 12509 WITH SCORE 12542.422
AT ITER 155 NEW BEST:: SOT 45305 SOS 33396 HAS SOPS 28905 HAS SOUS 12591 HAS SOUPS 12481 WITH SCORE 12514.396
AT ITER 158 NEW BEST:: SOT 45298 SOS 33186 HAS SOPS 28695 HAS SOUS 12548 HAS SOUPS 12438 WITH SCORE 12471.186
AT ITER 160 NEW BEST:: SOT 45341 SOS 33180 HAS SOPS 28689 HAS SOUS 12545 HAS SOUPS 12435 WITH SCORE 12468.18
AT ITER 163 NEW BEST:: SOT 45337 SOS 33172 HAS SOPS 28681 HAS SOUS 12545 HAS SOUPS 12435 WITH SCORE 12468.172
AT ITER 171 NEW BEST:: SOT 45288 SOS 33131 HAS SOPS 28640 HAS SOUS 12504 HAS SOUPS 12394 WITH SCORE 12427.131
AT ITER 178 NEW BEST:: SOT 45251 SOS 33028 HAS SOPS 28459 HAS SOUS 12362 HAS SOUPS 12252 WITH SCORE 12285.028
AT ITER 181 NEW BEST:: SOT 45251 SOS 32524 HAS SOPS 27955 HAS SOUS 12299 HAS SOUPS 12189 WITH SCORE 12221.524
AT ITER 186 NEW BEST:: SOT 45259 SOS 32371 HAS SOPS 27802 HAS SOUS 12201 HAS SOUPS 12091 WITH SCORE 12123.371
AT ITER 193 NEW BEST:: SOT 45246 SOS 32369 HAS SOPS 27800 HAS SOUS 12199 HAS SOUPS 12089 WITH SCORE 12121.369
AT ITER 194 NEW BEST:: SOT 45244 SOS 32366 HAS SOPS 27785 HAS SOUS 12179 HAS SOUPS 12069 WITH SCORE 12101.366
AT ITER 198 NEW BEST:: SOT 45206 SOS 32289 HAS SOPS 27708 HAS SOUS 12142 HAS SOUPS 12032 WITH SCORE 12064.289
AT ITER 203 NEW BEST:: SOT 45471 SOS 32562 HAS SOPS 27634 HAS SOUS 11942 HAS SOUPS 11832 WITH SCORE 11864.562
AT ITER 208 NEW BEST:: SOT 45426 SOS 32527 HAS SOPS 27599 HAS SOUS 11907 HAS SOUPS 11797 WITH SCORE 11829.527
AT ITER 210 NEW BEST:: SOT 45287 SOS 32411 HAS SOPS 27460 HAS SOUS 11610 HAS SOUPS 11489 WITH SCORE 11521.411
AT ITER 214 NEW BEST:: SOT 45307 SOS 32330 HAS SOPS 27379 HAS SOUS 11584 HAS SOUPS 11463 WITH SCORE 11495.33
AT ITER 215 NEW BEST:: SOT 45202 SOS 32212 HAS SOPS 27261 HAS SOUS 11526 HAS SOUPS 11405 WITH SCORE 11437.212
AT ITER 216 NEW BEST:: SOT 45202 SOS 32212 HAS SOPS 27261 HAS SOUS 11521 HAS SOUPS 11400 WITH SCORE 11432.212
AT ITER 221 NEW BEST:: SOT 45172 SOS 32152 HAS SOPS 27201 HAS SOUS 11462 HAS SOUPS 11341 WITH SCORE 11373.152
AT ITER 225 NEW BEST:: SOT 45147 SOS 32100 HAS SOPS 27149 HAS SOUS 11454 HAS SOUPS 11333 WITH SCORE 11365.1
AT ITER 227 NEW BEST:: SOT 45143 SOS 32086 HAS SOPS 27135 HAS SOUS 11440 HAS SOUPS 11319 WITH SCORE 11351.086
AT ITER 230 NEW BEST:: SOT 43716 SOS 31529 HAS SOPS 25644 HAS SOUS 10234 HAS SOUPS 10049 WITH SCORE 10080.529
AT ITER 233 NEW BEST:: SOT 43722 SOS 31512 HAS SOPS 25645 HAS SOUS 10234 HAS SOUPS 10049 WITH SCORE 10080.512
AT ITER 252 NEW BEST:: SOT 43698 SOS 31526 HAS SOPS 25597 HAS SOUS 10186 HAS SOUPS 10001 WITH SCORE 10032.526
AT ITER 253 NEW BEST:: SOT 43565 SOS 31625 HAS SOPS 25696 HAS SOUS 10156 HAS SOUPS 9971 WITH SCORE 10002.625
AT ITER 261 NEW BEST:: SOT 43514 SOS 31588 HAS SOPS 25616 HAS SOUS 10077 HAS SOUPS 9892 WITH SCORE 9923.588
AT ITER 265 NEW BEST:: SOT 43025 SOS 31103 HAS SOPS 25147 HAS SOUS 9913 HAS SOUPS 9728 WITH SCORE 9759.103
AT ITER 269 NEW BEST:: SOT 43035 SOS 31089 HAS SOPS 25133 HAS SOUS 9877 HAS SOUPS 9692 WITH SCORE 9723.089
AT ITER 270 NEW BEST:: SOT 43054 SOS 31022 HAS SOPS 24601 HAS SOUS 9619 HAS SOUPS 9434 WITH SCORE 9465.022
AT ITER 273 NEW BEST:: SOT 43010 SOS 30956 HAS SOPS 24491 HAS SOUS 9509 HAS SOUPS 9324 WITH SCORE 9354.956
AT ITER 274 NEW BEST:: SOT 42939 SOS 30869 HAS SOPS 24388 HAS SOUS 9406 HAS SOUPS 9221 WITH SCORE 9251.869
AT ITER 278 NEW BEST:: SOT 42843 SOS 30771 HAS SOPS 24290 HAS SOUS 9308 HAS SOUPS 9123 WITH SCORE 9153.771
AT ITER 283 NEW BEST:: SOT 42841 SOS 30769 HAS SOPS 24286 HAS SOUS 9304 HAS SOUPS 9119 WITH SCORE 9149.769
AT ITER 288 NEW BEST:: SOT 42828 SOS 30753 HAS SOPS 24260 HAS SOUS 9280 HAS SOUPS 9095 WITH SCORE 9125.753
AT ITER 295 NEW BEST:: SOT 42812 SOS 30737 HAS SOPS 24228 HAS SOUS 9261 HAS SOUPS 9063 WITH SCORE 9093.737
AT ITER 298 NEW BEST:: SOT 42803 SOS 30826 HAS SOPS 24188 HAS SOUS 9252 HAS SOUPS 9053 WITH SCORE 9083.826
AT ITER 306 NEW BEST:: SOT 42787 SOS 30794 HAS SOPS 24156 HAS SOUS 9236 HAS SOUPS 9037 WITH SCORE 9067.794
AT ITER 320 NEW BEST:: SOT 42785 SOS 30790 HAS SOPS 24152 HAS SOUS 9233 HAS SOUPS 9034 WITH SCORE 9064.79
AT ITER 329 NEW BEST:: SOT 42280 SOS 30270 HAS SOPS 23580 HAS SOUS 8708 HAS SOUPS 8509 WITH SCORE 8539.27
AT ITER 331 NEW BEST:: SOT 42154 SOS 30099 HAS SOPS 23374 HAS SOUS 8535 HAS SOUPS 8336 WITH SCORE 8366.099
AT ITER 343 NEW BEST:: SOT 42116 SOS 30023 HAS SOPS 23298 HAS SOUS 8472 HAS SOUPS 8273 WITH SCORE 8303.023
AT ITER 346 NEW BEST:: SOT 42112 SOS 30015 HAS SOPS 23286 HAS SOUS 8460 HAS SOUPS 8261 WITH SCORE 8291.015
AT ITER 351 NEW BEST:: SOT 42111 SOS 29974 HAS SOPS 23245 HAS SOUS 8458 HAS SOUPS 8259 WITH SCORE 8288.974
AT ITER 352 NEW BEST:: SOT 42101 SOS 29952 HAS SOPS 23223 HAS SOUS 8452 HAS SOUPS 8253 WITH SCORE 8282.952
AT ITER 358 NEW BEST:: SOT 42095 SOS 29940 HAS SOPS 23211 HAS SOUS 8440 HAS SOUPS 8241 WITH SCORE 8270.94
AT ITER 361 NEW BEST:: SOT 42066 SOS 29849 HAS SOPS 23120 HAS SOUS 8378 HAS SOUPS 8179 WITH SCORE 8208.849
AT ITER 366 NEW BEST:: SOT 42074 SOS 29782 HAS SOPS 23053 HAS SOUS 8366 HAS SOUPS 8167 WITH SCORE 8196.782
AT ITER 367 NEW BEST:: SOT 42167 SOS 29878 HAS SOPS 23089 HAS SOUS 8332 HAS SOUPS 8133 WITH SCORE 8162.878
AT ITER 371 NEW BEST:: SOT 42167 SOS 29870 HAS SOPS 23060 HAS SOUS 8332 HAS SOUPS 8133 WITH SCORE 8162.87
AT ITER 374 NEW BEST:: SOT 42052 SOS 30346 HAS SOPS 22912 HAS SOUS 8288 HAS SOUPS 8072 WITH SCORE 8102.346
AT ITER 383 NEW BEST:: SOT 42023 SOS 30317 HAS SOPS 22891 HAS SOUS 8267 HAS SOUPS 8051 WITH SCORE 8081.317
AT ITER 384 NEW BEST:: SOT 42018 SOS 30291 HAS SOPS 22849 HAS SOUS 8225 HAS SOUPS 8009 WITH SCORE 8039.291
AT ITER 393 NEW BEST:: SOT 41955 SOS 30261 HAS SOPS 22806 HAS SOUS 8198 HAS SOUPS 7982 WITH SCORE 8012.261
AT ITER 395 NEW BEST:: SOT 41896 SOS 30084 HAS SOPS 22750 HAS SOUS 8163 HAS SOUPS 7950 WITH SCORE 7980.084
AT ITER 399 NEW BEST:: SOT 41896 SOS 30092 HAS SOPS 22738 HAS SOUS 8151 HAS SOUPS 7938 WITH SCORE 7968.092
AT ITER 409 NEW BEST:: SOT 42143 SOS 30342 HAS SOPS 22714 HAS SOUS 8141 HAS SOUPS 7928 WITH SCORE 7958.342
AT ITER 418 NEW BEST:: SOT 42121 SOS 30361 HAS SOPS 22708 HAS SOUS 8132 HAS SOUPS 7919 WITH SCORE 7949.361
AT ITER 423 NEW BEST:: SOT 42114 SOS 30324 HAS SOPS 22614 HAS SOUS 8038 HAS SOUPS 7825 WITH SCORE 7855.324
AT ITER 429 NEW BEST:: SOT 42113 SOS 30323 HAS SOPS 22613 HAS SOUS 8036 HAS SOUPS 7823 WITH SCORE 7853.323
AT ITER 430 NEW BEST:: SOT 42100 SOS 30308 HAS SOPS 22600 HAS SOUS 8023 HAS SOUPS 7810 WITH SCORE 7840.308
AT ITER 436 NEW BEST:: SOT 42110 SOS 30303 HAS SOPS 22559 HAS SOUS 7982 HAS SOUPS 7769 WITH SCORE 7799.303
AT ITER 438 NEW BEST:: SOT 42117 SOS 30349 HAS SOPS 22573 HAS SOUS 7957 HAS SOUPS 7744 WITH SCORE 7774.349
AT ITER 444 NEW BEST:: SOT 42104 SOS 30336 HAS SOPS 22568 HAS SOUS 7952 HAS SOUPS 7739 WITH SCORE 7769.336
AT ITER 451 NEW BEST:: SOT 42069 SOS 30345 HAS SOPS 22554 HAS SOUS 7938 HAS SOUPS 7725 WITH SCORE 7755.345
AT ITER 455 NEW BEST:: SOT 42065 SOS 30336 HAS SOPS 22546 HAS SOUS 7937 HAS SOUPS 7724 WITH SCORE 7754.336
AT ITER 466 NEW BEST:: SOT 42057 SOS 30326 HAS SOPS 22530 HAS SOUS 7925 HAS SOUPS 7712 WITH SCORE 7742.326
AT ITER 467 NEW BEST:: SOT 42061 SOS 30228 HAS SOPS 22442 HAS SOUS 7849 HAS SOUPS 7646 WITH SCORE 7676.228
AT ITER 472 NEW BEST:: SOT 42144 SOS 30317 HAS SOPS 22322 HAS SOUS 7756 HAS SOUPS 7553 WITH SCORE 7583.317
AT ITER 481 NEW BEST:: SOT 42144 SOS 30305 HAS SOPS 22316 HAS SOUS 7756 HAS SOUPS 7553 WITH SCORE 7583.305
AT ITER 482 NEW BEST:: SOT 42120 SOS 30257 HAS SOPS 22260 HAS SOUS 7708 HAS SOUPS 7505 WITH SCORE 7535.257
AT ITER 485 NEW BEST:: SOT 42102 SOS 30221 HAS SOPS 22224 HAS SOUS 7689 HAS SOUPS 7486 WITH SCORE 7516.221
AT ITER 492 NEW BEST:: SOT 42102 SOS 30238 HAS SOPS 22239 HAS SOUS 7684 HAS SOUPS 7481 WITH SCORE 7511.238
AT ITER 495 NEW BEST:: SOT 42025 SOS 30096 HAS SOPS 22078 HAS SOUS 7558 HAS SOUPS 7355 WITH SCORE 7385.096
AT ITER 504 NEW BEST:: SOT 41914 SOS 30017 HAS SOPS 21974 HAS SOUS 7470 HAS SOUPS 7267 WITH SCORE 7297.017
AT ITER 507 NEW BEST:: SOT 41821 SOS 29925 HAS SOPS 21894 HAS SOUS 7440 HAS SOUPS 7237 WITH SCORE 7266.925
AT ITER 512 NEW BEST:: SOT 41819 SOS 29919 HAS SOPS 21888 HAS SOUS 7434 HAS SOUPS 7231 WITH SCORE 7260.919
AT ITER 515 NEW BEST:: SOT 41819 SOS 29911 HAS SOPS 21880 HAS SOUS 7434 HAS SOUPS 7231 WITH SCORE 7260.911
AT ITER 531 NEW BEST:: SOT 41814 SOS 29906 HAS SOPS 21875 HAS SOUS 7434 HAS SOUPS 7231 WITH SCORE 7260.906
AT ITER 552 NEW BEST:: SOT 41798 SOS 29863 HAS SOPS 21826 HAS SOUS 7412 HAS SOUPS 7209 WITH SCORE 7238.863
AT ITER 563 NEW BEST:: SOT 41787 SOS 29841 HAS SOPS 21804 HAS SOUS 7387 HAS SOUPS 7184 WITH SCORE 7213.841
AT ITER 574 NEW BEST:: SOT 41786 SOS 29871 HAS SOPS 21802 HAS SOUS 7385 HAS SOUPS 7182 WITH SCORE 7211.871
AT ITER 575 NEW BEST:: SOT 41770 SOS 29838 HAS SOPS 21770 HAS SOUS 7350 HAS SOUPS 7147 WITH SCORE 7176.838
AT ITER 579 NEW BEST:: SOT 41754 SOS 29806 HAS SOPS 21722 HAS SOUS 7302 HAS SOUPS 7099 WITH SCORE 7128.806
AT ITER 586 NEW BEST:: SOT 41752 SOS 29780 HAS SOPS 21694 HAS SOUS 7289 HAS SOUPS 7086 WITH SCORE 7115.78
AT ITER 590 NEW BEST:: SOT 41739 SOS 29754 HAS SOPS 21668 HAS SOUS 7256 HAS SOUPS 7053 WITH SCORE 7082.754
AT ITER 591 NEW BEST:: SOT 41729 SOS 29754 HAS SOPS 21661 HAS SOUS 7256 HAS SOUPS 7049 WITH SCORE 7078.754
AT ITER 606 NEW BEST:: SOT 41723 SOS 29742 HAS SOPS 21649 HAS SOUS 7235 HAS SOUPS 7028 WITH SCORE 7057.742
AT ITER 621 NEW BEST:: SOT 41672 SOS 31178 HAS SOPS 21552 HAS SOUS 7246 HAS SOUPS 7008 WITH SCORE 7039.178
AT ITER 624 NEW BEST:: SOT 41662 SOS 31158 HAS SOPS 21545 HAS SOUS 7238 HAS SOUPS 7000 WITH SCORE 7031.158
AT ITER 627 NEW BEST:: SOT 41654 SOS 31152 HAS SOPS 21511 HAS SOUS 7231 HAS SOUPS 6993 WITH SCORE 7024.152
AT ITER 631 NEW BEST:: SOT 41682 SOS 31143 HAS SOPS 21501 HAS SOUS 7222 HAS SOUPS 6984 WITH SCORE 7015.143
AT ITER 635 NEW BEST:: SOT 41439 SOS 30904 HAS SOPS 21258 HAS SOUS 7102 HAS SOUPS 6860 WITH SCORE 6890.904
AT ITER 640 NEW BEST:: SOT 41458 SOS 30921 HAS SOPS 21257 HAS SOUS 7101 HAS SOUPS 6859 WITH SCORE 6889.921
AT ITER 656 NEW BEST:: SOT 41459 SOS 30922 HAS SOPS 21259 HAS SOUS 7099 HAS SOUPS 6857 WITH SCORE 6887.922
AT ITER 657 NEW BEST:: SOT 41455 SOS 30918 HAS SOPS 21251 HAS SOUS 7094 HAS SOUPS 6849 WITH SCORE 6879.918
AT ITER 662 NEW BEST:: SOT 41445 SOS 30911 HAS SOPS 21247 HAS SOUS 7092 HAS SOUPS 6847 WITH SCORE 6877.911
AT ITER 669 NEW BEST:: SOT 41424 SOS 30891 HAS SOPS 21228 HAS SOUS 7088 HAS SOUPS 6843 WITH SCORE 6873.891
AT ITER 671 NEW BEST:: SOT 41408 SOS 30843 HAS SOPS 21180 HAS SOUS 7056 HAS SOUPS 6811 WITH SCORE 6841.843
AT ITER 683 NEW BEST:: SOT 41390 SOS 30756 HAS SOPS 21144 HAS SOUS 7014 HAS SOUPS 6769 WITH SCORE 6799.756
AT ITER 686 NEW BEST:: SOT 41388 SOS 30753 HAS SOPS 21140 HAS SOUS 6990 HAS SOUPS 6745 WITH SCORE 6775.753
AT ITER 688 NEW BEST:: SOT 41389 SOS 30752 HAS SOPS 21140 HAS SOUS 6990 HAS SOUPS 6745 WITH SCORE 6775.752
AT ITER 699 NEW BEST:: SOT 41387 SOS 30746 HAS SOPS 21134 HAS SOUS 6986 HAS SOUPS 6741 WITH SCORE 6771.746
AT ITER 700 NEW BEST:: SOT 41381 SOS 30740 HAS SOPS 21125 HAS SOUS 6977 HAS SOUPS 6732 WITH SCORE 6762.74
AT ITER 709 NEW BEST:: SOT 41381 SOS 30631 HAS SOPS 21129 HAS SOUS 6975 HAS SOUPS 6732 WITH SCORE 6762.631
AT ITER 711 NEW BEST:: SOT 41374 SOS 30625 HAS SOPS 21129 HAS SOUS 6975 HAS SOUPS 6732 WITH SCORE 6762.625
AT ITER 713 NEW BEST:: SOT 41372 SOS 30590 HAS SOPS 21094 HAS SOUS 6969 HAS SOUPS 6726 WITH SCORE 6756.59
AT ITER 724 NEW BEST:: SOT 41370 SOS 30588 HAS SOPS 21091 HAS SOUS 6966 HAS SOUPS 6723 WITH SCORE 6753.588
AT ITER 746 NEW BEST:: SOT 41381 SOS 30590 HAS SOPS 21095 HAS SOUS 6961 HAS SOUPS 6718 WITH SCORE 6748.59
AT ITER 758 NEW BEST:: SOT 41384 SOS 30607 HAS SOPS 21101 HAS SOUS 6939 HAS SOUPS 6696 WITH SCORE 6726.607
AT ITER 763 NEW BEST:: SOT 41362 SOS 30547 HAS SOPS 21034 HAS SOUS 6872 HAS SOUPS 6629 WITH SCORE 6659.547
AT ITER 767 NEW BEST:: SOT 41358 SOS 30535 HAS SOPS 21026 HAS SOUS 6864 HAS SOUPS 6621 WITH SCORE 6651.535
AT ITER 776 NEW BEST:: SOT 41349 SOS 30521 HAS SOPS 21003 HAS SOUS 6841 HAS SOUPS 6598 WITH SCORE 6628.521
AT ITER 781 NEW BEST:: SOT 41312 SOS 30447 HAS SOPS 20892 HAS SOUS 6730 HAS SOUPS 6487 WITH SCORE 6517.447
AT ITER 786 NEW BEST:: SOT 41310 SOS 30444 HAS SOPS 20888 HAS SOUS 6711 HAS SOUPS 6468 WITH SCORE 6498.444
AT ITER 797 NEW BEST:: SOT 41184 SOS 30321 HAS SOPS 20762 HAS SOUS 6651 HAS SOUPS 6405 WITH SCORE 6435.321
AT ITER 804 NEW BEST:: SOT 41116 SOS 30253 HAS SOPS 20694 HAS SOUS 6617 HAS SOUPS 6371 WITH SCORE 6401.253
AT ITER 809 NEW BEST:: SOT 41098 SOS 30230 HAS SOPS 20668 HAS SOUS 6606 HAS SOUPS 6360 WITH SCORE 6390.23
AT ITER 815 NEW BEST:: SOT 41104 SOS 30223 HAS SOPS 20663 HAS SOUS 6597 HAS SOUPS 6351 WITH SCORE 6381.223
AT ITER 826 NEW BEST:: SOT 41099 SOS 30208 HAS SOPS 20648 HAS SOUS 6587 HAS SOUPS 6341 WITH SCORE 6371.208
AT ITER 833 NEW BEST:: SOT 41091 SOS 30192 HAS SOPS 20624 HAS SOUS 6563 HAS SOUPS 6317 WITH SCORE 6347.192
AT ITER 834 NEW BEST:: SOT 41091 SOS 30011 HAS SOPS 20443 HAS SOUS 6557 HAS SOUPS 6311 WITH SCORE 6341.011
AT ITER 849 NEW BEST:: SOT 41091 SOS 29997 HAS SOPS 20429 HAS SOUS 6539 HAS SOUPS 6293 WITH SCORE 6322.997
AT ITER 852 NEW BEST:: SOT 41084 SOS 29990 HAS SOPS 20415 HAS SOUS 6525 HAS SOUPS 6279 WITH SCORE 6308.99
AT ITER 853 NEW BEST:: SOT 41084 SOS 29942 HAS SOPS 20415 HAS SOUS 6525 HAS SOUPS 6279 WITH SCORE 6308.942
AT ITER 858 NEW BEST:: SOT 41073 SOS 29913 HAS SOPS 20393 HAS SOUS 6503 HAS SOUPS 6257 WITH SCORE 6286.913
AT ITER 874 NEW BEST:: SOT 41056 SOS 29879 HAS SOPS 20330 HAS SOUS 6445 HAS SOUPS 6199 WITH SCORE 6228.879
AT ITER 878 NEW BEST:: SOT 41056 SOS 29879 HAS SOPS 20330 HAS SOUS 6435 HAS SOUPS 6189 WITH SCORE 6218.879
AT ITER 883 NEW BEST:: SOT 40935 SOS 29758 HAS SOPS 20206 HAS SOUS 6370 HAS SOUPS 6124 WITH SCORE 6153.758
AT ITER 889 NEW BEST:: SOT 40928 SOS 29751 HAS SOPS 20192 HAS SOUS 6356 HAS SOUPS 6110 WITH SCORE 6139.751
AT ITER 900 NEW BEST:: SOT 40928 SOS 29743 HAS SOPS 20192 HAS SOUS 6356 HAS SOUPS 6110 WITH SCORE 6139.743
AT ITER 911 NEW BEST:: SOT 40918 SOS 29725 HAS SOPS 20172 HAS SOUS 6336 HAS SOUPS 6090 WITH SCORE 6119.725
AT ITER 928 NEW BEST:: SOT 40955 SOS 29746 HAS SOPS 20193 HAS SOUS 6334 HAS SOUPS 6088 WITH SCORE 6117.746
AT ITER 934 NEW BEST:: SOT 40947 SOS 29693 HAS SOPS 20147 HAS SOUS 6301 HAS SOUPS 6055 WITH SCORE 6084.693
AT ITER 939 NEW BEST:: SOT 40935 SOS 29612 HAS SOPS 20072 HAS SOUS 6238 HAS SOUPS 5995 WITH SCORE 6024.612
AT ITER 973 NEW BEST:: SOT 40886 SOS 29603 HAS SOPS 20024 HAS SOUS 6201 HAS SOUPS 5958 WITH SCORE 5987.603
AT ITER 977 NEW BEST:: SOT 40867 SOS 29593 HAS SOPS 20013 HAS SOUS 6201 HAS SOUPS 5958 WITH SCORE 5987.593
AT ITER 979 NEW BEST:: SOT 40860 SOS 29553 HAS SOPS 19966 HAS SOUS 6153 HAS SOUPS 5910 WITH SCORE 5939.553
AT ITER 1023 NEW BEST:: SOT 40850 SOS 29553 HAS SOPS 19946 HAS SOUS 6121 HAS SOUPS 5878 WITH SCORE 5907.553
AT ITER 1053 NEW BEST:: SOT 40808 SOS 29485 HAS SOPS 19862 HAS SOUS 6050 HAS SOUPS 5807 WITH SCORE 5836.485
AT ITER 1060 NEW BEST:: SOT 40807 SOS 29484 HAS SOPS 19860 HAS SOUS 6048 HAS SOUPS 5805 WITH SCORE 5834.484
AT ITER 1065 NEW BEST:: SOT 40807 SOS 29475 HAS SOPS 19851 HAS SOUS 6039 HAS SOUPS 5796 WITH SCORE 5825.475
AT ITER 1075 NEW BEST:: SOT 40804 SOS 29470 HAS SOPS 19845 HAS SOUS 6039 HAS SOUPS 5796 WITH SCORE 5825.47
AT ITER 1079 NEW BEST:: SOT 40829 SOS 29457 HAS SOPS 19834 HAS SOUS 6019 HAS SOUPS 5776 WITH SCORE 5805.457
AT ITER 1081 NEW BEST:: SOT 40819 SOS 29437 HAS SOPS 19814 HAS SOUS 5999 HAS SOUPS 5756 WITH SCORE 5785.437
AT ITER 1097 NEW BEST:: SOT 40819 SOS 30058 HAS SOPS 19797 HAS SOUS 6005 HAS SOUPS 5751 WITH SCORE 5781.058
AT ITER 1108 NEW BEST:: SOT 40819 SOS 30049 HAS SOPS 19788 HAS SOUS 5996 HAS SOUPS 5742 WITH SCORE 5772.049
AT ITER 1111 NEW BEST:: SOT 40820 SOS 30047 HAS SOPS 19780 HAS SOUS 5992 HAS SOUPS 5734 WITH SCORE 5764.047
AT ITER 1120 NEW BEST:: SOT 40817 SOS 30044 HAS SOPS 19774 HAS SOUS 5986 HAS SOUPS 5728 WITH SCORE 5758.044
AT ITER 1126 NEW BEST:: SOT 40787 SOS 29996 HAS SOPS 19714 HAS SOUS 5924 HAS SOUPS 5666 WITH SCORE 5695.996
AT ITER 1131 NEW BEST:: SOT 40753 SOS 29949 HAS SOPS 19646 HAS SOUS 5860 HAS SOUPS 5599 WITH SCORE 5628.949
AT ITER 1133 NEW BEST:: SOT 40692 SOS 31684 HAS SOPS 19567 HAS SOUS 5859 HAS SOUPS 5587 WITH SCORE 5618.684
AT ITER 1139 NEW BEST:: SOT 40686 SOS 31674 HAS SOPS 19563 HAS SOUS 5859 HAS SOUPS 5587 WITH SCORE 5618.674
AT ITER 1140 NEW BEST:: SOT 40685 SOS 31673 HAS SOPS 19562 HAS SOUS 5858 HAS SOUPS 5586 WITH SCORE 5617.673
AT ITER 1150 NEW BEST:: SOT 40684 SOS 31672 HAS SOPS 19560 HAS SOUS 5856 HAS SOUPS 5584 WITH SCORE 5615.672
AT ITER 1153 NEW BEST:: SOT 40683 SOS 31670 HAS SOPS 19558 HAS SOUS 5855 HAS SOUPS 5583 WITH SCORE 5614.67
AT ITER 1168 NEW BEST:: SOT 40703 SOS 31674 HAS SOPS 19562 HAS SOUS 5841 HAS SOUPS 5569 WITH SCORE 5600.674
AT ITER 1175 NEW BEST:: SOT 40697 SOS 31664 HAS SOPS 19550 HAS SOUS 5833 HAS SOUPS 5561 WITH SCORE 5592.664
AT ITER 1181 NEW BEST:: SOT 40688 SOS 31684 HAS SOPS 19551 HAS SOUS 5824 HAS SOUPS 5552 WITH SCORE 5583.684
AT ITER 1225 NEW BEST:: SOT 40686 SOS 31678 HAS SOPS 19547 HAS SOUS 5820 HAS SOUPS 5548 WITH SCORE 5579.678
AT ITER 1249 NEW BEST:: SOT 40682 SOS 31667 HAS SOPS 19534 HAS SOUS 5810 HAS SOUPS 5538 WITH SCORE 5569.667
AT ITER 1265 NEW BEST:: SOT 40680 SOS 31667 HAS SOPS 19532 HAS SOUS 5808 HAS SOUPS 5536 WITH SCORE 5567.667
AT ITER 1292 NEW BEST:: SOT 40652 SOS 31635 HAS SOPS 19476 HAS SOUS 5769 HAS SOUPS 5497 WITH SCORE 5528.635
AT ITER 1309 NEW BEST:: SOT 40618 SOS 31789 HAS SOPS 19662 HAS SOUS 5754 HAS SOUPS 5482 WITH SCORE 5513.789
AT ITER 1310 NEW BEST:: SOT 40638 SOS 31789 HAS SOPS 19672 HAS SOUS 5753 HAS SOUPS 5481 WITH SCORE 5512.789
AT ITER 1311 NEW BEST:: SOT 40630 SOS 31776 HAS SOPS 19656 HAS SOUS 5745 HAS SOUPS 5473 WITH SCORE 5504.776
AT ITER 1319 NEW BEST:: SOT 40626 SOS 31772 HAS SOPS 19653 HAS SOUS 5742 HAS SOUPS 5470 WITH SCORE 5501.772
AT ITER 1328 NEW BEST:: SOT 40620 SOS 31766 HAS SOPS 19644 HAS SOUS 5736 HAS SOUPS 5464 WITH SCORE 5495.766
AT ITER 1329 NEW BEST:: SOT 40614 SOS 31760 HAS SOPS 19638 HAS SOUS 5736 HAS SOUPS 5464 WITH SCORE 5495.76
AT ITER 1344 NEW BEST:: SOT 40613 SOS 31758 HAS SOPS 19635 HAS SOUS 5734 HAS SOUPS 5461 WITH SCORE 5492.758
AT ITER 1358 NEW BEST:: SOT 40605 SOS 31749 HAS SOPS 19632 HAS SOUS 5731 HAS SOUPS 5458 WITH SCORE 5489.749
AT ITER 1400 NEW BEST:: SOT 40595 SOS 31739 HAS SOPS 19622 HAS SOUS 5726 HAS SOUPS 5453 WITH SCORE 5484.739
AT ITER 1409 NEW BEST:: SOT 40594 SOS 31734 HAS SOPS 19617 HAS SOUS 5722 HAS SOUPS 5449 WITH SCORE 5480.734
AT ITER 1426 NEW BEST:: SOT 40592 SOS 31732 HAS SOPS 19613 HAS SOUS 5718 HAS SOUPS 5445 WITH SCORE 5476.732
AT ITER 1430 NEW BEST:: SOT 40590 SOS 31728 HAS SOPS 19608 HAS SOUS 5714 HAS SOUPS 5441 WITH SCORE 5472.728
AT ITER 1443 NEW BEST:: SOT 40521 SOS 31660 HAS SOPS 19556 HAS SOUS 5691 HAS SOUPS 5418 WITH SCORE 5449.66
AT ITER 1452 NEW BEST:: SOT 40522 SOS 31649 HAS SOPS 19551 HAS SOUS 5691 HAS SOUPS 5418 WITH SCORE 5449.649
AT ITER 1456 NEW BEST:: SOT 40519 SOS 31643 HAS SOPS 19545 HAS SOUS 5677 HAS SOUPS 5404 WITH SCORE 5435.643
AT ITER 1496 NEW BEST:: SOT 40519 SOS 31645 HAS SOPS 19545 HAS SOUS 5671 HAS SOUPS 5398 WITH SCORE 5429.645
AT ITER 1499 NEW BEST:: SOT 40494 SOS 31639 HAS SOPS 19533 HAS SOUS 5661 HAS SOUPS 5388 WITH SCORE 5419.639
AT ITER 1536 NEW BEST:: SOT 40468 SOS 31611 HAS SOPS 19561 HAS SOUS 5661 HAS SOUPS 5388 WITH SCORE 5419.611
AT ITER 1594 NEW BEST:: SOT 40461 SOS 31604 HAS SOPS 19547 HAS SOUS 5647 HAS SOUPS 5374 WITH SCORE 5405.604
AT ITER 1603 NEW BEST:: SOT 40504 SOS 31647 HAS SOPS 19545 HAS SOUS 5645 HAS SOUPS 5372 WITH SCORE 5403.647
AT ITER 1609 NEW BEST:: SOT 40508 SOS 31632 HAS SOPS 19527 HAS SOUS 5625 HAS SOUPS 5352 WITH SCORE 5383.632
AT ITER 1611 NEW BEST:: SOT 40506 SOS 31629 HAS SOPS 19523 HAS SOUS 5609 HAS SOUPS 5336 WITH SCORE 5367.629
AT ITER 1616 NEW BEST:: SOT 40517 SOS 31620 HAS SOPS 19512 HAS SOUS 5594 HAS SOUPS 5321 WITH SCORE 5352.62
AT ITER 1624 NEW BEST:: SOT 40511 SOS 31620 HAS SOPS 19506 HAS SOUS 5588 HAS SOUPS 5315 WITH SCORE 5346.62
AT ITER 1634 NEW BEST:: SOT 40506 SOS 31603 HAS SOPS 19484 HAS SOUS 5576 HAS SOUPS 5303 WITH SCORE 5334.603
AT ITER 1642 NEW BEST:: SOT 40504 SOS 31599 HAS SOPS 19480 HAS SOUS 5574 HAS SOUPS 5301 WITH SCORE 5332.599
AT ITER 1667 NEW BEST:: SOT 40500 SOS 31595 HAS SOPS 19472 HAS SOUS 5566 HAS SOUPS 5293 WITH SCORE 5324.595
AT ITER 1672 NEW BEST:: SOT 40494 SOS 31586 HAS SOPS 19463 HAS SOUS 5563 HAS SOUPS 5290 WITH SCORE 5321.586
AT ITER 1684 NEW BEST:: SOT 40491 SOS 31583 HAS SOPS 19457 HAS SOUS 5557 HAS SOUPS 5284 WITH SCORE 5315.583
AT ITER 1709 NEW BEST:: SOT 40471 SOS 31563 HAS SOPS 19427 HAS SOUS 5537 HAS SOUPS 5264 WITH SCORE 5295.563
AT ITER 1720 NEW BEST:: SOT 40458 SOS 31557 HAS SOPS 19411 HAS SOUS 5524 HAS SOUPS 5251 WITH SCORE 5282.557
AT ITER 1736 NEW BEST:: SOT 40455 SOS 31553 HAS SOPS 19405 HAS SOUS 5519 HAS SOUPS 5246 WITH SCORE 5277.553
AT ITER 1759 NEW BEST:: SOT 40424 SOS 31483 HAS SOPS 19343 HAS SOUS 5458 HAS SOUPS 5185 WITH SCORE 5216.483
AT ITER 1820 NEW BEST:: SOT 40419 SOS 31466 HAS SOPS 19321 HAS SOUS 5436 HAS SOUPS 5163 WITH SCORE 5194.466
AT ITER 1832 NEW BEST:: SOT 40418 SOS 31459 HAS SOPS 19314 HAS SOUS 5429 HAS SOUPS 5156 WITH SCORE 5187.459
AT ITER 1839 NEW BEST:: SOT 40395 SOS 31471 HAS SOPS 19302 HAS SOUS 5412 HAS SOUPS 5139 WITH SCORE 5170.471
AT ITER 1843 NEW BEST:: SOT 40401 SOS 31464 HAS SOPS 19301 HAS SOUS 5411 HAS SOUPS 5138 WITH SCORE 5169.464
AT ITER 1844 NEW BEST:: SOT 40410 SOS 31462 HAS SOPS 19297 HAS SOUS 5407 HAS SOUPS 5134 WITH SCORE 5165.462
AT ITER 1900 NEW BEST:: SOT 40394 SOS 31448 HAS SOPS 19284 HAS SOUS 5406 HAS SOUPS 5133 WITH SCORE 5164.448
AT ITER 1930 NEW BEST:: SOT 40368 SOS 31391 HAS SOPS 19190 HAS SOUS 5276 HAS SOUPS 5003 WITH SCORE 5034.391
AT ITER 1994 NEW BEST:: SOT 40340 SOS 31335 HAS SOPS 19134 HAS SOUS 5248 HAS SOUPS 4975 WITH SCORE 5006.335
AT ITER 2013 NEW BEST:: SOT 40303 SOS 31299 HAS SOPS 19117 HAS SOUS 5231 HAS SOUPS 4958 WITH SCORE 4989.299
AT ITER 2048 NEW BEST:: SOT 40300 SOS 31289 HAS SOPS 19111 HAS SOUS 5228 HAS SOUPS 4955 WITH SCORE 4986.289
AT ITER 2052 NEW BEST:: SOT 40296 SOS 31290 HAS SOPS 19108 HAS SOUS 5224 HAS SOUPS 4951 WITH SCORE 4982.29
AT ITER 2069 NEW BEST:: SOT 40296 SOS 31287 HAS SOPS 19106 HAS SOUS 5223 HAS SOUPS 4950 WITH SCORE 4981.287
AT ITER 2077 NEW BEST:: SOT 40279 SOS 31277 HAS SOPS 19100 HAS SOUS 5214 HAS SOUPS 4941 WITH SCORE 4972.277
AT ITER 2081 NEW BEST:: SOT 40261 SOS 31223 HAS SOPS 19046 HAS SOUS 5178 HAS SOUPS 4905 WITH SCORE 4936.223
AT ITER 2084 NEW BEST:: SOT 40261 SOS 31173 HAS SOPS 18996 HAS SOUS 5128 HAS SOUPS 4855 WITH SCORE 4886.173
AT ITER 2089 NEW BEST:: SOT 40257 SOS 31173 HAS SOPS 18992 HAS SOUS 5124 HAS SOUPS 4851 WITH SCORE 4882.173
AT ITER 2099 NEW BEST:: SOT 40256 SOS 30952 HAS SOPS 18992 HAS SOUS 5121 HAS SOUPS 4849 WITH SCORE 4879.952
AT ITER 2107 NEW BEST:: SOT 40270 SOS 30936 HAS SOPS 18988 HAS SOUS 5116 HAS SOUPS 4844 WITH SCORE 4874.936
AT ITER 2131 NEW BEST:: SOT 40281 SOS 30936 HAS SOPS 18976 HAS SOUS 5104 HAS SOUPS 4832 WITH SCORE 4862.936
AT ITER 2209 NEW BEST:: SOT 40274 SOS 30945 HAS SOPS 18975 HAS SOUS 5101 HAS SOUPS 4829 WITH SCORE 4859.945
AT ITER 2210 NEW BEST:: SOT 40285 SOS 30935 HAS SOPS 18981 HAS SOUS 5100 HAS SOUPS 4828 WITH SCORE 4858.935
AT ITER 2213 NEW BEST:: SOT 40251 SOS 30901 HAS SOPS 18948 HAS SOUS 5084 HAS SOUPS 4812 WITH SCORE 4842.901
AT ITER 2221 NEW BEST:: SOT 40249 SOS 30899 HAS SOPS 18945 HAS SOUS 5082 HAS SOUPS 4810 WITH SCORE 4840.899
AT ITER 2256 NEW BEST:: SOT 40248 SOS 30900 HAS SOPS 18943 HAS SOUS 5078 HAS SOUPS 4806 WITH SCORE 4836.9
AT ITER 2316 NEW BEST:: SOT 40247 SOS 30898 HAS SOPS 18941 HAS SOUS 5076 HAS SOUPS 4804 WITH SCORE 4834.898
AT ITER 2321 NEW BEST:: SOT 40245 SOS 30892 HAS SOPS 18935 HAS SOUS 5076 HAS SOUPS 4804 WITH SCORE 4834.892
AT ITER 2343 NEW BEST:: SOT 40229 SOS 30868 HAS SOPS 18903 HAS SOUS 5055 HAS SOUPS 4783 WITH SCORE 4813.868
AT ITER 2347 NEW BEST:: SOT 40228 SOS 30865 HAS SOPS 18900 HAS SOUS 5055 HAS SOUPS 4783 WITH SCORE 4813.865
AT ITER 2363 NEW BEST:: SOT 40224 SOS 30861 HAS SOPS 18892 HAS SOUS 5047 HAS SOUPS 4775 WITH SCORE 4805.861
AT ITER 2432 NEW BEST:: SOT 40224 SOS 30861 HAS SOPS 18890 HAS SOUS 5045 HAS SOUPS 4773 WITH SCORE 4803.861
AT ITER 2470 NEW BEST:: SOT 40230 SOS 30852 HAS SOPS 18887 HAS SOUS 5042 HAS SOUPS 4770 WITH SCORE 4800.852
AT ITER 2484 NEW BEST:: SOT 40212 SOS 30845 HAS SOPS 18862 HAS SOUS 5017 HAS SOUPS 4745 WITH SCORE 4775.845
AT ITER 2496 NEW BEST:: SOT 40212 SOS 30845 HAS SOPS 18857 HAS SOUS 5012 HAS SOUPS 4740 WITH SCORE 4770.845
AT ITER 2502 NEW BEST:: SOT 40206 SOS 30847 HAS SOPS 18845 HAS SOUS 5002 HAS SOUPS 4729 WITH SCORE 4759.847
AT ITER 2509 NEW BEST:: SOT 40205 SOS 30845 HAS SOPS 18840 HAS SOUS 4997 HAS SOUPS 4724 WITH SCORE 4754.845
AT ITER 2535 NEW BEST:: SOT 40205 SOS 30841 HAS SOPS 18832 HAS SOUS 4989 HAS SOUPS 4716 WITH SCORE 4746.841
AT ITER 2546 NEW BEST:: SOT 40202 SOS 30838 HAS SOPS 18826 HAS SOUS 4983 HAS SOUPS 4710 WITH SCORE 4740.838
AT ITER 2549 NEW BEST:: SOT 40202 SOS 30834 HAS SOPS 18822 HAS SOUS 4979 HAS SOUPS 4706 WITH SCORE 4736.834
AT ITER 2551 NEW BEST:: SOT 40186 SOS 30808 HAS SOPS 18801 HAS SOUS 4966 HAS SOUPS 4693 WITH SCORE 4723.808
AT ITER 2579 NEW BEST:: SOT 40238 SOS 30858 HAS SOPS 18851 HAS SOUS 4965 HAS SOUPS 4692 WITH SCORE 4722.858
AT ITER 2647 NEW BEST:: SOT 40238 SOS 30858 HAS SOPS 18845 HAS SOUS 4959 HAS SOUPS 4686 WITH SCORE 4716.858
AT ITER 2684 NEW BEST:: SOT 40231 SOS 30851 HAS SOPS 18838 HAS SOUS 4947 HAS SOUPS 4674 WITH SCORE 4704.851
AT ITER 2700 NEW BEST:: SOT 40180 SOS 30800 HAS SOPS 18781 HAS SOUS 4928 HAS SOUPS 4655 WITH SCORE 4685.8
AT ITER 2714 NEW BEST:: SOT 40166 SOS 30802 HAS SOPS 18766 HAS SOUS 4920 HAS SOUPS 4647 WITH SCORE 4677.802
AT ITER 2817 NEW BEST:: SOT 40157 SOS 30793 HAS SOPS 18757 HAS SOUS 4911 HAS SOUPS 4638 WITH SCORE 4668.793
AT ITER 2860 NEW BEST:: SOT 40157 SOS 30793 HAS SOPS 18748 HAS SOUS 4902 HAS SOUPS 4629 WITH SCORE 4659.793
AT ITER 2868 NEW BEST:: SOT 40153 SOS 30783 HAS SOPS 18736 HAS SOUS 4892 HAS SOUPS 4619 WITH SCORE 4649.783
AT ITER 2999 NEW BEST:: SOT 40147 SOS 30767 HAS SOPS 18718 HAS SOUS 4876 HAS SOUPS 4603 WITH SCORE 4633.767
AT ITER 3015 NEW BEST:: SOT 40144 SOS 30764 HAS SOPS 18715 HAS SOUS 4873 HAS SOUPS 4600 WITH SCORE 4630.764
AT ITER 3107 NEW BEST:: SOT 40132 SOS 30744 HAS SOPS 18691 HAS SOUS 4858 HAS SOUPS 4585 WITH SCORE 4615.744
AT ITER 3119 NEW BEST:: SOT 40122 SOS 30733 HAS SOPS 18688 HAS SOUS 4856 HAS SOUPS 4583 WITH SCORE 4613.733
AT ITER 3178 NEW BEST:: SOT 40120 SOS 30735 HAS SOPS 18684 HAS SOUS 4851 HAS SOUPS 4578 WITH SCORE 4608.735
AT ITER 3207 NEW BEST:: SOT 40118 SOS 30732 HAS SOPS 18680 HAS SOUS 4847 HAS SOUPS 4574 WITH SCORE 4604.732
AT ITER 3248 NEW BEST:: SOT 40112 SOS 30726 HAS SOPS 18668 HAS SOUS 4835 HAS SOUPS 4562 WITH SCORE 4592.726
AT ITER 3298 NEW BEST:: SOT 40110 SOS 30723 HAS SOPS 18664 HAS SOUS 4830 HAS SOUPS 4557 WITH SCORE 4587.723
AT ITER 3363 NEW BEST:: SOT 40108 SOS 30717 HAS SOPS 18658 HAS SOUS 4826 HAS SOUPS 4553 WITH SCORE 4583.717
AT ITER 3377 NEW BEST:: SOT 40104 SOS 30709 HAS SOPS 18650 HAS SOUS 4826 HAS SOUPS 4553 WITH SCORE 4583.709
AT ITER 3399 NEW BEST:: SOT 40101 SOS 30708 HAS SOPS 18648 HAS SOUS 4826 HAS SOUPS 4553 WITH SCORE 4583.708
AT ITER 3493 NEW BEST:: SOT 40101 SOS 30708 HAS SOPS 18645 HAS SOUS 4821 HAS SOUPS 4548 WITH SCORE 4578.708
AT ITER 3524 NEW BEST:: SOT 40086 SOS 30693 HAS SOPS 18630 HAS SOUS 4806 HAS SOUPS 4533 WITH SCORE 4563.693
AT ITER 3541 NEW BEST:: SOT 40086 SOS 30693 HAS SOPS 18628 HAS SOUS 4804 HAS SOUPS 4531 WITH SCORE 4561.693
AT ITER 3545 NEW BEST:: SOT 40070 SOS 30707 HAS SOPS 18694 HAS SOUS 4793 HAS SOUPS 4520 WITH SCORE 4550.707
AT ITER 3598 NEW BEST:: SOT 40036 SOS 30688 HAS SOPS 18653 HAS SOUS 4785 HAS SOUPS 4512 WITH SCORE 4542.688
AT ITER 3600 NEW BEST:: SOT 40042 SOS 30720 HAS SOPS 18665 HAS SOUS 4771 HAS SOUPS 4498 WITH SCORE 4528.72
AT ITER 3642 NEW BEST:: SOT 40041 SOS 30728 HAS SOPS 18663 HAS SOUS 4748 HAS SOUPS 4475 WITH SCORE 4505.728
AT ITER 3651 NEW BEST:: SOT 40047 SOS 30725 HAS SOPS 18659 HAS SOUS 4745 HAS SOUPS 4472 WITH SCORE 4502.725
AT ITER 3687 NEW BEST:: SOT 40047 SOS 30782 HAS SOPS 18656 HAS SOUS 4745 HAS SOUPS 4471 WITH SCORE 4501.782
AT ITER 3692 NEW BEST:: SOT 40047 SOS 30782 HAS SOPS 18656 HAS SOUS 4735 HAS SOUPS 4462 WITH SCORE 4492.782
AT ITER 3694 NEW BEST:: SOT 40043 SOS 30774 HAS SOPS 18648 HAS SOUS 4731 HAS SOUPS 4458 WITH SCORE 4488.774
AT ITER 3777 NEW BEST:: SOT 40043 SOS 30768 HAS SOPS 18641 HAS SOUS 4730 HAS SOUPS 4457 WITH SCORE 4487.768
AT ITER 3806 NEW BEST:: SOT 40034 SOS 30759 HAS SOPS 18631 HAS SOUS 4720 HAS SOUPS 4447 WITH SCORE 4477.759
AT ITER 3943 NEW BEST:: SOT 40030 SOS 30755 HAS SOPS 18623 HAS SOUS 4712 HAS SOUPS 4439 WITH SCORE 4469.755
AT ITER 3951 NEW BEST:: SOT 40001 SOS 29859 HAS SOPS 18622 HAS SOUS 4695 HAS SOUPS 4437 WITH SCORE 4466.859
AT ITER 4014 NEW BEST:: SOT 39998 SOS 29853 HAS SOPS 18616 HAS SOUS 4692 HAS SOUPS 4434 WITH SCORE 4463.853
AT ITER 4060 NEW BEST:: SOT 39986 SOS 29836 HAS SOPS 18592 HAS SOUS 4682 HAS SOUPS 4418 WITH SCORE 4447.836
AT ITER 4091 NEW BEST:: SOT 39980 SOS 29841 HAS SOPS 18580 HAS SOUS 4669 HAS SOUPS 4405 WITH SCORE 4434.841
AT ITER 4101 NEW BEST:: SOT 39982 SOS 29845 HAS SOPS 18584 HAS SOUS 4664 HAS SOUPS 4400 WITH SCORE 4429.845
AT ITER 4149 NEW BEST:: SOT 39980 SOS 29847 HAS SOPS 18582 HAS SOUS 4660 HAS SOUPS 4396 WITH SCORE 4425.847
AT ITER 4175 NEW BEST:: SOT 39974 SOS 29835 HAS SOPS 18570 HAS SOUS 4657 HAS SOUPS 4393 WITH SCORE 4422.835
AT ITER 4315 NEW BEST:: SOT 39973 SOS 29833 HAS SOPS 18567 HAS SOUS 4654 HAS SOUPS 4390 WITH SCORE 4419.833
AT ITER 4406 NEW BEST:: SOT 39973 SOS 29835 HAS SOPS 18567 HAS SOUS 4652 HAS SOUPS 4388 WITH SCORE 4417.835
AT ITER 4411 NEW BEST:: SOT 39971 SOS 29832 HAS SOPS 18563 HAS SOUS 4648 HAS SOUPS 4384 WITH SCORE 4413.832
AT ITER 4550 NEW BEST:: SOT 39969 SOS 29805 HAS SOPS 18546 HAS SOUS 4642 HAS SOUPS 4378 WITH SCORE 4407.805
AT ITER 4556 NEW BEST:: SOT 39974 SOS 29980 HAS SOPS 18544 HAS SOUS 4642 HAS SOUPS 4375 WITH SCORE 4404.98
AT ITER 4627 NEW BEST:: SOT 39976 SOS 29984 HAS SOPS 18548 HAS SOUS 4637 HAS SOUPS 4370 WITH SCORE 4399.984
AT ITER 4641 NEW BEST:: SOT 39958 SOS 29976 HAS SOPS 18546 HAS SOUS 4634 HAS SOUPS 4367 WITH SCORE 4396.976
AT ITER 4724 NEW BEST:: SOT 39950 SOS 29976 HAS SOPS 18530 HAS SOUS 4618 HAS SOUPS 4351 WITH SCORE 4380.976
AT ITER 4803 NEW BEST:: SOT 39948 SOS 29976 HAS SOPS 18526 HAS SOUS 4607 HAS SOUPS 4340 WITH SCORE 4369.976
AT ITER 4867 NEW BEST:: SOT 39947 SOS 29985 HAS SOPS 18524 HAS SOUS 4595 HAS SOUPS 4328 WITH SCORE 4357.985
AT ITER 4869 NEW BEST:: SOT 39947 SOS 29984 HAS SOPS 18522 HAS SOUS 4594 HAS SOUPS 4327 WITH SCORE 4356.984
AT ITER 4918 NEW BEST:: SOT 39947 SOS 29984 HAS SOPS 18520 HAS SOUS 4590 HAS SOUPS 4323 WITH SCORE 4352.984
AT ITER 4941 NEW BEST:: SOT 39946 SOS 29982 HAS SOPS 18518 HAS SOUS 4588 HAS SOUPS 4321 WITH SCORE 4350.982
AT ITER 4959 NEW BEST:: SOT 39944 SOS 29981 HAS SOPS 18517 HAS SOUS 4587 HAS SOUPS 4320 WITH SCORE 4349.981
AT ITER 4962 NEW BEST:: SOT 39942 SOS 29979 HAS SOPS 18515 HAS SOUS 4587 HAS SOUPS 4320 WITH SCORE 4349.979
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-00 (EU( (! (AF( ((potential((tk(P29)>=1) & (tk(P147)>=1))))))) , (AG( ((potential((tk(P25)>=1) & (tk(P60)>=1) & (tk(P146)>=1)))))) ))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-01 (EU( ( (! ( ((potential((tk(P9)>=1)))) & ((potential((tk(P72)>=1)))) )) | (AF( ((potential((tk(P137)>=1) & (tk(P147)>=1)))))) ) , ( ((potential((tk(P76)>=1)))) & (EX( ((potential((tk(P108)>=1)))))) ) ))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-02 (EX( (EF( (AG( ((potential((tk(P96)>=1) & (tk(P121)>=1) & (tk(P146)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-03 ( ( (AU( ( ((potential((tk(P24)>=1) & (tk(P49)>=1) & (tk(P146)>=1)))) & ((potential((tk(P48)>=1) & (tk(P85)>=1) & (tk(P146)>=1)))) ) , ( ((potential((tk(P37)>=1) & (tk(P72)>=1) & (tk(P146)>=1)))) | ((potential((tk(P2)>=1)))) ) )) | (! (AG( (! ((potential((tk(P61)>=1) & (tk(P120)>=1) & (tk(P146)>=1)))))))) ) & (AF( (EF( ((potential((tk(P39)>=1) & (tk(P147)>=1)))))))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-04 (EU( ( ( ( ((potential((tk(P6)>=1)))) | ((potential((tk(P20)>=1) & (tk(P147)>=1)))) ) & ( ((potential((tk(P121)>=1) & (tk(P132)>=1) & (tk(P146)>=1)))) | ((potential((tk(P105)>=1)))) ) ) | (AF( ((potential((tk(P97)>=1)))))) ) , ( ( ((potential((tk(P39)>=1) & (tk(P147)>=1)))) & (! ((potential((tk(P37)>=1))))) ) & ( ( ((potential((tk(P91)>=1) & (tk(P146)>=1)))) & ((potential((tk(P147)>=1) & (tk(P34)>=1)))) ) | ((potential((tk(P13)>=1) & (tk(P36)>=1) & (tk(P146)>=1)))) ) ) ))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-05 ( (EU( (EX( ((potential((tk(P84)>=1) & (tk(P109)>=1) & (tk(P146)>=1)))))) , (EF( ((potential((tk(P30)>=1) & (tk(P147)>=1)))))) )) | ((potential((tk(P24)>=1) & (tk(P73)>=1) & (tk(P146)>=1)))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-06 ( (AX( (! ((potential((tk(P12)>=1) & (tk(P133)>=1) & (tk(P146)>=1))))))) & (EF( (AG( (! ((potential((tk(P18)>=1) & (tk(P147)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-07 (EF( (AF( (AX( ((potential((tk(P47)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-08 (EF( ( ((potential((tk(P47)>=1)))) & ( ( (! ((potential((tk(P13)>=1) & (tk(P60)>=1) & (tk(P146)>=1))))) | (! ((potential((tk(P36)>=1) & (tk(P146)>=1))))) ) & ((potential((tk(P48)>=1) & (tk(P61)>=1) & (tk(P146)>=1)))) ) )))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-09 (EF( ( (EG( ( ((potential((tk(P60)>=1) & (tk(P85)>=1) & (tk(P146)>=1)))) & ((potential((tk(P72)>=1) & (tk(P146)>=1)))) ))) & ( ( ( ((potential((tk(P69)>=1)))) & ((potential((tk(P13)>=1) & (tk(P96)>=1) & (tk(P146)>=1)))) ) & (! ((potential((tk(P48)>=1) & (tk(P85)>=1) & (tk(P146)>=1))))) ) | (AG( ((potential((tk(P11)>=1)))))) ) )))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-10 (EU( ( (EF( ((potential((tk(P50)>=1)))))) | (EG( ((potential((tk(P97)>=1) & (tk(P120)>=1) & (tk(P146)>=1)))))) ) , ((potential((tk(P32)>=1) & (tk(P147)>=1)))) ))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-11 ( ((potential((tk(P115)>=1) & (tk(P146)>=1)))) & (AX( ( ( (! ((potential((tk(P13)>=1))))) | ( ((potential((tk(P25)>=1) & (tk(P108)>=1) & (tk(P146)>=1)))) & ((potential((tk(P49)>=1) & (tk(P60)>=1) & (tk(P146)>=1)))) ) ) | ( ((potential((tk(P98)>=1)))) | ( ((potential((tk(P66)>=1)))) & ((potential((tk(P126)>=1) & (tk(P147)>=1)))) ) ) ))) )
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-12 (AU( ( ((potential((tk(P56)>=1) & (tk(P147)>=1)))) | (! ( ((potential((tk(P109)>=1) & (tk(P132)>=1) & (tk(P146)>=1)))) | ((potential((tk(P143)>=1)))) )) ) , ( (AF( ((potential((tk(P109)>=1) & (tk(P132)>=1) & (tk(P146)>=1)))))) & (! ((potential((tk(P66)>=1))))) ) ))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-13 (! ((potential((tk(P83)>=1)))))
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-14 ( ((potential((tk(P25)>=1) & (tk(P144)>=1) & (tk(P146)>=1)))) | ( (AF( (! (! ((potential((tk(P28)>=1)))))))) | (AG( ((potential((tk(P1)>=1)))))) ) )
PROPERTY: FlexibleBarrier-PT-12a-CTLFireability-15 (EU( (! (! ( ((potential((tk(P13)>=1) & (tk(P108)>=1) & (tk(P146)>=1)))) | ((potential((tk(P48)>=1) & (tk(P97)>=1) & (tk(P146)>=1)))) ))) , (AF( ((potential((tk(P12)>=1) & (tk(P146)>=1)))))) ))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-12a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-12a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972400324"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;