MCC'2019 - Execution of r104-oct2-155272225400102

About the Execution of LoLA for NeighborGrid-PT-d4n3m2c23

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6760.480	3594479.00	7255612.00	115.00	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r104-oct2-155272225400102.qcow2', fmt=qcow2 size=4294967296 backing_file=/data
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is NeighborGrid-PT-d4n3m2c23, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272225400102
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 628K
-rw-r--r-- 1 mcc users 3.4K Feb 12 02:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 12 02:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 8 01:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 01:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 112 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 350 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 00:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K Feb 5 00:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 4 06:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 4 06:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 1 00:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 1 00:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rwxr-xr-x 1 mcc users 469K 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 NeighborGrid-PT-d4n3m2c23-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552773076937

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NeighborGrid-PT-d4n3m2c23 @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ NeighborGrid-PT-d4n3m2c23

{
"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": "Sat Mar 16 21:51:16 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 6670112,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"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": 3264,
"conflict_clusters": 81,
"places": 81,
"places_significant": 80,
"singleton_clusters": 0,
"transitions": 1632
},
"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": 384.000000,
"composed": 23,
"dead_branches": 0,
"generators": 28,
"interrupted": false,
"real_computed": 5,
"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: 1713/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2592
lola: finding significant places
lola: 81 places, 1632 transitions, 80 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=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 28 generators (5 in search tree, 23 by composition)
lola: representing 384 symmetries
lola: 0 dead branches visited in search tree
lola: 5 tries, 4357346 fired transitions, 0 secs || 232956 markings, 4789219 edges,
lola: 9 tries, 8734205 fired transitions, 5 secs || 463194 markings, 9526258 edges,
lola: 14 tries, 13110280 fired transitions, 10 secs || 690488 markings, 14177985 edges,
lola: 18 tries, 17477111 fired transitions, 15 secs || 917813 markings, 18823407 edges,
lola: 22 tries, 21850580 fired transitions, 20 secs || 1142708 markings, 23422680 edges,
lola: 27 tries, 26223846 fired transitions, 25 secs || 1369099 markings, 27987449 edges,
lola: 31 tries, 30609380 fired transitions, 30 secs || 1590533 markings, 32568879 edges,
lola: 35 tries, 34985228 fired transitions, 35 secs || 1815630 markings, 37167762 edges,
lola: 40 tries, 39375255 fired transitions, 40 secs || 2039352 markings, 41735755 edges,
lola: 44 tries, 43761480 fired transitions, 45 secs || 2261581 markings, 46265316 edges,
lola: 49 tries, 48135143 fired transitions, 50 secs || 2481101 markings, 50742770 edges,
lola: 53 tries, 52515907 fired transitions, 55 secs || 2705483 markings, 55313637 edges,
lola: 57 tries, 56891580 fired transitions, 60 secs || 2929496 markings, 59885167 edges,
lola: 62 tries, 61267433 fired transitions, 65 secs || 3154527 markings, 64463083 edges,
lola: 66 tries, 65645974 fired transitions, 70 secs || 3378450 markings, 69030073 edges,
lola: 71 tries, 70024028 fired transitions, 75 secs || 3603707 markings, 73606604 edges,
lola: 75 tries, 74409674 fired transitions, 80 secs || 3826754 markings, 78143360 edges,
lola: 79 tries, 78786257 fired transitions, 85 secs || 4053218 markings, 82732018 edges,
lola: 84 tries, 83187898 fired transitions, 90 secs || 4276487 markings, 87266424 edges,
lola: 88 tries, 87598175 fired transitions, 95 secs || 4500042 markings, 91808727 edges,
lola: 92 tries, 91993303 fired transitions, 100 secs || 4723831 markings, 96349278 edges,
lola: 97 tries, 96399790 fired transitions, 105 secs || 4951488 markings, 100961146 edges,
lola: 101 tries, 100809485 fired transitions, 110 secs || 5179953 markings, 105583203 edges,
lola: 106 tries, 105219016 fired transitions, 115 secs || 5409073 markings, 110216739 edges,
lola: 110 tries, 109640913 fired transitions, 120 secs || 5633872 markings, 114770558 edges,
lola: 115 tries, 114020958 fired transitions, 125 secs || 5858895 markings, 119329016 edges,
lola: 119 tries, 118403885 fired transitions, 130 secs || 6088088 markings, 123955890 edges,
lola: 123 tries, 122778118 fired transitions, 135 secs || 6323656 markings, 128688320 edges,
lola: 128 tries, 127152049 fired transitions, 140 secs || 6547706 markings, 133231911 edges,
lola: 132 tries, 131548983 fired transitions, 145 secs || 6780067 markings, 137913168 edges,
lola: 136 tries, 135952382 fired transitions, 150 secs || 7009825 markings, 142547038 edges,
lola: 141 tries, 140342766 fired transitions, 155 secs || 7239757 markings, 147176334 edges,
lola: 145 tries, 144735198 fired transitions, 160 secs || 7470743 markings, 151840644 edges,
lola: 150 tries, 149128335 fired transitions, 165 secs || 7700985 markings, 156465186 edges,
lola: 154 tries, 153538331 fired transitions, 170 secs || 7930928 markings, 161096994 edges,
lola: 158 tries, 157939713 fired transitions, 175 secs || 8162864 markings, 165750877 edges,
lola: 163 tries, 162332115 fired transitions, 180 secs || 8391970 markings, 170354525 edges,
lola: 167 tries, 166725564 fired transitions, 185 secs || 8633876 markings, 175176345 edges,
lola: 172 tries, 171123214 fired transitions, 190 secs || 8854107 markings, 179645681 edges,
lola: 176 tries, 175513216 fired transitions, 195 secs || 9085860 markings, 184311683 edges,
lola: 180 tries, 179906455 fired transitions, 200 secs || 9322690 markings, 189023630 edges,
lola: 185 tries, 184315510 fired transitions, 205 secs || 9547115 markings, 193554282 edges,
lola: 189 tries, 188665677 fired transitions, 210 secs || 9783372 markings, 198289091 edges,
lola: 194 tries, 193020195 fired transitions, 215 secs || 10017696 markings, 202949059 edges,
lola: 198 tries, 197402977 fired transitions, 220 secs || 10239296 markings, 207425233 edges,
lola: 202 tries, 201759323 fired transitions, 225 secs || 10471635 markings, 212082896 edges,
lola: 207 tries, 206116939 fired transitions, 230 secs || 10713328 markings, 216849577 edges,
lola: 211 tries, 210477766 fired transitions, 235 secs || 10930919 markings, 221269819 edges,
lola: 215 tries, 214835148 fired transitions, 240 secs || 11158330 markings, 225842864 edges,
lola: 220 tries, 219192760 fired transitions, 245 secs || 11401234 markings, 230643574 edges,
lola: 224 tries, 223605526 fired transitions, 250 secs || 11634692 markings, 235300712 edges,
lola: 229 tries, 228023274 fired transitions, 255 secs || 11855401 markings, 239764617 edges,
lola: 233 tries, 232433575 fired transitions, 260 secs || 12086183 markings, 244402121 edges,
lola: 237 tries, 236842926 fired transitions, 265 secs || 12326708 markings, 249135986 edges,
lola: 242 tries, 241231577 fired transitions, 270 secs || 12562552 markings, 253827201 edges,
lola: 246 tries, 245623553 fired transitions, 275 secs || 12781230 markings, 258249699 edges,
lola: 251 tries, 250015564 fired transitions, 280 secs || 13007553 markings, 262809444 edges,
lola: 255 tries, 254407156 fired transitions, 285 secs || 13249952 markings, 267605922 edges,
lola: 259 tries, 258784682 fired transitions, 290 secs || 13488259 markings, 272309895 edges,
lola: 264 tries, 263171869 fired transitions, 295 secs || 13712910 markings, 276828394 edges,
lola: 268 tries, 267555199 fired transitions, 300 secs || 13931967 markings, 281250367 edges,
lola: 272 tries, 271932347 fired transitions, 305 secs || 14162530 markings, 285864337 edges,
lola: 277 tries, 276309313 fired transitions, 310 secs || 14400367 markings, 290561471 edges,
lola: 281 tries, 280684508 fired transitions, 315 secs || 14635670 markings, 295214656 edges,
lola: 286 tries, 285071771 fired transitions, 320 secs || 14866789 markings, 299817999 edges,
lola: 290 tries, 289466285 fired transitions, 325 secs || 15084006 markings, 304199416 edges,
lola: 294 tries, 293845932 fired transitions, 330 secs || 15311511 markings, 308793232 edges,
lola: 299 tries, 298215680 fired transitions, 335 secs || 15549138 markings, 313483253 edges,
lola: 303 tries, 302600173 fired transitions, 340 secs || 15785983 markings, 318169151 edges,
lola: 307 tries, 306992601 fired transitions, 345 secs || 16022967 markings, 322858256 edges,
lola: 312 tries, 311387565 fired transitions, 350 secs || 16248087 markings, 327357265 edges,
lola: 316 tries, 315783988 fired transitions, 355 secs || 16468278 markings, 331806508 edges,
lola: 321 tries, 320165075 fired transitions, 360 secs || 16699882 markings, 336448902 edges,
lola: 325 tries, 324552699 fired transitions, 365 secs || 16940227 markings, 341184620 edges,
lola: 329 tries, 328947733 fired transitions, 370 secs || 17176427 markings, 345871563 edges,
lola: 334 tries, 333348615 fired transitions, 375 secs || 17415200 markings, 350590122 edges,
lola: 338 tries, 337746458 fired transitions, 380 secs || 17655180 markings, 355321278 edges,
lola: 343 tries, 342133012 fired transitions, 385 secs || 17872730 markings, 359734150 edges,
lola: 347 tries, 346513587 fired transitions, 390 secs || 18098710 markings, 364292659 edges,
lola: 351 tries, 350905651 fired transitions, 395 secs || 18336023 markings, 368994181 edges,
lola: 356 tries, 355300592 fired transitions, 400 secs || 18571739 markings, 373662347 edges,
lola: 360 tries, 359693642 fired transitions, 405 secs || 18806986 markings, 378314926 edges,
lola: 365 tries, 364045738 fired transitions, 410 secs || 19044191 markings, 383005999 edges,
lola: 369 tries, 368416893 fired transitions, 415 secs || 19283496 markings, 387727062 edges,
lola: 373 tries, 372805952 fired transitions, 420 secs || 19498436 markings, 392069552 edges,
lola: 378 tries, 377227436 fired transitions, 425 secs || 19723422 markings, 396603445 edges,
lola: 382 tries, 381622253 fired transitions, 430 secs || 19958211 markings, 401282961 edges,
lola: 387 tries, 386009684 fired transitions, 435 secs || 20195704 markings, 405962993 edges,
lola: 391 tries, 390384032 fired transitions, 440 secs || 20430329 markings, 410620802 edges,
lola: 395 tries, 394753028 fired transitions, 445 secs || 20664785 markings, 415236851 edges,
lola: 400 tries, 399120406 fired transitions, 450 secs || 20900094 markings, 419893371 edges,
lola: 404 tries, 403495002 fired transitions, 455 secs || 21137367 markings, 424566421 edges,
lola: 408 tries, 407874113 fired transitions, 460 secs || 21358445 markings, 429021407 edges,
lola: 413 tries, 412273085 fired transitions, 465 secs || 21581686 markings, 433521143 edges,
lola: 417 tries, 416679893 fired transitions, 470 secs || 21813713 markings, 438165963 edges,
lola: 422 tries, 421091001 fired transitions, 475 secs || 22048939 markings, 442818139 edges,
lola: 426 tries, 425491026 fired transitions, 480 secs || 22285175 markings, 447478151 edges,
lola: 430 tries, 429865472 fired transitions, 485 secs || 22519276 markings, 452118336 edges,
lola: 435 tries, 434247377 fired transitions, 490 secs || 22753924 markings, 456751788 edges,
lola: 439 tries, 438649641 fired transitions, 495 secs || 22993949 markings, 461484263 edges,
lola: 444 tries, 443032084 fired transitions, 500 secs || 23235114 markings, 466242699 edges,
lola: 448 tries, 447419554 fired transitions, 505 secs || 23452734 markings, 470634404 edges,
lola: 452 tries, 451806636 fired transitions, 510 secs || 23674453 markings, 475098505 edges,
lola: 457 tries, 456179175 fired transitions, 515 secs || 23908858 markings, 479778600 edges,
lola: 461 tries, 460587484 fired transitions, 520 secs || 24145592 markings, 484458352 edges,
lola: 465 tries, 464979495 fired transitions, 525 secs || 24382191 markings, 489136674 edges,
lola: 470 tries, 469370936 fired transitions, 530 secs || 24620173 markings, 493840046 edges,
lola: 474 tries, 473642941 fired transitions, 535 secs || 24848968 markings, 498363066 edges,
lola: 479 tries, 478026378 fired transitions, 540 secs || 25085298 markings, 503027462 edges,
lola: 483 tries, 482409840 fired transitions, 545 secs || 25322968 markings, 507706961 edges,
lola: 487 tries, 486792633 fired transitions, 550 secs || 25563652 markings, 512447806 edges,
lola: 492 tries, 491174621 fired transitions, 555 secs || 25779456 markings, 516817244 edges,
lola: 496 tries, 495547244 fired transitions, 560 secs || 25999933 markings, 521252682 edges,
lola: 500 tries, 499911380 fired transitions, 565 secs || 26230216 markings, 525851435 edges,
lola: 505 tries, 504278969 fired transitions, 570 secs || 26463519 markings, 530462028 edges,
lola: 509 tries, 508654999 fired transitions, 575 secs || 26696177 markings, 535052862 edges,
lola: 514 tries, 513020969 fired transitions, 580 secs || 26929289 markings, 539671343 edges,
lola: 518 tries, 517394048 fired transitions, 585 secs || 27162005 markings, 544269971 edges,
lola: 522 tries, 521760945 fired transitions, 590 secs || 27395978 markings, 548885350 edges,
lola: 527 tries, 526135686 fired transitions, 595 secs || 27628662 markings, 553471385 edges,
lola: 531 tries, 530504268 fired transitions, 600 secs || 27863522 markings, 558097268 edges,
lola: 535 tries, 534883304 fired transitions, 605 secs || 28101213 markings, 562780270 edges,
lola: 540 tries, 539277615 fired transitions, 610 secs || 28319485 markings, 567161909 edges,
lola: 544 tries, 543680502 fired transitions, 615 secs || 28537467 markings, 571565469 edges,
lola: 549 tries, 548080761 fired transitions, 620 secs || 28764405 markings, 576119184 edges,
lola: 553 tries, 552477314 fired transitions, 625 secs || 28997494 markings, 580712963 edges,
lola: 557 tries, 556861544 fired transitions, 630 secs || 29228603 markings, 585291952 edges,
lola: 562 tries, 561259649 fired transitions, 635 secs || 29459952 markings, 589868238 edges,
lola: 566 tries, 565662025 fired transitions, 640 secs || 29694450 markings, 594488263 edges,
lola: 571 tries, 570061287 fired transitions, 645 secs || 29926343 markings, 599065057 edges,
lola: 575 tries, 574451766 fired transitions, 650 secs || 30158098 markings, 603636540 edges,
lola: 579 tries, 578833101 fired transitions, 655 secs || 30393166 markings, 608277687 edges,
lola: 584 tries, 583205392 fired transitions, 660 secs || 30630329 markings, 612950039 edges,
lola: 588 tries, 587577562 fired transitions, 665 secs || 30869304 markings, 617656674 edges,
lola: 592 tries, 591954555 fired transitions, 670 secs || 31101585 markings, 622251217 edges,
lola: 597 tries, 596340967 fired transitions, 675 secs || 31316406 markings, 626611221 edges,
lola: 601 tries, 600736258 fired transitions, 680 secs || 31540777 markings, 631126594 edges,
lola: 606 tries, 605120474 fired transitions, 685 secs || 31774874 markings, 635760723 edges,
lola: 610 tries, 609529980 fired transitions, 690 secs || 32006236 markings, 640336584 edges,
lola: 614 tries, 613942382 fired transitions, 695 secs || 32239860 markings, 644966221 edges,
lola: 619 tries, 618350144 fired transitions, 700 secs || 32474295 markings, 649597181 edges,
lola: 623 tries, 622765971 fired transitions, 705 secs || 32707742 markings, 654207564 edges,
lola: 628 tries, 627181891 fired transitions, 710 secs || 32942602 markings, 658830394 edges,
lola: 632 tries, 631590910 fired transitions, 715 secs || 33175713 markings, 663434469 edges,
lola: 637 tries, 636004394 fired transitions, 720 secs || 33409315 markings, 668039004 edges,
lola: 641 tries, 640418429 fired transitions, 725 secs || 33643658 markings, 672650208 edges,
lola: 645 tries, 644747794 fired transitions, 730 secs || 33880704 markings, 677311714 edges,
lola: 650 tries, 649153421 fired transitions, 735 secs || 34120976 markings, 682030670 edges,
lola: 654 tries, 653554823 fired transitions, 740 secs || 34344616 markings, 686518217 edges,
lola: 658 tries, 657951481 fired transitions, 745 secs || 34564694 markings, 690965361 edges,
lola: 663 tries, 662345679 fired transitions, 750 secs || 34793159 markings, 695558054 edges,
lola: 667 tries, 666724514 fired transitions, 755 secs || 35029032 markings, 700213884 edges,
lola: 672 tries, 671100986 fired transitions, 760 secs || 35259773 markings, 704779964 edges,
lola: 676 tries, 675478559 fired transitions, 765 secs || 35492393 markings, 709379623 edges,
lola: 680 tries, 679868449 fired transitions, 770 secs || 35725501 markings, 713982143 edges,
lola: 685 tries, 684256721 fired transitions, 775 secs || 35957075 markings, 718554823 edges,
lola: 689 tries, 688658525 fired transitions, 780 secs || 36190238 markings, 723153117 edges,
lola: 694 tries, 693059581 fired transitions, 785 secs || 36421311 markings, 727709155 edges,
lola: 698 tries, 697460913 fired transitions, 790 secs || 36653486 markings, 732282202 edges,
lola: 702 tries, 701860554 fired transitions, 795 secs || 36888184 markings, 736899292 edges,
lola: 707 tries, 706262603 fired transitions, 800 secs || 37122669 markings, 741511145 edges,
lola: 711 tries, 710664404 fired transitions, 805 secs || 37358734 markings, 746149526 edges,
lola: 716 tries, 715064122 fired transitions, 810 secs || 37594721 markings, 750801445 edges,
lola: 720 tries, 719464183 fired transitions, 815 secs || 37821023 markings, 755300599 edges,
lola: 724 tries, 723885523 fired transitions, 820 secs || 38036377 markings, 759658129 edges,
lola: 729 tries, 728304031 fired transitions, 825 secs || 38259522 markings, 764145053 edges,
lola: 733 tries, 732720327 fired transitions, 830 secs || 38494194 markings, 768789420 edges,
lola: 738 tries, 737136487 fired transitions, 835 secs || 38724734 markings, 773356051 edges,
lola: 742 tries, 741549134 fired transitions, 840 secs || 38955419 markings, 777916492 edges,
lola: 746 tries, 745964864 fired transitions, 845 secs || 39186133 markings, 782476252 edges,
lola: 751 tries, 750379054 fired transitions, 850 secs || 39418685 markings, 787064276 edges,
lola: 755 tries, 754791979 fired transitions, 855 secs || 39648364 markings, 791600758 edges,
lola: 760 tries, 759199303 fired transitions, 860 secs || 39880962 markings, 796185671 edges,
lola: 764 tries, 763608817 fired transitions, 865 secs || 40112227 markings, 800741441 edges,
lola: 769 tries, 768007432 fired transitions, 870 secs || 40343259 markings, 805286677 edges,
lola: 773 tries, 772391433 fired transitions, 875 secs || 40574444 markings, 809829421 edges,
lola: 777 tries, 776779891 fired transitions, 880 secs || 40805658 markings, 814388613 edges,
lola: 782 tries, 781153454 fired transitions, 885 secs || 41040607 markings, 819007987 edges,
lola: 786 tries, 785511604 fired transitions, 890 secs || 41277813 markings, 823667689 edges,
lola: 790 tries, 789871264 fired transitions, 895 secs || 41513342 markings, 828291622 edges,
lola: 795 tries, 794279164 fired transitions, 900 secs || 41735240 markings, 832731071 edges,
lola: 799 tries, 798708828 fired transitions, 905 secs || 41954545 markings, 837168466 edges,
lola: 804 tries, 803134769 fired transitions, 910 secs || 42182275 markings, 841752890 edges,
lola: 808 tries, 807581432 fired transitions, 915 secs || 42419837 markings, 846437016 edges,
lola: 813 tries, 812023449 fired transitions, 920 secs || 42652576 markings, 851047576 edges,
lola: 817 tries, 816462502 fired transitions, 925 secs || 42884275 markings, 855630285 edges,
lola: 821 tries, 820902059 fired transitions, 930 secs || 43118086 markings, 860241211 edges,
lola: 826 tries, 825337733 fired transitions, 935 secs || 43350106 markings, 864823544 edges,
lola: 830 tries, 829776523 fired transitions, 940 secs || 43582767 markings, 869410906 edges,
lola: 835 tries, 834192684 fired transitions, 945 secs || 43815893 markings, 874007545 edges,
lola: 839 tries, 838591041 fired transitions, 950 secs || 44049282 markings, 878606646 edges,
lola: 843 tries, 842987623 fired transitions, 955 secs || 44283152 markings, 883207512 edges,
lola: 848 tries, 847370025 fired transitions, 960 secs || 44516398 markings, 887798038 edges,
lola: 852 tries, 851750225 fired transitions, 965 secs || 44749487 markings, 892382690 edges,
lola: 857 tries, 856139134 fired transitions, 970 secs || 44982955 markings, 896977543 edges,
lola: 861 tries, 860517500 fired transitions, 975 secs || 45219923 markings, 901632725 edges,
lola: 865 tries, 864893147 fired transitions, 980 secs || 45456442 markings, 906273005 edges,
lola: 870 tries, 869275977 fired transitions, 985 secs || 45693279 markings, 910932137 edges,
lola: 874 tries, 873701615 fired transitions, 990 secs || 45927588 markings, 915538740 edges,
lola: 879 tries, 878084589 fired transitions, 995 secs || 46139845 markings, 919845707 edges,
lola: 883 tries, 882447457 fired transitions, 1000 secs || 46360783 markings, 924305118 edges,
lola: 887 tries, 886810088 fired transitions, 1005 secs || 46592834 markings, 928924008 edges,
lola: 892 tries, 891179400 fired transitions, 1010 secs || 46825238 markings, 933511694 edges,
lola: 896 tries, 895547100 fired transitions, 1015 secs || 47055713 markings, 938084204 edges,
lola: 900 tries, 899912769 fired transitions, 1020 secs || 47287075 markings, 942639591 edges,
lola: 905 tries, 904280800 fired transitions, 1025 secs || 47517826 markings, 947211607 edges,
lola: 909 tries, 908663686 fired transitions, 1030 secs || 47750235 markings, 951793436 edges,
lola: 914 tries, 913076989 fired transitions, 1035 secs || 47985067 markings, 956419802 edges,
lola: 918 tries, 917471097 fired transitions, 1040 secs || 48218946 markings, 961025047 edges,
lola: 922 tries, 921856424 fired transitions, 1045 secs || 48453000 markings, 965638692 edges,
lola: 927 tries, 926242563 fired transitions, 1050 secs || 48683785 markings, 970185290 edges,
lola: 931 tries, 930625804 fired transitions, 1055 secs || 48917454 markings, 974774489 edges,
lola: 936 tries, 935004084 fired transitions, 1060 secs || 49150713 markings, 979369664 edges,
lola: 940 tries, 939382098 fired transitions, 1065 secs || 49387142 markings, 984005850 edges,
lola: 944 tries, 943753301 fired transitions, 1070 secs || 49619476 markings, 988586200 edges,
lola: 949 tries, 948123930 fired transitions, 1075 secs || 49850732 markings, 993128151 edges,
lola: 953 tries, 952521617 fired transitions, 1080 secs || 50082375 markings, 997673836 edges,
lola: 957 tries, 956967796 fired transitions, 1085 secs || 50320366 markings, 1002347935 edges,
lola: 962 tries, 961416636 fired transitions, 1090 secs || 50558755 markings, 1007024199 edges,
lola: 966 tries, 965867292 fired transitions, 1095 secs || 50777360 markings, 1011424390 edges,
lola: 971 tries, 970275751 fired transitions, 1100 secs || 50997131 markings, 1015858781 edges,
lola: 975 tries, 974685514 fired transitions, 1105 secs || 51226843 markings, 1020470488 edges,
lola: 980 tries, 979110633 fired transitions, 1110 secs || 51465380 markings, 1025166703 edges,
lola: 984 tries, 983534546 fired transitions, 1115 secs || 51696787 markings, 1029757548 edges,
lola: 988 tries, 987953131 fired transitions, 1120 secs || 51929235 markings, 1034352775 edges,
lola: 993 tries, 992389818 fired transitions, 1125 secs || 52161626 markings, 1038930998 edges,
lola: 997 tries, 996789493 fired transitions, 1130 secs || 52391758 markings, 1043486682 edges,
lola: 1002 tries, 1001173921 fired transitions, 1135 secs || 52621888 markings, 1048025094 edges,
lola: 1006 tries, 1005572675 fired transitions, 1140 secs || 52852630 markings, 1052571811 edges,
lola: 1010 tries, 1009987584 fired transitions, 1145 secs || 53086653 markings, 1057183777 edges,
lola: 1015 tries, 1014402195 fired transitions, 1150 secs || 53321780 markings, 1061810853 edges,
lola: 1019 tries, 1018812325 fired transitions, 1155 secs || 53557225 markings, 1066441474 edges,
lola: 1024 tries, 1023224163 fired transitions, 1160 secs || 53788736 markings, 1070993728 edges,
lola: 1028 tries, 1027636881 fired transitions, 1165 secs || 54019963 markings, 1075546100 edges,
lola: 1033 tries, 1032047541 fired transitions, 1170 secs || 54251977 markings, 1080098020 edges,
lola: 1037 tries, 1036444605 fired transitions, 1175 secs || 54485352 markings, 1084674360 edges,
lola: 1041 tries, 1040827841 fired transitions, 1180 secs || 54718769 markings, 1089273682 edges,
lola: 1046 tries, 1045209016 fired transitions, 1185 secs || 54954125 markings, 1093888951 edges,
lola: 1050 tries, 1049583519 fired transitions, 1190 secs || 55187470 markings, 1098471421 edges,
lola: 1054 tries, 1053967278 fired transitions, 1195 secs || 55424232 markings, 1103125846 edges,
lola: 1059 tries, 1058343773 fired transitions, 1200 secs || 55659519 markings, 1107737239 edges,
lola: 1063 tries, 1062720648 fired transitions, 1205 secs || 55897922 markings, 1112437216 edges,
lola: 1068 tries, 1067104183 fired transitions, 1210 secs || 56135595 markings, 1117174306 edges,
lola: 1072 tries, 1071480974 fired transitions, 1215 secs || 56373534 markings, 1121876355 edges,
lola: 1076 tries, 1075837718 fired transitions, 1220 secs || 56611523 markings, 1126595878 edges,
lola: 1081 tries, 1080205853 fired transitions, 1225 secs || 56850118 markings, 1131300581 edges,
lola: 1085 tries, 1084568762 fired transitions, 1230 secs || 57086054 markings, 1135975961 edges,
lola: 1089 tries, 1088925999 fired transitions, 1235 secs || 57323230 markings, 1140652452 edges,
lola: 1094 tries, 1093138000 fired transitions, 1240 secs || 57558696 markings, 1145294102 edges,
lola: 1098 tries, 1097513733 fired transitions, 1245 secs || 57795953 markings, 1149967052 edges,
lola: 1102 tries, 1101880588 fired transitions, 1250 secs || 58032529 markings, 1154628607 edges,
lola: 1107 tries, 1106255289 fired transitions, 1255 secs || 58268312 markings, 1159271107 edges,
lola: 1111 tries, 1110662110 fired transitions, 1260 secs || 58504067 markings, 1163909903 edges,
lola: 1116 tries, 1115075587 fired transitions, 1265 secs || 58740049 markings, 1168546870 edges,
lola: 1120 tries, 1119472620 fired transitions, 1270 secs || 58976957 markings, 1173203813 edges,
lola: 1124 tries, 1123849158 fired transitions, 1275 secs || 59211852 markings, 1177831853 edges,
lola: 1129 tries, 1128276343 fired transitions, 1280 secs || 59450561 markings, 1182509610 edges,
lola: 1133 tries, 1132732804 fired transitions, 1285 secs || 59686773 markings, 1187151071 edges,
lola: 1138 tries, 1137158242 fired transitions, 1290 secs || 59923700 markings, 1191803341 edges,
lola: 1142 tries, 1141539107 fired transitions, 1295 secs || 60155939 markings, 1196351881 edges,
lola: 1146 tries, 1145918258 fired transitions, 1300 secs || 60388215 markings, 1200920973 edges,
lola: 1151 tries, 1150295759 fired transitions, 1305 secs || 60619285 markings, 1205447788 edges,
lola: 1155 tries, 1154676243 fired transitions, 1310 secs || 60853773 markings, 1210054237 edges,
lola: 1160 tries, 1159055965 fired transitions, 1315 secs || 61087035 markings, 1214619318 edges,
lola: 1164 tries, 1163432068 fired transitions, 1320 secs || 61323626 markings, 1219300782 edges,
lola: 1168 tries, 1167805514 fired transitions, 1325 secs || 61559329 markings, 1223983517 edges,
lola: 1173 tries, 1172184575 fired transitions, 1330 secs || 61794559 markings, 1228654755 edges,
lola: 1177 tries, 1176582497 fired transitions, 1335 secs || 62029152 markings, 1233290012 edges,
lola: 1181 tries, 1180977197 fired transitions, 1340 secs || 62262871 markings, 1237904051 edges,
lola: 1186 tries, 1185376557 fired transitions, 1345 secs || 62495937 markings, 1242515669 edges,
lola: 1190 tries, 1189777143 fired transitions, 1350 secs || 62729197 markings, 1247116876 edges,
lola: 1195 tries, 1194161574 fired transitions, 1355 secs || 62962014 markings, 1251709590 edges,
lola: 1199 tries, 1198561795 fired transitions, 1360 secs || 63194801 markings, 1256284542 edges,
lola: 1203 tries, 1202961314 fired transitions, 1365 secs || 63425594 markings, 1260832483 edges,
lola: 1208 tries, 1207358576 fired transitions, 1370 secs || 63655738 markings, 1265374691 edges,
lola: 1212 tries, 1211748966 fired transitions, 1375 secs || 63887262 markings, 1269927572 edges,
lola: 1217 tries, 1216129657 fired transitions, 1380 secs || 64118092 markings, 1274451749 edges,
lola: 1221 tries, 1220516088 fired transitions, 1385 secs || 64347448 markings, 1278964240 edges,
lola: 1225 tries, 1224901158 fired transitions, 1390 secs || 64576939 markings, 1283487991 edges,
lola: 1230 tries, 1229285528 fired transitions, 1395 secs || 64805057 markings, 1287950442 edges,
lola: 1234 tries, 1233680835 fired transitions, 1400 secs || 65031254 markings, 1292411701 edges,
lola: 1239 tries, 1238078170 fired transitions, 1405 secs || 65259687 markings, 1296894463 edges,
lola: 1243 tries, 1242472208 fired transitions, 1410 secs || 65485830 markings, 1301336341 edges,
lola: 1247 tries, 1246865017 fired transitions, 1415 secs || 65715789 markings, 1305846766 edges,
lola: 1252 tries, 1251258330 fired transitions, 1420 secs || 65943775 markings, 1310317043 edges,
lola: 1256 tries, 1255652430 fired transitions, 1425 secs || 66175381 markings, 1314859035 edges,
lola: 1261 tries, 1260049999 fired transitions, 1430 secs || 66403413 markings, 1319338640 edges,
lola: 1265 tries, 1264444846 fired transitions, 1435 secs || 66635011 markings, 1323868520 edges,
lola: 1269 tries, 1268840773 fired transitions, 1440 secs || 66865932 markings, 1328404531 edges,
lola: 1274 tries, 1273236598 fired transitions, 1445 secs || 67098104 markings, 1332933326 edges,
lola: 1278 tries, 1277627438 fired transitions, 1450 secs || 67335482 markings, 1337653247 edges,
lola: 1283 tries, 1282016568 fired transitions, 1455 secs || 67573585 markings, 1342385033 edges,
lola: 1287 tries, 1286406858 fired transitions, 1460 secs || 67810975 markings, 1347094941 edges,
lola: 1291 tries, 1290798986 fired transitions, 1465 secs || 68047621 markings, 1351771644 edges,
lola: 1296 tries, 1295184285 fired transitions, 1470 secs || 68283090 markings, 1356427658 edges,
lola: 1300 tries, 1299576138 fired transitions, 1475 secs || 68518509 markings, 1361072645 edges,
lola: 1304 tries, 1303969695 fired transitions, 1480 secs || 68752163 markings, 1365677869 edges,
lola: 1309 tries, 1308362673 fired transitions, 1485 secs || 68985905 markings, 1370283092 edges,
lola: 1313 tries, 1312763898 fired transitions, 1490 secs || 69219621 markings, 1374882848 edges,
lola: 1318 tries, 1317172474 fired transitions, 1495 secs || 69453949 markings, 1379501816 edges,
lola: 1322 tries, 1321580834 fired transitions, 1500 secs || 69688370 markings, 1384117026 edges,
lola: 1326 tries, 1325989844 fired transitions, 1505 secs || 69922658 markings, 1388717214 edges,
lola: 1331 tries, 1330385309 fired transitions, 1510 secs || 70154490 markings, 1393291517 edges,
lola: 1335 tries, 1334786903 fired transitions, 1515 secs || 70386795 markings, 1397834134 edges,
lola: 1340 tries, 1339188285 fired transitions, 1520 secs || 70617864 markings, 1402397482 edges,
lola: 1344 tries, 1343590238 fired transitions, 1525 secs || 70850883 markings, 1406973935 edges,
lola: 1348 tries, 1347992908 fired transitions, 1530 secs || 71083647 markings, 1411538254 edges,
lola: 1353 tries, 1352395709 fired transitions, 1535 secs || 71317529 markings, 1416139717 edges,
lola: 1357 tries, 1356802291 fired transitions, 1540 secs || 71552506 markings, 1420742298 edges,
lola: 1362 tries, 1361205770 fired transitions, 1545 secs || 71782214 markings, 1425262161 edges,
lola: 1366 tries, 1365610761 fired transitions, 1550 secs || 72012107 markings, 1429757988 edges,
lola: 1371 tries, 1370016497 fired transitions, 1555 secs || 72244420 markings, 1434329320 edges,
lola: 1375 tries, 1374419577 fired transitions, 1560 secs || 72477572 markings, 1438885427 edges,
lola: 1379 tries, 1378820342 fired transitions, 1565 secs || 72710810 markings, 1443471531 edges,
lola: 1384 tries, 1383216341 fired transitions, 1570 secs || 72943344 markings, 1448021260 edges,
lola: 1388 tries, 1387592273 fired transitions, 1575 secs || 73176438 markings, 1452582517 edges,
lola: 1392 tries, 1391964753 fired transitions, 1580 secs || 73407293 markings, 1457115747 edges,
lola: 1397 tries, 1396344569 fired transitions, 1585 secs || 73639824 markings, 1461655863 edges,
lola: 1401 tries, 1400725059 fired transitions, 1590 secs || 73875219 markings, 1466335243 edges,
lola: 1406 tries, 1405102786 fired transitions, 1595 secs || 74110110 markings, 1470996787 edges,
lola: 1410 tries, 1409496795 fired transitions, 1600 secs || 74343166 markings, 1475623906 edges,
lola: 1414 tries, 1413883111 fired transitions, 1605 secs || 74575196 markings, 1480211686 edges,
lola: 1419 tries, 1418290577 fired transitions, 1610 secs || 74812156 markings, 1484895441 edges,
lola: 1423 tries, 1422741551 fired transitions, 1615 secs || 75046701 markings, 1489521709 edges,
lola: 1428 tries, 1427195536 fired transitions, 1620 secs || 75280336 markings, 1494129049 edges,
lola: 1432 tries, 1431642841 fired transitions, 1625 secs || 75513188 markings, 1498709622 edges,
lola: 1437 tries, 1436061503 fired transitions, 1630 secs || 75745677 markings, 1503286770 edges,
lola: 1441 tries, 1440481075 fired transitions, 1635 secs || 75979848 markings, 1507908584 edges,
lola: 1445 tries, 1444910829 fired transitions, 1640 secs || 76214675 markings, 1512532200 edges,
lola: 1450 tries, 1449355234 fired transitions, 1645 secs || 76448762 markings, 1517143281 edges,
lola: 1454 tries, 1453775817 fired transitions, 1650 secs || 76683941 markings, 1521766246 edges,
lola: 1459 tries, 1458193174 fired transitions, 1655 secs || 76918487 markings, 1526354277 edges,
lola: 1463 tries, 1462606019 fired transitions, 1660 secs || 77150394 markings, 1530930561 edges,
lola: 1468 tries, 1467038204 fired transitions, 1665 secs || 77385046 markings, 1535545956 edges,
lola: 1472 tries, 1471462964 fired transitions, 1670 secs || 77619234 markings, 1540139427 edges,
lola: 1476 tries, 1475886169 fired transitions, 1675 secs || 77854332 markings, 1544762437 edges,
lola: 1481 tries, 1480279874 fired transitions, 1680 secs || 78089400 markings, 1549357001 edges,
lola: 1485 tries, 1484673268 fired transitions, 1685 secs || 78319467 markings, 1553890645 edges,
lola: 1490 tries, 1489070988 fired transitions, 1690 secs || 78550919 markings, 1558418902 edges,
lola: 1494 tries, 1493470898 fired transitions, 1695 secs || 78780685 markings, 1562938803 edges,
lola: 1498 tries, 1497870681 fired transitions, 1700 secs || 79008052 markings, 1567380573 edges,
lola: 1503 tries, 1502263689 fired transitions, 1705 secs || 79239043 markings, 1571916271 edges,
lola: 1507 tries, 1506655670 fired transitions, 1710 secs || 79467533 markings, 1576390563 edges,
lola: 1512 tries, 1511037068 fired transitions, 1715 secs || 79699710 markings, 1580941760 edges,
lola: 1516 tries, 1515405848 fired transitions, 1720 secs || 79930663 markings, 1585479410 edges,
lola: 1520 tries, 1519797324 fired transitions, 1725 secs || 80165403 markings, 1590054423 edges,
lola: 1525 tries, 1524189872 fired transitions, 1730 secs || 80397083 markings, 1594614980 edges,
lola: 1529 tries, 1528565141 fired transitions, 1735 secs || 80625201 markings, 1599074311 edges,
lola: 1533 tries, 1532931164 fired transitions, 1740 secs || 80856390 markings, 1603588027 edges,
lola: 1538 tries, 1537319388 fired transitions, 1745 secs || 81089485 markings, 1608243327 edges,
lola: 1542 tries, 1541715078 fired transitions, 1750 secs || 81328307 markings, 1612969509 edges,
lola: 1547 tries, 1546111879 fired transitions, 1755 secs || 81561676 markings, 1617597414 edges,
lola: 1551 tries, 1550503525 fired transitions, 1760 secs || 81794583 markings, 1622204885 edges,
lola: 1555 tries, 1554889118 fired transitions, 1765 secs || 82027384 markings, 1626804408 edges,
lola: 1560 tries, 1559274880 fired transitions, 1770 secs || 82261319 markings, 1631416511 edges,
lola: 1564 tries, 1563676802 fired transitions, 1775 secs || 82491229 markings, 1635957063 edges,
lola: 1569 tries, 1568077187 fired transitions, 1780 secs || 82722661 markings, 1640519693 edges,
lola: 1573 tries, 1572470279 fired transitions, 1785 secs || 82953239 markings, 1645058531 edges,
lola: 1577 tries, 1576847347 fired transitions, 1790 secs || 83184109 markings, 1649604233 edges,
lola: 1582 tries, 1581229269 fired transitions, 1795 secs || 83415306 markings, 1654151947 edges,
lola: 1586 tries, 1585605372 fired transitions, 1800 secs || 83645695 markings, 1658685808 edges,
lola: 1590 tries, 1589986802 fired transitions, 1805 secs || 83876454 markings, 1663233247 edges,
lola: 1595 tries, 1594360804 fired transitions, 1810 secs || 84107801 markings, 1667768604 edges,
lola: 1599 tries, 1598736570 fired transitions, 1815 secs || 84338623 markings, 1672307888 edges,
lola: 1604 tries, 1603112161 fired transitions, 1820 secs || 84572526 markings, 1676903259 edges,
lola: 1608 tries, 1607485722 fired transitions, 1825 secs || 84805776 markings, 1681475179 edges,
lola: 1612 tries, 1611869576 fired transitions, 1830 secs || 85035906 markings, 1686007948 edges,
lola: 1617 tries, 1616252993 fired transitions, 1835 secs || 85265888 markings, 1690487226 edges,
lola: 1621 tries, 1620630365 fired transitions, 1840 secs || 85494055 markings, 1695001264 edges,
lola: 1626 tries, 1625013692 fired transitions, 1845 secs || 85725804 markings, 1699531407 edges,
lola: 1630 tries, 1629416071 fired transitions, 1850 secs || 85957672 markings, 1704095217 edges,
lola: 1634 tries, 1633818676 fired transitions, 1855 secs || 86191425 markings, 1708661119 edges,
lola: 1639 tries, 1638228509 fired transitions, 1860 secs || 86426021 markings, 1713270914 edges,
lola: 1643 tries, 1642648083 fired transitions, 1865 secs || 86658389 markings, 1717822485 edges,
lola: 1648 tries, 1647039318 fired transitions, 1870 secs || 86893964 markings, 1722437139 edges,
lola: 1652 tries, 1651426354 fired transitions, 1875 secs || 87122986 markings, 1726927367 edges,
lola: 1656 tries, 1655816825 fired transitions, 1880 secs || 87353352 markings, 1731418680 edges,
lola: 1661 tries, 1660203738 fired transitions, 1885 secs || 87587101 markings, 1736021775 edges,
lola: 1665 tries, 1664596697 fired transitions, 1890 secs || 87819030 markings, 1740563119 edges,
lola: 1669 tries, 1668984698 fired transitions, 1895 secs || 88054072 markings, 1745153089 edges,
lola: 1674 tries, 1673358404 fired transitions, 1900 secs || 88286948 markings, 1749722085 edges,
lola: 1678 tries, 1677762717 fired transitions, 1905 secs || 88520494 markings, 1754281456 edges,
lola: 1683 tries, 1682162300 fired transitions, 1910 secs || 88756827 markings, 1758917556 edges,
lola: 1687 tries, 1686580809 fired transitions, 1915 secs || 88990975 markings, 1763586784 edges,
lola: 1692 tries, 1691006811 fired transitions, 1920 secs || 89229645 markings, 1768319985 edges,
lola: 1696 tries, 1695431642 fired transitions, 1925 secs || 89466775 markings, 1773013364 edges,
lola: 1700 tries, 1699860251 fired transitions, 1930 secs || 89700444 markings, 1777634049 edges,
lola: 1705 tries, 1704284594 fired transitions, 1935 secs || 89934687 markings, 1782262646 edges,
lola: 1709 tries, 1708712238 fired transitions, 1940 secs || 90167144 markings, 1786846220 edges,
lola: 1714 tries, 1713151297 fired transitions, 1945 secs || 90399197 markings, 1791422375 edges,
lola: 1718 tries, 1717597682 fired transitions, 1950 secs || 90632782 markings, 1796025151 edges,
lola: 1722 tries, 1721989728 fired transitions, 1955 secs || 90863508 markings, 1800570964 edges,
lola: 1727 tries, 1726384637 fired transitions, 1960 secs || 91094125 markings, 1805112945 edges,
lola: 1731 tries, 1730782086 fired transitions, 1965 secs || 91326425 markings, 1809680645 edges,
lola: 1736 tries, 1735165535 fired transitions, 1970 secs || 91558605 markings, 1814245756 edges,
lola: 1740 tries, 1739565017 fired transitions, 1975 secs || 91789199 markings, 1818788595 edges,
lola: 1744 tries, 1743951496 fired transitions, 1980 secs || 92021408 markings, 1823341393 edges,
lola: 1749 tries, 1748348451 fired transitions, 1985 secs || 92251863 markings, 1827865835 edges,
lola: 1753 tries, 1752754490 fired transitions, 1990 secs || 92482449 markings, 1832403562 edges,
lola: 1758 tries, 1757166124 fired transitions, 1995 secs || 92714243 markings, 1836950201 edges,
lola: 1762 tries, 1761573147 fired transitions, 2000 secs || 92943757 markings, 1841463006 edges,
lola: 1766 tries, 1765988483 fired transitions, 2005 secs || 93176260 markings, 1846017648 edges,
lola: 1771 tries, 1770391557 fired transitions, 2010 secs || 93405222 markings, 1850520174 edges,
lola: 1775 tries, 1774797990 fired transitions, 2015 secs || 93635705 markings, 1855029511 edges,
lola: 1780 tries, 1779210675 fired transitions, 2020 secs || 93862354 markings, 1859482862 edges,
lola: 1784 tries, 1783613966 fired transitions, 2025 secs || 94091693 markings, 1863955219 edges,
lola: 1789 tries, 1788027953 fired transitions, 2030 secs || 94318694 markings, 1868430507 edges,
lola: 1793 tries, 1792410975 fired transitions, 2035 secs || 94546334 markings, 1872887879 edges,
lola: 1797 tries, 1796805188 fired transitions, 2040 secs || 94775080 markings, 1877374756 edges,
lola: 1802 tries, 1801210266 fired transitions, 2045 secs || 95000512 markings, 1881788515 edges,
lola: 1806 tries, 1805622791 fired transitions, 2050 secs || 95227715 markings, 1886208282 edges,
lola: 1811 tries, 1810037322 fired transitions, 2055 secs || 95455900 markings, 1890715688 edges,
lola: 1815 tries, 1814449791 fired transitions, 2060 secs || 95682805 markings, 1895155955 edges,
lola: 1819 tries, 1818848593 fired transitions, 2065 secs || 95913560 markings, 1899661653 edges,
lola: 1824 tries, 1823258941 fired transitions, 2070 secs || 96142087 markings, 1904148174 edges,
lola: 1828 tries, 1827666489 fired transitions, 2075 secs || 96369939 markings, 1908595604 edges,
lola: 1833 tries, 1832056373 fired transitions, 2080 secs || 96600781 markings, 1913105269 edges,
lola: 1837 tries, 1836441493 fired transitions, 2085 secs || 96829369 markings, 1917598138 edges,
lola: 1841 tries, 1840821496 fired transitions, 2090 secs || 97056697 markings, 1922037800 edges,
lola: 1846 tries, 1845201536 fired transitions, 2095 secs || 97289797 markings, 1926580510 edges,
lola: 1850 tries, 1849581276 fired transitions, 2100 secs || 97525304 markings, 1931279083 edges,
lola: 1854 tries, 1853941878 fired transitions, 2105 secs || 97761725 markings, 1935956017 edges,
lola: 1859 tries, 1858321807 fired transitions, 2110 secs || 97996298 markings, 1940613483 edges,
lola: 1863 tries, 1862720152 fired transitions, 2115 secs || 98233219 markings, 1945284875 edges,
lola: 1868 tries, 1867038776 fired transitions, 2120 secs || 98463386 markings, 1949847651 edges,
lola: 1872 tries, 1871438428 fired transitions, 2125 secs || 98699104 markings, 1954498604 edges,
lola: 1876 tries, 1875836368 fired transitions, 2130 secs || 98935042 markings, 1959150627 edges,
lola: 1881 tries, 1880241352 fired transitions, 2135 secs || 99169695 markings, 1963775276 edges,
lola: 1885 tries, 1884645221 fired transitions, 2140 secs || 99401308 markings, 1968341654 edges,
lola: 1890 tries, 1889053804 fired transitions, 2145 secs || 99632658 markings, 1972895901 edges,
lola: 1894 tries, 1893461059 fired transitions, 2150 secs || 99863557 markings, 1977429855 edges,
lola: 1898 tries, 1897885903 fired transitions, 2155 secs || 100097391 markings, 1982033057 edges,
lola: 1903 tries, 1902309320 fired transitions, 2160 secs || 100332076 markings, 1986651528 edges,
lola: 1907 tries, 1906720392 fired transitions, 2165 secs || 100566772 markings, 1991266724 edges,
lola: 1912 tries, 1911113779 fired transitions, 2170 secs || 100800985 markings, 1995863493 edges,
lola: 1916 tries, 1915519049 fired transitions, 2175 secs || 101034197 markings, 2000454837 edges,
lola: 1920 tries, 1919929736 fired transitions, 2180 secs || 101267023 markings, 2005011353 edges,
lola: 1925 tries, 1924327308 fired transitions, 2185 secs || 101499971 markings, 2009593831 edges,
lola: 1929 tries, 1928711768 fired transitions, 2190 secs || 101734951 markings, 2014197579 edges,
lola: 1934 tries, 1933102088 fired transitions, 2195 secs || 101968125 markings, 2018786229 edges,
lola: 1938 tries, 1937545492 fired transitions, 2200 secs || 102203633 markings, 2023394530 edges,
lola: 1942 tries, 1941992535 fired transitions, 2205 secs || 102437285 markings, 2027990238 edges,
lola: 1947 tries, 1946439007 fired transitions, 2210 secs || 102673427 markings, 2032585074 edges,
lola: 1951 tries, 1950888059 fired transitions, 2215 secs || 102905852 markings, 2037173433 edges,
lola: 1956 tries, 1955336272 fired transitions, 2220 secs || 103138622 markings, 2041720559 edges,
lola: 1960 tries, 1959785715 fired transitions, 2225 secs || 103371076 markings, 2046288771 edges,
lola: 1965 tries, 1964229560 fired transitions, 2230 secs || 103599954 markings, 2050774705 edges,
lola: 1969 tries, 1968672353 fired transitions, 2235 secs || 103833740 markings, 2055336445 edges,
lola: 1974 tries, 1973115969 fired transitions, 2240 secs || 104066411 markings, 2059910586 edges,
lola: 1978 tries, 1977547037 fired transitions, 2245 secs || 104298261 markings, 2064440756 edges,
lola: 1982 tries, 1981975221 fired transitions, 2250 secs || 104532895 markings, 2069028326 edges,
lola: 1987 tries, 1986405558 fired transitions, 2255 secs || 104765576 markings, 2073599664 edges,
lola: 1991 tries, 1990831058 fired transitions, 2260 secs || 104998782 markings, 2078147616 edges,
lola: 1996 tries, 1995221081 fired transitions, 2265 secs || 105233862 markings, 2082754510 edges,
lola: 2000 tries, 1999624062 fired transitions, 2270 secs || 105466949 markings, 2087322958 edges,
lola: 2005 tries, 2004037889 fired transitions, 2275 secs || 105700923 markings, 2091891023 edges,
lola: 2009 tries, 2008441481 fired transitions, 2280 secs || 105936577 markings, 2096496162 edges,
lola: 2013 tries, 2012824811 fired transitions, 2285 secs || 106171550 markings, 2101101078 edges,
lola: 2018 tries, 2017201566 fired transitions, 2290 secs || 106403801 markings, 2105633634 edges,
lola: 2022 tries, 2021592222 fired transitions, 2295 secs || 106638182 markings, 2110198201 edges,
lola: 2027 tries, 2026028127 fired transitions, 2300 secs || 106876612 markings, 2114935427 edges,
lola: 2031 tries, 2030463509 fired transitions, 2305 secs || 107114858 markings, 2119672972 edges,
lola: 2035 tries, 2034903420 fired transitions, 2310 secs || 107352892 markings, 2124384729 edges,
lola: 2040 tries, 2039340503 fired transitions, 2315 secs || 107588927 markings, 2129052467 edges,
lola: 2044 tries, 2043795649 fired transitions, 2320 secs || 107823652 markings, 2133688734 edges,
lola: 2049 tries, 2048221912 fired transitions, 2325 secs || 108057566 markings, 2138307232 edges,
lola: 2053 tries, 2052559416 fired transitions, 2330 secs || 108291611 markings, 2142914857 edges,
lola: 2057 tries, 2056881029 fired transitions, 2335 secs || 108524400 markings, 2147512493 edges,
lola: 2062 tries, 2061283863 fired transitions, 2340 secs || 108751275 markings, 2151982156 edges,
lola: 2066 tries, 2065584889 fired transitions, 2345 secs || 108975275 markings, 2156375086 edges,
lola: 2070 tries, 2069994234 fired transitions, 2350 secs || 109193392 markings, 2160682482 edges,
lola: 2075 tries, 2074405617 fired transitions, 2355 secs || 109415699 markings, 2165057674 edges,
lola: 2079 tries, 2078806947 fired transitions, 2360 secs || 109634755 markings, 2169357235 edges,
lola: 2084 tries, 2083189735 fired transitions, 2365 secs || 109858136 markings, 2173752147 edges,
lola: 2088 tries, 2087600084 fired transitions, 2370 secs || 110079780 markings, 2178118542 edges,
lola: 2093 tries, 2092036682 fired transitions, 2375 secs || 110302149 markings, 2182477517 edges,
lola: 2097 tries, 2096402298 fired transitions, 2380 secs || 110523730 markings, 2186836349 edges,
lola: 2101 tries, 2100822024 fired transitions, 2385 secs || 110744706 markings, 2191176244 edges,
lola: 2106 tries, 2105137683 fired transitions, 2390 secs || 110969738 markings, 2195590315 edges,
lola: 2110 tries, 2109571304 fired transitions, 2395 secs || 111195826 markings, 2200018375 edges,
lola: 2114 tries, 2113903173 fired transitions, 2400 secs || 111420074 markings, 2204427189 edges,
lola: 2119 tries, 2118266458 fired transitions, 2405 secs || 111648894 markings, 2208906798 edges,
lola: 2123 tries, 2122685013 fired transitions, 2410 secs || 111871263 markings, 2213277646 edges,
lola: 2128 tries, 2127096594 fired transitions, 2415 secs || 112095946 markings, 2217674255 edges,
lola: 2132 tries, 2131513631 fired transitions, 2420 secs || 112323334 markings, 2222134115 edges,
lola: 2136 tries, 2135893694 fired transitions, 2425 secs || 112552217 markings, 2226605134 edges,
lola: 2141 tries, 2140292025 fired transitions, 2430 secs || 112779886 markings, 2231088321 edges,
lola: 2145 tries, 2144734020 fired transitions, 2435 secs || 112999655 markings, 2235393906 edges,
lola: 2150 tries, 2149157689 fired transitions, 2440 secs || 113221140 markings, 2239717772 edges,
lola: 2154 tries, 2153573750 fired transitions, 2445 secs || 113442850 markings, 2244081457 edges,
lola: 2158 tries, 2157972593 fired transitions, 2450 secs || 113659729 markings, 2248310299 edges,
lola: 2163 tries, 2162364150 fired transitions, 2455 secs || 113878089 markings, 2252584783 edges,
lola: 2167 tries, 2166743652 fired transitions, 2460 secs || 114097747 markings, 2256898625 edges,
lola: 2172 tries, 2171150437 fired transitions, 2465 secs || 114315187 markings, 2261130228 edges,
lola: 2176 tries, 2175554099 fired transitions, 2470 secs || 114537431 markings, 2265482414 edges,
lola: 2180 tries, 2179971213 fired transitions, 2475 secs || 114754311 markings, 2269748722 edges,
lola: 2185 tries, 2184317282 fired transitions, 2480 secs || 114979900 markings, 2274152484 edges,
lola: 2189 tries, 2188638005 fired transitions, 2485 secs || 115202599 markings, 2278484618 edges,
lola: 2194 tries, 2193034872 fired transitions, 2490 secs || 115426340 markings, 2282885511 edges,
lola: 2198 tries, 2197410137 fired transitions, 2495 secs || 115644658 markings, 2287162048 edges,
lola: 2202 tries, 2201748509 fired transitions, 2500 secs || 115873488 markings, 2291614238 edges,
lola: 2207 tries, 2206149738 fired transitions, 2505 secs || 116104126 markings, 2296116828 edges,
lola: 2211 tries, 2210525104 fired transitions, 2510 secs || 116328965 markings, 2300526718 edges,
lola: 2215 tries, 2214930739 fired transitions, 2515 secs || 116547854 markings, 2304798765 edges,
lola: 2220 tries, 2219334444 fired transitions, 2520 secs || 116772012 markings, 2309163237 edges,
lola: 2224 tries, 2223752674 fired transitions, 2525 secs || 116996559 markings, 2313579282 edges,
lola: 2229 tries, 2228103331 fired transitions, 2530 secs || 117222479 markings, 2318077952 edges,
lola: 2233 tries, 2232480770 fired transitions, 2535 secs || 117450148 markings, 2322586748 edges,
lola: 2237 tries, 2236818132 fired transitions, 2540 secs || 117680238 markings, 2327142282 edges,
lola: 2242 tries, 2241227484 fired transitions, 2545 secs || 117903763 markings, 2331566846 edges,
lola: 2246 tries, 2245615115 fired transitions, 2550 secs || 118123999 markings, 2335911628 edges,
lola: 2251 tries, 2250048929 fired transitions, 2555 secs || 118350301 markings, 2340382579 edges,
lola: 2255 tries, 2254429127 fired transitions, 2560 secs || 118578460 markings, 2344882534 edges,
lola: 2259 tries, 2258851345 fired transitions, 2565 secs || 118805509 markings, 2349356405 edges,
lola: 2264 tries, 2263216112 fired transitions, 2570 secs || 119031064 markings, 2353796319 edges,
lola: 2268 tries, 2267593587 fired transitions, 2575 secs || 119259595 markings, 2358296558 edges,
lola: 2272 tries, 2271966165 fired transitions, 2580 secs || 119488766 markings, 2362790606 edges,
lola: 2277 tries, 2276373709 fired transitions, 2585 secs || 119717081 markings, 2367293463 edges,
lola: 2281 tries, 2280808918 fired transitions, 2590 secs || 119941101 markings, 2371705053 edges,
lola: 2286 tries, 2285173272 fired transitions, 2595 secs || 120171960 markings, 2376239063 edges,
lola: 2290 tries, 2289532454 fired transitions, 2600 secs || 120398131 markings, 2380677253 edges,
lola: 2294 tries, 2293879397 fired transitions, 2605 secs || 120626649 markings, 2385171563 edges,
lola: 2299 tries, 2298241981 fired transitions, 2610 secs || 120853511 markings, 2389614680 edges,
lola: 2303 tries, 2302577340 fired transitions, 2615 secs || 121080809 markings, 2394090221 edges,
lola: 2307 tries, 2306919121 fired transitions, 2620 secs || 121311215 markings, 2398591938 edges,
lola: 2312 tries, 2311260496 fired transitions, 2625 secs || 121540701 markings, 2403118305 edges,
lola: 2316 tries, 2315603971 fired transitions, 2630 secs || 121771679 markings, 2407617714 edges,
lola: 2320 tries, 2319941874 fired transitions, 2635 secs || 121999941 markings, 2412122994 edges,
lola: 2325 tries, 2324341516 fired transitions, 2640 secs || 122226331 markings, 2416556881 edges,
lola: 2329 tries, 2328723650 fired transitions, 2645 secs || 122454445 markings, 2421036097 edges,
lola: 2334 tries, 2333122661 fired transitions, 2650 secs || 122676275 markings, 2425381541 edges,
lola: 2338 tries, 2337499354 fired transitions, 2655 secs || 122906479 markings, 2429893482 edges,
lola: 2342 tries, 2341896558 fired transitions, 2660 secs || 123131563 markings, 2434310751 edges,
lola: 2347 tries, 2346324432 fired transitions, 2665 secs || 123355923 markings, 2438690898 edges,
lola: 2351 tries, 2350728639 fired transitions, 2670 secs || 123580991 markings, 2443109699 edges,
lola: 2356 tries, 2355133626 fired transitions, 2675 secs || 123800321 markings, 2447399151 edges,
lola: 2360 tries, 2359531274 fired transitions, 2680 secs || 124026850 markings, 2451819819 edges,
lola: 2364 tries, 2363923690 fired transitions, 2685 secs || 124251102 markings, 2456232213 edges,
lola: 2369 tries, 2368328336 fired transitions, 2690 secs || 124476473 markings, 2460639558 edges,
lola: 2373 tries, 2372763582 fired transitions, 2695 secs || 124701884 markings, 2465029580 edges,
lola: 2378 tries, 2377151237 fired transitions, 2700 secs || 124928160 markings, 2469472643 edges,
lola: 2382 tries, 2381562465 fired transitions, 2705 secs || 125147995 markings, 2473773183 edges,
lola: 2386 tries, 2385972615 fired transitions, 2710 secs || 125371620 markings, 2478130699 edges,
lola: 2391 tries, 2390371560 fired transitions, 2715 secs || 125599708 markings, 2482607424 edges,
lola: 2395 tries, 2394790852 fired transitions, 2720 secs || 125820414 markings, 2486927687 edges,
lola: 2400 tries, 2399217146 fired transitions, 2725 secs || 126038862 markings, 2491196617 edges,
lola: 2404 tries, 2403634977 fired transitions, 2730 secs || 126265834 markings, 2495597910 edges,
lola: 2409 tries, 2408036708 fired transitions, 2735 secs || 126494540 markings, 2500109227 edges,
lola: 2413 tries, 2412440315 fired transitions, 2740 secs || 126722034 markings, 2504551078 edges,
lola: 2417 tries, 2416863749 fired transitions, 2745 secs || 126949052 markings, 2508969174 edges,
lola: 2422 tries, 2421280638 fired transitions, 2750 secs || 127180834 markings, 2513473736 edges,
lola: 2426 tries, 2425678599 fired transitions, 2755 secs || 127407686 markings, 2517941009 edges,
lola: 2431 tries, 2430075316 fired transitions, 2760 secs || 127633506 markings, 2522347529 edges,
lola: 2435 tries, 2434465803 fired transitions, 2765 secs || 127862546 markings, 2526795878 edges,
lola: 2439 tries, 2438856714 fired transitions, 2770 secs || 128097047 markings, 2531378811 edges,
lola: 2444 tries, 2443248246 fired transitions, 2775 secs || 128333463 markings, 2536082081 edges,
lola: 2448 tries, 2447634551 fired transitions, 2780 secs || 128568796 markings, 2540752392 edges,
lola: 2453 tries, 2452041014 fired transitions, 2785 secs || 128803109 markings, 2545400391 edges,
lola: 2457 tries, 2456448151 fired transitions, 2790 secs || 129036956 markings, 2550019060 edges,
lola: 2461 tries, 2460827440 fired transitions, 2795 secs || 129269143 markings, 2554602339 edges,
lola: 2466 tries, 2465235345 fired transitions, 2800 secs || 129497881 markings, 2559117410 edges,
lola: 2470 tries, 2469650296 fired transitions, 2805 secs || 129728401 markings, 2563664607 edges,
lola: 2475 tries, 2474047278 fired transitions, 2810 secs || 129960044 markings, 2568228608 edges,
lola: 2479 tries, 2478446101 fired transitions, 2815 secs || 130190089 markings, 2572751327 edges,
lola: 2483 tries, 2482841024 fired transitions, 2820 secs || 130418019 markings, 2577249463 edges,
lola: 2488 tries, 2487233802 fired transitions, 2825 secs || 130646242 markings, 2581737484 edges,
lola: 2492 tries, 2491623248 fired transitions, 2830 secs || 130873074 markings, 2586197026 edges,
lola: 2497 tries, 2496044325 fired transitions, 2835 secs || 131102160 markings, 2590706383 edges,
lola: 2501 tries, 2500467421 fired transitions, 2840 secs || 131333776 markings, 2595255290 edges,
lola: 2505 tries, 2504893655 fired transitions, 2845 secs || 131561966 markings, 2599735623 edges,
lola: 2510 tries, 2509310043 fired transitions, 2850 secs || 131789086 markings, 2604204158 edges,
lola: 2514 tries, 2513705927 fired transitions, 2855 secs || 132019102 markings, 2608695117 edges,
lola: 2519 tries, 2518099611 fired transitions, 2860 secs || 132247392 markings, 2613203054 edges,
lola: 2523 tries, 2522484715 fired transitions, 2865 secs || 132476939 markings, 2617697237 edges,
lola: 2527 tries, 2526869105 fired transitions, 2870 secs || 132702500 markings, 2622129879 edges,
lola: 2532 tries, 2531246949 fired transitions, 2875 secs || 132930041 markings, 2626574369 edges,
lola: 2536 tries, 2535620878 fired transitions, 2880 secs || 133157495 markings, 2631064775 edges,
lola: 2540 tries, 2539996467 fired transitions, 2885 secs || 133387642 markings, 2635555435 edges,
lola: 2545 tries, 2544371628 fired transitions, 2890 secs || 133616279 markings, 2640060362 edges,
lola: 2549 tries, 2548741814 fired transitions, 2895 secs || 133844797 markings, 2644515807 edges,
lola: 2554 tries, 2553105062 fired transitions, 2900 secs || 134074368 markings, 2649028777 edges,
lola: 2558 tries, 2557470903 fired transitions, 2905 secs || 134299745 markings, 2653444623 edges,
lola: 2562 tries, 2561842955 fired transitions, 2910 secs || 134527050 markings, 2657883099 edges,
lola: 2567 tries, 2566251022 fired transitions, 2915 secs || 134756989 markings, 2662402662 edges,
lola: 2571 tries, 2570654357 fired transitions, 2920 secs || 134984129 markings, 2666846590 edges,
lola: 2576 tries, 2575060875 fired transitions, 2925 secs || 135214883 markings, 2671352102 edges,
lola: 2580 tries, 2579486989 fired transitions, 2930 secs || 135442947 markings, 2675836376 edges,
lola: 2584 tries, 2583915053 fired transitions, 2935 secs || 135669469 markings, 2680261260 edges,
lola: 2589 tries, 2588329102 fired transitions, 2940 secs || 135899492 markings, 2684748207 edges,
lola: 2593 tries, 2592733637 fired transitions, 2945 secs || 136129068 markings, 2689258251 edges,
lola: 2598 tries, 2597117458 fired transitions, 2950 secs || 136355107 markings, 2693679462 edges,
lola: 2602 tries, 2601502358 fired transitions, 2955 secs || 136584452 markings, 2698134795 edges,
lola: 2606 tries, 2605901357 fired transitions, 2960 secs || 136812764 markings, 2702627236 edges,
lola: 2611 tries, 2610292214 fired transitions, 2965 secs || 137037502 markings, 2707020710 edges,
lola: 2615 tries, 2614657572 fired transitions, 2970 secs || 137263711 markings, 2711424369 edges,
lola: 2620 tries, 2619051936 fired transitions, 2975 secs || 137490430 markings, 2715858816 edges,
lola: 2624 tries, 2623489210 fired transitions, 2980 secs || 137715555 markings, 2720274961 edges,
lola: 2628 tries, 2627926046 fired transitions, 2985 secs || 137938810 markings, 2724628530 edges,
lola: 2633 tries, 2632369729 fired transitions, 2990 secs || 138163907 markings, 2729003793 edges,
lola: 2637 tries, 2636806137 fired transitions, 2995 secs || 138392140 markings, 2733466565 edges,
lola: 2642 tries, 2641240834 fired transitions, 3000 secs || 138615884 markings, 2737859236 edges,
lola: 2646 tries, 2645671610 fired transitions, 3005 secs || 138841179 markings, 2742251731 edges,
lola: 2651 tries, 2650101282 fired transitions, 3010 secs || 139070244 markings, 2746703482 edges,
lola: 2655 tries, 2654539747 fired transitions, 3015 secs || 139300800 markings, 2751206151 edges,
lola: 2659 tries, 2658992537 fired transitions, 3020 secs || 139526870 markings, 2755631220 edges,
lola: 2664 tries, 2663445302 fired transitions, 3025 secs || 139753244 markings, 2760044605 edges,
lola: 2668 tries, 2667901596 fired transitions, 3030 secs || 139979383 markings, 2764439309 edges,
lola: 2673 tries, 2672348757 fired transitions, 3035 secs || 140211992 markings, 2768965511 edges,
lola: 2677 tries, 2676760341 fired transitions, 3040 secs || 140446977 markings, 2773652869 edges,
lola: 2682 tries, 2681160089 fired transitions, 3045 secs || 140685194 markings, 2778376688 edges,
lola: 2686 tries, 2685561355 fired transitions, 3050 secs || 140921724 markings, 2783060257 edges,
lola: 2690 tries, 2689954896 fired transitions, 3055 secs || 141160615 markings, 2787780419 edges,
lola: 2695 tries, 2694354014 fired transitions, 3060 secs || 141400022 markings, 2792497261 edges,
lola: 2699 tries, 2698767556 fired transitions, 3065 secs || 141634922 markings, 2797144226 edges,
lola: 2704 tries, 2703184982 fired transitions, 3070 secs || 141867694 markings, 2801738613 edges,
lola: 2708 tries, 2707602042 fired transitions, 3075 secs || 142101049 markings, 2806338629 edges,
lola: 2713 tries, 2712019530 fired transitions, 3080 secs || 142337536 markings, 2810984433 edges,
lola: 2717 tries, 2716434071 fired transitions, 3085 secs || 142573349 markings, 2815637844 edges,
lola: 2721 tries, 2720848291 fired transitions, 3090 secs || 142808797 markings, 2820265410 edges,
lola: 2726 tries, 2725264150 fired transitions, 3095 secs || 143042880 markings, 2824861188 edges,
lola: 2730 tries, 2729674831 fired transitions, 3100 secs || 143274663 markings, 2829426100 edges,
lola: 2735 tries, 2734075761 fired transitions, 3105 secs || 143510401 markings, 2834063201 edges,
lola: 2739 tries, 2738475850 fired transitions, 3110 secs || 143746647 markings, 2838691706 edges,
lola: 2743 tries, 2742874125 fired transitions, 3115 secs || 143977654 markings, 2843238170 edges,
lola: 2748 tries, 2747256590 fired transitions, 3120 secs || 144209465 markings, 2847789060 edges,
lola: 2752 tries, 2751644829 fired transitions, 3125 secs || 144442591 markings, 2852369243 edges,
lola: 2757 tries, 2756023641 fired transitions, 3130 secs || 144678031 markings, 2856985393 edges,
lola: 2761 tries, 2760413231 fired transitions, 3135 secs || 144910803 markings, 2861537975 edges,
lola: 2765 tries, 2764794106 fired transitions, 3140 secs || 145145022 markings, 2866146875 edges,
lola: 2770 tries, 2769172421 fired transitions, 3145 secs || 145377197 markings, 2870687775 edges,
lola: 2774 tries, 2773548471 fired transitions, 3150 secs || 145610907 markings, 2875278170 edges,
lola: 2778 tries, 2777926482 fired transitions, 3155 secs || 145843305 markings, 2879840657 edges,
lola: 2783 tries, 2782307798 fired transitions, 3160 secs || 146076849 markings, 2884401213 edges,
lola: 2787 tries, 2786707787 fired transitions, 3165 secs || 146307586 markings, 2888945902 edges,
lola: 2792 tries, 2791109605 fired transitions, 3170 secs || 146538518 markings, 2893457837 edges,
lola: 2796 tries, 2795488395 fired transitions, 3175 secs || 146772773 markings, 2898050509 edges,
lola: 2800 tries, 2799922243 fired transitions, 3180 secs || 147004420 markings, 2902592458 edges,
lola: 2805 tries, 2804380944 fired transitions, 3185 secs || 147239693 markings, 2907178309 edges,
lola: 2809 tries, 2808904252 fired transitions, 3190 secs || 147478813 markings, 2911875635 edges,
lola: 2814 tries, 2813434224 fired transitions, 3195 secs || 147715230 markings, 2916504003 edges,
lola: 2818 tries, 2817897269 fired transitions, 3200 secs || 147951140 markings, 2921097543 edges,
lola: 2823 tries, 2822401306 fired transitions, 3205 secs || 148190752 markings, 2925809016 edges,
lola: 2827 tries, 2826870541 fired transitions, 3210 secs || 148424754 markings, 2930392778 edges,
lola: 2832 tries, 2831284326 fired transitions, 3215 secs || 148657963 markings, 2934930947 edges,
lola: 2836 tries, 2835532661 fired transitions, 3220 secs || 148883792 markings, 2939348024 edges,
lola: 2840 tries, 2839913000 fired transitions, 3225 secs || 149109926 markings, 2943785327 edges,
lola: 2845 tries, 2844187386 fired transitions, 3230 secs || 149329212 markings, 2948060074 edges,
lola: 2849 tries, 2848449253 fired transitions, 3235 secs || 149556554 markings, 2952488886 edges,
lola: 2853 tries, 2852749082 fired transitions, 3240 secs || 149784869 markings, 2956977502 edges,
lola: 2858 tries, 2857080968 fired transitions, 3245 secs || 150012392 markings, 2961426247 edges,
lola: 2862 tries, 2861184894 fired transitions, 3250 secs || 150228460 markings, 2965630068 edges,
lola: 2866 tries, 2865383202 fired transitions, 3255 secs || 150452287 markings, 2969993517 edges,
lola: 2870 tries, 2869420942 fired transitions, 3260 secs || 150664145 markings, 2974151569 edges,
lola: 2874 tries, 2873446306 fired transitions, 3265 secs || 150874606 markings, 2978254821 edges,
lola: 2878 tries, 2877600903 fired transitions, 3270 secs || 151091577 markings, 2982488458 edges,
lola: 2882 tries, 2881698350 fired transitions, 3275 secs || 151307581 markings, 2986660587 edges,
lola: 2886 tries, 2885807979 fired transitions, 3280 secs || 151526818 markings, 2990978287 edges,
lola: 2890 tries, 2889959719 fired transitions, 3285 secs || 151745023 markings, 2995239917 edges,
lola: 2895 tries, 2894076065 fired transitions, 3290 secs || 151959871 markings, 2999427623 edges,
lola: 2899 tries, 2898453433 fired transitions, 3295 secs || 152189813 markings, 3003889961 edges,
lola: 2903 tries, 2902674764 fired transitions, 3300 secs || 152414742 markings, 3008273155 edges,
lola: 2907 tries, 2906725978 fired transitions, 3305 secs || 152627732 markings, 3012452904 edges,
lola: 2911 tries, 2910825204 fired transitions, 3310 secs || 152843874 markings, 3016664404 edges,
lola: 2915 tries, 2914983826 fired transitions, 3315 secs || 153061673 markings, 3020892135 edges,
lola: 2920 tries, 2919210409 fired transitions, 3320 secs || 153283949 markings, 3025183111 edges,
lola: 2924 tries, 2923237791 fired transitions, 3325 secs || 153499053 markings, 3029423232 edges,
lola: 2928 tries, 2927408823 fired transitions, 3330 secs || 153719924 markings, 3033814170 edges,
lola: 2932 tries, 2931809458 fired transitions, 3335 secs || 153955091 markings, 3038485011 edges,
lola: 2937 tries, 2936173724 fired transitions, 3340 secs || 154188383 markings, 3043099919 edges,
lola: 2941 tries, 2940570579 fired transitions, 3345 secs || 154420708 markings, 3047692030 edges,
lola: 2945 tries, 2944976397 fired transitions, 3350 secs || 154650877 markings, 3052237709 edges,
lola: 2950 tries, 2949356661 fired transitions, 3355 secs || 154881271 markings, 3056785448 edges,
lola: 2954 tries, 2953710235 fired transitions, 3360 secs || 155109453 markings, 3061283865 edges,
lola: 2959 tries, 2958032230 fired transitions, 3365 secs || 155336568 markings, 3065762766 edges,
lola: 2963 tries, 2962493007 fired transitions, 3370 secs || 155571983 markings, 3070393449 edges,
lola: 2967 tries, 2966952783 fired transitions, 3375 secs || 155806613 markings, 3075019667 edges,
lola: 2972 tries, 2971444237 fired transitions, 3380 secs || 156042780 markings, 3079663779 edges,
lola: 2976 tries, 2975927396 fired transitions, 3385 secs || 156280033 markings, 3084318519 edges,
lola: 2981 tries, 2980356219 fired transitions, 3390 secs || 156511093 markings, 3088863244 edges,
lola: 2985 tries, 2984752220 fired transitions, 3395 secs || 156741594 markings, 3093406134 edges,
lola: 2990 tries, 2989183158 fired transitions, 3400 secs || 156974311 markings, 3097949463 edges,
lola: 2994 tries, 2993564260 fired transitions, 3405 secs || 157202666 markings, 3102453741 edges,
lola: 2998 tries, 2997924619 fired transitions, 3410 secs || 157432739 markings, 3106974072 edges,
lola: 3003 tries, 3002278358 fired transitions, 3415 secs || 157661782 markings, 3111466494 edges,
lola: 3007 tries, 3006648651 fired transitions, 3420 secs || 157893698 markings, 3116020557 edges,
lola: 3012 tries, 3011053158 fired transitions, 3425 secs || 158123545 markings, 3120524014 edges,
lola: 3016 tries, 3015491692 fired transitions, 3430 secs || 158356971 markings, 3125107139 edges,
lola: 3020 tries, 3019941728 fired transitions, 3435 secs || 158590970 markings, 3129693960 edges,
lola: 3025 tries, 3024407311 fired transitions, 3440 secs || 158828186 markings, 3134343812 edges,
lola: 3029 tries, 3028796188 fired transitions, 3445 secs || 159058518 markings, 3138861565 edges,
lola: 3034 tries, 3033193104 fired transitions, 3450 secs || 159291552 markings, 3143415048 edges,
lola: 3038 tries, 3037655291 fired transitions, 3455 secs || 159525062 markings, 3148012021 edges,
lola: 3043 tries, 3042112228 fired transitions, 3460 secs || 159758014 markings, 3152559906 edges,
lola: 3047 tries, 3046479544 fired transitions, 3465 secs || 159988503 markings, 3157080285 edges,
lola: 3051 tries, 3050881572 fired transitions, 3470 secs || 160217967 markings, 3161568377 edges,
lola: 3056 tries, 3055304450 fired transitions, 3475 secs || 160448615 markings, 3166079295 edges,
lola: 3060 tries, 3059672416 fired transitions, 3480 secs || 160677157 markings, 3170569985 edges,
lola: 3065 tries, 3064158117 fired transitions, 3485 secs || 160910059 markings, 3175134540 edges,
lola: 3069 tries, 3068644826 fired transitions, 3490 secs || 161147235 markings, 3179745473 edges,
lola: 3074 tries, 3073107479 fired transitions, 3495 secs || 161380651 markings, 3184338375 edges,
lola: 3078 tries, 3077557776 fired transitions, 3500 secs || 161611013 markings, 3188841288 edges,
lola: 3082 tries, 3081992438 fired transitions, 3505 secs || 161842878 markings, 3193359012 edges,
lola: 3087 tries, 3086419343 fired transitions, 3510 secs || 162074001 markings, 3197893518 edges,
lola: 3091 tries, 3090861275 fired transitions, 3515 secs || 162300819 markings, 3202333598 edges,
lola: 3096 tries, 3095266054 fired transitions, 3520 secs || 162529244 markings, 3206790246 edges,
lola: 3100 tries, 3099605336 fired transitions, 3525 secs || 162755794 markings, 3211199233 edges,
lola: 3105 tries, 3104030712 fired transitions, 3530 secs || 162986871 markings, 3215742178 edges,
lola: 3109 tries, 3108425765 fired transitions, 3535 secs || 163215676 markings, 3220215086 edges,
lola: 3113 tries, 3112835286 fired transitions, 3540 secs || 163449050 markings, 3224750838 edges,
lola: 3118 tries, 3117234797 fired transitions, 3545 secs || 163681637 markings, 3229293309 edges,
lola: 3122 tries, 3121614902 fired transitions, 3550 secs || 163908169 markings, 3233740203 edges,
lola: 3127 tries, 3126021465 fired transitions, 3555 secs || 164134049 markings, 3238139886 edges,
lola: 3131 tries, 3130373897 fired transitions, 3560 secs || 164360074 markings, 3242536064 edges,
lola: time limit reached - aborting
lola: memory consumption: 6662152 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 6670112 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552776671416

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 46591 markings/sec, 0 secs 46048 markings/sec, 5 secs 45459 markings/sec, 10 secs 45465 markings/sec, 15 secs 44979 markings/sec, 20 secs 45278 markings/sec, 25 secs 44287 markings/sec, 30 secs 45019 markings/sec, 35 secs 44744 markings/sec, 40 secs 44446 markings/sec, 45 secs 43904 markings/sec, 50 secs 44876 markings/sec, 55 secs 44803 markings/sec, 60 secs 45006 markings/sec, 65 secs 44785 markings/sec, 70 secs 45051 markings/sec, 75 secs 44609 markings/sec, 80 secs 45293 markings/sec, 85 secs 44654 markings/sec, 90 secs 44711 markings/sec, 95 secs 44758 markings/sec, 100 secs 45531 markings/sec, 105 secs 45693 markings/sec, 110 secs 45824 markings/sec, 115 secs 44960 markings/sec, 120 secs 45005 markings/sec, 125 secs 45839 markings/sec, 130 secs 47114 markings/sec, 135 secs 44810 markings/sec, 140 secs 46472 markings/sec, 145 secs 45952 markings/sec, 150 secs 45986 markings/sec, 155 secs 46197 markings/sec, 160 secs 46048 markings/sec, 165 secs 45989 markings/sec, 170 secs 46387 markings/sec, 175 secs 45821 markings/sec, 180 secs 48381 markings/sec, 185 secs 44046 markings/sec, 190 secs 46351 markings/sec, 195 secs 47366 markings/sec, 200 secs 44885 markings/sec, 205 secs 47251 markings/sec, 210 secs 46865 markings/sec, 215 secs 44320 markings/sec, 220 secs 46468 markings/sec, 225 secs 48339 markings/sec, 230 secs 43518 markings/sec, 235 secs 45482 markings/sec, 240 secs 48581 markings/sec, 245 secs 46692 markings/sec, 250 secs 44142 markings/sec, 255 secs 46156 markings/sec, 260 secs 48105 markings/sec, 265 secs 47169 markings/sec, 270 secs 43736 markings/sec, 275 secs 45265 markings/sec, 280 secs 48480 markings/sec, 285 secs 47661 markings/sec, 290 secs 44930 markings/sec, 295 secs 43811 markings/sec, 300 secs 46113 markings/sec, 305 secs 47567 markings/sec, 310 secs 47061 markings/sec, 315 secs 46224 markings/sec, 320 secs 43443 markings/sec, 325 secs 45501 markings/sec, 330 secs 47525 markings/sec, 335 secs 47369 markings/sec, 340 secs 47397 markings/sec, 345 secs 45024 markings/sec, 350 secs 44038 markings/sec, 355 secs 46321 markings/sec, 360 secs 48069 markings/sec, 365 secs 47240 markings/sec, 370 secs 47755 markings/sec, 375 secs 47996 markings/sec, 380 secs 43510 markings/sec, 385 secs 45196 markings/sec, 390 secs 47463 markings/sec, 395 secs 47143 markings/sec, 400 secs 47049 markings/sec, 405 secs 47441 markings/sec, 410 secs 47861 markings/sec, 415 secs 42988 markings/sec, 420 secs 44997 markings/sec, 425 secs 46958 markings/sec, 430 secs 47499 markings/sec, 435 secs 46925 markings/sec, 440 secs 46891 markings/sec, 445 secs 47062 markings/sec, 450 secs 47455 markings/sec, 455 secs 44216 markings/sec, 460 secs 44648 markings/sec, 465 secs 46405 markings/sec, 470 secs 47045 markings/sec, 475 secs 47247 markings/sec, 480 secs 46820 markings/sec, 485 secs 46930 markings/sec, 490 secs 48005 markings/sec, 495 secs 48233 markings/sec, 500 secs 43524 markings/sec, 505 secs 44344 markings/sec, 510 secs 46881 markings/sec, 515 secs 47347 markings/sec, 520 secs 47320 markings/sec, 525 secs 47596 markings/sec, 530 secs 45759 markings/sec, 535 secs 47266 markings/sec, 540 secs 47534 markings/sec, 545 secs 48137 markings/sec, 550 secs 43161 markings/sec, 555 secs 44095 markings/sec, 560 secs 46057 markings/sec, 565 secs 46661 markings/sec, 570 secs 46532 markings/sec, 575 secs 46622 markings/sec, 580 secs 46543 markings/sec, 585 secs 46795 markings/sec, 590 secs 46537 markings/sec, 595 secs 46972 markings/sec, 600 secs 47538 markings/sec, 605 secs 43654 markings/sec, 610 secs 43596 markings/sec, 615 secs 45388 markings/sec, 620 secs 46618 markings/sec, 625 secs 46222 markings/sec, 630 secs 46270 markings/sec, 635 secs 46900 markings/sec, 640 secs 46379 markings/sec, 645 secs 46351 markings/sec, 650 secs 47014 markings/sec, 655 secs 47433 markings/sec, 660 secs 47795 markings/sec, 665 secs 46456 markings/sec, 670 secs 42964 markings/sec, 675 secs 44874 markings/sec, 680 secs 46819 markings/sec, 685 secs 46272 markings/sec, 690 secs 46725 markings/sec, 695 secs 46887 markings/sec, 700 secs 46689 markings/sec, 705 secs 46972 markings/sec, 710 secs 46622 markings/sec, 715 secs 46720 markings/sec, 720 secs 46869 markings/sec, 725 secs 47409 markings/sec, 730 secs 48054 markings/sec, 735 secs 44728 markings/sec, 740 secs 44016 markings/sec, 745 secs 45693 markings/sec, 750 secs 47175 markings/sec, 755 secs 46148 markings/sec, 760 secs 46524 markings/sec, 765 secs 46622 markings/sec, 770 secs 46315 markings/sec, 775 secs 46633 markings/sec, 780 secs 46215 markings/sec, 785 secs 46435 markings/sec, 790 secs 46940 markings/sec, 795 secs 46897 markings/sec, 800 secs 47213 markings/sec, 805 secs 47197 markings/sec, 810 secs 45260 markings/sec, 815 secs 43071 markings/sec, 820 secs 44629 markings/sec, 825 secs 46934 markings/sec, 830 secs 46108 markings/sec, 835 secs 46137 markings/sec, 840 secs 46143 markings/sec, 845 secs 46510 markings/sec, 850 secs 45936 markings/sec, 855 secs 46520 markings/sec, 860 secs 46253 markings/sec, 865 secs 46206 markings/sec, 870 secs 46237 markings/sec, 875 secs 46243 markings/sec, 880 secs 46990 markings/sec, 885 secs 47441 markings/sec, 890 secs 47106 markings/sec, 895 secs 44380 markings/sec, 900 secs 43861 markings/sec, 905 secs 45546 markings/sec, 910 secs 47512 markings/sec, 915 secs 46548 markings/sec, 920 secs 46340 markings/sec, 925 secs 46762 markings/sec, 930 secs 46404 markings/sec, 935 secs 46532 markings/sec, 940 secs 46625 markings/sec, 945 secs 46678 markings/sec, 950 secs 46774 markings/sec, 955 secs 46649 markings/sec, 960 secs 46618 markings/sec, 965 secs 46694 markings/sec, 970 secs 47394 markings/sec, 975 secs 47304 markings/sec, 980 secs 47367 markings/sec, 985 secs 46862 markings/sec, 990 secs 42451 markings/sec, 995 secs 44188 markings/sec, 1000 secs 46410 markings/sec, 1005 secs 46481 markings/sec, 1010 secs 46095 markings/sec, 1015 secs 46272 markings/sec, 1020 secs 46150 markings/sec, 1025 secs 46482 markings/sec, 1030 secs 46966 markings/sec, 1035 secs 46776 markings/sec, 1040 secs 46811 markings/sec, 1045 secs 46157 markings/sec, 1050 secs 46734 markings/sec, 1055 secs 46652 markings/sec, 1060 secs 47286 markings/sec, 1065 secs 46467 markings/sec, 1070 secs 46251 markings/sec, 1075 secs 46329 markings/sec, 1080 secs 47598 markings/sec, 1085 secs 47678 markings/sec, 1090 secs 43721 markings/sec, 1095 secs 43954 markings/sec, 1100 secs 45942 markings/sec, 1105 secs 47707 markings/sec, 1110 secs 46281 markings/sec, 1115 secs 46490 markings/sec, 1120 secs 46478 markings/sec, 1125 secs 46026 markings/sec, 1130 secs 46026 markings/sec, 1135 secs 46148 markings/sec, 1140 secs 46805 markings/sec, 1145 secs 47025 markings/sec, 1150 secs 47089 markings/sec, 1155 secs 46302 markings/sec, 1160 secs 46245 markings/sec, 1165 secs 46403 markings/sec, 1170 secs 46675 markings/sec, 1175 secs 46683 markings/sec, 1180 secs 47071 markings/sec, 1185 secs 46669 markings/sec, 1190 secs 47352 markings/sec, 1195 secs 47057 markings/sec, 1200 secs 47681 markings/sec, 1205 secs 47535 markings/sec, 1210 secs 47588 markings/sec, 1215 secs 47598 markings/sec, 1220 secs 47719 markings/sec, 1225 secs 47187 markings/sec, 1230 secs 47435 markings/sec, 1235 secs 47093 markings/sec, 1240 secs 47451 markings/sec, 1245 secs 47315 markings/sec, 1250 secs 47157 markings/sec, 1255 secs 47151 markings/sec, 1260 secs 47196 markings/sec, 1265 secs 47382 markings/sec, 1270 secs 46979 markings/sec, 1275 secs 47742 markings/sec, 1280 secs 47242 markings/sec, 1285 secs 47385 markings/sec, 1290 secs 46448 markings/sec, 1295 secs 46455 markings/sec, 1300 secs 46214 markings/sec, 1305 secs 46898 markings/sec, 1310 secs 46652 markings/sec, 1315 secs 47318 markings/sec, 1320 secs 47141 markings/sec, 1325 secs 47046 markings/sec, 1330 secs 46919 markings/sec, 1335 secs 46744 markings/sec, 1340 secs 46613 markings/sec, 1345 secs 46652 markings/sec, 1350 secs 46563 markings/sec, 1355 secs 46557 markings/sec, 1360 secs 46159 markings/sec, 1365 secs 46029 markings/sec, 1370 secs 46305 markings/sec, 1375 secs 46166 markings/sec, 1380 secs 45871 markings/sec, 1385 secs 45898 markings/sec, 1390 secs 45624 markings/sec, 1395 secs 45239 markings/sec, 1400 secs 45687 markings/sec, 1405 secs 45229 markings/sec, 1410 secs 45992 markings/sec, 1415 secs 45597 markings/sec, 1420 secs 46321 markings/sec, 1425 secs 45606 markings/sec, 1430 secs 46320 markings/sec, 1435 secs 46184 markings/sec, 1440 secs 46434 markings/sec, 1445 secs 47476 markings/sec, 1450 secs 47621 markings/sec, 1455 secs 47478 markings/sec, 1460 secs 47329 markings/sec, 1465 secs 47094 markings/sec, 1470 secs 47084 markings/sec, 1475 secs 46731 markings/sec, 1480 secs 46748 markings/sec, 1485 secs 46743 markings/sec, 1490 secs 46866 markings/sec, 1495 secs 46884 markings/sec, 1500 secs 46858 markings/sec, 1505 secs 46366 markings/sec, 1510 secs 46461 markings/sec, 1515 secs 46214 markings/sec, 1520 secs 46604 markings/sec, 1525 secs 46553 markings/sec, 1530 secs 46776 markings/sec, 1535 secs 46995 markings/sec, 1540 secs 45942 markings/sec, 1545 secs 45979 markings/sec, 1550 secs 46463 markings/sec, 1555 secs 46630 markings/sec, 1560 secs 46648 markings/sec, 1565 secs 46507 markings/sec, 1570 secs 46619 markings/sec, 1575 secs 46171 markings/sec, 1580 secs 46506 markings/sec, 1585 secs 47079 markings/sec, 1590 secs 46978 markings/sec, 1595 secs 46611 markings/sec, 1600 secs 46406 markings/sec, 1605 secs 47392 markings/sec, 1610 secs 46909 markings/sec, 1615 secs 46727 markings/sec, 1620 secs 46570 markings/sec, 1625 secs 46498 markings/sec, 1630 secs 46834 markings/sec, 1635 secs 46965 markings/sec, 1640 secs 46817 markings/sec, 1645 secs 47036 markings/sec, 1650 secs 46909 markings/sec, 1655 secs 46381 markings/sec, 1660 secs 46930 markings/sec, 1665 secs 46838 markings/sec, 1670 secs 47020 markings/sec, 1675 secs 47014 markings/sec, 1680 secs 46013 markings/sec, 1685 secs 46290 markings/sec, 1690 secs 45953 markings/sec, 1695 secs 45473 markings/sec, 1700 secs 46198 markings/sec, 1705 secs 45698 markings/sec, 1710 secs 46435 markings/sec, 1715 secs 46191 markings/sec, 1720 secs 46948 markings/sec, 1725 secs 46336 markings/sec, 1730 secs 45624 markings/sec, 1735 secs 46238 markings/sec, 1740 secs 46619 markings/sec, 1745 secs 47764 markings/sec, 1750 secs 46674 markings/sec, 1755 secs 46581 markings/sec, 1760 secs 46560 markings/sec, 1765 secs 46787 markings/sec, 1770 secs 45982 markings/sec, 1775 secs 46286 markings/sec, 1780 secs 46116 markings/sec, 1785 secs 46174 markings/sec, 1790 secs 46239 markings/sec, 1795 secs 46078 markings/sec, 1800 secs 46152 markings/sec, 1805 secs 46269 markings/sec, 1810 secs 46164 markings/sec, 1815 secs 46781 markings/sec, 1820 secs 46650 markings/sec, 1825 secs 46026 markings/sec, 1830 secs 45996 markings/sec, 1835 secs 45633 markings/sec, 1840 secs 46350 markings/sec, 1845 secs 46374 markings/sec, 1850 secs 46751 markings/sec, 1855 secs 46919 markings/sec, 1860 secs 46474 markings/sec, 1865 secs 47115 markings/sec, 1870 secs 45804 markings/sec, 1875 secs 46073 markings/sec, 1880 secs 46750 markings/sec, 1885 secs 46386 markings/sec, 1890 secs 47008 markings/sec, 1895 secs 46575 markings/sec, 1900 secs 46709 markings/sec, 1905 secs 47267 markings/sec, 1910 secs 46830 markings/sec, 1915 secs 47734 markings/sec, 1920 secs 47426 markings/sec, 1925 secs 46734 markings/sec, 1930 secs 46849 markings/sec, 1935 secs 46491 markings/sec, 1940 secs 46411 markings/sec, 1945 secs 46717 markings/sec, 1950 secs 46145 markings/sec, 1955 secs 46123 markings/sec, 1960 secs 46460 markings/sec, 1965 secs 46436 markings/sec, 1970 secs 46119 markings/sec, 1975 secs 46442 markings/sec, 1980 secs 46091 markings/sec, 1985 secs 46117 markings/sec, 1990 secs 46359 markings/sec, 1995 secs 45903 markings/sec, 2000 secs 46501 markings/sec, 2005 secs 45792 markings/sec, 2010 secs 46097 markings/sec, 2015 secs 45330 markings/sec, 2020 secs 45868 markings/sec, 2025 secs 45400 markings/sec, 2030 secs 45528 markings/sec, 2035 secs 45749 markings/sec, 2040 secs 45086 markings/sec, 2045 secs 45441 markings/sec, 2050 secs 45637 markings/sec, 2055 secs 45381 markings/sec, 2060 secs 46151 markings/sec, 2065 secs 45705 markings/sec, 2070 secs 45570 markings/sec, 2075 secs 46168 markings/sec, 2080 secs 45718 markings/sec, 2085 secs 45466 markings/sec, 2090 secs 46620 markings/sec, 2095 secs 47101 markings/sec, 2100 secs 47284 markings/sec, 2105 secs 46915 markings/sec, 2110 secs 47384 markings/sec, 2115 secs 46033 markings/sec, 2120 secs 47144 markings/sec, 2125 secs 47188 markings/sec, 2130 secs 46931 markings/sec, 2135 secs 46323 markings/sec, 2140 secs 46270 markings/sec, 2145 secs 46180 markings/sec, 2150 secs 46767 markings/sec, 2155 secs 46937 markings/sec, 2160 secs 46939 markings/sec, 2165 secs 46843 markings/sec, 2170 secs 46642 markings/sec, 2175 secs 46565 markings/sec, 2180 secs 46590 markings/sec, 2185 secs 46996 markings/sec, 2190 secs 46635 markings/sec, 2195 secs 47102 markings/sec, 2200 secs 46730 markings/sec, 2205 secs 47228 markings/sec, 2210 secs 46485 markings/sec, 2215 secs 46554 markings/sec, 2220 secs 46491 markings/sec, 2225 secs 45776 markings/sec, 2230 secs 46757 markings/sec, 2235 secs 46534 markings/sec, 2240 secs 46370 markings/sec, 2245 secs 46927 markings/sec, 2250 secs 46536 markings/sec, 2255 secs 46641 markings/sec, 2260 secs 47016 markings/sec, 2265 secs 46617 markings/sec, 2270 secs 46795 markings/sec, 2275 secs 47131 markings/sec, 2280 secs 46995 markings/sec, 2285 secs 46450 markings/sec, 2290 secs 46876 markings/sec, 2295 secs 47686 markings/sec, 2300 secs 47649 markings/sec, 2305 secs 47607 markings/sec, 2310 secs 47207 markings/sec, 2315 secs 46945 markings/sec, 2320 secs 46783 markings/sec, 2325 secs 46809 markings/sec, 2330 secs 46558 markings/sec, 2335 secs 45375 markings/sec, 2340 secs 44800 markings/sec, 2345 secs 43623 markings/sec, 2350 secs 44461 markings/sec, 2355 secs 43811 markings/sec, 2360 secs 44676 markings/sec, 2365 secs 44329 markings/sec, 2370 secs 44474 markings/sec, 2375 secs 44316 markings/sec, 2380 secs 44195 markings/sec, 2385 secs 45006 markings/sec, 2390 secs 45218 markings/sec, 2395 secs 44850 markings/sec, 2400 secs 45764 markings/sec, 2405 secs 44474 markings/sec, 2410 secs 44937 markings/sec, 2415 secs 45478 markings/sec, 2420 secs 45777 markings/sec, 2425 secs 45534 markings/sec, 2430 secs 43954 markings/sec, 2435 secs 44297 markings/sec, 2440 secs 44342 markings/sec, 2445 secs 43376 markings/sec, 2450 secs 43672 markings/sec, 2455 secs 43932 markings/sec, 2460 secs 43488 markings/sec, 2465 secs 44449 markings/sec, 2470 secs 43376 markings/sec, 2475 secs 45118 markings/sec, 2480 secs 44540 markings/sec, 2485 secs 44748 markings/sec, 2490 secs 43664 markings/sec, 2495 secs 45766 markings/sec, 2500 secs 46128 markings/sec, 2505 secs 44968 markings/sec, 2510 secs 43778 markings/sec, 2515 secs 44832 markings/sec, 2520 secs 44909 markings/sec, 2525 secs 45184 markings/sec, 2530 secs 45534 markings/sec, 2535 secs 46018 markings/sec, 2540 secs 44705 markings/sec, 2545 secs 44047 markings/sec, 2550 secs 45260 markings/sec, 2555 secs 45632 markings/sec, 2560 secs 45410 markings/sec, 2565 secs 45111 markings/sec, 2570 secs 45706 markings/sec, 2575 secs 45834 markings/sec, 2580 secs 45663 markings/sec, 2585 secs 44804 markings/sec, 2590 secs 46172 markings/sec, 2595 secs 45234 markings/sec, 2600 secs 45704 markings/sec, 2605 secs 45372 markings/sec, 2610 secs 45460 markings/sec, 2615 secs 46081 markings/sec, 2620 secs 45897 markings/sec, 2625 secs 46196 markings/sec, 2630 secs 45652 markings/sec, 2635 secs 45278 markings/sec, 2640 secs 45623 markings/sec, 2645 secs 44366 markings/sec, 2650 secs 46041 markings/sec, 2655 secs 45017 markings/sec, 2660 secs 44872 markings/sec, 2665 secs 45014 markings/sec, 2670 secs 43866 markings/sec, 2675 secs 45306 markings/sec, 2680 secs 44850 markings/sec, 2685 secs 45074 markings/sec, 2690 secs 45082 markings/sec, 2695 secs 45255 markings/sec, 2700 secs 43967 markings/sec, 2705 secs 44725 markings/sec, 2710 secs 45618 markings/sec, 2715 secs 44141 markings/sec, 2720 secs 43690 markings/sec, 2725 secs 45394 markings/sec, 2730 secs 45741 markings/sec, 2735 secs 45499 markings/sec, 2740 secs 45404 markings/sec, 2745 secs 46356 markings/sec, 2750 secs 45370 markings/sec, 2755 secs 45164 markings/sec, 2760 secs 45808 markings/sec, 2765 secs 46900 markings/sec, 2770 secs 47283 markings/sec, 2775 secs 47067 markings/sec, 2780 secs 46863 markings/sec, 2785 secs 46769 markings/sec, 2790 secs 46437 markings/sec, 2795 secs 45748 markings/sec, 2800 secs 46104 markings/sec, 2805 secs 46329 markings/sec, 2810 secs 46009 markings/sec, 2815 secs 45586 markings/sec, 2820 secs 45645 markings/sec, 2825 secs 45366 markings/sec, 2830 secs 45817 markings/sec, 2835 secs 46323 markings/sec, 2840 secs 45638 markings/sec, 2845 secs 45424 markings/sec, 2850 secs 46003 markings/sec, 2855 secs 45658 markings/sec, 2860 secs 45909 markings/sec, 2865 secs 45112 markings/sec, 2870 secs 45508 markings/sec, 2875 secs 45491 markings/sec, 2880 secs 46029 markings/sec, 2885 secs 45727 markings/sec, 2890 secs 45704 markings/sec, 2895 secs 45914 markings/sec, 2900 secs 45075 markings/sec, 2905 secs 45461 markings/sec, 2910 secs 45988 markings/sec, 2915 secs 45428 markings/sec, 2920 secs 46151 markings/sec, 2925 secs 45613 markings/sec, 2930 secs 45304 markings/sec, 2935 secs 46005 markings/sec, 2940 secs 45915 markings/sec, 2945 secs 45208 markings/sec, 2950 secs 45869 markings/sec, 2955 secs 45662 markings/sec, 2960 secs 44948 markings/sec, 2965 secs 45242 markings/sec, 2970 secs 45344 markings/sec, 2975 secs 45025 markings/sec, 2980 secs 44651 markings/sec, 2985 secs 45019 markings/sec, 2990 secs 45647 markings/sec, 2995 secs 44749 markings/sec, 3000 secs 45059 markings/sec, 3005 secs 45813 markings/sec, 3010 secs 46111 markings/sec, 3015 secs 45214 markings/sec, 3020 secs 45275 markings/sec, 3025 secs 45228 markings/sec, 3030 secs 46522 markings/sec, 3035 secs 46997 markings/sec, 3040 secs 47643 markings/sec, 3045 secs 47306 markings/sec, 3050 secs 47778 markings/sec, 3055 secs 47881 markings/sec, 3060 secs 46980 markings/sec, 3065 secs 46554 markings/sec, 3070 secs 46671 markings/sec, 3075 secs 47297 markings/sec, 3080 secs 47163 markings/sec, 3085 secs 47090 markings/sec, 3090 secs 46817 markings/sec, 3095 secs 46357 markings/sec, 3100 secs 47148 markings/sec, 3105 secs 47249 markings/sec, 3110 secs 46201 markings/sec, 3115 secs 46362 markings/sec, 3120 secs 46625 markings/sec, 3125 secs 47088 markings/sec, 3130 secs 46554 markings/sec, 3135 secs 46844 markings/sec, 3140 secs 46435 markings/sec, 3145 secs 46742 markings/sec, 3150 secs 46480 markings/sec, 3155 secs 46709 markings/sec, 3160 secs 46147 markings/sec, 3165 secs 46186 markings/sec, 3170 secs 46851 markings/sec, 3175 secs 46329 markings/sec, 3180 secs 47055 markings/sec, 3185 secs 47824 markings/sec, 3190 secs 47283 markings/sec, 3195 secs 47182 markings/sec, 3200 secs 47922 markings/sec, 3205 secs 46800 markings/sec, 3210 secs 46642 markings/sec, 3215 secs 45166 markings/sec, 3220 secs 45227 markings/sec, 3225 secs 43857 markings/sec, 3230 secs 45468 markings/sec, 3235 secs 45663 markings/sec, 3240 secs 45505 markings/sec, 3245 secs 43214 markings/sec, 3250 secs 44765 markings/sec, 3255 secs 42372 markings/sec, 3260 secs 42092 markings/sec, 3265 secs 43394 markings/sec, 3270 secs 43201 markings/sec, 3275 secs 43847 markings/sec, 3280 secs 43641 markings/sec, 3285 secs 42970 markings/sec, 3290 secs 45988 markings/sec, 3295 secs 44986 markings/sec, 3300 secs 42598 markings/sec, 3305 secs 43228 markings/sec, 3310 secs 43560 markings/sec, 3315 secs 44455 markings/sec, 3320 secs 43021 markings/sec, 3325 secs 44174 markings/sec, 3330 secs 47033 markings/sec, 3335 secs 46658 markings/sec, 3340 secs 46465 markings/sec, 3345 secs 46034 markings/sec, 3350 secs 46079 markings/sec, 3355 secs 45636 markings/sec, 3360 secs 45423 markings/sec, 3365 secs 47083 markings/sec, 3370 secs 46926 markings/sec, 3375 secs 47233 markings/sec, 3380 secs 47451 markings/sec, 3385 secs 46212 markings/sec, 3390 secs 46100 markings/sec, 3395 secs 46543 markings/sec, 3400 secs 45671 markings/sec, 3405 secs 46015 markings/sec, 3410 secs 45809 markings/sec, 3415 secs 46383 markings/sec, 3420 secs 45969 markings/sec, 3425 secs 46685 markings/sec, 3430 secs 46800 markings/sec, 3435 secs 47443 markings/sec, 3440 secs 46066 markings/sec, 3445 secs 46607 markings/sec, 3450 secs 46702 markings/sec, 3455 secs 46590 markings/sec, 3460 secs 46098 markings/sec, 3465 secs 45893 markings/sec, 3470 secs 46130 markings/sec, 3475 secs 45708 markings/sec, 3480 secs 46580 markings/sec, 3485 secs 47435 markings/sec, 3490 secs 46683 markings/sec, 3495 secs 46072 markings/sec, 3500 secs 46373 markings/sec, 3505 secs 46225 markings/sec, 3510 secs 45364 markings/sec, 3515 secs 45685 markings/sec, 3520 secs 45310 markings/sec, 3525 secs 46215 markings/sec, 3530 secs 45761 markings/sec, 3535 secs 46675 markings/sec, 3540 secs 46517 markings/sec, 3545 secs 45306 markings/sec, 3550 secs 45176 markings/sec, 3555 secs 45205 markings/sec, 3560 secs

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="NeighborGrid-PT-d4n3m2c23"
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 NeighborGrid-PT-d4n3m2c23, 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 r104-oct2-155272225400102"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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