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-167814472200240.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-d1m04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472200240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 15:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 15:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 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 1678233471177

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-d1m04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m04
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 2 NEW BEST:: SOT 229363 SOS 216374 HAS SOPS 216359 HAS SOUS 156351 HAS SOUPS 156336 WITH SCORE 156552.374
AT ITER 16 NEW BEST:: SOT 229363 SOS 216374 HAS SOPS 216359 HAS SOUS 156342 HAS SOUPS 156327 WITH SCORE 156543.374
AT ITER 21 NEW BEST:: SOT 229429 SOS 216440 HAS SOPS 216425 HAS SOUS 156102 HAS SOUPS 156087 WITH SCORE 156303.44
AT ITER 66 NEW BEST:: SOT 229429 SOS 216326 HAS SOPS 216311 HAS SOUS 156102 HAS SOUPS 156087 WITH SCORE 156303.326
AT ITER 77 NEW BEST:: SOT 229429 SOS 216326 HAS SOPS 216311 HAS SOUS 156035 HAS SOUPS 156020 WITH SCORE 156236.326
AT ITER 84 NEW BEST:: SOT 229429 SOS 216326 HAS SOPS 216311 HAS SOUS 155943 HAS SOUPS 155928 WITH SCORE 156144.326
AT ITER 98 NEW BEST:: SOT 229697 SOS 216594 HAS SOPS 216579 HAS SOUS 155907 HAS SOUPS 155892 WITH SCORE 156108.594
AT ITER 117 NEW BEST:: SOT 229739 SOS 216636 HAS SOPS 216621 HAS SOUS 155830 HAS SOUPS 155815 WITH SCORE 156031.636
AT ITER 138 NEW BEST:: SOT 229739 SOS 216536 HAS SOPS 216521 HAS SOUS 155754 HAS SOUPS 155739 WITH SCORE 155955.536
AT ITER 150 NEW BEST:: SOT 229863 SOS 216660 HAS SOPS 216645 HAS SOUS 155326 HAS SOUPS 155311 WITH SCORE 155527.66
AT ITER 177 NEW BEST:: SOT 229911 SOS 216708 HAS SOPS 216693 HAS SOUS 155059 HAS SOUPS 155044 WITH SCORE 155260.708
AT ITER 211 NEW BEST:: SOT 229911 SOS 216487 HAS SOPS 216472 HAS SOUS 154398 HAS SOUPS 154383 WITH SCORE 154599.487
AT ITER 212 NEW BEST:: SOT 229881 SOS 216481 HAS SOPS 216466 HAS SOUS 154392 HAS SOUPS 154377 WITH SCORE 154593.481
AT ITER 267 NEW BEST:: SOT 229881 SOS 216481 HAS SOPS 216466 HAS SOUS 153550 HAS SOUPS 153535 WITH SCORE 153751.481
AT ITER 310 NEW BEST:: SOT 229881 SOS 216481 HAS SOPS 216466 HAS SOUS 153535 HAS SOUPS 153520 WITH SCORE 153736.481
AT ITER 323 NEW BEST:: SOT 229881 SOS 216481 HAS SOPS 216466 HAS SOUS 153289 HAS SOUPS 153274 WITH SCORE 153490.481
AT ITER 396 NEW BEST:: SOT 230469 SOS 217069 HAS SOPS 217054 HAS SOUS 153016 HAS SOUPS 153001 WITH SCORE 153218.069
AT ITER 400 NEW BEST:: SOT 230901 SOS 217501 HAS SOPS 217486 HAS SOUS 152120 HAS SOUPS 152105 WITH SCORE 152322.501
AT ITER 466 NEW BEST:: SOT 230901 SOS 217399 HAS SOPS 217384 HAS SOUS 152120 HAS SOUPS 152105 WITH SCORE 152322.399
AT ITER 516 NEW BEST:: SOT 230901 SOS 217421 HAS SOPS 217406 HAS SOUS 150353 HAS SOUPS 150338 WITH SCORE 150555.421
AT ITER 525 NEW BEST:: SOT 230901 SOS 217421 HAS SOPS 217406 HAS SOUS 150323 HAS SOUPS 150308 WITH SCORE 150525.421
AT ITER 660 NEW BEST:: SOT 230901 SOS 216937 HAS SOPS 216922 HAS SOUS 148629 HAS SOUPS 148614 WITH SCORE 148830.937
AT ITER 707 NEW BEST:: SOT 230835 SOS 216871 HAS SOPS 216856 HAS SOUS 148563 HAS SOUPS 148548 WITH SCORE 148764.871
AT ITER 739 NEW BEST:: SOT 230883 SOS 216919 HAS SOPS 216904 HAS SOUS 148452 HAS SOUPS 148437 WITH SCORE 148653.919
AT ITER 809 NEW BEST:: SOT 230883 SOS 216919 HAS SOPS 216904 HAS SOUS 148375 HAS SOUPS 148360 WITH SCORE 148576.919
AT ITER 834 NEW BEST:: SOT 230883 SOS 216923 HAS SOPS 216908 HAS SOUS 147405 HAS SOUPS 147390 WITH SCORE 147606.923
AT ITER 868 NEW BEST:: SOT 230883 SOS 216923 HAS SOPS 216908 HAS SOUS 147334 HAS SOUPS 147319 WITH SCORE 147535.923
AT ITER 898 NEW BEST:: SOT 230883 SOS 216923 HAS SOPS 216908 HAS SOUS 147075 HAS SOUPS 147060 WITH SCORE 147276.923
AT ITER 918 NEW BEST:: SOT 230883 SOS 216871 HAS SOPS 216856 HAS SOUS 146971 HAS SOUPS 146956 WITH SCORE 147172.871
AT ITER 930 NEW BEST:: SOT 230883 SOS 216871 HAS SOPS 216856 HAS SOUS 146883 HAS SOUPS 146868 WITH SCORE 147084.871
AT ITER 944 NEW BEST:: SOT 231065 SOS 216048 HAS SOPS 216033 HAS SOUS 146772 HAS SOUPS 146757 WITH SCORE 146973.048
AT ITER 949 NEW BEST:: SOT 231941 SOS 215722 HAS SOPS 215707 HAS SOUS 144386 HAS SOUPS 144371 WITH SCORE 144586.722
AT ITER 979 NEW BEST:: SOT 231941 SOS 215722 HAS SOPS 215707 HAS SOUS 144056 HAS SOUPS 144041 WITH SCORE 144256.722
AT ITER 986 NEW BEST:: SOT 231941 SOS 215506 HAS SOPS 215491 HAS SOUS 143905 HAS SOUPS 143890 WITH SCORE 144105.506
AT ITER 995 NEW BEST:: SOT 232057 SOS 215622 HAS SOPS 215607 HAS SOUS 143904 HAS SOUPS 143889 WITH SCORE 144104.622
AT ITER 1034 NEW BEST:: SOT 232834 SOS 216399 HAS SOPS 216384 HAS SOUS 143806 HAS SOUPS 143791 WITH SCORE 144007.399
AT ITER 1044 NEW BEST:: SOT 232834 SOS 216399 HAS SOPS 216384 HAS SOUS 143795 HAS SOUPS 143780 WITH SCORE 143996.399
AT ITER 1100 NEW BEST:: SOT 232834 SOS 216399 HAS SOPS 216384 HAS SOUS 143732 HAS SOUPS 143717 WITH SCORE 143933.399
AT ITER 1134 NEW BEST:: SOT 233056 SOS 216621 HAS SOPS 216606 HAS SOUS 143602 HAS SOUPS 143587 WITH SCORE 143803.621
AT ITER 1171 NEW BEST:: SOT 233056 SOS 203110 HAS SOPS 203109 HAS SOUS 143524 HAS SOUPS 143523 WITH SCORE 143726.11
AT ITER 1232 NEW BEST:: SOT 233056 SOS 200771 HAS SOPS 200770 HAS SOUS 143431 HAS SOUPS 143430 WITH SCORE 143630.771
AT ITER 1233 NEW BEST:: SOT 233056 SOS 200675 HAS SOPS 200674 HAS SOUS 142144 HAS SOUPS 142143 WITH SCORE 142343.675
AT ITER 1242 NEW BEST:: SOT 233056 SOS 200603 HAS SOPS 200602 HAS SOUS 142000 HAS SOUPS 141999 WITH SCORE 142199.603
AT ITER 1295 NEW BEST:: SOT 171034 SOS 140165 HAS SOPS 138639 HAS SOUS 80165 HAS SOUPS 80031 WITH SCORE 80171.165
AT ITER 1354 NEW BEST:: SOT 171034 SOS 139670 HAS SOPS 138144 HAS SOUS 79932 HAS SOUPS 79798 WITH SCORE 79937.67
AT ITER 1480 NEW BEST:: SOT 170956 SOS 139592 HAS SOPS 137988 HAS SOUS 79833 HAS SOUPS 79642 WITH SCORE 79781.592
AT ITER 1489 NEW BEST:: SOT 171675 SOS 139967 HAS SOPS 138305 HAS SOUS 78748 HAS SOUPS 78557 WITH SCORE 78696.967
AT ITER 1551 NEW BEST:: SOT 171789 SOS 139251 HAS SOPS 137494 HAS SOUS 77366 HAS SOUPS 77175 WITH SCORE 77314.251
AT ITER 1580 NEW BEST:: SOT 171933 SOS 139250 HAS SOPS 137493 HAS SOUS 77059 HAS SOUPS 76868 WITH SCORE 77007.25
AT ITER 1591 NEW BEST:: SOT 171996 SOS 139215 HAS SOPS 137458 HAS SOUS 77049 HAS SOUPS 76858 WITH SCORE 76997.215
AT ITER 1642 NEW BEST:: SOT 172457 SOS 139676 HAS SOPS 137919 HAS SOUS 76907 HAS SOUPS 76716 WITH SCORE 76855.676
AT ITER 1748 NEW BEST:: SOT 173441 SOS 140660 HAS SOPS 138903 HAS SOUS 76804 HAS SOUPS 76613 WITH SCORE 76753.66
AT ITER 1756 NEW BEST:: SOT 173233 SOS 140457 HAS SOPS 138700 HAS SOUS 76757 HAS SOUPS 76566 WITH SCORE 76706.457
AT ITER 1768 NEW BEST:: SOT 173233 SOS 140422 HAS SOPS 138665 HAS SOUS 76756 HAS SOUPS 76565 WITH SCORE 76705.422
AT ITER 1799 NEW BEST:: SOT 175905 SOS 142658 HAS SOPS 140843 HAS SOUS 76282 HAS SOUPS 76091 WITH SCORE 76233.658
AT ITER 1801 NEW BEST:: SOT 176498 SOS 143052 HAS SOPS 141179 HAS SOUS 75071 HAS SOUPS 74880 WITH SCORE 75023.052
AT ITER 1805 NEW BEST:: SOT 176498 SOS 142972 HAS SOPS 141099 HAS SOUS 74320 HAS SOUPS 74129 WITH SCORE 74271.972
AT ITER 1812 NEW BEST:: SOT 176356 SOS 142801 HAS SOPS 140928 HAS SOUS 74178 HAS SOUPS 73987 WITH SCORE 74129.801
AT ITER 1877 NEW BEST:: SOT 176356 SOS 142849 HAS SOPS 140976 HAS SOUS 74044 HAS SOUPS 73853 WITH SCORE 73995.849
AT ITER 1912 NEW BEST:: SOT 176210 SOS 142697 HAS SOPS 140824 HAS SOUS 73976 HAS SOUPS 73785 WITH SCORE 73927.697
AT ITER 1916 NEW BEST:: SOT 176210 SOS 142661 HAS SOPS 140788 HAS SOUS 73976 HAS SOUPS 73785 WITH SCORE 73927.661
AT ITER 1934 NEW BEST:: SOT 176465 SOS 142796 HAS SOPS 140923 HAS SOUS 73933 HAS SOUPS 73742 WITH SCORE 73884.796
AT ITER 1936 NEW BEST:: SOT 175950 SOS 142281 HAS SOPS 140408 HAS SOUS 73583 HAS SOUPS 73392 WITH SCORE 73534.281
AT ITER 2035 NEW BEST:: SOT 175948 SOS 142212 HAS SOPS 140337 HAS SOUS 73577 HAS SOUPS 73386 WITH SCORE 73528.212
AT ITER 2076 NEW BEST:: SOT 176260 SOS 142429 HAS SOPS 140515 HAS SOUS 72641 HAS SOUPS 72450 WITH SCORE 72592.429
AT ITER 2141 NEW BEST:: SOT 177352 SOS 143521 HAS SOPS 141607 HAS SOUS 72583 HAS SOUPS 72392 WITH SCORE 72535.521
AT ITER 2154 NEW BEST:: SOT 177352 SOS 143521 HAS SOPS 141607 HAS SOUS 72557 HAS SOUPS 72366 WITH SCORE 72509.521
AT ITER 2168 NEW BEST:: SOT 178120 SOS 141388 HAS SOPS 138831 HAS SOUS 72075 HAS SOUPS 71884 WITH SCORE 72025.388
AT ITER 2197 NEW BEST:: SOT 178120 SOS 141043 HAS SOPS 138486 HAS SOUS 71973 HAS SOUPS 71782 WITH SCORE 71923.043
AT ITER 2245 NEW BEST:: SOT 178300 SOS 140499 HAS SOPS 137798 HAS SOUS 70931 HAS SOUPS 70740 WITH SCORE 70880.499
AT ITER 2273 NEW BEST:: SOT 178300 SOS 140507 HAS SOPS 137806 HAS SOUS 70886 HAS SOUPS 70695 WITH SCORE 70835.507
AT ITER 2279 NEW BEST:: SOT 178300 SOS 140507 HAS SOPS 137806 HAS SOUS 70883 HAS SOUPS 70692 WITH SCORE 70832.507
AT ITER 2329 NEW BEST:: SOT 179155 SOS 141362 HAS SOPS 138661 HAS SOUS 70753 HAS SOUPS 70562 WITH SCORE 70703.362
AT ITER 2391 NEW BEST:: SOT 179155 SOS 141362 HAS SOPS 138661 HAS SOUS 70729 HAS SOUPS 70538 WITH SCORE 70679.362
AT ITER 2458 NEW BEST:: SOT 179124 SOS 141331 HAS SOPS 138661 HAS SOUS 70698 HAS SOUPS 70538 WITH SCORE 70679.331
AT ITER 2598 NEW BEST:: SOT 179117 SOS 141324 HAS SOPS 138661 HAS SOUS 70691 HAS SOUPS 70538 WITH SCORE 70679.324
AT ITER 2621 NEW BEST:: SOT 178771 SOS 140978 HAS SOPS 138315 HAS SOUS 70399 HAS SOUPS 70246 WITH SCORE 70386.978
AT ITER 2667 NEW BEST:: SOT 178641 SOS 140848 HAS SOPS 138185 HAS SOUS 70349 HAS SOUPS 70196 WITH SCORE 70336.848
AT ITER 2682 NEW BEST:: SOT 178641 SOS 140848 HAS SOPS 138185 HAS SOUS 70345 HAS SOUPS 70192 WITH SCORE 70332.848
AT ITER 2695 NEW BEST:: SOT 178356 SOS 140563 HAS SOPS 138035 HAS SOUS 70321 HAS SOUPS 70168 WITH SCORE 70308.563
AT ITER 2732 NEW BEST:: SOT 178364 SOS 140613 HAS SOPS 138085 HAS SOUS 70167 HAS SOUPS 70014 WITH SCORE 70154.613
AT ITER 2735 NEW BEST:: SOT 178274 SOS 140523 HAS SOPS 137995 HAS SOUS 70167 HAS SOUPS 70014 WITH SCORE 70154.523
AT ITER 2742 NEW BEST:: SOT 178216 SOS 140465 HAS SOPS 137937 HAS SOUS 70133 HAS SOUPS 69980 WITH SCORE 70120.465
AT ITER 2750 NEW BEST:: SOT 178216 SOS 140462 HAS SOPS 137934 HAS SOUS 70133 HAS SOUPS 69980 WITH SCORE 70120.462
AT ITER 2782 NEW BEST:: SOT 178271 SOS 140517 HAS SOPS 137989 HAS SOUS 70103 HAS SOUPS 69950 WITH SCORE 70090.517
AT ITER 2793 NEW BEST:: SOT 178107 SOS 140345 HAS SOPS 137817 HAS SOUS 69959 HAS SOUPS 69806 WITH SCORE 69946.345
AT ITER 2910 NEW BEST:: SOT 178107 SOS 135306 HAS SOPS 132778 HAS SOUS 69841 HAS SOUPS 69688 WITH SCORE 69823.306
AT ITER 2915 NEW BEST:: SOT 178107 SOS 135280 HAS SOPS 132752 HAS SOUS 69360 HAS SOUPS 69207 WITH SCORE 69342.28
AT ITER 2960 NEW BEST:: SOT 178061 SOS 135234 HAS SOPS 132706 HAS SOUS 69360 HAS SOUPS 69207 WITH SCORE 69342.234
AT ITER 2961 NEW BEST:: SOT 180859 SOS 137288 HAS SOPS 134398 HAS SOUS 68511 HAS SOUPS 68358 WITH SCORE 68495.288
AT ITER 2995 NEW BEST:: SOT 181362 SOS 137791 HAS SOPS 134718 HAS SOUS 68251 HAS SOUPS 68098 WITH SCORE 68235.791
AT ITER 3007 NEW BEST:: SOT 181362 SOS 137985 HAS SOPS 134912 HAS SOUS 68250 HAS SOUPS 68097 WITH SCORE 68234.985
AT ITER 3050 NEW BEST:: SOT 181362 SOS 137817 HAS SOPS 134744 HAS SOUS 68249 HAS SOUPS 68096 WITH SCORE 68233.817
AT ITER 3105 NEW BEST:: SOT 181402 SOS 137886 HAS SOPS 134813 HAS SOUS 68129 HAS SOUPS 67976 WITH SCORE 68113.886
AT ITER 3106 NEW BEST:: SOT 181402 SOS 137916 HAS SOPS 134845 HAS SOUS 68095 HAS SOUPS 67942 WITH SCORE 68079.916
AT ITER 3181 NEW BEST:: SOT 181402 SOS 135345 HAS SOPS 132274 HAS SOUS 68000 HAS SOUPS 67847 WITH SCORE 67982.345
AT ITER 3222 NEW BEST:: SOT 181822 SOS 135596 HAS SOPS 132525 HAS SOUS 67996 HAS SOUPS 67843 WITH SCORE 67978.596
AT ITER 3266 NEW BEST:: SOT 182048 SOS 135822 HAS SOPS 132751 HAS SOUS 67951 HAS SOUPS 67798 WITH SCORE 67933.822
AT ITER 3300 NEW BEST:: SOT 182000 SOS 135774 HAS SOPS 132703 HAS SOUS 67927 HAS SOUPS 67774 WITH SCORE 67909.774
AT ITER 3327 NEW BEST:: SOT 182537 SOS 136232 HAS SOPS 133161 HAS SOUS 67864 HAS SOUPS 67711 WITH SCORE 67847.232
AT ITER 3328 NEW BEST:: SOT 182537 SOS 136232 HAS SOPS 133161 HAS SOUS 67757 HAS SOUPS 67604 WITH SCORE 67740.232
AT ITER 3385 NEW BEST:: SOT 181724 SOS 135419 HAS SOPS 132371 HAS SOUS 67556 HAS SOUPS 67422 WITH SCORE 67557.419
AT ITER 3490 NEW BEST:: SOT 181896 SOS 135591 HAS SOPS 132579 HAS SOUS 67546 HAS SOUPS 67412 WITH SCORE 67547.591
AT ITER 3491 NEW BEST:: SOT 181896 SOS 135591 HAS SOPS 132579 HAS SOUS 67529 HAS SOUPS 67395 WITH SCORE 67530.591
AT ITER 3492 NEW BEST:: SOT 181896 SOS 135591 HAS SOPS 132579 HAS SOUS 67435 HAS SOUPS 67301 WITH SCORE 67436.591
AT ITER 3539 NEW BEST:: SOT 181946 SOS 135553 HAS SOPS 132521 HAS SOUS 67161 HAS SOUPS 67027 WITH SCORE 67162.553
AT ITER 3550 NEW BEST:: SOT 182098 SOS 135827 HAS SOPS 132795 HAS SOUS 67043 HAS SOUPS 66909 WITH SCORE 67044.827
AT ITER 3578 NEW BEST:: SOT 182016 SOS 135745 HAS SOPS 132713 HAS SOUS 66985 HAS SOUPS 66851 WITH SCORE 66986.745
AT ITER 3590 NEW BEST:: SOT 181620 SOS 135349 HAS SOPS 132317 HAS SOUS 66941 HAS SOUPS 66807 WITH SCORE 66942.349
AT ITER 3594 NEW BEST:: SOT 161889 SOS 139456 HAS SOPS 121791 HAS SOUS 46326 HAS SOUPS 46034 WITH SCORE 46173.456
AT ITER 3596 NEW BEST:: SOT 161815 SOS 139382 HAS SOPS 121717 HAS SOUS 46326 HAS SOUPS 46034 WITH SCORE 46173.382
AT ITER 3611 NEW BEST:: SOT 161815 SOS 139382 HAS SOPS 121717 HAS SOUS 46325 HAS SOUPS 46033 WITH SCORE 46172.382
AT ITER 3638 NEW BEST:: SOT 161280 SOS 138847 HAS SOPS 121239 HAS SOUS 46267 HAS SOUPS 45975 WITH SCORE 46113.847
AT ITER 3642 NEW BEST:: SOT 161254 SOS 138821 HAS SOPS 121214 HAS SOUS 46245 HAS SOUPS 45953 WITH SCORE 46091.821
AT ITER 3666 NEW BEST:: SOT 160837 SOS 138423 HAS SOPS 120816 HAS SOUS 46050 HAS SOUPS 45758 WITH SCORE 45896.423
AT ITER 3700 NEW BEST:: SOT 160824 SOS 137623 HAS SOPS 119769 HAS SOUS 46037 HAS SOUPS 45745 WITH SCORE 45882.623
AT ITER 3801 NEW BEST:: SOT 160547 SOS 137346 HAS SOPS 118998 HAS SOUS 45803 HAS SOUPS 45511 WITH SCORE 45648.346
AT ITER 3839 NEW BEST:: SOT 160391 SOS 137190 HAS SOPS 118842 HAS SOUS 45646 HAS SOUPS 45354 WITH SCORE 45491.19
AT ITER 3863 NEW BEST:: SOT 160690 SOS 136768 HAS SOPS 115777 HAS SOUS 45534 HAS SOUPS 45242 WITH SCORE 45378.768
AT ITER 3878 NEW BEST:: SOT 160690 SOS 136672 HAS SOPS 115681 HAS SOUS 45418 HAS SOUPS 45126 WITH SCORE 45262.672
AT ITER 3965 NEW BEST:: SOT 160688 SOS 136670 HAS SOPS 115679 HAS SOUS 45416 HAS SOUPS 45124 WITH SCORE 45260.67
AT ITER 3986 NEW BEST:: SOT 160688 SOS 136670 HAS SOPS 115679 HAS SOUS 45414 HAS SOUPS 45122 WITH SCORE 45258.67
AT ITER 4117 NEW BEST:: SOT 160099 SOS 136081 HAS SOPS 116299 HAS SOUS 44825 HAS SOUPS 44533 WITH SCORE 44669.081
AT ITER 4127 NEW BEST:: SOT 160015 SOS 135997 HAS SOPS 116215 HAS SOUS 44783 HAS SOUPS 44491 WITH SCORE 44626.997
AT ITER 4181 NEW BEST:: SOT 160002 SOS 135984 HAS SOPS 116202 HAS SOUS 44770 HAS SOUPS 44478 WITH SCORE 44613.984
AT ITER 4204 NEW BEST:: SOT 159972 SOS 135954 HAS SOPS 116172 HAS SOUS 44696 HAS SOUPS 44404 WITH SCORE 44539.954
AT ITER 4209 NEW BEST:: SOT 159868 SOS 135850 HAS SOPS 116068 HAS SOUS 44594 HAS SOUPS 44302 WITH SCORE 44437.85
AT ITER 4241 NEW BEST:: SOT 160359 SOS 136313 HAS SOPS 116477 HAS SOUS 44396 HAS SOUPS 44104 WITH SCORE 44240.313
AT ITER 4245 NEW BEST:: SOT 160083 SOS 136037 HAS SOPS 116201 HAS SOUS 44258 HAS SOUPS 43966 WITH SCORE 44102.037
AT ITER 4319 NEW BEST:: SOT 160090 SOS 136044 HAS SOPS 116014 HAS SOUS 44179 HAS SOUPS 43887 WITH SCORE 44023.044
AT ITER 4330 NEW BEST:: SOT 160042 SOS 135996 HAS SOPS 115966 HAS SOUS 44131 HAS SOUPS 43839 WITH SCORE 43974.996
AT ITER 4333 NEW BEST:: SOT 159990 SOS 135944 HAS SOPS 115814 HAS SOUS 44036 HAS SOUPS 43744 WITH SCORE 43879.944
AT ITER 4381 NEW BEST:: SOT 159952 SOS 135906 HAS SOPS 115776 HAS SOUS 43959 HAS SOUPS 43667 WITH SCORE 43802.906
AT ITER 4396 NEW BEST:: SOT 159989 SOS 135063 HAS SOPS 113336 HAS SOUS 43736 HAS SOUPS 43444 WITH SCORE 43579.063
AT ITER 4441 NEW BEST:: SOT 159989 SOS 135055 HAS SOPS 113328 HAS SOUS 43736 HAS SOUPS 43444 WITH SCORE 43579.055
AT ITER 4511 NEW BEST:: SOT 159909 SOS 134975 HAS SOPS 113248 HAS SOUS 43717 HAS SOUPS 43425 WITH SCORE 43559.975
AT ITER 4608 NEW BEST:: SOT 159781 SOS 134847 HAS SOPS 113120 HAS SOUS 43717 HAS SOUPS 43425 WITH SCORE 43559.847
AT ITER 4633 NEW BEST:: SOT 159781 SOS 134513 HAS SOPS 112822 HAS SOUS 43717 HAS SOUPS 43425 WITH SCORE 43559.513
AT ITER 4665 NEW BEST:: SOT 159720 SOS 134452 HAS SOPS 112848 HAS SOUS 43717 HAS SOUPS 43425 WITH SCORE 43559.452
AT ITER 4738 NEW BEST:: SOT 159656 SOS 134388 HAS SOPS 112784 HAS SOUS 43717 HAS SOUPS 43425 WITH SCORE 43559.388
AT ITER 4744 NEW BEST:: SOT 159656 SOS 134388 HAS SOPS 112801 HAS SOUS 43708 HAS SOUPS 43416 WITH SCORE 43550.388
AT ITER 4806 NEW BEST:: SOT 159748 SOS 134480 HAS SOPS 112883 HAS SOUS 43688 HAS SOUPS 43396 WITH SCORE 43530.48
AT ITER 4819 NEW BEST:: SOT 159773 SOS 134505 HAS SOPS 112908 HAS SOUS 43595 HAS SOUPS 43303 WITH SCORE 43437.505
AT ITER 4896 NEW BEST:: SOT 159749 SOS 133830 HAS SOPS 112005 HAS SOUS 43538 HAS SOUPS 43246 WITH SCORE 43379.83
AT ITER 4907 NEW BEST:: SOT 159749 SOS 133830 HAS SOPS 112005 HAS SOUS 43483 HAS SOUPS 43191 WITH SCORE 43324.83
AT ITER 4957 NEW BEST:: SOT 159740 SOS 133821 HAS SOPS 111996 HAS SOUS 43465 HAS SOUPS 43173 WITH SCORE 43306.821
AT ITER 5119 NEW BEST:: SOT 159737 SOS 133818 HAS SOPS 111993 HAS SOUS 43459 HAS SOUPS 43167 WITH SCORE 43300.818
AT ITER 5206 NEW BEST:: SOT 159785 SOS 133866 HAS SOPS 112113 HAS SOUS 43455 HAS SOUPS 43163 WITH SCORE 43296.866
AT ITER 5267 NEW BEST:: SOT 159610 SOS 133691 HAS SOPS 111807 HAS SOUS 43268 HAS SOUPS 42976 WITH SCORE 43109.691
AT ITER 5329 NEW BEST:: SOT 157660 SOS 131741 HAS SOPS 110028 HAS SOUS 43163 HAS SOUPS 42871 WITH SCORE 43002.741
AT ITER 5341 NEW BEST:: SOT 157586 SOS 131667 HAS SOPS 109954 HAS SOUS 43154 HAS SOUPS 42862 WITH SCORE 42993.667
AT ITER 5452 NEW BEST:: SOT 157390 SOS 131471 HAS SOPS 109758 HAS SOUS 43154 HAS SOUPS 42862 WITH SCORE 42993.471
AT ITER 5479 NEW BEST:: SOT 157390 SOS 131471 HAS SOPS 109758 HAS SOUS 43140 HAS SOUPS 42848 WITH SCORE 42979.471
AT ITER 5480 NEW BEST:: SOT 157447 SOS 131512 HAS SOPS 109745 HAS SOUS 43130 HAS SOUPS 42838 WITH SCORE 42969.512
AT ITER 5492 NEW BEST:: SOT 157447 SOS 131512 HAS SOPS 109745 HAS SOUS 43129 HAS SOUPS 42837 WITH SCORE 42968.512
AT ITER 5567 NEW BEST:: SOT 157316 SOS 131381 HAS SOPS 109471 HAS SOUS 42989 HAS SOUPS 42697 WITH SCORE 42828.381
AT ITER 5576 NEW BEST:: SOT 157110 SOS 131175 HAS SOPS 109388 HAS SOUS 42806 HAS SOUPS 42514 WITH SCORE 42645.175
AT ITER 5637 NEW BEST:: SOT 158166 SOS 132231 HAS SOPS 110268 HAS SOUS 42792 HAS SOUPS 42500 WITH SCORE 42632.231
AT ITER 5658 NEW BEST:: SOT 158416 SOS 132481 HAS SOPS 110518 HAS SOUS 42702 HAS SOUPS 42410 WITH SCORE 42542.481
AT ITER 5815 NEW BEST:: SOT 158471 SOS 132536 HAS SOPS 110573 HAS SOUS 42663 HAS SOUPS 42371 WITH SCORE 42503.536
AT ITER 5827 NEW BEST:: SOT 158471 SOS 132536 HAS SOPS 110573 HAS SOUS 42643 HAS SOUPS 42351 WITH SCORE 42483.536
AT ITER 5830 NEW BEST:: SOT 158512 SOS 132577 HAS SOPS 110553 HAS SOUS 42570 HAS SOUPS 42278 WITH SCORE 42410.577
AT ITER 5896 NEW BEST:: SOT 158512 SOS 132473 HAS SOPS 110377 HAS SOUS 42557 HAS SOUPS 42256 WITH SCORE 42388.473
AT ITER 5902 NEW BEST:: SOT 158439 SOS 132400 HAS SOPS 110304 HAS SOUS 42484 HAS SOUPS 42183 WITH SCORE 42315.4
AT ITER 5905 NEW BEST:: SOT 158481 SOS 132442 HAS SOPS 110292 HAS SOUS 42319 HAS SOUPS 42018 WITH SCORE 42150.442
AT ITER 5917 NEW BEST:: SOT 158314 SOS 132275 HAS SOPS 110453 HAS SOUS 42313 HAS SOUPS 42016 WITH SCORE 42148.275
AT ITER 5928 NEW BEST:: SOT 158460 SOS 131752 HAS SOPS 108242 HAS SOUS 42308 HAS SOUPS 42011 WITH SCORE 42142.752
AT ITER 6013 NEW BEST:: SOT 158402 SOS 131694 HAS SOPS 108184 HAS SOUS 42307 HAS SOUPS 42010 WITH SCORE 42141.694
AT ITER 6051 NEW BEST:: SOT 160737 SOS 133952 HAS SOPS 109724 HAS SOUS 42137 HAS SOUPS 41840 WITH SCORE 41973.952
AT ITER 6159 NEW BEST:: SOT 160865 SOS 134110 HAS SOPS 109882 HAS SOUS 42120 HAS SOUPS 41823 WITH SCORE 41957.11
AT ITER 6174 NEW BEST:: SOT 160793 SOS 134038 HAS SOPS 109767 HAS SOUS 41976 HAS SOUPS 41679 WITH SCORE 41813.038
AT ITER 6201 NEW BEST:: SOT 160825 SOS 134070 HAS SOPS 109799 HAS SOUS 41906 HAS SOUPS 41609 WITH SCORE 41743.07
AT ITER 6254 NEW BEST:: SOT 160813 SOS 134058 HAS SOPS 109787 HAS SOUS 41894 HAS SOUPS 41597 WITH SCORE 41731.058
AT ITER 6275 NEW BEST:: SOT 160491 SOS 133736 HAS SOPS 109465 HAS SOUS 41894 HAS SOUPS 41597 WITH SCORE 41730.736
AT ITER 6315 NEW BEST:: SOT 160486 SOS 133356 HAS SOPS 109292 HAS SOUS 41882 HAS SOUPS 41585 WITH SCORE 41718.356
AT ITER 6345 NEW BEST:: SOT 160460 SOS 133330 HAS SOPS 109266 HAS SOUS 41856 HAS SOUPS 41559 WITH SCORE 41692.33
AT ITER 6516 NEW BEST:: SOT 160451 SOS 133321 HAS SOPS 109257 HAS SOUS 41855 HAS SOUPS 41558 WITH SCORE 41691.321
AT ITER 6528 NEW BEST:: SOT 160395 SOS 133265 HAS SOPS 109201 HAS SOUS 41854 HAS SOUPS 41557 WITH SCORE 41690.265
AT ITER 6602 NEW BEST:: SOT 160345 SOS 133215 HAS SOPS 109151 HAS SOUS 41804 HAS SOUPS 41507 WITH SCORE 41640.215
AT ITER 6661 NEW BEST:: SOT 160345 SOS 133215 HAS SOPS 109151 HAS SOUS 41707 HAS SOUPS 41410 WITH SCORE 41543.215
AT ITER 6670 NEW BEST:: SOT 159700 SOS 132570 HAS SOPS 108506 HAS SOUS 41658 HAS SOUPS 41361 WITH SCORE 41493.57
AT ITER 6737 NEW BEST:: SOT 159699 SOS 132581 HAS SOPS 108565 HAS SOUS 41656 HAS SOUPS 41359 WITH SCORE 41491.581
AT ITER 6823 NEW BEST:: SOT 159669 SOS 132551 HAS SOPS 108535 HAS SOUS 41626 HAS SOUPS 41329 WITH SCORE 41461.551
AT ITER 6919 NEW BEST:: SOT 159561 SOS 132443 HAS SOPS 108427 HAS SOUS 41530 HAS SOUPS 41233 WITH SCORE 41365.443
AT ITER 6981 NEW BEST:: SOT 159054 SOS 131936 HAS SOPS 111074 HAS SOUS 41398 HAS SOUPS 41101 WITH SCORE 41232.936
AT ITER 7019 NEW BEST:: SOT 159083 SOS 131923 HAS SOPS 111061 HAS SOUS 41254 HAS SOUPS 40957 WITH SCORE 41088.923
AT ITER 7076 NEW BEST:: SOT 159070 SOS 131840 HAS SOPS 110750 HAS SOUS 41235 HAS SOUPS 40938 WITH SCORE 41069.84
AT ITER 7128 NEW BEST:: SOT 159046 SOS 131816 HAS SOPS 110726 HAS SOUS 41186 HAS SOUPS 40889 WITH SCORE 41020.816
AT ITER 7174 NEW BEST:: SOT 159372 SOS 132008 HAS SOPS 110918 HAS SOUS 41183 HAS SOUPS 40886 WITH SCORE 41018.008
AT ITER 7180 NEW BEST:: SOT 159356 SOS 131992 HAS SOPS 110902 HAS SOUS 41175 HAS SOUPS 40878 WITH SCORE 41009.992
AT ITER 7319 NEW BEST:: SOT 159412 SOS 132048 HAS SOPS 110958 HAS SOUS 41102 HAS SOUPS 40805 WITH SCORE 40937.048
AT ITER 7423 NEW BEST:: SOT 159372 SOS 132008 HAS SOPS 111188 HAS SOUS 41079 HAS SOUPS 40782 WITH SCORE 40914.008
AT ITER 7425 NEW BEST:: SOT 159380 SOS 132016 HAS SOPS 111196 HAS SOUS 41016 HAS SOUPS 40719 WITH SCORE 40851.016
AT ITER 7508 NEW BEST:: SOT 159380 SOS 132016 HAS SOPS 111154 HAS SOUS 40974 HAS SOUPS 40677 WITH SCORE 40809.016
AT ITER 7529 NEW BEST:: SOT 159402 SOS 132038 HAS SOPS 111176 HAS SOUS 40921 HAS SOUPS 40624 WITH SCORE 40756.038
AT ITER 7596 NEW BEST:: SOT 159351 SOS 132048 HAS SOPS 111135 HAS SOUS 40870 HAS SOUPS 40573 WITH SCORE 40705.048
AT ITER 7699 NEW BEST:: SOT 160934 SOS 133631 HAS SOPS 113009 HAS SOUS 40748 HAS SOUPS 40451 WITH SCORE 40584.631
AT ITER 7706 NEW BEST:: SOT 160910 SOS 133607 HAS SOPS 112970 HAS SOUS 40715 HAS SOUPS 40418 WITH SCORE 40551.607
AT ITER 7764 NEW BEST:: SOT 160902 SOS 133599 HAS SOPS 112984 HAS SOUS 40699 HAS SOUPS 40402 WITH SCORE 40535.599
AT ITER 7793 NEW BEST:: SOT 161410 SOS 134107 HAS SOPS 113426 HAS SOUS 40660 HAS SOUPS 40363 WITH SCORE 40497.107
AT ITER 7795 NEW BEST:: SOT 161113 SOS 133810 HAS SOPS 113129 HAS SOUS 40561 HAS SOUPS 40264 WITH SCORE 40397.81
AT ITER 7811 NEW BEST:: SOT 161135 SOS 133797 HAS SOPS 113072 HAS SOUS 40527 HAS SOUPS 40230 WITH SCORE 40363.797
AT ITER 7907 NEW BEST:: SOT 161135 SOS 133797 HAS SOPS 113072 HAS SOUS 40516 HAS SOUPS 40219 WITH SCORE 40352.797
AT ITER 7908 NEW BEST:: SOT 161135 SOS 133702 HAS SOPS 112977 HAS SOUS 40478 HAS SOUPS 40181 WITH SCORE 40314.702
AT ITER 8017 NEW BEST:: SOT 161130 SOS 133697 HAS SOPS 112972 HAS SOUS 40473 HAS SOUPS 40176 WITH SCORE 40309.697
AT ITER 8059 NEW BEST:: SOT 160234 SOS 132801 HAS SOPS 112076 HAS SOUS 39623 HAS SOUPS 39326 WITH SCORE 39458.801
AT ITER 8098 NEW BEST:: SOT 160234 SOS 132801 HAS SOPS 112075 HAS SOUS 39622 HAS SOUPS 39325 WITH SCORE 39457.801
AT ITER 8106 NEW BEST:: SOT 160234 SOS 132801 HAS SOPS 112075 HAS SOUS 39604 HAS SOUPS 39307 WITH SCORE 39439.801
AT ITER 8155 NEW BEST:: SOT 160239 SOS 132806 HAS SOPS 112034 HAS SOUS 39506 HAS SOUPS 39209 WITH SCORE 39341.806
AT ITER 8286 NEW BEST:: SOT 159732 SOS 132299 HAS SOPS 111527 HAS SOUS 38999 HAS SOUPS 38702 WITH SCORE 38834.299
AT ITER 8287 NEW BEST:: SOT 159745 SOS 132312 HAS SOPS 111540 HAS SOUS 38986 HAS SOUPS 38689 WITH SCORE 38821.312
AT ITER 8306 NEW BEST:: SOT 159745 SOS 132397 HAS SOPS 111948 HAS SOUS 38964 HAS SOUPS 38667 WITH SCORE 38799.397
AT ITER 8310 NEW BEST:: SOT 159647 SOS 132299 HAS SOPS 111689 HAS SOUS 38898 HAS SOUPS 38601 WITH SCORE 38733.299
AT ITER 8407 NEW BEST:: SOT 159606 SOS 132258 HAS SOPS 111648 HAS SOUS 38783 HAS SOUPS 38486 WITH SCORE 38618.258
AT ITER 8495 NEW BEST:: SOT 159614 SOS 132186 HAS SOPS 111576 HAS SOUS 38779 HAS SOUPS 38482 WITH SCORE 38614.186
AT ITER 8504 NEW BEST:: SOT 158092 SOS 130664 HAS SOPS 110012 HAS SOUS 37936 HAS SOUPS 37639 WITH SCORE 37769.664
AT ITER 8585 NEW BEST:: SOT 157828 SOS 130400 HAS SOPS 109727 HAS SOUS 37901 HAS SOUPS 37604 WITH SCORE 37734.4
AT ITER 8726 NEW BEST:: SOT 157742 SOS 130314 HAS SOPS 109641 HAS SOUS 37734 HAS SOUPS 37437 WITH SCORE 37567.314
AT ITER 8852 NEW BEST:: SOT 158042 SOS 130614 HAS SOPS 109941 HAS SOUS 37722 HAS SOUPS 37425 WITH SCORE 37555.614
AT ITER 8861 NEW BEST:: SOT 158200 SOS 130772 HAS SOPS 110099 HAS SOUS 37682 HAS SOUPS 37385 WITH SCORE 37515.772
AT ITER 8884 NEW BEST:: SOT 158181 SOS 130753 HAS SOPS 110127 HAS SOUS 37663 HAS SOUPS 37366 WITH SCORE 37496.753
AT ITER 8965 NEW BEST:: SOT 158527 SOS 131099 HAS SOPS 110473 HAS SOUS 37604 HAS SOUPS 37307 WITH SCORE 37438.099
AT ITER 9022 NEW BEST:: SOT 158515 SOS 131087 HAS SOPS 110461 HAS SOUS 37523 HAS SOUPS 37226 WITH SCORE 37357.087
AT ITER 9052 NEW BEST:: SOT 158501 SOS 131073 HAS SOPS 110447 HAS SOUS 37509 HAS SOUPS 37212 WITH SCORE 37343.073
AT ITER 9057 NEW BEST:: SOT 158487 SOS 131059 HAS SOPS 110433 HAS SOUS 37481 HAS SOUPS 37184 WITH SCORE 37315.059
AT ITER 9097 NEW BEST:: SOT 158487 SOS 130705 HAS SOPS 110079 HAS SOUS 37405 HAS SOUPS 37108 WITH SCORE 37238.705
AT ITER 9159 NEW BEST:: SOT 157367 SOS 129585 HAS SOPS 108959 HAS SOUS 36753 HAS SOUPS 36456 WITH SCORE 36585.585
AT ITER 9224 NEW BEST:: SOT 156899 SOS 129173 HAS SOPS 108835 HAS SOUS 36652 HAS SOUPS 36355 WITH SCORE 36484.173
AT ITER 9266 NEW BEST:: SOT 156884 SOS 129158 HAS SOPS 108775 HAS SOUS 36637 HAS SOUPS 36340 WITH SCORE 36469.158
AT ITER 9326 NEW BEST:: SOT 156972 SOS 129246 HAS SOPS 108777 HAS SOUS 36598 HAS SOUPS 36301 WITH SCORE 36430.246
AT ITER 9410 NEW BEST:: SOT 156892 SOS 129166 HAS SOPS 108697 HAS SOUS 36519 HAS SOUPS 36222 WITH SCORE 36351.166
AT ITER 9533 NEW BEST:: SOT 156951 SOS 129225 HAS SOPS 108726 HAS SOUS 36501 HAS SOUPS 36204 WITH SCORE 36333.225
AT ITER 9621 NEW BEST:: SOT 156287 SOS 128561 HAS SOPS 108062 HAS SOUS 35814 HAS SOUPS 35517 WITH SCORE 35645.561
AT ITER 9634 NEW BEST:: SOT 156285 SOS 128559 HAS SOPS 108060 HAS SOUS 35814 HAS SOUPS 35517 WITH SCORE 35645.559
AT ITER 9738 NEW BEST:: SOT 156146 SOS 128420 HAS SOPS 107921 HAS SOUS 35799 HAS SOUPS 35502 WITH SCORE 35630.42
AT ITER 9810 NEW BEST:: SOT 155853 SOS 128127 HAS SOPS 109233 HAS SOUS 35645 HAS SOUPS 35348 WITH SCORE 35476.127
STATE_SPACE STATES 219181 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 358640 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678233624576

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DBSingleClientW-PT-d1m04"
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-d1m04, 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-167814472200240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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