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.r049-oct2-155234404700228.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 DLCflexbar-PT-4b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234404700228
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.3M
-rw-r--r-- 1 mcc users 4.1K Feb 9 11:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 9 11:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 10:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 10:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 03:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 03:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 17:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 17:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.1M 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 DLCflexbar-PT-4b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552444188136

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCflexbar-PT-4b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 681
rslt: Output for GlobalProperties @ DLCflexbar-PT-4b
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: 28568/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 11440
lola: finding significant places
lola: 11440 places, 17128 transitions, 10832 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 50 generators (50 in search tree, 0 by composition)
lola: representing 1.1259E+15 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1140196 fired transitions, 0 secs || 23202 markings, 25008 edges, 4640 markings/sec, 0 secs
lola: 3 tries, 2199191 fired transitions, 5 secs || 53031 markings, 57852 edges, 5966 markings/sec, 5 secs
lola: 4 tries, 3259809 fired transitions, 10 secs || 83035 markings, 91095 edges, 6001 markings/sec, 10 secs
lola: 5 tries, 4317239 fired transitions, 15 secs || 111009 markings, 122416 edges, 5595 markings/sec, 15 secs
lola: 6 tries, 5378933 fired transitions, 20 secs || 139417 markings, 154367 edges, 5682 markings/sec, 20 secs
lola: 7 tries, 6443065 fired transitions, 25 secs || 168001 markings, 186116 edges, 5717 markings/sec, 25 secs
lola: 8 tries, 7501132 fired transitions, 30 secs || 195335 markings, 216462 edges, 5467 markings/sec, 30 secs
lola: 9 tries, 8560511 fired transitions, 35 secs || 222674 markings, 246825 edges, 5468 markings/sec, 35 secs
lola: 10 tries, 9619440 fired transitions, 40 secs || 250138 markings, 277063 edges, 5493 markings/sec, 40 secs
lola: 11 tries, 10685819 fired transitions, 45 secs || 279380 markings, 309338 edges, 5848 markings/sec, 45 secs
lola: 12 tries, 11750323 fired transitions, 50 secs || 308349 markings, 341080 edges, 5794 markings/sec, 50 secs
lola: 13 tries, 12812182 fired transitions, 55 secs || 337202 markings, 372980 edges, 5771 markings/sec, 55 secs
lola: 14 tries, 13878572 fired transitions, 60 secs || 366299 markings, 404502 edges, 5819 markings/sec, 60 secs
lola: 15 tries, 14944876 fired transitions, 65 secs || 395115 markings, 435725 edges, 5763 markings/sec, 65 secs
lola: 17 tries, 16008866 fired transitions, 70 secs || 423604 markings, 466401 edges, 5698 markings/sec, 70 secs
lola: 18 tries, 17072152 fired transitions, 75 secs || 451952 markings, 497216 edges, 5670 markings/sec, 75 secs
lola: 19 tries, 18141028 fired transitions, 80 secs || 480045 markings, 528177 edges, 5619 markings/sec, 80 secs
lola: 20 tries, 19207977 fired transitions, 85 secs || 508187 markings, 558798 edges, 5628 markings/sec, 85 secs
lola: 21 tries, 20277340 fired transitions, 90 secs || 536578 markings, 589712 edges, 5678 markings/sec, 90 secs
lola: 22 tries, 21345223 fired transitions, 95 secs || 564557 markings, 620154 edges, 5596 markings/sec, 95 secs
lola: 23 tries, 22406019 fired transitions, 100 secs || 591449 markings, 649426 edges, 5378 markings/sec, 100 secs
lola: 24 tries, 23468917 fired transitions, 105 secs || 618626 markings, 678963 edges, 5435 markings/sec, 105 secs
lola: 25 tries, 24531964 fired transitions, 110 secs || 645757 markings, 708504 edges, 5426 markings/sec, 110 secs
lola: 26 tries, 25596084 fired transitions, 115 secs || 673211 markings, 738288 edges, 5491 markings/sec, 115 secs
lola: 27 tries, 26663831 fired transitions, 120 secs || 701516 markings, 769073 edges, 5661 markings/sec, 120 secs
lola: 28 tries, 27727822 fired transitions, 125 secs || 729018 markings, 798912 edges, 5500 markings/sec, 125 secs
lola: 29 tries, 28796381 fired transitions, 130 secs || 757412 markings, 829716 edges, 5679 markings/sec, 130 secs
lola: 30 tries, 29870209 fired transitions, 135 secs || 786348 markings, 861606 edges, 5787 markings/sec, 135 secs
lola: 31 tries, 30941393 fired transitions, 140 secs || 814844 markings, 892790 edges, 5699 markings/sec, 140 secs
lola: 32 tries, 31954029 fired transitions, 145 secs || 841293 markings, 921737 edges, 5290 markings/sec, 145 secs
lola: 34 tries, 33023573 fired transitions, 150 secs || 869477 markings, 952523 edges, 5637 markings/sec, 150 secs
lola: 35 tries, 34091138 fired transitions, 155 secs || 896961 markings, 982414 edges, 5497 markings/sec, 155 secs
lola: 36 tries, 35157346 fired transitions, 160 secs || 925075 markings, 1012932 edges, 5623 markings/sec, 160 secs
lola: 37 tries, 36225932 fired transitions, 165 secs || 953103 markings, 1043462 edges, 5606 markings/sec, 165 secs
lola: 38 tries, 37296934 fired transitions, 170 secs || 981304 markings, 1074137 edges, 5640 markings/sec, 170 secs
lola: 39 tries, 38370009 fired transitions, 175 secs || 1009637 markings, 1105252 edges, 5667 markings/sec, 175 secs
lola: 40 tries, 39438893 fired transitions, 180 secs || 1037338 markings, 1135227 edges, 5540 markings/sec, 180 secs
lola: 41 tries, 40506634 fired transitions, 185 secs || 1065115 markings, 1165300 edges, 5555 markings/sec, 185 secs
lola: 42 tries, 41578249 fired transitions, 190 secs || 1093060 markings, 1195964 edges, 5589 markings/sec, 190 secs
lola: 43 tries, 42651316 fired transitions, 195 secs || 1121635 markings, 1227276 edges, 5715 markings/sec, 195 secs
lola: 44 tries, 43719424 fired transitions, 200 secs || 1149964 markings, 1257905 edges, 5666 markings/sec, 200 secs
lola: 45 tries, 44793332 fired transitions, 205 secs || 1178207 markings, 1289058 edges, 5649 markings/sec, 205 secs
lola: 46 tries, 45830268 fired transitions, 210 secs || 1205306 markings, 1318458 edges, 5420 markings/sec, 210 secs
lola: 47 tries, 46903965 fired transitions, 215 secs || 1233028 markings, 1349026 edges, 5544 markings/sec, 215 secs
lola: 48 tries, 47972896 fired transitions, 220 secs || 1260966 markings, 1379526 edges, 5588 markings/sec, 220 secs
lola: 50 tries, 49040487 fired transitions, 225 secs || 1288773 markings, 1409840 edges, 5561 markings/sec, 225 secs
lola: 51 tries, 50106256 fired transitions, 230 secs || 1316561 markings, 1439936 edges, 5558 markings/sec, 230 secs
lola: 52 tries, 51176573 fired transitions, 235 secs || 1344645 markings, 1470417 edges, 5617 markings/sec, 235 secs
lola: 53 tries, 52255814 fired transitions, 240 secs || 1373696 markings, 1501995 edges, 5810 markings/sec, 240 secs
lola: 54 tries, 53333842 fired transitions, 245 secs || 1402389 markings, 1533059 edges, 5739 markings/sec, 245 secs
lola: 55 tries, 54414889 fired transitions, 250 secs || 1431577 markings, 1564806 edges, 5838 markings/sec, 250 secs
lola: 56 tries, 55496289 fired transitions, 255 secs || 1460894 markings, 1596849 edges, 5863 markings/sec, 255 secs
lola: 57 tries, 56580038 fired transitions, 260 secs || 1490437 markings, 1629149 edges, 5909 markings/sec, 260 secs
lola: 58 tries, 57664495 fired transitions, 265 secs || 1520376 markings, 1662009 edges, 5988 markings/sec, 265 secs
lola: 59 tries, 58747788 fired transitions, 270 secs || 1549417 markings, 1693672 edges, 5808 markings/sec, 270 secs
lola: 60 tries, 59815141 fired transitions, 275 secs || 1577965 markings, 1724543 edges, 5710 markings/sec, 275 secs
lola: 61 tries, 60862748 fired transitions, 280 secs || 1606593 markings, 1755627 edges, 5726 markings/sec, 280 secs
lola: 62 tries, 61522996 fired transitions, 285 secs || 1627185 markings, 1778445 edges, 4118 markings/sec, 285 secs
lola: 63 tries, 62192846 fired transitions, 290 secs || 1647971 markings, 1801369 edges, 4157 markings/sec, 290 secs
lola: 63 tries, 62924190 fired transitions, 295 secs || 1670008 markings, 1825807 edges, 4407 markings/sec, 295 secs
lola: 64 tries, 63597494 fired transitions, 300 secs || 1691041 markings, 1849189 edges, 4207 markings/sec, 300 secs
lola: 65 tries, 64269674 fired transitions, 305 secs || 1713631 markings, 1874192 edges, 4518 markings/sec, 305 secs
lola: 65 tries, 64947386 fired transitions, 310 secs || 1735207 markings, 1897929 edges, 4315 markings/sec, 310 secs
lola: 66 tries, 65619746 fired transitions, 315 secs || 1756635 markings, 1921499 edges, 4286 markings/sec, 315 secs
lola: 67 tries, 66291914 fired transitions, 320 secs || 1778001 markings, 1944994 edges, 4273 markings/sec, 320 secs
lola: 67 tries, 66967906 fired transitions, 325 secs || 1799179 markings, 1968282 edges, 4236 markings/sec, 325 secs
lola: 68 tries, 67642819 fired transitions, 330 secs || 1820314 markings, 1991527 edges, 4227 markings/sec, 330 secs
lola: 69 tries, 68315324 fired transitions, 335 secs || 1841405 markings, 2014719 edges, 4218 markings/sec, 335 secs
lola: 69 tries, 68989943 fired transitions, 340 secs || 1862469 markings, 2037883 edges, 4213 markings/sec, 340 secs
lola: 70 tries, 69659916 fired transitions, 345 secs || 1883516 markings, 2061025 edges, 4209 markings/sec, 345 secs
lola: 71 tries, 70334799 fired transitions, 350 secs || 1904541 markings, 2084150 edges, 4205 markings/sec, 350 secs
lola: 72 tries, 71007149 fired transitions, 355 secs || 1925592 markings, 2107297 edges, 4210 markings/sec, 355 secs
lola: 72 tries, 71681545 fired transitions, 360 secs || 1946598 markings, 2130399 edges, 4201 markings/sec, 360 secs
lola: 73 tries, 72353693 fired transitions, 365 secs || 1967778 markings, 2153684 edges, 4236 markings/sec, 365 secs
lola: 74 tries, 73027655 fired transitions, 370 secs || 1988776 markings, 2176777 edges, 4200 markings/sec, 370 secs
lola: 74 tries, 73704214 fired transitions, 375 secs || 2009669 markings, 2199753 edges, 4179 markings/sec, 375 secs
lola: 75 tries, 74377508 fired transitions, 380 secs || 2030731 markings, 2222910 edges, 4212 markings/sec, 380 secs
lola: 76 tries, 75049500 fired transitions, 385 secs || 2051866 markings, 2246151 edges, 4227 markings/sec, 385 secs
lola: 76 tries, 75807956 fired transitions, 390 secs || 2075307 markings, 2271965 edges, 4688 markings/sec, 390 secs
lola: 77 tries, 76758781 fired transitions, 395 secs || 2101734 markings, 2300991 edges, 5285 markings/sec, 395 secs
lola: 78 tries, 77433630 fired transitions, 400 secs || 2124283 markings, 2326038 edges, 4510 markings/sec, 400 secs
lola: 79 tries, 78102277 fired transitions, 405 secs || 2145786 markings, 2349695 edges, 4301 markings/sec, 405 secs
lola: 80 tries, 79139228 fired transitions, 410 secs || 2175912 markings, 2382711 edges, 6025 markings/sec, 410 secs
lola: 81 tries, 80096044 fired transitions, 415 secs || 2203396 markings, 2412878 edges, 5497 markings/sec, 415 secs
lola: 81 tries, 80770486 fired transitions, 420 secs || 2224027 markings, 2435754 edges, 4126 markings/sec, 420 secs
lola: 82 tries, 81446180 fired transitions, 425 secs || 2244749 markings, 2458203 edges, 4144 markings/sec, 425 secs
lola: 83 tries, 82118551 fired transitions, 430 secs || 2265507 markings, 2480884 edges, 4152 markings/sec, 430 secs
lola: 83 tries, 82794009 fired transitions, 435 secs || 2286102 markings, 2503425 edges, 4119 markings/sec, 435 secs
lola: 84 tries, 83467292 fired transitions, 440 secs || 2306770 markings, 2526053 edges, 4134 markings/sec, 440 secs
lola: 85 tries, 84139214 fired transitions, 445 secs || 2327551 markings, 2548794 edges, 4156 markings/sec, 445 secs
lola: 85 tries, 84815263 fired transitions, 450 secs || 2348402 markings, 2571797 edges, 4170 markings/sec, 450 secs
lola: 86 tries, 85490108 fired transitions, 455 secs || 2369013 markings, 2594369 edges, 4122 markings/sec, 455 secs
lola: 87 tries, 86161443 fired transitions, 460 secs || 2389527 markings, 2616923 edges, 4103 markings/sec, 460 secs
lola: 87 tries, 86838143 fired transitions, 465 secs || 2410110 markings, 2639461 edges, 4117 markings/sec, 465 secs
lola: 88 tries, 87510517 fired transitions, 470 secs || 2430869 markings, 2662282 edges, 4152 markings/sec, 470 secs
lola: 89 tries, 88185336 fired transitions, 475 secs || 2451383 markings, 2684970 edges, 4103 markings/sec, 475 secs
lola: 89 tries, 88858692 fired transitions, 480 secs || 2472048 markings, 2707949 edges, 4133 markings/sec, 480 secs
lola: 90 tries, 89533592 fired transitions, 485 secs || 2492753 markings, 2730938 edges, 4141 markings/sec, 485 secs
lola: 91 tries, 90206098 fired transitions, 490 secs || 2513368 markings, 2753618 edges, 4123 markings/sec, 490 secs
lola: 91 tries, 90882863 fired transitions, 495 secs || 2534374 markings, 2776855 edges, 4201 markings/sec, 495 secs
lola: 92 tries, 91943073 fired transitions, 500 secs || 2561804 markings, 2806710 edges, 5486 markings/sec, 500 secs
lola: 93 tries, 92640612 fired transitions, 505 secs || 2583490 markings, 2830809 edges, 4337 markings/sec, 505 secs
lola: 94 tries, 93313191 fired transitions, 510 secs || 2604339 markings, 2853889 edges, 4170 markings/sec, 510 secs
lola: 94 tries, 93989952 fired transitions, 515 secs || 2625611 markings, 2877027 edges, 4254 markings/sec, 515 secs
lola: 95 tries, 94661517 fired transitions, 520 secs || 2646330 markings, 2899686 edges, 4144 markings/sec, 520 secs
lola: 96 tries, 95336546 fired transitions, 525 secs || 2666925 markings, 2922189 edges, 4119 markings/sec, 525 secs
lola: 97 tries, 96008308 fired transitions, 530 secs || 2687678 markings, 2944955 edges, 4151 markings/sec, 530 secs
lola: 97 tries, 96684972 fired transitions, 535 secs || 2708202 markings, 2967388 edges, 4105 markings/sec, 535 secs
lola: 98 tries, 97656253 fired transitions, 540 secs || 2738453 markings, 3000575 edges, 6050 markings/sec, 540 secs
lola: 99 tries, 98701532 fired transitions, 545 secs || 2769908 markings, 3035493 edges, 6291 markings/sec, 545 secs
lola: 100 tries, 99432764 fired transitions, 550 secs || 2791348 markings, 3060181 edges, 4288 markings/sec, 550 secs
lola: 101 tries, 100104987 fired transitions, 555 secs || 2812968 markings, 3085618 edges, 4324 markings/sec, 555 secs
lola: 101 tries, 100773684 fired transitions, 560 secs || 2834964 markings, 3111813 edges, 4399 markings/sec, 560 secs
lola: 102 tries, 101448720 fired transitions, 565 secs || 2856482 markings, 3137229 edges, 4304 markings/sec, 565 secs
lola: 103 tries, 102121163 fired transitions, 570 secs || 2877507 markings, 3161727 edges, 4205 markings/sec, 570 secs
lola: 103 tries, 102794956 fired transitions, 575 secs || 2899045 markings, 3187225 edges, 4308 markings/sec, 575 secs
lola: 104 tries, 103469686 fired transitions, 580 secs || 2920553 markings, 3212816 edges, 4302 markings/sec, 580 secs
lola: 105 tries, 104142260 fired transitions, 585 secs || 2942200 markings, 3238528 edges, 4329 markings/sec, 585 secs
lola: 105 tries, 104818780 fired transitions, 590 secs || 2964287 markings, 3265070 edges, 4417 markings/sec, 590 secs
lola: 106 tries, 105491140 fired transitions, 595 secs || 2985003 markings, 3289438 edges, 4143 markings/sec, 595 secs
lola: 107 tries, 106160808 fired transitions, 600 secs || 3005020 markings, 3313171 edges, 4003 markings/sec, 600 secs
lola: 107 tries, 106837353 fired transitions, 605 secs || 3026083 markings, 3338619 edges, 4213 markings/sec, 605 secs
lola: 108 tries, 107509124 fired transitions, 610 secs || 3047994 markings, 3363702 edges, 4382 markings/sec, 610 secs
lola: 109 tries, 108182707 fired transitions, 615 secs || 3070669 markings, 3390094 edges, 4535 markings/sec, 615 secs
lola: 109 tries, 108859554 fired transitions, 620 secs || 3092588 markings, 3415131 edges, 4384 markings/sec, 620 secs
lola: 110 tries, 109533037 fired transitions, 625 secs || 3115790 markings, 3442171 edges, 4640 markings/sec, 625 secs
lola: 111 tries, 110391812 fired transitions, 630 secs || 3139765 markings, 3469606 edges, 4795 markings/sec, 630 secs
lola: 112 tries, 111423489 fired transitions, 635 secs || 3166626 markings, 3499666 edges, 5372 markings/sec, 635 secs
lola: 113 tries, 112446178 fired transitions, 640 secs || 3192991 markings, 3528995 edges, 5273 markings/sec, 640 secs
lola: 114 tries, 113246141 fired transitions, 645 secs || 3217038 markings, 3556110 edges, 4809 markings/sec, 645 secs
lola: 114 tries, 113919584 fired transitions, 650 secs || 3241472 markings, 3584686 edges, 4887 markings/sec, 650 secs
lola: 115 tries, 114598602 fired transitions, 655 secs || 3263369 markings, 3609188 edges, 4379 markings/sec, 655 secs
lola: 116 tries, 115271023 fired transitions, 660 secs || 3285344 markings, 3633724 edges, 4395 markings/sec, 660 secs
lola: 116 tries, 115947668 fired transitions, 665 secs || 3307281 markings, 3658227 edges, 4387 markings/sec, 665 secs
lola: 117 tries, 116619982 fired transitions, 670 secs || 3330199 markings, 3684230 edges, 4584 markings/sec, 670 secs
lola: 118 tries, 117292652 fired transitions, 675 secs || 3353068 markings, 3710647 edges, 4574 markings/sec, 675 secs
lola: 118 tries, 117967769 fired transitions, 680 secs || 3376549 markings, 3738285 edges, 4696 markings/sec, 680 secs
lola: 119 tries, 118642291 fired transitions, 685 secs || 3400006 markings, 3765834 edges, 4691 markings/sec, 685 secs
lola: 120 tries, 119313324 fired transitions, 690 secs || 3424542 markings, 3795112 edges, 4907 markings/sec, 690 secs
lola: 120 tries, 119988457 fired transitions, 695 secs || 3448207 markings, 3823025 edges, 4733 markings/sec, 695 secs
lola: 121 tries, 120661592 fired transitions, 700 secs || 3470641 markings, 3848932 edges, 4487 markings/sec, 700 secs
lola: 122 tries, 121336532 fired transitions, 705 secs || 3493884 markings, 3876170 edges, 4649 markings/sec, 705 secs
lola: 123 tries, 122153362 fired transitions, 710 secs || 3520272 markings, 3906597 edges, 5278 markings/sec, 710 secs
lola: 124 tries, 123254592 fired transitions, 715 secs || 3550251 markings, 3939569 edges, 5996 markings/sec, 715 secs
lola: 125 tries, 124353670 fired transitions, 720 secs || 3579873 markings, 3972228 edges, 5924 markings/sec, 720 secs
lola: 126 tries, 125449984 fired transitions, 725 secs || 3609288 markings, 4004903 edges, 5883 markings/sec, 725 secs
lola: 127 tries, 126550155 fired transitions, 730 secs || 3637919 markings, 4036622 edges, 5726 markings/sec, 730 secs
lola: 128 tries, 127647260 fired transitions, 735 secs || 3666947 markings, 4068788 edges, 5806 markings/sec, 735 secs
lola: 129 tries, 128741379 fired transitions, 740 secs || 3695033 markings, 4099760 edges, 5617 markings/sec, 740 secs
lola: 130 tries, 129839108 fired transitions, 745 secs || 3722820 markings, 4130433 edges, 5557 markings/sec, 745 secs
lola: 131 tries, 130933497 fired transitions, 750 secs || 3750281 markings, 4161083 edges, 5492 markings/sec, 750 secs
lola: 132 tries, 131977004 fired transitions, 755 secs || 3775574 markings, 4188815 edges, 5059 markings/sec, 755 secs
lola: 133 tries, 132652322 fired transitions, 760 secs || 3796367 markings, 4211964 edges, 4159 markings/sec, 760 secs
lola: 134 tries, 133323694 fired transitions, 765 secs || 3817192 markings, 4235066 edges, 4165 markings/sec, 765 secs
lola: 135 tries, 134000241 fired transitions, 770 secs || 3837696 markings, 4257509 edges, 4101 markings/sec, 770 secs
lola: 135 tries, 134672964 fired transitions, 775 secs || 3858407 markings, 4280321 edges, 4142 markings/sec, 775 secs
lola: 136 tries, 135346600 fired transitions, 780 secs || 3879592 markings, 4304126 edges, 4237 markings/sec, 780 secs
lola: 137 tries, 136089635 fired transitions, 785 secs || 3901925 markings, 4328985 edges, 4467 markings/sec, 785 secs
lola: 137 tries, 136765064 fired transitions, 790 secs || 3923455 markings, 4353278 edges, 4306 markings/sec, 790 secs
lola: 138 tries, 137439512 fired transitions, 795 secs || 3944489 markings, 4376860 edges, 4207 markings/sec, 795 secs
lola: 139 tries, 138112505 fired transitions, 800 secs || 3966133 markings, 4401352 edges, 4329 markings/sec, 800 secs
lola: 139 tries, 138786762 fired transitions, 805 secs || 3987246 markings, 4425009 edges, 4223 markings/sec, 805 secs
lola: 140 tries, 139702676 fired transitions, 810 secs || 4015550 markings, 4456411 edges, 5661 markings/sec, 810 secs
lola: 141 tries, 140731108 fired transitions, 815 secs || 4045896 markings, 4489995 edges, 6069 markings/sec, 815 secs
lola: 142 tries, 141752860 fired transitions, 820 secs || 4076100 markings, 4523375 edges, 6041 markings/sec, 820 secs
lola: 143 tries, 142775269 fired transitions, 825 secs || 4105419 markings, 4555353 edges, 5864 markings/sec, 825 secs
lola: 144 tries, 143838279 fired transitions, 830 secs || 4131600 markings, 4583980 edges, 5236 markings/sec, 830 secs
lola: 145 tries, 144919136 fired transitions, 835 secs || 4157162 markings, 4611849 edges, 5112 markings/sec, 835 secs
lola: 147 tries, 146004588 fired transitions, 840 secs || 4181180 markings, 4638140 edges, 4804 markings/sec, 840 secs
lola: 148 tries, 147109172 fired transitions, 845 secs || 4206701 markings, 4666417 edges, 5104 markings/sec, 845 secs
lola: 149 tries, 148188900 fired transitions, 850 secs || 4231594 markings, 4693763 edges, 4979 markings/sec, 850 secs
lola: 150 tries, 149273221 fired transitions, 855 secs || 4256909 markings, 4721419 edges, 5063 markings/sec, 855 secs
lola: 151 tries, 150361066 fired transitions, 860 secs || 4282479 markings, 4749304 edges, 5114 markings/sec, 860 secs
lola: 152 tries, 151452665 fired transitions, 865 secs || 4308429 markings, 4777584 edges, 5190 markings/sec, 865 secs
lola: 153 tries, 152542536 fired transitions, 870 secs || 4334099 markings, 4805587 edges, 5134 markings/sec, 870 secs
lola: 154 tries, 153628146 fired transitions, 875 secs || 4360243 markings, 4834301 edges, 5229 markings/sec, 875 secs
lola: 155 tries, 154714638 fired transitions, 880 secs || 4385272 markings, 4861678 edges, 5006 markings/sec, 880 secs
lola: 156 tries, 155810715 fired transitions, 885 secs || 4410694 markings, 4889503 edges, 5084 markings/sec, 885 secs
lola: 157 tries, 156903655 fired transitions, 890 secs || 4435404 markings, 4916420 edges, 4942 markings/sec, 890 secs
lola: 158 tries, 157997657 fired transitions, 895 secs || 4461362 markings, 4944887 edges, 5192 markings/sec, 895 secs
lola: 160 tries, 159084536 fired transitions, 900 secs || 4487575 markings, 4973549 edges, 5243 markings/sec, 900 secs
lola: 161 tries, 160178263 fired transitions, 905 secs || 4513348 markings, 5001480 edges, 5155 markings/sec, 905 secs
lola: 162 tries, 161269901 fired transitions, 910 secs || 4539184 markings, 5029534 edges, 5167 markings/sec, 910 secs
lola: 163 tries, 162359054 fired transitions, 915 secs || 4564200 markings, 5056756 edges, 5003 markings/sec, 915 secs
lola: 164 tries, 163448079 fired transitions, 920 secs || 4589424 markings, 5084223 edges, 5045 markings/sec, 920 secs
lola: 165 tries, 164538740 fired transitions, 925 secs || 4615086 markings, 5112347 edges, 5132 markings/sec, 925 secs
lola: 166 tries, 165630147 fired transitions, 930 secs || 4641447 markings, 5141138 edges, 5272 markings/sec, 930 secs
lola: 167 tries, 166721261 fired transitions, 935 secs || 4667345 markings, 5169429 edges, 5180 markings/sec, 935 secs
lola: 168 tries, 167804882 fired transitions, 940 secs || 4692219 markings, 5196564 edges, 4975 markings/sec, 940 secs
lola: 169 tries, 168894162 fired transitions, 945 secs || 4717903 markings, 5224730 edges, 5137 markings/sec, 945 secs
lola: 170 tries, 169985924 fired transitions, 950 secs || 4743663 markings, 5252912 edges, 5152 markings/sec, 950 secs
lola: 172 tries, 171077294 fired transitions, 955 secs || 4770180 markings, 5281744 edges, 5303 markings/sec, 955 secs
lola: 173 tries, 172171362 fired transitions, 960 secs || 4796579 markings, 5310413 edges, 5280 markings/sec, 960 secs
lola: 174 tries, 173259458 fired transitions, 965 secs || 4821503 markings, 5337387 edges, 4985 markings/sec, 965 secs
lola: 175 tries, 174350580 fired transitions, 970 secs || 4846788 markings, 5364820 edges, 5057 markings/sec, 970 secs
lola: 176 tries, 175439480 fired transitions, 975 secs || 4871947 markings, 5392351 edges, 5032 markings/sec, 975 secs
lola: 177 tries, 176530832 fired transitions, 980 secs || 4897567 markings, 5420190 edges, 5124 markings/sec, 980 secs
lola: 178 tries, 177622733 fired transitions, 985 secs || 4923324 markings, 5448477 edges, 5151 markings/sec, 985 secs
lola: 179 tries, 178714685 fired transitions, 990 secs || 4948944 markings, 5476516 edges, 5124 markings/sec, 990 secs
lola: 180 tries, 179804685 fired transitions, 995 secs || 4974560 markings, 5504265 edges, 5123 markings/sec, 995 secs
lola: 181 tries, 180895491 fired transitions, 1000 secs || 5000306 markings, 5532357 edges, 5149 markings/sec, 1000 secs
lola: 182 tries, 181991689 fired transitions, 1005 secs || 5027196 markings, 5561693 edges, 5378 markings/sec, 1005 secs
lola: 184 tries, 183078860 fired transitions, 1010 secs || 5052850 markings, 5589527 edges, 5131 markings/sec, 1010 secs
lola: 185 tries, 184151471 fired transitions, 1015 secs || 5078195 markings, 5617158 edges, 5069 markings/sec, 1015 secs
lola: 186 tries, 185213004 fired transitions, 1020 secs || 5103667 markings, 5644996 edges, 5094 markings/sec, 1020 secs
lola: 187 tries, 186282441 fired transitions, 1025 secs || 5128921 markings, 5672610 edges, 5051 markings/sec, 1025 secs
lola: 188 tries, 187350946 fired transitions, 1030 secs || 5154892 markings, 5701124 edges, 5194 markings/sec, 1030 secs
lola: 189 tries, 188387442 fired transitions, 1035 secs || 5181652 markings, 5730207 edges, 5352 markings/sec, 1035 secs
lola: 190 tries, 189295348 fired transitions, 1040 secs || 5204460 markings, 5755167 edges, 4562 markings/sec, 1040 secs
lola: 190 tries, 189937153 fired transitions, 1045 secs || 5223726 markings, 5776610 edges, 3853 markings/sec, 1045 secs
lola: 191 tries, 190564268 fired transitions, 1050 secs || 5241515 markings, 5796180 edges, 3558 markings/sec, 1050 secs
lola: 192 tries, 191204388 fired transitions, 1055 secs || 5260181 markings, 5816485 edges, 3733 markings/sec, 1055 secs
lola: 192 tries, 191834884 fired transitions, 1060 secs || 5281168 markings, 5839642 edges, 4197 markings/sec, 1060 secs
lola: 193 tries, 192469118 fired transitions, 1065 secs || 5303352 markings, 5864601 edges, 4437 markings/sec, 1065 secs
lola: 194 tries, 193101628 fired transitions, 1070 secs || 5324692 markings, 5888078 edges, 4268 markings/sec, 1070 secs
lola: 194 tries, 193737802 fired transitions, 1075 secs || 5346063 markings, 5911580 edges, 4274 markings/sec, 1075 secs
lola: 195 tries, 194363908 fired transitions, 1080 secs || 5367051 markings, 5934660 edges, 4198 markings/sec, 1080 secs
lola: 196 tries, 195002980 fired transitions, 1085 secs || 5388549 markings, 5958303 edges, 4300 markings/sec, 1085 secs
lola: 196 tries, 195642096 fired transitions, 1090 secs || 5409722 markings, 5981584 edges, 4235 markings/sec, 1090 secs
lola: 197 tries, 196282313 fired transitions, 1095 secs || 5431109 markings, 6005107 edges, 4277 markings/sec, 1095 secs
lola: 197 tries, 196929403 fired transitions, 1100 secs || 5452233 markings, 6028335 edges, 4225 markings/sec, 1100 secs
lola: 198 tries, 197570621 fired transitions, 1105 secs || 5473847 markings, 6052101 edges, 4323 markings/sec, 1105 secs
lola: 199 tries, 198216692 fired transitions, 1110 secs || 5495295 markings, 6075688 edges, 4290 markings/sec, 1110 secs
lola: 199 tries, 198866747 fired transitions, 1115 secs || 5515250 markings, 6097629 edges, 3991 markings/sec, 1115 secs
lola: 200 tries, 199504176 fired transitions, 1120 secs || 5536116 markings, 6120578 edges, 4173 markings/sec, 1120 secs
lola: 201 tries, 200137188 fired transitions, 1125 secs || 5557160 markings, 6143721 edges, 4209 markings/sec, 1125 secs
lola: 201 tries, 200777027 fired transitions, 1130 secs || 5578240 markings, 6166896 edges, 4216 markings/sec, 1130 secs
lola: 202 tries, 201414373 fired transitions, 1135 secs || 5599562 markings, 6190348 edges, 4264 markings/sec, 1135 secs
lola: 203 tries, 202053867 fired transitions, 1140 secs || 5620623 markings, 6213508 edges, 4212 markings/sec, 1140 secs
lola: 203 tries, 202686974 fired transitions, 1145 secs || 5641134 markings, 6236063 edges, 4102 markings/sec, 1145 secs
lola: 204 tries, 203322715 fired transitions, 1150 secs || 5662333 markings, 6259374 edges, 4240 markings/sec, 1150 secs
lola: 204 tries, 203964708 fired transitions, 1155 secs || 5683249 markings, 6282377 edges, 4183 markings/sec, 1155 secs
lola: 205 tries, 204609323 fired transitions, 1160 secs || 5704046 markings, 6305241 edges, 4159 markings/sec, 1160 secs
lola: 206 tries, 205250077 fired transitions, 1165 secs || 5725324 markings, 6328639 edges, 4256 markings/sec, 1165 secs
lola: 206 tries, 205881049 fired transitions, 1170 secs || 5746072 markings, 6351461 edges, 4150 markings/sec, 1170 secs
lola: 207 tries, 206516036 fired transitions, 1175 secs || 5767003 markings, 6374473 edges, 4186 markings/sec, 1175 secs
lola: 208 tries, 207144624 fired transitions, 1180 secs || 5787939 markings, 6397498 edges, 4187 markings/sec, 1180 secs
lola: 208 tries, 207778250 fired transitions, 1185 secs || 5808751 markings, 6420383 edges, 4162 markings/sec, 1185 secs
lola: 209 tries, 208412141 fired transitions, 1190 secs || 5829489 markings, 6443190 edges, 4148 markings/sec, 1190 secs
lola: 210 tries, 209049191 fired transitions, 1195 secs || 5850492 markings, 6466285 edges, 4201 markings/sec, 1195 secs
lola: 210 tries, 209684805 fired transitions, 1200 secs || 5871352 markings, 6489223 edges, 4172 markings/sec, 1200 secs
lola: 211 tries, 210317699 fired transitions, 1205 secs || 5892403 markings, 6512375 edges, 4210 markings/sec, 1205 secs
lola: 211 tries, 210950488 fired transitions, 1210 secs || 5913359 markings, 6535386 edges, 4191 markings/sec, 1210 secs
lola: 212 tries, 211583854 fired transitions, 1215 secs || 5934336 markings, 6558390 edges, 4195 markings/sec, 1215 secs
lola: 213 tries, 212213556 fired transitions, 1220 secs || 5955049 markings, 6581106 edges, 4143 markings/sec, 1220 secs
lola: 213 tries, 212847255 fired transitions, 1225 secs || 5975609 markings, 6603645 edges, 4112 markings/sec, 1225 secs
lola: 214 tries, 213485340 fired transitions, 1230 secs || 5996307 markings, 6626344 edges, 4140 markings/sec, 1230 secs
lola: 215 tries, 214123247 fired transitions, 1235 secs || 6017280 markings, 6649337 edges, 4195 markings/sec, 1235 secs
lola: 215 tries, 214750553 fired transitions, 1240 secs || 6037782 markings, 6671821 edges, 4100 markings/sec, 1240 secs
lola: 216 tries, 215378370 fired transitions, 1245 secs || 6058382 markings, 6694404 edges, 4120 markings/sec, 1245 secs
lola: 217 tries, 216012211 fired transitions, 1250 secs || 6079175 markings, 6717204 edges, 4159 markings/sec, 1250 secs
lola: 217 tries, 216654409 fired transitions, 1255 secs || 6100240 markings, 6740301 edges, 4213 markings/sec, 1255 secs
lola: 218 tries, 217288013 fired transitions, 1260 secs || 6120902 markings, 6762955 edges, 4132 markings/sec, 1260 secs
lola: 218 tries, 217928311 fired transitions, 1265 secs || 6141587 markings, 6785636 edges, 4137 markings/sec, 1265 secs
lola: 219 tries, 218594332 fired transitions, 1270 secs || 6163513 markings, 6809675 edges, 4385 markings/sec, 1270 secs
lola: 220 tries, 219266628 fired transitions, 1275 secs || 6185746 markings, 6834056 edges, 4447 markings/sec, 1275 secs
lola: 220 tries, 219941045 fired transitions, 1280 secs || 6207665 markings, 6858091 edges, 4384 markings/sec, 1280 secs
lola: 221 tries, 220695417 fired transitions, 1285 secs || 6232675 markings, 6885509 edges, 5002 markings/sec, 1285 secs
lola: 222 tries, 221504318 fired transitions, 1290 secs || 6259005 markings, 6914377 edges, 5266 markings/sec, 1290 secs
lola: 223 tries, 222587198 fired transitions, 1295 secs || 6290763 markings, 6949207 edges, 6352 markings/sec, 1295 secs
lola: 224 tries, 223512232 fired transitions, 1300 secs || 6318132 markings, 6979126 edges, 5474 markings/sec, 1300 secs
lola: 225 tries, 224186292 fired transitions, 1305 secs || 6339291 markings, 7002258 edges, 4232 markings/sec, 1305 secs
lola: 225 tries, 224861442 fired transitions, 1310 secs || 6360308 markings, 7025235 edges, 4203 markings/sec, 1310 secs
lola: 226 tries, 225533551 fired transitions, 1315 secs || 6381353 markings, 7048245 edges, 4209 markings/sec, 1315 secs
lola: 227 tries, 226208449 fired transitions, 1320 secs || 6402344 markings, 7071218 edges, 4198 markings/sec, 1320 secs
lola: 227 tries, 226881286 fired transitions, 1325 secs || 6423259 markings, 7094085 edges, 4183 markings/sec, 1325 secs
lola: 228 tries, 227544677 fired transitions, 1330 secs || 6443934 markings, 7116695 edges, 4135 markings/sec, 1330 secs
lola: 229 tries, 228207940 fired transitions, 1335 secs || 6464528 markings, 7139208 edges, 4119 markings/sec, 1335 secs
lola: 229 tries, 228875242 fired transitions, 1340 secs || 6485064 markings, 7161659 edges, 4107 markings/sec, 1340 secs
lola: 230 tries, 229546241 fired transitions, 1345 secs || 6505951 markings, 7184496 edges, 4177 markings/sec, 1345 secs
lola: 231 tries, 230219112 fired transitions, 1350 secs || 6526829 markings, 7207290 edges, 4176 markings/sec, 1350 secs
lola: 231 tries, 230893080 fired transitions, 1355 secs || 6547742 markings, 7230132 edges, 4183 markings/sec, 1355 secs
lola: 232 tries, 231566324 fired transitions, 1360 secs || 6568687 markings, 7253011 edges, 4189 markings/sec, 1360 secs
lola: 233 tries, 232240260 fired transitions, 1365 secs || 6589326 markings, 7275548 edges, 4128 markings/sec, 1365 secs
lola: 233 tries, 232914208 fired transitions, 1370 secs || 6609628 markings, 7297717 edges, 4060 markings/sec, 1370 secs
lola: 234 tries, 233588668 fired transitions, 1375 secs || 6630326 markings, 7320325 edges, 4140 markings/sec, 1375 secs
lola: 235 tries, 234261423 fired transitions, 1380 secs || 6651101 markings, 7343012 edges, 4155 markings/sec, 1380 secs
lola: 235 tries, 234932843 fired transitions, 1385 secs || 6671900 markings, 7365724 edges, 4160 markings/sec, 1385 secs
lola: 236 tries, 235605937 fired transitions, 1390 secs || 6692833 markings, 7388586 edges, 4187 markings/sec, 1390 secs
lola: 237 tries, 236279026 fired transitions, 1395 secs || 6713633 markings, 7411297 edges, 4160 markings/sec, 1395 secs
lola: 237 tries, 236954404 fired transitions, 1400 secs || 6734456 markings, 7434038 edges, 4165 markings/sec, 1400 secs
lola: 238 tries, 237627726 fired transitions, 1405 secs || 6754921 markings, 7456382 edges, 4093 markings/sec, 1405 secs
lola: 239 tries, 238301063 fired transitions, 1410 secs || 6775912 markings, 7479308 edges, 4198 markings/sec, 1410 secs
lola: 239 tries, 238976826 fired transitions, 1415 secs || 6796872 markings, 7502196 edges, 4192 markings/sec, 1415 secs
lola: 240 tries, 239649644 fired transitions, 1420 secs || 6817888 markings, 7525145 edges, 4203 markings/sec, 1420 secs
lola: 241 tries, 240334580 fired transitions, 1425 secs || 6838989 markings, 7548191 edges, 4220 markings/sec, 1425 secs
lola: 242 tries, 241007945 fired transitions, 1430 secs || 6859751 markings, 7570862 edges, 4152 markings/sec, 1430 secs
lola: 242 tries, 241683716 fired transitions, 1435 secs || 6881521 markings, 7595072 edges, 4354 markings/sec, 1435 secs
lola: 243 tries, 242356172 fired transitions, 1440 secs || 6902407 markings, 7617944 edges, 4177 markings/sec, 1440 secs
lola: 244 tries, 243313825 fired transitions, 1445 secs || 6930526 markings, 7648702 edges, 5624 markings/sec, 1445 secs
lola: 245 tries, 244378639 fired transitions, 1450 secs || 6959994 markings, 7680972 edges, 5894 markings/sec, 1450 secs
lola: 246 tries, 245426623 fired transitions, 1455 secs || 6988836 markings, 7712783 edges, 5768 markings/sec, 1455 secs
lola: 247 tries, 246471322 fired transitions, 1460 secs || 7015746 markings, 7742252 edges, 5382 markings/sec, 1460 secs
lola: 248 tries, 247530196 fired transitions, 1465 secs || 7042795 markings, 7772049 edges, 5410 markings/sec, 1465 secs
lola: 249 tries, 248445104 fired transitions, 1470 secs || 7065613 markings, 7797489 edges, 4564 markings/sec, 1470 secs
lola: 250 tries, 249119574 fired transitions, 1475 secs || 7087033 markings, 7822704 edges, 4284 markings/sec, 1475 secs
lola: 250 tries, 249790468 fired transitions, 1480 secs || 7107584 markings, 7846785 edges, 4110 markings/sec, 1480 secs
lola: 251 tries, 250424380 fired transitions, 1485 secs || 7127083 markings, 7869541 edges, 3900 markings/sec, 1485 secs
lola: 252 tries, 251098492 fired transitions, 1490 secs || 7149446 markings, 7896444 edges, 4473 markings/sec, 1490 secs
lola: 252 tries, 251772235 fired transitions, 1495 secs || 7171695 markings, 7923192 edges, 4450 markings/sec, 1495 secs
lola: 253 tries, 252444556 fired transitions, 1500 secs || 7192270 markings, 7947697 edges, 4115 markings/sec, 1500 secs
lola: 254 tries, 253117828 fired transitions, 1505 secs || 7213344 markings, 7972542 edges, 4215 markings/sec, 1505 secs
lola: 254 tries, 253794089 fired transitions, 1510 secs || 7235931 markings, 7999887 edges, 4517 markings/sec, 1510 secs
lola: 255 tries, 254466385 fired transitions, 1515 secs || 7257492 markings, 8025406 edges, 4312 markings/sec, 1515 secs
lola: 256 tries, 255353977 fired transitions, 1520 secs || 7282913 markings, 8053909 edges, 5084 markings/sec, 1520 secs
lola: 257 tries, 256353541 fired transitions, 1525 secs || 7311977 markings, 8086517 edges, 5813 markings/sec, 1525 secs
lola: 258 tries, 257338860 fired transitions, 1530 secs || 7341487 markings, 8119576 edges, 5902 markings/sec, 1530 secs
lola: 259 tries, 258324905 fired transitions, 1535 secs || 7369550 markings, 8150467 edges, 5613 markings/sec, 1535 secs
lola: 260 tries, 259314953 fired transitions, 1540 secs || 7398752 markings, 8182322 edges, 5840 markings/sec, 1540 secs
lola: 261 tries, 260322439 fired transitions, 1545 secs || 7430154 markings, 8217443 edges, 6280 markings/sec, 1545 secs
lola: 262 tries, 261330970 fired transitions, 1550 secs || 7460893 markings, 8251311 edges, 6148 markings/sec, 1550 secs
lola: 263 tries, 262326948 fired transitions, 1555 secs || 7490944 markings, 8284205 edges, 6010 markings/sec, 1555 secs
lola: 264 tries, 263326817 fired transitions, 1560 secs || 7521840 markings, 8318113 edges, 6179 markings/sec, 1560 secs
lola: 265 tries, 264318532 fired transitions, 1565 secs || 7550897 markings, 8349696 edges, 5811 markings/sec, 1565 secs
lola: 266 tries, 265308222 fired transitions, 1570 secs || 7579798 markings, 8381460 edges, 5780 markings/sec, 1570 secs
lola: 267 tries, 266294024 fired transitions, 1575 secs || 7609345 markings, 8414444 edges, 5909 markings/sec, 1575 secs
lola: 268 tries, 267293540 fired transitions, 1580 secs || 7638954 markings, 8447405 edges, 5922 markings/sec, 1580 secs
lola: 269 tries, 268325863 fired transitions, 1585 secs || 7670403 markings, 8482477 edges, 6290 markings/sec, 1585 secs
lola: 270 tries, 269352857 fired transitions, 1590 secs || 7698260 markings, 8513790 edges, 5571 markings/sec, 1590 secs
lola: 271 tries, 270397585 fired transitions, 1595 secs || 7729223 markings, 8548552 edges, 6193 markings/sec, 1595 secs
lola: 272 tries, 271115475 fired transitions, 1600 secs || 7751609 markings, 8572973 edges, 4477 markings/sec, 1600 secs
lola: 272 tries, 271865998 fired transitions, 1605 secs || 7774436 markings, 8598095 edges, 4565 markings/sec, 1605 secs
lola: 273 tries, 272859487 fired transitions, 1610 secs || 7804839 markings, 8631714 edges, 6081 markings/sec, 1610 secs
lola: 274 tries, 273849252 fired transitions, 1615 secs || 7832575 markings, 8661963 edges, 5547 markings/sec, 1615 secs
lola: 275 tries, 274836695 fired transitions, 1620 secs || 7861391 markings, 8693606 edges, 5763 markings/sec, 1620 secs
lola: 276 tries, 275807422 fired transitions, 1625 secs || 7889394 markings, 8724141 edges, 5601 markings/sec, 1625 secs
lola: 277 tries, 276599675 fired transitions, 1630 secs || 7911422 markings, 8749100 edges, 4406 markings/sec, 1630 secs
lola: 278 tries, 277272164 fired transitions, 1635 secs || 7933184 markings, 8774935 edges, 4352 markings/sec, 1635 secs
lola: 279 tries, 278038525 fired transitions, 1640 secs || 7957327 markings, 8802952 edges, 4829 markings/sec, 1640 secs
lola: 279 tries, 278896052 fired transitions, 1645 secs || 7984166 markings, 8832918 edges, 5368 markings/sec, 1645 secs
lola: 280 tries, 279567460 fired transitions, 1650 secs || 8006458 markings, 8857901 edges, 4458 markings/sec, 1650 secs
lola: 281 tries, 280243400 fired transitions, 1655 secs || 8028590 markings, 8882757 edges, 4426 markings/sec, 1655 secs
lola: 281 tries, 280917307 fired transitions, 1660 secs || 8049054 markings, 8906246 edges, 4093 markings/sec, 1660 secs
lola: 282 tries, 281590206 fired transitions, 1665 secs || 8068642 markings, 8928674 edges, 3918 markings/sec, 1665 secs
lola: 283 tries, 282263884 fired transitions, 1670 secs || 8089517 markings, 8953163 edges, 4175 markings/sec, 1670 secs
lola: 283 tries, 282939054 fired transitions, 1675 secs || 8111384 markings, 8979315 edges, 4373 markings/sec, 1675 secs
lola: 284 tries, 283612185 fired transitions, 1680 secs || 8133516 markings, 9005883 edges, 4426 markings/sec, 1680 secs
lola: 285 tries, 284286004 fired transitions, 1685 secs || 8154748 markings, 9030947 edges, 4246 markings/sec, 1685 secs
lola: 286 tries, 285079557 fired transitions, 1690 secs || 8179001 markings, 9058644 edges, 4851 markings/sec, 1690 secs
lola: 287 tries, 286098978 fired transitions, 1695 secs || 8207816 markings, 9090488 edges, 5763 markings/sec, 1695 secs
lola: 288 tries, 287115221 fired transitions, 1700 secs || 8235683 markings, 9121537 edges, 5573 markings/sec, 1700 secs
lola: 289 tries, 288136171 fired transitions, 1705 secs || 8264370 markings, 9153590 edges, 5737 markings/sec, 1705 secs
lola: 290 tries, 289166811 fired transitions, 1710 secs || 8294230 markings, 9186535 edges, 5972 markings/sec, 1710 secs
lola: 291 tries, 290186224 fired transitions, 1715 secs || 8322749 markings, 9218211 edges, 5704 markings/sec, 1715 secs
lola: 292 tries, 291213716 fired transitions, 1720 secs || 8351438 markings, 9250209 edges, 5738 markings/sec, 1720 secs
lola: 293 tries, 292238551 fired transitions, 1725 secs || 8379576 markings, 9281730 edges, 5628 markings/sec, 1725 secs
lola: 294 tries, 293260132 fired transitions, 1730 secs || 8408101 markings, 9313565 edges, 5705 markings/sec, 1730 secs
lola: 295 tries, 294285531 fired transitions, 1735 secs || 8437543 markings, 9346540 edges, 5888 markings/sec, 1735 secs
lola: 296 tries, 295298233 fired transitions, 1740 secs || 8466008 markings, 9378684 edges, 5693 markings/sec, 1740 secs
lola: 297 tries, 296324804 fired transitions, 1745 secs || 8494201 markings, 9409808 edges, 5639 markings/sec, 1745 secs
lola: 298 tries, 297344818 fired transitions, 1750 secs || 8522931 markings, 9441860 edges, 5746 markings/sec, 1750 secs
lola: 299 tries, 298376937 fired transitions, 1755 secs || 8552903 markings, 9475507 edges, 5994 markings/sec, 1755 secs
lola: 300 tries, 299401449 fired transitions, 1760 secs || 8582136 markings, 9508415 edges, 5847 markings/sec, 1760 secs
lola: 301 tries, 300423752 fired transitions, 1765 secs || 8611062 markings, 9540869 edges, 5785 markings/sec, 1765 secs
lola: 302 tries, 301442076 fired transitions, 1770 secs || 8637950 markings, 9570867 edges, 5378 markings/sec, 1770 secs
lola: 303 tries, 302467502 fired transitions, 1775 secs || 8666753 markings, 9603071 edges, 5761 markings/sec, 1775 secs
lola: 304 tries, 303493262 fired transitions, 1780 secs || 8695050 markings, 9634408 edges, 5659 markings/sec, 1780 secs
lola: 305 tries, 304531781 fired transitions, 1785 secs || 8723854 markings, 9665874 edges, 5761 markings/sec, 1785 secs
lola: 306 tries, 305451010 fired transitions, 1790 secs || 8750082 markings, 9694572 edges, 5246 markings/sec, 1790 secs
lola: 307 tries, 306471857 fired transitions, 1795 secs || 8778656 markings, 9725588 edges, 5715 markings/sec, 1795 secs
lola: 308 tries, 307488934 fired transitions, 1800 secs || 8807246 markings, 9756865 edges, 5718 markings/sec, 1800 secs
lola: 309 tries, 308507283 fired transitions, 1805 secs || 8836056 markings, 9788110 edges, 5762 markings/sec, 1805 secs
lola: 310 tries, 309534659 fired transitions, 1810 secs || 8866470 markings, 9821404 edges, 6083 markings/sec, 1810 secs
lola: 311 tries, 310560197 fired transitions, 1815 secs || 8896652 markings, 9854362 edges, 6036 markings/sec, 1815 secs
lola: 312 tries, 311583781 fired transitions, 1820 secs || 8925151 markings, 9885433 edges, 5700 markings/sec, 1820 secs
lola: 313 tries, 312609820 fired transitions, 1825 secs || 8953688 markings, 9916536 edges, 5707 markings/sec, 1825 secs
lola: 314 tries, 313625722 fired transitions, 1830 secs || 8981581 markings, 9946901 edges, 5579 markings/sec, 1830 secs
lola: 315 tries, 314650097 fired transitions, 1835 secs || 9011428 markings, 9979571 edges, 5969 markings/sec, 1835 secs
lola: 316 tries, 315662874 fired transitions, 1840 secs || 9038995 markings, 10009676 edges, 5513 markings/sec, 1840 secs
lola: 317 tries, 316679407 fired transitions, 1845 secs || 9066917 markings, 10040134 edges, 5584 markings/sec, 1845 secs
lola: 318 tries, 317696742 fired transitions, 1850 secs || 9094602 markings, 10070521 edges, 5537 markings/sec, 1850 secs
lola: 319 tries, 318729053 fired transitions, 1855 secs || 9123241 markings, 10102147 edges, 5728 markings/sec, 1855 secs
lola: 320 tries, 319753292 fired transitions, 1860 secs || 9150402 markings, 10132042 edges, 5432 markings/sec, 1860 secs
lola: 321 tries, 320782676 fired transitions, 1865 secs || 9178817 markings, 10163443 edges, 5683 markings/sec, 1865 secs
lola: 322 tries, 321810704 fired transitions, 1870 secs || 9207631 markings, 10195115 edges, 5763 markings/sec, 1870 secs
lola: 323 tries, 322829489 fired transitions, 1875 secs || 9235473 markings, 10225326 edges, 5568 markings/sec, 1875 secs
lola: 324 tries, 323855253 fired transitions, 1880 secs || 9266113 markings, 10258635 edges, 6128 markings/sec, 1880 secs
lola: 325 tries, 324880065 fired transitions, 1885 secs || 9297395 markings, 10292691 edges, 6256 markings/sec, 1885 secs
lola: 326 tries, 325885305 fired transitions, 1890 secs || 9328594 markings, 10326633 edges, 6240 markings/sec, 1890 secs
lola: 327 tries, 326897084 fired transitions, 1895 secs || 9359779 markings, 10360495 edges, 6237 markings/sec, 1895 secs
lola: 328 tries, 327900263 fired transitions, 1900 secs || 9391093 markings, 10394504 edges, 6263 markings/sec, 1900 secs
lola: 329 tries, 328927420 fired transitions, 1905 secs || 9421247 markings, 10426978 edges, 6031 markings/sec, 1905 secs
lola: 330 tries, 329951962 fired transitions, 1910 secs || 9452184 markings, 10460456 edges, 6187 markings/sec, 1910 secs
lola: 331 tries, 330962716 fired transitions, 1915 secs || 9483812 markings, 10494915 edges, 6326 markings/sec, 1915 secs
lola: 332 tries, 331976157 fired transitions, 1920 secs || 9515113 markings, 10528854 edges, 6260 markings/sec, 1920 secs
lola: 333 tries, 332909437 fired transitions, 1925 secs || 9544399 markings, 10560770 edges, 5857 markings/sec, 1925 secs
lola: 334 tries, 333874946 fired transitions, 1930 secs || 9570486 markings, 10589271 edges, 5217 markings/sec, 1930 secs
lola: 335 tries, 334923529 fired transitions, 1935 secs || 9598221 markings, 10619699 edges, 5547 markings/sec, 1935 secs
lola: 336 tries, 335908857 fired transitions, 1940 secs || 9627303 markings, 10651806 edges, 5816 markings/sec, 1940 secs
lola: 337 tries, 336904438 fired transitions, 1945 secs || 9657771 markings, 10685457 edges, 6094 markings/sec, 1945 secs
lola: 338 tries, 337949653 fired transitions, 1950 secs || 9688943 markings, 10719818 edges, 6234 markings/sec, 1950 secs
lola: 339 tries, 338991561 fired transitions, 1955 secs || 9719722 markings, 10753506 edges, 6156 markings/sec, 1955 secs
lola: 341 tries, 340032657 fired transitions, 1960 secs || 9750404 markings, 10787025 edges, 6136 markings/sec, 1960 secs
lola: 342 tries, 341077888 fired transitions, 1965 secs || 9781389 markings, 10821062 edges, 6197 markings/sec, 1965 secs
lola: 343 tries, 342121498 fired transitions, 1970 secs || 9812060 markings, 10854758 edges, 6134 markings/sec, 1970 secs
lola: 344 tries, 343168406 fired transitions, 1975 secs || 9842879 markings, 10888636 edges, 6164 markings/sec, 1975 secs
lola: 345 tries, 344215236 fired transitions, 1980 secs || 9873416 markings, 10922084 edges, 6107 markings/sec, 1980 secs
lola: 346 tries, 345244780 fired transitions, 1985 secs || 9903284 markings, 10954740 edges, 5974 markings/sec, 1985 secs
lola: 347 tries, 346261332 fired transitions, 1990 secs || 9933364 markings, 10987981 edges, 6016 markings/sec, 1990 secs
lola: 348 tries, 347269991 fired transitions, 1995 secs || 9962132 markings, 11019511 edges, 5754 markings/sec, 1995 secs
lola: 349 tries, 348272630 fired transitions, 2000 secs || 9990797 markings, 11051121 edges, 5733 markings/sec, 2000 secs
lola: 350 tries, 349278124 fired transitions, 2005 secs || 10019127 markings, 11082625 edges, 5666 markings/sec, 2005 secs
lola: 351 tries, 350288332 fired transitions, 2010 secs || 10048610 markings, 11115321 edges, 5897 markings/sec, 2010 secs
lola: 352 tries, 351294555 fired transitions, 2015 secs || 10078943 markings, 11149009 edges, 6067 markings/sec, 2015 secs
lola: 353 tries, 352286930 fired transitions, 2020 secs || 10108531 markings, 11181544 edges, 5918 markings/sec, 2020 secs
lola: 354 tries, 353278322 fired transitions, 2025 secs || 10138177 markings, 11213571 edges, 5929 markings/sec, 2025 secs
lola: 355 tries, 354275396 fired transitions, 2030 secs || 10169347 markings, 11247351 edges, 6234 markings/sec, 2030 secs
lola: 356 tries, 355342059 fired transitions, 2035 secs || 10198314 markings, 11279173 edges, 5793 markings/sec, 2035 secs
lola: 357 tries, 356434921 fired transitions, 2040 secs || 10226962 markings, 11310737 edges, 5730 markings/sec, 2040 secs
lola: 358 tries, 357520343 fired transitions, 2045 secs || 10254572 markings, 11341024 edges, 5522 markings/sec, 2045 secs
lola: 359 tries, 358605786 fired transitions, 2050 secs || 10281939 markings, 11371151 edges, 5473 markings/sec, 2050 secs
lola: 360 tries, 359701876 fired transitions, 2055 secs || 10310448 markings, 11402862 edges, 5702 markings/sec, 2055 secs
lola: 361 tries, 360799427 fired transitions, 2060 secs || 10338412 markings, 11433821 edges, 5593 markings/sec, 2060 secs
lola: 362 tries, 361895375 fired transitions, 2065 secs || 10366333 markings, 11464741 edges, 5584 markings/sec, 2065 secs
lola: 363 tries, 362987844 fired transitions, 2070 secs || 10394276 markings, 11495698 edges, 5589 markings/sec, 2070 secs
lola: 365 tries, 364066628 fired transitions, 2075 secs || 10421697 markings, 11526022 edges, 5484 markings/sec, 2075 secs
lola: 366 tries, 365157638 fired transitions, 2080 secs || 10449392 markings, 11556637 edges, 5539 markings/sec, 2080 secs
lola: 367 tries, 366255772 fired transitions, 2085 secs || 10477256 markings, 11587398 edges, 5573 markings/sec, 2085 secs
lola: 368 tries, 367342716 fired transitions, 2090 secs || 10505042 markings, 11617953 edges, 5557 markings/sec, 2090 secs
lola: 369 tries, 368424537 fired transitions, 2095 secs || 10532959 markings, 11649072 edges, 5583 markings/sec, 2095 secs
lola: 370 tries, 369512404 fired transitions, 2100 secs || 10558666 markings, 11677298 edges, 5141 markings/sec, 2100 secs
lola: 371 tries, 370606138 fired transitions, 2105 secs || 10585401 markings, 11706467 edges, 5347 markings/sec, 2105 secs
lola: 372 tries, 371671477 fired transitions, 2110 secs || 10611474 markings, 11735047 edges, 5215 markings/sec, 2110 secs
lola: 373 tries, 372747124 fired transitions, 2115 secs || 10637432 markings, 11763487 edges, 5192 markings/sec, 2115 secs
lola: 374 tries, 373836985 fired transitions, 2120 secs || 10663590 markings, 11792359 edges, 5232 markings/sec, 2120 secs
lola: 375 tries, 374933051 fired transitions, 2125 secs || 10689389 markings, 11820520 edges, 5160 markings/sec, 2125 secs
lola: 376 tries, 375637900 fired transitions, 2130 secs || 10709913 markings, 11842974 edges, 4105 markings/sec, 2130 secs
lola: 377 tries, 376312254 fired transitions, 2135 secs || 10731168 markings, 11866616 edges, 4251 markings/sec, 2135 secs
lola: 377 tries, 376980961 fired transitions, 2140 secs || 10756617 markings, 11895323 edges, 5090 markings/sec, 2140 secs
lola: 378 tries, 377990552 fired transitions, 2145 secs || 10789993 markings, 11932293 edges, 6675 markings/sec, 2145 secs
lola: 380 tries, 379062663 fired transitions, 2150 secs || 10819955 markings, 11965222 edges, 5992 markings/sec, 2150 secs
lola: 381 tries, 380158856 fired transitions, 2155 secs || 10849978 markings, 11998285 edges, 6005 markings/sec, 2155 secs
lola: 382 tries, 381253732 fired transitions, 2160 secs || 10880956 markings, 12032360 edges, 6196 markings/sec, 2160 secs
lola: 383 tries, 382347596 fired transitions, 2165 secs || 10910605 markings, 12064870 edges, 5930 markings/sec, 2165 secs
lola: 384 tries, 383022220 fired transitions, 2170 secs || 10932246 markings, 12088600 edges, 4328 markings/sec, 2170 secs
lola: 384 tries, 383694463 fired transitions, 2175 secs || 10954160 markings, 12112629 edges, 4383 markings/sec, 2175 secs
lola: 385 tries, 384368972 fired transitions, 2180 secs || 10976389 markings, 12137003 edges, 4446 markings/sec, 2180 secs
lola: 386 tries, 385077627 fired transitions, 2185 secs || 10999315 markings, 12162139 edges, 4585 markings/sec, 2185 secs
lola: 386 tries, 385752778 fired transitions, 2190 secs || 11021519 markings, 12186488 edges, 4441 markings/sec, 2190 secs
lola: 387 tries, 386426090 fired transitions, 2195 secs || 11043833 markings, 12210951 edges, 4463 markings/sec, 2195 secs
lola: 388 tries, 387366805 fired transitions, 2200 secs || 11070340 markings, 12240014 edges, 5301 markings/sec, 2200 secs
lola: 389 tries, 388155546 fired transitions, 2205 secs || 11094414 markings, 12266398 edges, 4815 markings/sec, 2205 secs
lola: 390 tries, 389165804 fired transitions, 2210 secs || 11127177 markings, 12302304 edges, 6553 markings/sec, 2210 secs
lola: 391 tries, 390203978 fired transitions, 2215 secs || 11160635 markings, 12338978 edges, 6692 markings/sec, 2215 secs
lola: 392 tries, 391245029 fired transitions, 2220 secs || 11193269 markings, 12374744 edges, 6527 markings/sec, 2220 secs
lola: 393 tries, 392116650 fired transitions, 2225 secs || 11220637 markings, 12404726 edges, 5474 markings/sec, 2225 secs
lola: 393 tries, 392790356 fired transitions, 2230 secs || 11241537 markings, 12427617 edges, 4180 markings/sec, 2230 secs
lola: 394 tries, 393464656 fired transitions, 2235 secs || 11262156 markings, 12450205 edges, 4124 markings/sec, 2235 secs
lola: 395 tries, 394138283 fired transitions, 2240 secs || 11282766 markings, 12472781 edges, 4122 markings/sec, 2240 secs
lola: 395 tries, 394803488 fired transitions, 2245 secs || 11303150 markings, 12495114 edges, 4077 markings/sec, 2245 secs
lola: 396 tries, 395472682 fired transitions, 2250 secs || 11323727 markings, 12517656 edges, 4115 markings/sec, 2250 secs
lola: 397 tries, 396143306 fired transitions, 2255 secs || 11344323 markings, 12540221 edges, 4119 markings/sec, 2255 secs
lola: 397 tries, 396894589 fired transitions, 2260 secs || 11366223 markings, 12564216 edges, 4380 markings/sec, 2260 secs
lola: 398 tries, 397529673 fired transitions, 2265 secs || 11385380 markings, 12585202 edges, 3831 markings/sec, 2265 secs
lola: 399 tries, 398178496 fired transitions, 2270 secs || 11405374 markings, 12607106 edges, 3999 markings/sec, 2270 secs
lola: 399 tries, 398852296 fired transitions, 2275 secs || 11426060 markings, 12629767 edges, 4137 markings/sec, 2275 secs
lola: 400 tries, 399523727 fired transitions, 2280 secs || 11446678 markings, 12652354 edges, 4124 markings/sec, 2280 secs
lola: 401 tries, 400198544 fired transitions, 2285 secs || 11467273 markings, 12674917 edges, 4119 markings/sec, 2285 secs
lola: 401 tries, 400871609 fired transitions, 2290 secs || 11487783 markings, 12697387 edges, 4102 markings/sec, 2290 secs
lola: 402 tries, 401544124 fired transitions, 2295 secs || 11508307 markings, 12719871 edges, 4105 markings/sec, 2295 secs
lola: 403 tries, 402217070 fired transitions, 2300 secs || 11528802 markings, 12742323 edges, 4099 markings/sec, 2300 secs
lola: 403 tries, 402891476 fired transitions, 2305 secs || 11549416 markings, 12764903 edges, 4123 markings/sec, 2305 secs
lola: 404 tries, 403558466 fired transitions, 2310 secs || 11569919 markings, 12787364 edges, 4101 markings/sec, 2310 secs
lola: 405 tries, 404229607 fired transitions, 2315 secs || 11590696 markings, 12810124 edges, 4155 markings/sec, 2315 secs
lola: 405 tries, 404906297 fired transitions, 2320 secs || 11611288 markings, 12832686 edges, 4118 markings/sec, 2320 secs
lola: 406 tries, 405579461 fired transitions, 2325 secs || 11631957 markings, 12855332 edges, 4134 markings/sec, 2325 secs
lola: 407 tries, 406251030 fired transitions, 2330 secs || 11652728 markings, 12878085 edges, 4154 markings/sec, 2330 secs
lola: 407 tries, 406922836 fired transitions, 2335 secs || 11673736 markings, 12901285 edges, 4202 markings/sec, 2335 secs
lola: 408 tries, 407597004 fired transitions, 2340 secs || 11694383 markings, 12923968 edges, 4129 markings/sec, 2340 secs
lola: 409 tries, 408270988 fired transitions, 2345 secs || 11714956 markings, 12946503 edges, 4115 markings/sec, 2345 secs
lola: 409 tries, 408944848 fired transitions, 2350 secs || 11735577 markings, 12969095 edges, 4124 markings/sec, 2350 secs
lola: 410 tries, 409616577 fired transitions, 2355 secs || 11756164 markings, 12991648 edges, 4117 markings/sec, 2355 secs
lola: 411 tries, 410289010 fired transitions, 2360 secs || 11776684 markings, 13014127 edges, 4104 markings/sec, 2360 secs
lola: 411 tries, 410964603 fired transitions, 2365 secs || 11797314 markings, 13036730 edges, 4126 markings/sec, 2365 secs
lola: 412 tries, 411639572 fired transitions, 2370 secs || 11818045 markings, 13059441 edges, 4146 markings/sec, 2370 secs
lola: 413 tries, 412310669 fired transitions, 2375 secs || 11838760 markings, 13082140 edges, 4143 markings/sec, 2375 secs
lola: 413 tries, 412986629 fired transitions, 2380 secs || 11859330 markings, 13104673 edges, 4114 markings/sec, 2380 secs
lola: 414 tries, 413660333 fired transitions, 2385 secs || 11879989 markings, 13127302 edges, 4132 markings/sec, 2385 secs
lola: 415 tries, 414332804 fired transitions, 2390 secs || 11900607 markings, 13149888 edges, 4124 markings/sec, 2390 secs
lola: 416 tries, 415007445 fired transitions, 2395 secs || 11921162 markings, 13172407 edges, 4111 markings/sec, 2395 secs
lola: 416 tries, 415988894 fired transitions, 2400 secs || 11950609 markings, 13204663 edges, 5889 markings/sec, 2400 secs
lola: 417 tries, 416640060 fired transitions, 2405 secs || 11970315 markings, 13226252 edges, 3941 markings/sec, 2405 secs
lola: 418 tries, 417313476 fired transitions, 2410 secs || 11990809 markings, 13248702 edges, 4099 markings/sec, 2410 secs
lola: 418 tries, 417994980 fired transitions, 2415 secs || 12011448 markings, 13271310 edges, 4128 markings/sec, 2415 secs
lola: 419 tries, 418879492 fired transitions, 2420 secs || 12036076 markings, 13298249 edges, 4926 markings/sec, 2420 secs
lola: 420 tries, 419553414 fired transitions, 2425 secs || 12056635 markings, 13320689 edges, 4112 markings/sec, 2425 secs
lola: 421 tries, 420502796 fired transitions, 2430 secs || 12086902 markings, 13353739 edges, 6053 markings/sec, 2430 secs
lola: 422 tries, 421213806 fired transitions, 2435 secs || 12108374 markings, 13377177 edges, 4294 markings/sec, 2435 secs
lola: 422 tries, 421886602 fired transitions, 2440 secs || 12129146 markings, 13399851 edges, 4154 markings/sec, 2440 secs
lola: 423 tries, 422561532 fired transitions, 2445 secs || 12149712 markings, 13422302 edges, 4113 markings/sec, 2445 secs
lola: 424 tries, 423234853 fired transitions, 2450 secs || 12171146 markings, 13446208 edges, 4287 markings/sec, 2450 secs
lola: 424 tries, 423909331 fired transitions, 2455 secs || 12191794 markings, 13468742 edges, 4130 markings/sec, 2455 secs
lola: 425 tries, 424583796 fired transitions, 2460 secs || 12212847 markings, 13492025 edges, 4211 markings/sec, 2460 secs
lola: 426 tries, 425252777 fired transitions, 2465 secs || 12233219 markings, 13514711 edges, 4074 markings/sec, 2465 secs
lola: 426 tries, 425926448 fired transitions, 2470 secs || 12255161 markings, 13539441 edges, 4388 markings/sec, 2470 secs
lola: 427 tries, 426600734 fired transitions, 2475 secs || 12276116 markings, 13562555 edges, 4191 markings/sec, 2475 secs
lola: 428 tries, 427272798 fired transitions, 2480 secs || 12296795 markings, 13585256 edges, 4136 markings/sec, 2480 secs
lola: 428 tries, 427947603 fired transitions, 2485 secs || 12317248 markings, 13607664 edges, 4091 markings/sec, 2485 secs
lola: 429 tries, 428622523 fired transitions, 2490 secs || 12337651 markings, 13630011 edges, 4081 markings/sec, 2490 secs
lola: 430 tries, 429298968 fired transitions, 2495 secs || 12358423 markings, 13652846 edges, 4154 markings/sec, 2495 secs
lola: 430 tries, 429974240 fired transitions, 2500 secs || 12378931 markings, 13675412 edges, 4102 markings/sec, 2500 secs
lola: 431 tries, 430644512 fired transitions, 2505 secs || 12399356 markings, 13697885 edges, 4085 markings/sec, 2505 secs
lola: 432 tries, 431318360 fired transitions, 2510 secs || 12419635 markings, 13720197 edges, 4056 markings/sec, 2510 secs
lola: 432 tries, 431990514 fired transitions, 2515 secs || 12439656 markings, 13742230 edges, 4004 markings/sec, 2515 secs
lola: 433 tries, 432695315 fired transitions, 2520 secs || 12459881 markings, 13764479 edges, 4045 markings/sec, 2520 secs
lola: 434 tries, 433775587 fired transitions, 2525 secs || 12487357 markings, 13794653 edges, 5495 markings/sec, 2525 secs
lola: 435 tries, 434848009 fired transitions, 2530 secs || 12516173 markings, 13826361 edges, 5763 markings/sec, 2530 secs
lola: 436 tries, 435918116 fired transitions, 2535 secs || 12547915 markings, 13861372 edges, 6348 markings/sec, 2535 secs
lola: 438 tries, 437010387 fired transitions, 2540 secs || 12577294 markings, 13893686 edges, 5876 markings/sec, 2540 secs
lola: 439 tries, 438081283 fired transitions, 2545 secs || 12606889 markings, 13926099 edges, 5919 markings/sec, 2545 secs
lola: 440 tries, 439137301 fired transitions, 2550 secs || 12636114 markings, 13958093 edges, 5845 markings/sec, 2550 secs
lola: 441 tries, 440213189 fired transitions, 2555 secs || 12666290 markings, 13991269 edges, 6035 markings/sec, 2555 secs
lola: 442 tries, 441273216 fired transitions, 2560 secs || 12696600 markings, 14024721 edges, 6062 markings/sec, 2560 secs
lola: 443 tries, 442293220 fired transitions, 2565 secs || 12726588 markings, 14057588 edges, 5998 markings/sec, 2565 secs
lola: 444 tries, 443337459 fired transitions, 2570 secs || 12757806 markings, 14091831 edges, 6244 markings/sec, 2570 secs
lola: 445 tries, 444430217 fired transitions, 2575 secs || 12787246 markings, 14124301 edges, 5888 markings/sec, 2575 secs
lola: 446 tries, 445512673 fired transitions, 2580 secs || 12817904 markings, 14158224 edges, 6132 markings/sec, 2580 secs
lola: 447 tries, 446533545 fired transitions, 2585 secs || 12847800 markings, 14191455 edges, 5979 markings/sec, 2585 secs
lola: 448 tries, 447535502 fired transitions, 2590 secs || 12878473 markings, 14225507 edges, 6135 markings/sec, 2590 secs
lola: 449 tries, 448582316 fired transitions, 2595 secs || 12912740 markings, 14263522 edges, 6853 markings/sec, 2595 secs
lola: 450 tries, 449638430 fired transitions, 2600 secs || 12944557 markings, 14299209 edges, 6363 markings/sec, 2600 secs
lola: 451 tries, 450732215 fired transitions, 2605 secs || 12975546 markings, 14333553 edges, 6198 markings/sec, 2605 secs
lola: 452 tries, 451720021 fired transitions, 2610 secs || 13005659 markings, 14366928 edges, 6023 markings/sec, 2610 secs
lola: 453 tries, 452742283 fired transitions, 2615 secs || 13038215 markings, 14403168 edges, 6511 markings/sec, 2615 secs
lola: 454 tries, 453735266 fired transitions, 2620 secs || 13067651 markings, 14435890 edges, 5887 markings/sec, 2620 secs
lola: 455 tries, 454757956 fired transitions, 2625 secs || 13099021 markings, 14470745 edges, 6274 markings/sec, 2625 secs
lola: 456 tries, 455784244 fired transitions, 2630 secs || 13131707 markings, 14507264 edges, 6537 markings/sec, 2630 secs
lola: 457 tries, 456833959 fired transitions, 2635 secs || 13163050 markings, 14542128 edges, 6269 markings/sec, 2635 secs
lola: 458 tries, 457909676 fired transitions, 2640 secs || 13193632 markings, 14576115 edges, 6116 markings/sec, 2640 secs
lola: 459 tries, 458800525 fired transitions, 2645 secs || 13221836 markings, 14607439 edges, 5641 markings/sec, 2645 secs
lola: 460 tries, 459874628 fired transitions, 2650 secs || 13253144 markings, 14642304 edges, 6262 markings/sec, 2650 secs
lola: 461 tries, 460951360 fired transitions, 2655 secs || 13284330 markings, 14676826 edges, 6237 markings/sec, 2655 secs
lola: 462 tries, 461914263 fired transitions, 2660 secs || 13313052 markings, 14708778 edges, 5744 markings/sec, 2660 secs
lola: 463 tries, 462939556 fired transitions, 2665 secs || 13346313 markings, 14745776 edges, 6652 markings/sec, 2665 secs
lola: 464 tries, 463985874 fired transitions, 2670 secs || 13381661 markings, 14785190 edges, 7070 markings/sec, 2670 secs
lola: 466 tries, 465040636 fired transitions, 2675 secs || 13416418 markings, 14824056 edges, 6951 markings/sec, 2675 secs
lola: 467 tries, 466082965 fired transitions, 2680 secs || 13450587 markings, 14862263 edges, 6834 markings/sec, 2680 secs
lola: 468 tries, 467126995 fired transitions, 2685 secs || 13485378 markings, 14901068 edges, 6958 markings/sec, 2685 secs
lola: 469 tries, 468152574 fired transitions, 2690 secs || 13520386 markings, 14940136 edges, 7002 markings/sec, 2690 secs
lola: 470 tries, 469175830 fired transitions, 2695 secs || 13555384 markings, 14979276 edges, 7000 markings/sec, 2695 secs
lola: 471 tries, 470205799 fired transitions, 2700 secs || 13590922 markings, 15019171 edges, 7108 markings/sec, 2700 secs
lola: 472 tries, 471226770 fired transitions, 2705 secs || 13625768 markings, 15058418 edges, 6969 markings/sec, 2705 secs
lola: 473 tries, 472243347 fired transitions, 2710 secs || 13660474 markings, 15097332 edges, 6941 markings/sec, 2710 secs
lola: 474 tries, 473271117 fired transitions, 2715 secs || 13696135 markings, 15137486 edges, 7132 markings/sec, 2715 secs
lola: 475 tries, 474297123 fired transitions, 2720 secs || 13731683 markings, 15177593 edges, 7110 markings/sec, 2720 secs
lola: 476 tries, 475320110 fired transitions, 2725 secs || 13767109 markings, 15217560 edges, 7085 markings/sec, 2725 secs
lola: 477 tries, 476355413 fired transitions, 2730 secs || 13803580 markings, 15258821 edges, 7294 markings/sec, 2730 secs
lola: 478 tries, 477385335 fired transitions, 2735 secs || 13839597 markings, 15299472 edges, 7203 markings/sec, 2735 secs
lola: 479 tries, 478405941 fired transitions, 2740 secs || 13874265 markings, 15338359 edges, 6934 markings/sec, 2740 secs
lola: 480 tries, 479437441 fired transitions, 2745 secs || 13910368 markings, 15378821 edges, 7221 markings/sec, 2745 secs
lola: 481 tries, 480458804 fired transitions, 2750 secs || 13945188 markings, 15417799 edges, 6964 markings/sec, 2750 secs
lola: 482 tries, 481479060 fired transitions, 2755 secs || 13979970 markings, 15456693 edges, 6956 markings/sec, 2755 secs
lola: 483 tries, 482493784 fired transitions, 2760 secs || 14014031 markings, 15494542 edges, 6812 markings/sec, 2760 secs
lola: 484 tries, 483515776 fired transitions, 2765 secs || 14049055 markings, 15533604 edges, 7005 markings/sec, 2765 secs
lola: 485 tries, 484542045 fired transitions, 2770 secs || 14084405 markings, 15573175 edges, 7070 markings/sec, 2770 secs
lola: 486 tries, 485562545 fired transitions, 2775 secs || 14119176 markings, 15611701 edges, 6954 markings/sec, 2775 secs
lola: 487 tries, 486582356 fired transitions, 2780 secs || 14153640 markings, 15650194 edges, 6893 markings/sec, 2780 secs
lola: 488 tries, 487592371 fired transitions, 2785 secs || 14187232 markings, 15687400 edges, 6718 markings/sec, 2785 secs
lola: 489 tries, 488603051 fired transitions, 2790 secs || 14220315 markings, 15724074 edges, 6617 markings/sec, 2790 secs
lola: 490 tries, 489628094 fired transitions, 2795 secs || 14254151 markings, 15761795 edges, 6767 markings/sec, 2795 secs
lola: 491 tries, 490688002 fired transitions, 2800 secs || 14286963 markings, 15798428 edges, 6562 markings/sec, 2800 secs
lola: 492 tries, 491593148 fired transitions, 2805 secs || 14314006 markings, 15828528 edges, 5409 markings/sec, 2805 secs
lola: 493 tries, 492292261 fired transitions, 2810 secs || 14335705 markings, 15852891 edges, 4340 markings/sec, 2810 secs
lola: 494 tries, 493216164 fired transitions, 2815 secs || 14365960 markings, 15886599 edges, 6051 markings/sec, 2815 secs
lola: 495 tries, 494277411 fired transitions, 2820 secs || 14399545 markings, 15924115 edges, 6717 markings/sec, 2820 secs
lola: 496 tries, 495305115 fired transitions, 2825 secs || 14433650 markings, 15962374 edges, 6821 markings/sec, 2825 secs
lola: 497 tries, 496346261 fired transitions, 2830 secs || 14468482 markings, 16001640 edges, 6966 markings/sec, 2830 secs
lola: 498 tries, 497365608 fired transitions, 2835 secs || 14503153 markings, 16040565 edges, 6934 markings/sec, 2835 secs
lola: 499 tries, 498412164 fired transitions, 2840 secs || 14537622 markings, 16079390 edges, 6894 markings/sec, 2840 secs
lola: 500 tries, 499397876 fired transitions, 2845 secs || 14567018 markings, 16112513 edges, 5879 markings/sec, 2845 secs
lola: 501 tries, 500315068 fired transitions, 2850 secs || 14595752 markings, 16144765 edges, 5747 markings/sec, 2850 secs
lola: 501 tries, 500919492 fired transitions, 2855 secs || 14615111 markings, 16166285 edges, 3872 markings/sec, 2855 secs
lola: 502 tries, 501687447 fired transitions, 2860 secs || 14633379 markings, 16186577 edges, 3654 markings/sec, 2860 secs
lola: 503 tries, 502325713 fired transitions, 2865 secs || 14638794 markings, 16192601 edges, 1083 markings/sec, 2865 secs
Killed
rslt: finished

BK_STOP 1552447077377

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (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="DLCflexbar-PT-4b"
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 DLCflexbar-PT-4b, 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 r049-oct2-155234404700228"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-4b.tgz
mv DLCflexbar-PT-4b 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 ;