MCC'2019 - Execution of r060-ebro-155234654700120

About the Execution of LoLA for Diffusion2D-PT-D20N010

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4283.110	3570530.00	7219674.00	835.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 '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654700120.qcow2', fmt=qcow2 size=4294967296 backing_fi
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Diffusion2D-PT-D20N010, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654700120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 3.6K Feb 10 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 10 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 6 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 17:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.2M 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 Diffusion2D-PT-D20N010-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552565559240

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Diffusion2D-PT-D20N010 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ Diffusion2D-PT-D20N010

{
"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": "Thu Mar 14 12:12:39 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 2677072,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 5928,
"conflict_clusters": 400,
"places": 400,
"places_significant": 399,
"singleton_clusters": 0,
"transitions": 2964
},
"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": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"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: 3364/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 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 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1239463 fired transitions, 0 secs || 89157 markings, 657857 edges,
lola: 3 tries, 2486181 fired transitions, 5 secs || 166568 markings, 1230140 edges,
lola: 4 tries, 3733978 fired transitions, 10 secs || 242355 markings, 1782174 edges,
lola: 5 tries, 4980719 fired transitions, 15 secs || 315632 markings, 2326449 edges,
lola: 7 tries, 6225551 fired transitions, 20 secs || 389993 markings, 2876156 edges,
lola: 8 tries, 7470563 fired transitions, 25 secs || 467311 markings, 3448931 edges,
lola: 9 tries, 8703217 fired transitions, 30 secs || 540011 markings, 3985182 edges,
lola: 10 tries, 9941886 fired transitions, 35 secs || 611375 markings, 4512354 edges,
lola: 12 tries, 11187798 fired transitions, 40 secs || 682422 markings, 5037721 edges,
lola: 13 tries, 12429085 fired transitions, 45 secs || 758033 markings, 5592690 edges,
lola: 14 tries, 13674490 fired transitions, 50 secs || 830337 markings, 6129798 edges,
lola: 15 tries, 14921823 fired transitions, 55 secs || 903668 markings, 6668959 edges,
lola: 17 tries, 16168947 fired transitions, 60 secs || 977749 markings, 7214302 edges,
lola: 18 tries, 17416380 fired transitions, 65 secs || 1052162 markings, 7763785 edges,
lola: 19 tries, 18663965 fired transitions, 70 secs || 1129159 markings, 8330348 edges,
lola: 20 tries, 19910667 fired transitions, 75 secs || 1207029 markings, 8903556 edges,
lola: 22 tries, 21158642 fired transitions, 80 secs || 1279260 markings, 9436105 edges,
lola: 23 tries, 22405722 fired transitions, 85 secs || 1351752 markings, 9973828 edges,
lola: 24 tries, 23652667 fired transitions, 90 secs || 1423808 markings, 10498681 edges,
lola: 25 tries, 24900062 fired transitions, 95 secs || 1494351 markings, 11019820 edges,
lola: 27 tries, 26148213 fired transitions, 100 secs || 1565810 markings, 11545497 edges,
lola: 28 tries, 27384074 fired transitions, 105 secs || 1636721 markings, 12069324 edges,
lola: 29 tries, 28634917 fired transitions, 110 secs || 1707753 markings, 12592042 edges,
lola: 30 tries, 29885010 fired transitions, 115 secs || 1781722 markings, 13137907 edges,
lola: 32 tries, 31134122 fired transitions, 120 secs || 1851755 markings, 13659674 edges,
lola: 33 tries, 32353658 fired transitions, 125 secs || 1922110 markings, 14173396 edges,
lola: 34 tries, 33602001 fired transitions, 130 secs || 1994403 markings, 14705438 edges,
lola: 35 tries, 34838736 fired transitions, 135 secs || 2064318 markings, 15224168 edges,
lola: 37 tries, 36060579 fired transitions, 140 secs || 2135007 markings, 15743667 edges,
lola: 38 tries, 37275465 fired transitions, 145 secs || 2209324 markings, 16293194 edges,
lola: 39 tries, 38524750 fired transitions, 150 secs || 2285804 markings, 16851232 edges,
lola: 40 tries, 39769048 fired transitions, 155 secs || 2360049 markings, 17407274 edges,
lola: 42 tries, 41014961 fired transitions, 160 secs || 2432611 markings, 17942702 edges,
lola: 43 tries, 42259053 fired transitions, 165 secs || 2507180 markings, 18493724 edges,
lola: 44 tries, 43504957 fired transitions, 170 secs || 2579043 markings, 19026691 edges,
lola: 45 tries, 44756611 fired transitions, 175 secs || 2653436 markings, 19574451 edges,
lola: 47 tries, 46002710 fired transitions, 180 secs || 2727645 markings, 20121066 edges,
lola: 48 tries, 47254004 fired transitions, 185 secs || 2803727 markings, 20686648 edges,
lola: 49 tries, 48502292 fired transitions, 190 secs || 2879499 markings, 21244792 edges,
lola: 50 tries, 49748396 fired transitions, 195 secs || 2955759 markings, 21807964 edges,
lola: 51 tries, 50998813 fired transitions, 200 secs || 3028861 markings, 22349690 edges,
lola: 53 tries, 52249325 fired transitions, 205 secs || 3104144 markings, 22904966 edges,
lola: 54 tries, 53469217 fired transitions, 210 secs || 3176386 markings, 23441691 edges,
lola: 55 tries, 54712671 fired transitions, 215 secs || 3248180 markings, 23971548 edges,
lola: 56 tries, 55951005 fired transitions, 220 secs || 3319725 markings, 24499159 edges,
lola: 58 tries, 57193090 fired transitions, 225 secs || 3391493 markings, 25029823 edges,
lola: 59 tries, 58418898 fired transitions, 230 secs || 3463996 markings, 25564195 edges,
lola: 60 tries, 59668644 fired transitions, 235 secs || 3535765 markings, 26093095 edges,
lola: 61 tries, 60901246 fired transitions, 240 secs || 3608090 markings, 26626797 edges,
lola: 63 tries, 62134059 fired transitions, 245 secs || 3680563 markings, 27164246 edges,
lola: 64 tries, 63342575 fired transitions, 250 secs || 3751460 markings, 27687202 edges,
lola: 65 tries, 64588299 fired transitions, 255 secs || 3823986 markings, 28223194 edges,
lola: 66 tries, 65830910 fired transitions, 260 secs || 3894947 markings, 28745814 edges,
lola: 68 tries, 67082735 fired transitions, 265 secs || 3966853 markings, 29277088 edges,
lola: 69 tries, 68334988 fired transitions, 270 secs || 4038105 markings, 29802832 edges,
lola: 70 tries, 69581256 fired transitions, 275 secs || 4110548 markings, 30338249 edges,
lola: 71 tries, 70779390 fired transitions, 280 secs || 4182644 markings, 30871356 edges,
lola: 73 tries, 72015797 fired transitions, 285 secs || 4255262 markings, 31405671 edges,
lola: 74 tries, 73252971 fired transitions, 290 secs || 4326479 markings, 31932811 edges,
lola: 75 tries, 74486364 fired transitions, 295 secs || 4399592 markings, 32472534 edges,
lola: 76 tries, 75692986 fired transitions, 300 secs || 4473723 markings, 33022808 edges,
lola: 77 tries, 76910562 fired transitions, 305 secs || 4546646 markings, 33558891 edges,
lola: 79 tries, 78155404 fired transitions, 310 secs || 4620327 markings, 34098909 edges,
lola: 80 tries, 79397440 fired transitions, 315 secs || 4693323 markings, 34634060 edges,
lola: 81 tries, 80644880 fired transitions, 320 secs || 4766746 markings, 35178467 edges,
lola: 82 tries, 81892693 fired transitions, 325 secs || 4843202 markings, 35743675 edges,
lola: 84 tries, 83139996 fired transitions, 330 secs || 4921589 markings, 36315318 edges,
lola: 85 tries, 84389045 fired transitions, 335 secs || 4994103 markings, 36856818 edges,
lola: 86 tries, 85637533 fired transitions, 340 secs || 5065325 markings, 37379645 edges,
lola: 87 tries, 86886073 fired transitions, 345 secs || 5138037 markings, 37911445 edges,
lola: 89 tries, 88129090 fired transitions, 350 secs || 5208739 markings, 38432224 edges,
lola: 90 tries, 89374846 fired transitions, 355 secs || 5279179 markings, 38956402 edges,
lola: 91 tries, 90619128 fired transitions, 360 secs || 5351260 markings, 39484374 edges,
lola: 92 tries, 91847257 fired transitions, 365 secs || 5422485 markings, 40009849 edges,
lola: 94 tries, 93072655 fired transitions, 370 secs || 5495097 markings, 40546529 edges,
lola: 95 tries, 94300143 fired transitions, 375 secs || 5566422 markings, 41074432 edges,
lola: 96 tries, 95528364 fired transitions, 380 secs || 5636872 markings, 41592392 edges,
lola: 97 tries, 96752723 fired transitions, 385 secs || 5706566 markings, 42106899 edges,
lola: 98 tries, 97982978 fired transitions, 390 secs || 5776485 markings, 42623245 edges,
lola: 100 tries, 99189461 fired transitions, 395 secs || 5847574 markings, 43145904 edges,
lola: 101 tries, 100422271 fired transitions, 400 secs || 5920327 markings, 43680699 edges,
lola: 102 tries, 101657559 fired transitions, 405 secs || 5992522 markings, 44213984 edges,
lola: 103 tries, 102892489 fired transitions, 410 secs || 6062883 markings, 44732783 edges,
lola: 105 tries, 104127181 fired transitions, 415 secs || 6135407 markings, 45266275 edges,
lola: 106 tries, 105359128 fired transitions, 420 secs || 6212110 markings, 45829179 edges,
lola: 107 tries, 106574076 fired transitions, 425 secs || 6288271 markings, 46388939 edges,
lola: 108 tries, 107787487 fired transitions, 430 secs || 6359241 markings, 46915292 edges,
lola: 110 tries, 109022854 fired transitions, 435 secs || 6431426 markings, 47446123 edges,
lola: 111 tries, 110248870 fired transitions, 440 secs || 6502545 markings, 47965493 edges,
lola: 112 tries, 111464317 fired transitions, 445 secs || 6571743 markings, 48480775 edges,
lola: 113 tries, 112682233 fired transitions, 450 secs || 6641943 markings, 48998602 edges,
lola: 114 tries, 113906251 fired transitions, 455 secs || 6712374 markings, 49515959 edges,
lola: 116 tries, 115138646 fired transitions, 460 secs || 6780572 markings, 50019382 edges,
lola: 117 tries, 116354555 fired transitions, 465 secs || 6853241 markings, 50554070 edges,
lola: 118 tries, 117589623 fired transitions, 470 secs || 6923741 markings, 51075032 edges,
lola: 119 tries, 118827346 fired transitions, 475 secs || 6993736 markings, 51592474 edges,
lola: 121 tries, 120062936 fired transitions, 480 secs || 7065430 markings, 52120265 edges,
lola: 122 tries, 121310814 fired transitions, 485 secs || 7135800 markings, 52640292 edges,
lola: 123 tries, 122544131 fired transitions, 490 secs || 7209139 markings, 53180052 edges,
lola: 124 tries, 123794593 fired transitions, 495 secs || 7282523 markings, 53720469 edges,
lola: 125 tries, 124948519 fired transitions, 500 secs || 7351374 markings, 54226639 edges,
lola: 127 tries, 126052659 fired transitions, 505 secs || 7421258 markings, 54739016 edges,
lola: 128 tries, 127298551 fired transitions, 510 secs || 7495995 markings, 55291041 edges,
lola: 129 tries, 128547332 fired transitions, 515 secs || 7568587 markings, 55828166 edges,
lola: 130 tries, 129797318 fired transitions, 520 secs || 7640569 markings, 56361268 edges,
lola: 132 tries, 131008437 fired transitions, 525 secs || 7712738 markings, 56884261 edges,
lola: 133 tries, 132188586 fired transitions, 530 secs || 7779883 markings, 57383981 edges,
lola: 134 tries, 133429350 fired transitions, 535 secs || 7851183 markings, 57905192 edges,
lola: 135 tries, 134659455 fired transitions, 540 secs || 7921244 markings, 58426532 edges,
lola: 136 tries, 135892996 fired transitions, 545 secs || 7992604 markings, 58954800 edges,
lola: 138 tries, 137141444 fired transitions, 550 secs || 8064125 markings, 59480205 edges,
lola: 139 tries, 138384301 fired transitions, 555 secs || 8135503 markings, 60006003 edges,
lola: 140 tries, 139630293 fired transitions, 560 secs || 8206420 markings, 60526890 edges,
lola: 141 tries, 140874224 fired transitions, 565 secs || 8278293 markings, 61056701 edges,
lola: 143 tries, 142104191 fired transitions, 570 secs || 8347073 markings, 61567092 edges,
lola: 144 tries, 143337829 fired transitions, 575 secs || 8419951 markings, 62102092 edges,
lola: 145 tries, 144576187 fired transitions, 580 secs || 8495787 markings, 62661461 edges,
lola: 146 tries, 145822805 fired transitions, 585 secs || 8568112 markings, 63195665 edges,
lola: 148 tries, 147056452 fired transitions, 590 secs || 8641859 markings, 63738907 edges,
lola: 149 tries, 148291562 fired transitions, 595 secs || 8716332 markings, 64287281 edges,
lola: 150 tries, 149526965 fired transitions, 600 secs || 8789895 markings, 64831260 edges,
lola: 151 tries, 150774780 fired transitions, 605 secs || 8865952 markings, 65391044 edges,
lola: 153 tries, 152000859 fired transitions, 610 secs || 8942030 markings, 65952519 edges,
lola: 154 tries, 153245408 fired transitions, 615 secs || 9015170 markings, 66492011 edges,
lola: 155 tries, 154492253 fired transitions, 620 secs || 9088953 markings, 67039647 edges,
lola: 156 tries, 155714731 fired transitions, 625 secs || 9166747 markings, 67614606 edges,
lola: 157 tries, 156954928 fired transitions, 630 secs || 9243243 markings, 68178427 edges,
lola: 159 tries, 158189880 fired transitions, 635 secs || 9318795 markings, 68736075 edges,
lola: 160 tries, 159376357 fired transitions, 640 secs || 9392803 markings, 69271177 edges,
lola: 161 tries, 160624057 fired transitions, 645 secs || 9469119 markings, 69839329 edges,
lola: 162 tries, 161878591 fired transitions, 650 secs || 9544937 markings, 70399649 edges,
lola: 164 tries, 163124224 fired transitions, 655 secs || 9620588 markings, 70956463 edges,
lola: 165 tries, 164373325 fired transitions, 660 secs || 9697010 markings, 71518652 edges,
lola: 166 tries, 165623117 fired transitions, 665 secs || 9772296 markings, 72072986 edges,
lola: 167 tries, 166875191 fired transitions, 670 secs || 9846923 markings, 72624842 edges,
lola: 169 tries, 168127622 fired transitions, 675 secs || 9922419 markings, 73179179 edges,
lola: 170 tries, 169379378 fired transitions, 680 secs || 9996118 markings, 73727197 edges,
lola: 171 tries, 170613174 fired transitions, 685 secs || 10073600 markings, 74296062 edges,
lola: 172 tries, 171850498 fired transitions, 690 secs || 10147103 markings, 74837175 edges,
lola: 174 tries, 173100470 fired transitions, 695 secs || 10219826 markings, 75373234 edges,
lola: 175 tries, 174350528 fired transitions, 700 secs || 10292244 markings, 75901741 edges,
lola: 176 tries, 175586693 fired transitions, 705 secs || 10361815 markings, 76417198 edges,
lola: 177 tries, 176835052 fired transitions, 710 secs || 10431562 markings, 76930588 edges,
lola: 179 tries, 178082977 fired transitions, 715 secs || 10502086 markings, 77449807 edges,
lola: 180 tries, 179308774 fired transitions, 720 secs || 10571144 markings, 77958675 edges,
lola: 181 tries, 180560800 fired transitions, 725 secs || 10643878 markings, 78496973 edges,
lola: 182 tries, 181814186 fired transitions, 730 secs || 10715293 markings, 79022413 edges,
lola: 184 tries, 183049963 fired transitions, 735 secs || 10786298 markings, 79547207 edges,
lola: 185 tries, 184302577 fired transitions, 740 secs || 10859018 markings, 80080241 edges,
lola: 186 tries, 185555663 fired transitions, 745 secs || 10928820 markings, 80598714 edges,
lola: 187 tries, 186795299 fired transitions, 750 secs || 10999831 markings, 81121686 edges,
lola: 189 tries, 188047700 fired transitions, 755 secs || 11072492 markings, 81653867 edges,
lola: 190 tries, 189296887 fired transitions, 760 secs || 11145092 markings, 82182870 edges,
lola: 191 tries, 190547282 fired transitions, 765 secs || 11215164 markings, 82705005 edges,
lola: 192 tries, 191388020 fired transitions, 770 secs || 11264922 markings, 83066224 edges,
lola: 193 tries, 192438493 fired transitions, 775 secs || 11325022 markings, 83512562 edges,
lola: 194 tries, 193685632 fired transitions, 780 secs || 11396211 markings, 84036723 edges,
lola: 195 tries, 194735980 fired transitions, 785 secs || 11457121 markings, 84489418 edges,
lola: 196 tries, 195364779 fired transitions, 790 secs || 11494230 markings, 84762315 edges,
lola: 196 tries, 195991485 fired transitions, 795 secs || 11530071 markings, 85024810 edges,
lola: 197 tries, 196618295 fired transitions, 800 secs || 11565066 markings, 85288229 edges,
lola: 198 tries, 197649088 fired transitions, 805 secs || 11624945 markings, 85726821 edges,
lola: 199 tries, 198878815 fired transitions, 810 secs || 11696961 markings, 86256008 edges,
lola: 201 tries, 200112429 fired transitions, 815 secs || 11768111 markings, 86783410 edges,
lola: 202 tries, 201361738 fired transitions, 820 secs || 11840868 markings, 87318142 edges,
lola: 203 tries, 202610774 fired transitions, 825 secs || 11912335 markings, 87834931 edges,
lola: 204 tries, 203857208 fired transitions, 830 secs || 11982019 markings, 88353442 edges,
lola: 206 tries, 205082303 fired transitions, 835 secs || 12052582 markings, 88869078 edges,
lola: 207 tries, 206327805 fired transitions, 840 secs || 12120716 markings, 89376272 edges,
lola: 208 tries, 207554456 fired transitions, 845 secs || 12192797 markings, 89904932 edges,
lola: 209 tries, 208786424 fired transitions, 850 secs || 12263812 markings, 90429238 edges,
lola: 211 tries, 210016269 fired transitions, 855 secs || 12335774 markings, 90956996 edges,
lola: 212 tries, 211267276 fired transitions, 860 secs || 12407117 markings, 91485186 edges,
lola: 213 tries, 212519620 fired transitions, 865 secs || 12478065 markings, 92008098 edges,
lola: 214 tries, 213768951 fired transitions, 870 secs || 12548013 markings, 92527693 edges,
lola: 216 tries, 215005312 fired transitions, 875 secs || 12617496 markings, 93039535 edges,
lola: 217 tries, 216246936 fired transitions, 880 secs || 12688332 markings, 93562110 edges,
lola: 218 tries, 217477089 fired transitions, 885 secs || 12759965 markings, 94090336 edges,
lola: 219 tries, 218706759 fired transitions, 890 secs || 12830680 markings, 94608870 edges,
lola: 220 tries, 219941902 fired transitions, 895 secs || 12900774 markings, 95128920 edges,
lola: 222 tries, 221188784 fired transitions, 900 secs || 12971477 markings, 95653445 edges,
lola: 223 tries, 222428769 fired transitions, 905 secs || 13044322 markings, 96187130 edges,
lola: 224 tries, 223652441 fired transitions, 910 secs || 13114170 markings, 96704803 edges,
lola: 225 tries, 224888341 fired transitions, 915 secs || 13184180 markings, 97219058 edges,
lola: 227 tries, 226140955 fired transitions, 920 secs || 13255273 markings, 97737006 edges,
lola: 228 tries, 227365705 fired transitions, 925 secs || 13327517 markings, 98265749 edges,
lola: 229 tries, 228606844 fired transitions, 930 secs || 13397193 markings, 98783368 edges,
lola: 230 tries, 229852969 fired transitions, 935 secs || 13466057 markings, 99298192 edges,
lola: 232 tries, 231097576 fired transitions, 940 secs || 13537892 markings, 99826282 edges,
lola: 233 tries, 232338893 fired transitions, 945 secs || 13608207 markings, 100344971 edges,
lola: 234 tries, 233587785 fired transitions, 950 secs || 13679455 markings, 100862225 edges,
lola: 235 tries, 234830040 fired transitions, 955 secs || 13750232 markings, 101392039 edges,
lola: 237 tries, 236059618 fired transitions, 960 secs || 13820847 markings, 101912304 edges,
lola: 238 tries, 237295424 fired transitions, 965 secs || 13891467 markings, 102428149 edges,
lola: 239 tries, 238525412 fired transitions, 970 secs || 13962098 markings, 102945838 edges,
lola: 240 tries, 239747005 fired transitions, 975 secs || 14030334 markings, 103452893 edges,
lola: 241 tries, 240954547 fired transitions, 980 secs || 14101353 markings, 103978308 edges,
lola: 243 tries, 242190213 fired transitions, 985 secs || 14171068 markings, 104494137 edges,
lola: 244 tries, 243425518 fired transitions, 990 secs || 14242838 markings, 105019976 edges,
lola: 245 tries, 244645675 fired transitions, 995 secs || 14312560 markings, 105536735 edges,
lola: 246 tries, 245885761 fired transitions, 1000 secs || 14384729 markings, 106067662 edges,
lola: 248 tries, 247126501 fired transitions, 1005 secs || 14455733 markings, 106589289 edges,
lola: 249 tries, 248371015 fired transitions, 1010 secs || 14526507 markings, 107110143 edges,
lola: 250 tries, 249614252 fired transitions, 1015 secs || 14599209 markings, 107647846 edges,
lola: 251 tries, 250856741 fired transitions, 1020 secs || 14672944 markings, 108191182 edges,
lola: 253 tries, 252098983 fired transitions, 1025 secs || 14745054 markings, 108719546 edges,
lola: 254 tries, 253343547 fired transitions, 1030 secs || 14816426 markings, 109242746 edges,
lola: 255 tries, 254581023 fired transitions, 1035 secs || 14886461 markings, 109751514 edges,
lola: 256 tries, 255817330 fired transitions, 1040 secs || 14954561 markings, 110269418 edges,
lola: 258 tries, 257055334 fired transitions, 1045 secs || 15024274 markings, 110781680 edges,
lola: 259 tries, 258297894 fired transitions, 1050 secs || 15094876 markings, 111301775 edges,
lola: 260 tries, 259536441 fired transitions, 1055 secs || 15164342 markings, 111815570 edges,
lola: 261 tries, 260773519 fired transitions, 1060 secs || 15234465 markings, 112331402 edges,
lola: 263 tries, 262010771 fired transitions, 1065 secs || 15304709 markings, 112846485 edges,
lola: 264 tries, 263246601 fired transitions, 1070 secs || 15375738 markings, 113368968 edges,
lola: 265 tries, 264474480 fired transitions, 1075 secs || 15445543 markings, 113882809 edges,
lola: 266 tries, 265706521 fired transitions, 1080 secs || 15515423 markings, 114397628 edges,
lola: 267 tries, 266949749 fired transitions, 1085 secs || 15586476 markings, 114920831 edges,
lola: 269 tries, 268189899 fired transitions, 1090 secs || 15656705 markings, 115435165 edges,
lola: 270 tries, 269434860 fired transitions, 1095 secs || 15727678 markings, 115957241 edges,
lola: 271 tries, 270675530 fired transitions, 1100 secs || 15797374 markings, 116474302 edges,
lola: 272 tries, 271902099 fired transitions, 1105 secs || 15868389 markings, 116996636 edges,
lola: 274 tries, 273134015 fired transitions, 1110 secs || 15939260 markings, 117518080 edges,
lola: 275 tries, 274350884 fired transitions, 1115 secs || 16009524 markings, 118036517 edges,
lola: 276 tries, 275592131 fired transitions, 1120 secs || 16080942 markings, 118562701 edges,
lola: 277 tries, 276841697 fired transitions, 1125 secs || 16153199 markings, 119092038 edges,
lola: 279 tries, 278090668 fired transitions, 1130 secs || 16224582 markings, 119619318 edges,
lola: 280 tries, 279341356 fired transitions, 1135 secs || 16295880 markings, 120144125 edges,
lola: 281 tries, 280587087 fired transitions, 1140 secs || 16368016 markings, 120676124 edges,
lola: 282 tries, 281832159 fired transitions, 1145 secs || 16442355 markings, 121223023 edges,
lola: 284 tries, 283080246 fired transitions, 1150 secs || 16512609 markings, 121741028 edges,
lola: 285 tries, 284310293 fired transitions, 1155 secs || 16580886 markings, 122243114 edges,
lola: 286 tries, 285561556 fired transitions, 1160 secs || 16651241 markings, 122762771 edges,
lola: 287 tries, 286811098 fired transitions, 1165 secs || 16719872 markings, 123271348 edges,
lola: 289 tries, 288062323 fired transitions, 1170 secs || 16789410 markings, 123782473 edges,
lola: 290 tries, 289311627 fired transitions, 1175 secs || 16860374 markings, 124304657 edges,
lola: 291 tries, 290561164 fired transitions, 1180 secs || 16928661 markings, 124808185 edges,
lola: 292 tries, 291811153 fired transitions, 1185 secs || 16998614 markings, 125322479 edges,
lola: 294 tries, 293056236 fired transitions, 1190 secs || 17068480 markings, 125836208 edges,
lola: 295 tries, 294301022 fired transitions, 1195 secs || 17138092 markings, 126349764 edges,
lola: 296 tries, 295544126 fired transitions, 1200 secs || 17208076 markings, 126864556 edges,
lola: 297 tries, 296785340 fired transitions, 1205 secs || 17279447 markings, 127389526 edges,
lola: 299 tries, 298030986 fired transitions, 1210 secs || 17350695 markings, 127914242 edges,
lola: 300 tries, 299273273 fired transitions, 1215 secs || 17421197 markings, 128433058 edges,
lola: 301 tries, 300514719 fired transitions, 1220 secs || 17490803 markings, 128947820 edges,
lola: 302 tries, 301755771 fired transitions, 1225 secs || 17563918 markings, 129485839 edges,
lola: 303 tries, 302987786 fired transitions, 1230 secs || 17637938 markings, 130032876 edges,
lola: 305 tries, 304236745 fired transitions, 1235 secs || 17713019 markings, 130588935 edges,
lola: 306 tries, 305467906 fired transitions, 1240 secs || 17785662 markings, 131124465 edges,
lola: 307 tries, 306715138 fired transitions, 1245 secs || 17858230 markings, 131658137 edges,
lola: 308 tries, 307961498 fired transitions, 1250 secs || 17931882 markings, 132204711 edges,
lola: 310 tries, 309208177 fired transitions, 1255 secs || 18005240 markings, 132742205 edges,
lola: 311 tries, 310456328 fired transitions, 1260 secs || 18078469 markings, 133287893 edges,
lola: 312 tries, 311703040 fired transitions, 1265 secs || 18153170 markings, 133840559 edges,
lola: 313 tries, 312952506 fired transitions, 1270 secs || 18228872 markings, 134399203 edges,
lola: 315 tries, 314201500 fired transitions, 1275 secs || 18304420 markings, 134958610 edges,
lola: 316 tries, 315448524 fired transitions, 1280 secs || 18379722 markings, 135516215 edges,
lola: 317 tries, 316695869 fired transitions, 1285 secs || 18452133 markings, 136048064 edges,
lola: 318 tries, 317933715 fired transitions, 1290 secs || 18524390 markings, 136585543 edges,
lola: 320 tries, 319181635 fired transitions, 1295 secs || 18594989 markings, 137108347 edges,
lola: 321 tries, 320429063 fired transitions, 1300 secs || 18666612 markings, 137634034 edges,
lola: 322 tries, 321663913 fired transitions, 1305 secs || 18738850 markings, 138165525 edges,
lola: 323 tries, 322908923 fired transitions, 1310 secs || 18810797 markings, 138699525 edges,
lola: 325 tries, 324157706 fired transitions, 1315 secs || 18881318 markings, 139222875 edges,
lola: 326 tries, 325408203 fired transitions, 1320 secs || 18953614 markings, 139756549 edges,
lola: 327 tries, 326657426 fired transitions, 1325 secs || 19026162 markings, 140288919 edges,
lola: 328 tries, 327890660 fired transitions, 1330 secs || 19101067 markings, 140839998 edges,
lola: 330 tries, 329134566 fired transitions, 1335 secs || 19173367 markings, 141381976 edges,
lola: 331 tries, 330384365 fired transitions, 1340 secs || 19248064 markings, 141932445 edges,
lola: 332 tries, 331608566 fired transitions, 1345 secs || 19320894 markings, 142473071 edges,
lola: 333 tries, 332833244 fired transitions, 1350 secs || 19394549 markings, 143012448 edges,
lola: 335 tries, 334077979 fired transitions, 1355 secs || 19464335 markings, 143531953 edges,
lola: 336 tries, 335324973 fired transitions, 1360 secs || 19535596 markings, 144057175 edges,
lola: 337 tries, 336570514 fired transitions, 1365 secs || 19607886 markings, 144593393 edges,
lola: 338 tries, 337781244 fired transitions, 1370 secs || 19681497 markings, 145136963 edges,
lola: 340 tries, 339030555 fired transitions, 1375 secs || 19755284 markings, 145680561 edges,
lola: 341 tries, 340278571 fired transitions, 1380 secs || 19829174 markings, 146227697 edges,
lola: 342 tries, 341512004 fired transitions, 1385 secs || 19902878 markings, 146772993 edges,
lola: 343 tries, 342759814 fired transitions, 1390 secs || 19974634 markings, 147300292 edges,
lola: 345 tries, 344005211 fired transitions, 1395 secs || 20046409 markings, 147832776 edges,
lola: 346 tries, 345240863 fired transitions, 1400 secs || 20119949 markings, 148369964 edges,
lola: 347 tries, 346487445 fired transitions, 1405 secs || 20193411 markings, 148920458 edges,
lola: 348 tries, 347735842 fired transitions, 1410 secs || 20269497 markings, 149482628 edges,
lola: 349 tries, 348980890 fired transitions, 1415 secs || 20346176 markings, 150041291 edges,
lola: 351 tries, 350227971 fired transitions, 1420 secs || 20420650 markings, 150595392 edges,
lola: 352 tries, 351471600 fired transitions, 1425 secs || 20494770 markings, 151146653 edges,
lola: 353 tries, 352713361 fired transitions, 1430 secs || 20569643 markings, 151700899 edges,
lola: 354 tries, 353959364 fired transitions, 1435 secs || 20644084 markings, 152250089 edges,
lola: 356 tries, 355208070 fired transitions, 1440 secs || 20716170 markings, 152785283 edges,
lola: 357 tries, 356452380 fired transitions, 1445 secs || 20792728 markings, 153349773 edges,
lola: 358 tries, 357695387 fired transitions, 1450 secs || 20866965 markings, 153899972 edges,
lola: 359 tries, 358939368 fired transitions, 1455 secs || 20939954 markings, 154434953 edges,
lola: 361 tries, 360185801 fired transitions, 1460 secs || 21011078 markings, 154962581 edges,
lola: 362 tries, 361416595 fired transitions, 1465 secs || 21085407 markings, 155510397 edges,
lola: 363 tries, 362663291 fired transitions, 1470 secs || 21158156 markings, 156046893 edges,
lola: 364 tries, 363909325 fired transitions, 1475 secs || 21232456 markings, 156595325 edges,
lola: 366 tries, 365151418 fired transitions, 1480 secs || 21305058 markings, 157136934 edges,
lola: 367 tries, 366400878 fired transitions, 1485 secs || 21377478 markings, 157671719 edges,
lola: 368 tries, 367635709 fired transitions, 1490 secs || 21449532 markings, 158204024 edges,
lola: 369 tries, 368884691 fired transitions, 1495 secs || 21522627 markings, 158744040 edges,
lola: 371 tries, 370118793 fired transitions, 1500 secs || 21592029 markings, 159258692 edges,
lola: 372 tries, 371369209 fired transitions, 1505 secs || 21660495 markings, 159763080 edges,
lola: 373 tries, 372619218 fired transitions, 1510 secs || 21730293 markings, 160279299 edges,
lola: 374 tries, 373866932 fired transitions, 1515 secs || 21801294 markings, 160802107 edges,
lola: 376 tries, 375095127 fired transitions, 1520 secs || 21873233 markings, 161332980 edges,
lola: 377 tries, 376332716 fired transitions, 1525 secs || 21944958 markings, 161860537 edges,
lola: 378 tries, 377567444 fired transitions, 1530 secs || 22016776 markings, 162392104 edges,
lola: 379 tries, 378803566 fired transitions, 1535 secs || 22089022 markings, 162923596 edges,
lola: 381 tries, 380029504 fired transitions, 1540 secs || 22161436 markings, 163460224 edges,
lola: 382 tries, 381263915 fired transitions, 1545 secs || 22230536 markings, 163971234 edges,
lola: 383 tries, 382500617 fired transitions, 1550 secs || 22300788 markings, 164489075 edges,
lola: 384 tries, 383734336 fired transitions, 1555 secs || 22371881 markings, 165013212 edges,
lola: 385 tries, 384963185 fired transitions, 1560 secs || 22442506 markings, 165536060 edges,
lola: 387 tries, 386198570 fired transitions, 1565 secs || 22512010 markings, 166048321 edges,
lola: 388 tries, 387421734 fired transitions, 1570 secs || 22581428 markings, 166561130 edges,
lola: 389 tries, 388660323 fired transitions, 1575 secs || 22653433 markings, 167093689 edges,
lola: 390 tries, 389896226 fired transitions, 1580 secs || 22725874 markings, 167628329 edges,
lola: 392 tries, 391126287 fired transitions, 1585 secs || 22797730 markings, 168160967 edges,
lola: 393 tries, 392359604 fired transitions, 1590 secs || 22868414 markings, 168681074 edges,
lola: 394 tries, 393598896 fired transitions, 1595 secs || 22938860 markings, 169201498 edges,
lola: 395 tries, 394836970 fired transitions, 1600 secs || 23008975 markings, 169719530 edges,
lola: 397 tries, 396073904 fired transitions, 1605 secs || 23080298 markings, 170245418 edges,
lola: 398 tries, 397310656 fired transitions, 1610 secs || 23152974 markings, 170780384 edges,
lola: 399 tries, 398544148 fired transitions, 1615 secs || 23223902 markings, 171304251 edges,
lola: 400 tries, 399776780 fired transitions, 1620 secs || 23296590 markings, 171841267 edges,
lola: 402 tries, 401008345 fired transitions, 1625 secs || 23367959 markings, 172368236 edges,
lola: 403 tries, 402241312 fired transitions, 1630 secs || 23437988 markings, 172885957 edges,
lola: 404 tries, 403473804 fired transitions, 1635 secs || 23508212 markings, 173403703 edges,
lola: 405 tries, 404708988 fired transitions, 1640 secs || 23578411 markings, 173923223 edges,
lola: 406 tries, 405911236 fired transitions, 1645 secs || 23649447 markings, 174447816 edges,
lola: 408 tries, 407152047 fired transitions, 1650 secs || 23721081 markings, 174975248 edges,
lola: 409 tries, 408402374 fired transitions, 1655 secs || 23793199 markings, 175508834 edges,
lola: 410 tries, 409641213 fired transitions, 1660 secs || 23864132 markings, 176033400 edges,
lola: 411 tries, 410873545 fired transitions, 1665 secs || 23935430 markings, 176559500 edges,
lola: 413 tries, 412097808 fired transitions, 1670 secs || 24006516 markings, 177084556 edges,
lola: 414 tries, 413345391 fired transitions, 1675 secs || 24076569 markings, 177601504 edges,
lola: 415 tries, 414574306 fired transitions, 1680 secs || 24148689 markings, 178132419 edges,
lola: 416 tries, 415814185 fired transitions, 1685 secs || 24221305 markings, 178668733 edges,
lola: 418 tries, 417050012 fired transitions, 1690 secs || 24294341 markings, 179207704 edges,
lola: 419 tries, 418286525 fired transitions, 1695 secs || 24366044 markings, 179739641 edges,
lola: 420 tries, 419448994 fired transitions, 1700 secs || 24437805 markings, 180270030 edges,
lola: 421 tries, 420684574 fired transitions, 1705 secs || 24510360 markings, 180803910 edges,
lola: 422 tries, 421918776 fired transitions, 1710 secs || 24582371 markings, 181334989 edges,
lola: 424 tries, 423161950 fired transitions, 1715 secs || 24654732 markings, 181870816 edges,
lola: 425 tries, 424392351 fired transitions, 1720 secs || 24727876 markings, 182409321 edges,
lola: 426 tries, 425636597 fired transitions, 1725 secs || 24799326 markings, 182939012 edges,
lola: 427 tries, 426874848 fired transitions, 1730 secs || 24869317 markings, 183454462 edges,
lola: 429 tries, 428112487 fired transitions, 1735 secs || 24940193 markings, 183979095 edges,
lola: 430 tries, 429304094 fired transitions, 1740 secs || 25012485 markings, 184514052 edges,
lola: 431 tries, 430552120 fired transitions, 1745 secs || 25084950 markings, 185046699 edges,
lola: 432 tries, 431801308 fired transitions, 1750 secs || 25154883 markings, 185563504 edges,
lola: 434 tries, 433048646 fired transitions, 1755 secs || 25224997 markings, 186080409 edges,
lola: 435 tries, 434295066 fired transitions, 1760 secs || 25295458 markings, 186599724 edges,
lola: 436 tries, 435541466 fired transitions, 1765 secs || 25365660 markings, 187119649 edges,
lola: 437 tries, 436788654 fired transitions, 1770 secs || 25437009 markings, 187645756 edges,
lola: 439 tries, 438036394 fired transitions, 1775 secs || 25505773 markings, 188154380 edges,
lola: 440 tries, 439284433 fired transitions, 1780 secs || 25574772 markings, 188664292 edges,
lola: 441 tries, 440524714 fired transitions, 1785 secs || 25645894 markings, 189188864 edges,
lola: 442 tries, 441771138 fired transitions, 1790 secs || 25717718 markings, 189718855 edges,
lola: 444 tries, 443015169 fired transitions, 1795 secs || 25787848 markings, 190238063 edges,
lola: 445 tries, 444261999 fired transitions, 1800 secs || 25858231 markings, 190756814 edges,
lola: 446 tries, 445484880 fired transitions, 1805 secs || 25928816 markings, 191278474 edges,
lola: 447 tries, 446722056 fired transitions, 1810 secs || 25998402 markings, 191792462 edges,
lola: 448 tries, 447968187 fired transitions, 1815 secs || 26068948 markings, 192314061 edges,
lola: 450 tries, 449220179 fired transitions, 1820 secs || 26140793 markings, 192842768 edges,
lola: 451 tries, 450463428 fired transitions, 1825 secs || 26212101 markings, 193367822 edges,
lola: 452 tries, 451699003 fired transitions, 1830 secs || 26283284 markings, 193895593 edges,
lola: 453 tries, 452914365 fired transitions, 1835 secs || 26357236 markings, 194441856 edges,
lola: 455 tries, 454159404 fired transitions, 1840 secs || 26429666 markings, 194976552 edges,
lola: 456 tries, 455408302 fired transitions, 1845 secs || 26502099 markings, 195511010 edges,
lola: 457 tries, 456651484 fired transitions, 1850 secs || 26573378 markings, 196040011 edges,
lola: 458 tries, 457853916 fired transitions, 1855 secs || 26644417 markings, 196563221 edges,
lola: 460 tries, 459097319 fired transitions, 1860 secs || 26715811 markings, 197089779 edges,
lola: 461 tries, 460327491 fired transitions, 1865 secs || 26785978 markings, 197609808 edges,
lola: 462 tries, 461559416 fired transitions, 1870 secs || 26856835 markings, 198130047 edges,
lola: 463 tries, 462799532 fired transitions, 1875 secs || 26928048 markings, 198656942 edges,
lola: 465 tries, 464032277 fired transitions, 1880 secs || 27001129 markings, 199195122 edges,
lola: 466 tries, 465270646 fired transitions, 1885 secs || 27070568 markings, 199708641 edges,
lola: 467 tries, 466502488 fired transitions, 1890 secs || 27139557 markings, 200219495 edges,
lola: 468 tries, 467735442 fired transitions, 1895 secs || 27209742 markings, 200737186 edges,
lola: 469 tries, 468951640 fired transitions, 1900 secs || 27280938 markings, 201263964 edges,
lola: 471 tries, 470194785 fired transitions, 1905 secs || 27353748 markings, 201799707 edges,
lola: 472 tries, 471435081 fired transitions, 1910 secs || 27425987 markings, 202332997 edges,
lola: 473 tries, 472671430 fired transitions, 1915 secs || 27497808 markings, 202862961 edges,
lola: 474 tries, 473894077 fired transitions, 1920 secs || 27571821 markings, 203409178 edges,
lola: 476 tries, 475110649 fired transitions, 1925 secs || 27643157 markings, 203937222 edges,
lola: 477 tries, 476347422 fired transitions, 1930 secs || 27717366 markings, 204478605 edges,
lola: 478 tries, 477588721 fired transitions, 1935 secs || 27790241 markings, 205018798 edges,
lola: 479 tries, 478829164 fired transitions, 1940 secs || 27861982 markings, 205551720 edges,
lola: 481 tries, 480068552 fired transitions, 1945 secs || 27933440 markings, 206078091 edges,
lola: 482 tries, 481281813 fired transitions, 1950 secs || 28007363 markings, 206622510 edges,
lola: 483 tries, 482520623 fired transitions, 1955 secs || 28083182 markings, 207177910 edges,
lola: 484 tries, 483755766 fired transitions, 1960 secs || 28158823 markings, 207738282 edges,
lola: 485 tries, 484993102 fired transitions, 1965 secs || 28230242 markings, 208265496 edges,
lola: 487 tries, 486231546 fired transitions, 1970 secs || 28301343 markings, 208791678 edges,
lola: 488 tries, 487465278 fired transitions, 1975 secs || 28373274 markings, 209312367 edges,
lola: 489 tries, 488700278 fired transitions, 1980 secs || 28442933 markings, 209830401 edges,
lola: 490 tries, 489937201 fired transitions, 1985 secs || 28513901 markings, 210353554 edges,
lola: 492 tries, 491178453 fired transitions, 1990 secs || 28584378 markings, 210873478 edges,
lola: 493 tries, 492427062 fired transitions, 1995 secs || 28655557 markings, 211399501 edges,
lola: 494 tries, 493680060 fired transitions, 2000 secs || 28729198 markings, 211938070 edges,
lola: 495 tries, 494919730 fired transitions, 2005 secs || 28800385 markings, 212466043 edges,
lola: 497 tries, 496172918 fired transitions, 2010 secs || 28871408 markings, 212991513 edges,
lola: 498 tries, 497425355 fired transitions, 2015 secs || 28943617 markings, 213521467 edges,
lola: 499 tries, 498676149 fired transitions, 2020 secs || 29013807 markings, 214041548 edges,
lola: 500 tries, 499924409 fired transitions, 2025 secs || 29085922 markings, 214571807 edges,
lola: 502 tries, 501160588 fired transitions, 2030 secs || 29158481 markings, 215105903 edges,
lola: 503 tries, 502411392 fired transitions, 2035 secs || 29231452 markings, 215643148 edges,
lola: 504 tries, 503643278 fired transitions, 2040 secs || 29304321 markings, 216180771 edges,
lola: 505 tries, 504892218 fired transitions, 2045 secs || 29378975 markings, 216730483 edges,
lola: 507 tries, 506140916 fired transitions, 2050 secs || 29454248 markings, 217286634 edges,
lola: 508 tries, 507372755 fired transitions, 2055 secs || 29526178 markings, 217818244 edges,
lola: 509 tries, 508621464 fired transitions, 2060 secs || 29597614 markings, 218341484 edges,
lola: 510 tries, 509870126 fired transitions, 2065 secs || 29668713 markings, 218861778 edges,
lola: 512 tries, 511104777 fired transitions, 2070 secs || 29739337 markings, 219385890 edges,
lola: 513 tries, 512353584 fired transitions, 2075 secs || 29809561 markings, 219906074 edges,
lola: 514 tries, 513596201 fired transitions, 2080 secs || 29880940 markings, 220428868 edges,
lola: 515 tries, 514845341 fired transitions, 2085 secs || 29952163 markings, 220954668 edges,
lola: 517 tries, 516092738 fired transitions, 2090 secs || 30025297 markings, 221493868 edges,
lola: 518 tries, 517338291 fired transitions, 2095 secs || 30096778 markings, 222022468 edges,
lola: 519 tries, 518562827 fired transitions, 2100 secs || 30168190 markings, 222547270 edges,
lola: 520 tries, 519800415 fired transitions, 2105 secs || 30240830 markings, 223082214 edges,
lola: 521 tries, 520834044 fired transitions, 2110 secs || 30298388 markings, 223508351 edges,
lola: 523 tries, 522069605 fired transitions, 2115 secs || 30369638 markings, 224032897 edges,
lola: 524 tries, 523313329 fired transitions, 2120 secs || 30442816 markings, 224571797 edges,
lola: 525 tries, 524557206 fired transitions, 2125 secs || 30516884 markings, 225117531 edges,
lola: 526 tries, 525797902 fired transitions, 2130 secs || 30591956 markings, 225670063 edges,
lola: 528 tries, 527033559 fired transitions, 2135 secs || 30668046 markings, 226231807 edges,
lola: 529 tries, 528264155 fired transitions, 2140 secs || 30739692 markings, 226760953 edges,
lola: 530 tries, 529492200 fired transitions, 2145 secs || 30809834 markings, 227272049 edges,
lola: 531 tries, 530722943 fired transitions, 2150 secs || 30877815 markings, 227773489 edges,
lola: 532 tries, 531960226 fired transitions, 2155 secs || 30949168 markings, 228297909 edges,
lola: 534 tries, 533197842 fired transitions, 2160 secs || 31017031 markings, 228799410 edges,
lola: 535 tries, 534429150 fired transitions, 2165 secs || 31085213 markings, 229302674 edges,
lola: 536 tries, 535662391 fired transitions, 2170 secs || 31155098 markings, 229821454 edges,
lola: 537 tries, 536891747 fired transitions, 2175 secs || 31227043 markings, 230351391 edges,
lola: 539 tries, 538125105 fired transitions, 2180 secs || 31297928 markings, 230873939 edges,
lola: 540 tries, 539362118 fired transitions, 2185 secs || 31366827 markings, 231380760 edges,
lola: 541 tries, 540598598 fired transitions, 2190 secs || 31436994 markings, 231895910 edges,
lola: 542 tries, 541833677 fired transitions, 2195 secs || 31506449 markings, 232412032 edges,
lola: 544 tries, 543071706 fired transitions, 2200 secs || 31574056 markings, 232908913 edges,
lola: 545 tries, 544300723 fired transitions, 2205 secs || 31646675 markings, 233442270 edges,
lola: 546 tries, 545513877 fired transitions, 2210 secs || 31717958 markings, 233968878 edges,
lola: 547 tries, 546617136 fired transitions, 2215 secs || 31782883 markings, 234446438 edges,
lola: 548 tries, 547820738 fired transitions, 2220 secs || 31856176 markings, 234987210 edges,
lola: 550 tries, 549020557 fired transitions, 2225 secs || 31927069 markings, 235510074 edges,
lola: 551 tries, 550242580 fired transitions, 2230 secs || 32000187 markings, 236049857 edges,
lola: 552 tries, 551463958 fired transitions, 2235 secs || 32074461 markings, 236598403 edges,
lola: 553 tries, 552642022 fired transitions, 2240 secs || 32148892 markings, 237147911 edges,
lola: 554 tries, 553854175 fired transitions, 2245 secs || 32221331 markings, 237681502 edges,
lola: 556 tries, 555103964 fired transitions, 2250 secs || 32292631 markings, 238207560 edges,
lola: 557 tries, 556353449 fired transitions, 2255 secs || 32366831 markings, 238759736 edges,
lola: 558 tries, 557603619 fired transitions, 2260 secs || 32441882 markings, 239312107 edges,
lola: 559 tries, 558851707 fired transitions, 2265 secs || 32514425 markings, 239845196 edges,
lola: 561 tries, 560099791 fired transitions, 2270 secs || 32590192 markings, 240395533 edges,
lola: 562 tries, 561345421 fired transitions, 2275 secs || 32663194 markings, 240938687 edges,
lola: 563 tries, 562588135 fired transitions, 2280 secs || 32735670 markings, 241474984 edges,
lola: 564 tries, 563828043 fired transitions, 2285 secs || 32807473 markings, 242002414 edges,
lola: 566 tries, 565072559 fired transitions, 2290 secs || 32881834 markings, 242545722 edges,
lola: 567 tries, 566324105 fired transitions, 2295 secs || 32953758 markings, 243074112 edges,
lola: 568 tries, 567572878 fired transitions, 2300 secs || 33024220 markings, 243601133 edges,
lola: 569 tries, 568823348 fired transitions, 2305 secs || 33099021 markings, 244151844 edges,
lola: 571 tries, 570072611 fired transitions, 2310 secs || 33173457 markings, 244696778 edges,
lola: 572 tries, 571324079 fired transitions, 2315 secs || 33248364 markings, 245254586 edges,
lola: 573 tries, 572569559 fired transitions, 2320 secs || 33321105 markings, 245785818 edges,
lola: 574 tries, 573819071 fired transitions, 2325 secs || 33392250 markings, 246313003 edges,
lola: 576 tries, 575067736 fired transitions, 2330 secs || 33463577 markings, 246834742 edges,
lola: 577 tries, 576320107 fired transitions, 2335 secs || 33534955 markings, 247359692 edges,
lola: 578 tries, 577571867 fired transitions, 2340 secs || 33604509 markings, 247877960 edges,
lola: 579 tries, 578821475 fired transitions, 2345 secs || 33675458 markings, 248392622 edges,
lola: 581 tries, 580068743 fired transitions, 2350 secs || 33746272 markings, 248915008 edges,
lola: 582 tries, 581316578 fired transitions, 2355 secs || 33815635 markings, 249431241 edges,
lola: 583 tries, 582563235 fired transitions, 2360 secs || 33887932 markings, 249961301 edges,
lola: 584 tries, 583809637 fired transitions, 2365 secs || 33957826 markings, 250480005 edges,
lola: 586 tries, 585053837 fired transitions, 2370 secs || 34029125 markings, 251003191 edges,
lola: 587 tries, 586279327 fired transitions, 2375 secs || 34099276 markings, 251522605 edges,
lola: 588 tries, 587530371 fired transitions, 2380 secs || 34168209 markings, 252031297 edges,
lola: 589 tries, 588773041 fired transitions, 2385 secs || 34237561 markings, 252540312 edges,
lola: 591 tries, 590002572 fired transitions, 2390 secs || 34308845 markings, 253060179 edges,
lola: 592 tries, 591243912 fired transitions, 2395 secs || 34378928 markings, 253578464 edges,
lola: 593 tries, 592488346 fired transitions, 2400 secs || 34448004 markings, 254092446 edges,
lola: 594 tries, 593730610 fired transitions, 2405 secs || 34518518 markings, 254611633 edges,
lola: 595 tries, 594972357 fired transitions, 2410 secs || 34588961 markings, 255131239 edges,
lola: 597 tries, 596200877 fired transitions, 2415 secs || 34660318 markings, 255656855 edges,
lola: 598 tries, 597450193 fired transitions, 2420 secs || 34730564 markings, 256174906 edges,
lola: 599 tries, 598694120 fired transitions, 2425 secs || 34800107 markings, 256687065 edges,
lola: 600 tries, 599935154 fired transitions, 2430 secs || 34870392 markings, 257205950 edges,
lola: 602 tries, 601180422 fired transitions, 2435 secs || 34940933 markings, 257724236 edges,
lola: 603 tries, 602427933 fired transitions, 2440 secs || 35010278 markings, 258236292 edges,
lola: 604 tries, 603674210 fired transitions, 2445 secs || 35079334 markings, 258739272 edges,
lola: 605 tries, 604920928 fired transitions, 2450 secs || 35148098 markings, 259244917 edges,
lola: 607 tries, 606162513 fired transitions, 2455 secs || 35215183 markings, 259741512 edges,
lola: 608 tries, 607406390 fired transitions, 2460 secs || 35283259 markings, 260240271 edges,
lola: 609 tries, 608653686 fired transitions, 2465 secs || 35351660 markings, 260743704 edges,
lola: 610 tries, 609894193 fired transitions, 2470 secs || 35423255 markings, 261272446 edges,
lola: 612 tries, 611137751 fired transitions, 2475 secs || 35493350 markings, 261786851 edges,
lola: 613 tries, 612381622 fired transitions, 2480 secs || 35565407 markings, 262318218 edges,
lola: 614 tries, 613626500 fired transitions, 2485 secs || 35635033 markings, 262834202 edges,
lola: 615 tries, 614869060 fired transitions, 2490 secs || 35705571 markings, 263355881 edges,
lola: 617 tries, 616115889 fired transitions, 2495 secs || 35773530 markings, 263859874 edges,
lola: 618 tries, 617362088 fired transitions, 2500 secs || 35840805 markings, 264355640 edges,
lola: 619 tries, 618605985 fired transitions, 2505 secs || 35910112 markings, 264866638 edges,
lola: 620 tries, 619851057 fired transitions, 2510 secs || 35978345 markings, 265374045 edges,
lola: 622 tries, 621096412 fired transitions, 2515 secs || 36048950 markings, 265893883 edges,
lola: 623 tries, 622342041 fired transitions, 2520 secs || 36118127 markings, 266399806 edges,
lola: 624 tries, 623589037 fired transitions, 2525 secs || 36188929 markings, 266923644 edges,
lola: 625 tries, 624832740 fired transitions, 2530 secs || 36258022 markings, 267426830 edges,
lola: 627 tries, 626082737 fired transitions, 2535 secs || 36326119 markings, 267929103 edges,
lola: 628 tries, 627295358 fired transitions, 2540 secs || 36394694 markings, 268436648 edges,
lola: 629 tries, 628534591 fired transitions, 2545 secs || 36463057 markings, 268944385 edges,
lola: 630 tries, 629759975 fired transitions, 2550 secs || 36534079 markings, 269463828 edges,
lola: 632 tries, 631009348 fired transitions, 2555 secs || 36603574 markings, 269977129 edges,
lola: 633 tries, 632254859 fired transitions, 2560 secs || 36671935 markings, 270483318 edges,
lola: 634 tries, 633500611 fired transitions, 2565 secs || 36740918 markings, 270992552 edges,
lola: 635 tries, 634742950 fired transitions, 2570 secs || 36811566 markings, 271506263 edges,
lola: 636 tries, 635983684 fired transitions, 2575 secs || 36880564 markings, 272022870 edges,
lola: 638 tries, 637231911 fired transitions, 2580 secs || 36951507 markings, 272541349 edges,
lola: 639 tries, 638438859 fired transitions, 2585 secs || 37020562 markings, 273049388 edges,
lola: 640 tries, 639683899 fired transitions, 2590 secs || 37089261 markings, 273556794 edges,
lola: 641 tries, 640928960 fired transitions, 2595 secs || 37159596 markings, 274072870 edges,
lola: 643 tries, 642176799 fired transitions, 2600 secs || 37227522 markings, 274579709 edges,
lola: 644 tries, 643425300 fired transitions, 2605 secs || 37297808 markings, 275094765 edges,
lola: 645 tries, 644671750 fired transitions, 2610 secs || 37366902 markings, 275606430 edges,
lola: 646 tries, 645918936 fired transitions, 2615 secs || 37438109 markings, 276125756 edges,
lola: 648 tries, 647164192 fired transitions, 2620 secs || 37507941 markings, 276644594 edges,
lola: 649 tries, 648407124 fired transitions, 2625 secs || 37580449 markings, 277176862 edges,
lola: 650 tries, 649653137 fired transitions, 2630 secs || 37651294 markings, 277701398 edges,
lola: 651 tries, 650900705 fired transitions, 2635 secs || 37722707 markings, 278224966 edges,
lola: 653 tries, 652148687 fired transitions, 2640 secs || 37795134 markings, 278762105 edges,
lola: 654 tries, 653390166 fired transitions, 2645 secs || 37869442 markings, 279306069 edges,
lola: 655 tries, 654634134 fired transitions, 2650 secs || 37941587 markings, 279837497 edges,
lola: 656 tries, 655880968 fired transitions, 2655 secs || 38013413 markings, 280364325 edges,
lola: 658 tries, 657128694 fired transitions, 2660 secs || 38083268 markings, 280872321 edges,
lola: 659 tries, 658376144 fired transitions, 2665 secs || 38152118 markings, 281393520 edges,
lola: 660 tries, 659625874 fired transitions, 2670 secs || 38222472 markings, 281909737 edges,
lola: 661 tries, 660872543 fired transitions, 2675 secs || 38293165 markings, 282431615 edges,
lola: 663 tries, 662101052 fired transitions, 2680 secs || 38362829 markings, 282948142 edges,
lola: 664 tries, 663351259 fired transitions, 2685 secs || 38432335 markings, 283458635 edges,
lola: 665 tries, 664586054 fired transitions, 2690 secs || 38502855 markings, 283974800 edges,
lola: 666 tries, 665835910 fired transitions, 2695 secs || 38574242 markings, 284501481 edges,
lola: 668 tries, 667086770 fired transitions, 2700 secs || 38644228 markings, 285016413 edges,
lola: 669 tries, 668336923 fired transitions, 2705 secs || 38713885 markings, 285529516 edges,
lola: 670 tries, 669569072 fired transitions, 2710 secs || 38784583 markings, 286050571 edges,
lola: 671 tries, 670815359 fired transitions, 2715 secs || 38853338 markings, 286554266 edges,
lola: 673 tries, 672065207 fired transitions, 2720 secs || 38921607 markings, 287058604 edges,
lola: 674 tries, 673301680 fired transitions, 2725 secs || 38990711 markings, 287569269 edges,
lola: 675 tries, 674534806 fired transitions, 2730 secs || 39060200 markings, 288076052 edges,
lola: 676 tries, 675783117 fired transitions, 2735 secs || 39130526 markings, 288597870 edges,
lola: 678 tries, 677005328 fired transitions, 2740 secs || 39199544 markings, 289104830 edges,
lola: 679 tries, 678244925 fired transitions, 2745 secs || 39270401 markings, 289627595 edges,
lola: 680 tries, 679489805 fired transitions, 2750 secs || 39341252 markings, 290147840 edges,
lola: 681 tries, 680738598 fired transitions, 2755 secs || 39411959 markings, 290669526 edges,
lola: 682 tries, 681983986 fired transitions, 2760 secs || 39482645 markings, 291189646 edges,
lola: 684 tries, 683224316 fired transitions, 2765 secs || 39552333 markings, 291704096 edges,
lola: 685 tries, 684473372 fired transitions, 2770 secs || 39625227 markings, 292241150 edges,
lola: 686 tries, 685719354 fired transitions, 2775 secs || 39695850 markings, 292760820 edges,
lola: 687 tries, 686934077 fired transitions, 2780 secs || 39763083 markings, 293255941 edges,
lola: 689 tries, 688184585 fired transitions, 2785 secs || 39832590 markings, 293768340 edges,
lola: 690 tries, 689435016 fired transitions, 2790 secs || 39900186 markings, 294269139 edges,
lola: 691 tries, 690684264 fired transitions, 2795 secs || 39969251 markings, 294777501 edges,
lola: 692 tries, 691933224 fired transitions, 2800 secs || 40038160 markings, 295284460 edges,
lola: 694 tries, 693181783 fired transitions, 2805 secs || 40105980 markings, 295784821 edges,
lola: 695 tries, 694428838 fired transitions, 2810 secs || 40174771 markings, 296290260 edges,
lola: 696 tries, 695678099 fired transitions, 2815 secs || 40241531 markings, 296782467 edges,
lola: 697 tries, 696926315 fired transitions, 2820 secs || 40310502 markings, 297289655 edges,
lola: 699 tries, 698154510 fired transitions, 2825 secs || 40380341 markings, 297803994 edges,
lola: 700 tries, 699396562 fired transitions, 2830 secs || 40450915 markings, 298322811 edges,
lola: 701 tries, 700652245 fired transitions, 2835 secs || 40522290 markings, 298848051 edges,
lola: 702 tries, 701902847 fired transitions, 2840 secs || 40593905 markings, 299375994 edges,
lola: 704 tries, 703153262 fired transitions, 2845 secs || 40663077 markings, 299887060 edges,
lola: 705 tries, 704402063 fired transitions, 2850 secs || 40734918 markings, 300415606 edges,
lola: 706 tries, 705653580 fired transitions, 2855 secs || 40804019 markings, 300923596 edges,
lola: 707 tries, 706901511 fired transitions, 2860 secs || 40877114 markings, 301459126 edges,
lola: 709 tries, 708150759 fired transitions, 2865 secs || 40949979 markings, 301999254 edges,
lola: 710 tries, 709384435 fired transitions, 2870 secs || 41023521 markings, 302541552 edges,
lola: 711 tries, 710632785 fired transitions, 2875 secs || 41099517 markings, 303103151 edges,
lola: 712 tries, 711880711 fired transitions, 2880 secs || 41172451 markings, 303639121 edges,
lola: 714 tries, 713129829 fired transitions, 2885 secs || 41243090 markings, 304160512 edges,
lola: 715 tries, 714366170 fired transitions, 2890 secs || 41310261 markings, 304650323 edges,
lola: 716 tries, 715599194 fired transitions, 2895 secs || 41379244 markings, 305161651 edges,
lola: 717 tries, 716827004 fired transitions, 2900 secs || 41448812 markings, 305677081 edges,
lola: 719 tries, 718071374 fired transitions, 2905 secs || 41517572 markings, 306180955 edges,
lola: 720 tries, 719317592 fired transitions, 2910 secs || 41586384 markings, 306687251 edges,
lola: 721 tries, 720542929 fired transitions, 2915 secs || 41655983 markings, 307197370 edges,
lola: 722 tries, 721774826 fired transitions, 2920 secs || 41725049 markings, 307712678 edges,
lola: 724 tries, 723020047 fired transitions, 2925 secs || 41793967 markings, 308219048 edges,
lola: 725 tries, 724222227 fired transitions, 2930 secs || 41862576 markings, 308725406 edges,
lola: 726 tries, 725472418 fired transitions, 2935 secs || 41930547 markings, 309227612 edges,
lola: 727 tries, 726708373 fired transitions, 2940 secs || 42001450 markings, 309750106 edges,
lola: 728 tries, 727937648 fired transitions, 2945 secs || 42071810 markings, 310266344 edges,
lola: 730 tries, 729188802 fired transitions, 2950 secs || 42144520 markings, 310803456 edges,
lola: 731 tries, 730437522 fired transitions, 2955 secs || 42219680 markings, 311356330 edges,
lola: 732 tries, 731657029 fired transitions, 2960 secs || 42296625 markings, 311922590 edges,
lola: 733 tries, 732894195 fired transitions, 2965 secs || 42368355 markings, 312454301 edges,
lola: 735 tries, 734140974 fired transitions, 2970 secs || 42438846 markings, 312970637 edges,
lola: 736 tries, 735388629 fired transitions, 2975 secs || 42509518 markings, 313488879 edges,
lola: 737 tries, 736638436 fired transitions, 2980 secs || 42578461 markings, 313996043 edges,
lola: 738 tries, 737882096 fired transitions, 2985 secs || 42646985 markings, 314506662 edges,
lola: 740 tries, 739131030 fired transitions, 2990 secs || 42717463 markings, 315025108 edges,
lola: 741 tries, 740365388 fired transitions, 2995 secs || 42786690 markings, 315534064 edges,
lola: 742 tries, 741613906 fired transitions, 3000 secs || 42858619 markings, 316063492 edges,
lola: 743 tries, 742857197 fired transitions, 3005 secs || 42928877 markings, 316585931 edges,
lola: 745 tries, 744104997 fired transitions, 3010 secs || 42997711 markings, 317090770 edges,
lola: 746 tries, 745331776 fired transitions, 3015 secs || 43067326 markings, 317603504 edges,
lola: 747 tries, 746580911 fired transitions, 3020 secs || 43138412 markings, 318127884 edges,
lola: 748 tries, 747822479 fired transitions, 3025 secs || 43208465 markings, 318644446 edges,
lola: 750 tries, 749069592 fired transitions, 3030 secs || 43280962 markings, 319176624 edges,
lola: 751 tries, 750313886 fired transitions, 3035 secs || 43354312 markings, 319719844 edges,
lola: 752 tries, 751556797 fired transitions, 3040 secs || 43428147 markings, 320263054 edges,
lola: 753 tries, 752802131 fired transitions, 3045 secs || 43501092 markings, 320801340 edges,
lola: 755 tries, 754049080 fired transitions, 3050 secs || 43574089 markings, 321340264 edges,
lola: 756 tries, 755296193 fired transitions, 3055 secs || 43647042 markings, 321878998 edges,
lola: 757 tries, 756526240 fired transitions, 3060 secs || 43721057 markings, 322423840 edges,
lola: 758 tries, 757771515 fired transitions, 3065 secs || 43794295 markings, 322964214 edges,
lola: 760 tries, 759016514 fired transitions, 3070 secs || 43867857 markings, 323508178 edges,
lola: 761 tries, 760261687 fired transitions, 3075 secs || 43941334 markings, 324047371 edges,
lola: 762 tries, 761507491 fired transitions, 3080 secs || 44016213 markings, 324601253 edges,
lola: 763 tries, 762668882 fired transitions, 3085 secs || 44092591 markings, 325162555 edges,
lola: 764 tries, 763844963 fired transitions, 3090 secs || 44168644 markings, 325723401 edges,
lola: 766 tries, 765088351 fired transitions, 3095 secs || 44245350 markings, 326283955 edges,
lola: 767 tries, 766331891 fired transitions, 3100 secs || 44320572 markings, 326844277 edges,
lola: 768 tries, 767577070 fired transitions, 3105 secs || 44396259 markings, 327397314 edges,
lola: 769 tries, 768820723 fired transitions, 3110 secs || 44470663 markings, 327951589 edges,
lola: 771 tries, 770064077 fired transitions, 3115 secs || 44546940 markings, 328510198 edges,
lola: 772 tries, 771307033 fired transitions, 3120 secs || 44620880 markings, 329059845 edges,
lola: 773 tries, 772549948 fired transitions, 3125 secs || 44695819 markings, 329610368 edges,
lola: 774 tries, 773791905 fired transitions, 3130 secs || 44770823 markings, 330163265 edges,
lola: 776 tries, 775035583 fired transitions, 3135 secs || 44845291 markings, 330714003 edges,
lola: 777 tries, 776279408 fired transitions, 3140 secs || 44922199 markings, 331280263 edges,
lola: 778 tries, 777525480 fired transitions, 3145 secs || 44994356 markings, 331810709 edges,
lola: 779 tries, 778758048 fired transitions, 3150 secs || 45066331 markings, 332340794 edges,
lola: 780 tries, 779969181 fired transitions, 3155 secs || 45138004 markings, 332863497 edges,
lola: 782 tries, 781217529 fired transitions, 3160 secs || 45208498 markings, 333385756 edges,
lola: 783 tries, 782459352 fired transitions, 3165 secs || 45279517 markings, 333908914 edges,
lola: 784 tries, 783710400 fired transitions, 3170 secs || 45349695 markings, 334429744 edges,
lola: 785 tries, 784960460 fired transitions, 3175 secs || 45420838 markings, 334951918 edges,
lola: 787 tries, 786206961 fired transitions, 3180 secs || 45493413 markings, 335483911 edges,
lola: 788 tries, 787454403 fired transitions, 3185 secs || 45561908 markings, 335995285 edges,
lola: 789 tries, 788703050 fired transitions, 3190 secs || 45633430 markings, 336517458 edges,
lola: 790 tries, 789952158 fired transitions, 3195 secs || 45703324 markings, 337032519 edges,
lola: 792 tries, 791201142 fired transitions, 3200 secs || 45772129 markings, 337543001 edges,
lola: 793 tries, 792446175 fired transitions, 3205 secs || 45842349 markings, 338061584 edges,
lola: 794 tries, 793694987 fired transitions, 3210 secs || 45914015 markings, 338588192 edges,
lola: 795 tries, 794944983 fired transitions, 3215 secs || 45986372 markings, 339112999 edges,
lola: 797 tries, 796194087 fired transitions, 3220 secs || 46055467 markings, 339627566 edges,
lola: 798 tries, 797444318 fired transitions, 3225 secs || 46126525 markings, 340151850 edges,
lola: 799 tries, 798693006 fired transitions, 3230 secs || 46196075 markings, 340661911 edges,
lola: 800 tries, 799934760 fired transitions, 3235 secs || 46266568 markings, 341182682 edges,
lola: 802 tries, 801160388 fired transitions, 3240 secs || 46338319 markings, 341711606 edges,
lola: 803 tries, 802394835 fired transitions, 3245 secs || 46407517 markings, 342224780 edges,
lola: 804 tries, 803642070 fired transitions, 3250 secs || 46477478 markings, 342737997 edges,
lola: 805 tries, 804884244 fired transitions, 3255 secs || 46549346 markings, 343266629 edges,
lola: 807 tries, 806115165 fired transitions, 3260 secs || 46619933 markings, 343790476 edges,
lola: 808 tries, 807352673 fired transitions, 3265 secs || 46692665 markings, 344317069 edges,
lola: 809 tries, 808588658 fired transitions, 3270 secs || 46762476 markings, 344830878 edges,
lola: 810 tries, 809830964 fired transitions, 3275 secs || 46831402 markings, 345342547 edges,
lola: 812 tries, 811051784 fired transitions, 3280 secs || 46901716 markings, 345857485 edges,
lola: 813 tries, 812283724 fired transitions, 3285 secs || 46970140 markings, 346366418 edges,
lola: 814 tries, 813532742 fired transitions, 3290 secs || 47041182 markings, 346887534 edges,
lola: 815 tries, 814776443 fired transitions, 3295 secs || 47111390 markings, 347404249 edges,
lola: 817 tries, 816027659 fired transitions, 3300 secs || 47181441 markings, 347918821 edges,
lola: 818 tries, 817271833 fired transitions, 3305 secs || 47251901 markings, 348440484 edges,
lola: 819 tries, 818505106 fired transitions, 3310 secs || 47320506 markings, 348947877 edges,
lola: 820 tries, 819704369 fired transitions, 3315 secs || 47389712 markings, 349462466 edges,
lola: 821 tries, 820956570 fired transitions, 3320 secs || 47458996 markings, 349971063 edges,
lola: 823 tries, 822182733 fired transitions, 3325 secs || 47529230 markings, 350488925 edges,
lola: 824 tries, 823432601 fired transitions, 3330 secs || 47600126 markings, 351012324 edges,
lola: 825 tries, 824664296 fired transitions, 3335 secs || 47670366 markings, 351531141 edges,
lola: 826 tries, 825893940 fired transitions, 3340 secs || 47739317 markings, 352039708 edges,
lola: 828 tries, 827136695 fired transitions, 3345 secs || 47810384 markings, 352561495 edges,
lola: 829 tries, 828386612 fired transitions, 3350 secs || 47881778 markings, 353091805 edges,
lola: 830 tries, 829625215 fired transitions, 3355 secs || 47952014 markings, 353606806 edges,
lola: 831 tries, 830861934 fired transitions, 3360 secs || 48021380 markings, 354119274 edges,
lola: 833 tries, 832107023 fired transitions, 3365 secs || 48091943 markings, 354632459 edges,
lola: 834 tries, 833357116 fired transitions, 3370 secs || 48162915 markings, 355155570 edges,
lola: 835 tries, 834583861 fired transitions, 3375 secs || 48231824 markings, 355669955 edges,
lola: 836 tries, 835813967 fired transitions, 3380 secs || 48301657 markings, 356183076 edges,
lola: 838 tries, 837066383 fired transitions, 3385 secs || 48372271 markings, 356706565 edges,
lola: 839 tries, 838318342 fired transitions, 3390 secs || 48442396 markings, 357221450 edges,
lola: 840 tries, 839568911 fired transitions, 3395 secs || 48512158 markings, 357736777 edges,
lola: 841 tries, 840818396 fired transitions, 3400 secs || 48583306 markings, 358255901 edges,
lola: 843 tries, 842065553 fired transitions, 3405 secs || 48653400 markings, 358773544 edges,
lola: 844 tries, 843304071 fired transitions, 3410 secs || 48723316 markings, 359292669 edges,
lola: 845 tries, 844553074 fired transitions, 3415 secs || 48794419 markings, 359815823 edges,
lola: 846 tries, 845803450 fired transitions, 3420 secs || 48863523 markings, 360326200 edges,
lola: 848 tries, 847046993 fired transitions, 3425 secs || 48934127 markings, 360846047 edges,
lola: 849 tries, 848284946 fired transitions, 3430 secs || 49003826 markings, 361360241 edges,
lola: 850 tries, 849536111 fired transitions, 3435 secs || 49072145 markings, 361861544 edges,
lola: 851 tries, 850786845 fired transitions, 3440 secs || 49141483 markings, 362370608 edges,
lola: 853 tries, 852034047 fired transitions, 3445 secs || 49212913 markings, 362899299 edges,
lola: 854 tries, 853281114 fired transitions, 3450 secs || 49283471 markings, 363421732 edges,
lola: 855 tries, 854525504 fired transitions, 3455 secs || 49354894 markings, 363946663 edges,
lola: 856 tries, 855771078 fired transitions, 3460 secs || 49427054 markings, 364477694 edges,
lola: 858 tries, 857011576 fired transitions, 3465 secs || 49501157 markings, 365023578 edges,
lola: 859 tries, 858254854 fired transitions, 3470 secs || 49573065 markings, 365554550 edges,
lola: 860 tries, 859492889 fired transitions, 3475 secs || 49644938 markings, 366078771 edges,
lola: 861 tries, 860742250 fired transitions, 3480 secs || 49714421 markings, 366586478 edges,
lola: 862 tries, 861974206 fired transitions, 3485 secs || 49783406 markings, 367106783 edges,
lola: 864 tries, 863224383 fired transitions, 3490 secs || 49853150 markings, 367620650 edges,
lola: 865 tries, 864468469 fired transitions, 3495 secs || 49923156 markings, 368135558 edges,
lola: 866 tries, 865716139 fired transitions, 3500 secs || 49993434 markings, 368654966 edges,
lola: 867 tries, 866964444 fired transitions, 3505 secs || 50063519 markings, 369172238 edges,
lola: 869 tries, 868168853 fired transitions, 3510 secs || 50133054 markings, 369680288 edges,
lola: 870 tries, 869402471 fired transitions, 3515 secs || 50204213 markings, 370204598 edges,
lola: 871 tries, 870631142 fired transitions, 3520 secs || 50275322 markings, 370727627 edges,
lola: 872 tries, 871854336 fired transitions, 3525 secs || 50345020 markings, 371238699 edges,
lola: 874 tries, 873103241 fired transitions, 3530 secs || 50414957 markings, 371754620 edges,
lola: 875 tries, 874346789 fired transitions, 3535 secs || 50484409 markings, 372267637 edges,
lola: 876 tries, 875579560 fired transitions, 3540 secs || 50555180 markings, 372788377 edges,
lola: 877 tries, 876830464 fired transitions, 3545 secs || 50625245 markings, 373303334 edges,
lola: 879 tries, 878082051 fired transitions, 3550 secs || 50695628 markings, 373822945 edges,
lola: 880 tries, 879327149 fired transitions, 3555 secs || 50766206 markings, 374342043 edges,
lola: time limit reached - aborting
lola: memory consumption: 2677072 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552569129770

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
le='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 17831 markings/sec, 0 secs 15482 markings/sec, 5 secs 15157 markings/sec, 10 secs 14655 markings/sec, 15 secs 14872 markings/sec, 20 secs 15464 markings/sec, 25 secs 14540 markings/sec, 30 secs 14273 markings/sec, 35 secs 14209 markings/sec, 40 secs 15122 markings/sec, 45 secs 14461 markings/sec, 50 secs 14666 markings/sec, 55 secs 14816 markings/sec, 60 secs 14883 markings/sec, 65 secs 15399 markings/sec, 70 secs 15574 markings/sec, 75 secs 14446 markings/sec, 80 secs 14498 markings/sec, 85 secs 14411 markings/sec, 90 secs 14109 markings/sec, 95 secs 14292 markings/sec, 100 secs 14182 markings/sec, 105 secs 14206 markings/sec, 110 secs 14794 markings/sec, 115 secs 14007 markings/sec, 120 secs 14071 markings/sec, 125 secs 14459 markings/sec, 130 secs 13983 markings/sec, 135 secs 14138 markings/sec, 140 secs 14863 markings/sec, 145 secs 15296 markings/sec, 150 secs 14849 markings/sec, 155 secs 14512 markings/sec, 160 secs 14914 markings/sec, 165 secs 14373 markings/sec, 170 secs 14879 markings/sec, 175 secs 14842 markings/sec, 180 secs 15216 markings/sec, 185 secs 15154 markings/sec, 190 secs 15252 markings/sec, 195 secs 14620 markings/sec, 200 secs 15057 markings/sec, 205 secs 14448 markings/sec, 210 secs 14359 markings/sec, 215 secs 14309 markings/sec, 220 secs 14354 markings/sec, 225 secs 14501 markings/sec, 230 secs 14354 markings/sec, 235 secs 14465 markings/sec, 240 secs 14495 markings/sec, 245 secs 14179 markings/sec, 250 secs 14505 markings/sec, 255 secs 14192 markings/sec, 260 secs 14381 markings/sec, 265 secs 14250 markings/sec, 270 secs 14489 markings/sec, 275 secs 14419 markings/sec, 280 secs 14524 markings/sec, 285 secs 14243 markings/sec, 290 secs 14623 markings/sec, 295 secs 14826 markings/sec, 300 secs 14585 markings/sec, 305 secs 14736 markings/sec, 310 secs 14599 markings/sec, 315 secs 14685 markings/sec, 320 secs 15291 markings/sec, 325 secs 15677 markings/sec, 330 secs 14503 markings/sec, 335 secs 14244 markings/sec, 340 secs 14542 markings/sec, 345 secs 14140 markings/sec, 350 secs 14088 markings/sec, 355 secs 14416 markings/sec, 360 secs 14245 markings/sec, 365 secs 14522 markings/sec, 370 secs 14265 markings/sec, 375 secs 14090 markings/sec, 380 secs 13939 markings/sec, 385 secs 13984 markings/sec, 390 secs 14218 markings/sec, 395 secs 14551 markings/sec, 400 secs 14439 markings/sec, 405 secs 14072 markings/sec, 410 secs 14505 markings/sec, 415 secs 15341 markings/sec, 420 secs 15232 markings/sec, 425 secs 14194 markings/sec, 430 secs 14437 markings/sec, 435 secs 14224 markings/sec, 440 secs 13840 markings/sec, 445 secs 14040 markings/sec, 450 secs 14086 markings/sec, 455 secs 13640 markings/sec, 460 secs 14534 markings/sec, 465 secs 14100 markings/sec, 470 secs 13999 markings/sec, 475 secs 14339 markings/sec, 480 secs 14074 markings/sec, 485 secs 14668 markings/sec, 490 secs 14677 markings/sec, 495 secs 13770 markings/sec, 500 secs 13977 markings/sec, 505 secs 14947 markings/sec, 510 secs 14518 markings/sec, 515 secs 14396 markings/sec, 520 secs 14434 markings/sec, 525 secs 13429 markings/sec, 530 secs 14260 markings/sec, 535 secs 14012 markings/sec, 540 secs 14272 markings/sec, 545 secs 14304 markings/sec, 550 secs 14276 markings/sec, 555 secs 14183 markings/sec, 560 secs 14375 markings/sec, 565 secs 13756 markings/sec, 570 secs 14576 markings/sec, 575 secs 15167 markings/sec, 580 secs 14465 markings/sec, 585 secs 14749 markings/sec, 590 secs 14895 markings/sec, 595 secs 14713 markings/sec, 600 secs 15211 markings/sec, 605 secs 15216 markings/sec, 610 secs 14628 markings/sec, 615 secs 14757 markings/sec, 620 secs 15559 markings/sec, 625 secs 15299 markings/sec, 630 secs 15110 markings/sec, 635 secs 14802 markings/sec, 640 secs 15263 markings/sec, 645 secs 15164 markings/sec, 650 secs 15130 markings/sec, 655 secs 15284 markings/sec, 660 secs 15057 markings/sec, 665 secs 14925 markings/sec, 670 secs 15099 markings/sec, 675 secs 14740 markings/sec, 680 secs 15496 markings/sec, 685 secs 14701 markings/sec, 690 secs 14545 markings/sec, 695 secs 14484 markings/sec, 700 secs 13914 markings/sec, 705 secs 13949 markings/sec, 710 secs 14105 markings/sec, 715 secs 13812 markings/sec, 720 secs 14547 markings/sec, 725 secs 14283 markings/sec, 730 secs 14201 markings/sec, 735 secs 14544 markings/sec, 740 secs 13960 markings/sec, 745 secs 14202 markings/sec, 750 secs 14532 markings/sec, 755 secs 14520 markings/sec, 760 secs 14014 markings/sec, 765 secs 9952 markings/sec, 770 secs 12020 markings/sec, 775 secs 14238 markings/sec, 780 secs 12182 markings/sec, 785 secs 7422 markings/sec, 790 secs 7168 markings/sec, 795 secs 6999 markings/sec, 800 secs 11976 markings/sec, 805 secs 14403 markings/sec, 810 secs 14230 markings/sec, 815 secs 14551 markings/sec, 820 secs 14293 markings/sec, 825 secs 13937 markings/sec, 830 secs 14113 markings/sec, 835 secs 13627 markings/sec, 840 secs 14416 markings/sec, 845 secs 14203 markings/sec, 850 secs 14392 markings/sec, 855 secs 14269 markings/sec, 860 secs 14190 markings/sec, 865 secs 13990 markings/sec, 870 secs 13897 markings/sec, 875 secs 14167 markings/sec, 880 secs 14327 markings/sec, 885 secs 14143 markings/sec, 890 secs 14019 markings/sec, 895 secs 14141 markings/sec, 900 secs 14569 markings/sec, 905 secs 13970 markings/sec, 910 secs 14002 markings/sec, 915 secs 14219 markings/sec, 920 secs 14449 markings/sec, 925 secs 13935 markings/sec, 930 secs 13773 markings/sec, 935 secs 14367 markings/sec, 940 secs 14063 markings/sec, 945 secs 14250 markings/sec, 950 secs 14155 markings/sec, 955 secs 14123 markings/sec, 960 secs 14124 markings/sec, 965 secs 14126 markings/sec, 970 secs 13647 markings/sec, 975 secs 14204 markings/sec, 980 secs 13943 markings/sec, 985 secs 14354 markings/sec, 990 secs 13944 markings/sec, 995 secs 14434 markings/sec, 1000 secs 14201 markings/sec, 1005 secs 14155 markings/sec, 1010 secs 14540 markings/sec, 1015 secs 14747 markings/sec, 1020 secs 14422 markings/sec, 1025 secs 14274 markings/sec, 1030 secs 14007 markings/sec, 1035 secs 13620 markings/sec, 1040 secs 13943 markings/sec, 1045 secs 14120 markings/sec, 1050 secs 13893 markings/sec, 1055 secs 14025 markings/sec, 1060 secs 14049 markings/sec, 1065 secs 14206 markings/sec, 1070 secs 13961 markings/sec, 1075 secs 13976 markings/sec, 1080 secs 14211 markings/sec, 1085 secs 14046 markings/sec, 1090 secs 14195 markings/sec, 1095 secs 13939 markings/sec, 1100 secs 14203 markings/sec, 1105 secs 14174 markings/sec, 1110 secs 14053 markings/sec, 1115 secs 14284 markings/sec, 1120 secs 14451 markings/sec, 1125 secs 14277 markings/sec, 1130 secs 14260 markings/sec, 1135 secs 14427 markings/sec, 1140 secs 14868 markings/sec, 1145 secs 14051 markings/sec, 1150 secs 13655 markings/sec, 1155 secs 14071 markings/sec, 1160 secs 13726 markings/sec, 1165 secs 13908 markings/sec, 1170 secs 14193 markings/sec, 1175 secs 13657 markings/sec, 1180 secs 13991 markings/sec, 1185 secs 13973 markings/sec, 1190 secs 13922 markings/sec, 1195 secs 13997 markings/sec, 1200 secs 14274 markings/sec, 1205 secs 14250 markings/sec, 1210 secs 14100 markings/sec, 1215 secs 13921 markings/sec, 1220 secs 14623 markings/sec, 1225 secs 14804 markings/sec, 1230 secs 15016 markings/sec, 1235 secs 14529 markings/sec, 1240 secs 14514 markings/sec, 1245 secs 14730 markings/sec, 1250 secs 14672 markings/sec, 1255 secs 14646 markings/sec, 1260 secs 14940 markings/sec, 1265 secs 15140 markings/sec, 1270 secs 15110 markings/sec, 1275 secs 15060 markings/sec, 1280 secs 14482 markings/sec, 1285 secs 14451 markings/sec, 1290 secs 14120 markings/sec, 1295 secs 14325 markings/sec, 1300 secs 14448 markings/sec, 1305 secs 14389 markings/sec, 1310 secs 14104 markings/sec, 1315 secs 14459 markings/sec, 1320 secs 14510 markings/sec, 1325 secs 14981 markings/sec, 1330 secs 14460 markings/sec, 1335 secs 14939 markings/sec, 1340 secs 14566 markings/sec, 1345 secs 14731 markings/sec, 1350 secs 13957 markings/sec, 1355 secs 14252 markings/sec, 1360 secs 14458 markings/sec, 1365 secs 14722 markings/sec, 1370 secs 14757 markings/sec, 1375 secs 14778 markings/sec, 1380 secs 14741 markings/sec, 1385 secs 14351 markings/sec, 1390 secs 14355 markings/sec, 1395 secs 14708 markings/sec, 1400 secs 14692 markings/sec, 1405 secs 15217 markings/sec, 1410 secs 15336 markings/sec, 1415 secs 14895 markings/sec, 1420 secs 14824 markings/sec, 1425 secs 14975 markings/sec, 1430 secs 14888 markings/sec, 1435 secs 14417 markings/sec, 1440 secs 15312 markings/sec, 1445 secs 14847 markings/sec, 1450 secs 14598 markings/sec, 1455 secs 14225 markings/sec, 1460 secs 14866 markings/sec, 1465 secs 14550 markings/sec, 1470 secs 14860 markings/sec, 1475 secs 14520 markings/sec, 1480 secs 14484 markings/sec, 1485 secs 14411 markings/sec, 1490 secs 14619 markings/sec, 1495 secs 13880 markings/sec, 1500 secs 13693 markings/sec, 1505 secs 13960 markings/sec, 1510 secs 14200 markings/sec, 1515 secs 14388 markings/sec, 1520 secs 14345 markings/sec, 1525 secs 14364 markings/sec, 1530 secs 14449 markings/sec, 1535 secs 14483 markings/sec, 1540 secs 13820 markings/sec, 1545 secs 14050 markings/sec, 1550 secs 14219 markings/sec, 1555 secs 14125 markings/sec, 1560 secs 13901 markings/sec, 1565 secs 13884 markings/sec, 1570 secs 14401 markings/sec, 1575 secs 14488 markings/sec, 1580 secs 14371 markings/sec, 1585 secs 14137 markings/sec, 1590 secs 14089 markings/sec, 1595 secs 14023 markings/sec, 1600 secs 14265 markings/sec, 1605 secs 14535 markings/sec, 1610 secs 14186 markings/sec, 1615 secs 14538 markings/sec, 1620 secs 14274 markings/sec, 1625 secs 14006 markings/sec, 1630 secs 14045 markings/sec, 1635 secs 14040 markings/sec, 1640 secs 14207 markings/sec, 1645 secs 14327 markings/sec, 1650 secs 14424 markings/sec, 1655 secs 14187 markings/sec, 1660 secs 14260 markings/sec, 1665 secs 14217 markings/sec, 1670 secs 14011 markings/sec, 1675 secs 14424 markings/sec, 1680 secs 14523 markings/sec, 1685 secs 14607 markings/sec, 1690 secs 14341 markings/sec, 1695 secs 14352 markings/sec, 1700 secs 14511 markings/sec, 1705 secs 14402 markings/sec, 1710 secs 14472 markings/sec, 1715 secs 14629 markings/sec, 1720 secs 14290 markings/sec, 1725 secs 13998 markings/sec, 1730 secs 14175 markings/sec, 1735 secs 14458 markings/sec, 1740 secs 14493 markings/sec, 1745 secs 13987 markings/sec, 1750 secs 14023 markings/sec, 1755 secs 14092 markings/sec, 1760 secs 14040 markings/sec, 1765 secs 14270 markings/sec, 1770 secs 13753 markings/sec, 1775 secs 13800 markings/sec, 1780 secs 14224 markings/sec, 1785 secs 14365 markings/sec, 1790 secs 14026 markings/sec, 1795 secs 14077 markings/sec, 1800 secs 14117 markings/sec, 1805 secs 13917 markings/sec, 1810 secs 14109 markings/sec, 1815 secs 14369 markings/sec, 1820 secs 14262 markings/sec, 1825 secs 14237 markings/sec, 1830 secs 14790 markings/sec, 1835 secs 14486 markings/sec, 1840 secs 14487 markings/sec, 1845 secs 14256 markings/sec, 1850 secs 14208 markings/sec, 1855 secs 14279 markings/sec, 1860 secs 14033 markings/sec, 1865 secs 14171 markings/sec, 1870 secs 14243 markings/sec, 1875 secs 14616 markings/sec, 1880 secs 13888 markings/sec, 1885 secs 13798 markings/sec, 1890 secs 14037 markings/sec, 1895 secs 14239 markings/sec, 1900 secs 14562 markings/sec, 1905 secs 14448 markings/sec, 1910 secs 14364 markings/sec, 1915 secs 14803 markings/sec, 1920 secs 14267 markings/sec, 1925 secs 14842 markings/sec, 1930 secs 14575 markings/sec, 1935 secs 14348 markings/sec, 1940 secs 14292 markings/sec, 1945 secs 14785 markings/sec, 1950 secs 15164 markings/sec, 1955 secs 15128 markings/sec, 1960 secs 14284 markings/sec, 1965 secs 14220 markings/sec, 1970 secs 14386 markings/sec, 1975 secs 13932 markings/sec, 1980 secs 14194 markings/sec, 1985 secs 14095 markings/sec, 1990 secs 14236 markings/sec, 1995 secs 14728 markings/sec, 2000 secs 14237 markings/sec, 2005 secs 14205 markings/sec, 2010 secs 14442 markings/sec, 2015 secs 14038 markings/sec, 2020 secs 14423 markings/sec, 2025 secs 14512 markings/sec, 2030 secs 14594 markings/sec, 2035 secs 14574 markings/sec, 2040 secs 14931 markings/sec, 2045 secs 15055 markings/sec, 2050 secs 14386 markings/sec, 2055 secs 14287 markings/sec, 2060 secs 14220 markings/sec, 2065 secs 14125 markings/sec, 2070 secs 14045 markings/sec, 2075 secs 14276 markings/sec, 2080 secs 14245 markings/sec, 2085 secs 14627 markings/sec, 2090 secs 14296 markings/sec, 2095 secs 14282 markings/sec, 2100 secs 14528 markings/sec, 2105 secs 11512 markings/sec, 2110 secs 14250 markings/sec, 2115 secs 14636 markings/sec, 2120 secs 14814 markings/sec, 2125 secs 15014 markings/sec, 2130 secs 15218 markings/sec, 2135 secs 14329 markings/sec, 2140 secs 14028 markings/sec, 2145 secs 13596 markings/sec, 2150 secs 14271 markings/sec, 2155 secs 13573 markings/sec, 2160 secs 13636 markings/sec, 2165 secs 13977 markings/sec, 2170 secs 14389 markings/sec, 2175 secs 14177 markings/sec, 2180 secs 13780 markings/sec, 2185 secs 14033 markings/sec, 2190 secs 13891 markings/sec, 2195 secs 13521 markings/sec, 2200 secs 14524 markings/sec, 2205 secs 14257 markings/sec, 2210 secs 12985 markings/sec, 2215 secs 14659 markings/sec, 2220 secs 14179 markings/sec, 2225 secs 14624 markings/sec, 2230 secs 14855 markings/sec, 2235 secs 14886 markings/sec, 2240 secs 14488 markings/sec, 2245 secs 14260 markings/sec, 2250 secs 14840 markings/sec, 2255 secs 15010 markings/sec, 2260 secs 14509 markings/sec, 2265 secs 15153 markings/sec, 2270 secs 14600 markings/sec, 2275 secs 14495 markings/sec, 2280 secs 14361 markings/sec, 2285 secs 14872 markings/sec, 2290 secs 14385 markings/sec, 2295 secs 14092 markings/sec, 2300 secs 14960 markings/sec, 2305 secs 14887 markings/sec, 2310 secs 14981 markings/sec, 2315 secs 14548 markings/sec, 2320 secs 14229 markings/sec, 2325 secs 14265 markings/sec, 2330 secs 14276 markings/sec, 2335 secs 13911 markings/sec, 2340 secs 14190 markings/sec, 2345 secs 14163 markings/sec, 2350 secs 13873 markings/sec, 2355 secs 14459 markings/sec, 2360 secs 13979 markings/sec, 2365 secs 14260 markings/sec, 2370 secs 14030 markings/sec, 2375 secs 13787 markings/sec, 2380 secs 13870 markings/sec, 2385 secs 14257 markings/sec, 2390 secs 14017 markings/sec, 2395 secs 13815 markings/sec, 2400 secs 14103 markings/sec, 2405 secs 14089 markings/sec, 2410 secs 14271 markings/sec, 2415 secs 14049 markings/sec, 2420 secs 13909 markings/sec, 2425 secs 14057 markings/sec, 2430 secs 14108 markings/sec, 2435 secs 13869 markings/sec, 2440 secs 13811 markings/sec, 2445 secs 13753 markings/sec, 2450 secs 13417 markings/sec, 2455 secs 13615 markings/sec, 2460 secs 13680 markings/sec, 2465 secs 14319 markings/sec, 2470 secs 14019 markings/sec, 2475 secs 14411 markings/sec, 2480 secs 13925 markings/sec, 2485 secs 14108 markings/sec, 2490 secs 13592 markings/sec, 2495 secs 13455 markings/sec, 2500 secs 13861 markings/sec, 2505 secs 13647 markings/sec, 2510 secs 14121 markings/sec, 2515 secs 13835 markings/sec, 2520 secs 14160 markings/sec, 2525 secs 13819 markings/sec, 2530 secs 13619 markings/sec, 2535 secs 13715 markings/sec, 2540 secs 13673 markings/sec, 2545 secs 14204 markings/sec, 2550 secs 13899 markings/sec, 2555 secs 13672 markings/sec, 2560 secs 13797 markings/sec, 2565 secs 14130 markings/sec, 2570 secs 13800 markings/sec, 2575 secs 14189 markings/sec, 2580 secs 13811 markings/sec, 2585 secs 13740 markings/sec, 2590 secs 14067 markings/sec, 2595 secs 13585 markings/sec, 2600 secs 14057 markings/sec, 2605 secs 13819 markings/sec, 2610 secs 14241 markings/sec, 2615 secs 13966 markings/sec, 2620 secs 14502 markings/sec, 2625 secs 14169 markings/sec, 2630 secs 14283 markings/sec, 2635 secs 14485 markings/sec, 2640 secs 14862 markings/sec, 2645 secs 14429 markings/sec, 2650 secs 14365 markings/sec, 2655 secs 13971 markings/sec, 2660 secs 13770 markings/sec, 2665 secs 14071 markings/sec, 2670 secs 14139 markings/sec, 2675 secs 13933 markings/sec, 2680 secs 13901 markings/sec, 2685 secs 14104 markings/sec, 2690 secs 14277 markings/sec, 2695 secs 13997 markings/sec, 2700 secs 13931 markings/sec, 2705 secs 14140 markings/sec, 2710 secs 13751 markings/sec, 2715 secs 13654 markings/sec, 2720 secs 13821 markings/sec, 2725 secs 13898 markings/sec, 2730 secs 14065 markings/sec, 2735 secs 13804 markings/sec, 2740 secs 14171 markings/sec, 2745 secs 14170 markings/sec, 2750 secs 14141 markings/sec, 2755 secs 14137 markings/sec, 2760 secs 13938 markings/sec, 2765 secs 14579 markings/sec, 2770 secs 14125 markings/sec, 2775 secs 13447 markings/sec, 2780 secs 13901 markings/sec, 2785 secs 13519 markings/sec, 2790 secs 13813 markings/sec, 2795 secs 13782 markings/sec, 2800 secs 13564 markings/sec, 2805 secs 13758 markings/sec, 2810 secs 13352 markings/sec, 2815 secs 13794 markings/sec, 2820 secs 13968 markings/sec, 2825 secs 14115 markings/sec, 2830 secs 14275 markings/sec, 2835 secs 14323 markings/sec, 2840 secs 13834 markings/sec, 2845 secs 14368 markings/sec, 2850 secs 13820 markings/sec, 2855 secs 14619 markings/sec, 2860 secs 14573 markings/sec, 2865 secs 14708 markings/sec, 2870 secs 15199 markings/sec, 2875 secs 14587 markings/sec, 2880 secs 14128 markings/sec, 2885 secs 13434 markings/sec, 2890 secs 13797 markings/sec, 2895 secs 13914 markings/sec, 2900 secs 13752 markings/sec, 2905 secs 13762 markings/sec, 2910 secs 13920 markings/sec, 2915 secs 13813 markings/sec, 2920 secs 13784 markings/sec, 2925 secs 13722 markings/sec, 2930 secs 13594 markings/sec, 2935 secs 14181 markings/sec, 2940 secs 14072 markings/sec, 2945 secs 14542 markings/sec, 2950 secs 15032 markings/sec, 2955 secs 15389 markings/sec, 2960 secs 14346 markings/sec, 2965 secs 14098 markings/sec, 2970 secs 14134 markings/sec, 2975 secs 13789 markings/sec, 2980 secs 13705 markings/sec, 2985 secs 14096 markings/sec, 2990 secs 13845 markings/sec, 2995 secs 14386 markings/sec, 3000 secs 14052 markings/sec, 3005 secs 13767 markings/sec, 3010 secs 13923 markings/sec, 3015 secs 14217 markings/sec, 3020 secs 14011 markings/sec, 3025 secs 14499 markings/sec, 3030 secs 14670 markings/sec, 3035 secs 14767 markings/sec, 3040 secs 14589 markings/sec, 3045 secs 14599 markings/sec, 3050 secs 14591 markings/sec, 3055 secs 14803 markings/sec, 3060 secs 14648 markings/sec, 3065 secs 14712 markings/sec, 3070 secs 14695 markings/sec, 3075 secs 14976 markings/sec, 3080 secs 15276 markings/sec, 3085 secs 15211 markings/sec, 3090 secs 15341 markings/sec, 3095 secs 15044 markings/sec, 3100 secs 15137 markings/sec, 3105 secs 14881 markings/sec, 3110 secs 15255 markings/sec, 3115 secs 14788 markings/sec, 3120 secs 14988 markings/sec, 3125 secs 15001 markings/sec, 3130 secs 14894 markings/sec, 3135 secs 15382 markings/sec, 3140 secs 14431 markings/sec, 3145 secs 14395 markings/sec, 3150 secs 14335 markings/sec, 3155 secs 14099 markings/sec, 3160 secs 14204 markings/sec, 3165 secs 14036 markings/sec, 3170 secs 14229 markings/sec, 3175 secs 14515 markings/sec, 3180 secs 13699 markings/sec, 3185 secs 14304 markings/sec, 3190 secs 13979 markings/sec, 3195 secs 13761 markings/sec, 3200 secs 14044 markings/sec, 3205 secs 14333 markings/sec, 3210 secs 14471 markings/sec, 3215 secs 13819 markings/sec, 3220 secs 14212 markings/sec, 3225 secs 13910 markings/sec, 3230 secs 14099 markings/sec, 3235 secs 14350 markings/sec, 3240 secs 13840 markings/sec, 3245 secs 13992 markings/sec, 3250 secs 14374 markings/sec, 3255 secs 14117 markings/sec, 3260 secs 14546 markings/sec, 3265 secs 13962 markings/sec, 3270 secs 13785 markings/sec, 3275 secs 14063 markings/sec, 3280 secs 13685 markings/sec, 3285 secs 14208 markings/sec, 3290 secs 14042 markings/sec, 3295 secs 14010 markings/sec, 3300 secs 14092 markings/sec, 3305 secs 13721 markings/sec, 3310 secs 13841 markings/sec, 3315 secs 13857 markings/sec, 3320 secs 14047 markings/sec, 3325 secs 14179 markings/sec, 3330 secs 14048 markings/sec, 3335 secs 13790 markings/sec, 3340 secs 14213 markings/sec, 3345 secs 14279 markings/sec, 3350 secs 14047 markings/sec, 3355 secs 13873 markings/sec, 3360 secs 14113 markings/sec, 3365 secs 14194 markings/sec, 3370 secs 13782 markings/sec, 3375 secs 13967 markings/sec, 3380 secs 14123 markings/sec, 3385 secs 14025 markings/sec, 3390 secs 13952 markings/sec, 3395 secs 14230 markings/sec, 3400 secs 14019 markings/sec, 3405 secs 13983 markings/sec, 3410 secs 14221 markings/sec, 3415 secs 13821 markings/sec, 3420 secs 14121 markings/sec, 3425 secs 13940 markings/sec, 3430 secs 13664 markings/sec, 3435 secs 13868 markings/sec, 3440 secs 14286 markings/sec, 3445 secs 14112 markings/sec, 3450 secs 14285 markings/sec, 3455 secs 14432 markings/sec, 3460 secs 14821 markings/sec, 3465 secs 14382 markings/sec, 3470 secs 14375 markings/sec, 3475 secs 13897 markings/sec, 3480 secs 13797 markings/sec, 3485 secs 13949 markings/sec, 3490 secs 14001 markings/sec, 3495 secs 14056 markings/sec, 3500 secs 14017 markings/sec, 3505 secs 13907 markings/sec, 3510 secs 14232 markings/sec, 3515 secs 14222 markings/sec, 3520 secs 13940 markings/sec, 3525 secs 13987 markings/sec, 3530 secs 13890 markings/sec, 3535 secs 14154 markings/sec, 3540 secs 14013 markings/sec, 3545 secs 14077 markings/sec, 3550 secs 14116 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="Diffusion2D-PT-D20N010"
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 Diffusion2D-PT-D20N010, 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 r060-ebro-155234654700120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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