About the Execution of LoLA for RERS17pb114-PT-1
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11989.130 | 3570388.00 | 6935998.00 | 112.10 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r126-oct2-155274853600399.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 RERS17pb114-PT-1, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853600399
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.8K 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.4K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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 12K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 73M 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 RERS17pb114-PT-1-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553915998614
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb114-PT-1 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb114-PT-1
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: 152531/268435456 symbol table entries, 7 collisions
lola: preprocessing...
lola: Size of bit vector: 1446
lola: finding significant places
lola: 1446 places, 151085 transitions, 1446 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, 46 fired transitions, 0 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: 1 tries, 91 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: 1 tries, 137 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: 1 tries, 182 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: 1 tries, 229 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: 1 tries, 270 fired transitions, 25 secs
lola: 117 generators; 274178 candidates remain ( 0%), 25 secs
lola: computed 153 generators (17 in search tree, 136 by composition)
lola: representing 6.40237E+15 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 317 fired transitions, 30 secs || 18 markings, 19 edges, 4 markings/sec, 30 secs
lola: 1 tries, 366 fired transitions, 35 secs || 68 markings, 88 edges, 10 markings/sec, 35 secs
lola: 1 tries, 417 fired transitions, 40 secs || 117 markings, 166 edges, 10 markings/sec, 40 secs
lola: 1 tries, 467 fired transitions, 45 secs || 167 markings, 226 edges, 10 markings/sec, 45 secs
lola: 1 tries, 517 fired transitions, 50 secs || 217 markings, 300 edges, 10 markings/sec, 50 secs
lola: 1 tries, 567 fired transitions, 55 secs || 266 markings, 374 edges, 10 markings/sec, 55 secs
lola: 1 tries, 617 fired transitions, 60 secs || 315 markings, 440 edges, 10 markings/sec, 60 secs
lola: 1 tries, 667 fired transitions, 65 secs || 364 markings, 536 edges, 10 markings/sec, 65 secs
lola: 1 tries, 717 fired transitions, 70 secs || 414 markings, 634 edges, 10 markings/sec, 70 secs
lola: 1 tries, 768 fired transitions, 75 secs || 463 markings, 718 edges, 10 markings/sec, 75 secs
lola: 1 tries, 819 fired transitions, 80 secs || 513 markings, 809 edges, 10 markings/sec, 80 secs
lola: 1 tries, 869 fired transitions, 85 secs || 563 markings, 907 edges, 10 markings/sec, 85 secs
lola: 1 tries, 919 fired transitions, 90 secs || 611 markings, 1003 edges, 10 markings/sec, 90 secs
lola: 1 tries, 970 fired transitions, 95 secs || 661 markings, 1088 edges, 10 markings/sec, 95 secs
lola: 1 tries, 1022 fired transitions, 100 secs || 712 markings, 1190 edges, 10 markings/sec, 100 secs
lola: 1 tries, 1073 fired transitions, 105 secs || 762 markings, 1278 edges, 10 markings/sec, 105 secs
lola: 1 tries, 1123 fired transitions, 110 secs || 813 markings, 1372 edges, 10 markings/sec, 110 secs
lola: 1 tries, 1175 fired transitions, 115 secs || 865 markings, 1476 edges, 10 markings/sec, 115 secs
lola: 1 tries, 1223 fired transitions, 120 secs || 912 markings, 1562 edges, 9 markings/sec, 120 secs
lola: 1 tries, 1272 fired transitions, 125 secs || 961 markings, 1657 edges, 10 markings/sec, 125 secs
lola: 1 tries, 1322 fired transitions, 130 secs || 1011 markings, 1757 edges, 10 markings/sec, 130 secs
lola: 1 tries, 1373 fired transitions, 135 secs || 1061 markings, 1856 edges, 10 markings/sec, 135 secs
lola: 1 tries, 1425 fired transitions, 140 secs || 1112 markings, 1948 edges, 10 markings/sec, 140 secs
lola: 1 tries, 1476 fired transitions, 145 secs || 1162 markings, 2007 edges, 10 markings/sec, 145 secs
lola: 1 tries, 1528 fired transitions, 150 secs || 1214 markings, 2059 edges, 10 markings/sec, 150 secs
lola: 1 tries, 1580 fired transitions, 155 secs || 1265 markings, 2110 edges, 10 markings/sec, 155 secs
lola: 1 tries, 1630 fired transitions, 160 secs || 1313 markings, 2158 edges, 10 markings/sec, 160 secs
lola: 1 tries, 1682 fired transitions, 165 secs || 1365 markings, 2210 edges, 10 markings/sec, 165 secs
lola: 1 tries, 1733 fired transitions, 170 secs || 1416 markings, 2261 edges, 10 markings/sec, 170 secs
lola: 1 tries, 1784 fired transitions, 175 secs || 1467 markings, 2312 edges, 10 markings/sec, 175 secs
lola: 1 tries, 1836 fired transitions, 180 secs || 1518 markings, 2365 edges, 10 markings/sec, 180 secs
lola: 1 tries, 1888 fired transitions, 185 secs || 1570 markings, 2423 edges, 10 markings/sec, 185 secs
lola: 1 tries, 1939 fired transitions, 190 secs || 1621 markings, 2474 edges, 10 markings/sec, 190 secs
lola: 1 tries, 1990 fired transitions, 195 secs || 1671 markings, 2531 edges, 10 markings/sec, 195 secs
lola: 1 tries, 2042 fired transitions, 200 secs || 1723 markings, 2583 edges, 10 markings/sec, 200 secs
lola: 1 tries, 2092 fired transitions, 205 secs || 1772 markings, 2637 edges, 10 markings/sec, 205 secs
lola: 1 tries, 2144 fired transitions, 210 secs || 1824 markings, 2698 edges, 10 markings/sec, 210 secs
lola: 1 tries, 2193 fired transitions, 215 secs || 1874 markings, 2748 edges, 10 markings/sec, 215 secs
lola: 1 tries, 2243 fired transitions, 220 secs || 1925 markings, 2800 edges, 10 markings/sec, 220 secs
lola: 1 tries, 2295 fired transitions, 225 secs || 1976 markings, 2851 edges, 10 markings/sec, 225 secs
lola: 1 tries, 2347 fired transitions, 230 secs || 2027 markings, 2902 edges, 10 markings/sec, 230 secs
lola: 1 tries, 2398 fired transitions, 235 secs || 2078 markings, 2957 edges, 10 markings/sec, 235 secs
lola: 1 tries, 2450 fired transitions, 240 secs || 2129 markings, 3044 edges, 10 markings/sec, 240 secs
lola: 1 tries, 2501 fired transitions, 245 secs || 2179 markings, 3094 edges, 10 markings/sec, 245 secs
lola: 1 tries, 2553 fired transitions, 250 secs || 2231 markings, 3146 edges, 10 markings/sec, 250 secs
lola: 1 tries, 2605 fired transitions, 255 secs || 2283 markings, 3198 edges, 10 markings/sec, 255 secs
lola: 1 tries, 2656 fired transitions, 260 secs || 2335 markings, 3253 edges, 10 markings/sec, 260 secs
lola: 1 tries, 2707 fired transitions, 265 secs || 2387 markings, 3307 edges, 10 markings/sec, 265 secs
lola: 1 tries, 2758 fired transitions, 270 secs || 2439 markings, 3361 edges, 10 markings/sec, 270 secs
lola: 1 tries, 2809 fired transitions, 275 secs || 2491 markings, 3413 edges, 10 markings/sec, 275 secs
lola: 1 tries, 2859 fired transitions, 280 secs || 2542 markings, 3464 edges, 10 markings/sec, 280 secs
lola: 1 tries, 2910 fired transitions, 285 secs || 2591 markings, 3513 edges, 10 markings/sec, 285 secs
lola: 1 tries, 2960 fired transitions, 290 secs || 2641 markings, 3565 edges, 10 markings/sec, 290 secs
lola: 1 tries, 3011 fired transitions, 295 secs || 2692 markings, 3619 edges, 10 markings/sec, 295 secs
lola: 1 tries, 3063 fired transitions, 300 secs || 2742 markings, 3669 edges, 10 markings/sec, 300 secs
lola: 1 tries, 3114 fired transitions, 305 secs || 2794 markings, 3721 edges, 10 markings/sec, 305 secs
lola: 1 tries, 3164 fired transitions, 310 secs || 2844 markings, 3772 edges, 10 markings/sec, 310 secs
lola: 1 tries, 3216 fired transitions, 315 secs || 2896 markings, 3824 edges, 10 markings/sec, 315 secs
lola: 1 tries, 3266 fired transitions, 320 secs || 2947 markings, 3875 edges, 10 markings/sec, 320 secs
lola: 1 tries, 3316 fired transitions, 325 secs || 2998 markings, 3931 edges, 10 markings/sec, 325 secs
lola: 1 tries, 3366 fired transitions, 330 secs || 3049 markings, 3982 edges, 10 markings/sec, 330 secs
lola: 1 tries, 3417 fired transitions, 335 secs || 3100 markings, 4033 edges, 10 markings/sec, 335 secs
lola: 1 tries, 3468 fired transitions, 340 secs || 3150 markings, 4084 edges, 10 markings/sec, 340 secs
lola: 1 tries, 3519 fired transitions, 345 secs || 3202 markings, 4136 edges, 10 markings/sec, 345 secs
lola: 1 tries, 3571 fired transitions, 350 secs || 3253 markings, 4187 edges, 10 markings/sec, 350 secs
lola: 1 tries, 3621 fired transitions, 355 secs || 3302 markings, 4236 edges, 10 markings/sec, 355 secs
lola: 1 tries, 3672 fired transitions, 360 secs || 3352 markings, 4286 edges, 10 markings/sec, 360 secs
lola: 1 tries, 3722 fired transitions, 365 secs || 3400 markings, 4334 edges, 10 markings/sec, 365 secs
lola: 1 tries, 3773 fired transitions, 370 secs || 3450 markings, 4397 edges, 10 markings/sec, 370 secs
lola: 1 tries, 3823 fired transitions, 375 secs || 3499 markings, 4448 edges, 10 markings/sec, 375 secs
lola: 1 tries, 3873 fired transitions, 380 secs || 3546 markings, 4495 edges, 9 markings/sec, 380 secs
lola: 1 tries, 3923 fired transitions, 385 secs || 3594 markings, 4558 edges, 10 markings/sec, 385 secs
lola: 1 tries, 3974 fired transitions, 390 secs || 3642 markings, 4608 edges, 10 markings/sec, 390 secs
lola: 1 tries, 4024 fired transitions, 395 secs || 3693 markings, 4659 edges, 10 markings/sec, 395 secs
lola: 1 tries, 4073 fired transitions, 400 secs || 3744 markings, 4710 edges, 10 markings/sec, 400 secs
lola: 1 tries, 4125 fired transitions, 405 secs || 3795 markings, 4761 edges, 10 markings/sec, 405 secs
lola: 1 tries, 4176 fired transitions, 410 secs || 3845 markings, 4811 edges, 10 markings/sec, 410 secs
lola: 1 tries, 4227 fired transitions, 415 secs || 3896 markings, 4862 edges, 10 markings/sec, 415 secs
lola: 1 tries, 4279 fired transitions, 420 secs || 3948 markings, 4914 edges, 10 markings/sec, 420 secs
lola: 1 tries, 4330 fired transitions, 425 secs || 3999 markings, 4989 edges, 10 markings/sec, 425 secs
lola: 1 tries, 4383 fired transitions, 430 secs || 4051 markings, 5041 edges, 10 markings/sec, 430 secs
lola: 1 tries, 4434 fired transitions, 435 secs || 4101 markings, 5096 edges, 10 markings/sec, 435 secs
lola: 1 tries, 4484 fired transitions, 440 secs || 4152 markings, 5147 edges, 10 markings/sec, 440 secs
lola: 1 tries, 4536 fired transitions, 445 secs || 4203 markings, 5199 edges, 10 markings/sec, 445 secs
lola: 1 tries, 4586 fired transitions, 450 secs || 4254 markings, 5262 edges, 10 markings/sec, 450 secs
lola: 1 tries, 4637 fired transitions, 455 secs || 4304 markings, 5312 edges, 10 markings/sec, 455 secs
lola: 1 tries, 4689 fired transitions, 460 secs || 4354 markings, 5363 edges, 10 markings/sec, 460 secs
lola: 1 tries, 4739 fired transitions, 465 secs || 4405 markings, 5447 edges, 10 markings/sec, 465 secs
lola: 1 tries, 4789 fired transitions, 470 secs || 4456 markings, 5510 edges, 10 markings/sec, 470 secs
lola: 1 tries, 4839 fired transitions, 475 secs || 4506 markings, 5560 edges, 10 markings/sec, 475 secs
lola: 1 tries, 4889 fired transitions, 480 secs || 4556 markings, 5610 edges, 10 markings/sec, 480 secs
lola: 1 tries, 4939 fired transitions, 485 secs || 4606 markings, 5662 edges, 10 markings/sec, 485 secs
lola: 1 tries, 4989 fired transitions, 490 secs || 4657 markings, 5713 edges, 10 markings/sec, 490 secs
lola: 1 tries, 5038 fired transitions, 495 secs || 4707 markings, 5763 edges, 10 markings/sec, 495 secs
lola: 1 tries, 5086 fired transitions, 500 secs || 4757 markings, 5813 edges, 10 markings/sec, 500 secs
lola: 1 tries, 5133 fired transitions, 505 secs || 4805 markings, 5861 edges, 10 markings/sec, 505 secs
lola: 1 tries, 5181 fired transitions, 510 secs || 4854 markings, 5911 edges, 10 markings/sec, 510 secs
lola: 1 tries, 5230 fired transitions, 515 secs || 4904 markings, 5961 edges, 10 markings/sec, 515 secs
lola: 1 tries, 5279 fired transitions, 520 secs || 4952 markings, 6011 edges, 10 markings/sec, 520 secs
lola: 1 tries, 5329 fired transitions, 525 secs || 5002 markings, 6062 edges, 10 markings/sec, 525 secs
lola: 1 tries, 5378 fired transitions, 530 secs || 5050 markings, 6110 edges, 10 markings/sec, 530 secs
lola: 1 tries, 5428 fired transitions, 535 secs || 5100 markings, 6166 edges, 10 markings/sec, 535 secs
lola: 1 tries, 5478 fired transitions, 540 secs || 5149 markings, 6215 edges, 10 markings/sec, 540 secs
lola: 1 tries, 5527 fired transitions, 545 secs || 5198 markings, 6265 edges, 10 markings/sec, 545 secs
lola: 1 tries, 5575 fired transitions, 550 secs || 5245 markings, 6312 edges, 9 markings/sec, 550 secs
lola: 1 tries, 5624 fired transitions, 555 secs || 5293 markings, 6360 edges, 10 markings/sec, 555 secs
lola: 1 tries, 5673 fired transitions, 560 secs || 5341 markings, 6409 edges, 10 markings/sec, 560 secs
lola: 1 tries, 5722 fired transitions, 565 secs || 5389 markings, 6457 edges, 10 markings/sec, 565 secs
lola: 1 tries, 5771 fired transitions, 570 secs || 5438 markings, 6506 edges, 10 markings/sec, 570 secs
lola: 1 tries, 5819 fired transitions, 575 secs || 5486 markings, 6561 edges, 10 markings/sec, 575 secs
lola: 1 tries, 5869 fired transitions, 580 secs || 5535 markings, 6614 edges, 10 markings/sec, 580 secs
lola: 1 tries, 5919 fired transitions, 585 secs || 5584 markings, 6674 edges, 10 markings/sec, 585 secs
lola: 1 tries, 5969 fired transitions, 590 secs || 5634 markings, 6745 edges, 10 markings/sec, 590 secs
lola: 1 tries, 6017 fired transitions, 595 secs || 5683 markings, 6843 edges, 10 markings/sec, 595 secs
lola: 1 tries, 6068 fired transitions, 600 secs || 5732 markings, 6924 edges, 10 markings/sec, 600 secs
lola: 1 tries, 6117 fired transitions, 605 secs || 5781 markings, 6973 edges, 10 markings/sec, 605 secs
lola: 1 tries, 6166 fired transitions, 610 secs || 5830 markings, 7026 edges, 10 markings/sec, 610 secs
lola: 1 tries, 6214 fired transitions, 615 secs || 5879 markings, 7075 edges, 10 markings/sec, 615 secs
lola: 1 tries, 6261 fired transitions, 620 secs || 5927 markings, 7123 edges, 10 markings/sec, 620 secs
lola: 1 tries, 6310 fired transitions, 625 secs || 5977 markings, 7173 edges, 10 markings/sec, 625 secs
lola: 1 tries, 6359 fired transitions, 630 secs || 6026 markings, 7224 edges, 10 markings/sec, 630 secs
lola: 1 tries, 6407 fired transitions, 635 secs || 6073 markings, 7271 edges, 9 markings/sec, 635 secs
lola: 1 tries, 6457 fired transitions, 640 secs || 6122 markings, 7320 edges, 10 markings/sec, 640 secs
lola: 1 tries, 6508 fired transitions, 645 secs || 6173 markings, 7372 edges, 10 markings/sec, 645 secs
lola: 1 tries, 6556 fired transitions, 650 secs || 6221 markings, 7420 edges, 10 markings/sec, 650 secs
lola: 1 tries, 6606 fired transitions, 655 secs || 6270 markings, 7469 edges, 10 markings/sec, 655 secs
lola: 1 tries, 6656 fired transitions, 660 secs || 6320 markings, 7520 edges, 10 markings/sec, 660 secs
lola: 1 tries, 6706 fired transitions, 665 secs || 6369 markings, 7569 edges, 10 markings/sec, 665 secs
lola: 1 tries, 6756 fired transitions, 670 secs || 6419 markings, 7619 edges, 10 markings/sec, 670 secs
lola: 1 tries, 6805 fired transitions, 675 secs || 6467 markings, 7671 edges, 10 markings/sec, 675 secs
lola: 1 tries, 6854 fired transitions, 680 secs || 6515 markings, 7719 edges, 10 markings/sec, 680 secs
lola: 1 tries, 6904 fired transitions, 685 secs || 6564 markings, 7808 edges, 10 markings/sec, 685 secs
lola: 1 tries, 6953 fired transitions, 690 secs || 6614 markings, 7900 edges, 10 markings/sec, 690 secs
lola: 1 tries, 7001 fired transitions, 695 secs || 6663 markings, 7949 edges, 10 markings/sec, 695 secs
lola: 1 tries, 7051 fired transitions, 700 secs || 6713 markings, 7999 edges, 10 markings/sec, 700 secs
lola: 1 tries, 7098 fired transitions, 705 secs || 6760 markings, 8046 edges, 9 markings/sec, 705 secs
lola: 1 tries, 7148 fired transitions, 710 secs || 6810 markings, 8105 edges, 10 markings/sec, 710 secs
lola: 1 tries, 7197 fired transitions, 715 secs || 6860 markings, 8155 edges, 10 markings/sec, 715 secs
lola: 1 tries, 7247 fired transitions, 720 secs || 6909 markings, 8207 edges, 10 markings/sec, 720 secs
lola: 1 tries, 7296 fired transitions, 725 secs || 6959 markings, 8258 edges, 10 markings/sec, 725 secs
lola: 1 tries, 7347 fired transitions, 730 secs || 7010 markings, 8315 edges, 10 markings/sec, 730 secs
lola: 1 tries, 7397 fired transitions, 735 secs || 7059 markings, 8369 edges, 10 markings/sec, 735 secs
lola: 1 tries, 7448 fired transitions, 740 secs || 7110 markings, 8433 edges, 10 markings/sec, 740 secs
lola: 1 tries, 7498 fired transitions, 745 secs || 7160 markings, 8529 edges, 10 markings/sec, 745 secs
lola: 1 tries, 7547 fired transitions, 750 secs || 7211 markings, 8589 edges, 10 markings/sec, 750 secs
lola: 1 tries, 7597 fired transitions, 755 secs || 7261 markings, 8641 edges, 10 markings/sec, 755 secs
lola: 1 tries, 7646 fired transitions, 760 secs || 7311 markings, 8692 edges, 10 markings/sec, 760 secs
lola: 1 tries, 7696 fired transitions, 765 secs || 7360 markings, 8741 edges, 10 markings/sec, 765 secs
lola: 1 tries, 7745 fired transitions, 770 secs || 7409 markings, 8790 edges, 10 markings/sec, 770 secs
lola: 1 tries, 7794 fired transitions, 775 secs || 7458 markings, 8862 edges, 10 markings/sec, 775 secs
lola: 1 tries, 7844 fired transitions, 780 secs || 7508 markings, 8912 edges, 10 markings/sec, 780 secs
lola: 1 tries, 7891 fired transitions, 785 secs || 7557 markings, 8961 edges, 10 markings/sec, 785 secs
lola: 1 tries, 7941 fired transitions, 790 secs || 7606 markings, 9025 edges, 10 markings/sec, 790 secs
lola: 1 tries, 7991 fired transitions, 795 secs || 7656 markings, 9078 edges, 10 markings/sec, 795 secs
lola: 1 tries, 8042 fired transitions, 800 secs || 7707 markings, 9129 edges, 10 markings/sec, 800 secs
lola: 1 tries, 8092 fired transitions, 805 secs || 7758 markings, 9180 edges, 10 markings/sec, 805 secs
lola: 1 tries, 8142 fired transitions, 810 secs || 7808 markings, 9230 edges, 10 markings/sec, 810 secs
lola: 1 tries, 8189 fired transitions, 815 secs || 7857 markings, 9279 edges, 10 markings/sec, 815 secs
lola: 1 tries, 8241 fired transitions, 820 secs || 7908 markings, 9334 edges, 10 markings/sec, 820 secs
lola: 1 tries, 8292 fired transitions, 825 secs || 7960 markings, 9386 edges, 10 markings/sec, 825 secs
lola: 1 tries, 8343 fired transitions, 830 secs || 8011 markings, 9438 edges, 10 markings/sec, 830 secs
lola: 1 tries, 8395 fired transitions, 835 secs || 8063 markings, 9490 edges, 10 markings/sec, 835 secs
lola: 1 tries, 8448 fired transitions, 840 secs || 8114 markings, 9555 edges, 10 markings/sec, 840 secs
lola: 1 tries, 8499 fired transitions, 845 secs || 8165 markings, 9627 edges, 10 markings/sec, 845 secs
lola: 1 tries, 8550 fired transitions, 850 secs || 8215 markings, 9677 edges, 10 markings/sec, 850 secs
lola: 1 tries, 8600 fired transitions, 855 secs || 8264 markings, 9726 edges, 10 markings/sec, 855 secs
lola: 1 tries, 8651 fired transitions, 860 secs || 8315 markings, 9777 edges, 10 markings/sec, 860 secs
lola: 1 tries, 8700 fired transitions, 865 secs || 8363 markings, 9825 edges, 10 markings/sec, 865 secs
lola: 1 tries, 8751 fired transitions, 870 secs || 8414 markings, 9879 edges, 10 markings/sec, 870 secs
lola: 1 tries, 8800 fired transitions, 875 secs || 8462 markings, 9932 edges, 10 markings/sec, 875 secs
lola: 1 tries, 8851 fired transitions, 880 secs || 8512 markings, 9982 edges, 10 markings/sec, 880 secs
lola: 1 tries, 8901 fired transitions, 885 secs || 8561 markings, 10031 edges, 10 markings/sec, 885 secs
lola: 1 tries, 8952 fired transitions, 890 secs || 8611 markings, 10083 edges, 10 markings/sec, 890 secs
lola: 1 tries, 9002 fired transitions, 895 secs || 8660 markings, 10132 edges, 10 markings/sec, 895 secs
lola: 1 tries, 9053 fired transitions, 900 secs || 8711 markings, 10183 edges, 10 markings/sec, 900 secs
lola: 1 tries, 9102 fired transitions, 905 secs || 8761 markings, 10234 edges, 10 markings/sec, 905 secs
lola: 1 tries, 9153 fired transitions, 910 secs || 8812 markings, 10285 edges, 10 markings/sec, 910 secs
lola: 1 tries, 9202 fired transitions, 915 secs || 8861 markings, 10334 edges, 10 markings/sec, 915 secs
lola: 1 tries, 9250 fired transitions, 920 secs || 8910 markings, 10383 edges, 10 markings/sec, 920 secs
lola: 1 tries, 9298 fired transitions, 925 secs || 8958 markings, 10432 edges, 10 markings/sec, 925 secs
lola: 1 tries, 9346 fired transitions, 930 secs || 9006 markings, 10480 edges, 10 markings/sec, 930 secs
lola: 1 tries, 9396 fired transitions, 935 secs || 9055 markings, 10529 edges, 10 markings/sec, 935 secs
lola: 1 tries, 9446 fired transitions, 940 secs || 9105 markings, 10579 edges, 10 markings/sec, 940 secs
lola: 1 tries, 9495 fired transitions, 945 secs || 9155 markings, 10633 edges, 10 markings/sec, 945 secs
lola: 1 tries, 9545 fired transitions, 950 secs || 9205 markings, 10684 edges, 10 markings/sec, 950 secs
lola: 1 tries, 9595 fired transitions, 955 secs || 9255 markings, 10738 edges, 10 markings/sec, 955 secs
lola: 1 tries, 9645 fired transitions, 960 secs || 9305 markings, 10788 edges, 10 markings/sec, 960 secs
lola: 1 tries, 9696 fired transitions, 965 secs || 9356 markings, 10839 edges, 10 markings/sec, 965 secs
lola: 1 tries, 9747 fired transitions, 970 secs || 9406 markings, 10907 edges, 10 markings/sec, 970 secs
lola: 1 tries, 9797 fired transitions, 975 secs || 9456 markings, 10959 edges, 10 markings/sec, 975 secs
lola: 1 tries, 9848 fired transitions, 980 secs || 9507 markings, 11011 edges, 10 markings/sec, 980 secs
lola: 1 tries, 9898 fired transitions, 985 secs || 9557 markings, 11061 edges, 10 markings/sec, 985 secs
lola: 1 tries, 9948 fired transitions, 990 secs || 9606 markings, 11124 edges, 10 markings/sec, 990 secs
lola: 1 tries, 9998 fired transitions, 995 secs || 9657 markings, 11177 edges, 10 markings/sec, 995 secs
lola: 1 tries, 10047 fired transitions, 1000 secs || 9706 markings, 11231 edges, 10 markings/sec, 1000 secs
lola: 1 tries, 10097 fired transitions, 1005 secs || 9756 markings, 11287 edges, 10 markings/sec, 1005 secs
lola: 1 tries, 10147 fired transitions, 1010 secs || 9805 markings, 11355 edges, 10 markings/sec, 1010 secs
lola: 1 tries, 10196 fired transitions, 1015 secs || 9853 markings, 11448 edges, 10 markings/sec, 1015 secs
lola: 1 tries, 10247 fired transitions, 1020 secs || 9903 markings, 11498 edges, 10 markings/sec, 1020 secs
lola: 1 tries, 10298 fired transitions, 1025 secs || 9954 markings, 11550 edges, 10 markings/sec, 1025 secs
lola: 1 tries, 10348 fired transitions, 1030 secs || 10003 markings, 11601 edges, 10 markings/sec, 1030 secs
lola: 1 tries, 10399 fired transitions, 1035 secs || 10054 markings, 11655 edges, 10 markings/sec, 1035 secs
lola: 1 tries, 10449 fired transitions, 1040 secs || 10104 markings, 11705 edges, 10 markings/sec, 1040 secs
lola: 1 tries, 10500 fired transitions, 1045 secs || 10154 markings, 11756 edges, 10 markings/sec, 1045 secs
lola: 1 tries, 10550 fired transitions, 1050 secs || 10203 markings, 11811 edges, 10 markings/sec, 1050 secs
lola: 1 tries, 10601 fired transitions, 1055 secs || 10254 markings, 11862 edges, 10 markings/sec, 1055 secs
lola: 1 tries, 10652 fired transitions, 1060 secs || 10305 markings, 11913 edges, 10 markings/sec, 1060 secs
lola: 1 tries, 10704 fired transitions, 1065 secs || 10357 markings, 11966 edges, 10 markings/sec, 1065 secs
lola: 1 tries, 10755 fired transitions, 1070 secs || 10408 markings, 12026 edges, 10 markings/sec, 1070 secs
lola: 1 tries, 10805 fired transitions, 1075 secs || 10458 markings, 12077 edges, 10 markings/sec, 1075 secs
lola: 1 tries, 10856 fired transitions, 1080 secs || 10508 markings, 12129 edges, 10 markings/sec, 1080 secs
lola: 1 tries, 10905 fired transitions, 1085 secs || 10557 markings, 12184 edges, 10 markings/sec, 1085 secs
lola: 1 tries, 10954 fired transitions, 1090 secs || 10606 markings, 12235 edges, 10 markings/sec, 1090 secs
lola: 1 tries, 11004 fired transitions, 1095 secs || 10657 markings, 12286 edges, 10 markings/sec, 1095 secs
lola: 1 tries, 11055 fired transitions, 1100 secs || 10707 markings, 12336 edges, 10 markings/sec, 1100 secs
lola: 1 tries, 11103 fired transitions, 1105 secs || 10756 markings, 12385 edges, 10 markings/sec, 1105 secs
lola: 1 tries, 11154 fired transitions, 1110 secs || 10807 markings, 12436 edges, 10 markings/sec, 1110 secs
lola: 1 tries, 11203 fired transitions, 1115 secs || 10855 markings, 12484 edges, 10 markings/sec, 1115 secs
lola: 1 tries, 11253 fired transitions, 1120 secs || 10905 markings, 12535 edges, 10 markings/sec, 1120 secs
lola: 1 tries, 11304 fired transitions, 1125 secs || 10955 markings, 12585 edges, 10 markings/sec, 1125 secs
lola: 1 tries, 11356 fired transitions, 1130 secs || 11006 markings, 12642 edges, 10 markings/sec, 1130 secs
lola: 1 tries, 11407 fired transitions, 1135 secs || 11056 markings, 12692 edges, 10 markings/sec, 1135 secs
lola: 1 tries, 11459 fired transitions, 1140 secs || 11108 markings, 12746 edges, 10 markings/sec, 1140 secs
lola: 1 tries, 11511 fired transitions, 1145 secs || 11160 markings, 12802 edges, 10 markings/sec, 1145 secs
lola: 1 tries, 11564 fired transitions, 1150 secs || 11213 markings, 12855 edges, 11 markings/sec, 1150 secs
lola: 1 tries, 11617 fired transitions, 1155 secs || 11266 markings, 12925 edges, 11 markings/sec, 1155 secs
lola: 1 tries, 11670 fired transitions, 1160 secs || 11319 markings, 13001 edges, 11 markings/sec, 1160 secs
lola: 1 tries, 11722 fired transitions, 1165 secs || 11372 markings, 13054 edges, 11 markings/sec, 1165 secs
lola: 1 tries, 11772 fired transitions, 1170 secs || 11423 markings, 13105 edges, 10 markings/sec, 1170 secs
lola: 1 tries, 11821 fired transitions, 1175 secs || 11473 markings, 13156 edges, 10 markings/sec, 1175 secs
lola: 1 tries, 11869 fired transitions, 1180 secs || 11523 markings, 13210 edges, 10 markings/sec, 1180 secs
lola: 1 tries, 11918 fired transitions, 1185 secs || 11573 markings, 13261 edges, 10 markings/sec, 1185 secs
lola: 1 tries, 11970 fired transitions, 1190 secs || 11624 markings, 13315 edges, 10 markings/sec, 1190 secs
lola: 1 tries, 12021 fired transitions, 1195 secs || 11675 markings, 13368 edges, 10 markings/sec, 1195 secs
lola: 1 tries, 12071 fired transitions, 1200 secs || 11724 markings, 13429 edges, 10 markings/sec, 1200 secs
lola: 1 tries, 12121 fired transitions, 1205 secs || 11773 markings, 13480 edges, 10 markings/sec, 1205 secs
lola: 1 tries, 12173 fired transitions, 1210 secs || 11824 markings, 13560 edges, 10 markings/sec, 1210 secs
lola: 1 tries, 12225 fired transitions, 1215 secs || 11876 markings, 13612 edges, 10 markings/sec, 1215 secs
lola: 1 tries, 12276 fired transitions, 1220 secs || 11927 markings, 13663 edges, 10 markings/sec, 1220 secs
lola: 1 tries, 12324 fired transitions, 1225 secs || 11977 markings, 13713 edges, 10 markings/sec, 1225 secs
lola: 1 tries, 12375 fired transitions, 1230 secs || 12027 markings, 13763 edges, 10 markings/sec, 1230 secs
lola: 1 tries, 12425 fired transitions, 1235 secs || 12078 markings, 13817 edges, 10 markings/sec, 1235 secs
lola: 1 tries, 12474 fired transitions, 1240 secs || 12127 markings, 13878 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 12524 fired transitions, 1245 secs || 12177 markings, 13931 edges, 10 markings/sec, 1245 secs
lola: 1 tries, 12574 fired transitions, 1250 secs || 12227 markings, 13981 edges, 10 markings/sec, 1250 secs
lola: 1 tries, 12623 fired transitions, 1255 secs || 12276 markings, 14034 edges, 10 markings/sec, 1255 secs
lola: 1 tries, 12675 fired transitions, 1260 secs || 12328 markings, 14086 edges, 10 markings/sec, 1260 secs
lola: 1 tries, 12727 fired transitions, 1265 secs || 12380 markings, 14138 edges, 10 markings/sec, 1265 secs
lola: 1 tries, 12779 fired transitions, 1270 secs || 12432 markings, 14190 edges, 10 markings/sec, 1270 secs
lola: 1 tries, 12829 fired transitions, 1275 secs || 12481 markings, 14239 edges, 10 markings/sec, 1275 secs
lola: 1 tries, 12879 fired transitions, 1280 secs || 12530 markings, 14288 edges, 10 markings/sec, 1280 secs
lola: 1 tries, 12930 fired transitions, 1285 secs || 12581 markings, 14339 edges, 10 markings/sec, 1285 secs
lola: 1 tries, 12982 fired transitions, 1290 secs || 12633 markings, 14397 edges, 10 markings/sec, 1290 secs
lola: 1 tries, 13033 fired transitions, 1295 secs || 12684 markings, 14448 edges, 10 markings/sec, 1295 secs
lola: 1 tries, 13082 fired transitions, 1300 secs || 12734 markings, 14500 edges, 10 markings/sec, 1300 secs
lola: 1 tries, 13131 fired transitions, 1305 secs || 12783 markings, 14549 edges, 10 markings/sec, 1305 secs
lola: 1 tries, 13182 fired transitions, 1310 secs || 12833 markings, 14599 edges, 10 markings/sec, 1310 secs
lola: 1 tries, 13232 fired transitions, 1315 secs || 12883 markings, 14649 edges, 10 markings/sec, 1315 secs
lola: 1 tries, 13284 fired transitions, 1320 secs || 12935 markings, 14701 edges, 10 markings/sec, 1320 secs
lola: 1 tries, 13335 fired transitions, 1325 secs || 12986 markings, 14766 edges, 10 markings/sec, 1325 secs
lola: 1 tries, 13387 fired transitions, 1330 secs || 13038 markings, 14829 edges, 10 markings/sec, 1330 secs
lola: 1 tries, 13438 fired transitions, 1335 secs || 13088 markings, 14880 edges, 10 markings/sec, 1335 secs
lola: 1 tries, 13489 fired transitions, 1340 secs || 13138 markings, 14930 edges, 10 markings/sec, 1340 secs
lola: 1 tries, 13540 fired transitions, 1345 secs || 13188 markings, 15024 edges, 10 markings/sec, 1345 secs
lola: 1 tries, 13591 fired transitions, 1350 secs || 13237 markings, 15083 edges, 10 markings/sec, 1350 secs
lola: 1 tries, 13642 fired transitions, 1355 secs || 13288 markings, 15134 edges, 10 markings/sec, 1355 secs
lola: 1 tries, 13693 fired transitions, 1360 secs || 13339 markings, 15185 edges, 10 markings/sec, 1360 secs
lola: 1 tries, 13744 fired transitions, 1365 secs || 13390 markings, 15236 edges, 10 markings/sec, 1365 secs
lola: 1 tries, 13795 fired transitions, 1370 secs || 13441 markings, 15287 edges, 10 markings/sec, 1370 secs
lola: 1 tries, 13847 fired transitions, 1375 secs || 13493 markings, 15339 edges, 10 markings/sec, 1375 secs
lola: 1 tries, 13898 fired transitions, 1380 secs || 13543 markings, 15399 edges, 10 markings/sec, 1380 secs
lola: 1 tries, 13948 fired transitions, 1385 secs || 13593 markings, 15449 edges, 10 markings/sec, 1385 secs
lola: 1 tries, 13998 fired transitions, 1390 secs || 13643 markings, 15507 edges, 10 markings/sec, 1390 secs
lola: 1 tries, 14047 fired transitions, 1395 secs || 13692 markings, 15559 edges, 10 markings/sec, 1395 secs
lola: 1 tries, 14097 fired transitions, 1400 secs || 13743 markings, 15618 edges, 10 markings/sec, 1400 secs
lola: 1 tries, 14145 fired transitions, 1405 secs || 13792 markings, 15682 edges, 10 markings/sec, 1405 secs
lola: 1 tries, 14194 fired transitions, 1410 secs || 13841 markings, 15732 edges, 10 markings/sec, 1410 secs
lola: 1 tries, 14243 fired transitions, 1415 secs || 13889 markings, 15802 edges, 10 markings/sec, 1415 secs
lola: 1 tries, 14295 fired transitions, 1420 secs || 13940 markings, 15868 edges, 10 markings/sec, 1420 secs
lola: 1 tries, 14347 fired transitions, 1425 secs || 13992 markings, 15920 edges, 10 markings/sec, 1425 secs
lola: 1 tries, 14399 fired transitions, 1430 secs || 14044 markings, 15987 edges, 10 markings/sec, 1430 secs
lola: 1 tries, 14449 fired transitions, 1435 secs || 14095 markings, 16084 edges, 10 markings/sec, 1435 secs
lola: 1 tries, 14499 fired transitions, 1440 secs || 14146 markings, 16135 edges, 10 markings/sec, 1440 secs
lola: 1 tries, 14545 fired transitions, 1445 secs || 14194 markings, 16183 edges, 10 markings/sec, 1445 secs
lola: 1 tries, 14594 fired transitions, 1450 secs || 14244 markings, 16233 edges, 10 markings/sec, 1450 secs
lola: 1 tries, 14641 fired transitions, 1455 secs || 14293 markings, 16285 edges, 10 markings/sec, 1455 secs
lola: 1 tries, 14689 fired transitions, 1460 secs || 14342 markings, 16334 edges, 10 markings/sec, 1460 secs
lola: 1 tries, 14737 fired transitions, 1465 secs || 14392 markings, 16385 edges, 10 markings/sec, 1465 secs
lola: 1 tries, 14788 fired transitions, 1470 secs || 14443 markings, 16436 edges, 10 markings/sec, 1470 secs
lola: 1 tries, 14836 fired transitions, 1475 secs || 14493 markings, 16486 edges, 10 markings/sec, 1475 secs
lola: 1 tries, 14886 fired transitions, 1480 secs || 14543 markings, 16541 edges, 10 markings/sec, 1480 secs
lola: 1 tries, 14939 fired transitions, 1485 secs || 14596 markings, 16598 edges, 11 markings/sec, 1485 secs
lola: 1 tries, 14991 fired transitions, 1490 secs || 14648 markings, 16650 edges, 10 markings/sec, 1490 secs
lola: 1 tries, 15041 fired transitions, 1495 secs || 14697 markings, 16699 edges, 10 markings/sec, 1495 secs
lola: 1 tries, 15091 fired transitions, 1500 secs || 14747 markings, 16750 edges, 10 markings/sec, 1500 secs
lola: 1 tries, 15141 fired transitions, 1505 secs || 14797 markings, 16807 edges, 10 markings/sec, 1505 secs
lola: 1 tries, 15191 fired transitions, 1510 secs || 14847 markings, 16875 edges, 10 markings/sec, 1510 secs
lola: 1 tries, 15241 fired transitions, 1515 secs || 14897 markings, 16925 edges, 10 markings/sec, 1515 secs
lola: 1 tries, 15291 fired transitions, 1520 secs || 14947 markings, 16975 edges, 10 markings/sec, 1520 secs
lola: 1 tries, 15341 fired transitions, 1525 secs || 14998 markings, 17036 edges, 10 markings/sec, 1525 secs
lola: 1 tries, 15392 fired transitions, 1530 secs || 15049 markings, 17101 edges, 10 markings/sec, 1530 secs
lola: 1 tries, 15442 fired transitions, 1535 secs || 15099 markings, 17170 edges, 10 markings/sec, 1535 secs
lola: 1 tries, 15491 fired transitions, 1540 secs || 15148 markings, 17220 edges, 10 markings/sec, 1540 secs
lola: 1 tries, 15542 fired transitions, 1545 secs || 15198 markings, 17272 edges, 10 markings/sec, 1545 secs
lola: 1 tries, 15593 fired transitions, 1550 secs || 15248 markings, 17322 edges, 10 markings/sec, 1550 secs
lola: 1 tries, 15642 fired transitions, 1555 secs || 15298 markings, 17374 edges, 10 markings/sec, 1555 secs
lola: 1 tries, 15690 fired transitions, 1560 secs || 15345 markings, 17423 edges, 9 markings/sec, 1560 secs
lola: 1 tries, 15739 fired transitions, 1565 secs || 15393 markings, 17473 edges, 10 markings/sec, 1565 secs
lola: 1 tries, 15789 fired transitions, 1570 secs || 15443 markings, 17532 edges, 10 markings/sec, 1570 secs
lola: 1 tries, 15836 fired transitions, 1575 secs || 15492 markings, 17582 edges, 10 markings/sec, 1575 secs
lola: 1 tries, 15886 fired transitions, 1580 secs || 15542 markings, 17633 edges, 10 markings/sec, 1580 secs
lola: 1 tries, 15935 fired transitions, 1585 secs || 15591 markings, 17682 edges, 10 markings/sec, 1585 secs
lola: 1 tries, 15983 fired transitions, 1590 secs || 15640 markings, 17733 edges, 10 markings/sec, 1590 secs
lola: 1 tries, 16032 fired transitions, 1595 secs || 15690 markings, 17783 edges, 10 markings/sec, 1595 secs
lola: 1 tries, 16084 fired transitions, 1600 secs || 15742 markings, 17842 edges, 10 markings/sec, 1600 secs
lola: 1 tries, 16133 fired transitions, 1605 secs || 15790 markings, 17895 edges, 10 markings/sec, 1605 secs
lola: 1 tries, 16183 fired transitions, 1610 secs || 15840 markings, 17953 edges, 10 markings/sec, 1610 secs
lola: 1 tries, 16233 fired transitions, 1615 secs || 15889 markings, 18041 edges, 10 markings/sec, 1615 secs
lola: 1 tries, 16284 fired transitions, 1620 secs || 15940 markings, 18092 edges, 10 markings/sec, 1620 secs
lola: 1 tries, 16332 fired transitions, 1625 secs || 15987 markings, 18139 edges, 9 markings/sec, 1625 secs
lola: 1 tries, 16382 fired transitions, 1630 secs || 16037 markings, 18189 edges, 10 markings/sec, 1630 secs
lola: 1 tries, 16432 fired transitions, 1635 secs || 16087 markings, 18255 edges, 10 markings/sec, 1635 secs
lola: 1 tries, 16483 fired transitions, 1640 secs || 16138 markings, 18306 edges, 10 markings/sec, 1640 secs
lola: 1 tries, 16533 fired transitions, 1645 secs || 16188 markings, 18370 edges, 10 markings/sec, 1645 secs
lola: 1 tries, 16583 fired transitions, 1650 secs || 16238 markings, 18420 edges, 10 markings/sec, 1650 secs
lola: 1 tries, 16633 fired transitions, 1655 secs || 16288 markings, 18470 edges, 10 markings/sec, 1655 secs
lola: 1 tries, 16683 fired transitions, 1660 secs || 16338 markings, 18520 edges, 10 markings/sec, 1660 secs
lola: 1 tries, 16733 fired transitions, 1665 secs || 16388 markings, 18570 edges, 10 markings/sec, 1665 secs
lola: 1 tries, 16784 fired transitions, 1670 secs || 16438 markings, 18621 edges, 10 markings/sec, 1670 secs
lola: 1 tries, 16834 fired transitions, 1675 secs || 16488 markings, 18680 edges, 10 markings/sec, 1675 secs
lola: 1 tries, 16885 fired transitions, 1680 secs || 16539 markings, 18731 edges, 10 markings/sec, 1680 secs
lola: 1 tries, 16934 fired transitions, 1685 secs || 16588 markings, 18780 edges, 10 markings/sec, 1685 secs
lola: 1 tries, 16985 fired transitions, 1690 secs || 16639 markings, 18831 edges, 10 markings/sec, 1690 secs
lola: 1 tries, 17036 fired transitions, 1695 secs || 16690 markings, 18882 edges, 10 markings/sec, 1695 secs
lola: 1 tries, 17086 fired transitions, 1700 secs || 16740 markings, 18934 edges, 10 markings/sec, 1700 secs
lola: 1 tries, 17136 fired transitions, 1705 secs || 16790 markings, 18984 edges, 10 markings/sec, 1705 secs
lola: 1 tries, 17186 fired transitions, 1710 secs || 16839 markings, 19049 edges, 10 markings/sec, 1710 secs
lola: 1 tries, 17236 fired transitions, 1715 secs || 16889 markings, 19102 edges, 10 markings/sec, 1715 secs
lola: 1 tries, 17287 fired transitions, 1720 secs || 16940 markings, 19154 edges, 10 markings/sec, 1720 secs
lola: 1 tries, 17337 fired transitions, 1725 secs || 16991 markings, 19206 edges, 10 markings/sec, 1725 secs
lola: 1 tries, 17385 fired transitions, 1730 secs || 17040 markings, 19256 edges, 10 markings/sec, 1730 secs
lola: 1 tries, 17434 fired transitions, 1735 secs || 17089 markings, 19305 edges, 10 markings/sec, 1735 secs
lola: 1 tries, 17483 fired transitions, 1740 secs || 17138 markings, 19354 edges, 10 markings/sec, 1740 secs
lola: 1 tries, 17532 fired transitions, 1745 secs || 17187 markings, 19403 edges, 10 markings/sec, 1745 secs
lola: 1 tries, 17584 fired transitions, 1750 secs || 17238 markings, 19454 edges, 10 markings/sec, 1750 secs
lola: 1 tries, 17632 fired transitions, 1755 secs || 17286 markings, 19508 edges, 10 markings/sec, 1755 secs
lola: 1 tries, 17680 fired transitions, 1760 secs || 17335 markings, 19558 edges, 10 markings/sec, 1760 secs
lola: 1 tries, 17728 fired transitions, 1765 secs || 17385 markings, 19608 edges, 10 markings/sec, 1765 secs
lola: 1 tries, 17777 fired transitions, 1770 secs || 17434 markings, 19659 edges, 10 markings/sec, 1770 secs
lola: 1 tries, 17827 fired transitions, 1775 secs || 17484 markings, 19723 edges, 10 markings/sec, 1775 secs
lola: 1 tries, 17876 fired transitions, 1780 secs || 17532 markings, 19772 edges, 10 markings/sec, 1780 secs
lola: 1 tries, 17926 fired transitions, 1785 secs || 17582 markings, 19826 edges, 10 markings/sec, 1785 secs
lola: 1 tries, 17978 fired transitions, 1790 secs || 17633 markings, 19877 edges, 10 markings/sec, 1790 secs
lola: 1 tries, 18029 fired transitions, 1795 secs || 17684 markings, 19933 edges, 10 markings/sec, 1795 secs
lola: 1 tries, 18082 fired transitions, 1800 secs || 17737 markings, 19995 edges, 11 markings/sec, 1800 secs
lola: 1 tries, 18134 fired transitions, 1805 secs || 17789 markings, 20047 edges, 10 markings/sec, 1805 secs
lola: 1 tries, 18183 fired transitions, 1810 secs || 17839 markings, 20097 edges, 10 markings/sec, 1810 secs
lola: 1 tries, 18234 fired transitions, 1815 secs || 17890 markings, 20148 edges, 10 markings/sec, 1815 secs
lola: 1 tries, 18285 fired transitions, 1820 secs || 17941 markings, 20199 edges, 10 markings/sec, 1820 secs
lola: 1 tries, 18334 fired transitions, 1825 secs || 17991 markings, 20249 edges, 10 markings/sec, 1825 secs
lola: 1 tries, 18384 fired transitions, 1830 secs || 18040 markings, 20299 edges, 10 markings/sec, 1830 secs
lola: 1 tries, 18434 fired transitions, 1835 secs || 18090 markings, 20359 edges, 10 markings/sec, 1835 secs
lola: 1 tries, 18482 fired transitions, 1840 secs || 18138 markings, 20422 edges, 10 markings/sec, 1840 secs
lola: 1 tries, 18531 fired transitions, 1845 secs || 18186 markings, 20476 edges, 10 markings/sec, 1845 secs
lola: 1 tries, 18580 fired transitions, 1850 secs || 18235 markings, 20525 edges, 10 markings/sec, 1850 secs
lola: 1 tries, 18628 fired transitions, 1855 secs || 18284 markings, 20574 edges, 10 markings/sec, 1855 secs
lola: 1 tries, 18678 fired transitions, 1860 secs || 18334 markings, 20624 edges, 10 markings/sec, 1860 secs
lola: 1 tries, 18727 fired transitions, 1865 secs || 18383 markings, 20673 edges, 10 markings/sec, 1865 secs
lola: 1 tries, 18775 fired transitions, 1870 secs || 18432 markings, 20722 edges, 10 markings/sec, 1870 secs
lola: 1 tries, 18821 fired transitions, 1875 secs || 18479 markings, 20771 edges, 9 markings/sec, 1875 secs
lola: 1 tries, 18868 fired transitions, 1880 secs || 18527 markings, 20819 edges, 10 markings/sec, 1880 secs
lola: 1 tries, 18914 fired transitions, 1885 secs || 18575 markings, 20867 edges, 10 markings/sec, 1885 secs
lola: 1 tries, 18961 fired transitions, 1890 secs || 18623 markings, 20915 edges, 10 markings/sec, 1890 secs
lola: 1 tries, 19010 fired transitions, 1895 secs || 18672 markings, 20966 edges, 10 markings/sec, 1895 secs
lola: 1 tries, 19058 fired transitions, 1900 secs || 18720 markings, 21015 edges, 10 markings/sec, 1900 secs
lola: 1 tries, 19107 fired transitions, 1905 secs || 18769 markings, 21064 edges, 10 markings/sec, 1905 secs
lola: 1 tries, 19155 fired transitions, 1910 secs || 18816 markings, 21111 edges, 9 markings/sec, 1910 secs
lola: 1 tries, 19203 fired transitions, 1915 secs || 18864 markings, 21162 edges, 10 markings/sec, 1915 secs
lola: 1 tries, 19250 fired transitions, 1920 secs || 18912 markings, 21222 edges, 10 markings/sec, 1920 secs
lola: 1 tries, 19299 fired transitions, 1925 secs || 18960 markings, 21294 edges, 10 markings/sec, 1925 secs
lola: 1 tries, 19346 fired transitions, 1930 secs || 19008 markings, 21342 edges, 10 markings/sec, 1930 secs
lola: 1 tries, 19394 fired transitions, 1935 secs || 19055 markings, 21401 edges, 9 markings/sec, 1935 secs
lola: 1 tries, 19443 fired transitions, 1940 secs || 19104 markings, 21457 edges, 10 markings/sec, 1940 secs
lola: 1 tries, 19491 fired transitions, 1945 secs || 19153 markings, 21520 edges, 10 markings/sec, 1945 secs
lola: 1 tries, 19538 fired transitions, 1950 secs || 19201 markings, 21587 edges, 10 markings/sec, 1950 secs
lola: 1 tries, 19587 fired transitions, 1955 secs || 19250 markings, 21640 edges, 10 markings/sec, 1955 secs
lola: 1 tries, 19636 fired transitions, 1960 secs || 19298 markings, 21698 edges, 10 markings/sec, 1960 secs
lola: 1 tries, 19685 fired transitions, 1965 secs || 19347 markings, 21748 edges, 10 markings/sec, 1965 secs
lola: 1 tries, 19734 fired transitions, 1970 secs || 19395 markings, 21796 edges, 10 markings/sec, 1970 secs
lola: 1 tries, 19783 fired transitions, 1975 secs || 19443 markings, 21845 edges, 10 markings/sec, 1975 secs
lola: 1 tries, 19831 fired transitions, 1980 secs || 19490 markings, 21896 edges, 9 markings/sec, 1980 secs
lola: 1 tries, 19879 fired transitions, 1985 secs || 19537 markings, 21948 edges, 9 markings/sec, 1985 secs
lola: 1 tries, 19928 fired transitions, 1990 secs || 19584 markings, 21995 edges, 9 markings/sec, 1990 secs
lola: 1 tries, 19976 fired transitions, 1995 secs || 19634 markings, 22055 edges, 10 markings/sec, 1995 secs
lola: 1 tries, 20022 fired transitions, 2000 secs || 19681 markings, 22102 edges, 9 markings/sec, 2000 secs
lola: 1 tries, 20072 fired transitions, 2005 secs || 19731 markings, 22157 edges, 10 markings/sec, 2005 secs
lola: 1 tries, 20122 fired transitions, 2010 secs || 19780 markings, 22221 edges, 10 markings/sec, 2010 secs
lola: 1 tries, 20173 fired transitions, 2015 secs || 19831 markings, 22287 edges, 10 markings/sec, 2015 secs
lola: 1 tries, 20224 fired transitions, 2020 secs || 19882 markings, 22338 edges, 10 markings/sec, 2020 secs
lola: 1 tries, 20274 fired transitions, 2025 secs || 19932 markings, 22423 edges, 10 markings/sec, 2025 secs
lola: 1 tries, 20322 fired transitions, 2030 secs || 19981 markings, 22500 edges, 10 markings/sec, 2030 secs
lola: 1 tries, 20370 fired transitions, 2035 secs || 20030 markings, 22549 edges, 10 markings/sec, 2035 secs
lola: 1 tries, 20421 fired transitions, 2040 secs || 20081 markings, 22600 edges, 10 markings/sec, 2040 secs
lola: 1 tries, 20472 fired transitions, 2045 secs || 20132 markings, 22651 edges, 10 markings/sec, 2045 secs
lola: 1 tries, 20524 fired transitions, 2050 secs || 20184 markings, 22703 edges, 10 markings/sec, 2050 secs
lola: 1 tries, 20575 fired transitions, 2055 secs || 20235 markings, 22754 edges, 10 markings/sec, 2055 secs
lola: 1 tries, 20626 fired transitions, 2060 secs || 20286 markings, 22814 edges, 10 markings/sec, 2060 secs
lola: 1 tries, 20677 fired transitions, 2065 secs || 20337 markings, 22866 edges, 10 markings/sec, 2065 secs
lola: 1 tries, 20728 fired transitions, 2070 secs || 20388 markings, 22917 edges, 10 markings/sec, 2070 secs
lola: 1 tries, 20778 fired transitions, 2075 secs || 20438 markings, 22968 edges, 10 markings/sec, 2075 secs
lola: 1 tries, 20830 fired transitions, 2080 secs || 20490 markings, 23020 edges, 10 markings/sec, 2080 secs
lola: 1 tries, 20881 fired transitions, 2085 secs || 20541 markings, 23075 edges, 10 markings/sec, 2085 secs
lola: 1 tries, 20932 fired transitions, 2090 secs || 20592 markings, 23126 edges, 10 markings/sec, 2090 secs
lola: 1 tries, 20983 fired transitions, 2095 secs || 20643 markings, 23185 edges, 10 markings/sec, 2095 secs
lola: 1 tries, 21035 fired transitions, 2100 secs || 20695 markings, 23245 edges, 10 markings/sec, 2100 secs
lola: 1 tries, 21086 fired transitions, 2105 secs || 20746 markings, 23305 edges, 10 markings/sec, 2105 secs
lola: 1 tries, 21137 fired transitions, 2110 secs || 20797 markings, 23358 edges, 10 markings/sec, 2110 secs
lola: 1 tries, 21188 fired transitions, 2115 secs || 20848 markings, 23411 edges, 10 markings/sec, 2115 secs
lola: 1 tries, 21239 fired transitions, 2120 secs || 20899 markings, 23462 edges, 10 markings/sec, 2120 secs
lola: 1 tries, 21289 fired transitions, 2125 secs || 20949 markings, 23512 edges, 10 markings/sec, 2125 secs
lola: 1 tries, 21340 fired transitions, 2130 secs || 20999 markings, 23562 edges, 10 markings/sec, 2130 secs
lola: 1 tries, 21391 fired transitions, 2135 secs || 21050 markings, 23613 edges, 10 markings/sec, 2135 secs
lola: 1 tries, 21442 fired transitions, 2140 secs || 21101 markings, 23664 edges, 10 markings/sec, 2140 secs
lola: 1 tries, 21493 fired transitions, 2145 secs || 21152 markings, 23717 edges, 10 markings/sec, 2145 secs
lola: 1 tries, 21545 fired transitions, 2150 secs || 21204 markings, 23770 edges, 10 markings/sec, 2150 secs
lola: 1 tries, 21596 fired transitions, 2155 secs || 21255 markings, 23839 edges, 10 markings/sec, 2155 secs
lola: 1 tries, 21647 fired transitions, 2160 secs || 21306 markings, 23890 edges, 10 markings/sec, 2160 secs
lola: 1 tries, 21698 fired transitions, 2165 secs || 21357 markings, 23941 edges, 10 markings/sec, 2165 secs
lola: 1 tries, 21749 fired transitions, 2170 secs || 21408 markings, 23992 edges, 10 markings/sec, 2170 secs
lola: 1 tries, 21800 fired transitions, 2175 secs || 21459 markings, 24043 edges, 10 markings/sec, 2175 secs
lola: 1 tries, 21851 fired transitions, 2180 secs || 21510 markings, 24097 edges, 10 markings/sec, 2180 secs
lola: 1 tries, 21902 fired transitions, 2185 secs || 21561 markings, 24148 edges, 10 markings/sec, 2185 secs
lola: 1 tries, 21953 fired transitions, 2190 secs || 21612 markings, 24199 edges, 10 markings/sec, 2190 secs
lola: 1 tries, 22004 fired transitions, 2195 secs || 21663 markings, 24250 edges, 10 markings/sec, 2195 secs
lola: 1 tries, 22056 fired transitions, 2200 secs || 21715 markings, 24302 edges, 10 markings/sec, 2200 secs
lola: 1 tries, 22106 fired transitions, 2205 secs || 21765 markings, 24352 edges, 10 markings/sec, 2205 secs
lola: 1 tries, 22157 fired transitions, 2210 secs || 21816 markings, 24410 edges, 10 markings/sec, 2210 secs
lola: 1 tries, 22208 fired transitions, 2215 secs || 21867 markings, 24461 edges, 10 markings/sec, 2215 secs
lola: 1 tries, 22258 fired transitions, 2220 secs || 21917 markings, 24511 edges, 10 markings/sec, 2220 secs
lola: 1 tries, 22309 fired transitions, 2225 secs || 21968 markings, 24562 edges, 10 markings/sec, 2225 secs
lola: 1 tries, 22359 fired transitions, 2230 secs || 22018 markings, 24637 edges, 10 markings/sec, 2230 secs
lola: 1 tries, 22410 fired transitions, 2235 secs || 22069 markings, 24689 edges, 10 markings/sec, 2235 secs
lola: 1 tries, 22460 fired transitions, 2240 secs || 22119 markings, 24739 edges, 10 markings/sec, 2240 secs
lola: 1 tries, 22512 fired transitions, 2245 secs || 22171 markings, 24792 edges, 10 markings/sec, 2245 secs
lola: 1 tries, 22563 fired transitions, 2250 secs || 22222 markings, 24843 edges, 10 markings/sec, 2250 secs
lola: 1 tries, 22614 fired transitions, 2255 secs || 22273 markings, 24907 edges, 10 markings/sec, 2255 secs
lola: 1 tries, 22665 fired transitions, 2260 secs || 22324 markings, 24979 edges, 10 markings/sec, 2260 secs
lola: 1 tries, 22716 fired transitions, 2265 secs || 22375 markings, 25037 edges, 10 markings/sec, 2265 secs
lola: 1 tries, 22766 fired transitions, 2270 secs || 22425 markings, 25087 edges, 10 markings/sec, 2270 secs
lola: 1 tries, 22817 fired transitions, 2275 secs || 22476 markings, 25141 edges, 10 markings/sec, 2275 secs
lola: 1 tries, 22869 fired transitions, 2280 secs || 22528 markings, 25203 edges, 10 markings/sec, 2280 secs
lola: 1 tries, 22919 fired transitions, 2285 secs || 22578 markings, 25254 edges, 10 markings/sec, 2285 secs
lola: 1 tries, 22969 fired transitions, 2290 secs || 22628 markings, 25304 edges, 10 markings/sec, 2290 secs
lola: 1 tries, 23020 fired transitions, 2295 secs || 22679 markings, 25358 edges, 10 markings/sec, 2295 secs
lola: 1 tries, 23071 fired transitions, 2300 secs || 22730 markings, 25409 edges, 10 markings/sec, 2300 secs
lola: 1 tries, 23121 fired transitions, 2305 secs || 22780 markings, 25459 edges, 10 markings/sec, 2305 secs
lola: 1 tries, 23172 fired transitions, 2310 secs || 22831 markings, 25510 edges, 10 markings/sec, 2310 secs
lola: 1 tries, 23223 fired transitions, 2315 secs || 22882 markings, 25564 edges, 10 markings/sec, 2315 secs
lola: 1 tries, 23274 fired transitions, 2320 secs || 22933 markings, 25617 edges, 10 markings/sec, 2320 secs
lola: 1 tries, 23324 fired transitions, 2325 secs || 22983 markings, 25669 edges, 10 markings/sec, 2325 secs
lola: 1 tries, 23375 fired transitions, 2330 secs || 23034 markings, 25744 edges, 10 markings/sec, 2330 secs
lola: 1 tries, 23426 fired transitions, 2335 secs || 23085 markings, 25812 edges, 10 markings/sec, 2335 secs
lola: 1 tries, 23476 fired transitions, 2340 secs || 23135 markings, 25862 edges, 10 markings/sec, 2340 secs
lola: 1 tries, 23527 fired transitions, 2345 secs || 23186 markings, 25926 edges, 10 markings/sec, 2345 secs
lola: 1 tries, 23578 fired transitions, 2350 secs || 23237 markings, 26018 edges, 10 markings/sec, 2350 secs
lola: 1 tries, 23629 fired transitions, 2355 secs || 23288 markings, 26069 edges, 10 markings/sec, 2355 secs
lola: 1 tries, 23680 fired transitions, 2360 secs || 23339 markings, 26120 edges, 10 markings/sec, 2360 secs
lola: 1 tries, 23732 fired transitions, 2365 secs || 23391 markings, 26172 edges, 10 markings/sec, 2365 secs
lola: 1 tries, 23784 fired transitions, 2370 secs || 23443 markings, 26234 edges, 10 markings/sec, 2370 secs
lola: 1 tries, 23836 fired transitions, 2375 secs || 23495 markings, 26321 edges, 10 markings/sec, 2375 secs
lola: 1 tries, 23888 fired transitions, 2380 secs || 23547 markings, 26377 edges, 10 markings/sec, 2380 secs
lola: 1 tries, 23940 fired transitions, 2385 secs || 23599 markings, 26429 edges, 10 markings/sec, 2385 secs
lola: 1 tries, 23991 fired transitions, 2390 secs || 23650 markings, 26480 edges, 10 markings/sec, 2390 secs
lola: 1 tries, 24043 fired transitions, 2395 secs || 23702 markings, 26533 edges, 10 markings/sec, 2395 secs
lola: 1 tries, 24095 fired transitions, 2400 secs || 23754 markings, 26585 edges, 10 markings/sec, 2400 secs
lola: 1 tries, 24147 fired transitions, 2405 secs || 23806 markings, 26657 edges, 10 markings/sec, 2405 secs
lola: 1 tries, 24197 fired transitions, 2410 secs || 23857 markings, 26722 edges, 10 markings/sec, 2410 secs
lola: 1 tries, 24245 fired transitions, 2415 secs || 23906 markings, 26802 edges, 10 markings/sec, 2415 secs
lola: 1 tries, 24296 fired transitions, 2420 secs || 23957 markings, 26853 edges, 10 markings/sec, 2420 secs
lola: 1 tries, 24348 fired transitions, 2425 secs || 24009 markings, 26905 edges, 10 markings/sec, 2425 secs
lola: 1 tries, 24401 fired transitions, 2430 secs || 24062 markings, 26958 edges, 11 markings/sec, 2430 secs
lola: 1 tries, 24452 fired transitions, 2435 secs || 24113 markings, 27009 edges, 10 markings/sec, 2435 secs
lola: 1 tries, 24503 fired transitions, 2440 secs || 24164 markings, 27060 edges, 10 markings/sec, 2440 secs
lola: 1 tries, 24553 fired transitions, 2445 secs || 24214 markings, 27110 edges, 10 markings/sec, 2445 secs
lola: 1 tries, 24604 fired transitions, 2450 secs || 24265 markings, 27163 edges, 10 markings/sec, 2450 secs
lola: 1 tries, 24655 fired transitions, 2455 secs || 24317 markings, 27215 edges, 10 markings/sec, 2455 secs
lola: 1 tries, 24707 fired transitions, 2460 secs || 24369 markings, 27267 edges, 10 markings/sec, 2460 secs
lola: 1 tries, 24759 fired transitions, 2465 secs || 24421 markings, 27319 edges, 10 markings/sec, 2465 secs
lola: 1 tries, 24810 fired transitions, 2470 secs || 24472 markings, 27373 edges, 10 markings/sec, 2470 secs
lola: 1 tries, 24861 fired transitions, 2475 secs || 24523 markings, 27428 edges, 10 markings/sec, 2475 secs
lola: 1 tries, 24913 fired transitions, 2480 secs || 24575 markings, 27480 edges, 10 markings/sec, 2480 secs
lola: 1 tries, 24965 fired transitions, 2485 secs || 24627 markings, 27546 edges, 10 markings/sec, 2485 secs
lola: 1 tries, 25017 fired transitions, 2490 secs || 24679 markings, 27608 edges, 10 markings/sec, 2490 secs
lola: 1 tries, 25069 fired transitions, 2495 secs || 24731 markings, 27660 edges, 10 markings/sec, 2495 secs
lola: 1 tries, 25120 fired transitions, 2500 secs || 24782 markings, 27711 edges, 10 markings/sec, 2500 secs
lola: 1 tries, 25172 fired transitions, 2505 secs || 24834 markings, 27763 edges, 10 markings/sec, 2505 secs
lola: 1 tries, 25222 fired transitions, 2510 secs || 24884 markings, 27813 edges, 10 markings/sec, 2510 secs
lola: 1 tries, 25273 fired transitions, 2515 secs || 24935 markings, 27866 edges, 10 markings/sec, 2515 secs
lola: 1 tries, 25326 fired transitions, 2520 secs || 24988 markings, 27943 edges, 11 markings/sec, 2520 secs
lola: 1 tries, 25376 fired transitions, 2525 secs || 25038 markings, 27995 edges, 10 markings/sec, 2525 secs
lola: 1 tries, 25426 fired transitions, 2530 secs || 25085 markings, 28046 edges, 9 markings/sec, 2530 secs
lola: 1 tries, 25476 fired transitions, 2535 secs || 25134 markings, 28096 edges, 10 markings/sec, 2535 secs
lola: 1 tries, 25526 fired transitions, 2540 secs || 25180 markings, 28147 edges, 9 markings/sec, 2540 secs
lola: 1 tries, 25578 fired transitions, 2545 secs || 25229 markings, 28200 edges, 10 markings/sec, 2545 secs
lola: 1 tries, 25628 fired transitions, 2550 secs || 25279 markings, 28250 edges, 10 markings/sec, 2550 secs
lola: 1 tries, 25681 fired transitions, 2555 secs || 25332 markings, 28322 edges, 11 markings/sec, 2555 secs
lola: 1 tries, 25733 fired transitions, 2560 secs || 25384 markings, 28376 edges, 10 markings/sec, 2560 secs
lola: 1 tries, 25785 fired transitions, 2565 secs || 25436 markings, 28435 edges, 10 markings/sec, 2565 secs
lola: 1 tries, 25837 fired transitions, 2570 secs || 25488 markings, 28500 edges, 10 markings/sec, 2570 secs
lola: 1 tries, 25889 fired transitions, 2575 secs || 25540 markings, 28598 edges, 10 markings/sec, 2575 secs
lola: 1 tries, 25941 fired transitions, 2580 secs || 25592 markings, 28674 edges, 10 markings/sec, 2580 secs
lola: 1 tries, 25993 fired transitions, 2585 secs || 25644 markings, 28726 edges, 10 markings/sec, 2585 secs
lola: 1 tries, 26045 fired transitions, 2590 secs || 25696 markings, 28784 edges, 10 markings/sec, 2590 secs
lola: 1 tries, 26096 fired transitions, 2595 secs || 25747 markings, 28835 edges, 10 markings/sec, 2595 secs
lola: 1 tries, 26149 fired transitions, 2600 secs || 25800 markings, 28890 edges, 11 markings/sec, 2600 secs
lola: 1 tries, 26200 fired transitions, 2605 secs || 25851 markings, 28958 edges, 10 markings/sec, 2605 secs
lola: 1 tries, 26252 fired transitions, 2610 secs || 25903 markings, 29019 edges, 10 markings/sec, 2610 secs
lola: 1 tries, 26303 fired transitions, 2615 secs || 25954 markings, 29070 edges, 10 markings/sec, 2615 secs
lola: 1 tries, 26355 fired transitions, 2620 secs || 26006 markings, 29126 edges, 10 markings/sec, 2620 secs
lola: 1 tries, 26407 fired transitions, 2625 secs || 26058 markings, 29178 edges, 10 markings/sec, 2625 secs
lola: 1 tries, 26458 fired transitions, 2630 secs || 26109 markings, 29231 edges, 10 markings/sec, 2630 secs
lola: 1 tries, 26509 fired transitions, 2635 secs || 26160 markings, 29289 edges, 10 markings/sec, 2635 secs
lola: 1 tries, 26558 fired transitions, 2640 secs || 26208 markings, 29343 edges, 10 markings/sec, 2640 secs
lola: 1 tries, 26607 fired transitions, 2645 secs || 26256 markings, 29421 edges, 10 markings/sec, 2645 secs
lola: 1 tries, 26657 fired transitions, 2650 secs || 26302 markings, 29467 edges, 9 markings/sec, 2650 secs
lola: 1 tries, 26708 fired transitions, 2655 secs || 26350 markings, 29515 edges, 10 markings/sec, 2655 secs
lola: 1 tries, 26759 fired transitions, 2660 secs || 26401 markings, 29570 edges, 10 markings/sec, 2660 secs
lola: 1 tries, 26811 fired transitions, 2665 secs || 26453 markings, 29625 edges, 10 markings/sec, 2665 secs
lola: 1 tries, 26864 fired transitions, 2670 secs || 26506 markings, 29680 edges, 11 markings/sec, 2670 secs
lola: 1 tries, 26913 fired transitions, 2675 secs || 26555 markings, 29753 edges, 10 markings/sec, 2675 secs
lola: 1 tries, 26962 fired transitions, 2680 secs || 26604 markings, 29807 edges, 10 markings/sec, 2680 secs
lola: 1 tries, 27010 fired transitions, 2685 secs || 26652 markings, 29857 edges, 10 markings/sec, 2685 secs
lola: 1 tries, 27059 fired transitions, 2690 secs || 26701 markings, 29906 edges, 10 markings/sec, 2690 secs
lola: 1 tries, 27108 fired transitions, 2695 secs || 26750 markings, 29955 edges, 10 markings/sec, 2695 secs
lola: 1 tries, 27156 fired transitions, 2700 secs || 26798 markings, 30003 edges, 10 markings/sec, 2700 secs
lola: 1 tries, 27204 fired transitions, 2705 secs || 26846 markings, 30051 edges, 10 markings/sec, 2705 secs
lola: 1 tries, 27252 fired transitions, 2710 secs || 26894 markings, 30099 edges, 10 markings/sec, 2710 secs
lola: 1 tries, 27300 fired transitions, 2715 secs || 26942 markings, 30151 edges, 10 markings/sec, 2715 secs
lola: 1 tries, 27350 fired transitions, 2720 secs || 26992 markings, 30201 edges, 10 markings/sec, 2720 secs
lola: 1 tries, 27399 fired transitions, 2725 secs || 27041 markings, 30250 edges, 10 markings/sec, 2725 secs
lola: 1 tries, 27449 fired transitions, 2730 secs || 27091 markings, 30300 edges, 10 markings/sec, 2730 secs
lola: 1 tries, 27498 fired transitions, 2735 secs || 27140 markings, 30381 edges, 10 markings/sec, 2735 secs
lola: 1 tries, 27547 fired transitions, 2740 secs || 27189 markings, 30431 edges, 10 markings/sec, 2740 secs
lola: 1 tries, 27596 fired transitions, 2745 secs || 27238 markings, 30481 edges, 10 markings/sec, 2745 secs
lola: 1 tries, 27645 fired transitions, 2750 secs || 27287 markings, 30564 edges, 10 markings/sec, 2750 secs
lola: 1 tries, 27694 fired transitions, 2755 secs || 27335 markings, 30654 edges, 10 markings/sec, 2755 secs
lola: 1 tries, 27743 fired transitions, 2760 secs || 27384 markings, 30708 edges, 10 markings/sec, 2760 secs
lola: 1 tries, 27791 fired transitions, 2765 secs || 27432 markings, 30758 edges, 10 markings/sec, 2765 secs
lola: 1 tries, 27840 fired transitions, 2770 secs || 27481 markings, 30810 edges, 10 markings/sec, 2770 secs
lola: 1 tries, 27888 fired transitions, 2775 secs || 27530 markings, 30860 edges, 10 markings/sec, 2775 secs
lola: 1 tries, 27938 fired transitions, 2780 secs || 27580 markings, 30910 edges, 10 markings/sec, 2780 secs
lola: 1 tries, 27988 fired transitions, 2785 secs || 27630 markings, 30960 edges, 10 markings/sec, 2785 secs
lola: 1 tries, 28037 fired transitions, 2790 secs || 27679 markings, 31009 edges, 10 markings/sec, 2790 secs
lola: 1 tries, 28087 fired transitions, 2795 secs || 27729 markings, 31065 edges, 10 markings/sec, 2795 secs
lola: 1 tries, 28137 fired transitions, 2800 secs || 27778 markings, 31118 edges, 10 markings/sec, 2800 secs
lola: 1 tries, 28186 fired transitions, 2805 secs || 27828 markings, 31168 edges, 10 markings/sec, 2805 secs
lola: 1 tries, 28236 fired transitions, 2810 secs || 27878 markings, 31222 edges, 10 markings/sec, 2810 secs
lola: 1 tries, 28285 fired transitions, 2815 secs || 27927 markings, 31271 edges, 10 markings/sec, 2815 secs
lola: 1 tries, 28335 fired transitions, 2820 secs || 27977 markings, 31321 edges, 10 markings/sec, 2820 secs
lola: 1 tries, 28383 fired transitions, 2825 secs || 28026 markings, 31371 edges, 10 markings/sec, 2825 secs
lola: 1 tries, 28431 fired transitions, 2830 secs || 28075 markings, 31421 edges, 10 markings/sec, 2830 secs
lola: 1 tries, 28479 fired transitions, 2835 secs || 28122 markings, 31483 edges, 9 markings/sec, 2835 secs
lola: 1 tries, 28526 fired transitions, 2840 secs || 28167 markings, 31535 edges, 9 markings/sec, 2840 secs
lola: 1 tries, 28573 fired transitions, 2845 secs || 28212 markings, 31580 edges, 9 markings/sec, 2845 secs
lola: 1 tries, 28620 fired transitions, 2850 secs || 28259 markings, 31627 edges, 9 markings/sec, 2850 secs
lola: 1 tries, 28667 fired transitions, 2855 secs || 28306 markings, 31674 edges, 9 markings/sec, 2855 secs
lola: 1 tries, 28713 fired transitions, 2860 secs || 28352 markings, 31723 edges, 9 markings/sec, 2860 secs
lola: 1 tries, 28762 fired transitions, 2865 secs || 28400 markings, 31790 edges, 10 markings/sec, 2865 secs
lola: 1 tries, 28811 fired transitions, 2870 secs || 28449 markings, 31839 edges, 10 markings/sec, 2870 secs
lola: 1 tries, 28861 fired transitions, 2875 secs || 28499 markings, 31889 edges, 10 markings/sec, 2875 secs
lola: 1 tries, 28909 fired transitions, 2880 secs || 28547 markings, 31937 edges, 10 markings/sec, 2880 secs
lola: 1 tries, 28958 fired transitions, 2885 secs || 28595 markings, 31987 edges, 10 markings/sec, 2885 secs
lola: 1 tries, 29006 fired transitions, 2890 secs || 28644 markings, 32036 edges, 10 markings/sec, 2890 secs
lola: 1 tries, 29052 fired transitions, 2895 secs || 28691 markings, 32083 edges, 9 markings/sec, 2895 secs
lola: 1 tries, 29100 fired transitions, 2900 secs || 28740 markings, 32139 edges, 10 markings/sec, 2900 secs
lola: 1 tries, 29150 fired transitions, 2905 secs || 28790 markings, 32189 edges, 10 markings/sec, 2905 secs
lola: 1 tries, 29200 fired transitions, 2910 secs || 28840 markings, 32241 edges, 10 markings/sec, 2910 secs
lola: 1 tries, 29250 fired transitions, 2915 secs || 28889 markings, 32290 edges, 10 markings/sec, 2915 secs
lola: 1 tries, 29299 fired transitions, 2920 secs || 28939 markings, 32347 edges, 10 markings/sec, 2920 secs
lola: 1 tries, 29349 fired transitions, 2925 secs || 28989 markings, 32397 edges, 10 markings/sec, 2925 secs
lola: 1 tries, 29400 fired transitions, 2930 secs || 29040 markings, 32448 edges, 10 markings/sec, 2930 secs
lola: 1 tries, 29450 fired transitions, 2935 secs || 29090 markings, 32502 edges, 10 markings/sec, 2935 secs
lola: 1 tries, 29500 fired transitions, 2940 secs || 29140 markings, 32560 edges, 10 markings/sec, 2940 secs
lola: 1 tries, 29549 fired transitions, 2945 secs || 29189 markings, 32617 edges, 10 markings/sec, 2945 secs
lola: 1 tries, 29599 fired transitions, 2950 secs || 29239 markings, 32676 edges, 10 markings/sec, 2950 secs
lola: 1 tries, 29649 fired transitions, 2955 secs || 29289 markings, 32730 edges, 10 markings/sec, 2955 secs
lola: 1 tries, 29699 fired transitions, 2960 secs || 29339 markings, 32780 edges, 10 markings/sec, 2960 secs
lola: 1 tries, 29749 fired transitions, 2965 secs || 29389 markings, 32830 edges, 10 markings/sec, 2965 secs
lola: 1 tries, 29800 fired transitions, 2970 secs || 29439 markings, 32880 edges, 10 markings/sec, 2970 secs
lola: 1 tries, 29849 fired transitions, 2975 secs || 29489 markings, 32935 edges, 10 markings/sec, 2975 secs
lola: 1 tries, 29899 fired transitions, 2980 secs || 29539 markings, 33019 edges, 10 markings/sec, 2980 secs
lola: 1 tries, 29948 fired transitions, 2985 secs || 29588 markings, 33068 edges, 10 markings/sec, 2985 secs
lola: 1 tries, 29998 fired transitions, 2990 secs || 29638 markings, 33133 edges, 10 markings/sec, 2990 secs
lola: 1 tries, 30048 fired transitions, 2995 secs || 29688 markings, 33206 edges, 10 markings/sec, 2995 secs
lola: 1 tries, 30098 fired transitions, 3000 secs || 29738 markings, 33256 edges, 10 markings/sec, 3000 secs
lola: 1 tries, 30148 fired transitions, 3005 secs || 29788 markings, 33306 edges, 10 markings/sec, 3005 secs
lola: 1 tries, 30197 fired transitions, 3010 secs || 29837 markings, 33355 edges, 10 markings/sec, 3010 secs
lola: 1 tries, 30247 fired transitions, 3015 secs || 29887 markings, 33405 edges, 10 markings/sec, 3015 secs
lola: 1 tries, 30297 fired transitions, 3020 secs || 29937 markings, 33455 edges, 10 markings/sec, 3020 secs
lola: 1 tries, 30347 fired transitions, 3025 secs || 29987 markings, 33521 edges, 10 markings/sec, 3025 secs
lola: 1 tries, 30397 fired transitions, 3030 secs || 30037 markings, 33572 edges, 10 markings/sec, 3030 secs
lola: 1 tries, 30448 fired transitions, 3035 secs || 30088 markings, 33624 edges, 10 markings/sec, 3035 secs
lola: 1 tries, 30498 fired transitions, 3040 secs || 30138 markings, 33674 edges, 10 markings/sec, 3040 secs
lola: 1 tries, 30551 fired transitions, 3045 secs || 30191 markings, 33733 edges, 11 markings/sec, 3045 secs
lola: 1 tries, 30605 fired transitions, 3050 secs || 30245 markings, 33788 edges, 11 markings/sec, 3050 secs
lola: 1 tries, 30658 fired transitions, 3055 secs || 30298 markings, 33851 edges, 11 markings/sec, 3055 secs
lola: 1 tries, 30711 fired transitions, 3060 secs || 30351 markings, 33907 edges, 11 markings/sec, 3060 secs
lola: 1 tries, 30764 fired transitions, 3065 secs || 30404 markings, 33961 edges, 11 markings/sec, 3065 secs
lola: 1 tries, 30816 fired transitions, 3070 secs || 30456 markings, 34014 edges, 10 markings/sec, 3070 secs
lola: 1 tries, 30869 fired transitions, 3075 secs || 30509 markings, 34076 edges, 11 markings/sec, 3075 secs
lola: 1 tries, 30922 fired transitions, 3080 secs || 30562 markings, 34129 edges, 11 markings/sec, 3080 secs
lola: 1 tries, 30975 fired transitions, 3085 secs || 30615 markings, 34182 edges, 11 markings/sec, 3085 secs
lola: 1 tries, 31028 fired transitions, 3090 secs || 30668 markings, 34245 edges, 11 markings/sec, 3090 secs
lola: 1 tries, 31081 fired transitions, 3095 secs || 30721 markings, 34299 edges, 11 markings/sec, 3095 secs
lola: 1 tries, 31134 fired transitions, 3100 secs || 30774 markings, 34354 edges, 11 markings/sec, 3100 secs
lola: 1 tries, 31187 fired transitions, 3105 secs || 30827 markings, 34407 edges, 11 markings/sec, 3105 secs
lola: 1 tries, 31240 fired transitions, 3110 secs || 30880 markings, 34460 edges, 11 markings/sec, 3110 secs
lola: 1 tries, 31293 fired transitions, 3115 secs || 30933 markings, 34514 edges, 11 markings/sec, 3115 secs
lola: 1 tries, 31346 fired transitions, 3120 secs || 30986 markings, 34567 edges, 11 markings/sec, 3120 secs
lola: 1 tries, 31399 fired transitions, 3125 secs || 31039 markings, 34620 edges, 11 markings/sec, 3125 secs
lola: 1 tries, 31450 fired transitions, 3130 secs || 31091 markings, 34672 edges, 10 markings/sec, 3130 secs
lola: 1 tries, 31501 fired transitions, 3135 secs || 31143 markings, 34725 edges, 10 markings/sec, 3135 secs
lola: 1 tries, 31553 fired transitions, 3140 secs || 31195 markings, 34777 edges, 10 markings/sec, 3140 secs
lola: 1 tries, 31604 fired transitions, 3145 secs || 31243 markings, 34832 edges, 10 markings/sec, 3145 secs
lola: 1 tries, 31655 fired transitions, 3150 secs || 31294 markings, 34884 edges, 10 markings/sec, 3150 secs
lola: 1 tries, 31708 fired transitions, 3155 secs || 31346 markings, 34947 edges, 10 markings/sec, 3155 secs
lola: 1 tries, 31760 fired transitions, 3160 secs || 31398 markings, 34999 edges, 10 markings/sec, 3160 secs
lola: 1 tries, 31811 fired transitions, 3165 secs || 31447 markings, 35048 edges, 10 markings/sec, 3165 secs
lola: 1 tries, 31864 fired transitions, 3170 secs || 31500 markings, 35104 edges, 11 markings/sec, 3170 secs
lola: 1 tries, 31916 fired transitions, 3175 secs || 31552 markings, 35158 edges, 10 markings/sec, 3175 secs
lola: 1 tries, 31968 fired transitions, 3180 secs || 31604 markings, 35218 edges, 10 markings/sec, 3180 secs
lola: 1 tries, 32018 fired transitions, 3185 secs || 31654 markings, 35268 edges, 10 markings/sec, 3185 secs
lola: 1 tries, 32066 fired transitions, 3190 secs || 31703 markings, 35317 edges, 10 markings/sec, 3190 secs
lola: 1 tries, 32119 fired transitions, 3195 secs || 31756 markings, 35373 edges, 11 markings/sec, 3195 secs
lola: 1 tries, 32170 fired transitions, 3200 secs || 31807 markings, 35457 edges, 10 markings/sec, 3200 secs
lola: 1 tries, 32221 fired transitions, 3205 secs || 31858 markings, 35508 edges, 10 markings/sec, 3205 secs
lola: 1 tries, 32273 fired transitions, 3210 secs || 31910 markings, 35564 edges, 10 markings/sec, 3210 secs
lola: 1 tries, 32324 fired transitions, 3215 secs || 31961 markings, 35618 edges, 10 markings/sec, 3215 secs
lola: 1 tries, 32375 fired transitions, 3220 secs || 32012 markings, 35675 edges, 10 markings/sec, 3220 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553919569002
--------------------
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="RERS17pb114-PT-1"
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 RERS17pb114-PT-1, 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-155274853600399"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-1.tgz
mv RERS17pb114-PT-1 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 ;