MCC'2019 - Execution of r181-csrt-155344534600012

About the Execution of LoLA for BART-PT-005

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
11155.860	3570703.00	7253620.00	190.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 '/local/x2003239/mcc2019-input.r181-csrt-155344534600012.qcow2', fmt=qcow2 size=4294967296 backing_file
Waiting for the VM to be ready (probing ssh)
............................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is BART-PT-005, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344534600012
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.4K Mar 10 19:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 10 19:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 10 19:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 10 19:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:46 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 98 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 336 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Mar 10 19:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K Mar 10 19:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 10 19:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Mar 10 19:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 10 17:46 NewModel
-rw-r--r-- 1 mcc users 3.6K Mar 10 19:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 10 19:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 10 18:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 10 18:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 10 19:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 10 19:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 10 17:46 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 10 17:46 instance
-rw-r--r-- 1 mcc users 6 Mar 10 17:46 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 10 17:46 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 BART-PT-005-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554500958356

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ BART-PT-005 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ BART-PT-005
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: 1880/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 27840
lola: finding significant places
lola: 870 places, 1010 transitions, 655 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 13 generators (10 in search tree, 3 by composition)
lola: representing 960 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2800871 fired transitions, 0 secs || 342763 markings, 535551 edges,
lola: 6 tries, 5776715 fired transitions, 5 secs || 647902 markings, 1032419 edges,
lola: 9 tries, 8695021 fired transitions, 10 secs || 935295 markings, 1500888 edges,
lola: 12 tries, 11636690 fired transitions, 15 secs || 1218145 markings, 1960719 edges,
lola: 15 tries, 14429750 fired transitions, 20 secs || 1489241 markings, 2400668 edges,
lola: 17 tries, 16940008 fired transitions, 25 secs || 1813505 markings, 2920313 edges,
lola: 21 tries, 20092757 fired transitions, 30 secs || 2130260 markings, 3413067 edges,
lola: 24 tries, 23008563 fired transitions, 35 secs || 2437523 markings, 3914862 edges,
lola: 27 tries, 26029757 fired transitions, 40 secs || 2748827 markings, 4416289 edges,
lola: 30 tries, 29239898 fired transitions, 45 secs || 3046451 markings, 4890255 edges,
lola: 33 tries, 32404621 fired transitions, 50 secs || 3359022 markings, 5376529 edges,
lola: 36 tries, 35427053 fired transitions, 55 secs || 3655320 markings, 5841230 edges,
lola: 39 tries, 38693269 fired transitions, 60 secs || 3970344 markings, 6331076 edges,
lola: 43 tries, 42104657 fired transitions, 65 secs || 4270146 markings, 6825599 edges,
lola: 46 tries, 45460449 fired transitions, 70 secs || 4524830 markings, 7244949 edges,
lola: 49 tries, 48769652 fired transitions, 75 secs || 4847912 markings, 7796039 edges,
lola: 53 tries, 52117990 fired transitions, 80 secs || 5163186 markings, 8336561 edges,
lola: 56 tries, 55277343 fired transitions, 85 secs || 5462897 markings, 8844895 edges,
lola: 59 tries, 58465801 fired transitions, 90 secs || 5774698 markings, 9355213 edges,
lola: 62 tries, 61853615 fired transitions, 95 secs || 6068454 markings, 9868823 edges,
lola: 66 tries, 65134027 fired transitions, 100 secs || 6335320 markings, 10353044 edges,
lola: 69 tries, 68305794 fired transitions, 105 secs || 6603555 markings, 10810786 edges,
lola: 72 tries, 71652889 fired transitions, 110 secs || 6850435 markings, 11241426 edges,
lola: 75 tries, 74777931 fired transitions, 115 secs || 7093692 markings, 11666189 edges,
lola: 78 tries, 77835671 fired transitions, 120 secs || 7333678 markings, 12080373 edges,
lola: 82 tries, 81103523 fired transitions, 125 secs || 7598183 markings, 12528956 edges,
lola: 85 tries, 84325281 fired transitions, 130 secs || 7869609 markings, 12987576 edges,
lola: 88 tries, 87322020 fired transitions, 135 secs || 8147134 markings, 13454776 edges,
lola: 91 tries, 90434894 fired transitions, 140 secs || 8416699 markings, 13907221 edges,
lola: 94 tries, 93601008 fired transitions, 145 secs || 8660192 markings, 14331666 edges,
lola: 97 tries, 96566481 fired transitions, 150 secs || 8881380 markings, 14718561 edges,
lola: 100 tries, 99387752 fired transitions, 155 secs || 9116448 markings, 15104195 edges,
lola: 103 tries, 102494666 fired transitions, 160 secs || 9337986 markings, 15471195 edges,
lola: 106 tries, 105577892 fired transitions, 165 secs || 9555051 markings, 15849204 edges,
lola: 109 tries, 108745779 fired transitions, 170 secs || 9770046 markings, 16221136 edges,
lola: 112 tries, 111664643 fired transitions, 175 secs || 10005162 markings, 16597693 edges,
lola: 115 tries, 114683018 fired transitions, 180 secs || 10226301 markings, 16976650 edges,
lola: 118 tries, 117621771 fired transitions, 185 secs || 10435327 markings, 17344508 edges,
lola: 121 tries, 120550287 fired transitions, 190 secs || 10674516 markings, 17713742 edges,
lola: 124 tries, 123591892 fired transitions, 195 secs || 10903806 markings, 18081198 edges,
lola: 127 tries, 126812524 fired transitions, 200 secs || 11129873 markings, 18470650 edges,
lola: 131 tries, 130164963 fired transitions, 205 secs || 11352323 markings, 18855019 edges,
lola: 134 tries, 133591321 fired transitions, 210 secs || 11589404 markings, 19267835 edges,
lola: 137 tries, 136934425 fired transitions, 215 secs || 11801566 markings, 19638871 edges,
lola: 141 tries, 140345009 fired transitions, 220 secs || 12037729 markings, 20042414 edges,
lola: 144 tries, 143569762 fired transitions, 225 secs || 12270530 markings, 20433150 edges,
lola: 147 tries, 146896939 fired transitions, 230 secs || 12532083 markings, 20877761 edges,
lola: 151 tries, 150191415 fired transitions, 235 secs || 12747617 markings, 21252942 edges,
lola: 154 tries, 153648838 fired transitions, 240 secs || 12971042 markings, 21639958 edges,
lola: 158 tries, 157000019 fired transitions, 245 secs || 13198648 markings, 22026291 edges,
lola: 161 tries, 160560340 fired transitions, 250 secs || 13407431 markings, 22384676 edges,
lola: 164 tries, 163934010 fired transitions, 255 secs || 13597716 markings, 22717998 edges,
lola: 168 tries, 167371338 fired transitions, 260 secs || 13839685 markings, 23122623 edges,
lola: 171 tries, 170823722 fired transitions, 265 secs || 14069976 markings, 23495165 edges,
lola: 175 tries, 174092999 fired transitions, 270 secs || 14314909 markings, 23902911 edges,
lola: 178 tries, 177220553 fired transitions, 275 secs || 14539732 markings, 24279935 edges,
lola: 181 tries, 180700498 fired transitions, 280 secs || 14744682 markings, 24635412 edges,
lola: 185 tries, 184208862 fired transitions, 285 secs || 14946803 markings, 24985650 edges,
lola: 188 tries, 187526608 fired transitions, 290 secs || 15154400 markings, 25336315 edges,
lola: 191 tries, 190783367 fired transitions, 295 secs || 15413582 markings, 25785653 edges,
lola: 195 tries, 194075768 fired transitions, 300 secs || 15753037 markings, 26331363 edges,
lola: 198 tries, 197485552 fired transitions, 305 secs || 16100799 markings, 26874476 edges,
lola: 201 tries, 200848291 fired transitions, 310 secs || 16432676 markings, 27397036 edges,
lola: 205 tries, 204258466 fired transitions, 315 secs || 16771723 markings, 27941499 edges,
lola: 208 tries, 207587396 fired transitions, 320 secs || 17107549 markings, 28481120 edges,
lola: 211 tries, 210767612 fired transitions, 325 secs || 17399715 markings, 28954602 edges,
lola: 215 tries, 214144602 fired transitions, 330 secs || 17712256 markings, 29455501 edges,
lola: 218 tries, 217445464 fired transitions, 335 secs || 18069581 markings, 30026719 edges,
lola: 221 tries, 220649096 fired transitions, 340 secs || 18388625 markings, 30538363 edges,
lola: 224 tries, 223855629 fired transitions, 345 secs || 18710174 markings, 31059946 edges,
lola: 228 tries, 227195601 fired transitions, 350 secs || 19018192 markings, 31555978 edges,
lola: 231 tries, 230324568 fired transitions, 355 secs || 19367255 markings, 32091154 edges,
lola: 234 tries, 233315927 fired transitions, 360 secs || 19683334 markings, 32599216 edges,
lola: 237 tries, 236718418 fired transitions, 365 secs || 19983869 markings, 33085878 edges,
lola: 240 tries, 239894687 fired transitions, 370 secs || 20282355 markings, 33567447 edges,
lola: 244 tries, 243131352 fired transitions, 375 secs || 20571272 markings, 34030003 edges,
lola: 247 tries, 246495210 fired transitions, 380 secs || 20858306 markings, 34494344 edges,
lola: 250 tries, 249814390 fired transitions, 385 secs || 21158297 markings, 34984363 edges,
lola: 254 tries, 253156464 fired transitions, 390 secs || 21448801 markings, 35460914 edges,
lola: 257 tries, 256324807 fired transitions, 395 secs || 21735674 markings, 35933131 edges,
lola: 260 tries, 259684975 fired transitions, 400 secs || 22026820 markings, 36404330 edges,
lola: 263 tries, 262815111 fired transitions, 405 secs || 22320260 markings, 36879614 edges,
lola: 266 tries, 265813188 fired transitions, 410 secs || 22607514 markings, 37348946 edges,
lola: 269 tries, 268878428 fired transitions, 415 secs || 22916792 markings, 37855589 edges,
lola: 272 tries, 271853744 fired transitions, 420 secs || 23209539 markings, 38336026 edges,
lola: 275 tries, 274946421 fired transitions, 425 secs || 23484590 markings, 38789603 edges,
lola: 279 tries, 278123173 fired transitions, 430 secs || 23757027 markings, 39238690 edges,
lola: 282 tries, 281382237 fired transitions, 435 secs || 24041471 markings, 39703711 edges,
lola: 285 tries, 284465318 fired transitions, 440 secs || 24327920 markings, 40175919 edges,
lola: 288 tries, 287526925 fired transitions, 445 secs || 24614742 markings, 40644692 edges,
lola: 291 tries, 290682238 fired transitions, 450 secs || 24887093 markings, 41076587 edges,
lola: 294 tries, 293751689 fired transitions, 455 secs || 25187504 markings, 41531094 edges,
lola: 297 tries, 296957890 fired transitions, 460 secs || 25480172 markings, 41993514 edges,
lola: 301 tries, 300157323 fired transitions, 465 secs || 25805743 markings, 42528055 edges,
lola: 304 tries, 303330245 fired transitions, 470 secs || 26096982 markings, 43005135 edges,
lola: 307 tries, 306316459 fired transitions, 475 secs || 26382666 markings, 43473554 edges,
lola: 310 tries, 309301501 fired transitions, 480 secs || 26691248 markings, 43972197 edges,
lola: 313 tries, 312429414 fired transitions, 485 secs || 26975632 markings, 44436822 edges,
lola: 316 tries, 315697504 fired transitions, 490 secs || 27227811 markings, 44847536 edges,
lola: 319 tries, 318765048 fired transitions, 495 secs || 27501208 markings, 45297068 edges,
lola: 322 tries, 321747863 fired transitions, 500 secs || 27795776 markings, 45783901 edges,
lola: 325 tries, 324707190 fired transitions, 505 secs || 28071946 markings, 46234746 edges,
lola: 328 tries, 327941926 fired transitions, 510 secs || 28332563 markings, 46661719 edges,
lola: 332 tries, 331092510 fired transitions, 515 secs || 28594761 markings, 47091431 edges,
lola: 335 tries, 334095437 fired transitions, 520 secs || 28843811 markings, 47499626 edges,
lola: 338 tries, 337177747 fired transitions, 525 secs || 29119410 markings, 47954853 edges,
lola: 341 tries, 340045291 fired transitions, 530 secs || 29372316 markings, 48359885 edges,
lola: 344 tries, 343157682 fired transitions, 535 secs || 29644196 markings, 48783157 edges,
lola: 347 tries, 346194253 fired transitions, 540 secs || 29913722 markings, 49220337 edges,
lola: 350 tries, 349325064 fired transitions, 545 secs || 30206277 markings, 49705332 edges,
lola: 353 tries, 352454050 fired transitions, 550 secs || 30468807 markings, 50133657 edges,
lola: 356 tries, 355440085 fired transitions, 555 secs || 30753984 markings, 50603906 edges,
lola: 359 tries, 358297609 fired transitions, 560 secs || 31048158 markings, 51083817 edges,
lola: 362 tries, 361421903 fired transitions, 565 secs || 31331847 markings, 51550520 edges,
lola: 365 tries, 364228558 fired transitions, 570 secs || 31587446 markings, 51966567 edges,
lola: 368 tries, 367123697 fired transitions, 575 secs || 31820387 markings, 52348090 edges,
lola: 371 tries, 370071685 fired transitions, 580 secs || 32069293 markings, 52757233 edges,
lola: 373 tries, 372949221 fired transitions, 585 secs || 32360377 markings, 53244543 edges,
lola: 376 tries, 375728876 fired transitions, 590 secs || 32609490 markings, 53646434 edges,
lola: 379 tries, 378497081 fired transitions, 595 secs || 32903422 markings, 54109591 edges,
lola: 382 tries, 381590957 fired transitions, 600 secs || 33167994 markings, 54526845 edges,
lola: 385 tries, 384453879 fired transitions, 605 secs || 33428945 markings, 54938305 edges,
lola: 388 tries, 387405881 fired transitions, 610 secs || 33676312 markings, 55326377 edges,
lola: 391 tries, 390444544 fired transitions, 615 secs || 33919135 markings, 55708722 edges,
lola: 394 tries, 393388985 fired transitions, 620 secs || 34139387 markings, 56069911 edges,
lola: 397 tries, 396418175 fired transitions, 625 secs || 34357486 markings, 56421158 edges,
lola: 400 tries, 399211408 fired transitions, 630 secs || 34601824 markings, 56808236 edges,
lola: 403 tries, 402095835 fired transitions, 635 secs || 34815681 markings, 57164354 edges,
lola: 406 tries, 405149654 fired transitions, 640 secs || 35033985 markings, 57525856 edges,
lola: 409 tries, 408158624 fired transitions, 645 secs || 35262269 markings, 57892222 edges,
lola: 412 tries, 411066948 fired transitions, 650 secs || 35497922 markings, 58280236 edges,
lola: 415 tries, 414143370 fired transitions, 655 secs || 35703225 markings, 58620440 edges,
lola: 418 tries, 417073274 fired transitions, 660 secs || 35905911 markings, 58954511 edges,
lola: 421 tries, 420068339 fired transitions, 665 secs || 36107152 markings, 59284469 edges,
lola: 424 tries, 423044416 fired transitions, 670 secs || 36308868 markings, 59619572 edges,
lola: 427 tries, 426161243 fired transitions, 675 secs || 36518544 markings, 59968608 edges,
lola: 430 tries, 429154116 fired transitions, 680 secs || 36705407 markings, 60276723 edges,
lola: 433 tries, 432040678 fired transitions, 685 secs || 36971797 markings, 60709184 edges,
lola: 435 tries, 434738313 fired transitions, 690 secs || 37268117 markings, 61177887 edges,
lola: 438 tries, 437682365 fired transitions, 695 secs || 37545256 markings, 61623690 edges,
lola: 441 tries, 440469201 fired transitions, 700 secs || 37823141 markings, 62068942 edges,
lola: 444 tries, 443241913 fired transitions, 705 secs || 38087764 markings, 62498580 edges,
lola: 446 tries, 445941021 fired transitions, 710 secs || 38337110 markings, 62902720 edges,
lola: 449 tries, 448965163 fired transitions, 715 secs || 38574904 markings, 63294735 edges,
lola: 452 tries, 451844317 fired transitions, 720 secs || 38823503 markings, 63699616 edges,
lola: 455 tries, 454651374 fired transitions, 725 secs || 39050678 markings, 64078407 edges,
lola: 458 tries, 457300412 fired transitions, 730 secs || 39285284 markings, 64458719 edges,
lola: 460 tries, 459933147 fired transitions, 735 secs || 39514251 markings, 64835449 edges,
lola: 463 tries, 462808036 fired transitions, 740 secs || 39743386 markings, 65211125 edges,
lola: 466 tries, 465569101 fired transitions, 745 secs || 39966125 markings, 65580700 edges,
lola: 469 tries, 468335413 fired transitions, 750 secs || 40178414 markings, 65927462 edges,
lola: 472 tries, 471196641 fired transitions, 755 secs || 40404949 markings, 66305762 edges,
lola: 474 tries, 473911368 fired transitions, 760 secs || 40621467 markings, 66664003 edges,
lola: 477 tries, 476718112 fired transitions, 765 secs || 40920339 markings, 67142106 edges,
lola: 480 tries, 479745943 fired transitions, 770 secs || 41202367 markings, 67590236 edges,
lola: 483 tries, 482608807 fired transitions, 775 secs || 41481812 markings, 68039125 edges,
lola: 486 tries, 485465676 fired transitions, 780 secs || 41769406 markings, 68501501 edges,
lola: 489 tries, 488154573 fired transitions, 785 secs || 42047449 markings, 68952106 edges,
lola: 491 tries, 490996560 fired transitions, 790 secs || 42289837 markings, 69346321 edges,
lola: 494 tries, 493914715 fired transitions, 795 secs || 42535399 markings, 69753085 edges,
lola: 497 tries, 496646002 fired transitions, 800 secs || 42776491 markings, 70146082 edges,
lola: 500 tries, 499285600 fired transitions, 805 secs || 43018121 markings, 70548919 edges,
lola: 503 tries, 502245715 fired transitions, 810 secs || 43263543 markings, 70942350 edges,
lola: 505 tries, 504994585 fired transitions, 815 secs || 43507779 markings, 71344776 edges,
lola: 508 tries, 507811546 fired transitions, 820 secs || 43754126 markings, 71754095 edges,
lola: 511 tries, 510817083 fired transitions, 825 secs || 43978378 markings, 72122417 edges,
lola: 514 tries, 513620627 fired transitions, 830 secs || 44200442 markings, 72489661 edges,
lola: 517 tries, 516496877 fired transitions, 835 secs || 44432888 markings, 72874009 edges,
lola: 520 tries, 519476819 fired transitions, 840 secs || 44691995 markings, 73296184 edges,
lola: 523 tries, 522232504 fired transitions, 845 secs || 44949609 markings, 73717438 edges,
lola: 526 tries, 525045893 fired transitions, 850 secs || 45211152 markings, 74143390 edges,
lola: 528 tries, 527839775 fired transitions, 855 secs || 45462112 markings, 74551769 edges,
lola: 531 tries, 530466941 fired transitions, 860 secs || 45700624 markings, 74940648 edges,
lola: 534 tries, 533268071 fired transitions, 865 secs || 45947849 markings, 75344300 edges,
lola: 536 tries, 535946094 fired transitions, 870 secs || 46189316 markings, 75736681 edges,
lola: 539 tries, 538544071 fired transitions, 875 secs || 46412379 markings, 76101417 edges,
lola: 542 tries, 541201192 fired transitions, 880 secs || 46654860 markings, 76496581 edges,
lola: 544 tries, 543745570 fired transitions, 885 secs || 46892404 markings, 76882757 edges,
lola: 547 tries, 546391135 fired transitions, 890 secs || 47148360 markings, 77300760 edges,
lola: 550 tries, 549330926 fired transitions, 895 secs || 47379960 markings, 77674995 edges,
lola: 553 tries, 552154876 fired transitions, 900 secs || 47629539 markings, 78069713 edges,
lola: 555 tries, 554998730 fired transitions, 905 secs || 47887160 markings, 78472929 edges,
lola: 558 tries, 557560378 fired transitions, 910 secs || 48137976 markings, 78858121 edges,
lola: 561 tries, 560237847 fired transitions, 915 secs || 48402814 markings, 79263911 edges,
lola: 564 tries, 563200499 fired transitions, 920 secs || 48636631 markings, 79649265 edges,
lola: 566 tries, 565857294 fired transitions, 925 secs || 48850233 markings, 80003149 edges,
lola: 569 tries, 568509132 fired transitions, 930 secs || 49073101 markings, 80364442 edges,
lola: 572 tries, 571125212 fired transitions, 935 secs || 49290898 markings, 80719706 edges,
lola: 574 tries, 573714682 fired transitions, 940 secs || 49508815 markings, 81077816 edges,
lola: 577 tries, 576324506 fired transitions, 945 secs || 49729094 markings, 81442354 edges,
lola: 579 tries, 578823580 fired transitions, 950 secs || 49935597 markings, 81783111 edges,
lola: 582 tries, 581429565 fired transitions, 955 secs || 50153427 markings, 82137044 edges,
lola: 585 tries, 584069869 fired transitions, 960 secs || 50374921 markings, 82506945 edges,
lola: 587 tries, 586761836 fired transitions, 965 secs || 50608485 markings, 82892683 edges,
lola: 590 tries, 589403377 fired transitions, 970 secs || 50823496 markings, 83252518 edges,
lola: 592 tries, 591909243 fired transitions, 975 secs || 51100446 markings, 83702792 edges,
lola: 595 tries, 594559191 fired transitions, 980 secs || 51399742 markings, 84185168 edges,
lola: 598 tries, 597114689 fired transitions, 985 secs || 51682189 markings, 84640494 edges,
lola: 600 tries, 599971492 fired transitions, 990 secs || 51942063 markings, 85069971 edges,
lola: 603 tries, 602829482 fired transitions, 995 secs || 52204514 markings, 85503033 edges,
lola: 606 tries, 605666529 fired transitions, 1000 secs || 52446852 markings, 85889615 edges,
lola: 609 tries, 608519031 fired transitions, 1005 secs || 52709930 markings, 86322594 edges,
lola: 612 tries, 611328476 fired transitions, 1010 secs || 52956714 markings, 86728900 edges,
lola: 614 tries, 613941031 fired transitions, 1015 secs || 53210639 markings, 87147718 edges,
lola: 617 tries, 616615835 fired transitions, 1020 secs || 53461538 markings, 87558346 edges,
lola: 620 tries, 619181850 fired transitions, 1025 secs || 53718381 markings, 87981828 edges,
lola: 622 tries, 621765676 fired transitions, 1030 secs || 53973759 markings, 88404079 edges,
lola: 625 tries, 624473355 fired transitions, 1035 secs || 54208760 markings, 88791069 edges,
lola: 628 tries, 627170718 fired transitions, 1040 secs || 54466994 markings, 89190439 edges,
lola: 630 tries, 629888258 fired transitions, 1045 secs || 54714308 markings, 89578184 edges,
lola: 633 tries, 632623185 fired transitions, 1050 secs || 54974479 markings, 89983245 edges,
lola: 636 tries, 635422494 fired transitions, 1055 secs || 55225506 markings, 90380103 edges,
lola: 639 tries, 638152879 fired transitions, 1060 secs || 55494977 markings, 90781403 edges,
lola: 641 tries, 640831289 fired transitions, 1065 secs || 55758308 markings, 91200394 edges,
lola: 644 tries, 643361581 fired transitions, 1070 secs || 56014359 markings, 91593571 edges,
lola: 647 tries, 646253462 fired transitions, 1075 secs || 56255788 markings, 91975614 edges,
lola: 649 tries, 648878682 fired transitions, 1080 secs || 56492241 markings, 92345301 edges,
lola: 652 tries, 651592724 fired transitions, 1085 secs || 56749856 markings, 92742531 edges,
lola: 655 tries, 654357913 fired transitions, 1090 secs || 56995110 markings, 93129600 edges,
lola: 658 tries, 657098414 fired transitions, 1095 secs || 57240334 markings, 93513141 edges,
lola: 660 tries, 659936818 fired transitions, 1100 secs || 57506748 markings, 93941738 edges,
lola: 663 tries, 662642404 fired transitions, 1105 secs || 57790139 markings, 94386447 edges,
lola: 666 tries, 665330833 fired transitions, 1110 secs || 58082686 markings, 94852224 edges,
lola: 668 tries, 667917155 fired transitions, 1115 secs || 58357561 markings, 95294233 edges,
lola: 671 tries, 670418400 fired transitions, 1120 secs || 58625894 markings, 95727619 edges,
lola: 674 tries, 673115884 fired transitions, 1125 secs || 58882077 markings, 96142830 edges,
lola: 676 tries, 675863124 fired transitions, 1130 secs || 59144544 markings, 96570618 edges,
lola: 679 tries, 678500872 fired transitions, 1135 secs || 59392959 markings, 96981430 edges,
lola: 682 tries, 681552417 fired transitions, 1140 secs || 59647936 markings, 97399185 edges,
lola: 685 tries, 684381759 fired transitions, 1145 secs || 59886996 markings, 97797947 edges,
lola: 688 tries, 687344433 fired transitions, 1150 secs || 60121717 markings, 98173079 edges,
lola: 691 tries, 690201739 fired transitions, 1155 secs || 60369468 markings, 98580433 edges,
lola: 694 tries, 693096935 fired transitions, 1160 secs || 60600338 markings, 98964143 edges,
lola: 696 tries, 695917662 fired transitions, 1165 secs || 60820862 markings, 99323917 edges,
lola: 699 tries, 698918634 fired transitions, 1170 secs || 61047549 markings, 99702295 edges,
lola: 702 tries, 701931452 fired transitions, 1175 secs || 61264517 markings, 100061292 edges,
lola: 705 tries, 704780558 fired transitions, 1180 secs || 61542572 markings, 100506252 edges,
lola: 708 tries, 707715575 fired transitions, 1185 secs || 61844960 markings, 100971027 edges,
lola: 711 tries, 710619441 fired transitions, 1190 secs || 62129384 markings, 101422092 edges,
lola: 714 tries, 713429717 fired transitions, 1195 secs || 62422042 markings, 101895084 edges,
lola: 717 tries, 716251429 fired transitions, 1200 secs || 62707256 markings, 102350518 edges,
lola: 720 tries, 719229686 fired transitions, 1205 secs || 62972415 markings, 102770379 edges,
lola: 723 tries, 722110852 fired transitions, 1210 secs || 63214690 markings, 103151474 edges,
lola: 726 tries, 725115383 fired transitions, 1215 secs || 63451598 markings, 103515988 edges,
lola: 728 tries, 727982801 fired transitions, 1220 secs || 63739454 markings, 103949324 edges,
lola: 732 tries, 731136083 fired transitions, 1225 secs || 64084223 markings, 104448631 edges,
lola: 735 tries, 734401361 fired transitions, 1230 secs || 64359049 markings, 104846634 edges,
lola: 738 tries, 737669203 fired transitions, 1235 secs || 64653395 markings, 105273852 edges,
lola: 741 tries, 740911630 fired transitions, 1240 secs || 64949267 markings, 105704179 edges,
lola: 745 tries, 744212837 fired transitions, 1245 secs || 65236859 markings, 106117200 edges,
lola: 748 tries, 747531265 fired transitions, 1250 secs || 65535094 markings, 106544805 edges,
lola: 751 tries, 750555118 fired transitions, 1255 secs || 65802589 markings, 106958918 edges,
lola: 754 tries, 753608779 fired transitions, 1260 secs || 66019920 markings, 107318115 edges,
lola: 757 tries, 756400123 fired transitions, 1265 secs || 66246756 markings, 107692895 edges,
lola: 760 tries, 759295213 fired transitions, 1270 secs || 66461959 markings, 108035635 edges,
lola: 763 tries, 762367460 fired transitions, 1275 secs || 66698925 markings, 108427249 edges,
lola: 766 tries, 765386210 fired transitions, 1280 secs || 66934825 markings, 108812953 edges,
lola: 769 tries, 768709616 fired transitions, 1285 secs || 67167007 markings, 109196881 edges,
lola: 772 tries, 771969164 fired transitions, 1290 secs || 67368133 markings, 109527236 edges,
lola: 776 tries, 775258652 fired transitions, 1295 secs || 67591317 markings, 109890232 edges,
lola: 779 tries, 778382966 fired transitions, 1300 secs || 67816441 markings, 110264203 edges,
lola: 782 tries, 781310334 fired transitions, 1305 secs || 68048294 markings, 110647410 edges,
lola: 785 tries, 784492849 fired transitions, 1310 secs || 68256431 markings, 110989950 edges,
lola: 788 tries, 787749180 fired transitions, 1315 secs || 68538666 markings, 111448663 edges,
lola: 791 tries, 790835053 fired transitions, 1320 secs || 68855369 markings, 111966534 edges,
lola: 794 tries, 793982398 fired transitions, 1325 secs || 69185210 markings, 112505474 edges,
lola: 798 tries, 797276203 fired transitions, 1330 secs || 69513975 markings, 113032469 edges,
lola: 801 tries, 800425534 fired transitions, 1335 secs || 69829329 markings, 113527672 edges,
lola: 804 tries, 803523607 fired transitions, 1340 secs || 70151270 markings, 114043449 edges,
lola: 807 tries, 806680419 fired transitions, 1345 secs || 70443866 markings, 114523138 edges,
lola: 810 tries, 809971026 fired transitions, 1350 secs || 70734139 markings, 114990167 edges,
lola: 814 tries, 813107466 fired transitions, 1355 secs || 71032490 markings, 115471203 edges,
lola: 817 tries, 816243123 fired transitions, 1360 secs || 71332792 markings, 115961994 edges,
lola: 820 tries, 819202481 fired transitions, 1365 secs || 71608108 markings, 116410385 edges,
lola: 823 tries, 822238021 fired transitions, 1370 secs || 71903473 markings, 116884324 edges,
lola: 826 tries, 825177693 fired transitions, 1375 secs || 72212702 markings, 117374860 edges,
lola: 829 tries, 828103267 fired transitions, 1380 secs || 72513694 markings, 117858858 edges,
lola: 832 tries, 831111669 fired transitions, 1385 secs || 72799175 markings, 118320132 edges,
lola: 835 tries, 834187339 fired transitions, 1390 secs || 73087897 markings, 118787883 edges,
lola: 838 tries, 837655096 fired transitions, 1395 secs || 73353346 markings, 119222394 edges,
lola: 842 tries, 841002383 fired transitions, 1400 secs || 73622534 markings, 119663974 edges,
lola: 845 tries, 844070197 fired transitions, 1405 secs || 73859991 markings, 120057063 edges,
lola: 848 tries, 847272895 fired transitions, 1410 secs || 74097582 markings, 120447328 edges,
lola: 851 tries, 850414549 fired transitions, 1415 secs || 74335445 markings, 120833550 edges,
lola: 854 tries, 853590106 fired transitions, 1420 secs || 74565968 markings, 121211772 edges,
lola: 857 tries, 856715334 fired transitions, 1425 secs || 74799347 markings, 121599467 edges,
lola: 860 tries, 859883007 fired transitions, 1430 secs || 75015700 markings, 121952782 edges,
lola: 864 tries, 863244492 fired transitions, 1435 secs || 75255602 markings, 122353228 edges,
lola: 867 tries, 866459222 fired transitions, 1440 secs || 75465805 markings, 122701530 edges,
lola: 870 tries, 869503981 fired transitions, 1445 secs || 75789190 markings, 123214085 edges,
lola: 873 tries, 872504665 fired transitions, 1450 secs || 76109767 markings, 123721767 edges,
lola: 876 tries, 875834005 fired transitions, 1455 secs || 76420786 markings, 124217961 edges,
lola: 880 tries, 879088921 fired transitions, 1460 secs || 76720795 markings, 124702547 edges,
lola: 883 tries, 882099051 fired transitions, 1465 secs || 77017774 markings, 125183566 edges,
lola: 886 tries, 885326262 fired transitions, 1470 secs || 77293036 markings, 125635126 edges,
lola: 889 tries, 888463999 fired transitions, 1475 secs || 77580566 markings, 126104696 edges,
lola: 892 tries, 891601769 fired transitions, 1480 secs || 77846383 markings, 126548390 edges,
lola: 895 tries, 894661232 fired transitions, 1485 secs || 78107623 markings, 126967917 edges,
lola: 898 tries, 897858091 fired transitions, 1490 secs || 78381827 markings, 127420493 edges,
lola: 902 tries, 901296603 fired transitions, 1495 secs || 78613748 markings, 127805352 edges,
lola: 905 tries, 904651777 fired transitions, 1500 secs || 78860606 markings, 128210949 edges,
lola: 909 tries, 908053810 fired transitions, 1505 secs || 79112149 markings, 128627653 edges,
lola: 912 tries, 911047699 fired transitions, 1510 secs || 79349987 markings, 129021286 edges,
lola: 915 tries, 914318404 fired transitions, 1515 secs || 79687959 markings, 129565023 edges,
lola: 918 tries, 917492034 fired transitions, 1520 secs || 80036021 markings, 130119323 edges,
lola: 921 tries, 920664546 fired transitions, 1525 secs || 80358152 markings, 130633000 edges,
lola: 924 tries, 923771749 fired transitions, 1530 secs || 80691805 markings, 131173654 edges,
lola: 927 tries, 926970270 fired transitions, 1535 secs || 81002861 markings, 131676296 edges,
lola: 931 tries, 930042804 fired transitions, 1540 secs || 81256582 markings, 132077506 edges,
lola: 934 tries, 933087031 fired transitions, 1545 secs || 81547235 markings, 132548377 edges,
lola: 936 tries, 935931775 fired transitions, 1550 secs || 81817968 markings, 132983619 edges,
lola: 940 tries, 939313077 fired transitions, 1555 secs || 82070910 markings, 133392726 edges,
lola: 943 tries, 942716226 fired transitions, 1560 secs || 82311252 markings, 133777172 edges,
lola: 946 tries, 945882070 fired transitions, 1565 secs || 82580533 markings, 134189414 edges,
lola: 950 tries, 949235931 fired transitions, 1570 secs || 82845115 markings, 134607104 edges,
lola: 953 tries, 952337381 fired transitions, 1575 secs || 83104470 markings, 135026426 edges,
lola: 956 tries, 955566524 fired transitions, 1580 secs || 83336880 markings, 135400426 edges,
lola: 959 tries, 958683043 fired transitions, 1585 secs || 83575026 markings, 135783318 edges,
lola: 962 tries, 961782348 fired transitions, 1590 secs || 83814077 markings, 136163286 edges,
lola: 965 tries, 964953533 fired transitions, 1595 secs || 84062727 markings, 136566386 edges,
lola: 969 tries, 968161657 fired transitions, 1600 secs || 84314823 markings, 136969250 edges,
lola: 972 tries, 971416043 fired transitions, 1605 secs || 84558016 markings, 137366863 edges,
lola: 975 tries, 974730784 fired transitions, 1610 secs || 84884178 markings, 137879227 edges,
lola: 978 tries, 977887258 fired transitions, 1615 secs || 85222119 markings, 138418550 edges,
lola: 981 tries, 980848510 fired transitions, 1620 secs || 85553819 markings, 138950938 edges,
lola: 985 tries, 984118752 fired transitions, 1625 secs || 85877238 markings, 139475248 edges,
lola: 988 tries, 987207602 fired transitions, 1630 secs || 86176377 markings, 139962084 edges,
lola: 991 tries, 990297783 fired transitions, 1635 secs || 86472084 markings, 140450725 edges,
lola: 994 tries, 993434721 fired transitions, 1640 secs || 86755765 markings, 140916752 edges,
lola: 997 tries, 996660188 fired transitions, 1645 secs || 87040612 markings, 141380670 edges,
lola: 1000 tries, 999985437 fired transitions, 1650 secs || 87329657 markings, 141853328 edges,
lola: 1004 tries, 1003087714 fired transitions, 1655 secs || 87593287 markings, 142291231 edges,
lola: 1007 tries, 1006275934 fired transitions, 1660 secs || 87861494 markings, 142732737 edges,
lola: 1010 tries, 1009352944 fired transitions, 1665 secs || 88121722 markings, 143163600 edges,
lola: 1013 tries, 1012681960 fired transitions, 1670 secs || 88392189 markings, 143613168 edges,
lola: 1017 tries, 1016162922 fired transitions, 1675 secs || 88687896 markings, 144054720 edges,
lola: 1020 tries, 1019513727 fired transitions, 1680 secs || 88963253 markings, 144477078 edges,
lola: 1023 tries, 1022616449 fired transitions, 1685 secs || 89229858 markings, 144886852 edges,
lola: 1026 tries, 1025987370 fired transitions, 1690 secs || 89492153 markings, 145293202 edges,
lola: 1029 tries, 1028943311 fired transitions, 1695 secs || 89779222 markings, 145719534 edges,
lola: 1032 tries, 1031908710 fired transitions, 1700 secs || 90046088 markings, 146122107 edges,
lola: 1036 tries, 1035257194 fired transitions, 1705 secs || 90305310 markings, 146523847 edges,
lola: 1039 tries, 1038029680 fired transitions, 1710 secs || 90551772 markings, 146903692 edges,
lola: 1042 tries, 1041019904 fired transitions, 1715 secs || 90801862 markings, 147281356 edges,
lola: 1045 tries, 1044269389 fired transitions, 1720 secs || 91065625 markings, 147689574 edges,
lola: 1048 tries, 1047595317 fired transitions, 1725 secs || 91325318 markings, 148089724 edges,
lola: 1051 tries, 1050771933 fired transitions, 1730 secs || 91564047 markings, 148455592 edges,
lola: 1055 tries, 1054228808 fired transitions, 1735 secs || 91870836 markings, 148951879 edges,
lola: 1058 tries, 1057517740 fired transitions, 1740 secs || 92219765 markings, 149505520 edges,
lola: 1061 tries, 1060912068 fired transitions, 1745 secs || 92562237 markings, 150054582 edges,
lola: 1065 tries, 1064332498 fired transitions, 1750 secs || 92893766 markings, 150589415 edges,
lola: 1068 tries, 1067575613 fired transitions, 1755 secs || 93211870 markings, 151105068 edges,
lola: 1071 tries, 1070822236 fired transitions, 1760 secs || 93517048 markings, 151597083 edges,
lola: 1074 tries, 1073986257 fired transitions, 1765 secs || 93824237 markings, 152097316 edges,
lola: 1078 tries, 1077343908 fired transitions, 1770 secs || 94131772 markings, 152597290 edges,
lola: 1081 tries, 1080787734 fired transitions, 1775 secs || 94414590 markings, 153058882 edges,
lola: 1085 tries, 1084244746 fired transitions, 1780 secs || 94719393 markings, 153528966 edges,
lola: 1088 tries, 1087753591 fired transitions, 1785 secs || 95010438 markings, 154000709 edges,
lola: 1092 tries, 1091195533 fired transitions, 1790 secs || 95290753 markings, 154455117 edges,
lola: 1095 tries, 1094508506 fired transitions, 1795 secs || 95579746 markings, 154928149 edges,
lola: 1098 tries, 1097814929 fired transitions, 1800 secs || 95854965 markings, 155373841 edges,
lola: 1102 tries, 1101069195 fired transitions, 1805 secs || 96136403 markings, 155821593 edges,
lola: 1105 tries, 1104393827 fired transitions, 1810 secs || 96412697 markings, 156271493 edges,
lola: 1108 tries, 1107683588 fired transitions, 1815 secs || 96673852 markings, 156696591 edges,
lola: 1111 tries, 1110855977 fired transitions, 1820 secs || 97043997 markings, 157255238 edges,
lola: 1115 tries, 1114117559 fired transitions, 1825 secs || 97350414 markings, 157700656 edges,
lola: 1118 tries, 1117493025 fired transitions, 1830 secs || 97634431 markings, 158116058 edges,
lola: 1122 tries, 1121048656 fired transitions, 1835 secs || 97893995 markings, 158511140 edges,
lola: 1125 tries, 1124284038 fired transitions, 1840 secs || 98156144 markings, 158905624 edges,
lola: 1128 tries, 1127733438 fired transitions, 1845 secs || 98452798 markings, 159353035 edges,
lola: 1131 tries, 1130981319 fired transitions, 1850 secs || 98718817 markings, 159752972 edges,
lola: 1135 tries, 1134488461 fired transitions, 1855 secs || 99005436 markings, 160182994 edges,
lola: 1138 tries, 1137694318 fired transitions, 1860 secs || 99281211 markings, 160600462 edges,
lola: 1142 tries, 1141248293 fired transitions, 1865 secs || 99531045 markings, 160975754 edges,
lola: 1145 tries, 1144536798 fired transitions, 1870 secs || 99832490 markings, 161427637 edges,
lola: 1148 tries, 1147624552 fired transitions, 1875 secs || 100122826 markings, 161857194 edges,
lola: 1151 tries, 1150856799 fired transitions, 1880 secs || 100388578 markings, 162255644 edges,
lola: 1155 tries, 1154054490 fired transitions, 1885 secs || 100679188 markings, 162691170 edges,
lola: 1158 tries, 1157441438 fired transitions, 1890 secs || 100944722 markings, 163096927 edges,
lola: 1161 tries, 1160463112 fired transitions, 1895 secs || 101206611 markings, 163492745 edges,
lola: 1164 tries, 1163852527 fired transitions, 1900 secs || 101475608 markings, 163897453 edges,
lola: 1168 tries, 1167232531 fired transitions, 1905 secs || 101734902 markings, 164284108 edges,
lola: 1171 tries, 1170326842 fired transitions, 1910 secs || 101997352 markings, 164694230 edges,
lola: 1174 tries, 1173613865 fired transitions, 1915 secs || 102279914 markings, 165122193 edges,
lola: 1177 tries, 1176912200 fired transitions, 1920 secs || 102555240 markings, 165542567 edges,
lola: 1181 tries, 1180481132 fired transitions, 1925 secs || 102789386 markings, 165901653 edges,
lola: 1184 tries, 1183981967 fired transitions, 1930 secs || 103048301 markings, 166313183 edges,
lola: 1188 tries, 1187041071 fired transitions, 1935 secs || 103347587 markings, 166784334 edges,
lola: 1191 tries, 1190514785 fired transitions, 1940 secs || 103638507 markings, 167250135 edges,
lola: 1194 tries, 1193798838 fired transitions, 1945 secs || 103917689 markings, 167697480 edges,
lola: 1198 tries, 1197219261 fired transitions, 1950 secs || 104215707 markings, 168181300 edges,
lola: 1201 tries, 1200551012 fired transitions, 1955 secs || 104493205 markings, 168631146 edges,
lola: 1204 tries, 1203587798 fired transitions, 1960 secs || 104737529 markings, 169034159 edges,
lola: 1207 tries, 1206821123 fired transitions, 1965 secs || 104999503 markings, 169461093 edges,
lola: 1211 tries, 1210228764 fired transitions, 1970 secs || 105236510 markings, 169856445 edges,
lola: 1214 tries, 1213425919 fired transitions, 1975 secs || 105475999 markings, 170239609 edges,
lola: 1217 tries, 1216650603 fired transitions, 1980 secs || 105722846 markings, 170647792 edges,
lola: 1221 tries, 1220076829 fired transitions, 1985 secs || 105950097 markings, 171023887 edges,
lola: 1224 tries, 1223134195 fired transitions, 1990 secs || 106170367 markings, 171389404 edges,
lola: 1227 tries, 1226493863 fired transitions, 1995 secs || 106400440 markings, 171766160 edges,
lola: 1230 tries, 1229698506 fired transitions, 2000 secs || 106630716 markings, 172148241 edges,
lola: 1234 tries, 1233011580 fired transitions, 2005 secs || 106894296 markings, 172562677 edges,
lola: 1237 tries, 1236359435 fired transitions, 2010 secs || 107222655 markings, 173040694 edges,
lola: 1240 tries, 1239747317 fired transitions, 2015 secs || 107539690 markings, 173509741 edges,
lola: 1244 tries, 1243223769 fired transitions, 2020 secs || 107859922 markings, 173982930 edges,
lola: 1247 tries, 1246649324 fired transitions, 2025 secs || 108146855 markings, 174396294 edges,
lola: 1251 tries, 1250074082 fired transitions, 2030 secs || 108465710 markings, 174858763 edges,
lola: 1254 tries, 1253508048 fired transitions, 2035 secs || 108779080 markings, 175322408 edges,
lola: 1258 tries, 1257019794 fired transitions, 2040 secs || 109065382 markings, 175736307 edges,
lola: 1261 tries, 1260449251 fired transitions, 2045 secs || 109363493 markings, 176165253 edges,
lola: 1264 tries, 1263965449 fired transitions, 2050 secs || 109669323 markings, 176622992 edges,
lola: 1268 tries, 1267336261 fired transitions, 2055 secs || 109966293 markings, 177051641 edges,
lola: 1271 tries, 1270823623 fired transitions, 2060 secs || 110309308 markings, 177592157 edges,
lola: 1275 tries, 1274249121 fired transitions, 2065 secs || 110629922 markings, 178091188 edges,
lola: 1278 tries, 1277707497 fired transitions, 2070 secs || 110894195 markings, 178510555 edges,
lola: 1282 tries, 1281252429 fired transitions, 2075 secs || 111172150 markings, 178952501 edges,
lola: 1285 tries, 1284723813 fired transitions, 2080 secs || 111428317 markings, 179358844 edges,
lola: 1289 tries, 1288223987 fired transitions, 2085 secs || 111693806 markings, 179767477 edges,
lola: 1292 tries, 1291680783 fired transitions, 2090 secs || 111973138 markings, 180202402 edges,
lola: 1296 tries, 1295088049 fired transitions, 2095 secs || 112247467 markings, 180632403 edges,
lola: 1299 tries, 1298615940 fired transitions, 2100 secs || 112514603 markings, 181056098 edges,
lola: 1303 tries, 1302158480 fired transitions, 2105 secs || 112777651 markings, 181468231 edges,
lola: 1306 tries, 1305760869 fired transitions, 2110 secs || 113042453 markings, 181878784 edges,
lola: 1310 tries, 1309371858 fired transitions, 2115 secs || 113288737 markings, 182278309 edges,
lola: 1313 tries, 1312932463 fired transitions, 2120 secs || 113557439 markings, 182704884 edges,
lola: 1317 tries, 1316476488 fired transitions, 2125 secs || 113798874 markings, 183088193 edges,
lola: 1321 tries, 1320085330 fired transitions, 2130 secs || 114089972 markings, 183555427 edges,
lola: 1324 tries, 1323626735 fired transitions, 2135 secs || 114441313 markings, 184108747 edges,
lola: 1328 tries, 1327182084 fired transitions, 2140 secs || 114799800 markings, 184680748 edges,
lola: 1331 tries, 1330746464 fired transitions, 2145 secs || 115149231 markings, 185235437 edges,
lola: 1335 tries, 1334334887 fired transitions, 2150 secs || 115491518 markings, 185779033 edges,
lola: 1338 tries, 1337937415 fired transitions, 2155 secs || 115810833 markings, 186293534 edges,
lola: 1342 tries, 1341550016 fired transitions, 2160 secs || 116117601 markings, 186786696 edges,
lola: 1346 tries, 1345158118 fired transitions, 2165 secs || 116411685 markings, 187265381 edges,
lola: 1349 tries, 1348788219 fired transitions, 2170 secs || 116695175 markings, 187731215 edges,
lola: 1353 tries, 1352417125 fired transitions, 2175 secs || 116963070 markings, 188174819 edges,
lola: 1357 tries, 1356046754 fired transitions, 2180 secs || 117234043 markings, 188610456 edges,
lola: 1360 tries, 1359488447 fired transitions, 2185 secs || 117507723 markings, 189062453 edges,
lola: 1363 tries, 1362954603 fired transitions, 2190 secs || 117766935 markings, 189492903 edges,
lola: 1367 tries, 1366551531 fired transitions, 2195 secs || 118016978 markings, 189904557 edges,
lola: 1371 tries, 1370188057 fired transitions, 2200 secs || 118271388 markings, 190325376 edges,
lola: 1374 tries, 1373773720 fired transitions, 2205 secs || 118521717 markings, 190739920 edges,
lola: 1378 tries, 1377275933 fired transitions, 2210 secs || 118856409 markings, 191308041 edges,
lola: 1381 tries, 1380859463 fired transitions, 2215 secs || 119188931 markings, 191866850 edges,
lola: 1385 tries, 1384475963 fired transitions, 2220 secs || 119519942 markings, 192420833 edges,
lola: 1388 tries, 1387991348 fired transitions, 2225 secs || 119818972 markings, 192918607 edges,
lola: 1392 tries, 1391568009 fired transitions, 2230 secs || 120149834 markings, 193433985 edges,
lola: 1395 tries, 1394939899 fired transitions, 2235 secs || 120454850 markings, 193940546 edges,
lola: 1399 tries, 1398528971 fired transitions, 2240 secs || 120766103 markings, 194454459 edges,
lola: 1403 tries, 1402139355 fired transitions, 2245 secs || 121053348 markings, 194938499 edges,
lola: 1406 tries, 1405779772 fired transitions, 2250 secs || 121346648 markings, 195426238 edges,
lola: 1410 tries, 1409384227 fired transitions, 2255 secs || 121630441 markings, 195901624 edges,
lola: 1413 tries, 1412885548 fired transitions, 2260 secs || 121910080 markings, 196374944 edges,
lola: 1417 tries, 1416531291 fired transitions, 2265 secs || 122188507 markings, 196840858 edges,
lola: 1421 tries, 1420125796 fired transitions, 2270 secs || 122472049 markings, 197319016 edges,
lola: 1424 tries, 1423687646 fired transitions, 2275 secs || 122749975 markings, 197788615 edges,
lola: 1428 tries, 1427258328 fired transitions, 2280 secs || 123040941 markings, 198275996 edges,
lola: 1431 tries, 1430821207 fired transitions, 2285 secs || 123349255 markings, 198773861 edges,
lola: 1435 tries, 1434443710 fired transitions, 2290 secs || 123617970 markings, 199228486 edges,
lola: 1439 tries, 1438064705 fired transitions, 2295 secs || 123875733 markings, 199661312 edges,
lola: 1442 tries, 1441701636 fired transitions, 2300 secs || 124129830 markings, 200093161 edges,
lola: 1446 tries, 1445271857 fired transitions, 2305 secs || 124406732 markings, 200549382 edges,
lola: 1449 tries, 1448709741 fired transitions, 2310 secs || 124730609 markings, 201059141 edges,
lola: 1453 tries, 1452324663 fired transitions, 2315 secs || 125051141 markings, 201541190 edges,
lola: 1456 tries, 1455932176 fired transitions, 2320 secs || 125299811 markings, 201956839 edges,
lola: 1460 tries, 1459528704 fired transitions, 2325 secs || 125560234 markings, 202393727 edges,
lola: 1464 tries, 1463122092 fired transitions, 2330 secs || 125891066 markings, 202957737 edges,
lola: 1467 tries, 1466612813 fired transitions, 2335 secs || 126243890 markings, 203567220 edges,
lola: 1471 tries, 1470176426 fired transitions, 2340 secs || 126592320 markings, 204171502 edges,
lola: 1474 tries, 1473786096 fired transitions, 2345 secs || 126917516 markings, 204729359 edges,
lola: 1478 tries, 1477357431 fired transitions, 2350 secs || 127253024 markings, 205301381 edges,
lola: 1481 tries, 1480881297 fired transitions, 2355 secs || 127585380 markings, 205877918 edges,
lola: 1485 tries, 1484428856 fired transitions, 2360 secs || 127916336 markings, 206450845 edges,
lola: 1488 tries, 1487968948 fired transitions, 2365 secs || 128248033 markings, 207025588 edges,
lola: 1492 tries, 1491465104 fired transitions, 2370 secs || 128588950 markings, 207616620 edges,
lola: 1496 tries, 1495002734 fired transitions, 2375 secs || 128932352 markings, 208212125 edges,
lola: 1499 tries, 1498585645 fired transitions, 2380 secs || 129254157 markings, 208746498 edges,
lola: 1503 tries, 1502130372 fired transitions, 2385 secs || 129613817 markings, 209299309 edges,
lola: 1506 tries, 1505668654 fired transitions, 2390 secs || 129980671 markings, 209859114 edges,
lola: 1510 tries, 1509268182 fired transitions, 2395 secs || 130285059 markings, 210372449 edges,
lola: 1513 tries, 1512901277 fired transitions, 2400 secs || 130568326 markings, 210861318 edges,
lola: 1517 tries, 1516484251 fired transitions, 2405 secs || 130854677 markings, 211332251 edges,
lola: 1521 tries, 1520043323 fired transitions, 2410 secs || 131173670 markings, 211881703 edges,
lola: 1524 tries, 1523606105 fired transitions, 2415 secs || 131497158 markings, 212432880 edges,
lola: 1528 tries, 1527181936 fired transitions, 2420 secs || 131845970 markings, 213014924 edges,
lola: 1531 tries, 1530720106 fired transitions, 2425 secs || 132171091 markings, 213572351 edges,
lola: 1535 tries, 1534325017 fired transitions, 2430 secs || 132473995 markings, 214083946 edges,
lola: 1538 tries, 1537864071 fired transitions, 2435 secs || 132781373 markings, 214567828 edges,
lola: 1542 tries, 1541336825 fired transitions, 2440 secs || 133114924 markings, 215131079 edges,
lola: 1545 tries, 1544801827 fired transitions, 2445 secs || 133443138 markings, 215697255 edges,
lola: 1549 tries, 1548131908 fired transitions, 2450 secs || 133768328 markings, 216261342 edges,
lola: 1552 tries, 1551679530 fired transitions, 2455 secs || 134102930 markings, 216815756 edges,
lola: 1556 tries, 1555262369 fired transitions, 2460 secs || 134407751 markings, 217340879 edges,
lola: 1559 tries, 1558856514 fired transitions, 2465 secs || 134704765 markings, 217846391 edges,
lola: 1563 tries, 1562385546 fired transitions, 2470 secs || 135033862 markings, 218400504 edges,
lola: 1566 tries, 1565926958 fired transitions, 2475 secs || 135354818 markings, 218953925 edges,
lola: 1570 tries, 1569412287 fired transitions, 2480 secs || 135706837 markings, 219538590 edges,
lola: 1573 tries, 1572980945 fired transitions, 2485 secs || 136037733 markings, 220111067 edges,
lola: 1577 tries, 1576484103 fired transitions, 2490 secs || 136357308 markings, 220663427 edges,
lola: 1580 tries, 1579922929 fired transitions, 2495 secs || 136679604 markings, 221212957 edges,
lola: 1584 tries, 1583455523 fired transitions, 2500 secs || 137041757 markings, 221764007 edges,
lola: 1587 tries, 1586900437 fired transitions, 2505 secs || 137427815 markings, 222344203 edges,
lola: 1591 tries, 1590299988 fired transitions, 2510 secs || 137757120 markings, 222902435 edges,
lola: 1594 tries, 1593853694 fired transitions, 2515 secs || 138070342 markings, 223445123 edges,
lola: 1598 tries, 1597426116 fired transitions, 2520 secs || 138389277 markings, 223971897 edges,
lola: 1602 tries, 1601041587 fired transitions, 2525 secs || 138663457 markings, 224444091 edges,
lola: 1605 tries, 1604623860 fired transitions, 2530 secs || 138939099 markings, 224912171 edges,
lola: 1609 tries, 1608148343 fired transitions, 2535 secs || 139252493 markings, 225439139 edges,
lola: 1612 tries, 1611754727 fired transitions, 2540 secs || 139575530 markings, 225995772 edges,
lola: 1616 tries, 1615325650 fired transitions, 2545 secs || 139911529 markings, 226553399 edges,
lola: 1619 tries, 1618804671 fired transitions, 2550 secs || 140211949 markings, 227069859 edges,
lola: 1623 tries, 1622389984 fired transitions, 2555 secs || 140497635 markings, 227560239 edges,
lola: 1626 tries, 1625981910 fired transitions, 2560 secs || 140822976 markings, 228073962 edges,
lola: 1630 tries, 1629406283 fired transitions, 2565 secs || 141180028 markings, 228594952 edges,
lola: 1633 tries, 1632982452 fired transitions, 2570 secs || 141492946 markings, 229130566 edges,
lola: 1637 tries, 1636614329 fired transitions, 2575 secs || 141797834 markings, 229649646 edges,
lola: 1641 tries, 1640209455 fired transitions, 2580 secs || 142119593 markings, 230190857 edges,
lola: 1644 tries, 1643785024 fired transitions, 2585 secs || 142403256 markings, 230679412 edges,
lola: 1648 tries, 1647286079 fired transitions, 2590 secs || 142699177 markings, 231176175 edges,
lola: 1651 tries, 1650484073 fired transitions, 2595 secs || 143073536 markings, 231736445 edges,
lola: 1654 tries, 1653576953 fired transitions, 2600 secs || 143405796 markings, 232303974 edges,
lola: 1658 tries, 1657046814 fired transitions, 2605 secs || 143726804 markings, 232851498 edges,
lola: 1661 tries, 1660542335 fired transitions, 2610 secs || 144051795 markings, 233396340 edges,
lola: 1665 tries, 1664133515 fired transitions, 2615 secs || 144346962 markings, 233905161 edges,
lola: 1668 tries, 1667677672 fired transitions, 2620 secs || 144641374 markings, 234415786 edges,
lola: 1672 tries, 1671143557 fired transitions, 2625 secs || 144942102 markings, 234924802 edges,
lola: 1675 tries, 1674657927 fired transitions, 2630 secs || 145264025 markings, 235469991 edges,
lola: 1679 tries, 1678072779 fired transitions, 2635 secs || 145579107 markings, 236013366 edges,
lola: 1682 tries, 1681611332 fired transitions, 2640 secs || 145896466 markings, 236563855 edges,
lola: 1686 tries, 1685130095 fired transitions, 2645 secs || 146217968 markings, 237094567 edges,
lola: 1689 tries, 1688641761 fired transitions, 2650 secs || 146565103 markings, 237652137 edges,
lola: 1693 tries, 1692099478 fired transitions, 2655 secs || 146899597 markings, 238189994 edges,
lola: 1696 tries, 1695650826 fired transitions, 2660 secs || 147226691 markings, 238710060 edges,
lola: 1700 tries, 1699256792 fired transitions, 2665 secs || 147545864 markings, 239219651 edges,
lola: 1703 tries, 1702841109 fired transitions, 2670 secs || 147865295 markings, 239733408 edges,
lola: 1707 tries, 1706433679 fired transitions, 2675 secs || 148192875 markings, 240260200 edges,
lola: 1710 tries, 1709946026 fired transitions, 2680 secs || 148513702 markings, 240772325 edges,
lola: 1714 tries, 1713483871 fired transitions, 2685 secs || 148825297 markings, 241289339 edges,
lola: 1717 tries, 1716945499 fired transitions, 2690 secs || 149096125 markings, 241755713 edges,
lola: 1721 tries, 1720555741 fired transitions, 2695 secs || 149357203 markings, 242198218 edges,
lola: 1725 tries, 1724030352 fired transitions, 2700 secs || 149666005 markings, 242710991 edges,
lola: 1728 tries, 1727541478 fired transitions, 2705 secs || 149972578 markings, 243231309 edges,
lola: 1732 tries, 1731157441 fired transitions, 2710 secs || 150256678 markings, 243723686 edges,
lola: 1735 tries, 1734733201 fired transitions, 2715 secs || 150559154 markings, 244222424 edges,
lola: 1739 tries, 1738214162 fired transitions, 2720 secs || 150862786 markings, 244739358 edges,
lola: 1742 tries, 1741502040 fired transitions, 2725 secs || 151173533 markings, 245275195 edges,
lola: 1746 tries, 1745116200 fired transitions, 2730 secs || 151491319 markings, 245819954 edges,
lola: 1749 tries, 1748666787 fired transitions, 2735 secs || 151864308 markings, 246339363 edges,
lola: 1753 tries, 1752235522 fired transitions, 2740 secs || 152218752 markings, 246853752 edges,
lola: 1756 tries, 1755611429 fired transitions, 2745 secs || 152564801 markings, 247410413 edges,
lola: 1760 tries, 1759188413 fired transitions, 2750 secs || 152894647 markings, 247947365 edges,
lola: 1763 tries, 1762798509 fired transitions, 2755 secs || 153226562 markings, 248481460 edges,
lola: 1767 tries, 1766229740 fired transitions, 2760 secs || 153545079 markings, 248998057 edges,
lola: 1770 tries, 1769767125 fired transitions, 2765 secs || 153872477 markings, 249532007 edges,
lola: 1774 tries, 1773269605 fired transitions, 2770 secs || 154207024 markings, 250076717 edges,
lola: 1777 tries, 1776854591 fired transitions, 2775 secs || 154541848 markings, 250619466 edges,
lola: 1781 tries, 1780462852 fired transitions, 2780 secs || 154840503 markings, 251132892 edges,
lola: 1785 tries, 1784030139 fired transitions, 2785 secs || 155124779 markings, 251621725 edges,
lola: 1788 tries, 1787596673 fired transitions, 2790 secs || 155426702 markings, 252120106 edges,
lola: 1792 tries, 1791172244 fired transitions, 2795 secs || 155734559 markings, 252650131 edges,
lola: 1795 tries, 1794665595 fired transitions, 2800 secs || 156044993 markings, 253164626 edges,
lola: 1799 tries, 1798258537 fired transitions, 2805 secs || 156375109 markings, 253675565 edges,
lola: 1802 tries, 1801863402 fired transitions, 2810 secs || 156721274 markings, 254263941 edges,
lola: 1806 tries, 1805495603 fired transitions, 2815 secs || 157054199 markings, 254819962 edges,
lola: 1809 tries, 1808966476 fired transitions, 2820 secs || 157377398 markings, 255334991 edges,
lola: 1813 tries, 1812578834 fired transitions, 2825 secs || 157681096 markings, 255846027 edges,
lola: 1817 tries, 1816173651 fired transitions, 2830 secs || 157981044 markings, 256340671 edges,
lola: 1820 tries, 1819522510 fired transitions, 2835 secs || 158305776 markings, 256882337 edges,
lola: 1823 tries, 1822880419 fired transitions, 2840 secs || 158654241 markings, 257438879 edges,
lola: 1827 tries, 1826309895 fired transitions, 2845 secs || 158951972 markings, 257945921 edges,
lola: 1830 tries, 1829842282 fired transitions, 2850 secs || 159281156 markings, 258456870 edges,
lola: 1834 tries, 1833336085 fired transitions, 2855 secs || 159611865 markings, 258994484 edges,
lola: 1837 tries, 1836906776 fired transitions, 2860 secs || 159911830 markings, 259497859 edges,
lola: 1841 tries, 1840249293 fired transitions, 2865 secs || 160208459 markings, 260000964 edges,
lola: 1844 tries, 1843829979 fired transitions, 2870 secs || 160556297 markings, 260510044 edges,
lola: 1848 tries, 1847203529 fired transitions, 2875 secs || 160865826 markings, 261019126 edges,
lola: 1851 tries, 1850713246 fired transitions, 2880 secs || 161188021 markings, 261549644 edges,
lola: 1855 tries, 1854265083 fired transitions, 2885 secs || 161484861 markings, 262053648 edges,
lola: 1858 tries, 1857837379 fired transitions, 2890 secs || 161779426 markings, 262531328 edges,
lola: 1862 tries, 1861400873 fired transitions, 2895 secs || 162085213 markings, 263031537 edges,
lola: 1866 tries, 1865007785 fired transitions, 2900 secs || 162367617 markings, 263494200 edges,
lola: 1869 tries, 1868578548 fired transitions, 2905 secs || 162679248 markings, 264016851 edges,
lola: 1873 tries, 1872183019 fired transitions, 2910 secs || 163016916 markings, 264550635 edges,
lola: 1876 tries, 1875555214 fired transitions, 2915 secs || 163324816 markings, 265062249 edges,
lola: 1880 tries, 1879118591 fired transitions, 2920 secs || 163643534 markings, 265576211 edges,
lola: 1883 tries, 1882700695 fired transitions, 2925 secs || 163952916 markings, 266076957 edges,
lola: 1887 tries, 1886316566 fired transitions, 2930 secs || 164273865 markings, 266596286 edges,
lola: 1890 tries, 1889827604 fired transitions, 2935 secs || 164562483 markings, 267076607 edges,
lola: 1894 tries, 1893433795 fired transitions, 2940 secs || 164865587 markings, 267568065 edges,
lola: 1898 tries, 1897003904 fired transitions, 2945 secs || 165217294 markings, 268089695 edges,
lola: 1901 tries, 1900498760 fired transitions, 2950 secs || 165519637 markings, 268576657 edges,
lola: 1904 tries, 1903997314 fired transitions, 2955 secs || 165825050 markings, 269101403 edges,
lola: 1908 tries, 1907494836 fired transitions, 2960 secs || 166119949 markings, 269564130 edges,
lola: 1912 tries, 1911069441 fired transitions, 2965 secs || 166403533 markings, 270042013 edges,
lola: 1915 tries, 1914430758 fired transitions, 2970 secs || 166662181 markings, 270456893 edges,
lola: 1919 tries, 1918039811 fired transitions, 2975 secs || 166954897 markings, 270950685 edges,
lola: 1922 tries, 1921636290 fired transitions, 2980 secs || 167282066 markings, 271464636 edges,
lola: 1926 tries, 1925229217 fired transitions, 2985 secs || 167567030 markings, 271939874 edges,
lola: 1929 tries, 1928818096 fired transitions, 2990 secs || 167869409 markings, 272429295 edges,
lola: 1933 tries, 1932378419 fired transitions, 2995 secs || 168164033 markings, 272902165 edges,
lola: 1936 tries, 1935825664 fired transitions, 3000 secs || 168475075 markings, 273402791 edges,
lola: 1940 tries, 1939423584 fired transitions, 3005 secs || 168761722 markings, 273880632 edges,
lola: 1944 tries, 1943028322 fired transitions, 3010 secs || 169041132 markings, 274347292 edges,
lola: 1947 tries, 1946616968 fired transitions, 3015 secs || 169373240 markings, 274821823 edges,
lola: 1951 tries, 1950220192 fired transitions, 3020 secs || 169657189 markings, 275289379 edges,
lola: 1954 tries, 1953458289 fired transitions, 3025 secs || 169966293 markings, 275804935 edges,
lola: 1958 tries, 1957070617 fired transitions, 3030 secs || 170205312 markings, 276215894 edges,
lola: 1961 tries, 1960650162 fired transitions, 3035 secs || 170482423 markings, 276663262 edges,
lola: 1965 tries, 1964094257 fired transitions, 3040 secs || 170790717 markings, 277162933 edges,
lola: 1968 tries, 1967665567 fired transitions, 3045 secs || 171089180 markings, 277655160 edges,
lola: 1972 tries, 1971277866 fired transitions, 3050 secs || 171395657 markings, 278166553 edges,
lola: 1975 tries, 1974865070 fired transitions, 3055 secs || 171736482 markings, 278711671 edges,
lola: 1979 tries, 1978319267 fired transitions, 3060 secs || 172061526 markings, 279242739 edges,
lola: 1982 tries, 1981749363 fired transitions, 3065 secs || 172366548 markings, 279751077 edges,
lola: 1986 tries, 1985311382 fired transitions, 3070 secs || 172685387 markings, 280250361 edges,
lola: 1989 tries, 1988907689 fired transitions, 3075 secs || 173016418 markings, 280783908 edges,
lola: 1993 tries, 1992485541 fired transitions, 3080 secs || 173315673 markings, 281282990 edges,
lola: 1997 tries, 1996104937 fired transitions, 3085 secs || 173609364 markings, 281779115 edges,
lola: 2000 tries, 1999722274 fired transitions, 3090 secs || 173957449 markings, 282279052 edges,
lola: 2004 tries, 2003279175 fired transitions, 3095 secs || 174261781 markings, 282777776 edges,
lola: 2007 tries, 2006730450 fired transitions, 3100 secs || 174590709 markings, 283326870 edges,
lola: 2011 tries, 2010330760 fired transitions, 3105 secs || 174853525 markings, 283765024 edges,
lola: 2014 tries, 2013898590 fired transitions, 3110 secs || 175131712 markings, 284199336 edges,
lola: 2018 tries, 2017493924 fired transitions, 3115 secs || 175391632 markings, 284632759 edges,
lola: 2022 tries, 2021115649 fired transitions, 3120 secs || 175645002 markings, 285048822 edges,
lola: 2025 tries, 2024605120 fired transitions, 3125 secs || 175912493 markings, 285489777 edges,
lola: 2029 tries, 2028213856 fired transitions, 3130 secs || 176186911 markings, 285950888 edges,
lola: 2032 tries, 2031695248 fired transitions, 3135 secs || 176506908 markings, 286448636 edges,
lola: 2036 tries, 2035311441 fired transitions, 3140 secs || 176789031 markings, 286915980 edges,
lola: 2039 tries, 2038936101 fired transitions, 3145 secs || 177056721 markings, 287370218 edges,
lola: 2043 tries, 2042516627 fired transitions, 3150 secs || 177347146 markings, 287805511 edges,
lola: 2047 tries, 2046145840 fired transitions, 3155 secs || 177621909 markings, 288262401 edges,
lola: 2050 tries, 2049734149 fired transitions, 3160 secs || 177920312 markings, 288742371 edges,
lola: 2054 tries, 2053369401 fired transitions, 3165 secs || 178189198 markings, 289188943 edges,
lola: 2057 tries, 2056991917 fired transitions, 3170 secs || 178457643 markings, 289642418 edges,
lola: 2061 tries, 2060575224 fired transitions, 3175 secs || 178748041 markings, 290085714 edges,
lola: 2065 tries, 2064191367 fired transitions, 3180 secs || 179057317 markings, 290548294 edges,
lola: 2068 tries, 2067822533 fired transitions, 3185 secs || 179318021 markings, 290972799 edges,
lola: 2072 tries, 2071231279 fired transitions, 3190 secs || 179604379 markings, 291449466 edges,
lola: 2075 tries, 2074764781 fired transitions, 3195 secs || 179930171 markings, 291955996 edges,
lola: 2079 tries, 2078352748 fired transitions, 3200 secs || 180270820 markings, 292451094 edges,
lola: 2082 tries, 2081734272 fired transitions, 3205 secs || 180609200 markings, 292947497 edges,
lola: 2086 tries, 2085064169 fired transitions, 3210 secs || 180966629 markings, 293461122 edges,
lola: 2089 tries, 2088485084 fired transitions, 3215 secs || 181305299 markings, 293957642 edges,
lola: 2093 tries, 2092102906 fired transitions, 3220 secs || 181643413 markings, 294447047 edges,
lola: 2096 tries, 2095699502 fired transitions, 3225 secs || 181990232 markings, 294950841 edges,
lola: 2100 tries, 2099252975 fired transitions, 3230 secs || 182323868 markings, 295441894 edges,
lola: 2103 tries, 2102767802 fired transitions, 3235 secs || 182653397 markings, 295924877 edges,
lola: 2107 tries, 2106407955 fired transitions, 3240 secs || 182993471 markings, 296417193 edges,
lola: 2111 tries, 2110035967 fired transitions, 3245 secs || 183342671 markings, 296924125 edges,
lola: 2114 tries, 2113664268 fired transitions, 3250 secs || 183641256 markings, 297383241 edges,
lola: 2118 tries, 2117295469 fired transitions, 3255 secs || 183917428 markings, 297820601 edges,
lola: 2121 tries, 2120900801 fired transitions, 3260 secs || 184190889 markings, 298283140 edges,
lola: 2125 tries, 2124535859 fired transitions, 3265 secs || 184462430 markings, 298726142 edges,
lola: 2129 tries, 2128171816 fired transitions, 3270 secs || 184740365 markings, 299196439 edges,
lola: 2132 tries, 2131796725 fired transitions, 3275 secs || 185073852 markings, 299713936 edges,
lola: 2136 tries, 2135456603 fired transitions, 3280 secs || 185346202 markings, 300174714 edges,
lola: 2140 tries, 2139085755 fired transitions, 3285 secs || 185636381 markings, 300631180 edges,
lola: 2143 tries, 2142714498 fired transitions, 3290 secs || 185925366 markings, 301102204 edges,
lola: 2147 tries, 2146346345 fired transitions, 3295 secs || 186228268 markings, 301593698 edges,
lola: 2150 tries, 2149991193 fired transitions, 3300 secs || 186506546 markings, 302055042 edges,
lola: 2154 tries, 2153579479 fired transitions, 3305 secs || 186766271 markings, 302489326 edges,
lola: 2158 tries, 2157198874 fired transitions, 3310 secs || 187093021 markings, 302955384 edges,
lola: 2161 tries, 2160830938 fired transitions, 3315 secs || 187375407 markings, 303421208 edges,
lola: 2165 tries, 2164467875 fired transitions, 3320 secs || 187671853 markings, 303914203 edges,
lola: 2169 tries, 2168087053 fired transitions, 3325 secs || 187979509 markings, 304408562 edges,
lola: 2172 tries, 2171702866 fired transitions, 3330 secs || 188279808 markings, 304863114 edges,
lola: 2176 tries, 2175338389 fired transitions, 3335 secs || 188572744 markings, 305327898 edges,
lola: 2179 tries, 2178974817 fired transitions, 3340 secs || 188895829 markings, 305853400 edges,
lola: 2183 tries, 2182625078 fired transitions, 3345 secs || 189187473 markings, 306311867 edges,
lola: 2187 tries, 2186246406 fired transitions, 3350 secs || 189506248 markings, 306825103 edges,
lola: 2190 tries, 2189883065 fired transitions, 3355 secs || 189837968 markings, 307360466 edges,
lola: 2194 tries, 2193482449 fired transitions, 3360 secs || 190199037 markings, 307902365 edges,
lola: 2198 tries, 2197102246 fired transitions, 3365 secs || 190508917 markings, 308400467 edges,
lola: 2201 tries, 2200736370 fired transitions, 3370 secs || 190829726 markings, 308916220 edges,
lola: 2205 tries, 2204358401 fired transitions, 3375 secs || 191158774 markings, 309408766 edges,
lola: 2208 tries, 2207987974 fired transitions, 3380 secs || 191471414 markings, 309911677 edges,
lola: 2212 tries, 2211618336 fired transitions, 3385 secs || 191818249 markings, 310444620 edges,
lola: 2216 tries, 2215254025 fired transitions, 3390 secs || 192123175 markings, 310936322 edges,
lola: 2219 tries, 2218883966 fired transitions, 3395 secs || 192436289 markings, 311439516 edges,
lola: 2223 tries, 2222511882 fired transitions, 3400 secs || 192736350 markings, 311926043 edges,
lola: 2227 tries, 2226124806 fired transitions, 3405 secs || 193078605 markings, 312421366 edges,
lola: 2230 tries, 2229745003 fired transitions, 3410 secs || 193410522 markings, 312935122 edges,
lola: 2234 tries, 2233372674 fired transitions, 3415 secs || 193717380 markings, 313416744 edges,
lola: 2237 tries, 2236990732 fired transitions, 3420 secs || 194039442 markings, 313949610 edges,
lola: 2241 tries, 2240636184 fired transitions, 3425 secs || 194326638 markings, 314408364 edges,
lola: 2245 tries, 2244266298 fired transitions, 3430 secs || 194613742 markings, 314873077 edges,
lola: 2248 tries, 2247905891 fired transitions, 3435 secs || 194898492 markings, 315341994 edges,
lola: 2252 tries, 2251537305 fired transitions, 3440 secs || 195190301 markings, 315830583 edges,
lola: 2256 tries, 2255185322 fired transitions, 3445 secs || 195514256 markings, 316345529 edges,
lola: 2259 tries, 2258817721 fired transitions, 3450 secs || 195827762 markings, 316857753 edges,
lola: 2263 tries, 2262458213 fired transitions, 3455 secs || 196115514 markings, 317339222 edges,
lola: 2267 tries, 2266087834 fired transitions, 3460 secs || 196422341 markings, 317816189 edges,
lola: 2270 tries, 2269716164 fired transitions, 3465 secs || 196738426 markings, 318324453 edges,
lola: 2274 tries, 2273349425 fired transitions, 3470 secs || 197023642 markings, 318800322 edges,
lola: 2277 tries, 2276997665 fired transitions, 3475 secs || 197306590 markings, 319276122 edges,
lola: 2281 tries, 2280641146 fired transitions, 3480 secs || 197633649 markings, 319750476 edges,
lola: 2285 tries, 2284276995 fired transitions, 3485 secs || 197929859 markings, 320232954 edges,
lola: 2288 tries, 2287901723 fired transitions, 3490 secs || 198235085 markings, 320730418 edges,
lola: 2292 tries, 2291535663 fired transitions, 3495 secs || 198518809 markings, 321198105 edges,
lola: 2296 tries, 2295179876 fired transitions, 3500 secs || 198793993 markings, 321637359 edges,
lola: 2299 tries, 2298834429 fired transitions, 3505 secs || 199065514 markings, 322100330 edges,
lola: 2303 tries, 2302484897 fired transitions, 3510 secs || 199310310 markings, 322491685 edges,
lola: 2307 tries, 2306141522 fired transitions, 3515 secs || 199584825 markings, 322961500 edges,
lola: 2310 tries, 2309776772 fired transitions, 3520 secs || 199896409 markings, 323445883 edges,
lola: 2314 tries, 2313367521 fired transitions, 3525 secs || 200180179 markings, 323922256 edges,
lola: 2318 tries, 2317031273 fired transitions, 3530 secs || 200460102 markings, 324384262 edges,
lola: 2321 tries, 2320666179 fired transitions, 3535 secs || 200746821 markings, 324834554 edges,
lola: 2325 tries, 2324226014 fired transitions, 3540 secs || 201050650 markings, 325325160 edges,
lola: 2328 tries, 2327810733 fired transitions, 3545 secs || 201313693 markings, 325763616 edges,
lola: 2332 tries, 2331399813 fired transitions, 3550 secs || 201582909 markings, 326221423 edges,
lola: 2335 tries, 2334975851 fired transitions, 3555 secs || 201875747 markings, 326663374 edges,
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1554504529059

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16 ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... tarjan) jan) 68553 markings/sec, 0 secs 61028 markings/sec, 5 secs 57479 markings/sec, 10 secs 56570 markings/sec, 15 secs 54219 markings/sec, 20 secs 64853 markings/sec, 25 secs 63351 markings/sec, 30 secs 61453 markings/sec, 35 secs 62261 markings/sec, 40 secs 59525 markings/sec, 45 secs 62514 markings/sec, 50 secs 59260 markings/sec, 55 secs 63005 markings/sec, 60 secs 59960 markings/sec, 65 secs 50937 markings/sec, 70 secs 64616 markings/sec, 75 secs 63055 markings/sec, 80 secs 59942 markings/sec, 85 secs 62360 markings/sec, 90 secs 58751 markings/sec, 95 secs 53373 markings/sec, 100 secs 53647 markings/sec, 105 secs 49376 markings/sec, 110 secs 48651 markings/sec, 115 secs 47997 markings/sec, 120 secs 52901 markings/sec, 125 secs 54285 markings/sec, 130 secs 55505 markings/sec, 135 secs 53913 markings/sec, 140 secs 48699 markings/sec, 145 secs 44238 markings/sec, 150 secs 47014 markings/sec, 155 secs 44308 markings/sec, 160 secs 43413 markings/sec, 165 secs 42999 markings/sec, 170 secs 47023 markings/sec, 175 secs 44228 markings/sec, 180 secs 41805 markings/sec, 185 secs 47838 markings/sec, 190 secs 45858 markings/sec, 195 secs 45213 markings/sec, 200 secs 44490 markings/sec, 205 secs 47416 markings/sec, 210 secs 42432 markings/sec, 215 secs 47233 markings/sec, 220 secs 46560 markings/sec, 225 secs 52311 markings/sec, 230 secs 43107 markings/sec, 235 secs 44685 markings/sec, 240 secs 45521 markings/sec, 245 secs 41757 markings/sec, 250 secs 38057 markings/sec, 255 secs 48394 markings/sec, 260 secs 46058 markings/sec, 265 secs 48987 markings/sec, 270 secs 44965 markings/sec, 275 secs 40990 markings/sec, 280 secs 40424 markings/sec, 285 secs 41519 markings/sec, 290 secs 51836 markings/sec, 295 secs 67891 markings/sec, 300 secs 69552 markings/sec, 305 secs 66375 markings/sec, 310 secs 67809 markings/sec, 315 secs 67165 markings/sec, 320 secs 58433 markings/sec, 325 secs 62508 markings/sec, 330 secs 71465 markings/sec, 335 secs 63809 markings/sec, 340 secs 64310 markings/sec, 345 secs 61604 markings/sec, 350 secs 69813 markings/sec, 355 secs 63216 markings/sec, 360 secs 60107 markings/sec, 365 secs 59697 markings/sec, 370 secs 57783 markings/sec, 375 secs 57407 markings/sec, 380 secs 59998 markings/sec, 385 secs 58101 markings/sec, 390 secs 57375 markings/sec, 395 secs 58229 markings/sec, 400 secs 58688 markings/sec, 405 secs 57451 markings/sec, 410 secs 61856 markings/sec, 415 secs 58549 markings/sec, 420 secs 55010 markings/sec, 425 secs 54487 markings/sec, 430 secs 56889 markings/sec, 435 secs 57290 markings/sec, 440 secs 57364 markings/sec, 445 secs 54470 markings/sec, 450 secs 60082 markings/sec, 455 secs 58534 markings/sec, 460 secs 65114 markings/sec, 465 secs 58248 markings/sec, 470 secs 57137 markings/sec, 475 secs 61716 markings/sec, 480 secs 56877 markings/sec, 485 secs 50436 markings/sec, 490 secs 54679 markings/sec, 495 secs 58914 markings/sec, 500 secs 55234 markings/sec, 505 secs 52123 markings/sec, 510 secs 52440 markings/sec, 515 secs 49810 markings/sec, 520 secs 55120 markings/sec, 525 secs 50581 markings/sec, 530 secs 54376 markings/sec, 535 secs 53905 markings/sec, 540 secs 58511 markings/sec, 545 secs 52506 markings/sec, 550 secs 57035 markings/sec, 555 secs 58835 markings/sec, 560 secs 56738 markings/sec, 565 secs 51120 markings/sec, 570 secs 46588 markings/sec, 575 secs 49781 markings/sec, 580 secs 58217 markings/sec, 585 secs 49823 markings/sec, 590 secs 58786 markings/sec, 595 secs 52914 markings/sec, 600 secs 52190 markings/sec, 605 secs 49473 markings/sec, 610 secs 48565 markings/sec, 615 secs 44050 markings/sec, 620 secs 43620 markings/sec, 625 secs 48868 markings/sec, 630 secs 42771 markings/sec, 635 secs 43661 markings/sec, 640 secs 45657 markings/sec, 645 secs 47131 markings/sec, 650 secs 41061 markings/sec, 655 secs 40537 markings/sec, 660 secs 40248 markings/sec, 665 secs 40343 markings/sec, 670 secs 41935 markings/sec, 675 secs 37373 markings/sec, 680 secs 53278 markings/sec, 685 secs 59264 markings/sec, 690 secs 55428 markings/sec, 695 secs 55577 markings/sec, 700 secs 52925 markings/sec, 705 secs 49869 markings/sec, 710 secs 47559 markings/sec, 715 secs 49720 markings/sec, 720 secs 45435 markings/sec, 725 secs 46921 markings/sec, 730 secs 45793 markings/sec, 735 secs 45827 markings/sec, 740 secs 44548 markings/sec, 745 secs 42458 markings/sec, 750 secs 45307 markings/sec, 755 secs 43304 markings/sec, 760 secs 59774 markings/sec, 765 secs 56406 markings/sec, 770 secs 55889 markings/sec, 775 secs 57519 markings/sec, 780 secs 55609 markings/sec, 785 secs 48478 markings/sec, 790 secs 49112 markings/sec, 795 secs 48218 markings/sec, 800 secs 48326 markings/sec, 805 secs 49084 markings/sec, 810 secs 48847 markings/sec, 815 secs 49269 markings/sec, 820 secs 44850 markings/sec, 825 secs 44413 markings/sec, 830 secs 46489 markings/sec, 835 secs 51821 markings/sec, 840 secs 51523 markings/sec, 845 secs 52309 markings/sec, 850 secs 50192 markings/sec, 855 secs 47702 markings/sec, 860 secs 49445 markings/sec, 865 secs 48293 markings/sec, 870 secs 44613 markings/sec, 875 secs 48496 markings/sec, 880 secs 47509 markings/sec, 885 secs 51191 markings/sec, 890 secs 46320 markings/sec, 895 secs 49916 markings/sec, 900 secs 51524 markings/sec, 905 secs 50163 markings/sec, 910 secs 52968 markings/sec, 915 secs 46763 markings/sec, 920 secs 42720 markings/sec, 925 secs 44574 markings/sec, 930 secs 43559 markings/sec, 935 secs 43583 markings/sec, 940 secs 44056 markings/sec, 945 secs 41301 markings/sec, 950 secs 43566 markings/sec, 955 secs 44299 markings/sec, 960 secs 46713 markings/sec, 965 secs 43002 markings/sec, 970 secs 55390 markings/sec, 975 secs 59859 markings/sec, 980 secs 56489 markings/sec, 985 secs 51975 markings/sec, 990 secs 52490 markings/sec, 995 secs 48468 markings/sec, 1000 secs 52616 markings/sec, 1005 secs 49357 markings/sec, 1010 secs 50785 markings/sec, 1015 secs 50180 markings/sec, 1020 secs 51369 markings/sec, 1025 secs 51076 markings/sec, 1030 secs 47000 markings/sec, 1035 secs 51647 markings/sec, 1040 secs 49463 markings/sec, 1045 secs 52034 markings/sec, 1050 secs 50205 markings/sec, 1055 secs 53894 markings/sec, 1060 secs 52666 markings/sec, 1065 secs 51210 markings/sec, 1070 secs 48286 markings/sec, 1075 secs 47291 markings/sec, 1080 secs 51523 markings/sec, 1085 secs 49051 markings/sec, 1090 secs 49045 markings/sec, 1095 secs 53283 markings/sec, 1100 secs 56678 markings/sec, 1105 secs 58509 markings/sec, 1110 secs 54975 markings/sec, 1115 secs 53667 markings/sec, 1120 secs 51237 markings/sec, 1125 secs 52493 markings/sec, 1130 secs 49683 markings/sec, 1135 secs 50995 markings/sec, 1140 secs 47812 markings/sec, 1145 secs 46944 markings/sec, 1150 secs 49550 markings/sec, 1155 secs 46174 markings/sec, 1160 secs 44105 markings/sec, 1165 secs 45337 markings/sec, 1170 secs 43394 markings/sec, 1175 secs 55611 markings/sec, 1180 secs 60478 markings/sec, 1185 secs 56885 markings/sec, 1190 secs 58532 markings/sec, 1195 secs 57043 markings/sec, 1200 secs 53032 markings/sec, 1205 secs 48455 markings/sec, 1210 secs 47382 markings/sec, 1215 secs 57571 markings/sec, 1220 secs 68954 markings/sec, 1225 secs 54965 markings/sec, 1230 secs 58869 markings/sec, 1235 secs 59174 markings/sec, 1240 secs 57518 markings/sec, 1245 secs 59647 markings/sec, 1250 secs 53499 markings/sec, 1255 secs 43466 markings/sec, 1260 secs 45367 markings/sec, 1265 secs 43041 markings/sec, 1270 secs 47393 markings/sec, 1275 secs 47180 markings/sec, 1280 secs 46436 markings/sec, 1285 secs 40225 markings/sec, 1290 secs 44637 markings/sec, 1295 secs 45025 markings/sec, 1300 secs 46371 markings/sec, 1305 secs 41627 markings/sec, 1310 secs 56447 markings/sec, 1315 secs 63341 markings/sec, 1320 secs 65968 markings/sec, 1325 secs 65753 markings/sec, 1330 secs 63071 markings/sec, 1335 secs 64388 markings/sec, 1340 secs 58519 markings/sec, 1345 secs 58055 markings/sec, 1350 secs 59670 markings/sec, 1355 secs 60060 markings/sec, 1360 secs 55063 markings/sec, 1365 secs 59073 markings/sec, 1370 secs 61846 markings/sec, 1375 secs 60198 markings/sec, 1380 secs 57096 markings/sec, 1385 secs 57744 markings/sec, 1390 secs 53090 markings/sec, 1395 secs 53838 markings/sec, 1400 secs 47491 markings/sec, 1405 secs 47518 markings/sec, 1410 secs 47573 markings/sec, 1415 secs 46105 markings/sec, 1420 secs 46676 markings/sec, 1425 secs 43271 markings/sec, 1430 secs 47980 markings/sec, 1435 secs 42041 markings/sec, 1440 secs 64677 markings/sec, 1445 secs 64115 markings/sec, 1450 secs 62204 markings/sec, 1455 secs 60002 markings/sec, 1460 secs 59396 markings/sec, 1465 secs 55052 markings/sec, 1470 secs 57506 markings/sec, 1475 secs 53163 markings/sec, 1480 secs 52248 markings/sec, 1485 secs 54841 markings/sec, 1490 secs 46384 markings/sec, 1495 secs 49372 markings/sec, 1500 secs 50309 markings/sec, 1505 secs 47568 markings/sec, 1510 secs 67594 markings/sec, 1515 secs 69612 markings/sec, 1520 secs 64426 markings/sec, 1525 secs 66731 markings/sec, 1530 secs 62211 markings/sec, 1535 secs 50744 markings/sec, 1540 secs 58131 markings/sec, 1545 secs 54147 markings/sec, 1550 secs 50588 markings/sec, 1555 secs 48068 markings/sec, 1560 secs 53856 markings/sec, 1565 secs 52916 markings/sec, 1570 secs 51871 markings/sec, 1575 secs 46482 markings/sec, 1580 secs 47629 markings/sec, 1585 secs 47810 markings/sec, 1590 secs 49730 markings/sec, 1595 secs 50419 markings/sec, 1600 secs 48639 markings/sec, 1605 secs 65232 markings/sec, 1610 secs 67588 markings/sec, 1615 secs 66340 markings/sec, 1620 secs 64684 markings/sec, 1625 secs 59828 markings/sec, 1630 secs 59141 markings/sec, 1635 secs 56736 markings/sec, 1640 secs 56969 markings/sec, 1645 secs 57809 markings/sec, 1650 secs 52726 markings/sec, 1655 secs 53641 markings/sec, 1660 secs 52046 markings/sec, 1665 secs 54093 markings/sec, 1670 secs 59141 markings/sec, 1675 secs 55071 markings/sec, 1680 secs 53321 markings/sec, 1685 secs 52459 markings/sec, 1690 secs 57414 markings/sec, 1695 secs 53373 markings/sec, 1700 secs 51844 markings/sec, 1705 secs 49292 markings/sec, 1710 secs 50018 markings/sec, 1715 secs 52753 markings/sec, 1720 secs 51939 markings/sec, 1725 secs 47746 markings/sec, 1730 secs 61358 markings/sec, 1735 secs 69786 markings/sec, 1740 secs 68494 markings/sec, 1745 secs 66306 markings/sec, 1750 secs 63621 markings/sec, 1755 secs 61036 markings/sec, 1760 secs 61438 markings/sec, 1765 secs 61507 markings/sec, 1770 secs 56564 markings/sec, 1775 secs 60961 markings/sec, 1780 secs 58209 markings/sec, 1785 secs 56063 markings/sec, 1790 secs 57799 markings/sec, 1795 secs 55044 markings/sec, 1800 secs 56288 markings/sec, 1805 secs 55259 markings/sec, 1810 secs 52231 markings/sec, 1815 secs 74029 markings/sec, 1820 secs 61283 markings/sec, 1825 secs 56803 markings/sec, 1830 secs 51913 markings/sec, 1835 secs 52430 markings/sec, 1840 secs 59331 markings/sec, 1845 secs 53204 markings/sec, 1850 secs 57324 markings/sec, 1855 secs 55155 markings/sec, 1860 secs 49967 markings/sec, 1865 secs 60289 markings/sec, 1870 secs 58067 markings/sec, 1875 secs 53150 markings/sec, 1880 secs 58122 markings/sec, 1885 secs 53107 markings/sec, 1890 secs 52378 markings/sec, 1895 secs 53799 markings/sec, 1900 secs 51859 markings/sec, 1905 secs 52490 markings/sec, 1910 secs 56512 markings/sec, 1915 secs 55065 markings/sec, 1920 secs 46829 markings/sec, 1925 secs 51783 markings/sec, 1930 secs 59857 markings/sec, 1935 secs 58184 markings/sec, 1940 secs 55836 markings/sec, 1945 secs 59604 markings/sec, 1950 secs 55500 markings/sec, 1955 secs 48865 markings/sec, 1960 secs 52395 markings/sec, 1965 secs 47401 markings/sec, 1970 secs 47898 markings/sec, 1975 secs 49369 markings/sec, 1980 secs 45450 markings/sec, 1985 secs 44054 markings/sec, 1990 secs 46015 markings/sec, 1995 secs 46055 markings/sec, 2000 secs 52716 markings/sec, 2005 secs 65672 markings/sec, 2010 secs 63407 markings/sec, 2015 secs 64046 markings/sec, 2020 secs 57387 markings/sec, 2025 secs 63771 markings/sec, 2030 secs 62674 markings/sec, 2035 secs 57260 markings/sec, 2040 secs 59622 markings/sec, 2045 secs 61166 markings/sec, 2050 secs 59394 markings/sec, 2055 secs 68603 markings/sec, 2060 secs 64123 markings/sec, 2065 secs 52855 markings/sec, 2070 secs 55591 markings/sec, 2075 secs 51233 markings/sec, 2080 secs 53098 markings/sec, 2085 secs 55866 markings/sec, 2090 secs 54866 markings/sec, 2095 secs 53427 markings/sec, 2100 secs 52610 markings/sec, 2105 secs 52960 markings/sec, 2110 secs 49257 markings/sec, 2115 secs 53740 markings/sec, 2120 secs 48287 markings/sec, 2125 secs 58220 markings/sec, 2130 secs 70268 markings/sec, 2135 secs 71697 markings/sec, 2140 secs 69886 markings/sec, 2145 secs 68457 markings/sec, 2150 secs 63863 markings/sec, 2155 secs 61354 markings/sec, 2160 secs 58817 markings/sec, 2165 secs 56698 markings/sec, 2170 secs 53579 markings/sec, 2175 secs 54195 markings/sec, 2180 secs 54736 markings/sec, 2185 secs 51842 markings/sec, 2190 secs 50009 markings/sec, 2195 secs 50882 markings/sec, 2200 secs 50066 markings/sec, 2205 secs 66938 markings/sec, 2210 secs 66504 markings/sec, 2215 secs 66202 markings/sec, 2220 secs 59806 markings/sec, 2225 secs 66172 markings/sec, 2230 secs 61003 markings/sec, 2235 secs 62251 markings/sec, 2240 secs 57449 markings/sec, 2245 secs 58660 markings/sec, 2250 secs 56759 markings/sec, 2255 secs 55928 markings/sec, 2260 secs 55685 markings/sec, 2265 secs 56708 markings/sec, 2270 secs 55585 markings/sec, 2275 secs 58193 markings/sec, 2280 secs 61663 markings/sec, 2285 secs 53743 markings/sec, 2290 secs 51553 markings/sec, 2295 secs 50819 markings/sec, 2300 secs 55380 markings/sec, 2305 secs 64775 markings/sec, 2310 secs 64106 markings/sec, 2315 secs 49734 markings/sec, 2320 secs 52085 markings/sec, 2325 secs 66166 markings/sec, 2330 secs 70565 markings/sec, 2335 secs 69686 markings/sec, 2340 secs 65039 markings/sec, 2345 secs 67102 markings/sec, 2350 secs 66471 markings/sec, 2355 secs 66191 markings/sec, 2360 secs 66339 markings/sec, 2365 secs 68183 markings/sec, 2370 secs 68680 markings/sec, 2375 secs 64361 markings/sec, 2380 secs 71932 markings/sec, 2385 secs 73371 markings/sec, 2390 secs 60878 markings/sec, 2395 secs 56653 markings/sec, 2400 secs 57270 markings/sec, 2405 secs 63799 markings/sec, 2410 secs 64698 markings/sec, 2415 secs 69762 markings/sec, 2420 secs 65024 markings/sec, 2425 secs 60581 markings/sec, 2430 secs 61476 markings/sec, 2435 secs 66710 markings/sec, 2440 secs 65643 markings/sec, 2445 secs 65038 markings/sec, 2450 secs 66920 markings/sec, 2455 secs 60964 markings/sec, 2460 secs 59403 markings/sec, 2465 secs 65819 markings/sec, 2470 secs 64191 markings/sec, 2475 secs 70404 markings/sec, 2480 secs 66179 markings/sec, 2485 secs 63915 markings/sec, 2490 secs 64459 markings/sec, 2495 secs 72431 markings/sec, 2500 secs 77212 markings/sec, 2505 secs 65861 markings/sec, 2510 secs 62644 markings/sec, 2515 secs 63787 markings/sec, 2520 secs 54836 markings/sec, 2525 secs 55128 markings/sec, 2530 secs 62679 markings/sec, 2535 secs 64607 markings/sec, 2540 secs 67200 markings/sec, 2545 secs 60084 markings/sec, 2550 secs 57137 markings/sec, 2555 secs 65068 markings/sec, 2560 secs 71410 markings/sec, 2565 secs 62584 markings/sec, 2570 secs 60978 markings/sec, 2575 secs 64352 markings/sec, 2580 secs 56733 markings/sec, 2585 secs 59184 markings/sec, 2590 secs 74872 markings/sec, 2595 secs 66452 markings/sec, 2600 secs 64202 markings/sec, 2605 secs 64998 markings/sec, 2610 secs 59033 markings/sec, 2615 secs 58882 markings/sec, 2620 secs 60146 markings/sec, 2625 secs 64385 markings/sec, 2630 secs 63016 markings/sec, 2635 secs 63472 markings/sec, 2640 secs 64300 markings/sec, 2645 secs 69427 markings/sec, 2650 secs 66899 markings/sec, 2655 secs 65419 markings/sec, 2660 secs 63835 markings/sec, 2665 secs 63886 markings/sec, 2670 secs 65516 markings/sec, 2675 secs 64165 markings/sec, 2680 secs 62319 markings/sec, 2685 secs 54166 markings/sec, 2690 secs 52216 markings/sec, 2695 secs 61760 markings/sec, 2700 secs 61315 markings/sec, 2705 secs 56820 markings/sec, 2710 secs 60495 markings/sec, 2715 secs 60726 markings/sec, 2720 secs 62149 markings/sec, 2725 secs 63557 markings/sec, 2730 secs 74598 markings/sec, 2735 secs 70889 markings/sec, 2740 secs 69210 markings/sec, 2745 secs 65969 markings/sec, 2750 secs 66383 markings/sec, 2755 secs 63703 markings/sec, 2760 secs 65480 markings/sec, 2765 secs 66909 markings/sec, 2770 secs 66965 markings/sec, 2775 secs 59731 markings/sec, 2780 secs 56855 markings/sec, 2785 secs 60385 markings/sec, 2790 secs 61571 markings/sec, 2795 secs 62087 markings/sec, 2800 secs 66023 markings/sec, 2805 secs 69233 markings/sec, 2810 secs 66585 markings/sec, 2815 secs 64640 markings/sec, 2820 secs 60740 markings/sec, 2825 secs 59990 markings/sec, 2830 secs 64946 markings/sec, 2835 secs 69693 markings/sec, 2840 secs 59546 markings/sec, 2845 secs 65837 markings/sec, 2850 secs 66142 markings/sec, 2855 secs 59993 markings/sec, 2860 secs 59326 markings/sec, 2865 secs 69568 markings/sec, 2870 secs 61906 markings/sec, 2875 secs 64439 markings/sec, 2880 secs 59368 markings/sec, 2885 secs 58913 markings/sec, 2890 secs 61157 markings/sec, 2895 secs 56481 markings/sec, 2900 secs 62326 markings/sec, 2905 secs 67534 markings/sec, 2910 secs 61580 markings/sec, 2915 secs 63744 markings/sec, 2920 secs 61876 markings/sec, 2925 secs 64190 markings/sec, 2930 secs 57724 markings/sec, 2935 secs 60621 markings/sec, 2940 secs 70341 markings/sec, 2945 secs 60469 markings/sec, 2950 secs 61083 markings/sec, 2955 secs 58980 markings/sec, 2960 secs 56717 markings/sec, 2965 secs 51730 markings/sec, 2970 secs 58543 markings/sec, 2975 secs 65434 markings/sec, 2980 secs 56993 markings/sec, 2985 secs 60476 markings/sec, 2990 secs 58925 markings/sec, 2995 secs 62208 markings/sec, 3000 secs 57329 markings/sec, 3005 secs 55882 markings/sec, 3010 secs 66422 markings/sec, 3015 secs 56790 markings/sec, 3020 secs 61821 markings/sec, 3025 secs 47804 markings/sec, 3030 secs 55422 markings/sec, 3035 secs 61659 markings/sec, 3040 secs 59693 markings/sec, 3045 secs 61295 markings/sec, 3050 secs 68165 markings/sec, 3055 secs 65009 markings/sec, 3060 secs 61004 markings/sec, 3065 secs 63768 markings/sec, 3070 secs 66206 markings/sec, 3075 secs 59851 markings/sec, 3080 secs 58738 markings/sec, 3085 secs 69617 markings/sec, 3090 secs 60866 markings/sec, 3095 secs 65786 markings/sec, 3100 secs 52563 markings/sec, 3105 secs 55637 markings/sec, 3110 secs 51984 markings/sec, 3115 secs 50674 markings/sec, 3120 secs 53498 markings/sec, 3125 secs 54884 markings/sec, 3130 secs 63999 markings/sec, 3135 secs 56425 markings/sec, 3140 secs 53538 markings/sec, 3145 secs 58085 markings/sec, 3150 secs 54953 markings/sec, 3155 secs 59681 markings/sec, 3160 secs 53777 markings/sec, 3165 secs 53689 markings/sec, 3170 secs 58080 markings/sec, 3175 secs 61855 markings/sec, 3180 secs 52141 markings/sec, 3185 secs 57272 markings/sec, 3190 secs 65158 markings/sec, 3195 secs 68130 markings/sec, 3200 secs 67676 markings/sec, 3205 secs 71486 markings/sec, 3210 secs 67734 markings/sec, 3215 secs 67623 markings/sec, 3220 secs 69364 markings/sec, 3225 secs 66727 markings/sec, 3230 secs 65906 markings/sec, 3235 secs 68015 markings/sec, 3240 secs 69840 markings/sec, 3245 secs 59717 markings/sec, 3250 secs 55234 markings/sec, 3255 secs 54692 markings/sec, 3260 secs 54308 markings/sec, 3265 secs 55587 markings/sec, 3270 secs 66697 markings/sec, 3275 secs 54470 markings/sec, 3280 secs 58036 markings/sec, 3285 secs 57797 markings/sec, 3290 secs 60580 markings/sec, 3295 secs 55656 markings/sec, 3300 secs 51945 markings/sec, 3305 secs 65350 markings/sec, 3310 secs 56477 markings/sec, 3315 secs 59289 markings/sec, 3320 secs 61531 markings/sec, 3325 secs 60060 markings/sec, 3330 secs 58587 markings/sec, 3335 secs 64617 markings/sec, 3340 secs 58329 markings/sec, 3345 secs 63755 markings/sec, 3350 secs 66344 markings/sec, 3355 secs 72214 markings/sec, 3360 secs 61976 markings/sec, 3365 secs 64162 markings/sec, 3370 secs 65810 markings/sec, 3375 secs 62528 markings/sec, 3380 secs 69367 markings/sec, 3385 secs 60985 markings/sec, 3390 secs 62623 markings/sec, 3395 secs 60012 markings/sec, 3400 secs 68451 markings/sec, 3405 secs 66383 markings/sec, 3410 secs 61372 markings/sec, 3415 secs 64412 markings/sec, 3420 secs 57439 markings/sec, 3425 secs 57421 markings/sec, 3430 secs 56950 markings/sec, 3435 secs 58362 markings/sec, 3440 secs 64791 markings/sec, 3445 secs 62701 markings/sec, 3450 secs 57550 markings/sec, 3455 secs 61365 markings/sec, 3460 secs 63217 markings/sec, 3465 secs 57043 markings/sec, 3470 secs 56590 markings/sec, 3475 secs 65412 markings/sec, 3480 secs 59242 markings/sec, 3485 secs 61045 markings/sec, 3490 secs 56745 markings/sec, 3495 secs 55037 markings/sec, 3500 secs 54304 markings/sec, 3505 secs 48959 markings/sec, 3510 secs 54903 markings/sec, 3515 secs 62317 markings/sec, 3520 secs 56754 markings/sec, 3525 secs 55985 markings/sec, 3530 secs 57344 markings/sec, 3535 secs 60766 markings/sec, 3540 secs 52609 markings/sec, 3545 secs 53843 markings/sec, 3550 secs 58568 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="BART-PT-005"
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 BART-PT-005, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181-csrt-155344534600012"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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