About the Execution of LoLA for RERS17pb115-PT-3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10750.000 | 3570343.00 | 6948016.00 | 170.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-155274853700498.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-3, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853700498
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.5K 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.6K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.3K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K 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-3-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553921632214
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb115-PT-3 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb115-PT-3
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, 40 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: 1 tries, 79 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: 1 tries, 117 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: 1 tries, 155 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: 1 tries, 194 fired transitions, 20 secs
lola: 0 generators; 977901 candidates remain ( 0%), 20 secs
lola: 1 tries, 231 fired transitions, 25 secs
lola: 93 generators; 276 candidates remain (25%), 25 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, 268 fired transitions, 30 secs || 11 markings, 10 edges, 2 markings/sec, 30 secs
lola: 1 tries, 309 fired transitions, 35 secs || 51 markings, 50 edges, 8 markings/sec, 35 secs
lola: 1 tries, 351 fired transitions, 40 secs || 93 markings, 92 edges, 8 markings/sec, 40 secs
lola: 1 tries, 395 fired transitions, 45 secs || 137 markings, 136 edges, 9 markings/sec, 45 secs
lola: 1 tries, 437 fired transitions, 50 secs || 178 markings, 177 edges, 8 markings/sec, 50 secs
lola: 1 tries, 480 fired transitions, 55 secs || 221 markings, 220 edges, 9 markings/sec, 55 secs
lola: 1 tries, 525 fired transitions, 60 secs || 266 markings, 265 edges, 9 markings/sec, 60 secs
lola: 1 tries, 569 fired transitions, 65 secs || 310 markings, 309 edges, 9 markings/sec, 65 secs
lola: 1 tries, 614 fired transitions, 70 secs || 355 markings, 354 edges, 9 markings/sec, 70 secs
lola: 1 tries, 658 fired transitions, 75 secs || 399 markings, 398 edges, 9 markings/sec, 75 secs
lola: 1 tries, 701 fired transitions, 80 secs || 442 markings, 441 edges, 9 markings/sec, 80 secs
lola: 1 tries, 746 fired transitions, 85 secs || 487 markings, 486 edges, 9 markings/sec, 85 secs
lola: 1 tries, 791 fired transitions, 90 secs || 532 markings, 531 edges, 9 markings/sec, 90 secs
lola: 1 tries, 837 fired transitions, 95 secs || 578 markings, 577 edges, 9 markings/sec, 95 secs
lola: 1 tries, 882 fired transitions, 100 secs || 623 markings, 622 edges, 9 markings/sec, 100 secs
lola: 1 tries, 926 fired transitions, 105 secs || 667 markings, 666 edges, 9 markings/sec, 105 secs
lola: 1 tries, 969 fired transitions, 110 secs || 710 markings, 709 edges, 9 markings/sec, 110 secs
lola: 1 tries, 1013 fired transitions, 115 secs || 754 markings, 753 edges, 9 markings/sec, 115 secs
lola: 1 tries, 1057 fired transitions, 120 secs || 798 markings, 797 edges, 9 markings/sec, 120 secs
lola: 1 tries, 1101 fired transitions, 125 secs || 842 markings, 841 edges, 9 markings/sec, 125 secs
lola: 1 tries, 1144 fired transitions, 130 secs || 885 markings, 884 edges, 9 markings/sec, 130 secs
lola: 1 tries, 1189 fired transitions, 135 secs || 928 markings, 927 edges, 9 markings/sec, 135 secs
lola: 1 tries, 1233 fired transitions, 140 secs || 972 markings, 971 edges, 9 markings/sec, 140 secs
lola: 1 tries, 1279 fired transitions, 145 secs || 1018 markings, 1017 edges, 9 markings/sec, 145 secs
lola: 1 tries, 1326 fired transitions, 150 secs || 1065 markings, 1064 edges, 9 markings/sec, 150 secs
lola: 1 tries, 1374 fired transitions, 155 secs || 1113 markings, 1112 edges, 10 markings/sec, 155 secs
lola: 1 tries, 1420 fired transitions, 160 secs || 1159 markings, 1158 edges, 9 markings/sec, 160 secs
lola: 1 tries, 1467 fired transitions, 165 secs || 1205 markings, 1204 edges, 9 markings/sec, 165 secs
lola: 1 tries, 1513 fired transitions, 170 secs || 1252 markings, 1251 edges, 9 markings/sec, 170 secs
lola: 1 tries, 1559 fired transitions, 175 secs || 1298 markings, 1297 edges, 9 markings/sec, 175 secs
lola: 1 tries, 1606 fired transitions, 180 secs || 1345 markings, 1344 edges, 9 markings/sec, 180 secs
lola: 1 tries, 1653 fired transitions, 185 secs || 1392 markings, 1391 edges, 9 markings/sec, 185 secs
lola: 1 tries, 1700 fired transitions, 190 secs || 1439 markings, 1438 edges, 9 markings/sec, 190 secs
lola: 1 tries, 1746 fired transitions, 195 secs || 1485 markings, 1484 edges, 9 markings/sec, 195 secs
lola: 1 tries, 1792 fired transitions, 200 secs || 1530 markings, 1529 edges, 9 markings/sec, 200 secs
lola: 1 tries, 1838 fired transitions, 205 secs || 1575 markings, 1574 edges, 9 markings/sec, 205 secs
lola: 1 tries, 1885 fired transitions, 210 secs || 1622 markings, 1621 edges, 9 markings/sec, 210 secs
lola: 1 tries, 1931 fired transitions, 215 secs || 1668 markings, 1667 edges, 9 markings/sec, 215 secs
lola: 1 tries, 1977 fired transitions, 220 secs || 1714 markings, 1713 edges, 9 markings/sec, 220 secs
lola: 1 tries, 2023 fired transitions, 225 secs || 1759 markings, 1758 edges, 9 markings/sec, 225 secs
lola: 1 tries, 2069 fired transitions, 230 secs || 1805 markings, 1804 edges, 9 markings/sec, 230 secs
lola: 1 tries, 2116 fired transitions, 235 secs || 1852 markings, 1851 edges, 9 markings/sec, 235 secs
lola: 1 tries, 2162 fired transitions, 240 secs || 1898 markings, 1897 edges, 9 markings/sec, 240 secs
lola: 1 tries, 2209 fired transitions, 245 secs || 1945 markings, 1944 edges, 9 markings/sec, 245 secs
lola: 1 tries, 2255 fired transitions, 250 secs || 1991 markings, 1990 edges, 9 markings/sec, 250 secs
lola: 1 tries, 2301 fired transitions, 255 secs || 2037 markings, 2036 edges, 9 markings/sec, 255 secs
lola: 1 tries, 2349 fired transitions, 260 secs || 2086 markings, 2085 edges, 10 markings/sec, 260 secs
lola: 1 tries, 2398 fired transitions, 265 secs || 2135 markings, 2134 edges, 10 markings/sec, 265 secs
lola: 1 tries, 2449 fired transitions, 270 secs || 2186 markings, 2185 edges, 10 markings/sec, 270 secs
lola: 1 tries, 2500 fired transitions, 275 secs || 2237 markings, 2236 edges, 10 markings/sec, 275 secs
lola: 1 tries, 2552 fired transitions, 280 secs || 2289 markings, 2288 edges, 10 markings/sec, 280 secs
lola: 1 tries, 2603 fired transitions, 285 secs || 2340 markings, 2339 edges, 10 markings/sec, 285 secs
lola: 1 tries, 2654 fired transitions, 290 secs || 2391 markings, 2390 edges, 10 markings/sec, 290 secs
lola: 1 tries, 2706 fired transitions, 295 secs || 2443 markings, 2442 edges, 10 markings/sec, 295 secs
lola: 1 tries, 2757 fired transitions, 300 secs || 2494 markings, 2493 edges, 10 markings/sec, 300 secs
lola: 1 tries, 2809 fired transitions, 305 secs || 2546 markings, 2545 edges, 10 markings/sec, 305 secs
lola: 1 tries, 2860 fired transitions, 310 secs || 2597 markings, 2596 edges, 10 markings/sec, 310 secs
lola: 1 tries, 2911 fired transitions, 315 secs || 2648 markings, 2647 edges, 10 markings/sec, 315 secs
lola: 1 tries, 2962 fired transitions, 320 secs || 2699 markings, 2698 edges, 10 markings/sec, 320 secs
lola: 1 tries, 3014 fired transitions, 325 secs || 2751 markings, 2750 edges, 10 markings/sec, 325 secs
lola: 1 tries, 3065 fired transitions, 330 secs || 2802 markings, 2801 edges, 10 markings/sec, 330 secs
lola: 1 tries, 3116 fired transitions, 335 secs || 2853 markings, 2852 edges, 10 markings/sec, 335 secs
lola: 1 tries, 3168 fired transitions, 340 secs || 2905 markings, 2904 edges, 10 markings/sec, 340 secs
lola: 1 tries, 3220 fired transitions, 345 secs || 2957 markings, 2956 edges, 10 markings/sec, 345 secs
lola: 1 tries, 3272 fired transitions, 350 secs || 3009 markings, 3008 edges, 10 markings/sec, 350 secs
lola: 1 tries, 3324 fired transitions, 355 secs || 3061 markings, 3060 edges, 10 markings/sec, 355 secs
lola: 1 tries, 3375 fired transitions, 360 secs || 3112 markings, 3111 edges, 10 markings/sec, 360 secs
lola: 1 tries, 3427 fired transitions, 365 secs || 3164 markings, 3163 edges, 10 markings/sec, 365 secs
lola: 1 tries, 3479 fired transitions, 370 secs || 3216 markings, 3215 edges, 10 markings/sec, 370 secs
lola: 1 tries, 3531 fired transitions, 375 secs || 3268 markings, 3267 edges, 10 markings/sec, 375 secs
lola: 1 tries, 3583 fired transitions, 380 secs || 3320 markings, 3319 edges, 10 markings/sec, 380 secs
lola: 1 tries, 3636 fired transitions, 385 secs || 3373 markings, 3372 edges, 11 markings/sec, 385 secs
lola: 1 tries, 3688 fired transitions, 390 secs || 3425 markings, 3424 edges, 10 markings/sec, 390 secs
lola: 1 tries, 3740 fired transitions, 395 secs || 3477 markings, 3476 edges, 10 markings/sec, 395 secs
lola: 1 tries, 3792 fired transitions, 400 secs || 3529 markings, 3528 edges, 10 markings/sec, 400 secs
lola: 1 tries, 3844 fired transitions, 405 secs || 3581 markings, 3580 edges, 10 markings/sec, 405 secs
lola: 1 tries, 3896 fired transitions, 410 secs || 3633 markings, 3632 edges, 10 markings/sec, 410 secs
lola: 1 tries, 3947 fired transitions, 415 secs || 3684 markings, 3683 edges, 10 markings/sec, 415 secs
lola: 1 tries, 3999 fired transitions, 420 secs || 3736 markings, 3735 edges, 10 markings/sec, 420 secs
lola: 1 tries, 4051 fired transitions, 425 secs || 3788 markings, 3787 edges, 10 markings/sec, 425 secs
lola: 1 tries, 4103 fired transitions, 430 secs || 3840 markings, 3839 edges, 10 markings/sec, 430 secs
lola: 1 tries, 4155 fired transitions, 435 secs || 3892 markings, 3891 edges, 10 markings/sec, 435 secs
lola: 1 tries, 4207 fired transitions, 440 secs || 3944 markings, 3943 edges, 10 markings/sec, 440 secs
lola: 1 tries, 4259 fired transitions, 445 secs || 3996 markings, 3995 edges, 10 markings/sec, 445 secs
lola: 1 tries, 4311 fired transitions, 450 secs || 4048 markings, 4047 edges, 10 markings/sec, 450 secs
lola: 1 tries, 4364 fired transitions, 455 secs || 4101 markings, 4100 edges, 11 markings/sec, 455 secs
lola: 1 tries, 4416 fired transitions, 460 secs || 4153 markings, 4152 edges, 10 markings/sec, 460 secs
lola: 1 tries, 4468 fired transitions, 465 secs || 4205 markings, 4204 edges, 10 markings/sec, 465 secs
lola: 1 tries, 4518 fired transitions, 470 secs || 4255 markings, 4254 edges, 10 markings/sec, 470 secs
lola: 1 tries, 4569 fired transitions, 475 secs || 4306 markings, 4305 edges, 10 markings/sec, 475 secs
lola: 1 tries, 4619 fired transitions, 480 secs || 4356 markings, 4355 edges, 10 markings/sec, 480 secs
lola: 1 tries, 4669 fired transitions, 485 secs || 4406 markings, 4405 edges, 10 markings/sec, 485 secs
lola: 1 tries, 4719 fired transitions, 490 secs || 4456 markings, 4455 edges, 10 markings/sec, 490 secs
lola: 1 tries, 4770 fired transitions, 495 secs || 4507 markings, 4506 edges, 10 markings/sec, 495 secs
lola: 1 tries, 4820 fired transitions, 500 secs || 4557 markings, 4556 edges, 10 markings/sec, 500 secs
lola: 1 tries, 4871 fired transitions, 505 secs || 4608 markings, 4607 edges, 10 markings/sec, 505 secs
lola: 1 tries, 4921 fired transitions, 510 secs || 4658 markings, 4657 edges, 10 markings/sec, 510 secs
lola: 1 tries, 4971 fired transitions, 515 secs || 4708 markings, 4707 edges, 10 markings/sec, 515 secs
lola: 1 tries, 5022 fired transitions, 520 secs || 4759 markings, 4758 edges, 10 markings/sec, 520 secs
lola: 1 tries, 5070 fired transitions, 525 secs || 4808 markings, 4807 edges, 10 markings/sec, 525 secs
lola: 1 tries, 5117 fired transitions, 530 secs || 4856 markings, 4855 edges, 10 markings/sec, 530 secs
lola: 1 tries, 5168 fired transitions, 535 secs || 4907 markings, 4906 edges, 10 markings/sec, 535 secs
lola: 1 tries, 5218 fired transitions, 540 secs || 4957 markings, 4956 edges, 10 markings/sec, 540 secs
lola: 1 tries, 5269 fired transitions, 545 secs || 5008 markings, 5007 edges, 10 markings/sec, 545 secs
lola: 1 tries, 5319 fired transitions, 550 secs || 5058 markings, 5057 edges, 10 markings/sec, 550 secs
lola: 1 tries, 5369 fired transitions, 555 secs || 5108 markings, 5107 edges, 10 markings/sec, 555 secs
lola: 1 tries, 5420 fired transitions, 560 secs || 5159 markings, 5158 edges, 10 markings/sec, 560 secs
lola: 1 tries, 5470 fired transitions, 565 secs || 5209 markings, 5208 edges, 10 markings/sec, 565 secs
lola: 1 tries, 5521 fired transitions, 570 secs || 5260 markings, 5259 edges, 10 markings/sec, 570 secs
lola: 1 tries, 5571 fired transitions, 575 secs || 5310 markings, 5309 edges, 10 markings/sec, 575 secs
lola: 1 tries, 5621 fired transitions, 580 secs || 5360 markings, 5359 edges, 10 markings/sec, 580 secs
lola: 1 tries, 5672 fired transitions, 585 secs || 5411 markings, 5410 edges, 10 markings/sec, 585 secs
lola: 1 tries, 5722 fired transitions, 590 secs || 5461 markings, 5460 edges, 10 markings/sec, 590 secs
lola: 1 tries, 5773 fired transitions, 595 secs || 5512 markings, 5511 edges, 10 markings/sec, 595 secs
lola: 1 tries, 5824 fired transitions, 600 secs || 5563 markings, 5562 edges, 10 markings/sec, 600 secs
lola: 1 tries, 5875 fired transitions, 605 secs || 5614 markings, 5613 edges, 10 markings/sec, 605 secs
lola: 1 tries, 5926 fired transitions, 610 secs || 5665 markings, 5664 edges, 10 markings/sec, 610 secs
lola: 1 tries, 5977 fired transitions, 615 secs || 5716 markings, 5715 edges, 10 markings/sec, 615 secs
lola: 1 tries, 6028 fired transitions, 620 secs || 5767 markings, 5766 edges, 10 markings/sec, 620 secs
lola: 1 tries, 6079 fired transitions, 625 secs || 5818 markings, 5817 edges, 10 markings/sec, 625 secs
lola: 1 tries, 6130 fired transitions, 630 secs || 5869 markings, 5868 edges, 10 markings/sec, 630 secs
lola: 1 tries, 6181 fired transitions, 635 secs || 5920 markings, 5919 edges, 10 markings/sec, 635 secs
lola: 1 tries, 6231 fired transitions, 640 secs || 5970 markings, 5969 edges, 10 markings/sec, 640 secs
lola: 1 tries, 6282 fired transitions, 645 secs || 6021 markings, 6020 edges, 10 markings/sec, 645 secs
lola: 1 tries, 6333 fired transitions, 650 secs || 6072 markings, 6071 edges, 10 markings/sec, 650 secs
lola: 1 tries, 6384 fired transitions, 655 secs || 6123 markings, 6122 edges, 10 markings/sec, 655 secs
lola: 1 tries, 6434 fired transitions, 660 secs || 6173 markings, 6172 edges, 10 markings/sec, 660 secs
lola: 1 tries, 6484 fired transitions, 665 secs || 6223 markings, 6222 edges, 10 markings/sec, 665 secs
lola: 1 tries, 6535 fired transitions, 670 secs || 6274 markings, 6273 edges, 10 markings/sec, 670 secs
lola: 1 tries, 6585 fired transitions, 675 secs || 6324 markings, 6323 edges, 10 markings/sec, 675 secs
lola: 1 tries, 6636 fired transitions, 680 secs || 6375 markings, 6374 edges, 10 markings/sec, 680 secs
lola: 1 tries, 6687 fired transitions, 685 secs || 6426 markings, 6425 edges, 10 markings/sec, 685 secs
lola: 1 tries, 6738 fired transitions, 690 secs || 6477 markings, 6476 edges, 10 markings/sec, 690 secs
lola: 1 tries, 6788 fired transitions, 695 secs || 6527 markings, 6526 edges, 10 markings/sec, 695 secs
lola: 1 tries, 6840 fired transitions, 700 secs || 6579 markings, 6578 edges, 10 markings/sec, 700 secs
lola: 1 tries, 6891 fired transitions, 705 secs || 6630 markings, 6629 edges, 10 markings/sec, 705 secs
lola: 1 tries, 6942 fired transitions, 710 secs || 6681 markings, 6680 edges, 10 markings/sec, 710 secs
lola: 1 tries, 6993 fired transitions, 715 secs || 6732 markings, 6731 edges, 10 markings/sec, 715 secs
lola: 1 tries, 7043 fired transitions, 720 secs || 6782 markings, 6781 edges, 10 markings/sec, 720 secs
lola: 1 tries, 7094 fired transitions, 725 secs || 6833 markings, 6832 edges, 10 markings/sec, 725 secs
lola: 1 tries, 7146 fired transitions, 730 secs || 6885 markings, 6884 edges, 10 markings/sec, 730 secs
lola: 1 tries, 7198 fired transitions, 735 secs || 6937 markings, 6936 edges, 10 markings/sec, 735 secs
lola: 1 tries, 7247 fired transitions, 740 secs || 6985 markings, 6984 edges, 10 markings/sec, 740 secs
lola: 1 tries, 7295 fired transitions, 745 secs || 7033 markings, 7032 edges, 10 markings/sec, 745 secs
lola: 1 tries, 7345 fired transitions, 750 secs || 7083 markings, 7082 edges, 10 markings/sec, 750 secs
lola: 1 tries, 7397 fired transitions, 755 secs || 7135 markings, 7134 edges, 10 markings/sec, 755 secs
lola: 1 tries, 7449 fired transitions, 760 secs || 7187 markings, 7186 edges, 10 markings/sec, 760 secs
lola: 1 tries, 7499 fired transitions, 765 secs || 7237 markings, 7236 edges, 10 markings/sec, 765 secs
lola: 1 tries, 7548 fired transitions, 770 secs || 7287 markings, 7286 edges, 10 markings/sec, 770 secs
lola: 1 tries, 7599 fired transitions, 775 secs || 7338 markings, 7337 edges, 10 markings/sec, 775 secs
lola: 1 tries, 7649 fired transitions, 780 secs || 7388 markings, 7387 edges, 10 markings/sec, 780 secs
lola: 1 tries, 7700 fired transitions, 785 secs || 7439 markings, 7438 edges, 10 markings/sec, 785 secs
lola: 1 tries, 7750 fired transitions, 790 secs || 7489 markings, 7488 edges, 10 markings/sec, 790 secs
lola: 1 tries, 7798 fired transitions, 795 secs || 7538 markings, 7537 edges, 10 markings/sec, 795 secs
lola: 1 tries, 7848 fired transitions, 800 secs || 7588 markings, 7587 edges, 10 markings/sec, 800 secs
lola: 1 tries, 7899 fired transitions, 805 secs || 7639 markings, 7638 edges, 10 markings/sec, 805 secs
lola: 1 tries, 7949 fired transitions, 810 secs || 7689 markings, 7688 edges, 10 markings/sec, 810 secs
lola: 1 tries, 8000 fired transitions, 815 secs || 7740 markings, 7739 edges, 10 markings/sec, 815 secs
lola: 1 tries, 8050 fired transitions, 820 secs || 7790 markings, 7789 edges, 10 markings/sec, 820 secs
lola: 1 tries, 8099 fired transitions, 825 secs || 7840 markings, 7839 edges, 10 markings/sec, 825 secs
lola: 1 tries, 8150 fired transitions, 830 secs || 7891 markings, 7890 edges, 10 markings/sec, 830 secs
lola: 1 tries, 8202 fired transitions, 835 secs || 7943 markings, 7942 edges, 10 markings/sec, 835 secs
lola: 1 tries, 8253 fired transitions, 840 secs || 7994 markings, 7993 edges, 10 markings/sec, 840 secs
lola: 1 tries, 8305 fired transitions, 845 secs || 8046 markings, 8045 edges, 10 markings/sec, 845 secs
lola: 1 tries, 8357 fired transitions, 850 secs || 8098 markings, 8097 edges, 10 markings/sec, 850 secs
lola: 1 tries, 8409 fired transitions, 855 secs || 8150 markings, 8149 edges, 10 markings/sec, 855 secs
lola: 1 tries, 8461 fired transitions, 860 secs || 8202 markings, 8201 edges, 10 markings/sec, 860 secs
lola: 1 tries, 8513 fired transitions, 865 secs || 8254 markings, 8253 edges, 10 markings/sec, 865 secs
lola: 1 tries, 8565 fired transitions, 870 secs || 8306 markings, 8305 edges, 10 markings/sec, 870 secs
lola: 1 tries, 8617 fired transitions, 875 secs || 8358 markings, 8357 edges, 10 markings/sec, 875 secs
lola: 1 tries, 8672 fired transitions, 880 secs || 8413 markings, 8412 edges, 11 markings/sec, 880 secs
lola: 1 tries, 8726 fired transitions, 885 secs || 8467 markings, 8466 edges, 11 markings/sec, 885 secs
lola: 1 tries, 8781 fired transitions, 890 secs || 8522 markings, 8521 edges, 11 markings/sec, 890 secs
lola: 1 tries, 8836 fired transitions, 895 secs || 8577 markings, 8576 edges, 11 markings/sec, 895 secs
lola: 1 tries, 8891 fired transitions, 900 secs || 8632 markings, 8631 edges, 11 markings/sec, 900 secs
lola: 1 tries, 8947 fired transitions, 905 secs || 8688 markings, 8687 edges, 11 markings/sec, 905 secs
lola: 1 tries, 9002 fired transitions, 910 secs || 8743 markings, 8742 edges, 11 markings/sec, 910 secs
lola: 1 tries, 9057 fired transitions, 915 secs || 8798 markings, 8797 edges, 11 markings/sec, 915 secs
lola: 1 tries, 9112 fired transitions, 920 secs || 8853 markings, 8852 edges, 11 markings/sec, 920 secs
lola: 1 tries, 9168 fired transitions, 925 secs || 8909 markings, 8908 edges, 11 markings/sec, 925 secs
lola: 1 tries, 9223 fired transitions, 930 secs || 8964 markings, 8963 edges, 11 markings/sec, 930 secs
lola: 1 tries, 9279 fired transitions, 935 secs || 9020 markings, 9019 edges, 11 markings/sec, 935 secs
lola: 1 tries, 9334 fired transitions, 940 secs || 9075 markings, 9074 edges, 11 markings/sec, 940 secs
lola: 1 tries, 9390 fired transitions, 945 secs || 9131 markings, 9130 edges, 11 markings/sec, 945 secs
lola: 1 tries, 9446 fired transitions, 950 secs || 9187 markings, 9186 edges, 11 markings/sec, 950 secs
lola: 1 tries, 9501 fired transitions, 955 secs || 9242 markings, 9241 edges, 11 markings/sec, 955 secs
lola: 1 tries, 9557 fired transitions, 960 secs || 9298 markings, 9297 edges, 11 markings/sec, 960 secs
lola: 1 tries, 9612 fired transitions, 965 secs || 9353 markings, 9352 edges, 11 markings/sec, 965 secs
lola: 1 tries, 9668 fired transitions, 970 secs || 9409 markings, 9408 edges, 11 markings/sec, 970 secs
lola: 1 tries, 9723 fired transitions, 975 secs || 9464 markings, 9463 edges, 11 markings/sec, 975 secs
lola: 1 tries, 9779 fired transitions, 980 secs || 9520 markings, 9519 edges, 11 markings/sec, 980 secs
lola: 1 tries, 9834 fired transitions, 985 secs || 9575 markings, 9574 edges, 11 markings/sec, 985 secs
lola: 1 tries, 9890 fired transitions, 990 secs || 9631 markings, 9630 edges, 11 markings/sec, 990 secs
lola: 1 tries, 9945 fired transitions, 995 secs || 9686 markings, 9685 edges, 11 markings/sec, 995 secs
lola: 1 tries, 10000 fired transitions, 1000 secs || 9741 markings, 9740 edges, 11 markings/sec, 1000 secs
lola: 1 tries, 10056 fired transitions, 1005 secs || 9797 markings, 9796 edges, 11 markings/sec, 1005 secs
lola: 1 tries, 10111 fired transitions, 1010 secs || 9852 markings, 9851 edges, 11 markings/sec, 1010 secs
lola: 1 tries, 10167 fired transitions, 1015 secs || 9908 markings, 9907 edges, 11 markings/sec, 1015 secs
lola: 1 tries, 10223 fired transitions, 1020 secs || 9964 markings, 9963 edges, 11 markings/sec, 1020 secs
lola: 1 tries, 10280 fired transitions, 1025 secs || 10021 markings, 10020 edges, 11 markings/sec, 1025 secs
lola: 1 tries, 10335 fired transitions, 1030 secs || 10076 markings, 10075 edges, 11 markings/sec, 1030 secs
lola: 1 tries, 10389 fired transitions, 1035 secs || 10130 markings, 10129 edges, 11 markings/sec, 1035 secs
lola: 1 tries, 10443 fired transitions, 1040 secs || 10184 markings, 10183 edges, 11 markings/sec, 1040 secs
lola: 1 tries, 10497 fired transitions, 1045 secs || 10238 markings, 10237 edges, 11 markings/sec, 1045 secs
lola: 1 tries, 10552 fired transitions, 1050 secs || 10293 markings, 10292 edges, 11 markings/sec, 1050 secs
lola: 1 tries, 10605 fired transitions, 1055 secs || 10346 markings, 10345 edges, 11 markings/sec, 1055 secs
lola: 1 tries, 10658 fired transitions, 1060 secs || 10399 markings, 10398 edges, 11 markings/sec, 1060 secs
lola: 1 tries, 10712 fired transitions, 1065 secs || 10453 markings, 10452 edges, 11 markings/sec, 1065 secs
lola: 1 tries, 10765 fired transitions, 1070 secs || 10506 markings, 10505 edges, 11 markings/sec, 1070 secs
lola: 1 tries, 10819 fired transitions, 1075 secs || 10560 markings, 10559 edges, 11 markings/sec, 1075 secs
lola: 1 tries, 10872 fired transitions, 1080 secs || 10613 markings, 10612 edges, 11 markings/sec, 1080 secs
lola: 1 tries, 10925 fired transitions, 1085 secs || 10666 markings, 10665 edges, 11 markings/sec, 1085 secs
lola: 1 tries, 10979 fired transitions, 1090 secs || 10720 markings, 10719 edges, 11 markings/sec, 1090 secs
lola: 1 tries, 11032 fired transitions, 1095 secs || 10773 markings, 10772 edges, 11 markings/sec, 1095 secs
lola: 1 tries, 11086 fired transitions, 1100 secs || 10827 markings, 10826 edges, 11 markings/sec, 1100 secs
lola: 1 tries, 11139 fired transitions, 1105 secs || 10880 markings, 10879 edges, 11 markings/sec, 1105 secs
lola: 1 tries, 11193 fired transitions, 1110 secs || 10934 markings, 10933 edges, 11 markings/sec, 1110 secs
lola: 1 tries, 11246 fired transitions, 1115 secs || 10987 markings, 10986 edges, 11 markings/sec, 1115 secs
lola: 1 tries, 11299 fired transitions, 1120 secs || 11040 markings, 11039 edges, 11 markings/sec, 1120 secs
lola: 1 tries, 11353 fired transitions, 1125 secs || 11094 markings, 11093 edges, 11 markings/sec, 1125 secs
lola: 1 tries, 11407 fired transitions, 1130 secs || 11148 markings, 11147 edges, 11 markings/sec, 1130 secs
lola: 1 tries, 11461 fired transitions, 1135 secs || 11202 markings, 11201 edges, 11 markings/sec, 1135 secs
lola: 1 tries, 11515 fired transitions, 1140 secs || 11256 markings, 11255 edges, 11 markings/sec, 1140 secs
lola: 1 tries, 11570 fired transitions, 1145 secs || 11311 markings, 11310 edges, 11 markings/sec, 1145 secs
lola: 1 tries, 11625 fired transitions, 1150 secs || 11366 markings, 11365 edges, 11 markings/sec, 1150 secs
lola: 1 tries, 11680 fired transitions, 1155 secs || 11421 markings, 11420 edges, 11 markings/sec, 1155 secs
lola: 1 tries, 11735 fired transitions, 1160 secs || 11476 markings, 11475 edges, 11 markings/sec, 1160 secs
lola: 1 tries, 11790 fired transitions, 1165 secs || 11531 markings, 11530 edges, 11 markings/sec, 1165 secs
lola: 1 tries, 11844 fired transitions, 1170 secs || 11586 markings, 11585 edges, 11 markings/sec, 1170 secs
lola: 1 tries, 11899 fired transitions, 1175 secs || 11640 markings, 11639 edges, 11 markings/sec, 1175 secs
lola: 1 tries, 11954 fired transitions, 1180 secs || 11695 markings, 11694 edges, 11 markings/sec, 1180 secs
lola: 1 tries, 12009 fired transitions, 1185 secs || 11750 markings, 11749 edges, 11 markings/sec, 1185 secs
lola: 1 tries, 12064 fired transitions, 1190 secs || 11805 markings, 11804 edges, 11 markings/sec, 1190 secs
lola: 1 tries, 12119 fired transitions, 1195 secs || 11860 markings, 11859 edges, 11 markings/sec, 1195 secs
lola: 1 tries, 12175 fired transitions, 1200 secs || 11915 markings, 11914 edges, 11 markings/sec, 1200 secs
lola: 1 tries, 12230 fired transitions, 1205 secs || 11971 markings, 11970 edges, 11 markings/sec, 1205 secs
lola: 1 tries, 12285 fired transitions, 1210 secs || 12026 markings, 12025 edges, 11 markings/sec, 1210 secs
lola: 1 tries, 12341 fired transitions, 1215 secs || 12082 markings, 12081 edges, 11 markings/sec, 1215 secs
lola: 1 tries, 12396 fired transitions, 1220 secs || 12137 markings, 12136 edges, 11 markings/sec, 1220 secs
lola: 1 tries, 12451 fired transitions, 1225 secs || 12192 markings, 12191 edges, 11 markings/sec, 1225 secs
lola: 1 tries, 12506 fired transitions, 1230 secs || 12247 markings, 12246 edges, 11 markings/sec, 1230 secs
lola: 1 tries, 12560 fired transitions, 1235 secs || 12301 markings, 12300 edges, 11 markings/sec, 1235 secs
lola: 1 tries, 12612 fired transitions, 1240 secs || 12353 markings, 12352 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 12665 fired transitions, 1245 secs || 12406 markings, 12405 edges, 11 markings/sec, 1245 secs
lola: 1 tries, 12718 fired transitions, 1250 secs || 12459 markings, 12458 edges, 11 markings/sec, 1250 secs
lola: 1 tries, 12771 fired transitions, 1255 secs || 12511 markings, 12510 edges, 10 markings/sec, 1255 secs
lola: 1 tries, 12824 fired transitions, 1260 secs || 12565 markings, 12564 edges, 11 markings/sec, 1260 secs
lola: 1 tries, 12877 fired transitions, 1265 secs || 12618 markings, 12617 edges, 11 markings/sec, 1265 secs
lola: 1 tries, 12930 fired transitions, 1270 secs || 12671 markings, 12670 edges, 11 markings/sec, 1270 secs
lola: 1 tries, 12983 fired transitions, 1275 secs || 12724 markings, 12723 edges, 11 markings/sec, 1275 secs
lola: 1 tries, 13035 fired transitions, 1280 secs || 12776 markings, 12775 edges, 10 markings/sec, 1280 secs
lola: 1 tries, 13084 fired transitions, 1285 secs || 12827 markings, 12826 edges, 10 markings/sec, 1285 secs
lola: 1 tries, 13136 fired transitions, 1290 secs || 12879 markings, 12878 edges, 10 markings/sec, 1290 secs
lola: 1 tries, 13186 fired transitions, 1295 secs || 12930 markings, 12929 edges, 10 markings/sec, 1295 secs
lola: 1 tries, 13238 fired transitions, 1300 secs || 12982 markings, 12981 edges, 10 markings/sec, 1300 secs
lola: 1 tries, 13290 fired transitions, 1305 secs || 13034 markings, 13033 edges, 10 markings/sec, 1305 secs
lola: 1 tries, 13341 fired transitions, 1310 secs || 13085 markings, 13084 edges, 10 markings/sec, 1310 secs
lola: 1 tries, 13392 fired transitions, 1315 secs || 13136 markings, 13135 edges, 10 markings/sec, 1315 secs
lola: 1 tries, 13443 fired transitions, 1320 secs || 13187 markings, 13186 edges, 10 markings/sec, 1320 secs
lola: 1 tries, 13494 fired transitions, 1325 secs || 13238 markings, 13237 edges, 10 markings/sec, 1325 secs
lola: 1 tries, 13546 fired transitions, 1330 secs || 13290 markings, 13289 edges, 10 markings/sec, 1330 secs
lola: 1 tries, 13597 fired transitions, 1335 secs || 13341 markings, 13340 edges, 10 markings/sec, 1335 secs
lola: 1 tries, 13649 fired transitions, 1340 secs || 13393 markings, 13392 edges, 10 markings/sec, 1340 secs
lola: 1 tries, 13701 fired transitions, 1345 secs || 13445 markings, 13444 edges, 10 markings/sec, 1345 secs
lola: 1 tries, 13753 fired transitions, 1350 secs || 13497 markings, 13496 edges, 10 markings/sec, 1350 secs
lola: 1 tries, 13804 fired transitions, 1355 secs || 13548 markings, 13547 edges, 10 markings/sec, 1355 secs
lola: 1 tries, 13856 fired transitions, 1360 secs || 13600 markings, 13599 edges, 10 markings/sec, 1360 secs
lola: 1 tries, 13907 fired transitions, 1365 secs || 13651 markings, 13650 edges, 10 markings/sec, 1365 secs
lola: 1 tries, 13959 fired transitions, 1370 secs || 13703 markings, 13702 edges, 10 markings/sec, 1370 secs
lola: 1 tries, 14011 fired transitions, 1375 secs || 13755 markings, 13754 edges, 10 markings/sec, 1375 secs
lola: 1 tries, 14062 fired transitions, 1380 secs || 13806 markings, 13805 edges, 10 markings/sec, 1380 secs
lola: 1 tries, 14113 fired transitions, 1385 secs || 13857 markings, 13856 edges, 10 markings/sec, 1385 secs
lola: 1 tries, 14164 fired transitions, 1390 secs || 13908 markings, 13907 edges, 10 markings/sec, 1390 secs
lola: 1 tries, 14215 fired transitions, 1395 secs || 13959 markings, 13958 edges, 10 markings/sec, 1395 secs
lola: 1 tries, 14267 fired transitions, 1400 secs || 14011 markings, 14010 edges, 10 markings/sec, 1400 secs
lola: 1 tries, 14318 fired transitions, 1405 secs || 14062 markings, 14061 edges, 10 markings/sec, 1405 secs
lola: 1 tries, 14370 fired transitions, 1410 secs || 14114 markings, 14113 edges, 10 markings/sec, 1410 secs
lola: 1 tries, 14421 fired transitions, 1415 secs || 14165 markings, 14164 edges, 10 markings/sec, 1415 secs
lola: 1 tries, 14473 fired transitions, 1420 secs || 14217 markings, 14216 edges, 10 markings/sec, 1420 secs
lola: 1 tries, 14524 fired transitions, 1425 secs || 14268 markings, 14267 edges, 10 markings/sec, 1425 secs
lola: 1 tries, 14575 fired transitions, 1430 secs || 14319 markings, 14318 edges, 10 markings/sec, 1430 secs
lola: 1 tries, 14626 fired transitions, 1435 secs || 14370 markings, 14369 edges, 10 markings/sec, 1435 secs
lola: 1 tries, 14678 fired transitions, 1440 secs || 14422 markings, 14421 edges, 10 markings/sec, 1440 secs
lola: 1 tries, 14729 fired transitions, 1445 secs || 14473 markings, 14472 edges, 10 markings/sec, 1445 secs
lola: 1 tries, 14781 fired transitions, 1450 secs || 14525 markings, 14524 edges, 10 markings/sec, 1450 secs
lola: 1 tries, 14833 fired transitions, 1455 secs || 14577 markings, 14576 edges, 10 markings/sec, 1455 secs
lola: 1 tries, 14885 fired transitions, 1460 secs || 14629 markings, 14628 edges, 10 markings/sec, 1460 secs
lola: 1 tries, 14937 fired transitions, 1465 secs || 14681 markings, 14680 edges, 10 markings/sec, 1465 secs
lola: 1 tries, 14988 fired transitions, 1470 secs || 14732 markings, 14731 edges, 10 markings/sec, 1470 secs
lola: 1 tries, 15039 fired transitions, 1475 secs || 14783 markings, 14782 edges, 10 markings/sec, 1475 secs
lola: 1 tries, 15091 fired transitions, 1480 secs || 14835 markings, 14834 edges, 10 markings/sec, 1480 secs
lola: 1 tries, 15142 fired transitions, 1485 secs || 14886 markings, 14885 edges, 10 markings/sec, 1485 secs
lola: 1 tries, 15194 fired transitions, 1490 secs || 14938 markings, 14937 edges, 10 markings/sec, 1490 secs
lola: 1 tries, 15245 fired transitions, 1495 secs || 14989 markings, 14988 edges, 10 markings/sec, 1495 secs
lola: 1 tries, 15297 fired transitions, 1500 secs || 15041 markings, 15040 edges, 10 markings/sec, 1500 secs
lola: 1 tries, 15348 fired transitions, 1505 secs || 15092 markings, 15091 edges, 10 markings/sec, 1505 secs
lola: 1 tries, 15401 fired transitions, 1510 secs || 15145 markings, 15144 edges, 11 markings/sec, 1510 secs
lola: 1 tries, 15453 fired transitions, 1515 secs || 15197 markings, 15196 edges, 10 markings/sec, 1515 secs
lola: 1 tries, 15505 fired transitions, 1520 secs || 15249 markings, 15248 edges, 10 markings/sec, 1520 secs
lola: 1 tries, 15557 fired transitions, 1525 secs || 15301 markings, 15300 edges, 10 markings/sec, 1525 secs
lola: 1 tries, 15609 fired transitions, 1530 secs || 15353 markings, 15352 edges, 10 markings/sec, 1530 secs
lola: 1 tries, 15660 fired transitions, 1535 secs || 15404 markings, 15403 edges, 10 markings/sec, 1535 secs
lola: 1 tries, 15712 fired transitions, 1540 secs || 15456 markings, 15455 edges, 10 markings/sec, 1540 secs
lola: 1 tries, 15764 fired transitions, 1545 secs || 15508 markings, 15507 edges, 10 markings/sec, 1545 secs
lola: 1 tries, 15817 fired transitions, 1550 secs || 15561 markings, 15560 edges, 11 markings/sec, 1550 secs
lola: 1 tries, 15867 fired transitions, 1555 secs || 15612 markings, 15611 edges, 10 markings/sec, 1555 secs
lola: 1 tries, 15918 fired transitions, 1560 secs || 15663 markings, 15662 edges, 10 markings/sec, 1560 secs
lola: 1 tries, 15970 fired transitions, 1565 secs || 15715 markings, 15714 edges, 10 markings/sec, 1565 secs
lola: 1 tries, 16021 fired transitions, 1570 secs || 15766 markings, 15765 edges, 10 markings/sec, 1570 secs
lola: 1 tries, 16073 fired transitions, 1575 secs || 15818 markings, 15817 edges, 10 markings/sec, 1575 secs
lola: 1 tries, 16125 fired transitions, 1580 secs || 15870 markings, 15869 edges, 10 markings/sec, 1580 secs
lola: 1 tries, 16177 fired transitions, 1585 secs || 15922 markings, 15921 edges, 10 markings/sec, 1585 secs
lola: 1 tries, 16229 fired transitions, 1590 secs || 15974 markings, 15973 edges, 10 markings/sec, 1590 secs
lola: 1 tries, 16280 fired transitions, 1595 secs || 16025 markings, 16024 edges, 10 markings/sec, 1595 secs
lola: 1 tries, 16331 fired transitions, 1600 secs || 16076 markings, 16075 edges, 10 markings/sec, 1600 secs
lola: 1 tries, 16383 fired transitions, 1605 secs || 16128 markings, 16127 edges, 10 markings/sec, 1605 secs
lola: 1 tries, 16434 fired transitions, 1610 secs || 16179 markings, 16178 edges, 10 markings/sec, 1610 secs
lola: 1 tries, 16485 fired transitions, 1615 secs || 16230 markings, 16229 edges, 10 markings/sec, 1615 secs
lola: 1 tries, 16535 fired transitions, 1620 secs || 16279 markings, 16278 edges, 10 markings/sec, 1620 secs
lola: 1 tries, 16586 fired transitions, 1625 secs || 16329 markings, 16328 edges, 10 markings/sec, 1625 secs
lola: 1 tries, 16639 fired transitions, 1630 secs || 16380 markings, 16379 edges, 10 markings/sec, 1630 secs
lola: 1 tries, 16689 fired transitions, 1635 secs || 16431 markings, 16430 edges, 10 markings/sec, 1635 secs
lola: 1 tries, 16740 fired transitions, 1640 secs || 16480 markings, 16479 edges, 10 markings/sec, 1640 secs
lola: 1 tries, 16790 fired transitions, 1645 secs || 16530 markings, 16529 edges, 10 markings/sec, 1645 secs
lola: 1 tries, 16840 fired transitions, 1650 secs || 16580 markings, 16579 edges, 10 markings/sec, 1650 secs
lola: 1 tries, 16889 fired transitions, 1655 secs || 16628 markings, 16627 edges, 10 markings/sec, 1655 secs
lola: 1 tries, 16939 fired transitions, 1660 secs || 16679 markings, 16678 edges, 10 markings/sec, 1660 secs
lola: 1 tries, 16990 fired transitions, 1665 secs || 16729 markings, 16728 edges, 10 markings/sec, 1665 secs
lola: 1 tries, 17041 fired transitions, 1670 secs || 16779 markings, 16778 edges, 10 markings/sec, 1670 secs
lola: 1 tries, 17091 fired transitions, 1675 secs || 16830 markings, 16829 edges, 10 markings/sec, 1675 secs
lola: 1 tries, 17142 fired transitions, 1680 secs || 16881 markings, 16880 edges, 10 markings/sec, 1680 secs
lola: 1 tries, 17192 fired transitions, 1685 secs || 16931 markings, 16930 edges, 10 markings/sec, 1685 secs
lola: 1 tries, 17242 fired transitions, 1690 secs || 16981 markings, 16980 edges, 10 markings/sec, 1690 secs
lola: 1 tries, 17292 fired transitions, 1695 secs || 17031 markings, 17030 edges, 10 markings/sec, 1695 secs
lola: 1 tries, 17343 fired transitions, 1700 secs || 17081 markings, 17080 edges, 10 markings/sec, 1700 secs
lola: 1 tries, 17392 fired transitions, 1705 secs || 17131 markings, 17130 edges, 10 markings/sec, 1705 secs
lola: 1 tries, 17443 fired transitions, 1710 secs || 17182 markings, 17181 edges, 10 markings/sec, 1710 secs
lola: 1 tries, 17494 fired transitions, 1715 secs || 17233 markings, 17232 edges, 10 markings/sec, 1715 secs
lola: 1 tries, 17545 fired transitions, 1720 secs || 17282 markings, 17281 edges, 10 markings/sec, 1720 secs
lola: 1 tries, 17600 fired transitions, 1725 secs || 17338 markings, 17337 edges, 11 markings/sec, 1725 secs
lola: 1 tries, 17656 fired transitions, 1730 secs || 17394 markings, 17393 edges, 11 markings/sec, 1730 secs
lola: 1 tries, 17710 fired transitions, 1735 secs || 17448 markings, 17447 edges, 11 markings/sec, 1735 secs
lola: 1 tries, 17765 fired transitions, 1740 secs || 17503 markings, 17502 edges, 11 markings/sec, 1740 secs
lola: 1 tries, 17819 fired transitions, 1745 secs || 17557 markings, 17556 edges, 11 markings/sec, 1745 secs
lola: 1 tries, 17871 fired transitions, 1750 secs || 17610 markings, 17609 edges, 11 markings/sec, 1750 secs
lola: 1 tries, 17926 fired transitions, 1755 secs || 17665 markings, 17664 edges, 11 markings/sec, 1755 secs
lola: 1 tries, 17981 fired transitions, 1760 secs || 17720 markings, 17719 edges, 11 markings/sec, 1760 secs
lola: 1 tries, 18035 fired transitions, 1765 secs || 17774 markings, 17773 edges, 11 markings/sec, 1765 secs
lola: 1 tries, 18089 fired transitions, 1770 secs || 17828 markings, 17827 edges, 11 markings/sec, 1770 secs
lola: 1 tries, 18143 fired transitions, 1775 secs || 17882 markings, 17881 edges, 11 markings/sec, 1775 secs
lola: 1 tries, 18197 fired transitions, 1780 secs || 17936 markings, 17935 edges, 11 markings/sec, 1780 secs
lola: 1 tries, 18249 fired transitions, 1785 secs || 17988 markings, 17987 edges, 10 markings/sec, 1785 secs
lola: 1 tries, 18301 fired transitions, 1790 secs || 18041 markings, 18040 edges, 11 markings/sec, 1790 secs
lola: 1 tries, 18354 fired transitions, 1795 secs || 18094 markings, 18093 edges, 11 markings/sec, 1795 secs
lola: 1 tries, 18407 fired transitions, 1800 secs || 18147 markings, 18146 edges, 11 markings/sec, 1800 secs
lola: 1 tries, 18462 fired transitions, 1805 secs || 18202 markings, 18201 edges, 11 markings/sec, 1805 secs
lola: 1 tries, 18515 fired transitions, 1810 secs || 18255 markings, 18254 edges, 11 markings/sec, 1810 secs
lola: 1 tries, 18569 fired transitions, 1815 secs || 18309 markings, 18308 edges, 11 markings/sec, 1815 secs
lola: 1 tries, 18622 fired transitions, 1820 secs || 18362 markings, 18361 edges, 11 markings/sec, 1820 secs
lola: 1 tries, 18675 fired transitions, 1825 secs || 18415 markings, 18414 edges, 11 markings/sec, 1825 secs
lola: 1 tries, 18729 fired transitions, 1830 secs || 18469 markings, 18468 edges, 11 markings/sec, 1830 secs
lola: 1 tries, 18783 fired transitions, 1835 secs || 18523 markings, 18522 edges, 11 markings/sec, 1835 secs
lola: 1 tries, 18836 fired transitions, 1840 secs || 18576 markings, 18575 edges, 11 markings/sec, 1840 secs
lola: 1 tries, 18890 fired transitions, 1845 secs || 18630 markings, 18629 edges, 11 markings/sec, 1845 secs
lola: 1 tries, 18943 fired transitions, 1850 secs || 18683 markings, 18682 edges, 11 markings/sec, 1850 secs
lola: 1 tries, 18996 fired transitions, 1855 secs || 18736 markings, 18735 edges, 11 markings/sec, 1855 secs
lola: 1 tries, 19050 fired transitions, 1860 secs || 18790 markings, 18789 edges, 11 markings/sec, 1860 secs
lola: 1 tries, 19103 fired transitions, 1865 secs || 18843 markings, 18842 edges, 11 markings/sec, 1865 secs
lola: 1 tries, 19158 fired transitions, 1870 secs || 18898 markings, 18897 edges, 11 markings/sec, 1870 secs
lola: 1 tries, 19212 fired transitions, 1875 secs || 18952 markings, 18951 edges, 11 markings/sec, 1875 secs
lola: 1 tries, 19267 fired transitions, 1880 secs || 19007 markings, 19006 edges, 11 markings/sec, 1880 secs
lola: 1 tries, 19321 fired transitions, 1885 secs || 19061 markings, 19060 edges, 11 markings/sec, 1885 secs
lola: 1 tries, 19374 fired transitions, 1890 secs || 19114 markings, 19113 edges, 11 markings/sec, 1890 secs
lola: 1 tries, 19428 fired transitions, 1895 secs || 19168 markings, 19167 edges, 11 markings/sec, 1895 secs
lola: 1 tries, 19481 fired transitions, 1900 secs || 19221 markings, 19220 edges, 11 markings/sec, 1900 secs
lola: 1 tries, 19535 fired transitions, 1905 secs || 19275 markings, 19274 edges, 11 markings/sec, 1905 secs
lola: 1 tries, 19589 fired transitions, 1910 secs || 19329 markings, 19328 edges, 11 markings/sec, 1910 secs
lola: 1 tries, 19643 fired transitions, 1915 secs || 19383 markings, 19382 edges, 11 markings/sec, 1915 secs
lola: 1 tries, 19698 fired transitions, 1920 secs || 19438 markings, 19437 edges, 11 markings/sec, 1920 secs
lola: 1 tries, 19753 fired transitions, 1925 secs || 19493 markings, 19492 edges, 11 markings/sec, 1925 secs
lola: 1 tries, 19808 fired transitions, 1930 secs || 19548 markings, 19547 edges, 11 markings/sec, 1930 secs
lola: 1 tries, 19862 fired transitions, 1935 secs || 19602 markings, 19601 edges, 11 markings/sec, 1935 secs
lola: 1 tries, 19917 fired transitions, 1940 secs || 19657 markings, 19656 edges, 11 markings/sec, 1940 secs
lola: 1 tries, 19971 fired transitions, 1945 secs || 19711 markings, 19710 edges, 11 markings/sec, 1945 secs
lola: 1 tries, 20025 fired transitions, 1950 secs || 19765 markings, 19764 edges, 11 markings/sec, 1950 secs
lola: 1 tries, 20079 fired transitions, 1955 secs || 19819 markings, 19818 edges, 11 markings/sec, 1955 secs
lola: 1 tries, 20133 fired transitions, 1960 secs || 19873 markings, 19872 edges, 11 markings/sec, 1960 secs
lola: 1 tries, 20187 fired transitions, 1965 secs || 19927 markings, 19926 edges, 11 markings/sec, 1965 secs
lola: 1 tries, 20242 fired transitions, 1970 secs || 19982 markings, 19981 edges, 11 markings/sec, 1970 secs
lola: 1 tries, 20296 fired transitions, 1975 secs || 20036 markings, 20035 edges, 11 markings/sec, 1975 secs
lola: 1 tries, 20350 fired transitions, 1980 secs || 20090 markings, 20089 edges, 11 markings/sec, 1980 secs
lola: 1 tries, 20405 fired transitions, 1985 secs || 20145 markings, 20144 edges, 11 markings/sec, 1985 secs
lola: 1 tries, 20459 fired transitions, 1990 secs || 20199 markings, 20198 edges, 11 markings/sec, 1990 secs
lola: 1 tries, 20513 fired transitions, 1995 secs || 20253 markings, 20252 edges, 11 markings/sec, 1995 secs
lola: 1 tries, 20567 fired transitions, 2000 secs || 20307 markings, 20306 edges, 11 markings/sec, 2000 secs
lola: 1 tries, 20621 fired transitions, 2005 secs || 20361 markings, 20360 edges, 11 markings/sec, 2005 secs
lola: 1 tries, 20676 fired transitions, 2010 secs || 20416 markings, 20415 edges, 11 markings/sec, 2010 secs
lola: 1 tries, 20730 fired transitions, 2015 secs || 20470 markings, 20469 edges, 11 markings/sec, 2015 secs
lola: 1 tries, 20785 fired transitions, 2020 secs || 20525 markings, 20524 edges, 11 markings/sec, 2020 secs
lola: 1 tries, 20840 fired transitions, 2025 secs || 20580 markings, 20579 edges, 11 markings/sec, 2025 secs
lola: 1 tries, 20894 fired transitions, 2030 secs || 20634 markings, 20633 edges, 11 markings/sec, 2030 secs
lola: 1 tries, 20949 fired transitions, 2035 secs || 20689 markings, 20688 edges, 11 markings/sec, 2035 secs
lola: 1 tries, 21003 fired transitions, 2040 secs || 20743 markings, 20742 edges, 11 markings/sec, 2040 secs
lola: 1 tries, 21057 fired transitions, 2045 secs || 20797 markings, 20796 edges, 11 markings/sec, 2045 secs
lola: 1 tries, 21112 fired transitions, 2050 secs || 20852 markings, 20851 edges, 11 markings/sec, 2050 secs
lola: 1 tries, 21166 fired transitions, 2055 secs || 20906 markings, 20905 edges, 11 markings/sec, 2055 secs
lola: 1 tries, 21221 fired transitions, 2060 secs || 20961 markings, 20960 edges, 11 markings/sec, 2060 secs
lola: 1 tries, 21276 fired transitions, 2065 secs || 21016 markings, 21015 edges, 11 markings/sec, 2065 secs
lola: 1 tries, 21331 fired transitions, 2070 secs || 21071 markings, 21070 edges, 11 markings/sec, 2070 secs
lola: 1 tries, 21386 fired transitions, 2075 secs || 21126 markings, 21125 edges, 11 markings/sec, 2075 secs
lola: 1 tries, 21442 fired transitions, 2080 secs || 21182 markings, 21181 edges, 11 markings/sec, 2080 secs
lola: 1 tries, 21497 fired transitions, 2085 secs || 21237 markings, 21236 edges, 11 markings/sec, 2085 secs
lola: 1 tries, 21553 fired transitions, 2090 secs || 21293 markings, 21292 edges, 11 markings/sec, 2090 secs
lola: 1 tries, 21608 fired transitions, 2095 secs || 21348 markings, 21347 edges, 11 markings/sec, 2095 secs
lola: 1 tries, 21663 fired transitions, 2100 secs || 21403 markings, 21402 edges, 11 markings/sec, 2100 secs
lola: 1 tries, 21718 fired transitions, 2105 secs || 21458 markings, 21457 edges, 11 markings/sec, 2105 secs
lola: 1 tries, 21773 fired transitions, 2110 secs || 21513 markings, 21512 edges, 11 markings/sec, 2110 secs
lola: 1 tries, 21829 fired transitions, 2115 secs || 21569 markings, 21568 edges, 11 markings/sec, 2115 secs
lola: 1 tries, 21884 fired transitions, 2120 secs || 21624 markings, 21623 edges, 11 markings/sec, 2120 secs
lola: 1 tries, 21940 fired transitions, 2125 secs || 21680 markings, 21679 edges, 11 markings/sec, 2125 secs
lola: 1 tries, 21995 fired transitions, 2130 secs || 21735 markings, 21734 edges, 11 markings/sec, 2130 secs
lola: 1 tries, 22050 fired transitions, 2135 secs || 21790 markings, 21789 edges, 11 markings/sec, 2135 secs
lola: 1 tries, 22105 fired transitions, 2140 secs || 21845 markings, 21844 edges, 11 markings/sec, 2140 secs
lola: 1 tries, 22160 fired transitions, 2145 secs || 21900 markings, 21899 edges, 11 markings/sec, 2145 secs
lola: 1 tries, 22216 fired transitions, 2150 secs || 21956 markings, 21955 edges, 11 markings/sec, 2150 secs
lola: 1 tries, 22270 fired transitions, 2155 secs || 22010 markings, 22009 edges, 11 markings/sec, 2155 secs
lola: 1 tries, 22323 fired transitions, 2160 secs || 22063 markings, 22062 edges, 11 markings/sec, 2160 secs
lola: 1 tries, 22377 fired transitions, 2165 secs || 22116 markings, 22115 edges, 11 markings/sec, 2165 secs
lola: 1 tries, 22433 fired transitions, 2170 secs || 22172 markings, 22171 edges, 11 markings/sec, 2170 secs
lola: 1 tries, 22488 fired transitions, 2175 secs || 22227 markings, 22226 edges, 11 markings/sec, 2175 secs
lola: 1 tries, 22543 fired transitions, 2180 secs || 22282 markings, 22281 edges, 11 markings/sec, 2180 secs
lola: 1 tries, 22598 fired transitions, 2185 secs || 22337 markings, 22336 edges, 11 markings/sec, 2185 secs
lola: 1 tries, 22653 fired transitions, 2190 secs || 22392 markings, 22391 edges, 11 markings/sec, 2190 secs
lola: 1 tries, 22708 fired transitions, 2195 secs || 22447 markings, 22446 edges, 11 markings/sec, 2195 secs
lola: 1 tries, 22763 fired transitions, 2200 secs || 22502 markings, 22501 edges, 11 markings/sec, 2200 secs
lola: 1 tries, 22818 fired transitions, 2205 secs || 22557 markings, 22556 edges, 11 markings/sec, 2205 secs
lola: 1 tries, 22872 fired transitions, 2210 secs || 22611 markings, 22610 edges, 11 markings/sec, 2210 secs
lola: 1 tries, 22927 fired transitions, 2215 secs || 22666 markings, 22665 edges, 11 markings/sec, 2215 secs
lola: 1 tries, 22982 fired transitions, 2220 secs || 22721 markings, 22720 edges, 11 markings/sec, 2220 secs
lola: 1 tries, 23036 fired transitions, 2225 secs || 22775 markings, 22774 edges, 11 markings/sec, 2225 secs
lola: 1 tries, 23090 fired transitions, 2230 secs || 22828 markings, 22827 edges, 11 markings/sec, 2230 secs
lola: 1 tries, 23144 fired transitions, 2235 secs || 22882 markings, 22881 edges, 11 markings/sec, 2235 secs
lola: 1 tries, 23198 fired transitions, 2240 secs || 22936 markings, 22935 edges, 11 markings/sec, 2240 secs
lola: 1 tries, 23254 fired transitions, 2245 secs || 22992 markings, 22991 edges, 11 markings/sec, 2245 secs
lola: 1 tries, 23309 fired transitions, 2250 secs || 23047 markings, 23046 edges, 11 markings/sec, 2250 secs
lola: 1 tries, 23360 fired transitions, 2255 secs || 23096 markings, 23095 edges, 10 markings/sec, 2255 secs
lola: 1 tries, 23411 fired transitions, 2260 secs || 23144 markings, 23143 edges, 10 markings/sec, 2260 secs
lola: 1 tries, 23462 fired transitions, 2265 secs || 23192 markings, 23191 edges, 10 markings/sec, 2265 secs
lola: 1 tries, 23513 fired transitions, 2270 secs || 23241 markings, 23240 edges, 10 markings/sec, 2270 secs
lola: 1 tries, 23563 fired transitions, 2275 secs || 23289 markings, 23288 edges, 10 markings/sec, 2275 secs
lola: 1 tries, 23614 fired transitions, 2280 secs || 23337 markings, 23336 edges, 10 markings/sec, 2280 secs
lola: 1 tries, 23665 fired transitions, 2285 secs || 23385 markings, 23384 edges, 10 markings/sec, 2285 secs
lola: 1 tries, 23716 fired transitions, 2290 secs || 23433 markings, 23432 edges, 10 markings/sec, 2290 secs
lola: 1 tries, 23767 fired transitions, 2295 secs || 23481 markings, 23480 edges, 10 markings/sec, 2295 secs
lola: 1 tries, 23818 fired transitions, 2300 secs || 23529 markings, 23528 edges, 10 markings/sec, 2300 secs
lola: 1 tries, 23869 fired transitions, 2305 secs || 23577 markings, 23576 edges, 10 markings/sec, 2305 secs
lola: 1 tries, 23919 fired transitions, 2310 secs || 23625 markings, 23624 edges, 10 markings/sec, 2310 secs
lola: 1 tries, 23970 fired transitions, 2315 secs || 23672 markings, 23671 edges, 9 markings/sec, 2315 secs
lola: 1 tries, 24020 fired transitions, 2320 secs || 23720 markings, 23719 edges, 10 markings/sec, 2320 secs
lola: 1 tries, 24069 fired transitions, 2325 secs || 23766 markings, 23765 edges, 9 markings/sec, 2325 secs
lola: 1 tries, 24120 fired transitions, 2330 secs || 23814 markings, 23813 edges, 10 markings/sec, 2330 secs
lola: 1 tries, 24171 fired transitions, 2335 secs || 23863 markings, 23862 edges, 10 markings/sec, 2335 secs
lola: 1 tries, 24222 fired transitions, 2340 secs || 23911 markings, 23910 edges, 10 markings/sec, 2340 secs
lola: 1 tries, 24273 fired transitions, 2345 secs || 23959 markings, 23958 edges, 10 markings/sec, 2345 secs
lola: 1 tries, 24325 fired transitions, 2350 secs || 24007 markings, 24006 edges, 10 markings/sec, 2350 secs
lola: 1 tries, 24376 fired transitions, 2355 secs || 24055 markings, 24054 edges, 10 markings/sec, 2355 secs
lola: 1 tries, 24426 fired transitions, 2360 secs || 24102 markings, 24101 edges, 9 markings/sec, 2360 secs
lola: 1 tries, 24477 fired transitions, 2365 secs || 24150 markings, 24149 edges, 10 markings/sec, 2365 secs
lola: 1 tries, 24528 fired transitions, 2370 secs || 24198 markings, 24197 edges, 10 markings/sec, 2370 secs
lola: 1 tries, 24579 fired transitions, 2375 secs || 24246 markings, 24245 edges, 10 markings/sec, 2375 secs
lola: 1 tries, 24630 fired transitions, 2380 secs || 24294 markings, 24293 edges, 10 markings/sec, 2380 secs
lola: 1 tries, 24682 fired transitions, 2385 secs || 24342 markings, 24341 edges, 10 markings/sec, 2385 secs
lola: 1 tries, 24733 fired transitions, 2390 secs || 24390 markings, 24389 edges, 10 markings/sec, 2390 secs
lola: 1 tries, 24784 fired transitions, 2395 secs || 24438 markings, 24437 edges, 10 markings/sec, 2395 secs
lola: 1 tries, 24834 fired transitions, 2400 secs || 24487 markings, 24486 edges, 10 markings/sec, 2400 secs
lola: 1 tries, 24885 fired transitions, 2405 secs || 24535 markings, 24534 edges, 10 markings/sec, 2405 secs
lola: 1 tries, 24936 fired transitions, 2410 secs || 24583 markings, 24582 edges, 10 markings/sec, 2410 secs
lola: 1 tries, 24987 fired transitions, 2415 secs || 24631 markings, 24630 edges, 10 markings/sec, 2415 secs
lola: 1 tries, 25038 fired transitions, 2420 secs || 24678 markings, 24677 edges, 9 markings/sec, 2420 secs
lola: 1 tries, 25089 fired transitions, 2425 secs || 24726 markings, 24725 edges, 10 markings/sec, 2425 secs
lola: 1 tries, 25140 fired transitions, 2430 secs || 24774 markings, 24773 edges, 10 markings/sec, 2430 secs
lola: 1 tries, 25191 fired transitions, 2435 secs || 24822 markings, 24821 edges, 10 markings/sec, 2435 secs
lola: 1 tries, 25242 fired transitions, 2440 secs || 24870 markings, 24869 edges, 10 markings/sec, 2440 secs
lola: 1 tries, 25293 fired transitions, 2445 secs || 24918 markings, 24917 edges, 10 markings/sec, 2445 secs
lola: 1 tries, 25344 fired transitions, 2450 secs || 24967 markings, 24966 edges, 10 markings/sec, 2450 secs
lola: 1 tries, 25395 fired transitions, 2455 secs || 25015 markings, 25014 edges, 10 markings/sec, 2455 secs
lola: 1 tries, 25445 fired transitions, 2460 secs || 25062 markings, 25061 edges, 9 markings/sec, 2460 secs
lola: 1 tries, 25496 fired transitions, 2465 secs || 25110 markings, 25109 edges, 10 markings/sec, 2465 secs
lola: 1 tries, 25547 fired transitions, 2470 secs || 25158 markings, 25157 edges, 10 markings/sec, 2470 secs
lola: 1 tries, 25598 fired transitions, 2475 secs || 25206 markings, 25205 edges, 10 markings/sec, 2475 secs
lola: 1 tries, 25649 fired transitions, 2480 secs || 25254 markings, 25253 edges, 10 markings/sec, 2480 secs
lola: 1 tries, 25700 fired transitions, 2485 secs || 25302 markings, 25301 edges, 10 markings/sec, 2485 secs
lola: 1 tries, 25751 fired transitions, 2490 secs || 25350 markings, 25349 edges, 10 markings/sec, 2490 secs
lola: 1 tries, 25802 fired transitions, 2495 secs || 25398 markings, 25397 edges, 10 markings/sec, 2495 secs
lola: 1 tries, 25853 fired transitions, 2500 secs || 25447 markings, 25446 edges, 10 markings/sec, 2500 secs
lola: 1 tries, 25905 fired transitions, 2505 secs || 25495 markings, 25494 edges, 10 markings/sec, 2505 secs
lola: 1 tries, 25956 fired transitions, 2510 secs || 25544 markings, 25543 edges, 10 markings/sec, 2510 secs
lola: 1 tries, 26007 fired transitions, 2515 secs || 25592 markings, 25591 edges, 10 markings/sec, 2515 secs
lola: 1 tries, 26058 fired transitions, 2520 secs || 25640 markings, 25639 edges, 10 markings/sec, 2520 secs
lola: 1 tries, 26109 fired transitions, 2525 secs || 25688 markings, 25687 edges, 10 markings/sec, 2525 secs
lola: 1 tries, 26160 fired transitions, 2530 secs || 25737 markings, 25736 edges, 10 markings/sec, 2530 secs
lola: 1 tries, 26211 fired transitions, 2535 secs || 25785 markings, 25784 edges, 10 markings/sec, 2535 secs
lola: 1 tries, 26261 fired transitions, 2540 secs || 25833 markings, 25832 edges, 10 markings/sec, 2540 secs
lola: 1 tries, 26312 fired transitions, 2545 secs || 25881 markings, 25880 edges, 10 markings/sec, 2545 secs
lola: 1 tries, 26363 fired transitions, 2550 secs || 25929 markings, 25928 edges, 10 markings/sec, 2550 secs
lola: 1 tries, 26413 fired transitions, 2555 secs || 25977 markings, 25976 edges, 10 markings/sec, 2555 secs
lola: 1 tries, 26468 fired transitions, 2560 secs || 26029 markings, 26028 edges, 10 markings/sec, 2560 secs
lola: 1 tries, 26523 fired transitions, 2565 secs || 26081 markings, 26080 edges, 10 markings/sec, 2565 secs
lola: 1 tries, 26577 fired transitions, 2570 secs || 26133 markings, 26132 edges, 10 markings/sec, 2570 secs
lola: 1 tries, 26630 fired transitions, 2575 secs || 26183 markings, 26182 edges, 10 markings/sec, 2575 secs
lola: 1 tries, 26681 fired transitions, 2580 secs || 26231 markings, 26230 edges, 10 markings/sec, 2580 secs
lola: 1 tries, 26732 fired transitions, 2585 secs || 26279 markings, 26278 edges, 10 markings/sec, 2585 secs
lola: 1 tries, 26785 fired transitions, 2590 secs || 26329 markings, 26328 edges, 10 markings/sec, 2590 secs
lola: 1 tries, 26839 fired transitions, 2595 secs || 26380 markings, 26379 edges, 10 markings/sec, 2595 secs
lola: 1 tries, 26893 fired transitions, 2600 secs || 26431 markings, 26430 edges, 10 markings/sec, 2600 secs
lola: 1 tries, 26948 fired transitions, 2605 secs || 26482 markings, 26481 edges, 10 markings/sec, 2605 secs
lola: 1 tries, 27002 fired transitions, 2610 secs || 26534 markings, 26533 edges, 10 markings/sec, 2610 secs
lola: 1 tries, 27057 fired transitions, 2615 secs || 26586 markings, 26585 edges, 10 markings/sec, 2615 secs
lola: 1 tries, 27112 fired transitions, 2620 secs || 26638 markings, 26637 edges, 10 markings/sec, 2620 secs
lola: 1 tries, 27166 fired transitions, 2625 secs || 26690 markings, 26689 edges, 10 markings/sec, 2625 secs
lola: 1 tries, 27219 fired transitions, 2630 secs || 26741 markings, 26740 edges, 10 markings/sec, 2630 secs
lola: 1 tries, 27273 fired transitions, 2635 secs || 26792 markings, 26791 edges, 10 markings/sec, 2635 secs
lola: 1 tries, 27326 fired transitions, 2640 secs || 26842 markings, 26841 edges, 10 markings/sec, 2640 secs
lola: 1 tries, 27379 fired transitions, 2645 secs || 26893 markings, 26892 edges, 10 markings/sec, 2645 secs
lola: 1 tries, 27433 fired transitions, 2650 secs || 26944 markings, 26943 edges, 10 markings/sec, 2650 secs
lola: 1 tries, 27486 fired transitions, 2655 secs || 26995 markings, 26994 edges, 10 markings/sec, 2655 secs
lola: 1 tries, 27540 fired transitions, 2660 secs || 27048 markings, 27047 edges, 11 markings/sec, 2660 secs
lola: 1 tries, 27594 fired transitions, 2665 secs || 27102 markings, 27101 edges, 11 markings/sec, 2665 secs
lola: 1 tries, 27648 fired transitions, 2670 secs || 27156 markings, 27155 edges, 11 markings/sec, 2670 secs
lola: 1 tries, 27703 fired transitions, 2675 secs || 27211 markings, 27210 edges, 11 markings/sec, 2675 secs
lola: 1 tries, 27756 fired transitions, 2680 secs || 27265 markings, 27264 edges, 11 markings/sec, 2680 secs
lola: 1 tries, 27810 fired transitions, 2685 secs || 27319 markings, 27318 edges, 11 markings/sec, 2685 secs
lola: 1 tries, 27864 fired transitions, 2690 secs || 27373 markings, 27372 edges, 11 markings/sec, 2690 secs
lola: 1 tries, 27919 fired transitions, 2695 secs || 27428 markings, 27427 edges, 11 markings/sec, 2695 secs
lola: 1 tries, 27973 fired transitions, 2700 secs || 27482 markings, 27481 edges, 11 markings/sec, 2700 secs
lola: 1 tries, 28027 fired transitions, 2705 secs || 27536 markings, 27535 edges, 11 markings/sec, 2705 secs
lola: 1 tries, 28082 fired transitions, 2710 secs || 27591 markings, 27590 edges, 11 markings/sec, 2710 secs
lola: 1 tries, 28138 fired transitions, 2715 secs || 27647 markings, 27646 edges, 11 markings/sec, 2715 secs
lola: 1 tries, 28193 fired transitions, 2720 secs || 27702 markings, 27701 edges, 11 markings/sec, 2720 secs
lola: 1 tries, 28249 fired transitions, 2725 secs || 27758 markings, 27757 edges, 11 markings/sec, 2725 secs
lola: 1 tries, 28305 fired transitions, 2730 secs || 27814 markings, 27813 edges, 11 markings/sec, 2730 secs
lola: 1 tries, 28361 fired transitions, 2735 secs || 27870 markings, 27869 edges, 11 markings/sec, 2735 secs
lola: 1 tries, 28416 fired transitions, 2740 secs || 27925 markings, 27924 edges, 11 markings/sec, 2740 secs
lola: 1 tries, 28472 fired transitions, 2745 secs || 27981 markings, 27980 edges, 11 markings/sec, 2745 secs
lola: 1 tries, 28528 fired transitions, 2750 secs || 28037 markings, 28036 edges, 11 markings/sec, 2750 secs
lola: 1 tries, 28583 fired transitions, 2755 secs || 28092 markings, 28091 edges, 11 markings/sec, 2755 secs
lola: 1 tries, 28638 fired transitions, 2760 secs || 28147 markings, 28146 edges, 11 markings/sec, 2760 secs
lola: 1 tries, 28694 fired transitions, 2765 secs || 28203 markings, 28202 edges, 11 markings/sec, 2765 secs
lola: 1 tries, 28749 fired transitions, 2770 secs || 28258 markings, 28257 edges, 11 markings/sec, 2770 secs
lola: 1 tries, 28805 fired transitions, 2775 secs || 28314 markings, 28313 edges, 11 markings/sec, 2775 secs
lola: 1 tries, 28860 fired transitions, 2780 secs || 28369 markings, 28368 edges, 11 markings/sec, 2780 secs
lola: 1 tries, 28916 fired transitions, 2785 secs || 28425 markings, 28424 edges, 11 markings/sec, 2785 secs
lola: 1 tries, 28973 fired transitions, 2790 secs || 28482 markings, 28481 edges, 11 markings/sec, 2790 secs
lola: 1 tries, 29030 fired transitions, 2795 secs || 28539 markings, 28538 edges, 11 markings/sec, 2795 secs
lola: 1 tries, 29088 fired transitions, 2800 secs || 28597 markings, 28596 edges, 12 markings/sec, 2800 secs
lola: 1 tries, 29144 fired transitions, 2805 secs || 28653 markings, 28652 edges, 11 markings/sec, 2805 secs
lola: 1 tries, 29202 fired transitions, 2810 secs || 28711 markings, 28710 edges, 12 markings/sec, 2810 secs
lola: 1 tries, 29260 fired transitions, 2815 secs || 28769 markings, 28768 edges, 12 markings/sec, 2815 secs
lola: 1 tries, 29319 fired transitions, 2820 secs || 28828 markings, 28827 edges, 12 markings/sec, 2820 secs
lola: 1 tries, 29378 fired transitions, 2825 secs || 28887 markings, 28886 edges, 12 markings/sec, 2825 secs
lola: 1 tries, 29435 fired transitions, 2830 secs || 28944 markings, 28943 edges, 11 markings/sec, 2830 secs
lola: 1 tries, 29493 fired transitions, 2835 secs || 29002 markings, 29001 edges, 12 markings/sec, 2835 secs
lola: 1 tries, 29551 fired transitions, 2840 secs || 29060 markings, 29059 edges, 12 markings/sec, 2840 secs
lola: 1 tries, 29609 fired transitions, 2845 secs || 29118 markings, 29117 edges, 12 markings/sec, 2845 secs
lola: 1 tries, 29666 fired transitions, 2850 secs || 29175 markings, 29174 edges, 11 markings/sec, 2850 secs
lola: 1 tries, 29724 fired transitions, 2855 secs || 29233 markings, 29232 edges, 12 markings/sec, 2855 secs
lola: 1 tries, 29780 fired transitions, 2860 secs || 29290 markings, 29289 edges, 11 markings/sec, 2860 secs
lola: 1 tries, 29837 fired transitions, 2865 secs || 29347 markings, 29346 edges, 11 markings/sec, 2865 secs
lola: 1 tries, 29894 fired transitions, 2870 secs || 29404 markings, 29403 edges, 11 markings/sec, 2870 secs
lola: 1 tries, 29951 fired transitions, 2875 secs || 29461 markings, 29460 edges, 11 markings/sec, 2875 secs
lola: 1 tries, 30007 fired transitions, 2880 secs || 29517 markings, 29516 edges, 11 markings/sec, 2880 secs
lola: 1 tries, 30063 fired transitions, 2885 secs || 29573 markings, 29572 edges, 11 markings/sec, 2885 secs
lola: 1 tries, 30120 fired transitions, 2890 secs || 29630 markings, 29629 edges, 11 markings/sec, 2890 secs
lola: 1 tries, 30177 fired transitions, 2895 secs || 29687 markings, 29686 edges, 11 markings/sec, 2895 secs
lola: 1 tries, 30235 fired transitions, 2900 secs || 29745 markings, 29744 edges, 12 markings/sec, 2900 secs
lola: 1 tries, 30293 fired transitions, 2905 secs || 29803 markings, 29802 edges, 12 markings/sec, 2905 secs
lola: 1 tries, 30352 fired transitions, 2910 secs || 29862 markings, 29861 edges, 12 markings/sec, 2910 secs
lola: 1 tries, 30410 fired transitions, 2915 secs || 29920 markings, 29919 edges, 12 markings/sec, 2915 secs
lola: 1 tries, 30468 fired transitions, 2920 secs || 29978 markings, 29977 edges, 12 markings/sec, 2920 secs
lola: 1 tries, 30526 fired transitions, 2925 secs || 30036 markings, 30035 edges, 12 markings/sec, 2925 secs
lola: 1 tries, 30585 fired transitions, 2930 secs || 30095 markings, 30094 edges, 12 markings/sec, 2930 secs
lola: 1 tries, 30643 fired transitions, 2935 secs || 30153 markings, 30152 edges, 12 markings/sec, 2935 secs
lola: 1 tries, 30701 fired transitions, 2940 secs || 30211 markings, 30210 edges, 12 markings/sec, 2940 secs
lola: 1 tries, 30760 fired transitions, 2945 secs || 30270 markings, 30269 edges, 12 markings/sec, 2945 secs
lola: 1 tries, 30818 fired transitions, 2950 secs || 30328 markings, 30327 edges, 12 markings/sec, 2950 secs
lola: 1 tries, 30877 fired transitions, 2955 secs || 30387 markings, 30386 edges, 12 markings/sec, 2955 secs
lola: 1 tries, 30936 fired transitions, 2960 secs || 30446 markings, 30445 edges, 12 markings/sec, 2960 secs
lola: 1 tries, 30995 fired transitions, 2965 secs || 30505 markings, 30504 edges, 12 markings/sec, 2965 secs
lola: 1 tries, 31053 fired transitions, 2970 secs || 30563 markings, 30562 edges, 12 markings/sec, 2970 secs
lola: 1 tries, 31111 fired transitions, 2975 secs || 30621 markings, 30620 edges, 12 markings/sec, 2975 secs
lola: 1 tries, 31170 fired transitions, 2980 secs || 30680 markings, 30679 edges, 12 markings/sec, 2980 secs
lola: 1 tries, 31228 fired transitions, 2985 secs || 30738 markings, 30737 edges, 12 markings/sec, 2985 secs
lola: 1 tries, 31286 fired transitions, 2990 secs || 30796 markings, 30795 edges, 12 markings/sec, 2990 secs
lola: 1 tries, 31344 fired transitions, 2995 secs || 30854 markings, 30853 edges, 12 markings/sec, 2995 secs
lola: 1 tries, 31403 fired transitions, 3000 secs || 30913 markings, 30912 edges, 12 markings/sec, 3000 secs
lola: 1 tries, 31461 fired transitions, 3005 secs || 30971 markings, 30970 edges, 12 markings/sec, 3005 secs
lola: 1 tries, 31520 fired transitions, 3010 secs || 31030 markings, 31029 edges, 12 markings/sec, 3010 secs
lola: 1 tries, 31578 fired transitions, 3015 secs || 31088 markings, 31087 edges, 12 markings/sec, 3015 secs
lola: 1 tries, 31637 fired transitions, 3020 secs || 31147 markings, 31146 edges, 12 markings/sec, 3020 secs
lola: 1 tries, 31695 fired transitions, 3025 secs || 31205 markings, 31204 edges, 12 markings/sec, 3025 secs
lola: 1 tries, 31754 fired transitions, 3030 secs || 31264 markings, 31263 edges, 12 markings/sec, 3030 secs
lola: 1 tries, 31813 fired transitions, 3035 secs || 31323 markings, 31322 edges, 12 markings/sec, 3035 secs
lola: 1 tries, 31871 fired transitions, 3040 secs || 31381 markings, 31380 edges, 12 markings/sec, 3040 secs
lola: 1 tries, 31930 fired transitions, 3045 secs || 31440 markings, 31439 edges, 12 markings/sec, 3045 secs
lola: 1 tries, 31988 fired transitions, 3050 secs || 31498 markings, 31497 edges, 12 markings/sec, 3050 secs
lola: 1 tries, 32046 fired transitions, 3055 secs || 31556 markings, 31555 edges, 12 markings/sec, 3055 secs
lola: 1 tries, 32105 fired transitions, 3060 secs || 31615 markings, 31614 edges, 12 markings/sec, 3060 secs
lola: 1 tries, 32163 fired transitions, 3065 secs || 31673 markings, 31672 edges, 12 markings/sec, 3065 secs
lola: 1 tries, 32221 fired transitions, 3070 secs || 31731 markings, 31730 edges, 12 markings/sec, 3070 secs
lola: 1 tries, 32279 fired transitions, 3075 secs || 31789 markings, 31788 edges, 12 markings/sec, 3075 secs
lola: 1 tries, 32338 fired transitions, 3080 secs || 31848 markings, 31847 edges, 12 markings/sec, 3080 secs
lola: 1 tries, 32397 fired transitions, 3085 secs || 31907 markings, 31906 edges, 12 markings/sec, 3085 secs
lola: 1 tries, 32455 fired transitions, 3090 secs || 31965 markings, 31964 edges, 12 markings/sec, 3090 secs
lola: 1 tries, 32514 fired transitions, 3095 secs || 32024 markings, 32023 edges, 12 markings/sec, 3095 secs
lola: 1 tries, 32572 fired transitions, 3100 secs || 32082 markings, 32081 edges, 12 markings/sec, 3100 secs
lola: 1 tries, 32630 fired transitions, 3105 secs || 32140 markings, 32139 edges, 12 markings/sec, 3105 secs
lola: 1 tries, 32688 fired transitions, 3110 secs || 32198 markings, 32197 edges, 12 markings/sec, 3110 secs
lola: 1 tries, 32746 fired transitions, 3115 secs || 32256 markings, 32255 edges, 12 markings/sec, 3115 secs
lola: 1 tries, 32805 fired transitions, 3120 secs || 32315 markings, 32314 edges, 12 markings/sec, 3120 secs
lola: 1 tries, 32863 fired transitions, 3125 secs || 32373 markings, 32372 edges, 12 markings/sec, 3125 secs
lola: 1 tries, 32922 fired transitions, 3130 secs || 32432 markings, 32431 edges, 12 markings/sec, 3130 secs
lola: 1 tries, 32980 fired transitions, 3135 secs || 32490 markings, 32489 edges, 12 markings/sec, 3135 secs
lola: 1 tries, 33039 fired transitions, 3140 secs || 32549 markings, 32548 edges, 12 markings/sec, 3140 secs
lola: 1 tries, 33097 fired transitions, 3145 secs || 32607 markings, 32606 edges, 12 markings/sec, 3145 secs
lola: 1 tries, 33155 fired transitions, 3150 secs || 32665 markings, 32664 edges, 12 markings/sec, 3150 secs
lola: 1 tries, 33213 fired transitions, 3155 secs || 32723 markings, 32722 edges, 12 markings/sec, 3155 secs
lola: 1 tries, 33271 fired transitions, 3160 secs || 32781 markings, 32780 edges, 12 markings/sec, 3160 secs
lola: 1 tries, 33329 fired transitions, 3165 secs || 32839 markings, 32838 edges, 12 markings/sec, 3165 secs
lola: 1 tries, 33387 fired transitions, 3170 secs || 32897 markings, 32896 edges, 12 markings/sec, 3170 secs
lola: 1 tries, 33445 fired transitions, 3175 secs || 32955 markings, 32954 edges, 12 markings/sec, 3175 secs
lola: 1 tries, 33503 fired transitions, 3180 secs || 33013 markings, 33012 edges, 12 markings/sec, 3180 secs
lola: 1 tries, 33561 fired transitions, 3185 secs || 33071 markings, 33070 edges, 12 markings/sec, 3185 secs
lola: 1 tries, 33620 fired transitions, 3190 secs || 33130 markings, 33129 edges, 12 markings/sec, 3190 secs
lola: 1 tries, 33678 fired transitions, 3195 secs || 33188 markings, 33187 edges, 12 markings/sec, 3195 secs
lola: 1 tries, 33736 fired transitions, 3200 secs || 33246 markings, 33245 edges, 12 markings/sec, 3200 secs
lola: 1 tries, 33794 fired transitions, 3205 secs || 33304 markings, 33303 edges, 12 markings/sec, 3205 secs
lola: 1 tries, 33853 fired transitions, 3210 secs || 33363 markings, 33362 edges, 12 markings/sec, 3210 secs
lola: 1 tries, 33911 fired transitions, 3215 secs || 33421 markings, 33420 edges, 12 markings/sec, 3215 secs
lola: 1 tries, 33970 fired transitions, 3220 secs || 33480 markings, 33479 edges, 12 markings/sec, 3220 secs
lola: 1 tries, 34029 fired transitions, 3225 secs || 33539 markings, 33538 edges, 12 markings/sec, 3225 secs
lola: 1 tries, 34088 fired transitions, 3230 secs || 33598 markings, 33597 edges, 12 markings/sec, 3230 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553925202557
--------------------
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-3"
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-3, 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-155274853700498"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-3.tgz
mv RERS17pb115-PT-3 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 ;