About the Execution of LoLA for RERS17pb115-PT-2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10942.440 | 3570405.00 | 6982516.00 | 330.10 | [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-155274853700489.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-2, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853700489
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.6K 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 3.8K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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.5K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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.6K 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-2-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553921183850
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb115-PT-2 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ RERS17pb115-PT-2
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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 41 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: 1 tries, 81 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: 1 tries, 122 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: 1 tries, 169 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: 1 tries, 214 fired transitions, 20 secs
lola: 0 generators; 977901 candidates remain ( 0%), 20 secs
lola: 1 tries, 256 fired transitions, 25 secs
lola: 0 generators; 977901 candidates remain ( 0%), 25 secs
lola: 1 tries, 297 fired transitions, 30 secs
lola: 18 generators; 647 candidates remain ( 2%), 30 secs
lola: 1 tries, 334 fired transitions, 35 secs
lola: 143 generators; 136 candidates remain (51%), 35 secs
lola: 1 tries, 354 fired transitions, 40 secs
lola: 170 generators; 10 candidates remain (94%), 40 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, 373 fired transitions, 45 secs || 17 markings, 16 edges, 3 markings/sec, 45 secs
lola: 1 tries, 393 fired transitions, 50 secs || 37 markings, 36 edges, 4 markings/sec, 50 secs
lola: 1 tries, 413 fired transitions, 55 secs || 58 markings, 57 edges, 4 markings/sec, 55 secs
lola: 1 tries, 434 fired transitions, 60 secs || 78 markings, 77 edges, 4 markings/sec, 60 secs
lola: 1 tries, 454 fired transitions, 65 secs || 98 markings, 97 edges, 4 markings/sec, 65 secs
lola: 1 tries, 474 fired transitions, 70 secs || 118 markings, 117 edges, 4 markings/sec, 70 secs
lola: 1 tries, 495 fired transitions, 75 secs || 139 markings, 138 edges, 4 markings/sec, 75 secs
lola: 1 tries, 515 fired transitions, 80 secs || 159 markings, 158 edges, 4 markings/sec, 80 secs
lola: 1 tries, 535 fired transitions, 85 secs || 179 markings, 178 edges, 4 markings/sec, 85 secs
lola: 1 tries, 554 fired transitions, 90 secs || 198 markings, 197 edges, 4 markings/sec, 90 secs
lola: 1 tries, 574 fired transitions, 95 secs || 218 markings, 217 edges, 4 markings/sec, 95 secs
lola: 1 tries, 593 fired transitions, 100 secs || 238 markings, 237 edges, 4 markings/sec, 100 secs
lola: 1 tries, 622 fired transitions, 105 secs || 267 markings, 266 edges, 6 markings/sec, 105 secs
lola: 1 tries, 653 fired transitions, 110 secs || 297 markings, 296 edges, 6 markings/sec, 110 secs
lola: 1 tries, 674 fired transitions, 115 secs || 319 markings, 318 edges, 4 markings/sec, 115 secs
lola: 1 tries, 695 fired transitions, 120 secs || 340 markings, 339 edges, 4 markings/sec, 120 secs
lola: 1 tries, 715 fired transitions, 125 secs || 361 markings, 360 edges, 4 markings/sec, 125 secs
lola: 1 tries, 745 fired transitions, 130 secs || 390 markings, 389 edges, 6 markings/sec, 130 secs
lola: 1 tries, 785 fired transitions, 135 secs || 428 markings, 427 edges, 8 markings/sec, 135 secs
lola: 1 tries, 815 fired transitions, 140 secs || 459 markings, 458 edges, 6 markings/sec, 140 secs
lola: 1 tries, 864 fired transitions, 145 secs || 509 markings, 508 edges, 10 markings/sec, 145 secs
lola: 1 tries, 914 fired transitions, 150 secs || 560 markings, 559 edges, 10 markings/sec, 150 secs
lola: 1 tries, 962 fired transitions, 155 secs || 610 markings, 609 edges, 10 markings/sec, 155 secs
lola: 1 tries, 1012 fired transitions, 160 secs || 661 markings, 660 edges, 10 markings/sec, 160 secs
lola: 1 tries, 1060 fired transitions, 165 secs || 711 markings, 710 edges, 10 markings/sec, 165 secs
lola: 1 tries, 1109 fired transitions, 170 secs || 762 markings, 761 edges, 10 markings/sec, 170 secs
lola: 1 tries, 1159 fired transitions, 175 secs || 812 markings, 811 edges, 10 markings/sec, 175 secs
lola: 1 tries, 1208 fired transitions, 180 secs || 863 markings, 862 edges, 10 markings/sec, 180 secs
lola: 1 tries, 1261 fired transitions, 185 secs || 915 markings, 914 edges, 10 markings/sec, 185 secs
lola: 1 tries, 1313 fired transitions, 190 secs || 967 markings, 966 edges, 10 markings/sec, 190 secs
lola: 1 tries, 1365 fired transitions, 195 secs || 1019 markings, 1018 edges, 10 markings/sec, 195 secs
lola: 1 tries, 1418 fired transitions, 200 secs || 1072 markings, 1071 edges, 11 markings/sec, 200 secs
lola: 1 tries, 1470 fired transitions, 205 secs || 1124 markings, 1123 edges, 10 markings/sec, 205 secs
lola: 1 tries, 1522 fired transitions, 210 secs || 1176 markings, 1175 edges, 10 markings/sec, 210 secs
lola: 1 tries, 1574 fired transitions, 215 secs || 1228 markings, 1227 edges, 10 markings/sec, 215 secs
lola: 1 tries, 1626 fired transitions, 220 secs || 1280 markings, 1279 edges, 10 markings/sec, 220 secs
lola: 1 tries, 1678 fired transitions, 225 secs || 1332 markings, 1331 edges, 10 markings/sec, 225 secs
lola: 1 tries, 1731 fired transitions, 230 secs || 1385 markings, 1384 edges, 11 markings/sec, 230 secs
lola: 1 tries, 1782 fired transitions, 235 secs || 1435 markings, 1434 edges, 10 markings/sec, 235 secs
lola: 1 tries, 1831 fired transitions, 240 secs || 1480 markings, 1479 edges, 9 markings/sec, 240 secs
lola: 1 tries, 1881 fired transitions, 245 secs || 1525 markings, 1524 edges, 9 markings/sec, 245 secs
lola: 1 tries, 1930 fired transitions, 250 secs || 1571 markings, 1570 edges, 9 markings/sec, 250 secs
lola: 1 tries, 1980 fired transitions, 255 secs || 1617 markings, 1616 edges, 9 markings/sec, 255 secs
lola: 1 tries, 2029 fired transitions, 260 secs || 1664 markings, 1663 edges, 9 markings/sec, 260 secs
lola: 1 tries, 2079 fired transitions, 265 secs || 1711 markings, 1710 edges, 9 markings/sec, 265 secs
lola: 1 tries, 2129 fired transitions, 270 secs || 1758 markings, 1757 edges, 9 markings/sec, 270 secs
lola: 1 tries, 2178 fired transitions, 275 secs || 1805 markings, 1804 edges, 9 markings/sec, 275 secs
lola: 1 tries, 2227 fired transitions, 280 secs || 1852 markings, 1851 edges, 9 markings/sec, 280 secs
lola: 1 tries, 2277 fired transitions, 285 secs || 1900 markings, 1899 edges, 10 markings/sec, 285 secs
lola: 1 tries, 2326 fired transitions, 290 secs || 1946 markings, 1945 edges, 9 markings/sec, 290 secs
lola: 1 tries, 2375 fired transitions, 295 secs || 1991 markings, 1990 edges, 9 markings/sec, 295 secs
lola: 1 tries, 2424 fired transitions, 300 secs || 2037 markings, 2036 edges, 9 markings/sec, 300 secs
lola: 1 tries, 2473 fired transitions, 305 secs || 2083 markings, 2082 edges, 9 markings/sec, 305 secs
lola: 1 tries, 2522 fired transitions, 310 secs || 2128 markings, 2127 edges, 9 markings/sec, 310 secs
lola: 1 tries, 2572 fired transitions, 315 secs || 2174 markings, 2173 edges, 9 markings/sec, 315 secs
lola: 1 tries, 2621 fired transitions, 320 secs || 2220 markings, 2219 edges, 9 markings/sec, 320 secs
lola: 1 tries, 2671 fired transitions, 325 secs || 2266 markings, 2265 edges, 9 markings/sec, 325 secs
lola: 1 tries, 2718 fired transitions, 330 secs || 2310 markings, 2309 edges, 9 markings/sec, 330 secs
lola: 1 tries, 2766 fired transitions, 335 secs || 2354 markings, 2353 edges, 9 markings/sec, 335 secs
lola: 1 tries, 2814 fired transitions, 340 secs || 2399 markings, 2398 edges, 9 markings/sec, 340 secs
lola: 1 tries, 2861 fired transitions, 345 secs || 2443 markings, 2442 edges, 9 markings/sec, 345 secs
lola: 1 tries, 2909 fired transitions, 350 secs || 2489 markings, 2488 edges, 9 markings/sec, 350 secs
lola: 1 tries, 2957 fired transitions, 355 secs || 2533 markings, 2532 edges, 9 markings/sec, 355 secs
lola: 1 tries, 3004 fired transitions, 360 secs || 2578 markings, 2577 edges, 9 markings/sec, 360 secs
lola: 1 tries, 3052 fired transitions, 365 secs || 2625 markings, 2624 edges, 9 markings/sec, 365 secs
lola: 1 tries, 3099 fired transitions, 370 secs || 2671 markings, 2670 edges, 9 markings/sec, 370 secs
lola: 1 tries, 3147 fired transitions, 375 secs || 2717 markings, 2716 edges, 9 markings/sec, 375 secs
lola: 1 tries, 3195 fired transitions, 380 secs || 2764 markings, 2763 edges, 9 markings/sec, 380 secs
lola: 1 tries, 3243 fired transitions, 385 secs || 2811 markings, 2810 edges, 9 markings/sec, 385 secs
lola: 1 tries, 3291 fired transitions, 390 secs || 2856 markings, 2855 edges, 9 markings/sec, 390 secs
lola: 1 tries, 3338 fired transitions, 395 secs || 2902 markings, 2901 edges, 9 markings/sec, 395 secs
lola: 1 tries, 3386 fired transitions, 400 secs || 2948 markings, 2947 edges, 9 markings/sec, 400 secs
lola: 1 tries, 3435 fired transitions, 405 secs || 2995 markings, 2994 edges, 9 markings/sec, 405 secs
lola: 1 tries, 3485 fired transitions, 410 secs || 3039 markings, 3038 edges, 9 markings/sec, 410 secs
lola: 1 tries, 3534 fired transitions, 415 secs || 3085 markings, 3084 edges, 9 markings/sec, 415 secs
lola: 1 tries, 3582 fired transitions, 420 secs || 3132 markings, 3131 edges, 9 markings/sec, 420 secs
lola: 1 tries, 3631 fired transitions, 425 secs || 3178 markings, 3177 edges, 9 markings/sec, 425 secs
lola: 1 tries, 3680 fired transitions, 430 secs || 3225 markings, 3224 edges, 9 markings/sec, 430 secs
lola: 1 tries, 3728 fired transitions, 435 secs || 3272 markings, 3271 edges, 9 markings/sec, 435 secs
lola: 1 tries, 3777 fired transitions, 440 secs || 3318 markings, 3317 edges, 9 markings/sec, 440 secs
lola: 1 tries, 3826 fired transitions, 445 secs || 3365 markings, 3364 edges, 9 markings/sec, 445 secs
lola: 1 tries, 3875 fired transitions, 450 secs || 3412 markings, 3411 edges, 9 markings/sec, 450 secs
lola: 1 tries, 3924 fired transitions, 455 secs || 3459 markings, 3458 edges, 9 markings/sec, 455 secs
lola: 1 tries, 3974 fired transitions, 460 secs || 3506 markings, 3505 edges, 9 markings/sec, 460 secs
lola: 1 tries, 4026 fired transitions, 465 secs || 3553 markings, 3552 edges, 9 markings/sec, 465 secs
lola: 1 tries, 4074 fired transitions, 470 secs || 3600 markings, 3599 edges, 9 markings/sec, 470 secs
lola: 1 tries, 4122 fired transitions, 475 secs || 3646 markings, 3645 edges, 9 markings/sec, 475 secs
lola: 1 tries, 4169 fired transitions, 480 secs || 3691 markings, 3690 edges, 9 markings/sec, 480 secs
lola: 1 tries, 4217 fired transitions, 485 secs || 3737 markings, 3736 edges, 9 markings/sec, 485 secs
lola: 1 tries, 4266 fired transitions, 490 secs || 3783 markings, 3782 edges, 9 markings/sec, 490 secs
lola: 1 tries, 4314 fired transitions, 495 secs || 3829 markings, 3828 edges, 9 markings/sec, 495 secs
lola: 1 tries, 4362 fired transitions, 500 secs || 3874 markings, 3873 edges, 9 markings/sec, 500 secs
lola: 1 tries, 4411 fired transitions, 505 secs || 3920 markings, 3919 edges, 9 markings/sec, 505 secs
lola: 1 tries, 4459 fired transitions, 510 secs || 3966 markings, 3965 edges, 9 markings/sec, 510 secs
lola: 1 tries, 4507 fired transitions, 515 secs || 4012 markings, 4011 edges, 9 markings/sec, 515 secs
lola: 1 tries, 4556 fired transitions, 520 secs || 4058 markings, 4057 edges, 9 markings/sec, 520 secs
lola: 1 tries, 4605 fired transitions, 525 secs || 4106 markings, 4105 edges, 10 markings/sec, 525 secs
lola: 1 tries, 4656 fired transitions, 530 secs || 4156 markings, 4155 edges, 10 markings/sec, 530 secs
lola: 1 tries, 4705 fired transitions, 535 secs || 4204 markings, 4203 edges, 10 markings/sec, 535 secs
lola: 1 tries, 4753 fired transitions, 540 secs || 4251 markings, 4250 edges, 9 markings/sec, 540 secs
lola: 1 tries, 4802 fired transitions, 545 secs || 4297 markings, 4296 edges, 9 markings/sec, 545 secs
lola: 1 tries, 4851 fired transitions, 550 secs || 4346 markings, 4345 edges, 10 markings/sec, 550 secs
lola: 1 tries, 4899 fired transitions, 555 secs || 4394 markings, 4393 edges, 10 markings/sec, 555 secs
lola: 1 tries, 4950 fired transitions, 560 secs || 4442 markings, 4441 edges, 10 markings/sec, 560 secs
lola: 1 tries, 5004 fired transitions, 565 secs || 4495 markings, 4494 edges, 11 markings/sec, 565 secs
lola: 1 tries, 5058 fired transitions, 570 secs || 4549 markings, 4548 edges, 11 markings/sec, 570 secs
lola: 1 tries, 5108 fired transitions, 575 secs || 4599 markings, 4598 edges, 10 markings/sec, 575 secs
lola: 1 tries, 5159 fired transitions, 580 secs || 4648 markings, 4647 edges, 10 markings/sec, 580 secs
lola: 1 tries, 5207 fired transitions, 585 secs || 4697 markings, 4696 edges, 10 markings/sec, 585 secs
lola: 1 tries, 5256 fired transitions, 590 secs || 4744 markings, 4743 edges, 9 markings/sec, 590 secs
lola: 1 tries, 5304 fired transitions, 595 secs || 4791 markings, 4790 edges, 9 markings/sec, 595 secs
lola: 1 tries, 5353 fired transitions, 600 secs || 4838 markings, 4837 edges, 9 markings/sec, 600 secs
lola: 1 tries, 5401 fired transitions, 605 secs || 4884 markings, 4883 edges, 9 markings/sec, 605 secs
lola: 1 tries, 5451 fired transitions, 610 secs || 4933 markings, 4932 edges, 10 markings/sec, 610 secs
lola: 1 tries, 5504 fired transitions, 615 secs || 4986 markings, 4985 edges, 11 markings/sec, 615 secs
lola: 1 tries, 5558 fired transitions, 620 secs || 5040 markings, 5039 edges, 11 markings/sec, 620 secs
lola: 1 tries, 5612 fired transitions, 625 secs || 5094 markings, 5093 edges, 11 markings/sec, 625 secs
lola: 1 tries, 5666 fired transitions, 630 secs || 5148 markings, 5147 edges, 11 markings/sec, 630 secs
lola: 1 tries, 5720 fired transitions, 635 secs || 5202 markings, 5201 edges, 11 markings/sec, 635 secs
lola: 1 tries, 5774 fired transitions, 640 secs || 5256 markings, 5255 edges, 11 markings/sec, 640 secs
lola: 1 tries, 5828 fired transitions, 645 secs || 5310 markings, 5309 edges, 11 markings/sec, 645 secs
lola: 1 tries, 5883 fired transitions, 650 secs || 5365 markings, 5364 edges, 11 markings/sec, 650 secs
lola: 1 tries, 5937 fired transitions, 655 secs || 5419 markings, 5418 edges, 11 markings/sec, 655 secs
lola: 1 tries, 5991 fired transitions, 660 secs || 5473 markings, 5472 edges, 11 markings/sec, 660 secs
lola: 1 tries, 6046 fired transitions, 665 secs || 5528 markings, 5527 edges, 11 markings/sec, 665 secs
lola: 1 tries, 6100 fired transitions, 670 secs || 5582 markings, 5581 edges, 11 markings/sec, 670 secs
lola: 1 tries, 6154 fired transitions, 675 secs || 5636 markings, 5635 edges, 11 markings/sec, 675 secs
lola: 1 tries, 6209 fired transitions, 680 secs || 5691 markings, 5690 edges, 11 markings/sec, 680 secs
lola: 1 tries, 6263 fired transitions, 685 secs || 5745 markings, 5744 edges, 11 markings/sec, 685 secs
lola: 1 tries, 6317 fired transitions, 690 secs || 5799 markings, 5798 edges, 11 markings/sec, 690 secs
lola: 1 tries, 6371 fired transitions, 695 secs || 5853 markings, 5852 edges, 11 markings/sec, 695 secs
lola: 1 tries, 6426 fired transitions, 700 secs || 5908 markings, 5907 edges, 11 markings/sec, 700 secs
lola: 1 tries, 6480 fired transitions, 705 secs || 5962 markings, 5961 edges, 11 markings/sec, 705 secs
lola: 1 tries, 6535 fired transitions, 710 secs || 6017 markings, 6016 edges, 11 markings/sec, 710 secs
lola: 1 tries, 6589 fired transitions, 715 secs || 6071 markings, 6070 edges, 11 markings/sec, 715 secs
lola: 1 tries, 6643 fired transitions, 720 secs || 6125 markings, 6124 edges, 11 markings/sec, 720 secs
lola: 1 tries, 6697 fired transitions, 725 secs || 6179 markings, 6178 edges, 11 markings/sec, 725 secs
lola: 1 tries, 6752 fired transitions, 730 secs || 6234 markings, 6233 edges, 11 markings/sec, 730 secs
lola: 1 tries, 6806 fired transitions, 735 secs || 6288 markings, 6287 edges, 11 markings/sec, 735 secs
lola: 1 tries, 6859 fired transitions, 740 secs || 6341 markings, 6340 edges, 11 markings/sec, 740 secs
lola: 1 tries, 6913 fired transitions, 745 secs || 6395 markings, 6394 edges, 11 markings/sec, 745 secs
lola: 1 tries, 6967 fired transitions, 750 secs || 6449 markings, 6448 edges, 11 markings/sec, 750 secs
lola: 1 tries, 7021 fired transitions, 755 secs || 6503 markings, 6502 edges, 11 markings/sec, 755 secs
lola: 1 tries, 7075 fired transitions, 760 secs || 6557 markings, 6556 edges, 11 markings/sec, 760 secs
lola: 1 tries, 7130 fired transitions, 765 secs || 6612 markings, 6611 edges, 11 markings/sec, 765 secs
lola: 1 tries, 7184 fired transitions, 770 secs || 6666 markings, 6665 edges, 11 markings/sec, 770 secs
lola: 1 tries, 7238 fired transitions, 775 secs || 6720 markings, 6719 edges, 11 markings/sec, 775 secs
lola: 1 tries, 7293 fired transitions, 780 secs || 6775 markings, 6774 edges, 11 markings/sec, 780 secs
lola: 1 tries, 7348 fired transitions, 785 secs || 6830 markings, 6829 edges, 11 markings/sec, 785 secs
lola: 1 tries, 7402 fired transitions, 790 secs || 6884 markings, 6883 edges, 11 markings/sec, 790 secs
lola: 1 tries, 7457 fired transitions, 795 secs || 6939 markings, 6938 edges, 11 markings/sec, 795 secs
lola: 1 tries, 7511 fired transitions, 800 secs || 6993 markings, 6992 edges, 11 markings/sec, 800 secs
lola: 1 tries, 7566 fired transitions, 805 secs || 7048 markings, 7047 edges, 11 markings/sec, 805 secs
lola: 1 tries, 7620 fired transitions, 810 secs || 7102 markings, 7101 edges, 11 markings/sec, 810 secs
lola: 1 tries, 7675 fired transitions, 815 secs || 7157 markings, 7156 edges, 11 markings/sec, 815 secs
lola: 1 tries, 7729 fired transitions, 820 secs || 7211 markings, 7210 edges, 11 markings/sec, 820 secs
lola: 1 tries, 7784 fired transitions, 825 secs || 7266 markings, 7265 edges, 11 markings/sec, 825 secs
lola: 1 tries, 7838 fired transitions, 830 secs || 7320 markings, 7319 edges, 11 markings/sec, 830 secs
lola: 1 tries, 7893 fired transitions, 835 secs || 7375 markings, 7374 edges, 11 markings/sec, 835 secs
lola: 1 tries, 7948 fired transitions, 840 secs || 7430 markings, 7429 edges, 11 markings/sec, 840 secs
lola: 1 tries, 8002 fired transitions, 845 secs || 7484 markings, 7483 edges, 11 markings/sec, 845 secs
lola: 1 tries, 8057 fired transitions, 850 secs || 7539 markings, 7538 edges, 11 markings/sec, 850 secs
lola: 1 tries, 8112 fired transitions, 855 secs || 7594 markings, 7593 edges, 11 markings/sec, 855 secs
lola: 1 tries, 8167 fired transitions, 860 secs || 7649 markings, 7648 edges, 11 markings/sec, 860 secs
lola: 1 tries, 8222 fired transitions, 865 secs || 7704 markings, 7703 edges, 11 markings/sec, 865 secs
lola: 1 tries, 8276 fired transitions, 870 secs || 7758 markings, 7757 edges, 11 markings/sec, 870 secs
lola: 1 tries, 8331 fired transitions, 875 secs || 7813 markings, 7812 edges, 11 markings/sec, 875 secs
lola: 1 tries, 8385 fired transitions, 880 secs || 7867 markings, 7866 edges, 11 markings/sec, 880 secs
lola: 1 tries, 8440 fired transitions, 885 secs || 7922 markings, 7921 edges, 11 markings/sec, 885 secs
lola: 1 tries, 8494 fired transitions, 890 secs || 7976 markings, 7975 edges, 11 markings/sec, 890 secs
lola: 1 tries, 8548 fired transitions, 895 secs || 8030 markings, 8029 edges, 11 markings/sec, 895 secs
lola: 1 tries, 8602 fired transitions, 900 secs || 8084 markings, 8083 edges, 11 markings/sec, 900 secs
lola: 1 tries, 8657 fired transitions, 905 secs || 8139 markings, 8138 edges, 11 markings/sec, 905 secs
lola: 1 tries, 8711 fired transitions, 910 secs || 8193 markings, 8192 edges, 11 markings/sec, 910 secs
lola: 1 tries, 8765 fired transitions, 915 secs || 8247 markings, 8246 edges, 11 markings/sec, 915 secs
lola: 1 tries, 8820 fired transitions, 920 secs || 8302 markings, 8301 edges, 11 markings/sec, 920 secs
lola: 1 tries, 8874 fired transitions, 925 secs || 8356 markings, 8355 edges, 11 markings/sec, 925 secs
lola: 1 tries, 8929 fired transitions, 930 secs || 8411 markings, 8410 edges, 11 markings/sec, 930 secs
lola: 1 tries, 8983 fired transitions, 935 secs || 8465 markings, 8464 edges, 11 markings/sec, 935 secs
lola: 1 tries, 9036 fired transitions, 940 secs || 8518 markings, 8517 edges, 11 markings/sec, 940 secs
lola: 1 tries, 9089 fired transitions, 945 secs || 8571 markings, 8570 edges, 11 markings/sec, 945 secs
lola: 1 tries, 9140 fired transitions, 950 secs || 8622 markings, 8621 edges, 10 markings/sec, 950 secs
lola: 1 tries, 9192 fired transitions, 955 secs || 8674 markings, 8673 edges, 10 markings/sec, 955 secs
lola: 1 tries, 9245 fired transitions, 960 secs || 8727 markings, 8726 edges, 11 markings/sec, 960 secs
lola: 1 tries, 9297 fired transitions, 965 secs || 8779 markings, 8778 edges, 10 markings/sec, 965 secs
lola: 1 tries, 9349 fired transitions, 970 secs || 8831 markings, 8830 edges, 10 markings/sec, 970 secs
lola: 1 tries, 9401 fired transitions, 975 secs || 8883 markings, 8882 edges, 10 markings/sec, 975 secs
lola: 1 tries, 9453 fired transitions, 980 secs || 8935 markings, 8934 edges, 10 markings/sec, 980 secs
lola: 1 tries, 9505 fired transitions, 985 secs || 8987 markings, 8986 edges, 10 markings/sec, 985 secs
lola: 1 tries, 9557 fired transitions, 990 secs || 9039 markings, 9038 edges, 10 markings/sec, 990 secs
lola: 1 tries, 9610 fired transitions, 995 secs || 9092 markings, 9091 edges, 11 markings/sec, 995 secs
lola: 1 tries, 9662 fired transitions, 1000 secs || 9144 markings, 9143 edges, 10 markings/sec, 1000 secs
lola: 1 tries, 9714 fired transitions, 1005 secs || 9196 markings, 9195 edges, 10 markings/sec, 1005 secs
lola: 1 tries, 9766 fired transitions, 1010 secs || 9248 markings, 9247 edges, 10 markings/sec, 1010 secs
lola: 1 tries, 9818 fired transitions, 1015 secs || 9300 markings, 9299 edges, 10 markings/sec, 1015 secs
lola: 1 tries, 9869 fired transitions, 1020 secs || 9351 markings, 9350 edges, 10 markings/sec, 1020 secs
lola: 1 tries, 9921 fired transitions, 1025 secs || 9403 markings, 9402 edges, 10 markings/sec, 1025 secs
lola: 1 tries, 9973 fired transitions, 1030 secs || 9455 markings, 9454 edges, 10 markings/sec, 1030 secs
lola: 1 tries, 10025 fired transitions, 1035 secs || 9507 markings, 9506 edges, 10 markings/sec, 1035 secs
lola: 1 tries, 10077 fired transitions, 1040 secs || 9559 markings, 9558 edges, 10 markings/sec, 1040 secs
lola: 1 tries, 10129 fired transitions, 1045 secs || 9611 markings, 9610 edges, 10 markings/sec, 1045 secs
lola: 1 tries, 10181 fired transitions, 1050 secs || 9663 markings, 9662 edges, 10 markings/sec, 1050 secs
lola: 1 tries, 10233 fired transitions, 1055 secs || 9715 markings, 9714 edges, 10 markings/sec, 1055 secs
lola: 1 tries, 10286 fired transitions, 1060 secs || 9768 markings, 9767 edges, 11 markings/sec, 1060 secs
lola: 1 tries, 10338 fired transitions, 1065 secs || 9820 markings, 9819 edges, 10 markings/sec, 1065 secs
lola: 1 tries, 10390 fired transitions, 1070 secs || 9872 markings, 9871 edges, 10 markings/sec, 1070 secs
lola: 1 tries, 10442 fired transitions, 1075 secs || 9924 markings, 9923 edges, 10 markings/sec, 1075 secs
lola: 1 tries, 10493 fired transitions, 1080 secs || 9975 markings, 9974 edges, 10 markings/sec, 1080 secs
lola: 1 tries, 10546 fired transitions, 1085 secs || 10028 markings, 10027 edges, 11 markings/sec, 1085 secs
lola: 1 tries, 10598 fired transitions, 1090 secs || 10080 markings, 10079 edges, 10 markings/sec, 1090 secs
lola: 1 tries, 10650 fired transitions, 1095 secs || 10132 markings, 10131 edges, 10 markings/sec, 1095 secs
lola: 1 tries, 10702 fired transitions, 1100 secs || 10184 markings, 10183 edges, 10 markings/sec, 1100 secs
lola: 1 tries, 10754 fired transitions, 1105 secs || 10236 markings, 10235 edges, 10 markings/sec, 1105 secs
lola: 1 tries, 10806 fired transitions, 1110 secs || 10288 markings, 10287 edges, 10 markings/sec, 1110 secs
lola: 1 tries, 10857 fired transitions, 1115 secs || 10339 markings, 10338 edges, 10 markings/sec, 1115 secs
lola: 1 tries, 10909 fired transitions, 1120 secs || 10391 markings, 10390 edges, 10 markings/sec, 1120 secs
lola: 1 tries, 10961 fired transitions, 1125 secs || 10443 markings, 10442 edges, 10 markings/sec, 1125 secs
lola: 1 tries, 11013 fired transitions, 1130 secs || 10495 markings, 10494 edges, 10 markings/sec, 1130 secs
lola: 1 tries, 11065 fired transitions, 1135 secs || 10547 markings, 10546 edges, 10 markings/sec, 1135 secs
lola: 1 tries, 11117 fired transitions, 1140 secs || 10599 markings, 10598 edges, 10 markings/sec, 1140 secs
lola: 1 tries, 11169 fired transitions, 1145 secs || 10651 markings, 10650 edges, 10 markings/sec, 1145 secs
lola: 1 tries, 11220 fired transitions, 1150 secs || 10702 markings, 10701 edges, 10 markings/sec, 1150 secs
lola: 1 tries, 11273 fired transitions, 1155 secs || 10755 markings, 10754 edges, 11 markings/sec, 1155 secs
lola: 1 tries, 11325 fired transitions, 1160 secs || 10807 markings, 10806 edges, 10 markings/sec, 1160 secs
lola: 1 tries, 11376 fired transitions, 1165 secs || 10858 markings, 10857 edges, 10 markings/sec, 1165 secs
lola: 1 tries, 11428 fired transitions, 1170 secs || 10910 markings, 10909 edges, 10 markings/sec, 1170 secs
lola: 1 tries, 11480 fired transitions, 1175 secs || 10962 markings, 10961 edges, 10 markings/sec, 1175 secs
lola: 1 tries, 11532 fired transitions, 1180 secs || 11014 markings, 11013 edges, 10 markings/sec, 1180 secs
lola: 1 tries, 11584 fired transitions, 1185 secs || 11066 markings, 11065 edges, 10 markings/sec, 1185 secs
lola: 1 tries, 11635 fired transitions, 1190 secs || 11117 markings, 11116 edges, 10 markings/sec, 1190 secs
lola: 1 tries, 11687 fired transitions, 1195 secs || 11169 markings, 11168 edges, 10 markings/sec, 1195 secs
lola: 1 tries, 11739 fired transitions, 1200 secs || 11221 markings, 11220 edges, 10 markings/sec, 1200 secs
lola: 1 tries, 11791 fired transitions, 1205 secs || 11273 markings, 11272 edges, 10 markings/sec, 1205 secs
lola: 1 tries, 11843 fired transitions, 1210 secs || 11325 markings, 11324 edges, 10 markings/sec, 1210 secs
lola: 1 tries, 11895 fired transitions, 1215 secs || 11377 markings, 11376 edges, 10 markings/sec, 1215 secs
lola: 1 tries, 11946 fired transitions, 1220 secs || 11428 markings, 11427 edges, 10 markings/sec, 1220 secs
lola: 1 tries, 11997 fired transitions, 1225 secs || 11479 markings, 11478 edges, 10 markings/sec, 1225 secs
lola: 1 tries, 12049 fired transitions, 1230 secs || 11531 markings, 11530 edges, 10 markings/sec, 1230 secs
lola: 1 tries, 12101 fired transitions, 1235 secs || 11583 markings, 11582 edges, 10 markings/sec, 1235 secs
lola: 1 tries, 12153 fired transitions, 1240 secs || 11635 markings, 11634 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 12205 fired transitions, 1245 secs || 11687 markings, 11686 edges, 10 markings/sec, 1245 secs
lola: 1 tries, 12257 fired transitions, 1250 secs || 11739 markings, 11738 edges, 10 markings/sec, 1250 secs
lola: 1 tries, 12310 fired transitions, 1255 secs || 11792 markings, 11791 edges, 11 markings/sec, 1255 secs
lola: 1 tries, 12362 fired transitions, 1260 secs || 11844 markings, 11843 edges, 10 markings/sec, 1260 secs
lola: 1 tries, 12414 fired transitions, 1265 secs || 11896 markings, 11895 edges, 10 markings/sec, 1265 secs
lola: 1 tries, 12466 fired transitions, 1270 secs || 11948 markings, 11947 edges, 10 markings/sec, 1270 secs
lola: 1 tries, 12518 fired transitions, 1275 secs || 12000 markings, 11999 edges, 10 markings/sec, 1275 secs
lola: 1 tries, 12570 fired transitions, 1280 secs || 12052 markings, 12051 edges, 10 markings/sec, 1280 secs
lola: 1 tries, 12623 fired transitions, 1285 secs || 12105 markings, 12104 edges, 11 markings/sec, 1285 secs
lola: 1 tries, 12675 fired transitions, 1290 secs || 12157 markings, 12156 edges, 10 markings/sec, 1290 secs
lola: 1 tries, 12727 fired transitions, 1295 secs || 12209 markings, 12208 edges, 10 markings/sec, 1295 secs
lola: 1 tries, 12780 fired transitions, 1300 secs || 12262 markings, 12261 edges, 11 markings/sec, 1300 secs
lola: 1 tries, 12832 fired transitions, 1305 secs || 12314 markings, 12313 edges, 10 markings/sec, 1305 secs
lola: 1 tries, 12884 fired transitions, 1310 secs || 12366 markings, 12365 edges, 10 markings/sec, 1310 secs
lola: 1 tries, 12936 fired transitions, 1315 secs || 12418 markings, 12417 edges, 10 markings/sec, 1315 secs
lola: 1 tries, 12988 fired transitions, 1320 secs || 12470 markings, 12469 edges, 10 markings/sec, 1320 secs
lola: 1 tries, 13040 fired transitions, 1325 secs || 12522 markings, 12521 edges, 10 markings/sec, 1325 secs
lola: 1 tries, 13092 fired transitions, 1330 secs || 12574 markings, 12573 edges, 10 markings/sec, 1330 secs
lola: 1 tries, 13144 fired transitions, 1335 secs || 12626 markings, 12625 edges, 10 markings/sec, 1335 secs
lola: 1 tries, 13196 fired transitions, 1340 secs || 12678 markings, 12677 edges, 10 markings/sec, 1340 secs
lola: 1 tries, 13248 fired transitions, 1345 secs || 12730 markings, 12729 edges, 10 markings/sec, 1345 secs
lola: 1 tries, 13301 fired transitions, 1350 secs || 12783 markings, 12782 edges, 11 markings/sec, 1350 secs
lola: 1 tries, 13356 fired transitions, 1355 secs || 12838 markings, 12837 edges, 11 markings/sec, 1355 secs
lola: 1 tries, 13411 fired transitions, 1360 secs || 12893 markings, 12892 edges, 11 markings/sec, 1360 secs
lola: 1 tries, 13466 fired transitions, 1365 secs || 12948 markings, 12947 edges, 11 markings/sec, 1365 secs
lola: 1 tries, 13521 fired transitions, 1370 secs || 13003 markings, 13002 edges, 11 markings/sec, 1370 secs
lola: 1 tries, 13576 fired transitions, 1375 secs || 13058 markings, 13057 edges, 11 markings/sec, 1375 secs
lola: 1 tries, 13631 fired transitions, 1380 secs || 13113 markings, 13112 edges, 11 markings/sec, 1380 secs
lola: 1 tries, 13686 fired transitions, 1385 secs || 13168 markings, 13167 edges, 11 markings/sec, 1385 secs
lola: 1 tries, 13742 fired transitions, 1390 secs || 13224 markings, 13223 edges, 11 markings/sec, 1390 secs
lola: 1 tries, 13797 fired transitions, 1395 secs || 13279 markings, 13278 edges, 11 markings/sec, 1395 secs
lola: 1 tries, 13853 fired transitions, 1400 secs || 13335 markings, 13334 edges, 11 markings/sec, 1400 secs
lola: 1 tries, 13908 fired transitions, 1405 secs || 13390 markings, 13389 edges, 11 markings/sec, 1405 secs
lola: 1 tries, 13963 fired transitions, 1410 secs || 13445 markings, 13444 edges, 11 markings/sec, 1410 secs
lola: 1 tries, 14018 fired transitions, 1415 secs || 13500 markings, 13499 edges, 11 markings/sec, 1415 secs
lola: 1 tries, 14073 fired transitions, 1420 secs || 13555 markings, 13554 edges, 11 markings/sec, 1420 secs
lola: 1 tries, 14128 fired transitions, 1425 secs || 13610 markings, 13609 edges, 11 markings/sec, 1425 secs
lola: 1 tries, 14183 fired transitions, 1430 secs || 13665 markings, 13664 edges, 11 markings/sec, 1430 secs
lola: 1 tries, 14238 fired transitions, 1435 secs || 13720 markings, 13719 edges, 11 markings/sec, 1435 secs
lola: 1 tries, 14293 fired transitions, 1440 secs || 13775 markings, 13774 edges, 11 markings/sec, 1440 secs
lola: 1 tries, 14348 fired transitions, 1445 secs || 13830 markings, 13829 edges, 11 markings/sec, 1445 secs
lola: 1 tries, 14403 fired transitions, 1450 secs || 13885 markings, 13884 edges, 11 markings/sec, 1450 secs
lola: 1 tries, 14458 fired transitions, 1455 secs || 13940 markings, 13939 edges, 11 markings/sec, 1455 secs
lola: 1 tries, 14513 fired transitions, 1460 secs || 13995 markings, 13994 edges, 11 markings/sec, 1460 secs
lola: 1 tries, 14568 fired transitions, 1465 secs || 14050 markings, 14049 edges, 11 markings/sec, 1465 secs
lola: 1 tries, 14623 fired transitions, 1470 secs || 14105 markings, 14104 edges, 11 markings/sec, 1470 secs
lola: 1 tries, 14678 fired transitions, 1475 secs || 14160 markings, 14159 edges, 11 markings/sec, 1475 secs
lola: 1 tries, 14733 fired transitions, 1480 secs || 14215 markings, 14214 edges, 11 markings/sec, 1480 secs
lola: 1 tries, 14788 fired transitions, 1485 secs || 14270 markings, 14269 edges, 11 markings/sec, 1485 secs
lola: 1 tries, 14843 fired transitions, 1490 secs || 14325 markings, 14324 edges, 11 markings/sec, 1490 secs
lola: 1 tries, 14899 fired transitions, 1495 secs || 14381 markings, 14380 edges, 11 markings/sec, 1495 secs
lola: 1 tries, 14954 fired transitions, 1500 secs || 14436 markings, 14435 edges, 11 markings/sec, 1500 secs
lola: 1 tries, 15009 fired transitions, 1505 secs || 14491 markings, 14490 edges, 11 markings/sec, 1505 secs
lola: 1 tries, 15063 fired transitions, 1510 secs || 14545 markings, 14544 edges, 11 markings/sec, 1510 secs
lola: 1 tries, 15116 fired transitions, 1515 secs || 14598 markings, 14597 edges, 11 markings/sec, 1515 secs
lola: 1 tries, 15171 fired transitions, 1520 secs || 14653 markings, 14652 edges, 11 markings/sec, 1520 secs
lola: 1 tries, 15226 fired transitions, 1525 secs || 14708 markings, 14707 edges, 11 markings/sec, 1525 secs
lola: 1 tries, 15279 fired transitions, 1530 secs || 14761 markings, 14760 edges, 11 markings/sec, 1530 secs
lola: 1 tries, 15334 fired transitions, 1535 secs || 14816 markings, 14815 edges, 11 markings/sec, 1535 secs
lola: 1 tries, 15388 fired transitions, 1540 secs || 14870 markings, 14869 edges, 11 markings/sec, 1540 secs
lola: 1 tries, 15443 fired transitions, 1545 secs || 14925 markings, 14924 edges, 11 markings/sec, 1545 secs
lola: 1 tries, 15497 fired transitions, 1550 secs || 14979 markings, 14978 edges, 11 markings/sec, 1550 secs
lola: 1 tries, 15552 fired transitions, 1555 secs || 15034 markings, 15033 edges, 11 markings/sec, 1555 secs
lola: 1 tries, 15607 fired transitions, 1560 secs || 15089 markings, 15088 edges, 11 markings/sec, 1560 secs
lola: 1 tries, 15661 fired transitions, 1565 secs || 15143 markings, 15142 edges, 11 markings/sec, 1565 secs
lola: 1 tries, 15716 fired transitions, 1570 secs || 15198 markings, 15197 edges, 11 markings/sec, 1570 secs
lola: 1 tries, 15771 fired transitions, 1575 secs || 15253 markings, 15252 edges, 11 markings/sec, 1575 secs
lola: 1 tries, 15825 fired transitions, 1580 secs || 15307 markings, 15306 edges, 11 markings/sec, 1580 secs
lola: 1 tries, 15880 fired transitions, 1585 secs || 15361 markings, 15360 edges, 11 markings/sec, 1585 secs
lola: 1 tries, 15933 fired transitions, 1590 secs || 15415 markings, 15414 edges, 11 markings/sec, 1590 secs
lola: 1 tries, 15988 fired transitions, 1595 secs || 15470 markings, 15469 edges, 11 markings/sec, 1595 secs
lola: 1 tries, 16042 fired transitions, 1600 secs || 15524 markings, 15523 edges, 11 markings/sec, 1600 secs
lola: 1 tries, 16097 fired transitions, 1605 secs || 15579 markings, 15578 edges, 11 markings/sec, 1605 secs
lola: 1 tries, 16152 fired transitions, 1610 secs || 15634 markings, 15633 edges, 11 markings/sec, 1610 secs
lola: 1 tries, 16207 fired transitions, 1615 secs || 15689 markings, 15688 edges, 11 markings/sec, 1615 secs
lola: 1 tries, 16263 fired transitions, 1620 secs || 15745 markings, 15744 edges, 11 markings/sec, 1620 secs
lola: 1 tries, 16319 fired transitions, 1625 secs || 15801 markings, 15800 edges, 11 markings/sec, 1625 secs
lola: 1 tries, 16374 fired transitions, 1630 secs || 15856 markings, 15855 edges, 11 markings/sec, 1630 secs
lola: 1 tries, 16430 fired transitions, 1635 secs || 15912 markings, 15911 edges, 11 markings/sec, 1635 secs
lola: 1 tries, 16485 fired transitions, 1640 secs || 15967 markings, 15966 edges, 11 markings/sec, 1640 secs
lola: 1 tries, 16540 fired transitions, 1645 secs || 16022 markings, 16021 edges, 11 markings/sec, 1645 secs
lola: 1 tries, 16596 fired transitions, 1650 secs || 16078 markings, 16077 edges, 11 markings/sec, 1650 secs
lola: 1 tries, 16651 fired transitions, 1655 secs || 16133 markings, 16132 edges, 11 markings/sec, 1655 secs
lola: 1 tries, 16706 fired transitions, 1660 secs || 16188 markings, 16187 edges, 11 markings/sec, 1660 secs
lola: 1 tries, 16761 fired transitions, 1665 secs || 16243 markings, 16242 edges, 11 markings/sec, 1665 secs
lola: 1 tries, 16815 fired transitions, 1670 secs || 16297 markings, 16296 edges, 11 markings/sec, 1670 secs
lola: 1 tries, 16871 fired transitions, 1675 secs || 16353 markings, 16352 edges, 11 markings/sec, 1675 secs
lola: 1 tries, 16926 fired transitions, 1680 secs || 16408 markings, 16407 edges, 11 markings/sec, 1680 secs
lola: 1 tries, 16980 fired transitions, 1685 secs || 16462 markings, 16461 edges, 11 markings/sec, 1685 secs
lola: 1 tries, 17035 fired transitions, 1690 secs || 16517 markings, 16516 edges, 11 markings/sec, 1690 secs
lola: 1 tries, 17089 fired transitions, 1695 secs || 16571 markings, 16570 edges, 11 markings/sec, 1695 secs
lola: 1 tries, 17143 fired transitions, 1700 secs || 16625 markings, 16624 edges, 11 markings/sec, 1700 secs
lola: 1 tries, 17197 fired transitions, 1705 secs || 16679 markings, 16678 edges, 11 markings/sec, 1705 secs
lola: 1 tries, 17248 fired transitions, 1710 secs || 16730 markings, 16729 edges, 10 markings/sec, 1710 secs
lola: 1 tries, 17300 fired transitions, 1715 secs || 16782 markings, 16781 edges, 10 markings/sec, 1715 secs
lola: 1 tries, 17352 fired transitions, 1720 secs || 16834 markings, 16833 edges, 10 markings/sec, 1720 secs
lola: 1 tries, 17404 fired transitions, 1725 secs || 16886 markings, 16885 edges, 10 markings/sec, 1725 secs
lola: 1 tries, 17455 fired transitions, 1730 secs || 16937 markings, 16936 edges, 10 markings/sec, 1730 secs
lola: 1 tries, 17507 fired transitions, 1735 secs || 16989 markings, 16988 edges, 10 markings/sec, 1735 secs
lola: 1 tries, 17559 fired transitions, 1740 secs || 17041 markings, 17040 edges, 10 markings/sec, 1740 secs
lola: 1 tries, 17611 fired transitions, 1745 secs || 17093 markings, 17092 edges, 10 markings/sec, 1745 secs
lola: 1 tries, 17663 fired transitions, 1750 secs || 17145 markings, 17144 edges, 10 markings/sec, 1750 secs
lola: 1 tries, 17715 fired transitions, 1755 secs || 17197 markings, 17196 edges, 10 markings/sec, 1755 secs
lola: 1 tries, 17766 fired transitions, 1760 secs || 17248 markings, 17247 edges, 10 markings/sec, 1760 secs
lola: 1 tries, 17819 fired transitions, 1765 secs || 17301 markings, 17300 edges, 11 markings/sec, 1765 secs
lola: 1 tries, 17871 fired transitions, 1770 secs || 17353 markings, 17352 edges, 10 markings/sec, 1770 secs
lola: 1 tries, 17923 fired transitions, 1775 secs || 17404 markings, 17403 edges, 10 markings/sec, 1775 secs
lola: 1 tries, 17974 fired transitions, 1780 secs || 17456 markings, 17455 edges, 10 markings/sec, 1780 secs
lola: 1 tries, 18025 fired transitions, 1785 secs || 17507 markings, 17506 edges, 10 markings/sec, 1785 secs
lola: 1 tries, 18077 fired transitions, 1790 secs || 17558 markings, 17557 edges, 10 markings/sec, 1790 secs
lola: 1 tries, 18128 fired transitions, 1795 secs || 17610 markings, 17609 edges, 10 markings/sec, 1795 secs
lola: 1 tries, 18181 fired transitions, 1800 secs || 17663 markings, 17662 edges, 11 markings/sec, 1800 secs
lola: 1 tries, 18232 fired transitions, 1805 secs || 17714 markings, 17713 edges, 10 markings/sec, 1805 secs
lola: 1 tries, 18284 fired transitions, 1810 secs || 17766 markings, 17765 edges, 10 markings/sec, 1810 secs
lola: 1 tries, 18336 fired transitions, 1815 secs || 17818 markings, 17817 edges, 10 markings/sec, 1815 secs
lola: 1 tries, 18388 fired transitions, 1820 secs || 17870 markings, 17869 edges, 10 markings/sec, 1820 secs
lola: 1 tries, 18440 fired transitions, 1825 secs || 17922 markings, 17921 edges, 10 markings/sec, 1825 secs
lola: 1 tries, 18492 fired transitions, 1830 secs || 17974 markings, 17973 edges, 10 markings/sec, 1830 secs
lola: 1 tries, 18544 fired transitions, 1835 secs || 18026 markings, 18025 edges, 10 markings/sec, 1835 secs
lola: 1 tries, 18595 fired transitions, 1840 secs || 18077 markings, 18076 edges, 10 markings/sec, 1840 secs
lola: 1 tries, 18647 fired transitions, 1845 secs || 18129 markings, 18128 edges, 10 markings/sec, 1845 secs
lola: 1 tries, 18699 fired transitions, 1850 secs || 18181 markings, 18180 edges, 10 markings/sec, 1850 secs
lola: 1 tries, 18751 fired transitions, 1855 secs || 18233 markings, 18232 edges, 10 markings/sec, 1855 secs
lola: 1 tries, 18803 fired transitions, 1860 secs || 18285 markings, 18284 edges, 10 markings/sec, 1860 secs
lola: 1 tries, 18855 fired transitions, 1865 secs || 18337 markings, 18336 edges, 10 markings/sec, 1865 secs
lola: 1 tries, 18907 fired transitions, 1870 secs || 18389 markings, 18388 edges, 10 markings/sec, 1870 secs
lola: 1 tries, 18959 fired transitions, 1875 secs || 18441 markings, 18440 edges, 10 markings/sec, 1875 secs
lola: 1 tries, 19011 fired transitions, 1880 secs || 18492 markings, 18491 edges, 10 markings/sec, 1880 secs
lola: 1 tries, 19063 fired transitions, 1885 secs || 18545 markings, 18544 edges, 11 markings/sec, 1885 secs
lola: 1 tries, 19115 fired transitions, 1890 secs || 18597 markings, 18596 edges, 10 markings/sec, 1890 secs
lola: 1 tries, 19167 fired transitions, 1895 secs || 18649 markings, 18648 edges, 10 markings/sec, 1895 secs
lola: 1 tries, 19219 fired transitions, 1900 secs || 18701 markings, 18700 edges, 10 markings/sec, 1900 secs
lola: 1 tries, 19271 fired transitions, 1905 secs || 18753 markings, 18752 edges, 10 markings/sec, 1905 secs
lola: 1 tries, 19323 fired transitions, 1910 secs || 18805 markings, 18804 edges, 10 markings/sec, 1910 secs
lola: 1 tries, 19375 fired transitions, 1915 secs || 18857 markings, 18856 edges, 10 markings/sec, 1915 secs
lola: 1 tries, 19427 fired transitions, 1920 secs || 18909 markings, 18908 edges, 10 markings/sec, 1920 secs
lola: 1 tries, 19479 fired transitions, 1925 secs || 18961 markings, 18960 edges, 10 markings/sec, 1925 secs
lola: 1 tries, 19531 fired transitions, 1930 secs || 19013 markings, 19012 edges, 10 markings/sec, 1930 secs
lola: 1 tries, 19583 fired transitions, 1935 secs || 19065 markings, 19064 edges, 10 markings/sec, 1935 secs
lola: 1 tries, 19635 fired transitions, 1940 secs || 19117 markings, 19116 edges, 10 markings/sec, 1940 secs
lola: 1 tries, 19686 fired transitions, 1945 secs || 19168 markings, 19167 edges, 10 markings/sec, 1945 secs
lola: 1 tries, 19738 fired transitions, 1950 secs || 19220 markings, 19219 edges, 10 markings/sec, 1950 secs
lola: 1 tries, 19790 fired transitions, 1955 secs || 19272 markings, 19271 edges, 10 markings/sec, 1955 secs
lola: 1 tries, 19842 fired transitions, 1960 secs || 19324 markings, 19323 edges, 10 markings/sec, 1960 secs
lola: 1 tries, 19894 fired transitions, 1965 secs || 19376 markings, 19375 edges, 10 markings/sec, 1965 secs
lola: 1 tries, 19946 fired transitions, 1970 secs || 19428 markings, 19427 edges, 10 markings/sec, 1970 secs
lola: 1 tries, 19998 fired transitions, 1975 secs || 19480 markings, 19479 edges, 10 markings/sec, 1975 secs
lola: 1 tries, 20051 fired transitions, 1980 secs || 19533 markings, 19532 edges, 11 markings/sec, 1980 secs
lola: 1 tries, 20103 fired transitions, 1985 secs || 19585 markings, 19584 edges, 10 markings/sec, 1985 secs
lola: 1 tries, 20155 fired transitions, 1990 secs || 19637 markings, 19636 edges, 10 markings/sec, 1990 secs
lola: 1 tries, 20207 fired transitions, 1995 secs || 19689 markings, 19688 edges, 10 markings/sec, 1995 secs
lola: 1 tries, 20259 fired transitions, 2000 secs || 19741 markings, 19740 edges, 10 markings/sec, 2000 secs
lola: 1 tries, 20312 fired transitions, 2005 secs || 19794 markings, 19793 edges, 11 markings/sec, 2005 secs
lola: 1 tries, 20364 fired transitions, 2010 secs || 19846 markings, 19845 edges, 10 markings/sec, 2010 secs
lola: 1 tries, 20416 fired transitions, 2015 secs || 19898 markings, 19897 edges, 10 markings/sec, 2015 secs
lola: 1 tries, 20469 fired transitions, 2020 secs || 19951 markings, 19950 edges, 11 markings/sec, 2020 secs
lola: 1 tries, 20521 fired transitions, 2025 secs || 20003 markings, 20002 edges, 10 markings/sec, 2025 secs
lola: 1 tries, 20573 fired transitions, 2030 secs || 20055 markings, 20054 edges, 10 markings/sec, 2030 secs
lola: 1 tries, 20626 fired transitions, 2035 secs || 20108 markings, 20107 edges, 11 markings/sec, 2035 secs
lola: 1 tries, 20678 fired transitions, 2040 secs || 20160 markings, 20159 edges, 10 markings/sec, 2040 secs
lola: 1 tries, 20731 fired transitions, 2045 secs || 20213 markings, 20212 edges, 11 markings/sec, 2045 secs
lola: 1 tries, 20782 fired transitions, 2050 secs || 20264 markings, 20263 edges, 10 markings/sec, 2050 secs
lola: 1 tries, 20835 fired transitions, 2055 secs || 20317 markings, 20316 edges, 11 markings/sec, 2055 secs
lola: 1 tries, 20888 fired transitions, 2060 secs || 20370 markings, 20369 edges, 11 markings/sec, 2060 secs
lola: 1 tries, 20940 fired transitions, 2065 secs || 20422 markings, 20421 edges, 10 markings/sec, 2065 secs
lola: 1 tries, 20992 fired transitions, 2070 secs || 20474 markings, 20473 edges, 10 markings/sec, 2070 secs
lola: 1 tries, 21042 fired transitions, 2075 secs || 20524 markings, 20523 edges, 10 markings/sec, 2075 secs
lola: 1 tries, 21094 fired transitions, 2080 secs || 20576 markings, 20575 edges, 10 markings/sec, 2080 secs
lola: 1 tries, 21146 fired transitions, 2085 secs || 20628 markings, 20627 edges, 10 markings/sec, 2085 secs
lola: 1 tries, 21199 fired transitions, 2090 secs || 20681 markings, 20680 edges, 11 markings/sec, 2090 secs
lola: 1 tries, 21251 fired transitions, 2095 secs || 20733 markings, 20732 edges, 10 markings/sec, 2095 secs
lola: 1 tries, 21304 fired transitions, 2100 secs || 20786 markings, 20785 edges, 11 markings/sec, 2100 secs
lola: 1 tries, 21357 fired transitions, 2105 secs || 20839 markings, 20838 edges, 11 markings/sec, 2105 secs
lola: 1 tries, 21409 fired transitions, 2110 secs || 20891 markings, 20890 edges, 10 markings/sec, 2110 secs
lola: 1 tries, 21461 fired transitions, 2115 secs || 20943 markings, 20942 edges, 10 markings/sec, 2115 secs
lola: 1 tries, 21513 fired transitions, 2120 secs || 20995 markings, 20994 edges, 10 markings/sec, 2120 secs
lola: 1 tries, 21566 fired transitions, 2125 secs || 21048 markings, 21047 edges, 11 markings/sec, 2125 secs
lola: 1 tries, 21618 fired transitions, 2130 secs || 21100 markings, 21099 edges, 10 markings/sec, 2130 secs
lola: 1 tries, 21671 fired transitions, 2135 secs || 21153 markings, 21152 edges, 11 markings/sec, 2135 secs
lola: 1 tries, 21723 fired transitions, 2140 secs || 21205 markings, 21204 edges, 10 markings/sec, 2140 secs
lola: 1 tries, 21776 fired transitions, 2145 secs || 21258 markings, 21257 edges, 11 markings/sec, 2145 secs
lola: 1 tries, 21828 fired transitions, 2150 secs || 21310 markings, 21309 edges, 10 markings/sec, 2150 secs
lola: 1 tries, 21881 fired transitions, 2155 secs || 21363 markings, 21362 edges, 11 markings/sec, 2155 secs
lola: 1 tries, 21932 fired transitions, 2160 secs || 21414 markings, 21413 edges, 10 markings/sec, 2160 secs
lola: 1 tries, 21984 fired transitions, 2165 secs || 21466 markings, 21465 edges, 10 markings/sec, 2165 secs
lola: 1 tries, 22036 fired transitions, 2170 secs || 21518 markings, 21517 edges, 10 markings/sec, 2170 secs
lola: 1 tries, 22088 fired transitions, 2175 secs || 21570 markings, 21569 edges, 10 markings/sec, 2175 secs
lola: 1 tries, 22139 fired transitions, 2180 secs || 21620 markings, 21619 edges, 10 markings/sec, 2180 secs
lola: 1 tries, 22191 fired transitions, 2185 secs || 21672 markings, 21671 edges, 10 markings/sec, 2185 secs
lola: 1 tries, 22243 fired transitions, 2190 secs || 21724 markings, 21723 edges, 10 markings/sec, 2190 secs
lola: 1 tries, 22297 fired transitions, 2195 secs || 21778 markings, 21777 edges, 11 markings/sec, 2195 secs
lola: 1 tries, 22353 fired transitions, 2200 secs || 21834 markings, 21833 edges, 11 markings/sec, 2200 secs
lola: 1 tries, 22407 fired transitions, 2205 secs || 21888 markings, 21887 edges, 11 markings/sec, 2205 secs
lola: 1 tries, 22462 fired transitions, 2210 secs || 21943 markings, 21942 edges, 11 markings/sec, 2210 secs
lola: 1 tries, 22518 fired transitions, 2215 secs || 21999 markings, 21998 edges, 11 markings/sec, 2215 secs
lola: 1 tries, 22573 fired transitions, 2220 secs || 22054 markings, 22053 edges, 11 markings/sec, 2220 secs
lola: 1 tries, 22628 fired transitions, 2225 secs || 22109 markings, 22108 edges, 11 markings/sec, 2225 secs
lola: 1 tries, 22683 fired transitions, 2230 secs || 22164 markings, 22163 edges, 11 markings/sec, 2230 secs
lola: 1 tries, 22738 fired transitions, 2235 secs || 22219 markings, 22218 edges, 11 markings/sec, 2235 secs
lola: 1 tries, 22793 fired transitions, 2240 secs || 22274 markings, 22273 edges, 11 markings/sec, 2240 secs
lola: 1 tries, 22848 fired transitions, 2245 secs || 22329 markings, 22328 edges, 11 markings/sec, 2245 secs
lola: 1 tries, 22902 fired transitions, 2250 secs || 22383 markings, 22382 edges, 11 markings/sec, 2250 secs
lola: 1 tries, 22956 fired transitions, 2255 secs || 22435 markings, 22434 edges, 10 markings/sec, 2255 secs
lola: 1 tries, 23010 fired transitions, 2260 secs || 22487 markings, 22486 edges, 10 markings/sec, 2260 secs
lola: 1 tries, 23064 fired transitions, 2265 secs || 22541 markings, 22540 edges, 11 markings/sec, 2265 secs
lola: 1 tries, 23118 fired transitions, 2270 secs || 22595 markings, 22594 edges, 11 markings/sec, 2270 secs
lola: 1 tries, 23173 fired transitions, 2275 secs || 22650 markings, 22649 edges, 11 markings/sec, 2275 secs
lola: 1 tries, 23229 fired transitions, 2280 secs || 22706 markings, 22705 edges, 11 markings/sec, 2280 secs
lola: 1 tries, 23284 fired transitions, 2285 secs || 22761 markings, 22760 edges, 11 markings/sec, 2285 secs
lola: 1 tries, 23338 fired transitions, 2290 secs || 22815 markings, 22814 edges, 11 markings/sec, 2290 secs
lola: 1 tries, 23391 fired transitions, 2295 secs || 22864 markings, 22863 edges, 10 markings/sec, 2295 secs
lola: 1 tries, 23444 fired transitions, 2300 secs || 22915 markings, 22914 edges, 10 markings/sec, 2300 secs
lola: 1 tries, 23499 fired transitions, 2305 secs || 22969 markings, 22968 edges, 11 markings/sec, 2305 secs
lola: 1 tries, 23554 fired transitions, 2310 secs || 23024 markings, 23023 edges, 11 markings/sec, 2310 secs
lola: 1 tries, 23609 fired transitions, 2315 secs || 23079 markings, 23078 edges, 11 markings/sec, 2315 secs
lola: 1 tries, 23664 fired transitions, 2320 secs || 23134 markings, 23133 edges, 11 markings/sec, 2320 secs
lola: 1 tries, 23717 fired transitions, 2325 secs || 23187 markings, 23186 edges, 11 markings/sec, 2325 secs
lola: 1 tries, 23770 fired transitions, 2330 secs || 23239 markings, 23238 edges, 10 markings/sec, 2330 secs
lola: 1 tries, 23824 fired transitions, 2335 secs || 23293 markings, 23292 edges, 11 markings/sec, 2335 secs
lola: 1 tries, 23880 fired transitions, 2340 secs || 23349 markings, 23348 edges, 11 markings/sec, 2340 secs
lola: 1 tries, 23935 fired transitions, 2345 secs || 23404 markings, 23403 edges, 11 markings/sec, 2345 secs
lola: 1 tries, 23990 fired transitions, 2350 secs || 23459 markings, 23458 edges, 11 markings/sec, 2350 secs
lola: 1 tries, 24046 fired transitions, 2355 secs || 23515 markings, 23514 edges, 11 markings/sec, 2355 secs
lola: 1 tries, 24100 fired transitions, 2360 secs || 23568 markings, 23567 edges, 11 markings/sec, 2360 secs
lola: 1 tries, 24154 fired transitions, 2365 secs || 23621 markings, 23620 edges, 11 markings/sec, 2365 secs
lola: 1 tries, 24208 fired transitions, 2370 secs || 23674 markings, 23673 edges, 11 markings/sec, 2370 secs
lola: 1 tries, 24262 fired transitions, 2375 secs || 23726 markings, 23725 edges, 10 markings/sec, 2375 secs
lola: 1 tries, 24317 fired transitions, 2380 secs || 23781 markings, 23780 edges, 11 markings/sec, 2380 secs
lola: 1 tries, 24371 fired transitions, 2385 secs || 23835 markings, 23834 edges, 11 markings/sec, 2385 secs
lola: 1 tries, 24427 fired transitions, 2390 secs || 23890 markings, 23889 edges, 11 markings/sec, 2390 secs
lola: 1 tries, 24481 fired transitions, 2395 secs || 23944 markings, 23943 edges, 11 markings/sec, 2395 secs
lola: 1 tries, 24533 fired transitions, 2400 secs || 23994 markings, 23993 edges, 10 markings/sec, 2400 secs
lola: 1 tries, 24586 fired transitions, 2405 secs || 24044 markings, 24043 edges, 10 markings/sec, 2405 secs
lola: 1 tries, 24638 fired transitions, 2410 secs || 24094 markings, 24093 edges, 10 markings/sec, 2410 secs
lola: 1 tries, 24690 fired transitions, 2415 secs || 24144 markings, 24143 edges, 10 markings/sec, 2415 secs
lola: 1 tries, 24742 fired transitions, 2420 secs || 24194 markings, 24193 edges, 10 markings/sec, 2420 secs
lola: 1 tries, 24794 fired transitions, 2425 secs || 24244 markings, 24243 edges, 10 markings/sec, 2425 secs
lola: 1 tries, 24846 fired transitions, 2430 secs || 24292 markings, 24291 edges, 10 markings/sec, 2430 secs
lola: 1 tries, 24898 fired transitions, 2435 secs || 24341 markings, 24340 edges, 10 markings/sec, 2435 secs
lola: 1 tries, 24952 fired transitions, 2440 secs || 24394 markings, 24393 edges, 11 markings/sec, 2440 secs
lola: 1 tries, 25004 fired transitions, 2445 secs || 24445 markings, 24444 edges, 10 markings/sec, 2445 secs
lola: 1 tries, 25056 fired transitions, 2450 secs || 24496 markings, 24495 edges, 10 markings/sec, 2450 secs
lola: 1 tries, 25108 fired transitions, 2455 secs || 24547 markings, 24546 edges, 10 markings/sec, 2455 secs
lola: 1 tries, 25160 fired transitions, 2460 secs || 24600 markings, 24599 edges, 11 markings/sec, 2460 secs
lola: 1 tries, 25213 fired transitions, 2465 secs || 24653 markings, 24652 edges, 11 markings/sec, 2465 secs
lola: 1 tries, 25265 fired transitions, 2470 secs || 24704 markings, 24703 edges, 10 markings/sec, 2470 secs
lola: 1 tries, 25317 fired transitions, 2475 secs || 24755 markings, 24754 edges, 10 markings/sec, 2475 secs
lola: 1 tries, 25370 fired transitions, 2480 secs || 24807 markings, 24806 edges, 10 markings/sec, 2480 secs
lola: 1 tries, 25423 fired transitions, 2485 secs || 24861 markings, 24860 edges, 11 markings/sec, 2485 secs
lola: 1 tries, 25475 fired transitions, 2490 secs || 24914 markings, 24913 edges, 11 markings/sec, 2490 secs
lola: 1 tries, 25526 fired transitions, 2495 secs || 24964 markings, 24963 edges, 10 markings/sec, 2495 secs
lola: 1 tries, 25578 fired transitions, 2500 secs || 25015 markings, 25014 edges, 10 markings/sec, 2500 secs
lola: 1 tries, 25629 fired transitions, 2505 secs || 25066 markings, 25065 edges, 10 markings/sec, 2505 secs
lola: 1 tries, 25681 fired transitions, 2510 secs || 25118 markings, 25117 edges, 10 markings/sec, 2510 secs
lola: 1 tries, 25734 fired transitions, 2515 secs || 25172 markings, 25171 edges, 11 markings/sec, 2515 secs
lola: 1 tries, 25786 fired transitions, 2520 secs || 25225 markings, 25224 edges, 11 markings/sec, 2520 secs
lola: 1 tries, 25839 fired transitions, 2525 secs || 25275 markings, 25274 edges, 10 markings/sec, 2525 secs
lola: 1 tries, 25892 fired transitions, 2530 secs || 25327 markings, 25326 edges, 10 markings/sec, 2530 secs
lola: 1 tries, 25945 fired transitions, 2535 secs || 25380 markings, 25379 edges, 11 markings/sec, 2535 secs
lola: 1 tries, 25996 fired transitions, 2540 secs || 25432 markings, 25431 edges, 10 markings/sec, 2540 secs
lola: 1 tries, 26050 fired transitions, 2545 secs || 25483 markings, 25482 edges, 10 markings/sec, 2545 secs
lola: 1 tries, 26102 fired transitions, 2550 secs || 25533 markings, 25532 edges, 10 markings/sec, 2550 secs
lola: 1 tries, 26156 fired transitions, 2555 secs || 25584 markings, 25583 edges, 10 markings/sec, 2555 secs
lola: 1 tries, 26208 fired transitions, 2560 secs || 25633 markings, 25632 edges, 10 markings/sec, 2560 secs
lola: 1 tries, 26261 fired transitions, 2565 secs || 25686 markings, 25685 edges, 11 markings/sec, 2565 secs
lola: 1 tries, 26313 fired transitions, 2570 secs || 25738 markings, 25737 edges, 10 markings/sec, 2570 secs
lola: 1 tries, 26365 fired transitions, 2575 secs || 25790 markings, 25789 edges, 10 markings/sec, 2575 secs
lola: 1 tries, 26418 fired transitions, 2580 secs || 25844 markings, 25843 edges, 11 markings/sec, 2580 secs
lola: 1 tries, 26472 fired transitions, 2585 secs || 25898 markings, 25897 edges, 11 markings/sec, 2585 secs
lola: 1 tries, 26524 fired transitions, 2590 secs || 25949 markings, 25948 edges, 10 markings/sec, 2590 secs
lola: 1 tries, 26577 fired transitions, 2595 secs || 25999 markings, 25998 edges, 10 markings/sec, 2595 secs
lola: 1 tries, 26629 fired transitions, 2600 secs || 26049 markings, 26048 edges, 10 markings/sec, 2600 secs
lola: 1 tries, 26681 fired transitions, 2605 secs || 26097 markings, 26096 edges, 10 markings/sec, 2605 secs
lola: 1 tries, 26734 fired transitions, 2610 secs || 26148 markings, 26147 edges, 10 markings/sec, 2610 secs
lola: 1 tries, 26789 fired transitions, 2615 secs || 26202 markings, 26201 edges, 11 markings/sec, 2615 secs
lola: 1 tries, 26843 fired transitions, 2620 secs || 26256 markings, 26255 edges, 11 markings/sec, 2620 secs
lola: 1 tries, 26897 fired transitions, 2625 secs || 26309 markings, 26308 edges, 11 markings/sec, 2625 secs
lola: 1 tries, 26950 fired transitions, 2630 secs || 26361 markings, 26360 edges, 10 markings/sec, 2630 secs
lola: 1 tries, 27001 fired transitions, 2635 secs || 26413 markings, 26412 edges, 10 markings/sec, 2635 secs
lola: 1 tries, 27052 fired transitions, 2640 secs || 26465 markings, 26464 edges, 10 markings/sec, 2640 secs
lola: 1 tries, 27105 fired transitions, 2645 secs || 26518 markings, 26517 edges, 11 markings/sec, 2645 secs
lola: 1 tries, 27157 fired transitions, 2650 secs || 26571 markings, 26570 edges, 11 markings/sec, 2650 secs
lola: 1 tries, 27208 fired transitions, 2655 secs || 26624 markings, 26623 edges, 11 markings/sec, 2655 secs
lola: 1 tries, 27258 fired transitions, 2660 secs || 26675 markings, 26674 edges, 10 markings/sec, 2660 secs
lola: 1 tries, 27311 fired transitions, 2665 secs || 26727 markings, 26726 edges, 10 markings/sec, 2665 secs
lola: 1 tries, 27364 fired transitions, 2670 secs || 26779 markings, 26778 edges, 10 markings/sec, 2670 secs
lola: 1 tries, 27416 fired transitions, 2675 secs || 26829 markings, 26828 edges, 10 markings/sec, 2675 secs
lola: 1 tries, 27468 fired transitions, 2680 secs || 26882 markings, 26881 edges, 11 markings/sec, 2680 secs
lola: 1 tries, 27520 fired transitions, 2685 secs || 26933 markings, 26932 edges, 10 markings/sec, 2685 secs
lola: 1 tries, 27573 fired transitions, 2690 secs || 26986 markings, 26985 edges, 11 markings/sec, 2690 secs
lola: 1 tries, 27626 fired transitions, 2695 secs || 27039 markings, 27038 edges, 11 markings/sec, 2695 secs
lola: 1 tries, 27676 fired transitions, 2700 secs || 27090 markings, 27089 edges, 10 markings/sec, 2700 secs
lola: 1 tries, 27730 fired transitions, 2705 secs || 27143 markings, 27142 edges, 11 markings/sec, 2705 secs
lola: 1 tries, 27783 fired transitions, 2710 secs || 27196 markings, 27195 edges, 11 markings/sec, 2710 secs
lola: 1 tries, 27837 fired transitions, 2715 secs || 27250 markings, 27249 edges, 11 markings/sec, 2715 secs
lola: 1 tries, 27891 fired transitions, 2720 secs || 27304 markings, 27303 edges, 11 markings/sec, 2720 secs
lola: 1 tries, 27942 fired transitions, 2725 secs || 27354 markings, 27353 edges, 10 markings/sec, 2725 secs
lola: 1 tries, 27992 fired transitions, 2730 secs || 27403 markings, 27402 edges, 10 markings/sec, 2730 secs
lola: 1 tries, 28042 fired transitions, 2735 secs || 27451 markings, 27450 edges, 10 markings/sec, 2735 secs
lola: 1 tries, 28091 fired transitions, 2740 secs || 27500 markings, 27499 edges, 10 markings/sec, 2740 secs
lola: 1 tries, 28140 fired transitions, 2745 secs || 27549 markings, 27548 edges, 10 markings/sec, 2745 secs
lola: 1 tries, 28190 fired transitions, 2750 secs || 27597 markings, 27596 edges, 10 markings/sec, 2750 secs
lola: 1 tries, 28239 fired transitions, 2755 secs || 27646 markings, 27645 edges, 10 markings/sec, 2755 secs
lola: 1 tries, 28290 fired transitions, 2760 secs || 27697 markings, 27696 edges, 10 markings/sec, 2760 secs
lola: 1 tries, 28342 fired transitions, 2765 secs || 27749 markings, 27748 edges, 10 markings/sec, 2765 secs
lola: 1 tries, 28392 fired transitions, 2770 secs || 27797 markings, 27796 edges, 10 markings/sec, 2770 secs
lola: 1 tries, 28441 fired transitions, 2775 secs || 27845 markings, 27844 edges, 10 markings/sec, 2775 secs
lola: 1 tries, 28491 fired transitions, 2780 secs || 27893 markings, 27892 edges, 10 markings/sec, 2780 secs
lola: 1 tries, 28540 fired transitions, 2785 secs || 27941 markings, 27940 edges, 10 markings/sec, 2785 secs
lola: 1 tries, 28589 fired transitions, 2790 secs || 27989 markings, 27988 edges, 10 markings/sec, 2790 secs
lola: 1 tries, 28638 fired transitions, 2795 secs || 28036 markings, 28035 edges, 9 markings/sec, 2795 secs
lola: 1 tries, 28687 fired transitions, 2800 secs || 28083 markings, 28082 edges, 9 markings/sec, 2800 secs
lola: 1 tries, 28738 fired transitions, 2805 secs || 28133 markings, 28132 edges, 10 markings/sec, 2805 secs
lola: 1 tries, 28788 fired transitions, 2810 secs || 28183 markings, 28182 edges, 10 markings/sec, 2810 secs
lola: 1 tries, 28838 fired transitions, 2815 secs || 28234 markings, 28233 edges, 10 markings/sec, 2815 secs
lola: 1 tries, 28888 fired transitions, 2820 secs || 28284 markings, 28283 edges, 10 markings/sec, 2820 secs
lola: 1 tries, 28938 fired transitions, 2825 secs || 28334 markings, 28333 edges, 10 markings/sec, 2825 secs
lola: 1 tries, 28988 fired transitions, 2830 secs || 28382 markings, 28381 edges, 10 markings/sec, 2830 secs
lola: 1 tries, 29038 fired transitions, 2835 secs || 28431 markings, 28430 edges, 10 markings/sec, 2835 secs
lola: 1 tries, 29088 fired transitions, 2840 secs || 28479 markings, 28478 edges, 10 markings/sec, 2840 secs
lola: 1 tries, 29137 fired transitions, 2845 secs || 28528 markings, 28527 edges, 10 markings/sec, 2845 secs
lola: 1 tries, 29187 fired transitions, 2850 secs || 28576 markings, 28575 edges, 10 markings/sec, 2850 secs
lola: 1 tries, 29237 fired transitions, 2855 secs || 28625 markings, 28624 edges, 10 markings/sec, 2855 secs
lola: 1 tries, 29287 fired transitions, 2860 secs || 28674 markings, 28673 edges, 10 markings/sec, 2860 secs
lola: 1 tries, 29336 fired transitions, 2865 secs || 28722 markings, 28721 edges, 10 markings/sec, 2865 secs
lola: 1 tries, 29385 fired transitions, 2870 secs || 28772 markings, 28771 edges, 10 markings/sec, 2870 secs
lola: 1 tries, 29437 fired transitions, 2875 secs || 28823 markings, 28822 edges, 10 markings/sec, 2875 secs
lola: 1 tries, 29489 fired transitions, 2880 secs || 28874 markings, 28873 edges, 10 markings/sec, 2880 secs
lola: 1 tries, 29539 fired transitions, 2885 secs || 28923 markings, 28922 edges, 10 markings/sec, 2885 secs
lola: 1 tries, 29587 fired transitions, 2890 secs || 28972 markings, 28971 edges, 10 markings/sec, 2890 secs
lola: 1 tries, 29638 fired transitions, 2895 secs || 29021 markings, 29020 edges, 10 markings/sec, 2895 secs
lola: 1 tries, 29689 fired transitions, 2900 secs || 29071 markings, 29070 edges, 10 markings/sec, 2900 secs
lola: 1 tries, 29740 fired transitions, 2905 secs || 29123 markings, 29122 edges, 10 markings/sec, 2905 secs
lola: 1 tries, 29790 fired transitions, 2910 secs || 29173 markings, 29172 edges, 10 markings/sec, 2910 secs
lola: 1 tries, 29839 fired transitions, 2915 secs || 29223 markings, 29222 edges, 10 markings/sec, 2915 secs
lola: 1 tries, 29889 fired transitions, 2920 secs || 29273 markings, 29272 edges, 10 markings/sec, 2920 secs
lola: 1 tries, 29940 fired transitions, 2925 secs || 29324 markings, 29323 edges, 10 markings/sec, 2925 secs
lola: 1 tries, 29988 fired transitions, 2930 secs || 29372 markings, 29371 edges, 10 markings/sec, 2930 secs
lola: 1 tries, 30036 fired transitions, 2935 secs || 29421 markings, 29420 edges, 10 markings/sec, 2935 secs
lola: 1 tries, 30086 fired transitions, 2940 secs || 29471 markings, 29470 edges, 10 markings/sec, 2940 secs
lola: 1 tries, 30138 fired transitions, 2945 secs || 29523 markings, 29522 edges, 10 markings/sec, 2945 secs
lola: 1 tries, 30188 fired transitions, 2950 secs || 29571 markings, 29570 edges, 10 markings/sec, 2950 secs
lola: 1 tries, 30238 fired transitions, 2955 secs || 29619 markings, 29618 edges, 10 markings/sec, 2955 secs
lola: 1 tries, 30287 fired transitions, 2960 secs || 29667 markings, 29666 edges, 10 markings/sec, 2960 secs
lola: 1 tries, 30337 fired transitions, 2965 secs || 29717 markings, 29716 edges, 10 markings/sec, 2965 secs
lola: 1 tries, 30387 fired transitions, 2970 secs || 29768 markings, 29767 edges, 10 markings/sec, 2970 secs
lola: 1 tries, 30436 fired transitions, 2975 secs || 29816 markings, 29815 edges, 10 markings/sec, 2975 secs
lola: 1 tries, 30484 fired transitions, 2980 secs || 29866 markings, 29865 edges, 10 markings/sec, 2980 secs
lola: 1 tries, 30534 fired transitions, 2985 secs || 29916 markings, 29915 edges, 10 markings/sec, 2985 secs
lola: 1 tries, 30582 fired transitions, 2990 secs || 29965 markings, 29964 edges, 10 markings/sec, 2990 secs
lola: 1 tries, 30632 fired transitions, 2995 secs || 30013 markings, 30012 edges, 10 markings/sec, 2995 secs
lola: 1 tries, 30681 fired transitions, 3000 secs || 30061 markings, 30060 edges, 10 markings/sec, 3000 secs
lola: 1 tries, 30730 fired transitions, 3005 secs || 30110 markings, 30109 edges, 10 markings/sec, 3005 secs
lola: 1 tries, 30778 fired transitions, 3010 secs || 30159 markings, 30158 edges, 10 markings/sec, 3010 secs
lola: 1 tries, 30828 fired transitions, 3015 secs || 30208 markings, 30207 edges, 10 markings/sec, 3015 secs
lola: 1 tries, 30877 fired transitions, 3020 secs || 30256 markings, 30255 edges, 10 markings/sec, 3020 secs
lola: 1 tries, 30926 fired transitions, 3025 secs || 30303 markings, 30302 edges, 9 markings/sec, 3025 secs
lola: 1 tries, 30978 fired transitions, 3030 secs || 30355 markings, 30354 edges, 10 markings/sec, 3030 secs
lola: 1 tries, 31033 fired transitions, 3035 secs || 30411 markings, 30410 edges, 11 markings/sec, 3035 secs
lola: 1 tries, 31088 fired transitions, 3040 secs || 30465 markings, 30464 edges, 11 markings/sec, 3040 secs
lola: 1 tries, 31141 fired transitions, 3045 secs || 30517 markings, 30516 edges, 10 markings/sec, 3045 secs
lola: 1 tries, 31192 fired transitions, 3050 secs || 30566 markings, 30565 edges, 10 markings/sec, 3050 secs
lola: 1 tries, 31241 fired transitions, 3055 secs || 30615 markings, 30614 edges, 10 markings/sec, 3055 secs
lola: 1 tries, 31292 fired transitions, 3060 secs || 30665 markings, 30664 edges, 10 markings/sec, 3060 secs
lola: 1 tries, 31345 fired transitions, 3065 secs || 30715 markings, 30714 edges, 10 markings/sec, 3065 secs
lola: 1 tries, 31398 fired transitions, 3070 secs || 30769 markings, 30768 edges, 11 markings/sec, 3070 secs
lola: 1 tries, 31452 fired transitions, 3075 secs || 30824 markings, 30823 edges, 11 markings/sec, 3075 secs
lola: 1 tries, 31508 fired transitions, 3080 secs || 30880 markings, 30879 edges, 11 markings/sec, 3080 secs
lola: 1 tries, 31563 fired transitions, 3085 secs || 30934 markings, 30933 edges, 11 markings/sec, 3085 secs
lola: 1 tries, 31619 fired transitions, 3090 secs || 30989 markings, 30988 edges, 11 markings/sec, 3090 secs
lola: 1 tries, 31673 fired transitions, 3095 secs || 31043 markings, 31042 edges, 11 markings/sec, 3095 secs
lola: 1 tries, 31726 fired transitions, 3100 secs || 31096 markings, 31095 edges, 11 markings/sec, 3100 secs
lola: 1 tries, 31781 fired transitions, 3105 secs || 31150 markings, 31149 edges, 11 markings/sec, 3105 secs
lola: 1 tries, 31833 fired transitions, 3110 secs || 31203 markings, 31202 edges, 11 markings/sec, 3110 secs
lola: 1 tries, 31884 fired transitions, 3115 secs || 31254 markings, 31253 edges, 10 markings/sec, 3115 secs
lola: 1 tries, 31936 fired transitions, 3120 secs || 31307 markings, 31306 edges, 11 markings/sec, 3120 secs
lola: 1 tries, 31989 fired transitions, 3125 secs || 31359 markings, 31358 edges, 10 markings/sec, 3125 secs
lola: 1 tries, 32040 fired transitions, 3130 secs || 31411 markings, 31410 edges, 10 markings/sec, 3130 secs
lola: 1 tries, 32092 fired transitions, 3135 secs || 31464 markings, 31463 edges, 11 markings/sec, 3135 secs
lola: 1 tries, 32145 fired transitions, 3140 secs || 31517 markings, 31516 edges, 11 markings/sec, 3140 secs
lola: 1 tries, 32198 fired transitions, 3145 secs || 31568 markings, 31567 edges, 10 markings/sec, 3145 secs
lola: 1 tries, 32251 fired transitions, 3150 secs || 31619 markings, 31618 edges, 10 markings/sec, 3150 secs
lola: 1 tries, 32304 fired transitions, 3155 secs || 31671 markings, 31670 edges, 10 markings/sec, 3155 secs
lola: 1 tries, 32356 fired transitions, 3160 secs || 31724 markings, 31723 edges, 11 markings/sec, 3160 secs
lola: 1 tries, 32408 fired transitions, 3165 secs || 31777 markings, 31776 edges, 11 markings/sec, 3165 secs
lola: 1 tries, 32461 fired transitions, 3170 secs || 31829 markings, 31828 edges, 10 markings/sec, 3170 secs
lola: 1 tries, 32516 fired transitions, 3175 secs || 31884 markings, 31883 edges, 11 markings/sec, 3175 secs
lola: 1 tries, 32569 fired transitions, 3180 secs || 31938 markings, 31937 edges, 11 markings/sec, 3180 secs
lola: 1 tries, 32624 fired transitions, 3185 secs || 31993 markings, 31992 edges, 11 markings/sec, 3185 secs
lola: 1 tries, 32677 fired transitions, 3190 secs || 32047 markings, 32046 edges, 11 markings/sec, 3190 secs
lola: 1 tries, 32730 fired transitions, 3195 secs || 32100 markings, 32099 edges, 11 markings/sec, 3195 secs
lola: 1 tries, 32784 fired transitions, 3200 secs || 32154 markings, 32153 edges, 11 markings/sec, 3200 secs
lola: 1 tries, 32839 fired transitions, 3205 secs || 32209 markings, 32208 edges, 11 markings/sec, 3205 secs
lola: 1 tries, 32892 fired transitions, 3210 secs || 32260 markings, 32259 edges, 10 markings/sec, 3210 secs
lola: 1 tries, 32946 fired transitions, 3215 secs || 32312 markings, 32311 edges, 10 markings/sec, 3215 secs
lola: 1 tries, 33001 fired transitions, 3220 secs || 32367 markings, 32366 edges, 11 markings/sec, 3220 secs
lola: 1 tries, 33054 fired transitions, 3225 secs || 32421 markings, 32420 edges, 11 markings/sec, 3225 secs
lola: 1 tries, 33107 fired transitions, 3230 secs || 32471 markings, 32470 edges, 10 markings/sec, 3230 secs
lola: 1 tries, 33159 fired transitions, 3235 secs || 32521 markings, 32520 edges, 10 markings/sec, 3235 secs
lola: 1 tries, 33213 fired transitions, 3240 secs || 32574 markings, 32573 edges, 11 markings/sec, 3240 secs
lola: 1 tries, 33264 fired transitions, 3245 secs || 32627 markings, 32626 edges, 11 markings/sec, 3245 secs
lola: 1 tries, 33317 fired transitions, 3250 secs || 32681 markings, 32680 edges, 11 markings/sec, 3250 secs
lola: 1 tries, 33370 fired transitions, 3255 secs || 32734 markings, 32733 edges, 11 markings/sec, 3255 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553924754255
--------------------
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-2"
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-2, 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-155274853700489"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-2.tgz
mv RERS17pb115-PT-2 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 ;