MCC'2019 - Execution of r060-ebro-155234654600075

About the Execution of LoLA for Diffusion2D-PT-D10N010

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5525.060	3571041.00	7237002.00	772.90	[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-155234654600075.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-D10N010, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600075
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 408K
-rw-r--r-- 1 mcc users 3.3K Feb 10 21:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 10 21:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 17:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:51 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.6K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:44 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-D10N010-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552554747913

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

{
"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 09:12:28 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5442724,
"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, 2847573 fired transitions, 0 secs || 238254 markings, 1601140 edges,
lola: 6 tries, 5750709 fired transitions, 5 secs || 469397 markings, 3151287 edges,
lola: 9 tries, 8632096 fired transitions, 10 secs || 697757 markings, 4682304 edges,
lola: 12 tries, 11518220 fired transitions, 15 secs || 927186 markings, 6221159 edges,
lola: 15 tries, 14322865 fired transitions, 20 secs || 1149777 markings, 7718265 edges,
lola: 18 tries, 17216409 fired transitions, 25 secs || 1371620 markings, 9202512 edges,
lola: 21 tries, 20124653 fired transitions, 30 secs || 1597080 markings, 10710720 edges,
lola: 24 tries, 23036158 fired transitions, 35 secs || 1825679 markings, 12246724 edges,
lola: 26 tries, 25947266 fired transitions, 40 secs || 2052287 markings, 13765187 edges,
lola: 29 tries, 28841186 fired transitions, 45 secs || 2272736 markings, 15248320 edges,
lola: 32 tries, 31736115 fired transitions, 50 secs || 2491615 markings, 16713192 edges,
lola: 35 tries, 34635347 fired transitions, 55 secs || 2711669 markings, 18185934 edges,
lola: 38 tries, 37503453 fired transitions, 60 secs || 2934165 markings, 19680405 edges,
lola: 41 tries, 40408126 fired transitions, 65 secs || 3166897 markings, 21245761 edges,
lola: 44 tries, 43336783 fired transitions, 70 secs || 3399480 markings, 22802163 edges,
lola: 46 tries, 45580678 fired transitions, 75 secs || 3573174 markings, 23964530 edges,
lola: 49 tries, 48496952 fired transitions, 80 secs || 3802232 markings, 25498061 edges,
lola: 52 tries, 51400059 fired transitions, 85 secs || 4032848 markings, 27040720 edges,
lola: 55 tries, 54286475 fired transitions, 90 secs || 4261223 markings, 28568301 edges,
lola: 58 tries, 57158896 fired transitions, 95 secs || 4485789 markings, 30071222 edges,
lola: 61 tries, 60038378 fired transitions, 100 secs || 4724117 markings, 31674482 edges,
lola: 63 tries, 62948232 fired transitions, 105 secs || 4955883 markings, 33227415 edges,
lola: 66 tries, 65834568 fired transitions, 110 secs || 5188278 markings, 34788987 edges,
lola: 69 tries, 68759764 fired transitions, 115 secs || 5418144 markings, 36328158 edges,
lola: 72 tries, 71353885 fired transitions, 120 secs || 5622146 markings, 37690834 edges,
lola: 75 tries, 74277179 fired transitions, 125 secs || 5855560 markings, 39263207 edges,
lola: 78 tries, 77198127 fired transitions, 130 secs || 6084914 markings, 40802976 edges,
lola: 81 tries, 80119075 fired transitions, 135 secs || 6312259 markings, 42324794 edges,
lola: 84 tries, 83032174 fired transitions, 140 secs || 6533594 markings, 43805974 edges,
lola: 86 tries, 85920444 fired transitions, 145 secs || 6759966 markings, 45321162 edges,
lola: 89 tries, 88807109 fired transitions, 150 secs || 6985074 markings, 46826881 edges,
lola: 92 tries, 91739091 fired transitions, 155 secs || 7207507 markings, 48314180 edges,
lola: 95 tries, 94672325 fired transitions, 160 secs || 7433617 markings, 49829948 edges,
lola: 98 tries, 97602941 fired transitions, 165 secs || 7666802 markings, 51401211 edges,
lola: 101 tries, 100511902 fired transitions, 170 secs || 7891069 markings, 52909238 edges,
lola: 104 tries, 103433344 fired transitions, 175 secs || 8123946 markings, 54471333 edges,
lola: 106 tries, 105806931 fired transitions, 180 secs || 8311375 markings, 55727764 edges,
lola: 109 tries, 108637167 fired transitions, 185 secs || 8531618 markings, 57200963 edges,
lola: 112 tries, 111565328 fired transitions, 190 secs || 8763385 markings, 58750882 edges,
lola: 115 tries, 114376581 fired transitions, 195 secs || 8992208 markings, 60283480 edges,
lola: 118 tries, 117302065 fired transitions, 200 secs || 9215952 markings, 61780195 edges,
lola: 121 tries, 120191704 fired transitions, 205 secs || 9441993 markings, 63293165 edges,
lola: 124 tries, 123025636 fired transitions, 210 secs || 9673968 markings, 64843876 edges,
lola: 126 tries, 125920220 fired transitions, 215 secs || 9899316 markings, 66352045 edges,
lola: 129 tries, 128842352 fired transitions, 220 secs || 10125569 markings, 67865909 edges,
lola: 132 tries, 131672562 fired transitions, 225 secs || 10349499 markings, 69364704 edges,
lola: 135 tries, 134007582 fired transitions, 230 secs || 10533717 markings, 70596843 edges,
lola: 136 tries, 135692077 fired transitions, 235 secs || 10662469 markings, 71458239 edges,
lola: 138 tries, 137403614 fired transitions, 240 secs || 10792237 markings, 72327739 edges,
lola: 141 tries, 140337421 fired transitions, 245 secs || 11022771 markings, 73868736 edges,
lola: 144 tries, 143245465 fired transitions, 250 secs || 11249448 markings, 75386066 edges,
lola: 147 tries, 146143097 fired transitions, 255 secs || 11476819 markings, 76875282 edges,
lola: 150 tries, 149060826 fired transitions, 260 secs || 11701601 markings, 78350738 edges,
lola: 152 tries, 151971932 fired transitions, 265 secs || 11926518 markings, 79829097 edges,
lola: 155 tries, 154750509 fired transitions, 270 secs || 12135685 markings, 81205652 edges,
lola: 158 tries, 157640283 fired transitions, 275 secs || 12354170 markings, 82635664 edges,
lola: 161 tries, 160538305 fired transitions, 280 secs || 12574397 markings, 84072539 edges,
lola: 164 tries, 163457077 fired transitions, 285 secs || 12795061 markings, 85497559 edges,
lola: 167 tries, 166338076 fired transitions, 290 secs || 13010477 markings, 86886441 edges,
lola: 170 tries, 169233841 fired transitions, 295 secs || 13228591 markings, 88294189 edges,
lola: 173 tries, 172091734 fired transitions, 300 secs || 13454650 markings, 89777024 edges,
lola: 175 tries, 174991783 fired transitions, 305 secs || 13676570 markings, 91236187 edges,
lola: 178 tries, 177900418 fired transitions, 310 secs || 13895536 markings, 92673064 edges,
lola: 181 tries, 180817939 fired transitions, 315 secs || 14106824 markings, 94055551 edges,
lola: 184 tries, 183713924 fired transitions, 320 secs || 14318789 markings, 95443280 edges,
lola: 187 tries, 186602640 fired transitions, 325 secs || 14539601 markings, 96906673 edges,
lola: 190 tries, 189517565 fired transitions, 330 secs || 14760632 markings, 98365249 edges,
lola: 193 tries, 192418990 fired transitions, 335 secs || 14981404 markings, 99811820 edges,
lola: 196 tries, 195329257 fired transitions, 340 secs || 15192490 markings, 101197194 edges,
lola: 199 tries, 198216024 fired transitions, 345 secs || 15408690 markings, 102609943 edges,
lola: 200 tries, 199740151 fired transitions, 350 secs || 15523877 markings, 103363907 edges,
lola: 202 tries, 201274747 fired transitions, 355 secs || 15637550 markings, 104109293 edges,
lola: 203 tries, 202806321 fired transitions, 360 secs || 15747285 markings, 104828454 edges,
lola: 206 tries, 205446418 fired transitions, 365 secs || 15939323 markings, 106087846 edges,
lola: 209 tries, 208365783 fired transitions, 370 secs || 16155751 markings, 107503623 edges,
lola: 211 tries, 210977777 fired transitions, 375 secs || 16342833 markings, 108732102 edges,
lola: 214 tries, 213887835 fired transitions, 380 secs || 16544201 markings, 110057544 edges,
lola: 217 tries, 216457660 fired transitions, 385 secs || 16724225 markings, 111244719 edges,
lola: 220 tries, 219377828 fired transitions, 390 secs || 16928382 markings, 112586141 edges,
lola: 223 tries, 222306969 fired transitions, 395 secs || 17130688 markings, 113916292 edges,
lola: 226 tries, 225195464 fired transitions, 400 secs || 17350596 markings, 115359311 edges,
lola: 229 tries, 228129290 fired transitions, 405 secs || 17560837 markings, 116730007 edges,
lola: 232 tries, 231034989 fired transitions, 410 secs || 17767206 markings, 118078811 edges,
lola: 234 tries, 233979947 fired transitions, 415 secs || 17968362 markings, 119392897 edges,
lola: 237 tries, 236887276 fired transitions, 420 secs || 18172048 markings, 120723950 edges,
lola: 240 tries, 239756556 fired transitions, 425 secs || 18374896 markings, 122049136 edges,
lola: 243 tries, 242624517 fired transitions, 430 secs || 18574476 markings, 123352871 edges,
lola: 246 tries, 245562825 fired transitions, 435 secs || 18782165 markings, 124709494 edges,
lola: 249 tries, 248476715 fired transitions, 440 secs || 18991358 markings, 126072596 edges,
lola: 252 tries, 251399308 fired transitions, 445 secs || 19196616 markings, 127405046 edges,
lola: 255 tries, 254057889 fired transitions, 450 secs || 19386947 markings, 128640631 edges,
lola: 257 tries, 256784209 fired transitions, 455 secs || 19582581 markings, 129902640 edges,
lola: 259 tries, 258578680 fired transitions, 460 secs || 19707920 markings, 130710870 edges,
lola: 261 tries, 260107042 fired transitions, 465 secs || 19816579 markings, 131412455 edges,
lola: 262 tries, 261631427 fired transitions, 470 secs || 19923016 markings, 132099069 edges,
lola: 264 tries, 263155972 fired transitions, 475 secs || 20029617 markings, 132786339 edges,
lola: 265 tries, 264684389 fired transitions, 480 secs || 20139570 markings, 133495540 edges,
lola: 268 tries, 267464936 fired transitions, 485 secs || 20344458 markings, 134817539 edges,
lola: 271 tries, 270376119 fired transitions, 490 secs || 20557471 markings, 136193236 edges,
lola: 274 tries, 273272194 fired transitions, 495 secs || 20771082 markings, 137569691 edges,
lola: 277 tries, 276160350 fired transitions, 500 secs || 20981913 markings, 138930182 edges,
lola: 280 tries, 279054596 fired transitions, 505 secs || 21192360 markings, 140288058 edges,
lola: 282 tries, 281978113 fired transitions, 510 secs || 21397743 markings, 141612276 edges,
lola: 285 tries, 284885271 fired transitions, 515 secs || 21605749 markings, 142954679 edges,
lola: 288 tries, 287747980 fired transitions, 520 secs || 21811663 markings, 144283164 edges,
lola: 291 tries, 290665563 fired transitions, 525 secs || 22019449 markings, 145622828 edges,
lola: 294 tries, 293573121 fired transitions, 530 secs || 22222125 markings, 146931266 edges,
lola: 297 tries, 296454007 fired transitions, 535 secs || 22427492 markings, 148255265 edges,
lola: 300 tries, 299369007 fired transitions, 540 secs || 22625766 markings, 149534894 edges,
lola: 303 tries, 302269500 fired transitions, 545 secs || 22829057 markings, 150846513 edges,
lola: 306 tries, 305118230 fired transitions, 550 secs || 23031350 markings, 152150621 edges,
lola: 308 tries, 307951181 fired transitions, 555 secs || 23234247 markings, 153460392 edges,
lola: 311 tries, 310839848 fired transitions, 560 secs || 23448995 markings, 154847221 edges,
lola: 313 tries, 312920100 fired transitions, 565 secs || 23601282 markings, 155831747 edges,
lola: 316 tries, 315189813 fired transitions, 570 secs || 23748707 markings, 156781599 edges,
lola: 319 tries, 318036569 fired transitions, 575 secs || 23949597 markings, 158074054 edges,
lola: 321 tries, 320875642 fired transitions, 580 secs || 24159552 markings, 159445370 edges,
lola: 324 tries, 323730525 fired transitions, 585 secs || 24369654 markings, 160829701 edges,
lola: 327 tries, 326568582 fired transitions, 590 secs || 24574502 markings, 162171744 edges,
lola: 330 tries, 329410268 fired transitions, 595 secs || 24775034 markings, 163487355 edges,
lola: 333 tries, 332297741 fired transitions, 600 secs || 24976459 markings, 164806375 edges,
lola: 336 tries, 335173607 fired transitions, 605 secs || 25189259 markings, 166206220 edges,
lola: 339 tries, 338032427 fired transitions, 610 secs || 25402075 markings, 167620803 edges,
lola: 341 tries, 340922112 fired transitions, 615 secs || 25616983 markings, 169029438 edges,
lola: 344 tries, 343812645 fired transitions, 620 secs || 25826312 markings, 170401898 edges,
lola: 347 tries, 346710215 fired transitions, 625 secs || 26027746 markings, 171721969 edges,
lola: 350 tries, 349615751 fired transitions, 630 secs || 26229109 markings, 173038101 edges,
lola: 353 tries, 352532002 fired transitions, 635 secs || 26434383 markings, 174383150 edges,
lola: 356 tries, 355453811 fired transitions, 640 secs || 26634661 markings, 175697581 edges,
lola: 359 tries, 358374834 fired transitions, 645 secs || 26845172 markings, 177073153 edges,
lola: 362 tries, 361272908 fired transitions, 650 secs || 27062502 markings, 178495695 edges,
lola: 365 tries, 364178552 fired transitions, 655 secs || 27262193 markings, 179806503 edges,
lola: 368 tries, 367102864 fired transitions, 660 secs || 27465990 markings, 181139899 edges,
lola: 371 tries, 370045118 fired transitions, 665 secs || 27675486 markings, 182511454 edges,
lola: 373 tries, 372951332 fired transitions, 670 secs || 27876136 markings, 183830871 edges,
lola: 376 tries, 375867280 fired transitions, 675 secs || 28080525 markings, 185167132 edges,
lola: 379 tries, 378764440 fired transitions, 680 secs || 28286947 markings, 186518378 edges,
lola: 382 tries, 381665650 fired transitions, 685 secs || 28489968 markings, 187845914 edges,
lola: 385 tries, 384591510 fired transitions, 690 secs || 28692511 markings, 189169986 edges,
lola: 388 tries, 387504255 fired transitions, 695 secs || 28894137 markings, 190490127 edges,
lola: 391 tries, 390382328 fired transitions, 700 secs || 29094359 markings, 191798769 edges,
lola: 394 tries, 393310155 fired transitions, 705 secs || 29291626 markings, 193091785 edges,
lola: 397 tries, 396192538 fired transitions, 710 secs || 29501170 markings, 194462596 edges,
lola: 400 tries, 399092788 fired transitions, 715 secs || 29720360 markings, 195897177 edges,
lola: 402 tries, 401879354 fired transitions, 720 secs || 29932829 markings, 197282899 edges,
lola: 405 tries, 404789734 fired transitions, 725 secs || 30143481 markings, 198653855 edges,
lola: 408 tries, 407730036 fired transitions, 730 secs || 30352384 markings, 200044474 edges,
lola: 411 tries, 410672506 fired transitions, 735 secs || 30557814 markings, 201412112 edges,
lola: 414 tries, 413614116 fired transitions, 740 secs || 30766341 markings, 202800424 edges,
lola: 417 tries, 416549717 fired transitions, 745 secs || 30969051 markings, 204150262 edges,
lola: 420 tries, 419476685 fired transitions, 750 secs || 31180889 markings, 205545947 edges,
lola: 423 tries, 422400498 fired transitions, 755 secs || 31393665 markings, 206940744 edges,
lola: 426 tries, 425328795 fired transitions, 760 secs || 31598687 markings, 208285487 edges,
lola: 429 tries, 428267148 fired transitions, 765 secs || 31810461 markings, 209669978 edges,
lola: 432 tries, 431194437 fired transitions, 770 secs || 32027986 markings, 211093800 edges,
lola: 435 tries, 434101732 fired transitions, 775 secs || 32236378 markings, 212461628 edges,
lola: 438 tries, 437008183 fired transitions, 780 secs || 32442429 markings, 213810370 edges,
lola: 440 tries, 439927434 fired transitions, 785 secs || 32658582 markings, 215222934 edges,
lola: 443 tries, 442869637 fired transitions, 790 secs || 32860736 markings, 216549512 edges,
lola: 446 tries, 445812335 fired transitions, 795 secs || 33063384 markings, 217876369 edges,
lola: 449 tries, 448722952 fired transitions, 800 secs || 33276279 markings, 219267135 edges,
lola: 452 tries, 451637753 fired transitions, 805 secs || 33474433 markings, 220567693 edges,
lola: 455 tries, 454551369 fired transitions, 810 secs || 33672398 markings, 221862160 edges,
lola: 458 tries, 457475864 fired transitions, 815 secs || 33876868 markings, 223204436 edges,
lola: 461 tries, 460381982 fired transitions, 820 secs || 34077398 markings, 224522460 edges,
lola: 464 tries, 463316832 fired transitions, 825 secs || 34280106 markings, 225848144 edges,
lola: 467 tries, 466247397 fired transitions, 830 secs || 34481385 markings, 227163034 edges,
lola: 470 tries, 469180750 fired transitions, 835 secs || 34688561 markings, 228516768 edges,
lola: 473 tries, 472111110 fired transitions, 840 secs || 34893713 markings, 229858649 edges,
lola: 476 tries, 475005213 fired transitions, 845 secs || 35102759 markings, 231223837 edges,
lola: 478 tries, 477911464 fired transitions, 850 secs || 35305162 markings, 232546457 edges,
lola: 481 tries, 480786274 fired transitions, 855 secs || 35521999 markings, 233963708 edges,
lola: 484 tries, 483686547 fired transitions, 860 secs || 35735419 markings, 235355966 edges,
lola: 487 tries, 486595335 fired transitions, 865 secs || 35954267 markings, 236787937 edges,
lola: 490 tries, 489526307 fired transitions, 870 secs || 36158616 markings, 238128982 edges,
lola: 493 tries, 492435653 fired transitions, 875 secs || 36365409 markings, 239480771 edges,
lola: 496 tries, 495366224 fired transitions, 880 secs || 36582182 markings, 240899303 edges,
lola: 499 tries, 498256140 fired transitions, 885 secs || 36790456 markings, 242266049 edges,
lola: 502 tries, 501178810 fired transitions, 890 secs || 37000894 markings, 243642288 edges,
lola: 505 tries, 504056169 fired transitions, 895 secs || 37214755 markings, 245040889 edges,
lola: 508 tries, 507004283 fired transitions, 900 secs || 37416560 markings, 246364225 edges,
lola: 510 tries, 509904058 fired transitions, 905 secs || 37616070 markings, 247669013 edges,
lola: 513 tries, 512811691 fired transitions, 910 secs || 37813654 markings, 248971509 edges,
lola: 516 tries, 515735548 fired transitions, 915 secs || 38016175 markings, 250297540 edges,
lola: 519 tries, 518649353 fired transitions, 920 secs || 38223448 markings, 251651056 edges,
lola: 522 tries, 521569838 fired transitions, 925 secs || 38427895 markings, 252987885 edges,
lola: 525 tries, 524458826 fired transitions, 930 secs || 38636959 markings, 254354838 edges,
lola: 528 tries, 527374843 fired transitions, 935 secs || 38844076 markings, 255707114 edges,
lola: 531 tries, 530306474 fired transitions, 940 secs || 39049676 markings, 257050784 edges,
lola: 534 tries, 533230782 fired transitions, 945 secs || 39259145 markings, 258419241 edges,
lola: 537 tries, 536158308 fired transitions, 950 secs || 39478031 markings, 259850642 edges,
lola: 539 tries, 538991478 fired transitions, 955 secs || 39686904 markings, 261212034 edges,
lola: 542 tries, 541452624 fired transitions, 960 secs || 39852790 markings, 262305247 edges,
lola: 544 tries, 543589143 fired transitions, 965 secs || 39998979 markings, 263268180 edges,
lola: 547 tries, 546484649 fired transitions, 970 secs || 40202622 markings, 264610477 edges,
lola: 550 tries, 549418404 fired transitions, 975 secs || 40407836 markings, 265960896 edges,
lola: 552 tries, 551270372 fired transitions, 980 secs || 40537053 markings, 266808344 edges,
lola: 553 tries, 552800477 fired transitions, 985 secs || 40641365 markings, 267492009 edges,
lola: 555 tries, 554517457 fired transitions, 990 secs || 40766856 markings, 268314282 edges,
lola: 558 tries, 557442120 fired transitions, 995 secs || 40961262 markings, 269593804 edges,
lola: 561 tries, 560362155 fired transitions, 1000 secs || 41150006 markings, 270836865 edges,
lola: 564 tries, 563289631 fired transitions, 1005 secs || 41333181 markings, 272052052 edges,
lola: 567 tries, 566209385 fired transitions, 1010 secs || 41518905 markings, 273273066 edges,
lola: 570 tries, 569130200 fired transitions, 1015 secs || 41707970 markings, 274513263 edges,
lola: 573 tries, 572054101 fired transitions, 1020 secs || 41911106 markings, 275844767 edges,
lola: 575 tries, 574961867 fired transitions, 1025 secs || 42107201 markings, 277130903 edges,
lola: 578 tries, 577870329 fired transitions, 1030 secs || 42303371 markings, 278420683 edges,
lola: 581 tries, 580794669 fired transitions, 1035 secs || 42503392 markings, 279731747 edges,
lola: 584 tries, 583708715 fired transitions, 1040 secs || 42700835 markings, 281026826 edges,
lola: 587 tries, 586640218 fired transitions, 1045 secs || 42889571 markings, 282267012 edges,
lola: 590 tries, 589563302 fired transitions, 1050 secs || 43089665 markings, 283579403 edges,
lola: 593 tries, 592485716 fired transitions, 1055 secs || 43285803 markings, 284865010 edges,
lola: 596 tries, 595423667 fired transitions, 1060 secs || 43486829 markings, 286183142 edges,
lola: 599 tries, 598345863 fired transitions, 1065 secs || 43691094 markings, 287526559 edges,
lola: 602 tries, 601251580 fired transitions, 1070 secs || 43899517 markings, 288892823 edges,
lola: 605 tries, 604159638 fired transitions, 1075 secs || 44114104 markings, 290299047 edges,
lola: 608 tries, 607077346 fired transitions, 1080 secs || 44331720 markings, 291724755 edges,
lola: 610 tries, 609986472 fired transitions, 1085 secs || 44543844 markings, 293104310 edges,
lola: 613 tries, 612914718 fired transitions, 1090 secs || 44752580 markings, 294463360 edges,
lola: 616 tries, 615841282 fired transitions, 1095 secs || 44955426 markings, 295788690 edges,
lola: 619 tries, 618751088 fired transitions, 1100 secs || 45152173 markings, 297074307 edges,
lola: 622 tries, 621664172 fired transitions, 1105 secs || 45352346 markings, 298382136 edges,
lola: 625 tries, 624567664 fired transitions, 1110 secs || 45547008 markings, 299654083 edges,
lola: 628 tries, 627471693 fired transitions, 1115 secs || 45745840 markings, 300953079 edges,
lola: 631 tries, 630360395 fired transitions, 1120 secs || 45936464 markings, 302198096 edges,
lola: 634 tries, 633258342 fired transitions, 1125 secs || 46143108 markings, 303548256 edges,
lola: 637 tries, 636165273 fired transitions, 1130 secs || 46333831 markings, 304793205 edges,
lola: 640 tries, 639091739 fired transitions, 1135 secs || 46523255 markings, 306031129 edges,
lola: 642 tries, 641999418 fired transitions, 1140 secs || 46715666 markings, 307288030 edges,
lola: 645 tries, 644913611 fired transitions, 1145 secs || 46910055 markings, 308557791 edges,
lola: 648 tries, 647831694 fired transitions, 1150 secs || 47104953 markings, 309831033 edges,
lola: 651 tries, 650736468 fired transitions, 1155 secs || 47305447 markings, 311140812 edges,
lola: 654 tries, 653640501 fired transitions, 1160 secs || 47497798 markings, 312396694 edges,
lola: 657 tries, 656563159 fired transitions, 1165 secs || 47680718 markings, 313591360 edges,
lola: 660 tries, 659457833 fired transitions, 1170 secs || 47870336 markings, 314830332 edges,
lola: 663 tries, 662351286 fired transitions, 1175 secs || 48058017 markings, 316056407 edges,
lola: 666 tries, 665251548 fired transitions, 1180 secs || 48253392 markings, 317332534 edges,
lola: 669 tries, 668144776 fired transitions, 1185 secs || 48449140 markings, 318610179 edges,
lola: 672 tries, 671067731 fired transitions, 1190 secs || 48643820 markings, 319882343 edges,
lola: 674 tries, 673964835 fired transitions, 1195 secs || 48838198 markings, 321152567 edges,
lola: 677 tries, 676879472 fired transitions, 1200 secs || 49044956 markings, 322502983 edges,
lola: 680 tries, 679811356 fired transitions, 1205 secs || 49235462 markings, 323745590 edges,
lola: 683 tries, 682737149 fired transitions, 1210 secs || 49427190 markings, 324997927 edges,
lola: 686 tries, 685661928 fired transitions, 1215 secs || 49628148 markings, 326311252 edges,
lola: 689 tries, 688589901 fired transitions, 1220 secs || 49822104 markings, 327576658 edges,
lola: 692 tries, 691517841 fired transitions, 1225 secs || 50019846 markings, 328868479 edges,
lola: 695 tries, 694386548 fired transitions, 1230 secs || 50210274 markings, 330111533 edges,
lola: 698 tries, 697267389 fired transitions, 1235 secs || 50406031 markings, 331388732 edges,
lola: 701 tries, 700199860 fired transitions, 1240 secs || 50613591 markings, 332744444 edges,
lola: 704 tries, 703118585 fired transitions, 1245 secs || 50823721 markings, 334116990 edges,
lola: 707 tries, 706010384 fired transitions, 1250 secs || 51030411 markings, 335464899 edges,
lola: 709 tries, 708940393 fired transitions, 1255 secs || 51230142 markings, 336761542 edges,
lola: 712 tries, 711848288 fired transitions, 1260 secs || 51430125 markings, 338059674 edges,
lola: 715 tries, 714618641 fired transitions, 1265 secs || 51621197 markings, 339300332 edges,
lola: 718 tries, 717451934 fired transitions, 1270 secs || 51812314 markings, 340541070 edges,
lola: 721 tries, 720382701 fired transitions, 1275 secs || 52012240 markings, 341839254 edges,
lola: 724 tries, 723324851 fired transitions, 1280 secs || 52212734 markings, 343141282 edges,
lola: 727 tries, 726255317 fired transitions, 1285 secs || 52410147 markings, 344422965 edges,
lola: 730 tries, 729151714 fired transitions, 1290 secs || 52610660 markings, 345724897 edges,
lola: 733 tries, 732052743 fired transitions, 1295 secs || 52808474 markings, 347009150 edges,
lola: 735 tries, 734976158 fired transitions, 1300 secs || 52999530 markings, 348249359 edges,
lola: 738 tries, 737918362 fired transitions, 1305 secs || 53199702 markings, 349544730 edges,
lola: 741 tries, 740829155 fired transitions, 1310 secs || 53402640 markings, 350854317 edges,
lola: 744 tries, 743740150 fired transitions, 1315 secs || 53597885 markings, 352113568 edges,
lola: 747 tries, 746666838 fired transitions, 1320 secs || 53799044 markings, 353411621 edges,
lola: 750 tries, 749604820 fired transitions, 1325 secs || 53996551 markings, 354685800 edges,
lola: 753 tries, 752521030 fired transitions, 1330 secs || 54194607 markings, 355963510 edges,
lola: 756 tries, 755443005 fired transitions, 1335 secs || 54397371 markings, 357271077 edges,
lola: 759 tries, 758365454 fired transitions, 1340 secs || 54588333 markings, 358503556 edges,
lola: 762 tries, 761277973 fired transitions, 1345 secs || 54788521 markings, 359796122 edges,
lola: 765 tries, 764217572 fired transitions, 1350 secs || 54983840 markings, 361054562 edges,
lola: 768 tries, 767182074 fired transitions, 1355 secs || 55168924 markings, 362249257 edges,
lola: 771 tries, 770140218 fired transitions, 1360 secs || 55360457 markings, 363484779 edges,
lola: 774 tries, 773088508 fired transitions, 1365 secs || 55551109 markings, 364714570 edges,
lola: 777 tries, 776019605 fired transitions, 1370 secs || 55740210 markings, 365934447 edges,
lola: 779 tries, 778931222 fired transitions, 1375 secs || 55935246 markings, 367192333 edges,
lola: 782 tries, 781842540 fired transitions, 1380 secs || 56129134 markings, 368443364 edges,
lola: 785 tries, 784768986 fired transitions, 1385 secs || 56326306 markings, 369715299 edges,
lola: 788 tries, 787688955 fired transitions, 1390 secs || 56527911 markings, 371016258 edges,
lola: 791 tries, 790618806 fired transitions, 1395 secs || 56721313 markings, 372263059 edges,
lola: 794 tries, 793548707 fired transitions, 1400 secs || 56918380 markings, 373534294 edges,
lola: 797 tries, 796456152 fired transitions, 1405 secs || 57122814 markings, 374855504 edges,
lola: 800 tries, 799383272 fired transitions, 1410 secs || 57329088 markings, 376188379 edges,
lola: 803 tries, 802316839 fired transitions, 1415 secs || 57528305 markings, 377470888 edges,
lola: 806 tries, 805251377 fired transitions, 1420 secs || 57743749 markings, 378857234 edges,
lola: 809 tries, 808171228 fired transitions, 1425 secs || 57950148 markings, 380188693 edges,
lola: 812 tries, 811096996 fired transitions, 1430 secs || 58154678 markings, 381508273 edges,
lola: 814 tries, 813975262 fired transitions, 1435 secs || 58362408 markings, 382849010 edges,
lola: 817 tries, 816912793 fired transitions, 1440 secs || 58563901 markings, 384149020 edges,
lola: 820 tries, 819837920 fired transitions, 1445 secs || 58767045 markings, 385460329 edges,
lola: 823 tries, 822783848 fired transitions, 1450 secs || 58966668 markings, 386747496 edges,
lola: 826 tries, 825716789 fired transitions, 1455 secs || 59164663 markings, 388024704 edges,
lola: 829 tries, 828654912 fired transitions, 1460 secs || 59363853 markings, 389309880 edges,
lola: 832 tries, 831594839 fired transitions, 1465 secs || 59563408 markings, 390597217 edges,
lola: 835 tries, 834532030 fired transitions, 1470 secs || 59766898 markings, 391910052 edges,
lola: 838 tries, 837459144 fired transitions, 1475 secs || 59967041 markings, 393202003 edges,
lola: 841 tries, 840408552 fired transitions, 1480 secs || 60170156 markings, 394511420 edges,
lola: 844 tries, 843357436 fired transitions, 1485 secs || 60374217 markings, 395827404 edges,
lola: 847 tries, 846298842 fired transitions, 1490 secs || 60578277 markings, 397144212 edges,
lola: 850 tries, 849243365 fired transitions, 1495 secs || 60770798 markings, 398386864 edges,
lola: 853 tries, 852195046 fired transitions, 1500 secs || 60974981 markings, 399704236 edges,
lola: 856 tries, 855142428 fired transitions, 1505 secs || 61181174 markings, 401037361 edges,
lola: 859 tries, 858085019 fired transitions, 1510 secs || 61382456 markings, 402336859 edges,
lola: 861 tries, 860998551 fired transitions, 1515 secs || 61588319 markings, 403661204 edges,
lola: 864 tries, 863929539 fired transitions, 1520 secs || 61796247 markings, 405000954 edges,
lola: 867 tries, 866860788 fired transitions, 1525 secs || 61999687 markings, 406313895 edges,
lola: 870 tries, 869751165 fired transitions, 1530 secs || 62206403 markings, 407646989 edges,
lola: 873 tries, 872644521 fired transitions, 1535 secs || 62389340 markings, 408827613 edges,
lola: 876 tries, 875541150 fired transitions, 1540 secs || 62577765 markings, 410044068 edges,
lola: 879 tries, 878399797 fired transitions, 1545 secs || 62775196 markings, 411316590 edges,
lola: 882 tries, 881251092 fired transitions, 1550 secs || 62966839 markings, 412553916 edges,
lola: 885 tries, 884141155 fired transitions, 1555 secs || 63160706 markings, 413803233 edges,
lola: 888 tries, 887022397 fired transitions, 1560 secs || 63350415 markings, 415028513 edges,
lola: 890 tries, 889895339 fired transitions, 1565 secs || 63546556 markings, 416292894 edges,
lola: 893 tries, 892766242 fired transitions, 1570 secs || 63746353 markings, 417581567 edges,
lola: 896 tries, 895650278 fired transitions, 1575 secs || 63944592 markings, 418861043 edges,
lola: 899 tries, 898538695 fired transitions, 1580 secs || 64128968 markings, 420051111 edges,
lola: 902 tries, 901421188 fired transitions, 1585 secs || 64328406 markings, 421337565 edges,
lola: 905 tries, 904320950 fired transitions, 1590 secs || 64532598 markings, 422657195 edges,
lola: 908 tries, 907201903 fired transitions, 1595 secs || 64735139 markings, 423965804 edges,
lola: 911 tries, 910099254 fired transitions, 1600 secs || 64936102 markings, 425258489 edges,
lola: 913 tries, 912976505 fired transitions, 1605 secs || 65140654 markings, 426575818 edges,
lola: 916 tries, 915880485 fired transitions, 1610 secs || 65333675 markings, 427820655 edges,
lola: 919 tries, 918788521 fired transitions, 1615 secs || 65527727 markings, 429073189 edges,
lola: 922 tries, 921692594 fired transitions, 1620 secs || 65719187 markings, 430308771 edges,
lola: 925 tries, 924592660 fired transitions, 1625 secs || 65909825 markings, 431538268 edges,
lola: 928 tries, 927481235 fired transitions, 1630 secs || 66099260 markings, 432760254 edges,
lola: 931 tries, 930384296 fired transitions, 1635 secs || 66293107 markings, 434010696 edges,
lola: 934 tries, 933294873 fired transitions, 1640 secs || 66486563 markings, 435259701 edges,
lola: 937 tries, 936192359 fired transitions, 1645 secs || 66682033 markings, 436520128 edges,
lola: 940 tries, 939088710 fired transitions, 1650 secs || 66874253 markings, 437759859 edges,
lola: 942 tries, 941996819 fired transitions, 1655 secs || 67062396 markings, 438973411 edges,
lola: 945 tries, 944930223 fired transitions, 1660 secs || 67254146 markings, 440212032 edges,
lola: 948 tries, 947786834 fired transitions, 1665 secs || 67451171 markings, 441485018 edges,
lola: 951 tries, 950654257 fired transitions, 1670 secs || 67646512 markings, 442746318 edges,
lola: 954 tries, 953541607 fired transitions, 1675 secs || 67848794 markings, 444047556 edges,
lola: 957 tries, 956436600 fired transitions, 1680 secs || 68051197 markings, 445351720 edges,
lola: 960 tries, 959294672 fired transitions, 1685 secs || 68247872 markings, 446620923 edges,
lola: 963 tries, 962196398 fired transitions, 1690 secs || 68445202 markings, 447893447 edges,
lola: 966 tries, 965096130 fired transitions, 1695 secs || 68637622 markings, 449135169 edges,
lola: 968 tries, 967995538 fired transitions, 1700 secs || 68834782 markings, 450406275 edges,
lola: 971 tries, 970886908 fired transitions, 1705 secs || 69031288 markings, 451674102 edges,
lola: 974 tries, 973787891 fired transitions, 1710 secs || 69228185 markings, 452944106 edges,
lola: 977 tries, 976660352 fired transitions, 1715 secs || 69413550 markings, 454140109 edges,
lola: 980 tries, 979539983 fired transitions, 1720 secs || 69610566 markings, 455411578 edges,
lola: 983 tries, 982448778 fired transitions, 1725 secs || 69810615 markings, 456703503 edges,
lola: 986 tries, 985374579 fired transitions, 1730 secs || 70008399 markings, 457981746 edges,
lola: 989 tries, 988291558 fired transitions, 1735 secs || 70211100 markings, 459285369 edges,
lola: 992 tries, 991221289 fired transitions, 1740 secs || 70418877 markings, 460623992 edges,
lola: 995 tries, 994167821 fired transitions, 1745 secs || 70615665 markings, 461894453 edges,
lola: 998 tries, 997100059 fired transitions, 1750 secs || 70819136 markings, 463205288 edges,
lola: 1001 tries, 1000046552 fired transitions, 1755 secs || 71021682 markings, 464512187 edges,
lola: 1003 tries, 1002970609 fired transitions, 1760 secs || 71220309 markings, 465794214 edges,
lola: 1006 tries, 1005929328 fired transitions, 1765 secs || 71406583 markings, 466996529 edges,
lola: 1009 tries, 1008867579 fired transitions, 1770 secs || 71605196 markings, 468277970 edges,
lola: 1012 tries, 1011803420 fired transitions, 1775 secs || 71805517 markings, 469572552 edges,
lola: 1015 tries, 1014749081 fired transitions, 1780 secs || 72004022 markings, 470855056 edges,
lola: 1018 tries, 1017710907 fired transitions, 1785 secs || 72204736 markings, 472146022 edges,
lola: 1021 tries, 1020661592 fired transitions, 1790 secs || 72419107 markings, 473526367 edges,
lola: 1024 tries, 1023595487 fired transitions, 1795 secs || 72625574 markings, 474858346 edges,
lola: 1027 tries, 1026528707 fired transitions, 1800 secs || 72831013 markings, 476184816 edges,
lola: 1030 tries, 1029480491 fired transitions, 1805 secs || 73030502 markings, 477471198 edges,
lola: 1033 tries, 1032433699 fired transitions, 1810 secs || 73232602 markings, 478774385 edges,
lola: 1036 tries, 1035363827 fired transitions, 1815 secs || 73441218 markings, 480122512 edges,
lola: 1039 tries, 1038288681 fired transitions, 1820 secs || 73644472 markings, 481435906 edges,
lola: 1042 tries, 1041238875 fired transitions, 1825 secs || 73846122 markings, 482733030 edges,
lola: 1045 tries, 1044133751 fired transitions, 1830 secs || 74055285 markings, 484079756 edges,
lola: 1048 tries, 1047042510 fired transitions, 1835 secs || 74261506 markings, 485409585 edges,
lola: 1050 tries, 1049977661 fired transitions, 1840 secs || 74454038 markings, 486652337 edges,
lola: 1053 tries, 1052929147 fired transitions, 1845 secs || 74659796 markings, 487980956 edges,
lola: 1056 tries, 1055873047 fired transitions, 1850 secs || 74862784 markings, 489292230 edges,
lola: 1059 tries, 1058819806 fired transitions, 1855 secs || 75066468 markings, 490607479 edges,
lola: 1062 tries, 1061769098 fired transitions, 1860 secs || 75276877 markings, 491960746 edges,
lola: 1065 tries, 1064726446 fired transitions, 1865 secs || 75473467 markings, 493227256 edges,
lola: 1068 tries, 1067679922 fired transitions, 1870 secs || 75658639 markings, 494422157 edges,
lola: 1071 tries, 1070628772 fired transitions, 1875 secs || 75849621 markings, 495656207 edges,
lola: 1074 tries, 1073580518 fired transitions, 1880 secs || 76043871 markings, 496911894 edges,
lola: 1077 tries, 1076541549 fired transitions, 1885 secs || 76228080 markings, 498097988 edges,
lola: 1080 tries, 1079492058 fired transitions, 1890 secs || 76430118 markings, 499397870 edges,
lola: 1083 tries, 1082400458 fired transitions, 1895 secs || 76624835 markings, 500654295 edges,
lola: 1086 tries, 1085361042 fired transitions, 1900 secs || 76829521 markings, 501977557 edges,
lola: 1089 tries, 1088304612 fired transitions, 1905 secs || 77037392 markings, 503320251 edges,
lola: 1092 tries, 1091244918 fired transitions, 1910 secs || 77250227 markings, 504695628 edges,
lola: 1095 tries, 1094182249 fired transitions, 1915 secs || 77456340 markings, 506027547 edges,
lola: 1098 tries, 1097120442 fired transitions, 1920 secs || 77668140 markings, 507395808 edges,
lola: 1101 tries, 1100073137 fired transitions, 1925 secs || 77884850 markings, 508796053 edges,
lola: 1104 tries, 1103028014 fired transitions, 1930 secs || 78098404 markings, 510176240 edges,
lola: 1106 tries, 1105990379 fired transitions, 1935 secs || 78303284 markings, 511499286 edges,
lola: 1109 tries, 1108944206 fired transitions, 1940 secs || 78511688 markings, 512846069 edges,
lola: 1112 tries, 1111902876 fired transitions, 1945 secs || 78711362 markings, 514130585 edges,
lola: 1115 tries, 1114836135 fired transitions, 1950 secs || 78913337 markings, 515429737 edges,
lola: 1118 tries, 1117781292 fired transitions, 1955 secs || 79114235 markings, 516722143 edges,
lola: 1121 tries, 1120726872 fired transitions, 1960 secs || 79313219 markings, 518001847 edges,
lola: 1124 tries, 1123663374 fired transitions, 1965 secs || 79520340 markings, 519334091 edges,
lola: 1127 tries, 1126589339 fired transitions, 1970 secs || 79732470 markings, 520698657 edges,
lola: 1130 tries, 1129501987 fired transitions, 1975 secs || 79939513 markings, 522030598 edges,
lola: 1133 tries, 1132431330 fired transitions, 1980 secs || 80157621 markings, 523454247 edges,
lola: 1136 tries, 1135353045 fired transitions, 1985 secs || 80377260 markings, 524901533 edges,
lola: 1139 tries, 1138298057 fired transitions, 1990 secs || 80595254 markings, 526330702 edges,
lola: 1142 tries, 1141244426 fired transitions, 1995 secs || 80808185 markings, 527726546 edges,
lola: 1145 tries, 1144200644 fired transitions, 2000 secs || 81023098 markings, 529133993 edges,
lola: 1148 tries, 1147164312 fired transitions, 2005 secs || 81242022 markings, 530580305 edges,
lola: 1151 tries, 1150105726 fired transitions, 2010 secs || 81460793 markings, 532028189 edges,
lola: 1154 tries, 1153056065 fired transitions, 2015 secs || 81677499 markings, 533447911 edges,
lola: 1157 tries, 1156012190 fired transitions, 2020 secs || 81889629 markings, 534840414 edges,
lola: 1159 tries, 1158951310 fired transitions, 2025 secs || 82096453 markings, 536193478 edges,
lola: 1162 tries, 1161892695 fired transitions, 2030 secs || 82309360 markings, 537586452 edges,
lola: 1165 tries, 1164811685 fired transitions, 2035 secs || 82526376 markings, 539007957 edges,
lola: 1168 tries, 1167731413 fired transitions, 2040 secs || 82741075 markings, 540415442 edges,
lola: 1171 tries, 1170672460 fired transitions, 2045 secs || 82960651 markings, 541851304 edges,
lola: 1174 tries, 1173620309 fired transitions, 2050 secs || 83177332 markings, 543270157 edges,
lola: 1177 tries, 1176568903 fired transitions, 2055 secs || 83386310 markings, 544640715 edges,
lola: 1180 tries, 1179514015 fired transitions, 2060 secs || 83601251 markings, 546045211 edges,
lola: 1183 tries, 1182455599 fired transitions, 2065 secs || 83804699 markings, 547385889 edges,
lola: 1186 tries, 1185371057 fired transitions, 2070 secs || 84013947 markings, 548754852 edges,
lola: 1189 tries, 1188289112 fired transitions, 2075 secs || 84228704 markings, 550158286 edges,
lola: 1192 tries, 1191164357 fired transitions, 2080 secs || 84438905 markings, 551534057 edges,
lola: 1195 tries, 1194101750 fired transitions, 2085 secs || 84646442 markings, 552890690 edges,
lola: 1198 tries, 1197030230 fired transitions, 2090 secs || 84846852 markings, 554203150 edges,
lola: 1200 tries, 1199960337 fired transitions, 2095 secs || 85051622 markings, 555541609 edges,
lola: 1203 tries, 1202886854 fired transitions, 2100 secs || 85250215 markings, 556843291 edges,
lola: 1206 tries, 1205824554 fired transitions, 2105 secs || 85453280 markings, 558171764 edges,
lola: 1209 tries, 1208754334 fired transitions, 2110 secs || 85665714 markings, 559561572 edges,
lola: 1212 tries, 1211664696 fired transitions, 2115 secs || 85879180 markings, 560957094 edges,
lola: 1215 tries, 1214569989 fired transitions, 2120 secs || 86093402 markings, 562348027 edges,
lola: 1218 tries, 1217478526 fired transitions, 2125 secs || 86303645 markings, 563742378 edges,
lola: 1221 tries, 1220386635 fired transitions, 2130 secs || 86513225 markings, 565138062 edges,
lola: 1224 tries, 1223259082 fired transitions, 2135 secs || 86722424 markings, 566531449 edges,
lola: 1227 tries, 1226171453 fired transitions, 2140 secs || 86928802 markings, 567904319 edges,
lola: 1230 tries, 1229071217 fired transitions, 2145 secs || 87143059 markings, 569320416 edges,
lola: 1232 tries, 1231975576 fired transitions, 2150 secs || 87357955 markings, 570728374 edges,
lola: 1235 tries, 1234834033 fired transitions, 2155 secs || 87564118 markings, 572082683 edges,
lola: 1238 tries, 1237728168 fired transitions, 2160 secs || 87771224 markings, 573435999 edges,
lola: 1241 tries, 1240651329 fired transitions, 2165 secs || 87989576 markings, 574864988 edges,
lola: 1244 tries, 1243577049 fired transitions, 2170 secs || 88205676 markings, 576280563 edges,
lola: 1247 tries, 1246477926 fired transitions, 2175 secs || 88412883 markings, 577639715 edges,
lola: 1250 tries, 1249396134 fired transitions, 2180 secs || 88629764 markings, 579057500 edges,
lola: 1253 tries, 1252307653 fired transitions, 2185 secs || 88844740 markings, 580465725 edges,
lola: 1256 tries, 1255248411 fired transitions, 2190 secs || 89047924 markings, 581797932 edges,
lola: 1259 tries, 1258166427 fired transitions, 2195 secs || 89250652 markings, 583122986 edges,
lola: 1262 tries, 1261120316 fired transitions, 2200 secs || 89455723 markings, 584467824 edges,
lola: 1265 tries, 1264062274 fired transitions, 2205 secs || 89656649 markings, 585782591 edges,
lola: 1268 tries, 1267011053 fired transitions, 2210 secs || 89864328 markings, 587144353 edges,
lola: 1270 tries, 1269922549 fired transitions, 2215 secs || 90060972 markings, 588438056 edges,
lola: 1273 tries, 1272846589 fired transitions, 2220 secs || 90257010 markings, 589719528 edges,
lola: 1276 tries, 1275809003 fired transitions, 2225 secs || 90461038 markings, 591052466 edges,
lola: 1279 tries, 1278757689 fired transitions, 2230 secs || 90667197 markings, 592399816 edges,
lola: 1282 tries, 1281723078 fired transitions, 2235 secs || 90876604 markings, 593768806 edges,
lola: 1285 tries, 1284688848 fired transitions, 2240 secs || 91088197 markings, 595151623 edges,
lola: 1288 tries, 1287639375 fired transitions, 2245 secs || 91294424 markings, 596499123 edges,
lola: 1291 tries, 1290563188 fired transitions, 2250 secs || 91512743 markings, 597926122 edges,
lola: 1294 tries, 1293467404 fired transitions, 2255 secs || 91726901 markings, 599323453 edges,
lola: 1297 tries, 1296339137 fired transitions, 2260 secs || 91946650 markings, 600760182 edges,
lola: 1300 tries, 1299245146 fired transitions, 2265 secs || 92155856 markings, 602133482 edges,
lola: 1303 tries, 1302142223 fired transitions, 2270 secs || 92361093 markings, 603475115 edges,
lola: 1306 tries, 1305058866 fired transitions, 2275 secs || 92569047 markings, 604835554 edges,
lola: 1308 tries, 1307954360 fired transitions, 2280 secs || 92769496 markings, 606151121 edges,
lola: 1311 tries, 1310873822 fired transitions, 2285 secs || 92966188 markings, 607437878 edges,
lola: 1314 tries, 1313789674 fired transitions, 2290 secs || 93175050 markings, 608803230 edges,
lola: 1317 tries, 1316718188 fired transitions, 2295 secs || 93373796 markings, 610107154 edges,
lola: 1320 tries, 1319670712 fired transitions, 2300 secs || 93574890 markings, 611421997 edges,
lola: 1323 tries, 1322619602 fired transitions, 2305 secs || 93776744 markings, 612749538 edges,
lola: 1326 tries, 1325551224 fired transitions, 2310 secs || 93974568 markings, 614047278 edges,
lola: 1329 tries, 1328437908 fired transitions, 2315 secs || 94175033 markings, 615357971 edges,
lola: 1332 tries, 1331369879 fired transitions, 2320 secs || 94379924 markings, 616696852 edges,
lola: 1335 tries, 1334303453 fired transitions, 2325 secs || 94576937 markings, 617984285 edges,
lola: 1338 tries, 1337228571 fired transitions, 2330 secs || 94781580 markings, 619322960 edges,
lola: 1341 tries, 1340154747 fired transitions, 2335 secs || 94988254 markings, 620673219 edges,
lola: 1344 tries, 1343105177 fired transitions, 2340 secs || 95185740 markings, 621962887 edges,
lola: 1347 tries, 1346040426 fired transitions, 2345 secs || 95394481 markings, 623327150 edges,
lola: 1349 tries, 1348273755 fired transitions, 2350 secs || 95555638 markings, 624380255 edges,
lola: 1352 tries, 1351145227 fired transitions, 2355 secs || 95762054 markings, 625726930 edges,
lola: 1355 tries, 1354098118 fired transitions, 2360 secs || 95965394 markings, 627061442 edges,
lola: 1358 tries, 1357017149 fired transitions, 2365 secs || 96164425 markings, 628361838 edges,
lola: 1360 tries, 1359929788 fired transitions, 2370 secs || 96373397 markings, 629729062 edges,
lola: 1363 tries, 1362874423 fired transitions, 2375 secs || 96572363 markings, 631034511 edges,
lola: 1366 tries, 1365827477 fired transitions, 2380 secs || 96775102 markings, 632359995 edges,
lola: 1369 tries, 1368710644 fired transitions, 2385 secs || 96971741 markings, 633656837 edges,
lola: 1372 tries, 1371640272 fired transitions, 2390 secs || 97166964 markings, 634933149 edges,
lola: 1375 tries, 1374550114 fired transitions, 2395 secs || 97369739 markings, 636258429 edges,
lola: 1378 tries, 1377372738 fired transitions, 2400 secs || 97561217 markings, 637510372 edges,
lola: 1381 tries, 1380297536 fired transitions, 2405 secs || 97767114 markings, 638855856 edges,
lola: 1384 tries, 1383209771 fired transitions, 2410 secs || 97969170 markings, 640175412 edges,
lola: 1387 tries, 1386126194 fired transitions, 2415 secs || 98174931 markings, 641520357 edges,
lola: 1390 tries, 1389041018 fired transitions, 2420 secs || 98376402 markings, 642837186 edges,
lola: 1392 tries, 1391972088 fired transitions, 2425 secs || 98580826 markings, 644173940 edges,
lola: 1395 tries, 1394886784 fired transitions, 2430 secs || 98791775 markings, 645548373 edges,
lola: 1398 tries, 1397817274 fired transitions, 2435 secs || 98986793 markings, 646831840 edges,
lola: 1401 tries, 1400712156 fired transitions, 2440 secs || 99183523 markings, 648119648 edges,
lola: 1404 tries, 1403639457 fired transitions, 2445 secs || 99382152 markings, 649418626 edges,
lola: 1407 tries, 1406553116 fired transitions, 2450 secs || 99572646 markings, 650677886 edges,
lola: 1410 tries, 1409489291 fired transitions, 2455 secs || 99760959 markings, 651917904 edges,
lola: 1413 tries, 1412431753 fired transitions, 2460 secs || 99956836 markings, 653198085 edges,
lola: 1416 tries, 1415345752 fired transitions, 2465 secs || 100156770 markings, 654505655 edges,
lola: 1419 tries, 1418249860 fired transitions, 2470 secs || 100353886 markings, 655794111 edges,
lola: 1422 tries, 1421206182 fired transitions, 2475 secs || 100556599 markings, 657117808 edges,
lola: 1425 tries, 1424111586 fired transitions, 2480 secs || 100749433 markings, 658377864 edges,
lola: 1427 tries, 1426977738 fired transitions, 2485 secs || 100948099 markings, 659676743 edges,
lola: 1430 tries, 1429891874 fired transitions, 2490 secs || 101154280 markings, 661024210 edges,
lola: 1433 tries, 1432829249 fired transitions, 2495 secs || 101362031 markings, 662383074 edges,
lola: 1436 tries, 1435758626 fired transitions, 2500 secs || 101567843 markings, 663723381 edges,
lola: 1439 tries, 1438662189 fired transitions, 2505 secs || 101765789 markings, 665018495 edges,
lola: 1442 tries, 1441591513 fired transitions, 2510 secs || 101962622 markings, 666307802 edges,
lola: 1445 tries, 1444529003 fired transitions, 2515 secs || 102158768 markings, 667591759 edges,
lola: 1448 tries, 1447448535 fired transitions, 2520 secs || 102356766 markings, 668885592 edges,
lola: 1451 tries, 1450360038 fired transitions, 2525 secs || 102553610 markings, 670172980 edges,
lola: 1454 tries, 1453279280 fired transitions, 2530 secs || 102756055 markings, 671496433 edges,
lola: 1457 tries, 1456198593 fired transitions, 2535 secs || 102950034 markings, 672762632 edges,
lola: 1460 tries, 1459126944 fired transitions, 2540 secs || 103155823 markings, 674108377 edges,
lola: 1463 tries, 1462048014 fired transitions, 2545 secs || 103360779 markings, 675445328 edges,
lola: 1465 tries, 1464958084 fired transitions, 2550 secs || 103549272 markings, 676676403 edges,
lola: 1468 tries, 1467884041 fired transitions, 2555 secs || 103735440 markings, 677894210 edges,
lola: 1471 tries, 1470796567 fired transitions, 2560 secs || 103918306 markings, 679088874 edges,
lola: 1474 tries, 1473703116 fired transitions, 2565 secs || 104108608 markings, 680336847 edges,
lola: 1477 tries, 1476586093 fired transitions, 2570 secs || 104303690 markings, 681613081 edges,
lola: 1480 tries, 1479475223 fired transitions, 2575 secs || 104504363 markings, 682925784 edges,
lola: 1483 tries, 1482411530 fired transitions, 2580 secs || 104703442 markings, 684226839 edges,
lola: 1486 tries, 1485327711 fired transitions, 2585 secs || 104902152 markings, 685516483 edges,
lola: 1489 tries, 1488269296 fired transitions, 2590 secs || 105089235 markings, 686740150 edges,
lola: 1492 tries, 1491208438 fired transitions, 2595 secs || 105273650 markings, 687948768 edges,
lola: 1495 tries, 1494159419 fired transitions, 2600 secs || 105454889 markings, 689135286 edges,
lola: 1498 tries, 1497087393 fired transitions, 2605 secs || 105651602 markings, 690422318 edges,
lola: 1501 tries, 1500037869 fired transitions, 2610 secs || 105850888 markings, 691724782 edges,
lola: 1503 tries, 1502987487 fired transitions, 2615 secs || 106049986 markings, 693032039 edges,
lola: 1506 tries, 1505932416 fired transitions, 2620 secs || 106247280 markings, 694321309 edges,
lola: 1509 tries, 1508867875 fired transitions, 2625 secs || 106442979 markings, 695602955 edges,
lola: 1512 tries, 1511787185 fired transitions, 2630 secs || 106646026 markings, 696929308 edges,
lola: 1515 tries, 1514710707 fired transitions, 2635 secs || 106848749 markings, 698255206 edges,
lola: 1518 tries, 1517634813 fired transitions, 2640 secs || 107055545 markings, 699606955 edges,
lola: 1521 tries, 1520555051 fired transitions, 2645 secs || 107267351 markings, 700993186 edges,
lola: 1524 tries, 1523486766 fired transitions, 2650 secs || 107482607 markings, 702400658 edges,
lola: 1527 tries, 1526422224 fired transitions, 2655 secs || 107697571 markings, 703805920 edges,
lola: 1530 tries, 1529366137 fired transitions, 2660 secs || 107912921 markings, 705213474 edges,
lola: 1533 tries, 1532314537 fired transitions, 2665 secs || 108116469 markings, 706540769 edges,
lola: 1536 tries, 1535257358 fired transitions, 2670 secs || 108319147 markings, 707856686 edges,
lola: 1539 tries, 1538171183 fired transitions, 2675 secs || 108527449 markings, 709209693 edges,
lola: 1542 tries, 1541089573 fired transitions, 2680 secs || 108738365 markings, 710578731 edges,
lola: 1545 tries, 1544027598 fired transitions, 2685 secs || 108943129 markings, 711908561 edges,
lola: 1547 tries, 1546968988 fired transitions, 2690 secs || 109148134 markings, 713250002 edges,
lola: 1550 tries, 1549890971 fired transitions, 2695 secs || 109354708 markings, 714625754 edges,
lola: 1553 tries, 1552823720 fired transitions, 2700 secs || 109556350 markings, 715966213 edges,
lola: 1556 tries, 1555749019 fired transitions, 2705 secs || 109758208 markings, 717311346 edges,
lola: 1559 tries, 1558674700 fired transitions, 2710 secs || 109959299 markings, 718650179 edges,
lola: 1562 tries, 1561576000 fired transitions, 2715 secs || 110175915 markings, 720091792 edges,
lola: 1565 tries, 1564486812 fired transitions, 2720 secs || 110382536 markings, 721467648 edges,
lola: 1568 tries, 1567431191 fired transitions, 2725 secs || 110585723 markings, 722819860 edges,
lola: 1571 tries, 1570378460 fired transitions, 2730 secs || 110803344 markings, 724268640 edges,
lola: 1574 tries, 1573336781 fired transitions, 2735 secs || 111012444 markings, 725661059 edges,
lola: 1577 tries, 1576281962 fired transitions, 2740 secs || 111217311 markings, 727025232 edges,
lola: 1580 tries, 1579231364 fired transitions, 2745 secs || 111421384 markings, 728383098 edges,
lola: 1583 tries, 1582173699 fired transitions, 2750 secs || 111627050 markings, 729753393 edges,
lola: 1586 tries, 1585093572 fired transitions, 2755 secs || 111837800 markings, 731148621 edges,
lola: 1589 tries, 1588036320 fired transitions, 2760 secs || 112053555 markings, 732562529 edges,
lola: 1592 tries, 1591001924 fired transitions, 2765 secs || 112261150 markings, 733925042 edges,
lola: 1594 tries, 1593933609 fired transitions, 2770 secs || 112465659 markings, 735262184 edges,
lola: 1597 tries, 1596866218 fired transitions, 2775 secs || 112675954 markings, 736638233 edges,
lola: 1600 tries, 1599796593 fired transitions, 2780 secs || 112877668 markings, 737959942 edges,
lola: 1603 tries, 1602709354 fired transitions, 2785 secs || 113079543 markings, 739283525 edges,
lola: 1606 tries, 1605621541 fired transitions, 2790 secs || 113288447 markings, 740650276 edges,
lola: 1609 tries, 1608526149 fired transitions, 2795 secs || 113498910 markings, 742027953 edges,
lola: 1612 tries, 1611455737 fired transitions, 2800 secs || 113703258 markings, 743368003 edges,
lola: 1615 tries, 1614371151 fired transitions, 2805 secs || 113907063 markings, 744700693 edges,
lola: 1618 tries, 1617278546 fired transitions, 2810 secs || 114112121 markings, 746044366 edges,
lola: 1621 tries, 1620178038 fired transitions, 2815 secs || 114312434 markings, 747355830 edges,
lola: 1624 tries, 1623107038 fired transitions, 2820 secs || 114517343 markings, 748693532 edges,
lola: 1627 tries, 1626042137 fired transitions, 2825 secs || 114718832 markings, 750024032 edges,
lola: 1629 tries, 1628987749 fired transitions, 2830 secs || 114915641 markings, 751312102 edges,
lola: 1632 tries, 1631934272 fired transitions, 2835 secs || 115114057 markings, 752608491 edges,
lola: 1635 tries, 1634882048 fired transitions, 2840 secs || 115318510 markings, 753944527 edges,
lola: 1638 tries, 1637793383 fired transitions, 2845 secs || 115523288 markings, 755282396 edges,
lola: 1641 tries, 1640724390 fired transitions, 2850 secs || 115726400 markings, 756610339 edges,
lola: 1644 tries, 1643668377 fired transitions, 2855 secs || 115929956 markings, 757939126 edges,
lola: 1647 tries, 1646611413 fired transitions, 2860 secs || 116136988 markings, 759292772 edges,
lola: 1650 tries, 1649555742 fired transitions, 2865 secs || 116351481 markings, 760695391 edges,
lola: 1653 tries, 1652499843 fired transitions, 2870 secs || 116564397 markings, 762082999 edges,
lola: 1656 tries, 1655448128 fired transitions, 2875 secs || 116779095 markings, 763489947 edges,
lola: 1659 tries, 1658374053 fired transitions, 2880 secs || 116989060 markings, 764867033 edges,
lola: 1662 tries, 1661317354 fired transitions, 2885 secs || 117207613 markings, 766296189 edges,
lola: 1665 tries, 1664279836 fired transitions, 2890 secs || 117422772 markings, 767704419 edges,
lola: 1668 tries, 1667214434 fired transitions, 2895 secs || 117627270 markings, 769045094 edges,
lola: 1671 tries, 1670130679 fired transitions, 2900 secs || 117837758 markings, 770422750 edges,
lola: 1674 tries, 1673037020 fired transitions, 2905 secs || 118043523 markings, 771771711 edges,
lola: 1676 tries, 1675938168 fired transitions, 2910 secs || 118245176 markings, 773089594 edges,
lola: 1679 tries, 1678899859 fired transitions, 2915 secs || 118447818 markings, 774417933 edges,
lola: 1682 tries, 1681843331 fired transitions, 2920 secs || 118652589 markings, 775766083 edges,
lola: 1685 tries, 1684761088 fired transitions, 2925 secs || 118859845 markings, 777121379 edges,
lola: 1688 tries, 1687712146 fired transitions, 2930 secs || 119068731 markings, 778486315 edges,
lola: 1691 tries, 1690684382 fired transitions, 2935 secs || 119279276 markings, 779861846 edges,
lola: 1694 tries, 1693640719 fired transitions, 2940 secs || 119486878 markings, 781219848 edges,
lola: 1697 tries, 1696609947 fired transitions, 2945 secs || 119698931 markings, 782604803 edges,
lola: 1700 tries, 1699541833 fired transitions, 2950 secs || 119906943 markings, 783964006 edges,
lola: 1703 tries, 1702440833 fired transitions, 2955 secs || 120123398 markings, 785379217 edges,
lola: 1706 tries, 1705380674 fired transitions, 2960 secs || 120338007 markings, 786778757 edges,
lola: 1709 tries, 1708348628 fired transitions, 2965 secs || 120554477 markings, 788194157 edges,
lola: 1712 tries, 1711286706 fired transitions, 2970 secs || 120762646 markings, 789559379 edges,
lola: 1715 tries, 1714228144 fired transitions, 2975 secs || 120971406 markings, 790924826 edges,
lola: 1718 tries, 1717160756 fired transitions, 2980 secs || 121174244 markings, 792255181 edges,
lola: 1721 tries, 1720068652 fired transitions, 2985 secs || 121376785 markings, 793579220 edges,
lola: 1723 tries, 1722989050 fired transitions, 2990 secs || 121582408 markings, 794925798 edges,
lola: 1726 tries, 1725894090 fired transitions, 2995 secs || 121780385 markings, 796230175 edges,
lola: 1729 tries, 1728799966 fired transitions, 3000 secs || 121973139 markings, 797490477 edges,
lola: 1732 tries, 1731721978 fired transitions, 3005 secs || 122178444 markings, 798832062 edges,
lola: 1735 tries, 1734686436 fired transitions, 3010 secs || 122384400 markings, 800179283 edges,
lola: 1738 tries, 1737621012 fired transitions, 3015 secs || 122587264 markings, 801504539 edges,
lola: 1741 tries, 1740530791 fired transitions, 3020 secs || 122796019 markings, 802867763 edges,
lola: 1744 tries, 1743456395 fired transitions, 3025 secs || 123000550 markings, 804204657 edges,
lola: 1747 tries, 1746322331 fired transitions, 3030 secs || 123213295 markings, 805594989 edges,
lola: 1750 tries, 1749247775 fired transitions, 3035 secs || 123430965 markings, 807017415 edges,
lola: 1753 tries, 1752183902 fired transitions, 3040 secs || 123642979 markings, 808400724 edges,
lola: 1756 tries, 1755111219 fired transitions, 3045 secs || 123846883 markings, 809737072 edges,
lola: 1759 tries, 1758039688 fired transitions, 3050 secs || 124050185 markings, 811066552 edges,
lola: 1761 tries, 1760959811 fired transitions, 3055 secs || 124247083 markings, 812365281 edges,
lola: 1764 tries, 1763887979 fired transitions, 3060 secs || 124445257 markings, 813660952 edges,
lola: 1767 tries, 1766825579 fired transitions, 3065 secs || 124643595 markings, 814957759 edges,
lola: 1770 tries, 1769763615 fired transitions, 3070 secs || 124837397 markings, 816224320 edges,
lola: 1773 tries, 1772694941 fired transitions, 3075 secs || 125032345 markings, 817498349 edges,
lola: 1776 tries, 1775631408 fired transitions, 3080 secs || 125225061 markings, 818757538 edges,
lola: 1779 tries, 1778571868 fired transitions, 3085 secs || 125421768 markings, 820042410 edges,
lola: 1782 tries, 1781493773 fired transitions, 3090 secs || 125615371 markings, 821307984 edges,
lola: 1785 tries, 1784431587 fired transitions, 3095 secs || 125822877 markings, 822665187 edges,
lola: 1788 tries, 1787361764 fired transitions, 3100 secs || 126033211 markings, 824035445 edges,
lola: 1791 tries, 1790275313 fired transitions, 3105 secs || 126225431 markings, 825305395 edges,
lola: 1794 tries, 1793206193 fired transitions, 3110 secs || 126421288 markings, 826603635 edges,
lola: 1797 tries, 1796092467 fired transitions, 3115 secs || 126624552 markings, 827937427 edges,
lola: 1799 tries, 1798982383 fired transitions, 3120 secs || 126825957 markings, 829254617 edges,
lola: 1802 tries, 1801868794 fired transitions, 3125 secs || 127024906 markings, 830554985 edges,
lola: 1805 tries, 1804768611 fired transitions, 3130 secs || 127222764 markings, 831847448 edges,
lola: 1808 tries, 1807651527 fired transitions, 3135 secs || 127410234 markings, 833073032 edges,
lola: 1811 tries, 1810484713 fired transitions, 3140 secs || 127601758 markings, 834324866 edges,
lola: 1814 tries, 1813373859 fired transitions, 3145 secs || 127790157 markings, 835555181 edges,
lola: 1817 tries, 1816279056 fired transitions, 3150 secs || 127990136 markings, 836862727 edges,
lola: 1820 tries, 1819145766 fired transitions, 3155 secs || 128195008 markings, 838202007 edges,
lola: 1822 tries, 1821992272 fired transitions, 3160 secs || 128400554 markings, 839540133 edges,
lola: 1825 tries, 1824868868 fired transitions, 3165 secs || 128599120 markings, 840838441 edges,
lola: 1828 tries, 1827759859 fired transitions, 3170 secs || 128796330 markings, 842127101 edges,
lola: 1831 tries, 1830655733 fired transitions, 3175 secs || 128992585 markings, 843410057 edges,
lola: 1834 tries, 1833545620 fired transitions, 3180 secs || 129185593 markings, 844670143 edges,
lola: 1837 tries, 1836395859 fired transitions, 3185 secs || 129383753 markings, 845964784 edges,
lola: 1840 tries, 1839229746 fired transitions, 3190 secs || 129590266 markings, 847316362 edges,
lola: 1843 tries, 1842083546 fired transitions, 3195 secs || 129795795 markings, 848653831 edges,
lola: 1845 tries, 1844955356 fired transitions, 3200 secs || 129994107 markings, 849951043 edges,
lola: 1848 tries, 1847831466 fired transitions, 3205 secs || 130195130 markings, 851264310 edges,
lola: 1851 tries, 1850710883 fired transitions, 3210 secs || 130389370 markings, 852533924 edges,
lola: 1854 tries, 1853595222 fired transitions, 3215 secs || 130593080 markings, 853864822 edges,
lola: 1857 tries, 1856456571 fired transitions, 3220 secs || 130797415 markings, 855199442 edges,
lola: 1860 tries, 1859345765 fired transitions, 3225 secs || 131003361 markings, 856541236 edges,
lola: 1863 tries, 1862280134 fired transitions, 3230 secs || 131205107 markings, 857859761 edges,
lola: 1866 tries, 1865213403 fired transitions, 3235 secs || 131410593 markings, 859202274 edges,
lola: 1869 tries, 1868129152 fired transitions, 3240 secs || 131619540 markings, 860568925 edges,
lola: 1872 tries, 1871068875 fired transitions, 3245 secs || 131821444 markings, 861883294 edges,
lola: 1875 tries, 1874006408 fired transitions, 3250 secs || 132016229 markings, 863155728 edges,
lola: 1877 tries, 1876942394 fired transitions, 3255 secs || 132219844 markings, 864487599 edges,
lola: 1880 tries, 1879857631 fired transitions, 3260 secs || 132425078 markings, 865824161 edges,
lola: 1883 tries, 1882745995 fired transitions, 3265 secs || 132643459 markings, 867251693 edges,
lola: 1886 tries, 1885663438 fired transitions, 3270 secs || 132856718 markings, 868646635 edges,
lola: 1889 tries, 1888570441 fired transitions, 3275 secs || 133073454 markings, 870063156 edges,
lola: 1892 tries, 1891466526 fired transitions, 3280 secs || 133286942 markings, 871459077 edges,
lola: 1895 tries, 1894372395 fired transitions, 3285 secs || 133495975 markings, 872818342 edges,
lola: 1898 tries, 1897295359 fired transitions, 3290 secs || 133706878 markings, 874188329 edges,
lola: 1901 tries, 1900234616 fired transitions, 3295 secs || 133925520 markings, 875614893 edges,
lola: 1904 tries, 1903155173 fired transitions, 3300 secs || 134133887 markings, 876980957 edges,
lola: 1907 tries, 1906065439 fired transitions, 3305 secs || 134338999 markings, 878325159 edges,
lola: 1909 tries, 1908980207 fired transitions, 3310 secs || 134548938 markings, 879697025 edges,
lola: 1912 tries, 1911923691 fired transitions, 3315 secs || 134759324 markings, 881076221 edges,
lola: 1915 tries, 1914855293 fired transitions, 3320 secs || 134961161 markings, 882398836 edges,
lola: 1918 tries, 1917748109 fired transitions, 3325 secs || 135176656 markings, 883806688 edges,
lola: 1921 tries, 1920654908 fired transitions, 3330 secs || 135383274 markings, 885162841 edges,
lola: 1924 tries, 1923572918 fired transitions, 3335 secs || 135588936 markings, 886507238 edges,
lola: 1927 tries, 1926487399 fired transitions, 3340 secs || 135794957 markings, 887861137 edges,
lola: 1930 tries, 1929383853 fired transitions, 3345 secs || 136003430 markings, 889230134 edges,
lola: 1933 tries, 1932275778 fired transitions, 3350 secs || 136214275 markings, 890609671 edges,
lola: 1936 tries, 1935174044 fired transitions, 3355 secs || 136421581 markings, 891963018 edges,
lola: 1939 tries, 1938106886 fired transitions, 3360 secs || 136630297 markings, 893326829 edges,
lola: 1942 tries, 1941002675 fired transitions, 3365 secs || 136837655 markings, 894681908 edges,
lola: 1944 tries, 1943921100 fired transitions, 3370 secs || 137049860 markings, 896068869 edges,
lola: 1947 tries, 1946868576 fired transitions, 3375 secs || 137257347 markings, 897424116 edges,
lola: 1950 tries, 1949748576 fired transitions, 3380 secs || 137475451 markings, 898850801 edges,
lola: 1953 tries, 1952697355 fired transitions, 3385 secs || 137696673 markings, 900291894 edges,
lola: 1956 tries, 1955608174 fired transitions, 3390 secs || 137908766 markings, 901683004 edges,
lola: 1959 tries, 1958533304 fired transitions, 3395 secs || 138117613 markings, 903049597 edges,
lola: 1962 tries, 1961455743 fired transitions, 3400 secs || 138328694 markings, 904429915 edges,
lola: 1965 tries, 1964378735 fired transitions, 3405 secs || 138532261 markings, 905765482 edges,
lola: 1968 tries, 1967327305 fired transitions, 3410 secs || 138740964 markings, 907130094 edges,
lola: 1971 tries, 1970290268 fired transitions, 3415 secs || 138949809 markings, 908503682 edges,
lola: 1974 tries, 1973240072 fired transitions, 3420 secs || 139152100 markings, 909830897 edges,
lola: 1977 tries, 1976194253 fired transitions, 3425 secs || 139356367 markings, 911167030 edges,
lola: 1980 tries, 1979148758 fired transitions, 3430 secs || 139559565 markings, 912493985 edges,
lola: 1983 tries, 1982103164 fired transitions, 3435 secs || 139767546 markings, 913852908 edges,
lola: 1986 tries, 1985078167 fired transitions, 3440 secs || 139975104 markings, 915209632 edges,
lola: 1988 tries, 1987985610 fired transitions, 3445 secs || 140181401 markings, 916558032 edges,
lola: 1991 tries, 1990927448 fired transitions, 3450 secs || 140379645 markings, 917851744 edges,
lola: 1994 tries, 1993847805 fired transitions, 3455 secs || 140598338 markings, 919282901 edges,
lola: 1997 tries, 1996755801 fired transitions, 3460 secs || 140816488 markings, 920704147 edges,
lola: 2000 tries, 1999688332 fired transitions, 3465 secs || 141023459 markings, 922061301 edges,
lola: 2003 tries, 2002650051 fired transitions, 3470 secs || 141222551 markings, 923363672 edges,
lola: 2006 tries, 2005579921 fired transitions, 3475 secs || 141428529 markings, 924714506 edges,
lola: 2009 tries, 2008498623 fired transitions, 3480 secs || 141629379 markings, 926036106 edges,
lola: 2012 tries, 2011464318 fired transitions, 3485 secs || 141829796 markings, 927346110 edges,
lola: 2015 tries, 2014425628 fired transitions, 3490 secs || 142032890 markings, 928672712 edges,
lola: 2018 tries, 2017373150 fired transitions, 3495 secs || 142232683 markings, 929978237 edges,
lola: 2021 tries, 2020290838 fired transitions, 3500 secs || 142429621 markings, 931266285 edges,
lola: 2024 tries, 2023244044 fired transitions, 3505 secs || 142632385 markings, 932591059 edges,
lola: 2027 tries, 2026188392 fired transitions, 3510 secs || 142834858 markings, 933913370 edges,
lola: 2030 tries, 2029152025 fired transitions, 3515 secs || 143040213 markings, 935255512 edges,
lola: 2033 tries, 2032094907 fired transitions, 3520 secs || 143247750 markings, 936612217 edges,
lola: 2036 tries, 2035047726 fired transitions, 3525 secs || 143454127 markings, 937963838 edges,
lola: 2039 tries, 2038015768 fired transitions, 3530 secs || 143650037 markings, 939264000 edges,
lola: 2041 tries, 2040972993 fired transitions, 3535 secs || 143851392 markings, 940591300 edges,
lola: 2044 tries, 2043910546 fired transitions, 3540 secs || 144048592 markings, 941880422 edges,
lola: 2047 tries, 2046874686 fired transitions, 3545 secs || 144250070 markings, 943197238 edges,
lola: 2050 tries, 2049844529 fired transitions, 3550 secs || 144443619 markings, 944462498 edges,
lola: 2053 tries, 2052806187 fired transitions, 3555 secs || 144635241 markings, 945713779 edges,
lola: time limit reached - aborting
lola: memory consumption: 5442724 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 1552558318954

--------------------
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) 47651 markings/sec, 0 secs 46229 markings/sec, 5 secs 45672 markings/sec, 10 secs 45886 markings/sec, 15 secs 44518 markings/sec, 20 secs 44369 markings/sec, 25 secs 45092 markings/sec, 30 secs 45720 markings/sec, 35 secs 45322 markings/sec, 40 secs 44090 markings/sec, 45 secs 43776 markings/sec, 50 secs 44011 markings/sec, 55 secs 44499 markings/sec, 60 secs 46546 markings/sec, 65 secs 46517 markings/sec, 70 secs 34739 markings/sec, 75 secs 45812 markings/sec, 80 secs 46123 markings/sec, 85 secs 45675 markings/sec, 90 secs 44913 markings/sec, 95 secs 47666 markings/sec, 100 secs 46353 markings/sec, 105 secs 46479 markings/sec, 110 secs 45973 markings/sec, 115 secs 40800 markings/sec, 120 secs 46683 markings/sec, 125 secs 45871 markings/sec, 130 secs 45469 markings/sec, 135 secs 44267 markings/sec, 140 secs 45274 markings/sec, 145 secs 45022 markings/sec, 150 secs 44487 markings/sec, 155 secs 45222 markings/sec, 160 secs 46637 markings/sec, 165 secs 44853 markings/sec, 170 secs 46575 markings/sec, 175 secs 37486 markings/sec, 180 secs 44049 markings/sec, 185 secs 46353 markings/sec, 190 secs 45765 markings/sec, 195 secs 44749 markings/sec, 200 secs 45208 markings/sec, 205 secs 46395 markings/sec, 210 secs 45070 markings/sec, 215 secs 45251 markings/sec, 220 secs 44786 markings/sec, 225 secs 36844 markings/sec, 230 secs 25750 markings/sec, 235 secs 25954 markings/sec, 240 secs 46107 markings/sec, 245 secs 45335 markings/sec, 250 secs 45474 markings/sec, 255 secs 44956 markings/sec, 260 secs 44983 markings/sec, 265 secs 41833 markings/sec, 270 secs 43697 markings/sec, 275 secs 44045 markings/sec, 280 secs 44133 markings/sec, 285 secs 43083 markings/sec, 290 secs 43623 markings/sec, 295 secs 45212 markings/sec, 300 secs 44384 markings/sec, 305 secs 43793 markings/sec, 310 secs 42258 markings/sec, 315 secs 42393 markings/sec, 320 secs 44162 markings/sec, 325 secs 44206 markings/sec, 330 secs 44154 markings/sec, 335 secs 42217 markings/sec, 340 secs 43240 markings/sec, 345 secs 23037 markings/sec, 350 secs 22735 markings/sec, 355 secs 21947 markings/sec, 360 secs 38408 markings/sec, 365 secs 43286 markings/sec, 370 secs 37416 markings/sec, 375 secs 40274 markings/sec, 380 secs 36005 markings/sec, 385 secs 40831 markings/sec, 390 secs 40461 markings/sec, 395 secs 43982 markings/sec, 400 secs 42048 markings/sec, 405 secs 41274 markings/sec, 410 secs 40231 markings/sec, 415 secs 40737 markings/sec, 420 secs 40570 markings/sec, 425 secs 39916 markings/sec, 430 secs 41538 markings/sec, 435 secs 41839 markings/sec, 440 secs 41052 markings/sec, 445 secs 38066 markings/sec, 450 secs 39127 markings/sec, 455 secs 25068 markings/sec, 460 secs 21732 markings/sec, 465 secs 21287 markings/sec, 470 secs 21320 markings/sec, 475 secs 21991 markings/sec, 480 secs 40978 markings/sec, 485 secs 42603 markings/sec, 490 secs 42722 markings/sec, 495 secs 42166 markings/sec, 500 secs 42089 markings/sec, 505 secs 41077 markings/sec, 510 secs 41601 markings/sec, 515 secs 41183 markings/sec, 520 secs 41557 markings/sec, 525 secs 40535 markings/sec, 530 secs 41073 markings/sec, 535 secs 39655 markings/sec, 540 secs 40658 markings/sec, 545 secs 40459 markings/sec, 550 secs 40579 markings/sec, 555 secs 42950 markings/sec, 560 secs 30457 markings/sec, 565 secs 29485 markings/sec, 570 secs 40178 markings/sec, 575 secs 41991 markings/sec, 580 secs 42020 markings/sec, 585 secs 40970 markings/sec, 590 secs 40106 markings/sec, 595 secs 40285 markings/sec, 600 secs 42560 markings/sec, 605 secs 42563 markings/sec, 610 secs 42982 markings/sec, 615 secs 41866 markings/sec, 620 secs 40287 markings/sec, 625 secs 40273 markings/sec, 630 secs 41055 markings/sec, 635 secs 40056 markings/sec, 640 secs 42102 markings/sec, 645 secs 43466 markings/sec, 650 secs 39938 markings/sec, 655 secs 40759 markings/sec, 660 secs 41899 markings/sec, 665 secs 40130 markings/sec, 670 secs 40878 markings/sec, 675 secs 41284 markings/sec, 680 secs 40604 markings/sec, 685 secs 40509 markings/sec, 690 secs 40325 markings/sec, 695 secs 40044 markings/sec, 700 secs 39453 markings/sec, 705 secs 41909 markings/sec, 710 secs 43838 markings/sec, 715 secs 42494 markings/sec, 720 secs 42130 markings/sec, 725 secs 41781 markings/sec, 730 secs 41086 markings/sec, 735 secs 41705 markings/sec, 740 secs 40542 markings/sec, 745 secs 42368 markings/sec, 750 secs 42555 markings/sec, 755 secs 41004 markings/sec, 760 secs 42355 markings/sec, 765 secs 43505 markings/sec, 770 secs 41678 markings/sec, 775 secs 41210 markings/sec, 780 secs 43231 markings/sec, 785 secs 40431 markings/sec, 790 secs 40530 markings/sec, 795 secs 42579 markings/sec, 800 secs 39631 markings/sec, 805 secs 39593 markings/sec, 810 secs 40894 markings/sec, 815 secs 40106 markings/sec, 820 secs 40542 markings/sec, 825 secs 40256 markings/sec, 830 secs 41435 markings/sec, 835 secs 41030 markings/sec, 840 secs 41809 markings/sec, 845 secs 40481 markings/sec, 850 secs 43367 markings/sec, 855 secs 42684 markings/sec, 860 secs 43770 markings/sec, 865 secs 40870 markings/sec, 870 secs 41359 markings/sec, 875 secs 43355 markings/sec, 880 secs 41655 markings/sec, 885 secs 42088 markings/sec, 890 secs 42772 markings/sec, 895 secs 40361 markings/sec, 900 secs 39902 markings/sec, 905 secs 39517 markings/sec, 910 secs 40504 markings/sec, 915 secs 41455 markings/sec, 920 secs 40889 markings/sec, 925 secs 41813 markings/sec, 930 secs 41423 markings/sec, 935 secs 41120 markings/sec, 940 secs 41894 markings/sec, 945 secs 43777 markings/sec, 950 secs 41775 markings/sec, 955 secs 33177 markings/sec, 960 secs 29238 markings/sec, 965 secs 40729 markings/sec, 970 secs 41043 markings/sec, 975 secs 25843 markings/sec, 980 secs 20862 markings/sec, 985 secs 25098 markings/sec, 990 secs 38881 markings/sec, 995 secs 37749 markings/sec, 1000 secs 36635 markings/sec, 1005 secs 37145 markings/sec, 1010 secs 37813 markings/sec, 1015 secs 40627 markings/sec, 1020 secs 39219 markings/sec, 1025 secs 39234 markings/sec, 1030 secs 40004 markings/sec, 1035 secs 39489 markings/sec, 1040 secs 37747 markings/sec, 1045 secs 40019 markings/sec, 1050 secs 39228 markings/sec, 1055 secs 40205 markings/sec, 1060 secs 40853 markings/sec, 1065 secs 41685 markings/sec, 1070 secs 42917 markings/sec, 1075 secs 43523 markings/sec, 1080 secs 42425 markings/sec, 1085 secs 41747 markings/sec, 1090 secs 40569 markings/sec, 1095 secs 39349 markings/sec, 1100 secs 40035 markings/sec, 1105 secs 38932 markings/sec, 1110 secs 39766 markings/sec, 1115 secs 38125 markings/sec, 1120 secs 41329 markings/sec, 1125 secs 38145 markings/sec, 1130 secs 37885 markings/sec, 1135 secs 38482 markings/sec, 1140 secs 38878 markings/sec, 1145 secs 38980 markings/sec, 1150 secs 40099 markings/sec, 1155 secs 38470 markings/sec, 1160 secs 36584 markings/sec, 1165 secs 37924 markings/sec, 1170 secs 37536 markings/sec, 1175 secs 39075 markings/sec, 1180 secs 39150 markings/sec, 1185 secs 38936 markings/sec, 1190 secs 38876 markings/sec, 1195 secs 41352 markings/sec, 1200 secs 38101 markings/sec, 1205 secs 38346 markings/sec, 1210 secs 40192 markings/sec, 1215 secs 38791 markings/sec, 1220 secs 39548 markings/sec, 1225 secs 38086 markings/sec, 1230 secs 39151 markings/sec, 1235 secs 41512 markings/sec, 1240 secs 42026 markings/sec, 1245 secs 41338 markings/sec, 1250 secs 39946 markings/sec, 1255 secs 39997 markings/sec, 1260 secs 38214 markings/sec, 1265 secs 38223 markings/sec, 1270 secs 39985 markings/sec, 1275 secs 40099 markings/sec, 1280 secs 39483 markings/sec, 1285 secs 40103 markings/sec, 1290 secs 39563 markings/sec, 1295 secs 38211 markings/sec, 1300 secs 40034 markings/sec, 1305 secs 40588 markings/sec, 1310 secs 39049 markings/sec, 1315 secs 40232 markings/sec, 1320 secs 39501 markings/sec, 1325 secs 39611 markings/sec, 1330 secs 40553 markings/sec, 1335 secs 38192 markings/sec, 1340 secs 40038 markings/sec, 1345 secs 39064 markings/sec, 1350 secs 37017 markings/sec, 1355 secs 38307 markings/sec, 1360 secs 38130 markings/sec, 1365 secs 37820 markings/sec, 1370 secs 39007 markings/sec, 1375 secs 38778 markings/sec, 1380 secs 39434 markings/sec, 1385 secs 40321 markings/sec, 1390 secs 38680 markings/sec, 1395 secs 39413 markings/sec, 1400 secs 40887 markings/sec, 1405 secs 41255 markings/sec, 1410 secs 39843 markings/sec, 1415 secs 43089 markings/sec, 1420 secs 41280 markings/sec, 1425 secs 40906 markings/sec, 1430 secs 41546 markings/sec, 1435 secs 40299 markings/sec, 1440 secs 40629 markings/sec, 1445 secs 39925 markings/sec, 1450 secs 39599 markings/sec, 1455 secs 39838 markings/sec, 1460 secs 39911 markings/sec, 1465 secs 40698 markings/sec, 1470 secs 40029 markings/sec, 1475 secs 40623 markings/sec, 1480 secs 40812 markings/sec, 1485 secs 40812 markings/sec, 1490 secs 38504 markings/sec, 1495 secs 40837 markings/sec, 1500 secs 41239 markings/sec, 1505 secs 40256 markings/sec, 1510 secs 41173 markings/sec, 1515 secs 41586 markings/sec, 1520 secs 40688 markings/sec, 1525 secs 41343 markings/sec, 1530 secs 36587 markings/sec, 1535 secs 37685 markings/sec, 1540 secs 39486 markings/sec, 1545 secs 38329 markings/sec, 1550 secs 38773 markings/sec, 1555 secs 37942 markings/sec, 1560 secs 39228 markings/sec, 1565 secs 39959 markings/sec, 1570 secs 39648 markings/sec, 1575 secs 36875 markings/sec, 1580 secs 39888 markings/sec, 1585 secs 40838 markings/sec, 1590 secs 40508 markings/sec, 1595 secs 40193 markings/sec, 1600 secs 40910 markings/sec, 1605 secs 38604 markings/sec, 1610 secs 38810 markings/sec, 1615 secs 38292 markings/sec, 1620 secs 38128 markings/sec, 1625 secs 37887 markings/sec, 1630 secs 38769 markings/sec, 1635 secs 38691 markings/sec, 1640 secs 39094 markings/sec, 1645 secs 38444 markings/sec, 1650 secs 37629 markings/sec, 1655 secs 38350 markings/sec, 1660 secs 39405 markings/sec, 1665 secs 39068 markings/sec, 1670 secs 40456 markings/sec, 1675 secs 40481 markings/sec, 1680 secs 39335 markings/sec, 1685 secs 39466 markings/sec, 1690 secs 38484 markings/sec, 1695 secs 39432 markings/sec, 1700 secs 39301 markings/sec, 1705 secs 39379 markings/sec, 1710 secs 37073 markings/sec, 1715 secs 39403 markings/sec, 1720 secs 40010 markings/sec, 1725 secs 39557 markings/sec, 1730 secs 40540 markings/sec, 1735 secs 41555 markings/sec, 1740 secs 39358 markings/sec, 1745 secs 40694 markings/sec, 1750 secs 40509 markings/sec, 1755 secs 39725 markings/sec, 1760 secs 37255 markings/sec, 1765 secs 39723 markings/sec, 1770 secs 40064 markings/sec, 1775 secs 39701 markings/sec, 1780 secs 40143 markings/sec, 1785 secs 42874 markings/sec, 1790 secs 41293 markings/sec, 1795 secs 41088 markings/sec, 1800 secs 39898 markings/sec, 1805 secs 40420 markings/sec, 1810 secs 41723 markings/sec, 1815 secs 40651 markings/sec, 1820 secs 40330 markings/sec, 1825 secs 41833 markings/sec, 1830 secs 41244 markings/sec, 1835 secs 38506 markings/sec, 1840 secs 41152 markings/sec, 1845 secs 40598 markings/sec, 1850 secs 40737 markings/sec, 1855 secs 42082 markings/sec, 1860 secs 39318 markings/sec, 1865 secs 37034 markings/sec, 1870 secs 38196 markings/sec, 1875 secs 38850 markings/sec, 1880 secs 36842 markings/sec, 1885 secs 40408 markings/sec, 1890 secs 38943 markings/sec, 1895 secs 40937 markings/sec, 1900 secs 41574 markings/sec, 1905 secs 42567 markings/sec, 1910 secs 41223 markings/sec, 1915 secs 42360 markings/sec, 1920 secs 43342 markings/sec, 1925 secs 42711 markings/sec, 1930 secs 40976 markings/sec, 1935 secs 41681 markings/sec, 1940 secs 39935 markings/sec, 1945 secs 40395 markings/sec, 1950 secs 40180 markings/sec, 1955 secs 39797 markings/sec, 1960 secs 41424 markings/sec, 1965 secs 42426 markings/sec, 1970 secs 41409 markings/sec, 1975 secs 43622 markings/sec, 1980 secs 43928 markings/sec, 1985 secs 43599 markings/sec, 1990 secs 42586 markings/sec, 1995 secs 42983 markings/sec, 2000 secs 43785 markings/sec, 2005 secs 43754 markings/sec, 2010 secs 43341 markings/sec, 2015 secs 42426 markings/sec, 2020 secs 41365 markings/sec, 2025 secs 42581 markings/sec, 2030 secs 43403 markings/sec, 2035 secs 42940 markings/sec, 2040 secs 43915 markings/sec, 2045 secs 43336 markings/sec, 2050 secs 41796 markings/sec, 2055 secs 42988 markings/sec, 2060 secs 40690 markings/sec, 2065 secs 41850 markings/sec, 2070 secs 42951 markings/sec, 2075 secs 42040 markings/sec, 2080 secs 41507 markings/sec, 2085 secs 40082 markings/sec, 2090 secs 40954 markings/sec, 2095 secs 39719 markings/sec, 2100 secs 40613 markings/sec, 2105 secs 42487 markings/sec, 2110 secs 42693 markings/sec, 2115 secs 42844 markings/sec, 2120 secs 42049 markings/sec, 2125 secs 41916 markings/sec, 2130 secs 41840 markings/sec, 2135 secs 41276 markings/sec, 2140 secs 42851 markings/sec, 2145 secs 42979 markings/sec, 2150 secs 41233 markings/sec, 2155 secs 41421 markings/sec, 2160 secs 43670 markings/sec, 2165 secs 43220 markings/sec, 2170 secs 41441 markings/sec, 2175 secs 43376 markings/sec, 2180 secs 42995 markings/sec, 2185 secs 40637 markings/sec, 2190 secs 40546 markings/sec, 2195 secs 41014 markings/sec, 2200 secs 40185 markings/sec, 2205 secs 41536 markings/sec, 2210 secs 39329 markings/sec, 2215 secs 39208 markings/sec, 2220 secs 40806 markings/sec, 2225 secs 41232 markings/sec, 2230 secs 41881 markings/sec, 2235 secs 42319 markings/sec, 2240 secs 41245 markings/sec, 2245 secs 43664 markings/sec, 2250 secs 42832 markings/sec, 2255 secs 43950 markings/sec, 2260 secs 41841 markings/sec, 2265 secs 41047 markings/sec, 2270 secs 41591 markings/sec, 2275 secs 40090 markings/sec, 2280 secs 39338 markings/sec, 2285 secs 41772 markings/sec, 2290 secs 39749 markings/sec, 2295 secs 40219 markings/sec, 2300 secs 40371 markings/sec, 2305 secs 39565 markings/sec, 2310 secs 40093 markings/sec, 2315 secs 40978 markings/sec, 2320 secs 39403 markings/sec, 2325 secs 40929 markings/sec, 2330 secs 41335 markings/sec, 2335 secs 39497 markings/sec, 2340 secs 41748 markings/sec, 2345 secs 32231 markings/sec, 2350 secs 41283 markings/sec, 2355 secs 40668 markings/sec, 2360 secs 39806 markings/sec, 2365 secs 41794 markings/sec, 2370 secs 39793 markings/sec, 2375 secs 40548 markings/sec, 2380 secs 39328 markings/sec, 2385 secs 39045 markings/sec, 2390 secs 40555 markings/sec, 2395 secs 38296 markings/sec, 2400 secs 41179 markings/sec, 2405 secs 40411 markings/sec, 2410 secs 41152 markings/sec, 2415 secs 40294 markings/sec, 2420 secs 40885 markings/sec, 2425 secs 42190 markings/sec, 2430 secs 39004 markings/sec, 2435 secs 39346 markings/sec, 2440 secs 39726 markings/sec, 2445 secs 38099 markings/sec, 2450 secs 37663 markings/sec, 2455 secs 39175 markings/sec, 2460 secs 39987 markings/sec, 2465 secs 39423 markings/sec, 2470 secs 40543 markings/sec, 2475 secs 38567 markings/sec, 2480 secs 39733 markings/sec, 2485 secs 41236 markings/sec, 2490 secs 41550 markings/sec, 2495 secs 41162 markings/sec, 2500 secs 39589 markings/sec, 2505 secs 39367 markings/sec, 2510 secs 39229 markings/sec, 2515 secs 39600 markings/sec, 2520 secs 39369 markings/sec, 2525 secs 40489 markings/sec, 2530 secs 38796 markings/sec, 2535 secs 41158 markings/sec, 2540 secs 40991 markings/sec, 2545 secs 37699 markings/sec, 2550 secs 37234 markings/sec, 2555 secs 36573 markings/sec, 2560 secs 38060 markings/sec, 2565 secs 39016 markings/sec, 2570 secs 40135 markings/sec, 2575 secs 39816 markings/sec, 2580 secs 39742 markings/sec, 2585 secs 37417 markings/sec, 2590 secs 36883 markings/sec, 2595 secs 36248 markings/sec, 2600 secs 39343 markings/sec, 2605 secs 39857 markings/sec, 2610 secs 39820 markings/sec, 2615 secs 39459 markings/sec, 2620 secs 39140 markings/sec, 2625 secs 40609 markings/sec, 2630 secs 40545 markings/sec, 2635 secs 41359 markings/sec, 2640 secs 42361 markings/sec, 2645 secs 43051 markings/sec, 2650 secs 42993 markings/sec, 2655 secs 43070 markings/sec, 2660 secs 40710 markings/sec, 2665 secs 40536 markings/sec, 2670 secs 41660 markings/sec, 2675 secs 42183 markings/sec, 2680 secs 40953 markings/sec, 2685 secs 41001 markings/sec, 2690 secs 41315 markings/sec, 2695 secs 40328 markings/sec, 2700 secs 40372 markings/sec, 2705 secs 40218 markings/sec, 2710 secs 43323 markings/sec, 2715 secs 41324 markings/sec, 2720 secs 40637 markings/sec, 2725 secs 43524 markings/sec, 2730 secs 41820 markings/sec, 2735 secs 40973 markings/sec, 2740 secs 40815 markings/sec, 2745 secs 41133 markings/sec, 2750 secs 42150 markings/sec, 2755 secs 43151 markings/sec, 2760 secs 41519 markings/sec, 2765 secs 40902 markings/sec, 2770 secs 42059 markings/sec, 2775 secs 40343 markings/sec, 2780 secs 40375 markings/sec, 2785 secs 41781 markings/sec, 2790 secs 42093 markings/sec, 2795 secs 40870 markings/sec, 2800 secs 40761 markings/sec, 2805 secs 41012 markings/sec, 2810 secs 40063 markings/sec, 2815 secs 40982 markings/sec, 2820 secs 40298 markings/sec, 2825 secs 39362 markings/sec, 2830 secs 39683 markings/sec, 2835 secs 40891 markings/sec, 2840 secs 40956 markings/sec, 2845 secs 40622 markings/sec, 2850 secs 40711 markings/sec, 2855 secs 41406 markings/sec, 2860 secs 42899 markings/sec, 2865 secs 42583 markings/sec, 2870 secs 42940 markings/sec, 2875 secs 41993 markings/sec, 2880 secs 43711 markings/sec, 2885 secs 43032 markings/sec, 2890 secs 40900 markings/sec, 2895 secs 42098 markings/sec, 2900 secs 41153 markings/sec, 2905 secs 40331 markings/sec, 2910 secs 40528 markings/sec, 2915 secs 40954 markings/sec, 2920 secs 41451 markings/sec, 2925 secs 41777 markings/sec, 2930 secs 42109 markings/sec, 2935 secs 41520 markings/sec, 2940 secs 42411 markings/sec, 2945 secs 41602 markings/sec, 2950 secs 43291 markings/sec, 2955 secs 42922 markings/sec, 2960 secs 43294 markings/sec, 2965 secs 41634 markings/sec, 2970 secs 41752 markings/sec, 2975 secs 40568 markings/sec, 2980 secs 40508 markings/sec, 2985 secs 41125 markings/sec, 2990 secs 39595 markings/sec, 2995 secs 38551 markings/sec, 3000 secs 41061 markings/sec, 3005 secs 41191 markings/sec, 3010 secs 40573 markings/sec, 3015 secs 41751 markings/sec, 3020 secs 40906 markings/sec, 3025 secs 42549 markings/sec, 3030 secs 43534 markings/sec, 3035 secs 42403 markings/sec, 3040 secs 40781 markings/sec, 3045 secs 40660 markings/sec, 3050 secs 39380 markings/sec, 3055 secs 39635 markings/sec, 3060 secs 39668 markings/sec, 3065 secs 38760 markings/sec, 3070 secs 38990 markings/sec, 3075 secs 38543 markings/sec, 3080 secs 39341 markings/sec, 3085 secs 38721 markings/sec, 3090 secs 41501 markings/sec, 3095 secs 42067 markings/sec, 3100 secs 38444 markings/sec, 3105 secs 39171 markings/sec, 3110 secs 40653 markings/sec, 3115 secs 40281 markings/sec, 3120 secs 39790 markings/sec, 3125 secs 39572 markings/sec, 3130 secs 37494 markings/sec, 3135 secs 38305 markings/sec, 3140 secs 37680 markings/sec, 3145 secs 39996 markings/sec, 3150 secs 40974 markings/sec, 3155 secs 41109 markings/sec, 3160 secs 39713 markings/sec, 3165 secs 39442 markings/sec, 3170 secs 39251 markings/sec, 3175 secs 38602 markings/sec, 3180 secs 39632 markings/sec, 3185 secs 41303 markings/sec, 3190 secs 41106 markings/sec, 3195 secs 39662 markings/sec, 3200 secs 40205 markings/sec, 3205 secs 38848 markings/sec, 3210 secs 40742 markings/sec, 3215 secs 40867 markings/sec, 3220 secs 41189 markings/sec, 3225 secs 40349 markings/sec, 3230 secs 41097 markings/sec, 3235 secs 41789 markings/sec, 3240 secs 40381 markings/sec, 3245 secs 38957 markings/sec, 3250 secs 40723 markings/sec, 3255 secs 41047 markings/sec, 3260 secs 43676 markings/sec, 3265 secs 42652 markings/sec, 3270 secs 43347 markings/sec, 3275 secs 42698 markings/sec, 3280 secs 41807 markings/sec, 3285 secs 42181 markings/sec, 3290 secs 43728 markings/sec, 3295 secs 41673 markings/sec, 3300 secs 41022 markings/sec, 3305 secs 41988 markings/sec, 3310 secs 42077 markings/sec, 3315 secs 40367 markings/sec, 3320 secs 43099 markings/sec, 3325 secs 41324 markings/sec, 3330 secs 41132 markings/sec, 3335 secs 41204 markings/sec, 3340 secs 41695 markings/sec, 3345 secs 42169 markings/sec, 3350 secs 41461 markings/sec, 3355 secs 41743 markings/sec, 3360 secs 41472 markings/sec, 3365 secs 42441 markings/sec, 3370 secs 41497 markings/sec, 3375 secs 43621 markings/sec, 3380 secs 44244 markings/sec, 3385 secs 42419 markings/sec, 3390 secs 41769 markings/sec, 3395 secs 42216 markings/sec, 3400 secs 40713 markings/sec, 3405 secs 41741 markings/sec, 3410 secs 41769 markings/sec, 3415 secs 40458 markings/sec, 3420 secs 40853 markings/sec, 3425 secs 40640 markings/sec, 3430 secs 41596 markings/sec, 3435 secs 41512 markings/sec, 3440 secs 41259 markings/sec, 3445 secs 39649 markings/sec, 3450 secs 43739 markings/sec, 3455 secs 43630 markings/sec, 3460 secs 41394 markings/sec, 3465 secs 39818 markings/sec, 3470 secs 41196 markings/sec, 3475 secs 40170 markings/sec, 3480 secs 40083 markings/sec, 3485 secs 40619 markings/sec, 3490 secs 39959 markings/sec, 3495 secs 39388 markings/sec, 3500 secs 40553 markings/sec, 3505 secs 40495 markings/sec, 3510 secs 41071 markings/sec, 3515 secs 41507 markings/sec, 3520 secs 41275 markings/sec, 3525 secs 39182 markings/sec, 3530 secs 40271 markings/sec, 3535 secs 39440 markings/sec, 3540 secs 40296 markings/sec, 3545 secs 38710 markings/sec, 3550 secs 38324 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-D10N010"
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-D10N010, 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-155234654600075"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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