About the Execution of LoLA for TCPcondis-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12332.980 | 1895423.00 | 3853344.00 | 4798.10 | F | 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)
..................
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rwxr-xr-x 1 mcc users 24K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is TCPcondis-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743000188
=====================================================================
--------------------
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 TCPcondis-PT-10-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527236634621
info: Time: 3600 - MCC
===========================================================================================
prep: translating TCPcondis-PT-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating TCPcondis-PT-10 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ TCPcondis-PT-10 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 62/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 960
lola: finding significant places
lola: 30 places, 32 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 48 transition conflict sets
lola: TASK
lola: reading formula from TCPcondis-PT-10-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: STP: formula with 748 variables and 2338 clauses shipped to Minisat
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 8 tries, 7865547 fired transitions, 0 secs || 2153860 markings, 3296908 edges, 430772 markings/sec, 0 secs
lola: STP completed || 17 tries, 16327791 fired transitions, 5 secs || 4081420 markings, 6407939 edges, 385512 markings/sec, 5 secs
lola: STP completed || 25 tries, 24833398 fired transitions, 10 secs || 5880231 markings, 9371226 edges, 359762 markings/sec, 10 secs
lola: STP completed || 34 tries, 33363564 fired transitions, 15 secs || 7601584 markings, 12250466 edges, 344271 markings/sec, 15 secs
lola: STP completed || 42 tries, 41906972 fired transitions, 20 secs || 9262479 markings, 15064552 edges, 332179 markings/sec, 20 secs
lola: STP completed || 51 tries, 50455319 fired transitions, 25 secs || 10873891 markings, 17825739 edges, 322282 markings/sec, 25 secs
lola: STP completed || 60 tries, 59027549 fired transitions, 30 secs || 12446924 markings, 20546149 edges, 314607 markings/sec, 30 secs
lola: STP completed || 68 tries, 67614290 fired transitions, 35 secs || 13988556 markings, 23230836 edges, 308326 markings/sec, 35 secs
lola: STP completed || 77 tries, 76215727 fired transitions, 40 secs || 15500502 markings, 25884824 edges, 302389 markings/sec, 40 secs
lola: STP completed || 85 tries, 84821651 fired transitions, 45 secs || 16982176 markings, 28510334 edges, 296335 markings/sec, 45 secs
lola: STP completed || 94 tries, 93441256 fired transitions, 50 secs || 18441902 markings, 31103530 edges, 291945 markings/sec, 50 secs
lola: STP completed || 103 tries, 102063931 fired transitions, 55 secs || 19881078 markings, 33675246 edges, 287835 markings/sec, 55 secs
lola: STP completed || 111 tries, 110681897 fired transitions, 60 secs || 21300051 markings, 36220663 edges, 283795 markings/sec, 60 secs
lola: STP completed || 120 tries, 119309360 fired transitions, 65 secs || 22698146 markings, 38741323 edges, 279619 markings/sec, 65 secs
lola: STP completed || 128 tries, 127936355 fired transitions, 70 secs || 24080725 markings, 41245283 edges, 276516 markings/sec, 70 secs
lola: STP completed || 137 tries, 136577050 fired transitions, 75 secs || 25446279 markings, 43731548 edges, 273111 markings/sec, 75 secs
lola: STP completed || 146 tries, 145218422 fired transitions, 80 secs || 26793283 markings, 46202536 edges, 269401 markings/sec, 80 secs
lola: STP completed || 154 tries, 153861478 fired transitions, 85 secs || 28129997 markings, 48655896 edges, 267343 markings/sec, 85 secs
lola: STP completed || 163 tries, 162514891 fired transitions, 90 secs || 29452267 markings, 51087187 edges, 264454 markings/sec, 90 secs
lola: STP completed || 172 tries, 171164861 fired transitions, 95 secs || 30760185 markings, 53509536 edges, 261584 markings/sec, 95 secs
lola: STP completed || 180 tries, 179817726 fired transitions, 100 secs || 32058565 markings, 55915545 edges, 259676 markings/sec, 100 secs
lola: STP completed || 189 tries, 188481428 fired transitions, 105 secs || 33344336 markings, 58308660 edges, 257154 markings/sec, 105 secs
lola: STP completed || 198 tries, 197144497 fired transitions, 110 secs || 34618315 markings, 60688257 edges, 254796 markings/sec, 110 secs
lola: STP completed || 206 tries, 205803294 fired transitions, 115 secs || 35878735 markings, 63054557 edges, 252084 markings/sec, 115 secs
lola: STP completed || 215 tries, 214474009 fired transitions, 120 secs || 37133845 markings, 65411894 edges, 251022 markings/sec, 120 secs
lola: STP completed || 224 tries, 223144459 fired transitions, 125 secs || 38376173 markings, 67754149 edges, 248466 markings/sec, 125 secs
lola: STP completed || 232 tries, 231823029 fired transitions, 130 secs || 39612519 markings, 70093103 edges, 247269 markings/sec, 130 secs
lola: STP completed || 241 tries, 240493241 fired transitions, 135 secs || 40836227 markings, 72418001 edges, 244742 markings/sec, 135 secs
lola: STP completed || 250 tries, 249170928 fired transitions, 140 secs || 42051899 markings, 74733415 edges, 243134 markings/sec, 140 secs
lola: STP completed || 258 tries, 257850540 fired transitions, 145 secs || 43258617 markings, 77038881 edges, 241344 markings/sec, 145 secs
lola: STP completed || 267 tries, 266539694 fired transitions, 150 secs || 44453480 markings, 79338382 edges, 238973 markings/sec, 150 secs
lola: STP completed || 276 tries, 275224202 fired transitions, 155 secs || 45641320 markings, 81634451 edges, 237568 markings/sec, 155 secs
lola: STP completed || 284 tries, 283913971 fired transitions, 160 secs || 46822621 markings, 83916541 edges, 236260 markings/sec, 160 secs
lola: STP completed || 293 tries, 292609834 fired transitions, 165 secs || 47992280 markings, 86188065 edges, 233932 markings/sec, 165 secs
lola: STP completed || 302 tries, 301308459 fired transitions, 170 secs || 49155998 markings, 88452296 edges, 232744 markings/sec, 170 secs
lola: STP completed || 311 tries, 310004036 fired transitions, 175 secs || 50313755 markings, 90706609 edges, 231551 markings/sec, 175 secs
lola: STP completed || 319 tries, 318708845 fired transitions, 180 secs || 51461763 markings, 92958800 edges, 229602 markings/sec, 180 secs
lola: STP completed || 328 tries, 327412765 fired transitions, 185 secs || 52598776 markings, 95205656 edges, 227403 markings/sec, 185 secs
lola: STP completed || 337 tries, 336112055 fired transitions, 190 secs || 53728902 markings, 97441747 edges, 226025 markings/sec, 190 secs
lola: STP completed || 345 tries, 344813437 fired transitions, 195 secs || 54855779 markings, 99667545 edges, 225375 markings/sec, 195 secs
lola: STP completed || 354 tries, 353517571 fired transitions, 200 secs || 55974620 markings, 101890328 edges, 223768 markings/sec, 200 secs
lola: STP completed || 363 tries, 362218201 fired transitions, 205 secs || 57087092 markings, 104101094 edges, 222494 markings/sec, 205 secs
lola: STP completed || 371 tries, 370936030 fired transitions, 210 secs || 58190985 markings, 106310479 edges, 220779 markings/sec, 210 secs
lola: STP completed || 380 tries, 379646957 fired transitions, 215 secs || 59288860 markings, 108516797 edges, 219575 markings/sec, 215 secs
lola: STP completed || 389 tries, 388361113 fired transitions, 220 secs || 60379833 markings, 110712933 edges, 218195 markings/sec, 220 secs
lola: STP completed || 398 tries, 397071080 fired transitions, 225 secs || 61465719 markings, 112903901 edges, 217177 markings/sec, 225 secs
lola: STP completed || 406 tries, 405785052 fired transitions, 230 secs || 62540791 markings, 115091435 edges, 215014 markings/sec, 230 secs
lola: STP completed || 415 tries, 414495856 fired transitions, 235 secs || 63610824 markings, 117265780 edges, 214007 markings/sec, 235 secs
lola: STP completed || 424 tries, 423216417 fired transitions, 240 secs || 64672497 markings, 119444750 edges, 212335 markings/sec, 240 secs
lola: STP completed || 432 tries, 431926140 fired transitions, 245 secs || 65727299 markings, 121610113 edges, 210960 markings/sec, 245 secs
lola: STP completed || 441 tries, 440639569 fired transitions, 250 secs || 66775617 markings, 123772789 edges, 209664 markings/sec, 250 secs
lola: STP completed || 450 tries, 449352796 fired transitions, 255 secs || 67820690 markings, 125938700 edges, 209015 markings/sec, 255 secs
lola: STP completed || 459 tries, 458075692 fired transitions, 260 secs || 68858080 markings, 128090943 edges, 207478 markings/sec, 260 secs
lola: STP completed || 467 tries, 466790892 fired transitions, 265 secs || 69891933 markings, 130245589 edges, 206771 markings/sec, 265 secs
lola: STP completed || 476 tries, 475506459 fired transitions, 270 secs || 70916802 markings, 132400396 edges, 204974 markings/sec, 270 secs
lola: STP completed || 485 tries, 484229346 fired transitions, 275 secs || 71935314 markings, 134550754 edges, 203702 markings/sec, 275 secs
lola: STP completed || 493 tries, 492942161 fired transitions, 280 secs || 72953349 markings, 136698398 edges, 203607 markings/sec, 280 secs
lola: STP completed || 502 tries, 501660457 fired transitions, 285 secs || 73964205 markings, 138842706 edges, 202171 markings/sec, 285 secs
lola: STP completed || 511 tries, 510389529 fired transitions, 290 secs || 74968219 markings, 140981547 edges, 200803 markings/sec, 290 secs
lola: STP completed || 520 tries, 519120162 fired transitions, 295 secs || 75967651 markings, 143118927 edges, 199886 markings/sec, 295 secs
lola: STP completed || 528 tries, 527843569 fired transitions, 300 secs || 76959632 markings, 145244191 edges, 198396 markings/sec, 300 secs
lola: STP completed || 537 tries, 536573533 fired transitions, 305 secs || 77945620 markings, 147373541 edges, 197198 markings/sec, 305 secs
lola: STP completed || 546 tries, 545288163 fired transitions, 310 secs || 78928960 markings, 149505176 edges, 196668 markings/sec, 310 secs
lola: STP completed || 555 tries, 554017386 fired transitions, 315 secs || 79900853 markings, 151632554 edges, 194379 markings/sec, 315 secs
lola: STP completed || 563 tries, 562740860 fired transitions, 320 secs || 80868952 markings, 153759142 edges, 193620 markings/sec, 320 secs
lola: STP completed || 572 tries, 571478585 fired transitions, 325 secs || 81833658 markings, 155888768 edges, 192941 markings/sec, 325 secs
lola: STP completed || 581 tries, 580207478 fired transitions, 330 secs || 82796358 markings, 158010281 edges, 192540 markings/sec, 330 secs
lola: STP completed || 589 tries, 588945712 fired transitions, 335 secs || 83753537 markings, 160126645 edges, 191436 markings/sec, 335 secs
lola: STP completed || 598 tries, 597681221 fired transitions, 340 secs || 84702566 markings, 162248156 edges, 189806 markings/sec, 340 secs
lola: STP completed || 607 tries, 606298452 fired transitions, 345 secs || 85637916 markings, 164339608 edges, 187070 markings/sec, 345 secs
lola: STP completed || 615 tries, 614528137 fired transitions, 350 secs || 86526199 markings, 166327570 edges, 177657 markings/sec, 350 secs
lola: STP completed || 623 tries, 622752002 fired transitions, 355 secs || 87405841 markings, 168311383 edges, 175928 markings/sec, 355 secs
lola: STP completed || 631 tries, 630979462 fired transitions, 360 secs || 88281955 markings, 170304135 edges, 175223 markings/sec, 360 secs
lola: STP completed || 640 tries, 639215177 fired transitions, 365 secs || 89156190 markings, 172293264 edges, 174847 markings/sec, 365 secs
lola: STP completed || 648 tries, 647444714 fired transitions, 370 secs || 90021717 markings, 174269221 edges, 173105 markings/sec, 370 secs
lola: STP completed || 656 tries, 655678490 fired transitions, 375 secs || 90890042 markings, 176249206 edges, 173665 markings/sec, 375 secs
lola: STP completed || 664 tries, 663908101 fired transitions, 380 secs || 91751933 markings, 178229857 edges, 172378 markings/sec, 380 secs
lola: STP completed || 673 tries, 672136227 fired transitions, 385 secs || 92617117 markings, 180219979 edges, 173037 markings/sec, 385 secs
lola: STP completed || 681 tries, 680368600 fired transitions, 390 secs || 93472910 markings, 182222783 edges, 171159 markings/sec, 390 secs
lola: STP completed || 689 tries, 688615482 fired transitions, 395 secs || 94329094 markings, 184196870 edges, 171237 markings/sec, 395 secs
lola: STP completed || 697 tries, 696844657 fired transitions, 400 secs || 95176390 markings, 186156012 edges, 169459 markings/sec, 400 secs
lola: STP completed || 706 tries, 705074115 fired transitions, 405 secs || 96017475 markings, 188130942 edges, 168217 markings/sec, 405 secs
lola: STP completed || 714 tries, 713313173 fired transitions, 410 secs || 96858762 markings, 190101310 edges, 168257 markings/sec, 410 secs
lola: STP completed || 722 tries, 721591426 fired transitions, 415 secs || 97704623 markings, 192099039 edges, 169172 markings/sec, 415 secs
lola: STP completed || 731 tries, 730261202 fired transitions, 420 secs || 98601549 markings, 194215477 edges, 179385 markings/sec, 420 secs
lola: STP completed || 739 tries, 738661576 fired transitions, 425 secs || 99456323 markings, 196237373 edges, 170955 markings/sec, 425 secs
lola: STP completed || 747 tries, 746933423 fired transitions, 430 secs || 100292646 markings, 198222810 edges, 167265 markings/sec, 430 secs
lola: STP completed || 756 tries, 755615508 fired transitions, 435 secs || 101179670 markings, 200344761 edges, 177405 markings/sec, 435 secs
lola: STP completed || 765 tries, 764303947 fired transitions, 440 secs || 102064827 markings, 202466304 edges, 177031 markings/sec, 440 secs
lola: STP completed || 773 tries, 772988544 fired transitions, 445 secs || 102950104 markings, 204580646 edges, 177055 markings/sec, 445 secs
lola: STP completed || 782 tries, 781439151 fired transitions, 450 secs || 103803413 markings, 206621396 edges, 170662 markings/sec, 450 secs
lola: STP completed || 790 tries, 789956992 fired transitions, 455 secs || 104660143 markings, 208695776 edges, 171346 markings/sec, 455 secs
lola: STP completed || 799 tries, 798644965 fired transitions, 460 secs || 105540828 markings, 210811858 edges, 176137 markings/sec, 460 secs
lola: STP completed || 808 tries, 807319900 fired transitions, 465 secs || 106415606 markings, 212935491 edges, 174956 markings/sec, 465 secs
lola: STP completed || 816 tries, 815563121 fired transitions, 470 secs || 107228674 markings, 214918496 edges, 162614 markings/sec, 470 secs
lola: STP completed || 824 tries, 823795673 fired transitions, 475 secs || 108042103 markings, 216916031 edges, 162686 markings/sec, 475 secs
lola: STP completed || 833 tries, 832221307 fired transitions, 480 secs || 108879315 markings, 218954225 edges, 167442 markings/sec, 480 secs
lola: STP completed || 841 tries, 840907498 fired transitions, 485 secs || 109747854 markings, 221085058 edges, 173708 markings/sec, 485 secs
lola: STP completed || 850 tries, 849600035 fired transitions, 490 secs || 110610105 markings, 223201215 edges, 172450 markings/sec, 490 secs
lola: STP completed || 859 tries, 858283664 fired transitions, 495 secs || 111479697 markings, 225311523 edges, 173918 markings/sec, 495 secs
lola: STP completed || 867 tries, 866970730 fired transitions, 500 secs || 112345239 markings, 227453241 edges, 173108 markings/sec, 500 secs
lola: STP completed || 876 tries, 875662158 fired transitions, 505 secs || 113202591 markings, 229588368 edges, 171470 markings/sec, 505 secs
lola: STP completed || 885 tries, 884340850 fired transitions, 510 secs || 114063859 markings, 231726497 edges, 172254 markings/sec, 510 secs
lola: STP completed || 894 tries, 893020821 fired transitions, 515 secs || 114923173 markings, 233872965 edges, 171863 markings/sec, 515 secs
lola: STP completed || 902 tries, 901706153 fired transitions, 520 secs || 115766112 markings, 235961224 edges, 168588 markings/sec, 520 secs
lola: STP completed || 911 tries, 910445505 fired transitions, 525 secs || 116613378 markings, 238071818 edges, 169453 markings/sec, 525 secs
lola: STP completed || 920 tries, 919188942 fired transitions, 530 secs || 117459418 markings, 240173077 edges, 169208 markings/sec, 530 secs
lola: STP completed || 928 tries, 927929122 fired transitions, 535 secs || 118309750 markings, 242295633 edges, 170066 markings/sec, 535 secs
lola: STP completed || 937 tries, 936677461 fired transitions, 540 secs || 119150334 markings, 244433190 edges, 168117 markings/sec, 540 secs
lola: STP completed || 946 tries, 945423159 fired transitions, 545 secs || 119994804 markings, 246556619 edges, 168894 markings/sec, 545 secs
lola: STP completed || 955 tries, 954172905 fired transitions, 550 secs || 120836851 markings, 248693805 edges, 168409 markings/sec, 550 secs
lola: STP completed || 963 tries, 962923862 fired transitions, 555 secs || 121681112 markings, 250828816 edges, 168852 markings/sec, 555 secs
lola: STP completed || 972 tries, 971667523 fired transitions, 560 secs || 122529381 markings, 252963209 edges, 169654 markings/sec, 560 secs
lola: STP completed || 981 tries, 980415259 fired transitions, 565 secs || 123369549 markings, 255125760 edges, 168034 markings/sec, 565 secs
lola: STP completed || 990 tries, 989153713 fired transitions, 570 secs || 124219466 markings, 257256646 edges, 169983 markings/sec, 570 secs
lola: STP completed || 998 tries, 997902129 fired transitions, 575 secs || 125068355 markings, 259395406 edges, 169778 markings/sec, 575 secs
lola: STP completed || 1007 tries, 1006649792 fired transitions, 580 secs || 125912461 markings, 261541122 edges, 168821 markings/sec, 580 secs
lola: STP completed || 1016 tries, 1015397441 fired transitions, 585 secs || 126754836 markings, 263683329 edges, 168475 markings/sec, 585 secs
lola: STP completed || 1025 tries, 1024140628 fired transitions, 590 secs || 127598143 markings, 265842954 edges, 168661 markings/sec, 590 secs
lola: STP completed || 1033 tries, 1032893083 fired transitions, 595 secs || 128444452 markings, 267991237 edges, 169262 markings/sec, 595 secs
lola: STP completed || 1042 tries, 1041641515 fired transitions, 600 secs || 129289374 markings, 270154415 edges, 168984 markings/sec, 600 secs
lola: STP completed || 1051 tries, 1050309873 fired transitions, 605 secs || 130110421 markings, 272243355 edges, 164209 markings/sec, 605 secs
lola: STP completed || 1060 tries, 1059054780 fired transitions, 610 secs || 130956721 markings, 274411401 edges, 169260 markings/sec, 610 secs
lola: STP completed || 1068 tries, 1067804862 fired transitions, 615 secs || 131804092 markings, 276563107 edges, 169474 markings/sec, 615 secs
lola: STP completed || 1077 tries, 1076538300 fired transitions, 620 secs || 132664550 markings, 278720184 edges, 172092 markings/sec, 620 secs
lola: STP completed || 1086 tries, 1085270224 fired transitions, 625 secs || 133520611 markings, 280880148 edges, 171212 markings/sec, 625 secs
lola: STP completed || 1095 tries, 1094016642 fired transitions, 630 secs || 134367183 markings, 283057586 edges, 169314 markings/sec, 630 secs
lola: STP completed || 1103 tries, 1102758407 fired transitions, 635 secs || 135220597 markings, 285245074 edges, 170683 markings/sec, 635 secs
lola: STP completed || 1112 tries, 1111503079 fired transitions, 640 secs || 136074496 markings, 287432158 edges, 170780 markings/sec, 640 secs
lola: STP completed || 1121 tries, 1120251618 fired transitions, 645 secs || 136920863 markings, 289605606 edges, 169273 markings/sec, 645 secs
lola: STP completed || 1129 tries, 1128987123 fired transitions, 650 secs || 137781693 markings, 291817112 edges, 172166 markings/sec, 650 secs
lola: STP completed || 1138 tries, 1137712845 fired transitions, 655 secs || 138639724 markings, 294019193 edges, 171606 markings/sec, 655 secs
lola: STP completed || 1147 tries, 1146453401 fired transitions, 660 secs || 139502648 markings, 296207564 edges, 172585 markings/sec, 660 secs
lola: STP completed || 1156 tries, 1155185107 fired transitions, 665 secs || 140361922 markings, 298388316 edges, 171855 markings/sec, 665 secs
lola: STP completed || 1164 tries, 1163920518 fired transitions, 670 secs || 141222580 markings, 300573971 edges, 172132 markings/sec, 670 secs
lola: STP completed || 1173 tries, 1172658339 fired transitions, 675 secs || 142086216 markings, 302786988 edges, 172727 markings/sec, 675 secs
lola: STP completed || 1182 tries, 1181402570 fired transitions, 680 secs || 142946307 markings, 304992815 edges, 172018 markings/sec, 680 secs
lola: STP completed || 1191 tries, 1190135404 fired transitions, 685 secs || 143810216 markings, 307196378 edges, 172782 markings/sec, 685 secs
lola: STP completed || 1199 tries, 1198862085 fired transitions, 690 secs || 144680341 markings, 309403247 edges, 174025 markings/sec, 690 secs
lola: STP completed || 1208 tries, 1207598250 fired transitions, 695 secs || 145544924 markings, 311616194 edges, 172917 markings/sec, 695 secs
lola: STP completed || 1217 tries, 1216339400 fired transitions, 700 secs || 146416070 markings, 313854151 edges, 174229 markings/sec, 700 secs
lola: STP completed || 1226 tries, 1225080119 fired transitions, 705 secs || 147293065 markings, 316105075 edges, 175399 markings/sec, 705 secs
lola: STP completed || 1234 tries, 1233812691 fired transitions, 710 secs || 148166766 markings, 318343060 edges, 174740 markings/sec, 710 secs
lola: STP completed || 1243 tries, 1242547368 fired transitions, 715 secs || 149044809 markings, 320581539 edges, 175609 markings/sec, 715 secs
lola: STP completed || 1252 tries, 1251274689 fired transitions, 720 secs || 149924008 markings, 322833220 edges, 175840 markings/sec, 720 secs
lola: STP completed || 1261 tries, 1260008462 fired transitions, 725 secs || 150805195 markings, 325105184 edges, 176237 markings/sec, 725 secs
lola: STP completed || 1269 tries, 1268742417 fired transitions, 730 secs || 151684940 markings, 327370232 edges, 175949 markings/sec, 730 secs
lola: STP completed || 1278 tries, 1277483125 fired transitions, 735 secs || 152558593 markings, 329620195 edges, 174731 markings/sec, 735 secs
lola: STP completed || 1287 tries, 1286219272 fired transitions, 740 secs || 153432300 markings, 331867358 edges, 174741 markings/sec, 740 secs
lola: STP completed || 1295 tries, 1294954906 fired transitions, 745 secs || 154318816 markings, 334132773 edges, 177303 markings/sec, 745 secs
lola: STP completed || 1304 tries, 1303691136 fired transitions, 750 secs || 155205402 markings, 336395556 edges, 177317 markings/sec, 750 secs
lola: STP completed || 1313 tries, 1312424386 fired transitions, 755 secs || 156098283 markings, 338688884 edges, 178576 markings/sec, 755 secs
lola: STP completed || 1322 tries, 1321151937 fired transitions, 760 secs || 156993756 markings, 340991099 edges, 179095 markings/sec, 760 secs
lola: STP completed || 1330 tries, 1329887959 fired transitions, 765 secs || 157885279 markings, 343292890 edges, 178305 markings/sec, 765 secs
lola: STP completed || 1339 tries, 1338098907 fired transitions, 770 secs || 158613343 markings, 345174805 edges, 145613 markings/sec, 770 secs
lola: STP completed || 1347 tries, 1346182578 fired transitions, 775 secs || 159320223 markings, 346997200 edges, 141376 markings/sec, 775 secs
lola: STP completed || 1355 tries, 1354268403 fired transitions, 780 secs || 160028434 markings, 348810919 edges, 141642 markings/sec, 780 secs
lola: STP completed || 1363 tries, 1362357065 fired transitions, 785 secs || 160732216 markings, 350620547 edges, 140756 markings/sec, 785 secs
lola: STP completed || 1371 tries, 1370437936 fired transitions, 790 secs || 161444069 markings, 352434121 edges, 142371 markings/sec, 790 secs
lola: STP completed || 1379 tries, 1378506442 fired transitions, 795 secs || 162165369 markings, 354279536 edges, 144260 markings/sec, 795 secs
lola: STP completed || 1387 tries, 1386595464 fired transitions, 800 secs || 162872334 markings, 356101749 edges, 141393 markings/sec, 800 secs
lola: STP completed || 1395 tries, 1394659840 fired transitions, 805 secs || 163593333 markings, 357938787 edges, 144200 markings/sec, 805 secs
lola: STP completed || 1403 tries, 1402726492 fired transitions, 810 secs || 164321350 markings, 359797830 edges, 145603 markings/sec, 810 secs
lola: STP completed || 1411 tries, 1410809206 fired transitions, 815 secs || 165039441 markings, 361639311 edges, 143618 markings/sec, 815 secs
lola: STP completed || 1419 tries, 1418865764 fired transitions, 820 secs || 165779752 markings, 363508975 edges, 148062 markings/sec, 820 secs
lola: STP completed || 1427 tries, 1426946784 fired transitions, 825 secs || 166504996 markings, 365370319 edges, 145049 markings/sec, 825 secs
lola: STP completed || 1436 tries, 1435005943 fired transitions, 830 secs || 167241067 markings, 367259007 edges, 147214 markings/sec, 830 secs
lola: STP completed || 1444 tries, 1443068756 fired transitions, 835 secs || 167974704 markings, 369128924 edges, 146727 markings/sec, 835 secs
lola: STP completed || 1452 tries, 1451140580 fired transitions, 840 secs || 168709382 markings, 371020041 edges, 146936 markings/sec, 840 secs
lola: STP completed || 1460 tries, 1459208324 fired transitions, 845 secs || 169438875 markings, 372896453 edges, 145899 markings/sec, 845 secs
lola: STP completed || 1468 tries, 1467264245 fired transitions, 850 secs || 170180403 markings, 374794300 edges, 148306 markings/sec, 850 secs
lola: STP completed || 1476 tries, 1475313057 fired transitions, 855 secs || 170925344 markings, 376713714 edges, 148988 markings/sec, 855 secs
lola: STP completed || 1484 tries, 1483366177 fired transitions, 860 secs || 171674197 markings, 378638050 edges, 149771 markings/sec, 860 secs
lola: STP completed || 1492 tries, 1491406625 fired transitions, 865 secs || 172431152 markings, 380572491 edges, 151391 markings/sec, 865 secs
lola: STP completed || 1500 tries, 1499454440 fired transitions, 870 secs || 173185248 markings, 382508416 edges, 150819 markings/sec, 870 secs
lola: STP completed || 1508 tries, 1507512697 fired transitions, 875 secs || 173942097 markings, 384416422 edges, 151370 markings/sec, 875 secs
lola: STP completed || 1516 tries, 1515557123 fired transitions, 880 secs || 174708058 markings, 386384975 edges, 153192 markings/sec, 880 secs
lola: STP completed || 1524 tries, 1523599345 fired transitions, 885 secs || 175468163 markings, 388339763 edges, 152021 markings/sec, 885 secs
lola: STP completed || 1532 tries, 1531651937 fired transitions, 890 secs || 176225963 markings, 390287625 edges, 151560 markings/sec, 890 secs
lola: STP completed || 1540 tries, 1539676471 fired transitions, 895 secs || 177006012 markings, 392267522 edges, 156010 markings/sec, 895 secs
lola: STP completed || 1548 tries, 1547734977 fired transitions, 900 secs || 177754488 markings, 394212833 edges, 149695 markings/sec, 900 secs
lola: STP completed || 1556 tries, 1555768211 fired transitions, 905 secs || 178536118 markings, 396187741 edges, 156326 markings/sec, 905 secs
lola: STP completed || 1564 tries, 1563812016 fired transitions, 910 secs || 179307810 markings, 398165921 edges, 154338 markings/sec, 910 secs
lola: STP completed || 1572 tries, 1571857972 fired transitions, 915 secs || 180071215 markings, 400129495 edges, 152681 markings/sec, 915 secs
lola: STP completed || 1580 tries, 1579897317 fired transitions, 920 secs || 180849480 markings, 402129876 edges, 155653 markings/sec, 920 secs
lola: STP completed || 1588 tries, 1587915791 fired transitions, 925 secs || 181617600 markings, 404135520 edges, 153624 markings/sec, 925 secs
lola: STP completed || 1596 tries, 1595964882 fired transitions, 930 secs || 182389061 markings, 406135718 edges, 154292 markings/sec, 930 secs
lola: STP completed || 1604 tries, 1603987646 fired transitions, 935 secs || 183165975 markings, 408151748 edges, 155383 markings/sec, 935 secs
lola: STP completed || 1613 tries, 1612008625 fired transitions, 940 secs || 183953583 markings, 410190272 edges, 157522 markings/sec, 940 secs
lola: STP completed || 1621 tries, 1620014699 fired transitions, 945 secs || 184771896 markings, 412274741 edges, 163663 markings/sec, 945 secs
lola: STP completed || 1629 tries, 1628043491 fired transitions, 950 secs || 185565052 markings, 414347765 edges, 158631 markings/sec, 950 secs
lola: STP completed || 1637 tries, 1636038721 fired transitions, 955 secs || 186371413 markings, 416412441 edges, 161272 markings/sec, 955 secs
lola: STP completed || 1645 tries, 1644061513 fired transitions, 960 secs || 187161872 markings, 418460886 edges, 158092 markings/sec, 960 secs
lola: STP completed || 1653 tries, 1652082010 fired transitions, 965 secs || 187953429 markings, 420535410 edges, 158311 markings/sec, 965 secs
lola: STP completed || 1661 tries, 1660130119 fired transitions, 970 secs || 188743750 markings, 422576985 edges, 158064 markings/sec, 970 secs
lola: STP completed || 1669 tries, 1668152934 fired transitions, 975 secs || 189541286 markings, 424676082 edges, 159507 markings/sec, 975 secs
lola: STP completed || 1677 tries, 1676132059 fired transitions, 980 secs || 190341450 markings, 426737316 edges, 160033 markings/sec, 980 secs
lola: STP completed || 1685 tries, 1684143873 fired transitions, 985 secs || 191145743 markings, 428848444 edges, 160859 markings/sec, 985 secs
lola: STP completed || 1693 tries, 1692563162 fired transitions, 990 secs || 192041389 markings, 431211150 edges, 179129 markings/sec, 990 secs
lola: STP completed || 1702 tries, 1701276949 fired transitions, 995 secs || 193022814 markings, 433790228 edges, 196285 markings/sec, 995 secs
lola: STP completed || 1710 tries, 1709974000 fired transitions, 1000 secs || 194050431 markings, 436407425 edges, 205523 markings/sec, 1000 secs
lola: STP completed || 1719 tries, 1718682804 fired transitions, 1005 secs || 195123640 markings, 439089624 edges, 214642 markings/sec, 1005 secs
lola: STP completed || 1728 tries, 1727392314 fired transitions, 1010 secs || 196143249 markings, 441726092 edges, 203922 markings/sec, 1010 secs
lola: STP completed || 1737 tries, 1736088497 fired transitions, 1015 secs || 197164743 markings, 444386567 edges, 204299 markings/sec, 1015 secs
lola: STP completed || 1745 tries, 1744808179 fired transitions, 1020 secs || 198200392 markings, 447046016 edges, 207130 markings/sec, 1020 secs
lola: STP completed || 1754 tries, 1753525359 fired transitions, 1025 secs || 199209238 markings, 449631367 edges, 201769 markings/sec, 1025 secs
lola: STP completed || 1763 tries, 1762237249 fired transitions, 1030 secs || 200214815 markings, 452216824 edges, 201115 markings/sec, 1030 secs
lola: STP completed || 1771 tries, 1770947029 fired transitions, 1035 secs || 201264226 markings, 454844162 edges, 209882 markings/sec, 1035 secs
lola: STP completed || 1780 tries, 1779656001 fired transitions, 1040 secs || 202297175 markings, 457591583 edges, 206590 markings/sec, 1040 secs
lola: STP completed || 1789 tries, 1788353308 fired transitions, 1045 secs || 203342564 markings, 460153795 edges, 209078 markings/sec, 1045 secs
lola: STP completed || 1798 tries, 1797101777 fired transitions, 1050 secs || 204246392 markings, 462727351 edges, 180766 markings/sec, 1050 secs
lola: STP completed || 1806 tries, 1805834056 fired transitions, 1055 secs || 205142065 markings, 465792611 edges, 179135 markings/sec, 1055 secs
lola: STP completed || 1815 tries, 1814567737 fired transitions, 1060 secs || 206011068 markings, 468695862 edges, 173801 markings/sec, 1060 secs
lola: STP completed || 1824 tries, 1823300403 fired transitions, 1065 secs || 206877572 markings, 471588247 edges, 173301 markings/sec, 1065 secs
lola: STP completed || 1833 tries, 1832018744 fired transitions, 1070 secs || 207885633 markings, 474161327 edges, 201612 markings/sec, 1070 secs
lola: STP completed || 1841 tries, 1840732110 fired transitions, 1075 secs || 208831724 markings, 476955182 edges, 189218 markings/sec, 1075 secs
lola: STP completed || 1850 tries, 1849468736 fired transitions, 1080 secs || 209693135 markings, 479562706 edges, 172282 markings/sec, 1080 secs
lola: STP completed || 1859 tries, 1858215499 fired transitions, 1085 secs || 210479793 markings, 482071036 edges, 157332 markings/sec, 1085 secs
lola: STP completed || 1867 tries, 1866993670 fired transitions, 1090 secs || 211170592 markings, 484356111 edges, 138160 markings/sec, 1090 secs
lola: STP completed || 1876 tries, 1875791235 fired transitions, 1095 secs || 211794247 markings, 486552410 edges, 124731 markings/sec, 1095 secs
lola: STP completed || 1885 tries, 1884602581 fired transitions, 1100 secs || 212354952 markings, 488640795 edges, 112141 markings/sec, 1100 secs
lola: STP completed || 1894 tries, 1893408683 fired transitions, 1105 secs || 212885963 markings, 490649394 edges, 106202 markings/sec, 1105 secs
lola: STP completed || 1903 tries, 1902233951 fired transitions, 1110 secs || 213387728 markings, 492619912 edges, 100353 markings/sec, 1110 secs
lola: STP completed || 1912 tries, 1911052506 fired transitions, 1115 secs || 213861668 markings, 494545424 edges, 94788 markings/sec, 1115 secs
lola: STP completed || 1920 tries, 1919877573 fired transitions, 1120 secs || 214340526 markings, 496493029 edges, 95772 markings/sec, 1120 secs
lola: STP completed || 1929 tries, 1928691603 fired transitions, 1125 secs || 214850721 markings, 498500967 edges, 102039 markings/sec, 1125 secs
lola: STP completed || 1938 tries, 1937521606 fired transitions, 1130 secs || 215312384 markings, 500457270 edges, 92333 markings/sec, 1130 secs
lola: STP completed || 1947 tries, 1946341483 fired transitions, 1135 secs || 215775167 markings, 502405773 edges, 92557 markings/sec, 1135 secs
lola: STP completed || 1956 tries, 1955168157 fired transitions, 1140 secs || 216214817 markings, 504307581 edges, 87930 markings/sec, 1140 secs
lola: STP completed || 1964 tries, 1963995097 fired transitions, 1145 secs || 216681192 markings, 506328596 edges, 93275 markings/sec, 1145 secs
lola: STP completed || 1973 tries, 1972830645 fired transitions, 1150 secs || 217102082 markings, 508204039 edges, 84178 markings/sec, 1150 secs
lola: STP completed || 1982 tries, 1981665686 fired transitions, 1155 secs || 217517295 markings, 510071128 edges, 83043 markings/sec, 1155 secs
lola: STP completed || 1991 tries, 1990513034 fired transitions, 1160 secs || 217894217 markings, 511841867 edges, 75384 markings/sec, 1160 secs
lola: STP completed || 2000 tries, 1999356259 fired transitions, 1165 secs || 218272699 markings, 513630603 edges, 75696 markings/sec, 1165 secs
lola: STP completed || 2009 tries, 2008072548 fired transitions, 1170 secs || 218637059 markings, 515372181 edges, 72872 markings/sec, 1170 secs
lola: STP completed || 2017 tries, 2016403572 fired transitions, 1175 secs || 219001057 markings, 517072142 edges, 72800 markings/sec, 1175 secs
lola: STP completed || 2025 tries, 2024732897 fired transitions, 1180 secs || 219341917 markings, 518710631 edges, 68172 markings/sec, 1180 secs
lola: STP completed || 2034 tries, 2033098508 fired transitions, 1185 secs || 219665390 markings, 520301708 edges, 64695 markings/sec, 1185 secs
lola: STP completed || 2042 tries, 2041480427 fired transitions, 1190 secs || 219981674 markings, 521861621 edges, 63257 markings/sec, 1190 secs
lola: STP completed || 2050 tries, 2049847366 fired transitions, 1195 secs || 220292102 markings, 523418134 edges, 62086 markings/sec, 1195 secs
lola: STP completed || 2059 tries, 2058345756 fired transitions, 1200 secs || 220607360 markings, 525004441 edges, 63052 markings/sec, 1200 secs
lola: STP completed || 2067 tries, 2066835256 fired transitions, 1205 secs || 220908667 markings, 526561180 edges, 60261 markings/sec, 1205 secs
lola: STP completed || 2076 tries, 2075401627 fired transitions, 1210 secs || 221211512 markings, 528123672 edges, 60569 markings/sec, 1210 secs
lola: STP completed || 2084 tries, 2083997614 fired transitions, 1215 secs || 221519042 markings, 529712655 edges, 61506 markings/sec, 1215 secs
lola: STP completed || 2093 tries, 2092794923 fired transitions, 1220 secs || 221844173 markings, 531384697 edges, 65026 markings/sec, 1220 secs
lola: STP completed || 2102 tries, 2101596860 fired transitions, 1225 secs || 222179198 markings, 533072741 edges, 67005 markings/sec, 1225 secs
lola: STP completed || 2111 tries, 2110400073 fired transitions, 1230 secs || 222502076 markings, 534739009 edges, 64576 markings/sec, 1230 secs
lola: STP completed || 2120 tries, 2119208030 fired transitions, 1235 secs || 222816321 markings, 536389171 edges, 62849 markings/sec, 1235 secs
lola: STP completed || 2129 tries, 2128015209 fired transitions, 1240 secs || 223144556 markings, 538069541 edges, 65647 markings/sec, 1240 secs
lola: STP completed || 2137 tries, 2136825914 fired transitions, 1245 secs || 223457841 markings, 539719065 edges, 62657 markings/sec, 1245 secs
lola: STP completed || 2146 tries, 2145642133 fired transitions, 1250 secs || 223770672 markings, 541363074 edges, 62566 markings/sec, 1250 secs
lola: STP completed || 2155 tries, 2154453115 fired transitions, 1255 secs || 224093710 markings, 543029353 edges, 64608 markings/sec, 1255 secs
lola: STP completed || 2164 tries, 2163265692 fired transitions, 1260 secs || 224406028 markings, 544674420 edges, 62464 markings/sec, 1260 secs
lola: STP completed || 2173 tries, 2172063924 fired transitions, 1265 secs || 224778316 markings, 546404744 edges, 74458 markings/sec, 1265 secs
lola: STP completed || 2181 tries, 2180871317 fired transitions, 1270 secs || 225091502 markings, 548055884 edges, 62637 markings/sec, 1270 secs
lola: STP completed || 2190 tries, 2189677192 fired transitions, 1275 secs || 225418608 markings, 549739761 edges, 65421 markings/sec, 1275 secs
lola: STP completed || 2199 tries, 2198488532 fired transitions, 1280 secs || 225730629 markings, 551393614 edges, 62404 markings/sec, 1280 secs
lola: STP completed || 2208 tries, 2207223167 fired transitions, 1285 secs || 226038872 markings, 553023246 edges, 61649 markings/sec, 1285 secs
lola: STP completed || 2216 tries, 2215934598 fired transitions, 1290 secs || 226342767 markings, 554629679 edges, 60779 markings/sec, 1290 secs
lola: STP completed || 2225 tries, 2224805907 fired transitions, 1295 secs || 226651267 markings, 556265777 edges, 61700 markings/sec, 1295 secs
lola: STP completed || 2234 tries, 2233678863 fired transitions, 1300 secs || 226956604 markings, 557902095 edges, 61067 markings/sec, 1300 secs
lola: STP completed || 2243 tries, 2242549892 fired transitions, 1305 secs || 227257530 markings, 559532710 edges, 60185 markings/sec, 1305 secs
lola: STP completed || 2252 tries, 2251414957 fired transitions, 1310 secs || 227605800 markings, 561245747 edges, 69654 markings/sec, 1310 secs
lola: STP completed || 2261 tries, 2260272350 fired transitions, 1315 secs || 227921774 markings, 562898641 edges, 63195 markings/sec, 1315 secs
lola: STP completed || 2270 tries, 2269145399 fired transitions, 1320 secs || 228216093 markings, 564520796 edges, 58864 markings/sec, 1320 secs
lola: STP completed || 2279 tries, 2278013210 fired transitions, 1325 secs || 228521037 markings, 566160479 edges, 60989 markings/sec, 1325 secs
lola: STP completed || 2287 tries, 2286884999 fired transitions, 1330 secs || 228818710 markings, 567790419 edges, 59535 markings/sec, 1330 secs
lola: STP completed || 2296 tries, 2295749567 fired transitions, 1335 secs || 229116853 markings, 569414489 edges, 59629 markings/sec, 1335 secs
lola: STP completed || 2305 tries, 2304607221 fired transitions, 1340 secs || 229427930 markings, 571065680 edges, 62215 markings/sec, 1340 secs
lola: STP completed || 2314 tries, 2313476130 fired transitions, 1345 secs || 229724336 markings, 572694155 edges, 59281 markings/sec, 1345 secs
lola: STP completed || 2323 tries, 2322340496 fired transitions, 1350 secs || 230022813 markings, 574332651 edges, 59695 markings/sec, 1350 secs
lola: STP completed || 2332 tries, 2331217764 fired transitions, 1355 secs || 230320506 markings, 575972742 edges, 59539 markings/sec, 1355 secs
lola: STP completed || 2341 tries, 2340091353 fired transitions, 1360 secs || 230620063 markings, 577614586 edges, 59911 markings/sec, 1360 secs
lola: STP completed || 2349 tries, 2348732073 fired transitions, 1365 secs || 230874773 markings, 579000440 edges, 50942 markings/sec, 1365 secs
lola: STP completed || 2358 tries, 2357323493 fired transitions, 1370 secs || 231110866 markings, 580310495 edges, 47219 markings/sec, 1370 secs
lola: STP completed || 2366 tries, 2365921650 fired transitions, 1375 secs || 231347608 markings, 581628242 edges, 47348 markings/sec, 1375 secs
lola: STP completed || 2375 tries, 2374517792 fired transitions, 1380 secs || 231586163 markings, 582947087 edges, 47711 markings/sec, 1380 secs
lola: STP completed || 2384 tries, 2383245565 fired transitions, 1385 secs || 231862021 markings, 584484117 edges, 55172 markings/sec, 1385 secs
lola: STP completed || 2393 tries, 2392058557 fired transitions, 1390 secs || 232157678 markings, 586136925 edges, 59131 markings/sec, 1390 secs
lola: STP completed || 2401 tries, 2400862791 fired transitions, 1395 secs || 232455283 markings, 587785717 edges, 59521 markings/sec, 1395 secs
lola: STP completed || 2410 tries, 2409732205 fired transitions, 1400 secs || 232743217 markings, 589414403 edges, 57587 markings/sec, 1400 secs
lola: STP completed || 2419 tries, 2418602824 fired transitions, 1405 secs || 233033400 markings, 591051998 edges, 58037 markings/sec, 1405 secs
lola: STP completed || 2428 tries, 2427479502 fired transitions, 1410 secs || 233324123 markings, 592691889 edges, 58145 markings/sec, 1410 secs
lola: STP completed || 2437 tries, 2436330636 fired transitions, 1415 secs || 233675645 markings, 594407079 edges, 70304 markings/sec, 1415 secs
lola: STP completed || 2446 tries, 2445198396 fired transitions, 1420 secs || 233968131 markings, 596073973 edges, 58497 markings/sec, 1420 secs
lola: STP completed || 2455 tries, 2454060425 fired transitions, 1425 secs || 234258285 markings, 597722353 edges, 58031 markings/sec, 1425 secs
lola: STP completed || 2463 tries, 2462944714 fired transitions, 1430 secs || 234551997 markings, 599376720 edges, 58742 markings/sec, 1430 secs
lola: STP completed || 2472 tries, 2471819332 fired transitions, 1435 secs || 234842007 markings, 601029863 edges, 58002 markings/sec, 1435 secs
lola: STP completed || 2481 tries, 2480688267 fired transitions, 1440 secs || 235119340 markings, 602659902 edges, 55467 markings/sec, 1440 secs
lola: STP completed || 2490 tries, 2489560505 fired transitions, 1445 secs || 235399570 markings, 604298719 edges, 56046 markings/sec, 1445 secs
lola: STP completed || 2499 tries, 2498306856 fired transitions, 1450 secs || 235650573 markings, 605777835 edges, 50201 markings/sec, 1450 secs
lola: STP completed || 2507 tries, 2506916518 fired transitions, 1455 secs || 235872648 markings, 607078049 edges, 44415 markings/sec, 1455 secs
lola: STP completed || 2516 tries, 2515526851 fired transitions, 1460 secs || 236093122 markings, 608378202 edges, 44095 markings/sec, 1460 secs
lola: STP completed || 2525 tries, 2524124439 fired transitions, 1465 secs || 236311707 markings, 609683322 edges, 43717 markings/sec, 1465 secs
lola: STP completed || 2533 tries, 2532743789 fired transitions, 1470 secs || 236530971 markings, 610991344 edges, 43853 markings/sec, 1470 secs
lola: STP completed || 2542 tries, 2541349732 fired transitions, 1475 secs || 236755144 markings, 612318927 edges, 44835 markings/sec, 1475 secs
lola: STP completed || 2550 tries, 2549952429 fired transitions, 1480 secs || 236978979 markings, 613642203 edges, 44767 markings/sec, 1480 secs
lola: STP completed || 2559 tries, 2558548971 fired transitions, 1485 secs || 237204836 markings, 614970423 edges, 45171 markings/sec, 1485 secs
lola: STP completed || 2568 tries, 2567152671 fired transitions, 1490 secs || 237428922 markings, 616304970 edges, 44817 markings/sec, 1490 secs
lola: STP completed || 2576 tries, 2575749904 fired transitions, 1495 secs || 237651096 markings, 617630114 edges, 44435 markings/sec, 1495 secs
lola: STP completed || 2585 tries, 2584363070 fired transitions, 1500 secs || 237867541 markings, 618952521 edges, 43289 markings/sec, 1500 secs
lola: STP completed || 2593 tries, 2592977905 fired transitions, 1505 secs || 238083379 markings, 620270897 edges, 43168 markings/sec, 1505 secs
lola: STP completed || 2602 tries, 2601588847 fired transitions, 1510 secs || 238299453 markings, 621593319 edges, 43215 markings/sec, 1510 secs
lola: STP completed || 2611 tries, 2610195997 fired transitions, 1515 secs || 238516015 markings, 622915622 edges, 43312 markings/sec, 1515 secs
lola: STP completed || 2619 tries, 2618801094 fired transitions, 1520 secs || 238732847 markings, 624240177 edges, 43366 markings/sec, 1520 secs
lola: STP completed || 2628 tries, 2627416569 fired transitions, 1525 secs || 238949466 markings, 625562193 edges, 43324 markings/sec, 1525 secs
lola: STP completed || 2636 tries, 2635945180 fired transitions, 1530 secs || 239172794 markings, 626932945 edges, 44666 markings/sec, 1530 secs
lola: STP completed || 2645 tries, 2644458401 fired transitions, 1535 secs || 239394097 markings, 628308445 edges, 44261 markings/sec, 1535 secs
lola: STP completed || 2653 tries, 2652973622 fired transitions, 1540 secs || 239615967 markings, 629689228 edges, 44374 markings/sec, 1540 secs
lola: STP completed || 2662 tries, 2661492423 fired transitions, 1545 secs || 239832573 markings, 631060618 edges, 43321 markings/sec, 1545 secs
lola: STP completed || 2670 tries, 2669999039 fired transitions, 1550 secs || 240051801 markings, 632438982 edges, 43846 markings/sec, 1550 secs
lola: STP completed || 2679 tries, 2678520601 fired transitions, 1555 secs || 240268893 markings, 633815950 edges, 43418 markings/sec, 1555 secs
lola: STP completed || 2688 tries, 2687025453 fired transitions, 1560 secs || 240491754 markings, 635203234 edges, 44572 markings/sec, 1560 secs
lola: STP completed || 2696 tries, 2695532967 fired transitions, 1565 secs || 240706558 markings, 636577778 edges, 42961 markings/sec, 1565 secs
lola: STP completed || 2705 tries, 2704039274 fired transitions, 1570 secs || 240922582 markings, 637958194 edges, 43205 markings/sec, 1570 secs
lola: STP completed || 2713 tries, 2712545874 fired transitions, 1575 secs || 241147696 markings, 639358805 edges, 45023 markings/sec, 1575 secs
lola: STP completed || 2722 tries, 2721053654 fired transitions, 1580 secs || 241361554 markings, 640741298 edges, 42772 markings/sec, 1580 secs
lola: STP completed || 2730 tries, 2729570569 fired transitions, 1585 secs || 241574073 markings, 642118716 edges, 42504 markings/sec, 1585 secs
lola: STP completed || 2739 tries, 2738089847 fired transitions, 1590 secs || 241788599 markings, 643505904 edges, 42905 markings/sec, 1590 secs
lola: STP completed || 2747 tries, 2746465012 fired transitions, 1595 secs || 242022503 markings, 645029138 edges, 46781 markings/sec, 1595 secs
lola: STP completed || 2755 tries, 2754819830 fired transitions, 1600 secs || 242258393 markings, 646580021 edges, 47178 markings/sec, 1600 secs
lola: STP completed || 2764 tries, 2763178734 fired transitions, 1605 secs || 242493739 markings, 648130700 edges, 47069 markings/sec, 1605 secs
lola: STP completed || 2772 tries, 2771535520 fired transitions, 1610 secs || 242725646 markings, 649672627 edges, 46381 markings/sec, 1610 secs
lola: STP completed || 2780 tries, 2779896715 fired transitions, 1615 secs || 242958776 markings, 651224785 edges, 46626 markings/sec, 1615 secs
lola: STP completed || 2789 tries, 2788267236 fired transitions, 1620 secs || 243185272 markings, 652760126 edges, 45299 markings/sec, 1620 secs
lola: STP completed || 2797 tries, 2796627906 fired transitions, 1625 secs || 243420128 markings, 654312920 edges, 46971 markings/sec, 1625 secs
lola: STP completed || 2805 tries, 2804984506 fired transitions, 1630 secs || 243655516 markings, 655882851 edges, 47078 markings/sec, 1630 secs
lola: STP completed || 2814 tries, 2813333706 fired transitions, 1635 secs || 243887729 markings, 657450398 edges, 46443 markings/sec, 1635 secs
lola: STP completed || 2822 tries, 2821685769 fired transitions, 1640 secs || 244119843 markings, 659022226 edges, 46423 markings/sec, 1640 secs
lola: STP completed || 2831 tries, 2830046732 fired transitions, 1645 secs || 244347511 markings, 660581763 edges, 45534 markings/sec, 1645 secs
lola: STP completed || 2839 tries, 2838414790 fired transitions, 1650 secs || 244578817 markings, 662147188 edges, 46261 markings/sec, 1650 secs
lola: STP completed || 2847 tries, 2846782901 fired transitions, 1655 secs || 244811802 markings, 663722876 edges, 46597 markings/sec, 1655 secs
lola: STP completed || 2856 tries, 2855139364 fired transitions, 1660 secs || 245037492 markings, 665294413 edges, 45138 markings/sec, 1660 secs
lola: STP completed || 2864 tries, 2863487376 fired transitions, 1665 secs || 245260689 markings, 666859994 edges, 44639 markings/sec, 1665 secs
lola: STP completed || 2872 tries, 2871844928 fired transitions, 1670 secs || 245486654 markings, 668435470 edges, 45193 markings/sec, 1670 secs
lola: STP completed || 2881 tries, 2880213992 fired transitions, 1675 secs || 245717398 markings, 670019070 edges, 46149 markings/sec, 1675 secs
lola: STP completed || 2889 tries, 2888572279 fired transitions, 1680 secs || 245943835 markings, 671609262 edges, 45287 markings/sec, 1680 secs
lola: STP completed || 2897 tries, 2896935159 fired transitions, 1685 secs || 246169237 markings, 673192671 edges, 45080 markings/sec, 1685 secs
lola: STP completed || 2906 tries, 2905284112 fired transitions, 1690 secs || 246393520 markings, 674792065 edges, 44857 markings/sec, 1690 secs
lola: STP completed || 2914 tries, 2913625523 fired transitions, 1695 secs || 246616094 markings, 676380530 edges, 44515 markings/sec, 1695 secs
lola: STP completed || 2922 tries, 2921977423 fired transitions, 1700 secs || 246834171 markings, 677966098 edges, 43615 markings/sec, 1700 secs
lola: STP completed || 2931 tries, 2930335334 fired transitions, 1705 secs || 247057972 markings, 679564857 edges, 44760 markings/sec, 1705 secs
lola: STP completed || 2939 tries, 2938706317 fired transitions, 1710 secs || 247276991 markings, 681152005 edges, 43804 markings/sec, 1710 secs
lola: STP completed || 2948 tries, 2947055726 fired transitions, 1715 secs || 247502486 markings, 682759516 edges, 45099 markings/sec, 1715 secs
lola: STP completed || 2956 tries, 2955398922 fired transitions, 1720 secs || 247722595 markings, 684364626 edges, 44022 markings/sec, 1720 secs
lola: STP completed || 2964 tries, 2963759029 fired transitions, 1725 secs || 247938273 markings, 685964345 edges, 43136 markings/sec, 1725 secs
lola: STP completed || 2973 tries, 2972113637 fired transitions, 1730 secs || 248160926 markings, 687583553 edges, 44531 markings/sec, 1730 secs
lola: STP completed || 2981 tries, 2980477967 fired transitions, 1735 secs || 248377185 markings, 689190582 edges, 43252 markings/sec, 1735 secs
lola: STP completed || 2989 tries, 2988851219 fired transitions, 1740 secs || 248595870 markings, 690800114 edges, 43737 markings/sec, 1740 secs
lola: STP completed || 2998 tries, 2997203248 fired transitions, 1745 secs || 248814263 markings, 692432516 edges, 43679 markings/sec, 1745 secs
lola: STP completed || 3006 tries, 3005544915 fired transitions, 1750 secs || 249030495 markings, 694055773 edges, 43246 markings/sec, 1750 secs
lola: STP completed || 3014 tries, 3013887862 fired transitions, 1755 secs || 249248124 markings, 695691263 edges, 43526 markings/sec, 1755 secs
lola: STP completed || 3023 tries, 3022239787 fired transitions, 1760 secs || 249462973 markings, 697331757 edges, 42970 markings/sec, 1760 secs
lola: STP completed || 3031 tries, 3030603085 fired transitions, 1765 secs || 249679000 markings, 698975349 edges, 43205 markings/sec, 1765 secs
lola: STP completed || 3039 tries, 3038966536 fired transitions, 1770 secs || 249896315 markings, 700627026 edges, 43463 markings/sec, 1770 secs
lola: STP completed || 3048 tries, 3047313754 fired transitions, 1775 secs || 250113630 markings, 702285895 edges, 43463 markings/sec, 1775 secs
lola: STP completed || 3056 tries, 3055671427 fired transitions, 1780 secs || 250334062 markings, 703960721 edges, 44086 markings/sec, 1780 secs
lola: STP completed || 3065 tries, 3064026253 fired transitions, 1785 secs || 250550101 markings, 705633022 edges, 43208 markings/sec, 1785 secs
lola: STP completed || 3073 tries, 3072393566 fired transitions, 1790 secs || 250766703 markings, 707310955 edges, 43320 markings/sec, 1790 secs
lola: STP completed || 3081 tries, 3080749441 fired transitions, 1795 secs || 250982620 markings, 709005727 edges, 43183 markings/sec, 1795 secs
lola: STP completed || 3090 tries, 3089108159 fired transitions, 1800 secs || 251201978 markings, 710710567 edges, 43872 markings/sec, 1800 secs
lola: STP completed || 3098 tries, 3097465746 fired transitions, 1805 secs || 251420162 markings, 712435400 edges, 43637 markings/sec, 1805 secs
lola: STP completed || 3106 tries, 3105818382 fired transitions, 1810 secs || 251641424 markings, 714165762 edges, 44252 markings/sec, 1810 secs
lola: STP completed || 3115 tries, 3114164572 fired transitions, 1815 secs || 251861086 markings, 715899105 edges, 43932 markings/sec, 1815 secs
lola: STP completed || 3123 tries, 3122517750 fired transitions, 1820 secs || 252081729 markings, 717638664 edges, 44129 markings/sec, 1820 secs
lola: STP completed || 3131 tries, 3130873923 fired transitions, 1825 secs || 252301484 markings, 719382385 edges, 43951 markings/sec, 1825 secs
lola: STP completed || 3140 tries, 3139225173 fired transitions, 1830 secs || 252522849 markings, 721145815 edges, 44273 markings/sec, 1830 secs
lola: STP completed || 3148 tries, 3147574148 fired transitions, 1835 secs || 252746194 markings, 722923786 edges, 44669 markings/sec, 1835 secs
lola: STP completed || 3156 tries, 3155933570 fired transitions, 1840 secs || 252964745 markings, 724694382 edges, 43710 markings/sec, 1840 secs
lola: STP completed || 3165 tries, 3164287204 fired transitions, 1845 secs || 253189957 markings, 726500190 edges, 45042 markings/sec, 1845 secs
lola: STP completed || 3173 tries, 3172141956 fired transitions, 1850 secs || 253413354 markings, 728294021 edges, 44679 markings/sec, 1850 secs
lola: STP completed || 3181 tries, 3180437567 fired transitions, 1855 secs || 253630097 markings, 730061312 edges, 43349 markings/sec, 1855 secs
lola: STP completed || 3189 tries, 3188856980 fired transitions, 1860 secs || 253849707 markings, 731841632 edges, 43922 markings/sec, 1860 secs
lola: STP completed || 3198 tries, 3197365659 fired transitions, 1865 secs || 254067923 markings, 733645793 edges, 43643 markings/sec, 1865 secs
lola: STP completed || 3206 tries, 3205871270 fired transitions, 1870 secs || 254288451 markings, 735471578 edges, 44106 markings/sec, 1870 secs
lola: STP completed || 3215 tries, 3214379446 fired transitions, 1875 secs || 254516160 markings, 737350109 edges, 45542 markings/sec, 1875 secs
lola: STP completed || 3223 tries, 3222865595 fired transitions, 1880 secs || 254746639 markings, 739280795 edges, 46096 markings/sec, 1880 secs
lola: STP completed || 3232 tries, 3231338988 fired transitions, 1885 secs || 254984687 markings, 741299052 edges, 47610 markings/sec, 1885 secs
FORMULA TCPcondis-PT-10-ReachabilityDeadlock-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The net does not have deadlocks.
lola: 255200686 markings, 743176876 edges
lola: memory consumption: 12424372 KB
lola: time consumption: 1895 seconds
BK_STOP 1527238530044
--------------------
content from 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="TCPcondis-PT-10"
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/TCPcondis-PT-10.tgz
mv TCPcondis-PT-10 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is TCPcondis-PT-10, 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 r172-smll-152708743000188"
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 '
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 ;