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.r170-oct2-155297750600363.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 TokenRing-PT-050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750600363
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 538M
-rw-r--r-- 1 mcc users 1.4M Feb 12 21:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 4.3M Feb 12 21:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 48M Feb 9 05:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 127M Feb 9 05:23 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:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 337K Feb 5 01:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 984K Feb 5 01:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15M Feb 4 22:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 40M Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 1006K Feb 4 22:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 3.0M Feb 4 22:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 57M Feb 1 23:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 150M Feb 1 23:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 299K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 707K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 91M 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 TokenRing-PT-050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1553121457357

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TokenRing-PT-050 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ TokenRing-PT-050
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: 130152/268435456 symbol table entries, 8 collisions
lola: preprocessing...
lola: Size of bit vector: 83232
lola: finding significant places
lola: 2601 places, 127551 transitions, 2550 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: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 108 fired transitions, 0 secs || 74 markings, 73 edges, 15 markings/sec, 0 secs
lola: 1 tries, 239 fired transitions, 5 secs || 215 markings, 214 edges, 28 markings/sec, 5 secs
lola: 1 tries, 361 fired transitions, 10 secs || 360 markings, 359 edges, 29 markings/sec, 10 secs
lola: 1 tries, 471 fired transitions, 15 secs || 483 markings, 482 edges, 25 markings/sec, 15 secs
lola: 1 tries, 575 fired transitions, 20 secs || 612 markings, 611 edges, 26 markings/sec, 20 secs
lola: 1 tries, 676 fired transitions, 25 secs || 750 markings, 749 edges, 28 markings/sec, 25 secs
lola: 1 tries, 779 fired transitions, 30 secs || 889 markings, 888 edges, 28 markings/sec, 30 secs
lola: 1 tries, 894 fired transitions, 35 secs || 1020 markings, 1019 edges, 26 markings/sec, 35 secs
lola: 1 tries, 1043 fired transitions, 40 secs || 1150 markings, 1149 edges, 26 markings/sec, 40 secs
lola: 1 tries, 1181 fired transitions, 45 secs || 1282 markings, 1281 edges, 26 markings/sec, 45 secs
lola: 1 tries, 1322 fired transitions, 50 secs || 1417 markings, 1416 edges, 27 markings/sec, 50 secs
lola: 1 tries, 1455 fired transitions, 55 secs || 1553 markings, 1552 edges, 27 markings/sec, 55 secs
lola: 1 tries, 1572 fired transitions, 60 secs || 1694 markings, 1693 edges, 28 markings/sec, 60 secs
lola: 1 tries, 1690 fired transitions, 65 secs || 1842 markings, 1841 edges, 30 markings/sec, 65 secs
lola: 1 tries, 1812 fired transitions, 70 secs || 1997 markings, 1996 edges, 31 markings/sec, 70 secs
lola: 1 tries, 1932 fired transitions, 75 secs || 2149 markings, 2148 edges, 30 markings/sec, 75 secs
lola: 1 tries, 2049 fired transitions, 80 secs || 2291 markings, 2290 edges, 28 markings/sec, 80 secs
lola: 1 tries, 2156 fired transitions, 85 secs || 2413 markings, 2412 edges, 24 markings/sec, 85 secs
lola: 1 tries, 2263 fired transitions, 90 secs || 2530 markings, 2529 edges, 23 markings/sec, 90 secs
lola: 1 tries, 2371 fired transitions, 95 secs || 2652 markings, 2651 edges, 24 markings/sec, 95 secs
lola: 1 tries, 2481 fired transitions, 100 secs || 2776 markings, 2775 edges, 25 markings/sec, 100 secs
lola: 1 tries, 2601 fired transitions, 105 secs || 2897 markings, 2896 edges, 24 markings/sec, 105 secs
lola: 1 tries, 2761 fired transitions, 110 secs || 3027 markings, 3026 edges, 26 markings/sec, 110 secs
lola: 1 tries, 2908 fired transitions, 115 secs || 3153 markings, 3152 edges, 25 markings/sec, 115 secs
lola: 1 tries, 3013 fired transitions, 120 secs || 3263 markings, 3330 edges, 22 markings/sec, 120 secs
lola: 1 tries, 3119 fired transitions, 125 secs || 3373 markings, 3557 edges, 22 markings/sec, 125 secs
lola: 1 tries, 3222 fired transitions, 130 secs || 3483 markings, 3777 edges, 22 markings/sec, 130 secs
lola: 1 tries, 3329 fired transitions, 135 secs || 3597 markings, 4005 edges, 23 markings/sec, 135 secs
lola: 1 tries, 3468 fired transitions, 140 secs || 3738 markings, 4271 edges, 28 markings/sec, 140 secs
lola: 1 tries, 3618 fired transitions, 145 secs || 3866 markings, 4541 edges, 26 markings/sec, 145 secs
lola: 1 tries, 3756 fired transitions, 150 secs || 4004 markings, 4747 edges, 28 markings/sec, 150 secs
lola: 1 tries, 3904 fired transitions, 155 secs || 4155 markings, 5027 edges, 30 markings/sec, 155 secs
lola: 1 tries, 4058 fired transitions, 160 secs || 4308 markings, 5327 edges, 31 markings/sec, 160 secs
lola: 1 tries, 4206 fired transitions, 165 secs || 4458 markings, 5580 edges, 30 markings/sec, 165 secs
lola: 1 tries, 4349 fired transitions, 170 secs || 4601 markings, 5994 edges, 29 markings/sec, 170 secs
lola: 1 tries, 4495 fired transitions, 175 secs || 4751 markings, 6404 edges, 30 markings/sec, 175 secs
lola: 1 tries, 4647 fired transitions, 180 secs || 4895 markings, 6825 edges, 29 markings/sec, 180 secs
lola: 1 tries, 4800 fired transitions, 185 secs || 5043 markings, 7273 edges, 30 markings/sec, 185 secs
lola: 1 tries, 4955 fired transitions, 190 secs || 5198 markings, 7701 edges, 31 markings/sec, 190 secs
lola: 1 tries, 5113 fired transitions, 195 secs || 5352 markings, 8136 edges, 31 markings/sec, 195 secs
lola: 1 tries, 5263 fired transitions, 200 secs || 5504 markings, 8559 edges, 30 markings/sec, 200 secs
lola: 1 tries, 5416 fired transitions, 205 secs || 5657 markings, 9005 edges, 31 markings/sec, 205 secs
lola: 1 tries, 5568 fired transitions, 210 secs || 5809 markings, 9446 edges, 30 markings/sec, 210 secs
lola: 1 tries, 5718 fired transitions, 215 secs || 5959 markings, 9886 edges, 30 markings/sec, 215 secs
lola: 1 tries, 5863 fired transitions, 220 secs || 6106 markings, 10333 edges, 29 markings/sec, 220 secs
lola: 1 tries, 6010 fired transitions, 225 secs || 6253 markings, 10752 edges, 29 markings/sec, 225 secs
lola: 1 tries, 6160 fired transitions, 230 secs || 6403 markings, 11165 edges, 30 markings/sec, 230 secs
lola: 1 tries, 6312 fired transitions, 235 secs || 6554 markings, 11624 edges, 30 markings/sec, 235 secs
lola: 1 tries, 6467 fired transitions, 240 secs || 6709 markings, 12047 edges, 31 markings/sec, 240 secs
lola: 1 tries, 6621 fired transitions, 245 secs || 6861 markings, 12538 edges, 30 markings/sec, 245 secs
lola: 1 tries, 6774 fired transitions, 250 secs || 7011 markings, 12932 edges, 30 markings/sec, 250 secs
lola: 1 tries, 6925 fired transitions, 255 secs || 7162 markings, 13407 edges, 30 markings/sec, 255 secs
lola: 1 tries, 7087 fired transitions, 260 secs || 7321 markings, 13849 edges, 32 markings/sec, 260 secs
lola: 1 tries, 7244 fired transitions, 265 secs || 7478 markings, 14276 edges, 31 markings/sec, 265 secs
lola: 1 tries, 7401 fired transitions, 270 secs || 7635 markings, 14708 edges, 31 markings/sec, 270 secs
lola: 1 tries, 7559 fired transitions, 275 secs || 7793 markings, 15203 edges, 32 markings/sec, 275 secs
lola: 1 tries, 7719 fired transitions, 280 secs || 7952 markings, 15641 edges, 32 markings/sec, 280 secs
lola: 1 tries, 7869 fired transitions, 285 secs || 8102 markings, 16063 edges, 30 markings/sec, 285 secs
lola: 1 tries, 8025 fired transitions, 290 secs || 8254 markings, 16529 edges, 30 markings/sec, 290 secs
lola: 1 tries, 8179 fired transitions, 295 secs || 8404 markings, 16907 edges, 30 markings/sec, 295 secs
lola: 1 tries, 8331 fired transitions, 300 secs || 8556 markings, 17377 edges, 30 markings/sec, 300 secs
lola: 1 tries, 8479 fired transitions, 305 secs || 8697 markings, 17709 edges, 28 markings/sec, 305 secs
lola: 1 tries, 8624 fired transitions, 310 secs || 8839 markings, 18159 edges, 28 markings/sec, 310 secs
lola: 1 tries, 8771 fired transitions, 315 secs || 8983 markings, 18590 edges, 29 markings/sec, 315 secs
lola: 1 tries, 8925 fired transitions, 320 secs || 9135 markings, 18991 edges, 30 markings/sec, 320 secs
lola: 1 tries, 9074 fired transitions, 325 secs || 9282 markings, 19427 edges, 29 markings/sec, 325 secs
lola: 1 tries, 9229 fired transitions, 330 secs || 9434 markings, 19870 edges, 30 markings/sec, 330 secs
lola: 1 tries, 9376 fired transitions, 335 secs || 9581 markings, 20266 edges, 29 markings/sec, 335 secs
lola: 1 tries, 9531 fired transitions, 340 secs || 9735 markings, 20717 edges, 31 markings/sec, 340 secs
lola: 1 tries, 9691 fired transitions, 345 secs || 9895 markings, 21172 edges, 32 markings/sec, 345 secs
lola: 1 tries, 9848 fired transitions, 350 secs || 10051 markings, 21624 edges, 31 markings/sec, 350 secs
lola: 1 tries, 10006 fired transitions, 355 secs || 10209 markings, 22055 edges, 32 markings/sec, 355 secs
lola: 1 tries, 10159 fired transitions, 360 secs || 10360 markings, 22486 edges, 30 markings/sec, 360 secs
lola: 1 tries, 10318 fired transitions, 365 secs || 10517 markings, 22956 edges, 31 markings/sec, 365 secs
lola: 1 tries, 10474 fired transitions, 370 secs || 10673 markings, 23426 edges, 31 markings/sec, 370 secs
lola: 1 tries, 10631 fired transitions, 375 secs || 10827 markings, 23875 edges, 31 markings/sec, 375 secs
lola: 1 tries, 10788 fired transitions, 380 secs || 10982 markings, 24242 edges, 31 markings/sec, 380 secs
lola: 1 tries, 10938 fired transitions, 385 secs || 11133 markings, 24721 edges, 30 markings/sec, 385 secs
lola: 1 tries, 11092 fired transitions, 390 secs || 11287 markings, 25189 edges, 31 markings/sec, 390 secs
lola: 1 tries, 11243 fired transitions, 395 secs || 11438 markings, 25637 edges, 30 markings/sec, 395 secs
lola: 1 tries, 11391 fired transitions, 400 secs || 11585 markings, 26000 edges, 29 markings/sec, 400 secs
lola: 1 tries, 11545 fired transitions, 405 secs || 11735 markings, 26462 edges, 30 markings/sec, 405 secs
lola: 1 tries, 11698 fired transitions, 410 secs || 11886 markings, 26922 edges, 30 markings/sec, 410 secs
lola: 1 tries, 11846 fired transitions, 415 secs || 12032 markings, 27345 edges, 29 markings/sec, 415 secs
lola: 1 tries, 11991 fired transitions, 420 secs || 12176 markings, 27694 edges, 29 markings/sec, 420 secs
lola: 1 tries, 12142 fired transitions, 425 secs || 12326 markings, 28157 edges, 30 markings/sec, 425 secs
lola: 1 tries, 12295 fired transitions, 430 secs || 12466 markings, 28576 edges, 28 markings/sec, 430 secs
lola: 1 tries, 12441 fired transitions, 435 secs || 12584 markings, 28929 edges, 24 markings/sec, 435 secs
lola: 1 tries, 12593 fired transitions, 440 secs || 12715 markings, 29302 edges, 26 markings/sec, 440 secs
lola: 1 tries, 12747 fired transitions, 445 secs || 12868 markings, 29713 edges, 31 markings/sec, 445 secs
lola: 1 tries, 12906 fired transitions, 450 secs || 13026 markings, 30195 edges, 32 markings/sec, 450 secs
lola: 1 tries, 13060 fired transitions, 455 secs || 13178 markings, 30652 edges, 30 markings/sec, 455 secs
lola: 1 tries, 13217 fired transitions, 460 secs || 13331 markings, 31111 edges, 31 markings/sec, 460 secs
lola: 1 tries, 13366 fired transitions, 465 secs || 13478 markings, 31461 edges, 29 markings/sec, 465 secs
lola: 1 tries, 13518 fired transitions, 470 secs || 13630 markings, 31928 edges, 30 markings/sec, 470 secs
lola: 1 tries, 13671 fired transitions, 475 secs || 13783 markings, 32401 edges, 31 markings/sec, 475 secs
lola: 1 tries, 13825 fired transitions, 480 secs || 13937 markings, 32857 edges, 31 markings/sec, 480 secs
lola: 1 tries, 13977 fired transitions, 485 secs || 14089 markings, 33241 edges, 30 markings/sec, 485 secs
lola: 1 tries, 14127 fired transitions, 490 secs || 14236 markings, 33688 edges, 29 markings/sec, 490 secs
lola: 1 tries, 14286 fired transitions, 495 secs || 14394 markings, 34146 edges, 32 markings/sec, 495 secs
lola: 1 tries, 14438 fired transitions, 500 secs || 14531 markings, 34574 edges, 27 markings/sec, 500 secs
lola: 1 tries, 14583 fired transitions, 505 secs || 14671 markings, 34994 edges, 28 markings/sec, 505 secs
lola: 1 tries, 14731 fired transitions, 510 secs || 14805 markings, 35298 edges, 27 markings/sec, 510 secs
lola: 1 tries, 14881 fired transitions, 515 secs || 14953 markings, 35767 edges, 30 markings/sec, 515 secs
lola: 1 tries, 15034 fired transitions, 520 secs || 15104 markings, 36212 edges, 30 markings/sec, 520 secs
lola: 1 tries, 15187 fired transitions, 525 secs || 15255 markings, 36669 edges, 30 markings/sec, 525 secs
lola: 1 tries, 15340 fired transitions, 530 secs || 15406 markings, 37095 edges, 30 markings/sec, 530 secs
lola: 1 tries, 15494 fired transitions, 535 secs || 15558 markings, 37475 edges, 30 markings/sec, 535 secs
lola: 1 tries, 15652 fired transitions, 540 secs || 15715 markings, 37922 edges, 31 markings/sec, 540 secs
lola: 1 tries, 15814 fired transitions, 545 secs || 15873 markings, 38404 edges, 32 markings/sec, 545 secs
lola: 1 tries, 15986 fired transitions, 550 secs || 16040 markings, 38909 edges, 33 markings/sec, 550 secs
lola: 1 tries, 16151 fired transitions, 555 secs || 16205 markings, 39351 edges, 33 markings/sec, 555 secs
lola: 1 tries, 16299 fired transitions, 560 secs || 16353 markings, 39750 edges, 30 markings/sec, 560 secs
lola: 1 tries, 16450 fired transitions, 565 secs || 16505 markings, 40200 edges, 30 markings/sec, 565 secs
lola: 1 tries, 16605 fired transitions, 570 secs || 16658 markings, 40638 edges, 31 markings/sec, 570 secs
lola: 1 tries, 16765 fired transitions, 575 secs || 16816 markings, 41125 edges, 32 markings/sec, 575 secs
lola: 1 tries, 16923 fired transitions, 580 secs || 16971 markings, 41558 edges, 31 markings/sec, 580 secs
lola: 1 tries, 17091 fired transitions, 585 secs || 17136 markings, 42032 edges, 33 markings/sec, 585 secs
lola: 1 tries, 17243 fired transitions, 590 secs || 17287 markings, 42392 edges, 30 markings/sec, 590 secs
lola: 1 tries, 17397 fired transitions, 595 secs || 17441 markings, 42855 edges, 31 markings/sec, 595 secs
lola: 1 tries, 17552 fired transitions, 600 secs || 17595 markings, 43300 edges, 31 markings/sec, 600 secs
lola: 1 tries, 17705 fired transitions, 605 secs || 17746 markings, 43749 edges, 30 markings/sec, 605 secs
lola: 1 tries, 17859 fired transitions, 610 secs || 17900 markings, 44218 edges, 31 markings/sec, 610 secs
lola: 1 tries, 18011 fired transitions, 615 secs || 18052 markings, 44563 edges, 30 markings/sec, 615 secs
lola: 1 tries, 18164 fired transitions, 620 secs || 18204 markings, 45040 edges, 30 markings/sec, 620 secs
lola: 1 tries, 18320 fired transitions, 625 secs || 18358 markings, 45497 edges, 31 markings/sec, 625 secs
lola: 1 tries, 18476 fired transitions, 630 secs || 18512 markings, 45977 edges, 31 markings/sec, 630 secs
lola: 1 tries, 18632 fired transitions, 635 secs || 18665 markings, 46428 edges, 31 markings/sec, 635 secs
lola: 1 tries, 18784 fired transitions, 640 secs || 18817 markings, 46783 edges, 30 markings/sec, 640 secs
lola: 1 tries, 18929 fired transitions, 645 secs || 18951 markings, 47210 edges, 27 markings/sec, 645 secs
lola: 1 tries, 19080 fired transitions, 650 secs || 19102 markings, 47666 edges, 30 markings/sec, 650 secs
lola: 1 tries, 19235 fired transitions, 655 secs || 19255 markings, 48132 edges, 31 markings/sec, 655 secs
lola: 1 tries, 19387 fired transitions, 660 secs || 19406 markings, 48574 edges, 30 markings/sec, 660 secs
lola: 1 tries, 19542 fired transitions, 665 secs || 19560 markings, 48972 edges, 31 markings/sec, 665 secs
lola: 1 tries, 19692 fired transitions, 670 secs || 19707 markings, 49392 edges, 29 markings/sec, 670 secs
lola: 1 tries, 19844 fired transitions, 675 secs || 19857 markings, 49856 edges, 30 markings/sec, 675 secs
lola: 1 tries, 19997 fired transitions, 680 secs || 20010 markings, 50326 edges, 31 markings/sec, 680 secs
lola: 1 tries, 20151 fired transitions, 685 secs || 20157 markings, 50767 edges, 29 markings/sec, 685 secs
lola: 1 tries, 20300 fired transitions, 690 secs || 20283 markings, 51146 edges, 25 markings/sec, 690 secs
lola: 1 tries, 20451 fired transitions, 695 secs || 20412 markings, 51417 edges, 26 markings/sec, 695 secs
lola: 1 tries, 20599 fired transitions, 700 secs || 20541 markings, 51824 edges, 26 markings/sec, 700 secs
lola: 1 tries, 20746 fired transitions, 705 secs || 20670 markings, 52214 edges, 26 markings/sec, 705 secs
lola: 1 tries, 20890 fired transitions, 710 secs || 20797 markings, 52585 edges, 25 markings/sec, 710 secs
lola: 1 tries, 21037 fired transitions, 715 secs || 20927 markings, 52990 edges, 26 markings/sec, 715 secs
lola: 1 tries, 21177 fired transitions, 720 secs || 21056 markings, 53368 edges, 26 markings/sec, 720 secs
lola: 1 tries, 21317 fired transitions, 725 secs || 21187 markings, 53601 edges, 26 markings/sec, 725 secs
lola: 1 tries, 21463 fired transitions, 730 secs || 21315 markings, 53855 edges, 26 markings/sec, 730 secs
lola: 1 tries, 21608 fired transitions, 735 secs || 21442 markings, 54100 edges, 25 markings/sec, 735 secs
lola: 1 tries, 21749 fired transitions, 740 secs || 21584 markings, 54410 edges, 28 markings/sec, 740 secs
lola: 1 tries, 21894 fired transitions, 745 secs || 21729 markings, 54791 edges, 29 markings/sec, 745 secs
lola: 1 tries, 22044 fired transitions, 750 secs || 21859 markings, 55132 edges, 26 markings/sec, 750 secs
lola: 1 tries, 22193 fired transitions, 755 secs || 21980 markings, 55463 edges, 24 markings/sec, 755 secs
lola: 1 tries, 22342 fired transitions, 760 secs || 22097 markings, 55781 edges, 23 markings/sec, 760 secs
lola: 1 tries, 22492 fired transitions, 765 secs || 22218 markings, 56099 edges, 24 markings/sec, 765 secs
lola: 1 tries, 22647 fired transitions, 770 secs || 22340 markings, 56420 edges, 24 markings/sec, 770 secs
lola: 1 tries, 22798 fired transitions, 775 secs || 22480 markings, 56789 edges, 28 markings/sec, 775 secs
lola: 1 tries, 22954 fired transitions, 780 secs || 22635 markings, 57164 edges, 31 markings/sec, 780 secs
lola: 1 tries, 23112 fired transitions, 785 secs || 22792 markings, 57547 edges, 31 markings/sec, 785 secs
lola: 1 tries, 23272 fired transitions, 790 secs || 22951 markings, 57926 edges, 32 markings/sec, 790 secs
lola: 1 tries, 23433 fired transitions, 795 secs || 23110 markings, 58356 edges, 32 markings/sec, 795 secs
lola: 1 tries, 23587 fired transitions, 800 secs || 23262 markings, 58738 edges, 30 markings/sec, 800 secs
lola: 1 tries, 23742 fired transitions, 805 secs || 23416 markings, 59147 edges, 31 markings/sec, 805 secs
lola: 1 tries, 23891 fired transitions, 810 secs || 23549 markings, 59508 edges, 27 markings/sec, 810 secs
lola: 1 tries, 24037 fired transitions, 815 secs || 23695 markings, 59910 edges, 29 markings/sec, 815 secs
lola: 1 tries, 24187 fired transitions, 820 secs || 23845 markings, 60335 edges, 30 markings/sec, 820 secs
lola: 1 tries, 24337 fired transitions, 825 secs || 23995 markings, 60698 edges, 30 markings/sec, 825 secs
lola: 1 tries, 24491 fired transitions, 830 secs || 24148 markings, 61106 edges, 31 markings/sec, 830 secs
lola: 1 tries, 24645 fired transitions, 835 secs || 24301 markings, 61480 edges, 31 markings/sec, 835 secs
lola: 1 tries, 24807 fired transitions, 840 secs || 24461 markings, 61871 edges, 32 markings/sec, 840 secs
lola: 1 tries, 24969 fired transitions, 845 secs || 24622 markings, 62325 edges, 32 markings/sec, 845 secs
lola: 1 tries, 25117 fired transitions, 850 secs || 24770 markings, 62668 edges, 30 markings/sec, 850 secs
lola: 1 tries, 25276 fired transitions, 855 secs || 24928 markings, 63129 edges, 32 markings/sec, 855 secs
lola: 1 tries, 25438 fired transitions, 860 secs || 25088 markings, 63495 edges, 32 markings/sec, 860 secs
lola: 1 tries, 25599 fired transitions, 865 secs || 25246 markings, 63899 edges, 32 markings/sec, 865 secs
lola: 1 tries, 25760 fired transitions, 870 secs || 25407 markings, 64327 edges, 32 markings/sec, 870 secs
lola: 1 tries, 25923 fired transitions, 875 secs || 25568 markings, 64737 edges, 32 markings/sec, 875 secs
lola: 1 tries, 26086 fired transitions, 880 secs || 25731 markings, 65183 edges, 33 markings/sec, 880 secs
lola: 1 tries, 26218 fired transitions, 885 secs || 25881 markings, 65578 edges, 30 markings/sec, 885 secs
lola: 1 tries, 26344 fired transitions, 890 secs || 26030 markings, 66024 edges, 30 markings/sec, 890 secs
lola: 1 tries, 26472 fired transitions, 895 secs || 26182 markings, 66420 edges, 30 markings/sec, 895 secs
lola: 1 tries, 26600 fired transitions, 900 secs || 26333 markings, 66851 edges, 30 markings/sec, 900 secs
lola: 1 tries, 26725 fired transitions, 905 secs || 26480 markings, 67238 edges, 29 markings/sec, 905 secs
lola: 1 tries, 26870 fired transitions, 910 secs || 26634 markings, 67689 edges, 31 markings/sec, 910 secs
lola: 1 tries, 27025 fired transitions, 915 secs || 26790 markings, 68072 edges, 31 markings/sec, 915 secs
lola: 1 tries, 27185 fired transitions, 920 secs || 26949 markings, 68480 edges, 32 markings/sec, 920 secs
lola: 1 tries, 27338 fired transitions, 925 secs || 27102 markings, 68923 edges, 31 markings/sec, 925 secs
lola: 1 tries, 27494 fired transitions, 930 secs || 27257 markings, 69376 edges, 31 markings/sec, 930 secs
lola: 1 tries, 27644 fired transitions, 935 secs || 27408 markings, 69811 edges, 30 markings/sec, 935 secs
lola: 1 tries, 27803 fired transitions, 940 secs || 27565 markings, 70242 edges, 31 markings/sec, 940 secs
lola: 1 tries, 27961 fired transitions, 945 secs || 27723 markings, 70666 edges, 32 markings/sec, 945 secs
lola: 1 tries, 28113 fired transitions, 950 secs || 27873 markings, 71098 edges, 30 markings/sec, 950 secs
lola: 1 tries, 28263 fired transitions, 955 secs || 28023 markings, 71473 edges, 30 markings/sec, 955 secs
lola: 1 tries, 28415 fired transitions, 960 secs || 28172 markings, 71912 edges, 30 markings/sec, 960 secs
lola: 1 tries, 28570 fired transitions, 965 secs || 28326 markings, 72296 edges, 31 markings/sec, 965 secs
lola: 1 tries, 28723 fired transitions, 970 secs || 28478 markings, 72745 edges, 30 markings/sec, 970 secs
lola: 1 tries, 28877 fired transitions, 975 secs || 28629 markings, 73142 edges, 30 markings/sec, 975 secs
lola: 1 tries, 29027 fired transitions, 980 secs || 28779 markings, 73592 edges, 30 markings/sec, 980 secs
lola: 1 tries, 29180 fired transitions, 985 secs || 28932 markings, 74059 edges, 31 markings/sec, 985 secs
lola: 1 tries, 29329 fired transitions, 990 secs || 29082 markings, 74462 edges, 30 markings/sec, 990 secs
lola: 1 tries, 29483 fired transitions, 995 secs || 29241 markings, 74858 edges, 32 markings/sec, 995 secs
lola: 1 tries, 29645 fired transitions, 1000 secs || 29401 markings, 75304 edges, 32 markings/sec, 1000 secs
lola: 1 tries, 29798 fired transitions, 1005 secs || 29551 markings, 75734 edges, 30 markings/sec, 1005 secs
lola: 1 tries, 29959 fired transitions, 1010 secs || 29710 markings, 76169 edges, 32 markings/sec, 1010 secs
lola: 1 tries, 30122 fired transitions, 1015 secs || 29868 markings, 76606 edges, 32 markings/sec, 1015 secs
lola: 1 tries, 30284 fired transitions, 1020 secs || 30028 markings, 77031 edges, 32 markings/sec, 1020 secs
lola: 1 tries, 30444 fired transitions, 1025 secs || 30187 markings, 77453 edges, 32 markings/sec, 1025 secs
lola: 1 tries, 30607 fired transitions, 1030 secs || 30349 markings, 77874 edges, 32 markings/sec, 1030 secs
lola: 1 tries, 30769 fired transitions, 1035 secs || 30510 markings, 78327 edges, 32 markings/sec, 1035 secs
lola: 1 tries, 30935 fired transitions, 1040 secs || 30674 markings, 78769 edges, 33 markings/sec, 1040 secs
lola: 1 tries, 31103 fired transitions, 1045 secs || 30840 markings, 79209 edges, 33 markings/sec, 1045 secs
lola: 1 tries, 31262 fired transitions, 1050 secs || 30998 markings, 79653 edges, 32 markings/sec, 1050 secs
lola: 1 tries, 31422 fired transitions, 1055 secs || 31157 markings, 80074 edges, 32 markings/sec, 1055 secs
lola: 1 tries, 31570 fired transitions, 1060 secs || 31295 markings, 80358 edges, 28 markings/sec, 1060 secs
lola: 1 tries, 31718 fired transitions, 1065 secs || 31416 markings, 80718 edges, 24 markings/sec, 1065 secs
lola: 1 tries, 31861 fired transitions, 1070 secs || 31536 markings, 81061 edges, 24 markings/sec, 1070 secs
lola: 1 tries, 32002 fired transitions, 1075 secs || 31652 markings, 81393 edges, 23 markings/sec, 1075 secs
lola: 1 tries, 32145 fired transitions, 1080 secs || 31763 markings, 81722 edges, 22 markings/sec, 1080 secs
lola: 1 tries, 32292 fired transitions, 1085 secs || 31898 markings, 82103 edges, 27 markings/sec, 1085 secs
lola: 1 tries, 32439 fired transitions, 1090 secs || 32029 markings, 82465 edges, 26 markings/sec, 1090 secs
lola: 1 tries, 32587 fired transitions, 1095 secs || 32152 markings, 82821 edges, 25 markings/sec, 1095 secs
lola: 1 tries, 32737 fired transitions, 1100 secs || 32272 markings, 83159 edges, 24 markings/sec, 1100 secs
lola: 1 tries, 32886 fired transitions, 1105 secs || 32393 markings, 83526 edges, 24 markings/sec, 1105 secs
lola: 1 tries, 33037 fired transitions, 1110 secs || 32513 markings, 83880 edges, 24 markings/sec, 1110 secs
lola: 1 tries, 33186 fired transitions, 1115 secs || 32631 markings, 84210 edges, 24 markings/sec, 1115 secs
lola: 1 tries, 33336 fired transitions, 1120 secs || 32748 markings, 84549 edges, 23 markings/sec, 1120 secs
lola: 1 tries, 33486 fired transitions, 1125 secs || 32900 markings, 84995 edges, 30 markings/sec, 1125 secs
lola: 1 tries, 33638 fired transitions, 1130 secs || 33048 markings, 85444 edges, 30 markings/sec, 1130 secs
lola: 1 tries, 33792 fired transitions, 1135 secs || 33199 markings, 85852 edges, 30 markings/sec, 1135 secs
lola: 1 tries, 33941 fired transitions, 1140 secs || 33348 markings, 86325 edges, 30 markings/sec, 1140 secs
lola: 1 tries, 34096 fired transitions, 1145 secs || 33487 markings, 86706 edges, 28 markings/sec, 1145 secs
lola: 1 tries, 34258 fired transitions, 1150 secs || 33608 markings, 87076 edges, 24 markings/sec, 1150 secs
lola: 1 tries, 34412 fired transitions, 1155 secs || 33755 markings, 87453 edges, 29 markings/sec, 1155 secs
lola: 1 tries, 34562 fired transitions, 1160 secs || 33879 markings, 87855 edges, 25 markings/sec, 1160 secs
lola: 1 tries, 34714 fired transitions, 1165 secs || 33998 markings, 88220 edges, 24 markings/sec, 1165 secs
lola: 1 tries, 34872 fired transitions, 1170 secs || 34135 markings, 88524 edges, 27 markings/sec, 1170 secs
lola: 1 tries, 35022 fired transitions, 1175 secs || 34282 markings, 88939 edges, 29 markings/sec, 1175 secs
lola: 1 tries, 35174 fired transitions, 1180 secs || 34430 markings, 89351 edges, 30 markings/sec, 1180 secs
lola: 1 tries, 35323 fired transitions, 1185 secs || 34577 markings, 89882 edges, 29 markings/sec, 1185 secs
lola: 1 tries, 35473 fired transitions, 1190 secs || 34722 markings, 90464 edges, 29 markings/sec, 1190 secs
lola: 1 tries, 35627 fired transitions, 1195 secs || 34861 markings, 90949 edges, 28 markings/sec, 1195 secs
lola: 1 tries, 35782 fired transitions, 1200 secs || 34992 markings, 91460 edges, 26 markings/sec, 1200 secs
lola: 1 tries, 35936 fired transitions, 1205 secs || 35119 markings, 91962 edges, 25 markings/sec, 1205 secs
lola: 1 tries, 36092 fired transitions, 1210 secs || 35250 markings, 92478 edges, 26 markings/sec, 1210 secs
lola: 1 tries, 36250 fired transitions, 1215 secs || 35376 markings, 92983 edges, 25 markings/sec, 1215 secs
lola: 1 tries, 36404 fired transitions, 1220 secs || 35524 markings, 93576 edges, 30 markings/sec, 1220 secs
lola: 1 tries, 36554 fired transitions, 1225 secs || 35673 markings, 94077 edges, 30 markings/sec, 1225 secs
lola: 1 tries, 36707 fired transitions, 1230 secs || 35825 markings, 94644 edges, 30 markings/sec, 1230 secs
lola: 1 tries, 36856 fired transitions, 1235 secs || 35974 markings, 95162 edges, 30 markings/sec, 1235 secs
lola: 1 tries, 37004 fired transitions, 1240 secs || 36122 markings, 95732 edges, 30 markings/sec, 1240 secs
lola: 1 tries, 37152 fired transitions, 1245 secs || 36270 markings, 96286 edges, 30 markings/sec, 1245 secs
lola: 1 tries, 37302 fired transitions, 1250 secs || 36420 markings, 96837 edges, 30 markings/sec, 1250 secs
lola: 1 tries, 37454 fired transitions, 1255 secs || 36572 markings, 97473 edges, 30 markings/sec, 1255 secs
lola: 1 tries, 37605 fired transitions, 1260 secs || 36723 markings, 98041 edges, 30 markings/sec, 1260 secs
lola: 1 tries, 37758 fired transitions, 1265 secs || 36876 markings, 98609 edges, 31 markings/sec, 1265 secs
lola: 1 tries, 37908 fired transitions, 1270 secs || 37023 markings, 99205 edges, 29 markings/sec, 1270 secs
lola: 1 tries, 38058 fired transitions, 1275 secs || 37172 markings, 99771 edges, 30 markings/sec, 1275 secs
lola: 1 tries, 38210 fired transitions, 1280 secs || 37324 markings, 100261 edges, 30 markings/sec, 1280 secs
lola: 1 tries, 38362 fired transitions, 1285 secs || 37475 markings, 100879 edges, 30 markings/sec, 1285 secs
lola: 1 tries, 38511 fired transitions, 1290 secs || 37616 markings, 101415 edges, 28 markings/sec, 1290 secs
lola: 1 tries, 38654 fired transitions, 1295 secs || 37751 markings, 101943 edges, 27 markings/sec, 1295 secs
lola: 1 tries, 38806 fired transitions, 1300 secs || 37887 markings, 102471 edges, 27 markings/sec, 1300 secs
lola: 1 tries, 38962 fired transitions, 1305 secs || 38043 markings, 102986 edges, 31 markings/sec, 1305 secs
lola: 1 tries, 39110 fired transitions, 1310 secs || 38191 markings, 103563 edges, 30 markings/sec, 1310 secs
lola: 1 tries, 39264 fired transitions, 1315 secs || 38339 markings, 104108 edges, 30 markings/sec, 1315 secs
lola: 1 tries, 39414 fired transitions, 1320 secs || 38489 markings, 104679 edges, 30 markings/sec, 1320 secs
lola: 1 tries, 39560 fired transitions, 1325 secs || 38638 markings, 105287 edges, 30 markings/sec, 1325 secs
lola: 1 tries, 39711 fired transitions, 1330 secs || 38787 markings, 105847 edges, 30 markings/sec, 1330 secs
lola: 1 tries, 39856 fired transitions, 1335 secs || 38936 markings, 106330 edges, 30 markings/sec, 1335 secs
lola: 1 tries, 40004 fired transitions, 1340 secs || 39087 markings, 106930 edges, 30 markings/sec, 1340 secs
lola: 1 tries, 40157 fired transitions, 1345 secs || 39240 markings, 107505 edges, 31 markings/sec, 1345 secs
lola: 1 tries, 40312 fired transitions, 1350 secs || 39394 markings, 108100 edges, 31 markings/sec, 1350 secs
lola: 1 tries, 40468 fired transitions, 1355 secs || 39549 markings, 108709 edges, 31 markings/sec, 1355 secs
lola: 1 tries, 40621 fired transitions, 1360 secs || 39701 markings, 109182 edges, 30 markings/sec, 1360 secs
lola: 1 tries, 40774 fired transitions, 1365 secs || 39853 markings, 109794 edges, 30 markings/sec, 1365 secs
lola: 1 tries, 40930 fired transitions, 1370 secs || 40009 markings, 110378 edges, 31 markings/sec, 1370 secs
lola: 1 tries, 41085 fired transitions, 1375 secs || 40162 markings, 110966 edges, 31 markings/sec, 1375 secs
lola: 1 tries, 41237 fired transitions, 1380 secs || 40313 markings, 111555 edges, 30 markings/sec, 1380 secs
lola: 1 tries, 41386 fired transitions, 1385 secs || 40461 markings, 112066 edges, 30 markings/sec, 1385 secs
lola: 1 tries, 41538 fired transitions, 1390 secs || 40611 markings, 112635 edges, 30 markings/sec, 1390 secs
lola: 1 tries, 41689 fired transitions, 1395 secs || 40762 markings, 113221 edges, 30 markings/sec, 1395 secs
lola: 1 tries, 41842 fired transitions, 1400 secs || 40914 markings, 113815 edges, 30 markings/sec, 1400 secs
lola: 1 tries, 41997 fired transitions, 1405 secs || 41068 markings, 114440 edges, 31 markings/sec, 1405 secs
lola: 1 tries, 42150 fired transitions, 1410 secs || 41221 markings, 115047 edges, 31 markings/sec, 1410 secs
lola: 1 tries, 42297 fired transitions, 1415 secs || 41368 markings, 115522 edges, 29 markings/sec, 1415 secs
lola: 1 tries, 42445 fired transitions, 1420 secs || 41516 markings, 116125 edges, 30 markings/sec, 1420 secs
lola: 1 tries, 42598 fired transitions, 1425 secs || 41668 markings, 116717 edges, 30 markings/sec, 1425 secs
lola: 1 tries, 42753 fired transitions, 1430 secs || 41824 markings, 117291 edges, 31 markings/sec, 1430 secs
lola: 1 tries, 42906 fired transitions, 1435 secs || 41976 markings, 117896 edges, 30 markings/sec, 1435 secs
lola: 1 tries, 43059 fired transitions, 1440 secs || 42130 markings, 118419 edges, 31 markings/sec, 1440 secs
lola: 1 tries, 43207 fired transitions, 1445 secs || 42278 markings, 118993 edges, 30 markings/sec, 1445 secs
lola: 1 tries, 43359 fired transitions, 1450 secs || 42430 markings, 119581 edges, 30 markings/sec, 1450 secs
lola: 1 tries, 43515 fired transitions, 1455 secs || 42583 markings, 120165 edges, 31 markings/sec, 1455 secs
lola: 1 tries, 43670 fired transitions, 1460 secs || 42736 markings, 120768 edges, 31 markings/sec, 1460 secs
lola: 1 tries, 43825 fired transitions, 1465 secs || 42891 markings, 121306 edges, 31 markings/sec, 1465 secs
lola: 1 tries, 43976 fired transitions, 1470 secs || 43042 markings, 121852 edges, 30 markings/sec, 1470 secs
lola: 1 tries, 44130 fired transitions, 1475 secs || 43194 markings, 122442 edges, 30 markings/sec, 1475 secs
lola: 1 tries, 44284 fired transitions, 1480 secs || 43347 markings, 123036 edges, 31 markings/sec, 1480 secs
lola: 1 tries, 44439 fired transitions, 1485 secs || 43501 markings, 123655 edges, 31 markings/sec, 1485 secs
lola: 1 tries, 44597 fired transitions, 1490 secs || 43658 markings, 124283 edges, 31 markings/sec, 1490 secs
lola: 1 tries, 44752 fired transitions, 1495 secs || 43812 markings, 124863 edges, 31 markings/sec, 1495 secs
lola: 1 tries, 44902 fired transitions, 1500 secs || 43962 markings, 125433 edges, 30 markings/sec, 1500 secs
lola: 1 tries, 45051 fired transitions, 1505 secs || 44113 markings, 125998 edges, 30 markings/sec, 1505 secs
lola: 1 tries, 45206 fired transitions, 1510 secs || 44265 markings, 126562 edges, 30 markings/sec, 1510 secs
lola: 1 tries, 45359 fired transitions, 1515 secs || 44417 markings, 127173 edges, 30 markings/sec, 1515 secs
lola: 1 tries, 45513 fired transitions, 1520 secs || 44571 markings, 127789 edges, 31 markings/sec, 1520 secs
lola: 1 tries, 45666 fired transitions, 1525 secs || 44724 markings, 128373 edges, 31 markings/sec, 1525 secs
lola: 1 tries, 45818 fired transitions, 1530 secs || 44874 markings, 128951 edges, 30 markings/sec, 1530 secs
lola: 1 tries, 45971 fired transitions, 1535 secs || 45024 markings, 129533 edges, 30 markings/sec, 1535 secs
lola: 1 tries, 46125 fired transitions, 1540 secs || 45173 markings, 130120 edges, 30 markings/sec, 1540 secs
lola: 1 tries, 46277 fired transitions, 1545 secs || 45326 markings, 130655 edges, 31 markings/sec, 1545 secs
lola: 1 tries, 46429 fired transitions, 1550 secs || 45476 markings, 131217 edges, 30 markings/sec, 1550 secs
lola: 1 tries, 46582 fired transitions, 1555 secs || 45623 markings, 131796 edges, 29 markings/sec, 1555 secs
lola: 1 tries, 46740 fired transitions, 1560 secs || 45771 markings, 132381 edges, 30 markings/sec, 1560 secs
lola: 1 tries, 46894 fired transitions, 1565 secs || 45919 markings, 132971 edges, 30 markings/sec, 1565 secs
lola: 1 tries, 47050 fired transitions, 1570 secs || 46068 markings, 133540 edges, 30 markings/sec, 1570 secs
lola: 1 tries, 47204 fired transitions, 1575 secs || 46219 markings, 134126 edges, 30 markings/sec, 1575 secs
lola: 1 tries, 47355 fired transitions, 1580 secs || 46369 markings, 134708 edges, 30 markings/sec, 1580 secs
lola: 1 tries, 47506 fired transitions, 1585 secs || 46515 markings, 135281 edges, 29 markings/sec, 1585 secs
lola: 1 tries, 47657 fired transitions, 1590 secs || 46666 markings, 135860 edges, 30 markings/sec, 1590 secs
lola: 1 tries, 47806 fired transitions, 1595 secs || 46817 markings, 136404 edges, 30 markings/sec, 1595 secs
lola: 1 tries, 47959 fired transitions, 1600 secs || 46972 markings, 136984 edges, 31 markings/sec, 1600 secs
lola: 1 tries, 48116 fired transitions, 1605 secs || 47128 markings, 137619 edges, 31 markings/sec, 1605 secs
lola: 1 tries, 48274 fired transitions, 1610 secs || 47282 markings, 138223 edges, 31 markings/sec, 1610 secs
lola: 1 tries, 48429 fired transitions, 1615 secs || 47436 markings, 138810 edges, 31 markings/sec, 1615 secs
lola: 1 tries, 48585 fired transitions, 1620 secs || 47591 markings, 139418 edges, 31 markings/sec, 1620 secs
lola: 1 tries, 48741 fired transitions, 1625 secs || 47747 markings, 140036 edges, 31 markings/sec, 1625 secs
lola: 1 tries, 48895 fired transitions, 1630 secs || 47897 markings, 140498 edges, 30 markings/sec, 1630 secs
lola: 1 tries, 49045 fired transitions, 1635 secs || 48048 markings, 141081 edges, 30 markings/sec, 1635 secs
lola: 1 tries, 49199 fired transitions, 1640 secs || 48195 markings, 141650 edges, 29 markings/sec, 1640 secs
lola: 1 tries, 49354 fired transitions, 1645 secs || 48343 markings, 142221 edges, 30 markings/sec, 1645 secs
lola: 1 tries, 49502 fired transitions, 1650 secs || 48498 markings, 142836 edges, 31 markings/sec, 1650 secs
lola: 1 tries, 49657 fired transitions, 1655 secs || 48652 markings, 143429 edges, 31 markings/sec, 1655 secs
lola: 1 tries, 49810 fired transitions, 1660 secs || 48806 markings, 144046 edges, 31 markings/sec, 1660 secs
lola: 1 tries, 49963 fired transitions, 1665 secs || 48958 markings, 144637 edges, 30 markings/sec, 1665 secs
lola: 1 tries, 50113 fired transitions, 1670 secs || 49108 markings, 145205 edges, 30 markings/sec, 1670 secs
lola: 1 tries, 50265 fired transitions, 1675 secs || 49258 markings, 145785 edges, 30 markings/sec, 1675 secs
lola: 1 tries, 50417 fired transitions, 1680 secs || 49412 markings, 146388 edges, 31 markings/sec, 1680 secs
lola: 1 tries, 50571 fired transitions, 1685 secs || 49566 markings, 146967 edges, 31 markings/sec, 1685 secs
lola: 1 tries, 50725 fired transitions, 1690 secs || 49721 markings, 147618 edges, 31 markings/sec, 1690 secs
lola: 1 tries, 50882 fired transitions, 1695 secs || 49877 markings, 148214 edges, 31 markings/sec, 1695 secs
lola: 1 tries, 51032 fired transitions, 1700 secs || 50033 markings, 148836 edges, 31 markings/sec, 1700 secs
lola: 1 tries, 51185 fired transitions, 1705 secs || 50188 markings, 149461 edges, 31 markings/sec, 1705 secs
lola: 1 tries, 51339 fired transitions, 1710 secs || 50345 markings, 150058 edges, 31 markings/sec, 1710 secs
lola: 1 tries, 51497 fired transitions, 1715 secs || 50484 markings, 150624 edges, 28 markings/sec, 1715 secs
lola: 1 tries, 51655 fired transitions, 1720 secs || 50621 markings, 151094 edges, 27 markings/sec, 1720 secs
lola: 1 tries, 51813 fired transitions, 1725 secs || 50762 markings, 151699 edges, 28 markings/sec, 1725 secs
lola: 1 tries, 51971 fired transitions, 1730 secs || 50895 markings, 152224 edges, 27 markings/sec, 1730 secs
lola: 1 tries, 52129 fired transitions, 1735 secs || 51029 markings, 152751 edges, 27 markings/sec, 1735 secs
lola: 1 tries, 52286 fired transitions, 1740 secs || 51173 markings, 153214 edges, 29 markings/sec, 1740 secs
lola: 1 tries, 52436 fired transitions, 1745 secs || 51323 markings, 153734 edges, 30 markings/sec, 1745 secs
lola: 1 tries, 52589 fired transitions, 1750 secs || 51473 markings, 154269 edges, 30 markings/sec, 1750 secs
lola: 1 tries, 52740 fired transitions, 1755 secs || 51622 markings, 154877 edges, 30 markings/sec, 1755 secs
lola: 1 tries, 52891 fired transitions, 1760 secs || 51771 markings, 155472 edges, 30 markings/sec, 1760 secs
lola: 1 tries, 53041 fired transitions, 1765 secs || 51921 markings, 156013 edges, 30 markings/sec, 1765 secs
lola: 1 tries, 53197 fired transitions, 1770 secs || 52063 markings, 156501 edges, 28 markings/sec, 1770 secs
lola: 1 tries, 53355 fired transitions, 1775 secs || 52196 markings, 157022 edges, 27 markings/sec, 1775 secs
lola: 1 tries, 53512 fired transitions, 1780 secs || 52330 markings, 157554 edges, 27 markings/sec, 1780 secs
lola: 1 tries, 53667 fired transitions, 1785 secs || 52467 markings, 158048 edges, 27 markings/sec, 1785 secs
lola: 1 tries, 53828 fired transitions, 1790 secs || 52627 markings, 158672 edges, 32 markings/sec, 1790 secs
lola: 1 tries, 53989 fired transitions, 1795 secs || 52786 markings, 159256 edges, 32 markings/sec, 1795 secs
lola: 1 tries, 54144 fired transitions, 1800 secs || 52940 markings, 159810 edges, 31 markings/sec, 1800 secs
lola: 1 tries, 54301 fired transitions, 1805 secs || 53097 markings, 160354 edges, 31 markings/sec, 1805 secs
lola: 1 tries, 54459 fired transitions, 1810 secs || 53254 markings, 160980 edges, 31 markings/sec, 1810 secs
lola: 1 tries, 54611 fired transitions, 1815 secs || 53404 markings, 161549 edges, 30 markings/sec, 1815 secs
lola: 1 tries, 54767 fired transitions, 1820 secs || 53558 markings, 162117 edges, 31 markings/sec, 1820 secs
lola: 1 tries, 54928 fired transitions, 1825 secs || 53715 markings, 162730 edges, 31 markings/sec, 1825 secs
lola: 1 tries, 55090 fired transitions, 1830 secs || 53877 markings, 163366 edges, 32 markings/sec, 1830 secs
lola: 1 tries, 55248 fired transitions, 1835 secs || 54035 markings, 163940 edges, 32 markings/sec, 1835 secs
lola: 1 tries, 55398 fired transitions, 1840 secs || 54185 markings, 164525 edges, 30 markings/sec, 1840 secs
lola: 1 tries, 55551 fired transitions, 1845 secs || 54338 markings, 165124 edges, 31 markings/sec, 1845 secs
lola: 1 tries, 55714 fired transitions, 1850 secs || 54500 markings, 165656 edges, 32 markings/sec, 1850 secs
lola: 1 tries, 55862 fired transitions, 1855 secs || 54647 markings, 166175 edges, 29 markings/sec, 1855 secs
lola: 1 tries, 56011 fired transitions, 1860 secs || 54797 markings, 166761 edges, 30 markings/sec, 1860 secs
lola: 1 tries, 56164 fired transitions, 1865 secs || 54949 markings, 167348 edges, 30 markings/sec, 1865 secs
lola: 1 tries, 56319 fired transitions, 1870 secs || 55103 markings, 167976 edges, 31 markings/sec, 1870 secs
lola: 1 tries, 56472 fired transitions, 1875 secs || 55256 markings, 168575 edges, 31 markings/sec, 1875 secs
lola: 1 tries, 56629 fired transitions, 1880 secs || 55412 markings, 169189 edges, 31 markings/sec, 1880 secs
lola: 1 tries, 56785 fired transitions, 1885 secs || 55567 markings, 169800 edges, 31 markings/sec, 1885 secs
lola: 1 tries, 56941 fired transitions, 1890 secs || 55723 markings, 170404 edges, 31 markings/sec, 1890 secs
lola: 1 tries, 57099 fired transitions, 1895 secs || 55878 markings, 171002 edges, 31 markings/sec, 1895 secs
lola: 1 tries, 57255 fired transitions, 1900 secs || 56032 markings, 171589 edges, 31 markings/sec, 1900 secs
lola: 1 tries, 57408 fired transitions, 1905 secs || 56183 markings, 172172 edges, 30 markings/sec, 1905 secs
lola: 1 tries, 57567 fired transitions, 1910 secs || 56341 markings, 172798 edges, 32 markings/sec, 1910 secs
lola: 1 tries, 57722 fired transitions, 1915 secs || 56495 markings, 173371 edges, 31 markings/sec, 1915 secs
lola: 1 tries, 57875 fired transitions, 1920 secs || 56648 markings, 174026 edges, 31 markings/sec, 1920 secs
lola: 1 tries, 58026 fired transitions, 1925 secs || 56799 markings, 174582 edges, 30 markings/sec, 1925 secs
lola: 1 tries, 58183 fired transitions, 1930 secs || 56956 markings, 175233 edges, 31 markings/sec, 1930 secs
lola: 1 tries, 58341 fired transitions, 1935 secs || 57114 markings, 175790 edges, 32 markings/sec, 1935 secs
lola: 1 tries, 58501 fired transitions, 1940 secs || 57272 markings, 176450 edges, 32 markings/sec, 1940 secs
lola: 1 tries, 58665 fired transitions, 1945 secs || 57435 markings, 177097 edges, 33 markings/sec, 1945 secs
lola: 1 tries, 58821 fired transitions, 1950 secs || 57589 markings, 177504 edges, 31 markings/sec, 1950 secs
lola: 1 tries, 58974 fired transitions, 1955 secs || 57742 markings, 178128 edges, 31 markings/sec, 1955 secs
lola: 1 tries, 59130 fired transitions, 1960 secs || 57897 markings, 178711 edges, 31 markings/sec, 1960 secs
lola: 1 tries, 59286 fired transitions, 1965 secs || 58051 markings, 179309 edges, 31 markings/sec, 1965 secs
lola: 1 tries, 59444 fired transitions, 1970 secs || 58207 markings, 179905 edges, 31 markings/sec, 1970 secs
lola: 1 tries, 59600 fired transitions, 1975 secs || 58361 markings, 180505 edges, 31 markings/sec, 1975 secs
lola: 1 tries, 59753 fired transitions, 1980 secs || 58516 markings, 181114 edges, 31 markings/sec, 1980 secs
lola: 1 tries, 59910 fired transitions, 1985 secs || 58673 markings, 181711 edges, 31 markings/sec, 1985 secs
lola: 1 tries, 60068 fired transitions, 1990 secs || 58830 markings, 182311 edges, 31 markings/sec, 1990 secs
lola: 1 tries, 60226 fired transitions, 1995 secs || 58987 markings, 182894 edges, 31 markings/sec, 1995 secs
lola: 1 tries, 60382 fired transitions, 2000 secs || 59142 markings, 183479 edges, 31 markings/sec, 2000 secs
lola: 1 tries, 60536 fired transitions, 2005 secs || 59296 markings, 184096 edges, 31 markings/sec, 2005 secs
lola: 1 tries, 60691 fired transitions, 2010 secs || 59451 markings, 184703 edges, 31 markings/sec, 2010 secs
lola: 1 tries, 60848 fired transitions, 2015 secs || 59606 markings, 185290 edges, 31 markings/sec, 2015 secs
lola: 1 tries, 61006 fired transitions, 2020 secs || 59763 markings, 185876 edges, 31 markings/sec, 2020 secs
lola: 1 tries, 61156 fired transitions, 2025 secs || 59913 markings, 186482 edges, 30 markings/sec, 2025 secs
lola: 1 tries, 61314 fired transitions, 2030 secs || 60070 markings, 187059 edges, 31 markings/sec, 2030 secs
lola: 1 tries, 61475 fired transitions, 2035 secs || 60231 markings, 187695 edges, 32 markings/sec, 2035 secs
lola: 1 tries, 61642 fired transitions, 2040 secs || 60397 markings, 188261 edges, 33 markings/sec, 2040 secs
lola: 1 tries, 61795 fired transitions, 2045 secs || 60549 markings, 188726 edges, 30 markings/sec, 2045 secs
lola: 1 tries, 61949 fired transitions, 2050 secs || 60698 markings, 189330 edges, 30 markings/sec, 2050 secs
lola: 1 tries, 62103 fired transitions, 2055 secs || 60848 markings, 189904 edges, 30 markings/sec, 2055 secs
lola: 1 tries, 62258 fired transitions, 2060 secs || 61002 markings, 190523 edges, 31 markings/sec, 2060 secs
lola: 1 tries, 62412 fired transitions, 2065 secs || 61154 markings, 191108 edges, 30 markings/sec, 2065 secs
lola: 1 tries, 62564 fired transitions, 2070 secs || 61305 markings, 191691 edges, 30 markings/sec, 2070 secs
lola: 1 tries, 62720 fired transitions, 2075 secs || 61460 markings, 192312 edges, 31 markings/sec, 2075 secs
lola: 1 tries, 62877 fired transitions, 2080 secs || 61616 markings, 192911 edges, 31 markings/sec, 2080 secs
lola: 1 tries, 63025 fired transitions, 2085 secs || 61764 markings, 193478 edges, 30 markings/sec, 2085 secs
lola: 1 tries, 63177 fired transitions, 2090 secs || 61917 markings, 194084 edges, 31 markings/sec, 2090 secs
lola: 1 tries, 63330 fired transitions, 2095 secs || 62070 markings, 194673 edges, 31 markings/sec, 2095 secs
lola: 1 tries, 63489 fired transitions, 2100 secs || 62227 markings, 195306 edges, 31 markings/sec, 2100 secs
lola: 1 tries, 63649 fired transitions, 2105 secs || 62386 markings, 195936 edges, 32 markings/sec, 2105 secs
lola: 1 tries, 63807 fired transitions, 2110 secs || 62542 markings, 196526 edges, 31 markings/sec, 2110 secs
lola: 1 tries, 63965 fired transitions, 2115 secs || 62700 markings, 197112 edges, 32 markings/sec, 2115 secs
lola: 1 tries, 64121 fired transitions, 2120 secs || 62855 markings, 197769 edges, 31 markings/sec, 2120 secs
lola: 1 tries, 64283 fired transitions, 2125 secs || 63017 markings, 198349 edges, 32 markings/sec, 2125 secs
lola: 1 tries, 64440 fired transitions, 2130 secs || 63172 markings, 199009 edges, 31 markings/sec, 2130 secs
lola: 1 tries, 64600 fired transitions, 2135 secs || 63331 markings, 199586 edges, 32 markings/sec, 2135 secs
lola: 1 tries, 64754 fired transitions, 2140 secs || 63484 markings, 200035 edges, 31 markings/sec, 2140 secs
lola: 1 tries, 64902 fired transitions, 2145 secs || 63631 markings, 200664 edges, 29 markings/sec, 2145 secs
lola: 1 tries, 65048 fired transitions, 2150 secs || 63776 markings, 201204 edges, 29 markings/sec, 2150 secs
lola: 1 tries, 65196 fired transitions, 2155 secs || 63922 markings, 201758 edges, 29 markings/sec, 2155 secs
lola: 1 tries, 65345 fired transitions, 2160 secs || 64069 markings, 202328 edges, 29 markings/sec, 2160 secs
lola: 1 tries, 65499 fired transitions, 2165 secs || 64222 markings, 202947 edges, 31 markings/sec, 2165 secs
lola: 1 tries, 65643 fired transitions, 2170 secs || 64366 markings, 203510 edges, 29 markings/sec, 2170 secs
lola: 1 tries, 65789 fired transitions, 2175 secs || 64512 markings, 204085 edges, 29 markings/sec, 2175 secs
lola: 1 tries, 65937 fired transitions, 2180 secs || 64660 markings, 204657 edges, 30 markings/sec, 2180 secs
lola: 1 tries, 66094 fired transitions, 2185 secs || 64816 markings, 205256 edges, 31 markings/sec, 2185 secs
lola: 1 tries, 66250 fired transitions, 2190 secs || 64972 markings, 205859 edges, 31 markings/sec, 2190 secs
lola: 1 tries, 66410 fired transitions, 2195 secs || 65131 markings, 206501 edges, 32 markings/sec, 2195 secs
lola: 1 tries, 66573 fired transitions, 2200 secs || 65292 markings, 207127 edges, 32 markings/sec, 2200 secs
lola: 1 tries, 66729 fired transitions, 2205 secs || 65448 markings, 207729 edges, 31 markings/sec, 2205 secs
lola: 1 tries, 66890 fired transitions, 2210 secs || 65609 markings, 208376 edges, 32 markings/sec, 2210 secs
lola: 1 tries, 67050 fired transitions, 2215 secs || 65768 markings, 208989 edges, 32 markings/sec, 2215 secs
lola: 1 tries, 67211 fired transitions, 2220 secs || 65929 markings, 209620 edges, 32 markings/sec, 2220 secs
lola: 1 tries, 67368 fired transitions, 2225 secs || 66085 markings, 210228 edges, 31 markings/sec, 2225 secs
lola: 1 tries, 67531 fired transitions, 2230 secs || 66246 markings, 210867 edges, 32 markings/sec, 2230 secs
lola: 1 tries, 67688 fired transitions, 2235 secs || 66400 markings, 211322 edges, 31 markings/sec, 2235 secs
lola: 1 tries, 67836 fired transitions, 2240 secs || 66547 markings, 211885 edges, 29 markings/sec, 2240 secs
lola: 1 tries, 67987 fired transitions, 2245 secs || 66698 markings, 212479 edges, 30 markings/sec, 2245 secs
lola: 1 tries, 68142 fired transitions, 2250 secs || 66853 markings, 213092 edges, 31 markings/sec, 2250 secs
lola: 1 tries, 68294 fired transitions, 2255 secs || 67005 markings, 213681 edges, 30 markings/sec, 2255 secs
lola: 1 tries, 68446 fired transitions, 2260 secs || 67157 markings, 214279 edges, 30 markings/sec, 2260 secs
lola: 1 tries, 68599 fired transitions, 2265 secs || 67310 markings, 214869 edges, 31 markings/sec, 2265 secs
lola: 1 tries, 68756 fired transitions, 2270 secs || 67467 markings, 215482 edges, 31 markings/sec, 2270 secs
lola: 1 tries, 68912 fired transitions, 2275 secs || 67622 markings, 216070 edges, 31 markings/sec, 2275 secs
lola: 1 tries, 69069 fired transitions, 2280 secs || 67777 markings, 216667 edges, 31 markings/sec, 2280 secs
lola: 1 tries, 69226 fired transitions, 2285 secs || 67934 markings, 217283 edges, 31 markings/sec, 2285 secs
lola: 1 tries, 69388 fired transitions, 2290 secs || 68094 markings, 217915 edges, 32 markings/sec, 2290 secs
lola: 1 tries, 69552 fired transitions, 2295 secs || 68257 markings, 218552 edges, 33 markings/sec, 2295 secs
lola: 1 tries, 69708 fired transitions, 2300 secs || 68408 markings, 219142 edges, 30 markings/sec, 2300 secs
lola: 1 tries, 69866 fired transitions, 2305 secs || 68564 markings, 219723 edges, 31 markings/sec, 2305 secs
lola: 1 tries, 70026 fired transitions, 2310 secs || 68724 markings, 220367 edges, 32 markings/sec, 2310 secs
lola: 1 tries, 70180 fired transitions, 2315 secs || 68878 markings, 220895 edges, 31 markings/sec, 2315 secs
lola: 1 tries, 70330 fired transitions, 2320 secs || 69026 markings, 221511 edges, 30 markings/sec, 2320 secs
lola: 1 tries, 70476 fired transitions, 2325 secs || 69172 markings, 222058 edges, 29 markings/sec, 2325 secs
lola: 1 tries, 70624 fired transitions, 2330 secs || 69318 markings, 222510 edges, 29 markings/sec, 2330 secs
lola: 1 tries, 70768 fired transitions, 2335 secs || 69462 markings, 223074 edges, 29 markings/sec, 2335 secs
lola: 1 tries, 70911 fired transitions, 2340 secs || 69605 markings, 223616 edges, 29 markings/sec, 2340 secs
lola: 1 tries, 71056 fired transitions, 2345 secs || 69750 markings, 224165 edges, 29 markings/sec, 2345 secs
lola: 1 tries, 71197 fired transitions, 2350 secs || 69891 markings, 224710 edges, 28 markings/sec, 2350 secs
lola: 1 tries, 71344 fired transitions, 2355 secs || 70036 markings, 225261 edges, 29 markings/sec, 2355 secs
lola: 1 tries, 71493 fired transitions, 2360 secs || 70182 markings, 225806 edges, 29 markings/sec, 2360 secs
lola: 1 tries, 71639 fired transitions, 2365 secs || 70323 markings, 226346 edges, 28 markings/sec, 2365 secs
lola: 1 tries, 71785 fired transitions, 2370 secs || 70469 markings, 226907 edges, 29 markings/sec, 2370 secs
lola: 1 tries, 71932 fired transitions, 2375 secs || 70614 markings, 227431 edges, 29 markings/sec, 2375 secs
lola: 1 tries, 72088 fired transitions, 2380 secs || 70770 markings, 228006 edges, 31 markings/sec, 2380 secs
lola: 1 tries, 72243 fired transitions, 2385 secs || 70923 markings, 228640 edges, 31 markings/sec, 2385 secs
lola: 1 tries, 72387 fired transitions, 2390 secs || 71052 markings, 229158 edges, 26 markings/sec, 2390 secs
lola: 1 tries, 72542 fired transitions, 2395 secs || 71206 markings, 229699 edges, 31 markings/sec, 2395 secs
lola: 1 tries, 72693 fired transitions, 2400 secs || 71357 markings, 230314 edges, 30 markings/sec, 2400 secs
lola: 1 tries, 72852 fired transitions, 2405 secs || 71513 markings, 230759 edges, 31 markings/sec, 2405 secs
lola: 1 tries, 72997 fired transitions, 2410 secs || 71657 markings, 231331 edges, 29 markings/sec, 2410 secs
lola: 1 tries, 73146 fired transitions, 2415 secs || 71807 markings, 231895 edges, 30 markings/sec, 2415 secs
lola: 1 tries, 73296 fired transitions, 2420 secs || 71957 markings, 232463 edges, 30 markings/sec, 2420 secs
lola: 1 tries, 73447 fired transitions, 2425 secs || 72108 markings, 233074 edges, 30 markings/sec, 2425 secs
lola: 1 tries, 73594 fired transitions, 2430 secs || 72255 markings, 233614 edges, 29 markings/sec, 2430 secs
lola: 1 tries, 73746 fired transitions, 2435 secs || 72407 markings, 234181 edges, 30 markings/sec, 2435 secs
lola: 1 tries, 73899 fired transitions, 2440 secs || 72558 markings, 234735 edges, 30 markings/sec, 2440 secs
lola: 1 tries, 74054 fired transitions, 2445 secs || 72713 markings, 235358 edges, 31 markings/sec, 2445 secs
lola: 1 tries, 74211 fired transitions, 2450 secs || 72869 markings, 235945 edges, 31 markings/sec, 2450 secs
lola: 1 tries, 74370 fired transitions, 2455 secs || 73026 markings, 236561 edges, 31 markings/sec, 2455 secs
lola: 1 tries, 74528 fired transitions, 2460 secs || 73183 markings, 237177 edges, 31 markings/sec, 2460 secs
lola: 1 tries, 74681 fired transitions, 2465 secs || 73334 markings, 237776 edges, 30 markings/sec, 2465 secs
lola: 1 tries, 74836 fired transitions, 2470 secs || 73488 markings, 238340 edges, 31 markings/sec, 2470 secs
lola: 1 tries, 74996 fired transitions, 2475 secs || 73647 markings, 238985 edges, 32 markings/sec, 2475 secs
lola: 1 tries, 75154 fired transitions, 2480 secs || 73804 markings, 239559 edges, 31 markings/sec, 2480 secs
lola: 1 tries, 75316 fired transitions, 2485 secs || 73964 markings, 240187 edges, 32 markings/sec, 2485 secs
lola: 1 tries, 75475 fired transitions, 2490 secs || 74120 markings, 240789 edges, 31 markings/sec, 2490 secs
lola: 1 tries, 75634 fired transitions, 2495 secs || 74278 markings, 241423 edges, 32 markings/sec, 2495 secs
lola: 1 tries, 75792 fired transitions, 2500 secs || 74435 markings, 241981 edges, 31 markings/sec, 2500 secs
lola: 1 tries, 75949 fired transitions, 2505 secs || 74591 markings, 242525 edges, 31 markings/sec, 2505 secs
lola: 1 tries, 76102 fired transitions, 2510 secs || 74744 markings, 243148 edges, 31 markings/sec, 2510 secs
lola: 1 tries, 76260 fired transitions, 2515 secs || 74902 markings, 243765 edges, 32 markings/sec, 2515 secs
lola: 1 tries, 76416 fired transitions, 2520 secs || 75057 markings, 244217 edges, 31 markings/sec, 2520 secs
lola: 1 tries, 76564 fired transitions, 2525 secs || 75203 markings, 244767 edges, 29 markings/sec, 2525 secs
lola: 1 tries, 76711 fired transitions, 2530 secs || 75350 markings, 245347 edges, 29 markings/sec, 2530 secs
lola: 1 tries, 76857 fired transitions, 2535 secs || 75496 markings, 245908 edges, 29 markings/sec, 2535 secs
lola: 1 tries, 77010 fired transitions, 2540 secs || 75647 markings, 246526 edges, 30 markings/sec, 2540 secs
lola: 1 tries, 77159 fired transitions, 2545 secs || 75796 markings, 247126 edges, 30 markings/sec, 2545 secs
lola: 1 tries, 77310 fired transitions, 2550 secs || 75946 markings, 247711 edges, 30 markings/sec, 2550 secs
lola: 1 tries, 77462 fired transitions, 2555 secs || 76096 markings, 248272 edges, 30 markings/sec, 2555 secs
lola: 1 tries, 77613 fired transitions, 2560 secs || 76247 markings, 248835 edges, 30 markings/sec, 2560 secs
lola: 1 tries, 77764 fired transitions, 2565 secs || 76398 markings, 249416 edges, 30 markings/sec, 2565 secs
lola: 1 tries, 77894 fired transitions, 2570 secs || 76542 markings, 249982 edges, 29 markings/sec, 2570 secs
lola: 1 tries, 78021 fired transitions, 2575 secs || 76685 markings, 250559 edges, 29 markings/sec, 2575 secs
lola: 1 tries, 78149 fired transitions, 2580 secs || 76830 markings, 251160 edges, 29 markings/sec, 2580 secs
lola: 1 tries, 78300 fired transitions, 2585 secs || 76984 markings, 251779 edges, 31 markings/sec, 2585 secs
lola: 1 tries, 78446 fired transitions, 2590 secs || 77135 markings, 252341 edges, 30 markings/sec, 2590 secs
lola: 1 tries, 78593 fired transitions, 2595 secs || 77287 markings, 252955 edges, 30 markings/sec, 2595 secs
lola: 1 tries, 78738 fired transitions, 2600 secs || 77433 markings, 253512 edges, 29 markings/sec, 2600 secs
lola: 1 tries, 78889 fired transitions, 2605 secs || 77583 markings, 254124 edges, 30 markings/sec, 2605 secs
lola: 1 tries, 79038 fired transitions, 2610 secs || 77732 markings, 254681 edges, 30 markings/sec, 2610 secs
lola: 1 tries, 79189 fired transitions, 2615 secs || 77881 markings, 255305 edges, 30 markings/sec, 2615 secs
lola: 1 tries, 79332 fired transitions, 2620 secs || 78025 markings, 255708 edges, 29 markings/sec, 2620 secs
lola: 1 tries, 79474 fired transitions, 2625 secs || 78166 markings, 256251 edges, 28 markings/sec, 2625 secs
lola: 1 tries, 79618 fired transitions, 2630 secs || 78310 markings, 256800 edges, 29 markings/sec, 2630 secs
lola: 1 tries, 79762 fired transitions, 2635 secs || 78456 markings, 257369 edges, 29 markings/sec, 2635 secs
lola: 1 tries, 79910 fired transitions, 2640 secs || 78602 markings, 257969 edges, 29 markings/sec, 2640 secs
lola: 1 tries, 80059 fired transitions, 2645 secs || 78749 markings, 258544 edges, 29 markings/sec, 2645 secs
lola: 1 tries, 80211 fired transitions, 2650 secs || 78899 markings, 259124 edges, 30 markings/sec, 2650 secs
lola: 1 tries, 80363 fired transitions, 2655 secs || 79050 markings, 259700 edges, 30 markings/sec, 2655 secs
lola: 1 tries, 80516 fired transitions, 2660 secs || 79198 markings, 260251 edges, 30 markings/sec, 2660 secs
lola: 1 tries, 80667 fired transitions, 2665 secs || 79347 markings, 260818 edges, 30 markings/sec, 2665 secs
lola: 1 tries, 80817 fired transitions, 2670 secs || 79495 markings, 261381 edges, 30 markings/sec, 2670 secs
lola: 1 tries, 80969 fired transitions, 2675 secs || 79644 markings, 262003 edges, 30 markings/sec, 2675 secs
lola: 1 tries, 81121 fired transitions, 2680 secs || 79794 markings, 262598 edges, 30 markings/sec, 2680 secs
lola: 1 tries, 81274 fired transitions, 2685 secs || 79947 markings, 263222 edges, 31 markings/sec, 2685 secs
lola: 1 tries, 81422 fired transitions, 2690 secs || 80095 markings, 263785 edges, 30 markings/sec, 2690 secs
lola: 1 tries, 81571 fired transitions, 2695 secs || 80243 markings, 264342 edges, 30 markings/sec, 2695 secs
lola: 1 tries, 81725 fired transitions, 2700 secs || 80396 markings, 264976 edges, 31 markings/sec, 2700 secs
lola: 1 tries, 81878 fired transitions, 2705 secs || 80548 markings, 265531 edges, 30 markings/sec, 2705 secs
lola: 1 tries, 82034 fired transitions, 2710 secs || 80704 markings, 266187 edges, 31 markings/sec, 2710 secs
lola: 1 tries, 82196 fired transitions, 2715 secs || 80864 markings, 266707 edges, 32 markings/sec, 2715 secs
lola: 1 tries, 82345 fired transitions, 2720 secs || 81010 markings, 267211 edges, 29 markings/sec, 2720 secs
lola: 1 tries, 82491 fired transitions, 2725 secs || 81154 markings, 267796 edges, 29 markings/sec, 2725 secs
lola: 1 tries, 82636 fired transitions, 2730 secs || 81300 markings, 268356 edges, 29 markings/sec, 2730 secs
lola: 1 tries, 82787 fired transitions, 2735 secs || 81450 markings, 268939 edges, 30 markings/sec, 2735 secs
lola: 1 tries, 82939 fired transitions, 2740 secs || 81597 markings, 269525 edges, 29 markings/sec, 2740 secs
lola: 1 tries, 83094 fired transitions, 2745 secs || 81744 markings, 270092 edges, 29 markings/sec, 2745 secs
lola: 1 tries, 83248 fired transitions, 2750 secs || 81894 markings, 270677 edges, 30 markings/sec, 2750 secs
lola: 1 tries, 83392 fired transitions, 2755 secs || 82040 markings, 271259 edges, 29 markings/sec, 2755 secs
lola: 1 tries, 83543 fired transitions, 2760 secs || 82188 markings, 271830 edges, 30 markings/sec, 2760 secs
lola: 1 tries, 83695 fired transitions, 2765 secs || 82336 markings, 272392 edges, 30 markings/sec, 2765 secs
lola: 1 tries, 83841 fired transitions, 2770 secs || 82470 markings, 272900 edges, 27 markings/sec, 2770 secs
lola: 1 tries, 83992 fired transitions, 2775 secs || 82621 markings, 273524 edges, 30 markings/sec, 2775 secs
lola: 1 tries, 84145 fired transitions, 2780 secs || 82774 markings, 274123 edges, 31 markings/sec, 2780 secs
lola: 1 tries, 84299 fired transitions, 2785 secs || 82926 markings, 274693 edges, 30 markings/sec, 2785 secs
lola: 1 tries, 84459 fired transitions, 2790 secs || 83083 markings, 275352 edges, 31 markings/sec, 2790 secs
lola: 1 tries, 84613 fired transitions, 2795 secs || 83236 markings, 275917 edges, 31 markings/sec, 2795 secs
lola: 1 tries, 84771 fired transitions, 2800 secs || 83394 markings, 276583 edges, 32 markings/sec, 2800 secs
lola: 1 tries, 84925 fired transitions, 2805 secs || 83547 markings, 277144 edges, 31 markings/sec, 2805 secs
lola: 1 tries, 85084 fired transitions, 2810 secs || 83705 markings, 277797 edges, 32 markings/sec, 2810 secs
lola: 1 tries, 85242 fired transitions, 2815 secs || 83862 markings, 278264 edges, 31 markings/sec, 2815 secs
lola: 1 tries, 85390 fired transitions, 2820 secs || 84010 markings, 278814 edges, 30 markings/sec, 2820 secs
lola: 1 tries, 85540 fired transitions, 2825 secs || 84158 markings, 279386 edges, 30 markings/sec, 2825 secs
lola: 1 tries, 85692 fired transitions, 2830 secs || 84308 markings, 279956 edges, 30 markings/sec, 2830 secs
lola: 1 tries, 85843 fired transitions, 2835 secs || 84448 markings, 280544 edges, 28 markings/sec, 2835 secs
lola: 1 tries, 85989 fired transitions, 2840 secs || 84571 markings, 281002 edges, 25 markings/sec, 2840 secs
lola: 1 tries, 86137 fired transitions, 2845 secs || 84695 markings, 281482 edges, 25 markings/sec, 2845 secs
lola: 1 tries, 86285 fired transitions, 2850 secs || 84818 markings, 281957 edges, 25 markings/sec, 2850 secs
lola: 1 tries, 86430 fired transitions, 2855 secs || 84949 markings, 282478 edges, 26 markings/sec, 2855 secs
lola: 1 tries, 86579 fired transitions, 2860 secs || 85098 markings, 283056 edges, 30 markings/sec, 2860 secs
lola: 1 tries, 86730 fired transitions, 2865 secs || 85249 markings, 283632 edges, 30 markings/sec, 2865 secs
lola: 1 tries, 86883 fired transitions, 2870 secs || 85401 markings, 284225 edges, 30 markings/sec, 2870 secs
lola: 1 tries, 87036 fired transitions, 2875 secs || 85553 markings, 284825 edges, 30 markings/sec, 2875 secs
lola: 1 tries, 87192 fired transitions, 2880 secs || 85708 markings, 285438 edges, 31 markings/sec, 2880 secs
lola: 1 tries, 87347 fired transitions, 2885 secs || 85855 markings, 285971 edges, 29 markings/sec, 2885 secs
lola: 1 tries, 87502 fired transitions, 2890 secs || 86002 markings, 286588 edges, 29 markings/sec, 2890 secs
lola: 1 tries, 87657 fired transitions, 2895 secs || 86156 markings, 287147 edges, 31 markings/sec, 2895 secs
lola: 1 tries, 87815 fired transitions, 2900 secs || 86311 markings, 287787 edges, 31 markings/sec, 2900 secs
lola: 1 tries, 87971 fired transitions, 2905 secs || 86460 markings, 288321 edges, 30 markings/sec, 2905 secs
lola: 1 tries, 88129 fired transitions, 2910 secs || 86615 markings, 288947 edges, 31 markings/sec, 2910 secs
lola: 1 tries, 88289 fired transitions, 2915 secs || 86773 markings, 289421 edges, 32 markings/sec, 2915 secs
lola: 1 tries, 88440 fired transitions, 2920 secs || 86918 markings, 289974 edges, 29 markings/sec, 2920 secs
lola: 1 tries, 88588 fired transitions, 2925 secs || 87065 markings, 290550 edges, 29 markings/sec, 2925 secs
lola: 1 tries, 88739 fired transitions, 2930 secs || 87214 markings, 291118 edges, 30 markings/sec, 2930 secs
lola: 1 tries, 88891 fired transitions, 2935 secs || 87364 markings, 291745 edges, 30 markings/sec, 2935 secs
lola: 1 tries, 89040 fired transitions, 2940 secs || 87513 markings, 292337 edges, 30 markings/sec, 2940 secs
lola: 1 tries, 89189 fired transitions, 2945 secs || 87662 markings, 292918 edges, 30 markings/sec, 2945 secs
lola: 1 tries, 89340 fired transitions, 2950 secs || 87813 markings, 293475 edges, 30 markings/sec, 2950 secs
lola: 1 tries, 89492 fired transitions, 2955 secs || 87963 markings, 294031 edges, 30 markings/sec, 2955 secs
lola: 1 tries, 89644 fired transitions, 2960 secs || 88115 markings, 294637 edges, 30 markings/sec, 2960 secs
lola: 1 tries, 89798 fired transitions, 2965 secs || 88267 markings, 295270 edges, 30 markings/sec, 2965 secs
lola: 1 tries, 89950 fired transitions, 2970 secs || 88418 markings, 295855 edges, 30 markings/sec, 2970 secs
lola: 1 tries, 90104 fired transitions, 2975 secs || 88571 markings, 296451 edges, 31 markings/sec, 2975 secs
lola: 1 tries, 90260 fired transitions, 2980 secs || 88727 markings, 297082 edges, 31 markings/sec, 2980 secs
lola: 1 tries, 90413 fired transitions, 2985 secs || 88878 markings, 297670 edges, 30 markings/sec, 2985 secs
lola: 1 tries, 90567 fired transitions, 2990 secs || 89030 markings, 298218 edges, 30 markings/sec, 2990 secs
lola: 1 tries, 90719 fired transitions, 2995 secs || 89181 markings, 298849 edges, 30 markings/sec, 2995 secs
lola: 1 tries, 90873 fired transitions, 3000 secs || 89329 markings, 299385 edges, 30 markings/sec, 3000 secs
lola: 1 tries, 91025 fired transitions, 3005 secs || 89480 markings, 300019 edges, 30 markings/sec, 3005 secs
lola: 1 tries, 91181 fired transitions, 3010 secs || 89634 markings, 300628 edges, 31 markings/sec, 3010 secs
lola: 1 tries, 91330 fired transitions, 3015 secs || 89781 markings, 301052 edges, 29 markings/sec, 3015 secs
lola: 1 tries, 91475 fired transitions, 3020 secs || 89915 markings, 301603 edges, 27 markings/sec, 3020 secs
lola: 1 tries, 91617 fired transitions, 3025 secs || 90036 markings, 302069 edges, 24 markings/sec, 3025 secs
lola: 1 tries, 91761 fired transitions, 3030 secs || 90171 markings, 302580 edges, 27 markings/sec, 3030 secs
lola: 1 tries, 91907 fired transitions, 3035 secs || 90295 markings, 303092 edges, 25 markings/sec, 3035 secs
lola: 1 tries, 92057 fired transitions, 3040 secs || 90433 markings, 303630 edges, 28 markings/sec, 3040 secs
lola: 1 tries, 92211 fired transitions, 3045 secs || 90586 markings, 304236 edges, 31 markings/sec, 3045 secs
lola: 1 tries, 92364 fired transitions, 3050 secs || 90738 markings, 304825 edges, 30 markings/sec, 3050 secs
lola: 1 tries, 92516 fired transitions, 3055 secs || 90888 markings, 305373 edges, 30 markings/sec, 3055 secs
lola: 1 tries, 92667 fired transitions, 3060 secs || 91039 markings, 305949 edges, 30 markings/sec, 3060 secs
lola: 1 tries, 92820 fired transitions, 3065 secs || 91192 markings, 306556 edges, 31 markings/sec, 3065 secs
lola: 1 tries, 92975 fired transitions, 3070 secs || 91347 markings, 307189 edges, 31 markings/sec, 3070 secs
lola: 1 tries, 93118 fired transitions, 3075 secs || 91498 markings, 307792 edges, 30 markings/sec, 3075 secs
lola: 1 tries, 93272 fired transitions, 3080 secs || 91651 markings, 308378 edges, 31 markings/sec, 3080 secs
lola: 1 tries, 93427 fired transitions, 3085 secs || 91800 markings, 308970 edges, 30 markings/sec, 3085 secs
lola: 1 tries, 93583 fired transitions, 3090 secs || 91952 markings, 309543 edges, 30 markings/sec, 3090 secs
lola: 1 tries, 93740 fired transitions, 3095 secs || 92104 markings, 310103 edges, 30 markings/sec, 3095 secs
lola: 1 tries, 93896 fired transitions, 3100 secs || 92252 markings, 310707 edges, 30 markings/sec, 3100 secs
lola: 1 tries, 94055 fired transitions, 3105 secs || 92400 markings, 311315 edges, 30 markings/sec, 3105 secs
lola: 1 tries, 94212 fired transitions, 3110 secs || 92550 markings, 311928 edges, 30 markings/sec, 3110 secs
lola: 1 tries, 94359 fired transitions, 3115 secs || 92693 markings, 312322 edges, 29 markings/sec, 3115 secs
lola: 1 tries, 94505 fired transitions, 3120 secs || 92835 markings, 312894 edges, 28 markings/sec, 3120 secs
lola: 1 tries, 94653 fired transitions, 3125 secs || 92978 markings, 313434 edges, 29 markings/sec, 3125 secs
lola: 1 tries, 94801 fired transitions, 3130 secs || 93124 markings, 314012 edges, 29 markings/sec, 3130 secs
lola: 1 tries, 94948 fired transitions, 3135 secs || 93273 markings, 314579 edges, 30 markings/sec, 3135 secs
lola: 1 tries, 95090 fired transitions, 3140 secs || 93421 markings, 315118 edges, 30 markings/sec, 3140 secs
lola: 1 tries, 95232 fired transitions, 3145 secs || 93566 markings, 315688 edges, 29 markings/sec, 3145 secs
lola: 1 tries, 95382 fired transitions, 3150 secs || 93712 markings, 316258 edges, 29 markings/sec, 3150 secs
lola: 1 tries, 95532 fired transitions, 3155 secs || 93860 markings, 316840 edges, 30 markings/sec, 3155 secs
lola: 1 tries, 95685 fired transitions, 3160 secs || 94011 markings, 317411 edges, 30 markings/sec, 3160 secs
lola: 1 tries, 95834 fired transitions, 3165 secs || 94160 markings, 317971 edges, 30 markings/sec, 3165 secs
lola: 1 tries, 95988 fired transitions, 3170 secs || 94310 markings, 318594 edges, 30 markings/sec, 3170 secs
lola: 1 tries, 96141 fired transitions, 3175 secs || 94460 markings, 319200 edges, 30 markings/sec, 3175 secs
lola: 1 tries, 96288 fired transitions, 3180 secs || 94585 markings, 319643 edges, 25 markings/sec, 3180 secs
lola: 1 tries, 96436 fired transitions, 3185 secs || 94707 markings, 320157 edges, 24 markings/sec, 3185 secs
lola: 1 tries, 96589 fired transitions, 3190 secs || 94841 markings, 320663 edges, 27 markings/sec, 3190 secs
lola: 1 tries, 96736 fired transitions, 3195 secs || 94965 markings, 321150 edges, 25 markings/sec, 3195 secs
lola: 1 tries, 96881 fired transitions, 3200 secs || 95090 markings, 321659 edges, 25 markings/sec, 3200 secs
lola: 1 tries, 97025 fired transitions, 3205 secs || 95214 markings, 322090 edges, 25 markings/sec, 3205 secs
lola: 1 tries, 97169 fired transitions, 3210 secs || 95339 markings, 322626 edges, 25 markings/sec, 3210 secs
lola: 1 tries, 97312 fired transitions, 3215 secs || 95463 markings, 323125 edges, 25 markings/sec, 3215 secs
lola: 1 tries, 97466 fired transitions, 3220 secs || 95599 markings, 323439 edges, 27 markings/sec, 3220 secs
lola: 1 tries, 97617 fired transitions, 3225 secs || 95729 markings, 323914 edges, 26 markings/sec, 3225 secs
lola: 1 tries, 97766 fired transitions, 3230 secs || 95860 markings, 324456 edges, 26 markings/sec, 3230 secs
lola: 1 tries, 97915 fired transitions, 3235 secs || 95993 markings, 324983 edges, 27 markings/sec, 3235 secs
lola: 1 tries, 98068 fired transitions, 3240 secs || 96128 markings, 325526 edges, 27 markings/sec, 3240 secs
lola: 1 tries, 98221 fired transitions, 3245 secs || 96263 markings, 326020 edges, 27 markings/sec, 3245 secs
lola: 1 tries, 98374 fired transitions, 3250 secs || 96396 markings, 326540 edges, 27 markings/sec, 3250 secs
lola: 1 tries, 98528 fired transitions, 3255 secs || 96527 markings, 327052 edges, 26 markings/sec, 3255 secs
lola: 1 tries, 98682 fired transitions, 3260 secs || 96660 markings, 327554 edges, 27 markings/sec, 3260 secs
lola: 1 tries, 98840 fired transitions, 3265 secs || 96808 markings, 328126 edges, 30 markings/sec, 3265 secs
lola: 1 tries, 98996 fired transitions, 3270 secs || 96954 markings, 328678 edges, 29 markings/sec, 3270 secs
lola: 1 tries, 99149 fired transitions, 3275 secs || 97104 markings, 329260 edges, 30 markings/sec, 3275 secs
lola: 1 tries, 99303 fired transitions, 3280 secs || 97260 markings, 329878 edges, 31 markings/sec, 3280 secs
lola: 1 tries, 99454 fired transitions, 3285 secs || 97415 markings, 330471 edges, 31 markings/sec, 3285 secs
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1553125027863

--------------------
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="TokenRing-PT-050"
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 TokenRing-PT-050, 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 r170-oct2-155297750600363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-050.tgz
mv TokenRing-PT-050 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 '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;