About the Execution of LoLA for DLCround-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13704.530 | 3571282.00 | 7195255.00 | 8167.90 | [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 1.5M
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.3M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-09b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200097
=====================================================================
--------------------
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 DLCround-PT-09b-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526638223554
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-09b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-09b formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-09b @ 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: 8934/65536 symbol table entries, 2001 collisions
lola: preprocessing...
lola: Size of bit vector: 3495
lola: finding significant places
lola: 3495 places, 5439 transitions, 3311 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 7698 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-09b-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 14 generators (14 in search tree, 0 by composition)
lola: representing 16384 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 109154 variables and 328259 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 150862 fired transitions, 0 secs || 78718 markings, 88006 edges, 15744 markings/sec, 0 secs
lola: STP completed || 1 tries, 302581 fired transitions, 5 secs || 163585 markings, 183168 edges, 16973 markings/sec, 5 secs
lola: STP completed || 1 tries, 448845 fired transitions, 10 secs || 247700 markings, 277388 edges, 16823 markings/sec, 10 secs
lola: STP completed || 1 tries, 597857 fired transitions, 15 secs || 333949 markings, 373665 edges, 17250 markings/sec, 15 secs
lola: STP completed || 1 tries, 747443 fired transitions, 20 secs || 417794 markings, 467050 edges, 16769 markings/sec, 20 secs
lola: STP completed || 1 tries, 896856 fired transitions, 25 secs || 500858 markings, 560130 edges, 16613 markings/sec, 25 secs
lola: STP completed || 2 tries, 1046837 fired transitions, 30 secs || 581411 markings, 649847 edges, 16111 markings/sec, 30 secs
lola: STP completed || 2 tries, 1194600 fired transitions, 35 secs || 662812 markings, 740679 edges, 16280 markings/sec, 35 secs
lola: STP completed || 2 tries, 1343798 fired transitions, 40 secs || 742317 markings, 829312 edges, 15901 markings/sec, 40 secs
lola: STP completed || 2 tries, 1491601 fired transitions, 45 secs || 823172 markings, 919386 edges, 16171 markings/sec, 45 secs
lola: STP completed || 2 tries, 1639572 fired transitions, 50 secs || 904756 markings, 1009959 edges, 16317 markings/sec, 50 secs
lola: STP completed || 2 tries, 1789762 fired transitions, 55 secs || 984462 markings, 1097894 edges, 15941 markings/sec, 55 secs
lola: STP completed || 2 tries, 1941025 fired transitions, 60 secs || 1063677 markings, 1185306 edges, 15843 markings/sec, 60 secs
lola: STP completed || 3 tries, 2090932 fired transitions, 65 secs || 1142509 markings, 1272319 edges, 15766 markings/sec, 65 secs
lola: STP completed || 3 tries, 2240314 fired transitions, 70 secs || 1221883 markings, 1360250 edges, 15875 markings/sec, 70 secs
lola: STP completed || 3 tries, 2391081 fired transitions, 75 secs || 1300687 markings, 1447436 edges, 15761 markings/sec, 75 secs
lola: STP completed || 3 tries, 2541213 fired transitions, 80 secs || 1381871 markings, 1537485 edges, 16237 markings/sec, 80 secs
lola: STP completed || 3 tries, 2689321 fired transitions, 85 secs || 1464572 markings, 1629268 edges, 16540 markings/sec, 85 secs
lola: STP completed || 3 tries, 2840560 fired transitions, 90 secs || 1543689 markings, 1716362 edges, 15823 markings/sec, 90 secs
lola: STP completed || 3 tries, 2989692 fired transitions, 95 secs || 1622000 markings, 1802874 edges, 15662 markings/sec, 95 secs
lola: STP completed || 4 tries, 3141168 fired transitions, 100 secs || 1700897 markings, 1890033 edges, 15779 markings/sec, 100 secs
lola: STP completed || 4 tries, 3293080 fired transitions, 105 secs || 1783993 markings, 1982583 edges, 16619 markings/sec, 105 secs
lola: STP completed || 4 tries, 3442186 fired transitions, 110 secs || 1865112 markings, 2073201 edges, 16224 markings/sec, 110 secs
lola: STP completed || 4 tries, 3591992 fired transitions, 115 secs || 1945767 markings, 2163749 edges, 16131 markings/sec, 115 secs
lola: STP completed || 4 tries, 3741563 fired transitions, 120 secs || 2028590 markings, 2256522 edges, 16565 markings/sec, 120 secs
lola: STP completed || 4 tries, 3891342 fired transitions, 125 secs || 2109991 markings, 2347418 edges, 16280 markings/sec, 125 secs
lola: STP completed || 5 tries, 4042219 fired transitions, 130 secs || 2191696 markings, 2438351 edges, 16341 markings/sec, 130 secs
lola: STP completed || 5 tries, 4190933 fired transitions, 135 secs || 2271759 markings, 2527598 edges, 16013 markings/sec, 135 secs
lola: STP completed || 5 tries, 4340814 fired transitions, 140 secs || 2354462 markings, 2620133 edges, 16541 markings/sec, 140 secs
lola: STP completed || 5 tries, 4490725 fired transitions, 145 secs || 2434616 markings, 2709624 edges, 16031 markings/sec, 145 secs
lola: STP completed || 5 tries, 4642438 fired transitions, 150 secs || 2515920 markings, 2800213 edges, 16261 markings/sec, 150 secs
lola: STP completed || 5 tries, 4790043 fired transitions, 155 secs || 2597195 markings, 2890541 edges, 16255 markings/sec, 155 secs
lola: STP completed || 5 tries, 4938305 fired transitions, 160 secs || 2678615 markings, 2981225 edges, 16284 markings/sec, 160 secs
lola: STP completed || 6 tries, 5087810 fired transitions, 165 secs || 2759389 markings, 3071094 edges, 16155 markings/sec, 165 secs
lola: STP completed || 6 tries, 5236523 fired transitions, 170 secs || 2841592 markings, 3162678 edges, 16441 markings/sec, 170 secs
lola: STP completed || 6 tries, 5387182 fired transitions, 175 secs || 2918804 markings, 3248887 edges, 15442 markings/sec, 175 secs
lola: STP completed || 6 tries, 5538066 fired transitions, 180 secs || 2999102 markings, 3338551 edges, 16060 markings/sec, 180 secs
lola: STP completed || 6 tries, 5686806 fired transitions, 185 secs || 3079517 markings, 3427974 edges, 16083 markings/sec, 185 secs
lola: STP completed || 6 tries, 5837178 fired transitions, 190 secs || 3160992 markings, 3518716 edges, 16295 markings/sec, 190 secs
lola: STP completed || 6 tries, 5989874 fired transitions, 195 secs || 3243052 markings, 3609942 edges, 16412 markings/sec, 195 secs
lola: STP completed || 7 tries, 6140469 fired transitions, 200 secs || 3324847 markings, 3700941 edges, 16359 markings/sec, 200 secs
lola: STP completed || 7 tries, 6289582 fired transitions, 205 secs || 3405936 markings, 3791466 edges, 16218 markings/sec, 205 secs
lola: STP completed || 7 tries, 6439652 fired transitions, 210 secs || 3487523 markings, 3882456 edges, 16317 markings/sec, 210 secs
lola: STP completed || 7 tries, 6590619 fired transitions, 215 secs || 3567567 markings, 3971846 edges, 16009 markings/sec, 215 secs
lola: STP completed || 7 tries, 6740296 fired transitions, 220 secs || 3648888 markings, 4062710 edges, 16264 markings/sec, 220 secs
lola: STP completed || 7 tries, 6891078 fired transitions, 225 secs || 3727192 markings, 4150421 edges, 15661 markings/sec, 225 secs
lola: STP completed || 8 tries, 7043225 fired transitions, 230 secs || 3807580 markings, 4240260 edges, 16078 markings/sec, 230 secs
lola: STP completed || 8 tries, 7192233 fired transitions, 235 secs || 3887219 markings, 4328829 edges, 15928 markings/sec, 235 secs
lola: STP completed || 8 tries, 7341513 fired transitions, 240 secs || 3968603 markings, 4419636 edges, 16277 markings/sec, 240 secs
lola: STP completed || 8 tries, 7490607 fired transitions, 245 secs || 4049088 markings, 4509470 edges, 16097 markings/sec, 245 secs
lola: STP completed || 8 tries, 7640516 fired transitions, 250 secs || 4129869 markings, 4599783 edges, 16156 markings/sec, 250 secs
lola: STP completed || 8 tries, 7790413 fired transitions, 255 secs || 4208961 markings, 4687933 edges, 15818 markings/sec, 255 secs
lola: STP completed || 8 tries, 7939913 fired transitions, 260 secs || 4287994 markings, 4776029 edges, 15807 markings/sec, 260 secs
lola: STP completed || 9 tries, 8089227 fired transitions, 265 secs || 4368394 markings, 4865730 edges, 16080 markings/sec, 265 secs
lola: STP completed || 9 tries, 8239990 fired transitions, 270 secs || 4442954 markings, 4949029 edges, 14912 markings/sec, 270 secs
lola: STP completed || 9 tries, 8392211 fired transitions, 275 secs || 4518189 markings, 5032224 edges, 15047 markings/sec, 275 secs
lola: STP completed || 9 tries, 8540932 fired transitions, 280 secs || 4598793 markings, 5121102 edges, 16121 markings/sec, 280 secs
lola: STP completed || 9 tries, 8691401 fired transitions, 285 secs || 4680816 markings, 5212627 edges, 16405 markings/sec, 285 secs
lola: STP completed || 9 tries, 8841246 fired transitions, 290 secs || 4763212 markings, 5304632 edges, 16479 markings/sec, 290 secs
lola: STP completed || 9 tries, 8991200 fired transitions, 295 secs || 4846828 markings, 5398341 edges, 16723 markings/sec, 295 secs
lola: STP completed || 10 tries, 9141438 fired transitions, 300 secs || 4927802 markings, 5489283 edges, 16195 markings/sec, 300 secs
lola: STP completed || 10 tries, 9292642 fired transitions, 305 secs || 5008846 markings, 5580468 edges, 16209 markings/sec, 305 secs
lola: STP completed || 10 tries, 9431218 fired transitions, 310 secs || 5091251 markings, 5673599 edges, 16481 markings/sec, 310 secs
lola: STP completed || 10 tries, 9580450 fired transitions, 315 secs || 5175994 markings, 5769588 edges, 16949 markings/sec, 315 secs
lola: STP completed || 10 tries, 9731621 fired transitions, 320 secs || 5262394 markings, 5866858 edges, 17280 markings/sec, 320 secs
lola: STP completed || 10 tries, 9876617 fired transitions, 325 secs || 5349167 markings, 5965359 edges, 17355 markings/sec, 325 secs
lola: STP completed || 11 tries, 10028116 fired transitions, 330 secs || 5437124 markings, 6065702 edges, 17591 markings/sec, 330 secs
lola: STP completed || 11 tries, 10174480 fired transitions, 335 secs || 5525120 markings, 6166948 edges, 17599 markings/sec, 335 secs
lola: STP completed || 11 tries, 10321231 fired transitions, 340 secs || 5612112 markings, 6266916 edges, 17398 markings/sec, 340 secs
lola: STP completed || 11 tries, 10466219 fired transitions, 345 secs || 5698807 markings, 6366146 edges, 17339 markings/sec, 345 secs
lola: STP completed || 11 tries, 10613485 fired transitions, 350 secs || 5787756 markings, 6469203 edges, 17790 markings/sec, 350 secs
lola: STP completed || 11 tries, 10760835 fired transitions, 355 secs || 5875828 markings, 6571179 edges, 17614 markings/sec, 355 secs
lola: STP completed || 11 tries, 10905453 fired transitions, 360 secs || 5963139 markings, 6671539 edges, 17462 markings/sec, 360 secs
lola: STP completed || 12 tries, 11052180 fired transitions, 365 secs || 6051383 markings, 6773996 edges, 17649 markings/sec, 365 secs
lola: STP completed || 12 tries, 11204898 fired transitions, 370 secs || 6141291 markings, 6878050 edges, 17982 markings/sec, 370 secs
lola: STP completed || 12 tries, 11351257 fired transitions, 375 secs || 6230249 markings, 6981598 edges, 17792 markings/sec, 375 secs
lola: STP completed || 12 tries, 11498301 fired transitions, 380 secs || 6319423 markings, 7085490 edges, 17835 markings/sec, 380 secs
lola: STP completed || 12 tries, 11646590 fired transitions, 385 secs || 6410191 markings, 7192045 edges, 18154 markings/sec, 385 secs
lola: STP completed || 12 tries, 11794773 fired transitions, 390 secs || 6499448 markings, 7296499 edges, 17851 markings/sec, 390 secs
lola: STP completed || 12 tries, 11941453 fired transitions, 395 secs || 6582678 markings, 7394610 edges, 16646 markings/sec, 395 secs
lola: STP completed || 13 tries, 12091014 fired transitions, 400 secs || 6673712 markings, 7501389 edges, 18207 markings/sec, 400 secs
lola: STP completed || 13 tries, 12237425 fired transitions, 405 secs || 6759999 markings, 7600293 edges, 17257 markings/sec, 405 secs
lola: STP completed || 13 tries, 12383844 fired transitions, 410 secs || 6849240 markings, 7705272 edges, 17848 markings/sec, 410 secs
lola: STP completed || 13 tries, 12529081 fired transitions, 415 secs || 6937256 markings, 7808297 edges, 17603 markings/sec, 415 secs
lola: STP completed || 13 tries, 12676811 fired transitions, 420 secs || 7019393 markings, 7904287 edges, 16427 markings/sec, 420 secs
lola: STP completed || 13 tries, 12821796 fired transitions, 425 secs || 7110308 markings, 8011664 edges, 18183 markings/sec, 425 secs
lola: STP completed || 13 tries, 12967436 fired transitions, 430 secs || 7190989 markings, 8105382 edges, 16136 markings/sec, 430 secs
lola: STP completed || 14 tries, 13112595 fired transitions, 435 secs || 7268479 markings, 8191971 edges, 15498 markings/sec, 435 secs
lola: STP completed || 14 tries, 13257931 fired transitions, 440 secs || 7347852 markings, 8281955 edges, 15875 markings/sec, 440 secs
lola: STP completed || 14 tries, 13402852 fired transitions, 445 secs || 7430682 markings, 8376038 edges, 16566 markings/sec, 445 secs
lola: STP completed || 14 tries, 13551077 fired transitions, 450 secs || 7519778 markings, 8481131 edges, 17819 markings/sec, 450 secs
lola: STP completed || 14 tries, 13696522 fired transitions, 455 secs || 7608175 markings, 8585027 edges, 17679 markings/sec, 455 secs
lola: STP completed || 14 tries, 13844421 fired transitions, 460 secs || 7689340 markings, 8679276 edges, 16233 markings/sec, 460 secs
lola: STP completed || 14 tries, 13991002 fired transitions, 465 secs || 7777700 markings, 8782627 edges, 17672 markings/sec, 465 secs
lola: STP completed || 15 tries, 14140826 fired transitions, 470 secs || 7866482 markings, 8887161 edges, 17756 markings/sec, 470 secs
lola: STP completed || 15 tries, 14289989 fired transitions, 475 secs || 7955624 markings, 8992758 edges, 17828 markings/sec, 475 secs
lola: STP completed || 15 tries, 14437800 fired transitions, 480 secs || 8044269 markings, 9097238 edges, 17729 markings/sec, 480 secs
lola: STP completed || 15 tries, 14586450 fired transitions, 485 secs || 8133946 markings, 9202744 edges, 17935 markings/sec, 485 secs
lola: STP completed || 15 tries, 14734779 fired transitions, 490 secs || 8222643 markings, 9307317 edges, 17739 markings/sec, 490 secs
lola: STP completed || 15 tries, 14881412 fired transitions, 495 secs || 8312508 markings, 9412881 edges, 17973 markings/sec, 495 secs
lola: STP completed || 16 tries, 15028131 fired transitions, 500 secs || 8386798 markings, 9496530 edges, 14858 markings/sec, 500 secs
lola: STP completed || 16 tries, 15176615 fired transitions, 505 secs || 8472425 markings, 9594519 edges, 17125 markings/sec, 505 secs
lola: STP completed || 16 tries, 15323425 fired transitions, 510 secs || 8557182 markings, 9691430 edges, 16951 markings/sec, 510 secs
lola: STP completed || 16 tries, 15470134 fired transitions, 515 secs || 8642700 markings, 9789761 edges, 17104 markings/sec, 515 secs
lola: STP completed || 16 tries, 15615314 fired transitions, 520 secs || 8728235 markings, 9888415 edges, 17107 markings/sec, 520 secs
lola: STP completed || 16 tries, 15762143 fired transitions, 525 secs || 8814606 markings, 9988754 edges, 17274 markings/sec, 525 secs
lola: STP completed || 16 tries, 15909324 fired transitions, 530 secs || 8899118 markings, 10086885 edges, 16902 markings/sec, 530 secs
lola: STP completed || 17 tries, 16056929 fired transitions, 535 secs || 8988270 markings, 10191287 edges, 17830 markings/sec, 535 secs
lola: STP completed || 17 tries, 16203562 fired transitions, 540 secs || 9076820 markings, 10293833 edges, 17710 markings/sec, 540 secs
lola: STP completed || 17 tries, 16349553 fired transitions, 545 secs || 9160055 markings, 10388359 edges, 16647 markings/sec, 545 secs
lola: STP completed || 17 tries, 16496448 fired transitions, 550 secs || 9247579 markings, 10488845 edges, 17505 markings/sec, 550 secs
lola: STP completed || 17 tries, 16643726 fired transitions, 555 secs || 9335382 markings, 10589723 edges, 17561 markings/sec, 555 secs
lola: STP completed || 17 tries, 16790282 fired transitions, 560 secs || 9420976 markings, 10687783 edges, 17119 markings/sec, 560 secs
lola: STP completed || 17 tries, 16934644 fired transitions, 565 secs || 9503349 markings, 10782207 edges, 16475 markings/sec, 565 secs
lola: STP completed || 18 tries, 17080842 fired transitions, 570 secs || 9587391 markings, 10879327 edges, 16808 markings/sec, 570 secs
lola: STP completed || 18 tries, 17226754 fired transitions, 575 secs || 9669489 markings, 10973713 edges, 16420 markings/sec, 575 secs
lola: STP completed || 18 tries, 17373452 fired transitions, 580 secs || 9754470 markings, 11072975 edges, 16996 markings/sec, 580 secs
lola: STP completed || 18 tries, 17520207 fired transitions, 585 secs || 9838840 markings, 11171297 edges, 16874 markings/sec, 585 secs
lola: STP completed || 18 tries, 17666407 fired transitions, 590 secs || 9922940 markings, 11267317 edges, 16820 markings/sec, 590 secs
lola: STP completed || 18 tries, 17818747 fired transitions, 595 secs || 10006122 markings, 11363427 edges, 16636 markings/sec, 595 secs
lola: STP completed || 18 tries, 17968643 fired transitions, 600 secs || 10090645 markings, 11461991 edges, 16905 markings/sec, 600 secs
lola: STP completed || 19 tries, 18118680 fired transitions, 605 secs || 10169018 markings, 11550381 edges, 15675 markings/sec, 605 secs
lola: STP completed || 19 tries, 18267980 fired transitions, 610 secs || 10248976 markings, 11640234 edges, 15992 markings/sec, 610 secs
lola: STP completed || 19 tries, 18415898 fired transitions, 615 secs || 10328847 markings, 11730469 edges, 15974 markings/sec, 615 secs
lola: STP completed || 19 tries, 18563916 fired transitions, 620 secs || 10408183 markings, 11820157 edges, 15867 markings/sec, 620 secs
lola: STP completed || 19 tries, 18713811 fired transitions, 625 secs || 10489370 markings, 11912272 edges, 16237 markings/sec, 625 secs
lola: STP completed || 19 tries, 18863391 fired transitions, 630 secs || 10569883 markings, 12003241 edges, 16103 markings/sec, 630 secs
lola: STP completed || 20 tries, 19012666 fired transitions, 635 secs || 10650882 markings, 12094608 edges, 16200 markings/sec, 635 secs
lola: STP completed || 20 tries, 19164900 fired transitions, 640 secs || 10730086 markings, 12183310 edges, 15841 markings/sec, 640 secs
lola: STP completed || 20 tries, 19314650 fired transitions, 645 secs || 10810735 markings, 12273691 edges, 16130 markings/sec, 645 secs
lola: STP completed || 20 tries, 19466515 fired transitions, 650 secs || 10901888 markings, 12378985 edges, 18231 markings/sec, 650 secs
lola: STP completed || 20 tries, 19616867 fired transitions, 655 secs || 10990454 markings, 12479982 edges, 17713 markings/sec, 655 secs
lola: STP completed || 20 tries, 19765542 fired transitions, 660 secs || 11079612 markings, 12582608 edges, 17832 markings/sec, 660 secs
lola: STP completed || 20 tries, 19911139 fired transitions, 665 secs || 11158251 markings, 12671162 edges, 15728 markings/sec, 665 secs
lola: STP completed || 21 tries, 20058317 fired transitions, 670 secs || 11239327 markings, 12763134 edges, 16215 markings/sec, 670 secs
lola: STP completed || 21 tries, 20203499 fired transitions, 675 secs || 11317911 markings, 12851840 edges, 15717 markings/sec, 675 secs
lola: STP completed || 21 tries, 20347330 fired transitions, 680 secs || 11396269 markings, 12939959 edges, 15672 markings/sec, 680 secs
lola: STP completed || 21 tries, 20492618 fired transitions, 685 secs || 11472856 markings, 13025871 edges, 15317 markings/sec, 685 secs
lola: STP completed || 21 tries, 20638667 fired transitions, 690 secs || 11552047 markings, 13115645 edges, 15838 markings/sec, 690 secs
lola: STP completed || 21 tries, 20785476 fired transitions, 695 secs || 11632885 markings, 13206664 edges, 16168 markings/sec, 695 secs
lola: STP completed || 21 tries, 20936234 fired transitions, 700 secs || 11720530 markings, 13305928 edges, 17529 markings/sec, 700 secs
lola: STP completed || 22 tries, 21085893 fired transitions, 705 secs || 11811069 markings, 13410305 edges, 18108 markings/sec, 705 secs
lola: STP completed || 22 tries, 21235817 fired transitions, 710 secs || 11896091 markings, 13506799 edges, 17004 markings/sec, 710 secs
lola: STP completed || 22 tries, 21380957 fired transitions, 715 secs || 11981487 markings, 13604955 edges, 17079 markings/sec, 715 secs
lola: STP completed || 22 tries, 21527620 fired transitions, 720 secs || 12068902 markings, 13705296 edges, 17483 markings/sec, 720 secs
lola: STP completed || 22 tries, 21677780 fired transitions, 725 secs || 12152558 markings, 13799324 edges, 16731 markings/sec, 725 secs
lola: STP completed || 22 tries, 21827228 fired transitions, 730 secs || 12236322 markings, 13893976 edges, 16753 markings/sec, 730 secs
lola: STP completed || 22 tries, 21974428 fired transitions, 735 secs || 12314176 markings, 13981046 edges, 15571 markings/sec, 735 secs
lola: STP completed || 23 tries, 22122895 fired transitions, 740 secs || 12392139 markings, 14068682 edges, 15593 markings/sec, 740 secs
lola: STP completed || 23 tries, 22272318 fired transitions, 745 secs || 12469239 markings, 14154980 edges, 15420 markings/sec, 745 secs
lola: STP completed || 23 tries, 22419498 fired transitions, 750 secs || 12544696 markings, 14238962 edges, 15091 markings/sec, 750 secs
lola: STP completed || 23 tries, 22566210 fired transitions, 755 secs || 12622454 markings, 14326438 edges, 15552 markings/sec, 755 secs
lola: STP completed || 23 tries, 22715061 fired transitions, 760 secs || 12700468 markings, 14414213 edges, 15603 markings/sec, 760 secs
lola: STP completed || 23 tries, 22863093 fired transitions, 765 secs || 12778538 markings, 14501956 edges, 15614 markings/sec, 765 secs
lola: STP completed || 24 tries, 23010725 fired transitions, 770 secs || 12856552 markings, 14589688 edges, 15603 markings/sec, 770 secs
lola: STP completed || 24 tries, 23158820 fired transitions, 775 secs || 12935828 markings, 14679240 edges, 15855 markings/sec, 775 secs
lola: STP completed || 24 tries, 23304903 fired transitions, 780 secs || 13017581 markings, 14772766 edges, 16351 markings/sec, 780 secs
lola: STP completed || 24 tries, 23453968 fired transitions, 785 secs || 13097549 markings, 14863472 edges, 15994 markings/sec, 785 secs
lola: STP completed || 24 tries, 23602495 fired transitions, 790 secs || 13177563 markings, 14954228 edges, 16003 markings/sec, 790 secs
lola: STP completed || 24 tries, 23750302 fired transitions, 795 secs || 13257373 markings, 15044496 edges, 15962 markings/sec, 795 secs
lola: STP completed || 24 tries, 23899985 fired transitions, 800 secs || 13340122 markings, 15139612 edges, 16550 markings/sec, 800 secs
lola: STP completed || 25 tries, 24049639 fired transitions, 805 secs || 13425232 markings, 15238534 edges, 17022 markings/sec, 805 secs
lola: STP completed || 25 tries, 24199159 fired transitions, 810 secs || 13506435 markings, 15331347 edges, 16241 markings/sec, 810 secs
lola: STP completed || 25 tries, 24350136 fired transitions, 815 secs || 13586916 markings, 15423196 edges, 16096 markings/sec, 815 secs
lola: STP completed || 25 tries, 24500864 fired transitions, 820 secs || 13665938 markings, 15512786 edges, 15804 markings/sec, 820 secs
lola: STP completed || 25 tries, 24651923 fired transitions, 825 secs || 13747418 markings, 15606424 edges, 16296 markings/sec, 825 secs
lola: STP completed || 25 tries, 24800797 fired transitions, 830 secs || 13831721 markings, 15704513 edges, 16861 markings/sec, 830 secs
lola: STP completed || 25 tries, 24951710 fired transitions, 835 secs || 13912985 markings, 15797490 edges, 16253 markings/sec, 835 secs
lola: STP completed || 26 tries, 25103206 fired transitions, 840 secs || 13992161 markings, 15887257 edges, 15835 markings/sec, 840 secs
lola: STP completed || 26 tries, 25252385 fired transitions, 845 secs || 14073474 markings, 15980041 edges, 16263 markings/sec, 845 secs
lola: STP completed || 26 tries, 25401241 fired transitions, 850 secs || 14153489 markings, 16071096 edges, 16003 markings/sec, 850 secs
lola: STP completed || 26 tries, 25552213 fired transitions, 855 secs || 14232764 markings, 16161087 edges, 15855 markings/sec, 855 secs
lola: STP completed || 26 tries, 25702096 fired transitions, 860 secs || 14311799 markings, 16250679 edges, 15807 markings/sec, 860 secs
lola: STP completed || 26 tries, 25854322 fired transitions, 865 secs || 14393060 markings, 16343789 edges, 16252 markings/sec, 865 secs
lola: STP completed || 27 tries, 26005932 fired transitions, 870 secs || 14476872 markings, 16440993 edges, 16762 markings/sec, 870 secs
lola: STP completed || 27 tries, 26156916 fired transitions, 875 secs || 14558453 markings, 16533126 edges, 16316 markings/sec, 875 secs
lola: STP completed || 27 tries, 26307414 fired transitions, 880 secs || 14635956 markings, 16618988 edges, 15501 markings/sec, 880 secs
lola: STP completed || 27 tries, 26456670 fired transitions, 885 secs || 14714285 markings, 16706884 edges, 15666 markings/sec, 885 secs
lola: STP completed || 27 tries, 26607080 fired transitions, 890 secs || 14790520 markings, 16791196 edges, 15247 markings/sec, 890 secs
lola: STP completed || 27 tries, 26755327 fired transitions, 895 secs || 14866466 markings, 16875416 edges, 15189 markings/sec, 895 secs
lola: STP completed || 27 tries, 26904287 fired transitions, 900 secs || 14942429 markings, 16959694 edges, 15193 markings/sec, 900 secs
lola: STP completed || 28 tries, 27056134 fired transitions, 905 secs || 15019192 markings, 17045345 edges, 15353 markings/sec, 905 secs
lola: STP completed || 28 tries, 27205775 fired transitions, 910 secs || 15095473 markings, 17130765 edges, 15256 markings/sec, 910 secs
lola: STP completed || 28 tries, 27354539 fired transitions, 915 secs || 15171690 markings, 17215451 edges, 15243 markings/sec, 915 secs
lola: STP completed || 28 tries, 27503987 fired transitions, 920 secs || 15247115 markings, 17299194 edges, 15085 markings/sec, 920 secs
lola: STP completed || 28 tries, 27653116 fired transitions, 925 secs || 15322412 markings, 17382760 edges, 15059 markings/sec, 925 secs
lola: STP completed || 28 tries, 27802507 fired transitions, 930 secs || 15400699 markings, 17470914 edges, 15657 markings/sec, 930 secs
lola: STP completed || 28 tries, 27952561 fired transitions, 935 secs || 15476622 markings, 17555082 edges, 15185 markings/sec, 935 secs
lola: STP completed || 29 tries, 28100257 fired transitions, 940 secs || 15551679 markings, 17637580 edges, 15011 markings/sec, 940 secs
lola: STP completed || 29 tries, 28247855 fired transitions, 945 secs || 15630397 markings, 17724677 edges, 15744 markings/sec, 945 secs
lola: STP completed || 29 tries, 28396841 fired transitions, 950 secs || 15710811 markings, 17814473 edges, 16083 markings/sec, 950 secs
lola: STP completed || 29 tries, 28546486 fired transitions, 955 secs || 15791181 markings, 17904287 edges, 16074 markings/sec, 955 secs
lola: STP completed || 29 tries, 28697929 fired transitions, 960 secs || 15871367 markings, 17993725 edges, 16037 markings/sec, 960 secs
lola: STP completed || 29 tries, 28848598 fired transitions, 965 secs || 15951353 markings, 18083056 edges, 15997 markings/sec, 965 secs
lola: STP completed || 29 tries, 28998359 fired transitions, 970 secs || 16032441 markings, 18174257 edges, 16218 markings/sec, 970 secs
lola: STP completed || 30 tries, 29149235 fired transitions, 975 secs || 16113693 markings, 18266004 edges, 16250 markings/sec, 975 secs
lola: STP completed || 30 tries, 29300010 fired transitions, 980 secs || 16193138 markings, 18354383 edges, 15889 markings/sec, 980 secs
lola: STP completed || 30 tries, 29449230 fired transitions, 985 secs || 16273362 markings, 18443964 edges, 16045 markings/sec, 985 secs
lola: STP completed || 30 tries, 29598026 fired transitions, 990 secs || 16354173 markings, 18534640 edges, 16162 markings/sec, 990 secs
lola: STP completed || 30 tries, 29748108 fired transitions, 995 secs || 16434776 markings, 18625089 edges, 16121 markings/sec, 995 secs
lola: STP completed || 30 tries, 29895638 fired transitions, 1000 secs || 16514674 markings, 18714450 edges, 15980 markings/sec, 1000 secs
lola: STP completed || 31 tries, 30046742 fired transitions, 1005 secs || 16595505 markings, 18805426 edges, 16166 markings/sec, 1005 secs
lola: STP completed || 31 tries, 30198023 fired transitions, 1010 secs || 16677272 markings, 18897863 edges, 16353 markings/sec, 1010 secs
lola: STP completed || 31 tries, 30349211 fired transitions, 1015 secs || 16758481 markings, 18989818 edges, 16242 markings/sec, 1015 secs
lola: STP completed || 31 tries, 30497755 fired transitions, 1020 secs || 16837190 markings, 19077745 edges, 15742 markings/sec, 1020 secs
lola: STP completed || 31 tries, 30649502 fired transitions, 1025 secs || 16917925 markings, 19168822 edges, 16147 markings/sec, 1025 secs
lola: STP completed || 31 tries, 30799557 fired transitions, 1030 secs || 16998029 markings, 19259017 edges, 16021 markings/sec, 1030 secs
lola: STP completed || 31 tries, 30950053 fired transitions, 1035 secs || 17077988 markings, 19348786 edges, 15992 markings/sec, 1035 secs
lola: STP completed || 32 tries, 31100179 fired transitions, 1040 secs || 17157538 markings, 19437781 edges, 15910 markings/sec, 1040 secs
lola: STP completed || 32 tries, 31252117 fired transitions, 1045 secs || 17239156 markings, 19530432 edges, 16324 markings/sec, 1045 secs
lola: STP completed || 32 tries, 31402594 fired transitions, 1050 secs || 17319096 markings, 19620199 edges, 15988 markings/sec, 1050 secs
lola: STP completed || 32 tries, 31553967 fired transitions, 1055 secs || 17402205 markings, 19715303 edges, 16622 markings/sec, 1055 secs
lola: STP completed || 32 tries, 31703033 fired transitions, 1060 secs || 17484840 markings, 19809427 edges, 16527 markings/sec, 1060 secs
lola: STP completed || 32 tries, 31855490 fired transitions, 1065 secs || 17567473 markings, 19903897 edges, 16527 markings/sec, 1065 secs
lola: STP completed || 33 tries, 32005650 fired transitions, 1070 secs || 17648712 markings, 19995810 edges, 16248 markings/sec, 1070 secs
lola: STP completed || 33 tries, 32156570 fired transitions, 1075 secs || 17729415 markings, 20085717 edges, 16141 markings/sec, 1075 secs
lola: STP completed || 33 tries, 32304663 fired transitions, 1080 secs || 17809576 markings, 20175106 edges, 16032 markings/sec, 1080 secs
lola: STP completed || 33 tries, 32453343 fired transitions, 1085 secs || 17890795 markings, 20266355 edges, 16244 markings/sec, 1085 secs
lola: STP completed || 33 tries, 32604338 fired transitions, 1090 secs || 17974450 markings, 20362086 edges, 16731 markings/sec, 1090 secs
lola: STP completed || 33 tries, 32754256 fired transitions, 1095 secs || 18055000 markings, 20452048 edges, 16110 markings/sec, 1095 secs
lola: STP completed || 33 tries, 32902742 fired transitions, 1100 secs || 18134203 markings, 20540136 edges, 15841 markings/sec, 1100 secs
lola: STP completed || 34 tries, 33054225 fired transitions, 1105 secs || 18214326 markings, 20629450 edges, 16025 markings/sec, 1105 secs
lola: STP completed || 34 tries, 33204052 fired transitions, 1110 secs || 18294256 markings, 20718570 edges, 15986 markings/sec, 1110 secs
lola: STP completed || 34 tries, 33353333 fired transitions, 1115 secs || 18374671 markings, 20808528 edges, 16083 markings/sec, 1115 secs
lola: STP completed || 34 tries, 33503825 fired transitions, 1120 secs || 18454731 markings, 20898395 edges, 16012 markings/sec, 1120 secs
lola: STP completed || 34 tries, 33654494 fired transitions, 1125 secs || 18536136 markings, 20990370 edges, 16281 markings/sec, 1125 secs
lola: STP completed || 34 tries, 33804464 fired transitions, 1130 secs || 18616902 markings, 21080926 edges, 16153 markings/sec, 1130 secs
lola: STP completed || 34 tries, 33956095 fired transitions, 1135 secs || 18697698 markings, 21171428 edges, 16159 markings/sec, 1135 secs
lola: STP completed || 35 tries, 34108009 fired transitions, 1140 secs || 18779879 markings, 21263978 edges, 16436 markings/sec, 1140 secs
lola: STP completed || 35 tries, 34259202 fired transitions, 1145 secs || 18859581 markings, 21352965 edges, 15940 markings/sec, 1145 secs
lola: STP completed || 35 tries, 34412263 fired transitions, 1150 secs || 18940558 markings, 21443806 edges, 16195 markings/sec, 1150 secs
lola: STP completed || 35 tries, 34563882 fired transitions, 1155 secs || 19021963 markings, 21535475 edges, 16281 markings/sec, 1155 secs
lola: STP completed || 35 tries, 34715049 fired transitions, 1160 secs || 19102181 markings, 21625721 edges, 16044 markings/sec, 1160 secs
lola: STP completed || 35 tries, 34865031 fired transitions, 1165 secs || 19181442 markings, 21714249 edges, 15852 markings/sec, 1165 secs
lola: STP completed || 36 tries, 35015561 fired transitions, 1170 secs || 19261447 markings, 21803784 edges, 16001 markings/sec, 1170 secs
lola: STP completed || 36 tries, 35165105 fired transitions, 1175 secs || 19341544 markings, 21893514 edges, 16019 markings/sec, 1175 secs
lola: STP completed || 36 tries, 35315460 fired transitions, 1180 secs || 19420231 markings, 21981421 edges, 15737 markings/sec, 1180 secs
lola: STP completed || 36 tries, 35466041 fired transitions, 1185 secs || 19500168 markings, 22070531 edges, 15987 markings/sec, 1185 secs
lola: STP completed || 36 tries, 35614795 fired transitions, 1190 secs || 19580595 markings, 22160535 edges, 16085 markings/sec, 1190 secs
lola: STP completed || 36 tries, 35766788 fired transitions, 1195 secs || 19660779 markings, 22249852 edges, 16037 markings/sec, 1195 secs
lola: STP completed || 36 tries, 35916569 fired transitions, 1200 secs || 19741193 markings, 22339409 edges, 16083 markings/sec, 1200 secs
lola: STP completed || 37 tries, 36067330 fired transitions, 1205 secs || 19820885 markings, 22428061 edges, 15938 markings/sec, 1205 secs
lola: STP completed || 37 tries, 36218659 fired transitions, 1210 secs || 19902712 markings, 22519872 edges, 16365 markings/sec, 1210 secs
lola: STP completed || 37 tries, 36367234 fired transitions, 1215 secs || 19984198 markings, 22611316 edges, 16297 markings/sec, 1215 secs
lola: STP completed || 37 tries, 36518024 fired transitions, 1220 secs || 20064316 markings, 22701007 edges, 16024 markings/sec, 1220 secs
lola: STP completed || 37 tries, 36668416 fired transitions, 1225 secs || 20144877 markings, 22791510 edges, 16112 markings/sec, 1225 secs
lola: STP completed || 37 tries, 36818881 fired transitions, 1230 secs || 20226032 markings, 22882390 edges, 16231 markings/sec, 1230 secs
lola: STP completed || 37 tries, 36968861 fired transitions, 1235 secs || 20306516 markings, 22972547 edges, 16097 markings/sec, 1235 secs
lola: STP completed || 38 tries, 37120088 fired transitions, 1240 secs || 20385115 markings, 23060186 edges, 15720 markings/sec, 1240 secs
lola: STP completed || 38 tries, 37269882 fired transitions, 1245 secs || 20464991 markings, 23149267 edges, 15975 markings/sec, 1245 secs
lola: STP completed || 38 tries, 37420780 fired transitions, 1250 secs || 20546442 markings, 23240835 edges, 16290 markings/sec, 1250 secs
lola: STP completed || 38 tries, 37571858 fired transitions, 1255 secs || 20629213 markings, 23333990 edges, 16554 markings/sec, 1255 secs
lola: STP completed || 38 tries, 37722753 fired transitions, 1260 secs || 20710423 markings, 23425507 edges, 16242 markings/sec, 1260 secs
lola: STP completed || 38 tries, 37871518 fired transitions, 1265 secs || 20790762 markings, 23515755 edges, 16068 markings/sec, 1265 secs
lola: STP completed || 39 tries, 38022653 fired transitions, 1270 secs || 20872065 markings, 23607509 edges, 16261 markings/sec, 1270 secs
lola: STP completed || 39 tries, 38174513 fired transitions, 1275 secs || 20954412 markings, 23700477 edges, 16469 markings/sec, 1275 secs
lola: STP completed || 39 tries, 38326003 fired transitions, 1280 secs || 21035911 markings, 23792792 edges, 16300 markings/sec, 1280 secs
lola: STP completed || 39 tries, 38476463 fired transitions, 1285 secs || 21116107 markings, 23882863 edges, 16039 markings/sec, 1285 secs
lola: STP completed || 39 tries, 38627448 fired transitions, 1290 secs || 21196953 markings, 23973844 edges, 16169 markings/sec, 1290 secs
lola: STP completed || 39 tries, 38775320 fired transitions, 1295 secs || 21278165 markings, 24065512 edges, 16242 markings/sec, 1295 secs
lola: STP completed || 39 tries, 38926066 fired transitions, 1300 secs || 21359777 markings, 24157573 edges, 16322 markings/sec, 1300 secs
lola: STP completed || 40 tries, 39077157 fired transitions, 1305 secs || 21437702 markings, 24244239 edges, 15585 markings/sec, 1305 secs
lola: STP completed || 40 tries, 39225485 fired transitions, 1310 secs || 21517843 markings, 24334115 edges, 16028 markings/sec, 1310 secs
lola: STP completed || 40 tries, 39376728 fired transitions, 1315 secs || 21598649 markings, 24425257 edges, 16161 markings/sec, 1315 secs
lola: STP completed || 40 tries, 39527501 fired transitions, 1320 secs || 21678681 markings, 24514941 edges, 16006 markings/sec, 1320 secs
lola: STP completed || 40 tries, 39678778 fired transitions, 1325 secs || 21759054 markings, 24605650 edges, 16075 markings/sec, 1325 secs
lola: STP completed || 40 tries, 39829447 fired transitions, 1330 secs || 21842159 markings, 24699168 edges, 16621 markings/sec, 1330 secs
lola: STP completed || 40 tries, 39979020 fired transitions, 1335 secs || 21925835 markings, 24793812 edges, 16735 markings/sec, 1335 secs
lola: STP completed || 41 tries, 40128951 fired transitions, 1340 secs || 22008848 markings, 24887302 edges, 16603 markings/sec, 1340 secs
lola: STP completed || 41 tries, 40279716 fired transitions, 1345 secs || 22091360 markings, 24979959 edges, 16502 markings/sec, 1345 secs
lola: STP completed || 41 tries, 40428620 fired transitions, 1350 secs || 22173004 markings, 25071166 edges, 16329 markings/sec, 1350 secs
lola: STP completed || 41 tries, 40576127 fired transitions, 1355 secs || 22255882 markings, 25164430 edges, 16576 markings/sec, 1355 secs
lola: STP completed || 41 tries, 40719440 fired transitions, 1360 secs || 22338560 markings, 25257487 edges, 16536 markings/sec, 1360 secs
lola: STP completed || 41 tries, 40865244 fired transitions, 1365 secs || 22422599 markings, 25352576 edges, 16808 markings/sec, 1365 secs
lola: STP completed || 42 tries, 41015908 fired transitions, 1370 secs || 22508870 markings, 25451333 edges, 17254 markings/sec, 1370 secs
lola: STP completed || 42 tries, 41165504 fired transitions, 1375 secs || 22595462 markings, 25550395 edges, 17318 markings/sec, 1375 secs
lola: STP completed || 42 tries, 41314491 fired transitions, 1380 secs || 22681281 markings, 25648588 edges, 17164 markings/sec, 1380 secs
lola: STP completed || 42 tries, 41460807 fired transitions, 1385 secs || 22761959 markings, 25739161 edges, 16136 markings/sec, 1385 secs
lola: STP completed || 42 tries, 41605671 fired transitions, 1390 secs || 22842011 markings, 25828988 edges, 16010 markings/sec, 1390 secs
lola: STP completed || 42 tries, 41752230 fired transitions, 1395 secs || 22923322 markings, 25920951 edges, 16262 markings/sec, 1395 secs
lola: STP completed || 42 tries, 41898245 fired transitions, 1400 secs || 23004435 markings, 26012576 edges, 16223 markings/sec, 1400 secs
lola: STP completed || 43 tries, 42048221 fired transitions, 1405 secs || 23086469 markings, 26104321 edges, 16407 markings/sec, 1405 secs
lola: STP completed || 43 tries, 42194731 fired transitions, 1410 secs || 23166132 markings, 26193795 edges, 15933 markings/sec, 1410 secs
lola: STP completed || 43 tries, 42341035 fired transitions, 1415 secs || 23245546 markings, 26282537 edges, 15883 markings/sec, 1415 secs
lola: STP completed || 43 tries, 42492439 fired transitions, 1420 secs || 23329243 markings, 26376962 edges, 16739 markings/sec, 1420 secs
lola: STP completed || 43 tries, 42642889 fired transitions, 1425 secs || 23410589 markings, 26467994 edges, 16269 markings/sec, 1425 secs
lola: STP completed || 43 tries, 42786859 fired transitions, 1430 secs || 23490241 markings, 26557509 edges, 15930 markings/sec, 1430 secs
lola: STP completed || 43 tries, 42931816 fired transitions, 1435 secs || 23570437 markings, 26647325 edges, 16039 markings/sec, 1435 secs
lola: STP completed || 44 tries, 43079720 fired transitions, 1440 secs || 23652008 markings, 26739233 edges, 16314 markings/sec, 1440 secs
lola: STP completed || 44 tries, 43226238 fired transitions, 1445 secs || 23733913 markings, 26831889 edges, 16381 markings/sec, 1445 secs
lola: STP completed || 44 tries, 43372602 fired transitions, 1450 secs || 23815360 markings, 26924291 edges, 16289 markings/sec, 1450 secs
lola: STP completed || 44 tries, 43518955 fired transitions, 1455 secs || 23894990 markings, 27013863 edges, 15926 markings/sec, 1455 secs
lola: STP completed || 44 tries, 43665482 fired transitions, 1460 secs || 23975972 markings, 27104971 edges, 16196 markings/sec, 1460 secs
lola: STP completed || 44 tries, 43810286 fired transitions, 1465 secs || 24056941 markings, 27195880 edges, 16194 markings/sec, 1465 secs
lola: STP completed || 44 tries, 43954660 fired transitions, 1470 secs || 24138188 markings, 27287321 edges, 16249 markings/sec, 1470 secs
lola: STP completed || 45 tries, 44100940 fired transitions, 1475 secs || 24218441 markings, 27377528 edges, 16051 markings/sec, 1475 secs
lola: STP completed || 45 tries, 44246871 fired transitions, 1480 secs || 24298777 markings, 27468046 edges, 16067 markings/sec, 1480 secs
lola: STP completed || 45 tries, 44392652 fired transitions, 1485 secs || 24380028 markings, 27560007 edges, 16250 markings/sec, 1485 secs
lola: STP completed || 45 tries, 44539760 fired transitions, 1490 secs || 24460913 markings, 27650695 edges, 16177 markings/sec, 1490 secs
lola: STP completed || 45 tries, 44684484 fired transitions, 1495 secs || 24541455 markings, 27741284 edges, 16108 markings/sec, 1495 secs
lola: STP completed || 45 tries, 44830172 fired transitions, 1500 secs || 24622498 markings, 27832837 edges, 16209 markings/sec, 1500 secs
lola: STP completed || 45 tries, 44976536 fired transitions, 1505 secs || 24705012 markings, 27926683 edges, 16503 markings/sec, 1505 secs
lola: STP completed || 46 tries, 45123120 fired transitions, 1510 secs || 24785743 markings, 28017502 edges, 16146 markings/sec, 1510 secs
lola: STP completed || 46 tries, 45269138 fired transitions, 1515 secs || 24867101 markings, 28108855 edges, 16272 markings/sec, 1515 secs
lola: STP completed || 46 tries, 45415571 fired transitions, 1520 secs || 24950225 markings, 28203474 edges, 16625 markings/sec, 1520 secs
lola: STP completed || 46 tries, 45561231 fired transitions, 1525 secs || 25031781 markings, 28295637 edges, 16311 markings/sec, 1525 secs
lola: STP completed || 46 tries, 45706558 fired transitions, 1530 secs || 25112326 markings, 28386578 edges, 16109 markings/sec, 1530 secs
lola: STP completed || 46 tries, 45852221 fired transitions, 1535 secs || 25194007 markings, 28479016 edges, 16336 markings/sec, 1535 secs
lola: STP completed || 46 tries, 45998022 fired transitions, 1540 secs || 25275521 markings, 28571165 edges, 16303 markings/sec, 1540 secs
lola: STP completed || 47 tries, 46145085 fired transitions, 1545 secs || 25355279 markings, 28661243 edges, 15952 markings/sec, 1545 secs
lola: STP completed || 47 tries, 46292157 fired transitions, 1550 secs || 25437021 markings, 28754154 edges, 16348 markings/sec, 1550 secs
lola: STP completed || 47 tries, 46437622 fired transitions, 1555 secs || 25519690 markings, 28847273 edges, 16534 markings/sec, 1555 secs
lola: STP completed || 47 tries, 46583305 fired transitions, 1560 secs || 25600218 markings, 28938463 edges, 16106 markings/sec, 1560 secs
lola: STP completed || 47 tries, 46727592 fired transitions, 1565 secs || 25678989 markings, 29026193 edges, 15754 markings/sec, 1565 secs
lola: STP completed || 47 tries, 46874802 fired transitions, 1570 secs || 25759651 markings, 29117090 edges, 16132 markings/sec, 1570 secs
lola: STP completed || 48 tries, 47021840 fired transitions, 1575 secs || 25840954 markings, 29208918 edges, 16261 markings/sec, 1575 secs
lola: STP completed || 48 tries, 47169194 fired transitions, 1580 secs || 25923033 markings, 29301615 edges, 16416 markings/sec, 1580 secs
lola: STP completed || 48 tries, 47315498 fired transitions, 1585 secs || 26002608 markings, 29391618 edges, 15915 markings/sec, 1585 secs
lola: STP completed || 48 tries, 47463122 fired transitions, 1590 secs || 26084825 markings, 29485286 edges, 16443 markings/sec, 1590 secs
lola: STP completed || 48 tries, 47607014 fired transitions, 1595 secs || 26165854 markings, 29577091 edges, 16206 markings/sec, 1595 secs
lola: STP completed || 48 tries, 47752069 fired transitions, 1600 secs || 26248335 markings, 29671057 edges, 16496 markings/sec, 1600 secs
lola: STP completed || 48 tries, 47898275 fired transitions, 1605 secs || 26329460 markings, 29763062 edges, 16225 markings/sec, 1605 secs
lola: STP completed || 49 tries, 48045885 fired transitions, 1610 secs || 26409880 markings, 29854263 edges, 16084 markings/sec, 1610 secs
lola: STP completed || 49 tries, 48192664 fired transitions, 1615 secs || 26490655 markings, 29945011 edges, 16155 markings/sec, 1615 secs
lola: STP completed || 49 tries, 48338147 fired transitions, 1620 secs || 26573192 markings, 30038535 edges, 16507 markings/sec, 1620 secs
lola: STP completed || 49 tries, 48485421 fired transitions, 1625 secs || 26654132 markings, 30129894 edges, 16188 markings/sec, 1625 secs
lola: STP completed || 49 tries, 48629600 fired transitions, 1630 secs || 26736480 markings, 30223390 edges, 16470 markings/sec, 1630 secs
lola: STP completed || 49 tries, 48776456 fired transitions, 1635 secs || 26818048 markings, 30315857 edges, 16314 markings/sec, 1635 secs
lola: STP completed || 49 tries, 48921404 fired transitions, 1640 secs || 26897890 markings, 30405990 edges, 15968 markings/sec, 1640 secs
lola: STP completed || 50 tries, 49067802 fired transitions, 1645 secs || 26979725 markings, 30498786 edges, 16367 markings/sec, 1645 secs
lola: STP completed || 50 tries, 49213880 fired transitions, 1650 secs || 27062712 markings, 30593610 edges, 16597 markings/sec, 1650 secs
lola: STP completed || 50 tries, 49361650 fired transitions, 1655 secs || 27144614 markings, 30686558 edges, 16380 markings/sec, 1655 secs
lola: STP completed || 50 tries, 49508412 fired transitions, 1660 secs || 27226458 markings, 30779472 edges, 16369 markings/sec, 1660 secs
lola: STP completed || 50 tries, 49655326 fired transitions, 1665 secs || 27309873 markings, 30874848 edges, 16683 markings/sec, 1665 secs
lola: STP completed || 50 tries, 49803739 fired transitions, 1670 secs || 27389996 markings, 30964318 edges, 16025 markings/sec, 1670 secs
lola: STP completed || 50 tries, 49950595 fired transitions, 1675 secs || 27470588 markings, 31055086 edges, 16118 markings/sec, 1675 secs
lola: STP completed || 51 tries, 50101978 fired transitions, 1680 secs || 27552056 markings, 31146507 edges, 16294 markings/sec, 1680 secs
lola: STP completed || 51 tries, 50249252 fired transitions, 1685 secs || 27632323 markings, 31236903 edges, 16053 markings/sec, 1685 secs
lola: STP completed || 51 tries, 50397351 fired transitions, 1690 secs || 27712775 markings, 31327580 edges, 16090 markings/sec, 1690 secs
lola: STP completed || 51 tries, 50544083 fired transitions, 1695 secs || 27794308 markings, 31419668 edges, 16307 markings/sec, 1695 secs
lola: STP completed || 51 tries, 50691735 fired transitions, 1700 secs || 27875316 markings, 31511270 edges, 16202 markings/sec, 1700 secs
lola: STP completed || 51 tries, 50836958 fired transitions, 1705 secs || 27954934 markings, 31600851 edges, 15924 markings/sec, 1705 secs
lola: STP completed || 51 tries, 50982456 fired transitions, 1710 secs || 28035380 markings, 31691403 edges, 16089 markings/sec, 1710 secs
lola: STP completed || 52 tries, 51133512 fired transitions, 1715 secs || 28117312 markings, 31783813 edges, 16386 markings/sec, 1715 secs
lola: STP completed || 52 tries, 51284639 fired transitions, 1720 secs || 28200750 markings, 31877992 edges, 16688 markings/sec, 1720 secs
lola: STP completed || 52 tries, 51437964 fired transitions, 1725 secs || 28285567 markings, 31974563 edges, 16963 markings/sec, 1725 secs
lola: STP completed || 52 tries, 51584448 fired transitions, 1730 secs || 28368376 markings, 32068803 edges, 16562 markings/sec, 1730 secs
lola: STP completed || 52 tries, 51729120 fired transitions, 1735 secs || 28451316 markings, 32163185 edges, 16588 markings/sec, 1735 secs
lola: STP completed || 52 tries, 51876774 fired transitions, 1740 secs || 28532343 markings, 32254208 edges, 16205 markings/sec, 1740 secs
lola: STP completed || 53 tries, 52030017 fired transitions, 1745 secs || 28614706 markings, 32347531 edges, 16473 markings/sec, 1745 secs
lola: STP completed || 53 tries, 52176382 fired transitions, 1750 secs || 28696245 markings, 32440198 edges, 16308 markings/sec, 1750 secs
lola: STP completed || 53 tries, 52323067 fired transitions, 1755 secs || 28779084 markings, 32534936 edges, 16568 markings/sec, 1755 secs
lola: STP completed || 53 tries, 52469361 fired transitions, 1760 secs || 28860538 markings, 32626783 edges, 16291 markings/sec, 1760 secs
lola: STP completed || 53 tries, 52619462 fired transitions, 1765 secs || 28944456 markings, 32721794 edges, 16784 markings/sec, 1765 secs
lola: STP completed || 53 tries, 52768398 fired transitions, 1770 secs || 29026667 markings, 32814992 edges, 16442 markings/sec, 1770 secs
lola: STP completed || 53 tries, 52913299 fired transitions, 1775 secs || 29108498 markings, 32907802 edges, 16366 markings/sec, 1775 secs
lola: STP completed || 54 tries, 53060776 fired transitions, 1780 secs || 29188282 markings, 32997711 edges, 15957 markings/sec, 1780 secs
lola: STP completed || 54 tries, 53208204 fired transitions, 1785 secs || 29270687 markings, 33092087 edges, 16481 markings/sec, 1785 secs
lola: STP completed || 54 tries, 53353583 fired transitions, 1790 secs || 29353576 markings, 33186448 edges, 16578 markings/sec, 1790 secs
lola: STP completed || 54 tries, 53504708 fired transitions, 1795 secs || 29435380 markings, 33279189 edges, 16361 markings/sec, 1795 secs
lola: STP completed || 54 tries, 53654814 fired transitions, 1800 secs || 29515651 markings, 33369783 edges, 16054 markings/sec, 1800 secs
lola: STP completed || 54 tries, 53800123 fired transitions, 1805 secs || 29598401 markings, 33463304 edges, 16550 markings/sec, 1805 secs
lola: STP completed || 54 tries, 53945481 fired transitions, 1810 secs || 29681725 markings, 33558046 edges, 16665 markings/sec, 1810 secs
lola: STP completed || 55 tries, 54092984 fired transitions, 1815 secs || 29762249 markings, 33649158 edges, 16105 markings/sec, 1815 secs
lola: STP completed || 55 tries, 54237625 fired transitions, 1820 secs || 29843148 markings, 33740622 edges, 16180 markings/sec, 1820 secs
lola: STP completed || 55 tries, 54382679 fired transitions, 1825 secs || 29924406 markings, 33832620 edges, 16252 markings/sec, 1825 secs
lola: STP completed || 55 tries, 54528217 fired transitions, 1830 secs || 30003927 markings, 33921992 edges, 15904 markings/sec, 1830 secs
lola: STP completed || 55 tries, 54673366 fired transitions, 1835 secs || 30086340 markings, 34015575 edges, 16483 markings/sec, 1835 secs
lola: STP completed || 55 tries, 54820427 fired transitions, 1840 secs || 30170777 markings, 34112371 edges, 16887 markings/sec, 1840 secs
lola: STP completed || 55 tries, 54972732 fired transitions, 1845 secs || 30251170 markings, 34202247 edges, 16079 markings/sec, 1845 secs
lola: STP completed || 56 tries, 55123386 fired transitions, 1850 secs || 30334188 markings, 34296258 edges, 16604 markings/sec, 1850 secs
lola: STP completed || 56 tries, 55273007 fired transitions, 1855 secs || 30415842 markings, 34388409 edges, 16331 markings/sec, 1855 secs
lola: STP completed || 56 tries, 55419372 fired transitions, 1860 secs || 30498646 markings, 34482546 edges, 16561 markings/sec, 1860 secs
lola: STP completed || 56 tries, 55566336 fired transitions, 1865 secs || 30581119 markings, 34576497 edges, 16495 markings/sec, 1865 secs
lola: STP completed || 56 tries, 55713604 fired transitions, 1870 secs || 30664020 markings, 34671238 edges, 16580 markings/sec, 1870 secs
lola: STP completed || 56 tries, 55860866 fired transitions, 1875 secs || 30746241 markings, 34764733 edges, 16444 markings/sec, 1875 secs
lola: STP completed || 57 tries, 56009250 fired transitions, 1880 secs || 30828467 markings, 34858416 edges, 16445 markings/sec, 1880 secs
lola: STP completed || 57 tries, 56155065 fired transitions, 1885 secs || 30910819 markings, 34952488 edges, 16470 markings/sec, 1885 secs
lola: STP completed || 57 tries, 56300396 fired transitions, 1890 secs || 30995179 markings, 35048737 edges, 16872 markings/sec, 1890 secs
lola: STP completed || 57 tries, 56448023 fired transitions, 1895 secs || 31077497 markings, 35142641 edges, 16464 markings/sec, 1895 secs
lola: STP completed || 57 tries, 56594962 fired transitions, 1900 secs || 31158111 markings, 35233862 edges, 16123 markings/sec, 1900 secs
lola: STP completed || 57 tries, 56740671 fired transitions, 1905 secs || 31239653 markings, 35326961 edges, 16308 markings/sec, 1905 secs
lola: STP completed || 57 tries, 56892013 fired transitions, 1910 secs || 31324064 markings, 35423681 edges, 16882 markings/sec, 1910 secs
lola: STP completed || 58 tries, 57044968 fired transitions, 1915 secs || 31407539 markings, 35518317 edges, 16695 markings/sec, 1915 secs
lola: STP completed || 58 tries, 57195243 fired transitions, 1920 secs || 31492075 markings, 35613993 edges, 16907 markings/sec, 1920 secs
lola: STP completed || 58 tries, 57343231 fired transitions, 1925 secs || 31572899 markings, 35706042 edges, 16165 markings/sec, 1925 secs
lola: STP completed || 58 tries, 57490096 fired transitions, 1930 secs || 31655184 markings, 35799989 edges, 16457 markings/sec, 1930 secs
lola: STP completed || 58 tries, 57636137 fired transitions, 1935 secs || 31735329 markings, 35890199 edges, 16029 markings/sec, 1935 secs
lola: STP completed || 58 tries, 57783268 fired transitions, 1940 secs || 31815325 markings, 35979912 edges, 15999 markings/sec, 1940 secs
lola: STP completed || 58 tries, 57933925 fired transitions, 1945 secs || 31897887 markings, 36073657 edges, 16512 markings/sec, 1945 secs
lola: STP completed || 59 tries, 58085571 fired transitions, 1950 secs || 31980663 markings, 36167153 edges, 16555 markings/sec, 1950 secs
lola: STP completed || 59 tries, 58232100 fired transitions, 1955 secs || 32061099 markings, 36258341 edges, 16087 markings/sec, 1955 secs
lola: STP completed || 59 tries, 58377683 fired transitions, 1960 secs || 32140899 markings, 36348037 edges, 15960 markings/sec, 1960 secs
lola: STP completed || 59 tries, 58524597 fired transitions, 1965 secs || 32221543 markings, 36438618 edges, 16129 markings/sec, 1965 secs
lola: STP completed || 59 tries, 58671163 fired transitions, 1970 secs || 32303899 markings, 36532383 edges, 16471 markings/sec, 1970 secs
lola: STP completed || 59 tries, 58817512 fired transitions, 1975 secs || 32383631 markings, 36621697 edges, 15946 markings/sec, 1975 secs
lola: STP completed || 59 tries, 58963472 fired transitions, 1980 secs || 32465832 markings, 36715375 edges, 16440 markings/sec, 1980 secs
lola: STP completed || 60 tries, 59112401 fired transitions, 1985 secs || 32546548 markings, 36806685 edges, 16143 markings/sec, 1985 secs
lola: STP completed || 60 tries, 59257272 fired transitions, 1990 secs || 32627826 markings, 36898390 edges, 16256 markings/sec, 1990 secs
lola: STP completed || 60 tries, 59404271 fired transitions, 1995 secs || 32707834 markings, 36988245 edges, 16002 markings/sec, 1995 secs
lola: STP completed || 60 tries, 59554050 fired transitions, 2000 secs || 32790565 markings, 37081844 edges, 16546 markings/sec, 2000 secs
lola: STP completed || 60 tries, 59701093 fired transitions, 2005 secs || 32871503 markings, 37172866 edges, 16188 markings/sec, 2005 secs
lola: STP completed || 60 tries, 59853281 fired transitions, 2010 secs || 32953499 markings, 37265412 edges, 16399 markings/sec, 2010 secs
lola: STP completed || 61 tries, 60001773 fired transitions, 2015 secs || 33034030 markings, 37355882 edges, 16106 markings/sec, 2015 secs
lola: STP completed || 61 tries, 60147974 fired transitions, 2020 secs || 33115001 markings, 37447385 edges, 16194 markings/sec, 2020 secs
lola: STP completed || 61 tries, 60296616 fired transitions, 2025 secs || 33197210 markings, 37541168 edges, 16442 markings/sec, 2025 secs
lola: STP completed || 61 tries, 60449849 fired transitions, 2030 secs || 33281223 markings, 37637194 edges, 16803 markings/sec, 2030 secs
lola: STP completed || 61 tries, 60596382 fired transitions, 2035 secs || 33363058 markings, 37729782 edges, 16367 markings/sec, 2035 secs
lola: STP completed || 61 tries, 60741960 fired transitions, 2040 secs || 33443000 markings, 37820282 edges, 15988 markings/sec, 2040 secs
lola: STP completed || 61 tries, 60888433 fired transitions, 2045 secs || 33526105 markings, 37914967 edges, 16621 markings/sec, 2045 secs
lola: STP completed || 62 tries, 61035134 fired transitions, 2050 secs || 33606680 markings, 38006114 edges, 16115 markings/sec, 2050 secs
lola: STP completed || 62 tries, 61181896 fired transitions, 2055 secs || 33688616 markings, 38099769 edges, 16387 markings/sec, 2055 secs
lola: STP completed || 62 tries, 61329114 fired transitions, 2060 secs || 33769700 markings, 38191354 edges, 16217 markings/sec, 2060 secs
lola: STP completed || 62 tries, 61477557 fired transitions, 2065 secs || 33850849 markings, 38283111 edges, 16230 markings/sec, 2065 secs
lola: STP completed || 62 tries, 61625085 fired transitions, 2070 secs || 33931956 markings, 38374989 edges, 16221 markings/sec, 2070 secs
lola: STP completed || 62 tries, 61771849 fired transitions, 2075 secs || 34011789 markings, 38464682 edges, 15967 markings/sec, 2075 secs
lola: STP completed || 62 tries, 61917602 fired transitions, 2080 secs || 34093907 markings, 38558216 edges, 16424 markings/sec, 2080 secs
lola: STP completed || 63 tries, 62064828 fired transitions, 2085 secs || 34176629 markings, 38652569 edges, 16544 markings/sec, 2085 secs
lola: STP completed || 63 tries, 62215315 fired transitions, 2090 secs || 34259140 markings, 38746008 edges, 16502 markings/sec, 2090 secs
lola: STP completed || 63 tries, 62361086 fired transitions, 2095 secs || 34339928 markings, 38837819 edges, 16158 markings/sec, 2095 secs
lola: STP completed || 63 tries, 62509158 fired transitions, 2100 secs || 34421881 markings, 38931077 edges, 16391 markings/sec, 2100 secs
lola: STP completed || 63 tries, 62657530 fired transitions, 2105 secs || 34500737 markings, 39020098 edges, 15771 markings/sec, 2105 secs
lola: STP completed || 63 tries, 62807591 fired transitions, 2110 secs || 34577545 markings, 39106454 edges, 15362 markings/sec, 2110 secs
lola: STP completed || 63 tries, 62958171 fired transitions, 2115 secs || 34659789 markings, 39198864 edges, 16449 markings/sec, 2115 secs
lola: STP completed || 64 tries, 63105730 fired transitions, 2120 secs || 34740489 markings, 39290610 edges, 16140 markings/sec, 2120 secs
lola: STP completed || 64 tries, 63253323 fired transitions, 2125 secs || 34820697 markings, 39381129 edges, 16042 markings/sec, 2125 secs
lola: STP completed || 64 tries, 63397975 fired transitions, 2130 secs || 34901348 markings, 39472535 edges, 16130 markings/sec, 2130 secs
lola: STP completed || 64 tries, 63544974 fired transitions, 2135 secs || 34976769 markings, 39557164 edges, 15084 markings/sec, 2135 secs
lola: STP completed || 64 tries, 63682576 fired transitions, 2140 secs || 35054587 markings, 39644601 edges, 15564 markings/sec, 2140 secs
lola: STP completed || 64 tries, 63829227 fired transitions, 2145 secs || 35133901 markings, 39733342 edges, 15863 markings/sec, 2145 secs
lola: STP completed || 64 tries, 63978202 fired transitions, 2150 secs || 35212328 markings, 39820957 edges, 15685 markings/sec, 2150 secs
lola: STP completed || 65 tries, 64126584 fired transitions, 2155 secs || 35282335 markings, 39899281 edges, 14001 markings/sec, 2155 secs
lola: STP completed || 65 tries, 64274678 fired transitions, 2160 secs || 35362492 markings, 39989666 edges, 16031 markings/sec, 2160 secs
lola: STP completed || 65 tries, 64420739 fired transitions, 2165 secs || 35427728 markings, 40063242 edges, 13047 markings/sec, 2165 secs
lola: STP completed || 65 tries, 64567608 fired transitions, 2170 secs || 35499395 markings, 40145098 edges, 14333 markings/sec, 2170 secs
lola: STP completed || 65 tries, 64717239 fired transitions, 2175 secs || 35581659 markings, 40238904 edges, 16453 markings/sec, 2175 secs
lola: STP completed || 65 tries, 64863222 fired transitions, 2180 secs || 35650605 markings, 40317507 edges, 13789 markings/sec, 2180 secs
lola: STP completed || 65 tries, 64998614 fired transitions, 2185 secs || 35730500 markings, 40407854 edges, 15979 markings/sec, 2185 secs
lola: STP completed || 66 tries, 65126652 fired transitions, 2190 secs || 35812382 markings, 40501636 edges, 16376 markings/sec, 2190 secs
lola: STP completed || 66 tries, 65252975 fired transitions, 2195 secs || 35893378 markings, 40594390 edges, 16199 markings/sec, 2195 secs
lola: STP completed || 66 tries, 65383375 fired transitions, 2200 secs || 35975285 markings, 40688610 edges, 16381 markings/sec, 2200 secs
lola: STP completed || 66 tries, 65525333 fired transitions, 2205 secs || 36056427 markings, 40781041 edges, 16228 markings/sec, 2205 secs
lola: STP completed || 66 tries, 65674816 fired transitions, 2210 secs || 36131571 markings, 40866479 edges, 15029 markings/sec, 2210 secs
lola: STP completed || 66 tries, 65820858 fired transitions, 2215 secs || 36205918 markings, 40950966 edges, 14869 markings/sec, 2215 secs
lola: STP completed || 66 tries, 65972968 fired transitions, 2220 secs || 36287271 markings, 41042381 edges, 16271 markings/sec, 2220 secs
lola: STP completed || 67 tries, 66123583 fired transitions, 2225 secs || 36365633 markings, 41129979 edges, 15672 markings/sec, 2225 secs
lola: STP completed || 67 tries, 66274053 fired transitions, 2230 secs || 36445585 markings, 41220166 edges, 15990 markings/sec, 2230 secs
lola: STP completed || 67 tries, 66424376 fired transitions, 2235 secs || 36525243 markings, 41309828 edges, 15932 markings/sec, 2235 secs
lola: STP completed || 67 tries, 66572318 fired transitions, 2240 secs || 36605493 markings, 41400649 edges, 16050 markings/sec, 2240 secs
lola: STP completed || 67 tries, 66720661 fired transitions, 2245 secs || 36679623 markings, 41484655 edges, 14826 markings/sec, 2245 secs
lola: STP completed || 67 tries, 66870943 fired transitions, 2250 secs || 36761023 markings, 41576884 edges, 16280 markings/sec, 2250 secs
lola: STP completed || 68 tries, 67018879 fired transitions, 2255 secs || 36841618 markings, 41668463 edges, 16119 markings/sec, 2255 secs
lola: STP completed || 68 tries, 67170270 fired transitions, 2260 secs || 36923697 markings, 41760700 edges, 16416 markings/sec, 2260 secs
lola: STP completed || 68 tries, 67317222 fired transitions, 2265 secs || 37003302 markings, 41850968 edges, 15921 markings/sec, 2265 secs
lola: STP completed || 68 tries, 67463916 fired transitions, 2270 secs || 37084411 markings, 41943571 edges, 16222 markings/sec, 2270 secs
lola: STP completed || 68 tries, 67608882 fired transitions, 2275 secs || 37165948 markings, 42036588 edges, 16307 markings/sec, 2275 secs
lola: STP completed || 68 tries, 67759697 fired transitions, 2280 secs || 37249236 markings, 42131533 edges, 16658 markings/sec, 2280 secs
lola: STP completed || 68 tries, 67911072 fired transitions, 2285 secs || 37332495 markings, 42226020 edges, 16652 markings/sec, 2285 secs
lola: STP completed || 69 tries, 68057269 fired transitions, 2290 secs || 37413162 markings, 42316897 edges, 16133 markings/sec, 2290 secs
lola: STP completed || 69 tries, 68202886 fired transitions, 2295 secs || 37493992 markings, 42408080 edges, 16166 markings/sec, 2295 secs
lola: STP completed || 69 tries, 68349942 fired transitions, 2300 secs || 37573015 markings, 42497132 edges, 15805 markings/sec, 2300 secs
lola: STP completed || 69 tries, 68497732 fired transitions, 2305 secs || 37652158 markings, 42586315 edges, 15829 markings/sec, 2305 secs
lola: STP completed || 69 tries, 68644033 fired transitions, 2310 secs || 37731392 markings, 42675636 edges, 15847 markings/sec, 2310 secs
lola: STP completed || 69 tries, 68789773 fired transitions, 2315 secs || 37812614 markings, 42768470 edges, 16244 markings/sec, 2315 secs
lola: STP completed || 69 tries, 68939440 fired transitions, 2320 secs || 37895714 markings, 42862469 edges, 16620 markings/sec, 2320 secs
lola: STP completed || 70 tries, 69089549 fired transitions, 2325 secs || 37975633 markings, 42953140 edges, 15984 markings/sec, 2325 secs
lola: STP completed || 70 tries, 69238905 fired transitions, 2330 secs || 38059806 markings, 43048847 edges, 16835 markings/sec, 2330 secs
lola: STP completed || 70 tries, 69390149 fired transitions, 2335 secs || 38143168 markings, 43142246 edges, 16672 markings/sec, 2335 secs
lola: STP completed || 70 tries, 69539298 fired transitions, 2340 secs || 38227232 markings, 43237424 edges, 16813 markings/sec, 2340 secs
lola: STP completed || 70 tries, 69690208 fired transitions, 2345 secs || 38310765 markings, 43332003 edges, 16707 markings/sec, 2345 secs
lola: STP completed || 70 tries, 69840203 fired transitions, 2350 secs || 38393297 markings, 43425106 edges, 16506 markings/sec, 2350 secs
lola: STP completed || 70 tries, 69990943 fired transitions, 2355 secs || 38473984 markings, 43515381 edges, 16137 markings/sec, 2355 secs
lola: STP completed || 71 tries, 70141643 fired transitions, 2360 secs || 38556024 markings, 43607842 edges, 16408 markings/sec, 2360 secs
lola: STP completed || 71 tries, 70290456 fired transitions, 2365 secs || 38639836 markings, 43702597 edges, 16762 markings/sec, 2365 secs
lola: STP completed || 71 tries, 70436877 fired transitions, 2370 secs || 38721739 markings, 43795811 edges, 16381 markings/sec, 2370 secs
lola: STP completed || 71 tries, 70582446 fired transitions, 2375 secs || 38805400 markings, 43891621 edges, 16732 markings/sec, 2375 secs
lola: STP completed || 71 tries, 70732287 fired transitions, 2380 secs || 38891399 markings, 43990900 edges, 17200 markings/sec, 2380 secs
lola: STP completed || 71 tries, 70883258 fired transitions, 2385 secs || 38974338 markings, 44085473 edges, 16588 markings/sec, 2385 secs
lola: STP completed || 72 tries, 71035460 fired transitions, 2390 secs || 39058870 markings, 44182397 edges, 16906 markings/sec, 2390 secs
lola: STP completed || 72 tries, 71185134 fired transitions, 2395 secs || 39139776 markings, 44273764 edges, 16181 markings/sec, 2395 secs
lola: STP completed || 72 tries, 71335394 fired transitions, 2400 secs || 39220867 markings, 44365241 edges, 16218 markings/sec, 2400 secs
lola: STP completed || 72 tries, 71485678 fired transitions, 2405 secs || 39304913 markings, 44460562 edges, 16809 markings/sec, 2405 secs
lola: STP completed || 72 tries, 71635656 fired transitions, 2410 secs || 39385878 markings, 44552091 edges, 16193 markings/sec, 2410 secs
lola: STP completed || 72 tries, 71786766 fired transitions, 2415 secs || 39467734 markings, 44644782 edges, 16371 markings/sec, 2415 secs
lola: STP completed || 72 tries, 71932125 fired transitions, 2420 secs || 39550955 markings, 44739141 edges, 16644 markings/sec, 2420 secs
lola: STP completed || 73 tries, 72079370 fired transitions, 2425 secs || 39633173 markings, 44831680 edges, 16444 markings/sec, 2425 secs
lola: STP completed || 73 tries, 72225926 fired transitions, 2430 secs || 39716675 markings, 44926876 edges, 16700 markings/sec, 2430 secs
lola: STP completed || 73 tries, 72364226 fired transitions, 2435 secs || 39797983 markings, 45018585 edges, 16262 markings/sec, 2435 secs
lola: STP completed || 73 tries, 72511215 fired transitions, 2440 secs || 39880122 markings, 45112049 edges, 16428 markings/sec, 2440 secs
lola: STP completed || 73 tries, 72657013 fired transitions, 2445 secs || 39961806 markings, 45204862 edges, 16337 markings/sec, 2445 secs
lola: STP completed || 73 tries, 72802340 fired transitions, 2450 secs || 40042695 markings, 45296533 edges, 16178 markings/sec, 2450 secs
lola: STP completed || 73 tries, 72949345 fired transitions, 2455 secs || 40124723 markings, 45390338 edges, 16406 markings/sec, 2455 secs
lola: STP completed || 74 tries, 73095486 fired transitions, 2460 secs || 40208314 markings, 45486055 edges, 16718 markings/sec, 2460 secs
lola: STP completed || 74 tries, 73240752 fired transitions, 2465 secs || 40288528 markings, 45576780 edges, 16043 markings/sec, 2465 secs
lola: STP completed || 74 tries, 73380265 fired transitions, 2470 secs || 40371684 markings, 45671651 edges, 16631 markings/sec, 2470 secs
lola: STP completed || 74 tries, 73525997 fired transitions, 2475 secs || 40453559 markings, 45764501 edges, 16375 markings/sec, 2475 secs
lola: STP completed || 74 tries, 73670295 fired transitions, 2480 secs || 40533312 markings, 45853521 edges, 15951 markings/sec, 2480 secs
lola: STP completed || 74 tries, 73813995 fired transitions, 2485 secs || 40611833 markings, 45941021 edges, 15704 markings/sec, 2485 secs
lola: STP completed || 74 tries, 73961039 fired transitions, 2490 secs || 40695580 markings, 46036732 edges, 16749 markings/sec, 2490 secs
lola: STP completed || 75 tries, 74098228 fired transitions, 2495 secs || 40776494 markings, 46128093 edges, 16183 markings/sec, 2495 secs
lola: STP completed || 75 tries, 74243398 fired transitions, 2500 secs || 40857532 markings, 46219723 edges, 16208 markings/sec, 2500 secs
lola: STP completed || 75 tries, 74390217 fired transitions, 2505 secs || 40937039 markings, 46308863 edges, 15901 markings/sec, 2505 secs
lola: STP completed || 75 tries, 74537290 fired transitions, 2510 secs || 41019154 markings, 46402013 edges, 16423 markings/sec, 2510 secs
lola: STP completed || 75 tries, 74683141 fired transitions, 2515 secs || 41101085 markings, 46494890 edges, 16386 markings/sec, 2515 secs
lola: STP completed || 75 tries, 74829740 fired transitions, 2520 secs || 41180937 markings, 46584154 edges, 15970 markings/sec, 2520 secs
lola: STP completed || 75 tries, 74976292 fired transitions, 2525 secs || 41262444 markings, 46676120 edges, 16301 markings/sec, 2525 secs
lola: STP completed || 76 tries, 75124189 fired transitions, 2530 secs || 41342054 markings, 46765772 edges, 15922 markings/sec, 2530 secs
lola: STP completed || 76 tries, 75268610 fired transitions, 2535 secs || 41421078 markings, 46854465 edges, 15805 markings/sec, 2535 secs
lola: STP completed || 76 tries, 75412942 fired transitions, 2540 secs || 41502775 markings, 46946922 edges, 16339 markings/sec, 2540 secs
lola: STP completed || 76 tries, 75559115 fired transitions, 2545 secs || 41584674 markings, 47039825 edges, 16380 markings/sec, 2545 secs
lola: STP completed || 76 tries, 75704724 fired transitions, 2550 secs || 41669346 markings, 47136947 edges, 16934 markings/sec, 2550 secs
lola: STP completed || 76 tries, 75850163 fired transitions, 2555 secs || 41752702 markings, 47231900 edges, 16671 markings/sec, 2555 secs
lola: STP completed || 76 tries, 75994639 fired transitions, 2560 secs || 41836028 markings, 47326720 edges, 16665 markings/sec, 2560 secs
lola: STP completed || 77 tries, 76143333 fired transitions, 2565 secs || 41917918 markings, 47420374 edges, 16378 markings/sec, 2565 secs
lola: STP completed || 77 tries, 76290165 fired transitions, 2570 secs || 41999421 markings, 47513226 edges, 16301 markings/sec, 2570 secs
lola: STP completed || 77 tries, 76437358 fired transitions, 2575 secs || 42082849 markings, 47608552 edges, 16686 markings/sec, 2575 secs
lola: STP completed || 77 tries, 76583615 fired transitions, 2580 secs || 42166417 markings, 47704043 edges, 16714 markings/sec, 2580 secs
lola: STP completed || 77 tries, 76729129 fired transitions, 2585 secs || 42245465 markings, 47791996 edges, 15810 markings/sec, 2585 secs
lola: STP completed || 77 tries, 76876003 fired transitions, 2590 secs || 42324866 markings, 47881366 edges, 15880 markings/sec, 2590 secs
lola: STP completed || 78 tries, 77022901 fired transitions, 2595 secs || 42405113 markings, 47971694 edges, 16049 markings/sec, 2595 secs
lola: STP completed || 78 tries, 77161030 fired transitions, 2600 secs || 42487320 markings, 48065070 edges, 16441 markings/sec, 2600 secs
lola: STP completed || 78 tries, 77306504 fired transitions, 2605 secs || 42567621 markings, 48155597 edges, 16060 markings/sec, 2605 secs
lola: STP completed || 78 tries, 77448491 fired transitions, 2610 secs || 42648930 markings, 48247574 edges, 16262 markings/sec, 2610 secs
lola: STP completed || 78 tries, 77595743 fired transitions, 2615 secs || 42730816 markings, 48340501 edges, 16377 markings/sec, 2615 secs
lola: STP completed || 78 tries, 77742401 fired transitions, 2620 secs || 42811841 markings, 48432138 edges, 16205 markings/sec, 2620 secs
lola: STP completed || 78 tries, 77888126 fired transitions, 2625 secs || 42890873 markings, 48521720 edges, 15806 markings/sec, 2625 secs
lola: STP completed || 79 tries, 78036338 fired transitions, 2630 secs || 42974253 markings, 48617323 edges, 16676 markings/sec, 2630 secs
lola: STP completed || 79 tries, 78182066 fired transitions, 2635 secs || 43055627 markings, 48709150 edges, 16275 markings/sec, 2635 secs
lola: STP completed || 79 tries, 78325929 fired transitions, 2640 secs || 43137338 markings, 48801912 edges, 16342 markings/sec, 2640 secs
lola: STP completed || 79 tries, 78464905 fired transitions, 2645 secs || 43219562 markings, 48895698 edges, 16445 markings/sec, 2645 secs
lola: STP completed || 79 tries, 78612150 fired transitions, 2650 secs || 43300417 markings, 48987092 edges, 16171 markings/sec, 2650 secs
lola: STP completed || 79 tries, 78759142 fired transitions, 2655 secs || 43382078 markings, 49079419 edges, 16332 markings/sec, 2655 secs
lola: STP completed || 79 tries, 78906646 fired transitions, 2660 secs || 43465365 markings, 49174432 edges, 16657 markings/sec, 2660 secs
lola: STP completed || 80 tries, 79056083 fired transitions, 2665 secs || 43549083 markings, 49270751 edges, 16744 markings/sec, 2665 secs
lola: STP completed || 80 tries, 79203351 fired transitions, 2670 secs || 43629878 markings, 49362298 edges, 16159 markings/sec, 2670 secs
lola: STP completed || 80 tries, 79348969 fired transitions, 2675 secs || 43712365 markings, 49456196 edges, 16497 markings/sec, 2675 secs
lola: STP completed || 80 tries, 79493734 fired transitions, 2680 secs || 43793858 markings, 49548561 edges, 16299 markings/sec, 2680 secs
lola: STP completed || 80 tries, 79640192 fired transitions, 2685 secs || 43877190 markings, 49643944 edges, 16666 markings/sec, 2685 secs
lola: STP completed || 80 tries, 79785081 fired transitions, 2690 secs || 43957796 markings, 49735122 edges, 16121 markings/sec, 2690 secs
lola: STP completed || 80 tries, 79931155 fired transitions, 2695 secs || 44041389 markings, 49831107 edges, 16719 markings/sec, 2695 secs
lola: STP completed || 81 tries, 80078479 fired transitions, 2700 secs || 44123716 markings, 49925154 edges, 16465 markings/sec, 2700 secs
lola: STP completed || 81 tries, 80224753 fired transitions, 2705 secs || 44205724 markings, 50018237 edges, 16402 markings/sec, 2705 secs
lola: STP completed || 81 tries, 80371653 fired transitions, 2710 secs || 44287237 markings, 50109860 edges, 16303 markings/sec, 2710 secs
lola: STP completed || 81 tries, 80517592 fired transitions, 2715 secs || 44366779 markings, 50198649 edges, 15908 markings/sec, 2715 secs
lola: STP completed || 81 tries, 80662569 fired transitions, 2720 secs || 44446141 markings, 50287699 edges, 15872 markings/sec, 2720 secs
lola: STP completed || 81 tries, 80807043 fired transitions, 2725 secs || 44528704 markings, 50381773 edges, 16513 markings/sec, 2725 secs
lola: STP completed || 81 tries, 80954415 fired transitions, 2730 secs || 44609673 markings, 50473529 edges, 16194 markings/sec, 2730 secs
lola: STP completed || 82 tries, 81103533 fired transitions, 2735 secs || 44691985 markings, 50566937 edges, 16462 markings/sec, 2735 secs
lola: STP completed || 82 tries, 81248621 fired transitions, 2740 secs || 44776042 markings, 50663410 edges, 16811 markings/sec, 2740 secs
lola: STP completed || 82 tries, 81394962 fired transitions, 2745 secs || 44858498 markings, 50757046 edges, 16491 markings/sec, 2745 secs
lola: STP completed || 82 tries, 81539606 fired transitions, 2750 secs || 44938750 markings, 50847677 edges, 16050 markings/sec, 2750 secs
lola: STP completed || 82 tries, 81684339 fired transitions, 2755 secs || 45020000 markings, 50940447 edges, 16250 markings/sec, 2755 secs
lola: STP completed || 82 tries, 81829595 fired transitions, 2760 secs || 45101812 markings, 51034788 edges, 16362 markings/sec, 2760 secs
lola: STP completed || 82 tries, 81973990 fired transitions, 2765 secs || 45182692 markings, 51127290 edges, 16176 markings/sec, 2765 secs
lola: STP completed || 83 tries, 82120568 fired transitions, 2770 secs || 45264142 markings, 51220252 edges, 16290 markings/sec, 2770 secs
lola: STP completed || 83 tries, 82266065 fired transitions, 2775 secs || 45345392 markings, 51313336 edges, 16250 markings/sec, 2775 secs
lola: STP completed || 83 tries, 82410456 fired transitions, 2780 secs || 45424514 markings, 51402765 edges, 15824 markings/sec, 2780 secs
lola: STP completed || 83 tries, 82556725 fired transitions, 2785 secs || 45503841 markings, 51492222 edges, 15865 markings/sec, 2785 secs
lola: STP completed || 83 tries, 82701876 fired transitions, 2790 secs || 45584095 markings, 51582373 edges, 16051 markings/sec, 2790 secs
lola: STP completed || 83 tries, 82847439 fired transitions, 2795 secs || 45657376 markings, 51664892 edges, 14656 markings/sec, 2795 secs
lola: STP completed || 83 tries, 82994392 fired transitions, 2800 secs || 45736447 markings, 51754651 edges, 15814 markings/sec, 2800 secs
lola: STP completed || 84 tries, 83140699 fired transitions, 2805 secs || 45815035 markings, 51843031 edges, 15718 markings/sec, 2805 secs
lola: STP completed || 84 tries, 83287041 fired transitions, 2810 secs || 45894778 markings, 51933318 edges, 15949 markings/sec, 2810 secs
lola: STP completed || 84 tries, 83434536 fired transitions, 2815 secs || 45974166 markings, 52023789 edges, 15878 markings/sec, 2815 secs
lola: STP completed || 84 tries, 83580950 fired transitions, 2820 secs || 46052052 markings, 52111560 edges, 15577 markings/sec, 2820 secs
lola: STP completed || 84 tries, 83727501 fired transitions, 2825 secs || 46133966 markings, 52205846 edges, 16383 markings/sec, 2825 secs
lola: STP completed || 84 tries, 83875080 fired transitions, 2830 secs || 46215004 markings, 52298108 edges, 16208 markings/sec, 2830 secs
lola: STP completed || 85 tries, 84022868 fired transitions, 2835 secs || 46294878 markings, 52389127 edges, 15975 markings/sec, 2835 secs
lola: STP completed || 85 tries, 84172799 fired transitions, 2840 secs || 46378122 markings, 52485098 edges, 16649 markings/sec, 2840 secs
lola: STP completed || 85 tries, 84323504 fired transitions, 2845 secs || 46459574 markings, 52578630 edges, 16290 markings/sec, 2845 secs
lola: STP completed || 85 tries, 84473214 fired transitions, 2850 secs || 46541742 markings, 52673096 edges, 16434 markings/sec, 2850 secs
lola: STP completed || 85 tries, 84627768 fired transitions, 2855 secs || 46617645 markings, 52759851 edges, 15181 markings/sec, 2855 secs
lola: STP completed || 85 tries, 84778146 fired transitions, 2860 secs || 46699789 markings, 52853875 edges, 16429 markings/sec, 2860 secs
lola: STP completed || 85 tries, 84928823 fired transitions, 2865 secs || 46779128 markings, 52943364 edges, 15868 markings/sec, 2865 secs
lola: STP completed || 86 tries, 85081827 fired transitions, 2870 secs || 46859172 markings, 53033920 edges, 16009 markings/sec, 2870 secs
lola: STP completed || 86 tries, 85232931 fired transitions, 2875 secs || 46940792 markings, 53126015 edges, 16324 markings/sec, 2875 secs
lola: STP completed || 86 tries, 85383083 fired transitions, 2880 secs || 47020772 markings, 53216182 edges, 15996 markings/sec, 2880 secs
lola: STP completed || 86 tries, 85533355 fired transitions, 2885 secs || 47103167 markings, 53310077 edges, 16479 markings/sec, 2885 secs
lola: STP completed || 86 tries, 85681985 fired transitions, 2890 secs || 47183188 markings, 53400109 edges, 16004 markings/sec, 2890 secs
lola: STP completed || 86 tries, 85830906 fired transitions, 2895 secs || 47263208 markings, 53490340 edges, 16004 markings/sec, 2895 secs
lola: STP completed || 86 tries, 85980715 fired transitions, 2900 secs || 47342871 markings, 53580075 edges, 15933 markings/sec, 2900 secs
lola: STP completed || 87 tries, 86131671 fired transitions, 2905 secs || 47420607 markings, 53667145 edges, 15547 markings/sec, 2905 secs
lola: STP completed || 87 tries, 86281430 fired transitions, 2910 secs || 47498747 markings, 53754390 edges, 15628 markings/sec, 2910 secs
lola: STP completed || 87 tries, 86433105 fired transitions, 2915 secs || 47578516 markings, 53844958 edges, 15954 markings/sec, 2915 secs
lola: STP completed || 87 tries, 86583439 fired transitions, 2920 secs || 47654146 markings, 53930995 edges, 15126 markings/sec, 2920 secs
lola: STP completed || 87 tries, 86735787 fired transitions, 2925 secs || 47734318 markings, 54022048 edges, 16034 markings/sec, 2925 secs
lola: STP completed || 87 tries, 86888369 fired transitions, 2930 secs || 47813798 markings, 54111408 edges, 15896 markings/sec, 2930 secs
lola: STP completed || 88 tries, 87040984 fired transitions, 2935 secs || 47893611 markings, 54201958 edges, 15963 markings/sec, 2935 secs
lola: STP completed || 88 tries, 87193030 fired transitions, 2940 secs || 47977155 markings, 54297716 edges, 16709 markings/sec, 2940 secs
lola: STP completed || 88 tries, 87343744 fired transitions, 2945 secs || 48058843 markings, 54391057 edges, 16338 markings/sec, 2945 secs
lola: STP completed || 88 tries, 87494270 fired transitions, 2950 secs || 48141386 markings, 54485184 edges, 16509 markings/sec, 2950 secs
lola: STP completed || 88 tries, 87644845 fired transitions, 2955 secs || 48220956 markings, 54574747 edges, 15914 markings/sec, 2955 secs
lola: STP completed || 88 tries, 87797425 fired transitions, 2960 secs || 48301831 markings, 54666685 edges, 16175 markings/sec, 2960 secs
lola: STP completed || 88 tries, 87949873 fired transitions, 2965 secs || 48381981 markings, 54758057 edges, 16030 markings/sec, 2965 secs
lola: STP completed || 89 tries, 88102982 fired transitions, 2970 secs || 48464347 markings, 54852320 edges, 16473 markings/sec, 2970 secs
lola: STP completed || 89 tries, 88254372 fired transitions, 2975 secs || 48545688 markings, 54945483 edges, 16268 markings/sec, 2975 secs
lola: STP completed || 89 tries, 88407066 fired transitions, 2980 secs || 48627682 markings, 55039715 edges, 16399 markings/sec, 2980 secs
lola: STP completed || 89 tries, 88559133 fired transitions, 2985 secs || 48709882 markings, 55133719 edges, 16440 markings/sec, 2985 secs
lola: STP completed || 89 tries, 88712362 fired transitions, 2990 secs || 48790272 markings, 55224778 edges, 16078 markings/sec, 2990 secs
lola: STP completed || 89 tries, 88861375 fired transitions, 2995 secs || 48867222 markings, 55310439 edges, 15390 markings/sec, 2995 secs
lola: STP completed || 90 tries, 89011135 fired transitions, 3000 secs || 48945698 markings, 55398930 edges, 15695 markings/sec, 3000 secs
lola: STP completed || 90 tries, 89161682 fired transitions, 3005 secs || 49026079 markings, 55490258 edges, 16076 markings/sec, 3005 secs
lola: STP completed || 90 tries, 89312733 fired transitions, 3010 secs || 49104053 markings, 55577645 edges, 15595 markings/sec, 3010 secs
lola: STP completed || 90 tries, 89462295 fired transitions, 3015 secs || 49184783 markings, 55668909 edges, 16146 markings/sec, 3015 secs
lola: STP completed || 90 tries, 89613737 fired transitions, 3020 secs || 49267904 markings, 55764072 edges, 16624 markings/sec, 3020 secs
lola: STP completed || 90 tries, 89766158 fired transitions, 3025 secs || 49347019 markings, 55853467 edges, 15823 markings/sec, 3025 secs
lola: STP completed || 90 tries, 89917455 fired transitions, 3030 secs || 49427457 markings, 55944731 edges, 16088 markings/sec, 3030 secs
lola: STP completed || 91 tries, 90067248 fired transitions, 3035 secs || 49506700 markings, 56034077 edges, 15849 markings/sec, 3035 secs
lola: STP completed || 91 tries, 90218695 fired transitions, 3040 secs || 49587063 markings, 56125272 edges, 16073 markings/sec, 3040 secs
lola: STP completed || 91 tries, 90369255 fired transitions, 3045 secs || 49667946 markings, 56217311 edges, 16177 markings/sec, 3045 secs
lola: STP completed || 91 tries, 90521298 fired transitions, 3050 secs || 49750351 markings, 56311600 edges, 16481 markings/sec, 3050 secs
lola: STP completed || 91 tries, 90672439 fired transitions, 3055 secs || 49830148 markings, 56401658 edges, 15959 markings/sec, 3055 secs
lola: STP completed || 91 tries, 90824014 fired transitions, 3060 secs || 49910039 markings, 56492648 edges, 15978 markings/sec, 3060 secs
lola: STP completed || 91 tries, 90975069 fired transitions, 3065 secs || 49987658 markings, 56580067 edges, 15524 markings/sec, 3065 secs
lola: STP completed || 92 tries, 91125040 fired transitions, 3070 secs || 50067582 markings, 56669690 edges, 15985 markings/sec, 3070 secs
lola: STP completed || 92 tries, 91277012 fired transitions, 3075 secs || 50147008 markings, 56759392 edges, 15885 markings/sec, 3075 secs
lola: STP completed || 92 tries, 91429328 fired transitions, 3080 secs || 50226370 markings, 56849081 edges, 15872 markings/sec, 3080 secs
lola: STP completed || 92 tries, 91580688 fired transitions, 3085 secs || 50305812 markings, 56938982 edges, 15888 markings/sec, 3085 secs
lola: STP completed || 92 tries, 91731922 fired transitions, 3090 secs || 50386658 markings, 57030715 edges, 16169 markings/sec, 3090 secs
lola: STP completed || 92 tries, 91882358 fired transitions, 3095 secs || 50468858 markings, 57123752 edges, 16440 markings/sec, 3095 secs
lola: STP completed || 93 tries, 92035113 fired transitions, 3100 secs || 50551517 markings, 57218115 edges, 16532 markings/sec, 3100 secs
lola: STP completed || 93 tries, 92187415 fired transitions, 3105 secs || 50634155 markings, 57313008 edges, 16528 markings/sec, 3105 secs
lola: STP completed || 93 tries, 92338216 fired transitions, 3110 secs || 50716739 markings, 57407842 edges, 16517 markings/sec, 3110 secs
lola: STP completed || 93 tries, 92489955 fired transitions, 3115 secs || 50797286 markings, 57499104 edges, 16109 markings/sec, 3115 secs
lola: STP completed || 93 tries, 92640750 fired transitions, 3120 secs || 50877700 markings, 57590599 edges, 16083 markings/sec, 3120 secs
lola: STP completed || 93 tries, 92791837 fired transitions, 3125 secs || 50957596 markings, 57681883 edges, 15979 markings/sec, 3125 secs
lola: STP completed || 93 tries, 92943863 fired transitions, 3130 secs || 51039031 markings, 57775280 edges, 16287 markings/sec, 3130 secs
lola: STP completed || 94 tries, 93096004 fired transitions, 3135 secs || 51120849 markings, 57868015 edges, 16364 markings/sec, 3135 secs
lola: STP completed || 94 tries, 93247435 fired transitions, 3140 secs || 51201737 markings, 57960322 edges, 16178 markings/sec, 3140 secs
lola: STP completed || 94 tries, 93399984 fired transitions, 3145 secs || 51282965 markings, 58053527 edges, 16246 markings/sec, 3145 secs
lola: STP completed || 94 tries, 93551257 fired transitions, 3150 secs || 51365898 markings, 58149341 edges, 16587 markings/sec, 3150 secs
lola: STP completed || 94 tries, 93701626 fired transitions, 3155 secs || 51447044 markings, 58241495 edges, 16229 markings/sec, 3155 secs
lola: STP completed || 94 tries, 93850186 fired transitions, 3160 secs || 51525964 markings, 58330381 edges, 15784 markings/sec, 3160 secs
lola: STP completed || 95 tries, 94001632 fired transitions, 3165 secs || 51606422 markings, 58421657 edges, 16092 markings/sec, 3165 secs
lola: STP completed || 95 tries, 94151974 fired transitions, 3170 secs || 51687862 markings, 58514042 edges, 16288 markings/sec, 3170 secs
lola: STP completed || 95 tries, 94298841 fired transitions, 3175 secs || 51770861 markings, 58608783 edges, 16600 markings/sec, 3175 secs
lola: STP completed || 95 tries, 94447722 fired transitions, 3180 secs || 51851693 markings, 58700483 edges, 16166 markings/sec, 3180 secs
lola: STP completed || 95 tries, 94595521 fired transitions, 3185 secs || 51934199 markings, 58795152 edges, 16501 markings/sec, 3185 secs
lola: STP completed || 95 tries, 94744244 fired transitions, 3190 secs || 52015611 markings, 58888089 edges, 16282 markings/sec, 3190 secs
lola: STP completed || 95 tries, 94893953 fired transitions, 3195 secs || 52098684 markings, 58983531 edges, 16615 markings/sec, 3195 secs
lola: STP completed || 96 tries, 95043054 fired transitions, 3200 secs || 52182114 markings, 59078939 edges, 16686 markings/sec, 3200 secs
lola: STP completed || 96 tries, 95191501 fired transitions, 3205 secs || 52265728 markings, 59174160 edges, 16723 markings/sec, 3205 secs
lola: STP completed || 96 tries, 95340328 fired transitions, 3210 secs || 52346343 markings, 59264867 edges, 16123 markings/sec, 3210 secs
lola: STP completed || 96 tries, 95489947 fired transitions, 3215 secs || 52426964 markings, 59355880 edges, 16124 markings/sec, 3215 secs
lola: STP completed || 96 tries, 95639995 fired transitions, 3220 secs || 52507438 markings, 59446677 edges, 16095 markings/sec, 3220 secs
lola: STP completed || 96 tries, 95787805 fired transitions, 3225 secs || 52586974 markings, 59536337 edges, 15907 markings/sec, 3225 secs
lola: STP completed || 96 tries, 95934845 fired transitions, 3230 secs || 52669774 markings, 59630233 edges, 16560 markings/sec, 3230 secs
lola: STP completed || 97 tries, 96084453 fired transitions, 3235 secs || 52753339 markings, 59726428 edges, 16713 markings/sec, 3235 secs
lola: STP completed || 97 tries, 96233981 fired transitions, 3240 secs || 52834791 markings, 59818919 edges, 16290 markings/sec, 3240 secs
lola: STP completed || 97 tries, 96383594 fired transitions, 3245 secs || 52915272 markings, 59909984 edges, 16096 markings/sec, 3245 secs
lola: STP completed || 97 tries, 96532521 fired transitions, 3250 secs || 52995198 markings, 60000762 edges, 15985 markings/sec, 3250 secs
lola: STP completed || 97 tries, 96680484 fired transitions, 3255 secs || 53076148 markings, 60092640 edges, 16190 markings/sec, 3255 secs
lola: STP completed || 97 tries, 96829317 fired transitions, 3260 secs || 53157721 markings, 60185442 edges, 16315 markings/sec, 3260 secs
lola: STP completed || 97 tries, 96978169 fired transitions, 3265 secs || 53240487 markings, 60279879 edges, 16553 markings/sec, 3265 secs
lola: STP completed || 98 tries, 97127175 fired transitions, 3270 secs || 53322223 markings, 60372575 edges, 16347 markings/sec, 3270 secs
lola: STP completed || 98 tries, 97275819 fired transitions, 3275 secs || 53402785 markings, 60463844 edges, 16112 markings/sec, 3275 secs
lola: STP completed || 98 tries, 97423171 fired transitions, 3280 secs || 53482353 markings, 60553175 edges, 15914 markings/sec, 3280 secs
lola: STP completed || 98 tries, 97572530 fired transitions, 3285 secs || 53562814 markings, 60643883 edges, 16092 markings/sec, 3285 secs
lola: STP completed || 98 tries, 97722514 fired transitions, 3290 secs || 53645269 markings, 60738458 edges, 16491 markings/sec, 3290 secs
lola: STP completed || 98 tries, 97870837 fired transitions, 3295 secs || 53725544 markings, 60829370 edges, 16055 markings/sec, 3295 secs
lola: STP completed || 99 tries, 98020158 fired transitions, 3300 secs || 53805443 markings, 60920010 edges, 15980 markings/sec, 3300 secs
lola: STP completed || 99 tries, 98170694 fired transitions, 3305 secs || 53887083 markings, 61013592 edges, 16328 markings/sec, 3305 secs
lola: STP completed || 99 tries, 98318728 fired transitions, 3310 secs || 53970431 markings, 61109586 edges, 16670 markings/sec, 3310 secs
lola: STP completed || 99 tries, 98468388 fired transitions, 3315 secs || 54052590 markings, 61203695 edges, 16432 markings/sec, 3315 secs
lola: STP completed || 99 tries, 98617287 fired transitions, 3320 secs || 54135666 markings, 61299140 edges, 16615 markings/sec, 3320 secs
lola: STP completed || 99 tries, 98767762 fired transitions, 3325 secs || 54218206 markings, 61393831 edges, 16508 markings/sec, 3325 secs
lola: STP completed || 99 tries, 98918249 fired transitions, 3330 secs || 54300113 markings, 61487432 edges, 16381 markings/sec, 3330 secs
lola: STP completed || 100 tries, 99070543 fired transitions, 3335 secs || 54381502 markings, 61580187 edges, 16278 markings/sec, 3335 secs
lola: STP completed || 100 tries, 99220899 fired transitions, 3340 secs || 54463670 markings, 61674186 edges, 16434 markings/sec, 3340 secs
lola: STP completed || 100 tries, 99366816 fired transitions, 3345 secs || 54545261 markings, 61766843 edges, 16318 markings/sec, 3345 secs
lola: STP completed || 100 tries, 99509797 fired transitions, 3350 secs || 54623649 markings, 61855476 edges, 15678 markings/sec, 3350 secs
lola: STP completed || 100 tries, 99656739 fired transitions, 3355 secs || 54701628 markings, 61943761 edges, 15596 markings/sec, 3355 secs
lola: STP completed || 100 tries, 99799845 fired transitions, 3360 secs || 54780667 markings, 62033962 edges, 15808 markings/sec, 3360 secs
lola: STP completed || 100 tries, 99944312 fired transitions, 3365 secs || 54857223 markings, 62120589 edges, 15311 markings/sec, 3365 secs
lola: STP completed || 101 tries, 100090908 fired transitions, 3370 secs || 54933232 markings, 62206958 edges, 15202 markings/sec, 3370 secs
lola: STP completed || 101 tries, 100238152 fired transitions, 3375 secs || 55011894 markings, 62297088 edges, 15732 markings/sec, 3375 secs
lola: STP completed || 101 tries, 100385932 fired transitions, 3380 secs || 55088517 markings, 62384698 edges, 15325 markings/sec, 3380 secs
lola: STP completed || 101 tries, 100533919 fired transitions, 3385 secs || 55168713 markings, 62475306 edges, 16039 markings/sec, 3385 secs
lola: STP completed || 101 tries, 100679268 fired transitions, 3390 secs || 55248793 markings, 62566242 edges, 16016 markings/sec, 3390 secs
lola: STP completed || 101 tries, 100827096 fired transitions, 3395 secs || 55330662 markings, 62659812 edges, 16374 markings/sec, 3395 secs
lola: STP completed || 101 tries, 100976504 fired transitions, 3400 secs || 55410976 markings, 62751425 edges, 16063 markings/sec, 3400 secs
lola: STP completed || 102 tries, 101126352 fired transitions, 3405 secs || 55490630 markings, 62842260 edges, 15931 markings/sec, 3405 secs
lola: STP completed || 102 tries, 101276281 fired transitions, 3410 secs || 55571462 markings, 62933037 edges, 16166 markings/sec, 3410 secs
lola: STP completed || 102 tries, 101425671 fired transitions, 3415 secs || 55651608 markings, 63023320 edges, 16029 markings/sec, 3415 secs
lola: STP completed || 102 tries, 101573936 fired transitions, 3420 secs || 55731319 markings, 63113436 edges, 15942 markings/sec, 3420 secs
lola: STP completed || 102 tries, 101722075 fired transitions, 3425 secs || 55813167 markings, 63206944 edges, 16370 markings/sec, 3425 secs
lola: STP completed || 102 tries, 101865573 fired transitions, 3430 secs || 55894339 markings, 63299801 edges, 16234 markings/sec, 3430 secs
lola: STP completed || 103 tries, 102005782 fired transitions, 3435 secs || 55976853 markings, 63393502 edges, 16503 markings/sec, 3435 secs
lola: STP completed || 103 tries, 102150568 fired transitions, 3440 secs || 56059367 markings, 63487934 edges, 16503 markings/sec, 3440 secs
lola: STP completed || 103 tries, 102292200 fired transitions, 3445 secs || 56136903 markings, 63575549 edges, 15507 markings/sec, 3445 secs
lola: STP completed || 103 tries, 102437869 fired transitions, 3450 secs || 56219127 markings, 63669720 edges, 16445 markings/sec, 3450 secs
lola: STP completed || 103 tries, 102585180 fired transitions, 3455 secs || 56301829 markings, 63764969 edges, 16540 markings/sec, 3455 secs
lola: STP completed || 103 tries, 102730432 fired transitions, 3460 secs || 56384309 markings, 63859154 edges, 16496 markings/sec, 3460 secs
lola: STP completed || 103 tries, 102877612 fired transitions, 3465 secs || 56463349 markings, 63948430 edges, 15808 markings/sec, 3465 secs
lola: STP completed || 104 tries, 103024807 fired transitions, 3470 secs || 56544755 markings, 64041923 edges, 16281 markings/sec, 3470 secs
lola: STP completed || 104 tries, 103171778 fired transitions, 3475 secs || 56625109 markings, 64133802 edges, 16071 markings/sec, 3475 secs
lola: STP completed || 104 tries, 103318120 fired transitions, 3480 secs || 56707116 markings, 64228012 edges, 16401 markings/sec, 3480 secs
lola: STP completed || 104 tries, 103466751 fired transitions, 3485 secs || 56789080 markings, 64321890 edges, 16393 markings/sec, 3485 secs
lola: STP completed || 104 tries, 103611806 fired transitions, 3490 secs || 56871173 markings, 64415590 edges, 16419 markings/sec, 3490 secs
lola: STP completed || 104 tries, 103760122 fired transitions, 3495 secs || 56952987 markings, 64509266 edges, 16363 markings/sec, 3495 secs
lola: STP completed || 104 tries, 103907927 fired transitions, 3500 secs || 57035141 markings, 64603883 edges, 16431 markings/sec, 3500 secs
lola: STP completed || 105 tries, 104055398 fired transitions, 3505 secs || 57116509 markings, 64696681 edges, 16274 markings/sec, 3505 secs
lola: STP completed || 105 tries, 104200508 fired transitions, 3510 secs || 57197116 markings, 64787967 edges, 16121 markings/sec, 3510 secs
lola: STP completed || 105 tries, 104344746 fired transitions, 3515 secs || 57277016 markings, 64878883 edges, 15980 markings/sec, 3515 secs
lola: STP completed || 105 tries, 104490649 fired transitions, 3520 secs || 57358006 markings, 64971220 edges, 16198 markings/sec, 3520 secs
lola: STP completed || 105 tries, 104639102 fired transitions, 3525 secs || 57440669 markings, 65066326 edges, 16533 markings/sec, 3525 secs
lola: STP completed || 105 tries, 104786691 fired transitions, 3530 secs || 57523974 markings, 65162181 edges, 16661 markings/sec, 3530 secs
lola: STP completed || 105 tries, 104931281 fired transitions, 3535 secs || 57606596 markings, 65256831 edges, 16524 markings/sec, 3535 secs
lola: STP completed || 106 tries, 105078942 fired transitions, 3540 secs || 57687667 markings, 65349517 edges, 16214 markings/sec, 3540 secs
lola: STP completed || 106 tries, 105224025 fired transitions, 3545 secs || 57767889 markings, 65441195 edges, 16044 markings/sec, 3545 secs
lola: STP completed || 106 tries, 105374863 fired transitions, 3550 secs || 57850454 markings, 65535902 edges, 16513 markings/sec, 3550 secs
lola: STP completed || 106 tries, 105522122 fired transitions, 3555 secs || 57927880 markings, 65623955 edges, 15485 markings/sec, 3555 secs
lola: STP completed || 106 tries, 105669729 fired transitions, 3560 secs || 58008048 markings, 65714801 edges, 16034 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 13760644 KB
lola: time consumption: 3571 seconds
BK_STOP 1526641794836
--------------------
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="DLCround-PT-09b"
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/DLCround-PT-09b.tgz
mv DLCround-PT-09b 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 DLCround-PT-09b, 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 r064-smll-152649735200097"
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 ;