About the Execution of LoLA for RERS17pb114-PT-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11989.960 | 3570384.00 | 6939378.00 | 330.50 | [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-155274853600426.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-4, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853600426
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 4.1K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 23K 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.3K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 13 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 13 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 equiv_col
-rw-r--r-- 1 mcc users 2 Feb 13 08:05 instance
-rw-r--r-- 1 mcc users 6 Feb 13 08:05 iscolored
-rw-r--r-- 1 mcc users 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-4-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553918723280
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb114-PT-4 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ RERS17pb114-PT-4
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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, 48 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, 134 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: 1 tries, 179 fired transitions, 15 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: 1 tries, 223 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: 1 tries, 269 fired transitions, 25 secs
lola: 48 generators; 813450 candidates remain ( 0%), 25 secs
lola: 1 tries, 309 fired transitions, 30 secs
lola: 143 generators; 72390 candidates remain ( 0%), 30 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, 356 fired transitions, 35 secs || 34 markings, 48 edges, 7 markings/sec, 35 secs
lola: 1 tries, 404 fired transitions, 40 secs || 82 markings, 146 edges, 10 markings/sec, 40 secs
lola: 1 tries, 451 fired transitions, 45 secs || 131 markings, 245 edges, 10 markings/sec, 45 secs
lola: 1 tries, 499 fired transitions, 50 secs || 179 markings, 339 edges, 10 markings/sec, 50 secs
lola: 1 tries, 547 fired transitions, 55 secs || 227 markings, 406 edges, 10 markings/sec, 55 secs
lola: 1 tries, 592 fired transitions, 60 secs || 274 markings, 469 edges, 9 markings/sec, 60 secs
lola: 1 tries, 639 fired transitions, 65 secs || 322 markings, 543 edges, 10 markings/sec, 65 secs
lola: 1 tries, 686 fired transitions, 70 secs || 369 markings, 618 edges, 9 markings/sec, 70 secs
lola: 1 tries, 734 fired transitions, 75 secs || 418 markings, 698 edges, 10 markings/sec, 75 secs
lola: 1 tries, 783 fired transitions, 80 secs || 466 markings, 827 edges, 10 markings/sec, 80 secs
lola: 1 tries, 830 fired transitions, 85 secs || 514 markings, 1028 edges, 10 markings/sec, 85 secs
lola: 1 tries, 879 fired transitions, 90 secs || 564 markings, 1178 edges, 10 markings/sec, 90 secs
lola: 1 tries, 926 fired transitions, 95 secs || 612 markings, 1246 edges, 10 markings/sec, 95 secs
lola: 1 tries, 973 fired transitions, 100 secs || 660 markings, 1326 edges, 10 markings/sec, 100 secs
lola: 1 tries, 1021 fired transitions, 105 secs || 709 markings, 1509 edges, 10 markings/sec, 105 secs
lola: 1 tries, 1070 fired transitions, 110 secs || 759 markings, 1585 edges, 10 markings/sec, 110 secs
lola: 1 tries, 1119 fired transitions, 115 secs || 808 markings, 1690 edges, 10 markings/sec, 115 secs
lola: 1 tries, 1167 fired transitions, 120 secs || 857 markings, 1782 edges, 10 markings/sec, 120 secs
lola: 1 tries, 1215 fired transitions, 125 secs || 906 markings, 1872 edges, 10 markings/sec, 125 secs
lola: 1 tries, 1263 fired transitions, 130 secs || 955 markings, 2050 edges, 10 markings/sec, 130 secs
lola: 1 tries, 1311 fired transitions, 135 secs || 1004 markings, 2336 edges, 10 markings/sec, 135 secs
lola: 1 tries, 1359 fired transitions, 140 secs || 1052 markings, 2637 edges, 10 markings/sec, 140 secs
lola: 1 tries, 1407 fired transitions, 145 secs || 1099 markings, 2956 edges, 9 markings/sec, 145 secs
lola: 1 tries, 1455 fired transitions, 150 secs || 1148 markings, 3295 edges, 10 markings/sec, 150 secs
lola: 1 tries, 1503 fired transitions, 155 secs || 1197 markings, 3554 edges, 10 markings/sec, 155 secs
lola: 1 tries, 1551 fired transitions, 160 secs || 1244 markings, 3796 edges, 9 markings/sec, 160 secs
lola: 1 tries, 1597 fired transitions, 165 secs || 1292 markings, 4121 edges, 10 markings/sec, 165 secs
lola: 1 tries, 1645 fired transitions, 170 secs || 1339 markings, 4420 edges, 9 markings/sec, 170 secs
lola: 1 tries, 1693 fired transitions, 175 secs || 1387 markings, 4712 edges, 10 markings/sec, 175 secs
lola: 1 tries, 1739 fired transitions, 180 secs || 1435 markings, 4927 edges, 10 markings/sec, 180 secs
lola: 1 tries, 1785 fired transitions, 185 secs || 1482 markings, 5201 edges, 9 markings/sec, 185 secs
lola: 1 tries, 1831 fired transitions, 190 secs || 1529 markings, 5504 edges, 9 markings/sec, 190 secs
lola: 1 tries, 1878 fired transitions, 195 secs || 1574 markings, 5829 edges, 9 markings/sec, 195 secs
lola: 1 tries, 1926 fired transitions, 200 secs || 1621 markings, 6123 edges, 9 markings/sec, 200 secs
lola: 1 tries, 1974 fired transitions, 205 secs || 1668 markings, 6430 edges, 9 markings/sec, 205 secs
lola: 1 tries, 2019 fired transitions, 210 secs || 1715 markings, 6747 edges, 9 markings/sec, 210 secs
lola: 1 tries, 2064 fired transitions, 215 secs || 1763 markings, 7049 edges, 10 markings/sec, 215 secs
lola: 1 tries, 2111 fired transitions, 220 secs || 1810 markings, 7354 edges, 9 markings/sec, 220 secs
lola: 1 tries, 2158 fired transitions, 225 secs || 1859 markings, 7657 edges, 10 markings/sec, 225 secs
lola: 1 tries, 2205 fired transitions, 230 secs || 1907 markings, 7932 edges, 10 markings/sec, 230 secs
lola: 1 tries, 2252 fired transitions, 235 secs || 1954 markings, 8253 edges, 9 markings/sec, 235 secs
lola: 1 tries, 2300 fired transitions, 240 secs || 2001 markings, 8530 edges, 9 markings/sec, 240 secs
lola: 1 tries, 2348 fired transitions, 245 secs || 2049 markings, 8794 edges, 10 markings/sec, 245 secs
lola: 1 tries, 2396 fired transitions, 250 secs || 2097 markings, 9062 edges, 10 markings/sec, 250 secs
lola: 1 tries, 2443 fired transitions, 255 secs || 2144 markings, 9313 edges, 9 markings/sec, 255 secs
lola: 1 tries, 2491 fired transitions, 260 secs || 2192 markings, 9555 edges, 10 markings/sec, 260 secs
lola: 1 tries, 2538 fired transitions, 265 secs || 2240 markings, 9840 edges, 10 markings/sec, 265 secs
lola: 1 tries, 2586 fired transitions, 270 secs || 2288 markings, 10143 edges, 10 markings/sec, 270 secs
lola: 1 tries, 2634 fired transitions, 275 secs || 2337 markings, 10484 edges, 10 markings/sec, 275 secs
lola: 1 tries, 2682 fired transitions, 280 secs || 2384 markings, 10795 edges, 9 markings/sec, 280 secs
lola: 1 tries, 2729 fired transitions, 285 secs || 2432 markings, 11056 edges, 10 markings/sec, 285 secs
lola: 1 tries, 2778 fired transitions, 290 secs || 2480 markings, 11352 edges, 10 markings/sec, 290 secs
lola: 1 tries, 2826 fired transitions, 295 secs || 2527 markings, 11641 edges, 9 markings/sec, 295 secs
lola: 1 tries, 2874 fired transitions, 300 secs || 2575 markings, 11977 edges, 10 markings/sec, 300 secs
lola: 1 tries, 2922 fired transitions, 305 secs || 2624 markings, 12360 edges, 10 markings/sec, 305 secs
lola: 1 tries, 2971 fired transitions, 310 secs || 2672 markings, 12923 edges, 10 markings/sec, 310 secs
lola: 1 tries, 3018 fired transitions, 315 secs || 2720 markings, 13443 edges, 10 markings/sec, 315 secs
lola: 1 tries, 3065 fired transitions, 320 secs || 2767 markings, 13770 edges, 9 markings/sec, 320 secs
lola: 1 tries, 3113 fired transitions, 325 secs || 2815 markings, 14058 edges, 10 markings/sec, 325 secs
lola: 1 tries, 3161 fired transitions, 330 secs || 2863 markings, 14257 edges, 10 markings/sec, 330 secs
lola: 1 tries, 3208 fired transitions, 335 secs || 2910 markings, 14386 edges, 9 markings/sec, 335 secs
lola: 1 tries, 3254 fired transitions, 340 secs || 2957 markings, 14539 edges, 9 markings/sec, 340 secs
lola: 1 tries, 3302 fired transitions, 345 secs || 3006 markings, 14698 edges, 10 markings/sec, 345 secs
lola: 1 tries, 3353 fired transitions, 350 secs || 3058 markings, 14898 edges, 10 markings/sec, 350 secs
lola: 1 tries, 3404 fired transitions, 355 secs || 3110 markings, 15144 edges, 10 markings/sec, 355 secs
lola: 1 tries, 3456 fired transitions, 360 secs || 3162 markings, 15477 edges, 10 markings/sec, 360 secs
lola: 1 tries, 3506 fired transitions, 365 secs || 3214 markings, 15891 edges, 10 markings/sec, 365 secs
lola: 1 tries, 3558 fired transitions, 370 secs || 3267 markings, 16256 edges, 11 markings/sec, 370 secs
lola: 1 tries, 3607 fired transitions, 375 secs || 3318 markings, 16557 edges, 10 markings/sec, 375 secs
lola: 1 tries, 3658 fired transitions, 380 secs || 3369 markings, 16912 edges, 10 markings/sec, 380 secs
lola: 1 tries, 3706 fired transitions, 385 secs || 3418 markings, 17255 edges, 10 markings/sec, 385 secs
lola: 1 tries, 3754 fired transitions, 390 secs || 3466 markings, 17623 edges, 10 markings/sec, 390 secs
lola: 1 tries, 3804 fired transitions, 395 secs || 3517 markings, 17995 edges, 10 markings/sec, 395 secs
lola: 1 tries, 3854 fired transitions, 400 secs || 3566 markings, 18239 edges, 10 markings/sec, 400 secs
lola: 1 tries, 3902 fired transitions, 405 secs || 3615 markings, 18433 edges, 10 markings/sec, 405 secs
lola: 1 tries, 3950 fired transitions, 410 secs || 3663 markings, 18625 edges, 10 markings/sec, 410 secs
lola: 1 tries, 3999 fired transitions, 415 secs || 3712 markings, 18806 edges, 10 markings/sec, 415 secs
lola: 1 tries, 4047 fired transitions, 420 secs || 3762 markings, 19036 edges, 10 markings/sec, 420 secs
lola: 1 tries, 4096 fired transitions, 425 secs || 3813 markings, 19411 edges, 10 markings/sec, 425 secs
lola: 1 tries, 4147 fired transitions, 430 secs || 3864 markings, 19676 edges, 10 markings/sec, 430 secs
lola: 1 tries, 4198 fired transitions, 435 secs || 3916 markings, 19936 edges, 10 markings/sec, 435 secs
lola: 1 tries, 4249 fired transitions, 440 secs || 3968 markings, 20202 edges, 10 markings/sec, 440 secs
lola: 1 tries, 4300 fired transitions, 445 secs || 4018 markings, 20448 edges, 10 markings/sec, 445 secs
lola: 1 tries, 4352 fired transitions, 450 secs || 4068 markings, 20689 edges, 10 markings/sec, 450 secs
lola: 1 tries, 4404 fired transitions, 455 secs || 4121 markings, 20971 edges, 11 markings/sec, 455 secs
lola: 1 tries, 4457 fired transitions, 460 secs || 4173 markings, 21229 edges, 10 markings/sec, 460 secs
lola: 1 tries, 4509 fired transitions, 465 secs || 4226 markings, 21498 edges, 11 markings/sec, 465 secs
lola: 1 tries, 4561 fired transitions, 470 secs || 4278 markings, 21758 edges, 10 markings/sec, 470 secs
lola: 1 tries, 4613 fired transitions, 475 secs || 4330 markings, 22214 edges, 10 markings/sec, 475 secs
lola: 1 tries, 4666 fired transitions, 480 secs || 4383 markings, 22699 edges, 11 markings/sec, 480 secs
lola: 1 tries, 4718 fired transitions, 485 secs || 4434 markings, 23174 edges, 10 markings/sec, 485 secs
lola: 1 tries, 4770 fired transitions, 490 secs || 4485 markings, 23661 edges, 10 markings/sec, 490 secs
lola: 1 tries, 4820 fired transitions, 495 secs || 4536 markings, 24124 edges, 10 markings/sec, 495 secs
lola: 1 tries, 4870 fired transitions, 500 secs || 4585 markings, 24522 edges, 10 markings/sec, 500 secs
lola: 1 tries, 4918 fired transitions, 505 secs || 4632 markings, 24932 edges, 9 markings/sec, 505 secs
lola: 1 tries, 4968 fired transitions, 510 secs || 4681 markings, 25363 edges, 10 markings/sec, 510 secs
lola: 1 tries, 5017 fired transitions, 515 secs || 4729 markings, 25685 edges, 10 markings/sec, 515 secs
lola: 1 tries, 5066 fired transitions, 520 secs || 4777 markings, 25834 edges, 10 markings/sec, 520 secs
lola: 1 tries, 5116 fired transitions, 525 secs || 4827 markings, 26021 edges, 10 markings/sec, 525 secs
lola: 1 tries, 5167 fired transitions, 530 secs || 4879 markings, 26176 edges, 10 markings/sec, 530 secs
lola: 1 tries, 5217 fired transitions, 535 secs || 4929 markings, 26232 edges, 10 markings/sec, 535 secs
lola: 1 tries, 5267 fired transitions, 540 secs || 4978 markings, 26287 edges, 10 markings/sec, 540 secs
lola: 1 tries, 5315 fired transitions, 545 secs || 5028 markings, 26337 edges, 10 markings/sec, 545 secs
lola: 1 tries, 5365 fired transitions, 550 secs || 5078 markings, 26387 edges, 10 markings/sec, 550 secs
lola: 1 tries, 5414 fired transitions, 555 secs || 5126 markings, 26435 edges, 10 markings/sec, 555 secs
lola: 1 tries, 5463 fired transitions, 560 secs || 5174 markings, 26483 edges, 10 markings/sec, 560 secs
lola: 1 tries, 5513 fired transitions, 565 secs || 5224 markings, 26533 edges, 10 markings/sec, 565 secs
lola: 1 tries, 5562 fired transitions, 570 secs || 5273 markings, 26582 edges, 10 markings/sec, 570 secs
lola: 1 tries, 5609 fired transitions, 575 secs || 5321 markings, 26630 edges, 10 markings/sec, 575 secs
lola: 1 tries, 5657 fired transitions, 580 secs || 5370 markings, 26679 edges, 10 markings/sec, 580 secs
lola: 1 tries, 5705 fired transitions, 585 secs || 5419 markings, 26728 edges, 10 markings/sec, 585 secs
lola: 1 tries, 5752 fired transitions, 590 secs || 5465 markings, 26774 edges, 9 markings/sec, 590 secs
lola: 1 tries, 5800 fired transitions, 595 secs || 5512 markings, 26821 edges, 9 markings/sec, 595 secs
lola: 1 tries, 5848 fired transitions, 600 secs || 5559 markings, 26868 edges, 9 markings/sec, 600 secs
lola: 1 tries, 5895 fired transitions, 605 secs || 5605 markings, 26914 edges, 9 markings/sec, 605 secs
lola: 1 tries, 5943 fired transitions, 610 secs || 5652 markings, 26961 edges, 9 markings/sec, 610 secs
lola: 1 tries, 5990 fired transitions, 615 secs || 5698 markings, 27007 edges, 9 markings/sec, 615 secs
lola: 1 tries, 6037 fired transitions, 620 secs || 5744 markings, 27053 edges, 9 markings/sec, 620 secs
lola: 1 tries, 6083 fired transitions, 625 secs || 5792 markings, 27101 edges, 10 markings/sec, 625 secs
lola: 1 tries, 6129 fired transitions, 630 secs || 5838 markings, 27147 edges, 9 markings/sec, 630 secs
lola: 1 tries, 6175 fired transitions, 635 secs || 5884 markings, 27193 edges, 9 markings/sec, 635 secs
lola: 1 tries, 6223 fired transitions, 640 secs || 5932 markings, 27241 edges, 10 markings/sec, 640 secs
lola: 1 tries, 6270 fired transitions, 645 secs || 5980 markings, 27289 edges, 10 markings/sec, 645 secs
lola: 1 tries, 6318 fired transitions, 650 secs || 6027 markings, 27336 edges, 9 markings/sec, 650 secs
lola: 1 tries, 6365 fired transitions, 655 secs || 6073 markings, 27382 edges, 9 markings/sec, 655 secs
lola: 1 tries, 6411 fired transitions, 660 secs || 6118 markings, 27427 edges, 9 markings/sec, 660 secs
lola: 1 tries, 6456 fired transitions, 665 secs || 6164 markings, 27473 edges, 9 markings/sec, 665 secs
lola: 1 tries, 6504 fired transitions, 670 secs || 6212 markings, 27521 edges, 10 markings/sec, 670 secs
lola: 1 tries, 6551 fired transitions, 675 secs || 6259 markings, 27568 edges, 9 markings/sec, 675 secs
lola: 1 tries, 6599 fired transitions, 680 secs || 6306 markings, 27615 edges, 9 markings/sec, 680 secs
lola: 1 tries, 6648 fired transitions, 685 secs || 6354 markings, 27663 edges, 10 markings/sec, 685 secs
lola: 1 tries, 6697 fired transitions, 690 secs || 6403 markings, 27712 edges, 10 markings/sec, 690 secs
lola: 1 tries, 6743 fired transitions, 695 secs || 6449 markings, 27758 edges, 9 markings/sec, 695 secs
lola: 1 tries, 6788 fired transitions, 700 secs || 6495 markings, 27804 edges, 9 markings/sec, 700 secs
lola: 1 tries, 6836 fired transitions, 705 secs || 6543 markings, 27852 edges, 10 markings/sec, 705 secs
lola: 1 tries, 6885 fired transitions, 710 secs || 6592 markings, 27901 edges, 10 markings/sec, 710 secs
lola: 1 tries, 6931 fired transitions, 715 secs || 6639 markings, 27948 edges, 9 markings/sec, 715 secs
lola: 1 tries, 6975 fired transitions, 720 secs || 6685 markings, 27994 edges, 9 markings/sec, 720 secs
lola: 1 tries, 7023 fired transitions, 725 secs || 6733 markings, 28042 edges, 10 markings/sec, 725 secs
lola: 1 tries, 7071 fired transitions, 730 secs || 6781 markings, 28090 edges, 10 markings/sec, 730 secs
lola: 1 tries, 7119 fired transitions, 735 secs || 6829 markings, 28138 edges, 10 markings/sec, 735 secs
lola: 1 tries, 7167 fired transitions, 740 secs || 6877 markings, 28186 edges, 10 markings/sec, 740 secs
lola: 1 tries, 7214 fired transitions, 745 secs || 6924 markings, 28233 edges, 9 markings/sec, 745 secs
lola: 1 tries, 7261 fired transitions, 750 secs || 6972 markings, 28281 edges, 10 markings/sec, 750 secs
lola: 1 tries, 7310 fired transitions, 755 secs || 7021 markings, 28330 edges, 10 markings/sec, 755 secs
lola: 1 tries, 7358 fired transitions, 760 secs || 7069 markings, 28378 edges, 10 markings/sec, 760 secs
lola: 1 tries, 7407 fired transitions, 765 secs || 7118 markings, 28427 edges, 10 markings/sec, 765 secs
lola: 1 tries, 7455 fired transitions, 770 secs || 7166 markings, 28475 edges, 10 markings/sec, 770 secs
lola: 1 tries, 7503 fired transitions, 775 secs || 7214 markings, 28523 edges, 10 markings/sec, 775 secs
lola: 1 tries, 7551 fired transitions, 780 secs || 7262 markings, 28571 edges, 10 markings/sec, 780 secs
lola: 1 tries, 7600 fired transitions, 785 secs || 7311 markings, 28620 edges, 10 markings/sec, 785 secs
lola: 1 tries, 7648 fired transitions, 790 secs || 7359 markings, 28668 edges, 10 markings/sec, 790 secs
lola: 1 tries, 7697 fired transitions, 795 secs || 7408 markings, 28717 edges, 10 markings/sec, 795 secs
lola: 1 tries, 7745 fired transitions, 800 secs || 7456 markings, 28765 edges, 10 markings/sec, 800 secs
lola: 1 tries, 7793 fired transitions, 805 secs || 7504 markings, 28813 edges, 10 markings/sec, 805 secs
lola: 1 tries, 7842 fired transitions, 810 secs || 7553 markings, 28862 edges, 10 markings/sec, 810 secs
lola: 1 tries, 7890 fired transitions, 815 secs || 7601 markings, 28910 edges, 10 markings/sec, 815 secs
lola: 1 tries, 7938 fired transitions, 820 secs || 7649 markings, 28958 edges, 10 markings/sec, 820 secs
lola: 1 tries, 7987 fired transitions, 825 secs || 7698 markings, 29007 edges, 10 markings/sec, 825 secs
lola: 1 tries, 8035 fired transitions, 830 secs || 7746 markings, 29055 edges, 10 markings/sec, 830 secs
lola: 1 tries, 8083 fired transitions, 835 secs || 7794 markings, 29103 edges, 10 markings/sec, 835 secs
lola: 1 tries, 8131 fired transitions, 840 secs || 7842 markings, 29151 edges, 10 markings/sec, 840 secs
lola: 1 tries, 8177 fired transitions, 845 secs || 7889 markings, 29198 edges, 9 markings/sec, 845 secs
lola: 1 tries, 8226 fired transitions, 850 secs || 7938 markings, 29247 edges, 10 markings/sec, 850 secs
lola: 1 tries, 8274 fired transitions, 855 secs || 7986 markings, 29295 edges, 10 markings/sec, 855 secs
lola: 1 tries, 8323 fired transitions, 860 secs || 8035 markings, 29344 edges, 10 markings/sec, 860 secs
lola: 1 tries, 8371 fired transitions, 865 secs || 8083 markings, 29392 edges, 10 markings/sec, 865 secs
lola: 1 tries, 8419 fired transitions, 870 secs || 8131 markings, 29477 edges, 10 markings/sec, 870 secs
lola: 1 tries, 8468 fired transitions, 875 secs || 8180 markings, 29678 edges, 10 markings/sec, 875 secs
lola: 1 tries, 8516 fired transitions, 880 secs || 8228 markings, 29726 edges, 10 markings/sec, 880 secs
lola: 1 tries, 8564 fired transitions, 885 secs || 8276 markings, 29774 edges, 10 markings/sec, 885 secs
lola: 1 tries, 8610 fired transitions, 890 secs || 8323 markings, 29821 edges, 9 markings/sec, 890 secs
lola: 1 tries, 8658 fired transitions, 895 secs || 8371 markings, 29869 edges, 10 markings/sec, 895 secs
lola: 1 tries, 8707 fired transitions, 900 secs || 8420 markings, 29923 edges, 10 markings/sec, 900 secs
lola: 1 tries, 8753 fired transitions, 905 secs || 8467 markings, 29970 edges, 9 markings/sec, 905 secs
lola: 1 tries, 8801 fired transitions, 910 secs || 8515 markings, 30018 edges, 10 markings/sec, 910 secs
lola: 1 tries, 8849 fired transitions, 915 secs || 8563 markings, 30066 edges, 10 markings/sec, 915 secs
lola: 1 tries, 8897 fired transitions, 920 secs || 8611 markings, 30114 edges, 10 markings/sec, 920 secs
lola: 1 tries, 8944 fired transitions, 925 secs || 8658 markings, 30161 edges, 9 markings/sec, 925 secs
lola: 1 tries, 8991 fired transitions, 930 secs || 8706 markings, 30209 edges, 10 markings/sec, 930 secs
lola: 1 tries, 9038 fired transitions, 935 secs || 8753 markings, 30256 edges, 9 markings/sec, 935 secs
lola: 1 tries, 9085 fired transitions, 940 secs || 8801 markings, 30304 edges, 10 markings/sec, 940 secs
lola: 1 tries, 9130 fired transitions, 945 secs || 8847 markings, 30350 edges, 9 markings/sec, 945 secs
lola: 1 tries, 9177 fired transitions, 950 secs || 8895 markings, 30398 edges, 10 markings/sec, 950 secs
lola: 1 tries, 9225 fired transitions, 955 secs || 8943 markings, 30534 edges, 10 markings/sec, 955 secs
lola: 1 tries, 9273 fired transitions, 960 secs || 8991 markings, 30726 edges, 10 markings/sec, 960 secs
lola: 1 tries, 9320 fired transitions, 965 secs || 9039 markings, 30950 edges, 10 markings/sec, 965 secs
lola: 1 tries, 9371 fired transitions, 970 secs || 9090 markings, 31168 edges, 10 markings/sec, 970 secs
lola: 1 tries, 9422 fired transitions, 975 secs || 9141 markings, 31252 edges, 10 markings/sec, 975 secs
lola: 1 tries, 9473 fired transitions, 980 secs || 9192 markings, 31311 edges, 10 markings/sec, 980 secs
lola: 1 tries, 9524 fired transitions, 985 secs || 9243 markings, 31613 edges, 10 markings/sec, 985 secs
lola: 1 tries, 9575 fired transitions, 990 secs || 9294 markings, 32123 edges, 10 markings/sec, 990 secs
lola: 1 tries, 9626 fired transitions, 995 secs || 9345 markings, 32352 edges, 10 markings/sec, 995 secs
lola: 1 tries, 9677 fired transitions, 1000 secs || 9396 markings, 32557 edges, 10 markings/sec, 1000 secs
lola: 1 tries, 9728 fired transitions, 1005 secs || 9447 markings, 32761 edges, 10 markings/sec, 1005 secs
lola: 1 tries, 9779 fired transitions, 1010 secs || 9498 markings, 32990 edges, 10 markings/sec, 1010 secs
lola: 1 tries, 9830 fired transitions, 1015 secs || 9549 markings, 33202 edges, 10 markings/sec, 1015 secs
lola: 1 tries, 9881 fired transitions, 1020 secs || 9600 markings, 33388 edges, 10 markings/sec, 1020 secs
lola: 1 tries, 9932 fired transitions, 1025 secs || 9651 markings, 33439 edges, 10 markings/sec, 1025 secs
lola: 1 tries, 9983 fired transitions, 1030 secs || 9702 markings, 33492 edges, 10 markings/sec, 1030 secs
lola: 1 tries, 10033 fired transitions, 1035 secs || 9752 markings, 33542 edges, 10 markings/sec, 1035 secs
lola: 1 tries, 10084 fired transitions, 1040 secs || 9803 markings, 33593 edges, 10 markings/sec, 1040 secs
lola: 1 tries, 10134 fired transitions, 1045 secs || 9853 markings, 33643 edges, 10 markings/sec, 1045 secs
lola: 1 tries, 10184 fired transitions, 1050 secs || 9903 markings, 33693 edges, 10 markings/sec, 1050 secs
lola: 1 tries, 10233 fired transitions, 1055 secs || 9952 markings, 33742 edges, 10 markings/sec, 1055 secs
lola: 1 tries, 10284 fired transitions, 1060 secs || 10003 markings, 33793 edges, 10 markings/sec, 1060 secs
lola: 1 tries, 10334 fired transitions, 1065 secs || 10053 markings, 33843 edges, 10 markings/sec, 1065 secs
lola: 1 tries, 10385 fired transitions, 1070 secs || 10104 markings, 33894 edges, 10 markings/sec, 1070 secs
lola: 1 tries, 10435 fired transitions, 1075 secs || 10154 markings, 33944 edges, 10 markings/sec, 1075 secs
lola: 1 tries, 10485 fired transitions, 1080 secs || 10204 markings, 33994 edges, 10 markings/sec, 1080 secs
lola: 1 tries, 10534 fired transitions, 1085 secs || 10253 markings, 34043 edges, 10 markings/sec, 1085 secs
lola: 1 tries, 10582 fired transitions, 1090 secs || 10302 markings, 34092 edges, 10 markings/sec, 1090 secs
lola: 1 tries, 10632 fired transitions, 1095 secs || 10352 markings, 34142 edges, 10 markings/sec, 1095 secs
lola: 1 tries, 10682 fired transitions, 1100 secs || 10402 markings, 34192 edges, 10 markings/sec, 1100 secs
lola: 1 tries, 10733 fired transitions, 1105 secs || 10453 markings, 34243 edges, 10 markings/sec, 1105 secs
lola: 1 tries, 10783 fired transitions, 1110 secs || 10503 markings, 34357 edges, 10 markings/sec, 1110 secs
lola: 1 tries, 10832 fired transitions, 1115 secs || 10552 markings, 34419 edges, 10 markings/sec, 1115 secs
lola: 1 tries, 10883 fired transitions, 1120 secs || 10603 markings, 34472 edges, 10 markings/sec, 1120 secs
lola: 1 tries, 10934 fired transitions, 1125 secs || 10654 markings, 34585 edges, 10 markings/sec, 1125 secs
lola: 1 tries, 10985 fired transitions, 1130 secs || 10705 markings, 34916 edges, 10 markings/sec, 1130 secs
lola: 1 tries, 11036 fired transitions, 1135 secs || 10756 markings, 35141 edges, 10 markings/sec, 1135 secs
lola: 1 tries, 11087 fired transitions, 1140 secs || 10807 markings, 35331 edges, 10 markings/sec, 1140 secs
lola: 1 tries, 11139 fired transitions, 1145 secs || 10859 markings, 35456 edges, 10 markings/sec, 1145 secs
lola: 1 tries, 11190 fired transitions, 1150 secs || 10910 markings, 35507 edges, 10 markings/sec, 1150 secs
lola: 1 tries, 11235 fired transitions, 1155 secs || 10960 markings, 35557 edges, 10 markings/sec, 1155 secs
lola: 1 tries, 11276 fired transitions, 1160 secs || 11009 markings, 35606 edges, 10 markings/sec, 1160 secs
lola: 1 tries, 11320 fired transitions, 1165 secs || 11059 markings, 35656 edges, 10 markings/sec, 1165 secs
lola: 1 tries, 11368 fired transitions, 1170 secs || 11110 markings, 35707 edges, 10 markings/sec, 1170 secs
lola: 1 tries, 11419 fired transitions, 1175 secs || 11161 markings, 35825 edges, 10 markings/sec, 1175 secs
lola: 1 tries, 11470 fired transitions, 1180 secs || 11213 markings, 35946 edges, 10 markings/sec, 1180 secs
lola: 1 tries, 11522 fired transitions, 1185 secs || 11265 markings, 35998 edges, 10 markings/sec, 1185 secs
lola: 1 tries, 11575 fired transitions, 1190 secs || 11318 markings, 36113 edges, 11 markings/sec, 1190 secs
lola: 1 tries, 11627 fired transitions, 1195 secs || 11370 markings, 36370 edges, 10 markings/sec, 1195 secs
lola: 1 tries, 11679 fired transitions, 1200 secs || 11422 markings, 36616 edges, 10 markings/sec, 1200 secs
lola: 1 tries, 11731 fired transitions, 1205 secs || 11474 markings, 36851 edges, 10 markings/sec, 1205 secs
lola: 1 tries, 11783 fired transitions, 1210 secs || 11526 markings, 36951 edges, 10 markings/sec, 1210 secs
lola: 1 tries, 11835 fired transitions, 1215 secs || 11578 markings, 37003 edges, 10 markings/sec, 1215 secs
lola: 1 tries, 11887 fired transitions, 1220 secs || 11630 markings, 37055 edges, 10 markings/sec, 1220 secs
lola: 1 tries, 11939 fired transitions, 1225 secs || 11682 markings, 37107 edges, 10 markings/sec, 1225 secs
lola: 1 tries, 11991 fired transitions, 1230 secs || 11734 markings, 37219 edges, 10 markings/sec, 1230 secs
lola: 1 tries, 12043 fired transitions, 1235 secs || 11786 markings, 37452 edges, 10 markings/sec, 1235 secs
lola: 1 tries, 12095 fired transitions, 1240 secs || 11838 markings, 37513 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 12146 fired transitions, 1245 secs || 11889 markings, 37564 edges, 10 markings/sec, 1245 secs
lola: 1 tries, 12197 fired transitions, 1250 secs || 11940 markings, 37615 edges, 10 markings/sec, 1250 secs
lola: 1 tries, 12249 fired transitions, 1255 secs || 11992 markings, 37667 edges, 10 markings/sec, 1255 secs
lola: 1 tries, 12300 fired transitions, 1260 secs || 12043 markings, 37718 edges, 10 markings/sec, 1260 secs
lola: 1 tries, 12352 fired transitions, 1265 secs || 12095 markings, 37770 edges, 10 markings/sec, 1265 secs
lola: 1 tries, 12404 fired transitions, 1270 secs || 12146 markings, 37837 edges, 10 markings/sec, 1270 secs
lola: 1 tries, 12452 fired transitions, 1275 secs || 12187 markings, 37878 edges, 8 markings/sec, 1275 secs
lola: 1 tries, 12500 fired transitions, 1280 secs || 12235 markings, 37926 edges, 10 markings/sec, 1280 secs
lola: 1 tries, 12549 fired transitions, 1285 secs || 12287 markings, 37978 edges, 10 markings/sec, 1285 secs
lola: 1 tries, 12600 fired transitions, 1290 secs || 12338 markings, 38035 edges, 10 markings/sec, 1290 secs
lola: 1 tries, 12652 fired transitions, 1295 secs || 12390 markings, 38090 edges, 10 markings/sec, 1295 secs
lola: 1 tries, 12703 fired transitions, 1300 secs || 12441 markings, 38151 edges, 10 markings/sec, 1300 secs
lola: 1 tries, 12755 fired transitions, 1305 secs || 12493 markings, 38203 edges, 10 markings/sec, 1305 secs
lola: 1 tries, 12808 fired transitions, 1310 secs || 12546 markings, 38256 edges, 11 markings/sec, 1310 secs
lola: 1 tries, 12860 fired transitions, 1315 secs || 12598 markings, 38308 edges, 10 markings/sec, 1315 secs
lola: 1 tries, 12912 fired transitions, 1320 secs || 12650 markings, 38360 edges, 10 markings/sec, 1320 secs
lola: 1 tries, 12964 fired transitions, 1325 secs || 12702 markings, 38412 edges, 10 markings/sec, 1325 secs
lola: 1 tries, 13016 fired transitions, 1330 secs || 12754 markings, 38464 edges, 10 markings/sec, 1330 secs
lola: 1 tries, 13068 fired transitions, 1335 secs || 12806 markings, 38695 edges, 10 markings/sec, 1335 secs
lola: 1 tries, 13120 fired transitions, 1340 secs || 12858 markings, 38800 edges, 10 markings/sec, 1340 secs
lola: 1 tries, 13172 fired transitions, 1345 secs || 12910 markings, 39063 edges, 10 markings/sec, 1345 secs
lola: 1 tries, 13224 fired transitions, 1350 secs || 12962 markings, 39316 edges, 10 markings/sec, 1350 secs
lola: 1 tries, 13276 fired transitions, 1355 secs || 13014 markings, 39540 edges, 10 markings/sec, 1355 secs
lola: 1 tries, 13328 fired transitions, 1360 secs || 13066 markings, 39598 edges, 10 markings/sec, 1360 secs
lola: 1 tries, 13380 fired transitions, 1365 secs || 13118 markings, 39650 edges, 10 markings/sec, 1365 secs
lola: 1 tries, 13428 fired transitions, 1370 secs || 13163 markings, 39695 edges, 9 markings/sec, 1370 secs
lola: 1 tries, 13475 fired transitions, 1375 secs || 13208 markings, 39740 edges, 9 markings/sec, 1375 secs
lola: 1 tries, 13524 fired transitions, 1380 secs || 13257 markings, 39980 edges, 10 markings/sec, 1380 secs
lola: 1 tries, 13574 fired transitions, 1385 secs || 13307 markings, 40242 edges, 10 markings/sec, 1385 secs
lola: 1 tries, 13625 fired transitions, 1390 secs || 13358 markings, 40489 edges, 10 markings/sec, 1390 secs
lola: 1 tries, 13676 fired transitions, 1395 secs || 13409 markings, 40689 edges, 10 markings/sec, 1395 secs
lola: 1 tries, 13728 fired transitions, 1400 secs || 13461 markings, 40782 edges, 10 markings/sec, 1400 secs
lola: 1 tries, 13779 fired transitions, 1405 secs || 13512 markings, 40879 edges, 10 markings/sec, 1405 secs
lola: 1 tries, 13831 fired transitions, 1410 secs || 13564 markings, 41066 edges, 10 markings/sec, 1410 secs
lola: 1 tries, 13883 fired transitions, 1415 secs || 13616 markings, 41140 edges, 10 markings/sec, 1415 secs
lola: 1 tries, 13935 fired transitions, 1420 secs || 13668 markings, 41311 edges, 10 markings/sec, 1420 secs
lola: 1 tries, 13985 fired transitions, 1425 secs || 13718 markings, 41371 edges, 10 markings/sec, 1425 secs
lola: 1 tries, 14032 fired transitions, 1430 secs || 13766 markings, 41419 edges, 10 markings/sec, 1430 secs
lola: 1 tries, 14079 fired transitions, 1435 secs || 13814 markings, 41467 edges, 10 markings/sec, 1435 secs
lola: 1 tries, 14128 fired transitions, 1440 secs || 13863 markings, 41516 edges, 10 markings/sec, 1440 secs
lola: 1 tries, 14176 fired transitions, 1445 secs || 13911 markings, 41564 edges, 10 markings/sec, 1445 secs
lola: 1 tries, 14223 fired transitions, 1450 secs || 13959 markings, 41612 edges, 10 markings/sec, 1450 secs
lola: 1 tries, 14269 fired transitions, 1455 secs || 14003 markings, 41678 edges, 9 markings/sec, 1455 secs
lola: 1 tries, 14315 fired transitions, 1460 secs || 14047 markings, 41756 edges, 9 markings/sec, 1460 secs
lola: 1 tries, 14362 fired transitions, 1465 secs || 14096 markings, 41805 edges, 10 markings/sec, 1465 secs
lola: 1 tries, 14409 fired transitions, 1470 secs || 14143 markings, 41852 edges, 9 markings/sec, 1470 secs
lola: 1 tries, 14456 fired transitions, 1475 secs || 14191 markings, 41900 edges, 10 markings/sec, 1475 secs
lola: 1 tries, 14501 fired transitions, 1480 secs || 14239 markings, 41948 edges, 10 markings/sec, 1480 secs
lola: 1 tries, 14543 fired transitions, 1485 secs || 14286 markings, 41995 edges, 9 markings/sec, 1485 secs
lola: 1 tries, 14585 fired transitions, 1490 secs || 14333 markings, 42042 edges, 9 markings/sec, 1490 secs
lola: 1 tries, 14629 fired transitions, 1495 secs || 14381 markings, 42090 edges, 10 markings/sec, 1495 secs
lola: 1 tries, 14674 fired transitions, 1500 secs || 14426 markings, 42135 edges, 9 markings/sec, 1500 secs
lola: 1 tries, 14720 fired transitions, 1505 secs || 14470 markings, 42179 edges, 9 markings/sec, 1505 secs
lola: 1 tries, 14765 fired transitions, 1510 secs || 14514 markings, 42223 edges, 9 markings/sec, 1510 secs
lola: 1 tries, 14810 fired transitions, 1515 secs || 14558 markings, 42267 edges, 9 markings/sec, 1515 secs
lola: 1 tries, 14855 fired transitions, 1520 secs || 14603 markings, 42312 edges, 9 markings/sec, 1520 secs
lola: 1 tries, 14902 fired transitions, 1525 secs || 14649 markings, 42358 edges, 9 markings/sec, 1525 secs
lola: 1 tries, 14949 fired transitions, 1530 secs || 14697 markings, 42406 edges, 10 markings/sec, 1530 secs
lola: 1 tries, 14994 fired transitions, 1535 secs || 14744 markings, 42453 edges, 9 markings/sec, 1535 secs
lola: 1 tries, 15041 fired transitions, 1540 secs || 14791 markings, 42545 edges, 9 markings/sec, 1540 secs
lola: 1 tries, 15087 fired transitions, 1545 secs || 14837 markings, 42594 edges, 9 markings/sec, 1545 secs
lola: 1 tries, 15133 fired transitions, 1550 secs || 14884 markings, 42641 edges, 9 markings/sec, 1550 secs
lola: 1 tries, 15179 fired transitions, 1555 secs || 14931 markings, 42688 edges, 9 markings/sec, 1555 secs
lola: 1 tries, 15225 fired transitions, 1560 secs || 14978 markings, 42735 edges, 9 markings/sec, 1560 secs
lola: 1 tries, 15273 fired transitions, 1565 secs || 15024 markings, 42862 edges, 9 markings/sec, 1565 secs
lola: 1 tries, 15319 fired transitions, 1570 secs || 15071 markings, 43145 edges, 9 markings/sec, 1570 secs
lola: 1 tries, 15367 fired transitions, 1575 secs || 15118 markings, 43362 edges, 9 markings/sec, 1575 secs
lola: 1 tries, 15413 fired transitions, 1580 secs || 15164 markings, 43536 edges, 9 markings/sec, 1580 secs
lola: 1 tries, 15459 fired transitions, 1585 secs || 15210 markings, 43672 edges, 9 markings/sec, 1585 secs
lola: 1 tries, 15507 fired transitions, 1590 secs || 15258 markings, 43720 edges, 10 markings/sec, 1590 secs
lola: 1 tries, 15553 fired transitions, 1595 secs || 15303 markings, 43772 edges, 9 markings/sec, 1595 secs
lola: 1 tries, 15601 fired transitions, 1600 secs || 15350 markings, 43819 edges, 9 markings/sec, 1600 secs
lola: 1 tries, 15647 fired transitions, 1605 secs || 15396 markings, 43865 edges, 9 markings/sec, 1605 secs
lola: 1 tries, 15695 fired transitions, 1610 secs || 15443 markings, 43912 edges, 9 markings/sec, 1610 secs
lola: 1 tries, 15741 fired transitions, 1615 secs || 15489 markings, 43958 edges, 9 markings/sec, 1615 secs
lola: 1 tries, 15789 fired transitions, 1620 secs || 15536 markings, 44005 edges, 9 markings/sec, 1620 secs
lola: 1 tries, 15836 fired transitions, 1625 secs || 15582 markings, 44051 edges, 9 markings/sec, 1625 secs
lola: 1 tries, 15884 fired transitions, 1630 secs || 15630 markings, 44099 edges, 10 markings/sec, 1630 secs
lola: 1 tries, 15929 fired transitions, 1635 secs || 15677 markings, 44146 edges, 9 markings/sec, 1635 secs
lola: 1 tries, 15977 fired transitions, 1640 secs || 15724 markings, 44193 edges, 9 markings/sec, 1640 secs
lola: 1 tries, 16025 fired transitions, 1645 secs || 15771 markings, 44240 edges, 9 markings/sec, 1645 secs
lola: 1 tries, 16072 fired transitions, 1650 secs || 15817 markings, 44289 edges, 9 markings/sec, 1650 secs
lola: 1 tries, 16118 fired transitions, 1655 secs || 15864 markings, 44336 edges, 9 markings/sec, 1655 secs
lola: 1 tries, 16164 fired transitions, 1660 secs || 15912 markings, 44393 edges, 10 markings/sec, 1660 secs
lola: 1 tries, 16210 fired transitions, 1665 secs || 15959 markings, 44440 edges, 9 markings/sec, 1665 secs
lola: 1 tries, 16258 fired transitions, 1670 secs || 16006 markings, 44487 edges, 9 markings/sec, 1670 secs
lola: 1 tries, 16305 fired transitions, 1675 secs || 16054 markings, 44535 edges, 10 markings/sec, 1675 secs
lola: 1 tries, 16352 fired transitions, 1680 secs || 16101 markings, 44637 edges, 9 markings/sec, 1680 secs
lola: 1 tries, 16399 fired transitions, 1685 secs || 16149 markings, 44866 edges, 10 markings/sec, 1685 secs
lola: 1 tries, 16446 fired transitions, 1690 secs || 16197 markings, 45024 edges, 10 markings/sec, 1690 secs
lola: 1 tries, 16493 fired transitions, 1695 secs || 16244 markings, 45100 edges, 9 markings/sec, 1695 secs
lola: 1 tries, 16539 fired transitions, 1700 secs || 16290 markings, 45161 edges, 9 markings/sec, 1700 secs
lola: 1 tries, 16587 fired transitions, 1705 secs || 16339 markings, 45210 edges, 10 markings/sec, 1705 secs
lola: 1 tries, 16634 fired transitions, 1710 secs || 16386 markings, 45257 edges, 9 markings/sec, 1710 secs
lola: 1 tries, 16682 fired transitions, 1715 secs || 16434 markings, 45305 edges, 10 markings/sec, 1715 secs
lola: 1 tries, 16728 fired transitions, 1720 secs || 16482 markings, 45442 edges, 10 markings/sec, 1720 secs
lola: 1 tries, 16775 fired transitions, 1725 secs || 16529 markings, 45489 edges, 9 markings/sec, 1725 secs
lola: 1 tries, 16820 fired transitions, 1730 secs || 16576 markings, 45536 edges, 9 markings/sec, 1730 secs
lola: 1 tries, 16867 fired transitions, 1735 secs || 16623 markings, 45583 edges, 9 markings/sec, 1735 secs
lola: 1 tries, 16915 fired transitions, 1740 secs || 16670 markings, 45630 edges, 9 markings/sec, 1740 secs
lola: 1 tries, 16962 fired transitions, 1745 secs || 16718 markings, 45678 edges, 10 markings/sec, 1745 secs
lola: 1 tries, 17012 fired transitions, 1750 secs || 16768 markings, 45728 edges, 10 markings/sec, 1750 secs
lola: 1 tries, 17062 fired transitions, 1755 secs || 16818 markings, 45778 edges, 10 markings/sec, 1755 secs
lola: 1 tries, 17112 fired transitions, 1760 secs || 16868 markings, 45828 edges, 10 markings/sec, 1760 secs
lola: 1 tries, 17162 fired transitions, 1765 secs || 16919 markings, 45890 edges, 10 markings/sec, 1765 secs
lola: 1 tries, 17211 fired transitions, 1770 secs || 16968 markings, 45939 edges, 10 markings/sec, 1770 secs
lola: 1 tries, 17261 fired transitions, 1775 secs || 17017 markings, 46037 edges, 10 markings/sec, 1775 secs
lola: 1 tries, 17311 fired transitions, 1780 secs || 17067 markings, 46087 edges, 10 markings/sec, 1780 secs
lola: 1 tries, 17361 fired transitions, 1785 secs || 17118 markings, 46138 edges, 10 markings/sec, 1785 secs
lola: 1 tries, 17408 fired transitions, 1790 secs || 17165 markings, 46185 edges, 9 markings/sec, 1790 secs
lola: 1 tries, 17454 fired transitions, 1795 secs || 17212 markings, 46271 edges, 9 markings/sec, 1795 secs
lola: 1 tries, 17501 fired transitions, 1800 secs || 17260 markings, 46319 edges, 10 markings/sec, 1800 secs
lola: 1 tries, 17548 fired transitions, 1805 secs || 17308 markings, 46385 edges, 10 markings/sec, 1805 secs
lola: 1 tries, 17594 fired transitions, 1810 secs || 17355 markings, 46453 edges, 9 markings/sec, 1810 secs
lola: 1 tries, 17640 fired transitions, 1815 secs || 17402 markings, 46500 edges, 9 markings/sec, 1815 secs
lola: 1 tries, 17686 fired transitions, 1820 secs || 17448 markings, 46554 edges, 9 markings/sec, 1820 secs
lola: 1 tries, 17731 fired transitions, 1825 secs || 17495 markings, 46609 edges, 9 markings/sec, 1825 secs
lola: 1 tries, 17775 fired transitions, 1830 secs || 17542 markings, 46774 edges, 9 markings/sec, 1830 secs
lola: 1 tries, 17822 fired transitions, 1835 secs || 17591 markings, 46846 edges, 10 markings/sec, 1835 secs
lola: 1 tries, 17872 fired transitions, 1840 secs || 17642 markings, 46897 edges, 10 markings/sec, 1840 secs
lola: 1 tries, 17923 fired transitions, 1845 secs || 17693 markings, 46948 edges, 10 markings/sec, 1845 secs
lola: 1 tries, 17974 fired transitions, 1850 secs || 17744 markings, 46999 edges, 10 markings/sec, 1850 secs
lola: 1 tries, 18026 fired transitions, 1855 secs || 17796 markings, 47051 edges, 10 markings/sec, 1855 secs
lola: 1 tries, 18076 fired transitions, 1860 secs || 17846 markings, 47101 edges, 10 markings/sec, 1860 secs
lola: 1 tries, 18127 fired transitions, 1865 secs || 17897 markings, 47152 edges, 10 markings/sec, 1865 secs
lola: 1 tries, 18178 fired transitions, 1870 secs || 17947 markings, 47202 edges, 10 markings/sec, 1870 secs
lola: 1 tries, 18229 fired transitions, 1875 secs || 17999 markings, 47254 edges, 10 markings/sec, 1875 secs
lola: 1 tries, 18279 fired transitions, 1880 secs || 18049 markings, 47304 edges, 10 markings/sec, 1880 secs
lola: 1 tries, 18330 fired transitions, 1885 secs || 18100 markings, 47355 edges, 10 markings/sec, 1885 secs
lola: 1 tries, 18381 fired transitions, 1890 secs || 18152 markings, 47466 edges, 10 markings/sec, 1890 secs
lola: 1 tries, 18432 fired transitions, 1895 secs || 18203 markings, 47808 edges, 10 markings/sec, 1895 secs
lola: 1 tries, 18481 fired transitions, 1900 secs || 18254 markings, 48091 edges, 10 markings/sec, 1900 secs
lola: 1 tries, 18530 fired transitions, 1905 secs || 18304 markings, 48311 edges, 10 markings/sec, 1905 secs
lola: 1 tries, 18577 fired transitions, 1910 secs || 18354 markings, 48556 edges, 10 markings/sec, 1910 secs
lola: 1 tries, 18628 fired transitions, 1915 secs || 18405 markings, 48774 edges, 10 markings/sec, 1915 secs
lola: 1 tries, 18678 fired transitions, 1920 secs || 18455 markings, 48996 edges, 10 markings/sec, 1920 secs
lola: 1 tries, 18728 fired transitions, 1925 secs || 18504 markings, 49164 edges, 10 markings/sec, 1925 secs
lola: 1 tries, 18778 fired transitions, 1930 secs || 18554 markings, 49214 edges, 10 markings/sec, 1930 secs
lola: 1 tries, 18827 fired transitions, 1935 secs || 18604 markings, 49264 edges, 10 markings/sec, 1935 secs
lola: 1 tries, 18879 fired transitions, 1940 secs || 18655 markings, 49315 edges, 10 markings/sec, 1940 secs
lola: 1 tries, 18929 fired transitions, 1945 secs || 18705 markings, 49365 edges, 10 markings/sec, 1945 secs
lola: 1 tries, 18977 fired transitions, 1950 secs || 18755 markings, 49415 edges, 10 markings/sec, 1950 secs
lola: 1 tries, 19026 fired transitions, 1955 secs || 18805 markings, 49465 edges, 10 markings/sec, 1955 secs
lola: 1 tries, 19073 fired transitions, 1960 secs || 18854 markings, 49514 edges, 10 markings/sec, 1960 secs
lola: 1 tries, 19120 fired transitions, 1965 secs || 18904 markings, 49564 edges, 10 markings/sec, 1965 secs
lola: 1 tries, 19170 fired transitions, 1970 secs || 18955 markings, 49644 edges, 10 markings/sec, 1970 secs
lola: 1 tries, 19220 fired transitions, 1975 secs || 19004 markings, 49820 edges, 10 markings/sec, 1975 secs
lola: 1 tries, 19269 fired transitions, 1980 secs || 19052 markings, 50028 edges, 10 markings/sec, 1980 secs
lola: 1 tries, 19318 fired transitions, 1985 secs || 19101 markings, 50255 edges, 10 markings/sec, 1985 secs
lola: 1 tries, 19367 fired transitions, 1990 secs || 19150 markings, 50497 edges, 10 markings/sec, 1990 secs
lola: 1 tries, 19417 fired transitions, 1995 secs || 19201 markings, 50626 edges, 10 markings/sec, 1995 secs
lola: 1 tries, 19468 fired transitions, 2000 secs || 19251 markings, 50685 edges, 10 markings/sec, 2000 secs
lola: 1 tries, 19518 fired transitions, 2005 secs || 19302 markings, 50736 edges, 10 markings/sec, 2005 secs
lola: 1 tries, 19569 fired transitions, 2010 secs || 19353 markings, 50787 edges, 10 markings/sec, 2010 secs
lola: 1 tries, 19620 fired transitions, 2015 secs || 19404 markings, 50838 edges, 10 markings/sec, 2015 secs
lola: 1 tries, 19670 fired transitions, 2020 secs || 19455 markings, 50904 edges, 10 markings/sec, 2020 secs
lola: 1 tries, 19719 fired transitions, 2025 secs || 19503 markings, 50955 edges, 10 markings/sec, 2025 secs
lola: 1 tries, 19768 fired transitions, 2030 secs || 19553 markings, 51095 edges, 10 markings/sec, 2030 secs
lola: 1 tries, 19819 fired transitions, 2035 secs || 19604 markings, 51205 edges, 10 markings/sec, 2035 secs
lola: 1 tries, 19869 fired transitions, 2040 secs || 19654 markings, 51255 edges, 10 markings/sec, 2040 secs
lola: 1 tries, 19919 fired transitions, 2045 secs || 19704 markings, 51305 edges, 10 markings/sec, 2045 secs
lola: 1 tries, 19970 fired transitions, 2050 secs || 19754 markings, 51355 edges, 10 markings/sec, 2050 secs
lola: 1 tries, 20020 fired transitions, 2055 secs || 19804 markings, 51405 edges, 10 markings/sec, 2055 secs
lola: 1 tries, 20069 fired transitions, 2060 secs || 19854 markings, 51455 edges, 10 markings/sec, 2060 secs
lola: 1 tries, 20120 fired transitions, 2065 secs || 19904 markings, 51505 edges, 10 markings/sec, 2065 secs
lola: 1 tries, 20170 fired transitions, 2070 secs || 19954 markings, 51555 edges, 10 markings/sec, 2070 secs
lola: 1 tries, 20220 fired transitions, 2075 secs || 20005 markings, 51643 edges, 10 markings/sec, 2075 secs
lola: 1 tries, 20271 fired transitions, 2080 secs || 20055 markings, 51693 edges, 10 markings/sec, 2080 secs
lola: 1 tries, 20320 fired transitions, 2085 secs || 20105 markings, 51755 edges, 10 markings/sec, 2085 secs
lola: 1 tries, 20369 fired transitions, 2090 secs || 20154 markings, 51804 edges, 10 markings/sec, 2090 secs
lola: 1 tries, 20418 fired transitions, 2095 secs || 20203 markings, 51853 edges, 10 markings/sec, 2095 secs
lola: 1 tries, 20468 fired transitions, 2100 secs || 20253 markings, 51903 edges, 10 markings/sec, 2100 secs
lola: 1 tries, 20517 fired transitions, 2105 secs || 20302 markings, 51952 edges, 10 markings/sec, 2105 secs
lola: 1 tries, 20566 fired transitions, 2110 secs || 20351 markings, 52001 edges, 10 markings/sec, 2110 secs
lola: 1 tries, 20616 fired transitions, 2115 secs || 20401 markings, 52051 edges, 10 markings/sec, 2115 secs
lola: 1 tries, 20666 fired transitions, 2120 secs || 20451 markings, 52101 edges, 10 markings/sec, 2120 secs
lola: 1 tries, 20715 fired transitions, 2125 secs || 20500 markings, 52150 edges, 10 markings/sec, 2125 secs
lola: 1 tries, 20765 fired transitions, 2130 secs || 20550 markings, 52216 edges, 10 markings/sec, 2130 secs
lola: 1 tries, 20814 fired transitions, 2135 secs || 20599 markings, 52265 edges, 10 markings/sec, 2135 secs
lola: 1 tries, 20865 fired transitions, 2140 secs || 20651 markings, 52317 edges, 10 markings/sec, 2140 secs
lola: 1 tries, 20914 fired transitions, 2145 secs || 20701 markings, 52446 edges, 10 markings/sec, 2145 secs
lola: 1 tries, 20964 fired transitions, 2150 secs || 20752 markings, 52520 edges, 10 markings/sec, 2150 secs
lola: 1 tries, 21015 fired transitions, 2155 secs || 20803 markings, 52571 edges, 10 markings/sec, 2155 secs
lola: 1 tries, 21067 fired transitions, 2160 secs || 20855 markings, 52623 edges, 10 markings/sec, 2160 secs
lola: 1 tries, 21116 fired transitions, 2165 secs || 20904 markings, 52720 edges, 10 markings/sec, 2165 secs
lola: 1 tries, 21163 fired transitions, 2170 secs || 20953 markings, 52769 edges, 10 markings/sec, 2170 secs
lola: 1 tries, 21210 fired transitions, 2175 secs || 21002 markings, 52818 edges, 10 markings/sec, 2175 secs
lola: 1 tries, 21256 fired transitions, 2180 secs || 21052 markings, 52891 edges, 10 markings/sec, 2180 secs
lola: 1 tries, 21303 fired transitions, 2185 secs || 21101 markings, 52948 edges, 10 markings/sec, 2185 secs
lola: 1 tries, 21349 fired transitions, 2190 secs || 21150 markings, 52997 edges, 10 markings/sec, 2190 secs
lola: 1 tries, 21397 fired transitions, 2195 secs || 21200 markings, 53047 edges, 10 markings/sec, 2195 secs
lola: 1 tries, 21447 fired transitions, 2200 secs || 21250 markings, 53097 edges, 10 markings/sec, 2200 secs
lola: 1 tries, 21497 fired transitions, 2205 secs || 21299 markings, 53146 edges, 10 markings/sec, 2205 secs
lola: 1 tries, 21547 fired transitions, 2210 secs || 21349 markings, 53196 edges, 10 markings/sec, 2210 secs
lola: 1 tries, 21598 fired transitions, 2215 secs || 21400 markings, 53247 edges, 10 markings/sec, 2215 secs
lola: 1 tries, 21648 fired transitions, 2220 secs || 21451 markings, 53298 edges, 10 markings/sec, 2220 secs
lola: 1 tries, 21698 fired transitions, 2225 secs || 21502 markings, 53417 edges, 10 markings/sec, 2225 secs
lola: 1 tries, 21748 fired transitions, 2230 secs || 21552 markings, 53486 edges, 10 markings/sec, 2230 secs
lola: 1 tries, 21798 fired transitions, 2235 secs || 21603 markings, 53537 edges, 10 markings/sec, 2235 secs
lola: 1 tries, 21848 fired transitions, 2240 secs || 21653 markings, 53593 edges, 10 markings/sec, 2240 secs
lola: 1 tries, 21897 fired transitions, 2245 secs || 21704 markings, 53644 edges, 10 markings/sec, 2245 secs
lola: 1 tries, 21946 fired transitions, 2250 secs || 21754 markings, 53694 edges, 10 markings/sec, 2250 secs
lola: 1 tries, 21998 fired transitions, 2255 secs || 21806 markings, 53746 edges, 10 markings/sec, 2255 secs
lola: 1 tries, 22048 fired transitions, 2260 secs || 21856 markings, 53802 edges, 10 markings/sec, 2260 secs
lola: 1 tries, 22097 fired transitions, 2265 secs || 21906 markings, 53852 edges, 10 markings/sec, 2265 secs
lola: 1 tries, 22146 fired transitions, 2270 secs || 21955 markings, 53906 edges, 10 markings/sec, 2270 secs
lola: 1 tries, 22196 fired transitions, 2275 secs || 22006 markings, 53970 edges, 10 markings/sec, 2275 secs
lola: 1 tries, 22246 fired transitions, 2280 secs || 22056 markings, 54020 edges, 10 markings/sec, 2280 secs
lola: 1 tries, 22297 fired transitions, 2285 secs || 22107 markings, 54071 edges, 10 markings/sec, 2285 secs
lola: 1 tries, 22348 fired transitions, 2290 secs || 22158 markings, 54122 edges, 10 markings/sec, 2290 secs
lola: 1 tries, 22397 fired transitions, 2295 secs || 22207 markings, 54188 edges, 10 markings/sec, 2295 secs
lola: 1 tries, 22446 fired transitions, 2300 secs || 22257 markings, 54258 edges, 10 markings/sec, 2300 secs
lola: 1 tries, 22497 fired transitions, 2305 secs || 22307 markings, 54467 edges, 10 markings/sec, 2305 secs
lola: 1 tries, 22546 fired transitions, 2310 secs || 22357 markings, 54628 edges, 10 markings/sec, 2310 secs
lola: 1 tries, 22597 fired transitions, 2315 secs || 22407 markings, 54678 edges, 10 markings/sec, 2315 secs
lola: 1 tries, 22648 fired transitions, 2320 secs || 22458 markings, 54729 edges, 10 markings/sec, 2320 secs
lola: 1 tries, 22697 fired transitions, 2325 secs || 22508 markings, 54779 edges, 10 markings/sec, 2325 secs
lola: 1 tries, 22747 fired transitions, 2330 secs || 22558 markings, 54829 edges, 10 markings/sec, 2330 secs
lola: 1 tries, 22796 fired transitions, 2335 secs || 22609 markings, 54880 edges, 10 markings/sec, 2335 secs
lola: 1 tries, 22846 fired transitions, 2340 secs || 22660 markings, 54931 edges, 10 markings/sec, 2340 secs
lola: 1 tries, 22894 fired transitions, 2345 secs || 22710 markings, 54987 edges, 10 markings/sec, 2345 secs
lola: 1 tries, 22944 fired transitions, 2350 secs || 22760 markings, 55040 edges, 10 markings/sec, 2350 secs
lola: 1 tries, 22995 fired transitions, 2355 secs || 22811 markings, 55179 edges, 10 markings/sec, 2355 secs
lola: 1 tries, 23044 fired transitions, 2360 secs || 22859 markings, 55227 edges, 10 markings/sec, 2360 secs
lola: 1 tries, 23094 fired transitions, 2365 secs || 22908 markings, 55276 edges, 10 markings/sec, 2365 secs
lola: 1 tries, 23143 fired transitions, 2370 secs || 22956 markings, 55341 edges, 10 markings/sec, 2370 secs
lola: 1 tries, 23192 fired transitions, 2375 secs || 23005 markings, 55390 edges, 10 markings/sec, 2375 secs
lola: 1 tries, 23241 fired transitions, 2380 secs || 23053 markings, 55438 edges, 10 markings/sec, 2380 secs
lola: 1 tries, 23290 fired transitions, 2385 secs || 23101 markings, 55486 edges, 10 markings/sec, 2385 secs
lola: 1 tries, 23339 fired transitions, 2390 secs || 23149 markings, 55534 edges, 10 markings/sec, 2390 secs
lola: 1 tries, 23387 fired transitions, 2395 secs || 23197 markings, 55618 edges, 10 markings/sec, 2395 secs
lola: 1 tries, 23436 fired transitions, 2400 secs || 23246 markings, 55738 edges, 10 markings/sec, 2400 secs
lola: 1 tries, 23484 fired transitions, 2405 secs || 23297 markings, 55789 edges, 10 markings/sec, 2405 secs
lola: 1 tries, 23535 fired transitions, 2410 secs || 23349 markings, 55841 edges, 10 markings/sec, 2410 secs
lola: 1 tries, 23585 fired transitions, 2415 secs || 23399 markings, 55898 edges, 10 markings/sec, 2415 secs
lola: 1 tries, 23635 fired transitions, 2420 secs || 23450 markings, 55949 edges, 10 markings/sec, 2420 secs
lola: 1 tries, 23686 fired transitions, 2425 secs || 23501 markings, 56003 edges, 10 markings/sec, 2425 secs
lola: 1 tries, 23736 fired transitions, 2430 secs || 23552 markings, 56057 edges, 10 markings/sec, 2430 secs
lola: 1 tries, 23787 fired transitions, 2435 secs || 23603 markings, 56108 edges, 10 markings/sec, 2435 secs
lola: 1 tries, 23837 fired transitions, 2440 secs || 23654 markings, 56159 edges, 10 markings/sec, 2440 secs
lola: 1 tries, 23886 fired transitions, 2445 secs || 23704 markings, 56209 edges, 10 markings/sec, 2445 secs
lola: 1 tries, 23934 fired transitions, 2450 secs || 23754 markings, 56259 edges, 10 markings/sec, 2450 secs
lola: 1 tries, 23986 fired transitions, 2455 secs || 23805 markings, 56310 edges, 10 markings/sec, 2455 secs
lola: 1 tries, 24035 fired transitions, 2460 secs || 23855 markings, 56360 edges, 10 markings/sec, 2460 secs
lola: 1 tries, 24084 fired transitions, 2465 secs || 23904 markings, 56409 edges, 10 markings/sec, 2465 secs
lola: 1 tries, 24134 fired transitions, 2470 secs || 23954 markings, 56472 edges, 10 markings/sec, 2470 secs
lola: 1 tries, 24185 fired transitions, 2475 secs || 24006 markings, 56545 edges, 10 markings/sec, 2475 secs
lola: 1 tries, 24236 fired transitions, 2480 secs || 24058 markings, 56668 edges, 10 markings/sec, 2480 secs
lola: 1 tries, 24287 fired transitions, 2485 secs || 24109 markings, 56860 edges, 10 markings/sec, 2485 secs
lola: 1 tries, 24335 fired transitions, 2490 secs || 24157 markings, 56953 edges, 10 markings/sec, 2490 secs
lola: 1 tries, 24385 fired transitions, 2495 secs || 24208 markings, 57004 edges, 10 markings/sec, 2495 secs
lola: 1 tries, 24436 fired transitions, 2500 secs || 24260 markings, 57056 edges, 10 markings/sec, 2500 secs
lola: 1 tries, 24486 fired transitions, 2505 secs || 24311 markings, 57107 edges, 10 markings/sec, 2505 secs
lola: 1 tries, 24538 fired transitions, 2510 secs || 24362 markings, 57158 edges, 10 markings/sec, 2510 secs
lola: 1 tries, 24588 fired transitions, 2515 secs || 24414 markings, 57245 edges, 10 markings/sec, 2515 secs
lola: 1 tries, 24639 fired transitions, 2520 secs || 24465 markings, 57449 edges, 10 markings/sec, 2520 secs
lola: 1 tries, 24691 fired transitions, 2525 secs || 24517 markings, 57564 edges, 10 markings/sec, 2525 secs
lola: 1 tries, 24741 fired transitions, 2530 secs || 24568 markings, 57615 edges, 10 markings/sec, 2530 secs
lola: 1 tries, 24791 fired transitions, 2535 secs || 24617 markings, 57717 edges, 10 markings/sec, 2535 secs
lola: 1 tries, 24842 fired transitions, 2540 secs || 24669 markings, 57769 edges, 10 markings/sec, 2540 secs
lola: 1 tries, 24893 fired transitions, 2545 secs || 24719 markings, 57830 edges, 10 markings/sec, 2545 secs
lola: 1 tries, 24943 fired transitions, 2550 secs || 24770 markings, 57883 edges, 10 markings/sec, 2550 secs
lola: 1 tries, 24993 fired transitions, 2555 secs || 24821 markings, 57934 edges, 10 markings/sec, 2555 secs
lola: 1 tries, 25044 fired transitions, 2560 secs || 24872 markings, 57985 edges, 10 markings/sec, 2560 secs
lola: 1 tries, 25092 fired transitions, 2565 secs || 24920 markings, 58033 edges, 10 markings/sec, 2565 secs
lola: 1 tries, 25143 fired transitions, 2570 secs || 24971 markings, 58084 edges, 10 markings/sec, 2570 secs
lola: 1 tries, 25193 fired transitions, 2575 secs || 25021 markings, 58134 edges, 10 markings/sec, 2575 secs
lola: 1 tries, 25245 fired transitions, 2580 secs || 25073 markings, 58186 edges, 10 markings/sec, 2580 secs
lola: 1 tries, 25296 fired transitions, 2585 secs || 25125 markings, 58238 edges, 10 markings/sec, 2585 secs
lola: 1 tries, 25346 fired transitions, 2590 secs || 25176 markings, 58289 edges, 10 markings/sec, 2590 secs
lola: 1 tries, 25398 fired transitions, 2595 secs || 25228 markings, 58344 edges, 10 markings/sec, 2595 secs
lola: 1 tries, 25450 fired transitions, 2600 secs || 25280 markings, 58399 edges, 10 markings/sec, 2600 secs
lola: 1 tries, 25498 fired transitions, 2605 secs || 25329 markings, 58454 edges, 10 markings/sec, 2605 secs
lola: 1 tries, 25550 fired transitions, 2610 secs || 25381 markings, 58511 edges, 10 markings/sec, 2610 secs
lola: 1 tries, 25600 fired transitions, 2615 secs || 25432 markings, 58639 edges, 10 markings/sec, 2615 secs
lola: 1 tries, 25651 fired transitions, 2620 secs || 25482 markings, 58697 edges, 10 markings/sec, 2620 secs
lola: 1 tries, 25700 fired transitions, 2625 secs || 25531 markings, 58746 edges, 10 markings/sec, 2625 secs
lola: 1 tries, 25750 fired transitions, 2630 secs || 25582 markings, 58797 edges, 10 markings/sec, 2630 secs
lola: 1 tries, 25799 fired transitions, 2635 secs || 25632 markings, 58847 edges, 10 markings/sec, 2635 secs
lola: 1 tries, 25850 fired transitions, 2640 secs || 25682 markings, 58897 edges, 10 markings/sec, 2640 secs
lola: 1 tries, 25900 fired transitions, 2645 secs || 25733 markings, 58948 edges, 10 markings/sec, 2645 secs
lola: 1 tries, 25950 fired transitions, 2650 secs || 25783 markings, 58998 edges, 10 markings/sec, 2650 secs
lola: 1 tries, 26002 fired transitions, 2655 secs || 25835 markings, 59050 edges, 10 markings/sec, 2655 secs
lola: 1 tries, 26052 fired transitions, 2660 secs || 25884 markings, 59099 edges, 10 markings/sec, 2660 secs
lola: 1 tries, 26102 fired transitions, 2665 secs || 25933 markings, 59148 edges, 10 markings/sec, 2665 secs
lola: 1 tries, 26153 fired transitions, 2670 secs || 25983 markings, 59198 edges, 10 markings/sec, 2670 secs
lola: 1 tries, 26204 fired transitions, 2675 secs || 26034 markings, 59249 edges, 10 markings/sec, 2675 secs
lola: 1 tries, 26255 fired transitions, 2680 secs || 26085 markings, 59304 edges, 10 markings/sec, 2680 secs
lola: 1 tries, 26305 fired transitions, 2685 secs || 26136 markings, 59366 edges, 10 markings/sec, 2685 secs
lola: 1 tries, 26355 fired transitions, 2690 secs || 26187 markings, 59425 edges, 10 markings/sec, 2690 secs
lola: 1 tries, 26405 fired transitions, 2695 secs || 26236 markings, 59474 edges, 10 markings/sec, 2695 secs
lola: 1 tries, 26456 fired transitions, 2700 secs || 26287 markings, 59525 edges, 10 markings/sec, 2700 secs
lola: 1 tries, 26507 fired transitions, 2705 secs || 26338 markings, 59576 edges, 10 markings/sec, 2705 secs
lola: 1 tries, 26555 fired transitions, 2710 secs || 26389 markings, 59755 edges, 10 markings/sec, 2710 secs
lola: 1 tries, 26605 fired transitions, 2715 secs || 26438 markings, 59990 edges, 10 markings/sec, 2715 secs
lola: 1 tries, 26655 fired transitions, 2720 secs || 26489 markings, 60077 edges, 10 markings/sec, 2720 secs
lola: 1 tries, 26706 fired transitions, 2725 secs || 26540 markings, 60225 edges, 10 markings/sec, 2725 secs
lola: 1 tries, 26756 fired transitions, 2730 secs || 26590 markings, 60443 edges, 10 markings/sec, 2730 secs
lola: 1 tries, 26805 fired transitions, 2735 secs || 26640 markings, 60715 edges, 10 markings/sec, 2735 secs
lola: 1 tries, 26855 fired transitions, 2740 secs || 26691 markings, 61054 edges, 10 markings/sec, 2740 secs
lola: 1 tries, 26906 fired transitions, 2745 secs || 26740 markings, 61229 edges, 10 markings/sec, 2745 secs
lola: 1 tries, 26955 fired transitions, 2750 secs || 26790 markings, 61445 edges, 10 markings/sec, 2750 secs
lola: 1 tries, 27005 fired transitions, 2755 secs || 26840 markings, 61684 edges, 10 markings/sec, 2755 secs
lola: 1 tries, 27056 fired transitions, 2760 secs || 26891 markings, 61912 edges, 10 markings/sec, 2760 secs
lola: 1 tries, 27106 fired transitions, 2765 secs || 26942 markings, 62109 edges, 10 markings/sec, 2765 secs
lola: 1 tries, 27157 fired transitions, 2770 secs || 26994 markings, 62306 edges, 10 markings/sec, 2770 secs
lola: 1 tries, 27207 fired transitions, 2775 secs || 27043 markings, 62403 edges, 10 markings/sec, 2775 secs
lola: 1 tries, 27255 fired transitions, 2780 secs || 27092 markings, 62452 edges, 10 markings/sec, 2780 secs
lola: 1 tries, 27306 fired transitions, 2785 secs || 27144 markings, 62504 edges, 10 markings/sec, 2785 secs
lola: 1 tries, 27357 fired transitions, 2790 secs || 27195 markings, 62561 edges, 10 markings/sec, 2790 secs
lola: 1 tries, 27408 fired transitions, 2795 secs || 27247 markings, 62613 edges, 10 markings/sec, 2795 secs
lola: 1 tries, 27459 fired transitions, 2800 secs || 27298 markings, 62664 edges, 10 markings/sec, 2800 secs
lola: 1 tries, 27509 fired transitions, 2805 secs || 27350 markings, 62716 edges, 10 markings/sec, 2805 secs
lola: 1 tries, 27560 fired transitions, 2810 secs || 27401 markings, 62767 edges, 10 markings/sec, 2810 secs
lola: 1 tries, 27611 fired transitions, 2815 secs || 27453 markings, 62889 edges, 10 markings/sec, 2815 secs
lola: 1 tries, 27660 fired transitions, 2820 secs || 27502 markings, 62938 edges, 10 markings/sec, 2820 secs
lola: 1 tries, 27710 fired transitions, 2825 secs || 27554 markings, 62990 edges, 10 markings/sec, 2825 secs
lola: 1 tries, 27760 fired transitions, 2830 secs || 27605 markings, 63045 edges, 10 markings/sec, 2830 secs
lola: 1 tries, 27810 fired transitions, 2835 secs || 27656 markings, 63096 edges, 10 markings/sec, 2835 secs
lola: 1 tries, 27861 fired transitions, 2840 secs || 27707 markings, 63147 edges, 10 markings/sec, 2840 secs
lola: 1 tries, 27910 fired transitions, 2845 secs || 27755 markings, 63217 edges, 10 markings/sec, 2845 secs
lola: 1 tries, 27959 fired transitions, 2850 secs || 27805 markings, 63267 edges, 10 markings/sec, 2850 secs
lola: 1 tries, 28010 fired transitions, 2855 secs || 27857 markings, 63351 edges, 10 markings/sec, 2855 secs
lola: 1 tries, 28060 fired transitions, 2860 secs || 27908 markings, 63402 edges, 10 markings/sec, 2860 secs
lola: 1 tries, 28110 fired transitions, 2865 secs || 27959 markings, 63453 edges, 10 markings/sec, 2865 secs
lola: 1 tries, 28160 fired transitions, 2870 secs || 28010 markings, 63510 edges, 10 markings/sec, 2870 secs
lola: 1 tries, 28211 fired transitions, 2875 secs || 28059 markings, 63563 edges, 10 markings/sec, 2875 secs
lola: 1 tries, 28258 fired transitions, 2880 secs || 28108 markings, 63625 edges, 10 markings/sec, 2880 secs
lola: 1 tries, 28306 fired transitions, 2885 secs || 28156 markings, 63682 edges, 10 markings/sec, 2885 secs
lola: 1 tries, 28357 fired transitions, 2890 secs || 28207 markings, 63736 edges, 10 markings/sec, 2890 secs
lola: 1 tries, 28408 fired transitions, 2895 secs || 28257 markings, 63786 edges, 10 markings/sec, 2895 secs
lola: 1 tries, 28456 fired transitions, 2900 secs || 28305 markings, 63834 edges, 10 markings/sec, 2900 secs
lola: 1 tries, 28504 fired transitions, 2905 secs || 28355 markings, 63942 edges, 10 markings/sec, 2905 secs
lola: 1 tries, 28552 fired transitions, 2910 secs || 28404 markings, 63991 edges, 10 markings/sec, 2910 secs
lola: 1 tries, 28601 fired transitions, 2915 secs || 28453 markings, 64040 edges, 10 markings/sec, 2915 secs
lola: 1 tries, 28652 fired transitions, 2920 secs || 28504 markings, 64091 edges, 10 markings/sec, 2920 secs
lola: 1 tries, 28701 fired transitions, 2925 secs || 28553 markings, 64140 edges, 10 markings/sec, 2925 secs
lola: 1 tries, 28749 fired transitions, 2930 secs || 28600 markings, 64187 edges, 9 markings/sec, 2930 secs
lola: 1 tries, 28798 fired transitions, 2935 secs || 28649 markings, 64236 edges, 10 markings/sec, 2935 secs
lola: 1 tries, 28846 fired transitions, 2940 secs || 28698 markings, 64285 edges, 10 markings/sec, 2940 secs
lola: 1 tries, 28896 fired transitions, 2945 secs || 28746 markings, 64333 edges, 10 markings/sec, 2945 secs
lola: 1 tries, 28941 fired transitions, 2950 secs || 28793 markings, 64380 edges, 9 markings/sec, 2950 secs
lola: 1 tries, 28984 fired transitions, 2955 secs || 28842 markings, 64429 edges, 10 markings/sec, 2955 secs
lola: 1 tries, 29026 fired transitions, 2960 secs || 28891 markings, 64478 edges, 10 markings/sec, 2960 secs
lola: 1 tries, 29069 fired transitions, 2965 secs || 28940 markings, 64527 edges, 10 markings/sec, 2965 secs
lola: 1 tries, 29113 fired transitions, 2970 secs || 28988 markings, 64575 edges, 10 markings/sec, 2970 secs
lola: 1 tries, 29156 fired transitions, 2975 secs || 29037 markings, 64624 edges, 10 markings/sec, 2975 secs
lola: 1 tries, 29200 fired transitions, 2980 secs || 29086 markings, 64673 edges, 10 markings/sec, 2980 secs
lola: 1 tries, 29243 fired transitions, 2985 secs || 29135 markings, 64722 edges, 10 markings/sec, 2985 secs
lola: 1 tries, 29286 fired transitions, 2990 secs || 29184 markings, 64771 edges, 10 markings/sec, 2990 secs
lola: 1 tries, 29329 fired transitions, 2995 secs || 29233 markings, 65006 edges, 10 markings/sec, 2995 secs
lola: 1 tries, 29372 fired transitions, 3000 secs || 29282 markings, 65267 edges, 10 markings/sec, 3000 secs
lola: 1 tries, 29415 fired transitions, 3005 secs || 29331 markings, 65470 edges, 10 markings/sec, 3005 secs
lola: 1 tries, 29458 fired transitions, 3010 secs || 29380 markings, 65706 edges, 10 markings/sec, 3010 secs
lola: 1 tries, 29501 fired transitions, 3015 secs || 29430 markings, 65943 edges, 10 markings/sec, 3015 secs
lola: 1 tries, 29544 fired transitions, 3020 secs || 29479 markings, 65992 edges, 10 markings/sec, 3020 secs
lola: 1 tries, 29587 fired transitions, 3025 secs || 29528 markings, 66041 edges, 10 markings/sec, 3025 secs
lola: 1 tries, 29631 fired transitions, 3030 secs || 29577 markings, 66090 edges, 10 markings/sec, 3030 secs
lola: 1 tries, 29675 fired transitions, 3035 secs || 29626 markings, 66139 edges, 10 markings/sec, 3035 secs
lola: 1 tries, 29718 fired transitions, 3040 secs || 29675 markings, 66188 edges, 10 markings/sec, 3040 secs
lola: 1 tries, 29761 fired transitions, 3045 secs || 29725 markings, 66238 edges, 10 markings/sec, 3045 secs
lola: 1 tries, 29805 fired transitions, 3050 secs || 29774 markings, 66287 edges, 10 markings/sec, 3050 secs
lola: 1 tries, 29848 fired transitions, 3055 secs || 29823 markings, 66336 edges, 10 markings/sec, 3055 secs
lola: 1 tries, 29892 fired transitions, 3060 secs || 29873 markings, 66390 edges, 10 markings/sec, 3060 secs
lola: 1 tries, 29935 fired transitions, 3065 secs || 29922 markings, 66439 edges, 10 markings/sec, 3065 secs
lola: 1 tries, 29979 fired transitions, 3070 secs || 29971 markings, 66488 edges, 10 markings/sec, 3070 secs
lola: 1 tries, 30022 fired transitions, 3075 secs || 30021 markings, 66538 edges, 10 markings/sec, 3075 secs
lola: 1 tries, 30065 fired transitions, 3080 secs || 30070 markings, 66587 edges, 10 markings/sec, 3080 secs
lola: 1 tries, 30109 fired transitions, 3085 secs || 30120 markings, 66657 edges, 10 markings/sec, 3085 secs
lola: 1 tries, 30152 fired transitions, 3090 secs || 30169 markings, 66871 edges, 10 markings/sec, 3090 secs
lola: 1 tries, 30196 fired transitions, 3095 secs || 30219 markings, 67277 edges, 10 markings/sec, 3095 secs
lola: 1 tries, 30239 fired transitions, 3100 secs || 30268 markings, 67573 edges, 10 markings/sec, 3100 secs
lola: 1 tries, 30283 fired transitions, 3105 secs || 30316 markings, 67757 edges, 10 markings/sec, 3105 secs
lola: 1 tries, 30326 fired transitions, 3110 secs || 30364 markings, 67975 edges, 10 markings/sec, 3110 secs
lola: 1 tries, 30370 fired transitions, 3115 secs || 30412 markings, 68151 edges, 10 markings/sec, 3115 secs
lola: 1 tries, 30413 fired transitions, 3120 secs || 30460 markings, 68352 edges, 10 markings/sec, 3120 secs
lola: 1 tries, 30457 fired transitions, 3125 secs || 30508 markings, 68655 edges, 10 markings/sec, 3125 secs
lola: 1 tries, 30501 fired transitions, 3130 secs || 30556 markings, 68897 edges, 10 markings/sec, 3130 secs
lola: 1 tries, 30545 fired transitions, 3135 secs || 30605 markings, 68964 edges, 10 markings/sec, 3135 secs
lola: 1 tries, 30589 fired transitions, 3140 secs || 30653 markings, 69028 edges, 10 markings/sec, 3140 secs
lola: 1 tries, 30633 fired transitions, 3145 secs || 30701 markings, 69092 edges, 10 markings/sec, 3145 secs
lola: 1 tries, 30677 fired transitions, 3150 secs || 30750 markings, 69179 edges, 10 markings/sec, 3150 secs
lola: 1 tries, 30721 fired transitions, 3155 secs || 30796 markings, 69225 edges, 9 markings/sec, 3155 secs
lola: 1 tries, 30765 fired transitions, 3160 secs || 30843 markings, 69272 edges, 9 markings/sec, 3160 secs
lola: 1 tries, 30810 fired transitions, 3165 secs || 30890 markings, 69319 edges, 9 markings/sec, 3165 secs
lola: 1 tries, 30855 fired transitions, 3170 secs || 30936 markings, 69365 edges, 9 markings/sec, 3170 secs
lola: 1 tries, 30899 fired transitions, 3175 secs || 30983 markings, 69415 edges, 9 markings/sec, 3175 secs
lola: 1 tries, 30942 fired transitions, 3180 secs || 31030 markings, 69462 edges, 9 markings/sec, 3180 secs
lola: 1 tries, 30986 fired transitions, 3185 secs || 31076 markings, 69508 edges, 9 markings/sec, 3185 secs
lola: 1 tries, 31030 fired transitions, 3190 secs || 31123 markings, 69594 edges, 9 markings/sec, 3190 secs
lola: 1 tries, 31075 fired transitions, 3195 secs || 31169 markings, 69710 edges, 9 markings/sec, 3195 secs
lola: 1 tries, 31119 fired transitions, 3200 secs || 31216 markings, 69757 edges, 9 markings/sec, 3200 secs
lola: 1 tries, 31163 fired transitions, 3205 secs || 31262 markings, 69803 edges, 9 markings/sec, 3205 secs
lola: 1 tries, 31208 fired transitions, 3210 secs || 31309 markings, 69850 edges, 9 markings/sec, 3210 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553922293664
--------------------
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-4"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-4, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-oct2-155274853600426"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-4.tgz
mv RERS17pb114-PT-4 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;