About the Execution of LoLA for RERS17pb115-PT-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10983.130 | 3570354.00 | 6993589.00 | 280.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r126-oct2-155274853700507.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is RERS17pb115-PT-4, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853700507
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 13 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 13 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 13 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 13 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 equiv_col
-rw-r--r-- 1 mcc users 2 Feb 13 08:05 instance
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 iscolored
-rw-r--r-- 1 mcc users 69M Mar 10 17:31 model.pnml
--------------------
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 RERS17pb115-PT-4-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553922121181
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb115-PT-4 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb115-PT-4
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 145768/268435456 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 1399
lola: finding significant places
lola: 1399 places, 144369 transitions, 1362 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
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 reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 47 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: 1 tries, 91 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: 1 tries, 135 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: 1 tries, 180 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: 1 tries, 224 fired transitions, 20 secs
lola: 0 generators; 977901 candidates remain ( 0%), 20 secs
lola: 1 tries, 269 fired transitions, 25 secs
lola: 35 generators; 630 candidates remain ( 5%), 25 secs
lola: 1 tries, 312 fired transitions, 30 secs
lola: 156 generators; 78 candidates remain (66%), 30 secs
lola: computed 171 generators (18 in search tree, 153 by composition)
lola: representing 1.21645E+17 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 358 fired transitions, 35 secs || 28 markings, 27 edges, 6 markings/sec, 35 secs
lola: 1 tries, 405 fired transitions, 40 secs || 79 markings, 78 edges, 10 markings/sec, 40 secs
lola: 1 tries, 452 fired transitions, 45 secs || 131 markings, 130 edges, 10 markings/sec, 45 secs
lola: 1 tries, 502 fired transitions, 50 secs || 181 markings, 180 edges, 10 markings/sec, 50 secs
lola: 1 tries, 552 fired transitions, 55 secs || 231 markings, 230 edges, 10 markings/sec, 55 secs
lola: 1 tries, 601 fired transitions, 60 secs || 281 markings, 280 edges, 10 markings/sec, 60 secs
lola: 1 tries, 652 fired transitions, 65 secs || 332 markings, 331 edges, 10 markings/sec, 65 secs
lola: 1 tries, 704 fired transitions, 70 secs || 384 markings, 383 edges, 10 markings/sec, 70 secs
lola: 1 tries, 754 fired transitions, 75 secs || 436 markings, 435 edges, 10 markings/sec, 75 secs
lola: 1 tries, 802 fired transitions, 80 secs || 487 markings, 486 edges, 10 markings/sec, 80 secs
lola: 1 tries, 850 fired transitions, 85 secs || 537 markings, 536 edges, 10 markings/sec, 85 secs
lola: 1 tries, 897 fired transitions, 90 secs || 586 markings, 585 edges, 10 markings/sec, 90 secs
lola: 1 tries, 945 fired transitions, 95 secs || 635 markings, 634 edges, 10 markings/sec, 95 secs
lola: 1 tries, 993 fired transitions, 100 secs || 683 markings, 682 edges, 10 markings/sec, 100 secs
lola: 1 tries, 1041 fired transitions, 105 secs || 732 markings, 731 edges, 10 markings/sec, 105 secs
lola: 1 tries, 1088 fired transitions, 110 secs || 781 markings, 780 edges, 10 markings/sec, 110 secs
lola: 1 tries, 1135 fired transitions, 115 secs || 829 markings, 828 edges, 10 markings/sec, 115 secs
lola: 1 tries, 1183 fired transitions, 120 secs || 878 markings, 877 edges, 10 markings/sec, 120 secs
lola: 1 tries, 1231 fired transitions, 125 secs || 926 markings, 925 edges, 10 markings/sec, 125 secs
lola: 1 tries, 1280 fired transitions, 130 secs || 975 markings, 974 edges, 10 markings/sec, 130 secs
lola: 1 tries, 1329 fired transitions, 135 secs || 1024 markings, 1023 edges, 10 markings/sec, 135 secs
lola: 1 tries, 1377 fired transitions, 140 secs || 1073 markings, 1072 edges, 10 markings/sec, 140 secs
lola: 1 tries, 1425 fired transitions, 145 secs || 1121 markings, 1120 edges, 10 markings/sec, 145 secs
lola: 1 tries, 1474 fired transitions, 150 secs || 1170 markings, 1169 edges, 10 markings/sec, 150 secs
lola: 1 tries, 1524 fired transitions, 155 secs || 1220 markings, 1219 edges, 10 markings/sec, 155 secs
lola: 1 tries, 1572 fired transitions, 160 secs || 1269 markings, 1268 edges, 10 markings/sec, 160 secs
lola: 1 tries, 1621 fired transitions, 165 secs || 1318 markings, 1317 edges, 10 markings/sec, 165 secs
lola: 1 tries, 1669 fired transitions, 170 secs || 1367 markings, 1366 edges, 10 markings/sec, 170 secs
lola: 1 tries, 1718 fired transitions, 175 secs || 1416 markings, 1415 edges, 10 markings/sec, 175 secs
lola: 1 tries, 1768 fired transitions, 180 secs || 1466 markings, 1465 edges, 10 markings/sec, 180 secs
lola: 1 tries, 1817 fired transitions, 185 secs || 1515 markings, 1514 edges, 10 markings/sec, 185 secs
lola: 1 tries, 1867 fired transitions, 190 secs || 1565 markings, 1564 edges, 10 markings/sec, 190 secs
lola: 1 tries, 1917 fired transitions, 195 secs || 1615 markings, 1614 edges, 10 markings/sec, 195 secs
lola: 1 tries, 1965 fired transitions, 200 secs || 1664 markings, 1663 edges, 10 markings/sec, 200 secs
lola: 1 tries, 2013 fired transitions, 205 secs || 1713 markings, 1712 edges, 10 markings/sec, 205 secs
lola: 1 tries, 2062 fired transitions, 210 secs || 1763 markings, 1762 edges, 10 markings/sec, 210 secs
lola: 1 tries, 2111 fired transitions, 215 secs || 1812 markings, 1811 edges, 10 markings/sec, 215 secs
lola: 1 tries, 2160 fired transitions, 220 secs || 1861 markings, 1860 edges, 10 markings/sec, 220 secs
lola: 1 tries, 2209 fired transitions, 225 secs || 1911 markings, 1910 edges, 10 markings/sec, 225 secs
lola: 1 tries, 2256 fired transitions, 230 secs || 1960 markings, 1959 edges, 10 markings/sec, 230 secs
lola: 1 tries, 2302 fired transitions, 235 secs || 2009 markings, 2008 edges, 10 markings/sec, 235 secs
lola: 1 tries, 2349 fired transitions, 240 secs || 2058 markings, 2057 edges, 10 markings/sec, 240 secs
lola: 1 tries, 2396 fired transitions, 245 secs || 2107 markings, 2106 edges, 10 markings/sec, 245 secs
lola: 1 tries, 2443 fired transitions, 250 secs || 2157 markings, 2156 edges, 10 markings/sec, 250 secs
lola: 1 tries, 2492 fired transitions, 255 secs || 2206 markings, 2205 edges, 10 markings/sec, 255 secs
lola: 1 tries, 2539 fired transitions, 260 secs || 2257 markings, 2256 edges, 10 markings/sec, 260 secs
lola: 1 tries, 2587 fired transitions, 265 secs || 2310 markings, 2309 edges, 11 markings/sec, 265 secs
lola: 1 tries, 2633 fired transitions, 270 secs || 2361 markings, 2360 edges, 10 markings/sec, 270 secs
lola: 1 tries, 2680 fired transitions, 275 secs || 2412 markings, 2411 edges, 10 markings/sec, 275 secs
lola: 1 tries, 2727 fired transitions, 280 secs || 2463 markings, 2462 edges, 10 markings/sec, 280 secs
lola: 1 tries, 2775 fired transitions, 285 secs || 2514 markings, 2513 edges, 10 markings/sec, 285 secs
lola: 1 tries, 2822 fired transitions, 290 secs || 2566 markings, 2565 edges, 10 markings/sec, 290 secs
lola: 1 tries, 2869 fired transitions, 295 secs || 2618 markings, 2617 edges, 10 markings/sec, 295 secs
lola: 1 tries, 2917 fired transitions, 300 secs || 2669 markings, 2668 edges, 10 markings/sec, 300 secs
lola: 1 tries, 2965 fired transitions, 305 secs || 2721 markings, 2720 edges, 10 markings/sec, 305 secs
lola: 1 tries, 3013 fired transitions, 310 secs || 2774 markings, 2773 edges, 11 markings/sec, 310 secs
lola: 1 tries, 3061 fired transitions, 315 secs || 2826 markings, 2825 edges, 10 markings/sec, 315 secs
lola: 1 tries, 3109 fired transitions, 320 secs || 2877 markings, 2876 edges, 10 markings/sec, 320 secs
lola: 1 tries, 3157 fired transitions, 325 secs || 2929 markings, 2928 edges, 10 markings/sec, 325 secs
lola: 1 tries, 3206 fired transitions, 330 secs || 2981 markings, 2980 edges, 10 markings/sec, 330 secs
lola: 1 tries, 3255 fired transitions, 335 secs || 3033 markings, 3032 edges, 10 markings/sec, 335 secs
lola: 1 tries, 3303 fired transitions, 340 secs || 3085 markings, 3084 edges, 10 markings/sec, 340 secs
lola: 1 tries, 3352 fired transitions, 345 secs || 3137 markings, 3136 edges, 10 markings/sec, 345 secs
lola: 1 tries, 3404 fired transitions, 350 secs || 3189 markings, 3188 edges, 10 markings/sec, 350 secs
lola: 1 tries, 3454 fired transitions, 355 secs || 3239 markings, 3238 edges, 10 markings/sec, 355 secs
lola: 1 tries, 3504 fired transitions, 360 secs || 3289 markings, 3288 edges, 10 markings/sec, 360 secs
lola: 1 tries, 3554 fired transitions, 365 secs || 3339 markings, 3338 edges, 10 markings/sec, 365 secs
lola: 1 tries, 3604 fired transitions, 370 secs || 3389 markings, 3388 edges, 10 markings/sec, 370 secs
lola: 1 tries, 3652 fired transitions, 375 secs || 3439 markings, 3438 edges, 10 markings/sec, 375 secs
lola: 1 tries, 3701 fired transitions, 380 secs || 3490 markings, 3489 edges, 10 markings/sec, 380 secs
lola: 1 tries, 3749 fired transitions, 385 secs || 3541 markings, 3540 edges, 10 markings/sec, 385 secs
lola: 1 tries, 3798 fired transitions, 390 secs || 3592 markings, 3591 edges, 10 markings/sec, 390 secs
lola: 1 tries, 3846 fired transitions, 395 secs || 3643 markings, 3642 edges, 10 markings/sec, 395 secs
lola: 1 tries, 3894 fired transitions, 400 secs || 3694 markings, 3693 edges, 10 markings/sec, 400 secs
lola: 1 tries, 3947 fired transitions, 405 secs || 3747 markings, 3746 edges, 11 markings/sec, 405 secs
lola: 1 tries, 3997 fired transitions, 410 secs || 3797 markings, 3796 edges, 10 markings/sec, 410 secs
lola: 1 tries, 4045 fired transitions, 415 secs || 3845 markings, 3844 edges, 10 markings/sec, 415 secs
lola: 1 tries, 4093 fired transitions, 420 secs || 3896 markings, 3895 edges, 10 markings/sec, 420 secs
lola: 1 tries, 4143 fired transitions, 425 secs || 3948 markings, 3947 edges, 10 markings/sec, 425 secs
lola: 1 tries, 4191 fired transitions, 430 secs || 3998 markings, 3997 edges, 10 markings/sec, 430 secs
lola: 1 tries, 4245 fired transitions, 435 secs || 4052 markings, 4051 edges, 11 markings/sec, 435 secs
lola: 1 tries, 4294 fired transitions, 440 secs || 4103 markings, 4102 edges, 10 markings/sec, 440 secs
lola: 1 tries, 4344 fired transitions, 445 secs || 4154 markings, 4153 edges, 10 markings/sec, 445 secs
lola: 1 tries, 4390 fired transitions, 450 secs || 4204 markings, 4203 edges, 10 markings/sec, 450 secs
lola: 1 tries, 4439 fired transitions, 455 secs || 4254 markings, 4253 edges, 10 markings/sec, 455 secs
lola: 1 tries, 4488 fired transitions, 460 secs || 4304 markings, 4303 edges, 10 markings/sec, 460 secs
lola: 1 tries, 4536 fired transitions, 465 secs || 4355 markings, 4354 edges, 10 markings/sec, 465 secs
lola: 1 tries, 4589 fired transitions, 470 secs || 4409 markings, 4408 edges, 11 markings/sec, 470 secs
lola: 1 tries, 4626 fired transitions, 475 secs || 4448 markings, 4447 edges, 8 markings/sec, 475 secs
lola: 1 tries, 4649 fired transitions, 480 secs || 4472 markings, 4471 edges, 5 markings/sec, 480 secs
lola: 1 tries, 4673 fired transitions, 485 secs || 4496 markings, 4495 edges, 5 markings/sec, 485 secs
lola: 1 tries, 4701 fired transitions, 490 secs || 4526 markings, 4525 edges, 6 markings/sec, 490 secs
lola: 1 tries, 4749 fired transitions, 495 secs || 4576 markings, 4575 edges, 10 markings/sec, 495 secs
lola: 1 tries, 4797 fired transitions, 500 secs || 4627 markings, 4626 edges, 10 markings/sec, 500 secs
lola: 1 tries, 4846 fired transitions, 505 secs || 4678 markings, 4677 edges, 10 markings/sec, 505 secs
lola: 1 tries, 4895 fired transitions, 510 secs || 4729 markings, 4728 edges, 10 markings/sec, 510 secs
lola: 1 tries, 4941 fired transitions, 515 secs || 4778 markings, 4777 edges, 10 markings/sec, 515 secs
lola: 1 tries, 4965 fired transitions, 520 secs || 4802 markings, 4801 edges, 5 markings/sec, 520 secs
lola: 1 tries, 4988 fired transitions, 525 secs || 4826 markings, 4825 edges, 5 markings/sec, 525 secs
lola: 1 tries, 5012 fired transitions, 530 secs || 4850 markings, 4849 edges, 5 markings/sec, 530 secs
lola: 1 tries, 5037 fired transitions, 535 secs || 4876 markings, 4875 edges, 5 markings/sec, 535 secs
lola: 1 tries, 5060 fired transitions, 540 secs || 4900 markings, 4899 edges, 5 markings/sec, 540 secs
lola: 1 tries, 5084 fired transitions, 545 secs || 4924 markings, 4923 edges, 5 markings/sec, 545 secs
lola: 1 tries, 5107 fired transitions, 550 secs || 4948 markings, 4947 edges, 5 markings/sec, 550 secs
lola: 1 tries, 5131 fired transitions, 555 secs || 4972 markings, 4971 edges, 5 markings/sec, 555 secs
lola: 1 tries, 5154 fired transitions, 560 secs || 4996 markings, 4995 edges, 5 markings/sec, 560 secs
lola: 1 tries, 5178 fired transitions, 565 secs || 5020 markings, 5019 edges, 5 markings/sec, 565 secs
lola: 1 tries, 5201 fired transitions, 570 secs || 5044 markings, 5043 edges, 5 markings/sec, 570 secs
lola: 1 tries, 5224 fired transitions, 575 secs || 5068 markings, 5067 edges, 5 markings/sec, 575 secs
lola: 1 tries, 5248 fired transitions, 580 secs || 5093 markings, 5092 edges, 5 markings/sec, 580 secs
lola: 1 tries, 5272 fired transitions, 585 secs || 5116 markings, 5115 edges, 5 markings/sec, 585 secs
lola: 1 tries, 5295 fired transitions, 590 secs || 5140 markings, 5139 edges, 5 markings/sec, 590 secs
lola: 1 tries, 5327 fired transitions, 595 secs || 5174 markings, 5173 edges, 7 markings/sec, 595 secs
lola: 1 tries, 5375 fired transitions, 600 secs || 5225 markings, 5224 edges, 10 markings/sec, 600 secs
lola: 1 tries, 5423 fired transitions, 605 secs || 5275 markings, 5274 edges, 10 markings/sec, 605 secs
lola: 1 tries, 5473 fired transitions, 610 secs || 5323 markings, 5322 edges, 10 markings/sec, 610 secs
lola: 1 tries, 5523 fired transitions, 615 secs || 5371 markings, 5370 edges, 10 markings/sec, 615 secs
lola: 1 tries, 5573 fired transitions, 620 secs || 5419 markings, 5418 edges, 10 markings/sec, 620 secs
lola: 1 tries, 5622 fired transitions, 625 secs || 5466 markings, 5465 edges, 9 markings/sec, 625 secs
lola: 1 tries, 5669 fired transitions, 630 secs || 5513 markings, 5512 edges, 9 markings/sec, 630 secs
lola: 1 tries, 5700 fired transitions, 635 secs || 5544 markings, 5543 edges, 6 markings/sec, 635 secs
lola: 1 tries, 5728 fired transitions, 640 secs || 5573 markings, 5572 edges, 6 markings/sec, 640 secs
lola: 1 tries, 5776 fired transitions, 645 secs || 5623 markings, 5622 edges, 10 markings/sec, 645 secs
lola: 1 tries, 5823 fired transitions, 650 secs || 5671 markings, 5670 edges, 10 markings/sec, 650 secs
lola: 1 tries, 5874 fired transitions, 655 secs || 5722 markings, 5721 edges, 10 markings/sec, 655 secs
lola: 1 tries, 5924 fired transitions, 660 secs || 5769 markings, 5768 edges, 9 markings/sec, 660 secs
lola: 1 tries, 5974 fired transitions, 665 secs || 5817 markings, 5816 edges, 10 markings/sec, 665 secs
lola: 1 tries, 6024 fired transitions, 670 secs || 5866 markings, 5865 edges, 10 markings/sec, 670 secs
lola: 1 tries, 6074 fired transitions, 675 secs || 5915 markings, 5914 edges, 10 markings/sec, 675 secs
lola: 1 tries, 6124 fired transitions, 680 secs || 5965 markings, 5964 edges, 10 markings/sec, 680 secs
lola: 1 tries, 6174 fired transitions, 685 secs || 6013 markings, 6012 edges, 10 markings/sec, 685 secs
lola: 1 tries, 6224 fired transitions, 690 secs || 6062 markings, 6061 edges, 10 markings/sec, 690 secs
lola: 1 tries, 6274 fired transitions, 695 secs || 6111 markings, 6110 edges, 10 markings/sec, 695 secs
lola: 1 tries, 6324 fired transitions, 700 secs || 6160 markings, 6159 edges, 10 markings/sec, 700 secs
lola: 1 tries, 6375 fired transitions, 705 secs || 6210 markings, 6209 edges, 10 markings/sec, 705 secs
lola: 1 tries, 6426 fired transitions, 710 secs || 6261 markings, 6260 edges, 10 markings/sec, 710 secs
lola: 1 tries, 6476 fired transitions, 715 secs || 6310 markings, 6309 edges, 10 markings/sec, 715 secs
lola: 1 tries, 6526 fired transitions, 720 secs || 6360 markings, 6359 edges, 10 markings/sec, 720 secs
lola: 1 tries, 6577 fired transitions, 725 secs || 6410 markings, 6409 edges, 10 markings/sec, 725 secs
lola: 1 tries, 6627 fired transitions, 730 secs || 6459 markings, 6458 edges, 10 markings/sec, 730 secs
lola: 1 tries, 6677 fired transitions, 735 secs || 6508 markings, 6507 edges, 10 markings/sec, 735 secs
lola: 1 tries, 6727 fired transitions, 740 secs || 6558 markings, 6557 edges, 10 markings/sec, 740 secs
lola: 1 tries, 6779 fired transitions, 745 secs || 6610 markings, 6609 edges, 10 markings/sec, 745 secs
lola: 1 tries, 6830 fired transitions, 750 secs || 6661 markings, 6660 edges, 10 markings/sec, 750 secs
lola: 1 tries, 6879 fired transitions, 755 secs || 6709 markings, 6708 edges, 10 markings/sec, 755 secs
lola: 1 tries, 6930 fired transitions, 760 secs || 6760 markings, 6759 edges, 10 markings/sec, 760 secs
lola: 1 tries, 6981 fired transitions, 765 secs || 6811 markings, 6810 edges, 10 markings/sec, 765 secs
lola: 1 tries, 7033 fired transitions, 770 secs || 6863 markings, 6862 edges, 10 markings/sec, 770 secs
lola: 1 tries, 7083 fired transitions, 775 secs || 6912 markings, 6911 edges, 10 markings/sec, 775 secs
lola: 1 tries, 7134 fired transitions, 780 secs || 6962 markings, 6961 edges, 10 markings/sec, 780 secs
lola: 1 tries, 7184 fired transitions, 785 secs || 7012 markings, 7011 edges, 10 markings/sec, 785 secs
lola: 1 tries, 7235 fired transitions, 790 secs || 7063 markings, 7062 edges, 10 markings/sec, 790 secs
lola: 1 tries, 7285 fired transitions, 795 secs || 7113 markings, 7112 edges, 10 markings/sec, 795 secs
lola: 1 tries, 7335 fired transitions, 800 secs || 7162 markings, 7161 edges, 10 markings/sec, 800 secs
lola: 1 tries, 7384 fired transitions, 805 secs || 7210 markings, 7209 edges, 10 markings/sec, 805 secs
lola: 1 tries, 7433 fired transitions, 810 secs || 7258 markings, 7257 edges, 10 markings/sec, 810 secs
lola: 1 tries, 7483 fired transitions, 815 secs || 7306 markings, 7305 edges, 10 markings/sec, 815 secs
lola: 1 tries, 7533 fired transitions, 820 secs || 7354 markings, 7353 edges, 10 markings/sec, 820 secs
lola: 1 tries, 7583 fired transitions, 825 secs || 7402 markings, 7401 edges, 10 markings/sec, 825 secs
lola: 1 tries, 7633 fired transitions, 830 secs || 7452 markings, 7451 edges, 10 markings/sec, 830 secs
lola: 1 tries, 7684 fired transitions, 835 secs || 7502 markings, 7501 edges, 10 markings/sec, 835 secs
lola: 1 tries, 7734 fired transitions, 840 secs || 7551 markings, 7550 edges, 10 markings/sec, 840 secs
lola: 1 tries, 7788 fired transitions, 845 secs || 7605 markings, 7604 edges, 11 markings/sec, 845 secs
lola: 1 tries, 7843 fired transitions, 850 secs || 7660 markings, 7659 edges, 11 markings/sec, 850 secs
lola: 1 tries, 7898 fired transitions, 855 secs || 7715 markings, 7714 edges, 11 markings/sec, 855 secs
lola: 1 tries, 7952 fired transitions, 860 secs || 7769 markings, 7768 edges, 11 markings/sec, 860 secs
lola: 1 tries, 8007 fired transitions, 865 secs || 7824 markings, 7823 edges, 11 markings/sec, 865 secs
lola: 1 tries, 8061 fired transitions, 870 secs || 7878 markings, 7877 edges, 11 markings/sec, 870 secs
lola: 1 tries, 8116 fired transitions, 875 secs || 7933 markings, 7932 edges, 11 markings/sec, 875 secs
lola: 1 tries, 8170 fired transitions, 880 secs || 7987 markings, 7986 edges, 11 markings/sec, 880 secs
lola: 1 tries, 8225 fired transitions, 885 secs || 8040 markings, 8039 edges, 11 markings/sec, 885 secs
lola: 1 tries, 8279 fired transitions, 890 secs || 8095 markings, 8094 edges, 11 markings/sec, 890 secs
lola: 1 tries, 8333 fired transitions, 895 secs || 8149 markings, 8148 edges, 11 markings/sec, 895 secs
lola: 1 tries, 8388 fired transitions, 900 secs || 8203 markings, 8202 edges, 11 markings/sec, 900 secs
lola: 1 tries, 8441 fired transitions, 905 secs || 8256 markings, 8255 edges, 11 markings/sec, 905 secs
lola: 1 tries, 8495 fired transitions, 910 secs || 8310 markings, 8309 edges, 11 markings/sec, 910 secs
lola: 1 tries, 8550 fired transitions, 915 secs || 8365 markings, 8364 edges, 11 markings/sec, 915 secs
lola: 1 tries, 8604 fired transitions, 920 secs || 8419 markings, 8418 edges, 11 markings/sec, 920 secs
lola: 1 tries, 8658 fired transitions, 925 secs || 8473 markings, 8472 edges, 11 markings/sec, 925 secs
lola: 1 tries, 8712 fired transitions, 930 secs || 8527 markings, 8526 edges, 11 markings/sec, 930 secs
lola: 1 tries, 8766 fired transitions, 935 secs || 8581 markings, 8580 edges, 11 markings/sec, 935 secs
lola: 1 tries, 8819 fired transitions, 940 secs || 8634 markings, 8633 edges, 11 markings/sec, 940 secs
lola: 1 tries, 8873 fired transitions, 945 secs || 8688 markings, 8687 edges, 11 markings/sec, 945 secs
lola: 1 tries, 8927 fired transitions, 950 secs || 8742 markings, 8741 edges, 11 markings/sec, 950 secs
lola: 1 tries, 8981 fired transitions, 955 secs || 8796 markings, 8795 edges, 11 markings/sec, 955 secs
lola: 1 tries, 9036 fired transitions, 960 secs || 8851 markings, 8850 edges, 11 markings/sec, 960 secs
lola: 1 tries, 9091 fired transitions, 965 secs || 8906 markings, 8905 edges, 11 markings/sec, 965 secs
lola: 1 tries, 9146 fired transitions, 970 secs || 8961 markings, 8960 edges, 11 markings/sec, 970 secs
lola: 1 tries, 9201 fired transitions, 975 secs || 9016 markings, 9015 edges, 11 markings/sec, 975 secs
lola: 1 tries, 9256 fired transitions, 980 secs || 9071 markings, 9070 edges, 11 markings/sec, 980 secs
lola: 1 tries, 9311 fired transitions, 985 secs || 9126 markings, 9125 edges, 11 markings/sec, 985 secs
lola: 1 tries, 9366 fired transitions, 990 secs || 9181 markings, 9180 edges, 11 markings/sec, 990 secs
lola: 1 tries, 9421 fired transitions, 995 secs || 9236 markings, 9235 edges, 11 markings/sec, 995 secs
lola: 1 tries, 9475 fired transitions, 1000 secs || 9289 markings, 9288 edges, 11 markings/sec, 1000 secs
lola: 1 tries, 9529 fired transitions, 1005 secs || 9343 markings, 9342 edges, 11 markings/sec, 1005 secs
lola: 1 tries, 9584 fired transitions, 1010 secs || 9398 markings, 9397 edges, 11 markings/sec, 1010 secs
lola: 1 tries, 9639 fired transitions, 1015 secs || 9453 markings, 9452 edges, 11 markings/sec, 1015 secs
lola: 1 tries, 9693 fired transitions, 1020 secs || 9507 markings, 9506 edges, 11 markings/sec, 1020 secs
lola: 1 tries, 9748 fired transitions, 1025 secs || 9562 markings, 9561 edges, 11 markings/sec, 1025 secs
lola: 1 tries, 9804 fired transitions, 1030 secs || 9618 markings, 9617 edges, 11 markings/sec, 1030 secs
lola: 1 tries, 9859 fired transitions, 1035 secs || 9673 markings, 9672 edges, 11 markings/sec, 1035 secs
lola: 1 tries, 9913 fired transitions, 1040 secs || 9727 markings, 9726 edges, 11 markings/sec, 1040 secs
lola: 1 tries, 9968 fired transitions, 1045 secs || 9782 markings, 9781 edges, 11 markings/sec, 1045 secs
lola: 1 tries, 10023 fired transitions, 1050 secs || 9837 markings, 9836 edges, 11 markings/sec, 1050 secs
lola: 1 tries, 10077 fired transitions, 1055 secs || 9891 markings, 9890 edges, 11 markings/sec, 1055 secs
lola: 1 tries, 10132 fired transitions, 1060 secs || 9946 markings, 9945 edges, 11 markings/sec, 1060 secs
lola: 1 tries, 10186 fired transitions, 1065 secs || 10000 markings, 9999 edges, 11 markings/sec, 1065 secs
lola: 1 tries, 10241 fired transitions, 1070 secs || 10055 markings, 10054 edges, 11 markings/sec, 1070 secs
lola: 1 tries, 10294 fired transitions, 1075 secs || 10108 markings, 10107 edges, 11 markings/sec, 1075 secs
lola: 1 tries, 10349 fired transitions, 1080 secs || 10162 markings, 10161 edges, 11 markings/sec, 1080 secs
lola: 1 tries, 10405 fired transitions, 1085 secs || 10218 markings, 10217 edges, 11 markings/sec, 1085 secs
lola: 1 tries, 10460 fired transitions, 1090 secs || 10273 markings, 10272 edges, 11 markings/sec, 1090 secs
lola: 1 tries, 10515 fired transitions, 1095 secs || 10328 markings, 10327 edges, 11 markings/sec, 1095 secs
lola: 1 tries, 10570 fired transitions, 1100 secs || 10383 markings, 10382 edges, 11 markings/sec, 1100 secs
lola: 1 tries, 10625 fired transitions, 1105 secs || 10438 markings, 10437 edges, 11 markings/sec, 1105 secs
lola: 1 tries, 10680 fired transitions, 1110 secs || 10493 markings, 10492 edges, 11 markings/sec, 1110 secs
lola: 1 tries, 10735 fired transitions, 1115 secs || 10548 markings, 10547 edges, 11 markings/sec, 1115 secs
lola: 1 tries, 10790 fired transitions, 1120 secs || 10603 markings, 10602 edges, 11 markings/sec, 1120 secs
lola: 1 tries, 10846 fired transitions, 1125 secs || 10659 markings, 10658 edges, 11 markings/sec, 1125 secs
lola: 1 tries, 10901 fired transitions, 1130 secs || 10714 markings, 10713 edges, 11 markings/sec, 1130 secs
lola: 1 tries, 10956 fired transitions, 1135 secs || 10769 markings, 10768 edges, 11 markings/sec, 1135 secs
lola: 1 tries, 11012 fired transitions, 1140 secs || 10825 markings, 10824 edges, 11 markings/sec, 1140 secs
lola: 1 tries, 11067 fired transitions, 1145 secs || 10880 markings, 10879 edges, 11 markings/sec, 1145 secs
lola: 1 tries, 11122 fired transitions, 1150 secs || 10935 markings, 10934 edges, 11 markings/sec, 1150 secs
lola: 1 tries, 11177 fired transitions, 1155 secs || 10990 markings, 10989 edges, 11 markings/sec, 1155 secs
lola: 1 tries, 11232 fired transitions, 1160 secs || 11045 markings, 11044 edges, 11 markings/sec, 1160 secs
lola: 1 tries, 11287 fired transitions, 1165 secs || 11100 markings, 11099 edges, 11 markings/sec, 1165 secs
lola: 1 tries, 11342 fired transitions, 1170 secs || 11155 markings, 11154 edges, 11 markings/sec, 1170 secs
lola: 1 tries, 11398 fired transitions, 1175 secs || 11211 markings, 11210 edges, 11 markings/sec, 1175 secs
lola: 1 tries, 11452 fired transitions, 1180 secs || 11265 markings, 11264 edges, 11 markings/sec, 1180 secs
lola: 1 tries, 11507 fired transitions, 1185 secs || 11320 markings, 11319 edges, 11 markings/sec, 1185 secs
lola: 1 tries, 11563 fired transitions, 1190 secs || 11376 markings, 11375 edges, 11 markings/sec, 1190 secs
lola: 1 tries, 11618 fired transitions, 1195 secs || 11431 markings, 11430 edges, 11 markings/sec, 1195 secs
lola: 1 tries, 11673 fired transitions, 1200 secs || 11486 markings, 11485 edges, 11 markings/sec, 1200 secs
lola: 1 tries, 11728 fired transitions, 1205 secs || 11541 markings, 11540 edges, 11 markings/sec, 1205 secs
lola: 1 tries, 11784 fired transitions, 1210 secs || 11597 markings, 11596 edges, 11 markings/sec, 1210 secs
lola: 1 tries, 11839 fired transitions, 1215 secs || 11652 markings, 11651 edges, 11 markings/sec, 1215 secs
lola: 1 tries, 11895 fired transitions, 1220 secs || 11708 markings, 11707 edges, 11 markings/sec, 1220 secs
lola: 1 tries, 11951 fired transitions, 1225 secs || 11764 markings, 11763 edges, 11 markings/sec, 1225 secs
lola: 1 tries, 12005 fired transitions, 1230 secs || 11818 markings, 11817 edges, 11 markings/sec, 1230 secs
lola: 1 tries, 12060 fired transitions, 1235 secs || 11873 markings, 11872 edges, 11 markings/sec, 1235 secs
lola: 1 tries, 12116 fired transitions, 1240 secs || 11929 markings, 11928 edges, 11 markings/sec, 1240 secs
lola: 1 tries, 12172 fired transitions, 1245 secs || 11985 markings, 11984 edges, 11 markings/sec, 1245 secs
lola: 1 tries, 12226 fired transitions, 1250 secs || 12039 markings, 12038 edges, 11 markings/sec, 1250 secs
lola: 1 tries, 12281 fired transitions, 1255 secs || 12094 markings, 12093 edges, 11 markings/sec, 1255 secs
lola: 1 tries, 12335 fired transitions, 1260 secs || 12148 markings, 12147 edges, 11 markings/sec, 1260 secs
lola: 1 tries, 12389 fired transitions, 1265 secs || 12202 markings, 12201 edges, 11 markings/sec, 1265 secs
lola: 1 tries, 12441 fired transitions, 1270 secs || 12254 markings, 12253 edges, 10 markings/sec, 1270 secs
lola: 1 tries, 12496 fired transitions, 1275 secs || 12309 markings, 12308 edges, 11 markings/sec, 1275 secs
lola: 1 tries, 12551 fired transitions, 1280 secs || 12364 markings, 12363 edges, 11 markings/sec, 1280 secs
lola: 1 tries, 12606 fired transitions, 1285 secs || 12419 markings, 12418 edges, 11 markings/sec, 1285 secs
lola: 1 tries, 12662 fired transitions, 1290 secs || 12475 markings, 12474 edges, 11 markings/sec, 1290 secs
lola: 1 tries, 12717 fired transitions, 1295 secs || 12530 markings, 12529 edges, 11 markings/sec, 1295 secs
lola: 1 tries, 12772 fired transitions, 1300 secs || 12585 markings, 12584 edges, 11 markings/sec, 1300 secs
lola: 1 tries, 12826 fired transitions, 1305 secs || 12639 markings, 12638 edges, 11 markings/sec, 1305 secs
lola: 1 tries, 12880 fired transitions, 1310 secs || 12693 markings, 12692 edges, 11 markings/sec, 1310 secs
lola: 1 tries, 12935 fired transitions, 1315 secs || 12748 markings, 12747 edges, 11 markings/sec, 1315 secs
lola: 1 tries, 12990 fired transitions, 1320 secs || 12803 markings, 12802 edges, 11 markings/sec, 1320 secs
lola: 1 tries, 13046 fired transitions, 1325 secs || 12859 markings, 12858 edges, 11 markings/sec, 1325 secs
lola: 1 tries, 13099 fired transitions, 1330 secs || 12912 markings, 12911 edges, 11 markings/sec, 1330 secs
lola: 1 tries, 13154 fired transitions, 1335 secs || 12967 markings, 12966 edges, 11 markings/sec, 1335 secs
lola: 1 tries, 13209 fired transitions, 1340 secs || 13022 markings, 13021 edges, 11 markings/sec, 1340 secs
lola: 1 tries, 13263 fired transitions, 1345 secs || 13076 markings, 13075 edges, 11 markings/sec, 1345 secs
lola: 1 tries, 13318 fired transitions, 1350 secs || 13131 markings, 13130 edges, 11 markings/sec, 1350 secs
lola: 1 tries, 13372 fired transitions, 1355 secs || 13185 markings, 13184 edges, 11 markings/sec, 1355 secs
lola: 1 tries, 13428 fired transitions, 1360 secs || 13241 markings, 13240 edges, 11 markings/sec, 1360 secs
lola: 1 tries, 13483 fired transitions, 1365 secs || 13296 markings, 13295 edges, 11 markings/sec, 1365 secs
lola: 1 tries, 13539 fired transitions, 1370 secs || 13352 markings, 13351 edges, 11 markings/sec, 1370 secs
lola: 1 tries, 13594 fired transitions, 1375 secs || 13407 markings, 13406 edges, 11 markings/sec, 1375 secs
lola: 1 tries, 13649 fired transitions, 1380 secs || 13462 markings, 13461 edges, 11 markings/sec, 1380 secs
lola: 1 tries, 13704 fired transitions, 1385 secs || 13517 markings, 13516 edges, 11 markings/sec, 1385 secs
lola: 1 tries, 13760 fired transitions, 1390 secs || 13573 markings, 13572 edges, 11 markings/sec, 1390 secs
lola: 1 tries, 13815 fired transitions, 1395 secs || 13628 markings, 13627 edges, 11 markings/sec, 1395 secs
lola: 1 tries, 13871 fired transitions, 1400 secs || 13684 markings, 13683 edges, 11 markings/sec, 1400 secs
lola: 1 tries, 13926 fired transitions, 1405 secs || 13739 markings, 13738 edges, 11 markings/sec, 1405 secs
lola: 1 tries, 13981 fired transitions, 1410 secs || 13794 markings, 13793 edges, 11 markings/sec, 1410 secs
lola: 1 tries, 14036 fired transitions, 1415 secs || 13849 markings, 13848 edges, 11 markings/sec, 1415 secs
lola: 1 tries, 14091 fired transitions, 1420 secs || 13904 markings, 13903 edges, 11 markings/sec, 1420 secs
lola: 1 tries, 14146 fired transitions, 1425 secs || 13958 markings, 13957 edges, 11 markings/sec, 1425 secs
lola: 1 tries, 14201 fired transitions, 1430 secs || 14013 markings, 14012 edges, 11 markings/sec, 1430 secs
lola: 1 tries, 14256 fired transitions, 1435 secs || 14068 markings, 14067 edges, 11 markings/sec, 1435 secs
lola: 1 tries, 14311 fired transitions, 1440 secs || 14123 markings, 14122 edges, 11 markings/sec, 1440 secs
lola: 1 tries, 14366 fired transitions, 1445 secs || 14178 markings, 14177 edges, 11 markings/sec, 1445 secs
lola: 1 tries, 14421 fired transitions, 1450 secs || 14233 markings, 14232 edges, 11 markings/sec, 1450 secs
lola: 1 tries, 14477 fired transitions, 1455 secs || 14289 markings, 14288 edges, 11 markings/sec, 1455 secs
lola: 1 tries, 14533 fired transitions, 1460 secs || 14345 markings, 14344 edges, 11 markings/sec, 1460 secs
lola: 1 tries, 14590 fired transitions, 1465 secs || 14402 markings, 14401 edges, 11 markings/sec, 1465 secs
lola: 1 tries, 14646 fired transitions, 1470 secs || 14458 markings, 14457 edges, 11 markings/sec, 1470 secs
lola: 1 tries, 14701 fired transitions, 1475 secs || 14513 markings, 14512 edges, 11 markings/sec, 1475 secs
lola: 1 tries, 14756 fired transitions, 1480 secs || 14568 markings, 14567 edges, 11 markings/sec, 1480 secs
lola: 1 tries, 14811 fired transitions, 1485 secs || 14623 markings, 14622 edges, 11 markings/sec, 1485 secs
lola: 1 tries, 14866 fired transitions, 1490 secs || 14678 markings, 14677 edges, 11 markings/sec, 1490 secs
lola: 1 tries, 14922 fired transitions, 1495 secs || 14734 markings, 14733 edges, 11 markings/sec, 1495 secs
lola: 1 tries, 14979 fired transitions, 1500 secs || 14791 markings, 14790 edges, 11 markings/sec, 1500 secs
lola: 1 tries, 15035 fired transitions, 1505 secs || 14847 markings, 14846 edges, 11 markings/sec, 1505 secs
lola: 1 tries, 15093 fired transitions, 1510 secs || 14905 markings, 14904 edges, 12 markings/sec, 1510 secs
lola: 1 tries, 15149 fired transitions, 1515 secs || 14961 markings, 14960 edges, 11 markings/sec, 1515 secs
lola: 1 tries, 15205 fired transitions, 1520 secs || 15017 markings, 15016 edges, 11 markings/sec, 1520 secs
lola: 1 tries, 15261 fired transitions, 1525 secs || 15073 markings, 15072 edges, 11 markings/sec, 1525 secs
lola: 1 tries, 15317 fired transitions, 1530 secs || 15129 markings, 15128 edges, 11 markings/sec, 1530 secs
lola: 1 tries, 15373 fired transitions, 1535 secs || 15185 markings, 15184 edges, 11 markings/sec, 1535 secs
lola: 1 tries, 15429 fired transitions, 1540 secs || 15241 markings, 15240 edges, 11 markings/sec, 1540 secs
lola: 1 tries, 15485 fired transitions, 1545 secs || 15297 markings, 15296 edges, 11 markings/sec, 1545 secs
lola: 1 tries, 15542 fired transitions, 1550 secs || 15354 markings, 15353 edges, 11 markings/sec, 1550 secs
lola: 1 tries, 15598 fired transitions, 1555 secs || 15410 markings, 15409 edges, 11 markings/sec, 1555 secs
lola: 1 tries, 15653 fired transitions, 1560 secs || 15465 markings, 15464 edges, 11 markings/sec, 1560 secs
lola: 1 tries, 15709 fired transitions, 1565 secs || 15521 markings, 15520 edges, 11 markings/sec, 1565 secs
lola: 1 tries, 15764 fired transitions, 1570 secs || 15576 markings, 15575 edges, 11 markings/sec, 1570 secs
lola: 1 tries, 15820 fired transitions, 1575 secs || 15632 markings, 15631 edges, 11 markings/sec, 1575 secs
lola: 1 tries, 15876 fired transitions, 1580 secs || 15688 markings, 15687 edges, 11 markings/sec, 1580 secs
lola: 1 tries, 15931 fired transitions, 1585 secs || 15743 markings, 15742 edges, 11 markings/sec, 1585 secs
lola: 1 tries, 15987 fired transitions, 1590 secs || 15799 markings, 15798 edges, 11 markings/sec, 1590 secs
lola: 1 tries, 16042 fired transitions, 1595 secs || 15854 markings, 15853 edges, 11 markings/sec, 1595 secs
lola: 1 tries, 16098 fired transitions, 1600 secs || 15910 markings, 15909 edges, 11 markings/sec, 1600 secs
lola: 1 tries, 16153 fired transitions, 1605 secs || 15965 markings, 15964 edges, 11 markings/sec, 1605 secs
lola: 1 tries, 16206 fired transitions, 1610 secs || 16018 markings, 16017 edges, 11 markings/sec, 1610 secs
lola: 1 tries, 16258 fired transitions, 1615 secs || 16070 markings, 16069 edges, 10 markings/sec, 1615 secs
lola: 1 tries, 16310 fired transitions, 1620 secs || 16122 markings, 16121 edges, 10 markings/sec, 1620 secs
lola: 1 tries, 16364 fired transitions, 1625 secs || 16176 markings, 16175 edges, 11 markings/sec, 1625 secs
lola: 1 tries, 16417 fired transitions, 1630 secs || 16229 markings, 16228 edges, 11 markings/sec, 1630 secs
lola: 1 tries, 16470 fired transitions, 1635 secs || 16282 markings, 16281 edges, 11 markings/sec, 1635 secs
lola: 1 tries, 16522 fired transitions, 1640 secs || 16334 markings, 16333 edges, 10 markings/sec, 1640 secs
lola: 1 tries, 16574 fired transitions, 1645 secs || 16386 markings, 16385 edges, 10 markings/sec, 1645 secs
lola: 1 tries, 16626 fired transitions, 1650 secs || 16438 markings, 16437 edges, 10 markings/sec, 1650 secs
lola: 1 tries, 16678 fired transitions, 1655 secs || 16490 markings, 16489 edges, 10 markings/sec, 1655 secs
lola: 1 tries, 16730 fired transitions, 1660 secs || 16542 markings, 16541 edges, 10 markings/sec, 1660 secs
lola: 1 tries, 16783 fired transitions, 1665 secs || 16595 markings, 16594 edges, 11 markings/sec, 1665 secs
lola: 1 tries, 16834 fired transitions, 1670 secs || 16646 markings, 16645 edges, 10 markings/sec, 1670 secs
lola: 1 tries, 16887 fired transitions, 1675 secs || 16699 markings, 16698 edges, 11 markings/sec, 1675 secs
lola: 1 tries, 16941 fired transitions, 1680 secs || 16753 markings, 16752 edges, 11 markings/sec, 1680 secs
lola: 1 tries, 16993 fired transitions, 1685 secs || 16805 markings, 16804 edges, 10 markings/sec, 1685 secs
lola: 1 tries, 17048 fired transitions, 1690 secs || 16860 markings, 16859 edges, 11 markings/sec, 1690 secs
lola: 1 tries, 17101 fired transitions, 1695 secs || 16913 markings, 16912 edges, 11 markings/sec, 1695 secs
lola: 1 tries, 17155 fired transitions, 1700 secs || 16967 markings, 16966 edges, 11 markings/sec, 1700 secs
lola: 1 tries, 17209 fired transitions, 1705 secs || 17021 markings, 17020 edges, 11 markings/sec, 1705 secs
lola: 1 tries, 17263 fired transitions, 1710 secs || 17075 markings, 17074 edges, 11 markings/sec, 1710 secs
lola: 1 tries, 17319 fired transitions, 1715 secs || 17131 markings, 17130 edges, 11 markings/sec, 1715 secs
lola: 1 tries, 17374 fired transitions, 1720 secs || 17186 markings, 17185 edges, 11 markings/sec, 1720 secs
lola: 1 tries, 17431 fired transitions, 1725 secs || 17242 markings, 17241 edges, 11 markings/sec, 1725 secs
lola: 1 tries, 17488 fired transitions, 1730 secs || 17299 markings, 17298 edges, 11 markings/sec, 1730 secs
lola: 1 tries, 17545 fired transitions, 1735 secs || 17356 markings, 17355 edges, 11 markings/sec, 1735 secs
lola: 1 tries, 17602 fired transitions, 1740 secs || 17413 markings, 17412 edges, 11 markings/sec, 1740 secs
lola: 1 tries, 17658 fired transitions, 1745 secs || 17469 markings, 17468 edges, 11 markings/sec, 1745 secs
lola: 1 tries, 17716 fired transitions, 1750 secs || 17527 markings, 17526 edges, 12 markings/sec, 1750 secs
lola: 1 tries, 17773 fired transitions, 1755 secs || 17584 markings, 17583 edges, 11 markings/sec, 1755 secs
lola: 1 tries, 17830 fired transitions, 1760 secs || 17641 markings, 17640 edges, 11 markings/sec, 1760 secs
lola: 1 tries, 17886 fired transitions, 1765 secs || 17697 markings, 17696 edges, 11 markings/sec, 1765 secs
lola: 1 tries, 17943 fired transitions, 1770 secs || 17754 markings, 17753 edges, 11 markings/sec, 1770 secs
lola: 1 tries, 17999 fired transitions, 1775 secs || 17810 markings, 17809 edges, 11 markings/sec, 1775 secs
lola: 1 tries, 18056 fired transitions, 1780 secs || 17867 markings, 17866 edges, 11 markings/sec, 1780 secs
lola: 1 tries, 18112 fired transitions, 1785 secs || 17923 markings, 17922 edges, 11 markings/sec, 1785 secs
lola: 1 tries, 18168 fired transitions, 1790 secs || 17979 markings, 17978 edges, 11 markings/sec, 1790 secs
lola: 1 tries, 18225 fired transitions, 1795 secs || 18036 markings, 18035 edges, 11 markings/sec, 1795 secs
lola: 1 tries, 18281 fired transitions, 1800 secs || 18092 markings, 18091 edges, 11 markings/sec, 1800 secs
lola: 1 tries, 18335 fired transitions, 1805 secs || 18146 markings, 18145 edges, 11 markings/sec, 1805 secs
lola: 1 tries, 18391 fired transitions, 1810 secs || 18202 markings, 18201 edges, 11 markings/sec, 1810 secs
lola: 1 tries, 18448 fired transitions, 1815 secs || 18259 markings, 18258 edges, 11 markings/sec, 1815 secs
lola: 1 tries, 18504 fired transitions, 1820 secs || 18315 markings, 18314 edges, 11 markings/sec, 1820 secs
lola: 1 tries, 18560 fired transitions, 1825 secs || 18372 markings, 18371 edges, 11 markings/sec, 1825 secs
lola: 1 tries, 18616 fired transitions, 1830 secs || 18428 markings, 18427 edges, 11 markings/sec, 1830 secs
lola: 1 tries, 18673 fired transitions, 1835 secs || 18485 markings, 18484 edges, 11 markings/sec, 1835 secs
lola: 1 tries, 18730 fired transitions, 1840 secs || 18542 markings, 18541 edges, 11 markings/sec, 1840 secs
lola: 1 tries, 18784 fired transitions, 1845 secs || 18596 markings, 18595 edges, 11 markings/sec, 1845 secs
lola: 1 tries, 18838 fired transitions, 1850 secs || 18650 markings, 18649 edges, 11 markings/sec, 1850 secs
lola: 1 tries, 18891 fired transitions, 1855 secs || 18703 markings, 18702 edges, 11 markings/sec, 1855 secs
lola: 1 tries, 18947 fired transitions, 1860 secs || 18759 markings, 18758 edges, 11 markings/sec, 1860 secs
lola: 1 tries, 19004 fired transitions, 1865 secs || 18816 markings, 18815 edges, 11 markings/sec, 1865 secs
lola: 1 tries, 19060 fired transitions, 1870 secs || 18872 markings, 18871 edges, 11 markings/sec, 1870 secs
lola: 1 tries, 19117 fired transitions, 1875 secs || 18929 markings, 18928 edges, 11 markings/sec, 1875 secs
lola: 1 tries, 19175 fired transitions, 1880 secs || 18987 markings, 18986 edges, 12 markings/sec, 1880 secs
lola: 1 tries, 19233 fired transitions, 1885 secs || 19045 markings, 19044 edges, 12 markings/sec, 1885 secs
lola: 1 tries, 19291 fired transitions, 1890 secs || 19103 markings, 19102 edges, 12 markings/sec, 1890 secs
lola: 1 tries, 19348 fired transitions, 1895 secs || 19160 markings, 19159 edges, 11 markings/sec, 1895 secs
lola: 1 tries, 19406 fired transitions, 1900 secs || 19218 markings, 19217 edges, 12 markings/sec, 1900 secs
lola: 1 tries, 19460 fired transitions, 1905 secs || 19272 markings, 19271 edges, 11 markings/sec, 1905 secs
lola: 1 tries, 19514 fired transitions, 1910 secs || 19326 markings, 19325 edges, 11 markings/sec, 1910 secs
lola: 1 tries, 19568 fired transitions, 1915 secs || 19380 markings, 19379 edges, 11 markings/sec, 1915 secs
lola: 1 tries, 19622 fired transitions, 1920 secs || 19434 markings, 19433 edges, 11 markings/sec, 1920 secs
lola: 1 tries, 19676 fired transitions, 1925 secs || 19488 markings, 19487 edges, 11 markings/sec, 1925 secs
lola: 1 tries, 19730 fired transitions, 1930 secs || 19542 markings, 19541 edges, 11 markings/sec, 1930 secs
lola: 1 tries, 19784 fired transitions, 1935 secs || 19596 markings, 19595 edges, 11 markings/sec, 1935 secs
lola: 1 tries, 19836 fired transitions, 1940 secs || 19648 markings, 19648 edges, 10 markings/sec, 1940 secs
lola: 1 tries, 19889 fired transitions, 1945 secs || 19701 markings, 19700 edges, 11 markings/sec, 1945 secs
lola: 1 tries, 19942 fired transitions, 1950 secs || 19754 markings, 19753 edges, 11 markings/sec, 1950 secs
lola: 1 tries, 19994 fired transitions, 1955 secs || 19806 markings, 19805 edges, 10 markings/sec, 1955 secs
lola: 1 tries, 20047 fired transitions, 1960 secs || 19859 markings, 19858 edges, 11 markings/sec, 1960 secs
lola: 1 tries, 20100 fired transitions, 1965 secs || 19912 markings, 19911 edges, 11 markings/sec, 1965 secs
lola: 1 tries, 20153 fired transitions, 1970 secs || 19965 markings, 19964 edges, 11 markings/sec, 1970 secs
lola: 1 tries, 20206 fired transitions, 1975 secs || 20018 markings, 20017 edges, 11 markings/sec, 1975 secs
lola: 1 tries, 20260 fired transitions, 1980 secs || 20072 markings, 20071 edges, 11 markings/sec, 1980 secs
lola: 1 tries, 20312 fired transitions, 1985 secs || 20124 markings, 20123 edges, 10 markings/sec, 1985 secs
lola: 1 tries, 20363 fired transitions, 1990 secs || 20175 markings, 20174 edges, 10 markings/sec, 1990 secs
lola: 1 tries, 20415 fired transitions, 1995 secs || 20227 markings, 20226 edges, 10 markings/sec, 1995 secs
lola: 1 tries, 20468 fired transitions, 2000 secs || 20280 markings, 20279 edges, 11 markings/sec, 2000 secs
lola: 1 tries, 20520 fired transitions, 2005 secs || 20331 markings, 20330 edges, 10 markings/sec, 2005 secs
lola: 1 tries, 20571 fired transitions, 2010 secs || 20382 markings, 20381 edges, 10 markings/sec, 2010 secs
lola: 1 tries, 20624 fired transitions, 2015 secs || 20435 markings, 20434 edges, 11 markings/sec, 2015 secs
lola: 1 tries, 20677 fired transitions, 2020 secs || 20488 markings, 20487 edges, 11 markings/sec, 2020 secs
lola: 1 tries, 20727 fired transitions, 2025 secs || 20538 markings, 20537 edges, 10 markings/sec, 2025 secs
lola: 1 tries, 20778 fired transitions, 2030 secs || 20589 markings, 20588 edges, 10 markings/sec, 2030 secs
lola: 1 tries, 20830 fired transitions, 2035 secs || 20639 markings, 20638 edges, 10 markings/sec, 2035 secs
lola: 1 tries, 20882 fired transitions, 2040 secs || 20692 markings, 20691 edges, 11 markings/sec, 2040 secs
lola: 1 tries, 20906 fired transitions, 2045 secs || 20717 markings, 20716 edges, 5 markings/sec, 2045 secs
lola: 1 tries, 20931 fired transitions, 2050 secs || 20742 markings, 20741 edges, 5 markings/sec, 2050 secs
lola: 1 tries, 20985 fired transitions, 2055 secs || 20794 markings, 20793 edges, 10 markings/sec, 2055 secs
lola: 1 tries, 21039 fired transitions, 2060 secs || 20846 markings, 20845 edges, 10 markings/sec, 2060 secs
lola: 1 tries, 21094 fired transitions, 2065 secs || 20901 markings, 20900 edges, 11 markings/sec, 2065 secs
lola: 1 tries, 21147 fired transitions, 2070 secs || 20956 markings, 20955 edges, 11 markings/sec, 2070 secs
lola: 1 tries, 21198 fired transitions, 2075 secs || 21008 markings, 21007 edges, 10 markings/sec, 2075 secs
lola: 1 tries, 21248 fired transitions, 2080 secs || 21060 markings, 21059 edges, 10 markings/sec, 2080 secs
lola: 1 tries, 21301 fired transitions, 2085 secs || 21113 markings, 21112 edges, 11 markings/sec, 2085 secs
lola: 1 tries, 21351 fired transitions, 2090 secs || 21165 markings, 21164 edges, 10 markings/sec, 2090 secs
lola: 1 tries, 21403 fired transitions, 2095 secs || 21219 markings, 21218 edges, 11 markings/sec, 2095 secs
lola: 1 tries, 21453 fired transitions, 2100 secs || 21271 markings, 21270 edges, 10 markings/sec, 2100 secs
lola: 1 tries, 21505 fired transitions, 2105 secs || 21325 markings, 21324 edges, 11 markings/sec, 2105 secs
lola: 1 tries, 21557 fired transitions, 2110 secs || 21378 markings, 21377 edges, 11 markings/sec, 2110 secs
lola: 1 tries, 21611 fired transitions, 2115 secs || 21432 markings, 21431 edges, 11 markings/sec, 2115 secs
lola: 1 tries, 21664 fired transitions, 2120 secs || 21485 markings, 21484 edges, 11 markings/sec, 2120 secs
lola: 1 tries, 21715 fired transitions, 2125 secs || 21538 markings, 21537 edges, 11 markings/sec, 2125 secs
lola: 1 tries, 21768 fired transitions, 2130 secs || 21591 markings, 21590 edges, 11 markings/sec, 2130 secs
lola: 1 tries, 21821 fired transitions, 2135 secs || 21643 markings, 21642 edges, 10 markings/sec, 2135 secs
lola: 1 tries, 21874 fired transitions, 2140 secs || 21696 markings, 21695 edges, 11 markings/sec, 2140 secs
lola: 1 tries, 21926 fired transitions, 2145 secs || 21747 markings, 21746 edges, 10 markings/sec, 2145 secs
lola: 1 tries, 21978 fired transitions, 2150 secs || 21797 markings, 21796 edges, 10 markings/sec, 2150 secs
lola: 1 tries, 22030 fired transitions, 2155 secs || 21847 markings, 21846 edges, 10 markings/sec, 2155 secs
lola: 1 tries, 22083 fired transitions, 2160 secs || 21900 markings, 21899 edges, 11 markings/sec, 2160 secs
lola: 1 tries, 22135 fired transitions, 2165 secs || 21952 markings, 21951 edges, 10 markings/sec, 2165 secs
lola: 1 tries, 22189 fired transitions, 2170 secs || 22007 markings, 22006 edges, 11 markings/sec, 2170 secs
lola: 1 tries, 22242 fired transitions, 2175 secs || 22060 markings, 22059 edges, 11 markings/sec, 2175 secs
lola: 1 tries, 22294 fired transitions, 2180 secs || 22110 markings, 22109 edges, 10 markings/sec, 2180 secs
lola: 1 tries, 22346 fired transitions, 2185 secs || 22162 markings, 22161 edges, 10 markings/sec, 2185 secs
lola: 1 tries, 22396 fired transitions, 2190 secs || 22213 markings, 22212 edges, 10 markings/sec, 2190 secs
lola: 1 tries, 22447 fired transitions, 2195 secs || 22265 markings, 22264 edges, 10 markings/sec, 2195 secs
lola: 1 tries, 22498 fired transitions, 2200 secs || 22317 markings, 22316 edges, 10 markings/sec, 2200 secs
lola: 1 tries, 22549 fired transitions, 2205 secs || 22369 markings, 22368 edges, 10 markings/sec, 2205 secs
lola: 1 tries, 22601 fired transitions, 2210 secs || 22421 markings, 22420 edges, 10 markings/sec, 2210 secs
lola: 1 tries, 22653 fired transitions, 2215 secs || 22474 markings, 22473 edges, 11 markings/sec, 2215 secs
lola: 1 tries, 22705 fired transitions, 2220 secs || 22527 markings, 22526 edges, 11 markings/sec, 2220 secs
lola: 1 tries, 22755 fired transitions, 2225 secs || 22579 markings, 22578 edges, 10 markings/sec, 2225 secs
lola: 1 tries, 22804 fired transitions, 2230 secs || 22631 markings, 22630 edges, 10 markings/sec, 2230 secs
lola: 1 tries, 22857 fired transitions, 2235 secs || 22684 markings, 22683 edges, 11 markings/sec, 2235 secs
lola: 1 tries, 22910 fired transitions, 2240 secs || 22737 markings, 22736 edges, 11 markings/sec, 2240 secs
lola: 1 tries, 22961 fired transitions, 2245 secs || 22789 markings, 22788 edges, 10 markings/sec, 2245 secs
lola: 1 tries, 23013 fired transitions, 2250 secs || 22842 markings, 22841 edges, 11 markings/sec, 2250 secs
lola: 1 tries, 23065 fired transitions, 2255 secs || 22895 markings, 22894 edges, 11 markings/sec, 2255 secs
lola: 1 tries, 23116 fired transitions, 2260 secs || 22947 markings, 22946 edges, 10 markings/sec, 2260 secs
lola: 1 tries, 23164 fired transitions, 2265 secs || 22999 markings, 22998 edges, 10 markings/sec, 2265 secs
lola: 1 tries, 23213 fired transitions, 2270 secs || 23051 markings, 23050 edges, 10 markings/sec, 2270 secs
lola: 1 tries, 23262 fired transitions, 2275 secs || 23102 markings, 23101 edges, 10 markings/sec, 2275 secs
lola: 1 tries, 23314 fired transitions, 2280 secs || 23155 markings, 23154 edges, 11 markings/sec, 2280 secs
lola: 1 tries, 23367 fired transitions, 2285 secs || 23208 markings, 23207 edges, 11 markings/sec, 2285 secs
lola: 1 tries, 23419 fired transitions, 2290 secs || 23260 markings, 23259 edges, 10 markings/sec, 2290 secs
lola: 1 tries, 23471 fired transitions, 2295 secs || 23313 markings, 23312 edges, 11 markings/sec, 2295 secs
lola: 1 tries, 23524 fired transitions, 2300 secs || 23367 markings, 23366 edges, 11 markings/sec, 2300 secs
lola: 1 tries, 23578 fired transitions, 2305 secs || 23422 markings, 23421 edges, 11 markings/sec, 2305 secs
lola: 1 tries, 23633 fired transitions, 2310 secs || 23476 markings, 23475 edges, 11 markings/sec, 2310 secs
lola: 1 tries, 23688 fired transitions, 2315 secs || 23531 markings, 23530 edges, 11 markings/sec, 2315 secs
lola: 1 tries, 23742 fired transitions, 2320 secs || 23585 markings, 23584 edges, 11 markings/sec, 2320 secs
lola: 1 tries, 23797 fired transitions, 2325 secs || 23640 markings, 23639 edges, 11 markings/sec, 2325 secs
lola: 1 tries, 23851 fired transitions, 2330 secs || 23694 markings, 23693 edges, 11 markings/sec, 2330 secs
lola: 1 tries, 23906 fired transitions, 2335 secs || 23749 markings, 23748 edges, 11 markings/sec, 2335 secs
lola: 1 tries, 23960 fired transitions, 2340 secs || 23803 markings, 23802 edges, 11 markings/sec, 2340 secs
lola: 1 tries, 24014 fired transitions, 2345 secs || 23857 markings, 23856 edges, 11 markings/sec, 2345 secs
lola: 1 tries, 24069 fired transitions, 2350 secs || 23912 markings, 23911 edges, 11 markings/sec, 2350 secs
lola: 1 tries, 24123 fired transitions, 2355 secs || 23966 markings, 23965 edges, 11 markings/sec, 2355 secs
lola: 1 tries, 24178 fired transitions, 2360 secs || 24021 markings, 24020 edges, 11 markings/sec, 2360 secs
lola: 1 tries, 24232 fired transitions, 2365 secs || 24075 markings, 24074 edges, 11 markings/sec, 2365 secs
lola: 1 tries, 24287 fired transitions, 2370 secs || 24130 markings, 24129 edges, 11 markings/sec, 2370 secs
lola: 1 tries, 24342 fired transitions, 2375 secs || 24185 markings, 24184 edges, 11 markings/sec, 2375 secs
lola: 1 tries, 24396 fired transitions, 2380 secs || 24239 markings, 24238 edges, 11 markings/sec, 2380 secs
lola: 1 tries, 24450 fired transitions, 2385 secs || 24293 markings, 24292 edges, 11 markings/sec, 2385 secs
lola: 1 tries, 24505 fired transitions, 2390 secs || 24348 markings, 24347 edges, 11 markings/sec, 2390 secs
lola: 1 tries, 24560 fired transitions, 2395 secs || 24403 markings, 24402 edges, 11 markings/sec, 2395 secs
lola: 1 tries, 24614 fired transitions, 2400 secs || 24457 markings, 24456 edges, 11 markings/sec, 2400 secs
lola: 1 tries, 24669 fired transitions, 2405 secs || 24512 markings, 24511 edges, 11 markings/sec, 2405 secs
lola: 1 tries, 24724 fired transitions, 2410 secs || 24567 markings, 24566 edges, 11 markings/sec, 2410 secs
lola: 1 tries, 24778 fired transitions, 2415 secs || 24621 markings, 24620 edges, 11 markings/sec, 2415 secs
lola: 1 tries, 24833 fired transitions, 2420 secs || 24677 markings, 24676 edges, 11 markings/sec, 2420 secs
lola: 1 tries, 24887 fired transitions, 2425 secs || 24732 markings, 24731 edges, 11 markings/sec, 2425 secs
lola: 1 tries, 24941 fired transitions, 2430 secs || 24788 markings, 24787 edges, 11 markings/sec, 2430 secs
lola: 1 tries, 24988 fired transitions, 2435 secs || 24842 markings, 24841 edges, 11 markings/sec, 2435 secs
lola: 1 tries, 25035 fired transitions, 2440 secs || 24896 markings, 24895 edges, 11 markings/sec, 2440 secs
lola: 1 tries, 25089 fired transitions, 2445 secs || 24952 markings, 24951 edges, 11 markings/sec, 2445 secs
lola: 1 tries, 25142 fired transitions, 2450 secs || 25007 markings, 25006 edges, 11 markings/sec, 2450 secs
lola: 1 tries, 25198 fired transitions, 2455 secs || 25063 markings, 25062 edges, 11 markings/sec, 2455 secs
lola: 1 tries, 25252 fired transitions, 2460 secs || 25119 markings, 25118 edges, 11 markings/sec, 2460 secs
lola: 1 tries, 25305 fired transitions, 2465 secs || 25174 markings, 25173 edges, 11 markings/sec, 2465 secs
lola: 1 tries, 25359 fired transitions, 2470 secs || 25230 markings, 25229 edges, 11 markings/sec, 2470 secs
lola: 1 tries, 25412 fired transitions, 2475 secs || 25285 markings, 25284 edges, 11 markings/sec, 2475 secs
lola: 1 tries, 25465 fired transitions, 2480 secs || 25340 markings, 25339 edges, 11 markings/sec, 2480 secs
lola: 1 tries, 25517 fired transitions, 2485 secs || 25395 markings, 25394 edges, 11 markings/sec, 2485 secs
lola: 1 tries, 25571 fired transitions, 2490 secs || 25451 markings, 25450 edges, 11 markings/sec, 2490 secs
lola: 1 tries, 25619 fired transitions, 2495 secs || 25506 markings, 25505 edges, 11 markings/sec, 2495 secs
lola: 1 tries, 25666 fired transitions, 2500 secs || 25560 markings, 25559 edges, 11 markings/sec, 2500 secs
lola: 1 tries, 25714 fired transitions, 2505 secs || 25615 markings, 25614 edges, 11 markings/sec, 2505 secs
lola: 1 tries, 25770 fired transitions, 2510 secs || 25671 markings, 25670 edges, 11 markings/sec, 2510 secs
lola: 1 tries, 25825 fired transitions, 2515 secs || 25726 markings, 25725 edges, 11 markings/sec, 2515 secs
lola: 1 tries, 25881 fired transitions, 2520 secs || 25782 markings, 25781 edges, 11 markings/sec, 2520 secs
lola: 1 tries, 25937 fired transitions, 2525 secs || 25838 markings, 25837 edges, 11 markings/sec, 2525 secs
lola: 1 tries, 25993 fired transitions, 2530 secs || 25894 markings, 25893 edges, 11 markings/sec, 2530 secs
lola: 1 tries, 26050 fired transitions, 2535 secs || 25951 markings, 25950 edges, 11 markings/sec, 2535 secs
lola: 1 tries, 26106 fired transitions, 2540 secs || 26007 markings, 26006 edges, 11 markings/sec, 2540 secs
lola: 1 tries, 26162 fired transitions, 2545 secs || 26063 markings, 26062 edges, 11 markings/sec, 2545 secs
lola: 1 tries, 26218 fired transitions, 2550 secs || 26119 markings, 26118 edges, 11 markings/sec, 2550 secs
lola: 1 tries, 26274 fired transitions, 2555 secs || 26175 markings, 26174 edges, 11 markings/sec, 2555 secs
lola: 1 tries, 26330 fired transitions, 2560 secs || 26231 markings, 26230 edges, 11 markings/sec, 2560 secs
lola: 1 tries, 26387 fired transitions, 2565 secs || 26288 markings, 26287 edges, 11 markings/sec, 2565 secs
lola: 1 tries, 26443 fired transitions, 2570 secs || 26344 markings, 26343 edges, 11 markings/sec, 2570 secs
lola: 1 tries, 26499 fired transitions, 2575 secs || 26400 markings, 26399 edges, 11 markings/sec, 2575 secs
lola: 1 tries, 26555 fired transitions, 2580 secs || 26456 markings, 26455 edges, 11 markings/sec, 2580 secs
lola: 1 tries, 26611 fired transitions, 2585 secs || 26512 markings, 26511 edges, 11 markings/sec, 2585 secs
lola: 1 tries, 26667 fired transitions, 2590 secs || 26568 markings, 26567 edges, 11 markings/sec, 2590 secs
lola: 1 tries, 26723 fired transitions, 2595 secs || 26624 markings, 26623 edges, 11 markings/sec, 2595 secs
lola: 1 tries, 26779 fired transitions, 2600 secs || 26680 markings, 26679 edges, 11 markings/sec, 2600 secs
lola: 1 tries, 26835 fired transitions, 2605 secs || 26736 markings, 26735 edges, 11 markings/sec, 2605 secs
lola: 1 tries, 26891 fired transitions, 2610 secs || 26792 markings, 26791 edges, 11 markings/sec, 2610 secs
lola: 1 tries, 26947 fired transitions, 2615 secs || 26848 markings, 26847 edges, 11 markings/sec, 2615 secs
lola: 1 tries, 27003 fired transitions, 2620 secs || 26904 markings, 26903 edges, 11 markings/sec, 2620 secs
lola: 1 tries, 27059 fired transitions, 2625 secs || 26960 markings, 26959 edges, 11 markings/sec, 2625 secs
lola: 1 tries, 27115 fired transitions, 2630 secs || 27016 markings, 27015 edges, 11 markings/sec, 2630 secs
lola: 1 tries, 27171 fired transitions, 2635 secs || 27072 markings, 27071 edges, 11 markings/sec, 2635 secs
lola: 1 tries, 27226 fired transitions, 2640 secs || 27127 markings, 27126 edges, 11 markings/sec, 2640 secs
lola: 1 tries, 27279 fired transitions, 2645 secs || 27180 markings, 27179 edges, 11 markings/sec, 2645 secs
lola: 1 tries, 27333 fired transitions, 2650 secs || 27234 markings, 27233 edges, 11 markings/sec, 2650 secs
lola: 1 tries, 27388 fired transitions, 2655 secs || 27289 markings, 27288 edges, 11 markings/sec, 2655 secs
lola: 1 tries, 27444 fired transitions, 2660 secs || 27345 markings, 27344 edges, 11 markings/sec, 2660 secs
lola: 1 tries, 27500 fired transitions, 2665 secs || 27401 markings, 27400 edges, 11 markings/sec, 2665 secs
lola: 1 tries, 27556 fired transitions, 2670 secs || 27457 markings, 27456 edges, 11 markings/sec, 2670 secs
lola: 1 tries, 27612 fired transitions, 2675 secs || 27513 markings, 27512 edges, 11 markings/sec, 2675 secs
lola: 1 tries, 27669 fired transitions, 2680 secs || 27570 markings, 27569 edges, 11 markings/sec, 2680 secs
lola: 1 tries, 27725 fired transitions, 2685 secs || 27626 markings, 27625 edges, 11 markings/sec, 2685 secs
lola: 1 tries, 27781 fired transitions, 2690 secs || 27682 markings, 27681 edges, 11 markings/sec, 2690 secs
lola: 1 tries, 27837 fired transitions, 2695 secs || 27738 markings, 27737 edges, 11 markings/sec, 2695 secs
lola: 1 tries, 27893 fired transitions, 2700 secs || 27794 markings, 27793 edges, 11 markings/sec, 2700 secs
lola: 1 tries, 27949 fired transitions, 2705 secs || 27850 markings, 27849 edges, 11 markings/sec, 2705 secs
lola: 1 tries, 28005 fired transitions, 2710 secs || 27906 markings, 27905 edges, 11 markings/sec, 2710 secs
lola: 1 tries, 28061 fired transitions, 2715 secs || 27962 markings, 27961 edges, 11 markings/sec, 2715 secs
lola: 1 tries, 28118 fired transitions, 2720 secs || 28019 markings, 28018 edges, 11 markings/sec, 2720 secs
lola: 1 tries, 28173 fired transitions, 2725 secs || 28074 markings, 28073 edges, 11 markings/sec, 2725 secs
lola: 1 tries, 28229 fired transitions, 2730 secs || 28130 markings, 28129 edges, 11 markings/sec, 2730 secs
lola: 1 tries, 28285 fired transitions, 2735 secs || 28186 markings, 28185 edges, 11 markings/sec, 2735 secs
lola: 1 tries, 28341 fired transitions, 2740 secs || 28242 markings, 28241 edges, 11 markings/sec, 2740 secs
lola: 1 tries, 28398 fired transitions, 2745 secs || 28299 markings, 28298 edges, 11 markings/sec, 2745 secs
lola: 1 tries, 28452 fired transitions, 2750 secs || 28353 markings, 28352 edges, 11 markings/sec, 2750 secs
lola: 1 tries, 28508 fired transitions, 2755 secs || 28409 markings, 28408 edges, 11 markings/sec, 2755 secs
lola: 1 tries, 28564 fired transitions, 2760 secs || 28465 markings, 28464 edges, 11 markings/sec, 2760 secs
lola: 1 tries, 28620 fired transitions, 2765 secs || 28521 markings, 28520 edges, 11 markings/sec, 2765 secs
lola: 1 tries, 28676 fired transitions, 2770 secs || 28577 markings, 28576 edges, 11 markings/sec, 2770 secs
lola: 1 tries, 28732 fired transitions, 2775 secs || 28633 markings, 28632 edges, 11 markings/sec, 2775 secs
lola: 1 tries, 28788 fired transitions, 2780 secs || 28689 markings, 28688 edges, 11 markings/sec, 2780 secs
lola: 1 tries, 28844 fired transitions, 2785 secs || 28745 markings, 28744 edges, 11 markings/sec, 2785 secs
lola: 1 tries, 28900 fired transitions, 2790 secs || 28801 markings, 28800 edges, 11 markings/sec, 2790 secs
lola: 1 tries, 28956 fired transitions, 2795 secs || 28857 markings, 28856 edges, 11 markings/sec, 2795 secs
lola: 1 tries, 29012 fired transitions, 2800 secs || 28913 markings, 28912 edges, 11 markings/sec, 2800 secs
lola: 1 tries, 29068 fired transitions, 2805 secs || 28969 markings, 28968 edges, 11 markings/sec, 2805 secs
lola: 1 tries, 29124 fired transitions, 2810 secs || 29025 markings, 29024 edges, 11 markings/sec, 2810 secs
lola: 1 tries, 29180 fired transitions, 2815 secs || 29081 markings, 29080 edges, 11 markings/sec, 2815 secs
lola: 1 tries, 29236 fired transitions, 2820 secs || 29137 markings, 29136 edges, 11 markings/sec, 2820 secs
lola: 1 tries, 29292 fired transitions, 2825 secs || 29193 markings, 29192 edges, 11 markings/sec, 2825 secs
lola: 1 tries, 29348 fired transitions, 2830 secs || 29249 markings, 29248 edges, 11 markings/sec, 2830 secs
lola: 1 tries, 29404 fired transitions, 2835 secs || 29305 markings, 29304 edges, 11 markings/sec, 2835 secs
lola: 1 tries, 29460 fired transitions, 2840 secs || 29361 markings, 29360 edges, 11 markings/sec, 2840 secs
lola: 1 tries, 29516 fired transitions, 2845 secs || 29417 markings, 29416 edges, 11 markings/sec, 2845 secs
lola: 1 tries, 29572 fired transitions, 2850 secs || 29473 markings, 29472 edges, 11 markings/sec, 2850 secs
lola: 1 tries, 29630 fired transitions, 2855 secs || 29531 markings, 29530 edges, 12 markings/sec, 2855 secs
lola: 1 tries, 29687 fired transitions, 2860 secs || 29588 markings, 29587 edges, 11 markings/sec, 2860 secs
lola: 1 tries, 29743 fired transitions, 2865 secs || 29644 markings, 29643 edges, 11 markings/sec, 2865 secs
lola: 1 tries, 29800 fired transitions, 2870 secs || 29701 markings, 29700 edges, 11 markings/sec, 2870 secs
lola: 1 tries, 29857 fired transitions, 2875 secs || 29758 markings, 29757 edges, 11 markings/sec, 2875 secs
lola: 1 tries, 29914 fired transitions, 2880 secs || 29815 markings, 29814 edges, 11 markings/sec, 2880 secs
lola: 1 tries, 29971 fired transitions, 2885 secs || 29872 markings, 29871 edges, 11 markings/sec, 2885 secs
lola: 1 tries, 30028 fired transitions, 2890 secs || 29929 markings, 29928 edges, 11 markings/sec, 2890 secs
lola: 1 tries, 30085 fired transitions, 2895 secs || 29986 markings, 29985 edges, 11 markings/sec, 2895 secs
lola: 1 tries, 30142 fired transitions, 2900 secs || 30043 markings, 30042 edges, 11 markings/sec, 2900 secs
lola: 1 tries, 30199 fired transitions, 2905 secs || 30100 markings, 30099 edges, 11 markings/sec, 2905 secs
lola: 1 tries, 30254 fired transitions, 2910 secs || 30156 markings, 30155 edges, 11 markings/sec, 2910 secs
lola: 1 tries, 30311 fired transitions, 2915 secs || 30213 markings, 30212 edges, 11 markings/sec, 2915 secs
lola: 1 tries, 30368 fired transitions, 2920 secs || 30270 markings, 30269 edges, 11 markings/sec, 2920 secs
lola: 1 tries, 30425 fired transitions, 2925 secs || 30327 markings, 30326 edges, 11 markings/sec, 2925 secs
lola: 1 tries, 30482 fired transitions, 2930 secs || 30385 markings, 30384 edges, 12 markings/sec, 2930 secs
lola: 1 tries, 30539 fired transitions, 2935 secs || 30441 markings, 30440 edges, 11 markings/sec, 2935 secs
lola: 1 tries, 30596 fired transitions, 2940 secs || 30498 markings, 30497 edges, 11 markings/sec, 2940 secs
lola: 1 tries, 30653 fired transitions, 2945 secs || 30555 markings, 30554 edges, 11 markings/sec, 2945 secs
lola: 1 tries, 30709 fired transitions, 2950 secs || 30612 markings, 30611 edges, 11 markings/sec, 2950 secs
lola: 1 tries, 30761 fired transitions, 2955 secs || 30666 markings, 30665 edges, 11 markings/sec, 2955 secs
lola: 1 tries, 30816 fired transitions, 2960 secs || 30722 markings, 30721 edges, 11 markings/sec, 2960 secs
lola: 1 tries, 30870 fired transitions, 2965 secs || 30778 markings, 30777 edges, 11 markings/sec, 2965 secs
lola: 1 tries, 30925 fired transitions, 2970 secs || 30834 markings, 30833 edges, 11 markings/sec, 2970 secs
lola: 1 tries, 30977 fired transitions, 2975 secs || 30890 markings, 30889 edges, 11 markings/sec, 2975 secs
lola: 1 tries, 31030 fired transitions, 2980 secs || 30944 markings, 30943 edges, 11 markings/sec, 2980 secs
lola: 1 tries, 31082 fired transitions, 2985 secs || 31000 markings, 30999 edges, 11 markings/sec, 2985 secs
lola: 1 tries, 31138 fired transitions, 2990 secs || 31056 markings, 31055 edges, 11 markings/sec, 2990 secs
lola: 1 tries, 31195 fired transitions, 2995 secs || 31113 markings, 31112 edges, 11 markings/sec, 2995 secs
lola: 1 tries, 31252 fired transitions, 3000 secs || 31170 markings, 31169 edges, 11 markings/sec, 3000 secs
lola: 1 tries, 31309 fired transitions, 3005 secs || 31227 markings, 31226 edges, 11 markings/sec, 3005 secs
lola: 1 tries, 31365 fired transitions, 3010 secs || 31283 markings, 31282 edges, 11 markings/sec, 3010 secs
lola: 1 tries, 31422 fired transitions, 3015 secs || 31340 markings, 31339 edges, 11 markings/sec, 3015 secs
lola: 1 tries, 31479 fired transitions, 3020 secs || 31397 markings, 31396 edges, 11 markings/sec, 3020 secs
lola: 1 tries, 31535 fired transitions, 3025 secs || 31453 markings, 31452 edges, 11 markings/sec, 3025 secs
lola: 1 tries, 31592 fired transitions, 3030 secs || 31510 markings, 31509 edges, 11 markings/sec, 3030 secs
lola: 1 tries, 31649 fired transitions, 3035 secs || 31567 markings, 31566 edges, 11 markings/sec, 3035 secs
lola: 1 tries, 31706 fired transitions, 3040 secs || 31624 markings, 31623 edges, 11 markings/sec, 3040 secs
lola: 1 tries, 31763 fired transitions, 3045 secs || 31681 markings, 31680 edges, 11 markings/sec, 3045 secs
lola: 1 tries, 31819 fired transitions, 3050 secs || 31737 markings, 31736 edges, 11 markings/sec, 3050 secs
lola: 1 tries, 31875 fired transitions, 3055 secs || 31793 markings, 31792 edges, 11 markings/sec, 3055 secs
lola: 1 tries, 31931 fired transitions, 3060 secs || 31849 markings, 31848 edges, 11 markings/sec, 3060 secs
lola: 1 tries, 31987 fired transitions, 3065 secs || 31906 markings, 31905 edges, 11 markings/sec, 3065 secs
lola: 1 tries, 32044 fired transitions, 3070 secs || 31962 markings, 31961 edges, 11 markings/sec, 3070 secs
lola: 1 tries, 32100 fired transitions, 3075 secs || 32018 markings, 32017 edges, 11 markings/sec, 3075 secs
lola: 1 tries, 32157 fired transitions, 3080 secs || 32075 markings, 32074 edges, 11 markings/sec, 3080 secs
lola: 1 tries, 32213 fired transitions, 3085 secs || 32131 markings, 32130 edges, 11 markings/sec, 3085 secs
lola: 1 tries, 32270 fired transitions, 3090 secs || 32188 markings, 32187 edges, 11 markings/sec, 3090 secs
lola: 1 tries, 32327 fired transitions, 3095 secs || 32245 markings, 32244 edges, 11 markings/sec, 3095 secs
lola: 1 tries, 32384 fired transitions, 3100 secs || 32302 markings, 32301 edges, 11 markings/sec, 3100 secs
lola: 1 tries, 32440 fired transitions, 3105 secs || 32358 markings, 32357 edges, 11 markings/sec, 3105 secs
lola: 1 tries, 32497 fired transitions, 3110 secs || 32415 markings, 32414 edges, 11 markings/sec, 3110 secs
lola: 1 tries, 32554 fired transitions, 3115 secs || 32472 markings, 32471 edges, 11 markings/sec, 3115 secs
lola: 1 tries, 32611 fired transitions, 3120 secs || 32529 markings, 32528 edges, 11 markings/sec, 3120 secs
lola: 1 tries, 32668 fired transitions, 3125 secs || 32586 markings, 32585 edges, 11 markings/sec, 3125 secs
lola: 1 tries, 32725 fired transitions, 3130 secs || 32643 markings, 32642 edges, 11 markings/sec, 3130 secs
lola: 1 tries, 32781 fired transitions, 3135 secs || 32699 markings, 32698 edges, 11 markings/sec, 3135 secs
lola: 1 tries, 32838 fired transitions, 3140 secs || 32756 markings, 32755 edges, 11 markings/sec, 3140 secs
lola: 1 tries, 32894 fired transitions, 3145 secs || 32812 markings, 32811 edges, 11 markings/sec, 3145 secs
lola: 1 tries, 32950 fired transitions, 3150 secs || 32868 markings, 32867 edges, 11 markings/sec, 3150 secs
lola: 1 tries, 33007 fired transitions, 3155 secs || 32925 markings, 32924 edges, 11 markings/sec, 3155 secs
lola: 1 tries, 33064 fired transitions, 3160 secs || 32982 markings, 32981 edges, 11 markings/sec, 3160 secs
lola: 1 tries, 33121 fired transitions, 3165 secs || 33039 markings, 33038 edges, 11 markings/sec, 3165 secs
lola: 1 tries, 33178 fired transitions, 3170 secs || 33096 markings, 33095 edges, 11 markings/sec, 3170 secs
lola: 1 tries, 33235 fired transitions, 3175 secs || 33153 markings, 33152 edges, 11 markings/sec, 3175 secs
lola: 1 tries, 33291 fired transitions, 3180 secs || 33209 markings, 33208 edges, 11 markings/sec, 3180 secs
lola: 1 tries, 33347 fired transitions, 3185 secs || 33265 markings, 33264 edges, 11 markings/sec, 3185 secs
lola: 1 tries, 33403 fired transitions, 3190 secs || 33322 markings, 33321 edges, 11 markings/sec, 3190 secs
lola: 1 tries, 33460 fired transitions, 3195 secs || 33378 markings, 33377 edges, 11 markings/sec, 3195 secs
lola: 1 tries, 33517 fired transitions, 3200 secs || 33435 markings, 33434 edges, 11 markings/sec, 3200 secs
lola: 1 tries, 33574 fired transitions, 3205 secs || 33492 markings, 33491 edges, 11 markings/sec, 3205 secs
lola: 1 tries, 33630 fired transitions, 3210 secs || 33548 markings, 33547 edges, 11 markings/sec, 3210 secs
lola: 1 tries, 33686 fired transitions, 3215 secs || 33604 markings, 33603 edges, 11 markings/sec, 3215 secs
lola: 1 tries, 33742 fired transitions, 3220 secs || 33660 markings, 33659 edges, 11 markings/sec, 3220 secs
lola: 1 tries, 33799 fired transitions, 3225 secs || 33717 markings, 33716 edges, 11 markings/sec, 3225 secs
lola: 1 tries, 33855 fired transitions, 3230 secs || 33773 markings, 33772 edges, 11 markings/sec, 3230 secs
lola: 1 tries, 33912 fired transitions, 3235 secs || 33830 markings, 33829 edges, 11 markings/sec, 3235 secs
lola: 1 tries, 33969 fired transitions, 3240 secs || 33887 markings, 33886 edges, 11 markings/sec, 3240 secs
lola: 1 tries, 34025 fired transitions, 3245 secs || 33943 markings, 33942 edges, 11 markings/sec, 3245 secs
lola: 1 tries, 34082 fired transitions, 3250 secs || 34000 markings, 33999 edges, 11 markings/sec, 3250 secs
lola: 1 tries, 34139 fired transitions, 3255 secs || 34057 markings, 34056 edges, 11 markings/sec, 3255 secs
lola: 1 tries, 34196 fired transitions, 3260 secs || 34114 markings, 34113 edges, 11 markings/sec, 3260 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553925691535
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
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="RERS17pb115-PT-4"
export BK_EXAMINATION="GlobalProperties"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is RERS17pb115-PT-4, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-oct2-155274853700507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-4.tgz
mv RERS17pb115-PT-4 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 ;