MCC'2019 - Execution of r049-oct2-155234405000426

About the Execution of LoLA for DLCround-PT-09b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
12839.000	3595484.00	7320714.00	833.10	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.5K Feb 10 06:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 06:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 05:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 05:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 22:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 22:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jan 30 12:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 30 12:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.3M 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 DLCround-PT-09b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552456298226

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-09b @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ DLCround-PT-09b

{
"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": "Wed Mar 13 05:51:38 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 12825844,
"runtime": 3571.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 15081,
"conflict_clusters": 3021,
"places": 3495,
"places_significant": 3311,
"singleton_clusters": 0,
"transitions": 5439
},
"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": 16384.000000,
"composed": 0,
"dead_branches": 0,
"generators": 14,
"interrupted": false,
"real_computed": 14,
"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: 8934/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3495
lola: finding significant places
lola: 3495 places, 5439 transitions, 3311 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 14 generators (14 in search tree, 0 by composition)
lola: representing 16384 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1585474 fired transitions, 0 secs || 112472 markings, 129922 edges,
lola: 4 tries, 3067277 fired transitions, 5 secs || 216241 markings, 250150 edges,
lola: 5 tries, 4557997 fired transitions, 10 secs || 320513 markings, 371969 edges,
lola: 7 tries, 6045818 fired transitions, 15 secs || 422664 markings, 491365 edges,
lola: 8 tries, 7530046 fired transitions, 20 secs || 524418 markings, 609460 edges,
lola: 10 tries, 9017344 fired transitions, 25 secs || 626309 markings, 727564 edges,
lola: 11 tries, 10507751 fired transitions, 30 secs || 727894 markings, 846180 edges,
lola: 12 tries, 11996990 fired transitions, 35 secs || 829969 markings, 965316 edges,
lola: 14 tries, 13495138 fired transitions, 40 secs || 932112 markings, 1084560 edges,
lola: 15 tries, 14993787 fired transitions, 45 secs || 1031235 markings, 1200031 edges,
lola: 17 tries, 16484318 fired transitions, 50 secs || 1132839 markings, 1318764 edges,
lola: 18 tries, 17975359 fired transitions, 55 secs || 1234720 markings, 1437937 edges,
lola: 20 tries, 19476876 fired transitions, 60 secs || 1338297 markings, 1558854 edges,
lola: 21 tries, 20976390 fired transitions, 65 secs || 1441074 markings, 1679038 edges,
lola: 23 tries, 22471973 fired transitions, 70 secs || 1543090 markings, 1798446 edges,
lola: 24 tries, 23970711 fired transitions, 75 secs || 1644924 markings, 1917580 edges,
lola: 26 tries, 25459728 fired transitions, 80 secs || 1747334 markings, 2036015 edges,
lola: 27 tries, 26961243 fired transitions, 85 secs || 1852053 markings, 2157371 edges,
lola: 29 tries, 28465835 fired transitions, 90 secs || 1956833 markings, 2279829 edges,
lola: 30 tries, 29962960 fired transitions, 95 secs || 2058815 markings, 2398102 edges,
lola: 32 tries, 31448790 fired transitions, 100 secs || 2160623 markings, 2515424 edges,
lola: 33 tries, 32984410 fired transitions, 105 secs || 2268408 markings, 2639074 edges,
lola: 35 tries, 34473249 fired transitions, 110 secs || 2372609 markings, 2757592 edges,
lola: 36 tries, 35971592 fired transitions, 115 secs || 2476387 markings, 2878065 edges,
lola: 38 tries, 37461772 fired transitions, 120 secs || 2579415 markings, 2997158 edges,
lola: 39 tries, 38958588 fired transitions, 125 secs || 2679683 markings, 3114399 edges,
lola: 41 tries, 40470214 fired transitions, 130 secs || 2783813 markings, 3237272 edges,
lola: 42 tries, 41974061 fired transitions, 135 secs || 2885324 markings, 3356268 edges,
lola: 44 tries, 43483716 fired transitions, 140 secs || 2987930 markings, 3477086 edges,
lola: 45 tries, 44991571 fired transitions, 145 secs || 3089302 markings, 3595966 edges,
lola: 47 tries, 46501406 fired transitions, 150 secs || 3191128 markings, 3715712 edges,
lola: 49 tries, 48004888 fired transitions, 155 secs || 3291643 markings, 3833328 edges,
lola: 50 tries, 49514971 fired transitions, 160 secs || 3394107 markings, 3954066 edges,
lola: 52 tries, 51022001 fired transitions, 165 secs || 3495670 markings, 4073152 edges,
lola: 53 tries, 52535011 fired transitions, 170 secs || 3596989 markings, 4192216 edges,
lola: 55 tries, 54036303 fired transitions, 175 secs || 3697228 markings, 4309312 edges,
lola: 56 tries, 55533510 fired transitions, 180 secs || 3798495 markings, 4426632 edges,
lola: 58 tries, 57031406 fired transitions, 185 secs || 3900283 markings, 4545201 edges,
lola: 59 tries, 58531071 fired transitions, 190 secs || 4002743 markings, 4663159 edges,
lola: 61 tries, 60047740 fired transitions, 195 secs || 4105714 markings, 4784382 edges,
lola: 62 tries, 61577387 fired transitions, 200 secs || 4209396 markings, 4907060 edges,
lola: 64 tries, 63094745 fired transitions, 205 secs || 4310731 markings, 5026219 edges,
lola: 65 tries, 64596899 fired transitions, 210 secs || 4411583 markings, 5143877 edges,
lola: 67 tries, 66088202 fired transitions, 215 secs || 4513014 markings, 5261632 edges,
lola: 68 tries, 67595277 fired transitions, 220 secs || 4614827 markings, 5380449 edges,
lola: 70 tries, 69099313 fired transitions, 225 secs || 4716011 markings, 5499153 edges,
lola: 71 tries, 70606579 fired transitions, 230 secs || 4816871 markings, 5617292 edges,
lola: 73 tries, 72115568 fired transitions, 235 secs || 4918025 markings, 5735629 edges,
lola: 74 tries, 73619121 fired transitions, 240 secs || 5020055 markings, 5855540 edges,
lola: 76 tries, 75124190 fired transitions, 245 secs || 5120425 markings, 5973127 edges,
lola: 77 tries, 76604780 fired transitions, 250 secs || 5221932 markings, 6092143 edges,
lola: 79 tries, 78088531 fired transitions, 255 secs || 5321778 markings, 6208547 edges,
lola: 80 tries, 79603686 fired transitions, 260 secs || 5424558 markings, 6329681 edges,
lola: 82 tries, 81100117 fired transitions, 265 secs || 5528105 markings, 6451716 edges,
lola: 83 tries, 82624057 fired transitions, 270 secs || 5631943 markings, 6574720 edges,
lola: 85 tries, 84145260 fired transitions, 275 secs || 5735142 markings, 6696545 edges,
lola: 86 tries, 85661809 fired transitions, 280 secs || 5836736 markings, 6816092 edges,
lola: 88 tries, 87183057 fired transitions, 285 secs || 5940779 markings, 6939197 edges,
lola: 89 tries, 88692561 fired transitions, 290 secs || 6042164 markings, 7057496 edges,
lola: 91 tries, 90199929 fired transitions, 295 secs || 6143657 markings, 7176598 edges,
lola: 92 tries, 91704335 fired transitions, 300 secs || 6244745 markings, 7295508 edges,
lola: 94 tries, 93203464 fired transitions, 305 secs || 6346415 markings, 7414078 edges,
lola: 95 tries, 94671433 fired transitions, 310 secs || 6449578 markings, 7532916 edges,
lola: 97 tries, 96175957 fired transitions, 315 secs || 6551282 markings, 7650975 edges,
lola: 98 tries, 97685527 fired transitions, 320 secs || 6652663 markings, 7769436 edges,
lola: 100 tries, 99173429 fired transitions, 325 secs || 6758845 markings, 7890331 edges,
lola: 101 tries, 100647240 fired transitions, 330 secs || 6864160 markings, 8010669 edges,
lola: 103 tries, 102128738 fired transitions, 335 secs || 6967677 markings, 8132859 edges,
lola: 104 tries, 103627014 fired transitions, 340 secs || 7070586 markings, 8254307 edges,
lola: 106 tries, 105132854 fired transitions, 345 secs || 7172501 markings, 8373646 edges,
lola: 107 tries, 106657258 fired transitions, 350 secs || 7278858 markings, 8500302 edges,
lola: 109 tries, 108164290 fired transitions, 355 secs || 7380513 markings, 8619822 edges,
lola: 110 tries, 109681854 fired transitions, 360 secs || 7481783 markings, 8738973 edges,
lola: 112 tries, 111196094 fired transitions, 365 secs || 7584418 markings, 8859980 edges,
lola: 113 tries, 112704756 fired transitions, 370 secs || 7686977 markings, 8980123 edges,
lola: 115 tries, 114214399 fired transitions, 375 secs || 7790073 markings, 9101435 edges,
lola: 116 tries, 115723705 fired transitions, 380 secs || 7893278 markings, 9222210 edges,
lola: 118 tries, 117222178 fired transitions, 385 secs || 7994966 markings, 9340890 edges,
lola: 119 tries, 118720758 fired transitions, 390 secs || 8095918 markings, 9458920 edges,
lola: 121 tries, 120226653 fired transitions, 395 secs || 8200016 markings, 9580421 edges,
lola: 122 tries, 121728982 fired transitions, 400 secs || 8301373 markings, 9698400 edges,
lola: 124 tries, 123227526 fired transitions, 405 secs || 8403235 markings, 9816719 edges,
lola: 125 tries, 124726840 fired transitions, 410 secs || 8504593 markings, 9934339 edges,
lola: 127 tries, 126224702 fired transitions, 415 secs || 8606222 markings, 10052381 edges,
lola: 128 tries, 127734621 fired transitions, 420 secs || 8709108 markings, 10172116 edges,
lola: 130 tries, 129240872 fired transitions, 425 secs || 8811206 markings, 10290592 edges,
lola: 131 tries, 130743242 fired transitions, 430 secs || 8913137 markings, 10409311 edges,
lola: 133 tries, 132250306 fired transitions, 435 secs || 9015825 markings, 10528892 edges,
lola: 134 tries, 133753218 fired transitions, 440 secs || 9117193 markings, 10646611 edges,
lola: 136 tries, 135252982 fired transitions, 445 secs || 9219290 markings, 10763789 edges,
lola: 137 tries, 136747578 fired transitions, 450 secs || 9320185 markings, 10881254 edges,
lola: 139 tries, 138243634 fired transitions, 455 secs || 9419110 markings, 10996387 edges,
lola: 140 tries, 139739438 fired transitions, 460 secs || 9518302 markings, 11111611 edges,
lola: 142 tries, 141243118 fired transitions, 465 secs || 9617952 markings, 11227852 edges,
lola: 143 tries, 142739814 fired transitions, 470 secs || 9717935 markings, 11344316 edges,
lola: 145 tries, 144241814 fired transitions, 475 secs || 9818680 markings, 11462195 edges,
lola: 146 tries, 145746654 fired transitions, 480 secs || 9918087 markings, 11578200 edges,
lola: 148 tries, 147291186 fired transitions, 485 secs || 10021847 markings, 11699533 edges,
lola: 150 tries, 149018777 fired transitions, 490 secs || 10143571 markings, 11840612 edges,
lola: 151 tries, 150931594 fired transitions, 495 secs || 10292473 markings, 12008202 edges,
lola: 153 tries, 152854581 fired transitions, 500 secs || 10434807 markings, 12170403 edges,
lola: 155 tries, 154458328 fired transitions, 505 secs || 10544491 markings, 12298122 edges,
lola: 156 tries, 155966767 fired transitions, 510 secs || 10643127 markings, 12413059 edges,
lola: 158 tries, 157483604 fired transitions, 515 secs || 10744094 markings, 12531589 edges,
lola: 159 tries, 158994944 fired transitions, 520 secs || 10845342 markings, 12650503 edges,
lola: 161 tries, 160502049 fired transitions, 525 secs || 10946058 markings, 12768500 edges,
lola: 163 tries, 162004413 fired transitions, 530 secs || 11046899 markings, 12886004 edges,
lola: 164 tries, 163468805 fired transitions, 535 secs || 11147461 markings, 13002428 edges,
lola: 165 tries, 164953163 fired transitions, 540 secs || 11246525 markings, 13117199 edges,
lola: 167 tries, 166445939 fired transitions, 545 secs || 11348888 markings, 13237761 edges,
lola: 168 tries, 167942388 fired transitions, 550 secs || 11449086 markings, 13355175 edges,
lola: 170 tries, 169391679 fired transitions, 555 secs || 11558768 markings, 13484381 edges,
lola: 171 tries, 170831330 fired transitions, 560 secs || 11662096 markings, 13605474 edges,
lola: 173 tries, 172429274 fired transitions, 565 secs || 11776047 markings, 13736545 edges,
lola: 174 tries, 173939463 fired transitions, 570 secs || 11875969 markings, 13853673 edges,
lola: 176 tries, 175449534 fired transitions, 575 secs || 11980143 markings, 13974886 edges,
lola: 177 tries, 176952216 fired transitions, 580 secs || 12081432 markings, 14092625 edges,
lola: 179 tries, 178452193 fired transitions, 585 secs || 12180373 markings, 14207734 edges,
lola: 180 tries, 179964569 fired transitions, 590 secs || 12282188 markings, 14327511 edges,
lola: 182 tries, 181474585 fired transitions, 595 secs || 12384631 markings, 14448095 edges,
lola: 183 tries, 182984010 fired transitions, 600 secs || 12486579 markings, 14567641 edges,
lola: 185 tries, 184493884 fired transitions, 605 secs || 12587376 markings, 14685879 edges,
lola: 187 tries, 186011088 fired transitions, 610 secs || 12689116 markings, 14805223 edges,
lola: 188 tries, 187512452 fired transitions, 615 secs || 12788502 markings, 14921077 edges,
lola: 190 tries, 189014246 fired transitions, 620 secs || 12888446 markings, 15036741 edges,
lola: 191 tries, 190524922 fired transitions, 625 secs || 12988247 markings, 15152635 edges,
lola: 193 tries, 192043703 fired transitions, 630 secs || 13089933 markings, 15272153 edges,
lola: 194 tries, 193544336 fired transitions, 635 secs || 13189921 markings, 15388084 edges,
lola: 196 tries, 195037565 fired transitions, 640 secs || 13295828 markings, 15508322 edges,
lola: 197 tries, 196548565 fired transitions, 645 secs || 13400531 markings, 15629085 edges,
lola: 199 tries, 198063874 fired transitions, 650 secs || 13501509 markings, 15747723 edges,
lola: 200 tries, 199578782 fired transitions, 655 secs || 13601431 markings, 15864783 edges,
lola: 202 tries, 201087942 fired transitions, 660 secs || 13704106 markings, 15985739 edges,
lola: 203 tries, 202593634 fired transitions, 665 secs || 13804078 markings, 16102637 edges,
lola: 205 tries, 204118766 fired transitions, 670 secs || 13906724 markings, 16224079 edges,
lola: 206 tries, 205617184 fired transitions, 675 secs || 14009830 markings, 16342842 edges,
lola: 208 tries, 207125141 fired transitions, 680 secs || 14110081 markings, 16460165 edges,
lola: 209 tries, 208635768 fired transitions, 685 secs || 14209807 markings, 16576569 edges,
lola: 211 tries, 210140188 fired transitions, 690 secs || 14309874 markings, 16693212 edges,
lola: 212 tries, 211653825 fired transitions, 695 secs || 14413704 markings, 16814219 edges,
lola: 214 tries, 213158034 fired transitions, 700 secs || 14516534 markings, 16934103 edges,
lola: 215 tries, 214666936 fired transitions, 705 secs || 14618466 markings, 17052984 edges,
lola: 217 tries, 216181869 fired transitions, 710 secs || 14723778 markings, 17176662 edges,
lola: 218 tries, 217702516 fired transitions, 715 secs || 14829210 markings, 17300595 edges,
lola: 220 tries, 219200744 fired transitions, 720 secs || 14930348 markings, 17418349 edges,
lola: 221 tries, 220700766 fired transitions, 725 secs || 15031456 markings, 17535831 edges,
lola: 223 tries, 222210396 fired transitions, 730 secs || 15134187 markings, 17655501 edges,
lola: 224 tries, 223724322 fired transitions, 735 secs || 15234964 markings, 17772748 edges,
lola: 226 tries, 225234349 fired transitions, 740 secs || 15334766 markings, 17888635 edges,
lola: 227 tries, 226738105 fired transitions, 745 secs || 15435411 markings, 18006021 edges,
lola: 229 tries, 228246423 fired transitions, 750 secs || 15535463 markings, 18122154 edges,
lola: 230 tries, 229750907 fired transitions, 755 secs || 15637740 markings, 18239399 edges,
lola: 232 tries, 231247909 fired transitions, 760 secs || 15736812 markings, 18354554 edges,
lola: 233 tries, 232766355 fired transitions, 765 secs || 15837518 markings, 18472732 edges,
lola: 235 tries, 234285330 fired transitions, 770 secs || 15938785 markings, 18591661 edges,
lola: 236 tries, 235812170 fired transitions, 775 secs || 16041612 markings, 18713282 edges,
lola: 238 tries, 237322055 fired transitions, 780 secs || 16142561 markings, 18831659 edges,
lola: 239 tries, 238842779 fired transitions, 785 secs || 16246251 markings, 18954163 edges,
lola: 241 tries, 240359112 fired transitions, 790 secs || 16347053 markings, 19072341 edges,
lola: 242 tries, 241878203 fired transitions, 795 secs || 16449057 markings, 19192438 edges,
lola: 244 tries, 243380634 fired transitions, 800 secs || 16550228 markings, 19309265 edges,
lola: 245 tries, 244888839 fired transitions, 805 secs || 16651194 markings, 19427677 edges,
lola: 247 tries, 246380754 fired transitions, 810 secs || 16751738 markings, 19544260 edges,
lola: 248 tries, 247889661 fired transitions, 815 secs || 16852043 markings, 19660896 edges,
lola: 250 tries, 249407290 fired transitions, 820 secs || 16954241 markings, 19780961 edges,
lola: 251 tries, 250912901 fired transitions, 825 secs || 17055536 markings, 19898622 edges,
lola: 253 tries, 252400469 fired transitions, 830 secs || 17156204 markings, 20015289 edges,
lola: 254 tries, 253881853 fired transitions, 835 secs || 17263117 markings, 20141133 edges,
lola: 256 tries, 255512808 fired transitions, 840 secs || 17386633 markings, 20286047 edges,
lola: 258 tries, 257160294 fired transitions, 845 secs || 17513869 markings, 20434791 edges,
lola: 259 tries, 258696919 fired transitions, 850 secs || 17636627 markings, 20580108 edges,
lola: 261 tries, 260201880 fired transitions, 855 secs || 17750000 markings, 20713724 edges,
lola: 262 tries, 261722785 fired transitions, 860 secs || 17856437 markings, 20838623 edges,
lola: 264 tries, 263246986 fired transitions, 865 secs || 17959428 markings, 20960253 edges,
lola: 265 tries, 264759537 fired transitions, 870 secs || 18062545 markings, 21081536 edges,
lola: 267 tries, 266267764 fired transitions, 875 secs || 18161269 markings, 21196168 edges,
lola: 268 tries, 267782062 fired transitions, 880 secs || 18263956 markings, 21316654 edges,
lola: 270 tries, 269287850 fired transitions, 885 secs || 18365785 markings, 21435507 edges,
lola: 271 tries, 270798535 fired transitions, 890 secs || 18466287 markings, 21552586 edges,
lola: 273 tries, 272314770 fired transitions, 895 secs || 18566952 markings, 21670947 edges,
lola: 274 tries, 273851226 fired transitions, 900 secs || 18669958 markings, 21793076 edges,
lola: 276 tries, 275392107 fired transitions, 905 secs || 18768024 markings, 21908446 edges,
lola: 277 tries, 276934643 fired transitions, 910 secs || 18863637 markings, 22020278 edges,
lola: 279 tries, 278457884 fired transitions, 915 secs || 18963063 markings, 22136839 edges,
lola: 280 tries, 279960874 fired transitions, 920 secs || 19064720 markings, 22256060 edges,
lola: 282 tries, 281415793 fired transitions, 925 secs || 19168605 markings, 22373881 edges,
lola: 283 tries, 282945912 fired transitions, 930 secs || 19272360 markings, 22495021 edges,
lola: 285 tries, 284424918 fired transitions, 935 secs || 19374909 markings, 22615324 edges,
lola: 286 tries, 285824115 fired transitions, 940 secs || 19490905 markings, 22752338 edges,
lola: 288 tries, 287317665 fired transitions, 945 secs || 19594033 markings, 22873656 edges,
lola: 289 tries, 288851659 fired transitions, 950 secs || 19690313 markings, 22986780 edges,
lola: 291 tries, 290359761 fired transitions, 955 secs || 19790975 markings, 23102592 edges,
lola: 292 tries, 291863987 fired transitions, 960 secs || 19892190 markings, 23219627 edges,
lola: 294 tries, 293371839 fired transitions, 965 secs || 19995047 markings, 23337123 edges,
lola: 295 tries, 294892315 fired transitions, 970 secs || 20097053 markings, 23456520 edges,
lola: 297 tries, 296416757 fired transitions, 975 secs || 20199086 markings, 23577033 edges,
lola: 298 tries, 297923800 fired transitions, 980 secs || 20300972 markings, 23695957 edges,
lola: 300 tries, 299431917 fired transitions, 985 secs || 20400520 markings, 23812281 edges,
lola: 301 tries, 300944833 fired transitions, 990 secs || 20504504 markings, 23935508 edges,
lola: 303 tries, 302447541 fired transitions, 995 secs || 20605874 markings, 24054041 edges,
lola: 304 tries, 303949793 fired transitions, 1000 secs || 20708934 markings, 24172775 edges,
lola: 306 tries, 305485115 fired transitions, 1005 secs || 20810921 markings, 24293021 edges,
lola: 308 tries, 307003805 fired transitions, 1010 secs || 20911231 markings, 24410758 edges,
lola: 309 tries, 308508522 fired transitions, 1015 secs || 21013076 markings, 24529747 edges,
lola: 311 tries, 310009248 fired transitions, 1020 secs || 21117530 markings, 24650537 edges,
lola: 312 tries, 311453250 fired transitions, 1025 secs || 21214176 markings, 24764367 edges,
lola: 313 tries, 312903840 fired transitions, 1030 secs || 21317471 markings, 24885649 edges,
lola: 315 tries, 314378431 fired transitions, 1035 secs || 21422100 markings, 25009520 edges,
lola: 316 tries, 315841398 fired transitions, 1040 secs || 21526009 markings, 25131921 edges,
lola: 318 tries, 317307994 fired transitions, 1045 secs || 21630091 markings, 25254483 edges,
lola: 319 tries, 318753728 fired transitions, 1050 secs || 21735080 markings, 25378672 edges,
lola: 321 tries, 320210041 fired transitions, 1055 secs || 21839215 markings, 25501760 edges,
lola: 322 tries, 321685190 fired transitions, 1060 secs || 21942656 markings, 25623992 edges,
lola: 324 tries, 323155429 fired transitions, 1065 secs || 22045396 markings, 25745210 edges,
lola: 325 tries, 324674960 fired transitions, 1070 secs || 22146801 markings, 25864844 edges,
lola: 327 tries, 326207128 fired transitions, 1075 secs || 22250202 markings, 25987388 edges,
lola: 328 tries, 327726405 fired transitions, 1080 secs || 22352579 markings, 26108138 edges,
lola: 330 tries, 329239590 fired transitions, 1085 secs || 22456452 markings, 26230851 edges,
lola: 331 tries, 330788732 fired transitions, 1090 secs || 22560805 markings, 26354297 edges,
lola: 333 tries, 332307070 fired transitions, 1095 secs || 22662302 markings, 26473754 edges,
lola: 334 tries, 333815604 fired transitions, 1100 secs || 22764062 markings, 26593781 edges,
lola: 336 tries, 335335078 fired transitions, 1105 secs || 22869271 markings, 26718529 edges,
lola: 337 tries, 336869840 fired transitions, 1110 secs || 22973620 markings, 26842622 edges,
lola: 339 tries, 338398036 fired transitions, 1115 secs || 23078090 markings, 26966732 edges,
lola: 340 tries, 339896577 fired transitions, 1120 secs || 23178578 markings, 27083854 edges,
lola: 342 tries, 341410174 fired transitions, 1125 secs || 23279972 markings, 27202030 edges,
lola: 343 tries, 342919676 fired transitions, 1130 secs || 23380335 markings, 27318830 edges,
lola: 345 tries, 344422114 fired transitions, 1135 secs || 23480434 markings, 27435046 edges,
lola: 346 tries, 345938824 fired transitions, 1140 secs || 23583032 markings, 27555918 edges,
lola: 348 tries, 347461147 fired transitions, 1145 secs || 23683319 markings, 27673559 edges,
lola: 349 tries, 348990005 fired transitions, 1150 secs || 23785530 markings, 27794099 edges,
lola: 351 tries, 350508482 fired transitions, 1155 secs || 23887963 markings, 27914807 edges,
lola: 353 tries, 352020864 fired transitions, 1160 secs || 23990744 markings, 28036437 edges,
lola: 354 tries, 353740470 fired transitions, 1165 secs || 24111853 markings, 28178773 edges,
lola: 356 tries, 355451171 fired transitions, 1170 secs || 24231635 markings, 28318804 edges,
lola: 358 tries, 357099013 fired transitions, 1175 secs || 24344352 markings, 28449357 edges,
lola: 359 tries, 358605771 fired transitions, 1180 secs || 24446031 markings, 28567088 edges,
lola: 361 tries, 360138149 fired transitions, 1185 secs || 24547067 markings, 28686274 edges,
lola: 362 tries, 361674203 fired transitions, 1190 secs || 24650717 markings, 28809438 edges,
lola: 364 tries, 363205174 fired transitions, 1195 secs || 24755910 markings, 28934483 edges,
lola: 365 tries, 364713015 fired transitions, 1200 secs || 24859748 markings, 29055113 edges,
lola: 367 tries, 366214606 fired transitions, 1205 secs || 24962807 markings, 29174943 edges,
lola: 368 tries, 367724029 fired transitions, 1210 secs || 25066441 markings, 29296370 edges,
lola: 370 tries, 369224894 fired transitions, 1215 secs || 25167191 markings, 29414909 edges,
lola: 371 tries, 370265492 fired transitions, 1220 secs || 25245362 markings, 29506918 edges,
lola: 372 tries, 371305147 fired transitions, 1225 secs || 25324747 markings, 29600359 edges,
lola: 373 tries, 372344632 fired transitions, 1230 secs || 25403996 markings, 29694344 edges,
lola: 374 tries, 373539110 fired transitions, 1235 secs || 25489230 markings, 29794887 edges,
lola: 376 tries, 375078317 fired transitions, 1240 secs || 25591987 markings, 29916422 edges,
lola: 377 tries, 376632981 fired transitions, 1245 secs || 25696391 markings, 30040397 edges,
lola: 379 tries, 378105812 fired transitions, 1250 secs || 25794506 markings, 30156210 edges,
lola: 380 tries, 379143707 fired transitions, 1255 secs || 25872048 markings, 30247656 edges,
lola: 381 tries, 380185603 fired transitions, 1260 secs || 25950761 markings, 30340326 edges,
lola: 382 tries, 381222175 fired transitions, 1265 secs || 26029405 markings, 30433716 edges,
lola: 383 tries, 382355471 fired transitions, 1270 secs || 26114917 markings, 30536405 edges,
lola: 384 tries, 383404085 fired transitions, 1275 secs || 26192571 markings, 30627398 edges,
lola: 385 tries, 384655063 fired transitions, 1280 secs || 26280060 markings, 30730675 edges,
lola: 386 tries, 385789598 fired transitions, 1285 secs || 26360307 markings, 30824876 edges,
lola: 387 tries, 386803670 fired transitions, 1290 secs || 26434925 markings, 30913099 edges,
lola: 388 tries, 387841978 fired transitions, 1295 secs || 26511720 markings, 31004194 edges,
lola: 389 tries, 388879854 fired transitions, 1300 secs || 26589086 markings, 31095664 edges,
lola: 390 tries, 389922169 fired transitions, 1305 secs || 26667915 markings, 31188534 edges,
lola: 391 tries, 390997421 fired transitions, 1310 secs || 26748643 markings, 31284896 edges,
lola: 393 tries, 392542042 fired transitions, 1315 secs || 26851649 markings, 31406625 edges,
lola: 395 tries, 394088187 fired transitions, 1320 secs || 26956408 markings, 31530532 edges,
lola: 396 tries, 395625050 fired transitions, 1325 secs || 27057962 markings, 31649909 edges,
lola: 398 tries, 397174394 fired transitions, 1330 secs || 27160204 markings, 31770942 edges,
lola: 399 tries, 398727671 fired transitions, 1335 secs || 27264042 markings, 31894050 edges,
lola: 401 tries, 400300724 fired transitions, 1340 secs || 27363334 markings, 32011438 edges,
lola: 402 tries, 401825477 fired transitions, 1345 secs || 27464476 markings, 32129373 edges,
lola: 404 tries, 403369352 fired transitions, 1350 secs || 27565542 markings, 32247684 edges,
lola: 405 tries, 404878963 fired transitions, 1355 secs || 27665947 markings, 32364179 edges,
lola: 407 tries, 406411223 fired transitions, 1360 secs || 27767596 markings, 32482732 edges,
lola: 408 tries, 407934231 fired transitions, 1365 secs || 27867784 markings, 32599523 edges,
lola: 409 tries, 408973157 fired transitions, 1370 secs || 27946955 markings, 32692293 edges,
lola: 411 tries, 410015435 fired transitions, 1375 secs || 28025976 markings, 32785531 edges,
lola: 412 tries, 411053063 fired transitions, 1380 secs || 28105881 markings, 32880188 edges,
lola: 413 tries, 412089565 fired transitions, 1385 secs || 28186395 markings, 32976060 edges,
lola: 414 tries, 413356948 fired transitions, 1390 secs || 28281517 markings, 33087800 edges,
lola: 415 tries, 414532641 fired transitions, 1395 secs || 28366705 markings, 33187555 edges,
lola: 416 tries, 415573773 fired transitions, 1400 secs || 28443844 markings, 33277985 edges,
lola: 417 tries, 416714108 fired transitions, 1405 secs || 28529859 markings, 33378838 edges,
lola: 418 tries, 417748582 fired transitions, 1410 secs || 28606872 markings, 33468842 edges,
lola: 419 tries, 418788046 fired transitions, 1415 secs || 28686959 markings, 33563814 edges,
lola: 420 tries, 419822442 fired transitions, 1420 secs || 28767052 markings, 33659188 edges,
lola: 421 tries, 420863000 fired transitions, 1425 secs || 28845337 markings, 33751457 edges,
lola: 422 tries, 421904483 fired transitions, 1430 secs || 28924762 markings, 33845666 edges,
lola: 423 tries, 422943929 fired transitions, 1435 secs || 29005651 markings, 33942155 edges,
lola: 424 tries, 423980950 fired transitions, 1440 secs || 29085774 markings, 34037993 edges,
lola: 426 tries, 425021144 fired transitions, 1445 secs || 29163687 markings, 34129919 edges,
lola: 427 tries, 426063729 fired transitions, 1450 secs || 29242135 markings, 34222193 edges,
lola: 428 tries, 427102749 fired transitions, 1455 secs || 29320842 markings, 34315067 edges,
lola: 429 tries, 428141548 fired transitions, 1460 secs || 29399414 markings, 34407879 edges,
lola: 430 tries, 429178748 fired transitions, 1465 secs || 29478551 markings, 34501558 edges,
lola: 431 tries, 430218326 fired transitions, 1470 secs || 29559548 markings, 34598815 edges,
lola: 432 tries, 431380297 fired transitions, 1475 secs || 29645602 markings, 34699381 edges,
lola: 433 tries, 432419058 fired transitions, 1480 secs || 29722620 markings, 34789712 edges,
lola: 434 tries, 433717766 fired transitions, 1485 secs || 29821310 markings, 34903956 edges,
lola: 436 tries, 435254327 fired transitions, 1490 secs || 29942080 markings, 35042029 edges,
lola: 437 tries, 436804098 fired transitions, 1495 secs || 30057906 markings, 35178681 edges,
lola: 439 tries, 438358586 fired transitions, 1500 secs || 30176585 markings, 35319124 edges,
lola: 440 tries, 439915439 fired transitions, 1505 secs || 30291858 markings, 35454350 edges,
lola: 442 tries, 441478248 fired transitions, 1510 secs || 30404267 markings, 35586536 edges,
lola: 443 tries, 442908480 fired transitions, 1515 secs || 30510988 markings, 35713088 edges,
lola: 444 tries, 443949405 fired transitions, 1520 secs || 30588234 markings, 35804382 edges,
lola: 445 tries, 444986668 fired transitions, 1525 secs || 30663368 markings, 35893356 edges,
lola: 447 tries, 446028304 fired transitions, 1530 secs || 30740065 markings, 35984266 edges,
lola: 448 tries, 447067715 fired transitions, 1535 secs || 30819161 markings, 36078231 edges,
lola: 449 tries, 448103071 fired transitions, 1540 secs || 30896471 markings, 36169016 edges,
lola: 450 tries, 449142116 fired transitions, 1545 secs || 30973796 markings, 36261688 edges,
lola: 451 tries, 450161518 fired transitions, 1550 secs || 31050191 markings, 36352667 edges,
lola: 452 tries, 451203657 fired transitions, 1555 secs || 31129465 markings, 36446413 edges,
lola: 453 tries, 452242132 fired transitions, 1560 secs || 31208911 markings, 36541712 edges,
lola: 454 tries, 453281906 fired transitions, 1565 secs || 31288010 markings, 36636691 edges,
lola: 455 tries, 454322420 fired transitions, 1570 secs || 31366599 markings, 36729212 edges,
lola: 456 tries, 455363300 fired transitions, 1575 secs || 31447207 markings, 36825744 edges,
lola: 457 tries, 456402695 fired transitions, 1580 secs || 31526430 markings, 36920564 edges,
lola: 458 tries, 457440034 fired transitions, 1585 secs || 31604320 markings, 37013085 edges,
lola: 459 tries, 458482062 fired transitions, 1590 secs || 31682287 markings, 37106278 edges,
lola: 460 tries, 459521963 fired transitions, 1595 secs || 31761899 markings, 37200893 edges,
lola: 461 tries, 460562614 fired transitions, 1600 secs || 31842037 markings, 37296087 edges,
lola: 462 tries, 461926108 fired transitions, 1605 secs || 31947666 markings, 37419313 edges,
lola: 464 tries, 463453469 fired transitions, 1610 secs || 32069035 markings, 37557631 edges,
lola: 465 tries, 464494125 fired transitions, 1615 secs || 32148530 markings, 37651377 edges,
lola: 466 tries, 465534672 fired transitions, 1620 secs || 32226483 markings, 37743134 edges,
lola: 467 tries, 466573043 fired transitions, 1625 secs || 32305901 markings, 37836398 edges,
lola: 468 tries, 467615908 fired transitions, 1630 secs || 32387273 markings, 37932832 edges,
lola: 469 tries, 468751521 fired transitions, 1635 secs || 32475045 markings, 38037843 edges,
lola: 471 tries, 470333945 fired transitions, 1640 secs || 32598386 markings, 38185331 edges,
lola: 472 tries, 471913078 fired transitions, 1645 secs || 32718651 markings, 38328225 edges,
lola: 474 tries, 473319162 fired transitions, 1650 secs || 32823144 markings, 38451119 edges,
lola: 475 tries, 474360120 fired transitions, 1655 secs || 32899432 markings, 38541258 edges,
lola: 476 tries, 475400872 fired transitions, 1660 secs || 32978095 markings, 38634123 edges,
lola: 477 tries, 476438864 fired transitions, 1665 secs || 33056288 markings, 38726260 edges,
lola: 478 tries, 477792110 fired transitions, 1670 secs || 33153308 markings, 38840511 edges,
lola: 480 tries, 479360217 fired transitions, 1675 secs || 33271821 markings, 38979816 edges,
lola: 481 tries, 480932041 fired transitions, 1680 secs || 33391881 markings, 39121991 edges,
lola: 483 tries, 482219577 fired transitions, 1685 secs || 33489710 markings, 39236673 edges,
lola: 484 tries, 483476316 fired transitions, 1690 secs || 33587620 markings, 39351461 edges,
lola: 485 tries, 484981880 fired transitions, 1695 secs || 33704457 markings, 39487878 edges,
lola: 487 tries, 486513346 fired transitions, 1700 secs || 33822664 markings, 39626376 edges,
lola: 489 tries, 488057317 fired transitions, 1705 secs || 33942523 markings, 39765419 edges,
lola: 490 tries, 489629113 fired transitions, 1710 secs || 34060621 markings, 39905462 edges,
lola: 492 tries, 491144538 fired transitions, 1715 secs || 34176431 markings, 40041118 edges,
lola: 493 tries, 492631702 fired transitions, 1720 secs || 34292930 markings, 40176591 edges,
lola: 495 tries, 494144765 fired transitions, 1725 secs || 34409255 markings, 40312880 edges,
lola: 496 tries, 495652194 fired transitions, 1730 secs || 34529496 markings, 40451511 edges,
lola: 498 tries, 497160428 fired transitions, 1735 secs || 34644673 markings, 40586345 edges,
lola: 499 tries, 498539920 fired transitions, 1740 secs || 34750003 markings, 40710110 edges,
lola: 501 tries, 500036093 fired transitions, 1745 secs || 34859394 markings, 40839617 edges,
lola: 502 tries, 501319666 fired transitions, 1750 secs || 34956394 markings, 40952986 edges,
lola: 503 tries, 502850215 fired transitions, 1755 secs || 35074411 markings, 41091079 edges,
lola: 505 tries, 504402257 fired transitions, 1760 secs || 35194786 markings, 41233525 edges,
lola: 506 tries, 505553126 fired transitions, 1765 secs || 35282767 markings, 41337186 edges,
lola: 507 tries, 506555373 fired transitions, 1770 secs || 35358642 markings, 41427482 edges,
lola: 508 tries, 507592994 fired transitions, 1775 secs || 35436231 markings, 41519350 edges,
lola: 509 tries, 508632188 fired transitions, 1780 secs || 35513474 markings, 41610949 edges,
lola: 510 tries, 509663986 fired transitions, 1785 secs || 35590295 markings, 41702795 edges,
lola: 511 tries, 510811846 fired transitions, 1790 secs || 35677573 markings, 41806732 edges,
lola: 513 tries, 512135065 fired transitions, 1795 secs || 35773034 markings, 41919226 edges,
lola: 514 tries, 513706388 fired transitions, 1800 secs || 35890085 markings, 42058002 edges,
lola: 516 tries, 515253494 fired transitions, 1805 secs || 36008000 markings, 42196994 edges,
lola: 517 tries, 516796490 fired transitions, 1810 secs || 36127736 markings, 42338654 edges,
lola: 519 tries, 518348827 fired transitions, 1815 secs || 36246337 markings, 42479285 edges,
lola: 520 tries, 519846854 fired transitions, 1820 secs || 36361628 markings, 42615143 edges,
lola: 521 tries, 520902622 fired transitions, 1825 secs || 36438770 markings, 42706817 edges,
lola: 523 tries, 522386648 fired transitions, 1830 secs || 36555146 markings, 42844997 edges,
lola: 524 tries, 523665934 fired transitions, 1835 secs || 36653967 markings, 42960495 edges,
lola: 526 tries, 525172527 fired transitions, 1840 secs || 36774452 markings, 43097581 edges,
lola: 527 tries, 526462558 fired transitions, 1845 secs || 36877034 markings, 43214306 edges,
lola: 528 tries, 527456952 fired transitions, 1850 secs || 36949588 markings, 43299879 edges,
lola: 529 tries, 528440733 fired transitions, 1855 secs || 37024915 markings, 43389369 edges,
lola: 530 tries, 529427017 fired transitions, 1860 secs || 37097732 markings, 43475779 edges,
lola: 531 tries, 530421058 fired transitions, 1865 secs || 37172658 markings, 43564667 edges,
lola: 532 tries, 531412647 fired transitions, 1870 secs || 37247305 markings, 43652728 edges,
lola: 533 tries, 532393712 fired transitions, 1875 secs || 37321737 markings, 43740694 edges,
lola: 534 tries, 533465361 fired transitions, 1880 secs || 37401018 markings, 43834388 edges,
lola: 535 tries, 534505303 fired transitions, 1885 secs || 37478242 markings, 43926221 edges,
lola: 536 tries, 535552325 fired transitions, 1890 secs || 37555505 markings, 44018139 edges,
lola: 537 tries, 536587754 fired transitions, 1895 secs || 37632790 markings, 44109559 edges,
lola: 538 tries, 537629846 fired transitions, 1900 secs || 37711066 markings, 44201717 edges,
lola: 539 tries, 538669957 fired transitions, 1905 secs || 37787829 markings, 44293230 edges,
lola: 540 tries, 539669727 fired transitions, 1910 secs || 37862994 markings, 44382102 edges,
lola: 541 tries, 540642103 fired transitions, 1915 secs || 37936420 markings, 44469386 edges,
lola: 542 tries, 541613082 fired transitions, 1920 secs || 38009073 markings, 44555826 edges,
lola: 543 tries, 542588959 fired transitions, 1925 secs || 38081137 markings, 44641539 edges,
lola: 544 tries, 543565394 fired transitions, 1930 secs || 38153770 markings, 44729043 edges,
lola: 545 tries, 544537281 fired transitions, 1935 secs || 38226883 markings, 44817217 edges,
lola: 546 tries, 545517693 fired transitions, 1940 secs || 38299850 markings, 44903954 edges,
lola: 547 tries, 546514555 fired transitions, 1945 secs || 38376321 markings, 44994951 edges,
lola: 548 tries, 547555794 fired transitions, 1950 secs || 38452071 markings, 45084206 edges,
lola: 550 tries, 549012542 fired transitions, 1955 secs || 38563561 markings, 45216219 edges,
lola: 551 tries, 550545374 fired transitions, 1960 secs || 38684136 markings, 45356734 edges,
lola: 553 tries, 552097685 fired transitions, 1965 secs || 38801371 markings, 45494920 edges,
lola: 554 tries, 553603025 fired transitions, 1970 secs || 38917990 markings, 45632804 edges,
lola: 555 tries, 554816288 fired transitions, 1975 secs || 39009616 markings, 45741504 edges,
lola: 557 tries, 556350048 fired transitions, 1980 secs || 39130105 markings, 45879724 edges,
lola: 558 tries, 557561992 fired transitions, 1985 secs || 39222604 markings, 45988947 edges,
lola: 559 tries, 558584448 fired transitions, 1990 secs || 39299272 markings, 46080487 edges,
lola: 560 tries, 559615243 fired transitions, 1995 secs || 39376705 markings, 46172982 edges,
lola: 561 tries, 560620787 fired transitions, 2000 secs || 39452326 markings, 46263592 edges,
lola: 562 tries, 561618456 fired transitions, 2005 secs || 39525307 markings, 46349778 edges,
lola: 563 tries, 562612803 fired transitions, 2010 secs || 39599469 markings, 46437880 edges,
lola: 564 tries, 563595399 fired transitions, 2015 secs || 39671271 markings, 46522354 edges,
lola: 565 tries, 564578462 fired transitions, 2020 secs || 39745351 markings, 46610330 edges,
lola: 566 tries, 565564571 fired transitions, 2025 secs || 39819933 markings, 46699743 edges,
lola: 567 tries, 566565962 fired transitions, 2030 secs || 39894376 markings, 46788270 edges,
lola: 568 tries, 567531614 fired transitions, 2035 secs || 39966666 markings, 46874785 edges,
lola: 569 tries, 568519021 fired transitions, 2040 secs || 40041119 markings, 46963192 edges,
lola: 570 tries, 569492053 fired transitions, 2045 secs || 40115324 markings, 47051965 edges,
lola: 571 tries, 570447012 fired transitions, 2050 secs || 40187180 markings, 47137388 edges,
lola: 572 tries, 571418259 fired transitions, 2055 secs || 40259583 markings, 47222624 edges,
lola: 573 tries, 572393726 fired transitions, 2060 secs || 40332865 markings, 47309092 edges,
lola: 574 tries, 573359149 fired transitions, 2065 secs || 40403294 markings, 47392241 edges,
lola: 575 tries, 574336154 fired transitions, 2070 secs || 40476934 markings, 47479837 edges,
lola: 576 tries, 575319730 fired transitions, 2075 secs || 40550023 markings, 47565664 edges,
lola: 577 tries, 576306609 fired transitions, 2080 secs || 40626235 markings, 47656848 edges,
lola: 578 tries, 577286625 fired transitions, 2085 secs || 40698327 markings, 47742415 edges,
lola: 579 tries, 578268801 fired transitions, 2090 secs || 40771644 markings, 47829449 edges,
lola: 580 tries, 579244009 fired transitions, 2095 secs || 40845860 markings, 47918224 edges,
lola: 581 tries, 580234827 fired transitions, 2100 secs || 40920375 markings, 48007206 edges,
lola: 582 tries, 581213870 fired transitions, 2105 secs || 40995909 markings, 48098244 edges,
lola: 583 tries, 582205714 fired transitions, 2110 secs || 41071922 markings, 48189486 edges,
lola: 584 tries, 583195350 fired transitions, 2115 secs || 41143916 markings, 48274612 edges,
lola: 585 tries, 584184437 fired transitions, 2120 secs || 41218002 markings, 48362152 edges,
lola: 586 tries, 585176782 fired transitions, 2125 secs || 41293677 markings, 48451747 edges,
lola: 587 tries, 586176661 fired transitions, 2130 secs || 41368822 markings, 48540562 edges,
lola: 588 tries, 587167483 fired transitions, 2135 secs || 41444886 markings, 48630414 edges,
lola: 589 tries, 588154187 fired transitions, 2140 secs || 41518157 markings, 48717253 edges,
lola: 590 tries, 589122923 fired transitions, 2145 secs || 41591810 markings, 48805326 edges,
lola: 591 tries, 590101167 fired transitions, 2150 secs || 41665129 markings, 48893041 edges,
lola: 592 tries, 591081596 fired transitions, 2155 secs || 41740084 markings, 48982788 edges,
lola: 593 tries, 592055275 fired transitions, 2160 secs || 41814881 markings, 49071393 edges,
lola: 594 tries, 593037479 fired transitions, 2165 secs || 41888480 markings, 49159127 edges,
lola: 595 tries, 594030168 fired transitions, 2170 secs || 41962071 markings, 49245303 edges,
lola: 596 tries, 595016110 fired transitions, 2175 secs || 42038654 markings, 49337384 edges,
lola: 597 tries, 596000365 fired transitions, 2180 secs || 42114869 markings, 49428462 edges,
lola: 597 tries, 596980715 fired transitions, 2185 secs || 42189707 markings, 49516493 edges,
lola: 598 tries, 597974981 fired transitions, 2190 secs || 42264157 markings, 49604130 edges,
lola: 599 tries, 598969820 fired transitions, 2195 secs || 42340203 markings, 49694444 edges,
lola: 600 tries, 599943057 fired transitions, 2200 secs || 42411797 markings, 49779679 edges,
lola: 601 tries, 600917527 fired transitions, 2205 secs || 42485536 markings, 49867560 edges,
lola: 602 tries, 601901330 fired transitions, 2210 secs || 42557695 markings, 49953089 edges,
lola: 603 tries, 602873724 fired transitions, 2215 secs || 42630553 markings, 50040536 edges,
lola: 604 tries, 603835999 fired transitions, 2220 secs || 42702192 markings, 50125120 edges,
lola: 605 tries, 604816439 fired transitions, 2225 secs || 42775688 markings, 50212818 edges,
lola: 606 tries, 605779210 fired transitions, 2230 secs || 42848283 markings, 50298918 edges,
lola: 607 tries, 606747186 fired transitions, 2235 secs || 42921604 markings, 50385289 edges,
lola: 608 tries, 607716815 fired transitions, 2240 secs || 42993110 markings, 50469608 edges,
lola: 609 tries, 608693340 fired transitions, 2245 secs || 43064661 markings, 50555182 edges,
lola: 610 tries, 609684274 fired transitions, 2250 secs || 43137966 markings, 50642408 edges,
lola: 611 tries, 610670939 fired transitions, 2255 secs || 43211768 markings, 50729357 edges,
lola: 612 tries, 611663560 fired transitions, 2260 secs || 43285056 markings, 50816459 edges,
lola: 613 tries, 612649212 fired transitions, 2265 secs || 43359036 markings, 50903345 edges,
lola: 614 tries, 613644370 fired transitions, 2270 secs || 43434778 markings, 50992575 edges,
lola: 615 tries, 614695974 fired transitions, 2275 secs || 43514327 markings, 51086607 edges,
lola: 617 tries, 616253586 fired transitions, 2280 secs || 43629821 markings, 51217754 edges,
lola: 618 tries, 617468915 fired transitions, 2285 secs || 43720434 markings, 51323966 edges,
lola: 619 tries, 618505431 fired transitions, 2290 secs || 43796544 markings, 51414229 edges,
lola: 620 tries, 619542637 fired transitions, 2295 secs || 43873385 markings, 51505234 edges,
lola: 621 tries, 620580176 fired transitions, 2300 secs || 43951212 markings, 51596805 edges,
lola: 622 tries, 621617371 fired transitions, 2305 secs || 44028595 markings, 51688504 edges,
lola: 623 tries, 622650678 fired transitions, 2310 secs || 44106452 markings, 51780322 edges,
lola: 624 tries, 623999243 fired transitions, 2315 secs || 44205891 markings, 51898068 edges,
lola: 626 tries, 625231198 fired transitions, 2320 secs || 44299456 markings, 52008711 edges,
lola: 627 tries, 626264468 fired transitions, 2325 secs || 44375094 markings, 52098748 edges,
lola: 628 tries, 627266383 fired transitions, 2330 secs || 44449792 markings, 52188176 edges,
lola: 629 tries, 628297960 fired transitions, 2335 secs || 44526002 markings, 52279114 edges,
lola: 630 tries, 629332659 fired transitions, 2340 secs || 44603010 markings, 52370276 edges,
lola: 631 tries, 630367418 fired transitions, 2345 secs || 44681897 markings, 52463357 edges,
lola: 632 tries, 631403095 fired transitions, 2350 secs || 44760005 markings, 52554910 edges,
lola: 633 tries, 632441018 fired transitions, 2355 secs || 44838328 markings, 52647569 edges,
lola: 634 tries, 633776611 fired transitions, 2360 secs || 44939255 markings, 52767617 edges,
lola: 636 tries, 635333891 fired transitions, 2365 secs || 45059479 markings, 52910337 edges,
lola: 637 tries, 636903686 fired transitions, 2370 secs || 45179747 markings, 53054115 edges,
lola: 639 tries, 638153786 fired transitions, 2375 secs || 45272263 markings, 53164045 edges,
lola: 640 tries, 639192609 fired transitions, 2380 secs || 45348458 markings, 53254547 edges,
lola: 641 tries, 640219408 fired transitions, 2385 secs || 45425962 markings, 53345622 edges,
lola: 642 tries, 641698092 fired transitions, 2390 secs || 45535217 markings, 53474938 edges,
lola: 644 tries, 643233469 fired transitions, 2395 secs || 45654291 markings, 53614571 edges,
lola: 645 tries, 644711682 fired transitions, 2400 secs || 45770738 markings, 53752849 edges,
lola: 646 tries, 645955125 fired transitions, 2405 secs || 45865105 markings, 53864461 edges,
lola: 648 tries, 647489737 fired transitions, 2410 secs || 45985326 markings, 54004239 edges,
lola: 649 tries, 648528557 fired transitions, 2415 secs || 46061929 markings, 54094811 edges,
lola: 650 tries, 649564040 fired transitions, 2420 secs || 46137614 markings, 54184769 edges,
lola: 651 tries, 650604373 fired transitions, 2425 secs || 46213585 markings, 54274523 edges,
lola: 652 tries, 651579290 fired transitions, 2430 secs || 46285690 markings, 54359903 edges,
lola: 653 tries, 652551319 fired transitions, 2435 secs || 46358096 markings, 54445401 edges,
lola: 654 tries, 653536397 fired transitions, 2440 secs || 46432731 markings, 54533655 edges,
lola: 655 tries, 654569866 fired transitions, 2445 secs || 46511579 markings, 54626533 edges,
lola: 656 tries, 655612803 fired transitions, 2450 secs || 46589774 markings, 54718831 edges,
lola: 657 tries, 656652311 fired transitions, 2455 secs || 46667791 markings, 54811669 edges,
lola: 659 tries, 658052130 fired transitions, 2460 secs || 46771236 markings, 54931665 edges,
lola: 660 tries, 659631151 fired transitions, 2465 secs || 46886503 markings, 55068146 edges,
lola: 662 tries, 661206421 fired transitions, 2470 secs || 47003973 markings, 55208112 edges,
lola: 663 tries, 662724394 fired transitions, 2475 secs || 47119322 markings, 55343800 edges,
lola: 664 tries, 663760014 fired transitions, 2480 secs || 47196885 markings, 55435061 edges,
lola: 666 tries, 665233395 fired transitions, 2485 secs || 47303796 markings, 55561016 edges,
lola: 667 tries, 666763798 fired transitions, 2490 secs || 47424895 markings, 55699656 edges,
lola: 669 tries, 668080469 fired transitions, 2495 secs || 47525264 markings, 55818451 edges,
lola: 670 tries, 669151146 fired transitions, 2500 secs || 47607032 markings, 55915434 edges,
lola: 671 tries, 670553800 fired transitions, 2505 secs || 47715611 markings, 56043916 edges,
lola: 672 tries, 671551060 fired transitions, 2510 secs || 47789340 markings, 56130853 edges,
lola: 673 tries, 672588965 fired transitions, 2515 secs || 47867500 markings, 56224469 edges,
lola: 674 tries, 673626864 fired transitions, 2520 secs || 47946718 markings, 56317651 edges,
lola: 675 tries, 674664876 fired transitions, 2525 secs || 48027102 markings, 56412249 edges,
lola: 676 tries, 675705278 fired transitions, 2530 secs || 48106043 markings, 56505230 edges,
lola: 677 tries, 676717136 fired transitions, 2535 secs || 48181068 markings, 56594369 edges,
lola: 678 tries, 677816839 fired transitions, 2540 secs || 48264295 markings, 56693763 edges,
lola: 679 tries, 678944519 fired transitions, 2545 secs || 48348699 markings, 56793106 edges,
lola: 680 tries, 679980064 fired transitions, 2550 secs || 48426764 markings, 56884872 edges,
lola: 682 tries, 681017145 fired transitions, 2555 secs || 48504831 markings, 56977239 edges,
lola: 683 tries, 682370302 fired transitions, 2560 secs || 48607072 markings, 57097996 edges,
lola: 684 tries, 683561747 fired transitions, 2565 secs || 48695583 markings, 57202733 edges,
lola: 685 tries, 684598870 fired transitions, 2570 secs || 48772458 markings, 57294287 edges,
lola: 686 tries, 685639513 fired transitions, 2575 secs || 48850116 markings, 57387257 edges,
lola: 687 tries, 686676164 fired transitions, 2580 secs || 48928467 markings, 57479417 edges,
lola: 688 tries, 687712928 fired transitions, 2585 secs || 49007948 markings, 57574246 edges,
lola: 689 tries, 688750156 fired transitions, 2590 secs || 49085888 markings, 57667227 edges,
lola: 690 tries, 689789009 fired transitions, 2595 secs || 49163740 markings, 57758608 edges,
lola: 691 tries, 690827894 fired transitions, 2600 secs || 49240446 markings, 57849622 edges,
lola: 692 tries, 691865512 fired transitions, 2605 secs || 49318092 markings, 57941173 edges,
lola: 693 tries, 692904607 fired transitions, 2610 secs || 49397082 markings, 58034162 edges,
lola: 694 tries, 693942447 fired transitions, 2615 secs || 49474389 markings, 58126197 edges,
lola: 695 tries, 694981100 fired transitions, 2620 secs || 49553281 markings, 58220028 edges,
lola: 697 tries, 696488427 fired transitions, 2625 secs || 49666618 markings, 58353518 edges,
lola: 699 tries, 698039102 fired transitions, 2630 secs || 49782291 markings, 58489906 edges,
lola: 700 tries, 699153902 fired transitions, 2635 secs || 49866880 markings, 58590035 edges,
lola: 701 tries, 700187418 fired transitions, 2640 secs || 49944375 markings, 58682428 edges,
lola: 702 tries, 701648275 fired transitions, 2645 secs || 50057300 markings, 58817372 edges,
lola: 704 tries, 703032257 fired transitions, 2650 secs || 50158555 markings, 58937316 edges,
lola: 705 tries, 704024296 fired transitions, 2655 secs || 50229713 markings, 59021275 edges,
lola: 705 tries, 704991899 fired transitions, 2660 secs || 50300957 markings, 59104869 edges,
lola: 706 tries, 705955094 fired transitions, 2665 secs || 50374148 markings, 59191715 edges,
lola: 707 tries, 706930626 fired transitions, 2670 secs || 50445555 markings, 59276493 edges,
lola: 708 tries, 707916314 fired transitions, 2675 secs || 50517194 markings, 59361682 edges,
lola: 709 tries, 708887390 fired transitions, 2680 secs || 50590412 markings, 59448935 edges,
lola: 710 tries, 709850686 fired transitions, 2685 secs || 50661420 markings, 59533025 edges,
lola: 711 tries, 710831092 fired transitions, 2690 secs || 50734846 markings, 59620498 edges,
lola: 712 tries, 711782603 fired transitions, 2695 secs || 50806977 markings, 59705919 edges,
lola: 713 tries, 712762799 fired transitions, 2700 secs || 50879726 markings, 59792486 edges,
lola: 714 tries, 713732575 fired transitions, 2705 secs || 50954192 markings, 59881906 edges,
lola: 715 tries, 714706492 fired transitions, 2710 secs || 51027395 markings, 59969753 edges,
lola: 716 tries, 715678285 fired transitions, 2715 secs || 51101054 markings, 60057939 edges,
lola: 717 tries, 716637265 fired transitions, 2720 secs || 51170789 markings, 60141444 edges,
lola: 718 tries, 717614107 fired transitions, 2725 secs || 51243142 markings, 60226589 edges,
lola: 719 tries, 718594164 fired transitions, 2730 secs || 51315379 markings, 60313106 edges,
lola: 720 tries, 719564144 fired transitions, 2735 secs || 51388020 markings, 60399460 edges,
lola: 721 tries, 720533175 fired transitions, 2740 secs || 51461635 markings, 60488228 edges,
lola: 722 tries, 721512429 fired transitions, 2745 secs || 51535230 markings, 60575829 edges,
lola: 723 tries, 722492143 fired transitions, 2750 secs || 51611093 markings, 60666194 edges,
lola: 724 tries, 723448452 fired transitions, 2755 secs || 51684240 markings, 60752912 edges,
lola: 725 tries, 724415099 fired transitions, 2760 secs || 51759364 markings, 60842504 edges,
lola: 726 tries, 725381133 fired transitions, 2765 secs || 51832588 markings, 60929936 edges,
lola: 727 tries, 726357807 fired transitions, 2770 secs || 51906526 markings, 61017958 edges,
lola: 728 tries, 727335963 fired transitions, 2775 secs || 51980285 markings, 61104564 edges,
lola: 729 tries, 728308495 fired transitions, 2780 secs || 52054822 markings, 61192291 edges,
lola: 730 tries, 729292784 fired transitions, 2785 secs || 52131025 markings, 61282377 edges,
lola: 731 tries, 730268168 fired transitions, 2790 secs || 52206563 markings, 61372069 edges,
lola: 732 tries, 731243606 fired transitions, 2795 secs || 52280619 markings, 61459788 edges,
lola: 733 tries, 732229162 fired transitions, 2800 secs || 52356249 markings, 61549844 edges,
lola: 734 tries, 733198819 fired transitions, 2805 secs || 52432065 markings, 61640913 edges,
lola: 735 tries, 734157816 fired transitions, 2810 secs || 52504698 markings, 61726799 edges,
lola: 736 tries, 735119682 fired transitions, 2815 secs || 52577758 markings, 61813470 edges,
lola: 737 tries, 736080504 fired transitions, 2820 secs || 52649927 markings, 61900077 edges,
lola: 738 tries, 737044881 fired transitions, 2825 secs || 52725480 markings, 61990412 edges,
lola: 739 tries, 738024567 fired transitions, 2830 secs || 52798610 markings, 62077871 edges,
lola: 739 tries, 738994146 fired transitions, 2835 secs || 52872286 markings, 62166263 edges,
lola: 740 tries, 739953413 fired transitions, 2840 secs || 52944151 markings, 62252600 edges,
lola: 741 tries, 740928743 fired transitions, 2845 secs || 53018170 markings, 62340484 edges,
lola: 742 tries, 741877502 fired transitions, 2850 secs || 53090808 markings, 62426243 edges,
lola: 743 tries, 742828655 fired transitions, 2855 secs || 53161958 markings, 62509695 edges,
lola: 744 tries, 743785721 fired transitions, 2860 secs || 53237055 markings, 62598731 edges,
lola: 745 tries, 744781901 fired transitions, 2865 secs || 53313380 markings, 62689361 edges,
lola: 746 tries, 745778782 fired transitions, 2870 secs || 53389779 markings, 62780275 edges,
lola: 747 tries, 746798106 fired transitions, 2875 secs || 53466445 markings, 62871938 edges,
lola: 749 tries, 748361941 fired transitions, 2880 secs || 53579616 markings, 63005686 edges,
lola: 750 tries, 749925219 fired transitions, 2885 secs || 53693881 markings, 63140458 edges,
lola: 752 tries, 751478658 fired transitions, 2890 secs || 53811088 markings, 63276653 edges,
lola: 754 tries, 753034237 fired transitions, 2895 secs || 53925803 markings, 63411133 edges,
lola: 755 tries, 754566360 fired transitions, 2900 secs || 54046227 markings, 63549515 edges,
lola: 756 tries, 755868813 fired transitions, 2905 secs || 54143814 markings, 63664395 edges,
lola: 757 tries, 756904622 fired transitions, 2910 secs || 54222818 markings, 63758563 edges,
lola: 758 tries, 757946404 fired transitions, 2915 secs || 54300218 markings, 63849733 edges,
lola: 759 tries, 758989843 fired transitions, 2920 secs || 54379713 markings, 63944193 edges,
lola: 761 tries, 760029198 fired transitions, 2925 secs || 54456938 markings, 64036302 edges,
lola: 762 tries, 761068056 fired transitions, 2930 secs || 54533106 markings, 64126336 edges,
lola: 763 tries, 762521727 fired transitions, 2935 secs || 54641131 markings, 64253636 edges,
lola: 765 tries, 764072893 fired transitions, 2940 secs || 54759677 markings, 64393762 edges,
lola: 766 tries, 765612081 fired transitions, 2945 secs || 54878591 markings, 64533675 edges,
lola: 768 tries, 767143579 fired transitions, 2950 secs || 54997210 markings, 64672607 edges,
lola: 769 tries, 768700256 fired transitions, 2955 secs || 55118647 markings, 64816365 edges,
lola: 771 tries, 770230921 fired transitions, 2960 secs || 55234850 markings, 64952189 edges,
lola: 772 tries, 771422376 fired transitions, 2965 secs || 55324542 markings, 65057098 edges,
lola: 773 tries, 772580058 fired transitions, 2970 secs || 55410556 markings, 65157928 edges,
lola: 774 tries, 773622479 fired transitions, 2975 secs || 55488375 markings, 65249576 edges,
lola: 775 tries, 774660287 fired transitions, 2980 secs || 55566726 markings, 65341999 edges,
lola: 776 tries, 775701640 fired transitions, 2985 secs || 55645925 markings, 65435768 edges,
lola: 777 tries, 776742609 fired transitions, 2990 secs || 55723215 markings, 65526626 edges,
lola: 778 tries, 777802138 fired transitions, 2995 secs || 55800586 markings, 65617202 edges,
lola: 779 tries, 778780737 fired transitions, 3000 secs || 55875100 markings, 65706071 edges,
lola: 780 tries, 779754598 fired transitions, 3005 secs || 55948641 markings, 65793264 edges,
lola: 781 tries, 780731421 fired transitions, 3010 secs || 56021167 markings, 65878169 edges,
lola: 782 tries, 781718945 fired transitions, 3015 secs || 56095917 markings, 65966725 edges,
lola: 783 tries, 782703612 fired transitions, 3020 secs || 56170954 markings, 66055833 edges,
lola: 784 tries, 783692129 fired transitions, 3025 secs || 56244623 markings, 66143318 edges,
lola: 785 tries, 784679114 fired transitions, 3030 secs || 56319707 markings, 66232121 edges,
lola: 786 tries, 785682357 fired transitions, 3035 secs || 56394987 markings, 66321717 edges,
lola: 787 tries, 786675682 fired transitions, 3040 secs || 56469858 markings, 66410452 edges,
lola: 788 tries, 787675579 fired transitions, 3045 secs || 56543844 markings, 66497392 edges,
lola: 789 tries, 788662382 fired transitions, 3050 secs || 56617711 markings, 66584674 edges,
lola: 790 tries, 789646719 fired transitions, 3055 secs || 56692631 markings, 66673354 edges,
lola: 791 tries, 790623224 fired transitions, 3060 secs || 56763634 markings, 66756664 edges,
lola: 792 tries, 791601229 fired transitions, 3065 secs || 56836489 markings, 66842355 edges,
lola: 793 tries, 792570145 fired transitions, 3070 secs || 56908696 markings, 66928023 edges,
lola: 794 tries, 793545329 fired transitions, 3075 secs || 56981527 markings, 67015289 edges,
lola: 795 tries, 794527569 fired transitions, 3080 secs || 57054531 markings, 67102519 edges,
lola: 796 tries, 795518527 fired transitions, 3085 secs || 57127808 markings, 67189745 edges,
lola: 797 tries, 796515621 fired transitions, 3090 secs || 57201734 markings, 67277503 edges,
lola: 798 tries, 797499754 fired transitions, 3095 secs || 57273635 markings, 67362648 edges,
lola: 799 tries, 798485550 fired transitions, 3100 secs || 57346014 markings, 67449016 edges,
lola: 800 tries, 799465713 fired transitions, 3105 secs || 57418126 markings, 67534927 edges,
lola: 801 tries, 800449971 fired transitions, 3110 secs || 57490434 markings, 67621033 edges,
lola: 802 tries, 801427901 fired transitions, 3115 secs || 57561978 markings, 67706316 edges,
lola: 803 tries, 802415046 fired transitions, 3120 secs || 57636662 markings, 67795644 edges,
lola: 804 tries, 803405091 fired transitions, 3125 secs || 57710385 markings, 67882995 edges,
lola: 805 tries, 804390486 fired transitions, 3130 secs || 57784049 markings, 67969369 edges,
lola: 806 tries, 805372275 fired transitions, 3135 secs || 57857152 markings, 68056278 edges,
lola: 807 tries, 806351185 fired transitions, 3140 secs || 57932096 markings, 68146413 edges,
lola: 808 tries, 807338259 fired transitions, 3145 secs || 58005920 markings, 68233655 edges,
lola: 809 tries, 808313491 fired transitions, 3150 secs || 58080199 markings, 68322617 edges,
lola: 810 tries, 809161301 fired transitions, 3155 secs || 58145278 markings, 68400840 edges,
lola: 811 tries, 810148440 fired transitions, 3160 secs || 58220403 markings, 68490623 edges,
lola: 812 tries, 811128969 fired transitions, 3165 secs || 58295951 markings, 68581024 edges,
lola: 813 tries, 812109026 fired transitions, 3170 secs || 58369441 markings, 68668183 edges,
lola: 814 tries, 813085539 fired transitions, 3175 secs || 58442853 markings, 68755344 edges,
lola: 815 tries, 814062883 fired transitions, 3180 secs || 58515637 markings, 68842313 edges,
lola: 816 tries, 815056926 fired transitions, 3185 secs || 58590783 markings, 68932349 edges,
lola: 817 tries, 816058905 fired transitions, 3190 secs || 58667829 markings, 69022854 edges,
lola: 818 tries, 817054681 fired transitions, 3195 secs || 58742790 markings, 69111144 edges,
lola: 819 tries, 818044694 fired transitions, 3200 secs || 58819144 markings, 69201349 edges,
lola: 820 tries, 819021289 fired transitions, 3205 secs || 58895166 markings, 69291534 edges,
lola: 821 tries, 820022554 fired transitions, 3210 secs || 58971598 markings, 69382558 edges,
lola: 822 tries, 821000610 fired transitions, 3215 secs || 59046955 markings, 69472463 edges,
lola: 822 tries, 821989290 fired transitions, 3220 secs || 59122647 markings, 69562658 edges,
lola: 823 tries, 822963908 fired transitions, 3225 secs || 59197025 markings, 69651099 edges,
lola: 824 tries, 823957639 fired transitions, 3230 secs || 59271598 markings, 69740295 edges,
lola: 825 tries, 824941545 fired transitions, 3235 secs || 59342368 markings, 69824285 edges,
lola: 826 tries, 825933646 fired transitions, 3240 secs || 59416759 markings, 69913823 edges,
lola: 827 tries, 826909893 fired transitions, 3245 secs || 59490505 markings, 70003481 edges,
lola: 829 tries, 828274649 fired transitions, 3250 secs || 59595906 markings, 70127068 edges,
lola: 830 tries, 829771348 fired transitions, 3255 secs || 59713227 markings, 70264134 edges,
lola: 831 tries, 830979126 fired transitions, 3260 secs || 59798888 markings, 70364145 edges,
lola: 833 tries, 832126350 fired transitions, 3265 secs || 59883646 markings, 70463794 edges,
lola: 834 tries, 833594302 fired transitions, 3270 secs || 59992752 markings, 70590973 edges,
lola: 835 tries, 834634588 fired transitions, 3275 secs || 60069516 markings, 70681431 edges,
lola: 836 tries, 835670355 fired transitions, 3280 secs || 60146983 markings, 70773845 edges,
lola: 837 tries, 836652838 fired transitions, 3285 secs || 60218176 markings, 70857683 edges,
lola: 838 tries, 837629373 fired transitions, 3290 secs || 60288636 markings, 70940686 edges,
lola: 839 tries, 838606486 fired transitions, 3295 secs || 60361384 markings, 71027477 edges,
lola: 840 tries, 839591589 fired transitions, 3300 secs || 60434735 markings, 71115246 edges,
lola: 841 tries, 840557759 fired transitions, 3305 secs || 60507586 markings, 71200703 edges,
lola: 842 tries, 841518484 fired transitions, 3310 secs || 60580488 markings, 71286706 edges,
lola: 843 tries, 842500850 fired transitions, 3315 secs || 60652766 markings, 71372668 edges,
lola: 844 tries, 843472686 fired transitions, 3320 secs || 60725435 markings, 71459247 edges,
lola: 845 tries, 844446875 fired transitions, 3325 secs || 60798129 markings, 71547030 edges,
lola: 846 tries, 845423969 fired transitions, 3330 secs || 60869877 markings, 71632412 edges,
lola: 847 tries, 846406645 fired transitions, 3335 secs || 60942761 markings, 71719412 edges,
lola: 848 tries, 847370370 fired transitions, 3340 secs || 61016211 markings, 71806824 edges,
lola: 849 tries, 848591090 fired transitions, 3345 secs || 61108800 markings, 71916609 edges,
lola: 851 tries, 850076347 fired transitions, 3350 secs || 61225906 markings, 72053574 edges,
lola: 852 tries, 851588328 fired transitions, 3355 secs || 61341211 markings, 72188074 edges,
lola: 854 tries, 853133866 fired transitions, 3360 secs || 61456864 markings, 72323990 edges,
lola: 855 tries, 854665895 fired transitions, 3365 secs || 61571057 markings, 72457321 edges,
lola: 857 tries, 856213434 fired transitions, 3370 secs || 61688121 markings, 72594794 edges,
lola: 858 tries, 857686616 fired transitions, 3375 secs || 61804468 markings, 72731045 edges,
lola: 859 tries, 858720831 fired transitions, 3380 secs || 61879605 markings, 72819318 edges,
lola: 860 tries, 859760961 fired transitions, 3385 secs || 61957360 markings, 72911332 edges,
lola: 861 tries, 860800190 fired transitions, 3390 secs || 62035948 markings, 73004321 edges,
lola: 862 tries, 861841774 fired transitions, 3395 secs || 62113748 markings, 73096692 edges,
lola: 863 tries, 862854608 fired transitions, 3400 secs || 62189390 markings, 73186940 edges,
lola: 864 tries, 863839707 fired transitions, 3405 secs || 62264460 markings, 73276783 edges,
lola: 865 tries, 864828374 fired transitions, 3410 secs || 62339282 markings, 73367324 edges,
lola: 866 tries, 865805052 fired transitions, 3415 secs || 62413292 markings, 73455736 edges,
lola: 867 tries, 866790197 fired transitions, 3420 secs || 62486442 markings, 73542247 edges,
lola: 868 tries, 867775540 fired transitions, 3425 secs || 62558022 markings, 73627351 edges,
lola: 870 tries, 869183596 fired transitions, 3430 secs || 62662361 markings, 73750366 edges,
lola: 871 tries, 870718682 fired transitions, 3435 secs || 62777790 markings, 73885594 edges,
lola: 873 tries, 872250956 fired transitions, 3440 secs || 62891499 markings, 74017822 edges,
lola: 874 tries, 873787391 fired transitions, 3445 secs || 63006513 markings, 74152383 edges,
lola: 876 tries, 875326620 fired transitions, 3450 secs || 63122606 markings, 74288222 edges,
lola: 877 tries, 876871238 fired transitions, 3455 secs || 63240107 markings, 74425865 edges,
lola: 879 tries, 878409739 fired transitions, 3460 secs || 63355430 markings, 74560438 edges,
lola: 880 tries, 879944930 fired transitions, 3465 secs || 63471875 markings, 74696468 edges,
lola: 882 tries, 881223499 fired transitions, 3470 secs || 63568223 markings, 74808363 edges,
lola: 883 tries, 882261118 fired transitions, 3475 secs || 63648132 markings, 74902699 edges,
lola: 884 tries, 883303114 fired transitions, 3480 secs || 63723707 markings, 74990799 edges,
lola: 885 tries, 884339876 fired transitions, 3485 secs || 63801106 markings, 75081399 edges,
lola: 886 tries, 885378509 fired transitions, 3490 secs || 63879608 markings, 75174126 edges,
lola: 887 tries, 886420679 fired transitions, 3495 secs || 63958542 markings, 75267496 edges,
lola: 888 tries, 887481750 fired transitions, 3500 secs || 64038924 markings, 75362415 edges,
lola: 889 tries, 888516709 fired transitions, 3505 secs || 64116119 markings, 75453519 edges,
lola: 890 tries, 889518304 fired transitions, 3510 secs || 64190636 markings, 75541595 edges,
lola: 891 tries, 890526334 fired transitions, 3515 secs || 64265783 markings, 75630114 edges,
lola: 892 tries, 891510483 fired transitions, 3520 secs || 64338890 markings, 75715619 edges,
lola: 893 tries, 892501083 fired transitions, 3525 secs || 64413102 markings, 75802946 edges,
lola: 894 tries, 893490932 fired transitions, 3530 secs || 64487783 markings, 75891420 edges,
lola: 895 tries, 894476339 fired transitions, 3535 secs || 64560643 markings, 75977019 edges,
lola: 896 tries, 895459230 fired transitions, 3540 secs || 64634323 markings, 76064424 edges,
lola: 897 tries, 896436453 fired transitions, 3545 secs || 64708061 markings, 76151864 edges,
lola: 898 tries, 897428462 fired transitions, 3550 secs || 64783439 markings, 76240719 edges,
lola: 899 tries, 898413648 fired transitions, 3555 secs || 64857598 markings, 76329038 edges,
lola: time limit reached - aborting
lola: memory consumption: 12824524 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 12825844 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552459893710

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 22494 markings/sec, 0 secs 20754 markings/sec, 5 secs 20854 markings/sec, 10 secs 20430 markings/sec, 15 secs 20351 markings/sec, 20 secs 20378 markings/sec, 25 secs 20317 markings/sec, 30 secs 20415 markings/sec, 35 secs 20429 markings/sec, 40 secs 19825 markings/sec, 45 secs 20321 markings/sec, 50 secs 20376 markings/sec, 55 secs 20715 markings/sec, 60 secs 20555 markings/sec, 65 secs 20403 markings/sec, 70 secs 20367 markings/sec, 75 secs 20482 markings/sec, 80 secs 20944 markings/sec, 85 secs 20956 markings/sec, 90 secs 20396 markings/sec, 95 secs 20362 markings/sec, 100 secs 21557 markings/sec, 105 secs 20840 markings/sec, 110 secs 20756 markings/sec, 115 secs 20606 markings/sec, 120 secs 20054 markings/sec, 125 secs 20826 markings/sec, 130 secs 20302 markings/sec, 135 secs 20521 markings/sec, 140 secs 20274 markings/sec, 145 secs 20365 markings/sec, 150 secs 20103 markings/sec, 155 secs 20493 markings/sec, 160 secs 20313 markings/sec, 165 secs 20264 markings/sec, 170 secs 20048 markings/sec, 175 secs 20253 markings/sec, 180 secs 20358 markings/sec, 185 secs 20492 markings/sec, 190 secs 20594 markings/sec, 195 secs 20736 markings/sec, 200 secs 20267 markings/sec, 205 secs 20170 markings/sec, 210 secs 20286 markings/sec, 215 secs 20363 markings/sec, 220 secs 20237 markings/sec, 225 secs 20172 markings/sec, 230 secs 20231 markings/sec, 235 secs 20406 markings/sec, 240 secs 20074 markings/sec, 245 secs 20301 markings/sec, 250 secs 19969 markings/sec, 255 secs 20556 markings/sec, 260 secs 20709 markings/sec, 265 secs 20768 markings/sec, 270 secs 20640 markings/sec, 275 secs 20319 markings/sec, 280 secs 20809 markings/sec, 285 secs 20277 markings/sec, 290 secs 20299 markings/sec, 295 secs 20218 markings/sec, 300 secs 20334 markings/sec, 305 secs 20633 markings/sec, 310 secs 20341 markings/sec, 315 secs 20276 markings/sec, 320 secs 21236 markings/sec, 325 secs 21063 markings/sec, 330 secs 20703 markings/sec, 335 secs 20582 markings/sec, 340 secs 20383 markings/sec, 345 secs 21271 markings/sec, 350 secs 20331 markings/sec, 355 secs 20254 markings/sec, 360 secs 20527 markings/sec, 365 secs 20512 markings/sec, 370 secs 20619 markings/sec, 375 secs 20641 markings/sec, 380 secs 20338 markings/sec, 385 secs 20190 markings/sec, 390 secs 20820 markings/sec, 395 secs 20271 markings/sec, 400 secs 20372 markings/sec, 405 secs 20272 markings/sec, 410 secs 20326 markings/sec, 415 secs 20577 markings/sec, 420 secs 20420 markings/sec, 425 secs 20386 markings/sec, 430 secs 20538 markings/sec, 435 secs 20274 markings/sec, 440 secs 20419 markings/sec, 445 secs 20179 markings/sec, 450 secs 19785 markings/sec, 455 secs 19838 markings/sec, 460 secs 19930 markings/sec, 465 secs 19997 markings/sec, 470 secs 20149 markings/sec, 475 secs 19881 markings/sec, 480 secs 20752 markings/sec, 485 secs 24345 markings/sec, 490 secs 29780 markings/sec, 495 secs 28467 markings/sec, 500 secs 21937 markings/sec, 505 secs 19727 markings/sec, 510 secs 20193 markings/sec, 515 secs 20250 markings/sec, 520 secs 20143 markings/sec, 525 secs 20168 markings/sec, 530 secs 20112 markings/sec, 535 secs 19813 markings/sec, 540 secs 20473 markings/sec, 545 secs 20040 markings/sec, 550 secs 21936 markings/sec, 555 secs 20666 markings/sec, 560 secs 22790 markings/sec, 565 secs 19984 markings/sec, 570 secs 20835 markings/sec, 575 secs 20258 markings/sec, 580 secs 19788 markings/sec, 585 secs 20363 markings/sec, 590 secs 20489 markings/sec, 595 secs 20390 markings/sec, 600 secs 20159 markings/sec, 605 secs 20348 markings/sec, 610 secs 19877 markings/sec, 615 secs 19989 markings/sec, 620 secs 19960 markings/sec, 625 secs 20337 markings/sec, 630 secs 19998 markings/sec, 635 secs 21181 markings/sec, 640 secs 20941 markings/sec, 645 secs 20196 markings/sec, 650 secs 19984 markings/sec, 655 secs 20535 markings/sec, 660 secs 19994 markings/sec, 665 secs 20529 markings/sec, 670 secs 20621 markings/sec, 675 secs 20050 markings/sec, 680 secs 19945 markings/sec, 685 secs 20013 markings/sec, 690 secs 20766 markings/sec, 695 secs 20566 markings/sec, 700 secs 20386 markings/sec, 705 secs 21062 markings/sec, 710 secs 21086 markings/sec, 715 secs 20228 markings/sec, 720 secs 20222 markings/sec, 725 secs 20546 markings/sec, 730 secs 20155 markings/sec, 735 secs 19960 markings/sec, 740 secs 20129 markings/sec, 745 secs 20010 markings/sec, 750 secs 20455 markings/sec, 755 secs 19814 markings/sec, 760 secs 20141 markings/sec, 765 secs 20253 markings/sec, 770 secs 20565 markings/sec, 775 secs 20190 markings/sec, 780 secs 20738 markings/sec, 785 secs 20160 markings/sec, 790 secs 20401 markings/sec, 795 secs 20234 markings/sec, 800 secs 20193 markings/sec, 805 secs 20109 markings/sec, 810 secs 20061 markings/sec, 815 secs 20440 markings/sec, 820 secs 20259 markings/sec, 825 secs 20134 markings/sec, 830 secs 21383 markings/sec, 835 secs 24703 markings/sec, 840 secs 25447 markings/sec, 845 secs 24552 markings/sec, 850 secs 22675 markings/sec, 855 secs 21287 markings/sec, 860 secs 20598 markings/sec, 865 secs 20623 markings/sec, 870 secs 19745 markings/sec, 875 secs 20537 markings/sec, 880 secs 20366 markings/sec, 885 secs 20100 markings/sec, 890 secs 20133 markings/sec, 895 secs 20601 markings/sec, 900 secs 19613 markings/sec, 905 secs 19123 markings/sec, 910 secs 19885 markings/sec, 915 secs 20331 markings/sec, 920 secs 20777 markings/sec, 925 secs 20751 markings/sec, 930 secs 20510 markings/sec, 935 secs 23199 markings/sec, 940 secs 20626 markings/sec, 945 secs 19256 markings/sec, 950 secs 20132 markings/sec, 955 secs 20243 markings/sec, 960 secs 20571 markings/sec, 965 secs 20401 markings/sec, 970 secs 20407 markings/sec, 975 secs 20377 markings/sec, 980 secs 19910 markings/sec, 985 secs 20797 markings/sec, 990 secs 20274 markings/sec, 995 secs 20612 markings/sec, 1000 secs 20397 markings/sec, 1005 secs 20062 markings/sec, 1010 secs 20369 markings/sec, 1015 secs 20891 markings/sec, 1020 secs 19329 markings/sec, 1025 secs 20659 markings/sec, 1030 secs 20926 markings/sec, 1035 secs 20782 markings/sec, 1040 secs 20816 markings/sec, 1045 secs 20998 markings/sec, 1050 secs 20827 markings/sec, 1055 secs 20688 markings/sec, 1060 secs 20548 markings/sec, 1065 secs 20281 markings/sec, 1070 secs 20680 markings/sec, 1075 secs 20475 markings/sec, 1080 secs 20775 markings/sec, 1085 secs 20871 markings/sec, 1090 secs 20299 markings/sec, 1095 secs 20352 markings/sec, 1100 secs 21042 markings/sec, 1105 secs 20870 markings/sec, 1110 secs 20894 markings/sec, 1115 secs 20098 markings/sec, 1120 secs 20279 markings/sec, 1125 secs 20073 markings/sec, 1130 secs 20020 markings/sec, 1135 secs 20520 markings/sec, 1140 secs 20057 markings/sec, 1145 secs 20442 markings/sec, 1150 secs 20487 markings/sec, 1155 secs 20556 markings/sec, 1160 secs 24222 markings/sec, 1165 secs 23956 markings/sec, 1170 secs 22543 markings/sec, 1175 secs 20336 markings/sec, 1180 secs 20207 markings/sec, 1185 secs 20730 markings/sec, 1190 secs 21039 markings/sec, 1195 secs 20768 markings/sec, 1200 secs 20612 markings/sec, 1205 secs 20727 markings/sec, 1210 secs 20150 markings/sec, 1215 secs 15634 markings/sec, 1220 secs 15877 markings/sec, 1225 secs 15850 markings/sec, 1230 secs 17047 markings/sec, 1235 secs 20551 markings/sec, 1240 secs 20881 markings/sec, 1245 secs 19623 markings/sec, 1250 secs 15508 markings/sec, 1255 secs 15743 markings/sec, 1260 secs 15729 markings/sec, 1265 secs 17102 markings/sec, 1270 secs 15531 markings/sec, 1275 secs 17498 markings/sec, 1280 secs 16049 markings/sec, 1285 secs 14924 markings/sec, 1290 secs 15359 markings/sec, 1295 secs 15473 markings/sec, 1300 secs 15766 markings/sec, 1305 secs 16146 markings/sec, 1310 secs 20601 markings/sec, 1315 secs 20952 markings/sec, 1320 secs 20311 markings/sec, 1325 secs 20448 markings/sec, 1330 secs 20768 markings/sec, 1335 secs 19858 markings/sec, 1340 secs 20228 markings/sec, 1345 secs 20213 markings/sec, 1350 secs 20081 markings/sec, 1355 secs 20330 markings/sec, 1360 secs 20038 markings/sec, 1365 secs 15834 markings/sec, 1370 secs 15804 markings/sec, 1375 secs 15981 markings/sec, 1380 secs 16103 markings/sec, 1385 secs 19024 markings/sec, 1390 secs 17038 markings/sec, 1395 secs 15428 markings/sec, 1400 secs 17203 markings/sec, 1405 secs 15403 markings/sec, 1410 secs 16017 markings/sec, 1415 secs 16019 markings/sec, 1420 secs 15657 markings/sec, 1425 secs 15885 markings/sec, 1430 secs 16178 markings/sec, 1435 secs 16025 markings/sec, 1440 secs 15583 markings/sec, 1445 secs 15690 markings/sec, 1450 secs 15741 markings/sec, 1455 secs 15714 markings/sec, 1460 secs 15827 markings/sec, 1465 secs 16199 markings/sec, 1470 secs 17211 markings/sec, 1475 secs 15404 markings/sec, 1480 secs 19738 markings/sec, 1485 secs 24154 markings/sec, 1490 secs 23165 markings/sec, 1495 secs 23736 markings/sec, 1500 secs 23055 markings/sec, 1505 secs 22482 markings/sec, 1510 secs 21344 markings/sec, 1515 secs 15449 markings/sec, 1520 secs 15027 markings/sec, 1525 secs 15339 markings/sec, 1530 secs 15819 markings/sec, 1535 secs 15462 markings/sec, 1540 secs 15465 markings/sec, 1545 secs 15279 markings/sec, 1550 secs 15855 markings/sec, 1555 secs 15889 markings/sec, 1560 secs 15820 markings/sec, 1565 secs 15718 markings/sec, 1570 secs 16122 markings/sec, 1575 secs 15845 markings/sec, 1580 secs 15578 markings/sec, 1585 secs 15593 markings/sec, 1590 secs 15922 markings/sec, 1595 secs 16028 markings/sec, 1600 secs 21126 markings/sec, 1605 secs 24274 markings/sec, 1610 secs 15899 markings/sec, 1615 secs 15591 markings/sec, 1620 secs 15884 markings/sec, 1625 secs 16274 markings/sec, 1630 secs 17554 markings/sec, 1635 secs 24668 markings/sec, 1640 secs 24053 markings/sec, 1645 secs 20899 markings/sec, 1650 secs 15258 markings/sec, 1655 secs 15733 markings/sec, 1660 secs 15639 markings/sec, 1665 secs 19404 markings/sec, 1670 secs 23703 markings/sec, 1675 secs 24012 markings/sec, 1680 secs 19566 markings/sec, 1685 secs 19582 markings/sec, 1690 secs 23367 markings/sec, 1695 secs 23641 markings/sec, 1700 secs 23972 markings/sec, 1705 secs 23620 markings/sec, 1710 secs 23162 markings/sec, 1715 secs 23300 markings/sec, 1720 secs 23265 markings/sec, 1725 secs 24048 markings/sec, 1730 secs 23035 markings/sec, 1735 secs 21066 markings/sec, 1740 secs 21878 markings/sec, 1745 secs 19400 markings/sec, 1750 secs 23603 markings/sec, 1755 secs 24075 markings/sec, 1760 secs 17596 markings/sec, 1765 secs 15175 markings/sec, 1770 secs 15518 markings/sec, 1775 secs 15449 markings/sec, 1780 secs 15364 markings/sec, 1785 secs 17456 markings/sec, 1790 secs 19092 markings/sec, 1795 secs 23410 markings/sec, 1800 secs 23583 markings/sec, 1805 secs 23947 markings/sec, 1810 secs 23720 markings/sec, 1815 secs 23058 markings/sec, 1820 secs 15428 markings/sec, 1825 secs 23275 markings/sec, 1830 secs 19764 markings/sec, 1835 secs 24097 markings/sec, 1840 secs 20516 markings/sec, 1845 secs 14511 markings/sec, 1850 secs 15065 markings/sec, 1855 secs 14563 markings/sec, 1860 secs 14985 markings/sec, 1865 secs 14929 markings/sec, 1870 secs 14886 markings/sec, 1875 secs 15856 markings/sec, 1880 secs 15445 markings/sec, 1885 secs 15453 markings/sec, 1890 secs 15457 markings/sec, 1895 secs 15655 markings/sec, 1900 secs 15353 markings/sec, 1905 secs 15033 markings/sec, 1910 secs 14685 markings/sec, 1915 secs 14531 markings/sec, 1920 secs 14413 markings/sec, 1925 secs 14527 markings/sec, 1930 secs 14623 markings/sec, 1935 secs 14593 markings/sec, 1940 secs 15294 markings/sec, 1945 secs 15150 markings/sec, 1950 secs 22298 markings/sec, 1955 secs 24115 markings/sec, 1960 secs 23447 markings/sec, 1965 secs 23324 markings/sec, 1970 secs 18325 markings/sec, 1975 secs 24098 markings/sec, 1980 secs 18500 markings/sec, 1985 secs 15334 markings/sec, 1990 secs 15487 markings/sec, 1995 secs 15124 markings/sec, 2000 secs 14596 markings/sec, 2005 secs 14832 markings/sec, 2010 secs 14360 markings/sec, 2015 secs 14816 markings/sec, 2020 secs 14916 markings/sec, 2025 secs 14889 markings/sec, 2030 secs 14458 markings/sec, 2035 secs 14891 markings/sec, 2040 secs 14841 markings/sec, 2045 secs 14371 markings/sec, 2050 secs 14481 markings/sec, 2055 secs 14656 markings/sec, 2060 secs 14086 markings/sec, 2065 secs 14728 markings/sec, 2070 secs 14618 markings/sec, 2075 secs 15242 markings/sec, 2080 secs 14418 markings/sec, 2085 secs 14663 markings/sec, 2090 secs 14843 markings/sec, 2095 secs 14903 markings/sec, 2100 secs 15107 markings/sec, 2105 secs 15203 markings/sec, 2110 secs 14399 markings/sec, 2115 secs 14817 markings/sec, 2120 secs 15135 markings/sec, 2125 secs 15029 markings/sec, 2130 secs 15213 markings/sec, 2135 secs 14654 markings/sec, 2140 secs 14731 markings/sec, 2145 secs 14664 markings/sec, 2150 secs 14991 markings/sec, 2155 secs 14959 markings/sec, 2160 secs 14720 markings/sec, 2165 secs 14718 markings/sec, 2170 secs 15317 markings/sec, 2175 secs 15243 markings/sec, 2180 secs 14968 markings/sec, 2185 secs 14890 markings/sec, 2190 secs 15209 markings/sec, 2195 secs 14319 markings/sec, 2200 secs 14748 markings/sec, 2205 secs 14432 markings/sec, 2210 secs 14572 markings/sec, 2215 secs 14328 markings/sec, 2220 secs 14699 markings/sec, 2225 secs 14519 markings/sec, 2230 secs 14664 markings/sec, 2235 secs 14301 markings/sec, 2240 secs 14310 markings/sec, 2245 secs 14661 markings/sec, 2250 secs 14760 markings/sec, 2255 secs 14658 markings/sec, 2260 secs 14796 markings/sec, 2265 secs 15148 markings/sec, 2270 secs 15910 markings/sec, 2275 secs 23099 markings/sec, 2280 secs 18123 markings/sec, 2285 secs 15222 markings/sec, 2290 secs 15368 markings/sec, 2295 secs 15565 markings/sec, 2300 secs 15477 markings/sec, 2305 secs 15571 markings/sec, 2310 secs 19888 markings/sec, 2315 secs 18713 markings/sec, 2320 secs 15128 markings/sec, 2325 secs 14940 markings/sec, 2330 secs 15242 markings/sec, 2335 secs 15402 markings/sec, 2340 secs 15777 markings/sec, 2345 secs 15622 markings/sec, 2350 secs 15665 markings/sec, 2355 secs 20185 markings/sec, 2360 secs 24045 markings/sec, 2365 secs 24054 markings/sec, 2370 secs 18503 markings/sec, 2375 secs 15239 markings/sec, 2380 secs 15501 markings/sec, 2385 secs 21851 markings/sec, 2390 secs 23815 markings/sec, 2395 secs 23289 markings/sec, 2400 secs 18873 markings/sec, 2405 secs 24044 markings/sec, 2410 secs 15321 markings/sec, 2415 secs 15137 markings/sec, 2420 secs 15194 markings/sec, 2425 secs 14421 markings/sec, 2430 secs 14481 markings/sec, 2435 secs 14927 markings/sec, 2440 secs 15770 markings/sec, 2445 secs 15639 markings/sec, 2450 secs 15603 markings/sec, 2455 secs 20689 markings/sec, 2460 secs 23053 markings/sec, 2465 secs 23494 markings/sec, 2470 secs 23070 markings/sec, 2475 secs 15513 markings/sec, 2480 secs 21382 markings/sec, 2485 secs 24220 markings/sec, 2490 secs 20074 markings/sec, 2495 secs 16354 markings/sec, 2500 secs 21716 markings/sec, 2505 secs 14746 markings/sec, 2510 secs 15632 markings/sec, 2515 secs 15844 markings/sec, 2520 secs 16077 markings/sec, 2525 secs 15788 markings/sec, 2530 secs 15005 markings/sec, 2535 secs 16645 markings/sec, 2540 secs 16881 markings/sec, 2545 secs 15613 markings/sec, 2550 secs 15613 markings/sec, 2555 secs 20448 markings/sec, 2560 secs 17702 markings/sec, 2565 secs 15375 markings/sec, 2570 secs 15532 markings/sec, 2575 secs 15670 markings/sec, 2580 secs 15896 markings/sec, 2585 secs 15588 markings/sec, 2590 secs 15570 markings/sec, 2595 secs 15341 markings/sec, 2600 secs 15529 markings/sec, 2605 secs 15798 markings/sec, 2610 secs 15461 markings/sec, 2615 secs 15778 markings/sec, 2620 secs 22667 markings/sec, 2625 secs 23135 markings/sec, 2630 secs 16918 markings/sec, 2635 secs 15499 markings/sec, 2640 secs 22585 markings/sec, 2645 secs 20251 markings/sec, 2650 secs 14232 markings/sec, 2655 secs 14249 markings/sec, 2660 secs 14638 markings/sec, 2665 secs 14281 markings/sec, 2670 secs 14328 markings/sec, 2675 secs 14644 markings/sec, 2680 secs 14202 markings/sec, 2685 secs 14685 markings/sec, 2690 secs 14426 markings/sec, 2695 secs 14550 markings/sec, 2700 secs 14893 markings/sec, 2705 secs 14641 markings/sec, 2710 secs 14732 markings/sec, 2715 secs 13947 markings/sec, 2720 secs 14471 markings/sec, 2725 secs 14447 markings/sec, 2730 secs 14528 markings/sec, 2735 secs 14723 markings/sec, 2740 secs 14719 markings/sec, 2745 secs 15173 markings/sec, 2750 secs 14629 markings/sec, 2755 secs 15025 markings/sec, 2760 secs 14645 markings/sec, 2765 secs 14788 markings/sec, 2770 secs 14752 markings/sec, 2775 secs 14907 markings/sec, 2780 secs 15241 markings/sec, 2785 secs 15108 markings/sec, 2790 secs 14811 markings/sec, 2795 secs 15126 markings/sec, 2800 secs 15163 markings/sec, 2805 secs 14527 markings/sec, 2810 secs 14612 markings/sec, 2815 secs 14434 markings/sec, 2820 secs 15111 markings/sec, 2825 secs 14626 markings/sec, 2830 secs 14735 markings/sec, 2835 secs 14373 markings/sec, 2840 secs 14804 markings/sec, 2845 secs 14528 markings/sec, 2850 secs 14230 markings/sec, 2855 secs 15019 markings/sec, 2860 secs 15265 markings/sec, 2865 secs 15280 markings/sec, 2870 secs 15333 markings/sec, 2875 secs 22634 markings/sec, 2880 secs 22853 markings/sec, 2885 secs 23441 markings/sec, 2890 secs 22943 markings/sec, 2895 secs 24085 markings/sec, 2900 secs 19517 markings/sec, 2905 secs 15801 markings/sec, 2910 secs 15480 markings/sec, 2915 secs 15899 markings/sec, 2920 secs 15445 markings/sec, 2925 secs 15234 markings/sec, 2930 secs 21605 markings/sec, 2935 secs 23709 markings/sec, 2940 secs 23783 markings/sec, 2945 secs 23724 markings/sec, 2950 secs 24287 markings/sec, 2955 secs 23241 markings/sec, 2960 secs 17938 markings/sec, 2965 secs 17203 markings/sec, 2970 secs 15564 markings/sec, 2975 secs 15670 markings/sec, 2980 secs 15840 markings/sec, 2985 secs 15458 markings/sec, 2990 secs 15474 markings/sec, 2995 secs 14903 markings/sec, 3000 secs 14708 markings/sec, 3005 secs 14505 markings/sec, 3010 secs 14950 markings/sec, 3015 secs 15007 markings/sec, 3020 secs 14734 markings/sec, 3025 secs 15017 markings/sec, 3030 secs 15056 markings/sec, 3035 secs 14974 markings/sec, 3040 secs 14797 markings/sec, 3045 secs 14773 markings/sec, 3050 secs 14984 markings/sec, 3055 secs 14201 markings/sec, 3060 secs 14571 markings/sec, 3065 secs 14441 markings/sec, 3070 secs 14566 markings/sec, 3075 secs 14601 markings/sec, 3080 secs 14655 markings/sec, 3085 secs 14785 markings/sec, 3090 secs 14380 markings/sec, 3095 secs 14476 markings/sec, 3100 secs 14422 markings/sec, 3105 secs 14462 markings/sec, 3110 secs 14309 markings/sec, 3115 secs 14937 markings/sec, 3120 secs 14745 markings/sec, 3125 secs 14733 markings/sec, 3130 secs 14621 markings/sec, 3135 secs 14989 markings/sec, 3140 secs 14765 markings/sec, 3145 secs 14856 markings/sec, 3150 secs 13016 markings/sec, 3155 secs 15025 markings/sec, 3160 secs 15110 markings/sec, 3165 secs 14698 markings/sec, 3170 secs 14682 markings/sec, 3175 secs 14557 markings/sec, 3180 secs 15029 markings/sec, 3185 secs 15409 markings/sec, 3190 secs 14992 markings/sec, 3195 secs 15271 markings/sec, 3200 secs 15204 markings/sec, 3205 secs 15286 markings/sec, 3210 secs 15071 markings/sec, 3215 secs 15138 markings/sec, 3220 secs 14876 markings/sec, 3225 secs 14915 markings/sec, 3230 secs 14154 markings/sec, 3235 secs 14878 markings/sec, 3240 secs 14749 markings/sec, 3245 secs 21080 markings/sec, 3250 secs 23464 markings/sec, 3255 secs 17132 markings/sec, 3260 secs 16952 markings/sec, 3265 secs 21821 markings/sec, 3270 secs 15353 markings/sec, 3275 secs 15493 markings/sec, 3280 secs 14239 markings/sec, 3285 secs 14092 markings/sec, 3290 secs 14550 markings/sec, 3295 secs 14670 markings/sec, 3300 secs 14570 markings/sec, 3305 secs 14580 markings/sec, 3310 secs 14456 markings/sec, 3315 secs 14534 markings/sec, 3320 secs 14539 markings/sec, 3325 secs 14350 markings/sec, 3330 secs 14577 markings/sec, 3335 secs 14690 markings/sec, 3340 secs 18518 markings/sec, 3345 secs 23421 markings/sec, 3350 secs 23061 markings/sec, 3355 secs 23131 markings/sec, 3360 secs 22839 markings/sec, 3365 secs 23413 markings/sec, 3370 secs 23269 markings/sec, 3375 secs 15027 markings/sec, 3380 secs 15551 markings/sec, 3385 secs 15718 markings/sec, 3390 secs 15560 markings/sec, 3395 secs 15128 markings/sec, 3400 secs 15014 markings/sec, 3405 secs 14964 markings/sec, 3410 secs 14802 markings/sec, 3415 secs 14630 markings/sec, 3420 secs 14316 markings/sec, 3425 secs 20868 markings/sec, 3430 secs 23086 markings/sec, 3435 secs 22742 markings/sec, 3440 secs 23003 markings/sec, 3445 secs 23219 markings/sec, 3450 secs 23500 markings/sec, 3455 secs 23065 markings/sec, 3460 secs 23289 markings/sec, 3465 secs 19270 markings/sec, 3470 secs 15982 markings/sec, 3475 secs 15115 markings/sec, 3480 secs 15480 markings/sec, 3485 secs 15700 markings/sec, 3490 secs 15787 markings/sec, 3495 secs 16076 markings/sec, 3500 secs 15439 markings/sec, 3505 secs 14903 markings/sec, 3510 secs 15029 markings/sec, 3515 secs 14621 markings/sec, 3520 secs 14842 markings/sec, 3525 secs 14936 markings/sec, 3530 secs 14572 markings/sec, 3535 secs 14736 markings/sec, 3540 secs 14748 markings/sec, 3545 secs 15076 markings/sec, 3550 secs 14832 markings/sec, 3555 secs

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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