Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DatabaseWithMutex-PT-20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309000188
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DatabaseWithMutex-COL-20-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1494623615146


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ DatabaseWithMutex-PT-20 @ 3540 seconds
Makefile:224: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 6460/65536 symbol table entries, 161 collisions
lola: preprocessing...
lola: finding significant places
lola: 3260 places, 3200 transitions, 2800 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4080 transition conflict sets
lola: TASK
lola: reading formula from DatabaseWithMutex-COL-20-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 11200 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 77462 variables and 374864 clauses shipped to Minisat
lola: computed 1201 generators (57 in search tree, 1144 by composition)
lola: representing 5.91901E+36 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 56861 fired transitions, 0 secs || 27433 markings, 28022 edges, 5487 markings/sec, 0 secs
lola: STP completed || 1 tries, 113476 fired transitions, 5 secs || 62607 markings, 63904 edges, 7035 markings/sec, 5 secs
lola: STP completed || 1 tries, 169525 fired transitions, 10 secs || 96655 markings, 98634 edges, 6810 markings/sec, 10 secs
lola: STP completed || 1 tries, 225676 fired transitions, 15 secs || 131108 markings, 134002 edges, 6891 markings/sec, 15 secs
lola: STP completed || 1 tries, 281651 fired transitions, 20 secs || 166169 markings, 170212 edges, 7012 markings/sec, 20 secs
lola: STP completed || 1 tries, 337559 fired transitions, 25 secs || 200726 markings, 205412 edges, 6911 markings/sec, 25 secs
lola: STP completed || 1 tries, 393475 fired transitions, 30 secs || 235619 markings, 241182 edges, 6979 markings/sec, 30 secs
lola: STP completed || 1 tries, 449931 fired transitions, 35 secs || 270821 markings, 277606 edges, 7040 markings/sec, 35 secs
lola: STP completed || 1 tries, 506326 fired transitions, 40 secs || 305474 markings, 312834 edges, 6931 markings/sec, 40 secs
lola: STP completed || 1 tries, 562766 fired transitions, 45 secs || 340123 markings, 348125 edges, 6930 markings/sec, 45 secs
lola: STP completed || 1 tries, 619152 fired transitions, 50 secs || 374897 markings, 383783 edges, 6955 markings/sec, 50 secs
lola: STP completed || 1 tries, 675226 fired transitions, 55 secs || 409973 markings, 420191 edges, 7015 markings/sec, 55 secs
lola: STP completed || 1 tries, 731598 fired transitions, 60 secs || 444799 markings, 456119 edges, 6965 markings/sec, 60 secs
lola: STP completed || 1 tries, 787754 fired transitions, 65 secs || 479259 markings, 491733 edges, 6892 markings/sec, 65 secs
lola: STP completed || 1 tries, 843640 fired transitions, 70 secs || 513519 markings, 527059 edges, 6852 markings/sec, 70 secs
lola: STP completed || 1 tries, 899369 fired transitions, 75 secs || 547850 markings, 562412 edges, 6866 markings/sec, 75 secs
lola: STP completed || 1 tries, 955089 fired transitions, 80 secs || 582207 markings, 597990 edges, 6871 markings/sec, 80 secs
lola: STP completed || 2 tries, 1011202 fired transitions, 85 secs || 616315 markings, 633178 edges, 6822 markings/sec, 85 secs
lola: STP completed || 2 tries, 1067352 fired transitions, 90 secs || 650561 markings, 668337 edges, 6849 markings/sec, 90 secs
lola: STP completed || 2 tries, 1123014 fired transitions, 95 secs || 685103 markings, 704026 edges, 6908 markings/sec, 95 secs
lola: STP completed || 2 tries, 1178062 fired transitions, 100 secs || 719089 markings, 738695 edges, 6797 markings/sec, 100 secs
lola: STP completed || 2 tries, 1233270 fired transitions, 105 secs || 753189 markings, 773694 edges, 6820 markings/sec, 105 secs
lola: STP completed || 2 tries, 1288250 fired transitions, 110 secs || 787145 markings, 808532 edges, 6791 markings/sec, 110 secs
lola: STP completed || 2 tries, 1343828 fired transitions, 115 secs || 821542 markings, 844057 edges, 6879 markings/sec, 115 secs
lola: STP completed || 2 tries, 1400261 fired transitions, 120 secs || 856529 markings, 880408 edges, 6997 markings/sec, 120 secs
lola: STP completed || 2 tries, 1456537 fired transitions, 125 secs || 891290 markings, 916435 edges, 6952 markings/sec, 125 secs
lola: STP completed || 2 tries, 1512454 fired transitions, 130 secs || 925818 markings, 951813 edges, 6906 markings/sec, 130 secs
lola: STP completed || 2 tries, 1568932 fired transitions, 135 secs || 960328 markings, 987057 edges, 6902 markings/sec, 135 secs
lola: STP completed || 2 tries, 1625296 fired transitions, 140 secs || 995340 markings, 1023458 edges, 7002 markings/sec, 140 secs
lola: STP completed || 2 tries, 1681465 fired transitions, 145 secs || 1029986 markings, 1059033 edges, 6929 markings/sec, 145 secs
lola: STP completed || 2 tries, 1737601 fired transitions, 150 secs || 1064078 markings, 1093513 edges, 6818 markings/sec, 150 secs
lola: STP completed || 2 tries, 1794185 fired transitions, 155 secs || 1098900 markings, 1129662 edges, 6964 markings/sec, 155 secs
lola: STP completed || 2 tries, 1850646 fired transitions, 160 secs || 1133839 markings, 1165876 edges, 6988 markings/sec, 160 secs
lola: STP completed || 2 tries, 1907003 fired transitions, 165 secs || 1168723 markings, 1201762 edges, 6977 markings/sec, 165 secs
lola: STP completed || 2 tries, 1963805 fired transitions, 170 secs || 1203698 markings, 1238168 edges, 6995 markings/sec, 170 secs
lola: STP completed || 3 tries, 2020680 fired transitions, 175 secs || 1238341 markings, 1273800 edges, 6929 markings/sec, 175 secs
lola: STP completed || 3 tries, 2076920 fired transitions, 180 secs || 1273049 markings, 1309542 edges, 6942 markings/sec, 180 secs
lola: STP completed || 3 tries, 2133051 fired transitions, 185 secs || 1307523 markings, 1344571 edges, 6895 markings/sec, 185 secs
lola: STP completed || 3 tries, 2189278 fired transitions, 190 secs || 1341935 markings, 1379497 edges, 6882 markings/sec, 190 secs
lola: STP completed || 3 tries, 2244980 fired transitions, 195 secs || 1376206 markings, 1414317 edges, 6854 markings/sec, 195 secs
lola: STP completed || 3 tries, 2301173 fired transitions, 200 secs || 1410926 markings, 1450143 edges, 6944 markings/sec, 200 secs
lola: STP completed || 3 tries, 2357549 fired transitions, 205 secs || 1445702 markings, 1486115 edges, 6955 markings/sec, 205 secs
lola: STP completed || 3 tries, 2413838 fired transitions, 210 secs || 1480417 markings, 1522119 edges, 6943 markings/sec, 210 secs
lola: STP completed || 3 tries, 2469998 fired transitions, 215 secs || 1515209 markings, 1558201 edges, 6958 markings/sec, 215 secs
lola: STP completed || 3 tries, 2526460 fired transitions, 220 secs || 1550043 markings, 1594375 edges, 6967 markings/sec, 220 secs
lola: STP completed || 3 tries, 2582489 fired transitions, 225 secs || 1584416 markings, 1629483 edges, 6875 markings/sec, 225 secs
lola: STP completed || 3 tries, 2638715 fired transitions, 230 secs || 1619281 markings, 1665836 edges, 6973 markings/sec, 230 secs
lola: STP completed || 3 tries, 2694797 fired transitions, 235 secs || 1653898 markings, 1701483 edges, 6923 markings/sec, 235 secs
lola: STP completed || 3 tries, 2750929 fired transitions, 240 secs || 1688675 markings, 1737374 edges, 6955 markings/sec, 240 secs
lola: STP completed || 3 tries, 2807127 fired transitions, 245 secs || 1723605 markings, 1773857 edges, 6986 markings/sec, 245 secs
lola: STP completed || 3 tries, 2863107 fired transitions, 250 secs || 1758403 markings, 1809898 edges, 6960 markings/sec, 250 secs
lola: STP completed || 3 tries, 2919029 fired transitions, 255 secs || 1792570 markings, 1844821 edges, 6833 markings/sec, 255 secs
lola: STP completed || 3 tries, 2975060 fired transitions, 260 secs || 1826852 markings, 1879912 edges, 6856 markings/sec, 260 secs
lola: STP completed || 4 tries, 3031467 fired transitions, 265 secs || 1861296 markings, 1915315 edges, 6889 markings/sec, 265 secs
lola: STP completed || 4 tries, 3087253 fired transitions, 270 secs || 1895686 markings, 1950586 edges, 6878 markings/sec, 270 secs
lola: STP completed || 4 tries, 3142571 fired transitions, 275 secs || 1929898 markings, 1985942 edges, 6842 markings/sec, 275 secs
lola: STP completed || 4 tries, 3198689 fired transitions, 280 secs || 1964669 markings, 2021948 edges, 6954 markings/sec, 280 secs
lola: STP completed || 4 tries, 3254938 fired transitions, 285 secs || 1999631 markings, 2058350 edges, 6992 markings/sec, 285 secs
lola: STP completed || 4 tries, 3310830 fired transitions, 290 secs || 2034154 markings, 2093800 edges, 6905 markings/sec, 290 secs
lola: STP completed || 4 tries, 3367032 fired transitions, 295 secs || 2068910 markings, 2129907 edges, 6951 markings/sec, 295 secs
lola: STP completed || 4 tries, 3422736 fired transitions, 300 secs || 2102910 markings, 2164895 edges, 6800 markings/sec, 300 secs
lola: STP completed || 4 tries, 3478892 fired transitions, 305 secs || 2137332 markings, 2200832 edges, 6884 markings/sec, 305 secs
lola: STP completed || 4 tries, 3535325 fired transitions, 310 secs || 2171867 markings, 2236784 edges, 6907 markings/sec, 310 secs
lola: STP completed || 4 tries, 3591942 fired transitions, 315 secs || 2206258 markings, 2272553 edges, 6878 markings/sec, 315 secs
lola: STP completed || 4 tries, 3648154 fired transitions, 320 secs || 2240431 markings, 2308056 edges, 6835 markings/sec, 320 secs
lola: STP completed || 4 tries, 3704248 fired transitions, 325 secs || 2274358 markings, 2342994 edges, 6785 markings/sec, 325 secs
lola: STP completed || 4 tries, 3760012 fired transitions, 330 secs || 2308238 markings, 2378190 edges, 6776 markings/sec, 330 secs
lola: STP completed || 4 tries, 3816338 fired transitions, 335 secs || 2342664 markings, 2413818 edges, 6885 markings/sec, 335 secs
lola: STP completed || 4 tries, 3872302 fired transitions, 340 secs || 2376388 markings, 2448319 edges, 6745 markings/sec, 340 secs
lola: STP completed || 4 tries, 3928547 fired transitions, 345 secs || 2410956 markings, 2484096 edges, 6914 markings/sec, 345 secs
lola: STP completed || 4 tries, 3984907 fired transitions, 350 secs || 2445257 markings, 2519745 edges, 6860 markings/sec, 350 secs
lola: STP completed || 5 tries, 4041792 fired transitions, 355 secs || 2478334 markings, 2553752 edges, 6615 markings/sec, 355 secs
lola: STP completed || 5 tries, 4098001 fired transitions, 360 secs || 2512469 markings, 2588808 edges, 6827 markings/sec, 360 secs
lola: STP completed || 5 tries, 4154494 fired transitions, 365 secs || 2546795 markings, 2624408 edges, 6865 markings/sec, 365 secs
lola: STP completed || 5 tries, 4210266 fired transitions, 370 secs || 2580961 markings, 2659484 edges, 6833 markings/sec, 370 secs
lola: STP completed || 5 tries, 4265910 fired transitions, 375 secs || 2615191 markings, 2694753 edges, 6846 markings/sec, 375 secs
lola: STP completed || 5 tries, 4321540 fired transitions, 380 secs || 2649057 markings, 2729903 edges, 6773 markings/sec, 380 secs
lola: STP completed || 5 tries, 4376831 fired transitions, 385 secs || 2682629 markings, 2764437 edges, 6714 markings/sec, 385 secs
lola: STP completed || 5 tries, 4432618 fired transitions, 390 secs || 2716356 markings, 2799575 edges, 6745 markings/sec, 390 secs
lola: STP completed || 5 tries, 4488061 fired transitions, 395 secs || 2750074 markings, 2834627 edges, 6744 markings/sec, 395 secs
lola: STP completed || 5 tries, 4544239 fired transitions, 400 secs || 2784347 markings, 2870471 edges, 6855 markings/sec, 400 secs
lola: STP completed || 5 tries, 4600177 fired transitions, 405 secs || 2818390 markings, 2905466 edges, 6809 markings/sec, 405 secs
lola: STP completed || 5 tries, 4656025 fired transitions, 410 secs || 2852851 markings, 2940887 edges, 6892 markings/sec, 410 secs
lola: STP completed || 5 tries, 4712577 fired transitions, 415 secs || 2887859 markings, 2977505 edges, 7002 markings/sec, 415 secs
lola: STP completed || 5 tries, 4768854 fired transitions, 420 secs || 2922758 markings, 3013969 edges, 6980 markings/sec, 420 secs
lola: STP completed || 5 tries, 4825017 fired transitions, 425 secs || 2957850 markings, 3050735 edges, 7018 markings/sec, 425 secs
lola: STP completed || 5 tries, 4881103 fired transitions, 430 secs || 2992602 markings, 3086715 edges, 6950 markings/sec, 430 secs
lola: STP completed || 5 tries, 4937600 fired transitions, 435 secs || 3027032 markings, 3122534 edges, 6886 markings/sec, 435 secs
lola: STP completed || 5 tries, 4994401 fired transitions, 440 secs || 3061640 markings, 3158971 edges, 6922 markings/sec, 440 secs
lola: STP completed || 6 tries, 5050822 fired transitions, 445 secs || 3096081 markings, 3194606 edges, 6888 markings/sec, 445 secs
lola: STP completed || 6 tries, 5107637 fired transitions, 450 secs || 3130272 markings, 3229846 edges, 6838 markings/sec, 450 secs
lola: STP completed || 6 tries, 5164152 fired transitions, 455 secs || 3164739 markings, 3265880 edges, 6893 markings/sec, 455 secs
lola: STP completed || 6 tries, 5220513 fired transitions, 460 secs || 3198879 markings, 3301072 edges, 6828 markings/sec, 460 secs
lola: STP completed || 6 tries, 5276691 fired transitions, 465 secs || 3232881 markings, 3335876 edges, 6800 markings/sec, 465 secs
lola: STP completed || 6 tries, 5332979 fired transitions, 470 secs || 3267096 markings, 3371222 edges, 6843 markings/sec, 470 secs
lola: STP completed || 6 tries, 5388797 fired transitions, 475 secs || 3301014 markings, 3405843 edges, 6784 markings/sec, 475 secs
lola: STP completed || 6 tries, 5445217 fired transitions, 480 secs || 3335195 markings, 3441077 edges, 6836 markings/sec, 480 secs
lola: STP completed || 6 tries, 5501000 fired transitions, 485 secs || 3369198 markings, 3475783 edges, 6801 markings/sec, 485 secs
lola: STP completed || 6 tries, 5558119 fired transitions, 490 secs || 3403948 markings, 3512298 edges, 6950 markings/sec, 490 secs
lola: STP completed || 6 tries, 5614655 fired transitions, 495 secs || 3437921 markings, 3547028 edges, 6795 markings/sec, 495 secs
lola: STP completed || 6 tries, 5670298 fired transitions, 500 secs || 3472177 markings, 3582834 edges, 6851 markings/sec, 500 secs
lola: STP completed || 6 tries, 5726174 fired transitions, 505 secs || 3506331 markings, 3618717 edges, 6831 markings/sec, 505 secs
lola: STP completed || 6 tries, 5781725 fired transitions, 510 secs || 3540145 markings, 3653682 edges, 6763 markings/sec, 510 secs
lola: STP completed || 6 tries, 5837477 fired transitions, 515 secs || 3574222 markings, 3689155 edges, 6815 markings/sec, 515 secs
lola: STP completed || 6 tries, 5893623 fired transitions, 520 secs || 3608295 markings, 3724672 edges, 6815 markings/sec, 520 secs
lola: STP completed || 6 tries, 5949455 fired transitions, 525 secs || 3642451 markings, 3759937 edges, 6831 markings/sec, 525 secs
lola: STP completed || 7 tries, 6005563 fired transitions, 530 secs || 3676284 markings, 3794418 edges, 6767 markings/sec, 530 secs
lola: STP completed || 7 tries, 6061825 fired transitions, 535 secs || 3710449 markings, 3829796 edges, 6833 markings/sec, 535 secs
lola: STP completed || 7 tries, 6117817 fired transitions, 540 secs || 3744766 markings, 3865737 edges, 6863 markings/sec, 540 secs
lola: STP completed || 7 tries, 6173474 fired transitions, 545 secs || 3778989 markings, 3901514 edges, 6845 markings/sec, 545 secs
lola: STP completed || 7 tries, 6229211 fired transitions, 550 secs || 3813253 markings, 3937472 edges, 6853 markings/sec, 550 secs
lola: STP completed || 7 tries, 6284816 fired transitions, 555 secs || 3847593 markings, 3973629 edges, 6868 markings/sec, 555 secs
lola: STP completed || 7 tries, 6340407 fired transitions, 560 secs || 3881511 markings, 4008777 edges, 6784 markings/sec, 560 secs
lola: STP completed || 7 tries, 6396042 fired transitions, 565 secs || 3915753 markings, 4044775 edges, 6848 markings/sec, 565 secs
lola: STP completed || 7 tries, 6451228 fired transitions, 570 secs || 3949342 markings, 4079201 edges, 6718 markings/sec, 570 secs
lola: STP completed || 7 tries, 6506878 fired transitions, 575 secs || 3983126 markings, 4113951 edges, 6757 markings/sec, 575 secs
lola: STP completed || 7 tries, 6562711 fired transitions, 580 secs || 4017298 markings, 4149881 edges, 6834 markings/sec, 580 secs
lola: STP completed || 7 tries, 6618367 fired transitions, 585 secs || 4050987 markings, 4184742 edges, 6738 markings/sec, 585 secs
lola: STP completed || 7 tries, 6673986 fired transitions, 590 secs || 4084616 markings, 4219180 edges, 6726 markings/sec, 590 secs
lola: STP completed || 7 tries, 6730495 fired transitions, 595 secs || 4118528 markings, 4254074 edges, 6782 markings/sec, 595 secs
lola: STP completed || 7 tries, 6787164 fired transitions, 600 secs || 4152877 markings, 4290171 edges, 6870 markings/sec, 600 secs
lola: STP completed || 7 tries, 6843251 fired transitions, 605 secs || 4187401 markings, 4326132 edges, 6905 markings/sec, 605 secs
lola: STP completed || 7 tries, 6899052 fired transitions, 610 secs || 4221795 markings, 4362121 edges, 6879 markings/sec, 610 secs
lola: STP completed || 7 tries, 6955490 fired transitions, 615 secs || 4256134 markings, 4398133 edges, 6868 markings/sec, 615 secs
lola: STP completed || 8 tries, 7011174 fired transitions, 620 secs || 4289493 markings, 4432957 edges, 6672 markings/sec, 620 secs
Killed
FORMULA DatabaseWithMutex-COL-20-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494624245040

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

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="DatabaseWithMutex-PT-20"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-20.tgz
mv DatabaseWithMutex-PT-20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is DatabaseWithMutex-PT-20, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436309000188"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;