Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903712000624.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPt-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712000624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.0K Feb 25 21:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 21:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 21:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 21:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 21:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 21:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 21:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 25 21:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 185K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679067729845

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPt-PT-010B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 010B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 783 places, 713 transitions, 1786 arcs.
AT ITER 0 NEW BEST:: SOT 296304 SOS 49797 HAS SOPS 49797 HAS SOUS 46379 HAS SOUPS 46379 WITH SCORE 46428.797
AT ITER 26 NEW BEST:: SOT 296304 SOS 49725 HAS SOPS 49725 HAS SOUS 46341 HAS SOUPS 46341 WITH SCORE 46390.725
AT ITER 69 NEW BEST:: SOT 296297 SOS 49711 HAS SOPS 49711 HAS SOUS 46334 HAS SOUPS 46334 WITH SCORE 46383.711
AT ITER 73 NEW BEST:: SOT 296213 SOS 49701 HAS SOPS 49701 HAS SOUS 46324 HAS SOUPS 46324 WITH SCORE 46373.701
AT ITER 80 NEW BEST:: SOT 296161 SOS 49750 HAS SOPS 49750 HAS SOUS 46322 HAS SOUPS 46322 WITH SCORE 46371.75
AT ITER 87 NEW BEST:: SOT 296150 SOS 49752 HAS SOPS 49752 HAS SOUS 46311 HAS SOUPS 46311 WITH SCORE 46360.752
AT ITER 109 NEW BEST:: SOT 296149 SOS 49753 HAS SOPS 49753 HAS SOUS 46309 HAS SOUPS 46309 WITH SCORE 46358.753
AT ITER 115 NEW BEST:: SOT 296202 SOS 49732 HAS SOPS 49732 HAS SOUS 46288 HAS SOUPS 46288 WITH SCORE 46337.732
AT ITER 134 NEW BEST:: SOT 296194 SOS 49724 HAS SOPS 49724 HAS SOUS 46280 HAS SOUPS 46280 WITH SCORE 46329.724
AT ITER 138 NEW BEST:: SOT 296194 SOS 49695 HAS SOPS 49695 HAS SOUS 46251 HAS SOUPS 46251 WITH SCORE 46300.695
AT ITER 140 NEW BEST:: SOT 296176 SOS 49677 HAS SOPS 49677 HAS SOUS 46233 HAS SOUPS 46233 WITH SCORE 46282.677
AT ITER 146 NEW BEST:: SOT 296115 SOS 49616 HAS SOPS 49616 HAS SOUS 46172 HAS SOUPS 46172 WITH SCORE 46221.616
AT ITER 171 NEW BEST:: SOT 296131 SOS 49640 HAS SOPS 49640 HAS SOUS 46133 HAS SOUPS 46133 WITH SCORE 46182.64
AT ITER 178 NEW BEST:: SOT 296131 SOS 49636 HAS SOPS 49636 HAS SOUS 46126 HAS SOUPS 46126 WITH SCORE 46175.636
AT ITER 192 NEW BEST:: SOT 296131 SOS 49629 HAS SOPS 49629 HAS SOUS 46119 HAS SOUPS 46119 WITH SCORE 46168.629
AT ITER 195 NEW BEST:: SOT 296114 SOS 49457 HAS SOPS 49457 HAS SOUS 46049 HAS SOUPS 46049 WITH SCORE 46098.457
AT ITER 231 NEW BEST:: SOT 296089 SOS 49407 HAS SOPS 49407 HAS SOUS 45981 HAS SOUPS 45981 WITH SCORE 46030.407
AT ITER 320 NEW BEST:: SOT 296095 SOS 49373 HAS SOPS 49373 HAS SOUS 45947 HAS SOUPS 45947 WITH SCORE 45996.373
AT ITER 331 NEW BEST:: SOT 296044 SOS 49322 HAS SOPS 49322 HAS SOUS 45845 HAS SOUPS 45845 WITH SCORE 45894.322
AT ITER 334 NEW BEST:: SOT 296069 SOS 49286 HAS SOPS 49286 HAS SOUS 45827 HAS SOUPS 45827 WITH SCORE 45876.286
AT ITER 337 NEW BEST:: SOT 296040 SOS 49228 HAS SOPS 49228 HAS SOUS 45769 HAS SOUPS 45769 WITH SCORE 45818.228
AT ITER 377 NEW BEST:: SOT 296040 SOS 49225 HAS SOPS 49225 HAS SOUS 45766 HAS SOUPS 45766 WITH SCORE 45815.225
AT ITER 379 NEW BEST:: SOT 296059 SOS 49202 HAS SOPS 49202 HAS SOUS 45754 HAS SOUPS 45754 WITH SCORE 45803.202
AT ITER 407 NEW BEST:: SOT 296074 SOS 49197 HAS SOPS 49197 HAS SOUS 45752 HAS SOUPS 45752 WITH SCORE 45801.197
AT ITER 450 NEW BEST:: SOT 296074 SOS 49187 HAS SOPS 49187 HAS SOUS 45732 HAS SOUPS 45732 WITH SCORE 45781.187
AT ITER 467 NEW BEST:: SOT 296074 SOS 49180 HAS SOPS 49180 HAS SOUS 45725 HAS SOUPS 45725 WITH SCORE 45774.18
AT ITER 490 NEW BEST:: SOT 296025 SOS 49069 HAS SOPS 49069 HAS SOUS 45634 HAS SOUPS 45634 WITH SCORE 45683.069
AT ITER 521 NEW BEST:: SOT 295985 SOS 49026 HAS SOPS 49026 HAS SOUS 45591 HAS SOUPS 45591 WITH SCORE 45640.026
AT ITER 531 NEW BEST:: SOT 295984 SOS 49025 HAS SOPS 49025 HAS SOUS 45590 HAS SOUPS 45590 WITH SCORE 45639.025
AT ITER 580 NEW BEST:: SOT 295984 SOS 49017 HAS SOPS 49017 HAS SOUS 45533 HAS SOUPS 45533 WITH SCORE 45582.017
AT ITER 594 NEW BEST:: SOT 295965 SOS 48997 HAS SOPS 48997 HAS SOUS 45513 HAS SOUPS 45513 WITH SCORE 45561.997
AT ITER 620 NEW BEST:: SOT 295878 SOS 48956 HAS SOPS 48956 HAS SOUS 45472 HAS SOUPS 45472 WITH SCORE 45520.956
AT ITER 622 NEW BEST:: SOT 295873 SOS 48951 HAS SOPS 48951 HAS SOUS 45467 HAS SOUPS 45467 WITH SCORE 45515.951
AT ITER 652 NEW BEST:: SOT 295871 SOS 48947 HAS SOPS 48947 HAS SOUS 45463 HAS SOUPS 45463 WITH SCORE 45511.947
AT ITER 668 NEW BEST:: SOT 295871 SOS 48946 HAS SOPS 48946 HAS SOUS 45462 HAS SOUPS 45462 WITH SCORE 45510.946
AT ITER 671 NEW BEST:: SOT 295869 SOS 48895 HAS SOPS 48895 HAS SOUS 45451 HAS SOUPS 45451 WITH SCORE 45499.895
AT ITER 691 NEW BEST:: SOT 295775 SOS 48753 HAS SOPS 48753 HAS SOUS 45350 HAS SOUPS 45350 WITH SCORE 45398.753
AT ITER 718 NEW BEST:: SOT 295736 SOS 48717 HAS SOPS 48717 HAS SOUS 45314 HAS SOUPS 45314 WITH SCORE 45362.717
AT ITER 721 NEW BEST:: SOT 295689 SOS 48550 HAS SOPS 48550 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45241.55
AT ITER 749 NEW BEST:: SOT 295689 SOS 48544 HAS SOPS 48544 HAS SOUS 45187 HAS SOUPS 45187 WITH SCORE 45235.544
AT ITER 754 NEW BEST:: SOT 295669 SOS 48541 HAS SOPS 48541 HAS SOUS 45184 HAS SOUPS 45184 WITH SCORE 45232.541
AT ITER 761 NEW BEST:: SOT 295656 SOS 48515 HAS SOPS 48515 HAS SOUS 45118 HAS SOUPS 45118 WITH SCORE 45166.515
AT ITER 776 NEW BEST:: SOT 295692 SOS 48463 HAS SOPS 48463 HAS SOUS 45066 HAS SOUPS 45066 WITH SCORE 45114.463
AT ITER 779 NEW BEST:: SOT 295692 SOS 48457 HAS SOPS 48457 HAS SOUS 45054 HAS SOUPS 45054 WITH SCORE 45102.457
AT ITER 782 NEW BEST:: SOT 295692 SOS 48479 HAS SOPS 48479 HAS SOUS 44986 HAS SOUPS 44986 WITH SCORE 45034.479
AT ITER 816 NEW BEST:: SOT 295690 SOS 48477 HAS SOPS 48477 HAS SOUS 44984 HAS SOUPS 44984 WITH SCORE 45032.477
AT ITER 830 NEW BEST:: SOT 295688 SOS 48484 HAS SOPS 48484 HAS SOUS 44982 HAS SOUPS 44982 WITH SCORE 45030.484
AT ITER 871 NEW BEST:: SOT 295667 SOS 48454 HAS SOPS 48454 HAS SOUS 44952 HAS SOUPS 44952 WITH SCORE 45000.454
AT ITER 890 NEW BEST:: SOT 295750 SOS 48563 HAS SOPS 48563 HAS SOUS 44907 HAS SOUPS 44907 WITH SCORE 44955.563
AT ITER 914 NEW BEST:: SOT 295741 SOS 48545 HAS SOPS 48545 HAS SOUS 44898 HAS SOUPS 44898 WITH SCORE 44946.545
AT ITER 943 NEW BEST:: SOT 295741 SOS 48542 HAS SOPS 48542 HAS SOUS 44895 HAS SOUPS 44895 WITH SCORE 44943.542
AT ITER 972 NEW BEST:: SOT 295741 SOS 48524 HAS SOPS 48524 HAS SOUS 44890 HAS SOUPS 44890 WITH SCORE 44938.524
AT ITER 984 NEW BEST:: SOT 295741 SOS 48494 HAS SOPS 48494 HAS SOUS 44860 HAS SOUPS 44860 WITH SCORE 44908.494
AT ITER 998 NEW BEST:: SOT 295749 SOS 48342 HAS SOPS 48342 HAS SOUS 44830 HAS SOUPS 44830 WITH SCORE 44878.342
AT ITER 1054 NEW BEST:: SOT 295705 SOS 48324 HAS SOPS 48324 HAS SOUS 44786 HAS SOUPS 44786 WITH SCORE 44834.324
AT ITER 1089 NEW BEST:: SOT 295755 SOS 48374 HAS SOPS 48374 HAS SOUS 44785 HAS SOUPS 44785 WITH SCORE 44833.374
AT ITER 1131 NEW BEST:: SOT 295752 SOS 48374 HAS SOPS 48374 HAS SOUS 44782 HAS SOUPS 44782 WITH SCORE 44830.374
AT ITER 1160 NEW BEST:: SOT 295781 SOS 48369 HAS SOPS 48369 HAS SOUS 44751 HAS SOUPS 44751 WITH SCORE 44799.369
AT ITER 1172 NEW BEST:: SOT 295780 SOS 48351 HAS SOPS 48351 HAS SOUS 44733 HAS SOUPS 44733 WITH SCORE 44781.351
AT ITER 1176 NEW BEST:: SOT 295780 SOS 48349 HAS SOPS 48349 HAS SOUS 44731 HAS SOUPS 44731 WITH SCORE 44779.349
AT ITER 1178 NEW BEST:: SOT 295779 SOS 48312 HAS SOPS 48312 HAS SOUS 44729 HAS SOUPS 44729 WITH SCORE 44777.312
AT ITER 1215 NEW BEST:: SOT 295733 SOS 48266 HAS SOPS 48266 HAS SOUS 44683 HAS SOUPS 44683 WITH SCORE 44731.266
AT ITER 1279 NEW BEST:: SOT 295753 SOS 48261 HAS SOPS 48261 HAS SOUS 44612 HAS SOUPS 44612 WITH SCORE 44660.261
AT ITER 1294 NEW BEST:: SOT 295753 SOS 48225 HAS SOPS 48225 HAS SOUS 44576 HAS SOUPS 44576 WITH SCORE 44624.225
AT ITER 1353 NEW BEST:: SOT 295753 SOS 48186 HAS SOPS 48186 HAS SOUS 44498 HAS SOUPS 44498 WITH SCORE 44546.186
AT ITER 1378 NEW BEST:: SOT 295744 SOS 48168 HAS SOPS 48168 HAS SOUS 44480 HAS SOUPS 44480 WITH SCORE 44528.168
AT ITER 1379 NEW BEST:: SOT 295732 SOS 48162 HAS SOPS 48162 HAS SOUS 44474 HAS SOUPS 44474 WITH SCORE 44522.162
AT ITER 1437 NEW BEST:: SOT 295731 SOS 48161 HAS SOPS 48161 HAS SOUS 44473 HAS SOUPS 44473 WITH SCORE 44521.161
AT ITER 1450 NEW BEST:: SOT 295713 SOS 48143 HAS SOPS 48143 HAS SOUS 44455 HAS SOUPS 44455 WITH SCORE 44503.143
AT ITER 1461 NEW BEST:: SOT 295707 SOS 48127 HAS SOPS 48127 HAS SOUS 44439 HAS SOUPS 44439 WITH SCORE 44487.127
AT ITER 1467 NEW BEST:: SOT 295707 SOS 48115 HAS SOPS 48115 HAS SOUS 44368 HAS SOUPS 44368 WITH SCORE 44416.115
AT ITER 1504 NEW BEST:: SOT 295707 SOS 48079 HAS SOPS 48079 HAS SOUS 44332 HAS SOUPS 44332 WITH SCORE 44380.079
AT ITER 1569 NEW BEST:: SOT 295684 SOS 48048 HAS SOPS 48048 HAS SOUS 44301 HAS SOUPS 44301 WITH SCORE 44349.048
AT ITER 1570 NEW BEST:: SOT 295645 SOS 47927 HAS SOPS 47927 HAS SOUS 44139 HAS SOUPS 44139 WITH SCORE 44186.927
AT ITER 1573 NEW BEST:: SOT 295645 SOS 47919 HAS SOPS 47919 HAS SOUS 44131 HAS SOUPS 44131 WITH SCORE 44178.919
AT ITER 1579 NEW BEST:: SOT 295575 SOS 47815 HAS SOPS 47815 HAS SOUS 44024 HAS SOUPS 44024 WITH SCORE 44071.815
AT ITER 1580 NEW BEST:: SOT 295549 SOS 47802 HAS SOPS 47802 HAS SOUS 44011 HAS SOUPS 44011 WITH SCORE 44058.802
AT ITER 1708 NEW BEST:: SOT 295501 SOS 47766 HAS SOPS 47766 HAS SOUS 43963 HAS SOUPS 43963 WITH SCORE 44010.766
AT ITER 1730 NEW BEST:: SOT 295501 SOS 47765 HAS SOPS 47765 HAS SOUS 43962 HAS SOUPS 43962 WITH SCORE 44009.765
AT ITER 1742 NEW BEST:: SOT 295501 SOS 47759 HAS SOPS 47759 HAS SOUS 43956 HAS SOUPS 43956 WITH SCORE 44003.759
AT ITER 1759 NEW BEST:: SOT 295501 SOS 47728 HAS SOPS 47728 HAS SOUS 43925 HAS SOUPS 43925 WITH SCORE 43972.728
AT ITER 1787 NEW BEST:: SOT 295492 SOS 47738 HAS SOPS 47738 HAS SOUS 43916 HAS SOUPS 43916 WITH SCORE 43963.738
AT ITER 1845 NEW BEST:: SOT 295456 SOS 47603 HAS SOPS 47603 HAS SOUS 43844 HAS SOUPS 43844 WITH SCORE 43891.603
AT ITER 1862 NEW BEST:: SOT 295439 SOS 47602 HAS SOPS 47602 HAS SOUS 43843 HAS SOUPS 43843 WITH SCORE 43890.602
AT ITER 1900 NEW BEST:: SOT 295439 SOS 47606 HAS SOPS 47606 HAS SOUS 43811 HAS SOUPS 43811 WITH SCORE 43858.606
AT ITER 1931 NEW BEST:: SOT 295407 SOS 47574 HAS SOPS 47574 HAS SOUS 43779 HAS SOUPS 43779 WITH SCORE 43826.574
AT ITER 1940 NEW BEST:: SOT 295407 SOS 47552 HAS SOPS 47552 HAS SOUS 43719 HAS SOUPS 43719 WITH SCORE 43766.552
AT ITER 1948 NEW BEST:: SOT 295387 SOS 47542 HAS SOPS 47542 HAS SOUS 43719 HAS SOUPS 43719 WITH SCORE 43766.542
AT ITER 1960 NEW BEST:: SOT 295387 SOS 47522 HAS SOPS 47522 HAS SOUS 43719 HAS SOUPS 43719 WITH SCORE 43766.522
AT ITER 1979 NEW BEST:: SOT 295380 SOS 47550 HAS SOPS 47550 HAS SOUS 43712 HAS SOUPS 43712 WITH SCORE 43759.55
AT ITER 1999 NEW BEST:: SOT 295329 SOS 47511 HAS SOPS 47511 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43720.511
AT ITER 2035 NEW BEST:: SOT 295288 SOS 47467 HAS SOPS 47467 HAS SOUS 43629 HAS SOUPS 43629 WITH SCORE 43676.467
AT ITER 2042 NEW BEST:: SOT 295288 SOS 47466 HAS SOPS 47466 HAS SOUS 43628 HAS SOUPS 43628 WITH SCORE 43675.466
AT ITER 2057 NEW BEST:: SOT 295288 SOS 47460 HAS SOPS 47460 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43669.46
AT ITER 2072 NEW BEST:: SOT 295303 SOS 47403 HAS SOPS 47403 HAS SOUS 43565 HAS SOUPS 43565 WITH SCORE 43612.403
AT ITER 2081 NEW BEST:: SOT 295329 SOS 47429 HAS SOPS 47429 HAS SOUS 43553 HAS SOUPS 43553 WITH SCORE 43600.429
AT ITER 2139 NEW BEST:: SOT 295325 SOS 47425 HAS SOPS 47425 HAS SOUS 43549 HAS SOUPS 43549 WITH SCORE 43596.425
AT ITER 2240 NEW BEST:: SOT 295324 SOS 47395 HAS SOPS 47395 HAS SOUS 43519 HAS SOUPS 43519 WITH SCORE 43566.395
AT ITER 2251 NEW BEST:: SOT 295320 SOS 47395 HAS SOPS 47395 HAS SOUS 43515 HAS SOUPS 43515 WITH SCORE 43562.395
AT ITER 2256 NEW BEST:: SOT 295320 SOS 47395 HAS SOPS 47395 HAS SOUS 43475 HAS SOUPS 43475 WITH SCORE 43522.395
AT ITER 2266 NEW BEST:: SOT 295319 SOS 47394 HAS SOPS 47394 HAS SOUS 43474 HAS SOUPS 43474 WITH SCORE 43521.394
AT ITER 2281 NEW BEST:: SOT 295319 SOS 47355 HAS SOPS 47355 HAS SOUS 43467 HAS SOUPS 43467 WITH SCORE 43514.355
AT ITER 2305 NEW BEST:: SOT 295319 SOS 47346 HAS SOPS 47346 HAS SOUS 43458 HAS SOUPS 43458 WITH SCORE 43505.346
AT ITER 2310 NEW BEST:: SOT 295319 SOS 47345 HAS SOPS 47345 HAS SOUS 43457 HAS SOUPS 43457 WITH SCORE 43504.345
AT ITER 2330 NEW BEST:: SOT 295319 SOS 47333 HAS SOPS 47333 HAS SOUS 43445 HAS SOUPS 43445 WITH SCORE 43492.333
AT ITER 2334 NEW BEST:: SOT 295325 SOS 47324 HAS SOPS 47324 HAS SOUS 43436 HAS SOUPS 43436 WITH SCORE 43483.324
AT ITER 2352 NEW BEST:: SOT 295314 SOS 47324 HAS SOPS 47324 HAS SOUS 43429 HAS SOUPS 43429 WITH SCORE 43476.324
AT ITER 2361 NEW BEST:: SOT 295390 SOS 47338 HAS SOPS 47338 HAS SOUS 43351 HAS SOUPS 43351 WITH SCORE 43398.338
AT ITER 2374 NEW BEST:: SOT 295348 SOS 47395 HAS SOPS 47395 HAS SOUS 43319 HAS SOUPS 43319 WITH SCORE 43366.395
AT ITER 2377 NEW BEST:: SOT 295320 SOS 47312 HAS SOPS 47312 HAS SOUS 43264 HAS SOUPS 43264 WITH SCORE 43311.312
AT ITER 2378 NEW BEST:: SOT 295320 SOS 47282 HAS SOPS 47282 HAS SOUS 43234 HAS SOUPS 43234 WITH SCORE 43281.282
AT ITER 2402 NEW BEST:: SOT 295311 SOS 47276 HAS SOPS 47276 HAS SOUS 43228 HAS SOUPS 43228 WITH SCORE 43275.276
AT ITER 2413 NEW BEST:: SOT 295323 SOS 47248 HAS SOPS 47248 HAS SOUS 43226 HAS SOUPS 43226 WITH SCORE 43273.248
AT ITER 2455 NEW BEST:: SOT 295312 SOS 47093 HAS SOPS 47093 HAS SOUS 43037 HAS SOUPS 43037 WITH SCORE 43084.093
AT ITER 2461 NEW BEST:: SOT 295314 SOS 47046 HAS SOPS 47046 HAS SOUS 42990 HAS SOUPS 42990 WITH SCORE 43037.046
AT ITER 2483 NEW BEST:: SOT 295314 SOS 47045 HAS SOPS 47045 HAS SOUS 42989 HAS SOUPS 42989 WITH SCORE 43036.045
AT ITER 2533 NEW BEST:: SOT 295314 SOS 47043 HAS SOPS 47043 HAS SOUS 42975 HAS SOUPS 42975 WITH SCORE 43022.043
AT ITER 2594 NEW BEST:: SOT 295299 SOS 47033 HAS SOPS 47033 HAS SOUS 42965 HAS SOUPS 42965 WITH SCORE 43012.033
AT ITER 2609 NEW BEST:: SOT 295329 SOS 47030 HAS SOPS 47030 HAS SOUS 42962 HAS SOUPS 42962 WITH SCORE 43009.03
AT ITER 2709 NEW BEST:: SOT 295342 SOS 46982 HAS SOPS 46982 HAS SOUS 42944 HAS SOUPS 42944 WITH SCORE 42990.982
AT ITER 2722 NEW BEST:: SOT 295336 SOS 46970 HAS SOPS 46970 HAS SOUS 42938 HAS SOUPS 42938 WITH SCORE 42984.97
AT ITER 2757 NEW BEST:: SOT 295293 SOS 46921 HAS SOPS 46921 HAS SOUS 42914 HAS SOUPS 42914 WITH SCORE 42960.921
AT ITER 2827 NEW BEST:: SOT 295293 SOS 46916 HAS SOPS 46916 HAS SOUS 42909 HAS SOUPS 42909 WITH SCORE 42955.916
AT ITER 2834 NEW BEST:: SOT 295287 SOS 46908 HAS SOPS 46908 HAS SOUS 42901 HAS SOUPS 42901 WITH SCORE 42947.908
AT ITER 3031 NEW BEST:: SOT 295283 SOS 46904 HAS SOPS 46904 HAS SOUS 42897 HAS SOUPS 42897 WITH SCORE 42943.904
AT ITER 3033 NEW BEST:: SOT 295283 SOS 46866 HAS SOPS 46866 HAS SOUS 42859 HAS SOUPS 42859 WITH SCORE 42905.866
AT ITER 3127 NEW BEST:: SOT 295302 SOS 46843 HAS SOPS 46843 HAS SOUS 42808 HAS SOUPS 42808 WITH SCORE 42854.843
AT ITER 3184 NEW BEST:: SOT 295301 SOS 46839 HAS SOPS 46839 HAS SOUS 42807 HAS SOUPS 42807 WITH SCORE 42853.839
AT ITER 3223 NEW BEST:: SOT 295301 SOS 46834 HAS SOPS 46834 HAS SOUS 42802 HAS SOUPS 42802 WITH SCORE 42848.834
AT ITER 3227 NEW BEST:: SOT 295248 SOS 46805 HAS SOPS 46805 HAS SOUS 42773 HAS SOUPS 42773 WITH SCORE 42819.805
AT ITER 3268 NEW BEST:: SOT 295246 SOS 46801 HAS SOPS 46801 HAS SOUS 42690 HAS SOUPS 42690 WITH SCORE 42736.801
AT ITER 3279 NEW BEST:: SOT 295234 SOS 46777 HAS SOPS 46777 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42712.777
AT ITER 3305 NEW BEST:: SOT 295254 SOS 46776 HAS SOPS 46776 HAS SOUS 42665 HAS SOUPS 42665 WITH SCORE 42711.776
AT ITER 3322 NEW BEST:: SOT 295254 SOS 46776 HAS SOPS 46776 HAS SOUS 42662 HAS SOUPS 42662 WITH SCORE 42708.776
AT ITER 3346 NEW BEST:: SOT 295156 SOS 46801 HAS SOPS 46801 HAS SOUS 42616 HAS SOUPS 42616 WITH SCORE 42662.801
AT ITER 3374 NEW BEST:: SOT 295081 SOS 46732 HAS SOPS 46732 HAS SOUS 42563 HAS SOUPS 42563 WITH SCORE 42609.732
AT ITER 3460 NEW BEST:: SOT 295076 SOS 46717 HAS SOPS 46717 HAS SOUS 42548 HAS SOUPS 42548 WITH SCORE 42594.717
AT ITER 3491 NEW BEST:: SOT 295052 SOS 46687 HAS SOPS 46687 HAS SOUS 42517 HAS SOUPS 42517 WITH SCORE 42563.687
AT ITER 3510 NEW BEST:: SOT 295050 SOS 46683 HAS SOPS 46683 HAS SOUS 42513 HAS SOUPS 42513 WITH SCORE 42559.683
AT ITER 3547 NEW BEST:: SOT 295071 SOS 46623 HAS SOPS 46623 HAS SOUS 42467 HAS SOUPS 42467 WITH SCORE 42513.623
AT ITER 3595 NEW BEST:: SOT 295071 SOS 46616 HAS SOPS 46616 HAS SOUS 42460 HAS SOUPS 42460 WITH SCORE 42506.616
AT ITER 3627 NEW BEST:: SOT 295055 SOS 46577 HAS SOPS 46577 HAS SOUS 42444 HAS SOUPS 42444 WITH SCORE 42490.577
AT ITER 3634 NEW BEST:: SOT 295055 SOS 46579 HAS SOPS 46579 HAS SOUS 42442 HAS SOUPS 42442 WITH SCORE 42488.579
AT ITER 3650 NEW BEST:: SOT 295041 SOS 46513 HAS SOPS 46513 HAS SOUS 42402 HAS SOUPS 42402 WITH SCORE 42448.513
AT ITER 3653 NEW BEST:: SOT 294977 SOS 46473 HAS SOPS 46473 HAS SOUS 42353 HAS SOUPS 42353 WITH SCORE 42399.473
AT ITER 3721 NEW BEST:: SOT 294977 SOS 46472 HAS SOPS 46472 HAS SOUS 42352 HAS SOUPS 42352 WITH SCORE 42398.472
AT ITER 3728 NEW BEST:: SOT 294914 SOS 46409 HAS SOPS 46409 HAS SOUS 42289 HAS SOUPS 42289 WITH SCORE 42335.409
AT ITER 3752 NEW BEST:: SOT 294943 SOS 46430 HAS SOPS 46430 HAS SOUS 42259 HAS SOUPS 42259 WITH SCORE 42305.43
AT ITER 3780 NEW BEST:: SOT 294943 SOS 46405 HAS SOPS 46405 HAS SOUS 42234 HAS SOUPS 42234 WITH SCORE 42280.405
AT ITER 3791 NEW BEST:: SOT 294900 SOS 46398 HAS SOPS 46398 HAS SOUS 42175 HAS SOUPS 42175 WITH SCORE 42221.398
AT ITER 3793 NEW BEST:: SOT 294899 SOS 46341 HAS SOPS 46341 HAS SOUS 42173 HAS SOUPS 42173 WITH SCORE 42219.341
AT ITER 3863 NEW BEST:: SOT 294888 SOS 46340 HAS SOPS 46340 HAS SOUS 42172 HAS SOUPS 42172 WITH SCORE 42218.34
AT ITER 3871 NEW BEST:: SOT 294882 SOS 46335 HAS SOPS 46335 HAS SOUS 42167 HAS SOUPS 42167 WITH SCORE 42213.335
AT ITER 3875 NEW BEST:: SOT 294840 SOS 46236 HAS SOPS 46236 HAS SOUS 42068 HAS SOUPS 42068 WITH SCORE 42114.236
AT ITER 3876 NEW BEST:: SOT 294823 SOS 46219 HAS SOPS 46219 HAS SOUS 42051 HAS SOUPS 42051 WITH SCORE 42097.219
AT ITER 3992 NEW BEST:: SOT 294784 SOS 46114 HAS SOPS 46114 HAS SOUS 41981 HAS SOUPS 41981 WITH SCORE 42027.114
AT ITER 4022 NEW BEST:: SOT 294763 SOS 46072 HAS SOPS 46072 HAS SOUS 41939 HAS SOUPS 41939 WITH SCORE 41985.072
AT ITER 4034 NEW BEST:: SOT 294763 SOS 46071 HAS SOPS 46071 HAS SOUS 41938 HAS SOUPS 41938 WITH SCORE 41984.071
AT ITER 4058 NEW BEST:: SOT 294753 SOS 46051 HAS SOPS 46051 HAS SOUS 41918 HAS SOUPS 41918 WITH SCORE 41964.051
AT ITER 4077 NEW BEST:: SOT 294703 SOS 46139 HAS SOPS 46139 HAS SOUS 41916 HAS SOUPS 41916 WITH SCORE 41962.139
AT ITER 4106 NEW BEST:: SOT 294703 SOS 46133 HAS SOPS 46133 HAS SOUS 41910 HAS SOUPS 41910 WITH SCORE 41956.133
AT ITER 4114 NEW BEST:: SOT 294703 SOS 46124 HAS SOPS 46124 HAS SOUS 41910 HAS SOUPS 41910 WITH SCORE 41956.124
AT ITER 4116 NEW BEST:: SOT 294665 SOS 46074 HAS SOPS 46074 HAS SOUS 41846 HAS SOUPS 41846 WITH SCORE 41892.074
AT ITER 4158 NEW BEST:: SOT 294645 SOS 46063 HAS SOPS 46063 HAS SOUS 41835 HAS SOUPS 41835 WITH SCORE 41881.063
AT ITER 4159 NEW BEST:: SOT 294580 SOS 45960 HAS SOPS 45960 HAS SOUS 41732 HAS SOUPS 41732 WITH SCORE 41777.96
AT ITER 4167 NEW BEST:: SOT 294580 SOS 45947 HAS SOPS 45947 HAS SOUS 41719 HAS SOUPS 41719 WITH SCORE 41764.947
AT ITER 4177 NEW BEST:: SOT 294508 SOS 45787 HAS SOPS 45787 HAS SOUS 41559 HAS SOUPS 41559 WITH SCORE 41604.787
AT ITER 4277 NEW BEST:: SOT 294525 SOS 45747 HAS SOPS 45747 HAS SOUS 41538 HAS SOUPS 41538 WITH SCORE 41583.747
AT ITER 4281 NEW BEST:: SOT 294525 SOS 45747 HAS SOPS 45747 HAS SOUS 41478 HAS SOUPS 41478 WITH SCORE 41523.747
AT ITER 4305 NEW BEST:: SOT 294513 SOS 45723 HAS SOPS 45723 HAS SOUS 41466 HAS SOUPS 41466 WITH SCORE 41511.723
AT ITER 4423 NEW BEST:: SOT 294543 SOS 45748 HAS SOPS 45748 HAS SOUS 41456 HAS SOUPS 41456 WITH SCORE 41501.748
AT ITER 4441 NEW BEST:: SOT 294543 SOS 45748 HAS SOPS 45748 HAS SOUS 41453 HAS SOUPS 41453 WITH SCORE 41498.748
AT ITER 4453 NEW BEST:: SOT 294503 SOS 45666 HAS SOPS 45666 HAS SOUS 41371 HAS SOUPS 41371 WITH SCORE 41416.666
AT ITER 4455 NEW BEST:: SOT 294497 SOS 45660 HAS SOPS 45660 HAS SOUS 41365 HAS SOUPS 41365 WITH SCORE 41410.66
AT ITER 4476 NEW BEST:: SOT 294465 SOS 45625 HAS SOPS 45625 HAS SOUS 41362 HAS SOUPS 41362 WITH SCORE 41407.625
AT ITER 4505 NEW BEST:: SOT 294464 SOS 45624 HAS SOPS 45624 HAS SOUS 41361 HAS SOUPS 41361 WITH SCORE 41406.624
AT ITER 4518 NEW BEST:: SOT 294436 SOS 45611 HAS SOPS 45611 HAS SOUS 41348 HAS SOUPS 41348 WITH SCORE 41393.611
AT ITER 4522 NEW BEST:: SOT 294436 SOS 45611 HAS SOPS 45611 HAS SOUS 41344 HAS SOUPS 41344 WITH SCORE 41389.611
AT ITER 4523 NEW BEST:: SOT 294436 SOS 45589 HAS SOPS 45589 HAS SOUS 41306 HAS SOUPS 41306 WITH SCORE 41351.589
AT ITER 4526 NEW BEST:: SOT 294436 SOS 45578 HAS SOPS 45578 HAS SOUS 41295 HAS SOUPS 41295 WITH SCORE 41340.578
AT ITER 4622 NEW BEST:: SOT 294418 SOS 45542 HAS SOPS 45542 HAS SOUS 41242 HAS SOUPS 41242 WITH SCORE 41287.542
AT ITER 4688 NEW BEST:: SOT 294405 SOS 45516 HAS SOPS 45516 HAS SOUS 41216 HAS SOUPS 41216 WITH SCORE 41261.516
AT ITER 4698 NEW BEST:: SOT 294405 SOS 45557 HAS SOPS 45557 HAS SOUS 41210 HAS SOUPS 41210 WITH SCORE 41255.557
AT ITER 4709 NEW BEST:: SOT 294404 SOS 45530 HAS SOPS 45530 HAS SOUS 41208 HAS SOUPS 41208 WITH SCORE 41253.53
AT ITER 4744 NEW BEST:: SOT 294463 SOS 45490 HAS SOPS 45490 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41213.49
AT ITER 4753 NEW BEST:: SOT 294445 SOS 45454 HAS SOPS 45454 HAS SOUS 41132 HAS SOUPS 41132 WITH SCORE 41177.454
AT ITER 4775 NEW BEST:: SOT 294435 SOS 45444 HAS SOPS 45444 HAS SOUS 41122 HAS SOUPS 41122 WITH SCORE 41167.444
AT ITER 4781 NEW BEST:: SOT 294441 SOS 45456 HAS SOPS 45456 HAS SOUS 41120 HAS SOUPS 41120 WITH SCORE 41165.456
AT ITER 4784 NEW BEST:: SOT 294426 SOS 45441 HAS SOPS 45441 HAS SOUS 41102 HAS SOUPS 41102 WITH SCORE 41147.441
AT ITER 4854 NEW BEST:: SOT 294500 SOS 45516 HAS SOPS 45516 HAS SOUS 41025 HAS SOUPS 41025 WITH SCORE 41070.516
AT ITER 4864 NEW BEST:: SOT 294508 SOS 45516 HAS SOPS 45516 HAS SOUS 41017 HAS SOUPS 41017 WITH SCORE 41062.516
AT ITER 4899 NEW BEST:: SOT 294508 SOS 45527 HAS SOPS 45527 HAS SOUS 41014 HAS SOUPS 41014 WITH SCORE 41059.527
AT ITER 4958 NEW BEST:: SOT 294498 SOS 45517 HAS SOPS 45517 HAS SOUS 41004 HAS SOUPS 41004 WITH SCORE 41049.517
AT ITER 4968 NEW BEST:: SOT 294498 SOS 45489 HAS SOPS 45489 HAS SOUS 40976 HAS SOUPS 40976 WITH SCORE 41021.489
AT ITER 5011 NEW BEST:: SOT 294472 SOS 45488 HAS SOPS 45488 HAS SOUS 40975 HAS SOUPS 40975 WITH SCORE 41020.488
AT ITER 5054 NEW BEST:: SOT 294472 SOS 45449 HAS SOPS 45449 HAS SOUS 40962 HAS SOUPS 40962 WITH SCORE 41007.449
AT ITER 5105 NEW BEST:: SOT 294425 SOS 45346 HAS SOPS 45346 HAS SOUS 40937 HAS SOUPS 40937 WITH SCORE 40982.346
AT ITER 5123 NEW BEST:: SOT 294411 SOS 45331 HAS SOPS 45331 HAS SOUS 40926 HAS SOUPS 40926 WITH SCORE 40971.331
AT ITER 5130 NEW BEST:: SOT 294420 SOS 45325 HAS SOPS 45325 HAS SOUS 40920 HAS SOUPS 40920 WITH SCORE 40965.325
AT ITER 5139 NEW BEST:: SOT 294387 SOS 45292 HAS SOPS 45292 HAS SOUS 40887 HAS SOUPS 40887 WITH SCORE 40932.292
AT ITER 5146 NEW BEST:: SOT 294386 SOS 45238 HAS SOPS 45238 HAS SOUS 40861 HAS SOUPS 40861 WITH SCORE 40906.238
AT ITER 5189 NEW BEST:: SOT 294370 SOS 45223 HAS SOPS 45223 HAS SOUS 40843 HAS SOUPS 40843 WITH SCORE 40888.223
AT ITER 5215 NEW BEST:: SOT 294370 SOS 45204 HAS SOPS 45204 HAS SOUS 40824 HAS SOUPS 40824 WITH SCORE 40869.204
AT ITER 5272 NEW BEST:: SOT 294336 SOS 45170 HAS SOPS 45170 HAS SOUS 40790 HAS SOUPS 40790 WITH SCORE 40835.17
AT ITER 5276 NEW BEST:: SOT 294333 SOS 45167 HAS SOPS 45167 HAS SOUS 40787 HAS SOUPS 40787 WITH SCORE 40832.167
AT ITER 5380 NEW BEST:: SOT 294330 SOS 45164 HAS SOPS 45164 HAS SOUS 40787 HAS SOUPS 40787 WITH SCORE 40832.164
AT ITER 5391 NEW BEST:: SOT 294339 SOS 45146 HAS SOPS 45146 HAS SOUS 40783 HAS SOUPS 40783 WITH SCORE 40828.146
AT ITER 5417 NEW BEST:: SOT 294339 SOS 45143 HAS SOPS 45143 HAS SOUS 40780 HAS SOUPS 40780 WITH SCORE 40825.143
AT ITER 5421 NEW BEST:: SOT 294331 SOS 45127 HAS SOPS 45127 HAS SOUS 40764 HAS SOUPS 40764 WITH SCORE 40809.127
AT ITER 5424 NEW BEST:: SOT 294328 SOS 45121 HAS SOPS 45121 HAS SOUS 40761 HAS SOUPS 40761 WITH SCORE 40806.121
AT ITER 5447 NEW BEST:: SOT 294313 SOS 45100 HAS SOPS 45100 HAS SOUS 40740 HAS SOUPS 40740 WITH SCORE 40785.1
AT ITER 5543 NEW BEST:: SOT 294300 SOS 45074 HAS SOPS 45074 HAS SOUS 40714 HAS SOUPS 40714 WITH SCORE 40759.074
AT ITER 5548 NEW BEST:: SOT 294299 SOS 45056 HAS SOPS 45056 HAS SOUS 40712 HAS SOUPS 40712 WITH SCORE 40757.056
AT ITER 5606 NEW BEST:: SOT 294292 SOS 45042 HAS SOPS 45042 HAS SOUS 40705 HAS SOUPS 40705 WITH SCORE 40750.042
AT ITER 5671 NEW BEST:: SOT 294292 SOS 45019 HAS SOPS 45019 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40727.019
AT ITER 5726 NEW BEST:: SOT 294292 SOS 44892 HAS SOPS 44892 HAS SOUS 40555 HAS SOUPS 40555 WITH SCORE 40599.892
AT ITER 5769 NEW BEST:: SOT 294305 SOS 44890 HAS SOPS 44890 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40597.89
AT ITER 5795 NEW BEST:: SOT 294350 SOS 44932 HAS SOPS 44932 HAS SOUS 40532 HAS SOUPS 40532 WITH SCORE 40576.932
AT ITER 5870 NEW BEST:: SOT 294330 SOS 44830 HAS SOPS 44830 HAS SOUS 40512 HAS SOUPS 40512 WITH SCORE 40556.83
AT ITER 5896 NEW BEST:: SOT 294309 SOS 44839 HAS SOPS 44839 HAS SOUS 40508 HAS SOUPS 40508 WITH SCORE 40552.839
AT ITER 5924 NEW BEST:: SOT 294244 SOS 44705 HAS SOPS 44705 HAS SOUS 40370 HAS SOUPS 40370 WITH SCORE 40414.705
AT ITER 5938 NEW BEST:: SOT 294235 SOS 44696 HAS SOPS 44696 HAS SOUS 40361 HAS SOUPS 40361 WITH SCORE 40405.696
AT ITER 5976 NEW BEST:: SOT 294231 SOS 44692 HAS SOPS 44692 HAS SOUS 40357 HAS SOUPS 40357 WITH SCORE 40401.692
AT ITER 5991 NEW BEST:: SOT 294205 SOS 44634 HAS SOPS 44634 HAS SOUS 40299 HAS SOUPS 40299 WITH SCORE 40343.634
AT ITER 6042 NEW BEST:: SOT 294205 SOS 44616 HAS SOPS 44616 HAS SOUS 40290 HAS SOUPS 40290 WITH SCORE 40334.616
AT ITER 6043 NEW BEST:: SOT 294195 SOS 44596 HAS SOPS 44596 HAS SOUS 40280 HAS SOUPS 40280 WITH SCORE 40324.596
AT ITER 6051 NEW BEST:: SOT 294195 SOS 44593 HAS SOPS 44593 HAS SOUS 40277 HAS SOUPS 40277 WITH SCORE 40321.593
AT ITER 6070 NEW BEST:: SOT 294193 SOS 44591 HAS SOPS 44591 HAS SOUS 40275 HAS SOUPS 40275 WITH SCORE 40319.591
AT ITER 6120 NEW BEST:: SOT 294209 SOS 44591 HAS SOPS 44591 HAS SOUS 40259 HAS SOUPS 40259 WITH SCORE 40303.591
AT ITER 6157 NEW BEST:: SOT 294182 SOS 44579 HAS SOPS 44579 HAS SOUS 40247 HAS SOUPS 40247 WITH SCORE 40291.579
AT ITER 6162 NEW BEST:: SOT 294182 SOS 44574 HAS SOPS 44574 HAS SOUS 40247 HAS SOUPS 40247 WITH SCORE 40291.574
AT ITER 6165 NEW BEST:: SOT 294181 SOS 44553 HAS SOPS 44553 HAS SOUS 40245 HAS SOUPS 40245 WITH SCORE 40289.553
AT ITER 6221 NEW BEST:: SOT 294180 SOS 44507 HAS SOPS 44507 HAS SOUS 40239 HAS SOUPS 40239 WITH SCORE 40283.507
AT ITER 6368 NEW BEST:: SOT 294173 SOS 44505 HAS SOPS 44505 HAS SOUS 40236 HAS SOUPS 40236 WITH SCORE 40280.505
AT ITER 6402 NEW BEST:: SOT 294173 SOS 44446 HAS SOPS 44446 HAS SOUS 40216 HAS SOUPS 40216 WITH SCORE 40260.446
AT ITER 6435 NEW BEST:: SOT 294145 SOS 44390 HAS SOPS 44390 HAS SOUS 40194 HAS SOUPS 40194 WITH SCORE 40238.39
AT ITER 6447 NEW BEST:: SOT 294105 SOS 44350 HAS SOPS 44350 HAS SOUS 40154 HAS SOUPS 40154 WITH SCORE 40198.35
AT ITER 6487 NEW BEST:: SOT 294061 SOS 44262 HAS SOPS 44262 HAS SOUS 40090 HAS SOUPS 40090 WITH SCORE 40134.262
AT ITER 6502 NEW BEST:: SOT 294047 SOS 44213 HAS SOPS 44213 HAS SOUS 40076 HAS SOUPS 40076 WITH SCORE 40120.213
AT ITER 6519 NEW BEST:: SOT 293985 SOS 44089 HAS SOPS 44089 HAS SOUS 39952 HAS SOUPS 39952 WITH SCORE 39996.089
AT ITER 6528 NEW BEST:: SOT 293981 SOS 44085 HAS SOPS 44085 HAS SOUS 39948 HAS SOUPS 39948 WITH SCORE 39992.085
AT ITER 6585 NEW BEST:: SOT 293954 SOS 44004 HAS SOPS 44004 HAS SOUS 39867 HAS SOUPS 39867 WITH SCORE 39911.004
AT ITER 6635 NEW BEST:: SOT 293954 SOS 44003 HAS SOPS 44003 HAS SOUS 39862 HAS SOUPS 39862 WITH SCORE 39906.003
AT ITER 6644 NEW BEST:: SOT 293954 SOS 43949 HAS SOPS 43949 HAS SOUS 39808 HAS SOUPS 39808 WITH SCORE 39851.949
AT ITER 6653 NEW BEST:: SOT 293936 SOS 43957 HAS SOPS 43957 HAS SOUS 39798 HAS SOUPS 39798 WITH SCORE 39841.957
AT ITER 6689 NEW BEST:: SOT 293936 SOS 43897 HAS SOPS 43897 HAS SOUS 39795 HAS SOUPS 39795 WITH SCORE 39838.897
AT ITER 6837 NEW BEST:: SOT 293860 SOS 43862 HAS SOPS 43862 HAS SOUS 39754 HAS SOUPS 39754 WITH SCORE 39797.862
AT ITER 6838 NEW BEST:: SOT 293860 SOS 43861 HAS SOPS 43861 HAS SOUS 39753 HAS SOUPS 39753 WITH SCORE 39796.861
AT ITER 6850 NEW BEST:: SOT 293855 SOS 43846 HAS SOPS 43846 HAS SOUS 39740 HAS SOUPS 39740 WITH SCORE 39783.846
AT ITER 6861 NEW BEST:: SOT 293836 SOS 43826 HAS SOPS 43826 HAS SOUS 39721 HAS SOUPS 39721 WITH SCORE 39764.826
AT ITER 6870 NEW BEST:: SOT 293811 SOS 43776 HAS SOPS 43776 HAS SOUS 39696 HAS SOUPS 39696 WITH SCORE 39739.776
AT ITER 6878 NEW BEST:: SOT 293811 SOS 43771 HAS SOPS 43771 HAS SOUS 39691 HAS SOUPS 39691 WITH SCORE 39734.771
AT ITER 6971 NEW BEST:: SOT 293781 SOS 43738 HAS SOPS 43738 HAS SOUS 39658 HAS SOUPS 39658 WITH SCORE 39701.738
AT ITER 6994 NEW BEST:: SOT 293764 SOS 43632 HAS SOPS 43632 HAS SOUS 39595 HAS SOUPS 39595 WITH SCORE 39638.632
AT ITER 6995 NEW BEST:: SOT 293769 SOS 43598 HAS SOPS 43598 HAS SOUS 39561 HAS SOUPS 39561 WITH SCORE 39604.598
AT ITER 7005 NEW BEST:: SOT 293713 SOS 43590 HAS SOPS 43590 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39565.59
AT ITER 7090 NEW BEST:: SOT 293689 SOS 43573 HAS SOPS 43573 HAS SOUS 39498 HAS SOUPS 39498 WITH SCORE 39541.573
AT ITER 7098 NEW BEST:: SOT 293691 SOS 43564 HAS SOPS 43564 HAS SOUS 39489 HAS SOUPS 39489 WITH SCORE 39532.564
AT ITER 7101 NEW BEST:: SOT 293690 SOS 43547 HAS SOPS 43547 HAS SOUS 39486 HAS SOUPS 39486 WITH SCORE 39529.547
AT ITER 7123 NEW BEST:: SOT 293684 SOS 43541 HAS SOPS 43541 HAS SOUS 39480 HAS SOUPS 39480 WITH SCORE 39523.541
AT ITER 7147 NEW BEST:: SOT 293627 SOS 43483 HAS SOPS 43483 HAS SOUS 39479 HAS SOUPS 39479 WITH SCORE 39522.483
AT ITER 7152 NEW BEST:: SOT 293627 SOS 43478 HAS SOPS 43478 HAS SOUS 39474 HAS SOUPS 39474 WITH SCORE 39517.478
AT ITER 7154 NEW BEST:: SOT 293602 SOS 43453 HAS SOPS 43453 HAS SOUS 39449 HAS SOUPS 39449 WITH SCORE 39492.453
AT ITER 7182 NEW BEST:: SOT 293601 SOS 43376 HAS SOPS 43376 HAS SOUS 39423 HAS SOUPS 39423 WITH SCORE 39466.376
AT ITER 7206 NEW BEST:: SOT 293592 SOS 43369 HAS SOPS 43369 HAS SOUS 39416 HAS SOUPS 39416 WITH SCORE 39459.369
AT ITER 7231 NEW BEST:: SOT 293590 SOS 43365 HAS SOPS 43365 HAS SOUS 39412 HAS SOUPS 39412 WITH SCORE 39455.365
AT ITER 7379 NEW BEST:: SOT 293590 SOS 43329 HAS SOPS 43329 HAS SOUS 39376 HAS SOUPS 39376 WITH SCORE 39419.329
AT ITER 7384 NEW BEST:: SOT 293590 SOS 43328 HAS SOPS 43328 HAS SOUS 39375 HAS SOUPS 39375 WITH SCORE 39418.328
AT ITER 7435 NEW BEST:: SOT 293567 SOS 43242 HAS SOPS 43242 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39378.242
AT ITER 7457 NEW BEST:: SOT 293515 SOS 43171 HAS SOPS 43171 HAS SOUS 39264 HAS SOUPS 39264 WITH SCORE 39307.171
AT ITER 7506 NEW BEST:: SOT 293493 SOS 43142 HAS SOPS 43142 HAS SOUS 39235 HAS SOUPS 39235 WITH SCORE 39278.142
AT ITER 7532 NEW BEST:: SOT 293493 SOS 43131 HAS SOPS 43131 HAS SOUS 39235 HAS SOUPS 39235 WITH SCORE 39278.131
AT ITER 7539 NEW BEST:: SOT 293493 SOS 43125 HAS SOPS 43125 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39272.125
AT ITER 7542 NEW BEST:: SOT 293471 SOS 43074 HAS SOPS 43074 HAS SOUS 39172 HAS SOUPS 39172 WITH SCORE 39215.074
AT ITER 7548 NEW BEST:: SOT 293471 SOS 43072 HAS SOPS 43072 HAS SOUS 39170 HAS SOUPS 39170 WITH SCORE 39213.072
AT ITER 7627 NEW BEST:: SOT 293474 SOS 43075 HAS SOPS 43075 HAS SOUS 39161 HAS SOUPS 39161 WITH SCORE 39204.075
AT ITER 7653 NEW BEST:: SOT 293463 SOS 43070 HAS SOPS 43070 HAS SOUS 39156 HAS SOUPS 39156 WITH SCORE 39199.07
AT ITER 7666 NEW BEST:: SOT 293459 SOS 43064 HAS SOPS 43064 HAS SOUS 39152 HAS SOUPS 39152 WITH SCORE 39195.064
AT ITER 7707 NEW BEST:: SOT 293457 SOS 43062 HAS SOPS 43062 HAS SOUS 39152 HAS SOUPS 39152 WITH SCORE 39195.062
AT ITER 7722 NEW BEST:: SOT 293457 SOS 43059 HAS SOPS 43059 HAS SOUS 39149 HAS SOUPS 39149 WITH SCORE 39192.059
AT ITER 7754 NEW BEST:: SOT 293444 SOS 43016 HAS SOPS 43016 HAS SOUS 39106 HAS SOUPS 39106 WITH SCORE 39149.016
AT ITER 7779 NEW BEST:: SOT 293441 SOS 43010 HAS SOPS 43010 HAS SOUS 39103 HAS SOUPS 39103 WITH SCORE 39146.01
AT ITER 7790 NEW BEST:: SOT 293396 SOS 43027 HAS SOPS 43027 HAS SOUS 39091 HAS SOUPS 39091 WITH SCORE 39134.027
AT ITER 7817 NEW BEST:: SOT 293386 SOS 43036 HAS SOPS 43036 HAS SOUS 39090 HAS SOUPS 39090 WITH SCORE 39133.036
AT ITER 7874 NEW BEST:: SOT 293359 SOS 43009 HAS SOPS 43009 HAS SOUS 39063 HAS SOUPS 39063 WITH SCORE 39106.009
AT ITER 7877 NEW BEST:: SOT 293361 SOS 42985 HAS SOPS 42985 HAS SOUS 39047 HAS SOUPS 39047 WITH SCORE 39089.985
AT ITER 7895 NEW BEST:: SOT 293361 SOS 42985 HAS SOPS 42985 HAS SOUS 39043 HAS SOUPS 39043 WITH SCORE 39085.985
AT ITER 7981 NEW BEST:: SOT 293361 SOS 42982 HAS SOPS 42982 HAS SOUS 39040 HAS SOUPS 39040 WITH SCORE 39082.982
AT ITER 8021 NEW BEST:: SOT 293358 SOS 42988 HAS SOPS 42988 HAS SOUS 39036 HAS SOUPS 39036 WITH SCORE 39078.988
AT ITER 8051 NEW BEST:: SOT 293357 SOS 42986 HAS SOPS 42986 HAS SOUS 39034 HAS SOUPS 39034 WITH SCORE 39076.986
AT ITER 8112 NEW BEST:: SOT 293315 SOS 42978 HAS SOPS 42978 HAS SOUS 39026 HAS SOUPS 39026 WITH SCORE 39068.978
AT ITER 8146 NEW BEST:: SOT 293287 SOS 42956 HAS SOPS 42956 HAS SOUS 39004 HAS SOUPS 39004 WITH SCORE 39046.956
AT ITER 8189 NEW BEST:: SOT 293306 SOS 42972 HAS SOPS 42972 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39043.972
AT ITER 8273 NEW BEST:: SOT 293272 SOS 42928 HAS SOPS 42928 HAS SOUS 38957 HAS SOUPS 38957 WITH SCORE 38999.928
AT ITER 8299 NEW BEST:: SOT 293263 SOS 42900 HAS SOPS 42900 HAS SOUS 38929 HAS SOUPS 38929 WITH SCORE 38971.9
AT ITER 8312 NEW BEST:: SOT 293269 SOS 42877 HAS SOPS 42877 HAS SOUS 38910 HAS SOUPS 38910 WITH SCORE 38952.877
AT ITER 8318 NEW BEST:: SOT 293282 SOS 42862 HAS SOPS 42862 HAS SOUS 38895 HAS SOUPS 38895 WITH SCORE 38937.862
AT ITER 8336 NEW BEST:: SOT 293285 SOS 42868 HAS SOPS 42868 HAS SOUS 38875 HAS SOUPS 38875 WITH SCORE 38917.868
AT ITER 8359 NEW BEST:: SOT 293277 SOS 42866 HAS SOPS 42866 HAS SOUS 38873 HAS SOUPS 38873 WITH SCORE 38915.866
AT ITER 8361 NEW BEST:: SOT 293302 SOS 42873 HAS SOPS 42873 HAS SOUS 38869 HAS SOUPS 38869 WITH SCORE 38911.873
AT ITER 8387 NEW BEST:: SOT 293301 SOS 42978 HAS SOPS 42978 HAS SOUS 38862 HAS SOUPS 38862 WITH SCORE 38904.978
AT ITER 8435 NEW BEST:: SOT 293302 SOS 42973 HAS SOPS 42973 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38891.973
AT ITER 8441 NEW BEST:: SOT 293302 SOS 42972 HAS SOPS 42972 HAS SOUS 38848 HAS SOUPS 38848 WITH SCORE 38890.972
AT ITER 8461 NEW BEST:: SOT 293302 SOS 42940 HAS SOPS 42940 HAS SOUS 38848 HAS SOUPS 38848 WITH SCORE 38890.94
AT ITER 8485 NEW BEST:: SOT 293314 SOS 42939 HAS SOPS 42939 HAS SOUS 38847 HAS SOUPS 38847 WITH SCORE 38889.939
AT ITER 8508 NEW BEST:: SOT 293314 SOS 42917 HAS SOPS 42917 HAS SOUS 38825 HAS SOUPS 38825 WITH SCORE 38867.917
AT ITER 8548 NEW BEST:: SOT 293342 SOS 42901 HAS SOPS 42901 HAS SOUS 38809 HAS SOUPS 38809 WITH SCORE 38851.901
AT ITER 8602 NEW BEST:: SOT 293343 SOS 42907 HAS SOPS 42907 HAS SOUS 38772 HAS SOUPS 38772 WITH SCORE 38814.907
AT ITER 8632 NEW BEST:: SOT 293328 SOS 42882 HAS SOPS 42882 HAS SOUS 38747 HAS SOUPS 38747 WITH SCORE 38789.882
AT ITER 8694 NEW BEST:: SOT 293328 SOS 42882 HAS SOPS 42882 HAS SOUS 38735 HAS SOUPS 38735 WITH SCORE 38777.882
AT ITER 8698 NEW BEST:: SOT 293287 SOS 42961 HAS SOPS 42961 HAS SOUS 38677 HAS SOUPS 38677 WITH SCORE 38719.961
AT ITER 8739 NEW BEST:: SOT 293270 SOS 43025 HAS SOPS 43025 HAS SOUS 38671 HAS SOUPS 38671 WITH SCORE 38714.025
AT ITER 8743 NEW BEST:: SOT 293260 SOS 43015 HAS SOPS 43015 HAS SOUS 38643 HAS SOUPS 38643 WITH SCORE 38686.015
AT ITER 8784 NEW BEST:: SOT 293259 SOS 43013 HAS SOPS 43013 HAS SOUS 38642 HAS SOUPS 38642 WITH SCORE 38685.013
AT ITER 8816 NEW BEST:: SOT 293240 SOS 42975 HAS SOPS 42975 HAS SOUS 38623 HAS SOUPS 38623 WITH SCORE 38665.975
AT ITER 8839 NEW BEST:: SOT 293233 SOS 42968 HAS SOPS 42968 HAS SOUS 38616 HAS SOUPS 38616 WITH SCORE 38658.968
AT ITER 8862 NEW BEST:: SOT 293233 SOS 42945 HAS SOPS 42945 HAS SOUS 38593 HAS SOUPS 38593 WITH SCORE 38635.945
AT ITER 8873 NEW BEST:: SOT 293190 SOS 42848 HAS SOPS 42848 HAS SOUS 38553 HAS SOUPS 38553 WITH SCORE 38595.848
AT ITER 8910 NEW BEST:: SOT 293158 SOS 42824 HAS SOPS 42824 HAS SOUS 38521 HAS SOUPS 38521 WITH SCORE 38563.824
AT ITER 8958 NEW BEST:: SOT 293163 SOS 42811 HAS SOPS 42811 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38561.811
AT ITER 8995 NEW BEST:: SOT 293160 SOS 42808 HAS SOPS 42808 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38561.808
AT ITER 9006 NEW BEST:: SOT 293135 SOS 42792 HAS SOPS 42792 HAS SOUS 38503 HAS SOUPS 38503 WITH SCORE 38545.792
AT ITER 9008 NEW BEST:: SOT 293107 SOS 42682 HAS SOPS 42682 HAS SOUS 38443 HAS SOUPS 38443 WITH SCORE 38485.682
AT ITER 9057 NEW BEST:: SOT 293089 SOS 42646 HAS SOPS 42646 HAS SOUS 38407 HAS SOUPS 38407 WITH SCORE 38449.646
AT ITER 9069 NEW BEST:: SOT 293089 SOS 42628 HAS SOPS 42628 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38440.628
AT ITER 9070 NEW BEST:: SOT 293089 SOS 42615 HAS SOPS 42615 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38440.615
AT ITER 9139 NEW BEST:: SOT 293089 SOS 42605 HAS SOPS 42605 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38440.605
AT ITER 9167 NEW BEST:: SOT 293089 SOS 42598 HAS SOPS 42598 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38440.598
AT ITER 9183 NEW BEST:: SOT 293076 SOS 42594 HAS SOPS 42594 HAS SOUS 38385 HAS SOUPS 38385 WITH SCORE 38427.594
AT ITER 9187 NEW BEST:: SOT 293065 SOS 42607 HAS SOPS 42607 HAS SOUS 38374 HAS SOUPS 38374 WITH SCORE 38416.607
AT ITER 9205 NEW BEST:: SOT 293061 SOS 42603 HAS SOPS 42603 HAS SOUS 38370 HAS SOUPS 38370 WITH SCORE 38412.603
AT ITER 9272 NEW BEST:: SOT 293052 SOS 42586 HAS SOPS 42586 HAS SOUS 38351 HAS SOUPS 38351 WITH SCORE 38393.586
AT ITER 9287 NEW BEST:: SOT 293052 SOS 42585 HAS SOPS 42585 HAS SOUS 38350 HAS SOUPS 38350 WITH SCORE 38392.585
AT ITER 9300 NEW BEST:: SOT 293050 SOS 42575 HAS SOPS 42575 HAS SOUS 38344 HAS SOUPS 38344 WITH SCORE 38386.575
AT ITER 9315 NEW BEST:: SOT 293103 SOS 42572 HAS SOPS 42572 HAS SOUS 38341 HAS SOUPS 38341 WITH SCORE 38383.572
AT ITER 9326 NEW BEST:: SOT 293071 SOS 42531 HAS SOPS 42531 HAS SOUS 38332 HAS SOUPS 38332 WITH SCORE 38374.531
AT ITER 9336 NEW BEST:: SOT 293062 SOS 42525 HAS SOPS 42525 HAS SOUS 38326 HAS SOUPS 38326 WITH SCORE 38368.525
AT ITER 9345 NEW BEST:: SOT 293062 SOS 42517 HAS SOPS 42517 HAS SOUS 38318 HAS SOUPS 38318 WITH SCORE 38360.517
AT ITER 9358 NEW BEST:: SOT 293038 SOS 42503 HAS SOPS 42503 HAS SOUS 38304 HAS SOUPS 38304 WITH SCORE 38346.503
AT ITER 9383 NEW BEST:: SOT 292975 SOS 42579 HAS SOPS 42579 HAS SOUS 38253 HAS SOUPS 38253 WITH SCORE 38295.579
AT ITER 9384 NEW BEST:: SOT 292975 SOS 42574 HAS SOPS 42574 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38290.574
AT ITER 9422 NEW BEST:: SOT 292968 SOS 42565 HAS SOPS 42565 HAS SOUS 38239 HAS SOUPS 38239 WITH SCORE 38281.565
AT ITER 9449 NEW BEST:: SOT 292954 SOS 42537 HAS SOPS 42537 HAS SOUS 38225 HAS SOUPS 38225 WITH SCORE 38267.537
AT ITER 9453 NEW BEST:: SOT 292954 SOS 42521 HAS SOPS 42521 HAS SOUS 38225 HAS SOUPS 38225 WITH SCORE 38267.521
AT ITER 9511 NEW BEST:: SOT 292954 SOS 42531 HAS SOPS 42531 HAS SOUS 38219 HAS SOUPS 38219 WITH SCORE 38261.531
AT ITER 9523 NEW BEST:: SOT 292922 SOS 42577 HAS SOPS 42577 HAS SOUS 38184 HAS SOUPS 38184 WITH SCORE 38226.577
AT ITER 9530 NEW BEST:: SOT 292922 SOS 42545 HAS SOPS 42545 HAS SOUS 38184 HAS SOUPS 38184 WITH SCORE 38226.545
AT ITER 9551 NEW BEST:: SOT 292922 SOS 42541 HAS SOPS 42541 HAS SOUS 38184 HAS SOUPS 38184 WITH SCORE 38226.541
AT ITER 9633 NEW BEST:: SOT 292920 SOS 42537 HAS SOPS 42537 HAS SOUS 38182 HAS SOUPS 38182 WITH SCORE 38224.537
AT ITER 9748 NEW BEST:: SOT 292920 SOS 42522 HAS SOPS 42522 HAS SOUS 38177 HAS SOUPS 38177 WITH SCORE 38219.522
AT ITER 9796 NEW BEST:: SOT 292920 SOS 42522 HAS SOPS 42522 HAS SOUS 38172 HAS SOUPS 38172 WITH SCORE 38214.522
AT ITER 9800 NEW BEST:: SOT 292905 SOS 42507 HAS SOPS 42507 HAS SOUS 38147 HAS SOUPS 38147 WITH SCORE 38189.507
AT ITER 9815 NEW BEST:: SOT 292926 SOS 42516 HAS SOPS 42516 HAS SOUS 38109 HAS SOUPS 38109 WITH SCORE 38151.516
AT ITER 9821 NEW BEST:: SOT 292926 SOS 42471 HAS SOPS 42471 HAS SOUS 38064 HAS SOUPS 38064 WITH SCORE 38106.471
AT ITER 9850 NEW BEST:: SOT 292926 SOS 42470 HAS SOPS 42470 HAS SOUS 38063 HAS SOUPS 38063 WITH SCORE 38105.47
AT ITER 9855 NEW BEST:: SOT 292912 SOS 42470 HAS SOPS 42470 HAS SOUS 38056 HAS SOUPS 38056 WITH SCORE 38098.47
AT ITER 9860 NEW BEST:: SOT 292912 SOS 42431 HAS SOPS 42431 HAS SOUS 38017 HAS SOUPS 38017 WITH SCORE 38059.431
AT ITER 9877 NEW BEST:: SOT 292912 SOS 42414 HAS SOPS 42414 HAS SOUS 38000 HAS SOUPS 38000 WITH SCORE 38042.414
AT ITER 9890 NEW BEST:: SOT 292912 SOS 42411 HAS SOPS 42411 HAS SOUS 38000 HAS SOUPS 38000 WITH SCORE 38042.411
AT ITER 9917 NEW BEST:: SOT 292864 SOS 42436 HAS SOPS 42436 HAS SOUS 37973 HAS SOUPS 37973 WITH SCORE 38015.436
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10099108 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152364 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ShieldPPPt-PT-010B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-010B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903712000624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-010B.tgz
mv ShieldPPPt-PT-010B execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;