MCC'2019 - Execution of r181-csrt-155344535100291

About the Execution of LoLA for NoC3x3-PT-4A

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
14700.390	3572372.00	7268979.00	530.90	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r181-csrt-155344535100291.qcow2', fmt=qcow2 size=4294967296 backing_file
Waiting for the VM to be ready (probing ssh)
............................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is NoC3x3-PT-4A, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535100291
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.3K Mar 23 12:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 12:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.0K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.1K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 2.9K Mar 23 12:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 23 12:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 23 12:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 144K Mar 23 10:10 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 NoC3x3-PT-4A-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554496945238

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NoC3x3-PT-4A @ 3570 seconds
vrfy: finished
info: timeLeft: -2
rslt: Output for GlobalProperties @ NoC3x3-PT-4A

{
"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": "Fri Apr 5 20:42:25 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 14790700,
"runtime": 3571.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 1905,
"conflict_clusters": 50,
"places": 293,
"places_significant": 227,
"singleton_clusters": 0,
"transitions": 608
},
"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: 901/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 293
lola: finding significant places
lola: 293 places, 608 transitions, 227 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, 423408 fired transitions, 0 secs || 259923 markings, 768841 edges,
lola: 1 tries, 838400 fired transitions, 5 secs || 511916 markings, 1501961 edges,
lola: 2 tries, 1251659 fired transitions, 10 secs || 751858 markings, 2250518 edges,
lola: 2 tries, 1715255 fired transitions, 15 secs || 1008125 markings, 3083407 edges,
lola: 3 tries, 2285669 fired transitions, 20 secs || 1229348 markings, 3803956 edges,
lola: 3 tries, 2701159 fired transitions, 25 secs || 1460352 markings, 4561605 edges,
lola: 4 tries, 3114498 fired transitions, 30 secs || 1691368 markings, 5319588 edges,
lola: 4 tries, 3538209 fired transitions, 35 secs || 1917141 markings, 6063787 edges,
lola: 4 tries, 3956024 fired transitions, 40 secs || 2147135 markings, 6825965 edges,
lola: 5 tries, 4374173 fired transitions, 45 secs || 2376427 markings, 7599742 edges,
lola: 5 tries, 4794765 fired transitions, 50 secs || 2600742 markings, 8334793 edges,
lola: 6 tries, 5222700 fired transitions, 55 secs || 2824028 markings, 9073158 edges,
lola: 6 tries, 5645780 fired transitions, 60 secs || 3051544 markings, 9825293 edges,
lola: 7 tries, 6205683 fired transitions, 65 secs || 3328118 markings, 10744899 edges,
lola: 7 tries, 6676797 fired transitions, 70 secs || 3564823 markings, 11532727 edges,
lola: 8 tries, 7102164 fired transitions, 75 secs || 3792511 markings, 12297396 edges,
lola: 8 tries, 7531307 fired transitions, 80 secs || 4015611 markings, 13041751 edges,
lola: 8 tries, 7953880 fired transitions, 85 secs || 4239842 markings, 13788608 edges,
lola: 9 tries, 8372500 fired transitions, 90 secs || 4467626 markings, 14548279 edges,
lola: 9 tries, 8795114 fired transitions, 95 secs || 4694321 markings, 15311787 edges,
lola: 10 tries, 9221088 fired transitions, 100 secs || 4919967 markings, 16070241 edges,
lola: 10 tries, 9647179 fired transitions, 105 secs || 5144657 markings, 16818170 edges,
lola: 11 tries, 10074188 fired transitions, 110 secs || 5371119 markings, 17579925 edges,
lola: 11 tries, 10493432 fired transitions, 115 secs || 5597384 markings, 18325820 edges,
lola: 11 tries, 10909238 fired transitions, 120 secs || 5817293 markings, 19056860 edges,
lola: 12 tries, 11328820 fired transitions, 125 secs || 6036178 markings, 19793503 edges,
lola: 12 tries, 11751149 fired transitions, 130 secs || 6258942 markings, 20553709 edges,
lola: 13 tries, 12174267 fired transitions, 135 secs || 6479260 markings, 21291394 edges,
lola: 13 tries, 12594982 fired transitions, 140 secs || 6700125 markings, 22031148 edges,
lola: 14 tries, 13016857 fired transitions, 145 secs || 6917479 markings, 22728755 edges,
lola: 14 tries, 13440265 fired transitions, 150 secs || 7137482 markings, 23460141 edges,
lola: 14 tries, 13866866 fired transitions, 155 secs || 7356306 markings, 24200631 edges,
lola: 15 tries, 14295781 fired transitions, 160 secs || 7575337 markings, 24945832 edges,
lola: 15 tries, 14727024 fired transitions, 165 secs || 7794676 markings, 25683748 edges,
lola: 16 tries, 15157385 fired transitions, 170 secs || 8013384 markings, 26416903 edges,
lola: 16 tries, 15586853 fired transitions, 175 secs || 8232679 markings, 27154951 edges,
lola: 17 tries, 16017872 fired transitions, 180 secs || 8450192 markings, 27882626 edges,
lola: 17 tries, 16452202 fired transitions, 185 secs || 8664051 markings, 28607686 edges,
lola: 17 tries, 16882990 fired transitions, 190 secs || 8880533 markings, 29331734 edges,
lola: 18 tries, 17313621 fired transitions, 195 secs || 9097066 markings, 30056441 edges,
lola: 18 tries, 17744318 fired transitions, 200 secs || 9316544 markings, 30800326 edges,
lola: 19 tries, 18171430 fired transitions, 205 secs || 9539032 markings, 31554103 edges,
lola: 19 tries, 18601125 fired transitions, 210 secs || 9758495 markings, 32295153 edges,
lola: 20 tries, 19031274 fired transitions, 215 secs || 9977684 markings, 33036036 edges,
lola: 20 tries, 19467801 fired transitions, 220 secs || 10192631 markings, 33761264 edges,
lola: 20 tries, 19904682 fired transitions, 225 secs || 10408754 markings, 34486082 edges,
lola: 21 tries, 20330510 fired transitions, 230 secs || 10630361 markings, 35233947 edges,
lola: 21 tries, 20758639 fired transitions, 235 secs || 10850713 markings, 35976821 edges,
lola: 22 tries, 21173547 fired transitions, 240 secs || 11077788 markings, 36718623 edges,
lola: 22 tries, 21594451 fired transitions, 245 secs || 11298886 markings, 37453188 edges,
lola: 23 tries, 22020134 fired transitions, 250 secs || 11519730 markings, 38191992 edges,
lola: 23 tries, 22447007 fired transitions, 255 secs || 11742829 markings, 38946315 edges,
lola: 23 tries, 22866731 fired transitions, 260 secs || 11972506 markings, 39699027 edges,
lola: 24 tries, 23299570 fired transitions, 265 secs || 12191022 markings, 40438195 edges,
lola: 24 tries, 23730846 fired transitions, 270 secs || 12408543 markings, 41170109 edges,
lola: 25 tries, 24148071 fired transitions, 275 secs || 12638417 markings, 41918368 edges,
lola: 25 tries, 24569025 fired transitions, 280 secs || 12860901 markings, 42650822 edges,
lola: 26 tries, 25010210 fired transitions, 285 secs || 13070171 markings, 43353183 edges,
lola: 26 tries, 25444074 fired transitions, 290 secs || 13284099 markings, 44064298 edges,
lola: 26 tries, 25874485 fired transitions, 295 secs || 13502208 markings, 44793428 edges,
lola: 27 tries, 26305411 fired transitions, 300 secs || 13717557 markings, 45516044 edges,
lola: 27 tries, 26735660 fired transitions, 305 secs || 13936143 markings, 46256795 edges,
lola: 28 tries, 27166934 fired transitions, 310 secs || 14154229 markings, 46985318 edges,
lola: 28 tries, 27600286 fired transitions, 315 secs || 14366357 markings, 47685717 edges,
lola: 29 tries, 28045042 fired transitions, 320 secs || 14594483 markings, 48438348 edges,
lola: 29 tries, 28479690 fired transitions, 325 secs || 14804477 markings, 49151984 edges,
lola: 29 tries, 28910684 fired transitions, 330 secs || 15019700 markings, 49869761 edges,
lola: 30 tries, 29344943 fired transitions, 335 secs || 15235109 markings, 50602394 edges,
lola: 30 tries, 29759666 fired transitions, 340 secs || 15464133 markings, 51281401 edges,
lola: 31 tries, 30176388 fired transitions, 345 secs || 15695598 markings, 51964416 edges,
lola: 31 tries, 30592772 fired transitions, 350 secs || 15926785 markings, 52647541 edges,
lola: 32 tries, 31010179 fired transitions, 355 secs || 16157600 markings, 53336460 edges,
lola: 32 tries, 31425762 fired transitions, 360 secs || 16394723 markings, 54041184 edges,
lola: 32 tries, 31844408 fired transitions, 365 secs || 16622015 markings, 54723137 edges,
lola: 33 tries, 32264762 fired transitions, 370 secs || 16849026 markings, 55393255 edges,
lola: 33 tries, 32691185 fired transitions, 375 secs || 17068894 markings, 56050561 edges,
lola: 34 tries, 33116461 fired transitions, 380 secs || 17291889 markings, 56722286 edges,
lola: 34 tries, 33545181 fired transitions, 385 secs || 17508159 markings, 57369224 edges,
lola: 34 tries, 33969310 fired transitions, 390 secs || 17732324 markings, 58041504 edges,
lola: 35 tries, 34393379 fired transitions, 395 secs || 17961760 markings, 58753344 edges,
lola: 35 tries, 34812863 fired transitions, 400 secs || 18186633 markings, 59434362 edges,
lola: 36 tries, 35239823 fired transitions, 405 secs || 18406943 markings, 60104576 edges,
lola: 36 tries, 35663941 fired transitions, 410 secs || 18630850 markings, 60790970 edges,
lola: 37 tries, 36097721 fired transitions, 415 secs || 18847321 markings, 61453076 edges,
lola: 37 tries, 36523407 fired transitions, 420 secs || 19059502 markings, 62101998 edges,
lola: 37 tries, 36841432 fired transitions, 425 secs || 19224089 markings, 62601135 edges,
lola: 38 tries, 37172369 fired transitions, 430 secs || 19399107 markings, 63143198 edges,
lola: 38 tries, 37502607 fired transitions, 435 secs || 19576168 markings, 63686730 edges,
lola: 38 tries, 37835824 fired transitions, 440 secs || 19742733 markings, 64298785 edges,
lola: 39 tries, 38170014 fired transitions, 445 secs || 19913831 markings, 64864803 edges,
lola: 39 tries, 38501980 fired transitions, 450 secs || 20079465 markings, 65508091 edges,
lola: 39 tries, 38837440 fired transitions, 455 secs || 20246331 markings, 66169196 edges,
lola: 40 tries, 39174072 fired transitions, 460 secs || 20428916 markings, 66762353 edges,
lola: 40 tries, 39504274 fired transitions, 465 secs || 20598859 markings, 67385290 edges,
lola: 40 tries, 39830619 fired transitions, 470 secs || 20770773 markings, 67990555 edges,
lola: 41 tries, 40157030 fired transitions, 475 secs || 20939612 markings, 68581328 edges,
lola: 41 tries, 40489728 fired transitions, 480 secs || 21112595 markings, 69170724 edges,
lola: 41 tries, 40812840 fired transitions, 485 secs || 21285036 markings, 69691430 edges,
lola: 42 tries, 41138354 fired transitions, 490 secs || 21460380 markings, 70220536 edges,
lola: 42 tries, 41461973 fired transitions, 495 secs || 21630172 markings, 70770381 edges,
lola: 42 tries, 41773792 fired transitions, 500 secs || 21795560 markings, 71277337 edges,
lola: 43 tries, 42085327 fired transitions, 505 secs || 21966167 markings, 71804355 edges,
lola: 43 tries, 42395981 fired transitions, 510 secs || 22137346 markings, 72321909 edges,
lola: 43 tries, 42713692 fired transitions, 515 secs || 22308030 markings, 72839260 edges,
lola: 44 tries, 43027816 fired transitions, 520 secs || 22476482 markings, 73360510 edges,
lola: 44 tries, 43346405 fired transitions, 525 secs || 22635806 markings, 73979122 edges,
lola: 44 tries, 43666020 fired transitions, 530 secs || 22795290 markings, 74624053 edges,
lola: 44 tries, 43994748 fired transitions, 535 secs || 22956572 markings, 75281043 edges,
lola: 45 tries, 44325033 fired transitions, 540 secs || 23120880 markings, 75929568 edges,
lola: 45 tries, 44654452 fired transitions, 545 secs || 23290020 markings, 76511399 edges,
lola: 45 tries, 44969558 fired transitions, 550 secs || 23449250 markings, 77123002 edges,
lola: 46 tries, 45292515 fired transitions, 555 secs || 23607505 markings, 77767967 edges,
lola: 46 tries, 45625339 fired transitions, 560 secs || 23783818 markings, 78311279 edges,
lola: 46 tries, 45949641 fired transitions, 565 secs || 23957853 markings, 78836557 edges,
lola: 47 tries, 46264274 fired transitions, 570 secs || 24125542 markings, 79342231 edges,
lola: 47 tries, 46588841 fired transitions, 575 secs || 24297546 markings, 79895511 edges,
lola: 47 tries, 46919966 fired transitions, 580 secs || 24469400 markings, 80484979 edges,
lola: 48 tries, 47257019 fired transitions, 585 secs || 24643427 markings, 81083373 edges,
lola: 48 tries, 47570693 fired transitions, 590 secs || 24805548 markings, 81633236 edges,
lola: 48 tries, 47878204 fired transitions, 595 secs || 24961204 markings, 82186355 edges,
lola: 49 tries, 48195246 fired transitions, 600 secs || 25121485 markings, 82776722 edges,
lola: 49 tries, 48528461 fired transitions, 605 secs || 25295505 markings, 83358644 edges,
lola: 49 tries, 48849490 fired transitions, 610 secs || 25463193 markings, 83928661 edges,
lola: 50 tries, 49182448 fired transitions, 615 secs || 25633867 markings, 84537164 edges,
lola: 50 tries, 49515756 fired transitions, 620 secs || 25807936 markings, 85133371 edges,
lola: 50 tries, 49833271 fired transitions, 625 secs || 25969944 markings, 85709407 edges,
lola: 51 tries, 50149444 fired transitions, 630 secs || 26133821 markings, 86252014 edges,
lola: 51 tries, 50482018 fired transitions, 635 secs || 26303962 markings, 86847876 edges,
lola: 51 tries, 50811456 fired transitions, 640 secs || 26469249 markings, 87472754 edges,
lola: 52 tries, 51141279 fired transitions, 645 secs || 26638435 markings, 88049611 edges,
lola: 52 tries, 51474926 fired transitions, 650 secs || 26815910 markings, 88617823 edges,
lola: 52 tries, 51799201 fired transitions, 655 secs || 26987865 markings, 89147163 edges,
lola: 53 tries, 52132638 fired transitions, 660 secs || 27168776 markings, 89700235 edges,
lola: 53 tries, 52458942 fired transitions, 665 secs || 27341839 markings, 90297419 edges,
lola: 53 tries, 52786123 fired transitions, 670 secs || 27502516 markings, 90840402 edges,
lola: 54 tries, 53104741 fired transitions, 675 secs || 27665239 markings, 91373574 edges,
lola: 54 tries, 53423770 fired transitions, 680 secs || 27832206 markings, 91927707 edges,
lola: 54 tries, 53745374 fired transitions, 685 secs || 27996796 markings, 92553840 edges,
lola: 55 tries, 54073895 fired transitions, 690 secs || 28175835 markings, 93162240 edges,
lola: 55 tries, 54405019 fired transitions, 695 secs || 28351831 markings, 93752629 edges,
lola: 55 tries, 54723159 fired transitions, 700 secs || 28517069 markings, 94283501 edges,
lola: 56 tries, 55038342 fired transitions, 705 secs || 28683459 markings, 94820313 edges,
lola: 56 tries, 55365656 fired transitions, 710 secs || 28863898 markings, 95375030 edges,
lola: 56 tries, 55695230 fired transitions, 715 secs || 29035181 markings, 95942586 edges,
lola: 57 tries, 56027394 fired transitions, 720 secs || 29206704 markings, 96502267 edges,
lola: 57 tries, 56348221 fired transitions, 725 secs || 29378691 markings, 97039470 edges,
lola: 57 tries, 56680674 fired transitions, 730 secs || 29559721 markings, 97601729 edges,
lola: 58 tries, 57002724 fired transitions, 735 secs || 29728452 markings, 98143829 edges,
lola: 58 tries, 57329563 fired transitions, 740 secs || 29904000 markings, 98714123 edges,
lola: 58 tries, 57662003 fired transitions, 745 secs || 30077842 markings, 99290773 edges,
lola: 58 tries, 57989773 fired transitions, 750 secs || 30251535 markings, 99818053 edges,
lola: 59 tries, 58322237 fired transitions, 755 secs || 30423911 markings, 100375991 edges,
lola: 59 tries, 58655168 fired transitions, 760 secs || 30605529 markings, 100943494 edges,
lola: 59 tries, 58984650 fired transitions, 765 secs || 30780625 markings, 101480490 edges,
lola: 60 tries, 59314099 fired transitions, 770 secs || 30958261 markings, 102017654 edges,
lola: 60 tries, 59645077 fired transitions, 775 secs || 31134237 markings, 102553027 edges,
lola: 60 tries, 59960221 fired transitions, 780 secs || 31303999 markings, 103061517 edges,
lola: 61 tries, 60279466 fired transitions, 785 secs || 31475436 markings, 103581445 edges,
lola: 61 tries, 60609390 fired transitions, 790 secs || 31650310 markings, 104129030 edges,
lola: 61 tries, 60941160 fired transitions, 795 secs || 31824249 markings, 104685984 edges,
lola: 62 tries, 61274260 fired transitions, 800 secs || 31997726 markings, 105275453 edges,
lola: 62 tries, 61593053 fired transitions, 805 secs || 32166183 markings, 105801282 edges,
lola: 62 tries, 61927949 fired transitions, 810 secs || 32344522 markings, 106375580 edges,
lola: 63 tries, 62261429 fired transitions, 815 secs || 32522756 markings, 106954836 edges,
lola: 63 tries, 62593514 fired transitions, 820 secs || 32696020 markings, 107486186 edges,
lola: 63 tries, 62924958 fired transitions, 825 secs || 32877204 markings, 108034455 edges,
lola: 64 tries, 63258594 fired transitions, 830 secs || 33055078 markings, 108616090 edges,
lola: 64 tries, 63590096 fired transitions, 835 secs || 33230815 markings, 109153220 edges,
lola: 64 tries, 63919021 fired transitions, 840 secs || 33405466 markings, 109710369 edges,
lola: 65 tries, 64239569 fired transitions, 845 secs || 33575680 markings, 110248793 edges,
lola: 65 tries, 64553858 fired transitions, 850 secs || 33741819 markings, 110755454 edges,
lola: 65 tries, 64869569 fired transitions, 855 secs || 33905131 markings, 111280779 edges,
lola: 66 tries, 65185975 fired transitions, 860 secs || 34070778 markings, 111792524 edges,
lola: 66 tries, 65499174 fired transitions, 865 secs || 34234894 markings, 112305094 edges,
lola: 66 tries, 65814256 fired transitions, 870 secs || 34401813 markings, 112839603 edges,
lola: 67 tries, 66135110 fired transitions, 875 secs || 34568366 markings, 113398660 edges,
lola: 67 tries, 66468686 fired transitions, 880 secs || 34747365 markings, 113945371 edges,
lola: 67 tries, 66799201 fired transitions, 885 secs || 34924492 markings, 114501972 edges,
lola: 68 tries, 67224315 fired transitions, 890 secs || 35144439 markings, 115162811 edges,
lola: 68 tries, 67648793 fired transitions, 895 secs || 35369737 markings, 115845332 edges,
lola: 69 tries, 68074364 fired transitions, 900 secs || 35592121 markings, 116519600 edges,
lola: 69 tries, 68497260 fired transitions, 905 secs || 35818844 markings, 117205907 edges,
lola: 69 tries, 68926621 fired transitions, 910 secs || 36043892 markings, 117907926 edges,
lola: 70 tries, 69352323 fired transitions, 915 secs || 36268099 markings, 118595298 edges,
lola: 70 tries, 69773937 fired transitions, 920 secs || 36496650 markings, 119299762 edges,
lola: 71 tries, 70152209 fired transitions, 925 secs || 36700018 markings, 119921361 edges,
lola: 71 tries, 70467259 fired transitions, 930 secs || 36866012 markings, 120427147 edges,
lola: 71 tries, 70779357 fired transitions, 935 secs || 37031846 markings, 120945023 edges,
lola: 72 tries, 71088122 fired transitions, 940 secs || 37194577 markings, 121492881 edges,
lola: 72 tries, 71404551 fired transitions, 945 secs || 37354614 markings, 122086991 edges,
lola: 72 tries, 71725793 fired transitions, 950 secs || 37527145 markings, 122606714 edges,
lola: 73 tries, 72047914 fired transitions, 955 secs || 37685860 markings, 123243651 edges,
lola: 73 tries, 72367303 fired transitions, 960 secs || 37844609 markings, 123889886 edges,
lola: 73 tries, 72695365 fired transitions, 965 secs || 38003384 markings, 124531535 edges,
lola: 74 tries, 73014592 fired transitions, 970 secs || 38159439 markings, 125175098 edges,
lola: 74 tries, 73333032 fired transitions, 975 secs || 38324051 markings, 125764130 edges,
lola: 74 tries, 73654279 fired transitions, 980 secs || 38489262 markings, 126322202 edges,
lola: 74 tries, 73971226 fired transitions, 985 secs || 38650420 markings, 126873671 edges,
lola: 75 tries, 74287955 fired transitions, 990 secs || 38817449 markings, 127383066 edges,
lola: 75 tries, 74603316 fired transitions, 995 secs || 38984730 markings, 127897455 edges,
lola: 75 tries, 74920478 fired transitions, 1000 secs || 39151280 markings, 128410110 edges,
lola: 76 tries, 75243696 fired transitions, 1005 secs || 39326325 markings, 128952724 edges,
lola: 76 tries, 75576704 fired transitions, 1010 secs || 39507106 markings, 129524820 edges,
lola: 76 tries, 75910077 fired transitions, 1015 secs || 39685098 markings, 130061510 edges,
lola: 77 tries, 76231940 fired transitions, 1020 secs || 39859466 markings, 130582251 edges,
lola: 77 tries, 76563735 fired transitions, 1025 secs || 40039269 markings, 131146608 edges,
lola: 77 tries, 76894366 fired transitions, 1030 secs || 40205703 markings, 131720278 edges,
lola: 78 tries, 77226110 fired transitions, 1035 secs || 40377678 markings, 132304408 edges,
lola: 78 tries, 77559236 fired transitions, 1040 secs || 40553292 markings, 132834967 edges,
lola: 78 tries, 77891558 fired transitions, 1045 secs || 40729578 markings, 133362844 edges,
lola: 79 tries, 78215281 fired transitions, 1050 secs || 40899120 markings, 133882911 edges,
lola: 79 tries, 78537945 fired transitions, 1055 secs || 41069094 markings, 134388790 edges,
lola: 79 tries, 78863504 fired transitions, 1060 secs || 41238910 markings, 134912133 edges,
lola: 80 tries, 79179252 fired transitions, 1065 secs || 41409182 markings, 135454230 edges,
lola: 80 tries, 79492100 fired transitions, 1070 secs || 41569029 markings, 136004458 edges,
lola: 80 tries, 79805055 fired transitions, 1075 secs || 41732783 markings, 136547082 edges,
lola: 81 tries, 80137680 fired transitions, 1080 secs || 41909099 markings, 137086619 edges,
lola: 81 tries, 80464698 fired transitions, 1085 secs || 42077476 markings, 137657231 edges,
lola: 81 tries, 80798442 fired transitions, 1090 secs || 42242345 markings, 138296548 edges,
lola: 82 tries, 81129908 fired transitions, 1095 secs || 42408956 markings, 138917640 edges,
lola: 82 tries, 81461156 fired transitions, 1100 secs || 42573106 markings, 139581978 edges,
lola: 82 tries, 81784850 fired transitions, 1105 secs || 42734236 markings, 140213544 edges,
lola: 83 tries, 82118023 fired transitions, 1110 secs || 42902604 markings, 140826049 edges,
lola: 83 tries, 82447840 fired transitions, 1115 secs || 43069865 markings, 141441753 edges,
lola: 83 tries, 82781364 fired transitions, 1120 secs || 43247169 markings, 141977929 edges,
lola: 84 tries, 83112614 fired transitions, 1125 secs || 43422660 markings, 142502612 edges,
lola: 84 tries, 83446928 fired transitions, 1130 secs || 43587438 markings, 143145769 edges,
lola: 84 tries, 83776808 fired transitions, 1135 secs || 43754576 markings, 143753727 edges,
lola: 85 tries, 84102329 fired transitions, 1140 secs || 43920504 markings, 144348066 edges,
lola: 85 tries, 84436295 fired transitions, 1145 secs || 44097008 markings, 144888379 edges,
lola: 85 tries, 84767222 fired transitions, 1150 secs || 44271253 markings, 145495494 edges,
lola: 86 tries, 85094549 fired transitions, 1155 secs || 44437698 markings, 146074482 edges,
lola: 86 tries, 85424661 fired transitions, 1160 secs || 44610459 markings, 146612773 edges,
lola: 86 tries, 85758683 fired transitions, 1165 secs || 44786087 markings, 147169594 edges,
lola: 87 tries, 86087659 fired transitions, 1170 secs || 44957793 markings, 147755425 edges,
lola: 87 tries, 86421051 fired transitions, 1175 secs || 45130745 markings, 148339101 edges,
lola: 87 tries, 86743050 fired transitions, 1180 secs || 45299637 markings, 148892231 edges,
lola: 88 tries, 87064387 fired transitions, 1185 secs || 45466879 markings, 149429711 edges,
lola: 88 tries, 87378907 fired transitions, 1190 secs || 45629647 markings, 149942169 edges,
lola: 88 tries, 87696261 fired transitions, 1195 secs || 45792960 markings, 150480389 edges,
lola: 89 tries, 88008706 fired transitions, 1200 secs || 45957349 markings, 150988291 edges,
lola: 89 tries, 88334625 fired transitions, 1205 secs || 46130549 markings, 151517411 edges,
lola: 89 tries, 88665701 fired transitions, 1210 secs || 46311892 markings, 152084004 edges,
lola: 89 tries, 88981264 fired transitions, 1215 secs || 46466926 markings, 152696651 edges,
lola: 90 tries, 89295476 fired transitions, 1220 secs || 46622693 markings, 153329971 edges,
lola: 90 tries, 89609515 fired transitions, 1225 secs || 46775708 markings, 153956386 edges,
lola: 90 tries, 89918846 fired transitions, 1230 secs || 46930977 markings, 154532033 edges,
lola: 91 tries, 90228866 fired transitions, 1235 secs || 47094234 markings, 155025982 edges,
lola: 91 tries, 90540102 fired transitions, 1240 secs || 47255097 markings, 155520138 edges,
lola: 91 tries, 90859691 fired transitions, 1245 secs || 47421241 markings, 156035624 edges,
lola: 92 tries, 91191922 fired transitions, 1250 secs || 47591154 markings, 156606332 edges,
lola: 92 tries, 91524481 fired transitions, 1255 secs || 47764590 markings, 157132308 edges,
lola: 92 tries, 91857055 fired transitions, 1260 secs || 47935767 markings, 157704908 edges,
lola: 93 tries, 92191014 fired transitions, 1265 secs || 48101213 markings, 158342551 edges,
lola: 93 tries, 92523078 fired transitions, 1270 secs || 48274473 markings, 158911342 edges,
lola: 93 tries, 92855033 fired transitions, 1275 secs || 48453098 markings, 159450966 edges,
lola: 94 tries, 93186129 fired transitions, 1280 secs || 48626173 markings, 159980861 edges,
lola: 94 tries, 93502596 fired transitions, 1285 secs || 48793296 markings, 160495390 edges,
lola: 94 tries, 93823552 fired transitions, 1290 secs || 48957097 markings, 161069558 edges,
lola: 95 tries, 94154568 fired transitions, 1295 secs || 49129364 markings, 161678797 edges,
lola: 95 tries, 94486348 fired transitions, 1300 secs || 49300114 markings, 162309912 edges,
lola: 95 tries, 94811505 fired transitions, 1305 secs || 49468359 markings, 162944348 edges,
lola: 96 tries, 95154770 fired transitions, 1310 secs || 49650147 markings, 163596108 edges,
lola: 96 tries, 95535774 fired transitions, 1315 secs || 49853587 markings, 164208530 edges,
lola: 96 tries, 95920875 fired transitions, 1320 secs || 50054868 markings, 164824626 edges,
lola: 97 tries, 96234280 fired transitions, 1325 secs || 50221054 markings, 165332801 edges,
lola: 97 tries, 96566570 fired transitions, 1330 secs || 50395076 markings, 165881911 edges,
lola: 97 tries, 96897250 fired transitions, 1335 secs || 50566972 markings, 166458035 edges,
lola: 98 tries, 97226040 fired transitions, 1340 secs || 50739894 markings, 167023166 edges,
lola: 98 tries, 97552316 fired transitions, 1345 secs || 50913646 markings, 167582469 edges,
lola: 98 tries, 97883933 fired transitions, 1350 secs || 51082594 markings, 168236049 edges,
lola: 99 tries, 98216548 fired transitions, 1355 secs || 51249138 markings, 168881610 edges,
lola: 99 tries, 98544960 fired transitions, 1360 secs || 51422172 markings, 169554244 edges,
lola: 99 tries, 98879583 fired transitions, 1365 secs || 51603808 markings, 170166323 edges,
lola: 100 tries, 99210214 fired transitions, 1370 secs || 51785931 markings, 170721015 edges,
lola: 100 tries, 99539162 fired transitions, 1375 secs || 51968052 markings, 171281337 edges,
lola: 100 tries, 99870227 fired transitions, 1380 secs || 52144198 markings, 171876441 edges,
lola: 101 tries, 100196760 fired transitions, 1385 secs || 52311266 markings, 172483093 edges,
lola: 101 tries, 100518931 fired transitions, 1390 secs || 52487071 markings, 173017702 edges,
lola: 101 tries, 100835013 fired transitions, 1395 secs || 52659192 markings, 173545679 edges,
lola: 102 tries, 101165176 fired transitions, 1400 secs || 52828367 markings, 174170647 edges,
lola: 102 tries, 101489459 fired transitions, 1405 secs || 52999666 markings, 174720505 edges,
lola: 102 tries, 101813260 fired transitions, 1410 secs || 53175565 markings, 175256346 edges,
lola: 103 tries, 102145893 fired transitions, 1415 secs || 53360983 markings, 175814831 edges,
lola: 103 tries, 102476434 fired transitions, 1420 secs || 53537007 markings, 176348494 edges,
lola: 103 tries, 102810100 fired transitions, 1425 secs || 53718771 markings, 176901363 edges,
lola: 104 tries, 103129648 fired transitions, 1430 secs || 53894552 markings, 177447886 edges,
lola: 104 tries, 103443993 fired transitions, 1435 secs || 54064186 markings, 177971029 edges,
lola: 104 tries, 103770271 fired transitions, 1440 secs || 54241735 markings, 178513435 edges,
lola: 105 tries, 104099356 fired transitions, 1445 secs || 54418175 markings, 179086819 edges,
lola: 105 tries, 104431934 fired transitions, 1450 secs || 54593665 markings, 179649882 edges,
lola: 105 tries, 104764853 fired transitions, 1455 secs || 54773800 markings, 180191951 edges,
lola: 106 tries, 105098102 fired transitions, 1460 secs || 54951143 markings, 180725130 edges,
lola: 106 tries, 105427249 fired transitions, 1465 secs || 55127341 markings, 181265608 edges,
lola: 106 tries, 105754572 fired transitions, 1470 secs || 55301017 markings, 181801918 edges,
lola: 107 tries, 106069706 fired transitions, 1475 secs || 55469319 markings, 182310123 edges,
lola: 107 tries, 106385557 fired transitions, 1480 secs || 55639215 markings, 182844307 edges,
lola: 107 tries, 106709601 fired transitions, 1485 secs || 55814950 markings, 183378132 edges,
lola: 108 tries, 107040444 fired transitions, 1490 secs || 55989108 markings, 183964068 edges,
lola: 108 tries, 107373898 fired transitions, 1495 secs || 56165795 markings, 184543801 edges,
lola: 108 tries, 107700831 fired transitions, 1500 secs || 56335742 markings, 185133022 edges,
lola: 109 tries, 108034395 fired transitions, 1505 secs || 56505498 markings, 185745957 edges,
lola: 109 tries, 108364577 fired transitions, 1510 secs || 56679559 markings, 186290188 edges,
lola: 109 tries, 108690214 fired transitions, 1515 secs || 56850839 markings, 186811098 edges,
lola: 110 tries, 109024150 fired transitions, 1520 secs || 57031857 markings, 187349678 edges,
lola: 110 tries, 109356478 fired transitions, 1525 secs || 57208943 markings, 187918796 edges,
lola: 110 tries, 109683761 fired transitions, 1530 secs || 57387354 markings, 188472307 edges,
lola: 111 tries, 110017670 fired transitions, 1535 secs || 57569669 markings, 189028535 edges,
lola: 111 tries, 110350971 fired transitions, 1540 secs || 57743511 markings, 189599701 edges,
lola: 111 tries, 110680954 fired transitions, 1545 secs || 57916997 markings, 190131639 edges,
lola: 112 tries, 111033159 fired transitions, 1550 secs || 58102364 markings, 190684258 edges,
lola: 112 tries, 111353708 fired transitions, 1555 secs || 58270703 markings, 191200896 edges,
lola: 112 tries, 111681301 fired transitions, 1560 secs || 58447193 markings, 191747693 edges,
lola: 113 tries, 112012866 fired transitions, 1565 secs || 58621669 markings, 192281578 edges,
lola: 113 tries, 112346438 fired transitions, 1570 secs || 58796535 markings, 192810756 edges,
lola: 113 tries, 112677015 fired transitions, 1575 secs || 58971578 markings, 193341389 edges,
lola: 113 tries, 112991579 fired transitions, 1580 secs || 59139591 markings, 193844690 edges,
lola: 114 tries, 113325529 fired transitions, 1585 secs || 59313159 markings, 194368167 edges,
lola: 114 tries, 113654100 fired transitions, 1590 secs || 59490428 markings, 194902960 edges,
lola: 114 tries, 113975500 fired transitions, 1595 secs || 59663991 markings, 195419441 edges,
lola: 115 tries, 114308119 fired transitions, 1600 secs || 59838250 markings, 195957321 edges,
lola: 115 tries, 114634551 fired transitions, 1605 secs || 60009290 markings, 196482678 edges,
lola: 115 tries, 114966608 fired transitions, 1610 secs || 60177594 markings, 197069217 edges,
lola: 116 tries, 115298056 fired transitions, 1615 secs || 60340395 markings, 197736954 edges,
lola: 116 tries, 115625631 fired transitions, 1620 secs || 60501569 markings, 198379187 edges,
lola: 116 tries, 115953429 fired transitions, 1625 secs || 60665157 markings, 199023401 edges,
lola: 117 tries, 116278405 fired transitions, 1630 secs || 60830795 markings, 199578882 edges,
lola: 117 tries, 116609694 fired transitions, 1635 secs || 60994141 markings, 200241768 edges,
lola: 117 tries, 116925427 fired transitions, 1640 secs || 61154016 markings, 200813018 edges,
lola: 118 tries, 117248928 fired transitions, 1645 secs || 61324945 markings, 201325924 edges,
lola: 118 tries, 117576823 fired transitions, 1650 secs || 61495900 markings, 201856005 edges,
lola: 118 tries, 117903102 fired transitions, 1655 secs || 61664601 markings, 202371706 edges,
lola: 119 tries, 118236089 fired transitions, 1660 secs || 61839460 markings, 202898415 edges,
lola: 119 tries, 118563750 fired transitions, 1665 secs || 62010805 markings, 203430945 edges,
lola: 119 tries, 118880958 fired transitions, 1670 secs || 62179208 markings, 203946927 edges,
lola: 120 tries, 119204181 fired transitions, 1675 secs || 62351332 markings, 204481718 edges,
lola: 120 tries, 119537156 fired transitions, 1680 secs || 62524109 markings, 205005181 edges,
lola: 120 tries, 119860818 fired transitions, 1685 secs || 62692924 markings, 205529255 edges,
lola: 121 tries, 120179811 fired transitions, 1690 secs || 62859732 markings, 206037395 edges,
lola: 121 tries, 120504885 fired transitions, 1695 secs || 63027027 markings, 206550854 edges,
lola: 121 tries, 120828201 fired transitions, 1700 secs || 63196135 markings, 207060919 edges,
lola: 122 tries, 121151857 fired transitions, 1705 secs || 63371144 markings, 207577018 edges,
lola: 122 tries, 121466891 fired transitions, 1710 secs || 63532833 markings, 208069930 edges,
lola: 122 tries, 121794307 fired transitions, 1715 secs || 63702449 markings, 208587805 edges,
lola: 123 tries, 122121265 fired transitions, 1720 secs || 63875009 markings, 209125135 edges,
lola: 123 tries, 122454185 fired transitions, 1725 secs || 64049440 markings, 209663744 edges,
lola: 123 tries, 122784507 fired transitions, 1730 secs || 64219869 markings, 210247468 edges,
lola: 124 tries, 123116996 fired transitions, 1735 secs || 64395894 markings, 210914588 edges,
lola: 124 tries, 123445048 fired transitions, 1740 secs || 64567385 markings, 211595417 edges,
lola: 124 tries, 123777111 fired transitions, 1745 secs || 64738412 markings, 212264050 edges,
lola: 125 tries, 124107030 fired transitions, 1750 secs || 64905281 markings, 212925403 edges,
lola: 125 tries, 124439601 fired transitions, 1755 secs || 65078192 markings, 213611323 edges,
lola: 125 tries, 124772719 fired transitions, 1760 secs || 65245223 markings, 214265241 edges,
lola: 126 tries, 125106922 fired transitions, 1765 secs || 65415229 markings, 214906137 edges,
lola: 126 tries, 125439699 fired transitions, 1770 secs || 65588091 markings, 215492728 edges,
lola: 126 tries, 125773182 fired transitions, 1775 secs || 65758484 markings, 216129448 edges,
lola: 127 tries, 126104228 fired transitions, 1780 secs || 65923436 markings, 216799459 edges,
lola: 127 tries, 126416018 fired transitions, 1785 secs || 66076173 markings, 217416793 edges,
lola: 127 tries, 126745008 fired transitions, 1790 secs || 66243980 markings, 218012477 edges,
lola: 128 tries, 127066580 fired transitions, 1795 secs || 66416475 markings, 218532806 edges,
lola: 128 tries, 127399821 fired transitions, 1800 secs || 66593704 markings, 219076517 edges,
lola: 128 tries, 127734232 fired transitions, 1805 secs || 66772519 markings, 219612172 edges,
lola: 129 tries, 128067106 fired transitions, 1810 secs || 66946860 markings, 220145547 edges,
lola: 129 tries, 128402307 fired transitions, 1815 secs || 67123227 markings, 220673011 edges,
lola: 129 tries, 128734915 fired transitions, 1820 secs || 67298797 markings, 221208422 edges,
lola: 130 tries, 129062617 fired transitions, 1825 secs || 67472685 markings, 221749384 edges,
lola: 130 tries, 129384989 fired transitions, 1830 secs || 67642319 markings, 222277487 edges,
lola: 130 tries, 129714553 fired transitions, 1835 secs || 67806218 markings, 222915374 edges,
lola: 131 tries, 130047213 fired transitions, 1840 secs || 67972838 markings, 223597323 edges,
lola: 131 tries, 130367139 fired transitions, 1845 secs || 68133489 markings, 224189071 edges,
lola: 131 tries, 130683523 fired transitions, 1850 secs || 68291183 markings, 224783742 edges,
lola: 132 tries, 131008886 fired transitions, 1855 secs || 68460794 markings, 225308752 edges,
lola: 132 tries, 131334586 fired transitions, 1860 secs || 68632036 markings, 225840419 edges,
lola: 132 tries, 131661730 fired transitions, 1865 secs || 68805114 markings, 226364718 edges,
lola: 132 tries, 131993478 fired transitions, 1870 secs || 68981056 markings, 226911933 edges,
lola: 133 tries, 132325406 fired transitions, 1875 secs || 69154242 markings, 227448186 edges,
lola: 133 tries, 132656396 fired transitions, 1880 secs || 69324143 markings, 227999097 edges,
lola: 133 tries, 132988046 fired transitions, 1885 secs || 69500197 markings, 228545290 edges,
lola: 134 tries, 133320069 fired transitions, 1890 secs || 69672965 markings, 229107050 edges,
lola: 134 tries, 133651717 fired transitions, 1895 secs || 69848355 markings, 229657738 edges,
lola: 134 tries, 133982179 fired transitions, 1900 secs || 70019521 markings, 230223963 edges,
lola: 135 tries, 134308890 fired transitions, 1905 secs || 70188428 markings, 230795457 edges,
lola: 135 tries, 134636202 fired transitions, 1910 secs || 70361772 markings, 231361387 edges,
lola: 135 tries, 134951667 fired transitions, 1915 secs || 70530885 markings, 231893940 edges,
lola: 136 tries, 135266564 fired transitions, 1920 secs || 70698506 markings, 232447405 edges,
lola: 136 tries, 135577187 fired transitions, 1925 secs || 70859482 markings, 232967054 edges,
lola: 136 tries, 135892117 fired transitions, 1930 secs || 71025857 markings, 233502764 edges,
lola: 137 tries, 136206163 fired transitions, 1935 secs || 71189102 markings, 234058779 edges,
lola: 137 tries, 136514306 fired transitions, 1940 secs || 71351881 markings, 234556041 edges,
lola: 137 tries, 136836520 fired transitions, 1945 secs || 71526210 markings, 235076082 edges,
lola: 138 tries, 137164124 fired transitions, 1950 secs || 71699669 markings, 235622122 edges,
lola: 138 tries, 137484232 fired transitions, 1955 secs || 71863052 markings, 236147450 edges,
lola: 138 tries, 137808103 fired transitions, 1960 secs || 72028436 markings, 236687408 edges,
lola: 139 tries, 138130701 fired transitions, 1965 secs || 72196436 markings, 237236426 edges,
lola: 139 tries, 138452643 fired transitions, 1970 secs || 72367258 markings, 237768484 edges,
lola: 139 tries, 138763823 fired transitions, 1975 secs || 72523182 markings, 238279829 edges,
lola: 140 tries, 139078364 fired transitions, 1980 secs || 72678552 markings, 238800589 edges,
lola: 140 tries, 139387104 fired transitions, 1985 secs || 72828310 markings, 239309367 edges,
lola: 140 tries, 139707080 fired transitions, 1990 secs || 72986305 markings, 239862988 edges,
lola: 141 tries, 140032284 fired transitions, 1995 secs || 73147333 markings, 240413433 edges,
lola: 141 tries, 140358356 fired transitions, 2000 secs || 73305684 markings, 240967415 edges,
lola: 141 tries, 140684464 fired transitions, 2005 secs || 73465569 markings, 241517415 edges,
lola: 142 tries, 141004496 fired transitions, 2010 secs || 73623971 markings, 242074964 edges,
lola: 142 tries, 141331540 fired transitions, 2015 secs || 73785583 markings, 242616811 edges,
lola: 142 tries, 141648356 fired transitions, 2020 secs || 73937704 markings, 243133892 edges,
lola: 142 tries, 141961490 fired transitions, 2025 secs || 74091682 markings, 243655025 edges,
lola: 143 tries, 142290418 fired transitions, 2030 secs || 74254930 markings, 244218404 edges,
lola: 143 tries, 142622320 fired transitions, 2035 secs || 74419402 markings, 244783211 edges,
lola: 143 tries, 142950862 fired transitions, 2040 secs || 74578563 markings, 245371790 edges,
lola: 144 tries, 143275622 fired transitions, 2045 secs || 74736326 markings, 245935163 edges,
lola: 144 tries, 143607861 fired transitions, 2050 secs || 74902777 markings, 246496913 edges,
lola: 144 tries, 143938975 fired transitions, 2055 secs || 75068688 markings, 247055825 edges,
lola: 145 tries, 144267184 fired transitions, 2060 secs || 75230002 markings, 247605503 edges,
lola: 145 tries, 144600118 fired transitions, 2065 secs || 75392066 markings, 248169409 edges,
lola: 145 tries, 144927234 fired transitions, 2070 secs || 75552768 markings, 248722817 edges,
lola: 146 tries, 145251278 fired transitions, 2075 secs || 75709671 markings, 249278925 edges,
lola: 146 tries, 145573821 fired transitions, 2080 secs || 75867694 markings, 249808647 edges,
lola: 146 tries, 145898894 fired transitions, 2085 secs || 76027851 markings, 250365193 edges,
lola: 147 tries, 146227702 fired transitions, 2090 secs || 76190667 markings, 250933171 edges,
lola: 147 tries, 146551698 fired transitions, 2095 secs || 76350112 markings, 251481005 edges,
lola: 147 tries, 146868194 fired transitions, 2100 secs || 76504171 markings, 252003488 edges,
lola: 148 tries, 147174710 fired transitions, 2105 secs || 76653161 markings, 252526400 edges,
lola: 148 tries, 147486632 fired transitions, 2110 secs || 76803645 markings, 253058642 edges,
lola: 148 tries, 147792378 fired transitions, 2115 secs || 76953445 markings, 253561434 edges,
lola: 149 tries, 148107110 fired transitions, 2120 secs || 77108466 markings, 254086489 edges,
lola: 149 tries, 148427168 fired transitions, 2125 secs || 77266720 markings, 254630221 edges,
lola: 149 tries, 148749728 fired transitions, 2130 secs || 77423947 markings, 255160566 edges,
lola: 150 tries, 149080406 fired transitions, 2135 secs || 77584092 markings, 255717318 edges,
lola: 150 tries, 149412772 fired transitions, 2140 secs || 77743760 markings, 256308008 edges,
lola: 150 tries, 149739174 fired transitions, 2145 secs || 77902367 markings, 256852183 edges,
lola: 151 tries, 150067564 fired transitions, 2150 secs || 78058846 markings, 257393028 edges,
lola: 151 tries, 150400512 fired transitions, 2155 secs || 78220271 markings, 257954546 edges,
lola: 151 tries, 150731046 fired transitions, 2160 secs || 78381053 markings, 258521717 edges,
lola: 152 tries, 151062772 fired transitions, 2165 secs || 78544038 markings, 259083944 edges,
lola: 152 tries, 151389518 fired transitions, 2170 secs || 78707135 markings, 259637468 edges,
lola: 152 tries, 151717168 fired transitions, 2175 secs || 78870666 markings, 260203013 edges,
lola: 153 tries, 152048726 fired transitions, 2180 secs || 79033783 markings, 260776422 edges,
lola: 153 tries, 152372494 fired transitions, 2185 secs || 79191696 markings, 261327731 edges,
lola: 153 tries, 152699988 fired transitions, 2190 secs || 79352693 markings, 261893360 edges,
lola: 154 tries, 153100496 fired transitions, 2195 secs || 79561337 markings, 262602980 edges,
lola: 154 tries, 153497164 fired transitions, 2200 secs || 79755372 markings, 263257287 edges,
lola: 154 tries, 153812066 fired transitions, 2205 secs || 79907288 markings, 263784063 edges,
lola: 155 tries, 154142988 fired transitions, 2210 secs || 80061982 markings, 264437799 edges,
lola: 155 tries, 154473052 fired transitions, 2215 secs || 80219284 markings, 265067015 edges,
lola: 155 tries, 154805578 fired transitions, 2220 secs || 80377266 markings, 265617406 edges,
lola: 156 tries, 155134896 fired transitions, 2225 secs || 80534623 markings, 266165303 edges,
lola: 156 tries, 155465924 fired transitions, 2230 secs || 80691783 markings, 266708066 edges,
lola: 156 tries, 155798460 fired transitions, 2235 secs || 80851602 markings, 267254641 edges,
lola: 157 tries, 156121268 fired transitions, 2240 secs || 81004791 markings, 267780721 edges,
lola: 157 tries, 156452466 fired transitions, 2245 secs || 81163232 markings, 268335056 edges,
lola: 157 tries, 156779232 fired transitions, 2250 secs || 81321998 markings, 268893764 edges,
lola: 158 tries, 157101330 fired transitions, 2255 secs || 81482132 markings, 269550151 edges,
lola: 158 tries, 157427155 fired transitions, 2260 secs || 81643697 markings, 270207032 edges,
lola: 158 tries, 157757175 fired transitions, 2265 secs || 81808270 markings, 270878839 edges,
lola: 159 tries, 158090140 fired transitions, 2270 secs || 81970521 markings, 271537192 edges,
lola: 159 tries, 158418482 fired transitions, 2275 secs || 82130005 markings, 272106658 edges,
lola: 159 tries, 158749460 fired transitions, 2280 secs || 82292140 markings, 272652176 edges,
lola: 160 tries, 159081406 fired transitions, 2285 secs || 82455576 markings, 273211671 edges,
lola: 160 tries, 159406742 fired transitions, 2290 secs || 82615016 markings, 273752641 edges,
lola: 160 tries, 159733067 fired transitions, 2295 secs || 82771691 markings, 274296184 edges,
lola: 161 tries, 160065112 fired transitions, 2300 secs || 82932922 markings, 274853693 edges,
lola: 161 tries, 160386720 fired transitions, 2305 secs || 83090380 markings, 275436821 edges,
lola: 161 tries, 160716525 fired transitions, 2310 secs || 83253520 markings, 276099231 edges,
lola: 162 tries, 161041710 fired transitions, 2315 secs || 83413195 markings, 276749208 edges,
lola: 162 tries, 161372798 fired transitions, 2320 secs || 83576619 markings, 277418503 edges,
lola: 162 tries, 161703668 fired transitions, 2325 secs || 83738498 markings, 278077241 edges,
lola: 163 tries, 162034065 fired transitions, 2330 secs || 83900723 markings, 278732628 edges,
lola: 163 tries, 162361249 fired transitions, 2335 secs || 84061058 markings, 279383192 edges,
lola: 163 tries, 162691726 fired transitions, 2340 secs || 84223526 markings, 280032201 edges,
lola: 164 tries, 163016180 fired transitions, 2345 secs || 84379128 markings, 280595191 edges,
lola: 164 tries, 163395281 fired transitions, 2350 secs || 84558146 markings, 281200677 edges,
lola: 164 tries, 163830488 fired transitions, 2355 secs || 84763328 markings, 281900853 edges,
lola: 165 tries, 164258556 fired transitions, 2360 secs || 84974968 markings, 282609676 edges,
lola: 165 tries, 164698607 fired transitions, 2365 secs || 85176824 markings, 283293440 edges,
lola: 166 tries, 165103562 fired transitions, 2370 secs || 85379553 markings, 283994796 edges,
lola: 166 tries, 165436094 fired transitions, 2375 secs || 85539292 markings, 284626679 edges,
lola: 166 tries, 165764472 fired transitions, 2380 secs || 85696951 markings, 285297351 edges,
lola: 167 tries, 166094390 fired transitions, 2385 secs || 85853862 markings, 285966460 edges,
lola: 167 tries, 166425330 fired transitions, 2390 secs || 86010360 markings, 286631771 edges,
lola: 167 tries, 166755527 fired transitions, 2395 secs || 86165522 markings, 287303802 edges,
lola: 168 tries, 167088554 fired transitions, 2400 secs || 86327661 markings, 287921956 edges,
lola: 168 tries, 167420074 fired transitions, 2405 secs || 86487772 markings, 288471624 edges,
lola: 168 tries, 167746659 fired transitions, 2410 secs || 86648107 markings, 289029041 edges,
lola: 169 tries, 168075136 fired transitions, 2415 secs || 86807684 markings, 289576095 edges,
lola: 169 tries, 168406316 fired transitions, 2420 secs || 86965865 markings, 290132716 edges,
lola: 169 tries, 168731606 fired transitions, 2425 secs || 87124875 markings, 290687119 edges,
lola: 170 tries, 169045618 fired transitions, 2430 secs || 87272443 markings, 291194822 edges,
lola: 170 tries, 169353672 fired transitions, 2435 secs || 87419743 markings, 291699971 edges,
lola: 170 tries, 169670952 fired transitions, 2440 secs || 87570898 markings, 292225848 edges,
lola: 171 tries, 170000306 fired transitions, 2445 secs || 87727316 markings, 292770519 edges,
lola: 171 tries, 170331778 fired transitions, 2450 secs || 87885237 markings, 293320154 edges,
lola: 171 tries, 170662368 fired transitions, 2455 secs || 88044172 markings, 293870947 edges,
lola: 171 tries, 170978360 fired transitions, 2460 secs || 88194462 markings, 294377657 edges,
lola: 172 tries, 171293050 fired transitions, 2465 secs || 88345756 markings, 294913399 edges,
lola: 172 tries, 171599688 fired transitions, 2470 secs || 88492606 markings, 295421418 edges,
lola: 172 tries, 171922510 fired transitions, 2475 secs || 88650110 markings, 295975925 edges,
lola: 173 tries, 172251484 fired transitions, 2480 secs || 88807896 markings, 296527777 edges,
lola: 173 tries, 172584266 fired transitions, 2485 secs || 88970164 markings, 297192436 edges,
lola: 173 tries, 172912478 fired transitions, 2490 secs || 89133153 markings, 297851500 edges,
lola: 174 tries, 173241671 fired transitions, 2495 secs || 89295390 markings, 298518095 edges,
lola: 174 tries, 173572242 fired transitions, 2500 secs || 89457627 markings, 299178836 edges,
lola: 174 tries, 173903685 fired transitions, 2505 secs || 89620750 markings, 299845608 edges,
lola: 175 tries, 174234795 fired transitions, 2510 secs || 89781083 markings, 300505107 edges,
lola: 175 tries, 174567725 fired transitions, 2515 secs || 89939515 markings, 301060514 edges,
lola: 175 tries, 174898709 fired transitions, 2520 secs || 90096944 markings, 301614733 edges,
lola: 176 tries, 175230784 fired transitions, 2525 secs || 90253865 markings, 302166933 edges,
lola: 176 tries, 175562690 fired transitions, 2530 secs || 90413680 markings, 302725778 edges,
lola: 176 tries, 175895324 fired transitions, 2535 secs || 90574710 markings, 303281984 edges,
lola: 177 tries, 176215326 fired transitions, 2540 secs || 90729191 markings, 303811164 edges,
lola: 177 tries, 176541190 fired transitions, 2545 secs || 90882766 markings, 304332866 edges,
lola: 177 tries, 176866274 fired transitions, 2550 secs || 91037162 markings, 304872121 edges,
lola: 178 tries, 177199890 fired transitions, 2555 secs || 91199261 markings, 305428057 edges,
lola: 178 tries, 177532662 fired transitions, 2560 secs || 91359429 markings, 305986825 edges,
lola: 178 tries, 177864966 fired transitions, 2565 secs || 91518576 markings, 306559657 edges,
lola: 179 tries, 178195468 fired transitions, 2570 secs || 91678921 markings, 307138186 edges,
lola: 179 tries, 178528242 fired transitions, 2575 secs || 91837240 markings, 307686550 edges,
lola: 179 tries, 178858552 fired transitions, 2580 secs || 91996631 markings, 308246449 edges,
lola: 180 tries, 179186844 fired transitions, 2585 secs || 92154877 markings, 308822389 edges,
lola: 180 tries, 179519566 fired transitions, 2590 secs || 92313018 markings, 309377574 edges,
lola: 180 tries, 179851828 fired transitions, 2595 secs || 92470897 markings, 309920010 edges,
lola: 181 tries, 180183530 fired transitions, 2600 secs || 92631169 markings, 310505390 edges,
lola: 181 tries, 180515406 fired transitions, 2605 secs || 92790704 markings, 311065115 edges,
lola: 181 tries, 180836894 fired transitions, 2610 secs || 92950364 markings, 311604304 edges,
lola: 182 tries, 181166890 fired transitions, 2615 secs || 93112891 markings, 312163363 edges,
lola: 182 tries, 181489928 fired transitions, 2620 secs || 93264545 markings, 312695376 edges,
lola: 182 tries, 181799718 fired transitions, 2625 secs || 93409219 markings, 313205190 edges,
lola: 183 tries, 182114454 fired transitions, 2630 secs || 93555143 markings, 313720436 edges,
lola: 183 tries, 182429488 fired transitions, 2635 secs || 93704427 markings, 314235639 edges,
lola: 183 tries, 182742818 fired transitions, 2640 secs || 93852809 markings, 314741520 edges,
lola: 184 tries, 183056542 fired transitions, 2645 secs || 94001881 markings, 315262293 edges,
lola: 184 tries, 183366099 fired transitions, 2650 secs || 94150599 markings, 315788504 edges,
lola: 184 tries, 183672101 fired transitions, 2655 secs || 94297371 markings, 316306419 edges,
lola: 184 tries, 183980317 fired transitions, 2660 secs || 94445291 markings, 316825364 edges,
lola: 185 tries, 184291812 fired transitions, 2665 secs || 94594852 markings, 317332710 edges,
lola: 185 tries, 184598476 fired transitions, 2670 secs || 94743619 markings, 317833279 edges,
lola: 185 tries, 184912198 fired transitions, 2675 secs || 94889924 markings, 318341210 edges,
lola: 186 tries, 185220158 fired transitions, 2680 secs || 95037500 markings, 318907593 edges,
lola: 186 tries, 185535034 fired transitions, 2685 secs || 95187609 markings, 319511733 edges,
lola: 186 tries, 185855456 fired transitions, 2690 secs || 95341960 markings, 320082482 edges,
lola: 187 tries, 186182809 fired transitions, 2695 secs || 95499620 markings, 320742688 edges,
lola: 187 tries, 186515203 fired transitions, 2700 secs || 95662984 markings, 321411561 edges,
lola: 187 tries, 186839488 fired transitions, 2705 secs || 95824053 markings, 322064899 edges,
lola: 188 tries, 187172341 fired transitions, 2710 secs || 95986332 markings, 322725054 edges,
lola: 188 tries, 187492296 fired transitions, 2715 secs || 96145535 markings, 323372925 edges,
lola: 188 tries, 187824908 fired transitions, 2720 secs || 96308732 markings, 324032220 edges,
lola: 189 tries, 188156920 fired transitions, 2725 secs || 96472887 markings, 324606579 edges,
lola: 189 tries, 188489854 fired transitions, 2730 secs || 96635412 markings, 325161637 edges,
lola: 189 tries, 188822612 fired transitions, 2735 secs || 96794037 markings, 325700829 edges,
lola: 190 tries, 189154776 fired transitions, 2740 secs || 96954268 markings, 326240334 edges,
lola: 190 tries, 189480586 fired transitions, 2745 secs || 97114431 markings, 326778146 edges,
lola: 190 tries, 189802988 fired transitions, 2750 secs || 97274541 markings, 327316690 edges,
lola: 191 tries, 190118308 fired transitions, 2755 secs || 97427454 markings, 327931250 edges,
lola: 191 tries, 190430970 fired transitions, 2760 secs || 97578301 markings, 328477618 edges,
lola: 191 tries, 190735608 fired transitions, 2765 secs || 97722730 markings, 329053711 edges,
lola: 192 tries, 191054242 fired transitions, 2770 secs || 97874152 markings, 329691574 edges,
lola: 192 tries, 191364974 fired transitions, 2775 secs || 98020632 markings, 330315019 edges,
lola: 192 tries, 191675512 fired transitions, 2780 secs || 98168149 markings, 330937951 edges,
lola: 192 tries, 191986264 fired transitions, 2785 secs || 98318296 markings, 331512201 edges,
lola: 193 tries, 192297381 fired transitions, 2790 secs || 98465154 markings, 332137951 edges,
lola: 193 tries, 192607779 fired transitions, 2795 secs || 98613360 markings, 332711529 edges,
lola: 193 tries, 192921865 fired transitions, 2800 secs || 98766130 markings, 333233003 edges,
lola: 194 tries, 193232875 fired transitions, 2805 secs || 98915602 markings, 333748840 edges,
lola: 194 tries, 193547830 fired transitions, 2810 secs || 99065402 markings, 334267789 edges,
lola: 194 tries, 193858802 fired transitions, 2815 secs || 99218656 markings, 334786115 edges,
lola: 195 tries, 194166980 fired transitions, 2820 secs || 99367540 markings, 335298476 edges,
lola: 195 tries, 194479338 fired transitions, 2825 secs || 99518798 markings, 335807455 edges,
lola: 195 tries, 194792394 fired transitions, 2830 secs || 99668791 markings, 336334741 edges,
lola: 196 tries, 195103418 fired transitions, 2835 secs || 99816201 markings, 336956479 edges,
lola: 196 tries, 195418636 fired transitions, 2840 secs || 99970901 markings, 337609885 edges,
lola: 196 tries, 195734521 fired transitions, 2845 secs || 100124933 markings, 338261828 edges,
lola: 197 tries, 196049784 fired transitions, 2850 secs || 100279159 markings, 338826709 edges,
lola: 197 tries, 196366734 fired transitions, 2855 secs || 100433941 markings, 339361724 edges,
lola: 197 tries, 196681612 fired transitions, 2860 secs || 100590656 markings, 339946537 edges,
lola: 197 tries, 196987421 fired transitions, 2865 secs || 100747510 markings, 340543462 edges,
lola: 198 tries, 197302215 fired transitions, 2870 secs || 100906950 markings, 341114088 edges,
lola: 198 tries, 197618323 fired transitions, 2875 secs || 101059024 markings, 341698553 edges,
lola: 198 tries, 197928473 fired transitions, 2880 secs || 101209849 markings, 342219177 edges,
lola: 199 tries, 198242452 fired transitions, 2885 secs || 101356090 markings, 342731827 edges,
lola: 199 tries, 198547429 fired transitions, 2890 secs || 101500523 markings, 343227573 edges,
lola: 199 tries, 198857070 fired transitions, 2895 secs || 101646823 markings, 343745206 edges,
lola: 200 tries, 199170638 fired transitions, 2900 secs || 101799483 markings, 344314847 edges,
lola: 200 tries, 199484356 fired transitions, 2905 secs || 101950883 markings, 344912243 edges,
lola: 200 tries, 199795988 fired transitions, 2910 secs || 102099268 markings, 345516667 edges,
lola: 201 tries, 200109626 fired transitions, 2915 secs || 102250995 markings, 346054759 edges,
lola: 201 tries, 200423591 fired transitions, 2920 secs || 102402825 markings, 346578112 edges,
lola: 201 tries, 200736737 fired transitions, 2925 secs || 102553934 markings, 347100052 edges,
lola: 202 tries, 201051960 fired transitions, 2930 secs || 102706108 markings, 347637223 edges,
lola: 202 tries, 201367494 fired transitions, 2935 secs || 102858202 markings, 348187649 edges,
lola: 202 tries, 201676922 fired transitions, 2940 secs || 103008630 markings, 348693668 edges,
lola: 202 tries, 201990726 fired transitions, 2945 secs || 103162508 markings, 349213931 edges,
lola: 203 tries, 202299296 fired transitions, 2950 secs || 103312791 markings, 349714478 edges,
lola: 203 tries, 202604336 fired transitions, 2955 secs || 103459570 markings, 350214945 edges,
lola: 203 tries, 202918157 fired transitions, 2960 secs || 103609852 markings, 350724677 edges,
lola: 204 tries, 203233032 fired transitions, 2965 secs || 103764460 markings, 351245348 edges,
lola: 204 tries, 203544912 fired transitions, 2970 secs || 103915868 markings, 351760756 edges,
lola: 204 tries, 203858104 fired transitions, 2975 secs || 104064814 markings, 352276715 edges,
lola: 205 tries, 204173988 fired transitions, 2980 secs || 104214615 markings, 352793528 edges,
lola: 205 tries, 204479404 fired transitions, 2985 secs || 104361898 markings, 353297155 edges,
lola: 205 tries, 204793636 fired transitions, 2990 secs || 104509958 markings, 353810662 edges,
lola: 206 tries, 205109992 fired transitions, 2995 secs || 104657733 markings, 354323803 edges,
lola: 206 tries, 205427026 fired transitions, 3000 secs || 104811946 markings, 354950164 edges,
lola: 206 tries, 205737147 fired transitions, 3005 secs || 104961251 markings, 355557912 edges,
lola: 207 tries, 206059637 fired transitions, 3010 secs || 105125634 markings, 356216196 edges,
lola: 207 tries, 206505229 fired transitions, 3015 secs || 105317134 markings, 356862785 edges,
lola: 207 tries, 206947290 fired transitions, 3020 secs || 105510675 markings, 357520681 edges,
lola: 208 tries, 207374609 fired transitions, 3025 secs || 105712846 markings, 358207211 edges,
lola: 208 tries, 207819621 fired transitions, 3030 secs || 105903048 markings, 358860947 edges,
lola: 209 tries, 208263642 fired transitions, 3035 secs || 106095815 markings, 359519008 edges,
lola: 209 tries, 208707773 fired transitions, 3040 secs || 106289089 markings, 360174646 edges,
lola: 210 tries, 209155840 fired transitions, 3045 secs || 106481157 markings, 360825957 edges,
lola: 210 tries, 209574789 fired transitions, 3050 secs || 106675683 markings, 361482494 edges,
lola: 211 tries, 210013659 fired transitions, 3055 secs || 106867553 markings, 362129529 edges,
lola: 211 tries, 210442352 fired transitions, 3060 secs || 107060678 markings, 362791590 edges,
lola: 211 tries, 210863498 fired transitions, 3065 secs || 107256070 markings, 363458807 edges,
lola: 212 tries, 211296377 fired transitions, 3070 secs || 107448714 markings, 364108631 edges,
lola: 212 tries, 211741372 fired transitions, 3075 secs || 107639198 markings, 364756953 edges,
lola: 213 tries, 212185634 fired transitions, 3080 secs || 107830138 markings, 365406264 edges,
lola: 213 tries, 212623783 fired transitions, 3085 secs || 108021959 markings, 366059664 edges,
lola: 214 tries, 213062121 fired transitions, 3090 secs || 108212395 markings, 366709588 edges,
lola: 214 tries, 213506481 fired transitions, 3095 secs || 108401077 markings, 367348136 edges,
lola: 214 tries, 213951376 fired transitions, 3100 secs || 108587650 markings, 367971194 edges,
lola: 215 tries, 214395265 fired transitions, 3105 secs || 108780077 markings, 368629045 edges,
lola: 215 tries, 214845966 fired transitions, 3110 secs || 108968302 markings, 369280656 edges,
lola: 216 tries, 215292633 fired transitions, 3115 secs || 109158406 markings, 369924142 edges,
lola: 216 tries, 215738944 fired transitions, 3120 secs || 109348558 markings, 370570945 edges,
lola: 217 tries, 216194000 fired transitions, 3125 secs || 109531909 markings, 371198642 edges,
lola: 217 tries, 216640990 fired transitions, 3130 secs || 109726618 markings, 371850701 edges,
lola: 218 tries, 217074173 fired transitions, 3135 secs || 109920610 markings, 372511787 edges,
lola: 218 tries, 217508702 fired transitions, 3140 secs || 110113526 markings, 373133784 edges,
lola: 218 tries, 217939809 fired transitions, 3145 secs || 110315910 markings, 373797972 edges,
lola: 219 tries, 218382251 fired transitions, 3150 secs || 110506441 markings, 374433909 edges,
lola: 219 tries, 218823872 fired transitions, 3155 secs || 110694640 markings, 375074412 edges,
lola: 220 tries, 219262838 fired transitions, 3160 secs || 110888094 markings, 375728524 edges,
lola: 220 tries, 219700776 fired transitions, 3165 secs || 111082596 markings, 376369902 edges,
lola: 221 tries, 220138468 fired transitions, 3170 secs || 111277263 markings, 377027832 edges,
lola: 221 tries, 220583969 fired transitions, 3175 secs || 111463258 markings, 377654903 edges,
lola: 222 tries, 221021610 fired transitions, 3180 secs || 111657345 markings, 378288075 edges,
lola: 222 tries, 221425960 fired transitions, 3185 secs || 111835889 markings, 378892482 edges,
lola: 222 tries, 221749004 fired transitions, 3190 secs || 111996968 markings, 379519013 edges,
lola: 223 tries, 222060036 fired transitions, 3195 secs || 112153286 markings, 380094960 edges,
lola: 223 tries, 222388513 fired transitions, 3200 secs || 112311791 markings, 380708444 edges,
lola: 223 tries, 222708551 fired transitions, 3205 secs || 112468619 markings, 381272763 edges,
lola: 224 tries, 223039900 fired transitions, 3210 secs || 112628494 markings, 381869699 edges,
lola: 224 tries, 223366032 fired transitions, 3215 secs || 112789407 markings, 382461417 edges,
lola: 224 tries, 223695525 fired transitions, 3220 secs || 112949621 markings, 383094697 edges,
lola: 225 tries, 224012602 fired transitions, 3225 secs || 113105486 markings, 383727814 edges,
lola: 225 tries, 224327574 fired transitions, 3230 secs || 113256440 markings, 384290296 edges,
lola: 225 tries, 224640315 fired transitions, 3235 secs || 113404107 markings, 384804696 edges,
lola: 225 tries, 224949782 fired transitions, 3240 secs || 113553949 markings, 385328031 edges,
lola: 226 tries, 225255622 fired transitions, 3245 secs || 113701584 markings, 385904483 edges,
lola: 226 tries, 225570882 fired transitions, 3250 secs || 113849680 markings, 386411880 edges,
lola: 226 tries, 225879850 fired transitions, 3255 secs || 113997317 markings, 386914457 edges,
lola: 227 tries, 226187355 fired transitions, 3260 secs || 114141288 markings, 387404529 edges,
lola: 227 tries, 226499011 fired transitions, 3265 secs || 114288525 markings, 387910689 edges,
lola: 227 tries, 226813399 fired transitions, 3270 secs || 114437862 markings, 388418491 edges,
lola: 228 tries, 227127400 fired transitions, 3275 secs || 114589012 markings, 388937879 edges,
lola: 228 tries, 227442516 fired transitions, 3280 secs || 114739513 markings, 389448537 edges,
lola: 228 tries, 227758940 fired transitions, 3285 secs || 114894719 markings, 389992273 edges,
lola: 229 tries, 228081322 fired transitions, 3290 secs || 115053257 markings, 390561378 edges,
lola: 229 tries, 228409196 fired transitions, 3295 secs || 115208176 markings, 391217882 edges,
lola: 229 tries, 228727794 fired transitions, 3300 secs || 115360304 markings, 391861920 edges,
lola: 230 tries, 229060122 fired transitions, 3305 secs || 115521440 markings, 392406868 edges,
lola: 230 tries, 229388892 fired transitions, 3310 secs || 115681375 markings, 392960166 edges,
lola: 230 tries, 229719188 fired transitions, 3315 secs || 115838508 markings, 393499567 edges,
lola: 231 tries, 230048240 fired transitions, 3320 secs || 115995267 markings, 394053756 edges,
lola: 231 tries, 230369761 fired transitions, 3325 secs || 116150021 markings, 394632028 edges,
lola: 231 tries, 230698254 fired transitions, 3330 secs || 116311808 markings, 395280652 edges,
lola: 232 tries, 231029600 fired transitions, 3335 secs || 116473541 markings, 395935630 edges,
lola: 232 tries, 231355146 fired transitions, 3340 secs || 116632800 markings, 396508426 edges,
lola: 232 tries, 231686560 fired transitions, 3345 secs || 116796733 markings, 397070271 edges,
lola: 232 tries, 231995414 fired transitions, 3350 secs || 116944299 markings, 397575065 edges,
lola: 233 tries, 232316842 fired transitions, 3355 secs || 117096266 markings, 398098502 edges,
lola: 233 tries, 232639268 fired transitions, 3360 secs || 117251317 markings, 398645896 edges,
lola: 233 tries, 232970974 fired transitions, 3365 secs || 117406220 markings, 399188337 edges,
lola: 234 tries, 233296664 fired transitions, 3370 secs || 117559170 markings, 399723748 edges,
lola: 234 tries, 233626576 fired transitions, 3375 secs || 117715836 markings, 400252089 edges,
lola: 234 tries, 233956075 fired transitions, 3380 secs || 117871154 markings, 400788737 edges,
lola: 235 tries, 234283156 fired transitions, 3385 secs || 118027051 markings, 401336785 edges,
lola: 235 tries, 234606110 fired transitions, 3390 secs || 118182215 markings, 401894925 edges,
lola: 235 tries, 234938640 fired transitions, 3395 secs || 118339250 markings, 402436350 edges,
lola: 236 tries, 235269351 fired transitions, 3400 secs || 118502413 markings, 403072716 edges,
lola: 236 tries, 235597798 fired transitions, 3405 secs || 118661661 markings, 403713693 edges,
lola: 236 tries, 235923816 fired transitions, 3410 secs || 118821214 markings, 404268360 edges,
lola: 237 tries, 236235396 fired transitions, 3415 secs || 118968569 markings, 404802347 edges,
lola: 237 tries, 236544290 fired transitions, 3420 secs || 119114852 markings, 405418209 edges,
lola: 237 tries, 236855074 fired transitions, 3425 secs || 119264221 markings, 406000558 edges,
lola: 238 tries, 237166212 fired transitions, 3430 secs || 119415270 markings, 406609788 edges,
lola: 238 tries, 237477152 fired transitions, 3435 secs || 119565188 markings, 407221178 edges,
lola: 238 tries, 237785787 fired transitions, 3440 secs || 119719012 markings, 407769048 edges,
lola: 239 tries, 238084614 fired transitions, 3445 secs || 119866469 markings, 408275150 edges,
lola: 239 tries, 238388882 fired transitions, 3450 secs || 120015823 markings, 408876870 edges,
lola: 239 tries, 238700873 fired transitions, 3455 secs || 120167110 markings, 409501589 edges,
lola: 240 tries, 239001044 fired transitions, 3460 secs || 120314168 markings, 410097715 edges,
lola: 240 tries, 239315365 fired transitions, 3465 secs || 120467013 markings, 410669119 edges,
lola: 240 tries, 239628482 fired transitions, 3470 secs || 120616837 markings, 411211918 edges,
lola: 240 tries, 239943865 fired transitions, 3475 secs || 120766438 markings, 411745016 edges,
lola: 241 tries, 240256176 fired transitions, 3480 secs || 120913653 markings, 412251056 edges,
lola: 241 tries, 240566276 fired transitions, 3485 secs || 121062071 markings, 412760618 edges,
lola: 241 tries, 240881704 fired transitions, 3490 secs || 121211825 markings, 413275029 edges,
lola: 242 tries, 241194698 fired transitions, 3495 secs || 121363066 markings, 413785520 edges,
lola: 242 tries, 241504326 fired transitions, 3500 secs || 121510358 markings, 414294186 edges,
lola: 242 tries, 241814196 fired transitions, 3505 secs || 121657897 markings, 414838726 edges,
lola: 243 tries, 242126052 fired transitions, 3510 secs || 121808593 markings, 415440906 edges,
lola: 243 tries, 242435835 fired transitions, 3515 secs || 121957677 markings, 416001821 edges,
lola: 243 tries, 242747413 fired transitions, 3520 secs || 122111874 markings, 416583726 edges,
lola: 244 tries, 243057612 fired transitions, 3525 secs || 122260908 markings, 417099560 edges,
lola: 244 tries, 243372648 fired transitions, 3530 secs || 122415474 markings, 417625483 edges,
lola: 244 tries, 243684834 fired transitions, 3535 secs || 122566301 markings, 418144426 edges,
lola: 244 tries, 243995634 fired transitions, 3540 secs || 122718792 markings, 418714391 edges,
lola: 245 tries, 244307952 fired transitions, 3545 secs || 122874265 markings, 419326266 edges,
lola: 245 tries, 244615491 fired transitions, 3550 secs || 123026782 markings, 419943271 edges,
lola: 245 tries, 244923619 fired transitions, 3555 secs || 123175903 markings, 420559138 edges,
lola: time limit reached - aborting
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 14790700 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1554500517610

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16 .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... tarjan) jan) 51985 markings/sec, 0 secs 50399 markings/sec, 5 secs 47988 markings/sec, 10 secs 51253 markings/sec, 15 secs 44245 markings/sec, 20 secs 46201 markings/sec, 25 secs 46203 markings/sec, 30 secs 45155 markings/sec, 35 secs 45999 markings/sec, 40 secs 45858 markings/sec, 45 secs 44863 markings/sec, 50 secs 44657 markings/sec, 55 secs 45503 markings/sec, 60 secs 55315 markings/sec, 65 secs 47341 markings/sec, 70 secs 45538 markings/sec, 75 secs 44620 markings/sec, 80 secs 44846 markings/sec, 85 secs 45557 markings/sec, 90 secs 45339 markings/sec, 95 secs 45129 markings/sec, 100 secs 44938 markings/sec, 105 secs 45292 markings/sec, 110 secs 45253 markings/sec, 115 secs 43982 markings/sec, 120 secs 43777 markings/sec, 125 secs 44553 markings/sec, 130 secs 44064 markings/sec, 135 secs 44173 markings/sec, 140 secs 43471 markings/sec, 145 secs 44001 markings/sec, 150 secs 43765 markings/sec, 155 secs 43806 markings/sec, 160 secs 43868 markings/sec, 165 secs 43742 markings/sec, 170 secs 43859 markings/sec, 175 secs 43503 markings/sec, 180 secs 42772 markings/sec, 185 secs 43296 markings/sec, 190 secs 43307 markings/sec, 195 secs 43896 markings/sec, 200 secs 44498 markings/sec, 205 secs 43893 markings/sec, 210 secs 43838 markings/sec, 215 secs 42989 markings/sec, 220 secs 43225 markings/sec, 225 secs 44321 markings/sec, 230 secs 44070 markings/sec, 235 secs 45415 markings/sec, 240 secs 44220 markings/sec, 245 secs 44169 markings/sec, 250 secs 44620 markings/sec, 255 secs 45935 markings/sec, 260 secs 43703 markings/sec, 265 secs 43504 markings/sec, 270 secs 45975 markings/sec, 275 secs 44497 markings/sec, 280 secs 41854 markings/sec, 285 secs 42786 markings/sec, 290 secs 43622 markings/sec, 295 secs 43070 markings/sec, 300 secs 43717 markings/sec, 305 secs 43617 markings/sec, 310 secs 42426 markings/sec, 315 secs 45625 markings/sec, 320 secs 41999 markings/sec, 325 secs 43045 markings/sec, 330 secs 43082 markings/sec, 335 secs 45805 markings/sec, 340 secs 46293 markings/sec, 345 secs 46237 markings/sec, 350 secs 46163 markings/sec, 355 secs 47425 markings/sec, 360 secs 45458 markings/sec, 365 secs 45402 markings/sec, 370 secs 43974 markings/sec, 375 secs 44599 markings/sec, 380 secs 43254 markings/sec, 385 secs 44833 markings/sec, 390 secs 45887 markings/sec, 395 secs 44975 markings/sec, 400 secs 44062 markings/sec, 405 secs 44781 markings/sec, 410 secs 43294 markings/sec, 415 secs 42436 markings/sec, 420 secs 32917 markings/sec, 425 secs 35004 markings/sec, 430 secs 35412 markings/sec, 435 secs 33313 markings/sec, 440 secs 34220 markings/sec, 445 secs 33127 markings/sec, 450 secs 33373 markings/sec, 455 secs 36517 markings/sec, 460 secs 33989 markings/sec, 465 secs 34383 markings/sec, 470 secs 33768 markings/sec, 475 secs 34597 markings/sec, 480 secs 34488 markings/sec, 485 secs 35069 markings/sec, 490 secs 33958 markings/sec, 495 secs 33078 markings/sec, 500 secs 34121 markings/sec, 505 secs 34236 markings/sec, 510 secs 34137 markings/sec, 515 secs 33690 markings/sec, 520 secs 31865 markings/sec, 525 secs 31897 markings/sec, 530 secs 32256 markings/sec, 535 secs 32862 markings/sec, 540 secs 33828 markings/sec, 545 secs 31846 markings/sec, 550 secs 31651 markings/sec, 555 secs 35263 markings/sec, 560 secs 34807 markings/sec, 565 secs 33538 markings/sec, 570 secs 34401 markings/sec, 575 secs 34371 markings/sec, 580 secs 34805 markings/sec, 585 secs 32424 markings/sec, 590 secs 31131 markings/sec, 595 secs 32056 markings/sec, 600 secs 34804 markings/sec, 605 secs 33538 markings/sec, 610 secs 34135 markings/sec, 615 secs 34814 markings/sec, 620 secs 32402 markings/sec, 625 secs 32775 markings/sec, 630 secs 34028 markings/sec, 635 secs 33057 markings/sec, 640 secs 33837 markings/sec, 645 secs 35495 markings/sec, 650 secs 34391 markings/sec, 655 secs 36182 markings/sec, 660 secs 34613 markings/sec, 665 secs 32135 markings/sec, 670 secs 32545 markings/sec, 675 secs 33393 markings/sec, 680 secs 32918 markings/sec, 685 secs 35808 markings/sec, 690 secs 35199 markings/sec, 695 secs 33048 markings/sec, 700 secs 33278 markings/sec, 705 secs 36088 markings/sec, 710 secs 34257 markings/sec, 715 secs 34305 markings/sec, 720 secs 34397 markings/sec, 725 secs 36206 markings/sec, 730 secs 33746 markings/sec, 735 secs 35110 markings/sec, 740 secs 34768 markings/sec, 745 secs 34739 markings/sec, 750 secs 34475 markings/sec, 755 secs 36324 markings/sec, 760 secs 35019 markings/sec, 765 secs 35527 markings/sec, 770 secs 35195 markings/sec, 775 secs 33952 markings/sec, 780 secs 34287 markings/sec, 785 secs 34975 markings/sec, 790 secs 34788 markings/sec, 795 secs 34695 markings/sec, 800 secs 33691 markings/sec, 805 secs 35668 markings/sec, 810 secs 35647 markings/sec, 815 secs 34653 markings/sec, 820 secs 36237 markings/sec, 825 secs 35575 markings/sec, 830 secs 35147 markings/sec, 835 secs 34930 markings/sec, 840 secs 34043 markings/sec, 845 secs 33228 markings/sec, 850 secs 32662 markings/sec, 855 secs 33129 markings/sec, 860 secs 32823 markings/sec, 865 secs 33384 markings/sec, 870 secs 33311 markings/sec, 875 secs 35800 markings/sec, 880 secs 35425 markings/sec, 885 secs 43989 markings/sec, 890 secs 45060 markings/sec, 895 secs 44477 markings/sec, 900 secs 45345 markings/sec, 905 secs 45010 markings/sec, 910 secs 44841 markings/sec, 915 secs 45710 markings/sec, 920 secs 40674 markings/sec, 925 secs 33199 markings/sec, 930 secs 33167 markings/sec, 935 secs 32546 markings/sec, 940 secs 32007 markings/sec, 945 secs 34506 markings/sec, 950 secs 31743 markings/sec, 955 secs 31750 markings/sec, 960 secs 31755 markings/sec, 965 secs 31211 markings/sec, 970 secs 32922 markings/sec, 975 secs 33042 markings/sec, 980 secs 32232 markings/sec, 985 secs 33406 markings/sec, 990 secs 33456 markings/sec, 995 secs 33310 markings/sec, 1000 secs 35009 markings/sec, 1005 secs 36156 markings/sec, 1010 secs 35598 markings/sec, 1015 secs 34874 markings/sec, 1020 secs 35961 markings/sec, 1025 secs 33287 markings/sec, 1030 secs 34395 markings/sec, 1035 secs 35123 markings/sec, 1040 secs 35257 markings/sec, 1045 secs 33908 markings/sec, 1050 secs 33995 markings/sec, 1055 secs 33963 markings/sec, 1060 secs 34054 markings/sec, 1065 secs 31969 markings/sec, 1070 secs 32751 markings/sec, 1075 secs 35263 markings/sec, 1080 secs 33675 markings/sec, 1085 secs 32974 markings/sec, 1090 secs 33322 markings/sec, 1095 secs 32830 markings/sec, 1100 secs 32226 markings/sec, 1105 secs 33674 markings/sec, 1110 secs 33452 markings/sec, 1115 secs 35461 markings/sec, 1120 secs 35098 markings/sec, 1125 secs 32956 markings/sec, 1130 secs 33428 markings/sec, 1135 secs 33186 markings/sec, 1140 secs 35301 markings/sec, 1145 secs 34849 markings/sec, 1150 secs 33289 markings/sec, 1155 secs 34552 markings/sec, 1160 secs 35126 markings/sec, 1165 secs 34341 markings/sec, 1170 secs 34590 markings/sec, 1175 secs 33778 markings/sec, 1180 secs 33448 markings/sec, 1185 secs 32554 markings/sec, 1190 secs 32663 markings/sec, 1195 secs 32878 markings/sec, 1200 secs 34640 markings/sec, 1205 secs 36269 markings/sec, 1210 secs 31007 markings/sec, 1215 secs 31153 markings/sec, 1220 secs 30603 markings/sec, 1225 secs 31054 markings/sec, 1230 secs 32651 markings/sec, 1235 secs 32173 markings/sec, 1240 secs 33229 markings/sec, 1245 secs 33983 markings/sec, 1250 secs 34687 markings/sec, 1255 secs 34235 markings/sec, 1260 secs 33089 markings/sec, 1265 secs 34652 markings/sec, 1270 secs 35725 markings/sec, 1275 secs 34615 markings/sec, 1280 secs 33425 markings/sec, 1285 secs 32760 markings/sec, 1290 secs 34453 markings/sec, 1295 secs 34150 markings/sec, 1300 secs 33649 markings/sec, 1305 secs 36358 markings/sec, 1310 secs 40688 markings/sec, 1315 secs 40256 markings/sec, 1320 secs 33237 markings/sec, 1325 secs 34804 markings/sec, 1330 secs 34379 markings/sec, 1335 secs 34584 markings/sec, 1340 secs 34750 markings/sec, 1345 secs 33790 markings/sec, 1350 secs 33309 markings/sec, 1355 secs 34607 markings/sec, 1360 secs 36327 markings/sec, 1365 secs 36425 markings/sec, 1370 secs 36424 markings/sec, 1375 secs 35229 markings/sec, 1380 secs 33414 markings/sec, 1385 secs 35161 markings/sec, 1390 secs 34424 markings/sec, 1395 secs 33835 markings/sec, 1400 secs 34260 markings/sec, 1405 secs 35180 markings/sec, 1410 secs 37084 markings/sec, 1415 secs 35205 markings/sec, 1420 secs 36353 markings/sec, 1425 secs 35156 markings/sec, 1430 secs 33927 markings/sec, 1435 secs 35510 markings/sec, 1440 secs 35288 markings/sec, 1445 secs 35098 markings/sec, 1450 secs 36027 markings/sec, 1455 secs 35469 markings/sec, 1460 secs 35240 markings/sec, 1465 secs 34735 markings/sec, 1470 secs 33660 markings/sec, 1475 secs 33979 markings/sec, 1480 secs 35147 markings/sec, 1485 secs 34832 markings/sec, 1490 secs 35337 markings/sec, 1495 secs 33989 markings/sec, 1500 secs 33951 markings/sec, 1505 secs 34812 markings/sec, 1510 secs 34256 markings/sec, 1515 secs 36204 markings/sec, 1520 secs 35417 markings/sec, 1525 secs 35682 markings/sec, 1530 secs 36463 markings/sec, 1535 secs 34768 markings/sec, 1540 secs 34697 markings/sec, 1545 secs 37073 markings/sec, 1550 secs 33668 markings/sec, 1555 secs 35298 markings/sec, 1560 secs 34895 markings/sec, 1565 secs 34973 markings/sec, 1570 secs 35009 markings/sec, 1575 secs 33603 markings/sec, 1580 secs 34714 markings/sec, 1585 secs 35454 markings/sec, 1590 secs 34713 markings/sec, 1595 secs 34852 markings/sec, 1600 secs 34208 markings/sec, 1605 secs 33661 markings/sec, 1610 secs 32560 markings/sec, 1615 secs 32235 markings/sec, 1620 secs 32718 markings/sec, 1625 secs 33128 markings/sec, 1630 secs 32669 markings/sec, 1635 secs 31975 markings/sec, 1640 secs 34186 markings/sec, 1645 secs 34191 markings/sec, 1650 secs 33740 markings/sec, 1655 secs 34972 markings/sec, 1660 secs 34269 markings/sec, 1665 secs 33681 markings/sec, 1670 secs 34425 markings/sec, 1675 secs 34555 markings/sec, 1680 secs 33763 markings/sec, 1685 secs 33362 markings/sec, 1690 secs 33459 markings/sec, 1695 secs 33822 markings/sec, 1700 secs 35002 markings/sec, 1705 secs 32338 markings/sec, 1710 secs 33923 markings/sec, 1715 secs 34512 markings/sec, 1720 secs 34886 markings/sec, 1725 secs 34086 markings/sec, 1730 secs 35205 markings/sec, 1735 secs 34298 markings/sec, 1740 secs 34205 markings/sec, 1745 secs 33374 markings/sec, 1750 secs 34582 markings/sec, 1755 secs 33406 markings/sec, 1760 secs 34001 markings/sec, 1765 secs 34572 markings/sec, 1770 secs 34079 markings/sec, 1775 secs 32990 markings/sec, 1780 secs 30547 markings/sec, 1785 secs 33561 markings/sec, 1790 secs 34499 markings/sec, 1795 secs 35446 markings/sec, 1800 secs 35763 markings/sec, 1805 secs 34868 markings/sec, 1810 secs 35273 markings/sec, 1815 secs 35114 markings/sec, 1820 secs 34778 markings/sec, 1825 secs 33927 markings/sec, 1830 secs 32780 markings/sec, 1835 secs 33324 markings/sec, 1840 secs 32130 markings/sec, 1845 secs 31539 markings/sec, 1850 secs 33922 markings/sec, 1855 secs 34248 markings/sec, 1860 secs 34616 markings/sec, 1865 secs 35188 markings/sec, 1870 secs 34637 markings/sec, 1875 secs 33980 markings/sec, 1880 secs 35211 markings/sec, 1885 secs 34554 markings/sec, 1890 secs 35078 markings/sec, 1895 secs 34233 markings/sec, 1900 secs 33781 markings/sec, 1905 secs 34669 markings/sec, 1910 secs 33823 markings/sec, 1915 secs 33524 markings/sec, 1920 secs 32195 markings/sec, 1925 secs 33275 markings/sec, 1930 secs 32649 markings/sec, 1935 secs 32556 markings/sec, 1940 secs 34866 markings/sec, 1945 secs 34692 markings/sec, 1950 secs 32677 markings/sec, 1955 secs 33077 markings/sec, 1960 secs 33600 markings/sec, 1965 secs 34164 markings/sec, 1970 secs 31185 markings/sec, 1975 secs 31074 markings/sec, 1980 secs 29952 markings/sec, 1985 secs 31599 markings/sec, 1990 secs 32206 markings/sec, 1995 secs 31670 markings/sec, 2000 secs 31977 markings/sec, 2005 secs 31680 markings/sec, 2010 secs 32322 markings/sec, 2015 secs 30424 markings/sec, 2020 secs 30796 markings/sec, 2025 secs 32650 markings/sec, 2030 secs 32894 markings/sec, 2035 secs 31832 markings/sec, 2040 secs 31553 markings/sec, 2045 secs 33290 markings/sec, 2050 secs 33182 markings/sec, 2055 secs 32263 markings/sec, 2060 secs 32413 markings/sec, 2065 secs 32140 markings/sec, 2070 secs 31381 markings/sec, 2075 secs 31605 markings/sec, 2080 secs 32031 markings/sec, 2085 secs 32563 markings/sec, 2090 secs 31889 markings/sec, 2095 secs 30812 markings/sec, 2100 secs 29798 markings/sec, 2105 secs 30097 markings/sec, 2110 secs 29960 markings/sec, 2115 secs 31004 markings/sec, 2120 secs 31651 markings/sec, 2125 secs 31445 markings/sec, 2130 secs 32029 markings/sec, 2135 secs 31934 markings/sec, 2140 secs 31721 markings/sec, 2145 secs 31296 markings/sec, 2150 secs 32285 markings/sec, 2155 secs 32156 markings/sec, 2160 secs 32597 markings/sec, 2165 secs 32619 markings/sec, 2170 secs 32706 markings/sec, 2175 secs 32623 markings/sec, 2180 secs 31583 markings/sec, 2185 secs 32199 markings/sec, 2190 secs 41729 markings/sec, 2195 secs 38807 markings/sec, 2200 secs 30383 markings/sec, 2205 secs 30939 markings/sec, 2210 secs 31460 markings/sec, 2215 secs 31596 markings/sec, 2220 secs 31471 markings/sec, 2225 secs 31432 markings/sec, 2230 secs 31964 markings/sec, 2235 secs 30638 markings/sec, 2240 secs 31688 markings/sec, 2245 secs 31753 markings/sec, 2250 secs 32027 markings/sec, 2255 secs 32313 markings/sec, 2260 secs 32915 markings/sec, 2265 secs 32450 markings/sec, 2270 secs 31897 markings/sec, 2275 secs 32427 markings/sec, 2280 secs 32687 markings/sec, 2285 secs 31888 markings/sec, 2290 secs 31335 markings/sec, 2295 secs 32246 markings/sec, 2300 secs 31492 markings/sec, 2305 secs 32628 markings/sec, 2310 secs 31935 markings/sec, 2315 secs 32685 markings/sec, 2320 secs 32376 markings/sec, 2325 secs 32445 markings/sec, 2330 secs 32067 markings/sec, 2335 secs 32494 markings/sec, 2340 secs 31120 markings/sec, 2345 secs 35804 markings/sec, 2350 secs 41036 markings/sec, 2355 secs 42328 markings/sec, 2360 secs 40371 markings/sec, 2365 secs 40546 markings/sec, 2370 secs 31948 markings/sec, 2375 secs 31532 markings/sec, 2380 secs 31382 markings/sec, 2385 secs 31300 markings/sec, 2390 secs 31032 markings/sec, 2395 secs 32428 markings/sec, 2400 secs 32022 markings/sec, 2405 secs 32067 markings/sec, 2410 secs 31915 markings/sec, 2415 secs 31636 markings/sec, 2420 secs 31802 markings/sec, 2425 secs 29514 markings/sec, 2430 secs 29460 markings/sec, 2435 secs 30231 markings/sec, 2440 secs 31284 markings/sec, 2445 secs 31584 markings/sec, 2450 secs 31787 markings/sec, 2455 secs 30058 markings/sec, 2460 secs 30259 markings/sec, 2465 secs 29370 markings/sec, 2470 secs 31501 markings/sec, 2475 secs 31557 markings/sec, 2480 secs 32454 markings/sec, 2485 secs 32598 markings/sec, 2490 secs 32447 markings/sec, 2495 secs 32447 markings/sec, 2500 secs 32625 markings/sec, 2505 secs 32067 markings/sec, 2510 secs 31686 markings/sec, 2515 secs 31486 markings/sec, 2520 secs 31384 markings/sec, 2525 secs 31963 markings/sec, 2530 secs 32206 markings/sec, 2535 secs 30896 markings/sec, 2540 secs 30715 markings/sec, 2545 secs 30879 markings/sec, 2550 secs 32420 markings/sec, 2555 secs 32034 markings/sec, 2560 secs 31829 markings/sec, 2565 secs 32069 markings/sec, 2570 secs 31664 markings/sec, 2575 secs 31878 markings/sec, 2580 secs 31649 markings/sec, 2585 secs 31628 markings/sec, 2590 secs 31576 markings/sec, 2595 secs 32054 markings/sec, 2600 secs 31907 markings/sec, 2605 secs 31932 markings/sec, 2610 secs 32505 markings/sec, 2615 secs 30331 markings/sec, 2620 secs 28935 markings/sec, 2625 secs 29185 markings/sec, 2630 secs 29857 markings/sec, 2635 secs 29676 markings/sec, 2640 secs 29814 markings/sec, 2645 secs 29744 markings/sec, 2650 secs 29354 markings/sec, 2655 secs 29584 markings/sec, 2660 secs 29912 markings/sec, 2665 secs 29753 markings/sec, 2670 secs 29261 markings/sec, 2675 secs 29515 markings/sec, 2680 secs 30022 markings/sec, 2685 secs 30870 markings/sec, 2690 secs 31532 markings/sec, 2695 secs 32673 markings/sec, 2700 secs 32214 markings/sec, 2705 secs 32456 markings/sec, 2710 secs 31841 markings/sec, 2715 secs 32639 markings/sec, 2720 secs 32831 markings/sec, 2725 secs 32505 markings/sec, 2730 secs 31725 markings/sec, 2735 secs 32046 markings/sec, 2740 secs 32033 markings/sec, 2745 secs 32022 markings/sec, 2750 secs 30583 markings/sec, 2755 secs 30169 markings/sec, 2760 secs 28886 markings/sec, 2765 secs 30284 markings/sec, 2770 secs 29296 markings/sec, 2775 secs 29503 markings/sec, 2780 secs 30029 markings/sec, 2785 secs 29372 markings/sec, 2790 secs 29641 markings/sec, 2795 secs 30554 markings/sec, 2800 secs 29894 markings/sec, 2805 secs 29960 markings/sec, 2810 secs 30651 markings/sec, 2815 secs 29777 markings/sec, 2820 secs 30252 markings/sec, 2825 secs 29999 markings/sec, 2830 secs 29482 markings/sec, 2835 secs 30940 markings/sec, 2840 secs 30806 markings/sec, 2845 secs 30845 markings/sec, 2850 secs 30956 markings/sec, 2855 secs 31343 markings/sec, 2860 secs 31371 markings/sec, 2865 secs 31888 markings/sec, 2870 secs 30415 markings/sec, 2875 secs 30165 markings/sec, 2880 secs 29248 markings/sec, 2885 secs 28887 markings/sec, 2890 secs 29260 markings/sec, 2895 secs 30532 markings/sec, 2900 secs 30280 markings/sec, 2905 secs 29677 markings/sec, 2910 secs 30345 markings/sec, 2915 secs 30366 markings/sec, 2920 secs 30222 markings/sec, 2925 secs 30435 markings/sec, 2930 secs 30419 markings/sec, 2935 secs 30086 markings/sec, 2940 secs 30776 markings/sec, 2945 secs 30057 markings/sec, 2950 secs 29356 markings/sec, 2955 secs 30056 markings/sec, 2960 secs 30922 markings/sec, 2965 secs 30282 markings/sec, 2970 secs 29789 markings/sec, 2975 secs 29960 markings/sec, 2980 secs 29457 markings/sec, 2985 secs 29612 markings/sec, 2990 secs 29555 markings/sec, 2995 secs 30843 markings/sec, 3000 secs 29861 markings/sec, 3005 secs 32877 markings/sec, 3010 secs 38300 markings/sec, 3015 secs 38708 markings/sec, 3020 secs 40434 markings/sec, 3025 secs 38040 markings/sec, 3030 secs 38553 markings/sec, 3035 secs 38655 markings/sec, 3040 secs 38414 markings/sec, 3045 secs 38905 markings/sec, 3050 secs 38374 markings/sec, 3055 secs 38625 markings/sec, 3060 secs 39078 markings/sec, 3065 secs 38529 markings/sec, 3070 secs 38097 markings/sec, 3075 secs 38188 markings/sec, 3080 secs 38364 markings/sec, 3085 secs 38087 markings/sec, 3090 secs 37736 markings/sec, 3095 secs 37315 markings/sec, 3100 secs 38485 markings/sec, 3105 secs 37645 markings/sec, 3110 secs 38021 markings/sec, 3115 secs 38030 markings/sec, 3120 secs 36670 markings/sec, 3125 secs 38942 markings/sec, 3130 secs 38798 markings/sec, 3135 secs 38583 markings/sec, 3140 secs 40477 markings/sec, 3145 secs 38106 markings/sec, 3150 secs 37640 markings/sec, 3155 secs 38691 markings/sec, 3160 secs 38900 markings/sec, 3165 secs 38933 markings/sec, 3170 secs 37199 markings/sec, 3175 secs 38817 markings/sec, 3180 secs 35709 markings/sec, 3185 secs 32216 markings/sec, 3190 secs 31264 markings/sec, 3195 secs 31701 markings/sec, 3200 secs 31366 markings/sec, 3205 secs 31975 markings/sec, 3210 secs 32183 markings/sec, 3215 secs 32043 markings/sec, 3220 secs 31173 markings/sec, 3225 secs 30191 markings/sec, 3230 secs 29533 markings/sec, 3235 secs 29968 markings/sec, 3240 secs 29527 markings/sec, 3245 secs 29619 markings/sec, 3250 secs 29527 markings/sec, 3255 secs 28794 markings/sec, 3260 secs 29447 markings/sec, 3265 secs 29867 markings/sec, 3270 secs 30230 markings/sec, 3275 secs 30100 markings/sec, 3280 secs 31041 markings/sec, 3285 secs 31708 markings/sec, 3290 secs 30984 markings/sec, 3295 secs 30426 markings/sec, 3300 secs 32227 markings/sec, 3305 secs 31987 markings/sec, 3310 secs 31427 markings/sec, 3315 secs 31352 markings/sec, 3320 secs 30951 markings/sec, 3325 secs 32357 markings/sec, 3330 secs 32347 markings/sec, 3335 secs 31852 markings/sec, 3340 secs 32787 markings/sec, 3345 secs 29513 markings/sec, 3350 secs 30393 markings/sec, 3355 secs 31010 markings/sec, 3360 secs 30981 markings/sec, 3365 secs 30590 markings/sec, 3370 secs 31333 markings/sec, 3375 secs 31064 markings/sec, 3380 secs 31179 markings/sec, 3385 secs 31033 markings/sec, 3390 secs 31407 markings/sec, 3395 secs 32633 markings/sec, 3400 secs 31850 markings/sec, 3405 secs 31911 markings/sec, 3410 secs 29471 markings/sec, 3415 secs 29257 markings/sec, 3420 secs 29874 markings/sec, 3425 secs 30210 markings/sec, 3430 secs 29984 markings/sec, 3435 secs 30765 markings/sec, 3440 secs 29491 markings/sec, 3445 secs 29871 markings/sec, 3450 secs 30257 markings/sec, 3455 secs 29412 markings/sec, 3460 secs 30569 markings/sec, 3465 secs 29965 markings/sec, 3470 secs 29920 markings/sec, 3475 secs 29443 markings/sec, 3480 secs 29684 markings/sec, 3485 secs 29951 markings/sec, 3490 secs 30248 markings/sec, 3495 secs 29458 markings/sec, 3500 secs 29508 markings/sec, 3505 secs 30139 markings/sec, 3510 secs 29817 markings/sec, 3515 secs 30839 markings/sec, 3520 secs 29807 markings/sec, 3525 secs 30913 markings/sec, 3530 secs 30165 markings/sec, 3535 secs 30498 markings/sec, 3540 secs 31095 markings/sec, 3545 secs 30503 markings/sec, 3550 secs 29824 markings/sec, 3555 secs

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-4A"
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 NoC3x3-PT-4A, 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 r181-csrt-155344535100291"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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