Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r137-smll-155284909400120.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is Railroad-PT-100, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r137-smll-155284909400120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.3M
-rw-r--r-- 1 mcc users 4.0K Feb 12 12:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 12 12:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 8 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 8 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 01:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 01:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 4 14:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 4 14:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 11:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 1 11:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 5.2M 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 Railroad-PT-100-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552955138345

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Railroad-PT-100 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ Railroad-PT-100

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue Mar 19 00:25:38 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 682476,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 62728,
"conflict_clusters": 407,
"places": 1018,
"places_significant": 407,
"singleton_clusters": 0,
"transitions": 10506
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": inf,
"composed": 51286,
"dead_branches": 0,
"generators": 51833,
"interrupted": false,
"real_computed": 547,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
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: 11524/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 32576
lola: finding significant places
lola: 1018 places, 10506 transitions, 407 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: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 3866 fired transitions, 0 secs
lola: 1963 generators; 497755 candidates remain ( 0%), 0 secs
lola: 1 tries, 7784 fired transitions, 5 secs
lola: 4410 generators; 442486 candidates remain ( 0%), 5 secs
lola: 1 tries, 11727 fired transitions, 10 secs
lola: 6448 generators; 373740 candidates remain ( 1%), 10 secs
lola: 1 tries, 15713 fired transitions, 15 secs
lola: 7150 generators; 296091 candidates remain ( 2%), 15 secs
lola: 1 tries, 18235 fired transitions, 20 secs
lola: 10783 generators; 147725 candidates remain ( 6%), 20 secs
lola: 1 tries, 20495 fired transitions, 25 secs
lola: 28824 generators; 82045 candidates remain (25%), 25 secs
lola: 1 tries, 22732 fired transitions, 30 secs
lola: 47646 generators; 30226 candidates remain (61%), 30 secs
lola: computed 51833 generators (547 in search tree, 51286 by composition)
lola: representing 4.82775E+800 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 25248 fired transitions, 35 secs || 1443 markings, 2725 edges, 289 markings/sec, 35 secs
lola: 1 tries, 27838 fired transitions, 40 secs || 3614 markings, 7314 edges, 434 markings/sec, 40 secs
lola: 1 tries, 30423 fired transitions, 45 secs || 5796 markings, 12004 edges, 436 markings/sec, 45 secs
lola: 1 tries, 33037 fired transitions, 50 secs || 8039 markings, 16795 edges, 449 markings/sec, 50 secs
lola: 1 tries, 35657 fired transitions, 55 secs || 10282 markings, 21730 edges, 449 markings/sec, 55 secs
lola: 1 tries, 38245 fired transitions, 60 secs || 12450 markings, 26860 edges, 434 markings/sec, 60 secs
lola: 1 tries, 40822 fired transitions, 65 secs || 14650 markings, 31812 edges, 440 markings/sec, 65 secs
lola: 1 tries, 43490 fired transitions, 70 secs || 16892 markings, 37319 edges, 448 markings/sec, 70 secs
lola: 1 tries, 46227 fired transitions, 75 secs || 19282 markings, 42990 edges, 478 markings/sec, 75 secs
lola: 1 tries, 48618 fired transitions, 80 secs || 21178 markings, 47209 edges, 379 markings/sec, 80 secs
lola: 1 tries, 51223 fired transitions, 85 secs || 23507 markings, 52346 edges, 466 markings/sec, 85 secs
lola: 1 tries, 53740 fired transitions, 90 secs || 25574 markings, 57100 edges, 413 markings/sec, 90 secs
lola: 1 tries, 56302 fired transitions, 95 secs || 27783 markings, 62344 edges, 442 markings/sec, 95 secs
lola: 1 tries, 58795 fired transitions, 100 secs || 29907 markings, 67302 edges, 425 markings/sec, 100 secs
lola: 1 tries, 61460 fired transitions, 105 secs || 32250 markings, 72854 edges, 469 markings/sec, 105 secs
lola: 1 tries, 63925 fired transitions, 110 secs || 34291 markings, 77711 edges, 408 markings/sec, 110 secs
lola: 1 tries, 66402 fired transitions, 115 secs || 36412 markings, 82905 edges, 424 markings/sec, 115 secs
lola: 1 tries, 69050 fired transitions, 120 secs || 38681 markings, 88617 edges, 454 markings/sec, 120 secs
lola: 1 tries, 71678 fired transitions, 125 secs || 41013 markings, 94465 edges, 466 markings/sec, 125 secs
lola: 1 tries, 74230 fired transitions, 130 secs || 43234 markings, 99852 edges, 444 markings/sec, 130 secs
lola: 1 tries, 76840 fired transitions, 135 secs || 45610 markings, 105553 edges, 475 markings/sec, 135 secs
lola: 1 tries, 79257 fired transitions, 140 secs || 47651 markings, 110152 edges, 408 markings/sec, 140 secs
lola: 1 tries, 81600 fired transitions, 145 secs || 49519 markings, 114635 edges, 374 markings/sec, 145 secs
lola: 1 tries, 83945 fired transitions, 150 secs || 51442 markings, 119288 edges, 385 markings/sec, 150 secs
lola: 1 tries, 86625 fired transitions, 155 secs || 53802 markings, 125161 edges, 472 markings/sec, 155 secs
lola: 1 tries, 89102 fired transitions, 160 secs || 55909 markings, 130565 edges, 421 markings/sec, 160 secs
lola: 1 tries, 91748 fired transitions, 165 secs || 58266 markings, 136113 edges, 471 markings/sec, 165 secs
lola: 1 tries, 94273 fired transitions, 170 secs || 60435 markings, 141874 edges, 434 markings/sec, 170 secs
lola: 1 tries, 96700 fired transitions, 175 secs || 62559 markings, 146926 edges, 425 markings/sec, 175 secs
lola: 1 tries, 99185 fired transitions, 180 secs || 64682 markings, 151783 edges, 425 markings/sec, 180 secs
lola: 1 tries, 101552 fired transitions, 185 secs || 66552 markings, 156822 edges, 374 markings/sec, 185 secs
lola: 1 tries, 103978 fired transitions, 190 secs || 68641 markings, 162020 edges, 418 markings/sec, 190 secs
lola: 1 tries, 106528 fired transitions, 195 secs || 70982 markings, 167761 edges, 468 markings/sec, 195 secs
lola: 1 tries, 109238 fired transitions, 200 secs || 73439 markings, 172849 edges, 491 markings/sec, 200 secs
lola: 1 tries, 111828 fired transitions, 205 secs || 75756 markings, 178493 edges, 463 markings/sec, 205 secs
lola: 1 tries, 114300 fired transitions, 210 secs || 77823 markings, 183440 edges, 413 markings/sec, 210 secs
lola: 1 tries, 116638 fired transitions, 215 secs || 79671 markings, 187702 edges, 370 markings/sec, 215 secs
lola: 1 tries, 118907 fired transitions, 220 secs || 81507 markings, 192178 edges, 367 markings/sec, 220 secs
lola: 1 tries, 121350 fired transitions, 225 secs || 83497 markings, 197060 edges, 398 markings/sec, 225 secs
lola: 1 tries, 123755 fired transitions, 230 secs || 85448 markings, 202293 edges, 390 markings/sec, 230 secs
lola: 1 tries, 126273 fired transitions, 235 secs || 87605 markings, 207882 edges, 431 markings/sec, 235 secs
lola: 1 tries, 128823 fired transitions, 240 secs || 89841 markings, 213354 edges, 447 markings/sec, 240 secs
lola: 1 tries, 131387 fired transitions, 245 secs || 92048 markings, 219159 edges, 441 markings/sec, 245 secs
lola: 1 tries, 133863 fired transitions, 250 secs || 94110 markings, 224539 edges, 412 markings/sec, 250 secs
lola: 1 tries, 136445 fired transitions, 255 secs || 96322 markings, 230328 edges, 442 markings/sec, 255 secs
lola: 1 tries, 139040 fired transitions, 260 secs || 98709 markings, 235713 edges, 477 markings/sec, 260 secs
lola: 1 tries, 141477 fired transitions, 265 secs || 100745 markings, 240820 edges, 407 markings/sec, 265 secs
lola: 1 tries, 144002 fired transitions, 270 secs || 102989 markings, 246246 edges, 449 markings/sec, 270 secs
lola: 1 tries, 146438 fired transitions, 275 secs || 105088 markings, 251759 edges, 420 markings/sec, 275 secs
lola: 1 tries, 148917 fired transitions, 280 secs || 107159 markings, 257455 edges, 414 markings/sec, 280 secs
lola: 1 tries, 151440 fired transitions, 285 secs || 109410 markings, 263108 edges, 450 markings/sec, 285 secs
lola: 1 tries, 154022 fired transitions, 290 secs || 111746 markings, 268733 edges, 467 markings/sec, 290 secs
lola: 1 tries, 156535 fired transitions, 295 secs || 113965 markings, 273606 edges, 444 markings/sec, 295 secs
lola: 1 tries, 158985 fired transitions, 300 secs || 115968 markings, 279099 edges, 401 markings/sec, 300 secs
lola: 1 tries, 161430 fired transitions, 305 secs || 118001 markings, 284490 edges, 407 markings/sec, 305 secs
lola: 1 tries, 163948 fired transitions, 310 secs || 120274 markings, 290212 edges, 455 markings/sec, 310 secs
lola: 1 tries, 166547 fired transitions, 315 secs || 122607 markings, 295659 edges, 467 markings/sec, 315 secs
lola: 1 tries, 168935 fired transitions, 320 secs || 124653 markings, 300763 edges, 409 markings/sec, 320 secs
lola: 1 tries, 171473 fired transitions, 325 secs || 126916 markings, 306372 edges, 453 markings/sec, 325 secs
lola: 1 tries, 173935 fired transitions, 330 secs || 128985 markings, 311721 edges, 414 markings/sec, 330 secs
lola: 1 tries, 176327 fired transitions, 335 secs || 130952 markings, 317182 edges, 393 markings/sec, 335 secs
lola: 1 tries, 178788 fired transitions, 340 secs || 132970 markings, 322946 edges, 404 markings/sec, 340 secs
lola: 1 tries, 181423 fired transitions, 345 secs || 135278 markings, 328445 edges, 462 markings/sec, 345 secs
lola: 1 tries, 183812 fired transitions, 350 secs || 137181 markings, 333350 edges, 381 markings/sec, 350 secs
lola: 1 tries, 186308 fired transitions, 355 secs || 139209 markings, 338498 edges, 406 markings/sec, 355 secs
lola: 1 tries, 188908 fired transitions, 360 secs || 141590 markings, 343420 edges, 476 markings/sec, 360 secs
lola: 1 tries, 191382 fired transitions, 365 secs || 143876 markings, 348706 edges, 457 markings/sec, 365 secs
lola: 1 tries, 193860 fired transitions, 370 secs || 146023 markings, 354096 edges, 429 markings/sec, 370 secs
lola: 1 tries, 196403 fired transitions, 375 secs || 148228 markings, 359749 edges, 441 markings/sec, 375 secs
lola: 1 tries, 198920 fired transitions, 380 secs || 150393 markings, 365514 edges, 433 markings/sec, 380 secs
lola: 1 tries, 201497 fired transitions, 385 secs || 152759 markings, 371373 edges, 473 markings/sec, 385 secs
lola: 1 tries, 203915 fired transitions, 390 secs || 154804 markings, 376967 edges, 409 markings/sec, 390 secs
lola: 1 tries, 206277 fired transitions, 395 secs || 156784 markings, 382332 edges, 396 markings/sec, 395 secs
lola: 1 tries, 208773 fired transitions, 400 secs || 158916 markings, 387793 edges, 426 markings/sec, 400 secs
lola: 1 tries, 211210 fired transitions, 405 secs || 160917 markings, 393229 edges, 400 markings/sec, 405 secs
lola: 1 tries, 213638 fired transitions, 410 secs || 162885 markings, 398420 edges, 394 markings/sec, 410 secs
lola: 1 tries, 216117 fired transitions, 415 secs || 165022 markings, 403821 edges, 427 markings/sec, 415 secs
lola: 1 tries, 218558 fired transitions, 420 secs || 167132 markings, 409199 edges, 422 markings/sec, 420 secs
lola: 1 tries, 221085 fired transitions, 425 secs || 169365 markings, 415112 edges, 447 markings/sec, 425 secs
lola: 1 tries, 223472 fired transitions, 430 secs || 171372 markings, 420384 edges, 401 markings/sec, 430 secs
lola: 1 tries, 226075 fired transitions, 435 secs || 173704 markings, 426548 edges, 466 markings/sec, 435 secs
lola: 1 tries, 228682 fired transitions, 440 secs || 176035 markings, 432705 edges, 466 markings/sec, 440 secs
lola: 1 tries, 231061 fired transitions, 445 secs || 177977 markings, 437896 edges, 388 markings/sec, 445 secs
lola: 1 tries, 233652 fired transitions, 450 secs || 180359 markings, 443212 edges, 476 markings/sec, 450 secs
lola: 1 tries, 236140 fired transitions, 455 secs || 182411 markings, 448722 edges, 410 markings/sec, 455 secs
lola: 1 tries, 238610 fired transitions, 460 secs || 184622 markings, 454087 edges, 442 markings/sec, 460 secs
lola: 1 tries, 241323 fired transitions, 465 secs || 187229 markings, 459799 edges, 521 markings/sec, 465 secs
lola: 1 tries, 243872 fired transitions, 470 secs || 189541 markings, 465625 edges, 462 markings/sec, 470 secs
lola: 1 tries, 246188 fired transitions, 475 secs || 191411 markings, 470706 edges, 374 markings/sec, 475 secs
lola: 1 tries, 248612 fired transitions, 480 secs || 193426 markings, 475851 edges, 403 markings/sec, 480 secs
lola: 1 tries, 251030 fired transitions, 485 secs || 195323 markings, 481290 edges, 379 markings/sec, 485 secs
lola: 1 tries, 253580 fired transitions, 490 secs || 197478 markings, 487448 edges, 431 markings/sec, 490 secs
lola: 1 tries, 255937 fired transitions, 495 secs || 199477 markings, 492667 edges, 400 markings/sec, 495 secs
lola: 1 tries, 258338 fired transitions, 500 secs || 201491 markings, 498009 edges, 403 markings/sec, 500 secs
lola: 1 tries, 260848 fired transitions, 505 secs || 203742 markings, 503515 edges, 450 markings/sec, 505 secs
lola: 1 tries, 263155 fired transitions, 510 secs || 205577 markings, 508531 edges, 367 markings/sec, 510 secs
lola: 1 tries, 265573 fired transitions, 515 secs || 207625 markings, 514103 edges, 410 markings/sec, 515 secs
lola: 1 tries, 267965 fired transitions, 520 secs || 209660 markings, 519784 edges, 407 markings/sec, 520 secs
lola: 1 tries, 270620 fired transitions, 525 secs || 211874 markings, 524972 edges, 443 markings/sec, 525 secs
lola: 1 tries, 273223 fired transitions, 530 secs || 213997 markings, 530497 edges, 425 markings/sec, 530 secs
lola: 1 tries, 275910 fired transitions, 535 secs || 216087 markings, 536312 edges, 418 markings/sec, 535 secs
lola: 1 tries, 278575 fired transitions, 540 secs || 218285 markings, 542323 edges, 440 markings/sec, 540 secs
lola: 1 tries, 281213 fired transitions, 545 secs || 220415 markings, 548099 edges, 426 markings/sec, 545 secs
lola: 1 tries, 283623 fired transitions, 550 secs || 222416 markings, 553384 edges, 400 markings/sec, 550 secs
lola: 1 tries, 286123 fired transitions, 555 secs || 224552 markings, 559279 edges, 427 markings/sec, 555 secs
lola: 1 tries, 288717 fired transitions, 560 secs || 226749 markings, 565608 edges, 439 markings/sec, 560 secs
lola: 1 tries, 291180 fired transitions, 565 secs || 229006 markings, 571506 edges, 451 markings/sec, 565 secs
lola: 1 tries, 293747 fired transitions, 570 secs || 231344 markings, 577246 edges, 468 markings/sec, 570 secs
lola: 1 tries, 296238 fired transitions, 575 secs || 233561 markings, 582923 edges, 443 markings/sec, 575 secs
lola: 1 tries, 298613 fired transitions, 580 secs || 235653 markings, 588334 edges, 418 markings/sec, 580 secs
lola: 1 tries, 301195 fired transitions, 585 secs || 237974 markings, 594231 edges, 464 markings/sec, 585 secs
lola: 1 tries, 303673 fired transitions, 590 secs || 240261 markings, 599870 edges, 457 markings/sec, 590 secs
lola: 1 tries, 306177 fired transitions, 595 secs || 242444 markings, 605895 edges, 437 markings/sec, 595 secs
lola: 1 tries, 308758 fired transitions, 600 secs || 244774 markings, 611662 edges, 466 markings/sec, 600 secs
lola: 1 tries, 311312 fired transitions, 605 secs || 247092 markings, 617493 edges, 464 markings/sec, 605 secs
lola: 1 tries, 313755 fired transitions, 610 secs || 249100 markings, 622905 edges, 402 markings/sec, 610 secs
lola: 1 tries, 316257 fired transitions, 615 secs || 251241 markings, 628674 edges, 428 markings/sec, 615 secs
lola: 1 tries, 318717 fired transitions, 620 secs || 253324 markings, 634193 edges, 417 markings/sec, 620 secs
lola: 1 tries, 321240 fired transitions, 625 secs || 255493 markings, 639944 edges, 434 markings/sec, 625 secs
lola: 1 tries, 323642 fired transitions, 630 secs || 257592 markings, 645392 edges, 420 markings/sec, 630 secs
lola: 1 tries, 326133 fired transitions, 635 secs || 259930 markings, 650709 edges, 468 markings/sec, 635 secs
lola: 1 tries, 328535 fired transitions, 640 secs || 262178 markings, 655914 edges, 450 markings/sec, 640 secs
lola: 1 tries, 331038 fired transitions, 645 secs || 264431 markings, 661657 edges, 451 markings/sec, 645 secs
lola: 1 tries, 333507 fired transitions, 650 secs || 266668 markings, 667420 edges, 447 markings/sec, 650 secs
lola: 1 tries, 335827 fired transitions, 655 secs || 268614 markings, 672671 edges, 389 markings/sec, 655 secs
lola: 1 tries, 338200 fired transitions, 660 secs || 270535 markings, 678376 edges, 384 markings/sec, 660 secs
lola: 1 tries, 340485 fired transitions, 665 secs || 272494 markings, 683457 edges, 392 markings/sec, 665 secs
lola: 1 tries, 342802 fired transitions, 670 secs || 274445 markings, 688450 edges, 390 markings/sec, 670 secs
lola: 1 tries, 345143 fired transitions, 675 secs || 276430 markings, 693971 edges, 397 markings/sec, 675 secs
lola: 1 tries, 347475 fired transitions, 680 secs || 278531 markings, 698897 edges, 420 markings/sec, 680 secs
lola: 1 tries, 349867 fired transitions, 685 secs || 280563 markings, 704139 edges, 406 markings/sec, 685 secs
lola: 1 tries, 352432 fired transitions, 690 secs || 282890 markings, 710211 edges, 465 markings/sec, 690 secs
lola: 1 tries, 354953 fired transitions, 695 secs || 285278 markings, 716096 edges, 478 markings/sec, 695 secs
lola: 1 tries, 357583 fired transitions, 700 secs || 287721 markings, 721726 edges, 489 markings/sec, 700 secs
lola: 1 tries, 360025 fired transitions, 705 secs || 289844 markings, 727192 edges, 425 markings/sec, 705 secs
lola: 1 tries, 362533 fired transitions, 710 secs || 291850 markings, 733257 edges, 401 markings/sec, 710 secs
lola: 1 tries, 365027 fired transitions, 715 secs || 293919 markings, 739242 edges, 414 markings/sec, 715 secs
lola: 1 tries, 367397 fired transitions, 720 secs || 295971 markings, 744212 edges, 410 markings/sec, 720 secs
lola: 1 tries, 369853 fired transitions, 725 secs || 297962 markings, 749858 edges, 398 markings/sec, 725 secs
lola: 1 tries, 372343 fired transitions, 730 secs || 300117 markings, 756044 edges, 431 markings/sec, 730 secs
lola: 1 tries, 374905 fired transitions, 735 secs || 302472 markings, 762240 edges, 471 markings/sec, 735 secs
lola: 1 tries, 377437 fired transitions, 740 secs || 304730 markings, 768094 edges, 452 markings/sec, 740 secs
lola: 1 tries, 380105 fired transitions, 745 secs || 307232 markings, 773471 edges, 500 markings/sec, 745 secs
lola: 1 tries, 382792 fired transitions, 750 secs || 309435 markings, 779813 edges, 441 markings/sec, 750 secs
lola: 1 tries, 385448 fired transitions, 755 secs || 311587 markings, 785957 edges, 430 markings/sec, 755 secs
lola: 1 tries, 387927 fired transitions, 760 secs || 313699 markings, 791390 edges, 422 markings/sec, 760 secs
lola: 1 tries, 390592 fired transitions, 765 secs || 316110 markings, 797289 edges, 482 markings/sec, 765 secs
lola: 1 tries, 393105 fired transitions, 770 secs || 318201 markings, 802677 edges, 418 markings/sec, 770 secs
lola: 1 tries, 395760 fired transitions, 775 secs || 320370 markings, 808932 edges, 434 markings/sec, 775 secs
lola: 1 tries, 398223 fired transitions, 780 secs || 322480 markings, 814928 edges, 422 markings/sec, 780 secs
lola: 1 tries, 400787 fired transitions, 785 secs || 324720 markings, 820871 edges, 448 markings/sec, 785 secs
lola: 1 tries, 403368 fired transitions, 790 secs || 327014 markings, 827039 edges, 459 markings/sec, 790 secs
lola: 1 tries, 405958 fired transitions, 795 secs || 329366 markings, 832793 edges, 470 markings/sec, 795 secs
lola: 1 tries, 408382 fired transitions, 800 secs || 331364 markings, 838291 edges, 400 markings/sec, 800 secs
lola: 1 tries, 410938 fired transitions, 805 secs || 333677 markings, 844384 edges, 463 markings/sec, 805 secs
lola: 1 tries, 413413 fired transitions, 810 secs || 335718 markings, 850046 edges, 408 markings/sec, 810 secs
lola: 1 tries, 415965 fired transitions, 815 secs || 337678 markings, 855867 edges, 392 markings/sec, 815 secs
lola: 1 tries, 418507 fired transitions, 820 secs || 339954 markings, 861524 edges, 455 markings/sec, 820 secs
lola: 1 tries, 420945 fired transitions, 825 secs || 342018 markings, 867288 edges, 413 markings/sec, 825 secs
lola: 1 tries, 423400 fired transitions, 830 secs || 344167 markings, 873073 edges, 430 markings/sec, 830 secs
lola: 1 tries, 425828 fired transitions, 835 secs || 346318 markings, 878814 edges, 430 markings/sec, 835 secs
lola: 1 tries, 428265 fired transitions, 840 secs || 348500 markings, 884595 edges, 436 markings/sec, 840 secs
lola: 1 tries, 430572 fired transitions, 845 secs || 350495 markings, 890115 edges, 399 markings/sec, 845 secs
lola: 1 tries, 432997 fired transitions, 850 secs || 352599 markings, 895841 edges, 421 markings/sec, 850 secs
lola: 1 tries, 435352 fired transitions, 855 secs || 354728 markings, 901603 edges, 426 markings/sec, 855 secs
lola: 1 tries, 437740 fired transitions, 860 secs || 356773 markings, 907599 edges, 409 markings/sec, 860 secs
lola: 1 tries, 440045 fired transitions, 865 secs || 358638 markings, 913084 edges, 373 markings/sec, 865 secs
lola: 1 tries, 442463 fired transitions, 870 secs || 360722 markings, 918804 edges, 417 markings/sec, 870 secs
lola: 1 tries, 445002 fired transitions, 875 secs || 363043 markings, 924514 edges, 464 markings/sec, 875 secs
lola: 1 tries, 447385 fired transitions, 880 secs || 365131 markings, 929988 edges, 418 markings/sec, 880 secs
lola: 1 tries, 449858 fired transitions, 885 secs || 367271 markings, 935430 edges, 428 markings/sec, 885 secs
lola: 1 tries, 452273 fired transitions, 890 secs || 369385 markings, 940978 edges, 423 markings/sec, 890 secs
lola: 1 tries, 454690 fired transitions, 895 secs || 371342 markings, 946539 edges, 391 markings/sec, 895 secs
lola: 1 tries, 457050 fired transitions, 900 secs || 373230 markings, 951581 edges, 378 markings/sec, 900 secs
lola: 1 tries, 459453 fired transitions, 905 secs || 375268 markings, 957018 edges, 408 markings/sec, 905 secs
lola: 1 tries, 461993 fired transitions, 910 secs || 377515 markings, 962726 edges, 449 markings/sec, 910 secs
lola: 1 tries, 464443 fired transitions, 915 secs || 379583 markings, 968517 edges, 414 markings/sec, 915 secs
lola: 1 tries, 466885 fired transitions, 920 secs || 381574 markings, 974035 edges, 398 markings/sec, 920 secs
lola: 1 tries, 469575 fired transitions, 925 secs || 383884 markings, 980397 edges, 462 markings/sec, 925 secs
lola: 1 tries, 472198 fired transitions, 930 secs || 386202 markings, 987076 edges, 464 markings/sec, 930 secs
lola: 1 tries, 474825 fired transitions, 935 secs || 388577 markings, 992877 edges, 475 markings/sec, 935 secs
lola: 1 tries, 477423 fired transitions, 940 secs || 390812 markings, 998598 edges, 447 markings/sec, 940 secs
lola: 1 tries, 479897 fired transitions, 945 secs || 392888 markings, 1004478 edges, 415 markings/sec, 945 secs
lola: 1 tries, 482560 fired transitions, 950 secs || 395305 markings, 1010218 edges, 483 markings/sec, 950 secs
lola: 1 tries, 485107 fired transitions, 955 secs || 397431 markings, 1016155 edges, 425 markings/sec, 955 secs
lola: 1 tries, 487535 fired transitions, 960 secs || 399493 markings, 1021936 edges, 412 markings/sec, 960 secs
lola: 1 tries, 490085 fired transitions, 965 secs || 401721 markings, 1028058 edges, 446 markings/sec, 965 secs
lola: 1 tries, 492485 fired transitions, 970 secs || 403856 markings, 1033620 edges, 427 markings/sec, 970 secs
lola: 1 tries, 494823 fired transitions, 975 secs || 406011 markings, 1038859 edges, 431 markings/sec, 975 secs
lola: 1 tries, 497243 fired transitions, 980 secs || 408281 markings, 1044502 edges, 454 markings/sec, 980 secs
lola: 1 tries, 499677 fired transitions, 985 secs || 410401 markings, 1050131 edges, 424 markings/sec, 985 secs
lola: 1 tries, 502063 fired transitions, 990 secs || 412608 markings, 1055785 edges, 441 markings/sec, 990 secs
lola: 1 tries, 504555 fired transitions, 995 secs || 414922 markings, 1061564 edges, 463 markings/sec, 995 secs
lola: 1 tries, 507108 fired transitions, 1000 secs || 417012 markings, 1067536 edges, 418 markings/sec, 1000 secs
lola: 1 tries, 509497 fired transitions, 1005 secs || 419045 markings, 1073169 edges, 407 markings/sec, 1005 secs
lola: 1 tries, 511937 fired transitions, 1010 secs || 421125 markings, 1079172 edges, 416 markings/sec, 1010 secs
lola: 1 tries, 514385 fired transitions, 1015 secs || 423298 markings, 1085073 edges, 435 markings/sec, 1015 secs
lola: 1 tries, 516810 fired transitions, 1020 secs || 425502 markings, 1090510 edges, 441 markings/sec, 1020 secs
lola: 1 tries, 519155 fired transitions, 1025 secs || 427555 markings, 1095415 edges, 411 markings/sec, 1025 secs
lola: 1 tries, 521583 fired transitions, 1030 secs || 429635 markings, 1100835 edges, 416 markings/sec, 1030 secs
lola: 1 tries, 524078 fired transitions, 1035 secs || 431746 markings, 1106729 edges, 422 markings/sec, 1035 secs
lola: 1 tries, 526542 fired transitions, 1040 secs || 434054 markings, 1112338 edges, 462 markings/sec, 1040 secs
lola: 1 tries, 529032 fired transitions, 1045 secs || 436295 markings, 1118366 edges, 448 markings/sec, 1045 secs
lola: 1 tries, 531480 fired transitions, 1050 secs || 438486 markings, 1124097 edges, 438 markings/sec, 1050 secs
lola: 1 tries, 533952 fired transitions, 1055 secs || 440517 markings, 1130801 edges, 406 markings/sec, 1055 secs
lola: 1 tries, 536375 fired transitions, 1060 secs || 442668 markings, 1137005 edges, 430 markings/sec, 1060 secs
lola: 1 tries, 538847 fired transitions, 1065 secs || 444835 markings, 1142712 edges, 433 markings/sec, 1065 secs
lola: 1 tries, 541417 fired transitions, 1070 secs || 447168 markings, 1148809 edges, 467 markings/sec, 1070 secs
lola: 1 tries, 543855 fired transitions, 1075 secs || 449152 markings, 1154717 edges, 397 markings/sec, 1075 secs
lola: 1 tries, 546260 fired transitions, 1080 secs || 451000 markings, 1160584 edges, 370 markings/sec, 1080 secs
lola: 1 tries, 548660 fired transitions, 1085 secs || 452994 markings, 1166148 edges, 399 markings/sec, 1085 secs
lola: 1 tries, 551110 fired transitions, 1090 secs || 455095 markings, 1172197 edges, 420 markings/sec, 1090 secs
lola: 1 tries, 553578 fired transitions, 1095 secs || 457274 markings, 1178482 edges, 436 markings/sec, 1095 secs
lola: 1 tries, 555958 fired transitions, 1100 secs || 459279 markings, 1184594 edges, 401 markings/sec, 1100 secs
lola: 1 tries, 558445 fired transitions, 1105 secs || 461435 markings, 1190764 edges, 431 markings/sec, 1105 secs
lola: 1 tries, 560817 fired transitions, 1110 secs || 463437 markings, 1196105 edges, 400 markings/sec, 1110 secs
lola: 1 tries, 563297 fired transitions, 1115 secs || 465471 markings, 1202495 edges, 407 markings/sec, 1115 secs
lola: 1 tries, 565755 fired transitions, 1120 secs || 467767 markings, 1207829 edges, 459 markings/sec, 1120 secs
lola: 1 tries, 568200 fired transitions, 1125 secs || 469859 markings, 1213594 edges, 418 markings/sec, 1125 secs
lola: 1 tries, 570678 fired transitions, 1130 secs || 472114 markings, 1219637 edges, 451 markings/sec, 1130 secs
lola: 1 tries, 573112 fired transitions, 1135 secs || 474256 markings, 1225283 edges, 428 markings/sec, 1135 secs
lola: 1 tries, 575512 fired transitions, 1140 secs || 476181 markings, 1231053 edges, 385 markings/sec, 1140 secs
lola: 1 tries, 578075 fired transitions, 1145 secs || 478367 markings, 1236973 edges, 437 markings/sec, 1145 secs
lola: 1 tries, 580458 fired transitions, 1150 secs || 480317 markings, 1242383 edges, 390 markings/sec, 1150 secs
lola: 1 tries, 582817 fired transitions, 1155 secs || 482274 markings, 1247972 edges, 391 markings/sec, 1155 secs
lola: 1 tries, 585298 fired transitions, 1160 secs || 484271 markings, 1254006 edges, 399 markings/sec, 1160 secs
lola: 1 tries, 587862 fired transitions, 1165 secs || 486387 markings, 1260430 edges, 423 markings/sec, 1165 secs
lola: 1 tries, 590457 fired transitions, 1170 secs || 488550 markings, 1266603 edges, 433 markings/sec, 1170 secs
lola: 1 tries, 592960 fired transitions, 1175 secs || 490679 markings, 1272431 edges, 426 markings/sec, 1175 secs
lola: 1 tries, 595398 fired transitions, 1180 secs || 492740 markings, 1278600 edges, 412 markings/sec, 1180 secs
lola: 1 tries, 597945 fired transitions, 1185 secs || 495062 markings, 1284583 edges, 464 markings/sec, 1185 secs
lola: 1 tries, 600550 fired transitions, 1190 secs || 497364 markings, 1290661 edges, 460 markings/sec, 1190 secs
lola: 1 tries, 603017 fired transitions, 1195 secs || 499536 markings, 1296444 edges, 434 markings/sec, 1195 secs
lola: 1 tries, 605558 fired transitions, 1200 secs || 501722 markings, 1302621 edges, 437 markings/sec, 1200 secs
lola: 1 tries, 608077 fired transitions, 1205 secs || 503834 markings, 1308538 edges, 422 markings/sec, 1205 secs
lola: 1 tries, 610632 fired transitions, 1210 secs || 506146 markings, 1314560 edges, 462 markings/sec, 1210 secs
lola: 1 tries, 613097 fired transitions, 1215 secs || 508375 markings, 1320360 edges, 446 markings/sec, 1215 secs
lola: 1 tries, 615663 fired transitions, 1220 secs || 510576 markings, 1326786 edges, 440 markings/sec, 1220 secs
lola: 1 tries, 618187 fired transitions, 1225 secs || 512749 markings, 1332847 edges, 435 markings/sec, 1225 secs
lola: 1 tries, 620720 fired transitions, 1230 secs || 515012 markings, 1339478 edges, 453 markings/sec, 1230 secs
lola: 1 tries, 623230 fired transitions, 1235 secs || 517073 markings, 1345522 edges, 412 markings/sec, 1235 secs
lola: 1 tries, 625725 fired transitions, 1240 secs || 519259 markings, 1351921 edges, 437 markings/sec, 1240 secs
lola: 1 tries, 628202 fired transitions, 1245 secs || 521379 markings, 1357762 edges, 424 markings/sec, 1245 secs
lola: 1 tries, 630710 fired transitions, 1250 secs || 523514 markings, 1364515 edges, 427 markings/sec, 1250 secs
lola: 1 tries, 633248 fired transitions, 1255 secs || 525748 markings, 1370477 edges, 447 markings/sec, 1255 secs
lola: 1 tries, 635747 fired transitions, 1260 secs || 528004 markings, 1376417 edges, 451 markings/sec, 1260 secs
lola: 1 tries, 638190 fired transitions, 1265 secs || 530065 markings, 1382346 edges, 412 markings/sec, 1265 secs
lola: 1 tries, 640680 fired transitions, 1270 secs || 532231 markings, 1388571 edges, 433 markings/sec, 1270 secs
lola: 1 tries, 643302 fired transitions, 1275 secs || 534477 markings, 1394885 edges, 449 markings/sec, 1275 secs
lola: 1 tries, 645775 fired transitions, 1280 secs || 536515 markings, 1400866 edges, 408 markings/sec, 1280 secs
lola: 1 tries, 648365 fired transitions, 1285 secs || 538793 markings, 1407010 edges, 456 markings/sec, 1285 secs
lola: 1 tries, 650860 fired transitions, 1290 secs || 540848 markings, 1413337 edges, 411 markings/sec, 1290 secs
lola: 1 tries, 653397 fired transitions, 1295 secs || 543152 markings, 1419807 edges, 461 markings/sec, 1295 secs
lola: 1 tries, 655930 fired transitions, 1300 secs || 545515 markings, 1425842 edges, 473 markings/sec, 1300 secs
lola: 1 tries, 658503 fired transitions, 1305 secs || 547653 markings, 1432282 edges, 428 markings/sec, 1305 secs
lola: 1 tries, 660950 fired transitions, 1310 secs || 549688 markings, 1438564 edges, 407 markings/sec, 1310 secs
lola: 1 tries, 663453 fired transitions, 1315 secs || 552081 markings, 1444321 edges, 479 markings/sec, 1315 secs
lola: 1 tries, 665913 fired transitions, 1320 secs || 554255 markings, 1450292 edges, 435 markings/sec, 1320 secs
lola: 1 tries, 668410 fired transitions, 1325 secs || 556388 markings, 1457119 edges, 427 markings/sec, 1325 secs
lola: 1 tries, 670898 fired transitions, 1330 secs || 558556 markings, 1463355 edges, 434 markings/sec, 1330 secs
lola: 1 tries, 673520 fired transitions, 1335 secs || 560992 markings, 1469421 edges, 487 markings/sec, 1335 secs
lola: 1 tries, 676015 fired transitions, 1340 secs || 563214 markings, 1475695 edges, 444 markings/sec, 1340 secs
lola: 1 tries, 678465 fired transitions, 1345 secs || 565414 markings, 1481409 edges, 440 markings/sec, 1345 secs
lola: 1 tries, 680957 fired transitions, 1350 secs || 567663 markings, 1487375 edges, 450 markings/sec, 1350 secs
lola: 1 tries, 683387 fired transitions, 1355 secs || 569695 markings, 1493216 edges, 406 markings/sec, 1355 secs
lola: 1 tries, 685780 fired transitions, 1360 secs || 571702 markings, 1499089 edges, 401 markings/sec, 1360 secs
lola: 1 tries, 688323 fired transitions, 1365 secs || 573908 markings, 1505398 edges, 441 markings/sec, 1365 secs
lola: 1 tries, 690750 fired transitions, 1370 secs || 576029 markings, 1511150 edges, 424 markings/sec, 1370 secs
lola: 1 tries, 693203 fired transitions, 1375 secs || 578278 markings, 1516909 edges, 450 markings/sec, 1375 secs
lola: 1 tries, 695572 fired transitions, 1380 secs || 580292 markings, 1522369 edges, 403 markings/sec, 1380 secs
lola: 1 tries, 698003 fired transitions, 1385 secs || 582303 markings, 1528448 edges, 402 markings/sec, 1385 secs
lola: 1 tries, 700562 fired transitions, 1390 secs || 584474 markings, 1534743 edges, 434 markings/sec, 1390 secs
lola: 1 tries, 703123 fired transitions, 1395 secs || 586756 markings, 1540865 edges, 456 markings/sec, 1395 secs
lola: 1 tries, 705683 fired transitions, 1400 secs || 589012 markings, 1547106 edges, 451 markings/sec, 1400 secs
lola: 1 tries, 708203 fired transitions, 1405 secs || 591084 markings, 1553605 edges, 414 markings/sec, 1405 secs
lola: 1 tries, 710755 fired transitions, 1410 secs || 593253 markings, 1559501 edges, 434 markings/sec, 1410 secs
lola: 1 tries, 713280 fired transitions, 1415 secs || 595474 markings, 1565327 edges, 444 markings/sec, 1415 secs
lola: 1 tries, 715773 fired transitions, 1420 secs || 597670 markings, 1571280 edges, 439 markings/sec, 1420 secs
lola: 1 tries, 718257 fired transitions, 1425 secs || 599917 markings, 1577024 edges, 449 markings/sec, 1425 secs
lola: 1 tries, 720740 fired transitions, 1430 secs || 602240 markings, 1582784 edges, 465 markings/sec, 1430 secs
lola: 1 tries, 723315 fired transitions, 1435 secs || 604630 markings, 1588741 edges, 478 markings/sec, 1435 secs
lola: 1 tries, 725740 fired transitions, 1440 secs || 606657 markings, 1594565 edges, 405 markings/sec, 1440 secs
lola: 1 tries, 728242 fired transitions, 1445 secs || 608785 markings, 1600323 edges, 426 markings/sec, 1445 secs
lola: 1 tries, 730720 fired transitions, 1450 secs || 610763 markings, 1606229 edges, 396 markings/sec, 1450 secs
lola: 1 tries, 733270 fired transitions, 1455 secs || 612802 markings, 1612753 edges, 408 markings/sec, 1455 secs
lola: 1 tries, 735785 fired transitions, 1460 secs || 614729 markings, 1619267 edges, 385 markings/sec, 1460 secs
lola: 1 tries, 738252 fired transitions, 1465 secs || 616762 markings, 1625068 edges, 407 markings/sec, 1465 secs
lola: 1 tries, 740765 fired transitions, 1470 secs || 618837 markings, 1631191 edges, 415 markings/sec, 1470 secs
lola: 1 tries, 743253 fired transitions, 1475 secs || 620880 markings, 1637500 edges, 409 markings/sec, 1475 secs
lola: 1 tries, 745620 fired transitions, 1480 secs || 622730 markings, 1643221 edges, 370 markings/sec, 1480 secs
lola: 1 tries, 747928 fired transitions, 1485 secs || 624566 markings, 1648808 edges, 367 markings/sec, 1485 secs
lola: 1 tries, 750183 fired transitions, 1490 secs || 626331 markings, 1654187 edges, 353 markings/sec, 1490 secs
lola: 1 tries, 752497 fired transitions, 1495 secs || 628209 markings, 1659686 edges, 376 markings/sec, 1495 secs
lola: 1 tries, 754902 fired transitions, 1500 secs || 630281 markings, 1665383 edges, 414 markings/sec, 1500 secs
lola: 1 tries, 757267 fired transitions, 1505 secs || 632294 markings, 1671042 edges, 403 markings/sec, 1505 secs
lola: 1 tries, 759657 fired transitions, 1510 secs || 634537 markings, 1676174 edges, 449 markings/sec, 1510 secs
lola: 1 tries, 762157 fired transitions, 1515 secs || 636665 markings, 1682694 edges, 426 markings/sec, 1515 secs
lola: 1 tries, 764736 fired transitions, 1520 secs || 638971 markings, 1689085 edges, 461 markings/sec, 1520 secs
lola: 1 tries, 767395 fired transitions, 1525 secs || 641375 markings, 1695470 edges, 481 markings/sec, 1525 secs
lola: 1 tries, 770115 fired transitions, 1530 secs || 643878 markings, 1701857 edges, 501 markings/sec, 1530 secs
lola: 1 tries, 772733 fired transitions, 1535 secs || 646409 markings, 1707679 edges, 506 markings/sec, 1535 secs
lola: 1 tries, 775422 fired transitions, 1540 secs || 648822 markings, 1713939 edges, 483 markings/sec, 1540 secs
lola: 1 tries, 777973 fired transitions, 1545 secs || 650967 markings, 1720295 edges, 429 markings/sec, 1545 secs
lola: 1 tries, 780527 fired transitions, 1550 secs || 653031 markings, 1726058 edges, 413 markings/sec, 1550 secs
lola: 1 tries, 783108 fired transitions, 1555 secs || 654965 markings, 1732529 edges, 387 markings/sec, 1555 secs
lola: 1 tries, 785745 fired transitions, 1560 secs || 657212 markings, 1739200 edges, 449 markings/sec, 1560 secs
lola: 1 tries, 788215 fired transitions, 1565 secs || 659319 markings, 1744941 edges, 421 markings/sec, 1565 secs
lola: 1 tries, 790735 fired transitions, 1570 secs || 661383 markings, 1751135 edges, 413 markings/sec, 1570 secs
lola: 1 tries, 793185 fired transitions, 1575 secs || 663516 markings, 1757066 edges, 427 markings/sec, 1575 secs
lola: 1 tries, 795676 fired transitions, 1580 secs || 665759 markings, 1763220 edges, 449 markings/sec, 1580 secs
lola: 1 tries, 798372 fired transitions, 1585 secs || 668175 markings, 1769916 edges, 483 markings/sec, 1585 secs
lola: 1 tries, 800975 fired transitions, 1590 secs || 670597 markings, 1776135 edges, 484 markings/sec, 1590 secs
lola: 1 tries, 803445 fired transitions, 1595 secs || 672635 markings, 1782345 edges, 408 markings/sec, 1595 secs
lola: 1 tries, 806025 fired transitions, 1600 secs || 674801 markings, 1788869 edges, 433 markings/sec, 1600 secs
lola: 1 tries, 808582 fired transitions, 1605 secs || 677006 markings, 1795045 edges, 441 markings/sec, 1605 secs
lola: 1 tries, 811210 fired transitions, 1610 secs || 679461 markings, 1800929 edges, 491 markings/sec, 1610 secs
lola: 1 tries, 813703 fired transitions, 1615 secs || 681712 markings, 1806654 edges, 450 markings/sec, 1615 secs
lola: 1 tries, 816155 fired transitions, 1620 secs || 683776 markings, 1813094 edges, 413 markings/sec, 1620 secs
lola: 1 tries, 818673 fired transitions, 1625 secs || 686072 markings, 1819369 edges, 459 markings/sec, 1625 secs
lola: 1 tries, 821230 fired transitions, 1630 secs || 688365 markings, 1825834 edges, 459 markings/sec, 1630 secs
lola: 1 tries, 823720 fired transitions, 1635 secs || 690519 markings, 1832300 edges, 431 markings/sec, 1635 secs
lola: 1 tries, 826345 fired transitions, 1640 secs || 692927 markings, 1838766 edges, 482 markings/sec, 1640 secs
lola: 1 tries, 828865 fired transitions, 1645 secs || 695179 markings, 1845024 edges, 450 markings/sec, 1645 secs
lola: 1 tries, 831350 fired transitions, 1650 secs || 697415 markings, 1851090 edges, 447 markings/sec, 1650 secs
lola: 1 tries, 833797 fired transitions, 1655 secs || 699543 markings, 1857090 edges, 426 markings/sec, 1655 secs
lola: 1 tries, 836302 fired transitions, 1660 secs || 701775 markings, 1862968 edges, 446 markings/sec, 1660 secs
lola: 1 tries, 838965 fired transitions, 1665 secs || 703886 markings, 1869940 edges, 422 markings/sec, 1665 secs
lola: 1 tries, 841538 fired transitions, 1670 secs || 706122 markings, 1876003 edges, 447 markings/sec, 1670 secs
lola: 1 tries, 844048 fired transitions, 1675 secs || 708397 markings, 1882125 edges, 455 markings/sec, 1675 secs
lola: 1 tries, 846685 fired transitions, 1680 secs || 710767 markings, 1889017 edges, 474 markings/sec, 1680 secs
lola: 1 tries, 849280 fired transitions, 1685 secs || 713092 markings, 1895473 edges, 465 markings/sec, 1685 secs
lola: 1 tries, 851822 fired transitions, 1690 secs || 715308 markings, 1902286 edges, 443 markings/sec, 1690 secs
lola: 1 tries, 854383 fired transitions, 1695 secs || 717378 markings, 1908663 edges, 414 markings/sec, 1695 secs
lola: 1 tries, 856910 fired transitions, 1700 secs || 719664 markings, 1914435 edges, 457 markings/sec, 1700 secs
lola: 1 tries, 859405 fired transitions, 1705 secs || 721724 markings, 1920511 edges, 412 markings/sec, 1705 secs
lola: 1 tries, 862020 fired transitions, 1710 secs || 723927 markings, 1926615 edges, 441 markings/sec, 1710 secs
lola: 1 tries, 864657 fired transitions, 1715 secs || 726280 markings, 1933327 edges, 471 markings/sec, 1715 secs
lola: 1 tries, 867135 fired transitions, 1720 secs || 728458 markings, 1939582 edges, 436 markings/sec, 1720 secs
lola: 1 tries, 869765 fired transitions, 1725 secs || 730891 markings, 1945776 edges, 487 markings/sec, 1725 secs
lola: 1 tries, 872445 fired transitions, 1730 secs || 733199 markings, 1952082 edges, 462 markings/sec, 1730 secs
lola: 1 tries, 875040 fired transitions, 1735 secs || 735454 markings, 1958387 edges, 451 markings/sec, 1735 secs
lola: 1 tries, 877560 fired transitions, 1740 secs || 737610 markings, 1964325 edges, 431 markings/sec, 1740 secs
lola: 1 tries, 880033 fired transitions, 1745 secs || 739667 markings, 1969462 edges, 411 markings/sec, 1745 secs
lola: 1 tries, 882405 fired transitions, 1750 secs || 741615 markings, 1974009 edges, 390 markings/sec, 1750 secs
lola: 1 tries, 884898 fired transitions, 1755 secs || 743667 markings, 1978611 edges, 410 markings/sec, 1755 secs
lola: 1 tries, 887383 fired transitions, 1760 secs || 745782 markings, 1983632 edges, 423 markings/sec, 1760 secs
lola: 1 tries, 889812 fired transitions, 1765 secs || 747693 markings, 1988850 edges, 382 markings/sec, 1765 secs
lola: 1 tries, 892202 fired transitions, 1770 secs || 749614 markings, 1993839 edges, 384 markings/sec, 1770 secs
lola: 1 tries, 894717 fired transitions, 1775 secs || 751819 markings, 1998768 edges, 441 markings/sec, 1775 secs
lola: 1 tries, 897217 fired transitions, 1780 secs || 753941 markings, 2003856 edges, 424 markings/sec, 1780 secs
lola: 1 tries, 899618 fired transitions, 1785 secs || 755976 markings, 2008823 edges, 407 markings/sec, 1785 secs
lola: 1 tries, 901928 fired transitions, 1790 secs || 757892 markings, 2013801 edges, 383 markings/sec, 1790 secs
lola: 1 tries, 904198 fired transitions, 1795 secs || 759756 markings, 2018948 edges, 373 markings/sec, 1795 secs
lola: 1 tries, 906445 fired transitions, 1800 secs || 761584 markings, 2023618 edges, 366 markings/sec, 1800 secs
lola: 1 tries, 908690 fired transitions, 1805 secs || 763420 markings, 2028563 edges, 367 markings/sec, 1805 secs
lola: 1 tries, 911147 fired transitions, 1810 secs || 765707 markings, 2034240 edges, 457 markings/sec, 1810 secs
lola: 1 tries, 913640 fired transitions, 1815 secs || 767880 markings, 2040135 edges, 435 markings/sec, 1815 secs
lola: 1 tries, 915928 fired transitions, 1820 secs || 769675 markings, 2045178 edges, 359 markings/sec, 1820 secs
lola: 1 tries, 918202 fired transitions, 1825 secs || 771516 markings, 2050011 edges, 368 markings/sec, 1825 secs
lola: 1 tries, 920603 fired transitions, 1830 secs || 773461 markings, 2055442 edges, 389 markings/sec, 1830 secs
lola: 1 tries, 922958 fired transitions, 1835 secs || 775375 markings, 2060466 edges, 383 markings/sec, 1835 secs
lola: 1 tries, 925380 fired transitions, 1840 secs || 777346 markings, 2066313 edges, 394 markings/sec, 1840 secs
lola: 1 tries, 927890 fired transitions, 1845 secs || 779527 markings, 2072603 edges, 436 markings/sec, 1845 secs
lola: 1 tries, 930418 fired transitions, 1850 secs || 781727 markings, 2078716 edges, 440 markings/sec, 1850 secs
lola: 1 tries, 932955 fired transitions, 1855 secs || 783922 markings, 2084817 edges, 439 markings/sec, 1855 secs
lola: 1 tries, 935477 fired transitions, 1860 secs || 786023 markings, 2090843 edges, 420 markings/sec, 1860 secs
lola: 1 tries, 938082 fired transitions, 1865 secs || 788246 markings, 2097436 edges, 445 markings/sec, 1865 secs
lola: 1 tries, 940695 fired transitions, 1870 secs || 790364 markings, 2104059 edges, 424 markings/sec, 1870 secs
lola: 1 tries, 943232 fired transitions, 1875 secs || 792569 markings, 2110461 edges, 441 markings/sec, 1875 secs
lola: 1 tries, 945857 fired transitions, 1880 secs || 794810 markings, 2117110 edges, 448 markings/sec, 1880 secs
lola: 1 tries, 948583 fired transitions, 1885 secs || 796982 markings, 2124135 edges, 434 markings/sec, 1885 secs
lola: 1 tries, 951118 fired transitions, 1890 secs || 799159 markings, 2130673 edges, 435 markings/sec, 1890 secs
lola: 1 tries, 953585 fired transitions, 1895 secs || 801209 markings, 2137155 edges, 410 markings/sec, 1895 secs
lola: 1 tries, 956178 fired transitions, 1900 secs || 803294 markings, 2144269 edges, 417 markings/sec, 1900 secs
lola: 1 tries, 958705 fired transitions, 1905 secs || 805421 markings, 2150491 edges, 425 markings/sec, 1905 secs
lola: 1 tries, 961290 fired transitions, 1910 secs || 807647 markings, 2156600 edges, 445 markings/sec, 1910 secs
lola: 1 tries, 963892 fired transitions, 1915 secs || 810115 markings, 2162754 edges, 494 markings/sec, 1915 secs
lola: 1 tries, 966496 fired transitions, 1920 secs || 812439 markings, 2169089 edges, 465 markings/sec, 1920 secs
lola: 1 tries, 969098 fired transitions, 1925 secs || 814819 markings, 2174936 edges, 476 markings/sec, 1925 secs
lola: 1 tries, 971690 fired transitions, 1930 secs || 816968 markings, 2181704 edges, 430 markings/sec, 1930 secs
lola: 1 tries, 974137 fired transitions, 1935 secs || 819007 markings, 2187939 edges, 408 markings/sec, 1935 secs
lola: 1 tries, 976657 fired transitions, 1940 secs || 821183 markings, 2194322 edges, 435 markings/sec, 1940 secs
lola: 1 tries, 979182 fired transitions, 1945 secs || 823409 markings, 2200549 edges, 445 markings/sec, 1945 secs
lola: 1 tries, 981678 fired transitions, 1950 secs || 825501 markings, 2206809 edges, 418 markings/sec, 1950 secs
lola: 1 tries, 984127 fired transitions, 1955 secs || 827577 markings, 2212672 edges, 415 markings/sec, 1955 secs
lola: 1 tries, 986563 fired transitions, 1960 secs || 829745 markings, 2218650 edges, 434 markings/sec, 1960 secs
lola: 1 tries, 988988 fired transitions, 1965 secs || 831744 markings, 2225079 edges, 400 markings/sec, 1965 secs
lola: 1 tries, 991438 fired transitions, 1970 secs || 833905 markings, 2231297 edges, 432 markings/sec, 1970 secs
lola: 1 tries, 993947 fired transitions, 1975 secs || 836060 markings, 2237793 edges, 431 markings/sec, 1975 secs
lola: 1 tries, 996523 fired transitions, 1980 secs || 838154 markings, 2242977 edges, 419 markings/sec, 1980 secs
lola: 1 tries, 999070 fired transitions, 1985 secs || 840210 markings, 2248268 edges, 411 markings/sec, 1985 secs
lola: 2 tries, 1001608 fired transitions, 1990 secs || 842277 markings, 2253692 edges, 413 markings/sec, 1990 secs
lola: 2 tries, 1004148 fired transitions, 1995 secs || 844332 markings, 2259508 edges, 411 markings/sec, 1995 secs
lola: 2 tries, 1006573 fired transitions, 2000 secs || 846374 markings, 2264898 edges, 408 markings/sec, 2000 secs
lola: 2 tries, 1008791 fired transitions, 2005 secs || 848154 markings, 2269851 edges, 356 markings/sec, 2005 secs
lola: 2 tries, 1011496 fired transitions, 2010 secs || 850273 markings, 2276277 edges, 424 markings/sec, 2010 secs
lola: 2 tries, 1014055 fired transitions, 2015 secs || 852437 markings, 2282022 edges, 433 markings/sec, 2015 secs
lola: 2 tries, 1016835 fired transitions, 2020 secs || 854628 markings, 2288015 edges, 438 markings/sec, 2020 secs
lola: 2 tries, 1019698 fired transitions, 2025 secs || 856848 markings, 2294743 edges, 444 markings/sec, 2025 secs
lola: 2 tries, 1022575 fired transitions, 2030 secs || 859086 markings, 2301173 edges, 448 markings/sec, 2030 secs
lola: 2 tries, 1025421 fired transitions, 2035 secs || 861308 markings, 2307989 edges, 444 markings/sec, 2035 secs
lola: 2 tries, 1028196 fired transitions, 2040 secs || 863553 markings, 2314878 edges, 449 markings/sec, 2040 secs
lola: 2 tries, 1030688 fired transitions, 2045 secs || 865730 markings, 2321172 edges, 435 markings/sec, 2045 secs
lola: 2 tries, 1033268 fired transitions, 2050 secs || 867889 markings, 2327549 edges, 432 markings/sec, 2050 secs
lola: 2 tries, 1035856 fired transitions, 2055 secs || 870073 markings, 2333960 edges, 437 markings/sec, 2055 secs
lola: 2 tries, 1038493 fired transitions, 2060 secs || 872459 markings, 2340612 edges, 477 markings/sec, 2060 secs
lola: 2 tries, 1041018 fired transitions, 2065 secs || 874614 markings, 2347186 edges, 431 markings/sec, 2065 secs
lola: 2 tries, 1043551 fired transitions, 2070 secs || 876860 markings, 2353481 edges, 449 markings/sec, 2070 secs
lola: 2 tries, 1046020 fired transitions, 2075 secs || 878917 markings, 2359352 edges, 411 markings/sec, 2075 secs
lola: 2 tries, 1048518 fired transitions, 2080 secs || 880940 markings, 2366141 edges, 405 markings/sec, 2080 secs
lola: 2 tries, 1051103 fired transitions, 2085 secs || 883092 markings, 2372247 edges, 430 markings/sec, 2085 secs
lola: 2 tries, 1053706 fired transitions, 2090 secs || 885426 markings, 2378311 edges, 467 markings/sec, 2090 secs
lola: 2 tries, 1056245 fired transitions, 2095 secs || 887553 markings, 2384893 edges, 425 markings/sec, 2095 secs
lola: 2 tries, 1058735 fired transitions, 2100 secs || 889669 markings, 2390892 edges, 423 markings/sec, 2100 secs
lola: 2 tries, 1061248 fired transitions, 2105 secs || 891843 markings, 2396885 edges, 435 markings/sec, 2105 secs
lola: 2 tries, 1063710 fired transitions, 2110 secs || 893836 markings, 2402931 edges, 399 markings/sec, 2110 secs
lola: 2 tries, 1066155 fired transitions, 2115 secs || 895877 markings, 2409201 edges, 408 markings/sec, 2115 secs
lola: 2 tries, 1068596 fired transitions, 2120 secs || 897852 markings, 2415559 edges, 395 markings/sec, 2120 secs
lola: 2 tries, 1071078 fired transitions, 2125 secs || 900031 markings, 2421791 edges, 436 markings/sec, 2125 secs
lola: 2 tries, 1073650 fired transitions, 2130 secs || 902359 markings, 2428449 edges, 466 markings/sec, 2130 secs
lola: 2 tries, 1076120 fired transitions, 2135 secs || 904496 markings, 2434498 edges, 427 markings/sec, 2135 secs
lola: 2 tries, 1078736 fired transitions, 2140 secs || 906760 markings, 2441083 edges, 453 markings/sec, 2140 secs
lola: 2 tries, 1081201 fired transitions, 2145 secs || 909007 markings, 2447144 edges, 449 markings/sec, 2145 secs
lola: 2 tries, 1083766 fired transitions, 2150 secs || 911218 markings, 2453576 edges, 442 markings/sec, 2150 secs
lola: 2 tries, 1086326 fired transitions, 2155 secs || 913462 markings, 2460311 edges, 449 markings/sec, 2155 secs
lola: 2 tries, 1088868 fired transitions, 2160 secs || 915642 markings, 2467007 edges, 436 markings/sec, 2160 secs
lola: 2 tries, 1091290 fired transitions, 2165 secs || 917692 markings, 2472962 edges, 410 markings/sec, 2165 secs
lola: 2 tries, 1093781 fired transitions, 2170 secs || 919853 markings, 2479222 edges, 432 markings/sec, 2170 secs
lola: 2 tries, 1096298 fired transitions, 2175 secs || 922333 markings, 2485114 edges, 496 markings/sec, 2175 secs
lola: 2 tries, 1098893 fired transitions, 2180 secs || 924419 markings, 2491360 edges, 417 markings/sec, 2180 secs
lola: 2 tries, 1101496 fired transitions, 2185 secs || 926765 markings, 2497761 edges, 469 markings/sec, 2185 secs
lola: 2 tries, 1104041 fired transitions, 2190 secs || 928943 markings, 2503904 edges, 436 markings/sec, 2190 secs
lola: 2 tries, 1106635 fired transitions, 2195 secs || 931220 markings, 2510171 edges, 455 markings/sec, 2195 secs
lola: 2 tries, 1109198 fired transitions, 2200 secs || 933397 markings, 2516438 edges, 435 markings/sec, 2200 secs
lola: 2 tries, 1111808 fired transitions, 2205 secs || 935662 markings, 2522677 edges, 453 markings/sec, 2205 secs
lola: 2 tries, 1114390 fired transitions, 2210 secs || 938087 markings, 2528687 edges, 485 markings/sec, 2210 secs
lola: 2 tries, 1116940 fired transitions, 2215 secs || 940294 markings, 2534553 edges, 441 markings/sec, 2215 secs
lola: 2 tries, 1119465 fired transitions, 2220 secs || 942285 markings, 2539969 edges, 398 markings/sec, 2220 secs
lola: 2 tries, 1121900 fired transitions, 2225 secs || 944231 markings, 2545708 edges, 389 markings/sec, 2225 secs
lola: 2 tries, 1124301 fired transitions, 2230 secs || 946209 markings, 2550878 edges, 396 markings/sec, 2230 secs
lola: 2 tries, 1127001 fired transitions, 2235 secs || 948740 markings, 2555794 edges, 506 markings/sec, 2235 secs
lola: 2 tries, 1129660 fired transitions, 2240 secs || 951325 markings, 2561235 edges, 517 markings/sec, 2240 secs
lola: 2 tries, 1132258 fired transitions, 2245 secs || 953579 markings, 2567172 edges, 451 markings/sec, 2245 secs
lola: 2 tries, 1134868 fired transitions, 2250 secs || 955687 markings, 2573461 edges, 422 markings/sec, 2250 secs
lola: 2 tries, 1137315 fired transitions, 2255 secs || 957649 markings, 2579065 edges, 392 markings/sec, 2255 secs
lola: 2 tries, 1139535 fired transitions, 2260 secs || 959448 markings, 2583924 edges, 360 markings/sec, 2260 secs
lola: 2 tries, 1141875 fired transitions, 2265 secs || 961360 markings, 2589031 edges, 382 markings/sec, 2265 secs
lola: 2 tries, 1144483 fired transitions, 2270 secs || 963531 markings, 2595323 edges, 434 markings/sec, 2270 secs
lola: 2 tries, 1146963 fired transitions, 2275 secs || 965587 markings, 2601185 edges, 411 markings/sec, 2275 secs
lola: 2 tries, 1149356 fired transitions, 2280 secs || 967553 markings, 2606395 edges, 393 markings/sec, 2280 secs
lola: 2 tries, 1151875 fired transitions, 2285 secs || 969619 markings, 2612246 edges, 413 markings/sec, 2285 secs
lola: 2 tries, 1154398 fired transitions, 2290 secs || 971729 markings, 2617931 edges, 422 markings/sec, 2290 secs
lola: 2 tries, 1156868 fired transitions, 2295 secs || 973821 markings, 2623933 edges, 418 markings/sec, 2295 secs
lola: 2 tries, 1159416 fired transitions, 2300 secs || 975974 markings, 2630113 edges, 431 markings/sec, 2300 secs
lola: 2 tries, 1161973 fired transitions, 2305 secs || 978278 markings, 2636469 edges, 461 markings/sec, 2305 secs
lola: 2 tries, 1164480 fired transitions, 2310 secs || 980440 markings, 2642867 edges, 432 markings/sec, 2310 secs
lola: 2 tries, 1166976 fired transitions, 2315 secs || 982613 markings, 2649079 edges, 435 markings/sec, 2315 secs
lola: 2 tries, 1169420 fired transitions, 2320 secs || 984929 markings, 2654777 edges, 463 markings/sec, 2320 secs
lola: 2 tries, 1171980 fired transitions, 2325 secs || 987144 markings, 2660935 edges, 443 markings/sec, 2325 secs
lola: 2 tries, 1174443 fired transitions, 2330 secs || 989378 markings, 2666874 edges, 447 markings/sec, 2330 secs
lola: 2 tries, 1176950 fired transitions, 2335 secs || 991555 markings, 2673315 edges, 435 markings/sec, 2335 secs
lola: 2 tries, 1179386 fired transitions, 2340 secs || 993625 markings, 2679382 edges, 414 markings/sec, 2340 secs
lola: 2 tries, 1181803 fired transitions, 2345 secs || 995696 markings, 2685381 edges, 414 markings/sec, 2345 secs
lola: 2 tries, 1184280 fired transitions, 2350 secs || 997730 markings, 2692070 edges, 407 markings/sec, 2350 secs
lola: 2 tries, 1186803 fired transitions, 2355 secs || 999879 markings, 2698526 edges, 430 markings/sec, 2355 secs
lola: 2 tries, 1189371 fired transitions, 2360 secs || 1002114 markings, 2704365 edges, 447 markings/sec, 2360 secs
lola: 2 tries, 1191769 fired transitions, 2365 secs || 1004178 markings, 2710414 edges, 413 markings/sec, 2365 secs
lola: 2 tries, 1194383 fired transitions, 2370 secs || 1006384 markings, 2717193 edges, 441 markings/sec, 2370 secs
lola: 2 tries, 1196891 fired transitions, 2375 secs || 1008499 markings, 2723758 edges, 423 markings/sec, 2375 secs
lola: 2 tries, 1199311 fired transitions, 2380 secs || 1010606 markings, 2729879 edges, 421 markings/sec, 2380 secs
lola: 2 tries, 1201651 fired transitions, 2385 secs || 1012553 markings, 2736118 edges, 389 markings/sec, 2385 secs
lola: 2 tries, 1204096 fired transitions, 2390 secs || 1014802 markings, 2741947 edges, 450 markings/sec, 2390 secs
lola: 2 tries, 1206555 fired transitions, 2395 secs || 1016884 markings, 2748120 edges, 416 markings/sec, 2395 secs
lola: 2 tries, 1208988 fired transitions, 2400 secs || 1019128 markings, 2754340 edges, 449 markings/sec, 2400 secs
lola: 2 tries, 1211400 fired transitions, 2405 secs || 1021135 markings, 2760379 edges, 401 markings/sec, 2405 secs
lola: 2 tries, 1213845 fired transitions, 2410 secs || 1023233 markings, 2765870 edges, 420 markings/sec, 2410 secs
lola: 2 tries, 1216295 fired transitions, 2415 secs || 1025402 markings, 2771849 edges, 434 markings/sec, 2415 secs
lola: 2 tries, 1218823 fired transitions, 2420 secs || 1027466 markings, 2778187 edges, 413 markings/sec, 2420 secs
lola: 2 tries, 1221391 fired transitions, 2425 secs || 1029770 markings, 2784787 edges, 461 markings/sec, 2425 secs
lola: 2 tries, 1223928 fired transitions, 2430 secs || 1031878 markings, 2791514 edges, 422 markings/sec, 2430 secs
lola: 2 tries, 1226453 fired transitions, 2435 secs || 1034163 markings, 2797712 edges, 457 markings/sec, 2435 secs
lola: 2 tries, 1229003 fired transitions, 2440 secs || 1036479 markings, 2802967 edges, 463 markings/sec, 2440 secs
lola: 2 tries, 1231446 fired transitions, 2445 secs || 1038492 markings, 2808676 edges, 403 markings/sec, 2445 secs
lola: 2 tries, 1233788 fired transitions, 2450 secs || 1040383 markings, 2813953 edges, 378 markings/sec, 2450 secs
lola: 2 tries, 1236141 fired transitions, 2455 secs || 1042406 markings, 2818861 edges, 405 markings/sec, 2455 secs
lola: 2 tries, 1238495 fired transitions, 2460 secs || 1044332 markings, 2824178 edges, 385 markings/sec, 2460 secs
lola: 2 tries, 1240860 fired transitions, 2465 secs || 1046282 markings, 2829565 edges, 390 markings/sec, 2465 secs
lola: 2 tries, 1243260 fired transitions, 2470 secs || 1048287 markings, 2835296 edges, 401 markings/sec, 2470 secs
lola: 2 tries, 1245633 fired transitions, 2475 secs || 1050263 markings, 2840797 edges, 395 markings/sec, 2475 secs
lola: 2 tries, 1248065 fired transitions, 2480 secs || 1052198 markings, 2846483 edges, 387 markings/sec, 2480 secs
lola: 2 tries, 1250478 fired transitions, 2485 secs || 1054202 markings, 2852126 edges, 401 markings/sec, 2485 secs
lola: 2 tries, 1252888 fired transitions, 2490 secs || 1056070 markings, 2858062 edges, 374 markings/sec, 2490 secs
lola: 2 tries, 1255183 fired transitions, 2495 secs || 1057910 markings, 2863287 edges, 368 markings/sec, 2495 secs
lola: 2 tries, 1257560 fired transitions, 2500 secs || 1059973 markings, 2868077 edges, 413 markings/sec, 2500 secs
lola: 2 tries, 1259960 fired transitions, 2505 secs || 1062049 markings, 2872987 edges, 415 markings/sec, 2505 secs
lola: 2 tries, 1262363 fired transitions, 2510 secs || 1063998 markings, 2878618 edges, 390 markings/sec, 2510 secs
lola: 2 tries, 1264916 fired transitions, 2515 secs || 1066229 markings, 2884810 edges, 446 markings/sec, 2515 secs
lola: 2 tries, 1267470 fired transitions, 2520 secs || 1068481 markings, 2891034 edges, 450 markings/sec, 2520 secs
lola: 2 tries, 1270026 fired transitions, 2525 secs || 1070752 markings, 2897113 edges, 454 markings/sec, 2525 secs
lola: 2 tries, 1272600 fired transitions, 2530 secs || 1072992 markings, 2903739 edges, 448 markings/sec, 2530 secs
lola: 2 tries, 1275155 fired transitions, 2535 secs || 1075264 markings, 2910069 edges, 454 markings/sec, 2535 secs
lola: 2 tries, 1277761 fired transitions, 2540 secs || 1077680 markings, 2916194 edges, 483 markings/sec, 2540 secs
lola: 2 tries, 1280346 fired transitions, 2545 secs || 1080015 markings, 2923006 edges, 467 markings/sec, 2545 secs
lola: 2 tries, 1282936 fired transitions, 2550 secs || 1082389 markings, 2929309 edges, 475 markings/sec, 2550 secs
lola: 2 tries, 1285429 fired transitions, 2555 secs || 1084644 markings, 2935697 edges, 451 markings/sec, 2555 secs
lola: 2 tries, 1287843 fired transitions, 2560 secs || 1086659 markings, 2941690 edges, 403 markings/sec, 2560 secs
lola: 2 tries, 1290351 fired transitions, 2565 secs || 1088769 markings, 2948391 edges, 422 markings/sec, 2565 secs
lola: 2 tries, 1292996 fired transitions, 2570 secs || 1091008 markings, 2955527 edges, 448 markings/sec, 2570 secs
lola: 2 tries, 1295578 fired transitions, 2575 secs || 1093203 markings, 2961915 edges, 439 markings/sec, 2575 secs
lola: 2 tries, 1298215 fired transitions, 2580 secs || 1095486 markings, 2968766 edges, 457 markings/sec, 2580 secs
lola: 2 tries, 1300798 fired transitions, 2585 secs || 1097635 markings, 2975804 edges, 430 markings/sec, 2585 secs
lola: 2 tries, 1303236 fired transitions, 2590 secs || 1099805 markings, 2981705 edges, 434 markings/sec, 2590 secs
lola: 2 tries, 1305838 fired transitions, 2595 secs || 1102232 markings, 2988116 edges, 485 markings/sec, 2595 secs
lola: 2 tries, 1308413 fired transitions, 2600 secs || 1104480 markings, 2994237 edges, 450 markings/sec, 2600 secs
lola: 2 tries, 1311038 fired transitions, 2605 secs || 1106863 markings, 2999480 edges, 477 markings/sec, 2605 secs
lola: 2 tries, 1313668 fired transitions, 2610 secs || 1109295 markings, 3005144 edges, 486 markings/sec, 2610 secs
lola: 2 tries, 1316275 fired transitions, 2615 secs || 1111793 markings, 3011280 edges, 500 markings/sec, 2615 secs
lola: 2 tries, 1318925 fired transitions, 2620 secs || 1114078 markings, 3017518 edges, 457 markings/sec, 2620 secs
lola: 2 tries, 1321400 fired transitions, 2625 secs || 1116094 markings, 3023729 edges, 403 markings/sec, 2625 secs
lola: 2 tries, 1323935 fired transitions, 2630 secs || 1118176 markings, 3030258 edges, 416 markings/sec, 2630 secs
lola: 2 tries, 1326490 fired transitions, 2635 secs || 1120538 markings, 3036833 edges, 472 markings/sec, 2635 secs
lola: 2 tries, 1329058 fired transitions, 2640 secs || 1122676 markings, 3043806 edges, 428 markings/sec, 2640 secs
lola: 2 tries, 1331688 fired transitions, 2645 secs || 1125181 markings, 3050040 edges, 501 markings/sec, 2645 secs
lola: 2 tries, 1334223 fired transitions, 2650 secs || 1127272 markings, 3056801 edges, 418 markings/sec, 2650 secs
lola: 2 tries, 1336803 fired transitions, 2655 secs || 1129588 markings, 3063041 edges, 463 markings/sec, 2655 secs
lola: 2 tries, 1339381 fired transitions, 2660 secs || 1131911 markings, 3069957 edges, 465 markings/sec, 2660 secs
lola: 2 tries, 1342010 fired transitions, 2665 secs || 1134206 markings, 3076799 edges, 459 markings/sec, 2665 secs
lola: 2 tries, 1344603 fired transitions, 2670 secs || 1136520 markings, 3083562 edges, 463 markings/sec, 2670 secs
lola: 2 tries, 1347120 fired transitions, 2675 secs || 1138648 markings, 3090070 edges, 426 markings/sec, 2675 secs
lola: 2 tries, 1349698 fired transitions, 2680 secs || 1140992 markings, 3096293 edges, 469 markings/sec, 2680 secs
lola: 2 tries, 1352228 fired transitions, 2685 secs || 1143344 markings, 3102246 edges, 470 markings/sec, 2685 secs
lola: 2 tries, 1354751 fired transitions, 2690 secs || 1145694 markings, 3108142 edges, 470 markings/sec, 2690 secs
lola: 2 tries, 1357341 fired transitions, 2695 secs || 1147938 markings, 3114592 edges, 449 markings/sec, 2695 secs
lola: 2 tries, 1359868 fired transitions, 2700 secs || 1150111 markings, 3121034 edges, 435 markings/sec, 2700 secs
lola: 2 tries, 1362273 fired transitions, 2705 secs || 1152081 markings, 3126259 edges, 394 markings/sec, 2705 secs
lola: 2 tries, 1364665 fired transitions, 2710 secs || 1154066 markings, 3131684 edges, 397 markings/sec, 2710 secs
lola: 2 tries, 1367065 fired transitions, 2715 secs || 1155990 markings, 3137077 edges, 385 markings/sec, 2715 secs
lola: 2 tries, 1369451 fired transitions, 2720 secs || 1157962 markings, 3142192 edges, 394 markings/sec, 2720 secs
lola: 2 tries, 1371891 fired transitions, 2725 secs || 1159916 markings, 3147878 edges, 391 markings/sec, 2725 secs
lola: 2 tries, 1374313 fired transitions, 2730 secs || 1161822 markings, 3153494 edges, 381 markings/sec, 2730 secs
lola: 2 tries, 1376718 fired transitions, 2735 secs || 1163767 markings, 3159148 edges, 389 markings/sec, 2735 secs
lola: 2 tries, 1379113 fired transitions, 2740 secs || 1165826 markings, 3164732 edges, 412 markings/sec, 2740 secs
lola: 2 tries, 1381656 fired transitions, 2745 secs || 1168066 markings, 3171193 edges, 448 markings/sec, 2745 secs
lola: 2 tries, 1384295 fired transitions, 2750 secs || 1170504 markings, 3177663 edges, 488 markings/sec, 2750 secs
lola: 2 tries, 1386831 fired transitions, 2755 secs || 1172658 markings, 3183981 edges, 431 markings/sec, 2755 secs
lola: 2 tries, 1389320 fired transitions, 2760 secs || 1174713 markings, 3190656 edges, 411 markings/sec, 2760 secs
lola: 2 tries, 1391800 fired transitions, 2765 secs || 1176768 markings, 3196178 edges, 411 markings/sec, 2765 secs
lola: 2 tries, 1394253 fired transitions, 2770 secs || 1178789 markings, 3201443 edges, 404 markings/sec, 2770 secs
lola: 2 tries, 1396886 fired transitions, 2775 secs || 1180978 markings, 3207253 edges, 438 markings/sec, 2775 secs
lola: 2 tries, 1399515 fired transitions, 2780 secs || 1183090 markings, 3212884 edges, 422 markings/sec, 2780 secs
lola: 2 tries, 1402131 fired transitions, 2785 secs || 1185317 markings, 3218746 edges, 445 markings/sec, 2785 secs
lola: 2 tries, 1404758 fired transitions, 2790 secs || 1187480 markings, 3225705 edges, 433 markings/sec, 2790 secs
lola: 2 tries, 1407311 fired transitions, 2795 secs || 1189800 markings, 3231741 edges, 464 markings/sec, 2795 secs
lola: 2 tries, 1409866 fired transitions, 2800 secs || 1192138 markings, 3238043 edges, 468 markings/sec, 2800 secs
lola: 2 tries, 1412410 fired transitions, 2805 secs || 1194442 markings, 3244299 edges, 461 markings/sec, 2805 secs
lola: 2 tries, 1415051 fired transitions, 2810 secs || 1196847 markings, 3251114 edges, 481 markings/sec, 2810 secs
lola: 2 tries, 1417510 fired transitions, 2815 secs || 1199138 markings, 3257291 edges, 458 markings/sec, 2815 secs
lola: 2 tries, 1419886 fired transitions, 2820 secs || 1201222 markings, 3262971 edges, 417 markings/sec, 2820 secs
lola: 2 tries, 1422251 fired transitions, 2825 secs || 1203302 markings, 3269159 edges, 416 markings/sec, 2825 secs
lola: 2 tries, 1424686 fired transitions, 2830 secs || 1205355 markings, 3275601 edges, 411 markings/sec, 2830 secs
lola: 2 tries, 1427150 fired transitions, 2835 secs || 1207592 markings, 3281722 edges, 447 markings/sec, 2835 secs
lola: 2 tries, 1429820 fired transitions, 2840 secs || 1210088 markings, 3287924 edges, 499 markings/sec, 2840 secs
lola: 2 tries, 1432343 fired transitions, 2845 secs || 1212203 markings, 3293793 edges, 423 markings/sec, 2845 secs
lola: 2 tries, 1434958 fired transitions, 2850 secs || 1214377 markings, 3300471 edges, 435 markings/sec, 2850 secs
lola: 2 tries, 1437548 fired transitions, 2855 secs || 1216518 markings, 3307309 edges, 428 markings/sec, 2855 secs
lola: 2 tries, 1440121 fired transitions, 2860 secs || 1218648 markings, 3313689 edges, 426 markings/sec, 2860 secs
lola: 2 tries, 1442705 fired transitions, 2865 secs || 1220908 markings, 3320145 edges, 452 markings/sec, 2865 secs
lola: 2 tries, 1445283 fired transitions, 2870 secs || 1223140 markings, 3326400 edges, 446 markings/sec, 2870 secs
lola: 2 tries, 1447858 fired transitions, 2875 secs || 1225406 markings, 3332672 edges, 453 markings/sec, 2875 secs
lola: 2 tries, 1450498 fired transitions, 2880 secs || 1227721 markings, 3339267 edges, 463 markings/sec, 2880 secs
lola: 2 tries, 1453103 fired transitions, 2885 secs || 1229986 markings, 3345703 edges, 453 markings/sec, 2885 secs
lola: 2 tries, 1455606 fired transitions, 2890 secs || 1232165 markings, 3351946 edges, 436 markings/sec, 2890 secs
lola: 2 tries, 1458116 fired transitions, 2895 secs || 1234439 markings, 3357294 edges, 455 markings/sec, 2895 secs
lola: 2 tries, 1460723 fired transitions, 2900 secs || 1236766 markings, 3362808 edges, 465 markings/sec, 2900 secs
lola: 2 tries, 1463311 fired transitions, 2905 secs || 1239114 markings, 3368485 edges, 470 markings/sec, 2905 secs
lola: 2 tries, 1465766 fired transitions, 2910 secs || 1241155 markings, 3374147 edges, 408 markings/sec, 2910 secs
lola: 2 tries, 1468260 fired transitions, 2915 secs || 1243183 markings, 3380008 edges, 406 markings/sec, 2915 secs
lola: 2 tries, 1470733 fired transitions, 2920 secs || 1245213 markings, 3385938 edges, 406 markings/sec, 2920 secs
lola: 2 tries, 1473175 fired transitions, 2925 secs || 1247181 markings, 3392061 edges, 394 markings/sec, 2925 secs
lola: 2 tries, 1475608 fired transitions, 2930 secs || 1249133 markings, 3397439 edges, 390 markings/sec, 2930 secs
lola: 2 tries, 1477976 fired transitions, 2935 secs || 1251039 markings, 3402916 edges, 381 markings/sec, 2935 secs
lola: 2 tries, 1480400 fired transitions, 2940 secs || 1252994 markings, 3408726 edges, 391 markings/sec, 2940 secs
lola: 2 tries, 1482825 fired transitions, 2945 secs || 1255032 markings, 3414095 edges, 408 markings/sec, 2945 secs
lola: 2 tries, 1485348 fired transitions, 2950 secs || 1257136 markings, 3420274 edges, 421 markings/sec, 2950 secs
lola: 2 tries, 1487940 fired transitions, 2955 secs || 1259329 markings, 3426581 edges, 439 markings/sec, 2955 secs
lola: 2 tries, 1490553 fired transitions, 2960 secs || 1261639 markings, 3433534 edges, 462 markings/sec, 2960 secs
lola: 2 tries, 1493125 fired transitions, 2965 secs || 1264078 markings, 3439929 edges, 488 markings/sec, 2965 secs
lola: 2 tries, 1495793 fired transitions, 2970 secs || 1266438 markings, 3446074 edges, 472 markings/sec, 2970 secs
lola: 2 tries, 1498386 fired transitions, 2975 secs || 1268592 markings, 3452813 edges, 431 markings/sec, 2975 secs
lola: 2 tries, 1500928 fired transitions, 2980 secs || 1270767 markings, 3459416 edges, 435 markings/sec, 2980 secs
lola: 2 tries, 1503503 fired transitions, 2985 secs || 1273114 markings, 3465512 edges, 469 markings/sec, 2985 secs
lola: 2 tries, 1506058 fired transitions, 2990 secs || 1275222 markings, 3472684 edges, 422 markings/sec, 2990 secs
lola: 2 tries, 1508633 fired transitions, 2995 secs || 1277395 markings, 3479162 edges, 435 markings/sec, 2995 secs
lola: 2 tries, 1511183 fired transitions, 3000 secs || 1279270 markings, 3485587 edges, 375 markings/sec, 3000 secs
lola: 2 tries, 1513601 fired transitions, 3005 secs || 1281185 markings, 3490852 edges, 383 markings/sec, 3005 secs
lola: 2 tries, 1516046 fired transitions, 3010 secs || 1283132 markings, 3496737 edges, 389 markings/sec, 3010 secs
lola: 2 tries, 1518431 fired transitions, 3015 secs || 1285012 markings, 3502172 edges, 376 markings/sec, 3015 secs
lola: 2 tries, 1520860 fired transitions, 3020 secs || 1286921 markings, 3508025 edges, 382 markings/sec, 3020 secs
lola: 2 tries, 1523305 fired transitions, 3025 secs || 1288843 markings, 3514149 edges, 384 markings/sec, 3025 secs
lola: 2 tries, 1525778 fired transitions, 3030 secs || 1290820 markings, 3519845 edges, 395 markings/sec, 3030 secs
lola: 2 tries, 1528258 fired transitions, 3035 secs || 1292827 markings, 3525701 edges, 401 markings/sec, 3035 secs
lola: 2 tries, 1530766 fired transitions, 3040 secs || 1294973 markings, 3531906 edges, 429 markings/sec, 3040 secs
lola: 2 tries, 1533378 fired transitions, 3045 secs || 1297291 markings, 3538370 edges, 464 markings/sec, 3045 secs
lola: 2 tries, 1535973 fired transitions, 3050 secs || 1299594 markings, 3544865 edges, 461 markings/sec, 3050 secs
lola: 2 tries, 1538541 fired transitions, 3055 secs || 1301763 markings, 3551248 edges, 434 markings/sec, 3055 secs
lola: 2 tries, 1541121 fired transitions, 3060 secs || 1303973 markings, 3557537 edges, 442 markings/sec, 3060 secs
lola: 2 tries, 1543686 fired transitions, 3065 secs || 1306215 markings, 3564130 edges, 448 markings/sec, 3065 secs
lola: 2 tries, 1546238 fired transitions, 3070 secs || 1308418 markings, 3570563 edges, 441 markings/sec, 3070 secs
lola: 2 tries, 1548751 fired transitions, 3075 secs || 1310704 markings, 3576335 edges, 457 markings/sec, 3075 secs
lola: 2 tries, 1551286 fired transitions, 3080 secs || 1313021 markings, 3582433 edges, 463 markings/sec, 3080 secs
lola: 2 tries, 1553768 fired transitions, 3085 secs || 1315284 markings, 3588086 edges, 453 markings/sec, 3085 secs
lola: 2 tries, 1556181 fired transitions, 3090 secs || 1317353 markings, 3593412 edges, 414 markings/sec, 3090 secs
lola: 2 tries, 1558538 fired transitions, 3095 secs || 1319249 markings, 3599008 edges, 379 markings/sec, 3095 secs
lola: 2 tries, 1560871 fired transitions, 3100 secs || 1321230 markings, 3604451 edges, 396 markings/sec, 3100 secs
lola: 2 tries, 1563340 fired transitions, 3105 secs || 1323481 markings, 3610916 edges, 450 markings/sec, 3105 secs
lola: 2 tries, 1565738 fired transitions, 3110 secs || 1325603 markings, 3616986 edges, 424 markings/sec, 3110 secs
lola: 2 tries, 1568151 fired transitions, 3115 secs || 1327727 markings, 3622804 edges, 425 markings/sec, 3115 secs
lola: 2 tries, 1570755 fired transitions, 3120 secs || 1329943 markings, 3629671 edges, 443 markings/sec, 3120 secs
lola: 2 tries, 1573295 fired transitions, 3125 secs || 1332134 markings, 3636358 edges, 438 markings/sec, 3125 secs
lola: 2 tries, 1575836 fired transitions, 3130 secs || 1334447 markings, 3642838 edges, 463 markings/sec, 3130 secs
lola: 2 tries, 1578391 fired transitions, 3135 secs || 1336684 markings, 3649436 edges, 447 markings/sec, 3135 secs
lola: 2 tries, 1580973 fired transitions, 3140 secs || 1338900 markings, 3655674 edges, 443 markings/sec, 3140 secs
lola: 2 tries, 1583626 fired transitions, 3145 secs || 1341256 markings, 3662096 edges, 471 markings/sec, 3145 secs
lola: 2 tries, 1586245 fired transitions, 3150 secs || 1343488 markings, 3668905 edges, 446 markings/sec, 3150 secs
lola: 2 tries, 1588831 fired transitions, 3155 secs || 1345715 markings, 3675577 edges, 445 markings/sec, 3155 secs
lola: 2 tries, 1591441 fired transitions, 3160 secs || 1347889 markings, 3682436 edges, 435 markings/sec, 3160 secs
lola: 2 tries, 1594048 fired transitions, 3165 secs || 1350096 markings, 3688856 edges, 441 markings/sec, 3165 secs
lola: 2 tries, 1596655 fired transitions, 3170 secs || 1352429 markings, 3695418 edges, 467 markings/sec, 3170 secs
lola: 2 tries, 1599175 fired transitions, 3175 secs || 1354504 markings, 3702359 edges, 415 markings/sec, 3175 secs
lola: 2 tries, 1601560 fired transitions, 3180 secs || 1356691 markings, 3708303 edges, 437 markings/sec, 3180 secs
lola: 2 tries, 1604033 fired transitions, 3185 secs || 1358698 markings, 3715136 edges, 401 markings/sec, 3185 secs
lola: 2 tries, 1606495 fired transitions, 3190 secs || 1360880 markings, 3721564 edges, 436 markings/sec, 3190 secs
lola: 2 tries, 1608950 fired transitions, 3195 secs || 1363028 markings, 3727902 edges, 430 markings/sec, 3195 secs
lola: 2 tries, 1611368 fired transitions, 3200 secs || 1365191 markings, 3734167 edges, 433 markings/sec, 3200 secs
lola: 2 tries, 1613778 fired transitions, 3205 secs || 1367357 markings, 3740422 edges, 433 markings/sec, 3205 secs
lola: 2 tries, 1616171 fired transitions, 3210 secs || 1369403 markings, 3746832 edges, 409 markings/sec, 3210 secs
lola: 2 tries, 1618606 fired transitions, 3215 secs || 1371499 markings, 3753200 edges, 419 markings/sec, 3215 secs
lola: 2 tries, 1621231 fired transitions, 3220 secs || 1373800 markings, 3760053 edges, 460 markings/sec, 3220 secs
lola: 2 tries, 1623846 fired transitions, 3225 secs || 1375968 markings, 3766996 edges, 434 markings/sec, 3225 secs
lola: 2 tries, 1626390 fired transitions, 3230 secs || 1378071 markings, 3773754 edges, 421 markings/sec, 3230 secs
lola: 2 tries, 1628958 fired transitions, 3235 secs || 1380282 markings, 3780280 edges, 442 markings/sec, 3235 secs
lola: 2 tries, 1631486 fired transitions, 3240 secs || 1382574 markings, 3786651 edges, 458 markings/sec, 3240 secs
lola: 2 tries, 1634138 fired transitions, 3245 secs || 1384900 markings, 3793327 edges, 465 markings/sec, 3245 secs
lola: 2 tries, 1636744 fired transitions, 3250 secs || 1387334 markings, 3799454 edges, 487 markings/sec, 3250 secs
lola: 2 tries, 1639266 fired transitions, 3255 secs || 1389632 markings, 3805745 edges, 460 markings/sec, 3255 secs
lola: 2 tries, 1641843 fired transitions, 3260 secs || 1391605 markings, 3812698 edges, 395 markings/sec, 3260 secs
lola: 2 tries, 1644383 fired transitions, 3265 secs || 1393799 markings, 3819227 edges, 439 markings/sec, 3265 secs
lola: 2 tries, 1646973 fired transitions, 3270 secs || 1395909 markings, 3825838 edges, 422 markings/sec, 3270 secs
lola: 2 tries, 1649570 fired transitions, 3275 secs || 1398210 markings, 3832458 edges, 460 markings/sec, 3275 secs
lola: 2 tries, 1652106 fired transitions, 3280 secs || 1400198 markings, 3839580 edges, 398 markings/sec, 3280 secs
lola: 2 tries, 1654700 fired transitions, 3285 secs || 1402432 markings, 3846210 edges, 447 markings/sec, 3285 secs
lola: 2 tries, 1657278 fired transitions, 3290 secs || 1404491 markings, 3852823 edges, 412 markings/sec, 3290 secs
lola: 2 tries, 1659833 fired transitions, 3295 secs || 1406672 markings, 3859558 edges, 436 markings/sec, 3295 secs
lola: 2 tries, 1662536 fired transitions, 3300 secs || 1408947 markings, 3866719 edges, 455 markings/sec, 3300 secs
lola: 2 tries, 1665048 fired transitions, 3305 secs || 1411249 markings, 3872921 edges, 460 markings/sec, 3305 secs
lola: 2 tries, 1667663 fired transitions, 3310 secs || 1413346 markings, 3879592 edges, 419 markings/sec, 3310 secs
lola: 2 tries, 1670171 fired transitions, 3315 secs || 1415601 markings, 3885902 edges, 451 markings/sec, 3315 secs
lola: 2 tries, 1672776 fired transitions, 3320 secs || 1417844 markings, 3892203 edges, 449 markings/sec, 3320 secs
lola: 2 tries, 1675395 fired transitions, 3325 secs || 1419969 markings, 3899079 edges, 425 markings/sec, 3325 secs
lola: 2 tries, 1677943 fired transitions, 3330 secs || 1422034 markings, 3905927 edges, 413 markings/sec, 3330 secs
lola: 2 tries, 1680621 fired transitions, 3335 secs || 1424051 markings, 3913142 edges, 403 markings/sec, 3335 secs
lola: 2 tries, 1683148 fired transitions, 3340 secs || 1426125 markings, 3920013 edges, 415 markings/sec, 3340 secs
lola: 2 tries, 1685685 fired transitions, 3345 secs || 1428277 markings, 3926566 edges, 430 markings/sec, 3345 secs
lola: 2 tries, 1688238 fired transitions, 3350 secs || 1430350 markings, 3933496 edges, 415 markings/sec, 3350 secs
lola: 2 tries, 1690865 fired transitions, 3355 secs || 1432586 markings, 3939578 edges, 447 markings/sec, 3355 secs
lola: 2 tries, 1693426 fired transitions, 3360 secs || 1434558 markings, 3946439 edges, 394 markings/sec, 3360 secs
lola: 2 tries, 1696013 fired transitions, 3365 secs || 1436729 markings, 3953308 edges, 434 markings/sec, 3365 secs
lola: 2 tries, 1698531 fired transitions, 3370 secs || 1438700 markings, 3959647 edges, 394 markings/sec, 3370 secs
lola: 2 tries, 1701123 fired transitions, 3375 secs || 1440887 markings, 3966484 edges, 437 markings/sec, 3375 secs
lola: 2 tries, 1703753 fired transitions, 3380 secs || 1443070 markings, 3973422 edges, 437 markings/sec, 3380 secs
lola: 2 tries, 1706405 fired transitions, 3385 secs || 1445194 markings, 3979723 edges, 425 markings/sec, 3385 secs
lola: 2 tries, 1708946 fired transitions, 3390 secs || 1447507 markings, 3986132 edges, 463 markings/sec, 3390 secs
lola: 2 tries, 1711315 fired transitions, 3395 secs || 1449437 markings, 3991858 edges, 386 markings/sec, 3395 secs
lola: 2 tries, 1713620 fired transitions, 3400 secs || 1451293 markings, 3997043 edges, 371 markings/sec, 3400 secs
lola: 2 tries, 1716025 fired transitions, 3405 secs || 1453327 markings, 4002760 edges, 407 markings/sec, 3405 secs
lola: 2 tries, 1718423 fired transitions, 3410 secs || 1455344 markings, 4008263 edges, 403 markings/sec, 3410 secs
lola: 2 tries, 1720838 fired transitions, 3415 secs || 1457306 markings, 4014163 edges, 392 markings/sec, 3415 secs
lola: 2 tries, 1723231 fired transitions, 3420 secs || 1459295 markings, 4019916 edges, 398 markings/sec, 3420 secs
lola: 2 tries, 1725588 fired transitions, 3425 secs || 1461270 markings, 4025263 edges, 395 markings/sec, 3425 secs
lola: 2 tries, 1728115 fired transitions, 3430 secs || 1463379 markings, 4031033 edges, 422 markings/sec, 3430 secs
lola: 2 tries, 1730660 fired transitions, 3435 secs || 1465684 markings, 4037633 edges, 461 markings/sec, 3435 secs
lola: 2 tries, 1733225 fired transitions, 3440 secs || 1467997 markings, 4043968 edges, 463 markings/sec, 3440 secs
lola: 2 tries, 1735878 fired transitions, 3445 secs || 1470436 markings, 4050585 edges, 488 markings/sec, 3445 secs
lola: 2 tries, 1738371 fired transitions, 3450 secs || 1472534 markings, 4056503 edges, 420 markings/sec, 3450 secs
lola: 2 tries, 1740823 fired transitions, 3455 secs || 1474500 markings, 4062068 edges, 393 markings/sec, 3455 secs
lola: 2 tries, 1743265 fired transitions, 3460 secs || 1476532 markings, 4067806 edges, 406 markings/sec, 3460 secs
lola: 2 tries, 1745735 fired transitions, 3465 secs || 1478476 markings, 4074075 edges, 389 markings/sec, 3465 secs
lola: 2 tries, 1748185 fired transitions, 3470 secs || 1480445 markings, 4080001 edges, 394 markings/sec, 3470 secs
lola: 2 tries, 1750550 fired transitions, 3475 secs || 1482348 markings, 4085997 edges, 381 markings/sec, 3475 secs
lola: 2 tries, 1752981 fired transitions, 3480 secs || 1484316 markings, 4091941 edges, 394 markings/sec, 3480 secs
lola: 2 tries, 1755410 fired transitions, 3485 secs || 1486350 markings, 4097748 edges, 407 markings/sec, 3485 secs
lola: 2 tries, 1758033 fired transitions, 3490 secs || 1488765 markings, 4103241 edges, 483 markings/sec, 3490 secs
lola: 2 tries, 1760498 fired transitions, 3495 secs || 1490777 markings, 4109357 edges, 402 markings/sec, 3495 secs
lola: 2 tries, 1762968 fired transitions, 3500 secs || 1492710 markings, 4115298 edges, 387 markings/sec, 3500 secs
lola: 2 tries, 1765403 fired transitions, 3505 secs || 1494645 markings, 4121296 edges, 387 markings/sec, 3505 secs
lola: 2 tries, 1767945 fired transitions, 3510 secs || 1497019 markings, 4127458 edges, 475 markings/sec, 3510 secs
lola: 2 tries, 1770536 fired transitions, 3515 secs || 1499326 markings, 4133896 edges, 461 markings/sec, 3515 secs
lola: 2 tries, 1773214 fired transitions, 3520 secs || 1501708 markings, 4140646 edges, 476 markings/sec, 3520 secs
lola: 2 tries, 1775843 fired transitions, 3525 secs || 1503936 markings, 4147325 edges, 446 markings/sec, 3525 secs
lola: 2 tries, 1778430 fired transitions, 3530 secs || 1506108 markings, 4154280 edges, 434 markings/sec, 3530 secs
lola: 2 tries, 1780988 fired transitions, 3535 secs || 1508299 markings, 4161188 edges, 438 markings/sec, 3535 secs
lola: 2 tries, 1783496 fired transitions, 3540 secs || 1510641 markings, 4167551 edges, 468 markings/sec, 3540 secs
lola: 2 tries, 1786138 fired transitions, 3545 secs || 1513058 markings, 4173862 edges, 483 markings/sec, 3545 secs
lola: 2 tries, 1788704 fired transitions, 3550 secs || 1515406 markings, 4180290 edges, 470 markings/sec, 3550 secs
lola: 2 tries, 1791268 fired transitions, 3555 secs || 1517665 markings, 4186831 edges, 452 markings/sec, 3555 secs
lola: time limit reached - aborting
lola: memory consumption: 682476 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552958708542

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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="Railroad-PT-100"
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-3957"
echo " Executing tool lola"
echo " Input is Railroad-PT-100, 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 r137-smll-155284909400120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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