MCC'2019 - Execution of r181-csrt-155344535100309

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
8496.980	3571517.00	7296169.00	597.70	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r181-csrt-155344535100309.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-5A, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535100309
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 3.3K Mar 23 12:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 12:35 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 8.3K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.8K Mar 23 12:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 12:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:02 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 248K 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-5A-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554496908312

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

{
"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:41:48 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 8464012,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 3585,
"conflict_clusters": 24,
"places": 417,
"places_significant": 351,
"singleton_clusters": 0,
"transitions": 933
},
"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": 16.000000,
"composed": 0,
"dead_branches": 0,
"generators": 4,
"interrupted": false,
"real_computed": 4,
"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: 1350/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 417
lola: finding significant places
lola: 417 places, 933 transitions, 351 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 4 generators (4 in search tree, 0 by composition)
lola: representing 16 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 262462 fired transitions, 0 secs || 92118 markings, 118766 edges,
lola: 1 tries, 585509 fired transitions, 5 secs || 171590 markings, 227730 edges,
lola: 1 tries, 921110 fired transitions, 10 secs || 248810 markings, 336470 edges,
lola: 2 tries, 1230434 fired transitions, 15 secs || 334136 markings, 450869 edges,
lola: 2 tries, 1640438 fired transitions, 20 secs || 417941 markings, 573645 edges,
lola: 2 tries, 1832345 fired transitions, 25 secs || 508782 markings, 700255 edges,
lola: 3 tries, 2017858 fired transitions, 30 secs || 594705 markings, 810036 edges,
lola: 3 tries, 2225641 fired transitions, 35 secs || 676367 markings, 920143 edges,
lola: 3 tries, 2355179 fired transitions, 40 secs || 768213 markings, 1038276 edges,
lola: 3 tries, 2463838 fired transitions, 45 secs || 849020 markings, 1149164 edges,
lola: 3 tries, 2573081 fired transitions, 50 secs || 931238 markings, 1253098 edges,
lola: 3 tries, 2683279 fired transitions, 55 secs || 1020370 markings, 1368260 edges,
lola: 3 tries, 2794496 fired transitions, 60 secs || 1117295 markings, 1487957 edges,
lola: 3 tries, 2904166 fired transitions, 65 secs || 1209289 markings, 1606243 edges,
lola: 4 tries, 3037393 fired transitions, 70 secs || 1306443 markings, 1730030 edges,
lola: 4 tries, 3284637 fired transitions, 75 secs || 1392652 markings, 1841166 edges,
lola: 4 tries, 3408253 fired transitions, 80 secs || 1480442 markings, 1953581 edges,
lola: 4 tries, 3561837 fired transitions, 85 secs || 1573914 markings, 2076935 edges,
lola: 4 tries, 3708155 fired transitions, 90 secs || 1660327 markings, 2189867 edges,
lola: 4 tries, 3845755 fired transitions, 95 secs || 1747028 markings, 2303559 edges,
lola: 4 tries, 3982175 fired transitions, 100 secs || 1832661 markings, 2416317 edges,
lola: 5 tries, 4189396 fired transitions, 105 secs || 1913275 markings, 2522417 edges,
lola: 5 tries, 4462472 fired transitions, 110 secs || 1989963 markings, 2623020 edges,
lola: 5 tries, 4792758 fired transitions, 115 secs || 2066535 markings, 2723080 edges,
lola: 6 tries, 5034455 fired transitions, 120 secs || 2143508 markings, 2827332 edges,
lola: 6 tries, 5228574 fired transitions, 125 secs || 2224216 markings, 2937693 edges,
lola: 6 tries, 5463873 fired transitions, 130 secs || 2308877 markings, 3044688 edges,
lola: 6 tries, 5570639 fired transitions, 135 secs || 2406779 markings, 3169182 edges,
lola: 6 tries, 5677834 fired transitions, 140 secs || 2489814 markings, 3281460 edges,
lola: 6 tries, 5785254 fired transitions, 145 secs || 2590215 markings, 3411018 edges,
lola: 6 tries, 5889125 fired transitions, 150 secs || 2679550 markings, 3537750 edges,
lola: 6 tries, 5994471 fired transitions, 155 secs || 2782662 markings, 3682189 edges,
lola: 7 tries, 6486250 fired transitions, 160 secs || 2878972 markings, 3802676 edges,
lola: 7 tries, 6678169 fired transitions, 165 secs || 2972014 markings, 3918741 edges,
lola: 7 tries, 6796637 fired transitions, 170 secs || 3067654 markings, 4048148 edges,
lola: 7 tries, 6908118 fired transitions, 175 secs || 3165056 markings, 4173208 edges,
lola: 8 tries, 7021701 fired transitions, 180 secs || 3255081 markings, 4287329 edges,
lola: 8 tries, 7387845 fired transitions, 185 secs || 3339660 markings, 4395242 edges,
lola: 8 tries, 7753499 fired transitions, 190 secs || 3423925 markings, 4503645 edges,
lola: 9 tries, 8029071 fired transitions, 195 secs || 3507147 markings, 4612164 edges,
lola: 9 tries, 8128304 fired transitions, 200 secs || 3585595 markings, 4717050 edges,
lola: 9 tries, 8229072 fired transitions, 205 secs || 3666754 markings, 4823934 edges,
lola: 9 tries, 8330399 fired transitions, 210 secs || 3750329 markings, 4934048 edges,
lola: 9 tries, 8433324 fired transitions, 215 secs || 3836938 markings, 5047262 edges,
lola: 9 tries, 8542004 fired transitions, 220 secs || 3919489 markings, 5160194 edges,
lola: 9 tries, 8648262 fired transitions, 225 secs || 4001677 markings, 5273438 edges,
lola: 9 tries, 8759720 fired transitions, 230 secs || 4084189 markings, 5383131 edges,
lola: 9 tries, 8870118 fired transitions, 235 secs || 4167562 markings, 5501788 edges,
lola: 9 tries, 8993257 fired transitions, 240 secs || 4252689 markings, 5616138 edges,
lola: 10 tries, 9091472 fired transitions, 245 secs || 4342883 markings, 5734775 edges,
lola: 10 tries, 9190973 fired transitions, 250 secs || 4435844 markings, 5859482 edges,
lola: 10 tries, 9295143 fired transitions, 255 secs || 4524764 markings, 5977252 edges,
lola: 10 tries, 9398086 fired transitions, 260 secs || 4612711 markings, 6094086 edges,
lola: 10 tries, 9507531 fired transitions, 265 secs || 4697202 markings, 6202445 edges,
lola: 10 tries, 9638490 fired transitions, 270 secs || 4785535 markings, 6320471 edges,
lola: 10 tries, 9955727 fired transitions, 275 secs || 4870870 markings, 6434440 edges,
lola: 11 tries, 10090581 fired transitions, 280 secs || 4955887 markings, 6544788 edges,
lola: 11 tries, 10199067 fired transitions, 285 secs || 5039979 markings, 6654081 edges,
lola: 11 tries, 10300355 fired transitions, 290 secs || 5119115 markings, 6757112 edges,
lola: 11 tries, 10401527 fired transitions, 295 secs || 5198719 markings, 6861262 edges,
lola: 11 tries, 10508498 fired transitions, 300 secs || 5284493 markings, 6973884 edges,
lola: 11 tries, 10615902 fired transitions, 305 secs || 5368159 markings, 7086762 edges,
lola: 11 tries, 10732361 fired transitions, 310 secs || 5459924 markings, 7222831 edges,
lola: 11 tries, 10848262 fired transitions, 315 secs || 5545674 markings, 7344400 edges,
lola: 11 tries, 10963651 fired transitions, 320 secs || 5630012 markings, 7455255 edges,
lola: 12 tries, 11068401 fired transitions, 325 secs || 5716750 markings, 7569964 edges,
lola: 12 tries, 11176144 fired transitions, 330 secs || 5804498 markings, 7696632 edges,
lola: 12 tries, 11285813 fired transitions, 335 secs || 5891931 markings, 7824376 edges,
lola: 12 tries, 11395938 fired transitions, 340 secs || 5980390 markings, 7960924 edges,
lola: 12 tries, 11502099 fired transitions, 345 secs || 6065131 markings, 8085682 edges,
lola: 12 tries, 11608420 fired transitions, 350 secs || 6147857 markings, 8196559 edges,
lola: 12 tries, 11715317 fired transitions, 355 secs || 6227982 markings, 8300222 edges,
lola: 12 tries, 11823298 fired transitions, 360 secs || 6311392 markings, 8415324 edges,
lola: 12 tries, 11927139 fired transitions, 365 secs || 6398724 markings, 8539003 edges,
lola: 13 tries, 12030206 fired transitions, 370 secs || 6494359 markings, 8673300 edges,
lola: 13 tries, 12124358 fired transitions, 375 secs || 6578330 markings, 8786603 edges,
lola: 13 tries, 12224445 fired transitions, 380 secs || 6656963 markings, 8891067 edges,
lola: 13 tries, 12328195 fired transitions, 385 secs || 6740046 markings, 9000260 edges,
lola: 13 tries, 12431600 fired transitions, 390 secs || 6825119 markings, 9114576 edges,
lola: 13 tries, 12536892 fired transitions, 395 secs || 6908604 markings, 9225636 edges,
lola: 13 tries, 12641347 fired transitions, 400 secs || 6989202 markings, 9336132 edges,
lola: 13 tries, 12746845 fired transitions, 405 secs || 7070918 markings, 9443953 edges,
lola: 13 tries, 12855836 fired transitions, 410 secs || 7156151 markings, 9562410 edges,
lola: 13 tries, 12959219 fired transitions, 415 secs || 7242522 markings, 9680942 edges,
lola: 14 tries, 13058654 fired transitions, 420 secs || 7325828 markings, 9796331 edges,
lola: 14 tries, 13153980 fired transitions, 425 secs || 7402672 markings, 9900269 edges,
lola: 14 tries, 13248246 fired transitions, 430 secs || 7479946 markings, 10004796 edges,
lola: 14 tries, 13345303 fired transitions, 435 secs || 7558720 markings, 10113521 edges,
lola: 14 tries, 13442701 fired transitions, 440 secs || 7645463 markings, 10231935 edges,
lola: 14 tries, 13541410 fired transitions, 445 secs || 7726561 markings, 10345332 edges,
lola: 14 tries, 13639264 fired transitions, 450 secs || 7806897 markings, 10468543 edges,
lola: 14 tries, 13732214 fired transitions, 455 secs || 7883534 markings, 10588184 edges,
lola: 14 tries, 13836033 fired transitions, 460 secs || 7963089 markings, 10695289 edges,
lola: 14 tries, 13937937 fired transitions, 465 secs || 8044763 markings, 10802831 edges,
lola: 15 tries, 14050557 fired transitions, 470 secs || 8129387 markings, 10915955 edges,
lola: 15 tries, 14150933 fired transitions, 475 secs || 8213541 markings, 11024031 edges,
lola: 15 tries, 14252085 fired transitions, 480 secs || 8298878 markings, 11133746 edges,
lola: 15 tries, 14351614 fired transitions, 485 secs || 8380901 markings, 11239493 edges,
lola: 15 tries, 14458774 fired transitions, 490 secs || 8463025 markings, 11345767 edges,
lola: 15 tries, 14562875 fired transitions, 495 secs || 8547297 markings, 11456788 edges,
lola: 15 tries, 14666436 fired transitions, 500 secs || 8631128 markings, 11567720 edges,
lola: 15 tries, 14842477 fired transitions, 505 secs || 8713248 markings, 11682897 edges,
lola: 15 tries, 14991137 fired transitions, 510 secs || 8793191 markings, 11797110 edges,
lola: 16 tries, 15090236 fired transitions, 515 secs || 8882164 markings, 11916500 edges,
lola: 16 tries, 15193638 fired transitions, 520 secs || 8967034 markings, 12032421 edges,
lola: 16 tries, 15310518 fired transitions, 525 secs || 9048721 markings, 12141291 edges,
lola: 16 tries, 15435225 fired transitions, 530 secs || 9126748 markings, 12242164 edges,
lola: 16 tries, 15708938 fired transitions, 535 secs || 9204315 markings, 12346988 edges,
lola: 17 tries, 16025747 fired transitions, 540 secs || 9282924 markings, 12454067 edges,
lola: 17 tries, 16121789 fired transitions, 545 secs || 9363932 markings, 12562908 edges,
lola: 17 tries, 16219150 fired transitions, 550 secs || 9446654 markings, 12672569 edges,
lola: 17 tries, 16314283 fired transitions, 555 secs || 9528288 markings, 12780648 edges,
lola: 17 tries, 16411282 fired transitions, 560 secs || 9607204 markings, 12883590 edges,
lola: 17 tries, 16512415 fired transitions, 565 secs || 9684037 markings, 12989095 edges,
lola: 17 tries, 16609209 fired transitions, 570 secs || 9763048 markings, 13104907 edges,
lola: 17 tries, 16702632 fired transitions, 575 secs || 9844308 markings, 13211615 edges,
lola: 17 tries, 16795790 fired transitions, 580 secs || 9924290 markings, 13318192 edges,
lola: 17 tries, 16893652 fired transitions, 585 secs || 10002607 markings, 13422797 edges,
lola: 17 tries, 16992769 fired transitions, 590 secs || 10080428 markings, 13525771 edges,
lola: 18 tries, 17081344 fired transitions, 595 secs || 10157230 markings, 13628752 edges,
lola: 18 tries, 17172628 fired transitions, 600 secs || 10236868 markings, 13748224 edges,
lola: 18 tries, 17263164 fired transitions, 605 secs || 10323146 markings, 13890640 edges,
lola: 18 tries, 17359538 fired transitions, 610 secs || 10409215 markings, 14038796 edges,
lola: 18 tries, 17465254 fired transitions, 615 secs || 10497010 markings, 14181938 edges,
lola: 18 tries, 17576642 fired transitions, 620 secs || 10584874 markings, 14332298 edges,
lola: 18 tries, 17688208 fired transitions, 625 secs || 10672800 markings, 14484852 edges,
lola: 18 tries, 17795402 fired transitions, 630 secs || 10756686 markings, 14629474 edges,
lola: 18 tries, 17902154 fired transitions, 635 secs || 10839534 markings, 14769195 edges,
lola: 19 tries, 18009171 fired transitions, 640 secs || 10924705 markings, 14913374 edges,
lola: 19 tries, 18107692 fired transitions, 645 secs || 11008292 markings, 15056833 edges,
lola: 19 tries, 18207840 fired transitions, 650 secs || 11096870 markings, 15207246 edges,
lola: 19 tries, 18314759 fired transitions, 655 secs || 11185191 markings, 15347260 edges,
lola: 19 tries, 18436153 fired transitions, 660 secs || 11272405 markings, 15486730 edges,
lola: 19 tries, 18559002 fired transitions, 665 secs || 11355554 markings, 15624746 edges,
lola: 19 tries, 18711546 fired transitions, 670 secs || 11440293 markings, 15770481 edges,
lola: 20 tries, 19014578 fired transitions, 675 secs || 11522885 markings, 15912192 edges,
lola: 20 tries, 19109406 fired transitions, 680 secs || 11605324 markings, 16042749 edges,
lola: 20 tries, 19207259 fired transitions, 685 secs || 11686792 markings, 16175707 edges,
lola: 20 tries, 19308765 fired transitions, 690 secs || 11771842 markings, 16318578 edges,
lola: 20 tries, 19412758 fired transitions, 695 secs || 11858142 markings, 16472723 edges,
lola: 20 tries, 19514072 fired transitions, 700 secs || 11945271 markings, 16625240 edges,
lola: 20 tries, 19619630 fired transitions, 705 secs || 12030963 markings, 16777979 edges,
lola: 20 tries, 19730911 fired transitions, 710 secs || 12117373 markings, 16932879 edges,
lola: 20 tries, 19838820 fired transitions, 715 secs || 12197586 markings, 17077755 edges,
lola: 20 tries, 19956210 fired transitions, 720 secs || 12282863 markings, 17229437 edges,
lola: 21 tries, 20062190 fired transitions, 725 secs || 12365156 markings, 17375235 edges,
lola: 21 tries, 20160840 fired transitions, 730 secs || 12447779 markings, 17519950 edges,
lola: 21 tries, 20258756 fired transitions, 735 secs || 12530552 markings, 17668340 edges,
lola: 21 tries, 20357648 fired transitions, 740 secs || 12611530 markings, 17813425 edges,
lola: 21 tries, 20452030 fired transitions, 745 secs || 12693702 markings, 17958660 edges,
lola: 21 tries, 20549340 fired transitions, 750 secs || 12778405 markings, 18107975 edges,
lola: 21 tries, 20652068 fired transitions, 755 secs || 12862030 markings, 18256568 edges,
lola: 21 tries, 20758823 fired transitions, 760 secs || 12947536 markings, 18407148 edges,
lola: 21 tries, 20896188 fired transitions, 765 secs || 13031925 markings, 18553807 edges,
lola: 22 tries, 21013776 fired transitions, 770 secs || 13115933 markings, 18695873 edges,
lola: 22 tries, 21113370 fired transitions, 775 secs || 13201636 markings, 18839314 edges,
lola: 22 tries, 21211867 fired transitions, 780 secs || 13287964 markings, 18987485 edges,
lola: 22 tries, 21314991 fired transitions, 785 secs || 13374947 markings, 19135248 edges,
lola: 22 tries, 21420227 fired transitions, 790 secs || 13463661 markings, 19281493 edges,
lola: 22 tries, 21648812 fired transitions, 795 secs || 13545706 markings, 19395687 edges,
lola: 22 tries, 21939663 fired transitions, 800 secs || 13626630 markings, 19510346 edges,
lola: 23 tries, 22075995 fired transitions, 805 secs || 13705162 markings, 19622273 edges,
lola: 23 tries, 22178202 fired transitions, 810 secs || 13787560 markings, 19738984 edges,
lola: 23 tries, 22280471 fired transitions, 815 secs || 13869040 markings, 19852455 edges,
lola: 23 tries, 22384001 fired transitions, 820 secs || 13953152 markings, 19981542 edges,
lola: 23 tries, 22483612 fired transitions, 825 secs || 14038460 markings, 20114087 edges,
lola: 23 tries, 22582445 fired transitions, 830 secs || 14123692 markings, 20246427 edges,
lola: 23 tries, 22674495 fired transitions, 835 secs || 14203094 markings, 20371234 edges,
lola: 23 tries, 22768719 fired transitions, 840 secs || 14283322 markings, 20489029 edges,
lola: 23 tries, 22863279 fired transitions, 845 secs || 14362012 markings, 20620538 edges,
lola: 23 tries, 22958536 fired transitions, 850 secs || 14439939 markings, 20746717 edges,
lola: 24 tries, 23054988 fired transitions, 855 secs || 14517095 markings, 20878579 edges,
lola: 24 tries, 23150595 fired transitions, 860 secs || 14599676 markings, 20992660 edges,
lola: 24 tries, 23247860 fired transitions, 865 secs || 14680552 markings, 21098855 edges,
lola: 24 tries, 23353174 fired transitions, 870 secs || 14769604 markings, 21235042 edges,
lola: 24 tries, 23461345 fired transitions, 875 secs || 14857686 markings, 21373519 edges,
lola: 24 tries, 23562030 fired transitions, 880 secs || 14944189 markings, 21489398 edges,
lola: 24 tries, 23658800 fired transitions, 885 secs || 15028405 markings, 21602575 edges,
lola: 24 tries, 23764892 fired transitions, 890 secs || 15113823 markings, 21717016 edges,
lola: 24 tries, 23868566 fired transitions, 895 secs || 15197810 markings, 21832271 edges,
lola: 24 tries, 23969016 fired transitions, 900 secs || 15279101 markings, 21945948 edges,
lola: 25 tries, 24069029 fired transitions, 905 secs || 15362440 markings, 22063691 edges,
lola: 25 tries, 24161135 fired transitions, 910 secs || 15442358 markings, 22175376 edges,
lola: 25 tries, 24265140 fired transitions, 915 secs || 15529399 markings, 22304787 edges,
lola: 25 tries, 24370082 fired transitions, 920 secs || 15615362 markings, 22425787 edges,
lola: 25 tries, 24475809 fired transitions, 925 secs || 15698862 markings, 22546353 edges,
lola: 25 tries, 24585171 fired transitions, 930 secs || 15784827 markings, 22671576 edges,
lola: 25 tries, 24712646 fired transitions, 935 secs || 15869834 markings, 22796834 edges,
lola: 25 tries, 24839868 fired transitions, 940 secs || 15953645 markings, 22916740 edges,
lola: 25 tries, 24965687 fired transitions, 945 secs || 16035753 markings, 23038205 edges,
lola: 26 tries, 25068874 fired transitions, 950 secs || 16116503 markings, 23156341 edges,
lola: 26 tries, 25165268 fired transitions, 955 secs || 16196129 markings, 23274246 edges,
lola: 26 tries, 25263956 fired transitions, 960 secs || 16282182 markings, 23395130 edges,
lola: 26 tries, 25364164 fired transitions, 965 secs || 16366260 markings, 23518793 edges,
lola: 26 tries, 25459544 fired transitions, 970 secs || 16451411 markings, 23638565 edges,
lola: 26 tries, 25564899 fired transitions, 975 secs || 16534622 markings, 23753023 edges,
lola: 26 tries, 25674215 fired transitions, 980 secs || 16621787 markings, 23866514 edges,
lola: 26 tries, 25778376 fired transitions, 985 secs || 16711394 markings, 23981985 edges,
lola: 26 tries, 25888056 fired transitions, 990 secs || 16802793 markings, 24103275 edges,
lola: 27 tries, 26002337 fired transitions, 995 secs || 16901792 markings, 24227024 edges,
lola: 27 tries, 26101143 fired transitions, 1000 secs || 16987531 markings, 24337534 edges,
lola: 27 tries, 26212740 fired transitions, 1005 secs || 17072749 markings, 24447517 edges,
lola: 27 tries, 26360895 fired transitions, 1010 secs || 17157343 markings, 24563130 edges,
lola: 27 tries, 26606283 fired transitions, 1015 secs || 17238540 markings, 24672637 edges,
lola: 27 tries, 26853072 fired transitions, 1020 secs || 17320895 markings, 24783267 edges,
lola: 28 tries, 27025296 fired transitions, 1025 secs || 17397913 markings, 24887242 edges,
lola: 28 tries, 27121619 fired transitions, 1030 secs || 17477029 markings, 24990274 edges,
lola: 28 tries, 27223563 fired transitions, 1035 secs || 17560059 markings, 25099583 edges,
lola: 28 tries, 27332888 fired transitions, 1040 secs || 17641866 markings, 25210077 edges,
lola: 28 tries, 27449431 fired transitions, 1045 secs || 17728166 markings, 25321825 edges,
lola: 28 tries, 27563336 fired transitions, 1050 secs || 17815760 markings, 25443773 edges,
lola: 28 tries, 27682297 fired transitions, 1055 secs || 17912546 markings, 25573393 edges,
lola: 28 tries, 27798730 fired transitions, 1060 secs || 17988570 markings, 25701536 edges,
lola: 28 tries, 27946395 fired transitions, 1065 secs || 18074198 markings, 25812315 edges,
lola: 29 tries, 28181134 fired transitions, 1070 secs || 18164422 markings, 25924287 edges,
lola: 29 tries, 28290592 fired transitions, 1075 secs || 18248709 markings, 26036135 edges,
lola: 29 tries, 28398454 fired transitions, 1080 secs || 18347633 markings, 26163474 edges,
lola: 29 tries, 28511275 fired transitions, 1085 secs || 18434758 markings, 26280780 edges,
lola: 29 tries, 28622936 fired transitions, 1090 secs || 18519781 markings, 26391818 edges,
lola: 29 tries, 28732074 fired transitions, 1095 secs || 18604154 markings, 26502391 edges,
lola: 29 tries, 28837527 fired transitions, 1100 secs || 18685577 markings, 26609525 edges,
lola: 29 tries, 28949726 fired transitions, 1105 secs || 18766396 markings, 26718309 edges,
lola: 30 tries, 29048431 fired transitions, 1110 secs || 18843044 markings, 26820735 edges,
lola: 30 tries, 29147345 fired transitions, 1115 secs || 18922500 markings, 26926503 edges,
lola: 30 tries, 29249454 fired transitions, 1120 secs || 18999471 markings, 27028751 edges,
lola: 30 tries, 29350670 fired transitions, 1125 secs || 19083522 markings, 27138355 edges,
lola: 30 tries, 29490405 fired transitions, 1130 secs || 19160766 markings, 27239954 edges,
lola: 30 tries, 29734592 fired transitions, 1135 secs || 19238492 markings, 27344619 edges,
lola: 30 tries, 29901193 fired transitions, 1140 secs || 19316004 markings, 27447885 edges,
lola: 31 tries, 30015149 fired transitions, 1145 secs || 19395135 markings, 27550677 edges,
lola: 31 tries, 30117971 fired transitions, 1150 secs || 19479392 markings, 27658872 edges,
lola: 31 tries, 30215394 fired transitions, 1155 secs || 19558618 markings, 27766867 edges,
lola: 31 tries, 30317573 fired transitions, 1160 secs || 19637063 markings, 27872607 edges,
lola: 31 tries, 30420246 fired transitions, 1165 secs || 19714765 markings, 27973344 edges,
lola: 31 tries, 30528856 fired transitions, 1170 secs || 19793050 markings, 28077532 edges,
lola: 31 tries, 30642174 fired transitions, 1175 secs || 19872050 markings, 28183568 edges,
lola: 31 tries, 30759295 fired transitions, 1180 secs || 19950434 markings, 28289173 edges,
lola: 31 tries, 30873770 fired transitions, 1185 secs || 20028158 markings, 28391848 edges,
lola: 31 tries, 30990530 fired transitions, 1190 secs || 20106953 markings, 28496964 edges,
lola: 32 tries, 31093888 fired transitions, 1195 secs || 20194124 markings, 28613153 edges,
lola: 32 tries, 31197387 fired transitions, 1200 secs || 20276610 markings, 28722467 edges,
lola: 32 tries, 31315102 fired transitions, 1205 secs || 20356789 markings, 28829277 edges,
lola: 32 tries, 31421057 fired transitions, 1210 secs || 20433939 markings, 28931838 edges,
lola: 32 tries, 31577091 fired transitions, 1215 secs || 20512268 markings, 29035971 edges,
lola: 32 tries, 31703613 fired transitions, 1220 secs || 20590532 markings, 29138763 edges,
lola: 32 tries, 31907441 fired transitions, 1225 secs || 20668209 markings, 29238224 edges,
lola: 33 tries, 32046355 fired transitions, 1230 secs || 20746298 markings, 29339941 edges,
lola: 33 tries, 32142898 fired transitions, 1235 secs || 20821626 markings, 29441242 edges,
lola: 33 tries, 32249027 fired transitions, 1240 secs || 20901919 markings, 29546894 edges,
lola: 33 tries, 32351116 fired transitions, 1245 secs || 20979562 markings, 29648692 edges,
lola: 33 tries, 32452689 fired transitions, 1250 secs || 21057111 markings, 29751333 edges,
lola: 33 tries, 32568931 fired transitions, 1255 secs || 21137176 markings, 29855278 edges,
lola: 33 tries, 32889849 fired transitions, 1260 secs || 21218558 markings, 29960578 edges,
lola: 34 tries, 33066286 fired transitions, 1265 secs || 21299519 markings, 30069651 edges,
lola: 34 tries, 33178365 fired transitions, 1270 secs || 21380596 markings, 30176759 edges,
lola: 34 tries, 33287924 fired transitions, 1275 secs || 21464903 markings, 30289581 edges,
lola: 34 tries, 33394945 fired transitions, 1280 secs || 21549630 markings, 30400285 edges,
lola: 34 tries, 33508641 fired transitions, 1285 secs || 21639583 markings, 30517059 edges,
lola: 34 tries, 33619380 fired transitions, 1290 secs || 21731260 markings, 30633755 edges,
lola: 34 tries, 33811174 fired transitions, 1295 secs || 21826177 markings, 30755098 edges,
lola: 35 tries, 34023784 fired transitions, 1300 secs || 21916162 markings, 30870933 edges,
lola: 35 tries, 34119545 fired transitions, 1305 secs || 22005117 markings, 30985325 edges,
lola: 35 tries, 34215179 fired transitions, 1310 secs || 22097052 markings, 31101459 edges,
lola: 35 tries, 34318812 fired transitions, 1315 secs || 22187440 markings, 31213806 edges,
lola: 35 tries, 34473514 fired transitions, 1320 secs || 22283415 markings, 31334745 edges,
lola: 35 tries, 34635949 fired transitions, 1325 secs || 22377637 markings, 31456236 edges,
lola: 35 tries, 34796259 fired transitions, 1330 secs || 22472148 markings, 31574963 edges,
lola: 35 tries, 34963513 fired transitions, 1335 secs || 22567928 markings, 31696908 edges,
lola: 36 tries, 35082830 fired transitions, 1340 secs || 22664622 markings, 31818119 edges,
lola: 36 tries, 35191709 fired transitions, 1345 secs || 22758467 markings, 31938677 edges,
lola: 36 tries, 35304208 fired transitions, 1350 secs || 22855498 markings, 32062389 edges,
lola: 36 tries, 35423945 fired transitions, 1355 secs || 22952058 markings, 32190186 edges,
lola: 36 tries, 35552286 fired transitions, 1360 secs || 23048349 markings, 32318973 edges,
lola: 36 tries, 35694192 fired transitions, 1365 secs || 23131063 markings, 32426360 edges,
lola: 36 tries, 35868536 fired transitions, 1370 secs || 23212133 markings, 32533997 edges,
lola: 37 tries, 36015470 fired transitions, 1375 secs || 23291854 markings, 32640375 edges,
lola: 37 tries, 36119206 fired transitions, 1380 secs || 23374194 markings, 32750295 edges,
lola: 37 tries, 36222270 fired transitions, 1385 secs || 23456588 markings, 32858626 edges,
lola: 37 tries, 36326902 fired transitions, 1390 secs || 23538316 markings, 32967000 edges,
lola: 37 tries, 36434827 fired transitions, 1395 secs || 23620166 markings, 33076163 edges,
lola: 37 tries, 36540593 fired transitions, 1400 secs || 23701245 markings, 33185193 edges,
lola: 37 tries, 36655209 fired transitions, 1405 secs || 23781849 markings, 33293970 edges,
lola: 37 tries, 36771535 fired transitions, 1410 secs || 23873743 markings, 33415730 edges,
lola: 37 tries, 36903868 fired transitions, 1415 secs || 23965128 markings, 33536756 edges,
lola: 38 tries, 37028602 fired transitions, 1420 secs || 24058437 markings, 33659150 edges,
lola: 38 tries, 37137787 fired transitions, 1425 secs || 24150800 markings, 33782217 edges,
lola: 38 tries, 37242830 fired transitions, 1430 secs || 24243566 markings, 33902715 edges,
lola: 38 tries, 37346368 fired transitions, 1435 secs || 24335619 markings, 34023929 edges,
lola: 38 tries, 37452512 fired transitions, 1440 secs || 24426168 markings, 34143607 edges,
lola: 38 tries, 37557805 fired transitions, 1445 secs || 24519492 markings, 34265056 edges,
lola: 38 tries, 37662029 fired transitions, 1450 secs || 24611229 markings, 34385862 edges,
lola: 38 tries, 37765673 fired transitions, 1455 secs || 24702069 markings, 34505996 edges,
lola: 38 tries, 37871417 fired transitions, 1460 secs || 24792337 markings, 34626145 edges,
lola: 38 tries, 37971482 fired transitions, 1465 secs || 24878917 markings, 34743383 edges,
lola: 39 tries, 38066869 fired transitions, 1470 secs || 24965119 markings, 34858420 edges,
lola: 39 tries, 38170679 fired transitions, 1475 secs || 25054928 markings, 34977687 edges,
lola: 39 tries, 38288837 fired transitions, 1480 secs || 25151370 markings, 35101528 edges,
lola: 39 tries, 38405367 fired transitions, 1485 secs || 25244140 markings, 35219942 edges,
lola: 39 tries, 38598594 fired transitions, 1490 secs || 25337490 markings, 35340547 edges,
lola: 39 tries, 38880450 fired transitions, 1495 secs || 25431930 markings, 35459164 edges,
lola: 39 tries, 38996671 fired transitions, 1500 secs || 25525591 markings, 35579355 edges,
lola: 40 tries, 39100243 fired transitions, 1505 secs || 25621518 markings, 35701341 edges,
lola: 40 tries, 39201836 fired transitions, 1510 secs || 25708421 markings, 35817826 edges,
lola: 40 tries, 39303853 fired transitions, 1515 secs || 25786133 markings, 35927989 edges,
lola: 40 tries, 39403625 fired transitions, 1520 secs || 25860005 markings, 36037005 edges,
lola: 40 tries, 39517802 fired transitions, 1525 secs || 25931914 markings, 36140839 edges,
lola: 40 tries, 39670940 fired transitions, 1530 secs || 26009822 markings, 36245859 edges,
lola: 40 tries, 39820791 fired transitions, 1535 secs || 26093894 markings, 36358118 edges,
lola: 40 tries, 39975658 fired transitions, 1540 secs || 26184236 markings, 36472779 edges,
lola: 41 tries, 40077997 fired transitions, 1545 secs || 26274327 markings, 36586837 edges,
lola: 41 tries, 40182406 fired transitions, 1550 secs || 26372320 markings, 36709063 edges,
lola: 41 tries, 40291524 fired transitions, 1555 secs || 26468752 markings, 36831500 edges,
lola: 41 tries, 40408339 fired transitions, 1560 secs || 26560541 markings, 36948734 edges,
lola: 41 tries, 40528953 fired transitions, 1565 secs || 26657995 markings, 37060848 edges,
lola: 41 tries, 40655688 fired transitions, 1570 secs || 26753446 markings, 37170556 edges,
lola: 41 tries, 40802221 fired transitions, 1575 secs || 26839040 markings, 37288693 edges,
lola: 41 tries, 40969075 fired transitions, 1580 secs || 26924799 markings, 37433524 edges,
lola: 42 tries, 41081671 fired transitions, 1585 secs || 27007656 markings, 37582395 edges,
lola: 42 tries, 41178067 fired transitions, 1590 secs || 27092545 markings, 37705683 edges,
lola: 42 tries, 41275119 fired transitions, 1595 secs || 27176857 markings, 37828703 edges,
lola: 42 tries, 41371228 fired transitions, 1600 secs || 27260514 markings, 37947026 edges,
lola: 42 tries, 41468084 fired transitions, 1605 secs || 27345901 markings, 38064843 edges,
lola: 42 tries, 41564667 fired transitions, 1610 secs || 27427807 markings, 38188443 edges,
lola: 42 tries, 41661235 fired transitions, 1615 secs || 27509527 markings, 38308981 edges,
lola: 42 tries, 41764524 fired transitions, 1620 secs || 27595884 markings, 38443588 edges,
lola: 42 tries, 41873204 fired transitions, 1625 secs || 27685383 markings, 38572380 edges,
lola: 42 tries, 41979532 fired transitions, 1630 secs || 27773789 markings, 38704986 edges,
lola: 43 tries, 42084641 fired transitions, 1635 secs || 27863131 markings, 38835223 edges,
lola: 43 tries, 42184967 fired transitions, 1640 secs || 27950715 markings, 38960918 edges,
lola: 43 tries, 42283945 fired transitions, 1645 secs || 28036968 markings, 39090520 edges,
lola: 43 tries, 42383856 fired transitions, 1650 secs || 28119664 markings, 39212643 edges,
lola: 43 tries, 42485919 fired transitions, 1655 secs || 28202442 markings, 39340268 edges,
lola: 43 tries, 42589368 fired transitions, 1660 secs || 28286701 markings, 39466225 edges,
lola: 43 tries, 42685846 fired transitions, 1665 secs || 28369216 markings, 39599655 edges,
lola: 43 tries, 42783152 fired transitions, 1670 secs || 28449980 markings, 39731125 edges,
lola: 43 tries, 42878548 fired transitions, 1675 secs || 28530526 markings, 39860469 edges,
lola: 43 tries, 42974924 fired transitions, 1680 secs || 28610250 markings, 39993322 edges,
lola: 44 tries, 43071037 fired transitions, 1685 secs || 28688873 markings, 40120713 edges,
lola: 44 tries, 43170029 fired transitions, 1690 secs || 28771806 markings, 40245522 edges,
lola: 44 tries, 43274292 fired transitions, 1695 secs || 28857726 markings, 40375867 edges,
lola: 44 tries, 43377637 fired transitions, 1700 secs || 28945918 markings, 40499841 edges,
lola: 44 tries, 43492288 fired transitions, 1705 secs || 29029722 markings, 40622558 edges,
lola: 44 tries, 43614135 fired transitions, 1710 secs || 29121431 markings, 40750113 edges,
lola: 44 tries, 43725824 fired transitions, 1715 secs || 29206730 markings, 40878664 edges,
lola: 44 tries, 43838029 fired transitions, 1720 secs || 29297651 markings, 41005035 edges,
lola: 44 tries, 43953305 fired transitions, 1725 secs || 29381334 markings, 41154568 edges,
lola: 45 tries, 44058282 fired transitions, 1730 secs || 29466889 markings, 41289632 edges,
lola: 45 tries, 44182894 fired transitions, 1735 secs || 29553865 markings, 41422969 edges,
lola: 45 tries, 44318572 fired transitions, 1740 secs || 29638472 markings, 41561489 edges,
lola: 45 tries, 44456286 fired transitions, 1745 secs || 29727690 markings, 41691209 edges,
lola: 45 tries, 44591053 fired transitions, 1750 secs || 29810829 markings, 41826495 edges,
lola: 45 tries, 44731873 fired transitions, 1755 secs || 29902762 markings, 41955743 edges,
lola: 45 tries, 44862721 fired transitions, 1760 secs || 29989609 markings, 42076409 edges,
lola: 45 tries, 44995573 fired transitions, 1765 secs || 30073850 markings, 42205922 edges,
lola: 46 tries, 45095476 fired transitions, 1770 secs || 30159578 markings, 42330257 edges,
lola: 46 tries, 45191984 fired transitions, 1775 secs || 30243719 markings, 42455486 edges,
lola: 46 tries, 45290221 fired transitions, 1780 secs || 30327727 markings, 42590740 edges,
lola: 46 tries, 45390549 fired transitions, 1785 secs || 30410930 markings, 42725236 edges,
lola: 46 tries, 45491424 fired transitions, 1790 secs || 30501017 markings, 42851207 edges,
lola: 46 tries, 45590183 fired transitions, 1795 secs || 30585752 markings, 42978933 edges,
lola: 46 tries, 45692281 fired transitions, 1800 secs || 30669936 markings, 43108421 edges,
lola: 46 tries, 45796274 fired transitions, 1805 secs || 30754248 markings, 43246754 edges,
lola: 46 tries, 45899751 fired transitions, 1810 secs || 30839075 markings, 43389363 edges,
lola: 47 tries, 46002473 fired transitions, 1815 secs || 30924931 markings, 43530662 edges,
lola: 47 tries, 46101609 fired transitions, 1820 secs || 31009972 markings, 43671443 edges,
lola: 47 tries, 46213270 fired transitions, 1825 secs || 31100141 markings, 43809260 edges,
lola: 47 tries, 46320049 fired transitions, 1830 secs || 31189015 markings, 43939893 edges,
lola: 47 tries, 46430897 fired transitions, 1835 secs || 31278432 markings, 44070528 edges,
lola: 47 tries, 46542666 fired transitions, 1840 secs || 31364442 markings, 44191378 edges,
lola: 47 tries, 46664412 fired transitions, 1845 secs || 31446388 markings, 44301712 edges,
lola: 47 tries, 46783418 fired transitions, 1850 secs || 31523332 markings, 44425448 edges,
lola: 47 tries, 46952097 fired transitions, 1855 secs || 31604258 markings, 44534944 edges,
lola: 48 tries, 47069492 fired transitions, 1860 secs || 31684157 markings, 44642528 edges,
lola: 48 tries, 47169032 fired transitions, 1865 secs || 31763682 markings, 44750477 edges,
lola: 48 tries, 47266731 fired transitions, 1870 secs || 31841868 markings, 44854654 edges,
lola: 48 tries, 47363512 fired transitions, 1875 secs || 31918636 markings, 44957913 edges,
lola: 48 tries, 47464407 fired transitions, 1880 secs || 31998314 markings, 45067992 edges,
lola: 48 tries, 47575466 fired transitions, 1885 secs || 32081272 markings, 45180913 edges,
lola: 48 tries, 47690215 fired transitions, 1890 secs || 32168447 markings, 45305334 edges,
lola: 48 tries, 47842048 fired transitions, 1895 secs || 32255189 markings, 45440845 edges,
lola: 48 tries, 47991863 fired transitions, 1900 secs || 32340895 markings, 45574095 edges,
lola: 49 tries, 48096430 fired transitions, 1905 secs || 32423413 markings, 45695548 edges,
lola: 49 tries, 48209757 fired transitions, 1910 secs || 32509891 markings, 45812361 edges,
lola: 49 tries, 48433203 fired transitions, 1915 secs || 32595836 markings, 45945504 edges,
lola: 49 tries, 48837612 fired transitions, 1920 secs || 32678359 markings, 46083193 edges,
lola: 50 tries, 49055328 fired transitions, 1925 secs || 32756180 markings, 46210321 edges,
lola: 50 tries, 49154884 fired transitions, 1930 secs || 32831471 markings, 46355511 edges,
lola: 50 tries, 49257124 fired transitions, 1935 secs || 32908713 markings, 46496105 edges,
lola: 50 tries, 49360343 fired transitions, 1940 secs || 32986170 markings, 46633027 edges,
lola: 50 tries, 49462129 fired transitions, 1945 secs || 33063459 markings, 46774734 edges,
lola: 50 tries, 49563512 fired transitions, 1950 secs || 33140785 markings, 46909411 edges,
lola: 50 tries, 49667934 fired transitions, 1955 secs || 33221602 markings, 47052382 edges,
lola: 50 tries, 49773127 fired transitions, 1960 secs || 33302619 markings, 47199743 edges,
lola: 50 tries, 49880235 fired transitions, 1965 secs || 33390065 markings, 47333365 edges,
lola: 50 tries, 49988814 fired transitions, 1970 secs || 33476259 markings, 47479536 edges,
lola: 51 tries, 50087487 fired transitions, 1975 secs || 33558149 markings, 47609952 edges,
lola: 51 tries, 50188742 fired transitions, 1980 secs || 33639133 markings, 47745681 edges,
lola: 51 tries, 50308298 fired transitions, 1985 secs || 33724322 markings, 47864691 edges,
lola: 51 tries, 50442577 fired transitions, 1990 secs || 33811411 markings, 47981490 edges,
lola: 51 tries, 50584392 fired transitions, 1995 secs || 33894180 markings, 48092615 edges,
lola: 51 tries, 50742964 fired transitions, 2000 secs || 33976107 markings, 48204929 edges,
lola: 51 tries, 50906705 fired transitions, 2005 secs || 34054534 markings, 48313643 edges,
lola: 52 tries, 51044657 fired transitions, 2010 secs || 34138037 markings, 48427733 edges,
lola: 52 tries, 51148152 fired transitions, 2015 secs || 34220048 markings, 48537946 edges,
lola: 52 tries, 51256281 fired transitions, 2020 secs || 34300708 markings, 48648661 edges,
lola: 52 tries, 51360950 fired transitions, 2025 secs || 34379014 markings, 48758033 edges,
lola: 52 tries, 51470432 fired transitions, 2030 secs || 34460039 markings, 48867653 edges,
lola: 52 tries, 51582752 fired transitions, 2035 secs || 34543473 markings, 48980108 edges,
lola: 52 tries, 51695799 fired transitions, 2040 secs || 34622402 markings, 49088915 edges,
lola: 52 tries, 51810371 fired transitions, 2045 secs || 34703707 markings, 49201431 edges,
lola: 52 tries, 51929535 fired transitions, 2050 secs || 34785773 markings, 49316218 edges,
lola: 53 tries, 52082450 fired transitions, 2055 secs || 34867955 markings, 49432113 edges,
lola: 53 tries, 52191550 fired transitions, 2060 secs || 34950757 markings, 49551051 edges,
lola: 53 tries, 52304285 fired transitions, 2065 secs || 35034515 markings, 49668744 edges,
lola: 53 tries, 52415300 fired transitions, 2070 secs || 35114576 markings, 49799350 edges,
lola: 53 tries, 52531693 fired transitions, 2075 secs || 35197750 markings, 49925906 edges,
lola: 53 tries, 52741694 fired transitions, 2080 secs || 35280119 markings, 50046201 edges,
lola: 53 tries, 52897570 fired transitions, 2085 secs || 35365105 markings, 50173049 edges,
lola: 54 tries, 53026392 fired transitions, 2090 secs || 35451159 markings, 50305327 edges,
lola: 54 tries, 53122619 fired transitions, 2095 secs || 35535318 markings, 50438596 edges,
lola: 54 tries, 53216777 fired transitions, 2100 secs || 35617239 markings, 50577484 edges,
lola: 54 tries, 53316150 fired transitions, 2105 secs || 35705020 markings, 50698522 edges,
lola: 54 tries, 53414830 fired transitions, 2110 secs || 35782844 markings, 50814252 edges,
lola: 54 tries, 53512875 fired transitions, 2115 secs || 35861831 markings, 50927389 edges,
lola: 54 tries, 53610427 fired transitions, 2120 secs || 35944788 markings, 51039209 edges,
lola: 54 tries, 53709372 fired transitions, 2125 secs || 36029031 markings, 51153638 edges,
lola: 54 tries, 53813855 fired transitions, 2130 secs || 36110346 markings, 51273537 edges,
lola: 54 tries, 53929388 fired transitions, 2135 secs || 36195879 markings, 51399380 edges,
lola: 55 tries, 54036364 fired transitions, 2140 secs || 36277537 markings, 51526670 edges,
lola: 55 tries, 54135424 fired transitions, 2145 secs || 36359676 markings, 51645184 edges,
lola: 55 tries, 54245477 fired transitions, 2150 secs || 36445542 markings, 51759564 edges,
lola: 55 tries, 54350055 fired transitions, 2155 secs || 36526970 markings, 51869385 edges,
lola: 55 tries, 54452637 fired transitions, 2160 secs || 36606367 markings, 51978720 edges,
lola: 55 tries, 54561340 fired transitions, 2165 secs || 36683182 markings, 52085505 edges,
lola: 55 tries, 54668522 fired transitions, 2170 secs || 36759758 markings, 52193713 edges,
lola: 55 tries, 54784791 fired transitions, 2175 secs || 36842364 markings, 52307868 edges,
lola: 56 tries, 55007422 fired transitions, 2180 secs || 36925819 markings, 52425063 edges,
lola: 56 tries, 55107070 fired transitions, 2185 secs || 37004492 markings, 52544318 edges,
lola: 56 tries, 55208653 fired transitions, 2190 secs || 37082825 markings, 52658683 edges,
lola: 56 tries, 55311588 fired transitions, 2195 secs || 37164991 markings, 52776464 edges,
lola: 56 tries, 55417499 fired transitions, 2200 secs || 37244189 markings, 52895311 edges,
lola: 56 tries, 55517552 fired transitions, 2205 secs || 37318702 markings, 53006691 edges,
lola: 56 tries, 55627502 fired transitions, 2210 secs || 37410269 markings, 53122900 edges,
lola: 56 tries, 55739154 fired transitions, 2215 secs || 37507485 markings, 53244397 edges,
lola: 56 tries, 55870894 fired transitions, 2220 secs || 37598432 markings, 53369156 edges,
lola: 57 tries, 56001913 fired transitions, 2225 secs || 37684477 markings, 53507413 edges,
lola: 57 tries, 56099923 fired transitions, 2230 secs || 37769209 markings, 53643266 edges,
lola: 57 tries, 56197700 fired transitions, 2235 secs || 37853040 markings, 53757603 edges,
lola: 57 tries, 56296495 fired transitions, 2240 secs || 37938065 markings, 53869621 edges,
lola: 57 tries, 56398146 fired transitions, 2245 secs || 38023643 markings, 53984658 edges,
lola: 57 tries, 56509472 fired transitions, 2250 secs || 38107396 markings, 54096467 edges,
lola: 57 tries, 56623497 fired transitions, 2255 secs || 38190068 markings, 54207834 edges,
lola: 57 tries, 56738415 fired transitions, 2260 secs || 38271897 markings, 54317600 edges,
lola: 57 tries, 56850690 fired transitions, 2265 secs || 38351732 markings, 54426055 edges,
lola: 57 tries, 56962579 fired transitions, 2270 secs || 38432554 markings, 54532973 edges,
lola: 58 tries, 57063597 fired transitions, 2275 secs || 38514934 markings, 54642448 edges,
lola: 58 tries, 57160148 fired transitions, 2280 secs || 38598577 markings, 54756068 edges,
lola: 58 tries, 57255302 fired transitions, 2285 secs || 38679441 markings, 54862538 edges,
lola: 58 tries, 57352850 fired transitions, 2290 secs || 38761132 markings, 54973295 edges,
lola: 58 tries, 57455273 fired transitions, 2295 secs || 38844346 markings, 55085819 edges,
lola: 58 tries, 57552923 fired transitions, 2300 secs || 38923761 markings, 55194078 edges,
lola: 58 tries, 57657055 fired transitions, 2305 secs || 39007462 markings, 55308794 edges,
lola: 58 tries, 57758966 fired transitions, 2310 secs || 39089932 markings, 55423026 edges,
lola: 58 tries, 57856273 fired transitions, 2315 secs || 39169176 markings, 55531562 edges,
lola: 58 tries, 57957051 fired transitions, 2320 secs || 39250197 markings, 55644011 edges,
lola: 59 tries, 58052255 fired transitions, 2325 secs || 39329813 markings, 55754369 edges,
lola: 59 tries, 58150328 fired transitions, 2330 secs || 39407355 markings, 55861796 edges,
lola: 59 tries, 58246824 fired transitions, 2335 secs || 39483916 markings, 55968971 edges,
lola: 59 tries, 58340807 fired transitions, 2340 secs || 39561540 markings, 56074993 edges,
lola: 59 tries, 58441223 fired transitions, 2345 secs || 39643561 markings, 56189551 edges,
lola: 59 tries, 58540236 fired transitions, 2350 secs || 39723905 markings, 56303638 edges,
lola: 59 tries, 58638387 fired transitions, 2355 secs || 39802011 markings, 56412637 edges,
lola: 59 tries, 58743019 fired transitions, 2360 secs || 39881904 markings, 56525171 edges,
lola: 59 tries, 58849197 fired transitions, 2365 secs || 39963373 markings, 56641448 edges,
lola: 59 tries, 58954740 fired transitions, 2370 secs || 40045118 markings, 56756769 edges,
lola: 60 tries, 59049876 fired transitions, 2375 secs || 40121467 markings, 56865035 edges,
lola: 60 tries, 59150297 fired transitions, 2380 secs || 40201182 markings, 56978497 edges,
lola: 60 tries, 59249657 fired transitions, 2385 secs || 40279510 markings, 57089489 edges,
lola: 60 tries, 59348774 fired transitions, 2390 secs || 40359129 markings, 57202598 edges,
lola: 60 tries, 59448515 fired transitions, 2395 secs || 40435811 markings, 57312596 edges,
lola: 60 tries, 59544121 fired transitions, 2400 secs || 40516455 markings, 57425689 edges,
lola: 60 tries, 59642440 fired transitions, 2405 secs || 40595975 markings, 57537959 edges,
lola: 60 tries, 59739033 fired transitions, 2410 secs || 40673131 markings, 57648153 edges,
lola: 60 tries, 59835621 fired transitions, 2415 secs || 40750798 markings, 57762740 edges,
lola: 60 tries, 59929927 fired transitions, 2420 secs || 40827247 markings, 57877965 edges,
lola: 61 tries, 60025708 fired transitions, 2425 secs || 40903548 markings, 57994749 edges,
lola: 61 tries, 60128582 fired transitions, 2430 secs || 40978935 markings, 58108125 edges,
lola: 61 tries, 60233667 fired transitions, 2435 secs || 41053658 markings, 58223369 edges,
lola: 61 tries, 60333476 fired transitions, 2440 secs || 41128866 markings, 58337059 edges,
lola: 61 tries, 60437116 fired transitions, 2445 secs || 41203262 markings, 58448313 edges,
lola: 61 tries, 60548706 fired transitions, 2450 secs || 41278570 markings, 58566179 edges,
lola: 61 tries, 60667708 fired transitions, 2455 secs || 41355303 markings, 58673237 edges,
lola: 61 tries, 60818955 fired transitions, 2460 secs || 41442133 markings, 58788083 edges,
lola: 61 tries, 60982836 fired transitions, 2465 secs || 41534240 markings, 58904143 edges,
lola: 62 tries, 61083131 fired transitions, 2470 secs || 41623367 markings, 59023079 edges,
lola: 62 tries, 61181176 fired transitions, 2475 secs || 41721913 markings, 59146373 edges,
lola: 62 tries, 61279707 fired transitions, 2480 secs || 41814548 markings, 59259148 edges,
lola: 62 tries, 61375483 fired transitions, 2485 secs || 41906070 markings, 59372274 edges,
lola: 62 tries, 61468215 fired transitions, 2490 secs || 41997187 markings, 59486651 edges,
lola: 62 tries, 61559600 fired transitions, 2495 secs || 42089948 markings, 59602005 edges,
lola: 62 tries, 61652698 fired transitions, 2500 secs || 42179749 markings, 59716258 edges,
lola: 62 tries, 61745065 fired transitions, 2505 secs || 42262961 markings, 59847984 edges,
lola: 62 tries, 61838541 fired transitions, 2510 secs || 42345536 markings, 59984838 edges,
lola: 62 tries, 61929884 fired transitions, 2515 secs || 42424182 markings, 60120926 edges,
lola: 63 tries, 62022287 fired transitions, 2520 secs || 42505089 markings, 60259923 edges,
lola: 63 tries, 62113341 fired transitions, 2525 secs || 42596161 markings, 60393219 edges,
lola: 63 tries, 62210066 fired transitions, 2530 secs || 42680069 markings, 60514232 edges,
lola: 63 tries, 62313078 fired transitions, 2535 secs || 42767315 markings, 60634458 edges,
lola: 63 tries, 62419773 fired transitions, 2540 secs || 42850970 markings, 60750299 edges,
lola: 63 tries, 62527136 fired transitions, 2545 secs || 42932731 markings, 60857822 edges,
lola: 63 tries, 62632392 fired transitions, 2550 secs || 43025762 markings, 60979055 edges,
lola: 63 tries, 62742500 fired transitions, 2555 secs || 43126848 markings, 61109557 edges,
lola: 63 tries, 62878318 fired transitions, 2560 secs || 43219577 markings, 61227059 edges,
lola: 64 tries, 63021308 fired transitions, 2565 secs || 43314335 markings, 61348413 edges,
lola: 64 tries, 63117048 fired transitions, 2570 secs || 43407763 markings, 61465967 edges,
lola: 64 tries, 63211564 fired transitions, 2575 secs || 43486058 markings, 61581165 edges,
lola: 64 tries, 63331412 fired transitions, 2580 secs || 43575739 markings, 61701430 edges,
lola: 64 tries, 63447703 fired transitions, 2585 secs || 43673096 markings, 61826076 edges,
lola: 64 tries, 63600874 fired transitions, 2590 secs || 43758880 markings, 61926895 edges,
lola: 64 tries, 63855166 fired transitions, 2595 secs || 43839600 markings, 62028822 edges,
lola: 65 tries, 64024856 fired transitions, 2600 secs || 43919034 markings, 62129294 edges,
lola: 65 tries, 64120678 fired transitions, 2605 secs || 44005396 markings, 62239075 edges,
lola: 65 tries, 64217189 fired transitions, 2610 secs || 44093394 markings, 62356338 edges,
lola: 65 tries, 64319499 fired transitions, 2615 secs || 44180024 markings, 62476412 edges,
lola: 65 tries, 64511955 fired transitions, 2620 secs || 44260602 markings, 62583205 edges,
lola: 65 tries, 64706260 fired transitions, 2625 secs || 44343338 markings, 62688420 edges,
lola: 65 tries, 64852872 fired transitions, 2630 secs || 44423999 markings, 62793191 edges,
lola: 66 tries, 65007556 fired transitions, 2635 secs || 44504699 markings, 62894914 edges,
lola: 66 tries, 65108216 fired transitions, 2640 secs || 44590205 markings, 63013168 edges,
lola: 66 tries, 65250585 fired transitions, 2645 secs || 44677636 markings, 63114600 edges,
lola: 66 tries, 65362997 fired transitions, 2650 secs || 44763389 markings, 63215528 edges,
lola: 66 tries, 65471763 fired transitions, 2655 secs || 44849693 markings, 63317228 edges,
lola: 66 tries, 65579321 fired transitions, 2660 secs || 44937236 markings, 63420954 edges,
lola: 66 tries, 65686090 fired transitions, 2665 secs || 45021689 markings, 63523670 edges,
lola: 66 tries, 65802215 fired transitions, 2670 secs || 45111637 markings, 63630054 edges,
lola: 66 tries, 65923145 fired transitions, 2675 secs || 45199102 markings, 63737122 edges,
lola: 67 tries, 66053038 fired transitions, 2680 secs || 45287687 markings, 63842311 edges,
lola: 67 tries, 66193750 fired transitions, 2685 secs || 45379921 markings, 63945960 edges,
lola: 67 tries, 66330152 fired transitions, 2690 secs || 45471555 markings, 64050322 edges,
lola: 67 tries, 66446740 fired transitions, 2695 secs || 45563651 markings, 64157797 edges,
lola: 67 tries, 66565028 fired transitions, 2700 secs || 45647435 markings, 64254936 edges,
lola: 67 tries, 66683892 fired transitions, 2705 secs || 45736135 markings, 64368593 edges,
lola: 67 tries, 66785838 fired transitions, 2710 secs || 45818090 markings, 64490280 edges,
lola: 67 tries, 66890467 fired transitions, 2715 secs || 45900399 markings, 64618857 edges,
lola: 68 tries, 67002394 fired transitions, 2720 secs || 45981769 markings, 64738614 edges,
lola: 68 tries, 67094762 fired transitions, 2725 secs || 46059002 markings, 64862014 edges,
lola: 68 tries, 67190519 fired transitions, 2730 secs || 46137389 markings, 64997677 edges,
lola: 68 tries, 67284454 fired transitions, 2735 secs || 46213528 markings, 65129111 edges,
lola: 68 tries, 67381802 fired transitions, 2740 secs || 46291558 markings, 65247760 edges,
lola: 68 tries, 67484107 fired transitions, 2745 secs || 46370812 markings, 65366809 edges,
lola: 68 tries, 67585953 fired transitions, 2750 secs || 46449565 markings, 65484107 edges,
lola: 68 tries, 67685832 fired transitions, 2755 secs || 46529221 markings, 65605340 edges,
lola: 68 tries, 67784443 fired transitions, 2760 secs || 46608211 markings, 65727630 edges,
lola: 68 tries, 67886490 fired transitions, 2765 secs || 46692377 markings, 65847557 edges,
lola: 69 tries, 68012649 fired transitions, 2770 secs || 46772616 markings, 65981968 edges,
lola: 69 tries, 68113043 fired transitions, 2775 secs || 46854195 markings, 66105139 edges,
lola: 69 tries, 68210631 fired transitions, 2780 secs || 46937865 markings, 66231269 edges,
lola: 69 tries, 68303539 fired transitions, 2785 secs || 47016473 markings, 66351229 edges,
lola: 69 tries, 68396651 fired transitions, 2790 secs || 47096726 markings, 66468498 edges,
lola: 69 tries, 68492708 fired transitions, 2795 secs || 47176687 markings, 66588642 edges,
lola: 69 tries, 68585116 fired transitions, 2800 secs || 47254739 markings, 66704229 edges,
lola: 69 tries, 68684033 fired transitions, 2805 secs || 47337768 markings, 66826235 edges,
lola: 69 tries, 68786382 fired transitions, 2810 secs || 47421122 markings, 66949698 edges,
lola: 69 tries, 68888970 fired transitions, 2815 secs || 47503339 markings, 67077537 edges,
lola: 69 tries, 68984738 fired transitions, 2820 secs || 47580229 markings, 67193702 edges,
lola: 70 tries, 69083969 fired transitions, 2825 secs || 47660003 markings, 67321405 edges,
lola: 70 tries, 69187624 fired transitions, 2830 secs || 47743019 markings, 67451683 edges,
lola: 70 tries, 69286251 fired transitions, 2835 secs || 47824794 markings, 67578318 edges,
lola: 70 tries, 69387291 fired transitions, 2840 secs || 47907673 markings, 67707725 edges,
lola: 70 tries, 69483256 fired transitions, 2845 secs || 47989059 markings, 67835585 edges,
lola: 70 tries, 69577466 fired transitions, 2850 secs || 48069378 markings, 67957816 edges,
lola: 70 tries, 69673314 fired transitions, 2855 secs || 48150391 markings, 68082183 edges,
lola: 70 tries, 69770847 fired transitions, 2860 secs || 48231202 markings, 68203921 edges,
lola: 70 tries, 69865098 fired transitions, 2865 secs || 48311622 markings, 68334788 edges,
lola: 70 tries, 69960272 fired transitions, 2870 secs || 48390645 markings, 68459096 edges,
lola: 71 tries, 70051526 fired transitions, 2875 secs || 48469272 markings, 68577457 edges,
lola: 71 tries, 70149907 fired transitions, 2880 secs || 48551720 markings, 68705237 edges,
lola: 71 tries, 70253033 fired transitions, 2885 secs || 48635868 markings, 68836331 edges,
lola: 71 tries, 70350067 fired transitions, 2890 secs || 48714503 markings, 68957297 edges,
lola: 71 tries, 70447681 fired transitions, 2895 secs || 48792227 markings, 69082210 edges,
lola: 71 tries, 70550657 fired transitions, 2900 secs || 48870298 markings, 69201799 edges,
lola: 71 tries, 70659527 fired transitions, 2905 secs || 48951576 markings, 69332621 edges,
lola: 71 tries, 70770112 fired transitions, 2910 secs || 49035457 markings, 69459650 edges,
lola: 71 tries, 70877565 fired transitions, 2915 secs || 49120864 markings, 69581963 edges,
lola: 71 tries, 70985347 fired transitions, 2920 secs || 49205847 markings, 69704516 edges,
lola: 72 tries, 71083850 fired transitions, 2925 secs || 49289044 markings, 69822422 edges,
lola: 72 tries, 71186591 fired transitions, 2930 secs || 49376845 markings, 69945884 edges,
lola: 72 tries, 71294802 fired transitions, 2935 secs || 49467452 markings, 70069952 edges,
lola: 72 tries, 71400785 fired transitions, 2940 secs || 49549156 markings, 70186313 edges,
lola: 72 tries, 71508482 fired transitions, 2945 secs || 49629484 markings, 70304177 edges,
lola: 72 tries, 71613849 fired transitions, 2950 secs || 49711607 markings, 70427705 edges,
lola: 72 tries, 71718682 fired transitions, 2955 secs || 49791583 markings, 70557905 edges,
lola: 72 tries, 71823243 fired transitions, 2960 secs || 49870743 markings, 70678538 edges,
lola: 72 tries, 71931033 fired transitions, 2965 secs || 49949839 markings, 70804365 edges,
lola: 73 tries, 72040140 fired transitions, 2970 secs || 50031471 markings, 70945157 edges,
lola: 73 tries, 72147262 fired transitions, 2975 secs || 50113582 markings, 71076514 edges,
lola: 73 tries, 72251078 fired transitions, 2980 secs || 50194918 markings, 71201850 edges,
lola: 73 tries, 72354023 fired transitions, 2985 secs || 50272112 markings, 71320490 edges,
lola: 73 tries, 72458976 fired transitions, 2990 secs || 50348420 markings, 71440124 edges,
lola: 73 tries, 72584952 fired transitions, 2995 secs || 50426529 markings, 71552871 edges,
lola: 73 tries, 72720948 fired transitions, 3000 secs || 50509666 markings, 71672702 edges,
lola: 73 tries, 72868041 fired transitions, 3005 secs || 50593500 markings, 71799491 edges,
lola: 74 tries, 73008585 fired transitions, 3010 secs || 50674380 markings, 71930954 edges,
lola: 74 tries, 73107915 fired transitions, 3015 secs || 50756659 markings, 72054868 edges,
lola: 74 tries, 73204363 fired transitions, 3020 secs || 50838746 markings, 72177367 edges,
lola: 74 tries, 73298803 fired transitions, 3025 secs || 50916505 markings, 72297453 edges,
lola: 74 tries, 73396220 fired transitions, 3030 secs || 50996988 markings, 72426313 edges,
lola: 74 tries, 73494486 fired transitions, 3035 secs || 51078054 markings, 72550465 edges,
lola: 74 tries, 73595067 fired transitions, 3040 secs || 51159905 markings, 72689344 edges,
lola: 74 tries, 73694781 fired transitions, 3045 secs || 51240610 markings, 72824992 edges,
lola: 74 tries, 73796864 fired transitions, 3050 secs || 51321655 markings, 72960986 edges,
lola: 74 tries, 73902131 fired transitions, 3055 secs || 51403075 markings, 73115171 edges,
lola: 75 tries, 74005400 fired transitions, 3060 secs || 51486747 markings, 73259657 edges,
lola: 75 tries, 74100785 fired transitions, 3065 secs || 51571540 markings, 73407975 edges,
lola: 75 tries, 74196078 fired transitions, 3070 secs || 51654361 markings, 73561389 edges,
lola: 75 tries, 74291802 fired transitions, 3075 secs || 51737522 markings, 73714488 edges,
lola: 75 tries, 74387116 fired transitions, 3080 secs || 51820929 markings, 73852309 edges,
lola: 75 tries, 74482542 fired transitions, 3085 secs || 51905744 markings, 73984668 edges,
lola: 75 tries, 74577643 fired transitions, 3090 secs || 51988125 markings, 74132139 edges,
lola: 75 tries, 74678025 fired transitions, 3095 secs || 52070099 markings, 74281466 edges,
lola: 75 tries, 74779385 fired transitions, 3100 secs || 52153144 markings, 74415885 edges,
lola: 75 tries, 74878328 fired transitions, 3105 secs || 52229910 markings, 74549859 edges,
lola: 75 tries, 74977480 fired transitions, 3110 secs || 52307565 markings, 74693670 edges,
lola: 76 tries, 75075981 fired transitions, 3115 secs || 52384818 markings, 74831474 edges,
lola: 76 tries, 75179770 fired transitions, 3120 secs || 52462519 markings, 74968845 edges,
lola: 76 tries, 75283496 fired transitions, 3125 secs || 52540492 markings, 75096760 edges,
lola: 76 tries, 75389442 fired transitions, 3130 secs || 52619721 markings, 75228648 edges,
lola: 76 tries, 75497365 fired transitions, 3135 secs || 52698714 markings, 75366509 edges,
lola: 76 tries, 75629106 fired transitions, 3140 secs || 52779158 markings, 75505506 edges,
lola: 76 tries, 75858548 fired transitions, 3145 secs || 52859823 markings, 75634346 edges,
lola: 77 tries, 76020104 fired transitions, 3150 secs || 52936848 markings, 75769524 edges,
lola: 77 tries, 76121773 fired transitions, 3155 secs || 53015903 markings, 75901789 edges,
lola: 77 tries, 76220317 fired transitions, 3160 secs || 53094133 markings, 76030639 edges,
lola: 77 tries, 76334379 fired transitions, 3165 secs || 53173424 markings, 76170429 edges,
lola: 77 tries, 76448216 fired transitions, 3170 secs || 53252139 markings, 76296505 edges,
lola: 77 tries, 76571706 fired transitions, 3175 secs || 53331161 markings, 76432027 edges,
lola: 77 tries, 76711774 fired transitions, 3180 secs || 53408960 markings, 76570323 edges,
lola: 77 tries, 76929348 fired transitions, 3185 secs || 53486012 markings, 76705338 edges,
lola: 78 tries, 77049119 fired transitions, 3190 secs || 53565069 markings, 76837644 edges,
lola: 78 tries, 77140377 fired transitions, 3195 secs || 53643630 markings, 76964427 edges,
lola: 78 tries, 77235311 fired transitions, 3200 secs || 53720214 markings, 77109289 edges,
lola: 78 tries, 77332318 fired transitions, 3205 secs || 53797651 markings, 77251200 edges,
lola: 78 tries, 77438466 fired transitions, 3210 secs || 53875190 markings, 77390502 edges,
lola: 78 tries, 77562691 fired transitions, 3215 secs || 53953750 markings, 77531711 edges,
lola: 78 tries, 77724980 fired transitions, 3220 secs || 54032758 markings, 77663127 edges,
lola: 78 tries, 77866700 fired transitions, 3225 secs || 54112155 markings, 77795513 edges,
lola: 79 tries, 78006685 fired transitions, 3230 secs || 54188798 markings, 77931340 edges,
lola: 79 tries, 78099983 fired transitions, 3235 secs || 54266879 markings, 78073228 edges,
lola: 79 tries, 78192050 fired transitions, 3240 secs || 54344905 markings, 78206714 edges,
lola: 79 tries, 78286599 fired transitions, 3245 secs || 54422054 markings, 78346400 edges,
lola: 79 tries, 78383344 fired transitions, 3250 secs || 54497476 markings, 78496444 edges,
lola: 79 tries, 78481682 fired transitions, 3255 secs || 54574126 markings, 78634535 edges,
lola: 79 tries, 78580868 fired transitions, 3260 secs || 54652962 markings, 78771996 edges,
lola: 79 tries, 78686870 fired transitions, 3265 secs || 54731548 markings, 78914019 edges,
lola: 79 tries, 78791810 fired transitions, 3270 secs || 54808137 markings, 79038548 edges,
lola: 79 tries, 78951097 fired transitions, 3275 secs || 54887113 markings, 79175166 edges,
lola: 80 tries, 79069130 fired transitions, 3280 secs || 54965942 markings, 79316432 edges,
lola: 80 tries, 79163586 fired transitions, 3285 secs || 55043270 markings, 79455065 edges,
lola: 80 tries, 79256462 fired transitions, 3290 secs || 55121351 markings, 79588061 edges,
lola: 80 tries, 79353430 fired transitions, 3295 secs || 55200813 markings, 79727195 edges,
lola: 80 tries, 79457592 fired transitions, 3300 secs || 55277365 markings, 79871508 edges,
lola: 80 tries, 79593671 fired transitions, 3305 secs || 55356540 markings, 80003993 edges,
lola: 80 tries, 79802199 fired transitions, 3310 secs || 55435928 markings, 80137986 edges,
lola: 80 tries, 79936702 fired transitions, 3315 secs || 55514390 markings, 80267088 edges,
lola: 81 tries, 80053735 fired transitions, 3320 secs || 55592759 markings, 80393473 edges,
lola: 81 tries, 80151169 fired transitions, 3325 secs || 55671032 markings, 80529722 edges,
lola: 81 tries, 80248596 fired transitions, 3330 secs || 55744915 markings, 80657097 edges,
lola: 81 tries, 80352113 fired transitions, 3335 secs || 55821768 markings, 80794534 edges,
lola: 81 tries, 80456476 fired transitions, 3340 secs || 55900806 markings, 80934117 edges,
lola: 81 tries, 80565926 fired transitions, 3345 secs || 55983266 markings, 81071926 edges,
lola: 81 tries, 80673807 fired transitions, 3350 secs || 56063950 markings, 81206615 edges,
lola: 81 tries, 80780748 fired transitions, 3355 secs || 56139780 markings, 81347877 edges,
lola: 81 tries, 80887666 fired transitions, 3360 secs || 56216876 markings, 81475098 edges,
lola: 81 tries, 80997388 fired transitions, 3365 secs || 56293941 markings, 81622469 edges,
lola: 82 tries, 81099735 fired transitions, 3370 secs || 56373994 markings, 81748103 edges,
lola: 82 tries, 81211888 fired transitions, 3375 secs || 56454782 markings, 81872280 edges,
lola: 82 tries, 81338128 fired transitions, 3380 secs || 56540396 markings, 81970691 edges,
lola: 82 tries, 81443606 fired transitions, 3385 secs || 56626074 markings, 82073811 edges,
lola: 82 tries, 81551694 fired transitions, 3390 secs || 56711509 markings, 82183294 edges,
lola: 82 tries, 81659234 fired transitions, 3395 secs || 56793045 markings, 82289612 edges,
lola: 82 tries, 81768410 fired transitions, 3400 secs || 56875490 markings, 82396661 edges,
lola: 82 tries, 81877679 fired transitions, 3405 secs || 56960818 markings, 82509071 edges,
lola: 82 tries, 81985671 fired transitions, 3410 secs || 57041663 markings, 82618671 edges,
lola: 83 tries, 82084965 fired transitions, 3415 secs || 57122570 markings, 82732753 edges,
lola: 83 tries, 82186629 fired transitions, 3420 secs || 57203888 markings, 82841041 edges,
lola: 83 tries, 82289358 fired transitions, 3425 secs || 57282439 markings, 82949354 edges,
lola: 83 tries, 82396896 fired transitions, 3430 secs || 57362021 markings, 83060959 edges,
lola: 83 tries, 82507444 fired transitions, 3435 secs || 57439542 markings, 83189020 edges,
lola: 83 tries, 82617779 fired transitions, 3440 secs || 57526197 markings, 83312864 edges,
lola: 83 tries, 82733614 fired transitions, 3445 secs || 57618933 markings, 83434966 edges,
lola: 83 tries, 82845530 fired transitions, 3450 secs || 57709327 markings, 83556838 edges,
lola: 83 tries, 82956921 fired transitions, 3455 secs || 57799892 markings, 83682536 edges,
lola: 84 tries, 83056901 fired transitions, 3460 secs || 57887891 markings, 83805624 edges,
lola: 84 tries, 83157693 fired transitions, 3465 secs || 57976404 markings, 83931242 edges,
lola: 84 tries, 83255991 fired transitions, 3470 secs || 58065754 markings, 84052364 edges,
lola: 84 tries, 83356464 fired transitions, 3475 secs || 58156588 markings, 84174005 edges,
lola: 84 tries, 83456824 fired transitions, 3480 secs || 58247710 markings, 84292397 edges,
lola: 84 tries, 83555769 fired transitions, 3485 secs || 58336882 markings, 84413060 edges,
lola: 84 tries, 83653933 fired transitions, 3490 secs || 58425560 markings, 84532582 edges,
lola: 84 tries, 83751824 fired transitions, 3495 secs || 58513979 markings, 84652011 edges,
lola: 84 tries, 83851480 fired transitions, 3500 secs || 58602195 markings, 84771178 edges,
lola: 84 tries, 83952359 fired transitions, 3505 secs || 58689205 markings, 84894694 edges,
lola: 85 tries, 84051524 fired transitions, 3510 secs || 58776043 markings, 85016150 edges,
lola: 85 tries, 84151503 fired transitions, 3515 secs || 58864168 markings, 85142143 edges,
lola: 85 tries, 84260667 fired transitions, 3520 secs || 58954118 markings, 85270390 edges,
lola: 85 tries, 84366522 fired transitions, 3525 secs || 59042009 markings, 85396113 edges,
lola: 85 tries, 84470783 fired transitions, 3530 secs || 59129003 markings, 85517099 edges,
lola: 85 tries, 84575862 fired transitions, 3535 secs || 59217098 markings, 85638055 edges,
lola: 85 tries, 84682551 fired transitions, 3540 secs || 59305025 markings, 85763494 edges,
lola: 85 tries, 84791795 fired transitions, 3545 secs || 59393039 markings, 85892302 edges,
lola: 85 tries, 84907734 fired transitions, 3550 secs || 59469065 markings, 86021254 edges,
lola: 86 tries, 85052884 fired transitions, 3555 secs || 59547799 markings, 86152769 edges,
lola: time limit reached - aborting
lola: memory consumption: 8464012 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 1554500479829

--------------------
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) 18424 markings/sec, 0 secs 15894 markings/sec, 5 secs 15444 markings/sec, 10 secs 17065 markings/sec, 15 secs 16761 markings/sec, 20 secs 18168 markings/sec, 25 secs 17185 markings/sec, 30 secs 16332 markings/sec, 35 secs 18369 markings/sec, 40 secs 16161 markings/sec, 45 secs 16444 markings/sec, 50 secs 17826 markings/sec, 55 secs 19385 markings/sec, 60 secs 18399 markings/sec, 65 secs 19431 markings/sec, 70 secs 17242 markings/sec, 75 secs 17558 markings/sec, 80 secs 18694 markings/sec, 85 secs 17283 markings/sec, 90 secs 17340 markings/sec, 95 secs 17127 markings/sec, 100 secs 16123 markings/sec, 105 secs 15338 markings/sec, 110 secs 15314 markings/sec, 115 secs 15395 markings/sec, 120 secs 16142 markings/sec, 125 secs 16932 markings/sec, 130 secs 19580 markings/sec, 135 secs 16607 markings/sec, 140 secs 20080 markings/sec, 145 secs 17867 markings/sec, 150 secs 20622 markings/sec, 155 secs 19262 markings/sec, 160 secs 18608 markings/sec, 165 secs 19128 markings/sec, 170 secs 19480 markings/sec, 175 secs 18005 markings/sec, 180 secs 16916 markings/sec, 185 secs 16853 markings/sec, 190 secs 16644 markings/sec, 195 secs 15690 markings/sec, 200 secs 16232 markings/sec, 205 secs 16715 markings/sec, 210 secs 17322 markings/sec, 215 secs 16510 markings/sec, 220 secs 16438 markings/sec, 225 secs 16502 markings/sec, 230 secs 16675 markings/sec, 235 secs 17025 markings/sec, 240 secs 18039 markings/sec, 245 secs 18592 markings/sec, 250 secs 17784 markings/sec, 255 secs 17589 markings/sec, 260 secs 16898 markings/sec, 265 secs 17667 markings/sec, 270 secs 17067 markings/sec, 275 secs 17003 markings/sec, 280 secs 16818 markings/sec, 285 secs 15827 markings/sec, 290 secs 15921 markings/sec, 295 secs 17155 markings/sec, 300 secs 16733 markings/sec, 305 secs 18353 markings/sec, 310 secs 17150 markings/sec, 315 secs 16868 markings/sec, 320 secs 17348 markings/sec, 325 secs 17550 markings/sec, 330 secs 17487 markings/sec, 335 secs 17692 markings/sec, 340 secs 16948 markings/sec, 345 secs 16545 markings/sec, 350 secs 16025 markings/sec, 355 secs 16682 markings/sec, 360 secs 17466 markings/sec, 365 secs 19127 markings/sec, 370 secs 16794 markings/sec, 375 secs 15727 markings/sec, 380 secs 16617 markings/sec, 385 secs 17015 markings/sec, 390 secs 16697 markings/sec, 395 secs 16120 markings/sec, 400 secs 16343 markings/sec, 405 secs 17047 markings/sec, 410 secs 17274 markings/sec, 415 secs 16661 markings/sec, 420 secs 15369 markings/sec, 425 secs 15455 markings/sec, 430 secs 15755 markings/sec, 435 secs 17349 markings/sec, 440 secs 16220 markings/sec, 445 secs 16067 markings/sec, 450 secs 15327 markings/sec, 455 secs 15911 markings/sec, 460 secs 16335 markings/sec, 465 secs 16925 markings/sec, 470 secs 16831 markings/sec, 475 secs 17067 markings/sec, 480 secs 16405 markings/sec, 485 secs 16425 markings/sec, 490 secs 16854 markings/sec, 495 secs 16766 markings/sec, 500 secs 16424 markings/sec, 505 secs 15989 markings/sec, 510 secs 17795 markings/sec, 515 secs 16974 markings/sec, 520 secs 16337 markings/sec, 525 secs 15605 markings/sec, 530 secs 15513 markings/sec, 535 secs 15722 markings/sec, 540 secs 16202 markings/sec, 545 secs 16544 markings/sec, 550 secs 16327 markings/sec, 555 secs 15783 markings/sec, 560 secs 15367 markings/sec, 565 secs 15802 markings/sec, 570 secs 16252 markings/sec, 575 secs 15996 markings/sec, 580 secs 15663 markings/sec, 585 secs 15564 markings/sec, 590 secs 15360 markings/sec, 595 secs 15928 markings/sec, 600 secs 17256 markings/sec, 605 secs 17214 markings/sec, 610 secs 17559 markings/sec, 615 secs 17573 markings/sec, 620 secs 17585 markings/sec, 625 secs 16777 markings/sec, 630 secs 16570 markings/sec, 635 secs 17034 markings/sec, 640 secs 16717 markings/sec, 645 secs 17716 markings/sec, 650 secs 17664 markings/sec, 655 secs 17443 markings/sec, 660 secs 16630 markings/sec, 665 secs 16948 markings/sec, 670 secs 16518 markings/sec, 675 secs 16488 markings/sec, 680 secs 16294 markings/sec, 685 secs 17010 markings/sec, 690 secs 17260 markings/sec, 695 secs 17426 markings/sec, 700 secs 17138 markings/sec, 705 secs 17282 markings/sec, 710 secs 16043 markings/sec, 715 secs 17055 markings/sec, 720 secs 16459 markings/sec, 725 secs 16525 markings/sec, 730 secs 16555 markings/sec, 735 secs 16196 markings/sec, 740 secs 16434 markings/sec, 745 secs 16941 markings/sec, 750 secs 16725 markings/sec, 755 secs 17101 markings/sec, 760 secs 16878 markings/sec, 765 secs 16802 markings/sec, 770 secs 17141 markings/sec, 775 secs 17266 markings/sec, 780 secs 17397 markings/sec, 785 secs 17743 markings/sec, 790 secs 16409 markings/sec, 795 secs 16185 markings/sec, 800 secs 15706 markings/sec, 805 secs 16480 markings/sec, 810 secs 16296 markings/sec, 815 secs 16822 markings/sec, 820 secs 17062 markings/sec, 825 secs 17046 markings/sec, 830 secs 15880 markings/sec, 835 secs 16046 markings/sec, 840 secs 15738 markings/sec, 845 secs 15585 markings/sec, 850 secs 15431 markings/sec, 855 secs 16516 markings/sec, 860 secs 16175 markings/sec, 865 secs 17810 markings/sec, 870 secs 17616 markings/sec, 875 secs 17301 markings/sec, 880 secs 16843 markings/sec, 885 secs 17084 markings/sec, 890 secs 16797 markings/sec, 895 secs 16258 markings/sec, 900 secs 16668 markings/sec, 905 secs 15984 markings/sec, 910 secs 17408 markings/sec, 915 secs 17193 markings/sec, 920 secs 16700 markings/sec, 925 secs 17193 markings/sec, 930 secs 17001 markings/sec, 935 secs 16762 markings/sec, 940 secs 16422 markings/sec, 945 secs 16150 markings/sec, 950 secs 15925 markings/sec, 955 secs 17211 markings/sec, 960 secs 16816 markings/sec, 965 secs 17030 markings/sec, 970 secs 16642 markings/sec, 975 secs 17433 markings/sec, 980 secs 17921 markings/sec, 985 secs 18280 markings/sec, 990 secs 19800 markings/sec, 995 secs 17148 markings/sec, 1000 secs 17044 markings/sec, 1005 secs 16919 markings/sec, 1010 secs 16239 markings/sec, 1015 secs 16471 markings/sec, 1020 secs 15404 markings/sec, 1025 secs 15823 markings/sec, 1030 secs 16606 markings/sec, 1035 secs 16361 markings/sec, 1040 secs 17260 markings/sec, 1045 secs 17519 markings/sec, 1050 secs 19357 markings/sec, 1055 secs 15205 markings/sec, 1060 secs 17126 markings/sec, 1065 secs 18045 markings/sec, 1070 secs 16857 markings/sec, 1075 secs 19785 markings/sec, 1080 secs 17425 markings/sec, 1085 secs 17005 markings/sec, 1090 secs 16875 markings/sec, 1095 secs 16285 markings/sec, 1100 secs 16164 markings/sec, 1105 secs 15330 markings/sec, 1110 secs 15891 markings/sec, 1115 secs 15394 markings/sec, 1120 secs 16810 markings/sec, 1125 secs 15449 markings/sec, 1130 secs 15545 markings/sec, 1135 secs 15502 markings/sec, 1140 secs 15826 markings/sec, 1145 secs 16851 markings/sec, 1150 secs 15845 markings/sec, 1155 secs 15689 markings/sec, 1160 secs 15540 markings/sec, 1165 secs 15657 markings/sec, 1170 secs 15800 markings/sec, 1175 secs 15677 markings/sec, 1180 secs 15545 markings/sec, 1185 secs 15759 markings/sec, 1190 secs 17434 markings/sec, 1195 secs 16497 markings/sec, 1200 secs 16036 markings/sec, 1205 secs 15430 markings/sec, 1210 secs 15666 markings/sec, 1215 secs 15653 markings/sec, 1220 secs 15535 markings/sec, 1225 secs 15618 markings/sec, 1230 secs 15066 markings/sec, 1235 secs 16059 markings/sec, 1240 secs 15529 markings/sec, 1245 secs 15510 markings/sec, 1250 secs 16013 markings/sec, 1255 secs 16276 markings/sec, 1260 secs 16192 markings/sec, 1265 secs 16215 markings/sec, 1270 secs 16861 markings/sec, 1275 secs 16945 markings/sec, 1280 secs 17991 markings/sec, 1285 secs 18335 markings/sec, 1290 secs 18983 markings/sec, 1295 secs 17997 markings/sec, 1300 secs 17791 markings/sec, 1305 secs 18387 markings/sec, 1310 secs 18078 markings/sec, 1315 secs 19195 markings/sec, 1320 secs 18844 markings/sec, 1325 secs 18902 markings/sec, 1330 secs 19156 markings/sec, 1335 secs 19339 markings/sec, 1340 secs 18769 markings/sec, 1345 secs 19406 markings/sec, 1350 secs 19312 markings/sec, 1355 secs 19258 markings/sec, 1360 secs 16543 markings/sec, 1365 secs 16214 markings/sec, 1370 secs 15944 markings/sec, 1375 secs 16468 markings/sec, 1380 secs 16479 markings/sec, 1385 secs 16346 markings/sec, 1390 secs 16370 markings/sec, 1395 secs 16216 markings/sec, 1400 secs 16121 markings/sec, 1405 secs 18379 markings/sec, 1410 secs 18277 markings/sec, 1415 secs 18662 markings/sec, 1420 secs 18473 markings/sec, 1425 secs 18553 markings/sec, 1430 secs 18411 markings/sec, 1435 secs 18110 markings/sec, 1440 secs 18665 markings/sec, 1445 secs 18347 markings/sec, 1450 secs 18168 markings/sec, 1455 secs 18054 markings/sec, 1460 secs 17316 markings/sec, 1465 secs 17240 markings/sec, 1470 secs 17962 markings/sec, 1475 secs 19288 markings/sec, 1480 secs 18554 markings/sec, 1485 secs 18670 markings/sec, 1490 secs 18888 markings/sec, 1495 secs 18732 markings/sec, 1500 secs 19185 markings/sec, 1505 secs 17381 markings/sec, 1510 secs 15542 markings/sec, 1515 secs 14774 markings/sec, 1520 secs 14382 markings/sec, 1525 secs 15582 markings/sec, 1530 secs 16814 markings/sec, 1535 secs 18068 markings/sec, 1540 secs 18018 markings/sec, 1545 secs 19599 markings/sec, 1550 secs 19286 markings/sec, 1555 secs 18358 markings/sec, 1560 secs 19491 markings/sec, 1565 secs 19090 markings/sec, 1570 secs 17119 markings/sec, 1575 secs 17152 markings/sec, 1580 secs 16571 markings/sec, 1585 secs 16978 markings/sec, 1590 secs 16862 markings/sec, 1595 secs 16731 markings/sec, 1600 secs 17077 markings/sec, 1605 secs 16381 markings/sec, 1610 secs 16344 markings/sec, 1615 secs 17271 markings/sec, 1620 secs 17900 markings/sec, 1625 secs 17681 markings/sec, 1630 secs 17868 markings/sec, 1635 secs 17517 markings/sec, 1640 secs 17251 markings/sec, 1645 secs 16539 markings/sec, 1650 secs 16556 markings/sec, 1655 secs 16852 markings/sec, 1660 secs 16503 markings/sec, 1665 secs 16153 markings/sec, 1670 secs 16109 markings/sec, 1675 secs 15945 markings/sec, 1680 secs 15725 markings/sec, 1685 secs 16587 markings/sec, 1690 secs 17184 markings/sec, 1695 secs 17638 markings/sec, 1700 secs 16761 markings/sec, 1705 secs 18342 markings/sec, 1710 secs 17060 markings/sec, 1715 secs 18184 markings/sec, 1720 secs 16737 markings/sec, 1725 secs 17111 markings/sec, 1730 secs 17395 markings/sec, 1735 secs 16921 markings/sec, 1740 secs 17844 markings/sec, 1745 secs 16628 markings/sec, 1750 secs 18387 markings/sec, 1755 secs 17369 markings/sec, 1760 secs 16848 markings/sec, 1765 secs 17146 markings/sec, 1770 secs 16828 markings/sec, 1775 secs 16802 markings/sec, 1780 secs 16641 markings/sec, 1785 secs 18017 markings/sec, 1790 secs 16947 markings/sec, 1795 secs 16837 markings/sec, 1800 secs 16862 markings/sec, 1805 secs 16965 markings/sec, 1810 secs 17171 markings/sec, 1815 secs 17008 markings/sec, 1820 secs 18034 markings/sec, 1825 secs 17775 markings/sec, 1830 secs 17883 markings/sec, 1835 secs 17202 markings/sec, 1840 secs 16389 markings/sec, 1845 secs 15389 markings/sec, 1850 secs 16185 markings/sec, 1855 secs 15980 markings/sec, 1860 secs 15905 markings/sec, 1865 secs 15637 markings/sec, 1870 secs 15354 markings/sec, 1875 secs 15936 markings/sec, 1880 secs 16592 markings/sec, 1885 secs 17435 markings/sec, 1890 secs 17348 markings/sec, 1895 secs 17141 markings/sec, 1900 secs 16504 markings/sec, 1905 secs 17296 markings/sec, 1910 secs 17189 markings/sec, 1915 secs 16505 markings/sec, 1920 secs 15564 markings/sec, 1925 secs 15058 markings/sec, 1930 secs 15448 markings/sec, 1935 secs 15491 markings/sec, 1940 secs 15458 markings/sec, 1945 secs 15465 markings/sec, 1950 secs 16163 markings/sec, 1955 secs 16203 markings/sec, 1960 secs 17489 markings/sec, 1965 secs 17239 markings/sec, 1970 secs 16378 markings/sec, 1975 secs 16197 markings/sec, 1980 secs 17038 markings/sec, 1985 secs 17418 markings/sec, 1990 secs 16554 markings/sec, 1995 secs 16385 markings/sec, 2000 secs 15685 markings/sec, 2005 secs 16701 markings/sec, 2010 secs 16402 markings/sec, 2015 secs 16132 markings/sec, 2020 secs 15661 markings/sec, 2025 secs 16205 markings/sec, 2030 secs 16687 markings/sec, 2035 secs 15786 markings/sec, 2040 secs 16261 markings/sec, 2045 secs 16413 markings/sec, 2050 secs 16436 markings/sec, 2055 secs 16560 markings/sec, 2060 secs 16752 markings/sec, 2065 secs 16012 markings/sec, 2070 secs 16635 markings/sec, 2075 secs 16474 markings/sec, 2080 secs 16997 markings/sec, 2085 secs 17211 markings/sec, 2090 secs 16832 markings/sec, 2095 secs 16384 markings/sec, 2100 secs 17556 markings/sec, 2105 secs 15565 markings/sec, 2110 secs 15797 markings/sec, 2115 secs 16591 markings/sec, 2120 secs 16849 markings/sec, 2125 secs 16263 markings/sec, 2130 secs 17107 markings/sec, 2135 secs 16332 markings/sec, 2140 secs 16428 markings/sec, 2145 secs 17173 markings/sec, 2150 secs 16286 markings/sec, 2155 secs 15879 markings/sec, 2160 secs 15363 markings/sec, 2165 secs 15315 markings/sec, 2170 secs 16521 markings/sec, 2175 secs 16691 markings/sec, 2180 secs 15735 markings/sec, 2185 secs 15667 markings/sec, 2190 secs 16433 markings/sec, 2195 secs 15840 markings/sec, 2200 secs 14903 markings/sec, 2205 secs 18313 markings/sec, 2210 secs 19443 markings/sec, 2215 secs 18189 markings/sec, 2220 secs 17209 markings/sec, 2225 secs 16946 markings/sec, 2230 secs 16766 markings/sec, 2235 secs 17005 markings/sec, 2240 secs 17116 markings/sec, 2245 secs 16751 markings/sec, 2250 secs 16534 markings/sec, 2255 secs 16366 markings/sec, 2260 secs 15967 markings/sec, 2265 secs 16164 markings/sec, 2270 secs 16476 markings/sec, 2275 secs 16729 markings/sec, 2280 secs 16173 markings/sec, 2285 secs 16338 markings/sec, 2290 secs 16643 markings/sec, 2295 secs 15883 markings/sec, 2300 secs 16740 markings/sec, 2305 secs 16494 markings/sec, 2310 secs 15849 markings/sec, 2315 secs 16204 markings/sec, 2320 secs 15923 markings/sec, 2325 secs 15508 markings/sec, 2330 secs 15312 markings/sec, 2335 secs 15525 markings/sec, 2340 secs 16404 markings/sec, 2345 secs 16069 markings/sec, 2350 secs 15621 markings/sec, 2355 secs 15979 markings/sec, 2360 secs 16294 markings/sec, 2365 secs 16349 markings/sec, 2370 secs 15270 markings/sec, 2375 secs 15943 markings/sec, 2380 secs 15666 markings/sec, 2385 secs 15924 markings/sec, 2390 secs 15336 markings/sec, 2395 secs 16129 markings/sec, 2400 secs 15904 markings/sec, 2405 secs 15431 markings/sec, 2410 secs 15533 markings/sec, 2415 secs 15290 markings/sec, 2420 secs 15260 markings/sec, 2425 secs 15077 markings/sec, 2430 secs 14945 markings/sec, 2435 secs 15042 markings/sec, 2440 secs 14879 markings/sec, 2445 secs 15062 markings/sec, 2450 secs 15347 markings/sec, 2455 secs 17366 markings/sec, 2460 secs 18421 markings/sec, 2465 secs 17825 markings/sec, 2470 secs 19709 markings/sec, 2475 secs 18527 markings/sec, 2480 secs 18304 markings/sec, 2485 secs 18223 markings/sec, 2490 secs 18552 markings/sec, 2495 secs 17960 markings/sec, 2500 secs 16642 markings/sec, 2505 secs 16515 markings/sec, 2510 secs 15729 markings/sec, 2515 secs 16181 markings/sec, 2520 secs 18214 markings/sec, 2525 secs 16782 markings/sec, 2530 secs 17449 markings/sec, 2535 secs 16731 markings/sec, 2540 secs 16352 markings/sec, 2545 secs 18606 markings/sec, 2550 secs 20217 markings/sec, 2555 secs 18546 markings/sec, 2560 secs 18952 markings/sec, 2565 secs 18686 markings/sec, 2570 secs 15659 markings/sec, 2575 secs 17936 markings/sec, 2580 secs 19471 markings/sec, 2585 secs 17157 markings/sec, 2590 secs 16144 markings/sec, 2595 secs 15887 markings/sec, 2600 secs 17272 markings/sec, 2605 secs 17600 markings/sec, 2610 secs 17326 markings/sec, 2615 secs 16116 markings/sec, 2620 secs 16547 markings/sec, 2625 secs 16132 markings/sec, 2630 secs 16140 markings/sec, 2635 secs 17101 markings/sec, 2640 secs 17486 markings/sec, 2645 secs 17151 markings/sec, 2650 secs 17261 markings/sec, 2655 secs 17509 markings/sec, 2660 secs 16891 markings/sec, 2665 secs 17990 markings/sec, 2670 secs 17493 markings/sec, 2675 secs 17717 markings/sec, 2680 secs 18447 markings/sec, 2685 secs 18327 markings/sec, 2690 secs 18419 markings/sec, 2695 secs 16757 markings/sec, 2700 secs 17740 markings/sec, 2705 secs 16391 markings/sec, 2710 secs 16462 markings/sec, 2715 secs 16274 markings/sec, 2720 secs 15447 markings/sec, 2725 secs 15677 markings/sec, 2730 secs 15228 markings/sec, 2735 secs 15606 markings/sec, 2740 secs 15851 markings/sec, 2745 secs 15751 markings/sec, 2750 secs 15931 markings/sec, 2755 secs 15798 markings/sec, 2760 secs 16833 markings/sec, 2765 secs 16048 markings/sec, 2770 secs 16316 markings/sec, 2775 secs 16734 markings/sec, 2780 secs 15722 markings/sec, 2785 secs 16051 markings/sec, 2790 secs 15992 markings/sec, 2795 secs 15610 markings/sec, 2800 secs 16606 markings/sec, 2805 secs 16671 markings/sec, 2810 secs 16443 markings/sec, 2815 secs 15378 markings/sec, 2820 secs 15955 markings/sec, 2825 secs 16603 markings/sec, 2830 secs 16355 markings/sec, 2835 secs 16576 markings/sec, 2840 secs 16277 markings/sec, 2845 secs 16064 markings/sec, 2850 secs 16203 markings/sec, 2855 secs 16162 markings/sec, 2860 secs 16084 markings/sec, 2865 secs 15805 markings/sec, 2870 secs 15725 markings/sec, 2875 secs 16490 markings/sec, 2880 secs 16830 markings/sec, 2885 secs 15727 markings/sec, 2890 secs 15545 markings/sec, 2895 secs 15614 markings/sec, 2900 secs 16256 markings/sec, 2905 secs 16776 markings/sec, 2910 secs 17081 markings/sec, 2915 secs 16997 markings/sec, 2920 secs 16639 markings/sec, 2925 secs 17560 markings/sec, 2930 secs 18121 markings/sec, 2935 secs 16341 markings/sec, 2940 secs 16066 markings/sec, 2945 secs 16425 markings/sec, 2950 secs 15995 markings/sec, 2955 secs 15832 markings/sec, 2960 secs 15819 markings/sec, 2965 secs 16326 markings/sec, 2970 secs 16422 markings/sec, 2975 secs 16267 markings/sec, 2980 secs 15439 markings/sec, 2985 secs 15262 markings/sec, 2990 secs 15622 markings/sec, 2995 secs 16627 markings/sec, 3000 secs 16767 markings/sec, 3005 secs 16176 markings/sec, 3010 secs 16456 markings/sec, 3015 secs 16417 markings/sec, 3020 secs 15552 markings/sec, 3025 secs 16097 markings/sec, 3030 secs 16213 markings/sec, 3035 secs 16370 markings/sec, 3040 secs 16141 markings/sec, 3045 secs 16209 markings/sec, 3050 secs 16284 markings/sec, 3055 secs 16734 markings/sec, 3060 secs 16959 markings/sec, 3065 secs 16564 markings/sec, 3070 secs 16632 markings/sec, 3075 secs 16681 markings/sec, 3080 secs 16963 markings/sec, 3085 secs 16476 markings/sec, 3090 secs 16395 markings/sec, 3095 secs 16609 markings/sec, 3100 secs 15353 markings/sec, 3105 secs 15531 markings/sec, 3110 secs 15451 markings/sec, 3115 secs 15540 markings/sec, 3120 secs 15595 markings/sec, 3125 secs 15846 markings/sec, 3130 secs 15799 markings/sec, 3135 secs 16089 markings/sec, 3140 secs 16133 markings/sec, 3145 secs 15405 markings/sec, 3150 secs 15811 markings/sec, 3155 secs 15646 markings/sec, 3160 secs 15858 markings/sec, 3165 secs 15743 markings/sec, 3170 secs 15804 markings/sec, 3175 secs 15560 markings/sec, 3180 secs 15410 markings/sec, 3185 secs 15811 markings/sec, 3190 secs 15712 markings/sec, 3195 secs 15317 markings/sec, 3200 secs 15487 markings/sec, 3205 secs 15508 markings/sec, 3210 secs 15712 markings/sec, 3215 secs 15802 markings/sec, 3220 secs 15879 markings/sec, 3225 secs 15329 markings/sec, 3230 secs 15616 markings/sec, 3235 secs 15605 markings/sec, 3240 secs 15430 markings/sec, 3245 secs 15084 markings/sec, 3250 secs 15330 markings/sec, 3255 secs 15767 markings/sec, 3260 secs 15717 markings/sec, 3265 secs 15318 markings/sec, 3270 secs 15795 markings/sec, 3275 secs 15766 markings/sec, 3280 secs 15466 markings/sec, 3285 secs 15616 markings/sec, 3290 secs 15892 markings/sec, 3295 secs 15310 markings/sec, 3300 secs 15835 markings/sec, 3305 secs 15878 markings/sec, 3310 secs 15692 markings/sec, 3315 secs 15674 markings/sec, 3320 secs 15655 markings/sec, 3325 secs 14777 markings/sec, 3330 secs 15371 markings/sec, 3335 secs 15808 markings/sec, 3340 secs 16492 markings/sec, 3345 secs 16137 markings/sec, 3350 secs 15166 markings/sec, 3355 secs 15419 markings/sec, 3360 secs 15413 markings/sec, 3365 secs 16011 markings/sec, 3370 secs 16158 markings/sec, 3375 secs 17123 markings/sec, 3380 secs 17136 markings/sec, 3385 secs 17087 markings/sec, 3390 secs 16307 markings/sec, 3395 secs 16489 markings/sec, 3400 secs 17066 markings/sec, 3405 secs 16169 markings/sec, 3410 secs 16181 markings/sec, 3415 secs 16264 markings/sec, 3420 secs 15710 markings/sec, 3425 secs 15916 markings/sec, 3430 secs 15504 markings/sec, 3435 secs 17331 markings/sec, 3440 secs 18547 markings/sec, 3445 secs 18079 markings/sec, 3450 secs 18113 markings/sec, 3455 secs 17600 markings/sec, 3460 secs 17703 markings/sec, 3465 secs 17870 markings/sec, 3470 secs 18167 markings/sec, 3475 secs 18224 markings/sec, 3480 secs 17834 markings/sec, 3485 secs 17736 markings/sec, 3490 secs 17684 markings/sec, 3495 secs 17643 markings/sec, 3500 secs 17402 markings/sec, 3505 secs 17368 markings/sec, 3510 secs 17625 markings/sec, 3515 secs 17990 markings/sec, 3520 secs 17578 markings/sec, 3525 secs 17399 markings/sec, 3530 secs 17619 markings/sec, 3535 secs 17585 markings/sec, 3540 secs 17603 markings/sec, 3545 secs 15205 markings/sec, 3550 secs 15747 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-5A"
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-5A, 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-155344535100309"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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