About the Execution of LoLA for RERS17pb115-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10983.070 | 3570385.00 | 6978652.00 | 299.80 | [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-155274853800552.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-9, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853800552
=====================================================================
--------------------
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 21K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.4K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 4.0K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K 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.7K Feb 13 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 equiv_col
-rw-r--r-- 1 mcc users 2 Feb 13 08:05 instance
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 iscolored
-rw-r--r-- 1 mcc users 69M Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb115-PT-9-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553924107493
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb115-PT-9 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb115-PT-9
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: 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 53 fired transitions, 0 secs
lola: 0 generators; 977901 candidates remain ( 0%), 0 secs
lola: 1 tries, 97 fired transitions, 5 secs
lola: 0 generators; 977901 candidates remain ( 0%), 5 secs
lola: 1 tries, 143 fired transitions, 10 secs
lola: 0 generators; 977901 candidates remain ( 0%), 10 secs
lola: 1 tries, 189 fired transitions, 15 secs
lola: 0 generators; 977901 candidates remain ( 0%), 15 secs
lola: 1 tries, 234 fired transitions, 20 secs
lola: 0 generators; 977901 candidates remain ( 0%), 20 secs
lola: 1 tries, 281 fired transitions, 25 secs
lola: 0 generators; 977901 candidates remain ( 0%), 25 secs
lola: 1 tries, 324 fired transitions, 30 secs
lola: 66 generators; 392 candidates remain (14%), 30 secs
lola: 1 tries, 367 fired transitions, 35 secs
lola: 156 generators; 60 candidates remain (72%), 35 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, 411 fired transitions, 40 secs || 33 markings, 32 edges, 7 markings/sec, 40 secs
lola: 1 tries, 461 fired transitions, 45 secs || 81 markings, 80 edges, 10 markings/sec, 45 secs
lola: 1 tries, 511 fired transitions, 50 secs || 130 markings, 129 edges, 10 markings/sec, 50 secs
lola: 1 tries, 563 fired transitions, 55 secs || 183 markings, 182 edges, 11 markings/sec, 55 secs
lola: 1 tries, 614 fired transitions, 60 secs || 235 markings, 234 edges, 10 markings/sec, 60 secs
lola: 1 tries, 665 fired transitions, 65 secs || 287 markings, 286 edges, 10 markings/sec, 65 secs
lola: 1 tries, 719 fired transitions, 70 secs || 341 markings, 340 edges, 11 markings/sec, 70 secs
lola: 1 tries, 773 fired transitions, 75 secs || 394 markings, 393 edges, 11 markings/sec, 75 secs
lola: 1 tries, 827 fired transitions, 80 secs || 446 markings, 445 edges, 10 markings/sec, 80 secs
lola: 1 tries, 880 fired transitions, 85 secs || 498 markings, 497 edges, 10 markings/sec, 85 secs
lola: 1 tries, 933 fired transitions, 90 secs || 551 markings, 550 edges, 11 markings/sec, 90 secs
lola: 1 tries, 985 fired transitions, 95 secs || 604 markings, 603 edges, 11 markings/sec, 95 secs
lola: 1 tries, 1037 fired transitions, 100 secs || 656 markings, 655 edges, 10 markings/sec, 100 secs
lola: 1 tries, 1091 fired transitions, 105 secs || 710 markings, 709 edges, 11 markings/sec, 105 secs
lola: 1 tries, 1144 fired transitions, 110 secs || 764 markings, 763 edges, 11 markings/sec, 110 secs
lola: 1 tries, 1198 fired transitions, 115 secs || 817 markings, 816 edges, 11 markings/sec, 115 secs
lola: 1 tries, 1251 fired transitions, 120 secs || 871 markings, 870 edges, 11 markings/sec, 120 secs
lola: 1 tries, 1304 fired transitions, 125 secs || 924 markings, 923 edges, 11 markings/sec, 125 secs
lola: 1 tries, 1358 fired transitions, 130 secs || 978 markings, 977 edges, 11 markings/sec, 130 secs
lola: 1 tries, 1412 fired transitions, 135 secs || 1032 markings, 1031 edges, 11 markings/sec, 135 secs
lola: 1 tries, 1465 fired transitions, 140 secs || 1086 markings, 1085 edges, 11 markings/sec, 140 secs
lola: 1 tries, 1519 fired transitions, 145 secs || 1139 markings, 1138 edges, 11 markings/sec, 145 secs
lola: 1 tries, 1571 fired transitions, 150 secs || 1192 markings, 1191 edges, 11 markings/sec, 150 secs
lola: 1 tries, 1623 fired transitions, 155 secs || 1243 markings, 1242 edges, 10 markings/sec, 155 secs
lola: 1 tries, 1676 fired transitions, 160 secs || 1296 markings, 1295 edges, 11 markings/sec, 160 secs
lola: 1 tries, 1729 fired transitions, 165 secs || 1348 markings, 1347 edges, 10 markings/sec, 165 secs
lola: 1 tries, 1781 fired transitions, 170 secs || 1401 markings, 1400 edges, 11 markings/sec, 170 secs
lola: 1 tries, 1834 fired transitions, 175 secs || 1454 markings, 1453 edges, 11 markings/sec, 175 secs
lola: 1 tries, 1889 fired transitions, 180 secs || 1509 markings, 1508 edges, 11 markings/sec, 180 secs
lola: 1 tries, 1943 fired transitions, 185 secs || 1564 markings, 1563 edges, 11 markings/sec, 185 secs
lola: 1 tries, 1997 fired transitions, 190 secs || 1617 markings, 1616 edges, 11 markings/sec, 190 secs
lola: 1 tries, 2050 fired transitions, 195 secs || 1670 markings, 1669 edges, 11 markings/sec, 195 secs
lola: 1 tries, 2103 fired transitions, 200 secs || 1724 markings, 1723 edges, 11 markings/sec, 200 secs
lola: 1 tries, 2156 fired transitions, 205 secs || 1777 markings, 1776 edges, 11 markings/sec, 205 secs
lola: 1 tries, 2210 fired transitions, 210 secs || 1831 markings, 1830 edges, 11 markings/sec, 210 secs
lola: 1 tries, 2264 fired transitions, 215 secs || 1885 markings, 1884 edges, 11 markings/sec, 215 secs
lola: 1 tries, 2318 fired transitions, 220 secs || 1938 markings, 1937 edges, 11 markings/sec, 220 secs
lola: 1 tries, 2372 fired transitions, 225 secs || 1992 markings, 1991 edges, 11 markings/sec, 225 secs
lola: 1 tries, 2426 fired transitions, 230 secs || 2046 markings, 2045 edges, 11 markings/sec, 230 secs
lola: 1 tries, 2480 fired transitions, 235 secs || 2099 markings, 2098 edges, 11 markings/sec, 235 secs
lola: 1 tries, 2533 fired transitions, 240 secs || 2151 markings, 2150 edges, 10 markings/sec, 240 secs
lola: 1 tries, 2586 fired transitions, 245 secs || 2204 markings, 2203 edges, 11 markings/sec, 245 secs
lola: 1 tries, 2640 fired transitions, 250 secs || 2257 markings, 2256 edges, 11 markings/sec, 250 secs
lola: 1 tries, 2693 fired transitions, 255 secs || 2310 markings, 2309 edges, 11 markings/sec, 255 secs
lola: 1 tries, 2746 fired transitions, 260 secs || 2364 markings, 2363 edges, 11 markings/sec, 260 secs
lola: 1 tries, 2799 fired transitions, 265 secs || 2418 markings, 2417 edges, 11 markings/sec, 265 secs
lola: 1 tries, 2853 fired transitions, 270 secs || 2472 markings, 2471 edges, 11 markings/sec, 270 secs
lola: 1 tries, 2906 fired transitions, 275 secs || 2524 markings, 2523 edges, 10 markings/sec, 275 secs
lola: 1 tries, 2957 fired transitions, 280 secs || 2575 markings, 2574 edges, 10 markings/sec, 280 secs
lola: 1 tries, 3010 fired transitions, 285 secs || 2627 markings, 2626 edges, 10 markings/sec, 285 secs
lola: 1 tries, 3063 fired transitions, 290 secs || 2680 markings, 2679 edges, 11 markings/sec, 290 secs
lola: 1 tries, 3117 fired transitions, 295 secs || 2734 markings, 2733 edges, 11 markings/sec, 295 secs
lola: 1 tries, 3170 fired transitions, 300 secs || 2786 markings, 2785 edges, 10 markings/sec, 300 secs
lola: 1 tries, 3224 fired transitions, 305 secs || 2840 markings, 2839 edges, 11 markings/sec, 305 secs
lola: 1 tries, 3279 fired transitions, 310 secs || 2894 markings, 2893 edges, 11 markings/sec, 310 secs
lola: 1 tries, 3333 fired transitions, 315 secs || 2948 markings, 2947 edges, 11 markings/sec, 315 secs
lola: 1 tries, 3387 fired transitions, 320 secs || 3002 markings, 3001 edges, 11 markings/sec, 320 secs
lola: 1 tries, 3441 fired transitions, 325 secs || 3056 markings, 3055 edges, 11 markings/sec, 325 secs
lola: 1 tries, 3495 fired transitions, 330 secs || 3110 markings, 3109 edges, 11 markings/sec, 330 secs
lola: 1 tries, 3549 fired transitions, 335 secs || 3164 markings, 3163 edges, 11 markings/sec, 335 secs
lola: 1 tries, 3605 fired transitions, 340 secs || 3220 markings, 3219 edges, 11 markings/sec, 340 secs
lola: 1 tries, 3659 fired transitions, 345 secs || 3274 markings, 3273 edges, 11 markings/sec, 345 secs
lola: 1 tries, 3713 fired transitions, 350 secs || 3328 markings, 3327 edges, 11 markings/sec, 350 secs
lola: 1 tries, 3767 fired transitions, 355 secs || 3383 markings, 3382 edges, 11 markings/sec, 355 secs
lola: 1 tries, 3821 fired transitions, 360 secs || 3436 markings, 3435 edges, 11 markings/sec, 360 secs
lola: 1 tries, 3875 fired transitions, 365 secs || 3490 markings, 3489 edges, 11 markings/sec, 365 secs
lola: 1 tries, 3928 fired transitions, 370 secs || 3543 markings, 3542 edges, 11 markings/sec, 370 secs
lola: 1 tries, 3982 fired transitions, 375 secs || 3598 markings, 3597 edges, 11 markings/sec, 375 secs
lola: 1 tries, 4036 fired transitions, 380 secs || 3653 markings, 3652 edges, 11 markings/sec, 380 secs
lola: 1 tries, 4091 fired transitions, 385 secs || 3708 markings, 3707 edges, 11 markings/sec, 385 secs
lola: 1 tries, 4146 fired transitions, 390 secs || 3763 markings, 3762 edges, 11 markings/sec, 390 secs
lola: 1 tries, 4201 fired transitions, 395 secs || 3817 markings, 3816 edges, 11 markings/sec, 395 secs
lola: 1 tries, 4254 fired transitions, 400 secs || 3871 markings, 3870 edges, 11 markings/sec, 400 secs
lola: 1 tries, 4309 fired transitions, 405 secs || 3926 markings, 3925 edges, 11 markings/sec, 405 secs
lola: 1 tries, 4364 fired transitions, 410 secs || 3981 markings, 3980 edges, 11 markings/sec, 410 secs
lola: 1 tries, 4418 fired transitions, 415 secs || 4034 markings, 4033 edges, 11 markings/sec, 415 secs
lola: 1 tries, 4472 fired transitions, 420 secs || 4088 markings, 4087 edges, 11 markings/sec, 420 secs
lola: 1 tries, 4527 fired transitions, 425 secs || 4143 markings, 4142 edges, 11 markings/sec, 425 secs
lola: 1 tries, 4581 fired transitions, 430 secs || 4197 markings, 4196 edges, 11 markings/sec, 430 secs
lola: 1 tries, 4637 fired transitions, 435 secs || 4253 markings, 4252 edges, 11 markings/sec, 435 secs
lola: 1 tries, 4692 fired transitions, 440 secs || 4309 markings, 4308 edges, 11 markings/sec, 440 secs
lola: 1 tries, 4748 fired transitions, 445 secs || 4365 markings, 4364 edges, 11 markings/sec, 445 secs
lola: 1 tries, 4804 fired transitions, 450 secs || 4421 markings, 4420 edges, 11 markings/sec, 450 secs
lola: 1 tries, 4859 fired transitions, 455 secs || 4476 markings, 4475 edges, 11 markings/sec, 455 secs
lola: 1 tries, 4915 fired transitions, 460 secs || 4531 markings, 4530 edges, 11 markings/sec, 460 secs
lola: 1 tries, 4969 fired transitions, 465 secs || 4586 markings, 4585 edges, 11 markings/sec, 465 secs
lola: 1 tries, 5025 fired transitions, 470 secs || 4641 markings, 4640 edges, 11 markings/sec, 470 secs
lola: 1 tries, 5081 fired transitions, 475 secs || 4697 markings, 4696 edges, 11 markings/sec, 475 secs
lola: 1 tries, 5136 fired transitions, 480 secs || 4751 markings, 4750 edges, 11 markings/sec, 480 secs
lola: 1 tries, 5190 fired transitions, 485 secs || 4806 markings, 4805 edges, 11 markings/sec, 485 secs
lola: 1 tries, 5246 fired transitions, 490 secs || 4862 markings, 4861 edges, 11 markings/sec, 490 secs
lola: 1 tries, 5301 fired transitions, 495 secs || 4918 markings, 4917 edges, 11 markings/sec, 495 secs
lola: 1 tries, 5358 fired transitions, 500 secs || 4974 markings, 4973 edges, 11 markings/sec, 500 secs
lola: 1 tries, 5414 fired transitions, 505 secs || 5030 markings, 5029 edges, 11 markings/sec, 505 secs
lola: 1 tries, 5469 fired transitions, 510 secs || 5085 markings, 5084 edges, 11 markings/sec, 510 secs
lola: 1 tries, 5525 fired transitions, 515 secs || 5141 markings, 5140 edges, 11 markings/sec, 515 secs
lola: 1 tries, 5581 fired transitions, 520 secs || 5197 markings, 5196 edges, 11 markings/sec, 520 secs
lola: 1 tries, 5637 fired transitions, 525 secs || 5253 markings, 5252 edges, 11 markings/sec, 525 secs
lola: 1 tries, 5693 fired transitions, 530 secs || 5309 markings, 5308 edges, 11 markings/sec, 530 secs
lola: 1 tries, 5749 fired transitions, 535 secs || 5365 markings, 5364 edges, 11 markings/sec, 535 secs
lola: 1 tries, 5805 fired transitions, 540 secs || 5420 markings, 5419 edges, 11 markings/sec, 540 secs
lola: 1 tries, 5861 fired transitions, 545 secs || 5476 markings, 5475 edges, 11 markings/sec, 545 secs
lola: 1 tries, 5917 fired transitions, 550 secs || 5531 markings, 5530 edges, 11 markings/sec, 550 secs
lola: 1 tries, 5973 fired transitions, 555 secs || 5587 markings, 5586 edges, 11 markings/sec, 555 secs
lola: 1 tries, 6030 fired transitions, 560 secs || 5643 markings, 5642 edges, 11 markings/sec, 560 secs
lola: 1 tries, 6085 fired transitions, 565 secs || 5698 markings, 5697 edges, 11 markings/sec, 565 secs
lola: 1 tries, 6141 fired transitions, 570 secs || 5755 markings, 5754 edges, 11 markings/sec, 570 secs
lola: 1 tries, 6197 fired transitions, 575 secs || 5811 markings, 5810 edges, 11 markings/sec, 575 secs
lola: 1 tries, 6253 fired transitions, 580 secs || 5867 markings, 5866 edges, 11 markings/sec, 580 secs
lola: 1 tries, 6308 fired transitions, 585 secs || 5923 markings, 5922 edges, 11 markings/sec, 585 secs
lola: 1 tries, 6363 fired transitions, 590 secs || 5979 markings, 5978 edges, 11 markings/sec, 590 secs
lola: 1 tries, 6419 fired transitions, 595 secs || 6036 markings, 6035 edges, 11 markings/sec, 595 secs
lola: 1 tries, 6475 fired transitions, 600 secs || 6092 markings, 6091 edges, 11 markings/sec, 600 secs
lola: 1 tries, 6531 fired transitions, 605 secs || 6149 markings, 6148 edges, 11 markings/sec, 605 secs
lola: 1 tries, 6586 fired transitions, 610 secs || 6203 markings, 6202 edges, 11 markings/sec, 610 secs
lola: 1 tries, 6641 fired transitions, 615 secs || 6259 markings, 6258 edges, 11 markings/sec, 615 secs
lola: 1 tries, 6695 fired transitions, 620 secs || 6314 markings, 6313 edges, 11 markings/sec, 620 secs
lola: 1 tries, 6750 fired transitions, 625 secs || 6369 markings, 6368 edges, 11 markings/sec, 625 secs
lola: 1 tries, 6807 fired transitions, 630 secs || 6424 markings, 6423 edges, 11 markings/sec, 630 secs
lola: 1 tries, 6864 fired transitions, 635 secs || 6480 markings, 6479 edges, 11 markings/sec, 635 secs
lola: 1 tries, 6921 fired transitions, 640 secs || 6536 markings, 6535 edges, 11 markings/sec, 640 secs
lola: 1 tries, 6977 fired transitions, 645 secs || 6593 markings, 6592 edges, 11 markings/sec, 645 secs
lola: 1 tries, 7033 fired transitions, 650 secs || 6649 markings, 6648 edges, 11 markings/sec, 650 secs
lola: 1 tries, 7088 fired transitions, 655 secs || 6703 markings, 6702 edges, 11 markings/sec, 655 secs
lola: 1 tries, 7142 fired transitions, 660 secs || 6756 markings, 6755 edges, 11 markings/sec, 660 secs
lola: 1 tries, 7196 fired transitions, 665 secs || 6810 markings, 6809 edges, 11 markings/sec, 665 secs
lola: 1 tries, 7252 fired transitions, 670 secs || 6866 markings, 6865 edges, 11 markings/sec, 670 secs
lola: 1 tries, 7309 fired transitions, 675 secs || 6923 markings, 6922 edges, 11 markings/sec, 675 secs
lola: 1 tries, 7366 fired transitions, 680 secs || 6980 markings, 6979 edges, 11 markings/sec, 680 secs
lola: 1 tries, 7423 fired transitions, 685 secs || 7036 markings, 7035 edges, 11 markings/sec, 685 secs
lola: 1 tries, 7479 fired transitions, 690 secs || 7092 markings, 7091 edges, 11 markings/sec, 690 secs
lola: 1 tries, 7535 fired transitions, 695 secs || 7147 markings, 7146 edges, 11 markings/sec, 695 secs
lola: 1 tries, 7591 fired transitions, 700 secs || 7203 markings, 7202 edges, 11 markings/sec, 700 secs
lola: 1 tries, 7647 fired transitions, 705 secs || 7260 markings, 7259 edges, 11 markings/sec, 705 secs
lola: 1 tries, 7703 fired transitions, 710 secs || 7315 markings, 7314 edges, 11 markings/sec, 710 secs
lola: 1 tries, 7759 fired transitions, 715 secs || 7371 markings, 7370 edges, 11 markings/sec, 715 secs
lola: 1 tries, 7815 fired transitions, 720 secs || 7427 markings, 7426 edges, 11 markings/sec, 720 secs
lola: 1 tries, 7871 fired transitions, 725 secs || 7482 markings, 7481 edges, 11 markings/sec, 725 secs
lola: 1 tries, 7927 fired transitions, 730 secs || 7536 markings, 7535 edges, 11 markings/sec, 730 secs
lola: 1 tries, 7982 fired transitions, 735 secs || 7591 markings, 7590 edges, 11 markings/sec, 735 secs
lola: 1 tries, 8037 fired transitions, 740 secs || 7645 markings, 7644 edges, 11 markings/sec, 740 secs
lola: 1 tries, 8093 fired transitions, 745 secs || 7701 markings, 7700 edges, 11 markings/sec, 745 secs
lola: 1 tries, 8150 fired transitions, 750 secs || 7758 markings, 7757 edges, 11 markings/sec, 750 secs
lola: 1 tries, 8206 fired transitions, 755 secs || 7815 markings, 7814 edges, 11 markings/sec, 755 secs
lola: 1 tries, 8262 fired transitions, 760 secs || 7870 markings, 7869 edges, 11 markings/sec, 760 secs
lola: 1 tries, 8317 fired transitions, 765 secs || 7925 markings, 7924 edges, 11 markings/sec, 765 secs
lola: 1 tries, 8373 fired transitions, 770 secs || 7981 markings, 7980 edges, 11 markings/sec, 770 secs
lola: 1 tries, 8429 fired transitions, 775 secs || 8035 markings, 8034 edges, 11 markings/sec, 775 secs
lola: 1 tries, 8485 fired transitions, 780 secs || 8088 markings, 8087 edges, 11 markings/sec, 780 secs
lola: 1 tries, 8539 fired transitions, 785 secs || 8141 markings, 8140 edges, 11 markings/sec, 785 secs
lola: 1 tries, 8594 fired transitions, 790 secs || 8196 markings, 8195 edges, 11 markings/sec, 790 secs
lola: 1 tries, 8650 fired transitions, 795 secs || 8250 markings, 8249 edges, 11 markings/sec, 795 secs
lola: 1 tries, 8705 fired transitions, 800 secs || 8305 markings, 8304 edges, 11 markings/sec, 800 secs
lola: 1 tries, 8761 fired transitions, 805 secs || 8359 markings, 8358 edges, 11 markings/sec, 805 secs
lola: 1 tries, 8817 fired transitions, 810 secs || 8413 markings, 8412 edges, 11 markings/sec, 810 secs
lola: 1 tries, 8872 fired transitions, 815 secs || 8467 markings, 8466 edges, 11 markings/sec, 815 secs
lola: 1 tries, 8928 fired transitions, 820 secs || 8521 markings, 8520 edges, 11 markings/sec, 820 secs
lola: 1 tries, 8983 fired transitions, 825 secs || 8576 markings, 8575 edges, 11 markings/sec, 825 secs
lola: 1 tries, 9039 fired transitions, 830 secs || 8632 markings, 8631 edges, 11 markings/sec, 830 secs
lola: 1 tries, 9095 fired transitions, 835 secs || 8689 markings, 8688 edges, 11 markings/sec, 835 secs
lola: 1 tries, 9151 fired transitions, 840 secs || 8746 markings, 8745 edges, 11 markings/sec, 840 secs
lola: 1 tries, 9208 fired transitions, 845 secs || 8804 markings, 8803 edges, 12 markings/sec, 845 secs
lola: 1 tries, 9263 fired transitions, 850 secs || 8859 markings, 8858 edges, 11 markings/sec, 850 secs
lola: 1 tries, 9320 fired transitions, 855 secs || 8917 markings, 8916 edges, 12 markings/sec, 855 secs
lola: 1 tries, 9374 fired transitions, 860 secs || 8972 markings, 8971 edges, 11 markings/sec, 860 secs
lola: 1 tries, 9430 fired transitions, 865 secs || 9028 markings, 9027 edges, 11 markings/sec, 865 secs
lola: 1 tries, 9486 fired transitions, 870 secs || 9085 markings, 9084 edges, 11 markings/sec, 870 secs
lola: 1 tries, 9542 fired transitions, 875 secs || 9142 markings, 9141 edges, 11 markings/sec, 875 secs
lola: 1 tries, 9599 fired transitions, 880 secs || 9199 markings, 9198 edges, 11 markings/sec, 880 secs
lola: 1 tries, 9656 fired transitions, 885 secs || 9254 markings, 9253 edges, 11 markings/sec, 885 secs
lola: 1 tries, 9713 fired transitions, 890 secs || 9308 markings, 9307 edges, 11 markings/sec, 890 secs
lola: 1 tries, 9769 fired transitions, 895 secs || 9362 markings, 9361 edges, 11 markings/sec, 895 secs
lola: 1 tries, 9825 fired transitions, 900 secs || 9417 markings, 9416 edges, 11 markings/sec, 900 secs
lola: 1 tries, 9881 fired transitions, 905 secs || 9470 markings, 9469 edges, 11 markings/sec, 905 secs
lola: 1 tries, 9937 fired transitions, 910 secs || 9524 markings, 9523 edges, 11 markings/sec, 910 secs
lola: 1 tries, 9993 fired transitions, 915 secs || 9578 markings, 9577 edges, 11 markings/sec, 915 secs
lola: 1 tries, 10049 fired transitions, 920 secs || 9631 markings, 9630 edges, 11 markings/sec, 920 secs
lola: 1 tries, 10105 fired transitions, 925 secs || 9687 markings, 9686 edges, 11 markings/sec, 925 secs
lola: 1 tries, 10161 fired transitions, 930 secs || 9740 markings, 9739 edges, 11 markings/sec, 930 secs
lola: 1 tries, 10216 fired transitions, 935 secs || 9793 markings, 9792 edges, 11 markings/sec, 935 secs
lola: 1 tries, 10272 fired transitions, 940 secs || 9847 markings, 9846 edges, 11 markings/sec, 940 secs
lola: 1 tries, 10328 fired transitions, 945 secs || 9900 markings, 9899 edges, 11 markings/sec, 945 secs
lola: 1 tries, 10382 fired transitions, 950 secs || 9956 markings, 9955 edges, 11 markings/sec, 950 secs
lola: 1 tries, 10439 fired transitions, 955 secs || 10013 markings, 10012 edges, 11 markings/sec, 955 secs
lola: 1 tries, 10496 fired transitions, 960 secs || 10069 markings, 10068 edges, 11 markings/sec, 960 secs
lola: 1 tries, 10553 fired transitions, 965 secs || 10127 markings, 10126 edges, 12 markings/sec, 965 secs
lola: 1 tries, 10609 fired transitions, 970 secs || 10183 markings, 10182 edges, 11 markings/sec, 970 secs
lola: 1 tries, 10665 fired transitions, 975 secs || 10240 markings, 10239 edges, 11 markings/sec, 975 secs
lola: 1 tries, 10720 fired transitions, 980 secs || 10295 markings, 10294 edges, 11 markings/sec, 980 secs
lola: 1 tries, 10777 fired transitions, 985 secs || 10351 markings, 10350 edges, 11 markings/sec, 985 secs
lola: 1 tries, 10833 fired transitions, 990 secs || 10407 markings, 10406 edges, 11 markings/sec, 990 secs
lola: 1 tries, 10890 fired transitions, 995 secs || 10463 markings, 10462 edges, 11 markings/sec, 995 secs
lola: 1 tries, 10947 fired transitions, 1000 secs || 10518 markings, 10517 edges, 11 markings/sec, 1000 secs
lola: 1 tries, 11004 fired transitions, 1005 secs || 10575 markings, 10574 edges, 11 markings/sec, 1005 secs
lola: 1 tries, 11060 fired transitions, 1010 secs || 10632 markings, 10631 edges, 11 markings/sec, 1010 secs
lola: 1 tries, 11116 fired transitions, 1015 secs || 10688 markings, 10687 edges, 11 markings/sec, 1015 secs
lola: 1 tries, 11172 fired transitions, 1020 secs || 10744 markings, 10743 edges, 11 markings/sec, 1020 secs
lola: 1 tries, 11227 fired transitions, 1025 secs || 10798 markings, 10797 edges, 11 markings/sec, 1025 secs
lola: 1 tries, 11283 fired transitions, 1030 secs || 10852 markings, 10851 edges, 11 markings/sec, 1030 secs
lola: 1 tries, 11338 fired transitions, 1035 secs || 10908 markings, 10907 edges, 11 markings/sec, 1035 secs
lola: 1 tries, 11394 fired transitions, 1040 secs || 10965 markings, 10964 edges, 11 markings/sec, 1040 secs
lola: 1 tries, 11451 fired transitions, 1045 secs || 11021 markings, 11020 edges, 11 markings/sec, 1045 secs
lola: 1 tries, 11507 fired transitions, 1050 secs || 11078 markings, 11077 edges, 11 markings/sec, 1050 secs
lola: 1 tries, 11564 fired transitions, 1055 secs || 11136 markings, 11135 edges, 12 markings/sec, 1055 secs
lola: 1 tries, 11620 fired transitions, 1060 secs || 11193 markings, 11192 edges, 11 markings/sec, 1060 secs
lola: 1 tries, 11677 fired transitions, 1065 secs || 11250 markings, 11249 edges, 11 markings/sec, 1065 secs
lola: 1 tries, 11733 fired transitions, 1070 secs || 11306 markings, 11305 edges, 11 markings/sec, 1070 secs
lola: 1 tries, 11790 fired transitions, 1075 secs || 11363 markings, 11362 edges, 11 markings/sec, 1075 secs
lola: 1 tries, 11847 fired transitions, 1080 secs || 11421 markings, 11420 edges, 12 markings/sec, 1080 secs
lola: 1 tries, 11903 fired transitions, 1085 secs || 11478 markings, 11477 edges, 11 markings/sec, 1085 secs
lola: 1 tries, 11959 fired transitions, 1090 secs || 11535 markings, 11534 edges, 11 markings/sec, 1090 secs
lola: 1 tries, 12016 fired transitions, 1095 secs || 11591 markings, 11590 edges, 11 markings/sec, 1095 secs
lola: 1 tries, 12073 fired transitions, 1100 secs || 11647 markings, 11646 edges, 11 markings/sec, 1100 secs
lola: 1 tries, 12130 fired transitions, 1105 secs || 11703 markings, 11702 edges, 11 markings/sec, 1105 secs
lola: 1 tries, 12187 fired transitions, 1110 secs || 11759 markings, 11758 edges, 11 markings/sec, 1110 secs
lola: 1 tries, 12244 fired transitions, 1115 secs || 11815 markings, 11814 edges, 11 markings/sec, 1115 secs
lola: 1 tries, 12301 fired transitions, 1120 secs || 11872 markings, 11871 edges, 11 markings/sec, 1120 secs
lola: 1 tries, 12358 fired transitions, 1125 secs || 11929 markings, 11928 edges, 11 markings/sec, 1125 secs
lola: 1 tries, 12416 fired transitions, 1130 secs || 11986 markings, 11985 edges, 11 markings/sec, 1130 secs
lola: 1 tries, 12474 fired transitions, 1135 secs || 12043 markings, 12042 edges, 11 markings/sec, 1135 secs
lola: 1 tries, 12531 fired transitions, 1140 secs || 12100 markings, 12099 edges, 11 markings/sec, 1140 secs
lola: 1 tries, 12588 fired transitions, 1145 secs || 12156 markings, 12155 edges, 11 markings/sec, 1145 secs
lola: 1 tries, 12645 fired transitions, 1150 secs || 12213 markings, 12212 edges, 11 markings/sec, 1150 secs
lola: 1 tries, 12701 fired transitions, 1155 secs || 12269 markings, 12268 edges, 11 markings/sec, 1155 secs
lola: 1 tries, 12757 fired transitions, 1160 secs || 12324 markings, 12323 edges, 11 markings/sec, 1160 secs
lola: 1 tries, 12812 fired transitions, 1165 secs || 12380 markings, 12379 edges, 11 markings/sec, 1165 secs
lola: 1 tries, 12867 fired transitions, 1170 secs || 12435 markings, 12434 edges, 11 markings/sec, 1170 secs
lola: 1 tries, 12923 fired transitions, 1175 secs || 12491 markings, 12490 edges, 11 markings/sec, 1175 secs
lola: 1 tries, 12980 fired transitions, 1180 secs || 12547 markings, 12546 edges, 11 markings/sec, 1180 secs
lola: 1 tries, 13037 fired transitions, 1185 secs || 12603 markings, 12602 edges, 11 markings/sec, 1185 secs
lola: 1 tries, 13092 fired transitions, 1190 secs || 12660 markings, 12659 edges, 11 markings/sec, 1190 secs
lola: 1 tries, 13149 fired transitions, 1195 secs || 12717 markings, 12716 edges, 11 markings/sec, 1195 secs
lola: 1 tries, 13206 fired transitions, 1200 secs || 12772 markings, 12771 edges, 11 markings/sec, 1200 secs
lola: 1 tries, 13262 fired transitions, 1205 secs || 12828 markings, 12827 edges, 11 markings/sec, 1205 secs
lola: 1 tries, 13317 fired transitions, 1210 secs || 12884 markings, 12883 edges, 11 markings/sec, 1210 secs
lola: 1 tries, 13372 fired transitions, 1215 secs || 12939 markings, 12938 edges, 11 markings/sec, 1215 secs
lola: 1 tries, 13427 fired transitions, 1220 secs || 12995 markings, 12994 edges, 11 markings/sec, 1220 secs
lola: 1 tries, 13481 fired transitions, 1225 secs || 13051 markings, 13050 edges, 11 markings/sec, 1225 secs
lola: 1 tries, 13536 fired transitions, 1230 secs || 13108 markings, 13107 edges, 11 markings/sec, 1230 secs
lola: 1 tries, 13591 fired transitions, 1235 secs || 13163 markings, 13162 edges, 11 markings/sec, 1235 secs
lola: 1 tries, 13648 fired transitions, 1240 secs || 13218 markings, 13217 edges, 11 markings/sec, 1240 secs
lola: 1 tries, 13703 fired transitions, 1245 secs || 13273 markings, 13272 edges, 11 markings/sec, 1245 secs
lola: 1 tries, 13757 fired transitions, 1250 secs || 13328 markings, 13327 edges, 11 markings/sec, 1250 secs
lola: 1 tries, 13812 fired transitions, 1255 secs || 13384 markings, 13383 edges, 11 markings/sec, 1255 secs
lola: 1 tries, 13869 fired transitions, 1260 secs || 13439 markings, 13438 edges, 11 markings/sec, 1260 secs
lola: 1 tries, 13924 fired transitions, 1265 secs || 13493 markings, 13492 edges, 11 markings/sec, 1265 secs
lola: 1 tries, 13980 fired transitions, 1270 secs || 13548 markings, 13547 edges, 11 markings/sec, 1270 secs
lola: 1 tries, 14037 fired transitions, 1275 secs || 13606 markings, 13605 edges, 12 markings/sec, 1275 secs
lola: 1 tries, 14095 fired transitions, 1280 secs || 13665 markings, 13664 edges, 12 markings/sec, 1280 secs
lola: 1 tries, 14151 fired transitions, 1285 secs || 13722 markings, 13721 edges, 11 markings/sec, 1285 secs
lola: 1 tries, 14208 fired transitions, 1290 secs || 13780 markings, 13779 edges, 12 markings/sec, 1290 secs
lola: 1 tries, 14265 fired transitions, 1295 secs || 13837 markings, 13836 edges, 11 markings/sec, 1295 secs
lola: 1 tries, 14322 fired transitions, 1300 secs || 13895 markings, 13894 edges, 12 markings/sec, 1300 secs
lola: 1 tries, 14379 fired transitions, 1305 secs || 13952 markings, 13951 edges, 11 markings/sec, 1305 secs
lola: 1 tries, 14436 fired transitions, 1310 secs || 14009 markings, 14008 edges, 11 markings/sec, 1310 secs
lola: 1 tries, 14493 fired transitions, 1315 secs || 14066 markings, 14065 edges, 11 markings/sec, 1315 secs
lola: 1 tries, 14548 fired transitions, 1320 secs || 14122 markings, 14121 edges, 11 markings/sec, 1320 secs
lola: 1 tries, 14605 fired transitions, 1325 secs || 14179 markings, 14178 edges, 11 markings/sec, 1325 secs
lola: 1 tries, 14660 fired transitions, 1330 secs || 14235 markings, 14234 edges, 11 markings/sec, 1330 secs
lola: 1 tries, 14716 fired transitions, 1335 secs || 14291 markings, 14290 edges, 11 markings/sec, 1335 secs
lola: 1 tries, 14772 fired transitions, 1340 secs || 14347 markings, 14346 edges, 11 markings/sec, 1340 secs
lola: 1 tries, 14833 fired transitions, 1345 secs || 14406 markings, 14405 edges, 12 markings/sec, 1345 secs
lola: 1 tries, 14894 fired transitions, 1350 secs || 14466 markings, 14465 edges, 12 markings/sec, 1350 secs
lola: 1 tries, 14956 fired transitions, 1355 secs || 14528 markings, 14527 edges, 12 markings/sec, 1355 secs
lola: 1 tries, 15018 fired transitions, 1360 secs || 14590 markings, 14589 edges, 12 markings/sec, 1360 secs
lola: 1 tries, 15081 fired transitions, 1365 secs || 14653 markings, 14652 edges, 13 markings/sec, 1365 secs
lola: 1 tries, 15143 fired transitions, 1370 secs || 14715 markings, 14714 edges, 12 markings/sec, 1370 secs
lola: 1 tries, 15206 fired transitions, 1375 secs || 14778 markings, 14777 edges, 13 markings/sec, 1375 secs
lola: 1 tries, 15267 fired transitions, 1380 secs || 14839 markings, 14838 edges, 12 markings/sec, 1380 secs
lola: 1 tries, 15330 fired transitions, 1385 secs || 14902 markings, 14901 edges, 13 markings/sec, 1385 secs
lola: 1 tries, 15392 fired transitions, 1390 secs || 14964 markings, 14963 edges, 12 markings/sec, 1390 secs
lola: 1 tries, 15455 fired transitions, 1395 secs || 15027 markings, 15026 edges, 13 markings/sec, 1395 secs
lola: 1 tries, 15517 fired transitions, 1400 secs || 15089 markings, 15088 edges, 12 markings/sec, 1400 secs
lola: 1 tries, 15580 fired transitions, 1405 secs || 15152 markings, 15151 edges, 13 markings/sec, 1405 secs
lola: 1 tries, 15641 fired transitions, 1410 secs || 15213 markings, 15212 edges, 12 markings/sec, 1410 secs
lola: 1 tries, 15704 fired transitions, 1415 secs || 15276 markings, 15275 edges, 13 markings/sec, 1415 secs
lola: 1 tries, 15766 fired transitions, 1420 secs || 15338 markings, 15337 edges, 12 markings/sec, 1420 secs
lola: 1 tries, 15828 fired transitions, 1425 secs || 15400 markings, 15399 edges, 12 markings/sec, 1425 secs
lola: 1 tries, 15891 fired transitions, 1430 secs || 15463 markings, 15462 edges, 13 markings/sec, 1430 secs
lola: 1 tries, 15953 fired transitions, 1435 secs || 15525 markings, 15524 edges, 12 markings/sec, 1435 secs
lola: 1 tries, 16015 fired transitions, 1440 secs || 15587 markings, 15586 edges, 12 markings/sec, 1440 secs
lola: 1 tries, 16077 fired transitions, 1445 secs || 15649 markings, 15648 edges, 12 markings/sec, 1445 secs
lola: 1 tries, 16140 fired transitions, 1450 secs || 15712 markings, 15711 edges, 13 markings/sec, 1450 secs
lola: 1 tries, 16203 fired transitions, 1455 secs || 15775 markings, 15774 edges, 13 markings/sec, 1455 secs
lola: 1 tries, 16264 fired transitions, 1460 secs || 15836 markings, 15835 edges, 12 markings/sec, 1460 secs
lola: 1 tries, 16324 fired transitions, 1465 secs || 15896 markings, 15895 edges, 12 markings/sec, 1465 secs
lola: 1 tries, 16385 fired transitions, 1470 secs || 15957 markings, 15956 edges, 12 markings/sec, 1470 secs
lola: 1 tries, 16447 fired transitions, 1475 secs || 16019 markings, 16018 edges, 12 markings/sec, 1475 secs
lola: 1 tries, 16509 fired transitions, 1480 secs || 16081 markings, 16080 edges, 12 markings/sec, 1480 secs
lola: 1 tries, 16571 fired transitions, 1485 secs || 16143 markings, 16142 edges, 12 markings/sec, 1485 secs
lola: 1 tries, 16633 fired transitions, 1490 secs || 16205 markings, 16204 edges, 12 markings/sec, 1490 secs
lola: 1 tries, 16696 fired transitions, 1495 secs || 16268 markings, 16267 edges, 13 markings/sec, 1495 secs
lola: 1 tries, 16758 fired transitions, 1500 secs || 16330 markings, 16329 edges, 12 markings/sec, 1500 secs
lola: 1 tries, 16821 fired transitions, 1505 secs || 16393 markings, 16392 edges, 13 markings/sec, 1505 secs
lola: 1 tries, 16883 fired transitions, 1510 secs || 16455 markings, 16454 edges, 12 markings/sec, 1510 secs
lola: 1 tries, 16945 fired transitions, 1515 secs || 16517 markings, 16516 edges, 12 markings/sec, 1515 secs
lola: 1 tries, 17007 fired transitions, 1520 secs || 16579 markings, 16578 edges, 12 markings/sec, 1520 secs
lola: 1 tries, 17069 fired transitions, 1525 secs || 16641 markings, 16640 edges, 12 markings/sec, 1525 secs
lola: 1 tries, 17131 fired transitions, 1530 secs || 16703 markings, 16702 edges, 12 markings/sec, 1530 secs
lola: 1 tries, 17193 fired transitions, 1535 secs || 16765 markings, 16764 edges, 12 markings/sec, 1535 secs
lola: 1 tries, 17255 fired transitions, 1540 secs || 16827 markings, 16826 edges, 12 markings/sec, 1540 secs
lola: 1 tries, 17317 fired transitions, 1545 secs || 16889 markings, 16888 edges, 12 markings/sec, 1545 secs
lola: 1 tries, 17380 fired transitions, 1550 secs || 16952 markings, 16951 edges, 13 markings/sec, 1550 secs
lola: 1 tries, 17442 fired transitions, 1555 secs || 17014 markings, 17013 edges, 12 markings/sec, 1555 secs
lola: 1 tries, 17504 fired transitions, 1560 secs || 17076 markings, 17075 edges, 12 markings/sec, 1560 secs
lola: 1 tries, 17566 fired transitions, 1565 secs || 17138 markings, 17137 edges, 12 markings/sec, 1565 secs
lola: 1 tries, 17628 fired transitions, 1570 secs || 17200 markings, 17199 edges, 12 markings/sec, 1570 secs
lola: 1 tries, 17690 fired transitions, 1575 secs || 17262 markings, 17261 edges, 12 markings/sec, 1575 secs
lola: 1 tries, 17752 fired transitions, 1580 secs || 17324 markings, 17323 edges, 12 markings/sec, 1580 secs
lola: 1 tries, 17814 fired transitions, 1585 secs || 17386 markings, 17385 edges, 12 markings/sec, 1585 secs
lola: 1 tries, 17876 fired transitions, 1590 secs || 17448 markings, 17447 edges, 12 markings/sec, 1590 secs
lola: 1 tries, 17938 fired transitions, 1595 secs || 17510 markings, 17509 edges, 12 markings/sec, 1595 secs
lola: 1 tries, 18001 fired transitions, 1600 secs || 17573 markings, 17572 edges, 13 markings/sec, 1600 secs
lola: 1 tries, 18063 fired transitions, 1605 secs || 17635 markings, 17634 edges, 12 markings/sec, 1605 secs
lola: 1 tries, 18125 fired transitions, 1610 secs || 17697 markings, 17696 edges, 12 markings/sec, 1610 secs
lola: 1 tries, 18187 fired transitions, 1615 secs || 17759 markings, 17758 edges, 12 markings/sec, 1615 secs
lola: 1 tries, 18248 fired transitions, 1620 secs || 17820 markings, 17819 edges, 12 markings/sec, 1620 secs
lola: 1 tries, 18308 fired transitions, 1625 secs || 17880 markings, 17879 edges, 12 markings/sec, 1625 secs
lola: 1 tries, 18368 fired transitions, 1630 secs || 17940 markings, 17939 edges, 12 markings/sec, 1630 secs
lola: 1 tries, 18428 fired transitions, 1635 secs || 18000 markings, 17999 edges, 12 markings/sec, 1635 secs
lola: 1 tries, 18488 fired transitions, 1640 secs || 18060 markings, 18059 edges, 12 markings/sec, 1640 secs
lola: 1 tries, 18548 fired transitions, 1645 secs || 18120 markings, 18119 edges, 12 markings/sec, 1645 secs
lola: 1 tries, 18608 fired transitions, 1650 secs || 18180 markings, 18179 edges, 12 markings/sec, 1650 secs
lola: 1 tries, 18668 fired transitions, 1655 secs || 18240 markings, 18239 edges, 12 markings/sec, 1655 secs
lola: 1 tries, 18728 fired transitions, 1660 secs || 18300 markings, 18299 edges, 12 markings/sec, 1660 secs
lola: 1 tries, 18789 fired transitions, 1665 secs || 18361 markings, 18360 edges, 12 markings/sec, 1665 secs
lola: 1 tries, 18849 fired transitions, 1670 secs || 18421 markings, 18420 edges, 12 markings/sec, 1670 secs
lola: 1 tries, 18908 fired transitions, 1675 secs || 18480 markings, 18479 edges, 12 markings/sec, 1675 secs
lola: 1 tries, 18968 fired transitions, 1680 secs || 18540 markings, 18539 edges, 12 markings/sec, 1680 secs
lola: 1 tries, 19027 fired transitions, 1685 secs || 18599 markings, 18598 edges, 12 markings/sec, 1685 secs
lola: 1 tries, 19087 fired transitions, 1690 secs || 18659 markings, 18658 edges, 12 markings/sec, 1690 secs
lola: 1 tries, 19146 fired transitions, 1695 secs || 18718 markings, 18717 edges, 12 markings/sec, 1695 secs
lola: 1 tries, 19206 fired transitions, 1700 secs || 18778 markings, 18777 edges, 12 markings/sec, 1700 secs
lola: 1 tries, 19267 fired transitions, 1705 secs || 18839 markings, 18838 edges, 12 markings/sec, 1705 secs
lola: 1 tries, 19327 fired transitions, 1710 secs || 18899 markings, 18898 edges, 12 markings/sec, 1710 secs
lola: 1 tries, 19386 fired transitions, 1715 secs || 18958 markings, 18957 edges, 12 markings/sec, 1715 secs
lola: 1 tries, 19446 fired transitions, 1720 secs || 19018 markings, 19017 edges, 12 markings/sec, 1720 secs
lola: 1 tries, 19506 fired transitions, 1725 secs || 19078 markings, 19077 edges, 12 markings/sec, 1725 secs
lola: 1 tries, 19567 fired transitions, 1730 secs || 19139 markings, 19138 edges, 12 markings/sec, 1730 secs
lola: 1 tries, 19629 fired transitions, 1735 secs || 19201 markings, 19200 edges, 12 markings/sec, 1735 secs
lola: 1 tries, 19691 fired transitions, 1740 secs || 19263 markings, 19262 edges, 12 markings/sec, 1740 secs
lola: 1 tries, 19754 fired transitions, 1745 secs || 19326 markings, 19325 edges, 13 markings/sec, 1745 secs
lola: 1 tries, 19816 fired transitions, 1750 secs || 19388 markings, 19387 edges, 12 markings/sec, 1750 secs
lola: 1 tries, 19878 fired transitions, 1755 secs || 19450 markings, 19449 edges, 12 markings/sec, 1755 secs
lola: 1 tries, 19941 fired transitions, 1760 secs || 19513 markings, 19512 edges, 13 markings/sec, 1760 secs
lola: 1 tries, 20003 fired transitions, 1765 secs || 19575 markings, 19574 edges, 12 markings/sec, 1765 secs
lola: 1 tries, 20065 fired transitions, 1770 secs || 19637 markings, 19636 edges, 12 markings/sec, 1770 secs
lola: 1 tries, 20127 fired transitions, 1775 secs || 19699 markings, 19698 edges, 12 markings/sec, 1775 secs
lola: 1 tries, 20189 fired transitions, 1780 secs || 19761 markings, 19760 edges, 12 markings/sec, 1780 secs
lola: 1 tries, 20251 fired transitions, 1785 secs || 19823 markings, 19822 edges, 12 markings/sec, 1785 secs
lola: 1 tries, 20313 fired transitions, 1790 secs || 19885 markings, 19884 edges, 12 markings/sec, 1790 secs
lola: 1 tries, 20375 fired transitions, 1795 secs || 19947 markings, 19946 edges, 12 markings/sec, 1795 secs
lola: 1 tries, 20437 fired transitions, 1800 secs || 20009 markings, 20008 edges, 12 markings/sec, 1800 secs
lola: 1 tries, 20499 fired transitions, 1805 secs || 20071 markings, 20070 edges, 12 markings/sec, 1805 secs
lola: 1 tries, 20561 fired transitions, 1810 secs || 20133 markings, 20132 edges, 12 markings/sec, 1810 secs
lola: 1 tries, 20623 fired transitions, 1815 secs || 20195 markings, 20194 edges, 12 markings/sec, 1815 secs
lola: 1 tries, 20685 fired transitions, 1820 secs || 20257 markings, 20256 edges, 12 markings/sec, 1820 secs
lola: 1 tries, 20747 fired transitions, 1825 secs || 20319 markings, 20318 edges, 12 markings/sec, 1825 secs
lola: 1 tries, 20809 fired transitions, 1830 secs || 20381 markings, 20380 edges, 12 markings/sec, 1830 secs
lola: 1 tries, 20871 fired transitions, 1835 secs || 20443 markings, 20442 edges, 12 markings/sec, 1835 secs
lola: 1 tries, 20933 fired transitions, 1840 secs || 20505 markings, 20504 edges, 12 markings/sec, 1840 secs
lola: 1 tries, 20996 fired transitions, 1845 secs || 20568 markings, 20567 edges, 13 markings/sec, 1845 secs
lola: 1 tries, 21058 fired transitions, 1850 secs || 20630 markings, 20629 edges, 12 markings/sec, 1850 secs
lola: 1 tries, 21120 fired transitions, 1855 secs || 20692 markings, 20691 edges, 12 markings/sec, 1855 secs
lola: 1 tries, 21183 fired transitions, 1860 secs || 20755 markings, 20754 edges, 13 markings/sec, 1860 secs
lola: 1 tries, 21245 fired transitions, 1865 secs || 20817 markings, 20816 edges, 12 markings/sec, 1865 secs
lola: 1 tries, 21306 fired transitions, 1870 secs || 20878 markings, 20877 edges, 12 markings/sec, 1870 secs
lola: 1 tries, 21369 fired transitions, 1875 secs || 20941 markings, 20940 edges, 13 markings/sec, 1875 secs
lola: 1 tries, 21431 fired transitions, 1880 secs || 21003 markings, 21002 edges, 12 markings/sec, 1880 secs
lola: 1 tries, 21493 fired transitions, 1885 secs || 21065 markings, 21064 edges, 12 markings/sec, 1885 secs
lola: 1 tries, 21555 fired transitions, 1890 secs || 21127 markings, 21126 edges, 12 markings/sec, 1890 secs
lola: 1 tries, 21617 fired transitions, 1895 secs || 21189 markings, 21188 edges, 12 markings/sec, 1895 secs
lola: 1 tries, 21680 fired transitions, 1900 secs || 21252 markings, 21251 edges, 13 markings/sec, 1900 secs
lola: 1 tries, 21742 fired transitions, 1905 secs || 21314 markings, 21313 edges, 12 markings/sec, 1905 secs
lola: 1 tries, 21804 fired transitions, 1910 secs || 21376 markings, 21375 edges, 12 markings/sec, 1910 secs
lola: 1 tries, 21866 fired transitions, 1915 secs || 21438 markings, 21437 edges, 12 markings/sec, 1915 secs
lola: 1 tries, 21928 fired transitions, 1920 secs || 21500 markings, 21499 edges, 12 markings/sec, 1920 secs
lola: 1 tries, 21991 fired transitions, 1925 secs || 21563 markings, 21562 edges, 13 markings/sec, 1925 secs
lola: 1 tries, 22052 fired transitions, 1930 secs || 21624 markings, 21623 edges, 12 markings/sec, 1930 secs
lola: 1 tries, 22115 fired transitions, 1935 secs || 21687 markings, 21686 edges, 13 markings/sec, 1935 secs
lola: 1 tries, 22177 fired transitions, 1940 secs || 21749 markings, 21748 edges, 12 markings/sec, 1940 secs
lola: 1 tries, 22239 fired transitions, 1945 secs || 21811 markings, 21810 edges, 12 markings/sec, 1945 secs
lola: 1 tries, 22302 fired transitions, 1950 secs || 21874 markings, 21873 edges, 13 markings/sec, 1950 secs
lola: 1 tries, 22365 fired transitions, 1955 secs || 21937 markings, 21936 edges, 13 markings/sec, 1955 secs
lola: 1 tries, 22427 fired transitions, 1960 secs || 21999 markings, 21998 edges, 12 markings/sec, 1960 secs
lola: 1 tries, 22490 fired transitions, 1965 secs || 22062 markings, 22061 edges, 13 markings/sec, 1965 secs
lola: 1 tries, 22552 fired transitions, 1970 secs || 22124 markings, 22123 edges, 12 markings/sec, 1970 secs
lola: 1 tries, 22615 fired transitions, 1975 secs || 22187 markings, 22186 edges, 13 markings/sec, 1975 secs
lola: 1 tries, 22677 fired transitions, 1980 secs || 22249 markings, 22248 edges, 12 markings/sec, 1980 secs
lola: 1 tries, 22739 fired transitions, 1985 secs || 22311 markings, 22310 edges, 12 markings/sec, 1985 secs
lola: 1 tries, 22801 fired transitions, 1990 secs || 22373 markings, 22372 edges, 12 markings/sec, 1990 secs
lola: 1 tries, 22864 fired transitions, 1995 secs || 22436 markings, 22435 edges, 13 markings/sec, 1995 secs
lola: 1 tries, 22926 fired transitions, 2000 secs || 22498 markings, 22497 edges, 12 markings/sec, 2000 secs
lola: 1 tries, 22989 fired transitions, 2005 secs || 22561 markings, 22560 edges, 13 markings/sec, 2005 secs
lola: 1 tries, 23051 fired transitions, 2010 secs || 22622 markings, 22621 edges, 12 markings/sec, 2010 secs
lola: 1 tries, 23113 fired transitions, 2015 secs || 22684 markings, 22683 edges, 12 markings/sec, 2015 secs
lola: 1 tries, 23176 fired transitions, 2020 secs || 22747 markings, 22746 edges, 13 markings/sec, 2020 secs
lola: 1 tries, 23239 fired transitions, 2025 secs || 22810 markings, 22809 edges, 13 markings/sec, 2025 secs
lola: 1 tries, 23302 fired transitions, 2030 secs || 22873 markings, 22872 edges, 13 markings/sec, 2030 secs
lola: 1 tries, 23363 fired transitions, 2035 secs || 22934 markings, 22933 edges, 12 markings/sec, 2035 secs
lola: 1 tries, 23425 fired transitions, 2040 secs || 22996 markings, 22995 edges, 12 markings/sec, 2040 secs
lola: 1 tries, 23487 fired transitions, 2045 secs || 23058 markings, 23057 edges, 12 markings/sec, 2045 secs
lola: 1 tries, 23549 fired transitions, 2050 secs || 23120 markings, 23119 edges, 12 markings/sec, 2050 secs
lola: 1 tries, 23610 fired transitions, 2055 secs || 23181 markings, 23180 edges, 12 markings/sec, 2055 secs
lola: 1 tries, 23672 fired transitions, 2060 secs || 23243 markings, 23242 edges, 12 markings/sec, 2060 secs
lola: 1 tries, 23734 fired transitions, 2065 secs || 23305 markings, 23304 edges, 12 markings/sec, 2065 secs
lola: 1 tries, 23795 fired transitions, 2070 secs || 23366 markings, 23365 edges, 12 markings/sec, 2070 secs
lola: 1 tries, 23857 fired transitions, 2075 secs || 23428 markings, 23427 edges, 12 markings/sec, 2075 secs
lola: 1 tries, 23919 fired transitions, 2080 secs || 23489 markings, 23488 edges, 12 markings/sec, 2080 secs
lola: 1 tries, 23981 fired transitions, 2085 secs || 23549 markings, 23548 edges, 12 markings/sec, 2085 secs
lola: 1 tries, 24043 fired transitions, 2090 secs || 23610 markings, 23609 edges, 12 markings/sec, 2090 secs
lola: 1 tries, 24104 fired transitions, 2095 secs || 23670 markings, 23669 edges, 12 markings/sec, 2095 secs
lola: 1 tries, 24167 fired transitions, 2100 secs || 23732 markings, 23731 edges, 12 markings/sec, 2100 secs
lola: 1 tries, 24230 fired transitions, 2105 secs || 23795 markings, 23794 edges, 13 markings/sec, 2105 secs
lola: 1 tries, 24293 fired transitions, 2110 secs || 23858 markings, 23857 edges, 13 markings/sec, 2110 secs
lola: 1 tries, 24356 fired transitions, 2115 secs || 23921 markings, 23920 edges, 13 markings/sec, 2115 secs
lola: 1 tries, 24419 fired transitions, 2120 secs || 23984 markings, 23983 edges, 13 markings/sec, 2120 secs
lola: 1 tries, 24482 fired transitions, 2125 secs || 24047 markings, 24046 edges, 13 markings/sec, 2125 secs
lola: 1 tries, 24544 fired transitions, 2130 secs || 24110 markings, 24109 edges, 13 markings/sec, 2130 secs
lola: 1 tries, 24603 fired transitions, 2135 secs || 24170 markings, 24169 edges, 12 markings/sec, 2135 secs
lola: 1 tries, 24664 fired transitions, 2140 secs || 24229 markings, 24228 edges, 12 markings/sec, 2140 secs
lola: 1 tries, 24725 fired transitions, 2145 secs || 24291 markings, 24290 edges, 12 markings/sec, 2145 secs
lola: 1 tries, 24788 fired transitions, 2150 secs || 24354 markings, 24353 edges, 13 markings/sec, 2150 secs
lola: 1 tries, 24850 fired transitions, 2155 secs || 24416 markings, 24415 edges, 12 markings/sec, 2155 secs
lola: 1 tries, 24913 fired transitions, 2160 secs || 24479 markings, 24478 edges, 13 markings/sec, 2160 secs
lola: 1 tries, 24976 fired transitions, 2165 secs || 24542 markings, 24541 edges, 13 markings/sec, 2165 secs
lola: 1 tries, 25039 fired transitions, 2170 secs || 24605 markings, 24604 edges, 13 markings/sec, 2170 secs
lola: 1 tries, 25102 fired transitions, 2175 secs || 24668 markings, 24667 edges, 13 markings/sec, 2175 secs
lola: 1 tries, 25165 fired transitions, 2180 secs || 24731 markings, 24730 edges, 13 markings/sec, 2180 secs
lola: 1 tries, 25226 fired transitions, 2185 secs || 24792 markings, 24791 edges, 12 markings/sec, 2185 secs
lola: 1 tries, 25289 fired transitions, 2190 secs || 24855 markings, 24854 edges, 13 markings/sec, 2190 secs
lola: 1 tries, 25351 fired transitions, 2195 secs || 24917 markings, 24916 edges, 12 markings/sec, 2195 secs
lola: 1 tries, 25414 fired transitions, 2200 secs || 24980 markings, 24979 edges, 13 markings/sec, 2200 secs
lola: 1 tries, 25477 fired transitions, 2205 secs || 25043 markings, 25042 edges, 13 markings/sec, 2205 secs
lola: 1 tries, 25540 fired transitions, 2210 secs || 25106 markings, 25105 edges, 13 markings/sec, 2210 secs
lola: 1 tries, 25602 fired transitions, 2215 secs || 25168 markings, 25167 edges, 12 markings/sec, 2215 secs
lola: 1 tries, 25665 fired transitions, 2220 secs || 25231 markings, 25230 edges, 13 markings/sec, 2220 secs
lola: 1 tries, 25728 fired transitions, 2225 secs || 25294 markings, 25293 edges, 13 markings/sec, 2225 secs
lola: 1 tries, 25790 fired transitions, 2230 secs || 25356 markings, 25355 edges, 12 markings/sec, 2230 secs
lola: 1 tries, 25852 fired transitions, 2235 secs || 25418 markings, 25417 edges, 12 markings/sec, 2235 secs
lola: 1 tries, 25915 fired transitions, 2240 secs || 25481 markings, 25480 edges, 13 markings/sec, 2240 secs
lola: 1 tries, 25977 fired transitions, 2245 secs || 25543 markings, 25542 edges, 12 markings/sec, 2245 secs
lola: 1 tries, 26040 fired transitions, 2250 secs || 25606 markings, 25605 edges, 13 markings/sec, 2250 secs
lola: 1 tries, 26102 fired transitions, 2255 secs || 25668 markings, 25667 edges, 12 markings/sec, 2255 secs
lola: 1 tries, 26165 fired transitions, 2260 secs || 25731 markings, 25730 edges, 13 markings/sec, 2260 secs
lola: 1 tries, 26228 fired transitions, 2265 secs || 25794 markings, 25793 edges, 13 markings/sec, 2265 secs
lola: 1 tries, 26291 fired transitions, 2270 secs || 25857 markings, 25856 edges, 13 markings/sec, 2270 secs
lola: 1 tries, 26354 fired transitions, 2275 secs || 25920 markings, 25919 edges, 13 markings/sec, 2275 secs
lola: 1 tries, 26417 fired transitions, 2280 secs || 25983 markings, 25982 edges, 13 markings/sec, 2280 secs
lola: 1 tries, 26480 fired transitions, 2285 secs || 26046 markings, 26045 edges, 13 markings/sec, 2285 secs
lola: 1 tries, 26543 fired transitions, 2290 secs || 26109 markings, 26108 edges, 13 markings/sec, 2290 secs
lola: 1 tries, 26606 fired transitions, 2295 secs || 26172 markings, 26171 edges, 13 markings/sec, 2295 secs
lola: 1 tries, 26668 fired transitions, 2300 secs || 26234 markings, 26233 edges, 12 markings/sec, 2300 secs
lola: 1 tries, 26731 fired transitions, 2305 secs || 26297 markings, 26296 edges, 13 markings/sec, 2305 secs
lola: 1 tries, 26793 fired transitions, 2310 secs || 26359 markings, 26358 edges, 12 markings/sec, 2310 secs
lola: 1 tries, 26856 fired transitions, 2315 secs || 26422 markings, 26421 edges, 13 markings/sec, 2315 secs
lola: 1 tries, 26919 fired transitions, 2320 secs || 26485 markings, 26484 edges, 13 markings/sec, 2320 secs
lola: 1 tries, 26981 fired transitions, 2325 secs || 26547 markings, 26546 edges, 12 markings/sec, 2325 secs
lola: 1 tries, 27044 fired transitions, 2330 secs || 26610 markings, 26609 edges, 13 markings/sec, 2330 secs
lola: 1 tries, 27107 fired transitions, 2335 secs || 26673 markings, 26672 edges, 13 markings/sec, 2335 secs
lola: 1 tries, 27169 fired transitions, 2340 secs || 26735 markings, 26734 edges, 12 markings/sec, 2340 secs
lola: 1 tries, 27232 fired transitions, 2345 secs || 26798 markings, 26797 edges, 13 markings/sec, 2345 secs
lola: 1 tries, 27294 fired transitions, 2350 secs || 26860 markings, 26859 edges, 12 markings/sec, 2350 secs
lola: 1 tries, 27356 fired transitions, 2355 secs || 26922 markings, 26921 edges, 12 markings/sec, 2355 secs
lola: 1 tries, 27419 fired transitions, 2360 secs || 26985 markings, 26984 edges, 13 markings/sec, 2360 secs
lola: 1 tries, 27482 fired transitions, 2365 secs || 27048 markings, 27047 edges, 13 markings/sec, 2365 secs
lola: 1 tries, 27545 fired transitions, 2370 secs || 27111 markings, 27110 edges, 13 markings/sec, 2370 secs
lola: 1 tries, 27608 fired transitions, 2375 secs || 27174 markings, 27173 edges, 13 markings/sec, 2375 secs
lola: 1 tries, 27671 fired transitions, 2380 secs || 27237 markings, 27236 edges, 13 markings/sec, 2380 secs
lola: 1 tries, 27734 fired transitions, 2385 secs || 27300 markings, 27299 edges, 13 markings/sec, 2385 secs
lola: 1 tries, 27797 fired transitions, 2390 secs || 27363 markings, 27362 edges, 13 markings/sec, 2390 secs
lola: 1 tries, 27860 fired transitions, 2395 secs || 27426 markings, 27425 edges, 13 markings/sec, 2395 secs
lola: 1 tries, 27923 fired transitions, 2400 secs || 27489 markings, 27488 edges, 13 markings/sec, 2400 secs
lola: 1 tries, 27985 fired transitions, 2405 secs || 27551 markings, 27550 edges, 12 markings/sec, 2405 secs
lola: 1 tries, 28048 fired transitions, 2410 secs || 27614 markings, 27613 edges, 13 markings/sec, 2410 secs
lola: 1 tries, 28111 fired transitions, 2415 secs || 27677 markings, 27676 edges, 13 markings/sec, 2415 secs
lola: 1 tries, 28173 fired transitions, 2420 secs || 27739 markings, 27738 edges, 12 markings/sec, 2420 secs
lola: 1 tries, 28236 fired transitions, 2425 secs || 27802 markings, 27801 edges, 13 markings/sec, 2425 secs
lola: 1 tries, 28298 fired transitions, 2430 secs || 27864 markings, 27863 edges, 12 markings/sec, 2430 secs
lola: 1 tries, 28360 fired transitions, 2435 secs || 27926 markings, 27925 edges, 12 markings/sec, 2435 secs
lola: 1 tries, 28423 fired transitions, 2440 secs || 27989 markings, 27988 edges, 13 markings/sec, 2440 secs
lola: 1 tries, 28486 fired transitions, 2445 secs || 28052 markings, 28051 edges, 13 markings/sec, 2445 secs
lola: 1 tries, 28549 fired transitions, 2450 secs || 28115 markings, 28114 edges, 13 markings/sec, 2450 secs
lola: 1 tries, 28611 fired transitions, 2455 secs || 28177 markings, 28176 edges, 12 markings/sec, 2455 secs
lola: 1 tries, 28673 fired transitions, 2460 secs || 28239 markings, 28238 edges, 12 markings/sec, 2460 secs
lola: 1 tries, 28735 fired transitions, 2465 secs || 28301 markings, 28300 edges, 12 markings/sec, 2465 secs
lola: 1 tries, 28797 fired transitions, 2470 secs || 28362 markings, 28361 edges, 12 markings/sec, 2470 secs
lola: 1 tries, 28859 fired transitions, 2475 secs || 28418 markings, 28417 edges, 11 markings/sec, 2475 secs
lola: 1 tries, 28920 fired transitions, 2480 secs || 28474 markings, 28473 edges, 11 markings/sec, 2480 secs
lola: 1 tries, 28981 fired transitions, 2485 secs || 28531 markings, 28530 edges, 11 markings/sec, 2485 secs
lola: 1 tries, 29042 fired transitions, 2490 secs || 28591 markings, 28590 edges, 12 markings/sec, 2490 secs
lola: 1 tries, 29103 fired transitions, 2495 secs || 28647 markings, 28646 edges, 11 markings/sec, 2495 secs
lola: 1 tries, 29165 fired transitions, 2500 secs || 28703 markings, 28702 edges, 11 markings/sec, 2500 secs
lola: 1 tries, 29226 fired transitions, 2505 secs || 28759 markings, 28758 edges, 11 markings/sec, 2505 secs
lola: 1 tries, 29287 fired transitions, 2510 secs || 28814 markings, 28813 edges, 11 markings/sec, 2510 secs
lola: 1 tries, 29349 fired transitions, 2515 secs || 28872 markings, 28871 edges, 12 markings/sec, 2515 secs
lola: 1 tries, 29411 fired transitions, 2520 secs || 28935 markings, 28934 edges, 13 markings/sec, 2520 secs
lola: 1 tries, 29472 fired transitions, 2525 secs || 28996 markings, 28995 edges, 12 markings/sec, 2525 secs
lola: 1 tries, 29534 fired transitions, 2530 secs || 29058 markings, 29057 edges, 12 markings/sec, 2530 secs
lola: 1 tries, 29598 fired transitions, 2535 secs || 29122 markings, 29121 edges, 13 markings/sec, 2535 secs
lola: 1 tries, 29661 fired transitions, 2540 secs || 29185 markings, 29184 edges, 13 markings/sec, 2540 secs
lola: 1 tries, 29723 fired transitions, 2545 secs || 29247 markings, 29246 edges, 12 markings/sec, 2545 secs
lola: 1 tries, 29786 fired transitions, 2550 secs || 29310 markings, 29309 edges, 13 markings/sec, 2550 secs
lola: 1 tries, 29849 fired transitions, 2555 secs || 29373 markings, 29372 edges, 13 markings/sec, 2555 secs
lola: 1 tries, 29912 fired transitions, 2560 secs || 29436 markings, 29435 edges, 13 markings/sec, 2560 secs
lola: 1 tries, 29974 fired transitions, 2565 secs || 29498 markings, 29497 edges, 12 markings/sec, 2565 secs
lola: 1 tries, 30037 fired transitions, 2570 secs || 29561 markings, 29560 edges, 13 markings/sec, 2570 secs
lola: 1 tries, 30099 fired transitions, 2575 secs || 29622 markings, 29621 edges, 12 markings/sec, 2575 secs
lola: 1 tries, 30162 fired transitions, 2580 secs || 29682 markings, 29681 edges, 12 markings/sec, 2580 secs
lola: 1 tries, 30226 fired transitions, 2585 secs || 29742 markings, 29741 edges, 12 markings/sec, 2585 secs
lola: 1 tries, 30290 fired transitions, 2590 secs || 29803 markings, 29802 edges, 12 markings/sec, 2590 secs
lola: 1 tries, 30353 fired transitions, 2595 secs || 29864 markings, 29863 edges, 12 markings/sec, 2595 secs
lola: 1 tries, 30417 fired transitions, 2600 secs || 29925 markings, 29924 edges, 12 markings/sec, 2600 secs
lola: 1 tries, 30480 fired transitions, 2605 secs || 29986 markings, 29985 edges, 12 markings/sec, 2605 secs
lola: 1 tries, 30541 fired transitions, 2610 secs || 30047 markings, 30046 edges, 12 markings/sec, 2610 secs
lola: 1 tries, 30604 fired transitions, 2615 secs || 30110 markings, 30109 edges, 13 markings/sec, 2615 secs
lola: 1 tries, 30666 fired transitions, 2620 secs || 30172 markings, 30171 edges, 12 markings/sec, 2620 secs
lola: 1 tries, 30729 fired transitions, 2625 secs || 30235 markings, 30234 edges, 13 markings/sec, 2625 secs
lola: 1 tries, 30792 fired transitions, 2630 secs || 30297 markings, 30296 edges, 12 markings/sec, 2630 secs
lola: 1 tries, 30855 fired transitions, 2635 secs || 30357 markings, 30356 edges, 12 markings/sec, 2635 secs
lola: 1 tries, 30918 fired transitions, 2640 secs || 30417 markings, 30416 edges, 12 markings/sec, 2640 secs
lola: 1 tries, 30978 fired transitions, 2645 secs || 30477 markings, 30476 edges, 12 markings/sec, 2645 secs
lola: 1 tries, 31039 fired transitions, 2650 secs || 30539 markings, 30538 edges, 12 markings/sec, 2650 secs
lola: 1 tries, 31101 fired transitions, 2655 secs || 30601 markings, 30600 edges, 12 markings/sec, 2655 secs
lola: 1 tries, 31164 fired transitions, 2660 secs || 30664 markings, 30663 edges, 13 markings/sec, 2660 secs
lola: 1 tries, 31226 fired transitions, 2665 secs || 30726 markings, 30725 edges, 12 markings/sec, 2665 secs
lola: 1 tries, 31289 fired transitions, 2670 secs || 30789 markings, 30788 edges, 13 markings/sec, 2670 secs
lola: 1 tries, 31351 fired transitions, 2675 secs || 30851 markings, 30850 edges, 12 markings/sec, 2675 secs
lola: 1 tries, 31414 fired transitions, 2680 secs || 30914 markings, 30913 edges, 13 markings/sec, 2680 secs
lola: 1 tries, 31477 fired transitions, 2685 secs || 30977 markings, 30976 edges, 13 markings/sec, 2685 secs
lola: 1 tries, 31539 fired transitions, 2690 secs || 31039 markings, 31038 edges, 12 markings/sec, 2690 secs
lola: 1 tries, 31601 fired transitions, 2695 secs || 31101 markings, 31100 edges, 12 markings/sec, 2695 secs
lola: 1 tries, 31664 fired transitions, 2700 secs || 31164 markings, 31163 edges, 13 markings/sec, 2700 secs
lola: 1 tries, 31727 fired transitions, 2705 secs || 31227 markings, 31226 edges, 13 markings/sec, 2705 secs
lola: 1 tries, 31790 fired transitions, 2710 secs || 31290 markings, 31289 edges, 13 markings/sec, 2710 secs
lola: 1 tries, 31853 fired transitions, 2715 secs || 31353 markings, 31352 edges, 13 markings/sec, 2715 secs
lola: 1 tries, 31915 fired transitions, 2720 secs || 31415 markings, 31414 edges, 12 markings/sec, 2720 secs
lola: 1 tries, 31977 fired transitions, 2725 secs || 31477 markings, 31476 edges, 12 markings/sec, 2725 secs
lola: 1 tries, 32040 fired transitions, 2730 secs || 31540 markings, 31539 edges, 13 markings/sec, 2730 secs
lola: 1 tries, 32103 fired transitions, 2735 secs || 31603 markings, 31602 edges, 13 markings/sec, 2735 secs
lola: 1 tries, 32166 fired transitions, 2740 secs || 31666 markings, 31665 edges, 13 markings/sec, 2740 secs
lola: 1 tries, 32228 fired transitions, 2745 secs || 31728 markings, 31727 edges, 12 markings/sec, 2745 secs
lola: 1 tries, 32291 fired transitions, 2750 secs || 31789 markings, 31788 edges, 12 markings/sec, 2750 secs
lola: 1 tries, 32355 fired transitions, 2755 secs || 31850 markings, 31849 edges, 12 markings/sec, 2755 secs
lola: 1 tries, 32419 fired transitions, 2760 secs || 31911 markings, 31910 edges, 12 markings/sec, 2760 secs
lola: 1 tries, 32483 fired transitions, 2765 secs || 31972 markings, 31971 edges, 12 markings/sec, 2765 secs
lola: 1 tries, 32547 fired transitions, 2770 secs || 32031 markings, 32030 edges, 12 markings/sec, 2770 secs
lola: 1 tries, 32610 fired transitions, 2775 secs || 32091 markings, 32090 edges, 12 markings/sec, 2775 secs
lola: 1 tries, 32673 fired transitions, 2780 secs || 32153 markings, 32152 edges, 12 markings/sec, 2780 secs
lola: 1 tries, 32735 fired transitions, 2785 secs || 32215 markings, 32214 edges, 12 markings/sec, 2785 secs
lola: 1 tries, 32797 fired transitions, 2790 secs || 32277 markings, 32276 edges, 12 markings/sec, 2790 secs
lola: 1 tries, 32859 fired transitions, 2795 secs || 32339 markings, 32338 edges, 12 markings/sec, 2795 secs
lola: 1 tries, 32922 fired transitions, 2800 secs || 32401 markings, 32400 edges, 12 markings/sec, 2800 secs
lola: 1 tries, 32984 fired transitions, 2805 secs || 32464 markings, 32463 edges, 13 markings/sec, 2805 secs
lola: 1 tries, 33047 fired transitions, 2810 secs || 32527 markings, 32526 edges, 13 markings/sec, 2810 secs
lola: 1 tries, 33110 fired transitions, 2815 secs || 32590 markings, 32589 edges, 13 markings/sec, 2815 secs
lola: 1 tries, 33172 fired transitions, 2820 secs || 32652 markings, 32651 edges, 12 markings/sec, 2820 secs
lola: 1 tries, 33235 fired transitions, 2825 secs || 32715 markings, 32714 edges, 13 markings/sec, 2825 secs
lola: 1 tries, 33297 fired transitions, 2830 secs || 32777 markings, 32776 edges, 12 markings/sec, 2830 secs
lola: 1 tries, 33359 fired transitions, 2835 secs || 32839 markings, 32838 edges, 12 markings/sec, 2835 secs
lola: 1 tries, 33422 fired transitions, 2840 secs || 32902 markings, 32901 edges, 13 markings/sec, 2840 secs
lola: 1 tries, 33485 fired transitions, 2845 secs || 32965 markings, 32964 edges, 13 markings/sec, 2845 secs
lola: 1 tries, 33548 fired transitions, 2850 secs || 33028 markings, 33027 edges, 13 markings/sec, 2850 secs
lola: 1 tries, 33611 fired transitions, 2855 secs || 33091 markings, 33090 edges, 13 markings/sec, 2855 secs
lola: 1 tries, 33673 fired transitions, 2860 secs || 33153 markings, 33152 edges, 12 markings/sec, 2860 secs
lola: 1 tries, 33735 fired transitions, 2865 secs || 33214 markings, 33213 edges, 12 markings/sec, 2865 secs
lola: 1 tries, 33799 fired transitions, 2870 secs || 33274 markings, 33273 edges, 12 markings/sec, 2870 secs
lola: 1 tries, 33863 fired transitions, 2875 secs || 33335 markings, 33334 edges, 12 markings/sec, 2875 secs
lola: 1 tries, 33926 fired transitions, 2880 secs || 33396 markings, 33395 edges, 12 markings/sec, 2880 secs
lola: 1 tries, 33989 fired transitions, 2885 secs || 33456 markings, 33455 edges, 12 markings/sec, 2885 secs
lola: 1 tries, 34052 fired transitions, 2890 secs || 33517 markings, 33516 edges, 12 markings/sec, 2890 secs
lola: 1 tries, 34115 fired transitions, 2895 secs || 33577 markings, 33576 edges, 12 markings/sec, 2895 secs
lola: 1 tries, 34179 fired transitions, 2900 secs || 33638 markings, 33637 edges, 12 markings/sec, 2900 secs
lola: 1 tries, 34242 fired transitions, 2905 secs || 33699 markings, 33698 edges, 12 markings/sec, 2905 secs
lola: 1 tries, 34304 fired transitions, 2910 secs || 33761 markings, 33760 edges, 12 markings/sec, 2910 secs
lola: 1 tries, 34366 fired transitions, 2915 secs || 33823 markings, 33822 edges, 12 markings/sec, 2915 secs
lola: 1 tries, 34428 fired transitions, 2920 secs || 33885 markings, 33884 edges, 12 markings/sec, 2920 secs
lola: 1 tries, 34491 fired transitions, 2925 secs || 33948 markings, 33947 edges, 13 markings/sec, 2925 secs
lola: 1 tries, 34554 fired transitions, 2930 secs || 34011 markings, 34010 edges, 13 markings/sec, 2930 secs
lola: 1 tries, 34616 fired transitions, 2935 secs || 34073 markings, 34072 edges, 12 markings/sec, 2935 secs
lola: 1 tries, 34679 fired transitions, 2940 secs || 34136 markings, 34135 edges, 13 markings/sec, 2940 secs
lola: 1 tries, 34740 fired transitions, 2945 secs || 34196 markings, 34195 edges, 12 markings/sec, 2945 secs
lola: 1 tries, 34804 fired transitions, 2950 secs || 34257 markings, 34256 edges, 12 markings/sec, 2950 secs
lola: 1 tries, 34867 fired transitions, 2955 secs || 34318 markings, 34317 edges, 12 markings/sec, 2955 secs
lola: 1 tries, 34931 fired transitions, 2960 secs || 34379 markings, 34378 edges, 12 markings/sec, 2960 secs
lola: 1 tries, 34994 fired transitions, 2965 secs || 34440 markings, 34439 edges, 12 markings/sec, 2965 secs
lola: 1 tries, 35057 fired transitions, 2970 secs || 34501 markings, 34500 edges, 12 markings/sec, 2970 secs
lola: 1 tries, 35121 fired transitions, 2975 secs || 34562 markings, 34561 edges, 12 markings/sec, 2975 secs
lola: 1 tries, 35183 fired transitions, 2980 secs || 34622 markings, 34621 edges, 12 markings/sec, 2980 secs
lola: 1 tries, 35246 fired transitions, 2985 secs || 34683 markings, 34682 edges, 12 markings/sec, 2985 secs
lola: 1 tries, 35309 fired transitions, 2990 secs || 34744 markings, 34743 edges, 12 markings/sec, 2990 secs
lola: 1 tries, 35372 fired transitions, 2995 secs || 34807 markings, 34806 edges, 13 markings/sec, 2995 secs
lola: 1 tries, 35434 fired transitions, 3000 secs || 34869 markings, 34868 edges, 12 markings/sec, 3000 secs
lola: 1 tries, 35497 fired transitions, 3005 secs || 34932 markings, 34931 edges, 13 markings/sec, 3005 secs
lola: 1 tries, 35560 fired transitions, 3010 secs || 34995 markings, 34994 edges, 13 markings/sec, 3010 secs
lola: 1 tries, 35623 fired transitions, 3015 secs || 35058 markings, 35057 edges, 13 markings/sec, 3015 secs
lola: 1 tries, 35686 fired transitions, 3020 secs || 35121 markings, 35120 edges, 13 markings/sec, 3020 secs
lola: 1 tries, 35749 fired transitions, 3025 secs || 35184 markings, 35183 edges, 13 markings/sec, 3025 secs
lola: 1 tries, 35813 fired transitions, 3030 secs || 35248 markings, 35247 edges, 13 markings/sec, 3030 secs
lola: 1 tries, 35876 fired transitions, 3035 secs || 35311 markings, 35310 edges, 13 markings/sec, 3035 secs
lola: 1 tries, 35939 fired transitions, 3040 secs || 35372 markings, 35371 edges, 12 markings/sec, 3040 secs
lola: 1 tries, 36003 fired transitions, 3045 secs || 35432 markings, 35431 edges, 12 markings/sec, 3045 secs
lola: 1 tries, 36066 fired transitions, 3050 secs || 35493 markings, 35492 edges, 12 markings/sec, 3050 secs
lola: 1 tries, 36130 fired transitions, 3055 secs || 35554 markings, 35553 edges, 12 markings/sec, 3055 secs
lola: 1 tries, 36193 fired transitions, 3060 secs || 35617 markings, 35616 edges, 13 markings/sec, 3060 secs
lola: 1 tries, 36256 fired transitions, 3065 secs || 35680 markings, 35679 edges, 13 markings/sec, 3065 secs
lola: 1 tries, 36319 fired transitions, 3070 secs || 35743 markings, 35742 edges, 13 markings/sec, 3070 secs
lola: 1 tries, 36381 fired transitions, 3075 secs || 35805 markings, 35804 edges, 12 markings/sec, 3075 secs
lola: 1 tries, 36445 fired transitions, 3080 secs || 35869 markings, 35868 edges, 13 markings/sec, 3080 secs
lola: 1 tries, 36508 fired transitions, 3085 secs || 35932 markings, 35931 edges, 13 markings/sec, 3085 secs
lola: 1 tries, 36571 fired transitions, 3090 secs || 35995 markings, 35994 edges, 13 markings/sec, 3090 secs
lola: 1 tries, 36634 fired transitions, 3095 secs || 36058 markings, 36057 edges, 13 markings/sec, 3095 secs
lola: 1 tries, 36697 fired transitions, 3100 secs || 36121 markings, 36120 edges, 13 markings/sec, 3100 secs
lola: 1 tries, 36760 fired transitions, 3105 secs || 36184 markings, 36183 edges, 13 markings/sec, 3105 secs
lola: 1 tries, 36823 fired transitions, 3110 secs || 36247 markings, 36246 edges, 13 markings/sec, 3110 secs
lola: 1 tries, 36887 fired transitions, 3115 secs || 36311 markings, 36310 edges, 13 markings/sec, 3115 secs
lola: 1 tries, 36950 fired transitions, 3120 secs || 36374 markings, 36373 edges, 13 markings/sec, 3120 secs
lola: 1 tries, 37013 fired transitions, 3125 secs || 36437 markings, 36436 edges, 13 markings/sec, 3125 secs
lola: 1 tries, 37076 fired transitions, 3130 secs || 36500 markings, 36499 edges, 13 markings/sec, 3130 secs
lola: 1 tries, 37140 fired transitions, 3135 secs || 36564 markings, 36563 edges, 13 markings/sec, 3135 secs
lola: 1 tries, 37203 fired transitions, 3140 secs || 36627 markings, 36626 edges, 13 markings/sec, 3140 secs
lola: 1 tries, 37266 fired transitions, 3145 secs || 36690 markings, 36689 edges, 13 markings/sec, 3145 secs
lola: 1 tries, 37329 fired transitions, 3150 secs || 36753 markings, 36752 edges, 13 markings/sec, 3150 secs
lola: 1 tries, 37393 fired transitions, 3155 secs || 36817 markings, 36816 edges, 13 markings/sec, 3155 secs
lola: 1 tries, 37456 fired transitions, 3160 secs || 36880 markings, 36879 edges, 13 markings/sec, 3160 secs
lola: 1 tries, 37520 fired transitions, 3165 secs || 36944 markings, 36943 edges, 13 markings/sec, 3165 secs
lola: 1 tries, 37583 fired transitions, 3170 secs || 37007 markings, 37006 edges, 13 markings/sec, 3170 secs
lola: 1 tries, 37646 fired transitions, 3175 secs || 37070 markings, 37069 edges, 13 markings/sec, 3175 secs
lola: 1 tries, 37709 fired transitions, 3180 secs || 37133 markings, 37132 edges, 13 markings/sec, 3180 secs
lola: 1 tries, 37772 fired transitions, 3185 secs || 37196 markings, 37195 edges, 13 markings/sec, 3185 secs
lola: 1 tries, 37835 fired transitions, 3190 secs || 37259 markings, 37258 edges, 13 markings/sec, 3190 secs
lola: 1 tries, 37898 fired transitions, 3195 secs || 37322 markings, 37321 edges, 13 markings/sec, 3195 secs
lola: 1 tries, 37962 fired transitions, 3200 secs || 37386 markings, 37385 edges, 13 markings/sec, 3200 secs
lola: 1 tries, 38025 fired transitions, 3205 secs || 37449 markings, 37448 edges, 13 markings/sec, 3205 secs
lola: 1 tries, 38088 fired transitions, 3210 secs || 37512 markings, 37511 edges, 13 markings/sec, 3210 secs
lola: 1 tries, 38152 fired transitions, 3215 secs || 37576 markings, 37575 edges, 13 markings/sec, 3215 secs
lola: 1 tries, 38215 fired transitions, 3220 secs || 37639 markings, 37638 edges, 13 markings/sec, 3220 secs
lola: 1 tries, 38278 fired transitions, 3225 secs || 37702 markings, 37701 edges, 13 markings/sec, 3225 secs
lola: 1 tries, 38341 fired transitions, 3230 secs || 37765 markings, 37764 edges, 13 markings/sec, 3230 secs
lola: 1 tries, 38404 fired transitions, 3235 secs || 37828 markings, 37827 edges, 13 markings/sec, 3235 secs
lola: 1 tries, 38467 fired transitions, 3240 secs || 37891 markings, 37890 edges, 13 markings/sec, 3240 secs
lola: 1 tries, 38531 fired transitions, 3245 secs || 37955 markings, 37954 edges, 13 markings/sec, 3245 secs
lola: 1 tries, 38594 fired transitions, 3250 secs || 38018 markings, 38017 edges, 13 markings/sec, 3250 secs
lola: 1 tries, 38657 fired transitions, 3255 secs || 38081 markings, 38080 edges, 13 markings/sec, 3255 secs
lola: 1 tries, 38720 fired transitions, 3260 secs || 38144 markings, 38143 edges, 13 markings/sec, 3260 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553927677878
--------------------
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-9"
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-9, 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-155274853800552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-9.tgz
mv RERS17pb115-PT-9 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 ;