MCC'2019 - Execution of r104-oct2-155272226100552

About the Execution of LoLA for Peterson-PT-5

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7294.580	3594890.00	7324699.00	137.50	[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/fko/mcc2019-input.r104-oct2-155272226100552.qcow2', fmt=qcow2 size=4294967296 backing_file=/data
Waiting for the VM to be ready (probing ssh)
.................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Peterson-PT-5, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272226100552
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 65K Feb 12 04:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 179K Feb 12 04:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 8 03:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 8 03:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 26K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 36K Feb 4 08:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 4 08:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 66K Feb 1 02:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 217K Feb 1 02:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 19K Feb 4 22:22 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 911K 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 Peterson-PT-5-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552804563495

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Peterson-PT-5 @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ Peterson-PT-5

{
"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 06:36:03 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 7215800,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"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": 3828,
"conflict_clusters": 581,
"places": 834,
"places_significant": 811,
"singleton_clusters": 0,
"transitions": 1242
},
"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": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"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: 2076/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 26688
lola: finding significant places
lola: 834 places, 1242 transitions, 811 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 295244 fired transitions, 0 secs || 183235 markings, 267472 edges,
lola: 1 tries, 488912 fired transitions, 5 secs || 320056 markings, 490982 edges,
lola: 1 tries, 652172 fired transitions, 10 secs || 467706 markings, 719574 edges,
lola: 1 tries, 818672 fired transitions, 15 secs || 615101 markings, 952457 edges,
lola: 1 tries, 992997 fired transitions, 20 secs || 752091 markings, 1202558 edges,
lola: 2 tries, 1224759 fired transitions, 25 secs || 895443 markings, 1425684 edges,
lola: 2 tries, 1472923 fired transitions, 30 secs || 1032054 markings, 1660906 edges,
lola: 2 tries, 1715497 fired transitions, 35 secs || 1170430 markings, 1898504 edges,
lola: 2 tries, 1960563 fired transitions, 40 secs || 1308556 markings, 2120785 edges,
lola: 3 tries, 2221219 fired transitions, 45 secs || 1443976 markings, 2374552 edges,
lola: 3 tries, 2463816 fired transitions, 50 secs || 1566649 markings, 2594163 edges,
lola: 3 tries, 2746449 fired transitions, 55 secs || 1696046 markings, 2835167 edges,
lola: 4 tries, 3039348 fired transitions, 60 secs || 1835127 markings, 3092678 edges,
lola: 4 tries, 3354192 fired transitions, 65 secs || 1969254 markings, 3359098 edges,
lola: 4 tries, 3650114 fired transitions, 70 secs || 2103554 markings, 3609932 edges,
lola: 4 tries, 3956731 fired transitions, 75 secs || 2248267 markings, 3883235 edges,
lola: 5 tries, 4184738 fired transitions, 80 secs || 2400424 markings, 4150745 edges,
lola: 5 tries, 4485012 fired transitions, 85 secs || 2546763 markings, 4412515 edges,
lola: 5 tries, 4789274 fired transitions, 90 secs || 2693672 markings, 4676116 edges,
lola: 6 tries, 5081922 fired transitions, 95 secs || 2836923 markings, 4945549 edges,
lola: 6 tries, 5288221 fired transitions, 100 secs || 2973619 markings, 5212836 edges,
lola: 6 tries, 5495886 fired transitions, 105 secs || 3122991 markings, 5502181 edges,
lola: 6 tries, 5700664 fired transitions, 110 secs || 3267125 markings, 5780824 edges,
lola: 6 tries, 5906734 fired transitions, 115 secs || 3425777 markings, 6076988 edges,
lola: 7 tries, 6154786 fired transitions, 120 secs || 3565507 markings, 6349456 edges,
lola: 7 tries, 6400498 fired transitions, 125 secs || 3706882 markings, 6616741 edges,
lola: 7 tries, 6724831 fired transitions, 130 secs || 3841137 markings, 6883929 edges,
lola: 8 tries, 7028096 fired transitions, 135 secs || 3988475 markings, 7156653 edges,
lola: 8 tries, 7221945 fired transitions, 140 secs || 4111705 markings, 7399642 edges,
lola: 8 tries, 7396033 fired transitions, 145 secs || 4242074 markings, 7654792 edges,
lola: 8 tries, 7580432 fired transitions, 150 secs || 4368053 markings, 7908567 edges,
lola: 8 tries, 7759143 fired transitions, 155 secs || 4510579 markings, 8168341 edges,
lola: 8 tries, 7934413 fired transitions, 160 secs || 4652748 markings, 8435409 edges,
lola: 9 tries, 8163311 fired transitions, 165 secs || 4780428 markings, 8689980 edges,
lola: 9 tries, 8422782 fired transitions, 170 secs || 4896362 markings, 8937344 edges,
lola: 9 tries, 8727841 fired transitions, 175 secs || 5028194 markings, 9192698 edges,
lola: 9 tries, 8988921 fired transitions, 180 secs || 5146556 markings, 9436217 edges,
lola: 10 tries, 9229601 fired transitions, 185 secs || 5280457 markings, 9699498 edges,
lola: 10 tries, 9517329 fired transitions, 190 secs || 5415228 markings, 9954449 edges,
lola: 10 tries, 9812357 fired transitions, 195 secs || 5554703 markings, 10216188 edges,
lola: 11 tries, 10091594 fired transitions, 200 secs || 5699509 markings, 10480742 edges,
lola: 11 tries, 10393333 fired transitions, 205 secs || 5840000 markings, 10744348 edges,
lola: 11 tries, 10669598 fired transitions, 210 secs || 5987041 markings, 11014036 edges,
lola: 11 tries, 10884706 fired transitions, 215 secs || 6131589 markings, 11285061 edges,
lola: 12 tries, 11115196 fired transitions, 220 secs || 6259853 markings, 11525756 edges,
lola: 12 tries, 11454102 fired transitions, 225 secs || 6389083 markings, 11779521 edges,
lola: 12 tries, 11792168 fired transitions, 230 secs || 6531981 markings, 12042289 edges,
lola: 13 tries, 12107192 fired transitions, 235 secs || 6679702 markings, 12316658 edges,
lola: 13 tries, 12387319 fired transitions, 240 secs || 6815222 markings, 12580087 edges,
lola: 13 tries, 12652623 fired transitions, 245 secs || 6930623 markings, 12810165 edges,
lola: 13 tries, 12934130 fired transitions, 250 secs || 7064632 markings, 13072469 edges,
lola: 14 tries, 13222740 fired transitions, 255 secs || 7199553 markings, 13337637 edges,
lola: 14 tries, 13518130 fired transitions, 260 secs || 7315722 markings, 13576456 edges,
lola: 14 tries, 13825760 fired transitions, 265 secs || 7449864 markings, 13836309 edges,
lola: 15 tries, 14116882 fired transitions, 270 secs || 7592305 markings, 14097708 edges,
lola: 15 tries, 14396443 fired transitions, 275 secs || 7736441 markings, 14368897 edges,
lola: 15 tries, 14679473 fired transitions, 280 secs || 7878378 markings, 14637950 edges,
lola: 15 tries, 14931746 fired transitions, 285 secs || 7998036 markings, 14884812 edges,
lola: 16 tries, 15205142 fired transitions, 290 secs || 8117633 markings, 15134810 edges,
lola: 16 tries, 15487103 fired transitions, 295 secs || 8246810 markings, 15393992 edges,
lola: 16 tries, 15757306 fired transitions, 300 secs || 8370303 markings, 15621073 edges,
lola: 17 tries, 16028910 fired transitions, 305 secs || 8494106 markings, 15845296 edges,
lola: 17 tries, 16317287 fired transitions, 310 secs || 8618670 markings, 16085218 edges,
lola: 17 tries, 16604249 fired transitions, 315 secs || 8741161 markings, 16322918 edges,
lola: 17 tries, 16901022 fired transitions, 320 secs || 8872317 markings, 16581489 edges,
lola: 18 tries, 17191029 fired transitions, 325 secs || 9007867 markings, 16845553 edges,
lola: 18 tries, 17483530 fired transitions, 330 secs || 9133500 markings, 17097241 edges,
lola: 18 tries, 17785354 fired transitions, 335 secs || 9260682 markings, 17351908 edges,
lola: 19 tries, 18081311 fired transitions, 340 secs || 9388567 markings, 17602993 edges,
lola: 19 tries, 18384081 fired transitions, 345 secs || 9543672 markings, 17875230 edges,
lola: 19 tries, 18696597 fired transitions, 350 secs || 9692529 markings, 18144835 edges,
lola: 20 tries, 19000168 fired transitions, 355 secs || 9832183 markings, 18404763 edges,
lola: 20 tries, 19287504 fired transitions, 360 secs || 9982501 markings, 18682980 edges,
lola: 20 tries, 19586011 fired transitions, 365 secs || 10133590 markings, 18948753 edges,
lola: 20 tries, 19883038 fired transitions, 370 secs || 10289960 markings, 19231540 edges,
lola: 21 tries, 20185158 fired transitions, 375 secs || 10448946 markings, 19519926 edges,
lola: 21 tries, 20474409 fired transitions, 380 secs || 10581178 markings, 19778256 edges,
lola: 21 tries, 20776421 fired transitions, 385 secs || 10727174 markings, 20060688 edges,
lola: 22 tries, 21053620 fired transitions, 390 secs || 10862677 markings, 20322269 edges,
lola: 22 tries, 21300496 fired transitions, 395 secs || 11018843 markings, 20611038 edges,
lola: 22 tries, 21585663 fired transitions, 400 secs || 11149406 markings, 20875413 edges,
lola: 22 tries, 21876952 fired transitions, 405 secs || 11283457 markings, 21142516 edges,
lola: 23 tries, 22162832 fired transitions, 410 secs || 11428125 markings, 21419923 edges,
lola: 23 tries, 22447325 fired transitions, 415 secs || 11567790 markings, 21691660 edges,
lola: 23 tries, 22729955 fired transitions, 420 secs || 11684493 markings, 21936495 edges,
lola: 24 tries, 23009985 fired transitions, 425 secs || 11799976 markings, 22177649 edges,
lola: 24 tries, 23203243 fired transitions, 430 secs || 11921458 markings, 22422163 edges,
lola: 24 tries, 23460831 fired transitions, 435 secs || 12046854 markings, 22672339 edges,
lola: 24 tries, 23715641 fired transitions, 440 secs || 12169943 markings, 22926703 edges,
lola: 24 tries, 23969219 fired transitions, 445 secs || 12291425 markings, 23180248 edges,
lola: 25 tries, 24167771 fired transitions, 450 secs || 12415194 markings, 23402572 edges,
lola: 25 tries, 24472538 fired transitions, 455 secs || 12546896 markings, 23644428 edges,
lola: 25 tries, 24776743 fired transitions, 460 secs || 12671268 markings, 23887712 edges,
lola: 26 tries, 25072911 fired transitions, 465 secs || 12797439 markings, 24138976 edges,
lola: 26 tries, 25384222 fired transitions, 470 secs || 12938758 markings, 24413598 edges,
lola: 26 tries, 25708249 fired transitions, 475 secs || 13060321 markings, 24662505 edges,
lola: 27 tries, 26020357 fired transitions, 480 secs || 13188094 markings, 24915606 edges,
lola: 27 tries, 26311855 fired transitions, 485 secs || 13328100 markings, 25182369 edges,
lola: 27 tries, 26614512 fired transitions, 490 secs || 13482247 markings, 25459449 edges,
lola: 27 tries, 26916971 fired transitions, 495 secs || 13633444 markings, 25739667 edges,
lola: 28 tries, 27226514 fired transitions, 500 secs || 13793640 markings, 26027989 edges,
lola: 28 tries, 27529926 fired transitions, 505 secs || 13949981 markings, 26308563 edges,
lola: 28 tries, 27836207 fired transitions, 510 secs || 14071634 markings, 26547774 edges,
lola: 29 tries, 28140818 fired transitions, 515 secs || 14190085 markings, 26782986 edges,
lola: 29 tries, 28450666 fired transitions, 520 secs || 14336386 markings, 27062205 edges,
lola: 29 tries, 28751886 fired transitions, 525 secs || 14489784 markings, 27334189 edges,
lola: 30 tries, 29037401 fired transitions, 530 secs || 14658367 markings, 27642727 edges,
lola: 30 tries, 29302233 fired transitions, 535 secs || 14780259 markings, 27889045 edges,
lola: 30 tries, 29564104 fired transitions, 540 secs || 14905983 markings, 28140046 edges,
lola: 30 tries, 29845280 fired transitions, 545 secs || 15053283 markings, 28426583 edges,
lola: 31 tries, 30122062 fired transitions, 550 secs || 15184978 markings, 28698370 edges,
lola: 31 tries, 30402725 fired transitions, 555 secs || 15339747 markings, 28987571 edges,
lola: 31 tries, 30686801 fired transitions, 560 secs || 15469330 markings, 29246899 edges,
lola: 31 tries, 30983705 fired transitions, 565 secs || 15595763 markings, 29512647 edges,
lola: 32 tries, 31261360 fired transitions, 570 secs || 15728846 markings, 29778177 edges,
lola: 32 tries, 31514879 fired transitions, 575 secs || 15851846 markings, 30035544 edges,
lola: 32 tries, 31788581 fired transitions, 580 secs || 15973612 markings, 30298318 edges,
lola: 33 tries, 32055281 fired transitions, 585 secs || 16091111 markings, 30538220 edges,
lola: 33 tries, 32322760 fired transitions, 590 secs || 16208770 markings, 30780314 edges,
lola: 33 tries, 32600721 fired transitions, 595 secs || 16332674 markings, 31035847 edges,
lola: 33 tries, 32871890 fired transitions, 600 secs || 16451003 markings, 31291216 edges,
lola: 34 tries, 33156905 fired transitions, 605 secs || 16578632 markings, 31543429 edges,
lola: 34 tries, 33451178 fired transitions, 610 secs || 16690641 markings, 31777919 edges,
lola: 34 tries, 33708187 fired transitions, 615 secs || 16801105 markings, 32017272 edges,
lola: 34 tries, 33888699 fired transitions, 620 secs || 16927515 markings, 32275371 edges,
lola: 35 tries, 34090704 fired transitions, 625 secs || 17049405 markings, 32523140 edges,
lola: 35 tries, 34378934 fired transitions, 630 secs || 17168821 markings, 32764104 edges,
lola: 35 tries, 34675824 fired transitions, 635 secs || 17291250 markings, 33018307 edges,
lola: 35 tries, 34977564 fired transitions, 640 secs || 17400981 markings, 33255781 edges,
lola: 36 tries, 35290209 fired transitions, 645 secs || 17520125 markings, 33507362 edges,
lola: 36 tries, 35619089 fired transitions, 650 secs || 17638335 markings, 33758681 edges,
lola: 36 tries, 35932195 fired transitions, 655 secs || 17758304 markings, 34020833 edges,
lola: 37 tries, 36271743 fired transitions, 660 secs || 17880248 markings, 34273898 edges,
lola: 37 tries, 36594568 fired transitions, 665 secs || 18005596 markings, 34526828 edges,
lola: 37 tries, 36930901 fired transitions, 670 secs || 18139857 markings, 34791288 edges,
lola: 38 tries, 37264718 fired transitions, 675 secs || 18278279 markings, 35068135 edges,
lola: 38 tries, 37640037 fired transitions, 680 secs || 18409903 markings, 35335294 edges,
lola: 39 tries, 38010816 fired transitions, 685 secs || 18578996 markings, 35629867 edges,
lola: 39 tries, 38277340 fired transitions, 690 secs || 18740164 markings, 35912998 edges,
lola: 39 tries, 38622665 fired transitions, 695 secs || 18905041 markings, 36196871 edges,
lola: 39 tries, 38935867 fired transitions, 700 secs || 19063001 markings, 36476566 edges,
lola: 40 tries, 39289623 fired transitions, 705 secs || 19199601 markings, 36737289 edges,
lola: 40 tries, 39665312 fired transitions, 710 secs || 19348107 markings, 37020592 edges,
lola: 41 tries, 40033747 fired transitions, 715 secs || 19484759 markings, 37285267 edges,
lola: 41 tries, 40306825 fired transitions, 720 secs || 19606134 markings, 37542013 edges,
lola: 41 tries, 40512466 fired transitions, 725 secs || 19740266 markings, 37798661 edges,
lola: 41 tries, 40701325 fired transitions, 730 secs || 19902269 markings, 38085451 edges,
lola: 41 tries, 40888279 fired transitions, 735 secs || 20060224 markings, 38373320 edges,
lola: 42 tries, 41151762 fired transitions, 740 secs || 20206701 markings, 38648324 edges,
lola: 42 tries, 41470741 fired transitions, 745 secs || 20339452 markings, 38910040 edges,
lola: 42 tries, 41748584 fired transitions, 750 secs || 20472941 markings, 39182636 edges,
lola: 43 tries, 42028760 fired transitions, 755 secs || 20616817 markings, 39457259 edges,
lola: 43 tries, 42282385 fired transitions, 760 secs || 20739784 markings, 39716387 edges,
lola: 43 tries, 42560196 fired transitions, 765 secs || 20895584 markings, 40001416 edges,
lola: 43 tries, 42815457 fired transitions, 770 secs || 21031197 markings, 40269868 edges,
lola: 44 tries, 43043957 fired transitions, 775 secs || 21168601 markings, 40544400 edges,
lola: 44 tries, 43380218 fired transitions, 780 secs || 21293211 markings, 40812146 edges,
lola: 44 tries, 43619041 fired transitions, 785 secs || 21417915 markings, 41072778 edges,
lola: 44 tries, 43890428 fired transitions, 790 secs || 21556612 markings, 41344062 edges,
lola: 45 tries, 44120613 fired transitions, 795 secs || 21682703 markings, 41623254 edges,
lola: 45 tries, 44419243 fired transitions, 800 secs || 21799175 markings, 41875766 edges,
lola: 45 tries, 44793458 fired transitions, 805 secs || 21915628 markings, 42119831 edges,
lola: 46 tries, 45117972 fired transitions, 810 secs || 22036278 markings, 42369251 edges,
lola: 46 tries, 45433338 fired transitions, 815 secs || 22147607 markings, 42611625 edges,
lola: 46 tries, 45795532 fired transitions, 820 secs || 22285464 markings, 42887328 edges,
lola: 47 tries, 46152188 fired transitions, 825 secs || 22415372 markings, 43149227 edges,
lola: 47 tries, 46491670 fired transitions, 830 secs || 22558107 markings, 43416535 edges,
lola: 47 tries, 46803378 fired transitions, 835 secs || 22702965 markings, 43684340 edges,
lola: 48 tries, 47122401 fired transitions, 840 secs || 22841017 markings, 43953663 edges,
lola: 48 tries, 47389309 fired transitions, 845 secs || 22983523 markings, 44220903 edges,
lola: 48 tries, 47728861 fired transitions, 850 secs || 23129162 markings, 44490000 edges,
lola: 49 tries, 48074794 fired transitions, 855 secs || 23274405 markings, 44760334 edges,
lola: 49 tries, 48413906 fired transitions, 860 secs || 23426985 markings, 45037601 edges,
lola: 49 tries, 48743927 fired transitions, 865 secs || 23568731 markings, 45315640 edges,
lola: 49 tries, 48949408 fired transitions, 870 secs || 23703180 markings, 45590059 edges,
lola: 50 tries, 49271597 fired transitions, 875 secs || 23847620 markings, 45868800 edges,
lola: 50 tries, 49629594 fired transitions, 880 secs || 23974997 markings, 46121619 edges,
lola: 50 tries, 49976535 fired transitions, 885 secs || 24102889 markings, 46383619 edges,
lola: 51 tries, 50240577 fired transitions, 890 secs || 24239553 markings, 46656056 edges,
lola: 51 tries, 50599777 fired transitions, 895 secs || 24376618 markings, 46924834 edges,
lola: 51 tries, 50967568 fired transitions, 900 secs || 24501276 markings, 47184121 edges,
lola: 52 tries, 51310913 fired transitions, 905 secs || 24635888 markings, 47458636 edges,
lola: 52 tries, 51630874 fired transitions, 910 secs || 24772513 markings, 47730704 edges,
lola: 52 tries, 51840734 fired transitions, 915 secs || 24891262 markings, 47978514 edges,
lola: 53 tries, 52078060 fired transitions, 920 secs || 25014850 markings, 48239449 edges,
lola: 53 tries, 52430510 fired transitions, 925 secs || 25147290 markings, 48508046 edges,
lola: 53 tries, 52806832 fired transitions, 930 secs || 25281297 markings, 48765140 edges,
lola: 54 tries, 53119215 fired transitions, 935 secs || 25426330 markings, 49028962 edges,
lola: 54 tries, 53383746 fired transitions, 940 secs || 25573821 markings, 49294209 edges,
lola: 54 tries, 53739412 fired transitions, 945 secs || 25719120 markings, 49568359 edges,
lola: 55 tries, 54070418 fired transitions, 950 secs || 25843708 markings, 49818679 edges,
lola: 55 tries, 54357469 fired transitions, 955 secs || 25971750 markings, 50076477 edges,
lola: 55 tries, 54722274 fired transitions, 960 secs || 26123856 markings, 50345140 edges,
lola: 56 tries, 55082224 fired transitions, 965 secs || 26264991 markings, 50617975 edges,
lola: 56 tries, 55445410 fired transitions, 970 secs || 26402754 markings, 50886411 edges,
lola: 56 tries, 55814690 fired transitions, 975 secs || 26527169 markings, 51143466 edges,
lola: 57 tries, 56125105 fired transitions, 980 secs || 26656133 markings, 51401474 edges,
lola: 57 tries, 56434216 fired transitions, 985 secs || 26792651 markings, 51674288 edges,
lola: 57 tries, 56762233 fired transitions, 990 secs || 26914648 markings, 51923172 edges,
lola: 57 tries, 56998907 fired transitions, 995 secs || 27030675 markings, 52168798 edges,
lola: 58 tries, 57309494 fired transitions, 1000 secs || 27148427 markings, 52415738 edges,
lola: 58 tries, 57637152 fired transitions, 1005 secs || 27259359 markings, 52657901 edges,
lola: 58 tries, 57979762 fired transitions, 1010 secs || 27389725 markings, 52928101 edges,
lola: 59 tries, 58336017 fired transitions, 1015 secs || 27510981 markings, 53184639 edges,
lola: 59 tries, 58703043 fired transitions, 1020 secs || 27622869 markings, 53421040 edges,
lola: 60 tries, 59058653 fired transitions, 1025 secs || 27752749 markings, 53681578 edges,
lola: 60 tries, 59319162 fired transitions, 1030 secs || 27868467 markings, 53931908 edges,
lola: 60 tries, 59579583 fired transitions, 1035 secs || 27988053 markings, 54173250 edges,
lola: 60 tries, 59844949 fired transitions, 1040 secs || 28109688 markings, 54406871 edges,
lola: 61 tries, 60108945 fired transitions, 1045 secs || 28236260 markings, 54671786 edges,
lola: 61 tries, 60459005 fired transitions, 1050 secs || 28363045 markings, 54936119 edges,
lola: 61 tries, 60735982 fired transitions, 1055 secs || 28489596 markings, 55199503 edges,
lola: 61 tries, 60932843 fired transitions, 1060 secs || 28628203 markings, 55469789 edges,
lola: 62 tries, 61238075 fired transitions, 1065 secs || 28760995 markings, 55738500 edges,
lola: 62 tries, 61599241 fired transitions, 1070 secs || 28885412 markings, 56005113 edges,
lola: 62 tries, 61958544 fired transitions, 1075 secs || 29002401 markings, 56253570 edges,
lola: 63 tries, 62291937 fired transitions, 1080 secs || 29126435 markings, 56522702 edges,
lola: 63 tries, 62580704 fired transitions, 1085 secs || 29255034 markings, 56788641 edges,
lola: 63 tries, 62952850 fired transitions, 1090 secs || 29377908 markings, 57054926 edges,
lola: 64 tries, 63272372 fired transitions, 1095 secs || 29501792 markings, 57315197 edges,
lola: 64 tries, 63563056 fired transitions, 1100 secs || 29629059 markings, 57579777 edges,
lola: 64 tries, 63909161 fired transitions, 1105 secs || 29759416 markings, 57852545 edges,
lola: 65 tries, 64225509 fired transitions, 1110 secs || 29897070 markings, 58125592 edges,
lola: 65 tries, 64433182 fired transitions, 1115 secs || 30023753 markings, 58386848 edges,
lola: 65 tries, 64644058 fired transitions, 1120 secs || 30178429 markings, 58660306 edges,
lola: 65 tries, 64856669 fired transitions, 1125 secs || 30330633 markings, 58939522 edges,
lola: 66 tries, 65092080 fired transitions, 1130 secs || 30485123 markings, 59219879 edges,
lola: 66 tries, 65395077 fired transitions, 1135 secs || 30641254 markings, 59495624 edges,
lola: 66 tries, 65691349 fired transitions, 1140 secs || 30766999 markings, 59742755 edges,
lola: 67 tries, 66051689 fired transitions, 1145 secs || 30903388 markings, 60010428 edges,
lola: 67 tries, 66344042 fired transitions, 1150 secs || 31042557 markings, 60280439 edges,
lola: 67 tries, 66686116 fired transitions, 1155 secs || 31177530 markings, 60555862 edges,
lola: 68 tries, 67064372 fired transitions, 1160 secs || 31313378 markings, 60824055 edges,
lola: 68 tries, 67416166 fired transitions, 1165 secs || 31439387 markings, 61083712 edges,
lola: 68 tries, 67648512 fired transitions, 1170 secs || 31564077 markings, 61339194 edges,
lola: 68 tries, 67836125 fired transitions, 1175 secs || 31691370 markings, 61601189 edges,
lola: 69 tries, 68017725 fired transitions, 1180 secs || 31821705 markings, 61855665 edges,
lola: 69 tries, 68315464 fired transitions, 1185 secs || 31934570 markings, 62070167 edges,
lola: 69 tries, 68625485 fired transitions, 1190 secs || 32049294 markings, 62297626 edges,
lola: 69 tries, 68967185 fired transitions, 1195 secs || 32190906 markings, 62583060 edges,
lola: 70 tries, 69277925 fired transitions, 1200 secs || 32308955 markings, 62826152 edges,
lola: 70 tries, 69606214 fired transitions, 1205 secs || 32430494 markings, 63077451 edges,
lola: 70 tries, 69930719 fired transitions, 1210 secs || 32547428 markings, 63324160 edges,
lola: 71 tries, 70247240 fired transitions, 1215 secs || 32667779 markings, 63575793 edges,
lola: 71 tries, 70546699 fired transitions, 1220 secs || 32779009 markings, 63814499 edges,
lola: 71 tries, 70839871 fired transitions, 1225 secs || 32887279 markings, 64033752 edges,
lola: 72 tries, 71099525 fired transitions, 1230 secs || 32998963 markings, 64264263 edges,
lola: 72 tries, 71375486 fired transitions, 1235 secs || 33114080 markings, 64497008 edges,
lola: 72 tries, 71686436 fired transitions, 1240 secs || 33232401 markings, 64732097 edges,
lola: 72 tries, 71995406 fired transitions, 1245 secs || 33347985 markings, 64976878 edges,
lola: 73 tries, 72337437 fired transitions, 1250 secs || 33460400 markings, 65220170 edges,
lola: 73 tries, 72687081 fired transitions, 1255 secs || 33587561 markings, 65485449 edges,
lola: 73 tries, 72987565 fired transitions, 1260 secs || 33702837 markings, 65734885 edges,
lola: 74 tries, 73270655 fired transitions, 1265 secs || 33809868 markings, 65977381 edges,
lola: 74 tries, 73574470 fired transitions, 1270 secs || 33927329 markings, 66213488 edges,
lola: 74 tries, 73901554 fired transitions, 1275 secs || 34041504 markings, 66454273 edges,
lola: 75 tries, 74196037 fired transitions, 1280 secs || 34146831 markings, 66682804 edges,
lola: 75 tries, 74484782 fired transitions, 1285 secs || 34260632 markings, 66920018 edges,
lola: 75 tries, 74812663 fired transitions, 1290 secs || 34380141 markings, 67169409 edges,
lola: 76 tries, 75121897 fired transitions, 1295 secs || 34488333 markings, 67401262 edges,
lola: 76 tries, 75405171 fired transitions, 1300 secs || 34608309 markings, 67652591 edges,
lola: 76 tries, 75680534 fired transitions, 1305 secs || 34729968 markings, 67916315 edges,
lola: 76 tries, 75951947 fired transitions, 1310 secs || 34842845 markings, 68160178 edges,
lola: 77 tries, 76215556 fired transitions, 1315 secs || 34962115 markings, 68402899 edges,
lola: 77 tries, 76554071 fired transitions, 1320 secs || 35081050 markings, 68645523 edges,
lola: 77 tries, 76873013 fired transitions, 1325 secs || 35212151 markings, 68913182 edges,
lola: 78 tries, 77150166 fired transitions, 1330 secs || 35331680 markings, 69165428 edges,
lola: 78 tries, 77429204 fired transitions, 1335 secs || 35445314 markings, 69411801 edges,
lola: 78 tries, 77737846 fired transitions, 1340 secs || 35567912 markings, 69679508 edges,
lola: 79 tries, 78041729 fired transitions, 1345 secs || 35694756 markings, 69934634 edges,
lola: 79 tries, 78354347 fired transitions, 1350 secs || 35816206 markings, 70186650 edges,
lola: 79 tries, 78663771 fired transitions, 1355 secs || 35945809 markings, 70443284 edges,
lola: 79 tries, 78981305 fired transitions, 1360 secs || 36059982 markings, 70679230 edges,
lola: 80 tries, 79281908 fired transitions, 1365 secs || 36171319 markings, 70907669 edges,
lola: 80 tries, 79615646 fired transitions, 1370 secs || 36284014 markings, 71149082 edges,
lola: 80 tries, 79949434 fired transitions, 1375 secs || 36399892 markings, 71395536 edges,
lola: 81 tries, 80267878 fired transitions, 1380 secs || 36516908 markings, 71646516 edges,
lola: 81 tries, 80585732 fired transitions, 1385 secs || 36637202 markings, 71900812 edges,
lola: 81 tries, 80905609 fired transitions, 1390 secs || 36757502 markings, 72156698 edges,
lola: 82 tries, 81251413 fired transitions, 1395 secs || 36891169 markings, 72434344 edges,
lola: 82 tries, 81549951 fired transitions, 1400 secs || 37023508 markings, 72704528 edges,
lola: 82 tries, 81913338 fired transitions, 1405 secs || 37144504 markings, 72968050 edges,
lola: 83 tries, 82284593 fired transitions, 1410 secs || 37260791 markings, 73225988 edges,
lola: 83 tries, 82667791 fired transitions, 1415 secs || 37368226 markings, 73462347 edges,
lola: 84 tries, 83038302 fired transitions, 1420 secs || 37484883 markings, 73713676 edges,
lola: 84 tries, 83352365 fired transitions, 1425 secs || 37609827 markings, 73968582 edges,
lola: 84 tries, 83706752 fired transitions, 1430 secs || 37749374 markings, 74227676 edges,
lola: 85 tries, 84044176 fired transitions, 1435 secs || 37896671 markings, 74491122 edges,
lola: 85 tries, 84382466 fired transitions, 1440 secs || 38044109 markings, 74752849 edges,
lola: 85 tries, 84747665 fired transitions, 1445 secs || 38192756 markings, 75016020 edges,
lola: 86 tries, 85084645 fired transitions, 1450 secs || 38335585 markings, 75287275 edges,
lola: 86 tries, 85319864 fired transitions, 1455 secs || 38467754 markings, 75545127 edges,
lola: 86 tries, 85529027 fired transitions, 1460 secs || 38599309 markings, 75811171 edges,
lola: 86 tries, 85735542 fired transitions, 1465 secs || 38726514 markings, 76061330 edges,
lola: 87 tries, 86044526 fired transitions, 1470 secs || 38855860 markings, 76324248 edges,
lola: 87 tries, 86341198 fired transitions, 1475 secs || 38983239 markings, 76584622 edges,
lola: 87 tries, 86703791 fired transitions, 1480 secs || 39102642 markings, 76837992 edges,
lola: 88 tries, 87066248 fired transitions, 1485 secs || 39231084 markings, 77095850 edges,
lola: 88 tries, 87446110 fired transitions, 1490 secs || 39357357 markings, 77346593 edges,
lola: 88 tries, 87722819 fired transitions, 1495 secs || 39473177 markings, 77598421 edges,
lola: 88 tries, 87940801 fired transitions, 1500 secs || 39585755 markings, 77836572 edges,
lola: 89 tries, 88210460 fired transitions, 1505 secs || 39694615 markings, 78074033 edges,
lola: 89 tries, 88489285 fired transitions, 1510 secs || 39826886 markings, 78346250 edges,
lola: 89 tries, 88854264 fired transitions, 1515 secs || 39952450 markings, 78604961 edges,
lola: 90 tries, 89182469 fired transitions, 1520 secs || 40076964 markings, 78859788 edges,
lola: 90 tries, 89451553 fired transitions, 1525 secs || 40194824 markings, 79098174 edges,
lola: 90 tries, 89714396 fired transitions, 1530 secs || 40316640 markings, 79345696 edges,
lola: 91 tries, 90058840 fired transitions, 1535 secs || 40444730 markings, 79624757 edges,
lola: 91 tries, 90394467 fired transitions, 1540 secs || 40572270 markings, 79892796 edges,
lola: 91 tries, 90754574 fired transitions, 1545 secs || 40700097 markings, 80163679 edges,
lola: 92 tries, 91088237 fired transitions, 1550 secs || 40816169 markings, 80401493 edges,
lola: 92 tries, 91415917 fired transitions, 1555 secs || 40925251 markings, 80627824 edges,
lola: 92 tries, 91714051 fired transitions, 1560 secs || 41035771 markings, 80864344 edges,
lola: 93 tries, 92002384 fired transitions, 1565 secs || 41140718 markings, 81102613 edges,
lola: 93 tries, 92285595 fired transitions, 1570 secs || 41259912 markings, 81355782 edges,
lola: 93 tries, 92592463 fired transitions, 1575 secs || 41388821 markings, 81612712 edges,
lola: 93 tries, 92883384 fired transitions, 1580 secs || 41509892 markings, 81866227 edges,
lola: 94 tries, 93186609 fired transitions, 1585 secs || 41620140 markings, 82116265 edges,
lola: 94 tries, 93548657 fired transitions, 1590 secs || 41743881 markings, 82374198 edges,
lola: 94 tries, 93910571 fired transitions, 1595 secs || 41856285 markings, 82623039 edges,
lola: 95 tries, 94192513 fired transitions, 1600 secs || 41977060 markings, 82874419 edges,
lola: 95 tries, 94480356 fired transitions, 1605 secs || 42090481 markings, 83123253 edges,
lola: 95 tries, 94725873 fired transitions, 1610 secs || 42193508 markings, 83353254 edges,
lola: 96 tries, 95051954 fired transitions, 1615 secs || 42299534 markings, 83589073 edges,
lola: 96 tries, 95311333 fired transitions, 1620 secs || 42407197 markings, 83826473 edges,
lola: 96 tries, 95623314 fired transitions, 1625 secs || 42538146 markings, 84093345 edges,
lola: 96 tries, 95985377 fired transitions, 1630 secs || 42655475 markings, 84349774 edges,
lola: 97 tries, 96258959 fired transitions, 1635 secs || 42782778 markings, 84615067 edges,
lola: 97 tries, 96571422 fired transitions, 1640 secs || 42898783 markings, 84874979 edges,
lola: 97 tries, 96936525 fired transitions, 1645 secs || 43012380 markings, 85125779 edges,
lola: 98 tries, 97287231 fired transitions, 1650 secs || 43136577 markings, 85385782 edges,
lola: 98 tries, 97606870 fired transitions, 1655 secs || 43258372 markings, 85644406 edges,
lola: 98 tries, 97895433 fired transitions, 1660 secs || 43384474 markings, 85906516 edges,
lola: 99 tries, 98216232 fired transitions, 1665 secs || 43493450 markings, 86156537 edges,
lola: 99 tries, 98557923 fired transitions, 1670 secs || 43618724 markings, 86415535 edges,
lola: 99 tries, 98862260 fired transitions, 1675 secs || 43744205 markings, 86678996 edges,
lola: 100 tries, 99130643 fired transitions, 1680 secs || 43854301 markings, 86925630 edges,
lola: 100 tries, 99399651 fired transitions, 1685 secs || 43963837 markings, 87172491 edges,
lola: 100 tries, 99668437 fired transitions, 1690 secs || 44086143 markings, 87430601 edges,
lola: 100 tries, 99905406 fired transitions, 1695 secs || 44206485 markings, 87693588 edges,
lola: 101 tries, 100171490 fired transitions, 1700 secs || 44318496 markings, 87942571 edges,
lola: 101 tries, 100435091 fired transitions, 1705 secs || 44437993 markings, 88198424 edges,
lola: 101 tries, 100697005 fired transitions, 1710 secs || 44567389 markings, 88463005 edges,
lola: 101 tries, 100957686 fired transitions, 1715 secs || 44686256 markings, 88712580 edges,
lola: 102 tries, 101214184 fired transitions, 1720 secs || 44799493 markings, 88956145 edges,
lola: 102 tries, 101513099 fired transitions, 1725 secs || 44922243 markings, 89209175 edges,
lola: 102 tries, 101862983 fired transitions, 1730 secs || 45052414 markings, 89465847 edges,
lola: 103 tries, 102153025 fired transitions, 1735 secs || 45172603 markings, 89707759 edges,
lola: 103 tries, 102486141 fired transitions, 1740 secs || 45297038 markings, 89958448 edges,
lola: 103 tries, 102840035 fired transitions, 1745 secs || 45424443 markings, 90214073 edges,
lola: 104 tries, 103173383 fired transitions, 1750 secs || 45552889 markings, 90468607 edges,
lola: 104 tries, 103445982 fired transitions, 1755 secs || 45673415 markings, 90714968 edges,
lola: 104 tries, 103766000 fired transitions, 1760 secs || 45795065 markings, 90962029 edges,
lola: 104 tries, 103961076 fired transitions, 1765 secs || 45925175 markings, 91217013 edges,
lola: 105 tries, 104237330 fired transitions, 1770 secs || 46039236 markings, 91456149 edges,
lola: 105 tries, 104593284 fired transitions, 1775 secs || 46164852 markings, 91707371 edges,
lola: 105 tries, 104946779 fired transitions, 1780 secs || 46280481 markings, 91952756 edges,
lola: 106 tries, 105293328 fired transitions, 1785 secs || 46388114 markings, 92188139 edges,
lola: 106 tries, 105642590 fired transitions, 1790 secs || 46495497 markings, 92429040 edges,
lola: 106 tries, 105990538 fired transitions, 1795 secs || 46625428 markings, 92684321 edges,
lola: 107 tries, 106323475 fired transitions, 1800 secs || 46753387 markings, 92939488 edges,
lola: 107 tries, 106639492 fired transitions, 1805 secs || 46881260 markings, 93193910 edges,
lola: 107 tries, 106972122 fired transitions, 1810 secs || 47022892 markings, 93458219 edges,
lola: 108 tries, 107293509 fired transitions, 1815 secs || 47142322 markings, 93707395 edges,
lola: 108 tries, 107654033 fired transitions, 1820 secs || 47280988 markings, 93970724 edges,
lola: 108 tries, 107960325 fired transitions, 1825 secs || 47407248 markings, 94226218 edges,
lola: 109 tries, 108273772 fired transitions, 1830 secs || 47528084 markings, 94479963 edges,
lola: 109 tries, 108602057 fired transitions, 1835 secs || 47671848 markings, 94745808 edges,
lola: 109 tries, 108965302 fired transitions, 1840 secs || 47808784 markings, 95003983 edges,
lola: 110 tries, 109242977 fired transitions, 1845 secs || 47951441 markings, 95270555 edges,
lola: 110 tries, 109584505 fired transitions, 1850 secs || 48093538 markings, 95536873 edges,
lola: 110 tries, 109939851 fired transitions, 1855 secs || 48216081 markings, 95788151 edges,
lola: 111 tries, 110294261 fired transitions, 1860 secs || 48338592 markings, 96035686 edges,
lola: 111 tries, 110645133 fired transitions, 1865 secs || 48479234 markings, 96295860 edges,
lola: 112 tries, 111004045 fired transitions, 1870 secs || 48607633 markings, 96548923 edges,
lola: 112 tries, 111329231 fired transitions, 1875 secs || 48717718 markings, 96785460 edges,
lola: 112 tries, 111599384 fired transitions, 1880 secs || 48839393 markings, 97026635 edges,
lola: 112 tries, 111837692 fired transitions, 1885 secs || 48970391 markings, 97274886 edges,
lola: 113 tries, 112080196 fired transitions, 1890 secs || 49100711 markings, 97518378 edges,
lola: 113 tries, 112345287 fired transitions, 1895 secs || 49230093 markings, 97770993 edges,
lola: 113 tries, 112698258 fired transitions, 1900 secs || 49363030 markings, 98021514 edges,
lola: 114 tries, 113045490 fired transitions, 1905 secs || 49492900 markings, 98269277 edges,
lola: 114 tries, 113342237 fired transitions, 1910 secs || 49626628 markings, 98520021 edges,
lola: 114 tries, 113672883 fired transitions, 1915 secs || 49757342 markings, 98767958 edges,
lola: 114 tries, 113972538 fired transitions, 1920 secs || 49889703 markings, 99017263 edges,
lola: 115 tries, 114181102 fired transitions, 1925 secs || 50013382 markings, 99261918 edges,
lola: 115 tries, 114358229 fired transitions, 1930 secs || 50136321 markings, 99505704 edges,
lola: 115 tries, 114548473 fired transitions, 1935 secs || 50263141 markings, 99748146 edges,
lola: 115 tries, 114754188 fired transitions, 1940 secs || 50399910 markings, 100004044 edges,
lola: 116 tries, 115052483 fired transitions, 1945 secs || 50523128 markings, 100250355 edges,
lola: 116 tries, 115383899 fired transitions, 1950 secs || 50656519 markings, 100505213 edges,
lola: 116 tries, 115726027 fired transitions, 1955 secs || 50773878 markings, 100751059 edges,
lola: 117 tries, 116068003 fired transitions, 1960 secs || 50883773 markings, 100988691 edges,
lola: 117 tries, 116285882 fired transitions, 1965 secs || 50995771 markings, 101234647 edges,
lola: 117 tries, 116483288 fired transitions, 1970 secs || 51108513 markings, 101471245 edges,
lola: 117 tries, 116682764 fired transitions, 1975 secs || 51237033 markings, 101721651 edges,
lola: 117 tries, 116881990 fired transitions, 1980 secs || 51387467 markings, 101986728 edges,
lola: 118 tries, 117106402 fired transitions, 1985 secs || 51544686 markings, 102261672 edges,
lola: 118 tries, 117436782 fired transitions, 1990 secs || 51702479 markings, 102534414 edges,
lola: 118 tries, 117789584 fired transitions, 1995 secs || 51843319 markings, 102795369 edges,
lola: 119 tries, 118106961 fired transitions, 2000 secs || 51970852 markings, 103047532 edges,
lola: 119 tries, 118448685 fired transitions, 2005 secs || 52092913 markings, 103298067 edges,
lola: 119 tries, 118746592 fired transitions, 2010 secs || 52213038 markings, 103542407 edges,
lola: 120 tries, 119080060 fired transitions, 2015 secs || 52346759 markings, 103796489 edges,
lola: 120 tries, 119362119 fired transitions, 2020 secs || 52506490 markings, 104075621 edges,
lola: 120 tries, 119592166 fired transitions, 2025 secs || 52637321 markings, 104337152 edges,
lola: 120 tries, 119778326 fired transitions, 2030 secs || 52762572 markings, 104593333 edges,
lola: 120 tries, 119964666 fired transitions, 2035 secs || 52898760 markings, 104844041 edges,
lola: 121 tries, 120265740 fired transitions, 2040 secs || 53041011 markings, 105102629 edges,
lola: 121 tries, 120591079 fired transitions, 2045 secs || 53181645 markings, 105356447 edges,
lola: 121 tries, 120933746 fired transitions, 2050 secs || 53321071 markings, 105615080 edges,
lola: 122 tries, 121229307 fired transitions, 2055 secs || 53468258 markings, 105875491 edges,
lola: 122 tries, 121512909 fired transitions, 2060 secs || 53606360 markings, 106131968 edges,
lola: 122 tries, 121847121 fired transitions, 2065 secs || 53724016 markings, 106377582 edges,
lola: 123 tries, 122140298 fired transitions, 2070 secs || 53847208 markings, 106624896 edges,
lola: 123 tries, 122389763 fired transitions, 2075 secs || 53987263 markings, 106880008 edges,
lola: 123 tries, 122722208 fired transitions, 2080 secs || 54127931 markings, 107136172 edges,
lola: 124 tries, 123056636 fired transitions, 2085 secs || 54251160 markings, 107384908 edges,
lola: 124 tries, 123409561 fired transitions, 2090 secs || 54368207 markings, 107628138 edges,
lola: 124 tries, 123769915 fired transitions, 2095 secs || 54496991 markings, 107874991 edges,
lola: 125 tries, 124116599 fired transitions, 2100 secs || 54624693 markings, 108118127 edges,
lola: 125 tries, 124423577 fired transitions, 2105 secs || 54761983 markings, 108369055 edges,
lola: 125 tries, 124681886 fired transitions, 2110 secs || 54897281 markings, 108623363 edges,
lola: 125 tries, 124958484 fired transitions, 2115 secs || 55016521 markings, 108865567 edges,
lola: 126 tries, 125286338 fired transitions, 2120 secs || 55130835 markings, 109100677 edges,
lola: 126 tries, 125549317 fired transitions, 2125 secs || 55246855 markings, 109343197 edges,
lola: 126 tries, 125764582 fired transitions, 2130 secs || 55368140 markings, 109594646 edges,
lola: 126 tries, 125981506 fired transitions, 2135 secs || 55490523 markings, 109825968 edges,
lola: 127 tries, 126195843 fired transitions, 2140 secs || 55611378 markings, 110069929 edges,
lola: 127 tries, 126383782 fired transitions, 2145 secs || 55749993 markings, 110354900 edges,
lola: 127 tries, 126683048 fired transitions, 2150 secs || 55888583 markings, 110634453 edges,
lola: 127 tries, 126974708 fired transitions, 2155 secs || 56030947 markings, 110912724 edges,
lola: 128 tries, 127273801 fired transitions, 2160 secs || 56186691 markings, 111199898 edges,
lola: 128 tries, 127574118 fired transitions, 2165 secs || 56337125 markings, 111487240 edges,
lola: 128 tries, 127885403 fired transitions, 2170 secs || 56492102 markings, 111773173 edges,
lola: 129 tries, 128125798 fired transitions, 2175 secs || 56626882 markings, 112049775 edges,
lola: 129 tries, 128326446 fired transitions, 2180 secs || 56756850 markings, 112327959 edges,
lola: 129 tries, 128529633 fired transitions, 2185 secs || 56904996 markings, 112624351 edges,
lola: 129 tries, 128738129 fired transitions, 2190 secs || 57025560 markings, 112909642 edges,
lola: 129 tries, 128941672 fired transitions, 2195 secs || 57153982 markings, 113191447 edges,
lola: 130 tries, 129198657 fired transitions, 2200 secs || 57285758 markings, 113460424 edges,
lola: 130 tries, 129495134 fired transitions, 2205 secs || 57420687 markings, 113739923 edges,
lola: 130 tries, 129795228 fired transitions, 2210 secs || 57563600 markings, 114020533 edges,
lola: 131 tries, 130104373 fired transitions, 2215 secs || 57718982 markings, 114318874 edges,
lola: 131 tries, 130432004 fired transitions, 2220 secs || 57868759 markings, 114608093 edges,
lola: 131 tries, 130760857 fired transitions, 2225 secs || 58008647 markings, 114887992 edges,
lola: 132 tries, 131079645 fired transitions, 2230 secs || 58156483 markings, 115174895 edges,
lola: 132 tries, 131385084 fired transitions, 2235 secs || 58305712 markings, 115474050 edges,
lola: 132 tries, 131690591 fired transitions, 2240 secs || 58439940 markings, 115766240 edges,
lola: 133 tries, 132000428 fired transitions, 2245 secs || 58564350 markings, 116034099 edges,
lola: 133 tries, 132192585 fired transitions, 2250 secs || 58708022 markings, 116306846 edges,
lola: 133 tries, 132375672 fired transitions, 2255 secs || 58859116 markings, 116588934 edges,
lola: 133 tries, 132622397 fired transitions, 2260 secs || 59007939 markings, 116879519 edges,
lola: 133 tries, 132906411 fired transitions, 2265 secs || 59151899 markings, 117156698 edges,
lola: 134 tries, 133138678 fired transitions, 2270 secs || 59301102 markings, 117440354 edges,
lola: 134 tries, 133407499 fired transitions, 2275 secs || 59437269 markings, 117702024 edges,
lola: 134 tries, 133681561 fired transitions, 2280 secs || 59580203 markings, 117967230 edges,
lola: 134 tries, 133966228 fired transitions, 2285 secs || 59723796 markings, 118246000 edges,
lola: 135 tries, 134258698 fired transitions, 2290 secs || 59867869 markings, 118524538 edges,
lola: 135 tries, 134535730 fired transitions, 2295 secs || 60019230 markings, 118792777 edges,
lola: 135 tries, 134825473 fired transitions, 2300 secs || 60164753 markings, 119065224 edges,
lola: 136 tries, 135108955 fired transitions, 2305 secs || 60319428 markings, 119355324 edges,
lola: 136 tries, 135420395 fired transitions, 2310 secs || 60465730 markings, 119653319 edges,
lola: 136 tries, 135724306 fired transitions, 2315 secs || 60604861 markings, 119935046 edges,
lola: 137 tries, 136015263 fired transitions, 2320 secs || 60744507 markings, 120211703 edges,
lola: 137 tries, 136319629 fired transitions, 2325 secs || 60897211 markings, 120493122 edges,
lola: 137 tries, 136614347 fired transitions, 2330 secs || 61050280 markings, 120776634 edges,
lola: 137 tries, 136925119 fired transitions, 2335 secs || 61204315 markings, 121074569 edges,
lola: 138 tries, 137178686 fired transitions, 2340 secs || 61360592 markings, 121369390 edges,
lola: 138 tries, 137515771 fired transitions, 2345 secs || 61508614 markings, 121659600 edges,
lola: 138 tries, 137856166 fired transitions, 2350 secs || 61663993 markings, 121948460 edges,
lola: 139 tries, 138182952 fired transitions, 2355 secs || 61812595 markings, 122249545 edges,
lola: 139 tries, 138484487 fired transitions, 2360 secs || 61961223 markings, 122537062 edges,
lola: 139 tries, 138787029 fired transitions, 2365 secs || 62115801 markings, 122835873 edges,
lola: 140 tries, 139089654 fired transitions, 2370 secs || 62253421 markings, 123121368 edges,
lola: 140 tries, 139399328 fired transitions, 2375 secs || 62387105 markings, 123404343 edges,
lola: 140 tries, 139718561 fired transitions, 2380 secs || 62517006 markings, 123687511 edges,
lola: 141 tries, 140056736 fired transitions, 2385 secs || 62647421 markings, 123957840 edges,
lola: 141 tries, 140412814 fired transitions, 2390 secs || 62759096 markings, 124212730 edges,
lola: 141 tries, 140681240 fired transitions, 2395 secs || 62884815 markings, 124464773 edges,
lola: 141 tries, 140954015 fired transitions, 2400 secs || 63013578 markings, 124731651 edges,
lola: 142 tries, 141287611 fired transitions, 2405 secs || 63129891 markings, 124992184 edges,
lola: 142 tries, 141663040 fired transitions, 2410 secs || 63247916 markings, 125256642 edges,
lola: 143 tries, 142034173 fired transitions, 2415 secs || 63351543 markings, 125512703 edges,
lola: 143 tries, 142348487 fired transitions, 2420 secs || 63469724 markings, 125753082 edges,
lola: 143 tries, 142714272 fired transitions, 2425 secs || 63590605 markings, 126002370 edges,
lola: 144 tries, 143075895 fired transitions, 2430 secs || 63704022 markings, 126253597 edges,
lola: 144 tries, 143326839 fired transitions, 2435 secs || 63815037 markings, 126496289 edges,
lola: 144 tries, 143535615 fired transitions, 2440 secs || 63923608 markings, 126741431 edges,
lola: 144 tries, 143744366 fired transitions, 2445 secs || 64039794 markings, 126983085 edges,
lola: 144 tries, 143949268 fired transitions, 2450 secs || 64158680 markings, 127234078 edges,
lola: 145 tries, 144232265 fired transitions, 2455 secs || 64285027 markings, 127481302 edges,
lola: 145 tries, 144537874 fired transitions, 2460 secs || 64418401 markings, 127738959 edges,
lola: 145 tries, 144851286 fired transitions, 2465 secs || 64548278 markings, 128000512 edges,
lola: 146 tries, 145107528 fired transitions, 2470 secs || 64683910 markings, 128268950 edges,
lola: 146 tries, 145399788 fired transitions, 2475 secs || 64821441 markings, 128541280 edges,
lola: 146 tries, 145714383 fired transitions, 2480 secs || 64954132 markings, 128817768 edges,
lola: 147 tries, 146024964 fired transitions, 2485 secs || 65092607 markings, 129101459 edges,
lola: 147 tries, 146321048 fired transitions, 2490 secs || 65231291 markings, 129378929 edges,
lola: 147 tries, 146618291 fired transitions, 2495 secs || 65366756 markings, 129655959 edges,
lola: 147 tries, 146923422 fired transitions, 2500 secs || 65504180 markings, 129940494 edges,
lola: 148 tries, 147223602 fired transitions, 2505 secs || 65642679 markings, 130215243 edges,
lola: 148 tries, 147489783 fired transitions, 2510 secs || 65782499 markings, 130490921 edges,
lola: 148 tries, 147810767 fired transitions, 2515 secs || 65919758 markings, 130759891 edges,
lola: 149 tries, 148096600 fired transitions, 2520 secs || 66048760 markings, 131029615 edges,
lola: 149 tries, 148375049 fired transitions, 2525 secs || 66173244 markings, 131296518 edges,
lola: 149 tries, 148678953 fired transitions, 2530 secs || 66299133 markings, 131571874 edges,
lola: 149 tries, 148984352 fired transitions, 2535 secs || 66423647 markings, 131841903 edges,
lola: 150 tries, 149300173 fired transitions, 2540 secs || 66548270 markings, 132109497 edges,
lola: 150 tries, 149607276 fired transitions, 2545 secs || 66664155 markings, 132375976 edges,
lola: 150 tries, 149918940 fired transitions, 2550 secs || 66784660 markings, 132649328 edges,
lola: 151 tries, 150252865 fired transitions, 2555 secs || 66911120 markings, 132935729 edges,
lola: 151 tries, 150584874 fired transitions, 2560 secs || 67035432 markings, 133205247 edges,
lola: 151 tries, 150915267 fired transitions, 2565 secs || 67159838 markings, 133475247 edges,
lola: 152 tries, 151227652 fired transitions, 2570 secs || 67285250 markings, 133744008 edges,
lola: 152 tries, 151576217 fired transitions, 2575 secs || 67413254 markings, 134018371 edges,
lola: 152 tries, 151921338 fired transitions, 2580 secs || 67542205 markings, 134312878 edges,
lola: 153 tries, 152244597 fired transitions, 2585 secs || 67672405 markings, 134603838 edges,
lola: 153 tries, 152546774 fired transitions, 2590 secs || 67806246 markings, 134899064 edges,
lola: 153 tries, 152849065 fired transitions, 2595 secs || 67943825 markings, 135189791 edges,
lola: 154 tries, 153143874 fired transitions, 2600 secs || 68075961 markings, 135468203 edges,
lola: 154 tries, 153449250 fired transitions, 2605 secs || 68205247 markings, 135741082 edges,
lola: 154 tries, 153751405 fired transitions, 2610 secs || 68332286 markings, 136000496 edges,
lola: 155 tries, 154063571 fired transitions, 2615 secs || 68458864 markings, 136268371 edges,
lola: 155 tries, 154378484 fired transitions, 2620 secs || 68592172 markings, 136526468 edges,
lola: 155 tries, 154703244 fired transitions, 2625 secs || 68728240 markings, 136801114 edges,
lola: 156 tries, 155025700 fired transitions, 2630 secs || 68862997 markings, 137081671 edges,
lola: 156 tries, 155336684 fired transitions, 2635 secs || 68992089 markings, 137352826 edges,
lola: 156 tries, 155667232 fired transitions, 2640 secs || 69106164 markings, 137592642 edges,
lola: 156 tries, 155957549 fired transitions, 2645 secs || 69230345 markings, 137854088 edges,
lola: 157 tries, 156255783 fired transitions, 2650 secs || 69348553 markings, 138102005 edges,
lola: 157 tries, 156555068 fired transitions, 2655 secs || 69478709 markings, 138353920 edges,
lola: 157 tries, 156852118 fired transitions, 2660 secs || 69609163 markings, 138616938 edges,
lola: 158 tries, 157148948 fired transitions, 2665 secs || 69730464 markings, 138848548 edges,
lola: 158 tries, 157465808 fired transitions, 2670 secs || 69854568 markings, 139097706 edges,
lola: 158 tries, 157776381 fired transitions, 2675 secs || 69975416 markings, 139330812 edges,
lola: 159 tries, 158090925 fired transitions, 2680 secs || 70093722 markings, 139567728 edges,
lola: 159 tries, 158395906 fired transitions, 2685 secs || 70216829 markings, 139801703 edges,
lola: 159 tries, 158712643 fired transitions, 2690 secs || 70352850 markings, 140076882 edges,
lola: 160 tries, 159067273 fired transitions, 2695 secs || 70528915 markings, 140441968 edges,
lola: 160 tries, 159393515 fired transitions, 2700 secs || 70677080 markings, 140745167 edges,
lola: 160 tries, 159703982 fired transitions, 2705 secs || 70819792 markings, 141031411 edges,
lola: 161 tries, 160024117 fired transitions, 2710 secs || 70970958 markings, 141344501 edges,
lola: 161 tries, 160331740 fired transitions, 2715 secs || 71123296 markings, 141666953 edges,
lola: 161 tries, 160631835 fired transitions, 2720 secs || 71261418 markings, 141952737 edges,
lola: 161 tries, 160937218 fired transitions, 2725 secs || 71392966 markings, 142230966 edges,
lola: 162 tries, 161274517 fired transitions, 2730 secs || 71522157 markings, 142496087 edges,
lola: 162 tries, 161627923 fired transitions, 2735 secs || 71655382 markings, 142771976 edges,
lola: 162 tries, 161979880 fired transitions, 2740 secs || 71790736 markings, 143057017 edges,
lola: 163 tries, 162268184 fired transitions, 2745 secs || 71902536 markings, 143296091 edges,
lola: 163 tries, 162554585 fired transitions, 2750 secs || 72016307 markings, 143535464 edges,
lola: 163 tries, 162840654 fired transitions, 2755 secs || 72131390 markings, 143777567 edges,
lola: 164 tries, 163161374 fired transitions, 2760 secs || 72240839 markings, 144010861 edges,
lola: 164 tries, 163458842 fired transitions, 2765 secs || 72355505 markings, 144247455 edges,
lola: 164 tries, 163696408 fired transitions, 2770 secs || 72470957 markings, 144493141 edges,
lola: 164 tries, 163969165 fired transitions, 2775 secs || 72596864 markings, 144755377 edges,
lola: 165 tries, 164294068 fired transitions, 2780 secs || 72727121 markings, 145028313 edges,
lola: 165 tries, 164628378 fired transitions, 2785 secs || 72855537 markings, 145303215 edges,
lola: 165 tries, 164961728 fired transitions, 2790 secs || 72991986 markings, 145587120 edges,
lola: 166 tries, 165250584 fired transitions, 2795 secs || 73117755 markings, 145856363 edges,
lola: 166 tries, 165568996 fired transitions, 2800 secs || 73248154 markings, 146137546 edges,
lola: 166 tries, 165888620 fired transitions, 2805 secs || 73378543 markings, 146419601 edges,
lola: 167 tries, 166211294 fired transitions, 2810 secs || 73514484 markings, 146701351 edges,
lola: 167 tries, 166550384 fired transitions, 2815 secs || 73649803 markings, 146992571 edges,
lola: 167 tries, 166894894 fired transitions, 2820 secs || 73777251 markings, 147268693 edges,
lola: 168 tries, 167144134 fired transitions, 2825 secs || 73907338 markings, 147547208 edges,
lola: 168 tries, 167357263 fired transitions, 2830 secs || 74036927 markings, 147828479 edges,
lola: 168 tries, 167569998 fired transitions, 2835 secs || 74178556 markings, 148125320 edges,
lola: 168 tries, 167781239 fired transitions, 2840 secs || 74317016 markings, 148428266 edges,
lola: 168 tries, 167993485 fired transitions, 2845 secs || 74448127 markings, 148707174 edges,
lola: 169 tries, 168317090 fired transitions, 2850 secs || 74570657 markings, 148974739 edges,
lola: 169 tries, 168646810 fired transitions, 2855 secs || 74699074 markings, 149245119 edges,
lola: 169 tries, 168975665 fired transitions, 2860 secs || 74830318 markings, 149518182 edges,
lola: 170 tries, 169300739 fired transitions, 2865 secs || 74951402 markings, 149777064 edges,
lola: 170 tries, 169649833 fired transitions, 2870 secs || 75079149 markings, 150041086 edges,
lola: 171 tries, 170003336 fired transitions, 2875 secs || 75209297 markings, 150306018 edges,
lola: 171 tries, 170332945 fired transitions, 2880 secs || 75339174 markings, 150577749 edges,
lola: 171 tries, 170675916 fired transitions, 2885 secs || 75472467 markings, 150849263 edges,
lola: 172 tries, 171017283 fired transitions, 2890 secs || 75600276 markings, 151121822 edges,
lola: 172 tries, 171223326 fired transitions, 2895 secs || 75741210 markings, 151406162 edges,
lola: 172 tries, 171420605 fired transitions, 2900 secs || 75905752 markings, 151723366 edges,
lola: 172 tries, 171620444 fired transitions, 2905 secs || 76072440 markings, 152042097 edges,
lola: 172 tries, 171827640 fired transitions, 2910 secs || 76214208 markings, 152357790 edges,
lola: 173 tries, 172053011 fired transitions, 2915 secs || 76370939 markings, 152666366 edges,
lola: 173 tries, 172394095 fired transitions, 2920 secs || 76522643 markings, 152976715 edges,
lola: 173 tries, 172731945 fired transitions, 2925 secs || 76660109 markings, 153251999 edges,
lola: 174 tries, 173039013 fired transitions, 2930 secs || 76804610 markings, 153536185 edges,
lola: 174 tries, 173234200 fired transitions, 2935 secs || 76943368 markings, 153825157 edges,
lola: 174 tries, 173431984 fired transitions, 2940 secs || 77103143 markings, 154142343 edges,
lola: 174 tries, 173628959 fired transitions, 2945 secs || 77262879 markings, 154455196 edges,
lola: 174 tries, 173831635 fired transitions, 2950 secs || 77405290 markings, 154771729 edges,
lola: 175 tries, 174037784 fired transitions, 2955 secs || 77551936 markings, 155064240 edges,
lola: 175 tries, 174366644 fired transitions, 2960 secs || 77689467 markings, 155353367 edges,
lola: 175 tries, 174661543 fired transitions, 2965 secs || 77827609 markings, 155621451 edges,
lola: 175 tries, 174871708 fired transitions, 2970 secs || 77978877 markings, 155907822 edges,
lola: 176 tries, 175120167 fired transitions, 2975 secs || 78128333 markings, 156194914 edges,
lola: 176 tries, 175447288 fired transitions, 2980 secs || 78272072 markings, 156481430 edges,
lola: 176 tries, 175782968 fired transitions, 2985 secs || 78403744 markings, 156763604 edges,
lola: 177 tries, 176107402 fired transitions, 2990 secs || 78541320 markings, 157033802 edges,
lola: 177 tries, 176444650 fired transitions, 2995 secs || 78677615 markings, 157308431 edges,
lola: 177 tries, 176790821 fired transitions, 3000 secs || 78823813 markings, 157597469 edges,
lola: 178 tries, 177130043 fired transitions, 3005 secs || 78962675 markings, 157880867 edges,
lola: 178 tries, 177409679 fired transitions, 3010 secs || 79110800 markings, 158157940 edges,
lola: 178 tries, 177683059 fired transitions, 3015 secs || 79276045 markings, 158457376 edges,
lola: 178 tries, 177965962 fired transitions, 3020 secs || 79451261 markings, 158769742 edges,
lola: 179 tries, 178242868 fired transitions, 3025 secs || 79583119 markings, 159030119 edges,
lola: 179 tries, 178518879 fired transitions, 3030 secs || 79721805 markings, 159303916 edges,
lola: 179 tries, 178862505 fired transitions, 3035 secs || 79880032 markings, 159587311 edges,
lola: 180 tries, 179148993 fired transitions, 3040 secs || 80032128 markings, 159860899 edges,
lola: 180 tries, 179385373 fired transitions, 3045 secs || 80157229 markings, 160125119 edges,
lola: 180 tries, 179593301 fired transitions, 3050 secs || 80302812 markings, 160394591 edges,
lola: 180 tries, 179799798 fired transitions, 3055 secs || 80466179 markings, 160684076 edges,
lola: 181 tries, 180010686 fired transitions, 3060 secs || 80590010 markings, 160945319 edges,
lola: 181 tries, 180342305 fired transitions, 3065 secs || 80717243 markings, 161209169 edges,
lola: 181 tries, 180554121 fired transitions, 3070 secs || 80854257 markings, 161462939 edges,
lola: 181 tries, 180734841 fired transitions, 3075 secs || 80990473 markings, 161722812 edges,
lola: 181 tries, 180918582 fired transitions, 3080 secs || 81130969 markings, 161991354 edges,
lola: 182 tries, 181183413 fired transitions, 3085 secs || 81260183 markings, 162241416 edges,
lola: 182 tries, 181548367 fired transitions, 3090 secs || 81396446 markings, 162493808 edges,
lola: 182 tries, 181912604 fired transitions, 3095 secs || 81534945 markings, 162750729 edges,
lola: 183 tries, 182192925 fired transitions, 3100 secs || 81674347 markings, 163012469 edges,
lola: 183 tries, 182539080 fired transitions, 3105 secs || 81808873 markings, 163272615 edges,
lola: 183 tries, 182892678 fired transitions, 3110 secs || 81943183 markings, 163531095 edges,
lola: 184 tries, 183196000 fired transitions, 3115 secs || 82073826 markings, 163782812 edges,
lola: 184 tries, 183392096 fired transitions, 3120 secs || 82207908 markings, 164040781 edges,
lola: 184 tries, 183593905 fired transitions, 3125 secs || 82341551 markings, 164300143 edges,
lola: 184 tries, 183801420 fired transitions, 3130 secs || 82469025 markings, 164551197 edges,
lola: 185 tries, 184015246 fired transitions, 3135 secs || 82597620 markings, 164815559 edges,
lola: 185 tries, 184287536 fired transitions, 3140 secs || 82723935 markings, 165069437 edges,
lola: 185 tries, 184480624 fired transitions, 3145 secs || 82884053 markings, 165340801 edges,
lola: 185 tries, 184681639 fired transitions, 3150 secs || 83036098 markings, 165614812 edges,
lola: 185 tries, 184881636 fired transitions, 3155 secs || 83191225 markings, 165888423 edges,
lola: 186 tries, 185178933 fired transitions, 3160 secs || 83341700 markings, 166160212 edges,
lola: 186 tries, 185555892 fired transitions, 3165 secs || 83486491 markings, 166423411 edges,
lola: 186 tries, 185927268 fired transitions, 3170 secs || 83627765 markings, 166692906 edges,
lola: 187 tries, 186248847 fired transitions, 3175 secs || 83786178 markings, 166973903 edges,
lola: 187 tries, 186451012 fired transitions, 3180 secs || 83927485 markings, 167250120 edges,
lola: 187 tries, 186650440 fired transitions, 3185 secs || 84072821 markings, 167523859 edges,
lola: 187 tries, 186873341 fired transitions, 3190 secs || 84220203 markings, 167784130 edges,
lola: 188 tries, 187075509 fired transitions, 3195 secs || 84384302 markings, 168087365 edges,
lola: 188 tries, 187276672 fired transitions, 3200 secs || 84536791 markings, 168384117 edges,
lola: 188 tries, 187474683 fired transitions, 3205 secs || 84700804 markings, 168674010 edges,
lola: 188 tries, 187677340 fired transitions, 3210 secs || 84867861 markings, 168983153 edges,
lola: 188 tries, 187876553 fired transitions, 3215 secs || 85032754 markings, 169283519 edges,
lola: 189 tries, 188114633 fired transitions, 3220 secs || 85181240 markings, 169565278 edges,
lola: 189 tries, 188402323 fired transitions, 3225 secs || 85332499 markings, 169852341 edges,
lola: 189 tries, 188696677 fired transitions, 3230 secs || 85507274 markings, 170163459 edges,
lola: 189 tries, 188991236 fired transitions, 3235 secs || 85667467 markings, 170467616 edges,
lola: 190 tries, 189264606 fired transitions, 3240 secs || 85816775 markings, 170762268 edges,
lola: 190 tries, 189543350 fired transitions, 3245 secs || 85966525 markings, 171052242 edges,
lola: 190 tries, 189820972 fired transitions, 3250 secs || 86114328 markings, 171345890 edges,
lola: 191 tries, 190114842 fired transitions, 3255 secs || 86273129 markings, 171651830 edges,
lola: 191 tries, 190404947 fired transitions, 3260 secs || 86411979 markings, 171936031 edges,
lola: 191 tries, 190706984 fired transitions, 3265 secs || 86565318 markings, 172229623 edges,
lola: 192 tries, 191008322 fired transitions, 3270 secs || 86712144 markings, 172518921 edges,
lola: 192 tries, 191305648 fired transitions, 3275 secs || 86852281 markings, 172794614 edges,
lola: 192 tries, 191625083 fired transitions, 3280 secs || 86983700 markings, 173060130 edges,
lola: 192 tries, 191931546 fired transitions, 3285 secs || 87133590 markings, 173353346 edges,
lola: 193 tries, 192216399 fired transitions, 3290 secs || 87275237 markings, 173621235 edges,
lola: 193 tries, 192500923 fired transitions, 3295 secs || 87405592 markings, 173876668 edges,
lola: 193 tries, 192785531 fired transitions, 3300 secs || 87538512 markings, 174136578 edges,
lola: 194 tries, 193066066 fired transitions, 3305 secs || 87669886 markings, 174402723 edges,
lola: 194 tries, 193390896 fired transitions, 3310 secs || 87834096 markings, 174685975 edges,
lola: 194 tries, 193765121 fired transitions, 3315 secs || 87995696 markings, 174967433 edges,
lola: 195 tries, 194100817 fired transitions, 3320 secs || 88159900 markings, 175255489 edges,
lola: 195 tries, 194364821 fired transitions, 3325 secs || 88318973 markings, 175537637 edges,
lola: 195 tries, 194706792 fired transitions, 3330 secs || 88476855 markings, 175815554 edges,
lola: 196 tries, 195026418 fired transitions, 3335 secs || 88627670 markings, 176096381 edges,
lola: 196 tries, 195303674 fired transitions, 3340 secs || 88769013 markings, 176357495 edges,
lola: 196 tries, 195650230 fired transitions, 3345 secs || 88914706 markings, 176628735 edges,
lola: 196 tries, 195852431 fired transitions, 3350 secs || 89041892 markings, 176876426 edges,
lola: 197 tries, 196072338 fired transitions, 3355 secs || 89165118 markings, 177126807 edges,
lola: 197 tries, 196385404 fired transitions, 3360 secs || 89281289 markings, 177371242 edges,
lola: 197 tries, 196725875 fired transitions, 3365 secs || 89404130 markings, 177617114 edges,
lola: 198 tries, 197058409 fired transitions, 3370 secs || 89524801 markings, 177859407 edges,
lola: 198 tries, 197324615 fired transitions, 3375 secs || 89652851 markings, 178119877 edges,
lola: 198 tries, 197598874 fired transitions, 3380 secs || 89781336 markings, 178379982 edges,
lola: 198 tries, 197856201 fired transitions, 3385 secs || 89918002 markings, 178631558 edges,
lola: 199 tries, 198124182 fired transitions, 3390 secs || 90056738 markings, 178885649 edges,
lola: 199 tries, 198318927 fired transitions, 3395 secs || 90183968 markings, 179135131 edges,
lola: 199 tries, 198506303 fired transitions, 3400 secs || 90322462 markings, 179390271 edges,
lola: 199 tries, 198738864 fired transitions, 3405 secs || 90460724 markings, 179646258 edges,
lola: 199 tries, 198958819 fired transitions, 3410 secs || 90588009 markings, 179894765 edges,
lola: 200 tries, 199295325 fired transitions, 3415 secs || 90728908 markings, 180150761 edges,
lola: 200 tries, 199648206 fired transitions, 3420 secs || 90870868 markings, 180417996 edges,
lola: 201 tries, 200005308 fired transitions, 3425 secs || 91002456 markings, 180680115 edges,
lola: 201 tries, 200355270 fired transitions, 3430 secs || 91128515 markings, 180932374 edges,
lola: 201 tries, 200702778 fired transitions, 3435 secs || 91255963 markings, 181183201 edges,
lola: 202 tries, 201040432 fired transitions, 3440 secs || 91384660 markings, 181438374 edges,
lola: 202 tries, 201332989 fired transitions, 3445 secs || 91510808 markings, 181693314 edges,
lola: 202 tries, 201665288 fired transitions, 3450 secs || 91635296 markings, 181946748 edges,
lola: 202 tries, 201991450 fired transitions, 3455 secs || 91764910 markings, 182192580 edges,
lola: 203 tries, 202272518 fired transitions, 3460 secs || 91909279 markings, 182454264 edges,
lola: 203 tries, 202470177 fired transitions, 3465 secs || 92050422 markings, 182711359 edges,
lola: 203 tries, 202656198 fired transitions, 3470 secs || 92194778 markings, 182974874 edges,
lola: 203 tries, 202841432 fired transitions, 3475 secs || 92337463 markings, 183230936 edges,
lola: 204 tries, 203038026 fired transitions, 3480 secs || 92483247 markings, 183502726 edges,
lola: 204 tries, 203363109 fired transitions, 3485 secs || 92610450 markings, 183751684 edges,
lola: 204 tries, 203717503 fired transitions, 3490 secs || 92741799 markings, 184004951 edges,
lola: 205 tries, 204056737 fired transitions, 3495 secs || 92869135 markings, 184263070 edges,
lola: 205 tries, 204392654 fired transitions, 3500 secs || 92995324 markings, 184512585 edges,
lola: 205 tries, 204588643 fired transitions, 3505 secs || 93108845 markings, 184753761 edges,
lola: 205 tries, 204783568 fired transitions, 3510 secs || 93213614 markings, 184980187 edges,
lola: 205 tries, 204979983 fired transitions, 3515 secs || 93356991 markings, 185260869 edges,
lola: 206 tries, 205307354 fired transitions, 3520 secs || 93491743 markings, 185521914 edges,
lola: 206 tries, 205655879 fired transitions, 3525 secs || 93638957 markings, 185784951 edges,
lola: 207 tries, 206004600 fired transitions, 3530 secs || 93787502 markings, 186054994 edges,
lola: 207 tries, 206326894 fired transitions, 3535 secs || 93921367 markings, 186313065 edges,
lola: 207 tries, 206648298 fired transitions, 3540 secs || 94054741 markings, 186570273 edges,
lola: 207 tries, 206917233 fired transitions, 3545 secs || 94175560 markings, 186805067 edges,
lola: 208 tries, 207150825 fired transitions, 3550 secs || 94301624 markings, 187040795 edges,
lola: 208 tries, 207412196 fired transitions, 3555 secs || 94451936 markings, 187293003 edges,
lola: 208 tries, 207664037 fired transitions, 3560 secs || 94596384 markings, 187548393 edges,
lola: time limit reached - aborting
lola: memory consumption: 7207020 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 7215800 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552808158385

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 36647 markings/sec, 0 secs 27364 markings/sec, 5 secs 29530 markings/sec, 10 secs 29479 markings/sec, 15 secs 27398 markings/sec, 20 secs 28670 markings/sec, 25 secs 27322 markings/sec, 30 secs 27675 markings/sec, 35 secs 27625 markings/sec, 40 secs 27084 markings/sec, 45 secs 24535 markings/sec, 50 secs 25879 markings/sec, 55 secs 27816 markings/sec, 60 secs 26825 markings/sec, 65 secs 26860 markings/sec, 70 secs 28943 markings/sec, 75 secs 30431 markings/sec, 80 secs 29268 markings/sec, 85 secs 29382 markings/sec, 90 secs 28650 markings/sec, 95 secs 27339 markings/sec, 100 secs 29874 markings/sec, 105 secs 28827 markings/sec, 110 secs 31730 markings/sec, 115 secs 27946 markings/sec, 120 secs 28275 markings/sec, 125 secs 26851 markings/sec, 130 secs 29468 markings/sec, 135 secs 24646 markings/sec, 140 secs 26074 markings/sec, 145 secs 25196 markings/sec, 150 secs 28505 markings/sec, 155 secs 28434 markings/sec, 160 secs 25536 markings/sec, 165 secs 23187 markings/sec, 170 secs 26366 markings/sec, 175 secs 23672 markings/sec, 180 secs 26780 markings/sec, 185 secs 26954 markings/sec, 190 secs 27895 markings/sec, 195 secs 28961 markings/sec, 200 secs 28098 markings/sec, 205 secs 29408 markings/sec, 210 secs 28910 markings/sec, 215 secs 25653 markings/sec, 220 secs 25846 markings/sec, 225 secs 28580 markings/sec, 230 secs 29544 markings/sec, 235 secs 27104 markings/sec, 240 secs 23080 markings/sec, 245 secs 26802 markings/sec, 250 secs 26984 markings/sec, 255 secs 23234 markings/sec, 260 secs 26828 markings/sec, 265 secs 28488 markings/sec, 270 secs 28827 markings/sec, 275 secs 28387 markings/sec, 280 secs 23932 markings/sec, 285 secs 23919 markings/sec, 290 secs 25835 markings/sec, 295 secs 24699 markings/sec, 300 secs 24761 markings/sec, 305 secs 24913 markings/sec, 310 secs 24498 markings/sec, 315 secs 26231 markings/sec, 320 secs 27110 markings/sec, 325 secs 25127 markings/sec, 330 secs 25436 markings/sec, 335 secs 25577 markings/sec, 340 secs 31021 markings/sec, 345 secs 29771 markings/sec, 350 secs 27931 markings/sec, 355 secs 30064 markings/sec, 360 secs 30218 markings/sec, 365 secs 31274 markings/sec, 370 secs 31797 markings/sec, 375 secs 26446 markings/sec, 380 secs 29199 markings/sec, 385 secs 27101 markings/sec, 390 secs 31233 markings/sec, 395 secs 26113 markings/sec, 400 secs 26810 markings/sec, 405 secs 28934 markings/sec, 410 secs 27933 markings/sec, 415 secs 23341 markings/sec, 420 secs 23097 markings/sec, 425 secs 24296 markings/sec, 430 secs 25079 markings/sec, 435 secs 24618 markings/sec, 440 secs 24296 markings/sec, 445 secs 24754 markings/sec, 450 secs 26340 markings/sec, 455 secs 24874 markings/sec, 460 secs 25234 markings/sec, 465 secs 28264 markings/sec, 470 secs 24313 markings/sec, 475 secs 25555 markings/sec, 480 secs 28001 markings/sec, 485 secs 30829 markings/sec, 490 secs 30239 markings/sec, 495 secs 32039 markings/sec, 500 secs 31268 markings/sec, 505 secs 24331 markings/sec, 510 secs 23690 markings/sec, 515 secs 29260 markings/sec, 520 secs 30680 markings/sec, 525 secs 33717 markings/sec, 530 secs 24378 markings/sec, 535 secs 25145 markings/sec, 540 secs 29460 markings/sec, 545 secs 26339 markings/sec, 550 secs 30954 markings/sec, 555 secs 25917 markings/sec, 560 secs 25287 markings/sec, 565 secs 26617 markings/sec, 570 secs 24600 markings/sec, 575 secs 24353 markings/sec, 580 secs 23500 markings/sec, 585 secs 23532 markings/sec, 590 secs 24781 markings/sec, 595 secs 23666 markings/sec, 600 secs 25526 markings/sec, 605 secs 22402 markings/sec, 610 secs 22093 markings/sec, 615 secs 25282 markings/sec, 620 secs 24378 markings/sec, 625 secs 23883 markings/sec, 630 secs 24486 markings/sec, 635 secs 21946 markings/sec, 640 secs 23829 markings/sec, 645 secs 23642 markings/sec, 650 secs 23994 markings/sec, 655 secs 24389 markings/sec, 660 secs 25070 markings/sec, 665 secs 26852 markings/sec, 670 secs 27684 markings/sec, 675 secs 26325 markings/sec, 680 secs 33819 markings/sec, 685 secs 32234 markings/sec, 690 secs 32975 markings/sec, 695 secs 31592 markings/sec, 700 secs 27320 markings/sec, 705 secs 29701 markings/sec, 710 secs 27330 markings/sec, 715 secs 24275 markings/sec, 720 secs 26826 markings/sec, 725 secs 32401 markings/sec, 730 secs 31591 markings/sec, 735 secs 29295 markings/sec, 740 secs 26550 markings/sec, 745 secs 26698 markings/sec, 750 secs 28775 markings/sec, 755 secs 24593 markings/sec, 760 secs 31160 markings/sec, 765 secs 27123 markings/sec, 770 secs 27481 markings/sec, 775 secs 24922 markings/sec, 780 secs 24941 markings/sec, 785 secs 27739 markings/sec, 790 secs 25218 markings/sec, 795 secs 23294 markings/sec, 800 secs 23291 markings/sec, 805 secs 24130 markings/sec, 810 secs 22266 markings/sec, 815 secs 27571 markings/sec, 820 secs 25982 markings/sec, 825 secs 28547 markings/sec, 830 secs 28972 markings/sec, 835 secs 27610 markings/sec, 840 secs 28501 markings/sec, 845 secs 29128 markings/sec, 850 secs 29049 markings/sec, 855 secs 30516 markings/sec, 860 secs 28349 markings/sec, 865 secs 26890 markings/sec, 870 secs 28888 markings/sec, 875 secs 25475 markings/sec, 880 secs 25578 markings/sec, 885 secs 27333 markings/sec, 890 secs 27413 markings/sec, 895 secs 24932 markings/sec, 900 secs 26922 markings/sec, 905 secs 27325 markings/sec, 910 secs 23750 markings/sec, 915 secs 24718 markings/sec, 920 secs 26488 markings/sec, 925 secs 26801 markings/sec, 930 secs 29007 markings/sec, 935 secs 29498 markings/sec, 940 secs 29060 markings/sec, 945 secs 24918 markings/sec, 950 secs 25608 markings/sec, 955 secs 30421 markings/sec, 960 secs 28227 markings/sec, 965 secs 27553 markings/sec, 970 secs 24883 markings/sec, 975 secs 25793 markings/sec, 980 secs 27304 markings/sec, 985 secs 24399 markings/sec, 990 secs 23205 markings/sec, 995 secs 23550 markings/sec, 1000 secs 22186 markings/sec, 1005 secs 26073 markings/sec, 1010 secs 24251 markings/sec, 1015 secs 22378 markings/sec, 1020 secs 25976 markings/sec, 1025 secs 23144 markings/sec, 1030 secs 23917 markings/sec, 1035 secs 24327 markings/sec, 1040 secs 25314 markings/sec, 1045 secs 25357 markings/sec, 1050 secs 25310 markings/sec, 1055 secs 27721 markings/sec, 1060 secs 26558 markings/sec, 1065 secs 24883 markings/sec, 1070 secs 23398 markings/sec, 1075 secs 24807 markings/sec, 1080 secs 25720 markings/sec, 1085 secs 24575 markings/sec, 1090 secs 24777 markings/sec, 1095 secs 25453 markings/sec, 1100 secs 26071 markings/sec, 1105 secs 27531 markings/sec, 1110 secs 25337 markings/sec, 1115 secs 30935 markings/sec, 1120 secs 30441 markings/sec, 1125 secs 30898 markings/sec, 1130 secs 31226 markings/sec, 1135 secs 25149 markings/sec, 1140 secs 27278 markings/sec, 1145 secs 27834 markings/sec, 1150 secs 26995 markings/sec, 1155 secs 27170 markings/sec, 1160 secs 25202 markings/sec, 1165 secs 24938 markings/sec, 1170 secs 25459 markings/sec, 1175 secs 26067 markings/sec, 1180 secs 22573 markings/sec, 1185 secs 22945 markings/sec, 1190 secs 28322 markings/sec, 1195 secs 23610 markings/sec, 1200 secs 24308 markings/sec, 1205 secs 23387 markings/sec, 1210 secs 24070 markings/sec, 1215 secs 22246 markings/sec, 1220 secs 21654 markings/sec, 1225 secs 22337 markings/sec, 1230 secs 23023 markings/sec, 1235 secs 23664 markings/sec, 1240 secs 23117 markings/sec, 1245 secs 22483 markings/sec, 1250 secs 25432 markings/sec, 1255 secs 23055 markings/sec, 1260 secs 21406 markings/sec, 1265 secs 23492 markings/sec, 1270 secs 22835 markings/sec, 1275 secs 21065 markings/sec, 1280 secs 22760 markings/sec, 1285 secs 23902 markings/sec, 1290 secs 21638 markings/sec, 1295 secs 23995 markings/sec, 1300 secs 24332 markings/sec, 1305 secs 22575 markings/sec, 1310 secs 23854 markings/sec, 1315 secs 23787 markings/sec, 1320 secs 26220 markings/sec, 1325 secs 23906 markings/sec, 1330 secs 22727 markings/sec, 1335 secs 24520 markings/sec, 1340 secs 25369 markings/sec, 1345 secs 24290 markings/sec, 1350 secs 25921 markings/sec, 1355 secs 22835 markings/sec, 1360 secs 22267 markings/sec, 1365 secs 22539 markings/sec, 1370 secs 23176 markings/sec, 1375 secs 23403 markings/sec, 1380 secs 24059 markings/sec, 1385 secs 24060 markings/sec, 1390 secs 26733 markings/sec, 1395 secs 26468 markings/sec, 1400 secs 24199 markings/sec, 1405 secs 23257 markings/sec, 1410 secs 21487 markings/sec, 1415 secs 23331 markings/sec, 1420 secs 24989 markings/sec, 1425 secs 27909 markings/sec, 1430 secs 29459 markings/sec, 1435 secs 29488 markings/sec, 1440 secs 29729 markings/sec, 1445 secs 28566 markings/sec, 1450 secs 26434 markings/sec, 1455 secs 26311 markings/sec, 1460 secs 25441 markings/sec, 1465 secs 25869 markings/sec, 1470 secs 25476 markings/sec, 1475 secs 23881 markings/sec, 1480 secs 25688 markings/sec, 1485 secs 25255 markings/sec, 1490 secs 23164 markings/sec, 1495 secs 22516 markings/sec, 1500 secs 21772 markings/sec, 1505 secs 26454 markings/sec, 1510 secs 25113 markings/sec, 1515 secs 24903 markings/sec, 1520 secs 23572 markings/sec, 1525 secs 24363 markings/sec, 1530 secs 25618 markings/sec, 1535 secs 25508 markings/sec, 1540 secs 25565 markings/sec, 1545 secs 23214 markings/sec, 1550 secs 21816 markings/sec, 1555 secs 22104 markings/sec, 1560 secs 20989 markings/sec, 1565 secs 23839 markings/sec, 1570 secs 25782 markings/sec, 1575 secs 24214 markings/sec, 1580 secs 22050 markings/sec, 1585 secs 24748 markings/sec, 1590 secs 22481 markings/sec, 1595 secs 24155 markings/sec, 1600 secs 22684 markings/sec, 1605 secs 20605 markings/sec, 1610 secs 21205 markings/sec, 1615 secs 21533 markings/sec, 1620 secs 26190 markings/sec, 1625 secs 23466 markings/sec, 1630 secs 25461 markings/sec, 1635 secs 23201 markings/sec, 1640 secs 22719 markings/sec, 1645 secs 24839 markings/sec, 1650 secs 24359 markings/sec, 1655 secs 25220 markings/sec, 1660 secs 21795 markings/sec, 1665 secs 25055 markings/sec, 1670 secs 25096 markings/sec, 1675 secs 22019 markings/sec, 1680 secs 21907 markings/sec, 1685 secs 24461 markings/sec, 1690 secs 24068 markings/sec, 1695 secs 22402 markings/sec, 1700 secs 23899 markings/sec, 1705 secs 25879 markings/sec, 1710 secs 23773 markings/sec, 1715 secs 22647 markings/sec, 1720 secs 24550 markings/sec, 1725 secs 26034 markings/sec, 1730 secs 24038 markings/sec, 1735 secs 24887 markings/sec, 1740 secs 25481 markings/sec, 1745 secs 25689 markings/sec, 1750 secs 24105 markings/sec, 1755 secs 24330 markings/sec, 1760 secs 26022 markings/sec, 1765 secs 22812 markings/sec, 1770 secs 25123 markings/sec, 1775 secs 23126 markings/sec, 1780 secs 21527 markings/sec, 1785 secs 21477 markings/sec, 1790 secs 25986 markings/sec, 1795 secs 25592 markings/sec, 1800 secs 25575 markings/sec, 1805 secs 28326 markings/sec, 1810 secs 23886 markings/sec, 1815 secs 27733 markings/sec, 1820 secs 25252 markings/sec, 1825 secs 24167 markings/sec, 1830 secs 28753 markings/sec, 1835 secs 27387 markings/sec, 1840 secs 28531 markings/sec, 1845 secs 28419 markings/sec, 1850 secs 24509 markings/sec, 1855 secs 24502 markings/sec, 1860 secs 28128 markings/sec, 1865 secs 25680 markings/sec, 1870 secs 22017 markings/sec, 1875 secs 24335 markings/sec, 1880 secs 26200 markings/sec, 1885 secs 26064 markings/sec, 1890 secs 25876 markings/sec, 1895 secs 26587 markings/sec, 1900 secs 25974 markings/sec, 1905 secs 26746 markings/sec, 1910 secs 26143 markings/sec, 1915 secs 26472 markings/sec, 1920 secs 24736 markings/sec, 1925 secs 24588 markings/sec, 1930 secs 25364 markings/sec, 1935 secs 27354 markings/sec, 1940 secs 24644 markings/sec, 1945 secs 26678 markings/sec, 1950 secs 23472 markings/sec, 1955 secs 21979 markings/sec, 1960 secs 22400 markings/sec, 1965 secs 22548 markings/sec, 1970 secs 25704 markings/sec, 1975 secs 30087 markings/sec, 1980 secs 31444 markings/sec, 1985 secs 31559 markings/sec, 1990 secs 28168 markings/sec, 1995 secs 25507 markings/sec, 2000 secs 24412 markings/sec, 2005 secs 24025 markings/sec, 2010 secs 26744 markings/sec, 2015 secs 31946 markings/sec, 2020 secs 26166 markings/sec, 2025 secs 25050 markings/sec, 2030 secs 27238 markings/sec, 2035 secs 28450 markings/sec, 2040 secs 28127 markings/sec, 2045 secs 27885 markings/sec, 2050 secs 29437 markings/sec, 2055 secs 27620 markings/sec, 2060 secs 23531 markings/sec, 2065 secs 24638 markings/sec, 2070 secs 28011 markings/sec, 2075 secs 28134 markings/sec, 2080 secs 24646 markings/sec, 2085 secs 23409 markings/sec, 2090 secs 25757 markings/sec, 2095 secs 25540 markings/sec, 2100 secs 27458 markings/sec, 2105 secs 27060 markings/sec, 2110 secs 23848 markings/sec, 2115 secs 22863 markings/sec, 2120 secs 23204 markings/sec, 2125 secs 24257 markings/sec, 2130 secs 24477 markings/sec, 2135 secs 24171 markings/sec, 2140 secs 27723 markings/sec, 2145 secs 27718 markings/sec, 2150 secs 28473 markings/sec, 2155 secs 31149 markings/sec, 2160 secs 30087 markings/sec, 2165 secs 30995 markings/sec, 2170 secs 26956 markings/sec, 2175 secs 25994 markings/sec, 2180 secs 29629 markings/sec, 2185 secs 24113 markings/sec, 2190 secs 25684 markings/sec, 2195 secs 26355 markings/sec, 2200 secs 26986 markings/sec, 2205 secs 28583 markings/sec, 2210 secs 31076 markings/sec, 2215 secs 29955 markings/sec, 2220 secs 27978 markings/sec, 2225 secs 29567 markings/sec, 2230 secs 29846 markings/sec, 2235 secs 26846 markings/sec, 2240 secs 24882 markings/sec, 2245 secs 28734 markings/sec, 2250 secs 30219 markings/sec, 2255 secs 29765 markings/sec, 2260 secs 28792 markings/sec, 2265 secs 29841 markings/sec, 2270 secs 27233 markings/sec, 2275 secs 28587 markings/sec, 2280 secs 28719 markings/sec, 2285 secs 28815 markings/sec, 2290 secs 30272 markings/sec, 2295 secs 29105 markings/sec, 2300 secs 30935 markings/sec, 2305 secs 29260 markings/sec, 2310 secs 27826 markings/sec, 2315 secs 27929 markings/sec, 2320 secs 30541 markings/sec, 2325 secs 30614 markings/sec, 2330 secs 30807 markings/sec, 2335 secs 31255 markings/sec, 2340 secs 29604 markings/sec, 2345 secs 31076 markings/sec, 2350 secs 29720 markings/sec, 2355 secs 29726 markings/sec, 2360 secs 30916 markings/sec, 2365 secs 27524 markings/sec, 2370 secs 26737 markings/sec, 2375 secs 25980 markings/sec, 2380 secs 26083 markings/sec, 2385 secs 22335 markings/sec, 2390 secs 25144 markings/sec, 2395 secs 25753 markings/sec, 2400 secs 23263 markings/sec, 2405 secs 23605 markings/sec, 2410 secs 20725 markings/sec, 2415 secs 23636 markings/sec, 2420 secs 24176 markings/sec, 2425 secs 22683 markings/sec, 2430 secs 22203 markings/sec, 2435 secs 21714 markings/sec, 2440 secs 23237 markings/sec, 2445 secs 23777 markings/sec, 2450 secs 25269 markings/sec, 2455 secs 26675 markings/sec, 2460 secs 25975 markings/sec, 2465 secs 27126 markings/sec, 2470 secs 27506 markings/sec, 2475 secs 26538 markings/sec, 2480 secs 27695 markings/sec, 2485 secs 27737 markings/sec, 2490 secs 27093 markings/sec, 2495 secs 27485 markings/sec, 2500 secs 27700 markings/sec, 2505 secs 27964 markings/sec, 2510 secs 27452 markings/sec, 2515 secs 25800 markings/sec, 2520 secs 24897 markings/sec, 2525 secs 25178 markings/sec, 2530 secs 24903 markings/sec, 2535 secs 24925 markings/sec, 2540 secs 23177 markings/sec, 2545 secs 24101 markings/sec, 2550 secs 25292 markings/sec, 2555 secs 24862 markings/sec, 2560 secs 24881 markings/sec, 2565 secs 25082 markings/sec, 2570 secs 25601 markings/sec, 2575 secs 25790 markings/sec, 2580 secs 26040 markings/sec, 2585 secs 26768 markings/sec, 2590 secs 27516 markings/sec, 2595 secs 26427 markings/sec, 2600 secs 25857 markings/sec, 2605 secs 25408 markings/sec, 2610 secs 25316 markings/sec, 2615 secs 26662 markings/sec, 2620 secs 27214 markings/sec, 2625 secs 26951 markings/sec, 2630 secs 25818 markings/sec, 2635 secs 22815 markings/sec, 2640 secs 24836 markings/sec, 2645 secs 23642 markings/sec, 2650 secs 26031 markings/sec, 2655 secs 26091 markings/sec, 2660 secs 24260 markings/sec, 2665 secs 24821 markings/sec, 2670 secs 24170 markings/sec, 2675 secs 23661 markings/sec, 2680 secs 24621 markings/sec, 2685 secs 27204 markings/sec, 2690 secs 35213 markings/sec, 2695 secs 29633 markings/sec, 2700 secs 28542 markings/sec, 2705 secs 30233 markings/sec, 2710 secs 30468 markings/sec, 2715 secs 27624 markings/sec, 2720 secs 26310 markings/sec, 2725 secs 25838 markings/sec, 2730 secs 26645 markings/sec, 2735 secs 27071 markings/sec, 2740 secs 22360 markings/sec, 2745 secs 22754 markings/sec, 2750 secs 23017 markings/sec, 2755 secs 21890 markings/sec, 2760 secs 22933 markings/sec, 2765 secs 23090 markings/sec, 2770 secs 25181 markings/sec, 2775 secs 26051 markings/sec, 2780 secs 25683 markings/sec, 2785 secs 27290 markings/sec, 2790 secs 25154 markings/sec, 2795 secs 26080 markings/sec, 2800 secs 26078 markings/sec, 2805 secs 27188 markings/sec, 2810 secs 27064 markings/sec, 2815 secs 25490 markings/sec, 2820 secs 26017 markings/sec, 2825 secs 25918 markings/sec, 2830 secs 28326 markings/sec, 2835 secs 27692 markings/sec, 2840 secs 26222 markings/sec, 2845 secs 24506 markings/sec, 2850 secs 25683 markings/sec, 2855 secs 26249 markings/sec, 2860 secs 24217 markings/sec, 2865 secs 25549 markings/sec, 2870 secs 26030 markings/sec, 2875 secs 25975 markings/sec, 2880 secs 26659 markings/sec, 2885 secs 25562 markings/sec, 2890 secs 28187 markings/sec, 2895 secs 32908 markings/sec, 2900 secs 33338 markings/sec, 2905 secs 28354 markings/sec, 2910 secs 31346 markings/sec, 2915 secs 30341 markings/sec, 2920 secs 27493 markings/sec, 2925 secs 28900 markings/sec, 2930 secs 27752 markings/sec, 2935 secs 31955 markings/sec, 2940 secs 31947 markings/sec, 2945 secs 28482 markings/sec, 2950 secs 29329 markings/sec, 2955 secs 27506 markings/sec, 2960 secs 27628 markings/sec, 2965 secs 30254 markings/sec, 2970 secs 29891 markings/sec, 2975 secs 28748 markings/sec, 2980 secs 26334 markings/sec, 2985 secs 27515 markings/sec, 2990 secs 27259 markings/sec, 2995 secs 29240 markings/sec, 3000 secs 27772 markings/sec, 3005 secs 29625 markings/sec, 3010 secs 33049 markings/sec, 3015 secs 35043 markings/sec, 3020 secs 26372 markings/sec, 3025 secs 27737 markings/sec, 3030 secs 31645 markings/sec, 3035 secs 30419 markings/sec, 3040 secs 25020 markings/sec, 3045 secs 29117 markings/sec, 3050 secs 32673 markings/sec, 3055 secs 24766 markings/sec, 3060 secs 25447 markings/sec, 3065 secs 27403 markings/sec, 3070 secs 27243 markings/sec, 3075 secs 28099 markings/sec, 3080 secs 25843 markings/sec, 3085 secs 27253 markings/sec, 3090 secs 27700 markings/sec, 3095 secs 27880 markings/sec, 3100 secs 26905 markings/sec, 3105 secs 26862 markings/sec, 3110 secs 26129 markings/sec, 3115 secs 26816 markings/sec, 3120 secs 26729 markings/sec, 3125 secs 25495 markings/sec, 3130 secs 25719 markings/sec, 3135 secs 25263 markings/sec, 3140 secs 32024 markings/sec, 3145 secs 30409 markings/sec, 3150 secs 31025 markings/sec, 3155 secs 30095 markings/sec, 3160 secs 28958 markings/sec, 3165 secs 28255 markings/sec, 3170 secs 31683 markings/sec, 3175 secs 28261 markings/sec, 3180 secs 29067 markings/sec, 3185 secs 29476 markings/sec, 3190 secs 32820 markings/sec, 3195 secs 30498 markings/sec, 3200 secs 32803 markings/sec, 3205 secs 33411 markings/sec, 3210 secs 32979 markings/sec, 3215 secs 29697 markings/sec, 3220 secs 30252 markings/sec, 3225 secs 34955 markings/sec, 3230 secs 32039 markings/sec, 3235 secs 29862 markings/sec, 3240 secs 29950 markings/sec, 3245 secs 29561 markings/sec, 3250 secs 31760 markings/sec, 3255 secs 27770 markings/sec, 3260 secs 30668 markings/sec, 3265 secs 29365 markings/sec, 3270 secs 28027 markings/sec, 3275 secs 26284 markings/sec, 3280 secs 29978 markings/sec, 3285 secs 28329 markings/sec, 3290 secs 26071 markings/sec, 3295 secs 26584 markings/sec, 3300 secs 26275 markings/sec, 3305 secs 32842 markings/sec, 3310 secs 32320 markings/sec, 3315 secs 32841 markings/sec, 3320 secs 31815 markings/sec, 3325 secs 31576 markings/sec, 3330 secs 30163 markings/sec, 3335 secs 28269 markings/sec, 3340 secs 29139 markings/sec, 3345 secs 25437 markings/sec, 3350 secs 24645 markings/sec, 3355 secs 23234 markings/sec, 3360 secs 24568 markings/sec, 3365 secs 24134 markings/sec, 3370 secs 25610 markings/sec, 3375 secs 25697 markings/sec, 3380 secs 27333 markings/sec, 3385 secs 27747 markings/sec, 3390 secs 25446 markings/sec, 3395 secs 27699 markings/sec, 3400 secs 27652 markings/sec, 3405 secs 25457 markings/sec, 3410 secs 28180 markings/sec, 3415 secs 28392 markings/sec, 3420 secs 26318 markings/sec, 3425 secs 25212 markings/sec, 3430 secs 25490 markings/sec, 3435 secs 25739 markings/sec, 3440 secs 25230 markings/sec, 3445 secs 24898 markings/sec, 3450 secs 25923 markings/sec, 3455 secs 28874 markings/sec, 3460 secs 28229 markings/sec, 3465 secs 28871 markings/sec, 3470 secs 28537 markings/sec, 3475 secs 29157 markings/sec, 3480 secs 25441 markings/sec, 3485 secs 26270 markings/sec, 3490 secs 25467 markings/sec, 3495 secs 25238 markings/sec, 3500 secs 22704 markings/sec, 3505 secs 20954 markings/sec, 3510 secs 28675 markings/sec, 3515 secs 26950 markings/sec, 3520 secs 29443 markings/sec, 3525 secs 29709 markings/sec, 3530 secs 26773 markings/sec, 3535 secs 26675 markings/sec, 3540 secs 24164 markings/sec, 3545 secs 25213 markings/sec, 3550 secs 30062 markings/sec, 3555 secs 28890 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="Peterson-PT-5"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Peterson-PT-5, 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 r104-oct2-155272226100552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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