MCC'2019 - Execution of r060-ebro-155234654600111

About the Execution of LoLA for Diffusion2D-PT-D10N200

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5948.880	3570940.00	7242647.00	702.50	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654600111.qcow2', fmt=qcow2 size=4294967296 backing_fi
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Diffusion2D-PT-D10N200, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600111
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 3.4K Feb 10 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 10 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 17:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K 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 Diffusion2D-PT-D10N200-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552563510498

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Diffusion2D-PT-D10N200 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ Diffusion2D-PT-D10N200

{
"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": "Thu Mar 14 11:38:30 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5876136,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 1368,
"conflict_clusters": 100,
"places": 100,
"places_significant": 99,
"singleton_clusters": 0,
"transitions": 684
},
"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": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"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: 784/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 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: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2838467 fired transitions, 0 secs || 248557 markings, 1669171 edges,
lola: 6 tries, 5729087 fired transitions, 5 secs || 488188 markings, 3294427 edges,
lola: 9 tries, 8609168 fired transitions, 10 secs || 722959 markings, 4910498 edges,
lola: 12 tries, 11495938 fired transitions, 15 secs || 958702 markings, 6484714 edges,
lola: 15 tries, 14397727 fired transitions, 20 secs || 1190461 markings, 8088992 edges,
lola: 18 tries, 17290781 fired transitions, 25 secs || 1425500 markings, 9669008 edges,
lola: 21 tries, 20160788 fired transitions, 30 secs || 1659163 markings, 11276953 edges,
lola: 24 tries, 23046104 fired transitions, 35 secs || 1891211 markings, 12859603 edges,
lola: 26 tries, 25919654 fired transitions, 40 secs || 2128385 markings, 14484194 edges,
lola: 29 tries, 28774464 fired transitions, 45 secs || 2366557 markings, 16084545 edges,
lola: 32 tries, 31657564 fired transitions, 50 secs || 2600291 markings, 17652176 edges,
lola: 35 tries, 34556293 fired transitions, 55 secs || 2831467 markings, 19203434 edges,
lola: 38 tries, 37396829 fired transitions, 60 secs || 3059211 markings, 20732890 edges,
lola: 41 tries, 40242428 fired transitions, 65 secs || 3286992 markings, 22258107 edges,
lola: 44 tries, 43101878 fired transitions, 70 secs || 3509399 markings, 23747209 edges,
lola: 46 tries, 45988728 fired transitions, 75 secs || 3734851 markings, 25260495 edges,
lola: 49 tries, 48870759 fired transitions, 80 secs || 3961798 markings, 26782747 edges,
lola: 52 tries, 51798213 fired transitions, 85 secs || 4185795 markings, 28287065 edges,
lola: 55 tries, 54714504 fired transitions, 90 secs || 4409640 markings, 29785631 edges,
lola: 58 tries, 57636379 fired transitions, 95 secs || 4632542 markings, 31278437 edges,
lola: 61 tries, 60524009 fired transitions, 100 secs || 4853826 markings, 32761338 edges,
lola: 64 tries, 63442618 fired transitions, 105 secs || 5073567 markings, 34242284 edges,
lola: 67 tries, 66338839 fired transitions, 110 secs || 5296989 markings, 35738102 edges,
lola: 70 tries, 69202331 fired transitions, 115 secs || 5522697 markings, 37247850 edges,
lola: 73 tries, 72114580 fired transitions, 120 secs || 5745336 markings, 38738459 edges,
lola: 76 tries, 75022188 fired transitions, 125 secs || 5970360 markings, 40244754 edges,
lola: 78 tries, 77902703 fired transitions, 130 secs || 6194680 markings, 41746158 edges,
lola: 81 tries, 80790348 fired transitions, 135 secs || 6412985 markings, 43204759 edges,
lola: 84 tries, 83661930 fired transitions, 140 secs || 6641607 markings, 44741382 edges,
lola: 87 tries, 86552895 fired transitions, 145 secs || 6870410 markings, 46276251 edges,
lola: 90 tries, 89463998 fired transitions, 150 secs || 7096142 markings, 47794117 edges,
lola: 93 tries, 92379290 fired transitions, 155 secs || 7322764 markings, 49310592 edges,
lola: 96 tries, 95286402 fired transitions, 160 secs || 7547660 markings, 50815304 edges,
lola: 99 tries, 98194570 fired transitions, 165 secs || 7771348 markings, 52319118 edges,
lola: 102 tries, 101118146 fired transitions, 170 secs || 7995352 markings, 53825156 edges,
lola: 105 tries, 104055967 fired transitions, 175 secs || 8220993 markings, 55334863 edges,
lola: 107 tries, 106980736 fired transitions, 180 secs || 8442233 markings, 56814525 edges,
lola: 110 tries, 109888550 fired transitions, 185 secs || 8668357 markings, 58329690 edges,
lola: 113 tries, 112817898 fired transitions, 190 secs || 8892035 markings, 59826836 edges,
lola: 116 tries, 115726604 fired transitions, 195 secs || 9113052 markings, 61305783 edges,
lola: 119 tries, 118648626 fired transitions, 200 secs || 9329763 markings, 62754707 edges,
lola: 122 tries, 121522542 fired transitions, 205 secs || 9548292 markings, 64226242 edges,
lola: 125 tries, 124374934 fired transitions, 210 secs || 9768272 markings, 65705782 edges,
lola: 128 tries, 127267985 fired transitions, 215 secs || 9988783 markings, 67190642 edges,
lola: 131 tries, 130168381 fired transitions, 220 secs || 10211099 markings, 68677803 edges,
lola: 134 tries, 133014135 fired transitions, 225 secs || 10430412 markings, 70145767 edges,
lola: 136 tries, 135888068 fired transitions, 230 secs || 10650378 markings, 71616930 edges,
lola: 139 tries, 138766781 fired transitions, 235 secs || 10872049 markings, 73101861 edges,
lola: 142 tries, 141673383 fired transitions, 240 secs || 11088255 markings, 74546781 edges,
lola: 145 tries, 144589369 fired transitions, 245 secs || 11304967 markings, 75997838 edges,
lola: 148 tries, 147427655 fired transitions, 250 secs || 11522896 markings, 77456525 edges,
lola: 151 tries, 150279355 fired transitions, 255 secs || 11740110 markings, 78909952 edges,
lola: 154 tries, 153121619 fired transitions, 260 secs || 11959635 markings, 80378102 edges,
lola: 156 tries, 155981701 fired transitions, 265 secs || 12174690 markings, 81818410 edges,
lola: 159 tries, 158877007 fired transitions, 270 secs || 12392735 markings, 83275750 edges,
lola: 162 tries, 161762408 fired transitions, 275 secs || 12610108 markings, 84732083 edges,
lola: 165 tries, 164637187 fired transitions, 280 secs || 12827112 markings, 86183416 edges,
lola: 168 tries, 167506740 fired transitions, 285 secs || 13037233 markings, 87588474 edges,
lola: 171 tries, 170395624 fired transitions, 290 secs || 13252780 markings, 89031156 edges,
lola: 174 tries, 173261217 fired transitions, 295 secs || 13474933 markings, 90529343 edges,
lola: 177 tries, 176155262 fired transitions, 300 secs || 13699232 markings, 92031106 edges,
lola: 180 tries, 179061804 fired transitions, 305 secs || 13922597 markings, 93532109 edges,
lola: 182 tries, 181942696 fired transitions, 310 secs || 14142190 markings, 95001494 edges,
lola: 185 tries, 184844195 fired transitions, 315 secs || 14358728 markings, 96451282 edges,
lola: 188 tries, 187711212 fired transitions, 320 secs || 14577925 markings, 97925594 edges,
lola: 191 tries, 190599284 fired transitions, 325 secs || 14799112 markings, 99410674 edges,
lola: 194 tries, 193535079 fired transitions, 330 secs || 15016469 markings, 100866227 edges,
lola: 197 tries, 196481336 fired transitions, 335 secs || 15230496 markings, 102297816 edges,
lola: 200 tries, 199383631 fired transitions, 340 secs || 15453054 markings, 103786538 edges,
lola: 203 tries, 202302484 fired transitions, 345 secs || 15671344 markings, 105248072 edges,
lola: 206 tries, 205207808 fired transitions, 350 secs || 15886195 markings, 106686249 edges,
lola: 209 tries, 208130162 fired transitions, 355 secs || 16098705 markings, 108108277 edges,
lola: 212 tries, 211052793 fired transitions, 360 secs || 16319232 markings, 109591587 edges,
lola: 214 tries, 213959992 fired transitions, 365 secs || 16534785 markings, 111042774 edges,
lola: 217 tries, 216870157 fired transitions, 370 secs || 16755888 markings, 112530534 edges,
lola: 220 tries, 219774018 fired transitions, 375 secs || 16974409 markings, 113992023 edges,
lola: 223 tries, 222662039 fired transitions, 380 secs || 17191792 markings, 115447571 edges,
lola: 226 tries, 225572759 fired transitions, 385 secs || 17413570 markings, 116931450 edges,
lola: 229 tries, 228490551 fired transitions, 390 secs || 17633456 markings, 118402885 edges,
lola: 232 tries, 231375513 fired transitions, 395 secs || 17846980 markings, 119831346 edges,
lola: 235 tries, 234298328 fired transitions, 400 secs || 18060872 markings, 121263135 edges,
lola: 238 tries, 237174910 fired transitions, 405 secs || 18284479 markings, 122760298 edges,
lola: 241 tries, 240111455 fired transitions, 410 secs || 18505644 markings, 124239161 edges,
lola: 244 tries, 243038478 fired transitions, 415 secs || 18722854 markings, 125692308 edges,
lola: 246 tries, 245976468 fired transitions, 420 secs || 18937662 markings, 127130319 edges,
lola: 249 tries, 248884774 fired transitions, 425 secs || 19156962 markings, 128597369 edges,
lola: 252 tries, 251762651 fired transitions, 430 secs || 19371821 markings, 130035749 edges,
lola: 255 tries, 254687822 fired transitions, 435 secs || 19587308 markings, 131476993 edges,
lola: 258 tries, 257600627 fired transitions, 440 secs || 19800984 markings, 132906996 edges,
lola: 261 tries, 260523841 fired transitions, 445 secs || 20014242 markings, 134332876 edges,
lola: 264 tries, 263434648 fired transitions, 450 secs || 20232748 markings, 135805535 edges,
lola: 267 tries, 266293086 fired transitions, 455 secs || 20450807 markings, 137272911 edges,
lola: 270 tries, 269212668 fired transitions, 460 secs || 20668205 markings, 138739102 edges,
lola: 273 tries, 272112929 fired transitions, 465 secs || 20882581 markings, 140181451 edges,
lola: 276 tries, 275006338 fired transitions, 470 secs || 21102338 markings, 141658441 edges,
lola: 278 tries, 277869608 fired transitions, 475 secs || 21324551 markings, 143145727 edges,
lola: 281 tries, 280770634 fired transitions, 480 secs || 21538398 markings, 144575124 edges,
lola: 284 tries, 283660531 fired transitions, 485 secs || 21756693 markings, 146036876 edges,
lola: 287 tries, 286504614 fired transitions, 490 secs || 21973242 markings, 147486273 edges,
lola: 290 tries, 289392120 fired transitions, 495 secs || 22187579 markings, 148920141 edges,
lola: 293 tries, 292261121 fired transitions, 500 secs || 22400960 markings, 150348468 edges,
lola: 296 tries, 295150486 fired transitions, 505 secs || 22618601 markings, 151804885 edges,
lola: 299 tries, 298014615 fired transitions, 510 secs || 22835983 markings, 153260002 edges,
lola: 301 tries, 300897476 fired transitions, 515 secs || 23050756 markings, 154696032 edges,
lola: 304 tries, 303741570 fired transitions, 520 secs || 23267046 markings, 156144398 edges,
lola: 307 tries, 306545945 fired transitions, 525 secs || 23480286 markings, 157571051 edges,
lola: 310 tries, 309415436 fired transitions, 530 secs || 23693703 markings, 158997744 edges,
lola: 313 tries, 312322398 fired transitions, 535 secs || 23907860 markings, 160432498 edges,
lola: 316 tries, 315192688 fired transitions, 540 secs || 24122283 markings, 161866357 edges,
lola: 319 tries, 318086734 fired transitions, 545 secs || 24332232 markings, 163271472 edges,
lola: 321 tries, 320966544 fired transitions, 550 secs || 24552251 markings, 164743666 edges,
lola: 324 tries, 323857462 fired transitions, 555 secs || 24768838 markings, 166192897 edges,
lola: 327 tries, 326749252 fired transitions, 560 secs || 24984177 markings, 167632862 edges,
lola: 330 tries, 329637218 fired transitions, 565 secs || 25195955 markings, 169050856 edges,
lola: 333 tries, 332522068 fired transitions, 570 secs || 25409010 markings, 170476271 edges,
lola: 336 tries, 335394805 fired transitions, 575 secs || 25624001 markings, 171913459 edges,
lola: 339 tries, 338292884 fired transitions, 580 secs || 25837867 markings, 173344381 edges,
lola: 342 tries, 341185429 fired transitions, 585 secs || 26048744 markings, 174755678 edges,
lola: 345 tries, 344086184 fired transitions, 590 secs || 26263435 markings, 176192867 edges,
lola: 347 tries, 346989557 fired transitions, 595 secs || 26476066 markings, 177614424 edges,
lola: 350 tries, 349887432 fired transitions, 600 secs || 26687024 markings, 179026848 edges,
lola: 353 tries, 352785253 fired transitions, 605 secs || 26898989 markings, 180445638 edges,
lola: 356 tries, 355684316 fired transitions, 610 secs || 27111203 markings, 181864695 edges,
lola: 359 tries, 358587769 fired transitions, 615 secs || 27325421 markings, 183298632 edges,
lola: 362 tries, 361497433 fired transitions, 620 secs || 27539431 markings, 184729884 edges,
lola: 365 tries, 364412874 fired transitions, 625 secs || 27747262 markings, 186120655 edges,
lola: 368 tries, 367346225 fired transitions, 630 secs || 27957410 markings, 187526256 edges,
lola: 371 tries, 370263877 fired transitions, 635 secs || 28164337 markings, 188910144 edges,
lola: 374 tries, 373016674 fired transitions, 640 secs || 28388112 markings, 190417341 edges,
lola: 376 tries, 375908686 fired transitions, 645 secs || 28617994 markings, 191959450 edges,
lola: 379 tries, 378766547 fired transitions, 650 secs || 28845216 markings, 193487701 edges,
lola: 382 tries, 381649167 fired transitions, 655 secs || 29069213 markings, 194986536 edges,
lola: 385 tries, 384543488 fired transitions, 660 secs || 29291953 markings, 196477465 edges,
lola: 388 tries, 387465109 fired transitions, 665 secs || 29515740 markings, 197980285 edges,
lola: 391 tries, 390329760 fired transitions, 670 secs || 29741562 markings, 199499582 edges,
lola: 394 tries, 393242879 fired transitions, 675 secs || 29967593 markings, 201012118 edges,
lola: 397 tries, 396159521 fired transitions, 680 secs || 30189226 markings, 202495283 edges,
lola: 400 tries, 399023862 fired transitions, 685 secs || 30414583 markings, 204003083 edges,
lola: 402 tries, 401911073 fired transitions, 690 secs || 30637973 markings, 205497905 edges,
lola: 405 tries, 404777908 fired transitions, 695 secs || 30858899 markings, 206975835 edges,
lola: 408 tries, 407655137 fired transitions, 700 secs || 31076742 markings, 208434200 edges,
lola: 411 tries, 410556302 fired transitions, 705 secs || 31300891 markings, 209942544 edges,
lola: 414 tries, 413437301 fired transitions, 710 secs || 31522649 markings, 211433855 edges,
lola: 417 tries, 416371993 fired transitions, 715 secs || 31747338 markings, 212946776 edges,
lola: 420 tries, 419279220 fired transitions, 720 secs || 31971560 markings, 214446626 edges,
lola: 423 tries, 422164462 fired transitions, 725 secs || 32191546 markings, 215918507 edges,
lola: 426 tries, 425065446 fired transitions, 730 secs || 32414867 markings, 217414323 edges,
lola: 428 tries, 427966780 fired transitions, 735 secs || 32637423 markings, 218902783 edges,
lola: 431 tries, 430885091 fired transitions, 740 secs || 32855231 markings, 220360033 edges,
lola: 434 tries, 433771294 fired transitions, 745 secs || 33067880 markings, 221784090 edges,
lola: 437 tries, 436708778 fired transitions, 750 secs || 33291234 markings, 223278546 edges,
lola: 440 tries, 439630709 fired transitions, 755 secs || 33507347 markings, 224723786 edges,
lola: 443 tries, 442543335 fired transitions, 760 secs || 33726806 markings, 226192975 edges,
lola: 446 tries, 445442905 fired transitions, 765 secs || 33945194 markings, 227653794 edges,
lola: 449 tries, 448366958 fired transitions, 770 secs || 34163672 markings, 229116376 edges,
lola: 452 tries, 451289514 fired transitions, 775 secs || 34376894 markings, 230542563 edges,
lola: 455 tries, 454154897 fired transitions, 780 secs || 34594761 markings, 232000753 edges,
lola: 458 tries, 457042094 fired transitions, 785 secs || 34811500 markings, 233448930 edges,
lola: 460 tries, 459924614 fired transitions, 790 secs || 35029740 markings, 234912998 edges,
lola: 463 tries, 462821507 fired transitions, 795 secs || 35250182 markings, 236397642 edges,
lola: 466 tries, 465726144 fired transitions, 800 secs || 35468441 markings, 237866671 edges,
lola: 469 tries, 468574583 fired transitions, 805 secs || 35686595 markings, 239333990 edges,
lola: 472 tries, 471477773 fired transitions, 810 secs || 35902802 markings, 240791593 edges,
lola: 475 tries, 474376178 fired transitions, 815 secs || 36126331 markings, 242292713 edges,
lola: 478 tries, 477284354 fired transitions, 820 secs || 36347587 markings, 243773523 edges,
lola: 481 tries, 480151316 fired transitions, 825 secs || 36563865 markings, 245220965 edges,
lola: 484 tries, 483072405 fired transitions, 830 secs || 36787484 markings, 246717502 edges,
lola: 486 tries, 485984025 fired transitions, 835 secs || 37007763 markings, 248191375 edges,
lola: 489 tries, 488920696 fired transitions, 840 secs || 37225464 markings, 249646699 edges,
lola: 492 tries, 491843013 fired transitions, 845 secs || 37442185 markings, 251097261 edges,
lola: 495 tries, 494759462 fired transitions, 850 secs || 37663508 markings, 252578870 edges,
lola: 498 tries, 497650537 fired transitions, 855 secs || 37880859 markings, 254033865 edges,
lola: 501 tries, 500521253 fired transitions, 860 secs || 38100849 markings, 255505551 edges,
lola: 504 tries, 503422830 fired transitions, 865 secs || 38315002 markings, 256938631 edges,
lola: 507 tries, 506337101 fired transitions, 870 secs || 38530574 markings, 258381313 edges,
lola: 510 tries, 509268230 fired transitions, 875 secs || 38745047 markings, 259815694 edges,
lola: 513 tries, 512196532 fired transitions, 880 secs || 38959303 markings, 261248516 edges,
lola: 515 tries, 514532619 fired transitions, 885 secs || 39122941 markings, 262344849 edges,
lola: 518 tries, 517447185 fired transitions, 890 secs || 39339060 markings, 263789606 edges,
lola: 521 tries, 520376395 fired transitions, 895 secs || 39564425 markings, 265297856 edges,
lola: 524 tries, 523270584 fired transitions, 900 secs || 39786539 markings, 266784769 edges,
lola: 527 tries, 526170810 fired transitions, 905 secs || 40006381 markings, 268254148 edges,
lola: 530 tries, 529086354 fired transitions, 910 secs || 40225660 markings, 269723071 edges,
lola: 532 tries, 531981706 fired transitions, 915 secs || 40446104 markings, 271197531 edges,
lola: 535 tries, 534904855 fired transitions, 920 secs || 40664471 markings, 272659370 edges,
lola: 538 tries, 537823281 fired transitions, 925 secs || 40884592 markings, 274129926 edges,
lola: 541 tries, 540749015 fired transitions, 930 secs || 41102324 markings, 275586450 edges,
lola: 544 tries, 543624314 fired transitions, 935 secs || 41317915 markings, 277030437 edges,
lola: 546 tries, 545302809 fired transitions, 940 secs || 41439423 markings, 277843257 edges,
lola: 549 tries, 548231340 fired transitions, 945 secs || 41655554 markings, 279288257 edges,
lola: 552 tries, 551151397 fired transitions, 950 secs || 41872663 markings, 280741906 edges,
lola: 555 tries, 554076999 fired transitions, 955 secs || 42087101 markings, 282177742 edges,
lola: 557 tries, 556988605 fired transitions, 960 secs || 42305409 markings, 283636433 edges,
lola: 560 tries, 559888836 fired transitions, 965 secs || 42521697 markings, 285083410 edges,
lola: 563 tries, 562726454 fired transitions, 970 secs || 42736461 markings, 286521629 edges,
lola: 566 tries, 565606287 fired transitions, 975 secs || 42952060 markings, 287963376 edges,
lola: 569 tries, 568457629 fired transitions, 980 secs || 43162770 markings, 289372317 edges,
lola: 572 tries, 571378782 fired transitions, 985 secs || 43382856 markings, 290853857 edges,
lola: 575 tries, 574237615 fired transitions, 990 secs || 43598213 markings, 292303590 edges,
lola: 578 tries, 577137674 fired transitions, 995 secs || 43817223 markings, 293777806 edges,
lola: 581 tries, 580047917 fired transitions, 1000 secs || 44033333 markings, 295233495 edges,
lola: 583 tries, 582970837 fired transitions, 1005 secs || 44254217 markings, 296721437 edges,
lola: 586 tries, 585841625 fired transitions, 1010 secs || 44471092 markings, 298181673 edges,
lola: 589 tries, 588785364 fired transitions, 1015 secs || 44691551 markings, 299664017 edges,
lola: 592 tries, 591699365 fired transitions, 1020 secs || 44910315 markings, 301138707 edges,
lola: 595 tries, 594606634 fired transitions, 1025 secs || 45137871 markings, 302663741 edges,
lola: 598 tries, 597519269 fired transitions, 1030 secs || 45363113 markings, 304171509 edges,
lola: 601 tries, 600421702 fired transitions, 1035 secs || 45585483 markings, 305659211 edges,
lola: 604 tries, 603335261 fired transitions, 1040 secs || 45806446 markings, 307137190 edges,
lola: 607 tries, 606245979 fired transitions, 1045 secs || 46026496 markings, 308608639 edges,
lola: 610 tries, 609159376 fired transitions, 1050 secs || 46245174 markings, 310072826 edges,
lola: 613 tries, 612068503 fired transitions, 1055 secs || 46466815 markings, 311556456 edges,
lola: 615 tries, 614993347 fired transitions, 1060 secs || 46688084 markings, 313036384 edges,
lola: 618 tries, 617894936 fired transitions, 1065 secs || 46912427 markings, 314536678 edges,
lola: 621 tries, 620794292 fired transitions, 1070 secs || 47136328 markings, 316036299 edges,
lola: 624 tries, 623697186 fired transitions, 1075 secs || 47357886 markings, 317519490 edges,
lola: 627 tries, 626582360 fired transitions, 1080 secs || 47575513 markings, 318974570 edges,
lola: 630 tries, 629480312 fired transitions, 1085 secs || 47794287 markings, 320437791 edges,
lola: 633 tries, 632382137 fired transitions, 1090 secs || 48008440 markings, 321870553 edges,
lola: 636 tries, 635298106 fired transitions, 1095 secs || 48221059 markings, 323293848 edges,
lola: 639 tries, 638179373 fired transitions, 1100 secs || 48446852 markings, 324805414 edges,
lola: 642 tries, 641069381 fired transitions, 1105 secs || 48670617 markings, 326302714 edges,
lola: 644 tries, 643975359 fired transitions, 1110 secs || 48891724 markings, 327782555 edges,
lola: 647 tries, 646873867 fired transitions, 1115 secs || 49113205 markings, 329264205 edges,
lola: 650 tries, 649766313 fired transitions, 1120 secs || 49330324 markings, 330717142 edges,
lola: 653 tries, 652664106 fired transitions, 1125 secs || 49551723 markings, 332197126 edges,
lola: 656 tries, 655537221 fired transitions, 1130 secs || 49775685 markings, 333695131 edges,
lola: 659 tries, 658448629 fired transitions, 1135 secs || 49993638 markings, 335154416 edges,
lola: 662 tries, 661359350 fired transitions, 1140 secs || 50217558 markings, 336653165 edges,
lola: 665 tries, 664261937 fired transitions, 1145 secs || 50436190 markings, 338114414 edges,
lola: 668 tries, 667151644 fired transitions, 1150 secs || 50651486 markings, 339556383 edges,
lola: 671 tries, 670031641 fired transitions, 1155 secs || 50867868 markings, 341003898 edges,
lola: 673 tries, 672917601 fired transitions, 1160 secs || 51084961 markings, 342456583 edges,
lola: 676 tries, 675825535 fired transitions, 1165 secs || 51304908 markings, 343927039 edges,
lola: 679 tries, 678694521 fired transitions, 1170 secs || 51518850 markings, 345358097 edges,
lola: 682 tries, 681592023 fired transitions, 1175 secs || 51736987 markings, 346817864 edges,
lola: 685 tries, 684503974 fired transitions, 1180 secs || 51949281 markings, 348236571 edges,
lola: 688 tries, 687370801 fired transitions, 1185 secs || 52166500 markings, 349691028 edges,
lola: 691 tries, 690273248 fired transitions, 1190 secs || 52391578 markings, 351197343 edges,
lola: 694 tries, 693155068 fired transitions, 1195 secs || 52614362 markings, 352688547 edges,
lola: 697 tries, 696038750 fired transitions, 1200 secs || 52835641 markings, 354169131 edges,
lola: 699 tries, 698941580 fired transitions, 1205 secs || 53056627 markings, 355647576 edges,
lola: 702 tries, 701825968 fired transitions, 1210 secs || 53278103 markings, 357130510 edges,
lola: 705 tries, 704722910 fired transitions, 1215 secs || 53498107 markings, 358601218 edges,
lola: 708 tries, 707633606 fired transitions, 1220 secs || 53716146 markings, 360060401 edges,
lola: 711 tries, 710550512 fired transitions, 1225 secs || 53931954 markings, 361505011 edges,
lola: 714 tries, 713462086 fired transitions, 1230 secs || 54156396 markings, 363005950 edges,
lola: 717 tries, 716363498 fired transitions, 1235 secs || 54378945 markings, 364495243 edges,
lola: 720 tries, 719276223 fired transitions, 1240 secs || 54602326 markings, 365988466 edges,
lola: 723 tries, 722168832 fired transitions, 1245 secs || 54824469 markings, 367475711 edges,
lola: 726 tries, 725026316 fired transitions, 1250 secs || 55046692 markings, 368963255 edges,
lola: 728 tries, 727910369 fired transitions, 1255 secs || 55269759 markings, 370454954 edges,
lola: 731 tries, 730805150 fired transitions, 1260 secs || 55493011 markings, 371948173 edges,
lola: 734 tries, 733687332 fired transitions, 1265 secs || 55713917 markings, 373424202 edges,
lola: 737 tries, 736564166 fired transitions, 1270 secs || 55932982 markings, 374891165 edges,
lola: 740 tries, 739466006 fired transitions, 1275 secs || 56159785 markings, 376407933 edges,
lola: 743 tries, 742361387 fired transitions, 1280 secs || 56381403 markings, 377891903 edges,
lola: 746 tries, 745264096 fired transitions, 1285 secs || 56602086 markings, 379367822 edges,
lola: 749 tries, 748143616 fired transitions, 1290 secs || 56820563 markings, 380828683 edges,
lola: 752 tries, 751034671 fired transitions, 1295 secs || 57041681 markings, 382309496 edges,
lola: 754 tries, 753944271 fired transitions, 1300 secs || 57260602 markings, 383773870 edges,
lola: 757 tries, 756845515 fired transitions, 1305 secs || 57478369 markings, 385230866 edges,
lola: 760 tries, 759749351 fired transitions, 1310 secs || 57697301 markings, 386693545 edges,
lola: 763 tries, 762663488 fired transitions, 1315 secs || 57915481 markings, 388154821 edges,
lola: 766 tries, 765580769 fired transitions, 1320 secs || 58140868 markings, 389662541 edges,
lola: 769 tries, 768461240 fired transitions, 1325 secs || 58365367 markings, 391162562 edges,
lola: 772 tries, 771363736 fired transitions, 1330 secs || 58588139 markings, 392654172 edges,
lola: 775 tries, 774291049 fired transitions, 1335 secs || 58807881 markings, 394124226 edges,
lola: 778 tries, 777199985 fired transitions, 1340 secs || 59028894 markings, 395602347 edges,
lola: 781 tries, 780124733 fired transitions, 1345 secs || 59246458 markings, 397057642 edges,
lola: 784 tries, 783061381 fired transitions, 1350 secs || 59462639 markings, 398504556 edges,
lola: 787 tries, 786001463 fired transitions, 1355 secs || 59689507 markings, 400031088 edges,
lola: 789 tries, 788921878 fired transitions, 1360 secs || 59923237 markings, 401603020 edges,
lola: 792 tries, 791846049 fired transitions, 1365 secs || 60151672 markings, 403134359 edges,
lola: 795 tries, 794790939 fired transitions, 1370 secs || 60378777 markings, 404658681 edges,
lola: 798 tries, 797705769 fired transitions, 1375 secs || 60603873 markings, 406164534 edges,
lola: 801 tries, 800587897 fired transitions, 1380 secs || 60825343 markings, 407648133 edges,
lola: 804 tries, 803515674 fired transitions, 1385 secs || 61045177 markings, 409128010 edges,
lola: 807 tries, 806427890 fired transitions, 1390 secs || 61269166 markings, 410631118 edges,
lola: 810 tries, 809351489 fired transitions, 1395 secs || 61491179 markings, 412115983 edges,
lola: 813 tries, 812274539 fired transitions, 1400 secs || 61710886 markings, 413586836 edges,
lola: 816 tries, 815174540 fired transitions, 1405 secs || 61929280 markings, 415047683 edges,
lola: 819 tries, 818047606 fired transitions, 1410 secs || 62144078 markings, 416486208 edges,
lola: 821 tries, 820944894 fired transitions, 1415 secs || 62357267 markings, 417912466 edges,
lola: 824 tries, 823862647 fired transitions, 1420 secs || 62573218 markings, 419357971 edges,
lola: 827 tries, 826756318 fired transitions, 1425 secs || 62792527 markings, 420834251 edges,
lola: 830 tries, 829652957 fired transitions, 1430 secs || 63013349 markings, 422322245 edges,
lola: 833 tries, 832514474 fired transitions, 1435 secs || 63235608 markings, 423815035 edges,
lola: 836 tries, 835387896 fired transitions, 1440 secs || 63455634 markings, 425287059 edges,
lola: 839 tries, 838263423 fired transitions, 1445 secs || 63672740 markings, 426739579 edges,
lola: 842 tries, 841148002 fired transitions, 1450 secs || 63890004 markings, 428193534 edges,
lola: 845 tries, 844006201 fired transitions, 1455 secs || 64107794 markings, 429650840 edges,
lola: 847 tries, 846907398 fired transitions, 1460 secs || 64320553 markings, 431073609 edges,
lola: 850 tries, 849752092 fired transitions, 1465 secs || 64533036 markings, 432496812 edges,
lola: 853 tries, 852636118 fired transitions, 1470 secs || 64752725 markings, 433967130 edges,
lola: 856 tries, 855538868 fired transitions, 1475 secs || 64968666 markings, 435411940 edges,
lola: 859 tries, 858371118 fired transitions, 1480 secs || 65184685 markings, 436857645 edges,
lola: 862 tries, 861271084 fired transitions, 1485 secs || 65400596 markings, 438301266 edges,
lola: 865 tries, 864169598 fired transitions, 1490 secs || 65614483 markings, 439732277 edges,
lola: 868 tries, 867082185 fired transitions, 1495 secs || 65823429 markings, 441129683 edges,
lola: 871 tries, 870001936 fired transitions, 1500 secs || 66034458 markings, 442543369 edges,
lola: 873 tries, 872892993 fired transitions, 1505 secs || 66249015 markings, 443978175 edges,
lola: 876 tries, 875792085 fired transitions, 1510 secs || 66467237 markings, 445440771 edges,
lola: 879 tries, 878688572 fired transitions, 1515 secs || 66687839 markings, 446924743 edges,
lola: 882 tries, 881594976 fired transitions, 1520 secs || 66906132 markings, 448395639 edges,
lola: 885 tries, 884494728 fired transitions, 1525 secs || 67123269 markings, 449858906 edges,
lola: 888 tries, 887398134 fired transitions, 1530 secs || 67340179 markings, 451316599 edges,
lola: 891 tries, 890280595 fired transitions, 1535 secs || 67560396 markings, 452796714 edges,
lola: 894 tries, 893206088 fired transitions, 1540 secs || 67774656 markings, 454231912 edges,
lola: 897 tries, 896109194 fired transitions, 1545 secs || 67985443 markings, 455641925 edges,
lola: 900 tries, 899026550 fired transitions, 1550 secs || 68202296 markings, 457092448 edges,
lola: 902 tries, 901890595 fired transitions, 1555 secs || 68416647 markings, 458527879 edges,
lola: 905 tries, 904830370 fired transitions, 1560 secs || 68625126 markings, 459923213 edges,
lola: 908 tries, 907756871 fired transitions, 1565 secs || 68834074 markings, 461320339 edges,
lola: 911 tries, 910629694 fired transitions, 1570 secs || 69052573 markings, 462783270 edges,
lola: 914 tries, 913552957 fired transitions, 1575 secs || 69269724 markings, 464235669 edges,
lola: 917 tries, 916464052 fired transitions, 1580 secs || 69485488 markings, 465679976 edges,
lola: 920 tries, 919351334 fired transitions, 1585 secs || 69701821 markings, 467127273 edges,
lola: 923 tries, 922233288 fired transitions, 1590 secs || 69916164 markings, 468562066 edges,
lola: 926 tries, 925150102 fired transitions, 1595 secs || 70127510 markings, 469975935 edges,
lola: 929 tries, 928047245 fired transitions, 1600 secs || 70338038 markings, 471384428 edges,
lola: 931 tries, 930953254 fired transitions, 1605 secs || 70548597 markings, 472793136 edges,
lola: 934 tries, 933842282 fired transitions, 1610 secs || 70761248 markings, 474215938 edges,
lola: 937 tries, 936718886 fired transitions, 1615 secs || 70981463 markings, 475688938 edges,
lola: 940 tries, 939595304 fired transitions, 1620 secs || 71198960 markings, 477144557 edges,
lola: 943 tries, 942503828 fired transitions, 1625 secs || 71413542 markings, 478581585 edges,
lola: 946 tries, 945405130 fired transitions, 1630 secs || 71626693 markings, 480005850 edges,
lola: 949 tries, 948299622 fired transitions, 1635 secs || 71842816 markings, 481452607 edges,
lola: 952 tries, 951192627 fired transitions, 1640 secs || 72055326 markings, 482873369 edges,
lola: 955 tries, 954097457 fired transitions, 1645 secs || 72271655 markings, 484320915 edges,
lola: 958 tries, 957010526 fired transitions, 1650 secs || 72486130 markings, 485757230 edges,
lola: 960 tries, 959879202 fired transitions, 1655 secs || 72704111 markings, 487214550 edges,
lola: 963 tries, 962778685 fired transitions, 1660 secs || 72920777 markings, 488664716 edges,
lola: 966 tries, 965658169 fired transitions, 1665 secs || 73133698 markings, 490090257 edges,
lola: 969 tries, 968545469 fired transitions, 1670 secs || 73346626 markings, 491512777 edges,
lola: 972 tries, 971439943 fired transitions, 1675 secs || 73554816 markings, 492905713 edges,
lola: 975 tries, 974327552 fired transitions, 1680 secs || 73768777 markings, 494338913 edges,
lola: 978 tries, 977213956 fired transitions, 1685 secs || 73981815 markings, 495763918 edges,
lola: 981 tries, 980123060 fired transitions, 1690 secs || 74194986 markings, 497188769 edges,
lola: 984 tries, 983022775 fired transitions, 1695 secs || 74408574 markings, 498618865 edges,
lola: 986 tries, 985944411 fired transitions, 1700 secs || 74622342 markings, 500048429 edges,
lola: 989 tries, 988852559 fired transitions, 1705 secs || 74843775 markings, 501540586 edges,
lola: 992 tries, 991759942 fired transitions, 1710 secs || 75061340 markings, 503005926 edges,
lola: 995 tries, 994679619 fired transitions, 1715 secs || 75280268 markings, 504478374 edges,
lola: 998 tries, 997593427 fired transitions, 1720 secs || 75494385 markings, 505920234 edges,
lola: 1001 tries, 1000503405 fired transitions, 1725 secs || 75711813 markings, 507386150 edges,
lola: 1004 tries, 1003403092 fired transitions, 1730 secs || 75926753 markings, 508830753 edges,
lola: 1007 tries, 1006276255 fired transitions, 1735 secs || 76141976 markings, 510279919 edges,
lola: 1010 tries, 1009185245 fired transitions, 1740 secs || 76359840 markings, 511749088 edges,
lola: 1013 tries, 1012062469 fired transitions, 1745 secs || 76584724 markings, 513253302 edges,
lola: 1015 tries, 1014964536 fired transitions, 1750 secs || 76805094 markings, 514727944 edges,
lola: 1018 tries, 1017874129 fired transitions, 1755 secs || 77023138 markings, 516187160 edges,
lola: 1021 tries, 1020783241 fired transitions, 1760 secs || 77241008 markings, 517644586 edges,
lola: 1024 tries, 1023689051 fired transitions, 1765 secs || 77455751 markings, 519082673 edges,
lola: 1027 tries, 1026575308 fired transitions, 1770 secs || 77668448 markings, 520505806 edges,
lola: 1030 tries, 1029472449 fired transitions, 1775 secs || 77883946 markings, 521947648 edges,
lola: 1033 tries, 1032353031 fired transitions, 1780 secs || 78095656 markings, 523364615 edges,
lola: 1036 tries, 1035218314 fired transitions, 1785 secs || 78302607 markings, 524749670 edges,
lola: 1039 tries, 1038083452 fired transitions, 1790 secs || 78511698 markings, 526148655 edges,
lola: 1041 tries, 1040957754 fired transitions, 1795 secs || 78722831 markings, 527561535 edges,
lola: 1044 tries, 1043787505 fired transitions, 1800 secs || 78931940 markings, 528960091 edges,
lola: 1047 tries, 1046674682 fired transitions, 1805 secs || 79138701 markings, 530345122 edges,
lola: 1050 tries, 1049552852 fired transitions, 1810 secs || 79347123 markings, 531737695 edges,
lola: 1053 tries, 1052445991 fired transitions, 1815 secs || 79554720 markings, 533126812 edges,
lola: 1056 tries, 1055339302 fired transitions, 1820 secs || 79767156 markings, 534549232 edges,
lola: 1059 tries, 1058222447 fired transitions, 1825 secs || 79983260 markings, 535994837 edges,
lola: 1062 tries, 1061117574 fired transitions, 1830 secs || 80197205 markings, 537425967 edges,
lola: 1064 tries, 1063981047 fired transitions, 1835 secs || 80408964 markings, 538842488 edges,
lola: 1067 tries, 1066829024 fired transitions, 1840 secs || 80621959 markings, 540268965 edges,
lola: 1070 tries, 1069704006 fired transitions, 1845 secs || 80833242 markings, 541681677 edges,
lola: 1073 tries, 1072563739 fired transitions, 1850 secs || 81044671 markings, 543096293 edges,
lola: 1076 tries, 1075433060 fired transitions, 1855 secs || 81254257 markings, 544497746 edges,
lola: 1079 tries, 1078258249 fired transitions, 1860 secs || 81467429 markings, 545923866 edges,
lola: 1082 tries, 1081137893 fired transitions, 1865 secs || 81681413 markings, 547357435 edges,
lola: 1084 tries, 1083970243 fired transitions, 1870 secs || 81890730 markings, 548757875 edges,
lola: 1087 tries, 1086843755 fired transitions, 1875 secs || 82098951 markings, 550149620 edges,
lola: 1090 tries, 1089713166 fired transitions, 1880 secs || 82305672 markings, 551534349 edges,
lola: 1093 tries, 1092603316 fired transitions, 1885 secs || 82509779 markings, 552898401 edges,
lola: 1096 tries, 1095491842 fired transitions, 1890 secs || 82720596 markings, 554308577 edges,
lola: 1099 tries, 1098375388 fired transitions, 1895 secs || 82930429 markings, 555711668 edges,
lola: 1102 tries, 1101240516 fired transitions, 1900 secs || 83138465 markings, 557105131 edges,
lola: 1105 tries, 1104116045 fired transitions, 1905 secs || 83347680 markings, 558504332 edges,
lola: 1107 tries, 1106989747 fired transitions, 1910 secs || 83557091 markings, 559905687 edges,
lola: 1110 tries, 1109865300 fired transitions, 1915 secs || 83778274 markings, 561386194 edges,
lola: 1113 tries, 1112705739 fired transitions, 1920 secs || 83993960 markings, 562828426 edges,
lola: 1116 tries, 1115564353 fired transitions, 1925 secs || 84205316 markings, 564243303 edges,
lola: 1119 tries, 1118436190 fired transitions, 1930 secs || 84418795 markings, 565671469 edges,
lola: 1122 tries, 1121274826 fired transitions, 1935 secs || 84634861 markings, 567118042 edges,
lola: 1125 tries, 1124122500 fired transitions, 1940 secs || 84847476 markings, 568539537 edges,
lola: 1127 tries, 1126970042 fired transitions, 1945 secs || 85062091 markings, 569974701 edges,
lola: 1130 tries, 1129833745 fired transitions, 1950 secs || 85274291 markings, 571396056 edges,
lola: 1133 tries, 1132717448 fired transitions, 1955 secs || 85484016 markings, 572799282 edges,
lola: 1136 tries, 1135560591 fired transitions, 1960 secs || 85697976 markings, 574230975 edges,
lola: 1139 tries, 1138391688 fired transitions, 1965 secs || 85910517 markings, 575652022 edges,
lola: 1142 tries, 1141234447 fired transitions, 1970 secs || 86124909 markings, 577087103 edges,
lola: 1145 tries, 1144081020 fired transitions, 1975 secs || 86338085 markings, 578511225 edges,
lola: 1147 tries, 1146949610 fired transitions, 1980 secs || 86546040 markings, 579902986 edges,
lola: 1150 tries, 1149819232 fired transitions, 1985 secs || 86756483 markings, 581310562 edges,
lola: 1153 tries, 1152707475 fired transitions, 1990 secs || 86968283 markings, 582728493 edges,
lola: 1156 tries, 1155595412 fired transitions, 1995 secs || 87177292 markings, 584127367 edges,
lola: 1159 tries, 1158491424 fired transitions, 2000 secs || 87385180 markings, 585516886 edges,
lola: 1162 tries, 1161380448 fired transitions, 2005 secs || 87604530 markings, 586985473 edges,
lola: 1165 tries, 1164265652 fired transitions, 2010 secs || 87817285 markings, 588408818 edges,
lola: 1168 tries, 1167170592 fired transitions, 2015 secs || 88029766 markings, 589829948 edges,
lola: 1171 tries, 1170079543 fired transitions, 2020 secs || 88242055 markings, 591251243 edges,
lola: 1174 tries, 1173006944 fired transitions, 2025 secs || 88454920 markings, 592675072 edges,
lola: 1176 tries, 1175901214 fired transitions, 2030 secs || 88666762 markings, 594092342 edges,
lola: 1179 tries, 1178832283 fired transitions, 2035 secs || 88875153 markings, 595484726 edges,
lola: 1182 tries, 1181762038 fired transitions, 2040 secs || 89088076 markings, 596909051 edges,
lola: 1185 tries, 1184659936 fired transitions, 2045 secs || 89295927 markings, 598300847 edges,
lola: 1188 tries, 1187574688 fired transitions, 2050 secs || 89507781 markings, 599717144 edges,
lola: 1191 tries, 1190466331 fired transitions, 2055 secs || 89719247 markings, 601131261 edges,
lola: 1194 tries, 1193342241 fired transitions, 2060 secs || 89931293 markings, 602549571 edges,
lola: 1197 tries, 1196234034 fired transitions, 2065 secs || 90142027 markings, 603961731 edges,
lola: 1200 tries, 1199113410 fired transitions, 2070 secs || 90353334 markings, 605373875 edges,
lola: 1203 tries, 1202015606 fired transitions, 2075 secs || 90564402 markings, 606786570 edges,
lola: 1205 tries, 1204856808 fired transitions, 2080 secs || 90773646 markings, 608183467 edges,
lola: 1208 tries, 1207734659 fired transitions, 2085 secs || 90984230 markings, 609594104 edges,
lola: 1211 tries, 1210644674 fired transitions, 2090 secs || 91206788 markings, 611092699 edges,
lola: 1214 tries, 1213565007 fired transitions, 2095 secs || 91423740 markings, 612553993 edges,
lola: 1217 tries, 1216472356 fired transitions, 2100 secs || 91642156 markings, 614022751 edges,
lola: 1220 tries, 1219353431 fired transitions, 2105 secs || 91853730 markings, 615448449 edges,
lola: 1223 tries, 1222240698 fired transitions, 2110 secs || 92071605 markings, 616914113 edges,
lola: 1226 tries, 1225148099 fired transitions, 2115 secs || 92287035 markings, 618365675 edges,
lola: 1229 tries, 1228026406 fired transitions, 2120 secs || 92502729 markings, 619817205 edges,
lola: 1231 tries, 1230896237 fired transitions, 2125 secs || 92723741 markings, 621305394 edges,
lola: 1234 tries, 1233827949 fired transitions, 2130 secs || 92941602 markings, 622772095 edges,
lola: 1237 tries, 1236704322 fired transitions, 2135 secs || 93153474 markings, 624195821 edges,
lola: 1240 tries, 1239611529 fired transitions, 2140 secs || 93369924 markings, 625655623 edges,
lola: 1243 tries, 1242516066 fired transitions, 2145 secs || 93585381 markings, 627104010 edges,
lola: 1246 tries, 1245418316 fired transitions, 2150 secs || 93802137 markings, 628564575 edges,
lola: 1249 tries, 1248303845 fired transitions, 2155 secs || 94023792 markings, 630053001 edges,
lola: 1252 tries, 1251206933 fired transitions, 2160 secs || 94241525 markings, 631509874 edges,
lola: 1255 tries, 1254114868 fired transitions, 2165 secs || 94457796 markings, 632956296 edges,
lola: 1258 tries, 1257036567 fired transitions, 2170 secs || 94677175 markings, 634424646 edges,
lola: 1260 tries, 1259894123 fired transitions, 2175 secs || 94892299 markings, 635865943 edges,
lola: 1263 tries, 1262833976 fired transitions, 2180 secs || 95100154 markings, 637255737 edges,
lola: 1266 tries, 1265722298 fired transitions, 2185 secs || 95312072 markings, 638673635 edges,
lola: 1269 tries, 1268578407 fired transitions, 2190 secs || 95531198 markings, 640140351 edges,
lola: 1272 tries, 1271470945 fired transitions, 2195 secs || 95744822 markings, 641569571 edges,
lola: 1275 tries, 1274368490 fired transitions, 2200 secs || 95951126 markings, 642949742 edges,
lola: 1278 tries, 1277272618 fired transitions, 2205 secs || 96158252 markings, 644336056 edges,
lola: 1281 tries, 1280181708 fired transitions, 2210 secs || 96366264 markings, 645728072 edges,
lola: 1284 tries, 1283114107 fired transitions, 2215 secs || 96570389 markings, 647092037 edges,
lola: 1287 tries, 1286027623 fired transitions, 2220 secs || 96779219 markings, 648490950 edges,
lola: 1289 tries, 1288895943 fired transitions, 2225 secs || 96993057 markings, 649921454 edges,
lola: 1292 tries, 1291802919 fired transitions, 2230 secs || 97205736 markings, 651344080 edges,
lola: 1295 tries, 1294702390 fired transitions, 2235 secs || 97424320 markings, 652807457 edges,
lola: 1298 tries, 1297607747 fired transitions, 2240 secs || 97633623 markings, 654207947 edges,
lola: 1301 tries, 1300534948 fired transitions, 2245 secs || 97843336 markings, 655610442 edges,
lola: 1304 tries, 1303445811 fired transitions, 2250 secs || 98055473 markings, 657030548 edges,
lola: 1307 tries, 1306360059 fired transitions, 2255 secs || 98271638 markings, 658477435 edges,
lola: 1310 tries, 1309164925 fired transitions, 2260 secs || 98473794 markings, 659829296 edges,
lola: 1312 tries, 1311702690 fired transitions, 2265 secs || 98659589 markings, 661071231 edges,
lola: 1315 tries, 1314615004 fired transitions, 2270 secs || 98876026 markings, 662519297 edges,
lola: 1318 tries, 1317532953 fired transitions, 2275 secs || 99093524 markings, 663975965 edges,
lola: 1321 tries, 1320436995 fired transitions, 2280 secs || 99309136 markings, 665418630 edges,
lola: 1324 tries, 1323347293 fired transitions, 2285 secs || 99521840 markings, 666840318 edges,
lola: 1327 tries, 1326248162 fired transitions, 2290 secs || 99732887 markings, 668252583 edges,
lola: 1330 tries, 1329146535 fired transitions, 2295 secs || 99942267 markings, 669653387 edges,
lola: 1333 tries, 1332028470 fired transitions, 2300 secs || 100149841 markings, 671041659 edges,
lola: 1335 tries, 1334928900 fired transitions, 2305 secs || 100358833 markings, 672441057 edges,
lola: 1338 tries, 1337841528 fired transitions, 2310 secs || 100572054 markings, 673867588 edges,
lola: 1341 tries, 1340723596 fired transitions, 2315 secs || 100786088 markings, 675297880 edges,
lola: 1344 tries, 1343618902 fired transitions, 2320 secs || 100991111 markings, 676670892 edges,
lola: 1347 tries, 1346510566 fired transitions, 2325 secs || 101209099 markings, 678128825 edges,
lola: 1350 tries, 1349417437 fired transitions, 2330 secs || 101427561 markings, 679590838 edges,
lola: 1353 tries, 1352326488 fired transitions, 2335 secs || 101644466 markings, 681042485 edges,
lola: 1356 tries, 1355207006 fired transitions, 2340 secs || 101858235 markings, 682471518 edges,
lola: 1359 tries, 1358040699 fired transitions, 2345 secs || 102076010 markings, 683929182 edges,
lola: 1361 tries, 1360896647 fired transitions, 2350 secs || 102293039 markings, 685381037 edges,
lola: 1364 tries, 1363845594 fired transitions, 2355 secs || 102507637 markings, 686818125 edges,
lola: 1367 tries, 1366784737 fired transitions, 2360 secs || 102721046 markings, 688245805 edges,
lola: 1370 tries, 1369689405 fired transitions, 2365 secs || 102930396 markings, 689645920 edges,
lola: 1373 tries, 1372579133 fired transitions, 2370 secs || 103151414 markings, 691125673 edges,
lola: 1376 tries, 1375481442 fired transitions, 2375 secs || 103369071 markings, 692581477 edges,
lola: 1379 tries, 1378361214 fired transitions, 2380 secs || 103586817 markings, 694038677 edges,
lola: 1382 tries, 1381288368 fired transitions, 2385 secs || 103799902 markings, 695463447 edges,
lola: 1385 tries, 1384199076 fired transitions, 2390 secs || 104015006 markings, 696902297 edges,
lola: 1388 tries, 1387121786 fired transitions, 2395 secs || 104233604 markings, 698366120 edges,
lola: 1391 tries, 1390044134 fired transitions, 2400 secs || 104450708 markings, 699817872 edges,
lola: 1393 tries, 1392957711 fired transitions, 2405 secs || 104668954 markings, 701276715 edges,
lola: 1396 tries, 1395850817 fired transitions, 2410 secs || 104882830 markings, 702708134 edges,
lola: 1399 tries, 1398737897 fired transitions, 2415 secs || 105097719 markings, 704146479 edges,
lola: 1402 tries, 1401611251 fired transitions, 2420 secs || 105307382 markings, 705549389 edges,
lola: 1405 tries, 1404463207 fired transitions, 2425 secs || 105518343 markings, 706959391 edges,
lola: 1408 tries, 1407325515 fired transitions, 2430 secs || 105726417 markings, 708352695 edges,
lola: 1411 tries, 1410205610 fired transitions, 2435 secs || 105935101 markings, 709749197 edges,
lola: 1414 tries, 1413099127 fired transitions, 2440 secs || 106147904 markings, 711172670 edges,
lola: 1416 tries, 1415986313 fired transitions, 2445 secs || 106358933 markings, 712584992 edges,
lola: 1419 tries, 1418865215 fired transitions, 2450 secs || 106566438 markings, 713971370 edges,
lola: 1422 tries, 1421749883 fired transitions, 2455 secs || 106777249 markings, 715381706 edges,
lola: 1425 tries, 1424628265 fired transitions, 2460 secs || 106991225 markings, 716812741 edges,
lola: 1428 tries, 1427511046 fired transitions, 2465 secs || 107206063 markings, 718249910 edges,
lola: 1431 tries, 1430379393 fired transitions, 2470 secs || 107417494 markings, 719666308 edges,
lola: 1434 tries, 1433238247 fired transitions, 2475 secs || 107632190 markings, 721101717 edges,
lola: 1437 tries, 1436110155 fired transitions, 2480 secs || 107844407 markings, 722520202 edges,
lola: 1439 tries, 1438964708 fired transitions, 2485 secs || 108059185 markings, 723957851 edges,
lola: 1442 tries, 1441801274 fired transitions, 2490 secs || 108272269 markings, 725380552 edges,
lola: 1445 tries, 1444672739 fired transitions, 2495 secs || 108480733 markings, 726776742 edges,
lola: 1448 tries, 1447497067 fired transitions, 2500 secs || 108703087 markings, 728265612 edges,
lola: 1451 tries, 1450358205 fired transitions, 2505 secs || 108924503 markings, 729746905 edges,
lola: 1454 tries, 1453204723 fired transitions, 2510 secs || 109144286 markings, 731216780 edges,
lola: 1457 tries, 1456001667 fired transitions, 2515 secs || 109360019 markings, 732661057 edges,
lola: 1459 tries, 1458849939 fired transitions, 2520 secs || 109578820 markings, 734123738 edges,
lola: 1462 tries, 1461666908 fired transitions, 2525 secs || 109795684 markings, 735575285 edges,
lola: 1465 tries, 1464496686 fired transitions, 2530 secs || 110012384 markings, 737025885 edges,
lola: 1468 tries, 1467402968 fired transitions, 2535 secs || 110229165 markings, 738476534 edges,
lola: 1471 tries, 1470319712 fired transitions, 2540 secs || 110447288 markings, 739936161 edges,
lola: 1474 tries, 1473239150 fired transitions, 2545 secs || 110665681 markings, 741397146 edges,
lola: 1477 tries, 1476140370 fired transitions, 2550 secs || 110883129 markings, 742852454 edges,
lola: 1480 tries, 1479062796 fired transitions, 2555 secs || 111097678 markings, 744286768 edges,
lola: 1482 tries, 1481989281 fired transitions, 2560 secs || 111314999 markings, 745741275 edges,
lola: 1485 tries, 1484902709 fired transitions, 2565 secs || 111533701 markings, 747204104 edges,
lola: 1488 tries, 1487818990 fired transitions, 2570 secs || 111750800 markings, 748655424 edges,
lola: 1491 tries, 1490720068 fired transitions, 2575 secs || 111965581 markings, 750093207 edges,
lola: 1494 tries, 1493641151 fired transitions, 2580 secs || 112177442 markings, 751511090 edges,
lola: 1497 tries, 1496538350 fired transitions, 2585 secs || 112388801 markings, 752925193 edges,
lola: 1500 tries, 1499438513 fired transitions, 2590 secs || 112608132 markings, 754391989 edges,
lola: 1503 tries, 1502348641 fired transitions, 2595 secs || 112826600 markings, 755852310 edges,
lola: 1506 tries, 1505250339 fired transitions, 2600 secs || 113046112 markings, 757321646 edges,
lola: 1509 tries, 1508154064 fired transitions, 2605 secs || 113265675 markings, 758791933 edges,
lola: 1512 tries, 1511018784 fired transitions, 2610 secs || 113484125 markings, 760252017 edges,
lola: 1514 tries, 1513895368 fired transitions, 2615 secs || 113701571 markings, 761707909 edges,
lola: 1517 tries, 1516777297 fired transitions, 2620 secs || 113916112 markings, 763143026 edges,
lola: 1520 tries, 1519672829 fired transitions, 2625 secs || 114133301 markings, 764596546 edges,
lola: 1523 tries, 1522571362 fired transitions, 2630 secs || 114350676 markings, 766049608 edges,
lola: 1526 tries, 1525462581 fired transitions, 2635 secs || 114573436 markings, 767538397 edges,
lola: 1529 tries, 1528358398 fired transitions, 2640 secs || 114792767 markings, 769006301 edges,
lola: 1532 tries, 1531254039 fired transitions, 2645 secs || 115011061 markings, 770467559 edges,
lola: 1535 tries, 1534147058 fired transitions, 2650 secs || 115227677 markings, 771916664 edges,
lola: 1538 tries, 1537042490 fired transitions, 2655 secs || 115446385 markings, 773379111 edges,
lola: 1540 tries, 1539932713 fired transitions, 2660 secs || 115662150 markings, 774822592 edges,
lola: 1543 tries, 1542821894 fired transitions, 2665 secs || 115878257 markings, 776268033 edges,
lola: 1546 tries, 1545688317 fired transitions, 2670 secs || 116100788 markings, 777756764 edges,
lola: 1549 tries, 1548525389 fired transitions, 2675 secs || 116321553 markings, 779232298 edges,
lola: 1552 tries, 1551364150 fired transitions, 2680 secs || 116540282 markings, 780696772 edges,
lola: 1555 tries, 1554255591 fired transitions, 2685 secs || 116757184 markings, 782148494 edges,
lola: 1558 tries, 1557137614 fired transitions, 2690 secs || 116972247 markings, 783587121 edges,
lola: 1561 tries, 1560035447 fired transitions, 2695 secs || 117188166 markings, 785031940 edges,
lola: 1563 tries, 1562890070 fired transitions, 2700 secs || 117403445 markings, 786472112 edges,
lola: 1566 tries, 1565780049 fired transitions, 2705 secs || 117619364 markings, 787916058 edges,
lola: 1569 tries, 1568660673 fired transitions, 2710 secs || 117833280 markings, 789345410 edges,
lola: 1572 tries, 1571552566 fired transitions, 2715 secs || 118051136 markings, 790803612 edges,
lola: 1575 tries, 1574481845 fired transitions, 2720 secs || 118270629 markings, 792271825 edges,
lola: 1578 tries, 1577395342 fired transitions, 2725 secs || 118485735 markings, 793711908 edges,
lola: 1581 tries, 1580319806 fired transitions, 2730 secs || 118702479 markings, 795161906 edges,
lola: 1584 tries, 1583225067 fired transitions, 2735 secs || 118915302 markings, 796585352 edges,
lola: 1587 tries, 1586158696 fired transitions, 2740 secs || 119132967 markings, 798040946 edges,
lola: 1590 tries, 1589070629 fired transitions, 2745 secs || 119336965 markings, 799406326 edges,
lola: 1592 tries, 1591939988 fired transitions, 2750 secs || 119551325 markings, 800839137 edges,
lola: 1595 tries, 1594774892 fired transitions, 2755 secs || 119775666 markings, 802339415 edges,
lola: 1598 tries, 1597628512 fired transitions, 2760 secs || 119994904 markings, 803806752 edges,
lola: 1601 tries, 1600537897 fired transitions, 2765 secs || 120211703 markings, 805255754 edges,
lola: 1604 tries, 1603441131 fired transitions, 2770 secs || 120426171 markings, 806690351 edges,
lola: 1607 tries, 1606352620 fired transitions, 2775 secs || 120643521 markings, 808143580 edges,
lola: 1610 tries, 1609290046 fired transitions, 2780 secs || 120856556 markings, 809569238 edges,
lola: 1613 tries, 1612148906 fired transitions, 2785 secs || 121067268 markings, 810980192 edges,
lola: 1616 tries, 1615038119 fired transitions, 2790 secs || 121283719 markings, 812425959 edges,
lola: 1618 tries, 1617946897 fired transitions, 2795 secs || 121497746 markings, 813857609 edges,
lola: 1621 tries, 1620821060 fired transitions, 2800 secs || 121709042 markings, 815270829 edges,
lola: 1624 tries, 1623706392 fired transitions, 2805 secs || 121922562 markings, 816697675 edges,
lola: 1627 tries, 1626581924 fired transitions, 2810 secs || 122131076 markings, 818095670 edges,
lola: 1630 tries, 1629479580 fired transitions, 2815 secs || 122349184 markings, 819556132 edges,
lola: 1633 tries, 1632354797 fired transitions, 2820 secs || 122577335 markings, 821099071 edges,
lola: 1636 tries, 1635231636 fired transitions, 2825 secs || 122806213 markings, 822632579 edges,
lola: 1639 tries, 1638126417 fired transitions, 2830 secs || 123033112 markings, 824158745 edges,
lola: 1642 tries, 1641022408 fired transitions, 2835 secs || 123255266 markings, 825645704 edges,
lola: 1644 tries, 1643918870 fired transitions, 2840 secs || 123479013 markings, 827142713 edges,
lola: 1647 tries, 1646823057 fired transitions, 2845 secs || 123703058 markings, 828647500 edges,
lola: 1650 tries, 1649722221 fired transitions, 2850 secs || 123928135 markings, 830161493 edges,
lola: 1653 tries, 1652629792 fired transitions, 2855 secs || 124151310 markings, 831654579 edges,
lola: 1656 tries, 1655518792 fired transitions, 2860 secs || 124371523 markings, 833127484 edges,
lola: 1659 tries, 1658420285 fired transitions, 2865 secs || 124590776 markings, 834596704 edges,
lola: 1662 tries, 1661332221 fired transitions, 2870 secs || 124806514 markings, 836040133 edges,
lola: 1665 tries, 1664258409 fired transitions, 2875 secs || 125022424 markings, 837483875 edges,
lola: 1668 tries, 1667165329 fired transitions, 2880 secs || 125232140 markings, 838886723 edges,
lola: 1671 tries, 1670026840 fired transitions, 2885 secs || 125452937 markings, 840371453 edges,
lola: 1673 tries, 1672928932 fired transitions, 2890 secs || 125669724 markings, 841831939 edges,
lola: 1676 tries, 1675833210 fired transitions, 2895 secs || 125889854 markings, 843313464 edges,
lola: 1679 tries, 1678741817 fired transitions, 2900 secs || 126110243 markings, 844788676 edges,
lola: 1682 tries, 1681653410 fired transitions, 2905 secs || 126323210 markings, 846213377 edges,
lola: 1685 tries, 1684534278 fired transitions, 2910 secs || 126541126 markings, 847671786 edges,
lola: 1688 tries, 1687437082 fired transitions, 2915 secs || 126759554 markings, 849134227 edges,
lola: 1691 tries, 1690342973 fired transitions, 2920 secs || 126975672 markings, 850579465 edges,
lola: 1694 tries, 1693235838 fired transitions, 2925 secs || 127185000 markings, 851979531 edges,
lola: 1697 tries, 1696109100 fired transitions, 2930 secs || 127404582 markings, 853449716 edges,
lola: 1700 tries, 1699030800 fired transitions, 2935 secs || 127624787 markings, 854924102 edges,
lola: 1702 tries, 1701945576 fired transitions, 2940 secs || 127846133 markings, 856405611 edges,
lola: 1705 tries, 1704844385 fired transitions, 2945 secs || 128065640 markings, 857874094 edges,
lola: 1708 tries, 1707721767 fired transitions, 2950 secs || 128285717 markings, 859347142 edges,
lola: 1711 tries, 1710614910 fired transitions, 2955 secs || 128500946 markings, 860786422 edges,
lola: 1714 tries, 1713477880 fired transitions, 2960 secs || 128714186 markings, 862213705 edges,
lola: 1717 tries, 1716360412 fired transitions, 2965 secs || 128927257 markings, 863639081 edges,
lola: 1720 tries, 1719257699 fired transitions, 2970 secs || 129142578 markings, 865079396 edges,
lola: 1723 tries, 1722099299 fired transitions, 2975 secs || 129365557 markings, 866578996 edges,
lola: 1725 tries, 1724997541 fired transitions, 2980 secs || 129586852 markings, 868068729 edges,
lola: 1728 tries, 1727879886 fired transitions, 2985 secs || 129806003 markings, 869545671 edges,
lola: 1731 tries, 1730770303 fired transitions, 2990 secs || 130025334 markings, 871021398 edges,
lola: 1734 tries, 1733650407 fired transitions, 2995 secs || 130246812 markings, 872511607 edges,
lola: 1737 tries, 1736536270 fired transitions, 3000 secs || 130468053 markings, 873992996 edges,
lola: 1740 tries, 1739417204 fired transitions, 3005 secs || 130685580 markings, 875447911 edges,
lola: 1743 tries, 1742309174 fired transitions, 3010 secs || 130903185 markings, 876905364 edges,
lola: 1746 tries, 1745169090 fired transitions, 3015 secs || 131119156 markings, 878350804 edges,
lola: 1749 tries, 1748053771 fired transitions, 3020 secs || 131333403 markings, 879784115 edges,
lola: 1751 tries, 1750885361 fired transitions, 3025 secs || 131545942 markings, 881205777 edges,
lola: 1754 tries, 1753756400 fired transitions, 3030 secs || 131761940 markings, 882651724 edges,
lola: 1757 tries, 1756564036 fired transitions, 3035 secs || 131976142 markings, 884084596 edges,
lola: 1760 tries, 1759398894 fired transitions, 3040 secs || 132190709 markings, 885521315 edges,
lola: 1763 tries, 1762244071 fired transitions, 3045 secs || 132405007 markings, 886954431 edges,
lola: 1766 tries, 1765119191 fired transitions, 3050 secs || 132617259 markings, 888373554 edges,
lola: 1768 tries, 1767986593 fired transitions, 3055 secs || 132820923 markings, 889737912 edges,
lola: 1771 tries, 1770883939 fired transitions, 3060 secs || 133029020 markings, 891130343 edges,
lola: 1774 tries, 1773758235 fired transitions, 3065 secs || 133239161 markings, 892535513 edges,
lola: 1777 tries, 1776641971 fired transitions, 3070 secs || 133448511 markings, 893936424 edges,
lola: 1780 tries, 1779509052 fired transitions, 3075 secs || 133666336 markings, 895393345 edges,
lola: 1783 tries, 1782373037 fired transitions, 3080 secs || 133878798 markings, 896816193 edges,
lola: 1786 tries, 1785237426 fired transitions, 3085 secs || 134091592 markings, 898239991 edges,
lola: 1789 tries, 1788093806 fired transitions, 3090 secs || 134305736 markings, 899670992 edges,
lola: 1791 tries, 1790959059 fired transitions, 3095 secs || 134521186 markings, 901114321 edges,
lola: 1794 tries, 1793834552 fired transitions, 3100 secs || 134734634 markings, 902542047 edges,
lola: 1797 tries, 1796668573 fired transitions, 3105 secs || 134948736 markings, 903974055 edges,
lola: 1800 tries, 1799533494 fired transitions, 3110 secs || 135164904 markings, 905419815 edges,
lola: 1803 tries, 1802378963 fired transitions, 3115 secs || 135378130 markings, 906847391 edges,
lola: 1806 tries, 1805236222 fired transitions, 3120 secs || 135593340 markings, 908286990 edges,
lola: 1809 tries, 1808100391 fired transitions, 3125 secs || 135803615 markings, 909693907 edges,
lola: 1811 tries, 1810978053 fired transitions, 3130 secs || 136017160 markings, 911123796 edges,
lola: 1814 tries, 1813923567 fired transitions, 3135 secs || 136229095 markings, 912541757 edges,
lola: 1817 tries, 1816796266 fired transitions, 3140 secs || 136441416 markings, 913961699 edges,
lola: 1820 tries, 1819713516 fired transitions, 3145 secs || 136657052 markings, 915404526 edges,
lola: 1823 tries, 1822615017 fired transitions, 3150 secs || 136869898 markings, 916826408 edges,
lola: 1826 tries, 1825515054 fired transitions, 3155 secs || 137084328 markings, 918262039 edges,
lola: 1829 tries, 1828434244 fired transitions, 3160 secs || 137294797 markings, 919671184 edges,
lola: 1832 tries, 1831346783 fired transitions, 3165 secs || 137512283 markings, 921132031 edges,
lola: 1835 tries, 1834265694 fired transitions, 3170 secs || 137730774 markings, 922603443 edges,
lola: 1838 tries, 1837180205 fired transitions, 3175 secs || 137947290 markings, 924060149 edges,
lola: 1841 tries, 1840069276 fired transitions, 3180 secs || 138165149 markings, 925527905 edges,
lola: 1843 tries, 1842971746 fired transitions, 3185 secs || 138383682 markings, 926997970 edges,
lola: 1846 tries, 1845872108 fired transitions, 3190 secs || 138602347 markings, 928469777 edges,
lola: 1849 tries, 1848788600 fired transitions, 3195 secs || 138817275 markings, 929917936 edges,
lola: 1852 tries, 1851716184 fired transitions, 3200 secs || 139031357 markings, 931360500 edges,
lola: 1855 tries, 1854619714 fired transitions, 3205 secs || 139251802 markings, 932838591 edges,
lola: 1858 tries, 1857529450 fired transitions, 3210 secs || 139476089 markings, 934339651 edges,
lola: 1861 tries, 1860425685 fired transitions, 3215 secs || 139696037 markings, 935812019 edges,
lola: 1864 tries, 1863379213 fired transitions, 3220 secs || 139914888 markings, 937276664 edges,
lola: 1867 tries, 1866289099 fired transitions, 3225 secs || 140133034 markings, 938736595 edges,
lola: 1870 tries, 1869211813 fired transitions, 3230 secs || 140348450 markings, 940176806 edges,
lola: 1873 tries, 1872120903 fired transitions, 3235 secs || 140563663 markings, 941618779 edges,
lola: 1876 tries, 1875032508 fired transitions, 3240 secs || 140779909 markings, 943065282 edges,
lola: 1878 tries, 1877936900 fired transitions, 3245 secs || 140992204 markings, 944486391 edges,
lola: 1881 tries, 1880849506 fired transitions, 3250 secs || 141203772 markings, 945901557 edges,
lola: 1884 tries, 1883757340 fired transitions, 3255 secs || 141418058 markings, 947334865 edges,
lola: 1887 tries, 1886648847 fired transitions, 3260 secs || 141632099 markings, 948767480 edges,
lola: 1890 tries, 1889588673 fired transitions, 3265 secs || 141843915 markings, 950183968 edges,
lola: 1893 tries, 1892511239 fired transitions, 3270 secs || 142056694 markings, 951607152 edges,
lola: 1896 tries, 1895445923 fired transitions, 3275 secs || 142269867 markings, 953033347 edges,
lola: 1899 tries, 1898381495 fired transitions, 3280 secs || 142484968 markings, 954473972 edges,
lola: 1902 tries, 1901304776 fired transitions, 3285 secs || 142704944 markings, 955944880 edges,
lola: 1905 tries, 1904229921 fired transitions, 3290 secs || 142922617 markings, 957402547 edges,
lola: 1908 tries, 1907135585 fired transitions, 3295 secs || 143137785 markings, 958842333 edges,
lola: 1911 tries, 1910056052 fired transitions, 3300 secs || 143354861 markings, 960294771 edges,
lola: 1913 tries, 1912962126 fired transitions, 3305 secs || 143570697 markings, 961739146 edges,
lola: 1916 tries, 1915873332 fired transitions, 3310 secs || 143784018 markings, 963166212 edges,
lola: 1919 tries, 1918789589 fired transitions, 3315 secs || 144000488 markings, 964614375 edges,
lola: 1922 tries, 1921715187 fired transitions, 3320 secs || 144214685 markings, 966046069 edges,
lola: 1925 tries, 1924623557 fired transitions, 3325 secs || 144431447 markings, 967498044 edges,
lola: 1928 tries, 1927500742 fired transitions, 3330 secs || 144643330 markings, 968914479 edges,
lola: 1931 tries, 1930404618 fired transitions, 3335 secs || 144853761 markings, 970322608 edges,
lola: 1934 tries, 1933331598 fired transitions, 3340 secs || 145059561 markings, 971700580 edges,
lola: 1937 tries, 1936256850 fired transitions, 3345 secs || 145268572 markings, 973097416 edges,
lola: 1940 tries, 1939176620 fired transitions, 3350 secs || 145481765 markings, 974524154 edges,
lola: 1943 tries, 1942094518 fired transitions, 3355 secs || 145693751 markings, 975942879 edges,
lola: 1946 tries, 1945012802 fired transitions, 3360 secs || 145904692 markings, 977354054 edges,
lola: 1948 tries, 1947939203 fired transitions, 3365 secs || 146116695 markings, 978771851 edges,
lola: 1951 tries, 1950851625 fired transitions, 3370 secs || 146329079 markings, 980193173 edges,
lola: 1954 tries, 1953770972 fired transitions, 3375 secs || 146553498 markings, 981694096 edges,
lola: 1957 tries, 1956672817 fired transitions, 3380 secs || 146773480 markings, 983166448 edges,
lola: 1960 tries, 1959599032 fired transitions, 3385 secs || 146991428 markings, 984625007 edges,
lola: 1963 tries, 1962515805 fired transitions, 3390 secs || 147209850 markings, 986087424 edges,
lola: 1966 tries, 1965457322 fired transitions, 3395 secs || 147425432 markings, 987529058 edges,
lola: 1969 tries, 1968390299 fired transitions, 3400 secs || 147637474 markings, 988948676 edges,
lola: 1972 tries, 1971307464 fired transitions, 3405 secs || 147853297 markings, 990392752 edges,
lola: 1975 tries, 1974221425 fired transitions, 3410 secs || 148067958 markings, 991827731 edges,
lola: 1978 tries, 1977136704 fired transitions, 3415 secs || 148287637 markings, 993298363 edges,
lola: 1981 tries, 1980049780 fired transitions, 3420 secs || 148506619 markings, 994761932 edges,
lola: 1983 tries, 1982962493 fired transitions, 3425 secs || 148722996 markings, 996210075 edges,
lola: 1986 tries, 1985841361 fired transitions, 3430 secs || 148933942 markings, 997622097 edges,
lola: 1989 tries, 1988757019 fired transitions, 3435 secs || 149147793 markings, 999053331 edges,
lola: 1992 tries, 1991670693 fired transitions, 3440 secs || 149364783 markings, 1000503357 edges,
lola: 1995 tries, 1994589824 fired transitions, 3445 secs || 149581152 markings, 1001951336 edges,
lola: 1998 tries, 1997514015 fired transitions, 3450 secs || 149796947 markings, 1003395322 edges,
lola: 2001 tries, 2000439217 fired transitions, 3455 secs || 150010663 markings, 1004824159 edges,
lola: 2004 tries, 2003346603 fired transitions, 3460 secs || 150229218 markings, 1006287472 edges,
lola: 2007 tries, 2006266861 fired transitions, 3465 secs || 150448428 markings, 1007754446 edges,
lola: 2010 tries, 2009185232 fired transitions, 3470 secs || 150661571 markings, 1009180560 edges,
lola: 2013 tries, 2012102033 fired transitions, 3475 secs || 150874356 markings, 1010602152 edges,
lola: 2016 tries, 2015019764 fired transitions, 3480 secs || 151087449 markings, 1012027978 edges,
lola: 2018 tries, 2017895681 fired transitions, 3485 secs || 151299485 markings, 1013448056 edges,
lola: 2021 tries, 2020838119 fired transitions, 3490 secs || 151512094 markings, 1014868938 edges,
lola: 2024 tries, 2023780240 fired transitions, 3495 secs || 151719980 markings, 1016260008 edges,
lola: 2027 tries, 2026731335 fired transitions, 3500 secs || 151930257 markings, 1017667990 edges,
lola: 2030 tries, 2029662308 fired transitions, 3505 secs || 152139267 markings, 1019065683 edges,
lola: 2033 tries, 2032572422 fired transitions, 3510 secs || 152356332 markings, 1020516187 edges,
lola: 2036 tries, 2035477881 fired transitions, 3515 secs || 152569691 markings, 1021943973 edges,
lola: 2039 tries, 2038383741 fired transitions, 3520 secs || 152783120 markings, 1023372985 edges,
lola: 2042 tries, 2041278740 fired transitions, 3525 secs || 152993045 markings, 1024778097 edges,
lola: 2045 tries, 2044179677 fired transitions, 3530 secs || 153207840 markings, 1026213628 edges,
lola: 2048 tries, 2047105249 fired transitions, 3535 secs || 153419332 markings, 1027628556 edges,
lola: 2051 tries, 2050030712 fired transitions, 3540 secs || 153630966 markings, 1029044355 edges,
lola: 2053 tries, 2052959049 fired transitions, 3545 secs || 153848598 markings, 1030504407 edges,
lola: 2056 tries, 2055835004 fired transitions, 3550 secs || 154071010 markings, 1032001307 edges,
lola: 2059 tries, 2058749287 fired transitions, 3555 secs || 154288969 markings, 1033467748 edges,
lola: time limit reached - aborting
lola: memory consumption: 5876136 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552567081438

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
le='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 49711 markings/sec, 0 secs 47926 markings/sec, 5 secs 46954 markings/sec, 10 secs 47149 markings/sec, 15 secs 46352 markings/sec, 20 secs 47008 markings/sec, 25 secs 46733 markings/sec, 30 secs 46410 markings/sec, 35 secs 47435 markings/sec, 40 secs 47634 markings/sec, 45 secs 46747 markings/sec, 50 secs 46235 markings/sec, 55 secs 45549 markings/sec, 60 secs 45556 markings/sec, 65 secs 44481 markings/sec, 70 secs 45090 markings/sec, 75 secs 45389 markings/sec, 80 secs 44799 markings/sec, 85 secs 44769 markings/sec, 90 secs 44580 markings/sec, 95 secs 44257 markings/sec, 100 secs 43948 markings/sec, 105 secs 44684 markings/sec, 110 secs 45142 markings/sec, 115 secs 44528 markings/sec, 120 secs 45005 markings/sec, 125 secs 44864 markings/sec, 130 secs 43661 markings/sec, 135 secs 45724 markings/sec, 140 secs 45761 markings/sec, 145 secs 45146 markings/sec, 150 secs 45324 markings/sec, 155 secs 44979 markings/sec, 160 secs 44738 markings/sec, 165 secs 44801 markings/sec, 170 secs 45128 markings/sec, 175 secs 44248 markings/sec, 180 secs 45225 markings/sec, 185 secs 44736 markings/sec, 190 secs 44203 markings/sec, 195 secs 43342 markings/sec, 200 secs 43706 markings/sec, 205 secs 43996 markings/sec, 210 secs 44102 markings/sec, 215 secs 44463 markings/sec, 220 secs 43863 markings/sec, 225 secs 43993 markings/sec, 230 secs 44334 markings/sec, 235 secs 43241 markings/sec, 240 secs 43342 markings/sec, 245 secs 43586 markings/sec, 250 secs 43443 markings/sec, 255 secs 43905 markings/sec, 260 secs 43011 markings/sec, 265 secs 43609 markings/sec, 270 secs 43475 markings/sec, 275 secs 43401 markings/sec, 280 secs 42024 markings/sec, 285 secs 43109 markings/sec, 290 secs 44431 markings/sec, 295 secs 44860 markings/sec, 300 secs 44673 markings/sec, 305 secs 43919 markings/sec, 310 secs 43308 markings/sec, 315 secs 43839 markings/sec, 320 secs 44237 markings/sec, 325 secs 43471 markings/sec, 330 secs 42805 markings/sec, 335 secs 44512 markings/sec, 340 secs 43658 markings/sec, 345 secs 42970 markings/sec, 350 secs 42502 markings/sec, 355 secs 44105 markings/sec, 360 secs 43111 markings/sec, 365 secs 44221 markings/sec, 370 secs 43704 markings/sec, 375 secs 43477 markings/sec, 380 secs 44356 markings/sec, 385 secs 43977 markings/sec, 390 secs 42705 markings/sec, 395 secs 42778 markings/sec, 400 secs 44721 markings/sec, 405 secs 44233 markings/sec, 410 secs 43442 markings/sec, 415 secs 42962 markings/sec, 420 secs 43860 markings/sec, 425 secs 42972 markings/sec, 430 secs 43097 markings/sec, 435 secs 42735 markings/sec, 440 secs 42652 markings/sec, 445 secs 43701 markings/sec, 450 secs 43612 markings/sec, 455 secs 43480 markings/sec, 460 secs 42875 markings/sec, 465 secs 43951 markings/sec, 470 secs 44443 markings/sec, 475 secs 42769 markings/sec, 480 secs 43659 markings/sec, 485 secs 43310 markings/sec, 490 secs 42867 markings/sec, 495 secs 42676 markings/sec, 500 secs 43528 markings/sec, 505 secs 43476 markings/sec, 510 secs 42955 markings/sec, 515 secs 43258 markings/sec, 520 secs 42648 markings/sec, 525 secs 42683 markings/sec, 530 secs 42831 markings/sec, 535 secs 42885 markings/sec, 540 secs 41990 markings/sec, 545 secs 44004 markings/sec, 550 secs 43317 markings/sec, 555 secs 43068 markings/sec, 560 secs 42356 markings/sec, 565 secs 42611 markings/sec, 570 secs 42998 markings/sec, 575 secs 42773 markings/sec, 580 secs 42175 markings/sec, 585 secs 42938 markings/sec, 590 secs 42526 markings/sec, 595 secs 42192 markings/sec, 600 secs 42393 markings/sec, 605 secs 42443 markings/sec, 610 secs 42844 markings/sec, 615 secs 42802 markings/sec, 620 secs 41566 markings/sec, 625 secs 42030 markings/sec, 630 secs 41385 markings/sec, 635 secs 44755 markings/sec, 640 secs 45976 markings/sec, 645 secs 45444 markings/sec, 650 secs 44799 markings/sec, 655 secs 44548 markings/sec, 660 secs 44757 markings/sec, 665 secs 45164 markings/sec, 670 secs 45206 markings/sec, 675 secs 44327 markings/sec, 680 secs 45071 markings/sec, 685 secs 44678 markings/sec, 690 secs 44185 markings/sec, 695 secs 43569 markings/sec, 700 secs 44830 markings/sec, 705 secs 44352 markings/sec, 710 secs 44938 markings/sec, 715 secs 44844 markings/sec, 720 secs 43997 markings/sec, 725 secs 44664 markings/sec, 730 secs 44511 markings/sec, 735 secs 43562 markings/sec, 740 secs 42530 markings/sec, 745 secs 44671 markings/sec, 750 secs 43223 markings/sec, 755 secs 43892 markings/sec, 760 secs 43678 markings/sec, 765 secs 43696 markings/sec, 770 secs 42644 markings/sec, 775 secs 43573 markings/sec, 780 secs 43348 markings/sec, 785 secs 43648 markings/sec, 790 secs 44088 markings/sec, 795 secs 43652 markings/sec, 800 secs 43631 markings/sec, 805 secs 43241 markings/sec, 810 secs 44706 markings/sec, 815 secs 44251 markings/sec, 820 secs 43256 markings/sec, 825 secs 44724 markings/sec, 830 secs 44056 markings/sec, 835 secs 43540 markings/sec, 840 secs 43344 markings/sec, 845 secs 44265 markings/sec, 850 secs 43470 markings/sec, 855 secs 43998 markings/sec, 860 secs 42831 markings/sec, 865 secs 43114 markings/sec, 870 secs 42895 markings/sec, 875 secs 42851 markings/sec, 880 secs 32728 markings/sec, 885 secs 43224 markings/sec, 890 secs 45073 markings/sec, 895 secs 44423 markings/sec, 900 secs 43968 markings/sec, 905 secs 43856 markings/sec, 910 secs 44089 markings/sec, 915 secs 43673 markings/sec, 920 secs 44024 markings/sec, 925 secs 43546 markings/sec, 930 secs 43118 markings/sec, 935 secs 24302 markings/sec, 940 secs 43226 markings/sec, 945 secs 43422 markings/sec, 950 secs 42888 markings/sec, 955 secs 43662 markings/sec, 960 secs 43258 markings/sec, 965 secs 42953 markings/sec, 970 secs 43120 markings/sec, 975 secs 42142 markings/sec, 980 secs 44017 markings/sec, 985 secs 43071 markings/sec, 990 secs 43802 markings/sec, 995 secs 43222 markings/sec, 1000 secs 44177 markings/sec, 1005 secs 43375 markings/sec, 1010 secs 44092 markings/sec, 1015 secs 43753 markings/sec, 1020 secs 45511 markings/sec, 1025 secs 45048 markings/sec, 1030 secs 44474 markings/sec, 1035 secs 44193 markings/sec, 1040 secs 44010 markings/sec, 1045 secs 43736 markings/sec, 1050 secs 44328 markings/sec, 1055 secs 44254 markings/sec, 1060 secs 44869 markings/sec, 1065 secs 44780 markings/sec, 1070 secs 44312 markings/sec, 1075 secs 43525 markings/sec, 1080 secs 43755 markings/sec, 1085 secs 42831 markings/sec, 1090 secs 42524 markings/sec, 1095 secs 45159 markings/sec, 1100 secs 44753 markings/sec, 1105 secs 44221 markings/sec, 1110 secs 44296 markings/sec, 1115 secs 43424 markings/sec, 1120 secs 44280 markings/sec, 1125 secs 44792 markings/sec, 1130 secs 43591 markings/sec, 1135 secs 44784 markings/sec, 1140 secs 43726 markings/sec, 1145 secs 43059 markings/sec, 1150 secs 43276 markings/sec, 1155 secs 43419 markings/sec, 1160 secs 43989 markings/sec, 1165 secs 42788 markings/sec, 1170 secs 43627 markings/sec, 1175 secs 42459 markings/sec, 1180 secs 43444 markings/sec, 1185 secs 45016 markings/sec, 1190 secs 44557 markings/sec, 1195 secs 44256 markings/sec, 1200 secs 44197 markings/sec, 1205 secs 44295 markings/sec, 1210 secs 44001 markings/sec, 1215 secs 43608 markings/sec, 1220 secs 43162 markings/sec, 1225 secs 44888 markings/sec, 1230 secs 44510 markings/sec, 1235 secs 44676 markings/sec, 1240 secs 44429 markings/sec, 1245 secs 44445 markings/sec, 1250 secs 44613 markings/sec, 1255 secs 44650 markings/sec, 1260 secs 44181 markings/sec, 1265 secs 43813 markings/sec, 1270 secs 45361 markings/sec, 1275 secs 44324 markings/sec, 1280 secs 44137 markings/sec, 1285 secs 43695 markings/sec, 1290 secs 44224 markings/sec, 1295 secs 43784 markings/sec, 1300 secs 43553 markings/sec, 1305 secs 43786 markings/sec, 1310 secs 43636 markings/sec, 1315 secs 45077 markings/sec, 1320 secs 44900 markings/sec, 1325 secs 44554 markings/sec, 1330 secs 43948 markings/sec, 1335 secs 44203 markings/sec, 1340 secs 43513 markings/sec, 1345 secs 43236 markings/sec, 1350 secs 45374 markings/sec, 1355 secs 46746 markings/sec, 1360 secs 45687 markings/sec, 1365 secs 45421 markings/sec, 1370 secs 45019 markings/sec, 1375 secs 44294 markings/sec, 1380 secs 43967 markings/sec, 1385 secs 44798 markings/sec, 1390 secs 44403 markings/sec, 1395 secs 43941 markings/sec, 1400 secs 43679 markings/sec, 1405 secs 42960 markings/sec, 1410 secs 42638 markings/sec, 1415 secs 43190 markings/sec, 1420 secs 43862 markings/sec, 1425 secs 44164 markings/sec, 1430 secs 44452 markings/sec, 1435 secs 44005 markings/sec, 1440 secs 43421 markings/sec, 1445 secs 43453 markings/sec, 1450 secs 43558 markings/sec, 1455 secs 42552 markings/sec, 1460 secs 42497 markings/sec, 1465 secs 43938 markings/sec, 1470 secs 43188 markings/sec, 1475 secs 43204 markings/sec, 1480 secs 43182 markings/sec, 1485 secs 42777 markings/sec, 1490 secs 41789 markings/sec, 1495 secs 42206 markings/sec, 1500 secs 42911 markings/sec, 1505 secs 43644 markings/sec, 1510 secs 44120 markings/sec, 1515 secs 43659 markings/sec, 1520 secs 43427 markings/sec, 1525 secs 43382 markings/sec, 1530 secs 44043 markings/sec, 1535 secs 42852 markings/sec, 1540 secs 42157 markings/sec, 1545 secs 43371 markings/sec, 1550 secs 42870 markings/sec, 1555 secs 41696 markings/sec, 1560 secs 41790 markings/sec, 1565 secs 43700 markings/sec, 1570 secs 43430 markings/sec, 1575 secs 43153 markings/sec, 1580 secs 43267 markings/sec, 1585 secs 42869 markings/sec, 1590 secs 42269 markings/sec, 1595 secs 42106 markings/sec, 1600 secs 42112 markings/sec, 1605 secs 42530 markings/sec, 1610 secs 44043 markings/sec, 1615 secs 43499 markings/sec, 1620 secs 42916 markings/sec, 1625 secs 42630 markings/sec, 1630 secs 43225 markings/sec, 1635 secs 42502 markings/sec, 1640 secs 43266 markings/sec, 1645 secs 42895 markings/sec, 1650 secs 43596 markings/sec, 1655 secs 43333 markings/sec, 1660 secs 42584 markings/sec, 1665 secs 42586 markings/sec, 1670 secs 41638 markings/sec, 1675 secs 42792 markings/sec, 1680 secs 42608 markings/sec, 1685 secs 42634 markings/sec, 1690 secs 42718 markings/sec, 1695 secs 42754 markings/sec, 1700 secs 44287 markings/sec, 1705 secs 43513 markings/sec, 1710 secs 43786 markings/sec, 1715 secs 42823 markings/sec, 1720 secs 43486 markings/sec, 1725 secs 42988 markings/sec, 1730 secs 43045 markings/sec, 1735 secs 43573 markings/sec, 1740 secs 44977 markings/sec, 1745 secs 44074 markings/sec, 1750 secs 43609 markings/sec, 1755 secs 43574 markings/sec, 1760 secs 42949 markings/sec, 1765 secs 42539 markings/sec, 1770 secs 43100 markings/sec, 1775 secs 42342 markings/sec, 1780 secs 41390 markings/sec, 1785 secs 41818 markings/sec, 1790 secs 42227 markings/sec, 1795 secs 41822 markings/sec, 1800 secs 41352 markings/sec, 1805 secs 41684 markings/sec, 1810 secs 41519 markings/sec, 1815 secs 42487 markings/sec, 1820 secs 43221 markings/sec, 1825 secs 42789 markings/sec, 1830 secs 42352 markings/sec, 1835 secs 42599 markings/sec, 1840 secs 42257 markings/sec, 1845 secs 42286 markings/sec, 1850 secs 41917 markings/sec, 1855 secs 42634 markings/sec, 1860 secs 42797 markings/sec, 1865 secs 41863 markings/sec, 1870 secs 41644 markings/sec, 1875 secs 41344 markings/sec, 1880 secs 40821 markings/sec, 1885 secs 42163 markings/sec, 1890 secs 41967 markings/sec, 1895 secs 41607 markings/sec, 1900 secs 41843 markings/sec, 1905 secs 41882 markings/sec, 1910 secs 44237 markings/sec, 1915 secs 43137 markings/sec, 1920 secs 42271 markings/sec, 1925 secs 42696 markings/sec, 1930 secs 43213 markings/sec, 1935 secs 42523 markings/sec, 1940 secs 42923 markings/sec, 1945 secs 42440 markings/sec, 1950 secs 41945 markings/sec, 1955 secs 42792 markings/sec, 1960 secs 42508 markings/sec, 1965 secs 42878 markings/sec, 1970 secs 42635 markings/sec, 1975 secs 41591 markings/sec, 1980 secs 42089 markings/sec, 1985 secs 42360 markings/sec, 1990 secs 41802 markings/sec, 1995 secs 41578 markings/sec, 2000 secs 43870 markings/sec, 2005 secs 42551 markings/sec, 2010 secs 42496 markings/sec, 2015 secs 42458 markings/sec, 2020 secs 42573 markings/sec, 2025 secs 42368 markings/sec, 2030 secs 41678 markings/sec, 2035 secs 42585 markings/sec, 2040 secs 41570 markings/sec, 2045 secs 42371 markings/sec, 2050 secs 42293 markings/sec, 2055 secs 42409 markings/sec, 2060 secs 42147 markings/sec, 2065 secs 42261 markings/sec, 2070 secs 42214 markings/sec, 2075 secs 41849 markings/sec, 2080 secs 42117 markings/sec, 2085 secs 44512 markings/sec, 2090 secs 43390 markings/sec, 2095 secs 43683 markings/sec, 2100 secs 42315 markings/sec, 2105 secs 43575 markings/sec, 2110 secs 43086 markings/sec, 2115 secs 43139 markings/sec, 2120 secs 44202 markings/sec, 2125 secs 43572 markings/sec, 2130 secs 42374 markings/sec, 2135 secs 43290 markings/sec, 2140 secs 43091 markings/sec, 2145 secs 43351 markings/sec, 2150 secs 44331 markings/sec, 2155 secs 43547 markings/sec, 2160 secs 43254 markings/sec, 2165 secs 43876 markings/sec, 2170 secs 43025 markings/sec, 2175 secs 41571 markings/sec, 2180 secs 42384 markings/sec, 2185 secs 43825 markings/sec, 2190 secs 42725 markings/sec, 2195 secs 41261 markings/sec, 2200 secs 41425 markings/sec, 2205 secs 41602 markings/sec, 2210 secs 40825 markings/sec, 2215 secs 41766 markings/sec, 2220 secs 42768 markings/sec, 2225 secs 42536 markings/sec, 2230 secs 43717 markings/sec, 2235 secs 41861 markings/sec, 2240 secs 41943 markings/sec, 2245 secs 42427 markings/sec, 2250 secs 43233 markings/sec, 2255 secs 40431 markings/sec, 2260 secs 37159 markings/sec, 2265 secs 43287 markings/sec, 2270 secs 43500 markings/sec, 2275 secs 43122 markings/sec, 2280 secs 42541 markings/sec, 2285 secs 42209 markings/sec, 2290 secs 41876 markings/sec, 2295 secs 41515 markings/sec, 2300 secs 41798 markings/sec, 2305 secs 42644 markings/sec, 2310 secs 42807 markings/sec, 2315 secs 41005 markings/sec, 2320 secs 43598 markings/sec, 2325 secs 43692 markings/sec, 2330 secs 43381 markings/sec, 2335 secs 42754 markings/sec, 2340 secs 43555 markings/sec, 2345 secs 43406 markings/sec, 2350 secs 42920 markings/sec, 2355 secs 42682 markings/sec, 2360 secs 41870 markings/sec, 2365 secs 44204 markings/sec, 2370 secs 43531 markings/sec, 2375 secs 43549 markings/sec, 2380 secs 42617 markings/sec, 2385 secs 43021 markings/sec, 2390 secs 43720 markings/sec, 2395 secs 43421 markings/sec, 2400 secs 43649 markings/sec, 2405 secs 42775 markings/sec, 2410 secs 42978 markings/sec, 2415 secs 41933 markings/sec, 2420 secs 42192 markings/sec, 2425 secs 41615 markings/sec, 2430 secs 41737 markings/sec, 2435 secs 42561 markings/sec, 2440 secs 42206 markings/sec, 2445 secs 41501 markings/sec, 2450 secs 42162 markings/sec, 2455 secs 42795 markings/sec, 2460 secs 42968 markings/sec, 2465 secs 42286 markings/sec, 2470 secs 42939 markings/sec, 2475 secs 42443 markings/sec, 2480 secs 42956 markings/sec, 2485 secs 42617 markings/sec, 2490 secs 41693 markings/sec, 2495 secs 44471 markings/sec, 2500 secs 44283 markings/sec, 2505 secs 43957 markings/sec, 2510 secs 43147 markings/sec, 2515 secs 43760 markings/sec, 2520 secs 43373 markings/sec, 2525 secs 43340 markings/sec, 2530 secs 43356 markings/sec, 2535 secs 43625 markings/sec, 2540 secs 43679 markings/sec, 2545 secs 43490 markings/sec, 2550 secs 42910 markings/sec, 2555 secs 43464 markings/sec, 2560 secs 43740 markings/sec, 2565 secs 43420 markings/sec, 2570 secs 42956 markings/sec, 2575 secs 42372 markings/sec, 2580 secs 42272 markings/sec, 2585 secs 43866 markings/sec, 2590 secs 43694 markings/sec, 2595 secs 43902 markings/sec, 2600 secs 43913 markings/sec, 2605 secs 43690 markings/sec, 2610 secs 43489 markings/sec, 2615 secs 42908 markings/sec, 2620 secs 43438 markings/sec, 2625 secs 43475 markings/sec, 2630 secs 44552 markings/sec, 2635 secs 43866 markings/sec, 2640 secs 43659 markings/sec, 2645 secs 43323 markings/sec, 2650 secs 43742 markings/sec, 2655 secs 43153 markings/sec, 2660 secs 43221 markings/sec, 2665 secs 44506 markings/sec, 2670 secs 44153 markings/sec, 2675 secs 43746 markings/sec, 2680 secs 43380 markings/sec, 2685 secs 43013 markings/sec, 2690 secs 43184 markings/sec, 2695 secs 43056 markings/sec, 2700 secs 43184 markings/sec, 2705 secs 42783 markings/sec, 2710 secs 43571 markings/sec, 2715 secs 43899 markings/sec, 2720 secs 43021 markings/sec, 2725 secs 43349 markings/sec, 2730 secs 42565 markings/sec, 2735 secs 43533 markings/sec, 2740 secs 40800 markings/sec, 2745 secs 42872 markings/sec, 2750 secs 44868 markings/sec, 2755 secs 43848 markings/sec, 2760 secs 43360 markings/sec, 2765 secs 42894 markings/sec, 2770 secs 43470 markings/sec, 2775 secs 42607 markings/sec, 2780 secs 42142 markings/sec, 2785 secs 43290 markings/sec, 2790 secs 42805 markings/sec, 2795 secs 42259 markings/sec, 2800 secs 42704 markings/sec, 2805 secs 41703 markings/sec, 2810 secs 43622 markings/sec, 2815 secs 45630 markings/sec, 2820 secs 45776 markings/sec, 2825 secs 45380 markings/sec, 2830 secs 44431 markings/sec, 2835 secs 44749 markings/sec, 2840 secs 44809 markings/sec, 2845 secs 45015 markings/sec, 2850 secs 44635 markings/sec, 2855 secs 44043 markings/sec, 2860 secs 43851 markings/sec, 2865 secs 43148 markings/sec, 2870 secs 43182 markings/sec, 2875 secs 41943 markings/sec, 2880 secs 44159 markings/sec, 2885 secs 43357 markings/sec, 2890 secs 44026 markings/sec, 2895 secs 44078 markings/sec, 2900 secs 42593 markings/sec, 2905 secs 43583 markings/sec, 2910 secs 43686 markings/sec, 2915 secs 43224 markings/sec, 2920 secs 41866 markings/sec, 2925 secs 43916 markings/sec, 2930 secs 44041 markings/sec, 2935 secs 44269 markings/sec, 2940 secs 43901 markings/sec, 2945 secs 44015 markings/sec, 2950 secs 43046 markings/sec, 2955 secs 42648 markings/sec, 2960 secs 42614 markings/sec, 2965 secs 43064 markings/sec, 2970 secs 44596 markings/sec, 2975 secs 44259 markings/sec, 2980 secs 43830 markings/sec, 2985 secs 43866 markings/sec, 2990 secs 44296 markings/sec, 2995 secs 44248 markings/sec, 3000 secs 43505 markings/sec, 3005 secs 43521 markings/sec, 3010 secs 43194 markings/sec, 3015 secs 42849 markings/sec, 3020 secs 42508 markings/sec, 3025 secs 43200 markings/sec, 3030 secs 42840 markings/sec, 3035 secs 42913 markings/sec, 3040 secs 42860 markings/sec, 3045 secs 42450 markings/sec, 3050 secs 40733 markings/sec, 3055 secs 41619 markings/sec, 3060 secs 42028 markings/sec, 3065 secs 41870 markings/sec, 3070 secs 43565 markings/sec, 3075 secs 42492 markings/sec, 3080 secs 42559 markings/sec, 3085 secs 42829 markings/sec, 3090 secs 43090 markings/sec, 3095 secs 42690 markings/sec, 3100 secs 42820 markings/sec, 3105 secs 43234 markings/sec, 3110 secs 42645 markings/sec, 3115 secs 43042 markings/sec, 3120 secs 42055 markings/sec, 3125 secs 42709 markings/sec, 3130 secs 42387 markings/sec, 3135 secs 42464 markings/sec, 3140 secs 43127 markings/sec, 3145 secs 42569 markings/sec, 3150 secs 42886 markings/sec, 3155 secs 42094 markings/sec, 3160 secs 43497 markings/sec, 3165 secs 43698 markings/sec, 3170 secs 43303 markings/sec, 3175 secs 43572 markings/sec, 3180 secs 43707 markings/sec, 3185 secs 43733 markings/sec, 3190 secs 42986 markings/sec, 3195 secs 42816 markings/sec, 3200 secs 44089 markings/sec, 3205 secs 44857 markings/sec, 3210 secs 43990 markings/sec, 3215 secs 43770 markings/sec, 3220 secs 43629 markings/sec, 3225 secs 43083 markings/sec, 3230 secs 43043 markings/sec, 3235 secs 43249 markings/sec, 3240 secs 42459 markings/sec, 3245 secs 42314 markings/sec, 3250 secs 42857 markings/sec, 3255 secs 42808 markings/sec, 3260 secs 42363 markings/sec, 3265 secs 42556 markings/sec, 3270 secs 42635 markings/sec, 3275 secs 43020 markings/sec, 3280 secs 43995 markings/sec, 3285 secs 43535 markings/sec, 3290 secs 43034 markings/sec, 3295 secs 43415 markings/sec, 3300 secs 43167 markings/sec, 3305 secs 42664 markings/sec, 3310 secs 43294 markings/sec, 3315 secs 42839 markings/sec, 3320 secs 43352 markings/sec, 3325 secs 42377 markings/sec, 3330 secs 42086 markings/sec, 3335 secs 41160 markings/sec, 3340 secs 41802 markings/sec, 3345 secs 42639 markings/sec, 3350 secs 42397 markings/sec, 3355 secs 42188 markings/sec, 3360 secs 42401 markings/sec, 3365 secs 42477 markings/sec, 3370 secs 44884 markings/sec, 3375 secs 43996 markings/sec, 3380 secs 43590 markings/sec, 3385 secs 43684 markings/sec, 3390 secs 43116 markings/sec, 3395 secs 42408 markings/sec, 3400 secs 43165 markings/sec, 3405 secs 42932 markings/sec, 3410 secs 43936 markings/sec, 3415 secs 43796 markings/sec, 3420 secs 43275 markings/sec, 3425 secs 42189 markings/sec, 3430 secs 42770 markings/sec, 3435 secs 43398 markings/sec, 3440 secs 43274 markings/sec, 3445 secs 43159 markings/sec, 3450 secs 42743 markings/sec, 3455 secs 43711 markings/sec, 3460 secs 43842 markings/sec, 3465 secs 42629 markings/sec, 3470 secs 42557 markings/sec, 3475 secs 42619 markings/sec, 3480 secs 42407 markings/sec, 3485 secs 42522 markings/sec, 3490 secs 41577 markings/sec, 3495 secs 42055 markings/sec, 3500 secs 41802 markings/sec, 3505 secs 43413 markings/sec, 3510 secs 42672 markings/sec, 3515 secs 42686 markings/sec, 3520 secs 41985 markings/sec, 3525 secs 42959 markings/sec, 3530 secs 42298 markings/sec, 3535 secs 42327 markings/sec, 3540 secs 43526 markings/sec, 3545 secs 44482 markings/sec, 3550 secs 43592 markings/sec, 3555 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="Diffusion2D-PT-D10N200"
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 Diffusion2D-PT-D10N200, 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 r060-ebro-155234654600111"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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