fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r128-smll-149441681300224
Last Updated
June 27, 2017

About the Execution of LoLA for S_Philosophers-PT-010000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15952.620 1592462.00 3307568.00 5138.80 ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_Philosophers-PT-010000, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681300224
=====================================================================


--------------------
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 Philosophers-COL-010000-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496341891555


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


checking for too many tokens
===========================================================================================
S_Philosophers-PT-010000: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_Philosophers-PT-010000 @ 3539 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: 100000/65536 symbol table entries, 60249 collisions
lola: preprocessing...
lola: finding significant places
lola: 50000 places, 50000 transitions, 30000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 70000 transition conflict sets
lola: TASK
lola: reading formula from Philosophers-COL-010000-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 120000 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: 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: STP: formula with 1200002 variables and 3630004 clauses shipped to Minisat
lola: STP running || 1 tries, 2231 fired transitions, 0 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 4524 fired transitions, 5 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 6824 fired transitions, 10 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 9176 fired transitions, 15 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 15 secs
lola: STP running || 1 tries, 11535 fired transitions, 20 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 20 secs
lola: STP running || 1 tries, 13774 fired transitions, 25 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 25 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 15415 fired transitions, 30 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 30 secs
lola: STP completed || 1 tries, 17060 fired transitions, 35 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 35 secs
lola: STP completed || 1 tries, 20612 fired transitions, 40 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 40 secs
lola: STP completed || 1 tries, 23379 fired transitions, 45 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 45 secs
lola: STP completed || 1 tries, 25078 fired transitions, 50 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 50 secs
lola: STP completed || 1 tries, 26669 fired transitions, 55 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 55 secs
lola: STP completed || 1 tries, 28254 fired transitions, 60 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 60 secs
lola: STP completed || 1 tries, 29792 fired transitions, 65 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 65 secs
lola: STP completed || 1 tries, 31564 fired transitions, 70 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 70 secs
lola: STP completed || 1 tries, 33751 fired transitions, 75 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 75 secs
lola: STP completed || 1 tries, 36162 fired transitions, 80 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 80 secs
lola: STP completed || 1 tries, 38912 fired transitions, 85 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 85 secs
lola: STP completed || 1 tries, 44518 fired transitions, 90 secs
lola: 1 generators; 9999 candidates remain ( 0%), 90 secs
lola: STP completed || 1 tries, 50732 fired transitions, 95 secs
lola: 1 generators; 9999 candidates remain ( 0%), 95 secs
lola: STP completed || 1 tries, 57194 fired transitions, 100 secs
lola: 1 generators; 9999 candidates remain ( 0%), 100 secs
lola: STP completed || 1 tries, 63621 fired transitions, 105 secs
lola: 1 generators; 9999 candidates remain ( 0%), 105 secs
lola: STP completed || 1 tries, 70220 fired transitions, 110 secs
lola: 1 generators; 9999 candidates remain ( 0%), 110 secs
lola: STP completed || 1 tries, 76823 fired transitions, 115 secs
lola: 1 generators; 9999 candidates remain ( 0%), 115 secs
lola: STP completed || 1 tries, 83519 fired transitions, 120 secs
lola: 1 generators; 9999 candidates remain ( 0%), 120 secs
lola: STP completed || 1 tries, 90281 fired transitions, 125 secs
lola: 10000 generators; 0 candidates remain (100%), 125 secs
lola: STP completed || 1 tries, 97030 fired transitions, 130 secs
lola: 10000 generators; 0 candidates remain (100%), 130 secs
lola: STP completed || 1 tries, 103762 fired transitions, 135 secs
lola: 10000 generators; 0 candidates remain (100%), 135 secs
lola: STP completed || 1 tries, 110910 fired transitions, 140 secs
lola: 10000 generators; 0 candidates remain (100%), 140 secs
lola: STP completed || 1 tries, 118396 fired transitions, 145 secs
lola: 10000 generators; 0 candidates remain (100%), 145 secs
lola: STP completed || 1 tries, 125508 fired transitions, 150 secs
lola: 10000 generators; 0 candidates remain (100%), 150 secs
lola: 10000 generators; 0 candidates remain (100%), 155 secs
lola: STP completed || 1 tries, 128752 fired transitions, 155 secs
lola: computed 10000 generators (2 in search tree, 9998 by composition)
lola: representing 20000 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 135042 fired transitions, 160 secs || 99 markings, 98 edges, 20 markings/sec, 160 secs
lola: STP completed || 1 tries, 142071 fired transitions, 165 secs || 675 markings, 674 edges, 115 markings/sec, 165 secs
lola: STP completed || 1 tries, 148736 fired transitions, 170 secs || 1232 markings, 1232 edges, 111 markings/sec, 170 secs
lola: STP completed || 1 tries, 155491 fired transitions, 175 secs || 1793 markings, 1792 edges, 112 markings/sec, 175 secs
lola: STP completed || 1 tries, 162128 fired transitions, 180 secs || 2355 markings, 2354 edges, 112 markings/sec, 180 secs
lola: STP completed || 1 tries, 168517 fired transitions, 185 secs || 2914 markings, 2913 edges, 112 markings/sec, 185 secs
lola: STP completed || 1 tries, 174998 fired transitions, 190 secs || 3475 markings, 3475 edges, 112 markings/sec, 190 secs
lola: STP completed || 1 tries, 181477 fired transitions, 195 secs || 4037 markings, 4036 edges, 112 markings/sec, 195 secs
lola: STP completed || 1 tries, 187881 fired transitions, 200 secs || 4596 markings, 4595 edges, 112 markings/sec, 200 secs
lola: STP completed || 1 tries, 194274 fired transitions, 205 secs || 5148 markings, 5147 edges, 110 markings/sec, 205 secs
lola: STP completed || 1 tries, 200820 fired transitions, 210 secs || 5698 markings, 5697 edges, 110 markings/sec, 210 secs
lola: STP completed || 1 tries, 207585 fired transitions, 215 secs || 6247 markings, 6246 edges, 110 markings/sec, 215 secs
lola: STP completed || 1 tries, 214241 fired transitions, 220 secs || 6794 markings, 6793 edges, 109 markings/sec, 220 secs
lola: STP completed || 1 tries, 220540 fired transitions, 225 secs || 7327 markings, 7326 edges, 107 markings/sec, 225 secs
lola: STP completed || 1 tries, 226833 fired transitions, 230 secs || 7849 markings, 7848 edges, 104 markings/sec, 230 secs
lola: STP completed || 1 tries, 233159 fired transitions, 235 secs || 8368 markings, 8367 edges, 104 markings/sec, 235 secs
lola: STP completed || 1 tries, 239399 fired transitions, 240 secs || 8875 markings, 8874 edges, 101 markings/sec, 240 secs
lola: STP completed || 1 tries, 245448 fired transitions, 245 secs || 9374 markings, 9373 edges, 100 markings/sec, 245 secs
lola: STP completed || 1 tries, 251352 fired transitions, 250 secs || 9858 markings, 9858 edges, 97 markings/sec, 250 secs
lola: STP completed || 1 tries, 256987 fired transitions, 255 secs || 10481 markings, 10640 edges, 125 markings/sec, 255 secs
lola: STP completed || 1 tries, 262682 fired transitions, 260 secs || 11163 markings, 11549 edges, 136 markings/sec, 260 secs
lola: STP completed || 1 tries, 268322 fired transitions, 265 secs || 11841 markings, 12455 edges, 136 markings/sec, 265 secs
lola: STP completed || 1 tries, 273809 fired transitions, 270 secs || 12516 markings, 13353 edges, 135 markings/sec, 270 secs
lola: STP completed || 1 tries, 278930 fired transitions, 275 secs || 13188 markings, 14250 edges, 134 markings/sec, 275 secs
lola: STP completed || 1 tries, 283956 fired transitions, 280 secs || 13871 markings, 15161 edges, 137 markings/sec, 280 secs
lola: STP completed || 1 tries, 289064 fired transitions, 285 secs || 14552 markings, 16069 edges, 136 markings/sec, 285 secs
lola: STP completed || 1 tries, 294085 fired transitions, 290 secs || 15225 markings, 16967 edges, 135 markings/sec, 290 secs
lola: STP completed || 1 tries, 299434 fired transitions, 295 secs || 15891 markings, 17854 edges, 133 markings/sec, 295 secs
lola: STP completed || 1 tries, 305082 fired transitions, 300 secs || 16545 markings, 18727 edges, 131 markings/sec, 300 secs
lola: STP completed || 1 tries, 310917 fired transitions, 305 secs || 17192 markings, 19590 edges, 129 markings/sec, 305 secs
lola: STP completed || 1 tries, 316983 fired transitions, 310 secs || 17847 markings, 20463 edges, 131 markings/sec, 310 secs
lola: STP completed || 1 tries, 322832 fired transitions, 315 secs || 18513 markings, 21351 edges, 133 markings/sec, 315 secs
lola: STP completed || 1 tries, 328503 fired transitions, 320 secs || 19172 markings, 22230 edges, 132 markings/sec, 320 secs
lola: STP completed || 1 tries, 334214 fired transitions, 325 secs || 19815 markings, 23088 edges, 129 markings/sec, 325 secs
lola: STP completed || 1 tries, 339928 fired transitions, 330 secs || 20459 markings, 23947 edges, 129 markings/sec, 330 secs
lola: STP completed || 1 tries, 345589 fired transitions, 335 secs || 21093 markings, 24792 edges, 127 markings/sec, 335 secs
lola: STP completed || 1 tries, 351180 fired transitions, 340 secs || 21723 markings, 25632 edges, 126 markings/sec, 340 secs
lola: STP completed || 1 tries, 356979 fired transitions, 345 secs || 22356 markings, 26476 edges, 127 markings/sec, 345 secs
lola: STP completed || 1 tries, 362791 fired transitions, 350 secs || 23004 markings, 27340 edges, 130 markings/sec, 350 secs
lola: STP completed || 1 tries, 368227 fired transitions, 355 secs || 23639 markings, 28188 edges, 127 markings/sec, 355 secs
lola: STP completed || 1 tries, 373775 fired transitions, 360 secs || 24308 markings, 29079 edges, 134 markings/sec, 360 secs
lola: STP completed || 1 tries, 380256 fired transitions, 365 secs || 25092 markings, 30125 edges, 157 markings/sec, 365 secs
lola: STP completed || 1 tries, 386821 fired transitions, 370 secs || 25896 markings, 31197 edges, 161 markings/sec, 370 secs
lola: STP completed || 1 tries, 393318 fired transitions, 375 secs || 26697 markings, 32265 edges, 160 markings/sec, 375 secs
lola: STP completed || 1 tries, 399712 fired transitions, 380 secs || 27468 markings, 33293 edges, 154 markings/sec, 380 secs
lola: STP completed || 1 tries, 405931 fired transitions, 385 secs || 28220 markings, 34296 edges, 150 markings/sec, 385 secs
lola: STP completed || 1 tries, 412182 fired transitions, 390 secs || 28968 markings, 35294 edges, 150 markings/sec, 390 secs
lola: STP completed || 1 tries, 418357 fired transitions, 395 secs || 29755 markings, 36345 edges, 157 markings/sec, 395 secs
lola: STP completed || 1 tries, 424492 fired transitions, 400 secs || 30543 markings, 37394 edges, 158 markings/sec, 400 secs
lola: STP completed || 1 tries, 430607 fired transitions, 405 secs || 31299 markings, 38402 edges, 151 markings/sec, 405 secs
lola: STP completed || 1 tries, 436690 fired transitions, 410 secs || 32016 markings, 39359 edges, 143 markings/sec, 410 secs
lola: STP completed || 1 tries, 442884 fired transitions, 415 secs || 32736 markings, 40319 edges, 144 markings/sec, 415 secs
lola: STP completed || 1 tries, 449086 fired transitions, 420 secs || 33504 markings, 41411 edges, 154 markings/sec, 420 secs
lola: STP completed || 1 tries, 455300 fired transitions, 425 secs || 34277 markings, 42442 edges, 155 markings/sec, 425 secs
lola: STP completed || 1 tries, 461554 fired transitions, 430 secs || 34994 markings, 43398 edges, 143 markings/sec, 430 secs
lola: STP completed || 1 tries, 467810 fired transitions, 435 secs || 35691 markings, 44329 edges, 139 markings/sec, 435 secs
lola: STP completed || 1 tries, 474073 fired transitions, 440 secs || 36387 markings, 45257 edges, 139 markings/sec, 440 secs
lola: STP completed || 1 tries, 480270 fired transitions, 445 secs || 37128 markings, 46335 edges, 148 markings/sec, 445 secs
lola: STP completed || 1 tries, 486424 fired transitions, 450 secs || 37866 markings, 47338 edges, 148 markings/sec, 450 secs
lola: STP completed || 1 tries, 492505 fired transitions, 455 secs || 38578 markings, 48289 edges, 142 markings/sec, 455 secs
lola: STP completed || 1 tries, 498453 fired transitions, 460 secs || 39272 markings, 49215 edges, 139 markings/sec, 460 secs
lola: STP completed || 1 tries, 504467 fired transitions, 465 secs || 39953 markings, 50125 edges, 136 markings/sec, 465 secs
lola: STP completed || 1 tries, 510501 fired transitions, 470 secs || 40638 markings, 51459 edges, 137 markings/sec, 470 secs
lola: STP completed || 1 tries, 516686 fired transitions, 475 secs || 41346 markings, 52877 edges, 142 markings/sec, 475 secs
lola: STP completed || 1 tries, 522767 fired transitions, 480 secs || 42021 markings, 54226 edges, 135 markings/sec, 480 secs
lola: STP completed || 1 tries, 528662 fired transitions, 485 secs || 42671 markings, 55525 edges, 130 markings/sec, 485 secs
lola: STP completed || 1 tries, 534522 fired transitions, 490 secs || 43298 markings, 56780 edges, 125 markings/sec, 490 secs
lola: STP completed || 1 tries, 540543 fired transitions, 495 secs || 43985 markings, 58154 edges, 137 markings/sec, 495 secs
lola: STP completed || 1 tries, 546731 fired transitions, 500 secs || 44714 markings, 59612 edges, 146 markings/sec, 500 secs
lola: STP completed || 1 tries, 552856 fired transitions, 505 secs || 45419 markings, 61022 edges, 141 markings/sec, 505 secs
lola: STP completed || 1 tries, 558923 fired transitions, 510 secs || 46089 markings, 62362 edges, 134 markings/sec, 510 secs
lola: STP completed || 1 tries, 565070 fired transitions, 515 secs || 46719 markings, 63622 edges, 126 markings/sec, 515 secs
lola: STP completed || 1 tries, 571257 fired transitions, 520 secs || 47351 markings, 64886 edges, 126 markings/sec, 520 secs
lola: STP completed || 1 tries, 577458 fired transitions, 525 secs || 48057 markings, 66298 edges, 141 markings/sec, 525 secs
lola: STP completed || 1 tries, 583483 fired transitions, 530 secs || 48786 markings, 67758 edges, 146 markings/sec, 530 secs
lola: STP completed || 1 tries, 589313 fired transitions, 535 secs || 49470 markings, 69124 edges, 137 markings/sec, 535 secs
lola: STP completed || 1 tries, 595042 fired transitions, 540 secs || 50144 markings, 70473 edges, 135 markings/sec, 540 secs
lola: STP completed || 1 tries, 600715 fired transitions, 545 secs || 50801 markings, 71787 edges, 131 markings/sec, 545 secs
lola: STP completed || 1 tries, 606433 fired transitions, 550 secs || 51434 markings, 73053 edges, 127 markings/sec, 550 secs
lola: STP completed || 1 tries, 612229 fired transitions, 555 secs || 52050 markings, 74288 edges, 123 markings/sec, 555 secs
lola: STP completed || 1 tries, 617963 fired transitions, 560 secs || 52740 markings, 75667 edges, 138 markings/sec, 560 secs
lola: STP completed || 1 tries, 623477 fired transitions, 565 secs || 53420 markings, 77026 edges, 136 markings/sec, 565 secs
lola: STP completed || 1 tries, 628929 fired transitions, 570 secs || 54071 markings, 78327 edges, 130 markings/sec, 570 secs
lola: STP completed || 1 tries, 634394 fired transitions, 575 secs || 54699 markings, 79584 edges, 126 markings/sec, 575 secs
lola: STP completed || 1 tries, 639938 fired transitions, 580 secs || 55310 markings, 80805 edges, 122 markings/sec, 580 secs
lola: STP completed || 1 tries, 645835 fired transitions, 585 secs || 56027 markings, 82239 edges, 143 markings/sec, 585 secs
lola: STP completed || 1 tries, 651610 fired transitions, 590 secs || 56741 markings, 83667 edges, 143 markings/sec, 590 secs
lola: STP completed || 1 tries, 657215 fired transitions, 595 secs || 57414 markings, 85012 edges, 135 markings/sec, 595 secs
lola: STP completed || 1 tries, 662741 fired transitions, 600 secs || 58064 markings, 86310 edges, 130 markings/sec, 600 secs
lola: STP completed || 1 tries, 668157 fired transitions, 605 secs || 58694 markings, 87572 edges, 126 markings/sec, 605 secs
lola: STP completed || 1 tries, 673639 fired transitions, 610 secs || 59394 markings, 88973 edges, 140 markings/sec, 610 secs
lola: STP completed || 1 tries, 679123 fired transitions, 615 secs || 60107 markings, 90398 edges, 143 markings/sec, 615 secs
lola: STP completed || 1 tries, 684628 fired transitions, 620 secs || 60813 markings, 91809 edges, 141 markings/sec, 620 secs
lola: STP completed || 1 tries, 690102 fired transitions, 625 secs || 61467 markings, 93117 edges, 131 markings/sec, 625 secs
lola: STP completed || 1 tries, 695580 fired transitions, 630 secs || 62081 markings, 94346 edges, 123 markings/sec, 630 secs
lola: STP completed || 1 tries, 700942 fired transitions, 635 secs || 62707 markings, 95601 edges, 125 markings/sec, 635 secs
lola: STP completed || 1 tries, 706503 fired transitions, 640 secs || 63416 markings, 97080 edges, 142 markings/sec, 640 secs
lola: STP completed || 1 tries, 712029 fired transitions, 645 secs || 64130 markings, 98507 edges, 143 markings/sec, 645 secs
lola: STP completed || 1 tries, 717370 fired transitions, 650 secs || 64793 markings, 99832 edges, 133 markings/sec, 650 secs
lola: STP completed || 1 tries, 722622 fired transitions, 655 secs || 65420 markings, 101087 edges, 125 markings/sec, 655 secs
lola: STP completed || 1 tries, 727947 fired transitions, 660 secs || 66032 markings, 102312 edges, 122 markings/sec, 660 secs
lola: STP completed || 1 tries, 733278 fired transitions, 665 secs || 66660 markings, 103568 edges, 126 markings/sec, 665 secs
lola: STP completed || 1 tries, 738730 fired transitions, 670 secs || 67371 markings, 105095 edges, 142 markings/sec, 670 secs
lola: STP completed || 1 tries, 744020 fired transitions, 675 secs || 68051 markings, 106454 edges, 136 markings/sec, 675 secs
lola: STP completed || 1 tries, 749259 fired transitions, 680 secs || 68702 markings, 107756 edges, 130 markings/sec, 680 secs
lola: STP completed || 1 tries, 754437 fired transitions, 685 secs || 69350 markings, 109053 edges, 130 markings/sec, 685 secs
lola: STP completed || 1 tries, 759563 fired transitions, 690 secs || 69966 markings, 110286 edges, 123 markings/sec, 690 secs
lola: STP completed || 1 tries, 763852 fired transitions, 695 secs || 76029 markings, 116386 edges, 1213 markings/sec, 695 secs
lola: STP completed || 1 tries, 767563 fired transitions, 700 secs || 79948 markings, 120305 edges, 784 markings/sec, 700 secs
lola: STP completed || 1 tries, 772164 fired transitions, 705 secs || 82500 markings, 122857 edges, 510 markings/sec, 705 secs
lola: STP completed || 1 tries, 777187 fired transitions, 710 secs || 84763 markings, 125121 edges, 453 markings/sec, 710 secs
lola: STP completed || 1 tries, 782489 fired transitions, 715 secs || 86749 markings, 127107 edges, 397 markings/sec, 715 secs
lola: STP completed || 1 tries, 787848 fired transitions, 720 secs || 88626 markings, 128984 edges, 375 markings/sec, 720 secs
lola: STP completed || 1 tries, 793218 fired transitions, 725 secs || 90500 markings, 130858 edges, 375 markings/sec, 725 secs
lola: STP completed || 1 tries, 798551 fired transitions, 730 secs || 91999 markings, 132357 edges, 300 markings/sec, 730 secs
lola: STP completed || 1 tries, 804057 fired transitions, 735 secs || 93640 markings, 133998 edges, 328 markings/sec, 735 secs
lola: STP completed || 1 tries, 809627 fired transitions, 740 secs || 94988 markings, 135346 edges, 270 markings/sec, 740 secs
lola: STP completed || 1 tries, 815203 fired transitions, 745 secs || 96325 markings, 136682 edges, 267 markings/sec, 745 secs
lola: STP completed || 1 tries, 820747 fired transitions, 750 secs || 97043 markings, 137400 edges, 144 markings/sec, 750 secs
lola: STP completed || 1 tries, 826318 fired transitions, 755 secs || 97735 markings, 138092 edges, 138 markings/sec, 755 secs
lola: STP completed || 1 tries, 831938 fired transitions, 760 secs || 98389 markings, 138746 edges, 131 markings/sec, 760 secs
lola: STP completed || 1 tries, 837619 fired transitions, 765 secs || 99043 markings, 139400 edges, 131 markings/sec, 765 secs
lola: STP completed || 1 tries, 843418 fired transitions, 770 secs || 99674 markings, 140031 edges, 126 markings/sec, 770 secs
lola: STP completed || 1 tries, 849119 fired transitions, 775 secs || 102913 markings, 143271 edges, 648 markings/sec, 775 secs
lola: STP completed || 1 tries, 854351 fired transitions, 780 secs || 108362 markings, 148720 edges, 1090 markings/sec, 780 secs
lola: STP completed || 1 tries, 859795 fired transitions, 785 secs || 112051 markings, 152409 edges, 738 markings/sec, 785 secs
lola: STP completed || 1 tries, 865231 fired transitions, 790 secs || 115016 markings, 155373 edges, 593 markings/sec, 790 secs
lola: STP completed || 1 tries, 870571 fired transitions, 795 secs || 117543 markings, 157900 edges, 505 markings/sec, 795 secs
lola: STP completed || 1 tries, 875942 fired transitions, 800 secs || 119677 markings, 160034 edges, 427 markings/sec, 800 secs
lola: STP completed || 1 tries, 881503 fired transitions, 805 secs || 121702 markings, 162059 edges, 405 markings/sec, 805 secs
lola: STP completed || 1 tries, 887242 fired transitions, 810 secs || 123469 markings, 163826 edges, 353 markings/sec, 810 secs
lola: STP completed || 1 tries, 892929 fired transitions, 815 secs || 124150 markings, 164507 edges, 136 markings/sec, 815 secs
lola: STP completed || 1 tries, 898574 fired transitions, 820 secs || 124828 markings, 165185 edges, 136 markings/sec, 820 secs
lola: STP completed || 1 tries, 904133 fired transitions, 825 secs || 125503 markings, 165860 edges, 135 markings/sec, 825 secs
lola: STP completed || 1 tries, 909649 fired transitions, 830 secs || 126176 markings, 166533 edges, 135 markings/sec, 830 secs
lola: STP completed || 1 tries, 915247 fired transitions, 835 secs || 126845 markings, 167202 edges, 134 markings/sec, 835 secs
lola: STP completed || 1 tries, 920926 fired transitions, 840 secs || 127516 markings, 167873 edges, 134 markings/sec, 840 secs
lola: STP completed || 1 tries, 926596 fired transitions, 845 secs || 128186 markings, 168543 edges, 134 markings/sec, 845 secs
lola: STP completed || 1 tries, 932236 fired transitions, 850 secs || 128844 markings, 169201 edges, 132 markings/sec, 850 secs
lola: STP completed || 1 tries, 938013 fired transitions, 855 secs || 129466 markings, 169823 edges, 124 markings/sec, 855 secs
lola: STP completed || 1 tries, 943833 fired transitions, 860 secs || 130031 markings, 170411 edges, 113 markings/sec, 860 secs
lola: STP completed || 1 tries, 949537 fired transitions, 865 secs || 130795 markings, 171430 edges, 153 markings/sec, 865 secs
lola: STP completed || 1 tries, 955172 fired transitions, 870 secs || 131560 markings, 172450 edges, 153 markings/sec, 870 secs
lola: STP completed || 1 tries, 960661 fired transitions, 875 secs || 132290 markings, 173423 edges, 146 markings/sec, 875 secs
lola: STP completed || 1 tries, 966050 fired transitions, 880 secs || 133000 markings, 174371 edges, 142 markings/sec, 880 secs
lola: STP completed || 1 tries, 971532 fired transitions, 885 secs || 133726 markings, 175339 edges, 145 markings/sec, 885 secs
lola: STP completed || 1 tries, 977151 fired transitions, 890 secs || 134509 markings, 176383 edges, 157 markings/sec, 890 secs
lola: STP completed || 1 tries, 982684 fired transitions, 895 secs || 135283 markings, 177415 edges, 155 markings/sec, 895 secs
lola: STP completed || 1 tries, 988262 fired transitions, 900 secs || 136019 markings, 178396 edges, 147 markings/sec, 900 secs
lola: STP completed || 1 tries, 993955 fired transitions, 905 secs || 136733 markings, 179349 edges, 143 markings/sec, 905 secs
lola: STP completed || 1 tries, 999667 fired transitions, 910 secs || 137443 markings, 180296 edges, 142 markings/sec, 910 secs
lola: STP completed || 2 tries, 1001343 fired transitions, 915 secs || 138161 markings, 181253 edges, 144 markings/sec, 915 secs
lola: STP completed || 2 tries, 1002781 fired transitions, 920 secs || 138881 markings, 182214 edges, 144 markings/sec, 920 secs
lola: STP completed || 2 tries, 1004224 fired transitions, 925 secs || 139564 markings, 183124 edges, 137 markings/sec, 925 secs
lola: STP completed || 2 tries, 1005685 fired transitions, 930 secs || 140251 markings, 184041 edges, 137 markings/sec, 930 secs
lola: STP completed || 2 tries, 1007148 fired transitions, 935 secs || 140920 markings, 184934 edges, 134 markings/sec, 935 secs
lola: STP completed || 2 tries, 1008612 fired transitions, 940 secs || 141580 markings, 185813 edges, 132 markings/sec, 940 secs
lola: STP completed || 2 tries, 1010037 fired transitions, 945 secs || 142237 markings, 186694 edges, 131 markings/sec, 945 secs
lola: STP completed || 2 tries, 1011410 fired transitions, 950 secs || 142940 markings, 187630 edges, 141 markings/sec, 950 secs
lola: STP completed || 2 tries, 1012721 fired transitions, 955 secs || 143608 markings, 188522 edges, 134 markings/sec, 955 secs
lola: STP completed || 2 tries, 1014020 fired transitions, 960 secs || 144262 markings, 189393 edges, 131 markings/sec, 960 secs
lola: STP completed || 2 tries, 1015319 fired transitions, 965 secs || 144910 markings, 190260 edges, 130 markings/sec, 965 secs
lola: STP completed || 2 tries, 1016617 fired transitions, 970 secs || 145579 markings, 191211 edges, 134 markings/sec, 970 secs
lola: STP completed || 2 tries, 1017928 fired transitions, 975 secs || 146296 markings, 192167 edges, 143 markings/sec, 975 secs
lola: STP completed || 2 tries, 1019238 fired transitions, 980 secs || 146993 markings, 193096 edges, 139 markings/sec, 980 secs
lola: STP completed || 2 tries, 1020571 fired transitions, 985 secs || 147661 markings, 193987 edges, 134 markings/sec, 985 secs
lola: STP completed || 2 tries, 1021869 fired transitions, 990 secs || 148310 markings, 194853 edges, 130 markings/sec, 990 secs
lola: STP completed || 2 tries, 1023165 fired transitions, 995 secs || 148967 markings, 195737 edges, 131 markings/sec, 995 secs
lola: STP completed || 2 tries, 1024474 fired transitions, 1000 secs || 149672 markings, 196717 edges, 141 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1025779 fired transitions, 1005 secs || 150386 markings, 197671 edges, 143 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1027085 fired transitions, 1010 secs || 151075 markings, 198588 edges, 138 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1028377 fired transitions, 1015 secs || 151726 markings, 199458 edges, 130 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1029667 fired transitions, 1020 secs || 152371 markings, 200317 edges, 129 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1030970 fired transitions, 1025 secs || 153046 markings, 201238 edges, 135 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1032267 fired transitions, 1030 secs || 153746 markings, 202188 edges, 140 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1033573 fired transitions, 1035 secs || 154447 markings, 203121 edges, 140 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1034860 fired transitions, 1040 secs || 155093 markings, 203982 edges, 129 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1036133 fired transitions, 1045 secs || 155731 markings, 204836 edges, 128 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1037401 fired transitions, 1050 secs || 156368 markings, 205684 edges, 127 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1038701 fired transitions, 1055 secs || 157053 markings, 206602 edges, 137 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1040007 fired transitions, 1060 secs || 157744 markings, 207527 edges, 138 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1041319 fired transitions, 1065 secs || 158407 markings, 208410 edges, 133 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1042617 fired transitions, 1070 secs || 159054 markings, 209274 edges, 129 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1043914 fired transitions, 1075 secs || 160006 markings, 210907 edges, 190 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1045203 fired transitions, 1080 secs || 161311 markings, 213316 edges, 261 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1046494 fired transitions, 1085 secs || 162651 markings, 215802 edges, 268 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1047871 fired transitions, 1090 secs || 167924 markings, 221422 edges, 1055 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1049277 fired transitions, 1095 secs || 172883 markings, 226381 edges, 992 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1050885 fired transitions, 1100 secs || 175774 markings, 229272 edges, 578 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1052679 fired transitions, 1105 secs || 178077 markings, 231575 edges, 461 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1054416 fired transitions, 1110 secs || 180060 markings, 233558 edges, 397 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1056050 fired transitions, 1115 secs || 181752 markings, 235250 edges, 338 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1057910 fired transitions, 1120 secs || 183448 markings, 236946 edges, 339 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1059599 fired transitions, 1125 secs || 184848 markings, 238346 edges, 280 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1061301 fired transitions, 1130 secs || 186260 markings, 239758 edges, 282 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1063147 fired transitions, 1135 secs || 187590 markings, 241088 edges, 266 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1065068 fired transitions, 1140 secs || 188756 markings, 242255 edges, 233 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1067150 fired transitions, 1145 secs || 189735 markings, 243234 edges, 196 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1069132 fired transitions, 1150 secs || 190846 markings, 244553 edges, 222 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1070977 fired transitions, 1155 secs || 191705 markings, 245897 edges, 172 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1072774 fired transitions, 1160 secs || 192604 markings, 247396 edges, 180 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1074620 fired transitions, 1165 secs || 193606 markings, 248927 edges, 200 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1076386 fired transitions, 1170 secs || 195149 markings, 250857 edges, 309 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1078349 fired transitions, 1175 secs || 195976 markings, 251749 edges, 165 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1080102 fired transitions, 1180 secs || 196854 markings, 253212 edges, 176 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1081846 fired transitions, 1185 secs || 197725 markings, 254664 edges, 174 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1083565 fired transitions, 1190 secs || 198846 markings, 256338 edges, 224 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1085240 fired transitions, 1195 secs || 200388 markings, 258098 edges, 308 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1087092 fired transitions, 1200 secs || 201118 markings, 259053 edges, 146 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1088795 fired transitions, 1205 secs || 201967 markings, 260468 edges, 170 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1090494 fired transitions, 1210 secs || 202815 markings, 261883 edges, 170 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1092147 fired transitions, 1215 secs || 204305 markings, 263815 edges, 298 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1093913 fired transitions, 1220 secs || 205072 markings, 264844 edges, 153 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1095564 fired transitions, 1225 secs || 205892 markings, 266211 edges, 164 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1097191 fired transitions, 1230 secs || 206705 markings, 267566 edges, 163 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1098817 fired transitions, 1235 secs || 207518 markings, 268874 edges, 163 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1100560 fired transitions, 1240 secs || 208703 markings, 270330 edges, 237 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1102186 fired transitions, 1245 secs || 209514 markings, 271682 edges, 162 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1103783 fired transitions, 1250 secs || 210315 markings, 273017 edges, 160 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1105343 fired transitions, 1255 secs || 211162 markings, 274415 edges, 169 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1106713 fired transitions, 1260 secs || 212774 markings, 276353 edges, 322 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1108073 fired transitions, 1265 secs || 213647 markings, 277516 edges, 175 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1109433 fired transitions, 1270 secs || 215292 markings, 280113 edges, 329 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1110763 fired transitions, 1275 secs || 216091 markings, 281445 edges, 160 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1112099 fired transitions, 1280 secs || 216937 markings, 282731 edges, 169 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1113435 fired transitions, 1285 secs || 219032 markings, 285248 edges, 419 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1114750 fired transitions, 1290 secs || 219676 markings, 286154 edges, 129 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1116055 fired transitions, 1295 secs || 220352 markings, 287281 edges, 135 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1117338 fired transitions, 1300 secs || 220987 markings, 288339 edges, 127 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1118645 fired transitions, 1305 secs || 221632 markings, 289331 edges, 129 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1119949 fired transitions, 1310 secs || 222676 markings, 290593 edges, 209 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1121243 fired transitions, 1315 secs || 223355 markings, 291720 edges, 136 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1122551 fired transitions, 1320 secs || 224018 markings, 292825 edges, 133 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1123838 fired transitions, 1325 secs || 224661 markings, 293897 edges, 129 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1125130 fired transitions, 1330 secs || 225284 markings, 294935 edges, 125 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1126477 fired transitions, 1335 secs || 228214 markings, 298221 edges, 586 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1127989 fired transitions, 1340 secs || 233860 markings, 303867 edges, 1129 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1129459 fired transitions, 1345 secs || 237282 markings, 307289 edges, 684 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1130948 fired transitions, 1350 secs || 239987 markings, 309994 edges, 541 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1132486 fired transitions, 1355 secs || 241996 markings, 312002 edges, 402 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1133966 fired transitions, 1360 secs || 243698 markings, 313704 edges, 340 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1135443 fired transitions, 1365 secs || 245340 markings, 315347 edges, 328 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1136912 fired transitions, 1370 secs || 246990 markings, 316997 edges, 330 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1138375 fired transitions, 1375 secs || 248796 markings, 318802 edges, 361 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1139961 fired transitions, 1380 secs || 249657 markings, 319664 edges, 172 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1141436 fired transitions, 1385 secs || 250313 markings, 320648 edges, 131 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1142641 fired transitions, 1390 secs || 250848 markings, 321720 edges, 107 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1143819 fired transitions, 1395 secs || 251616 markings, 322767 edges, 154 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1144956 fired transitions, 1400 secs || 252945 markings, 324732 edges, 266 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1146069 fired transitions, 1405 secs || 254410 markings, 326930 edges, 293 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1147244 fired transitions, 1410 secs || 255037 markings, 328095 edges, 125 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1148407 fired transitions, 1415 secs || 255691 markings, 329134 edges, 131 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1149566 fired transitions, 1420 secs || 256466 markings, 330167 edges, 155 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1151008 fired transitions, 1425 secs || 257395 markings, 331462 edges, 186 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1152335 fired transitions, 1430 secs || 258912 markings, 333736 edges, 303 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1153876 fired transitions, 1435 secs || 259617 markings, 335041 edges, 141 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1155386 fired transitions, 1440 secs || 260538 markings, 336267 edges, 184 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1156918 fired transitions, 1445 secs || 261469 markings, 337510 edges, 186 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1158452 fired transitions, 1450 secs || 262540 markings, 338988 edges, 214 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1159966 fired transitions, 1455 secs || 265115 markings, 342137 edges, 515 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1161452 fired transitions, 1460 secs || 265775 markings, 342796 edges, 132 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1162948 fired transitions, 1465 secs || 266671 markings, 343988 edges, 179 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1164438 fired transitions, 1470 secs || 268453 markings, 346649 edges, 356 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1165916 fired transitions, 1475 secs || 270647 markings, 349970 edges, 439 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1167392 fired transitions, 1480 secs || 271238 markings, 351152 edges, 118 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1168857 fired transitions, 1485 secs || 271982 markings, 352310 edges, 149 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1170345 fired transitions, 1490 secs || 272927 markings, 353677 edges, 189 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1171819 fired transitions, 1495 secs || 275326 markings, 356554 edges, 480 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1173293 fired transitions, 1500 secs || 275991 markings, 357288 edges, 133 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1174776 fired transitions, 1505 secs || 276833 markings, 358413 edges, 168 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1176258 fired transitions, 1510 secs || 277666 markings, 359543 edges, 167 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1177725 fired transitions, 1515 secs || 280139 markings, 362695 edges, 495 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1178993 fired transitions, 1520 secs || 280786 markings, 363343 edges, 129 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1180052 fired transitions, 1525 secs || 281406 markings, 364136 edges, 124 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1181110 fired transitions, 1530 secs || 282069 markings, 365022 edges, 133 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1182166 fired transitions, 1535 secs || 282741 markings, 365923 edges, 134 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1183175 fired transitions, 1540 secs || 285513 markings, 369380 edges, 554 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1184190 fired transitions, 1545 secs || 285952 markings, 369819 edges, 88 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1185199 fired transitions, 1550 secs || 286569 markings, 370634 edges, 123 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1186210 fired transitions, 1555 secs || 287205 markings, 371482 edges, 127 markings/sec, 1555 secs
lola: STP completed || 2 tries, 1187215 fired transitions, 1560 secs || 287820 markings, 372302 edges, 123 markings/sec, 1560 secs
lola: STP completed || 2 tries, 1188226 fired transitions, 1565 secs || 288420 markings, 373102 edges, 120 markings/sec, 1565 secs
lola: STP completed || 2 tries, 1189235 fired transitions, 1570 secs || 289004 markings, 373883 edges, 117 markings/sec, 1570 secs
lola: STP completed || 2 tries, 1190251 fired transitions, 1575 secs || 289592 markings, 374667 edges, 118 markings/sec, 1575 secs
lola: STP completed || 2 tries, 1191206 fired transitions, 1580 secs || 290136 markings, 375401 edges, 109 markings/sec, 1580 secs
Killed
FORMULA Philosophers-COL-010000-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 1496343484017

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

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_Philosophers-PT-010000"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_Philosophers-PT-010000.tgz
mv S_Philosophers-PT-010000 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Philosophers-PT-010000, 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 r128-smll-149441681300224"
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 ;