MCC'2019 - Execution of r093-smll-155246584200237

About the Execution of LoLA for LamportFastMutEx-PT-8

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4273.460	3570336.00	7241537.00	8243.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.r093-smll-155246584200237.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 LamportFastMutEx-PT-8, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-smll-155246584200237
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 13K Feb 11 22:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 11 22:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 7 23:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 7 23:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 4.8K Feb 5 00:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 5 00:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 4 06:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 4 06:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Jan 31 23:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Jan 31 23:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 317K 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 LamportFastMutEx-PT-8-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552840730058

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

{
"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": "Sun Mar 17 16:38:50 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 3463368,
"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": 2934,
"conflict_clusters": 21,
"places": 315,
"places_significant": 214,
"singleton_clusters": 0,
"transitions": 666
},
"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": 40320.000000,
"composed": 18,
"dead_branches": 0,
"generators": 28,
"interrupted": false,
"real_computed": 10,
"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: 981/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 10080
lola: finding significant places
lola: 315 places, 666 transitions, 214 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: computed 28 generators (10 in search tree, 18 by composition)
lola: representing 40320 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 129169 fired transitions, 0 secs || 105983 markings, 193978 edges,
lola: 1 tries, 256789 fired transitions, 5 secs || 215591 markings, 418659 edges,
lola: 1 tries, 384897 fired transitions, 10 secs || 323880 markings, 657553 edges,
lola: 1 tries, 512709 fired transitions, 15 secs || 434520 markings, 884828 edges,
lola: 1 tries, 642140 fired transitions, 20 secs || 542800 markings, 1134863 edges,
lola: 1 tries, 772231 fired transitions, 25 secs || 647547 markings, 1364881 edges,
lola: 1 tries, 901875 fired transitions, 30 secs || 753075 markings, 1595656 edges,
lola: 2 tries, 1031962 fired transitions, 35 secs || 856570 markings, 1839494 edges,
lola: 2 tries, 1162532 fired transitions, 40 secs || 957604 markings, 2089254 edges,
lola: 2 tries, 1294012 fired transitions, 45 secs || 1057209 markings, 2357532 edges,
lola: 2 tries, 1423046 fired transitions, 50 secs || 1161562 markings, 2594967 edges,
lola: 2 tries, 1552199 fired transitions, 55 secs || 1267961 markings, 2831072 edges,
lola: 2 tries, 1682152 fired transitions, 60 secs || 1370471 markings, 3071607 edges,
lola: 2 tries, 1811514 fired transitions, 65 secs || 1473481 markings, 3307884 edges,
lola: 2 tries, 1941793 fired transitions, 70 secs || 1577141 markings, 3564398 edges,
lola: 3 tries, 2071986 fired transitions, 75 secs || 1678752 markings, 3808091 edges,
lola: 3 tries, 2202320 fired transitions, 80 secs || 1780739 markings, 4042661 edges,
lola: 3 tries, 2333429 fired transitions, 85 secs || 1881678 markings, 4297724 edges,
lola: 3 tries, 2464063 fired transitions, 90 secs || 1984487 markings, 4535098 edges,
lola: 3 tries, 2595660 fired transitions, 95 secs || 2085471 markings, 4786088 edges,
lola: 3 tries, 2727055 fired transitions, 100 secs || 2184144 markings, 5040345 edges,
lola: 3 tries, 2857475 fired transitions, 105 secs || 2286752 markings, 5279773 edges,
lola: 3 tries, 2990787 fired transitions, 110 secs || 2381275 markings, 5577448 edges,
lola: 4 tries, 3121572 fired transitions, 115 secs || 2480162 markings, 5824059 edges,
lola: 4 tries, 3252730 fired transitions, 120 secs || 2578516 markings, 6080198 edges,
lola: 4 tries, 3383064 fired transitions, 125 secs || 2679983 markings, 6319071 edges,
lola: 4 tries, 3514334 fired transitions, 130 secs || 2778487 markings, 6579790 edges,
lola: 4 tries, 3645863 fired transitions, 135 secs || 2877544 markings, 6841690 edges,
lola: 4 tries, 3777137 fired transitions, 140 secs || 2980052 markings, 7087066 edges,
lola: 4 tries, 3907814 fired transitions, 145 secs || 3078841 markings, 7335047 edges,
lola: 5 tries, 4039146 fired transitions, 150 secs || 3177913 markings, 7574072 edges,
lola: 5 tries, 4171616 fired transitions, 155 secs || 3272630 markings, 7851412 edges,
lola: 5 tries, 4303692 fired transitions, 160 secs || 3370159 markings, 8113649 edges,
lola: 5 tries, 4435707 fired transitions, 165 secs || 3468611 markings, 8363307 edges,
lola: 5 tries, 4567257 fired transitions, 170 secs || 3565345 markings, 8619822 edges,
lola: 5 tries, 4698135 fired transitions, 175 secs || 3663885 markings, 8866363 edges,
lola: 5 tries, 4828031 fired transitions, 180 secs || 3762251 markings, 9112237 edges,
lola: 5 tries, 4958429 fired transitions, 185 secs || 3861793 markings, 9365728 edges,
lola: 6 tries, 5089195 fired transitions, 190 secs || 3960610 markings, 9622244 edges,
lola: 6 tries, 5221018 fired transitions, 195 secs || 4052497 markings, 9904526 edges,
lola: 6 tries, 5351811 fired transitions, 200 secs || 4145671 markings, 10177370 edges,
lola: 6 tries, 5483110 fired transitions, 205 secs || 4241029 markings, 10445257 edges,
lola: 6 tries, 5613465 fired transitions, 210 secs || 4340320 markings, 10694606 edges,
lola: 6 tries, 5743913 fired transitions, 215 secs || 4437569 markings, 10947786 edges,
lola: 6 tries, 5874351 fired transitions, 220 secs || 4536344 markings, 11198892 edges,
lola: 7 tries, 6004108 fired transitions, 225 secs || 4635583 markings, 11444031 edges,
lola: 7 tries, 6135727 fired transitions, 230 secs || 4731048 markings, 11720051 edges,
lola: 7 tries, 6267321 fired transitions, 235 secs || 4823425 markings, 11997032 edges,
lola: 7 tries, 6406817 fired transitions, 240 secs || 4925849 markings, 12270105 edges,
lola: 7 tries, 6562644 fired transitions, 245 secs || 5037556 markings, 12581080 edges,
lola: 7 tries, 6696615 fired transitions, 250 secs || 5138624 markings, 12847480 edges,
lola: 7 tries, 6828710 fired transitions, 255 secs || 5228669 markings, 13134312 edges,
lola: 7 tries, 6958834 fired transitions, 260 secs || 5325911 markings, 13396609 edges,
lola: 8 tries, 7092160 fired transitions, 265 secs || 5415064 markings, 13704066 edges,
lola: 8 tries, 7226224 fired transitions, 270 secs || 5501846 markings, 14045128 edges,
lola: 8 tries, 7355493 fired transitions, 275 secs || 5602846 markings, 14289917 edges,
lola: 8 tries, 7485068 fired transitions, 280 secs || 5702021 markings, 14547180 edges,
lola: 8 tries, 7614160 fired transitions, 285 secs || 5802853 markings, 14783535 edges,
lola: 8 tries, 7745517 fired transitions, 290 secs || 5901279 markings, 15031425 edges,
lola: 8 tries, 7877447 fired transitions, 295 secs || 5995993 markings, 15286815 edges,
lola: 9 tries, 8010574 fired transitions, 300 secs || 6091998 markings, 15546544 edges,
lola: 9 tries, 8143353 fired transitions, 305 secs || 6184801 markings, 15819233 edges,
lola: 9 tries, 8274246 fired transitions, 310 secs || 6280096 markings, 16075837 edges,
lola: 9 tries, 8408188 fired transitions, 315 secs || 6366832 markings, 16401346 edges,
lola: 9 tries, 8537497 fired transitions, 320 secs || 6466246 markings, 16649425 edges,
lola: 9 tries, 8667104 fired transitions, 325 secs || 6566512 markings, 16891359 edges,
lola: 9 tries, 8796112 fired transitions, 330 secs || 6671504 markings, 17134768 edges,
lola: 9 tries, 8926691 fired transitions, 335 secs || 6767914 markings, 17401719 edges,
lola: 10 tries, 9057655 fired transitions, 340 secs || 6862475 markings, 17668630 edges,
lola: 10 tries, 9188481 fired transitions, 345 secs || 6958257 markings, 17927691 edges,
lola: 10 tries, 9322981 fired transitions, 350 secs || 7043578 markings, 18241355 edges,
lola: 10 tries, 9454216 fired transitions, 355 secs || 7137753 markings, 18515423 edges,
lola: 10 tries, 9584162 fired transitions, 360 secs || 7239186 markings, 18761161 edges,
lola: 10 tries, 9714078 fired transitions, 365 secs || 7338471 markings, 19013453 edges,
lola: 10 tries, 9843699 fired transitions, 370 secs || 7438326 markings, 19263167 edges,
lola: 10 tries, 9973727 fired transitions, 375 secs || 7537562 markings, 19518654 edges,
lola: 11 tries, 10105175 fired transitions, 380 secs || 7636909 markings, 19772346 edges,
lola: 11 tries, 10235928 fired transitions, 385 secs || 7730885 markings, 20038580 edges,
lola: 11 tries, 10368008 fired transitions, 390 secs || 7824356 markings, 20317700 edges,
lola: 11 tries, 10498776 fired transitions, 395 secs || 7925628 markings, 20541581 edges,
lola: 11 tries, 10629437 fired transitions, 400 secs || 8026570 markings, 20776512 edges,
lola: 11 tries, 10763440 fired transitions, 405 secs || 8113021 markings, 21077166 edges,
lola: 11 tries, 10894180 fired transitions, 410 secs || 8211950 markings, 21316759 edges,
lola: 12 tries, 11025517 fired transitions, 415 secs || 8305505 markings, 21582464 edges,
lola: 12 tries, 11155252 fired transitions, 420 secs || 8402665 markings, 21837504 edges,
lola: 12 tries, 11284640 fired transitions, 425 secs || 8503344 markings, 22083665 edges,
lola: 12 tries, 11414116 fired transitions, 430 secs || 8601258 markings, 22330295 edges,
lola: 12 tries, 11545178 fired transitions, 435 secs || 8701010 markings, 22570083 edges,
lola: 12 tries, 11676408 fired transitions, 440 secs || 8802997 markings, 22818529 edges,
lola: 12 tries, 11808059 fired transitions, 445 secs || 8897806 markings, 23069297 edges,
lola: 12 tries, 11939858 fired transitions, 450 secs || 8994264 markings, 23326504 edges,
lola: 13 tries, 12073496 fired transitions, 455 secs || 9081744 markings, 23616769 edges,
lola: 13 tries, 12203350 fired transitions, 460 secs || 9180615 markings, 23877896 edges,
lola: 13 tries, 12332424 fired transitions, 465 secs || 9282322 markings, 24125214 edges,
lola: 13 tries, 12463098 fired transitions, 470 secs || 9382064 markings, 24370595 edges,
lola: 13 tries, 12594627 fired transitions, 475 secs || 9479079 markings, 24618568 edges,
lola: 13 tries, 12726437 fired transitions, 480 secs || 9572754 markings, 24876990 edges,
lola: 13 tries, 12858307 fired transitions, 485 secs || 9669438 markings, 25131532 edges,
lola: 13 tries, 12989726 fired transitions, 490 secs || 9765842 markings, 25381317 edges,
lola: 14 tries, 13122387 fired transitions, 495 secs || 9856694 markings, 25657454 edges,
lola: 14 tries, 13255726 fired transitions, 500 secs || 9945320 markings, 25939275 edges,
lola: 14 tries, 13389539 fired transitions, 505 secs || 10035384 markings, 26247952 edges,
lola: 14 tries, 13522346 fired transitions, 510 secs || 10129541 markings, 26517791 edges,
lola: 14 tries, 13653111 fired transitions, 515 secs || 10228747 markings, 26749847 edges,
lola: 14 tries, 13784369 fired transitions, 520 secs || 10327929 markings, 26991421 edges,
lola: 14 tries, 13916833 fired transitions, 525 secs || 10420796 markings, 27252609 edges,
lola: 15 tries, 14050326 fired transitions, 530 secs || 10518752 markings, 27492461 edges,
lola: 15 tries, 14185784 fired transitions, 535 secs || 10613562 markings, 27755582 edges,
lola: 15 tries, 14316796 fired transitions, 540 secs || 10712211 markings, 27994977 edges,
lola: 15 tries, 14448234 fired transitions, 545 secs || 10808327 markings, 28252234 edges,
lola: 15 tries, 14581422 fired transitions, 550 secs || 10896904 markings, 28536552 edges,
lola: 15 tries, 14714180 fired transitions, 555 secs || 10990665 markings, 28811267 edges,
lola: 15 tries, 14845278 fired transitions, 560 secs || 11089626 markings, 29056551 edges,
lola: 15 tries, 14976935 fired transitions, 565 secs || 11185537 markings, 29313907 edges,
lola: 16 tries, 15108452 fired transitions, 570 secs || 11284486 markings, 29563428 edges,
lola: 16 tries, 15240948 fired transitions, 575 secs || 11377695 markings, 29823219 edges,
lola: 16 tries, 15371949 fired transitions, 580 secs || 11477577 markings, 30063219 edges,
lola: 16 tries, 15503958 fired transitions, 585 secs || 11572236 markings, 30329129 edges,
lola: 16 tries, 15634556 fired transitions, 590 secs || 11673088 markings, 30568255 edges,
lola: 16 tries, 15766270 fired transitions, 595 secs || 11770089 markings, 30813342 edges,
lola: 16 tries, 15897520 fired transitions, 600 secs || 11866918 markings, 31060811 edges,
lola: 17 tries, 16029436 fired transitions, 605 secs || 11965570 markings, 31306766 edges,
lola: 17 tries, 16155672 fired transitions, 610 secs || 12073397 markings, 31588754 edges,
lola: 17 tries, 16286041 fired transitions, 615 secs || 12174498 markings, 31830880 edges,
lola: 17 tries, 16417693 fired transitions, 620 secs || 12270618 markings, 32079801 edges,
lola: 17 tries, 16548819 fired transitions, 625 secs || 12369873 markings, 32333595 edges,
lola: 17 tries, 16680087 fired transitions, 630 secs || 12465936 markings, 32583257 edges,
lola: 17 tries, 16811165 fired transitions, 635 secs || 12562905 markings, 32832740 edges,
lola: 17 tries, 16941825 fired transitions, 640 secs || 12662759 markings, 33074026 edges,
lola: 18 tries, 17071937 fired transitions, 645 secs || 12762116 markings, 33310912 edges,
lola: 18 tries, 17202864 fired transitions, 650 secs || 12859324 markings, 33555275 edges,
lola: 18 tries, 17333014 fired transitions, 655 secs || 12958165 markings, 33794017 edges,
lola: 18 tries, 17464218 fired transitions, 660 secs || 13051329 markings, 34050234 edges,
lola: 18 tries, 17596894 fired transitions, 665 secs || 13142973 markings, 34326930 edges,
lola: 18 tries, 17728158 fired transitions, 670 secs || 13239006 markings, 34573938 edges,
lola: 18 tries, 17859399 fired transitions, 675 secs || 13343494 markings, 34846666 edges,
lola: 18 tries, 17993181 fired transitions, 680 secs || 13444725 markings, 35077792 edges,
lola: 19 tries, 18125541 fired transitions, 685 secs || 13540071 markings, 35325730 edges,
lola: 19 tries, 18257635 fired transitions, 690 secs || 13633023 markings, 35594582 edges,
lola: 19 tries, 18388673 fired transitions, 695 secs || 13728242 markings, 35844021 edges,
lola: 19 tries, 18520399 fired transitions, 700 secs || 13824578 markings, 36092469 edges,
lola: 19 tries, 18651240 fired transitions, 705 secs || 13923250 markings, 36333882 edges,
lola: 19 tries, 18782267 fired transitions, 710 secs || 14017295 markings, 36587521 edges,
lola: 19 tries, 18913220 fired transitions, 715 secs || 14115377 markings, 36835631 edges,
lola: 20 tries, 19044291 fired transitions, 720 secs || 14213177 markings, 37073921 edges,
lola: 20 tries, 19175054 fired transitions, 725 secs || 14310974 markings, 37312910 edges,
lola: 20 tries, 19306321 fired transitions, 730 secs || 14411793 markings, 37567031 edges,
lola: 20 tries, 19438183 fired transitions, 735 secs || 14509250 markings, 37840101 edges,
lola: 20 tries, 19568665 fired transitions, 740 secs || 14607142 markings, 38079707 edges,
lola: 20 tries, 19701306 fired transitions, 745 secs || 14699796 markings, 38349350 edges,
lola: 20 tries, 19832860 fired transitions, 750 secs || 14792921 markings, 38604420 edges,
lola: 20 tries, 19963404 fired transitions, 755 secs || 14890245 markings, 38842853 edges,
lola: 21 tries, 20097865 fired transitions, 760 secs || 14989550 markings, 39075592 edges,
lola: 21 tries, 20228841 fired transitions, 765 secs || 15084696 markings, 39326371 edges,
lola: 21 tries, 20361731 fired transitions, 770 secs || 15172226 markings, 39623683 edges,
lola: 21 tries, 20492755 fired transitions, 775 secs || 15268268 markings, 39872442 edges,
lola: 21 tries, 20624186 fired transitions, 780 secs || 15365129 markings, 40123188 edges,
lola: 21 tries, 20756012 fired transitions, 785 secs || 15458016 markings, 40374382 edges,
lola: 21 tries, 20888658 fired transitions, 790 secs || 15550109 markings, 40664300 edges,
lola: 22 tries, 21024265 fired transitions, 795 secs || 15635679 markings, 40974895 edges,
lola: 22 tries, 21156320 fired transitions, 800 secs || 15728211 markings, 41241447 edges,
lola: 22 tries, 21288514 fired transitions, 805 secs || 15820406 markings, 41507669 edges,
lola: 22 tries, 21419697 fired transitions, 810 secs || 15915977 markings, 41757447 edges,
lola: 22 tries, 21551351 fired transitions, 815 secs || 16008556 markings, 42019416 edges,
lola: 22 tries, 21683020 fired transitions, 820 secs || 16103084 markings, 42274567 edges,
lola: 22 tries, 21815068 fired transitions, 825 secs || 16196492 markings, 42528178 edges,
lola: 22 tries, 21946286 fired transitions, 830 secs || 16289610 markings, 42776379 edges,
lola: 23 tries, 22076780 fired transitions, 835 secs || 16386326 markings, 43016823 edges,
lola: 23 tries, 22207958 fired transitions, 840 secs || 16481153 markings, 43266483 edges,
lola: 23 tries, 22339322 fired transitions, 845 secs || 16576482 markings, 43513069 edges,
lola: 23 tries, 22471334 fired transitions, 850 secs || 16674105 markings, 43767697 edges,
lola: 23 tries, 22601818 fired transitions, 855 secs || 16772552 markings, 44007199 edges,
lola: 23 tries, 22732942 fired transitions, 860 secs || 16866739 markings, 44259499 edges,
lola: 23 tries, 22863897 fired transitions, 865 secs || 16964619 markings, 44503864 edges,
lola: 23 tries, 22995049 fired transitions, 870 secs || 17060050 markings, 44747553 edges,
lola: 24 tries, 23127482 fired transitions, 875 secs || 17152112 markings, 45004631 edges,
lola: 24 tries, 23259121 fired transitions, 880 secs || 17247502 markings, 45257771 edges,
lola: 24 tries, 23390429 fired transitions, 885 secs || 17342563 markings, 45504149 edges,
lola: 24 tries, 23522087 fired transitions, 890 secs || 17437015 markings, 45763619 edges,
lola: 24 tries, 23653968 fired transitions, 895 secs || 17529737 markings, 46026570 edges,
lola: 24 tries, 23785087 fired transitions, 900 secs || 17625543 markings, 46271625 edges,
lola: 24 tries, 23915299 fired transitions, 905 secs || 17726229 markings, 46502808 edges,
lola: 25 tries, 24047576 fired transitions, 910 secs || 17821072 markings, 46749593 edges,
lola: 25 tries, 24179779 fired transitions, 915 secs || 17911032 markings, 47016800 edges,
lola: 25 tries, 24311409 fired transitions, 920 secs || 18005436 markings, 47268712 edges,
lola: 25 tries, 24442694 fired transitions, 925 secs || 18100359 markings, 47516383 edges,
lola: 25 tries, 24574339 fired transitions, 930 secs || 18195275 markings, 47765367 edges,
lola: 25 tries, 24706394 fired transitions, 935 secs || 18286312 markings, 48036433 edges,
lola: 25 tries, 24838285 fired transitions, 940 secs || 18380551 markings, 48299336 edges,
lola: 25 tries, 24969952 fired transitions, 945 secs || 18474885 markings, 48561249 edges,
lola: 26 tries, 25105227 fired transitions, 950 secs || 18566297 markings, 48828387 edges,
lola: 26 tries, 25237347 fired transitions, 955 secs || 18658898 markings, 49081098 edges,
lola: 26 tries, 25370035 fired transitions, 960 secs || 18760323 markings, 49363442 edges,
lola: 26 tries, 25502119 fired transitions, 965 secs || 18852439 markings, 49632146 edges,
lola: 26 tries, 25633399 fired transitions, 970 secs || 18947722 markings, 49875545 edges,
lola: 26 tries, 25764386 fired transitions, 975 secs || 19047748 markings, 50129615 edges,
lola: 26 tries, 25896103 fired transitions, 980 secs || 19142328 markings, 50385177 edges,
lola: 27 tries, 26027376 fired transitions, 985 secs || 19241724 markings, 50633158 edges,
lola: 27 tries, 26159196 fired transitions, 990 secs || 19333661 markings, 50891351 edges,
lola: 27 tries, 26290864 fired transitions, 995 secs || 19429409 markings, 51143386 edges,
lola: 27 tries, 26422953 fired transitions, 1000 secs || 19521123 markings, 51398361 edges,
lola: 27 tries, 26554612 fired transitions, 1005 secs || 19618859 markings, 51661083 edges,
lola: 27 tries, 26687878 fired transitions, 1010 secs || 19709884 markings, 51951838 edges,
lola: 27 tries, 26819209 fired transitions, 1015 secs || 19804949 markings, 52197691 edges,
lola: 27 tries, 26950619 fired transitions, 1020 secs || 19900008 markings, 52446708 edges,
lola: 28 tries, 27082718 fired transitions, 1025 secs || 19992563 markings, 52710195 edges,
lola: 28 tries, 27217389 fired transitions, 1030 secs || 20076937 markings, 53006410 edges,
lola: 28 tries, 27348498 fired transitions, 1035 secs || 20174615 markings, 53247644 edges,
lola: 28 tries, 27480867 fired transitions, 1040 secs || 20267768 markings, 53514139 edges,
lola: 28 tries, 27611694 fired transitions, 1045 secs || 20365221 markings, 53754532 edges,
lola: 28 tries, 27743159 fired transitions, 1050 secs || 20459085 markings, 54006983 edges,
lola: 28 tries, 27876130 fired transitions, 1055 secs || 20546687 markings, 54294864 edges,
lola: 29 tries, 28007461 fired transitions, 1060 secs || 20643372 markings, 54540543 edges,
lola: 29 tries, 28139054 fired transitions, 1065 secs || 20738441 markings, 54792798 edges,
lola: 29 tries, 28270757 fired transitions, 1070 secs || 20831679 markings, 55046267 edges,
lola: 29 tries, 28402495 fired transitions, 1075 secs || 20922488 markings, 55306224 edges,
lola: 29 tries, 28534145 fired transitions, 1080 secs || 21016786 markings, 55564040 edges,
lola: 29 tries, 28665473 fired transitions, 1085 secs || 21115992 markings, 55803529 edges,
lola: 29 tries, 28796456 fired transitions, 1090 secs || 21212652 markings, 56045258 edges,
lola: 29 tries, 28929632 fired transitions, 1095 secs || 21299444 markings, 56323088 edges,
lola: 30 tries, 29061719 fired transitions, 1100 secs || 21395250 markings, 56581003 edges,
lola: 30 tries, 29193766 fired transitions, 1105 secs || 21487532 markings, 56834680 edges,
lola: 30 tries, 29325347 fired transitions, 1110 secs || 21581016 markings, 57085299 edges,
lola: 30 tries, 29457851 fired transitions, 1115 secs || 21670744 markings, 57357743 edges,
lola: 30 tries, 29589396 fired transitions, 1120 secs || 21766907 markings, 57609193 edges,
lola: 30 tries, 29721176 fired transitions, 1125 secs || 21861244 markings, 57863520 edges,
lola: 30 tries, 29852451 fired transitions, 1130 secs || 21955977 markings, 58112018 edges,
lola: 30 tries, 29983993 fired transitions, 1135 secs || 22051693 markings, 58355920 edges,
lola: 31 tries, 30117733 fired transitions, 1140 secs || 22139853 markings, 58634004 edges,
lola: 31 tries, 30250997 fired transitions, 1145 secs || 22227940 markings, 58903195 edges,
lola: 31 tries, 30383664 fired transitions, 1150 secs || 22318735 markings, 59166834 edges,
lola: 31 tries, 30516236 fired transitions, 1155 secs || 22411279 markings, 59428672 edges,
lola: 31 tries, 30647264 fired transitions, 1160 secs || 22509087 markings, 59667926 edges,
lola: 31 tries, 30780027 fired transitions, 1165 secs || 22601491 markings, 59934798 edges,
lola: 31 tries, 30913570 fired transitions, 1170 secs || 22694743 markings, 60201898 edges,
lola: 32 tries, 31044908 fired transitions, 1175 secs || 22791304 markings, 60449739 edges,
lola: 32 tries, 31177209 fired transitions, 1180 secs || 22883171 markings, 60714343 edges,
lola: 32 tries, 31308215 fired transitions, 1185 secs || 22977902 markings, 60957710 edges,
lola: 32 tries, 31439131 fired transitions, 1190 secs || 23073530 markings, 61200651 edges,
lola: 32 tries, 31572977 fired transitions, 1195 secs || 23158628 markings, 61482042 edges,
lola: 32 tries, 31704730 fired transitions, 1200 secs || 23252455 markings, 61732586 edges,
lola: 32 tries, 31838107 fired transitions, 1205 secs || 23342539 markings, 62004805 edges,
lola: 32 tries, 31970967 fired transitions, 1210 secs || 23431792 markings, 62274901 edges,
lola: 33 tries, 32105321 fired transitions, 1215 secs || 23521476 markings, 62542217 edges,
lola: 33 tries, 32236968 fired transitions, 1220 secs || 23615385 markings, 62794487 edges,
lola: 33 tries, 32368204 fired transitions, 1225 secs || 23710387 markings, 63043229 edges,
lola: 33 tries, 32500621 fired transitions, 1230 secs || 23801445 markings, 63305343 edges,
lola: 33 tries, 32633529 fired transitions, 1235 secs || 23887438 markings, 63582564 edges,
lola: 33 tries, 32764549 fired transitions, 1240 secs || 23984493 markings, 63825489 edges,
lola: 33 tries, 32896305 fired transitions, 1245 secs || 24078803 markings, 64082563 edges,
lola: 34 tries, 33028382 fired transitions, 1250 secs || 24176103 markings, 64319435 edges,
lola: 34 tries, 33158922 fired transitions, 1255 secs || 24271656 markings, 64562372 edges,
lola: 34 tries, 33291666 fired transitions, 1260 secs || 24362600 markings, 64833556 edges,
lola: 34 tries, 33423835 fired transitions, 1265 secs || 24454653 markings, 65092291 edges,
lola: 34 tries, 33556331 fired transitions, 1270 secs || 24546035 markings, 65353627 edges,
lola: 34 tries, 33687317 fired transitions, 1275 secs || 24642058 markings, 65602045 edges,
lola: 34 tries, 33818695 fired transitions, 1280 secs || 24743365 markings, 65845281 edges,
lola: 34 tries, 33950088 fired transitions, 1285 secs || 24837177 markings, 66097381 edges,
lola: 35 tries, 34082269 fired transitions, 1290 secs || 24928311 markings, 66358001 edges,
lola: 35 tries, 34214076 fired transitions, 1295 secs || 25019147 markings, 66621502 edges,
lola: 35 tries, 34345755 fired transitions, 1300 secs || 25113841 markings, 66872936 edges,
lola: 35 tries, 34477547 fired transitions, 1305 secs || 25209367 markings, 67121859 edges,
lola: 35 tries, 34609768 fired transitions, 1310 secs || 25300844 markings, 67377274 edges,
lola: 35 tries, 34741955 fired transitions, 1315 secs || 25394229 markings, 67632966 edges,
lola: 35 tries, 34873412 fired transitions, 1320 secs || 25488490 markings, 67881097 edges,
lola: 36 tries, 35004734 fired transitions, 1325 secs || 25584896 markings, 68123948 edges,
lola: 36 tries, 35136550 fired transitions, 1330 secs || 25679134 markings, 68381014 edges,
lola: 36 tries, 35269097 fired transitions, 1335 secs || 25769566 markings, 68651958 edges,
lola: 36 tries, 35400281 fired transitions, 1340 secs || 25864152 markings, 68897571 edges,
lola: 36 tries, 35532967 fired transitions, 1345 secs || 25954737 markings, 69164398 edges,
lola: 36 tries, 35663185 fired transitions, 1350 secs || 26048736 markings, 69414360 edges,
lola: 36 tries, 35791046 fired transitions, 1355 secs || 26135816 markings, 69702151 edges,
lola: 36 tries, 35921636 fired transitions, 1360 secs || 26226273 markings, 69956712 edges,
lola: 37 tries, 36051160 fired transitions, 1365 secs || 26322944 markings, 70185664 edges,
lola: 37 tries, 36182807 fired transitions, 1370 secs || 26408782 markings, 70458122 edges,
lola: 37 tries, 36313153 fired transitions, 1375 secs || 26500416 markings, 70716057 edges,
lola: 37 tries, 36443982 fired transitions, 1380 secs || 26589255 markings, 70978578 edges,
lola: 37 tries, 36575518 fired transitions, 1385 secs || 26679736 markings, 71225427 edges,
lola: 37 tries, 36710204 fired transitions, 1390 secs || 26762842 markings, 71493747 edges,
lola: 37 tries, 36842633 fired transitions, 1395 secs || 26855014 markings, 71746457 edges,
lola: 37 tries, 36974524 fired transitions, 1400 secs || 26945160 markings, 71992111 edges,
lola: 38 tries, 37107543 fired transitions, 1405 secs || 27042581 markings, 72242423 edges,
lola: 38 tries, 37240409 fired transitions, 1410 secs || 27134232 markings, 72501284 edges,
lola: 38 tries, 37372716 fired transitions, 1415 secs || 27228201 markings, 72755881 edges,
lola: 38 tries, 37506096 fired transitions, 1420 secs || 27319487 markings, 73020382 edges,
lola: 38 tries, 37638644 fired transitions, 1425 secs || 27411952 markings, 73285040 edges,
lola: 38 tries, 37771251 fired transitions, 1430 secs || 27507972 markings, 73542220 edges,
lola: 38 tries, 37903338 fired transitions, 1435 secs || 27603062 markings, 73788220 edges,
lola: 39 tries, 38035935 fired transitions, 1440 secs || 27697289 markings, 74032293 edges,
lola: 39 tries, 38169479 fired transitions, 1445 secs || 27784549 markings, 74308500 edges,
lola: 39 tries, 38301255 fired transitions, 1450 secs || 27879839 markings, 74553026 edges,
lola: 39 tries, 38433865 fired transitions, 1455 secs || 27973965 markings, 74800751 edges,
lola: 39 tries, 38566132 fired transitions, 1460 secs || 28067386 markings, 75054511 edges,
lola: 39 tries, 38699080 fired transitions, 1465 secs || 28158961 markings, 75320612 edges,
lola: 39 tries, 38831093 fired transitions, 1470 secs || 28250421 markings, 75576708 edges,
lola: 39 tries, 38964766 fired transitions, 1475 secs || 28341893 markings, 75851491 edges,
lola: 40 tries, 39097859 fired transitions, 1480 secs || 28437102 markings, 76111588 edges,
lola: 40 tries, 39231171 fired transitions, 1485 secs || 28525912 markings, 76384517 edges,
lola: 40 tries, 39363003 fired transitions, 1490 secs || 28620592 markings, 76630402 edges,
lola: 40 tries, 39495236 fired transitions, 1495 secs || 28715839 markings, 76887935 edges,
lola: 40 tries, 39628005 fired transitions, 1500 secs || 28805902 markings, 77151808 edges,
lola: 40 tries, 39763786 fired transitions, 1505 secs || 28889214 markings, 77442020 edges,
lola: 40 tries, 39897869 fired transitions, 1510 secs || 28974692 markings, 77723582 edges,
lola: 41 tries, 40033096 fired transitions, 1515 secs || 29057713 markings, 78018739 edges,
lola: 41 tries, 40166648 fired transitions, 1520 secs || 29144553 markings, 78298355 edges,
lola: 41 tries, 40298808 fired transitions, 1525 secs || 29238609 markings, 78555316 edges,
lola: 41 tries, 40431303 fired transitions, 1530 secs || 29335543 markings, 78793706 edges,
lola: 41 tries, 40565038 fired transitions, 1535 secs || 29424581 markings, 79070179 edges,
lola: 41 tries, 40698287 fired transitions, 1540 secs || 29517549 markings, 79343060 edges,
lola: 41 tries, 40830884 fired transitions, 1545 secs || 29613401 markings, 79592070 edges,
lola: 41 tries, 40963669 fired transitions, 1550 secs || 29707076 markings, 79845658 edges,
lola: 42 tries, 41096588 fired transitions, 1555 secs || 29800088 markings, 80104784 edges,
lola: 42 tries, 41229739 fired transitions, 1560 secs || 29892172 markings, 80368858 edges,
lola: 42 tries, 41363391 fired transitions, 1565 secs || 29981555 markings, 80641696 edges,
lola: 42 tries, 41496160 fired transitions, 1570 secs || 30073067 markings, 80899281 edges,
lola: 42 tries, 41628863 fired transitions, 1575 secs || 30161058 markings, 81170592 edges,
lola: 42 tries, 41760026 fired transitions, 1580 secs || 30258360 markings, 81424399 edges,
lola: 42 tries, 41890702 fired transitions, 1585 secs || 30354166 markings, 81678829 edges,
lola: 43 tries, 42021676 fired transitions, 1590 secs || 30448166 markings, 81928408 edges,
lola: 43 tries, 42152941 fired transitions, 1595 secs || 30538133 markings, 82201164 edges,
lola: 43 tries, 42277832 fired transitions, 1600 secs || 30625521 markings, 82469267 edges,
lola: 43 tries, 42410479 fired transitions, 1605 secs || 30720260 markings, 82707663 edges,
lola: 43 tries, 42541507 fired transitions, 1610 secs || 30814435 markings, 82957396 edges,
lola: 43 tries, 42673221 fired transitions, 1615 secs || 30906532 markings, 83214581 edges,
lola: 43 tries, 42804305 fired transitions, 1620 secs || 31002185 markings, 83461069 edges,
lola: 43 tries, 42937166 fired transitions, 1625 secs || 31088084 markings, 83698855 edges,
lola: 44 tries, 43074542 fired transitions, 1630 secs || 31176231 markings, 83969585 edges,
lola: 44 tries, 43206764 fired transitions, 1635 secs || 31269483 markings, 84226075 edges,
lola: 44 tries, 43339979 fired transitions, 1640 secs || 31356039 markings, 84505890 edges,
lola: 44 tries, 43476971 fired transitions, 1645 secs || 31430110 markings, 84841796 edges,
lola: 44 tries, 43610335 fired transitions, 1650 secs || 31517086 markings, 85120285 edges,
lola: 44 tries, 43742505 fired transitions, 1655 secs || 31604887 markings, 85401441 edges,
lola: 44 tries, 43875359 fired transitions, 1660 secs || 31694034 markings, 85676644 edges,
lola: 45 tries, 44006861 fired transitions, 1665 secs || 31790562 markings, 85914896 edges,
lola: 45 tries, 44139051 fired transitions, 1670 secs || 31880258 markings, 86186546 edges,
lola: 45 tries, 44272224 fired transitions, 1675 secs || 31969027 markings, 86467834 edges,
lola: 45 tries, 44407486 fired transitions, 1680 secs || 32055160 markings, 86757987 edges,
lola: 45 tries, 44539643 fired transitions, 1685 secs || 32150519 markings, 87010942 edges,
lola: 45 tries, 44674043 fired transitions, 1690 secs || 32233789 markings, 87294771 edges,
lola: 45 tries, 44810292 fired transitions, 1695 secs || 32313357 markings, 87594145 edges,
lola: 45 tries, 44945107 fired transitions, 1700 secs || 32395616 markings, 87882819 edges,
lola: 46 tries, 45078643 fired transitions, 1705 secs || 32490733 markings, 88126319 edges,
lola: 46 tries, 45212662 fired transitions, 1710 secs || 32571814 markings, 88432465 edges,
lola: 46 tries, 45346613 fired transitions, 1715 secs || 32655299 markings, 88723066 edges,
lola: 46 tries, 45479809 fired transitions, 1720 secs || 32743705 markings, 88996475 edges,
lola: 46 tries, 45612858 fired transitions, 1725 secs || 32831150 markings, 89256742 edges,
lola: 46 tries, 45747924 fired transitions, 1730 secs || 32911024 markings, 89546435 edges,
lola: 46 tries, 45880433 fired transitions, 1735 secs || 33000147 markings, 89806052 edges,
lola: 47 tries, 46013530 fired transitions, 1740 secs || 33088120 markings, 90069679 edges,
lola: 47 tries, 46146534 fired transitions, 1745 secs || 33176119 markings, 90339602 edges,
lola: 47 tries, 46280788 fired transitions, 1750 secs || 33257514 markings, 90628063 edges,
lola: 47 tries, 46412887 fired transitions, 1755 secs || 33350809 markings, 90869249 edges,
lola: 47 tries, 46545198 fired transitions, 1760 secs || 33443778 markings, 91117595 edges,
lola: 47 tries, 46678427 fired transitions, 1765 secs || 33532072 markings, 91388489 edges,
lola: 47 tries, 46811769 fired transitions, 1770 secs || 33620124 markings, 91657760 edges,
lola: 47 tries, 46945818 fired transitions, 1775 secs || 33704979 markings, 91931971 edges,
lola: 48 tries, 47079120 fired transitions, 1780 secs || 33796243 markings, 92191958 edges,
lola: 48 tries, 47211760 fired transitions, 1785 secs || 33888466 markings, 92440695 edges,
lola: 48 tries, 47344168 fired transitions, 1790 secs || 33980903 markings, 92693208 edges,
lola: 48 tries, 47477995 fired transitions, 1795 secs || 34067493 markings, 92960789 edges,
lola: 48 tries, 47610458 fired transitions, 1800 secs || 34156308 markings, 93223550 edges,
lola: 48 tries, 47743502 fired transitions, 1805 secs || 34249170 markings, 93475215 edges,
lola: 48 tries, 47877580 fired transitions, 1810 secs || 34338723 markings, 93744298 edges,
lola: 49 tries, 48011516 fired transitions, 1815 secs || 34427846 markings, 94016495 edges,
lola: 49 tries, 48145805 fired transitions, 1820 secs || 34515377 markings, 94293665 edges,
lola: 49 tries, 48278790 fired transitions, 1825 secs || 34605771 markings, 94553845 edges,
lola: 49 tries, 48410801 fired transitions, 1830 secs || 34697996 markings, 94802144 edges,
lola: 49 tries, 48544228 fired transitions, 1835 secs || 34783525 markings, 95083026 edges,
lola: 49 tries, 48678743 fired transitions, 1840 secs || 34867857 markings, 95366312 edges,
lola: 49 tries, 48810381 fired transitions, 1845 secs || 34961597 markings, 95608791 edges,
lola: 49 tries, 48942651 fired transitions, 1850 secs || 35054318 markings, 95862742 edges,
lola: 50 tries, 49082331 fired transitions, 1855 secs || 35144085 markings, 96125058 edges,
lola: 50 tries, 49215261 fired transitions, 1860 secs || 35233681 markings, 96386392 edges,
lola: 50 tries, 49348626 fired transitions, 1865 secs || 35321168 markings, 96654816 edges,
lola: 50 tries, 49482052 fired transitions, 1870 secs || 35409538 markings, 96917122 edges,
lola: 50 tries, 49617579 fired transitions, 1875 secs || 35491618 markings, 97221284 edges,
lola: 50 tries, 49748812 fired transitions, 1880 secs || 35586500 markings, 97463402 edges,
lola: 50 tries, 49881723 fired transitions, 1885 secs || 35676782 markings, 97725066 edges,
lola: 51 tries, 50016606 fired transitions, 1890 secs || 35759465 markings, 98015454 edges,
lola: 51 tries, 50152149 fired transitions, 1895 secs || 35837875 markings, 98307077 edges,
lola: 51 tries, 50288343 fired transitions, 1900 secs || 35914011 markings, 98611694 edges,
lola: 51 tries, 50421945 fired transitions, 1905 secs || 35998532 markings, 98893475 edges,
lola: 51 tries, 50554508 fired transitions, 1910 secs || 36090676 markings, 99144046 edges,
lola: 51 tries, 50686554 fired transitions, 1915 secs || 36182724 markings, 99395165 edges,
lola: 51 tries, 50820284 fired transitions, 1920 secs || 36269337 markings, 99661519 edges,
lola: 51 tries, 50953379 fired transitions, 1925 secs || 36358364 markings, 99930218 edges,
lola: 52 tries, 51086006 fired transitions, 1930 secs || 36448096 markings, 100198995 edges,
lola: 52 tries, 51218901 fired transitions, 1935 secs || 36538947 markings, 100455669 edges,
lola: 52 tries, 51350536 fired transitions, 1940 secs || 36633836 markings, 100691528 edges,
lola: 52 tries, 51482468 fired transitions, 1945 secs || 36725588 markings, 100937558 edges,
lola: 52 tries, 51615659 fired transitions, 1950 secs || 36816042 markings, 101201831 edges,
lola: 52 tries, 51748722 fired transitions, 1955 secs || 36905775 markings, 101463475 edges,
lola: 52 tries, 51882369 fired transitions, 1960 secs || 36992232 markings, 101736295 edges,
lola: 53 tries, 52018580 fired transitions, 1965 secs || 37077652 markings, 102019537 edges,
lola: 53 tries, 52153985 fired transitions, 1970 secs || 37165258 markings, 102290012 edges,
lola: 53 tries, 52286589 fired transitions, 1975 secs || 37257203 markings, 102543232 edges,
lola: 53 tries, 52420341 fired transitions, 1980 secs || 37348137 markings, 102801850 edges,
lola: 53 tries, 52553436 fired transitions, 1985 secs || 37437946 markings, 103063295 edges,
lola: 53 tries, 52688630 fired transitions, 1990 secs || 37518968 markings, 103360083 edges,
lola: 53 tries, 52822441 fired transitions, 1995 secs || 37605674 markings, 103647613 edges,
lola: 53 tries, 52955804 fired transitions, 2000 secs || 37692527 markings, 103916272 edges,
lola: 54 tries, 53088644 fired transitions, 2005 secs || 37782844 markings, 104169712 edges,
lola: 54 tries, 53221863 fired transitions, 2010 secs || 37868113 markings, 104448720 edges,
lola: 54 tries, 53355527 fired transitions, 2015 secs || 37950420 markings, 104736450 edges,
lola: 54 tries, 53487661 fired transitions, 2020 secs || 38044764 markings, 104984584 edges,
lola: 54 tries, 53620068 fired transitions, 2025 secs || 38137001 markings, 105237837 edges,
lola: 54 tries, 53754430 fired transitions, 2030 secs || 38221137 markings, 105522390 edges,
lola: 54 tries, 53887506 fired transitions, 2035 secs || 38309340 markings, 105781615 edges,
lola: 55 tries, 54020508 fired transitions, 2040 secs || 38402843 markings, 106024841 edges,
lola: 55 tries, 54154218 fired transitions, 2045 secs || 38494364 markings, 106284743 edges,
lola: 55 tries, 54286517 fired transitions, 2050 secs || 38588353 markings, 106537405 edges,
lola: 55 tries, 54418303 fired transitions, 2055 secs || 38682711 markings, 106781060 edges,
lola: 55 tries, 54550894 fired transitions, 2060 secs || 38775403 markings, 107036430 edges,
lola: 55 tries, 54686098 fired transitions, 2065 secs || 38854167 markings, 107338700 edges,
lola: 55 tries, 54818758 fired transitions, 2070 secs || 38949369 markings, 107601475 edges,
lola: 55 tries, 54950427 fired transitions, 2075 secs || 39044292 markings, 107844528 edges,
lola: 56 tries, 55084199 fired transitions, 2080 secs || 39133033 markings, 108111122 edges,
lola: 56 tries, 55220864 fired transitions, 2085 secs || 39209462 markings, 108429207 edges,
lola: 56 tries, 55352543 fired transitions, 2090 secs || 39302550 markings, 108669449 edges,
lola: 56 tries, 55486153 fired transitions, 2095 secs || 39388796 markings, 108940791 edges,
lola: 56 tries, 55619527 fired transitions, 2100 secs || 39476186 markings, 109215503 edges,
lola: 56 tries, 55752761 fired transitions, 2105 secs || 39565441 markings, 109482444 edges,
lola: 56 tries, 55889086 fired transitions, 2110 secs || 39646621 markings, 109789821 edges,
lola: 57 tries, 56026278 fired transitions, 2115 secs || 39726059 markings, 110109868 edges,
lola: 57 tries, 56160283 fired transitions, 2120 secs || 39810630 markings, 110391035 edges,
lola: 57 tries, 56292622 fired transitions, 2125 secs || 39904389 markings, 110638071 edges,
lola: 57 tries, 56425913 fired transitions, 2130 secs || 39991104 markings, 110916601 edges,
lola: 57 tries, 56560074 fired transitions, 2135 secs || 40075798 markings, 111198545 edges,
lola: 57 tries, 56694925 fired transitions, 2140 secs || 40155124 markings, 111497591 edges,
lola: 57 tries, 56828472 fired transitions, 2145 secs || 40243553 markings, 111762551 edges,
lola: 57 tries, 56961352 fired transitions, 2150 secs || 40333466 markings, 112026850 edges,
lola: 58 tries, 57093522 fired transitions, 2155 secs || 40425981 markings, 112279938 edges,
lola: 58 tries, 57226465 fired transitions, 2160 secs || 40516419 markings, 112541443 edges,
lola: 58 tries, 57360340 fired transitions, 2165 secs || 40600550 markings, 112830146 edges,
lola: 58 tries, 57494617 fired transitions, 2170 secs || 40682261 markings, 113128500 edges,
lola: 58 tries, 57627467 fired transitions, 2175 secs || 40770893 markings, 113397255 edges,
lola: 58 tries, 57760594 fired transitions, 2180 secs || 40859002 markings, 113674740 edges,
lola: 58 tries, 57895064 fired transitions, 2185 secs || 40943005 markings, 113963732 edges,
lola: 59 tries, 58034749 fired transitions, 2190 secs || 41016136 markings, 114308604 edges,
lola: 59 tries, 58169905 fired transitions, 2195 secs || 41098206 markings, 114619191 edges,
lola: 59 tries, 58302662 fired transitions, 2200 secs || 41191613 markings, 114876639 edges,
lola: 59 tries, 58436972 fired transitions, 2205 secs || 41276569 markings, 115176175 edges,
lola: 59 tries, 58573857 fired transitions, 2210 secs || 41359019 markings, 115483876 edges,
lola: 59 tries, 58707734 fired transitions, 2215 secs || 41444806 markings, 115768779 edges,
lola: 59 tries, 58841624 fired transitions, 2220 secs || 41530490 markings, 116044591 edges,
lola: 59 tries, 58974851 fired transitions, 2225 secs || 41618506 markings, 116323205 edges,
lola: 60 tries, 59108236 fired transitions, 2230 secs || 41705362 markings, 116606370 edges,
lola: 60 tries, 59240573 fired transitions, 2235 secs || 41797610 markings, 116866651 edges,
lola: 60 tries, 59373224 fired transitions, 2240 secs || 41887401 markings, 117123835 edges,
lola: 60 tries, 59506288 fired transitions, 2245 secs || 41976172 markings, 117391738 edges,
lola: 60 tries, 59638855 fired transitions, 2250 secs || 42069921 markings, 117655345 edges,
lola: 60 tries, 59770631 fired transitions, 2255 secs || 42162843 markings, 117907277 edges,
lola: 60 tries, 59902809 fired transitions, 2260 secs || 42256865 markings, 118165649 edges,
lola: 61 tries, 60037650 fired transitions, 2265 secs || 42338657 markings, 118459687 edges,
lola: 61 tries, 60172029 fired transitions, 2270 secs || 42423541 markings, 118750826 edges,
lola: 61 tries, 60306053 fired transitions, 2275 secs || 42509531 markings, 119038910 edges,
lola: 61 tries, 60438965 fired transitions, 2280 secs || 42600541 markings, 119318643 edges,
lola: 61 tries, 60571670 fired transitions, 2285 secs || 42688714 markings, 119583827 edges,
lola: 61 tries, 60703892 fired transitions, 2290 secs || 42781750 markings, 119838427 edges,
lola: 61 tries, 60835893 fired transitions, 2295 secs || 42873953 markings, 120093062 edges,
lola: 61 tries, 60970076 fired transitions, 2300 secs || 42956444 markings, 120363260 edges,
lola: 62 tries, 61105883 fired transitions, 2305 secs || 43030506 markings, 120657591 edges,
lola: 62 tries, 61240867 fired transitions, 2310 secs || 43109004 markings, 120931374 edges,
lola: 62 tries, 61372974 fired transitions, 2315 secs || 43198273 markings, 121181666 edges,
lola: 62 tries, 61505505 fired transitions, 2320 secs || 43287262 markings, 121440221 edges,
lola: 62 tries, 61640149 fired transitions, 2325 secs || 43365834 markings, 121712245 edges,
lola: 62 tries, 61774963 fired transitions, 2330 secs || 43447508 markings, 121985826 edges,
lola: 62 tries, 61909515 fired transitions, 2335 secs || 43528868 markings, 122260060 edges,
lola: 63 tries, 62046326 fired transitions, 2340 secs || 43602844 markings, 122552588 edges,
lola: 63 tries, 62179671 fired transitions, 2345 secs || 43691362 markings, 122805505 edges,
lola: 63 tries, 62314086 fired transitions, 2350 secs || 43773617 markings, 123063568 edges,
lola: 63 tries, 62447024 fired transitions, 2355 secs || 43862291 markings, 123304921 edges,
lola: 63 tries, 62580951 fired transitions, 2360 secs || 43945883 markings, 123560955 edges,
lola: 63 tries, 62717181 fired transitions, 2365 secs || 44018566 markings, 123848397 edges,
lola: 63 tries, 62854662 fired transitions, 2370 secs || 44089253 markings, 124138676 edges,
lola: 63 tries, 62991863 fired transitions, 2375 secs || 44161100 markings, 124429265 edges,
lola: 64 tries, 63126486 fired transitions, 2380 secs || 44242513 markings, 124697439 edges,
lola: 64 tries, 63259108 fired transitions, 2385 secs || 44330897 markings, 124936531 edges,
lola: 64 tries, 63392484 fired transitions, 2390 secs || 44415939 markings, 125188798 edges,
lola: 64 tries, 63525890 fired transitions, 2395 secs || 44501877 markings, 125438155 edges,
lola: 64 tries, 63658703 fired transitions, 2400 secs || 44588566 markings, 125686667 edges,
lola: 64 tries, 63792521 fired transitions, 2405 secs || 44675731 markings, 125935236 edges,
lola: 64 tries, 63924217 fired transitions, 2410 secs || 44765183 markings, 126172739 edges,
lola: 65 tries, 64058044 fired transitions, 2415 secs || 44851237 markings, 126420038 edges,
lola: 65 tries, 64191936 fired transitions, 2420 secs || 44936973 markings, 126665410 edges,
lola: 65 tries, 64325504 fired transitions, 2425 secs || 45020194 markings, 126920440 edges,
lola: 65 tries, 64458516 fired transitions, 2430 secs || 45107477 markings, 127167817 edges,
lola: 65 tries, 64592181 fired transitions, 2435 secs || 45192511 markings, 127415280 edges,
lola: 65 tries, 64725812 fired transitions, 2440 secs || 45281178 markings, 127661103 edges,
lola: 65 tries, 64858230 fired transitions, 2445 secs || 45371398 markings, 127896866 edges,
lola: 65 tries, 64992550 fired transitions, 2450 secs || 45452152 markings, 128162345 edges,
lola: 66 tries, 65127383 fired transitions, 2455 secs || 45531862 markings, 128427836 edges,
lola: 66 tries, 65261676 fired transitions, 2460 secs || 45611921 markings, 128693586 edges,
lola: 66 tries, 65398077 fired transitions, 2465 secs || 45687396 markings, 128980554 edges,
lola: 66 tries, 65536418 fired transitions, 2470 secs || 45757780 markings, 129303336 edges,
lola: 66 tries, 65669503 fired transitions, 2475 secs || 45843526 markings, 129555162 edges,
lola: 66 tries, 65804930 fired transitions, 2480 secs || 45921376 markings, 129833422 edges,
lola: 66 tries, 65942752 fired transitions, 2485 secs || 45993133 markings, 130141116 edges,
lola: 67 tries, 66081815 fired transitions, 2490 secs || 46069868 markings, 130448164 edges,
lola: 67 tries, 66214605 fired transitions, 2495 secs || 46156935 markings, 130686577 edges,
lola: 67 tries, 66350742 fired transitions, 2500 secs || 46231158 markings, 130969920 edges,
lola: 67 tries, 66485098 fired transitions, 2505 secs || 46310302 markings, 131241199 edges,
lola: 67 tries, 66618272 fired transitions, 2510 secs || 46398742 markings, 131481069 edges,
lola: 67 tries, 66751360 fired transitions, 2515 secs || 46483047 markings, 131725833 edges,
lola: 67 tries, 66884391 fired transitions, 2520 secs || 46570439 markings, 131970562 edges,
lola: 68 tries, 67019540 fired transitions, 2525 secs || 46649702 markings, 132241373 edges,
lola: 68 tries, 67152641 fired transitions, 2530 secs || 46735536 markings, 132487941 edges,
lola: 68 tries, 67287048 fired transitions, 2535 secs || 46816618 markings, 132754149 edges,
lola: 68 tries, 67420087 fired transitions, 2540 secs || 46900181 markings, 133001020 edges,
lola: 68 tries, 67553712 fired transitions, 2545 secs || 46984402 markings, 133257627 edges,
lola: 68 tries, 67686276 fired transitions, 2550 secs || 47072104 markings, 133499757 edges,
lola: 68 tries, 67818932 fired transitions, 2555 secs || 47159386 markings, 133739370 edges,
lola: 68 tries, 67952586 fired transitions, 2560 secs || 47242051 markings, 134005367 edges,
lola: 69 tries, 68089399 fired transitions, 2565 secs || 47325157 markings, 134257291 edges,
lola: 69 tries, 68224234 fired transitions, 2570 secs || 47404397 markings, 134523490 edges,
lola: 69 tries, 68356886 fired transitions, 2575 secs || 47494868 markings, 134763007 edges,
lola: 69 tries, 68492498 fired transitions, 2580 secs || 47567779 markings, 135044069 edges,
lola: 69 tries, 68626503 fired transitions, 2585 secs || 47651717 markings, 135293193 edges,
lola: 69 tries, 68759671 fired transitions, 2590 secs || 47734328 markings, 135565775 edges,
lola: 69 tries, 68892670 fired transitions, 2595 secs || 47817636 markings, 135846644 edges,
lola: 70 tries, 69026070 fired transitions, 2600 secs || 47900737 markings, 136121774 edges,
lola: 70 tries, 69158249 fired transitions, 2605 secs || 47991457 markings, 136363303 edges,
lola: 70 tries, 69292171 fired transitions, 2610 secs || 48072746 markings, 136629838 edges,
lola: 70 tries, 69425124 fired transitions, 2615 secs || 48158106 markings, 136876623 edges,
lola: 70 tries, 69559415 fired transitions, 2620 secs || 48240259 markings, 137138673 edges,
lola: 70 tries, 69692989 fired transitions, 2625 secs || 48323576 markings, 137383490 edges,
lola: 70 tries, 69826322 fired transitions, 2630 secs || 48408049 markings, 137630917 edges,
lola: 70 tries, 69959736 fired transitions, 2635 secs || 48492223 markings, 137884698 edges,
lola: 71 tries, 70094497 fired transitions, 2640 secs || 48575174 markings, 138144080 edges,
lola: 71 tries, 70227056 fired transitions, 2645 secs || 48663032 markings, 138384819 edges,
lola: 71 tries, 70364113 fired transitions, 2650 secs || 48739996 markings, 138666034 edges,
lola: 71 tries, 70499737 fired transitions, 2655 secs || 48820404 markings, 138942112 edges,
lola: 71 tries, 70632817 fired transitions, 2660 secs || 48906343 markings, 139185760 edges,
lola: 71 tries, 70766256 fired transitions, 2665 secs || 48990484 markings, 139435305 edges,
lola: 71 tries, 70899668 fired transitions, 2670 secs || 49075956 markings, 139686128 edges,
lola: 72 tries, 71033459 fired transitions, 2675 secs || 49158902 markings, 139937549 edges,
lola: 72 tries, 71165006 fired transitions, 2680 secs || 49248030 markings, 140170707 edges,
lola: 72 tries, 71299703 fired transitions, 2685 secs || 49327599 markings, 140440457 edges,
lola: 72 tries, 71431923 fired transitions, 2690 secs || 49414922 markings, 140679944 edges,
lola: 72 tries, 71565856 fired transitions, 2695 secs || 49499778 markings, 140927277 edges,
lola: 72 tries, 71698433 fired transitions, 2700 secs || 49585525 markings, 141168647 edges,
lola: 72 tries, 71832370 fired transitions, 2705 secs || 49669030 markings, 141420110 edges,
lola: 72 tries, 71966416 fired transitions, 2710 secs || 49751824 markings, 141673971 edges,
lola: 73 tries, 72100210 fired transitions, 2715 secs || 49835957 markings, 141919972 edges,
lola: 73 tries, 72233588 fired transitions, 2720 secs || 49922689 markings, 142163756 edges,
lola: 73 tries, 72367171 fired transitions, 2725 secs || 50007208 markings, 142411791 edges,
lola: 73 tries, 72499984 fired transitions, 2730 secs || 50096296 markings, 142649422 edges,
lola: 73 tries, 72633630 fired transitions, 2735 secs || 50180675 markings, 142899162 edges,
lola: 73 tries, 72766426 fired transitions, 2740 secs || 50264154 markings, 143148413 edges,
lola: 73 tries, 72899974 fired transitions, 2745 secs || 50348113 markings, 143397151 edges,
lola: 74 tries, 73032788 fired transitions, 2750 secs || 50439098 markings, 143631641 edges,
lola: 74 tries, 73167671 fired transitions, 2755 secs || 50517080 markings, 143903180 edges,
lola: 74 tries, 73300723 fired transitions, 2760 secs || 50602969 markings, 144144592 edges,
lola: 74 tries, 73433345 fired transitions, 2765 secs || 50691409 markings, 144385831 edges,
lola: 74 tries, 73567403 fired transitions, 2770 secs || 50774368 markings, 144637023 edges,
lola: 74 tries, 73701309 fired transitions, 2775 secs || 50854984 markings, 144896816 edges,
lola: 74 tries, 73836935 fired transitions, 2780 secs || 50935155 markings, 145148721 edges,
lola: 74 tries, 73971526 fired transitions, 2785 secs || 51016562 markings, 145410840 edges,
lola: 75 tries, 74105732 fired transitions, 2790 secs || 51102739 markings, 145655725 edges,
lola: 75 tries, 74242185 fired transitions, 2795 secs || 51175857 markings, 145955765 edges,
lola: 75 tries, 74379405 fired transitions, 2800 secs || 51245194 markings, 146288081 edges,
lola: 75 tries, 74512829 fired transitions, 2805 secs || 51332203 markings, 146538478 edges,
lola: 75 tries, 74647309 fired transitions, 2810 secs || 51412611 markings, 146803375 edges,
lola: 75 tries, 74780966 fired transitions, 2815 secs || 51495718 markings, 147058516 edges,
lola: 75 tries, 74915108 fired transitions, 2820 secs || 51578200 markings, 147319186 edges,
lola: 76 tries, 75050426 fired transitions, 2825 secs || 51662329 markings, 147579039 edges,
lola: 76 tries, 75182916 fired transitions, 2830 secs || 51751827 markings, 147813438 edges,
lola: 76 tries, 75316015 fired transitions, 2835 secs || 51837138 markings, 148061590 edges,
lola: 76 tries, 75448234 fired transitions, 2840 secs || 51924057 markings, 148297297 edges,
lola: 76 tries, 75581766 fired transitions, 2845 secs || 52008214 markings, 148545186 edges,
lola: 76 tries, 75714421 fired transitions, 2850 secs || 52094628 markings, 148790934 edges,
lola: 76 tries, 75849045 fired transitions, 2855 secs || 52177670 markings, 149056310 edges,
lola: 76 tries, 75983511 fired transitions, 2860 secs || 52258484 markings, 149319409 edges,
lola: 77 tries, 76117088 fired transitions, 2865 secs || 52342573 markings, 149570463 edges,
lola: 77 tries, 76251040 fired transitions, 2870 secs || 52425111 markings, 149825281 edges,
lola: 77 tries, 76383323 fired transitions, 2875 secs || 52514080 markings, 150062674 edges,
lola: 77 tries, 76516955 fired transitions, 2880 secs || 52596460 markings, 150310385 edges,
lola: 77 tries, 76651117 fired transitions, 2885 secs || 52680250 markings, 150570443 edges,
lola: 77 tries, 76785816 fired transitions, 2890 secs || 52758945 markings, 150841722 edges,
lola: 77 tries, 76918788 fired transitions, 2895 secs || 52843697 markings, 151085772 edges,
lola: 78 tries, 77051081 fired transitions, 2900 secs || 52933415 markings, 151312705 edges,
lola: 78 tries, 77186257 fired transitions, 2905 secs || 53011292 markings, 151580707 edges,
lola: 78 tries, 77322221 fired transitions, 2910 secs || 53089157 markings, 151854159 edges,
lola: 78 tries, 77456206 fired transitions, 2915 secs || 53173237 markings, 152107457 edges,
lola: 78 tries, 77589334 fired transitions, 2920 secs || 53260254 markings, 152351183 edges,
lola: 78 tries, 77725111 fired transitions, 2925 secs || 53339161 markings, 152628807 edges,
lola: 78 tries, 77857542 fired transitions, 2930 secs || 53426426 markings, 152865619 edges,
lola: 78 tries, 77990769 fired transitions, 2935 secs || 53511170 markings, 153113601 edges,
lola: 79 tries, 78123548 fired transitions, 2940 secs || 53595078 markings, 153355097 edges,
lola: 79 tries, 78255630 fired transitions, 2945 secs || 53684246 markings, 153587117 edges,
lola: 79 tries, 78390638 fired transitions, 2950 secs || 53763187 markings, 153864340 edges,
lola: 79 tries, 78524360 fired transitions, 2955 secs || 53847311 markings, 154120345 edges,
lola: 79 tries, 78658308 fired transitions, 2960 secs || 53933101 markings, 154376194 edges,
lola: 79 tries, 78792159 fired transitions, 2965 secs || 54017490 markings, 154629972 edges,
lola: 79 tries, 78928190 fired transitions, 2970 secs || 54094245 markings, 154907567 edges,
lola: 80 tries, 79062139 fired transitions, 2975 secs || 54175303 markings, 155168861 edges,
lola: 80 tries, 79195378 fired transitions, 2980 secs || 54261545 markings, 155408409 edges,
lola: 80 tries, 79328419 fired transitions, 2985 secs || 54346431 markings, 155656309 edges,
lola: 80 tries, 79464037 fired transitions, 2990 secs || 54423001 markings, 155945109 edges,
lola: 80 tries, 79598537 fired transitions, 2995 secs || 54504224 markings, 156203494 edges,
lola: 80 tries, 79731956 fired transitions, 3000 secs || 54588813 markings, 156453641 edges,
lola: 80 tries, 79864715 fired transitions, 3005 secs || 54674714 markings, 156694655 edges,
lola: 80 tries, 79999295 fired transitions, 3010 secs || 54754487 markings, 156961212 edges,
lola: 81 tries, 80132253 fired transitions, 3015 secs || 54838660 markings, 157203000 edges,
lola: 81 tries, 80265873 fired transitions, 3020 secs || 54922241 markings, 157450735 edges,
lola: 81 tries, 80399757 fired transitions, 3025 secs || 55003945 markings, 157710049 edges,
lola: 81 tries, 80533422 fired transitions, 3030 secs || 55087677 markings, 157957255 edges,
lola: 81 tries, 80668398 fired transitions, 3035 secs || 55167162 markings, 158227244 edges,
lola: 81 tries, 80802411 fired transitions, 3040 secs || 55250431 markings, 158487161 edges,
lola: 81 tries, 80936075 fired transitions, 3045 secs || 55335104 markings, 158733294 edges,
lola: 82 tries, 81071120 fired transitions, 3050 secs || 55423732 markings, 158967868 edges,
lola: 82 tries, 81206378 fired transitions, 3055 secs || 55501963 markings, 159244794 edges,
lola: 82 tries, 81342038 fired transitions, 3060 secs || 55574939 markings, 159523416 edges,
lola: 82 tries, 81475017 fired transitions, 3065 secs || 55662554 markings, 159763361 edges,
lola: 82 tries, 81607069 fired transitions, 3070 secs || 55750430 markings, 159993719 edges,
lola: 82 tries, 81740619 fired transitions, 3075 secs || 55833965 markings, 160239778 edges,
lola: 82 tries, 81873472 fired transitions, 3080 secs || 55920425 markings, 160486648 edges,
lola: 83 tries, 82007750 fired transitions, 3085 secs || 56002848 markings, 160741988 edges,
lola: 83 tries, 82145506 fired transitions, 3090 secs || 56072866 markings, 161049361 edges,
lola: 83 tries, 82278159 fired transitions, 3095 secs || 56159200 markings, 161290419 edges,
lola: 83 tries, 82410882 fired transitions, 3100 secs || 56249908 markings, 161526233 edges,
lola: 83 tries, 82543670 fired transitions, 3105 secs || 56338272 markings, 161768653 edges,
lola: 83 tries, 82676901 fired transitions, 3110 secs || 56423913 markings, 162012091 edges,
lola: 83 tries, 82811008 fired transitions, 3115 secs || 56506988 markings, 162266252 edges,
lola: 83 tries, 82943674 fired transitions, 3120 secs || 56592329 markings, 162506599 edges,
lola: 84 tries, 83076879 fired transitions, 3125 secs || 56677460 markings, 162753801 edges,
lola: 84 tries, 83210615 fired transitions, 3130 secs || 56763191 markings, 163003303 edges,
lola: 84 tries, 83344930 fired transitions, 3135 secs || 56843405 markings, 163274288 edges,
lola: 84 tries, 83477460 fired transitions, 3140 secs || 56933497 markings, 163508676 edges,
lola: 84 tries, 83613282 fired transitions, 3145 secs || 57010632 markings, 163793036 edges,
lola: 84 tries, 83746012 fired transitions, 3150 secs || 57098358 markings, 164034029 edges,
lola: 84 tries, 83879564 fired transitions, 3155 secs || 57182046 markings, 164283282 edges,
lola: 85 tries, 84013744 fired transitions, 3160 secs || 57266370 markings, 164535920 edges,
lola: 85 tries, 84147311 fired transitions, 3165 secs || 57355501 markings, 164763102 edges,
lola: 85 tries, 84280904 fired transitions, 3170 secs || 57438871 markings, 165014299 edges,
lola: 85 tries, 84415646 fired transitions, 3175 secs || 57520375 markings, 165262353 edges,
lola: 85 tries, 84551030 fired transitions, 3180 secs || 57598288 markings, 165529619 edges,
lola: 85 tries, 84685558 fired transitions, 3185 secs || 57678497 markings, 165788354 edges,
lola: 85 tries, 84819737 fired transitions, 3190 secs || 57759486 markings, 166060914 edges,
lola: 85 tries, 84952946 fired transitions, 3195 secs || 57844566 markings, 166306242 edges,
lola: 86 tries, 85086625 fired transitions, 3200 secs || 57932955 markings, 166534877 edges,
lola: 86 tries, 85218867 fired transitions, 3205 secs || 58021345 markings, 166762425 edges,
lola: 86 tries, 85352620 fired transitions, 3210 secs || 58105231 markings, 167021536 edges,
lola: 86 tries, 85485964 fired transitions, 3215 secs || 58185179 markings, 167287188 edges,
lola: 86 tries, 85618354 fired transitions, 3220 secs || 58274258 markings, 167521284 edges,
lola: 86 tries, 85752085 fired transitions, 3225 secs || 58357591 markings, 167777432 edges,
lola: 86 tries, 85885722 fired transitions, 3230 secs || 58438933 markings, 168035511 edges,
lola: 87 tries, 86019496 fired transitions, 3235 secs || 58526293 markings, 168268587 edges,
lola: 87 tries, 86153429 fired transitions, 3240 secs || 58609900 markings, 168523146 edges,
lola: 87 tries, 86287756 fired transitions, 3245 secs || 58691787 markings, 168775957 edges,
lola: 87 tries, 86427803 fired transitions, 3250 secs || 58758853 markings, 169087616 edges,
lola: 87 tries, 86567543 fired transitions, 3255 secs || 58824236 markings, 169411634 edges,
lola: 87 tries, 86701551 fired transitions, 3260 secs || 58904907 markings, 169677181 edges,
lola: 87 tries, 86834256 fired transitions, 3265 secs || 58995457 markings, 169907127 edges,
lola: 87 tries, 86968932 fired transitions, 3270 secs || 59079073 markings, 170167836 edges,
lola: 88 tries, 87102029 fired transitions, 3275 secs || 59167277 markings, 170408156 edges,
lola: 88 tries, 87235833 fired transitions, 3280 secs || 59248350 markings, 170670741 edges,
lola: 88 tries, 87370687 fired transitions, 3285 secs || 59327927 markings, 170941115 edges,
lola: 88 tries, 87503321 fired transitions, 3290 secs || 59414906 markings, 171184643 edges,
lola: 88 tries, 87636396 fired transitions, 3295 secs || 59499413 markings, 171435255 edges,
lola: 88 tries, 87769443 fired transitions, 3300 secs || 59586541 markings, 171670432 edges,
lola: 88 tries, 87903206 fired transitions, 3305 secs || 59669898 markings, 171917347 edges,
lola: 89 tries, 88041955 fired transitions, 3310 secs || 59750958 markings, 172175259 edges,
lola: 89 tries, 88178855 fired transitions, 3315 secs || 59824209 markings, 172466520 edges,
lola: 89 tries, 88313120 fired transitions, 3320 secs || 59902509 markings, 172748116 edges,
lola: 89 tries, 88446479 fired transitions, 3325 secs || 59989351 markings, 172999342 edges,
lola: 89 tries, 88579121 fired transitions, 3330 secs || 60075351 markings, 173250954 edges,
lola: 89 tries, 88712204 fired transitions, 3335 secs || 60160569 markings, 173492387 edges,
lola: 89 tries, 88846161 fired transitions, 3340 secs || 60242868 markings, 173752567 edges,
lola: 89 tries, 88981071 fired transitions, 3345 secs || 60320344 markings, 174032187 edges,
lola: 90 tries, 89116374 fired transitions, 3350 secs || 60407517 markings, 174277316 edges,
lola: 90 tries, 89251612 fired transitions, 3355 secs || 60483703 markings, 174548589 edges,
lola: 90 tries, 89384663 fired transitions, 3360 secs || 60573790 markings, 174784230 edges,
lola: 90 tries, 89518617 fired transitions, 3365 secs || 60656916 markings, 175038946 edges,
lola: 90 tries, 89652174 fired transitions, 3370 secs || 60742139 markings, 175288584 edges,
lola: 90 tries, 89786923 fired transitions, 3375 secs || 60821157 markings, 175567553 edges,
lola: 90 tries, 89919949 fired transitions, 3380 secs || 60906688 markings, 175808484 edges,
lola: 91 tries, 90057017 fired transitions, 3385 secs || 60982433 markings, 176102961 edges,
lola: 91 tries, 90189732 fired transitions, 3390 secs || 61070554 markings, 176340746 edges,
lola: 91 tries, 90323351 fired transitions, 3395 secs || 61158358 markings, 176583508 edges,
lola: 91 tries, 90457120 fired transitions, 3400 secs || 61242741 markings, 176834521 edges,
lola: 91 tries, 90590963 fired transitions, 3405 secs || 61327154 markings, 177083797 edges,
lola: 91 tries, 90726080 fired transitions, 3410 secs || 61410680 markings, 177349366 edges,
lola: 91 tries, 90859171 fired transitions, 3415 secs || 61497035 markings, 177590816 edges,
lola: 91 tries, 90992625 fired transitions, 3420 secs || 61582475 markings, 177842122 edges,
lola: 92 tries, 91126513 fired transitions, 3425 secs || 61668045 markings, 178088739 edges,
lola: 92 tries, 91259777 fired transitions, 3430 secs || 61752338 markings, 178334804 edges,
lola: 92 tries, 91393198 fired transitions, 3435 secs || 61837317 markings, 178582835 edges,
lola: 92 tries, 91527493 fired transitions, 3440 secs || 61916863 markings, 178843847 edges,
lola: 92 tries, 91661178 fired transitions, 3445 secs || 62001376 markings, 179085406 edges,
lola: 92 tries, 91794837 fired transitions, 3450 secs || 62088743 markings, 179329371 edges,
lola: 92 tries, 91928739 fired transitions, 3455 secs || 62172312 markings, 179584753 edges,
lola: 93 tries, 92062642 fired transitions, 3460 secs || 62261592 markings, 179824573 edges,
lola: 93 tries, 92196798 fired transitions, 3465 secs || 62343967 markings, 180078019 edges,
lola: 93 tries, 92329413 fired transitions, 3470 secs || 62431854 markings, 180309153 edges,
lola: 93 tries, 92463292 fired transitions, 3475 secs || 62514436 markings, 180563009 edges,
lola: 93 tries, 92600017 fired transitions, 3480 secs || 62592277 markings, 180834924 edges,
lola: 93 tries, 92731612 fired transitions, 3485 secs || 62684721 markings, 181063257 edges,
lola: 93 tries, 92865124 fired transitions, 3490 secs || 62767907 markings, 181310393 edges,
lola: 93 tries, 92997970 fired transitions, 3495 secs || 62853979 markings, 181552465 edges,
lola: 94 tries, 93133542 fired transitions, 3500 secs || 62937474 markings, 181796121 edges,
lola: 94 tries, 93267180 fired transitions, 3505 secs || 63022253 markings, 182045850 edges,
lola: 94 tries, 93400262 fired transitions, 3510 secs || 63108451 markings, 182290296 edges,
lola: 94 tries, 93534476 fired transitions, 3515 secs || 63193083 markings, 182559157 edges,
lola: 94 tries, 93669792 fired transitions, 3520 secs || 63271765 markings, 182840045 edges,
lola: 94 tries, 93807139 fired transitions, 3525 secs || 63344611 markings, 183143180 edges,
lola: 94 tries, 93940235 fired transitions, 3530 secs || 63429303 markings, 183392277 edges,
lola: 95 tries, 94075059 fired transitions, 3535 secs || 63512391 markings, 183643232 edges,
lola: 95 tries, 94209342 fired transitions, 3540 secs || 63591552 markings, 183898803 edges,
lola: 95 tries, 94342687 fired transitions, 3545 secs || 63675429 markings, 184147634 edges,
lola: 95 tries, 94476269 fired transitions, 3550 secs || 63758907 markings, 184395783 edges,
lola: 95 tries, 94609166 fired transitions, 3555 secs || 63845191 markings, 184632141 edges,
lola: 95 tries, 94742325 fired transitions, 3560 secs || 63930735 markings, 184876487 edges,
lola: time limit reached - aborting
lola: memory consumption: 3463368 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 1552844300394

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 21197 markings/sec, 0 secs 21922 markings/sec, 5 secs 21658 markings/sec, 10 secs 22128 markings/sec, 15 secs 21656 markings/sec, 20 secs 20949 markings/sec, 25 secs 21106 markings/sec, 30 secs 20699 markings/sec, 35 secs 20207 markings/sec, 40 secs 19921 markings/sec, 45 secs 20871 markings/sec, 50 secs 21280 markings/sec, 55 secs 20502 markings/sec, 60 secs 20602 markings/sec, 65 secs 20732 markings/sec, 70 secs 20322 markings/sec, 75 secs 20397 markings/sec, 80 secs 20188 markings/sec, 85 secs 20562 markings/sec, 90 secs 20197 markings/sec, 95 secs 19735 markings/sec, 100 secs 20522 markings/sec, 105 secs 18905 markings/sec, 110 secs 19777 markings/sec, 115 secs 19671 markings/sec, 120 secs 20293 markings/sec, 125 secs 19701 markings/sec, 130 secs 19811 markings/sec, 135 secs 20502 markings/sec, 140 secs 19758 markings/sec, 145 secs 19814 markings/sec, 150 secs 18943 markings/sec, 155 secs 19506 markings/sec, 160 secs 19690 markings/sec, 165 secs 19347 markings/sec, 170 secs 19708 markings/sec, 175 secs 19673 markings/sec, 180 secs 19908 markings/sec, 185 secs 19763 markings/sec, 190 secs 18377 markings/sec, 195 secs 18635 markings/sec, 200 secs 19072 markings/sec, 205 secs 19858 markings/sec, 210 secs 19450 markings/sec, 215 secs 19755 markings/sec, 220 secs 19848 markings/sec, 225 secs 19093 markings/sec, 230 secs 18475 markings/sec, 235 secs 20485 markings/sec, 240 secs 22341 markings/sec, 245 secs 20214 markings/sec, 250 secs 18009 markings/sec, 255 secs 19448 markings/sec, 260 secs 17831 markings/sec, 265 secs 17356 markings/sec, 270 secs 20200 markings/sec, 275 secs 19835 markings/sec, 280 secs 20166 markings/sec, 285 secs 19685 markings/sec, 290 secs 18943 markings/sec, 295 secs 19201 markings/sec, 300 secs 18561 markings/sec, 305 secs 19059 markings/sec, 310 secs 17347 markings/sec, 315 secs 19883 markings/sec, 320 secs 20053 markings/sec, 325 secs 20998 markings/sec, 330 secs 19282 markings/sec, 335 secs 18912 markings/sec, 340 secs 19156 markings/sec, 345 secs 17064 markings/sec, 350 secs 18835 markings/sec, 355 secs 20287 markings/sec, 360 secs 19857 markings/sec, 365 secs 19971 markings/sec, 370 secs 19847 markings/sec, 375 secs 19869 markings/sec, 380 secs 18795 markings/sec, 385 secs 18694 markings/sec, 390 secs 20254 markings/sec, 395 secs 20188 markings/sec, 400 secs 17290 markings/sec, 405 secs 19786 markings/sec, 410 secs 18711 markings/sec, 415 secs 19432 markings/sec, 420 secs 20136 markings/sec, 425 secs 19583 markings/sec, 430 secs 19950 markings/sec, 435 secs 20397 markings/sec, 440 secs 18962 markings/sec, 445 secs 19292 markings/sec, 450 secs 17496 markings/sec, 455 secs 19774 markings/sec, 460 secs 20341 markings/sec, 465 secs 19948 markings/sec, 470 secs 19403 markings/sec, 475 secs 18735 markings/sec, 480 secs 19337 markings/sec, 485 secs 19281 markings/sec, 490 secs 18170 markings/sec, 495 secs 17725 markings/sec, 500 secs 18013 markings/sec, 505 secs 18831 markings/sec, 510 secs 19841 markings/sec, 515 secs 19836 markings/sec, 520 secs 18573 markings/sec, 525 secs 19591 markings/sec, 530 secs 18962 markings/sec, 535 secs 19730 markings/sec, 540 secs 19223 markings/sec, 545 secs 17715 markings/sec, 550 secs 18752 markings/sec, 555 secs 19792 markings/sec, 560 secs 19182 markings/sec, 565 secs 19790 markings/sec, 570 secs 18642 markings/sec, 575 secs 19976 markings/sec, 580 secs 18932 markings/sec, 585 secs 20170 markings/sec, 590 secs 19400 markings/sec, 595 secs 19366 markings/sec, 600 secs 19730 markings/sec, 605 secs 21565 markings/sec, 610 secs 20220 markings/sec, 615 secs 19224 markings/sec, 620 secs 19851 markings/sec, 625 secs 19213 markings/sec, 630 secs 19394 markings/sec, 635 secs 19971 markings/sec, 640 secs 19871 markings/sec, 645 secs 19442 markings/sec, 650 secs 19768 markings/sec, 655 secs 18633 markings/sec, 660 secs 18329 markings/sec, 665 secs 19207 markings/sec, 670 secs 20898 markings/sec, 675 secs 20246 markings/sec, 680 secs 19069 markings/sec, 685 secs 18590 markings/sec, 690 secs 19044 markings/sec, 695 secs 19267 markings/sec, 700 secs 19734 markings/sec, 705 secs 18809 markings/sec, 710 secs 19616 markings/sec, 715 secs 19560 markings/sec, 720 secs 19559 markings/sec, 725 secs 20164 markings/sec, 730 secs 19491 markings/sec, 735 secs 19578 markings/sec, 740 secs 18531 markings/sec, 745 secs 18625 markings/sec, 750 secs 19465 markings/sec, 755 secs 19861 markings/sec, 760 secs 19029 markings/sec, 765 secs 17506 markings/sec, 770 secs 19208 markings/sec, 775 secs 19372 markings/sec, 780 secs 18577 markings/sec, 785 secs 18419 markings/sec, 790 secs 17114 markings/sec, 795 secs 18506 markings/sec, 800 secs 18439 markings/sec, 805 secs 19114 markings/sec, 810 secs 18516 markings/sec, 815 secs 18906 markings/sec, 820 secs 18682 markings/sec, 825 secs 18624 markings/sec, 830 secs 19343 markings/sec, 835 secs 18965 markings/sec, 840 secs 19066 markings/sec, 845 secs 19525 markings/sec, 850 secs 19689 markings/sec, 855 secs 18837 markings/sec, 860 secs 19576 markings/sec, 865 secs 19086 markings/sec, 870 secs 18412 markings/sec, 875 secs 19078 markings/sec, 880 secs 19012 markings/sec, 885 secs 18890 markings/sec, 890 secs 18544 markings/sec, 895 secs 19161 markings/sec, 900 secs 20137 markings/sec, 905 secs 18969 markings/sec, 910 secs 17992 markings/sec, 915 secs 18881 markings/sec, 920 secs 18985 markings/sec, 925 secs 18983 markings/sec, 930 secs 18207 markings/sec, 935 secs 18848 markings/sec, 940 secs 18867 markings/sec, 945 secs 18282 markings/sec, 950 secs 18520 markings/sec, 955 secs 20285 markings/sec, 960 secs 18423 markings/sec, 965 secs 19057 markings/sec, 970 secs 20005 markings/sec, 975 secs 18916 markings/sec, 980 secs 19879 markings/sec, 985 secs 18387 markings/sec, 990 secs 19150 markings/sec, 995 secs 18343 markings/sec, 1000 secs 19547 markings/sec, 1005 secs 18205 markings/sec, 1010 secs 19013 markings/sec, 1015 secs 19012 markings/sec, 1020 secs 18511 markings/sec, 1025 secs 16875 markings/sec, 1030 secs 19536 markings/sec, 1035 secs 18631 markings/sec, 1040 secs 19491 markings/sec, 1045 secs 18773 markings/sec, 1050 secs 17520 markings/sec, 1055 secs 19337 markings/sec, 1060 secs 19014 markings/sec, 1065 secs 18648 markings/sec, 1070 secs 18162 markings/sec, 1075 secs 18860 markings/sec, 1080 secs 19841 markings/sec, 1085 secs 19332 markings/sec, 1090 secs 17358 markings/sec, 1095 secs 19161 markings/sec, 1100 secs 18456 markings/sec, 1105 secs 18697 markings/sec, 1110 secs 17946 markings/sec, 1115 secs 19233 markings/sec, 1120 secs 18867 markings/sec, 1125 secs 18947 markings/sec, 1130 secs 19143 markings/sec, 1135 secs 17632 markings/sec, 1140 secs 17617 markings/sec, 1145 secs 18159 markings/sec, 1150 secs 18509 markings/sec, 1155 secs 19562 markings/sec, 1160 secs 18481 markings/sec, 1165 secs 18650 markings/sec, 1170 secs 19312 markings/sec, 1175 secs 18373 markings/sec, 1180 secs 18946 markings/sec, 1185 secs 19126 markings/sec, 1190 secs 17020 markings/sec, 1195 secs 18765 markings/sec, 1200 secs 18017 markings/sec, 1205 secs 17851 markings/sec, 1210 secs 17937 markings/sec, 1215 secs 18782 markings/sec, 1220 secs 19000 markings/sec, 1225 secs 18212 markings/sec, 1230 secs 17199 markings/sec, 1235 secs 19411 markings/sec, 1240 secs 18862 markings/sec, 1245 secs 19460 markings/sec, 1250 secs 19111 markings/sec, 1255 secs 18189 markings/sec, 1260 secs 18411 markings/sec, 1265 secs 18276 markings/sec, 1270 secs 19205 markings/sec, 1275 secs 20261 markings/sec, 1280 secs 18762 markings/sec, 1285 secs 18227 markings/sec, 1290 secs 18167 markings/sec, 1295 secs 18939 markings/sec, 1300 secs 19105 markings/sec, 1305 secs 18295 markings/sec, 1310 secs 18677 markings/sec, 1315 secs 18852 markings/sec, 1320 secs 19281 markings/sec, 1325 secs 18848 markings/sec, 1330 secs 18086 markings/sec, 1335 secs 18917 markings/sec, 1340 secs 18117 markings/sec, 1345 secs 18800 markings/sec, 1350 secs 17416 markings/sec, 1355 secs 18091 markings/sec, 1360 secs 19334 markings/sec, 1365 secs 17168 markings/sec, 1370 secs 18327 markings/sec, 1375 secs 17768 markings/sec, 1380 secs 18096 markings/sec, 1385 secs 16621 markings/sec, 1390 secs 18434 markings/sec, 1395 secs 18029 markings/sec, 1400 secs 19484 markings/sec, 1405 secs 18330 markings/sec, 1410 secs 18794 markings/sec, 1415 secs 18257 markings/sec, 1420 secs 18493 markings/sec, 1425 secs 19204 markings/sec, 1430 secs 19018 markings/sec, 1435 secs 18845 markings/sec, 1440 secs 17452 markings/sec, 1445 secs 19058 markings/sec, 1450 secs 18825 markings/sec, 1455 secs 18684 markings/sec, 1460 secs 18315 markings/sec, 1465 secs 18292 markings/sec, 1470 secs 18294 markings/sec, 1475 secs 19042 markings/sec, 1480 secs 17762 markings/sec, 1485 secs 18936 markings/sec, 1490 secs 19049 markings/sec, 1495 secs 18013 markings/sec, 1500 secs 16662 markings/sec, 1505 secs 17096 markings/sec, 1510 secs 16604 markings/sec, 1515 secs 17368 markings/sec, 1520 secs 18811 markings/sec, 1525 secs 19387 markings/sec, 1530 secs 17808 markings/sec, 1535 secs 18594 markings/sec, 1540 secs 19170 markings/sec, 1545 secs 18735 markings/sec, 1550 secs 18602 markings/sec, 1555 secs 18417 markings/sec, 1560 secs 17877 markings/sec, 1565 secs 18302 markings/sec, 1570 secs 17598 markings/sec, 1575 secs 19460 markings/sec, 1580 secs 19161 markings/sec, 1585 secs 18800 markings/sec, 1590 secs 17993 markings/sec, 1595 secs 17478 markings/sec, 1600 secs 18948 markings/sec, 1605 secs 18835 markings/sec, 1610 secs 18419 markings/sec, 1615 secs 19131 markings/sec, 1620 secs 17180 markings/sec, 1625 secs 17629 markings/sec, 1630 secs 18650 markings/sec, 1635 secs 17311 markings/sec, 1640 secs 14814 markings/sec, 1645 secs 17395 markings/sec, 1650 secs 17560 markings/sec, 1655 secs 17829 markings/sec, 1660 secs 19306 markings/sec, 1665 secs 17939 markings/sec, 1670 secs 17754 markings/sec, 1675 secs 17227 markings/sec, 1680 secs 19072 markings/sec, 1685 secs 16654 markings/sec, 1690 secs 15914 markings/sec, 1695 secs 16452 markings/sec, 1700 secs 19023 markings/sec, 1705 secs 16216 markings/sec, 1710 secs 16697 markings/sec, 1715 secs 17681 markings/sec, 1720 secs 17489 markings/sec, 1725 secs 15975 markings/sec, 1730 secs 17825 markings/sec, 1735 secs 17595 markings/sec, 1740 secs 17600 markings/sec, 1745 secs 16279 markings/sec, 1750 secs 18659 markings/sec, 1755 secs 18594 markings/sec, 1760 secs 17659 markings/sec, 1765 secs 17610 markings/sec, 1770 secs 16971 markings/sec, 1775 secs 18253 markings/sec, 1780 secs 18445 markings/sec, 1785 secs 18487 markings/sec, 1790 secs 17318 markings/sec, 1795 secs 17763 markings/sec, 1800 secs 18572 markings/sec, 1805 secs 17911 markings/sec, 1810 secs 17825 markings/sec, 1815 secs 17506 markings/sec, 1820 secs 18079 markings/sec, 1825 secs 18445 markings/sec, 1830 secs 17106 markings/sec, 1835 secs 16866 markings/sec, 1840 secs 18748 markings/sec, 1845 secs 18544 markings/sec, 1850 secs 17953 markings/sec, 1855 secs 17919 markings/sec, 1860 secs 17497 markings/sec, 1865 secs 17674 markings/sec, 1870 secs 16416 markings/sec, 1875 secs 18976 markings/sec, 1880 secs 18056 markings/sec, 1885 secs 16537 markings/sec, 1890 secs 15682 markings/sec, 1895 secs 15227 markings/sec, 1900 secs 16904 markings/sec, 1905 secs 18429 markings/sec, 1910 secs 18410 markings/sec, 1915 secs 17323 markings/sec, 1920 secs 17805 markings/sec, 1925 secs 17946 markings/sec, 1930 secs 18170 markings/sec, 1935 secs 18978 markings/sec, 1940 secs 18350 markings/sec, 1945 secs 18091 markings/sec, 1950 secs 17947 markings/sec, 1955 secs 17291 markings/sec, 1960 secs 17084 markings/sec, 1965 secs 17521 markings/sec, 1970 secs 18389 markings/sec, 1975 secs 18187 markings/sec, 1980 secs 17962 markings/sec, 1985 secs 16204 markings/sec, 1990 secs 17341 markings/sec, 1995 secs 17371 markings/sec, 2000 secs 18063 markings/sec, 2005 secs 17054 markings/sec, 2010 secs 16461 markings/sec, 2015 secs 18869 markings/sec, 2020 secs 18447 markings/sec, 2025 secs 16827 markings/sec, 2030 secs 17641 markings/sec, 2035 secs 18701 markings/sec, 2040 secs 18304 markings/sec, 2045 secs 18798 markings/sec, 2050 secs 18872 markings/sec, 2055 secs 18538 markings/sec, 2060 secs 15753 markings/sec, 2065 secs 19040 markings/sec, 2070 secs 18985 markings/sec, 2075 secs 17748 markings/sec, 2080 secs 15286 markings/sec, 2085 secs 18618 markings/sec, 2090 secs 17249 markings/sec, 2095 secs 17478 markings/sec, 2100 secs 17851 markings/sec, 2105 secs 16236 markings/sec, 2110 secs 15888 markings/sec, 2115 secs 16914 markings/sec, 2120 secs 18752 markings/sec, 2125 secs 17343 markings/sec, 2130 secs 16939 markings/sec, 2135 secs 15865 markings/sec, 2140 secs 17686 markings/sec, 2145 secs 17983 markings/sec, 2150 secs 18503 markings/sec, 2155 secs 18088 markings/sec, 2160 secs 16826 markings/sec, 2165 secs 16342 markings/sec, 2170 secs 17726 markings/sec, 2175 secs 17622 markings/sec, 2180 secs 16801 markings/sec, 2185 secs 14626 markings/sec, 2190 secs 16414 markings/sec, 2195 secs 18681 markings/sec, 2200 secs 16991 markings/sec, 2205 secs 16490 markings/sec, 2210 secs 17157 markings/sec, 2215 secs 17137 markings/sec, 2220 secs 17603 markings/sec, 2225 secs 17371 markings/sec, 2230 secs 18450 markings/sec, 2235 secs 17958 markings/sec, 2240 secs 17754 markings/sec, 2245 secs 18750 markings/sec, 2250 secs 18584 markings/sec, 2255 secs 18804 markings/sec, 2260 secs 16358 markings/sec, 2265 secs 16977 markings/sec, 2270 secs 17198 markings/sec, 2275 secs 18202 markings/sec, 2280 secs 17635 markings/sec, 2285 secs 18607 markings/sec, 2290 secs 18441 markings/sec, 2295 secs 16498 markings/sec, 2300 secs 14812 markings/sec, 2305 secs 15700 markings/sec, 2310 secs 17854 markings/sec, 2315 secs 17798 markings/sec, 2320 secs 15714 markings/sec, 2325 secs 16335 markings/sec, 2330 secs 16272 markings/sec, 2335 secs 14795 markings/sec, 2340 secs 17704 markings/sec, 2345 secs 16451 markings/sec, 2350 secs 17735 markings/sec, 2355 secs 16718 markings/sec, 2360 secs 14537 markings/sec, 2365 secs 14137 markings/sec, 2370 secs 14369 markings/sec, 2375 secs 16283 markings/sec, 2380 secs 17677 markings/sec, 2385 secs 17008 markings/sec, 2390 secs 17188 markings/sec, 2395 secs 17338 markings/sec, 2400 secs 17433 markings/sec, 2405 secs 17890 markings/sec, 2410 secs 17211 markings/sec, 2415 secs 17147 markings/sec, 2420 secs 16644 markings/sec, 2425 secs 17457 markings/sec, 2430 secs 17007 markings/sec, 2435 secs 17733 markings/sec, 2440 secs 18044 markings/sec, 2445 secs 16151 markings/sec, 2450 secs 15942 markings/sec, 2455 secs 16012 markings/sec, 2460 secs 15095 markings/sec, 2465 secs 14077 markings/sec, 2470 secs 17149 markings/sec, 2475 secs 15570 markings/sec, 2480 secs 14351 markings/sec, 2485 secs 15347 markings/sec, 2490 secs 17413 markings/sec, 2495 secs 14845 markings/sec, 2500 secs 15829 markings/sec, 2505 secs 17688 markings/sec, 2510 secs 16861 markings/sec, 2515 secs 17478 markings/sec, 2520 secs 15853 markings/sec, 2525 secs 17167 markings/sec, 2530 secs 16216 markings/sec, 2535 secs 16713 markings/sec, 2540 secs 16844 markings/sec, 2545 secs 17540 markings/sec, 2550 secs 17456 markings/sec, 2555 secs 16533 markings/sec, 2560 secs 16621 markings/sec, 2565 secs 15848 markings/sec, 2570 secs 18094 markings/sec, 2575 secs 14582 markings/sec, 2580 secs 16788 markings/sec, 2585 secs 16522 markings/sec, 2590 secs 16662 markings/sec, 2595 secs 16620 markings/sec, 2600 secs 18144 markings/sec, 2605 secs 16258 markings/sec, 2610 secs 17072 markings/sec, 2615 secs 16431 markings/sec, 2620 secs 16663 markings/sec, 2625 secs 16895 markings/sec, 2630 secs 16835 markings/sec, 2635 secs 16590 markings/sec, 2640 secs 17572 markings/sec, 2645 secs 15393 markings/sec, 2650 secs 16082 markings/sec, 2655 secs 17188 markings/sec, 2660 secs 16828 markings/sec, 2665 secs 17094 markings/sec, 2670 secs 16589 markings/sec, 2675 secs 17826 markings/sec, 2680 secs 15914 markings/sec, 2685 secs 17465 markings/sec, 2690 secs 16971 markings/sec, 2695 secs 17149 markings/sec, 2700 secs 16701 markings/sec, 2705 secs 16559 markings/sec, 2710 secs 16827 markings/sec, 2715 secs 17346 markings/sec, 2720 secs 16904 markings/sec, 2725 secs 17818 markings/sec, 2730 secs 16876 markings/sec, 2735 secs 16696 markings/sec, 2740 secs 16792 markings/sec, 2745 secs 18197 markings/sec, 2750 secs 15596 markings/sec, 2755 secs 17178 markings/sec, 2760 secs 17688 markings/sec, 2765 secs 16592 markings/sec, 2770 secs 16123 markings/sec, 2775 secs 16034 markings/sec, 2780 secs 16281 markings/sec, 2785 secs 17235 markings/sec, 2790 secs 14624 markings/sec, 2795 secs 13867 markings/sec, 2800 secs 17402 markings/sec, 2805 secs 16082 markings/sec, 2810 secs 16621 markings/sec, 2815 secs 16496 markings/sec, 2820 secs 16826 markings/sec, 2825 secs 17900 markings/sec, 2830 secs 17062 markings/sec, 2835 secs 17384 markings/sec, 2840 secs 16831 markings/sec, 2845 secs 17283 markings/sec, 2850 secs 16608 markings/sec, 2855 secs 16163 markings/sec, 2860 secs 16818 markings/sec, 2865 secs 16508 markings/sec, 2870 secs 17794 markings/sec, 2875 secs 16476 markings/sec, 2880 secs 16758 markings/sec, 2885 secs 15739 markings/sec, 2890 secs 16950 markings/sec, 2895 secs 17944 markings/sec, 2900 secs 15575 markings/sec, 2905 secs 15573 markings/sec, 2910 secs 16816 markings/sec, 2915 secs 17403 markings/sec, 2920 secs 15781 markings/sec, 2925 secs 17453 markings/sec, 2930 secs 16949 markings/sec, 2935 secs 16782 markings/sec, 2940 secs 17834 markings/sec, 2945 secs 15788 markings/sec, 2950 secs 16825 markings/sec, 2955 secs 17158 markings/sec, 2960 secs 16878 markings/sec, 2965 secs 15351 markings/sec, 2970 secs 16212 markings/sec, 2975 secs 17248 markings/sec, 2980 secs 16977 markings/sec, 2985 secs 15314 markings/sec, 2990 secs 16245 markings/sec, 2995 secs 16918 markings/sec, 3000 secs 17180 markings/sec, 3005 secs 15955 markings/sec, 3010 secs 16835 markings/sec, 3015 secs 16716 markings/sec, 3020 secs 16341 markings/sec, 3025 secs 16746 markings/sec, 3030 secs 15897 markings/sec, 3035 secs 16654 markings/sec, 3040 secs 16935 markings/sec, 3045 secs 17726 markings/sec, 3050 secs 15646 markings/sec, 3055 secs 14595 markings/sec, 3060 secs 17523 markings/sec, 3065 secs 17575 markings/sec, 3070 secs 16707 markings/sec, 3075 secs 17292 markings/sec, 3080 secs 16485 markings/sec, 3085 secs 14004 markings/sec, 3090 secs 17267 markings/sec, 3095 secs 18142 markings/sec, 3100 secs 17673 markings/sec, 3105 secs 17128 markings/sec, 3110 secs 16615 markings/sec, 3115 secs 17068 markings/sec, 3120 secs 17026 markings/sec, 3125 secs 17146 markings/sec, 3130 secs 16043 markings/sec, 3135 secs 18018 markings/sec, 3140 secs 15427 markings/sec, 3145 secs 17545 markings/sec, 3150 secs 16738 markings/sec, 3155 secs 16865 markings/sec, 3160 secs 17826 markings/sec, 3165 secs 16674 markings/sec, 3170 secs 16301 markings/sec, 3175 secs 15583 markings/sec, 3180 secs 16042 markings/sec, 3185 secs 16198 markings/sec, 3190 secs 17016 markings/sec, 3195 secs 17678 markings/sec, 3200 secs 17678 markings/sec, 3205 secs 16777 markings/sec, 3210 secs 15990 markings/sec, 3215 secs 17816 markings/sec, 3220 secs 16667 markings/sec, 3225 secs 16268 markings/sec, 3230 secs 17472 markings/sec, 3235 secs 16721 markings/sec, 3240 secs 16377 markings/sec, 3245 secs 13413 markings/sec, 3250 secs 13077 markings/sec, 3255 secs 16134 markings/sec, 3260 secs 18110 markings/sec, 3265 secs 16723 markings/sec, 3270 secs 17641 markings/sec, 3275 secs 16215 markings/sec, 3280 secs 15915 markings/sec, 3285 secs 17396 markings/sec, 3290 secs 16901 markings/sec, 3295 secs 17426 markings/sec, 3300 secs 16671 markings/sec, 3305 secs 16212 markings/sec, 3310 secs 14650 markings/sec, 3315 secs 15660 markings/sec, 3320 secs 17368 markings/sec, 3325 secs 17200 markings/sec, 3330 secs 17044 markings/sec, 3335 secs 16460 markings/sec, 3340 secs 15495 markings/sec, 3345 secs 17435 markings/sec, 3350 secs 15237 markings/sec, 3355 secs 18017 markings/sec, 3360 secs 16625 markings/sec, 3365 secs 17045 markings/sec, 3370 secs 15804 markings/sec, 3375 secs 17106 markings/sec, 3380 secs 15149 markings/sec, 3385 secs 17624 markings/sec, 3390 secs 17561 markings/sec, 3395 secs 16877 markings/sec, 3400 secs 16883 markings/sec, 3405 secs 16705 markings/sec, 3410 secs 17271 markings/sec, 3415 secs 17088 markings/sec, 3420 secs 17114 markings/sec, 3425 secs 16859 markings/sec, 3430 secs 16996 markings/sec, 3435 secs 15909 markings/sec, 3440 secs 16903 markings/sec, 3445 secs 17473 markings/sec, 3450 secs 16714 markings/sec, 3455 secs 17856 markings/sec, 3460 secs 16475 markings/sec, 3465 secs 17577 markings/sec, 3470 secs 16516 markings/sec, 3475 secs 15568 markings/sec, 3480 secs 18489 markings/sec, 3485 secs 16637 markings/sec, 3490 secs 17214 markings/sec, 3495 secs 16699 markings/sec, 3500 secs 16956 markings/sec, 3505 secs 17240 markings/sec, 3510 secs 16926 markings/sec, 3515 secs 15736 markings/sec, 3520 secs 14569 markings/sec, 3525 secs 16938 markings/sec, 3530 secs 16618 markings/sec, 3535 secs 15832 markings/sec, 3540 secs 16775 markings/sec, 3545 secs 16696 markings/sec, 3550 secs 17257 markings/sec, 3555 secs 17109 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="LamportFastMutEx-PT-8"
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 LamportFastMutEx-PT-8, 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 r093-smll-155246584200237"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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