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 PaceMaker-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484900305
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494646196574


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ PaceMaker-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: 234/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 70 places, 164 transitions, 35 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 105 transition conflict sets
lola: TASK
lola: reading formula from PaceMaker-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 140 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: stp: The siphon/trap property is not applicable since the net is inhomogeneous
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 completed || 2 tries, 1756325 fired transitions, 0 secs || 930096 markings, 1763213 edges, 186019 markings/sec, 0 secs
lola: STP completed || 4 tries, 3452401 fired transitions, 5 secs || 1928771 markings, 3628149 edges, 199735 markings/sec, 5 secs
lola: STP completed || 5 tries, 4519088 fired transitions, 10 secs || 2870117 markings, 5520157 edges, 188269 markings/sec, 10 secs
lola: STP completed || 6 tries, 5755328 fired transitions, 15 secs || 3857274 markings, 7382857 edges, 197431 markings/sec, 15 secs
lola: STP completed || 7 tries, 6842367 fired transitions, 20 secs || 4678091 markings, 8973908 edges, 164163 markings/sec, 20 secs
lola: STP completed || 9 tries, 8005055 fired transitions, 25 secs || 5573427 markings, 10855199 edges, 179067 markings/sec, 25 secs
lola: STP completed || 10 tries, 9405053 fired transitions, 30 secs || 6412154 markings, 12398051 edges, 167745 markings/sec, 30 secs
lola: STP completed || 11 tries, 10508855 fired transitions, 35 secs || 7210141 markings, 13862708 edges, 159597 markings/sec, 35 secs
lola: STP completed || 13 tries, 12266729 fired transitions, 40 secs || 8032445 markings, 15509087 edges, 164461 markings/sec, 40 secs
lola: STP completed || 14 tries, 13431871 fired transitions, 45 secs || 8823880 markings, 17180620 edges, 158287 markings/sec, 45 secs
lola: STP completed || 15 tries, 14709443 fired transitions, 50 secs || 9797124 markings, 19239277 edges, 194649 markings/sec, 50 secs
lola: STP completed || 17 tries, 16248939 fired transitions, 55 secs || 10924368 markings, 21410567 edges, 225449 markings/sec, 55 secs
lola: STP completed || 19 tries, 18463951 fired transitions, 60 secs || 12116382 markings, 23625658 edges, 238403 markings/sec, 60 secs
lola: STP completed || 20 tries, 19976631 fired transitions, 65 secs || 13141617 markings, 25276390 edges, 205047 markings/sec, 65 secs
lola: STP completed || 22 tries, 21490142 fired transitions, 70 secs || 14168611 markings, 27130281 edges, 205399 markings/sec, 70 secs
lola: STP completed || 24 tries, 23700000 fired transitions, 75 secs || 15184099 markings, 28916535 edges, 203098 markings/sec, 75 secs
lola: STP completed || 26 tries, 25231661 fired transitions, 80 secs || 16193792 markings, 30693230 edges, 201939 markings/sec, 80 secs
lola: STP completed || 27 tries, 26760800 fired transitions, 85 secs || 17206349 markings, 32517441 edges, 202511 markings/sec, 85 secs
lola: STP completed || 29 tries, 28287708 fired transitions, 90 secs || 18235974 markings, 34395168 edges, 205925 markings/sec, 90 secs
lola: STP completed || 30 tries, 29825981 fired transitions, 95 secs || 19263294 markings, 36316496 edges, 205464 markings/sec, 95 secs
lola: STP completed || 33 tries, 32069408 fired transitions, 100 secs || 20276035 markings, 38227868 edges, 202548 markings/sec, 100 secs
lola: STP completed || 34 tries, 33618619 fired transitions, 105 secs || 21313377 markings, 40219011 edges, 207468 markings/sec, 105 secs
lola: STP completed || 36 tries, 35229407 fired transitions, 110 secs || 22355296 markings, 42301065 edges, 208384 markings/sec, 110 secs
lola: STP completed || 38 tries, 37020767 fired transitions, 115 secs || 23417971 markings, 44485593 edges, 212535 markings/sec, 115 secs
lola: STP completed || 39 tries, 38560874 fired transitions, 120 secs || 24474772 markings, 46703307 edges, 211360 markings/sec, 120 secs
lola: STP completed || 41 tries, 40789284 fired transitions, 125 secs || 25526627 markings, 49062427 edges, 210371 markings/sec, 125 secs
lola: STP completed || 43 tries, 42322497 fired transitions, 130 secs || 26583714 markings, 51521303 edges, 211417 markings/sec, 130 secs
lola: STP completed || 46 tries, 45205220 fired transitions, 135 secs || 27768044 markings, 54034577 edges, 236866 markings/sec, 135 secs
lola: STP completed || 47 tries, 46715498 fired transitions, 140 secs || 29027187 markings, 56754135 edges, 251829 markings/sec, 140 secs
lola: STP completed || 49 tries, 48940272 fired transitions, 145 secs || 30211638 markings, 59211194 edges, 236890 markings/sec, 145 secs
lola: STP completed || 51 tries, 50483398 fired transitions, 150 secs || 31301258 markings, 61570916 edges, 217924 markings/sec, 150 secs
lola: STP completed || 53 tries, 52711969 fired transitions, 155 secs || 32301578 markings, 63525037 edges, 200064 markings/sec, 155 secs
lola: STP completed || 55 tries, 54257439 fired transitions, 160 secs || 33276173 markings, 65386342 edges, 194919 markings/sec, 160 secs
lola: STP completed || 56 tries, 55826381 fired transitions, 165 secs || 34132036 markings, 67093641 edges, 171173 markings/sec, 165 secs
lola: STP completed || 58 tries, 57386674 fired transitions, 170 secs || 35018772 markings, 68880278 edges, 177347 markings/sec, 170 secs
lola: STP completed || 59 tries, 58952676 fired transitions, 175 secs || 35942286 markings, 70875078 edges, 184703 markings/sec, 175 secs
lola: STP completed || 61 tries, 60543536 fired transitions, 180 secs || 36819739 markings, 73084569 edges, 175491 markings/sec, 180 secs
lola: STP completed || 63 tries, 62785900 fired transitions, 185 secs || 37680710 markings, 75320126 edges, 172194 markings/sec, 185 secs
lola: STP completed || 66 tries, 65089762 fired transitions, 190 secs || 38568286 markings, 77374608 edges, 177515 markings/sec, 190 secs
lola: STP completed || 67 tries, 66668437 fired transitions, 195 secs || 39449014 markings, 79435646 edges, 176146 markings/sec, 195 secs
lola: STP completed || 69 tries, 68256746 fired transitions, 200 secs || 40358463 markings, 81846496 edges, 181890 markings/sec, 200 secs
lola: STP completed || 70 tries, 69719441 fired transitions, 205 secs || 41472894 markings, 83788793 edges, 222886 markings/sec, 205 secs
lola: STP completed || 71 tries, 70931501 fired transitions, 210 secs || 42350570 markings, 85227223 edges, 175535 markings/sec, 210 secs
lola: STP completed || 73 tries, 72414975 fired transitions, 215 secs || 43279278 markings, 86938728 edges, 185742 markings/sec, 215 secs
lola: STP completed || 74 tries, 73884657 fired transitions, 220 secs || 44125931 markings, 88687352 edges, 169331 markings/sec, 220 secs
lola: STP completed || 76 tries, 75197423 fired transitions, 225 secs || 45043615 markings, 90585206 edges, 183537 markings/sec, 225 secs
lola: STP completed || 77 tries, 76483672 fired transitions, 230 secs || 45825482 markings, 91954122 edges, 156373 markings/sec, 230 secs
lola: STP completed || 78 tries, 77661176 fired transitions, 235 secs || 46659579 markings, 93433687 edges, 166819 markings/sec, 235 secs
lola: STP completed || 80 tries, 79484699 fired transitions, 240 secs || 47525743 markings, 94998595 edges, 173233 markings/sec, 240 secs
lola: STP completed || 81 tries, 80807646 fired transitions, 245 secs || 48501609 markings, 96811110 edges, 195173 markings/sec, 245 secs
lola: STP completed || 83 tries, 82079290 fired transitions, 250 secs || 49443882 markings, 98544891 edges, 188455 markings/sec, 250 secs
lola: STP completed || 84 tries, 83245154 fired transitions, 255 secs || 50324657 markings, 100186600 edges, 176155 markings/sec, 255 secs
lola: STP completed || 85 tries, 84356082 fired transitions, 260 secs || 51202659 markings, 101868659 edges, 175600 markings/sec, 260 secs
lola: STP completed || 86 tries, 85727855 fired transitions, 265 secs || 52163936 markings, 103753414 edges, 192255 markings/sec, 265 secs
lola: STP completed || 88 tries, 87694733 fired transitions, 270 secs || 53023362 markings, 105444473 edges, 171885 markings/sec, 270 secs
lola: STP completed || 90 tries, 89430594 fired transitions, 275 secs || 53944877 markings, 107342707 edges, 184303 markings/sec, 275 secs
lola: STP completed || 91 tries, 90742571 fired transitions, 280 secs || 54865890 markings, 109152639 edges, 184203 markings/sec, 280 secs
lola: STP completed || 93 tries, 92531470 fired transitions, 285 secs || 55736637 markings, 110952277 edges, 174149 markings/sec, 285 secs
lola: STP completed || 95 tries, 94699910 fired transitions, 290 secs || 56749480 markings, 113101366 edges, 202569 markings/sec, 290 secs
lola: STP completed || 96 tries, 95994182 fired transitions, 295 secs || 57553446 markings, 114776856 edges, 160793 markings/sec, 295 secs
lola: STP completed || 99 tries, 98667897 fired transitions, 300 secs || 58465444 markings, 116573314 edges, 182400 markings/sec, 300 secs
lola: STP completed || 102 tries, 101104318 fired transitions, 305 secs || 59693573 markings, 119261273 edges, 245626 markings/sec, 305 secs
lola: STP completed || 103 tries, 102588536 fired transitions, 310 secs || 60658028 markings, 121375185 edges, 192891 markings/sec, 310 secs
lola: STP completed || 105 tries, 104046155 fired transitions, 315 secs || 61658417 markings, 123528657 edges, 200078 markings/sec, 315 secs
lola: STP completed || 106 tries, 105508286 fired transitions, 320 secs || 62712657 markings, 126011495 edges, 210848 markings/sec, 320 secs
lola: STP completed || 108 tries, 107060382 fired transitions, 325 secs || 63746473 markings, 128239194 edges, 206763 markings/sec, 325 secs
lola: STP completed || 109 tries, 108561510 fired transitions, 330 secs || 64643319 markings, 130089270 edges, 179369 markings/sec, 330 secs
lola: STP completed || 111 tries, 110117425 fired transitions, 335 secs || 65606594 markings, 132206435 edges, 192655 markings/sec, 335 secs
lola: STP completed || 112 tries, 111676132 fired transitions, 340 secs || 66523565 markings, 134054271 edges, 183394 markings/sec, 340 secs
lola: STP completed || 114 tries, 113934782 fired transitions, 345 secs || 67388957 markings, 136133897 edges, 173078 markings/sec, 345 secs
lola: STP completed || 116 tries, 115350588 fired transitions, 350 secs || 68356533 markings, 137953284 edges, 193515 markings/sec, 350 secs
lola: STP completed || 117 tries, 116530412 fired transitions, 355 secs || 69192048 markings, 139529630 edges, 167103 markings/sec, 355 secs
lola: STP completed || 118 tries, 117868880 fired transitions, 360 secs || 70037815 markings, 141248174 edges, 169153 markings/sec, 360 secs
lola: STP completed || 120 tries, 119122192 fired transitions, 365 secs || 70858646 markings, 142908372 edges, 164166 markings/sec, 365 secs
lola: STP completed || 121 tries, 120384051 fired transitions, 370 secs || 71645941 markings, 144457051 edges, 157459 markings/sec, 370 secs
lola: STP completed || 122 tries, 121603563 fired transitions, 375 secs || 72471087 markings, 146001911 edges, 165029 markings/sec, 375 secs
lola: STP completed || 123 tries, 122715258 fired transitions, 380 secs || 73271813 markings, 147588760 edges, 160145 markings/sec, 380 secs
lola: STP completed || 125 tries, 124039533 fired transitions, 385 secs || 74116455 markings, 149403047 edges, 168928 markings/sec, 385 secs
lola: STP completed || 126 tries, 125537240 fired transitions, 390 secs || 75018673 markings, 151222034 edges, 180444 markings/sec, 390 secs
lola: STP completed || 127 tries, 126735877 fired transitions, 395 secs || 75791070 markings, 152728494 edges, 154479 markings/sec, 395 secs
lola: STP completed || 129 tries, 128000699 fired transitions, 400 secs || 76567339 markings, 154260463 edges, 155254 markings/sec, 400 secs
lola: STP completed || 130 tries, 129326299 fired transitions, 405 secs || 77399288 markings, 155984864 edges, 166390 markings/sec, 405 secs
lola: STP completed || 132 tries, 131179919 fired transitions, 410 secs || 78229783 markings, 157723921 edges, 166099 markings/sec, 410 secs
lola: STP completed || 133 tries, 132369875 fired transitions, 415 secs || 79079269 markings, 159674146 edges, 169897 markings/sec, 415 secs
lola: STP completed || 135 tries, 134391144 fired transitions, 420 secs || 79784083 markings, 161540851 edges, 140963 markings/sec, 420 secs
lola: STP completed || 136 tries, 135783013 fired transitions, 425 secs || 80566444 markings, 163657829 edges, 156472 markings/sec, 425 secs
lola: STP completed || 138 tries, 137699323 fired transitions, 430 secs || 81402643 markings, 165672800 edges, 167240 markings/sec, 430 secs
lola: STP completed || 140 tries, 139802418 fired transitions, 435 secs || 82227658 markings, 167016986 edges, 165003 markings/sec, 435 secs
lola: STP completed || 142 tries, 141494740 fired transitions, 440 secs || 83040985 markings, 168451635 edges, 162665 markings/sec, 440 secs
lola: STP completed || 144 tries, 143043244 fired transitions, 445 secs || 83859419 markings, 169939969 edges, 163687 markings/sec, 445 secs
lola: STP completed || 145 tries, 144593936 fired transitions, 450 secs || 84685359 markings, 171485000 edges, 165188 markings/sec, 450 secs
lola: STP completed || 147 tries, 146147939 fired transitions, 455 secs || 85507564 markings, 173044502 edges, 164441 markings/sec, 455 secs
lola: STP completed || 148 tries, 147709853 fired transitions, 460 secs || 86332101 markings, 174637799 edges, 164907 markings/sec, 460 secs
lola: STP completed || 150 tries, 149961334 fired transitions, 465 secs || 87183379 markings, 176300605 edges, 170256 markings/sec, 465 secs
lola: STP completed || 153 tries, 152937180 fired transitions, 470 secs || 88027551 markings, 177948224 edges, 168834 markings/sec, 470 secs
lola: STP completed || 155 tries, 154500475 fired transitions, 475 secs || 88874389 markings, 179636015 edges, 169368 markings/sec, 475 secs
lola: STP completed || 157 tries, 156751025 fired transitions, 480 secs || 89752312 markings, 181395120 edges, 175585 markings/sec, 480 secs
lola: STP completed || 160 tries, 159081981 fired transitions, 485 secs || 90607881 markings, 183104502 edges, 171114 markings/sec, 485 secs
lola: STP completed || 162 tries, 161230917 fired transitions, 490 secs || 91670249 markings, 185409685 edges, 212474 markings/sec, 490 secs
lola: STP completed || 163 tries, 162747489 fired transitions, 495 secs || 92775571 markings, 187867987 edges, 221064 markings/sec, 495 secs
lola: STP completed || 166 tries, 165024053 fired transitions, 500 secs || 93645832 markings, 189620276 edges, 174052 markings/sec, 500 secs
lola: STP completed || 167 tries, 166591700 fired transitions, 505 secs || 94516344 markings, 191397829 edges, 174102 markings/sec, 505 secs
lola: STP completed || 169 tries, 168840596 fired transitions, 510 secs || 95403697 markings, 193267365 edges, 177471 markings/sec, 510 secs
lola: STP completed || 171 tries, 170403515 fired transitions, 515 secs || 96303105 markings, 195150072 edges, 179882 markings/sec, 515 secs
lola: STP completed || 173 tries, 172302857 fired transitions, 520 secs || 97193719 markings, 197072560 edges, 178123 markings/sec, 520 secs
lola: STP completed || 174 tries, 173857764 fired transitions, 525 secs || 98077065 markings, 198969853 edges, 176669 markings/sec, 525 secs
lola: STP completed || 176 tries, 175632757 fired transitions, 530 secs || 98950172 markings, 200810124 edges, 174621 markings/sec, 530 secs
lola: STP completed || 178 tries, 177963833 fired transitions, 535 secs || 99883367 markings, 202912836 edges, 186639 markings/sec, 535 secs
lola: STP completed || 181 tries, 180204717 fired transitions, 540 secs || 100896429 markings, 205151659 edges, 202612 markings/sec, 540 secs
lola: STP completed || 182 tries, 181763190 fired transitions, 545 secs || 101769739 markings, 207150515 edges, 174662 markings/sec, 545 secs
lola: STP completed || 185 tries, 184014273 fired transitions, 550 secs || 102671141 markings, 209125441 edges, 180280 markings/sec, 550 secs
lola: STP completed || 187 tries, 186242677 fired transitions, 555 secs || 103647121 markings, 211312586 edges, 195196 markings/sec, 555 secs
lola: STP completed || 188 tries, 187803715 fired transitions, 560 secs || 104498786 markings, 213138991 edges, 170333 markings/sec, 560 secs
lola: STP completed || 190 tries, 189373404 fired transitions, 565 secs || 105320327 markings, 214842534 edges, 164308 markings/sec, 565 secs
lola: STP completed || 191 tries, 190936495 fired transitions, 570 secs || 106137903 markings, 216503278 edges, 163515 markings/sec, 570 secs
lola: STP completed || 193 tries, 192502661 fired transitions, 575 secs || 106968571 markings, 218280460 edges, 166134 markings/sec, 575 secs
lola: STP completed || 195 tries, 194202706 fired transitions, 580 secs || 107921921 markings, 220427610 edges, 190670 markings/sec, 580 secs
lola: STP completed || 197 tries, 196616043 fired transitions, 585 secs || 108903046 markings, 222672002 edges, 196225 markings/sec, 585 secs
lola: STP completed || 199 tries, 198163393 fired transitions, 590 secs || 109889972 markings, 224934389 edges, 197385 markings/sec, 590 secs
lola: STP completed || 201 tries, 200418644 fired transitions, 595 secs || 110871240 markings, 227156282 edges, 196254 markings/sec, 595 secs
lola: STP completed || 202 tries, 201947961 fired transitions, 600 secs || 111924612 markings, 229435944 edges, 210674 markings/sec, 600 secs
lola: STP completed || 205 tries, 204199774 fired transitions, 605 secs || 112789755 markings, 231202841 edges, 173029 markings/sec, 605 secs
lola: STP completed || 206 tries, 205769375 fired transitions, 610 secs || 113594808 markings, 232920871 edges, 161011 markings/sec, 610 secs
lola: STP completed || 208 tries, 207338733 fired transitions, 615 secs || 114399590 markings, 234593168 edges, 160956 markings/sec, 615 secs
lola: STP completed || 209 tries, 208917971 fired transitions, 620 secs || 115194256 markings, 236381317 edges, 158933 markings/sec, 620 secs
lola: STP completed || 212 tries, 211912659 fired transitions, 625 secs || 116001392 markings, 238476164 edges, 161427 markings/sec, 625 secs
lola: STP completed || 214 tries, 213482027 fired transitions, 630 secs || 116889798 markings, 240612435 edges, 177681 markings/sec, 630 secs
lola: STP completed || 216 tries, 215030016 fired transitions, 635 secs || 117898245 markings, 242878528 edges, 201689 markings/sec, 635 secs
lola: STP completed || 217 tries, 216620816 fired transitions, 640 secs || 118685764 markings, 244790443 edges, 157504 markings/sec, 640 secs
lola: STP completed || 219 tries, 218883070 fired transitions, 645 secs || 119545572 markings, 246608887 edges, 171962 markings/sec, 645 secs
lola: STP completed || 222 tries, 221152234 fired transitions, 650 secs || 120387351 markings, 248371146 edges, 168356 markings/sec, 650 secs
lola: STP completed || 223 tries, 222747794 fired transitions, 655 secs || 121168071 markings, 250384048 edges, 156144 markings/sec, 655 secs
lola: STP completed || 226 tries, 225772081 fired transitions, 660 secs || 121952870 markings, 252318463 edges, 156960 markings/sec, 660 secs
lola: STP completed || 228 tries, 227384756 fired transitions, 665 secs || 122681364 markings, 254332229 edges, 145699 markings/sec, 665 secs
lola: STP completed || 229 tries, 228928571 fired transitions, 670 secs || 123654369 markings, 256691955 edges, 194601 markings/sec, 670 secs
lola: STP completed || 231 tries, 230538293 fired transitions, 675 secs || 124389976 markings, 258749871 edges, 147121 markings/sec, 675 secs
lola: STP completed || 233 tries, 232154826 fired transitions, 680 secs || 125103602 markings, 260886341 edges, 142725 markings/sec, 680 secs
lola: STP completed || 234 tries, 233695812 fired transitions, 685 secs || 125946626 markings, 262439418 edges, 168605 markings/sec, 685 secs
lola: STP completed || 236 tries, 235249968 fired transitions, 690 secs || 126877061 markings, 264273803 edges, 186087 markings/sec, 690 secs
lola: STP completed || 237 tries, 236811310 fired transitions, 695 secs || 127760565 markings, 265955983 edges, 176701 markings/sec, 695 secs
lola: STP completed || 240 tries, 239266942 fired transitions, 700 secs || 128606673 markings, 267654662 edges, 169222 markings/sec, 700 secs
lola: STP completed || 242 tries, 241320347 fired transitions, 705 secs || 129641078 markings, 269951849 edges, 206881 markings/sec, 705 secs
lola: STP completed || 243 tries, 242883380 fired transitions, 710 secs || 130526918 markings, 271659479 edges, 177168 markings/sec, 710 secs
lola: STP completed || 245 tries, 244460185 fired transitions, 715 secs || 131378204 markings, 273440475 edges, 170257 markings/sec, 715 secs
lola: STP completed || 247 tries, 246024456 fired transitions, 720 secs || 132246253 markings, 275283209 edges, 173610 markings/sec, 720 secs
lola: STP completed || 249 tries, 248263406 fired transitions, 725 secs || 133056020 markings, 276735782 edges, 161953 markings/sec, 725 secs
lola: STP completed || 251 tries, 250155935 fired transitions, 730 secs || 133876458 markings, 278258567 edges, 164088 markings/sec, 730 secs
lola: STP completed || 253 tries, 252420661 fired transitions, 735 secs || 134702904 markings, 279812960 edges, 165289 markings/sec, 735 secs
lola: STP completed || 254 tries, 253975037 fired transitions, 740 secs || 135528391 markings, 281393078 edges, 165097 markings/sec, 740 secs
lola: STP completed || 257 tries, 256237880 fired transitions, 745 secs || 136355469 markings, 282981787 edges, 165416 markings/sec, 745 secs
lola: STP completed || 258 tries, 257802442 fired transitions, 750 secs || 137198555 markings, 284631309 edges, 168617 markings/sec, 750 secs
lola: STP completed || 261 tries, 260170597 fired transitions, 755 secs || 138054483 markings, 286316155 edges, 171186 markings/sec, 755 secs
lola: STP completed || 263 tries, 262324481 fired transitions, 760 secs || 138885394 markings, 287955002 edges, 166182 markings/sec, 760 secs
lola: STP completed || 265 tries, 264594395 fired transitions, 765 secs || 139758207 markings, 289690992 edges, 174563 markings/sec, 765 secs
lola: STP completed || 267 tries, 266150623 fired transitions, 770 secs || 140616243 markings, 291417308 edges, 171607 markings/sec, 770 secs
lola: STP completed || 269 tries, 268419337 fired transitions, 775 secs || 141457600 markings, 293123825 edges, 168271 markings/sec, 775 secs
lola: STP completed || 270 tries, 269979122 fired transitions, 780 secs || 142346947 markings, 294987087 edges, 177869 markings/sec, 780 secs
lola: STP completed || 272 tries, 271537099 fired transitions, 785 secs || 143218261 markings, 296816163 edges, 174263 markings/sec, 785 secs
lola: STP completed || 274 tries, 273095143 fired transitions, 790 secs || 144103145 markings, 298714394 edges, 176977 markings/sec, 790 secs
lola: STP completed || 275 tries, 274651784 fired transitions, 795 secs || 144982111 markings, 300620793 edges, 175793 markings/sec, 795 secs
lola: STP completed || 277 tries, 276204068 fired transitions, 800 secs || 145880983 markings, 302509178 edges, 179774 markings/sec, 800 secs
lola: STP completed || 278 tries, 277763591 fired transitions, 805 secs || 146750558 markings, 304447195 edges, 173915 markings/sec, 805 secs
lola: STP completed || 281 tries, 280022950 fired transitions, 810 secs || 147649044 markings, 306521426 edges, 179697 markings/sec, 810 secs
lola: STP completed || 283 tries, 282259298 fired transitions, 815 secs || 148529163 markings, 308424211 edges, 176024 markings/sec, 815 secs
lola: STP completed || 284 tries, 283816676 fired transitions, 820 secs || 149409849 markings, 310487217 edges, 176137 markings/sec, 820 secs
lola: STP completed || 286 tries, 285383900 fired transitions, 825 secs || 150313241 markings, 312492121 edges, 180678 markings/sec, 825 secs
lola: STP completed || 287 tries, 286946607 fired transitions, 830 secs || 151136474 markings, 314142781 edges, 164647 markings/sec, 830 secs
lola: STP completed || 289 tries, 288497495 fired transitions, 835 secs || 151939717 markings, 315709846 edges, 160649 markings/sec, 835 secs
lola: STP completed || 291 tries, 290786405 fired transitions, 840 secs || 152716741 markings, 317415373 edges, 155405 markings/sec, 840 secs
lola: STP completed || 293 tries, 292368530 fired transitions, 845 secs || 153512256 markings, 319288620 edges, 159103 markings/sec, 845 secs
lola: STP completed || 294 tries, 293932104 fired transitions, 850 secs || 154411001 markings, 321287391 edges, 179749 markings/sec, 850 secs
lola: STP completed || 296 tries, 295434591 fired transitions, 855 secs || 155675313 markings, 323968866 edges, 252862 markings/sec, 855 secs
lola: STP completed || 297 tries, 296958088 fired transitions, 860 secs || 156772625 markings, 326472244 edges, 219462 markings/sec, 860 secs
lola: STP completed || 300 tries, 299566319 fired transitions, 865 secs || 157765436 markings, 328775806 edges, 198562 markings/sec, 865 secs
lola: STP completed || 302 tries, 301455961 fired transitions, 870 secs || 158551359 markings, 330633808 edges, 157185 markings/sec, 870 secs
lola: STP completed || 304 tries, 303030672 fired transitions, 875 secs || 159305794 markings, 332207531 edges, 150887 markings/sec, 875 secs
lola: STP completed || 305 tries, 304604760 fired transitions, 880 secs || 160126729 markings, 334083857 edges, 164187 markings/sec, 880 secs
lola: STP completed || 307 tries, 306184331 fired transitions, 885 secs || 160908777 markings, 335962307 edges, 156410 markings/sec, 885 secs
lola: STP completed || 308 tries, 307756807 fired transitions, 890 secs || 161704092 markings, 337678267 edges, 159063 markings/sec, 890 secs
lola: STP completed || 310 tries, 309337562 fired transitions, 895 secs || 162477681 markings, 339438727 edges, 154718 markings/sec, 895 secs
lola: STP completed || 311 tries, 310900942 fired transitions, 900 secs || 163319208 markings, 341213127 edges, 168305 markings/sec, 900 secs
lola: STP completed || 313 tries, 312462475 fired transitions, 905 secs || 164141284 markings, 342907093 edges, 164415 markings/sec, 905 secs
lola: STP completed || 315 tries, 314164386 fired transitions, 910 secs || 164921803 markings, 344698032 edges, 156104 markings/sec, 910 secs
lola: STP completed || 317 tries, 316325323 fired transitions, 915 secs || 165736251 markings, 346540058 edges, 162890 markings/sec, 915 secs
lola: STP completed || 319 tries, 318616016 fired transitions, 920 secs || 166581075 markings, 348315678 edges, 168965 markings/sec, 920 secs
lola: STP completed || 321 tries, 320570536 fired transitions, 925 secs || 167410997 markings, 349963288 edges, 165984 markings/sec, 925 secs
lola: STP completed || 323 tries, 322440521 fired transitions, 930 secs || 168227476 markings, 351786717 edges, 163296 markings/sec, 930 secs
lola: STP completed || 325 tries, 324711299 fired transitions, 935 secs || 169038700 markings, 353568577 edges, 162245 markings/sec, 935 secs
lola: STP completed || 327 tries, 326284480 fired transitions, 940 secs || 169875404 markings, 355581201 edges, 167341 markings/sec, 940 secs
lola: STP completed || 328 tries, 327855740 fired transitions, 945 secs || 170707620 markings, 357448828 edges, 166443 markings/sec, 945 secs
lola: STP completed || 330 tries, 329456327 fired transitions, 950 secs || 171523869 markings, 359594261 edges, 163250 markings/sec, 950 secs
lola: STP completed || 332 tries, 331028033 fired transitions, 955 secs || 172414291 markings, 361759017 edges, 178084 markings/sec, 955 secs
lola: STP completed || 333 tries, 332623059 fired transitions, 960 secs || 173256145 markings, 363866985 edges, 168371 markings/sec, 960 secs
lola: STP completed || 335 tries, 334234623 fired transitions, 965 secs || 174020089 markings, 365910393 edges, 152789 markings/sec, 965 secs
lola: STP completed || 336 tries, 335834736 fired transitions, 970 secs || 174818264 markings, 367889589 edges, 159635 markings/sec, 970 secs
lola: STP completed || 338 tries, 337390116 fired transitions, 975 secs || 175630035 markings, 369544961 edges, 162354 markings/sec, 975 secs
lola: STP completed || 340 tries, 339673454 fired transitions, 980 secs || 176413021 markings, 371254477 edges, 156597 markings/sec, 980 secs
lola: STP completed || 343 tries, 342270487 fired transitions, 985 secs || 177240495 markings, 372981822 edges, 165495 markings/sec, 985 secs
lola: STP completed || 345 tries, 344179659 fired transitions, 990 secs || 178080030 markings, 374829702 edges, 167907 markings/sec, 990 secs
lola: STP completed || 346 tries, 345751185 fired transitions, 995 secs || 178964588 markings, 376999054 edges, 176912 markings/sec, 995 secs
lola: STP completed || 348 tries, 347549460 fired transitions, 1000 secs || 179696604 markings, 379013855 edges, 146403 markings/sec, 1000 secs
lola: STP completed || 350 tries, 349319044 fired transitions, 1005 secs || 180416281 markings, 381111178 edges, 143935 markings/sec, 1005 secs
lola: STP completed || 351 tries, 350875189 fired transitions, 1010 secs || 181365763 markings, 383177777 edges, 189896 markings/sec, 1010 secs
lola: STP completed || 353 tries, 352424139 fired transitions, 1015 secs || 182323575 markings, 385091289 edges, 191562 markings/sec, 1015 secs
lola: STP completed || 355 tries, 354703237 fired transitions, 1020 secs || 183137179 markings, 386648893 edges, 162721 markings/sec, 1020 secs
lola: STP completed || 357 tries, 356913577 fired transitions, 1025 secs || 184003843 markings, 388475304 edges, 173333 markings/sec, 1025 secs
lola: STP completed || 360 tries, 359220170 fired transitions, 1030 secs || 184978869 markings, 390386862 edges, 195005 markings/sec, 1030 secs
lola: STP completed || 361 tries, 360784996 fired transitions, 1035 secs || 185840297 markings, 392080163 edges, 172286 markings/sec, 1035 secs
lola: STP completed || 363 tries, 362352529 fired transitions, 1040 secs || 186673122 markings, 393772688 edges, 166565 markings/sec, 1040 secs
lola: STP completed || 364 tries, 363916279 fired transitions, 1045 secs || 187574567 markings, 395767984 edges, 180289 markings/sec, 1045 secs
lola: STP completed || 366 tries, 365500522 fired transitions, 1050 secs || 188401056 markings, 397738122 edges, 165298 markings/sec, 1050 secs
lola: STP completed || 368 tries, 367093224 fired transitions, 1055 secs || 189194585 markings, 399678298 edges, 158706 markings/sec, 1055 secs
lola: STP completed || 369 tries, 368664716 fired transitions, 1060 secs || 190103106 markings, 401703772 edges, 181704 markings/sec, 1060 secs
lola: STP completed || 371 tries, 370728889 fired transitions, 1065 secs || 191107842 markings, 403619447 edges, 200947 markings/sec, 1065 secs
lola: STP completed || 374 tries, 373882847 fired transitions, 1070 secs || 191930265 markings, 404995403 edges, 164485 markings/sec, 1070 secs
lola: STP completed || 377 tries, 376128993 fired transitions, 1075 secs || 192713538 markings, 406317696 edges, 156655 markings/sec, 1075 secs
lola: STP completed || 380 tries, 379241929 fired transitions, 1080 secs || 193524708 markings, 407750404 edges, 162234 markings/sec, 1080 secs
lola: STP completed || 382 tries, 381343468 fired transitions, 1085 secs || 194330310 markings, 409204504 edges, 161120 markings/sec, 1085 secs
lola: STP completed || 384 tries, 383631421 fired transitions, 1090 secs || 195153042 markings, 410710944 edges, 164546 markings/sec, 1090 secs
lola: STP completed || 386 tries, 385213393 fired transitions, 1095 secs || 195963466 markings, 412197139 edges, 162085 markings/sec, 1095 secs
lola: STP completed || 387 tries, 386782520 fired transitions, 1100 secs || 196803671 markings, 413757010 edges, 168041 markings/sec, 1100 secs
lola: STP completed || 389 tries, 388353166 fired transitions, 1105 secs || 197634206 markings, 415287229 edges, 166107 markings/sec, 1105 secs
lola: STP completed || 390 tries, 389916976 fired transitions, 1110 secs || 198465936 markings, 416836911 edges, 166346 markings/sec, 1110 secs
lola: STP completed || 393 tries, 392173858 fired transitions, 1115 secs || 199303362 markings, 418435824 edges, 167485 markings/sec, 1115 secs
lola: STP completed || 394 tries, 393732761 fired transitions, 1120 secs || 200164447 markings, 420118327 edges, 172217 markings/sec, 1120 secs
lola: STP completed || 396 tries, 395301114 fired transitions, 1125 secs || 201042239 markings, 421869241 edges, 175558 markings/sec, 1125 secs
lola: STP completed || 397 tries, 396867952 fired transitions, 1130 secs || 201915717 markings, 423625794 edges, 174696 markings/sec, 1130 secs
lola: STP completed || 400 tries, 399808209 fired transitions, 1135 secs || 202816227 markings, 425451625 edges, 180102 markings/sec, 1135 secs
lola: STP completed || 402 tries, 401373051 fired transitions, 1140 secs || 203652238 markings, 427179766 edges, 167202 markings/sec, 1140 secs
lola: STP completed || 403 tries, 402773989 fired transitions, 1145 secs || 204509346 markings, 429075994 edges, 171422 markings/sec, 1145 secs
Killed
FORMULA PaceMaker-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 1494647349828

--------------------
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="PaceMaker-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/PaceMaker-PT-none.tgz
mv PaceMaker-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 PaceMaker-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 r038-blw7-149440484900305"
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 ;