MCC'2019 - Execution of r137-smll-155284909400066

About the Execution of LoLA for Raft-PT-09

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
14757.940	3571611.00	7251293.00	8797.20	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.3K Feb 12 11:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 12 11:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 8 14:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 8 14:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 97 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 335 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 00:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 1 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 196K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-09-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552925120840

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Raft-PT-09 @ 3570 seconds
vrfy: finished
info: timeLeft: -2
rslt: Output for GlobalProperties @ Raft-PT-09

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 18 16:05:20 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 14846724,
"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": 2728,
"conflict_clusters": 23,
"places": 413,
"places_significant": 332,
"singleton_clusters": 0,
"transitions": 710
},
"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": 362880.000000,
"composed": 110,
"dead_branches": 0,
"generators": 122,
"interrupted": false,
"real_computed": 12,
"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: 1123/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 413
lola: finding significant places
lola: 413 places, 710 transitions, 332 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: 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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 122 generators (12 in search tree, 110 by composition)
lola: representing 362880 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 179844 fired transitions, 0 secs || 83966 markings, 703031 edges,
lola: 1 tries, 359856 fired transitions, 5 secs || 167063 markings, 1412609 edges,
lola: 1 tries, 539896 fired transitions, 10 secs || 250737 markings, 2122614 edges,
lola: 1 tries, 719960 fired transitions, 15 secs || 334298 markings, 2832342 edges,
lola: 1 tries, 900076 fired transitions, 20 secs || 417836 markings, 3540847 edges,
lola: 2 tries, 1080156 fired transitions, 25 secs || 501381 markings, 4249318 edges,
lola: 2 tries, 1260676 fired transitions, 30 secs || 584651 markings, 4955512 edges,
lola: 2 tries, 1440966 fired transitions, 35 secs || 667966 markings, 5662472 edges,
lola: 2 tries, 1621416 fired transitions, 40 secs || 751112 markings, 6370974 edges,
lola: 2 tries, 1801730 fired transitions, 45 secs || 834436 markings, 7076922 edges,
lola: 2 tries, 1980605 fired transitions, 50 secs || 916607 markings, 7775998 edges,
lola: 3 tries, 2152704 fired transitions, 55 secs || 993325 markings, 8425464 edges,
lola: 3 tries, 2324950 fired transitions, 60 secs || 1069626 markings, 9074930 edges,
lola: 3 tries, 2497168 fired transitions, 65 secs || 1146177 markings, 9725987 edges,
lola: 3 tries, 2662098 fired transitions, 70 secs || 1223580 markings, 10379304 edges,
lola: 3 tries, 2834460 fired transitions, 75 secs || 1300585 markings, 11033763 edges,
lola: 3 tries, 2999416 fired transitions, 80 secs || 1377524 markings, 11687113 edges,
lola: 4 tries, 3171490 fired transitions, 85 secs || 1454301 markings, 12340167 edges,
lola: 4 tries, 3347304 fired transitions, 90 secs || 1533857 markings, 13014028 edges,
lola: 4 tries, 3529434 fired transitions, 95 secs || 1611527 markings, 13767628 edges,
lola: 4 tries, 3711696 fired transitions, 100 secs || 1684935 markings, 14541053 edges,
lola: 4 tries, 3894278 fired transitions, 105 secs || 1751788 markings, 15363625 edges,
lola: 5 tries, 4075988 fired transitions, 110 secs || 1819379 markings, 16187991 edges,
lola: 5 tries, 4256232 fired transitions, 115 secs || 1886782 markings, 17018261 edges,
lola: 5 tries, 4436620 fired transitions, 120 secs || 1955494 markings, 17845444 edges,
lola: 5 tries, 4617172 fired transitions, 125 secs || 2025650 markings, 18673948 edges,
lola: 5 tries, 4797684 fired transitions, 130 secs || 2096476 markings, 19505483 edges,
lola: 5 tries, 4978184 fired transitions, 135 secs || 2167639 markings, 20335628 edges,
lola: 6 tries, 5158786 fired transitions, 140 secs || 2237948 markings, 21159552 edges,
lola: 6 tries, 5339292 fired transitions, 145 secs || 2308061 markings, 21984251 edges,
lola: 6 tries, 5519722 fired transitions, 150 secs || 2378905 markings, 22812764 edges,
lola: 6 tries, 5701009 fired transitions, 155 secs || 2449261 markings, 23642147 edges,
lola: 6 tries, 5883454 fired transitions, 160 secs || 2519422 markings, 24463264 edges,
lola: 7 tries, 6065800 fired transitions, 165 secs || 2589227 markings, 25285058 edges,
lola: 7 tries, 6248286 fired transitions, 170 secs || 2656491 markings, 26106922 edges,
lola: 7 tries, 6429862 fired transitions, 175 secs || 2715467 markings, 26929915 edges,
lola: 7 tries, 6604507 fired transitions, 180 secs || 2772195 markings, 27714075 edges,
lola: 7 tries, 6786866 fired transitions, 185 secs || 2832627 markings, 28537759 edges,
lola: 7 tries, 6969254 fired transitions, 190 secs || 2891934 markings, 29361600 edges,
lola: 8 tries, 7151478 fired transitions, 195 secs || 2960307 markings, 30169617 edges,
lola: 8 tries, 7333736 fired transitions, 200 secs || 3028723 markings, 30976108 edges,
lola: 8 tries, 7515944 fired transitions, 205 secs || 3093033 markings, 31789456 edges,
lola: 8 tries, 7698538 fired transitions, 210 secs || 3152615 markings, 32615626 edges,
lola: 8 tries, 7881080 fired transitions, 215 secs || 3211730 markings, 33433635 edges,
lola: 9 tries, 8063651 fired transitions, 220 secs || 3270547 markings, 34258808 edges,
lola: 9 tries, 8235175 fired transitions, 225 secs || 3327691 markings, 35051697 edges,
lola: 9 tries, 8409264 fired transitions, 230 secs || 3382533 markings, 35820539 edges,
lola: 9 tries, 8590198 fired transitions, 235 secs || 3442079 markings, 36643560 edges,
lola: 9 tries, 8771022 fired transitions, 240 secs || 3501720 markings, 37470361 edges,
lola: 9 tries, 8951470 fired transitions, 245 secs || 3560839 markings, 38309321 edges,
lola: 10 tries, 9132379 fired transitions, 250 secs || 3620366 markings, 39144737 edges,
lola: 10 tries, 9312946 fired transitions, 255 secs || 3679899 markings, 39974241 edges,
lola: 10 tries, 9493878 fired transitions, 260 secs || 3739713 markings, 40801115 edges,
lola: 10 tries, 9673124 fired transitions, 265 secs || 3798566 markings, 41620777 edges,
lola: 10 tries, 9853722 fired transitions, 270 secs || 3858228 markings, 42445514 edges,
lola: 11 tries, 10034616 fired transitions, 275 secs || 3918125 markings, 43272946 edges,
lola: 11 tries, 10215634 fired transitions, 280 secs || 3977537 markings, 44102719 edges,
lola: 11 tries, 10396648 fired transitions, 285 secs || 4037635 markings, 44930024 edges,
lola: 11 tries, 10577402 fired transitions, 290 secs || 4096787 markings, 45759542 edges,
lola: 11 tries, 10758364 fired transitions, 295 secs || 4155503 markings, 46592944 edges,
lola: 11 tries, 10939234 fired transitions, 300 secs || 4215226 markings, 47412599 edges,
lola: 12 tries, 11121692 fired transitions, 305 secs || 4277352 markings, 48228956 edges,
lola: 12 tries, 11304618 fired transitions, 310 secs || 4344734 markings, 49030353 edges,
lola: 12 tries, 11487284 fired transitions, 315 secs || 4410699 markings, 49837185 edges,
lola: 12 tries, 11670048 fired transitions, 320 secs || 4469165 markings, 50649760 edges,
lola: 12 tries, 11852682 fired transitions, 325 secs || 4528543 markings, 51462091 edges,
lola: 13 tries, 12035452 fired transitions, 330 secs || 4587236 markings, 52281676 edges,
lola: 13 tries, 12217846 fired transitions, 335 secs || 4646125 markings, 53097650 edges,
lola: 13 tries, 12399066 fired transitions, 340 secs || 4705377 markings, 53925060 edges,
lola: 13 tries, 12579888 fired transitions, 345 secs || 4764672 markings, 54753882 edges,
lola: 13 tries, 12760632 fired transitions, 350 secs || 4824033 markings, 55579701 edges,
lola: 13 tries, 12941462 fired transitions, 355 secs || 4883431 markings, 56406455 edges,
lola: 14 tries, 13122218 fired transitions, 360 secs || 4943133 markings, 57229683 edges,
lola: 14 tries, 13303038 fired transitions, 365 secs || 5002593 markings, 58048598 edges,
lola: 14 tries, 13483836 fired transitions, 370 secs || 5062054 markings, 58871578 edges,
lola: 14 tries, 13664474 fired transitions, 375 secs || 5122270 markings, 59694550 edges,
lola: 14 tries, 13845266 fired transitions, 380 secs || 5181791 markings, 60523910 edges,
lola: 15 tries, 14025910 fired transitions, 385 secs || 5240858 markings, 61353264 edges,
lola: 15 tries, 14206692 fired transitions, 390 secs || 5300448 markings, 62171867 edges,
lola: 15 tries, 14387470 fired transitions, 395 secs || 5359501 markings, 62998375 edges,
lola: 15 tries, 14568202 fired transitions, 400 secs || 5418988 markings, 63824120 edges,
lola: 15 tries, 14748954 fired transitions, 405 secs || 5478922 markings, 64647551 edges,
lola: 15 tries, 14929610 fired transitions, 410 secs || 5538454 markings, 65476106 edges,
lola: 16 tries, 15110266 fired transitions, 415 secs || 5598023 markings, 66304618 edges,
lola: 16 tries, 15290785 fired transitions, 420 secs || 5658462 markings, 67124940 edges,
lola: 16 tries, 15471434 fired transitions, 425 secs || 5717653 markings, 67959629 edges,
lola: 16 tries, 15652350 fired transitions, 430 secs || 5776659 markings, 68785099 edges,
lola: 16 tries, 15832856 fired transitions, 435 secs || 5836557 markings, 69605915 edges,
lola: 17 tries, 16013395 fired transitions, 440 secs || 5895586 markings, 70437062 edges,
lola: 17 tries, 16194148 fired transitions, 445 secs || 5954847 markings, 71268939 edges,
lola: 17 tries, 16374831 fired transitions, 450 secs || 6014442 markings, 72095238 edges,
lola: 17 tries, 16555346 fired transitions, 455 secs || 6074937 markings, 72917842 edges,
lola: 17 tries, 16736060 fired transitions, 460 secs || 6134458 markings, 73744290 edges,
lola: 17 tries, 16916894 fired transitions, 465 secs || 6193356 markings, 74577921 edges,
lola: 18 tries, 17097654 fired transitions, 470 secs || 6253902 markings, 75399534 edges,
lola: 18 tries, 17278488 fired transitions, 475 secs || 6314523 markings, 76217128 edges,
lola: 18 tries, 17459238 fired transitions, 480 secs || 6373652 markings, 77038664 edges,
lola: 18 tries, 17639938 fired transitions, 485 secs || 6433746 markings, 77863276 edges,
lola: 18 tries, 17820645 fired transitions, 490 secs || 6493029 markings, 78687086 edges,
lola: 19 tries, 18001062 fired transitions, 495 secs || 6552657 markings, 79505049 edges,
lola: 19 tries, 18181642 fired transitions, 500 secs || 6612751 markings, 80325735 edges,
lola: 19 tries, 18362156 fired transitions, 505 secs || 6676074 markings, 81157582 edges,
lola: 19 tries, 18542588 fired transitions, 510 secs || 6745074 markings, 81979982 edges,
lola: 19 tries, 18723368 fired transitions, 515 secs || 6815007 markings, 82826519 edges,
lola: 19 tries, 18905984 fired transitions, 520 secs || 6883857 markings, 83666662 edges,
lola: 20 tries, 19088722 fired transitions, 525 secs || 6953796 markings, 84499911 edges,
lola: 20 tries, 19271540 fired transitions, 530 secs || 7022377 markings, 85328974 edges,
lola: 20 tries, 19454506 fired transitions, 535 secs || 7091524 markings, 86160963 edges,
lola: 20 tries, 19637436 fired transitions, 540 secs || 7159602 markings, 86992662 edges,
lola: 20 tries, 19820200 fired transitions, 545 secs || 7228471 markings, 87782627 edges,
lola: 21 tries, 20003090 fired transitions, 550 secs || 7297688 markings, 88619387 edges,
lola: 21 tries, 20185932 fired transitions, 555 secs || 7366245 markings, 89459368 edges,
lola: 21 tries, 20368730 fired transitions, 560 secs || 7434784 markings, 90296833 edges,
lola: 21 tries, 20551476 fired transitions, 565 secs || 7500930 markings, 91117677 edges,
lola: 21 tries, 20734330 fired transitions, 570 secs || 7564861 markings, 91942985 edges,
lola: 21 tries, 20917028 fired transitions, 575 secs || 7633054 markings, 92743009 edges,
lola: 22 tries, 21099738 fired transitions, 580 secs || 7701656 markings, 93566670 edges,
lola: 22 tries, 21282718 fired transitions, 585 secs || 7770269 markings, 94396307 edges,
lola: 22 tries, 21465644 fired transitions, 590 secs || 7840110 markings, 95224606 edges,
lola: 22 tries, 21648710 fired transitions, 595 secs || 7910066 markings, 96052879 edges,
lola: 22 tries, 21831866 fired transitions, 600 secs || 7979487 markings, 96871573 edges,
lola: 23 tries, 22014860 fired transitions, 605 secs || 8045250 markings, 97700542 edges,
lola: 23 tries, 22198100 fired transitions, 610 secs || 8105720 markings, 98581114 edges,
lola: 23 tries, 22381356 fired transitions, 615 secs || 8168857 markings, 99452582 edges,
lola: 23 tries, 22564626 fired transitions, 620 secs || 8231453 markings, 100322668 edges,
lola: 23 tries, 22747836 fired transitions, 625 secs || 8293635 markings, 101185402 edges,
lola: 23 tries, 22931244 fired transitions, 630 secs || 8356347 markings, 102075495 edges,
lola: 24 tries, 23114508 fired transitions, 635 secs || 8420646 markings, 102938464 edges,
lola: 24 tries, 23297840 fired transitions, 640 secs || 8481943 markings, 103818486 edges,
lola: 24 tries, 23480978 fired transitions, 645 secs || 8543625 markings, 104679490 edges,
lola: 24 tries, 23664276 fired transitions, 650 secs || 8602879 markings, 105549764 edges,
lola: 24 tries, 23847306 fired transitions, 655 secs || 8663082 markings, 106398784 edges,
lola: 25 tries, 24030450 fired transitions, 660 secs || 8722690 markings, 107251773 edges,
lola: 25 tries, 24213605 fired transitions, 665 secs || 8782698 markings, 108100723 edges,
lola: 25 tries, 24396582 fired transitions, 670 secs || 8842399 markings, 108951497 edges,
lola: 25 tries, 24579802 fired transitions, 675 secs || 8901631 markings, 109803756 edges,
lola: 25 tries, 24762872 fired transitions, 680 secs || 8961158 markings, 110649664 edges,
lola: 25 tries, 24945956 fired transitions, 685 secs || 9021236 markings, 111498080 edges,
lola: 26 tries, 25129166 fired transitions, 690 secs || 9080822 markings, 112365010 edges,
lola: 26 tries, 25312392 fired transitions, 695 secs || 9141135 markings, 113235158 edges,
lola: 26 tries, 25495614 fired transitions, 700 secs || 9201665 markings, 114098337 edges,
lola: 26 tries, 25678660 fired transitions, 705 secs || 9260647 markings, 114979264 edges,
lola: 26 tries, 25861718 fired transitions, 710 secs || 9319652 markings, 115863451 edges,
lola: 27 tries, 26044700 fired transitions, 715 secs || 9379742 markings, 116744294 edges,
lola: 27 tries, 26227682 fired transitions, 720 secs || 9441533 markings, 117614100 edges,
lola: 27 tries, 26410842 fired transitions, 725 secs || 9498593 markings, 118496342 edges,
lola: 27 tries, 26594070 fired transitions, 730 secs || 9552328 markings, 119395608 edges,
lola: 27 tries, 26777002 fired transitions, 735 secs || 9611859 markings, 120243910 edges,
lola: 27 tries, 26959872 fired transitions, 740 secs || 9671613 markings, 121087228 edges,
lola: 28 tries, 27142888 fired transitions, 745 secs || 9731048 markings, 121935239 edges,
lola: 28 tries, 27325774 fired transitions, 750 secs || 9789899 markings, 122777847 edges,
lola: 28 tries, 27508664 fired transitions, 755 secs || 9847569 markings, 123631428 edges,
lola: 28 tries, 27691536 fired transitions, 760 secs || 9906117 markings, 124472473 edges,
lola: 28 tries, 27874380 fired transitions, 765 secs || 9966659 markings, 125335540 edges,
lola: 29 tries, 28057378 fired transitions, 770 secs || 10026838 markings, 126204250 edges,
lola: 29 tries, 28240410 fired transitions, 775 secs || 10082403 markings, 127086238 edges,
lola: 29 tries, 28423432 fired transitions, 780 secs || 10136725 markings, 127956919 edges,
lola: 29 tries, 28606302 fired transitions, 785 secs || 10196480 markings, 128834469 edges,
lola: 29 tries, 28789272 fired transitions, 790 secs || 10261133 markings, 129701152 edges,
lola: 29 tries, 28972240 fired transitions, 795 secs || 10324839 markings, 130570983 edges,
lola: 30 tries, 29155374 fired transitions, 800 secs || 10387772 markings, 131444859 edges,
lola: 30 tries, 29338382 fired transitions, 805 secs || 10450458 markings, 132315320 edges,
lola: 30 tries, 29521510 fired transitions, 810 secs || 10512937 markings, 133197961 edges,
lola: 30 tries, 29704448 fired transitions, 815 secs || 10575028 markings, 134038032 edges,
lola: 30 tries, 29887590 fired transitions, 820 secs || 10629728 markings, 134920516 edges,
lola: 31 tries, 30070632 fired transitions, 825 secs || 10684520 markings, 135797356 edges,
lola: 31 tries, 30253530 fired transitions, 830 secs || 10739925 markings, 136676872 edges,
lola: 31 tries, 30436582 fired transitions, 835 secs || 10796883 markings, 137549772 edges,
lola: 31 tries, 30619562 fired transitions, 840 secs || 10856753 markings, 138412627 edges,
lola: 31 tries, 30802780 fired transitions, 845 secs || 10918856 markings, 139262911 edges,
lola: 31 tries, 30985838 fired transitions, 850 secs || 10978534 markings, 140117543 edges,
lola: 32 tries, 31168848 fired transitions, 855 secs || 11041274 markings, 140972697 edges,
lola: 32 tries, 31351768 fired transitions, 860 secs || 11101486 markings, 141831977 edges,
lola: 32 tries, 31534718 fired transitions, 865 secs || 11160501 markings, 142697718 edges,
lola: 32 tries, 31717778 fired transitions, 870 secs || 11216514 markings, 143573237 edges,
lola: 32 tries, 31900870 fired transitions, 875 secs || 11271827 markings, 144450665 edges,
lola: 33 tries, 32083970 fired transitions, 880 secs || 11330193 markings, 145333364 edges,
lola: 33 tries, 32266996 fired transitions, 885 secs || 11389093 markings, 146194300 edges,
lola: 33 tries, 32450062 fired transitions, 890 secs || 11445582 markings, 147070829 edges,
lola: 33 tries, 32633182 fired transitions, 895 secs || 11501491 markings, 147945635 edges,
lola: 33 tries, 32816306 fired transitions, 900 secs || 11556443 markings, 148824088 edges,
lola: 33 tries, 32999410 fired transitions, 905 secs || 11611572 markings, 149700128 edges,
lola: 34 tries, 33182536 fired transitions, 910 secs || 11665986 markings, 150569179 edges,
lola: 34 tries, 33365702 fired transitions, 915 secs || 11720033 markings, 151440406 edges,
lola: 34 tries, 33548852 fired transitions, 920 secs || 11775631 markings, 152303550 edges,
lola: 34 tries, 33731710 fired transitions, 925 secs || 11838412 markings, 153155470 edges,
lola: 34 tries, 33914866 fired transitions, 930 secs || 11895536 markings, 154038062 edges,
lola: 35 tries, 34098070 fired transitions, 935 secs || 11949045 markings, 154926472 edges,
lola: 35 tries, 34281246 fired transitions, 940 secs || 12002356 markings, 155816451 edges,
lola: 35 tries, 34464360 fired transitions, 945 secs || 12057844 markings, 156695454 edges,
lola: 35 tries, 34647496 fired transitions, 950 secs || 12113605 markings, 157568859 edges,
lola: 35 tries, 34830702 fired transitions, 955 secs || 12166379 markings, 158466105 edges,
lola: 36 tries, 35013866 fired transitions, 960 secs || 12220921 markings, 159350989 edges,
lola: 36 tries, 35193922 fired transitions, 965 secs || 12275680 markings, 160191040 edges,
lola: 36 tries, 35377130 fired transitions, 970 secs || 12332962 markings, 161062003 edges,
lola: 36 tries, 35560328 fired transitions, 975 secs || 12390904 markings, 161935232 edges,
lola: 36 tries, 35743436 fired transitions, 980 secs || 12446830 markings, 162811510 edges,
lola: 36 tries, 35926508 fired transitions, 985 secs || 12504455 markings, 163676431 edges,
lola: 37 tries, 36109643 fired transitions, 990 secs || 12562027 markings, 164541331 edges,
lola: 37 tries, 36292856 fired transitions, 995 secs || 12616582 markings, 165426289 edges,
lola: 37 tries, 36476028 fired transitions, 1000 secs || 12670017 markings, 166315128 edges,
lola: 37 tries, 36659352 fired transitions, 1005 secs || 12723529 markings, 167206794 edges,
lola: 37 tries, 36842532 fired transitions, 1010 secs || 12779232 markings, 168069391 edges,
lola: 38 tries, 37025868 fired transitions, 1015 secs || 12831564 markings, 168958795 edges,
lola: 38 tries, 37209114 fired transitions, 1020 secs || 12887306 markings, 169833752 edges,
lola: 38 tries, 37392314 fired transitions, 1025 secs || 12943458 markings, 170705167 edges,
lola: 38 tries, 37575374 fired transitions, 1030 secs || 12998795 markings, 171570097 edges,
lola: 38 tries, 37758564 fired transitions, 1035 secs || 13057492 markings, 172443150 edges,
lola: 38 tries, 37941849 fired transitions, 1040 secs || 13113190 markings, 173319446 edges,
lola: 39 tries, 38125222 fired transitions, 1045 secs || 13169139 markings, 174190572 edges,
lola: 39 tries, 38308506 fired transitions, 1050 secs || 13226905 markings, 175039061 edges,
lola: 39 tries, 38491960 fired transitions, 1055 secs || 13280837 markings, 175922820 edges,
lola: 39 tries, 38675332 fired transitions, 1060 secs || 13337313 markings, 176798642 edges,
lola: 39 tries, 38858528 fired transitions, 1065 secs || 13392158 markings, 177676369 edges,
lola: 40 tries, 39041676 fired transitions, 1070 secs || 13447789 markings, 178542209 edges,
lola: 40 tries, 39224954 fired transitions, 1075 secs || 13501385 markings, 179412824 edges,
lola: 40 tries, 39408121 fired transitions, 1080 secs || 13555255 markings, 180276582 edges,
lola: 40 tries, 39591220 fired transitions, 1085 secs || 13612208 markings, 181154562 edges,
lola: 40 tries, 39774458 fired transitions, 1090 secs || 13671194 markings, 182017520 edges,
lola: 40 tries, 39957580 fired transitions, 1095 secs || 13726919 markings, 182883675 edges,
lola: 41 tries, 40140722 fired transitions, 1100 secs || 13784332 markings, 183739745 edges,
lola: 41 tries, 40323802 fired transitions, 1105 secs || 13840206 markings, 184612459 edges,
lola: 41 tries, 40506898 fired transitions, 1110 secs || 13895834 markings, 185485815 edges,
lola: 41 tries, 40689944 fired transitions, 1115 secs || 13951718 markings, 186347332 edges,
lola: 41 tries, 40873036 fired transitions, 1120 secs || 14008831 markings, 187213019 edges,
lola: 42 tries, 41056116 fired transitions, 1125 secs || 14065143 markings, 188084956 edges,
lola: 42 tries, 41239306 fired transitions, 1130 secs || 14122126 markings, 188949825 edges,
lola: 42 tries, 41422650 fired transitions, 1135 secs || 14177569 markings, 189807611 edges,
lola: 42 tries, 41605922 fired transitions, 1140 secs || 14237041 markings, 190659571 edges,
lola: 42 tries, 41789338 fired transitions, 1145 secs || 14297725 markings, 191514064 edges,
lola: 42 tries, 41972518 fired transitions, 1150 secs || 14359301 markings, 192381328 edges,
lola: 43 tries, 42155672 fired transitions, 1155 secs || 14420006 markings, 193251846 edges,
lola: 43 tries, 42338838 fired transitions, 1160 secs || 14477971 markings, 194131241 edges,
lola: 43 tries, 42521900 fired transitions, 1165 secs || 14537487 markings, 194990563 edges,
lola: 43 tries, 42705220 fired transitions, 1170 secs || 14590736 markings, 195877868 edges,
lola: 43 tries, 42888622 fired transitions, 1175 secs || 14643476 markings, 196765480 edges,
lola: 44 tries, 43072100 fired transitions, 1180 secs || 14696183 markings, 197649706 edges,
lola: 44 tries, 43255420 fired transitions, 1185 secs || 14749537 markings, 198524516 edges,
lola: 44 tries, 43438732 fired transitions, 1190 secs || 14803101 markings, 199395923 edges,
lola: 44 tries, 43622104 fired transitions, 1195 secs || 14856562 markings, 200275864 edges,
lola: 44 tries, 43805452 fired transitions, 1200 secs || 14910087 markings, 201162973 edges,
lola: 44 tries, 43988760 fired transitions, 1205 secs || 14967081 markings, 202038964 edges,
lola: 45 tries, 44172090 fired transitions, 1210 secs || 15020682 markings, 202917192 edges,
lola: 45 tries, 44355426 fired transitions, 1215 secs || 15074928 markings, 203796408 edges,
lola: 45 tries, 44538814 fired transitions, 1220 secs || 15128337 markings, 204682669 edges,
lola: 45 tries, 44722096 fired transitions, 1225 secs || 15182691 markings, 205563966 edges,
lola: 45 tries, 44905510 fired transitions, 1230 secs || 15235986 markings, 206451498 edges,
lola: 46 tries, 45088832 fired transitions, 1235 secs || 15290588 markings, 207337506 edges,
lola: 46 tries, 45272076 fired transitions, 1240 secs || 15346713 markings, 208225842 edges,
lola: 46 tries, 45455380 fired transitions, 1245 secs || 15399760 markings, 209108524 edges,
lola: 46 tries, 45638784 fired transitions, 1250 secs || 15451823 markings, 209991195 edges,
lola: 46 tries, 45822080 fired transitions, 1255 secs || 15507966 markings, 210864281 edges,
lola: 47 tries, 46003580 fired transitions, 1260 secs || 15563619 markings, 211723785 edges,
lola: 47 tries, 46185718 fired transitions, 1265 secs || 15624985 markings, 212568010 edges,
lola: 47 tries, 46368966 fired transitions, 1270 secs || 15681234 markings, 213444271 edges,
lola: 47 tries, 46552198 fired transitions, 1275 secs || 15736494 markings, 214322994 edges,
lola: 47 tries, 46735436 fired transitions, 1280 secs || 15798497 markings, 215192412 edges,
lola: 47 tries, 46918548 fired transitions, 1285 secs || 15858743 markings, 216055865 edges,
lola: 48 tries, 47101638 fired transitions, 1290 secs || 15918028 markings, 216913042 edges,
lola: 48 tries, 47284732 fired transitions, 1295 secs || 15975926 markings, 217774285 edges,
lola: 48 tries, 47468092 fired transitions, 1300 secs || 16036384 markings, 218639673 edges,
lola: 48 tries, 47651406 fired transitions, 1305 secs || 16098260 markings, 219512845 edges,
lola: 48 tries, 47834622 fired transitions, 1310 secs || 16159962 markings, 220389643 edges,
lola: 49 tries, 48017812 fired transitions, 1315 secs || 16221532 markings, 221253170 edges,
lola: 49 tries, 48201039 fired transitions, 1320 secs || 16283385 markings, 222117207 edges,
lola: 49 tries, 48384320 fired transitions, 1325 secs || 16344807 markings, 222982371 edges,
lola: 49 tries, 48567596 fired transitions, 1330 secs || 16406862 markings, 223839007 edges,
lola: 49 tries, 48750720 fired transitions, 1335 secs || 16468585 markings, 224695013 edges,
lola: 49 tries, 48933814 fired transitions, 1340 secs || 16528824 markings, 225560636 edges,
lola: 50 tries, 49115942 fired transitions, 1345 secs || 16587304 markings, 226428969 edges,
lola: 50 tries, 49298208 fired transitions, 1350 secs || 16643849 markings, 227302393 edges,
lola: 50 tries, 49481134 fired transitions, 1355 secs || 16698705 markings, 228178084 edges,
lola: 50 tries, 49664100 fired transitions, 1360 secs || 16753424 markings, 229050078 edges,
lola: 50 tries, 49847082 fired transitions, 1365 secs || 16816596 markings, 229930223 edges,
lola: 51 tries, 50030240 fired transitions, 1370 secs || 16877670 markings, 230813415 edges,
lola: 51 tries, 50213206 fired transitions, 1375 secs || 16941073 markings, 231687074 edges,
lola: 51 tries, 50396190 fired transitions, 1380 secs || 17002657 markings, 232566895 edges,
lola: 51 tries, 50579089 fired transitions, 1385 secs || 17061848 markings, 233445399 edges,
lola: 51 tries, 50761162 fired transitions, 1390 secs || 17125429 markings, 234315967 edges,
lola: 51 tries, 50943344 fired transitions, 1395 secs || 17187856 markings, 235188762 edges,
lola: 52 tries, 51124206 fired transitions, 1400 secs || 17243697 markings, 236057024 edges,
lola: 52 tries, 51299450 fired transitions, 1405 secs || 17303433 markings, 236900859 edges,
lola: 52 tries, 51477400 fired transitions, 1410 secs || 17361358 markings, 237753993 edges,
lola: 52 tries, 51652900 fired transitions, 1415 secs || 17418575 markings, 238548516 edges,
lola: 52 tries, 51826130 fired transitions, 1420 secs || 17477907 markings, 239388567 edges,
lola: 52 tries, 51993632 fired transitions, 1425 secs || 17533198 markings, 240227525 edges,
lola: 53 tries, 52162764 fired transitions, 1430 secs || 17589760 markings, 241061935 edges,
lola: 53 tries, 52337739 fired transitions, 1435 secs || 17645048 markings, 241904948 edges,
lola: 53 tries, 52512942 fired transitions, 1440 secs || 17696376 markings, 242738788 edges,
lola: 53 tries, 52687856 fired transitions, 1445 secs || 17752825 markings, 243576512 edges,
lola: 53 tries, 52862722 fired transitions, 1450 secs || 17810688 markings, 244409440 edges,
lola: 54 tries, 53035968 fired transitions, 1455 secs || 17869369 markings, 245236262 edges,
lola: 54 tries, 53205546 fired transitions, 1460 secs || 17922863 markings, 246071720 edges,
lola: 54 tries, 53386786 fired transitions, 1465 secs || 17977314 markings, 246940427 edges,
lola: 54 tries, 53567882 fired transitions, 1470 secs || 18033219 markings, 247812562 edges,
lola: 54 tries, 53748058 fired transitions, 1475 secs || 18093995 markings, 248700858 edges,
lola: 54 tries, 53927884 fired transitions, 1480 secs || 18157465 markings, 249566319 edges,
lola: 55 tries, 54108020 fired transitions, 1485 secs || 18220714 markings, 250437291 edges,
lola: 55 tries, 54288090 fired transitions, 1490 secs || 18277639 markings, 251313521 edges,
lola: 55 tries, 54468208 fired transitions, 1495 secs || 18334820 markings, 252190031 edges,
lola: 55 tries, 54648348 fired transitions, 1500 secs || 18397193 markings, 253061472 edges,
lola: 55 tries, 54828488 fired transitions, 1505 secs || 18458914 markings, 253933612 edges,
lola: 56 tries, 55008620 fired transitions, 1510 secs || 18522408 markings, 254809732 edges,
lola: 56 tries, 55188720 fired transitions, 1515 secs || 18583726 markings, 255684656 edges,
lola: 56 tries, 55369182 fired transitions, 1520 secs || 18644131 markings, 256565167 edges,
lola: 56 tries, 55549486 fired transitions, 1525 secs || 18707851 markings, 257420018 edges,
lola: 56 tries, 55730024 fired transitions, 1530 secs || 18770634 markings, 258279691 edges,
lola: 56 tries, 55910218 fired transitions, 1535 secs || 18833816 markings, 259122914 edges,
lola: 57 tries, 56090510 fired transitions, 1540 secs || 18896760 markings, 259972995 edges,
lola: 57 tries, 56270698 fired transitions, 1545 secs || 18960078 markings, 260821263 edges,
lola: 57 tries, 56451026 fired transitions, 1550 secs || 19022947 markings, 261665080 edges,
lola: 57 tries, 56631086 fired transitions, 1555 secs || 19086470 markings, 262507249 edges,
lola: 57 tries, 56811286 fired transitions, 1560 secs || 19149435 markings, 263357453 edges,
lola: 57 tries, 56991498 fired transitions, 1565 secs || 19213217 markings, 264203846 edges,
lola: 58 tries, 57171890 fired transitions, 1570 secs || 19276287 markings, 265058770 edges,
lola: 58 tries, 57352144 fired transitions, 1575 secs || 19340172 markings, 265915209 edges,
lola: 58 tries, 57532298 fired transitions, 1580 secs || 19399285 markings, 266789056 edges,
lola: 58 tries, 57712396 fired transitions, 1585 secs || 19462828 markings, 267644170 edges,
lola: 58 tries, 57892522 fired transitions, 1590 secs || 19521713 markings, 268522476 edges,
lola: 59 tries, 58072576 fired transitions, 1595 secs || 19584132 markings, 269399649 edges,
lola: 59 tries, 58252712 fired transitions, 1600 secs || 19648216 markings, 270276454 edges,
lola: 59 tries, 58432968 fired transitions, 1605 secs || 19712972 markings, 271140202 edges,
lola: 59 tries, 58613162 fired transitions, 1610 secs || 19776914 markings, 272016357 edges,
lola: 59 tries, 58793350 fired transitions, 1615 secs || 19840789 markings, 272884766 edges,
lola: 59 tries, 58973484 fired transitions, 1620 secs || 19905202 markings, 273754170 edges,
lola: 60 tries, 59153652 fired transitions, 1625 secs || 19966717 markings, 274633030 edges,
lola: 60 tries, 59333864 fired transitions, 1630 secs || 20023932 markings, 275509329 edges,
lola: 60 tries, 59513912 fired transitions, 1635 secs || 20087115 markings, 276349560 edges,
lola: 60 tries, 59694262 fired transitions, 1640 secs || 20147137 markings, 277216515 edges,
lola: 60 tries, 59874180 fired transitions, 1645 secs || 20209182 markings, 278089520 edges,
lola: 61 tries, 60054380 fired transitions, 1650 secs || 20273600 markings, 278956511 edges,
lola: 61 tries, 60234362 fired transitions, 1655 secs || 20337604 markings, 279812606 edges,
lola: 61 tries, 60414348 fired transitions, 1660 secs || 20401328 markings, 280664390 edges,
lola: 61 tries, 60594593 fired transitions, 1665 secs || 20463476 markings, 281531226 edges,
lola: 61 tries, 60774718 fired transitions, 1670 secs || 20519697 markings, 282407722 edges,
lola: 61 tries, 60954778 fired transitions, 1675 secs || 20580406 markings, 283284530 edges,
lola: 62 tries, 61134877 fired transitions, 1680 secs || 20643563 markings, 284156187 edges,
lola: 62 tries, 61315100 fired transitions, 1685 secs || 20702522 markings, 285043894 edges,
lola: 62 tries, 61495256 fired transitions, 1690 secs || 20766600 markings, 285912612 edges,
lola: 62 tries, 61675333 fired transitions, 1695 secs || 20826733 markings, 286787854 edges,
lola: 62 tries, 61855544 fired transitions, 1700 secs || 20887716 markings, 287669558 edges,
lola: 63 tries, 62035814 fired transitions, 1705 secs || 20944232 markings, 288556623 edges,
lola: 63 tries, 62208642 fired transitions, 1710 secs || 21002283 markings, 289398551 edges,
lola: 63 tries, 62380950 fired transitions, 1715 secs || 21057259 markings, 290244453 edges,
lola: 63 tries, 62553210 fired transitions, 1720 secs || 21111537 markings, 291087710 edges,
lola: 63 tries, 62725408 fired transitions, 1725 secs || 21168702 markings, 291933696 edges,
lola: 63 tries, 62897730 fired transitions, 1730 secs || 21220482 markings, 292778275 edges,
lola: 64 tries, 63074948 fired transitions, 1735 secs || 21278772 markings, 293652423 edges,
lola: 64 tries, 63255968 fired transitions, 1740 secs || 21333502 markings, 294546815 edges,
lola: 64 tries, 63432322 fired transitions, 1745 secs || 21385465 markings, 295415484 edges,
lola: 64 tries, 63612304 fired transitions, 1750 secs || 21439652 markings, 296302886 edges,
lola: 64 tries, 63793138 fired transitions, 1755 secs || 21494359 markings, 297187856 edges,
lola: 64 tries, 63974116 fired transitions, 1760 secs || 21547442 markings, 298076927 edges,
lola: 65 tries, 64155224 fired transitions, 1765 secs || 21600734 markings, 298956831 edges,
lola: 65 tries, 64336316 fired transitions, 1770 secs || 21657064 markings, 299835899 edges,
lola: 65 tries, 64517296 fired transitions, 1775 secs || 21715382 markings, 300716186 edges,
lola: 65 tries, 64698206 fired transitions, 1780 secs || 21777295 markings, 301591377 edges,
lola: 65 tries, 64879180 fired transitions, 1785 secs || 21839377 markings, 302463176 edges,
lola: 66 tries, 65060080 fired transitions, 1790 secs || 21901464 markings, 303345180 edges,
lola: 66 tries, 65240974 fired transitions, 1795 secs || 21961658 markings, 304209629 edges,
lola: 66 tries, 65421922 fired transitions, 1800 secs || 22014750 markings, 305094285 edges,
lola: 66 tries, 65602922 fired transitions, 1805 secs || 22068042 markings, 305980187 edges,
lola: 66 tries, 65784004 fired transitions, 1810 secs || 22121904 markings, 306860310 edges,
lola: 66 tries, 65965088 fired transitions, 1815 secs || 22174946 markings, 307748524 edges,
lola: 67 tries, 66145986 fired transitions, 1820 secs || 22234115 markings, 308628208 edges,
lola: 67 tries, 66327008 fired transitions, 1825 secs || 22295750 markings, 309515296 edges,
lola: 67 tries, 66508102 fired transitions, 1830 secs || 22354952 markings, 310398479 edges,
lola: 67 tries, 66689046 fired transitions, 1835 secs || 22414183 markings, 311279637 edges,
lola: 67 tries, 66870022 fired transitions, 1840 secs || 22472589 markings, 312161410 edges,
lola: 68 tries, 67050944 fired transitions, 1845 secs || 22533392 markings, 313034222 edges,
lola: 68 tries, 67231942 fired transitions, 1850 secs || 22597470 markings, 313904440 edges,
lola: 68 tries, 67412952 fired transitions, 1855 secs || 22659869 markings, 314778955 edges,
lola: 68 tries, 67593922 fired transitions, 1860 secs || 22721265 markings, 315654881 edges,
lola: 68 tries, 67774898 fired transitions, 1865 secs || 22785656 markings, 316515922 edges,
lola: 68 tries, 67955822 fired transitions, 1870 secs || 22849369 markings, 317380775 edges,
lola: 69 tries, 68136754 fired transitions, 1875 secs || 22913534 markings, 318241561 edges,
lola: 69 tries, 68317650 fired transitions, 1880 secs || 22978435 markings, 319096665 edges,
lola: 69 tries, 68498268 fired transitions, 1885 secs || 23041894 markings, 319956894 edges,
lola: 69 tries, 68679120 fired transitions, 1890 secs || 23103787 markings, 320825865 edges,
lola: 69 tries, 68859903 fired transitions, 1895 secs || 23165140 markings, 321699997 edges,
lola: 70 tries, 69040656 fired transitions, 1900 secs || 23222861 markings, 322590430 edges,
lola: 70 tries, 69221474 fired transitions, 1905 secs || 23285786 markings, 323454820 edges,
lola: 70 tries, 69403960 fired transitions, 1910 secs || 23340479 markings, 324322976 edges,
lola: 70 tries, 69586462 fired transitions, 1915 secs || 23393949 markings, 325187164 edges,
lola: 70 tries, 69769026 fired transitions, 1920 secs || 23450919 markings, 326054638 edges,
lola: 70 tries, 69951448 fired transitions, 1925 secs || 23508997 markings, 326928853 edges,
lola: 71 tries, 70133782 fired transitions, 1930 secs || 23566256 markings, 327796841 edges,
lola: 71 tries, 70315876 fired transitions, 1935 secs || 23626003 markings, 328667708 edges,
lola: 71 tries, 70497956 fired transitions, 1940 secs || 23686420 markings, 329534003 edges,
lola: 71 tries, 70680186 fired transitions, 1945 secs || 23747038 markings, 330407244 edges,
lola: 71 tries, 70862478 fired transitions, 1950 secs || 23809225 markings, 331279226 edges,
lola: 72 tries, 71044580 fired transitions, 1955 secs || 23871924 markings, 332149254 edges,
lola: 72 tries, 71227080 fired transitions, 1960 secs || 23932812 markings, 333024796 edges,
lola: 72 tries, 71409676 fired transitions, 1965 secs || 23993039 markings, 333897820 edges,
lola: 72 tries, 71591962 fired transitions, 1970 secs || 24052034 markings, 334753088 edges,
lola: 72 tries, 71774543 fired transitions, 1975 secs || 24112222 markings, 335635891 edges,
lola: 72 tries, 71956836 fired transitions, 1980 secs || 24177238 markings, 336500273 edges,
lola: 73 tries, 72139214 fired transitions, 1985 secs || 24239358 markings, 337385178 edges,
lola: 73 tries, 72321754 fired transitions, 1990 secs || 24297142 markings, 338258338 edges,
lola: 73 tries, 72504352 fired transitions, 1995 secs || 24358269 markings, 339125155 edges,
lola: 73 tries, 72686930 fired transitions, 2000 secs || 24421630 markings, 339988019 edges,
lola: 73 tries, 72869526 fired transitions, 2005 secs || 24482323 markings, 340860589 edges,
lola: 74 tries, 73052086 fired transitions, 2010 secs || 24545365 markings, 341718253 edges,
lola: 74 tries, 73234634 fired transitions, 2015 secs || 24607552 markings, 342584089 edges,
lola: 74 tries, 73417070 fired transitions, 2020 secs || 24670278 markings, 343431891 edges,
lola: 74 tries, 73599252 fired transitions, 2025 secs || 24733600 markings, 344276946 edges,
lola: 74 tries, 73781262 fired transitions, 2030 secs || 24797494 markings, 345126916 edges,
lola: 74 tries, 73963380 fired transitions, 2035 secs || 24860487 markings, 345970088 edges,
lola: 75 tries, 74145590 fired transitions, 2040 secs || 24923447 markings, 346819410 edges,
lola: 75 tries, 74327608 fired transitions, 2045 secs || 24986357 markings, 347662261 edges,
lola: 75 tries, 74509472 fired transitions, 2050 secs || 25049365 markings, 348504047 edges,
lola: 75 tries, 74691608 fired transitions, 2055 secs || 25111646 markings, 349358103 edges,
lola: 75 tries, 74873668 fired transitions, 2060 secs || 25174150 markings, 350206102 edges,
lola: 76 tries, 75055812 fired transitions, 2065 secs || 25237472 markings, 351047615 edges,
lola: 76 tries, 75238388 fired transitions, 2070 secs || 25298718 markings, 351905980 edges,
lola: 76 tries, 75420824 fired transitions, 2075 secs || 25359974 markings, 352761026 edges,
lola: 76 tries, 75603109 fired transitions, 2080 secs || 25422412 markings, 353614068 edges,
lola: 76 tries, 75785692 fired transitions, 2085 secs || 25483799 markings, 354473555 edges,
lola: 76 tries, 75968332 fired transitions, 2090 secs || 25545416 markings, 355315587 edges,
lola: 77 tries, 76150614 fired transitions, 2095 secs || 25607685 markings, 356163746 edges,
lola: 77 tries, 76332700 fired transitions, 2100 secs || 25670165 markings, 357016767 edges,
lola: 77 tries, 76515074 fired transitions, 2105 secs || 25733066 markings, 357856124 edges,
lola: 77 tries, 76697588 fired transitions, 2110 secs || 25794137 markings, 358711938 edges,
lola: 77 tries, 76879814 fired transitions, 2115 secs || 25855254 markings, 359560616 edges,
lola: 78 tries, 77062086 fired transitions, 2120 secs || 25917190 markings, 360430796 edges,
lola: 78 tries, 77244520 fired transitions, 2125 secs || 25979140 markings, 361284481 edges,
lola: 78 tries, 77426608 fired transitions, 2130 secs || 26040518 markings, 362141876 edges,
lola: 78 tries, 77609116 fired transitions, 2135 secs || 26103766 markings, 362991120 edges,
lola: 78 tries, 77791313 fired transitions, 2140 secs || 26166890 markings, 363840994 edges,
lola: 78 tries, 77973416 fired transitions, 2145 secs || 26230180 markings, 364697102 edges,
lola: 79 tries, 78155630 fired transitions, 2150 secs || 26293130 markings, 365542755 edges,
lola: 79 tries, 78337994 fired transitions, 2155 secs || 26356082 markings, 366391636 edges,
lola: 79 tries, 78520022 fired transitions, 2160 secs || 26419431 markings, 367230491 edges,
lola: 79 tries, 78702222 fired transitions, 2165 secs || 26481640 markings, 368078679 edges,
lola: 79 tries, 78884385 fired transitions, 2170 secs || 26544772 markings, 368923666 edges,
lola: 80 tries, 79066631 fired transitions, 2175 secs || 26607242 markings, 369776154 edges,
lola: 80 tries, 79248664 fired transitions, 2180 secs || 26671356 markings, 370607765 edges,
lola: 80 tries, 79431226 fired transitions, 2185 secs || 26733505 markings, 371448224 edges,
lola: 80 tries, 79613772 fired transitions, 2190 secs || 26795595 markings, 372289211 edges,
lola: 80 tries, 79792798 fired transitions, 2195 secs || 26856740 markings, 373107122 edges,
lola: 80 tries, 79971636 fired transitions, 2200 secs || 26917980 markings, 373921909 edges,
lola: 81 tries, 80154272 fired transitions, 2205 secs || 26980582 markings, 374757201 edges,
lola: 81 tries, 80337050 fired transitions, 2210 secs || 27042802 markings, 375590650 edges,
lola: 81 tries, 80519724 fired transitions, 2215 secs || 27105244 markings, 376435682 edges,
lola: 81 tries, 80702446 fired transitions, 2220 secs || 27167604 markings, 377275056 edges,
lola: 81 tries, 80885220 fired transitions, 2225 secs || 27229554 markings, 378110547 edges,
lola: 82 tries, 81067916 fired transitions, 2230 secs || 27291513 markings, 378939014 edges,
lola: 82 tries, 81250854 fired transitions, 2235 secs || 27353259 markings, 379770848 edges,
lola: 82 tries, 81433734 fired transitions, 2240 secs || 27416039 markings, 380603626 edges,
lola: 82 tries, 81616628 fired transitions, 2245 secs || 27477298 markings, 381451001 edges,
lola: 82 tries, 81799296 fired transitions, 2250 secs || 27539926 markings, 382289350 edges,
lola: 82 tries, 81981972 fired transitions, 2255 secs || 27602718 markings, 383134885 edges,
lola: 83 tries, 82164610 fired transitions, 2260 secs || 27666175 markings, 383966967 edges,
lola: 83 tries, 82347382 fired transitions, 2265 secs || 27727424 markings, 384808269 edges,
lola: 83 tries, 82530310 fired transitions, 2270 secs || 27789838 markings, 385656599 edges,
lola: 83 tries, 82713182 fired transitions, 2275 secs || 27851776 markings, 386494377 edges,
lola: 83 tries, 82896070 fired transitions, 2280 secs || 27913311 markings, 387328318 edges,
lola: 84 tries, 83078930 fired transitions, 2285 secs || 27975606 markings, 388153304 edges,
lola: 84 tries, 83261692 fired transitions, 2290 secs || 28038386 markings, 388989565 edges,
lola: 84 tries, 83444368 fired transitions, 2295 secs || 28100784 markings, 389823042 edges,
lola: 84 tries, 83626970 fired transitions, 2300 secs || 28163092 markings, 390659692 edges,
lola: 84 tries, 83809701 fired transitions, 2305 secs || 28225108 markings, 391495211 edges,
lola: 84 tries, 83992228 fired transitions, 2310 secs || 28286997 markings, 392334756 edges,
lola: 85 tries, 84174973 fired transitions, 2315 secs || 28348822 markings, 393161607 edges,
lola: 85 tries, 84357608 fired transitions, 2320 secs || 28411090 markings, 393989729 edges,
lola: 85 tries, 84540452 fired transitions, 2325 secs || 28473445 markings, 394819551 edges,
lola: 85 tries, 84723148 fired transitions, 2330 secs || 28534755 markings, 395649053 edges,
lola: 85 tries, 84905956 fired transitions, 2335 secs || 28597595 markings, 396475264 edges,
lola: 86 tries, 85088968 fired transitions, 2340 secs || 28660258 markings, 397306043 edges,
lola: 86 tries, 85271962 fired transitions, 2345 secs || 28721750 markings, 398147315 edges,
lola: 86 tries, 85454744 fired transitions, 2350 secs || 28784098 markings, 398988022 edges,
lola: 86 tries, 85637472 fired transitions, 2355 secs || 28846456 markings, 399812999 edges,
lola: 86 tries, 85819986 fired transitions, 2360 secs || 28909083 markings, 400644234 edges,
lola: 87 tries, 86002680 fired transitions, 2365 secs || 28970627 markings, 401485324 edges,
lola: 87 tries, 86185364 fired transitions, 2370 secs || 29033153 markings, 402332697 edges,
lola: 87 tries, 86368358 fired transitions, 2375 secs || 29092781 markings, 403203437 edges,
lola: 87 tries, 86551152 fired transitions, 2380 secs || 29156172 markings, 404065580 edges,
lola: 87 tries, 86733978 fired transitions, 2385 secs || 29218435 markings, 404932172 edges,
lola: 87 tries, 86914752 fired transitions, 2390 secs || 29281784 markings, 405795239 edges,
lola: 88 tries, 87095276 fired transitions, 2395 secs || 29345043 markings, 406658597 edges,
lola: 88 tries, 87275765 fired transitions, 2400 secs || 29408693 markings, 407521714 edges,
lola: 88 tries, 87456360 fired transitions, 2405 secs || 29470988 markings, 408404976 edges,
lola: 88 tries, 87636978 fired transitions, 2410 secs || 29530283 markings, 409276192 edges,
lola: 88 tries, 87817736 fired transitions, 2415 secs || 29590126 markings, 410138632 edges,
lola: 88 tries, 87998670 fired transitions, 2420 secs || 29645125 markings, 411009778 edges,
lola: 89 tries, 88179658 fired transitions, 2425 secs || 29706259 markings, 411887763 edges,
lola: 89 tries, 88360634 fired transitions, 2430 secs || 29769059 markings, 412768362 edges,
lola: 89 tries, 88541566 fired transitions, 2435 secs || 29823428 markings, 413643202 edges,
lola: 89 tries, 88722254 fired transitions, 2440 secs || 29878804 markings, 414525129 edges,
lola: 89 tries, 88903230 fired transitions, 2445 secs || 29932999 markings, 415399744 edges,
lola: 90 tries, 89084228 fired transitions, 2450 secs || 29988719 markings, 416267954 edges,
lola: 90 tries, 89265264 fired transitions, 2455 secs || 30052292 markings, 417144389 edges,
lola: 90 tries, 89446366 fired transitions, 2460 secs || 30115469 markings, 418018328 edges,
lola: 90 tries, 89627466 fired transitions, 2465 secs || 30178262 markings, 418887704 edges,
lola: 90 tries, 89808598 fired transitions, 2470 secs || 30238976 markings, 419749858 edges,
lola: 90 tries, 89989584 fired transitions, 2475 secs || 30302349 markings, 420607335 edges,
lola: 91 tries, 90170728 fired transitions, 2480 secs || 30365040 markings, 421464206 edges,
lola: 91 tries, 90351654 fired transitions, 2485 secs || 30429051 markings, 422317543 edges,
lola: 91 tries, 90532602 fired transitions, 2490 secs || 30492868 markings, 423170208 edges,
lola: 91 tries, 90713768 fired transitions, 2495 secs || 30556986 markings, 424014652 edges,
lola: 91 tries, 90894696 fired transitions, 2500 secs || 30617200 markings, 424870823 edges,
lola: 92 tries, 91075780 fired transitions, 2505 secs || 30678137 markings, 425748386 edges,
lola: 92 tries, 91256830 fired transitions, 2510 secs || 30734675 markings, 426626722 edges,
lola: 92 tries, 91438030 fired transitions, 2515 secs || 30794839 markings, 427503116 edges,
lola: 92 tries, 91619115 fired transitions, 2520 secs || 30857953 markings, 428366715 edges,
lola: 92 tries, 91795736 fired transitions, 2525 secs || 30912090 markings, 429209145 edges,
lola: 92 tries, 91969224 fired transitions, 2530 secs || 30968853 markings, 430031335 edges,
lola: 93 tries, 92142808 fired transitions, 2535 secs || 31025628 markings, 430861118 edges,
lola: 93 tries, 92316074 fired transitions, 2540 secs || 31085183 markings, 431669081 edges,
lola: 93 tries, 92489438 fired transitions, 2545 secs || 31139463 markings, 432486555 edges,
lola: 93 tries, 92662896 fired transitions, 2550 secs || 31193317 markings, 433320427 edges,
lola: 93 tries, 92836264 fired transitions, 2555 secs || 31251591 markings, 434139321 edges,
lola: 94 tries, 93009834 fired transitions, 2560 secs || 31306538 markings, 434961454 edges,
lola: 94 tries, 93182950 fired transitions, 2565 secs || 31365642 markings, 435760478 edges,
lola: 94 tries, 93356136 fired transitions, 2570 secs || 31423851 markings, 436550841 edges,
lola: 94 tries, 93529464 fired transitions, 2575 secs || 31481316 markings, 437341218 edges,
lola: 94 tries, 93702654 fired transitions, 2580 secs || 31538228 markings, 438129862 edges,
lola: 94 tries, 93875974 fired transitions, 2585 secs || 31596361 markings, 438931903 edges,
lola: 95 tries, 94049372 fired transitions, 2590 secs || 31656575 markings, 439770870 edges,
lola: 95 tries, 94223007 fired transitions, 2595 secs || 31716347 markings, 440617766 edges,
lola: 95 tries, 94396514 fired transitions, 2600 secs || 31775839 markings, 441455211 edges,
lola: 95 tries, 94570012 fired transitions, 2605 secs || 31836334 markings, 442282060 edges,
lola: 95 tries, 94743458 fired transitions, 2610 secs || 31896155 markings, 443112419 edges,
lola: 95 tries, 94916929 fired transitions, 2615 secs || 31955919 markings, 443940574 edges,
lola: 96 tries, 95090168 fired transitions, 2620 secs || 32014714 markings, 444776156 edges,
lola: 96 tries, 95263734 fired transitions, 2625 secs || 32072256 markings, 445617128 edges,
lola: 96 tries, 95437554 fired transitions, 2630 secs || 32124559 markings, 446469297 edges,
lola: 96 tries, 95611264 fired transitions, 2635 secs || 32181748 markings, 447310430 edges,
lola: 96 tries, 95784894 fired transitions, 2640 secs || 32238554 markings, 448144902 edges,
lola: 96 tries, 95958600 fired transitions, 2645 secs || 32294046 markings, 448991382 edges,
lola: 97 tries, 96132214 fired transitions, 2650 secs || 32348941 markings, 449824272 edges,
lola: 97 tries, 96305642 fired transitions, 2655 secs || 32406995 markings, 450653570 edges,
lola: 97 tries, 96478934 fired transitions, 2660 secs || 32462193 markings, 451491002 edges,
lola: 97 tries, 96652320 fired transitions, 2665 secs || 32515646 markings, 452319411 edges,
lola: 97 tries, 96825670 fired transitions, 2670 secs || 32570739 markings, 453146513 edges,
lola: 97 tries, 96999160 fired transitions, 2675 secs || 32628533 markings, 453971021 edges,
lola: 98 tries, 97172704 fired transitions, 2680 secs || 32683679 markings, 454801224 edges,
lola: 98 tries, 97346114 fired transitions, 2685 secs || 32740698 markings, 455630842 edges,
lola: 98 tries, 97519563 fired transitions, 2690 secs || 32798613 markings, 456464609 edges,
lola: 98 tries, 97692998 fired transitions, 2695 secs || 32855443 markings, 457299831 edges,
lola: 98 tries, 97866414 fired transitions, 2700 secs || 32908419 markings, 458128739 edges,
lola: 99 tries, 98039752 fired transitions, 2705 secs || 32964570 markings, 458946903 edges,
lola: 99 tries, 98213012 fired transitions, 2710 secs || 33023183 markings, 459763866 edges,
lola: 99 tries, 98386566 fired transitions, 2715 secs || 33077763 markings, 460584864 edges,
lola: 99 tries, 98560024 fired transitions, 2720 secs || 33136806 markings, 461407808 edges,
lola: 99 tries, 98733536 fired transitions, 2725 secs || 33193538 markings, 462232362 edges,
lola: 99 tries, 98906950 fired transitions, 2730 secs || 33251116 markings, 463055107 edges,
lola: 100 tries, 99080400 fired transitions, 2735 secs || 33304765 markings, 463885628 edges,
lola: 100 tries, 99254156 fired transitions, 2740 secs || 33361057 markings, 464709190 edges,
lola: 100 tries, 99427622 fired transitions, 2745 secs || 33419331 markings, 465546402 edges,
lola: 100 tries, 99601122 fired transitions, 2750 secs || 33474197 markings, 466375205 edges,
lola: 100 tries, 99774624 fired transitions, 2755 secs || 33531891 markings, 467192747 edges,
lola: 100 tries, 99948208 fired transitions, 2760 secs || 33587557 markings, 468017287 edges,
lola: 101 tries, 100121648 fired transitions, 2765 secs || 33642771 markings, 468840663 edges,
lola: 101 tries, 100295122 fired transitions, 2770 secs || 33698318 markings, 469665066 edges,
lola: 101 tries, 100468364 fired transitions, 2775 secs || 33756181 markings, 470486745 edges,
lola: 101 tries, 100641948 fired transitions, 2780 secs || 33810149 markings, 471316207 edges,
lola: 101 tries, 100804298 fired transitions, 2785 secs || 33867352 markings, 472150832 edges,
lola: 101 tries, 100975518 fired transitions, 2790 secs || 33923806 markings, 472995650 edges,
lola: 102 tries, 101146467 fired transitions, 2795 secs || 33980968 markings, 473831646 edges,
lola: 102 tries, 101317476 fired transitions, 2800 secs || 34040185 markings, 474663746 edges,
lola: 102 tries, 101488678 fired transitions, 2805 secs || 34096192 markings, 475499967 edges,
lola: 102 tries, 101660597 fired transitions, 2810 secs || 34153862 markings, 476339019 edges,
lola: 102 tries, 101831912 fired transitions, 2815 secs || 34211176 markings, 477167322 edges,
lola: 103 tries, 102003658 fired transitions, 2820 secs || 34269603 markings, 477997946 edges,
lola: 103 tries, 102176029 fired transitions, 2825 secs || 34327323 markings, 478831650 edges,
lola: 103 tries, 102347926 fired transitions, 2830 secs || 34383277 markings, 479661458 edges,
lola: 103 tries, 102519712 fired transitions, 2835 secs || 34441811 markings, 480484066 edges,
lola: 103 tries, 102691666 fired transitions, 2840 secs || 34499596 markings, 481320054 edges,
lola: 103 tries, 102863714 fired transitions, 2845 secs || 34558284 markings, 482145090 edges,
lola: 104 tries, 103035852 fired transitions, 2850 secs || 34616246 markings, 482973561 edges,
lola: 104 tries, 103207850 fired transitions, 2855 secs || 34672972 markings, 483811860 edges,
lola: 104 tries, 103379726 fired transitions, 2860 secs || 34728982 markings, 484647860 edges,
lola: 104 tries, 103549986 fired transitions, 2865 secs || 34788077 markings, 485464696 edges,
lola: 104 tries, 103722132 fired transitions, 2870 secs || 34846571 markings, 486296113 edges,
lola: 104 tries, 103893990 fired transitions, 2875 secs || 34903011 markings, 487128883 edges,
lola: 105 tries, 104064796 fired transitions, 2880 secs || 34961120 markings, 487955908 edges,
lola: 105 tries, 104236268 fired transitions, 2885 secs || 35017205 markings, 488776654 edges,
lola: 105 tries, 104408110 fired transitions, 2890 secs || 35074509 markings, 489603934 edges,
lola: 105 tries, 104579046 fired transitions, 2895 secs || 35132515 markings, 490422842 edges,
lola: 105 tries, 104750932 fired transitions, 2900 secs || 35189274 markings, 491245750 edges,
lola: 105 tries, 104922635 fired transitions, 2905 secs || 35245257 markings, 492081276 edges,
lola: 106 tries, 105093972 fired transitions, 2910 secs || 35302143 markings, 492904856 edges,
lola: 106 tries, 105264818 fired transitions, 2915 secs || 35361962 markings, 493724536 edges,
lola: 106 tries, 105436148 fired transitions, 2920 secs || 35422399 markings, 494545416 edges,
lola: 106 tries, 105607003 fired transitions, 2925 secs || 35475559 markings, 495379385 edges,
lola: 106 tries, 105779216 fired transitions, 2930 secs || 35527555 markings, 496217806 edges,
lola: 106 tries, 105950974 fired transitions, 2935 secs || 35585356 markings, 497038892 edges,
lola: 107 tries, 106122454 fired transitions, 2940 secs || 35641926 markings, 497872567 edges,
lola: 107 tries, 106293870 fired transitions, 2945 secs || 35699844 markings, 498693791 edges,
lola: 107 tries, 106466129 fired transitions, 2950 secs || 35756449 markings, 499526944 edges,
lola: 107 tries, 106638506 fired transitions, 2955 secs || 35813302 markings, 500359466 edges,
lola: 107 tries, 106809674 fired transitions, 2960 secs || 35870497 markings, 501174938 edges,
lola: 107 tries, 106980158 fired transitions, 2965 secs || 35926027 markings, 502001016 edges,
lola: 108 tries, 107152068 fired transitions, 2970 secs || 35983759 markings, 502823941 edges,
lola: 108 tries, 107323176 fired transitions, 2975 secs || 36042523 markings, 503647777 edges,
lola: 108 tries, 107496080 fired transitions, 2980 secs || 36098816 markings, 504473721 edges,
lola: 108 tries, 107670366 fired transitions, 2985 secs || 36153547 markings, 505297299 edges,
lola: 108 tries, 107844660 fired transitions, 2990 secs || 36209863 markings, 506128614 edges,
lola: 109 tries, 108018938 fired transitions, 2995 secs || 36265536 markings, 506950504 edges,
lola: 109 tries, 108191146 fired transitions, 3000 secs || 36325246 markings, 507773038 edges,
lola: 109 tries, 108363608 fired transitions, 3005 secs || 36382422 markings, 508591474 edges,
lola: 109 tries, 108535900 fired transitions, 3010 secs || 36441345 markings, 509398183 edges,
lola: 109 tries, 108708266 fired transitions, 3015 secs || 36497113 markings, 510228792 edges,
lola: 109 tries, 108880522 fired transitions, 3020 secs || 36556874 markings, 511045541 edges,
lola: 110 tries, 109052912 fired transitions, 3025 secs || 36612712 markings, 511869245 edges,
lola: 110 tries, 109225262 fired transitions, 3030 secs || 36669789 markings, 512695270 edges,
lola: 110 tries, 109397576 fired transitions, 3035 secs || 36728060 markings, 513518748 edges,
lola: 110 tries, 109569906 fired transitions, 3040 secs || 36783789 markings, 514339467 edges,
lola: 110 tries, 109742220 fired transitions, 3045 secs || 36843134 markings, 515166144 edges,
lola: 110 tries, 109914530 fired transitions, 3050 secs || 36900965 markings, 515987868 edges,
lola: 111 tries, 110086894 fired transitions, 3055 secs || 36956524 markings, 516804447 edges,
lola: 111 tries, 110259044 fired transitions, 3060 secs || 37014337 markings, 517630169 edges,
lola: 111 tries, 110431390 fired transitions, 3065 secs || 37071624 markings, 518449146 edges,
lola: 111 tries, 110603778 fired transitions, 3070 secs || 37126946 markings, 519272957 edges,
lola: 111 tries, 110775862 fired transitions, 3075 secs || 37181464 markings, 520097110 edges,
lola: 111 tries, 110948082 fired transitions, 3080 secs || 37240804 markings, 520910912 edges,
lola: 112 tries, 111120346 fired transitions, 3085 secs || 37300948 markings, 521729729 edges,
lola: 112 tries, 111292744 fired transitions, 3090 secs || 37358743 markings, 522552874 edges,
lola: 112 tries, 111465022 fired transitions, 3095 secs || 37415532 markings, 523371090 edges,
lola: 112 tries, 111637134 fired transitions, 3100 secs || 37471611 markings, 524193488 edges,
lola: 112 tries, 111809256 fired transitions, 3105 secs || 37528317 markings, 525011767 edges,
lola: 112 tries, 111981490 fired transitions, 3110 secs || 37580827 markings, 525830715 edges,
lola: 113 tries, 112153916 fired transitions, 3115 secs || 37635972 markings, 526655699 edges,
lola: 113 tries, 112326226 fired transitions, 3120 secs || 37692913 markings, 527475747 edges,
lola: 113 tries, 112498592 fired transitions, 3125 secs || 37748428 markings, 528300863 edges,
lola: 113 tries, 112671050 fired transitions, 3130 secs || 37801268 markings, 529114262 edges,
lola: 113 tries, 112843228 fired transitions, 3135 secs || 37857580 markings, 529933202 edges,
lola: 114 tries, 113015236 fired transitions, 3140 secs || 37913072 markings, 530750908 edges,
lola: 114 tries, 113187288 fired transitions, 3145 secs || 37969951 markings, 531571408 edges,
lola: 114 tries, 113359448 fired transitions, 3150 secs || 38025880 markings, 532395004 edges,
lola: 114 tries, 113531596 fired transitions, 3155 secs || 38080635 markings, 533220622 edges,
lola: 114 tries, 113703904 fired transitions, 3160 secs || 38137540 markings, 534036920 edges,
lola: 114 tries, 113876292 fired transitions, 3165 secs || 38196455 markings, 534855586 edges,
lola: 115 tries, 114048608 fired transitions, 3170 secs || 38253948 markings, 535669746 edges,
lola: 115 tries, 114220644 fired transitions, 3175 secs || 38312578 markings, 536477906 edges,
lola: 115 tries, 114392842 fired transitions, 3180 secs || 38372547 markings, 537290237 edges,
lola: 115 tries, 114565140 fired transitions, 3185 secs || 38429790 markings, 538107395 edges,
lola: 115 tries, 114737466 fired transitions, 3190 secs || 38485602 markings, 538923849 edges,
lola: 115 tries, 114909404 fired transitions, 3195 secs || 38542868 markings, 539741582 edges,
lola: 116 tries, 115081656 fired transitions, 3200 secs || 38600199 markings, 540558334 edges,
lola: 116 tries, 115253918 fired transitions, 3205 secs || 38660632 markings, 541362959 edges,
lola: 116 tries, 115426450 fired transitions, 3210 secs || 38716877 markings, 542188739 edges,
lola: 116 tries, 115598566 fired transitions, 3215 secs || 38772103 markings, 543017513 edges,
lola: 116 tries, 115770898 fired transitions, 3220 secs || 38832522 markings, 543839471 edges,
lola: 116 tries, 115943163 fired transitions, 3225 secs || 38888918 markings, 544653161 edges,
lola: 117 tries, 116115408 fired transitions, 3230 secs || 38944322 markings, 545474340 edges,
lola: 117 tries, 116287700 fired transitions, 3235 secs || 38998807 markings, 546293315 edges,
lola: 117 tries, 116460004 fired transitions, 3240 secs || 39053842 markings, 547117226 edges,
lola: 117 tries, 116632332 fired transitions, 3245 secs || 39110508 markings, 547931565 edges,
lola: 117 tries, 116804654 fired transitions, 3250 secs || 39166662 markings, 548746923 edges,
lola: 117 tries, 116976814 fired transitions, 3255 secs || 39225005 markings, 549572518 edges,
lola: 118 tries, 117149030 fired transitions, 3260 secs || 39281613 markings, 550383105 edges,
lola: 118 tries, 117321194 fired transitions, 3265 secs || 39338909 markings, 551212408 edges,
lola: 118 tries, 117493462 fired transitions, 3270 secs || 39398420 markings, 552040301 edges,
lola: 118 tries, 117665666 fired transitions, 3275 secs || 39455843 markings, 552856968 edges,
lola: 118 tries, 117837980 fired transitions, 3280 secs || 39514973 markings, 553667162 edges,
lola: 119 tries, 118010322 fired transitions, 3285 secs || 39573536 markings, 554487262 edges,
lola: 119 tries, 118182680 fired transitions, 3290 secs || 39627605 markings, 555310750 edges,
lola: 119 tries, 118355020 fired transitions, 3295 secs || 39686785 markings, 556135902 edges,
lola: 119 tries, 118527164 fired transitions, 3300 secs || 39740450 markings, 556955847 edges,
lola: 119 tries, 118699396 fired transitions, 3305 secs || 39797676 markings, 557776256 edges,
lola: 119 tries, 118871676 fired transitions, 3310 secs || 39853332 markings, 558602349 edges,
lola: 120 tries, 119043852 fired transitions, 3315 secs || 39909753 markings, 559415091 edges,
lola: 120 tries, 119215910 fired transitions, 3320 secs || 39965432 markings, 560227278 edges,
lola: 120 tries, 119388246 fired transitions, 3325 secs || 40021274 markings, 561046107 edges,
lola: 120 tries, 119560504 fired transitions, 3330 secs || 40080605 markings, 561858668 edges,
lola: 120 tries, 119732656 fired transitions, 3335 secs || 40135068 markings, 562680908 edges,
lola: 120 tries, 119904798 fired transitions, 3340 secs || 40188995 markings, 563507249 edges,
lola: 121 tries, 120082061 fired transitions, 3345 secs || 40244871 markings, 564349245 edges,
lola: 121 tries, 120262914 fired transitions, 3350 secs || 40302967 markings, 565211046 edges,
lola: 121 tries, 120444004 fired transitions, 3355 secs || 40363975 markings, 566062369 edges,
lola: 121 tries, 120624956 fired transitions, 3360 secs || 40419853 markings, 566916715 edges,
lola: 121 tries, 120806072 fired transitions, 3365 secs || 40474927 markings, 567782471 edges,
lola: 121 tries, 120980582 fired transitions, 3370 secs || 40533039 markings, 568609138 edges,
lola: 122 tries, 121152840 fired transitions, 3375 secs || 40592162 markings, 569420232 edges,
lola: 122 tries, 121325210 fired transitions, 3380 secs || 40644823 markings, 570244762 edges,
lola: 122 tries, 121497498 fired transitions, 3385 secs || 40699394 markings, 571065445 edges,
lola: 122 tries, 121669943 fired transitions, 3390 secs || 40755442 markings, 571891251 edges,
lola: 122 tries, 121842248 fired transitions, 3395 secs || 40812433 markings, 572697252 edges,
lola: 123 tries, 122014654 fired transitions, 3400 secs || 40866297 markings, 573521565 edges,
lola: 123 tries, 122187090 fired transitions, 3405 secs || 40923675 markings, 574342265 edges,
lola: 123 tries, 122359244 fired transitions, 3410 secs || 40979194 markings, 575164303 edges,
lola: 123 tries, 122531552 fired transitions, 3415 secs || 41034376 markings, 575987654 edges,
lola: 123 tries, 122703878 fired transitions, 3420 secs || 41093128 markings, 576791934 edges,
lola: 123 tries, 122876194 fired transitions, 3425 secs || 41151918 markings, 577612989 edges,
lola: 124 tries, 123048318 fired transitions, 3430 secs || 41211501 markings, 578416006 edges,
lola: 124 tries, 123220510 fired transitions, 3435 secs || 41267411 markings, 579240365 edges,
lola: 124 tries, 123392730 fired transitions, 3440 secs || 41325755 markings, 580056731 edges,
lola: 124 tries, 123565062 fired transitions, 3445 secs || 41383191 markings, 580872265 edges,
lola: 124 tries, 123737372 fired transitions, 3450 secs || 41437238 markings, 581693799 edges,
lola: 124 tries, 123909754 fired transitions, 3455 secs || 41491532 markings, 582518465 edges,
lola: 125 tries, 124082000 fired transitions, 3460 secs || 41548598 markings, 583346903 edges,
lola: 125 tries, 124254346 fired transitions, 3465 secs || 41603763 markings, 584166155 edges,
lola: 125 tries, 124426569 fired transitions, 3470 secs || 41662154 markings, 584987294 edges,
lola: 125 tries, 124598926 fired transitions, 3475 secs || 41720012 markings, 585815948 edges,
lola: 125 tries, 124771256 fired transitions, 3480 secs || 41780327 markings, 586639745 edges,
lola: 125 tries, 124943576 fired transitions, 3485 secs || 41839393 markings, 587475081 edges,
lola: 126 tries, 125115882 fired transitions, 3490 secs || 41900033 markings, 588305540 edges,
lola: 126 tries, 125288186 fired transitions, 3495 secs || 41956207 markings, 589157224 edges,
lola: 126 tries, 125460396 fired transitions, 3500 secs || 42011559 markings, 590007548 edges,
lola: 126 tries, 125632700 fired transitions, 3505 secs || 42067975 markings, 590865120 edges,
lola: 126 tries, 125805044 fired transitions, 3510 secs || 42124784 markings, 591721942 edges,
lola: 126 tries, 125977334 fired transitions, 3515 secs || 42182465 markings, 592569917 edges,
lola: 127 tries, 126149542 fired transitions, 3520 secs || 42241546 markings, 593402550 edges,
lola: 127 tries, 126321840 fired transitions, 3525 secs || 42299325 markings, 594240108 edges,
lola: 127 tries, 126494195 fired transitions, 3530 secs || 42359639 markings, 595079067 edges,
lola: 127 tries, 126666514 fired transitions, 3535 secs || 42420859 markings, 595901417 edges,
lola: 127 tries, 126838862 fired transitions, 3540 secs || 42478498 markings, 596745494 edges,
lola: 128 tries, 127011256 fired transitions, 3545 secs || 42532766 markings, 597606884 edges,
lola: 128 tries, 127183556 fired transitions, 3550 secs || 42585540 markings, 598448004 edges,
lola: 128 tries, 127355894 fired transitions, 3555 secs || 42638320 markings, 599291495 edges,
lola: 128 tries, 127528336 fired transitions, 3560 secs || 42689725 markings, 600130448 edges,
lola: time limit reached - aborting
lola: memory consumption: 14846724 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 1552928692451

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 16793 markings/sec, 0 secs 16619 markings/sec, 5 secs 16735 markings/sec, 10 secs 16712 markings/sec, 15 secs 16708 markings/sec, 20 secs 16709 markings/sec, 25 secs 16654 markings/sec, 30 secs 16663 markings/sec, 35 secs 16629 markings/sec, 40 secs 16665 markings/sec, 45 secs 16434 markings/sec, 50 secs 15344 markings/sec, 55 secs 15260 markings/sec, 60 secs 15310 markings/sec, 65 secs 15481 markings/sec, 70 secs 15401 markings/sec, 75 secs 15388 markings/sec, 80 secs 15355 markings/sec, 85 secs 15911 markings/sec, 90 secs 15534 markings/sec, 95 secs 14682 markings/sec, 100 secs 13371 markings/sec, 105 secs 13518 markings/sec, 110 secs 13481 markings/sec, 115 secs 13742 markings/sec, 120 secs 14031 markings/sec, 125 secs 14165 markings/sec, 130 secs 14233 markings/sec, 135 secs 14062 markings/sec, 140 secs 14023 markings/sec, 145 secs 14169 markings/sec, 150 secs 14071 markings/sec, 155 secs 14032 markings/sec, 160 secs 13961 markings/sec, 165 secs 13453 markings/sec, 170 secs 11795 markings/sec, 175 secs 11346 markings/sec, 180 secs 12086 markings/sec, 185 secs 11861 markings/sec, 190 secs 13675 markings/sec, 195 secs 13683 markings/sec, 200 secs 12862 markings/sec, 205 secs 11916 markings/sec, 210 secs 11823 markings/sec, 215 secs 11763 markings/sec, 220 secs 11429 markings/sec, 225 secs 10968 markings/sec, 230 secs 11909 markings/sec, 235 secs 11928 markings/sec, 240 secs 11824 markings/sec, 245 secs 11905 markings/sec, 250 secs 11907 markings/sec, 255 secs 11963 markings/sec, 260 secs 11771 markings/sec, 265 secs 11932 markings/sec, 270 secs 11979 markings/sec, 275 secs 11882 markings/sec, 280 secs 12020 markings/sec, 285 secs 11830 markings/sec, 290 secs 11743 markings/sec, 295 secs 11945 markings/sec, 300 secs 12425 markings/sec, 305 secs 13476 markings/sec, 310 secs 13193 markings/sec, 315 secs 11693 markings/sec, 320 secs 11876 markings/sec, 325 secs 11739 markings/sec, 330 secs 11778 markings/sec, 335 secs 11850 markings/sec, 340 secs 11859 markings/sec, 345 secs 11872 markings/sec, 350 secs 11880 markings/sec, 355 secs 11940 markings/sec, 360 secs 11892 markings/sec, 365 secs 11892 markings/sec, 370 secs 12043 markings/sec, 375 secs 11904 markings/sec, 380 secs 11813 markings/sec, 385 secs 11918 markings/sec, 390 secs 11811 markings/sec, 395 secs 11897 markings/sec, 400 secs 11987 markings/sec, 405 secs 11906 markings/sec, 410 secs 11914 markings/sec, 415 secs 12088 markings/sec, 420 secs 11838 markings/sec, 425 secs 11801 markings/sec, 430 secs 11980 markings/sec, 435 secs 11806 markings/sec, 440 secs 11852 markings/sec, 445 secs 11919 markings/sec, 450 secs 12099 markings/sec, 455 secs 11904 markings/sec, 460 secs 11780 markings/sec, 465 secs 12109 markings/sec, 470 secs 12124 markings/sec, 475 secs 11826 markings/sec, 480 secs 12019 markings/sec, 485 secs 11857 markings/sec, 490 secs 11926 markings/sec, 495 secs 12019 markings/sec, 500 secs 12665 markings/sec, 505 secs 13800 markings/sec, 510 secs 13987 markings/sec, 515 secs 13770 markings/sec, 520 secs 13988 markings/sec, 525 secs 13716 markings/sec, 530 secs 13829 markings/sec, 535 secs 13616 markings/sec, 540 secs 13774 markings/sec, 545 secs 13843 markings/sec, 550 secs 13711 markings/sec, 555 secs 13708 markings/sec, 560 secs 13229 markings/sec, 565 secs 12786 markings/sec, 570 secs 13639 markings/sec, 575 secs 13720 markings/sec, 580 secs 13723 markings/sec, 585 secs 13968 markings/sec, 590 secs 13991 markings/sec, 595 secs 13884 markings/sec, 600 secs 13153 markings/sec, 605 secs 12094 markings/sec, 610 secs 12627 markings/sec, 615 secs 12519 markings/sec, 620 secs 12436 markings/sec, 625 secs 12542 markings/sec, 630 secs 12860 markings/sec, 635 secs 12259 markings/sec, 640 secs 12336 markings/sec, 645 secs 11851 markings/sec, 650 secs 12041 markings/sec, 655 secs 11922 markings/sec, 660 secs 12002 markings/sec, 665 secs 11940 markings/sec, 670 secs 11846 markings/sec, 675 secs 11905 markings/sec, 680 secs 12016 markings/sec, 685 secs 11917 markings/sec, 690 secs 12063 markings/sec, 695 secs 12106 markings/sec, 700 secs 11796 markings/sec, 705 secs 11801 markings/sec, 710 secs 12018 markings/sec, 715 secs 12358 markings/sec, 720 secs 11412 markings/sec, 725 secs 10747 markings/sec, 730 secs 11906 markings/sec, 735 secs 11951 markings/sec, 740 secs 11887 markings/sec, 745 secs 11770 markings/sec, 750 secs 11534 markings/sec, 755 secs 11710 markings/sec, 760 secs 12108 markings/sec, 765 secs 12036 markings/sec, 770 secs 11113 markings/sec, 775 secs 10864 markings/sec, 780 secs 11951 markings/sec, 785 secs 12931 markings/sec, 790 secs 12741 markings/sec, 795 secs 12587 markings/sec, 800 secs 12537 markings/sec, 805 secs 12496 markings/sec, 810 secs 12418 markings/sec, 815 secs 10940 markings/sec, 820 secs 10958 markings/sec, 825 secs 11081 markings/sec, 830 secs 11392 markings/sec, 835 secs 11974 markings/sec, 840 secs 12421 markings/sec, 845 secs 11936 markings/sec, 850 secs 12548 markings/sec, 855 secs 12042 markings/sec, 860 secs 11803 markings/sec, 865 secs 11203 markings/sec, 870 secs 11063 markings/sec, 875 secs 11673 markings/sec, 880 secs 11780 markings/sec, 885 secs 11298 markings/sec, 890 secs 11182 markings/sec, 895 secs 10990 markings/sec, 900 secs 11026 markings/sec, 905 secs 10883 markings/sec, 910 secs 10809 markings/sec, 915 secs 11120 markings/sec, 920 secs 12556 markings/sec, 925 secs 11425 markings/sec, 930 secs 10702 markings/sec, 935 secs 10662 markings/sec, 940 secs 11098 markings/sec, 945 secs 11152 markings/sec, 950 secs 10555 markings/sec, 955 secs 10908 markings/sec, 960 secs 10952 markings/sec, 965 secs 11456 markings/sec, 970 secs 11588 markings/sec, 975 secs 11185 markings/sec, 980 secs 11525 markings/sec, 985 secs 11514 markings/sec, 990 secs 10911 markings/sec, 995 secs 10687 markings/sec, 1000 secs 10702 markings/sec, 1005 secs 11141 markings/sec, 1010 secs 10466 markings/sec, 1015 secs 11148 markings/sec, 1020 secs 11230 markings/sec, 1025 secs 11067 markings/sec, 1030 secs 11739 markings/sec, 1035 secs 11140 markings/sec, 1040 secs 11190 markings/sec, 1045 secs 11553 markings/sec, 1050 secs 10786 markings/sec, 1055 secs 11295 markings/sec, 1060 secs 10969 markings/sec, 1065 secs 11126 markings/sec, 1070 secs 10719 markings/sec, 1075 secs 10774 markings/sec, 1080 secs 11391 markings/sec, 1085 secs 11797 markings/sec, 1090 secs 11145 markings/sec, 1095 secs 11483 markings/sec, 1100 secs 11175 markings/sec, 1105 secs 11126 markings/sec, 1110 secs 11177 markings/sec, 1115 secs 11423 markings/sec, 1120 secs 11262 markings/sec, 1125 secs 11397 markings/sec, 1130 secs 11089 markings/sec, 1135 secs 11894 markings/sec, 1140 secs 12137 markings/sec, 1145 secs 12315 markings/sec, 1150 secs 12141 markings/sec, 1155 secs 11593 markings/sec, 1160 secs 11903 markings/sec, 1165 secs 10650 markings/sec, 1170 secs 10548 markings/sec, 1175 secs 10541 markings/sec, 1180 secs 10671 markings/sec, 1185 secs 10713 markings/sec, 1190 secs 10692 markings/sec, 1195 secs 10705 markings/sec, 1200 secs 11399 markings/sec, 1205 secs 10720 markings/sec, 1210 secs 10849 markings/sec, 1215 secs 10682 markings/sec, 1220 secs 10871 markings/sec, 1225 secs 10659 markings/sec, 1230 secs 10920 markings/sec, 1235 secs 11225 markings/sec, 1240 secs 10609 markings/sec, 1245 secs 10413 markings/sec, 1250 secs 11229 markings/sec, 1255 secs 11131 markings/sec, 1260 secs 12273 markings/sec, 1265 secs 11250 markings/sec, 1270 secs 11052 markings/sec, 1275 secs 12401 markings/sec, 1280 secs 12049 markings/sec, 1285 secs 11857 markings/sec, 1290 secs 11580 markings/sec, 1295 secs 12092 markings/sec, 1300 secs 12375 markings/sec, 1305 secs 12340 markings/sec, 1310 secs 12314 markings/sec, 1315 secs 12371 markings/sec, 1320 secs 12284 markings/sec, 1325 secs 12411 markings/sec, 1330 secs 12345 markings/sec, 1335 secs 12048 markings/sec, 1340 secs 11696 markings/sec, 1345 secs 11309 markings/sec, 1350 secs 10971 markings/sec, 1355 secs 10944 markings/sec, 1360 secs 12634 markings/sec, 1365 secs 12215 markings/sec, 1370 secs 12681 markings/sec, 1375 secs 12317 markings/sec, 1380 secs 11838 markings/sec, 1385 secs 12716 markings/sec, 1390 secs 12485 markings/sec, 1395 secs 11168 markings/sec, 1400 secs 11947 markings/sec, 1405 secs 11585 markings/sec, 1410 secs 11443 markings/sec, 1415 secs 11866 markings/sec, 1420 secs 11058 markings/sec, 1425 secs 11312 markings/sec, 1430 secs 11058 markings/sec, 1435 secs 10266 markings/sec, 1440 secs 11290 markings/sec, 1445 secs 11573 markings/sec, 1450 secs 11736 markings/sec, 1455 secs 10699 markings/sec, 1460 secs 10890 markings/sec, 1465 secs 11181 markings/sec, 1470 secs 12155 markings/sec, 1475 secs 12694 markings/sec, 1480 secs 12650 markings/sec, 1485 secs 11385 markings/sec, 1490 secs 11436 markings/sec, 1495 secs 12475 markings/sec, 1500 secs 12344 markings/sec, 1505 secs 12699 markings/sec, 1510 secs 12264 markings/sec, 1515 secs 12081 markings/sec, 1520 secs 12744 markings/sec, 1525 secs 12557 markings/sec, 1530 secs 12636 markings/sec, 1535 secs 12589 markings/sec, 1540 secs 12664 markings/sec, 1545 secs 12574 markings/sec, 1550 secs 12705 markings/sec, 1555 secs 12593 markings/sec, 1560 secs 12756 markings/sec, 1565 secs 12614 markings/sec, 1570 secs 12777 markings/sec, 1575 secs 11823 markings/sec, 1580 secs 12709 markings/sec, 1585 secs 11777 markings/sec, 1590 secs 12484 markings/sec, 1595 secs 12817 markings/sec, 1600 secs 12951 markings/sec, 1605 secs 12788 markings/sec, 1610 secs 12775 markings/sec, 1615 secs 12883 markings/sec, 1620 secs 12303 markings/sec, 1625 secs 11443 markings/sec, 1630 secs 12637 markings/sec, 1635 secs 12004 markings/sec, 1640 secs 12409 markings/sec, 1645 secs 12884 markings/sec, 1650 secs 12801 markings/sec, 1655 secs 12745 markings/sec, 1660 secs 12430 markings/sec, 1665 secs 11244 markings/sec, 1670 secs 12142 markings/sec, 1675 secs 12631 markings/sec, 1680 secs 11792 markings/sec, 1685 secs 12816 markings/sec, 1690 secs 12027 markings/sec, 1695 secs 12197 markings/sec, 1700 secs 11303 markings/sec, 1705 secs 11610 markings/sec, 1710 secs 10995 markings/sec, 1715 secs 10856 markings/sec, 1720 secs 11433 markings/sec, 1725 secs 10356 markings/sec, 1730 secs 11658 markings/sec, 1735 secs 10946 markings/sec, 1740 secs 10393 markings/sec, 1745 secs 10837 markings/sec, 1750 secs 10941 markings/sec, 1755 secs 10617 markings/sec, 1760 secs 10658 markings/sec, 1765 secs 11266 markings/sec, 1770 secs 11664 markings/sec, 1775 secs 12383 markings/sec, 1780 secs 12416 markings/sec, 1785 secs 12417 markings/sec, 1790 secs 12039 markings/sec, 1795 secs 10618 markings/sec, 1800 secs 10658 markings/sec, 1805 secs 10772 markings/sec, 1810 secs 10608 markings/sec, 1815 secs 11834 markings/sec, 1820 secs 12327 markings/sec, 1825 secs 11840 markings/sec, 1830 secs 11846 markings/sec, 1835 secs 11681 markings/sec, 1840 secs 12161 markings/sec, 1845 secs 12816 markings/sec, 1850 secs 12480 markings/sec, 1855 secs 12279 markings/sec, 1860 secs 12878 markings/sec, 1865 secs 12743 markings/sec, 1870 secs 12833 markings/sec, 1875 secs 12980 markings/sec, 1880 secs 12692 markings/sec, 1885 secs 12379 markings/sec, 1890 secs 12271 markings/sec, 1895 secs 11544 markings/sec, 1900 secs 12585 markings/sec, 1905 secs 10939 markings/sec, 1910 secs 10694 markings/sec, 1915 secs 11394 markings/sec, 1920 secs 11616 markings/sec, 1925 secs 11452 markings/sec, 1930 secs 11949 markings/sec, 1935 secs 12083 markings/sec, 1940 secs 12124 markings/sec, 1945 secs 12437 markings/sec, 1950 secs 12540 markings/sec, 1955 secs 12178 markings/sec, 1960 secs 12045 markings/sec, 1965 secs 11799 markings/sec, 1970 secs 12038 markings/sec, 1975 secs 13003 markings/sec, 1980 secs 12424 markings/sec, 1985 secs 11557 markings/sec, 1990 secs 12225 markings/sec, 1995 secs 12672 markings/sec, 2000 secs 12139 markings/sec, 2005 secs 12608 markings/sec, 2010 secs 12437 markings/sec, 2015 secs 12545 markings/sec, 2020 secs 12664 markings/sec, 2025 secs 12779 markings/sec, 2030 secs 12599 markings/sec, 2035 secs 12592 markings/sec, 2040 secs 12582 markings/sec, 2045 secs 12602 markings/sec, 2050 secs 12456 markings/sec, 2055 secs 12501 markings/sec, 2060 secs 12664 markings/sec, 2065 secs 12249 markings/sec, 2070 secs 12251 markings/sec, 2075 secs 12488 markings/sec, 2080 secs 12277 markings/sec, 2085 secs 12323 markings/sec, 2090 secs 12454 markings/sec, 2095 secs 12496 markings/sec, 2100 secs 12580 markings/sec, 2105 secs 12214 markings/sec, 2110 secs 12223 markings/sec, 2115 secs 12387 markings/sec, 2120 secs 12390 markings/sec, 2125 secs 12276 markings/sec, 2130 secs 12650 markings/sec, 2135 secs 12625 markings/sec, 2140 secs 12658 markings/sec, 2145 secs 12590 markings/sec, 2150 secs 12590 markings/sec, 2155 secs 12670 markings/sec, 2160 secs 12442 markings/sec, 2165 secs 12626 markings/sec, 2170 secs 12494 markings/sec, 2175 secs 12823 markings/sec, 2180 secs 12430 markings/sec, 2185 secs 12418 markings/sec, 2190 secs 12229 markings/sec, 2195 secs 12248 markings/sec, 2200 secs 12520 markings/sec, 2205 secs 12444 markings/sec, 2210 secs 12488 markings/sec, 2215 secs 12472 markings/sec, 2220 secs 12390 markings/sec, 2225 secs 12392 markings/sec, 2230 secs 12349 markings/sec, 2235 secs 12556 markings/sec, 2240 secs 12252 markings/sec, 2245 secs 12526 markings/sec, 2250 secs 12558 markings/sec, 2255 secs 12691 markings/sec, 2260 secs 12250 markings/sec, 2265 secs 12483 markings/sec, 2270 secs 12388 markings/sec, 2275 secs 12307 markings/sec, 2280 secs 12459 markings/sec, 2285 secs 12556 markings/sec, 2290 secs 12480 markings/sec, 2295 secs 12462 markings/sec, 2300 secs 12403 markings/sec, 2305 secs 12378 markings/sec, 2310 secs 12365 markings/sec, 2315 secs 12454 markings/sec, 2320 secs 12471 markings/sec, 2325 secs 12262 markings/sec, 2330 secs 12568 markings/sec, 2335 secs 12533 markings/sec, 2340 secs 12298 markings/sec, 2345 secs 12470 markings/sec, 2350 secs 12472 markings/sec, 2355 secs 12525 markings/sec, 2360 secs 12309 markings/sec, 2365 secs 12505 markings/sec, 2370 secs 11926 markings/sec, 2375 secs 12678 markings/sec, 2380 secs 12453 markings/sec, 2385 secs 12670 markings/sec, 2390 secs 12652 markings/sec, 2395 secs 12730 markings/sec, 2400 secs 12459 markings/sec, 2405 secs 11859 markings/sec, 2410 secs 11969 markings/sec, 2415 secs 11000 markings/sec, 2420 secs 12227 markings/sec, 2425 secs 12560 markings/sec, 2430 secs 10874 markings/sec, 2435 secs 11075 markings/sec, 2440 secs 10839 markings/sec, 2445 secs 11144 markings/sec, 2450 secs 12715 markings/sec, 2455 secs 12635 markings/sec, 2460 secs 12559 markings/sec, 2465 secs 12143 markings/sec, 2470 secs 12675 markings/sec, 2475 secs 12538 markings/sec, 2480 secs 12802 markings/sec, 2485 secs 12763 markings/sec, 2490 secs 12824 markings/sec, 2495 secs 12043 markings/sec, 2500 secs 12187 markings/sec, 2505 secs 11308 markings/sec, 2510 secs 12033 markings/sec, 2515 secs 12623 markings/sec, 2520 secs 10827 markings/sec, 2525 secs 11353 markings/sec, 2530 secs 11355 markings/sec, 2535 secs 11911 markings/sec, 2540 secs 10856 markings/sec, 2545 secs 10771 markings/sec, 2550 secs 11655 markings/sec, 2555 secs 10989 markings/sec, 2560 secs 11821 markings/sec, 2565 secs 11642 markings/sec, 2570 secs 11493 markings/sec, 2575 secs 11382 markings/sec, 2580 secs 11627 markings/sec, 2585 secs 12043 markings/sec, 2590 secs 11954 markings/sec, 2595 secs 11898 markings/sec, 2600 secs 12099 markings/sec, 2605 secs 11964 markings/sec, 2610 secs 11953 markings/sec, 2615 secs 11759 markings/sec, 2620 secs 11508 markings/sec, 2625 secs 10461 markings/sec, 2630 secs 11438 markings/sec, 2635 secs 11361 markings/sec, 2640 secs 11098 markings/sec, 2645 secs 10979 markings/sec, 2650 secs 11611 markings/sec, 2655 secs 11040 markings/sec, 2660 secs 10691 markings/sec, 2665 secs 11019 markings/sec, 2670 secs 11559 markings/sec, 2675 secs 11029 markings/sec, 2680 secs 11404 markings/sec, 2685 secs 11583 markings/sec, 2690 secs 11366 markings/sec, 2695 secs 10595 markings/sec, 2700 secs 11230 markings/sec, 2705 secs 11723 markings/sec, 2710 secs 10916 markings/sec, 2715 secs 11809 markings/sec, 2720 secs 11346 markings/sec, 2725 secs 11516 markings/sec, 2730 secs 10730 markings/sec, 2735 secs 11258 markings/sec, 2740 secs 11655 markings/sec, 2745 secs 10973 markings/sec, 2750 secs 11539 markings/sec, 2755 secs 11133 markings/sec, 2760 secs 11043 markings/sec, 2765 secs 11109 markings/sec, 2770 secs 11573 markings/sec, 2775 secs 10794 markings/sec, 2780 secs 11441 markings/sec, 2785 secs 11291 markings/sec, 2790 secs 11432 markings/sec, 2795 secs 11843 markings/sec, 2800 secs 11201 markings/sec, 2805 secs 11534 markings/sec, 2810 secs 11463 markings/sec, 2815 secs 11685 markings/sec, 2820 secs 11544 markings/sec, 2825 secs 11191 markings/sec, 2830 secs 11707 markings/sec, 2835 secs 11557 markings/sec, 2840 secs 11738 markings/sec, 2845 secs 11592 markings/sec, 2850 secs 11345 markings/sec, 2855 secs 11202 markings/sec, 2860 secs 11819 markings/sec, 2865 secs 11699 markings/sec, 2870 secs 11288 markings/sec, 2875 secs 11622 markings/sec, 2880 secs 11217 markings/sec, 2885 secs 11461 markings/sec, 2890 secs 11601 markings/sec, 2895 secs 11352 markings/sec, 2900 secs 11197 markings/sec, 2905 secs 11377 markings/sec, 2910 secs 11964 markings/sec, 2915 secs 12087 markings/sec, 2920 secs 10632 markings/sec, 2925 secs 10399 markings/sec, 2930 secs 11560 markings/sec, 2935 secs 11314 markings/sec, 2940 secs 11584 markings/sec, 2945 secs 11321 markings/sec, 2950 secs 11371 markings/sec, 2955 secs 11439 markings/sec, 2960 secs 11106 markings/sec, 2965 secs 11546 markings/sec, 2970 secs 11753 markings/sec, 2975 secs 11259 markings/sec, 2980 secs 10946 markings/sec, 2985 secs 11263 markings/sec, 2990 secs 11135 markings/sec, 2995 secs 11942 markings/sec, 3000 secs 11435 markings/sec, 3005 secs 11785 markings/sec, 3010 secs 11154 markings/sec, 3015 secs 11952 markings/sec, 3020 secs 11168 markings/sec, 3025 secs 11415 markings/sec, 3030 secs 11654 markings/sec, 3035 secs 11146 markings/sec, 3040 secs 11869 markings/sec, 3045 secs 11566 markings/sec, 3050 secs 11112 markings/sec, 3055 secs 11563 markings/sec, 3060 secs 11457 markings/sec, 3065 secs 11064 markings/sec, 3070 secs 10904 markings/sec, 3075 secs 11868 markings/sec, 3080 secs 12029 markings/sec, 3085 secs 11559 markings/sec, 3090 secs 11358 markings/sec, 3095 secs 11216 markings/sec, 3100 secs 11341 markings/sec, 3105 secs 10502 markings/sec, 3110 secs 11029 markings/sec, 3115 secs 11388 markings/sec, 3120 secs 11103 markings/sec, 3125 secs 10568 markings/sec, 3130 secs 11262 markings/sec, 3135 secs 11098 markings/sec, 3140 secs 11376 markings/sec, 3145 secs 11186 markings/sec, 3150 secs 10951 markings/sec, 3155 secs 11381 markings/sec, 3160 secs 11783 markings/sec, 3165 secs 11499 markings/sec, 3170 secs 11726 markings/sec, 3175 secs 11994 markings/sec, 3180 secs 11449 markings/sec, 3185 secs 11162 markings/sec, 3190 secs 11453 markings/sec, 3195 secs 11466 markings/sec, 3200 secs 12087 markings/sec, 3205 secs 11249 markings/sec, 3210 secs 11045 markings/sec, 3215 secs 12084 markings/sec, 3220 secs 11279 markings/sec, 3225 secs 11081 markings/sec, 3230 secs 10897 markings/sec, 3235 secs 11007 markings/sec, 3240 secs 11333 markings/sec, 3245 secs 11231 markings/sec, 3250 secs 11669 markings/sec, 3255 secs 11322 markings/sec, 3260 secs 11459 markings/sec, 3265 secs 11902 markings/sec, 3270 secs 11485 markings/sec, 3275 secs 11826 markings/sec, 3280 secs 11713 markings/sec, 3285 secs 10814 markings/sec, 3290 secs 11836 markings/sec, 3295 secs 10733 markings/sec, 3300 secs 11445 markings/sec, 3305 secs 11131 markings/sec, 3310 secs 11284 markings/sec, 3315 secs 11136 markings/sec, 3320 secs 11168 markings/sec, 3325 secs 11866 markings/sec, 3330 secs 10893 markings/sec, 3335 secs 10785 markings/sec, 3340 secs 11175 markings/sec, 3345 secs 11619 markings/sec, 3350 secs 12202 markings/sec, 3355 secs 11176 markings/sec, 3360 secs 11015 markings/sec, 3365 secs 11622 markings/sec, 3370 secs 11825 markings/sec, 3375 secs 10532 markings/sec, 3380 secs 10914 markings/sec, 3385 secs 11210 markings/sec, 3390 secs 11398 markings/sec, 3395 secs 10773 markings/sec, 3400 secs 11476 markings/sec, 3405 secs 11104 markings/sec, 3410 secs 11036 markings/sec, 3415 secs 11750 markings/sec, 3420 secs 11758 markings/sec, 3425 secs 11917 markings/sec, 3430 secs 11182 markings/sec, 3435 secs 11669 markings/sec, 3440 secs 11487 markings/sec, 3445 secs 10809 markings/sec, 3450 secs 10859 markings/sec, 3455 secs 11413 markings/sec, 3460 secs 11033 markings/sec, 3465 secs 11678 markings/sec, 3470 secs 11572 markings/sec, 3475 secs 12063 markings/sec, 3480 secs 11813 markings/sec, 3485 secs 12128 markings/sec, 3490 secs 11235 markings/sec, 3495 secs 11070 markings/sec, 3500 secs 11283 markings/sec, 3505 secs 11362 markings/sec, 3510 secs 11536 markings/sec, 3515 secs 11816 markings/sec, 3520 secs 11556 markings/sec, 3525 secs 12063 markings/sec, 3530 secs 12244 markings/sec, 3535 secs 11528 markings/sec, 3540 secs 10854 markings/sec, 3545 secs 10555 markings/sec, 3550 secs 10556 markings/sec, 3555 secs 10281 markings/sec, 3560 secs

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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