MCC'2019 - Execution of r060-ebro-155234654700138

About the Execution of LoLA for Diffusion2D-PT-D20N100

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4271.550	3570632.00	7244385.00	812.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 '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654700138.qcow2', fmt=qcow2 size=4294967296 backing_fi
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Diffusion2D-PT-D20N100, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654700138
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 3.9K Feb 10 21:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 21:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 6 17:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D20N100-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552569994367

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 13:26:34 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 3169596,
"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": 5928,
"conflict_clusters": 400,
"places": 400,
"places_significant": 399,
"singleton_clusters": 0,
"transitions": 2964
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3364/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1202940 fired transitions, 0 secs || 112051 markings, 629480 edges,
lola: 3 tries, 2425136 fired transitions, 5 secs || 198676 markings, 1275494 edges,
lola: 4 tries, 3642755 fired transitions, 10 secs || 286762 markings, 1917501 edges,
lola: 5 tries, 4861613 fired transitions, 15 secs || 371561 markings, 2547914 edges,
lola: 7 tries, 6085369 fired transitions, 20 secs || 457014 markings, 3182512 edges,
lola: 8 tries, 7307612 fired transitions, 25 secs || 543116 markings, 3819531 edges,
lola: 9 tries, 8529812 fired transitions, 30 secs || 627276 markings, 4456692 edges,
lola: 10 tries, 9753219 fired transitions, 35 secs || 713992 markings, 5083754 edges,
lola: 11 tries, 10976584 fired transitions, 40 secs || 799691 markings, 5715102 edges,
lola: 13 tries, 12185160 fired transitions, 45 secs || 882919 markings, 6345872 edges,
lola: 14 tries, 13410138 fired transitions, 50 secs || 967998 markings, 6970517 edges,
lola: 15 tries, 14634596 fired transitions, 55 secs || 1048689 markings, 7590599 edges,
lola: 16 tries, 15844458 fired transitions, 60 secs || 1135974 markings, 8207061 edges,
lola: 18 tries, 17068922 fired transitions, 65 secs || 1221995 markings, 8841480 edges,
lola: 19 tries, 18292163 fired transitions, 70 secs || 1304801 markings, 9457755 edges,
lola: 20 tries, 19514440 fired transitions, 75 secs || 1389847 markings, 10090580 edges,
lola: 21 tries, 20735596 fired transitions, 80 secs || 1473278 markings, 10721764 edges,
lola: 22 tries, 21959950 fired transitions, 85 secs || 1556138 markings, 11340600 edges,
lola: 24 tries, 23179533 fired transitions, 90 secs || 1643978 markings, 11968601 edges,
lola: 25 tries, 24405961 fired transitions, 95 secs || 1727637 markings, 12598223 edges,
lola: 26 tries, 25626605 fired transitions, 100 secs || 1809411 markings, 13222296 edges,
lola: 27 tries, 26844088 fired transitions, 105 secs || 1895902 markings, 13844464 edges,
lola: 29 tries, 28063021 fired transitions, 110 secs || 1978403 markings, 14462215 edges,
lola: 30 tries, 29283326 fired transitions, 115 secs || 2065795 markings, 15092216 edges,
lola: 31 tries, 30506796 fired transitions, 120 secs || 2148729 markings, 15717871 edges,
lola: 32 tries, 31721798 fired transitions, 125 secs || 2235434 markings, 16347968 edges,
lola: 33 tries, 32945140 fired transitions, 130 secs || 2319107 markings, 16972721 edges,
lola: 35 tries, 34170023 fired transitions, 135 secs || 2395372 markings, 17578731 edges,
lola: 36 tries, 35394652 fired transitions, 140 secs || 2479945 markings, 18166902 edges,
lola: 37 tries, 36621296 fired transitions, 145 secs || 2558857 markings, 18758556 edges,
lola: 38 tries, 37840983 fired transitions, 150 secs || 2642754 markings, 19365633 edges,
lola: 40 tries, 39059740 fired transitions, 155 secs || 2725284 markings, 19980423 edges,
lola: 41 tries, 40270114 fired transitions, 160 secs || 2803595 markings, 20574602 edges,
lola: 42 tries, 41495115 fired transitions, 165 secs || 2889268 markings, 21200602 edges,
lola: 43 tries, 42723535 fired transitions, 170 secs || 2970619 markings, 21824319 edges,
lola: 44 tries, 43950874 fired transitions, 175 secs || 3052668 markings, 22443683 edges,
lola: 46 tries, 45177725 fired transitions, 180 secs || 3142393 markings, 23067218 edges,
lola: 47 tries, 46406542 fired transitions, 185 secs || 3224264 markings, 23688592 edges,
lola: 48 tries, 47630902 fired transitions, 190 secs || 3305651 markings, 24304285 edges,
lola: 49 tries, 48861011 fired transitions, 195 secs || 3393619 markings, 24925810 edges,
lola: 51 tries, 50087381 fired transitions, 200 secs || 3476341 markings, 25550187 edges,
lola: 52 tries, 51313517 fired transitions, 205 secs || 3555682 markings, 26167242 edges,
lola: 53 tries, 52540061 fired transitions, 210 secs || 3643275 markings, 26785759 edges,
lola: 54 tries, 53768155 fired transitions, 215 secs || 3726374 markings, 27413056 edges,
lola: 55 tries, 54997014 fired transitions, 220 secs || 3811477 markings, 28029007 edges,
lola: 57 tries, 56220061 fired transitions, 225 secs || 3894894 markings, 28645075 edges,
lola: 58 tries, 57430478 fired transitions, 230 secs || 3980148 markings, 29268577 edges,
lola: 59 tries, 58648908 fired transitions, 235 secs || 4061033 markings, 29890008 edges,
lola: 60 tries, 59857564 fired transitions, 240 secs || 4142175 markings, 30505015 edges,
lola: 62 tries, 61065951 fired transitions, 245 secs || 4225949 markings, 31107597 edges,
lola: 63 tries, 62284497 fired transitions, 250 secs || 4311817 markings, 31726777 edges,
lola: 64 tries, 63499594 fired transitions, 255 secs || 4394549 markings, 32336544 edges,
lola: 65 tries, 64723541 fired transitions, 260 secs || 4473524 markings, 32949025 edges,
lola: 66 tries, 65948757 fired transitions, 265 secs || 4555885 markings, 33562754 edges,
lola: 68 tries, 67173058 fired transitions, 270 secs || 4643053 markings, 34182503 edges,
lola: 69 tries, 68394404 fired transitions, 275 secs || 4721515 markings, 34796855 edges,
lola: 70 tries, 69584358 fired transitions, 280 secs || 4805517 markings, 35403704 edges,
lola: 71 tries, 70807631 fired transitions, 285 secs || 4885169 markings, 36016142 edges,
lola: 73 tries, 72029041 fired transitions, 290 secs || 4974191 markings, 36635803 edges,
lola: 74 tries, 73251811 fired transitions, 295 secs || 5053644 markings, 37249675 edges,
lola: 75 tries, 74470470 fired transitions, 300 secs || 5139049 markings, 37853743 edges,
lola: 76 tries, 75695710 fired transitions, 305 secs || 5221292 markings, 38462767 edges,
lola: 77 tries, 76918268 fired transitions, 310 secs || 5304538 markings, 39078595 edges,
lola: 79 tries, 78141881 fired transitions, 315 secs || 5385579 markings, 39693812 edges,
lola: 80 tries, 79367482 fired transitions, 320 secs || 5464215 markings, 40302593 edges,
lola: 81 tries, 80576628 fired transitions, 325 secs || 5551986 markings, 40906758 edges,
lola: 82 tries, 81773836 fired transitions, 330 secs || 5628729 markings, 41520404 edges,
lola: 83 tries, 82969924 fired transitions, 335 secs || 5714793 markings, 42131188 edges,
lola: 85 tries, 84179848 fired transitions, 340 secs || 5796730 markings, 42730483 edges,
lola: 86 tries, 85336584 fired transitions, 345 secs || 5875248 markings, 43333408 edges,
lola: 87 tries, 86502087 fired transitions, 350 secs || 5957329 markings, 43934627 edges,
lola: 88 tries, 87685876 fired transitions, 355 secs || 6037190 markings, 44541347 edges,
lola: 89 tries, 88873186 fired transitions, 360 secs || 6124586 markings, 45157010 edges,
lola: 91 tries, 90096122 fired transitions, 365 secs || 6206907 markings, 45769818 edges,
lola: 92 tries, 91301530 fired transitions, 370 secs || 6287821 markings, 46380510 edges,
lola: 93 tries, 92489483 fired transitions, 375 secs || 6366204 markings, 46987984 edges,
lola: 94 tries, 93685321 fired transitions, 380 secs || 6447944 markings, 47604110 edges,
lola: 95 tries, 94893203 fired transitions, 385 secs || 6538529 markings, 48228545 edges,
lola: 97 tries, 96090226 fired transitions, 390 secs || 6621170 markings, 48839980 edges,
lola: 98 tries, 97298028 fired transitions, 395 secs || 6704527 markings, 49453109 edges,
lola: 99 tries, 98500281 fired transitions, 400 secs || 6784257 markings, 50063770 edges,
lola: 100 tries, 99697232 fired transitions, 405 secs || 6865724 markings, 50675933 edges,
lola: 101 tries, 100914097 fired transitions, 410 secs || 6952597 markings, 51295621 edges,
lola: 103 tries, 102135769 fired transitions, 415 secs || 7035543 markings, 51911737 edges,
lola: 104 tries, 103345152 fired transitions, 420 secs || 7120335 markings, 52522021 edges,
lola: 105 tries, 104550795 fired transitions, 425 secs || 7200439 markings, 53134614 edges,
lola: 106 tries, 105773348 fired transitions, 430 secs || 7284469 markings, 53745087 edges,
lola: 107 tries, 106984461 fired transitions, 435 secs || 7368731 markings, 54363711 edges,
lola: 109 tries, 108207008 fired transitions, 440 secs || 7450593 markings, 54983595 edges,
lola: 110 tries, 109424456 fired transitions, 445 secs || 7531909 markings, 55594516 edges,
lola: 111 tries, 110624022 fired transitions, 450 secs || 7610382 markings, 56207435 edges,
lola: 112 tries, 111811696 fired transitions, 455 secs || 7699732 markings, 56815086 edges,
lola: 114 tries, 113043488 fired transitions, 460 secs || 7777127 markings, 57433672 edges,
lola: 115 tries, 114247492 fired transitions, 465 secs || 7863888 markings, 58041567 edges,
lola: 116 tries, 115476575 fired transitions, 470 secs || 7945268 markings, 58658791 edges,
lola: 117 tries, 116704547 fired transitions, 475 secs || 8026714 markings, 59271373 edges,
lola: 118 tries, 117897784 fired transitions, 480 secs || 8106334 markings, 59883788 edges,
lola: 120 tries, 119107499 fired transitions, 485 secs || 8190069 markings, 60493377 edges,
lola: 121 tries, 120308953 fired transitions, 490 secs || 8274547 markings, 61106465 edges,
lola: 122 tries, 121522374 fired transitions, 495 secs || 8360942 markings, 61730045 edges,
lola: 123 tries, 122746346 fired transitions, 500 secs || 8441386 markings, 62325083 edges,
lola: 124 tries, 123952177 fired transitions, 505 secs || 8522317 markings, 62933844 edges,
lola: 126 tries, 125137678 fired transitions, 510 secs || 8606503 markings, 63540114 edges,
lola: 127 tries, 126340242 fired transitions, 515 secs || 8688094 markings, 64149151 edges,
lola: 128 tries, 127560252 fired transitions, 520 secs || 8763755 markings, 64760290 edges,
lola: 129 tries, 128748623 fired transitions, 525 secs || 8854452 markings, 65379788 edges,
lola: 130 tries, 129936590 fired transitions, 530 secs || 8937566 markings, 65994996 edges,
lola: 132 tries, 131145933 fired transitions, 535 secs || 9016260 markings, 66606438 edges,
lola: 133 tries, 132369460 fired transitions, 540 secs || 9098458 markings, 67213338 edges,
lola: 134 tries, 133574744 fired transitions, 545 secs || 9178394 markings, 67822511 edges,
lola: 135 tries, 134778918 fired transitions, 550 secs || 9266581 markings, 68431111 edges,
lola: 136 tries, 135994045 fired transitions, 555 secs || 9351492 markings, 69049296 edges,
lola: 138 tries, 137210619 fired transitions, 560 secs || 9435295 markings, 69668578 edges,
lola: 139 tries, 138433385 fired transitions, 565 secs || 9517461 markings, 70280602 edges,
lola: 140 tries, 139656013 fired transitions, 570 secs || 9595834 markings, 70892656 edges,
lola: 141 tries, 140884831 fired transitions, 575 secs || 9678568 markings, 71502121 edges,
lola: 143 tries, 142116711 fired transitions, 580 secs || 9757453 markings, 72114944 edges,
lola: 144 tries, 143346881 fired transitions, 585 secs || 9845452 markings, 72726896 edges,
lola: 145 tries, 144576511 fired transitions, 590 secs || 9932774 markings, 73350681 edges,
lola: 146 tries, 145807097 fired transitions, 595 secs || 10011355 markings, 73953358 edges,
lola: 148 tries, 147035351 fired transitions, 600 secs || 10089876 markings, 74557456 edges,
lola: 149 tries, 148263897 fired transitions, 605 secs || 10172146 markings, 75166955 edges,
lola: 150 tries, 149492874 fired transitions, 610 secs || 10252095 markings, 75777165 edges,
lola: 151 tries, 150708669 fired transitions, 615 secs || 10340209 markings, 76382692 edges,
lola: 152 tries, 151936921 fired transitions, 620 secs || 10419571 markings, 76995901 edges,
lola: 154 tries, 153122825 fired transitions, 625 secs || 10507612 markings, 77616056 edges,
lola: 155 tries, 154320556 fired transitions, 630 secs || 10589347 markings, 78229746 edges,
lola: 156 tries, 155522594 fired transitions, 635 secs || 10670280 markings, 78837855 edges,
lola: 157 tries, 156748256 fired transitions, 640 secs || 10754376 markings, 79440956 edges,
lola: 158 tries, 157958046 fired transitions, 645 secs || 10835810 markings, 80043920 edges,
lola: 160 tries, 159188473 fired transitions, 650 secs || 10909872 markings, 80655497 edges,
lola: 161 tries, 160418214 fired transitions, 655 secs || 10994206 markings, 81267930 edges,
lola: 162 tries, 161649443 fired transitions, 660 secs || 11085507 markings, 81889755 edges,
lola: 163 tries, 162877673 fired transitions, 665 secs || 11168667 markings, 82507293 edges,
lola: 165 tries, 164111049 fired transitions, 670 secs || 11247393 markings, 83119900 edges,
lola: 166 tries, 165343701 fired transitions, 675 secs || 11329691 markings, 83730480 edges,
lola: 167 tries, 166573552 fired transitions, 680 secs || 11409687 markings, 84342403 edges,
lola: 168 tries, 167784068 fired transitions, 685 secs || 11497814 markings, 84949121 edges,
lola: 170 tries, 169018272 fired transitions, 690 secs || 11577207 markings, 85563655 edges,
lola: 171 tries, 170240973 fired transitions, 695 secs || 11665006 markings, 86184108 edges,
lola: 172 tries, 171470769 fired transitions, 700 secs || 11745811 markings, 86805761 edges,
lola: 173 tries, 172696542 fired transitions, 705 secs || 11830738 markings, 87417094 edges,
lola: 174 tries, 173922706 fired transitions, 710 secs || 11911385 markings, 88011237 edges,
lola: 176 tries, 175153440 fired transitions, 715 secs || 11987845 markings, 88612391 edges,
lola: 177 tries, 176359816 fired transitions, 720 secs || 12072578 markings, 89215680 edges,
lola: 178 tries, 177588761 fired transitions, 725 secs || 12148895 markings, 89810780 edges,
lola: 179 tries, 178815700 fired transitions, 730 secs || 12230729 markings, 90416946 edges,
lola: 181 tries, 180044852 fired transitions, 735 secs || 12320725 markings, 91038371 edges,
lola: 182 tries, 181274029 fired transitions, 740 secs || 12404163 markings, 91653913 edges,
lola: 183 tries, 182471134 fired transitions, 745 secs || 12480563 markings, 92265560 edges,
lola: 184 tries, 183667545 fired transitions, 750 secs || 12561557 markings, 92871631 edges,
lola: 185 tries, 184897954 fired transitions, 755 secs || 12647377 markings, 93478222 edges,
lola: 187 tries, 186129273 fired transitions, 760 secs || 12725543 markings, 94087544 edges,
lola: 188 tries, 187360743 fired transitions, 765 secs || 12806581 markings, 94697271 edges,
lola: 189 tries, 188591019 fired transitions, 770 secs || 12886814 markings, 95310095 edges,
lola: 190 tries, 189809738 fired transitions, 775 secs || 12981664 markings, 95927708 edges,
lola: 192 tries, 191009159 fired transitions, 780 secs || 13061044 markings, 96538848 edges,
lola: 193 tries, 192235315 fired transitions, 785 secs || 13142138 markings, 97141537 edges,
lola: 194 tries, 193461776 fired transitions, 790 secs || 13221569 markings, 97742527 edges,
lola: 195 tries, 194685175 fired transitions, 795 secs || 13303700 markings, 98338571 edges,
lola: 196 tries, 195914363 fired transitions, 800 secs || 13381500 markings, 98932962 edges,
lola: 198 tries, 197140777 fired transitions, 805 secs || 13459427 markings, 99540524 edges,
lola: 199 tries, 198363825 fired transitions, 810 secs || 13542636 markings, 100148659 edges,
lola: 200 tries, 199590236 fired transitions, 815 secs || 13633959 markings, 100761250 edges,
lola: 201 tries, 200813067 fired transitions, 820 secs || 13713915 markings, 101365114 edges,
lola: 203 tries, 202033081 fired transitions, 825 secs || 13792304 markings, 101962818 edges,
lola: 204 tries, 203254688 fired transitions, 830 secs || 13873086 markings, 102561967 edges,
lola: 205 tries, 204475923 fired transitions, 835 secs || 13956305 markings, 103159128 edges,
lola: 206 tries, 205637401 fired transitions, 840 secs || 14026056 markings, 103730769 edges,
lola: 207 tries, 206850035 fired transitions, 845 secs || 14115090 markings, 104328451 edges,
lola: 209 tries, 208068170 fired transitions, 850 secs || 14192631 markings, 104922148 edges,
lola: 210 tries, 209293909 fired transitions, 855 secs || 14267264 markings, 105536387 edges,
lola: 211 tries, 210498267 fired transitions, 860 secs || 14360072 markings, 106152028 edges,
lola: 212 tries, 211724921 fired transitions, 865 secs || 14442964 markings, 106765845 edges,
lola: 213 tries, 212954731 fired transitions, 870 secs || 14524052 markings, 107376159 edges,
lola: 215 tries, 214184209 fired transitions, 875 secs || 14605452 markings, 107982800 edges,
lola: 216 tries, 215413491 fired transitions, 880 secs || 14690574 markings, 108587373 edges,
lola: 217 tries, 216640368 fired transitions, 885 secs || 14764080 markings, 109189006 edges,
lola: 218 tries, 217867717 fired transitions, 890 secs || 14842674 markings, 109786115 edges,
lola: 220 tries, 219084123 fired transitions, 895 secs || 14924810 markings, 110387590 edges,
lola: 221 tries, 220287359 fired transitions, 900 secs || 15012967 markings, 110981200 edges,
lola: 222 tries, 221489380 fired transitions, 905 secs || 15095913 markings, 111599620 edges,
lola: 223 tries, 222698133 fired transitions, 910 secs || 15175750 markings, 112188718 edges,
lola: 224 tries, 223906945 fired transitions, 915 secs || 15256976 markings, 112793506 edges,
lola: 226 tries, 225111371 fired transitions, 920 secs || 15338983 markings, 113392454 edges,
lola: 227 tries, 226326496 fired transitions, 925 secs || 15418736 markings, 113992559 edges,
lola: 228 tries, 227549904 fired transitions, 930 secs || 15494219 markings, 114594790 edges,
lola: 229 tries, 228775944 fired transitions, 935 secs || 15579184 markings, 115195227 edges,
lola: 231 tries, 230005202 fired transitions, 940 secs || 15656249 markings, 115802029 edges,
lola: 232 tries, 231230734 fired transitions, 945 secs || 15740575 markings, 116407257 edges,
lola: 233 tries, 232457633 fired transitions, 950 secs || 15828323 markings, 117021176 edges,
lola: 234 tries, 233684372 fired transitions, 955 secs || 15910980 markings, 117629645 edges,
lola: 235 tries, 234904848 fired transitions, 960 secs || 15991451 markings, 118232434 edges,
lola: 237 tries, 236107502 fired transitions, 965 secs || 16072420 markings, 118826986 edges,
lola: 238 tries, 237309534 fired transitions, 970 secs || 16152691 markings, 119422775 edges,
lola: 239 tries, 238531913 fired transitions, 975 secs || 16227884 markings, 120020986 edges,
lola: 240 tries, 239753836 fired transitions, 980 secs || 16313250 markings, 120615356 edges,
lola: 241 tries, 240972999 fired transitions, 985 secs || 16389602 markings, 121212865 edges,
lola: 243 tries, 242164679 fired transitions, 990 secs || 16468718 markings, 121813435 edges,
lola: 244 tries, 243380200 fired transitions, 995 secs || 16555004 markings, 122418862 edges,
lola: 245 tries, 244603958 fired transitions, 1000 secs || 16640043 markings, 123034810 edges,
lola: 246 tries, 245827913 fired transitions, 1005 secs || 16722002 markings, 123640556 edges,
lola: 248 tries, 247008358 fired transitions, 1010 secs || 16800914 markings, 124245525 edges,
lola: 249 tries, 248186326 fired transitions, 1015 secs || 16880910 markings, 124832968 edges,
lola: 250 tries, 249399946 fired transitions, 1020 secs || 16962052 markings, 125422936 edges,
lola: 251 tries, 250587059 fired transitions, 1025 secs || 17035885 markings, 126024978 edges,
lola: 252 tries, 251803128 fired transitions, 1030 secs || 17117337 markings, 126625671 edges,
lola: 254 tries, 253026373 fired transitions, 1035 secs || 17199346 markings, 127227844 edges,
lola: 255 tries, 254247280 fired transitions, 1040 secs || 17288992 markings, 127828952 edges,
lola: 256 tries, 255469365 fired transitions, 1045 secs || 17363438 markings, 128444116 edges,
lola: 257 tries, 256667910 fired transitions, 1050 secs || 17454110 markings, 129053102 edges,
lola: 258 tries, 257862692 fired transitions, 1055 secs || 17535490 markings, 129654258 edges,
lola: 260 tries, 259085774 fired transitions, 1060 secs || 17610471 markings, 130260555 edges,
lola: 261 tries, 260306477 fired transitions, 1065 secs || 17696480 markings, 130860376 edges,
lola: 262 tries, 261533985 fired transitions, 1070 secs || 17779607 markings, 131464684 edges,
lola: 263 tries, 262763948 fired transitions, 1075 secs || 17854541 markings, 132056649 edges,
lola: 264 tries, 263992073 fired transitions, 1080 secs || 17934539 markings, 132640073 edges,
lola: 266 tries, 265219565 fired transitions, 1085 secs || 18019247 markings, 133237082 edges,
lola: 267 tries, 266444635 fired transitions, 1090 secs || 18091486 markings, 133847385 edges,
lola: 268 tries, 267655164 fired transitions, 1095 secs || 18181136 markings, 134458325 edges,
lola: 269 tries, 268865903 fired transitions, 1100 secs || 18266332 markings, 135079320 edges,
lola: 271 tries, 270092448 fired transitions, 1105 secs || 18350198 markings, 135689418 edges,
lola: 272 tries, 271303770 fired transitions, 1110 secs || 18430288 markings, 136297755 edges,
lola: 273 tries, 272529338 fired transitions, 1115 secs || 18507655 markings, 136897878 edges,
lola: 274 tries, 273757562 fired transitions, 1120 secs || 18589090 markings, 137499754 edges,
lola: 275 tries, 274982449 fired transitions, 1125 secs || 18672780 markings, 138101770 edges,
lola: 277 tries, 276206342 fired transitions, 1130 secs || 18756228 markings, 138705161 edges,
lola: 278 tries, 277409085 fired transitions, 1135 secs || 18829898 markings, 139309409 edges,
lola: 279 tries, 278639654 fired transitions, 1140 secs || 18916221 markings, 139915341 edges,
lola: 280 tries, 279871368 fired transitions, 1145 secs || 18991360 markings, 140529444 edges,
lola: 282 tries, 281101805 fired transitions, 1150 secs || 19085710 markings, 141146486 edges,
lola: 283 tries, 282323961 fired transitions, 1155 secs || 19165316 markings, 141756353 edges,
lola: 284 tries, 283540348 fired transitions, 1160 secs || 19248828 markings, 142357363 edges,
lola: 285 tries, 284757264 fired transitions, 1165 secs || 19328923 markings, 142959094 edges,
lola: 286 tries, 285974212 fired transitions, 1170 secs || 19406959 markings, 143556493 edges,
lola: 288 tries, 287189397 fired transitions, 1175 secs || 19493148 markings, 144150253 edges,
lola: 289 tries, 288375361 fired transitions, 1180 secs || 19570790 markings, 144746322 edges,
lola: 290 tries, 289593396 fired transitions, 1185 secs || 19653728 markings, 145343537 edges,
lola: 291 tries, 290815744 fired transitions, 1190 secs || 19724782 markings, 145947565 edges,
lola: 293 tries, 292029808 fired transitions, 1195 secs || 19815161 markings, 146543803 edges,
lola: 294 tries, 293246875 fired transitions, 1200 secs || 19891393 markings, 147150800 edges,
lola: 295 tries, 294460674 fired transitions, 1205 secs || 19979309 markings, 147765671 edges,
lola: 296 tries, 295681665 fired transitions, 1210 secs || 20061001 markings, 148369652 edges,
lola: 297 tries, 296899614 fired transitions, 1215 secs || 20139344 markings, 148964850 edges,
lola: 299 tries, 298112483 fired transitions, 1220 secs || 20220884 markings, 149542643 edges,
lola: 300 tries, 299328161 fired transitions, 1225 secs || 20299534 markings, 150122800 edges,
lola: 301 tries, 300545285 fired transitions, 1230 secs || 20372356 markings, 150711570 edges,
lola: 302 tries, 301761549 fired transitions, 1235 secs || 20450029 markings, 151308379 edges,
lola: 303 tries, 302975558 fired transitions, 1240 secs || 20532936 markings, 151903680 edges,
lola: 305 tries, 304188404 fired transitions, 1245 secs || 20618755 markings, 152494580 edges,
lola: 306 tries, 305404359 fired transitions, 1250 secs || 20694049 markings, 153090886 edges,
lola: 307 tries, 306625671 fired transitions, 1255 secs || 20770249 markings, 153696068 edges,
lola: 308 tries, 307847024 fired transitions, 1260 secs || 20863839 markings, 154308033 edges,
lola: 310 tries, 309070797 fired transitions, 1265 secs || 20946453 markings, 154915768 edges,
lola: 311 tries, 310292791 fired transitions, 1270 secs || 21024929 markings, 155517699 edges,
lola: 312 tries, 311522402 fired transitions, 1275 secs || 21108604 markings, 156119958 edges,
lola: 313 tries, 312752807 fired transitions, 1280 secs || 21188515 markings, 156724097 edges,
lola: 314 tries, 313982838 fired transitions, 1285 secs || 21268623 markings, 157326987 edges,
lola: 316 tries, 315214276 fired transitions, 1290 secs || 21352682 markings, 157927733 edges,
lola: 317 tries, 316444027 fired transitions, 1295 secs || 21429583 markings, 158516714 edges,
lola: 318 tries, 317668924 fired transitions, 1300 secs || 21504671 markings, 159119747 edges,
lola: 319 tries, 318891900 fired transitions, 1305 secs || 21593980 markings, 159719864 edges,
lola: 321 tries, 320116432 fired transitions, 1310 secs || 21673168 markings, 160327292 edges,
lola: 322 tries, 321342611 fired transitions, 1315 secs || 21752606 markings, 160944428 edges,
lola: 323 tries, 322568646 fired transitions, 1320 secs || 21843527 markings, 161561731 edges,
lola: 324 tries, 323794099 fired transitions, 1325 secs || 21926144 markings, 162171923 edges,
lola: 326 tries, 325020318 fired transitions, 1330 secs || 22002021 markings, 162780865 edges,
lola: 327 tries, 326248213 fired transitions, 1335 secs || 22087845 markings, 163385796 edges,
lola: 328 tries, 327473856 fired transitions, 1340 secs || 22170887 markings, 163986510 edges,
lola: 329 tries, 328697158 fired transitions, 1345 secs || 22246114 markings, 164592172 edges,
lola: 330 tries, 329919388 fired transitions, 1350 secs || 22326580 markings, 165195846 edges,
lola: 332 tries, 331142999 fired transitions, 1355 secs || 22412285 markings, 165798086 edges,
lola: 333 tries, 332369982 fired transitions, 1360 secs || 22489122 markings, 166403772 edges,
lola: 334 tries, 333590850 fired transitions, 1365 secs || 22578453 markings, 167004258 edges,
lola: 335 tries, 334812593 fired transitions, 1370 secs || 22656671 markings, 167611944 edges,
lola: 337 tries, 336028079 fired transitions, 1375 secs || 22744359 markings, 168227660 edges,
lola: 338 tries, 337249534 fired transitions, 1380 secs || 22826366 markings, 168839433 edges,
lola: 339 tries, 338475159 fired transitions, 1385 secs || 22908125 markings, 169441757 edges,
lola: 340 tries, 339692063 fired transitions, 1390 secs || 22987050 markings, 170044676 edges,
lola: 341 tries, 340913624 fired transitions, 1395 secs || 23063542 markings, 170646814 edges,
lola: 343 tries, 342140096 fired transitions, 1400 secs || 23148141 markings, 171243680 edges,
lola: 344 tries, 343366403 fired transitions, 1405 secs || 23224619 markings, 171845787 edges,
lola: 345 tries, 344579926 fired transitions, 1410 secs || 23306249 markings, 172443052 edges,
lola: 346 tries, 345788279 fired transitions, 1415 secs || 23393099 markings, 173037201 edges,
lola: 348 tries, 347005121 fired transitions, 1420 secs || 23465227 markings, 173637916 edges,
lola: 349 tries, 348219996 fired transitions, 1425 secs || 23546210 markings, 174236788 edges,
lola: 350 tries, 349431405 fired transitions, 1430 secs || 23630400 markings, 174834990 edges,
lola: 351 tries, 350637466 fired transitions, 1435 secs || 23710326 markings, 175435911 edges,
lola: 352 tries, 351845437 fired transitions, 1440 secs || 23794929 markings, 176020211 edges,
lola: 354 tries, 353056140 fired transitions, 1445 secs || 23873471 markings, 176606689 edges,
lola: 355 tries, 354272715 fired transitions, 1450 secs || 23949972 markings, 177195182 edges,
lola: 356 tries, 355475058 fired transitions, 1455 secs || 24032957 markings, 177777914 edges,
lola: 357 tries, 356677303 fired transitions, 1460 secs || 24108162 markings, 178360820 edges,
lola: 358 tries, 357896845 fired transitions, 1465 secs || 24187139 markings, 178922520 edges,
lola: 360 tries, 359112620 fired transitions, 1470 secs || 24258088 markings, 179490137 edges,
lola: 361 tries, 360330557 fired transitions, 1475 secs || 24336438 markings, 180081972 edges,
lola: 362 tries, 361538705 fired transitions, 1480 secs || 24422103 markings, 180666932 edges,
lola: 363 tries, 362756899 fired transitions, 1485 secs || 24499566 markings, 181255748 edges,
lola: 364 tries, 363974440 fired transitions, 1490 secs || 24576489 markings, 181849883 edges,
lola: 366 tries, 365192707 fired transitions, 1495 secs || 24656457 markings, 182446438 edges,
lola: 367 tries, 366378114 fired transitions, 1500 secs || 24745944 markings, 183055798 edges,
lola: 368 tries, 367599777 fired transitions, 1505 secs || 24829333 markings, 183667319 edges,
lola: 369 tries, 368816176 fired transitions, 1510 secs || 24910557 markings, 184272835 edges,
lola: 371 tries, 370007117 fired transitions, 1515 secs || 24988754 markings, 184877262 edges,
lola: 372 tries, 371230165 fired transitions, 1520 secs || 25066338 markings, 185481164 edges,
lola: 373 tries, 372453345 fired transitions, 1525 secs || 25149933 markings, 186081042 edges,
lola: 374 tries, 373684280 fired transitions, 1530 secs || 25227130 markings, 186688528 edges,
lola: 375 tries, 374913842 fired transitions, 1535 secs || 25308305 markings, 187292167 edges,
lola: 377 tries, 376125778 fired transitions, 1540 secs || 25395347 markings, 187895309 edges,
lola: 378 tries, 377340117 fired transitions, 1545 secs || 25471845 markings, 188500521 edges,
lola: 379 tries, 378564106 fired transitions, 1550 secs || 25562735 markings, 189101633 edges,
lola: 380 tries, 379789584 fired transitions, 1555 secs || 25643074 markings, 189710091 edges,
lola: 382 tries, 381013631 fired transitions, 1560 secs || 25725336 markings, 190320684 edges,
lola: 383 tries, 382216869 fired transitions, 1565 secs || 25811350 markings, 190940435 edges,
lola: 384 tries, 383426122 fired transitions, 1570 secs || 25891195 markings, 191551383 edges,
lola: 385 tries, 384614093 fired transitions, 1575 secs || 25973310 markings, 192158793 edges,
lola: 386 tries, 385828797 fired transitions, 1580 secs || 26053860 markings, 192762988 edges,
lola: 388 tries, 387052134 fired transitions, 1585 secs || 26138387 markings, 193365862 edges,
lola: 389 tries, 388266625 fired transitions, 1590 secs || 26212223 markings, 193970414 edges,
lola: 390 tries, 389475938 fired transitions, 1595 secs || 26293063 markings, 194571983 edges,
lola: 391 tries, 390696501 fired transitions, 1600 secs || 26373067 markings, 195173497 edges,
lola: 392 tries, 391915836 fired transitions, 1605 secs || 26461389 markings, 195775397 edges,
lola: 394 tries, 393142616 fired transitions, 1610 secs || 26534648 markings, 196381649 edges,
lola: 395 tries, 394362533 fired transitions, 1615 secs || 26619452 markings, 196984025 edges,
lola: 396 tries, 395588477 fired transitions, 1620 secs || 26700225 markings, 197577900 edges,
lola: 397 tries, 396807654 fired transitions, 1625 secs || 26781404 markings, 198189149 edges,
lola: 399 tries, 398033524 fired transitions, 1630 secs || 26871922 markings, 198806647 edges,
lola: 400 tries, 399261133 fired transitions, 1635 secs || 26954300 markings, 199419690 edges,
lola: 401 tries, 400487418 fired transitions, 1640 secs || 27038172 markings, 200026244 edges,
lola: 402 tries, 401713790 fired transitions, 1645 secs || 27118399 markings, 200632846 edges,
lola: 403 tries, 402938145 fired transitions, 1650 secs || 27196583 markings, 201236974 edges,
lola: 405 tries, 404162452 fired transitions, 1655 secs || 27282919 markings, 201837552 edges,
lola: 406 tries, 405225683 fired transitions, 1660 secs || 27345086 markings, 202363275 edges,
lola: 406 tries, 405843079 fired transitions, 1665 secs || 27386139 markings, 202666620 edges,
lola: 407 tries, 406460768 fired transitions, 1670 secs || 27424384 markings, 202969192 edges,
lola: 408 tries, 407546634 fired transitions, 1675 secs || 27508162 markings, 203512052 edges,
lola: 409 tries, 408766691 fired transitions, 1680 secs || 27582258 markings, 204119772 edges,
lola: 410 tries, 409987606 fired transitions, 1685 secs || 27662272 markings, 204723707 edges,
lola: 412 tries, 411192084 fired transitions, 1690 secs || 27748190 markings, 205326856 edges,
lola: 413 tries, 412378739 fired transitions, 1695 secs || 27823898 markings, 205917064 edges,
lola: 414 tries, 413604235 fired transitions, 1700 secs || 27900553 markings, 206526019 edges,
lola: 415 tries, 414824491 fired transitions, 1705 secs || 27996804 markings, 207125132 edges,
lola: 417 tries, 416039620 fired transitions, 1710 secs || 28075273 markings, 207740120 edges,
lola: 418 tries, 417257581 fired transitions, 1715 secs || 28158610 markings, 208349184 edges,
lola: 419 tries, 418460099 fired transitions, 1720 secs || 28236387 markings, 208956281 edges,
lola: 420 tries, 419687319 fired transitions, 1725 secs || 28319209 markings, 209563319 edges,
lola: 421 tries, 420891474 fired transitions, 1730 secs || 28404008 markings, 210163542 edges,
lola: 423 tries, 422088190 fired transitions, 1735 secs || 28483193 markings, 210769040 edges,
lola: 424 tries, 423294957 fired transitions, 1740 secs || 28567604 markings, 211372294 edges,
lola: 425 tries, 424528714 fired transitions, 1745 secs || 28644454 markings, 211981187 edges,
lola: 426 tries, 425759411 fired transitions, 1750 secs || 28731612 markings, 212585659 edges,
lola: 427 tries, 426992856 fired transitions, 1755 secs || 28808868 markings, 213193467 edges,
lola: 429 tries, 428224647 fired transitions, 1760 secs || 28889119 markings, 213803109 edges,
lola: 430 tries, 429460088 fired transitions, 1765 secs || 28972264 markings, 214408979 edges,
lola: 431 tries, 430689935 fired transitions, 1770 secs || 29058630 markings, 215026584 edges,
lola: 432 tries, 431916154 fired transitions, 1775 secs || 29147435 markings, 215646423 edges,
lola: 434 tries, 433149485 fired transitions, 1780 secs || 29226774 markings, 216255780 edges,
lola: 435 tries, 434380934 fired transitions, 1785 secs || 29309738 markings, 216852260 edges,
lola: 436 tries, 435611827 fired transitions, 1790 secs || 29383897 markings, 217452036 edges,
lola: 437 tries, 436844604 fired transitions, 1795 secs || 29464389 markings, 218058475 edges,
lola: 439 tries, 438078560 fired transitions, 1800 secs || 29554041 markings, 218659241 edges,
lola: 440 tries, 439311117 fired transitions, 1805 secs || 29634507 markings, 219263072 edges,
lola: 441 tries, 440542283 fired transitions, 1810 secs || 29712467 markings, 219865011 edges,
lola: 442 tries, 441773308 fired transitions, 1815 secs || 29791325 markings, 220464866 edges,
lola: 443 tries, 442987356 fired transitions, 1820 secs || 29868910 markings, 221070700 edges,
lola: 445 tries, 444223844 fired transitions, 1825 secs || 29956377 markings, 221672848 edges,
lola: 446 tries, 445458276 fired transitions, 1830 secs || 30032503 markings, 222258855 edges,
lola: 447 tries, 446692120 fired transitions, 1835 secs || 30105060 markings, 222843821 edges,
lola: 448 tries, 447922771 fired transitions, 1840 secs || 30191294 markings, 223455056 edges,
lola: 450 tries, 449149038 fired transitions, 1845 secs || 30284654 markings, 224074293 edges,
lola: 451 tries, 450378819 fired transitions, 1850 secs || 30363968 markings, 224668785 edges,
lola: 452 tries, 451609660 fired transitions, 1855 secs || 30445625 markings, 225264261 edges,
lola: 453 tries, 452837989 fired transitions, 1860 secs || 30527450 markings, 225864157 edges,
lola: 455 tries, 454069311 fired transitions, 1865 secs || 30607395 markings, 226464754 edges,
lola: 456 tries, 455303099 fired transitions, 1870 secs || 30681056 markings, 227070856 edges,
lola: 457 tries, 456534054 fired transitions, 1875 secs || 30764810 markings, 227667863 edges,
lola: 458 tries, 457768118 fired transitions, 1880 secs || 30840761 markings, 228270611 edges,
lola: 460 tries, 459001233 fired transitions, 1885 secs || 30928951 markings, 228866596 edges,
lola: 461 tries, 460234488 fired transitions, 1890 secs || 31002153 markings, 229470034 edges,
lola: 462 tries, 461465821 fired transitions, 1895 secs || 31087343 markings, 230068867 edges,
lola: 463 tries, 462699707 fired transitions, 1900 secs || 31170342 markings, 230669112 edges,
lola: 464 tries, 463929992 fired transitions, 1905 secs || 31245293 markings, 231262557 edges,
lola: 466 tries, 465155640 fired transitions, 1910 secs || 31324112 markings, 231863167 edges,
lola: 467 tries, 466381932 fired transitions, 1915 secs || 31412201 markings, 232469245 edges,
lola: 468 tries, 467612246 fired transitions, 1920 secs || 31501452 markings, 233079819 edges,
lola: 469 tries, 468840282 fired transitions, 1925 secs || 31580586 markings, 233681212 edges,
lola: 471 tries, 470068209 fired transitions, 1930 secs || 31659917 markings, 234266117 edges,
lola: 472 tries, 471296355 fired transitions, 1935 secs || 31736100 markings, 234852288 edges,
lola: 473 tries, 472526610 fired transitions, 1940 secs || 31817286 markings, 235443736 edges,
lola: 474 tries, 473725129 fired transitions, 1945 secs || 31893180 markings, 236043771 edges,
lola: 475 tries, 474919478 fired transitions, 1950 secs || 31973219 markings, 236637361 edges,
lola: 477 tries, 476122749 fired transitions, 1955 secs || 32054096 markings, 237227438 edges,
lola: 478 tries, 477354896 fired transitions, 1960 secs || 32135846 markings, 237810167 edges,
lola: 479 tries, 478582265 fired transitions, 1965 secs || 32217196 markings, 238400330 edges,
lola: 480 tries, 479815244 fired transitions, 1970 secs || 32294177 markings, 238996297 edges,
lola: 482 tries, 481045181 fired transitions, 1975 secs || 32374188 markings, 239595177 edges,
lola: 483 tries, 482272261 fired transitions, 1980 secs || 32457115 markings, 240191662 edges,
lola: 484 tries, 483485799 fired transitions, 1985 secs || 32536621 markings, 240770649 edges,
lola: 485 tries, 484708877 fired transitions, 1990 secs || 32605874 markings, 241359047 edges,
lola: 486 tries, 485914902 fired transitions, 1995 secs || 32700049 markings, 241957663 edges,
lola: 488 tries, 487133613 fired transitions, 2000 secs || 32776765 markings, 242549233 edges,
lola: 489 tries, 488360398 fired transitions, 2005 secs || 32856896 markings, 243132410 edges,
lola: 490 tries, 489575103 fired transitions, 2010 secs || 32930029 markings, 243711533 edges,
lola: 491 tries, 490641689 fired transitions, 2015 secs || 33006365 markings, 244234508 edges,
lola: 492 tries, 491844021 fired transitions, 2020 secs || 33084521 markings, 244839779 edges,
lola: 494 tries, 493073519 fired transitions, 2025 secs || 33170532 markings, 245438690 edges,
lola: 495 tries, 494290507 fired transitions, 2030 secs || 33249035 markings, 246039683 edges,
lola: 496 tries, 495519234 fired transitions, 2035 secs || 33322876 markings, 246646789 edges,
lola: 497 tries, 496746442 fired transitions, 2040 secs || 33410782 markings, 247235237 edges,
lola: 498 tries, 497972537 fired transitions, 2045 secs || 33490959 markings, 247836304 edges,
lola: 500 tries, 499205630 fired transitions, 2050 secs || 33570045 markings, 248438159 edges,
lola: 501 tries, 500439760 fired transitions, 2055 secs || 33652158 markings, 249041368 edges,
lola: 502 tries, 501673379 fired transitions, 2060 secs || 33737237 markings, 249645679 edges,
lola: 503 tries, 502906962 fired transitions, 2065 secs || 33813520 markings, 250255529 edges,
lola: 505 tries, 504142969 fired transitions, 2070 secs || 33890694 markings, 250874933 edges,
lola: 506 tries, 505376607 fired transitions, 2075 secs || 33986614 markings, 251489440 edges,
lola: 507 tries, 506591420 fired transitions, 2080 secs || 34067688 markings, 252085050 edges,
lola: 508 tries, 507822386 fired transitions, 2085 secs || 34142783 markings, 252687429 edges,
lola: 510 tries, 509050611 fired transitions, 2090 secs || 34228440 markings, 253271553 edges,
lola: 511 tries, 510281511 fired transitions, 2095 secs || 34306320 markings, 253872702 edges,
lola: 512 tries, 511511702 fired transitions, 2100 secs || 34386605 markings, 254473887 edges,
lola: 513 tries, 512740975 fired transitions, 2105 secs || 34466895 markings, 255070061 edges,
lola: 514 tries, 513965587 fired transitions, 2110 secs || 34549441 markings, 255662117 edges,
lola: 516 tries, 515188432 fired transitions, 2115 secs || 34623534 markings, 256263883 edges,
lola: 517 tries, 516419125 fired transitions, 2120 secs || 34703262 markings, 256860296 edges,
lola: 518 tries, 517649397 fired transitions, 2125 secs || 34785435 markings, 257447326 edges,
lola: 519 tries, 518851667 fired transitions, 2130 secs || 34865932 markings, 258045816 edges,
lola: 521 tries, 520079228 fired transitions, 2135 secs || 34942776 markings, 258650113 edges,
lola: 522 tries, 521310290 fired transitions, 2140 secs || 35023594 markings, 259257480 edges,
lola: 523 tries, 522537436 fired transitions, 2145 secs || 35112697 markings, 259864837 edges,
lola: 524 tries, 523768941 fired transitions, 2150 secs || 35197932 markings, 260482234 edges,
lola: 526 tries, 525000211 fired transitions, 2155 secs || 35282306 markings, 261102630 edges,
lola: 527 tries, 526232013 fired transitions, 2160 secs || 35366454 markings, 261709750 edges,
lola: 528 tries, 527464019 fired transitions, 2165 secs || 35442782 markings, 262318630 edges,
lola: 529 tries, 528694165 fired transitions, 2170 secs || 35530792 markings, 262919666 edges,
lola: 530 tries, 529925188 fired transitions, 2175 secs || 35608091 markings, 263524262 edges,
lola: 532 tries, 531150494 fired transitions, 2180 secs || 35692046 markings, 264126373 edges,
lola: 533 tries, 532381155 fired transitions, 2185 secs || 35773778 markings, 264727919 edges,
lola: 534 tries, 533608210 fired transitions, 2190 secs || 35848978 markings, 265328972 edges,
lola: 535 tries, 534838136 fired transitions, 2195 secs || 35932902 markings, 265929031 edges,
lola: 537 tries, 536063311 fired transitions, 2200 secs || 36008059 markings, 266532577 edges,
lola: 538 tries, 537274734 fired transitions, 2205 secs || 36086609 markings, 267136905 edges,
lola: 539 tries, 538467918 fired transitions, 2210 secs || 36167284 markings, 267738410 edges,
lola: 540 tries, 539654111 fired transitions, 2215 secs || 36251301 markings, 268339324 edges,
lola: 541 tries, 540849783 fired transitions, 2220 secs || 36338345 markings, 268942817 edges,
lola: 543 tries, 542056851 fired transitions, 2225 secs || 36422955 markings, 269548392 edges,
lola: 544 tries, 543278664 fired transitions, 2230 secs || 36495075 markings, 270170422 edges,
lola: 545 tries, 544459264 fired transitions, 2235 secs || 36591602 markings, 270784288 edges,
lola: 546 tries, 545669267 fired transitions, 2240 secs || 36673854 markings, 271391191 edges,
lola: 547 tries, 546885958 fired transitions, 2245 secs || 36753055 markings, 271997813 edges,
lola: 549 tries, 548106482 fired transitions, 2250 secs || 36834248 markings, 272602235 edges,
lola: 550 tries, 549330492 fired transitions, 2255 secs || 36916819 markings, 273182819 edges,
lola: 551 tries, 550547549 fired transitions, 2260 secs || 36991989 markings, 273785758 edges,
lola: 552 tries, 551768887 fired transitions, 2265 secs || 37072411 markings, 274387834 edges,
lola: 553 tries, 552971913 fired transitions, 2270 secs || 37158028 markings, 274985625 edges,
lola: 555 tries, 554174439 fired transitions, 2275 secs || 37229667 markings, 275590711 edges,
lola: 556 tries, 555385942 fired transitions, 2280 secs || 37317906 markings, 276178853 edges,
lola: 557 tries, 556596916 fired transitions, 2285 secs || 37401886 markings, 276776451 edges,
lola: 558 tries, 557824162 fired transitions, 2290 secs || 37482856 markings, 277373106 edges,
lola: 560 tries, 559048585 fired transitions, 2295 secs || 37559383 markings, 277974283 edges,
lola: 561 tries, 560273615 fired transitions, 2300 secs || 37628934 markings, 278568290 edges,
lola: 562 tries, 561497435 fired transitions, 2305 secs || 37717861 markings, 279167069 edges,
lola: 563 tries, 562719266 fired transitions, 2310 secs || 37799516 markings, 279765858 edges,
lola: 564 tries, 563947936 fired transitions, 2315 secs || 37886418 markings, 280370717 edges,
lola: 566 tries, 565179753 fired transitions, 2320 secs || 37966765 markings, 280976364 edges,
lola: 567 tries, 566391278 fired transitions, 2325 secs || 38047593 markings, 281564572 edges,
lola: 568 tries, 567612467 fired transitions, 2330 secs || 38125777 markings, 282168723 edges,
lola: 569 tries, 568827352 fired transitions, 2335 secs || 38205174 markings, 282772597 edges,
lola: 571 tries, 570057215 fired transitions, 2340 secs || 38287009 markings, 283373892 edges,
lola: 572 tries, 571270738 fired transitions, 2345 secs || 38364671 markings, 283976260 edges,
lola: 573 tries, 572504754 fired transitions, 2350 secs || 38445165 markings, 284576269 edges,
lola: 574 tries, 573735307 fired transitions, 2355 secs || 38532119 markings, 285175022 edges,
lola: 575 tries, 574943643 fired transitions, 2360 secs || 38606312 markings, 285779485 edges,
lola: 577 tries, 576170306 fired transitions, 2365 secs || 38695821 markings, 286376638 edges,
lola: 578 tries, 577386126 fired transitions, 2370 secs || 38775918 markings, 286963170 edges,
lola: 579 tries, 578549394 fired transitions, 2375 secs || 38844630 markings, 287533354 edges,
lola: 580 tries, 579763179 fired transitions, 2380 secs || 38921545 markings, 288137438 edges,
lola: 581 tries, 580979631 fired transitions, 2385 secs || 39008178 markings, 288722972 edges,
lola: 583 tries, 582207520 fired transitions, 2390 secs || 39087756 markings, 289304580 edges,
lola: 584 tries, 583422884 fired transitions, 2395 secs || 39163893 markings, 289905198 edges,
lola: 585 tries, 584647182 fired transitions, 2400 secs || 39256118 markings, 290514169 edges,
lola: 586 tries, 585870197 fired transitions, 2405 secs || 39337952 markings, 291127838 edges,
lola: 588 tries, 587096236 fired transitions, 2410 secs || 39420086 markings, 291727725 edges,
lola: 589 tries, 588332214 fired transitions, 2415 secs || 39495846 markings, 292312765 edges,
lola: 590 tries, 589413895 fired transitions, 2420 secs || 39568535 markings, 292820881 edges,
lola: 591 tries, 590627818 fired transitions, 2425 secs || 39643642 markings, 293410731 edges,
lola: 592 tries, 591857290 fired transitions, 2430 secs || 39724682 markings, 293978348 edges,
lola: 594 tries, 593089966 fired transitions, 2435 secs || 39798914 markings, 294555362 edges,
lola: 595 tries, 594319944 fired transitions, 2440 secs || 39872324 markings, 295138279 edges,
lola: 596 tries, 595551393 fired transitions, 2445 secs || 39956945 markings, 295715007 edges,
lola: 597 tries, 596782686 fired transitions, 2450 secs || 40035217 markings, 296302089 edges,
lola: 599 tries, 598011551 fired transitions, 2455 secs || 40111759 markings, 296879630 edges,
lola: 600 tries, 599239617 fired transitions, 2460 secs || 40191507 markings, 297466821 edges,
lola: 601 tries, 600464788 fired transitions, 2465 secs || 40274168 markings, 298051622 edges,
lola: 602 tries, 601696158 fired transitions, 2470 secs || 40347269 markings, 298645636 edges,
lola: 603 tries, 602923568 fired transitions, 2475 secs || 40423213 markings, 299231152 edges,
lola: 605 tries, 604147909 fired transitions, 2480 secs || 40513868 markings, 299819012 edges,
lola: 606 tries, 605378714 fired transitions, 2485 secs || 40580819 markings, 300425115 edges,
lola: 607 tries, 606607408 fired transitions, 2490 secs || 40676882 markings, 301026113 edges,
lola: 608 tries, 607836918 fired transitions, 2495 secs || 40753757 markings, 301619865 edges,
lola: 610 tries, 609061598 fired transitions, 2500 secs || 40837312 markings, 302217492 edges,
lola: 611 tries, 610289877 fired transitions, 2505 secs || 40913303 markings, 302812771 edges,
lola: 612 tries, 611520536 fired transitions, 2510 secs || 40994594 markings, 303410300 edges,
lola: 613 tries, 612751451 fired transitions, 2515 secs || 41070732 markings, 303995974 edges,
lola: 614 tries, 613982316 fired transitions, 2520 secs || 41152540 markings, 304593274 edges,
lola: 616 tries, 615202290 fired transitions, 2525 secs || 41231578 markings, 305191239 edges,
lola: 617 tries, 616431886 fired transitions, 2530 secs || 41311646 markings, 305786514 edges,
lola: 618 tries, 617662336 fired transitions, 2535 secs || 41391978 markings, 306370339 edges,
lola: 619 tries, 618887994 fired transitions, 2540 secs || 41477190 markings, 306964927 edges,
lola: 621 tries, 620118676 fired transitions, 2545 secs || 41555212 markings, 307563198 edges,
lola: 622 tries, 621335800 fired transitions, 2550 secs || 41636210 markings, 308161809 edges,
lola: 623 tries, 622548179 fired transitions, 2555 secs || 41720034 markings, 308754610 edges,
lola: 624 tries, 623769043 fired transitions, 2560 secs || 41792076 markings, 309355926 edges,
lola: 625 tries, 624993463 fired transitions, 2565 secs || 41871203 markings, 309955919 edges,
lola: 627 tries, 626218450 fired transitions, 2570 secs || 41959917 markings, 310539986 edges,
lola: 628 tries, 627435005 fired transitions, 2575 secs || 42030535 markings, 311151794 edges,
lola: 629 tries, 628660862 fired transitions, 2580 secs || 42126695 markings, 311762765 edges,
lola: 630 tries, 629865916 fired transitions, 2585 secs || 42208765 markings, 312377334 edges,
lola: 632 tries, 631097804 fired transitions, 2590 secs || 42288913 markings, 312984458 edges,
lola: 633 tries, 632327956 fired transitions, 2595 secs || 42366958 markings, 313588351 edges,
lola: 634 tries, 633558592 fired transitions, 2600 secs || 42453133 markings, 314190071 edges,
lola: 635 tries, 634790292 fired transitions, 2605 secs || 42531773 markings, 314791017 edges,
lola: 637 tries, 636007767 fired transitions, 2610 secs || 42614241 markings, 315390152 edges,
lola: 638 tries, 637238426 fired transitions, 2615 secs || 42695913 markings, 315989428 edges,
lola: 639 tries, 638451658 fired transitions, 2620 secs || 42771249 markings, 316591675 edges,
lola: 640 tries, 639667625 fired transitions, 2625 secs || 42854876 markings, 317183151 edges,
lola: 641 tries, 640897074 fired transitions, 2630 secs || 42930004 markings, 317784867 edges,
lola: 643 tries, 642130679 fired transitions, 2635 secs || 43008030 markings, 318384429 edges,
lola: 644 tries, 643359477 fired transitions, 2640 secs || 43089044 markings, 318983294 edges,
lola: 645 tries, 644570886 fired transitions, 2645 secs || 43173041 markings, 319583475 edges,
lola: 646 tries, 645794520 fired transitions, 2650 secs || 43259982 markings, 320182438 edges,
lola: 648 tries, 647027867 fired transitions, 2655 secs || 43336694 markings, 320786718 edges,
lola: 649 tries, 648238674 fired transitions, 2660 secs || 43416285 markings, 321390648 edges,
lola: 650 tries, 649457197 fired transitions, 2665 secs || 43503056 markings, 321993573 edges,
lola: 651 tries, 650683106 fired transitions, 2670 secs || 43581078 markings, 322610298 edges,
lola: 652 tries, 651903191 fired transitions, 2675 secs || 43673337 markings, 323227195 edges,
lola: 654 tries, 653115576 fired transitions, 2680 secs || 43752736 markings, 323840200 edges,
lola: 655 tries, 654310866 fired transitions, 2685 secs || 43835889 markings, 324445150 edges,
lola: 656 tries, 655538201 fired transitions, 2690 secs || 43919027 markings, 325049535 edges,
lola: 657 tries, 656747290 fired transitions, 2695 secs || 43996838 markings, 325651272 edges,
lola: 658 tries, 657962719 fired transitions, 2700 secs || 44080239 markings, 326253961 edges,
lola: 660 tries, 659150011 fired transitions, 2705 secs || 44160701 markings, 326857240 edges,
lola: 661 tries, 660380654 fired transitions, 2710 secs || 44245943 markings, 327457756 edges,
lola: 662 tries, 661606834 fired transitions, 2715 secs || 44317592 markings, 328061817 edges,
lola: 663 tries, 662814544 fired transitions, 2720 secs || 44401361 markings, 328660533 edges,
lola: 665 tries, 664024238 fired transitions, 2725 secs || 44487971 markings, 329260220 edges,
lola: 666 tries, 665230501 fired transitions, 2730 secs || 44569314 markings, 329861125 edges,
lola: 667 tries, 666445466 fired transitions, 2735 secs || 44645806 markings, 330464418 edges,
lola: 668 tries, 667671949 fired transitions, 2740 secs || 44717976 markings, 331071376 edges,
lola: 669 tries, 668900831 fired transitions, 2745 secs || 44806947 markings, 331671569 edges,
lola: 671 tries, 670115364 fired transitions, 2750 secs || 44892209 markings, 332273869 edges,
lola: 672 tries, 671346952 fired transitions, 2755 secs || 44966644 markings, 332884597 edges,
lola: 673 tries, 672564699 fired transitions, 2760 secs || 45056585 markings, 333493109 edges,
lola: 674 tries, 673792045 fired transitions, 2765 secs || 45143368 markings, 334113121 edges,
lola: 676 tries, 675022814 fired transitions, 2770 secs || 45224581 markings, 334730569 edges,
lola: 677 tries, 676254844 fired transitions, 2775 secs || 45305893 markings, 335340391 edges,
lola: 678 tries, 677485960 fired transitions, 2780 secs || 45385501 markings, 335946154 edges,
lola: 679 tries, 678709550 fired transitions, 2785 secs || 45472807 markings, 336548000 edges,
lola: 680 tries, 679921516 fired transitions, 2790 secs || 45545313 markings, 337150474 edges,
lola: 682 tries, 681135891 fired transitions, 2795 secs || 45631049 markings, 337748042 edges,
lola: 683 tries, 682354517 fired transitions, 2800 secs || 45708901 markings, 338349827 edges,
lola: 684 tries, 683542894 fired transitions, 2805 secs || 45790287 markings, 338945142 edges,
lola: 685 tries, 684744311 fired transitions, 2810 secs || 45866261 markings, 339532856 edges,
lola: 686 tries, 685944553 fired transitions, 2815 secs || 45953279 markings, 340122899 edges,
lola: 688 tries, 687153162 fired transitions, 2820 secs || 46035665 markings, 340715976 edges,
lola: 689 tries, 688351146 fired transitions, 2825 secs || 46110685 markings, 341304201 edges,
lola: 690 tries, 689547005 fired transitions, 2830 secs || 46179295 markings, 341888645 edges,
lola: 691 tries, 690766824 fired transitions, 2835 secs || 46266113 markings, 342482288 edges,
lola: 692 tries, 691986277 fired transitions, 2840 secs || 46354018 markings, 343076023 edges,
lola: 694 tries, 693207998 fired transitions, 2845 secs || 46422165 markings, 343680695 edges,
lola: 695 tries, 694428301 fired transitions, 2850 secs || 46516962 markings, 344276271 edges,
lola: 696 tries, 695646806 fired transitions, 2855 secs || 46586617 markings, 344884137 edges,
lola: 697 tries, 696866415 fired transitions, 2860 secs || 46673205 markings, 345494261 edges,
lola: 699 tries, 698082852 fired transitions, 2865 secs || 46762620 markings, 346105307 edges,
lola: 700 tries, 699302500 fired transitions, 2870 secs || 46842066 markings, 346709581 edges,
lola: 701 tries, 700517319 fired transitions, 2875 secs || 46923776 markings, 347304943 edges,
lola: 702 tries, 701728577 fired transitions, 2880 secs || 46998515 markings, 347902986 edges,
lola: 703 tries, 702946150 fired transitions, 2885 secs || 47081438 markings, 348499102 edges,
lola: 705 tries, 704164177 fired transitions, 2890 secs || 47159311 markings, 349095786 edges,
lola: 706 tries, 705386799 fired transitions, 2895 secs || 47237764 markings, 349692137 edges,
lola: 707 tries, 706555052 fired transitions, 2900 secs || 47322264 markings, 350285538 edges,
lola: 708 tries, 707767944 fired transitions, 2905 secs || 47401670 markings, 350881188 edges,
lola: 709 tries, 708969133 fired transitions, 2910 secs || 47487907 markings, 351468950 edges,
lola: 711 tries, 710188292 fired transitions, 2915 secs || 47565854 markings, 352063872 edges,
lola: 712 tries, 711410588 fired transitions, 2920 secs || 47646770 markings, 352658461 edges,
lola: 713 tries, 712635944 fired transitions, 2925 secs || 47727943 markings, 353254889 edges,
lola: 714 tries, 713869611 fired transitions, 2930 secs || 47800629 markings, 353863553 edges,
lola: 716 tries, 715101654 fired transitions, 2935 secs || 47882084 markings, 354465498 edges,
lola: 717 tries, 716334888 fired transitions, 2940 secs || 47973999 markings, 355065643 edges,
lola: 718 tries, 717569093 fired transitions, 2945 secs || 48041771 markings, 355678193 edges,
lola: 719 tries, 718799231 fired transitions, 2950 secs || 48137695 markings, 356280701 edges,
lola: 721 tries, 720033722 fired transitions, 2955 secs || 48209889 markings, 356898795 edges,
lola: 722 tries, 721262331 fired transitions, 2960 secs || 48303417 markings, 357517490 edges,
lola: 723 tries, 722490399 fired transitions, 2965 secs || 48386825 markings, 358131456 edges,
lola: 724 tries, 723719809 fired transitions, 2970 secs || 48465392 markings, 358742647 edges,
lola: 725 tries, 724943929 fired transitions, 2975 secs || 48546085 markings, 359347260 edges,
lola: 727 tries, 726167020 fired transitions, 2980 secs || 48630122 markings, 359948735 edges,
lola: 728 tries, 727384577 fired transitions, 2985 secs || 48707838 markings, 360548747 edges,
lola: 729 tries, 728581348 fired transitions, 2990 secs || 48785450 markings, 361143708 edges,
lola: 730 tries, 729810555 fired transitions, 2995 secs || 48868432 markings, 361742202 edges,
lola: 732 tries, 731037912 fired transitions, 3000 secs || 48956036 markings, 362339651 edges,
lola: 733 tries, 732265998 fired transitions, 3005 secs || 49029881 markings, 362943373 edges,
lola: 734 tries, 733495727 fired transitions, 3010 secs || 49105511 markings, 363523937 edges,
lola: 735 tries, 734725549 fired transitions, 3015 secs || 49184597 markings, 364125785 edges,
lola: 736 tries, 735941680 fired transitions, 3020 secs || 49266564 markings, 364723576 edges,
lola: 738 tries, 737161505 fired transitions, 3025 secs || 49351549 markings, 365323382 edges,
lola: 739 tries, 738386507 fired transitions, 3030 secs || 49439475 markings, 365922853 edges,
lola: 740 tries, 739615286 fired transitions, 3035 secs || 49506510 markings, 366529793 edges,
lola: 741 tries, 740836825 fired transitions, 3040 secs || 49597369 markings, 367129026 edges,
lola: 743 tries, 742060651 fired transitions, 3045 secs || 49670360 markings, 367738529 edges,
lola: 744 tries, 743287123 fired transitions, 3050 secs || 49763631 markings, 368339791 edges,
lola: 745 tries, 744513648 fired transitions, 3055 secs || 49835433 markings, 368956007 edges,
lola: 746 tries, 745737566 fired transitions, 3060 secs || 49931336 markings, 369570318 edges,
lola: 747 tries, 746960551 fired transitions, 3065 secs || 50012904 markings, 370182833 edges,
lola: 749 tries, 748186053 fired transitions, 3070 secs || 50094075 markings, 370790894 edges,
lola: 750 tries, 749413619 fired transitions, 3075 secs || 50174388 markings, 371394400 edges,
lola: 751 tries, 750636936 fired transitions, 3080 secs || 50254055 markings, 371983393 edges,
lola: 752 tries, 751863201 fired transitions, 3085 secs || 50333096 markings, 372564401 edges,
lola: 754 tries, 753071977 fired transitions, 3090 secs || 50410826 markings, 373164600 edges,
lola: 755 tries, 754288456 fired transitions, 3095 secs || 50493741 markings, 373759505 edges,
lola: 756 tries, 755478657 fired transitions, 3100 secs || 50573724 markings, 374356491 edges,
lola: 757 tries, 756697772 fired transitions, 3105 secs || 50655013 markings, 374953707 edges,
lola: 758 tries, 757918745 fired transitions, 3110 secs || 50730945 markings, 375547163 edges,
lola: 760 tries, 759125975 fired transitions, 3115 secs || 50809942 markings, 376145248 edges,
lola: 761 tries, 760223680 fired transitions, 3120 secs || 50890516 markings, 376681539 edges,
lola: 762 tries, 761410640 fired transitions, 3125 secs || 50970549 markings, 377278556 edges,
lola: 763 tries, 762636840 fired transitions, 3130 secs || 51040524 markings, 377884892 edges,
lola: 764 tries, 763854977 fired transitions, 3135 secs || 51128260 markings, 378480353 edges,
lola: 766 tries, 765076865 fired transitions, 3140 secs || 51207510 markings, 379075492 edges,
lola: 767 tries, 766298643 fired transitions, 3145 secs || 51288965 markings, 379664653 edges,
lola: 768 tries, 767513805 fired transitions, 3150 secs || 51358438 markings, 380265315 edges,
lola: 769 tries, 768737430 fired transitions, 3155 secs || 51454007 markings, 380854470 edges,
lola: 770 tries, 769958022 fired transitions, 3160 secs || 51530785 markings, 381453551 edges,
lola: 772 tries, 771170918 fired transitions, 3165 secs || 51616982 markings, 382050553 edges,
lola: 773 tries, 772386147 fired transitions, 3170 secs || 51694328 markings, 382634928 edges,
lola: 774 tries, 773611432 fired transitions, 3175 secs || 51774965 markings, 383230331 edges,
lola: 775 tries, 774833952 fired transitions, 3180 secs || 51854122 markings, 383821511 edges,
lola: 777 tries, 776056124 fired transitions, 3185 secs || 51929237 markings, 384406520 edges,
lola: 778 tries, 777277575 fired transitions, 3190 secs || 52013302 markings, 384992177 edges,
lola: 779 tries, 778484628 fired transitions, 3195 secs || 52091930 markings, 385573248 edges,
lola: 780 tries, 779698776 fired transitions, 3200 secs || 52167931 markings, 386161613 edges,
lola: 781 tries, 780911660 fired transitions, 3205 secs || 52245879 markings, 386751041 edges,
lola: 783 tries, 782137794 fired transitions, 3210 secs || 52321001 markings, 387345015 edges,
lola: 784 tries, 783359211 fired transitions, 3215 secs || 52401325 markings, 387921373 edges,
lola: 785 tries, 784586416 fired transitions, 3220 secs || 52477123 markings, 388500977 edges,
lola: 786 tries, 785813673 fired transitions, 3225 secs || 52554750 markings, 389089806 edges,
lola: 788 tries, 787012098 fired transitions, 3230 secs || 52639480 markings, 389678453 edges,
lola: 789 tries, 788213929 fired transitions, 3235 secs || 52726202 markings, 390260320 edges,
lola: 790 tries, 789430570 fired transitions, 3240 secs || 52791964 markings, 390864585 edges,
lola: 791 tries, 790639471 fired transitions, 3245 secs || 52884687 markings, 391456382 edges,
lola: 792 tries, 791870348 fired transitions, 3250 secs || 52952889 markings, 392059183 edges,
lola: 794 tries, 793098207 fired transitions, 3255 secs || 53048451 markings, 392653134 edges,
lola: 795 tries, 794316902 fired transitions, 3260 secs || 53122181 markings, 393258849 edges,
lola: 796 tries, 795540820 fired transitions, 3265 secs || 53195190 markings, 393868963 edges,
lola: 797 tries, 796760493 fired transitions, 3270 secs || 53294022 markings, 394462536 edges,
lola: 798 tries, 797956546 fired transitions, 3275 secs || 53373229 markings, 395064608 edges,
lola: 800 tries, 799168136 fired transitions, 3280 secs || 53451353 markings, 395667642 edges,
lola: 801 tries, 800375332 fired transitions, 3285 secs || 53529372 markings, 396262357 edges,
lola: 802 tries, 801599098 fired transitions, 3290 secs || 53610490 markings, 396857730 edges,
lola: 803 tries, 802822519 fired transitions, 3295 secs || 53693069 markings, 397431369 edges,
lola: 805 tries, 804045262 fired transitions, 3300 secs || 53770608 markings, 398021945 edges,
lola: 806 tries, 805266334 fired transitions, 3305 secs || 53853325 markings, 398608577 edges,
lola: 807 tries, 806490172 fired transitions, 3310 secs || 53922276 markings, 399200985 edges,
lola: 808 tries, 807695369 fired transitions, 3315 secs || 54009344 markings, 399782190 edges,
lola: 809 tries, 808922407 fired transitions, 3320 secs || 54089890 markings, 400368365 edges,
lola: 811 tries, 810148677 fired transitions, 3325 secs || 54168723 markings, 400959066 edges,
lola: 812 tries, 811373687 fired transitions, 3330 secs || 54250536 markings, 401550210 edges,
lola: 813 tries, 812600088 fired transitions, 3335 secs || 54324344 markings, 402145342 edges,
lola: 814 tries, 813826199 fired transitions, 3340 secs || 54398071 markings, 402736071 edges,
lola: 816 tries, 815049831 fired transitions, 3345 secs || 54487529 markings, 403315306 edges,
lola: 817 tries, 816276890 fired transitions, 3350 secs || 54553450 markings, 403905325 edges,
lola: 818 tries, 817500585 fired transitions, 3355 secs || 54648188 markings, 404497848 edges,
lola: 819 tries, 818729643 fired transitions, 3360 secs || 54717726 markings, 405101017 edges,
lola: 820 tries, 819957356 fired transitions, 3365 secs || 54800848 markings, 405701395 edges,
lola: 822 tries, 821181498 fired transitions, 3370 secs || 54890359 markings, 406302369 edges,
lola: 823 tries, 822411055 fired transitions, 3375 secs || 54964812 markings, 406918670 edges,
lola: 824 tries, 823639712 fired transitions, 3380 secs || 55056798 markings, 407527956 edges,
lola: 825 tries, 824871524 fired transitions, 3385 secs || 55138302 markings, 408130529 edges,
lola: 827 tries, 826092203 fired transitions, 3390 secs || 55216398 markings, 408721368 edges,
lola: 828 tries, 827312797 fired transitions, 3395 secs || 55293890 markings, 409304537 edges,
lola: 829 tries, 828534329 fired transitions, 3400 secs || 55374826 markings, 409885824 edges,
lola: 830 tries, 829755639 fired transitions, 3405 secs || 55448307 markings, 410472026 edges,
lola: 831 tries, 830970474 fired transitions, 3410 secs || 55526758 markings, 411046184 edges,
lola: 833 tries, 832189416 fired transitions, 3415 secs || 55608991 markings, 411611857 edges,
lola: 834 tries, 833400751 fired transitions, 3420 secs || 55680042 markings, 412193080 edges,
lola: 835 tries, 834625570 fired transitions, 3425 secs || 55756904 markings, 412780470 edges,
lola: 836 tries, 835833241 fired transitions, 3430 secs || 55840096 markings, 413365008 edges,
lola: 838 tries, 837057160 fired transitions, 3435 secs || 55915888 markings, 413944640 edges,
lola: 839 tries, 838285157 fired transitions, 3440 secs || 55988888 markings, 414532434 edges,
lola: 840 tries, 839470523 fired transitions, 3445 secs || 56073258 markings, 415104741 edges,
lola: 841 tries, 840696228 fired transitions, 3450 secs || 56160963 markings, 415693639 edges,
lola: 842 tries, 841924629 fired transitions, 3455 secs || 56225824 markings, 416294578 edges,
lola: 844 tries, 843140584 fired transitions, 3460 secs || 56318503 markings, 416884048 edges,
lola: 845 tries, 844371838 fired transitions, 3465 secs || 56386693 markings, 417486282 edges,
lola: 846 tries, 845591664 fired transitions, 3470 secs || 56480759 markings, 418078325 edges,
lola: 847 tries, 846804890 fired transitions, 3475 secs || 56555808 markings, 418677880 edges,
lola: 849 tries, 848018299 fired transitions, 3480 secs || 56628129 markings, 419258536 edges,
lola: 850 tries, 849230863 fired transitions, 3485 secs || 56701903 markings, 419844489 edges,
lola: 851 tries, 850439149 fired transitions, 3490 secs || 56802202 markings, 420444042 edges,
lola: 852 tries, 851652208 fired transitions, 3495 secs || 56881447 markings, 421048621 edges,
lola: 853 tries, 852863604 fired transitions, 3500 secs || 56960711 markings, 421650686 edges,
lola: 855 tries, 854079302 fired transitions, 3505 secs || 57038549 markings, 422247091 edges,
lola: 856 tries, 855294611 fired transitions, 3510 secs || 57118191 markings, 422836023 edges,
lola: 857 tries, 856506450 fired transitions, 3515 secs || 57200994 markings, 423402203 edges,
lola: 858 tries, 857722861 fired transitions, 3520 secs || 57278416 markings, 423988824 edges,
lola: 859 tries, 858936103 fired transitions, 3525 secs || 57358208 markings, 424573230 edges,
lola: 861 tries, 860152663 fired transitions, 3530 secs || 57429748 markings, 425152186 edges,
lola: 862 tries, 861366073 fired transitions, 3535 secs || 57510637 markings, 425742154 edges,
lola: 863 tries, 862581448 fired transitions, 3540 secs || 57597388 markings, 426331434 edges,
lola: 864 tries, 863794818 fired transitions, 3545 secs || 57676432 markings, 426921730 edges,
lola: 866 tries, 865009922 fired transitions, 3550 secs || 57751899 markings, 427504466 edges,
lola: 867 tries, 866202167 fired transitions, 3555 secs || 57820557 markings, 428090772 edges,
lola: time limit reached - aborting
lola: memory consumption: 3169596 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 1552573564999

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
le='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 22410 markings/sec, 0 secs 17325 markings/sec, 5 secs 17617 markings/sec, 10 secs 16960 markings/sec, 15 secs 17091 markings/sec, 20 secs 17220 markings/sec, 25 secs 16832 markings/sec, 30 secs 17343 markings/sec, 35 secs 17140 markings/sec, 40 secs 16646 markings/sec, 45 secs 17016 markings/sec, 50 secs 16138 markings/sec, 55 secs 17457 markings/sec, 60 secs 17204 markings/sec, 65 secs 16561 markings/sec, 70 secs 17009 markings/sec, 75 secs 16686 markings/sec, 80 secs 16572 markings/sec, 85 secs 17568 markings/sec, 90 secs 16732 markings/sec, 95 secs 16355 markings/sec, 100 secs 17298 markings/sec, 105 secs 16500 markings/sec, 110 secs 17478 markings/sec, 115 secs 16587 markings/sec, 120 secs 17341 markings/sec, 125 secs 16735 markings/sec, 130 secs 15253 markings/sec, 135 secs 16915 markings/sec, 140 secs 15782 markings/sec, 145 secs 16779 markings/sec, 150 secs 16506 markings/sec, 155 secs 15662 markings/sec, 160 secs 17135 markings/sec, 165 secs 16270 markings/sec, 170 secs 16410 markings/sec, 175 secs 17945 markings/sec, 180 secs 16374 markings/sec, 185 secs 16277 markings/sec, 190 secs 17594 markings/sec, 195 secs 16544 markings/sec, 200 secs 15868 markings/sec, 205 secs 17519 markings/sec, 210 secs 16620 markings/sec, 215 secs 17021 markings/sec, 220 secs 16683 markings/sec, 225 secs 17051 markings/sec, 230 secs 16177 markings/sec, 235 secs 16228 markings/sec, 240 secs 16755 markings/sec, 245 secs 17174 markings/sec, 250 secs 16546 markings/sec, 255 secs 15795 markings/sec, 260 secs 16472 markings/sec, 265 secs 17434 markings/sec, 270 secs 15692 markings/sec, 275 secs 16800 markings/sec, 280 secs 15930 markings/sec, 285 secs 17804 markings/sec, 290 secs 15891 markings/sec, 295 secs 17081 markings/sec, 300 secs 16449 markings/sec, 305 secs 16649 markings/sec, 310 secs 16208 markings/sec, 315 secs 15727 markings/sec, 320 secs 17554 markings/sec, 325 secs 15349 markings/sec, 330 secs 17213 markings/sec, 335 secs 16387 markings/sec, 340 secs 15704 markings/sec, 345 secs 16416 markings/sec, 350 secs 15972 markings/sec, 355 secs 17479 markings/sec, 360 secs 16464 markings/sec, 365 secs 16183 markings/sec, 370 secs 15677 markings/sec, 375 secs 16348 markings/sec, 380 secs 18117 markings/sec, 385 secs 16528 markings/sec, 390 secs 16671 markings/sec, 395 secs 15946 markings/sec, 400 secs 16293 markings/sec, 405 secs 17375 markings/sec, 410 secs 16589 markings/sec, 415 secs 16958 markings/sec, 420 secs 16021 markings/sec, 425 secs 16806 markings/sec, 430 secs 16852 markings/sec, 435 secs 16372 markings/sec, 440 secs 16263 markings/sec, 445 secs 15695 markings/sec, 450 secs 17870 markings/sec, 455 secs 15479 markings/sec, 460 secs 17352 markings/sec, 465 secs 16276 markings/sec, 470 secs 16289 markings/sec, 475 secs 15924 markings/sec, 480 secs 16747 markings/sec, 485 secs 16896 markings/sec, 490 secs 17279 markings/sec, 495 secs 16089 markings/sec, 500 secs 16186 markings/sec, 505 secs 16837 markings/sec, 510 secs 16318 markings/sec, 515 secs 15132 markings/sec, 520 secs 18139 markings/sec, 525 secs 16623 markings/sec, 530 secs 15739 markings/sec, 535 secs 16440 markings/sec, 540 secs 15987 markings/sec, 545 secs 17637 markings/sec, 550 secs 16982 markings/sec, 555 secs 16761 markings/sec, 560 secs 16433 markings/sec, 565 secs 15675 markings/sec, 570 secs 16547 markings/sec, 575 secs 15777 markings/sec, 580 secs 17600 markings/sec, 585 secs 17464 markings/sec, 590 secs 15716 markings/sec, 595 secs 15704 markings/sec, 600 secs 16454 markings/sec, 605 secs 15990 markings/sec, 610 secs 17623 markings/sec, 615 secs 15872 markings/sec, 620 secs 17608 markings/sec, 625 secs 16347 markings/sec, 630 secs 16187 markings/sec, 635 secs 16819 markings/sec, 640 secs 16287 markings/sec, 645 secs 14812 markings/sec, 650 secs 16867 markings/sec, 655 secs 18260 markings/sec, 660 secs 16632 markings/sec, 665 secs 15745 markings/sec, 670 secs 16460 markings/sec, 675 secs 15999 markings/sec, 680 secs 17625 markings/sec, 685 secs 15879 markings/sec, 690 secs 17560 markings/sec, 695 secs 16161 markings/sec, 700 secs 16985 markings/sec, 705 secs 16129 markings/sec, 710 secs 15292 markings/sec, 715 secs 16947 markings/sec, 720 secs 15263 markings/sec, 725 secs 16367 markings/sec, 730 secs 17999 markings/sec, 735 secs 16688 markings/sec, 740 secs 15280 markings/sec, 745 secs 16199 markings/sec, 750 secs 17164 markings/sec, 755 secs 15633 markings/sec, 760 secs 16208 markings/sec, 765 secs 16047 markings/sec, 770 secs 18970 markings/sec, 775 secs 15876 markings/sec, 780 secs 16219 markings/sec, 785 secs 15886 markings/sec, 790 secs 16426 markings/sec, 795 secs 15560 markings/sec, 800 secs 15585 markings/sec, 805 secs 16642 markings/sec, 810 secs 18265 markings/sec, 815 secs 15991 markings/sec, 820 secs 15678 markings/sec, 825 secs 16156 markings/sec, 830 secs 16644 markings/sec, 835 secs 13950 markings/sec, 840 secs 17807 markings/sec, 845 secs 15508 markings/sec, 850 secs 14927 markings/sec, 855 secs 18562 markings/sec, 860 secs 16578 markings/sec, 865 secs 16218 markings/sec, 870 secs 16280 markings/sec, 875 secs 17024 markings/sec, 880 secs 14701 markings/sec, 885 secs 15719 markings/sec, 890 secs 16427 markings/sec, 895 secs 17631 markings/sec, 900 secs 16589 markings/sec, 905 secs 15967 markings/sec, 910 secs 16245 markings/sec, 915 secs 16401 markings/sec, 920 secs 15951 markings/sec, 925 secs 15097 markings/sec, 930 secs 16993 markings/sec, 935 secs 15413 markings/sec, 940 secs 16865 markings/sec, 945 secs 17550 markings/sec, 950 secs 16531 markings/sec, 955 secs 16094 markings/sec, 960 secs 16194 markings/sec, 965 secs 16054 markings/sec, 970 secs 15039 markings/sec, 975 secs 17073 markings/sec, 980 secs 15270 markings/sec, 985 secs 15823 markings/sec, 990 secs 17257 markings/sec, 995 secs 17008 markings/sec, 1000 secs 16392 markings/sec, 1005 secs 15782 markings/sec, 1010 secs 15999 markings/sec, 1015 secs 16228 markings/sec, 1020 secs 14767 markings/sec, 1025 secs 16290 markings/sec, 1030 secs 16402 markings/sec, 1035 secs 17929 markings/sec, 1040 secs 14889 markings/sec, 1045 secs 18134 markings/sec, 1050 secs 16276 markings/sec, 1055 secs 14996 markings/sec, 1060 secs 17202 markings/sec, 1065 secs 16625 markings/sec, 1070 secs 14987 markings/sec, 1075 secs 16000 markings/sec, 1080 secs 16942 markings/sec, 1085 secs 14448 markings/sec, 1090 secs 17930 markings/sec, 1095 secs 17039 markings/sec, 1100 secs 16773 markings/sec, 1105 secs 16018 markings/sec, 1110 secs 15473 markings/sec, 1115 secs 16287 markings/sec, 1120 secs 16738 markings/sec, 1125 secs 16690 markings/sec, 1130 secs 14734 markings/sec, 1135 secs 17265 markings/sec, 1140 secs 15028 markings/sec, 1145 secs 18870 markings/sec, 1150 secs 15921 markings/sec, 1155 secs 16702 markings/sec, 1160 secs 16019 markings/sec, 1165 secs 15607 markings/sec, 1170 secs 17238 markings/sec, 1175 secs 15528 markings/sec, 1180 secs 16588 markings/sec, 1185 secs 14211 markings/sec, 1190 secs 18076 markings/sec, 1195 secs 15246 markings/sec, 1200 secs 17583 markings/sec, 1205 secs 16338 markings/sec, 1210 secs 15669 markings/sec, 1215 secs 16308 markings/sec, 1220 secs 15730 markings/sec, 1225 secs 14564 markings/sec, 1230 secs 15535 markings/sec, 1235 secs 16581 markings/sec, 1240 secs 17164 markings/sec, 1245 secs 15059 markings/sec, 1250 secs 15240 markings/sec, 1255 secs 18718 markings/sec, 1260 secs 16523 markings/sec, 1265 secs 15695 markings/sec, 1270 secs 16735 markings/sec, 1275 secs 15982 markings/sec, 1280 secs 16022 markings/sec, 1285 secs 16812 markings/sec, 1290 secs 15380 markings/sec, 1295 secs 15018 markings/sec, 1300 secs 17862 markings/sec, 1305 secs 15838 markings/sec, 1310 secs 15888 markings/sec, 1315 secs 18184 markings/sec, 1320 secs 16523 markings/sec, 1325 secs 15175 markings/sec, 1330 secs 17165 markings/sec, 1335 secs 16608 markings/sec, 1340 secs 15045 markings/sec, 1345 secs 16093 markings/sec, 1350 secs 17141 markings/sec, 1355 secs 15367 markings/sec, 1360 secs 17866 markings/sec, 1365 secs 15644 markings/sec, 1370 secs 17538 markings/sec, 1375 secs 16401 markings/sec, 1380 secs 16352 markings/sec, 1385 secs 15785 markings/sec, 1390 secs 15298 markings/sec, 1395 secs 16920 markings/sec, 1400 secs 15296 markings/sec, 1405 secs 16326 markings/sec, 1410 secs 17370 markings/sec, 1415 secs 14426 markings/sec, 1420 secs 16197 markings/sec, 1425 secs 16838 markings/sec, 1430 secs 15985 markings/sec, 1435 secs 16921 markings/sec, 1440 secs 15708 markings/sec, 1445 secs 15300 markings/sec, 1450 secs 16597 markings/sec, 1455 secs 15041 markings/sec, 1460 secs 15795 markings/sec, 1465 secs 14190 markings/sec, 1470 secs 15670 markings/sec, 1475 secs 17133 markings/sec, 1480 secs 15493 markings/sec, 1485 secs 15385 markings/sec, 1490 secs 15994 markings/sec, 1495 secs 17897 markings/sec, 1500 secs 16678 markings/sec, 1505 secs 16245 markings/sec, 1510 secs 15639 markings/sec, 1515 secs 15517 markings/sec, 1520 secs 16719 markings/sec, 1525 secs 15439 markings/sec, 1530 secs 16235 markings/sec, 1535 secs 17408 markings/sec, 1540 secs 15300 markings/sec, 1545 secs 18178 markings/sec, 1550 secs 16068 markings/sec, 1555 secs 16452 markings/sec, 1560 secs 17203 markings/sec, 1565 secs 15969 markings/sec, 1570 secs 16423 markings/sec, 1575 secs 16110 markings/sec, 1580 secs 16905 markings/sec, 1585 secs 14767 markings/sec, 1590 secs 16168 markings/sec, 1595 secs 16001 markings/sec, 1600 secs 17664 markings/sec, 1605 secs 14652 markings/sec, 1610 secs 16961 markings/sec, 1615 secs 16155 markings/sec, 1620 secs 16236 markings/sec, 1625 secs 18104 markings/sec, 1630 secs 16476 markings/sec, 1635 secs 16774 markings/sec, 1640 secs 16045 markings/sec, 1645 secs 15637 markings/sec, 1650 secs 17267 markings/sec, 1655 secs 12433 markings/sec, 1660 secs 8211 markings/sec, 1665 secs 7649 markings/sec, 1670 secs 16756 markings/sec, 1675 secs 14819 markings/sec, 1680 secs 16003 markings/sec, 1685 secs 17184 markings/sec, 1690 secs 15142 markings/sec, 1695 secs 15331 markings/sec, 1700 secs 19250 markings/sec, 1705 secs 15694 markings/sec, 1710 secs 16667 markings/sec, 1715 secs 15555 markings/sec, 1720 secs 16564 markings/sec, 1725 secs 16960 markings/sec, 1730 secs 15837 markings/sec, 1735 secs 16882 markings/sec, 1740 secs 15370 markings/sec, 1745 secs 17432 markings/sec, 1750 secs 15451 markings/sec, 1755 secs 16050 markings/sec, 1760 secs 16629 markings/sec, 1765 secs 17273 markings/sec, 1770 secs 17761 markings/sec, 1775 secs 15868 markings/sec, 1780 secs 16593 markings/sec, 1785 secs 14832 markings/sec, 1790 secs 16098 markings/sec, 1795 secs 17930 markings/sec, 1800 secs 16093 markings/sec, 1805 secs 15592 markings/sec, 1810 secs 15772 markings/sec, 1815 secs 15517 markings/sec, 1820 secs 17493 markings/sec, 1825 secs 15225 markings/sec, 1830 secs 14511 markings/sec, 1835 secs 17247 markings/sec, 1840 secs 18672 markings/sec, 1845 secs 15863 markings/sec, 1850 secs 16331 markings/sec, 1855 secs 16365 markings/sec, 1860 secs 15989 markings/sec, 1865 secs 14732 markings/sec, 1870 secs 16751 markings/sec, 1875 secs 15190 markings/sec, 1880 secs 17638 markings/sec, 1885 secs 14640 markings/sec, 1890 secs 17038 markings/sec, 1895 secs 16600 markings/sec, 1900 secs 14990 markings/sec, 1905 secs 15764 markings/sec, 1910 secs 17618 markings/sec, 1915 secs 17850 markings/sec, 1920 secs 15827 markings/sec, 1925 secs 15866 markings/sec, 1930 secs 15237 markings/sec, 1935 secs 16237 markings/sec, 1940 secs 15179 markings/sec, 1945 secs 16008 markings/sec, 1950 secs 16175 markings/sec, 1955 secs 16350 markings/sec, 1960 secs 16270 markings/sec, 1965 secs 15396 markings/sec, 1970 secs 16002 markings/sec, 1975 secs 16585 markings/sec, 1980 secs 15901 markings/sec, 1985 secs 13851 markings/sec, 1990 secs 18835 markings/sec, 1995 secs 15343 markings/sec, 2000 secs 16026 markings/sec, 2005 secs 14627 markings/sec, 2010 secs 15267 markings/sec, 2015 secs 15631 markings/sec, 2020 secs 17202 markings/sec, 2025 secs 15701 markings/sec, 2030 secs 14768 markings/sec, 2035 secs 17581 markings/sec, 2040 secs 16035 markings/sec, 2045 secs 15817 markings/sec, 2050 secs 16423 markings/sec, 2055 secs 17016 markings/sec, 2060 secs 15257 markings/sec, 2065 secs 15435 markings/sec, 2070 secs 19184 markings/sec, 2075 secs 16215 markings/sec, 2080 secs 15019 markings/sec, 2085 secs 17131 markings/sec, 2090 secs 15576 markings/sec, 2095 secs 16057 markings/sec, 2100 secs 16058 markings/sec, 2105 secs 16509 markings/sec, 2110 secs 14819 markings/sec, 2115 secs 15946 markings/sec, 2120 secs 16435 markings/sec, 2125 secs 16099 markings/sec, 2130 secs 15369 markings/sec, 2135 secs 16164 markings/sec, 2140 secs 17821 markings/sec, 2145 secs 17047 markings/sec, 2150 secs 16875 markings/sec, 2155 secs 16830 markings/sec, 2160 secs 15266 markings/sec, 2165 secs 17602 markings/sec, 2170 secs 15460 markings/sec, 2175 secs 16791 markings/sec, 2180 secs 16346 markings/sec, 2185 secs 15040 markings/sec, 2190 secs 16785 markings/sec, 2195 secs 15031 markings/sec, 2200 secs 15710 markings/sec, 2205 secs 16135 markings/sec, 2210 secs 16803 markings/sec, 2215 secs 17409 markings/sec, 2220 secs 16922 markings/sec, 2225 secs 14424 markings/sec, 2230 secs 19305 markings/sec, 2235 secs 16450 markings/sec, 2240 secs 15840 markings/sec, 2245 secs 16239 markings/sec, 2250 secs 16514 markings/sec, 2255 secs 15034 markings/sec, 2260 secs 16084 markings/sec, 2265 secs 17123 markings/sec, 2270 secs 14328 markings/sec, 2275 secs 17648 markings/sec, 2280 secs 16796 markings/sec, 2285 secs 16194 markings/sec, 2290 secs 15305 markings/sec, 2295 secs 13910 markings/sec, 2300 secs 17785 markings/sec, 2305 secs 16331 markings/sec, 2310 secs 17380 markings/sec, 2315 secs 16069 markings/sec, 2320 secs 16166 markings/sec, 2325 secs 15637 markings/sec, 2330 secs 15879 markings/sec, 2335 secs 16367 markings/sec, 2340 secs 15532 markings/sec, 2345 secs 16099 markings/sec, 2350 secs 17391 markings/sec, 2355 secs 14839 markings/sec, 2360 secs 17902 markings/sec, 2365 secs 16019 markings/sec, 2370 secs 13742 markings/sec, 2375 secs 15383 markings/sec, 2380 secs 17327 markings/sec, 2385 secs 15916 markings/sec, 2390 secs 15227 markings/sec, 2395 secs 18445 markings/sec, 2400 secs 16367 markings/sec, 2405 secs 16427 markings/sec, 2410 secs 15152 markings/sec, 2415 secs 14538 markings/sec, 2420 secs 15021 markings/sec, 2425 secs 16208 markings/sec, 2430 secs 14846 markings/sec, 2435 secs 14682 markings/sec, 2440 secs 16924 markings/sec, 2445 secs 15654 markings/sec, 2450 secs 15308 markings/sec, 2455 secs 15950 markings/sec, 2460 secs 16532 markings/sec, 2465 secs 14620 markings/sec, 2470 secs 15189 markings/sec, 2475 secs 18131 markings/sec, 2480 secs 13390 markings/sec, 2485 secs 19213 markings/sec, 2490 secs 15375 markings/sec, 2495 secs 16711 markings/sec, 2500 secs 15198 markings/sec, 2505 secs 16258 markings/sec, 2510 secs 15228 markings/sec, 2515 secs 16362 markings/sec, 2520 secs 15808 markings/sec, 2525 secs 16014 markings/sec, 2530 secs 16066 markings/sec, 2535 secs 17042 markings/sec, 2540 secs 15604 markings/sec, 2545 secs 16200 markings/sec, 2550 secs 16765 markings/sec, 2555 secs 14408 markings/sec, 2560 secs 15825 markings/sec, 2565 secs 17743 markings/sec, 2570 secs 14124 markings/sec, 2575 secs 19232 markings/sec, 2580 secs 16414 markings/sec, 2585 secs 16030 markings/sec, 2590 secs 15609 markings/sec, 2595 secs 17235 markings/sec, 2600 secs 15728 markings/sec, 2605 secs 16494 markings/sec, 2610 secs 16334 markings/sec, 2615 secs 15067 markings/sec, 2620 secs 16725 markings/sec, 2625 secs 15026 markings/sec, 2630 secs 15605 markings/sec, 2635 secs 16203 markings/sec, 2640 secs 16799 markings/sec, 2645 secs 17388 markings/sec, 2650 secs 15342 markings/sec, 2655 secs 15918 markings/sec, 2660 secs 17354 markings/sec, 2665 secs 15604 markings/sec, 2670 secs 18452 markings/sec, 2675 secs 15880 markings/sec, 2680 secs 16631 markings/sec, 2685 secs 16628 markings/sec, 2690 secs 15562 markings/sec, 2695 secs 16680 markings/sec, 2700 secs 16092 markings/sec, 2705 secs 17048 markings/sec, 2710 secs 14330 markings/sec, 2715 secs 16754 markings/sec, 2720 secs 17322 markings/sec, 2725 secs 16269 markings/sec, 2730 secs 15298 markings/sec, 2735 secs 14434 markings/sec, 2740 secs 17794 markings/sec, 2745 secs 17052 markings/sec, 2750 secs 14887 markings/sec, 2755 secs 17988 markings/sec, 2760 secs 17357 markings/sec, 2765 secs 16243 markings/sec, 2770 secs 16262 markings/sec, 2775 secs 15922 markings/sec, 2780 secs 17461 markings/sec, 2785 secs 14501 markings/sec, 2790 secs 17147 markings/sec, 2795 secs 15570 markings/sec, 2800 secs 16277 markings/sec, 2805 secs 15195 markings/sec, 2810 secs 17404 markings/sec, 2815 secs 16477 markings/sec, 2820 secs 15004 markings/sec, 2825 secs 13722 markings/sec, 2830 secs 17364 markings/sec, 2835 secs 17581 markings/sec, 2840 secs 13629 markings/sec, 2845 secs 18959 markings/sec, 2850 secs 13931 markings/sec, 2855 secs 17318 markings/sec, 2860 secs 17883 markings/sec, 2865 secs 15889 markings/sec, 2870 secs 16342 markings/sec, 2875 secs 14948 markings/sec, 2880 secs 16585 markings/sec, 2885 secs 15575 markings/sec, 2890 secs 15691 markings/sec, 2895 secs 16900 markings/sec, 2900 secs 15881 markings/sec, 2905 secs 17247 markings/sec, 2910 secs 15589 markings/sec, 2915 secs 16183 markings/sec, 2920 secs 16235 markings/sec, 2925 secs 14537 markings/sec, 2930 secs 16291 markings/sec, 2935 secs 18383 markings/sec, 2940 secs 13554 markings/sec, 2945 secs 19185 markings/sec, 2950 secs 14439 markings/sec, 2955 secs 18706 markings/sec, 2960 secs 16682 markings/sec, 2965 secs 15713 markings/sec, 2970 secs 16139 markings/sec, 2975 secs 16807 markings/sec, 2980 secs 15543 markings/sec, 2985 secs 15522 markings/sec, 2990 secs 16596 markings/sec, 2995 secs 17521 markings/sec, 3000 secs 14769 markings/sec, 3005 secs 15126 markings/sec, 3010 secs 15817 markings/sec, 3015 secs 16393 markings/sec, 3020 secs 16997 markings/sec, 3025 secs 17585 markings/sec, 3030 secs 13407 markings/sec, 3035 secs 18172 markings/sec, 3040 secs 14598 markings/sec, 3045 secs 18654 markings/sec, 3050 secs 14360 markings/sec, 3055 secs 19181 markings/sec, 3060 secs 16314 markings/sec, 3065 secs 16234 markings/sec, 3070 secs 16063 markings/sec, 3075 secs 15933 markings/sec, 3080 secs 15808 markings/sec, 3085 secs 15546 markings/sec, 3090 secs 16583 markings/sec, 3095 secs 15997 markings/sec, 3100 secs 16258 markings/sec, 3105 secs 15186 markings/sec, 3110 secs 15799 markings/sec, 3115 secs 16115 markings/sec, 3120 secs 16007 markings/sec, 3125 secs 13995 markings/sec, 3130 secs 17547 markings/sec, 3135 secs 15850 markings/sec, 3140 secs 16291 markings/sec, 3145 secs 13895 markings/sec, 3150 secs 19114 markings/sec, 3155 secs 15356 markings/sec, 3160 secs 17239 markings/sec, 3165 secs 15469 markings/sec, 3170 secs 16127 markings/sec, 3175 secs 15831 markings/sec, 3180 secs 15023 markings/sec, 3185 secs 16813 markings/sec, 3190 secs 15726 markings/sec, 3195 secs 15200 markings/sec, 3200 secs 15590 markings/sec, 3205 secs 15024 markings/sec, 3210 secs 16065 markings/sec, 3215 secs 15160 markings/sec, 3220 secs 15525 markings/sec, 3225 secs 16946 markings/sec, 3230 secs 17344 markings/sec, 3235 secs 13152 markings/sec, 3240 secs 18545 markings/sec, 3245 secs 13640 markings/sec, 3250 secs 19112 markings/sec, 3255 secs 14746 markings/sec, 3260 secs 14602 markings/sec, 3265 secs 19766 markings/sec, 3270 secs 15841 markings/sec, 3275 secs 15625 markings/sec, 3280 secs 15604 markings/sec, 3285 secs 16224 markings/sec, 3290 secs 16516 markings/sec, 3295 secs 15508 markings/sec, 3300 secs 16543 markings/sec, 3305 secs 13790 markings/sec, 3310 secs 17414 markings/sec, 3315 secs 16109 markings/sec, 3320 secs 15767 markings/sec, 3325 secs 16363 markings/sec, 3330 secs 14762 markings/sec, 3335 secs 14745 markings/sec, 3340 secs 17892 markings/sec, 3345 secs 13184 markings/sec, 3350 secs 18948 markings/sec, 3355 secs 13908 markings/sec, 3360 secs 16624 markings/sec, 3365 secs 17902 markings/sec, 3370 secs 14891 markings/sec, 3375 secs 18397 markings/sec, 3380 secs 16301 markings/sec, 3385 secs 15619 markings/sec, 3390 secs 15498 markings/sec, 3395 secs 16187 markings/sec, 3400 secs 14696 markings/sec, 3405 secs 15690 markings/sec, 3410 secs 16447 markings/sec, 3415 secs 14210 markings/sec, 3420 secs 15372 markings/sec, 3425 secs 16638 markings/sec, 3430 secs 15158 markings/sec, 3435 secs 14600 markings/sec, 3440 secs 16874 markings/sec, 3445 secs 17541 markings/sec, 3450 secs 12972 markings/sec, 3455 secs 18536 markings/sec, 3460 secs 13638 markings/sec, 3465 secs 18813 markings/sec, 3470 secs 15010 markings/sec, 3475 secs 14464 markings/sec, 3480 secs 14755 markings/sec, 3485 secs 20060 markings/sec, 3490 secs 15849 markings/sec, 3495 secs 15853 markings/sec, 3500 secs 15568 markings/sec, 3505 secs 15928 markings/sec, 3510 secs 16561 markings/sec, 3515 secs 15484 markings/sec, 3520 secs 15958 markings/sec, 3525 secs 14308 markings/sec, 3530 secs 16178 markings/sec, 3535 secs 17350 markings/sec, 3540 secs 15809 markings/sec, 3545 secs 15093 markings/sec, 3550 secs 13732 markings/sec, 3555 secs

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D20N100, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r060-ebro-155234654700138"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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