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.r099-tall-167814472200248.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 DBSingleClientW-PT-d1m05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472200248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 8.7K Feb 26 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 26 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K Mar 5 18:22 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 1678233487682

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=DBSingleClientW-PT-d1m05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m05
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: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216889 HAS SOPS 216874 HAS SOUS 156585 HAS SOUPS 156570 WITH SCORE 156786.889
AT ITER 8 NEW BEST:: SOT 229357 SOS 216933 HAS SOPS 216918 HAS SOUS 156553 HAS SOUPS 156538 WITH SCORE 156754.933
AT ITER 27 NEW BEST:: SOT 229357 SOS 216933 HAS SOPS 216918 HAS SOUS 156453 HAS SOUPS 156438 WITH SCORE 156654.933
AT ITER 74 NEW BEST:: SOT 229357 SOS 214093 HAS SOPS 214078 HAS SOUS 156437 HAS SOUPS 156422 WITH SCORE 156636.093
AT ITER 90 NEW BEST:: SOT 229516 SOS 214252 HAS SOPS 214237 HAS SOUS 156420 HAS SOUPS 156405 WITH SCORE 156619.252
AT ITER 133 NEW BEST:: SOT 229516 SOS 214277 HAS SOPS 214262 HAS SOUS 156327 HAS SOUPS 156312 WITH SCORE 156526.277
AT ITER 175 NEW BEST:: SOT 229516 SOS 214277 HAS SOPS 214262 HAS SOUS 156326 HAS SOUPS 156311 WITH SCORE 156525.277
AT ITER 186 NEW BEST:: SOT 229516 SOS 213803 HAS SOPS 213788 HAS SOUS 156167 HAS SOUPS 156152 WITH SCORE 156365.803
AT ITER 223 NEW BEST:: SOT 229516 SOS 213608 HAS SOPS 213593 HAS SOUS 156128 HAS SOUPS 156113 WITH SCORE 156326.608
AT ITER 248 NEW BEST:: SOT 229678 SOS 213770 HAS SOPS 213755 HAS SOUS 156001 HAS SOUPS 155986 WITH SCORE 156199.77
AT ITER 250 NEW BEST:: SOT 229927 SOS 214019 HAS SOPS 214004 HAS SOUS 155639 HAS SOUPS 155624 WITH SCORE 155838.019
AT ITER 283 NEW BEST:: SOT 229819 SOS 213911 HAS SOPS 213896 HAS SOUS 155545 HAS SOUPS 155530 WITH SCORE 155743.911
AT ITER 338 NEW BEST:: SOT 229819 SOS 213911 HAS SOPS 213896 HAS SOUS 155530 HAS SOUPS 155515 WITH SCORE 155728.911
AT ITER 346 NEW BEST:: SOT 230074 SOS 214166 HAS SOPS 214151 HAS SOUS 155466 HAS SOUPS 155451 WITH SCORE 155665.166
AT ITER 355 NEW BEST:: SOT 230074 SOS 214166 HAS SOPS 214151 HAS SOUS 155414 HAS SOUPS 155399 WITH SCORE 155613.166
AT ITER 366 NEW BEST:: SOT 230169 SOS 213575 HAS SOPS 213560 HAS SOUS 155378 HAS SOUPS 155363 WITH SCORE 155576.575
AT ITER 386 NEW BEST:: SOT 230307 SOS 213713 HAS SOPS 213698 HAS SOUS 155241 HAS SOUPS 155226 WITH SCORE 155439.713
AT ITER 432 NEW BEST:: SOT 230307 SOS 213713 HAS SOPS 213698 HAS SOUS 155137 HAS SOUPS 155122 WITH SCORE 155335.713
AT ITER 516 NEW BEST:: SOT 230307 SOS 213393 HAS SOPS 213378 HAS SOUS 155137 HAS SOUPS 155122 WITH SCORE 155335.393
AT ITER 534 NEW BEST:: SOT 230307 SOS 213417 HAS SOPS 213402 HAS SOUS 155104 HAS SOUPS 155089 WITH SCORE 155302.417
AT ITER 574 NEW BEST:: SOT 230307 SOS 212856 HAS SOPS 212841 HAS SOUS 155104 HAS SOUPS 155089 WITH SCORE 155301.856
AT ITER 635 NEW BEST:: SOT 230307 SOS 212155 HAS SOPS 212140 HAS SOUS 152888 HAS SOUPS 152873 WITH SCORE 153085.155
AT ITER 658 NEW BEST:: SOT 230327 SOS 212175 HAS SOPS 212160 HAS SOUS 152873 HAS SOUPS 152858 WITH SCORE 153070.175
AT ITER 688 NEW BEST:: SOT 230349 SOS 212197 HAS SOPS 212182 HAS SOUS 152779 HAS SOUPS 152764 WITH SCORE 152976.197
AT ITER 691 NEW BEST:: SOT 230349 SOS 212150 HAS SOPS 212135 HAS SOUS 152591 HAS SOUPS 152576 WITH SCORE 152788.15
AT ITER 712 NEW BEST:: SOT 230349 SOS 212150 HAS SOPS 212135 HAS SOUS 152518 HAS SOUPS 152503 WITH SCORE 152715.15
AT ITER 739 NEW BEST:: SOT 230349 SOS 212116 HAS SOPS 212101 HAS SOUS 152450 HAS SOUPS 152435 WITH SCORE 152647.116
AT ITER 771 NEW BEST:: SOT 230349 SOS 212116 HAS SOPS 212101 HAS SOUS 152419 HAS SOUPS 152404 WITH SCORE 152616.116
AT ITER 831 NEW BEST:: SOT 230349 SOS 212116 HAS SOPS 212101 HAS SOUS 152394 HAS SOUPS 152379 WITH SCORE 152591.116
AT ITER 942 NEW BEST:: SOT 231564 SOS 212295 HAS SOPS 212275 HAS SOUS 152354 HAS SOUPS 152335 WITH SCORE 152547.295
AT ITER 954 NEW BEST:: SOT 231564 SOS 212295 HAS SOPS 212275 HAS SOUS 152084 HAS SOUPS 152065 WITH SCORE 152277.295
AT ITER 962 NEW BEST:: SOT 231564 SOS 212295 HAS SOPS 212275 HAS SOUS 152072 HAS SOUPS 152053 WITH SCORE 152265.295
AT ITER 968 NEW BEST:: SOT 231684 SOS 212200 HAS SOPS 212180 HAS SOUS 151864 HAS SOUPS 151845 WITH SCORE 152057.2
AT ITER 980 NEW BEST:: SOT 231684 SOS 211845 HAS SOPS 211825 HAS SOUS 150287 HAS SOUPS 150268 WITH SCORE 150479.845
AT ITER 991 NEW BEST:: SOT 231684 SOS 211639 HAS SOPS 211619 HAS SOUS 149368 HAS SOUPS 149349 WITH SCORE 149560.639
AT ITER 1018 NEW BEST:: SOT 231684 SOS 211510 HAS SOPS 211490 HAS SOUS 149110 HAS SOUPS 149091 WITH SCORE 149302.51
AT ITER 1056 NEW BEST:: SOT 231684 SOS 211510 HAS SOPS 211490 HAS SOUS 149005 HAS SOUPS 148986 WITH SCORE 149197.51
AT ITER 1060 NEW BEST:: SOT 231684 SOS 211510 HAS SOPS 211490 HAS SOUS 148797 HAS SOUPS 148778 WITH SCORE 148989.51
AT ITER 1081 NEW BEST:: SOT 231684 SOS 211510 HAS SOPS 211490 HAS SOUS 148781 HAS SOUPS 148762 WITH SCORE 148973.51
AT ITER 1134 NEW BEST:: SOT 231684 SOS 211510 HAS SOPS 211490 HAS SOUS 148755 HAS SOUPS 148736 WITH SCORE 148947.51
AT ITER 1141 NEW BEST:: SOT 231684 SOS 211008 HAS SOPS 210988 HAS SOUS 147475 HAS SOUPS 147456 WITH SCORE 147667.008
AT ITER 1165 NEW BEST:: SOT 231684 SOS 210918 HAS SOPS 210898 HAS SOUS 147383 HAS SOUPS 147364 WITH SCORE 147574.918
AT ITER 1170 NEW BEST:: SOT 232158 SOS 211392 HAS SOPS 211372 HAS SOUS 147334 HAS SOUPS 147315 WITH SCORE 147526.392
AT ITER 1185 NEW BEST:: SOT 233175 SOS 212409 HAS SOPS 212389 HAS SOUS 147112 HAS SOUPS 147093 WITH SCORE 147305.409
AT ITER 1192 NEW BEST:: SOT 235002 SOS 214236 HAS SOPS 214216 HAS SOUS 145541 HAS SOUPS 145522 WITH SCORE 145736.236
AT ITER 1209 NEW BEST:: SOT 235065 SOS 214299 HAS SOPS 214279 HAS SOUS 145149 HAS SOUPS 145130 WITH SCORE 145344.299
AT ITER 1217 NEW BEST:: SOT 236836 SOS 215111 HAS SOPS 215086 HAS SOUS 144184 HAS SOUPS 144165 WITH SCORE 144380.111
AT ITER 1219 NEW BEST:: SOT 206983 SOS 185797 HAS SOPS 185233 HAS SOUS 114331 HAS SOUPS 114255 WITH SCORE 114440.797
AT ITER 1223 NEW BEST:: SOT 206893 SOS 185707 HAS SOPS 185143 HAS SOUS 114234 HAS SOUPS 114158 WITH SCORE 114343.707
AT ITER 1225 NEW BEST:: SOT 206979 SOS 185793 HAS SOPS 185229 HAS SOUS 113876 HAS SOUPS 113800 WITH SCORE 113985.793
AT ITER 1227 NEW BEST:: SOT 209439 SOS 186781 HAS SOPS 186013 HAS SOUS 112421 HAS SOUPS 112345 WITH SCORE 112531.781
AT ITER 1255 NEW BEST:: SOT 161931 SOS 143304 HAS SOPS 138505 HAS SOUS 65060 HAS SOUPS 64837 WITH SCORE 64980.304
AT ITER 1279 NEW BEST:: SOT 161847 SOS 143220 HAS SOPS 138421 HAS SOUS 64976 HAS SOUPS 64753 WITH SCORE 64896.22
AT ITER 1300 NEW BEST:: SOT 162093 SOS 143466 HAS SOPS 138667 HAS SOUS 64224 HAS SOUPS 64001 WITH SCORE 64144.466
AT ITER 1308 NEW BEST:: SOT 162093 SOS 143466 HAS SOPS 138667 HAS SOUS 64138 HAS SOUPS 63915 WITH SCORE 64058.466
AT ITER 1361 NEW BEST:: SOT 162093 SOS 143424 HAS SOPS 138625 HAS SOUS 64137 HAS SOUPS 63914 WITH SCORE 64057.424
AT ITER 1463 NEW BEST:: SOT 162284 SOS 143615 HAS SOPS 138816 HAS SOUS 63967 HAS SOUPS 63744 WITH SCORE 63887.615
AT ITER 1598 NEW BEST:: SOT 162288 SOS 142704 HAS SOPS 137905 HAS SOUS 63959 HAS SOUPS 63736 WITH SCORE 63878.704
AT ITER 1618 NEW BEST:: SOT 162399 SOS 142815 HAS SOPS 138016 HAS SOUS 63831 HAS SOUPS 63608 WITH SCORE 63750.815
AT ITER 1626 NEW BEST:: SOT 161295 SOS 141711 HAS SOPS 136912 HAS SOUS 63463 HAS SOUPS 63240 WITH SCORE 63381.711
AT ITER 1630 NEW BEST:: SOT 161199 SOS 141615 HAS SOPS 136816 HAS SOUS 63367 HAS SOUPS 63144 WITH SCORE 63285.615
AT ITER 1788 NEW BEST:: SOT 161199 SOS 141655 HAS SOPS 136856 HAS SOUS 63353 HAS SOUPS 63130 WITH SCORE 63271.655
AT ITER 1793 NEW BEST:: SOT 161173 SOS 141629 HAS SOPS 136830 HAS SOUS 63353 HAS SOUPS 63130 WITH SCORE 63271.629
AT ITER 1817 NEW BEST:: SOT 161173 SOS 141588 HAS SOPS 136789 HAS SOUS 63189 HAS SOUPS 62966 WITH SCORE 63107.588
AT ITER 1828 NEW BEST:: SOT 159121 SOS 139536 HAS SOPS 135347 HAS SOUS 61276 HAS SOUPS 61057 WITH SCORE 61196.536
AT ITER 1834 NEW BEST:: SOT 159121 SOS 139536 HAS SOPS 135347 HAS SOUS 61274 HAS SOUPS 61055 WITH SCORE 61194.536
AT ITER 1836 NEW BEST:: SOT 159693 SOS 140108 HAS SOPS 135919 HAS SOUS 61257 HAS SOUPS 61038 WITH SCORE 61178.108
AT ITER 1848 NEW BEST:: SOT 159693 SOS 140102 HAS SOPS 135913 HAS SOUS 61022 HAS SOUPS 60803 WITH SCORE 60943.102
AT ITER 1919 NEW BEST:: SOT 160418 SOS 140659 HAS SOPS 136383 HAS SOUS 60458 HAS SOUPS 60239 WITH SCORE 60379.659
AT ITER 1968 NEW BEST:: SOT 160388 SOS 140629 HAS SOPS 136353 HAS SOUS 60428 HAS SOUPS 60209 WITH SCORE 60349.629
AT ITER 1972 NEW BEST:: SOT 160286 SOS 140527 HAS SOPS 136251 HAS SOUS 60326 HAS SOUPS 60107 WITH SCORE 60247.527
AT ITER 2000 NEW BEST:: SOT 160286 SOS 139140 HAS SOPS 134864 HAS SOUS 59532 HAS SOUPS 59313 WITH SCORE 59452.14
AT ITER 2013 NEW BEST:: SOT 160482 SOS 139336 HAS SOPS 135060 HAS SOUS 59486 HAS SOUPS 59267 WITH SCORE 59406.336
AT ITER 2059 NEW BEST:: SOT 161217 SOS 140071 HAS SOPS 135795 HAS SOUS 59467 HAS SOUPS 59248 WITH SCORE 59388.071
AT ITER 2067 NEW BEST:: SOT 164029 SOS 142702 HAS SOPS 138339 HAS SOUS 59195 HAS SOUPS 58976 WITH SCORE 59118.702
AT ITER 2173 NEW BEST:: SOT 163741 SOS 142508 HAS SOPS 138145 HAS SOUS 59162 HAS SOUPS 58943 WITH SCORE 59085.508
AT ITER 2188 NEW BEST:: SOT 162150 SOS 140917 HAS SOPS 137308 HAS SOUS 57571 HAS SOUPS 57352 WITH SCORE 57492.917
AT ITER 2199 NEW BEST:: SOT 162009 SOS 140776 HAS SOPS 137167 HAS SOUS 57326 HAS SOUPS 57107 WITH SCORE 57247.776
AT ITER 2204 NEW BEST:: SOT 162543 SOS 139458 HAS SOPS 135497 HAS SOUS 56471 HAS SOUPS 56252 WITH SCORE 56391.458
AT ITER 2306 NEW BEST:: SOT 162446 SOS 139361 HAS SOPS 135400 HAS SOUS 56374 HAS SOUPS 56155 WITH SCORE 56294.361
AT ITER 2314 NEW BEST:: SOT 162612 SOS 139527 HAS SOPS 135566 HAS SOUS 56294 HAS SOUPS 56075 WITH SCORE 56214.527
AT ITER 2357 NEW BEST:: SOT 162784 SOS 139080 HAS SOPS 134899 HAS SOUS 55616 HAS SOUPS 55397 WITH SCORE 55536.08
AT ITER 2365 NEW BEST:: SOT 162632 SOS 138928 HAS SOPS 134615 HAS SOUS 55611 HAS SOUPS 55271 WITH SCORE 55409.928
AT ITER 2372 NEW BEST:: SOT 162600 SOS 138896 HAS SOPS 134583 HAS SOUS 55609 HAS SOUPS 55269 WITH SCORE 55407.896
AT ITER 2413 NEW BEST:: SOT 162632 SOS 138928 HAS SOPS 134615 HAS SOUS 54822 HAS SOUPS 54482 WITH SCORE 54620.928
AT ITER 2531 NEW BEST:: SOT 163978 SOS 140274 HAS SOPS 135667 HAS SOUS 54713 HAS SOUPS 54373 WITH SCORE 54513.274
AT ITER 2541 NEW BEST:: SOT 163722 SOS 140018 HAS SOPS 135411 HAS SOUS 54457 HAS SOUPS 54117 WITH SCORE 54257.018
AT ITER 2558 NEW BEST:: SOT 164622 SOS 140918 HAS SOPS 136215 HAS SOUS 54277 HAS SOUPS 53937 WITH SCORE 54077.918
AT ITER 2581 NEW BEST:: SOT 164609 SOS 140905 HAS SOPS 136202 HAS SOUS 54277 HAS SOUPS 53937 WITH SCORE 54077.905
AT ITER 2584 NEW BEST:: SOT 164585 SOS 140881 HAS SOPS 136178 HAS SOUS 54238 HAS SOUPS 53898 WITH SCORE 54038.881
AT ITER 2639 NEW BEST:: SOT 166655 SOS 142951 HAS SOPS 138248 HAS SOUS 53740 HAS SOUPS 53400 WITH SCORE 53542.951
AT ITER 2646 NEW BEST:: SOT 166586 SOS 142882 HAS SOPS 138179 HAS SOUS 53740 HAS SOUPS 53400 WITH SCORE 53542.882
AT ITER 2668 NEW BEST:: SOT 169678 SOS 145373 HAS SOPS 140172 HAS SOUS 53203 HAS SOUPS 52863 WITH SCORE 53008.373
AT ITER 2865 NEW BEST:: SOT 169666 SOS 145294 HAS SOPS 140081 HAS SOUS 53112 HAS SOUPS 52772 WITH SCORE 52917.294
AT ITER 2869 NEW BEST:: SOT 169666 SOS 145294 HAS SOPS 140081 HAS SOUS 53111 HAS SOUPS 52771 WITH SCORE 52916.294
AT ITER 2906 NEW BEST:: SOT 169536 SOS 145164 HAS SOPS 139951 HAS SOUS 52977 HAS SOUPS 52637 WITH SCORE 52782.164
AT ITER 2958 NEW BEST:: SOT 169527 SOS 145155 HAS SOPS 139942 HAS SOUS 52975 HAS SOUPS 52635 WITH SCORE 52780.155
AT ITER 3008 NEW BEST:: SOT 169527 SOS 145053 HAS SOPS 139840 HAS SOUS 52928 HAS SOUPS 52588 WITH SCORE 52733.053
AT ITER 3029 NEW BEST:: SOT 170537 SOS 146084 HAS SOPS 140871 HAS SOUS 52309 HAS SOUPS 51969 WITH SCORE 52115.084
AT ITER 3032 NEW BEST:: SOT 170537 SOS 146014 HAS SOPS 140801 HAS SOUS 52260 HAS SOUPS 51920 WITH SCORE 52066.014
AT ITER 3193 NEW BEST:: SOT 171846 SOS 146823 HAS SOPS 141288 HAS SOUS 51799 HAS SOUPS 51459 WITH SCORE 51605.823
AT ITER 3215 NEW BEST:: SOT 171880 SOS 146836 HAS SOPS 141301 HAS SOUS 51704 HAS SOUPS 51364 WITH SCORE 51510.836
AT ITER 3289 NEW BEST:: SOT 171784 SOS 146740 HAS SOPS 141205 HAS SOUS 51560 HAS SOUPS 51220 WITH SCORE 51366.74
AT ITER 3345 NEW BEST:: SOT 171784 SOS 146740 HAS SOPS 141205 HAS SOUS 51466 HAS SOUPS 51126 WITH SCORE 51272.74
AT ITER 3409 NEW BEST:: SOT 171853 SOS 146809 HAS SOPS 141274 HAS SOUS 51387 HAS SOUPS 51047 WITH SCORE 51193.809
AT ITER 3433 NEW BEST:: SOT 171847 SOS 146803 HAS SOPS 141268 HAS SOUS 51385 HAS SOUPS 51045 WITH SCORE 51191.803
AT ITER 3532 NEW BEST:: SOT 171838 SOS 146794 HAS SOPS 141259 HAS SOUS 51367 HAS SOUPS 51027 WITH SCORE 51173.794
AT ITER 3568 NEW BEST:: SOT 172702 SOS 145932 HAS SOPS 139155 HAS SOUS 51340 HAS SOUPS 51000 WITH SCORE 51145.932
AT ITER 3592 NEW BEST:: SOT 172824 SOS 145422 HAS SOPS 138542 HAS SOUS 51053 HAS SOUPS 50713 WITH SCORE 50858.422
AT ITER 3618 NEW BEST:: SOT 172824 SOS 145422 HAS SOPS 138542 HAS SOUS 51045 HAS SOUPS 50705 WITH SCORE 50850.422
AT ITER 3636 NEW BEST:: SOT 172824 SOS 145684 HAS SOPS 138804 HAS SOUS 51005 HAS SOUPS 50665 WITH SCORE 50810.684
AT ITER 3681 NEW BEST:: SOT 172824 SOS 145684 HAS SOPS 138804 HAS SOUS 51004 HAS SOUPS 50664 WITH SCORE 50809.684
AT ITER 3709 NEW BEST:: SOT 172824 SOS 145650 HAS SOPS 138770 HAS SOUS 51004 HAS SOUPS 50664 WITH SCORE 50809.65
AT ITER 3722 NEW BEST:: SOT 174830 SOS 147656 HAS SOPS 140776 HAS SOUS 50365 HAS SOUPS 50025 WITH SCORE 50172.656
AT ITER 3729 NEW BEST:: SOT 174810 SOS 147634 HAS SOPS 140754 HAS SOUS 50331 HAS SOUPS 49991 WITH SCORE 50138.634
AT ITER 3778 NEW BEST:: SOT 174703 SOS 147473 HAS SOPS 140593 HAS SOUS 50253 HAS SOUPS 49913 WITH SCORE 50060.473
AT ITER 3873 NEW BEST:: SOT 174703 SOS 147269 HAS SOPS 140389 HAS SOUS 50149 HAS SOUPS 49809 WITH SCORE 49956.269
AT ITER 3876 NEW BEST:: SOT 174703 SOS 144417 HAS SOPS 137537 HAS SOUS 50149 HAS SOUPS 49809 WITH SCORE 49953.417
AT ITER 3906 NEW BEST:: SOT 174603 SOS 144317 HAS SOPS 137437 HAS SOUS 50066 HAS SOUPS 49726 WITH SCORE 49870.317
AT ITER 3932 NEW BEST:: SOT 173337 SOS 143051 HAS SOPS 136171 HAS SOUS 49644 HAS SOUPS 49304 WITH SCORE 49447.051
AT ITER 3987 NEW BEST:: SOT 173337 SOS 143029 HAS SOPS 136149 HAS SOUS 49644 HAS SOUPS 49304 WITH SCORE 49447.029
AT ITER 4005 NEW BEST:: SOT 173545 SOS 143237 HAS SOPS 136357 HAS SOUS 49472 HAS SOUPS 49132 WITH SCORE 49275.237
AT ITER 4047 NEW BEST:: SOT 172613 SOS 142305 HAS SOPS 135563 HAS SOUS 49325 HAS SOUPS 48985 WITH SCORE 49127.305
AT ITER 4065 NEW BEST:: SOT 172567 SOS 142259 HAS SOPS 135517 HAS SOUS 49302 HAS SOUPS 48962 WITH SCORE 49104.259
AT ITER 4078 NEW BEST:: SOT 172567 SOS 140619 HAS SOPS 133877 HAS SOUS 49192 HAS SOUPS 48852 WITH SCORE 48992.619
AT ITER 4083 NEW BEST:: SOT 172567 SOS 140692 HAS SOPS 133950 HAS SOUS 49180 HAS SOUPS 48840 WITH SCORE 48980.692
AT ITER 4086 NEW BEST:: SOT 172542 SOS 140667 HAS SOPS 133925 HAS SOUS 49172 HAS SOUPS 48832 WITH SCORE 48972.667
AT ITER 4088 NEW BEST:: SOT 172511 SOS 140636 HAS SOPS 133894 HAS SOUS 49172 HAS SOUPS 48832 WITH SCORE 48972.636
AT ITER 4141 NEW BEST:: SOT 172051 SOS 140176 HAS SOPS 133434 HAS SOUS 48568 HAS SOUPS 48228 WITH SCORE 48368.176
AT ITER 4370 NEW BEST:: SOT 172051 SOS 140066 HAS SOPS 133324 HAS SOUS 48510 HAS SOUPS 48170 WITH SCORE 48310.066
AT ITER 4427 NEW BEST:: SOT 171881 SOS 139896 HAS SOPS 133154 HAS SOUS 48227 HAS SOUPS 47887 WITH SCORE 48026.896
AT ITER 4516 NEW BEST:: SOT 171828 SOS 139843 HAS SOPS 133101 HAS SOUS 48120 HAS SOUPS 47780 WITH SCORE 47919.843
AT ITER 4615 NEW BEST:: SOT 172346 SOS 140266 HAS SOPS 133524 HAS SOUS 48098 HAS SOUPS 47758 WITH SCORE 47898.266
AT ITER 4691 NEW BEST:: SOT 172143 SOS 140063 HAS SOPS 133385 HAS SOUS 47867 HAS SOUPS 47527 WITH SCORE 47667.063
AT ITER 4733 NEW BEST:: SOT 172173 SOS 140093 HAS SOPS 133415 HAS SOUS 47858 HAS SOUPS 47518 WITH SCORE 47658.093
AT ITER 4743 NEW BEST:: SOT 172140 SOS 140060 HAS SOPS 133382 HAS SOUS 47823 HAS SOUPS 47483 WITH SCORE 47623.06
AT ITER 4746 NEW BEST:: SOT 172140 SOS 140060 HAS SOPS 133382 HAS SOUS 47795 HAS SOUPS 47455 WITH SCORE 47595.06
AT ITER 4751 NEW BEST:: SOT 172140 SOS 140108 HAS SOPS 133430 HAS SOUS 47769 HAS SOUPS 47429 WITH SCORE 47569.108
AT ITER 4787 NEW BEST:: SOT 172085 SOS 140053 HAS SOPS 133375 HAS SOUS 47663 HAS SOUPS 47323 WITH SCORE 47463.053
AT ITER 4788 NEW BEST:: SOT 172461 SOS 140429 HAS SOPS 133751 HAS SOUS 47640 HAS SOUPS 47300 WITH SCORE 47440.429
AT ITER 4800 NEW BEST:: SOT 172216 SOS 140082 HAS SOPS 133262 HAS SOUS 47434 HAS SOUPS 47094 WITH SCORE 47234.082
AT ITER 4848 NEW BEST:: SOT 172194 SOS 140060 HAS SOPS 133240 HAS SOUS 47423 HAS SOUPS 47083 WITH SCORE 47223.06
AT ITER 4923 NEW BEST:: SOT 172194 SOS 139827 HAS SOPS 133007 HAS SOUS 47384 HAS SOUPS 47044 WITH SCORE 47183.827
AT ITER 5028 NEW BEST:: SOT 175220 SOS 142493 HAS SOPS 135425 HAS SOUS 47300 HAS SOUPS 46960 WITH SCORE 47102.493
AT ITER 5113 NEW BEST:: SOT 175174 SOS 142447 HAS SOPS 135379 HAS SOUS 47294 HAS SOUPS 46954 WITH SCORE 47096.447
AT ITER 5131 NEW BEST:: SOT 173681 SOS 140954 HAS SOPS 133886 HAS SOUS 47043 HAS SOUPS 46703 WITH SCORE 46843.954
AT ITER 5170 NEW BEST:: SOT 173681 SOS 140954 HAS SOPS 133886 HAS SOUS 47039 HAS SOUPS 46699 WITH SCORE 46839.954
AT ITER 5181 NEW BEST:: SOT 173719 SOS 140992 HAS SOPS 133924 HAS SOUS 47001 HAS SOUPS 46661 WITH SCORE 46801.992
AT ITER 5233 NEW BEST:: SOT 173719 SOS 139760 HAS SOPS 132692 HAS SOUS 47001 HAS SOUPS 46661 WITH SCORE 46800.76
AT ITER 5305 NEW BEST:: SOT 173689 SOS 139730 HAS SOPS 132662 HAS SOUS 46941 HAS SOUPS 46601 WITH SCORE 46740.73
AT ITER 5370 NEW BEST:: SOT 173797 SOS 139742 HAS SOPS 132294 HAS SOUS 46759 HAS SOUPS 46419 WITH SCORE 46558.742
AT ITER 5409 NEW BEST:: SOT 173795 SOS 139740 HAS SOPS 132292 HAS SOUS 46755 HAS SOUPS 46415 WITH SCORE 46554.74
AT ITER 5456 NEW BEST:: SOT 173795 SOS 139211 HAS SOPS 131763 HAS SOUS 46656 HAS SOUPS 46316 WITH SCORE 46455.211
AT ITER 5478 NEW BEST:: SOT 173637 SOS 139053 HAS SOPS 131605 HAS SOUS 46596 HAS SOUPS 46256 WITH SCORE 46395.053
AT ITER 5496 NEW BEST:: SOT 173637 SOS 139033 HAS SOPS 131585 HAS SOUS 46576 HAS SOUPS 46236 WITH SCORE 46375.033
AT ITER 5497 NEW BEST:: SOT 173591 SOS 138987 HAS SOPS 131625 HAS SOUS 46548 HAS SOUPS 46208 WITH SCORE 46346.987
AT ITER 5515 NEW BEST:: SOT 176475 SOS 141551 HAS SOPS 133878 HAS SOUS 46375 HAS SOUPS 46035 WITH SCORE 46176.551
AT ITER 5546 NEW BEST:: SOT 176476 SOS 141425 HAS SOPS 133744 HAS SOUS 46291 HAS SOUPS 45951 WITH SCORE 46092.425
AT ITER 5569 NEW BEST:: SOT 176046 SOS 140995 HAS SOPS 133314 HAS SOUS 46205 HAS SOUPS 45865 WITH SCORE 46005.995
AT ITER 5575 NEW BEST:: SOT 176017 SOS 140966 HAS SOPS 133285 HAS SOUS 46184 HAS SOUPS 45844 WITH SCORE 45984.966
AT ITER 5603 NEW BEST:: SOT 176002 SOS 140951 HAS SOPS 133270 HAS SOUS 46183 HAS SOUPS 45843 WITH SCORE 45983.951
AT ITER 5632 NEW BEST:: SOT 175906 SOS 140855 HAS SOPS 133174 HAS SOUS 46169 HAS SOUPS 45829 WITH SCORE 45969.855
AT ITER 5648 NEW BEST:: SOT 175862 SOS 140811 HAS SOPS 133130 HAS SOUS 46125 HAS SOUPS 45785 WITH SCORE 45925.811
AT ITER 5790 NEW BEST:: SOT 175954 SOS 140903 HAS SOPS 133222 HAS SOUS 45878 HAS SOUPS 45538 WITH SCORE 45678.903
AT ITER 5942 NEW BEST:: SOT 175882 SOS 140831 HAS SOPS 133150 HAS SOUS 45877 HAS SOUPS 45537 WITH SCORE 45677.831
AT ITER 6032 NEW BEST:: SOT 176255 SOS 140886 HAS SOPS 133074 HAS SOUS 45829 HAS SOUPS 45489 WITH SCORE 45629.886
AT ITER 6082 NEW BEST:: SOT 176233 SOS 140838 HAS SOPS 133026 HAS SOUS 45807 HAS SOUPS 45467 WITH SCORE 45607.838
AT ITER 6111 NEW BEST:: SOT 176213 SOS 140818 HAS SOPS 133006 HAS SOUS 45805 HAS SOUPS 45465 WITH SCORE 45605.818
AT ITER 6168 NEW BEST:: SOT 176314 SOS 140919 HAS SOPS 133107 HAS SOUS 45799 HAS SOUPS 45459 WITH SCORE 45599.919
AT ITER 6225 NEW BEST:: SOT 176314 SOS 140860 HAS SOPS 133048 HAS SOUS 45736 HAS SOUPS 45396 WITH SCORE 45536.86
AT ITER 6248 NEW BEST:: SOT 176331 SOS 140726 HAS SOPS 132914 HAS SOUS 45724 HAS SOUPS 45384 WITH SCORE 45524.726
AT ITER 6483 NEW BEST:: SOT 176264 SOS 140659 HAS SOPS 132847 HAS SOUS 45665 HAS SOUPS 45325 WITH SCORE 45465.659
AT ITER 6602 NEW BEST:: SOT 176209 SOS 140604 HAS SOPS 132792 HAS SOUS 45490 HAS SOUPS 45150 WITH SCORE 45290.604
AT ITER 6603 NEW BEST:: SOT 175803 SOS 140198 HAS SOPS 133635 HAS SOUS 45347 HAS SOUPS 45007 WITH SCORE 45147.198
AT ITER 6663 NEW BEST:: SOT 178233 SOS 142627 HAS SOPS 136064 HAS SOUS 45272 HAS SOUPS 44932 WITH SCORE 45074.627
AT ITER 6686 NEW BEST:: SOT 178090 SOS 142484 HAS SOPS 135921 HAS SOUS 45215 HAS SOUPS 44875 WITH SCORE 45017.484
AT ITER 6920 NEW BEST:: SOT 178090 SOS 142530 HAS SOPS 135967 HAS SOUS 45177 HAS SOUPS 44837 WITH SCORE 44979.53
AT ITER 6934 NEW BEST:: SOT 180623 SOS 145004 HAS SOPS 138441 HAS SOUS 44897 HAS SOUPS 44557 WITH SCORE 44702.004
AT ITER 6965 NEW BEST:: SOT 180772 SOS 145083 HAS SOPS 138520 HAS SOUS 44601 HAS SOUPS 44261 WITH SCORE 44406.083
AT ITER 7013 NEW BEST:: SOT 177729 SOS 142170 HAS SOPS 135759 HAS SOUS 44426 HAS SOUPS 44086 WITH SCORE 44228.17
AT ITER 7065 NEW BEST:: SOT 177729 SOS 142124 HAS SOPS 135713 HAS SOUS 44297 HAS SOUPS 43957 WITH SCORE 44099.124
AT ITER 7143 NEW BEST:: SOT 177760 SOS 142155 HAS SOPS 135697 HAS SOUS 44263 HAS SOUPS 43923 WITH SCORE 44065.155
AT ITER 7234 NEW BEST:: SOT 177784 SOS 141939 HAS SOPS 135481 HAS SOUS 44259 HAS SOUPS 43919 WITH SCORE 44060.939
AT ITER 7322 NEW BEST:: SOT 177973 SOS 142128 HAS SOPS 135670 HAS SOUS 44235 HAS SOUPS 43895 WITH SCORE 44037.128
AT ITER 7356 NEW BEST:: SOT 177973 SOS 141448 HAS SOPS 134990 HAS SOUS 44167 HAS SOUPS 43827 WITH SCORE 43968.448
AT ITER 7370 NEW BEST:: SOT 177915 SOS 141390 HAS SOPS 134932 HAS SOUS 44138 HAS SOUPS 43798 WITH SCORE 43939.39
AT ITER 7677 NEW BEST:: SOT 177915 SOS 141390 HAS SOPS 134932 HAS SOUS 44136 HAS SOUPS 43796 WITH SCORE 43937.39
AT ITER 7785 NEW BEST:: SOT 176383 SOS 139858 HAS SOPS 133400 HAS SOUS 43685 HAS SOUPS 43345 WITH SCORE 43484.858
AT ITER 7787 NEW BEST:: SOT 176359 SOS 139822 HAS SOPS 133292 HAS SOUS 43665 HAS SOUPS 43325 WITH SCORE 43464.822
AT ITER 7825 NEW BEST:: SOT 176513 SOS 139976 HAS SOPS 133446 HAS SOUS 43645 HAS SOUPS 43305 WITH SCORE 43444.976
AT ITER 7848 NEW BEST:: SOT 176989 SOS 140417 HAS SOPS 133887 HAS SOUS 43614 HAS SOUPS 43274 WITH SCORE 43414.417
AT ITER 7854 NEW BEST:: SOT 176989 SOS 140417 HAS SOPS 133887 HAS SOUS 43605 HAS SOUPS 43265 WITH SCORE 43405.417
AT ITER 7860 NEW BEST:: SOT 177328 SOS 140743 HAS SOPS 134205 HAS SOUS 43495 HAS SOUPS 43155 WITH SCORE 43295.743
AT ITER 7863 NEW BEST:: SOT 175821 SOS 139236 HAS SOPS 132698 HAS SOUS 43377 HAS SOUPS 43037 WITH SCORE 43176.236
AT ITER 8238 NEW BEST:: SOT 175821 SOS 139121 HAS SOPS 132583 HAS SOUS 43308 HAS SOUPS 42968 WITH SCORE 43107.121
AT ITER 8282 NEW BEST:: SOT 175806 SOS 139106 HAS SOPS 132568 HAS SOUS 43271 HAS SOUPS 42931 WITH SCORE 43070.106
AT ITER 8365 NEW BEST:: SOT 174405 SOS 137705 HAS SOPS 131167 HAS SOUS 43134 HAS SOUPS 42794 WITH SCORE 42931.705
AT ITER 8461 NEW BEST:: SOT 174405 SOS 137445 HAS SOPS 130899 HAS SOUS 42892 HAS SOUPS 42552 WITH SCORE 42689.445
AT ITER 8508 NEW BEST:: SOT 174405 SOS 137305 HAS SOPS 130759 HAS SOUS 42885 HAS SOUPS 42545 WITH SCORE 42682.305
AT ITER 8582 NEW BEST:: SOT 174533 SOS 137433 HAS SOPS 130887 HAS SOUS 42841 HAS SOUPS 42501 WITH SCORE 42638.433
AT ITER 8610 NEW BEST:: SOT 174533 SOS 137433 HAS SOPS 130887 HAS SOUS 42782 HAS SOUPS 42442 WITH SCORE 42579.433
AT ITER 8628 NEW BEST:: SOT 174533 SOS 137433 HAS SOPS 130887 HAS SOUS 42758 HAS SOUPS 42418 WITH SCORE 42555.433
AT ITER 8639 NEW BEST:: SOT 174533 SOS 137424 HAS SOPS 130878 HAS SOUS 42684 HAS SOUPS 42344 WITH SCORE 42481.424
AT ITER 8664 NEW BEST:: SOT 174530 SOS 137421 HAS SOPS 130875 HAS SOUS 42684 HAS SOUPS 42344 WITH SCORE 42481.421
AT ITER 8698 NEW BEST:: SOT 174470 SOS 137361 HAS SOPS 130815 HAS SOUS 42665 HAS SOUPS 42325 WITH SCORE 42462.361
AT ITER 8712 NEW BEST:: SOT 174465 SOS 137356 HAS SOPS 130818 HAS SOUS 42655 HAS SOUPS 42315 WITH SCORE 42452.356
AT ITER 8752 NEW BEST:: SOT 174505 SOS 137396 HAS SOPS 130858 HAS SOUS 42589 HAS SOUPS 42249 WITH SCORE 42386.396
AT ITER 8765 NEW BEST:: SOT 177535 SOS 139946 HAS SOPS 133256 HAS SOUS 42477 HAS SOUPS 42137 WITH SCORE 42276.946
AT ITER 8817 NEW BEST:: SOT 177535 SOS 139929 HAS SOPS 133239 HAS SOUS 42460 HAS SOUPS 42120 WITH SCORE 42259.929
AT ITER 8924 NEW BEST:: SOT 177544 SOS 139938 HAS SOPS 133206 HAS SOUS 42451 HAS SOUPS 42111 WITH SCORE 42250.938
AT ITER 8985 NEW BEST:: SOT 177544 SOS 139666 HAS SOPS 132934 HAS SOUS 42451 HAS SOUPS 42111 WITH SCORE 42250.666
AT ITER 9004 NEW BEST:: SOT 177544 SOS 139564 HAS SOPS 132832 HAS SOUS 42335 HAS SOUPS 41995 WITH SCORE 42134.564
AT ITER 9089 NEW BEST:: SOT 177544 SOS 139540 HAS SOPS 132808 HAS SOUS 42273 HAS SOUPS 41933 WITH SCORE 42072.54
AT ITER 9116 NEW BEST:: SOT 177528 SOS 139524 HAS SOPS 132792 HAS SOUS 42257 HAS SOUPS 41917 WITH SCORE 42056.524
AT ITER 9150 NEW BEST:: SOT 178496 SOS 140492 HAS SOPS 133760 HAS SOUS 42227 HAS SOUPS 41887 WITH SCORE 42027.492
AT ITER 9186 NEW BEST:: SOT 180492 SOS 142228 HAS SOPS 135341 HAS SOUS 41882 HAS SOUPS 41542 WITH SCORE 41684.228
AT ITER 9256 NEW BEST:: SOT 180492 SOS 139568 HAS SOPS 132695 HAS SOUS 41868 HAS SOUPS 41542 WITH SCORE 41681.568
AT ITER 9301 NEW BEST:: SOT 180237 SOS 139313 HAS SOPS 132440 HAS SOUS 41841 HAS SOUPS 41515 WITH SCORE 41654.313
AT ITER 9340 NEW BEST:: SOT 180237 SOS 139239 HAS SOPS 132366 HAS SOUS 41840 HAS SOUPS 41514 WITH SCORE 41653.239
AT ITER 9343 NEW BEST:: SOT 180215 SOS 139244 HAS SOPS 132371 HAS SOUS 41658 HAS SOUPS 41332 WITH SCORE 41471.244
AT ITER 9365 NEW BEST:: SOT 180447 SOS 139476 HAS SOPS 132603 HAS SOUS 41640 HAS SOUPS 41314 WITH SCORE 41453.476
AT ITER 9377 NEW BEST:: SOT 179800 SOS 138874 HAS SOPS 132001 HAS SOUS 41584 HAS SOUPS 41258 WITH SCORE 41396.874
AT ITER 9404 NEW BEST:: SOT 179800 SOS 138478 HAS SOPS 131605 HAS SOUS 41518 HAS SOUPS 41192 WITH SCORE 41330.478
AT ITER 9426 NEW BEST:: SOT 179744 SOS 138422 HAS SOPS 131549 HAS SOUS 41473 HAS SOUPS 41147 WITH SCORE 41285.422
AT ITER 9441 NEW BEST:: SOT 179739 SOS 138349 HAS SOPS 131368 HAS SOUS 41472 HAS SOUPS 41146 WITH SCORE 41284.349
AT ITER 9518 NEW BEST:: SOT 179739 SOS 138247 HAS SOPS 131266 HAS SOUS 41466 HAS SOUPS 41140 WITH SCORE 41278.247
AT ITER 9637 NEW BEST:: SOT 179689 SOS 138197 HAS SOPS 131216 HAS SOUS 41466 HAS SOUPS 41140 WITH SCORE 41278.197
AT ITER 9639 NEW BEST:: SOT 179689 SOS 138197 HAS SOPS 131216 HAS SOUS 41458 HAS SOUPS 41132 WITH SCORE 41270.197
AT ITER 9645 NEW BEST:: SOT 179967 SOS 138475 HAS SOPS 131494 HAS SOUS 41451 HAS SOUPS 41125 WITH SCORE 41263.475
AT ITER 9717 NEW BEST:: SOT 179782 SOS 138290 HAS SOPS 131309 HAS SOUS 41333 HAS SOUPS 41007 WITH SCORE 41145.29
AT ITER 9733 NEW BEST:: SOT 179782 SOS 138281 HAS SOPS 131300 HAS SOUS 41331 HAS SOUPS 41005 WITH SCORE 41143.281
AT ITER 9787 NEW BEST:: SOT 179740 SOS 138239 HAS SOPS 131258 HAS SOUS 41289 HAS SOUPS 40963 WITH SCORE 41101.239
AT ITER 9824 NEW BEST:: SOT 179740 SOS 138187 HAS SOPS 131206 HAS SOUS 41274 HAS SOUPS 40948 WITH SCORE 41086.187
AT ITER 9835 NEW BEST:: SOT 179740 SOS 138007 HAS SOPS 131026 HAS SOUS 41259 HAS SOUPS 40933 WITH SCORE 41071.007
AT ITER 9877 NEW BEST:: SOT 178010 SOS 136277 HAS SOPS 129296 HAS SOUS 40908 HAS SOUPS 40582 WITH SCORE 40718.277
AT ITER 9918 NEW BEST:: SOT 177913 SOS 136180 HAS SOPS 129224 HAS SOUS 40811 HAS SOUPS 40510 WITH SCORE 40646.18
AT ITER 9948 NEW BEST:: SOT 177913 SOS 136180 HAS SOPS 129224 HAS SOUS 40769 HAS SOUPS 40468 WITH SCORE 40604.18
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7130540 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154996 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="DBSingleClientW-PT-d1m05"
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 DBSingleClientW-PT-d1m05, 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 r099-tall-167814472200248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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