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-3254
Executing tool lola
Input is S_Ring-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432900134
=====================================================================

--------------------
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 Ring-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496441485800


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Ring-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Ring-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_Ring-PT-none @ 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: 226/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 139 places, 87 transitions, 75 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 147 transition conflict sets
lola: TASK
lola: reading formula from Ring-PT-none-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 300 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: 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 2662 variables and 8831 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 4 tries, 3692964 fired transitions, 0 secs || 1292046 markings, 1480406 edges, 258409 markings/sec, 0 secs
lola: STP completed || 9 tries, 8192486 fired transitions, 5 secs || 2605873 markings, 3034437 edges, 262765 markings/sec, 5 secs
lola: STP completed || 13 tries, 12562672 fired transitions, 10 secs || 3864873 markings, 4550426 edges, 251800 markings/sec, 10 secs
lola: STP completed || 17 tries, 16660830 fired transitions, 15 secs || 5065928 markings, 6012216 edges, 240211 markings/sec, 15 secs
lola: STP completed || 21 tries, 20930903 fired transitions, 20 secs || 6281918 markings, 7503031 edges, 243198 markings/sec, 20 secs
lola: STP completed || 26 tries, 25508181 fired transitions, 25 secs || 7495750 markings, 8998705 edges, 242766 markings/sec, 25 secs
lola: STP completed || 30 tries, 29954589 fired transitions, 30 secs || 8645474 markings, 10422579 edges, 229945 markings/sec, 30 secs
lola: STP completed || 35 tries, 34766313 fired transitions, 35 secs || 9852736 markings, 11923116 edges, 241452 markings/sec, 35 secs
lola: STP completed || 40 tries, 39403979 fired transitions, 40 secs || 11038905 markings, 13408161 edges, 237234 markings/sec, 40 secs
lola: STP completed || 44 tries, 43921754 fired transitions, 45 secs || 12204358 markings, 14872007 edges, 233091 markings/sec, 45 secs
lola: STP completed || 49 tries, 48577250 fired transitions, 50 secs || 13386355 markings, 16362359 edges, 236399 markings/sec, 50 secs
lola: STP completed || 54 tries, 53227202 fired transitions, 55 secs || 14547260 markings, 17831219 edges, 232181 markings/sec, 55 secs
lola: STP completed || 58 tries, 57924532 fired transitions, 60 secs || 15705018 markings, 19300584 edges, 231552 markings/sec, 60 secs
lola: STP completed || 63 tries, 62480052 fired transitions, 65 secs || 16828709 markings, 20730768 edges, 224738 markings/sec, 65 secs
lola: STP completed || 68 tries, 67056103 fired transitions, 70 secs || 17938670 markings, 22146053 edges, 221992 markings/sec, 70 secs
lola: STP completed || 72 tries, 71635604 fired transitions, 75 secs || 19042763 markings, 23559003 edges, 220819 markings/sec, 75 secs
lola: STP completed || 77 tries, 76634019 fired transitions, 80 secs || 20191677 markings, 25033440 edges, 229783 markings/sec, 80 secs
lola: STP completed || 82 tries, 81674993 fired transitions, 85 secs || 21337049 markings, 26506227 edges, 229074 markings/sec, 85 secs
lola: STP completed || 87 tries, 86715035 fired transitions, 90 secs || 22478364 markings, 27976230 edges, 228263 markings/sec, 90 secs
lola: STP completed || 92 tries, 91897903 fired transitions, 95 secs || 23605894 markings, 29432096 edges, 225506 markings/sec, 95 secs
lola: STP completed || 97 tries, 96880492 fired transitions, 100 secs || 24723044 markings, 30875959 edges, 223430 markings/sec, 100 secs
lola: STP completed || 102 tries, 101909531 fired transitions, 105 secs || 25846942 markings, 32331954 edges, 224780 markings/sec, 105 secs
lola: STP completed || 107 tries, 106977523 fired transitions, 110 secs || 26967191 markings, 33785089 edges, 224050 markings/sec, 110 secs
lola: STP completed || 112 tries, 111985509 fired transitions, 115 secs || 28073407 markings, 35224128 edges, 221243 markings/sec, 115 secs
lola: STP completed || 118 tries, 117015740 fired transitions, 120 secs || 29182663 markings, 36667910 edges, 221851 markings/sec, 120 secs
lola: STP completed || 123 tries, 122063339 fired transitions, 125 secs || 30303122 markings, 38124367 edges, 224092 markings/sec, 125 secs
lola: STP completed || 128 tries, 127486342 fired transitions, 130 secs || 31415969 markings, 39576007 edges, 222569 markings/sec, 130 secs
lola: STP completed || 133 tries, 132580100 fired transitions, 135 secs || 32524826 markings, 41025646 edges, 221771 markings/sec, 135 secs
lola: STP completed || 138 tries, 137847029 fired transitions, 140 secs || 33614466 markings, 42451820 edges, 217928 markings/sec, 140 secs
lola: STP completed || 143 tries, 142797050 fired transitions, 145 secs || 34676946 markings, 43843476 edges, 212496 markings/sec, 145 secs
lola: STP completed || 148 tries, 147798516 fired transitions, 150 secs || 35750623 markings, 45254362 edges, 214735 markings/sec, 150 secs
lola: STP completed || 153 tries, 152892528 fired transitions, 155 secs || 36838336 markings, 46686512 edges, 217543 markings/sec, 155 secs
lola: STP completed || 158 tries, 157989037 fired transitions, 160 secs || 37927721 markings, 48118496 edges, 217877 markings/sec, 160 secs
lola: STP completed || 164 tries, 163062805 fired transitions, 165 secs || 39009678 markings, 49542240 edges, 216391 markings/sec, 165 secs
lola: STP completed || 169 tries, 168171681 fired transitions, 170 secs || 40090175 markings, 50967758 edges, 216099 markings/sec, 170 secs
lola: STP completed || 174 tries, 173254942 fired transitions, 175 secs || 41168420 markings, 52391737 edges, 215649 markings/sec, 175 secs
lola: STP completed || 179 tries, 178246527 fired transitions, 180 secs || 42226251 markings, 53793459 edges, 211566 markings/sec, 180 secs
lola: STP completed || 184 tries, 183229260 fired transitions, 185 secs || 43277452 markings, 55185850 edges, 210240 markings/sec, 185 secs
lola: STP completed || 189 tries, 188319187 fired transitions, 190 secs || 44350536 markings, 56605878 edges, 214617 markings/sec, 190 secs
lola: STP completed || 194 tries, 193386704 fired transitions, 195 secs || 45416902 markings, 58023047 edges, 213273 markings/sec, 195 secs
lola: STP completed || 199 tries, 198367494 fired transitions, 200 secs || 46463870 markings, 59415181 edges, 209394 markings/sec, 200 secs
lola: STP completed || 204 tries, 203448860 fired transitions, 205 secs || 47525009 markings, 60820515 edges, 212228 markings/sec, 205 secs
lola: STP completed || 209 tries, 208468646 fired transitions, 210 secs || 48571499 markings, 62212822 edges, 209298 markings/sec, 210 secs
lola: STP completed || 214 tries, 213447667 fired transitions, 215 secs || 49636403 markings, 63628230 edges, 212981 markings/sec, 215 secs
lola: STP completed || 219 tries, 218437976 fired transitions, 220 secs || 50684127 markings, 65025385 edges, 209545 markings/sec, 220 secs
lola: STP completed || 224 tries, 223428877 fired transitions, 225 secs || 51726513 markings, 66417175 edges, 208477 markings/sec, 225 secs
lola: STP completed || 229 tries, 228400953 fired transitions, 230 secs || 52763795 markings, 67801010 edges, 207456 markings/sec, 230 secs
lola: STP completed || 234 tries, 233389100 fired transitions, 235 secs || 53805310 markings, 69193842 edges, 208303 markings/sec, 235 secs
lola: STP completed || 239 tries, 238375212 fired transitions, 240 secs || 54844439 markings, 70583218 edges, 207826 markings/sec, 240 secs
lola: STP completed || 244 tries, 243341851 fired transitions, 245 secs || 55879935 markings, 71970514 edges, 207099 markings/sec, 245 secs
lola: STP completed || 249 tries, 248295774 fired transitions, 250 secs || 56909743 markings, 73352753 edges, 205962 markings/sec, 250 secs
lola: STP completed || 254 tries, 253257764 fired transitions, 255 secs || 57939676 markings, 74733286 edges, 205987 markings/sec, 255 secs
lola: STP completed || 259 tries, 258226090 fired transitions, 260 secs || 58968318 markings, 76115529 edges, 205728 markings/sec, 260 secs
lola: STP completed || 264 tries, 263197300 fired transitions, 265 secs || 59992400 markings, 77492642 edges, 204816 markings/sec, 265 secs
lola: STP completed || 269 tries, 268258650 fired transitions, 270 secs || 61018709 markings, 78871967 edges, 205262 markings/sec, 270 secs
lola: STP completed || 274 tries, 273268963 fired transitions, 275 secs || 62050376 markings, 80259822 edges, 206333 markings/sec, 275 secs
lola: STP completed || 279 tries, 278252361 fired transitions, 280 secs || 63073547 markings, 81639468 edges, 204634 markings/sec, 280 secs
lola: STP completed || 284 tries, 283198105 fired transitions, 285 secs || 64093374 markings, 83011127 edges, 203965 markings/sec, 285 secs
lola: STP completed || 289 tries, 288150919 fired transitions, 290 secs || 65109515 markings, 84383407 edges, 203228 markings/sec, 290 secs
lola: STP completed || 294 tries, 293095461 fired transitions, 295 secs || 66127561 markings, 85754680 edges, 203609 markings/sec, 295 secs
lola: STP completed || 298 tries, 297838031 fired transitions, 300 secs || 67126528 markings, 87103546 edges, 199793 markings/sec, 300 secs
lola: STP completed || 303 tries, 302671574 fired transitions, 305 secs || 68137292 markings, 88468642 edges, 202153 markings/sec, 305 secs
lola: STP completed || 308 tries, 307505339 fired transitions, 310 secs || 69138243 markings, 89820740 edges, 200190 markings/sec, 310 secs
lola: STP completed || 313 tries, 312279070 fired transitions, 315 secs || 70129974 markings, 91159061 edges, 198346 markings/sec, 315 secs
lola: STP completed || 317 tries, 316175545 fired transitions, 320 secs || 70963996 markings, 92284985 edges, 166804 markings/sec, 320 secs
lola: STP completed || 320 tries, 319759860 fired transitions, 325 secs || 71741789 markings, 93338401 edges, 155559 markings/sec, 325 secs
lola: STP completed || 324 tries, 323343841 fired transitions, 330 secs || 72509707 markings, 94373131 edges, 153584 markings/sec, 330 secs
lola: STP completed || 327 tries, 326986945 fired transitions, 335 secs || 73287015 markings, 95422554 edges, 155462 markings/sec, 335 secs
lola: STP completed || 331 tries, 330625352 fired transitions, 340 secs || 74052670 markings, 96457465 edges, 153131 markings/sec, 340 secs
lola: STP completed || 336 tries, 335261553 fired transitions, 345 secs || 75022823 markings, 97771129 edges, 194031 markings/sec, 345 secs
lola: STP completed || 341 tries, 340180482 fired transitions, 350 secs || 76015484 markings, 99119805 edges, 198532 markings/sec, 350 secs
lola: STP completed || 345 tries, 344951201 fired transitions, 355 secs || 77001686 markings, 100456255 edges, 197240 markings/sec, 355 secs
lola: STP completed || 350 tries, 349722929 fired transitions, 360 secs || 77986910 markings, 101793603 edges, 197045 markings/sec, 360 secs
lola: STP completed || 355 tries, 354490453 fired transitions, 365 secs || 78976965 markings, 103137342 edges, 198011 markings/sec, 365 secs
lola: STP completed || 360 tries, 359258964 fired transitions, 370 secs || 79964369 markings, 104478860 edges, 197481 markings/sec, 370 secs
lola: STP completed || 365 tries, 364033023 fired transitions, 375 secs || 80951368 markings, 105822325 edges, 197400 markings/sec, 375 secs
lola: STP completed || 369 tries, 368854429 fired transitions, 380 secs || 81944731 markings, 107172250 edges, 198673 markings/sec, 380 secs
lola: STP completed || 374 tries, 373811475 fired transitions, 385 secs || 82938565 markings, 108526823 edges, 198767 markings/sec, 385 secs
lola: STP completed || 379 tries, 378645949 fired transitions, 390 secs || 83932614 markings, 109879098 edges, 198810 markings/sec, 390 secs
lola: STP completed || 384 tries, 383417799 fired transitions, 395 secs || 84925189 markings, 111230968 edges, 198515 markings/sec, 395 secs
lola: STP completed || 389 tries, 388645337 fired transitions, 400 secs || 85964682 markings, 112644572 edges, 207899 markings/sec, 400 secs
lola: STP completed || 394 tries, 393912335 fired transitions, 405 secs || 86992180 markings, 114044298 edges, 205500 markings/sec, 405 secs
lola: STP completed || 400 tries, 399126763 fired transitions, 410 secs || 88014418 markings, 115436299 edges, 204448 markings/sec, 410 secs
lola: STP completed || 405 tries, 404393395 fired transitions, 415 secs || 89031483 markings, 116827709 edges, 203413 markings/sec, 415 secs
lola: STP completed || 410 tries, 409621362 fired transitions, 420 secs || 90046762 markings, 118213008 edges, 203056 markings/sec, 420 secs
lola: STP completed || 415 tries, 414804442 fired transitions, 425 secs || 91056478 markings, 119594015 edges, 201943 markings/sec, 425 secs
lola: STP completed || 421 tries, 420024360 fired transitions, 430 secs || 92079924 markings, 120992557 edges, 204689 markings/sec, 430 secs
lola: STP completed || 426 tries, 425228613 fired transitions, 435 secs || 93101702 markings, 122388085 edges, 204356 markings/sec, 435 secs
lola: STP completed || 431 tries, 430414300 fired transitions, 440 secs || 94116080 markings, 123777866 edges, 202876 markings/sec, 440 secs
lola: STP completed || 436 tries, 435510328 fired transitions, 445 secs || 95125354 markings, 125159076 edges, 201855 markings/sec, 445 secs
lola: STP completed || 441 tries, 440666914 fired transitions, 450 secs || 96140504 markings, 126546938 edges, 203030 markings/sec, 450 secs
lola: STP completed || 446 tries, 445867388 fired transitions, 455 secs || 97161233 markings, 127943549 edges, 204146 markings/sec, 455 secs
lola: STP completed || 452 tries, 451121412 fired transitions, 460 secs || 98183902 markings, 129341363 edges, 204534 markings/sec, 460 secs
lola: STP completed || 457 tries, 456406186 fired transitions, 465 secs || 99208997 markings, 130748018 edges, 205019 markings/sec, 465 secs
lola: STP completed || 462 tries, 461658131 fired transitions, 470 secs || 100223841 markings, 132139619 edges, 202969 markings/sec, 470 secs
lola: STP completed || 467 tries, 466738229 fired transitions, 475 secs || 101219457 markings, 133507995 edges, 199123 markings/sec, 475 secs
lola: STP completed || 472 tries, 471917711 fired transitions, 480 secs || 102226453 markings, 134891027 edges, 201399 markings/sec, 480 secs
lola: STP completed || 477 tries, 476569685 fired transitions, 485 secs || 103147155 markings, 136158718 edges, 184140 markings/sec, 485 secs
lola: STP completed || 482 tries, 481397492 fired transitions, 490 secs || 104099019 markings, 137465988 edges, 190373 markings/sec, 490 secs
lola: STP completed || 487 tries, 486240598 fired transitions, 495 secs || 105082706 markings, 138816482 edges, 196737 markings/sec, 495 secs
lola: STP completed || 492 tries, 491107760 fired transitions, 500 secs || 106072007 markings, 140173970 edges, 197860 markings/sec, 500 secs
lola: STP completed || 496 tries, 495922005 fired transitions, 505 secs || 107052360 markings, 141520845 edges, 196071 markings/sec, 505 secs
lola: STP completed || 501 tries, 500730226 fired transitions, 510 secs || 108032057 markings, 142870264 edges, 195939 markings/sec, 510 secs
lola: STP completed || 506 tries, 505529126 fired transitions, 515 secs || 109001573 markings, 144204184 edges, 193903 markings/sec, 515 secs
lola: STP completed || 511 tries, 510323196 fired transitions, 520 secs || 109982705 markings, 145556876 edges, 196226 markings/sec, 520 secs
lola: STP completed || 516 tries, 515123594 fired transitions, 525 secs || 110941083 markings, 146871557 edges, 191676 markings/sec, 525 secs
lola: STP completed || 520 tries, 519919848 fired transitions, 530 secs || 111901058 markings, 148190552 edges, 191995 markings/sec, 530 secs
lola: STP completed || 525 tries, 524700196 fired transitions, 535 secs || 112856261 markings, 149506159 edges, 191041 markings/sec, 535 secs
lola: STP completed || 530 tries, 529616193 fired transitions, 540 secs || 113813757 markings, 150826631 edges, 191499 markings/sec, 540 secs
lola: STP completed || 535 tries, 534608502 fired transitions, 545 secs || 114772635 markings, 152147269 edges, 191776 markings/sec, 545 secs
lola: STP completed || 540 tries, 539643401 fired transitions, 550 secs || 115724490 markings, 153458996 edges, 190371 markings/sec, 550 secs
lola: STP completed || 545 tries, 544470497 fired transitions, 555 secs || 116681823 markings, 154775293 edges, 191467 markings/sec, 555 secs
lola: STP completed || 550 tries, 549343230 fired transitions, 560 secs || 117642336 markings, 156096221 edges, 192103 markings/sec, 560 secs
lola: STP completed || 555 tries, 554182009 fired transitions, 565 secs || 118606037 markings, 157428425 edges, 192740 markings/sec, 565 secs
lola: STP completed || 559 tries, 558991461 fired transitions, 570 secs || 119561451 markings, 158749792 edges, 191083 markings/sec, 570 secs
lola: STP completed || 565 tries, 564069731 fired transitions, 575 secs || 120520252 markings, 160074526 edges, 191760 markings/sec, 575 secs
lola: STP completed || 569 tries, 568966052 fired transitions, 580 secs || 121484566 markings, 161404542 edges, 192863 markings/sec, 580 secs
lola: STP completed || 574 tries, 573898877 fired transitions, 585 secs || 122467503 markings, 162757595 edges, 196587 markings/sec, 585 secs
lola: STP completed || 580 tries, 579064796 fired transitions, 590 secs || 123441531 markings, 164101248 edges, 194806 markings/sec, 590 secs
lola: STP completed || 584 tries, 583862861 fired transitions, 595 secs || 124410265 markings, 165440068 edges, 193747 markings/sec, 595 secs
lola: STP completed || 590 tries, 589068227 fired transitions, 600 secs || 125417944 markings, 166835069 edges, 201536 markings/sec, 600 secs
lola: STP completed || 595 tries, 594277388 fired transitions, 605 secs || 126414553 markings, 168212993 edges, 199322 markings/sec, 605 secs
lola: STP completed || 600 tries, 599389794 fired transitions, 610 secs || 127397948 markings, 169573541 edges, 196679 markings/sec, 610 secs
lola: STP completed || 605 tries, 604813856 fired transitions, 615 secs || 128380513 markings, 170935098 edges, 196513 markings/sec, 615 secs
lola: STP completed || 610 tries, 609916404 fired transitions, 620 secs || 129353761 markings, 172286186 edges, 194650 markings/sec, 620 secs
lola: STP completed || 616 tries, 615341843 fired transitions, 625 secs || 130347843 markings, 173662333 edges, 198816 markings/sec, 625 secs
lola: STP completed || 621 tries, 620641020 fired transitions, 630 secs || 131348693 markings, 175047399 edges, 200170 markings/sec, 630 secs
lola: STP completed || 626 tries, 625670230 fired transitions, 635 secs || 132284973 markings, 176342047 edges, 187256 markings/sec, 635 secs
lola: STP completed || 631 tries, 630580003 fired transitions, 640 secs || 133242872 markings, 177668914 edges, 191580 markings/sec, 640 secs
lola: STP completed || 636 tries, 635423208 fired transitions, 645 secs || 134191839 markings, 178983109 edges, 189793 markings/sec, 645 secs
Killed
FORMULA Ring-PT-none-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 1496442139873

--------------------
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="S_Ring-PT-none"
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/S_Ring-PT-none.tgz
mv S_Ring-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Ring-PT-none, 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 r148-csrt-149443432900134"
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 ;