About the Execution of LoLA for LamportFastMutEx-COL-7
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2284.380 | 3570363.00 | 7305600.00 | 522.60 | [undef] | Cannot compute |
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 204K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.3K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K 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 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 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 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 43K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is LamportFastMutEx-COL-7, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469000097
=====================================================================
--------------------
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 LamportFastMutEx-COL-7-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527014087989
info: Time: 3600 - MCC
===========================================================================================
prep: translating LamportFastMutEx-COL-7 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating LamportFastMutEx-COL-7 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ LamportFastMutEx-COL-7 @ 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: 800/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 264
lola: finding significant places
lola: 264 places, 536 transitions, 182 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 762 transition conflict sets
lola: TASK
lola: reading formula from LamportFastMutEx-COL-7-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 21 generators (7 in search tree, 14 by composition)
lola: representing 5040 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 9874 variables and 40284 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 98142 fired transitions, 0 secs || 81257 markings, 262499 edges, 16251 markings/sec, 0 secs
lola: STP completed || 1 tries, 199595 fired transitions, 5 secs || 162626 markings, 544603 edges, 16274 markings/sec, 5 secs
lola: STP completed || 1 tries, 303045 fired transitions, 10 secs || 244373 markings, 825015 edges, 16349 markings/sec, 10 secs
lola: STP completed || 1 tries, 407418 fired transitions, 15 secs || 325997 markings, 1119188 edges, 16325 markings/sec, 15 secs
lola: STP completed || 1 tries, 511112 fired transitions, 20 secs || 409159 markings, 1416265 edges, 16632 markings/sec, 20 secs
lola: STP completed || 1 tries, 612944 fired transitions, 25 secs || 490851 markings, 1710084 edges, 16338 markings/sec, 25 secs
lola: STP completed || 1 tries, 718124 fired transitions, 30 secs || 572730 markings, 2005701 edges, 16376 markings/sec, 30 secs
lola: STP completed || 1 tries, 821448 fired transitions, 35 secs || 653444 markings, 2306807 edges, 16143 markings/sec, 35 secs
lola: STP completed || 1 tries, 925838 fired transitions, 40 secs || 735773 markings, 2606508 edges, 16466 markings/sec, 40 secs
lola: STP completed || 2 tries, 1030825 fired transitions, 45 secs || 815971 markings, 2909182 edges, 16040 markings/sec, 45 secs
lola: STP completed || 2 tries, 1136287 fired transitions, 50 secs || 896481 markings, 3212157 edges, 16102 markings/sec, 50 secs
lola: STP completed || 2 tries, 1241020 fired transitions, 55 secs || 975052 markings, 3519259 edges, 15714 markings/sec, 55 secs
lola: STP completed || 2 tries, 1345545 fired transitions, 60 secs || 1055033 markings, 3842423 edges, 15996 markings/sec, 60 secs
lola: STP completed || 2 tries, 1449008 fired transitions, 65 secs || 1135508 markings, 4143291 edges, 16095 markings/sec, 65 secs
lola: STP completed || 2 tries, 1551698 fired transitions, 70 secs || 1215002 markings, 4458201 edges, 15899 markings/sec, 70 secs
lola: STP completed || 2 tries, 1656514 fired transitions, 75 secs || 1295806 markings, 4773674 edges, 16161 markings/sec, 75 secs
lola: STP completed || 2 tries, 1760861 fired transitions, 80 secs || 1376512 markings, 5081288 edges, 16141 markings/sec, 80 secs
lola: STP completed || 2 tries, 1866569 fired transitions, 85 secs || 1457002 markings, 5389724 edges, 16098 markings/sec, 85 secs
lola: STP completed || 2 tries, 1969558 fired transitions, 90 secs || 1534649 markings, 5717724 edges, 15529 markings/sec, 90 secs
lola: STP completed || 3 tries, 2072177 fired transitions, 95 secs || 1613695 markings, 6044280 edges, 15809 markings/sec, 95 secs
lola: STP completed || 3 tries, 2174900 fired transitions, 100 secs || 1695216 markings, 6363058 edges, 16304 markings/sec, 100 secs
lola: STP completed || 3 tries, 2277336 fired transitions, 105 secs || 1777344 markings, 6673341 edges, 16426 markings/sec, 105 secs
lola: STP completed || 3 tries, 2378841 fired transitions, 110 secs || 1860104 markings, 7000841 edges, 16552 markings/sec, 110 secs
lola: STP completed || 3 tries, 2480046 fired transitions, 115 secs || 1940904 markings, 7322249 edges, 16160 markings/sec, 115 secs
lola: STP completed || 3 tries, 2580823 fired transitions, 120 secs || 2024093 markings, 7646127 edges, 16638 markings/sec, 120 secs
lola: STP completed || 3 tries, 2683561 fired transitions, 125 secs || 2108346 markings, 7977934 edges, 16851 markings/sec, 125 secs
lola: STP completed || 3 tries, 2786336 fired transitions, 130 secs || 2190273 markings, 8298789 edges, 16385 markings/sec, 130 secs
lola: STP completed || 3 tries, 2887337 fired transitions, 135 secs || 2271055 markings, 8649209 edges, 16156 markings/sec, 135 secs
lola: STP completed || 3 tries, 2990940 fired transitions, 140 secs || 2353459 markings, 8995444 edges, 16481 markings/sec, 140 secs
lola: STP completed || 4 tries, 3093270 fired transitions, 145 secs || 2434278 markings, 9325902 edges, 16164 markings/sec, 145 secs
lola: STP completed || 4 tries, 3196147 fired transitions, 150 secs || 2517328 markings, 9668491 edges, 16610 markings/sec, 150 secs
lola: STP completed || 4 tries, 3298949 fired transitions, 155 secs || 2597532 markings, 9992770 edges, 16041 markings/sec, 155 secs
lola: STP completed || 4 tries, 3399396 fired transitions, 160 secs || 2681072 markings, 10323373 edges, 16708 markings/sec, 160 secs
lola: STP completed || 4 tries, 3501996 fired transitions, 165 secs || 2762582 markings, 10649250 edges, 16302 markings/sec, 165 secs
lola: STP completed || 4 tries, 3604131 fired transitions, 170 secs || 2844159 markings, 10971869 edges, 16315 markings/sec, 170 secs
lola: STP completed || 4 tries, 3703386 fired transitions, 175 secs || 2924706 markings, 11302807 edges, 16109 markings/sec, 175 secs
lola: STP completed || 4 tries, 3803078 fired transitions, 180 secs || 3003280 markings, 11620020 edges, 15715 markings/sec, 180 secs
lola: STP completed || 4 tries, 3903738 fired transitions, 185 secs || 3084198 markings, 11958650 edges, 16184 markings/sec, 185 secs
lola: STP completed || 5 tries, 4004229 fired transitions, 190 secs || 3164825 markings, 12295534 edges, 16125 markings/sec, 190 secs
lola: STP completed || 5 tries, 4105871 fired transitions, 195 secs || 3248244 markings, 12640404 edges, 16684 markings/sec, 195 secs
lola: STP completed || 5 tries, 4209375 fired transitions, 200 secs || 3330428 markings, 12959186 edges, 16437 markings/sec, 200 secs
lola: STP completed || 5 tries, 4310372 fired transitions, 205 secs || 3408449 markings, 13276810 edges, 15604 markings/sec, 205 secs
lola: STP completed || 5 tries, 4409373 fired transitions, 210 secs || 3485740 markings, 13588421 edges, 15458 markings/sec, 210 secs
lola: STP completed || 5 tries, 4507805 fired transitions, 215 secs || 3560773 markings, 13907665 edges, 15007 markings/sec, 215 secs
lola: STP completed || 5 tries, 4605554 fired transitions, 220 secs || 3638851 markings, 14214165 edges, 15616 markings/sec, 220 secs
lola: STP completed || 5 tries, 4705772 fired transitions, 225 secs || 3717200 markings, 14532936 edges, 15670 markings/sec, 225 secs
lola: STP completed || 5 tries, 4804486 fired transitions, 230 secs || 3797645 markings, 14882800 edges, 16089 markings/sec, 230 secs
lola: STP completed || 5 tries, 4906695 fired transitions, 235 secs || 3875104 markings, 15210931 edges, 15492 markings/sec, 235 secs
lola: STP completed || 6 tries, 5008838 fired transitions, 240 secs || 3951217 markings, 15531723 edges, 15223 markings/sec, 240 secs
lola: STP completed || 6 tries, 5109645 fired transitions, 245 secs || 4027655 markings, 15838410 edges, 15288 markings/sec, 245 secs
lola: STP completed || 6 tries, 5210061 fired transitions, 250 secs || 4103592 markings, 16153738 edges, 15187 markings/sec, 250 secs
lola: STP completed || 6 tries, 5310074 fired transitions, 255 secs || 4183018 markings, 16466911 edges, 15885 markings/sec, 255 secs
lola: STP completed || 6 tries, 5408584 fired transitions, 260 secs || 4259132 markings, 16773857 edges, 15223 markings/sec, 260 secs
lola: STP completed || 6 tries, 5507081 fired transitions, 265 secs || 4336402 markings, 17088836 edges, 15454 markings/sec, 265 secs
lola: STP completed || 6 tries, 5605001 fired transitions, 270 secs || 4414852 markings, 17415003 edges, 15690 markings/sec, 270 secs
lola: STP completed || 6 tries, 5703413 fired transitions, 275 secs || 4490951 markings, 17729218 edges, 15220 markings/sec, 275 secs
lola: STP completed || 6 tries, 5801681 fired transitions, 280 secs || 4566488 markings, 18051346 edges, 15107 markings/sec, 280 secs
lola: STP completed || 6 tries, 5900879 fired transitions, 285 secs || 4643634 markings, 18366546 edges, 15429 markings/sec, 285 secs
lola: STP completed || 6 tries, 5999994 fired transitions, 290 secs || 4723124 markings, 18695119 edges, 15898 markings/sec, 290 secs
lola: STP completed || 7 tries, 6099508 fired transitions, 295 secs || 4799356 markings, 19020064 edges, 15246 markings/sec, 295 secs
lola: STP completed || 7 tries, 6198932 fired transitions, 300 secs || 4876098 markings, 19350592 edges, 15348 markings/sec, 300 secs
lola: STP completed || 7 tries, 6298114 fired transitions, 305 secs || 4954015 markings, 19661544 edges, 15583 markings/sec, 305 secs
lola: STP completed || 7 tries, 6397356 fired transitions, 310 secs || 5033313 markings, 19997286 edges, 15860 markings/sec, 310 secs
lola: STP completed || 7 tries, 6497357 fired transitions, 315 secs || 5110214 markings, 20340870 edges, 15380 markings/sec, 315 secs
lola: STP completed || 7 tries, 6597066 fired transitions, 320 secs || 5185938 markings, 20666096 edges, 15145 markings/sec, 320 secs
lola: STP completed || 7 tries, 6696665 fired transitions, 325 secs || 5262946 markings, 20992228 edges, 15402 markings/sec, 325 secs
lola: STP completed || 7 tries, 6797761 fired transitions, 330 secs || 5341715 markings, 21318921 edges, 15754 markings/sec, 330 secs
lola: STP completed || 7 tries, 6898479 fired transitions, 335 secs || 5422659 markings, 21661676 edges, 16189 markings/sec, 335 secs
lola: STP completed || 7 tries, 6999550 fired transitions, 340 secs || 5500037 markings, 21991745 edges, 15476 markings/sec, 340 secs
lola: STP completed || 8 tries, 7099469 fired transitions, 345 secs || 5579513 markings, 22306752 edges, 15895 markings/sec, 345 secs
lola: STP completed || 8 tries, 7200503 fired transitions, 350 secs || 5657771 markings, 22635772 edges, 15652 markings/sec, 350 secs
lola: STP completed || 8 tries, 7301153 fired transitions, 355 secs || 5737733 markings, 22960511 edges, 15992 markings/sec, 355 secs
lola: STP completed || 8 tries, 7401502 fired transitions, 360 secs || 5816630 markings, 23279218 edges, 15779 markings/sec, 360 secs
lola: STP completed || 8 tries, 7504170 fired transitions, 365 secs || 5894338 markings, 23617090 edges, 15542 markings/sec, 365 secs
lola: STP completed || 8 tries, 7607185 fired transitions, 370 secs || 5970806 markings, 23956921 edges, 15294 markings/sec, 370 secs
lola: STP completed || 8 tries, 7709672 fired transitions, 375 secs || 6049462 markings, 24284437 edges, 15731 markings/sec, 375 secs
lola: STP completed || 8 tries, 7812683 fired transitions, 380 secs || 6127975 markings, 24626523 edges, 15703 markings/sec, 380 secs
lola: STP completed || 8 tries, 7915408 fired transitions, 385 secs || 6208961 markings, 24967262 edges, 16197 markings/sec, 385 secs
lola: STP completed || 9 tries, 8018929 fired transitions, 390 secs || 6286150 markings, 25313710 edges, 15438 markings/sec, 390 secs
lola: STP completed || 9 tries, 8122349 fired transitions, 395 secs || 6365064 markings, 25647860 edges, 15783 markings/sec, 395 secs
lola: STP completed || 9 tries, 8226172 fired transitions, 400 secs || 6443617 markings, 25970129 edges, 15711 markings/sec, 400 secs
lola: STP completed || 9 tries, 8328912 fired transitions, 405 secs || 6525875 markings, 26299698 edges, 16452 markings/sec, 405 secs
lola: STP completed || 9 tries, 8432144 fired transitions, 410 secs || 6602995 markings, 26630832 edges, 15424 markings/sec, 410 secs
lola: STP completed || 9 tries, 8536686 fired transitions, 415 secs || 6678812 markings, 26957191 edges, 15163 markings/sec, 415 secs
lola: STP completed || 9 tries, 8639289 fired transitions, 420 secs || 6754401 markings, 27284586 edges, 15118 markings/sec, 420 secs
lola: STP completed || 9 tries, 8740598 fired transitions, 425 secs || 6834048 markings, 27634730 edges, 15929 markings/sec, 425 secs
lola: STP completed || 9 tries, 8843985 fired transitions, 430 secs || 6912550 markings, 27962795 edges, 15700 markings/sec, 430 secs
lola: STP completed || 9 tries, 8946661 fired transitions, 435 secs || 6990434 markings, 28287627 edges, 15577 markings/sec, 435 secs
lola: STP completed || 10 tries, 9050115 fired transitions, 440 secs || 7066529 markings, 28623351 edges, 15219 markings/sec, 440 secs
lola: STP completed || 10 tries, 9153782 fired transitions, 445 secs || 7143724 markings, 28980237 edges, 15439 markings/sec, 445 secs
lola: STP completed || 10 tries, 9258763 fired transitions, 450 secs || 7221440 markings, 29300865 edges, 15543 markings/sec, 450 secs
lola: STP completed || 10 tries, 9362240 fired transitions, 455 secs || 7298943 markings, 29626858 edges, 15501 markings/sec, 455 secs
lola: STP completed || 10 tries, 9466522 fired transitions, 460 secs || 7374992 markings, 29943448 edges, 15210 markings/sec, 460 secs
lola: STP completed || 10 tries, 9569898 fired transitions, 465 secs || 7450177 markings, 30273668 edges, 15037 markings/sec, 465 secs
lola: STP completed || 10 tries, 9671845 fired transitions, 470 secs || 7525460 markings, 30593728 edges, 15057 markings/sec, 470 secs
lola: STP completed || 10 tries, 9775063 fired transitions, 475 secs || 7600598 markings, 30916959 edges, 15028 markings/sec, 475 secs
lola: STP completed || 10 tries, 9875457 fired transitions, 480 secs || 7676382 markings, 31259145 edges, 15157 markings/sec, 480 secs
lola: STP completed || 10 tries, 9976444 fired transitions, 485 secs || 7750665 markings, 31608381 edges, 14857 markings/sec, 485 secs
lola: STP completed || 11 tries, 10076501 fired transitions, 490 secs || 7827643 markings, 31955776 edges, 15396 markings/sec, 490 secs
lola: STP completed || 11 tries, 10175802 fired transitions, 495 secs || 7904450 markings, 32289304 edges, 15361 markings/sec, 495 secs
lola: STP completed || 11 tries, 10275009 fired transitions, 500 secs || 7983037 markings, 32633160 edges, 15717 markings/sec, 500 secs
lola: STP completed || 11 tries, 10375799 fired transitions, 505 secs || 8061329 markings, 32962666 edges, 15658 markings/sec, 505 secs
lola: STP completed || 11 tries, 10478368 fired transitions, 510 secs || 8136803 markings, 33283133 edges, 15095 markings/sec, 510 secs
lola: STP completed || 11 tries, 10580105 fired transitions, 515 secs || 8212638 markings, 33625694 edges, 15167 markings/sec, 515 secs
lola: STP completed || 11 tries, 10681333 fired transitions, 520 secs || 8287739 markings, 33976563 edges, 15020 markings/sec, 520 secs
lola: STP completed || 11 tries, 10784020 fired transitions, 525 secs || 8363933 markings, 34324223 edges, 15239 markings/sec, 525 secs
lola: STP completed || 11 tries, 10886517 fired transitions, 530 secs || 8440479 markings, 34682904 edges, 15309 markings/sec, 530 secs
lola: STP completed || 11 tries, 10987145 fired transitions, 535 secs || 8518497 markings, 35019446 edges, 15604 markings/sec, 535 secs
lola: STP completed || 12 tries, 11087739 fired transitions, 540 secs || 8594549 markings, 35348243 edges, 15210 markings/sec, 540 secs
lola: STP completed || 12 tries, 11188328 fired transitions, 545 secs || 8671560 markings, 35689636 edges, 15402 markings/sec, 545 secs
lola: STP completed || 12 tries, 11288361 fired transitions, 550 secs || 8749906 markings, 36036421 edges, 15669 markings/sec, 550 secs
lola: STP completed || 12 tries, 11388122 fired transitions, 555 secs || 8829199 markings, 36394842 edges, 15859 markings/sec, 555 secs
lola: STP completed || 12 tries, 11487792 fired transitions, 560 secs || 8908784 markings, 36760582 edges, 15917 markings/sec, 560 secs
lola: STP completed || 12 tries, 11588383 fired transitions, 565 secs || 8987956 markings, 37091595 edges, 15834 markings/sec, 565 secs
lola: STP completed || 12 tries, 11689033 fired transitions, 570 secs || 9067415 markings, 37440515 edges, 15892 markings/sec, 570 secs
lola: STP completed || 12 tries, 11791526 fired transitions, 575 secs || 9148217 markings, 37785392 edges, 16160 markings/sec, 575 secs
lola: STP completed || 12 tries, 11894447 fired transitions, 580 secs || 9226592 markings, 38141466 edges, 15675 markings/sec, 580 secs
lola: STP completed || 13 tries, 12000027 fired transitions, 585 secs || 9306259 markings, 38497341 edges, 15933 markings/sec, 585 secs
lola: STP completed || 13 tries, 12106517 fired transitions, 590 secs || 9384648 markings, 38834419 edges, 15678 markings/sec, 590 secs
lola: STP completed || 13 tries, 12211807 fired transitions, 595 secs || 9465659 markings, 39188948 edges, 16202 markings/sec, 595 secs
lola: STP completed || 13 tries, 12318327 fired transitions, 600 secs || 9542568 markings, 39539568 edges, 15382 markings/sec, 600 secs
lola: STP completed || 13 tries, 12423595 fired transitions, 605 secs || 9621722 markings, 39888144 edges, 15831 markings/sec, 605 secs
lola: STP completed || 13 tries, 12528814 fired transitions, 610 secs || 9697687 markings, 40246547 edges, 15193 markings/sec, 610 secs
lola: STP completed || 13 tries, 12631732 fired transitions, 615 secs || 9774369 markings, 40600533 edges, 15336 markings/sec, 615 secs
lola: STP completed || 13 tries, 12734401 fired transitions, 620 secs || 9853084 markings, 40980528 edges, 15743 markings/sec, 620 secs
lola: STP completed || 13 tries, 12836957 fired transitions, 625 secs || 9931790 markings, 41324607 edges, 15741 markings/sec, 625 secs
lola: STP completed || 13 tries, 12939067 fired transitions, 630 secs || 10011677 markings, 41701329 edges, 15977 markings/sec, 630 secs
lola: STP completed || 14 tries, 13040981 fired transitions, 635 secs || 10090532 markings, 42038873 edges, 15771 markings/sec, 635 secs
lola: STP completed || 14 tries, 13144441 fired transitions, 640 secs || 10173049 markings, 42403421 edges, 16503 markings/sec, 640 secs
lola: STP completed || 14 tries, 13247140 fired transitions, 645 secs || 10253847 markings, 42767682 edges, 16160 markings/sec, 645 secs
lola: STP completed || 14 tries, 13349805 fired transitions, 650 secs || 10335191 markings, 43107276 edges, 16269 markings/sec, 650 secs
lola: STP completed || 14 tries, 13453310 fired transitions, 655 secs || 10415737 markings, 43445756 edges, 16109 markings/sec, 655 secs
lola: STP completed || 14 tries, 13555861 fired transitions, 660 secs || 10496591 markings, 43814873 edges, 16171 markings/sec, 660 secs
lola: STP completed || 14 tries, 13658009 fired transitions, 665 secs || 10576827 markings, 44172891 edges, 16047 markings/sec, 665 secs
lola: STP completed || 14 tries, 13760074 fired transitions, 670 secs || 10656770 markings, 44543233 edges, 15989 markings/sec, 670 secs
lola: STP completed || 14 tries, 13861225 fired transitions, 675 secs || 10735799 markings, 44892525 edges, 15806 markings/sec, 675 secs
lola: STP completed || 14 tries, 13961703 fired transitions, 680 secs || 10816642 markings, 45239871 edges, 16169 markings/sec, 680 secs
lola: STP completed || 15 tries, 14065499 fired transitions, 685 secs || 10896054 markings, 45590634 edges, 15882 markings/sec, 685 secs
lola: STP completed || 15 tries, 14167690 fired transitions, 690 secs || 10977077 markings, 45919188 edges, 16205 markings/sec, 690 secs
lola: STP completed || 15 tries, 14271176 fired transitions, 695 secs || 11052898 markings, 46271499 edges, 15164 markings/sec, 695 secs
lola: STP completed || 15 tries, 14373794 fired transitions, 700 secs || 11131520 markings, 46602310 edges, 15724 markings/sec, 700 secs
lola: STP completed || 15 tries, 14476562 fired transitions, 705 secs || 11211464 markings, 46963350 edges, 15989 markings/sec, 705 secs
lola: STP completed || 15 tries, 14580606 fired transitions, 710 secs || 11289373 markings, 47325689 edges, 15582 markings/sec, 710 secs
lola: STP completed || 15 tries, 14682968 fired transitions, 715 secs || 11369390 markings, 47629865 edges, 16003 markings/sec, 715 secs
lola: STP completed || 15 tries, 14785959 fired transitions, 720 secs || 11448499 markings, 47977278 edges, 15822 markings/sec, 720 secs
lola: STP completed || 15 tries, 14888946 fired transitions, 725 secs || 11528143 markings, 48298793 edges, 15929 markings/sec, 725 secs
lola: STP completed || 15 tries, 14991085 fired transitions, 730 secs || 11607411 markings, 48632418 edges, 15854 markings/sec, 730 secs
lola: STP completed || 16 tries, 15091158 fired transitions, 735 secs || 11687564 markings, 48984901 edges, 16031 markings/sec, 735 secs
lola: STP completed || 16 tries, 15190938 fired transitions, 740 secs || 11769359 markings, 49321206 edges, 16359 markings/sec, 740 secs
lola: STP completed || 16 tries, 15290859 fired transitions, 745 secs || 11851928 markings, 49671739 edges, 16514 markings/sec, 745 secs
lola: STP completed || 16 tries, 15389929 fired transitions, 750 secs || 11932898 markings, 50029015 edges, 16194 markings/sec, 750 secs
lola: STP completed || 16 tries, 15490620 fired transitions, 755 secs || 12014016 markings, 50386799 edges, 16224 markings/sec, 755 secs
lola: STP completed || 16 tries, 15590748 fired transitions, 760 secs || 12095561 markings, 50742186 edges, 16309 markings/sec, 760 secs
lola: STP completed || 16 tries, 15691021 fired transitions, 765 secs || 12177892 markings, 51075427 edges, 16466 markings/sec, 765 secs
lola: STP completed || 16 tries, 15791683 fired transitions, 770 secs || 12260739 markings, 51432475 edges, 16569 markings/sec, 770 secs
lola: STP completed || 16 tries, 15892861 fired transitions, 775 secs || 12342312 markings, 51774574 edges, 16315 markings/sec, 775 secs
lola: STP completed || 16 tries, 15993123 fired transitions, 780 secs || 12420186 markings, 52118497 edges, 15575 markings/sec, 780 secs
lola: STP completed || 17 tries, 16093680 fired transitions, 785 secs || 12501720 markings, 52461877 edges, 16307 markings/sec, 785 secs
lola: STP completed || 17 tries, 16195981 fired transitions, 790 secs || 12579743 markings, 52805044 edges, 15605 markings/sec, 790 secs
lola: STP completed || 17 tries, 16295974 fired transitions, 795 secs || 12662410 markings, 53140514 edges, 16533 markings/sec, 795 secs
lola: STP completed || 17 tries, 16398715 fired transitions, 800 secs || 12742781 markings, 53546763 edges, 16074 markings/sec, 800 secs
lola: STP completed || 17 tries, 16463504 fired transitions, 805 secs || 12789481 markings, 53740181 edges, 9340 markings/sec, 805 secs
lola: STP completed || 17 tries, 16528331 fired transitions, 810 secs || 12837999 markings, 53941555 edges, 9704 markings/sec, 810 secs
lola: STP completed || 17 tries, 16593127 fired transitions, 815 secs || 12887535 markings, 54132104 edges, 9907 markings/sec, 815 secs
lola: STP completed || 17 tries, 16676522 fired transitions, 820 secs || 12950301 markings, 54398409 edges, 12553 markings/sec, 820 secs
lola: STP completed || 17 tries, 16774491 fired transitions, 825 secs || 13024274 markings, 54712064 edges, 14795 markings/sec, 825 secs
lola: STP completed || 17 tries, 16874471 fired transitions, 830 secs || 13103883 markings, 55075598 edges, 15922 markings/sec, 830 secs
lola: STP completed || 17 tries, 16973779 fired transitions, 835 secs || 13187066 markings, 55441985 edges, 16637 markings/sec, 835 secs
lola: STP completed || 18 tries, 17074068 fired transitions, 840 secs || 13264980 markings, 55799676 edges, 15583 markings/sec, 840 secs
lola: STP completed || 18 tries, 17174106 fired transitions, 845 secs || 13340665 markings, 56154955 edges, 15137 markings/sec, 845 secs
lola: STP completed || 18 tries, 17274058 fired transitions, 850 secs || 13417713 markings, 56517902 edges, 15410 markings/sec, 850 secs
lola: STP completed || 18 tries, 17375099 fired transitions, 855 secs || 13495827 markings, 56850318 edges, 15623 markings/sec, 855 secs
lola: STP completed || 18 tries, 17458020 fired transitions, 860 secs || 13557933 markings, 57112956 edges, 12421 markings/sec, 860 secs
lola: STP completed || 18 tries, 17517035 fired transitions, 865 secs || 13602264 markings, 57318618 edges, 8866 markings/sec, 865 secs
lola: STP completed || 18 tries, 17582940 fired transitions, 870 secs || 13652411 markings, 57523495 edges, 10029 markings/sec, 870 secs
lola: STP completed || 18 tries, 17647844 fired transitions, 875 secs || 13699941 markings, 57724788 edges, 9506 markings/sec, 875 secs
lola: STP completed || 18 tries, 17712279 fired transitions, 880 secs || 13748243 markings, 57923680 edges, 9660 markings/sec, 880 secs
lola: STP completed || 18 tries, 17776701 fired transitions, 885 secs || 13797434 markings, 58126152 edges, 9838 markings/sec, 885 secs
lola: STP completed || 18 tries, 17841303 fired transitions, 890 secs || 13845682 markings, 58330296 edges, 9650 markings/sec, 890 secs
lola: STP completed || 18 tries, 17906250 fired transitions, 895 secs || 13893990 markings, 58536658 edges, 9662 markings/sec, 895 secs
lola: STP completed || 18 tries, 17970972 fired transitions, 900 secs || 13942481 markings, 58734624 edges, 9698 markings/sec, 900 secs
lola: STP completed || 19 tries, 18035939 fired transitions, 905 secs || 13990621 markings, 58941679 edges, 9628 markings/sec, 905 secs
lola: STP completed || 19 tries, 18100010 fired transitions, 910 secs || 14037456 markings, 59162556 edges, 9367 markings/sec, 910 secs
lola: STP completed || 19 tries, 18165177 fired transitions, 915 secs || 14086126 markings, 59384631 edges, 9734 markings/sec, 915 secs
lola: STP completed || 19 tries, 18230489 fired transitions, 920 secs || 14135974 markings, 59578914 edges, 9970 markings/sec, 920 secs
lola: STP completed || 19 tries, 18295453 fired transitions, 925 secs || 14186141 markings, 59778101 edges, 10033 markings/sec, 925 secs
lola: STP completed || 19 tries, 18375328 fired transitions, 930 secs || 14245199 markings, 60022022 edges, 11812 markings/sec, 930 secs
lola: STP completed || 19 tries, 18446491 fired transitions, 935 secs || 14297507 markings, 60252137 edges, 10462 markings/sec, 935 secs
lola: STP completed || 19 tries, 18510630 fired transitions, 940 secs || 14347154 markings, 60469221 edges, 9929 markings/sec, 940 secs
lola: STP completed || 19 tries, 18573205 fired transitions, 945 secs || 14392403 markings, 60674881 edges, 9050 markings/sec, 945 secs
lola: STP completed || 19 tries, 18637321 fired transitions, 950 secs || 14441703 markings, 60905581 edges, 9860 markings/sec, 950 secs
lola: STP completed || 19 tries, 18701971 fired transitions, 955 secs || 14491428 markings, 61114103 edges, 9945 markings/sec, 955 secs
lola: STP completed || 19 tries, 18766861 fired transitions, 960 secs || 14539387 markings, 61324379 edges, 9592 markings/sec, 960 secs
lola: STP completed || 19 tries, 18831477 fired transitions, 965 secs || 14588425 markings, 61543788 edges, 9808 markings/sec, 965 secs
lola: STP completed || 19 tries, 18897894 fired transitions, 970 secs || 14638998 markings, 61737483 edges, 10115 markings/sec, 970 secs
lola: STP completed || 19 tries, 18964766 fired transitions, 975 secs || 14688971 markings, 61936495 edges, 9995 markings/sec, 975 secs
lola: STP completed || 20 tries, 19030459 fired transitions, 980 secs || 14739256 markings, 62144274 edges, 10057 markings/sec, 980 secs
lola: STP completed || 20 tries, 19096461 fired transitions, 985 secs || 14789938 markings, 62362583 edges, 10136 markings/sec, 985 secs
lola: STP completed || 20 tries, 19162758 fired transitions, 990 secs || 14840484 markings, 62559804 edges, 10109 markings/sec, 990 secs
lola: STP completed || 20 tries, 19228583 fired transitions, 995 secs || 14888470 markings, 62770092 edges, 9597 markings/sec, 995 secs
lola: STP completed || 20 tries, 19294403 fired transitions, 1000 secs || 14937322 markings, 62973833 edges, 9770 markings/sec, 1000 secs
lola: STP completed || 20 tries, 19362013 fired transitions, 1005 secs || 14986366 markings, 63180473 edges, 9809 markings/sec, 1005 secs
lola: STP completed || 20 tries, 19430066 fired transitions, 1010 secs || 15036795 markings, 63399288 edges, 10086 markings/sec, 1010 secs
lola: STP completed || 20 tries, 19498566 fired transitions, 1015 secs || 15087533 markings, 63615648 edges, 10148 markings/sec, 1015 secs
lola: STP completed || 20 tries, 19567010 fired transitions, 1020 secs || 15138976 markings, 63829394 edges, 10289 markings/sec, 1020 secs
lola: STP completed || 20 tries, 19635044 fired transitions, 1025 secs || 15189288 markings, 64064173 edges, 10062 markings/sec, 1025 secs
lola: STP completed || 20 tries, 19703005 fired transitions, 1030 secs || 15240943 markings, 64290216 edges, 10331 markings/sec, 1030 secs
lola: STP completed || 20 tries, 19770409 fired transitions, 1035 secs || 15291694 markings, 64514174 edges, 10150 markings/sec, 1035 secs
lola: STP completed || 20 tries, 19838216 fired transitions, 1040 secs || 15340011 markings, 64736822 edges, 9663 markings/sec, 1040 secs
lola: STP completed || 20 tries, 19906173 fired transitions, 1045 secs || 15392952 markings, 64960783 edges, 10588 markings/sec, 1045 secs
lola: STP completed || 20 tries, 19973852 fired transitions, 1050 secs || 15445858 markings, 65190654 edges, 10581 markings/sec, 1050 secs
lola: STP completed || 21 tries, 20041452 fired transitions, 1055 secs || 15494794 markings, 65413977 edges, 9787 markings/sec, 1055 secs
lola: STP completed || 21 tries, 20107930 fired transitions, 1060 secs || 15542211 markings, 65631868 edges, 9483 markings/sec, 1060 secs
lola: STP completed || 21 tries, 20174176 fired transitions, 1065 secs || 15591515 markings, 65833556 edges, 9861 markings/sec, 1065 secs
lola: STP completed || 21 tries, 20239967 fired transitions, 1070 secs || 15639679 markings, 66045814 edges, 9633 markings/sec, 1070 secs
lola: STP completed || 21 tries, 20306655 fired transitions, 1075 secs || 15686514 markings, 66262789 edges, 9367 markings/sec, 1075 secs
lola: STP completed || 21 tries, 20374604 fired transitions, 1080 secs || 15736867 markings, 66476746 edges, 10071 markings/sec, 1080 secs
lola: STP completed || 21 tries, 20441239 fired transitions, 1085 secs || 15787892 markings, 66689120 edges, 10205 markings/sec, 1085 secs
lola: STP completed || 21 tries, 20508120 fired transitions, 1090 secs || 15838081 markings, 66890199 edges, 10038 markings/sec, 1090 secs
lola: STP completed || 21 tries, 20575533 fired transitions, 1095 secs || 15888973 markings, 67095682 edges, 10178 markings/sec, 1095 secs
lola: STP completed || 21 tries, 20644214 fired transitions, 1100 secs || 15939859 markings, 67316504 edges, 10177 markings/sec, 1100 secs
lola: STP completed || 21 tries, 20712178 fired transitions, 1105 secs || 15992153 markings, 67567394 edges, 10459 markings/sec, 1105 secs
lola: STP completed || 21 tries, 20778967 fired transitions, 1110 secs || 16042184 markings, 67775079 edges, 10006 markings/sec, 1110 secs
lola: STP completed || 21 tries, 20844668 fired transitions, 1115 secs || 16090581 markings, 67985403 edges, 9679 markings/sec, 1115 secs
lola: STP completed || 21 tries, 20908849 fired transitions, 1120 secs || 16138103 markings, 68179424 edges, 9504 markings/sec, 1120 secs
lola: STP completed || 21 tries, 20972703 fired transitions, 1125 secs || 16184168 markings, 68369896 edges, 9213 markings/sec, 1125 secs
lola: STP completed || 22 tries, 21036452 fired transitions, 1130 secs || 16232712 markings, 68575584 edges, 9709 markings/sec, 1130 secs
lola: STP completed || 22 tries, 21102280 fired transitions, 1135 secs || 16282558 markings, 68780636 edges, 9969 markings/sec, 1135 secs
lola: STP completed || 22 tries, 21168396 fired transitions, 1140 secs || 16332428 markings, 68977531 edges, 9974 markings/sec, 1140 secs
lola: STP completed || 22 tries, 21233310 fired transitions, 1145 secs || 16378797 markings, 69199605 edges, 9274 markings/sec, 1145 secs
lola: STP completed || 22 tries, 21298649 fired transitions, 1150 secs || 16427931 markings, 69396110 edges, 9827 markings/sec, 1150 secs
lola: STP completed || 22 tries, 21364033 fired transitions, 1155 secs || 16477549 markings, 69596652 edges, 9924 markings/sec, 1155 secs
lola: STP completed || 22 tries, 21427199 fired transitions, 1160 secs || 16525820 markings, 69787181 edges, 9654 markings/sec, 1160 secs
lola: STP completed || 22 tries, 21490855 fired transitions, 1165 secs || 16573352 markings, 69977994 edges, 9506 markings/sec, 1165 secs
lola: STP completed || 22 tries, 21554985 fired transitions, 1170 secs || 16621616 markings, 70163134 edges, 9653 markings/sec, 1170 secs
lola: STP completed || 22 tries, 21618193 fired transitions, 1175 secs || 16668343 markings, 70350140 edges, 9345 markings/sec, 1175 secs
lola: STP completed || 22 tries, 21681507 fired transitions, 1180 secs || 16715618 markings, 70532571 edges, 9455 markings/sec, 1180 secs
lola: STP completed || 22 tries, 21746196 fired transitions, 1185 secs || 16764454 markings, 70735168 edges, 9767 markings/sec, 1185 secs
lola: STP completed || 22 tries, 21832211 fired transitions, 1190 secs || 16833969 markings, 71017927 edges, 13903 markings/sec, 1190 secs
lola: STP completed || 22 tries, 21934607 fired transitions, 1195 secs || 16913851 markings, 71378137 edges, 15976 markings/sec, 1195 secs
lola: STP completed || 23 tries, 22019067 fired transitions, 1200 secs || 16978800 markings, 71654398 edges, 12990 markings/sec, 1200 secs
lola: STP completed || 23 tries, 22118269 fired transitions, 1205 secs || 17057549 markings, 72009729 edges, 15750 markings/sec, 1205 secs
lola: STP completed || 23 tries, 22219998 fired transitions, 1210 secs || 17138314 markings, 72345992 edges, 16153 markings/sec, 1210 secs
lola: STP completed || 23 tries, 22321075 fired transitions, 1215 secs || 17219443 markings, 72697973 edges, 16226 markings/sec, 1215 secs
lola: STP completed || 23 tries, 22423045 fired transitions, 1220 secs || 17296013 markings, 73036426 edges, 15314 markings/sec, 1220 secs
lola: STP completed || 23 tries, 22524779 fired transitions, 1225 secs || 17372571 markings, 73410333 edges, 15312 markings/sec, 1225 secs
lola: STP completed || 23 tries, 22626963 fired transitions, 1230 secs || 17453718 markings, 73763254 edges, 16229 markings/sec, 1230 secs
lola: STP completed || 23 tries, 22729381 fired transitions, 1235 secs || 17537086 markings, 74161446 edges, 16674 markings/sec, 1235 secs
lola: STP completed || 23 tries, 22829539 fired transitions, 1240 secs || 17618265 markings, 74503114 edges, 16236 markings/sec, 1240 secs
lola: STP completed || 23 tries, 22930483 fired transitions, 1245 secs || 17700649 markings, 74853803 edges, 16477 markings/sec, 1245 secs
lola: STP completed || 24 tries, 23031765 fired transitions, 1250 secs || 17781119 markings, 75205899 edges, 16094 markings/sec, 1250 secs
lola: STP completed || 24 tries, 23133918 fired transitions, 1255 secs || 17859767 markings, 75583199 edges, 15730 markings/sec, 1255 secs
lola: STP completed || 24 tries, 23234711 fired transitions, 1260 secs || 17939386 markings, 75952838 edges, 15924 markings/sec, 1260 secs
lola: STP completed || 24 tries, 23333569 fired transitions, 1265 secs || 18021164 markings, 76315876 edges, 16356 markings/sec, 1265 secs
lola: STP completed || 24 tries, 23432853 fired transitions, 1270 secs || 18101580 markings, 76675818 edges, 16083 markings/sec, 1270 secs
lola: STP completed || 24 tries, 23532382 fired transitions, 1275 secs || 18179183 markings, 77066031 edges, 15521 markings/sec, 1275 secs
lola: STP completed || 24 tries, 23626544 fired transitions, 1280 secs || 18254732 markings, 77384973 edges, 15110 markings/sec, 1280 secs
lola: STP completed || 24 tries, 23691484 fired transitions, 1285 secs || 18301502 markings, 77603886 edges, 9354 markings/sec, 1285 secs
lola: STP completed || 24 tries, 23794851 fired transitions, 1290 secs || 18375637 markings, 77943806 edges, 14827 markings/sec, 1290 secs
lola: STP completed || 24 tries, 23895737 fired transitions, 1295 secs || 18456612 markings, 78288760 edges, 16195 markings/sec, 1295 secs
lola: STP completed || 24 tries, 23999351 fired transitions, 1300 secs || 18533366 markings, 78610984 edges, 15351 markings/sec, 1300 secs
lola: STP completed || 25 tries, 24104132 fired transitions, 1305 secs || 18612689 markings, 78928958 edges, 15865 markings/sec, 1305 secs
lola: STP completed || 25 tries, 24207980 fired transitions, 1310 secs || 18689840 markings, 79257894 edges, 15430 markings/sec, 1310 secs
lola: STP completed || 25 tries, 24312102 fired transitions, 1315 secs || 18766799 markings, 79611153 edges, 15392 markings/sec, 1315 secs
lola: STP completed || 25 tries, 24417184 fired transitions, 1320 secs || 18844206 markings, 79953588 edges, 15481 markings/sec, 1320 secs
lola: STP completed || 25 tries, 24520961 fired transitions, 1325 secs || 18922611 markings, 80284888 edges, 15681 markings/sec, 1325 secs
lola: STP completed || 25 tries, 24625343 fired transitions, 1330 secs || 18999729 markings, 80629869 edges, 15424 markings/sec, 1330 secs
lola: STP completed || 25 tries, 24729249 fired transitions, 1335 secs || 19076914 markings, 80970734 edges, 15437 markings/sec, 1335 secs
lola: STP completed || 25 tries, 24832532 fired transitions, 1340 secs || 19153804 markings, 81309637 edges, 15378 markings/sec, 1340 secs
lola: STP completed || 25 tries, 24936480 fired transitions, 1345 secs || 19230053 markings, 81642917 edges, 15250 markings/sec, 1345 secs
lola: STP completed || 26 tries, 25040477 fired transitions, 1350 secs || 19305076 markings, 81968652 edges, 15005 markings/sec, 1350 secs
lola: STP completed || 26 tries, 25146275 fired transitions, 1355 secs || 19379564 markings, 82355508 edges, 14898 markings/sec, 1355 secs
lola: STP completed || 26 tries, 25250919 fired transitions, 1360 secs || 19459090 markings, 82698373 edges, 15905 markings/sec, 1360 secs
lola: STP completed || 26 tries, 25354976 fired transitions, 1365 secs || 19537646 markings, 83028322 edges, 15711 markings/sec, 1365 secs
lola: STP completed || 26 tries, 25459133 fired transitions, 1370 secs || 19615680 markings, 83381029 edges, 15607 markings/sec, 1370 secs
lola: STP completed || 26 tries, 25562016 fired transitions, 1375 secs || 19694461 markings, 83732170 edges, 15756 markings/sec, 1375 secs
lola: STP completed || 26 tries, 25661839 fired transitions, 1380 secs || 19773445 markings, 84061859 edges, 15797 markings/sec, 1380 secs
lola: STP completed || 26 tries, 25724605 fired transitions, 1385 secs || 19820845 markings, 84283555 edges, 9480 markings/sec, 1385 secs
lola: STP completed || 26 tries, 25787179 fired transitions, 1390 secs || 19867521 markings, 84484324 edges, 9335 markings/sec, 1390 secs
lola: STP completed || 26 tries, 25850630 fired transitions, 1395 secs || 19915908 markings, 84681956 edges, 9677 markings/sec, 1395 secs
lola: STP completed || 26 tries, 25914946 fired transitions, 1400 secs || 19964177 markings, 84919835 edges, 9654 markings/sec, 1400 secs
lola: STP completed || 26 tries, 25980069 fired transitions, 1405 secs || 20011734 markings, 85122837 edges, 9511 markings/sec, 1405 secs
lola: STP completed || 27 tries, 26044035 fired transitions, 1410 secs || 20059570 markings, 85317207 edges, 9567 markings/sec, 1410 secs
lola: STP completed || 27 tries, 26105553 fired transitions, 1415 secs || 20105390 markings, 85513713 edges, 9164 markings/sec, 1415 secs
lola: STP completed || 27 tries, 26167019 fired transitions, 1420 secs || 20152842 markings, 85696707 edges, 9490 markings/sec, 1420 secs
lola: STP completed || 27 tries, 26228191 fired transitions, 1425 secs || 20198306 markings, 85900854 edges, 9093 markings/sec, 1425 secs
lola: STP completed || 27 tries, 26287510 fired transitions, 1430 secs || 20242392 markings, 86083158 edges, 8817 markings/sec, 1430 secs
lola: STP completed || 27 tries, 26346400 fired transitions, 1435 secs || 20285718 markings, 86280004 edges, 8665 markings/sec, 1435 secs
lola: STP completed || 27 tries, 26404872 fired transitions, 1440 secs || 20330668 markings, 86451964 edges, 8990 markings/sec, 1440 secs
lola: STP completed || 27 tries, 26464033 fired transitions, 1445 secs || 20374435 markings, 86640534 edges, 8753 markings/sec, 1445 secs
lola: STP completed || 27 tries, 26522547 fired transitions, 1450 secs || 20418529 markings, 86807533 edges, 8819 markings/sec, 1450 secs
lola: STP completed || 27 tries, 26581264 fired transitions, 1455 secs || 20462503 markings, 86987178 edges, 8795 markings/sec, 1455 secs
lola: STP completed || 27 tries, 26639527 fired transitions, 1460 secs || 20506106 markings, 87172016 edges, 8721 markings/sec, 1460 secs
lola: STP completed || 27 tries, 26699673 fired transitions, 1465 secs || 20550576 markings, 87370879 edges, 8894 markings/sec, 1465 secs
lola: STP completed || 27 tries, 26758322 fired transitions, 1470 secs || 20591443 markings, 87568092 edges, 8173 markings/sec, 1470 secs
lola: STP completed || 27 tries, 26817886 fired transitions, 1475 secs || 20634173 markings, 87768128 edges, 8546 markings/sec, 1475 secs
lola: STP completed || 27 tries, 26877119 fired transitions, 1480 secs || 20678150 markings, 87969813 edges, 8795 markings/sec, 1480 secs
lola: STP completed || 27 tries, 26937699 fired transitions, 1485 secs || 20722603 markings, 88164585 edges, 8891 markings/sec, 1485 secs
lola: STP completed || 27 tries, 26997251 fired transitions, 1490 secs || 20768088 markings, 88352861 edges, 9097 markings/sec, 1490 secs
lola: STP completed || 28 tries, 27059390 fired transitions, 1495 secs || 20815876 markings, 88533530 edges, 9558 markings/sec, 1495 secs
lola: STP completed || 28 tries, 27123279 fired transitions, 1500 secs || 20863952 markings, 88736124 edges, 9615 markings/sec, 1500 secs
lola: STP completed || 28 tries, 27187389 fired transitions, 1505 secs || 20912164 markings, 88941751 edges, 9642 markings/sec, 1505 secs
lola: STP completed || 28 tries, 27251065 fired transitions, 1510 secs || 20960203 markings, 89121825 edges, 9608 markings/sec, 1510 secs
lola: STP completed || 28 tries, 27313709 fired transitions, 1515 secs || 21005767 markings, 89314822 edges, 9113 markings/sec, 1515 secs
lola: STP completed || 28 tries, 27377006 fired transitions, 1520 secs || 21052590 markings, 89518140 edges, 9365 markings/sec, 1520 secs
lola: STP completed || 28 tries, 27440325 fired transitions, 1525 secs || 21100622 markings, 89720831 edges, 9606 markings/sec, 1525 secs
lola: STP completed || 28 tries, 27504247 fired transitions, 1530 secs || 21149778 markings, 89907025 edges, 9831 markings/sec, 1530 secs
lola: STP completed || 28 tries, 27566063 fired transitions, 1535 secs || 21194916 markings, 90137688 edges, 9028 markings/sec, 1535 secs
lola: STP completed || 28 tries, 27629334 fired transitions, 1540 secs || 21242435 markings, 90323106 edges, 9504 markings/sec, 1540 secs
lola: STP completed || 28 tries, 27691664 fired transitions, 1545 secs || 21287721 markings, 90518955 edges, 9057 markings/sec, 1545 secs
lola: STP completed || 28 tries, 27752942 fired transitions, 1550 secs || 21333400 markings, 90707874 edges, 9136 markings/sec, 1550 secs
lola: STP completed || 28 tries, 27813522 fired transitions, 1555 secs || 21379065 markings, 90882816 edges, 9133 markings/sec, 1555 secs
lola: STP completed || 28 tries, 27874079 fired transitions, 1560 secs || 21422927 markings, 91087240 edges, 8772 markings/sec, 1560 secs
lola: STP completed || 28 tries, 27937414 fired transitions, 1565 secs || 21468986 markings, 91291321 edges, 9212 markings/sec, 1565 secs
lola: STP completed || 29 tries, 28002230 fired transitions, 1570 secs || 21518361 markings, 91500934 edges, 9875 markings/sec, 1570 secs
lola: STP completed || 29 tries, 28066998 fired transitions, 1575 secs || 21566873 markings, 91697052 edges, 9702 markings/sec, 1575 secs
lola: STP completed || 29 tries, 28131778 fired transitions, 1580 secs || 21615236 markings, 91903293 edges, 9673 markings/sec, 1580 secs
lola: STP completed || 29 tries, 28196718 fired transitions, 1585 secs || 21662775 markings, 92101665 edges, 9508 markings/sec, 1585 secs
lola: STP completed || 29 tries, 28259014 fired transitions, 1590 secs || 21708854 markings, 92303563 edges, 9216 markings/sec, 1590 secs
lola: STP completed || 29 tries, 28321756 fired transitions, 1595 secs || 21755930 markings, 92483603 edges, 9415 markings/sec, 1595 secs
lola: STP completed || 29 tries, 28384289 fired transitions, 1600 secs || 21802205 markings, 92686644 edges, 9255 markings/sec, 1600 secs
lola: STP completed || 29 tries, 28447454 fired transitions, 1605 secs || 21848510 markings, 92887791 edges, 9261 markings/sec, 1605 secs
lola: STP completed || 29 tries, 28510302 fired transitions, 1610 secs || 21896427 markings, 93070246 edges, 9583 markings/sec, 1610 secs
lola: STP completed || 29 tries, 28573000 fired transitions, 1615 secs || 21944353 markings, 93256015 edges, 9585 markings/sec, 1615 secs
lola: STP completed || 29 tries, 28635589 fired transitions, 1620 secs || 21991644 markings, 93442173 edges, 9458 markings/sec, 1620 secs
lola: STP completed || 29 tries, 28698053 fired transitions, 1625 secs || 22037009 markings, 93647040 edges, 9073 markings/sec, 1625 secs
lola: STP completed || 29 tries, 28760475 fired transitions, 1630 secs || 22081720 markings, 93858491 edges, 8942 markings/sec, 1630 secs
lola: STP completed || 29 tries, 28822805 fired transitions, 1635 secs || 22127425 markings, 94040980 edges, 9141 markings/sec, 1635 secs
lola: STP completed || 29 tries, 28920977 fired transitions, 1640 secs || 22200136 markings, 94362459 edges, 14542 markings/sec, 1640 secs
lola: STP completed || 30 tries, 29021946 fired transitions, 1645 secs || 22278988 markings, 94727249 edges, 15770 markings/sec, 1645 secs
lola: STP completed || 30 tries, 29123254 fired transitions, 1650 secs || 22357428 markings, 95095558 edges, 15688 markings/sec, 1650 secs
lola: STP completed || 30 tries, 29222550 fired transitions, 1655 secs || 22435297 markings, 95461834 edges, 15574 markings/sec, 1655 secs
lola: STP completed || 30 tries, 29322909 fired transitions, 1660 secs || 22515134 markings, 95824108 edges, 15967 markings/sec, 1660 secs
lola: STP completed || 30 tries, 29425684 fired transitions, 1665 secs || 22590748 markings, 96175401 edges, 15123 markings/sec, 1665 secs
lola: STP completed || 30 tries, 29529839 fired transitions, 1670 secs || 22668412 markings, 96500619 edges, 15533 markings/sec, 1670 secs
lola: STP completed || 30 tries, 29633780 fired transitions, 1675 secs || 22744278 markings, 96878690 edges, 15173 markings/sec, 1675 secs
lola: STP completed || 30 tries, 29737432 fired transitions, 1680 secs || 22826385 markings, 97225294 edges, 16421 markings/sec, 1680 secs
lola: STP completed || 30 tries, 29840735 fired transitions, 1685 secs || 22906136 markings, 97568437 edges, 15950 markings/sec, 1685 secs
lola: STP completed || 30 tries, 29944904 fired transitions, 1690 secs || 22983817 markings, 97922238 edges, 15536 markings/sec, 1690 secs
lola: STP completed || 31 tries, 30050376 fired transitions, 1695 secs || 23059163 markings, 98288677 edges, 15069 markings/sec, 1695 secs
lola: STP completed || 31 tries, 30153925 fired transitions, 1700 secs || 23136404 markings, 98624430 edges, 15448 markings/sec, 1700 secs
lola: STP completed || 31 tries, 30254247 fired transitions, 1705 secs || 23215651 markings, 98946500 edges, 15849 markings/sec, 1705 secs
lola: STP completed || 31 tries, 30349941 fired transitions, 1710 secs || 23292693 markings, 99286600 edges, 15408 markings/sec, 1710 secs
lola: STP completed || 31 tries, 30446184 fired transitions, 1715 secs || 23369851 markings, 99634841 edges, 15432 markings/sec, 1715 secs
lola: STP completed || 31 tries, 30542167 fired transitions, 1720 secs || 23447945 markings, 100001257 edges, 15619 markings/sec, 1720 secs
lola: STP completed || 31 tries, 30638331 fired transitions, 1725 secs || 23524802 markings, 100342211 edges, 15371 markings/sec, 1725 secs
lola: STP completed || 31 tries, 30734272 fired transitions, 1730 secs || 23601104 markings, 100660976 edges, 15260 markings/sec, 1730 secs
lola: STP completed || 31 tries, 30833719 fired transitions, 1735 secs || 23677734 markings, 101029222 edges, 15326 markings/sec, 1735 secs
lola: STP completed || 31 tries, 30932556 fired transitions, 1740 secs || 23754794 markings, 101370548 edges, 15412 markings/sec, 1740 secs
lola: STP completed || 32 tries, 31030878 fired transitions, 1745 secs || 23831959 markings, 101688132 edges, 15433 markings/sec, 1745 secs
lola: STP completed || 32 tries, 31130412 fired transitions, 1750 secs || 23907990 markings, 102027988 edges, 15206 markings/sec, 1750 secs
lola: STP completed || 32 tries, 31232172 fired transitions, 1755 secs || 23983610 markings, 102356897 edges, 15124 markings/sec, 1755 secs
lola: STP completed || 32 tries, 31332638 fired transitions, 1760 secs || 24059291 markings, 102679368 edges, 15136 markings/sec, 1760 secs
lola: STP completed || 32 tries, 31434651 fired transitions, 1765 secs || 24135054 markings, 103014083 edges, 15153 markings/sec, 1765 secs
lola: STP completed || 32 tries, 31533260 fired transitions, 1770 secs || 24212047 markings, 103343204 edges, 15399 markings/sec, 1770 secs
lola: STP completed || 32 tries, 31632295 fired transitions, 1775 secs || 24285587 markings, 103676527 edges, 14708 markings/sec, 1775 secs
lola: STP completed || 32 tries, 31704036 fired transitions, 1780 secs || 24335931 markings, 103909437 edges, 10069 markings/sec, 1780 secs
lola: STP completed || 32 tries, 31761678 fired transitions, 1785 secs || 24379374 markings, 104082390 edges, 8689 markings/sec, 1785 secs
lola: STP completed || 32 tries, 31834421 fired transitions, 1790 secs || 24433388 markings, 104311810 edges, 10803 markings/sec, 1790 secs
lola: STP completed || 32 tries, 31931169 fired transitions, 1795 secs || 24506496 markings, 104649661 edges, 14622 markings/sec, 1795 secs
lola: STP completed || 33 tries, 32029358 fired transitions, 1800 secs || 24581039 markings, 104978520 edges, 14909 markings/sec, 1800 secs
lola: STP completed || 33 tries, 32130494 fired transitions, 1805 secs || 24655814 markings, 105306342 edges, 14955 markings/sec, 1805 secs
lola: STP completed || 33 tries, 32228271 fired transitions, 1810 secs || 24730454 markings, 105651908 edges, 14928 markings/sec, 1810 secs
lola: STP completed || 33 tries, 32325574 fired transitions, 1815 secs || 24805290 markings, 105987796 edges, 14967 markings/sec, 1815 secs
lola: STP completed || 33 tries, 32425868 fired transitions, 1820 secs || 24879233 markings, 106329510 edges, 14789 markings/sec, 1820 secs
lola: STP completed || 33 tries, 32525290 fired transitions, 1825 secs || 24955354 markings, 106662642 edges, 15224 markings/sec, 1825 secs
lola: STP completed || 33 tries, 32625559 fired transitions, 1830 secs || 25034876 markings, 107036275 edges, 15904 markings/sec, 1830 secs
lola: STP completed || 33 tries, 32725737 fired transitions, 1835 secs || 25109740 markings, 107407123 edges, 14973 markings/sec, 1835 secs
lola: STP completed || 33 tries, 32825697 fired transitions, 1840 secs || 25188212 markings, 107725080 edges, 15694 markings/sec, 1840 secs
lola: STP completed || 33 tries, 32907761 fired transitions, 1845 secs || 25248350 markings, 107987480 edges, 12028 markings/sec, 1845 secs
lola: STP completed || 33 tries, 32969845 fired transitions, 1850 secs || 25294517 markings, 108175317 edges, 9233 markings/sec, 1850 secs
lola: STP completed || 34 tries, 33033318 fired transitions, 1855 secs || 25341378 markings, 108368760 edges, 9372 markings/sec, 1855 secs
lola: STP completed || 34 tries, 33097715 fired transitions, 1860 secs || 25389075 markings, 108576764 edges, 9539 markings/sec, 1860 secs
lola: STP completed || 34 tries, 33162553 fired transitions, 1865 secs || 25436246 markings, 108780648 edges, 9434 markings/sec, 1865 secs
lola: STP completed || 34 tries, 33229474 fired transitions, 1870 secs || 25486768 markings, 108995252 edges, 10104 markings/sec, 1870 secs
lola: STP completed || 34 tries, 33324686 fired transitions, 1875 secs || 25560732 markings, 109308459 edges, 14793 markings/sec, 1875 secs
lola: STP completed || 34 tries, 33421374 fired transitions, 1880 secs || 25636767 markings, 109657765 edges, 15207 markings/sec, 1880 secs
lola: STP completed || 34 tries, 33517989 fired transitions, 1885 secs || 25712327 markings, 110004805 edges, 15112 markings/sec, 1885 secs
lola: STP completed || 34 tries, 33618444 fired transitions, 1890 secs || 25787421 markings, 110334656 edges, 15019 markings/sec, 1890 secs
lola: STP completed || 34 tries, 33716998 fired transitions, 1895 secs || 25862357 markings, 110679954 edges, 14987 markings/sec, 1895 secs
lola: STP completed || 34 tries, 33815072 fired transitions, 1900 secs || 25937425 markings, 110993354 edges, 15014 markings/sec, 1900 secs
lola: STP completed || 34 tries, 33917456 fired transitions, 1905 secs || 26012452 markings, 111308443 edges, 15005 markings/sec, 1905 secs
lola: STP completed || 35 tries, 34020331 fired transitions, 1910 secs || 26086629 markings, 111620479 edges, 14835 markings/sec, 1910 secs
lola: STP completed || 35 tries, 34121257 fired transitions, 1915 secs || 26159879 markings, 111937172 edges, 14650 markings/sec, 1915 secs
lola: STP completed || 35 tries, 34223899 fired transitions, 1920 secs || 26234372 markings, 112270541 edges, 14899 markings/sec, 1920 secs
lola: STP completed || 35 tries, 34325599 fired transitions, 1925 secs || 26308611 markings, 112606722 edges, 14848 markings/sec, 1925 secs
lola: STP completed || 35 tries, 34428308 fired transitions, 1930 secs || 26380355 markings, 112972867 edges, 14349 markings/sec, 1930 secs
lola: STP completed || 35 tries, 34531697 fired transitions, 1935 secs || 26456587 markings, 113295627 edges, 15246 markings/sec, 1935 secs
lola: STP completed || 35 tries, 34631193 fired transitions, 1940 secs || 26530994 markings, 113628254 edges, 14881 markings/sec, 1940 secs
lola: STP completed || 35 tries, 34731000 fired transitions, 1945 secs || 26605171 markings, 113959927 edges, 14835 markings/sec, 1945 secs
lola: STP completed || 35 tries, 34836262 fired transitions, 1950 secs || 26680683 markings, 114279183 edges, 15102 markings/sec, 1950 secs
lola: STP completed || 35 tries, 34943168 fired transitions, 1955 secs || 26756265 markings, 114613551 edges, 15116 markings/sec, 1955 secs
lola: STP completed || 36 tries, 35046579 fired transitions, 1960 secs || 26834916 markings, 114967889 edges, 15730 markings/sec, 1960 secs
lola: STP completed || 36 tries, 35147486 fired transitions, 1965 secs || 26912842 markings, 115311287 edges, 15585 markings/sec, 1965 secs
lola: STP completed || 36 tries, 35247032 fired transitions, 1970 secs || 26987557 markings, 115640382 edges, 14943 markings/sec, 1970 secs
lola: STP completed || 36 tries, 35346607 fired transitions, 1975 secs || 27065567 markings, 115973935 edges, 15602 markings/sec, 1975 secs
lola: STP completed || 36 tries, 35449090 fired transitions, 1980 secs || 27139254 markings, 116291238 edges, 14737 markings/sec, 1980 secs
lola: STP completed || 36 tries, 35553050 fired transitions, 1985 secs || 27217114 markings, 116627987 edges, 15572 markings/sec, 1985 secs
lola: STP completed || 36 tries, 35656151 fired transitions, 1990 secs || 27296402 markings, 116971878 edges, 15858 markings/sec, 1990 secs
lola: STP completed || 36 tries, 35759347 fired transitions, 1995 secs || 27374365 markings, 117321740 edges, 15593 markings/sec, 1995 secs
lola: STP completed || 36 tries, 35854076 fired transitions, 2000 secs || 27447436 markings, 117638101 edges, 14614 markings/sec, 2000 secs
lola: STP completed || 36 tries, 35953820 fired transitions, 2005 secs || 27522818 markings, 118013025 edges, 15076 markings/sec, 2005 secs
lola: STP completed || 37 tries, 36054290 fired transitions, 2010 secs || 27597258 markings, 118338306 edges, 14888 markings/sec, 2010 secs
lola: STP completed || 37 tries, 36155757 fired transitions, 2015 secs || 27669460 markings, 118658676 edges, 14440 markings/sec, 2015 secs
lola: STP completed || 37 tries, 36256766 fired transitions, 2020 secs || 27741709 markings, 118984454 edges, 14450 markings/sec, 2020 secs
lola: STP completed || 37 tries, 36358289 fired transitions, 2025 secs || 27812761 markings, 119312457 edges, 14210 markings/sec, 2025 secs
lola: STP completed || 37 tries, 36459313 fired transitions, 2030 secs || 27885113 markings, 119638497 edges, 14470 markings/sec, 2030 secs
lola: STP completed || 37 tries, 36559678 fired transitions, 2035 secs || 27960373 markings, 119945912 edges, 15052 markings/sec, 2035 secs
lola: STP completed || 37 tries, 36659135 fired transitions, 2040 secs || 28035514 markings, 120274388 edges, 15028 markings/sec, 2040 secs
lola: STP completed || 37 tries, 36758342 fired transitions, 2045 secs || 28110557 markings, 120606806 edges, 15009 markings/sec, 2045 secs
lola: STP completed || 37 tries, 36857624 fired transitions, 2050 secs || 28189774 markings, 120927977 edges, 15843 markings/sec, 2050 secs
lola: STP completed || 37 tries, 36958107 fired transitions, 2055 secs || 28264782 markings, 121275713 edges, 15002 markings/sec, 2055 secs
lola: STP completed || 38 tries, 37071967 fired transitions, 2060 secs || 28346986 markings, 121619272 edges, 16441 markings/sec, 2060 secs
lola: STP completed || 38 tries, 37191659 fired transitions, 2065 secs || 28435912 markings, 122030461 edges, 17785 markings/sec, 2065 secs
lola: STP completed || 38 tries, 37311003 fired transitions, 2070 secs || 28526702 markings, 122444163 edges, 18158 markings/sec, 2070 secs
lola: STP completed || 38 tries, 37429407 fired transitions, 2075 secs || 28617454 markings, 122828089 edges, 18150 markings/sec, 2075 secs
lola: STP completed || 38 tries, 37548485 fired transitions, 2080 secs || 28704148 markings, 123233618 edges, 17339 markings/sec, 2080 secs
lola: STP completed || 38 tries, 37666574 fired transitions, 2085 secs || 28793128 markings, 123616480 edges, 17796 markings/sec, 2085 secs
lola: STP completed || 38 tries, 37772720 fired transitions, 2090 secs || 28870407 markings, 123943998 edges, 15456 markings/sec, 2090 secs
lola: STP completed || 38 tries, 37878205 fired transitions, 2095 secs || 28946102 markings, 124293044 edges, 15139 markings/sec, 2095 secs
lola: STP completed || 38 tries, 37983244 fired transitions, 2100 secs || 29021641 markings, 124646214 edges, 15108 markings/sec, 2100 secs
lola: STP completed || 39 tries, 38088198 fired transitions, 2105 secs || 29099564 markings, 124987461 edges, 15585 markings/sec, 2105 secs
lola: STP completed || 39 tries, 38193774 fired transitions, 2110 secs || 29177069 markings, 125349037 edges, 15501 markings/sec, 2110 secs
lola: STP completed || 39 tries, 38298097 fired transitions, 2115 secs || 29254583 markings, 125692856 edges, 15503 markings/sec, 2115 secs
lola: STP completed || 39 tries, 38400645 fired transitions, 2120 secs || 29334098 markings, 126047511 edges, 15903 markings/sec, 2120 secs
lola: STP completed || 39 tries, 38502647 fired transitions, 2125 secs || 29414229 markings, 126398573 edges, 16026 markings/sec, 2125 secs
lola: STP completed || 39 tries, 38602856 fired transitions, 2130 secs || 29493628 markings, 126735268 edges, 15880 markings/sec, 2130 secs
lola: STP completed || 39 tries, 38703424 fired transitions, 2135 secs || 29575216 markings, 127070926 edges, 16318 markings/sec, 2135 secs
lola: STP completed || 39 tries, 38805618 fired transitions, 2140 secs || 29653002 markings, 127409966 edges, 15557 markings/sec, 2140 secs
lola: STP completed || 39 tries, 38908976 fired transitions, 2145 secs || 29730837 markings, 127778231 edges, 15567 markings/sec, 2145 secs
lola: STP completed || 40 tries, 39014086 fired transitions, 2150 secs || 29809954 markings, 128136125 edges, 15823 markings/sec, 2150 secs
lola: STP completed || 40 tries, 39118557 fired transitions, 2155 secs || 29888087 markings, 128494591 edges, 15627 markings/sec, 2155 secs
lola: STP completed || 40 tries, 39222710 fired transitions, 2160 secs || 29963862 markings, 128871695 edges, 15155 markings/sec, 2160 secs
lola: STP completed || 40 tries, 39324790 fired transitions, 2165 secs || 30039007 markings, 129229179 edges, 15029 markings/sec, 2165 secs
lola: STP completed || 40 tries, 39425652 fired transitions, 2170 secs || 30114964 markings, 129571021 edges, 15191 markings/sec, 2170 secs
lola: STP completed || 40 tries, 39527351 fired transitions, 2175 secs || 30189370 markings, 129899586 edges, 14881 markings/sec, 2175 secs
lola: STP completed || 40 tries, 39628237 fired transitions, 2180 secs || 30264701 markings, 130253628 edges, 15066 markings/sec, 2180 secs
lola: STP completed || 40 tries, 39728272 fired transitions, 2185 secs || 30342111 markings, 130594792 edges, 15482 markings/sec, 2185 secs
lola: STP completed || 40 tries, 39827972 fired transitions, 2190 secs || 30415835 markings, 130953753 edges, 14745 markings/sec, 2190 secs
lola: STP completed || 40 tries, 39932696 fired transitions, 2195 secs || 30492359 markings, 131312723 edges, 15305 markings/sec, 2195 secs
lola: STP completed || 41 tries, 40034120 fired transitions, 2200 secs || 30570962 markings, 131674083 edges, 15721 markings/sec, 2200 secs
lola: STP completed || 41 tries, 40136657 fired transitions, 2205 secs || 30645726 markings, 132033278 edges, 14953 markings/sec, 2205 secs
lola: STP completed || 41 tries, 40238758 fired transitions, 2210 secs || 30726397 markings, 132382826 edges, 16134 markings/sec, 2210 secs
lola: STP completed || 41 tries, 40339885 fired transitions, 2215 secs || 30805175 markings, 132738105 edges, 15756 markings/sec, 2215 secs
lola: STP completed || 41 tries, 40441868 fired transitions, 2220 secs || 30884031 markings, 133096238 edges, 15771 markings/sec, 2220 secs
lola: STP completed || 41 tries, 40542481 fired transitions, 2225 secs || 30964257 markings, 133448088 edges, 16045 markings/sec, 2225 secs
lola: STP completed || 41 tries, 40645306 fired transitions, 2230 secs || 31043869 markings, 133798066 edges, 15922 markings/sec, 2230 secs
lola: STP completed || 41 tries, 40751168 fired transitions, 2235 secs || 31121468 markings, 134162302 edges, 15520 markings/sec, 2235 secs
lola: STP completed || 41 tries, 40854685 fired transitions, 2240 secs || 31197481 markings, 134542944 edges, 15203 markings/sec, 2240 secs
lola: STP completed || 41 tries, 40959528 fired transitions, 2245 secs || 31276044 markings, 134928257 edges, 15713 markings/sec, 2245 secs
lola: STP completed || 42 tries, 41064384 fired transitions, 2250 secs || 31355799 markings, 135298184 edges, 15951 markings/sec, 2250 secs
lola: STP completed || 42 tries, 41165454 fired transitions, 2255 secs || 31426570 markings, 135618826 edges, 14154 markings/sec, 2255 secs
lola: STP completed || 42 tries, 41267834 fired transitions, 2260 secs || 31499558 markings, 135938099 edges, 14598 markings/sec, 2260 secs
lola: STP completed || 42 tries, 41374803 fired transitions, 2265 secs || 31578736 markings, 136311294 edges, 15836 markings/sec, 2265 secs
lola: STP completed || 42 tries, 41475723 fired transitions, 2270 secs || 31655849 markings, 136659438 edges, 15423 markings/sec, 2270 secs
lola: STP completed || 42 tries, 41574184 fired transitions, 2275 secs || 31730556 markings, 136989486 edges, 14941 markings/sec, 2275 secs
lola: STP completed || 42 tries, 41673984 fired transitions, 2280 secs || 31804531 markings, 137310954 edges, 14795 markings/sec, 2280 secs
lola: STP completed || 42 tries, 41789527 fired transitions, 2285 secs || 31887934 markings, 137680188 edges, 16681 markings/sec, 2285 secs
lola: STP completed || 42 tries, 41902798 fired transitions, 2290 secs || 31972243 markings, 138064741 edges, 16862 markings/sec, 2290 secs
lola: STP completed || 43 tries, 42005312 fired transitions, 2295 secs || 32048599 markings, 138385493 edges, 15271 markings/sec, 2295 secs
lola: STP completed || 43 tries, 42105743 fired transitions, 2300 secs || 32125324 markings, 138806790 edges, 15345 markings/sec, 2300 secs
lola: STP completed || 43 tries, 42205495 fired transitions, 2305 secs || 32201517 markings, 139143654 edges, 15239 markings/sec, 2305 secs
lola: STP completed || 43 tries, 42305214 fired transitions, 2310 secs || 32276862 markings, 139479580 edges, 15069 markings/sec, 2310 secs
lola: STP completed || 43 tries, 42404305 fired transitions, 2315 secs || 32352751 markings, 139815265 edges, 15178 markings/sec, 2315 secs
lola: STP completed || 43 tries, 42508168 fired transitions, 2320 secs || 32430752 markings, 140171726 edges, 15600 markings/sec, 2320 secs
lola: STP completed || 43 tries, 42609775 fired transitions, 2325 secs || 32511056 markings, 140545691 edges, 16061 markings/sec, 2325 secs
lola: STP completed || 43 tries, 42708828 fired transitions, 2330 secs || 32589508 markings, 140889437 edges, 15690 markings/sec, 2330 secs
lola: STP completed || 43 tries, 42805524 fired transitions, 2335 secs || 32665160 markings, 141268401 edges, 15130 markings/sec, 2335 secs
lola: STP completed || 43 tries, 42902224 fired transitions, 2340 secs || 32740414 markings, 141623355 edges, 15051 markings/sec, 2340 secs
lola: STP completed || 43 tries, 42998750 fired transitions, 2345 secs || 32816997 markings, 141983228 edges, 15317 markings/sec, 2345 secs
lola: STP completed || 44 tries, 43095294 fired transitions, 2350 secs || 32896088 markings, 142348998 edges, 15818 markings/sec, 2350 secs
lola: STP completed || 44 tries, 43191589 fired transitions, 2355 secs || 32974047 markings, 142714769 edges, 15592 markings/sec, 2355 secs
lola: STP completed || 44 tries, 43293083 fired transitions, 2360 secs || 33051176 markings, 143064897 edges, 15426 markings/sec, 2360 secs
lola: STP completed || 44 tries, 43392992 fired transitions, 2365 secs || 33126972 markings, 143394814 edges, 15159 markings/sec, 2365 secs
lola: STP completed || 44 tries, 43496709 fired transitions, 2370 secs || 33201910 markings, 143740279 edges, 14988 markings/sec, 2370 secs
lola: STP completed || 44 tries, 43601897 fired transitions, 2375 secs || 33277807 markings, 144080030 edges, 15179 markings/sec, 2375 secs
lola: STP completed || 44 tries, 43708839 fired transitions, 2380 secs || 33354223 markings, 144448310 edges, 15283 markings/sec, 2380 secs
lola: STP completed || 44 tries, 43816985 fired transitions, 2385 secs || 33431280 markings, 144759085 edges, 15411 markings/sec, 2385 secs
lola: STP completed || 44 tries, 43924455 fired transitions, 2390 secs || 33509771 markings, 145153040 edges, 15698 markings/sec, 2390 secs
lola: STP completed || 45 tries, 44033328 fired transitions, 2395 secs || 33584815 markings, 145490070 edges, 15009 markings/sec, 2395 secs
lola: STP completed || 45 tries, 44141572 fired transitions, 2400 secs || 33661799 markings, 145860125 edges, 15397 markings/sec, 2400 secs
lola: STP completed || 45 tries, 44249738 fired transitions, 2405 secs || 33739937 markings, 146224131 edges, 15628 markings/sec, 2405 secs
lola: STP completed || 45 tries, 44358150 fired transitions, 2410 secs || 33815277 markings, 146587661 edges, 15068 markings/sec, 2410 secs
lola: STP completed || 45 tries, 44466633 fired transitions, 2415 secs || 33892513 markings, 146935726 edges, 15447 markings/sec, 2415 secs
lola: STP completed || 45 tries, 44575103 fired transitions, 2420 secs || 33971158 markings, 147284867 edges, 15729 markings/sec, 2420 secs
lola: STP completed || 45 tries, 44683843 fired transitions, 2425 secs || 34050143 markings, 147641781 edges, 15797 markings/sec, 2425 secs
lola: STP completed || 45 tries, 44792162 fired transitions, 2430 secs || 34128673 markings, 147967616 edges, 15706 markings/sec, 2430 secs
lola: STP completed || 45 tries, 44900859 fired transitions, 2435 secs || 34203238 markings, 148302478 edges, 14913 markings/sec, 2435 secs
lola: STP completed || 46 tries, 45008306 fired transitions, 2440 secs || 34280748 markings, 148634638 edges, 15502 markings/sec, 2440 secs
lola: STP completed || 46 tries, 45118846 fired transitions, 2445 secs || 34358124 markings, 148981605 edges, 15475 markings/sec, 2445 secs
lola: STP completed || 46 tries, 45227527 fired transitions, 2450 secs || 34435478 markings, 149315914 edges, 15471 markings/sec, 2450 secs
lola: STP completed || 46 tries, 45334278 fired transitions, 2455 secs || 34515051 markings, 149673416 edges, 15915 markings/sec, 2455 secs
lola: STP completed || 46 tries, 45445243 fired transitions, 2460 secs || 34595428 markings, 150016893 edges, 16075 markings/sec, 2460 secs
lola: STP completed || 46 tries, 45555092 fired transitions, 2465 secs || 34677709 markings, 150394025 edges, 16456 markings/sec, 2465 secs
lola: STP completed || 46 tries, 45662611 fired transitions, 2470 secs || 34753141 markings, 150720272 edges, 15086 markings/sec, 2470 secs
lola: STP completed || 46 tries, 45770741 fired transitions, 2475 secs || 34828921 markings, 151062960 edges, 15156 markings/sec, 2475 secs
lola: STP completed || 46 tries, 45879449 fired transitions, 2480 secs || 34906927 markings, 151408076 edges, 15601 markings/sec, 2480 secs
lola: STP completed || 46 tries, 45988301 fired transitions, 2485 secs || 34986344 markings, 151764763 edges, 15883 markings/sec, 2485 secs
lola: STP completed || 47 tries, 46096369 fired transitions, 2490 secs || 35062073 markings, 152123591 edges, 15146 markings/sec, 2490 secs
lola: STP completed || 47 tries, 46205117 fired transitions, 2495 secs || 35137720 markings, 152475014 edges, 15129 markings/sec, 2495 secs
lola: STP completed || 47 tries, 46313520 fired transitions, 2500 secs || 35216622 markings, 152811446 edges, 15780 markings/sec, 2500 secs
lola: STP completed || 47 tries, 46422808 fired transitions, 2505 secs || 35292017 markings, 153189644 edges, 15079 markings/sec, 2505 secs
lola: STP completed || 47 tries, 46531999 fired transitions, 2510 secs || 35367916 markings, 153576926 edges, 15180 markings/sec, 2510 secs
lola: STP completed || 47 tries, 46640184 fired transitions, 2515 secs || 35444499 markings, 153927244 edges, 15317 markings/sec, 2515 secs
lola: STP completed || 47 tries, 46749099 fired transitions, 2520 secs || 35520565 markings, 154278208 edges, 15213 markings/sec, 2520 secs
lola: STP completed || 47 tries, 46850022 fired transitions, 2525 secs || 35598566 markings, 154648740 edges, 15600 markings/sec, 2525 secs
lola: STP completed || 47 tries, 46950247 fired transitions, 2530 secs || 35675951 markings, 154998449 edges, 15477 markings/sec, 2530 secs
lola: STP completed || 48 tries, 47050556 fired transitions, 2535 secs || 35748874 markings, 155328320 edges, 14585 markings/sec, 2535 secs
lola: STP completed || 48 tries, 47151222 fired transitions, 2540 secs || 35819323 markings, 155675503 edges, 14090 markings/sec, 2540 secs
lola: STP completed || 48 tries, 47254147 fired transitions, 2545 secs || 35893297 markings, 156001687 edges, 14795 markings/sec, 2545 secs
lola: STP completed || 48 tries, 47358172 fired transitions, 2550 secs || 35970316 markings, 156366715 edges, 15404 markings/sec, 2550 secs
lola: STP completed || 48 tries, 47463524 fired transitions, 2555 secs || 36047045 markings, 156725104 edges, 15346 markings/sec, 2555 secs
lola: STP completed || 48 tries, 47569699 fired transitions, 2560 secs || 36121515 markings, 157072083 edges, 14894 markings/sec, 2560 secs
lola: STP completed || 48 tries, 47675483 fired transitions, 2565 secs || 36200397 markings, 157410274 edges, 15776 markings/sec, 2565 secs
lola: STP completed || 48 tries, 47782455 fired transitions, 2570 secs || 36279734 markings, 157779807 edges, 15867 markings/sec, 2570 secs
lola: STP completed || 48 tries, 47885536 fired transitions, 2575 secs || 36358548 markings, 158146360 edges, 15763 markings/sec, 2575 secs
lola: STP completed || 48 tries, 47991012 fired transitions, 2580 secs || 36436760 markings, 158513331 edges, 15642 markings/sec, 2580 secs
lola: STP completed || 49 tries, 48096781 fired transitions, 2585 secs || 36516462 markings, 158877638 edges, 15940 markings/sec, 2585 secs
lola: STP completed || 49 tries, 48202225 fired transitions, 2590 secs || 36593507 markings, 159251101 edges, 15409 markings/sec, 2590 secs
lola: STP completed || 49 tries, 48307531 fired transitions, 2595 secs || 36673950 markings, 159601292 edges, 16089 markings/sec, 2595 secs
lola: STP completed || 49 tries, 48413529 fired transitions, 2600 secs || 36753314 markings, 159969917 edges, 15873 markings/sec, 2600 secs
lola: STP completed || 49 tries, 48519408 fired transitions, 2605 secs || 36830971 markings, 160311985 edges, 15531 markings/sec, 2605 secs
lola: STP completed || 49 tries, 48626335 fired transitions, 2610 secs || 36909430 markings, 160679281 edges, 15692 markings/sec, 2610 secs
lola: STP completed || 49 tries, 48732839 fired transitions, 2615 secs || 36989170 markings, 161050318 edges, 15948 markings/sec, 2615 secs
lola: STP completed || 49 tries, 48840490 fired transitions, 2620 secs || 37069888 markings, 161402557 edges, 16144 markings/sec, 2620 secs
lola: STP completed || 49 tries, 48948975 fired transitions, 2625 secs || 37148968 markings, 161735266 edges, 15816 markings/sec, 2625 secs
lola: STP completed || 50 tries, 49056860 fired transitions, 2630 secs || 37229794 markings, 162099035 edges, 16165 markings/sec, 2630 secs
lola: STP completed || 50 tries, 49163351 fired transitions, 2635 secs || 37308853 markings, 162449672 edges, 15812 markings/sec, 2635 secs
lola: STP completed || 50 tries, 49265310 fired transitions, 2640 secs || 37382958 markings, 162785367 edges, 14821 markings/sec, 2640 secs
lola: STP completed || 50 tries, 49363619 fired transitions, 2645 secs || 37459120 markings, 163115597 edges, 15232 markings/sec, 2645 secs
lola: STP completed || 50 tries, 49461447 fired transitions, 2650 secs || 37534747 markings, 163470846 edges, 15125 markings/sec, 2650 secs
lola: STP completed || 50 tries, 49558136 fired transitions, 2655 secs || 37610684 markings, 163816031 edges, 15187 markings/sec, 2655 secs
lola: STP completed || 50 tries, 49655668 fired transitions, 2660 secs || 37686667 markings, 164134482 edges, 15197 markings/sec, 2660 secs
lola: STP completed || 50 tries, 49754055 fired transitions, 2665 secs || 37762650 markings, 164464155 edges, 15197 markings/sec, 2665 secs
lola: STP completed || 50 tries, 49854937 fired transitions, 2670 secs || 37833539 markings, 164796003 edges, 14178 markings/sec, 2670 secs
lola: STP completed || 50 tries, 49955564 fired transitions, 2675 secs || 37907422 markings, 165137833 edges, 14777 markings/sec, 2675 secs
lola: STP completed || 51 tries, 50055507 fired transitions, 2680 secs || 37982060 markings, 165486211 edges, 14928 markings/sec, 2680 secs
lola: STP completed || 51 tries, 50157525 fired transitions, 2685 secs || 38056270 markings, 165830490 edges, 14842 markings/sec, 2685 secs
lola: STP completed || 51 tries, 50249296 fired transitions, 2690 secs || 38122785 markings, 166103611 edges, 13303 markings/sec, 2690 secs
lola: STP completed || 51 tries, 50310454 fired transitions, 2695 secs || 38167817 markings, 166288660 edges, 9006 markings/sec, 2695 secs
lola: STP completed || 51 tries, 50371788 fired transitions, 2700 secs || 38212081 markings, 166490591 edges, 8853 markings/sec, 2700 secs
lola: STP completed || 51 tries, 50434072 fired transitions, 2705 secs || 38257998 markings, 166675780 edges, 9183 markings/sec, 2705 secs
lola: STP completed || 51 tries, 50496123 fired transitions, 2710 secs || 38303963 markings, 166871785 edges, 9193 markings/sec, 2710 secs
lola: STP completed || 51 tries, 50558213 fired transitions, 2715 secs || 38349474 markings, 167064828 edges, 9102 markings/sec, 2715 secs
lola: STP completed || 51 tries, 50620481 fired transitions, 2720 secs || 38395152 markings, 167249555 edges, 9136 markings/sec, 2720 secs
lola: STP completed || 51 tries, 50682446 fired transitions, 2725 secs || 38441782 markings, 167437652 edges, 9326 markings/sec, 2725 secs
lola: STP completed || 51 tries, 50744791 fired transitions, 2730 secs || 38488635 markings, 167633382 edges, 9371 markings/sec, 2730 secs
lola: STP completed || 51 tries, 50805534 fired transitions, 2735 secs || 38534472 markings, 167818074 edges, 9167 markings/sec, 2735 secs
lola: STP completed || 51 tries, 50867674 fired transitions, 2740 secs || 38579499 markings, 168013180 edges, 9005 markings/sec, 2740 secs
lola: STP completed || 51 tries, 50929097 fired transitions, 2745 secs || 38623787 markings, 168201490 edges, 8858 markings/sec, 2745 secs
lola: STP completed || 51 tries, 50991120 fired transitions, 2750 secs || 38669692 markings, 168385266 edges, 9181 markings/sec, 2750 secs
lola: STP completed || 52 tries, 51052873 fired transitions, 2755 secs || 38715009 markings, 168585374 edges, 9063 markings/sec, 2755 secs
lola: STP completed || 52 tries, 51114255 fired transitions, 2760 secs || 38760430 markings, 168774801 edges, 9084 markings/sec, 2760 secs
lola: STP completed || 52 tries, 51176479 fired transitions, 2765 secs || 38806446 markings, 168975859 edges, 9203 markings/sec, 2765 secs
lola: STP completed || 52 tries, 51238486 fired transitions, 2770 secs || 38850687 markings, 169183917 edges, 8848 markings/sec, 2770 secs
lola: STP completed || 52 tries, 51299349 fired transitions, 2775 secs || 38894782 markings, 169375765 edges, 8819 markings/sec, 2775 secs
lola: STP completed || 52 tries, 51360008 fired transitions, 2780 secs || 38939129 markings, 169569895 edges, 8869 markings/sec, 2780 secs
lola: STP completed || 52 tries, 51418992 fired transitions, 2785 secs || 38981827 markings, 169764230 edges, 8540 markings/sec, 2785 secs
lola: STP completed || 52 tries, 51484721 fired transitions, 2790 secs || 39029779 markings, 169968310 edges, 9590 markings/sec, 2790 secs
lola: STP completed || 52 tries, 51547122 fired transitions, 2795 secs || 39074794 markings, 170173625 edges, 9003 markings/sec, 2795 secs
lola: STP completed || 52 tries, 51649768 fired transitions, 2800 secs || 39149210 markings, 170509939 edges, 14883 markings/sec, 2800 secs
lola: STP completed || 52 tries, 51766942 fired transitions, 2805 secs || 39234362 markings, 170892825 edges, 17030 markings/sec, 2805 secs
lola: STP completed || 52 tries, 51886882 fired transitions, 2810 secs || 39321017 markings, 171296245 edges, 17331 markings/sec, 2810 secs
lola: STP completed || 53 tries, 52009306 fired transitions, 2815 secs || 39410367 markings, 171688023 edges, 17870 markings/sec, 2815 secs
lola: STP completed || 53 tries, 52132691 fired transitions, 2820 secs || 39503743 markings, 172068817 edges, 18675 markings/sec, 2820 secs
lola: STP completed || 53 tries, 52251397 fired transitions, 2825 secs || 39591015 markings, 172491041 edges, 17454 markings/sec, 2825 secs
lola: STP completed || 53 tries, 52372337 fired transitions, 2830 secs || 39677930 markings, 172920728 edges, 17383 markings/sec, 2830 secs
lola: STP completed || 53 tries, 52495174 fired transitions, 2835 secs || 39768100 markings, 173307154 edges, 18034 markings/sec, 2835 secs
lola: STP completed || 53 tries, 52602888 fired transitions, 2840 secs || 39843716 markings, 173628700 edges, 15123 markings/sec, 2840 secs
lola: STP completed || 53 tries, 52710367 fired transitions, 2845 secs || 39918574 markings, 173957556 edges, 14972 markings/sec, 2845 secs
lola: STP completed || 53 tries, 52817833 fired transitions, 2850 secs || 39994475 markings, 174307742 edges, 15180 markings/sec, 2850 secs
lola: STP completed || 53 tries, 52926266 fired transitions, 2855 secs || 40069049 markings, 174642367 edges, 14915 markings/sec, 2855 secs
lola: STP completed || 54 tries, 53033078 fired transitions, 2860 secs || 40145691 markings, 174976635 edges, 15328 markings/sec, 2860 secs
lola: STP completed || 54 tries, 53141081 fired transitions, 2865 secs || 40220644 markings, 175313826 edges, 14991 markings/sec, 2865 secs
lola: STP completed || 54 tries, 53249360 fired transitions, 2870 secs || 40296906 markings, 175650134 edges, 15252 markings/sec, 2870 secs
lola: STP completed || 54 tries, 53357123 fired transitions, 2875 secs || 40370713 markings, 175992663 edges, 14761 markings/sec, 2875 secs
lola: STP completed || 54 tries, 53462363 fired transitions, 2880 secs || 40445993 markings, 176318584 edges, 15056 markings/sec, 2880 secs
lola: STP completed || 54 tries, 53563866 fired transitions, 2885 secs || 40521754 markings, 176663080 edges, 15152 markings/sec, 2885 secs
lola: STP completed || 54 tries, 53666630 fired transitions, 2890 secs || 40597737 markings, 176991940 edges, 15197 markings/sec, 2890 secs
lola: STP completed || 54 tries, 53769535 fired transitions, 2895 secs || 40671863 markings, 177323974 edges, 14825 markings/sec, 2895 secs
lola: STP completed || 54 tries, 53874946 fired transitions, 2900 secs || 40747464 markings, 177650001 edges, 15120 markings/sec, 2900 secs
lola: STP completed || 54 tries, 53981642 fired transitions, 2905 secs || 40820337 markings, 177985803 edges, 14575 markings/sec, 2905 secs
lola: STP completed || 55 tries, 54084686 fired transitions, 2910 secs || 40891432 markings, 178305317 edges, 14219 markings/sec, 2910 secs
lola: STP completed || 55 tries, 54187440 fired transitions, 2915 secs || 40962707 markings, 178642392 edges, 14255 markings/sec, 2915 secs
lola: STP completed || 55 tries, 54288989 fired transitions, 2920 secs || 41037918 markings, 178971216 edges, 15042 markings/sec, 2920 secs
lola: STP completed || 55 tries, 54390539 fired transitions, 2925 secs || 41110487 markings, 179334984 edges, 14514 markings/sec, 2925 secs
lola: STP completed || 55 tries, 54493133 fired transitions, 2930 secs || 41184897 markings, 179672906 edges, 14882 markings/sec, 2930 secs
lola: STP completed || 55 tries, 54594007 fired transitions, 2935 secs || 41258420 markings, 180016793 edges, 14705 markings/sec, 2935 secs
lola: STP completed || 55 tries, 54694450 fired transitions, 2940 secs || 41333300 markings, 180376853 edges, 14976 markings/sec, 2940 secs
lola: STP completed || 55 tries, 54756638 fired transitions, 2945 secs || 41378136 markings, 180577325 edges, 8967 markings/sec, 2945 secs
lola: STP completed || 55 tries, 54818445 fired transitions, 2950 secs || 41422778 markings, 180774535 edges, 8928 markings/sec, 2950 secs
lola: STP completed || 55 tries, 54880431 fired transitions, 2955 secs || 41469221 markings, 181005557 edges, 9289 markings/sec, 2955 secs
lola: STP completed || 55 tries, 54962325 fired transitions, 2960 secs || 41527596 markings, 181269928 edges, 11675 markings/sec, 2960 secs
lola: STP completed || 56 tries, 55062710 fired transitions, 2965 secs || 41603888 markings, 181605349 edges, 15258 markings/sec, 2965 secs
lola: STP completed || 56 tries, 55165791 fired transitions, 2970 secs || 41677385 markings, 181935431 edges, 14699 markings/sec, 2970 secs
lola: STP completed || 56 tries, 55268577 fired transitions, 2975 secs || 41752600 markings, 182285343 edges, 15043 markings/sec, 2975 secs
lola: STP completed || 56 tries, 55370941 fired transitions, 2980 secs || 41827933 markings, 182617817 edges, 15067 markings/sec, 2980 secs
lola: STP completed || 56 tries, 55473240 fired transitions, 2985 secs || 41903823 markings, 182996818 edges, 15178 markings/sec, 2985 secs
lola: STP completed || 56 tries, 55575740 fired transitions, 2990 secs || 41979499 markings, 183334611 edges, 15135 markings/sec, 2990 secs
lola: STP completed || 56 tries, 55677787 fired transitions, 2995 secs || 42052810 markings, 183685943 edges, 14662 markings/sec, 2995 secs
lola: STP completed || 56 tries, 55781496 fired transitions, 3000 secs || 42126556 markings, 184019190 edges, 14749 markings/sec, 3000 secs
lola: STP completed || 56 tries, 55886686 fired transitions, 3005 secs || 42198935 markings, 184412079 edges, 14476 markings/sec, 3005 secs
lola: STP completed || 56 tries, 55992052 fired transitions, 3010 secs || 42272701 markings, 184747052 edges, 14753 markings/sec, 3010 secs
lola: STP completed || 57 tries, 56098015 fired transitions, 3015 secs || 42345947 markings, 185062954 edges, 14649 markings/sec, 3015 secs
lola: STP completed || 57 tries, 56202538 fired transitions, 3020 secs || 42420168 markings, 185379913 edges, 14844 markings/sec, 3020 secs
lola: STP completed || 57 tries, 56307958 fired transitions, 3025 secs || 42494241 markings, 185706967 edges, 14815 markings/sec, 3025 secs
lola: STP completed || 57 tries, 56413928 fired transitions, 3030 secs || 42567844 markings, 186034027 edges, 14721 markings/sec, 3030 secs
lola: STP completed || 57 tries, 56518777 fired transitions, 3035 secs || 42640990 markings, 186354894 edges, 14629 markings/sec, 3035 secs
lola: STP completed || 57 tries, 56622939 fired transitions, 3040 secs || 42714413 markings, 186717522 edges, 14685 markings/sec, 3040 secs
lola: STP completed || 57 tries, 56731747 fired transitions, 3045 secs || 42786448 markings, 187061431 edges, 14407 markings/sec, 3045 secs
lola: STP completed || 57 tries, 56840607 fired transitions, 3050 secs || 42859859 markings, 187375321 edges, 14682 markings/sec, 3050 secs
lola: STP completed || 57 tries, 56948363 fired transitions, 3055 secs || 42932424 markings, 187714657 edges, 14513 markings/sec, 3055 secs
lola: STP completed || 58 tries, 57057038 fired transitions, 3060 secs || 43004397 markings, 188097956 edges, 14395 markings/sec, 3060 secs
lola: STP completed || 58 tries, 57165085 fired transitions, 3065 secs || 43077472 markings, 188436833 edges, 14615 markings/sec, 3065 secs
lola: STP completed || 58 tries, 57273091 fired transitions, 3070 secs || 43153220 markings, 188770080 edges, 15150 markings/sec, 3070 secs
lola: STP completed || 58 tries, 57380779 fired transitions, 3075 secs || 43229104 markings, 189089200 edges, 15177 markings/sec, 3075 secs
lola: STP completed || 58 tries, 57488859 fired transitions, 3080 secs || 43304584 markings, 189431412 edges, 15096 markings/sec, 3080 secs
lola: STP completed || 58 tries, 57596019 fired transitions, 3085 secs || 43379094 markings, 189771281 edges, 14902 markings/sec, 3085 secs
lola: STP completed || 58 tries, 57703171 fired transitions, 3090 secs || 43454276 markings, 190103791 edges, 15036 markings/sec, 3090 secs
lola: STP completed || 58 tries, 57807860 fired transitions, 3095 secs || 43531288 markings, 190459162 edges, 15402 markings/sec, 3095 secs
lola: STP completed || 58 tries, 57912753 fired transitions, 3100 secs || 43605166 markings, 190844307 edges, 14776 markings/sec, 3100 secs
lola: STP completed || 59 tries, 58018702 fired transitions, 3105 secs || 43677579 markings, 191187291 edges, 14483 markings/sec, 3105 secs
lola: STP completed || 59 tries, 58123514 fired transitions, 3110 secs || 43750660 markings, 191501852 edges, 14616 markings/sec, 3110 secs
lola: STP completed || 59 tries, 58229269 fired transitions, 3115 secs || 43823365 markings, 191831083 edges, 14541 markings/sec, 3115 secs
lola: STP completed || 59 tries, 58335870 fired transitions, 3120 secs || 43893947 markings, 192174260 edges, 14116 markings/sec, 3120 secs
lola: STP completed || 59 tries, 58441222 fired transitions, 3125 secs || 43965152 markings, 192513289 edges, 14241 markings/sec, 3125 secs
lola: STP completed || 59 tries, 58545346 fired transitions, 3130 secs || 44040474 markings, 192838059 edges, 15064 markings/sec, 3130 secs
lola: STP completed || 59 tries, 58651449 fired transitions, 3135 secs || 44112948 markings, 193202270 edges, 14495 markings/sec, 3135 secs
lola: STP completed || 59 tries, 58756181 fired transitions, 3140 secs || 44187417 markings, 193529785 edges, 14894 markings/sec, 3140 secs
lola: STP completed || 59 tries, 58860108 fired transitions, 3145 secs || 44264068 markings, 193880642 edges, 15330 markings/sec, 3145 secs
lola: STP completed || 59 tries, 58965435 fired transitions, 3150 secs || 44339700 markings, 194231709 edges, 15126 markings/sec, 3150 secs
lola: STP completed || 60 tries, 59070040 fired transitions, 3155 secs || 44414023 markings, 194586909 edges, 14865 markings/sec, 3155 secs
lola: STP completed || 60 tries, 59174762 fired transitions, 3160 secs || 44487810 markings, 194916656 edges, 14757 markings/sec, 3160 secs
lola: STP completed || 60 tries, 59279963 fired transitions, 3165 secs || 44562418 markings, 195244446 edges, 14922 markings/sec, 3165 secs
lola: STP completed || 60 tries, 59384745 fired transitions, 3170 secs || 44634556 markings, 195581344 edges, 14428 markings/sec, 3170 secs
lola: STP completed || 60 tries, 59492838 fired transitions, 3175 secs || 44709139 markings, 195906805 edges, 14917 markings/sec, 3175 secs
lola: STP completed || 60 tries, 59600107 fired transitions, 3180 secs || 44783163 markings, 196245102 edges, 14805 markings/sec, 3180 secs
lola: STP completed || 60 tries, 59708121 fired transitions, 3185 secs || 44857812 markings, 196562050 edges, 14930 markings/sec, 3185 secs
lola: STP completed || 60 tries, 59816030 fired transitions, 3190 secs || 44933959 markings, 196907739 edges, 15229 markings/sec, 3190 secs
lola: STP completed || 60 tries, 59924717 fired transitions, 3195 secs || 45008472 markings, 197247506 edges, 14903 markings/sec, 3195 secs
lola: STP completed || 61 tries, 60032501 fired transitions, 3200 secs || 45083914 markings, 197583709 edges, 15088 markings/sec, 3200 secs
lola: STP completed || 61 tries, 60141251 fired transitions, 3205 secs || 45158565 markings, 197946312 edges, 14930 markings/sec, 3205 secs
lola: STP completed || 61 tries, 60251468 fired transitions, 3210 secs || 45233640 markings, 198288866 edges, 15015 markings/sec, 3210 secs
lola: STP completed || 61 tries, 60361759 fired transitions, 3215 secs || 45308349 markings, 198609927 edges, 14942 markings/sec, 3215 secs
lola: STP completed || 61 tries, 60470266 fired transitions, 3220 secs || 45383429 markings, 198956096 edges, 15016 markings/sec, 3220 secs
lola: STP completed || 61 tries, 60578477 fired transitions, 3225 secs || 45458333 markings, 199300257 edges, 14981 markings/sec, 3225 secs
lola: STP completed || 61 tries, 60686314 fired transitions, 3230 secs || 45533388 markings, 199677739 edges, 15011 markings/sec, 3230 secs
lola: STP completed || 61 tries, 60794539 fired transitions, 3235 secs || 45608040 markings, 200028035 edges, 14930 markings/sec, 3235 secs
lola: STP completed || 61 tries, 60902180 fired transitions, 3240 secs || 45681794 markings, 200373008 edges, 14751 markings/sec, 3240 secs
lola: STP completed || 62 tries, 61010098 fired transitions, 3245 secs || 45755331 markings, 200731120 edges, 14707 markings/sec, 3245 secs
lola: STP completed || 62 tries, 61118427 fired transitions, 3250 secs || 45829855 markings, 201075689 edges, 14905 markings/sec, 3250 secs
lola: STP completed || 62 tries, 61226665 fired transitions, 3255 secs || 45902492 markings, 201431243 edges, 14527 markings/sec, 3255 secs
lola: STP completed || 62 tries, 61334417 fired transitions, 3260 secs || 45978924 markings, 201770530 edges, 15286 markings/sec, 3260 secs
lola: STP completed || 62 tries, 61441908 fired transitions, 3265 secs || 46052543 markings, 202089026 edges, 14724 markings/sec, 3265 secs
lola: STP completed || 62 tries, 61549507 fired transitions, 3270 secs || 46123704 markings, 202429518 edges, 14232 markings/sec, 3270 secs
lola: STP completed || 62 tries, 61657816 fired transitions, 3275 secs || 46198764 markings, 202783035 edges, 15012 markings/sec, 3275 secs
lola: STP completed || 62 tries, 61766171 fired transitions, 3280 secs || 46274099 markings, 203122480 edges, 15067 markings/sec, 3280 secs
lola: STP completed || 62 tries, 61870635 fired transitions, 3285 secs || 46348107 markings, 203458247 edges, 14802 markings/sec, 3285 secs
lola: STP completed || 62 tries, 61970079 fired transitions, 3290 secs || 46421731 markings, 203792386 edges, 14725 markings/sec, 3290 secs
lola: STP completed || 63 tries, 62068184 fired transitions, 3295 secs || 46497099 markings, 204127714 edges, 15074 markings/sec, 3295 secs
lola: STP completed || 63 tries, 62165906 fired transitions, 3300 secs || 46571361 markings, 204457827 edges, 14852 markings/sec, 3300 secs
lola: STP completed || 63 tries, 62262732 fired transitions, 3305 secs || 46646093 markings, 204757690 edges, 14946 markings/sec, 3305 secs
lola: STP completed || 63 tries, 62360855 fired transitions, 3310 secs || 46721017 markings, 205095477 edges, 14985 markings/sec, 3310 secs
lola: STP completed || 63 tries, 62458661 fired transitions, 3315 secs || 46795506 markings, 205428397 edges, 14898 markings/sec, 3315 secs
lola: STP completed || 63 tries, 62559870 fired transitions, 3320 secs || 46870121 markings, 205772372 edges, 14923 markings/sec, 3320 secs
lola: STP completed || 63 tries, 62662589 fired transitions, 3325 secs || 46943749 markings, 206145116 edges, 14726 markings/sec, 3325 secs
lola: STP completed || 63 tries, 62763087 fired transitions, 3330 secs || 47017479 markings, 206514498 edges, 14746 markings/sec, 3330 secs
lola: STP completed || 63 tries, 62862894 fired transitions, 3335 secs || 47091451 markings, 206849727 edges, 14794 markings/sec, 3335 secs
lola: STP completed || 63 tries, 62962273 fired transitions, 3340 secs || 47166932 markings, 207178368 edges, 15096 markings/sec, 3340 secs
lola: STP completed || 64 tries, 63063995 fired transitions, 3345 secs || 47241551 markings, 207493564 edges, 14924 markings/sec, 3345 secs
lola: STP completed || 64 tries, 63166264 fired transitions, 3350 secs || 47318712 markings, 207858247 edges, 15432 markings/sec, 3350 secs
lola: STP completed || 64 tries, 63240633 fired transitions, 3355 secs || 47374298 markings, 208127200 edges, 11117 markings/sec, 3355 secs
lola: STP completed || 64 tries, 63301579 fired transitions, 3360 secs || 47417994 markings, 208335524 edges, 8739 markings/sec, 3360 secs
lola: STP completed || 64 tries, 63361699 fired transitions, 3365 secs || 47461907 markings, 208545815 edges, 8783 markings/sec, 3365 secs
lola: STP completed || 64 tries, 63422609 fired transitions, 3370 secs || 47506878 markings, 208749672 edges, 8994 markings/sec, 3370 secs
lola: STP completed || 64 tries, 63483860 fired transitions, 3375 secs || 47552670 markings, 208939288 edges, 9158 markings/sec, 3375 secs
lola: STP completed || 64 tries, 63582106 fired transitions, 3380 secs || 47623870 markings, 209302571 edges, 14240 markings/sec, 3380 secs
lola: STP completed || 64 tries, 63684519 fired transitions, 3385 secs || 47700924 markings, 209691476 edges, 15411 markings/sec, 3385 secs
lola: STP completed || 64 tries, 63787499 fired transitions, 3390 secs || 47774130 markings, 210029504 edges, 14641 markings/sec, 3390 secs
lola: STP completed || 64 tries, 63892069 fired transitions, 3395 secs || 47849033 markings, 210383779 edges, 14981 markings/sec, 3395 secs
lola: STP completed || 64 tries, 63998158 fired transitions, 3400 secs || 47923291 markings, 210744755 edges, 14852 markings/sec, 3400 secs
lola: STP completed || 65 tries, 64103643 fired transitions, 3405 secs || 47997384 markings, 211098625 edges, 14819 markings/sec, 3405 secs
lola: STP completed || 65 tries, 64207470 fired transitions, 3410 secs || 48074063 markings, 211470841 edges, 15336 markings/sec, 3410 secs
lola: STP completed || 65 tries, 64310032 fired transitions, 3415 secs || 48149449 markings, 211812456 edges, 15077 markings/sec, 3415 secs
lola: STP completed || 65 tries, 64412722 fired transitions, 3420 secs || 48225969 markings, 212162876 edges, 15304 markings/sec, 3420 secs
lola: STP completed || 65 tries, 64518154 fired transitions, 3425 secs || 48302986 markings, 212544493 edges, 15403 markings/sec, 3425 secs
lola: STP completed || 65 tries, 64623089 fired transitions, 3430 secs || 48378977 markings, 212905524 edges, 15198 markings/sec, 3430 secs
lola: STP completed || 65 tries, 64728275 fired transitions, 3435 secs || 48454630 markings, 213244841 edges, 15131 markings/sec, 3435 secs
lola: STP completed || 65 tries, 64832543 fired transitions, 3440 secs || 48530615 markings, 213594871 edges, 15197 markings/sec, 3440 secs
lola: STP completed || 65 tries, 64937806 fired transitions, 3445 secs || 48606231 markings, 213967438 edges, 15123 markings/sec, 3445 secs
lola: STP completed || 66 tries, 65044922 fired transitions, 3450 secs || 48681004 markings, 214294340 edges, 14955 markings/sec, 3450 secs
lola: STP completed || 66 tries, 65153102 fired transitions, 3455 secs || 48754022 markings, 214661311 edges, 14604 markings/sec, 3455 secs
lola: STP completed || 66 tries, 65261413 fired transitions, 3460 secs || 48827227 markings, 215002053 edges, 14641 markings/sec, 3460 secs
lola: STP completed || 66 tries, 65369066 fired transitions, 3465 secs || 48901448 markings, 215326767 edges, 14844 markings/sec, 3465 secs
lola: STP completed || 66 tries, 65475425 fired transitions, 3470 secs || 48976712 markings, 215649187 edges, 15053 markings/sec, 3470 secs
lola: STP completed || 66 tries, 65580977 fired transitions, 3475 secs || 49054455 markings, 216012716 edges, 15549 markings/sec, 3475 secs
lola: STP completed || 66 tries, 65686380 fired transitions, 3480 secs || 49130028 markings, 216386161 edges, 15115 markings/sec, 3480 secs
lola: STP completed || 66 tries, 65791659 fired transitions, 3485 secs || 49205802 markings, 216729251 edges, 15155 markings/sec, 3485 secs
lola: STP completed || 66 tries, 65895065 fired transitions, 3490 secs || 49280593 markings, 217059570 edges, 14958 markings/sec, 3490 secs
lola: STP completed || 67 tries, 66000711 fired transitions, 3495 secs || 49357459 markings, 217403659 edges, 15373 markings/sec, 3495 secs
lola: STP completed || 67 tries, 66105635 fired transitions, 3500 secs || 49431970 markings, 217774166 edges, 14902 markings/sec, 3500 secs
lola: STP completed || 67 tries, 66209669 fired transitions, 3505 secs || 49507946 markings, 218103838 edges, 15195 markings/sec, 3505 secs
lola: STP completed || 67 tries, 66312055 fired transitions, 3510 secs || 49584012 markings, 218445823 edges, 15213 markings/sec, 3510 secs
lola: STP completed || 67 tries, 66414615 fired transitions, 3515 secs || 49660167 markings, 218794622 edges, 15231 markings/sec, 3515 secs
lola: STP completed || 67 tries, 66517931 fired transitions, 3520 secs || 49736882 markings, 219143530 edges, 15343 markings/sec, 3520 secs
lola: STP completed || 67 tries, 66623002 fired transitions, 3525 secs || 49810456 markings, 219467084 edges, 14715 markings/sec, 3525 secs
lola: STP completed || 67 tries, 66727217 fired transitions, 3530 secs || 49884499 markings, 219814208 edges, 14809 markings/sec, 3530 secs
lola: STP completed || 67 tries, 66832123 fired transitions, 3535 secs || 49958098 markings, 220150738 edges, 14720 markings/sec, 3535 secs
lola: STP completed || 67 tries, 66936300 fired transitions, 3540 secs || 50031980 markings, 220484350 edges, 14776 markings/sec, 3540 secs
lola: STP completed || 68 tries, 67040552 fired transitions, 3545 secs || 50105231 markings, 220832324 edges, 14650 markings/sec, 3545 secs
lola: STP completed || 68 tries, 67144440 fired transitions, 3550 secs || 50181345 markings, 221166330 edges, 15223 markings/sec, 3550 secs
lola: STP completed || 68 tries, 67246965 fired transitions, 3555 secs || 50259192 markings, 221513191 edges, 15569 markings/sec, 3555 secs
lola: STP completed || 68 tries, 67352162 fired transitions, 3560 secs || 50334540 markings, 221854843 edges, 15070 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 2128128 KB
lola: time consumption: 3570 seconds
BK_STOP 1527017658352
--------------------
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="LamportFastMutEx-COL-7"
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/LamportFastMutEx-COL-7.tgz
mv LamportFastMutEx-COL-7 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 LamportFastMutEx-COL-7, 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 r112-csrt-152666469000097"
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 ;