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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.8K Apr 4 18:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 4 18:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 4 06:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 4 06:59 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.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 3 21:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:22 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 94K 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-10a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-10a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589412524991

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 10a
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: 123 places, 334 transitions, 1467 arcs.
AT ITER 0 NEW BEST:: SOT 34605 SOS 27847 HAS SOPS 27847 HAS SOUS 17061 HAS SOUPS 17061 WITH SCORE 17088.847
AT ITER 1 NEW BEST:: SOT 34697 SOS 27882 HAS SOPS 27882 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16228.882
AT ITER 3 NEW BEST:: SOT 34702 SOS 27823 HAS SOPS 27823 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15941.823
AT ITER 5 NEW BEST:: SOT 34769 SOS 27438 HAS SOPS 27438 HAS SOUS 14666 HAS SOUPS 14666 WITH SCORE 14693.438
AT ITER 7 NEW BEST:: SOT 34547 SOS 27243 HAS SOPS 27243 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14602.243
AT ITER 8 NEW BEST:: SOT 34622 SOS 27212 HAS SOPS 27212 HAS SOUS 14469 HAS SOUPS 14469 WITH SCORE 14496.212
AT ITER 9 NEW BEST:: SOT 34635 SOS 27225 HAS SOPS 27225 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14490.225
AT ITER 13 NEW BEST:: SOT 34515 SOS 27077 HAS SOPS 27077 HAS SOUS 14356 HAS SOUPS 14356 WITH SCORE 14383.077
AT ITER 18 NEW BEST:: SOT 34253 SOS 26847 HAS SOPS 26847 HAS SOUS 14341 HAS SOUPS 14341 WITH SCORE 14367.847
AT ITER 19 NEW BEST:: SOT 34293 SOS 26814 HAS SOPS 26814 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14336.814
AT ITER 20 NEW BEST:: SOT 33343 SOS 26184 HAS SOPS 25789 HAS SOUS 14103 HAS SOUPS 14047 WITH SCORE 14073.184
AT ITER 22 NEW BEST:: SOT 33343 SOS 26167 HAS SOPS 25772 HAS SOUS 14069 HAS SOUPS 14013 WITH SCORE 14039.167
AT ITER 26 NEW BEST:: SOT 33041 SOS 25850 HAS SOPS 25455 HAS SOUS 13891 HAS SOUPS 13835 WITH SCORE 13860.85
AT ITER 30 NEW BEST:: SOT 33040 SOS 25837 HAS SOPS 25434 HAS SOUS 13883 HAS SOUPS 13827 WITH SCORE 13852.837
AT ITER 31 NEW BEST:: SOT 33039 SOS 25815 HAS SOPS 25432 HAS SOUS 13882 HAS SOUPS 13826 WITH SCORE 13851.815
AT ITER 33 NEW BEST:: SOT 32570 SOS 25317 HAS SOPS 24934 HAS SOUS 13666 HAS SOUPS 13610 WITH SCORE 13635.317
AT ITER 34 NEW BEST:: SOT 32581 SOS 25317 HAS SOPS 24934 HAS SOUS 13655 HAS SOUPS 13599 WITH SCORE 13624.317
AT ITER 38 NEW BEST:: SOT 32341 SOS 25084 HAS SOPS 24729 HAS SOUS 13625 HAS SOUPS 13576 WITH SCORE 13601.084
AT ITER 39 NEW BEST:: SOT 31654 SOS 24365 HAS SOPS 24010 HAS SOUS 13214 HAS SOUPS 13165 WITH SCORE 13189.365
AT ITER 44 NEW BEST:: SOT 31621 SOS 24256 HAS SOPS 23901 HAS SOUS 13107 HAS SOUPS 13058 WITH SCORE 13082.256
AT ITER 45 NEW BEST:: SOT 31723 SOS 24154 HAS SOPS 23455 HAS SOUS 12311 HAS SOUPS 12262 WITH SCORE 12286.154
AT ITER 46 NEW BEST:: SOT 31724 SOS 24137 HAS SOPS 23438 HAS SOUS 12310 HAS SOUPS 12261 WITH SCORE 12285.137
AT ITER 47 NEW BEST:: SOT 31733 SOS 24138 HAS SOPS 23439 HAS SOUS 12306 HAS SOUPS 12257 WITH SCORE 12281.138
AT ITER 55 NEW BEST:: SOT 31733 SOS 24138 HAS SOPS 23439 HAS SOUS 12305 HAS SOUPS 12256 WITH SCORE 12280.138
AT ITER 56 NEW BEST:: SOT 31682 SOS 23889 HAS SOPS 23139 HAS SOUS 12092 HAS SOUPS 12041 WITH SCORE 12064.889
AT ITER 58 NEW BEST:: SOT 31568 SOS 23703 HAS SOPS 22739 HAS SOUS 11783 HAS SOUPS 11732 WITH SCORE 11755.703
AT ITER 62 NEW BEST:: SOT 31564 SOS 23695 HAS SOPS 22731 HAS SOUS 11779 HAS SOUPS 11728 WITH SCORE 11751.695
AT ITER 64 NEW BEST:: SOT 31526 SOS 23657 HAS SOPS 22693 HAS SOUS 11757 HAS SOUPS 11706 WITH SCORE 11729.657
AT ITER 67 NEW BEST:: SOT 31177 SOS 22903 HAS SOPS 21291 HAS SOUS 10716 HAS SOUPS 10663 WITH SCORE 10685.903
AT ITER 69 NEW BEST:: SOT 31183 SOS 22639 HAS SOPS 21025 HAS SOUS 10616 HAS SOUPS 10563 WITH SCORE 10585.639
AT ITER 72 NEW BEST:: SOT 30031 SOS 21565 HAS SOPS 19951 HAS SOUS 10110 HAS SOUPS 10057 WITH SCORE 10078.565
AT ITER 74 NEW BEST:: SOT 30053 SOS 21635 HAS SOPS 19995 HAS SOUS 10107 HAS SOUPS 10054 WITH SCORE 10075.635
AT ITER 75 NEW BEST:: SOT 30112 SOS 21671 HAS SOPS 20031 HAS SOUS 10086 HAS SOUPS 10033 WITH SCORE 10054.671
AT ITER 76 NEW BEST:: SOT 28940 SOS 21074 HAS SOPS 18740 HAS SOUS 8996 HAS SOUPS 8886 WITH SCORE 8907.074
AT ITER 80 NEW BEST:: SOT 28940 SOS 21040 HAS SOPS 18696 HAS SOUS 8954 HAS SOUPS 8844 WITH SCORE 8865.04
AT ITER 81 NEW BEST:: SOT 29189 SOS 20951 HAS SOPS 18598 HAS SOUS 8954 HAS SOUPS 8844 WITH SCORE 8864.951
AT ITER 82 NEW BEST:: SOT 28563 SOS 20348 HAS SOPS 17995 HAS SOUS 8687 HAS SOUPS 8577 WITH SCORE 8597.348
AT ITER 84 NEW BEST:: SOT 28551 SOS 20347 HAS SOPS 17995 HAS SOUS 8687 HAS SOUPS 8577 WITH SCORE 8597.347
AT ITER 87 NEW BEST:: SOT 28551 SOS 20347 HAS SOPS 17995 HAS SOUS 8672 HAS SOUPS 8562 WITH SCORE 8582.347
AT ITER 88 NEW BEST:: SOT 28568 SOS 19713 HAS SOPS 17361 HAS SOUS 8558 HAS SOUPS 8448 WITH SCORE 8467.713
AT ITER 94 NEW BEST:: SOT 28570 SOS 19658 HAS SOPS 17306 HAS SOUS 8535 HAS SOUPS 8425 WITH SCORE 8444.658
AT ITER 97 NEW BEST:: SOT 28542 SOS 19651 HAS SOPS 17299 HAS SOUS 8525 HAS SOUPS 8415 WITH SCORE 8434.651
AT ITER 98 NEW BEST:: SOT 28668 SOS 19124 HAS SOPS 15920 HAS SOUS 7920 HAS SOUPS 7802 WITH SCORE 7821.124
AT ITER 103 NEW BEST:: SOT 28641 SOS 19107 HAS SOPS 15866 HAS SOUS 7873 HAS SOUPS 7755 WITH SCORE 7774.107
AT ITER 105 NEW BEST:: SOT 28641 SOS 19086 HAS SOPS 15832 HAS SOUS 7853 HAS SOUPS 7735 WITH SCORE 7754.086
AT ITER 106 NEW BEST:: SOT 28658 SOS 19102 HAS SOPS 15847 HAS SOUS 7849 HAS SOUPS 7731 WITH SCORE 7750.102
AT ITER 110 NEW BEST:: SOT 28655 SOS 19095 HAS SOPS 15840 HAS SOUS 7847 HAS SOUPS 7729 WITH SCORE 7748.095
AT ITER 112 NEW BEST:: SOT 28619 SOS 19041 HAS SOPS 15768 HAS SOUS 7793 HAS SOUPS 7675 WITH SCORE 7694.041
AT ITER 116 NEW BEST:: SOT 28594 SOS 19229 HAS SOPS 15735 HAS SOUS 7783 HAS SOUPS 7657 WITH SCORE 7676.229
AT ITER 119 NEW BEST:: SOT 28580 SOS 19215 HAS SOPS 15721 HAS SOUS 7769 HAS SOUPS 7643 WITH SCORE 7662.215
AT ITER 122 NEW BEST:: SOT 28558 SOS 19186 HAS SOPS 15677 HAS SOUS 7740 HAS SOUPS 7614 WITH SCORE 7633.186
AT ITER 123 NEW BEST:: SOT 28560 SOS 19177 HAS SOPS 15659 HAS SOUS 7713 HAS SOUPS 7587 WITH SCORE 7606.177
AT ITER 124 NEW BEST:: SOT 28548 SOS 19165 HAS SOPS 15635 HAS SOUS 7693 HAS SOUPS 7563 WITH SCORE 7582.165
AT ITER 126 NEW BEST:: SOT 28518 SOS 19082 HAS SOPS 15546 HAS SOUS 7639 HAS SOUPS 7495 WITH SCORE 7514.082
AT ITER 127 NEW BEST:: SOT 28518 SOS 19082 HAS SOPS 15541 HAS SOUS 7634 HAS SOUPS 7490 WITH SCORE 7509.082
AT ITER 138 NEW BEST:: SOT 28508 SOS 19052 HAS SOPS 15511 HAS SOUS 7634 HAS SOUPS 7490 WITH SCORE 7509.052
AT ITER 143 NEW BEST:: SOT 28500 SOS 19048 HAS SOPS 15495 HAS SOUS 7614 HAS SOUPS 7470 WITH SCORE 7489.048
AT ITER 153 NEW BEST:: SOT 28500 SOS 19003 HAS SOPS 15445 HAS SOUS 7580 HAS SOUPS 7436 WITH SCORE 7455.003
AT ITER 154 NEW BEST:: SOT 28193 SOS 18721 HAS SOPS 15163 HAS SOUS 7454 HAS SOUPS 7310 WITH SCORE 7328.721
AT ITER 155 NEW BEST:: SOT 28150 SOS 18755 HAS SOPS 15156 HAS SOUS 7409 HAS SOUPS 7265 WITH SCORE 7283.755
AT ITER 158 NEW BEST:: SOT 28149 SOS 18753 HAS SOPS 15136 HAS SOUS 7389 HAS SOUPS 7245 WITH SCORE 7263.753
AT ITER 164 NEW BEST:: SOT 28062 SOS 18487 HAS SOPS 14820 HAS SOUS 7142 HAS SOUPS 6998 WITH SCORE 7016.487
AT ITER 167 NEW BEST:: SOT 28098 SOS 18540 HAS SOPS 14372 HAS SOUS 7000 HAS SOUPS 6856 WITH SCORE 6874.54
AT ITER 170 NEW BEST:: SOT 28102 SOS 18531 HAS SOPS 14370 HAS SOUS 6991 HAS SOUPS 6847 WITH SCORE 6865.531
AT ITER 171 NEW BEST:: SOT 28090 SOS 18507 HAS SOPS 14342 HAS SOUS 6967 HAS SOUPS 6823 WITH SCORE 6841.507
AT ITER 176 NEW BEST:: SOT 28082 SOS 18507 HAS SOPS 14326 HAS SOUS 6947 HAS SOUPS 6803 WITH SCORE 6821.507
AT ITER 180 NEW BEST:: SOT 28072 SOS 18485 HAS SOPS 14285 HAS SOUS 6906 HAS SOUPS 6762 WITH SCORE 6780.485
AT ITER 187 NEW BEST:: SOT 28088 SOS 18471 HAS SOPS 14265 HAS SOUS 6865 HAS SOUPS 6721 WITH SCORE 6739.471
AT ITER 188 NEW BEST:: SOT 28090 SOS 18451 HAS SOPS 14248 HAS SOUS 6849 HAS SOUPS 6705 WITH SCORE 6723.451
AT ITER 196 NEW BEST:: SOT 28061 SOS 18400 HAS SOPS 14190 HAS SOUS 6791 HAS SOUPS 6647 WITH SCORE 6665.4
AT ITER 197 NEW BEST:: SOT 28058 SOS 18394 HAS SOPS 14184 HAS SOUS 6788 HAS SOUPS 6644 WITH SCORE 6662.394
AT ITER 199 NEW BEST:: SOT 27503 SOS 17808 HAS SOPS 13572 HAS SOUS 6383 HAS SOUPS 6239 WITH SCORE 6256.808
AT ITER 202 NEW BEST:: SOT 27471 SOS 17680 HAS SOPS 13476 HAS SOUS 6351 HAS SOUPS 6207 WITH SCORE 6224.68
AT ITER 207 NEW BEST:: SOT 27469 SOS 17730 HAS SOPS 13472 HAS SOUS 6364 HAS SOUPS 6203 WITH SCORE 6220.73
AT ITER 212 NEW BEST:: SOT 27468 SOS 17729 HAS SOPS 13470 HAS SOUS 6362 HAS SOUPS 6201 WITH SCORE 6218.729
AT ITER 214 NEW BEST:: SOT 27457 SOS 17707 HAS SOPS 13448 HAS SOUS 6351 HAS SOUPS 6190 WITH SCORE 6207.707
AT ITER 216 NEW BEST:: SOT 27490 SOS 17721 HAS SOPS 13463 HAS SOUS 6333 HAS SOUPS 6172 WITH SCORE 6189.721
AT ITER 218 NEW BEST:: SOT 27458 SOS 17665 HAS SOPS 13411 HAS SOUS 6298 HAS SOUPS 6137 WITH SCORE 6154.665
AT ITER 222 NEW BEST:: SOT 27450 SOS 17649 HAS SOPS 13395 HAS SOUS 6288 HAS SOUPS 6127 WITH SCORE 6144.649
AT ITER 235 NEW BEST:: SOT 27447 SOS 17646 HAS SOPS 13389 HAS SOUS 6282 HAS SOUPS 6121 WITH SCORE 6138.646
AT ITER 237 NEW BEST:: SOT 27408 SOS 17674 HAS SOPS 13363 HAS SOUS 6235 HAS SOUPS 6073 WITH SCORE 6090.674
AT ITER 242 NEW BEST:: SOT 27399 SOS 17665 HAS SOPS 13354 HAS SOUS 6235 HAS SOUPS 6073 WITH SCORE 6090.665
AT ITER 247 NEW BEST:: SOT 27477 SOS 17690 HAS SOPS 13337 HAS SOUS 6218 HAS SOUPS 6056 WITH SCORE 6073.69
AT ITER 256 NEW BEST:: SOT 27463 SOS 17662 HAS SOPS 13309 HAS SOUS 6213 HAS SOUPS 6051 WITH SCORE 6068.662
AT ITER 259 NEW BEST:: SOT 27443 SOS 17758 HAS SOPS 13285 HAS SOUS 6197 HAS SOUPS 6031 WITH SCORE 6048.758
AT ITER 274 NEW BEST:: SOT 27443 SOS 17735 HAS SOPS 13262 HAS SOUS 6185 HAS SOUPS 6019 WITH SCORE 6036.735
AT ITER 283 NEW BEST:: SOT 27421 SOS 17645 HAS SOPS 13172 HAS SOUS 6108 HAS SOUPS 5942 WITH SCORE 5959.645
AT ITER 287 NEW BEST:: SOT 27379 SOS 17582 HAS SOPS 13070 HAS SOUS 6055 HAS SOUPS 5889 WITH SCORE 5906.582
AT ITER 292 NEW BEST:: SOT 27398 SOS 17514 HAS SOPS 13002 HAS SOUS 6054 HAS SOUPS 5888 WITH SCORE 5905.514
AT ITER 300 NEW BEST:: SOT 27409 SOS 17474 HAS SOPS 12962 HAS SOUS 6012 HAS SOUPS 5846 WITH SCORE 5863.474
AT ITER 301 NEW BEST:: SOT 27422 SOS 17301 HAS SOPS 12789 HAS SOUS 6005 HAS SOUPS 5839 WITH SCORE 5856.301
AT ITER 303 NEW BEST:: SOT 27409 SOS 17308 HAS SOPS 12763 HAS SOUS 5974 HAS SOUPS 5808 WITH SCORE 5825.308
AT ITER 305 NEW BEST:: SOT 27399 SOS 17298 HAS SOPS 12753 HAS SOUS 5972 HAS SOUPS 5806 WITH SCORE 5823.298
AT ITER 317 NEW BEST:: SOT 27388 SOS 17284 HAS SOPS 12731 HAS SOUS 5958 HAS SOUPS 5792 WITH SCORE 5809.284
AT ITER 323 NEW BEST:: SOT 27388 SOS 16572 HAS SOPS 12019 HAS SOUS 5957 HAS SOUPS 5791 WITH SCORE 5807.572
AT ITER 332 NEW BEST:: SOT 27305 SOS 16461 HAS SOPS 11853 HAS SOUS 5864 HAS SOUPS 5698 WITH SCORE 5714.461
AT ITER 335 NEW BEST:: SOT 27310 SOS 16460 HAS SOPS 11852 HAS SOUS 5858 HAS SOUPS 5692 WITH SCORE 5708.46
AT ITER 340 NEW BEST:: SOT 27308 SOS 16456 HAS SOPS 11846 HAS SOUS 5854 HAS SOUPS 5688 WITH SCORE 5704.456
AT ITER 347 NEW BEST:: SOT 27291 SOS 16424 HAS SOPS 11814 HAS SOUS 5831 HAS SOUPS 5665 WITH SCORE 5681.424
AT ITER 353 NEW BEST:: SOT 27287 SOS 16412 HAS SOPS 11802 HAS SOUS 5823 HAS SOUPS 5657 WITH SCORE 5673.412
AT ITER 360 NEW BEST:: SOT 27287 SOS 16412 HAS SOPS 11781 HAS SOUS 5802 HAS SOUPS 5636 WITH SCORE 5652.412
AT ITER 362 NEW BEST:: SOT 27290 SOS 16387 HAS SOPS 11751 HAS SOUS 5789 HAS SOUPS 5623 WITH SCORE 5639.387
AT ITER 369 NEW BEST:: SOT 27290 SOS 16390 HAS SOPS 11682 HAS SOUS 5771 HAS SOUPS 5605 WITH SCORE 5621.39
AT ITER 372 NEW BEST:: SOT 27105 SOS 16205 HAS SOPS 11492 HAS SOUS 5670 HAS SOUPS 5500 WITH SCORE 5516.205
AT ITER 373 NEW BEST:: SOT 27104 SOS 16204 HAS SOPS 11490 HAS SOUS 5668 HAS SOUPS 5498 WITH SCORE 5514.204
AT ITER 374 NEW BEST:: SOT 27103 SOS 16201 HAS SOPS 11476 HAS SOUS 5653 HAS SOUPS 5483 WITH SCORE 5499.201
AT ITER 376 NEW BEST:: SOT 27068 SOS 16197 HAS SOPS 11472 HAS SOUS 5649 HAS SOUPS 5479 WITH SCORE 5495.197
AT ITER 378 NEW BEST:: SOT 27073 SOS 16196 HAS SOPS 11471 HAS SOUS 5649 HAS SOUPS 5479 WITH SCORE 5495.196
AT ITER 380 NEW BEST:: SOT 27068 SOS 16526 HAS SOPS 11801 HAS SOUS 5644 HAS SOUPS 5474 WITH SCORE 5490.526
AT ITER 386 NEW BEST:: SOT 26813 SOS 16294 HAS SOPS 11729 HAS SOUS 5606 HAS SOUPS 5436 WITH SCORE 5452.294
AT ITER 392 NEW BEST:: SOT 26813 SOS 16282 HAS SOPS 11717 HAS SOUS 5606 HAS SOUPS 5436 WITH SCORE 5452.282
AT ITER 405 NEW BEST:: SOT 26774 SOS 16243 HAS SOPS 11703 HAS SOUS 5592 HAS SOUPS 5422 WITH SCORE 5438.243
AT ITER 409 NEW BEST:: SOT 26602 SOS 16061 HAS SOPS 11515 HAS SOUS 5490 HAS SOUPS 5320 WITH SCORE 5336.061
AT ITER 415 NEW BEST:: SOT 26596 SOS 16004 HAS SOPS 11503 HAS SOUS 5477 HAS SOUPS 5315 WITH SCORE 5331.004
AT ITER 417 NEW BEST:: SOT 26594 SOS 15984 HAS SOPS 11484 HAS SOUS 5461 HAS SOUPS 5299 WITH SCORE 5314.984
AT ITER 418 NEW BEST:: SOT 26589 SOS 15974 HAS SOPS 11474 HAS SOUS 5456 HAS SOUPS 5294 WITH SCORE 5309.974
AT ITER 420 NEW BEST:: SOT 26551 SOS 15842 HAS SOPS 11348 HAS SOUS 5376 HAS SOUPS 5214 WITH SCORE 5229.842
AT ITER 421 NEW BEST:: SOT 26265 SOS 15558 HAS SOPS 11076 HAS SOUS 5257 HAS SOUPS 5095 WITH SCORE 5110.558
AT ITER 422 NEW BEST:: SOT 26223 SOS 15536 HAS SOPS 11029 HAS SOUS 5218 HAS SOUPS 5056 WITH SCORE 5071.536
AT ITER 424 NEW BEST:: SOT 26221 SOS 15532 HAS SOPS 11025 HAS SOUS 5215 HAS SOUPS 5053 WITH SCORE 5068.532
AT ITER 425 NEW BEST:: SOT 26203 SOS 15474 HAS SOPS 10989 HAS SOUS 5215 HAS SOUPS 5053 WITH SCORE 5068.474
AT ITER 428 NEW BEST:: SOT 26220 SOS 15370 HAS SOPS 10915 HAS SOUS 5187 HAS SOUPS 5025 WITH SCORE 5040.37
AT ITER 436 NEW BEST:: SOT 26195 SOS 15345 HAS SOPS 10865 HAS SOUS 5137 HAS SOUPS 4975 WITH SCORE 4990.345
AT ITER 439 NEW BEST:: SOT 26195 SOS 15345 HAS SOPS 10865 HAS SOUS 5131 HAS SOUPS 4969 WITH SCORE 4984.345
AT ITER 443 NEW BEST:: SOT 26137 SOS 15266 HAS SOPS 10775 HAS SOUS 5041 HAS SOUPS 4879 WITH SCORE 4894.266
AT ITER 447 NEW BEST:: SOT 26095 SOS 15231 HAS SOPS 10709 HAS SOUS 4973 HAS SOUPS 4811 WITH SCORE 4826.231
AT ITER 449 NEW BEST:: SOT 26074 SOS 15182 HAS SOPS 10667 HAS SOUS 4954 HAS SOUPS 4792 WITH SCORE 4807.182
AT ITER 455 NEW BEST:: SOT 26085 SOS 15161 HAS SOPS 10633 HAS SOUS 4920 HAS SOUPS 4758 WITH SCORE 4773.161
AT ITER 459 NEW BEST:: SOT 26084 SOS 15160 HAS SOPS 10633 HAS SOUS 4920 HAS SOUPS 4758 WITH SCORE 4773.16
AT ITER 460 NEW BEST:: SOT 26069 SOS 15154 HAS SOPS 10627 HAS SOUS 4915 HAS SOUPS 4753 WITH SCORE 4768.154
AT ITER 461 NEW BEST:: SOT 26076 SOS 15145 HAS SOPS 10614 HAS SOUS 4891 HAS SOUPS 4729 WITH SCORE 4744.145
AT ITER 462 NEW BEST:: SOT 26049 SOS 15147 HAS SOPS 10616 HAS SOUS 4888 HAS SOUPS 4726 WITH SCORE 4741.147
AT ITER 463 NEW BEST:: SOT 26049 SOS 15147 HAS SOPS 10592 HAS SOUS 4881 HAS SOUPS 4719 WITH SCORE 4734.147
AT ITER 466 NEW BEST:: SOT 26032 SOS 15130 HAS SOPS 10558 HAS SOUS 4847 HAS SOUPS 4685 WITH SCORE 4700.13
AT ITER 471 NEW BEST:: SOT 26030 SOS 15128 HAS SOPS 10556 HAS SOUS 4847 HAS SOUPS 4685 WITH SCORE 4700.128
AT ITER 472 NEW BEST:: SOT 25645 SOS 14743 HAS SOPS 10171 HAS SOUS 4657 HAS SOUPS 4495 WITH SCORE 4509.743
AT ITER 473 NEW BEST:: SOT 25635 SOS 14712 HAS SOPS 9975 HAS SOUS 4520 HAS SOUPS 4358 WITH SCORE 4372.712
AT ITER 482 NEW BEST:: SOT 25631 SOS 14708 HAS SOPS 9971 HAS SOUS 4516 HAS SOUPS 4354 WITH SCORE 4368.708
AT ITER 492 NEW BEST:: SOT 25610 SOS 14680 HAS SOPS 9929 HAS SOUS 4468 HAS SOUPS 4306 WITH SCORE 4320.68
AT ITER 506 NEW BEST:: SOT 25620 SOS 14343 HAS SOPS 9592 HAS SOUS 4468 HAS SOUPS 4306 WITH SCORE 4320.343
AT ITER 527 NEW BEST:: SOT 25617 SOS 14334 HAS SOPS 9586 HAS SOUS 4462 HAS SOUPS 4300 WITH SCORE 4314.334
AT ITER 531 NEW BEST:: SOT 25633 SOS 14317 HAS SOPS 9580 HAS SOUS 4456 HAS SOUPS 4294 WITH SCORE 4308.317
AT ITER 533 NEW BEST:: SOT 25613 SOS 14295 HAS SOPS 9558 HAS SOUS 4443 HAS SOUPS 4281 WITH SCORE 4295.295
AT ITER 543 NEW BEST:: SOT 25572 SOS 14261 HAS SOPS 9510 HAS SOUS 4392 HAS SOUPS 4230 WITH SCORE 4244.261
AT ITER 545 NEW BEST:: SOT 25541 SOS 14230 HAS SOPS 9448 HAS SOUS 4330 HAS SOUPS 4168 WITH SCORE 4182.23
AT ITER 558 NEW BEST:: SOT 25555 SOS 14217 HAS SOPS 9442 HAS SOUS 4317 HAS SOUPS 4155 WITH SCORE 4169.217
AT ITER 567 NEW BEST:: SOT 25575 SOS 14175 HAS SOPS 9409 HAS SOUS 4283 HAS SOUPS 4121 WITH SCORE 4135.175
AT ITER 576 NEW BEST:: SOT 25567 SOS 14167 HAS SOPS 9398 HAS SOUS 4274 HAS SOUPS 4110 WITH SCORE 4124.167
AT ITER 577 NEW BEST:: SOT 25567 SOS 14162 HAS SOPS 9394 HAS SOUS 4270 HAS SOUPS 4107 WITH SCORE 4121.162
AT ITER 578 NEW BEST:: SOT 25566 SOS 14158 HAS SOPS 9390 HAS SOUS 4259 HAS SOUPS 4096 WITH SCORE 4110.158
AT ITER 590 NEW BEST:: SOT 25540 SOS 14930 HAS SOPS 9358 HAS SOUS 4264 HAS SOUPS 4094 WITH SCORE 4108.93
AT ITER 606 NEW BEST:: SOT 25496 SOS 14935 HAS SOPS 9363 HAS SOUS 4261 HAS SOUPS 4091 WITH SCORE 4105.935
AT ITER 607 NEW BEST:: SOT 25494 SOS 14946 HAS SOPS 9359 HAS SOUS 4258 HAS SOUPS 4087 WITH SCORE 4101.946
AT ITER 633 NEW BEST:: SOT 25533 SOS 14948 HAS SOPS 9388 HAS SOUS 4238 HAS SOUPS 4067 WITH SCORE 4081.948
AT ITER 637 NEW BEST:: SOT 25534 SOS 14949 HAS SOPS 9370 HAS SOUS 4231 HAS SOUPS 4060 WITH SCORE 4074.949
AT ITER 638 NEW BEST:: SOT 25530 SOS 14936 HAS SOPS 9362 HAS SOUS 4223 HAS SOUPS 4052 WITH SCORE 4066.936
AT ITER 639 NEW BEST:: SOT 25528 SOS 14929 HAS SOPS 9358 HAS SOUS 4219 HAS SOUPS 4048 WITH SCORE 4062.929
AT ITER 660 NEW BEST:: SOT 25486 SOS 14887 HAS SOPS 9288 HAS SOUS 4163 HAS SOUPS 3992 WITH SCORE 4006.887
AT ITER 688 NEW BEST:: SOT 25482 SOS 14883 HAS SOPS 9280 HAS SOUS 4154 HAS SOUPS 3984 WITH SCORE 3998.883
AT ITER 706 NEW BEST:: SOT 25467 SOS 14868 HAS SOPS 9264 HAS SOUS 4138 HAS SOUPS 3968 WITH SCORE 3982.868
AT ITER 713 NEW BEST:: SOT 25448 SOS 14873 HAS SOPS 9258 HAS SOUS 4135 HAS SOUPS 3965 WITH SCORE 3979.873
AT ITER 717 NEW BEST:: SOT 25446 SOS 14871 HAS SOPS 9256 HAS SOUS 4133 HAS SOUPS 3963 WITH SCORE 3977.871
AT ITER 724 NEW BEST:: SOT 25430 SOS 14839 HAS SOPS 9224 HAS SOUS 4109 HAS SOUPS 3939 WITH SCORE 3953.839
AT ITER 730 NEW BEST:: SOT 25448 SOS 14849 HAS SOPS 9221 HAS SOUS 4106 HAS SOUPS 3936 WITH SCORE 3950.849
AT ITER 735 NEW BEST:: SOT 25418 SOS 14802 HAS SOPS 9161 HAS SOUS 4046 HAS SOUPS 3876 WITH SCORE 3890.802
AT ITER 739 NEW BEST:: SOT 25421 SOS 14793 HAS SOPS 9155 HAS SOUS 4040 HAS SOUPS 3870 WITH SCORE 3884.793
AT ITER 758 NEW BEST:: SOT 25426 SOS 14759 HAS SOPS 9126 HAS SOUS 4011 HAS SOUPS 3841 WITH SCORE 3855.759
AT ITER 765 NEW BEST:: SOT 25426 SOS 14772 HAS SOPS 9139 HAS SOUS 4005 HAS SOUPS 3835 WITH SCORE 3849.772
AT ITER 766 NEW BEST:: SOT 25418 SOS 14767 HAS SOPS 9133 HAS SOUS 3999 HAS SOUPS 3829 WITH SCORE 3843.767
AT ITER 770 NEW BEST:: SOT 25412 SOS 14746 HAS SOPS 9106 HAS SOUS 3972 HAS SOUPS 3802 WITH SCORE 3816.746
AT ITER 772 NEW BEST:: SOT 25390 SOS 14713 HAS SOPS 9062 HAS SOUS 3929 HAS SOUPS 3759 WITH SCORE 3773.713
AT ITER 783 NEW BEST:: SOT 25372 SOS 14691 HAS SOPS 9022 HAS SOUS 3889 HAS SOUPS 3719 WITH SCORE 3733.691
AT ITER 784 NEW BEST:: SOT 25515 SOS 14828 HAS SOPS 9112 HAS SOUS 3871 HAS SOUPS 3701 WITH SCORE 3715.828
AT ITER 802 NEW BEST:: SOT 25516 SOS 14821 HAS SOPS 9103 HAS SOUS 3867 HAS SOUPS 3697 WITH SCORE 3711.821
AT ITER 810 NEW BEST:: SOT 25512 SOS 14817 HAS SOPS 9097 HAS SOUS 3861 HAS SOUPS 3691 WITH SCORE 3705.817
AT ITER 811 NEW BEST:: SOT 25512 SOS 14813 HAS SOPS 9097 HAS SOUS 3861 HAS SOUPS 3691 WITH SCORE 3705.813
AT ITER 856 NEW BEST:: SOT 25503 SOS 14813 HAS SOPS 9088 HAS SOUS 3852 HAS SOUPS 3682 WITH SCORE 3696.813
AT ITER 857 NEW BEST:: SOT 25410 SOS 14713 HAS SOPS 8984 HAS SOUS 3790 HAS SOUPS 3620 WITH SCORE 3634.713
AT ITER 868 NEW BEST:: SOT 25393 SOS 14083 HAS SOPS 8967 HAS SOUS 3770 HAS SOUPS 3600 WITH SCORE 3614.083
AT ITER 873 NEW BEST:: SOT 25344 SOS 14035 HAS SOPS 8928 HAS SOUS 3753 HAS SOUPS 3583 WITH SCORE 3597.035
AT ITER 875 NEW BEST:: SOT 25296 SOS 14673 HAS SOPS 9556 HAS SOUS 3745 HAS SOUPS 3575 WITH SCORE 3589.673
AT ITER 889 NEW BEST:: SOT 25296 SOS 14663 HAS SOPS 9546 HAS SOUS 3735 HAS SOUPS 3565 WITH SCORE 3579.663
AT ITER 923 NEW BEST:: SOT 25296 SOS 14660 HAS SOPS 9543 HAS SOUS 3731 HAS SOUPS 3561 WITH SCORE 3575.66
AT ITER 950 NEW BEST:: SOT 25300 SOS 14617 HAS SOPS 9516 HAS SOUS 3715 HAS SOUPS 3545 WITH SCORE 3559.617
AT ITER 959 NEW BEST:: SOT 25299 SOS 14612 HAS SOPS 9514 HAS SOUS 3713 HAS SOUPS 3543 WITH SCORE 3557.612
AT ITER 970 NEW BEST:: SOT 25297 SOS 14608 HAS SOPS 9510 HAS SOUS 3711 HAS SOUPS 3541 WITH SCORE 3555.608
AT ITER 977 NEW BEST:: SOT 25291 SOS 14590 HAS SOPS 9485 HAS SOUS 3702 HAS SOUPS 3532 WITH SCORE 3546.59
AT ITER 982 NEW BEST:: SOT 25290 SOS 14589 HAS SOPS 9483 HAS SOUS 3700 HAS SOUPS 3530 WITH SCORE 3544.589
AT ITER 989 NEW BEST:: SOT 25289 SOS 14596 HAS SOPS 9490 HAS SOUS 3698 HAS SOUPS 3528 WITH SCORE 3542.596
AT ITER 992 NEW BEST:: SOT 25287 SOS 14590 HAS SOPS 9484 HAS SOUS 3694 HAS SOUPS 3524 WITH SCORE 3538.59
AT ITER 1014 NEW BEST:: SOT 25280 SOS 14576 HAS SOPS 9463 HAS SOUS 3673 HAS SOUPS 3503 WITH SCORE 3517.576
AT ITER 1022 NEW BEST:: SOT 25282 SOS 14578 HAS SOPS 9467 HAS SOUS 3671 HAS SOUPS 3501 WITH SCORE 3515.578
AT ITER 1027 NEW BEST:: SOT 25278 SOS 14570 HAS SOPS 9457 HAS SOUS 3663 HAS SOUPS 3493 WITH SCORE 3507.57
AT ITER 1030 NEW BEST:: SOT 25279 SOS 14572 HAS SOPS 9459 HAS SOUS 3660 HAS SOUPS 3490 WITH SCORE 3504.572
AT ITER 1043 NEW BEST:: SOT 25276 SOS 14566 HAS SOPS 9453 HAS SOUS 3657 HAS SOUPS 3487 WITH SCORE 3501.566
AT ITER 1047 NEW BEST:: SOT 25228 SOS 14518 HAS SOPS 9375 HAS SOUS 3590 HAS SOUPS 3409 WITH SCORE 3423.518
AT ITER 1048 NEW BEST:: SOT 25228 SOS 14516 HAS SOPS 9373 HAS SOUS 3588 HAS SOUPS 3407 WITH SCORE 3421.516
AT ITER 1049 NEW BEST:: SOT 25219 SOS 14512 HAS SOPS 9371 HAS SOUS 3588 HAS SOUPS 3407 WITH SCORE 3421.512
AT ITER 1058 NEW BEST:: SOT 25218 SOS 14512 HAS SOPS 9370 HAS SOUS 3587 HAS SOUPS 3406 WITH SCORE 3420.512
AT ITER 1062 NEW BEST:: SOT 25215 SOS 14508 HAS SOPS 9364 HAS SOUS 3581 HAS SOUPS 3400 WITH SCORE 3414.508
AT ITER 1070 NEW BEST:: SOT 25215 SOS 14508 HAS SOPS 9364 HAS SOUS 3580 HAS SOUPS 3399 WITH SCORE 3413.508
AT ITER 1099 NEW BEST:: SOT 25204 SOS 14492 HAS SOPS 9348 HAS SOUS 3570 HAS SOUPS 3389 WITH SCORE 3403.492
AT ITER 1100 NEW BEST:: SOT 25212 SOS 14076 HAS SOPS 8932 HAS SOUS 3570 HAS SOUPS 3389 WITH SCORE 3403.076
AT ITER 1109 NEW BEST:: SOT 25212 SOS 14078 HAS SOPS 8932 HAS SOUS 3568 HAS SOUPS 3387 WITH SCORE 3401.078
AT ITER 1112 NEW BEST:: SOT 25208 SOS 14074 HAS SOPS 8924 HAS SOUS 3560 HAS SOUPS 3379 WITH SCORE 3393.074
AT ITER 1176 NEW BEST:: SOT 25206 SOS 14076 HAS SOPS 8920 HAS SOUS 3556 HAS SOUPS 3375 WITH SCORE 3389.076
AT ITER 1180 NEW BEST:: SOT 25192 SOS 14137 HAS SOPS 8980 HAS SOUS 3555 HAS SOUPS 3374 WITH SCORE 3388.137
AT ITER 1186 NEW BEST:: SOT 25187 SOS 14127 HAS SOPS 8970 HAS SOUS 3555 HAS SOUPS 3374 WITH SCORE 3388.127
AT ITER 1209 NEW BEST:: SOT 25187 SOS 14121 HAS SOPS 8964 HAS SOUS 3555 HAS SOUPS 3374 WITH SCORE 3388.121
AT ITER 1284 NEW BEST:: SOT 25112 SOS 18248 HAS SOPS 8843 HAS SOUS 3542 HAS SOUPS 3332 WITH SCORE 3350.248
AT ITER 1290 NEW BEST:: SOT 25111 SOS 18248 HAS SOPS 8842 HAS SOUS 3541 HAS SOUPS 3331 WITH SCORE 3349.248
AT ITER 1318 NEW BEST:: SOT 25110 SOS 18232 HAS SOPS 8840 HAS SOUS 3537 HAS SOUPS 3327 WITH SCORE 3345.232
AT ITER 1332 NEW BEST:: SOT 25107 SOS 18220 HAS SOPS 8829 HAS SOUS 3529 HAS SOUPS 3320 WITH SCORE 3338.22
AT ITER 1338 NEW BEST:: SOT 25105 SOS 18216 HAS SOPS 8825 HAS SOUS 3527 HAS SOUPS 3318 WITH SCORE 3336.216
AT ITER 1378 NEW BEST:: SOT 25073 SOS 18414 HAS SOPS 8781 HAS SOUS 3495 HAS SOUPS 3280 WITH SCORE 3298.414
AT ITER 1410 NEW BEST:: SOT 25060 SOS 19132 HAS SOPS 8720 HAS SOUS 3455 HAS SOUPS 3223 WITH SCORE 3242.132
AT ITER 1411 NEW BEST:: SOT 25060 SOS 19132 HAS SOPS 8708 HAS SOUS 3443 HAS SOUPS 3211 WITH SCORE 3230.132
AT ITER 1428 NEW BEST:: SOT 25056 SOS 19107 HAS SOPS 8676 HAS SOUS 3421 HAS SOUPS 3189 WITH SCORE 3208.107
AT ITER 1429 NEW BEST:: SOT 25062 SOS 19099 HAS SOPS 8668 HAS SOUS 3413 HAS SOUPS 3181 WITH SCORE 3200.099
AT ITER 1445 NEW BEST:: SOT 25044 SOS 19081 HAS SOPS 8641 HAS SOUS 3386 HAS SOUPS 3154 WITH SCORE 3173.081
AT ITER 1446 NEW BEST:: SOT 25035 SOS 19069 HAS SOPS 8623 HAS SOUS 3371 HAS SOUPS 3139 WITH SCORE 3158.069
AT ITER 1463 NEW BEST:: SOT 25028 SOS 19069 HAS SOPS 8621 HAS SOUS 3368 HAS SOUPS 3136 WITH SCORE 3155.069
AT ITER 1487 NEW BEST:: SOT 25023 SOS 19064 HAS SOPS 8616 HAS SOUS 3368 HAS SOUPS 3136 WITH SCORE 3155.064
AT ITER 1513 NEW BEST:: SOT 25010 SOS 19069 HAS SOPS 8609 HAS SOUS 3362 HAS SOUPS 3130 WITH SCORE 3149.069
AT ITER 1515 NEW BEST:: SOT 25001 SOS 19060 HAS SOPS 8591 HAS SOUS 3344 HAS SOUPS 3112 WITH SCORE 3131.06
AT ITER 1522 NEW BEST:: SOT 24999 SOS 19058 HAS SOPS 8588 HAS SOUS 3341 HAS SOUPS 3109 WITH SCORE 3128.058
AT ITER 1523 NEW BEST:: SOT 24959 SOS 19018 HAS SOPS 8508 HAS SOUS 3261 HAS SOUPS 3029 WITH SCORE 3048.018
AT ITER 1540 NEW BEST:: SOT 24954 SOS 19008 HAS SOPS 8498 HAS SOUS 3251 HAS SOUPS 3019 WITH SCORE 3038.008
AT ITER 1574 NEW BEST:: SOT 24950 SOS 19004 HAS SOPS 8490 HAS SOUS 3243 HAS SOUPS 3011 WITH SCORE 3030.004
AT ITER 1590 NEW BEST:: SOT 24946 SOS 19003 HAS SOPS 8482 HAS SOUS 3232 HAS SOUPS 3000 WITH SCORE 3019.003
AT ITER 1602 NEW BEST:: SOT 24940 SOS 19003 HAS SOPS 8476 HAS SOUS 3226 HAS SOUPS 2994 WITH SCORE 3013.003
AT ITER 1665 NEW BEST:: SOT 24938 SOS 18999 HAS SOPS 8471 HAS SOUS 3222 HAS SOUPS 2990 WITH SCORE 3008.999
AT ITER 1679 NEW BEST:: SOT 24935 SOS 18996 HAS SOPS 8466 HAS SOUS 3217 HAS SOUPS 2985 WITH SCORE 3003.996
AT ITER 1724 NEW BEST:: SOT 24904 SOS 18965 HAS SOPS 8428 HAS SOUS 3203 HAS SOUPS 2971 WITH SCORE 2989.965
AT ITER 1769 NEW BEST:: SOT 24904 SOS 18931 HAS SOPS 8411 HAS SOUS 3186 HAS SOUPS 2954 WITH SCORE 2972.931
AT ITER 1780 NEW BEST:: SOT 24897 SOS 18924 HAS SOPS 8212 HAS SOUS 3156 HAS SOUPS 2924 WITH SCORE 2942.924
AT ITER 1810 NEW BEST:: SOT 24896 SOS 18923 HAS SOPS 8210 HAS SOUS 3152 HAS SOUPS 2922 WITH SCORE 2940.923
AT ITER 1814 NEW BEST:: SOT 24884 SOS 18911 HAS SOPS 8192 HAS SOUS 3134 HAS SOUPS 2904 WITH SCORE 2922.911
AT ITER 1823 NEW BEST:: SOT 24878 SOS 18896 HAS SOPS 8173 HAS SOUS 3120 HAS SOUPS 2890 WITH SCORE 2908.896
AT ITER 1915 NEW BEST:: SOT 24849 SOS 18883 HAS SOPS 8149 HAS SOUS 3089 HAS SOUPS 2859 WITH SCORE 2877.883
AT ITER 1926 NEW BEST:: SOT 24690 SOS 18727 HAS SOPS 8010 HAS SOUS 3055 HAS SOUPS 2825 WITH SCORE 2843.727
AT ITER 1963 NEW BEST:: SOT 24688 SOS 18726 HAS SOPS 8006 HAS SOUS 3050 HAS SOUPS 2820 WITH SCORE 2838.726
AT ITER 1969 NEW BEST:: SOT 24684 SOS 18722 HAS SOPS 8000 HAS SOUS 3044 HAS SOUPS 2814 WITH SCORE 2832.722
AT ITER 1970 NEW BEST:: SOT 24684 SOS 18717 HAS SOPS 7995 HAS SOUS 3039 HAS SOUPS 2809 WITH SCORE 2827.717
AT ITER 1990 NEW BEST:: SOT 24664 SOS 18688 HAS SOPS 7955 HAS SOUS 3006 HAS SOUPS 2776 WITH SCORE 2794.688
AT ITER 2011 NEW BEST:: SOT 24661 SOS 18664 HAS SOPS 7949 HAS SOUS 3000 HAS SOUPS 2770 WITH SCORE 2788.664
AT ITER 2024 NEW BEST:: SOT 24660 SOS 18659 HAS SOPS 7947 HAS SOUS 2996 HAS SOUPS 2766 WITH SCORE 2784.659
AT ITER 2046 NEW BEST:: SOT 24657 SOS 18656 HAS SOPS 7941 HAS SOUS 2990 HAS SOUPS 2760 WITH SCORE 2778.656
AT ITER 2056 NEW BEST:: SOT 24667 SOS 18661 HAS SOPS 7940 HAS SOUS 2981 HAS SOUPS 2751 WITH SCORE 2769.661
AT ITER 2123 NEW BEST:: SOT 24662 SOS 18661 HAS SOPS 7935 HAS SOUS 2976 HAS SOUPS 2746 WITH SCORE 2764.661
AT ITER 2181 NEW BEST:: SOT 24674 SOS 18654 HAS SOPS 7903 HAS SOUS 2968 HAS SOUPS 2738 WITH SCORE 2756.654
AT ITER 2183 NEW BEST:: SOT 24673 SOS 18655 HAS SOPS 7901 HAS SOUS 2962 HAS SOUPS 2732 WITH SCORE 2750.655
AT ITER 2197 NEW BEST:: SOT 24672 SOS 18654 HAS SOPS 7899 HAS SOUS 2960 HAS SOUPS 2730 WITH SCORE 2748.654
AT ITER 2206 NEW BEST:: SOT 24669 SOS 18649 HAS SOPS 7893 HAS SOUS 2952 HAS SOUPS 2722 WITH SCORE 2740.649
AT ITER 2262 NEW BEST:: SOT 24656 SOS 18639 HAS SOPS 7879 HAS SOUS 2944 HAS SOUPS 2714 WITH SCORE 2732.639
AT ITER 2298 NEW BEST:: SOT 24660 SOS 18639 HAS SOPS 7875 HAS SOUS 2940 HAS SOUPS 2710 WITH SCORE 2728.639
AT ITER 2327 NEW BEST:: SOT 24658 SOS 18631 HAS SOPS 7866 HAS SOUS 2933 HAS SOUPS 2703 WITH SCORE 2721.631
AT ITER 2366 NEW BEST:: SOT 24654 SOS 18631 HAS SOPS 7858 HAS SOUS 2926 HAS SOUPS 2696 WITH SCORE 2714.631
AT ITER 2402 NEW BEST:: SOT 24703 SOS 18677 HAS SOPS 7880 HAS SOUS 2904 HAS SOUPS 2674 WITH SCORE 2692.677
AT ITER 2419 NEW BEST:: SOT 24700 SOS 18674 HAS SOPS 7874 HAS SOUS 2898 HAS SOUPS 2668 WITH SCORE 2686.674
AT ITER 2441 NEW BEST:: SOT 24698 SOS 18671 HAS SOPS 7871 HAS SOUS 2895 HAS SOUPS 2665 WITH SCORE 2683.671
AT ITER 2459 NEW BEST:: SOT 24695 SOS 18668 HAS SOPS 7865 HAS SOUS 2891 HAS SOUPS 2659 WITH SCORE 2677.668
AT ITER 2477 NEW BEST:: SOT 24685 SOS 18648 HAS SOPS 7835 HAS SOUS 2861 HAS SOUPS 2629 WITH SCORE 2647.648
AT ITER 2502 NEW BEST:: SOT 24684 SOS 18647 HAS SOPS 7833 HAS SOUS 2859 HAS SOUPS 2627 WITH SCORE 2645.647
AT ITER 2516 NEW BEST:: SOT 24684 SOS 18645 HAS SOPS 7831 HAS SOUS 2857 HAS SOUPS 2625 WITH SCORE 2643.645
AT ITER 2525 NEW BEST:: SOT 24684 SOS 18644 HAS SOPS 7831 HAS SOUS 2857 HAS SOUPS 2625 WITH SCORE 2643.644
AT ITER 2549 NEW BEST:: SOT 24682 SOS 18642 HAS SOPS 7827 HAS SOUS 2855 HAS SOUPS 2623 WITH SCORE 2641.642
AT ITER 2634 NEW BEST:: SOT 24661 SOS 18613 HAS SOPS 7785 HAS SOUS 2815 HAS SOUPS 2583 WITH SCORE 2601.613
AT ITER 2649 NEW BEST:: SOT 24660 SOS 18610 HAS SOPS 7774 HAS SOUS 2797 HAS SOUPS 2565 WITH SCORE 2583.61
AT ITER 2714 NEW BEST:: SOT 24657 SOS 18610 HAS SOPS 7773 HAS SOUS 2796 HAS SOUPS 2564 WITH SCORE 2582.61
AT ITER 2718 NEW BEST:: SOT 24649 SOS 18591 HAS SOPS 7751 HAS SOUS 2776 HAS SOUPS 2544 WITH SCORE 2562.591
AT ITER 2768 NEW BEST:: SOT 24641 SOS 18587 HAS SOPS 7745 HAS SOUS 2776 HAS SOUPS 2544 WITH SCORE 2562.587
AT ITER 2793 NEW BEST:: SOT 24640 SOS 18585 HAS SOPS 7725 HAS SOUS 2775 HAS SOUPS 2543 WITH SCORE 2561.585
AT ITER 2797 NEW BEST:: SOT 24640 SOS 18577 HAS SOPS 7717 HAS SOUS 2767 HAS SOUPS 2535 WITH SCORE 2553.577
AT ITER 2857 NEW BEST:: SOT 24643 SOS 18574 HAS SOPS 7714 HAS SOUS 2764 HAS SOUPS 2532 WITH SCORE 2550.574
AT ITER 2878 NEW BEST:: SOT 24627 SOS 18560 HAS SOPS 7682 HAS SOUS 2732 HAS SOUPS 2500 WITH SCORE 2518.56
AT ITER 2899 NEW BEST:: SOT 24646 SOS 18578 HAS SOPS 7684 HAS SOUS 2729 HAS SOUPS 2497 WITH SCORE 2515.578
AT ITER 2901 NEW BEST:: SOT 24655 SOS 18587 HAS SOPS 7689 HAS SOUS 2722 HAS SOUPS 2490 WITH SCORE 2508.587
AT ITER 2923 NEW BEST:: SOT 24657 SOS 18590 HAS SOPS 7686 HAS SOUS 2719 HAS SOUPS 2487 WITH SCORE 2505.59
AT ITER 2932 NEW BEST:: SOT 24656 SOS 18587 HAS SOPS 7683 HAS SOUS 2717 HAS SOUPS 2485 WITH SCORE 2503.587
AT ITER 3113 NEW BEST:: SOT 24651 SOS 18582 HAS SOPS 7673 HAS SOUS 2707 HAS SOUPS 2475 WITH SCORE 2493.582
AT ITER 3144 NEW BEST:: SOT 24650 SOS 18582 HAS SOPS 7672 HAS SOUS 2705 HAS SOUPS 2473 WITH SCORE 2491.582
AT ITER 3196 NEW BEST:: SOT 24644 SOS 18576 HAS SOPS 7660 HAS SOUS 2693 HAS SOUPS 2461 WITH SCORE 2479.576
AT ITER 3220 NEW BEST:: SOT 24632 SOS 18549 HAS SOPS 7636 HAS SOUS 2683 HAS SOUPS 2451 WITH SCORE 2469.549
AT ITER 3229 NEW BEST:: SOT 24620 SOS 18549 HAS SOPS 7624 HAS SOUS 2671 HAS SOUPS 2439 WITH SCORE 2457.549
AT ITER 3472 NEW BEST:: SOT 24619 SOS 18548 HAS SOPS 7622 HAS SOUS 2670 HAS SOUPS 2437 WITH SCORE 2455.548
AT ITER 3480 NEW BEST:: SOT 24619 SOS 18547 HAS SOPS 7622 HAS SOUS 2670 HAS SOUPS 2437 WITH SCORE 2455.547
AT ITER 3541 NEW BEST:: SOT 24617 SOS 18543 HAS SOPS 7618 HAS SOUS 2666 HAS SOUPS 2433 WITH SCORE 2451.543
AT ITER 3602 NEW BEST:: SOT 24616 SOS 18543 HAS SOPS 7617 HAS SOUS 2665 HAS SOUPS 2432 WITH SCORE 2450.543
AT ITER 3688 NEW BEST:: SOT 24617 SOS 18542 HAS SOPS 7617 HAS SOUS 2663 HAS SOUPS 2430 WITH SCORE 2448.542
AT ITER 3699 NEW BEST:: SOT 24612 SOS 18532 HAS SOPS 7607 HAS SOUS 2658 HAS SOUPS 2425 WITH SCORE 2443.532
AT ITER 3800 NEW BEST:: SOT 24612 SOS 18531 HAS SOPS 7607 HAS SOUS 2657 HAS SOUPS 2424 WITH SCORE 2442.531
AT ITER 3840 NEW BEST:: SOT 24611 SOS 18524 HAS SOPS 7602 HAS SOUS 2655 HAS SOUPS 2422 WITH SCORE 2440.524
AT ITER 3899 NEW BEST:: SOT 24603 SOS 18519 HAS SOPS 7594 HAS SOUS 2651 HAS SOUPS 2418 WITH SCORE 2436.519
AT ITER 3916 NEW BEST:: SOT 24598 SOS 18506 HAS SOPS 7584 HAS SOUS 2647 HAS SOUPS 2414 WITH SCORE 2432.506
AT ITER 3925 NEW BEST:: SOT 24597 SOS 18505 HAS SOPS 7582 HAS SOUS 2646 HAS SOUPS 2413 WITH SCORE 2431.505
AT ITER 3930 NEW BEST:: SOT 24598 SOS 18500 HAS SOPS 7584 HAS SOUS 2641 HAS SOUPS 2408 WITH SCORE 2426.5
AT ITER 3943 NEW BEST:: SOT 24597 SOS 18498 HAS SOPS 7581 HAS SOUS 2639 HAS SOUPS 2406 WITH SCORE 2424.498
AT ITER 3998 NEW BEST:: SOT 24597 SOS 18489 HAS SOPS 7576 HAS SOUS 2638 HAS SOUPS 2405 WITH SCORE 2423.489
AT ITER 4036 NEW BEST:: SOT 24595 SOS 18476 HAS SOPS 7564 HAS SOUS 2628 HAS SOUPS 2395 WITH SCORE 2413.476
AT ITER 4073 NEW BEST:: SOT 24592 SOS 18468 HAS SOPS 7551 HAS SOUS 2618 HAS SOUPS 2385 WITH SCORE 2403.468
AT ITER 4095 NEW BEST:: SOT 24584 SOS 18444 HAS SOPS 7527 HAS SOUS 2602 HAS SOUPS 2369 WITH SCORE 2387.444
AT ITER 4155 NEW BEST:: SOT 24587 SOS 18447 HAS SOPS 7521 HAS SOUS 2596 HAS SOUPS 2363 WITH SCORE 2381.447
AT ITER 4231 NEW BEST:: SOT 24587 SOS 18447 HAS SOPS 7521 HAS SOUS 2594 HAS SOUPS 2361 WITH SCORE 2379.447
AT ITER 4242 NEW BEST:: SOT 24586 SOS 18445 HAS SOPS 7519 HAS SOUS 2593 HAS SOUPS 2360 WITH SCORE 2378.445
AT ITER 4278 NEW BEST:: SOT 24584 SOS 18441 HAS SOPS 7517 HAS SOUS 2593 HAS SOUPS 2360 WITH SCORE 2378.441
AT ITER 4308 NEW BEST:: SOT 24583 SOS 18443 HAS SOPS 7517 HAS SOUS 2592 HAS SOUPS 2359 WITH SCORE 2377.443
AT ITER 4346 NEW BEST:: SOT 24583 SOS 18445 HAS SOPS 7517 HAS SOUS 2590 HAS SOUPS 2357 WITH SCORE 2375.445
AT ITER 4347 NEW BEST:: SOT 24583 SOS 18445 HAS SOPS 7516 HAS SOUS 2588 HAS SOUPS 2355 WITH SCORE 2373.445
AT ITER 4477 NEW BEST:: SOT 24581 SOS 18439 HAS SOPS 7510 HAS SOUS 2584 HAS SOUPS 2351 WITH SCORE 2369.439
AT ITER 4502 NEW BEST:: SOT 24568 SOS 18427 HAS SOPS 7520 HAS SOUS 2582 HAS SOUPS 2349 WITH SCORE 2367.427
AT ITER 4506 NEW BEST:: SOT 24568 SOS 18424 HAS SOPS 7520 HAS SOUS 2582 HAS SOUPS 2349 WITH SCORE 2367.424
AT ITER 4512 NEW BEST:: SOT 24574 SOS 18428 HAS SOPS 7525 HAS SOUS 2580 HAS SOUPS 2347 WITH SCORE 2365.428
AT ITER 4554 NEW BEST:: SOT 24582 SOS 18430 HAS SOPS 7473 HAS SOUS 2578 HAS SOUPS 2345 WITH SCORE 2363.43
AT ITER 4581 NEW BEST:: SOT 24584 SOS 18421 HAS SOPS 7469 HAS SOUS 2572 HAS SOUPS 2339 WITH SCORE 2357.421
AT ITER 4589 NEW BEST:: SOT 24584 SOS 18423 HAS SOPS 7469 HAS SOUS 2573 HAS SOUPS 2338 WITH SCORE 2356.423
AT ITER 4623 NEW BEST:: SOT 24583 SOS 18421 HAS SOPS 7467 HAS SOUS 2571 HAS SOUPS 2336 WITH SCORE 2354.421
AT ITER 4676 NEW BEST:: SOT 24581 SOS 18419 HAS SOPS 7465 HAS SOUS 2569 HAS SOUPS 2334 WITH SCORE 2352.419
AT ITER 4831 NEW BEST:: SOT 24579 SOS 18417 HAS SOPS 7461 HAS SOUS 2565 HAS SOUPS 2330 WITH SCORE 2348.417
AT ITER 4921 NEW BEST:: SOT 24576 SOS 18411 HAS SOPS 7455 HAS SOUS 2559 HAS SOUPS 2324 WITH SCORE 2342.411
AT ITER 4938 NEW BEST:: SOT 24573 SOS 18403 HAS SOPS 7444 HAS SOUS 2549 HAS SOUPS 2314 WITH SCORE 2332.403
AT ITER 4955 NEW BEST:: SOT 24571 SOS 18400 HAS SOPS 7440 HAS SOUS 2545 HAS SOUPS 2310 WITH SCORE 2328.4
AT ITER 4986 NEW BEST:: SOT 24571 SOS 18399 HAS SOPS 7440 HAS SOUS 2545 HAS SOUPS 2310 WITH SCORE 2328.399
AT ITER 4994 NEW BEST:: SOT 24570 SOS 18379 HAS SOPS 7438 HAS SOUS 2544 HAS SOUPS 2309 WITH SCORE 2327.379
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-00 (! (EU( (EF( ((potential((tk(P57)>=1)))))) , ( ((potential((tk(P88)>=1)))) & (! ((potential((tk(P19)>=1) & (tk(P122)>=1))))) ) )))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-01 (! ( (AX( ((potential((tk(P113)>=1) & (tk(P123)>=1)))))) | (! (EF( ( ((potential((tk(P69)>=1)))) & ((potential((tk(P65)>=1) & (tk(P123)>=1)))) )))) ))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-02 ( ( ((potential((tk(P110)>=1)))) & ( ( (! ((potential((tk(P47)>=1))))) & (AF( ((potential((tk(P12)>=1) & (tk(P73)>=1) & (tk(P122)>=1)))))) ) | (EX( ( ((potential((tk(P48)>=1) & (tk(P122)>=1)))) & ((potential((tk(P72)>=1) & (tk(P85)>=1) & (tk(P122)>=1)))) ))) ) ) | ( (! (AG( (! ((potential((tk(P74)>=1)))))))) & ( ( (EG( ((potential((tk(P13)>=1) & (tk(P96)>=1) & (tk(P122)>=1)))))) & ((potential((tk(P13)>=1) & (tk(P24)>=1) & (tk(P122)>=1)))) ) | ( ( ( ((potential((tk(P36)>=1) & (tk(P61)>=1) & (tk(P122)>=1)))) | ((potential((tk(P29)>=1) & (tk(P123)>=1)))) ) & ( ((potential((tk(P31)>=1) & (tk(P122)>=1)))) & ((potential((tk(P5)>=1) & (tk(P123)>=1)))) ) ) | (AF( ((potential((tk(P37)>=1)))))) ) ) ) )
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-03 (EF( ( ( (! ((potential((tk(P12)>=1) & (tk(P73)>=1) & (tk(P122)>=1))))) & (EF( ((potential((tk(P13)>=1) & (tk(P24)>=1) & (tk(P122)>=1)))))) ) & ( ( ((potential((tk(P1)>=1)))) & ( ((potential((tk(P66)>=1)))) & ((potential((tk(P60)>=1) & (tk(P97)>=1) & (tk(P122)>=1)))) ) ) & ( ( ((potential((tk(P96)>=1)))) | ((potential((tk(P37)>=1) & (tk(P72)>=1) & (tk(P122)>=1)))) ) | ( ((potential((tk(P73)>=1) & (tk(P96)>=1) & (tk(P122)>=1)))) & ((potential((tk(P24)>=1) & (tk(P73)>=1) & (tk(P122)>=1)))) ) ) ) )))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-04 (AG( ( (AU( ((potential((tk(P49)>=1) & (tk(P120)>=1) & (tk(P122)>=1)))) , ((potential((tk(P37)>=1) & (tk(P108)>=1) & (tk(P122)>=1)))) )) | (EF( ( ((potential((tk(P49)>=1) & (tk(P120)>=1) & (tk(P122)>=1)))) | ((potential((tk(P38)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-05 (EF( (EG( ((potential((tk(P92)>=1) & (tk(P123)>=1))))))))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-06 ( ( (! (EF( ( ((potential((tk(P123)>=1) & (tk(P22)>=1)))) & ((potential((tk(P86)>=1)))) )))) & (EF( ((potential((tk(P84)>=1) & (tk(P109)>=1) & (tk(P122)>=1)))))) ) | (AF( (EG( ( ((potential((tk(P48)>=1) & (tk(P97)>=1) & (tk(P122)>=1)))) | ((potential((tk(P37)>=1) & (tk(P60)>=1) & (tk(P122)>=1)))) ))))) )
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-07 (! ( ( ( (AG( ((potential((tk(P48)>=1) & (tk(P97)>=1) & (tk(P122)>=1)))))) & ( ((potential((tk(P119)>=1)))) & ( ((potential((tk(P61)>=1) & (tk(P84)>=1) & (tk(P122)>=1)))) | ((potential((tk(P61)>=1) & (tk(P96)>=1) & (tk(P122)>=1)))) ) ) ) | ( (EF( ((potential((tk(P61)>=1) & (tk(P72)>=1) & (tk(P122)>=1)))))) | ((potential((tk(P25)>=1) & (tk(P60)>=1) & (tk(P122)>=1)))) ) ) & (EF( (AG( ((potential((tk(P95)>=1)))))))) ))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-08 (AX( (AG( ( (! ((potential((tk(P123)>=1) & (tk(P10)>=1))))) | (! ((potential((tk(P4)>=1))))) )))))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-09 (EF( (! (EG( (! ((potential((tk(P26)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-10 ( (! (EF( ( ( ((potential((tk(P55)>=1) & (tk(P122)>=1)))) | ((potential((tk(P123)>=1) & (tk(P10)>=1)))) ) & ((potential((tk(P11)>=1)))) )))) & (! ( ((potential((tk(P13)>=1) & (tk(P48)>=1) & (tk(P122)>=1)))) | (! (! ( ((potential((tk(P121)>=1)))) | ((potential((tk(P69)>=1)))) ))) )) )
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-11 (! (EF( ( ( ( ((potential((tk(P49)>=1) & (tk(P108)>=1) & (tk(P122)>=1)))) | ((potential((tk(P71)>=1)))) ) & (! ((potential((tk(P37)>=1))))) ) & (EG( ((potential((tk(P92)>=1) & (tk(P123)>=1)))))) ))))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-12 (EF( ( (EU( ((potential((tk(P95)>=1)))) , ((potential((tk(P116)>=1) & (tk(P123)>=1)))) )) | (! (! ( ((potential((tk(P102)>=1) & (tk(P123)>=1)))) & ((potential((tk(P73)>=1) & (tk(P108)>=1) & (tk(P122)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-13 ( (! (AG( (! ( ((potential((tk(P13)>=1) & (tk(P48)>=1) & (tk(P122)>=1)))) & ((potential((tk(P87)>=1) & (tk(P123)>=1)))) ))))) & (AU( ((potential((tk(P36)>=1) & (tk(P73)>=1) & (tk(P122)>=1)))) , (EF( ((potential((tk(P49)>=1) & (tk(P96)>=1) & (tk(P122)>=1)))))) )) )
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-14 (AG( ( (EF( ((potential((tk(P60)>=1)))))) | (EG( ( ((potential((tk(P37)>=1) & (tk(P72)>=1) & (tk(P122)>=1)))) & ((potential((tk(P25)>=1) & (tk(P60)>=1) & (tk(P122)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-10a-CTLFireability-15 (EF( ( (! ( ( ((potential((tk(P13)>=1) & (tk(P60)>=1) & (tk(P122)>=1)))) & ((potential((tk(P71)>=1)))) ) | ( ((potential((tk(P67)>=1) & (tk(P122)>=1)))) | ((potential((tk(P55)>=1) & (tk(P122)>=1)))) ) )) & (AG( ( ((potential((tk(P76)>=1)))) & ((potential((tk(P68)>=1) & (tk(P123)>=1)))) ))) )))
FORMULA FlexibleBarrier-PT-10a-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA FlexibleBarrier-PT-10a-CTLFireability-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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

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