MCC'2019 - Execution of r137-smll-155284909300048

About the Execution of LoLA for Raft-PT-07

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
14848.690	3571246.00	7161218.00	7494.70	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 3.0K Feb 12 11:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 12 11:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 8 13:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 8 13:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 97 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 335 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 00:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 4 14:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 4 14:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 11:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 1 11:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 120K 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 Raft-PT-07-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552915632564

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

{
"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": "Mon Mar 18 13:27:12 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 14941908,
"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": 1664,
"conflict_clusters": 19,
"places": 253,
"places_significant": 204,
"singleton_clusters": 0,
"transitions": 442
},
"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": 5040.000000,
"composed": 42,
"dead_branches": 0,
"generators": 51,
"interrupted": false,
"real_computed": 9,
"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: 695/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 253
lola: finding significant places
lola: 253 places, 442 transitions, 204 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 51 generators (9 in search tree, 42 by composition)
lola: representing 5040 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 344470 fired transitions, 0 secs || 144919 markings, 1005142 edges,
lola: 1 tries, 692880 fired transitions, 5 secs || 248966 markings, 2272831 edges,
lola: 2 tries, 1041538 fired transitions, 10 secs || 351889 markings, 3539221 edges,
lola: 2 tries, 1390968 fired transitions, 15 secs || 453688 markings, 4800210 edges,
lola: 2 tries, 1740376 fired transitions, 20 secs || 556503 markings, 6052249 edges,
lola: 3 tries, 2089258 fired transitions, 25 secs || 658478 markings, 7300172 edges,
lola: 3 tries, 2438331 fired transitions, 30 secs || 763241 markings, 8578523 edges,
lola: 3 tries, 2787662 fired transitions, 35 secs || 869392 markings, 9863354 edges,
lola: 4 tries, 3136446 fired transitions, 40 secs || 974677 markings, 11146287 edges,
lola: 4 tries, 3485407 fired transitions, 45 secs || 1078343 markings, 12403402 edges,
lola: 4 tries, 3834274 fired transitions, 50 secs || 1181048 markings, 13651751 edges,
lola: 5 tries, 4183050 fired transitions, 55 secs || 1283157 markings, 14905133 edges,
lola: 5 tries, 4532296 fired transitions, 60 secs || 1387845 markings, 16172933 edges,
lola: 5 tries, 4881600 fired transitions, 65 secs || 1491233 markings, 17430796 edges,
lola: 6 tries, 5230896 fired transitions, 70 secs || 1592349 markings, 18678209 edges,
lola: 6 tries, 5580170 fired transitions, 75 secs || 1695266 markings, 19928988 edges,
lola: 6 tries, 5929544 fired transitions, 80 secs || 1797638 markings, 21167842 edges,
lola: 7 tries, 6278262 fired transitions, 85 secs || 1900484 markings, 22414405 edges,
lola: 7 tries, 6627254 fired transitions, 90 secs || 2002508 markings, 23650433 edges,
lola: 7 tries, 6976095 fired transitions, 95 secs || 2105327 markings, 24896551 edges,
lola: 8 tries, 7324883 fired transitions, 100 secs || 2209247 markings, 26153466 edges,
lola: 8 tries, 7673920 fired transitions, 105 secs || 2311421 markings, 27390095 edges,
lola: 9 tries, 8022394 fired transitions, 110 secs || 2413181 markings, 28622257 edges,
lola: 9 tries, 8371954 fired transitions, 115 secs || 2515462 markings, 29859867 edges,
lola: 9 tries, 8721246 fired transitions, 120 secs || 2619304 markings, 31118202 edges,
lola: 10 tries, 9070846 fired transitions, 125 secs || 2722749 markings, 32374815 edges,
lola: 10 tries, 9420387 fired transitions, 130 secs || 2825619 markings, 33620440 edges,
lola: 10 tries, 9769504 fired transitions, 135 secs || 2929251 markings, 34875602 edges,
lola: 11 tries, 10118663 fired transitions, 140 secs || 3033261 markings, 36133945 edges,
lola: 11 tries, 10467952 fired transitions, 145 secs || 3136382 markings, 37382951 edges,
lola: 11 tries, 10817484 fired transitions, 150 secs || 3239476 markings, 38637081 edges,
lola: 12 tries, 11166618 fired transitions, 155 secs || 3340317 markings, 39863881 edges,
lola: 12 tries, 11515702 fired transitions, 160 secs || 3441823 markings, 41096629 edges,
lola: 12 tries, 11864814 fired transitions, 165 secs || 3544355 markings, 42337661 edges,
lola: 13 tries, 12214288 fired transitions, 170 secs || 3646871 markings, 43580917 edges,
lola: 13 tries, 12563908 fired transitions, 175 secs || 3751208 markings, 44845861 edges,
lola: 13 tries, 12913271 fired transitions, 180 secs || 3855326 markings, 46109958 edges,
lola: 14 tries, 13262954 fired transitions, 185 secs || 3958732 markings, 47367131 edges,
lola: 14 tries, 13611852 fired transitions, 190 secs || 4063658 markings, 48639729 edges,
lola: 14 tries, 13959634 fired transitions, 195 secs || 4168227 markings, 49921344 edges,
lola: 15 tries, 14305776 fired transitions, 200 secs || 4274152 markings, 51204652 edges,
lola: 15 tries, 14653632 fired transitions, 205 secs || 4379192 markings, 52484838 edges,
lola: 16 tries, 15003624 fired transitions, 210 secs || 4483163 markings, 53746940 edges,
lola: 16 tries, 15352174 fired transitions, 215 secs || 4586274 markings, 55008660 edges,
lola: 16 tries, 15700902 fired transitions, 220 secs || 4690560 markings, 56271798 edges,
lola: 17 tries, 16048104 fired transitions, 225 secs || 4795080 markings, 57550043 edges,
lola: 17 tries, 16396416 fired transitions, 230 secs || 4899480 markings, 58817218 edges,
lola: 17 tries, 16743668 fired transitions, 235 secs || 5002306 markings, 60065458 edges,
lola: 18 tries, 17092960 fired transitions, 240 secs || 5103990 markings, 61298367 edges,
lola: 18 tries, 17438976 fired transitions, 245 secs || 5205958 markings, 62534674 edges,
lola: 18 tries, 17784898 fired transitions, 250 secs || 5308137 markings, 63800975 edges,
lola: 19 tries, 18132088 fired transitions, 255 secs || 5410242 markings, 65041290 edges,
lola: 19 tries, 18479090 fired transitions, 260 secs || 5515041 markings, 66309231 edges,
lola: 19 tries, 18825842 fired transitions, 265 secs || 5619290 markings, 67576053 edges,
lola: 20 tries, 19172562 fired transitions, 270 secs || 5722078 markings, 68823364 edges,
lola: 20 tries, 19519558 fired transitions, 275 secs || 5824775 markings, 70069724 edges,
lola: 20 tries, 19866456 fired transitions, 280 secs || 5929595 markings, 71338845 edges,
lola: 21 tries, 20213848 fired transitions, 285 secs || 6034203 markings, 72606510 edges,
lola: 21 tries, 20561552 fired transitions, 290 secs || 6137009 markings, 73866251 edges,
lola: 21 tries, 20875508 fired transitions, 295 secs || 6240178 markings, 75113934 edges,
lola: 22 tries, 21222298 fired transitions, 300 secs || 6345880 markings, 76395593 edges,
lola: 22 tries, 21568910 fired transitions, 305 secs || 6450268 markings, 77662696 edges,
lola: 22 tries, 21916072 fired transitions, 310 secs || 6552889 markings, 78912414 edges,
lola: 23 tries, 22263350 fired transitions, 315 secs || 6655923 markings, 80161353 edges,
lola: 23 tries, 22610490 fired transitions, 320 secs || 6758717 markings, 81409294 edges,
lola: 23 tries, 22957690 fired transitions, 325 secs || 6861228 markings, 82648269 edges,
lola: 24 tries, 23305964 fired transitions, 330 secs || 6962287 markings, 83879816 edges,
lola: 24 tries, 23654396 fired transitions, 335 secs || 7066445 markings, 85141159 edges,
lola: 25 tries, 24003006 fired transitions, 340 secs || 7167907 markings, 86372069 edges,
lola: 25 tries, 24351090 fired transitions, 345 secs || 7269466 markings, 87605027 edges,
lola: 25 tries, 24699200 fired transitions, 350 secs || 7370660 markings, 88829371 edges,
lola: 26 tries, 25046992 fired transitions, 355 secs || 7471614 markings, 90055322 edges,
lola: 26 tries, 25394716 fired transitions, 360 secs || 7575178 markings, 91312737 edges,
lola: 26 tries, 25742470 fired transitions, 365 secs || 7678200 markings, 92567653 edges,
lola: 27 tries, 26090030 fired transitions, 370 secs || 7781915 markings, 93825620 edges,
lola: 27 tries, 26437440 fired transitions, 375 secs || 7885747 markings, 95089545 edges,
lola: 27 tries, 26784664 fired transitions, 380 secs || 7990659 markings, 96362438 edges,
lola: 28 tries, 27131734 fired transitions, 385 secs || 8095279 markings, 97636980 edges,
lola: 28 tries, 27479526 fired transitions, 390 secs || 8198539 markings, 98896660 edges,
lola: 28 tries, 27827352 fired transitions, 395 secs || 8303487 markings, 100168487 edges,
lola: 29 tries, 28175540 fired transitions, 400 secs || 8407339 markings, 101430423 edges,
lola: 29 tries, 28523138 fired transitions, 405 secs || 8510420 markings, 102683972 edges,
lola: 29 tries, 28870534 fired transitions, 410 secs || 8614052 markings, 103938802 edges,
lola: 30 tries, 29218148 fired transitions, 415 secs || 8717449 markings, 105195384 edges,
lola: 30 tries, 29566170 fired transitions, 420 secs || 8819956 markings, 106449273 edges,
lola: 30 tries, 29914166 fired transitions, 425 secs || 8922836 markings, 107708602 edges,
lola: 31 tries, 30262090 fired transitions, 430 secs || 9025913 markings, 108958778 edges,
lola: 31 tries, 30610810 fired transitions, 435 secs || 9128998 markings, 110207205 edges,
lola: 31 tries, 30959348 fired transitions, 440 secs || 9231507 markings, 111449965 edges,
lola: 32 tries, 31306718 fired transitions, 445 secs || 9333978 markings, 112693552 edges,
lola: 32 tries, 31654003 fired transitions, 450 secs || 9436023 markings, 113944396 edges,
lola: 33 tries, 32001166 fired transitions, 455 secs || 9539628 markings, 115198765 edges,
lola: 33 tries, 32348256 fired transitions, 460 secs || 9643095 markings, 116453762 edges,
lola: 33 tries, 32695332 fired transitions, 465 secs || 9746448 markings, 117706878 edges,
lola: 34 tries, 33042522 fired transitions, 470 secs || 9849600 markings, 118957426 edges,
lola: 34 tries, 33389488 fired transitions, 475 secs || 9952832 markings, 120210835 edges,
lola: 34 tries, 33736176 fired transitions, 480 secs || 10056167 markings, 121461159 edges,
lola: 35 tries, 34082809 fired transitions, 485 secs || 10159555 markings, 122715280 edges,
lola: 35 tries, 34429770 fired transitions, 490 secs || 10262111 markings, 123960906 edges,
lola: 35 tries, 34776692 fired transitions, 495 secs || 10365001 markings, 125212664 edges,
lola: 36 tries, 35123726 fired transitions, 500 secs || 10468651 markings, 126469302 edges,
lola: 36 tries, 35470538 fired transitions, 505 secs || 10571984 markings, 127722494 edges,
lola: 36 tries, 35818168 fired transitions, 510 secs || 10676430 markings, 128991464 edges,
lola: 37 tries, 36165104 fired transitions, 515 secs || 10781589 markings, 130267649 edges,
lola: 37 tries, 36511970 fired transitions, 520 secs || 10886655 markings, 131541357 edges,
lola: 37 tries, 36858876 fired transitions, 525 secs || 10990910 markings, 132812640 edges,
lola: 38 tries, 37205797 fired transitions, 530 secs || 11095168 markings, 134076728 edges,
lola: 38 tries, 37552548 fired transitions, 535 secs || 11200334 markings, 135352163 edges,
lola: 38 tries, 37899780 fired transitions, 540 secs || 11304091 markings, 136611609 edges,
lola: 39 tries, 38246950 fired transitions, 545 secs || 11408107 markings, 137876598 edges,
lola: 39 tries, 38593758 fired transitions, 550 secs || 11513144 markings, 139152406 edges,
lola: 39 tries, 38940540 fired transitions, 555 secs || 11617780 markings, 140423577 edges,
lola: 40 tries, 39287824 fired transitions, 560 secs || 11722503 markings, 141690224 edges,
lola: 40 tries, 39635132 fired transitions, 565 secs || 11826113 markings, 142946011 edges,
lola: 40 tries, 39982624 fired transitions, 570 secs || 11928716 markings, 144193843 edges,
lola: 41 tries, 40330086 fired transitions, 575 secs || 12032056 markings, 145443172 edges,
lola: 41 tries, 40677426 fired transitions, 580 secs || 12135420 markings, 146701071 edges,
lola: 42 tries, 41024746 fired transitions, 585 secs || 12239265 markings, 147959766 edges,
lola: 42 tries, 41372086 fired transitions, 590 secs || 12342884 markings, 149216887 edges,
lola: 42 tries, 41719316 fired transitions, 595 secs || 12446094 markings, 150473473 edges,
lola: 43 tries, 42066546 fired transitions, 600 secs || 12549480 markings, 151725482 edges,
lola: 43 tries, 42413906 fired transitions, 605 secs || 12653692 markings, 152990669 edges,
lola: 43 tries, 42760910 fired transitions, 610 secs || 12760030 markings, 154283790 edges,
lola: 44 tries, 43108316 fired transitions, 615 secs || 12865430 markings, 155568236 edges,
lola: 44 tries, 43456304 fired transitions, 620 secs || 12959283 markings, 156704921 edges,
lola: 44 tries, 43803970 fired transitions, 625 secs || 13054776 markings, 157855902 edges,
lola: 45 tries, 44151520 fired transitions, 630 secs || 13157374 markings, 159097332 edges,
lola: 45 tries, 44499126 fired transitions, 635 secs || 13258816 markings, 160332309 edges,
lola: 45 tries, 44846730 fired transitions, 640 secs || 13361929 markings, 161585193 edges,
lola: 46 tries, 45193944 fired transitions, 645 secs || 13464752 markings, 162834905 edges,
lola: 46 tries, 45541164 fired transitions, 650 secs || 13567369 markings, 164083779 edges,
lola: 46 tries, 45888314 fired transitions, 655 secs || 13669401 markings, 165322975 edges,
lola: 47 tries, 46236008 fired transitions, 660 secs || 13772329 markings, 166573340 edges,
lola: 47 tries, 46583500 fired transitions, 665 secs || 13873046 markings, 167822996 edges,
lola: 47 tries, 46930029 fired transitions, 670 secs || 13976323 markings, 169074029 edges,
lola: 48 tries, 47276606 fired transitions, 675 secs || 14078657 markings, 170317193 edges,
lola: 48 tries, 47623046 fired transitions, 680 secs || 14182286 markings, 171576008 edges,
lola: 48 tries, 47969684 fired transitions, 685 secs || 14285532 markings, 172825597 edges,
lola: 49 tries, 48316118 fired transitions, 690 secs || 14389707 markings, 174091264 edges,
lola: 49 tries, 48662466 fired transitions, 695 secs || 14495074 markings, 175369807 edges,
lola: 50 tries, 49008712 fired transitions, 700 secs || 14600745 markings, 176651021 edges,
lola: 50 tries, 49354808 fired transitions, 705 secs || 14706511 markings, 177937508 edges,
lola: 50 tries, 49701889 fired transitions, 710 secs || 14813015 markings, 179226329 edges,
lola: 51 tries, 50048828 fired transitions, 715 secs || 14918439 markings, 180516986 edges,
lola: 51 tries, 50395594 fired transitions, 720 secs || 15024523 markings, 181799778 edges,
lola: 51 tries, 50743622 fired transitions, 725 secs || 15129790 markings, 183074108 edges,
lola: 52 tries, 51091882 fired transitions, 730 secs || 15234673 markings, 184350248 edges,
lola: 52 tries, 51439436 fired transitions, 735 secs || 15339134 markings, 185625993 edges,
lola: 52 tries, 51786940 fired transitions, 740 secs || 15442919 markings, 186896874 edges,
lola: 53 tries, 52134568 fired transitions, 745 secs || 15545674 markings, 188144131 edges,
lola: 53 tries, 52481984 fired transitions, 750 secs || 15648045 markings, 189389831 edges,
lola: 53 tries, 52829204 fired transitions, 755 secs || 15749969 markings, 190631168 edges,
lola: 54 tries, 53176762 fired transitions, 760 secs || 15850766 markings, 191858456 edges,
lola: 54 tries, 53524170 fired transitions, 765 secs || 15951882 markings, 193088465 edges,
lola: 54 tries, 53871899 fired transitions, 770 secs || 16053406 markings, 194326234 edges,
lola: 55 tries, 54219414 fired transitions, 775 secs || 16155718 markings, 195569771 edges,
lola: 55 tries, 54566310 fired transitions, 780 secs || 16258494 markings, 196819202 edges,
lola: 55 tries, 54913476 fired transitions, 785 secs || 16360882 markings, 198074010 edges,
lola: 56 tries, 55260742 fired transitions, 790 secs || 16464782 markings, 199334258 edges,
lola: 56 tries, 55607976 fired transitions, 795 secs || 16568749 markings, 200608396 edges,
lola: 56 tries, 55955102 fired transitions, 800 secs || 16672057 markings, 201861694 edges,
lola: 57 tries, 56302892 fired transitions, 805 secs || 16775033 markings, 203116248 edges,
lola: 57 tries, 56652328 fired transitions, 810 secs || 16878185 markings, 204369824 edges,
lola: 58 tries, 57002346 fired transitions, 815 secs || 16980357 markings, 205616794 edges,
lola: 58 tries, 57352700 fired transitions, 820 secs || 17081784 markings, 206853064 edges,
lola: 58 tries, 57700806 fired transitions, 825 secs || 17185895 markings, 208114895 edges,
lola: 59 tries, 58048108 fired transitions, 830 secs || 17287408 markings, 209393789 edges,
lola: 59 tries, 58395094 fired transitions, 835 secs || 17393631 markings, 210706306 edges,
lola: 59 tries, 58742056 fired transitions, 840 secs || 17498327 markings, 211976890 edges,
lola: 60 tries, 59089454 fired transitions, 845 secs || 17603224 markings, 213265690 edges,
lola: 60 tries, 59437172 fired transitions, 850 secs || 17707668 markings, 214537883 edges,
lola: 60 tries, 59785062 fired transitions, 855 secs || 17810549 markings, 215797768 edges,
lola: 61 tries, 60132598 fired transitions, 860 secs || 17914331 markings, 217064966 edges,
lola: 61 tries, 60480496 fired transitions, 865 secs || 18019047 markings, 218333068 edges,
lola: 61 tries, 60827626 fired transitions, 870 secs || 18122772 markings, 219589604 edges,
lola: 62 tries, 61175398 fired transitions, 875 secs || 18228018 markings, 220869349 edges,
lola: 62 tries, 61523142 fired transitions, 880 secs || 18331001 markings, 222134488 edges,
lola: 62 tries, 61871030 fired transitions, 885 secs || 18435615 markings, 223408928 edges,
lola: 63 tries, 62219212 fired transitions, 890 secs || 18540497 markings, 224683597 edges,
lola: 63 tries, 62567058 fired transitions, 895 secs || 18645510 markings, 225960478 edges,
lola: 63 tries, 62914734 fired transitions, 900 secs || 18748429 markings, 227228617 edges,
lola: 64 tries, 63262403 fired transitions, 905 secs || 18852377 markings, 228491465 edges,
lola: 64 tries, 63610406 fired transitions, 910 secs || 18955880 markings, 229749728 edges,
lola: 64 tries, 63958706 fired transitions, 915 secs || 19059413 markings, 231004823 edges,
lola: 65 tries, 64306882 fired transitions, 920 secs || 19153469 markings, 232146411 edges,
lola: 65 tries, 64653866 fired transitions, 925 secs || 19250430 markings, 233322197 edges,
lola: 66 tries, 65001922 fired transitions, 930 secs || 19352414 markings, 234558924 edges,
lola: 66 tries, 65349094 fired transitions, 935 secs || 19454459 markings, 235794180 edges,
lola: 66 tries, 65696358 fired transitions, 940 secs || 19555661 markings, 237028581 edges,
lola: 67 tries, 66043506 fired transitions, 945 secs || 19657511 markings, 238264492 edges,
lola: 67 tries, 66391020 fired transitions, 950 secs || 19759714 markings, 239502100 edges,
lola: 67 tries, 66738346 fired transitions, 955 secs || 19860041 markings, 240717811 edges,
lola: 68 tries, 67085698 fired transitions, 960 secs || 19962132 markings, 241951216 edges,
lola: 68 tries, 67432922 fired transitions, 965 secs || 20064468 markings, 243192368 edges,
lola: 68 tries, 67780364 fired transitions, 970 secs || 20168600 markings, 244456100 edges,
lola: 69 tries, 68127992 fired transitions, 975 secs || 20272143 markings, 245711785 edges,
lola: 69 tries, 68475450 fired transitions, 980 secs || 20375573 markings, 246965534 edges,
lola: 69 tries, 68823008 fired transitions, 985 secs || 20478884 markings, 248221041 edges,
lola: 70 tries, 69137550 fired transitions, 990 secs || 20582412 markings, 249478350 edges,
lola: 70 tries, 69484358 fired transitions, 995 secs || 20686743 markings, 250744258 edges,
lola: 70 tries, 69831456 fired transitions, 1000 secs || 20789726 markings, 251996508 edges,
lola: 71 tries, 70178418 fired transitions, 1005 secs || 20892362 markings, 253243482 edges,
lola: 71 tries, 70525160 fired transitions, 1010 secs || 20996961 markings, 254512454 edges,
lola: 71 tries, 70872106 fired transitions, 1015 secs || 21099849 markings, 255759909 edges,
lola: 72 tries, 71219032 fired transitions, 1020 secs || 21203432 markings, 257015028 edges,
lola: 72 tries, 71566698 fired transitions, 1025 secs || 21306012 markings, 258259599 edges,
lola: 72 tries, 71914060 fired transitions, 1030 secs || 21408136 markings, 259505405 edges,
lola: 73 tries, 72261098 fired transitions, 1035 secs || 21512873 markings, 260776419 edges,
lola: 73 tries, 72607830 fired transitions, 1040 secs || 21616478 markings, 262046478 edges,
lola: 73 tries, 72955252 fired transitions, 1045 secs || 21720756 markings, 263310757 edges,
lola: 74 tries, 73302688 fired transitions, 1050 secs || 21824478 markings, 264565815 edges,
lola: 74 tries, 73650088 fired transitions, 1055 secs || 21928147 markings, 265822418 edges,
lola: 74 tries, 73997428 fired transitions, 1060 secs || 22032507 markings, 267088001 edges,
lola: 75 tries, 74344960 fired transitions, 1065 secs || 22134879 markings, 268332194 edges,
lola: 75 tries, 74692658 fired transitions, 1070 secs || 22237126 markings, 269572534 edges,
lola: 76 tries, 75040194 fired transitions, 1075 secs || 22339418 markings, 270815832 edges,
lola: 76 tries, 75387224 fired transitions, 1080 secs || 22440820 markings, 272045377 edges,
lola: 76 tries, 75734554 fired transitions, 1085 secs || 22542053 markings, 273275731 edges,
lola: 77 tries, 76082342 fired transitions, 1090 secs || 22643680 markings, 274509020 edges,
lola: 77 tries, 76430258 fired transitions, 1095 secs || 22745438 markings, 275759538 edges,
lola: 77 tries, 76777950 fired transitions, 1100 secs || 22847901 markings, 277003830 edges,
lola: 78 tries, 77125830 fired transitions, 1105 secs || 22949896 markings, 278239473 edges,
lola: 78 tries, 77473486 fired transitions, 1110 secs || 23051134 markings, 279470601 edges,
lola: 78 tries, 77821104 fired transitions, 1115 secs || 23153646 markings, 280714506 edges,
lola: 79 tries, 78169342 fired transitions, 1120 secs || 23256088 markings, 281957970 edges,
lola: 79 tries, 78517515 fired transitions, 1125 secs || 23358410 markings, 283202267 edges,
lola: 79 tries, 78865618 fired transitions, 1130 secs || 23460573 markings, 284438302 edges,
lola: 80 tries, 79213110 fired transitions, 1135 secs || 23562365 markings, 285670782 edges,
lola: 80 tries, 79560306 fired transitions, 1140 secs || 23664801 markings, 286911166 edges,
lola: 80 tries, 79907780 fired transitions, 1145 secs || 23767241 markings, 288157747 edges,
lola: 81 tries, 80256102 fired transitions, 1150 secs || 23870054 markings, 289404795 edges,
lola: 81 tries, 80604294 fired transitions, 1155 secs || 23972602 markings, 290649167 edges,
lola: 81 tries, 80951376 fired transitions, 1160 secs || 24073935 markings, 291880526 edges,
lola: 82 tries, 81298366 fired transitions, 1165 secs || 24175713 markings, 293116746 edges,
lola: 82 tries, 81645448 fired transitions, 1170 secs || 24277006 markings, 294347184 edges,
lola: 82 tries, 81992510 fired transitions, 1175 secs || 24379464 markings, 295590715 edges,
lola: 83 tries, 82339384 fired transitions, 1180 secs || 24482592 markings, 296844597 edges,
lola: 83 tries, 82686372 fired transitions, 1185 secs || 24585124 markings, 298085256 edges,
lola: 84 tries, 83033582 fired transitions, 1190 secs || 24687509 markings, 299332532 edges,
lola: 84 tries, 83380488 fired transitions, 1195 secs || 24791250 markings, 300589265 edges,
lola: 84 tries, 83727380 fired transitions, 1200 secs || 24894605 markings, 301842963 edges,
lola: 85 tries, 84074888 fired transitions, 1205 secs || 24994354 markings, 303074921 edges,
lola: 85 tries, 84422484 fired transitions, 1210 secs || 25094427 markings, 304290059 edges,
lola: 85 tries, 84770058 fired transitions, 1215 secs || 25195349 markings, 305514364 edges,
lola: 86 tries, 85117586 fired transitions, 1220 secs || 25297269 markings, 306757547 edges,
lola: 86 tries, 85465718 fired transitions, 1225 secs || 25399293 markings, 308005882 edges,
lola: 86 tries, 85814254 fired transitions, 1230 secs || 25499747 markings, 309240057 edges,
lola: 87 tries, 86162354 fired transitions, 1235 secs || 25603201 markings, 310497527 edges,
lola: 87 tries, 86510546 fired transitions, 1240 secs || 25706841 markings, 311758216 edges,
lola: 87 tries, 86858718 fired transitions, 1245 secs || 25810191 markings, 313015508 edges,
lola: 88 tries, 87207120 fired transitions, 1250 secs || 25914111 markings, 314279871 edges,
lola: 88 tries, 87554924 fired transitions, 1255 secs || 26017375 markings, 315534052 edges,
lola: 88 tries, 87901594 fired transitions, 1260 secs || 26120664 markings, 316786132 edges,
lola: 89 tries, 88249006 fired transitions, 1265 secs || 26223948 markings, 318041151 edges,
lola: 89 tries, 88596432 fired transitions, 1270 secs || 26326392 markings, 319283710 edges,
lola: 89 tries, 88943346 fired transitions, 1275 secs || 26428261 markings, 320524318 edges,
lola: 90 tries, 89290290 fired transitions, 1280 secs || 26530192 markings, 321762430 edges,
lola: 90 tries, 89637354 fired transitions, 1285 secs || 26633641 markings, 323018602 edges,
lola: 90 tries, 89984036 fired transitions, 1290 secs || 26737262 markings, 324288163 edges,
lola: 91 tries, 90331118 fired transitions, 1295 secs || 26833682 markings, 325639012 edges,
lola: 91 tries, 90678352 fired transitions, 1300 secs || 26936600 markings, 327005108 edges,
lola: 92 tries, 91025623 fired transitions, 1305 secs || 27039509 markings, 328357937 edges,
lola: 92 tries, 91374386 fired transitions, 1310 secs || 27132807 markings, 329592404 edges,
lola: 92 tries, 91722438 fired transitions, 1315 secs || 27227143 markings, 330827102 edges,
lola: 93 tries, 92070488 fired transitions, 1320 secs || 27319244 markings, 332048396 edges,
lola: 93 tries, 92419132 fired transitions, 1325 secs || 27413186 markings, 333287131 edges,
lola: 93 tries, 92767806 fired transitions, 1330 secs || 27508328 markings, 334543994 edges,
lola: 94 tries, 93116606 fired transitions, 1335 secs || 27603563 markings, 335796513 edges,
lola: 94 tries, 93465070 fired transitions, 1340 secs || 27696161 markings, 337011393 edges,
lola: 94 tries, 93813554 fired transitions, 1345 secs || 27788334 markings, 338228252 edges,
lola: 95 tries, 94161845 fired transitions, 1350 secs || 27889335 markings, 339560027 edges,
lola: 95 tries, 94509966 fired transitions, 1355 secs || 27990503 markings, 340893828 edges,
lola: 95 tries, 94858108 fired transitions, 1360 secs || 28091372 markings, 342223173 edges,
lola: 96 tries, 95206294 fired transitions, 1365 secs || 28191735 markings, 343554840 edges,
lola: 96 tries, 95553771 fired transitions, 1370 secs || 28292316 markings, 344879612 edges,
lola: 96 tries, 95900309 fired transitions, 1375 secs || 28392490 markings, 346202708 edges,
lola: 97 tries, 96246868 fired transitions, 1380 secs || 28492708 markings, 347525147 edges,
lola: 97 tries, 96593852 fired transitions, 1385 secs || 28587956 markings, 348781943 edges,
lola: 97 tries, 96940598 fired transitions, 1390 secs || 28683149 markings, 350053902 edges,
lola: 98 tries, 97287258 fired transitions, 1395 secs || 28782854 markings, 351368059 edges,
lola: 98 tries, 97634466 fired transitions, 1400 secs || 28877933 markings, 352618674 edges,
lola: 98 tries, 97981486 fired transitions, 1405 secs || 28971566 markings, 353845878 edges,
lola: 99 tries, 98328731 fired transitions, 1410 secs || 29064559 markings, 355071034 edges,
lola: 99 tries, 98676067 fired transitions, 1415 secs || 29157629 markings, 356301008 edges,
lola: 100 tries, 99023622 fired transitions, 1420 secs || 29249906 markings, 357525920 edges,
lola: 100 tries, 99370690 fired transitions, 1425 secs || 29342702 markings, 358747703 edges,
lola: 100 tries, 99717888 fired transitions, 1430 secs || 29435117 markings, 359970109 edges,
lola: 101 tries, 100064992 fired transitions, 1435 secs || 29527659 markings, 361188098 edges,
lola: 101 tries, 100412162 fired transitions, 1440 secs || 29620334 markings, 362409892 edges,
lola: 101 tries, 100760080 fired transitions, 1445 secs || 29712960 markings, 363622661 edges,
lola: 102 tries, 101108552 fired transitions, 1450 secs || 29805395 markings, 364835849 edges,
lola: 102 tries, 101457326 fired transitions, 1455 secs || 29897005 markings, 366052603 edges,
lola: 102 tries, 101806108 fired transitions, 1460 secs || 29990074 markings, 367288923 edges,
lola: 103 tries, 102154482 fired transitions, 1465 secs || 30081768 markings, 368502240 edges,
lola: 103 tries, 102503266 fired transitions, 1470 secs || 30173912 markings, 369711459 edges,
lola: 103 tries, 102852084 fired transitions, 1475 secs || 30266697 markings, 370927047 edges,
lola: 104 tries, 103200208 fired transitions, 1480 secs || 30358693 markings, 372134088 edges,
lola: 104 tries, 103548522 fired transitions, 1485 secs || 30451733 markings, 373368096 edges,
lola: 104 tries, 103897348 fired transitions, 1490 secs || 30545375 markings, 374594209 edges,
lola: 105 tries, 104246290 fired transitions, 1495 secs || 30638173 markings, 375819518 edges,
lola: 105 tries, 104595260 fired transitions, 1500 secs || 30730254 markings, 377039895 edges,
lola: 105 tries, 104944112 fired transitions, 1505 secs || 30823010 markings, 378260438 edges,
lola: 106 tries, 105292996 fired transitions, 1510 secs || 30915550 markings, 379480399 edges,
lola: 106 tries, 105641593 fired transitions, 1515 secs || 31008131 markings, 380699603 edges,
lola: 106 tries, 105990464 fired transitions, 1520 secs || 31091974 markings, 381807827 edges,
lola: 107 tries, 106339130 fired transitions, 1525 secs || 31178029 markings, 382939495 edges,
lola: 107 tries, 106687422 fired transitions, 1530 secs || 31270706 markings, 384152434 edges,
lola: 108 tries, 107035562 fired transitions, 1535 secs || 31363046 markings, 385366621 edges,
lola: 108 tries, 107383525 fired transitions, 1540 secs || 31459504 markings, 386636039 edges,
lola: 108 tries, 107731762 fired transitions, 1545 secs || 31558955 markings, 387952932 edges,
lola: 109 tries, 108080018 fired transitions, 1550 secs || 31658862 markings, 389262831 edges,
lola: 109 tries, 108427936 fired transitions, 1555 secs || 31758850 markings, 390586994 edges,
lola: 109 tries, 108775634 fired transitions, 1560 secs || 31858546 markings, 391899835 edges,
lola: 110 tries, 109122752 fired transitions, 1565 secs || 31958538 markings, 393210254 edges,
lola: 110 tries, 109469428 fired transitions, 1570 secs || 32058934 markings, 394533144 edges,
lola: 110 tries, 109816242 fired transitions, 1575 secs || 32158906 markings, 395844029 edges,
lola: 111 tries, 110162704 fired transitions, 1580 secs || 32258952 markings, 397158241 edges,
lola: 111 tries, 110509924 fired transitions, 1585 secs || 32351650 markings, 398383295 edges,
lola: 111 tries, 110857332 fired transitions, 1590 secs || 32444556 markings, 399615522 edges,
lola: 112 tries, 111205030 fired transitions, 1595 secs || 32537062 markings, 400843493 edges,
lola: 112 tries, 111552755 fired transitions, 1600 secs || 32629884 markings, 402065899 edges,
lola: 112 tries, 111900658 fired transitions, 1605 secs || 32722572 markings, 403285506 edges,
lola: 113 tries, 112248666 fired transitions, 1610 secs || 32814483 markings, 404502442 edges,
lola: 113 tries, 112596682 fired transitions, 1615 secs || 32906595 markings, 405716763 edges,
lola: 113 tries, 112944472 fired transitions, 1620 secs || 32998971 markings, 406924477 edges,
lola: 114 tries, 113292582 fired transitions, 1625 secs || 33090997 markings, 408134406 edges,
lola: 114 tries, 113639985 fired transitions, 1630 secs || 33190621 markings, 409451453 edges,
lola: 114 tries, 113987672 fired transitions, 1635 secs || 33290109 markings, 410755137 edges,
lola: 115 tries, 114335316 fired transitions, 1640 secs || 33384028 markings, 411998474 edges,
lola: 115 tries, 114683302 fired transitions, 1645 secs || 33476134 markings, 413209962 edges,
lola: 116 tries, 115031188 fired transitions, 1650 secs || 33568157 markings, 414424166 edges,
lola: 116 tries, 115378624 fired transitions, 1655 secs || 33659515 markings, 415622846 edges,
lola: 116 tries, 115726637 fired transitions, 1660 secs || 33750917 markings, 416824465 edges,
lola: 117 tries, 116075284 fired transitions, 1665 secs || 33843417 markings, 418044341 edges,
lola: 117 tries, 116423788 fired transitions, 1670 secs || 33942641 markings, 419353359 edges,
lola: 117 tries, 116772328 fired transitions, 1675 secs || 34040874 markings, 420646480 edges,
lola: 118 tries, 117120956 fired transitions, 1680 secs || 34132638 markings, 421855178 edges,
lola: 118 tries, 117469202 fired transitions, 1685 secs || 34224392 markings, 423052182 edges,
lola: 118 tries, 117817526 fired transitions, 1690 secs || 34315309 markings, 424253503 edges,
lola: 119 tries, 118166036 fired transitions, 1695 secs || 34406056 markings, 425456372 edges,
lola: 119 tries, 118514354 fired transitions, 1700 secs || 34497078 markings, 426655910 edges,
lola: 119 tries, 118862794 fired transitions, 1705 secs || 34588238 markings, 427862266 edges,
lola: 120 tries, 119211430 fired transitions, 1710 secs || 34680325 markings, 429072287 edges,
lola: 120 tries, 119559285 fired transitions, 1715 secs || 34773647 markings, 430297572 edges,
lola: 120 tries, 119906144 fired transitions, 1720 secs || 34874581 markings, 431636621 edges,
lola: 121 tries, 120253090 fired transitions, 1725 secs || 34971350 markings, 432921965 edges,
lola: 121 tries, 120600530 fired transitions, 1730 secs || 35062994 markings, 434134964 edges,
lola: 121 tries, 120948108 fired transitions, 1735 secs || 35154975 markings, 435348846 edges,
lola: 122 tries, 121296622 fired transitions, 1740 secs || 35246729 markings, 436558294 edges,
lola: 122 tries, 121645158 fired transitions, 1745 secs || 35338174 markings, 437774158 edges,
lola: 122 tries, 121993054 fired transitions, 1750 secs || 35436525 markings, 439072011 edges,
lola: 123 tries, 122340834 fired transitions, 1755 secs || 35535992 markings, 440374563 edges,
lola: 123 tries, 122688150 fired transitions, 1760 secs || 35635492 markings, 441677658 edges,
lola: 124 tries, 123035395 fired transitions, 1765 secs || 35735134 markings, 442986451 edges,
lola: 124 tries, 123382750 fired transitions, 1770 secs || 35834445 markings, 444293246 edges,
lola: 124 tries, 123730712 fired transitions, 1775 secs || 35933918 markings, 445604279 edges,
lola: 125 tries, 124078602 fired transitions, 1780 secs || 36032805 markings, 446915816 edges,
lola: 125 tries, 124425707 fired transitions, 1785 secs || 36131581 markings, 448220481 edges,
lola: 125 tries, 124772946 fired transitions, 1790 secs || 36223967 markings, 449444741 edges,
lola: 126 tries, 125119958 fired transitions, 1795 secs || 36316552 markings, 450665283 edges,
lola: 126 tries, 125467102 fired transitions, 1800 secs || 36408823 markings, 451878229 edges,
lola: 126 tries, 125814162 fired transitions, 1805 secs || 36500845 markings, 453086037 edges,
lola: 127 tries, 126161364 fired transitions, 1810 secs || 36592830 markings, 454308350 edges,
lola: 127 tries, 126509072 fired transitions, 1815 secs || 36683337 markings, 455515259 edges,
lola: 127 tries, 126829202 fired transitions, 1820 secs || 36774832 markings, 456722281 edges,
lola: 128 tries, 127155692 fired transitions, 1825 secs || 36866415 markings, 457924090 edges,
lola: 128 tries, 127503554 fired transitions, 1830 secs || 36958937 markings, 459122814 edges,
lola: 128 tries, 127851676 fired transitions, 1835 secs || 37050603 markings, 460326481 edges,
lola: 129 tries, 128199498 fired transitions, 1840 secs || 37141640 markings, 461532833 edges,
lola: 129 tries, 128547830 fired transitions, 1845 secs || 37233440 markings, 462737813 edges,
lola: 129 tries, 128896386 fired transitions, 1850 secs || 37324641 markings, 463934235 edges,
lola: 130 tries, 129245180 fired transitions, 1855 secs || 37416331 markings, 465156255 edges,
lola: 130 tries, 129594284 fired transitions, 1860 secs || 37507315 markings, 466355760 edges,
lola: 130 tries, 129942398 fired transitions, 1865 secs || 37606183 markings, 467657985 edges,
lola: 131 tries, 130291318 fired transitions, 1870 secs || 37698923 markings, 468877263 edges,
lola: 131 tries, 130638970 fired transitions, 1875 secs || 37798640 markings, 470196630 edges,
lola: 131 tries, 130986750 fired transitions, 1880 secs || 37896764 markings, 471495819 edges,
lola: 132 tries, 131334324 fired transitions, 1885 secs || 37995249 markings, 472801430 edges,
lola: 132 tries, 131681946 fired transitions, 1890 secs || 38094372 markings, 474105274 edges,
lola: 133 tries, 132029788 fired transitions, 1895 secs || 38193079 markings, 475401985 edges,
lola: 133 tries, 132378036 fired transitions, 1900 secs || 38291613 markings, 476693789 edges,
lola: 133 tries, 132725534 fired transitions, 1905 secs || 38389998 markings, 477981479 edges,
lola: 134 tries, 133072876 fired transitions, 1910 secs || 38488665 markings, 479277471 edges,
lola: 134 tries, 133420290 fired transitions, 1915 secs || 38586808 markings, 480573408 edges,
lola: 134 tries, 133767640 fired transitions, 1920 secs || 38685248 markings, 481862808 edges,
lola: 135 tries, 134115170 fired transitions, 1925 secs || 38783694 markings, 483161595 edges,
lola: 135 tries, 134463278 fired transitions, 1930 secs || 38882165 markings, 484466235 edges,
lola: 135 tries, 134811508 fired transitions, 1935 secs || 38980660 markings, 485757474 edges,
lola: 136 tries, 135159838 fired transitions, 1940 secs || 39078564 markings, 487057134 edges,
lola: 136 tries, 135508276 fired transitions, 1945 secs || 39169396 markings, 488260102 edges,
lola: 136 tries, 135856842 fired transitions, 1950 secs || 39260104 markings, 489464895 edges,
lola: 137 tries, 136205034 fired transitions, 1955 secs || 39353883 markings, 490705875 edges,
lola: 137 tries, 136551882 fired transitions, 1960 secs || 39452246 markings, 491997947 edges,
lola: 137 tries, 136898578 fired transitions, 1965 secs || 39550950 markings, 493292142 edges,
lola: 138 tries, 137246428 fired transitions, 1970 secs || 39649722 markings, 494592773 edges,
lola: 138 tries, 137594618 fired transitions, 1975 secs || 39743297 markings, 495832023 edges,
lola: 138 tries, 137942960 fired transitions, 1980 secs || 39834441 markings, 497031614 edges,
lola: 139 tries, 138291010 fired transitions, 1985 secs || 39925268 markings, 498223319 edges,
lola: 139 tries, 138637949 fired transitions, 1990 secs || 40016453 markings, 499425350 edges,
lola: 139 tries, 138985768 fired transitions, 1995 secs || 40108096 markings, 500627235 edges,
lola: 140 tries, 139333460 fired transitions, 2000 secs || 40200210 markings, 501845742 edges,
lola: 140 tries, 139680754 fired transitions, 2005 secs || 40296522 markings, 503117515 edges,
lola: 141 tries, 140028338 fired transitions, 2010 secs || 40390604 markings, 504366021 edges,
lola: 141 tries, 140375881 fired transitions, 2015 secs || 40483518 markings, 505583130 edges,
lola: 141 tries, 140723150 fired transitions, 2020 secs || 40581945 markings, 506877271 edges,
lola: 142 tries, 141071218 fired transitions, 2025 secs || 40680664 markings, 508173093 edges,
lola: 142 tries, 141419340 fired transitions, 2030 secs || 40779961 markings, 509488991 edges,
lola: 142 tries, 141766866 fired transitions, 2035 secs || 40878608 markings, 510806007 edges,
lola: 143 tries, 142114792 fired transitions, 2040 secs || 40977335 markings, 512112548 edges,
lola: 143 tries, 142462959 fired transitions, 2045 secs || 41075925 markings, 513426188 edges,
lola: 143 tries, 142809364 fired transitions, 2050 secs || 41174820 markings, 514728685 edges,
lola: 144 tries, 143155852 fired transitions, 2055 secs || 41273527 markings, 516043142 edges,
lola: 144 tries, 143502130 fired transitions, 2060 secs || 41373174 markings, 517360716 edges,
lola: 144 tries, 143848472 fired transitions, 2065 secs || 41472014 markings, 518665528 edges,
lola: 145 tries, 144195814 fired transitions, 2070 secs || 41569452 markings, 519951187 edges,
lola: 145 tries, 144543302 fired transitions, 2075 secs || 41668189 markings, 521252294 edges,
lola: 145 tries, 144891212 fired transitions, 2080 secs || 41767942 markings, 522563602 edges,
lola: 146 tries, 145239025 fired transitions, 2085 secs || 41865598 markings, 523853662 edges,
lola: 146 tries, 145586946 fired transitions, 2090 secs || 41963751 markings, 525142848 edges,
lola: 146 tries, 145934908 fired transitions, 2095 secs || 42061939 markings, 526441596 edges,
lola: 147 tries, 146282936 fired transitions, 2100 secs || 42159986 markings, 527731653 edges,
lola: 147 tries, 146631052 fired transitions, 2105 secs || 42259247 markings, 529049145 edges,
lola: 147 tries, 146979088 fired transitions, 2110 secs || 42357600 markings, 530360289 edges,
lola: 148 tries, 147327036 fired transitions, 2115 secs || 42456346 markings, 531661670 edges,
lola: 148 tries, 147674804 fired transitions, 2120 secs || 42553828 markings, 532949875 edges,
lola: 149 tries, 148022410 fired transitions, 2125 secs || 42650933 markings, 534230747 edges,
lola: 149 tries, 148370514 fired transitions, 2130 secs || 42743946 markings, 535455913 edges,
lola: 149 tries, 148718426 fired transitions, 2135 secs || 42842703 markings, 536765561 edges,
lola: 150 tries, 149066498 fired transitions, 2140 secs || 42942991 markings, 538088721 edges,
lola: 150 tries, 149413412 fired transitions, 2145 secs || 43043910 markings, 539412173 edges,
lola: 150 tries, 149759980 fired transitions, 2150 secs || 43144778 markings, 540738374 edges,
lola: 151 tries, 150107218 fired transitions, 2155 secs || 43246039 markings, 542084482 edges,
lola: 151 tries, 150454170 fired transitions, 2160 secs || 43345801 markings, 543391923 edges,
lola: 151 tries, 150801636 fired transitions, 2165 secs || 43444825 markings, 544700755 edges,
lola: 152 tries, 151148950 fired transitions, 2170 secs || 43543841 markings, 546005370 edges,
lola: 152 tries, 151497258 fired transitions, 2175 secs || 43637594 markings, 547247217 edges,
lola: 152 tries, 151846404 fired transitions, 2180 secs || 43727685 markings, 548450507 edges,
lola: 153 tries, 152194268 fired transitions, 2185 secs || 43829234 markings, 549786598 edges,
lola: 153 tries, 152541690 fired transitions, 2190 secs || 43930587 markings, 551139562 edges,
lola: 153 tries, 152889140 fired transitions, 2195 secs || 44032569 markings, 552487683 edges,
lola: 154 tries, 153237642 fired transitions, 2200 secs || 44127779 markings, 553737848 edges,
lola: 154 tries, 153586096 fired transitions, 2205 secs || 44226258 markings, 555036079 edges,
lola: 154 tries, 153934296 fired transitions, 2210 secs || 44324895 markings, 556336140 edges,
lola: 155 tries, 154282526 fired transitions, 2215 secs || 44423715 markings, 557648840 edges,
lola: 155 tries, 154630788 fired transitions, 2220 secs || 44522594 markings, 558945930 edges,
lola: 155 tries, 154979014 fired transitions, 2225 secs || 44622137 markings, 560266664 edges,
lola: 156 tries, 155326944 fired transitions, 2230 secs || 44721006 markings, 561572243 edges,
lola: 156 tries, 155674462 fired transitions, 2235 secs || 44819943 markings, 562880058 edges,
lola: 157 tries, 156021530 fired transitions, 2240 secs || 44918780 markings, 564177481 edges,
lola: 157 tries, 156368940 fired transitions, 2245 secs || 45017340 markings, 565470289 edges,
lola: 157 tries, 156716702 fired transitions, 2250 secs || 45117367 markings, 566790761 edges,
lola: 158 tries, 157064660 fired transitions, 2255 secs || 45216470 markings, 568114787 edges,
lola: 158 tries, 157412266 fired transitions, 2260 secs || 45315436 markings, 569415154 edges,
lola: 158 tries, 157759966 fired transitions, 2265 secs || 45407020 markings, 570622163 edges,
lola: 159 tries, 158107027 fired transitions, 2270 secs || 45505409 markings, 571916530 edges,
lola: 159 tries, 158454990 fired transitions, 2275 secs || 45597418 markings, 573124104 edges,
lola: 159 tries, 158802702 fired transitions, 2280 secs || 45695509 markings, 574422554 edges,
lola: 160 tries, 159150738 fired transitions, 2285 secs || 45787260 markings, 575636818 edges,
lola: 160 tries, 159497998 fired transitions, 2290 secs || 45877813 markings, 576829509 edges,
lola: 160 tries, 159845579 fired transitions, 2295 secs || 45969011 markings, 578017554 edges,
lola: 161 tries, 160193452 fired transitions, 2300 secs || 46060625 markings, 579215792 edges,
lola: 161 tries, 160541518 fired transitions, 2305 secs || 46152549 markings, 580422594 edges,
lola: 161 tries, 160889389 fired transitions, 2310 secs || 46244027 markings, 581624425 edges,
lola: 162 tries, 161236880 fired transitions, 2315 secs || 46335418 markings, 582828874 edges,
lola: 162 tries, 161584320 fired transitions, 2320 secs || 46427117 markings, 584031434 edges,
lola: 162 tries, 161932498 fired transitions, 2325 secs || 46519428 markings, 585241525 edges,
lola: 163 tries, 162280396 fired transitions, 2330 secs || 46613626 markings, 586480647 edges,
lola: 163 tries, 162628040 fired transitions, 2335 secs || 46711900 markings, 587783406 edges,
lola: 163 tries, 162975732 fired transitions, 2340 secs || 46809655 markings, 589075082 edges,
lola: 164 tries, 163323228 fired transitions, 2345 secs || 46908692 markings, 590376187 edges,
lola: 164 tries, 163670240 fired transitions, 2350 secs || 47007098 markings, 591678411 edges,
lola: 165 tries, 164016884 fired transitions, 2355 secs || 47104884 markings, 592968780 edges,
lola: 165 tries, 164363550 fired transitions, 2360 secs || 47203742 markings, 594271231 edges,
lola: 165 tries, 164710331 fired transitions, 2365 secs || 47301779 markings, 595572202 edges,
lola: 166 tries, 165057514 fired transitions, 2370 secs || 47400281 markings, 596865663 edges,
lola: 166 tries, 165404964 fired transitions, 2375 secs || 47498445 markings, 598155477 edges,
lola: 166 tries, 165752362 fired transitions, 2380 secs || 47594551 markings, 599432896 edges,
lola: 167 tries, 166099338 fired transitions, 2385 secs || 47690826 markings, 600703426 edges,
lola: 167 tries, 166447084 fired transitions, 2390 secs || 47784127 markings, 601947927 edges,
lola: 167 tries, 166794637 fired transitions, 2395 secs || 47875787 markings, 603171126 edges,
lola: 168 tries, 167142290 fired transitions, 2400 secs || 47967507 markings, 604390313 edges,
lola: 168 tries, 167489718 fired transitions, 2405 secs || 48059746 markings, 605603677 edges,
lola: 168 tries, 167837510 fired transitions, 2410 secs || 48152283 markings, 606817233 edges,
lola: 169 tries, 168186118 fired transitions, 2415 secs || 48244585 markings, 608046197 edges,
lola: 169 tries, 168534306 fired transitions, 2420 secs || 48340798 markings, 609311180 edges,
lola: 169 tries, 168882234 fired transitions, 2425 secs || 48440238 markings, 610615620 edges,
lola: 170 tries, 169230474 fired transitions, 2430 secs || 48539077 markings, 611916229 edges,
lola: 170 tries, 169578552 fired transitions, 2435 secs || 48637454 markings, 613217823 edges,
lola: 170 tries, 169926846 fired transitions, 2440 secs || 48735864 markings, 614518634 edges,
lola: 171 tries, 170274472 fired transitions, 2445 secs || 48828408 markings, 615744551 edges,
lola: 171 tries, 170622415 fired transitions, 2450 secs || 48920726 markings, 616965530 edges,
lola: 171 tries, 170970414 fired transitions, 2455 secs || 49013202 markings, 618185117 edges,
lola: 172 tries, 171318030 fired transitions, 2460 secs || 49109990 markings, 619459806 edges,
lola: 172 tries, 171665936 fired transitions, 2465 secs || 49208727 markings, 620776879 edges,
lola: 173 tries, 172013872 fired transitions, 2470 secs || 49308330 markings, 622096957 edges,
lola: 173 tries, 172361802 fired transitions, 2475 secs || 49407529 markings, 623410927 edges,
lola: 173 tries, 172709508 fired transitions, 2480 secs || 49506277 markings, 624713015 edges,
lola: 174 tries, 173056944 fired transitions, 2485 secs || 49604681 markings, 626012159 edges,
lola: 174 tries, 173404498 fired transitions, 2490 secs || 49703214 markings, 627306361 edges,
lola: 174 tries, 173751810 fired transitions, 2495 secs || 49801726 markings, 628604704 edges,
lola: 175 tries, 174099140 fired transitions, 2500 secs || 49899764 markings, 629898537 edges,
lola: 175 tries, 174446604 fired transitions, 2505 secs || 49998560 markings, 631194457 edges,
lola: 175 tries, 174793988 fired transitions, 2510 secs || 50096719 markings, 632480455 edges,
lola: 176 tries, 175141136 fired transitions, 2515 secs || 50194976 markings, 633778260 edges,
lola: 176 tries, 175488910 fired transitions, 2520 secs || 50292989 markings, 635064436 edges,
lola: 176 tries, 175837375 fired transitions, 2525 secs || 50391101 markings, 636359507 edges,
lola: 177 tries, 176184748 fired transitions, 2530 secs || 50486730 markings, 637623672 edges,
lola: 177 tries, 176531884 fired transitions, 2535 secs || 50582650 markings, 638886071 edges,
lola: 177 tries, 176878948 fired transitions, 2540 secs || 50678261 markings, 640146462 edges,
lola: 178 tries, 177226110 fired transitions, 2545 secs || 50772651 markings, 641393521 edges,
lola: 178 tries, 177573466 fired transitions, 2550 secs || 50864862 markings, 642617029 edges,
lola: 178 tries, 177920902 fired transitions, 2555 secs || 50957468 markings, 643835873 edges,
lola: 179 tries, 178267964 fired transitions, 2560 secs || 51052366 markings, 645091975 edges,
lola: 179 tries, 178615472 fired transitions, 2565 secs || 51148058 markings, 646349755 edges,
lola: 179 tries, 178963032 fired transitions, 2570 secs || 51242943 markings, 647602445 edges,
lola: 180 tries, 179310188 fired transitions, 2575 secs || 51338100 markings, 648852024 edges,
lola: 180 tries, 179657044 fired transitions, 2580 secs || 51433912 markings, 650106994 edges,
lola: 181 tries, 180003992 fired transitions, 2585 secs || 51528621 markings, 651348141 edges,
lola: 181 tries, 180350944 fired transitions, 2590 secs || 51623043 markings, 652596513 edges,
lola: 181 tries, 180697861 fired transitions, 2595 secs || 51717354 markings, 653841091 edges,
lola: 182 tries, 181044851 fired transitions, 2600 secs || 51812506 markings, 655093221 edges,
lola: 182 tries, 181392152 fired transitions, 2605 secs || 51908818 markings, 656359723 edges,
lola: 182 tries, 181739814 fired transitions, 2610 secs || 52002943 markings, 657612747 edges,
lola: 183 tries, 182086939 fired transitions, 2615 secs || 52097348 markings, 658855589 edges,
lola: 183 tries, 182435054 fired transitions, 2620 secs || 52192625 markings, 660112253 edges,
lola: 183 tries, 182784276 fired transitions, 2625 secs || 52287196 markings, 661358907 edges,
lola: 184 tries, 183133402 fired transitions, 2630 secs || 52380858 markings, 662599446 edges,
lola: 184 tries, 183483604 fired transitions, 2635 secs || 52474547 markings, 663849461 edges,
lola: 184 tries, 183833588 fired transitions, 2640 secs || 52568634 markings, 665090625 edges,
lola: 185 tries, 184183370 fired transitions, 2645 secs || 52662653 markings, 666328895 edges,
lola: 185 tries, 184533157 fired transitions, 2650 secs || 52756831 markings, 667567869 edges,
lola: 185 tries, 184882038 fired transitions, 2655 secs || 52851191 markings, 668801216 edges,
lola: 186 tries, 185231818 fired transitions, 2660 secs || 52944603 markings, 670040854 edges,
lola: 186 tries, 185581704 fired transitions, 2665 secs || 53038069 markings, 671274096 edges,
lola: 186 tries, 185931860 fired transitions, 2670 secs || 53131693 markings, 672514756 edges,
lola: 187 tries, 186281974 fired transitions, 2675 secs || 53225450 markings, 673748909 edges,
lola: 187 tries, 186631398 fired transitions, 2680 secs || 53319914 markings, 675002639 edges,
lola: 187 tries, 186980136 fired transitions, 2685 secs || 53412638 markings, 676224355 edges,
lola: 188 tries, 187329080 fired transitions, 2690 secs || 53504225 markings, 677430226 edges,
lola: 188 tries, 187678206 fired transitions, 2695 secs || 53597465 markings, 678656545 edges,
lola: 189 tries, 188027114 fired transitions, 2700 secs || 53691359 markings, 679893041 edges,
lola: 189 tries, 188376038 fired transitions, 2705 secs || 53785747 markings, 681140763 edges,
lola: 189 tries, 188725010 fired transitions, 2710 secs || 53879660 markings, 682375454 edges,
lola: 190 tries, 189074036 fired transitions, 2715 secs || 53973092 markings, 683605288 edges,
lola: 190 tries, 189394476 fired transitions, 2720 secs || 54067122 markings, 684846466 edges,
lola: 190 tries, 189722020 fired transitions, 2725 secs || 54160783 markings, 686078684 edges,
lola: 191 tries, 190070706 fired transitions, 2730 secs || 54254071 markings, 687309025 edges,
lola: 191 tries, 190419083 fired transitions, 2735 secs || 54345736 markings, 688516336 edges,
lola: 191 tries, 190768460 fired transitions, 2740 secs || 54437627 markings, 689740529 edges,
lola: 192 tries, 191116900 fired transitions, 2745 secs || 54529671 markings, 690955247 edges,
lola: 192 tries, 191466258 fired transitions, 2750 secs || 54621325 markings, 692163399 edges,
lola: 192 tries, 191815904 fired transitions, 2755 secs || 54712990 markings, 693369297 edges,
lola: 193 tries, 192166120 fired transitions, 2760 secs || 54804356 markings, 694570536 edges,
lola: 193 tries, 192514928 fired transitions, 2765 secs || 54896270 markings, 695773213 edges,
lola: 193 tries, 192863522 fired transitions, 2770 secs || 54988304 markings, 696978453 edges,
lola: 194 tries, 193211798 fired transitions, 2775 secs || 55078989 markings, 698183161 edges,
lola: 194 tries, 193559516 fired transitions, 2780 secs || 55171503 markings, 699407583 edges,
lola: 194 tries, 193907110 fired transitions, 2785 secs || 55265447 markings, 700649951 edges,
lola: 195 tries, 194254630 fired transitions, 2790 secs || 55359043 markings, 701881953 edges,
lola: 195 tries, 194602318 fired transitions, 2795 secs || 55452303 markings, 703118268 edges,
lola: 195 tries, 194950394 fired transitions, 2800 secs || 55543976 markings, 704324204 edges,
lola: 196 tries, 195298110 fired transitions, 2805 secs || 55636684 markings, 705541821 edges,
lola: 196 tries, 195645770 fired transitions, 2810 secs || 55730295 markings, 706778641 edges,
lola: 196 tries, 195993256 fired transitions, 2815 secs || 55823798 markings, 708022584 edges,
lola: 197 tries, 196341194 fired transitions, 2820 secs || 55915456 markings, 709223835 edges,
lola: 197 tries, 196689180 fired transitions, 2825 secs || 56007057 markings, 710436908 edges,
lola: 198 tries, 197036944 fired transitions, 2830 secs || 56098987 markings, 711638937 edges,
lola: 198 tries, 197384310 fired transitions, 2835 secs || 56192883 markings, 712871870 edges,
lola: 198 tries, 197731301 fired transitions, 2840 secs || 56290905 markings, 714161542 edges,
lola: 199 tries, 198078444 fired transitions, 2845 secs || 56388589 markings, 715445774 edges,
lola: 199 tries, 198425692 fired transitions, 2850 secs || 56485656 markings, 716724150 edges,
lola: 199 tries, 198773332 fired transitions, 2855 secs || 56578522 markings, 717940035 edges,
lola: 200 tries, 199120930 fired transitions, 2860 secs || 56672361 markings, 719180941 edges,
lola: 200 tries, 199468126 fired transitions, 2865 secs || 56763992 markings, 720391519 edges,
lola: 200 tries, 199814920 fired transitions, 2870 secs || 56861821 markings, 721682945 edges,
lola: 201 tries, 200162104 fired transitions, 2875 secs || 56952986 markings, 722886463 edges,
lola: 201 tries, 200509286 fired transitions, 2880 secs || 57044447 markings, 724090147 edges,
lola: 201 tries, 200857042 fired transitions, 2885 secs || 57137670 markings, 725309032 edges,
lola: 202 tries, 201204603 fired transitions, 2890 secs || 57230606 markings, 726528601 edges,
lola: 202 tries, 201553158 fired transitions, 2895 secs || 57323248 markings, 727765037 edges,
lola: 202 tries, 201901562 fired transitions, 2900 secs || 57415915 markings, 728985666 edges,
lola: 203 tries, 202249490 fired transitions, 2905 secs || 57510538 markings, 730238199 edges,
lola: 203 tries, 202597886 fired transitions, 2910 secs || 57604479 markings, 731489446 edges,
lola: 203 tries, 202945658 fired transitions, 2915 secs || 57697691 markings, 732729183 edges,
lola: 204 tries, 203294119 fired transitions, 2920 secs || 57789025 markings, 733929531 edges,
lola: 204 tries, 203642306 fired transitions, 2925 secs || 57880448 markings, 735128753 edges,
lola: 204 tries, 203990834 fired transitions, 2930 secs || 57971728 markings, 736337604 edges,
lola: 205 tries, 204339342 fired transitions, 2935 secs || 58063227 markings, 737533167 edges,
lola: 205 tries, 204687888 fired transitions, 2940 secs || 58154534 markings, 738730015 edges,
lola: 206 tries, 205036446 fired transitions, 2945 secs || 58245175 markings, 739926208 edges,
lola: 206 tries, 205384872 fired transitions, 2950 secs || 58336425 markings, 741128400 edges,
lola: 206 tries, 205732954 fired transitions, 2955 secs || 58427253 markings, 742326413 edges,
lola: 207 tries, 206080004 fired transitions, 2960 secs || 58517403 markings, 743531734 edges,
lola: 207 tries, 206426915 fired transitions, 2965 secs || 58608010 markings, 744731088 edges,
lola: 207 tries, 206774118 fired transitions, 2970 secs || 58701299 markings, 745961438 edges,
lola: 208 tries, 207121616 fired transitions, 2975 secs || 58792919 markings, 747171225 edges,
lola: 208 tries, 207468732 fired transitions, 2980 secs || 58884607 markings, 748381907 edges,
lola: 208 tries, 207815745 fired transitions, 2985 secs || 58979342 markings, 749630111 edges,
lola: 209 tries, 208163145 fired transitions, 2990 secs || 59070607 markings, 750833764 edges,
lola: 209 tries, 208510920 fired transitions, 2995 secs || 59164991 markings, 752083088 edges,
lola: 209 tries, 208858524 fired transitions, 3000 secs || 59262053 markings, 753362380 edges,
lola: 210 tries, 209206088 fired transitions, 3005 secs || 59360092 markings, 754655476 edges,
lola: 210 tries, 209553499 fired transitions, 3010 secs || 59458524 markings, 755957978 edges,
lola: 210 tries, 209900598 fired transitions, 3015 secs || 59557340 markings, 757264174 edges,
lola: 211 tries, 210247102 fired transitions, 3020 secs || 59645335 markings, 758416418 edges,
lola: 211 tries, 210594666 fired transitions, 3025 secs || 59736833 markings, 759618180 edges,
lola: 211 tries, 210941652 fired transitions, 3030 secs || 59835593 markings, 760916034 edges,
lola: 212 tries, 211288548 fired transitions, 3035 secs || 59932721 markings, 762186294 edges,
lola: 212 tries, 211635441 fired transitions, 3040 secs || 60030463 markings, 763483621 edges,
lola: 212 tries, 211983156 fired transitions, 3045 secs || 60127509 markings, 764766843 edges,
lola: 213 tries, 212331356 fired transitions, 3050 secs || 60225740 markings, 766051728 edges,
lola: 213 tries, 212679504 fired transitions, 3055 secs || 60324417 markings, 767367553 edges,
lola: 214 tries, 213026877 fired transitions, 3060 secs || 60422103 markings, 768660215 edges,
lola: 214 tries, 213374340 fired transitions, 3065 secs || 60519895 markings, 769945289 edges,
lola: 214 tries, 213722100 fired transitions, 3070 secs || 60613548 markings, 771173703 edges,
lola: 215 tries, 214069964 fired transitions, 3075 secs || 60703616 markings, 772364654 edges,
lola: 215 tries, 214417934 fired transitions, 3080 secs || 60798530 markings, 773612948 edges,
lola: 215 tries, 214765958 fired transitions, 3085 secs || 60896346 markings, 774901405 edges,
lola: 216 tries, 215114224 fired transitions, 3090 secs || 60993301 markings, 776176080 edges,
lola: 216 tries, 215461910 fired transitions, 3095 secs || 61092101 markings, 777485689 edges,
lola: 216 tries, 215810014 fired transitions, 3100 secs || 61187146 markings, 778727930 edges,
lola: 217 tries, 216157762 fired transitions, 3105 secs || 61277661 markings, 779922431 edges,
lola: 217 tries, 216505402 fired transitions, 3110 secs || 61368535 markings, 781115486 edges,
lola: 217 tries, 216852733 fired transitions, 3115 secs || 61460999 markings, 782336490 edges,
lola: 218 tries, 217199908 fired transitions, 3120 secs || 61554328 markings, 783566755 edges,
lola: 218 tries, 217547128 fired transitions, 3125 secs || 61646768 markings, 784786515 edges,
lola: 218 tries, 217894688 fired transitions, 3130 secs || 61739628 markings, 785998112 edges,
lola: 219 tries, 218243014 fired transitions, 3135 secs || 61831536 markings, 787204955 edges,
lola: 219 tries, 218591309 fired transitions, 3140 secs || 61923677 markings, 788417007 edges,
lola: 219 tries, 218939331 fired transitions, 3145 secs || 62015380 markings, 789625994 edges,
lola: 220 tries, 219287657 fired transitions, 3150 secs || 62107085 markings, 790830078 edges,
lola: 220 tries, 219635912 fired transitions, 3155 secs || 62199495 markings, 792047668 edges,
lola: 220 tries, 219984188 fired transitions, 3160 secs || 62291355 markings, 793257923 edges,
lola: 221 tries, 220332768 fired transitions, 3165 secs || 62383042 markings, 794470780 edges,
lola: 221 tries, 220681506 fired transitions, 3170 secs || 62474730 markings, 795693723 edges,
lola: 222 tries, 221030057 fired transitions, 3175 secs || 62565816 markings, 796895950 edges,
lola: 222 tries, 221378579 fired transitions, 3180 secs || 62657314 markings, 798098769 edges,
lola: 222 tries, 221727148 fired transitions, 3185 secs || 62748852 markings, 799305001 edges,
lola: 223 tries, 222075702 fired transitions, 3190 secs || 62840662 markings, 800517862 edges,
lola: 223 tries, 222424212 fired transitions, 3195 secs || 62931979 markings, 801713960 edges,
lola: 223 tries, 222772442 fired transitions, 3200 secs || 63023186 markings, 802909984 edges,
lola: 224 tries, 223120696 fired transitions, 3205 secs || 63114169 markings, 804107732 edges,
lola: 224 tries, 223469062 fired transitions, 3210 secs || 63204780 markings, 805305325 edges,
lola: 224 tries, 223817560 fired transitions, 3215 secs || 63296338 markings, 806498539 edges,
lola: 225 tries, 224165668 fired transitions, 3220 secs || 63387222 markings, 807700532 edges,
lola: 225 tries, 224513904 fired transitions, 3225 secs || 63478742 markings, 808906379 edges,
lola: 225 tries, 224862298 fired transitions, 3230 secs || 63569674 markings, 810106840 edges,
lola: 226 tries, 225210422 fired transitions, 3235 secs || 63660195 markings, 811301919 edges,
lola: 226 tries, 225558450 fired transitions, 3240 secs || 63751282 markings, 812499028 edges,
lola: 226 tries, 225906787 fired transitions, 3245 secs || 63841599 markings, 813701769 edges,
lola: 227 tries, 226255302 fired transitions, 3250 secs || 63932551 markings, 814904067 edges,
lola: 227 tries, 226604067 fired transitions, 3255 secs || 64023626 markings, 816101502 edges,
lola: 227 tries, 226952570 fired transitions, 3260 secs || 64114612 markings, 817288543 edges,
lola: 228 tries, 227300534 fired transitions, 3265 secs || 64205121 markings, 818490329 edges,
lola: 228 tries, 227648374 fired transitions, 3270 secs || 64296253 markings, 819685315 edges,
lola: 228 tries, 227995994 fired transitions, 3275 secs || 64386989 markings, 820877853 edges,
lola: 229 tries, 228343752 fired transitions, 3280 secs || 64478066 markings, 822080539 edges,
lola: 229 tries, 228691182 fired transitions, 3285 secs || 64569115 markings, 823276478 edges,
lola: 230 tries, 229039083 fired transitions, 3290 secs || 64659900 markings, 824472466 edges,
lola: 230 tries, 229386899 fired transitions, 3295 secs || 64750700 markings, 825684571 edges,
lola: 230 tries, 229734962 fired transitions, 3300 secs || 64843866 markings, 826904980 edges,
lola: 231 tries, 230083166 fired transitions, 3305 secs || 64935016 markings, 828103274 edges,
lola: 231 tries, 230431324 fired transitions, 3310 secs || 65025684 markings, 829300823 edges,
lola: 231 tries, 230779496 fired transitions, 3315 secs || 65115870 markings, 830500720 edges,
lola: 232 tries, 231127040 fired transitions, 3320 secs || 65206622 markings, 831698056 edges,
lola: 232 tries, 231474774 fired transitions, 3325 secs || 65299616 markings, 832917870 edges,
lola: 232 tries, 231823118 fired transitions, 3330 secs || 65392047 markings, 834133363 edges,
lola: 233 tries, 232171142 fired transitions, 3335 secs || 65484035 markings, 835348013 edges,
lola: 233 tries, 232519412 fired transitions, 3340 secs || 65576781 markings, 836575314 edges,
lola: 233 tries, 232866992 fired transitions, 3345 secs || 65667813 markings, 837781231 edges,
lola: 234 tries, 233214812 fired transitions, 3350 secs || 65758610 markings, 838985493 edges,
lola: 234 tries, 233563168 fired transitions, 3355 secs || 65850710 markings, 840214503 edges,
lola: 234 tries, 233912654 fired transitions, 3360 secs || 65943432 markings, 841438361 edges,
lola: 235 tries, 234261250 fired transitions, 3365 secs || 66036069 markings, 842659496 edges,
lola: 235 tries, 234610408 fired transitions, 3370 secs || 66127756 markings, 843868404 edges,
lola: 235 tries, 234959284 fired transitions, 3375 secs || 66219915 markings, 845076387 edges,
lola: 236 tries, 235308262 fired transitions, 3380 secs || 66311747 markings, 846279830 edges,
lola: 236 tries, 235657228 fired transitions, 3385 secs || 66403812 markings, 847494385 edges,
lola: 237 tries, 236005816 fired transitions, 3390 secs || 66495670 markings, 848696682 edges,
lola: 237 tries, 236354900 fired transitions, 3395 secs || 66587143 markings, 849901686 edges,
lola: 237 tries, 236702898 fired transitions, 3400 secs || 66678764 markings, 851110825 edges,
lola: 238 tries, 237051526 fired transitions, 3405 secs || 66769918 markings, 852319554 edges,
lola: 238 tries, 237399542 fired transitions, 3410 secs || 66860743 markings, 853527450 edges,
lola: 238 tries, 237746806 fired transitions, 3415 secs || 66953044 markings, 854734085 edges,
lola: 239 tries, 238094124 fired transitions, 3420 secs || 67044607 markings, 855941219 edges,
lola: 239 tries, 238441710 fired transitions, 3425 secs || 67136242 markings, 857158419 edges,
lola: 239 tries, 238788750 fired transitions, 3430 secs || 67228353 markings, 858368616 edges,
lola: 240 tries, 239136302 fired transitions, 3435 secs || 67321684 markings, 859598882 edges,
lola: 240 tries, 239484254 fired transitions, 3440 secs || 67414094 markings, 860824768 edges,
lola: 240 tries, 239832634 fired transitions, 3445 secs || 67505919 markings, 862033169 edges,
lola: 241 tries, 240180670 fired transitions, 3450 secs || 67597268 markings, 863237286 edges,
lola: 241 tries, 240528624 fired transitions, 3455 secs || 67688386 markings, 864435822 edges,
lola: 241 tries, 240876795 fired transitions, 3460 secs || 67779919 markings, 865641085 edges,
lola: 242 tries, 241224897 fired transitions, 3465 secs || 67871880 markings, 866852846 edges,
lola: 242 tries, 241573826 fired transitions, 3470 secs || 67964325 markings, 868069646 edges,
lola: 242 tries, 241922576 fired transitions, 3475 secs || 68056561 markings, 869280001 edges,
lola: 243 tries, 242271462 fired transitions, 3480 secs || 68148576 markings, 870490919 edges,
lola: 243 tries, 242620530 fired transitions, 3485 secs || 68240746 markings, 871704715 edges,
lola: 243 tries, 242969650 fired transitions, 3490 secs || 68333118 markings, 872912725 edges,
lola: 244 tries, 243318814 fired transitions, 3495 secs || 68424549 markings, 874128067 edges,
lola: 244 tries, 243667156 fired transitions, 3500 secs || 68516221 markings, 875333432 edges,
lola: 245 tries, 244015108 fired transitions, 3505 secs || 68607761 markings, 876539726 edges,
lola: 245 tries, 244363060 fired transitions, 3510 secs || 68699744 markings, 877745950 edges,
lola: 245 tries, 244711132 fired transitions, 3515 secs || 68791487 markings, 878961228 edges,
lola: 246 tries, 245059172 fired transitions, 3520 secs || 68882878 markings, 880168547 edges,
lola: 246 tries, 245407312 fired transitions, 3525 secs || 68975596 markings, 881386365 edges,
lola: 246 tries, 245755419 fired transitions, 3530 secs || 69066974 markings, 882590967 edges,
lola: 247 tries, 246103216 fired transitions, 3535 secs || 69158564 markings, 883789452 edges,
lola: 247 tries, 246451162 fired transitions, 3540 secs || 69250262 markings, 884999563 edges,
lola: 247 tries, 246799044 fired transitions, 3545 secs || 69341928 markings, 886199916 edges,
lola: 248 tries, 247147008 fired transitions, 3550 secs || 69433336 markings, 887400845 edges,
lola: 248 tries, 247494918 fired transitions, 3555 secs || 69524512 markings, 888605297 edges,
lola: 248 tries, 247843244 fired transitions, 3560 secs || 69616641 markings, 889818910 edges,
lola: time limit reached - aborting
lola: memory consumption: 14941908 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 1552919203810

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 28984 markings/sec, 0 secs 20809 markings/sec, 5 secs 20585 markings/sec, 10 secs 20360 markings/sec, 15 secs 20563 markings/sec, 20 secs 20395 markings/sec, 25 secs 20953 markings/sec, 30 secs 21230 markings/sec, 35 secs 21057 markings/sec, 40 secs 20733 markings/sec, 45 secs 20541 markings/sec, 50 secs 20422 markings/sec, 55 secs 20938 markings/sec, 60 secs 20678 markings/sec, 65 secs 20223 markings/sec, 70 secs 20583 markings/sec, 75 secs 20474 markings/sec, 80 secs 20569 markings/sec, 85 secs 20405 markings/sec, 90 secs 20564 markings/sec, 95 secs 20784 markings/sec, 100 secs 20435 markings/sec, 105 secs 20352 markings/sec, 110 secs 20456 markings/sec, 115 secs 20768 markings/sec, 120 secs 20689 markings/sec, 125 secs 20574 markings/sec, 130 secs 20726 markings/sec, 135 secs 20802 markings/sec, 140 secs 20624 markings/sec, 145 secs 20619 markings/sec, 150 secs 20168 markings/sec, 155 secs 20301 markings/sec, 160 secs 20506 markings/sec, 165 secs 20503 markings/sec, 170 secs 20867 markings/sec, 175 secs 20824 markings/sec, 180 secs 20681 markings/sec, 185 secs 20985 markings/sec, 190 secs 20914 markings/sec, 195 secs 21185 markings/sec, 200 secs 21008 markings/sec, 205 secs 20794 markings/sec, 210 secs 20622 markings/sec, 215 secs 20857 markings/sec, 220 secs 20904 markings/sec, 225 secs 20880 markings/sec, 230 secs 20565 markings/sec, 235 secs 20337 markings/sec, 240 secs 20394 markings/sec, 245 secs 20436 markings/sec, 250 secs 20421 markings/sec, 255 secs 20960 markings/sec, 260 secs 20850 markings/sec, 265 secs 20558 markings/sec, 270 secs 20539 markings/sec, 275 secs 20964 markings/sec, 280 secs 20922 markings/sec, 285 secs 20561 markings/sec, 290 secs 20634 markings/sec, 295 secs 21140 markings/sec, 300 secs 20878 markings/sec, 305 secs 20524 markings/sec, 310 secs 20607 markings/sec, 315 secs 20559 markings/sec, 320 secs 20502 markings/sec, 325 secs 20212 markings/sec, 330 secs 20832 markings/sec, 335 secs 20292 markings/sec, 340 secs 20312 markings/sec, 345 secs 20239 markings/sec, 350 secs 20191 markings/sec, 355 secs 20713 markings/sec, 360 secs 20604 markings/sec, 365 secs 20743 markings/sec, 370 secs 20766 markings/sec, 375 secs 20982 markings/sec, 380 secs 20924 markings/sec, 385 secs 20652 markings/sec, 390 secs 20990 markings/sec, 395 secs 20770 markings/sec, 400 secs 20616 markings/sec, 405 secs 20726 markings/sec, 410 secs 20679 markings/sec, 415 secs 20501 markings/sec, 420 secs 20576 markings/sec, 425 secs 20615 markings/sec, 430 secs 20617 markings/sec, 435 secs 20502 markings/sec, 440 secs 20494 markings/sec, 445 secs 20409 markings/sec, 450 secs 20721 markings/sec, 455 secs 20693 markings/sec, 460 secs 20671 markings/sec, 465 secs 20630 markings/sec, 470 secs 20646 markings/sec, 475 secs 20667 markings/sec, 480 secs 20678 markings/sec, 485 secs 20511 markings/sec, 490 secs 20578 markings/sec, 495 secs 20730 markings/sec, 500 secs 20667 markings/sec, 505 secs 20889 markings/sec, 510 secs 21032 markings/sec, 515 secs 21013 markings/sec, 520 secs 20851 markings/sec, 525 secs 20852 markings/sec, 530 secs 21033 markings/sec, 535 secs 20751 markings/sec, 540 secs 20803 markings/sec, 545 secs 21007 markings/sec, 550 secs 20927 markings/sec, 555 secs 20945 markings/sec, 560 secs 20722 markings/sec, 565 secs 20521 markings/sec, 570 secs 20668 markings/sec, 575 secs 20673 markings/sec, 580 secs 20769 markings/sec, 585 secs 20724 markings/sec, 590 secs 20642 markings/sec, 595 secs 20677 markings/sec, 600 secs 20842 markings/sec, 605 secs 21268 markings/sec, 610 secs 21080 markings/sec, 615 secs 18771 markings/sec, 620 secs 19099 markings/sec, 625 secs 20520 markings/sec, 630 secs 20288 markings/sec, 635 secs 20623 markings/sec, 640 secs 20565 markings/sec, 645 secs 20523 markings/sec, 650 secs 20406 markings/sec, 655 secs 20586 markings/sec, 660 secs 20143 markings/sec, 665 secs 20655 markings/sec, 670 secs 20467 markings/sec, 675 secs 20726 markings/sec, 680 secs 20649 markings/sec, 685 secs 20835 markings/sec, 690 secs 21073 markings/sec, 695 secs 21134 markings/sec, 700 secs 21153 markings/sec, 705 secs 21301 markings/sec, 710 secs 21085 markings/sec, 715 secs 21217 markings/sec, 720 secs 21053 markings/sec, 725 secs 20977 markings/sec, 730 secs 20892 markings/sec, 735 secs 20757 markings/sec, 740 secs 20551 markings/sec, 745 secs 20474 markings/sec, 750 secs 20385 markings/sec, 755 secs 20159 markings/sec, 760 secs 20223 markings/sec, 765 secs 20305 markings/sec, 770 secs 20462 markings/sec, 775 secs 20555 markings/sec, 780 secs 20478 markings/sec, 785 secs 20780 markings/sec, 790 secs 20793 markings/sec, 795 secs 20662 markings/sec, 800 secs 20595 markings/sec, 805 secs 20630 markings/sec, 810 secs 20434 markings/sec, 815 secs 20285 markings/sec, 820 secs 20822 markings/sec, 825 secs 20303 markings/sec, 830 secs 21245 markings/sec, 835 secs 20939 markings/sec, 840 secs 20979 markings/sec, 845 secs 20889 markings/sec, 850 secs 20576 markings/sec, 855 secs 20756 markings/sec, 860 secs 20943 markings/sec, 865 secs 20745 markings/sec, 870 secs 21049 markings/sec, 875 secs 20597 markings/sec, 880 secs 20923 markings/sec, 885 secs 20976 markings/sec, 890 secs 21003 markings/sec, 895 secs 20584 markings/sec, 900 secs 20790 markings/sec, 905 secs 20701 markings/sec, 910 secs 20707 markings/sec, 915 secs 18811 markings/sec, 920 secs 19392 markings/sec, 925 secs 20397 markings/sec, 930 secs 20409 markings/sec, 935 secs 20240 markings/sec, 940 secs 20370 markings/sec, 945 secs 20441 markings/sec, 950 secs 20065 markings/sec, 955 secs 20418 markings/sec, 960 secs 20467 markings/sec, 965 secs 20826 markings/sec, 970 secs 20709 markings/sec, 975 secs 20686 markings/sec, 980 secs 20662 markings/sec, 985 secs 20706 markings/sec, 990 secs 20866 markings/sec, 995 secs 20597 markings/sec, 1000 secs 20527 markings/sec, 1005 secs 20920 markings/sec, 1010 secs 20578 markings/sec, 1015 secs 20717 markings/sec, 1020 secs 20516 markings/sec, 1025 secs 20425 markings/sec, 1030 secs 20947 markings/sec, 1035 secs 20721 markings/sec, 1040 secs 20856 markings/sec, 1045 secs 20744 markings/sec, 1050 secs 20734 markings/sec, 1055 secs 20872 markings/sec, 1060 secs 20474 markings/sec, 1065 secs 20449 markings/sec, 1070 secs 20458 markings/sec, 1075 secs 20280 markings/sec, 1080 secs 20247 markings/sec, 1085 secs 20325 markings/sec, 1090 secs 20352 markings/sec, 1095 secs 20493 markings/sec, 1100 secs 20399 markings/sec, 1105 secs 20248 markings/sec, 1110 secs 20502 markings/sec, 1115 secs 20488 markings/sec, 1120 secs 20464 markings/sec, 1125 secs 20433 markings/sec, 1130 secs 20358 markings/sec, 1135 secs 20487 markings/sec, 1140 secs 20488 markings/sec, 1145 secs 20563 markings/sec, 1150 secs 20510 markings/sec, 1155 secs 20267 markings/sec, 1160 secs 20356 markings/sec, 1165 secs 20259 markings/sec, 1170 secs 20492 markings/sec, 1175 secs 20626 markings/sec, 1180 secs 20506 markings/sec, 1185 secs 20477 markings/sec, 1190 secs 20748 markings/sec, 1195 secs 20671 markings/sec, 1200 secs 19950 markings/sec, 1205 secs 20015 markings/sec, 1210 secs 20184 markings/sec, 1215 secs 20384 markings/sec, 1220 secs 20405 markings/sec, 1225 secs 20091 markings/sec, 1230 secs 20691 markings/sec, 1235 secs 20728 markings/sec, 1240 secs 20670 markings/sec, 1245 secs 20784 markings/sec, 1250 secs 20653 markings/sec, 1255 secs 20658 markings/sec, 1260 secs 20657 markings/sec, 1265 secs 20489 markings/sec, 1270 secs 20374 markings/sec, 1275 secs 20386 markings/sec, 1280 secs 20690 markings/sec, 1285 secs 20724 markings/sec, 1290 secs 19284 markings/sec, 1295 secs 20584 markings/sec, 1300 secs 20582 markings/sec, 1305 secs 18660 markings/sec, 1310 secs 18867 markings/sec, 1315 secs 18420 markings/sec, 1320 secs 18788 markings/sec, 1325 secs 19028 markings/sec, 1330 secs 19047 markings/sec, 1335 secs 18520 markings/sec, 1340 secs 18435 markings/sec, 1345 secs 20200 markings/sec, 1350 secs 20234 markings/sec, 1355 secs 20174 markings/sec, 1360 secs 20073 markings/sec, 1365 secs 20116 markings/sec, 1370 secs 20035 markings/sec, 1375 secs 20044 markings/sec, 1380 secs 19050 markings/sec, 1385 secs 19039 markings/sec, 1390 secs 19941 markings/sec, 1395 secs 19016 markings/sec, 1400 secs 18727 markings/sec, 1405 secs 18599 markings/sec, 1410 secs 18614 markings/sec, 1415 secs 18455 markings/sec, 1420 secs 18559 markings/sec, 1425 secs 18483 markings/sec, 1430 secs 18508 markings/sec, 1435 secs 18535 markings/sec, 1440 secs 18525 markings/sec, 1445 secs 18487 markings/sec, 1450 secs 18322 markings/sec, 1455 secs 18614 markings/sec, 1460 secs 18339 markings/sec, 1465 secs 18429 markings/sec, 1470 secs 18557 markings/sec, 1475 secs 18399 markings/sec, 1480 secs 18608 markings/sec, 1485 secs 18728 markings/sec, 1490 secs 18560 markings/sec, 1495 secs 18416 markings/sec, 1500 secs 18551 markings/sec, 1505 secs 18508 markings/sec, 1510 secs 18516 markings/sec, 1515 secs 16769 markings/sec, 1520 secs 17211 markings/sec, 1525 secs 18535 markings/sec, 1530 secs 18468 markings/sec, 1535 secs 19292 markings/sec, 1540 secs 19890 markings/sec, 1545 secs 19981 markings/sec, 1550 secs 19998 markings/sec, 1555 secs 19939 markings/sec, 1560 secs 19998 markings/sec, 1565 secs 20079 markings/sec, 1570 secs 19994 markings/sec, 1575 secs 20009 markings/sec, 1580 secs 18540 markings/sec, 1585 secs 18581 markings/sec, 1590 secs 18501 markings/sec, 1595 secs 18564 markings/sec, 1600 secs 18538 markings/sec, 1605 secs 18382 markings/sec, 1610 secs 18422 markings/sec, 1615 secs 18475 markings/sec, 1620 secs 18405 markings/sec, 1625 secs 19925 markings/sec, 1630 secs 19898 markings/sec, 1635 secs 18784 markings/sec, 1640 secs 18421 markings/sec, 1645 secs 18405 markings/sec, 1650 secs 18272 markings/sec, 1655 secs 18280 markings/sec, 1660 secs 18500 markings/sec, 1665 secs 19845 markings/sec, 1670 secs 19647 markings/sec, 1675 secs 18353 markings/sec, 1680 secs 18351 markings/sec, 1685 secs 18183 markings/sec, 1690 secs 18149 markings/sec, 1695 secs 18204 markings/sec, 1700 secs 18232 markings/sec, 1705 secs 18417 markings/sec, 1710 secs 18664 markings/sec, 1715 secs 20187 markings/sec, 1720 secs 19354 markings/sec, 1725 secs 18329 markings/sec, 1730 secs 18396 markings/sec, 1735 secs 18351 markings/sec, 1740 secs 18289 markings/sec, 1745 secs 19670 markings/sec, 1750 secs 19893 markings/sec, 1755 secs 19900 markings/sec, 1760 secs 19928 markings/sec, 1765 secs 19862 markings/sec, 1770 secs 19895 markings/sec, 1775 secs 19777 markings/sec, 1780 secs 19755 markings/sec, 1785 secs 18477 markings/sec, 1790 secs 18517 markings/sec, 1795 secs 18454 markings/sec, 1800 secs 18404 markings/sec, 1805 secs 18397 markings/sec, 1810 secs 18101 markings/sec, 1815 secs 18299 markings/sec, 1820 secs 18317 markings/sec, 1825 secs 18504 markings/sec, 1830 secs 18333 markings/sec, 1835 secs 18207 markings/sec, 1840 secs 18360 markings/sec, 1845 secs 18240 markings/sec, 1850 secs 18338 markings/sec, 1855 secs 18197 markings/sec, 1860 secs 19774 markings/sec, 1865 secs 18548 markings/sec, 1870 secs 19943 markings/sec, 1875 secs 19625 markings/sec, 1880 secs 19697 markings/sec, 1885 secs 19825 markings/sec, 1890 secs 19741 markings/sec, 1895 secs 19707 markings/sec, 1900 secs 19677 markings/sec, 1905 secs 19733 markings/sec, 1910 secs 19629 markings/sec, 1915 secs 19688 markings/sec, 1920 secs 19689 markings/sec, 1925 secs 19694 markings/sec, 1930 secs 19699 markings/sec, 1935 secs 19581 markings/sec, 1940 secs 18166 markings/sec, 1945 secs 18142 markings/sec, 1950 secs 18756 markings/sec, 1955 secs 19673 markings/sec, 1960 secs 19741 markings/sec, 1965 secs 19754 markings/sec, 1970 secs 18715 markings/sec, 1975 secs 18229 markings/sec, 1980 secs 18165 markings/sec, 1985 secs 18237 markings/sec, 1990 secs 18329 markings/sec, 1995 secs 18423 markings/sec, 2000 secs 19262 markings/sec, 2005 secs 18816 markings/sec, 2010 secs 18583 markings/sec, 2015 secs 19685 markings/sec, 2020 secs 19744 markings/sec, 2025 secs 19859 markings/sec, 2030 secs 19729 markings/sec, 2035 secs 19745 markings/sec, 2040 secs 19718 markings/sec, 2045 secs 19779 markings/sec, 2050 secs 19741 markings/sec, 2055 secs 19929 markings/sec, 2060 secs 19768 markings/sec, 2065 secs 19488 markings/sec, 2070 secs 19747 markings/sec, 2075 secs 19951 markings/sec, 2080 secs 19531 markings/sec, 2085 secs 19631 markings/sec, 2090 secs 19638 markings/sec, 2095 secs 19609 markings/sec, 2100 secs 19852 markings/sec, 2105 secs 19671 markings/sec, 2110 secs 19749 markings/sec, 2115 secs 19496 markings/sec, 2120 secs 19421 markings/sec, 2125 secs 18603 markings/sec, 2130 secs 19751 markings/sec, 2135 secs 20058 markings/sec, 2140 secs 20184 markings/sec, 2145 secs 20174 markings/sec, 2150 secs 20252 markings/sec, 2155 secs 19952 markings/sec, 2160 secs 19805 markings/sec, 2165 secs 19803 markings/sec, 2170 secs 18751 markings/sec, 2175 secs 18018 markings/sec, 2180 secs 20310 markings/sec, 2185 secs 20271 markings/sec, 2190 secs 20396 markings/sec, 2195 secs 19042 markings/sec, 2200 secs 19696 markings/sec, 2205 secs 19727 markings/sec, 2210 secs 19764 markings/sec, 2215 secs 19776 markings/sec, 2220 secs 19909 markings/sec, 2225 secs 19774 markings/sec, 2230 secs 19787 markings/sec, 2235 secs 19767 markings/sec, 2240 secs 19712 markings/sec, 2245 secs 20005 markings/sec, 2250 secs 19821 markings/sec, 2255 secs 19793 markings/sec, 2260 secs 18317 markings/sec, 2265 secs 19678 markings/sec, 2270 secs 18402 markings/sec, 2275 secs 19618 markings/sec, 2280 secs 18350 markings/sec, 2285 secs 18111 markings/sec, 2290 secs 18240 markings/sec, 2295 secs 18323 markings/sec, 2300 secs 18385 markings/sec, 2305 secs 18296 markings/sec, 2310 secs 18278 markings/sec, 2315 secs 18340 markings/sec, 2320 secs 18462 markings/sec, 2325 secs 18840 markings/sec, 2330 secs 19655 markings/sec, 2335 secs 19551 markings/sec, 2340 secs 19807 markings/sec, 2345 secs 19681 markings/sec, 2350 secs 19557 markings/sec, 2355 secs 19772 markings/sec, 2360 secs 19607 markings/sec, 2365 secs 19700 markings/sec, 2370 secs 19633 markings/sec, 2375 secs 19221 markings/sec, 2380 secs 19255 markings/sec, 2385 secs 18660 markings/sec, 2390 secs 18332 markings/sec, 2395 secs 18344 markings/sec, 2400 secs 18448 markings/sec, 2405 secs 18507 markings/sec, 2410 secs 18460 markings/sec, 2415 secs 19243 markings/sec, 2420 secs 19888 markings/sec, 2425 secs 19768 markings/sec, 2430 secs 19675 markings/sec, 2435 secs 19682 markings/sec, 2440 secs 18509 markings/sec, 2445 secs 18464 markings/sec, 2450 secs 18495 markings/sec, 2455 secs 19358 markings/sec, 2460 secs 19747 markings/sec, 2465 secs 19921 markings/sec, 2470 secs 19840 markings/sec, 2475 secs 19750 markings/sec, 2480 secs 19681 markings/sec, 2485 secs 19707 markings/sec, 2490 secs 19702 markings/sec, 2495 secs 19608 markings/sec, 2500 secs 19759 markings/sec, 2505 secs 19632 markings/sec, 2510 secs 19651 markings/sec, 2515 secs 19603 markings/sec, 2520 secs 19622 markings/sec, 2525 secs 19126 markings/sec, 2530 secs 19184 markings/sec, 2535 secs 19122 markings/sec, 2540 secs 18878 markings/sec, 2545 secs 18442 markings/sec, 2550 secs 18521 markings/sec, 2555 secs 18980 markings/sec, 2560 secs 19138 markings/sec, 2565 secs 18977 markings/sec, 2570 secs 19031 markings/sec, 2575 secs 19162 markings/sec, 2580 secs 18942 markings/sec, 2585 secs 18884 markings/sec, 2590 secs 18862 markings/sec, 2595 secs 19030 markings/sec, 2600 secs 19262 markings/sec, 2605 secs 18825 markings/sec, 2610 secs 18881 markings/sec, 2615 secs 19055 markings/sec, 2620 secs 18914 markings/sec, 2625 secs 18732 markings/sec, 2630 secs 18738 markings/sec, 2635 secs 18817 markings/sec, 2640 secs 18804 markings/sec, 2645 secs 18836 markings/sec, 2650 secs 18872 markings/sec, 2655 secs 18682 markings/sec, 2660 secs 18693 markings/sec, 2665 secs 18725 markings/sec, 2670 secs 18751 markings/sec, 2675 secs 18893 markings/sec, 2680 secs 18545 markings/sec, 2685 secs 18317 markings/sec, 2690 secs 18648 markings/sec, 2695 secs 18779 markings/sec, 2700 secs 18878 markings/sec, 2705 secs 18783 markings/sec, 2710 secs 18686 markings/sec, 2715 secs 18806 markings/sec, 2720 secs 18732 markings/sec, 2725 secs 18658 markings/sec, 2730 secs 18333 markings/sec, 2735 secs 18378 markings/sec, 2740 secs 18409 markings/sec, 2745 secs 18331 markings/sec, 2750 secs 18333 markings/sec, 2755 secs 18273 markings/sec, 2760 secs 18383 markings/sec, 2765 secs 18407 markings/sec, 2770 secs 18137 markings/sec, 2775 secs 18503 markings/sec, 2780 secs 18789 markings/sec, 2785 secs 18719 markings/sec, 2790 secs 18652 markings/sec, 2795 secs 18335 markings/sec, 2800 secs 18542 markings/sec, 2805 secs 18722 markings/sec, 2810 secs 18701 markings/sec, 2815 secs 18332 markings/sec, 2820 secs 18320 markings/sec, 2825 secs 18386 markings/sec, 2830 secs 18779 markings/sec, 2835 secs 19604 markings/sec, 2840 secs 19537 markings/sec, 2845 secs 19413 markings/sec, 2850 secs 18573 markings/sec, 2855 secs 18768 markings/sec, 2860 secs 18326 markings/sec, 2865 secs 19566 markings/sec, 2870 secs 18233 markings/sec, 2875 secs 18292 markings/sec, 2880 secs 18645 markings/sec, 2885 secs 18587 markings/sec, 2890 secs 18528 markings/sec, 2895 secs 18533 markings/sec, 2900 secs 18925 markings/sec, 2905 secs 18788 markings/sec, 2910 secs 18642 markings/sec, 2915 secs 18267 markings/sec, 2920 secs 18285 markings/sec, 2925 secs 18256 markings/sec, 2930 secs 18300 markings/sec, 2935 secs 18261 markings/sec, 2940 secs 18128 markings/sec, 2945 secs 18250 markings/sec, 2950 secs 18166 markings/sec, 2955 secs 18030 markings/sec, 2960 secs 18121 markings/sec, 2965 secs 18658 markings/sec, 2970 secs 18324 markings/sec, 2975 secs 18338 markings/sec, 2980 secs 18947 markings/sec, 2985 secs 18253 markings/sec, 2990 secs 18877 markings/sec, 2995 secs 19412 markings/sec, 3000 secs 19608 markings/sec, 3005 secs 19686 markings/sec, 3010 secs 19763 markings/sec, 3015 secs 17599 markings/sec, 3020 secs 18300 markings/sec, 3025 secs 19752 markings/sec, 3030 secs 19426 markings/sec, 3035 secs 19548 markings/sec, 3040 secs 19409 markings/sec, 3045 secs 19646 markings/sec, 3050 secs 19735 markings/sec, 3055 secs 19537 markings/sec, 3060 secs 19558 markings/sec, 3065 secs 18731 markings/sec, 3070 secs 18014 markings/sec, 3075 secs 18983 markings/sec, 3080 secs 19563 markings/sec, 3085 secs 19391 markings/sec, 3090 secs 19760 markings/sec, 3095 secs 19009 markings/sec, 3100 secs 18103 markings/sec, 3105 secs 18175 markings/sec, 3110 secs 18493 markings/sec, 3115 secs 18666 markings/sec, 3120 secs 18488 markings/sec, 3125 secs 18572 markings/sec, 3130 secs 18382 markings/sec, 3135 secs 18428 markings/sec, 3140 secs 18341 markings/sec, 3145 secs 18341 markings/sec, 3150 secs 18482 markings/sec, 3155 secs 18372 markings/sec, 3160 secs 18337 markings/sec, 3165 secs 18338 markings/sec, 3170 secs 18217 markings/sec, 3175 secs 18300 markings/sec, 3180 secs 18308 markings/sec, 3185 secs 18362 markings/sec, 3190 secs 18263 markings/sec, 3195 secs 18241 markings/sec, 3200 secs 18197 markings/sec, 3205 secs 18122 markings/sec, 3210 secs 18312 markings/sec, 3215 secs 18177 markings/sec, 3220 secs 18304 markings/sec, 3225 secs 18186 markings/sec, 3230 secs 18104 markings/sec, 3235 secs 18217 markings/sec, 3240 secs 18063 markings/sec, 3245 secs 18190 markings/sec, 3250 secs 18215 markings/sec, 3255 secs 18197 markings/sec, 3260 secs 18102 markings/sec, 3265 secs 18226 markings/sec, 3270 secs 18147 markings/sec, 3275 secs 18215 markings/sec, 3280 secs 18210 markings/sec, 3285 secs 18157 markings/sec, 3290 secs 18160 markings/sec, 3295 secs 18633 markings/sec, 3300 secs 18230 markings/sec, 3305 secs 18134 markings/sec, 3310 secs 18037 markings/sec, 3315 secs 18150 markings/sec, 3320 secs 18599 markings/sec, 3325 secs 18486 markings/sec, 3330 secs 18398 markings/sec, 3335 secs 18549 markings/sec, 3340 secs 18206 markings/sec, 3345 secs 18159 markings/sec, 3350 secs 18420 markings/sec, 3355 secs 18544 markings/sec, 3360 secs 18527 markings/sec, 3365 secs 18337 markings/sec, 3370 secs 18432 markings/sec, 3375 secs 18366 markings/sec, 3380 secs 18413 markings/sec, 3385 secs 18372 markings/sec, 3390 secs 18295 markings/sec, 3395 secs 18324 markings/sec, 3400 secs 18231 markings/sec, 3405 secs 18165 markings/sec, 3410 secs 18460 markings/sec, 3415 secs 18313 markings/sec, 3420 secs 18327 markings/sec, 3425 secs 18422 markings/sec, 3430 secs 18666 markings/sec, 3435 secs 18482 markings/sec, 3440 secs 18365 markings/sec, 3445 secs 18270 markings/sec, 3450 secs 18224 markings/sec, 3455 secs 18307 markings/sec, 3460 secs 18392 markings/sec, 3465 secs 18489 markings/sec, 3470 secs 18447 markings/sec, 3475 secs 18403 markings/sec, 3480 secs 18434 markings/sec, 3485 secs 18474 markings/sec, 3490 secs 18286 markings/sec, 3495 secs 18334 markings/sec, 3500 secs 18308 markings/sec, 3505 secs 18397 markings/sec, 3510 secs 18349 markings/sec, 3515 secs 18278 markings/sec, 3520 secs 18544 markings/sec, 3525 secs 18276 markings/sec, 3530 secs 18318 markings/sec, 3535 secs 18340 markings/sec, 3540 secs 18333 markings/sec, 3545 secs 18282 markings/sec, 3550 secs 18235 markings/sec, 3555 secs 18426 markings/sec, 3560 secs

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-07"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is Raft-PT-07, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r137-smll-155284909300048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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