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 ProductionCell-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926200188
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494752936855


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityDeadlock @ ProductionCell-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: 310/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 176 places, 134 transitions, 126 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 200 transition conflict sets
lola: TASK
lola: reading formula from ProductionCell-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 16 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: 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 3680 variables and 11446 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 4 tries, 3605186 fired transitions, 0 secs || 1237941 markings, 1923302 edges, 247588 markings/sec, 0 secs
lola: STP completed || 8 tries, 7263040 fired transitions, 5 secs || 2334080 markings, 3822305 edges, 219228 markings/sec, 5 secs
lola: STP completed || 11 tries, 10942227 fired transitions, 10 secs || 3397702 markings, 5720379 edges, 212724 markings/sec, 10 secs
lola: STP completed || 15 tries, 14635954 fired transitions, 15 secs || 4443245 markings, 7612555 edges, 209109 markings/sec, 15 secs
lola: STP completed || 19 tries, 18340163 fired transitions, 20 secs || 5463929 markings, 9504832 edges, 204137 markings/sec, 20 secs
lola: STP completed || 23 tries, 22050001 fired transitions, 25 secs || 6479489 markings, 11396881 edges, 203112 markings/sec, 25 secs
lola: STP completed || 26 tries, 25761314 fired transitions, 30 secs || 7469218 markings, 13296171 edges, 197946 markings/sec, 30 secs
lola: STP completed || 30 tries, 29479377 fired transitions, 35 secs || 8461341 markings, 15206647 edges, 198425 markings/sec, 35 secs
lola: STP completed || 34 tries, 33205842 fired transitions, 40 secs || 9436584 markings, 17109107 edges, 195049 markings/sec, 40 secs
lola: STP completed || 37 tries, 36940045 fired transitions, 45 secs || 10415274 markings, 19025574 edges, 195738 markings/sec, 45 secs
lola: STP completed || 41 tries, 40669238 fired transitions, 50 secs || 11374472 markings, 20946912 edges, 191840 markings/sec, 50 secs
lola: STP completed || 45 tries, 44402414 fired transitions, 55 secs || 12330273 markings, 22858383 edges, 191160 markings/sec, 55 secs
lola: STP completed || 49 tries, 48136940 fired transitions, 60 secs || 13282378 markings, 24794453 edges, 190421 markings/sec, 60 secs
lola: STP completed || 52 tries, 51874533 fired transitions, 65 secs || 14218037 markings, 26714653 edges, 187132 markings/sec, 65 secs
lola: STP completed || 56 tries, 55617616 fired transitions, 70 secs || 15161804 markings, 28644450 edges, 188753 markings/sec, 70 secs
lola: STP completed || 60 tries, 59358994 fired transitions, 75 secs || 16100091 markings, 30586596 edges, 187657 markings/sec, 75 secs
lola: STP completed || 64 tries, 63105807 fired transitions, 80 secs || 17036460 markings, 32523928 edges, 187274 markings/sec, 80 secs
lola: STP completed || 67 tries, 66856542 fired transitions, 85 secs || 17970957 markings, 34458562 edges, 186899 markings/sec, 85 secs
lola: STP completed || 71 tries, 70605343 fired transitions, 90 secs || 18900221 markings, 36380829 edges, 185853 markings/sec, 90 secs
lola: STP completed || 75 tries, 74356755 fired transitions, 95 secs || 19813799 markings, 38326736 edges, 182716 markings/sec, 95 secs
lola: STP completed || 79 tries, 78103114 fired transitions, 100 secs || 20742368 markings, 40284357 edges, 185714 markings/sec, 100 secs
lola: STP completed || 82 tries, 81850848 fired transitions, 105 secs || 21673399 markings, 42232993 edges, 186206 markings/sec, 105 secs
lola: STP completed || 86 tries, 85607683 fired transitions, 110 secs || 22600449 markings, 44176053 edges, 185410 markings/sec, 110 secs
lola: STP completed || 90 tries, 89362585 fired transitions, 115 secs || 23527742 markings, 46115067 edges, 185459 markings/sec, 115 secs
lola: STP completed || 94 tries, 93121112 fired transitions, 120 secs || 24444911 markings, 48056174 edges, 183434 markings/sec, 120 secs
lola: STP completed || 97 tries, 96879113 fired transitions, 125 secs || 25357043 markings, 50012539 edges, 182426 markings/sec, 125 secs
lola: STP completed || 101 tries, 100642273 fired transitions, 130 secs || 26280836 markings, 51971994 edges, 184759 markings/sec, 130 secs
lola: STP completed || 105 tries, 104401579 fired transitions, 135 secs || 27195410 markings, 53924509 edges, 182915 markings/sec, 135 secs
lola: STP completed || 109 tries, 108164099 fired transitions, 140 secs || 28110243 markings, 55866747 edges, 182967 markings/sec, 140 secs
lola: STP completed || 112 tries, 111925179 fired transitions, 145 secs || 29020153 markings, 57827286 edges, 181982 markings/sec, 145 secs
lola: STP completed || 116 tries, 115691067 fired transitions, 150 secs || 29924575 markings, 59803876 edges, 180884 markings/sec, 150 secs
lola: STP completed || 120 tries, 119457376 fired transitions, 155 secs || 30838015 markings, 61777259 edges, 182688 markings/sec, 155 secs
lola: STP completed || 124 tries, 123219771 fired transitions, 160 secs || 31742410 markings, 63734380 edges, 180879 markings/sec, 160 secs
lola: STP completed || 127 tries, 126972101 fired transitions, 165 secs || 32640802 markings, 65710222 edges, 179678 markings/sec, 165 secs
lola: STP completed || 131 tries, 130707476 fired transitions, 170 secs || 33533336 markings, 67714311 edges, 178507 markings/sec, 170 secs
lola: STP completed || 135 tries, 134451716 fired transitions, 175 secs || 34429961 markings, 69641628 edges, 179325 markings/sec, 175 secs
lola: STP completed || 139 tries, 138192287 fired transitions, 180 secs || 35328905 markings, 71576612 edges, 179789 markings/sec, 180 secs
lola: STP completed || 142 tries, 141930663 fired transitions, 185 secs || 36225915 markings, 73522831 edges, 179402 markings/sec, 185 secs
lola: STP completed || 146 tries, 145667718 fired transitions, 190 secs || 37122831 markings, 75480321 edges, 179383 markings/sec, 190 secs
lola: STP completed || 150 tries, 149404890 fired transitions, 195 secs || 38016345 markings, 77435353 edges, 178703 markings/sec, 195 secs
lola: STP completed || 154 tries, 153149729 fired transitions, 200 secs || 38923216 markings, 79376421 edges, 181374 markings/sec, 200 secs
lola: STP completed || 157 tries, 156890597 fired transitions, 205 secs || 39811512 markings, 81313927 edges, 177659 markings/sec, 205 secs
lola: STP completed || 161 tries, 160633150 fired transitions, 210 secs || 40697093 markings, 83244719 edges, 177116 markings/sec, 210 secs
lola: STP completed || 165 tries, 164381942 fired transitions, 215 secs || 41605261 markings, 85186750 edges, 181634 markings/sec, 215 secs
lola: STP completed || 169 tries, 168120945 fired transitions, 220 secs || 42501641 markings, 87127083 edges, 179276 markings/sec, 220 secs
lola: STP completed || 172 tries, 171865943 fired transitions, 225 secs || 43392463 markings, 89079841 edges, 178164 markings/sec, 225 secs
lola: STP completed || 176 tries, 175613792 fired transitions, 230 secs || 44283131 markings, 91015184 edges, 178134 markings/sec, 230 secs
lola: STP completed || 180 tries, 179361360 fired transitions, 235 secs || 45178840 markings, 93017666 edges, 179142 markings/sec, 235 secs
lola: STP completed || 184 tries, 183105569 fired transitions, 240 secs || 46055238 markings, 94961564 edges, 175280 markings/sec, 240 secs
lola: STP completed || 187 tries, 186852987 fired transitions, 245 secs || 46958185 markings, 96933055 edges, 180589 markings/sec, 245 secs
lola: STP completed || 191 tries, 190589119 fired transitions, 250 secs || 47815148 markings, 98873194 edges, 171393 markings/sec, 250 secs
lola: STP completed || 195 tries, 194337779 fired transitions, 255 secs || 48692775 markings, 100794633 edges, 175525 markings/sec, 255 secs
lola: STP completed || 199 tries, 198081695 fired transitions, 260 secs || 49562390 markings, 102741462 edges, 173923 markings/sec, 260 secs
lola: STP completed || 202 tries, 201824157 fired transitions, 265 secs || 50432412 markings, 104700841 edges, 174004 markings/sec, 265 secs
lola: STP completed || 206 tries, 205561588 fired transitions, 270 secs || 51308858 markings, 106647116 edges, 175289 markings/sec, 270 secs
lola: STP completed || 210 tries, 209310942 fired transitions, 275 secs || 52171024 markings, 108679273 edges, 172433 markings/sec, 275 secs
lola: STP completed || 214 tries, 213067559 fired transitions, 280 secs || 53046859 markings, 110651430 edges, 175167 markings/sec, 280 secs
lola: STP completed || 217 tries, 216828413 fired transitions, 285 secs || 53935371 markings, 112645332 edges, 177702 markings/sec, 285 secs
lola: STP completed || 221 tries, 220598749 fired transitions, 290 secs || 54815657 markings, 114637474 edges, 176057 markings/sec, 290 secs
lola: STP completed || 225 tries, 224356386 fired transitions, 295 secs || 55703185 markings, 116665922 edges, 177506 markings/sec, 295 secs
lola: STP completed || 229 tries, 228118060 fired transitions, 300 secs || 56579181 markings, 118663909 edges, 175199 markings/sec, 300 secs
lola: STP completed || 232 tries, 231880189 fired transitions, 305 secs || 57445074 markings, 120610229 edges, 173179 markings/sec, 305 secs
lola: STP completed || 236 tries, 235610636 fired transitions, 310 secs || 58344700 markings, 122689282 edges, 179925 markings/sec, 310 secs
lola: STP completed || 240 tries, 239378240 fired transitions, 315 secs || 59206965 markings, 124660017 edges, 172453 markings/sec, 315 secs
lola: STP completed || 244 tries, 243273448 fired transitions, 320 secs || 60104226 markings, 126647294 edges, 179452 markings/sec, 320 secs
lola: STP completed || 248 tries, 247189281 fired transitions, 325 secs || 60999376 markings, 128665927 edges, 179030 markings/sec, 325 secs
lola: STP completed || 252 tries, 251105249 fired transitions, 330 secs || 61912127 markings, 130682128 edges, 182550 markings/sec, 330 secs
lola: STP completed || 256 tries, 255017707 fired transitions, 335 secs || 62786313 markings, 132715637 edges, 174837 markings/sec, 335 secs
lola: STP completed || 259 tries, 258921400 fired transitions, 340 secs || 63655344 markings, 134734296 edges, 173806 markings/sec, 340 secs
lola: STP completed || 263 tries, 262836552 fired transitions, 345 secs || 64542208 markings, 136767627 edges, 177373 markings/sec, 345 secs
lola: STP completed || 267 tries, 266729220 fired transitions, 350 secs || 65460568 markings, 138839970 edges, 183672 markings/sec, 350 secs
lola: STP completed || 271 tries, 270488715 fired transitions, 355 secs || 66328602 markings, 140791454 edges, 173607 markings/sec, 355 secs
lola: STP completed || 275 tries, 274379079 fired transitions, 360 secs || 67200983 markings, 142787602 edges, 174476 markings/sec, 360 secs
lola: STP completed || 279 tries, 278202948 fired transitions, 365 secs || 68061970 markings, 144744785 edges, 172197 markings/sec, 365 secs
lola: STP completed || 282 tries, 281993449 fired transitions, 370 secs || 68910346 markings, 146828429 edges, 169675 markings/sec, 370 secs
lola: STP completed || 286 tries, 285796369 fired transitions, 375 secs || 69768253 markings, 148833197 edges, 171581 markings/sec, 375 secs
lola: STP completed || 290 tries, 289558024 fired transitions, 380 secs || 70617696 markings, 150785016 edges, 169889 markings/sec, 380 secs
lola: STP completed || 294 tries, 293315909 fired transitions, 385 secs || 71463453 markings, 152717053 edges, 169151 markings/sec, 385 secs
lola: STP completed || 298 tries, 297077784 fired transitions, 390 secs || 72306151 markings, 154654349 edges, 168540 markings/sec, 390 secs
lola: STP completed || 301 tries, 300836222 fired transitions, 395 secs || 73162127 markings, 156625936 edges, 171195 markings/sec, 395 secs
lola: STP completed || 305 tries, 304597173 fired transitions, 400 secs || 74025680 markings, 158589817 edges, 172711 markings/sec, 400 secs
lola: STP completed || 309 tries, 308350364 fired transitions, 405 secs || 74880157 markings, 160557093 edges, 170895 markings/sec, 405 secs
lola: STP completed || 313 tries, 312109371 fired transitions, 410 secs || 75742510 markings, 162495888 edges, 172471 markings/sec, 410 secs
lola: STP completed || 316 tries, 315876339 fired transitions, 415 secs || 76600053 markings, 164455623 edges, 171509 markings/sec, 415 secs
lola: STP completed || 320 tries, 319638942 fired transitions, 420 secs || 77421782 markings, 166411131 edges, 164346 markings/sec, 420 secs
lola: STP completed || 324 tries, 323397264 fired transitions, 425 secs || 78250423 markings, 168386787 edges, 165728 markings/sec, 425 secs
lola: STP completed || 328 tries, 327172050 fired transitions, 430 secs || 79083158 markings, 170374984 edges, 166547 markings/sec, 430 secs
lola: STP completed || 331 tries, 330935593 fired transitions, 435 secs || 79935817 markings, 172350968 edges, 170532 markings/sec, 435 secs
lola: STP completed || 335 tries, 334709236 fired transitions, 440 secs || 80770153 markings, 174311900 edges, 166867 markings/sec, 440 secs
lola: STP completed || 339 tries, 338481786 fired transitions, 445 secs || 81612672 markings, 176257829 edges, 168504 markings/sec, 445 secs
lola: STP completed || 343 tries, 342248805 fired transitions, 450 secs || 82464998 markings, 178222445 edges, 170465 markings/sec, 450 secs
lola: STP completed || 347 tries, 346018381 fired transitions, 455 secs || 83318535 markings, 180252961 edges, 170707 markings/sec, 455 secs
lola: STP completed || 350 tries, 349781805 fired transitions, 460 secs || 84156059 markings, 182206128 edges, 167505 markings/sec, 460 secs
lola: STP completed || 354 tries, 353543558 fired transitions, 465 secs || 85004742 markings, 184173270 edges, 169737 markings/sec, 465 secs
lola: STP completed || 358 tries, 357300837 fired transitions, 470 secs || 85828451 markings, 186113012 edges, 164742 markings/sec, 470 secs
lola: STP completed || 362 tries, 361066926 fired transitions, 475 secs || 86681422 markings, 188068314 edges, 170594 markings/sec, 475 secs
lola: STP completed || 365 tries, 364846168 fired transitions, 480 secs || 87515138 markings, 190016485 edges, 166743 markings/sec, 480 secs
lola: STP completed || 369 tries, 368609345 fired transitions, 485 secs || 88346471 markings, 191967672 edges, 166267 markings/sec, 485 secs
lola: STP completed || 373 tries, 372365367 fired transitions, 490 secs || 89168329 markings, 193895216 edges, 164372 markings/sec, 490 secs
lola: STP completed || 377 tries, 376131926 fired transitions, 495 secs || 90012874 markings, 195888250 edges, 168909 markings/sec, 495 secs
lola: STP completed || 380 tries, 379896384 fired transitions, 500 secs || 90850676 markings, 197898185 edges, 167560 markings/sec, 500 secs
lola: STP completed || 384 tries, 383658645 fired transitions, 505 secs || 91649933 markings, 199870469 edges, 159851 markings/sec, 505 secs
lola: STP completed || 388 tries, 387421586 fired transitions, 510 secs || 92481360 markings, 201933706 edges, 166285 markings/sec, 510 secs
lola: STP completed || 392 tries, 391189120 fired transitions, 515 secs || 93323883 markings, 203870529 edges, 168505 markings/sec, 515 secs
lola: STP completed || 395 tries, 394959496 fired transitions, 520 secs || 94183780 markings, 205862987 edges, 171979 markings/sec, 520 secs
lola: STP completed || 399 tries, 398732524 fired transitions, 525 secs || 95014554 markings, 207803379 edges, 166155 markings/sec, 525 secs
lola: STP completed || 403 tries, 402505470 fired transitions, 530 secs || 95866201 markings, 209775911 edges, 170329 markings/sec, 530 secs
lola: STP completed || 407 tries, 406281803 fired transitions, 535 secs || 96722335 markings, 211726743 edges, 171227 markings/sec, 535 secs
lola: STP completed || 411 tries, 410051584 fired transitions, 540 secs || 97552980 markings, 213663757 edges, 166129 markings/sec, 540 secs
lola: STP completed || 414 tries, 413822552 fired transitions, 545 secs || 98402880 markings, 215612277 edges, 169980 markings/sec, 545 secs
lola: STP completed || 418 tries, 417585000 fired transitions, 550 secs || 99255269 markings, 217608783 edges, 170478 markings/sec, 550 secs
lola: STP completed || 422 tries, 421352567 fired transitions, 555 secs || 100096746 markings, 219538330 edges, 168295 markings/sec, 555 secs
lola: STP completed || 426 tries, 425088059 fired transitions, 560 secs || 100942272 markings, 221601942 edges, 169105 markings/sec, 560 secs
lola: STP completed || 429 tries, 428859631 fired transitions, 565 secs || 101796697 markings, 223604024 edges, 170885 markings/sec, 565 secs
lola: STP completed || 433 tries, 432619917 fired transitions, 570 secs || 102622571 markings, 225578121 edges, 165175 markings/sec, 570 secs
lola: STP completed || 437 tries, 436395184 fired transitions, 575 secs || 103472042 markings, 227527546 edges, 169894 markings/sec, 575 secs
lola: STP completed || 441 tries, 440168579 fired transitions, 580 secs || 104324824 markings, 229475402 edges, 170556 markings/sec, 580 secs
lola: STP completed || 444 tries, 443948291 fired transitions, 585 secs || 105153600 markings, 231463567 edges, 165755 markings/sec, 585 secs
lola: STP completed || 448 tries, 447705976 fired transitions, 590 secs || 105967670 markings, 233440447 edges, 162814 markings/sec, 590 secs
lola: STP completed || 452 tries, 451477751 fired transitions, 595 secs || 106814026 markings, 235384526 edges, 169271 markings/sec, 595 secs
lola: STP completed || 456 tries, 455254204 fired transitions, 600 secs || 107648832 markings, 237328588 edges, 166961 markings/sec, 600 secs
lola: STP completed || 460 tries, 459031898 fired transitions, 605 secs || 108459006 markings, 239311222 edges, 162035 markings/sec, 605 secs
lola: STP completed || 463 tries, 462802844 fired transitions, 610 secs || 109276840 markings, 241221376 edges, 163567 markings/sec, 610 secs
lola: STP completed || 467 tries, 466390847 fired transitions, 615 secs || 110047275 markings, 243011852 edges, 154087 markings/sec, 615 secs
lola: STP completed || 470 tries, 469660484 fired transitions, 620 secs || 110775034 markings, 244711192 edges, 145552 markings/sec, 620 secs
lola: STP completed || 474 tries, 473108940 fired transitions, 625 secs || 111519620 markings, 246484813 edges, 148917 markings/sec, 625 secs
lola: STP completed || 477 tries, 476363286 fired transitions, 630 secs || 112242896 markings, 248146001 edges, 144655 markings/sec, 630 secs
lola: STP completed || 480 tries, 479315312 fired transitions, 635 secs || 112889473 markings, 249760311 edges, 129315 markings/sec, 635 secs
lola: STP completed || 483 tries, 482318962 fired transitions, 640 secs || 113594164 markings, 251376221 edges, 140938 markings/sec, 640 secs
lola: STP completed || 486 tries, 485211542 fired transitions, 645 secs || 114275511 markings, 253031881 edges, 136269 markings/sec, 645 secs
lola: STP completed || 489 tries, 488163252 fired transitions, 650 secs || 114949095 markings, 254707512 edges, 134717 markings/sec, 650 secs
lola: STP completed || 492 tries, 491131590 fired transitions, 655 secs || 115625159 markings, 256372707 edges, 135213 markings/sec, 655 secs
lola: STP completed || 495 tries, 494097400 fired transitions, 660 secs || 116367523 markings, 258033436 edges, 148473 markings/sec, 660 secs
lola: STP completed || 498 tries, 497048775 fired transitions, 665 secs || 117084378 markings, 259704183 edges, 143371 markings/sec, 665 secs
lola: STP completed || 501 tries, 500011350 fired transitions, 670 secs || 117772273 markings, 261312252 edges, 137579 markings/sec, 670 secs
lola: STP completed || 503 tries, 502947130 fired transitions, 675 secs || 118444623 markings, 262917711 edges, 134470 markings/sec, 675 secs
lola: STP completed || 506 tries, 505929120 fired transitions, 680 secs || 119143564 markings, 264529946 edges, 139788 markings/sec, 680 secs
lola: STP completed || 509 tries, 508902236 fired transitions, 685 secs || 119847778 markings, 266142145 edges, 140843 markings/sec, 685 secs
lola: STP completed || 512 tries, 511881869 fired transitions, 690 secs || 120529506 markings, 267740135 edges, 136346 markings/sec, 690 secs
lola: STP completed || 515 tries, 514834826 fired transitions, 695 secs || 121180130 markings, 269302123 edges, 130125 markings/sec, 695 secs
lola: STP completed || 518 tries, 517719364 fired transitions, 700 secs || 121851877 markings, 270922264 edges, 134349 markings/sec, 700 secs
lola: STP completed || 521 tries, 520705402 fired transitions, 705 secs || 122527898 markings, 272476484 edges, 135204 markings/sec, 705 secs
lola: STP completed || 524 tries, 523645563 fired transitions, 710 secs || 123187286 markings, 274080138 edges, 131878 markings/sec, 710 secs
lola: STP completed || 527 tries, 526618345 fired transitions, 715 secs || 123871197 markings, 275640644 edges, 136782 markings/sec, 715 secs
lola: STP completed || 530 tries, 529646635 fired transitions, 720 secs || 124508900 markings, 277343597 edges, 127541 markings/sec, 720 secs
lola: STP completed || 533 tries, 532509210 fired transitions, 725 secs || 125185020 markings, 279119899 edges, 135224 markings/sec, 725 secs
lola: STP completed || 536 tries, 535398127 fired transitions, 730 secs || 125870515 markings, 280798484 edges, 137099 markings/sec, 730 secs
lola: STP completed || 539 tries, 538184134 fired transitions, 735 secs || 126534001 markings, 282514357 edges, 132697 markings/sec, 735 secs
lola: STP completed || 542 tries, 541102846 fired transitions, 740 secs || 127190882 markings, 284179911 edges, 131376 markings/sec, 740 secs
lola: STP completed || 545 tries, 544055645 fired transitions, 745 secs || 127854443 markings, 285775439 edges, 132712 markings/sec, 745 secs
lola: STP completed || 548 tries, 547008414 fired transitions, 750 secs || 128535076 markings, 287370459 edges, 136127 markings/sec, 750 secs
lola: STP completed || 550 tries, 549937550 fired transitions, 755 secs || 129253559 markings, 289032594 edges, 143697 markings/sec, 755 secs
lola: STP completed || 553 tries, 552867658 fired transitions, 760 secs || 129934438 markings, 290660326 edges, 136176 markings/sec, 760 secs
lola: STP completed || 556 tries, 555828403 fired transitions, 765 secs || 130609505 markings, 292235939 edges, 135013 markings/sec, 765 secs
lola: STP completed || 559 tries, 558832501 fired transitions, 770 secs || 131298793 markings, 293892733 edges, 137858 markings/sec, 770 secs
lola: STP completed || 562 tries, 561783161 fired transitions, 775 secs || 131956202 markings, 295485410 edges, 131482 markings/sec, 775 secs
lola: STP completed || 565 tries, 564756140 fired transitions, 780 secs || 132626114 markings, 297060929 edges, 133982 markings/sec, 780 secs
lola: STP completed || 568 tries, 567727946 fired transitions, 785 secs || 133280278 markings, 298626017 edges, 130833 markings/sec, 785 secs
lola: STP completed || 571 tries, 570731784 fired transitions, 790 secs || 133983628 markings, 300256468 edges, 140670 markings/sec, 790 secs
lola: STP completed || 574 tries, 573691278 fired transitions, 795 secs || 134651646 markings, 301838693 edges, 133604 markings/sec, 795 secs
lola: STP completed || 577 tries, 576636350 fired transitions, 800 secs || 135254843 markings, 303365622 edges, 120639 markings/sec, 800 secs
lola: STP completed || 580 tries, 579561004 fired transitions, 805 secs || 135860341 markings, 304917629 edges, 121100 markings/sec, 805 secs
lola: STP completed || 583 tries, 582540802 fired transitions, 810 secs || 136676362 markings, 306654738 edges, 163204 markings/sec, 810 secs
lola: STP completed || 586 tries, 585545211 fired transitions, 815 secs || 137370090 markings, 308329585 edges, 138746 markings/sec, 815 secs
lola: STP completed || 589 tries, 588536500 fired transitions, 820 secs || 138047752 markings, 309909853 edges, 135532 markings/sec, 820 secs
lola: STP completed || 592 tries, 591489053 fired transitions, 825 secs || 138670860 markings, 311486804 edges, 124622 markings/sec, 825 secs
lola: STP completed || 595 tries, 594455721 fired transitions, 830 secs || 139274237 markings, 313046312 edges, 120675 markings/sec, 830 secs
lola: STP completed || 598 tries, 597418074 fired transitions, 835 secs || 139943810 markings, 314667082 edges, 133915 markings/sec, 835 secs
lola: STP completed || 601 tries, 600399081 fired transitions, 840 secs || 140623040 markings, 316303221 edges, 135846 markings/sec, 840 secs
lola: STP completed || 604 tries, 603417686 fired transitions, 845 secs || 141239480 markings, 317848354 edges, 123288 markings/sec, 845 secs
lola: STP completed || 607 tries, 606404707 fired transitions, 850 secs || 141938434 markings, 319418523 edges, 139791 markings/sec, 850 secs
lola: STP completed || 610 tries, 609383484 fired transitions, 855 secs || 142655602 markings, 321023577 edges, 143434 markings/sec, 855 secs
lola: STP completed || 613 tries, 612391554 fired transitions, 860 secs || 143290120 markings, 322565251 edges, 126904 markings/sec, 860 secs
lola: STP completed || 616 tries, 615419055 fired transitions, 865 secs || 143938627 markings, 324129792 edges, 129701 markings/sec, 865 secs
lola: STP completed || 619 tries, 618425540 fired transitions, 870 secs || 144579043 markings, 325694829 edges, 128083 markings/sec, 870 secs
lola: STP completed || 622 tries, 621436511 fired transitions, 875 secs || 145237001 markings, 327287773 edges, 131592 markings/sec, 875 secs
lola: STP completed || 625 tries, 624422203 fired transitions, 880 secs || 145956194 markings, 328865033 edges, 143839 markings/sec, 880 secs
lola: STP completed || 628 tries, 627409492 fired transitions, 885 secs || 146651499 markings, 330423682 edges, 139061 markings/sec, 885 secs
lola: STP completed || 631 tries, 630407524 fired transitions, 890 secs || 147234751 markings, 331962271 edges, 116650 markings/sec, 890 secs
lola: STP completed || 634 tries, 633432478 fired transitions, 895 secs || 147858269 markings, 333486816 edges, 124704 markings/sec, 895 secs
lola: STP completed || 637 tries, 636455347 fired transitions, 900 secs || 148540720 markings, 335066356 edges, 136490 markings/sec, 900 secs
lola: STP completed || 640 tries, 639472305 fired transitions, 905 secs || 149202199 markings, 336620966 edges, 132296 markings/sec, 905 secs
lola: STP completed || 643 tries, 642439934 fired transitions, 910 secs || 149894644 markings, 338191900 edges, 138489 markings/sec, 910 secs
lola: STP completed || 646 tries, 645443845 fired transitions, 915 secs || 150576961 markings, 339760689 edges, 136463 markings/sec, 915 secs
lola: STP completed || 649 tries, 648463656 fired transitions, 920 secs || 151228619 markings, 341328112 edges, 130332 markings/sec, 920 secs
lola: STP completed || 652 tries, 651481442 fired transitions, 925 secs || 151881327 markings, 342865580 edges, 130542 markings/sec, 925 secs
lola: STP completed || 655 tries, 654520632 fired transitions, 930 secs || 152546745 markings, 344406460 edges, 133084 markings/sec, 930 secs
lola: STP completed || 658 tries, 657539227 fired transitions, 935 secs || 153214119 markings, 345963576 edges, 133475 markings/sec, 935 secs
lola: STP completed || 661 tries, 660494461 fired transitions, 940 secs || 153871047 markings, 347529122 edges, 131386 markings/sec, 940 secs
lola: STP completed || 664 tries, 663502922 fired transitions, 945 secs || 154518839 markings, 349097152 edges, 129558 markings/sec, 945 secs
lola: STP completed || 667 tries, 666484804 fired transitions, 950 secs || 155169804 markings, 350651430 edges, 130193 markings/sec, 950 secs
lola: STP completed || 670 tries, 669494351 fired transitions, 955 secs || 155849175 markings, 352206474 edges, 135874 markings/sec, 955 secs
lola: STP completed || 673 tries, 672572427 fired transitions, 960 secs || 156539672 markings, 353775279 edges, 138099 markings/sec, 960 secs
lola: STP completed || 676 tries, 675607920 fired transitions, 965 secs || 157222268 markings, 355333739 edges, 136519 markings/sec, 965 secs
lola: STP completed || 679 tries, 678612575 fired transitions, 970 secs || 157926552 markings, 356967191 edges, 140857 markings/sec, 970 secs
lola: STP completed || 682 tries, 681621233 fired transitions, 975 secs || 158549070 markings, 358524790 edges, 124504 markings/sec, 975 secs
lola: STP completed || 685 tries, 684619590 fired transitions, 980 secs || 159246478 markings, 360145860 edges, 139482 markings/sec, 980 secs
lola: STP completed || 688 tries, 687596541 fired transitions, 985 secs || 159916525 markings, 361754096 edges, 134009 markings/sec, 985 secs
lola: STP completed || 691 tries, 690559737 fired transitions, 990 secs || 160589284 markings, 363398394 edges, 134552 markings/sec, 990 secs
lola: STP completed || 694 tries, 693546436 fired transitions, 995 secs || 161285162 markings, 365030622 edges, 139176 markings/sec, 995 secs
lola: STP completed || 697 tries, 696553474 fired transitions, 1000 secs || 161977828 markings, 366643194 edges, 138533 markings/sec, 1000 secs
lola: STP completed || 700 tries, 699520196 fired transitions, 1005 secs || 162629309 markings, 368216231 edges, 130296 markings/sec, 1005 secs
lola: STP completed || 703 tries, 702488963 fired transitions, 1010 secs || 163392867 markings, 369876778 edges, 152712 markings/sec, 1010 secs
lola: STP completed || 706 tries, 705468236 fired transitions, 1015 secs || 164126963 markings, 371609766 edges, 146819 markings/sec, 1015 secs
lola: STP completed || 709 tries, 708496614 fired transitions, 1020 secs || 164816303 markings, 373311892 edges, 137868 markings/sec, 1020 secs
lola: STP completed || 712 tries, 711449616 fired transitions, 1025 secs || 165452869 markings, 374957919 edges, 127313 markings/sec, 1025 secs
lola: STP completed || 715 tries, 714429351 fired transitions, 1030 secs || 166121469 markings, 376619306 edges, 133720 markings/sec, 1030 secs
lola: STP completed || 718 tries, 717452237 fired transitions, 1035 secs || 166832238 markings, 378234486 edges, 142154 markings/sec, 1035 secs
lola: STP completed || 721 tries, 720375044 fired transitions, 1040 secs || 167436167 markings, 379856911 edges, 120786 markings/sec, 1040 secs
lola: STP completed || 724 tries, 723411930 fired transitions, 1045 secs || 168204474 markings, 381559103 edges, 153661 markings/sec, 1045 secs
lola: STP completed || 727 tries, 726350479 fired transitions, 1050 secs || 168877430 markings, 383162962 edges, 134591 markings/sec, 1050 secs
lola: STP completed || 730 tries, 729355509 fired transitions, 1055 secs || 169598645 markings, 384810133 edges, 144243 markings/sec, 1055 secs
lola: STP completed || 733 tries, 732338083 fired transitions, 1060 secs || 170293785 markings, 386413957 edges, 139028 markings/sec, 1060 secs
lola: STP completed || 736 tries, 735210079 fired transitions, 1065 secs || 170884949 markings, 388100300 edges, 118233 markings/sec, 1065 secs
lola: STP completed || 739 tries, 738210642 fired transitions, 1070 secs || 171574824 markings, 389734680 edges, 137975 markings/sec, 1070 secs
lola: STP completed || 742 tries, 741186782 fired transitions, 1075 secs || 172217153 markings, 391354578 edges, 128466 markings/sec, 1075 secs
lola: STP completed || 745 tries, 744145059 fired transitions, 1080 secs || 172900135 markings, 393044268 edges, 136596 markings/sec, 1080 secs
lola: STP completed || 748 tries, 747133558 fired transitions, 1085 secs || 173617840 markings, 394713604 edges, 143541 markings/sec, 1085 secs
lola: STP completed || 751 tries, 750099523 fired transitions, 1090 secs || 174361766 markings, 396434643 edges, 148785 markings/sec, 1090 secs
lola: STP completed || 753 tries, 752921432 fired transitions, 1095 secs || 175066980 markings, 398093986 edges, 141043 markings/sec, 1095 secs
lola: STP completed || 756 tries, 755847959 fired transitions, 1100 secs || 175690959 markings, 399744382 edges, 124796 markings/sec, 1100 secs
lola: STP completed || 759 tries, 758832223 fired transitions, 1105 secs || 176364838 markings, 401424940 edges, 134776 markings/sec, 1105 secs
lola: STP completed || 762 tries, 761813166 fired transitions, 1110 secs || 177026012 markings, 403030504 edges, 132235 markings/sec, 1110 secs
lola: STP completed || 765 tries, 764805235 fired transitions, 1115 secs || 177707534 markings, 404666058 edges, 136304 markings/sec, 1115 secs
lola: STP completed || 768 tries, 767785320 fired transitions, 1120 secs || 178407679 markings, 406414506 edges, 140029 markings/sec, 1120 secs
lola: STP completed || 771 tries, 770760478 fired transitions, 1125 secs || 179071766 markings, 408049253 edges, 132817 markings/sec, 1125 secs
lola: STP completed || 774 tries, 773760160 fired transitions, 1130 secs || 179730426 markings, 409650225 edges, 131732 markings/sec, 1130 secs
lola: STP completed || 777 tries, 776715276 fired transitions, 1135 secs || 180372298 markings, 411262801 edges, 128374 markings/sec, 1135 secs
lola: STP completed || 780 tries, 779700649 fired transitions, 1140 secs || 181049167 markings, 412860390 edges, 135374 markings/sec, 1140 secs
lola: STP completed || 783 tries, 782783395 fired transitions, 1145 secs || 181860273 markings, 414577113 edges, 162221 markings/sec, 1145 secs
lola: STP completed || 786 tries, 785759102 fired transitions, 1150 secs || 182509064 markings, 416169836 edges, 129758 markings/sec, 1150 secs
lola: STP completed || 789 tries, 788759192 fired transitions, 1155 secs || 183197183 markings, 417803293 edges, 137624 markings/sec, 1155 secs
lola: STP completed || 792 tries, 791724245 fired transitions, 1160 secs || 183830743 markings, 419465734 edges, 126712 markings/sec, 1160 secs
lola: STP completed || 795 tries, 794718514 fired transitions, 1165 secs || 184490759 markings, 421049584 edges, 132003 markings/sec, 1165 secs
lola: STP completed || 798 tries, 797670111 fired transitions, 1170 secs || 185123890 markings, 422637441 edges, 126626 markings/sec, 1170 secs
lola: STP completed || 801 tries, 800658083 fired transitions, 1175 secs || 185796697 markings, 424225059 edges, 134561 markings/sec, 1175 secs
lola: STP completed || 804 tries, 803591277 fired transitions, 1180 secs || 186414087 markings, 425815419 edges, 123478 markings/sec, 1180 secs
lola: STP completed || 807 tries, 806579213 fired transitions, 1185 secs || 187049398 markings, 427410579 edges, 127062 markings/sec, 1185 secs
lola: STP completed || 810 tries, 809580640 fired transitions, 1190 secs || 187738003 markings, 429038389 edges, 137721 markings/sec, 1190 secs
lola: STP completed || 813 tries, 812575603 fired transitions, 1195 secs || 188398302 markings, 430645617 edges, 132060 markings/sec, 1195 secs
lola: STP completed || 816 tries, 815530728 fired transitions, 1200 secs || 189057024 markings, 432321893 edges, 131744 markings/sec, 1200 secs
lola: STP completed || 819 tries, 818479604 fired transitions, 1205 secs || 189719432 markings, 433986211 edges, 132482 markings/sec, 1205 secs
lola: STP completed || 822 tries, 821448609 fired transitions, 1210 secs || 190477114 markings, 435637348 edges, 151536 markings/sec, 1210 secs
lola: STP completed || 825 tries, 824460881 fired transitions, 1215 secs || 191173062 markings, 437243200 edges, 139190 markings/sec, 1215 secs
lola: STP completed || 828 tries, 827481363 fired transitions, 1220 secs || 191866498 markings, 438884976 edges, 138687 markings/sec, 1220 secs
lola: STP completed || 831 tries, 830470120 fired transitions, 1225 secs || 192614552 markings, 440548553 edges, 149611 markings/sec, 1225 secs
lola: STP completed || 834 tries, 833465254 fired transitions, 1230 secs || 193275091 markings, 442152843 edges, 132108 markings/sec, 1230 secs
Killed
FORMULA ProductionCell-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 1494754176758

--------------------
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="ProductionCell-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/ProductionCell-PT-none.tgz
mv ProductionCell-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 ProductionCell-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 r058-smll-149440926200188"
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 ;