MCC'2019 - Execution of r137-smll-155284909300057

About the Execution of LoLA for Raft-PT-08

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
11276.300	3571016.00	7262574.00	8375.00	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r137-smll-155284909300057.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-08, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r137-smll-155284909300057
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.0K Feb 12 11:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 12 11:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 8 14:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 8 14:06 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.4K Feb 5 00:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 11:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 1 11:19 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 156K 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-08-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552919945392

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

{
"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 14:39:05 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 11319652,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 2163,
"conflict_clusters": 21,
"places": 328,
"places_significant": 264,
"singleton_clusters": 0,
"transitions": 568
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 40320.000000,
"composed": 82,
"dead_branches": 0,
"generators": 90,
"interrupted": false,
"real_computed": 8,
"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: 896/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 328
lola: finding significant places
lola: 328 places, 568 transitions, 264 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 90 generators (8 in search tree, 82 by composition)
lola: representing 40320 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 238464 fired transitions, 0 secs || 70053 markings, 989837 edges,
lola: 1 tries, 487800 fired transitions, 5 secs || 144064 markings, 2016329 edges,
lola: 1 tries, 737085 fired transitions, 10 secs || 221558 markings, 3104501 edges,
lola: 1 tries, 986417 fired transitions, 15 secs || 293605 markings, 4130409 edges,
lola: 2 tries, 1234995 fired transitions, 20 secs || 359975 markings, 5142291 edges,
lola: 2 tries, 1475651 fired transitions, 25 secs || 417114 markings, 6101090 edges,
lola: 2 tries, 1716409 fired transitions, 30 secs || 473893 markings, 7058097 edges,
lola: 2 tries, 1957149 fired transitions, 35 secs || 530931 markings, 8016572 edges,
lola: 3 tries, 2197939 fired transitions, 40 secs || 588165 markings, 8981328 edges,
lola: 3 tries, 2438773 fired transitions, 45 secs || 645410 markings, 9940276 edges,
lola: 3 tries, 2683363 fired transitions, 50 secs || 704068 markings, 10933246 edges,
lola: 3 tries, 2932895 fired transitions, 55 secs || 765835 markings, 11966776 edges,
lola: 4 tries, 3182505 fired transitions, 60 secs || 826628 markings, 12993061 edges,
lola: 4 tries, 3432173 fired transitions, 65 secs || 887221 markings, 14017439 edges,
lola: 4 tries, 3681943 fired transitions, 70 secs || 948155 markings, 15046255 edges,
lola: 4 tries, 3931605 fired transitions, 75 secs || 1010324 markings, 16084955 edges,
lola: 5 tries, 4180677 fired transitions, 80 secs || 1071120 markings, 17114460 edges,
lola: 5 tries, 4421517 fired transitions, 85 secs || 1128310 markings, 18073914 edges,
lola: 5 tries, 4651959 fired transitions, 90 secs || 1185380 markings, 19031605 edges,
lola: 5 tries, 4892389 fired transitions, 95 secs || 1242197 markings, 19988910 edges,
lola: 6 tries, 5132715 fired transitions, 100 secs || 1298888 markings, 20940631 edges,
lola: 6 tries, 5372945 fired transitions, 105 secs || 1355272 markings, 21896245 edges,
lola: 6 tries, 5613363 fired transitions, 110 secs || 1411870 markings, 22854179 edges,
lola: 6 tries, 5853715 fired transitions, 115 secs || 1468259 markings, 23810511 edges,
lola: 7 tries, 6083817 fired transitions, 120 secs || 1525324 markings, 24764121 edges,
lola: 7 tries, 6324493 fired transitions, 125 secs || 1581653 markings, 25718240 edges,
lola: 7 tries, 6565289 fired transitions, 130 secs || 1638308 markings, 26675432 edges,
lola: 7 tries, 6805957 fired transitions, 135 secs || 1694686 markings, 27624580 edges,
lola: 8 tries, 7046735 fired transitions, 140 secs || 1751845 markings, 28578230 edges,
lola: 8 tries, 7263509 fired transitions, 145 secs || 1809245 markings, 29540885 edges,
lola: 8 tries, 7499217 fired transitions, 150 secs || 1865289 markings, 30498239 edges,
lola: 8 tries, 7740177 fired transitions, 155 secs || 1921197 markings, 31446699 edges,
lola: 8 tries, 7981091 fired transitions, 160 secs || 1977469 markings, 32399457 edges,
lola: 9 tries, 8222042 fired transitions, 165 secs || 2033935 markings, 33355626 edges,
lola: 9 tries, 8463109 fired transitions, 170 secs || 2089772 markings, 34306846 edges,
lola: 9 tries, 8693420 fired transitions, 175 secs || 2145810 markings, 35258566 edges,
lola: 9 tries, 8935806 fired transitions, 180 secs || 2203101 markings, 36222327 edges,
lola: 10 tries, 9185017 fired transitions, 185 secs || 2263979 markings, 37247709 edges,
lola: 10 tries, 9434653 fired transitions, 190 secs || 2324366 markings, 38272159 edges,
lola: 10 tries, 9684113 fired transitions, 195 secs || 2384957 markings, 39292270 edges,
lola: 10 tries, 9933477 fired transitions, 200 secs || 2444850 markings, 40304307 edges,
lola: 11 tries, 10182391 fired transitions, 205 secs || 2505236 markings, 41321601 edges,
lola: 11 tries, 10432079 fired transitions, 210 secs || 2565639 markings, 42342566 edges,
lola: 11 tries, 10682145 fired transitions, 215 secs || 2626395 markings, 43363798 edges,
lola: 11 tries, 10932243 fired transitions, 220 secs || 2686365 markings, 44378196 edges,
lola: 12 tries, 11182305 fired transitions, 225 secs || 2746448 markings, 45395242 edges,
lola: 12 tries, 11432419 fired transitions, 230 secs || 2806757 markings, 46413342 edges,
lola: 12 tries, 11682421 fired transitions, 235 secs || 2866345 markings, 47415213 edges,
lola: 12 tries, 11932495 fired transitions, 240 secs || 2926835 markings, 48433883 edges,
lola: 13 tries, 12182339 fired transitions, 245 secs || 2993934 markings, 49561159 edges,
lola: 13 tries, 12432225 fired transitions, 250 secs || 3057709 markings, 50628730 edges,
lola: 13 tries, 12682275 fired transitions, 255 secs || 3118948 markings, 51660110 edges,
lola: 13 tries, 12932101 fired transitions, 260 secs || 3179743 markings, 52680559 edges,
lola: 14 tries, 13182573 fired transitions, 265 secs || 3240740 markings, 53700310 edges,
lola: 14 tries, 13427723 fired transitions, 270 secs || 3298995 markings, 54679820 edges,
lola: 14 tries, 13668659 fired transitions, 275 secs || 3354848 markings, 55617214 edges,
lola: 14 tries, 13917872 fired transitions, 280 secs || 3414354 markings, 56622469 edges,
lola: 15 tries, 14167543 fired transitions, 285 secs || 3478165 markings, 57678980 edges,
lola: 15 tries, 14417365 fired transitions, 290 secs || 3538764 markings, 58702106 edges,
lola: 15 tries, 14660985 fired transitions, 295 secs || 3596106 markings, 59670723 edges,
lola: 15 tries, 14901771 fired transitions, 300 secs || 3653312 markings, 60632959 edges,
lola: 16 tries, 15142501 fired transitions, 305 secs || 3710089 markings, 61600868 edges,
lola: 16 tries, 15373059 fired transitions, 310 secs || 3766524 markings, 62552444 edges,
lola: 16 tries, 15613669 fired transitions, 315 secs || 3822646 markings, 63500173 edges,
lola: 16 tries, 15854367 fired transitions, 320 secs || 3878285 markings, 64439850 edges,
lola: 17 tries, 16095177 fired transitions, 325 secs || 3934337 markings, 65389325 edges,
lola: 17 tries, 16335699 fired transitions, 330 secs || 3990620 markings, 66340990 edges,
lola: 17 tries, 16576339 fired transitions, 335 secs || 4046583 markings, 67289064 edges,
lola: 17 tries, 16824393 fired transitions, 340 secs || 4106252 markings, 68296390 edges,
lola: 18 tries, 17073651 fired transitions, 345 secs || 4166225 markings, 69313876 edges,
lola: 18 tries, 17322859 fired transitions, 350 secs || 4226164 markings, 70323603 edges,
lola: 18 tries, 17572245 fired transitions, 355 secs || 4288626 markings, 71367825 edges,
lola: 18 tries, 17821945 fired transitions, 360 secs || 4348551 markings, 72384057 edges,
lola: 19 tries, 18071588 fired transitions, 365 secs || 4408442 markings, 73401460 edges,
lola: 19 tries, 18321659 fired transitions, 370 secs || 4468518 markings, 74418686 edges,
lola: 19 tries, 18571492 fired transitions, 375 secs || 4529078 markings, 75441450 edges,
lola: 19 tries, 18821353 fired transitions, 380 secs || 4589223 markings, 76459189 edges,
lola: 20 tries, 19071523 fired transitions, 385 secs || 4649438 markings, 77478008 edges,
lola: 20 tries, 19321395 fired transitions, 390 secs || 4709977 markings, 78494578 edges,
lola: 20 tries, 19571517 fired transitions, 395 secs || 4769988 markings, 79511083 edges,
lola: 20 tries, 19821357 fired transitions, 400 secs || 4829936 markings, 80522776 edges,
lola: 21 tries, 20071467 fired transitions, 405 secs || 4890055 markings, 81531092 edges,
lola: 21 tries, 20321405 fired transitions, 410 secs || 4949964 markings, 82540826 edges,
lola: 21 tries, 20571497 fired transitions, 415 secs || 5009926 markings, 83556579 edges,
lola: 21 tries, 20821565 fired transitions, 420 secs || 5070417 markings, 84576986 edges,
lola: 22 tries, 21071731 fired transitions, 425 secs || 5131229 markings, 85595075 edges,
lola: 22 tries, 21321883 fired transitions, 430 secs || 5191095 markings, 86611111 edges,
lola: 22 tries, 21571519 fired transitions, 435 secs || 5257426 markings, 87721541 edges,
lola: 22 tries, 21821311 fired transitions, 440 secs || 5317251 markings, 88736933 edges,
lola: 23 tries, 22071205 fired transitions, 445 secs || 5377261 markings, 89752687 edges,
lola: 23 tries, 22321209 fired transitions, 450 secs || 5436951 markings, 90762818 edges,
lola: 23 tries, 22571201 fired transitions, 455 secs || 5496512 markings, 91775827 edges,
lola: 23 tries, 22821221 fired transitions, 460 secs || 5555990 markings, 92786929 edges,
lola: 24 tries, 23071295 fired transitions, 465 secs || 5615693 markings, 93792826 edges,
lola: 24 tries, 23321345 fired transitions, 470 secs || 5675784 markings, 94806493 edges,
lola: 24 tries, 23571363 fired transitions, 475 secs || 5736367 markings, 95824050 edges,
lola: 24 tries, 23821095 fired transitions, 480 secs || 5796099 markings, 96834201 edges,
lola: 25 tries, 24071251 fired transitions, 485 secs || 5855610 markings, 97837466 edges,
lola: 25 tries, 24321151 fired transitions, 490 secs || 5915278 markings, 98839154 edges,
lola: 25 tries, 24571229 fired transitions, 495 secs || 5974874 markings, 99851713 edges,
lola: 25 tries, 24821277 fired transitions, 500 secs || 6034382 markings, 100857882 edges,
lola: 26 tries, 25070297 fired transitions, 505 secs || 6093256 markings, 101852096 edges,
lola: 26 tries, 25320245 fired transitions, 510 secs || 6154020 markings, 102871475 edges,
lola: 26 tries, 25569949 fired transitions, 515 secs || 6214233 markings, 103884574 edges,
lola: 26 tries, 25819725 fired transitions, 520 secs || 6274688 markings, 104901246 edges,
lola: 27 tries, 26069501 fired transitions, 525 secs || 6334487 markings, 105916167 edges,
lola: 27 tries, 26319227 fired transitions, 530 secs || 6395419 markings, 106925878 edges,
lola: 27 tries, 26569107 fired transitions, 535 secs || 6454920 markings, 107934531 edges,
lola: 27 tries, 26818769 fired transitions, 540 secs || 6514841 markings, 108937927 edges,
lola: 28 tries, 27068351 fired transitions, 545 secs || 6575086 markings, 109956344 edges,
lola: 28 tries, 27318269 fired transitions, 550 secs || 6636054 markings, 110976974 edges,
lola: 28 tries, 27568103 fired transitions, 555 secs || 6695758 markings, 111987531 edges,
lola: 28 tries, 27817887 fired transitions, 560 secs || 6755869 markings, 112993570 edges,
lola: 29 tries, 28067857 fired transitions, 565 secs || 6815397 markings, 114000712 edges,
lola: 29 tries, 28317859 fired transitions, 570 secs || 6875731 markings, 115021479 edges,
lola: 29 tries, 28567651 fired transitions, 575 secs || 6935232 markings, 116021037 edges,
lola: 29 tries, 28817843 fired transitions, 580 secs || 6994014 markings, 117010275 edges,
lola: 30 tries, 29067737 fired transitions, 585 secs || 7053876 markings, 118021304 edges,
lola: 30 tries, 29317599 fired transitions, 590 secs || 7114038 markings, 119033423 edges,
lola: 30 tries, 29567509 fired transitions, 595 secs || 7174590 markings, 120051953 edges,
lola: 30 tries, 29817431 fired transitions, 600 secs || 7235342 markings, 121070566 edges,
lola: 31 tries, 30067549 fired transitions, 605 secs || 7296821 markings, 122099838 edges,
lola: 31 tries, 30317599 fired transitions, 610 secs || 7357395 markings, 123123927 edges,
lola: 31 tries, 30567577 fired transitions, 615 secs || 7418128 markings, 124141823 edges,
lola: 31 tries, 30817779 fired transitions, 620 secs || 7477533 markings, 125147930 edges,
lola: 32 tries, 31067593 fired transitions, 625 secs || 7538289 markings, 126171178 edges,
lola: 32 tries, 31317451 fired transitions, 630 secs || 7598971 markings, 127191889 edges,
lola: 32 tries, 31567255 fired transitions, 635 secs || 7658083 markings, 128195006 edges,
lola: 32 tries, 31816985 fired transitions, 640 secs || 7718760 markings, 129212634 edges,
lola: 33 tries, 32066927 fired transitions, 645 secs || 7778973 markings, 130234305 edges,
lola: 33 tries, 32316778 fired transitions, 650 secs || 7840044 markings, 131255481 edges,
lola: 33 tries, 32566649 fired transitions, 655 secs || 7900172 markings, 132264236 edges,
lola: 33 tries, 32816453 fired transitions, 660 secs || 7964055 markings, 133340207 edges,
lola: 34 tries, 33066643 fired transitions, 665 secs || 8025266 markings, 134375357 edges,
lola: 34 tries, 33316957 fired transitions, 670 secs || 8085647 markings, 135392818 edges,
lola: 34 tries, 33567201 fired transitions, 675 secs || 8145835 markings, 136409088 edges,
lola: 34 tries, 33817425 fired transitions, 680 secs || 8206368 markings, 137425365 edges,
lola: 35 tries, 34067441 fired transitions, 685 secs || 8266559 markings, 138440140 edges,
lola: 35 tries, 34317321 fired transitions, 690 secs || 8326532 markings, 139447238 edges,
lola: 35 tries, 34566992 fired transitions, 695 secs || 8387180 markings, 140461591 edges,
lola: 35 tries, 34816773 fired transitions, 700 secs || 8447398 markings, 141479291 edges,
lola: 36 tries, 35066625 fired transitions, 705 secs || 8508294 markings, 142506107 edges,
lola: 36 tries, 35316483 fired transitions, 710 secs || 8568553 markings, 143523292 edges,
lola: 36 tries, 35566229 fired transitions, 715 secs || 8628729 markings, 144539355 edges,
lola: 36 tries, 35816383 fired transitions, 720 secs || 8688952 markings, 145554778 edges,
lola: 37 tries, 36066491 fired transitions, 725 secs || 8749306 markings, 146573610 edges,
lola: 37 tries, 36316525 fired transitions, 730 secs || 8809547 markings, 147584871 edges,
lola: 37 tries, 36566417 fired transitions, 735 secs || 8870159 markings, 148595642 edges,
lola: 37 tries, 36816139 fired transitions, 740 secs || 8930098 markings, 149611207 edges,
lola: 38 tries, 37065929 fired transitions, 745 secs || 8990918 markings, 150621811 edges,
lola: 38 tries, 37315715 fired transitions, 750 secs || 9050905 markings, 151630801 edges,
lola: 38 tries, 37565530 fired transitions, 755 secs || 9110952 markings, 152638198 edges,
lola: 38 tries, 37815253 fired transitions, 760 secs || 9170791 markings, 153651093 edges,
lola: 39 tries, 38065049 fired transitions, 765 secs || 9230863 markings, 154667096 edges,
lola: 39 tries, 38314805 fired transitions, 770 secs || 9291132 markings, 155687305 edges,
lola: 39 tries, 38564687 fired transitions, 775 secs || 9352821 markings, 156725139 edges,
lola: 39 tries, 38814359 fired transitions, 780 secs || 9415802 markings, 157786327 edges,
lola: 40 tries, 39064199 fired transitions, 785 secs || 9476168 markings, 158807148 edges,
lola: 40 tries, 39314208 fired transitions, 790 secs || 9536421 markings, 159819242 edges,
lola: 40 tries, 39564280 fired transitions, 795 secs || 9596561 markings, 160836269 edges,
lola: 40 tries, 39814310 fired transitions, 800 secs || 9657021 markings, 161846494 edges,
lola: 41 tries, 40063293 fired transitions, 805 secs || 9716706 markings, 162851142 edges,
lola: 41 tries, 40313335 fired transitions, 810 secs || 9776398 markings, 163858041 edges,
lola: 41 tries, 40563502 fired transitions, 815 secs || 9835372 markings, 164861173 edges,
lola: 41 tries, 40813347 fired transitions, 820 secs || 9895486 markings, 165872750 edges,
lola: 42 tries, 41063313 fired transitions, 825 secs || 9955883 markings, 166893290 edges,
lola: 42 tries, 41313021 fired transitions, 830 secs || 10015791 markings, 167903988 edges,
lola: 42 tries, 41562997 fired transitions, 835 secs || 10076328 markings, 168926408 edges,
lola: 42 tries, 41812859 fired transitions, 840 secs || 10137420 markings, 169951777 edges,
lola: 43 tries, 42062647 fired transitions, 845 secs || 10199922 markings, 171005879 edges,
lola: 43 tries, 42312449 fired transitions, 850 secs || 10259927 markings, 172017368 edges,
lola: 43 tries, 42562299 fired transitions, 855 secs || 10320061 markings, 173034370 edges,
lola: 43 tries, 42812173 fired transitions, 860 secs || 10380390 markings, 174050160 edges,
lola: 44 tries, 43062009 fired transitions, 865 secs || 10440479 markings, 175067884 edges,
lola: 44 tries, 43311861 fired transitions, 870 secs || 10503986 markings, 176140958 edges,
lola: 44 tries, 43561529 fired transitions, 875 secs || 10564644 markings, 177169018 edges,
lola: 44 tries, 43811353 fired transitions, 880 secs || 10623879 markings, 178166522 edges,
lola: 45 tries, 44060895 fired transitions, 885 secs || 10683409 markings, 179165212 edges,
lola: 45 tries, 44310837 fired transitions, 890 secs || 10743786 markings, 180178028 edges,
lola: 45 tries, 44560629 fired transitions, 895 secs || 10803696 markings, 181191960 edges,
lola: 45 tries, 44810459 fired transitions, 900 secs || 10863900 markings, 182202945 edges,
lola: 46 tries, 45060875 fired transitions, 905 secs || 10923615 markings, 183208737 edges,
lola: 46 tries, 45310553 fired transitions, 910 secs || 10982784 markings, 184205246 edges,
lola: 46 tries, 45560469 fired transitions, 915 secs || 11042163 markings, 185212364 edges,
lola: 46 tries, 45810311 fired transitions, 920 secs || 11101865 markings, 186217347 edges,
lola: 47 tries, 46060003 fired transitions, 925 secs || 11161234 markings, 187226604 edges,
lola: 47 tries, 46309659 fired transitions, 930 secs || 11221540 markings, 188244850 edges,
lola: 47 tries, 46559283 fired transitions, 935 secs || 11281291 markings, 189250634 edges,
lola: 47 tries, 46808999 fired transitions, 940 secs || 11340274 markings, 190250561 edges,
lola: 48 tries, 47058638 fired transitions, 945 secs || 11399284 markings, 191251521 edges,
lola: 48 tries, 47310569 fired transitions, 950 secs || 11457916 markings, 192241763 edges,
lola: 48 tries, 47562905 fired transitions, 955 secs || 11516568 markings, 193225091 edges,
lola: 48 tries, 47815311 fired transitions, 960 secs || 11575205 markings, 194219495 edges,
lola: 49 tries, 48067729 fired transitions, 965 secs || 11633687 markings, 195211576 edges,
lola: 49 tries, 48319989 fired transitions, 970 secs || 11692141 markings, 196201951 edges,
lola: 49 tries, 48571947 fired transitions, 975 secs || 11751071 markings, 197185410 edges,
lola: 49 tries, 48824119 fired transitions, 980 secs || 11809620 markings, 198170474 edges,
lola: 50 tries, 49076063 fired transitions, 985 secs || 11869711 markings, 199176376 edges,
lola: 50 tries, 49328377 fired transitions, 990 secs || 11928955 markings, 200179959 edges,
lola: 50 tries, 49580457 fired transitions, 995 secs || 11988353 markings, 201184126 edges,
lola: 50 tries, 49827239 fired transitions, 1000 secs || 12038389 markings, 202031436 edges,
lola: 51 tries, 50074191 fired transitions, 1005 secs || 12094325 markings, 202976215 edges,
lola: 51 tries, 50326530 fired transitions, 1010 secs || 12153199 markings, 203967020 edges,
lola: 51 tries, 50578462 fired transitions, 1015 secs || 12213445 markings, 204972243 edges,
lola: 51 tries, 50830737 fired transitions, 1020 secs || 12273716 markings, 205971223 edges,
lola: 52 tries, 51083075 fired transitions, 1025 secs || 12333311 markings, 206977352 edges,
lola: 52 tries, 51335305 fired transitions, 1030 secs || 12392682 markings, 207977455 edges,
lola: 52 tries, 51587801 fired transitions, 1035 secs || 12451728 markings, 208977570 edges,
lola: 52 tries, 51839907 fired transitions, 1040 secs || 12510525 markings, 209971366 edges,
lola: 53 tries, 52092089 fired transitions, 1045 secs || 12569936 markings, 210972486 edges,
lola: 53 tries, 52344213 fired transitions, 1050 secs || 12629835 markings, 211977504 edges,
lola: 53 tries, 52596203 fired transitions, 1055 secs || 12689386 markings, 212979558 edges,
lola: 53 tries, 52848210 fired transitions, 1060 secs || 12748472 markings, 213981958 edges,
lola: 54 tries, 53100194 fired transitions, 1065 secs || 12807379 markings, 214982537 edges,
lola: 54 tries, 53352153 fired transitions, 1070 secs || 12866222 markings, 215977950 edges,
lola: 54 tries, 53603525 fired transitions, 1075 secs || 12925520 markings, 216979336 edges,
lola: 54 tries, 53855509 fired transitions, 1080 secs || 12985538 markings, 217986176 edges,
lola: 55 tries, 54108061 fired transitions, 1085 secs || 13045449 markings, 218988053 edges,
lola: 55 tries, 54360639 fired transitions, 1090 secs || 13105232 markings, 219989148 edges,
lola: 55 tries, 54612337 fired transitions, 1095 secs || 13166909 markings, 221023908 edges,
lola: 55 tries, 54864427 fired transitions, 1100 secs || 13227754 markings, 222042721 edges,
lola: 56 tries, 55109327 fired transitions, 1105 secs || 13285722 markings, 223019556 edges,
lola: 56 tries, 55353368 fired transitions, 1110 secs || 13344106 markings, 223999122 edges,
lola: 56 tries, 55596051 fired transitions, 1115 secs || 13401566 markings, 224969324 edges,
lola: 56 tries, 55838724 fired transitions, 1120 secs || 13459192 markings, 225935620 edges,
lola: 57 tries, 56078545 fired transitions, 1125 secs || 13516489 markings, 226894284 edges,
lola: 57 tries, 56318621 fired transitions, 1130 secs || 13573057 markings, 227850993 edges,
lola: 57 tries, 56558567 fired transitions, 1135 secs || 13630534 markings, 228815434 edges,
lola: 57 tries, 56797917 fired transitions, 1140 secs || 13687065 markings, 229773516 edges,
lola: 58 tries, 57038161 fired transitions, 1145 secs || 13744687 markings, 230738691 edges,
lola: 58 tries, 57278117 fired transitions, 1150 secs || 13801198 markings, 231700670 edges,
lola: 58 tries, 57517937 fired transitions, 1155 secs || 13857835 markings, 232662196 edges,
lola: 58 tries, 57757395 fired transitions, 1160 secs || 13914393 markings, 233615338 edges,
lola: 58 tries, 57996741 fired transitions, 1165 secs || 13970771 markings, 234568621 edges,
lola: 59 tries, 58236229 fired transitions, 1170 secs || 14027604 markings, 235524115 edges,
lola: 59 tries, 58475891 fired transitions, 1175 secs || 14084431 markings, 236479488 edges,
lola: 59 tries, 58715533 fired transitions, 1180 secs || 14140723 markings, 237427217 edges,
lola: 59 tries, 58955175 fired transitions, 1185 secs || 14197649 markings, 238387356 edges,
lola: 60 tries, 59194869 fired transitions, 1190 secs || 14253831 markings, 239341667 edges,
lola: 60 tries, 59434339 fired transitions, 1195 secs || 14311054 markings, 240306870 edges,
lola: 60 tries, 59673589 fired transitions, 1200 secs || 14366886 markings, 241251220 edges,
lola: 60 tries, 59912593 fired transitions, 1205 secs || 14423589 markings, 242210259 edges,
lola: 61 tries, 60151437 fired transitions, 1210 secs || 14484396 markings, 243242021 edges,
lola: 61 tries, 60390635 fired transitions, 1215 secs || 14540342 markings, 244191046 edges,
lola: 61 tries, 60629965 fired transitions, 1220 secs || 14596399 markings, 245144307 edges,
lola: 61 tries, 60869467 fired transitions, 1225 secs || 14653965 markings, 246105915 edges,
lola: 62 tries, 61109133 fired transitions, 1230 secs || 14711049 markings, 247065686 edges,
lola: 62 tries, 61348713 fired transitions, 1235 secs || 14768413 markings, 248025872 edges,
lola: 62 tries, 61588201 fired transitions, 1240 secs || 14825556 markings, 248989274 edges,
lola: 62 tries, 61827301 fired transitions, 1245 secs || 14882620 markings, 249949882 edges,
lola: 63 tries, 62066372 fired transitions, 1250 secs || 14939606 markings, 250912337 edges,
lola: 63 tries, 62305573 fired transitions, 1255 secs || 14996254 markings, 251873686 edges,
lola: 63 tries, 62544695 fired transitions, 1260 secs || 15052880 markings, 252833174 edges,
lola: 63 tries, 62784305 fired transitions, 1265 secs || 15109375 markings, 253792889 edges,
lola: 64 tries, 63023835 fired transitions, 1270 secs || 15166049 markings, 254746459 edges,
lola: 64 tries, 63263629 fired transitions, 1275 secs || 15223338 markings, 255710769 edges,
lola: 64 tries, 63503673 fired transitions, 1280 secs || 15280124 markings, 256671497 edges,
lola: 64 tries, 63743585 fired transitions, 1285 secs || 15337113 markings, 257640051 edges,
lola: 64 tries, 63983405 fired transitions, 1290 secs || 15393879 markings, 258596609 edges,
lola: 65 tries, 64223371 fired transitions, 1295 secs || 15451117 markings, 259558901 edges,
lola: 65 tries, 64462800 fired transitions, 1300 secs || 15507465 markings, 260509884 edges,
lola: 65 tries, 64702199 fired transitions, 1305 secs || 15564376 markings, 261461049 edges,
lola: 65 tries, 64941947 fired transitions, 1310 secs || 15621138 markings, 262415805 edges,
lola: 66 tries, 65181543 fired transitions, 1315 secs || 15677658 markings, 263367947 edges,
lola: 66 tries, 65420993 fired transitions, 1320 secs || 15734640 markings, 264331708 edges,
lola: 66 tries, 65660463 fired transitions, 1325 secs || 15791536 markings, 265289031 edges,
lola: 66 tries, 65899831 fired transitions, 1330 secs || 15848403 markings, 266243598 edges,
lola: 67 tries, 66138889 fired transitions, 1335 secs || 15904900 markings, 267195878 edges,
lola: 67 tries, 66377939 fired transitions, 1340 secs || 15961987 markings, 268156977 edges,
lola: 67 tries, 66616867 fired transitions, 1345 secs || 16018648 markings, 269114150 edges,
lola: 67 tries, 66856103 fired transitions, 1350 secs || 16075977 markings, 270069178 edges,
lola: 68 tries, 67095027 fired transitions, 1355 secs || 16132436 markings, 271014696 edges,
lola: 68 tries, 67334513 fired transitions, 1360 secs || 16189551 markings, 271975929 edges,
lola: 68 tries, 67573601 fired transitions, 1365 secs || 16246735 markings, 272937199 edges,
lola: 68 tries, 67812855 fired transitions, 1370 secs || 16304186 markings, 273903143 edges,
lola: 69 tries, 68052169 fired transitions, 1375 secs || 16361018 markings, 274854459 edges,
lola: 69 tries, 68291491 fired transitions, 1380 secs || 16417096 markings, 275805527 edges,
lola: 69 tries, 68530793 fired transitions, 1385 secs || 16473982 markings, 276767477 edges,
lola: 69 tries, 68770113 fired transitions, 1390 secs || 16530054 markings, 277718279 edges,
lola: 70 tries, 69009483 fired transitions, 1395 secs || 16585991 markings, 278667548 edges,
lola: 70 tries, 69248561 fired transitions, 1400 secs || 16643088 markings, 279626884 edges,
lola: 70 tries, 69486475 fired transitions, 1405 secs || 16700132 markings, 280584114 edges,
lola: 70 tries, 69725407 fired transitions, 1410 secs || 16757571 markings, 281549773 edges,
lola: 70 tries, 69964337 fired transitions, 1415 secs || 16813921 markings, 282504331 edges,
lola: 71 tries, 70203457 fired transitions, 1420 secs || 16870878 markings, 283462006 edges,
lola: 71 tries, 70442929 fired transitions, 1425 secs || 16927256 markings, 284415622 edges,
lola: 71 tries, 70682104 fired transitions, 1430 secs || 16984615 markings, 285387218 edges,
lola: 71 tries, 70921301 fired transitions, 1435 secs || 17041566 markings, 286352909 edges,
lola: 72 tries, 71160405 fired transitions, 1440 secs || 17097787 markings, 287301949 edges,
lola: 72 tries, 71399539 fired transitions, 1445 secs || 17153613 markings, 288248787 edges,
lola: 72 tries, 71639147 fired transitions, 1450 secs || 17210039 markings, 289202532 edges,
lola: 72 tries, 71877799 fired transitions, 1455 secs || 17266125 markings, 290155636 edges,
lola: 73 tries, 72116895 fired transitions, 1460 secs || 17322873 markings, 291122270 edges,
lola: 73 tries, 72356109 fired transitions, 1465 secs || 17379656 markings, 292081674 edges,
lola: 73 tries, 72595094 fired transitions, 1470 secs || 17435454 markings, 293026805 edges,
lola: 73 tries, 72834093 fired transitions, 1475 secs || 17492552 markings, 293984749 edges,
lola: 74 tries, 73073089 fired transitions, 1480 secs || 17553353 markings, 294998867 edges,
lola: 74 tries, 73312031 fired transitions, 1485 secs || 17610020 markings, 295947521 edges,
lola: 74 tries, 73551039 fired transitions, 1490 secs || 17666116 markings, 296888063 edges,
lola: 74 tries, 73790637 fired transitions, 1495 secs || 17723485 markings, 297847638 edges,
lola: 75 tries, 74029950 fired transitions, 1500 secs || 17779864 markings, 298797729 edges,
lola: 75 tries, 74269531 fired transitions, 1505 secs || 17836576 markings, 299753111 edges,
lola: 75 tries, 74508621 fired transitions, 1510 secs || 17893323 markings, 300711830 edges,
lola: 75 tries, 74747721 fired transitions, 1515 secs || 17949688 markings, 301665235 edges,
lola: 75 tries, 74986715 fired transitions, 1520 secs || 18006439 markings, 302623413 edges,
lola: 76 tries, 75225905 fired transitions, 1525 secs || 18062521 markings, 303570368 edges,
lola: 76 tries, 75464985 fired transitions, 1530 secs || 18118905 markings, 304521838 edges,
lola: 76 tries, 75704241 fired transitions, 1535 secs || 18175318 markings, 305476822 edges,
lola: 76 tries, 75943633 fired transitions, 1540 secs || 18231835 markings, 306426462 edges,
lola: 77 tries, 76182999 fired transitions, 1545 secs || 18288161 markings, 307372443 edges,
lola: 77 tries, 76421829 fired transitions, 1550 secs || 18344447 markings, 308319771 edges,
lola: 77 tries, 76660611 fired transitions, 1555 secs || 18399999 markings, 309265054 edges,
lola: 77 tries, 76899622 fired transitions, 1560 secs || 18455691 markings, 310212020 edges,
lola: 78 tries, 77138627 fired transitions, 1565 secs || 18511655 markings, 311158041 edges,
lola: 78 tries, 77377315 fired transitions, 1570 secs || 18568158 markings, 312102509 edges,
lola: 78 tries, 77616439 fired transitions, 1575 secs || 18624514 markings, 313046942 edges,
lola: 78 tries, 77855413 fired transitions, 1580 secs || 18679859 markings, 313985225 edges,
lola: 79 tries, 78094127 fired transitions, 1585 secs || 18735926 markings, 314926722 edges,
lola: 79 tries, 78333177 fired transitions, 1590 secs || 18791962 markings, 315877025 edges,
lola: 79 tries, 78572315 fired transitions, 1595 secs || 18847900 markings, 316828452 edges,
lola: 79 tries, 78811203 fired transitions, 1600 secs || 18904489 markings, 317780965 edges,
lola: 80 tries, 79050125 fired transitions, 1605 secs || 18960466 markings, 318733803 edges,
lola: 80 tries, 79289119 fired transitions, 1610 secs || 19017433 markings, 319693353 edges,
lola: 80 tries, 79527953 fired transitions, 1615 secs || 19073823 markings, 320654547 edges,
lola: 80 tries, 79766885 fired transitions, 1620 secs || 19130558 markings, 321612753 edges,
lola: 81 tries, 80006033 fired transitions, 1625 secs || 19187162 markings, 322571421 edges,
lola: 81 tries, 80245430 fired transitions, 1630 secs || 19244368 markings, 323532779 edges,
lola: 81 tries, 80484517 fired transitions, 1635 secs || 19307636 markings, 324591404 edges,
lola: 81 tries, 80724057 fired transitions, 1640 secs || 19365467 markings, 325557081 edges,
lola: 81 tries, 80963371 fired transitions, 1645 secs || 19422439 markings, 326518354 edges,
lola: 82 tries, 81202901 fired transitions, 1650 secs || 19478718 markings, 327463498 edges,
lola: 82 tries, 81441955 fired transitions, 1655 secs || 19536037 markings, 328426119 edges,
lola: 82 tries, 81680977 fired transitions, 1660 secs || 19592682 markings, 329381132 edges,
lola: 82 tries, 81920269 fired transitions, 1665 secs || 19650279 markings, 330343731 edges,
lola: 83 tries, 82159377 fired transitions, 1670 secs || 19706899 markings, 331301187 edges,
lola: 83 tries, 82397930 fired transitions, 1675 secs || 19764561 markings, 332277803 edges,
lola: 83 tries, 82636634 fired transitions, 1680 secs || 19827798 markings, 333341724 edges,
lola: 83 tries, 82876047 fired transitions, 1685 secs || 19884883 markings, 334304756 edges,
lola: 84 tries, 83115375 fired transitions, 1690 secs || 19941980 markings, 335268245 edges,
lola: 84 tries, 83354637 fired transitions, 1695 secs || 19999292 markings, 336229333 edges,
lola: 84 tries, 83593887 fired transitions, 1700 secs || 20056094 markings, 337191195 edges,
lola: 84 tries, 83832091 fired transitions, 1705 secs || 20112669 markings, 338149215 edges,
lola: 85 tries, 84071649 fired transitions, 1710 secs || 20169195 markings, 339108166 edges,
lola: 85 tries, 84310953 fired transitions, 1715 secs || 20225674 markings, 340064573 edges,
lola: 85 tries, 84550344 fired transitions, 1720 secs || 20282040 markings, 341016306 edges,
lola: 85 tries, 84789119 fired transitions, 1725 secs || 20338952 markings, 341968697 edges,
lola: 86 tries, 85028271 fired transitions, 1730 secs || 20395619 markings, 342922973 edges,
lola: 86 tries, 85267693 fired transitions, 1735 secs || 20452311 markings, 343887307 edges,
lola: 86 tries, 85506911 fired transitions, 1740 secs || 20509079 markings, 344846033 edges,
lola: 86 tries, 85746183 fired transitions, 1745 secs || 20565207 markings, 345790683 edges,
lola: 86 tries, 85985577 fired transitions, 1750 secs || 20622579 markings, 346763544 edges,
lola: 87 tries, 86225011 fired transitions, 1755 secs || 20680061 markings, 347729085 edges,
lola: 87 tries, 86464563 fired transitions, 1760 secs || 20737107 markings, 348693117 edges,
lola: 87 tries, 86703695 fired transitions, 1765 secs || 20793655 markings, 349649040 edges,
lola: 87 tries, 86943157 fired transitions, 1770 secs || 20850948 markings, 350615532 edges,
lola: 88 tries, 87182431 fired transitions, 1775 secs || 20907819 markings, 351578036 edges,
lola: 88 tries, 87421723 fired transitions, 1780 secs || 20965410 markings, 352548548 edges,
lola: 88 tries, 87660811 fired transitions, 1785 secs || 21022294 markings, 353514855 edges,
lola: 88 tries, 87899911 fired transitions, 1790 secs || 21078886 markings, 354477794 edges,
lola: 89 tries, 88138967 fired transitions, 1795 secs || 21135694 markings, 355436165 edges,
lola: 89 tries, 88377883 fired transitions, 1800 secs || 21192364 markings, 356393784 edges,
lola: 89 tries, 88617067 fired transitions, 1805 secs || 21249350 markings, 357349742 edges,
lola: 89 tries, 88856234 fired transitions, 1810 secs || 21306466 markings, 358308365 edges,
lola: 90 tries, 89095381 fired transitions, 1815 secs || 21362626 markings, 359259834 edges,
lola: 90 tries, 89334619 fired transitions, 1820 secs || 21419004 markings, 360212147 edges,
lola: 90 tries, 89573725 fired transitions, 1825 secs || 21475384 markings, 361165623 edges,
lola: 90 tries, 89812681 fired transitions, 1830 secs || 21531949 markings, 362119373 edges,
lola: 91 tries, 90051441 fired transitions, 1835 secs || 21587443 markings, 363063653 edges,
lola: 91 tries, 90290631 fired transitions, 1840 secs || 21644254 markings, 364015162 edges,
lola: 91 tries, 90529609 fired transitions, 1845 secs || 21700760 markings, 364970367 edges,
lola: 91 tries, 90768599 fired transitions, 1850 secs || 21758328 markings, 365935431 edges,
lola: 92 tries, 91007605 fired transitions, 1855 secs || 21815358 markings, 366894503 edges,
lola: 92 tries, 91246857 fired transitions, 1860 secs || 21872890 markings, 367858189 edges,
lola: 92 tries, 91485937 fired transitions, 1865 secs || 21930018 markings, 368824166 edges,
lola: 92 tries, 91725331 fired transitions, 1870 secs || 21987478 markings, 369789034 edges,
lola: 92 tries, 91964625 fired transitions, 1875 secs || 22044218 markings, 370755326 edges,
lola: 93 tries, 92203889 fired transitions, 1880 secs || 22101130 markings, 371715951 edges,
lola: 93 tries, 92443093 fired transitions, 1885 secs || 22158332 markings, 372682399 edges,
lola: 93 tries, 92682087 fired transitions, 1890 secs || 22215046 markings, 373640878 edges,
lola: 93 tries, 92921263 fired transitions, 1895 secs || 22272349 markings, 374603018 edges,
lola: 94 tries, 93160465 fired transitions, 1900 secs || 22328912 markings, 375559867 edges,
lola: 94 tries, 93400120 fired transitions, 1905 secs || 22385428 markings, 376516481 edges,
lola: 94 tries, 93639569 fired transitions, 1910 secs || 22442226 markings, 377479272 edges,
lola: 94 tries, 93879079 fired transitions, 1915 secs || 22498994 markings, 378437136 edges,
lola: 95 tries, 94118723 fired transitions, 1920 secs || 22555780 markings, 379396216 edges,
lola: 95 tries, 94358125 fired transitions, 1925 secs || 22611918 markings, 380349570 edges,
lola: 95 tries, 94597611 fired transitions, 1930 secs || 22667553 markings, 381298185 edges,
lola: 95 tries, 94836885 fired transitions, 1935 secs || 22723570 markings, 382245360 edges,
lola: 96 tries, 95075001 fired transitions, 1940 secs || 22779415 markings, 383189906 edges,
lola: 96 tries, 95297823 fired transitions, 1945 secs || 22831807 markings, 384068353 edges,
lola: 96 tries, 95511035 fired transitions, 1950 secs || 22881826 markings, 384918244 edges,
lola: 96 tries, 95719681 fired transitions, 1955 secs || 22931798 markings, 385759214 edges,
lola: 96 tries, 95934201 fired transitions, 1960 secs || 22982008 markings, 386611718 edges,
lola: 97 tries, 96150083 fired transitions, 1965 secs || 23033906 markings, 387477657 edges,
lola: 97 tries, 96371457 fired transitions, 1970 secs || 23090490 markings, 388434039 edges,
lola: 97 tries, 96586995 fired transitions, 1975 secs || 23142785 markings, 389317418 edges,
lola: 97 tries, 96792913 fired transitions, 1980 secs || 23197335 markings, 390239554 edges,
lola: 98 tries, 97001595 fired transitions, 1985 secs || 23248566 markings, 391102757 edges,
lola: 98 tries, 97208217 fired transitions, 1990 secs || 23298005 markings, 391924890 edges,
lola: 98 tries, 97428221 fired transitions, 1995 secs || 23349806 markings, 392789535 edges,
lola: 98 tries, 97666827 fired transitions, 2000 secs || 23405958 markings, 393739036 edges,
lola: 98 tries, 97905495 fired transitions, 2005 secs || 23462293 markings, 394692071 edges,
lola: 99 tries, 98145237 fired transitions, 2010 secs || 23519076 markings, 395651241 edges,
lola: 99 tries, 98385149 fired transitions, 2015 secs || 23576365 markings, 396621706 edges,
lola: 99 tries, 98624655 fired transitions, 2020 secs || 23633751 markings, 397588977 edges,
lola: 99 tries, 98863919 fired transitions, 2025 secs || 23690311 markings, 398543794 edges,
lola: 100 tries, 99103402 fired transitions, 2030 secs || 23746499 markings, 399482770 edges,
lola: 100 tries, 99343211 fired transitions, 2035 secs || 23802960 markings, 400433251 edges,
lola: 100 tries, 99583003 fired transitions, 2040 secs || 23859353 markings, 401392498 edges,
lola: 100 tries, 99821887 fired transitions, 2045 secs || 23920520 markings, 402422866 edges,
lola: 101 tries, 100060893 fired transitions, 2050 secs || 23978208 markings, 403394440 edges,
lola: 101 tries, 100299927 fired transitions, 2055 secs || 24034125 markings, 404343297 edges,
lola: 101 tries, 100539663 fired transitions, 2060 secs || 24091911 markings, 405318696 edges,
lola: 101 tries, 100779311 fired transitions, 2065 secs || 24148300 markings, 406274838 edges,
lola: 102 tries, 101018847 fired transitions, 2070 secs || 24204642 markings, 407229135 edges,
lola: 102 tries, 101258335 fired transitions, 2075 secs || 24262688 markings, 408195148 edges,
lola: 102 tries, 101497817 fired transitions, 2080 secs || 24319683 markings, 409150404 edges,
lola: 102 tries, 101737514 fired transitions, 2085 secs || 24376969 markings, 410114348 edges,
lola: 102 tries, 101977063 fired transitions, 2090 secs || 24433656 markings, 411072860 edges,
lola: 103 tries, 102216797 fired transitions, 2095 secs || 24490481 markings, 412029911 edges,
lola: 103 tries, 102456631 fired transitions, 2100 secs || 24548100 markings, 412990609 edges,
lola: 103 tries, 102696163 fired transitions, 2105 secs || 24604935 markings, 413947961 edges,
lola: 103 tries, 102935753 fired transitions, 2110 secs || 24661928 markings, 414910775 edges,
lola: 104 tries, 103174561 fired transitions, 2115 secs || 24718927 markings, 415869722 edges,
lola: 104 tries, 103413473 fired transitions, 2120 secs || 24775690 markings, 416825385 edges,
lola: 104 tries, 103652727 fired transitions, 2125 secs || 24833739 markings, 417796890 edges,
lola: 104 tries, 103891796 fired transitions, 2130 secs || 24890926 markings, 418763234 edges,
lola: 105 tries, 104131077 fired transitions, 2135 secs || 24947921 markings, 419730960 edges,
lola: 105 tries, 104370500 fired transitions, 2140 secs || 25004515 markings, 420692129 edges,
lola: 105 tries, 104610211 fired transitions, 2145 secs || 25061177 markings, 421653031 edges,
lola: 105 tries, 104849237 fired transitions, 2150 secs || 25118266 markings, 422609477 edges,
lola: 106 tries, 105087988 fired transitions, 2155 secs || 25175145 markings, 423567021 edges,
lola: 106 tries, 105327327 fired transitions, 2160 secs || 25232286 markings, 424527732 edges,
lola: 106 tries, 105566959 fired transitions, 2165 secs || 25288613 markings, 425478887 edges,
lola: 106 tries, 105806400 fired transitions, 2170 secs || 25344728 markings, 426425594 edges,
lola: 107 tries, 106045678 fired transitions, 2175 secs || 25400913 markings, 427377132 edges,
lola: 107 tries, 106285335 fired transitions, 2180 secs || 25457653 markings, 428333106 edges,
lola: 107 tries, 106525029 fired transitions, 2185 secs || 25514584 markings, 429291446 edges,
lola: 107 tries, 106763867 fired transitions, 2190 secs || 25570921 markings, 430245831 edges,
lola: 108 tries, 107003117 fired transitions, 2195 secs || 25627958 markings, 431203015 edges,
lola: 108 tries, 107242187 fired transitions, 2200 secs || 25685609 markings, 432170519 edges,
lola: 108 tries, 107481491 fired transitions, 2205 secs || 25742470 markings, 433128396 edges,
lola: 108 tries, 107720733 fired transitions, 2210 secs || 25799849 markings, 434085123 edges,
lola: 108 tries, 107959811 fired transitions, 2215 secs || 25856991 markings, 435041566 edges,
lola: 109 tries, 108198718 fired transitions, 2220 secs || 25917213 markings, 436049196 edges,
lola: 109 tries, 108437981 fired transitions, 2225 secs || 25980816 markings, 437124406 edges,
lola: 109 tries, 108677002 fired transitions, 2230 secs || 26044369 markings, 438196789 edges,
lola: 109 tries, 108915985 fired transitions, 2235 secs || 26106804 markings, 439255629 edges,
lola: 110 tries, 109155121 fired transitions, 2240 secs || 26169972 markings, 440320537 edges,
lola: 110 tries, 109394316 fired transitions, 2245 secs || 26233854 markings, 441398026 edges,
lola: 110 tries, 109633455 fired transitions, 2250 secs || 26297615 markings, 442472671 edges,
lola: 110 tries, 109872397 fired transitions, 2255 secs || 26360870 markings, 443540107 edges,
lola: 111 tries, 110111377 fired transitions, 2260 secs || 26424410 markings, 444605913 edges,
lola: 111 tries, 110350669 fired transitions, 2265 secs || 26487723 markings, 445682564 edges,
lola: 111 tries, 110589806 fired transitions, 2270 secs || 26551604 markings, 446756082 edges,
lola: 111 tries, 110828653 fired transitions, 2275 secs || 26614838 markings, 447821562 edges,
lola: 112 tries, 111068105 fired transitions, 2280 secs || 26678745 markings, 448885159 edges,
lola: 112 tries, 111307807 fired transitions, 2285 secs || 26742238 markings, 449955947 edges,
lola: 112 tries, 111546787 fired transitions, 2290 secs || 26805079 markings, 451016860 edges,
lola: 112 tries, 111785615 fired transitions, 2295 secs || 26867922 markings, 452077701 edges,
lola: 113 tries, 112024611 fired transitions, 2300 secs || 26932106 markings, 453149972 edges,
lola: 113 tries, 112262751 fired transitions, 2305 secs || 26995272 markings, 454218737 edges,
lola: 113 tries, 112501623 fired transitions, 2310 secs || 27058517 markings, 455285821 edges,
lola: 113 tries, 112740768 fired transitions, 2315 secs || 27120928 markings, 456339956 edges,
lola: 113 tries, 112979662 fired transitions, 2320 secs || 27182442 markings, 457378048 edges,
lola: 114 tries, 113218585 fired transitions, 2325 secs || 27244689 markings, 458430075 edges,
lola: 114 tries, 113457587 fired transitions, 2330 secs || 27307270 markings, 459486461 edges,
lola: 114 tries, 113696213 fired transitions, 2335 secs || 27369875 markings, 460532680 edges,
lola: 114 tries, 113935307 fired transitions, 2340 secs || 27429546 markings, 461527772 edges,
lola: 115 tries, 114174312 fired transitions, 2345 secs || 27486603 markings, 462494713 edges,
lola: 115 tries, 114413461 fired transitions, 2350 secs || 27544139 markings, 463460920 edges,
lola: 115 tries, 114652703 fired transitions, 2355 secs || 27601752 markings, 464427376 edges,
lola: 115 tries, 114891743 fired transitions, 2360 secs || 27660246 markings, 465407583 edges,
lola: 116 tries, 115131336 fired transitions, 2365 secs || 27717886 markings, 466373894 edges,
lola: 116 tries, 115370785 fired transitions, 2370 secs || 27774726 markings, 467330914 edges,
lola: 116 tries, 115610561 fired transitions, 2375 secs || 27831933 markings, 468293627 edges,
lola: 116 tries, 115850191 fired transitions, 2380 secs || 27888541 markings, 469255407 edges,
lola: 117 tries, 116089735 fired transitions, 2385 secs || 27944715 markings, 470211315 edges,
lola: 117 tries, 116329811 fired transitions, 2390 secs || 28000559 markings, 471161717 edges,
lola: 117 tries, 116569299 fired transitions, 2395 secs || 28056214 markings, 472104940 edges,
lola: 117 tries, 116808379 fired transitions, 2400 secs || 28113365 markings, 473064951 edges,
lola: 118 tries, 117047560 fired transitions, 2405 secs || 28171290 markings, 474032437 edges,
lola: 118 tries, 117286927 fired transitions, 2410 secs || 28228663 markings, 474994803 edges,
lola: 118 tries, 117526059 fired transitions, 2415 secs || 28285088 markings, 475952377 edges,
lola: 118 tries, 117765377 fired transitions, 2420 secs || 28345184 markings, 476959918 edges,
lola: 119 tries, 118004773 fired transitions, 2425 secs || 28404698 markings, 477952149 edges,
lola: 119 tries, 118244125 fired transitions, 2430 secs || 28462624 markings, 478926236 edges,
lola: 119 tries, 118483321 fired transitions, 2435 secs || 28519957 markings, 479892937 edges,
lola: 119 tries, 118722531 fired transitions, 2440 secs || 28577295 markings, 480859006 edges,
lola: 119 tries, 118961661 fired transitions, 2445 secs || 28636752 markings, 481862627 edges,
lola: 120 tries, 119200965 fired transitions, 2450 secs || 28694035 markings, 482833383 edges,
lola: 120 tries, 119440049 fired transitions, 2455 secs || 28751141 markings, 483800410 edges,
lola: 120 tries, 119679817 fired transitions, 2460 secs || 28808517 markings, 484769491 edges,
lola: 120 tries, 119919017 fired transitions, 2465 secs || 28865848 markings, 485732869 edges,
lola: 121 tries, 120158335 fired transitions, 2470 secs || 28923610 markings, 486697202 edges,
lola: 121 tries, 120397423 fired transitions, 2475 secs || 28981078 markings, 487656380 edges,
lola: 121 tries, 120636467 fired transitions, 2480 secs || 29038830 markings, 488617661 edges,
lola: 121 tries, 120875539 fired transitions, 2485 secs || 29095806 markings, 489583241 edges,
lola: 122 tries, 121114312 fired transitions, 2490 secs || 29153296 markings, 490545653 edges,
lola: 122 tries, 121353597 fired transitions, 2495 secs || 29210164 markings, 491502633 edges,
lola: 122 tries, 121592893 fired transitions, 2500 secs || 29266968 markings, 492463374 edges,
lola: 122 tries, 121832547 fired transitions, 2505 secs || 29324406 markings, 493426831 edges,
lola: 123 tries, 122071668 fired transitions, 2510 secs || 29381569 markings, 494387790 edges,
lola: 123 tries, 122310929 fired transitions, 2515 secs || 29437743 markings, 495338943 edges,
lola: 123 tries, 122550309 fired transitions, 2520 secs || 29496130 markings, 496307485 edges,
lola: 123 tries, 122789191 fired transitions, 2525 secs || 29553431 markings, 497269351 edges,
lola: 124 tries, 123028073 fired transitions, 2530 secs || 29610065 markings, 498227159 edges,
lola: 124 tries, 123266931 fired transitions, 2535 secs || 29667126 markings, 499182576 edges,
lola: 124 tries, 123505807 fired transitions, 2540 secs || 29724061 markings, 500145983 edges,
lola: 124 tries, 123745039 fired transitions, 2545 secs || 29780936 markings, 501101781 edges,
lola: 124 tries, 123984379 fired transitions, 2550 secs || 29837942 markings, 502063096 edges,
lola: 125 tries, 124223685 fired transitions, 2555 secs || 29895452 markings, 503026963 edges,
lola: 125 tries, 124462781 fired transitions, 2560 secs || 29952909 markings, 503992733 edges,
lola: 125 tries, 124702276 fired transitions, 2565 secs || 30010098 markings, 504956302 edges,
lola: 125 tries, 124942353 fired transitions, 2570 secs || 30067393 markings, 505925158 edges,
lola: 126 tries, 125181877 fired transitions, 2575 secs || 30125209 markings, 506886222 edges,
lola: 126 tries, 125421291 fired transitions, 2580 secs || 30182795 markings, 507856039 edges,
lola: 126 tries, 125660857 fired transitions, 2585 secs || 30239853 markings, 508822688 edges,
lola: 126 tries, 125900471 fired transitions, 2590 secs || 30296464 markings, 509784162 edges,
lola: 127 tries, 126140031 fired transitions, 2595 secs || 30353095 markings, 510746386 edges,
lola: 127 tries, 126379521 fired transitions, 2600 secs || 30410290 markings, 511710192 edges,
lola: 127 tries, 126618365 fired transitions, 2605 secs || 30466365 markings, 512655772 edges,
lola: 127 tries, 126857893 fired transitions, 2610 secs || 30522721 markings, 513611553 edges,
lola: 128 tries, 127097427 fired transitions, 2615 secs || 30579974 markings, 514570628 edges,
lola: 128 tries, 127336453 fired transitions, 2620 secs || 30637078 markings, 515529167 edges,
lola: 128 tries, 127575751 fired transitions, 2625 secs || 30693965 markings, 516493907 edges,
lola: 128 tries, 127815275 fired transitions, 2630 secs || 30750970 markings, 517464424 edges,
lola: 129 tries, 128054597 fired transitions, 2635 secs || 30808983 markings, 518435440 edges,
lola: 129 tries, 128293923 fired transitions, 2640 secs || 30866342 markings, 519407245 edges,
lola: 129 tries, 128533569 fired transitions, 2645 secs || 30923685 markings, 520375617 edges,
lola: 129 tries, 128773296 fired transitions, 2650 secs || 30980992 markings, 521347862 edges,
lola: 130 tries, 129012979 fired transitions, 2655 secs || 31037775 markings, 522316744 edges,
lola: 130 tries, 129252753 fired transitions, 2660 secs || 31095404 markings, 523283159 edges,
lola: 130 tries, 129492739 fired transitions, 2665 secs || 31152999 markings, 524253219 edges,
lola: 130 tries, 129732645 fired transitions, 2670 secs || 31211493 markings, 525234777 edges,
lola: 130 tries, 129972102 fired transitions, 2675 secs || 31269462 markings, 526212728 edges,
lola: 131 tries, 130211477 fired transitions, 2680 secs || 31326658 markings, 527183412 edges,
lola: 131 tries, 130451355 fired transitions, 2685 secs || 31383843 markings, 528150487 edges,
lola: 131 tries, 130690739 fired transitions, 2690 secs || 31441304 markings, 529115467 edges,
lola: 131 tries, 130930229 fired transitions, 2695 secs || 31498920 markings, 530085041 edges,
lola: 132 tries, 131169730 fired transitions, 2700 secs || 31556095 markings, 531048871 edges,
lola: 132 tries, 131409285 fired transitions, 2705 secs || 31613030 markings, 532005105 edges,
lola: 132 tries, 131649001 fired transitions, 2710 secs || 31669814 markings, 532971157 edges,
lola: 132 tries, 131888687 fired transitions, 2715 secs || 31727084 markings, 533940915 edges,
lola: 133 tries, 132127927 fired transitions, 2720 secs || 31783779 markings, 534899032 edges,
lola: 133 tries, 132367259 fired transitions, 2725 secs || 31841708 markings, 535856155 edges,
lola: 133 tries, 132606767 fired transitions, 2730 secs || 31898265 markings, 536815544 edges,
lola: 133 tries, 132846321 fired transitions, 2735 secs || 31955515 markings, 537776827 edges,
lola: 134 tries, 133085613 fired transitions, 2740 secs || 32012285 markings, 538732422 edges,
lola: 134 tries, 133325129 fired transitions, 2745 secs || 32069301 markings, 539696099 edges,
lola: 134 tries, 133564349 fired transitions, 2750 secs || 32125690 markings, 540647569 edges,
lola: 134 tries, 133803563 fired transitions, 2755 secs || 32182326 markings, 541606851 edges,
lola: 135 tries, 134042709 fired transitions, 2760 secs || 32238704 markings, 542562649 edges,
lola: 135 tries, 134282143 fired transitions, 2765 secs || 32298496 markings, 543574635 edges,
lola: 135 tries, 134521359 fired transitions, 2770 secs || 32355733 markings, 544539094 edges,
lola: 135 tries, 134760579 fired transitions, 2775 secs || 32412076 markings, 545494866 edges,
lola: 135 tries, 134999711 fired transitions, 2780 secs || 32468567 markings, 546451678 edges,
lola: 136 tries, 135239063 fired transitions, 2785 secs || 32524960 markings, 547409866 edges,
lola: 136 tries, 135479145 fired transitions, 2790 secs || 32582212 markings, 548367378 edges,
lola: 136 tries, 135718713 fired transitions, 2795 secs || 32640292 markings, 549338291 edges,
lola: 136 tries, 135958463 fired transitions, 2800 secs || 32696566 markings, 550295874 edges,
lola: 137 tries, 136198119 fired transitions, 2805 secs || 32752830 markings, 551247329 edges,
lola: 137 tries, 136437759 fired transitions, 2810 secs || 32809321 markings, 552201758 edges,
lola: 137 tries, 136677193 fired transitions, 2815 secs || 32865880 markings, 553153540 edges,
lola: 137 tries, 136916165 fired transitions, 2820 secs || 32922287 markings, 554105787 edges,
lola: 138 tries, 137133054 fired transitions, 2825 secs || 32973285 markings, 554963297 edges,
lola: 138 tries, 137340869 fired transitions, 2830 secs || 33022121 markings, 555794049 edges,
lola: 138 tries, 137540697 fired transitions, 2835 secs || 33069003 markings, 556588942 edges,
lola: 138 tries, 137755089 fired transitions, 2840 secs || 33119090 markings, 557437983 edges,
lola: 138 tries, 137962007 fired transitions, 2845 secs || 33168042 markings, 558267465 edges,
lola: 139 tries, 138176361 fired transitions, 2850 secs || 33219015 markings, 559125751 edges,
lola: 139 tries, 138376393 fired transitions, 2855 secs || 33266626 markings, 559921489 edges,
lola: 139 tries, 138590363 fired transitions, 2860 secs || 33317223 markings, 560774749 edges,
lola: 139 tries, 138797365 fired transitions, 2865 secs || 33365815 markings, 561595553 edges,
lola: 140 tries, 139004425 fired transitions, 2870 secs || 33415140 markings, 562424620 edges,
lola: 140 tries, 139204379 fired transitions, 2875 secs || 33462140 markings, 563222234 edges,
lola: 140 tries, 139404375 fired transitions, 2880 secs || 33510157 markings, 564036880 edges,
lola: 140 tries, 139624809 fired transitions, 2885 secs || 33562737 markings, 564925166 edges,
lola: 140 tries, 139831383 fired transitions, 2890 secs || 33612892 markings, 565769134 edges,
lola: 141 tries, 140052451 fired transitions, 2895 secs || 33665429 markings, 566652105 edges,
lola: 141 tries, 140281291 fired transitions, 2900 secs || 33719594 markings, 567565606 edges,
lola: 141 tries, 140507731 fired transitions, 2905 secs || 33772118 markings, 568452589 edges,
lola: 141 tries, 140757693 fired transitions, 2910 secs || 33830474 markings, 569438123 edges,
lola: 142 tries, 141010177 fired transitions, 2915 secs || 33890026 markings, 570440173 edges,
lola: 142 tries, 141262547 fired transitions, 2920 secs || 33948906 markings, 571435458 edges,
lola: 142 tries, 141514771 fired transitions, 2925 secs || 34007641 markings, 572433143 edges,
lola: 142 tries, 141765372 fired transitions, 2930 secs || 34066400 markings, 573425329 edges,
lola: 143 tries, 142016953 fired transitions, 2935 secs || 34125531 markings, 574425175 edges,
lola: 143 tries, 142267539 fired transitions, 2940 secs || 34184378 markings, 575420832 edges,
lola: 143 tries, 142518749 fired transitions, 2945 secs || 34243284 markings, 576418806 edges,
lola: 143 tries, 142770695 fired transitions, 2950 secs || 34302532 markings, 577419359 edges,
lola: 144 tries, 143023279 fired transitions, 2955 secs || 34361608 markings, 578423024 edges,
lola: 144 tries, 143276057 fired transitions, 2960 secs || 34420428 markings, 579421548 edges,
lola: 144 tries, 143528817 fired transitions, 2965 secs || 34479219 markings, 580417469 edges,
lola: 144 tries, 143781415 fired transitions, 2970 secs || 34537882 markings, 581418833 edges,
lola: 145 tries, 144033892 fired transitions, 2975 secs || 34597231 markings, 582415773 edges,
lola: 145 tries, 144286363 fired transitions, 2980 secs || 34655862 markings, 583409540 edges,
lola: 145 tries, 144538934 fired transitions, 2985 secs || 34714399 markings, 584402283 edges,
lola: 145 tries, 144791237 fired transitions, 2990 secs || 34773862 markings, 585400435 edges,
lola: 146 tries, 145043453 fired transitions, 2995 secs || 34833073 markings, 586400665 edges,
lola: 146 tries, 145295920 fired transitions, 3000 secs || 34892613 markings, 587409322 edges,
lola: 146 tries, 145548101 fired transitions, 3005 secs || 34952544 markings, 588417534 edges,
lola: 146 tries, 145800695 fired transitions, 3010 secs || 35012047 markings, 589420896 edges,
lola: 147 tries, 146053189 fired transitions, 3015 secs || 35071065 markings, 590418189 edges,
lola: 147 tries, 146305873 fired transitions, 3020 secs || 35129648 markings, 591404061 edges,
lola: 147 tries, 146558474 fired transitions, 3025 secs || 35188531 markings, 592400088 edges,
lola: 147 tries, 146811235 fired transitions, 3030 secs || 35246971 markings, 593390740 edges,
lola: 148 tries, 147064049 fired transitions, 3035 secs || 35305315 markings, 594380700 edges,
lola: 148 tries, 147316643 fired transitions, 3040 secs || 35364376 markings, 595378975 edges,
lola: 148 tries, 147569177 fired transitions, 3045 secs || 35423698 markings, 596373558 edges,
lola: 148 tries, 147821738 fired transitions, 3050 secs || 35482677 markings, 597370550 edges,
lola: 149 tries, 148074185 fired transitions, 3055 secs || 35540883 markings, 598355529 edges,
lola: 149 tries, 148326703 fired transitions, 3060 secs || 35599921 markings, 599347242 edges,
lola: 149 tries, 148579358 fired transitions, 3065 secs || 35658741 markings, 600343681 edges,
lola: 149 tries, 148832111 fired transitions, 3070 secs || 35717745 markings, 601335753 edges,
lola: 150 tries, 149084819 fired transitions, 3075 secs || 35776305 markings, 602327992 edges,
lola: 150 tries, 149337645 fired transitions, 3080 secs || 35834803 markings, 603318603 edges,
lola: 150 tries, 149590253 fired transitions, 3085 secs || 35893595 markings, 604305694 edges,
lola: 150 tries, 149842847 fired transitions, 3090 secs || 35952098 markings, 605293401 edges,
lola: 151 tries, 150095305 fired transitions, 3095 secs || 36011067 markings, 606282905 edges,
lola: 151 tries, 150347853 fired transitions, 3100 secs || 36069494 markings, 607272508 edges,
lola: 151 tries, 150600451 fired transitions, 3105 secs || 36127582 markings, 608255245 edges,
lola: 151 tries, 150853042 fired transitions, 3110 secs || 36185913 markings, 609238840 edges,
lola: 152 tries, 151105787 fired transitions, 3115 secs || 36244311 markings, 610221389 edges,
lola: 152 tries, 151358359 fired transitions, 3120 secs || 36303522 markings, 611219563 edges,
lola: 152 tries, 151610929 fired transitions, 3125 secs || 36363003 markings, 612220736 edges,
lola: 152 tries, 151862181 fired transitions, 3130 secs || 36421669 markings, 613214230 edges,
lola: 153 tries, 152115015 fired transitions, 3135 secs || 36480688 markings, 614210062 edges,
lola: 153 tries, 152367851 fired transitions, 3140 secs || 36539477 markings, 615204105 edges,
lola: 153 tries, 152620677 fired transitions, 3145 secs || 36598142 markings, 616195841 edges,
lola: 153 tries, 152873515 fired transitions, 3150 secs || 36657528 markings, 617192222 edges,
lola: 154 tries, 153126467 fired transitions, 3155 secs || 36715798 markings, 618183959 edges,
lola: 154 tries, 153379457 fired transitions, 3160 secs || 36774929 markings, 619178564 edges,
lola: 154 tries, 153632259 fired transitions, 3165 secs || 36833742 markings, 620171148 edges,
lola: 154 tries, 153884731 fired transitions, 3170 secs || 36892392 markings, 621163717 edges,
lola: 155 tries, 154137117 fired transitions, 3175 secs || 36951325 markings, 622155133 edges,
lola: 155 tries, 154389663 fired transitions, 3180 secs || 37010083 markings, 623146390 edges,
lola: 155 tries, 154642373 fired transitions, 3185 secs || 37069307 markings, 624148134 edges,
lola: 155 tries, 154895005 fired transitions, 3190 secs || 37129866 markings, 625142720 edges,
lola: 156 tries, 155147641 fired transitions, 3195 secs || 37189178 markings, 626147654 edges,
lola: 156 tries, 155400301 fired transitions, 3200 secs || 37248245 markings, 627141838 edges,
lola: 156 tries, 155652881 fired transitions, 3205 secs || 37307504 markings, 628132912 edges,
lola: 156 tries, 155905487 fired transitions, 3210 secs || 37366773 markings, 629127640 edges,
lola: 157 tries, 156158125 fired transitions, 3215 secs || 37425595 markings, 630125963 edges,
lola: 157 tries, 156410825 fired transitions, 3220 secs || 37484199 markings, 631118071 edges,
lola: 157 tries, 156663353 fired transitions, 3225 secs || 37545570 markings, 632154833 edges,
lola: 157 tries, 156915992 fired transitions, 3230 secs || 37604219 markings, 633145707 edges,
lola: 158 tries, 157168950 fired transitions, 3235 secs || 37663251 markings, 634140234 edges,
lola: 158 tries, 157421615 fired transitions, 3240 secs || 37722000 markings, 635131758 edges,
lola: 158 tries, 157674347 fired transitions, 3245 secs || 37781234 markings, 636130337 edges,
lola: 158 tries, 157927074 fired transitions, 3250 secs || 37839930 markings, 637118459 edges,
lola: 159 tries, 158179715 fired transitions, 3255 secs || 37897607 markings, 638101604 edges,
lola: 159 tries, 158432247 fired transitions, 3260 secs || 37955973 markings, 639090234 edges,
lola: 159 tries, 158684773 fired transitions, 3265 secs || 38014916 markings, 640081105 edges,
lola: 159 tries, 158937299 fired transitions, 3270 secs || 38073664 markings, 641075459 edges,
lola: 160 tries, 159189841 fired transitions, 3275 secs || 38132002 markings, 642061638 edges,
lola: 160 tries, 159442470 fired transitions, 3280 secs || 38191680 markings, 643061990 edges,
lola: 160 tries, 159695023 fired transitions, 3285 secs || 38250615 markings, 644054217 edges,
lola: 160 tries, 159947547 fired transitions, 3290 secs || 38309441 markings, 645043548 edges,
lola: 161 tries, 160200073 fired transitions, 3295 secs || 38367783 markings, 646030965 edges,
lola: 161 tries, 160452637 fired transitions, 3300 secs || 38426772 markings, 647024223 edges,
lola: 161 tries, 160705223 fired transitions, 3305 secs || 38485816 markings, 648021119 edges,
lola: 161 tries, 160957961 fired transitions, 3310 secs || 38545261 markings, 649015581 edges,
lola: 162 tries, 161210445 fired transitions, 3315 secs || 38604090 markings, 650012290 edges,
lola: 162 tries, 161462980 fired transitions, 3320 secs || 38663374 markings, 651014962 edges,
lola: 162 tries, 161715407 fired transitions, 3325 secs || 38722547 markings, 652013946 edges,
lola: 162 tries, 161967707 fired transitions, 3330 secs || 38781608 markings, 653009322 edges,
lola: 163 tries, 162220143 fired transitions, 3335 secs || 38840761 markings, 654009669 edges,
lola: 163 tries, 162472773 fired transitions, 3340 secs || 38899519 markings, 655004529 edges,
lola: 163 tries, 162725271 fired transitions, 3345 secs || 38958095 markings, 655993255 edges,
lola: 163 tries, 162977831 fired transitions, 3350 secs || 39016193 markings, 656981370 edges,
lola: 164 tries, 163230229 fired transitions, 3355 secs || 39074421 markings, 657969867 edges,
lola: 164 tries, 163482693 fired transitions, 3360 secs || 39133313 markings, 658963129 edges,
lola: 164 tries, 163735201 fired transitions, 3365 secs || 39192233 markings, 659951642 edges,
lola: 164 tries, 163987649 fired transitions, 3370 secs || 39251206 markings, 660950601 edges,
lola: 165 tries, 164240185 fired transitions, 3375 secs || 39311435 markings, 661956049 edges,
lola: 165 tries, 164492596 fired transitions, 3380 secs || 39374533 markings, 663021702 edges,
lola: 165 tries, 164745495 fired transitions, 3385 secs || 39433899 markings, 664025622 edges,
lola: 165 tries, 164998316 fired transitions, 3390 secs || 39492968 markings, 665022373 edges,
lola: 166 tries, 165251193 fired transitions, 3395 secs || 39552728 markings, 666030041 edges,
lola: 166 tries, 165503827 fired transitions, 3400 secs || 39612903 markings, 667030530 edges,
lola: 166 tries, 165756612 fired transitions, 3405 secs || 39673604 markings, 668053043 edges,
lola: 167 tries, 166009461 fired transitions, 3410 secs || 39732491 markings, 669052904 edges,
lola: 167 tries, 166261985 fired transitions, 3415 secs || 39792474 markings, 670068105 edges,
lola: 167 tries, 166514477 fired transitions, 3420 secs || 39851444 markings, 671069914 edges,
lola: 167 tries, 166766969 fired transitions, 3425 secs || 39910103 markings, 672064129 edges,
lola: 168 tries, 167019467 fired transitions, 3430 secs || 39969448 markings, 673071900 edges,
lola: 168 tries, 167272051 fired transitions, 3435 secs || 40028664 markings, 674076181 edges,
lola: 168 tries, 167524703 fired transitions, 3440 secs || 40087471 markings, 675074426 edges,
lola: 168 tries, 167777332 fired transitions, 3445 secs || 40146440 markings, 676070011 edges,
lola: 169 tries, 168029703 fired transitions, 3450 secs || 40205629 markings, 677069145 edges,
lola: 169 tries, 168282319 fired transitions, 3455 secs || 40266181 markings, 678083680 edges,
lola: 169 tries, 168534959 fired transitions, 3460 secs || 40325271 markings, 679089612 edges,
lola: 169 tries, 168779167 fired transitions, 3465 secs || 40383072 markings, 680064129 edges,
lola: 170 tries, 169016545 fired transitions, 3470 secs || 40439183 markings, 681013000 edges,
lola: 170 tries, 169253823 fired transitions, 3475 secs || 40495768 markings, 681972365 edges,
lola: 170 tries, 169491235 fired transitions, 3480 secs || 40552536 markings, 682924924 edges,
lola: 170 tries, 169728767 fired transitions, 3485 secs || 40606666 markings, 683838897 edges,
lola: 170 tries, 169966303 fired transitions, 3490 secs || 40662759 markings, 684789827 edges,
lola: 171 tries, 170203563 fired transitions, 3495 secs || 40719113 markings, 685741025 edges,
lola: 171 tries, 170440961 fired transitions, 3500 secs || 40775712 markings, 686693178 edges,
lola: 171 tries, 170678511 fired transitions, 3505 secs || 40831584 markings, 687641280 edges,
lola: 171 tries, 170916395 fired transitions, 3510 secs || 40887525 markings, 688582987 edges,
lola: 172 tries, 171154005 fired transitions, 3515 secs || 40944013 markings, 689536229 edges,
lola: 172 tries, 171391995 fired transitions, 3520 secs || 40997596 markings, 690444472 edges,
lola: 172 tries, 171629317 fired transitions, 3525 secs || 41053640 markings, 691386867 edges,
lola: 172 tries, 171866743 fired transitions, 3530 secs || 41109085 markings, 692326660 edges,
lola: 173 tries, 172103875 fired transitions, 3535 secs || 41165245 markings, 693271897 edges,
lola: 173 tries, 172341143 fired transitions, 3540 secs || 41221492 markings, 694221544 edges,
lola: 173 tries, 172578371 fired transitions, 3545 secs || 41279016 markings, 695171669 edges,
lola: 173 tries, 172815673 fired transitions, 3550 secs || 41335589 markings, 696124207 edges,
lola: 174 tries, 173052894 fired transitions, 3555 secs || 41392201 markings, 697085667 edges,
lola: 174 tries, 173290201 fired transitions, 3560 secs || 41449673 markings, 698052169 edges,
lola: time limit reached - aborting
lola: memory consumption: 11319652 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552923516408

--------------------
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) 14011 markings/sec, 0 secs 14802 markings/sec, 5 secs 15499 markings/sec, 10 secs 14409 markings/sec, 15 secs 13274 markings/sec, 20 secs 11428 markings/sec, 25 secs 11356 markings/sec, 30 secs 11408 markings/sec, 35 secs 11447 markings/sec, 40 secs 11449 markings/sec, 45 secs 11732 markings/sec, 50 secs 12353 markings/sec, 55 secs 12159 markings/sec, 60 secs 12119 markings/sec, 65 secs 12187 markings/sec, 70 secs 12434 markings/sec, 75 secs 12159 markings/sec, 80 secs 11438 markings/sec, 85 secs 11414 markings/sec, 90 secs 11363 markings/sec, 95 secs 11338 markings/sec, 100 secs 11277 markings/sec, 105 secs 11320 markings/sec, 110 secs 11278 markings/sec, 115 secs 11413 markings/sec, 120 secs 11266 markings/sec, 125 secs 11331 markings/sec, 130 secs 11276 markings/sec, 135 secs 11432 markings/sec, 140 secs 11480 markings/sec, 145 secs 11209 markings/sec, 150 secs 11182 markings/sec, 155 secs 11254 markings/sec, 160 secs 11293 markings/sec, 165 secs 11167 markings/sec, 170 secs 11208 markings/sec, 175 secs 11458 markings/sec, 180 secs 12176 markings/sec, 185 secs 12077 markings/sec, 190 secs 12118 markings/sec, 195 secs 11979 markings/sec, 200 secs 12077 markings/sec, 205 secs 12081 markings/sec, 210 secs 12151 markings/sec, 215 secs 11994 markings/sec, 220 secs 12017 markings/sec, 225 secs 12062 markings/sec, 230 secs 11918 markings/sec, 235 secs 12098 markings/sec, 240 secs 13420 markings/sec, 245 secs 12755 markings/sec, 250 secs 12248 markings/sec, 255 secs 12159 markings/sec, 260 secs 12199 markings/sec, 265 secs 11651 markings/sec, 270 secs 11171 markings/sec, 275 secs 11901 markings/sec, 280 secs 12762 markings/sec, 285 secs 12120 markings/sec, 290 secs 11468 markings/sec, 295 secs 11441 markings/sec, 300 secs 11355 markings/sec, 305 secs 11287 markings/sec, 310 secs 11224 markings/sec, 315 secs 11128 markings/sec, 320 secs 11210 markings/sec, 325 secs 11257 markings/sec, 330 secs 11193 markings/sec, 335 secs 11934 markings/sec, 340 secs 11995 markings/sec, 345 secs 11988 markings/sec, 350 secs 12492 markings/sec, 355 secs 11985 markings/sec, 360 secs 11978 markings/sec, 365 secs 12015 markings/sec, 370 secs 12112 markings/sec, 375 secs 12029 markings/sec, 380 secs 12043 markings/sec, 385 secs 12108 markings/sec, 390 secs 12002 markings/sec, 395 secs 11990 markings/sec, 400 secs 12024 markings/sec, 405 secs 11982 markings/sec, 410 secs 11992 markings/sec, 415 secs 12098 markings/sec, 420 secs 12162 markings/sec, 425 secs 11973 markings/sec, 430 secs 13266 markings/sec, 435 secs 11965 markings/sec, 440 secs 12002 markings/sec, 445 secs 11938 markings/sec, 450 secs 11912 markings/sec, 455 secs 11896 markings/sec, 460 secs 11941 markings/sec, 465 secs 12018 markings/sec, 470 secs 12117 markings/sec, 475 secs 11946 markings/sec, 480 secs 11902 markings/sec, 485 secs 11934 markings/sec, 490 secs 11919 markings/sec, 495 secs 11902 markings/sec, 500 secs 11775 markings/sec, 505 secs 12153 markings/sec, 510 secs 12043 markings/sec, 515 secs 12091 markings/sec, 520 secs 11960 markings/sec, 525 secs 12186 markings/sec, 530 secs 11900 markings/sec, 535 secs 11984 markings/sec, 540 secs 12049 markings/sec, 545 secs 12194 markings/sec, 550 secs 11941 markings/sec, 555 secs 12022 markings/sec, 560 secs 11906 markings/sec, 565 secs 12067 markings/sec, 570 secs 11900 markings/sec, 575 secs 11756 markings/sec, 580 secs 11972 markings/sec, 585 secs 12032 markings/sec, 590 secs 12110 markings/sec, 595 secs 12150 markings/sec, 600 secs 12296 markings/sec, 605 secs 12115 markings/sec, 610 secs 12147 markings/sec, 615 secs 11881 markings/sec, 620 secs 12151 markings/sec, 625 secs 12136 markings/sec, 630 secs 11822 markings/sec, 635 secs 12135 markings/sec, 640 secs 12043 markings/sec, 645 secs 12214 markings/sec, 650 secs 12026 markings/sec, 655 secs 12777 markings/sec, 660 secs 12242 markings/sec, 665 secs 12076 markings/sec, 670 secs 12038 markings/sec, 675 secs 12107 markings/sec, 680 secs 12038 markings/sec, 685 secs 11995 markings/sec, 690 secs 12130 markings/sec, 695 secs 12044 markings/sec, 700 secs 12179 markings/sec, 705 secs 12052 markings/sec, 710 secs 12035 markings/sec, 715 secs 12045 markings/sec, 720 secs 12071 markings/sec, 725 secs 12048 markings/sec, 730 secs 12122 markings/sec, 735 secs 11988 markings/sec, 740 secs 12164 markings/sec, 745 secs 11997 markings/sec, 750 secs 12009 markings/sec, 755 secs 11968 markings/sec, 760 secs 12014 markings/sec, 765 secs 12054 markings/sec, 770 secs 12338 markings/sec, 775 secs 12596 markings/sec, 780 secs 12073 markings/sec, 785 secs 12051 markings/sec, 790 secs 12028 markings/sec, 795 secs 12092 markings/sec, 800 secs 11937 markings/sec, 805 secs 11938 markings/sec, 810 secs 11795 markings/sec, 815 secs 12023 markings/sec, 820 secs 12079 markings/sec, 825 secs 11982 markings/sec, 830 secs 12107 markings/sec, 835 secs 12218 markings/sec, 840 secs 12500 markings/sec, 845 secs 12001 markings/sec, 850 secs 12027 markings/sec, 855 secs 12066 markings/sec, 860 secs 12018 markings/sec, 865 secs 12701 markings/sec, 870 secs 12132 markings/sec, 875 secs 11847 markings/sec, 880 secs 11906 markings/sec, 885 secs 12075 markings/sec, 890 secs 11982 markings/sec, 895 secs 12041 markings/sec, 900 secs 11943 markings/sec, 905 secs 11834 markings/sec, 910 secs 11876 markings/sec, 915 secs 11940 markings/sec, 920 secs 11874 markings/sec, 925 secs 12061 markings/sec, 930 secs 11950 markings/sec, 935 secs 11797 markings/sec, 940 secs 11802 markings/sec, 945 secs 11726 markings/sec, 950 secs 11730 markings/sec, 955 secs 11727 markings/sec, 960 secs 11696 markings/sec, 965 secs 11691 markings/sec, 970 secs 11786 markings/sec, 975 secs 11710 markings/sec, 980 secs 12018 markings/sec, 985 secs 11849 markings/sec, 990 secs 11880 markings/sec, 995 secs 10007 markings/sec, 1000 secs 11187 markings/sec, 1005 secs 11775 markings/sec, 1010 secs 12049 markings/sec, 1015 secs 12054 markings/sec, 1020 secs 11919 markings/sec, 1025 secs 11874 markings/sec, 1030 secs 11809 markings/sec, 1035 secs 11759 markings/sec, 1040 secs 11882 markings/sec, 1045 secs 11980 markings/sec, 1050 secs 11910 markings/sec, 1055 secs 11817 markings/sec, 1060 secs 11781 markings/sec, 1065 secs 11769 markings/sec, 1070 secs 11860 markings/sec, 1075 secs 12004 markings/sec, 1080 secs 11982 markings/sec, 1085 secs 11957 markings/sec, 1090 secs 12335 markings/sec, 1095 secs 12169 markings/sec, 1100 secs 11594 markings/sec, 1105 secs 11677 markings/sec, 1110 secs 11492 markings/sec, 1115 secs 11525 markings/sec, 1120 secs 11459 markings/sec, 1125 secs 11314 markings/sec, 1130 secs 11495 markings/sec, 1135 secs 11306 markings/sec, 1140 secs 11524 markings/sec, 1145 secs 11302 markings/sec, 1150 secs 11327 markings/sec, 1155 secs 11312 markings/sec, 1160 secs 11276 markings/sec, 1165 secs 11367 markings/sec, 1170 secs 11365 markings/sec, 1175 secs 11258 markings/sec, 1180 secs 11385 markings/sec, 1185 secs 11236 markings/sec, 1190 secs 11445 markings/sec, 1195 secs 11166 markings/sec, 1200 secs 11341 markings/sec, 1205 secs 12161 markings/sec, 1210 secs 11189 markings/sec, 1215 secs 11211 markings/sec, 1220 secs 11513 markings/sec, 1225 secs 11417 markings/sec, 1230 secs 11473 markings/sec, 1235 secs 11429 markings/sec, 1240 secs 11413 markings/sec, 1245 secs 11397 markings/sec, 1250 secs 11330 markings/sec, 1255 secs 11325 markings/sec, 1260 secs 11299 markings/sec, 1265 secs 11335 markings/sec, 1270 secs 11458 markings/sec, 1275 secs 11357 markings/sec, 1280 secs 11398 markings/sec, 1285 secs 11353 markings/sec, 1290 secs 11448 markings/sec, 1295 secs 11270 markings/sec, 1300 secs 11382 markings/sec, 1305 secs 11352 markings/sec, 1310 secs 11304 markings/sec, 1315 secs 11396 markings/sec, 1320 secs 11379 markings/sec, 1325 secs 11373 markings/sec, 1330 secs 11299 markings/sec, 1335 secs 11417 markings/sec, 1340 secs 11332 markings/sec, 1345 secs 11466 markings/sec, 1350 secs 11292 markings/sec, 1355 secs 11423 markings/sec, 1360 secs 11437 markings/sec, 1365 secs 11490 markings/sec, 1370 secs 11366 markings/sec, 1375 secs 11216 markings/sec, 1380 secs 11377 markings/sec, 1385 secs 11214 markings/sec, 1390 secs 11187 markings/sec, 1395 secs 11419 markings/sec, 1400 secs 11409 markings/sec, 1405 secs 11488 markings/sec, 1410 secs 11270 markings/sec, 1415 secs 11391 markings/sec, 1420 secs 11276 markings/sec, 1425 secs 11472 markings/sec, 1430 secs 11390 markings/sec, 1435 secs 11244 markings/sec, 1440 secs 11165 markings/sec, 1445 secs 11285 markings/sec, 1450 secs 11217 markings/sec, 1455 secs 11350 markings/sec, 1460 secs 11357 markings/sec, 1465 secs 11160 markings/sec, 1470 secs 11420 markings/sec, 1475 secs 12160 markings/sec, 1480 secs 11333 markings/sec, 1485 secs 11219 markings/sec, 1490 secs 11474 markings/sec, 1495 secs 11276 markings/sec, 1500 secs 11342 markings/sec, 1505 secs 11349 markings/sec, 1510 secs 11273 markings/sec, 1515 secs 11350 markings/sec, 1520 secs 11216 markings/sec, 1525 secs 11277 markings/sec, 1530 secs 11283 markings/sec, 1535 secs 11303 markings/sec, 1540 secs 11265 markings/sec, 1545 secs 11257 markings/sec, 1550 secs 11110 markings/sec, 1555 secs 11138 markings/sec, 1560 secs 11193 markings/sec, 1565 secs 11301 markings/sec, 1570 secs 11271 markings/sec, 1575 secs 11069 markings/sec, 1580 secs 11213 markings/sec, 1585 secs 11207 markings/sec, 1590 secs 11188 markings/sec, 1595 secs 11318 markings/sec, 1600 secs 11195 markings/sec, 1605 secs 11393 markings/sec, 1610 secs 11278 markings/sec, 1615 secs 11347 markings/sec, 1620 secs 11321 markings/sec, 1625 secs 11441 markings/sec, 1630 secs 12654 markings/sec, 1635 secs 11566 markings/sec, 1640 secs 11394 markings/sec, 1645 secs 11256 markings/sec, 1650 secs 11464 markings/sec, 1655 secs 11329 markings/sec, 1660 secs 11519 markings/sec, 1665 secs 11324 markings/sec, 1670 secs 11532 markings/sec, 1675 secs 12647 markings/sec, 1680 secs 11417 markings/sec, 1685 secs 11419 markings/sec, 1690 secs 11462 markings/sec, 1695 secs 11360 markings/sec, 1700 secs 11315 markings/sec, 1705 secs 11305 markings/sec, 1710 secs 11296 markings/sec, 1715 secs 11273 markings/sec, 1720 secs 11382 markings/sec, 1725 secs 11333 markings/sec, 1730 secs 11338 markings/sec, 1735 secs 11354 markings/sec, 1740 secs 11226 markings/sec, 1745 secs 11474 markings/sec, 1750 secs 11496 markings/sec, 1755 secs 11409 markings/sec, 1760 secs 11310 markings/sec, 1765 secs 11459 markings/sec, 1770 secs 11374 markings/sec, 1775 secs 11518 markings/sec, 1780 secs 11377 markings/sec, 1785 secs 11318 markings/sec, 1790 secs 11362 markings/sec, 1795 secs 11334 markings/sec, 1800 secs 11397 markings/sec, 1805 secs 11423 markings/sec, 1810 secs 11232 markings/sec, 1815 secs 11276 markings/sec, 1820 secs 11276 markings/sec, 1825 secs 11313 markings/sec, 1830 secs 11099 markings/sec, 1835 secs 11362 markings/sec, 1840 secs 11301 markings/sec, 1845 secs 11514 markings/sec, 1850 secs 11406 markings/sec, 1855 secs 11506 markings/sec, 1860 secs 11426 markings/sec, 1865 secs 11492 markings/sec, 1870 secs 11348 markings/sec, 1875 secs 11382 markings/sec, 1880 secs 11440 markings/sec, 1885 secs 11343 markings/sec, 1890 secs 11461 markings/sec, 1895 secs 11313 markings/sec, 1900 secs 11303 markings/sec, 1905 secs 11360 markings/sec, 1910 secs 11354 markings/sec, 1915 secs 11357 markings/sec, 1920 secs 11228 markings/sec, 1925 secs 11127 markings/sec, 1930 secs 11203 markings/sec, 1935 secs 11169 markings/sec, 1940 secs 10478 markings/sec, 1945 secs 10004 markings/sec, 1950 secs 9994 markings/sec, 1955 secs 10042 markings/sec, 1960 secs 10380 markings/sec, 1965 secs 11317 markings/sec, 1970 secs 10459 markings/sec, 1975 secs 10910 markings/sec, 1980 secs 10246 markings/sec, 1985 secs 9888 markings/sec, 1990 secs 10360 markings/sec, 1995 secs 11230 markings/sec, 2000 secs 11267 markings/sec, 2005 secs 11357 markings/sec, 2010 secs 11458 markings/sec, 2015 secs 11477 markings/sec, 2020 secs 11312 markings/sec, 2025 secs 11238 markings/sec, 2030 secs 11292 markings/sec, 2035 secs 11279 markings/sec, 2040 secs 12233 markings/sec, 2045 secs 11538 markings/sec, 2050 secs 11183 markings/sec, 2055 secs 11557 markings/sec, 2060 secs 11278 markings/sec, 2065 secs 11268 markings/sec, 2070 secs 11609 markings/sec, 2075 secs 11399 markings/sec, 2080 secs 11457 markings/sec, 2085 secs 11337 markings/sec, 2090 secs 11365 markings/sec, 2095 secs 11524 markings/sec, 2100 secs 11367 markings/sec, 2105 secs 11399 markings/sec, 2110 secs 11400 markings/sec, 2115 secs 11353 markings/sec, 2120 secs 11610 markings/sec, 2125 secs 11437 markings/sec, 2130 secs 11399 markings/sec, 2135 secs 11319 markings/sec, 2140 secs 11332 markings/sec, 2145 secs 11418 markings/sec, 2150 secs 11376 markings/sec, 2155 secs 11428 markings/sec, 2160 secs 11265 markings/sec, 2165 secs 11223 markings/sec, 2170 secs 11237 markings/sec, 2175 secs 11348 markings/sec, 2180 secs 11386 markings/sec, 2185 secs 11267 markings/sec, 2190 secs 11407 markings/sec, 2195 secs 11530 markings/sec, 2200 secs 11372 markings/sec, 2205 secs 11476 markings/sec, 2210 secs 11428 markings/sec, 2215 secs 12044 markings/sec, 2220 secs 12721 markings/sec, 2225 secs 12711 markings/sec, 2230 secs 12487 markings/sec, 2235 secs 12634 markings/sec, 2240 secs 12776 markings/sec, 2245 secs 12752 markings/sec, 2250 secs 12651 markings/sec, 2255 secs 12708 markings/sec, 2260 secs 12663 markings/sec, 2265 secs 12776 markings/sec, 2270 secs 12647 markings/sec, 2275 secs 12781 markings/sec, 2280 secs 12699 markings/sec, 2285 secs 12568 markings/sec, 2290 secs 12569 markings/sec, 2295 secs 12837 markings/sec, 2300 secs 12633 markings/sec, 2305 secs 12649 markings/sec, 2310 secs 12482 markings/sec, 2315 secs 12303 markings/sec, 2320 secs 12449 markings/sec, 2325 secs 12516 markings/sec, 2330 secs 12521 markings/sec, 2335 secs 11934 markings/sec, 2340 secs 11411 markings/sec, 2345 secs 11507 markings/sec, 2350 secs 11523 markings/sec, 2355 secs 11699 markings/sec, 2360 secs 11528 markings/sec, 2365 secs 11368 markings/sec, 2370 secs 11441 markings/sec, 2375 secs 11322 markings/sec, 2380 secs 11235 markings/sec, 2385 secs 11169 markings/sec, 2390 secs 11131 markings/sec, 2395 secs 11430 markings/sec, 2400 secs 11585 markings/sec, 2405 secs 11475 markings/sec, 2410 secs 11285 markings/sec, 2415 secs 12019 markings/sec, 2420 secs 11903 markings/sec, 2425 secs 11585 markings/sec, 2430 secs 11467 markings/sec, 2435 secs 11468 markings/sec, 2440 secs 11891 markings/sec, 2445 secs 11457 markings/sec, 2450 secs 11421 markings/sec, 2455 secs 11475 markings/sec, 2460 secs 11466 markings/sec, 2465 secs 11552 markings/sec, 2470 secs 11494 markings/sec, 2475 secs 11550 markings/sec, 2480 secs 11395 markings/sec, 2485 secs 11498 markings/sec, 2490 secs 11374 markings/sec, 2495 secs 11361 markings/sec, 2500 secs 11488 markings/sec, 2505 secs 11433 markings/sec, 2510 secs 11235 markings/sec, 2515 secs 11677 markings/sec, 2520 secs 11460 markings/sec, 2525 secs 11327 markings/sec, 2530 secs 11412 markings/sec, 2535 secs 11387 markings/sec, 2540 secs 11375 markings/sec, 2545 secs 11401 markings/sec, 2550 secs 11502 markings/sec, 2555 secs 11491 markings/sec, 2560 secs 11438 markings/sec, 2565 secs 11459 markings/sec, 2570 secs 11563 markings/sec, 2575 secs 11517 markings/sec, 2580 secs 11412 markings/sec, 2585 secs 11322 markings/sec, 2590 secs 11326 markings/sec, 2595 secs 11439 markings/sec, 2600 secs 11215 markings/sec, 2605 secs 11271 markings/sec, 2610 secs 11451 markings/sec, 2615 secs 11421 markings/sec, 2620 secs 11377 markings/sec, 2625 secs 11401 markings/sec, 2630 secs 11603 markings/sec, 2635 secs 11472 markings/sec, 2640 secs 11469 markings/sec, 2645 secs 11461 markings/sec, 2650 secs 11357 markings/sec, 2655 secs 11526 markings/sec, 2660 secs 11519 markings/sec, 2665 secs 11699 markings/sec, 2670 secs 11594 markings/sec, 2675 secs 11439 markings/sec, 2680 secs 11437 markings/sec, 2685 secs 11492 markings/sec, 2690 secs 11523 markings/sec, 2695 secs 11435 markings/sec, 2700 secs 11387 markings/sec, 2705 secs 11357 markings/sec, 2710 secs 11454 markings/sec, 2715 secs 11339 markings/sec, 2720 secs 11586 markings/sec, 2725 secs 11311 markings/sec, 2730 secs 11450 markings/sec, 2735 secs 11354 markings/sec, 2740 secs 11403 markings/sec, 2745 secs 11278 markings/sec, 2750 secs 11327 markings/sec, 2755 secs 11276 markings/sec, 2760 secs 11958 markings/sec, 2765 secs 11447 markings/sec, 2770 secs 11269 markings/sec, 2775 secs 11298 markings/sec, 2780 secs 11279 markings/sec, 2785 secs 11450 markings/sec, 2790 secs 11616 markings/sec, 2795 secs 11255 markings/sec, 2800 secs 11253 markings/sec, 2805 secs 11298 markings/sec, 2810 secs 11312 markings/sec, 2815 secs 11281 markings/sec, 2820 secs 10200 markings/sec, 2825 secs 9767 markings/sec, 2830 secs 9376 markings/sec, 2835 secs 10017 markings/sec, 2840 secs 9790 markings/sec, 2845 secs 10195 markings/sec, 2850 secs 9522 markings/sec, 2855 secs 10119 markings/sec, 2860 secs 9718 markings/sec, 2865 secs 9865 markings/sec, 2870 secs 9400 markings/sec, 2875 secs 9603 markings/sec, 2880 secs 10516 markings/sec, 2885 secs 10031 markings/sec, 2890 secs 10507 markings/sec, 2895 secs 10833 markings/sec, 2900 secs 10505 markings/sec, 2905 secs 11671 markings/sec, 2910 secs 11910 markings/sec, 2915 secs 11776 markings/sec, 2920 secs 11747 markings/sec, 2925 secs 11752 markings/sec, 2930 secs 11826 markings/sec, 2935 secs 11769 markings/sec, 2940 secs 11781 markings/sec, 2945 secs 11850 markings/sec, 2950 secs 11815 markings/sec, 2955 secs 11764 markings/sec, 2960 secs 11758 markings/sec, 2965 secs 11733 markings/sec, 2970 secs 11870 markings/sec, 2975 secs 11726 markings/sec, 2980 secs 11707 markings/sec, 2985 secs 11893 markings/sec, 2990 secs 11842 markings/sec, 2995 secs 11908 markings/sec, 3000 secs 11986 markings/sec, 3005 secs 11901 markings/sec, 3010 secs 11804 markings/sec, 3015 secs 11717 markings/sec, 3020 secs 11777 markings/sec, 3025 secs 11688 markings/sec, 3030 secs 11669 markings/sec, 3035 secs 11812 markings/sec, 3040 secs 11864 markings/sec, 3045 secs 11796 markings/sec, 3050 secs 11641 markings/sec, 3055 secs 11808 markings/sec, 3060 secs 11764 markings/sec, 3065 secs 11801 markings/sec, 3070 secs 11712 markings/sec, 3075 secs 11700 markings/sec, 3080 secs 11758 markings/sec, 3085 secs 11701 markings/sec, 3090 secs 11794 markings/sec, 3095 secs 11685 markings/sec, 3100 secs 11618 markings/sec, 3105 secs 11666 markings/sec, 3110 secs 11680 markings/sec, 3115 secs 11842 markings/sec, 3120 secs 11896 markings/sec, 3125 secs 11733 markings/sec, 3130 secs 11804 markings/sec, 3135 secs 11758 markings/sec, 3140 secs 11733 markings/sec, 3145 secs 11877 markings/sec, 3150 secs 11654 markings/sec, 3155 secs 11826 markings/sec, 3160 secs 11763 markings/sec, 3165 secs 11730 markings/sec, 3170 secs 11787 markings/sec, 3175 secs 11752 markings/sec, 3180 secs 11845 markings/sec, 3185 secs 12112 markings/sec, 3190 secs 11862 markings/sec, 3195 secs 11813 markings/sec, 3200 secs 11852 markings/sec, 3205 secs 11854 markings/sec, 3210 secs 11764 markings/sec, 3215 secs 11721 markings/sec, 3220 secs 12274 markings/sec, 3225 secs 11730 markings/sec, 3230 secs 11806 markings/sec, 3235 secs 11750 markings/sec, 3240 secs 11847 markings/sec, 3245 secs 11739 markings/sec, 3250 secs 11535 markings/sec, 3255 secs 11673 markings/sec, 3260 secs 11789 markings/sec, 3265 secs 11750 markings/sec, 3270 secs 11668 markings/sec, 3275 secs 11936 markings/sec, 3280 secs 11787 markings/sec, 3285 secs 11765 markings/sec, 3290 secs 11668 markings/sec, 3295 secs 11798 markings/sec, 3300 secs 11809 markings/sec, 3305 secs 11889 markings/sec, 3310 secs 11766 markings/sec, 3315 secs 11857 markings/sec, 3320 secs 11835 markings/sec, 3325 secs 11812 markings/sec, 3330 secs 11831 markings/sec, 3335 secs 11752 markings/sec, 3340 secs 11715 markings/sec, 3345 secs 11620 markings/sec, 3350 secs 11646 markings/sec, 3355 secs 11778 markings/sec, 3360 secs 11784 markings/sec, 3365 secs 11795 markings/sec, 3370 secs 12046 markings/sec, 3375 secs 12620 markings/sec, 3380 secs 11873 markings/sec, 3385 secs 11814 markings/sec, 3390 secs 11952 markings/sec, 3395 secs 12035 markings/sec, 3400 secs 12140 markings/sec, 3405 secs 11777 markings/sec, 3410 secs 11997 markings/sec, 3415 secs 11794 markings/sec, 3420 secs 11732 markings/sec, 3425 secs 11869 markings/sec, 3430 secs 11843 markings/sec, 3435 secs 11761 markings/sec, 3440 secs 11794 markings/sec, 3445 secs 11838 markings/sec, 3450 secs 12110 markings/sec, 3455 secs 11818 markings/sec, 3460 secs 11560 markings/sec, 3465 secs 11222 markings/sec, 3470 secs 11317 markings/sec, 3475 secs 11354 markings/sec, 3480 secs 10826 markings/sec, 3485 secs 11219 markings/sec, 3490 secs 11271 markings/sec, 3495 secs 11320 markings/sec, 3500 secs 11174 markings/sec, 3505 secs 11188 markings/sec, 3510 secs 11298 markings/sec, 3515 secs 10717 markings/sec, 3520 secs 11209 markings/sec, 3525 secs 11089 markings/sec, 3530 secs 11232 markings/sec, 3535 secs 11249 markings/sec, 3540 secs 11505 markings/sec, 3545 secs 11315 markings/sec, 3550 secs 11322 markings/sec, 3555 secs 11494 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-08"
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-08, 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-155284909300057"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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