Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973500272.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVt-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973500272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 6.2K Feb 25 22:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 22:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 22:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 22:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 22:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 22:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 22:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 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 119K 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 1679088583099

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=ShieldRVt-PT-010B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (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: 503 places, 503 transitions, 1186 arcs.
AT ITER 0 NEW BEST:: SOT 132401 SOS 21634 HAS SOPS 21634 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19842.634
AT ITER 28 NEW BEST:: SOT 132401 SOS 21576 HAS SOPS 21576 HAS SOUS 19763 HAS SOUPS 19763 WITH SCORE 19784.576
AT ITER 53 NEW BEST:: SOT 132401 SOS 21545 HAS SOPS 21545 HAS SOUS 19760 HAS SOUPS 19760 WITH SCORE 19781.545
AT ITER 81 NEW BEST:: SOT 132400 SOS 21541 HAS SOPS 21541 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19779.541
AT ITER 165 NEW BEST:: SOT 132400 SOS 21514 HAS SOPS 21514 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19752.514
AT ITER 183 NEW BEST:: SOT 132369 SOS 21545 HAS SOPS 21545 HAS SOUS 19728 HAS SOUPS 19728 WITH SCORE 19749.545
AT ITER 219 NEW BEST:: SOT 132360 SOS 21518 HAS SOPS 21518 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19740.518
AT ITER 229 NEW BEST:: SOT 132352 SOS 21502 HAS SOPS 21502 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19669.502
AT ITER 238 NEW BEST:: SOT 132355 SOS 21488 HAS SOPS 21488 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19669.488
AT ITER 257 NEW BEST:: SOT 132355 SOS 21488 HAS SOPS 21488 HAS SOUS 19636 HAS SOUPS 19636 WITH SCORE 19657.488
AT ITER 258 NEW BEST:: SOT 132279 SOS 21450 HAS SOPS 21450 HAS SOUS 19598 HAS SOUPS 19598 WITH SCORE 19619.45
AT ITER 352 NEW BEST:: SOT 132265 SOS 21456 HAS SOPS 21456 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19605.456
AT ITER 360 NEW BEST:: SOT 132255 SOS 21436 HAS SOPS 21436 HAS SOUS 19574 HAS SOUPS 19574 WITH SCORE 19595.436
AT ITER 363 NEW BEST:: SOT 132282 SOS 21490 HAS SOPS 21490 HAS SOUS 19569 HAS SOUPS 19569 WITH SCORE 19590.49
AT ITER 373 NEW BEST:: SOT 132277 SOS 21490 HAS SOPS 21490 HAS SOUS 19564 HAS SOUPS 19564 WITH SCORE 19585.49
AT ITER 377 NEW BEST:: SOT 132277 SOS 21489 HAS SOPS 21489 HAS SOUS 19563 HAS SOUPS 19563 WITH SCORE 19584.489
AT ITER 389 NEW BEST:: SOT 132258 SOS 21451 HAS SOPS 21451 HAS SOUS 19525 HAS SOUPS 19525 WITH SCORE 19546.451
AT ITER 406 NEW BEST:: SOT 132258 SOS 21443 HAS SOPS 21443 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19537.443
AT ITER 435 NEW BEST:: SOT 132260 SOS 21379 HAS SOPS 21379 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19505.379
AT ITER 442 NEW BEST:: SOT 132260 SOS 21379 HAS SOPS 21379 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19499.379
AT ITER 460 NEW BEST:: SOT 132257 SOS 21373 HAS SOPS 21373 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19499.373
AT ITER 468 NEW BEST:: SOT 132217 SOS 21247 HAS SOPS 21247 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19367.247
AT ITER 476 NEW BEST:: SOT 132217 SOS 21245 HAS SOPS 21245 HAS SOUS 19343 HAS SOUPS 19343 WITH SCORE 19364.245
AT ITER 483 NEW BEST:: SOT 132205 SOS 21254 HAS SOPS 21254 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19352.254
AT ITER 491 NEW BEST:: SOT 132217 SOS 21238 HAS SOPS 21238 HAS SOUS 19315 HAS SOUPS 19315 WITH SCORE 19336.238
AT ITER 493 NEW BEST:: SOT 132217 SOS 21233 HAS SOPS 21233 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19327.233
AT ITER 541 NEW BEST:: SOT 132217 SOS 21218 HAS SOPS 21218 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19284.218
AT ITER 554 NEW BEST:: SOT 132217 SOS 21215 HAS SOPS 21215 HAS SOUS 19260 HAS SOUPS 19260 WITH SCORE 19281.215
AT ITER 582 NEW BEST:: SOT 132217 SOS 21197 HAS SOPS 21197 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19245.197
AT ITER 583 NEW BEST:: SOT 132216 SOS 21191 HAS SOPS 21191 HAS SOUS 19222 HAS SOUPS 19222 WITH SCORE 19243.191
AT ITER 608 NEW BEST:: SOT 132174 SOS 21092 HAS SOPS 21092 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19132.092
AT ITER 634 NEW BEST:: SOT 132173 SOS 21090 HAS SOPS 21090 HAS SOUS 19109 HAS SOUPS 19109 WITH SCORE 19130.09
AT ITER 663 NEW BEST:: SOT 132173 SOS 21089 HAS SOPS 21089 HAS SOUS 19108 HAS SOUPS 19108 WITH SCORE 19129.089
AT ITER 683 NEW BEST:: SOT 132194 SOS 21125 HAS SOPS 21125 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19128.125
AT ITER 755 NEW BEST:: SOT 132184 SOS 21045 HAS SOPS 21045 HAS SOUS 19037 HAS SOUPS 19037 WITH SCORE 19058.045
AT ITER 852 NEW BEST:: SOT 132184 SOS 21023 HAS SOPS 21023 HAS SOUS 19015 HAS SOUPS 19015 WITH SCORE 19036.023
AT ITER 886 NEW BEST:: SOT 132183 SOS 20991 HAS SOPS 20991 HAS SOUS 19013 HAS SOUPS 19013 WITH SCORE 19033.991
AT ITER 905 NEW BEST:: SOT 132183 SOS 20976 HAS SOPS 20976 HAS SOUS 18998 HAS SOUPS 18998 WITH SCORE 19018.976
AT ITER 908 NEW BEST:: SOT 132183 SOS 20973 HAS SOPS 20973 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19015.973
AT ITER 921 NEW BEST:: SOT 132183 SOS 20955 HAS SOPS 20955 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19015.955
AT ITER 923 NEW BEST:: SOT 132183 SOS 20923 HAS SOPS 20923 HAS SOUS 18994 HAS SOUPS 18994 WITH SCORE 19014.923
AT ITER 938 NEW BEST:: SOT 132227 SOS 21011 HAS SOPS 21011 HAS SOUS 18976 HAS SOUPS 18976 WITH SCORE 18997.011
AT ITER 948 NEW BEST:: SOT 132249 SOS 20984 HAS SOPS 20984 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18983.984
AT ITER 954 NEW BEST:: SOT 132250 SOS 20960 HAS SOPS 20960 HAS SOUS 18951 HAS SOUPS 18951 WITH SCORE 18971.96
AT ITER 959 NEW BEST:: SOT 132250 SOS 20930 HAS SOPS 20930 HAS SOUS 18936 HAS SOUPS 18936 WITH SCORE 18956.93
AT ITER 969 NEW BEST:: SOT 132250 SOS 20930 HAS SOPS 20930 HAS SOUS 18929 HAS SOUPS 18929 WITH SCORE 18949.93
AT ITER 974 NEW BEST:: SOT 132249 SOS 20899 HAS SOPS 20899 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18918.899
AT ITER 994 NEW BEST:: SOT 132249 SOS 20872 HAS SOPS 20872 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18891.872
AT ITER 1000 NEW BEST:: SOT 132249 SOS 20850 HAS SOPS 20850 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18891.85
AT ITER 1138 NEW BEST:: SOT 132249 SOS 20847 HAS SOPS 20847 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18891.847
AT ITER 1142 NEW BEST:: SOT 132249 SOS 20810 HAS SOPS 20810 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18854.81
AT ITER 1149 NEW BEST:: SOT 132242 SOS 20816 HAS SOPS 20816 HAS SOUS 18827 HAS SOUPS 18827 WITH SCORE 18847.816
AT ITER 1150 NEW BEST:: SOT 132219 SOS 20741 HAS SOPS 20741 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18763.741
AT ITER 1153 NEW BEST:: SOT 132212 SOS 20740 HAS SOPS 20740 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18762.74
AT ITER 1160 NEW BEST:: SOT 132206 SOS 20727 HAS SOPS 20727 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18756.727
AT ITER 1162 NEW BEST:: SOT 132176 SOS 20726 HAS SOPS 20726 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18723.726
AT ITER 1170 NEW BEST:: SOT 132159 SOS 20676 HAS SOPS 20676 HAS SOUS 18685 HAS SOUPS 18685 WITH SCORE 18705.676
AT ITER 1176 NEW BEST:: SOT 132159 SOS 20676 HAS SOPS 20676 HAS SOUS 18681 HAS SOUPS 18681 WITH SCORE 18701.676
AT ITER 1182 NEW BEST:: SOT 132159 SOS 20661 HAS SOPS 20661 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18686.661
AT ITER 1198 NEW BEST:: SOT 132159 SOS 20660 HAS SOPS 20660 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18685.66
AT ITER 1233 NEW BEST:: SOT 132143 SOS 20592 HAS SOPS 20592 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18669.592
AT ITER 1280 NEW BEST:: SOT 132143 SOS 20591 HAS SOPS 20591 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18669.591
AT ITER 1308 NEW BEST:: SOT 132143 SOS 20569 HAS SOPS 20569 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18669.569
AT ITER 1323 NEW BEST:: SOT 132137 SOS 20533 HAS SOPS 20533 HAS SOUS 18619 HAS SOUPS 18619 WITH SCORE 18639.533
AT ITER 1384 NEW BEST:: SOT 132188 SOS 20484 HAS SOPS 20484 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18632.484
AT ITER 1442 NEW BEST:: SOT 132196 SOS 20438 HAS SOPS 20438 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18586.438
AT ITER 1444 NEW BEST:: SOT 132211 SOS 20435 HAS SOPS 20435 HAS SOUS 18563 HAS SOUPS 18563 WITH SCORE 18583.435
AT ITER 1455 NEW BEST:: SOT 132203 SOS 20429 HAS SOPS 20429 HAS SOUS 18548 HAS SOUPS 18548 WITH SCORE 18568.429
AT ITER 1464 NEW BEST:: SOT 132203 SOS 20427 HAS SOPS 20427 HAS SOUS 18546 HAS SOUPS 18546 WITH SCORE 18566.427
AT ITER 1476 NEW BEST:: SOT 132180 SOS 20435 HAS SOPS 20435 HAS SOUS 18523 HAS SOUPS 18523 WITH SCORE 18543.435
AT ITER 1516 NEW BEST:: SOT 132172 SOS 20419 HAS SOPS 20419 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18527.419
AT ITER 1526 NEW BEST:: SOT 132171 SOS 20391 HAS SOPS 20391 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18525.391
AT ITER 1536 NEW BEST:: SOT 132197 SOS 20417 HAS SOPS 20417 HAS SOUS 18502 HAS SOUPS 18502 WITH SCORE 18522.417
AT ITER 1571 NEW BEST:: SOT 132180 SOS 20311 HAS SOPS 20311 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18501.311
AT ITER 1572 NEW BEST:: SOT 132166 SOS 20310 HAS SOPS 20310 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18500.31
AT ITER 1590 NEW BEST:: SOT 132164 SOS 20303 HAS SOPS 20303 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18493.303
AT ITER 1610 NEW BEST:: SOT 132151 SOS 20269 HAS SOPS 20269 HAS SOUS 18459 HAS SOUPS 18459 WITH SCORE 18479.269
AT ITER 1643 NEW BEST:: SOT 132143 SOS 20245 HAS SOPS 20245 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18463.245
AT ITER 1659 NEW BEST:: SOT 132129 SOS 20217 HAS SOPS 20217 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18435.217
AT ITER 1684 NEW BEST:: SOT 132111 SOS 20181 HAS SOPS 20181 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18399.181
AT ITER 1701 NEW BEST:: SOT 132111 SOS 20176 HAS SOPS 20176 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18399.176
AT ITER 1729 NEW BEST:: SOT 132101 SOS 20122 HAS SOPS 20122 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18356.122
AT ITER 1738 NEW BEST:: SOT 132095 SOS 20090 HAS SOPS 20090 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18324.09
AT ITER 1742 NEW BEST:: SOT 132090 SOS 20087 HAS SOPS 20087 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18321.087
AT ITER 1784 NEW BEST:: SOT 132099 SOS 20078 HAS SOPS 20078 HAS SOUS 18292 HAS SOUPS 18292 WITH SCORE 18312.078
AT ITER 1793 NEW BEST:: SOT 132099 SOS 20077 HAS SOPS 20077 HAS SOUS 18291 HAS SOUPS 18291 WITH SCORE 18311.077
AT ITER 1868 NEW BEST:: SOT 132065 SOS 20043 HAS SOPS 20043 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18277.043
AT ITER 1894 NEW BEST:: SOT 132032 SOS 20044 HAS SOPS 20044 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18244.044
AT ITER 1901 NEW BEST:: SOT 132055 SOS 20047 HAS SOPS 20047 HAS SOUS 18161 HAS SOUPS 18161 WITH SCORE 18181.047
AT ITER 1945 NEW BEST:: SOT 132050 SOS 20032 HAS SOPS 20032 HAS SOUS 18146 HAS SOUPS 18146 WITH SCORE 18166.032
AT ITER 1962 NEW BEST:: SOT 131996 SOS 20072 HAS SOPS 20072 HAS SOUS 18110 HAS SOUPS 18110 WITH SCORE 18130.072
AT ITER 1977 NEW BEST:: SOT 132002 SOS 20078 HAS SOPS 20078 HAS SOUS 18104 HAS SOUPS 18104 WITH SCORE 18124.078
AT ITER 1998 NEW BEST:: SOT 131976 SOS 19987 HAS SOPS 19987 HAS SOUS 18097 HAS SOUPS 18097 WITH SCORE 18116.987
AT ITER 2002 NEW BEST:: SOT 131973 SOS 19979 HAS SOPS 19979 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18109.979
AT ITER 2005 NEW BEST:: SOT 131967 SOS 19973 HAS SOPS 19973 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18109.973
AT ITER 2014 NEW BEST:: SOT 131967 SOS 19971 HAS SOPS 19971 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18109.971
AT ITER 2060 NEW BEST:: SOT 131970 SOS 19956 HAS SOPS 19956 HAS SOUS 18075 HAS SOUPS 18075 WITH SCORE 18094.956
AT ITER 2074 NEW BEST:: SOT 131970 SOS 19955 HAS SOPS 19955 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18093.955
AT ITER 2075 NEW BEST:: SOT 131970 SOS 19952 HAS SOPS 19952 HAS SOUS 18071 HAS SOUPS 18071 WITH SCORE 18090.952
AT ITER 2078 NEW BEST:: SOT 131977 SOS 19892 HAS SOPS 19892 HAS SOUS 18040 HAS SOUPS 18040 WITH SCORE 18059.892
AT ITER 2090 NEW BEST:: SOT 131977 SOS 19883 HAS SOPS 19883 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18050.883
AT ITER 2103 NEW BEST:: SOT 131960 SOS 19830 HAS SOPS 19830 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18033.83
AT ITER 2106 NEW BEST:: SOT 131960 SOS 19825 HAS SOPS 19825 HAS SOUS 18009 HAS SOUPS 18009 WITH SCORE 18028.825
AT ITER 2162 NEW BEST:: SOT 131960 SOS 19822 HAS SOPS 19822 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18025.822
AT ITER 2176 NEW BEST:: SOT 131981 SOS 19830 HAS SOPS 19830 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18015.83
AT ITER 2187 NEW BEST:: SOT 131907 SOS 19745 HAS SOPS 19745 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17924.745
AT ITER 2223 NEW BEST:: SOT 131856 SOS 19694 HAS SOPS 19694 HAS SOUS 17854 HAS SOUPS 17854 WITH SCORE 17873.694
AT ITER 2278 NEW BEST:: SOT 131855 SOS 19692 HAS SOPS 19692 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17848.692
AT ITER 2339 NEW BEST:: SOT 131860 SOS 19683 HAS SOPS 19683 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17830.683
AT ITER 2354 NEW BEST:: SOT 131860 SOS 19683 HAS SOPS 19683 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17827.683
AT ITER 2366 NEW BEST:: SOT 131859 SOS 19683 HAS SOPS 19683 HAS SOUS 17807 HAS SOUPS 17807 WITH SCORE 17826.683
AT ITER 2373 NEW BEST:: SOT 131858 SOS 19652 HAS SOPS 19652 HAS SOUS 17790 HAS SOUPS 17790 WITH SCORE 17809.652
AT ITER 2379 NEW BEST:: SOT 131839 SOS 19571 HAS SOPS 19571 HAS SOUS 17752 HAS SOUPS 17752 WITH SCORE 17771.571
AT ITER 2425 NEW BEST:: SOT 131843 SOS 19526 HAS SOPS 19526 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17768.526
AT ITER 2426 NEW BEST:: SOT 131843 SOS 19500 HAS SOPS 19500 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17768.5
AT ITER 2458 NEW BEST:: SOT 131822 SOS 19481 HAS SOPS 19481 HAS SOUS 17728 HAS SOUPS 17728 WITH SCORE 17747.481
AT ITER 2463 NEW BEST:: SOT 131814 SOS 19480 HAS SOPS 19480 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17731.48
AT ITER 2507 NEW BEST:: SOT 131798 SOS 19488 HAS SOPS 19488 HAS SOUS 17681 HAS SOUPS 17681 WITH SCORE 17700.488
AT ITER 2522 NEW BEST:: SOT 131780 SOS 19470 HAS SOPS 19470 HAS SOUS 17654 HAS SOUPS 17654 WITH SCORE 17673.47
AT ITER 2547 NEW BEST:: SOT 131764 SOS 19303 HAS SOPS 19303 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17612.303
AT ITER 2549 NEW BEST:: SOT 131764 SOS 19298 HAS SOPS 19298 HAS SOUS 17588 HAS SOUPS 17588 WITH SCORE 17607.298
AT ITER 2562 NEW BEST:: SOT 131761 SOS 19292 HAS SOPS 19292 HAS SOUS 17585 HAS SOUPS 17585 WITH SCORE 17604.292
AT ITER 2585 NEW BEST:: SOT 131756 SOS 19287 HAS SOPS 19287 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17599.287
AT ITER 2602 NEW BEST:: SOT 131759 SOS 19273 HAS SOPS 19273 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17595.273
AT ITER 2608 NEW BEST:: SOT 131759 SOS 19252 HAS SOPS 19252 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17574.252
AT ITER 2656 NEW BEST:: SOT 131747 SOS 19218 HAS SOPS 19218 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17547.218
AT ITER 2709 NEW BEST:: SOT 131760 SOS 19244 HAS SOPS 19244 HAS SOUS 17515 HAS SOUPS 17515 WITH SCORE 17534.244
AT ITER 2713 NEW BEST:: SOT 131757 SOS 19241 HAS SOPS 19241 HAS SOUS 17509 HAS SOUPS 17509 WITH SCORE 17528.241
AT ITER 2717 NEW BEST:: SOT 131756 SOS 19239 HAS SOPS 19239 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17526.239
AT ITER 2741 NEW BEST:: SOT 131756 SOS 19238 HAS SOPS 19238 HAS SOUS 17505 HAS SOUPS 17505 WITH SCORE 17524.238
AT ITER 2744 NEW BEST:: SOT 131755 SOS 19236 HAS SOPS 19236 HAS SOUS 17502 HAS SOUPS 17502 WITH SCORE 17521.236
AT ITER 2753 NEW BEST:: SOT 131742 SOS 19255 HAS SOPS 19255 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17517.255
AT ITER 2779 NEW BEST:: SOT 131736 SOS 19231 HAS SOPS 19231 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17499.231
AT ITER 2819 NEW BEST:: SOT 131738 SOS 19206 HAS SOPS 19206 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17499.206
AT ITER 2826 NEW BEST:: SOT 131738 SOS 19172 HAS SOPS 19172 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17482.172
AT ITER 2857 NEW BEST:: SOT 131746 SOS 19167 HAS SOPS 19167 HAS SOUS 17458 HAS SOUPS 17458 WITH SCORE 17477.167
AT ITER 2866 NEW BEST:: SOT 131759 SOS 19107 HAS SOPS 19107 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17450.107
AT ITER 2874 NEW BEST:: SOT 131737 SOS 18999 HAS SOPS 18999 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17381.999
AT ITER 2949 NEW BEST:: SOT 131736 SOS 18998 HAS SOPS 18998 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17381.998
AT ITER 2976 NEW BEST:: SOT 131732 SOS 18994 HAS SOPS 18994 HAS SOUS 17359 HAS SOUPS 17359 WITH SCORE 17377.994
AT ITER 3032 NEW BEST:: SOT 131726 SOS 18974 HAS SOPS 18974 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17357.974
AT ITER 3036 NEW BEST:: SOT 131726 SOS 18973 HAS SOPS 18973 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17356.973
AT ITER 3103 NEW BEST:: SOT 131686 SOS 18752 HAS SOPS 18752 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17213.752
AT ITER 3127 NEW BEST:: SOT 131679 SOS 18738 HAS SOPS 18738 HAS SOUS 17188 HAS SOUPS 17188 WITH SCORE 17206.738
AT ITER 3165 NEW BEST:: SOT 131702 SOS 18696 HAS SOPS 18696 HAS SOUS 17157 HAS SOUPS 17157 WITH SCORE 17175.696
AT ITER 3247 NEW BEST:: SOT 131702 SOS 18693 HAS SOPS 18693 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17172.693
AT ITER 3267 NEW BEST:: SOT 131702 SOS 18688 HAS SOPS 18688 HAS SOUS 17149 HAS SOUPS 17149 WITH SCORE 17167.688
AT ITER 3287 NEW BEST:: SOT 131678 SOS 18594 HAS SOPS 18594 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17114.594
AT ITER 3320 NEW BEST:: SOT 131682 SOS 18562 HAS SOPS 18562 HAS SOUS 17064 HAS SOUPS 17064 WITH SCORE 17082.562
AT ITER 3379 NEW BEST:: SOT 131652 SOS 18492 HAS SOPS 18492 HAS SOUS 16994 HAS SOUPS 16994 WITH SCORE 17012.492
AT ITER 3412 NEW BEST:: SOT 131635 SOS 18524 HAS SOPS 18524 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17003.524
AT ITER 3455 NEW BEST:: SOT 131613 SOS 18517 HAS SOPS 18517 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 16980.517
AT ITER 3489 NEW BEST:: SOT 131599 SOS 18489 HAS SOPS 18489 HAS SOUS 16934 HAS SOUPS 16934 WITH SCORE 16952.489
AT ITER 3500 NEW BEST:: SOT 131586 SOS 18480 HAS SOPS 18480 HAS SOUS 16913 HAS SOUPS 16913 WITH SCORE 16931.48
AT ITER 3507 NEW BEST:: SOT 131576 SOS 18470 HAS SOPS 18470 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16921.47
AT ITER 3550 NEW BEST:: SOT 131576 SOS 18440 HAS SOPS 18440 HAS SOUS 16888 HAS SOUPS 16888 WITH SCORE 16906.44
AT ITER 3569 NEW BEST:: SOT 131570 SOS 18428 HAS SOPS 18428 HAS SOUS 16873 HAS SOUPS 16873 WITH SCORE 16891.428
AT ITER 3581 NEW BEST:: SOT 131571 SOS 18394 HAS SOPS 18394 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16854.394
AT ITER 3592 NEW BEST:: SOT 131562 SOS 18385 HAS SOPS 18385 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16838.385
AT ITER 3595 NEW BEST:: SOT 131562 SOS 18379 HAS SOPS 18379 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16838.379
AT ITER 3616 NEW BEST:: SOT 131552 SOS 18359 HAS SOPS 18359 HAS SOUS 16797 HAS SOUPS 16797 WITH SCORE 16815.359
AT ITER 3617 NEW BEST:: SOT 131521 SOS 18297 HAS SOPS 18297 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16753.297
AT ITER 3622 NEW BEST:: SOT 131496 SOS 18222 HAS SOPS 18222 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16678.222
AT ITER 3676 NEW BEST:: SOT 131486 SOS 18192 HAS SOPS 18192 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16658.192
AT ITER 3711 NEW BEST:: SOT 131480 SOS 18180 HAS SOPS 18180 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16646.18
AT ITER 3726 NEW BEST:: SOT 131480 SOS 18165 HAS SOPS 18165 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16631.165
AT ITER 3729 NEW BEST:: SOT 131480 SOS 18163 HAS SOPS 18163 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16631.163
AT ITER 3741 NEW BEST:: SOT 131492 SOS 18173 HAS SOPS 18173 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16629.173
AT ITER 3743 NEW BEST:: SOT 131474 SOS 18171 HAS SOPS 18171 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16624.171
AT ITER 3769 NEW BEST:: SOT 131450 SOS 18136 HAS SOPS 18136 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16600.136
AT ITER 3785 NEW BEST:: SOT 131436 SOS 18130 HAS SOPS 18130 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16572.13
AT ITER 3786 NEW BEST:: SOT 131440 SOS 18127 HAS SOPS 18127 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16569.127
AT ITER 3804 NEW BEST:: SOT 131440 SOS 18127 HAS SOPS 18127 HAS SOUS 16548 HAS SOUPS 16548 WITH SCORE 16566.127
AT ITER 3821 NEW BEST:: SOT 131449 SOS 18122 HAS SOPS 18122 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16552.122
AT ITER 3848 NEW BEST:: SOT 131449 SOS 18119 HAS SOPS 18119 HAS SOUS 16531 HAS SOUPS 16531 WITH SCORE 16549.119
AT ITER 3861 NEW BEST:: SOT 131437 SOS 18095 HAS SOPS 18095 HAS SOUS 16514 HAS SOUPS 16514 WITH SCORE 16532.095
AT ITER 3869 NEW BEST:: SOT 131427 SOS 18075 HAS SOPS 18075 HAS SOUS 16483 HAS SOUPS 16483 WITH SCORE 16501.075
AT ITER 3913 NEW BEST:: SOT 131421 SOS 18068 HAS SOPS 18068 HAS SOUS 16476 HAS SOUPS 16476 WITH SCORE 16494.068
AT ITER 3932 NEW BEST:: SOT 131421 SOS 18067 HAS SOPS 18067 HAS SOUS 16459 HAS SOUPS 16459 WITH SCORE 16477.067
AT ITER 3934 NEW BEST:: SOT 131410 SOS 18042 HAS SOPS 18042 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16440.042
AT ITER 3998 NEW BEST:: SOT 131410 SOS 18042 HAS SOPS 18042 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16435.042
AT ITER 4001 NEW BEST:: SOT 131398 SOS 18030 HAS SOPS 18030 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16423.03
AT ITER 4017 NEW BEST:: SOT 131368 SOS 17972 HAS SOPS 17972 HAS SOUS 16347 HAS SOUPS 16347 WITH SCORE 16364.972
AT ITER 4018 NEW BEST:: SOT 131368 SOS 17979 HAS SOPS 17979 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16361.979
AT ITER 4036 NEW BEST:: SOT 131366 SOS 17970 HAS SOPS 17970 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16352.97
AT ITER 4042 NEW BEST:: SOT 131364 SOS 17966 HAS SOPS 17966 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16342.966
AT ITER 4059 NEW BEST:: SOT 131350 SOS 17931 HAS SOPS 17931 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16321.931
AT ITER 4076 NEW BEST:: SOT 131350 SOS 17925 HAS SOPS 17925 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16315.925
AT ITER 4147 NEW BEST:: SOT 131349 SOS 17923 HAS SOPS 17923 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16313.923
AT ITER 4154 NEW BEST:: SOT 131354 SOS 17904 HAS SOPS 17904 HAS SOUS 16277 HAS SOUPS 16277 WITH SCORE 16294.904
AT ITER 4158 NEW BEST:: SOT 131354 SOS 17875 HAS SOPS 17875 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16265.875
AT ITER 4177 NEW BEST:: SOT 131346 SOS 17859 HAS SOPS 17859 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16257.859
AT ITER 4215 NEW BEST:: SOT 131346 SOS 17859 HAS SOPS 17859 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16254.859
AT ITER 4271 NEW BEST:: SOT 131342 SOS 17799 HAS SOPS 17799 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16253.799
AT ITER 4274 NEW BEST:: SOT 131336 SOS 17780 HAS SOPS 17780 HAS SOUS 16217 HAS SOUPS 16217 WITH SCORE 16234.78
AT ITER 4278 NEW BEST:: SOT 131354 SOS 17816 HAS SOPS 17816 HAS SOUS 16207 HAS SOUPS 16207 WITH SCORE 16224.816
AT ITER 4296 NEW BEST:: SOT 131349 SOS 17760 HAS SOPS 17760 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16214.76
AT ITER 4321 NEW BEST:: SOT 131348 SOS 17759 HAS SOPS 17759 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16199.759
AT ITER 4357 NEW BEST:: SOT 131348 SOS 17748 HAS SOPS 17748 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16199.748
AT ITER 4401 NEW BEST:: SOT 131366 SOS 17714 HAS SOPS 17714 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16182.714
AT ITER 4421 NEW BEST:: SOT 131366 SOS 17689 HAS SOPS 17689 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16157.689
AT ITER 4488 NEW BEST:: SOT 131347 SOS 17577 HAS SOPS 17577 HAS SOUS 16047 HAS SOUPS 16047 WITH SCORE 16064.577
AT ITER 4534 NEW BEST:: SOT 131348 SOS 17566 HAS SOPS 17566 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16037.566
AT ITER 4555 NEW BEST:: SOT 131350 SOS 17537 HAS SOPS 17537 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16009.537
AT ITER 4580 NEW BEST:: SOT 131343 SOS 17516 HAS SOPS 17516 HAS SOUS 15978 HAS SOUPS 15978 WITH SCORE 15995.516
AT ITER 4583 NEW BEST:: SOT 131337 SOS 17504 HAS SOPS 17504 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15983.504
AT ITER 4590 NEW BEST:: SOT 131322 SOS 17475 HAS SOPS 17475 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15967.475
AT ITER 4617 NEW BEST:: SOT 131323 SOS 17470 HAS SOPS 17470 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15962.47
AT ITER 4634 NEW BEST:: SOT 131305 SOS 17384 HAS SOPS 17384 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15891.384
AT ITER 4659 NEW BEST:: SOT 131305 SOS 17384 HAS SOPS 17384 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15888.384
AT ITER 4678 NEW BEST:: SOT 131305 SOS 17382 HAS SOPS 17382 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15886.382
AT ITER 4682 NEW BEST:: SOT 131237 SOS 17373 HAS SOPS 17373 HAS SOUS 15838 HAS SOUPS 15838 WITH SCORE 15855.373
AT ITER 4748 NEW BEST:: SOT 131254 SOS 17371 HAS SOPS 17371 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15850.371
AT ITER 4758 NEW BEST:: SOT 131254 SOS 17365 HAS SOPS 17365 HAS SOUS 15827 HAS SOUPS 15827 WITH SCORE 15844.365
AT ITER 4774 NEW BEST:: SOT 131342 SOS 17477 HAS SOPS 17477 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15795.477
AT ITER 4784 NEW BEST:: SOT 131331 SOS 17465 HAS SOPS 17465 HAS SOUS 15768 HAS SOUPS 15768 WITH SCORE 15785.465
AT ITER 4808 NEW BEST:: SOT 131331 SOS 17448 HAS SOPS 17448 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15782.448
AT ITER 4810 NEW BEST:: SOT 131355 SOS 17502 HAS SOPS 17502 HAS SOUS 15741 HAS SOUPS 15741 WITH SCORE 15758.502
AT ITER 4842 NEW BEST:: SOT 131355 SOS 17497 HAS SOPS 17497 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15753.497
AT ITER 4846 NEW BEST:: SOT 131368 SOS 17495 HAS SOPS 17495 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15752.495
AT ITER 4856 NEW BEST:: SOT 131368 SOS 17495 HAS SOPS 17495 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15749.495
AT ITER 4898 NEW BEST:: SOT 131379 SOS 17481 HAS SOPS 17481 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15737.481
AT ITER 4914 NEW BEST:: SOT 131372 SOS 17453 HAS SOPS 17453 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15723.453
AT ITER 4931 NEW BEST:: SOT 131364 SOS 17429 HAS SOPS 17429 HAS SOUS 15682 HAS SOUPS 15682 WITH SCORE 15699.429
AT ITER 4988 NEW BEST:: SOT 131362 SOS 17427 HAS SOPS 17427 HAS SOUS 15682 HAS SOUPS 15682 WITH SCORE 15699.427
AT ITER 5016 NEW BEST:: SOT 131357 SOS 17314 HAS SOPS 17314 HAS SOUS 15625 HAS SOUPS 15625 WITH SCORE 15642.314
AT ITER 5024 NEW BEST:: SOT 131325 SOS 17136 HAS SOPS 17136 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15626.136
AT ITER 5055 NEW BEST:: SOT 131325 SOS 17138 HAS SOPS 17138 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15608.138
AT ITER 5107 NEW BEST:: SOT 131326 SOS 17132 HAS SOPS 17132 HAS SOUS 15585 HAS SOUPS 15585 WITH SCORE 15602.132
AT ITER 5184 NEW BEST:: SOT 131340 SOS 17107 HAS SOPS 17107 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15595.107
AT ITER 5278 NEW BEST:: SOT 131323 SOS 17082 HAS SOPS 17082 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15573.082
AT ITER 5287 NEW BEST:: SOT 131310 SOS 17051 HAS SOPS 17051 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15542.051
AT ITER 5322 NEW BEST:: SOT 131306 SOS 17043 HAS SOPS 17043 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15534.043
AT ITER 5344 NEW BEST:: SOT 131309 SOS 17042 HAS SOPS 17042 HAS SOUS 15516 HAS SOUPS 15516 WITH SCORE 15533.042
AT ITER 5384 NEW BEST:: SOT 131292 SOS 17025 HAS SOPS 17025 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15516.025
AT ITER 5394 NEW BEST:: SOT 131285 SOS 17056 HAS SOPS 17056 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15509.056
AT ITER 5400 NEW BEST:: SOT 131270 SOS 16997 HAS SOPS 16997 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15407.997
AT ITER 5407 NEW BEST:: SOT 131259 SOS 16985 HAS SOPS 16985 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15395.985
AT ITER 5494 NEW BEST:: SOT 131256 SOS 16982 HAS SOPS 16982 HAS SOUS 15376 HAS SOUPS 15376 WITH SCORE 15392.982
AT ITER 5531 NEW BEST:: SOT 131228 SOS 16886 HAS SOPS 16886 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15330.886
AT ITER 5641 NEW BEST:: SOT 131225 SOS 16883 HAS SOPS 16883 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15327.883
AT ITER 5667 NEW BEST:: SOT 131225 SOS 16882 HAS SOPS 16882 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15326.882
AT ITER 5693 NEW BEST:: SOT 131219 SOS 16854 HAS SOPS 16854 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15304.854
AT ITER 5720 NEW BEST:: SOT 131229 SOS 16843 HAS SOPS 16843 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15293.843
AT ITER 5723 NEW BEST:: SOT 131226 SOS 16837 HAS SOPS 16837 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15287.837
AT ITER 5729 NEW BEST:: SOT 131251 SOS 16867 HAS SOPS 16867 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15276.867
AT ITER 5747 NEW BEST:: SOT 131247 SOS 16861 HAS SOPS 16861 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15270.861
AT ITER 5748 NEW BEST:: SOT 131246 SOS 16816 HAS SOPS 16816 HAS SOUS 15252 HAS SOUPS 15252 WITH SCORE 15268.816
AT ITER 5769 NEW BEST:: SOT 131234 SOS 16789 HAS SOPS 16789 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15256.789
AT ITER 5815 NEW BEST:: SOT 131229 SOS 16798 HAS SOPS 16798 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15234.798
AT ITER 5850 NEW BEST:: SOT 131211 SOS 16761 HAS SOPS 16761 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15200.761
AT ITER 5853 NEW BEST:: SOT 131208 SOS 16755 HAS SOPS 16755 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15194.755
AT ITER 5859 NEW BEST:: SOT 131187 SOS 16764 HAS SOPS 16764 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15190.764
AT ITER 5888 NEW BEST:: SOT 131179 SOS 16756 HAS SOPS 16756 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15190.756
AT ITER 5946 NEW BEST:: SOT 131176 SOS 16715 HAS SOPS 16715 HAS SOUS 15157 HAS SOUPS 15157 WITH SCORE 15173.715
AT ITER 5970 NEW BEST:: SOT 131176 SOS 16715 HAS SOPS 16715 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15170.715
AT ITER 5973 NEW BEST:: SOT 131221 SOS 16697 HAS SOPS 16697 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15161.697
AT ITER 6004 NEW BEST:: SOT 131204 SOS 16645 HAS SOPS 16645 HAS SOUS 15128 HAS SOUPS 15128 WITH SCORE 15144.645
AT ITER 6009 NEW BEST:: SOT 131204 SOS 16640 HAS SOPS 16640 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15139.64
AT ITER 6073 NEW BEST:: SOT 131219 SOS 16609 HAS SOPS 16609 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15139.609
AT ITER 6101 NEW BEST:: SOT 131219 SOS 16599 HAS SOPS 16599 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15134.599
AT ITER 6118 NEW BEST:: SOT 131166 SOS 16537 HAS SOPS 16537 HAS SOUS 15036 HAS SOUPS 15036 WITH SCORE 15052.537
AT ITER 6119 NEW BEST:: SOT 131166 SOS 16537 HAS SOPS 16537 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15046.537
AT ITER 6134 NEW BEST:: SOT 131172 SOS 16490 HAS SOPS 16490 HAS SOUS 14956 HAS SOUPS 14956 WITH SCORE 14972.49
AT ITER 6149 NEW BEST:: SOT 131170 SOS 16484 HAS SOPS 16484 HAS SOUS 14950 HAS SOUPS 14950 WITH SCORE 14966.484
AT ITER 6159 NEW BEST:: SOT 131191 SOS 16426 HAS SOPS 16426 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14917.426
AT ITER 6274 NEW BEST:: SOT 131183 SOS 16410 HAS SOPS 16410 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14901.41
AT ITER 6332 NEW BEST:: SOT 131176 SOS 16374 HAS SOPS 16374 HAS SOUS 14880 HAS SOUPS 14880 WITH SCORE 14896.374
AT ITER 6377 NEW BEST:: SOT 131185 SOS 16272 HAS SOPS 16272 HAS SOUS 14778 HAS SOUPS 14778 WITH SCORE 14794.272
AT ITER 6385 NEW BEST:: SOT 131181 SOS 16264 HAS SOPS 16264 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14790.264
AT ITER 6401 NEW BEST:: SOT 131176 SOS 16265 HAS SOPS 16265 HAS SOUS 14773 HAS SOUPS 14773 WITH SCORE 14789.265
AT ITER 6405 NEW BEST:: SOT 131174 SOS 16266 HAS SOPS 16266 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14787.266
AT ITER 6430 NEW BEST:: SOT 131171 SOS 16254 HAS SOPS 16254 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14778.254
AT ITER 6441 NEW BEST:: SOT 131188 SOS 16265 HAS SOPS 16265 HAS SOUS 14756 HAS SOUPS 14756 WITH SCORE 14772.265
AT ITER 6487 NEW BEST:: SOT 131180 SOS 16249 HAS SOPS 16249 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14769.249
AT ITER 6491 NEW BEST:: SOT 131151 SOS 16192 HAS SOPS 16192 HAS SOUS 14722 HAS SOUPS 14722 WITH SCORE 14738.192
AT ITER 6514 NEW BEST:: SOT 131149 SOS 16178 HAS SOPS 16178 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14717.178
AT ITER 6593 NEW BEST:: SOT 131136 SOS 16165 HAS SOPS 16165 HAS SOUS 14675 HAS SOUPS 14675 WITH SCORE 14691.165
AT ITER 6601 NEW BEST:: SOT 131131 SOS 16147 HAS SOPS 16147 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14686.147
AT ITER 6603 NEW BEST:: SOT 131130 SOS 16144 HAS SOPS 16144 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14684.144
AT ITER 6658 NEW BEST:: SOT 131129 SOS 16140 HAS SOPS 16140 HAS SOUS 14666 HAS SOUPS 14666 WITH SCORE 14682.14
AT ITER 6666 NEW BEST:: SOT 131126 SOS 16113 HAS SOPS 16113 HAS SOUS 14655 HAS SOUPS 14655 WITH SCORE 14671.113
AT ITER 6674 NEW BEST:: SOT 131126 SOS 16110 HAS SOPS 16110 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14668.11
AT ITER 6758 NEW BEST:: SOT 131124 SOS 16109 HAS SOPS 16109 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14666.109
AT ITER 6768 NEW BEST:: SOT 131124 SOS 16087 HAS SOPS 16087 HAS SOUS 14628 HAS SOUPS 14628 WITH SCORE 14644.087
AT ITER 6773 NEW BEST:: SOT 131119 SOS 16077 HAS SOPS 16077 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14634.077
AT ITER 6786 NEW BEST:: SOT 131116 SOS 16076 HAS SOPS 16076 HAS SOUS 14617 HAS SOUPS 14617 WITH SCORE 14633.076
AT ITER 6887 NEW BEST:: SOT 131092 SOS 16028 HAS SOPS 16028 HAS SOUS 14569 HAS SOUPS 14569 WITH SCORE 14585.028
AT ITER 6950 NEW BEST:: SOT 131074 SOS 16037 HAS SOPS 16037 HAS SOUS 14555 HAS SOUPS 14555 WITH SCORE 14571.037
AT ITER 7002 NEW BEST:: SOT 131074 SOS 16023 HAS SOPS 16023 HAS SOUS 14541 HAS SOUPS 14541 WITH SCORE 14557.023
AT ITER 7083 NEW BEST:: SOT 131071 SOS 16020 HAS SOPS 16020 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14554.02
AT ITER 7091 NEW BEST:: SOT 131071 SOS 16001 HAS SOPS 16001 HAS SOUS 14519 HAS SOUPS 14519 WITH SCORE 14535.001
AT ITER 7095 NEW BEST:: SOT 131071 SOS 16001 HAS SOPS 16001 HAS SOUS 14506 HAS SOUPS 14506 WITH SCORE 14522.001
AT ITER 7099 NEW BEST:: SOT 131083 SOS 15922 HAS SOPS 15922 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14488.922
AT ITER 7110 NEW BEST:: SOT 131066 SOS 15854 HAS SOPS 15854 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14437.854
AT ITER 7158 NEW BEST:: SOT 131051 SOS 15836 HAS SOPS 15836 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14419.836
AT ITER 7406 NEW BEST:: SOT 131056 SOS 15801 HAS SOPS 15801 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14400.801
AT ITER 7429 NEW BEST:: SOT 131042 SOS 15812 HAS SOPS 15812 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14396.812
AT ITER 7467 NEW BEST:: SOT 131032 SOS 15820 HAS SOPS 15820 HAS SOUS 14371 HAS SOUPS 14371 WITH SCORE 14386.82
AT ITER 7514 NEW BEST:: SOT 131023 SOS 15802 HAS SOPS 15802 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14368.802
AT ITER 7515 NEW BEST:: SOT 131015 SOS 15794 HAS SOPS 15794 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14345.794
AT ITER 7535 NEW BEST:: SOT 131015 SOS 15777 HAS SOPS 15777 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14345.777
AT ITER 7547 NEW BEST:: SOT 131018 SOS 15756 HAS SOPS 15756 HAS SOUS 14309 HAS SOUPS 14309 WITH SCORE 14324.756
AT ITER 7557 NEW BEST:: SOT 131003 SOS 15726 HAS SOPS 15726 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14294.726
AT ITER 7566 NEW BEST:: SOT 131003 SOS 15692 HAS SOPS 15692 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14294.692
AT ITER 7580 NEW BEST:: SOT 130998 SOS 15682 HAS SOPS 15682 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14284.682
AT ITER 7619 NEW BEST:: SOT 130998 SOS 15678 HAS SOPS 15678 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14282.678
AT ITER 7631 NEW BEST:: SOT 130993 SOS 15670 HAS SOPS 15670 HAS SOUS 14251 HAS SOUPS 14251 WITH SCORE 14266.67
AT ITER 7648 NEW BEST:: SOT 130980 SOS 15696 HAS SOPS 15696 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14245.696
AT ITER 7666 NEW BEST:: SOT 130980 SOS 15688 HAS SOPS 15688 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14245.688
AT ITER 7693 NEW BEST:: SOT 130980 SOS 15686 HAS SOPS 15686 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14245.686
AT ITER 7695 NEW BEST:: SOT 130945 SOS 15682 HAS SOPS 15682 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14241.682
AT ITER 7768 NEW BEST:: SOT 130903 SOS 15564 HAS SOPS 15564 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14218.564
AT ITER 7769 NEW BEST:: SOT 130903 SOS 15552 HAS SOPS 15552 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14212.552
AT ITER 7803 NEW BEST:: SOT 130903 SOS 15551 HAS SOPS 15551 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14195.551
AT ITER 7806 NEW BEST:: SOT 130890 SOS 15499 HAS SOPS 15499 HAS SOUS 14141 HAS SOUPS 14141 WITH SCORE 14156.499
AT ITER 7874 NEW BEST:: SOT 130890 SOS 15499 HAS SOPS 15499 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14143.499
AT ITER 7882 NEW BEST:: SOT 130889 SOS 15498 HAS SOPS 15498 HAS SOUS 14127 HAS SOUPS 14127 WITH SCORE 14142.498
AT ITER 7952 NEW BEST:: SOT 130882 SOS 15480 HAS SOPS 15480 HAS SOUS 14120 HAS SOUPS 14120 WITH SCORE 14135.48
AT ITER 7971 NEW BEST:: SOT 130871 SOS 15462 HAS SOPS 15462 HAS SOUS 14106 HAS SOUPS 14106 WITH SCORE 14121.462
AT ITER 8095 NEW BEST:: SOT 130818 SOS 15447 HAS SOPS 15447 HAS SOUS 14080 HAS SOUPS 14080 WITH SCORE 14095.447
AT ITER 8118 NEW BEST:: SOT 130832 SOS 15432 HAS SOPS 15432 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14081.432
AT ITER 8163 NEW BEST:: SOT 130833 SOS 15400 HAS SOPS 15400 HAS SOUS 14065 HAS SOUPS 14065 WITH SCORE 14080.4
AT ITER 8178 NEW BEST:: SOT 130831 SOS 15396 HAS SOPS 15396 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14058.396
AT ITER 8202 NEW BEST:: SOT 130829 SOS 15344 HAS SOPS 15344 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14036.344
AT ITER 8207 NEW BEST:: SOT 130827 SOS 15332 HAS SOPS 15332 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14034.332
AT ITER 8242 NEW BEST:: SOT 130827 SOS 15328 HAS SOPS 15328 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14032.328
AT ITER 8407 NEW BEST:: SOT 130815 SOS 15311 HAS SOPS 15311 HAS SOUS 14005 HAS SOUPS 14005 WITH SCORE 14020.311
AT ITER 8455 NEW BEST:: SOT 130812 SOS 15297 HAS SOPS 15297 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14006.297
AT ITER 8478 NEW BEST:: SOT 130801 SOS 15264 HAS SOPS 15264 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 13984.264
AT ITER 8486 NEW BEST:: SOT 130823 SOS 15244 HAS SOPS 15244 HAS SOUS 13960 HAS SOUPS 13960 WITH SCORE 13975.244
AT ITER 8550 NEW BEST:: SOT 130786 SOS 15147 HAS SOPS 15147 HAS SOUS 13902 HAS SOUPS 13902 WITH SCORE 13917.147
AT ITER 8553 NEW BEST:: SOT 130767 SOS 15090 HAS SOPS 15090 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13879.09
AT ITER 8624 NEW BEST:: SOT 130752 SOS 15032 HAS SOPS 15032 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13790.032
AT ITER 8660 NEW BEST:: SOT 130722 SOS 15001 HAS SOPS 15001 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13740.001
AT ITER 8675 NEW BEST:: SOT 130725 SOS 15007 HAS SOPS 15007 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13719.007
AT ITER 8700 NEW BEST:: SOT 130718 SOS 14993 HAS SOPS 14993 HAS SOUS 13690 HAS SOUPS 13690 WITH SCORE 13704.993
AT ITER 8710 NEW BEST:: SOT 130719 SOS 14991 HAS SOPS 14991 HAS SOUS 13688 HAS SOUPS 13688 WITH SCORE 13702.991
AT ITER 8848 NEW BEST:: SOT 130713 SOS 14985 HAS SOPS 14985 HAS SOUS 13682 HAS SOUPS 13682 WITH SCORE 13696.985
AT ITER 8868 NEW BEST:: SOT 130711 SOS 14981 HAS SOPS 14981 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13694.981
AT ITER 8892 NEW BEST:: SOT 130685 SOS 14970 HAS SOPS 14970 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13654.97
AT ITER 8893 NEW BEST:: SOT 130672 SOS 14937 HAS SOPS 14937 HAS SOUS 13620 HAS SOUPS 13620 WITH SCORE 13634.937
AT ITER 8921 NEW BEST:: SOT 130684 SOS 14961 HAS SOPS 14961 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13628.961
AT ITER 8966 NEW BEST:: SOT 130663 SOS 14894 HAS SOPS 14894 HAS SOUS 13571 HAS SOUPS 13571 WITH SCORE 13585.894
AT ITER 8980 NEW BEST:: SOT 130662 SOS 14891 HAS SOPS 14891 HAS SOUS 13568 HAS SOUPS 13568 WITH SCORE 13582.891
AT ITER 8994 NEW BEST:: SOT 130661 SOS 14889 HAS SOPS 14889 HAS SOUS 13565 HAS SOUPS 13565 WITH SCORE 13579.889
AT ITER 9010 NEW BEST:: SOT 130649 SOS 14887 HAS SOPS 14887 HAS SOUS 13562 HAS SOUPS 13562 WITH SCORE 13576.887
AT ITER 9019 NEW BEST:: SOT 130649 SOS 14871 HAS SOPS 14871 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13560.871
AT ITER 9166 NEW BEST:: SOT 130649 SOS 14871 HAS SOPS 14871 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13559.871
AT ITER 9238 NEW BEST:: SOT 130646 SOS 14831 HAS SOPS 14831 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.831
AT ITER 9291 NEW BEST:: SOT 130646 SOS 14802 HAS SOPS 14802 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13527.802
AT ITER 9396 NEW BEST:: SOT 130645 SOS 14801 HAS SOPS 14801 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13526.801
AT ITER 9426 NEW BEST:: SOT 130620 SOS 14751 HAS SOPS 14751 HAS SOUS 13469 HAS SOUPS 13469 WITH SCORE 13483.751
AT ITER 9451 NEW BEST:: SOT 130617 SOS 14745 HAS SOPS 14745 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13477.745
AT ITER 9483 NEW BEST:: SOT 130557 SOS 14716 HAS SOPS 14716 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13436.716
AT ITER 9508 NEW BEST:: SOT 130557 SOS 14713 HAS SOPS 14713 HAS SOUS 13419 HAS SOUPS 13419 WITH SCORE 13433.713
AT ITER 9509 NEW BEST:: SOT 130552 SOS 14708 HAS SOPS 14708 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13423.708
AT ITER 9542 NEW BEST:: SOT 130542 SOS 14683 HAS SOPS 14683 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13413.683
AT ITER 9626 NEW BEST:: SOT 130538 SOS 14650 HAS SOPS 14650 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13380.65
AT ITER 9650 NEW BEST:: SOT 130522 SOS 14547 HAS SOPS 14547 HAS SOUS 13338 HAS SOUPS 13338 WITH SCORE 13352.547
AT ITER 9695 NEW BEST:: SOT 130527 SOS 14485 HAS SOPS 14485 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13290.485
AT ITER 9732 NEW BEST:: SOT 130519 SOS 14469 HAS SOPS 14469 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13274.469
AT ITER 9869 NEW BEST:: SOT 130534 SOS 14457 HAS SOPS 14457 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13268.457
AT ITER 9924 NEW BEST:: SOT 130516 SOS 14335 HAS SOPS 14335 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13232.335
AT ITER 9938 NEW BEST:: SOT 130511 SOS 14330 HAS SOPS 14330 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13222.33
AT ITER 9990 NEW BEST:: SOT 130508 SOS 14319 HAS SOPS 14319 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13218.319
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 7377788 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16153740 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="ShieldRVt-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 ShieldRVt-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 r419-tajo-167905973500272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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