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.r033-smll-158901925900291.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 CloudDeployment-PT-3b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900291
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 308K 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 CloudDeployment-PT-3b-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-3b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589139136678

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

GOT IT HERE. BS
Petri model created: 859 places, 1152 transitions, 4030 arcs.
AT ITER 0 NEW BEST:: SOT 597462 SOS 157944 HAS SOPS 157944 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113464.944
AT ITER 2 NEW BEST:: SOT 597528 SOS 157878 HAS SOPS 157878 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113464.878
AT ITER 8 NEW BEST:: SOT 597302 SOS 157795 HAS SOPS 157795 HAS SOUS 113090 HAS SOUPS 113090 WITH SCORE 113247.795
AT ITER 12 NEW BEST:: SOT 597302 SOS 157746 HAS SOPS 157746 HAS SOUS 113041 HAS SOUPS 113041 WITH SCORE 113198.746
AT ITER 20 NEW BEST:: SOT 597184 SOS 157510 HAS SOPS 157510 HAS SOUS 112805 HAS SOUPS 112805 WITH SCORE 112962.51
AT ITER 23 NEW BEST:: SOT 597182 SOS 157455 HAS SOPS 157455 HAS SOUS 112801 HAS SOUPS 112801 WITH SCORE 112958.455
AT ITER 28 NEW BEST:: SOT 597181 SOS 157453 HAS SOPS 157453 HAS SOUS 112799 HAS SOUPS 112799 WITH SCORE 112956.453
AT ITER 45 NEW BEST:: SOT 597181 SOS 157496 HAS SOPS 157496 HAS SOUS 112780 HAS SOUPS 112780 WITH SCORE 112937.496
AT ITER 78 NEW BEST:: SOT 597115 SOS 157506 HAS SOPS 157506 HAS SOUS 112589 HAS SOUPS 112589 WITH SCORE 112746.506
AT ITER 79 NEW BEST:: SOT 596987 SOS 157506 HAS SOPS 157506 HAS SOUS 112583 HAS SOUPS 112583 WITH SCORE 112740.506
AT ITER 83 NEW BEST:: SOT 596977 SOS 157486 HAS SOPS 157486 HAS SOUS 112573 HAS SOUPS 112573 WITH SCORE 112730.486
AT ITER 94 NEW BEST:: SOT 596933 SOS 157398 HAS SOPS 157398 HAS SOUS 112485 HAS SOUPS 112485 WITH SCORE 112642.398
AT ITER 113 NEW BEST:: SOT 596837 SOS 157206 HAS SOPS 157206 HAS SOUS 112293 HAS SOUPS 112293 WITH SCORE 112450.206
AT ITER 153 NEW BEST:: SOT 596837 SOS 157206 HAS SOPS 157206 HAS SOUS 112283 HAS SOUPS 112283 WITH SCORE 112440.206
AT ITER 159 NEW BEST:: SOT 596494 SOS 156932 HAS SOPS 156932 HAS SOUS 111840 HAS SOUPS 111840 WITH SCORE 111996.932
AT ITER 163 NEW BEST:: SOT 596356 SOS 157453 HAS SOPS 157453 HAS SOUS 111785 HAS SOUPS 111785 WITH SCORE 111942.453
AT ITER 167 NEW BEST:: SOT 596395 SOS 157531 HAS SOPS 157531 HAS SOUS 111769 HAS SOUPS 111769 WITH SCORE 111926.531
AT ITER 191 NEW BEST:: SOT 596394 SOS 157529 HAS SOPS 157529 HAS SOUS 111767 HAS SOUPS 111767 WITH SCORE 111924.529
AT ITER 209 NEW BEST:: SOT 596298 SOS 157481 HAS SOPS 157481 HAS SOUS 111352 HAS SOUPS 111352 WITH SCORE 111509.481
AT ITER 227 NEW BEST:: SOT 595867 SOS 160899 HAS SOPS 160899 HAS SOUS 110920 HAS SOUPS 110920 WITH SCORE 111080.899
AT ITER 259 NEW BEST:: SOT 595781 SOS 166145 HAS SOPS 166145 HAS SOUS 110748 HAS SOUPS 110748 WITH SCORE 110914.145
AT ITER 265 NEW BEST:: SOT 595781 SOS 166074 HAS SOPS 166074 HAS SOUS 110692 HAS SOUPS 110692 WITH SCORE 110858.074
AT ITER 287 NEW BEST:: SOT 595743 SOS 165998 HAS SOPS 165998 HAS SOUS 110654 HAS SOUPS 110654 WITH SCORE 110819.998
AT ITER 288 NEW BEST:: SOT 595670 SOS 166035 HAS SOPS 166035 HAS SOUS 110599 HAS SOUPS 110599 WITH SCORE 110765.035
AT ITER 301 NEW BEST:: SOT 595669 SOS 166034 HAS SOPS 166034 HAS SOUS 110598 HAS SOUPS 110598 WITH SCORE 110764.034
AT ITER 322 NEW BEST:: SOT 595660 SOS 165983 HAS SOPS 165983 HAS SOUS 110534 HAS SOUPS 110534 WITH SCORE 110699.983
AT ITER 339 NEW BEST:: SOT 595683 SOS 165798 HAS SOPS 165798 HAS SOUS 110503 HAS SOUPS 110503 WITH SCORE 110668.798
AT ITER 348 NEW BEST:: SOT 595683 SOS 165798 HAS SOPS 165798 HAS SOUS 110483 HAS SOUPS 110483 WITH SCORE 110648.798
AT ITER 359 NEW BEST:: SOT 595683 SOS 165778 HAS SOPS 165778 HAS SOUS 110473 HAS SOUPS 110473 WITH SCORE 110638.778
AT ITER 362 NEW BEST:: SOT 595683 SOS 165778 HAS SOPS 165778 HAS SOUS 110456 HAS SOUPS 110456 WITH SCORE 110621.778
AT ITER 367 NEW BEST:: SOT 595679 SOS 165770 HAS SOPS 165770 HAS SOUS 110448 HAS SOUPS 110448 WITH SCORE 110613.77
AT ITER 410 NEW BEST:: SOT 595679 SOS 165708 HAS SOPS 165708 HAS SOUS 110448 HAS SOUPS 110448 WITH SCORE 110613.708
AT ITER 416 NEW BEST:: SOT 595678 SOS 165706 HAS SOPS 165706 HAS SOUS 110446 HAS SOUPS 110446 WITH SCORE 110611.706
AT ITER 418 NEW BEST:: SOT 595631 SOS 165612 HAS SOPS 165612 HAS SOUS 110352 HAS SOUPS 110352 WITH SCORE 110517.612
AT ITER 420 NEW BEST:: SOT 595470 SOS 165630 HAS SOPS 165630 HAS SOUS 110117 HAS SOUPS 110117 WITH SCORE 110282.63
AT ITER 431 NEW BEST:: SOT 595365 SOS 165552 HAS SOPS 165552 HAS SOUS 110021 HAS SOUPS 110021 WITH SCORE 110186.552
AT ITER 450 NEW BEST:: SOT 595281 SOS 165897 HAS SOPS 165897 HAS SOUS 109980 HAS SOUPS 109980 WITH SCORE 110145.897
AT ITER 456 NEW BEST:: SOT 595281 SOS 165824 HAS SOPS 165824 HAS SOUS 109742 HAS SOUPS 109742 WITH SCORE 109907.824
AT ITER 458 NEW BEST:: SOT 595281 SOS 165808 HAS SOPS 165808 HAS SOUS 109704 HAS SOUPS 109704 WITH SCORE 109869.808
AT ITER 459 NEW BEST:: SOT 595274 SOS 165794 HAS SOPS 165794 HAS SOUS 109690 HAS SOUPS 109690 WITH SCORE 109855.794
AT ITER 467 NEW BEST:: SOT 595282 SOS 165727 HAS SOPS 165727 HAS SOUS 109544 HAS SOUPS 109544 WITH SCORE 109709.727
AT ITER 491 NEW BEST:: SOT 595241 SOS 165627 HAS SOPS 165627 HAS SOUS 109444 HAS SOUPS 109444 WITH SCORE 109609.627
AT ITER 493 NEW BEST:: SOT 595186 SOS 165517 HAS SOPS 165517 HAS SOUS 109334 HAS SOUPS 109334 WITH SCORE 109499.517
AT ITER 562 NEW BEST:: SOT 595122 SOS 165389 HAS SOPS 165389 HAS SOUS 109201 HAS SOUPS 109201 WITH SCORE 109366.389
AT ITER 564 NEW BEST:: SOT 595121 SOS 165387 HAS SOPS 165387 HAS SOUS 109199 HAS SOUPS 109199 WITH SCORE 109364.387
AT ITER 565 NEW BEST:: SOT 595080 SOS 165305 HAS SOPS 165305 HAS SOUS 109117 HAS SOUPS 109117 WITH SCORE 109282.305
AT ITER 576 NEW BEST:: SOT 595078 SOS 165301 HAS SOPS 165301 HAS SOUS 109115 HAS SOUPS 109115 WITH SCORE 109280.301
AT ITER 588 NEW BEST:: SOT 595066 SOS 165277 HAS SOPS 165277 HAS SOUS 109045 HAS SOUPS 109045 WITH SCORE 109210.277
AT ITER 596 NEW BEST:: SOT 595066 SOS 165129 HAS SOPS 165129 HAS SOUS 109045 HAS SOUPS 109045 WITH SCORE 109210.129
AT ITER 597 NEW BEST:: SOT 594770 SOS 165187 HAS SOPS 165187 HAS SOUS 108799 HAS SOUPS 108799 WITH SCORE 108964.187
AT ITER 599 NEW BEST:: SOT 594770 SOS 165147 HAS SOPS 165147 HAS SOUS 108799 HAS SOUPS 108799 WITH SCORE 108964.147
AT ITER 610 NEW BEST:: SOT 594762 SOS 165139 HAS SOPS 165139 HAS SOUS 108798 HAS SOUPS 108798 WITH SCORE 108963.139
AT ITER 613 NEW BEST:: SOT 594738 SOS 165115 HAS SOPS 165115 HAS SOUS 108793 HAS SOUPS 108793 WITH SCORE 108958.115
AT ITER 618 NEW BEST:: SOT 594697 SOS 165057 HAS SOPS 165057 HAS SOUS 108735 HAS SOUPS 108735 WITH SCORE 108900.057
AT ITER 630 NEW BEST:: SOT 594664 SOS 164991 HAS SOPS 164991 HAS SOUS 108657 HAS SOUPS 108657 WITH SCORE 108821.991
AT ITER 633 NEW BEST:: SOT 594568 SOS 165103 HAS SOPS 165103 HAS SOUS 108424 HAS SOUPS 108424 WITH SCORE 108589.103
AT ITER 635 NEW BEST:: SOT 594568 SOS 165032 HAS SOPS 165032 HAS SOUS 108416 HAS SOUPS 108416 WITH SCORE 108581.032
AT ITER 642 NEW BEST:: SOT 594499 SOS 165157 HAS SOPS 165157 HAS SOUS 108274 HAS SOUPS 108274 WITH SCORE 108439.157
AT ITER 650 NEW BEST:: SOT 594512 SOS 165154 HAS SOPS 165154 HAS SOUS 108271 HAS SOUPS 108271 WITH SCORE 108436.154
AT ITER 655 NEW BEST:: SOT 594351 SOS 164993 HAS SOPS 164993 HAS SOUS 107176 HAS SOUPS 107176 WITH SCORE 107340.993
AT ITER 665 NEW BEST:: SOT 594392 SOS 165075 HAS SOPS 165075 HAS SOUS 107083 HAS SOUPS 107083 WITH SCORE 107248.075
AT ITER 678 NEW BEST:: SOT 594370 SOS 165086 HAS SOPS 165086 HAS SOUS 107061 HAS SOUPS 107061 WITH SCORE 107226.086
AT ITER 679 NEW BEST:: SOT 594294 SOS 165048 HAS SOPS 165048 HAS SOUS 106985 HAS SOUPS 106985 WITH SCORE 107150.048
AT ITER 688 NEW BEST:: SOT 593495 SOS 166436 HAS SOPS 166436 HAS SOUS 106415 HAS SOUPS 106415 WITH SCORE 106581.436
AT ITER 700 NEW BEST:: SOT 593488 SOS 166320 HAS SOPS 166320 HAS SOUS 106408 HAS SOUPS 106408 WITH SCORE 106574.32
AT ITER 701 NEW BEST:: SOT 593488 SOS 166284 HAS SOPS 166284 HAS SOUS 106372 HAS SOUPS 106372 WITH SCORE 106538.284
AT ITER 714 NEW BEST:: SOT 593520 SOS 166220 HAS SOPS 166220 HAS SOUS 106372 HAS SOUPS 106372 WITH SCORE 106538.22
AT ITER 727 NEW BEST:: SOT 593609 SOS 166212 HAS SOPS 166212 HAS SOUS 106368 HAS SOUPS 106368 WITH SCORE 106534.212
AT ITER 741 NEW BEST:: SOT 593702 SOS 166275 HAS SOPS 166275 HAS SOUS 106333 HAS SOUPS 106333 WITH SCORE 106499.275
AT ITER 748 NEW BEST:: SOT 593702 SOS 165516 HAS SOPS 165516 HAS SOUS 106333 HAS SOUPS 106333 WITH SCORE 106498.516
AT ITER 765 NEW BEST:: SOT 593691 SOS 165494 HAS SOPS 165494 HAS SOUS 106311 HAS SOUPS 106311 WITH SCORE 106476.494
AT ITER 771 NEW BEST:: SOT 593661 SOS 165434 HAS SOPS 165434 HAS SOUS 106215 HAS SOUPS 106215 WITH SCORE 106380.434
AT ITER 772 NEW BEST:: SOT 593229 SOS 165016 HAS SOPS 165016 HAS SOUS 105812 HAS SOUPS 105812 WITH SCORE 105977.016
AT ITER 777 NEW BEST:: SOT 593220 SOS 165007 HAS SOPS 165007 HAS SOUS 105803 HAS SOUPS 105803 WITH SCORE 105968.007
AT ITER 785 NEW BEST:: SOT 593193 SOS 164953 HAS SOPS 164953 HAS SOUS 105749 HAS SOUPS 105749 WITH SCORE 105913.953
AT ITER 809 NEW BEST:: SOT 593114 SOS 164930 HAS SOPS 164930 HAS SOUS 105046 HAS SOUPS 105046 WITH SCORE 105210.93
AT ITER 834 NEW BEST:: SOT 593105 SOS 164921 HAS SOPS 164921 HAS SOUS 105046 HAS SOUPS 105046 WITH SCORE 105210.921
AT ITER 881 NEW BEST:: SOT 592565 SOS 166496 HAS SOPS 166496 HAS SOUS 104739 HAS SOUPS 104739 WITH SCORE 104905.496
AT ITER 891 NEW BEST:: SOT 592463 SOS 166292 HAS SOPS 166292 HAS SOUS 104637 HAS SOUPS 104637 WITH SCORE 104803.292
AT ITER 908 NEW BEST:: SOT 592456 SOS 166272 HAS SOPS 166272 HAS SOUS 104617 HAS SOUPS 104617 WITH SCORE 104783.272
AT ITER 917 NEW BEST:: SOT 592456 SOS 166272 HAS SOPS 166272 HAS SOUS 104607 HAS SOUPS 104607 WITH SCORE 104773.272
AT ITER 926 NEW BEST:: SOT 592412 SOS 166365 HAS SOPS 166365 HAS SOUS 104473 HAS SOUPS 104473 WITH SCORE 104639.365
AT ITER 931 NEW BEST:: SOT 592412 SOS 166365 HAS SOPS 166365 HAS SOUS 104391 HAS SOUPS 104391 WITH SCORE 104557.365
AT ITER 934 NEW BEST:: SOT 592412 SOS 166313 HAS SOPS 166313 HAS SOUS 104391 HAS SOUPS 104391 WITH SCORE 104557.313
AT ITER 992 NEW BEST:: SOT 592395 SOS 166279 HAS SOPS 166279 HAS SOUS 104374 HAS SOUPS 104374 WITH SCORE 104540.279
AT ITER 998 NEW BEST:: SOT 592289 SOS 166218 HAS SOPS 166218 HAS SOUS 104162 HAS SOUPS 104162 WITH SCORE 104328.218
AT ITER 1020 NEW BEST:: SOT 592288 SOS 166216 HAS SOPS 166216 HAS SOUS 104160 HAS SOUPS 104160 WITH SCORE 104326.216
AT ITER 1026 NEW BEST:: SOT 592235 SOS 166655 HAS SOPS 166655 HAS SOUS 104133 HAS SOUPS 104133 WITH SCORE 104299.655
AT ITER 1027 NEW BEST:: SOT 592194 SOS 166619 HAS SOPS 166619 HAS SOUS 104074 HAS SOUPS 104074 WITH SCORE 104240.619
AT ITER 1047 NEW BEST:: SOT 591954 SOS 166858 HAS SOPS 166858 HAS SOUS 104070 HAS SOUPS 104070 WITH SCORE 104236.858
AT ITER 1054 NEW BEST:: SOT 591892 SOS 166734 HAS SOPS 166734 HAS SOUS 103946 HAS SOUPS 103946 WITH SCORE 104112.734
AT ITER 1064 NEW BEST:: SOT 591892 SOS 166596 HAS SOPS 166596 HAS SOUS 103946 HAS SOUPS 103946 WITH SCORE 104112.596
AT ITER 1075 NEW BEST:: SOT 591951 SOS 166291 HAS SOPS 166291 HAS SOUS 103864 HAS SOUPS 103864 WITH SCORE 104030.291
AT ITER 1091 NEW BEST:: SOT 591935 SOS 166259 HAS SOPS 166259 HAS SOUS 103832 HAS SOUPS 103832 WITH SCORE 103998.259
AT ITER 1105 NEW BEST:: SOT 591950 SOS 166121 HAS SOPS 166121 HAS SOUS 103821 HAS SOUPS 103821 WITH SCORE 103987.121
AT ITER 1109 NEW BEST:: SOT 591800 SOS 166036 HAS SOPS 166036 HAS SOUS 103754 HAS SOUPS 103754 WITH SCORE 103920.036
AT ITER 1116 NEW BEST:: SOT 591784 SOS 166077 HAS SOPS 166077 HAS SOUS 103738 HAS SOUPS 103738 WITH SCORE 103904.077
AT ITER 1137 NEW BEST:: SOT 591382 SOS 165985 HAS SOPS 165985 HAS SOUS 103336 HAS SOUPS 103336 WITH SCORE 103501.985
AT ITER 1144 NEW BEST:: SOT 591353 SOS 165975 HAS SOPS 165975 HAS SOUS 103291 HAS SOUPS 103291 WITH SCORE 103456.975
AT ITER 1158 NEW BEST:: SOT 591288 SOS 165845 HAS SOPS 165845 HAS SOUS 103153 HAS SOUPS 103153 WITH SCORE 103318.845
AT ITER 1161 NEW BEST:: SOT 591262 SOS 165793 HAS SOPS 165793 HAS SOUS 103052 HAS SOUPS 103052 WITH SCORE 103217.793
AT ITER 1168 NEW BEST:: SOT 591250 SOS 165769 HAS SOPS 165769 HAS SOUS 103040 HAS SOUPS 103040 WITH SCORE 103205.769
AT ITER 1176 NEW BEST:: SOT 591255 SOS 165700 HAS SOPS 165700 HAS SOUS 103012 HAS SOUPS 103012 WITH SCORE 103177.7
AT ITER 1195 NEW BEST:: SOT 591214 SOS 165618 HAS SOPS 165618 HAS SOUS 102971 HAS SOUPS 102971 WITH SCORE 103136.618
AT ITER 1199 NEW BEST:: SOT 591147 SOS 165484 HAS SOPS 165484 HAS SOUS 102837 HAS SOUPS 102837 WITH SCORE 103002.484
AT ITER 1207 NEW BEST:: SOT 591147 SOS 165464 HAS SOPS 165464 HAS SOUS 102817 HAS SOUPS 102817 WITH SCORE 102982.464
AT ITER 1221 NEW BEST:: SOT 591044 SOS 165258 HAS SOPS 165258 HAS SOUS 102765 HAS SOUPS 102765 WITH SCORE 102930.258
AT ITER 1240 NEW BEST:: SOT 590981 SOS 165299 HAS SOPS 165299 HAS SOUS 102725 HAS SOUPS 102725 WITH SCORE 102890.299
AT ITER 1244 NEW BEST:: SOT 590981 SOS 165281 HAS SOPS 165281 HAS SOUS 102707 HAS SOUPS 102707 WITH SCORE 102872.281
AT ITER 1250 NEW BEST:: SOT 590974 SOS 165182 HAS SOPS 165182 HAS SOUS 102606 HAS SOUPS 102606 WITH SCORE 102771.182
AT ITER 1261 NEW BEST:: SOT 590944 SOS 165167 HAS SOPS 165167 HAS SOUS 102576 HAS SOUPS 102576 WITH SCORE 102741.167
AT ITER 1271 NEW BEST:: SOT 590876 SOS 165099 HAS SOPS 165099 HAS SOUS 102518 HAS SOUPS 102518 WITH SCORE 102683.099
AT ITER 1308 NEW BEST:: SOT 590850 SOS 165047 HAS SOPS 165047 HAS SOUS 102466 HAS SOUPS 102466 WITH SCORE 102631.047
AT ITER 1310 NEW BEST:: SOT 590849 SOS 164683 HAS SOPS 164683 HAS SOUS 102276 HAS SOUPS 102276 WITH SCORE 102440.683
AT ITER 1315 NEW BEST:: SOT 590778 SOS 165245 HAS SOPS 165245 HAS SOUS 102205 HAS SOUPS 102205 WITH SCORE 102370.245
AT ITER 1330 NEW BEST:: SOT 590767 SOS 165206 HAS SOPS 165206 HAS SOUS 102166 HAS SOUPS 102166 WITH SCORE 102331.206
AT ITER 1343 NEW BEST:: SOT 590767 SOS 165202 HAS SOPS 165202 HAS SOUS 102162 HAS SOUPS 102162 WITH SCORE 102327.202
AT ITER 1385 NEW BEST:: SOT 590722 SOS 165112 HAS SOPS 165112 HAS SOUS 102138 HAS SOUPS 102138 WITH SCORE 102303.112
AT ITER 1395 NEW BEST:: SOT 590521 SOS 164911 HAS SOPS 164911 HAS SOUS 101574 HAS SOUPS 101574 WITH SCORE 101738.911
AT ITER 1400 NEW BEST:: SOT 590512 SOS 164902 HAS SOPS 164902 HAS SOUS 101562 HAS SOUPS 101562 WITH SCORE 101726.902
AT ITER 1409 NEW BEST:: SOT 590457 SOS 164847 HAS SOPS 164847 HAS SOUS 101328 HAS SOUPS 101328 WITH SCORE 101492.847
AT ITER 1427 NEW BEST:: SOT 590442 SOS 164687 HAS SOPS 164687 HAS SOUS 101287 HAS SOUPS 101287 WITH SCORE 101451.687
AT ITER 1430 NEW BEST:: SOT 590428 SOS 164659 HAS SOPS 164659 HAS SOUS 101008 HAS SOUPS 101008 WITH SCORE 101172.659
AT ITER 1436 NEW BEST:: SOT 590404 SOS 164611 HAS SOPS 164611 HAS SOUS 100984 HAS SOUPS 100984 WITH SCORE 101148.611
AT ITER 1483 NEW BEST:: SOT 590236 SOS 164379 HAS SOPS 164379 HAS SOUS 100648 HAS SOUPS 100648 WITH SCORE 100812.379
AT ITER 1497 NEW BEST:: SOT 590077 SOS 164202 HAS SOPS 164202 HAS SOUS 100456 HAS SOUPS 100456 WITH SCORE 100620.202
AT ITER 1502 NEW BEST:: SOT 590167 SOS 164382 HAS SOPS 164382 HAS SOUS 100428 HAS SOUPS 100428 WITH SCORE 100592.382
AT ITER 1511 NEW BEST:: SOT 590137 SOS 164417 HAS SOPS 164417 HAS SOUS 100417 HAS SOUPS 100417 WITH SCORE 100581.417
AT ITER 1544 NEW BEST:: SOT 590176 SOS 164413 HAS SOPS 164413 HAS SOUS 100413 HAS SOUPS 100413 WITH SCORE 100577.413
AT ITER 1571 NEW BEST:: SOT 590171 SOS 164433 HAS SOPS 164433 HAS SOUS 100408 HAS SOUPS 100408 WITH SCORE 100572.433
AT ITER 1582 NEW BEST:: SOT 590175 SOS 164441 HAS SOPS 164441 HAS SOUS 100298 HAS SOUPS 100298 WITH SCORE 100462.441
AT ITER 1592 NEW BEST:: SOT 590146 SOS 164385 HAS SOPS 164385 HAS SOUS 100239 HAS SOUPS 100239 WITH SCORE 100403.385
AT ITER 1603 NEW BEST:: SOT 590055 SOS 163930 HAS SOPS 163930 HAS SOUS 99990 HAS SOUPS 99990 WITH SCORE 100153.93
AT ITER 1604 NEW BEST:: SOT 589967 SOS 164059 HAS SOPS 164059 HAS SOUS 99926 HAS SOUPS 99926 WITH SCORE 100090.059
AT ITER 1615 NEW BEST:: SOT 589919 SOS 164011 HAS SOPS 164011 HAS SOUS 99878 HAS SOUPS 99878 WITH SCORE 100042.011
AT ITER 1637 NEW BEST:: SOT 589916 SOS 164005 HAS SOPS 164005 HAS SOUS 99872 HAS SOUPS 99872 WITH SCORE 100036.005
AT ITER 1638 NEW BEST:: SOT 589904 SOS 163981 HAS SOPS 163981 HAS SOUS 99860 HAS SOUPS 99860 WITH SCORE 100023.981
AT ITER 1643 NEW BEST:: SOT 589958 SOS 164001 HAS SOPS 164001 HAS SOUS 99836 HAS SOUPS 99836 WITH SCORE 100000.001
AT ITER 1658 NEW BEST:: SOT 589958 SOS 163893 HAS SOPS 163893 HAS SOUS 99727 HAS SOUPS 99727 WITH SCORE 99890.893
AT ITER 1684 NEW BEST:: SOT 589958 SOS 163873 HAS SOPS 163873 HAS SOUS 99717 HAS SOUPS 99717 WITH SCORE 99880.873
AT ITER 1687 NEW BEST:: SOT 589954 SOS 163791 HAS SOPS 163791 HAS SOUS 99639 HAS SOUPS 99639 WITH SCORE 99802.791
AT ITER 1693 NEW BEST:: SOT 589916 SOS 163715 HAS SOPS 163715 HAS SOUS 99563 HAS SOUPS 99563 WITH SCORE 99726.715
AT ITER 1694 NEW BEST:: SOT 589890 SOS 163689 HAS SOPS 163689 HAS SOUS 99563 HAS SOUPS 99563 WITH SCORE 99726.689
AT ITER 1705 NEW BEST:: SOT 589778 SOS 163465 HAS SOPS 163465 HAS SOUS 99339 HAS SOUPS 99339 WITH SCORE 99502.465
AT ITER 1721 NEW BEST:: SOT 589768 SOS 163455 HAS SOPS 163455 HAS SOUS 99329 HAS SOUPS 99329 WITH SCORE 99492.455
AT ITER 1727 NEW BEST:: SOT 589769 SOS 163435 HAS SOPS 163435 HAS SOUS 99309 HAS SOUPS 99309 WITH SCORE 99472.435
AT ITER 1729 NEW BEST:: SOT 589548 SOS 163398 HAS SOPS 163398 HAS SOUS 99137 HAS SOUPS 99137 WITH SCORE 99300.398
AT ITER 1738 NEW BEST:: SOT 589543 SOS 163388 HAS SOPS 163388 HAS SOUS 99127 HAS SOUPS 99127 WITH SCORE 99290.388
AT ITER 1751 NEW BEST:: SOT 589518 SOS 163338 HAS SOPS 163338 HAS SOUS 99069 HAS SOUPS 99069 WITH SCORE 99232.338
AT ITER 1752 NEW BEST:: SOT 589463 SOS 164106 HAS SOPS 164106 HAS SOUS 98981 HAS SOUPS 98981 WITH SCORE 99145.106
AT ITER 1762 NEW BEST:: SOT 589463 SOS 164062 HAS SOPS 164062 HAS SOUS 98937 HAS SOUPS 98937 WITH SCORE 99101.062
AT ITER 1823 NEW BEST:: SOT 589463 SOS 164047 HAS SOPS 164047 HAS SOUS 98925 HAS SOUPS 98925 WITH SCORE 99089.047
AT ITER 1832 NEW BEST:: SOT 589447 SOS 164015 HAS SOPS 164015 HAS SOUS 98906 HAS SOUPS 98906 WITH SCORE 99070.015
AT ITER 1858 NEW BEST:: SOT 589240 SOS 164195 HAS SOPS 164195 HAS SOUS 98868 HAS SOUPS 98868 WITH SCORE 99032.195
AT ITER 1860 NEW BEST:: SOT 589226 SOS 164185 HAS SOPS 164185 HAS SOUS 98854 HAS SOUPS 98854 WITH SCORE 99018.185
AT ITER 1864 NEW BEST:: SOT 589208 SOS 164113 HAS SOPS 164113 HAS SOUS 98806 HAS SOUPS 98806 WITH SCORE 98970.113
AT ITER 1881 NEW BEST:: SOT 589130 SOS 164053 HAS SOPS 164053 HAS SOUS 98728 HAS SOUPS 98728 WITH SCORE 98892.053
AT ITER 1883 NEW BEST:: SOT 589047 SOS 163983 HAS SOPS 163983 HAS SOUS 98663 HAS SOUPS 98663 WITH SCORE 98826.983
AT ITER 1884 NEW BEST:: SOT 589037 SOS 163973 HAS SOPS 163973 HAS SOUS 98651 HAS SOUPS 98651 WITH SCORE 98814.973
AT ITER 1891 NEW BEST:: SOT 589037 SOS 163973 HAS SOPS 163973 HAS SOUS 98650 HAS SOUPS 98650 WITH SCORE 98813.973
AT ITER 1939 NEW BEST:: SOT 589011 SOS 163947 HAS SOPS 163947 HAS SOUS 98624 HAS SOUPS 98624 WITH SCORE 98787.947
AT ITER 1941 NEW BEST:: SOT 589011 SOS 163947 HAS SOPS 163947 HAS SOUS 98620 HAS SOUPS 98620 WITH SCORE 98783.947
AT ITER 1975 NEW BEST:: SOT 589035 SOS 163947 HAS SOPS 163947 HAS SOUS 98596 HAS SOUPS 98596 WITH SCORE 98759.947
AT ITER 1977 NEW BEST:: SOT 588911 SOS 163742 HAS SOPS 163742 HAS SOUS 98388 HAS SOUPS 98388 WITH SCORE 98551.742
AT ITER 1992 NEW BEST:: SOT 588872 SOS 163562 HAS SOPS 163562 HAS SOUS 98338 HAS SOUPS 98338 WITH SCORE 98501.562
AT ITER 2022 NEW BEST:: SOT 588805 SOS 163502 HAS SOPS 163502 HAS SOUS 98278 HAS SOUPS 98278 WITH SCORE 98441.502
AT ITER 2079 NEW BEST:: SOT 588734 SOS 163714 HAS SOPS 163714 HAS SOUS 98228 HAS SOUPS 98228 WITH SCORE 98391.714
AT ITER 2080 NEW BEST:: SOT 588646 SOS 163538 HAS SOPS 163538 HAS SOUS 98146 HAS SOUPS 98146 WITH SCORE 98309.538
AT ITER 2094 NEW BEST:: SOT 588636 SOS 163518 HAS SOPS 163518 HAS SOUS 98126 HAS SOUPS 98126 WITH SCORE 98289.518
AT ITER 2118 NEW BEST:: SOT 588636 SOS 163434 HAS SOPS 163434 HAS SOUS 98002 HAS SOUPS 98002 WITH SCORE 98165.434
AT ITER 2126 NEW BEST:: SOT 588584 SOS 163330 HAS SOPS 163330 HAS SOUS 98001 HAS SOUPS 98001 WITH SCORE 98164.33
AT ITER 2130 NEW BEST:: SOT 588584 SOS 163337 HAS SOPS 163337 HAS SOUS 97964 HAS SOUPS 97964 WITH SCORE 98127.337
AT ITER 2134 NEW BEST:: SOT 588317 SOS 162863 HAS SOPS 162863 HAS SOUS 97761 HAS SOUPS 97761 WITH SCORE 97923.863
AT ITER 2143 NEW BEST:: SOT 588282 SOS 162793 HAS SOPS 162793 HAS SOUS 97726 HAS SOUPS 97726 WITH SCORE 97888.793
AT ITER 2161 NEW BEST:: SOT 588179 SOS 162803 HAS SOPS 162803 HAS SOUS 97603 HAS SOUPS 97603 WITH SCORE 97765.803
AT ITER 2169 NEW BEST:: SOT 588136 SOS 162739 HAS SOPS 162739 HAS SOUS 97553 HAS SOUPS 97553 WITH SCORE 97715.739
AT ITER 2174 NEW BEST:: SOT 588136 SOS 162739 HAS SOPS 162739 HAS SOUS 97493 HAS SOUPS 97493 WITH SCORE 97655.739
AT ITER 2177 NEW BEST:: SOT 588122 SOS 162723 HAS SOPS 162723 HAS SOUS 97477 HAS SOUPS 97477 WITH SCORE 97639.723
AT ITER 2207 NEW BEST:: SOT 588219 SOS 162742 HAS SOPS 162742 HAS SOUS 97423 HAS SOUPS 97423 WITH SCORE 97585.742
AT ITER 2214 NEW BEST:: SOT 588179 SOS 162702 HAS SOPS 162702 HAS SOUS 97383 HAS SOUPS 97383 WITH SCORE 97545.702
AT ITER 2227 NEW BEST:: SOT 588192 SOS 162703 HAS SOPS 162703 HAS SOUS 97371 HAS SOUPS 97371 WITH SCORE 97533.703
AT ITER 2241 NEW BEST:: SOT 588193 SOS 162700 HAS SOPS 162700 HAS SOUS 97371 HAS SOUPS 97371 WITH SCORE 97533.7
AT ITER 2273 NEW BEST:: SOT 588193 SOS 162669 HAS SOPS 162669 HAS SOUS 97340 HAS SOUPS 97340 WITH SCORE 97502.669
AT ITER 2278 NEW BEST:: SOT 588193 SOS 162669 HAS SOPS 162669 HAS SOUS 97339 HAS SOUPS 97339 WITH SCORE 97501.669
AT ITER 2306 NEW BEST:: SOT 588193 SOS 163033 HAS SOPS 163033 HAS SOUS 97313 HAS SOUPS 97313 WITH SCORE 97476.033
AT ITER 2330 NEW BEST:: SOT 588199 SOS 162935 HAS SOPS 162935 HAS SOUS 97270 HAS SOUPS 97270 WITH SCORE 97432.935
AT ITER 2331 NEW BEST:: SOT 588149 SOS 162906 HAS SOPS 162906 HAS SOUS 97128 HAS SOUPS 97128 WITH SCORE 97290.906
AT ITER 2336 NEW BEST:: SOT 588099 SOS 162847 HAS SOPS 162847 HAS SOUS 97075 HAS SOUPS 97075 WITH SCORE 97237.847
AT ITER 2340 NEW BEST:: SOT 588138 SOS 162839 HAS SOPS 162839 HAS SOUS 97067 HAS SOUPS 97067 WITH SCORE 97229.839
AT ITER 2341 NEW BEST:: SOT 588138 SOS 162793 HAS SOPS 162793 HAS SOUS 97021 HAS SOUPS 97021 WITH SCORE 97183.793
AT ITER 2342 NEW BEST:: SOT 588125 SOS 162687 HAS SOPS 162687 HAS SOUS 97008 HAS SOUPS 97008 WITH SCORE 97170.687
AT ITER 2362 NEW BEST:: SOT 588097 SOS 162708 HAS SOPS 162708 HAS SOUS 97005 HAS SOUPS 97005 WITH SCORE 97167.708
AT ITER 2372 NEW BEST:: SOT 588097 SOS 162708 HAS SOPS 162708 HAS SOUS 96991 HAS SOUPS 96991 WITH SCORE 97153.708
AT ITER 2391 NEW BEST:: SOT 588072 SOS 162740 HAS SOPS 162740 HAS SOUS 96966 HAS SOUPS 96966 WITH SCORE 97128.74
AT ITER 2421 NEW BEST:: SOT 588099 SOS 162668 HAS SOPS 162668 HAS SOUS 96936 HAS SOUPS 96936 WITH SCORE 97098.668
AT ITER 2430 NEW BEST:: SOT 588152 SOS 162601 HAS SOPS 162601 HAS SOUS 96722 HAS SOUPS 96722 WITH SCORE 96884.601
AT ITER 2478 NEW BEST:: SOT 588148 SOS 162549 HAS SOPS 162549 HAS SOUS 96718 HAS SOUPS 96718 WITH SCORE 96880.549
AT ITER 2487 NEW BEST:: SOT 588082 SOS 162341 HAS SOPS 162341 HAS SOUS 96705 HAS SOUPS 96705 WITH SCORE 96867.341
AT ITER 2488 NEW BEST:: SOT 588082 SOS 162341 HAS SOPS 162341 HAS SOUS 96665 HAS SOUPS 96665 WITH SCORE 96827.341
AT ITER 2492 NEW BEST:: SOT 588077 SOS 162238 HAS SOPS 162238 HAS SOUS 96562 HAS SOUPS 96562 WITH SCORE 96724.238
AT ITER 2502 NEW BEST:: SOT 588077 SOS 162379 HAS SOPS 162379 HAS SOUS 96460 HAS SOUPS 96460 WITH SCORE 96622.379
AT ITER 2508 NEW BEST:: SOT 588077 SOS 162337 HAS SOPS 162337 HAS SOUS 96418 HAS SOUPS 96418 WITH SCORE 96580.337
AT ITER 2509 NEW BEST:: SOT 588068 SOS 162319 HAS SOPS 162319 HAS SOUS 96400 HAS SOUPS 96400 WITH SCORE 96562.319
AT ITER 2531 NEW BEST:: SOT 588019 SOS 162270 HAS SOPS 162270 HAS SOUS 96400 HAS SOUPS 96400 WITH SCORE 96562.27
AT ITER 2553 NEW BEST:: SOT 587875 SOS 162219 HAS SOPS 162219 HAS SOUS 96270 HAS SOUPS 96270 WITH SCORE 96432.219
AT ITER 2625 NEW BEST:: SOT 587875 SOS 162127 HAS SOPS 162127 HAS SOUS 96178 HAS SOUPS 96178 WITH SCORE 96340.127
AT ITER 2633 NEW BEST:: SOT 587786 SOS 161949 HAS SOPS 161949 HAS SOUS 96000 HAS SOUPS 96000 WITH SCORE 96161.949
AT ITER 2650 NEW BEST:: SOT 587786 SOS 161934 HAS SOPS 161934 HAS SOUS 95985 HAS SOUPS 95985 WITH SCORE 96146.934
AT ITER 2653 NEW BEST:: SOT 587718 SOS 161684 HAS SOPS 161684 HAS SOUS 95922 HAS SOUPS 95922 WITH SCORE 96083.684
AT ITER 2654 NEW BEST:: SOT 587701 SOS 161608 HAS SOPS 161608 HAS SOUS 95894 HAS SOUPS 95894 WITH SCORE 96055.608
AT ITER 2661 NEW BEST:: SOT 587694 SOS 161594 HAS SOPS 161594 HAS SOUS 95887 HAS SOUPS 95887 WITH SCORE 96048.594
AT ITER 2697 NEW BEST:: SOT 587617 SOS 161818 HAS SOPS 161818 HAS SOUS 95858 HAS SOUPS 95858 WITH SCORE 96019.818
AT ITER 2700 NEW BEST:: SOT 587434 SOS 161684 HAS SOPS 161684 HAS SOUS 95712 HAS SOUPS 95712 WITH SCORE 95873.684
AT ITER 2713 NEW BEST:: SOT 587471 SOS 161758 HAS SOPS 161758 HAS SOUS 95705 HAS SOUPS 95705 WITH SCORE 95866.758
AT ITER 2738 NEW BEST:: SOT 587460 SOS 161736 HAS SOPS 161736 HAS SOUS 95681 HAS SOUPS 95681 WITH SCORE 95842.736
AT ITER 2773 NEW BEST:: SOT 587444 SOS 161704 HAS SOPS 161704 HAS SOUS 95569 HAS SOUPS 95569 WITH SCORE 95730.704
AT ITER 2797 NEW BEST:: SOT 587434 SOS 161684 HAS SOPS 161684 HAS SOUS 95559 HAS SOUPS 95559 WITH SCORE 95720.684
AT ITER 2851 NEW BEST:: SOT 587417 SOS 161929 HAS SOPS 161929 HAS SOUS 95449 HAS SOUPS 95449 WITH SCORE 95610.929
AT ITER 2865 NEW BEST:: SOT 587409 SOS 161921 HAS SOPS 161921 HAS SOUS 95441 HAS SOUPS 95441 WITH SCORE 95602.921
AT ITER 2922 NEW BEST:: SOT 587185 SOS 161800 HAS SOPS 161800 HAS SOUS 95269 HAS SOUPS 95269 WITH SCORE 95430.8
AT ITER 2963 NEW BEST:: SOT 587154 SOS 161786 HAS SOPS 161786 HAS SOUS 95207 HAS SOUPS 95207 WITH SCORE 95368.786
AT ITER 2972 NEW BEST:: SOT 587287 SOS 161891 HAS SOPS 161891 HAS SOUS 95179 HAS SOUPS 95179 WITH SCORE 95340.891
AT ITER 2975 NEW BEST:: SOT 587333 SOS 161326 HAS SOPS 161326 HAS SOUS 95173 HAS SOUPS 95173 WITH SCORE 95334.326
AT ITER 2998 NEW BEST:: SOT 587375 SOS 161530 HAS SOPS 161530 HAS SOUS 95147 HAS SOUPS 95147 WITH SCORE 95308.53
AT ITER 3005 NEW BEST:: SOT 587282 SOS 161344 HAS SOPS 161344 HAS SOUS 94868 HAS SOUPS 94868 WITH SCORE 95029.344
AT ITER 3013 NEW BEST:: SOT 587254 SOS 161391 HAS SOPS 161391 HAS SOUS 94812 HAS SOUPS 94812 WITH SCORE 94973.391
AT ITER 3016 NEW BEST:: SOT 587205 SOS 161190 HAS SOPS 161190 HAS SOUS 94648 HAS SOUPS 94648 WITH SCORE 94809.19
AT ITER 3021 NEW BEST:: SOT 587307 SOS 161269 HAS SOPS 161269 HAS SOUS 94575 HAS SOUPS 94575 WITH SCORE 94736.269
AT ITER 3039 NEW BEST:: SOT 587307 SOS 161147 HAS SOPS 161147 HAS SOUS 94505 HAS SOUPS 94505 WITH SCORE 94666.147
AT ITER 3059 NEW BEST:: SOT 587307 SOS 161147 HAS SOPS 161147 HAS SOUS 94468 HAS SOUPS 94468 WITH SCORE 94629.147
AT ITER 3061 NEW BEST:: SOT 587322 SOS 161048 HAS SOPS 161048 HAS SOUS 94244 HAS SOUPS 94244 WITH SCORE 94405.048
AT ITER 3072 NEW BEST:: SOT 587261 SOS 160926 HAS SOPS 160926 HAS SOUS 94183 HAS SOUPS 94183 WITH SCORE 94343.926
AT ITER 3099 NEW BEST:: SOT 587198 SOS 160800 HAS SOPS 160800 HAS SOUS 94057 HAS SOUPS 94057 WITH SCORE 94217.8
AT ITER 3106 NEW BEST:: SOT 587186 SOS 160794 HAS SOPS 160794 HAS SOUS 94048 HAS SOUPS 94048 WITH SCORE 94208.794
AT ITER 3108 NEW BEST:: SOT 587173 SOS 160768 HAS SOPS 160768 HAS SOUS 94022 HAS SOUPS 94022 WITH SCORE 94182.768
AT ITER 3109 NEW BEST:: SOT 587172 SOS 160722 HAS SOPS 160722 HAS SOUS 94011 HAS SOUPS 94011 WITH SCORE 94171.722
AT ITER 3119 NEW BEST:: SOT 587163 SOS 160770 HAS SOPS 160770 HAS SOUS 93993 HAS SOUPS 93993 WITH SCORE 94153.77
AT ITER 3153 NEW BEST:: SOT 587163 SOS 160872 HAS SOPS 160872 HAS SOUS 93959 HAS SOUPS 93959 WITH SCORE 94119.872
AT ITER 3162 NEW BEST:: SOT 587140 SOS 160951 HAS SOPS 160951 HAS SOUS 93936 HAS SOUPS 93936 WITH SCORE 94096.951
AT ITER 3163 NEW BEST:: SOT 587136 SOS 160943 HAS SOPS 160943 HAS SOUS 93928 HAS SOUPS 93928 WITH SCORE 94088.943
AT ITER 3188 NEW BEST:: SOT 587109 SOS 160889 HAS SOPS 160889 HAS SOUS 93874 HAS SOUPS 93874 WITH SCORE 94034.889
AT ITER 3190 NEW BEST:: SOT 587069 SOS 160889 HAS SOPS 160889 HAS SOUS 93834 HAS SOUPS 93834 WITH SCORE 93994.889
AT ITER 3231 NEW BEST:: SOT 587089 SOS 160973 HAS SOPS 160973 HAS SOUS 93823 HAS SOUPS 93823 WITH SCORE 93983.973
AT ITER 3257 NEW BEST:: SOT 587089 SOS 160962 HAS SOPS 160962 HAS SOUS 93812 HAS SOUPS 93812 WITH SCORE 93972.962
AT ITER 3291 NEW BEST:: SOT 587051 SOS 160789 HAS SOPS 160789 HAS SOUS 93803 HAS SOUPS 93803 WITH SCORE 93963.789
AT ITER 3307 NEW BEST:: SOT 587044 SOS 161117 HAS SOPS 161117 HAS SOUS 93753 HAS SOUPS 93753 WITH SCORE 93914.117
AT ITER 3318 NEW BEST:: SOT 586934 SOS 161449 HAS SOPS 161449 HAS SOUS 93735 HAS SOUPS 93735 WITH SCORE 93896.449
AT ITER 3325 NEW BEST:: SOT 586853 SOS 161494 HAS SOPS 161494 HAS SOUS 93683 HAS SOUPS 93683 WITH SCORE 93844.494
AT ITER 3376 NEW BEST:: SOT 586852 SOS 161493 HAS SOPS 161493 HAS SOUS 93682 HAS SOUPS 93682 WITH SCORE 93843.493
AT ITER 3383 NEW BEST:: SOT 586817 SOS 161388 HAS SOPS 161388 HAS SOUS 93600 HAS SOUPS 93600 WITH SCORE 93761.388
AT ITER 3404 NEW BEST:: SOT 586796 SOS 161367 HAS SOPS 161367 HAS SOUS 93579 HAS SOUPS 93579 WITH SCORE 93740.367
AT ITER 3430 NEW BEST:: SOT 586784 SOS 161343 HAS SOPS 161343 HAS SOUS 93567 HAS SOUPS 93567 WITH SCORE 93728.343
AT ITER 3433 NEW BEST:: SOT 586784 SOS 160893 HAS SOPS 160893 HAS SOUS 93567 HAS SOUPS 93567 WITH SCORE 93727.893
AT ITER 3438 NEW BEST:: SOT 586780 SOS 160885 HAS SOPS 160885 HAS SOUS 93559 HAS SOUPS 93559 WITH SCORE 93719.885
AT ITER 3464 NEW BEST:: SOT 586780 SOS 160900 HAS SOPS 160900 HAS SOUS 93545 HAS SOUPS 93545 WITH SCORE 93705.9
AT ITER 3502 NEW BEST:: SOT 586780 SOS 160817 HAS SOPS 160817 HAS SOUS 93462 HAS SOUPS 93462 WITH SCORE 93622.817
AT ITER 3507 NEW BEST:: SOT 586690 SOS 161027 HAS SOPS 161027 HAS SOUS 93431 HAS SOUPS 93431 WITH SCORE 93592.027
AT ITER 3520 NEW BEST:: SOT 586735 SOS 160958 HAS SOPS 160958 HAS SOUS 93357 HAS SOUPS 93357 WITH SCORE 93517.958
AT ITER 3530 NEW BEST:: SOT 586733 SOS 160954 HAS SOPS 160954 HAS SOUS 93353 HAS SOUPS 93353 WITH SCORE 93513.954
AT ITER 3547 NEW BEST:: SOT 586744 SOS 160945 HAS SOPS 160945 HAS SOUS 93344 HAS SOUPS 93344 WITH SCORE 93504.945
AT ITER 3552 NEW BEST:: SOT 586758 SOS 160973 HAS SOPS 160973 HAS SOUS 93329 HAS SOUPS 93329 WITH SCORE 93489.973
AT ITER 3560 NEW BEST:: SOT 586688 SOS 160925 HAS SOPS 160925 HAS SOUS 93278 HAS SOUPS 93278 WITH SCORE 93438.925
AT ITER 3572 NEW BEST:: SOT 586681 SOS 160925 HAS SOPS 160925 HAS SOUS 93271 HAS SOUPS 93271 WITH SCORE 93431.925
AT ITER 3606 NEW BEST:: SOT 586661 SOS 160937 HAS SOPS 160937 HAS SOUS 93251 HAS SOUPS 93251 WITH SCORE 93411.937
AT ITER 3610 NEW BEST:: SOT 586661 SOS 160931 HAS SOPS 160931 HAS SOUS 93251 HAS SOUPS 93251 WITH SCORE 93411.931
AT ITER 3618 NEW BEST:: SOT 586656 SOS 160926 HAS SOPS 160926 HAS SOUS 93241 HAS SOUPS 93241 WITH SCORE 93401.926
AT ITER 3626 NEW BEST:: SOT 586637 SOS 160812 HAS SOPS 160812 HAS SOUS 93222 HAS SOUPS 93222 WITH SCORE 93382.812
AT ITER 3629 NEW BEST:: SOT 586631 SOS 160800 HAS SOPS 160800 HAS SOUS 93158 HAS SOUPS 93158 WITH SCORE 93318.8
AT ITER 3633 NEW BEST:: SOT 586562 SOS 160777 HAS SOPS 160777 HAS SOUS 93112 HAS SOUPS 93112 WITH SCORE 93272.777
AT ITER 3685 NEW BEST:: SOT 586560 SOS 160773 HAS SOPS 160773 HAS SOUS 93108 HAS SOUPS 93108 WITH SCORE 93268.773
AT ITER 3693 NEW BEST:: SOT 586511 SOS 160724 HAS SOPS 160724 HAS SOUS 93085 HAS SOUPS 93085 WITH SCORE 93245.724
AT ITER 3702 NEW BEST:: SOT 586586 SOS 160832 HAS SOPS 160832 HAS SOUS 93034 HAS SOUPS 93034 WITH SCORE 93194.832
AT ITER 3709 NEW BEST:: SOT 586670 SOS 160701 HAS SOPS 160701 HAS SOUS 93006 HAS SOUPS 93006 WITH SCORE 93166.701
AT ITER 3741 NEW BEST:: SOT 586632 SOS 160784 HAS SOPS 160784 HAS SOUS 92988 HAS SOUPS 92988 WITH SCORE 93148.784
AT ITER 3742 NEW BEST:: SOT 586594 SOS 160746 HAS SOPS 160746 HAS SOUS 92970 HAS SOUPS 92970 WITH SCORE 93130.746
AT ITER 3754 NEW BEST:: SOT 586594 SOS 160637 HAS SOPS 160637 HAS SOUS 92837 HAS SOUPS 92837 WITH SCORE 92997.637
AT ITER 3764 NEW BEST:: SOT 586533 SOS 160515 HAS SOPS 160515 HAS SOUS 92806 HAS SOUPS 92806 WITH SCORE 92966.515
AT ITER 3789 NEW BEST:: SOT 586533 SOS 160515 HAS SOPS 160515 HAS SOUS 92798 HAS SOUPS 92798 WITH SCORE 92958.515
AT ITER 3794 NEW BEST:: SOT 586187 SOS 160831 HAS SOPS 160831 HAS SOUS 92778 HAS SOUPS 92778 WITH SCORE 92938.831
AT ITER 3804 NEW BEST:: SOT 586176 SOS 160809 HAS SOPS 160809 HAS SOUS 92756 HAS SOUPS 92756 WITH SCORE 92916.809
AT ITER 3815 NEW BEST:: SOT 586163 SOS 160783 HAS SOPS 160783 HAS SOUS 92730 HAS SOUPS 92730 WITH SCORE 92890.783
AT ITER 3866 NEW BEST:: SOT 586153 SOS 160763 HAS SOPS 160763 HAS SOUS 92710 HAS SOUPS 92710 WITH SCORE 92870.763
AT ITER 3904 NEW BEST:: SOT 586111 SOS 160767 HAS SOPS 160767 HAS SOUS 92678 HAS SOUPS 92678 WITH SCORE 92838.767
AT ITER 3911 NEW BEST:: SOT 586089 SOS 160723 HAS SOPS 160723 HAS SOUS 92638 HAS SOUPS 92638 WITH SCORE 92798.723
AT ITER 3922 NEW BEST:: SOT 586071 SOS 160687 HAS SOPS 160687 HAS SOUS 92620 HAS SOUPS 92620 WITH SCORE 92780.687
AT ITER 3930 NEW BEST:: SOT 586019 SOS 160585 HAS SOPS 160585 HAS SOUS 92415 HAS SOUPS 92415 WITH SCORE 92575.585
AT ITER 3966 NEW BEST:: SOT 585894 SOS 160623 HAS SOPS 160623 HAS SOUS 92356 HAS SOUPS 92356 WITH SCORE 92516.623
AT ITER 3998 NEW BEST:: SOT 585886 SOS 160607 HAS SOPS 160607 HAS SOUS 92340 HAS SOUPS 92340 WITH SCORE 92500.607
AT ITER 4014 NEW BEST:: SOT 585905 SOS 160828 HAS SOPS 160828 HAS SOUS 92231 HAS SOUPS 92231 WITH SCORE 92391.828
AT ITER 4019 NEW BEST:: SOT 585856 SOS 160930 HAS SOPS 160930 HAS SOUS 92197 HAS SOUPS 92197 WITH SCORE 92357.93
AT ITER 4025 NEW BEST:: SOT 585856 SOS 160874 HAS SOPS 160874 HAS SOUS 92197 HAS SOUPS 92197 WITH SCORE 92357.874
AT ITER 4035 NEW BEST:: SOT 585895 SOS 160893 HAS SOPS 160893 HAS SOUS 92157 HAS SOUPS 92157 WITH SCORE 92317.893
AT ITER 4050 NEW BEST:: SOT 585895 SOS 160867 HAS SOPS 160867 HAS SOUS 92151 HAS SOUPS 92151 WITH SCORE 92311.867
AT ITER 4071 NEW BEST:: SOT 585852 SOS 160953 HAS SOPS 160953 HAS SOUS 92108 HAS SOUPS 92108 WITH SCORE 92268.953
AT ITER 4077 NEW BEST:: SOT 585816 SOS 160773 HAS SOPS 160773 HAS SOUS 92108 HAS SOUPS 92108 WITH SCORE 92268.773
AT ITER 4087 NEW BEST:: SOT 585822 SOS 160785 HAS SOPS 160785 HAS SOUS 91979 HAS SOUPS 91979 WITH SCORE 92139.785
AT ITER 4096 NEW BEST:: SOT 585868 SOS 159917 HAS SOPS 159917 HAS SOUS 91978 HAS SOUPS 91978 WITH SCORE 92137.917
AT ITER 4097 NEW BEST:: SOT 585871 SOS 159923 HAS SOPS 159923 HAS SOUS 91973 HAS SOUPS 91973 WITH SCORE 92132.923
AT ITER 4134 NEW BEST:: SOT 585791 SOS 160023 HAS SOPS 160023 HAS SOUS 91950 HAS SOUPS 91950 WITH SCORE 92110.023
AT ITER 4149 NEW BEST:: SOT 585791 SOS 159921 HAS SOPS 159921 HAS SOUS 91928 HAS SOUPS 91928 WITH SCORE 92087.921
AT ITER 4207 NEW BEST:: SOT 585759 SOS 159857 HAS SOPS 159857 HAS SOUS 91864 HAS SOUPS 91864 WITH SCORE 92023.857
AT ITER 4223 NEW BEST:: SOT 585759 SOS 159857 HAS SOPS 159857 HAS SOUS 91834 HAS SOUPS 91834 WITH SCORE 91993.857
AT ITER 4324 NEW BEST:: SOT 585739 SOS 159831 HAS SOPS 159831 HAS SOUS 91808 HAS SOUPS 91808 WITH SCORE 91967.831
AT ITER 4329 NEW BEST:: SOT 585787 SOS 159783 HAS SOPS 159783 HAS SOUS 91808 HAS SOUPS 91808 WITH SCORE 91967.783
AT ITER 4340 NEW BEST:: SOT 585767 SOS 159763 HAS SOPS 159763 HAS SOUS 91808 HAS SOUPS 91808 WITH SCORE 91967.763
AT ITER 4373 NEW BEST:: SOT 585711 SOS 159651 HAS SOPS 159651 HAS SOUS 91696 HAS SOUPS 91696 WITH SCORE 91855.651
AT ITER 4410 NEW BEST:: SOT 585711 SOS 159602 HAS SOPS 159602 HAS SOUS 91696 HAS SOUPS 91696 WITH SCORE 91855.602
AT ITER 4417 NEW BEST:: SOT 585692 SOS 159599 HAS SOPS 159599 HAS SOUS 91693 HAS SOUPS 91693 WITH SCORE 91852.599
AT ITER 4438 NEW BEST:: SOT 585670 SOS 159555 HAS SOPS 159555 HAS SOUS 91660 HAS SOUPS 91660 WITH SCORE 91819.555
AT ITER 4453 NEW BEST:: SOT 585687 SOS 159589 HAS SOPS 159589 HAS SOUS 91618 HAS SOUPS 91618 WITH SCORE 91777.589
AT ITER 4461 NEW BEST:: SOT 585595 SOS 159405 HAS SOPS 159405 HAS SOUS 91603 HAS SOUPS 91603 WITH SCORE 91762.405
AT ITER 4469 NEW BEST:: SOT 585595 SOS 159314 HAS SOPS 159314 HAS SOUS 91512 HAS SOUPS 91512 WITH SCORE 91671.314
AT ITER 4478 NEW BEST:: SOT 585431 SOS 159073 HAS SOPS 159073 HAS SOUS 91345 HAS SOUPS 91345 WITH SCORE 91504.073
AT ITER 4530 NEW BEST:: SOT 585429 SOS 159069 HAS SOPS 159069 HAS SOUS 91343 HAS SOUPS 91343 WITH SCORE 91502.069
AT ITER 4537 NEW BEST:: SOT 585453 SOS 159083 HAS SOPS 159083 HAS SOUS 91323 HAS SOUPS 91323 WITH SCORE 91482.083
AT ITER 4541 NEW BEST:: SOT 585434 SOS 159064 HAS SOPS 159064 HAS SOUS 91304 HAS SOUPS 91304 WITH SCORE 91463.064
AT ITER 4563 NEW BEST:: SOT 585432 SOS 159087 HAS SOPS 159087 HAS SOUS 91289 HAS SOUPS 91289 WITH SCORE 91448.087
AT ITER 4566 NEW BEST:: SOT 585567 SOS 159258 HAS SOPS 159258 HAS SOUS 91268 HAS SOUPS 91268 WITH SCORE 91427.258
AT ITER 4573 NEW BEST:: SOT 585547 SOS 159248 HAS SOPS 159248 HAS SOUS 91248 HAS SOUPS 91248 WITH SCORE 91407.248
AT ITER 4581 NEW BEST:: SOT 585528 SOS 159210 HAS SOPS 159210 HAS SOUS 91210 HAS SOUPS 91210 WITH SCORE 91369.21
AT ITER 4602 NEW BEST:: SOT 585517 SOS 159240 HAS SOPS 159240 HAS SOUS 91203 HAS SOUPS 91203 WITH SCORE 91362.24
AT ITER 4650 NEW BEST:: SOT 585517 SOS 159240 HAS SOPS 159240 HAS SOUS 91184 HAS SOUPS 91184 WITH SCORE 91343.24
AT ITER 4651 NEW BEST:: SOT 585521 SOS 159341 HAS SOPS 159341 HAS SOUS 91179 HAS SOUPS 91179 WITH SCORE 91338.341
AT ITER 4661 NEW BEST:: SOT 585520 SOS 159279 HAS SOPS 159279 HAS SOUS 91177 HAS SOUPS 91177 WITH SCORE 91336.279
AT ITER 4723 NEW BEST:: SOT 585482 SOS 159203 HAS SOPS 159203 HAS SOUS 91138 HAS SOUPS 91138 WITH SCORE 91297.203
AT ITER 4742 NEW BEST:: SOT 585417 SOS 159138 HAS SOPS 159138 HAS SOUS 91073 HAS SOUPS 91073 WITH SCORE 91232.138
AT ITER 4850 NEW BEST:: SOT 585373 SOS 159050 HAS SOPS 159050 HAS SOUS 90985 HAS SOUPS 90985 WITH SCORE 91144.05
AT ITER 4900 NEW BEST:: SOT 585295 SOS 159149 HAS SOPS 159149 HAS SOUS 90979 HAS SOUPS 90979 WITH SCORE 91138.149
AT ITER 4909 NEW BEST:: SOT 585274 SOS 159128 HAS SOPS 159128 HAS SOUS 90979 HAS SOUPS 90979 WITH SCORE 91138.128
AT ITER 4918 NEW BEST:: SOT 585264 SOS 159108 HAS SOPS 159108 HAS SOUS 90959 HAS SOUPS 90959 WITH SCORE 91118.108
AT ITER 4929 NEW BEST:: SOT 585161 SOS 158596 HAS SOPS 158596 HAS SOUS 90736 HAS SOUPS 90736 WITH SCORE 90894.596
AT ITER 4960 NEW BEST:: SOT 585100 SOS 158478 HAS SOPS 158478 HAS SOUS 90681 HAS SOUPS 90681 WITH SCORE 90839.478
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-00 (AG( ( ( ( potential( ( 3 ) <= (tk(P709)) ) & potential( ( 3 ) <= (tk(P711)) ) ) | ( potential( ( 2 ) <= (tk(P11)) ) & potential( ( 1 ) <= (tk(P467)) ) ) ) | (! potential( ( 3 ) <= (tk(P657)) )) )))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-01 (EX( (AG( (! potential( ( 1 ) <= (tk(P710)) ))))))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-02 (! (AU( ( potential( ( 1 ) <= (tk(P828)) ) | potential( (tk(P535)) <= (tk(P530)) ) ),( potential( (tk(P415)) <= (tk(P179)) ) & potential( ( 1 ) <= (tk(P374)) ) ) )))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-03 (AG( ( ( ( potential( ( 2 ) <= (tk(P132)) ) | potential( (tk(P596)) <= (tk(P411)) ) ) & (! potential( ( 2 ) <= (tk(P321)) )) ) | (EF(potential( (tk(P427)) <= (tk(P154)) ))) )))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-04 (AU( (AG( potential( (tk(P792)) <= (tk(P386)) ))),( (! potential( (tk(P664)) <= (tk(P736)) )) & potential( ( 2 ) <= (tk(P492)) ) ) ))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-05 ( ( (AF(( potential( ( 3 ) <= (tk(P321)) ) & potential( ( 3 ) <= (tk(P336)) ) ))) | ( potential( ( 1 ) <= (tk(P464)) ) & potential( (tk(P450)) <= (tk(P191)) ) ) ) | (EG( (EG( potential( (tk(P1)) <= (tk(P199)) ))))) )
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-06 (! (EG( ( ( potential( (tk(P348)) <= (tk(P521)) ) & potential( ( 2 ) <= (tk(P780)) ) ) | ( potential( (tk(P266)) <= (tk(P542)) ) | potential( ( 3 ) <= (tk(P93)) ) ) ))))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-07 ( potential( (tk(P480)) <= (tk(P99)) ) & (AF(( ( potential( ( 3 ) <= (tk(P13)) ) & potential( ( 1 ) <= (tk(P193)) ) ) & (! potential( (tk(P508)) <= (tk(P438)) )) ))) )
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-08 (EF(( (AX( potential( ( 3 ) <= (tk(P548)) ))) & ( ( potential( (tk(P481)) <= (tk(P179)) ) | potential( (tk(P772)) <= (tk(P118)) ) ) | ( potential( ( 3 ) <= (tk(P832)) ) | potential( (tk(P431)) <= (tk(P67)) ) ) ) )))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-09 ( (! (AU( potential( (tk(P534)) <= (tk(P354)) ),potential( ( 3 ) <= (tk(P623)) ) ))) & (EU( ( potential( (tk(P464)) <= (tk(P160)) ) | potential( ( 1 ) <= (tk(P251)) ) ),( potential( ( 1 ) <= (tk(P345)) ) & potential( (tk(P624)) <= (tk(P356)) ) ) )) )
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-10 ( (AG( (! (! potential( (tk(P225)) <= (tk(P251)) ))))) & potential( (tk(P4)) <= (tk(P764)) ) )
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-11 (! (EG( (AG( potential( (tk(P376)) <= (tk(P253)) ))))))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-12 ( (! ( (! potential( ( 1 ) <= (tk(P553)) )) & ( (! potential( ( 1 ) <= (tk(P347)) )) | ( potential( (tk(P27)) <= (tk(P561)) ) | potential( ( 1 ) <= (tk(P839)) ) ) ) )) | (EF((AG( potential( (tk(P516)) <= (tk(P226)) ))))) )
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-13 (AG( (! (EF(potential( ( 3 ) <= (tk(P114)) ))))))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-14 (EG( (AU( potential( (tk(P75)) <= (tk(P127)) ),potential( (tk(P832)) <= (tk(P308)) ) ))))
PROPERTY: CloudDeployment-PT-3b-CTLCardinality-15 (AG( (EF(( potential( ( 2 ) <= (tk(P367)) ) & potential( ( 3 ) <= (tk(P472)) ) )))))

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="CloudDeployment-PT-3b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-3b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901925900291"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-3b.tgz
mv CloudDeployment-PT-3b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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