fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538400123
Last Updated
Jun 28, 2020

About the Execution of smart for SmartHome-PT-16

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.520 3600000.00 3586010.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538400123.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-16, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400123
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.4K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 21:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 120K May 12 20:42 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 SmartHome-PT-16-CTLCardinality-00
FORMULA_NAME SmartHome-PT-16-CTLCardinality-01
FORMULA_NAME SmartHome-PT-16-CTLCardinality-02
FORMULA_NAME SmartHome-PT-16-CTLCardinality-03
FORMULA_NAME SmartHome-PT-16-CTLCardinality-04
FORMULA_NAME SmartHome-PT-16-CTLCardinality-05
FORMULA_NAME SmartHome-PT-16-CTLCardinality-06
FORMULA_NAME SmartHome-PT-16-CTLCardinality-07
FORMULA_NAME SmartHome-PT-16-CTLCardinality-08
FORMULA_NAME SmartHome-PT-16-CTLCardinality-09
FORMULA_NAME SmartHome-PT-16-CTLCardinality-10
FORMULA_NAME SmartHome-PT-16-CTLCardinality-11
FORMULA_NAME SmartHome-PT-16-CTLCardinality-12
FORMULA_NAME SmartHome-PT-16-CTLCardinality-13
FORMULA_NAME SmartHome-PT-16-CTLCardinality-14
FORMULA_NAME SmartHome-PT-16-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590469792810

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 16
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: 499 places, 533 transitions, 1222 arcs.
AT ITER 0 NEW BEST:: SOT 157221 SOS 35977 HAS SOPS 35977 HAS SOUS 35133 HAS SOUPS 35133 WITH SCORE 35168.977
AT ITER 11 NEW BEST:: SOT 155783 SOS 43593 HAS SOPS 43593 HAS SOUS 34521 HAS SOUPS 34521 WITH SCORE 34564.593
AT ITER 17 NEW BEST:: SOT 155763 SOS 43553 HAS SOPS 43553 HAS SOUS 34463 HAS SOUPS 34463 WITH SCORE 34506.553
AT ITER 51 NEW BEST:: SOT 155710 SOS 43444 HAS SOPS 43444 HAS SOUS 34353 HAS SOUPS 34353 WITH SCORE 34396.444
AT ITER 53 NEW BEST:: SOT 155701 SOS 43426 HAS SOPS 43426 HAS SOUS 34344 HAS SOUPS 34344 WITH SCORE 34387.426
AT ITER 69 NEW BEST:: SOT 154493 SOS 46154 HAS SOPS 46154 HAS SOUS 33562 HAS SOUPS 33562 WITH SCORE 33608.154
AT ITER 71 NEW BEST:: SOT 154487 SOS 46148 HAS SOPS 46148 HAS SOUS 33556 HAS SOUPS 33556 WITH SCORE 33602.148
AT ITER 73 NEW BEST:: SOT 154440 SOS 46139 HAS SOPS 46139 HAS SOUS 33547 HAS SOUPS 33547 WITH SCORE 33593.139
AT ITER 85 NEW BEST:: SOT 154175 SOS 46239 HAS SOPS 46239 HAS SOUS 33318 HAS SOUPS 33318 WITH SCORE 33364.239
AT ITER 87 NEW BEST:: SOT 154142 SOS 46173 HAS SOPS 46173 HAS SOUS 33285 HAS SOUPS 33285 WITH SCORE 33331.173
AT ITER 99 NEW BEST:: SOT 154038 SOS 45965 HAS SOPS 45965 HAS SOUS 33230 HAS SOUPS 33230 WITH SCORE 33275.965
AT ITER 100 NEW BEST:: SOT 153939 SOS 45767 HAS SOPS 45767 HAS SOUS 33032 HAS SOUPS 33032 WITH SCORE 33077.767
AT ITER 101 NEW BEST:: SOT 153103 SOS 45358 HAS SOPS 45358 HAS SOUS 32356 HAS SOUPS 32356 WITH SCORE 32401.358
AT ITER 113 NEW BEST:: SOT 153103 SOS 45338 HAS SOPS 45338 HAS SOUS 32336 HAS SOUPS 32336 WITH SCORE 32381.338
AT ITER 115 NEW BEST:: SOT 153103 SOS 45337 HAS SOPS 45337 HAS SOUS 32336 HAS SOUPS 32336 WITH SCORE 32381.337
AT ITER 125 NEW BEST:: SOT 153088 SOS 45132 HAS SOPS 45132 HAS SOUS 32306 HAS SOUPS 32306 WITH SCORE 32351.132
AT ITER 129 NEW BEST:: SOT 153087 SOS 45131 HAS SOPS 45131 HAS SOUS 32305 HAS SOUPS 32305 WITH SCORE 32350.131
AT ITER 135 NEW BEST:: SOT 152372 SOS 48473 HAS SOPS 48473 HAS SOUS 31934 HAS SOUPS 31934 WITH SCORE 31982.473
AT ITER 140 NEW BEST:: SOT 152372 SOS 48456 HAS SOPS 48456 HAS SOUS 31917 HAS SOUPS 31917 WITH SCORE 31965.456
AT ITER 141 NEW BEST:: SOT 152309 SOS 48500 HAS SOPS 48500 HAS SOUS 31860 HAS SOUPS 31860 WITH SCORE 31908.5
AT ITER 147 NEW BEST:: SOT 152276 SOS 48499 HAS SOPS 48499 HAS SOUS 31855 HAS SOUPS 31855 WITH SCORE 31903.499
AT ITER 157 NEW BEST:: SOT 152275 SOS 48474 HAS SOPS 48474 HAS SOUS 31853 HAS SOUPS 31853 WITH SCORE 31901.474
AT ITER 158 NEW BEST:: SOT 151798 SOS 48793 HAS SOPS 48793 HAS SOUS 31518 HAS SOUPS 31518 WITH SCORE 31566.793
AT ITER 193 NEW BEST:: SOT 151764 SOS 45985 HAS SOPS 45985 HAS SOUS 31280 HAS SOUPS 31280 WITH SCORE 31325.985
AT ITER 200 NEW BEST:: SOT 151779 SOS 46015 HAS SOPS 46015 HAS SOUS 31275 HAS SOUPS 31275 WITH SCORE 31321.015
AT ITER 217 NEW BEST:: SOT 151757 SOS 45971 HAS SOPS 45971 HAS SOUS 31231 HAS SOUPS 31231 WITH SCORE 31276.971
AT ITER 224 NEW BEST:: SOT 151616 SOS 45777 HAS SOPS 45777 HAS SOUS 31065 HAS SOUPS 31065 WITH SCORE 31110.777
AT ITER 230 NEW BEST:: SOT 151526 SOS 45722 HAS SOPS 45722 HAS SOUS 31058 HAS SOUPS 31058 WITH SCORE 31103.722
AT ITER 249 NEW BEST:: SOT 151545 SOS 45700 HAS SOPS 45700 HAS SOUS 31016 HAS SOUPS 31016 WITH SCORE 31061.7
AT ITER 255 NEW BEST:: SOT 151545 SOS 45651 HAS SOPS 45651 HAS SOUS 30967 HAS SOUPS 30967 WITH SCORE 31012.651
AT ITER 263 NEW BEST:: SOT 151458 SOS 45477 HAS SOPS 45477 HAS SOUS 30884 HAS SOUPS 30884 WITH SCORE 30929.477
AT ITER 275 NEW BEST:: SOT 151321 SOS 45322 HAS SOPS 45322 HAS SOUS 30843 HAS SOUPS 30843 WITH SCORE 30888.322
AT ITER 280 NEW BEST:: SOT 151294 SOS 45268 HAS SOPS 45268 HAS SOUS 30816 HAS SOUPS 30816 WITH SCORE 30861.268
AT ITER 282 NEW BEST:: SOT 151294 SOS 45267 HAS SOPS 45267 HAS SOUS 30815 HAS SOUPS 30815 WITH SCORE 30860.267
AT ITER 283 NEW BEST:: SOT 151199 SOS 45077 HAS SOPS 45077 HAS SOUS 30733 HAS SOUPS 30733 WITH SCORE 30778.077
AT ITER 284 NEW BEST:: SOT 151205 SOS 45074 HAS SOPS 45074 HAS SOUS 30731 HAS SOUPS 30731 WITH SCORE 30776.074
AT ITER 287 NEW BEST:: SOT 151178 SOS 45040 HAS SOPS 45040 HAS SOUS 30697 HAS SOUPS 30697 WITH SCORE 30742.04
AT ITER 304 NEW BEST:: SOT 151127 SOS 44938 HAS SOPS 44938 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30639.938
AT ITER 306 NEW BEST:: SOT 151109 SOS 44940 HAS SOPS 44940 HAS SOUS 30577 HAS SOUPS 30577 WITH SCORE 30621.94
AT ITER 322 NEW BEST:: SOT 151106 SOS 44934 HAS SOPS 44934 HAS SOUS 30571 HAS SOUPS 30571 WITH SCORE 30615.934
AT ITER 326 NEW BEST:: SOT 151083 SOS 44911 HAS SOPS 44911 HAS SOUS 30548 HAS SOUPS 30548 WITH SCORE 30592.911
AT ITER 334 NEW BEST:: SOT 151035 SOS 44835 HAS SOPS 44835 HAS SOUS 30472 HAS SOUPS 30472 WITH SCORE 30516.835
AT ITER 358 NEW BEST:: SOT 151002 SOS 44736 HAS SOPS 44736 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30417.736
AT ITER 359 NEW BEST:: SOT 150987 SOS 44642 HAS SOPS 44642 HAS SOUS 30362 HAS SOUPS 30362 WITH SCORE 30406.642
AT ITER 372 NEW BEST:: SOT 150887 SOS 44660 HAS SOPS 44660 HAS SOUS 30332 HAS SOUPS 30332 WITH SCORE 30376.66
AT ITER 374 NEW BEST:: SOT 150887 SOS 44637 HAS SOPS 44637 HAS SOUS 30332 HAS SOUPS 30332 WITH SCORE 30376.637
AT ITER 384 NEW BEST:: SOT 150882 SOS 44627 HAS SOPS 44627 HAS SOUS 30282 HAS SOUPS 30282 WITH SCORE 30326.627
AT ITER 385 NEW BEST:: SOT 150814 SOS 38635 HAS SOPS 38635 HAS SOUS 30146 HAS SOUPS 30146 WITH SCORE 30184.635
AT ITER 387 NEW BEST:: SOT 150806 SOS 38615 HAS SOPS 38615 HAS SOUS 30130 HAS SOUPS 30130 WITH SCORE 30168.615
AT ITER 391 NEW BEST:: SOT 150804 SOS 38613 HAS SOPS 38613 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30166.613
AT ITER 394 NEW BEST:: SOT 150800 SOS 38605 HAS SOPS 38605 HAS SOUS 30126 HAS SOUPS 30126 WITH SCORE 30164.605
AT ITER 413 NEW BEST:: SOT 150691 SOS 38561 HAS SOPS 38561 HAS SOUS 30032 HAS SOUPS 30032 WITH SCORE 30070.561
AT ITER 415 NEW BEST:: SOT 150571 SOS 38405 HAS SOPS 38405 HAS SOUS 29912 HAS SOUPS 29912 WITH SCORE 29950.405
AT ITER 419 NEW BEST:: SOT 150560 SOS 38477 HAS SOPS 38477 HAS SOUS 29900 HAS SOUPS 29900 WITH SCORE 29938.477
AT ITER 436 NEW BEST:: SOT 150532 SOS 38516 HAS SOPS 38516 HAS SOUS 29871 HAS SOUPS 29871 WITH SCORE 29909.516
AT ITER 451 NEW BEST:: SOT 150465 SOS 38471 HAS SOPS 38471 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29864.471
AT ITER 455 NEW BEST:: SOT 150445 SOS 38431 HAS SOPS 38431 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29843.431
AT ITER 464 NEW BEST:: SOT 150409 SOS 38359 HAS SOPS 38359 HAS SOUS 29706 HAS SOUPS 29706 WITH SCORE 29744.359
AT ITER 479 NEW BEST:: SOT 150427 SOS 38350 HAS SOPS 38350 HAS SOUS 29697 HAS SOUPS 29697 WITH SCORE 29735.35
AT ITER 494 NEW BEST:: SOT 150412 SOS 38320 HAS SOPS 38320 HAS SOUS 29682 HAS SOUPS 29682 WITH SCORE 29720.32
AT ITER 505 NEW BEST:: SOT 150424 SOS 38332 HAS SOPS 38332 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29717.332
AT ITER 517 NEW BEST:: SOT 150409 SOS 38302 HAS SOPS 38302 HAS SOUS 29649 HAS SOUPS 29649 WITH SCORE 29687.302
AT ITER 521 NEW BEST:: SOT 150342 SOS 38233 HAS SOPS 38233 HAS SOUS 29549 HAS SOUPS 29549 WITH SCORE 29587.233
AT ITER 523 NEW BEST:: SOT 150349 SOS 38247 HAS SOPS 38247 HAS SOUS 29536 HAS SOUPS 29536 WITH SCORE 29574.247
AT ITER 525 NEW BEST:: SOT 150238 SOS 38025 HAS SOPS 38025 HAS SOUS 29521 HAS SOUPS 29521 WITH SCORE 29559.025
AT ITER 527 NEW BEST:: SOT 150230 SOS 38009 HAS SOPS 38009 HAS SOUS 29513 HAS SOUPS 29513 WITH SCORE 29551.009
AT ITER 558 NEW BEST:: SOT 150193 SOS 37892 HAS SOPS 37892 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29475.892
AT ITER 563 NEW BEST:: SOT 150167 SOS 37840 HAS SOPS 37840 HAS SOUS 29413 HAS SOUPS 29413 WITH SCORE 29450.84
AT ITER 596 NEW BEST:: SOT 150136 SOS 37747 HAS SOPS 37747 HAS SOUS 29351 HAS SOUPS 29351 WITH SCORE 29388.747
AT ITER 603 NEW BEST:: SOT 150136 SOS 37718 HAS SOPS 37718 HAS SOUS 29322 HAS SOUPS 29322 WITH SCORE 29359.718
AT ITER 605 NEW BEST:: SOT 150075 SOS 37657 HAS SOPS 37657 HAS SOUS 29261 HAS SOUPS 29261 WITH SCORE 29298.657
AT ITER 611 NEW BEST:: SOT 149879 SOS 37265 HAS SOPS 37265 HAS SOUS 29065 HAS SOUPS 29065 WITH SCORE 29102.265
AT ITER 627 NEW BEST:: SOT 149873 SOS 37253 HAS SOPS 37253 HAS SOUS 29053 HAS SOUPS 29053 WITH SCORE 29090.253
AT ITER 632 NEW BEST:: SOT 149873 SOS 37220 HAS SOPS 37220 HAS SOUS 29020 HAS SOUPS 29020 WITH SCORE 29057.22
AT ITER 638 NEW BEST:: SOT 149873 SOS 37262 HAS SOPS 37262 HAS SOUS 29010 HAS SOUPS 29010 WITH SCORE 29047.262
AT ITER 656 NEW BEST:: SOT 149875 SOS 37266 HAS SOPS 37266 HAS SOUS 29007 HAS SOUPS 29007 WITH SCORE 29044.266
AT ITER 658 NEW BEST:: SOT 149850 SOS 37241 HAS SOPS 37241 HAS SOUS 28973 HAS SOUPS 28973 WITH SCORE 29010.241
AT ITER 692 NEW BEST:: SOT 149850 SOS 37112 HAS SOPS 37112 HAS SOUS 28973 HAS SOUPS 28973 WITH SCORE 29010.112
AT ITER 700 NEW BEST:: SOT 149831 SOS 36439 HAS SOPS 36439 HAS SOUS 28922 HAS SOUPS 28922 WITH SCORE 28958.439
AT ITER 701 NEW BEST:: SOT 149816 SOS 36332 HAS SOPS 36332 HAS SOUS 28864 HAS SOUPS 28864 WITH SCORE 28900.332
AT ITER 706 NEW BEST:: SOT 149816 SOS 36258 HAS SOPS 36258 HAS SOUS 28790 HAS SOUPS 28790 WITH SCORE 28826.258
AT ITER 710 NEW BEST:: SOT 149815 SOS 36157 HAS SOPS 36157 HAS SOUS 28783 HAS SOUPS 28783 WITH SCORE 28819.157
AT ITER 720 NEW BEST:: SOT 149717 SOS 35961 HAS SOPS 35961 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28720.961
AT ITER 724 NEW BEST:: SOT 149794 SOS 35885 HAS SOPS 35885 HAS SOUS 28633 HAS SOUPS 28633 WITH SCORE 28668.885
AT ITER 755 NEW BEST:: SOT 149752 SOS 35863 HAS SOPS 35863 HAS SOUS 28611 HAS SOUPS 28611 WITH SCORE 28646.863
AT ITER 789 NEW BEST:: SOT 149707 SOS 35818 HAS SOPS 35818 HAS SOUS 28566 HAS SOUPS 28566 WITH SCORE 28601.818
AT ITER 790 NEW BEST:: SOT 149787 SOS 35780 HAS SOPS 35780 HAS SOUS 28528 HAS SOUPS 28528 WITH SCORE 28563.78
AT ITER 793 NEW BEST:: SOT 149643 SOS 35543 HAS SOPS 35543 HAS SOUS 28319 HAS SOUPS 28319 WITH SCORE 28354.543
AT ITER 794 NEW BEST:: SOT 149603 SOS 35408 HAS SOPS 35408 HAS SOUS 28222 HAS SOUPS 28222 WITH SCORE 28257.408
AT ITER 803 NEW BEST:: SOT 149388 SOS 35480 HAS SOPS 35480 HAS SOUS 28067 HAS SOUPS 28067 WITH SCORE 28102.48
AT ITER 823 NEW BEST:: SOT 149353 SOS 35428 HAS SOPS 35428 HAS SOUS 28032 HAS SOUPS 28032 WITH SCORE 28067.428
AT ITER 825 NEW BEST:: SOT 149366 SOS 35425 HAS SOPS 35425 HAS SOUS 28029 HAS SOUPS 28029 WITH SCORE 28064.425
AT ITER 845 NEW BEST:: SOT 149302 SOS 35297 HAS SOPS 35297 HAS SOUS 28021 HAS SOUPS 28021 WITH SCORE 28056.297
AT ITER 850 NEW BEST:: SOT 149318 SOS 35225 HAS SOPS 35225 HAS SOUS 28018 HAS SOUPS 28018 WITH SCORE 28053.225
AT ITER 858 NEW BEST:: SOT 149298 SOS 35185 HAS SOPS 35185 HAS SOUS 27978 HAS SOUPS 27978 WITH SCORE 28013.185
AT ITER 871 NEW BEST:: SOT 149210 SOS 35054 HAS SOPS 35054 HAS SOUS 27887 HAS SOUPS 27887 WITH SCORE 27922.054
AT ITER 877 NEW BEST:: SOT 149191 SOS 35016 HAS SOPS 35016 HAS SOUS 27849 HAS SOUPS 27849 WITH SCORE 27884.016
AT ITER 896 NEW BEST:: SOT 149191 SOS 34996 HAS SOPS 34996 HAS SOUS 27829 HAS SOUPS 27829 WITH SCORE 27863.996
AT ITER 912 NEW BEST:: SOT 149194 SOS 35002 HAS SOPS 35002 HAS SOUS 27823 HAS SOUPS 27823 WITH SCORE 27858.002
AT ITER 926 NEW BEST:: SOT 149197 SOS 34992 HAS SOPS 34992 HAS SOUS 27813 HAS SOUPS 27813 WITH SCORE 27847.992
AT ITER 941 NEW BEST:: SOT 149163 SOS 34958 HAS SOPS 34958 HAS SOUS 27779 HAS SOUPS 27779 WITH SCORE 27813.958
AT ITER 942 NEW BEST:: SOT 149118 SOS 34913 HAS SOPS 34913 HAS SOUS 27734 HAS SOUPS 27734 WITH SCORE 27768.913
AT ITER 944 NEW BEST:: SOT 149091 SOS 34886 HAS SOPS 34886 HAS SOUS 27707 HAS SOUPS 27707 WITH SCORE 27741.886
AT ITER 945 NEW BEST:: SOT 149045 SOS 34840 HAS SOPS 34840 HAS SOUS 27615 HAS SOUPS 27615 WITH SCORE 27649.84
AT ITER 951 NEW BEST:: SOT 149058 SOS 34835 HAS SOPS 34835 HAS SOUS 27610 HAS SOUPS 27610 WITH SCORE 27644.835
AT ITER 979 NEW BEST:: SOT 149058 SOS 34817 HAS SOPS 34817 HAS SOUS 27592 HAS SOUPS 27592 WITH SCORE 27626.817
AT ITER 987 NEW BEST:: SOT 149012 SOS 34725 HAS SOPS 34725 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27602.725
AT ITER 995 NEW BEST:: SOT 149011 SOS 34724 HAS SOPS 34724 HAS SOUS 27566 HAS SOUPS 27566 WITH SCORE 27600.724
AT ITER 1000 NEW BEST:: SOT 149050 SOS 34708 HAS SOPS 34708 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27577.708
AT ITER 1009 NEW BEST:: SOT 149011 SOS 34630 HAS SOPS 34630 HAS SOUS 27481 HAS SOUPS 27481 WITH SCORE 27515.63
AT ITER 1012 NEW BEST:: SOT 149007 SOS 34687 HAS SOPS 34687 HAS SOUS 27463 HAS SOUPS 27463 WITH SCORE 27497.687
AT ITER 1022 NEW BEST:: SOT 149007 SOS 34674 HAS SOPS 34674 HAS SOUS 27463 HAS SOUPS 27463 WITH SCORE 27497.674
AT ITER 1032 NEW BEST:: SOT 148992 SOS 34629 HAS SOPS 34629 HAS SOUS 27418 HAS SOUPS 27418 WITH SCORE 27452.629
AT ITER 1039 NEW BEST:: SOT 148889 SOS 34423 HAS SOPS 34423 HAS SOUS 27212 HAS SOUPS 27212 WITH SCORE 27246.423
AT ITER 1051 NEW BEST:: SOT 148887 SOS 34422 HAS SOPS 34422 HAS SOUS 27211 HAS SOUPS 27211 WITH SCORE 27245.422
AT ITER 1078 NEW BEST:: SOT 149028 SOS 34410 HAS SOPS 34410 HAS SOUS 27199 HAS SOUPS 27199 WITH SCORE 27233.41
AT ITER 1080 NEW BEST:: SOT 148922 SOS 34253 HAS SOPS 34253 HAS SOUS 27145 HAS SOUPS 27145 WITH SCORE 27179.253
AT ITER 1083 NEW BEST:: SOT 148933 SOS 34247 HAS SOPS 34247 HAS SOUS 27139 HAS SOUPS 27139 WITH SCORE 27173.247
AT ITER 1092 NEW BEST:: SOT 148926 SOS 34233 HAS SOPS 34233 HAS SOUS 27125 HAS SOUPS 27125 WITH SCORE 27159.233
AT ITER 1133 NEW BEST:: SOT 148908 SOS 34197 HAS SOPS 34197 HAS SOUS 27107 HAS SOUPS 27107 WITH SCORE 27141.197
AT ITER 1138 NEW BEST:: SOT 148893 SOS 34216 HAS SOPS 34216 HAS SOUS 27070 HAS SOUPS 27070 WITH SCORE 27104.216
AT ITER 1149 NEW BEST:: SOT 148953 SOS 34210 HAS SOPS 34210 HAS SOUS 27023 HAS SOUPS 27023 WITH SCORE 27057.21
AT ITER 1150 NEW BEST:: SOT 148830 SOS 34119 HAS SOPS 34119 HAS SOUS 26932 HAS SOUPS 26932 WITH SCORE 26966.119
AT ITER 1164 NEW BEST:: SOT 148762 SOS 34051 HAS SOPS 34051 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26956.051
AT ITER 1202 NEW BEST:: SOT 148712 SOS 33951 HAS SOPS 33951 HAS SOUS 26822 HAS SOUPS 26822 WITH SCORE 26855.951
AT ITER 1210 NEW BEST:: SOT 148819 SOS 33946 HAS SOPS 33946 HAS SOUS 26808 HAS SOUPS 26808 WITH SCORE 26841.946
AT ITER 1221 NEW BEST:: SOT 148798 SOS 33864 HAS SOPS 33864 HAS SOUS 26797 HAS SOUPS 26797 WITH SCORE 26830.864
AT ITER 1222 NEW BEST:: SOT 148767 SOS 33814 HAS SOPS 33814 HAS SOUS 26754 HAS SOUPS 26754 WITH SCORE 26787.814
AT ITER 1223 NEW BEST:: SOT 148704 SOS 33787 HAS SOPS 33787 HAS SOUS 26744 HAS SOUPS 26744 WITH SCORE 26777.787
AT ITER 1239 NEW BEST:: SOT 148618 SOS 33493 HAS SOPS 33493 HAS SOUS 26532 HAS SOUPS 26532 WITH SCORE 26565.493
AT ITER 1247 NEW BEST:: SOT 148618 SOS 33465 HAS SOPS 33465 HAS SOUS 26518 HAS SOUPS 26518 WITH SCORE 26551.465
AT ITER 1252 NEW BEST:: SOT 148495 SOS 33817 HAS SOPS 33817 HAS SOUS 26483 HAS SOUPS 26483 WITH SCORE 26516.817
AT ITER 1289 NEW BEST:: SOT 148300 SOS 33652 HAS SOPS 33652 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26321.652
AT ITER 1291 NEW BEST:: SOT 148299 SOS 33650 HAS SOPS 33650 HAS SOUS 26287 HAS SOUPS 26287 WITH SCORE 26320.65
AT ITER 1298 NEW BEST:: SOT 148264 SOS 33640 HAS SOPS 33640 HAS SOUS 26277 HAS SOUPS 26277 WITH SCORE 26310.64
AT ITER 1304 NEW BEST:: SOT 148232 SOS 33585 HAS SOPS 33585 HAS SOUS 26259 HAS SOUPS 26259 WITH SCORE 26292.585
AT ITER 1340 NEW BEST:: SOT 147471 SOS 36454 HAS SOPS 36454 HAS SOUS 25849 HAS SOUPS 25849 WITH SCORE 25885.454
AT ITER 1345 NEW BEST:: SOT 147430 SOS 36413 HAS SOPS 36413 HAS SOUS 25849 HAS SOUPS 25849 WITH SCORE 25885.413
AT ITER 1366 NEW BEST:: SOT 147427 SOS 36410 HAS SOPS 36410 HAS SOUS 25837 HAS SOUPS 25837 WITH SCORE 25873.41
AT ITER 1435 NEW BEST:: SOT 147427 SOS 36410 HAS SOPS 36410 HAS SOUS 25798 HAS SOUPS 25798 WITH SCORE 25834.41
AT ITER 1438 NEW BEST:: SOT 147417 SOS 36370 HAS SOPS 36370 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 25804.37
AT ITER 1440 NEW BEST:: SOT 147396 SOS 36328 HAS SOPS 36328 HAS SOUS 25737 HAS SOUPS 25737 WITH SCORE 25773.328
AT ITER 1453 NEW BEST:: SOT 147807 SOS 36474 HAS SOPS 36474 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25735.474
AT ITER 1458 NEW BEST:: SOT 147807 SOS 35184 HAS SOPS 35184 HAS SOUS 25613 HAS SOUPS 25613 WITH SCORE 25648.184
AT ITER 1460 NEW BEST:: SOT 147761 SOS 35219 HAS SOPS 35219 HAS SOUS 25590 HAS SOUPS 25590 WITH SCORE 25625.219
AT ITER 1466 NEW BEST:: SOT 147812 SOS 35181 HAS SOPS 35181 HAS SOUS 25564 HAS SOUPS 25564 WITH SCORE 25599.181
AT ITER 1489 NEW BEST:: SOT 147606 SOS 34769 HAS SOPS 34769 HAS SOUS 25533 HAS SOUPS 25533 WITH SCORE 25567.769
AT ITER 1500 NEW BEST:: SOT 147599 SOS 34762 HAS SOPS 34762 HAS SOUS 25529 HAS SOUPS 25529 WITH SCORE 25563.762
AT ITER 1501 NEW BEST:: SOT 147438 SOS 34601 HAS SOPS 34601 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25336.601
AT ITER 1503 NEW BEST:: SOT 147393 SOS 34556 HAS SOPS 34556 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25336.556
AT ITER 1505 NEW BEST:: SOT 147397 SOS 34562 HAS SOPS 34562 HAS SOUS 25299 HAS SOUPS 25299 WITH SCORE 25333.562
AT ITER 1521 NEW BEST:: SOT 147392 SOS 34551 HAS SOPS 34551 HAS SOUS 25288 HAS SOUPS 25288 WITH SCORE 25322.551
AT ITER 1524 NEW BEST:: SOT 147387 SOS 34548 HAS SOPS 34548 HAS SOUS 25285 HAS SOUPS 25285 WITH SCORE 25319.548
AT ITER 1528 NEW BEST:: SOT 147325 SOS 34455 HAS SOPS 34455 HAS SOUS 25223 HAS SOUPS 25223 WITH SCORE 25257.455
AT ITER 1626 NEW BEST:: SOT 147315 SOS 34425 HAS SOPS 34425 HAS SOUS 25193 HAS SOUPS 25193 WITH SCORE 25227.425
AT ITER 1651 NEW BEST:: SOT 147317 SOS 34429 HAS SOPS 34429 HAS SOUS 25173 HAS SOUPS 25173 WITH SCORE 25207.429
AT ITER 1665 NEW BEST:: SOT 147272 SOS 34339 HAS SOPS 34339 HAS SOUS 25134 HAS SOUPS 25134 WITH SCORE 25168.339
AT ITER 1687 NEW BEST:: SOT 147248 SOS 34303 HAS SOPS 34303 HAS SOUS 25098 HAS SOUPS 25098 WITH SCORE 25132.303
AT ITER 1704 NEW BEST:: SOT 147238 SOS 34153 HAS SOPS 34153 HAS SOUS 25088 HAS SOUPS 25088 WITH SCORE 25122.153
AT ITER 1713 NEW BEST:: SOT 147221 SOS 34133 HAS SOPS 34133 HAS SOUS 25075 HAS SOUPS 25075 WITH SCORE 25109.133
AT ITER 1729 NEW BEST:: SOT 147224 SOS 33831 HAS SOPS 33831 HAS SOUS 25050 HAS SOUPS 25050 WITH SCORE 25083.831
AT ITER 1742 NEW BEST:: SOT 147266 SOS 33835 HAS SOPS 33835 HAS SOUS 25024 HAS SOUPS 25024 WITH SCORE 25057.835
AT ITER 1770 NEW BEST:: SOT 147337 SOS 33906 HAS SOPS 33906 HAS SOUS 24967 HAS SOUPS 24967 WITH SCORE 25000.906
AT ITER 1775 NEW BEST:: SOT 147280 SOS 33849 HAS SOPS 33849 HAS SOUS 24910 HAS SOUPS 24910 WITH SCORE 24943.849
AT ITER 1791 NEW BEST:: SOT 147283 SOS 33855 HAS SOPS 33855 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24939.855
AT ITER 1817 NEW BEST:: SOT 147268 SOS 33825 HAS SOPS 33825 HAS SOUS 24876 HAS SOUPS 24876 WITH SCORE 24909.825
AT ITER 1830 NEW BEST:: SOT 147311 SOS 33808 HAS SOPS 33808 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24892.808
AT ITER 1866 NEW BEST:: SOT 147311 SOS 33806 HAS SOPS 33806 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24892.806
AT ITER 1935 NEW BEST:: SOT 147306 SOS 33796 HAS SOPS 33796 HAS SOUS 24849 HAS SOUPS 24849 WITH SCORE 24882.796
AT ITER 1955 NEW BEST:: SOT 147261 SOS 33706 HAS SOPS 33706 HAS SOUS 24759 HAS SOUPS 24759 WITH SCORE 24792.706
AT ITER 1981 NEW BEST:: SOT 147257 SOS 33698 HAS SOPS 33698 HAS SOUS 24755 HAS SOUPS 24755 WITH SCORE 24788.698
AT ITER 1998 NEW BEST:: SOT 147161 SOS 33506 HAS SOPS 33506 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24692.506
AT ITER 2024 NEW BEST:: SOT 147159 SOS 33504 HAS SOPS 33504 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24692.504
AT ITER 2029 NEW BEST:: SOT 147150 SOS 33501 HAS SOPS 33501 HAS SOUS 24656 HAS SOUPS 24656 WITH SCORE 24689.501
AT ITER 2098 NEW BEST:: SOT 147143 SOS 33499 HAS SOPS 33499 HAS SOUS 24654 HAS SOUPS 24654 WITH SCORE 24687.499
AT ITER 2100 NEW BEST:: SOT 147067 SOS 33423 HAS SOPS 33423 HAS SOUS 24616 HAS SOUPS 24616 WITH SCORE 24649.423
AT ITER 2104 NEW BEST:: SOT 147077 SOS 33378 HAS SOPS 33378 HAS SOUS 24571 HAS SOUPS 24571 WITH SCORE 24604.378
AT ITER 2113 NEW BEST:: SOT 147073 SOS 33370 HAS SOPS 33370 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24574.37
AT ITER 2119 NEW BEST:: SOT 147073 SOS 33370 HAS SOPS 33370 HAS SOUS 24375 HAS SOUPS 24375 WITH SCORE 24408.37
AT ITER 2125 NEW BEST:: SOT 147037 SOS 33338 HAS SOPS 33338 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24376.338
AT ITER 2139 NEW BEST:: SOT 147038 SOS 33333 HAS SOPS 33333 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24371.333
AT ITER 2143 NEW BEST:: SOT 147038 SOS 33276 HAS SOPS 33276 HAS SOUS 24281 HAS SOUPS 24281 WITH SCORE 24314.276
AT ITER 2207 NEW BEST:: SOT 147019 SOS 33239 HAS SOPS 33239 HAS SOUS 24268 HAS SOUPS 24268 WITH SCORE 24301.239
AT ITER 2208 NEW BEST:: SOT 147006 SOS 33213 HAS SOPS 33213 HAS SOUS 24242 HAS SOUPS 24242 WITH SCORE 24275.213
AT ITER 2214 NEW BEST:: SOT 147006 SOS 33194 HAS SOPS 33194 HAS SOUS 24233 HAS SOUPS 24233 WITH SCORE 24266.194
AT ITER 2218 NEW BEST:: SOT 146971 SOS 33190 HAS SOPS 33190 HAS SOUS 24208 HAS SOUPS 24208 WITH SCORE 24241.19
AT ITER 2246 NEW BEST:: SOT 146926 SOS 33145 HAS SOPS 33145 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24196.145
AT ITER 2262 NEW BEST:: SOT 146924 SOS 33141 HAS SOPS 33141 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24192.141
AT ITER 2276 NEW BEST:: SOT 146913 SOS 33143 HAS SOPS 33143 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24183.143
AT ITER 2303 NEW BEST:: SOT 146940 SOS 33116 HAS SOPS 33116 HAS SOUS 24126 HAS SOUPS 24126 WITH SCORE 24159.116
AT ITER 2307 NEW BEST:: SOT 146996 SOS 33172 HAS SOPS 33172 HAS SOUS 24107 HAS SOUPS 24107 WITH SCORE 24140.172
AT ITER 2321 NEW BEST:: SOT 146999 SOS 32394 HAS SOPS 32394 HAS SOUS 24054 HAS SOUPS 24054 WITH SCORE 24086.394
AT ITER 2333 NEW BEST:: SOT 146959 SOS 32364 HAS SOPS 32364 HAS SOUS 24037 HAS SOUPS 24037 WITH SCORE 24069.364
AT ITER 2353 NEW BEST:: SOT 146959 SOS 32358 HAS SOPS 32358 HAS SOUS 24031 HAS SOUPS 24031 WITH SCORE 24063.358
AT ITER 2371 NEW BEST:: SOT 146911 SOS 32310 HAS SOPS 32310 HAS SOUS 23998 HAS SOUPS 23998 WITH SCORE 24030.31
AT ITER 2381 NEW BEST:: SOT 146899 SOS 32292 HAS SOPS 32292 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24018.292
AT ITER 2388 NEW BEST:: SOT 146977 SOS 32290 HAS SOPS 32290 HAS SOUS 23935 HAS SOUPS 23935 WITH SCORE 23967.29
AT ITER 2402 NEW BEST:: SOT 146914 SOS 32164 HAS SOPS 32164 HAS SOUS 23809 HAS SOUPS 23809 WITH SCORE 23841.164
AT ITER 2414 NEW BEST:: SOT 146826 SOS 31988 HAS SOPS 31988 HAS SOUS 23716 HAS SOUPS 23716 WITH SCORE 23747.988
AT ITER 2426 NEW BEST:: SOT 146768 SOS 31931 HAS SOPS 31931 HAS SOUS 23659 HAS SOUPS 23659 WITH SCORE 23690.931
AT ITER 2438 NEW BEST:: SOT 146797 SOS 31920 HAS SOPS 31920 HAS SOUS 23653 HAS SOUPS 23653 WITH SCORE 23684.92
AT ITER 2461 NEW BEST:: SOT 146738 SOS 31814 HAS SOPS 31814 HAS SOUS 23587 HAS SOUPS 23587 WITH SCORE 23618.814
AT ITER 2464 NEW BEST:: SOT 146735 SOS 31808 HAS SOPS 31808 HAS SOUS 23581 HAS SOUPS 23581 WITH SCORE 23612.808
AT ITER 2510 NEW BEST:: SOT 146729 SOS 31800 HAS SOPS 31800 HAS SOUS 23573 HAS SOUPS 23573 WITH SCORE 23604.8
AT ITER 2514 NEW BEST:: SOT 146693 SOS 31764 HAS SOPS 31764 HAS SOUS 23570 HAS SOUPS 23570 WITH SCORE 23601.764
AT ITER 2559 NEW BEST:: SOT 146688 SOS 31882 HAS SOPS 31882 HAS SOUS 23565 HAS SOUPS 23565 WITH SCORE 23596.882
AT ITER 2579 NEW BEST:: SOT 146673 SOS 31837 HAS SOPS 31837 HAS SOUS 23550 HAS SOUPS 23550 WITH SCORE 23581.837
AT ITER 2582 NEW BEST:: SOT 146673 SOS 31837 HAS SOPS 31837 HAS SOUS 23549 HAS SOUPS 23549 WITH SCORE 23580.837
AT ITER 2596 NEW BEST:: SOT 146666 SOS 31816 HAS SOPS 31816 HAS SOUS 23535 HAS SOUPS 23535 WITH SCORE 23566.816
AT ITER 2599 NEW BEST:: SOT 146666 SOS 31807 HAS SOPS 31807 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23557.807
AT ITER 2604 NEW BEST:: SOT 146754 SOS 31856 HAS SOPS 31856 HAS SOUS 23520 HAS SOUPS 23520 WITH SCORE 23551.856
AT ITER 2610 NEW BEST:: SOT 146756 SOS 31839 HAS SOPS 31839 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23534.839
AT ITER 2624 NEW BEST:: SOT 146720 SOS 31796 HAS SOPS 31796 HAS SOUS 23496 HAS SOUPS 23496 WITH SCORE 23527.796
AT ITER 2635 NEW BEST:: SOT 146750 SOS 31387 HAS SOPS 31387 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23446.387
AT ITER 2641 NEW BEST:: SOT 146707 SOS 31257 HAS SOPS 31257 HAS SOUS 23342 HAS SOUPS 23342 WITH SCORE 23373.257
AT ITER 2654 NEW BEST:: SOT 146725 SOS 31293 HAS SOPS 31293 HAS SOUS 23338 HAS SOUPS 23338 WITH SCORE 23369.293
AT ITER 2661 NEW BEST:: SOT 146725 SOS 31293 HAS SOPS 31293 HAS SOUS 23333 HAS SOUPS 23333 WITH SCORE 23364.293
AT ITER 2676 NEW BEST:: SOT 146724 SOS 31291 HAS SOPS 31291 HAS SOUS 23331 HAS SOUPS 23331 WITH SCORE 23362.291
AT ITER 2709 NEW BEST:: SOT 146655 SOS 31222 HAS SOPS 31222 HAS SOUS 23262 HAS SOUPS 23262 WITH SCORE 23293.222
AT ITER 2728 NEW BEST:: SOT 146655 SOS 31202 HAS SOPS 31202 HAS SOUS 23262 HAS SOUPS 23262 WITH SCORE 23293.202
AT ITER 2734 NEW BEST:: SOT 146654 SOS 31195 HAS SOPS 31195 HAS SOUS 23260 HAS SOUPS 23260 WITH SCORE 23291.195
AT ITER 2735 NEW BEST:: SOT 146620 SOS 31087 HAS SOPS 31087 HAS SOUS 23186 HAS SOUPS 23186 WITH SCORE 23217.087
AT ITER 2758 NEW BEST:: SOT 146447 SOS 30789 HAS SOPS 30789 HAS SOUS 23067 HAS SOUPS 23067 WITH SCORE 23097.789
AT ITER 2791 NEW BEST:: SOT 146471 SOS 30837 HAS SOPS 30837 HAS SOUS 23058 HAS SOUPS 23058 WITH SCORE 23088.837
AT ITER 2800 NEW BEST:: SOT 146452 SOS 30799 HAS SOPS 30799 HAS SOUS 23020 HAS SOUPS 23020 WITH SCORE 23050.799
AT ITER 2806 NEW BEST:: SOT 146409 SOS 30751 HAS SOPS 30751 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23002.751
AT ITER 2822 NEW BEST:: SOT 146348 SOS 30690 HAS SOPS 30690 HAS SOUS 22971 HAS SOUPS 22971 WITH SCORE 23001.69
AT ITER 2826 NEW BEST:: SOT 146339 SOS 30672 HAS SOPS 30672 HAS SOUS 22962 HAS SOUPS 22962 WITH SCORE 22992.672
AT ITER 2835 NEW BEST:: SOT 146325 SOS 30664 HAS SOPS 30664 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 22984.664
AT ITER 2836 NEW BEST:: SOT 146290 SOS 30634 HAS SOPS 30634 HAS SOUS 22919 HAS SOUPS 22919 WITH SCORE 22949.634
AT ITER 2864 NEW BEST:: SOT 146172 SOS 30516 HAS SOPS 30516 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22791.516
AT ITER 2884 NEW BEST:: SOT 146160 SOS 30492 HAS SOPS 30492 HAS SOUS 22737 HAS SOUPS 22737 WITH SCORE 22767.492
AT ITER 2925 NEW BEST:: SOT 146027 SOS 31578 HAS SOPS 31578 HAS SOUS 22709 HAS SOUPS 22709 WITH SCORE 22740.578
AT ITER 2943 NEW BEST:: SOT 146026 SOS 31576 HAS SOPS 31576 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22739.576
AT ITER 2947 NEW BEST:: SOT 146026 SOS 31587 HAS SOPS 31587 HAS SOUS 22697 HAS SOUPS 22697 WITH SCORE 22728.587
AT ITER 2953 NEW BEST:: SOT 146008 SOS 31631 HAS SOPS 31631 HAS SOUS 22696 HAS SOUPS 22696 WITH SCORE 22727.631
AT ITER 2982 NEW BEST:: SOT 145988 SOS 31591 HAS SOPS 31591 HAS SOUS 22656 HAS SOUPS 22656 WITH SCORE 22687.591
AT ITER 2984 NEW BEST:: SOT 145988 SOS 31587 HAS SOPS 31587 HAS SOUS 22652 HAS SOUPS 22652 WITH SCORE 22683.587
AT ITER 2991 NEW BEST:: SOT 145993 SOS 31597 HAS SOPS 31597 HAS SOUS 22645 HAS SOUPS 22645 WITH SCORE 22676.597
AT ITER 2997 NEW BEST:: SOT 145926 SOS 31463 HAS SOPS 31463 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22633.463
AT ITER 3031 NEW BEST:: SOT 145916 SOS 31443 HAS SOPS 31443 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22623.443
AT ITER 3044 NEW BEST:: SOT 146059 SOS 31525 HAS SOPS 31525 HAS SOUS 22564 HAS SOUPS 22564 WITH SCORE 22595.525
AT ITER 3078 NEW BEST:: SOT 146014 SOS 31553 HAS SOPS 31553 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22591.553
AT ITER 3081 NEW BEST:: SOT 146064 SOS 30483 HAS SOPS 30483 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22591.483
AT ITER 3087 NEW BEST:: SOT 146064 SOS 30483 HAS SOPS 30483 HAS SOUS 22549 HAS SOUPS 22549 WITH SCORE 22579.483
AT ITER 3114 NEW BEST:: SOT 145540 SOS 31460 HAS SOPS 31460 HAS SOUS 22299 HAS SOUPS 22299 WITH SCORE 22330.46
AT ITER 3127 NEW BEST:: SOT 145499 SOS 31413 HAS SOPS 31413 HAS SOUS 22229 HAS SOUPS 22229 WITH SCORE 22260.413
AT ITER 3140 NEW BEST:: SOT 145469 SOS 31387 HAS SOPS 31387 HAS SOUS 22203 HAS SOUPS 22203 WITH SCORE 22234.387
AT ITER 3182 NEW BEST:: SOT 145851 SOS 31756 HAS SOPS 31756 HAS SOUS 22106 HAS SOUPS 22106 WITH SCORE 22137.756
AT ITER 3190 NEW BEST:: SOT 145831 SOS 31736 HAS SOPS 31736 HAS SOUS 22096 HAS SOUPS 22096 WITH SCORE 22127.736
AT ITER 3193 NEW BEST:: SOT 145828 SOS 31730 HAS SOPS 31730 HAS SOUS 22093 HAS SOUPS 22093 WITH SCORE 22124.73
AT ITER 3236 NEW BEST:: SOT 145828 SOS 31727 HAS SOPS 31727 HAS SOUS 22090 HAS SOUPS 22090 WITH SCORE 22121.727
AT ITER 3260 NEW BEST:: SOT 145828 SOS 31742 HAS SOPS 31742 HAS SOUS 22075 HAS SOUPS 22075 WITH SCORE 22106.742
AT ITER 3268 NEW BEST:: SOT 145802 SOS 31732 HAS SOPS 31732 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22096.732
AT ITER 3274 NEW BEST:: SOT 145802 SOS 31730 HAS SOPS 31730 HAS SOUS 22063 HAS SOUPS 22063 WITH SCORE 22094.73
AT ITER 3297 NEW BEST:: SOT 145801 SOS 31728 HAS SOPS 31728 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22086.728
AT ITER 3333 NEW BEST:: SOT 145741 SOS 31946 HAS SOPS 31946 HAS SOUS 21995 HAS SOUPS 21995 WITH SCORE 22026.946
AT ITER 3358 NEW BEST:: SOT 145711 SOS 31886 HAS SOPS 31886 HAS SOUS 21935 HAS SOUPS 21935 WITH SCORE 21966.886
AT ITER 3370 NEW BEST:: SOT 145709 SOS 31979 HAS SOPS 31979 HAS SOUS 21933 HAS SOUPS 21933 WITH SCORE 21964.979
AT ITER 3418 NEW BEST:: SOT 145709 SOS 31959 HAS SOPS 31959 HAS SOUS 21913 HAS SOUPS 21913 WITH SCORE 21944.959
AT ITER 3451 NEW BEST:: SOT 145709 SOS 31949 HAS SOPS 31949 HAS SOUS 21888 HAS SOUPS 21888 WITH SCORE 21919.949
AT ITER 3454 NEW BEST:: SOT 145698 SOS 31927 HAS SOPS 31927 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21870.927
AT ITER 3470 NEW BEST:: SOT 145665 SOS 31861 HAS SOPS 31861 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21804.861
AT ITER 3538 NEW BEST:: SOT 145666 SOS 31863 HAS SOPS 31863 HAS SOUS 21748 HAS SOUPS 21748 WITH SCORE 21779.863
AT ITER 3548 NEW BEST:: SOT 145666 SOS 31854 HAS SOPS 31854 HAS SOUS 21739 HAS SOUPS 21739 WITH SCORE 21770.854
AT ITER 3607 NEW BEST:: SOT 145666 SOS 31817 HAS SOPS 31817 HAS SOUS 21702 HAS SOUPS 21702 WITH SCORE 21733.817
AT ITER 3626 NEW BEST:: SOT 145701 SOS 31852 HAS SOPS 31852 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21729.852
AT ITER 3627 NEW BEST:: SOT 145704 SOS 31822 HAS SOPS 31822 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21714.822
AT ITER 3630 NEW BEST:: SOT 145578 SOS 31570 HAS SOPS 31570 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21714.57
AT ITER 3666 NEW BEST:: SOT 145569 SOS 31552 HAS SOPS 31552 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21696.552
AT ITER 3714 NEW BEST:: SOT 145578 SOS 31558 HAS SOPS 31558 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21693.558
AT ITER 3726 NEW BEST:: SOT 145523 SOS 31578 HAS SOPS 31578 HAS SOUS 21607 HAS SOUPS 21607 WITH SCORE 21638.578
AT ITER 3752 NEW BEST:: SOT 145528 SOS 31570 HAS SOPS 31570 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21630.57
AT ITER 3761 NEW BEST:: SOT 145523 SOS 31530 HAS SOPS 31530 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21625.53
AT ITER 3771 NEW BEST:: SOT 145505 SOS 31462 HAS SOPS 31462 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21589.462
AT ITER 3794 NEW BEST:: SOT 145505 SOS 31338 HAS SOPS 31338 HAS SOUS 21496 HAS SOUPS 21496 WITH SCORE 21527.338
AT ITER 3809 NEW BEST:: SOT 145499 SOS 31311 HAS SOPS 31311 HAS SOUS 21484 HAS SOUPS 21484 WITH SCORE 21515.311
AT ITER 3811 NEW BEST:: SOT 145496 SOS 31308 HAS SOPS 31308 HAS SOUS 21481 HAS SOUPS 21481 WITH SCORE 21512.308
AT ITER 3817 NEW BEST:: SOT 145473 SOS 31269 HAS SOPS 31269 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21495.269
AT ITER 3825 NEW BEST:: SOT 145462 SOS 31219 HAS SOPS 31219 HAS SOUS 21430 HAS SOUPS 21430 WITH SCORE 21461.219
AT ITER 3869 NEW BEST:: SOT 145441 SOS 31199 HAS SOPS 31199 HAS SOUS 21410 HAS SOUPS 21410 WITH SCORE 21441.199
AT ITER 3887 NEW BEST:: SOT 145434 SOS 31185 HAS SOPS 31185 HAS SOUS 21410 HAS SOUPS 21410 WITH SCORE 21441.185
AT ITER 3908 NEW BEST:: SOT 145425 SOS 31167 HAS SOPS 31167 HAS SOUS 21391 HAS SOUPS 21391 WITH SCORE 21422.167
AT ITER 3928 NEW BEST:: SOT 145425 SOS 31156 HAS SOPS 31156 HAS SOUS 21391 HAS SOUPS 21391 WITH SCORE 21422.156
AT ITER 3952 NEW BEST:: SOT 145393 SOS 31092 HAS SOPS 31092 HAS SOUS 21343 HAS SOUPS 21343 WITH SCORE 21374.092
AT ITER 3960 NEW BEST:: SOT 145381 SOS 31068 HAS SOPS 31068 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21340.068
AT ITER 3984 NEW BEST:: SOT 145390 SOS 31046 HAS SOPS 31046 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21334.046
AT ITER 4004 NEW BEST:: SOT 145403 SOS 31059 HAS SOPS 31059 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21332.059
AT ITER 4005 NEW BEST:: SOT 145343 SOS 30997 HAS SOPS 30997 HAS SOUS 21242 HAS SOUPS 21242 WITH SCORE 21272.997
AT ITER 4035 NEW BEST:: SOT 145342 SOS 31015 HAS SOPS 31015 HAS SOUS 21240 HAS SOUPS 21240 WITH SCORE 21271.015
AT ITER 4054 NEW BEST:: SOT 145286 SOS 30959 HAS SOPS 30959 HAS SOUS 21233 HAS SOUPS 21233 WITH SCORE 21263.959
AT ITER 4064 NEW BEST:: SOT 145260 SOS 30907 HAS SOPS 30907 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21205.907
AT ITER 4066 NEW BEST:: SOT 145199 SOS 30785 HAS SOPS 30785 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21205.785
AT ITER 4070 NEW BEST:: SOT 145198 SOS 30783 HAS SOPS 30783 HAS SOUS 21173 HAS SOUPS 21173 WITH SCORE 21203.783
AT ITER 4076 NEW BEST:: SOT 145230 SOS 30847 HAS SOPS 30847 HAS SOUS 21151 HAS SOUPS 21151 WITH SCORE 21181.847
AT ITER 4092 NEW BEST:: SOT 145200 SOS 30810 HAS SOPS 30810 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21144.81
AT ITER 4104 NEW BEST:: SOT 145200 SOS 30794 HAS SOPS 30794 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21144.794
AT ITER 4110 NEW BEST:: SOT 145219 SOS 30804 HAS SOPS 30804 HAS SOUS 21110 HAS SOUPS 21110 WITH SCORE 21140.804
AT ITER 4124 NEW BEST:: SOT 145195 SOS 30783 HAS SOPS 30783 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21114.783
AT ITER 4139 NEW BEST:: SOT 145034 SOS 30637 HAS SOPS 30637 HAS SOUS 21026 HAS SOUPS 21026 WITH SCORE 21056.637
AT ITER 4152 NEW BEST:: SOT 145032 SOS 30633 HAS SOPS 30633 HAS SOUS 21025 HAS SOUPS 21025 WITH SCORE 21055.633
AT ITER 4187 NEW BEST:: SOT 144997 SOS 30603 HAS SOPS 30603 HAS SOUS 21010 HAS SOUPS 21010 WITH SCORE 21040.603
AT ITER 4189 NEW BEST:: SOT 144800 SOS 31923 HAS SOPS 31923 HAS SOUS 20905 HAS SOUPS 20905 WITH SCORE 20936.923
AT ITER 4215 NEW BEST:: SOT 144732 SOS 31787 HAS SOPS 31787 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20862.787
AT ITER 4284 NEW BEST:: SOT 144732 SOS 31781 HAS SOPS 31781 HAS SOUS 20825 HAS SOUPS 20825 WITH SCORE 20856.781
AT ITER 4286 NEW BEST:: SOT 144730 SOS 31779 HAS SOPS 31779 HAS SOUS 20823 HAS SOUPS 20823 WITH SCORE 20854.779
AT ITER 4296 NEW BEST:: SOT 144653 SOS 31702 HAS SOPS 31702 HAS SOUS 20823 HAS SOUPS 20823 WITH SCORE 20854.702
AT ITER 4361 NEW BEST:: SOT 144588 SOS 32497 HAS SOPS 32497 HAS SOUS 20819 HAS SOUPS 20819 WITH SCORE 20851.497
AT ITER 4379 NEW BEST:: SOT 144584 SOS 32489 HAS SOPS 32489 HAS SOUS 20815 HAS SOUPS 20815 WITH SCORE 20847.489
AT ITER 4401 NEW BEST:: SOT 144413 SOS 32240 HAS SOPS 32240 HAS SOUS 20659 HAS SOUPS 20659 WITH SCORE 20691.24
AT ITER 4404 NEW BEST:: SOT 144380 SOS 32174 HAS SOPS 32174 HAS SOUS 20611 HAS SOUPS 20611 WITH SCORE 20643.174
AT ITER 4416 NEW BEST:: SOT 144388 SOS 32149 HAS SOPS 32149 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20621.149
AT ITER 4421 NEW BEST:: SOT 144312 SOS 32086 HAS SOPS 32086 HAS SOUS 20498 HAS SOUPS 20498 WITH SCORE 20530.086
AT ITER 4449 NEW BEST:: SOT 144264 SOS 32061 HAS SOPS 32061 HAS SOUS 20478 HAS SOUPS 20478 WITH SCORE 20510.061
AT ITER 4488 NEW BEST:: SOT 144264 SOS 32061 HAS SOPS 32061 HAS SOUS 20411 HAS SOUPS 20411 WITH SCORE 20443.061
AT ITER 4489 NEW BEST:: SOT 144250 SOS 31982 HAS SOPS 31982 HAS SOUS 20378 HAS SOUPS 20378 WITH SCORE 20409.982
AT ITER 4495 NEW BEST:: SOT 144210 SOS 31902 HAS SOPS 31902 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20329.902
AT ITER 4499 NEW BEST:: SOT 144210 SOS 31906 HAS SOPS 31906 HAS SOUS 20294 HAS SOUPS 20294 WITH SCORE 20325.906
AT ITER 4507 NEW BEST:: SOT 144203 SOS 31897 HAS SOPS 31897 HAS SOUS 20285 HAS SOUPS 20285 WITH SCORE 20316.897
AT ITER 4527 NEW BEST:: SOT 144203 SOS 31897 HAS SOPS 31897 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20315.897
AT ITER 4547 NEW BEST:: SOT 144175 SOS 31841 HAS SOPS 31841 HAS SOUS 20256 HAS SOUPS 20256 WITH SCORE 20287.841
AT ITER 4571 NEW BEST:: SOT 144175 SOS 31834 HAS SOPS 31834 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20280.834
AT ITER 4575 NEW BEST:: SOT 144167 SOS 31810 HAS SOPS 31810 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20280.81
AT ITER 4597 NEW BEST:: SOT 144128 SOS 31755 HAS SOPS 31755 HAS SOUS 20194 HAS SOUPS 20194 WITH SCORE 20225.755
AT ITER 4622 NEW BEST:: SOT 144095 SOS 31194 HAS SOPS 31194 HAS SOUS 20128 HAS SOUPS 20128 WITH SCORE 20159.194
AT ITER 4624 NEW BEST:: SOT 144105 SOS 31186 HAS SOPS 31186 HAS SOUS 20120 HAS SOUPS 20120 WITH SCORE 20151.186
AT ITER 4644 NEW BEST:: SOT 144092 SOS 31160 HAS SOPS 31160 HAS SOUS 20094 HAS SOUPS 20094 WITH SCORE 20125.16
AT ITER 4652 NEW BEST:: SOT 144091 SOS 31157 HAS SOPS 31157 HAS SOUS 20091 HAS SOUPS 20091 WITH SCORE 20122.157
AT ITER 4721 NEW BEST:: SOT 144062 SOS 31128 HAS SOPS 31128 HAS SOUS 20062 HAS SOUPS 20062 WITH SCORE 20093.128
AT ITER 4790 NEW BEST:: SOT 144053 SOS 31119 HAS SOPS 31119 HAS SOUS 20053 HAS SOUPS 20053 WITH SCORE 20084.119
AT ITER 4828 NEW BEST:: SOT 144053 SOS 31114 HAS SOPS 31114 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20079.114
AT ITER 4865 NEW BEST:: SOT 144053 SOS 31070 HAS SOPS 31070 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20079.07
AT ITER 4881 NEW BEST:: SOT 144046 SOS 31119 HAS SOPS 31119 HAS SOUS 20041 HAS SOUPS 20041 WITH SCORE 20072.119
AT ITER 4886 NEW BEST:: SOT 144047 SOS 31121 HAS SOPS 31121 HAS SOUS 20036 HAS SOUPS 20036 WITH SCORE 20067.121
AT ITER 4919 NEW BEST:: SOT 143997 SOS 31021 HAS SOPS 31021 HAS SOUS 19956 HAS SOUPS 19956 WITH SCORE 19987.021
AT ITER 4963 NEW BEST:: SOT 143997 SOS 31012 HAS SOPS 31012 HAS SOUS 19947 HAS SOUPS 19947 WITH SCORE 19978.012
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SmartHome-PT-16-CTLCardinality-00 (EF((AG( potential( (tk(P172)) <= (tk(P476)) )))))
PROPERTY: SmartHome-PT-16-CTLCardinality-01 ( (AG( ( ( potential( (tk(P31)) <= (tk(P350)) ) & potential( ( 2 ) <= (tk(P253)) ) ) | (! potential( ( 1 ) <= (tk(P118)) )) ))) | ( potential( ( 3 ) <= (tk(P241)) ) | (! ( ( potential( (tk(P115)) <= (tk(P233)) ) | potential( ( 2 ) <= (tk(P403)) ) ) | ( potential( (tk(P35)) <= (tk(P366)) ) & potential( (tk(P181)) <= (tk(P258)) ) ) )) ) )
PROPERTY: SmartHome-PT-16-CTLCardinality-02 (! (AG( (AF(potential( (tk(P191)) <= (tk(P482)) ))))))
PROPERTY: SmartHome-PT-16-CTLCardinality-03 (AG( (! (AX( potential( ( 1 ) <= (tk(P232)) ))))))
PROPERTY: SmartHome-PT-16-CTLCardinality-04 (EF((AX( potential( ( 3 ) <= (tk(P10)) )))))
PROPERTY: SmartHome-PT-16-CTLCardinality-05 (AU( (EX( potential( ( 1 ) <= (tk(P22)) ))),(EF(potential( ( 2 ) <= (tk(P403)) ))) ))
PROPERTY: SmartHome-PT-16-CTLCardinality-06 (AU( (AG( potential( (tk(P12)) <= (tk(P270)) ))),(AG( potential( (tk(P334)) <= (tk(P147)) ))) ))
PROPERTY: SmartHome-PT-16-CTLCardinality-07 ( (EF((AG( potential( (tk(P206)) <= (tk(P410)) ))))) & ( potential( ( 1 ) <= (tk(P245)) ) | (EF(( potential( ( 3 ) <= (tk(P205)) ) & potential( (tk(P79)) <= (tk(P340)) ) ))) ) )
PROPERTY: SmartHome-PT-16-CTLCardinality-08 (AG( ( (AX( potential( ( 1 ) <= (tk(P427)) ))) | (! potential( ( 2 ) <= (tk(P179)) )) )))
PROPERTY: SmartHome-PT-16-CTLCardinality-09 ( (EF((! ( potential( (tk(P102)) <= (tk(P145)) ) | potential( (tk(P48)) <= (tk(P143)) ) )))) | (! ( (AX( potential( (tk(P5)) <= (tk(P206)) ))) & ( ( potential( (tk(P36)) <= (tk(P372)) ) | potential( (tk(P439)) <= (tk(P274)) ) ) | potential( ( 3 ) <= (tk(P435)) ) ) )) )
PROPERTY: SmartHome-PT-16-CTLCardinality-10 (EU( ( ( potential( (tk(P457)) <= (tk(P399)) ) | potential( ( 3 ) <= (tk(P397)) ) ) & ( potential( (tk(P426)) <= (tk(P250)) ) | potential( ( 1 ) <= (tk(P215)) ) ) ),(! ( potential( (tk(P336)) <= (tk(P170)) ) | potential( ( 3 ) <= (tk(P156)) ) )) ))
PROPERTY: SmartHome-PT-16-CTLCardinality-11 ( (! (EG( ( potential( (tk(P35)) <= (tk(P27)) ) & potential( (tk(P439)) <= (tk(P79)) ) )))) | ( (EU( potential( (tk(P269)) <= (tk(P368)) ),potential( ( 2 ) <= (tk(P480)) ) )) & ( potential( (tk(P379)) <= (tk(P180)) ) | (AF(potential( ( 2 ) <= (tk(P445)) ))) ) ) )
PROPERTY: SmartHome-PT-16-CTLCardinality-12 (EF(potential( ( 3 ) <= (tk(P51)) )))
PROPERTY: SmartHome-PT-16-CTLCardinality-13 (AG( ( (AG( potential( (tk(P94)) <= (tk(P255)) ))) & (EX( potential( (tk(P27)) <= (tk(P432)) ))) )))
PROPERTY: SmartHome-PT-16-CTLCardinality-14 (EX( ( (EF(potential( ( 3 ) <= (tk(P83)) ))) | (AG( potential( (tk(P273)) <= (tk(P31)) ))) )))
PROPERTY: SmartHome-PT-16-CTLCardinality-15 (EX( (AG( potential( (tk(P195)) <= (tk(P348)) )))))

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="SmartHome-PT-16"
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 SmartHome-PT-16, 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 r224-oct2-159033538400123"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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