About the Execution of LoLA for RERS17pb114-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11989.620 | 3570444.00 | 6952384.00 | 1057.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-155274853700471.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-9, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853700471
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.0K Feb 13 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 13 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 13 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 13 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 13 08:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 13 08:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 13 08:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Feb 13 08:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 13 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 13 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Feb 13 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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-9-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553920457811
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ RERS17pb114-PT-9 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ RERS17pb114-PT-9
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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, 36 fired transitions, 0 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 0 secs
lola: 1 tries, 70 fired transitions, 5 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 5 secs
lola: 1 tries, 96 fired transitions, 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 10 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 15 secs
lola: 1 tries, 119 fired transitions, 15 secs
lola: 1 tries, 142 fired transitions, 20 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 20 secs
lola: 1 tries, 168 fired transitions, 25 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 25 secs
lola: 1 tries, 194 fired transitions, 30 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 30 secs
lola: 1 tries, 217 fired transitions, 35 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 35 secs
lola: 1 tries, 240 fired transitions, 40 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 40 secs
lola: 1 tries, 263 fired transitions, 45 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 45 secs
lola: 1 tries, 286 fired transitions, 50 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 50 secs
lola: 1 tries, 308 fired transitions, 55 secs
lola: 0 generators; 1044735 candidates remain ( 0%), 55 secs
lola: 1 tries, 331 fired transitions, 60 secs
lola: 33 generators; 898470 candidates remain ( 0%), 60 secs
lola: 1 tries, 354 fired transitions, 65 secs
lola: 108 generators; 436645 candidates remain ( 0%), 65 secs
lola: 1 tries, 381 fired transitions, 70 secs
lola: 150 generators; 19701 candidates remain ( 0%), 70 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, 422 fired transitions, 75 secs || 43 markings, 62 edges, 9 markings/sec, 75 secs
lola: 1 tries, 451 fired transitions, 80 secs || 72 markings, 96 edges, 6 markings/sec, 80 secs
lola: 1 tries, 476 fired transitions, 85 secs || 97 markings, 145 edges, 5 markings/sec, 85 secs
lola: 1 tries, 502 fired transitions, 90 secs || 124 markings, 199 edges, 5 markings/sec, 90 secs
lola: 1 tries, 528 fired transitions, 95 secs || 149 markings, 250 edges, 5 markings/sec, 95 secs
lola: 1 tries, 553 fired transitions, 100 secs || 174 markings, 297 edges, 5 markings/sec, 100 secs
lola: 1 tries, 579 fired transitions, 105 secs || 200 markings, 347 edges, 5 markings/sec, 105 secs
lola: 1 tries, 604 fired transitions, 110 secs || 225 markings, 392 edges, 5 markings/sec, 110 secs
lola: 1 tries, 629 fired transitions, 115 secs || 250 markings, 422 edges, 5 markings/sec, 115 secs
lola: 1 tries, 656 fired transitions, 120 secs || 277 markings, 457 edges, 5 markings/sec, 120 secs
lola: 1 tries, 699 fired transitions, 125 secs || 321 markings, 525 edges, 9 markings/sec, 125 secs
lola: 1 tries, 743 fired transitions, 130 secs || 360 markings, 590 edges, 8 markings/sec, 130 secs
lola: 1 tries, 772 fired transitions, 135 secs || 387 markings, 621 edges, 5 markings/sec, 135 secs
lola: 1 tries, 798 fired transitions, 140 secs || 413 markings, 654 edges, 5 markings/sec, 140 secs
lola: 1 tries, 823 fired transitions, 145 secs || 438 markings, 685 edges, 5 markings/sec, 145 secs
lola: 1 tries, 848 fired transitions, 150 secs || 463 markings, 718 edges, 5 markings/sec, 150 secs
lola: 1 tries, 873 fired transitions, 155 secs || 488 markings, 749 edges, 5 markings/sec, 155 secs
lola: 1 tries, 899 fired transitions, 160 secs || 514 markings, 789 edges, 5 markings/sec, 160 secs
lola: 1 tries, 924 fired transitions, 165 secs || 539 markings, 821 edges, 5 markings/sec, 165 secs
lola: 1 tries, 950 fired transitions, 170 secs || 565 markings, 855 edges, 5 markings/sec, 170 secs
lola: 1 tries, 976 fired transitions, 175 secs || 590 markings, 893 edges, 5 markings/sec, 175 secs
lola: 1 tries, 1006 fired transitions, 180 secs || 621 markings, 936 edges, 6 markings/sec, 180 secs
lola: 1 tries, 1031 fired transitions, 185 secs || 646 markings, 973 edges, 5 markings/sec, 185 secs
lola: 1 tries, 1057 fired transitions, 190 secs || 672 markings, 1013 edges, 5 markings/sec, 190 secs
lola: 1 tries, 1083 fired transitions, 195 secs || 698 markings, 1055 edges, 5 markings/sec, 195 secs
lola: 1 tries, 1109 fired transitions, 200 secs || 724 markings, 1099 edges, 5 markings/sec, 200 secs
lola: 1 tries, 1133 fired transitions, 205 secs || 748 markings, 1125 edges, 5 markings/sec, 205 secs
lola: 1 tries, 1157 fired transitions, 210 secs || 772 markings, 1160 edges, 5 markings/sec, 210 secs
lola: 1 tries, 1197 fired transitions, 215 secs || 809 markings, 1226 edges, 7 markings/sec, 215 secs
lola: 1 tries, 1246 fired transitions, 220 secs || 851 markings, 1300 edges, 8 markings/sec, 220 secs
lola: 1 tries, 1294 fired transitions, 225 secs || 894 markings, 1382 edges, 9 markings/sec, 225 secs
lola: 1 tries, 1344 fired transitions, 230 secs || 936 markings, 1464 edges, 8 markings/sec, 230 secs
lola: 1 tries, 1393 fired transitions, 235 secs || 978 markings, 1541 edges, 8 markings/sec, 235 secs
lola: 1 tries, 1442 fired transitions, 240 secs || 1021 markings, 1612 edges, 9 markings/sec, 240 secs
lola: 1 tries, 1490 fired transitions, 245 secs || 1064 markings, 1670 edges, 9 markings/sec, 245 secs
lola: 1 tries, 1539 fired transitions, 250 secs || 1107 markings, 1764 edges, 9 markings/sec, 250 secs
lola: 1 tries, 1589 fired transitions, 255 secs || 1151 markings, 1967 edges, 9 markings/sec, 255 secs
lola: 1 tries, 1629 fired transitions, 260 secs || 1188 markings, 2143 edges, 7 markings/sec, 260 secs
lola: 1 tries, 1654 fired transitions, 265 secs || 1214 markings, 2236 edges, 5 markings/sec, 265 secs
lola: 1 tries, 1680 fired transitions, 270 secs || 1239 markings, 2336 edges, 5 markings/sec, 270 secs
lola: 1 tries, 1706 fired transitions, 275 secs || 1265 markings, 2426 edges, 5 markings/sec, 275 secs
lola: 1 tries, 1732 fired transitions, 280 secs || 1291 markings, 2527 edges, 5 markings/sec, 280 secs
lola: 1 tries, 1757 fired transitions, 285 secs || 1316 markings, 2621 edges, 5 markings/sec, 285 secs
lola: 1 tries, 1783 fired transitions, 290 secs || 1342 markings, 2721 edges, 5 markings/sec, 290 secs
lola: 1 tries, 1808 fired transitions, 295 secs || 1367 markings, 2839 edges, 5 markings/sec, 295 secs
lola: 1 tries, 1834 fired transitions, 300 secs || 1393 markings, 2963 edges, 5 markings/sec, 300 secs
lola: 1 tries, 1859 fired transitions, 305 secs || 1418 markings, 3080 edges, 5 markings/sec, 305 secs
lola: 1 tries, 1885 fired transitions, 310 secs || 1444 markings, 3198 edges, 5 markings/sec, 310 secs
lola: 1 tries, 1910 fired transitions, 315 secs || 1469 markings, 3307 edges, 5 markings/sec, 315 secs
lola: 1 tries, 1947 fired transitions, 320 secs || 1511 markings, 3588 edges, 8 markings/sec, 320 secs
lola: 1 tries, 1991 fired transitions, 325 secs || 1561 markings, 3916 edges, 10 markings/sec, 325 secs
lola: 1 tries, 2034 fired transitions, 330 secs || 1612 markings, 4268 edges, 10 markings/sec, 330 secs
lola: 1 tries, 2078 fired transitions, 335 secs || 1663 markings, 4543 edges, 10 markings/sec, 335 secs
lola: 1 tries, 2120 fired transitions, 340 secs || 1710 markings, 4746 edges, 9 markings/sec, 340 secs
lola: 1 tries, 2160 fired transitions, 345 secs || 1752 markings, 4980 edges, 8 markings/sec, 345 secs
lola: 1 tries, 2204 fired transitions, 350 secs || 1802 markings, 5130 edges, 10 markings/sec, 350 secs
lola: 1 tries, 2248 fired transitions, 355 secs || 1852 markings, 5360 edges, 10 markings/sec, 355 secs
lola: 1 tries, 2292 fired transitions, 360 secs || 1901 markings, 5598 edges, 10 markings/sec, 360 secs
lola: 1 tries, 2337 fired transitions, 365 secs || 1951 markings, 5845 edges, 10 markings/sec, 365 secs
lola: 1 tries, 2381 fired transitions, 370 secs || 2000 markings, 6032 edges, 10 markings/sec, 370 secs
lola: 1 tries, 2427 fired transitions, 375 secs || 2051 markings, 6277 edges, 10 markings/sec, 375 secs
lola: 1 tries, 2473 fired transitions, 380 secs || 2101 markings, 6589 edges, 10 markings/sec, 380 secs
lola: 1 tries, 2519 fired transitions, 385 secs || 2152 markings, 6897 edges, 10 markings/sec, 385 secs
lola: 1 tries, 2565 fired transitions, 390 secs || 2202 markings, 7210 edges, 10 markings/sec, 390 secs
lola: 1 tries, 2610 fired transitions, 395 secs || 2252 markings, 7485 edges, 10 markings/sec, 395 secs
lola: 1 tries, 2655 fired transitions, 400 secs || 2301 markings, 7742 edges, 10 markings/sec, 400 secs
lola: 1 tries, 2697 fired transitions, 405 secs || 2348 markings, 7971 edges, 9 markings/sec, 405 secs
lola: 1 tries, 2722 fired transitions, 410 secs || 2372 markings, 8091 edges, 5 markings/sec, 410 secs
lola: 1 tries, 2747 fired transitions, 415 secs || 2397 markings, 8216 edges, 5 markings/sec, 415 secs
lola: 1 tries, 2772 fired transitions, 420 secs || 2422 markings, 8343 edges, 5 markings/sec, 420 secs
lola: 1 tries, 2797 fired transitions, 425 secs || 2447 markings, 8490 edges, 5 markings/sec, 425 secs
lola: 1 tries, 2822 fired transitions, 430 secs || 2472 markings, 8611 edges, 5 markings/sec, 430 secs
lola: 1 tries, 2852 fired transitions, 435 secs || 2504 markings, 8801 edges, 6 markings/sec, 435 secs
lola: 1 tries, 2896 fired transitions, 440 secs || 2554 markings, 9085 edges, 10 markings/sec, 440 secs
lola: 1 tries, 2942 fired transitions, 445 secs || 2603 markings, 9391 edges, 10 markings/sec, 445 secs
lola: 1 tries, 2987 fired transitions, 450 secs || 2651 markings, 9654 edges, 10 markings/sec, 450 secs
lola: 1 tries, 3033 fired transitions, 455 secs || 2702 markings, 9951 edges, 10 markings/sec, 455 secs
lola: 1 tries, 3078 fired transitions, 460 secs || 2752 markings, 10242 edges, 10 markings/sec, 460 secs
lola: 1 tries, 3123 fired transitions, 465 secs || 2801 markings, 10503 edges, 10 markings/sec, 465 secs
lola: 1 tries, 3168 fired transitions, 470 secs || 2852 markings, 10846 edges, 10 markings/sec, 470 secs
lola: 1 tries, 3204 fired transitions, 475 secs || 2892 markings, 11081 edges, 8 markings/sec, 475 secs
lola: 1 tries, 3230 fired transitions, 480 secs || 2918 markings, 11259 edges, 5 markings/sec, 480 secs
lola: 1 tries, 3255 fired transitions, 485 secs || 2943 markings, 11423 edges, 5 markings/sec, 485 secs
lola: 1 tries, 3281 fired transitions, 490 secs || 2969 markings, 11604 edges, 5 markings/sec, 490 secs
lola: 1 tries, 3307 fired transitions, 495 secs || 2995 markings, 11802 edges, 5 markings/sec, 495 secs
lola: 1 tries, 3333 fired transitions, 500 secs || 3021 markings, 11978 edges, 5 markings/sec, 500 secs
lola: 1 tries, 3359 fired transitions, 505 secs || 3047 markings, 12150 edges, 5 markings/sec, 505 secs
lola: 1 tries, 3385 fired transitions, 510 secs || 3073 markings, 12331 edges, 5 markings/sec, 510 secs
lola: 1 tries, 3411 fired transitions, 515 secs || 3099 markings, 12496 edges, 5 markings/sec, 515 secs
lola: 1 tries, 3437 fired transitions, 520 secs || 3125 markings, 12649 edges, 5 markings/sec, 520 secs
lola: 1 tries, 3465 fired transitions, 525 secs || 3153 markings, 12789 edges, 6 markings/sec, 525 secs
lola: 1 tries, 3507 fired transitions, 530 secs || 3204 markings, 13051 edges, 10 markings/sec, 530 secs
lola: 1 tries, 3549 fired transitions, 535 secs || 3255 markings, 13379 edges, 10 markings/sec, 535 secs
lola: 1 tries, 3592 fired transitions, 540 secs || 3306 markings, 13632 edges, 10 markings/sec, 540 secs
lola: 1 tries, 3635 fired transitions, 545 secs || 3358 markings, 13946 edges, 10 markings/sec, 545 secs
lola: 1 tries, 3676 fired transitions, 550 secs || 3408 markings, 14259 edges, 10 markings/sec, 550 secs
lola: 1 tries, 3719 fired transitions, 555 secs || 3457 markings, 14593 edges, 10 markings/sec, 555 secs
lola: 1 tries, 3761 fired transitions, 560 secs || 3506 markings, 14858 edges, 10 markings/sec, 560 secs
lola: 1 tries, 3803 fired transitions, 565 secs || 3555 markings, 15124 edges, 10 markings/sec, 565 secs
lola: 1 tries, 3828 fired transitions, 570 secs || 3580 markings, 15255 edges, 5 markings/sec, 570 secs
lola: 1 tries, 3853 fired transitions, 575 secs || 3606 markings, 15411 edges, 5 markings/sec, 575 secs
lola: 1 tries, 3879 fired transitions, 580 secs || 3631 markings, 15564 edges, 5 markings/sec, 580 secs
lola: 1 tries, 3903 fired transitions, 585 secs || 3655 markings, 15716 edges, 5 markings/sec, 585 secs
lola: 1 tries, 3926 fired transitions, 590 secs || 3678 markings, 15873 edges, 5 markings/sec, 590 secs
lola: 1 tries, 3948 fired transitions, 595 secs || 3701 markings, 16012 edges, 5 markings/sec, 595 secs
lola: 1 tries, 3971 fired transitions, 600 secs || 3725 markings, 16170 edges, 5 markings/sec, 600 secs
lola: 1 tries, 3994 fired transitions, 605 secs || 3747 markings, 16317 edges, 4 markings/sec, 605 secs
lola: 1 tries, 4016 fired transitions, 610 secs || 3770 markings, 16455 edges, 5 markings/sec, 610 secs
lola: 1 tries, 4038 fired transitions, 615 secs || 3792 markings, 16594 edges, 4 markings/sec, 615 secs
lola: 1 tries, 4060 fired transitions, 620 secs || 3814 markings, 16737 edges, 4 markings/sec, 620 secs
lola: 1 tries, 4082 fired transitions, 625 secs || 3836 markings, 16872 edges, 4 markings/sec, 625 secs
lola: 1 tries, 4104 fired transitions, 630 secs || 3859 markings, 17011 edges, 5 markings/sec, 630 secs
lola: 1 tries, 4126 fired transitions, 635 secs || 3881 markings, 17147 edges, 4 markings/sec, 635 secs
lola: 1 tries, 4147 fired transitions, 640 secs || 3903 markings, 17296 edges, 4 markings/sec, 640 secs
lola: 1 tries, 4169 fired transitions, 645 secs || 3926 markings, 17450 edges, 5 markings/sec, 645 secs
lola: 1 tries, 4192 fired transitions, 650 secs || 3948 markings, 17586 edges, 4 markings/sec, 650 secs
lola: 1 tries, 4213 fired transitions, 655 secs || 3970 markings, 17698 edges, 4 markings/sec, 655 secs
lola: 1 tries, 4235 fired transitions, 660 secs || 3992 markings, 17832 edges, 4 markings/sec, 660 secs
lola: 1 tries, 4258 fired transitions, 665 secs || 4015 markings, 17970 edges, 5 markings/sec, 665 secs
lola: 1 tries, 4280 fired transitions, 670 secs || 4037 markings, 18104 edges, 4 markings/sec, 670 secs
lola: 1 tries, 4302 fired transitions, 675 secs || 4059 markings, 18252 edges, 4 markings/sec, 675 secs
lola: 1 tries, 4324 fired transitions, 680 secs || 4081 markings, 18406 edges, 4 markings/sec, 680 secs
lola: 1 tries, 4346 fired transitions, 685 secs || 4103 markings, 18544 edges, 4 markings/sec, 685 secs
lola: 1 tries, 4367 fired transitions, 690 secs || 4125 markings, 18686 edges, 4 markings/sec, 690 secs
lola: 1 tries, 4390 fired transitions, 695 secs || 4148 markings, 18828 edges, 5 markings/sec, 695 secs
lola: 1 tries, 4412 fired transitions, 700 secs || 4170 markings, 18981 edges, 4 markings/sec, 700 secs
lola: 1 tries, 4433 fired transitions, 705 secs || 4192 markings, 19132 edges, 4 markings/sec, 705 secs
lola: 1 tries, 4456 fired transitions, 710 secs || 4214 markings, 19286 edges, 4 markings/sec, 710 secs
lola: 1 tries, 4478 fired transitions, 715 secs || 4236 markings, 19434 edges, 4 markings/sec, 715 secs
lola: 1 tries, 4500 fired transitions, 720 secs || 4259 markings, 19593 edges, 5 markings/sec, 720 secs
lola: 1 tries, 4522 fired transitions, 725 secs || 4281 markings, 19742 edges, 4 markings/sec, 725 secs
lola: 1 tries, 4544 fired transitions, 730 secs || 4303 markings, 19891 edges, 4 markings/sec, 730 secs
lola: 1 tries, 4566 fired transitions, 735 secs || 4326 markings, 20028 edges, 5 markings/sec, 735 secs
lola: 1 tries, 4588 fired transitions, 740 secs || 4348 markings, 20140 edges, 4 markings/sec, 740 secs
lola: 1 tries, 4610 fired transitions, 745 secs || 4370 markings, 20252 edges, 4 markings/sec, 745 secs
lola: 1 tries, 4632 fired transitions, 750 secs || 4393 markings, 20447 edges, 5 markings/sec, 750 secs
lola: 1 tries, 4654 fired transitions, 755 secs || 4415 markings, 20583 edges, 4 markings/sec, 755 secs
lola: 1 tries, 4677 fired transitions, 760 secs || 4438 markings, 20744 edges, 5 markings/sec, 760 secs
lola: 1 tries, 4699 fired transitions, 765 secs || 4461 markings, 20930 edges, 5 markings/sec, 765 secs
lola: 1 tries, 4723 fired transitions, 770 secs || 4485 markings, 21045 edges, 5 markings/sec, 770 secs
lola: 1 tries, 4746 fired transitions, 775 secs || 4508 markings, 21162 edges, 5 markings/sec, 775 secs
lola: 1 tries, 4769 fired transitions, 780 secs || 4531 markings, 21305 edges, 5 markings/sec, 780 secs
lola: 1 tries, 4791 fired transitions, 785 secs || 4554 markings, 21452 edges, 5 markings/sec, 785 secs
lola: 1 tries, 4813 fired transitions, 790 secs || 4576 markings, 21599 edges, 4 markings/sec, 790 secs
lola: 1 tries, 4836 fired transitions, 795 secs || 4599 markings, 21754 edges, 5 markings/sec, 795 secs
lola: 1 tries, 4859 fired transitions, 800 secs || 4622 markings, 21915 edges, 5 markings/sec, 800 secs
lola: 1 tries, 4881 fired transitions, 805 secs || 4645 markings, 22076 edges, 5 markings/sec, 805 secs
lola: 1 tries, 4904 fired transitions, 810 secs || 4668 markings, 22238 edges, 5 markings/sec, 810 secs
lola: 1 tries, 4927 fired transitions, 815 secs || 4692 markings, 22406 edges, 5 markings/sec, 815 secs
lola: 1 tries, 4950 fired transitions, 820 secs || 4715 markings, 22562 edges, 5 markings/sec, 820 secs
lola: 1 tries, 4973 fired transitions, 825 secs || 4738 markings, 22719 edges, 5 markings/sec, 825 secs
lola: 1 tries, 4997 fired transitions, 830 secs || 4762 markings, 22876 edges, 5 markings/sec, 830 secs
lola: 1 tries, 5020 fired transitions, 835 secs || 4785 markings, 23015 edges, 5 markings/sec, 835 secs
lola: 1 tries, 5043 fired transitions, 840 secs || 4809 markings, 23162 edges, 5 markings/sec, 840 secs
lola: 1 tries, 5066 fired transitions, 845 secs || 4832 markings, 23297 edges, 5 markings/sec, 845 secs
lola: 1 tries, 5089 fired transitions, 850 secs || 4855 markings, 23435 edges, 5 markings/sec, 850 secs
lola: 1 tries, 5112 fired transitions, 855 secs || 4878 markings, 23580 edges, 5 markings/sec, 855 secs
lola: 1 tries, 5135 fired transitions, 860 secs || 4901 markings, 23724 edges, 5 markings/sec, 860 secs
lola: 1 tries, 5158 fired transitions, 865 secs || 4925 markings, 23871 edges, 5 markings/sec, 865 secs
lola: 1 tries, 5182 fired transitions, 870 secs || 4949 markings, 24017 edges, 5 markings/sec, 870 secs
lola: 1 tries, 5206 fired transitions, 875 secs || 4973 markings, 24173 edges, 5 markings/sec, 875 secs
lola: 1 tries, 5229 fired transitions, 880 secs || 4996 markings, 24315 edges, 5 markings/sec, 880 secs
lola: 1 tries, 5252 fired transitions, 885 secs || 5020 markings, 24469 edges, 5 markings/sec, 885 secs
lola: 1 tries, 5276 fired transitions, 890 secs || 5044 markings, 24622 edges, 5 markings/sec, 890 secs
lola: 1 tries, 5300 fired transitions, 895 secs || 5068 markings, 24793 edges, 5 markings/sec, 895 secs
lola: 1 tries, 5324 fired transitions, 900 secs || 5092 markings, 24961 edges, 5 markings/sec, 900 secs
lola: 1 tries, 5347 fired transitions, 905 secs || 5116 markings, 25139 edges, 5 markings/sec, 905 secs
lola: 1 tries, 5371 fired transitions, 910 secs || 5139 markings, 25330 edges, 5 markings/sec, 910 secs
lola: 1 tries, 5394 fired transitions, 915 secs || 5163 markings, 25525 edges, 5 markings/sec, 915 secs
lola: 1 tries, 5418 fired transitions, 920 secs || 5187 markings, 25724 edges, 5 markings/sec, 920 secs
lola: 1 tries, 5441 fired transitions, 925 secs || 5210 markings, 25863 edges, 5 markings/sec, 925 secs
lola: 1 tries, 5464 fired transitions, 930 secs || 5233 markings, 26005 edges, 5 markings/sec, 930 secs
lola: 1 tries, 5487 fired transitions, 935 secs || 5256 markings, 26142 edges, 5 markings/sec, 935 secs
lola: 1 tries, 5510 fired transitions, 940 secs || 5279 markings, 26279 edges, 5 markings/sec, 940 secs
lola: 1 tries, 5533 fired transitions, 945 secs || 5302 markings, 26422 edges, 5 markings/sec, 945 secs
lola: 1 tries, 5555 fired transitions, 950 secs || 5324 markings, 26563 edges, 4 markings/sec, 950 secs
lola: 1 tries, 5577 fired transitions, 955 secs || 5346 markings, 26699 edges, 4 markings/sec, 955 secs
lola: 1 tries, 5599 fired transitions, 960 secs || 5369 markings, 26844 edges, 5 markings/sec, 960 secs
lola: 1 tries, 5622 fired transitions, 965 secs || 5391 markings, 26983 edges, 4 markings/sec, 965 secs
lola: 1 tries, 5644 fired transitions, 970 secs || 5413 markings, 27118 edges, 4 markings/sec, 970 secs
lola: 1 tries, 5666 fired transitions, 975 secs || 5435 markings, 27253 edges, 4 markings/sec, 975 secs
lola: 1 tries, 5689 fired transitions, 980 secs || 5458 markings, 27393 edges, 5 markings/sec, 980 secs
lola: 1 tries, 5712 fired transitions, 985 secs || 5481 markings, 27537 edges, 5 markings/sec, 985 secs
lola: 1 tries, 5735 fired transitions, 990 secs || 5504 markings, 27689 edges, 5 markings/sec, 990 secs
lola: 1 tries, 5757 fired transitions, 995 secs || 5527 markings, 27853 edges, 5 markings/sec, 995 secs
lola: 1 tries, 5780 fired transitions, 1000 secs || 5551 markings, 28024 edges, 5 markings/sec, 1000 secs
lola: 1 tries, 5804 fired transitions, 1005 secs || 5574 markings, 28185 edges, 5 markings/sec, 1005 secs
lola: 1 tries, 5826 fired transitions, 1010 secs || 5597 markings, 28346 edges, 5 markings/sec, 1010 secs
lola: 1 tries, 5849 fired transitions, 1015 secs || 5620 markings, 28483 edges, 5 markings/sec, 1015 secs
lola: 1 tries, 5872 fired transitions, 1020 secs || 5643 markings, 28646 edges, 5 markings/sec, 1020 secs
lola: 1 tries, 5895 fired transitions, 1025 secs || 5667 markings, 28814 edges, 5 markings/sec, 1025 secs
lola: 1 tries, 5920 fired transitions, 1030 secs || 5692 markings, 28959 edges, 5 markings/sec, 1030 secs
lola: 1 tries, 5946 fired transitions, 1035 secs || 5718 markings, 29141 edges, 5 markings/sec, 1035 secs
lola: 1 tries, 5971 fired transitions, 1040 secs || 5743 markings, 29308 edges, 5 markings/sec, 1040 secs
lola: 1 tries, 5997 fired transitions, 1045 secs || 5769 markings, 29474 edges, 5 markings/sec, 1045 secs
lola: 1 tries, 6023 fired transitions, 1050 secs || 5795 markings, 29606 edges, 5 markings/sec, 1050 secs
lola: 1 tries, 6049 fired transitions, 1055 secs || 5821 markings, 29785 edges, 5 markings/sec, 1055 secs
lola: 1 tries, 6075 fired transitions, 1060 secs || 5847 markings, 29989 edges, 5 markings/sec, 1060 secs
lola: 1 tries, 6101 fired transitions, 1065 secs || 5873 markings, 30159 edges, 5 markings/sec, 1065 secs
lola: 1 tries, 6127 fired transitions, 1070 secs || 5899 markings, 30341 edges, 5 markings/sec, 1070 secs
lola: 1 tries, 6153 fired transitions, 1075 secs || 5925 markings, 30562 edges, 5 markings/sec, 1075 secs
lola: 1 tries, 6179 fired transitions, 1080 secs || 5951 markings, 30782 edges, 5 markings/sec, 1080 secs
lola: 1 tries, 6205 fired transitions, 1085 secs || 5977 markings, 31008 edges, 5 markings/sec, 1085 secs
lola: 1 tries, 6231 fired transitions, 1090 secs || 6003 markings, 31234 edges, 5 markings/sec, 1090 secs
lola: 1 tries, 6256 fired transitions, 1095 secs || 6028 markings, 31459 edges, 5 markings/sec, 1095 secs
lola: 1 tries, 6281 fired transitions, 1100 secs || 6053 markings, 31676 edges, 5 markings/sec, 1100 secs
lola: 1 tries, 6306 fired transitions, 1105 secs || 6078 markings, 31891 edges, 5 markings/sec, 1105 secs
lola: 1 tries, 6332 fired transitions, 1110 secs || 6104 markings, 32115 edges, 5 markings/sec, 1110 secs
lola: 1 tries, 6358 fired transitions, 1115 secs || 6130 markings, 32396 edges, 5 markings/sec, 1115 secs
lola: 1 tries, 6384 fired transitions, 1120 secs || 6156 markings, 32725 edges, 5 markings/sec, 1120 secs
lola: 1 tries, 6410 fired transitions, 1125 secs || 6182 markings, 32884 edges, 5 markings/sec, 1125 secs
lola: 1 tries, 6436 fired transitions, 1130 secs || 6208 markings, 33016 edges, 5 markings/sec, 1130 secs
lola: 1 tries, 6462 fired transitions, 1135 secs || 6234 markings, 33146 edges, 5 markings/sec, 1135 secs
lola: 1 tries, 6488 fired transitions, 1140 secs || 6260 markings, 33312 edges, 5 markings/sec, 1140 secs
lola: 1 tries, 6514 fired transitions, 1145 secs || 6286 markings, 33450 edges, 5 markings/sec, 1145 secs
lola: 1 tries, 6540 fired transitions, 1150 secs || 6312 markings, 33586 edges, 5 markings/sec, 1150 secs
lola: 1 tries, 6567 fired transitions, 1155 secs || 6339 markings, 33707 edges, 5 markings/sec, 1155 secs
lola: 1 tries, 6592 fired transitions, 1160 secs || 6364 markings, 33864 edges, 5 markings/sec, 1160 secs
lola: 1 tries, 6618 fired transitions, 1165 secs || 6390 markings, 34097 edges, 5 markings/sec, 1165 secs
lola: 1 tries, 6643 fired transitions, 1170 secs || 6415 markings, 34422 edges, 5 markings/sec, 1170 secs
lola: 1 tries, 6669 fired transitions, 1175 secs || 6441 markings, 34790 edges, 5 markings/sec, 1175 secs
lola: 1 tries, 6694 fired transitions, 1180 secs || 6466 markings, 35066 edges, 5 markings/sec, 1180 secs
lola: 1 tries, 6720 fired transitions, 1185 secs || 6492 markings, 35308 edges, 5 markings/sec, 1185 secs
lola: 1 tries, 6745 fired transitions, 1190 secs || 6517 markings, 35576 edges, 5 markings/sec, 1190 secs
lola: 1 tries, 6771 fired transitions, 1195 secs || 6543 markings, 35825 edges, 5 markings/sec, 1195 secs
lola: 1 tries, 6796 fired transitions, 1200 secs || 6568 markings, 36000 edges, 5 markings/sec, 1200 secs
lola: 1 tries, 6822 fired transitions, 1205 secs || 6594 markings, 36140 edges, 5 markings/sec, 1205 secs
lola: 1 tries, 6848 fired transitions, 1210 secs || 6620 markings, 36310 edges, 5 markings/sec, 1210 secs
lola: 1 tries, 6873 fired transitions, 1215 secs || 6645 markings, 36463 edges, 5 markings/sec, 1215 secs
lola: 1 tries, 6905 fired transitions, 1220 secs || 6679 markings, 36655 edges, 7 markings/sec, 1220 secs
lola: 1 tries, 6949 fired transitions, 1225 secs || 6728 markings, 36930 edges, 10 markings/sec, 1225 secs
lola: 1 tries, 6990 fired transitions, 1230 secs || 6777 markings, 37267 edges, 10 markings/sec, 1230 secs
lola: 1 tries, 7031 fired transitions, 1235 secs || 6827 markings, 37629 edges, 10 markings/sec, 1235 secs
lola: 1 tries, 7072 fired transitions, 1240 secs || 6877 markings, 37973 edges, 10 markings/sec, 1240 secs
lola: 1 tries, 7115 fired transitions, 1245 secs || 6928 markings, 38315 edges, 10 markings/sec, 1245 secs
lola: 1 tries, 7140 fired transitions, 1250 secs || 6953 markings, 38465 edges, 5 markings/sec, 1250 secs
lola: 1 tries, 7165 fired transitions, 1255 secs || 6978 markings, 38630 edges, 5 markings/sec, 1255 secs
lola: 1 tries, 7190 fired transitions, 1260 secs || 7003 markings, 38823 edges, 5 markings/sec, 1260 secs
lola: 1 tries, 7217 fired transitions, 1265 secs || 7030 markings, 39007 edges, 5 markings/sec, 1265 secs
lola: 1 tries, 7243 fired transitions, 1270 secs || 7057 markings, 39156 edges, 5 markings/sec, 1270 secs
lola: 1 tries, 7268 fired transitions, 1275 secs || 7082 markings, 39325 edges, 5 markings/sec, 1275 secs
lola: 1 tries, 7291 fired transitions, 1280 secs || 7106 markings, 39493 edges, 5 markings/sec, 1280 secs
lola: 1 tries, 7314 fired transitions, 1285 secs || 7128 markings, 39647 edges, 4 markings/sec, 1285 secs
lola: 1 tries, 7337 fired transitions, 1290 secs || 7151 markings, 39808 edges, 5 markings/sec, 1290 secs
lola: 1 tries, 7360 fired transitions, 1295 secs || 7175 markings, 39976 edges, 5 markings/sec, 1295 secs
lola: 1 tries, 7385 fired transitions, 1300 secs || 7199 markings, 40162 edges, 5 markings/sec, 1300 secs
lola: 1 tries, 7408 fired transitions, 1305 secs || 7223 markings, 40339 edges, 5 markings/sec, 1305 secs
lola: 1 tries, 7431 fired transitions, 1310 secs || 7245 markings, 40496 edges, 4 markings/sec, 1310 secs
lola: 1 tries, 7455 fired transitions, 1315 secs || 7269 markings, 40658 edges, 5 markings/sec, 1315 secs
lola: 1 tries, 7478 fired transitions, 1320 secs || 7292 markings, 40822 edges, 5 markings/sec, 1320 secs
lola: 1 tries, 7502 fired transitions, 1325 secs || 7316 markings, 40970 edges, 5 markings/sec, 1325 secs
lola: 1 tries, 7526 fired transitions, 1330 secs || 7340 markings, 41164 edges, 5 markings/sec, 1330 secs
lola: 1 tries, 7549 fired transitions, 1335 secs || 7363 markings, 41307 edges, 5 markings/sec, 1335 secs
lola: 1 tries, 7573 fired transitions, 1340 secs || 7387 markings, 41461 edges, 5 markings/sec, 1340 secs
lola: 1 tries, 7596 fired transitions, 1345 secs || 7410 markings, 41650 edges, 5 markings/sec, 1345 secs
lola: 1 tries, 7620 fired transitions, 1350 secs || 7434 markings, 41865 edges, 5 markings/sec, 1350 secs
lola: 1 tries, 7643 fired transitions, 1355 secs || 7457 markings, 42071 edges, 5 markings/sec, 1355 secs
lola: 1 tries, 7667 fired transitions, 1360 secs || 7481 markings, 42278 edges, 5 markings/sec, 1360 secs
lola: 1 tries, 7691 fired transitions, 1365 secs || 7505 markings, 42427 edges, 5 markings/sec, 1365 secs
lola: 1 tries, 7715 fired transitions, 1370 secs || 7529 markings, 42563 edges, 5 markings/sec, 1370 secs
lola: 1 tries, 7738 fired transitions, 1375 secs || 7552 markings, 42701 edges, 5 markings/sec, 1375 secs
lola: 1 tries, 7762 fired transitions, 1380 secs || 7576 markings, 42834 edges, 5 markings/sec, 1380 secs
lola: 1 tries, 7785 fired transitions, 1385 secs || 7600 markings, 42929 edges, 5 markings/sec, 1385 secs
lola: 1 tries, 7809 fired transitions, 1390 secs || 7623 markings, 43018 edges, 5 markings/sec, 1390 secs
lola: 1 tries, 7833 fired transitions, 1395 secs || 7647 markings, 43112 edges, 5 markings/sec, 1395 secs
lola: 1 tries, 7857 fired transitions, 1400 secs || 7671 markings, 43236 edges, 5 markings/sec, 1400 secs
lola: 1 tries, 7880 fired transitions, 1405 secs || 7694 markings, 43421 edges, 5 markings/sec, 1405 secs
lola: 1 tries, 7903 fired transitions, 1410 secs || 7718 markings, 43629 edges, 5 markings/sec, 1410 secs
lola: 1 tries, 7927 fired transitions, 1415 secs || 7741 markings, 43727 edges, 5 markings/sec, 1415 secs
lola: 1 tries, 7951 fired transitions, 1420 secs || 7765 markings, 43823 edges, 5 markings/sec, 1420 secs
lola: 1 tries, 7975 fired transitions, 1425 secs || 7789 markings, 43930 edges, 5 markings/sec, 1425 secs
lola: 1 tries, 7999 fired transitions, 1430 secs || 7813 markings, 44048 edges, 5 markings/sec, 1430 secs
lola: 1 tries, 8023 fired transitions, 1435 secs || 7837 markings, 44168 edges, 5 markings/sec, 1435 secs
lola: 1 tries, 8046 fired transitions, 1440 secs || 7860 markings, 44283 edges, 5 markings/sec, 1440 secs
lola: 1 tries, 8069 fired transitions, 1445 secs || 7883 markings, 44398 edges, 5 markings/sec, 1445 secs
lola: 1 tries, 8093 fired transitions, 1450 secs || 7907 markings, 44526 edges, 5 markings/sec, 1450 secs
lola: 1 tries, 8116 fired transitions, 1455 secs || 7930 markings, 44664 edges, 5 markings/sec, 1455 secs
lola: 1 tries, 8140 fired transitions, 1460 secs || 7954 markings, 44833 edges, 5 markings/sec, 1460 secs
lola: 1 tries, 8163 fired transitions, 1465 secs || 7977 markings, 44971 edges, 5 markings/sec, 1465 secs
lola: 1 tries, 8187 fired transitions, 1470 secs || 8001 markings, 45175 edges, 5 markings/sec, 1470 secs
lola: 1 tries, 8211 fired transitions, 1475 secs || 8025 markings, 45439 edges, 5 markings/sec, 1475 secs
lola: 1 tries, 8235 fired transitions, 1480 secs || 8049 markings, 45703 edges, 5 markings/sec, 1480 secs
lola: 1 tries, 8259 fired transitions, 1485 secs || 8073 markings, 45967 edges, 5 markings/sec, 1485 secs
lola: 1 tries, 8284 fired transitions, 1490 secs || 8098 markings, 46242 edges, 5 markings/sec, 1490 secs
lola: 1 tries, 8308 fired transitions, 1495 secs || 8122 markings, 46506 edges, 5 markings/sec, 1495 secs
lola: 1 tries, 8332 fired transitions, 1500 secs || 8146 markings, 46770 edges, 5 markings/sec, 1500 secs
lola: 1 tries, 8356 fired transitions, 1505 secs || 8170 markings, 47034 edges, 5 markings/sec, 1505 secs
lola: 1 tries, 8380 fired transitions, 1510 secs || 8194 markings, 47338 edges, 5 markings/sec, 1510 secs
lola: 1 tries, 8404 fired transitions, 1515 secs || 8218 markings, 47602 edges, 5 markings/sec, 1515 secs
lola: 1 tries, 8428 fired transitions, 1520 secs || 8242 markings, 47802 edges, 5 markings/sec, 1520 secs
lola: 1 tries, 8453 fired transitions, 1525 secs || 8267 markings, 47976 edges, 5 markings/sec, 1525 secs
lola: 1 tries, 8478 fired transitions, 1530 secs || 8292 markings, 48151 edges, 5 markings/sec, 1530 secs
lola: 1 tries, 8503 fired transitions, 1535 secs || 8317 markings, 48372 edges, 5 markings/sec, 1535 secs
lola: 1 tries, 8528 fired transitions, 1540 secs || 8342 markings, 48596 edges, 5 markings/sec, 1540 secs
lola: 1 tries, 8552 fired transitions, 1545 secs || 8366 markings, 48802 edges, 5 markings/sec, 1545 secs
lola: 1 tries, 8577 fired transitions, 1550 secs || 8391 markings, 49013 edges, 5 markings/sec, 1550 secs
lola: 1 tries, 8602 fired transitions, 1555 secs || 8416 markings, 49223 edges, 5 markings/sec, 1555 secs
lola: 1 tries, 8627 fired transitions, 1560 secs || 8441 markings, 49432 edges, 5 markings/sec, 1560 secs
lola: 1 tries, 8651 fired transitions, 1565 secs || 8465 markings, 49645 edges, 5 markings/sec, 1565 secs
lola: 1 tries, 8674 fired transitions, 1570 secs || 8488 markings, 49836 edges, 5 markings/sec, 1570 secs
lola: 1 tries, 8698 fired transitions, 1575 secs || 8512 markings, 50011 edges, 5 markings/sec, 1575 secs
lola: 1 tries, 8723 fired transitions, 1580 secs || 8537 markings, 50186 edges, 5 markings/sec, 1580 secs
lola: 1 tries, 8748 fired transitions, 1585 secs || 8562 markings, 50362 edges, 5 markings/sec, 1585 secs
lola: 1 tries, 8773 fired transitions, 1590 secs || 8587 markings, 50537 edges, 5 markings/sec, 1590 secs
lola: 1 tries, 8798 fired transitions, 1595 secs || 8612 markings, 50712 edges, 5 markings/sec, 1595 secs
lola: 1 tries, 8823 fired transitions, 1600 secs || 8637 markings, 50897 edges, 5 markings/sec, 1600 secs
lola: 1 tries, 8848 fired transitions, 1605 secs || 8662 markings, 51074 edges, 5 markings/sec, 1605 secs
lola: 1 tries, 8874 fired transitions, 1610 secs || 8688 markings, 51245 edges, 5 markings/sec, 1610 secs
lola: 1 tries, 8899 fired transitions, 1615 secs || 8713 markings, 51422 edges, 5 markings/sec, 1615 secs
lola: 1 tries, 8924 fired transitions, 1620 secs || 8738 markings, 51594 edges, 5 markings/sec, 1620 secs
lola: 1 tries, 8949 fired transitions, 1625 secs || 8763 markings, 51768 edges, 5 markings/sec, 1625 secs
lola: 1 tries, 8974 fired transitions, 1630 secs || 8788 markings, 51943 edges, 5 markings/sec, 1630 secs
lola: 1 tries, 8999 fired transitions, 1635 secs || 8813 markings, 52114 edges, 5 markings/sec, 1635 secs
lola: 1 tries, 9024 fired transitions, 1640 secs || 8838 markings, 52318 edges, 5 markings/sec, 1640 secs
lola: 1 tries, 9048 fired transitions, 1645 secs || 8862 markings, 52532 edges, 5 markings/sec, 1645 secs
lola: 1 tries, 9073 fired transitions, 1650 secs || 8887 markings, 52831 edges, 5 markings/sec, 1650 secs
lola: 1 tries, 9098 fired transitions, 1655 secs || 8912 markings, 53080 edges, 5 markings/sec, 1655 secs
lola: 1 tries, 9123 fired transitions, 1660 secs || 8937 markings, 53330 edges, 5 markings/sec, 1660 secs
lola: 1 tries, 9147 fired transitions, 1665 secs || 8961 markings, 53570 edges, 5 markings/sec, 1665 secs
lola: 1 tries, 9172 fired transitions, 1670 secs || 8986 markings, 53820 edges, 5 markings/sec, 1670 secs
lola: 1 tries, 9197 fired transitions, 1675 secs || 9011 markings, 54091 edges, 5 markings/sec, 1675 secs
lola: 1 tries, 9222 fired transitions, 1680 secs || 9036 markings, 54416 edges, 5 markings/sec, 1680 secs
lola: 1 tries, 9247 fired transitions, 1685 secs || 9061 markings, 54651 edges, 5 markings/sec, 1685 secs
lola: 1 tries, 9271 fired transitions, 1690 secs || 9086 markings, 54766 edges, 5 markings/sec, 1690 secs
lola: 1 tries, 9296 fired transitions, 1695 secs || 9111 markings, 54865 edges, 5 markings/sec, 1695 secs
lola: 1 tries, 9322 fired transitions, 1700 secs || 9136 markings, 54963 edges, 5 markings/sec, 1700 secs
lola: 1 tries, 9347 fired transitions, 1705 secs || 9161 markings, 55076 edges, 5 markings/sec, 1705 secs
lola: 1 tries, 9372 fired transitions, 1710 secs || 9186 markings, 55176 edges, 5 markings/sec, 1710 secs
lola: 1 tries, 9397 fired transitions, 1715 secs || 9211 markings, 55282 edges, 5 markings/sec, 1715 secs
lola: 1 tries, 9422 fired transitions, 1720 secs || 9236 markings, 55388 edges, 5 markings/sec, 1720 secs
lola: 1 tries, 9447 fired transitions, 1725 secs || 9262 markings, 55498 edges, 5 markings/sec, 1725 secs
lola: 1 tries, 9473 fired transitions, 1730 secs || 9287 markings, 55594 edges, 5 markings/sec, 1730 secs
lola: 1 tries, 9498 fired transitions, 1735 secs || 9312 markings, 55703 edges, 5 markings/sec, 1735 secs
lola: 1 tries, 9522 fired transitions, 1740 secs || 9337 markings, 55865 edges, 5 markings/sec, 1740 secs
lola: 1 tries, 9548 fired transitions, 1745 secs || 9362 markings, 55990 edges, 5 markings/sec, 1745 secs
lola: 1 tries, 9573 fired transitions, 1750 secs || 9387 markings, 56112 edges, 5 markings/sec, 1750 secs
lola: 1 tries, 9598 fired transitions, 1755 secs || 9412 markings, 56241 edges, 5 markings/sec, 1755 secs
lola: 1 tries, 9623 fired transitions, 1760 secs || 9437 markings, 56398 edges, 5 markings/sec, 1760 secs
lola: 1 tries, 9649 fired transitions, 1765 secs || 9463 markings, 56502 edges, 5 markings/sec, 1765 secs
lola: 1 tries, 9674 fired transitions, 1770 secs || 9488 markings, 56611 edges, 5 markings/sec, 1770 secs
lola: 1 tries, 9699 fired transitions, 1775 secs || 9513 markings, 56710 edges, 5 markings/sec, 1775 secs
lola: 1 tries, 9723 fired transitions, 1780 secs || 9537 markings, 56825 edges, 5 markings/sec, 1780 secs
lola: 1 tries, 9747 fired transitions, 1785 secs || 9561 markings, 56953 edges, 5 markings/sec, 1785 secs
lola: 1 tries, 9770 fired transitions, 1790 secs || 9584 markings, 57072 edges, 5 markings/sec, 1790 secs
lola: 1 tries, 9794 fired transitions, 1795 secs || 9608 markings, 57194 edges, 5 markings/sec, 1795 secs
lola: 1 tries, 9818 fired transitions, 1800 secs || 9632 markings, 57319 edges, 5 markings/sec, 1800 secs
lola: 1 tries, 9842 fired transitions, 1805 secs || 9656 markings, 57447 edges, 5 markings/sec, 1805 secs
lola: 1 tries, 9866 fired transitions, 1810 secs || 9680 markings, 57579 edges, 5 markings/sec, 1810 secs
lola: 1 tries, 9890 fired transitions, 1815 secs || 9704 markings, 57699 edges, 5 markings/sec, 1815 secs
lola: 1 tries, 9914 fired transitions, 1820 secs || 9728 markings, 57819 edges, 5 markings/sec, 1820 secs
lola: 1 tries, 9939 fired transitions, 1825 secs || 9753 markings, 57952 edges, 5 markings/sec, 1825 secs
lola: 1 tries, 9963 fired transitions, 1830 secs || 9777 markings, 58172 edges, 5 markings/sec, 1830 secs
lola: 1 tries, 9987 fired transitions, 1835 secs || 9801 markings, 58340 edges, 5 markings/sec, 1835 secs
lola: 1 tries, 10026 fired transitions, 1840 secs || 9846 markings, 58745 edges, 9 markings/sec, 1840 secs
lola: 1 tries, 10051 fired transitions, 1845 secs || 9871 markings, 58966 edges, 5 markings/sec, 1845 secs
lola: 1 tries, 10074 fired transitions, 1850 secs || 9894 markings, 59117 edges, 5 markings/sec, 1850 secs
lola: 1 tries, 10098 fired transitions, 1855 secs || 9919 markings, 59267 edges, 5 markings/sec, 1855 secs
lola: 1 tries, 10122 fired transitions, 1860 secs || 9943 markings, 59426 edges, 5 markings/sec, 1860 secs
lola: 1 tries, 10145 fired transitions, 1865 secs || 9966 markings, 59581 edges, 5 markings/sec, 1865 secs
lola: 1 tries, 10169 fired transitions, 1870 secs || 9990 markings, 59736 edges, 5 markings/sec, 1870 secs
lola: 1 tries, 10192 fired transitions, 1875 secs || 10013 markings, 59860 edges, 5 markings/sec, 1875 secs
lola: 1 tries, 10215 fired transitions, 1880 secs || 10036 markings, 60035 edges, 5 markings/sec, 1880 secs
lola: 1 tries, 10237 fired transitions, 1885 secs || 10058 markings, 60191 edges, 4 markings/sec, 1885 secs
lola: 1 tries, 10260 fired transitions, 1890 secs || 10081 markings, 60381 edges, 5 markings/sec, 1890 secs
lola: 1 tries, 10283 fired transitions, 1895 secs || 10104 markings, 60525 edges, 5 markings/sec, 1895 secs
lola: 1 tries, 10307 fired transitions, 1900 secs || 10128 markings, 60680 edges, 5 markings/sec, 1900 secs
lola: 1 tries, 10330 fired transitions, 1905 secs || 10152 markings, 60946 edges, 5 markings/sec, 1905 secs
lola: 1 tries, 10368 fired transitions, 1910 secs || 10198 markings, 61384 edges, 9 markings/sec, 1910 secs
lola: 1 tries, 10393 fired transitions, 1915 secs || 10223 markings, 61631 edges, 5 markings/sec, 1915 secs
lola: 1 tries, 10417 fired transitions, 1920 secs || 10247 markings, 61871 edges, 5 markings/sec, 1920 secs
lola: 1 tries, 10441 fired transitions, 1925 secs || 10272 markings, 62127 edges, 5 markings/sec, 1925 secs
lola: 1 tries, 10466 fired transitions, 1930 secs || 10297 markings, 62302 edges, 5 markings/sec, 1930 secs
lola: 1 tries, 10493 fired transitions, 1935 secs || 10325 markings, 62538 edges, 6 markings/sec, 1935 secs
lola: 1 tries, 10517 fired transitions, 1940 secs || 10350 markings, 62785 edges, 5 markings/sec, 1940 secs
lola: 1 tries, 10551 fired transitions, 1945 secs || 10381 markings, 63067 edges, 6 markings/sec, 1945 secs
lola: 1 tries, 10582 fired transitions, 1950 secs || 10416 markings, 63461 edges, 7 markings/sec, 1950 secs
lola: 1 tries, 10607 fired transitions, 1955 secs || 10441 markings, 63690 edges, 5 markings/sec, 1955 secs
lola: 1 tries, 10630 fired transitions, 1960 secs || 10465 markings, 64002 edges, 5 markings/sec, 1960 secs
lola: 1 tries, 10654 fired transitions, 1965 secs || 10489 markings, 64314 edges, 5 markings/sec, 1965 secs
lola: 1 tries, 10678 fired transitions, 1970 secs || 10513 markings, 64546 edges, 5 markings/sec, 1970 secs
lola: 1 tries, 10701 fired transitions, 1975 secs || 10536 markings, 64751 edges, 5 markings/sec, 1975 secs
lola: 1 tries, 10724 fired transitions, 1980 secs || 10560 markings, 64932 edges, 5 markings/sec, 1980 secs
lola: 1 tries, 10747 fired transitions, 1985 secs || 10583 markings, 65092 edges, 5 markings/sec, 1985 secs
lola: 1 tries, 10770 fired transitions, 1990 secs || 10606 markings, 65170 edges, 5 markings/sec, 1990 secs
lola: 1 tries, 10793 fired transitions, 1995 secs || 10629 markings, 65249 edges, 5 markings/sec, 1995 secs
lola: 1 tries, 10816 fired transitions, 2000 secs || 10652 markings, 65339 edges, 5 markings/sec, 2000 secs
lola: 1 tries, 10839 fired transitions, 2005 secs || 10675 markings, 65433 edges, 5 markings/sec, 2005 secs
lola: 1 tries, 10862 fired transitions, 2010 secs || 10698 markings, 65546 edges, 5 markings/sec, 2010 secs
lola: 1 tries, 10884 fired transitions, 2015 secs || 10720 markings, 65634 edges, 4 markings/sec, 2015 secs
lola: 1 tries, 10908 fired transitions, 2020 secs || 10744 markings, 65730 edges, 5 markings/sec, 2020 secs
lola: 1 tries, 10931 fired transitions, 2025 secs || 10768 markings, 65828 edges, 5 markings/sec, 2025 secs
lola: 1 tries, 10955 fired transitions, 2030 secs || 10791 markings, 65923 edges, 5 markings/sec, 2030 secs
lola: 1 tries, 10977 fired transitions, 2035 secs || 10813 markings, 66012 edges, 4 markings/sec, 2035 secs
lola: 1 tries, 11001 fired transitions, 2040 secs || 10837 markings, 66112 edges, 5 markings/sec, 2040 secs
lola: 1 tries, 11024 fired transitions, 2045 secs || 10860 markings, 66302 edges, 5 markings/sec, 2045 secs
lola: 1 tries, 11047 fired transitions, 2050 secs || 10883 markings, 66486 edges, 5 markings/sec, 2050 secs
lola: 1 tries, 11071 fired transitions, 2055 secs || 10907 markings, 66688 edges, 5 markings/sec, 2055 secs
lola: 1 tries, 11093 fired transitions, 2060 secs || 10929 markings, 66869 edges, 4 markings/sec, 2060 secs
lola: 1 tries, 11114 fired transitions, 2065 secs || 10951 markings, 67063 edges, 4 markings/sec, 2065 secs
lola: 1 tries, 11136 fired transitions, 2070 secs || 10973 markings, 67261 edges, 4 markings/sec, 2070 secs
lola: 1 tries, 11159 fired transitions, 2075 secs || 10996 markings, 67446 edges, 5 markings/sec, 2075 secs
lola: 1 tries, 11181 fired transitions, 2080 secs || 11018 markings, 67600 edges, 4 markings/sec, 2080 secs
lola: 1 tries, 11203 fired transitions, 2085 secs || 11040 markings, 67792 edges, 4 markings/sec, 2085 secs
lola: 1 tries, 11227 fired transitions, 2090 secs || 11064 markings, 67944 edges, 5 markings/sec, 2090 secs
lola: 1 tries, 11252 fired transitions, 2095 secs || 11089 markings, 68119 edges, 5 markings/sec, 2095 secs
lola: 1 tries, 11276 fired transitions, 2100 secs || 11113 markings, 68287 edges, 5 markings/sec, 2100 secs
lola: 1 tries, 11299 fired transitions, 2105 secs || 11136 markings, 68446 edges, 5 markings/sec, 2105 secs
lola: 1 tries, 11322 fired transitions, 2110 secs || 11159 markings, 68630 edges, 5 markings/sec, 2110 secs
lola: 1 tries, 11344 fired transitions, 2115 secs || 11182 markings, 68821 edges, 5 markings/sec, 2115 secs
lola: 1 tries, 11368 fired transitions, 2120 secs || 11206 markings, 69025 edges, 5 markings/sec, 2120 secs
lola: 1 tries, 11392 fired transitions, 2125 secs || 11230 markings, 69221 edges, 5 markings/sec, 2125 secs
lola: 1 tries, 11416 fired transitions, 2130 secs || 11254 markings, 69425 edges, 5 markings/sec, 2130 secs
lola: 1 tries, 11439 fired transitions, 2135 secs || 11277 markings, 69625 edges, 5 markings/sec, 2135 secs
lola: 1 tries, 11462 fired transitions, 2140 secs || 11300 markings, 69818 edges, 5 markings/sec, 2140 secs
lola: 1 tries, 11484 fired transitions, 2145 secs || 11322 markings, 70046 edges, 4 markings/sec, 2145 secs
lola: 1 tries, 11506 fired transitions, 2150 secs || 11345 markings, 70211 edges, 5 markings/sec, 2150 secs
lola: 1 tries, 11530 fired transitions, 2155 secs || 11369 markings, 70379 edges, 5 markings/sec, 2155 secs
lola: 1 tries, 11553 fired transitions, 2160 secs || 11392 markings, 70562 edges, 5 markings/sec, 2160 secs
lola: 1 tries, 11576 fired transitions, 2165 secs || 11415 markings, 70765 edges, 5 markings/sec, 2165 secs
lola: 1 tries, 11599 fired transitions, 2170 secs || 11438 markings, 70967 edges, 5 markings/sec, 2170 secs
lola: 1 tries, 11621 fired transitions, 2175 secs || 11461 markings, 71158 edges, 5 markings/sec, 2175 secs
lola: 1 tries, 11644 fired transitions, 2180 secs || 11484 markings, 71323 edges, 5 markings/sec, 2180 secs
lola: 1 tries, 11666 fired transitions, 2185 secs || 11506 markings, 71465 edges, 4 markings/sec, 2185 secs
lola: 1 tries, 11687 fired transitions, 2190 secs || 11527 markings, 71625 edges, 4 markings/sec, 2190 secs
lola: 1 tries, 11714 fired transitions, 2195 secs || 11555 markings, 71820 edges, 6 markings/sec, 2195 secs
lola: 1 tries, 11736 fired transitions, 2200 secs || 11577 markings, 71930 edges, 4 markings/sec, 2200 secs
lola: 1 tries, 11757 fired transitions, 2205 secs || 11598 markings, 72066 edges, 4 markings/sec, 2205 secs
lola: 1 tries, 11779 fired transitions, 2210 secs || 11620 markings, 72245 edges, 4 markings/sec, 2210 secs
lola: 1 tries, 11801 fired transitions, 2215 secs || 11642 markings, 72457 edges, 4 markings/sec, 2215 secs
lola: 1 tries, 11821 fired transitions, 2220 secs || 11663 markings, 72665 edges, 4 markings/sec, 2220 secs
lola: 1 tries, 11842 fired transitions, 2225 secs || 11684 markings, 72886 edges, 4 markings/sec, 2225 secs
lola: 1 tries, 11863 fired transitions, 2230 secs || 11706 markings, 73122 edges, 4 markings/sec, 2230 secs
lola: 1 tries, 11886 fired transitions, 2235 secs || 11728 markings, 73265 edges, 4 markings/sec, 2235 secs
lola: 1 tries, 11908 fired transitions, 2240 secs || 11751 markings, 73484 edges, 5 markings/sec, 2240 secs
lola: 1 tries, 11931 fired transitions, 2245 secs || 11774 markings, 73725 edges, 5 markings/sec, 2245 secs
lola: 1 tries, 11954 fired transitions, 2250 secs || 11798 markings, 73917 edges, 5 markings/sec, 2250 secs
lola: 1 tries, 11978 fired transitions, 2255 secs || 11821 markings, 74120 edges, 5 markings/sec, 2255 secs
lola: 1 tries, 12000 fired transitions, 2260 secs || 11844 markings, 74328 edges, 5 markings/sec, 2260 secs
lola: 1 tries, 12023 fired transitions, 2265 secs || 11867 markings, 74562 edges, 5 markings/sec, 2265 secs
lola: 1 tries, 12045 fired transitions, 2270 secs || 11889 markings, 74805 edges, 4 markings/sec, 2270 secs
lola: 1 tries, 12068 fired transitions, 2275 secs || 11912 markings, 75035 edges, 5 markings/sec, 2275 secs
lola: 1 tries, 12091 fired transitions, 2280 secs || 11935 markings, 75265 edges, 5 markings/sec, 2280 secs
lola: 1 tries, 12115 fired transitions, 2285 secs || 11959 markings, 75505 edges, 5 markings/sec, 2285 secs
lola: 1 tries, 12137 fired transitions, 2290 secs || 11982 markings, 75754 edges, 5 markings/sec, 2290 secs
lola: 1 tries, 12160 fired transitions, 2295 secs || 12005 markings, 75915 edges, 5 markings/sec, 2295 secs
lola: 1 tries, 12183 fired transitions, 2300 secs || 12029 markings, 76083 edges, 5 markings/sec, 2300 secs
lola: 1 tries, 12206 fired transitions, 2305 secs || 12052 markings, 76285 edges, 5 markings/sec, 2305 secs
lola: 1 tries, 12229 fired transitions, 2310 secs || 12075 markings, 76445 edges, 5 markings/sec, 2310 secs
lola: 1 tries, 12253 fired transitions, 2315 secs || 12099 markings, 76609 edges, 5 markings/sec, 2315 secs
lola: 1 tries, 12276 fired transitions, 2320 secs || 12122 markings, 76758 edges, 5 markings/sec, 2320 secs
lola: 1 tries, 12299 fired transitions, 2325 secs || 12145 markings, 76904 edges, 5 markings/sec, 2325 secs
lola: 1 tries, 12321 fired transitions, 2330 secs || 12168 markings, 77063 edges, 5 markings/sec, 2330 secs
lola: 1 tries, 12344 fired transitions, 2335 secs || 12191 markings, 77251 edges, 5 markings/sec, 2335 secs
lola: 1 tries, 12366 fired transitions, 2340 secs || 12214 markings, 77436 edges, 5 markings/sec, 2340 secs
lola: 1 tries, 12389 fired transitions, 2345 secs || 12237 markings, 77643 edges, 5 markings/sec, 2345 secs
lola: 1 tries, 12411 fired transitions, 2350 secs || 12260 markings, 77793 edges, 5 markings/sec, 2350 secs
lola: 1 tries, 12434 fired transitions, 2355 secs || 12282 markings, 77975 edges, 4 markings/sec, 2355 secs
lola: 1 tries, 12456 fired transitions, 2360 secs || 12306 markings, 78140 edges, 5 markings/sec, 2360 secs
lola: 1 tries, 12479 fired transitions, 2365 secs || 12328 markings, 78294 edges, 4 markings/sec, 2365 secs
lola: 1 tries, 12502 fired transitions, 2370 secs || 12351 markings, 78465 edges, 5 markings/sec, 2370 secs
lola: 1 tries, 12524 fired transitions, 2375 secs || 12374 markings, 78663 edges, 5 markings/sec, 2375 secs
lola: 1 tries, 12547 fired transitions, 2380 secs || 12397 markings, 78842 edges, 5 markings/sec, 2380 secs
lola: 1 tries, 12569 fired transitions, 2385 secs || 12420 markings, 78968 edges, 5 markings/sec, 2385 secs
lola: 1 tries, 12592 fired transitions, 2390 secs || 12443 markings, 79083 edges, 5 markings/sec, 2390 secs
lola: 1 tries, 12614 fired transitions, 2395 secs || 12465 markings, 79182 edges, 4 markings/sec, 2395 secs
lola: 1 tries, 12636 fired transitions, 2400 secs || 12488 markings, 79271 edges, 5 markings/sec, 2400 secs
lola: 1 tries, 12659 fired transitions, 2405 secs || 12511 markings, 79362 edges, 5 markings/sec, 2405 secs
lola: 1 tries, 12682 fired transitions, 2410 secs || 12534 markings, 79439 edges, 5 markings/sec, 2410 secs
lola: 1 tries, 12704 fired transitions, 2415 secs || 12557 markings, 79506 edges, 5 markings/sec, 2415 secs
lola: 1 tries, 12726 fired transitions, 2420 secs || 12580 markings, 79594 edges, 5 markings/sec, 2420 secs
lola: 1 tries, 12749 fired transitions, 2425 secs || 12602 markings, 79679 edges, 4 markings/sec, 2425 secs
lola: 1 tries, 12772 fired transitions, 2430 secs || 12625 markings, 79766 edges, 5 markings/sec, 2430 secs
lola: 1 tries, 12795 fired transitions, 2435 secs || 12648 markings, 79858 edges, 5 markings/sec, 2435 secs
lola: 1 tries, 12817 fired transitions, 2440 secs || 12671 markings, 79938 edges, 5 markings/sec, 2440 secs
lola: 1 tries, 12840 fired transitions, 2445 secs || 12694 markings, 80026 edges, 5 markings/sec, 2445 secs
lola: 1 tries, 12862 fired transitions, 2450 secs || 12717 markings, 80107 edges, 5 markings/sec, 2450 secs
lola: 1 tries, 12885 fired transitions, 2455 secs || 12739 markings, 80186 edges, 4 markings/sec, 2455 secs
lola: 1 tries, 12907 fired transitions, 2460 secs || 12762 markings, 80262 edges, 5 markings/sec, 2460 secs
lola: 1 tries, 12929 fired transitions, 2465 secs || 12785 markings, 80336 edges, 5 markings/sec, 2465 secs
lola: 1 tries, 12952 fired transitions, 2470 secs || 12808 markings, 80409 edges, 5 markings/sec, 2470 secs
lola: 1 tries, 12974 fired transitions, 2475 secs || 12830 markings, 80482 edges, 4 markings/sec, 2475 secs
lola: 1 tries, 12996 fired transitions, 2480 secs || 12853 markings, 80570 edges, 5 markings/sec, 2480 secs
lola: 1 tries, 13019 fired transitions, 2485 secs || 12876 markings, 80662 edges, 5 markings/sec, 2485 secs
lola: 1 tries, 13041 fired transitions, 2490 secs || 12899 markings, 80752 edges, 5 markings/sec, 2490 secs
lola: 1 tries, 13064 fired transitions, 2495 secs || 12922 markings, 80844 edges, 5 markings/sec, 2495 secs
lola: 1 tries, 13086 fired transitions, 2500 secs || 12945 markings, 80936 edges, 5 markings/sec, 2500 secs
lola: 1 tries, 13109 fired transitions, 2505 secs || 12968 markings, 81040 edges, 5 markings/sec, 2505 secs
lola: 1 tries, 13131 fired transitions, 2510 secs || 12990 markings, 81176 edges, 4 markings/sec, 2510 secs
lola: 1 tries, 13153 fired transitions, 2515 secs || 13013 markings, 81316 edges, 5 markings/sec, 2515 secs
lola: 1 tries, 13176 fired transitions, 2520 secs || 13036 markings, 81477 edges, 5 markings/sec, 2520 secs
lola: 1 tries, 13198 fired transitions, 2525 secs || 13058 markings, 81606 edges, 4 markings/sec, 2525 secs
lola: 1 tries, 13221 fired transitions, 2530 secs || 13081 markings, 81748 edges, 5 markings/sec, 2530 secs
lola: 1 tries, 13243 fired transitions, 2535 secs || 13104 markings, 81874 edges, 5 markings/sec, 2535 secs
lola: 1 tries, 13265 fired transitions, 2540 secs || 13127 markings, 81949 edges, 5 markings/sec, 2540 secs
lola: 1 tries, 13288 fired transitions, 2545 secs || 13150 markings, 82016 edges, 5 markings/sec, 2545 secs
lola: 1 tries, 13312 fired transitions, 2550 secs || 13174 markings, 82095 edges, 5 markings/sec, 2550 secs
lola: 1 tries, 13333 fired transitions, 2555 secs || 13197 markings, 82214 edges, 5 markings/sec, 2555 secs
lola: 1 tries, 13355 fired transitions, 2560 secs || 13219 markings, 82307 edges, 4 markings/sec, 2560 secs
lola: 1 tries, 13377 fired transitions, 2565 secs || 13241 markings, 82374 edges, 4 markings/sec, 2565 secs
lola: 1 tries, 13400 fired transitions, 2570 secs || 13264 markings, 82444 edges, 5 markings/sec, 2570 secs
lola: 1 tries, 13422 fired transitions, 2575 secs || 13287 markings, 82525 edges, 5 markings/sec, 2575 secs
lola: 1 tries, 13445 fired transitions, 2580 secs || 13310 markings, 82612 edges, 5 markings/sec, 2580 secs
lola: 1 tries, 13467 fired transitions, 2585 secs || 13333 markings, 82697 edges, 5 markings/sec, 2585 secs
lola: 1 tries, 13490 fired transitions, 2590 secs || 13356 markings, 82774 edges, 5 markings/sec, 2590 secs
lola: 1 tries, 13512 fired transitions, 2595 secs || 13378 markings, 82854 edges, 4 markings/sec, 2595 secs
lola: 1 tries, 13534 fired transitions, 2600 secs || 13401 markings, 82943 edges, 5 markings/sec, 2600 secs
lola: 1 tries, 13557 fired transitions, 2605 secs || 13424 markings, 83032 edges, 5 markings/sec, 2605 secs
lola: 1 tries, 13579 fired transitions, 2610 secs || 13447 markings, 83110 edges, 5 markings/sec, 2610 secs
lola: 1 tries, 13602 fired transitions, 2615 secs || 13470 markings, 83186 edges, 5 markings/sec, 2615 secs
lola: 1 tries, 13626 fired transitions, 2620 secs || 13494 markings, 83275 edges, 5 markings/sec, 2620 secs
lola: 1 tries, 13648 fired transitions, 2625 secs || 13517 markings, 83367 edges, 5 markings/sec, 2625 secs
lola: 1 tries, 13671 fired transitions, 2630 secs || 13540 markings, 83456 edges, 5 markings/sec, 2630 secs
lola: 1 tries, 13694 fired transitions, 2635 secs || 13564 markings, 83552 edges, 5 markings/sec, 2635 secs
lola: 1 tries, 13718 fired transitions, 2640 secs || 13588 markings, 83649 edges, 5 markings/sec, 2640 secs
lola: 1 tries, 13741 fired transitions, 2645 secs || 13612 markings, 83745 edges, 5 markings/sec, 2645 secs
lola: 1 tries, 13765 fired transitions, 2650 secs || 13636 markings, 83865 edges, 5 markings/sec, 2650 secs
lola: 1 tries, 13789 fired transitions, 2655 secs || 13661 markings, 83964 edges, 5 markings/sec, 2655 secs
lola: 1 tries, 13813 fired transitions, 2660 secs || 13685 markings, 84057 edges, 5 markings/sec, 2660 secs
lola: 1 tries, 13837 fired transitions, 2665 secs || 13709 markings, 84153 edges, 5 markings/sec, 2665 secs
lola: 1 tries, 13861 fired transitions, 2670 secs || 13734 markings, 84250 edges, 5 markings/sec, 2670 secs
lola: 1 tries, 13884 fired transitions, 2675 secs || 13758 markings, 84344 edges, 5 markings/sec, 2675 secs
lola: 1 tries, 13908 fired transitions, 2680 secs || 13783 markings, 84466 edges, 5 markings/sec, 2680 secs
lola: 1 tries, 13932 fired transitions, 2685 secs || 13807 markings, 84557 edges, 5 markings/sec, 2685 secs
lola: 1 tries, 13956 fired transitions, 2690 secs || 13832 markings, 84669 edges, 5 markings/sec, 2690 secs
lola: 1 tries, 13981 fired transitions, 2695 secs || 13857 markings, 84790 edges, 5 markings/sec, 2695 secs
lola: 1 tries, 14005 fired transitions, 2700 secs || 13882 markings, 84891 edges, 5 markings/sec, 2700 secs
lola: 1 tries, 14030 fired transitions, 2705 secs || 13907 markings, 84992 edges, 5 markings/sec, 2705 secs
lola: 1 tries, 14053 fired transitions, 2710 secs || 13931 markings, 85092 edges, 5 markings/sec, 2710 secs
lola: 1 tries, 14078 fired transitions, 2715 secs || 13956 markings, 85198 edges, 5 markings/sec, 2715 secs
lola: 1 tries, 14102 fired transitions, 2720 secs || 13980 markings, 85274 edges, 5 markings/sec, 2720 secs
lola: 1 tries, 14126 fired transitions, 2725 secs || 14005 markings, 85349 edges, 5 markings/sec, 2725 secs
lola: 1 tries, 14150 fired transitions, 2730 secs || 14030 markings, 85420 edges, 5 markings/sec, 2730 secs
lola: 1 tries, 14175 fired transitions, 2735 secs || 14055 markings, 85496 edges, 5 markings/sec, 2735 secs
lola: 1 tries, 14198 fired transitions, 2740 secs || 14079 markings, 85566 edges, 5 markings/sec, 2740 secs
lola: 1 tries, 14222 fired transitions, 2745 secs || 14103 markings, 85638 edges, 5 markings/sec, 2745 secs
lola: 1 tries, 14246 fired transitions, 2750 secs || 14127 markings, 85710 edges, 5 markings/sec, 2750 secs
lola: 1 tries, 14269 fired transitions, 2755 secs || 14151 markings, 85782 edges, 5 markings/sec, 2755 secs
lola: 1 tries, 14291 fired transitions, 2760 secs || 14174 markings, 85851 edges, 5 markings/sec, 2760 secs
lola: 1 tries, 14315 fired transitions, 2765 secs || 14198 markings, 85926 edges, 5 markings/sec, 2765 secs
lola: 1 tries, 14339 fired transitions, 2770 secs || 14222 markings, 85999 edges, 5 markings/sec, 2770 secs
lola: 1 tries, 14361 fired transitions, 2775 secs || 14245 markings, 86091 edges, 5 markings/sec, 2775 secs
lola: 1 tries, 14385 fired transitions, 2780 secs || 14269 markings, 86187 edges, 5 markings/sec, 2780 secs
lola: 1 tries, 14408 fired transitions, 2785 secs || 14293 markings, 86283 edges, 5 markings/sec, 2785 secs
lola: 1 tries, 14431 fired transitions, 2790 secs || 14317 markings, 86379 edges, 5 markings/sec, 2790 secs
lola: 1 tries, 14454 fired transitions, 2795 secs || 14340 markings, 86471 edges, 5 markings/sec, 2795 secs
lola: 1 tries, 14477 fired transitions, 2800 secs || 14363 markings, 86563 edges, 5 markings/sec, 2800 secs
lola: 1 tries, 14500 fired transitions, 2805 secs || 14387 markings, 86653 edges, 5 markings/sec, 2805 secs
lola: 1 tries, 14523 fired transitions, 2810 secs || 14411 markings, 86749 edges, 5 markings/sec, 2810 secs
lola: 1 tries, 14546 fired transitions, 2815 secs || 14435 markings, 86864 edges, 5 markings/sec, 2815 secs
lola: 1 tries, 14570 fired transitions, 2820 secs || 14459 markings, 86975 edges, 5 markings/sec, 2820 secs
lola: 1 tries, 14594 fired transitions, 2825 secs || 14483 markings, 87058 edges, 5 markings/sec, 2825 secs
lola: 1 tries, 14617 fired transitions, 2830 secs || 14507 markings, 87173 edges, 5 markings/sec, 2830 secs
lola: 1 tries, 14641 fired transitions, 2835 secs || 14531 markings, 87269 edges, 5 markings/sec, 2835 secs
lola: 1 tries, 14664 fired transitions, 2840 secs || 14555 markings, 87374 edges, 5 markings/sec, 2840 secs
lola: 1 tries, 14688 fired transitions, 2845 secs || 14579 markings, 87529 edges, 5 markings/sec, 2845 secs
lola: 1 tries, 14711 fired transitions, 2850 secs || 14603 markings, 87619 edges, 5 markings/sec, 2850 secs
lola: 1 tries, 14735 fired transitions, 2855 secs || 14627 markings, 87709 edges, 5 markings/sec, 2855 secs
lola: 1 tries, 14758 fired transitions, 2860 secs || 14650 markings, 87801 edges, 5 markings/sec, 2860 secs
lola: 1 tries, 14781 fired transitions, 2865 secs || 14674 markings, 87897 edges, 5 markings/sec, 2865 secs
lola: 1 tries, 14805 fired transitions, 2870 secs || 14698 markings, 87984 edges, 5 markings/sec, 2870 secs
lola: 1 tries, 14829 fired transitions, 2875 secs || 14722 markings, 88073 edges, 5 markings/sec, 2875 secs
lola: 1 tries, 14852 fired transitions, 2880 secs || 14746 markings, 88172 edges, 5 markings/sec, 2880 secs
lola: 1 tries, 14875 fired transitions, 2885 secs || 14770 markings, 88286 edges, 5 markings/sec, 2885 secs
lola: 1 tries, 14899 fired transitions, 2890 secs || 14794 markings, 88396 edges, 5 markings/sec, 2890 secs
lola: 1 tries, 14925 fired transitions, 2895 secs || 14821 markings, 88520 edges, 5 markings/sec, 2895 secs
lola: 1 tries, 14948 fired transitions, 2900 secs || 14845 markings, 88620 edges, 5 markings/sec, 2900 secs
lola: 1 tries, 14973 fired transitions, 2905 secs || 14870 markings, 88720 edges, 5 markings/sec, 2905 secs
lola: 1 tries, 14996 fired transitions, 2910 secs || 14894 markings, 88816 edges, 5 markings/sec, 2910 secs
lola: 1 tries, 15024 fired transitions, 2915 secs || 14922 markings, 88928 edges, 6 markings/sec, 2915 secs
lola: 1 tries, 15049 fired transitions, 2920 secs || 14947 markings, 89015 edges, 5 markings/sec, 2920 secs
lola: 1 tries, 15075 fired transitions, 2925 secs || 14973 markings, 89101 edges, 5 markings/sec, 2925 secs
lola: 1 tries, 15100 fired transitions, 2930 secs || 14998 markings, 89176 edges, 5 markings/sec, 2930 secs
lola: 1 tries, 15124 fired transitions, 2935 secs || 15023 markings, 89253 edges, 5 markings/sec, 2935 secs
lola: 1 tries, 15149 fired transitions, 2940 secs || 15048 markings, 89332 edges, 5 markings/sec, 2940 secs
lola: 1 tries, 15174 fired transitions, 2945 secs || 15073 markings, 89410 edges, 5 markings/sec, 2945 secs
lola: 1 tries, 15207 fired transitions, 2950 secs || 15110 markings, 89594 edges, 7 markings/sec, 2950 secs
lola: 1 tries, 15249 fired transitions, 2955 secs || 15161 markings, 89847 edges, 10 markings/sec, 2955 secs
lola: 1 tries, 15294 fired transitions, 2960 secs || 15209 markings, 90107 edges, 10 markings/sec, 2960 secs
lola: 1 tries, 15323 fired transitions, 2965 secs || 15238 markings, 90234 edges, 6 markings/sec, 2965 secs
lola: 1 tries, 15345 fired transitions, 2970 secs || 15261 markings, 90323 edges, 5 markings/sec, 2970 secs
lola: 1 tries, 15369 fired transitions, 2975 secs || 15285 markings, 90437 edges, 5 markings/sec, 2975 secs
lola: 1 tries, 15393 fired transitions, 2980 secs || 15310 markings, 90553 edges, 5 markings/sec, 2980 secs
lola: 1 tries, 15417 fired transitions, 2985 secs || 15334 markings, 90649 edges, 5 markings/sec, 2985 secs
lola: 1 tries, 15455 fired transitions, 2990 secs || 15379 markings, 90843 edges, 9 markings/sec, 2990 secs
lola: 1 tries, 15497 fired transitions, 2995 secs || 15429 markings, 91032 edges, 10 markings/sec, 2995 secs
lola: 1 tries, 15539 fired transitions, 3000 secs || 15479 markings, 91229 edges, 10 markings/sec, 3000 secs
lola: 1 tries, 15581 fired transitions, 3005 secs || 15530 markings, 91414 edges, 10 markings/sec, 3005 secs
lola: 1 tries, 15623 fired transitions, 3010 secs || 15581 markings, 91616 edges, 10 markings/sec, 3010 secs
lola: 1 tries, 15664 fired transitions, 3015 secs || 15629 markings, 91714 edges, 10 markings/sec, 3015 secs
lola: 1 tries, 15700 fired transitions, 3020 secs || 15670 markings, 91775 edges, 8 markings/sec, 3020 secs
lola: 1 tries, 15727 fired transitions, 3025 secs || 15700 markings, 91805 edges, 6 markings/sec, 3025 secs
lola: 1 tries, 15750 fired transitions, 3030 secs || 15724 markings, 91829 edges, 5 markings/sec, 3030 secs
lola: 1 tries, 15775 fired transitions, 3035 secs || 15750 markings, 91943 edges, 5 markings/sec, 3035 secs
lola: 1 tries, 15815 fired transitions, 3040 secs || 15788 markings, 92071 edges, 8 markings/sec, 3040 secs
lola: 1 tries, 15863 fired transitions, 3045 secs || 15832 markings, 92247 edges, 9 markings/sec, 3045 secs
lola: 1 tries, 15912 fired transitions, 3050 secs || 15876 markings, 92405 edges, 9 markings/sec, 3050 secs
lola: 1 tries, 15961 fired transitions, 3055 secs || 15920 markings, 92542 edges, 9 markings/sec, 3055 secs
lola: 1 tries, 16009 fired transitions, 3060 secs || 15965 markings, 92702 edges, 9 markings/sec, 3060 secs
lola: 1 tries, 16042 fired transitions, 3065 secs || 15996 markings, 92811 edges, 6 markings/sec, 3065 secs
lola: 1 tries, 16066 fired transitions, 3070 secs || 16020 markings, 92907 edges, 5 markings/sec, 3070 secs
lola: 1 tries, 16099 fired transitions, 3075 secs || 16051 markings, 93026 edges, 6 markings/sec, 3075 secs
lola: 1 tries, 16147 fired transitions, 3080 secs || 16093 markings, 93194 edges, 8 markings/sec, 3080 secs
lola: 1 tries, 16195 fired transitions, 3085 secs || 16135 markings, 93294 edges, 8 markings/sec, 3085 secs
lola: 1 tries, 16243 fired transitions, 3090 secs || 16178 markings, 93460 edges, 9 markings/sec, 3090 secs
lola: 1 tries, 16290 fired transitions, 3095 secs || 16220 markings, 93653 edges, 8 markings/sec, 3095 secs
lola: 1 tries, 16338 fired transitions, 3100 secs || 16262 markings, 93810 edges, 8 markings/sec, 3100 secs
lola: 1 tries, 16382 fired transitions, 3105 secs || 16306 markings, 93930 edges, 9 markings/sec, 3105 secs
lola: 1 tries, 16424 fired transitions, 3110 secs || 16356 markings, 94184 edges, 10 markings/sec, 3110 secs
lola: 1 tries, 16465 fired transitions, 3115 secs || 16406 markings, 94352 edges, 10 markings/sec, 3115 secs
lola: 1 tries, 16507 fired transitions, 3120 secs || 16455 markings, 94502 edges, 10 markings/sec, 3120 secs
lola: 1 tries, 16548 fired transitions, 3125 secs || 16504 markings, 94693 edges, 10 markings/sec, 3125 secs
lola: 1 tries, 16590 fired transitions, 3130 secs || 16553 markings, 94854 edges, 10 markings/sec, 3130 secs
lola: 1 tries, 16631 fired transitions, 3135 secs || 16603 markings, 95001 edges, 10 markings/sec, 3135 secs
lola: 1 tries, 16673 fired transitions, 3140 secs || 16652 markings, 95182 edges, 10 markings/sec, 3140 secs
lola: 1 tries, 16714 fired transitions, 3145 secs || 16702 markings, 95328 edges, 10 markings/sec, 3145 secs
lola: 1 tries, 16756 fired transitions, 3150 secs || 16752 markings, 95447 edges, 10 markings/sec, 3150 secs
lola: 1 tries, 16798 fired transitions, 3155 secs || 16802 markings, 95646 edges, 10 markings/sec, 3155 secs
lola: 1 tries, 16839 fired transitions, 3160 secs || 16852 markings, 95796 edges, 10 markings/sec, 3160 secs
lola: 1 tries, 16881 fired transitions, 3165 secs || 16901 markings, 95888 edges, 10 markings/sec, 3165 secs
lola: 1 tries, 16923 fired transitions, 3170 secs || 16951 markings, 95962 edges, 10 markings/sec, 3170 secs
lola: 1 tries, 16964 fired transitions, 3175 secs || 17001 markings, 96050 edges, 10 markings/sec, 3175 secs
lola: 1 tries, 17006 fired transitions, 3180 secs || 17050 markings, 96140 edges, 10 markings/sec, 3180 secs
lola: 1 tries, 17048 fired transitions, 3185 secs || 17100 markings, 96235 edges, 10 markings/sec, 3185 secs
lola: 1 tries, 17089 fired transitions, 3190 secs || 17150 markings, 96379 edges, 10 markings/sec, 3190 secs
lola: 1 tries, 17131 fired transitions, 3195 secs || 17200 markings, 96563 edges, 10 markings/sec, 3195 secs
lola: 1 tries, 17173 fired transitions, 3200 secs || 17250 markings, 96852 edges, 10 markings/sec, 3200 secs
lola: 1 tries, 17214 fired transitions, 3205 secs || 17299 markings, 97276 edges, 10 markings/sec, 3205 secs
lola: 1 tries, 17256 fired transitions, 3210 secs || 17349 markings, 97716 edges, 10 markings/sec, 3210 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished
BK_STOP 1553924028255
--------------------
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-9"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-9, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-oct2-155274853700471"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-9.tgz
mv RERS17pb114-PT-9 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;