Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r016-csrt-155225064900057.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Angiogenesis-PT-50, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225064900057
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 4.6K Feb 9 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 9 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 03:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 03:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 105 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 343 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 22:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.4K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 00:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 00:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 29 11:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 11:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 33K Mar 10 17:31 model.pnml

--------------------
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 Angiogenesis-PT-50-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552500415554

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Angiogenesis-PT-50 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 2713
rslt: Output for GlobalProperties @ Angiogenesis-PT-50
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 103/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1248
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
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: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 6 tries, 5716975 fired transitions, 0 secs || 1749021 markings, 2949338 edges, 349804 markings/sec, 0 secs
lola: 11 tries, 10442523 fired transitions, 5 secs || 3086604 markings, 5227891 edges, 267517 markings/sec, 5 secs
lola: 16 tries, 15274915 fired transitions, 10 secs || 4401522 markings, 7484030 edges, 262984 markings/sec, 10 secs
lola: 21 tries, 20091636 fired transitions, 15 secs || 5731652 markings, 9777132 edges, 266026 markings/sec, 15 secs
lola: 26 tries, 25361619 fired transitions, 20 secs || 7005465 markings, 11985039 edges, 254763 markings/sec, 20 secs
lola: 31 tries, 30253557 fired transitions, 25 secs || 8329281 markings, 14281049 edges, 264763 markings/sec, 25 secs
lola: 36 tries, 35129797 fired transitions, 30 secs || 9636787 markings, 16562061 edges, 261501 markings/sec, 30 secs
lola: 41 tries, 40334093 fired transitions, 35 secs || 10907106 markings, 18795253 edges, 254064 markings/sec, 35 secs
lola: 46 tries, 45297135 fired transitions, 40 secs || 12187825 markings, 21038175 edges, 256144 markings/sec, 40 secs
lola: 51 tries, 50360667 fired transitions, 45 secs || 13460162 markings, 23280294 edges, 254467 markings/sec, 45 secs
lola: 56 tries, 55445961 fired transitions, 50 secs || 14744087 markings, 25540469 edges, 256785 markings/sec, 50 secs
lola: 61 tries, 60680637 fired transitions, 55 secs || 16018268 markings, 27785481 edges, 254836 markings/sec, 55 secs
lola: 66 tries, 65661329 fired transitions, 60 secs || 17270571 markings, 29990611 edges, 250461 markings/sec, 60 secs
lola: 71 tries, 70699291 fired transitions, 65 secs || 18558475 markings, 32254001 edges, 257581 markings/sec, 65 secs
lola: 76 tries, 75878379 fired transitions, 70 secs || 19841736 markings, 34513259 edges, 256652 markings/sec, 70 secs
lola: 81 tries, 80970035 fired transitions, 75 secs || 21096732 markings, 36744325 edges, 250999 markings/sec, 75 secs
lola: 86 tries, 85970862 fired transitions, 80 secs || 22350228 markings, 38949993 edges, 250699 markings/sec, 80 secs
lola: 92 tries, 91109092 fired transitions, 85 secs || 23623197 markings, 41212751 edges, 254594 markings/sec, 85 secs
lola: 97 tries, 96218855 fired transitions, 90 secs || 24877865 markings, 43451419 edges, 250934 markings/sec, 90 secs
lola: 102 tries, 101312273 fired transitions, 95 secs || 26124618 markings, 45667925 edges, 249351 markings/sec, 95 secs
lola: 107 tries, 106605733 fired transitions, 100 secs || 27355082 markings, 47862652 edges, 246093 markings/sec, 100 secs
lola: 112 tries, 111951603 fired transitions, 105 secs || 28595025 markings, 50075117 edges, 247989 markings/sec, 105 secs
lola: 118 tries, 117017930 fired transitions, 110 secs || 29828516 markings, 52262306 edges, 246698 markings/sec, 110 secs
lola: 123 tries, 122091801 fired transitions, 115 secs || 31055828 markings, 54450055 edges, 245462 markings/sec, 115 secs
lola: 128 tries, 127204481 fired transitions, 120 secs || 32284887 markings, 56643440 edges, 245812 markings/sec, 120 secs
lola: 133 tries, 132366795 fired transitions, 125 secs || 33486119 markings, 58796146 edges, 240246 markings/sec, 125 secs
lola: 138 tries, 137516399 fired transitions, 130 secs || 34694829 markings, 60958244 edges, 241742 markings/sec, 130 secs
lola: 143 tries, 142809245 fired transitions, 135 secs || 35905202 markings, 63115429 edges, 242075 markings/sec, 135 secs
lola: 149 tries, 148438013 fired transitions, 140 secs || 37097088 markings, 65244425 edges, 238377 markings/sec, 140 secs
lola: 154 tries, 153682933 fired transitions, 145 secs || 38323955 markings, 67441427 edges, 245373 markings/sec, 145 secs
lola: 160 tries, 159099775 fired transitions, 150 secs || 39545618 markings, 69641807 edges, 244333 markings/sec, 150 secs
lola: 165 tries, 164481003 fired transitions, 155 secs || 40755773 markings, 71798377 edges, 242031 markings/sec, 155 secs
lola: 170 tries, 169715724 fired transitions, 160 secs || 41957289 markings, 73957050 edges, 240303 markings/sec, 160 secs
lola: 175 tries, 174895767 fired transitions, 165 secs || 43145774 markings, 76088697 edges, 237697 markings/sec, 165 secs
lola: 181 tries, 180280803 fired transitions, 170 secs || 44339622 markings, 78241716 edges, 238770 markings/sec, 170 secs
lola: 186 tries, 185667741 fired transitions, 175 secs || 45538348 markings, 80388797 edges, 239745 markings/sec, 175 secs
lola: 191 tries, 190833511 fired transitions, 180 secs || 46724425 markings, 82539567 edges, 237215 markings/sec, 180 secs
lola: 197 tries, 196093179 fired transitions, 185 secs || 47910308 markings, 84675669 edges, 237177 markings/sec, 185 secs
lola: 202 tries, 201396291 fired transitions, 190 secs || 49105171 markings, 86828557 edges, 238973 markings/sec, 190 secs
lola: 207 tries, 206760579 fired transitions, 195 secs || 50289451 markings, 88950107 edges, 236856 markings/sec, 195 secs
lola: 213 tries, 212027098 fired transitions, 200 secs || 51468724 markings, 91071793 edges, 235855 markings/sec, 200 secs
lola: 219 tries, 218482905 fired transitions, 205 secs || 52748174 markings, 93384792 edges, 255890 markings/sec, 205 secs
lola: 224 tries, 223943589 fired transitions, 210 secs || 53873177 markings, 95416671 edges, 225001 markings/sec, 210 secs
lola: 230 tries, 229143539 fired transitions, 215 secs || 54976452 markings, 97402244 edges, 220655 markings/sec, 215 secs
lola: 235 tries, 234392894 fired transitions, 220 secs || 56140447 markings, 99504217 edges, 232799 markings/sec, 220 secs
lola: 240 tries, 239927093 fired transitions, 225 secs || 57308011 markings, 101601146 edges, 233513 markings/sec, 225 secs
lola: 246 tries, 245323481 fired transitions, 230 secs || 58477402 markings, 103710485 edges, 233878 markings/sec, 230 secs
lola: 251 tries, 250563571 fired transitions, 235 secs || 59630975 markings, 105799276 edges, 230715 markings/sec, 235 secs
lola: 256 tries, 255815193 fired transitions, 240 secs || 60809752 markings, 107923880 edges, 235755 markings/sec, 240 secs
lola: 262 tries, 261201711 fired transitions, 245 secs || 61983764 markings, 110058617 edges, 234802 markings/sec, 245 secs
lola: 267 tries, 266508513 fired transitions, 250 secs || 63145310 markings, 112173241 edges, 232309 markings/sec, 250 secs
lola: 272 tries, 271710441 fired transitions, 255 secs || 64294919 markings, 114268305 edges, 229922 markings/sec, 255 secs
lola: 277 tries, 276954965 fired transitions, 260 secs || 65451269 markings, 116369270 edges, 231270 markings/sec, 260 secs
lola: 283 tries, 282160443 fired transitions, 265 secs || 66551457 markings, 118366904 edges, 220038 markings/sec, 265 secs
lola: 288 tries, 287533358 fired transitions, 270 secs || 67688396 markings, 120436213 edges, 227388 markings/sec, 270 secs
lola: 293 tries, 292789457 fired transitions, 275 secs || 68853532 markings, 122543856 edges, 233027 markings/sec, 275 secs
lola: 299 tries, 298230636 fired transitions, 280 secs || 70029188 markings, 124676708 edges, 235131 markings/sec, 280 secs
lola: 305 tries, 304943740 fired transitions, 285 secs || 71327116 markings, 127046839 edges, 259586 markings/sec, 285 secs
lola: 312 tries, 311395421 fired transitions, 290 secs || 72595300 markings, 129351415 edges, 253637 markings/sec, 290 secs
lola: 317 tries, 316665603 fired transitions, 295 secs || 73753593 markings, 131463497 edges, 231659 markings/sec, 295 secs
lola: 323 tries, 322049562 fired transitions, 300 secs || 74900411 markings, 133561368 edges, 229364 markings/sec, 300 secs
lola: 328 tries, 327297403 fired transitions, 305 secs || 76051477 markings, 135654273 edges, 230213 markings/sec, 305 secs
lola: 333 tries, 332551718 fired transitions, 310 secs || 77184798 markings, 137716372 edges, 226664 markings/sec, 310 secs
lola: 338 tries, 337781693 fired transitions, 315 secs || 78304213 markings, 139754677 edges, 223883 markings/sec, 315 secs
lola: 344 tries, 343252907 fired transitions, 320 secs || 79432989 markings, 141814781 edges, 225755 markings/sec, 320 secs
lola: 349 tries, 348429133 fired transitions, 325 secs || 80557369 markings, 143856536 edges, 224876 markings/sec, 325 secs
lola: 354 tries, 353721997 fired transitions, 330 secs || 81702784 markings, 145941110 edges, 229083 markings/sec, 330 secs
lola: 360 tries, 359004724 fired transitions, 335 secs || 82855040 markings, 148036395 edges, 230451 markings/sec, 335 secs
lola: 365 tries, 364131660 fired transitions, 340 secs || 84001291 markings, 150119016 edges, 229250 markings/sec, 340 secs
lola: 370 tries, 369390585 fired transitions, 345 secs || 85137778 markings, 152198975 edges, 227297 markings/sec, 345 secs
lola: 375 tries, 374696243 fired transitions, 350 secs || 86294123 markings, 154290163 edges, 231269 markings/sec, 350 secs
lola: 381 tries, 380888751 fired transitions, 355 secs || 87489604 markings, 156481911 edges, 239096 markings/sec, 355 secs
lola: 387 tries, 386652563 fired transitions, 360 secs || 88635140 markings, 158590281 edges, 229107 markings/sec, 360 secs
lola: 392 tries, 391966673 fired transitions, 365 secs || 89770135 markings, 160671577 edges, 226999 markings/sec, 365 secs
lola: 398 tries, 397278909 fired transitions, 370 secs || 90896579 markings, 162733799 edges, 225289 markings/sec, 370 secs
lola: 403 tries, 402554821 fired transitions, 375 secs || 92038069 markings, 164827548 edges, 228298 markings/sec, 375 secs
lola: 408 tries, 407950703 fired transitions, 380 secs || 93174066 markings, 166902572 edges, 227199 markings/sec, 380 secs
lola: 414 tries, 413428905 fired transitions, 385 secs || 94324932 markings, 169002223 edges, 230173 markings/sec, 385 secs
lola: 419 tries, 418853857 fired transitions, 390 secs || 95478719 markings, 171106463 edges, 230757 markings/sec, 390 secs
lola: 425 tries, 424140391 fired transitions, 395 secs || 96631086 markings, 173201798 edges, 230473 markings/sec, 395 secs
lola: 430 tries, 429427784 fired transitions, 400 secs || 97788812 markings, 175314476 edges, 231545 markings/sec, 400 secs
lola: 435 tries, 434925897 fired transitions, 405 secs || 98938987 markings, 177430635 edges, 230035 markings/sec, 405 secs
lola: 441 tries, 440218491 fired transitions, 410 secs || 100087071 markings, 179537640 edges, 229617 markings/sec, 410 secs
lola: 446 tries, 445506463 fired transitions, 415 secs || 101229555 markings, 181634951 edges, 228497 markings/sec, 415 secs
lola: 451 tries, 450798823 fired transitions, 420 secs || 102367837 markings, 183716076 edges, 227656 markings/sec, 420 secs
lola: 457 tries, 456051131 fired transitions, 425 secs || 103517592 markings, 185834108 edges, 229951 markings/sec, 425 secs
lola: 462 tries, 461333429 fired transitions, 430 secs || 104664472 markings, 187932348 edges, 229376 markings/sec, 430 secs
lola: 467 tries, 466725371 fired transitions, 435 secs || 105803974 markings, 190020485 edges, 227900 markings/sec, 435 secs
lola: 473 tries, 472638615 fired transitions, 440 secs || 106943084 markings, 192114986 edges, 227822 markings/sec, 440 secs
lola: 479 tries, 478420465 fired transitions, 445 secs || 108083542 markings, 194196778 edges, 228092 markings/sec, 445 secs
lola: 485 tries, 484206329 fired transitions, 450 secs || 109221879 markings, 196301156 edges, 227667 markings/sec, 450 secs
lola: 491 tries, 490070824 fired transitions, 455 secs || 110381252 markings, 198433965 edges, 231875 markings/sec, 455 secs
lola: 496 tries, 495846090 fired transitions, 460 secs || 111524442 markings, 200548231 edges, 228638 markings/sec, 460 secs
lola: 502 tries, 501653723 fired transitions, 465 secs || 112677761 markings, 202653889 edges, 230664 markings/sec, 465 secs
lola: 508 tries, 507531965 fired transitions, 470 secs || 113822857 markings, 204756102 edges, 229019 markings/sec, 470 secs
lola: 514 tries, 513367609 fired transitions, 475 secs || 114955097 markings, 206833070 edges, 226448 markings/sec, 475 secs
lola: 519 tries, 518947911 fired transitions, 480 secs || 116094370 markings, 208921246 edges, 227855 markings/sec, 480 secs
lola: 525 tries, 524891333 fired transitions, 485 secs || 117210983 markings, 210971846 edges, 223323 markings/sec, 485 secs
lola: 531 tries, 530681837 fired transitions, 490 secs || 118336485 markings, 213041630 edges, 225100 markings/sec, 490 secs
lola: 537 tries, 536485253 fired transitions, 495 secs || 119478792 markings, 215137476 edges, 228461 markings/sec, 495 secs
lola: 542 tries, 541775877 fired transitions, 500 secs || 120624287 markings, 217238351 edges, 229099 markings/sec, 500 secs
lola: 548 tries, 547483949 fired transitions, 505 secs || 121766259 markings, 219347137 edges, 228394 markings/sec, 505 secs
lola: 554 tries, 553750617 fired transitions, 510 secs || 122960621 markings, 221556436 edges, 238872 markings/sec, 510 secs
lola: 560 tries, 559076450 fired transitions, 515 secs || 124089098 markings, 223623371 edges, 225695 markings/sec, 515 secs
lola: 565 tries, 564924607 fired transitions, 520 secs || 125228728 markings, 225723352 edges, 227926 markings/sec, 520 secs
lola: 571 tries, 570788499 fired transitions, 525 secs || 126398292 markings, 227870611 edges, 233913 markings/sec, 525 secs
lola: 577 tries, 576521459 fired transitions, 530 secs || 127536729 markings, 229983599 edges, 227687 markings/sec, 530 secs
lola: 583 tries, 582167623 fired transitions, 535 secs || 128655595 markings, 232044272 edges, 223773 markings/sec, 535 secs
lola: 588 tries, 587916753 fired transitions, 540 secs || 129824965 markings, 234198722 edges, 233874 markings/sec, 540 secs
lola: 594 tries, 593628303 fired transitions, 545 secs || 130997530 markings, 236368710 edges, 234513 markings/sec, 545 secs
lola: 600 tries, 599314607 fired transitions, 550 secs || 132161989 markings, 238523558 edges, 232892 markings/sec, 550 secs
lola: 605 tries, 604834335 fired transitions, 555 secs || 133335224 markings, 240689425 edges, 234647 markings/sec, 555 secs
lola: 611 tries, 610497203 fired transitions, 560 secs || 134496802 markings, 242835605 edges, 232316 markings/sec, 560 secs
lola: 616 tries, 615997212 fired transitions, 565 secs || 135578910 markings, 244811506 edges, 216422 markings/sec, 565 secs
lola: 622 tries, 621729928 fired transitions, 570 secs || 136745008 markings, 246953135 edges, 233220 markings/sec, 570 secs
lola: 628 tries, 627116893 fired transitions, 575 secs || 137878523 markings, 249056330 edges, 226703 markings/sec, 575 secs
lola: 633 tries, 632492956 fired transitions, 580 secs || 139007136 markings, 251162914 edges, 225723 markings/sec, 580 secs
lola: 638 tries, 637816635 fired transitions, 585 secs || 140124845 markings, 253224986 edges, 223542 markings/sec, 585 secs
lola: 644 tries, 643371925 fired transitions, 590 secs || 141276486 markings, 255362842 edges, 230328 markings/sec, 590 secs
lola: 650 tries, 649202384 fired transitions, 595 secs || 142439142 markings, 257518735 edges, 232531 markings/sec, 595 secs
lola: 655 tries, 654975883 fired transitions, 600 secs || 143618629 markings, 259696130 edges, 235897 markings/sec, 600 secs
lola: 661 tries, 660792039 fired transitions, 605 secs || 144792432 markings, 261851150 edges, 234761 markings/sec, 605 secs
lola: 667 tries, 666558875 fired transitions, 610 secs || 145963873 markings, 264009274 edges, 234288 markings/sec, 610 secs
lola: 673 tries, 672427367 fired transitions, 615 secs || 147117988 markings, 266148874 edges, 230823 markings/sec, 615 secs
lola: 679 tries, 678128107 fired transitions, 620 secs || 148278100 markings, 268297134 edges, 232022 markings/sec, 620 secs
lola: 684 tries, 683961189 fired transitions, 625 secs || 149432623 markings, 270412268 edges, 230905 markings/sec, 625 secs
lola: 690 tries, 689360311 fired transitions, 630 secs || 150572797 markings, 272523804 edges, 228035 markings/sec, 630 secs
lola: 695 tries, 694753411 fired transitions, 635 secs || 151704023 markings, 274622112 edges, 226245 markings/sec, 635 secs
lola: 701 tries, 700110765 fired transitions, 640 secs || 152836362 markings, 276718497 edges, 226468 markings/sec, 640 secs
lola: 706 tries, 705646967 fired transitions, 645 secs || 153964327 markings, 278799767 edges, 225593 markings/sec, 645 secs
lola: 712 tries, 711227064 fired transitions, 650 secs || 155091787 markings, 280886198 edges, 225492 markings/sec, 650 secs
lola: 717 tries, 716606797 fired transitions, 655 secs || 156227552 markings, 282983786 edges, 227153 markings/sec, 655 secs
lola: 723 tries, 722717917 fired transitions, 660 secs || 157388528 markings, 285137084 edges, 232195 markings/sec, 660 secs
lola: 729 tries, 728353807 fired transitions, 665 secs || 158509248 markings, 287223282 edges, 224144 markings/sec, 665 secs
lola: 735 tries, 734115415 fired transitions, 670 secs || 159633307 markings, 289315860 edges, 224812 markings/sec, 670 secs
lola: 741 tries, 740068489 fired transitions, 675 secs || 160764497 markings, 291408885 edges, 226238 markings/sec, 675 secs
lola: 747 tries, 746017034 fired transitions, 680 secs || 161910623 markings, 293527803 edges, 229225 markings/sec, 680 secs
lola: 752 tries, 751844077 fired transitions, 685 secs || 163032979 markings, 295600433 edges, 224471 markings/sec, 685 secs
lola: 758 tries, 757779783 fired transitions, 690 secs || 164143086 markings, 297664569 edges, 222021 markings/sec, 690 secs
lola: 764 tries, 763218876 fired transitions, 695 secs || 165243084 markings, 299701994 edges, 220000 markings/sec, 695 secs
lola: 770 tries, 769022750 fired transitions, 700 secs || 166347955 markings, 301770201 edges, 220974 markings/sec, 700 secs
lola: 777 tries, 776329159 fired transitions, 705 secs || 167596536 markings, 304098916 edges, 249716 markings/sec, 705 secs
lola: 783 tries, 782193069 fired transitions, 710 secs || 168683328 markings, 306120435 edges, 217358 markings/sec, 710 secs
lola: 789 tries, 788027516 fired transitions, 715 secs || 169793310 markings, 308181866 edges, 221996 markings/sec, 715 secs
lola: 794 tries, 793856249 fired transitions, 720 secs || 170922618 markings, 310251406 edges, 225862 markings/sec, 720 secs
lola: 800 tries, 799814075 fired transitions, 725 secs || 172060835 markings, 312355548 edges, 227643 markings/sec, 725 secs
lola: 806 tries, 805755947 fired transitions, 730 secs || 173190797 markings, 314452625 edges, 225992 markings/sec, 730 secs
lola: 812 tries, 811578354 fired transitions, 735 secs || 174304804 markings, 316527476 edges, 222801 markings/sec, 735 secs
lola: 818 tries, 817447161 fired transitions, 740 secs || 175425879 markings, 318609073 edges, 224215 markings/sec, 740 secs
lola: 824 tries, 823307051 fired transitions, 745 secs || 176558748 markings, 320717515 edges, 226574 markings/sec, 745 secs
lola: 830 tries, 829234675 fired transitions, 750 secs || 177679656 markings, 322794947 edges, 224182 markings/sec, 750 secs
lola: 836 tries, 835262525 fired transitions, 755 secs || 178795939 markings, 324864773 edges, 223257 markings/sec, 755 secs
lola: 842 tries, 841095759 fired transitions, 760 secs || 179922169 markings, 326961717 edges, 225246 markings/sec, 760 secs
lola: 848 tries, 847033918 fired transitions, 765 secs || 181053835 markings, 329061998 edges, 226333 markings/sec, 765 secs
lola: 853 tries, 852875431 fired transitions, 770 secs || 182204927 markings, 331205322 edges, 230218 markings/sec, 770 secs
lola: 859 tries, 858833449 fired transitions, 775 secs || 183347020 markings, 333323042 edges, 228419 markings/sec, 775 secs
lola: 865 tries, 864694751 fired transitions, 780 secs || 184493648 markings, 335458449 edges, 229326 markings/sec, 780 secs
lola: 871 tries, 870517786 fired transitions, 785 secs || 185614213 markings, 337544830 edges, 224113 markings/sec, 785 secs
lola: 878 tries, 877573182 fired transitions, 790 secs || 186827736 markings, 339810046 edges, 242705 markings/sec, 790 secs
lola: 884 tries, 883610327 fired transitions, 795 secs || 187936073 markings, 341873982 edges, 221667 markings/sec, 795 secs
lola: 890 tries, 889568637 fired transitions, 800 secs || 189052386 markings, 343958920 edges, 223263 markings/sec, 800 secs
lola: 896 tries, 895549519 fired transitions, 805 secs || 190174258 markings, 346047831 edges, 224374 markings/sec, 805 secs
lola: 902 tries, 901546505 fired transitions, 810 secs || 191300902 markings, 348148125 edges, 225329 markings/sec, 810 secs
lola: 908 tries, 907552814 fired transitions, 815 secs || 192424748 markings, 350237552 edges, 224769 markings/sec, 815 secs
lola: 914 tries, 913577799 fired transitions, 820 secs || 193558745 markings, 352353004 edges, 226799 markings/sec, 820 secs
lola: 920 tries, 919195719 fired transitions, 825 secs || 194650306 markings, 354373972 edges, 218312 markings/sec, 825 secs
lola: 922 tries, 921971720 fired transitions, 830 secs || 194813346 markings, 354678691 edges, 32608 markings/sec, 830 secs
lola: 924 tries, 923914760 fired transitions, 835 secs || 194822448 markings, 354696351 edges, 1820 markings/sec, 835 secs
lola: 926 tries, 925682455 fired transitions, 840 secs || 194836846 markings, 354722027 edges, 2880 markings/sec, 840 secs
lola: 927 tries, 926084579 fired transitions, 845 secs || 194845967 markings, 354738924 edges, 1824 markings/sec, 845 secs
Killed
rslt: finished

BK_STOP 1552501272861

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory

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="Angiogenesis-PT-50"
export BK_EXAMINATION="GlobalProperties"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Angiogenesis-PT-50, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-csrt-155225064900057"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Angiogenesis-PT-50.tgz
mv Angiogenesis-PT-50 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; 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 [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 '' GlobalProperties.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 ;