MCC'2019 - Execution of r137-smll-155284909400102

About the Execution of LoLA for Railroad-PT-020

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7064.200	3570575.00	7244296.00	9123.00	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 408K
-rw-r--r-- 1 mcc users 3.8K Feb 12 12:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 12:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 8 14:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 14:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 01:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 01:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 4 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 1 11:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 11:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 249K 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 Railroad-PT-020-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552940331720

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 18 20:18:51 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 7013148,
"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": 2968,
"conflict_clusters": 87,
"places": 218,
"places_significant": 87,
"singleton_clusters": 0,
"transitions": 506
},
"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": 14151683936774063930152418389390221555962481949295722543016064826200699683157786596803787819
"composed": 1912,
"dead_branches": 0,
"generators": 2021,
"interrupted": false,
"real_computed": 109,
"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: 724/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6976
lola: finding significant places
lola: 218 places, 506 transitions, 87 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 2021 generators (109 in search tree, 1912 by composition)
lola: representing 1.41517E+105 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 245178 fired transitions, 0 secs || 107587 markings, 277899 edges,
lola: 1 tries, 490775 fired transitions, 5 secs || 213993 markings, 565250 edges,
lola: 1 tries, 735650 fired transitions, 10 secs || 314776 markings, 846336 edges,
lola: 1 tries, 965125 fired transitions, 15 secs || 409785 markings, 1112155 edges,
lola: 2 tries, 1206230 fired transitions, 20 secs || 511914 markings, 1400110 edges,
lola: 2 tries, 1452463 fired transitions, 25 secs || 617250 markings, 1698152 edges,
lola: 2 tries, 1698634 fired transitions, 30 secs || 721077 markings, 1990525 edges,
lola: 2 tries, 1945455 fired transitions, 35 secs || 824740 markings, 2284464 edges,
lola: 3 tries, 2192055 fired transitions, 40 secs || 928279 markings, 2580314 edges,
lola: 3 tries, 2438496 fired transitions, 45 secs || 1037250 markings, 2862514 edges,
lola: 3 tries, 2685665 fired transitions, 50 secs || 1144789 markings, 3152943 edges,
lola: 3 tries, 2932513 fired transitions, 55 secs || 1250010 markings, 3441829 edges,
lola: 4 tries, 3179842 fired transitions, 60 secs || 1358054 markings, 3723984 edges,
lola: 4 tries, 3427558 fired transitions, 65 secs || 1466170 markings, 4009159 edges,
lola: 4 tries, 3675289 fired transitions, 70 secs || 1571436 markings, 4299757 edges,
lola: 4 tries, 3923177 fired transitions, 75 secs || 1678400 markings, 4595325 edges,
lola: 5 tries, 4169903 fired transitions, 80 secs || 1783476 markings, 4889290 edges,
lola: 5 tries, 4417114 fired transitions, 85 secs || 1887894 markings, 5183549 edges,
lola: 5 tries, 4663524 fired transitions, 90 secs || 1992258 markings, 5484766 edges,
lola: 5 tries, 4910295 fired transitions, 95 secs || 2096028 markings, 5782110 edges,
lola: 6 tries, 5156565 fired transitions, 100 secs || 2199910 markings, 6077215 edges,
lola: 6 tries, 5402638 fired transitions, 105 secs || 2303740 markings, 6386023 edges,
lola: 6 tries, 5648783 fired transitions, 110 secs || 2408823 markings, 6686287 edges,
lola: 6 tries, 5894953 fired transitions, 115 secs || 2513088 markings, 6985471 edges,
lola: 7 tries, 6141390 fired transitions, 120 secs || 2619756 markings, 7278700 edges,
lola: 7 tries, 6388075 fired transitions, 125 secs || 2726254 markings, 7577998 edges,
lola: 7 tries, 6634647 fired transitions, 130 secs || 2828726 markings, 7879647 edges,
lola: 7 tries, 6882069 fired transitions, 135 secs || 2932694 markings, 8178427 edges,
lola: 8 tries, 7129738 fired transitions, 140 secs || 3036872 markings, 8479823 edges,
lola: 8 tries, 7377376 fired transitions, 145 secs || 3138604 markings, 8782026 edges,
lola: 8 tries, 7626193 fired transitions, 150 secs || 3241606 markings, 9079702 edges,
lola: 8 tries, 7874566 fired transitions, 155 secs || 3343474 markings, 9373369 edges,
lola: 9 tries, 8122834 fired transitions, 160 secs || 3445779 markings, 9674513 edges,
lola: 9 tries, 8369567 fired transitions, 165 secs || 3548385 markings, 9975767 edges,
lola: 9 tries, 8616269 fired transitions, 170 secs || 3651279 markings, 10276241 edges,
lola: 9 tries, 8864069 fired transitions, 175 secs || 3753766 markings, 10574499 edges,
lola: 10 tries, 9112296 fired transitions, 180 secs || 3856252 markings, 10872585 edges,
lola: 10 tries, 9361268 fired transitions, 185 secs || 3959983 markings, 11176241 edges,
lola: 10 tries, 9609950 fired transitions, 190 secs || 4059221 markings, 11474990 edges,
lola: 10 tries, 9859239 fired transitions, 195 secs || 4160706 markings, 11776180 edges,
lola: 11 tries, 10107521 fired transitions, 200 secs || 4264104 markings, 12085064 edges,
lola: 11 tries, 10355401 fired transitions, 205 secs || 4366612 markings, 12393793 edges,
lola: 11 tries, 10603359 fired transitions, 210 secs || 4469103 markings, 12688476 edges,
lola: 11 tries, 10850970 fired transitions, 215 secs || 4572911 markings, 12994195 edges,
lola: 12 tries, 11099067 fired transitions, 220 secs || 4675073 markings, 13290564 edges,
lola: 12 tries, 11346524 fired transitions, 225 secs || 4774231 markings, 13589490 edges,
lola: 12 tries, 11595626 fired transitions, 230 secs || 4877742 markings, 13890591 edges,
lola: 12 tries, 11844023 fired transitions, 235 secs || 4980934 markings, 14190312 edges,
lola: 13 tries, 12093114 fired transitions, 240 secs || 5085499 markings, 14490012 edges,
lola: 13 tries, 12340649 fired transitions, 245 secs || 5183101 markings, 14791807 edges,
lola: 13 tries, 12588893 fired transitions, 250 secs || 5283113 markings, 15099348 edges,
lola: 13 tries, 12836942 fired transitions, 255 secs || 5387378 markings, 15398189 edges,
lola: 14 tries, 13084371 fired transitions, 260 secs || 5493283 markings, 15698133 edges,
lola: 14 tries, 13332365 fired transitions, 265 secs || 5596710 markings, 16000151 edges,
lola: 14 tries, 13579939 fired transitions, 270 secs || 5697479 markings, 16300791 edges,
lola: 14 tries, 13802815 fired transitions, 275 secs || 5795463 markings, 16585298 edges,
lola: 15 tries, 14037016 fired transitions, 280 secs || 5890742 markings, 16865754 edges,
lola: 15 tries, 14277785 fired transitions, 285 secs || 5987139 markings, 17155356 edges,
lola: 15 tries, 14518842 fired transitions, 290 secs || 6083432 markings, 17441440 edges,
lola: 15 tries, 14762247 fired transitions, 295 secs || 6181251 markings, 17732047 edges,
lola: 16 tries, 15010809 fired transitions, 300 secs || 6284030 markings, 18024040 edges,
lola: 16 tries, 15259057 fired transitions, 305 secs || 6390005 markings, 18324487 edges,
lola: 16 tries, 15508144 fired transitions, 310 secs || 6495457 markings, 18621464 edges,
lola: 16 tries, 15756592 fired transitions, 315 secs || 6596287 markings, 18923204 edges,
lola: 17 tries, 16005236 fired transitions, 320 secs || 6700541 markings, 19222844 edges,
lola: 17 tries, 16253320 fired transitions, 325 secs || 6807547 markings, 19526785 edges,
lola: 17 tries, 16500754 fired transitions, 330 secs || 6909208 markings, 19828634 edges,
lola: 17 tries, 16748609 fired transitions, 335 secs || 7010927 markings, 20129136 edges,
lola: 17 tries, 16996664 fired transitions, 340 secs || 7111484 markings, 20435179 edges,
lola: 18 tries, 17245871 fired transitions, 345 secs || 7214757 markings, 20736202 edges,
lola: 18 tries, 17495296 fired transitions, 350 secs || 7319012 markings, 21032012 edges,
lola: 18 tries, 17744359 fired transitions, 355 secs || 7423290 markings, 21338397 edges,
lola: 18 tries, 17993284 fired transitions, 360 secs || 7523226 markings, 21643689 edges,
lola: 19 tries, 18241073 fired transitions, 365 secs || 7623443 markings, 21948465 edges,
lola: 19 tries, 18489228 fired transitions, 370 secs || 7727548 markings, 22254119 edges,
lola: 19 tries, 18737180 fired transitions, 375 secs || 7832646 markings, 22551398 edges,
lola: 19 tries, 18985155 fired transitions, 380 secs || 7937095 markings, 22853114 edges,
lola: 20 tries, 19232794 fired transitions, 385 secs || 8041591 markings, 23147275 edges,
lola: 20 tries, 19480628 fired transitions, 390 secs || 8143204 markings, 23444553 edges,
lola: 20 tries, 19728619 fired transitions, 395 secs || 8246498 markings, 23744282 edges,
lola: 20 tries, 19976399 fired transitions, 400 secs || 8348555 markings, 24049197 edges,
lola: 21 tries, 20223938 fired transitions, 405 secs || 8452812 markings, 24345751 edges,
lola: 21 tries, 20471640 fired transitions, 410 secs || 8553724 markings, 24650879 edges,
lola: 21 tries, 20719750 fired transitions, 415 secs || 8655404 markings, 24949572 edges,
lola: 21 tries, 20967886 fired transitions, 420 secs || 8757833 markings, 25257232 edges,
lola: 22 tries, 21216234 fired transitions, 425 secs || 8859953 markings, 25559246 edges,
lola: 22 tries, 21465216 fired transitions, 430 secs || 8958722 markings, 25859021 edges,
lola: 22 tries, 21715136 fired transitions, 435 secs || 9058702 markings, 26167597 edges,
lola: 22 tries, 21964330 fired transitions, 440 secs || 9160424 markings, 26474069 edges,
lola: 23 tries, 22212300 fired transitions, 445 secs || 9261253 markings, 26776930 edges,
lola: 23 tries, 22460357 fired transitions, 450 secs || 9362553 markings, 27082466 edges,
lola: 23 tries, 22708972 fired transitions, 455 secs || 9464017 markings, 27385169 edges,
lola: 23 tries, 22957647 fired transitions, 460 secs || 9564884 markings, 27688791 edges,
lola: 24 tries, 23206874 fired transitions, 465 secs || 9668278 markings, 27988543 edges,
lola: 24 tries, 23456909 fired transitions, 470 secs || 9770984 markings, 28290064 edges,
lola: 24 tries, 23705583 fired transitions, 475 secs || 9873922 markings, 28588390 edges,
lola: 24 tries, 23954640 fired transitions, 480 secs || 9975649 markings, 28887205 edges,
lola: 25 tries, 24203742 fired transitions, 485 secs || 10079589 markings, 29195504 edges,
lola: 25 tries, 24452709 fired transitions, 490 secs || 10181353 markings, 29500764 edges,
lola: 25 tries, 24701712 fired transitions, 495 secs || 10283555 markings, 29801473 edges,
lola: 25 tries, 24950844 fired transitions, 500 secs || 10386679 markings, 30103458 edges,
lola: 26 tries, 25196898 fired transitions, 505 secs || 10484038 markings, 30394233 edges,
lola: 26 tries, 25434971 fired transitions, 510 secs || 10582708 markings, 30690384 edges,
lola: 26 tries, 25678797 fired transitions, 515 secs || 10678580 markings, 30985553 edges,
lola: 26 tries, 25926498 fired transitions, 520 secs || 10779264 markings, 31285702 edges,
lola: 27 tries, 26174317 fired transitions, 525 secs || 10883000 markings, 31584478 edges,
lola: 27 tries, 26422905 fired transitions, 530 secs || 10990003 markings, 31881211 edges,
lola: 27 tries, 26671026 fired transitions, 535 secs || 11092467 markings, 32186538 edges,
lola: 27 tries, 26918880 fired transitions, 540 secs || 11194902 markings, 32491333 edges,
lola: 28 tries, 27167378 fired transitions, 545 secs || 11297851 markings, 32801674 edges,
lola: 28 tries, 27416118 fired transitions, 550 secs || 11399488 markings, 33106931 edges,
lola: 28 tries, 27665308 fired transitions, 555 secs || 11503391 markings, 33405723 edges,
lola: 28 tries, 27914253 fired transitions, 560 secs || 11606516 markings, 33704340 edges,
lola: 29 tries, 28163249 fired transitions, 565 secs || 11708596 markings, 34005436 edges,
lola: 29 tries, 28402234 fired transitions, 570 secs || 11811999 markings, 34305684 edges,
lola: 29 tries, 28634106 fired transitions, 575 secs || 11914913 markings, 34571939 edges,
lola: 29 tries, 28873754 fired transitions, 580 secs || 12015439 markings, 34845527 edges,
lola: 30 tries, 29112872 fired transitions, 585 secs || 12115511 markings, 35119733 edges,
lola: 30 tries, 29352045 fired transitions, 590 secs || 12216257 markings, 35400195 edges,
lola: 30 tries, 29590597 fired transitions, 595 secs || 12318392 markings, 35670454 edges,
lola: 30 tries, 29829876 fired transitions, 600 secs || 12419931 markings, 35940518 edges,
lola: 31 tries, 30068871 fired transitions, 605 secs || 12521804 markings, 36219940 edges,
lola: 31 tries, 30309060 fired transitions, 610 secs || 12623920 markings, 36501736 edges,
lola: 31 tries, 30549850 fired transitions, 615 secs || 12723490 markings, 36784573 edges,
lola: 31 tries, 30791155 fired transitions, 620 secs || 12823911 markings, 37064088 edges,
lola: 32 tries, 31032113 fired transitions, 625 secs || 12925064 markings, 37349215 edges,
lola: 32 tries, 31272449 fired transitions, 630 secs || 13026078 markings, 37631061 edges,
lola: 32 tries, 31511389 fired transitions, 635 secs || 13126119 markings, 37912162 edges,
lola: 32 tries, 31750767 fired transitions, 640 secs || 13225563 markings, 38201750 edges,
lola: 32 tries, 31989599 fired transitions, 645 secs || 13324992 markings, 38479980 edges,
lola: 33 tries, 32228827 fired transitions, 650 secs || 13423113 markings, 38754928 edges,
lola: 33 tries, 32468584 fired transitions, 655 secs || 13522555 markings, 39035536 edges,
lola: 33 tries, 32712480 fired transitions, 660 secs || 13623004 markings, 39330189 edges,
lola: 33 tries, 32960147 fired transitions, 665 secs || 13725682 markings, 39631992 edges,
lola: 34 tries, 33208065 fired transitions, 670 secs || 13830194 markings, 39931467 edges,
lola: 34 tries, 33456493 fired transitions, 675 secs || 13934667 markings, 40236972 edges,
lola: 34 tries, 33705388 fired transitions, 680 secs || 14040320 markings, 40531582 edges,
lola: 34 tries, 33951275 fired transitions, 685 secs || 14145789 markings, 40829038 edges,
lola: 35 tries, 34174965 fired transitions, 690 secs || 14244646 markings, 41110890 edges,
lola: 35 tries, 34414490 fired transitions, 695 secs || 14344443 markings, 41394789 edges,
lola: 35 tries, 34654675 fired transitions, 700 secs || 14442754 markings, 41678525 edges,
lola: 35 tries, 34894913 fired transitions, 705 secs || 14542804 markings, 41965057 edges,
lola: 36 tries, 35135216 fired transitions, 710 secs || 14642715 markings, 42254371 edges,
lola: 36 tries, 35377022 fired transitions, 715 secs || 14740868 markings, 42544320 edges,
lola: 36 tries, 35618276 fired transitions, 720 secs || 14838613 markings, 42831072 edges,
lola: 36 tries, 35860901 fired transitions, 725 secs || 14939687 markings, 43120607 edges,
lola: 37 tries, 36109663 fired transitions, 730 secs || 15044769 markings, 43428655 edges,
lola: 37 tries, 36358256 fired transitions, 735 secs || 15147517 markings, 43732459 edges,
lola: 37 tries, 36608031 fired transitions, 740 secs || 15255158 markings, 44015958 edges,
lola: 37 tries, 36857491 fired transitions, 745 secs || 15359516 markings, 44313358 edges,
lola: 38 tries, 37106346 fired transitions, 750 secs || 15464713 markings, 44614738 edges,
lola: 38 tries, 37354944 fired transitions, 755 secs || 15570350 markings, 44918385 edges,
lola: 38 tries, 37603069 fired transitions, 760 secs || 15675025 markings, 45222556 edges,
lola: 38 tries, 37851039 fired transitions, 765 secs || 15775126 markings, 45523626 edges,
lola: 39 tries, 38100501 fired transitions, 770 secs || 15878939 markings, 45841837 edges,
lola: 39 tries, 38349995 fired transitions, 775 secs || 15984823 markings, 46150857 edges,
lola: 39 tries, 38599280 fired transitions, 780 secs || 16090903 markings, 46453170 edges,
lola: 39 tries, 38848690 fired transitions, 785 secs || 16195832 markings, 46760753 edges,
lola: 40 tries, 39097586 fired transitions, 790 secs || 16299809 markings, 47070170 edges,
lola: 40 tries, 39346003 fired transitions, 795 secs || 16405190 markings, 47374505 edges,
lola: 40 tries, 39594068 fired transitions, 800 secs || 16509772 markings, 47684736 edges,
lola: 40 tries, 39842382 fired transitions, 805 secs || 16613378 markings, 47985999 edges,
lola: 41 tries, 40090567 fired transitions, 810 secs || 16718510 markings, 48293248 edges,
lola: 41 tries, 40338419 fired transitions, 815 secs || 16822071 markings, 48601520 edges,
lola: 41 tries, 40585278 fired transitions, 820 secs || 16925533 markings, 48909041 edges,
lola: 41 tries, 40833680 fired transitions, 825 secs || 17031653 markings, 49214596 edges,
lola: 42 tries, 41081693 fired transitions, 830 secs || 17135975 markings, 49525661 edges,
lola: 42 tries, 41330608 fired transitions, 835 secs || 17238872 markings, 49835765 edges,
lola: 42 tries, 41578778 fired transitions, 840 secs || 17342945 markings, 50141652 edges,
lola: 42 tries, 41827591 fired transitions, 845 secs || 17445210 markings, 50454702 edges,
lola: 43 tries, 42075674 fired transitions, 850 secs || 17547361 markings, 50765814 edges,
lola: 43 tries, 42323992 fired transitions, 855 secs || 17651852 markings, 51073151 edges,
lola: 43 tries, 42571533 fired transitions, 860 secs || 17755930 markings, 51375805 edges,
lola: 43 tries, 42819542 fired transitions, 865 secs || 17858575 markings, 51687918 edges,
lola: 44 tries, 43067501 fired transitions, 870 secs || 17963024 markings, 51997051 edges,
lola: 44 tries, 43316974 fired transitions, 875 secs || 18065680 markings, 52304344 edges,
lola: 44 tries, 43567094 fired transitions, 880 secs || 18169584 markings, 52617548 edges,
lola: 44 tries, 43816386 fired transitions, 885 secs || 18274197 markings, 52930247 edges,
lola: 45 tries, 44065960 fired transitions, 890 secs || 18380045 markings, 53243754 edges,
lola: 45 tries, 44314363 fired transitions, 895 secs || 18485999 markings, 53549477 edges,
lola: 45 tries, 44562928 fired transitions, 900 secs || 18589365 markings, 53865600 edges,
lola: 45 tries, 44810518 fired transitions, 905 secs || 18693508 markings, 54177419 edges,
lola: 46 tries, 45058919 fired transitions, 910 secs || 18795526 markings, 54486737 edges,
lola: 46 tries, 45307084 fired transitions, 915 secs || 18898156 markings, 54799153 edges,
lola: 46 tries, 45555202 fired transitions, 920 secs || 19000274 markings, 55116112 edges,
lola: 46 tries, 45803724 fired transitions, 925 secs || 19102102 markings, 55427394 edges,
lola: 47 tries, 46052184 fired transitions, 930 secs || 19205832 markings, 55742558 edges,
lola: 47 tries, 46302546 fired transitions, 935 secs || 19312168 markings, 56055124 edges,
lola: 47 tries, 46552424 fired transitions, 940 secs || 19412980 markings, 56372472 edges,
lola: 47 tries, 46802336 fired transitions, 945 secs || 19517011 markings, 56686514 edges,
lola: 48 tries, 47051657 fired transitions, 950 secs || 19620177 markings, 57003133 edges,
lola: 48 tries, 47300065 fired transitions, 955 secs || 19722588 markings, 57313311 edges,
lola: 48 tries, 47548817 fired transitions, 960 secs || 19825934 markings, 57628263 edges,
lola: 48 tries, 47797253 fired transitions, 965 secs || 19928708 markings, 57942374 edges,
lola: 49 tries, 48045747 fired transitions, 970 secs || 20033534 markings, 58255153 edges,
lola: 49 tries, 48294718 fired transitions, 975 secs || 20134140 markings, 58568409 edges,
lola: 49 tries, 48544271 fired transitions, 980 secs || 20237633 markings, 58886071 edges,
lola: 49 tries, 48793800 fired transitions, 985 secs || 20342117 markings, 59199520 edges,
lola: 50 tries, 49039052 fired transitions, 990 secs || 20443873 markings, 59513275 edges,
lola: 50 tries, 49271163 fired transitions, 995 secs || 20541460 markings, 59812010 edges,
lola: 50 tries, 49514397 fired transitions, 1000 secs || 20643231 markings, 60118947 edges,
lola: 50 tries, 49763639 fired transitions, 1005 secs || 20746517 markings, 60437053 edges,
lola: 51 tries, 50013085 fired transitions, 1010 secs || 20850900 markings, 60748647 edges,
lola: 51 tries, 50262162 fired transitions, 1015 secs || 20957683 markings, 61039101 edges,
lola: 51 tries, 50511252 fired transitions, 1020 secs || 21063955 markings, 61325763 edges,
lola: 51 tries, 50760302 fired transitions, 1025 secs || 21172670 markings, 61615836 edges,
lola: 52 tries, 51009389 fired transitions, 1030 secs || 21282036 markings, 61898353 edges,
lola: 52 tries, 51258507 fired transitions, 1035 secs || 21391196 markings, 62192982 edges,
lola: 52 tries, 51507292 fired transitions, 1040 secs || 21500025 markings, 62491301 edges,
lola: 52 tries, 51755827 fired transitions, 1045 secs || 21607493 markings, 62784378 edges,
lola: 53 tries, 52004457 fired transitions, 1050 secs || 21713641 markings, 63078528 edges,
lola: 53 tries, 52252277 fired transitions, 1055 secs || 21821246 markings, 63372565 edges,
lola: 53 tries, 52499690 fired transitions, 1060 secs || 21929576 markings, 63673665 edges,
lola: 53 tries, 52747417 fired transitions, 1065 secs || 22036621 markings, 63976691 edges,
lola: 53 tries, 52995509 fired transitions, 1070 secs || 22143952 markings, 64278463 edges,
lola: 54 tries, 53244087 fired transitions, 1075 secs || 22249930 markings, 64579950 edges,
lola: 54 tries, 53493947 fired transitions, 1080 secs || 22356205 markings, 64883710 edges,
lola: 54 tries, 53743137 fired transitions, 1085 secs || 22463017 markings, 65185568 edges,
lola: 54 tries, 53992687 fired transitions, 1090 secs || 22567570 markings, 65475572 edges,
lola: 55 tries, 54241177 fired transitions, 1095 secs || 22673727 markings, 65773305 edges,
lola: 55 tries, 54490136 fired transitions, 1100 secs || 22779087 markings, 66077019 edges,
lola: 55 tries, 54738998 fired transitions, 1105 secs || 22884890 markings, 66373813 edges,
lola: 55 tries, 54988111 fired transitions, 1110 secs || 22991343 markings, 66682033 edges,
lola: 56 tries, 55236638 fired transitions, 1115 secs || 23098213 markings, 66984413 edges,
lola: 56 tries, 55442503 fired transitions, 1120 secs || 23204142 markings, 67276052 edges,
lola: 56 tries, 55661948 fired transitions, 1125 secs || 23305775 markings, 67566200 edges,
lola: 56 tries, 55897198 fired transitions, 1130 secs || 23406147 markings, 67851604 edges,
lola: 57 tries, 56131309 fired transitions, 1135 secs || 23505960 markings, 68144371 edges,
lola: 57 tries, 56365383 fired transitions, 1140 secs || 23602967 markings, 68431527 edges,
lola: 57 tries, 56599889 fired transitions, 1145 secs || 23701266 markings, 68719645 edges,
lola: 57 tries, 56834101 fired transitions, 1150 secs || 23801281 markings, 69013052 edges,
lola: 58 tries, 57069396 fired transitions, 1155 secs || 23901410 markings, 69305052 edges,
lola: 58 tries, 57304619 fired transitions, 1160 secs || 24001694 markings, 69591770 edges,
lola: 58 tries, 57542136 fired transitions, 1165 secs || 24104082 markings, 69877206 edges,
lola: 58 tries, 57775987 fired transitions, 1170 secs || 24204025 markings, 70168843 edges,
lola: 59 tries, 58011957 fired transitions, 1175 secs || 24303700 markings, 70461591 edges,
lola: 59 tries, 58248046 fired transitions, 1180 secs || 24404041 markings, 70756554 edges,
lola: 59 tries, 58482631 fired transitions, 1185 secs || 24506028 markings, 71051843 edges,
lola: 59 tries, 58718053 fired transitions, 1190 secs || 24606901 markings, 71345416 edges,
lola: 59 tries, 58953423 fired transitions, 1195 secs || 24706981 markings, 71643343 edges,
lola: 60 tries, 59189189 fired transitions, 1200 secs || 24807492 markings, 71933782 edges,
lola: 60 tries, 59425300 fired transitions, 1205 secs || 24908673 markings, 72222158 edges,
lola: 60 tries, 59660482 fired transitions, 1210 secs || 25007396 markings, 72506381 edges,
lola: 60 tries, 59895418 fired transitions, 1215 secs || 25107621 markings, 72799244 edges,
lola: 61 tries, 60133260 fired transitions, 1220 secs || 25208644 markings, 73087651 edges,
lola: 61 tries, 60371310 fired transitions, 1225 secs || 25308343 markings, 73388457 edges,
lola: 61 tries, 60608545 fired transitions, 1230 secs || 25408778 markings, 73681804 edges,
lola: 61 tries, 60845630 fired transitions, 1235 secs || 25505984 markings, 73975080 edges,
lola: 62 tries, 61081559 fired transitions, 1240 secs || 25606332 markings, 74268448 edges,
lola: 62 tries, 61317830 fired transitions, 1245 secs || 25708967 markings, 74562052 edges,
lola: 62 tries, 61553446 fired transitions, 1250 secs || 25809364 markings, 74862233 edges,
lola: 62 tries, 61788477 fired transitions, 1255 secs || 25910146 markings, 75159323 edges,
lola: 63 tries, 62023964 fired transitions, 1260 secs || 26011750 markings, 75451754 edges,
lola: 63 tries, 62260431 fired transitions, 1265 secs || 26111782 markings, 75754643 edges,
lola: 63 tries, 62494666 fired transitions, 1270 secs || 26209225 markings, 76048317 edges,
lola: 63 tries, 62729429 fired transitions, 1275 secs || 26310191 markings, 76340949 edges,
lola: 63 tries, 62965961 fired transitions, 1280 secs || 26412094 markings, 76637068 edges,
lola: 64 tries, 63202095 fired transitions, 1285 secs || 26512107 markings, 76932339 edges,
lola: 64 tries, 63438060 fired transitions, 1290 secs || 26610977 markings, 77226191 edges,
lola: 64 tries, 63674767 fired transitions, 1295 secs || 26711441 markings, 77527643 edges,
lola: 64 tries, 63909759 fired transitions, 1300 secs || 26806470 markings, 77816904 edges,
lola: 65 tries, 64145367 fired transitions, 1305 secs || 26906409 markings, 78109184 edges,
lola: 65 tries, 64380569 fired transitions, 1310 secs || 27005392 markings, 78408130 edges,
lola: 65 tries, 64617607 fired transitions, 1315 secs || 27102810 markings, 78703456 edges,
lola: 65 tries, 64853697 fired transitions, 1320 secs || 27202545 markings, 79001488 edges,
lola: 66 tries, 65089319 fired transitions, 1325 secs || 27302510 markings, 79298447 edges,
lola: 66 tries, 65326644 fired transitions, 1330 secs || 27401131 markings, 79602219 edges,
lola: 66 tries, 65562001 fired transitions, 1335 secs || 27501688 markings, 79898812 edges,
lola: 66 tries, 65798061 fired transitions, 1340 secs || 27601039 markings, 80196367 edges,
lola: 67 tries, 66034780 fired transitions, 1345 secs || 27700036 markings, 80494702 edges,
lola: 67 tries, 66273408 fired transitions, 1350 secs || 27799362 markings, 80797775 edges,
lola: 67 tries, 66510063 fired transitions, 1355 secs || 27898398 markings, 81102645 edges,
lola: 67 tries, 66749066 fired transitions, 1360 secs || 27996771 markings, 81401956 edges,
lola: 67 tries, 66987346 fired transitions, 1365 secs || 28095262 markings, 81708219 edges,
lola: 68 tries, 67214824 fired transitions, 1370 secs || 28189953 markings, 81992999 edges,
lola: 68 tries, 67464314 fired transitions, 1375 secs || 28294697 markings, 82309196 edges,
lola: 68 tries, 67713689 fired transitions, 1380 secs || 28400243 markings, 82622753 edges,
lola: 68 tries, 67963349 fired transitions, 1385 secs || 28506258 markings, 82933181 edges,
lola: 69 tries, 68212822 fired transitions, 1390 secs || 28609569 markings, 83249542 edges,
lola: 69 tries, 68449717 fired transitions, 1395 secs || 28712072 markings, 83561789 edges,
lola: 69 tries, 68699182 fired transitions, 1400 secs || 28816234 markings, 83882494 edges,
lola: 69 tries, 68949083 fired transitions, 1405 secs || 28921909 markings, 84197255 edges,
lola: 70 tries, 69197449 fired transitions, 1410 secs || 29025467 markings, 84513136 edges,
lola: 70 tries, 69446214 fired transitions, 1415 secs || 29130658 markings, 84833095 edges,
lola: 70 tries, 69694892 fired transitions, 1420 secs || 29232409 markings, 85151451 edges,
lola: 70 tries, 69943309 fired transitions, 1425 secs || 29335804 markings, 85472023 edges,
lola: 71 tries, 70180135 fired transitions, 1430 secs || 29437873 markings, 85787948 edges,
lola: 71 tries, 70427277 fired transitions, 1435 secs || 29541656 markings, 86102933 edges,
lola: 71 tries, 70676695 fired transitions, 1440 secs || 29646999 markings, 86423357 edges,
lola: 71 tries, 70925110 fired transitions, 1445 secs || 29750147 markings, 86740444 edges,
lola: 72 tries, 71174208 fired transitions, 1450 secs || 29854644 markings, 87059426 edges,
lola: 72 tries, 71424011 fired transitions, 1455 secs || 29959101 markings, 87373701 edges,
lola: 72 tries, 71674076 fired transitions, 1460 secs || 30064307 markings, 87689490 edges,
lola: 72 tries, 71923656 fired transitions, 1465 secs || 30166863 markings, 88007973 edges,
lola: 73 tries, 72170190 fired transitions, 1470 secs || 30271859 markings, 88328356 edges,
lola: 73 tries, 72402163 fired transitions, 1475 secs || 30376857 markings, 88640571 edges,
lola: 73 tries, 72651215 fired transitions, 1480 secs || 30481515 markings, 88956994 edges,
lola: 73 tries, 72899780 fired transitions, 1485 secs || 30587523 markings, 89267357 edges,
lola: 74 tries, 73149262 fired transitions, 1490 secs || 30694411 markings, 89586337 edges,
lola: 74 tries, 73399394 fired transitions, 1495 secs || 30797899 markings, 89901485 edges,
lola: 74 tries, 73648928 fired transitions, 1500 secs || 30899055 markings, 90215181 edges,
lola: 74 tries, 73898729 fired transitions, 1505 secs || 30999625 markings, 90529107 edges,
lola: 75 tries, 74148465 fired transitions, 1510 secs || 31102364 markings, 90847906 edges,
lola: 75 tries, 74396923 fired transitions, 1515 secs || 31206373 markings, 91165092 edges,
lola: 75 tries, 74645626 fired transitions, 1520 secs || 31310397 markings, 91484284 edges,
lola: 75 tries, 74893720 fired transitions, 1525 secs || 31412550 markings, 91799590 edges,
lola: 76 tries, 75142664 fired transitions, 1530 secs || 31516290 markings, 92116113 edges,
lola: 76 tries, 75391906 fired transitions, 1535 secs || 31621328 markings, 92432586 edges,
lola: 76 tries, 75640597 fired transitions, 1540 secs || 31724136 markings, 92748998 edges,
lola: 76 tries, 75889635 fired transitions, 1545 secs || 31827882 markings, 93069969 edges,
lola: 77 tries, 76137591 fired transitions, 1550 secs || 31929919 markings, 93389850 edges,
lola: 77 tries, 76386056 fired transitions, 1555 secs || 32034459 markings, 93711340 edges,
lola: 77 tries, 76634141 fired transitions, 1560 secs || 32136397 markings, 94030263 edges,
lola: 77 tries, 76883013 fired transitions, 1565 secs || 32241356 markings, 94344882 edges,
lola: 78 tries, 77132773 fired transitions, 1570 secs || 32344520 markings, 94665316 edges,
lola: 78 tries, 77382527 fired transitions, 1575 secs || 32449837 markings, 94985853 edges,
lola: 78 tries, 77632205 fired transitions, 1580 secs || 32553192 markings, 95303190 edges,
lola: 78 tries, 77881872 fired transitions, 1585 secs || 32656105 markings, 95624059 edges,
lola: 79 tries, 78131859 fired transitions, 1590 secs || 32762475 markings, 95943244 edges,
lola: 79 tries, 78381892 fired transitions, 1595 secs || 32868016 markings, 96266054 edges,
lola: 79 tries, 78632091 fired transitions, 1600 secs || 32972210 markings, 96586600 edges,
lola: 79 tries, 78882273 fired transitions, 1605 secs || 33074861 markings, 96902624 edges,
lola: 80 tries, 79132309 fired transitions, 1610 secs || 33177385 markings, 97219638 edges,
lola: 80 tries, 79382469 fired transitions, 1615 secs || 33279949 markings, 97535452 edges,
lola: 80 tries, 79632899 fired transitions, 1620 secs || 33385022 markings, 97855191 edges,
lola: 80 tries, 79883189 fired transitions, 1625 secs || 33488150 markings, 98179429 edges,
lola: 81 tries, 80134212 fired transitions, 1630 secs || 33594011 markings, 98500464 edges,
lola: 81 tries, 80385327 fired transitions, 1635 secs || 33697258 markings, 98825447 edges,
lola: 81 tries, 80635899 fired transitions, 1640 secs || 33799110 markings, 99147634 edges,
lola: 81 tries, 80872869 fired transitions, 1645 secs || 33901525 markings, 99465652 edges,
lola: 82 tries, 81110598 fired transitions, 1650 secs || 33999784 markings, 99771993 edges,
lola: 82 tries, 81359348 fired transitions, 1655 secs || 34102287 markings, 100095382 edges,
lola: 82 tries, 81608251 fired transitions, 1660 secs || 34206840 markings, 100415264 edges,
lola: 82 tries, 81857641 fired transitions, 1665 secs || 34308380 markings, 100740853 edges,
lola: 83 tries, 82106884 fired transitions, 1670 secs || 34410033 markings, 101063549 edges,
lola: 83 tries, 82356314 fired transitions, 1675 secs || 34511714 markings, 101382019 edges,
lola: 83 tries, 82603952 fired transitions, 1680 secs || 34611717 markings, 101680306 edges,
lola: 83 tries, 82851562 fired transitions, 1685 secs || 34708220 markings, 101963788 edges,
lola: 84 tries, 83099798 fired transitions, 1690 secs || 34804305 markings, 102251575 edges,
lola: 84 tries, 83349031 fired transitions, 1695 secs || 34901372 markings, 102535270 edges,
lola: 84 tries, 83575503 fired transitions, 1700 secs || 35002954 markings, 102827675 edges,
lola: 84 tries, 83813147 fired transitions, 1705 secs || 35099864 markings, 103126702 edges,
lola: 85 tries, 84054208 fired transitions, 1710 secs || 35200579 markings, 103427978 edges,
lola: 85 tries, 84277680 fired transitions, 1715 secs || 35299986 markings, 103737432 edges,
lola: 85 tries, 84493718 fired transitions, 1720 secs || 35398213 markings, 104041470 edges,
lola: 85 tries, 84715473 fired transitions, 1725 secs || 35498051 markings, 104347234 edges,
lola: 85 tries, 84953093 fired transitions, 1730 secs || 35597122 markings, 104644664 edges,
lola: 86 tries, 85190309 fired transitions, 1735 secs || 35694164 markings, 104943930 edges,
lola: 86 tries, 85428535 fired transitions, 1740 secs || 35791752 markings, 105243917 edges,
lola: 86 tries, 85665826 fired transitions, 1745 secs || 35893357 markings, 105539068 edges,
lola: 86 tries, 85904071 fired transitions, 1750 secs || 35993392 markings, 105843466 edges,
lola: 87 tries, 86142778 fired transitions, 1755 secs || 36091537 markings, 106143437 edges,
lola: 87 tries, 86381220 fired transitions, 1760 secs || 36188889 markings, 106447892 edges,
lola: 87 tries, 86618700 fired transitions, 1765 secs || 36286941 markings, 106748636 edges,
lola: 87 tries, 86855833 fired transitions, 1770 secs || 36386620 markings, 107048150 edges,
lola: 88 tries, 87092324 fired transitions, 1775 secs || 36484914 markings, 107345603 edges,
lola: 88 tries, 87328680 fired transitions, 1780 secs || 36581457 markings, 107645465 edges,
lola: 88 tries, 87571220 fired transitions, 1785 secs || 36678606 markings, 107946153 edges,
lola: 88 tries, 87813400 fired transitions, 1790 secs || 36775102 markings, 108246031 edges,
lola: 89 tries, 88056295 fired transitions, 1795 secs || 36874027 markings, 108546492 edges,
lola: 89 tries, 88299098 fired transitions, 1800 secs || 36971180 markings, 108851133 edges,
lola: 89 tries, 88542625 fired transitions, 1805 secs || 37068461 markings, 109152668 edges,
lola: 89 tries, 88795983 fired transitions, 1810 secs || 37171402 markings, 109472987 edges,
lola: 90 tries, 89052223 fired transitions, 1815 secs || 37278526 markings, 109797713 edges,
lola: 90 tries, 89315331 fired transitions, 1820 secs || 37387301 markings, 110128067 edges,
lola: 90 tries, 89576578 fired transitions, 1825 secs || 37489205 markings, 110439884 edges,
lola: 90 tries, 89837428 fired transitions, 1830 secs || 37589220 markings, 110754377 edges,
lola: 91 tries, 90098775 fired transitions, 1835 secs || 37689494 markings, 111065228 edges,
lola: 91 tries, 90360660 fired transitions, 1840 secs || 37795285 markings, 111385261 edges,
lola: 91 tries, 90622976 fired transitions, 1845 secs || 37901287 markings, 111700481 edges,
lola: 91 tries, 90885230 fired transitions, 1850 secs || 38007306 markings, 112021167 edges,
lola: 92 tries, 91146889 fired transitions, 1855 secs || 38115475 markings, 112336843 edges,
lola: 92 tries, 91401249 fired transitions, 1860 secs || 38216745 markings, 112642961 edges,
lola: 92 tries, 91660691 fired transitions, 1865 secs || 38321325 markings, 112951215 edges,
lola: 92 tries, 91921837 fired transitions, 1870 secs || 38425580 markings, 113266922 edges,
lola: 93 tries, 92182378 fired transitions, 1875 secs || 38531475 markings, 113587255 edges,
lola: 93 tries, 92443405 fired transitions, 1880 secs || 38639149 markings, 113892182 edges,
lola: 93 tries, 92705114 fired transitions, 1885 secs || 38751929 markings, 114190710 edges,
lola: 93 tries, 92965990 fired transitions, 1890 secs || 38864357 markings, 114493380 edges,
lola: 94 tries, 93226608 fired transitions, 1895 secs || 38975657 markings, 114801989 edges,
lola: 94 tries, 93486978 fired transitions, 1900 secs || 39087930 markings, 115112869 edges,
lola: 94 tries, 93748813 fired transitions, 1905 secs || 39202425 markings, 115405354 edges,
lola: 95 tries, 94009802 fired transitions, 1910 secs || 39316196 markings, 115714295 edges,
lola: 95 tries, 94272191 fired transitions, 1915 secs || 39430872 markings, 116023198 edges,
lola: 95 tries, 94534491 fired transitions, 1920 secs || 39543553 markings, 116340218 edges,
lola: 95 tries, 94795839 fired transitions, 1925 secs || 39655005 markings, 116658042 edges,
lola: 96 tries, 95058338 fired transitions, 1930 secs || 39769006 markings, 116972621 edges,
lola: 96 tries, 95320336 fired transitions, 1935 secs || 39880425 markings, 117285701 edges,
lola: 96 tries, 95581699 fired transitions, 1940 secs || 39991357 markings, 117601916 edges,
lola: 96 tries, 95844073 fired transitions, 1945 secs || 40103160 markings, 117925421 edges,
lola: 97 tries, 96106368 fired transitions, 1950 secs || 40216309 markings, 118228935 edges,
lola: 97 tries, 96367634 fired transitions, 1955 secs || 40328379 markings, 118546076 edges,
lola: 97 tries, 96629351 fired transitions, 1960 secs || 40439238 markings, 118861786 edges,
lola: 97 tries, 96891401 fired transitions, 1965 secs || 40550730 markings, 119175779 edges,
lola: 98 tries, 97152306 fired transitions, 1970 secs || 40661368 markings, 119497164 edges,
lola: 98 tries, 97413589 fired transitions, 1975 secs || 40774219 markings, 119809276 edges,
lola: 98 tries, 97674409 fired transitions, 1980 secs || 40885597 markings, 120125614 edges,
lola: 98 tries, 97935169 fired transitions, 1985 secs || 40997667 markings, 120449570 edges,
lola: 99 tries, 98196924 fired transitions, 1990 secs || 41110498 markings, 120757608 edges,
lola: 99 tries, 98458929 fired transitions, 1995 secs || 41225599 markings, 121053670 edges,
lola: 99 tries, 98719624 fired transitions, 2000 secs || 41339170 markings, 121361521 edges,
lola: 99 tries, 98979977 fired transitions, 2005 secs || 41452224 markings, 121666735 edges,
lola: 100 tries, 99240413 fired transitions, 2010 secs || 41565633 markings, 121980504 edges,
lola: 100 tries, 99502357 fired transitions, 2015 secs || 41681301 markings, 122278690 edges,
lola: 100 tries, 99762962 fired transitions, 2020 secs || 41797297 markings, 122589507 edges,
lola: 101 tries, 100023869 fired transitions, 2025 secs || 41913944 markings, 122904638 edges,
lola: 101 tries, 100284161 fired transitions, 2030 secs || 42028669 markings, 123221208 edges,
lola: 101 tries, 100544946 fired transitions, 2035 secs || 42143722 markings, 123538255 edges,
lola: 101 tries, 100805939 fired transitions, 2040 secs || 42258497 markings, 123853063 edges,
lola: 102 tries, 101066873 fired transitions, 2045 secs || 42371760 markings, 124167770 edges,
lola: 102 tries, 101328515 fired transitions, 2050 secs || 42484063 markings, 124492076 edges,
lola: 102 tries, 101589570 fired transitions, 2055 secs || 42596118 markings, 124809145 edges,
lola: 102 tries, 101850240 fired transitions, 2060 secs || 42708867 markings, 125126462 edges,
lola: 103 tries, 102090466 fired transitions, 2065 secs || 42814275 markings, 125428802 edges,
lola: 103 tries, 102350051 fired transitions, 2070 secs || 42927952 markings, 125741388 edges,
lola: 103 tries, 102592211 fired transitions, 2075 secs || 43036042 markings, 126051714 edges,
lola: 103 tries, 102843812 fired transitions, 2080 secs || 43144780 markings, 126361154 edges,
lola: 104 tries, 103105478 fired transitions, 2085 secs || 43256413 markings, 126677466 edges,
lola: 104 tries, 103365928 fired transitions, 2090 secs || 43368429 markings, 126987492 edges,
lola: 104 tries, 103628510 fired transitions, 2095 secs || 43473079 markings, 127299026 edges,
lola: 104 tries, 103890720 fired transitions, 2100 secs || 43581706 markings, 127614501 edges,
lola: 105 tries, 104152386 fired transitions, 2105 secs || 43693177 markings, 127927817 edges,
lola: 105 tries, 104413628 fired transitions, 2110 secs || 43798765 markings, 128237121 edges,
lola: 105 tries, 104675056 fired transitions, 2115 secs || 43909563 markings, 128549181 edges,
lola: 105 tries, 104935826 fired transitions, 2120 secs || 44016014 markings, 128866603 edges,
lola: 106 tries, 105196668 fired transitions, 2125 secs || 44127849 markings, 129180642 edges,
lola: 106 tries, 105457596 fired transitions, 2130 secs || 44238340 markings, 129498024 edges,
lola: 106 tries, 105718113 fired transitions, 2135 secs || 44348639 markings, 129819550 edges,
lola: 106 tries, 105979349 fired transitions, 2140 secs || 44460203 markings, 130138352 edges,
lola: 107 tries, 106241042 fired transitions, 2145 secs || 44569886 markings, 130457152 edges,
lola: 107 tries, 106503348 fired transitions, 2150 secs || 44681532 markings, 130781462 edges,
lola: 107 tries, 106765693 fired transitions, 2155 secs || 44793175 markings, 131099586 edges,
lola: 108 tries, 107028377 fired transitions, 2160 secs || 44905473 markings, 131417008 edges,
lola: 108 tries, 107289152 fired transitions, 2165 secs || 45016609 markings, 131737273 edges,
lola: 108 tries, 107549920 fired transitions, 2170 secs || 45126810 markings, 132050006 edges,
lola: 108 tries, 107811600 fired transitions, 2175 secs || 45237175 markings, 132376524 edges,
lola: 109 tries, 108073249 fired transitions, 2180 secs || 45348101 markings, 132696496 edges,
lola: 109 tries, 108335082 fired transitions, 2185 secs || 45455721 markings, 133022196 edges,
lola: 109 tries, 108597744 fired transitions, 2190 secs || 45566034 markings, 133347935 edges,
lola: 109 tries, 108860184 fired transitions, 2195 secs || 45677352 markings, 133664179 edges,
lola: 110 tries, 109122283 fired transitions, 2200 secs || 45787446 markings, 133987384 edges,
lola: 110 tries, 109385013 fired transitions, 2205 secs || 45898314 markings, 134313884 edges,
lola: 110 tries, 109647297 fired transitions, 2210 secs || 46006941 markings, 134640954 edges,
lola: 110 tries, 109909483 fired transitions, 2215 secs || 46116506 markings, 134964341 edges,
lola: 111 tries, 110170915 fired transitions, 2220 secs || 46222308 markings, 135285748 edges,
lola: 111 tries, 110433077 fired transitions, 2225 secs || 46332994 markings, 135604639 edges,
lola: 111 tries, 110694492 fired transitions, 2230 secs || 46441357 markings, 135934570 edges,
lola: 111 tries, 110955743 fired transitions, 2235 secs || 46550642 markings, 136262795 edges,
lola: 112 tries, 111218091 fired transitions, 2240 secs || 46660570 markings, 136582577 edges,
lola: 112 tries, 111480683 fired transitions, 2245 secs || 46770126 markings, 136910996 edges,
lola: 112 tries, 111743088 fired transitions, 2250 secs || 46878629 markings, 137239303 edges,
lola: 113 tries, 112005373 fired transitions, 2255 secs || 46990005 markings, 137568336 edges,
lola: 113 tries, 112267967 fired transitions, 2260 secs || 47101178 markings, 137888838 edges,
lola: 113 tries, 112530575 fired transitions, 2265 secs || 47211951 markings, 138213316 edges,
lola: 113 tries, 112793610 fired transitions, 2270 secs || 47320216 markings, 138545683 edges,
lola: 114 tries, 113055759 fired transitions, 2275 secs || 47429473 markings, 138874708 edges,
lola: 114 tries, 113318071 fired transitions, 2280 secs || 47541143 markings, 139199642 edges,
lola: 114 tries, 113580014 fired transitions, 2285 secs || 47652371 markings, 139522886 edges,
lola: 114 tries, 113842051 fired transitions, 2290 secs || 47765202 markings, 139841346 edges,
lola: 115 tries, 114103966 fired transitions, 2295 secs || 47874927 markings, 140154747 edges,
lola: 115 tries, 114364379 fired transitions, 2300 secs || 47978322 markings, 140463623 edges,
lola: 115 tries, 114626060 fired transitions, 2305 secs || 48088487 markings, 140779865 edges,
lola: 115 tries, 114887912 fired transitions, 2310 secs || 48198943 markings, 141103203 edges,
lola: 116 tries, 115149156 fired transitions, 2315 secs || 48309883 markings, 141428788 edges,
lola: 116 tries, 115410892 fired transitions, 2320 secs || 48410017 markings, 141738072 edges,
lola: 116 tries, 115673046 fired transitions, 2325 secs || 48512345 markings, 142049773 edges,
lola: 116 tries, 115935966 fired transitions, 2330 secs || 48619667 markings, 142374467 edges,
lola: 117 tries, 116198231 fired transitions, 2335 secs || 48729529 markings, 142703953 edges,
lola: 117 tries, 116460987 fired transitions, 2340 secs || 48836806 markings, 143033091 edges,
lola: 117 tries, 116723519 fired transitions, 2345 secs || 48947230 markings, 143357631 edges,
lola: 117 tries, 116985946 fired transitions, 2350 secs || 49056970 markings, 143681390 edges,
lola: 118 tries, 117247698 fired transitions, 2355 secs || 49168869 markings, 144006076 edges,
lola: 118 tries, 117509493 fired transitions, 2360 secs || 49279290 markings, 144339269 edges,
lola: 118 tries, 117770753 fired transitions, 2365 secs || 49387862 markings, 144663081 edges,
lola: 119 tries, 118032112 fired transitions, 2370 secs || 49495923 markings, 144991887 edges,
lola: 119 tries, 118294126 fired transitions, 2375 secs || 49605270 markings, 145318161 edges,
lola: 119 tries, 118556681 fired transitions, 2380 secs || 49714772 markings, 145652393 edges,
lola: 119 tries, 118819411 fired transitions, 2385 secs || 49819989 markings, 145988229 edges,
lola: 120 tries, 119082074 fired transitions, 2390 secs || 49930072 markings, 146316362 edges,
lola: 120 tries, 119344154 fired transitions, 2395 secs || 50041000 markings, 146637447 edges,
lola: 120 tries, 119605717 fired transitions, 2400 secs || 50152737 markings, 146957673 edges,
lola: 120 tries, 119867794 fired transitions, 2405 secs || 50267601 markings, 147279289 edges,
lola: 121 tries, 120129119 fired transitions, 2410 secs || 50379345 markings, 147605429 edges,
lola: 121 tries, 120390878 fired transitions, 2415 secs || 50489491 markings, 147933493 edges,
lola: 121 tries, 120652690 fired transitions, 2420 secs || 50600614 markings, 148259853 edges,
lola: 121 tries, 120915249 fired transitions, 2425 secs || 50711453 markings, 148585086 edges,
lola: 122 tries, 121177295 fired transitions, 2430 secs || 50817588 markings, 148909139 edges,
lola: 122 tries, 121440392 fired transitions, 2435 secs || 50928843 markings, 149235041 edges,
lola: 122 tries, 121703532 fired transitions, 2440 secs || 51036922 markings, 149561554 edges,
lola: 122 tries, 121966752 fired transitions, 2445 secs || 51143333 markings, 149901031 edges,
lola: 123 tries, 122230333 fired transitions, 2450 secs || 51253978 markings, 150232882 edges,
lola: 123 tries, 122493164 fired transitions, 2455 secs || 51365301 markings, 150562848 edges,
lola: 123 tries, 122755754 fired transitions, 2460 secs || 51477706 markings, 150888156 edges,
lola: 124 tries, 123016754 fired transitions, 2465 secs || 51586585 markings, 151213729 edges,
lola: 124 tries, 123250261 fired transitions, 2470 secs || 51685659 markings, 151519221 edges,
lola: 124 tries, 123485299 fired transitions, 2475 secs || 51786142 markings, 151827925 edges,
lola: 124 tries, 123720008 fired transitions, 2480 secs || 51888313 markings, 152137853 edges,
lola: 124 tries, 123954640 fired transitions, 2485 secs || 51990281 markings, 152442753 edges,
lola: 125 tries, 124192474 fired transitions, 2490 secs || 52089276 markings, 152755084 edges,
lola: 125 tries, 124448485 fired transitions, 2495 secs || 52195573 markings, 153083162 edges,
lola: 125 tries, 124709737 fired transitions, 2500 secs || 52302976 markings, 153417800 edges,
lola: 125 tries, 124961654 fired transitions, 2505 secs || 52409398 markings, 153737600 edges,
lola: 126 tries, 125223011 fired transitions, 2510 secs || 52519000 markings, 154069419 edges,
lola: 126 tries, 125484734 fired transitions, 2515 secs || 52629106 markings, 154402952 edges,
lola: 126 tries, 125742576 fired transitions, 2520 secs || 52733294 markings, 154724498 edges,
lola: 126 tries, 125984097 fired transitions, 2525 secs || 52833139 markings, 155035181 edges,
lola: 127 tries, 126246289 fired transitions, 2530 secs || 52939656 markings, 155365922 edges,
lola: 127 tries, 126491766 fired transitions, 2535 secs || 53036897 markings, 155664517 edges,
lola: 127 tries, 126735784 fired transitions, 2540 secs || 53134283 markings, 155956730 edges,
lola: 127 tries, 126980764 fired transitions, 2545 secs || 53228815 markings, 156251727 edges,
lola: 128 tries, 127224966 fired transitions, 2550 secs || 53327039 markings, 156548456 edges,
lola: 128 tries, 127469426 fired transitions, 2555 secs || 53423323 markings, 156844032 edges,
lola: 128 tries, 127714021 fired transitions, 2560 secs || 53519213 markings, 157136351 edges,
lola: 128 tries, 127959378 fired transitions, 2565 secs || 53616946 markings, 157439243 edges,
lola: 129 tries, 128207747 fired transitions, 2570 secs || 53716746 markings, 157746001 edges,
lola: 129 tries, 128451512 fired transitions, 2575 secs || 53814711 markings, 158043394 edges,
lola: 129 tries, 128695097 fired transitions, 2580 secs || 53910565 markings, 158344826 edges,
lola: 129 tries, 128938772 fired transitions, 2585 secs || 54007586 markings, 158645871 edges,
lola: 130 tries, 129183389 fired transitions, 2590 secs || 54105868 markings, 158948146 edges,
lola: 130 tries, 129444954 fired transitions, 2595 secs || 54213383 markings, 159279453 edges,
lola: 130 tries, 129708705 fired transitions, 2600 secs || 54322697 markings, 159615472 edges,
lola: 130 tries, 129972405 fired transitions, 2605 secs || 54431533 markings, 159939421 edges,
lola: 131 tries, 130236841 fired transitions, 2610 secs || 54545124 markings, 160267254 edges,
lola: 131 tries, 130499388 fired transitions, 2615 secs || 54655709 markings, 160594928 edges,
lola: 131 tries, 130761173 fired transitions, 2620 secs || 54765438 markings, 160920594 edges,
lola: 132 tries, 131023105 fired transitions, 2625 secs || 54873891 markings, 161253174 edges,
lola: 132 tries, 131284342 fired transitions, 2630 secs || 54981224 markings, 161577794 edges,
lola: 132 tries, 131546757 fired transitions, 2635 secs || 55088065 markings, 161908889 edges,
lola: 132 tries, 131809498 fired transitions, 2640 secs || 55199595 markings, 162245483 edges,
lola: 133 tries, 132063485 fired transitions, 2645 secs || 55288743 markings, 162506543 edges,
lola: 133 tries, 132305502 fired transitions, 2650 secs || 55386351 markings, 162764276 edges,
lola: 133 tries, 132558468 fired transitions, 2655 secs || 55492914 markings, 163053943 edges,
lola: 133 tries, 132822387 fired transitions, 2660 secs || 55603722 markings, 163354557 edges,
lola: 134 tries, 133086002 fired transitions, 2665 secs || 55715070 markings, 163652584 edges,
lola: 134 tries, 133347145 fired transitions, 2670 secs || 55826893 markings, 163955984 edges,
lola: 134 tries, 133608494 fired transitions, 2675 secs || 55939055 markings, 164265162 edges,
lola: 134 tries, 133869399 fired transitions, 2680 secs || 56049961 markings, 164572990 edges,
lola: 135 tries, 134130936 fired transitions, 2685 secs || 56160276 markings, 164875469 edges,
lola: 135 tries, 134392966 fired transitions, 2690 secs || 56270951 markings, 165189825 edges,
lola: 135 tries, 134655354 fired transitions, 2695 secs || 56382041 markings, 165498050 edges,
lola: 135 tries, 134917919 fired transitions, 2700 secs || 56492758 markings, 165803826 edges,
lola: 136 tries, 135178633 fired transitions, 2705 secs || 56601773 markings, 166117671 edges,
lola: 136 tries, 135440129 fired transitions, 2710 secs || 56710781 markings, 166427928 edges,
lola: 136 tries, 135701782 fired transitions, 2715 secs || 56816292 markings, 166736819 edges,
lola: 136 tries, 135964204 fired transitions, 2720 secs || 56926975 markings, 167039486 edges,
lola: 137 tries, 136226580 fired transitions, 2725 secs || 57035992 markings, 167351703 edges,
lola: 137 tries, 136488678 fired transitions, 2730 secs || 57145586 markings, 167668230 edges,
lola: 137 tries, 136750665 fired transitions, 2735 secs || 57253610 markings, 167975541 edges,
lola: 138 tries, 137013197 fired transitions, 2740 secs || 57361118 markings, 168288132 edges,
lola: 138 tries, 137276067 fired transitions, 2745 secs || 57470085 markings, 168605230 edges,
lola: 138 tries, 137538837 fired transitions, 2750 secs || 57579218 markings, 168911558 edges,
lola: 138 tries, 137801677 fired transitions, 2755 secs || 57687956 markings, 169220544 edges,
lola: 139 tries, 138064492 fired transitions, 2760 secs || 57796625 markings, 169538528 edges,
lola: 139 tries, 138326755 fired transitions, 2765 secs || 57901968 markings, 169845477 edges,
lola: 139 tries, 138589270 fired transitions, 2770 secs || 58010567 markings, 170153325 edges,
lola: 139 tries, 138851822 fired transitions, 2775 secs || 58119422 markings, 170465959 edges,
lola: 140 tries, 139114367 fired transitions, 2780 secs || 58228829 markings, 170783732 edges,
lola: 140 tries, 139376875 fired transitions, 2785 secs || 58337773 markings, 171094052 edges,
lola: 140 tries, 139639179 fired transitions, 2790 secs || 58446506 markings, 171413661 edges,
lola: 140 tries, 139902397 fired transitions, 2795 secs || 58555085 markings, 171722856 edges,
lola: 141 tries, 140164431 fired transitions, 2800 secs || 58662178 markings, 172039640 edges,
lola: 141 tries, 140426909 fired transitions, 2805 secs || 58768076 markings, 172350252 edges,
lola: 141 tries, 140689421 fired transitions, 2810 secs || 58877113 markings, 172666460 edges,
lola: 141 tries, 140951836 fired transitions, 2815 secs || 58984460 markings, 172987262 edges,
lola: 142 tries, 141214554 fired transitions, 2820 secs || 59095597 markings, 173289267 edges,
lola: 142 tries, 141477051 fired transitions, 2825 secs || 59205472 markings, 173601717 edges,
lola: 142 tries, 141740160 fired transitions, 2830 secs || 59313896 markings, 173918908 edges,
lola: 143 tries, 142002724 fired transitions, 2835 secs || 59422121 markings, 174233528 edges,
lola: 143 tries, 142264520 fired transitions, 2840 secs || 59531460 markings, 174542291 edges,
lola: 143 tries, 142525991 fired transitions, 2845 secs || 59640964 markings, 174861899 edges,
lola: 143 tries, 142787749 fired transitions, 2850 secs || 59748709 markings, 175174861 edges,
lola: 144 tries, 143049276 fired transitions, 2855 secs || 59857720 markings, 175496664 edges,
lola: 144 tries, 143310958 fired transitions, 2860 secs || 59965991 markings, 175821684 edges,
lola: 144 tries, 143572515 fired transitions, 2865 secs || 60073898 markings, 176142414 edges,
lola: 144 tries, 143833973 fired transitions, 2870 secs || 60181772 markings, 176462950 edges,
lola: 145 tries, 144096252 fired transitions, 2875 secs || 60289932 markings, 176785008 edges,
lola: 145 tries, 144359731 fired transitions, 2880 secs || 60398924 markings, 177109112 edges,
lola: 145 tries, 144623081 fired transitions, 2885 secs || 60507142 markings, 177423008 edges,
lola: 145 tries, 144886036 fired transitions, 2890 secs || 60613041 markings, 177744079 edges,
lola: 146 tries, 145149122 fired transitions, 2895 secs || 60720388 markings, 178069683 edges,
lola: 146 tries, 145412611 fired transitions, 2900 secs || 60829083 markings, 178388373 edges,
lola: 146 tries, 145675535 fired transitions, 2905 secs || 60937368 markings, 178711773 edges,
lola: 146 tries, 145938672 fired transitions, 2910 secs || 61045485 markings, 179036970 edges,
lola: 147 tries, 146202285 fired transitions, 2915 secs || 61153206 markings, 179361169 edges,
lola: 147 tries, 146453367 fired transitions, 2920 secs || 61253856 markings, 179665239 edges,
lola: 147 tries, 146704255 fired transitions, 2925 secs || 61355644 markings, 179967177 edges,
lola: 147 tries, 146967427 fired transitions, 2930 secs || 61463677 markings, 180294552 edges,
lola: 148 tries, 147228896 fired transitions, 2935 secs || 61571829 markings, 180613947 edges,
lola: 148 tries, 147490266 fired transitions, 2940 secs || 61679061 markings, 180936985 edges,
lola: 148 tries, 147751511 fired transitions, 2945 secs || 61788228 markings, 181264018 edges,
lola: 149 tries, 148013076 fired transitions, 2950 secs || 61898292 markings, 181580687 edges,
lola: 149 tries, 148274808 fired transitions, 2955 secs || 62006571 markings, 181905580 edges,
lola: 149 tries, 148536901 fired transitions, 2960 secs || 62112242 markings, 182232511 edges,
lola: 149 tries, 148798553 fired transitions, 2965 secs || 62218896 markings, 182558026 edges,
lola: 150 tries, 149059994 fired transitions, 2970 secs || 62328156 markings, 182877339 edges,
lola: 150 tries, 149321062 fired transitions, 2975 secs || 62435689 markings, 183199485 edges,
lola: 150 tries, 149582437 fired transitions, 2980 secs || 62539722 markings, 183523406 edges,
lola: 150 tries, 149843872 fired transitions, 2985 secs || 62648948 markings, 183843400 edges,
lola: 151 tries, 150105097 fired transitions, 2990 secs || 62754447 markings, 184166746 edges,
lola: 151 tries, 150367163 fired transitions, 2995 secs || 62861027 markings, 184491528 edges,
lola: 151 tries, 150630585 fired transitions, 3000 secs || 62968918 markings, 184809235 edges,
lola: 151 tries, 150894385 fired transitions, 3005 secs || 63076097 markings, 185133224 edges,
lola: 152 tries, 151158835 fired transitions, 3010 secs || 63184383 markings, 185460135 edges,
lola: 152 tries, 151418388 fired transitions, 3015 secs || 63289086 markings, 185779326 edges,
lola: 152 tries, 151679535 fired transitions, 3020 secs || 63395875 markings, 186103096 edges,
lola: 152 tries, 151941988 fired transitions, 3025 secs || 63501929 markings, 186429800 edges,
lola: 153 tries, 152200162 fired transitions, 3030 secs || 63608444 markings, 186753298 edges,
lola: 153 tries, 152463657 fired transitions, 3035 secs || 63715828 markings, 187072857 edges,
lola: 153 tries, 152727725 fired transitions, 3040 secs || 63824384 markings, 187400774 edges,
lola: 153 tries, 152987815 fired transitions, 3045 secs || 63933271 markings, 187717242 edges,
lola: 154 tries, 153229022 fired transitions, 3050 secs || 64033023 markings, 188017420 edges,
lola: 154 tries, 153470560 fired transitions, 3055 secs || 64132808 markings, 188318032 edges,
lola: 154 tries, 153712242 fired transitions, 3060 secs || 64231678 markings, 188622558 edges,
lola: 154 tries, 153958103 fired transitions, 3065 secs || 64331366 markings, 188934876 edges,
lola: 155 tries, 154221481 fired transitions, 3070 secs || 64437834 markings, 189257758 edges,
lola: 155 tries, 154484316 fired transitions, 3075 secs || 64544638 markings, 189579556 edges,
lola: 155 tries, 154746339 fired transitions, 3080 secs || 64648699 markings, 189904265 edges,
lola: 156 tries, 155008326 fired transitions, 3085 secs || 64757394 markings, 190228037 edges,
lola: 156 tries, 155269301 fired transitions, 3090 secs || 64866026 markings, 190556412 edges,
lola: 156 tries, 155529996 fired transitions, 3095 secs || 64973044 markings, 190879096 edges,
lola: 156 tries, 155791301 fired transitions, 3100 secs || 65082076 markings, 191201712 edges,
lola: 157 tries, 156052621 fired transitions, 3105 secs || 65190170 markings, 191524172 edges,
lola: 157 tries, 156315019 fired transitions, 3110 secs || 65297631 markings, 191852977 edges,
lola: 157 tries, 156577209 fired transitions, 3115 secs || 65404247 markings, 192183423 edges,
lola: 157 tries, 156839961 fired transitions, 3120 secs || 65511309 markings, 192514643 edges,
lola: 158 tries, 157102283 fired transitions, 3125 secs || 65619078 markings, 192844597 edges,
lola: 158 tries, 157364001 fired transitions, 3130 secs || 65726846 markings, 193175296 edges,
lola: 158 tries, 157625836 fired transitions, 3135 secs || 65834993 markings, 193507134 edges,
lola: 158 tries, 157887533 fired transitions, 3140 secs || 65941220 markings, 193842351 edges,
lola: 159 tries, 158148520 fired transitions, 3145 secs || 66049148 markings, 194171449 edges,
lola: 159 tries, 158409945 fired transitions, 3150 secs || 66155542 markings, 194498534 edges,
lola: 159 tries, 158671410 fired transitions, 3155 secs || 66263635 markings, 194827693 edges,
lola: 159 tries, 158933027 fired transitions, 3160 secs || 66371687 markings, 195157854 edges,
lola: 160 tries, 159195424 fired transitions, 3165 secs || 66480325 markings, 195484259 edges,
lola: 160 tries, 159457809 fired transitions, 3170 secs || 66586820 markings, 195814937 edges,
lola: 160 tries, 159720362 fired transitions, 3175 secs || 66696775 markings, 196139329 edges,
lola: 160 tries, 159983485 fired transitions, 3180 secs || 66803986 markings, 196472484 edges,
lola: 161 tries, 160245524 fired transitions, 3185 secs || 66911341 markings, 196803537 edges,
lola: 161 tries, 160508457 fired transitions, 3190 secs || 67019599 markings, 197133159 edges,
lola: 161 tries, 160771644 fired transitions, 3195 secs || 67124700 markings, 197469392 edges,
lola: 162 tries, 161033780 fired transitions, 3200 secs || 67231537 markings, 197798334 edges,
lola: 162 tries, 161295745 fired transitions, 3205 secs || 67340979 markings, 198131180 edges,
lola: 162 tries, 161558707 fired transitions, 3210 secs || 67448262 markings, 198467544 edges,
lola: 162 tries, 161821475 fired transitions, 3215 secs || 67556552 markings, 198796780 edges,
lola: 163 tries, 162082434 fired transitions, 3220 secs || 67663552 markings, 199128533 edges,
lola: 163 tries, 162343734 fired transitions, 3225 secs || 67770608 markings, 199458800 edges,
lola: 163 tries, 162604694 fired transitions, 3230 secs || 67878573 markings, 199791463 edges,
lola: 163 tries, 162866444 fired transitions, 3235 secs || 67986690 markings, 200124937 edges,
lola: 164 tries, 163128850 fired transitions, 3240 secs || 68095153 markings, 200458343 edges,
lola: 164 tries, 163391835 fired transitions, 3245 secs || 68203696 markings, 200792248 edges,
lola: 164 tries, 163654347 fired transitions, 3250 secs || 68310124 markings, 201126460 edges,
lola: 164 tries, 163917340 fired transitions, 3255 secs || 68417705 markings, 201459685 edges,
lola: 165 tries, 164179328 fired transitions, 3260 secs || 68524657 markings, 201789000 edges,
lola: 165 tries, 164440946 fired transitions, 3265 secs || 68633447 markings, 202123943 edges,
lola: 165 tries, 164702283 fired transitions, 3270 secs || 68739069 markings, 202457957 edges,
lola: 165 tries, 164964008 fired transitions, 3275 secs || 68847630 markings, 202787456 edges,
lola: 166 tries, 165226795 fired transitions, 3280 secs || 68956328 markings, 203119868 edges,
lola: 166 tries, 165489841 fired transitions, 3285 secs || 69065169 markings, 203453884 edges,
lola: 166 tries, 165752666 fired transitions, 3290 secs || 69172939 markings, 203793959 edges,
lola: 167 tries, 166015323 fired transitions, 3295 secs || 69280885 markings, 204131411 edges,
lola: 167 tries, 166276671 fired transitions, 3300 secs || 69387878 markings, 204466994 edges,
lola: 167 tries, 166538218 fired transitions, 3305 secs || 69496505 markings, 204802922 edges,
lola: 167 tries, 166799586 fired transitions, 3310 secs || 69604210 markings, 205136019 edges,
lola: 168 tries, 167061065 fired transitions, 3315 secs || 69714929 markings, 205448170 edges,
lola: 168 tries, 167323825 fired transitions, 3320 secs || 69827471 markings, 205749046 edges,
lola: 168 tries, 167585865 fired transitions, 3325 secs || 69938405 markings, 206049231 edges,
lola: 168 tries, 167847355 fired transitions, 3330 secs || 70049708 markings, 206355627 edges,
lola: 169 tries, 168109220 fired transitions, 3335 secs || 70162747 markings, 206654138 edges,
lola: 169 tries, 168370273 fired transitions, 3340 secs || 70275466 markings, 206954148 edges,
lola: 169 tries, 168631487 fired transitions, 3345 secs || 70389513 markings, 207262767 edges,
lola: 169 tries, 168892817 fired transitions, 3350 secs || 70502228 markings, 207579397 edges,
lola: 170 tries, 169153745 fired transitions, 3355 secs || 70615321 markings, 207887527 edges,
lola: 170 tries, 169413827 fired transitions, 3360 secs || 70727123 markings, 208200308 edges,
lola: 170 tries, 169674650 fired transitions, 3365 secs || 70838638 markings, 208511723 edges,
lola: 170 tries, 169935743 fired transitions, 3370 secs || 70949495 markings, 208820313 edges,
lola: 171 tries, 170196868 fired transitions, 3375 secs || 71061228 markings, 209143221 edges,
lola: 171 tries, 170457313 fired transitions, 3380 secs || 71171784 markings, 209455735 edges,
lola: 171 tries, 170717563 fired transitions, 3385 secs || 71282388 markings, 209767905 edges,
lola: 171 tries, 170978553 fired transitions, 3390 secs || 71394478 markings, 210076870 edges,
lola: 172 tries, 171239350 fired transitions, 3395 secs || 71505686 markings, 210395072 edges,
lola: 172 tries, 171500095 fired transitions, 3400 secs || 71616722 markings, 210704524 edges,
lola: 172 tries, 171761148 fired transitions, 3405 secs || 71722447 markings, 211011393 edges,
lola: 173 tries, 172021912 fired transitions, 3410 secs || 71832757 markings, 211324173 edges,
lola: 173 tries, 172282334 fired transitions, 3415 secs || 71942513 markings, 211643555 edges,
lola: 173 tries, 172542739 fired transitions, 3420 secs || 72051571 markings, 211957083 edges,
lola: 173 tries, 172803189 fired transitions, 3425 secs || 72163317 markings, 212265907 edges,
lola: 174 tries, 173063613 fired transitions, 3430 secs || 72273490 markings, 212577587 edges,
lola: 174 tries, 173325913 fired transitions, 3435 secs || 72380590 markings, 212884664 edges,
lola: 174 tries, 173588026 fired transitions, 3440 secs || 72491867 markings, 213199156 edges,
lola: 174 tries, 173849386 fired transitions, 3445 secs || 72602321 markings, 213513674 edges,
lola: 175 tries, 174110991 fired transitions, 3450 secs || 72713211 markings, 213825366 edges,
lola: 175 tries, 174371791 fired transitions, 3455 secs || 72822188 markings, 214143318 edges,
lola: 175 tries, 174632704 fired transitions, 3460 secs || 72931127 markings, 214459891 edges,
lola: 175 tries, 174891954 fired transitions, 3465 secs || 73041826 markings, 214780602 edges,
lola: 176 tries, 175152142 fired transitions, 3470 secs || 73150950 markings, 215101015 edges,
lola: 176 tries, 175412192 fired transitions, 3475 secs || 73257079 markings, 215417246 edges,
lola: 176 tries, 175672512 fired transitions, 3480 secs || 73365905 markings, 215731402 edges,
lola: 176 tries, 175932983 fired transitions, 3485 secs || 73475684 markings, 216044359 edges,
lola: 177 tries, 176195948 fired transitions, 3490 secs || 73588050 markings, 216345722 edges,
lola: 177 tries, 176457406 fired transitions, 3495 secs || 73696169 markings, 216664025 edges,
lola: 177 tries, 176719333 fired transitions, 3500 secs || 73806123 markings, 216983530 edges,
lola: 177 tries, 176981433 fired transitions, 3505 secs || 73915907 markings, 217303201 edges,
lola: 178 tries, 177243249 fired transitions, 3510 secs || 74027653 markings, 217617800 edges,
lola: 178 tries, 177505099 fired transitions, 3515 secs || 74139114 markings, 217937430 edges,
lola: 178 tries, 177765857 fired transitions, 3520 secs || 74248095 markings, 218266173 edges,
lola: 179 tries, 178027851 fired transitions, 3525 secs || 74359251 markings, 218581648 edges,
lola: 179 tries, 178288384 fired transitions, 3530 secs || 74468174 markings, 218903035 edges,
lola: 179 tries, 178548493 fired transitions, 3535 secs || 74577315 markings, 219225909 edges,
lola: 179 tries, 178808848 fired transitions, 3540 secs || 74683319 markings, 219545047 edges,
lola: 180 tries, 179069857 fired transitions, 3545 secs || 74792453 markings, 219868567 edges,
lola: 180 tries, 179331510 fired transitions, 3550 secs || 74901478 markings, 220192726 edges,
lola: 180 tries, 179594260 fired transitions, 3555 secs || 75009867 markings, 220520016 edges,
lola: 180 tries, 179855947 fired transitions, 3560 secs || 75118476 markings, 220843305 edges,
lola: time limit reached - aborting
lola: memory consumption: 7013148 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 1552943902295

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off 39650944565248.000000, tarjan) jan) 21517 markings/sec, 0 secs 21281 markings/sec, 5 secs 20157 markings/sec, 10 secs 19002 markings/sec, 15 secs 20426 markings/sec, 20 secs 21067 markings/sec, 25 secs 20765 markings/sec, 30 secs 20733 markings/sec, 35 secs 20708 markings/sec, 40 secs 21794 markings/sec, 45 secs 21508 markings/sec, 50 secs 21044 markings/sec, 55 secs 21609 markings/sec, 60 secs 21623 markings/sec, 65 secs 21053 markings/sec, 70 secs 21393 markings/sec, 75 secs 21015 markings/sec, 80 secs 20884 markings/sec, 85 secs 20873 markings/sec, 90 secs 20754 markings/sec, 95 secs 20776 markings/sec, 100 secs 20766 markings/sec, 105 secs 21017 markings/sec, 110 secs 20853 markings/sec, 115 secs 21334 markings/sec, 120 secs 21300 markings/sec, 125 secs 20494 markings/sec, 130 secs 20794 markings/sec, 135 secs 20836 markings/sec, 140 secs 20346 markings/sec, 145 secs 20600 markings/sec, 150 secs 20374 markings/sec, 155 secs 20461 markings/sec, 160 secs 20521 markings/sec, 165 secs 20579 markings/sec, 170 secs 20497 markings/sec, 175 secs 20497 markings/sec, 180 secs 20746 markings/sec, 185 secs 19848 markings/sec, 190 secs 20297 markings/sec, 195 secs 20680 markings/sec, 200 secs 20502 markings/sec, 205 secs 20498 markings/sec, 210 secs 20762 markings/sec, 215 secs 20432 markings/sec, 220 secs 19832 markings/sec, 225 secs 20702 markings/sec, 230 secs 20638 markings/sec, 235 secs 20913 markings/sec, 240 secs 19520 markings/sec, 245 secs 20002 markings/sec, 250 secs 20853 markings/sec, 255 secs 21181 markings/sec, 260 secs 20685 markings/sec, 265 secs 20154 markings/sec, 270 secs 19597 markings/sec, 275 secs 19056 markings/sec, 280 secs 19279 markings/sec, 285 secs 19259 markings/sec, 290 secs 19564 markings/sec, 295 secs 20556 markings/sec, 300 secs 21195 markings/sec, 305 secs 21090 markings/sec, 310 secs 20166 markings/sec, 315 secs 20851 markings/sec, 320 secs 21401 markings/sec, 325 secs 20332 markings/sec, 330 secs 20344 markings/sec, 335 secs 20111 markings/sec, 340 secs 20655 markings/sec, 345 secs 20851 markings/sec, 350 secs 20856 markings/sec, 355 secs 19987 markings/sec, 360 secs 20043 markings/sec, 365 secs 20821 markings/sec, 370 secs 21020 markings/sec, 375 secs 20890 markings/sec, 380 secs 20899 markings/sec, 385 secs 20323 markings/sec, 390 secs 20659 markings/sec, 395 secs 20411 markings/sec, 400 secs 20851 markings/sec, 405 secs 20182 markings/sec, 410 secs 20336 markings/sec, 415 secs 20486 markings/sec, 420 secs 20424 markings/sec, 425 secs 19754 markings/sec, 430 secs 19996 markings/sec, 435 secs 20344 markings/sec, 440 secs 20166 markings/sec, 445 secs 20260 markings/sec, 450 secs 20293 markings/sec, 455 secs 20173 markings/sec, 460 secs 20679 markings/sec, 465 secs 20541 markings/sec, 470 secs 20588 markings/sec, 475 secs 20345 markings/sec, 480 secs 20788 markings/sec, 485 secs 20353 markings/sec, 490 secs 20440 markings/sec, 495 secs 20625 markings/sec, 500 secs 19472 markings/sec, 505 secs 19734 markings/sec, 510 secs 19174 markings/sec, 515 secs 20137 markings/sec, 520 secs 20747 markings/sec, 525 secs 21401 markings/sec, 530 secs 20493 markings/sec, 535 secs 20487 markings/sec, 540 secs 20590 markings/sec, 545 secs 20327 markings/sec, 550 secs 20781 markings/sec, 555 secs 20625 markings/sec, 560 secs 20416 markings/sec, 565 secs 20681 markings/sec, 570 secs 20583 markings/sec, 575 secs 20105 markings/sec, 580 secs 20014 markings/sec, 585 secs 20149 markings/sec, 590 secs 20427 markings/sec, 595 secs 20308 markings/sec, 600 secs 20375 markings/sec, 605 secs 20423 markings/sec, 610 secs 19914 markings/sec, 615 secs 20084 markings/sec, 620 secs 20231 markings/sec, 625 secs 20203 markings/sec, 630 secs 20008 markings/sec, 635 secs 19889 markings/sec, 640 secs 19886 markings/sec, 645 secs 19624 markings/sec, 650 secs 19888 markings/sec, 655 secs 20090 markings/sec, 660 secs 20536 markings/sec, 665 secs 20902 markings/sec, 670 secs 20895 markings/sec, 675 secs 21131 markings/sec, 680 secs 21094 markings/sec, 685 secs 19771 markings/sec, 690 secs 19959 markings/sec, 695 secs 19662 markings/sec, 700 secs 20010 markings/sec, 705 secs 19982 markings/sec, 710 secs 19631 markings/sec, 715 secs 19549 markings/sec, 720 secs 20215 markings/sec, 725 secs 21016 markings/sec, 730 secs 20550 markings/sec, 735 secs 21528 markings/sec, 740 secs 20872 markings/sec, 745 secs 21039 markings/sec, 750 secs 21127 markings/sec, 755 secs 20935 markings/sec, 760 secs 20020 markings/sec, 765 secs 20763 markings/sec, 770 secs 21177 markings/sec, 775 secs 21216 markings/sec, 780 secs 20986 markings/sec, 785 secs 20795 markings/sec, 790 secs 21076 markings/sec, 795 secs 20916 markings/sec, 800 secs 20721 markings/sec, 805 secs 21026 markings/sec, 810 secs 20712 markings/sec, 815 secs 20692 markings/sec, 820 secs 21224 markings/sec, 825 secs 20864 markings/sec, 830 secs 20579 markings/sec, 835 secs 20815 markings/sec, 840 secs 20453 markings/sec, 845 secs 20430 markings/sec, 850 secs 20898 markings/sec, 855 secs 20816 markings/sec, 860 secs 20529 markings/sec, 865 secs 20890 markings/sec, 870 secs 20531 markings/sec, 875 secs 20781 markings/sec, 880 secs 20923 markings/sec, 885 secs 21170 markings/sec, 890 secs 21191 markings/sec, 895 secs 20673 markings/sec, 900 secs 20829 markings/sec, 905 secs 20404 markings/sec, 910 secs 20526 markings/sec, 915 secs 20424 markings/sec, 920 secs 20366 markings/sec, 925 secs 20746 markings/sec, 930 secs 21267 markings/sec, 935 secs 20162 markings/sec, 940 secs 20806 markings/sec, 945 secs 20633 markings/sec, 950 secs 20482 markings/sec, 955 secs 20669 markings/sec, 960 secs 20555 markings/sec, 965 secs 20965 markings/sec, 970 secs 20121 markings/sec, 975 secs 20699 markings/sec, 980 secs 20897 markings/sec, 985 secs 20351 markings/sec, 990 secs 19517 markings/sec, 995 secs 20354 markings/sec, 1000 secs 20657 markings/sec, 1005 secs 20877 markings/sec, 1010 secs 21357 markings/sec, 1015 secs 21254 markings/sec, 1020 secs 21743 markings/sec, 1025 secs 21873 markings/sec, 1030 secs 21832 markings/sec, 1035 secs 21766 markings/sec, 1040 secs 21494 markings/sec, 1045 secs 21230 markings/sec, 1050 secs 21521 markings/sec, 1055 secs 21666 markings/sec, 1060 secs 21409 markings/sec, 1065 secs 21466 markings/sec, 1070 secs 21196 markings/sec, 1075 secs 21255 markings/sec, 1080 secs 21362 markings/sec, 1085 secs 20911 markings/sec, 1090 secs 21231 markings/sec, 1095 secs 21072 markings/sec, 1100 secs 21161 markings/sec, 1105 secs 21291 markings/sec, 1110 secs 21374 markings/sec, 1115 secs 21186 markings/sec, 1120 secs 20327 markings/sec, 1125 secs 20074 markings/sec, 1130 secs 19963 markings/sec, 1135 secs 19401 markings/sec, 1140 secs 19660 markings/sec, 1145 secs 20003 markings/sec, 1150 secs 20026 markings/sec, 1155 secs 20057 markings/sec, 1160 secs 20478 markings/sec, 1165 secs 19989 markings/sec, 1170 secs 19935 markings/sec, 1175 secs 20068 markings/sec, 1180 secs 20397 markings/sec, 1185 secs 20175 markings/sec, 1190 secs 20016 markings/sec, 1195 secs 20102 markings/sec, 1200 secs 20236 markings/sec, 1205 secs 19745 markings/sec, 1210 secs 20045 markings/sec, 1215 secs 20205 markings/sec, 1220 secs 19940 markings/sec, 1225 secs 20087 markings/sec, 1230 secs 19441 markings/sec, 1235 secs 20070 markings/sec, 1240 secs 20527 markings/sec, 1245 secs 20079 markings/sec, 1250 secs 20156 markings/sec, 1255 secs 20321 markings/sec, 1260 secs 20006 markings/sec, 1265 secs 19489 markings/sec, 1270 secs 20193 markings/sec, 1275 secs 20381 markings/sec, 1280 secs 20003 markings/sec, 1285 secs 19774 markings/sec, 1290 secs 20093 markings/sec, 1295 secs 19006 markings/sec, 1300 secs 19988 markings/sec, 1305 secs 19797 markings/sec, 1310 secs 19484 markings/sec, 1315 secs 19947 markings/sec, 1320 secs 19993 markings/sec, 1325 secs 19724 markings/sec, 1330 secs 20111 markings/sec, 1335 secs 19870 markings/sec, 1340 secs 19799 markings/sec, 1345 secs 19865 markings/sec, 1350 secs 19807 markings/sec, 1355 secs 19675 markings/sec, 1360 secs 19698 markings/sec, 1365 secs 18938 markings/sec, 1370 secs 20949 markings/sec, 1375 secs 21109 markings/sec, 1380 secs 21203 markings/sec, 1385 secs 20662 markings/sec, 1390 secs 20501 markings/sec, 1395 secs 20832 markings/sec, 1400 secs 21135 markings/sec, 1405 secs 20712 markings/sec, 1410 secs 21038 markings/sec, 1415 secs 20350 markings/sec, 1420 secs 20679 markings/sec, 1425 secs 20414 markings/sec, 1430 secs 20757 markings/sec, 1435 secs 21069 markings/sec, 1440 secs 20630 markings/sec, 1445 secs 20899 markings/sec, 1450 secs 20891 markings/sec, 1455 secs 21041 markings/sec, 1460 secs 20511 markings/sec, 1465 secs 20999 markings/sec, 1470 secs 21000 markings/sec, 1475 secs 20932 markings/sec, 1480 secs 21202 markings/sec, 1485 secs 21378 markings/sec, 1490 secs 20698 markings/sec, 1495 secs 20231 markings/sec, 1500 secs 20114 markings/sec, 1505 secs 20548 markings/sec, 1510 secs 20802 markings/sec, 1515 secs 20805 markings/sec, 1520 secs 20431 markings/sec, 1525 secs 20748 markings/sec, 1530 secs 21008 markings/sec, 1535 secs 20562 markings/sec, 1540 secs 20749 markings/sec, 1545 secs 20407 markings/sec, 1550 secs 20908 markings/sec, 1555 secs 20388 markings/sec, 1560 secs 20992 markings/sec, 1565 secs 20633 markings/sec, 1570 secs 21063 markings/sec, 1575 secs 20671 markings/sec, 1580 secs 20583 markings/sec, 1585 secs 21274 markings/sec, 1590 secs 21108 markings/sec, 1595 secs 20839 markings/sec, 1600 secs 20530 markings/sec, 1605 secs 20505 markings/sec, 1610 secs 20513 markings/sec, 1615 secs 21015 markings/sec, 1620 secs 20626 markings/sec, 1625 secs 21172 markings/sec, 1630 secs 20649 markings/sec, 1635 secs 20370 markings/sec, 1640 secs 20483 markings/sec, 1645 secs 19652 markings/sec, 1650 secs 20501 markings/sec, 1655 secs 20911 markings/sec, 1660 secs 20308 markings/sec, 1665 secs 20331 markings/sec, 1670 secs 20336 markings/sec, 1675 secs 20001 markings/sec, 1680 secs 19301 markings/sec, 1685 secs 19217 markings/sec, 1690 secs 19413 markings/sec, 1695 secs 20316 markings/sec, 1700 secs 19382 markings/sec, 1705 secs 20143 markings/sec, 1710 secs 19881 markings/sec, 1715 secs 19645 markings/sec, 1720 secs 19968 markings/sec, 1725 secs 19814 markings/sec, 1730 secs 19408 markings/sec, 1735 secs 19518 markings/sec, 1740 secs 20321 markings/sec, 1745 secs 20007 markings/sec, 1750 secs 19629 markings/sec, 1755 secs 19470 markings/sec, 1760 secs 19610 markings/sec, 1765 secs 19936 markings/sec, 1770 secs 19659 markings/sec, 1775 secs 19309 markings/sec, 1780 secs 19430 markings/sec, 1785 secs 19299 markings/sec, 1790 secs 19785 markings/sec, 1795 secs 19431 markings/sec, 1800 secs 19456 markings/sec, 1805 secs 20588 markings/sec, 1810 secs 21425 markings/sec, 1815 secs 21755 markings/sec, 1820 secs 20381 markings/sec, 1825 secs 20003 markings/sec, 1830 secs 20055 markings/sec, 1835 secs 21158 markings/sec, 1840 secs 21200 markings/sec, 1845 secs 21204 markings/sec, 1850 secs 21634 markings/sec, 1855 secs 20254 markings/sec, 1860 secs 20916 markings/sec, 1865 secs 20851 markings/sec, 1870 secs 21179 markings/sec, 1875 secs 21535 markings/sec, 1880 secs 22556 markings/sec, 1885 secs 22486 markings/sec, 1890 secs 22260 markings/sec, 1895 secs 22455 markings/sec, 1900 secs 22899 markings/sec, 1905 secs 22754 markings/sec, 1910 secs 22935 markings/sec, 1915 secs 22536 markings/sec, 1920 secs 22290 markings/sec, 1925 secs 22800 markings/sec, 1930 secs 22284 markings/sec, 1935 secs 22186 markings/sec, 1940 secs 22361 markings/sec, 1945 secs 22630 markings/sec, 1950 secs 22414 markings/sec, 1955 secs 22172 markings/sec, 1960 secs 22298 markings/sec, 1965 secs 22128 markings/sec, 1970 secs 22570 markings/sec, 1975 secs 22276 markings/sec, 1980 secs 22414 markings/sec, 1985 secs 22566 markings/sec, 1990 secs 23020 markings/sec, 1995 secs 22714 markings/sec, 2000 secs 22611 markings/sec, 2005 secs 22682 markings/sec, 2010 secs 23134 markings/sec, 2015 secs 23199 markings/sec, 2020 secs 23329 markings/sec, 2025 secs 22945 markings/sec, 2030 secs 23011 markings/sec, 2035 secs 22955 markings/sec, 2040 secs 22653 markings/sec, 2045 secs 22461 markings/sec, 2050 secs 22411 markings/sec, 2055 secs 22550 markings/sec, 2060 secs 21082 markings/sec, 2065 secs 22735 markings/sec, 2070 secs 21618 markings/sec, 2075 secs 21748 markings/sec, 2080 secs 22327 markings/sec, 2085 secs 22403 markings/sec, 2090 secs 20930 markings/sec, 2095 secs 21725 markings/sec, 2100 secs 22294 markings/sec, 2105 secs 21118 markings/sec, 2110 secs 22160 markings/sec, 2115 secs 21290 markings/sec, 2120 secs 22367 markings/sec, 2125 secs 22098 markings/sec, 2130 secs 22060 markings/sec, 2135 secs 22313 markings/sec, 2140 secs 21937 markings/sec, 2145 secs 22329 markings/sec, 2150 secs 22329 markings/sec, 2155 secs 22460 markings/sec, 2160 secs 22227 markings/sec, 2165 secs 22040 markings/sec, 2170 secs 22073 markings/sec, 2175 secs 22185 markings/sec, 2180 secs 21524 markings/sec, 2185 secs 22063 markings/sec, 2190 secs 22264 markings/sec, 2195 secs 22019 markings/sec, 2200 secs 22174 markings/sec, 2205 secs 21725 markings/sec, 2210 secs 21913 markings/sec, 2215 secs 21160 markings/sec, 2220 secs 22137 markings/sec, 2225 secs 21673 markings/sec, 2230 secs 21857 markings/sec, 2235 secs 21986 markings/sec, 2240 secs 21911 markings/sec, 2245 secs 21701 markings/sec, 2250 secs 22275 markings/sec, 2255 secs 22235 markings/sec, 2260 secs 22155 markings/sec, 2265 secs 21653 markings/sec, 2270 secs 21851 markings/sec, 2275 secs 22334 markings/sec, 2280 secs 22246 markings/sec, 2285 secs 22566 markings/sec, 2290 secs 21945 markings/sec, 2295 secs 20679 markings/sec, 2300 secs 22033 markings/sec, 2305 secs 22091 markings/sec, 2310 secs 22188 markings/sec, 2315 secs 20027 markings/sec, 2320 secs 20466 markings/sec, 2325 secs 21464 markings/sec, 2330 secs 21972 markings/sec, 2335 secs 21455 markings/sec, 2340 secs 22085 markings/sec, 2345 secs 21948 markings/sec, 2350 secs 22380 markings/sec, 2355 secs 22084 markings/sec, 2360 secs 21714 markings/sec, 2365 secs 21612 markings/sec, 2370 secs 21869 markings/sec, 2375 secs 21900 markings/sec, 2380 secs 21043 markings/sec, 2385 secs 22017 markings/sec, 2390 secs 22186 markings/sec, 2395 secs 22347 markings/sec, 2400 secs 22973 markings/sec, 2405 secs 22349 markings/sec, 2410 secs 22029 markings/sec, 2415 secs 22225 markings/sec, 2420 secs 22168 markings/sec, 2425 secs 21227 markings/sec, 2430 secs 22251 markings/sec, 2435 secs 21616 markings/sec, 2440 secs 21282 markings/sec, 2445 secs 22129 markings/sec, 2450 secs 22265 markings/sec, 2455 secs 22481 markings/sec, 2460 secs 21776 markings/sec, 2465 secs 19815 markings/sec, 2470 secs 20097 markings/sec, 2475 secs 20434 markings/sec, 2480 secs 20394 markings/sec, 2485 secs 19799 markings/sec, 2490 secs 21259 markings/sec, 2495 secs 21481 markings/sec, 2500 secs 21284 markings/sec, 2505 secs 21920 markings/sec, 2510 secs 22021 markings/sec, 2515 secs 20838 markings/sec, 2520 secs 19969 markings/sec, 2525 secs 21303 markings/sec, 2530 secs 19448 markings/sec, 2535 secs 19477 markings/sec, 2540 secs 18906 markings/sec, 2545 secs 19645 markings/sec, 2550 secs 19257 markings/sec, 2555 secs 19178 markings/sec, 2560 secs 19547 markings/sec, 2565 secs 19960 markings/sec, 2570 secs 19593 markings/sec, 2575 secs 19171 markings/sec, 2580 secs 19404 markings/sec, 2585 secs 19656 markings/sec, 2590 secs 21503 markings/sec, 2595 secs 21863 markings/sec, 2600 secs 21767 markings/sec, 2605 secs 22718 markings/sec, 2610 secs 22117 markings/sec, 2615 secs 21946 markings/sec, 2620 secs 21691 markings/sec, 2625 secs 21467 markings/sec, 2630 secs 21368 markings/sec, 2635 secs 22306 markings/sec, 2640 secs 17830 markings/sec, 2645 secs 19522 markings/sec, 2650 secs 21313 markings/sec, 2655 secs 22162 markings/sec, 2660 secs 22270 markings/sec, 2665 secs 22365 markings/sec, 2670 secs 22432 markings/sec, 2675 secs 22181 markings/sec, 2680 secs 22063 markings/sec, 2685 secs 22135 markings/sec, 2690 secs 22218 markings/sec, 2695 secs 22143 markings/sec, 2700 secs 21803 markings/sec, 2705 secs 21802 markings/sec, 2710 secs 21102 markings/sec, 2715 secs 22137 markings/sec, 2720 secs 21803 markings/sec, 2725 secs 21919 markings/sec, 2730 secs 21605 markings/sec, 2735 secs 21502 markings/sec, 2740 secs 21793 markings/sec, 2745 secs 21827 markings/sec, 2750 secs 21748 markings/sec, 2755 secs 21734 markings/sec, 2760 secs 21069 markings/sec, 2765 secs 21720 markings/sec, 2770 secs 21771 markings/sec, 2775 secs 21881 markings/sec, 2780 secs 21789 markings/sec, 2785 secs 21747 markings/sec, 2790 secs 21716 markings/sec, 2795 secs 21419 markings/sec, 2800 secs 21180 markings/sec, 2805 secs 21807 markings/sec, 2810 secs 21469 markings/sec, 2815 secs 22227 markings/sec, 2820 secs 21975 markings/sec, 2825 secs 21685 markings/sec, 2830 secs 21645 markings/sec, 2835 secs 21868 markings/sec, 2840 secs 21901 markings/sec, 2845 secs 21549 markings/sec, 2850 secs 21802 markings/sec, 2855 secs 21654 markings/sec, 2860 secs 21581 markings/sec, 2865 secs 21575 markings/sec, 2870 secs 21632 markings/sec, 2875 secs 21798 markings/sec, 2880 secs 21644 markings/sec, 2885 secs 21180 markings/sec, 2890 secs 21469 markings/sec, 2895 secs 21739 markings/sec, 2900 secs 21657 markings/sec, 2905 secs 21623 markings/sec, 2910 secs 21544 markings/sec, 2915 secs 20130 markings/sec, 2920 secs 20358 markings/sec, 2925 secs 21607 markings/sec, 2930 secs 21630 markings/sec, 2935 secs 21446 markings/sec, 2940 secs 21833 markings/sec, 2945 secs 22013 markings/sec, 2950 secs 21656 markings/sec, 2955 secs 21134 markings/sec, 2960 secs 21331 markings/sec, 2965 secs 21852 markings/sec, 2970 secs 21507 markings/sec, 2975 secs 20807 markings/sec, 2980 secs 21845 markings/sec, 2985 secs 21100 markings/sec, 2990 secs 21316 markings/sec, 2995 secs 21578 markings/sec, 3000 secs 21436 markings/sec, 3005 secs 21657 markings/sec, 3010 secs 20941 markings/sec, 3015 secs 21358 markings/sec, 3020 secs 21211 markings/sec, 3025 secs 21303 markings/sec, 3030 secs 21477 markings/sec, 3035 secs 21711 markings/sec, 3040 secs 21777 markings/sec, 3045 secs 19950 markings/sec, 3050 secs 19957 markings/sec, 3055 secs 19774 markings/sec, 3060 secs 19938 markings/sec, 3065 secs 21294 markings/sec, 3070 secs 21361 markings/sec, 3075 secs 20812 markings/sec, 3080 secs 21739 markings/sec, 3085 secs 21726 markings/sec, 3090 secs 21404 markings/sec, 3095 secs 21806 markings/sec, 3100 secs 21619 markings/sec, 3105 secs 21492 markings/sec, 3110 secs 21323 markings/sec, 3115 secs 21412 markings/sec, 3120 secs 21554 markings/sec, 3125 secs 21554 markings/sec, 3130 secs 21629 markings/sec, 3135 secs 21245 markings/sec, 3140 secs 21586 markings/sec, 3145 secs 21279 markings/sec, 3150 secs 21619 markings/sec, 3155 secs 21610 markings/sec, 3160 secs 21728 markings/sec, 3165 secs 21299 markings/sec, 3170 secs 21991 markings/sec, 3175 secs 21442 markings/sec, 3180 secs 21471 markings/sec, 3185 secs 21652 markings/sec, 3190 secs 21020 markings/sec, 3195 secs 21367 markings/sec, 3200 secs 21888 markings/sec, 3205 secs 21457 markings/sec, 3210 secs 21658 markings/sec, 3215 secs 21400 markings/sec, 3220 secs 21411 markings/sec, 3225 secs 21593 markings/sec, 3230 secs 21623 markings/sec, 3235 secs 21693 markings/sec, 3240 secs 21709 markings/sec, 3245 secs 21286 markings/sec, 3250 secs 21516 markings/sec, 3255 secs 21390 markings/sec, 3260 secs 21758 markings/sec, 3265 secs 21124 markings/sec, 3270 secs 21712 markings/sec, 3275 secs 21740 markings/sec, 3280 secs 21768 markings/sec, 3285 secs 21554 markings/sec, 3290 secs 21589 markings/sec, 3295 secs 21399 markings/sec, 3300 secs 21725 markings/sec, 3305 secs 21541 markings/sec, 3310 secs 22144 markings/sec, 3315 secs 22508 markings/sec, 3320 secs 22187 markings/sec, 3325 secs 22261 markings/sec, 3330 secs 22608 markings/sec, 3335 secs 22544 markings/sec, 3340 secs 22809 markings/sec, 3345 secs 22543 markings/sec, 3350 secs 22619 markings/sec, 3355 secs 22360 markings/sec, 3360 secs 22303 markings/sec, 3365 secs 22171 markings/sec, 3370 secs 22347 markings/sec, 3375 secs 22111 markings/sec, 3380 secs 22121 markings/sec, 3385 secs 22418 markings/sec, 3390 secs 22242 markings/sec, 3395 secs 22207 markings/sec, 3400 secs 21145 markings/sec, 3405 secs 22062 markings/sec, 3410 secs 21951 markings/sec, 3415 secs 21812 markings/sec, 3420 secs 22349 markings/sec, 3425 secs 22035 markings/sec, 3430 secs 21420 markings/sec, 3435 secs 22255 markings/sec, 3440 secs 22091 markings/sec, 3445 secs 22178 markings/sec, 3450 secs 21795 markings/sec, 3455 secs 21788 markings/sec, 3460 secs 22140 markings/sec, 3465 secs 21825 markings/sec, 3470 secs 21226 markings/sec, 3475 secs 21765 markings/sec, 3480 secs 21956 markings/sec, 3485 secs 22473 markings/sec, 3490 secs 21624 markings/sec, 3495 secs 21991 markings/sec, 3500 secs 21957 markings/sec, 3505 secs 22349 markings/sec, 3510 secs 22292 markings/sec, 3515 secs 21796 markings/sec, 3520 secs 22231 markings/sec, 3525 secs 21785 markings/sec, 3530 secs 21828 markings/sec, 3535 secs 21201 markings/sec, 3540 secs 21827 markings/sec, 3545 secs 21805 markings/sec, 3550 secs 21678 markings/sec, 3555 secs 21722 markings/sec, 3560 secs

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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