MCC'2019 - Execution of r170-oct2-155297750800453

About the Execution of LoLA for Vasy2003-PT-none

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15918.730	3364157.00	6836902.00	2362.70	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 4.8K Feb 12 21:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 12 21:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 9 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 9 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 01:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 4 22:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 22:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 1 23:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 1 23:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:35 model-fix.log
-rw-r--r-- 1 mcc users 207K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1554532455797

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Vasy2003-PT-none @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 206
rslt: Output for GlobalProperties @ Vasy2003-PT-none
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: 1261/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 485
lola: finding significant places
lola: 485 places, 776 transitions, 419 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 221 generators (115 in search tree, 106 by composition)
lola: representing 1.67663E+46 symmetries
lola: 0 dead branches visited in search tree
lola: 6 tries, 5591938 fired transitions, 0 secs || 185872 markings, 384391 edges,
lola: 11 tries, 10780956 fired transitions, 5 secs || 376578 markings, 768139 edges,
lola: 17 tries, 16137160 fired transitions, 10 secs || 571765 markings, 1171692 edges,
lola: 22 tries, 21552011 fired transitions, 15 secs || 762384 markings, 1564519 edges,
lola: 28 tries, 27563465 fired transitions, 20 secs || 977732 markings, 1980594 edges,
lola: 37 tries, 36500759 fired transitions, 25 secs || 1251996 markings, 2533322 edges,
lola: 44 tries, 43167290 fired transitions, 30 secs || 1485780 markings, 2994416 edges,
lola: 50 tries, 49602671 fired transitions, 35 secs || 1677359 markings, 3373897 edges,
lola: 56 tries, 55386850 fired transitions, 40 secs || 1858343 markings, 3727289 edges,
lola: 62 tries, 61107874 fired transitions, 45 secs || 2029035 markings, 4069735 edges,
lola: 68 tries, 67287542 fired transitions, 50 secs || 2209761 markings, 4438014 edges,
lola: 76 tries, 75879945 fired transitions, 55 secs || 2480674 markings, 4978863 edges,
lola: 87 tries, 86371752 fired transitions, 60 secs || 2808769 markings, 5657604 edges,
lola: 96 tries, 95851149 fired transitions, 65 secs || 3126187 markings, 6280463 edges,
lola: 102 tries, 101412636 fired transitions, 70 secs || 3343818 markings, 6725219 edges,
lola: 107 tries, 106607619 fired transitions, 75 secs || 3531952 markings, 7102523 edges,
lola: 113 tries, 112083881 fired transitions, 80 secs || 3749137 markings, 7538100 edges,
lola: 118 tries, 117546524 fired transitions, 85 secs || 3976056 markings, 7996765 edges,
lola: 128 tries, 127814782 fired transitions, 90 secs || 4302259 markings, 8653213 edges,
lola: 139 tries, 138102875 fired transitions, 95 secs || 4611730 markings, 9273537 edges,
lola: 149 tries, 148641120 fired transitions, 100 secs || 4946113 markings, 9935769 edges,
lola: 160 tries, 159255816 fired transitions, 105 secs || 5265064 markings, 10577340 edges,
lola: 170 tries, 169885793 fired transitions, 110 secs || 5593615 markings, 11238902 edges,
lola: 181 tries, 180457404 fired transitions, 115 secs || 5934869 markings, 11917177 edges,
lola: 191 tries, 190823537 fired transitions, 120 secs || 6253967 markings, 12564032 edges,
lola: 202 tries, 201374376 fired transitions, 125 secs || 6584198 markings, 13220465 edges,
lola: 213 tries, 212023341 fired transitions, 130 secs || 6911373 markings, 13880837 edges,
lola: 224 tries, 223056837 fired transitions, 135 secs || 7254535 markings, 14571948 edges,
lola: 235 tries, 234126078 fired transitions, 140 secs || 7608650 markings, 15285755 edges,
lola: 245 tries, 244954147 fired transitions, 145 secs || 7948334 markings, 15961142 edges,
lola: 256 tries, 255746709 fired transitions, 150 secs || 8288388 markings, 16624763 edges,
lola: 267 tries, 266511636 fired transitions, 155 secs || 8628668 markings, 17307732 edges,
lola: 278 tries, 277352535 fired transitions, 160 secs || 8969185 markings, 17983413 edges,
lola: 289 tries, 288132843 fired transitions, 165 secs || 9302984 markings, 18653919 edges,
lola: 299 tries, 298828926 fired transitions, 170 secs || 9641696 markings, 19329630 edges,
lola: 310 tries, 309502503 fired transitions, 175 secs || 10000902 markings, 20023945 edges,
lola: 318 tries, 317999579 fired transitions, 180 secs || 10273470 markings, 20557963 edges,
lola: 325 tries, 324446426 fired transitions, 185 secs || 10447239 markings, 20914975 edges,
lola: 331 tries, 330865543 fired transitions, 190 secs || 10629411 markings, 21280310 edges,
lola: 338 tries, 337089603 fired transitions, 195 secs || 10797777 markings, 21616205 edges,
lola: 344 tries, 343326093 fired transitions, 200 secs || 11014103 markings, 22029456 edges,
lola: 349 tries, 348543543 fired transitions, 205 secs || 11212595 markings, 22416427 edges,
lola: 355 tries, 354268260 fired transitions, 210 secs || 11440991 markings, 22881957 edges,
lola: 360 tries, 359518205 fired transitions, 215 secs || 11647379 markings, 23296942 edges,
lola: 365 tries, 364955280 fired transitions, 220 secs || 11851503 markings, 23702307 edges,
lola: 371 tries, 370645664 fired transitions, 225 secs || 12068224 markings, 24142633 edges,
lola: 377 tries, 376284097 fired transitions, 230 secs || 12298884 markings, 24614362 edges,
lola: 382 tries, 381610466 fired transitions, 235 secs || 12510054 markings, 25032808 edges,
lola: 388 tries, 387214002 fired transitions, 240 secs || 12719717 markings, 25467576 edges,
lola: 393 tries, 392844166 fired transitions, 245 secs || 12953915 markings, 25941424 edges,
lola: 399 tries, 398293727 fired transitions, 250 secs || 13175839 markings, 26373010 edges,
lola: 404 tries, 403649810 fired transitions, 255 secs || 13378625 markings, 26770394 edges,
lola: 410 tries, 409144323 fired transitions, 260 secs || 13581516 markings, 27184774 edges,
lola: 415 tries, 414546685 fired transitions, 265 secs || 13780254 markings, 27586469 edges,
lola: 420 tries, 419907158 fired transitions, 270 secs || 13979401 markings, 27984364 edges,
lola: 426 tries, 425087732 fired transitions, 275 secs || 14169237 markings, 28359076 edges,
lola: 431 tries, 430522307 fired transitions, 280 secs || 14379566 markings, 28789285 edges,
lola: 436 tries, 435734640 fired transitions, 285 secs || 14578581 markings, 29175132 edges,
lola: 442 tries, 441104895 fired transitions, 290 secs || 14795202 markings, 29605640 edges,
lola: 447 tries, 446505156 fired transitions, 295 secs || 15018630 markings, 30059214 edges,
lola: 453 tries, 452202735 fired transitions, 300 secs || 15248794 markings, 30539835 edges,
lola: 458 tries, 457628608 fired transitions, 305 secs || 15463062 markings, 30982191 edges,
lola: 463 tries, 462962574 fired transitions, 310 secs || 15669535 markings, 31389996 edges,
lola: 469 tries, 468450133 fired transitions, 315 secs || 15889170 markings, 31836110 edges,
lola: 475 tries, 474010712 fired transitions, 320 secs || 16112968 markings, 32280499 edges,
lola: 480 tries, 479244382 fired transitions, 325 secs || 16314158 markings, 32677460 edges,
lola: 485 tries, 484450000 fired transitions, 330 secs || 16511086 markings, 33062587 edges,
lola: 490 tries, 489799491 fired transitions, 335 secs || 16714047 markings, 33474313 edges,
lola: 497 tries, 496933605 fired transitions, 340 secs || 16963344 markings, 33956855 edges,
lola: 503 tries, 502829486 fired transitions, 345 secs || 17187343 markings, 34407632 edges,
lola: 509 tries, 508194426 fired transitions, 350 secs || 17399435 markings, 34846078 edges,
lola: 514 tries, 513725020 fired transitions, 355 secs || 17618656 markings, 35284232 edges,
lola: 520 tries, 519302453 fired transitions, 360 secs || 17824847 markings, 35694507 edges,
lola: 525 tries, 524890327 fired transitions, 365 secs || 18030445 markings, 36111251 edges,
lola: 530 tries, 529950159 fired transitions, 370 secs || 18209533 markings, 36462587 edges,
lola: 536 tries, 535374982 fired transitions, 375 secs || 18414946 markings, 36877073 edges,
lola: 541 tries, 540776990 fired transitions, 380 secs || 18614674 markings, 37268588 edges,
lola: 547 tries, 546112160 fired transitions, 385 secs || 18814160 markings, 37658292 edges,
lola: 552 tries, 551658283 fired transitions, 390 secs || 19015194 markings, 38062847 edges,
lola: 558 tries, 557156092 fired transitions, 395 secs || 19212144 markings, 38456179 edges,
lola: 563 tries, 562718614 fired transitions, 400 secs || 19406061 markings, 38851239 edges,
lola: 569 tries, 568349656 fired transitions, 405 secs || 19617584 markings, 39287325 edges,
lola: 574 tries, 573640508 fired transitions, 410 secs || 19821111 markings, 39671304 edges,
lola: 580 tries, 579331258 fired transitions, 415 secs || 20030082 markings, 40102420 edges,
lola: 585 tries, 584733199 fired transitions, 420 secs || 20230015 markings, 40510010 edges,
lola: 590 tries, 589883285 fired transitions, 425 secs || 20424859 markings, 40881797 edges,
lola: 596 tries, 595287430 fired transitions, 430 secs || 20627401 markings, 41284685 edges,
lola: 601 tries, 600608942 fired transitions, 435 secs || 20835219 markings, 41677206 edges,
lola: 607 tries, 606045173 fired transitions, 440 secs || 21054726 markings, 42087500 edges,
lola: 612 tries, 611256458 fired transitions, 445 secs || 21242071 markings, 42460279 edges,
lola: 617 tries, 616547983 fired transitions, 450 secs || 21437387 markings, 42843577 edges,
lola: 623 tries, 622867786 fired transitions, 455 secs || 21663171 markings, 43311399 edges,
lola: 629 tries, 628713051 fired transitions, 460 secs || 21866332 markings, 43724207 edges,
lola: 634 tries, 633895085 fired transitions, 465 secs || 22068089 markings, 44125980 edges,
lola: 640 tries, 639526800 fired transitions, 470 secs || 22270702 markings, 44536317 edges,
lola: 645 tries, 644806973 fired transitions, 475 secs || 22469972 markings, 44947045 edges,
lola: 651 tries, 650557828 fired transitions, 480 secs || 22690019 markings, 45390884 edges,
lola: 659 tries, 658703841 fired transitions, 485 secs || 22954855 markings, 45909317 edges,
lola: 669 tries, 668886717 fired transitions, 490 secs || 23274771 markings, 46549180 edges,
lola: 680 tries, 679199666 fired transitions, 495 secs || 23614222 markings, 47219812 edges,
lola: 690 tries, 689526446 fired transitions, 500 secs || 23932556 markings, 47861487 edges,
lola: 700 tries, 699762386 fired transitions, 505 secs || 24257715 markings, 48516318 edges,
lola: 710 tries, 709988035 fired transitions, 510 secs || 24584333 markings, 49143743 edges,
lola: 721 tries, 720156054 fired transitions, 515 secs || 24899663 markings, 49770296 edges,
lola: 731 tries, 730385709 fired transitions, 520 secs || 25201656 markings, 50388481 edges,
lola: 741 tries, 740614942 fired transitions, 525 secs || 25535388 markings, 51029511 edges,
lola: 751 tries, 750795176 fired transitions, 530 secs || 25857020 markings, 51654490 edges,
lola: 762 tries, 761091628 fired transitions, 535 secs || 26188776 markings, 52330162 edges,
lola: 772 tries, 771289168 fired transitions, 540 secs || 26515935 markings, 52967430 edges,
lola: 782 tries, 781483605 fired transitions, 545 secs || 26821100 markings, 53603289 edges,
lola: 790 tries, 789181746 fired transitions, 550 secs || 27076021 markings, 54105817 edges,
lola: 796 tries, 795594834 fired transitions, 555 secs || 27301493 markings, 54534965 edges,
lola: 803 tries, 802260618 fired transitions, 560 secs || 27545840 markings, 54982859 edges,
lola: 809 tries, 808938440 fired transitions, 565 secs || 27783328 markings, 55429899 edges,
lola: 816 tries, 815792066 fired transitions, 570 secs || 28037720 markings, 55903195 edges,
lola: 825 tries, 824364992 fired transitions, 575 secs || 28329083 markings, 56447258 edges,
lola: 833 tries, 832021500 fired transitions, 580 secs || 28583376 markings, 56955127 edges,
lola: 841 tries, 840093948 fired transitions, 585 secs || 28850010 markings, 57462938 edges,
lola: 851 tries, 850331288 fired transitions, 590 secs || 29173385 markings, 58105606 edges,
lola: 861 tries, 860505326 fired transitions, 595 secs || 29511217 markings, 58780751 edges,
lola: 871 tries, 870742614 fired transitions, 600 secs || 29838079 markings, 59423845 edges,
lola: 881 tries, 880930906 fired transitions, 605 secs || 30166530 markings, 60064891 edges,
lola: 889 tries, 888771374 fired transitions, 610 secs || 30430848 markings, 60598054 edges,
lola: 896 tries, 895422002 fired transitions, 615 secs || 30686283 markings, 61079601 edges,
lola: 902 tries, 901979239 fired transitions, 620 secs || 30922718 markings, 61530975 edges,
lola: 909 tries, 908547053 fired transitions, 625 secs || 31145714 markings, 61971154 edges,
lola: 916 tries, 915020492 fired transitions, 630 secs || 31394924 markings, 62405494 edges,
lola: 922 tries, 921553206 fired transitions, 635 secs || 31653786 markings, 62864678 edges,
lola: 929 tries, 928133320 fired transitions, 640 secs || 31916619 markings, 63309446 edges,
lola: 935 tries, 934697836 fired transitions, 645 secs || 32157993 markings, 63756267 edges,
lola: 942 tries, 941240034 fired transitions, 650 secs || 32392001 markings, 64214906 edges,
lola: 948 tries, 947780997 fired transitions, 655 secs || 32616730 markings, 64651854 edges,
lola: 955 tries, 954310777 fired transitions, 660 secs || 32875319 markings, 65096370 edges,
lola: 961 tries, 960729828 fired transitions, 665 secs || 33120019 markings, 65526550 edges,
lola: 968 tries, 967329928 fired transitions, 670 secs || 33355890 markings, 65995517 edges,
lola: 974 tries, 973893955 fired transitions, 675 secs || 33600253 markings, 66461949 edges,
lola: 984 tries, 983034278 fired transitions, 680 secs || 33883096 markings, 67035250 edges,
lola: 994 tries, 993531415 fired transitions, 685 secs || 34213535 markings, 67682540 edges,
lola: 1004 tries, 1003925910 fired transitions, 690 secs || 34537722 markings, 68308419 edges,
lola: 1015 tries, 1014228033 fired transitions, 695 secs || 34875555 markings, 68990640 edges,
lola: 1025 tries, 1024737047 fired transitions, 700 secs || 35211140 markings, 69667526 edges,
lola: 1036 tries, 1035333447 fired transitions, 705 secs || 35546394 markings, 70340025 edges,
lola: 1047 tries, 1046085876 fired transitions, 710 secs || 35875643 markings, 71010857 edges,
lola: 1057 tries, 1056639865 fired transitions, 715 secs || 36199304 markings, 71660209 edges,
lola: 1068 tries, 1067252771 fired transitions, 720 secs || 36516956 markings, 72289541 edges,
lola: 1078 tries, 1077557258 fired transitions, 725 secs || 36839389 markings, 72913445 edges,
lola: 1089 tries, 1088126198 fired transitions, 730 secs || 37164053 markings, 73549887 edges,
lola: 1099 tries, 1098933445 fired transitions, 735 secs || 37476236 markings, 74159821 edges,
lola: 1110 tries, 1109550700 fired transitions, 740 secs || 37795203 markings, 74826567 edges,
lola: 1120 tries, 1119854915 fired transitions, 745 secs || 38117081 markings, 75473106 edges,
lola: 1131 tries, 1130143091 fired transitions, 750 secs || 38438602 markings, 76112531 edges,
lola: 1139 tries, 1138630931 fired transitions, 755 secs || 38705794 markings, 76651232 edges,
lola: 1145 tries, 1144237897 fired transitions, 760 secs || 38913250 markings, 77047815 edges,
lola: 1150 tries, 1149500699 fired transitions, 765 secs || 39099038 markings, 77413875 edges,
lola: 1155 tries, 1154854936 fired transitions, 770 secs || 39295872 markings, 77807138 edges,
lola: 1161 tries, 1160145412 fired transitions, 775 secs || 39495253 markings, 78207686 edges,
lola: 1166 tries, 1165559152 fired transitions, 780 secs || 39692513 markings, 78611354 edges,
lola: 1171 tries, 1170930124 fired transitions, 785 secs || 39892580 markings, 79012497 edges,
lola: 1177 tries, 1176408760 fired transitions, 790 secs || 40087318 markings, 79403140 edges,
lola: 1182 tries, 1181706801 fired transitions, 795 secs || 40288264 markings, 79792011 edges,
lola: 1188 tries, 1187085864 fired transitions, 800 secs || 40487756 markings, 80185905 edges,
lola: 1193 tries, 1192340767 fired transitions, 805 secs || 40685141 markings, 80577600 edges,
lola: 1198 tries, 1197703052 fired transitions, 810 secs || 40884891 markings, 80979414 edges,
lola: 1203 tries, 1202956284 fired transitions, 815 secs || 41078658 markings, 81360206 edges,
lola: 1209 tries, 1208543717 fired transitions, 820 secs || 41302023 markings, 81802993 edges,
lola: 1214 tries, 1213887224 fired transitions, 825 secs || 41490998 markings, 82167329 edges,
lola: 1220 tries, 1219384674 fired transitions, 830 secs || 41694491 markings, 82567176 edges,
lola: 1225 tries, 1224982916 fired transitions, 835 secs || 41895363 markings, 82973726 edges,
lola: 1231 tries, 1230596621 fired transitions, 840 secs || 42097964 markings, 83372469 edges,
lola: 1237 tries, 1236460906 fired transitions, 845 secs || 42311480 markings, 83802898 edges,
lola: 1243 tries, 1242099698 fired transitions, 850 secs || 42516062 markings, 84211536 edges,
lola: 1249 tries, 1248787843 fired transitions, 855 secs || 42745579 markings, 84661910 edges,
lola: 1260 tries, 1259375481 fired transitions, 860 secs || 43067563 markings, 85329499 edges,
lola: 1269 tries, 1268297816 fired transitions, 865 secs || 43361800 markings, 85905897 edges,
lola: 1279 tries, 1278637259 fired transitions, 870 secs || 43688512 markings, 86530606 edges,
lola: 1290 tries, 1289037471 fired transitions, 875 secs || 44028539 markings, 87217643 edges,
lola: 1297 tries, 1296980512 fired transitions, 880 secs || 44284251 markings, 87733017 edges,
lola: 1304 tries, 1303236445 fired transitions, 885 secs || 44497217 markings, 88168402 edges,
lola: 1313 tries, 1312791129 fired transitions, 890 secs || 44804603 markings, 88791204 edges,
lola: 1324 tries, 1323160229 fired transitions, 895 secs || 45105160 markings, 89387424 edges,
lola: 1334 tries, 1333893486 fired transitions, 900 secs || 45422152 markings, 90016461 edges,
lola: 1342 tries, 1341795659 fired transitions, 905 secs || 45688705 markings, 90545197 edges,
lola: 1349 tries, 1348410741 fired transitions, 910 secs || 45903454 markings, 90976091 edges,
lola: 1355 tries, 1354525279 fired transitions, 915 secs || 46126939 markings, 91399907 edges,
lola: 1364 tries, 1363426920 fired transitions, 920 secs || 46391774 markings, 91916624 edges,
lola: 1374 tries, 1373838215 fired transitions, 925 secs || 46701179 markings, 92534915 edges,
lola: 1383 tries, 1382623519 fired transitions, 930 secs || 46973810 markings, 93082616 edges,
lola: 1389 tries, 1388809300 fired transitions, 935 secs || 47188238 markings, 93520029 edges,
lola: 1396 tries, 1395017862 fired transitions, 940 secs || 47398970 markings, 93956739 edges,
lola: 1401 tries, 1400723910 fired transitions, 945 secs || 47592769 markings, 94313076 edges,
lola: 1407 tries, 1406707246 fired transitions, 950 secs || 47796700 markings, 94718125 edges,
lola: 1413 tries, 1412500368 fired transitions, 955 secs || 47993672 markings, 95101630 edges,
lola: 1419 tries, 1418710593 fired transitions, 960 secs || 48215220 markings, 95538022 edges,
lola: 1425 tries, 1424535330 fired transitions, 965 secs || 48404707 markings, 95910064 edges,
lola: 1431 tries, 1430561463 fired transitions, 970 secs || 48616367 markings, 96332929 edges,
lola: 1437 tries, 1436556696 fired transitions, 975 secs || 48820161 markings, 96731910 edges,
lola: 1443 tries, 1442465077 fired transitions, 980 secs || 49018398 markings, 97129526 edges,
lola: 1449 tries, 1448348439 fired transitions, 985 secs || 49222240 markings, 97523628 edges,
lola: 1455 tries, 1454760724 fired transitions, 990 secs || 49442985 markings, 97973394 edges,
lola: 1466 tries, 1465518029 fired transitions, 995 secs || 49780019 markings, 98652391 edges,
lola: 1477 tries, 1476075832 fired transitions, 1000 secs || 50113714 markings, 99297650 edges,
lola: 1486 tries, 1485770671 fired transitions, 1005 secs || 50416615 markings, 99896236 edges,
lola: 1492 tries, 1491652045 fired transitions, 1010 secs || 50622668 markings, 100307710 edges,
lola: 1498 tries, 1497447322 fired transitions, 1015 secs || 50826966 markings, 100706539 edges,
lola: 1504 tries, 1503304057 fired transitions, 1020 secs || 51039536 markings, 101134669 edges,
lola: 1510 tries, 1509834295 fired transitions, 1025 secs || 51264882 markings, 101602215 edges,
lola: 1516 tries, 1515929676 fired transitions, 1030 secs || 51481000 markings, 102021654 edges,
lola: 1522 tries, 1521885679 fired transitions, 1035 secs || 51681512 markings, 102409252 edges,
lola: 1529 tries, 1528073504 fired transitions, 1040 secs || 51885759 markings, 102820272 edges,
lola: 1535 tries, 1534281581 fired transitions, 1045 secs || 52079744 markings, 103202852 edges,
lola: 1541 tries, 1540562673 fired transitions, 1050 secs || 52285426 markings, 103621437 edges,
lola: 1547 tries, 1546449629 fired transitions, 1055 secs || 52472632 markings, 103996919 edges,
lola: 1553 tries, 1552625608 fired transitions, 1060 secs || 52685903 markings, 104409753 edges,
lola: 1563 tries, 1562910510 fired transitions, 1065 secs || 53004965 markings, 105051187 edges,
lola: 1574 tries, 1573288912 fired transitions, 1070 secs || 53328150 markings, 105679593 edges,
lola: 1584 tries, 1583785558 fired transitions, 1075 secs || 53657190 markings, 106353467 edges,
lola: 1595 tries, 1594218644 fired transitions, 1080 secs || 53987873 markings, 107015900 edges,
lola: 1603 tries, 1602736646 fired transitions, 1085 secs || 54264367 markings, 107541206 edges,
lola: 1610 tries, 1609325558 fired transitions, 1090 secs || 54514185 markings, 107984303 edges,
lola: 1616 tries, 1615922540 fired transitions, 1095 secs || 54748211 markings, 108411942 edges,
lola: 1623 tries, 1622529228 fired transitions, 1100 secs || 54993873 markings, 108867239 edges,
lola: 1630 tries, 1629094204 fired transitions, 1105 secs || 55252917 markings, 109340268 edges,
lola: 1636 tries, 1635664238 fired transitions, 1110 secs || 55488250 markings, 109787194 edges,
lola: 1643 tries, 1642238091 fired transitions, 1115 secs || 55721572 markings, 110228227 edges,
lola: 1649 tries, 1648818840 fired transitions, 1120 secs || 55949525 markings, 110678511 edges,
lola: 1656 tries, 1655401806 fired transitions, 1125 secs || 56185798 markings, 111123341 edges,
lola: 1662 tries, 1661980049 fired transitions, 1130 secs || 56440882 markings, 111586712 edges,
lola: 1669 tries, 1668557728 fired transitions, 1135 secs || 56669268 markings, 112029038 edges,
lola: 1676 tries, 1675084179 fired transitions, 1140 secs || 56885250 markings, 112453744 edges,
lola: 1682 tries, 1681667655 fired transitions, 1145 secs || 57124541 markings, 112909902 edges,
lola: 1689 tries, 1688215661 fired transitions, 1150 secs || 57371690 markings, 113382195 edges,
lola: 1695 tries, 1694776636 fired transitions, 1155 secs || 57594425 markings, 113814185 edges,
lola: 1702 tries, 1701337906 fired transitions, 1160 secs || 57837572 markings, 114272727 edges,
lola: 1708 tries, 1707917939 fired transitions, 1165 secs || 58095035 markings, 114728160 edges,
lola: 1715 tries, 1714697252 fired transitions, 1170 secs || 58344445 markings, 115195136 edges,
lola: 1722 tries, 1721347732 fired transitions, 1175 secs || 58602895 markings, 115658072 edges,
lola: 1728 tries, 1727980011 fired transitions, 1180 secs || 58842120 markings, 116101815 edges,
lola: 1735 tries, 1734630535 fired transitions, 1185 secs || 59080253 markings, 116539505 edges,
lola: 1742 tries, 1741461609 fired transitions, 1190 secs || 59338797 markings, 116995834 edges,
lola: 1749 tries, 1748275296 fired transitions, 1195 secs || 59605926 markings, 117479309 edges,
lola: 1756 tries, 1755098629 fired transitions, 1200 secs || 59852050 markings, 117952983 edges,
lola: 1762 tries, 1761950677 fired transitions, 1205 secs || 60091739 markings, 118422463 edges,
lola: 1769 tries, 1768802360 fired transitions, 1210 secs || 60334678 markings, 118907465 edges,
lola: 1776 tries, 1775621469 fired transitions, 1215 secs || 60589501 markings, 119398072 edges,
lola: 1783 tries, 1782446109 fired transitions, 1220 secs || 60861063 markings, 119875750 edges,
lola: 1790 tries, 1789313850 fired transitions, 1225 secs || 61127460 markings, 120377693 edges,
lola: 1797 tries, 1796161022 fired transitions, 1230 secs || 61379814 markings, 120865483 edges,
lola: 1803 tries, 1802978209 fired transitions, 1235 secs || 61622711 markings, 121329396 edges,
lola: 1810 tries, 1809878846 fired transitions, 1240 secs || 61876047 markings, 121809723 edges,
lola: 1819 tries, 1818333447 fired transitions, 1245 secs || 62152028 markings, 122350395 edges,
lola: 1826 tries, 1825424783 fired transitions, 1250 secs || 62392626 markings, 122830830 edges,
lola: 1832 tries, 1831295026 fired transitions, 1255 secs || 62603948 markings, 123246311 edges,
lola: 1838 tries, 1837333504 fired transitions, 1260 secs || 62827048 markings, 123677681 edges,
lola: 1844 tries, 1843525860 fired transitions, 1265 secs || 63041593 markings, 124096989 edges,
lola: 1850 tries, 1849804539 fired transitions, 1270 secs || 63255718 markings, 124531205 edges,
lola: 1856 tries, 1855904241 fired transitions, 1275 secs || 63460289 markings, 124935992 edges,
lola: 1863 tries, 1862039999 fired transitions, 1280 secs || 63654379 markings, 125339476 edges,
lola: 1868 tries, 1867922211 fired transitions, 1285 secs || 63852126 markings, 125738688 edges,
lola: 1876 tries, 1875049612 fired transitions, 1290 secs || 64087095 markings, 126194880 edges,
lola: 1886 tries, 1885409412 fired transitions, 1295 secs || 64415924 markings, 126840362 edges,
lola: 1896 tries, 1895757909 fired transitions, 1300 secs || 64744388 markings, 127505053 edges,
lola: 1907 tries, 1906102651 fired transitions, 1305 secs || 65068111 markings, 128162076 edges,
lola: 1917 tries, 1916348229 fired transitions, 1310 secs || 65385165 markings, 128787978 edges,
lola: 1927 tries, 1926589305 fired transitions, 1315 secs || 65695621 markings, 129400485 edges,
lola: 1937 tries, 1936889109 fired transitions, 1320 secs || 66023599 markings, 130049225 edges,
lola: 1948 tries, 1947218155 fired transitions, 1325 secs || 66360483 markings, 130721943 edges,
lola: 1958 tries, 1957534640 fired transitions, 1330 secs || 66695274 markings, 131381870 edges,
lola: 1968 tries, 1967774432 fired transitions, 1335 secs || 67011394 markings, 132009016 edges,
lola: 1979 tries, 1978009731 fired transitions, 1340 secs || 67324285 markings, 132647431 edges,
lola: 1989 tries, 1988404796 fired transitions, 1345 secs || 67668468 markings, 133342049 edges,
lola: 1999 tries, 1998854834 fired transitions, 1350 secs || 68005170 markings, 134020025 edges,
lola: 2010 tries, 2009309873 fired transitions, 1355 secs || 68333654 markings, 134685526 edges,
lola: 2020 tries, 2019770623 fired transitions, 1360 secs || 68671485 markings, 135356949 edges,
lola: 2030 tries, 2029869653 fired transitions, 1365 secs || 69002902 markings, 136028808 edges,
lola: 2037 tries, 2036034418 fired transitions, 1370 secs || 69217929 markings, 136456326 edges,
lola: 2042 tries, 2041937771 fired transitions, 1375 secs || 69413561 markings, 136842757 edges,
lola: 2049 tries, 2048036918 fired transitions, 1380 secs || 69619884 markings, 137260526 edges,
lola: 2055 tries, 2054198541 fired transitions, 1385 secs || 69837600 markings, 137694259 edges,
lola: 2061 tries, 2060248249 fired transitions, 1390 secs || 70047858 markings, 138120315 edges,
lola: 2067 tries, 2066095879 fired transitions, 1395 secs || 70238030 markings, 138500616 edges,
lola: 2073 tries, 2072189730 fired transitions, 1400 secs || 70449987 markings, 138925620 edges,
lola: 2079 tries, 2078309297 fired transitions, 1405 secs || 70671710 markings, 139362877 edges,
lola: 2085 tries, 2084298602 fired transitions, 1410 secs || 70883213 markings, 139779448 edges,
lola: 2091 tries, 2090263177 fired transitions, 1415 secs || 71085572 markings, 140190588 edges,
lola: 2097 tries, 2096526303 fired transitions, 1420 secs || 71305178 markings, 140645150 edges,
lola: 2103 tries, 2102528333 fired transitions, 1425 secs || 71509221 markings, 141060454 edges,
lola: 2109 tries, 2108517302 fired transitions, 1430 secs || 71724847 markings, 141480755 edges,
lola: 2115 tries, 2114516935 fired transitions, 1435 secs || 71946182 markings, 141918469 edges,
lola: 2121 tries, 2120419550 fired transitions, 1440 secs || 72152507 markings, 142322505 edges,
lola: 2127 tries, 2126412668 fired transitions, 1445 secs || 72349577 markings, 142715364 edges,
lola: 2134 tries, 2133532047 fired transitions, 1450 secs || 72585427 markings, 143179931 edges,
lola: 2144 tries, 2143820825 fired transitions, 1455 secs || 72894127 markings, 143813257 edges,
lola: 2155 tries, 2154340764 fired transitions, 1460 secs || 73231339 markings, 144489020 edges,
lola: 2165 tries, 2164635871 fired transitions, 1465 secs || 73554525 markings, 145123167 edges,
lola: 2172 tries, 2171709366 fired transitions, 1470 secs || 73824725 markings, 145616978 edges,
lola: 2179 tries, 2178542439 fired transitions, 1475 secs || 74081780 markings, 146097237 edges,
lola: 2186 tries, 2185495177 fired transitions, 1480 secs || 74344588 markings, 146584233 edges,
lola: 2193 tries, 2192458581 fired transitions, 1485 secs || 74590793 markings, 147057929 edges,
lola: 2200 tries, 2199407742 fired transitions, 1490 secs || 74836660 markings, 147535860 edges,
lola: 2207 tries, 2206175412 fired transitions, 1495 secs || 75088175 markings, 147982435 edges,
lola: 2213 tries, 2212962072 fired transitions, 1500 secs || 75310205 markings, 148422387 edges,
lola: 2220 tries, 2219759644 fired transitions, 1505 secs || 75548448 markings, 148868756 edges,
lola: 2227 tries, 2226772546 fired transitions, 1510 secs || 75799513 markings, 149335113 edges,
lola: 2234 tries, 2233786363 fired transitions, 1515 secs || 76064842 markings, 149838155 edges,
lola: 2241 tries, 2240789151 fired transitions, 1520 secs || 76308875 markings, 150302642 edges,
lola: 2248 tries, 2247858625 fired transitions, 1525 secs || 76558241 markings, 150777372 edges,
lola: 2255 tries, 2254877640 fired transitions, 1530 secs || 76820058 markings, 151266988 edges,
lola: 2262 tries, 2261902559 fired transitions, 1535 secs || 77075894 markings, 151752650 edges,
lola: 2269 tries, 2268894330 fired transitions, 1540 secs || 77342419 markings, 152241019 edges,
lola: 2276 tries, 2275886022 fired transitions, 1545 secs || 77583946 markings, 152715501 edges,
lola: 2287 tries, 2286552464 fired transitions, 1550 secs || 77912644 markings, 153378139 edges,
lola: 2296 tries, 2295886314 fired transitions, 1555 secs || 78223694 markings, 153995498 edges,
lola: 2304 tries, 2303053406 fired transitions, 1560 secs || 78489273 markings, 154495127 edges,
lola: 2311 tries, 2310224514 fired transitions, 1565 secs || 78763768 markings, 155003635 edges,
lola: 2318 tries, 2317235949 fired transitions, 1570 secs || 79025495 markings, 155497518 edges,
lola: 2325 tries, 2324210922 fired transitions, 1575 secs || 79273348 markings, 155977916 edges,
lola: 2332 tries, 2331117162 fired transitions, 1580 secs || 79522569 markings, 156446623 edges,
lola: 2339 tries, 2338084544 fired transitions, 1585 secs || 79767841 markings, 156923706 edges,
lola: 2346 tries, 2345044555 fired transitions, 1590 secs || 80015006 markings, 157403735 edges,
lola: 2352 tries, 2351982885 fired transitions, 1595 secs || 80273989 markings, 157901479 edges,
lola: 2359 tries, 2358950039 fired transitions, 1600 secs || 80512661 markings, 158366582 edges,
lola: 2366 tries, 2365900544 fired transitions, 1605 secs || 80774815 markings, 158853878 edges,
lola: 2373 tries, 2372857699 fired transitions, 1610 secs || 81043659 markings, 159342673 edges,
lola: 2380 tries, 2379786423 fired transitions, 1615 secs || 81301678 markings, 159841348 edges,
lola: 2387 tries, 2386763894 fired transitions, 1620 secs || 81567079 markings, 160319739 edges,
lola: 2394 tries, 2393731688 fired transitions, 1625 secs || 81820054 markings, 160806474 edges,
lola: 2401 tries, 2400717727 fired transitions, 1630 secs || 82060824 markings, 161276433 edges,
lola: 2408 tries, 2407668312 fired transitions, 1635 secs || 82309866 markings, 161757398 edges,
lola: 2415 tries, 2414646044 fired transitions, 1640 secs || 82558457 markings, 162244814 edges,
lola: 2422 tries, 2421623986 fired transitions, 1645 secs || 82816308 markings, 162718559 edges,
lola: 2429 tries, 2428484446 fired transitions, 1650 secs || 83051979 markings, 163172782 edges,
lola: 2436 tries, 2435474022 fired transitions, 1655 secs || 83306249 markings, 163662401 edges,
lola: 2443 tries, 2442418071 fired transitions, 1660 secs || 83561902 markings, 164149973 edges,
lola: 2450 tries, 2449351235 fired transitions, 1665 secs || 83827760 markings, 164638828 edges,
lola: 2457 tries, 2456308572 fired transitions, 1670 secs || 84101296 markings, 165139296 edges,
lola: 2464 tries, 2463279190 fired transitions, 1675 secs || 84349671 markings, 165620139 edges,
lola: 2471 tries, 2470268908 fired transitions, 1680 secs || 84604398 markings, 166121537 edges,
lola: 2478 tries, 2477217152 fired transitions, 1685 secs || 84846420 markings, 166603816 edges,
lola: 2485 tries, 2484160814 fired transitions, 1690 secs || 85095375 markings, 167074084 edges,
lola: 2492 tries, 2491087573 fired transitions, 1695 secs || 85343368 markings, 167538429 edges,
lola: 2499 tries, 2498070785 fired transitions, 1700 secs || 85594497 markings, 168018036 edges,
lola: 2506 tries, 2505030479 fired transitions, 1705 secs || 85841167 markings, 168492975 edges,
lola: 2513 tries, 2512012772 fired transitions, 1710 secs || 86104542 markings, 168993612 edges,
lola: 2519 tries, 2518881474 fired transitions, 1715 secs || 86335066 markings, 169448606 edges,
lola: 2526 tries, 2525795627 fired transitions, 1720 secs || 86577424 markings, 169925903 edges,
lola: 2533 tries, 2532739793 fired transitions, 1725 secs || 86827872 markings, 170401977 edges,
lola: 2540 tries, 2539658021 fired transitions, 1730 secs || 87086096 markings, 170903306 edges,
lola: 2547 tries, 2546603480 fired transitions, 1735 secs || 87341535 markings, 171396161 edges,
lola: 2554 tries, 2553533163 fired transitions, 1740 secs || 87582346 markings, 171874444 edges,
lola: 2561 tries, 2560495781 fired transitions, 1745 secs || 87836708 markings, 172357315 edges,
lola: 2568 tries, 2567457442 fired transitions, 1750 secs || 88075559 markings, 172822702 edges,
lola: 2575 tries, 2574537122 fired transitions, 1755 secs || 88330329 markings, 173291727 edges,
lola: 2582 tries, 2581527719 fired transitions, 1760 secs || 88570426 markings, 173749061 edges,
lola: 2589 tries, 2588509252 fired transitions, 1765 secs || 88818017 markings, 174243994 edges,
lola: 2596 tries, 2595450787 fired transitions, 1770 secs || 89061487 markings, 174712984 edges,
lola: 2603 tries, 2602404654 fired transitions, 1775 secs || 89305254 markings, 175181368 edges,
lola: 2610 tries, 2609368666 fired transitions, 1780 secs || 89553279 markings, 175645125 edges,
lola: 2617 tries, 2616338040 fired transitions, 1785 secs || 89789819 markings, 176108099 edges,
lola: 2624 tries, 2623352571 fired transitions, 1790 secs || 90032770 markings, 176582486 edges,
lola: 2631 tries, 2630323429 fired transitions, 1795 secs || 90287142 markings, 177064766 edges,
lola: 2638 tries, 2637385355 fired transitions, 1800 secs || 90541103 markings, 177559171 edges,
lola: 2645 tries, 2644340243 fired transitions, 1805 secs || 90785142 markings, 178025356 edges,
lola: 2652 tries, 2651303646 fired transitions, 1810 secs || 91040115 markings, 178529262 edges,
lola: 2659 tries, 2658200924 fired transitions, 1815 secs || 91279749 markings, 179000311 edges,
lola: 2666 tries, 2665125136 fired transitions, 1820 secs || 91520490 markings, 179463984 edges,
lola: 2672 tries, 2671995098 fired transitions, 1825 secs || 91769680 markings, 179942430 edges,
lola: 2679 tries, 2678971826 fired transitions, 1830 secs || 92028484 markings, 180413646 edges,
lola: 2686 tries, 2685902003 fired transitions, 1835 secs || 92294983 markings, 180894368 edges,
lola: 2693 tries, 2692816745 fired transitions, 1840 secs || 92529487 markings, 181339699 edges,
lola: 2700 tries, 2699742417 fired transitions, 1845 secs || 92760738 markings, 181781235 edges,
lola: 2707 tries, 2706669795 fired transitions, 1850 secs || 93005360 markings, 182254860 edges,
lola: 2714 tries, 2713581499 fired transitions, 1855 secs || 93254956 markings, 182710808 edges,
lola: 2721 tries, 2720475728 fired transitions, 1860 secs || 93499819 markings, 183179602 edges,
lola: 2728 tries, 2727538988 fired transitions, 1865 secs || 93742377 markings, 183663098 edges,
lola: 2735 tries, 2734256329 fired transitions, 1870 secs || 93978794 markings, 184115941 edges,
lola: 2742 tries, 2741355402 fired transitions, 1875 secs || 94227956 markings, 184588380 edges,
lola: 2749 tries, 2748326167 fired transitions, 1880 secs || 94464379 markings, 185040864 edges,
lola: 2756 tries, 2755276177 fired transitions, 1885 secs || 94732127 markings, 185540126 edges,
lola: 2763 tries, 2762223117 fired transitions, 1890 secs || 94990033 markings, 186018605 edges,
lola: 2770 tries, 2769146788 fired transitions, 1895 secs || 95234382 markings, 186488288 edges,
lola: 2777 tries, 2776014662 fired transitions, 1900 secs || 95490659 markings, 186986271 edges,
lola: 2783 tries, 2782806853 fired transitions, 1905 secs || 95736560 markings, 187455652 edges,
lola: 2790 tries, 2789725727 fired transitions, 1910 secs || 95990272 markings, 187931776 edges,
lola: 2797 tries, 2796659545 fired transitions, 1915 secs || 96242813 markings, 188407679 edges,
lola: 2804 tries, 2803607289 fired transitions, 1920 secs || 96490782 markings, 188879326 edges,
lola: 2811 tries, 2810502607 fired transitions, 1925 secs || 96731785 markings, 189326594 edges,
lola: 2818 tries, 2817447107 fired transitions, 1930 secs || 96974900 markings, 189798816 edges,
lola: 2825 tries, 2824340175 fired transitions, 1935 secs || 97237977 markings, 190270752 edges,
lola: 2832 tries, 2831090238 fired transitions, 1940 secs || 97460624 markings, 190721497 edges,
lola: 2838 tries, 2837830814 fired transitions, 1945 secs || 97696235 markings, 191177328 edges,
lola: 2845 tries, 2844600669 fired transitions, 1950 secs || 97940996 markings, 191643377 edges,
lola: 2855 tries, 2854928192 fired transitions, 1955 secs || 98257386 markings, 192265337 edges,
lola: 2862 tries, 2861035179 fired transitions, 1960 secs || 98462215 markings, 192691415 edges,
lola: 2868 tries, 2867140579 fired transitions, 1965 secs || 98678942 markings, 193126512 edges,
lola: 2874 tries, 2873003426 fired transitions, 1970 secs || 98868961 markings, 193507834 edges,
lola: 2879 tries, 2878821634 fired transitions, 1975 secs || 99072207 markings, 193902617 edges,
lola: 2885 tries, 2884654335 fired transitions, 1980 secs || 99271755 markings, 194299190 edges,
lola: 2891 tries, 2890371659 fired transitions, 1985 secs || 99466633 markings, 194678146 edges,
lola: 2901 tries, 2900116660 fired transitions, 1990 secs || 99770828 markings, 195281870 edges,
lola: 2911 tries, 2910501010 fired transitions, 1995 secs || 100096678 markings, 195917971 edges,
lola: 2922 tries, 2921200731 fired transitions, 2000 secs || 100432313 markings, 196596931 edges,
lola: 2933 tries, 2932035656 fired transitions, 2005 secs || 100765417 markings, 197284000 edges,
lola: 2943 tries, 2942715555 fired transitions, 2010 secs || 101083000 markings, 197933041 edges,
lola: 2954 tries, 2953249884 fired transitions, 2015 secs || 101423206 markings, 198600359 edges,
lola: 2964 tries, 2963892690 fired transitions, 2020 secs || 101757930 markings, 199275973 edges,
lola: 2975 tries, 2974439332 fired transitions, 2025 secs || 102106266 markings, 199949737 edges,
lola: 2985 tries, 2984852254 fired transitions, 2030 secs || 102429161 markings, 200611383 edges,
lola: 2996 tries, 2995272817 fired transitions, 2035 secs || 102773295 markings, 201291610 edges,
lola: 3007 tries, 3006010423 fired transitions, 2040 secs || 103102673 markings, 201960937 edges,
lola: 3013 tries, 3012653335 fired transitions, 2045 secs || 103331807 markings, 202417588 edges,
lola: 3022 tries, 3021672777 fired transitions, 2050 secs || 103613034 markings, 202991237 edges,
lola: 3033 tries, 3032136087 fired transitions, 2055 secs || 103929585 markings, 203615680 edges,
lola: 3043 tries, 3042975964 fired transitions, 2060 secs || 104269407 markings, 204306800 edges,
lola: 3054 tries, 3053940501 fired transitions, 2065 secs || 104626441 markings, 205003400 edges,
lola: 3065 tries, 3064688314 fired transitions, 2070 secs || 104947736 markings, 205644527 edges,
lola: 3076 tries, 3075579775 fired transitions, 2075 secs || 105270630 markings, 206297731 edges,
lola: 3087 tries, 3086468237 fired transitions, 2080 secs || 105619535 markings, 206986034 edges,
lola: 3098 tries, 3097332680 fired transitions, 2085 secs || 105965317 markings, 207675280 edges,
lola: 3109 tries, 3108131859 fired transitions, 2090 secs || 106283066 markings, 208326369 edges,
lola: 3119 tries, 3118801641 fired transitions, 2095 secs || 106612551 markings, 208965054 edges,
lola: 3130 tries, 3129546190 fired transitions, 2100 secs || 106953056 markings, 209645796 edges,
lola: 3141 tries, 3140255670 fired transitions, 2105 secs || 107278125 markings, 210306969 edges,
lola: 3151 tries, 3150956093 fired transitions, 2110 secs || 107612861 markings, 210989802 edges,
lola: 3162 tries, 3161585442 fired transitions, 2115 secs || 107948469 markings, 211660471 edges,
lola: 3173 tries, 3172470659 fired transitions, 2120 secs || 108294084 markings, 212369359 edges,
lola: 3184 tries, 3183378934 fired transitions, 2125 secs || 108624291 markings, 213025818 edges,
lola: 3195 tries, 3194279441 fired transitions, 2130 secs || 108949047 markings, 213675563 edges,
lola: 3206 tries, 3205301845 fired transitions, 2135 secs || 109301776 markings, 214379764 edges,
lola: 3217 tries, 3216431048 fired transitions, 2140 secs || 109651349 markings, 215085581 edges,
lola: 3225 tries, 3224432414 fired transitions, 2145 secs || 109903070 markings, 215598524 edges,
lola: 3232 tries, 3231718598 fired transitions, 2150 secs || 110153716 markings, 216111468 edges,
lola: 3238 tries, 3237302134 fired transitions, 2155 secs || 110359510 markings, 216524686 edges,
lola: 3244 tries, 3243344886 fired transitions, 2160 secs || 110585964 markings, 216999724 edges,
lola: 3249 tries, 3248902507 fired transitions, 2165 secs || 110783853 markings, 217383164 edges,
lola: 3256 tries, 3255018837 fired transitions, 2170 secs || 111000791 markings, 217836171 edges,
lola: 3261 tries, 3260760114 fired transitions, 2175 secs || 111203052 markings, 218231054 edges,
lola: 3267 tries, 3266479633 fired transitions, 2180 secs || 111398241 markings, 218622158 edges,
lola: 3273 tries, 3272305809 fired transitions, 2185 secs || 111608450 markings, 219043198 edges,
lola: 3279 tries, 3278472583 fired transitions, 2190 secs || 111832333 markings, 219500774 edges,
lola: 3285 tries, 3284041194 fired transitions, 2195 secs || 112015112 markings, 219862559 edges,
lola: 3290 tries, 3289937514 fired transitions, 2200 secs || 112222371 markings, 220278032 edges,
lola: 3296 tries, 3295872135 fired transitions, 2205 secs || 112432722 markings, 220698883 edges,
lola: 3302 tries, 3301711502 fired transitions, 2210 secs || 112630909 markings, 221100814 edges,
lola: 3308 tries, 3307677703 fired transitions, 2215 secs || 112840001 markings, 221529882 edges,
lola: 3314 tries, 3313687140 fired transitions, 2220 secs || 113061170 markings, 221971361 edges,
lola: 3320 tries, 3319722954 fired transitions, 2225 secs || 113276435 markings, 222393958 edges,
lola: 3327 tries, 3326325604 fired transitions, 2230 secs || 113498964 markings, 222828860 edges,
lola: 3333 tries, 3332953873 fired transitions, 2235 secs || 113731984 markings, 223259283 edges,
lola: 3340 tries, 3339615499 fired transitions, 2240 secs || 113968970 markings, 223706550 edges,
lola: 3347 tries, 3346203764 fired transitions, 2245 secs || 114219618 markings, 224175750 edges,
lola: 3353 tries, 3352822289 fired transitions, 2250 secs || 114461203 markings, 224637472 edges,
lola: 3360 tries, 3359403935 fired transitions, 2255 secs || 114702510 markings, 225094575 edges,
lola: 3366 tries, 3365977630 fired transitions, 2260 secs || 114936778 markings, 225537221 edges,
lola: 3373 tries, 3372617914 fired transitions, 2265 secs || 115171813 markings, 225982663 edges,
lola: 3380 tries, 3379252363 fired transitions, 2270 secs || 115399213 markings, 226416853 edges,
lola: 3386 tries, 3385862116 fired transitions, 2275 secs || 115640693 markings, 226857335 edges,
lola: 3393 tries, 3392511652 fired transitions, 2280 secs || 115884569 markings, 227311334 edges,
lola: 3400 tries, 3399100328 fired transitions, 2285 secs || 116122215 markings, 227767031 edges,
lola: 3409 tries, 3408471791 fired transitions, 2290 secs || 116418386 markings, 228348286 edges,
lola: 3420 tries, 3419399808 fired transitions, 2295 secs || 116740651 markings, 229003853 edges,
lola: 3431 tries, 3430092256 fired transitions, 2300 secs || 117069112 markings, 229658513 edges,
lola: 3441 tries, 3440736142 fired transitions, 2305 secs || 117407844 markings, 230331624 edges,
lola: 3452 tries, 3451105058 fired transitions, 2310 secs || 117744344 markings, 231000467 edges,
lola: 3462 tries, 3461502028 fired transitions, 2315 secs || 118071461 markings, 231646359 edges,
lola: 3472 tries, 3471491947 fired transitions, 2320 secs || 118401972 markings, 232307879 edges,
lola: 3482 tries, 3481760761 fired transitions, 2325 secs || 118722829 markings, 232970414 edges,
lola: 3493 tries, 3492082342 fired transitions, 2330 secs || 119031855 markings, 233589834 edges,
lola: 3503 tries, 3502671231 fired transitions, 2335 secs || 119354345 markings, 234244640 edges,
lola: 3514 tries, 3513308462 fired transitions, 2340 secs || 119694292 markings, 234927299 edges,
lola: 3524 tries, 3523873277 fired transitions, 2345 secs || 120019946 markings, 235557090 edges,
lola: 3535 tries, 3534367377 fired transitions, 2350 secs || 120348751 markings, 236202541 edges,
lola: 3546 tries, 3545234578 fired transitions, 2355 secs || 120693065 markings, 236878119 edges,
lola: 3556 tries, 3555817607 fired transitions, 2360 secs || 121031890 markings, 237530435 edges,
lola: 3567 tries, 3566649436 fired transitions, 2365 secs || 121343352 markings, 238165646 edges,
lola: 3578 tries, 3577354836 fired transitions, 2370 secs || 121653717 markings, 238792340 edges,
lola: 3589 tries, 3588342075 fired transitions, 2375 secs || 121975836 markings, 239431760 edges,
lola: 3600 tries, 3599137387 fired transitions, 2380 secs || 122296698 markings, 240069332 edges,
lola: 3610 tries, 3609555654 fired transitions, 2385 secs || 122632160 markings, 240725021 edges,
lola: 3621 tries, 3620165154 fired transitions, 2390 secs || 122950310 markings, 241368514 edges,
lola: 3631 tries, 3630987346 fired transitions, 2395 secs || 123297368 markings, 242057972 edges,
lola: 3642 tries, 3641737091 fired transitions, 2400 secs || 123623279 markings, 242712678 edges,
lola: 3653 tries, 3652481007 fired transitions, 2405 secs || 123961103 markings, 243389042 edges,
lola: 3664 tries, 3663253809 fired transitions, 2410 secs || 124291098 markings, 244056911 edges,
lola: 3675 tries, 3674182740 fired transitions, 2415 secs || 124628645 markings, 244741716 edges,
lola: 3686 tries, 3685221175 fired transitions, 2420 secs || 124966273 markings, 245430871 edges,
lola: 3696 tries, 3695909863 fired transitions, 2425 secs || 125279213 markings, 246057993 edges,
lola: 3707 tries, 3706648729 fired transitions, 2430 secs || 125611252 markings, 246728329 edges,
lola: 3718 tries, 3717239158 fired transitions, 2435 secs || 125932487 markings, 247358984 edges,
lola: 3728 tries, 3727776434 fired transitions, 2440 secs || 126256882 markings, 248017106 edges,
lola: 3739 tries, 3738436373 fired transitions, 2445 secs || 126563718 markings, 248637713 edges,
lola: 3749 tries, 3748932930 fired transitions, 2450 secs || 126906563 markings, 249324760 edges,
lola: 3760 tries, 3759380559 fired transitions, 2455 secs || 127230549 markings, 249969502 edges,
lola: 3770 tries, 3769816619 fired transitions, 2460 secs || 127530805 markings, 250576734 edges,
lola: 3781 tries, 3780343929 fired transitions, 2465 secs || 127851073 markings, 251213384 edges,
lola: 3792 tries, 3791108952 fired transitions, 2470 secs || 128178243 markings, 251856073 edges,
lola: 3802 tries, 3801636575 fired transitions, 2475 secs || 128489356 markings, 252474310 edges,
lola: 3813 tries, 3812545210 fired transitions, 2480 secs || 128842163 markings, 253170579 edges,
lola: 3824 tries, 3823269751 fired transitions, 2485 secs || 129166699 markings, 253806524 edges,
lola: 3835 tries, 3834111743 fired transitions, 2490 secs || 129506668 markings, 254494363 edges,
lola: 3845 tries, 3844834145 fired transitions, 2495 secs || 129841973 markings, 255163735 edges,
lola: 3856 tries, 3855537056 fired transitions, 2500 secs || 130164196 markings, 255809683 edges,
lola: 3867 tries, 3866171558 fired transitions, 2505 secs || 130502453 markings, 256481970 edges,
lola: 3878 tries, 3877076013 fired transitions, 2510 secs || 130851433 markings, 257174150 edges,
lola: 3888 tries, 3887967439 fired transitions, 2515 secs || 131165046 markings, 257816079 edges,
lola: 3899 tries, 3898813089 fired transitions, 2520 secs || 131514728 markings, 258530197 edges,
lola: 3910 tries, 3909339960 fired transitions, 2525 secs || 131831955 markings, 259174209 edges,
lola: 3920 tries, 3919937934 fired transitions, 2530 secs || 132163718 markings, 259836329 edges,
lola: 3931 tries, 3930597939 fired transitions, 2535 secs || 132481683 markings, 260471224 edges,
lola: 3942 tries, 3941345223 fired transitions, 2540 secs || 132810213 markings, 261122442 edges,
lola: 3953 tries, 3952243416 fired transitions, 2545 secs || 133153203 markings, 261817016 edges,
lola: 3964 tries, 3963174810 fired transitions, 2550 secs || 133494057 markings, 262498744 edges,
lola: 3975 tries, 3974152339 fired transitions, 2555 secs || 133825206 markings, 263169875 edges,
lola: 3985 tries, 3984883331 fired transitions, 2560 secs || 134156868 markings, 263813684 edges,
lola: 3996 tries, 3995585522 fired transitions, 2565 secs || 134480987 markings, 264449830 edges,
lola: 4007 tries, 4006365235 fired transitions, 2570 secs || 134811555 markings, 265102382 edges,
lola: 4018 tries, 4017175836 fired transitions, 2575 secs || 135144734 markings, 265777748 edges,
lola: 4029 tries, 4028086905 fired transitions, 2580 secs || 135491727 markings, 266477310 edges,
lola: 4039 tries, 4038875838 fired transitions, 2585 secs || 135808871 markings, 267105833 edges,
lola: 4049 tries, 4048998657 fired transitions, 2590 secs || 136113205 markings, 267721839 edges,
lola: 4060 tries, 4059184263 fired transitions, 2595 secs || 136423573 markings, 268346069 edges,
lola: 4070 tries, 4069208357 fired transitions, 2600 secs || 136735003 markings, 268967515 edges,
lola: 4080 tries, 4079619810 fired transitions, 2605 secs || 137036733 markings, 269578084 edges,
lola: 4091 tries, 4090197198 fired transitions, 2610 secs || 137363527 markings, 270219923 edges,
lola: 4101 tries, 4100643122 fired transitions, 2615 secs || 137670580 markings, 270825445 edges,
lola: 4111 tries, 4110865416 fired transitions, 2620 secs || 137991352 markings, 271466365 edges,
lola: 4122 tries, 4121150825 fired transitions, 2625 secs || 138315806 markings, 272124059 edges,
lola: 4132 tries, 4131532878 fired transitions, 2630 secs || 138644333 markings, 272760600 edges,
lola: 4142 tries, 4141836174 fired transitions, 2635 secs || 138960106 markings, 273394293 edges,
lola: 4153 tries, 4152184520 fired transitions, 2640 secs || 139287728 markings, 274033700 edges,
lola: 4163 tries, 4162795324 fired transitions, 2645 secs || 139596729 markings, 274646070 edges,
lola: 4174 tries, 4173603629 fired transitions, 2650 secs || 139928986 markings, 275309383 edges,
lola: 4185 tries, 4184448628 fired transitions, 2655 secs || 140278688 markings, 276016156 edges,
lola: 4196 tries, 4195123005 fired transitions, 2660 secs || 140588382 markings, 276624333 edges,
lola: 4206 tries, 4205931224 fired transitions, 2665 secs || 140927463 markings, 277317565 edges,
lola: 4217 tries, 4216602996 fired transitions, 2670 secs || 141263071 markings, 277988476 edges,
lola: 4228 tries, 4227279513 fired transitions, 2675 secs || 141605189 markings, 278657916 edges,
lola: 4238 tries, 4237988458 fired transitions, 2680 secs || 141922088 markings, 279296554 edges,
lola: 4249 tries, 4248918776 fired transitions, 2685 secs || 142252805 markings, 279963469 edges,
lola: 4260 tries, 4259625139 fired transitions, 2690 secs || 142586153 markings, 280627824 edges,
lola: 4271 tries, 4270431009 fired transitions, 2695 secs || 142927075 markings, 281322008 edges,
lola: 4282 tries, 4281431491 fired transitions, 2700 secs || 143274810 markings, 282028367 edges,
lola: 4292 tries, 4291716783 fired transitions, 2705 secs || 143625846 markings, 282731393 edges,
lola: 4303 tries, 4302029577 fired transitions, 2710 secs || 143977392 markings, 283418871 edges,
lola: 4313 tries, 4312805903 fired transitions, 2715 secs || 144332033 markings, 284105702 edges,
lola: 4324 tries, 4323115966 fired transitions, 2720 secs || 144682229 markings, 284798257 edges,
lola: 4335 tries, 4334088954 fired transitions, 2725 secs || 145026448 markings, 285477096 edges,
lola: 4345 tries, 4344911049 fired transitions, 2730 secs || 145362725 markings, 286164196 edges,
lola: 4356 tries, 4355477184 fired transitions, 2735 secs || 145672034 markings, 286790204 edges,
lola: 4366 tries, 4365832156 fired transitions, 2740 secs || 145987429 markings, 287418528 edges,
lola: 4377 tries, 4376890407 fired transitions, 2745 secs || 146328669 markings, 288114025 edges,
lola: 4388 tries, 4387345722 fired transitions, 2750 secs || 146660728 markings, 288753981 edges,
lola: 4398 tries, 4397782335 fired transitions, 2755 secs || 146976591 markings, 289386024 edges,
lola: 4408 tries, 4407930828 fired transitions, 2760 secs || 147287453 markings, 290016495 edges,
lola: 4419 tries, 4418366832 fired transitions, 2765 secs || 147615765 markings, 290659250 edges,
lola: 4429 tries, 4428612897 fired transitions, 2770 secs || 147927941 markings, 291285260 edges,
lola: 4439 tries, 4438911980 fired transitions, 2775 secs || 148236021 markings, 291909722 edges,
lola: 4450 tries, 4449258361 fired transitions, 2780 secs || 148545376 markings, 292540431 edges,
lola: 4460 tries, 4459606763 fired transitions, 2785 secs || 148866357 markings, 293182689 edges,
lola: 4471 tries, 4470034074 fired transitions, 2790 secs || 149200689 markings, 293839975 edges,
lola: 4481 tries, 4480833330 fired transitions, 2795 secs || 149529594 markings, 294507896 edges,
lola: 4492 tries, 4491386989 fired transitions, 2800 secs || 149867395 markings, 295198263 edges,
lola: 4502 tries, 4501380753 fired transitions, 2805 secs || 150204857 markings, 295890427 edges,
lola: 4512 tries, 4511624553 fired transitions, 2810 secs || 150549313 markings, 296578374 edges,
lola: 4522 tries, 4521546300 fired transitions, 2815 secs || 150893491 markings, 297264198 edges,
lola: 4532 tries, 4531870622 fired transitions, 2820 secs || 151226903 markings, 297910621 edges,
lola: 4543 tries, 4542212985 fired transitions, 2825 secs || 151566902 markings, 298597306 edges,
lola: 4553 tries, 4552034959 fired transitions, 2830 secs || 151885017 markings, 299234520 edges,
lola: 4563 tries, 4562234199 fired transitions, 2835 secs || 152232233 markings, 299911620 edges,
lola: 4573 tries, 4572706127 fired transitions, 2840 secs || 152554722 markings, 300554672 edges,
lola: 4584 tries, 4583471844 fired transitions, 2845 secs || 152862872 markings, 301173122 edges,
lola: 4595 tries, 4594195116 fired transitions, 2850 secs || 153185054 markings, 301818842 edges,
lola: 4605 tries, 4604851007 fired transitions, 2855 secs || 153500183 markings, 302454153 edges,
lola: 4616 tries, 4615691786 fired transitions, 2860 secs || 153823000 markings, 303094559 edges,
lola: 4627 tries, 4626585012 fired transitions, 2865 secs || 154162787 markings, 303771221 edges,
lola: 4637 tries, 4636923620 fired transitions, 2870 secs || 154485949 markings, 304423386 edges,
lola: 4648 tries, 4647623758 fired transitions, 2875 secs || 154802963 markings, 305050625 edges,
lola: 4659 tries, 4658279202 fired transitions, 2880 secs || 155155376 markings, 305746726 edges,
lola: 4669 tries, 4668695807 fired transitions, 2885 secs || 155466947 markings, 306366621 edges,
lola: 4680 tries, 4679223203 fired transitions, 2890 secs || 155788751 markings, 307012734 edges,
lola: 4690 tries, 4689999161 fired transitions, 2895 secs || 156120682 markings, 307671363 edges,
lola: 4701 tries, 4700800211 fired transitions, 2900 secs || 156451258 markings, 308338552 edges,
lola: 4712 tries, 4711687733 fired transitions, 2905 secs || 156769548 markings, 308953774 edges,
lola: 4723 tries, 4722424838 fired transitions, 2910 secs || 157110481 markings, 309627145 edges,
lola: 4734 tries, 4733249417 fired transitions, 2915 secs || 157452319 markings, 310302145 edges,
lola: 4744 tries, 4743799119 fired transitions, 2920 secs || 157785939 markings, 310950655 edges,
lola: 4755 tries, 4754249535 fired transitions, 2925 secs || 158101792 markings, 311588827 edges,
lola: 4765 tries, 4764737969 fired transitions, 2930 secs || 158421064 markings, 312218512 edges,
lola: 4776 tries, 4775426915 fired transitions, 2935 secs || 158751152 markings, 312868800 edges,
lola: 4787 tries, 4786291636 fired transitions, 2940 secs || 159083243 markings, 313530202 edges,
lola: 4797 tries, 4796640841 fired transitions, 2945 secs || 159422439 markings, 314212193 edges,
lola: 4807 tries, 4806772867 fired transitions, 2950 secs || 159764137 markings, 314892418 edges,
lola: 4818 tries, 4817516436 fired transitions, 2955 secs || 160141709 markings, 315631985 edges,
lola: 4828 tries, 4827830160 fired transitions, 2960 secs || 160490713 markings, 316308625 edges,
lola: 4839 tries, 4838273515 fired transitions, 2965 secs || 160834608 markings, 316999737 edges,
lola: 4849 tries, 4848898175 fired transitions, 2970 secs || 161178442 markings, 317680646 edges,
lola: 4860 tries, 4859667759 fired transitions, 2975 secs || 161530345 markings, 318405085 edges,
lola: 4871 tries, 4870532511 fired transitions, 2980 secs || 161876208 markings, 319108763 edges,
lola: 4882 tries, 4881576089 fired transitions, 2985 secs || 162238846 markings, 319845673 edges,
lola: 4893 tries, 4892326853 fired transitions, 2990 secs || 162565524 markings, 320515358 edges,
lola: 4903 tries, 4902955010 fired transitions, 2995 secs || 162897790 markings, 321178710 edges,
lola: 4914 tries, 4913890971 fired transitions, 3000 secs || 163207851 markings, 321789360 edges,
lola: 4925 tries, 4924874322 fired transitions, 3005 secs || 163537408 markings, 322442740 edges,
lola: 4936 tries, 4935773731 fired transitions, 3010 secs || 163868702 markings, 323098979 edges,
lola: 4947 tries, 4946591451 fired transitions, 3015 secs || 164216361 markings, 323757007 edges,
lola: 4958 tries, 4957474902 fired transitions, 3020 secs || 164533435 markings, 324398284 edges,
lola: 4969 tries, 4968011422 fired transitions, 3025 secs || 164892670 markings, 325115149 edges,
lola: 4979 tries, 4978655168 fired transitions, 3030 secs || 165239438 markings, 325815656 edges,
lola: 4990 tries, 4989537452 fired transitions, 3035 secs || 165590230 markings, 326524800 edges,
lola: 5001 tries, 5000312640 fired transitions, 3040 secs || 165927585 markings, 327212121 edges,
lola: 5012 tries, 5011169696 fired transitions, 3045 secs || 166258278 markings, 327865323 edges,
lola: 5023 tries, 5022491539 fired transitions, 3050 secs || 166620431 markings, 328600293 edges,
lola: 5034 tries, 5033492347 fired transitions, 3055 secs || 166943791 markings, 329244734 edges,
lola: 5045 tries, 5044366065 fired transitions, 3060 secs || 167266288 markings, 329892238 edges,
lola: 5056 tries, 5055582746 fired transitions, 3065 secs || 167624714 markings, 330627578 edges,
lola: 5067 tries, 5066610889 fired transitions, 3070 secs || 167952855 markings, 331291523 edges,
lola: 5078 tries, 5077734116 fired transitions, 3075 secs || 168278986 markings, 331943690 edges,
lola: 5089 tries, 5088736496 fired transitions, 3080 secs || 168613284 markings, 332611438 edges,
lola: 5100 tries, 5099595430 fired transitions, 3085 secs || 168923961 markings, 333227746 edges,
lola: 5111 tries, 5110513567 fired transitions, 3090 secs || 169269912 markings, 333917076 edges,
lola: 5122 tries, 5121517865 fired transitions, 3095 secs || 169623655 markings, 334627681 edges,
lola: 5133 tries, 5132617748 fired transitions, 3100 secs || 169951975 markings, 335286848 edges,
lola: 5144 tries, 5143642290 fired transitions, 3105 secs || 170287282 markings, 335960048 edges,
lola: 5155 tries, 5154476007 fired transitions, 3110 secs || 170632402 markings, 336668712 edges,
lola: 5166 tries, 5165350215 fired transitions, 3115 secs || 170958065 markings, 337319999 edges,
lola: 5176 tries, 5175837226 fired transitions, 3120 secs || 171318208 markings, 338022498 edges,
lola: 5187 tries, 5186436297 fired transitions, 3125 secs || 171653091 markings, 338709236 edges,
lola: 5197 tries, 5196928723 fired transitions, 3130 secs || 172001233 markings, 339396256 edges,
lola: 5208 tries, 5207901316 fired transitions, 3135 secs || 172349084 markings, 340089281 edges,
lola: 5220 tries, 5219036346 fired transitions, 3140 secs || 172674274 markings, 340735821 edges,
lola: 5231 tries, 5230208464 fired transitions, 3145 secs || 173019877 markings, 341442868 edges,
lola: 5241 tries, 5240739433 fired transitions, 3150 secs || 173365858 markings, 342128078 edges,
lola: 5252 tries, 5251687994 fired transitions, 3155 secs || 173717249 markings, 342822636 edges,
lola: 5263 tries, 5262674738 fired transitions, 3160 secs || 174062402 markings, 343507033 edges,
lola: 5275 tries, 5274013906 fired transitions, 3165 secs || 174396884 markings, 344171498 edges,
lola: 5286 tries, 5285191314 fired transitions, 3170 secs || 174743256 markings, 344863306 edges,
lola: 5297 tries, 5296393807 fired transitions, 3175 secs || 175076468 markings, 345528687 edges,
lola: 5308 tries, 5307397756 fired transitions, 3180 secs || 175424824 markings, 346234686 edges,
lola: 5319 tries, 5318247468 fired transitions, 3185 secs || 175744190 markings, 346883852 edges,
lola: 5330 tries, 5329306971 fired transitions, 3190 secs || 176100226 markings, 347595868 edges,
lola: 5340 tries, 5339867550 fired transitions, 3195 secs || 176443990 markings, 348282111 edges,
lola: 5351 tries, 5350479180 fired transitions, 3200 secs || 176798001 markings, 349010741 edges,
lola: 5362 tries, 5361637790 fired transitions, 3205 secs || 177145693 markings, 349694585 edges,
lola: 5373 tries, 5372768537 fired transitions, 3210 secs || 177473127 markings, 350360806 edges,
lola: 5384 tries, 5383578759 fired transitions, 3215 secs || 177831831 markings, 351088814 edges,
lola: 5395 tries, 5394528892 fired transitions, 3220 secs || 178173353 markings, 351740912 edges,
lola: 5406 tries, 5405691953 fired transitions, 3225 secs || 178522947 markings, 352452242 edges,
lola: 5417 tries, 5416748796 fired transitions, 3230 secs || 178845486 markings, 353091712 edges,
lola: 5428 tries, 5427689067 fired transitions, 3235 secs || 179182087 markings, 353757561 edges,
lola: 5439 tries, 5438565747 fired transitions, 3240 secs || 179515375 markings, 354419651 edges,
lola: 5450 tries, 5449657420 fired transitions, 3245 secs || 179856788 markings, 355091602 edges,
lola: 5461 tries, 5460443773 fired transitions, 3250 secs || 180189824 markings, 355752546 edges,
lola: 5472 tries, 5471190848 fired transitions, 3255 secs || 180522913 markings, 356414819 edges,
lola: 5482 tries, 5481548834 fired transitions, 3260 secs || 180863169 markings, 357074340 edges,
lola: 5493 tries, 5492037130 fired transitions, 3265 secs || 181199988 markings, 357752326 edges,
lola: 5504 tries, 5503050741 fired transitions, 3270 secs || 181538612 markings, 358427468 edges,
lola: 5515 tries, 5514100968 fired transitions, 3275 secs || 181865298 markings, 359079854 edges,
lola: 5525 tries, 5524921928 fired transitions, 3280 secs || 182191574 markings, 359716776 edges,
lola: 5536 tries, 5535584193 fired transitions, 3285 secs || 182523070 markings, 360396883 edges,
lola: 5547 tries, 5546268631 fired transitions, 3290 secs || 182867313 markings, 361091827 edges,
lola: 5558 tries, 5557045054 fired transitions, 3295 secs || 183180585 markings, 361727488 edges,
lola: 5569 tries, 5568159697 fired transitions, 3300 secs || 183509636 markings, 362388665 edges,
lola: 5580 tries, 5579174009 fired transitions, 3305 secs || 183841140 markings, 363052768 edges,
lola: 5588 tries, 5587671116 fired transitions, 3310 secs || 184115098 markings, 363569574 edges,
lola: 5596 tries, 5595006115 fired transitions, 3315 secs || 184365059 markings, 364057999 edges,
lola: 5605 tries, 5604243471 fired transitions, 3320 secs || 184529619 markings, 364372166 edges,
lola: 5617 tries, 5616013000 fired transitions, 3325 secs || 184706438 markings, 364718758 edges,
lola: 5627 tries, 5626698025 fired transitions, 3330 secs || 184871699 markings, 365044456 edges,
lola: 5634 tries, 5633571235 fired transitions, 3335 secs || 184966103 markings, 365225115 edges,
lola: 5641 tries, 5640120949 fired transitions, 3340 secs || 185022283 markings, 365343133 edges,
lola: 5648 tries, 5647583508 fired transitions, 3345 secs || 185045370 markings, 365390920 edges,
Killed
rslt: finished

BK_STOP 1554535819954

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 37174 markings/sec, 0 secs 38141 markings/sec, 5 secs 39037 markings/sec, 10 secs 38124 markings/sec, 15 secs 43070 markings/sec, 20 secs 54853 markings/sec, 25 secs 46757 markings/sec, 30 secs 38316 markings/sec, 35 secs 36197 markings/sec, 40 secs 34138 markings/sec, 45 secs 36145 markings/sec, 50 secs 54183 markings/sec, 55 secs 65619 markings/sec, 60 secs 63484 markings/sec, 65 secs 43526 markings/sec, 70 secs 37627 markings/sec, 75 secs 43437 markings/sec, 80 secs 45384 markings/sec, 85 secs 65241 markings/sec, 90 secs 61894 markings/sec, 95 secs 66877 markings/sec, 100 secs 63790 markings/sec, 105 secs 65710 markings/sec, 110 secs 68251 markings/sec, 115 secs 63820 markings/sec, 120 secs 66046 markings/sec, 125 secs 65435 markings/sec, 130 secs 68632 markings/sec, 135 secs 70823 markings/sec, 140 secs 67937 markings/sec, 145 secs 68011 markings/sec, 150 secs 68056 markings/sec, 155 secs 68103 markings/sec, 160 secs 66760 markings/sec, 165 secs 67742 markings/sec, 170 secs 71841 markings/sec, 175 secs 54514 markings/sec, 180 secs 34754 markings/sec, 185 secs 36434 markings/sec, 190 secs 33673 markings/sec, 195 secs 43265 markings/sec, 200 secs 39698 markings/sec, 205 secs 45679 markings/sec, 210 secs 41278 markings/sec, 215 secs 40825 markings/sec, 220 secs 43344 markings/sec, 225 secs 46132 markings/sec, 230 secs 42234 markings/sec, 235 secs 41933 markings/sec, 240 secs 46840 markings/sec, 245 secs 44385 markings/sec, 250 secs 40557 markings/sec, 255 secs 40578 markings/sec, 260 secs 39748 markings/sec, 265 secs 39829 markings/sec, 270 secs 37967 markings/sec, 275 secs 42066 markings/sec, 280 secs 39803 markings/sec, 285 secs 43324 markings/sec, 290 secs 44686 markings/sec, 295 secs 46033 markings/sec, 300 secs 42854 markings/sec, 305 secs 41295 markings/sec, 310 secs 43927 markings/sec, 315 secs 44760 markings/sec, 320 secs 40238 markings/sec, 325 secs 39386 markings/sec, 330 secs 40592 markings/sec, 335 secs 49859 markings/sec, 340 secs 44800 markings/sec, 345 secs 42418 markings/sec, 350 secs 43844 markings/sec, 355 secs 41238 markings/sec, 360 secs 41120 markings/sec, 365 secs 35818 markings/sec, 370 secs 41083 markings/sec, 375 secs 39946 markings/sec, 380 secs 39897 markings/sec, 385 secs 40207 markings/sec, 390 secs 39390 markings/sec, 395 secs 38783 markings/sec, 400 secs 42305 markings/sec, 405 secs 40705 markings/sec, 410 secs 41794 markings/sec, 415 secs 39987 markings/sec, 420 secs 38969 markings/sec, 425 secs 40508 markings/sec, 430 secs 41564 markings/sec, 435 secs 43901 markings/sec, 440 secs 37469 markings/sec, 445 secs 39063 markings/sec, 450 secs 45157 markings/sec, 455 secs 40632 markings/sec, 460 secs 40351 markings/sec, 465 secs 40523 markings/sec, 470 secs 39854 markings/sec, 475 secs 44009 markings/sec, 480 secs 52967 markings/sec, 485 secs 63983 markings/sec, 490 secs 67890 markings/sec, 495 secs 63667 markings/sec, 500 secs 65032 markings/sec, 505 secs 65324 markings/sec, 510 secs 63066 markings/sec, 515 secs 60399 markings/sec, 520 secs 66746 markings/sec, 525 secs 64326 markings/sec, 530 secs 66351 markings/sec, 535 secs 65432 markings/sec, 540 secs 61033 markings/sec, 545 secs 50984 markings/sec, 550 secs 45094 markings/sec, 555 secs 48869 markings/sec, 560 secs 47498 markings/sec, 565 secs 50878 markings/sec, 570 secs 58273 markings/sec, 575 secs 50859 markings/sec, 580 secs 53327 markings/sec, 585 secs 64675 markings/sec, 590 secs 67566 markings/sec, 595 secs 65372 markings/sec, 600 secs 65690 markings/sec, 605 secs 52864 markings/sec, 610 secs 51087 markings/sec, 615 secs 47287 markings/sec, 620 secs 44599 markings/sec, 625 secs 49842 markings/sec, 630 secs 51772 markings/sec, 635 secs 52567 markings/sec, 640 secs 48275 markings/sec, 645 secs 46802 markings/sec, 650 secs 44946 markings/sec, 655 secs 51718 markings/sec, 660 secs 48940 markings/sec, 665 secs 47174 markings/sec, 670 secs 48873 markings/sec, 675 secs 56569 markings/sec, 680 secs 66088 markings/sec, 685 secs 64837 markings/sec, 690 secs 67567 markings/sec, 695 secs 67117 markings/sec, 700 secs 67051 markings/sec, 705 secs 65850 markings/sec, 710 secs 64732 markings/sec, 715 secs 63530 markings/sec, 720 secs 64487 markings/sec, 725 secs 64933 markings/sec, 730 secs 62437 markings/sec, 735 secs 63793 markings/sec, 740 secs 64376 markings/sec, 745 secs 64304 markings/sec, 750 secs 53438 markings/sec, 755 secs 41491 markings/sec, 760 secs 37158 markings/sec, 765 secs 39367 markings/sec, 770 secs 39876 markings/sec, 775 secs 39452 markings/sec, 780 secs 40013 markings/sec, 785 secs 38948 markings/sec, 790 secs 40189 markings/sec, 795 secs 39898 markings/sec, 800 secs 39477 markings/sec, 805 secs 39950 markings/sec, 810 secs 38753 markings/sec, 815 secs 44673 markings/sec, 820 secs 37795 markings/sec, 825 secs 40699 markings/sec, 830 secs 40174 markings/sec, 835 secs 40520 markings/sec, 840 secs 42703 markings/sec, 845 secs 40916 markings/sec, 850 secs 45903 markings/sec, 855 secs 64397 markings/sec, 860 secs 58847 markings/sec, 865 secs 65342 markings/sec, 870 secs 68005 markings/sec, 875 secs 51142 markings/sec, 880 secs 42593 markings/sec, 885 secs 61477 markings/sec, 890 secs 60111 markings/sec, 895 secs 63398 markings/sec, 900 secs 53311 markings/sec, 905 secs 42950 markings/sec, 910 secs 44697 markings/sec, 915 secs 52967 markings/sec, 920 secs 61881 markings/sec, 925 secs 54526 markings/sec, 930 secs 42886 markings/sec, 935 secs 42146 markings/sec, 940 secs 38760 markings/sec, 945 secs 40786 markings/sec, 950 secs 39394 markings/sec, 955 secs 44310 markings/sec, 960 secs 37897 markings/sec, 965 secs 42332 markings/sec, 970 secs 40759 markings/sec, 975 secs 39647 markings/sec, 980 secs 40768 markings/sec, 985 secs 44149 markings/sec, 990 secs 67407 markings/sec, 995 secs 66739 markings/sec, 1000 secs 60580 markings/sec, 1005 secs 41211 markings/sec, 1010 secs 40860 markings/sec, 1015 secs 42514 markings/sec, 1020 secs 45069 markings/sec, 1025 secs 43224 markings/sec, 1030 secs 40102 markings/sec, 1035 secs 40849 markings/sec, 1040 secs 38797 markings/sec, 1045 secs 41136 markings/sec, 1050 secs 37441 markings/sec, 1055 secs 42654 markings/sec, 1060 secs 63812 markings/sec, 1065 secs 64637 markings/sec, 1070 secs 65808 markings/sec, 1075 secs 66137 markings/sec, 1080 secs 55299 markings/sec, 1085 secs 49964 markings/sec, 1090 secs 46805 markings/sec, 1095 secs 49132 markings/sec, 1100 secs 51809 markings/sec, 1105 secs 47067 markings/sec, 1110 secs 46664 markings/sec, 1115 secs 45591 markings/sec, 1120 secs 47255 markings/sec, 1125 secs 51017 markings/sec, 1130 secs 45677 markings/sec, 1135 secs 43196 markings/sec, 1140 secs 47858 markings/sec, 1145 secs 49430 markings/sec, 1150 secs 44547 markings/sec, 1155 secs 48629 markings/sec, 1160 secs 51493 markings/sec, 1165 secs 49882 markings/sec, 1170 secs 51690 markings/sec, 1175 secs 47845 markings/sec, 1180 secs 47627 markings/sec, 1185 secs 51709 markings/sec, 1190 secs 53426 markings/sec, 1195 secs 49225 markings/sec, 1200 secs 47938 markings/sec, 1205 secs 48588 markings/sec, 1210 secs 50965 markings/sec, 1215 secs 54312 markings/sec, 1220 secs 53279 markings/sec, 1225 secs 50471 markings/sec, 1230 secs 48579 markings/sec, 1235 secs 50667 markings/sec, 1240 secs 55196 markings/sec, 1245 secs 48120 markings/sec, 1250 secs 42264 markings/sec, 1255 secs 44620 markings/sec, 1260 secs 42909 markings/sec, 1265 secs 42825 markings/sec, 1270 secs 40914 markings/sec, 1275 secs 38818 markings/sec, 1280 secs 39549 markings/sec, 1285 secs 46994 markings/sec, 1290 secs 65766 markings/sec, 1295 secs 65693 markings/sec, 1300 secs 64745 markings/sec, 1305 secs 63411 markings/sec, 1310 secs 62091 markings/sec, 1315 secs 65596 markings/sec, 1320 secs 67377 markings/sec, 1325 secs 66958 markings/sec, 1330 secs 63224 markings/sec, 1335 secs 62578 markings/sec, 1340 secs 68837 markings/sec, 1345 secs 67340 markings/sec, 1350 secs 65697 markings/sec, 1355 secs 67566 markings/sec, 1360 secs 66283 markings/sec, 1365 secs 43005 markings/sec, 1370 secs 39126 markings/sec, 1375 secs 41265 markings/sec, 1380 secs 43543 markings/sec, 1385 secs 42052 markings/sec, 1390 secs 38034 markings/sec, 1395 secs 42391 markings/sec, 1400 secs 44345 markings/sec, 1405 secs 42301 markings/sec, 1410 secs 40472 markings/sec, 1415 secs 43921 markings/sec, 1420 secs 40809 markings/sec, 1425 secs 43125 markings/sec, 1430 secs 44267 markings/sec, 1435 secs 41265 markings/sec, 1440 secs 39414 markings/sec, 1445 secs 47170 markings/sec, 1450 secs 61740 markings/sec, 1455 secs 67442 markings/sec, 1460 secs 64637 markings/sec, 1465 secs 54040 markings/sec, 1470 secs 51411 markings/sec, 1475 secs 52562 markings/sec, 1480 secs 49241 markings/sec, 1485 secs 49173 markings/sec, 1490 secs 50303 markings/sec, 1495 secs 44406 markings/sec, 1500 secs 47649 markings/sec, 1505 secs 50213 markings/sec, 1510 secs 53066 markings/sec, 1515 secs 48807 markings/sec, 1520 secs 49873 markings/sec, 1525 secs 52363 markings/sec, 1530 secs 51167 markings/sec, 1535 secs 53305 markings/sec, 1540 secs 48305 markings/sec, 1545 secs 65740 markings/sec, 1550 secs 62210 markings/sec, 1555 secs 53116 markings/sec, 1560 secs 54899 markings/sec, 1565 secs 52345 markings/sec, 1570 secs 49571 markings/sec, 1575 secs 49844 markings/sec, 1580 secs 49054 markings/sec, 1585 secs 49433 markings/sec, 1590 secs 51797 markings/sec, 1595 secs 47734 markings/sec, 1600 secs 52431 markings/sec, 1605 secs 53769 markings/sec, 1610 secs 51604 markings/sec, 1615 secs 53080 markings/sec, 1620 secs 50595 markings/sec, 1625 secs 48154 markings/sec, 1630 secs 49808 markings/sec, 1635 secs 49718 markings/sec, 1640 secs 51570 markings/sec, 1645 secs 47134 markings/sec, 1650 secs 50854 markings/sec, 1655 secs 51131 markings/sec, 1660 secs 53172 markings/sec, 1665 secs 54707 markings/sec, 1670 secs 49675 markings/sec, 1675 secs 50945 markings/sec, 1680 secs 48404 markings/sec, 1685 secs 49791 markings/sec, 1690 secs 49599 markings/sec, 1695 secs 50226 markings/sec, 1700 secs 49334 markings/sec, 1705 secs 52675 markings/sec, 1710 secs 46105 markings/sec, 1715 secs 48472 markings/sec, 1720 secs 50090 markings/sec, 1725 secs 51645 markings/sec, 1730 secs 51088 markings/sec, 1735 secs 48162 markings/sec, 1740 secs 50872 markings/sec, 1745 secs 47770 markings/sec, 1750 secs 50954 markings/sec, 1755 secs 48019 markings/sec, 1760 secs 49518 markings/sec, 1765 secs 48694 markings/sec, 1770 secs 48753 markings/sec, 1775 secs 49605 markings/sec, 1780 secs 47308 markings/sec, 1785 secs 48590 markings/sec, 1790 secs 50874 markings/sec, 1795 secs 50792 markings/sec, 1800 secs 48808 markings/sec, 1805 secs 50995 markings/sec, 1810 secs 47927 markings/sec, 1815 secs 48148 markings/sec, 1820 secs 49838 markings/sec, 1825 secs 51761 markings/sec, 1830 secs 53300 markings/sec, 1835 secs 46901 markings/sec, 1840 secs 46250 markings/sec, 1845 secs 48924 markings/sec, 1850 secs 49919 markings/sec, 1855 secs 48973 markings/sec, 1860 secs 48512 markings/sec, 1865 secs 47283 markings/sec, 1870 secs 49832 markings/sec, 1875 secs 47285 markings/sec, 1880 secs 53550 markings/sec, 1885 secs 51581 markings/sec, 1890 secs 48870 markings/sec, 1895 secs 51255 markings/sec, 1900 secs 49180 markings/sec, 1905 secs 50742 markings/sec, 1910 secs 50508 markings/sec, 1915 secs 49594 markings/sec, 1920 secs 48201 markings/sec, 1925 secs 48623 markings/sec, 1930 secs 52615 markings/sec, 1935 secs 44529 markings/sec, 1940 secs 47122 markings/sec, 1945 secs 48952 markings/sec, 1950 secs 63278 markings/sec, 1955 secs 40966 markings/sec, 1960 secs 43345 markings/sec, 1965 secs 38004 markings/sec, 1970 secs 40649 markings/sec, 1975 secs 39910 markings/sec, 1980 secs 38976 markings/sec, 1985 secs 60839 markings/sec, 1990 secs 65170 markings/sec, 1995 secs 67127 markings/sec, 2000 secs 66621 markings/sec, 2005 secs 63517 markings/sec, 2010 secs 68041 markings/sec, 2015 secs 66945 markings/sec, 2020 secs 69667 markings/sec, 2025 secs 64579 markings/sec, 2030 secs 68827 markings/sec, 2035 secs 65876 markings/sec, 2040 secs 45827 markings/sec, 2045 secs 56245 markings/sec, 2050 secs 63310 markings/sec, 2055 secs 67964 markings/sec, 2060 secs 71407 markings/sec, 2065 secs 64259 markings/sec, 2070 secs 64579 markings/sec, 2075 secs 69781 markings/sec, 2080 secs 69156 markings/sec, 2085 secs 63550 markings/sec, 2090 secs 65897 markings/sec, 2095 secs 68101 markings/sec, 2100 secs 65014 markings/sec, 2105 secs 66947 markings/sec, 2110 secs 67122 markings/sec, 2115 secs 69123 markings/sec, 2120 secs 66041 markings/sec, 2125 secs 64951 markings/sec, 2130 secs 70546 markings/sec, 2135 secs 69915 markings/sec, 2140 secs 50344 markings/sec, 2145 secs 50129 markings/sec, 2150 secs 41159 markings/sec, 2155 secs 45291 markings/sec, 2160 secs 39578 markings/sec, 2165 secs 43388 markings/sec, 2170 secs 40452 markings/sec, 2175 secs 39038 markings/sec, 2180 secs 42042 markings/sec, 2185 secs 44777 markings/sec, 2190 secs 36556 markings/sec, 2195 secs 41452 markings/sec, 2200 secs 42070 markings/sec, 2205 secs 39637 markings/sec, 2210 secs 41818 markings/sec, 2215 secs 44234 markings/sec, 2220 secs 43053 markings/sec, 2225 secs 44506 markings/sec, 2230 secs 46604 markings/sec, 2235 secs 47397 markings/sec, 2240 secs 50130 markings/sec, 2245 secs 48317 markings/sec, 2250 secs 48261 markings/sec, 2255 secs 46854 markings/sec, 2260 secs 47007 markings/sec, 2265 secs 45480 markings/sec, 2270 secs 48296 markings/sec, 2275 secs 48775 markings/sec, 2280 secs 47529 markings/sec, 2285 secs 59234 markings/sec, 2290 secs 64453 markings/sec, 2295 secs 65692 markings/sec, 2300 secs 67746 markings/sec, 2305 secs 67300 markings/sec, 2310 secs 65423 markings/sec, 2315 secs 66102 markings/sec, 2320 secs 64171 markings/sec, 2325 secs 61805 markings/sec, 2330 secs 64498 markings/sec, 2335 secs 67989 markings/sec, 2340 secs 65131 markings/sec, 2345 secs 65761 markings/sec, 2350 secs 68863 markings/sec, 2355 secs 67765 markings/sec, 2360 secs 62292 markings/sec, 2365 secs 62073 markings/sec, 2370 secs 64424 markings/sec, 2375 secs 64172 markings/sec, 2380 secs 67092 markings/sec, 2385 secs 63630 markings/sec, 2390 secs 69412 markings/sec, 2395 secs 65182 markings/sec, 2400 secs 67565 markings/sec, 2405 secs 65999 markings/sec, 2410 secs 67509 markings/sec, 2415 secs 67526 markings/sec, 2420 secs 62588 markings/sec, 2425 secs 66408 markings/sec, 2430 secs 64247 markings/sec, 2435 secs 64879 markings/sec, 2440 secs 61367 markings/sec, 2445 secs 68569 markings/sec, 2450 secs 64797 markings/sec, 2455 secs 60051 markings/sec, 2460 secs 64054 markings/sec, 2465 secs 65434 markings/sec, 2470 secs 62223 markings/sec, 2475 secs 70561 markings/sec, 2480 secs 64907 markings/sec, 2485 secs 67994 markings/sec, 2490 secs 67061 markings/sec, 2495 secs 64445 markings/sec, 2500 secs 67651 markings/sec, 2505 secs 69796 markings/sec, 2510 secs 62723 markings/sec, 2515 secs 69936 markings/sec, 2520 secs 63445 markings/sec, 2525 secs 66353 markings/sec, 2530 secs 63593 markings/sec, 2535 secs 65706 markings/sec, 2540 secs 68598 markings/sec, 2545 secs 68171 markings/sec, 2550 secs 66230 markings/sec, 2555 secs 66332 markings/sec, 2560 secs 64824 markings/sec, 2565 secs 66114 markings/sec, 2570 secs 66636 markings/sec, 2575 secs 69399 markings/sec, 2580 secs 63429 markings/sec, 2585 secs 60867 markings/sec, 2590 secs 62074 markings/sec, 2595 secs 62286 markings/sec, 2600 secs 60346 markings/sec, 2605 secs 65359 markings/sec, 2610 secs 61411 markings/sec, 2615 secs 64154 markings/sec, 2620 secs 64891 markings/sec, 2625 secs 65705 markings/sec, 2630 secs 63155 markings/sec, 2635 secs 65524 markings/sec, 2640 secs 61800 markings/sec, 2645 secs 66451 markings/sec, 2650 secs 69940 markings/sec, 2655 secs 61939 markings/sec, 2660 secs 67816 markings/sec, 2665 secs 67122 markings/sec, 2670 secs 68424 markings/sec, 2675 secs 63380 markings/sec, 2680 secs 66143 markings/sec, 2685 secs 66670 markings/sec, 2690 secs 68184 markings/sec, 2695 secs 69547 markings/sec, 2700 secs 70207 markings/sec, 2705 secs 70309 markings/sec, 2710 secs 70928 markings/sec, 2715 secs 70039 markings/sec, 2720 secs 68844 markings/sec, 2725 secs 67255 markings/sec, 2730 secs 61862 markings/sec, 2735 secs 63079 markings/sec, 2740 secs 68248 markings/sec, 2745 secs 66412 markings/sec, 2750 secs 63173 markings/sec, 2755 secs 62172 markings/sec, 2760 secs 65662 markings/sec, 2765 secs 62435 markings/sec, 2770 secs 61616 markings/sec, 2775 secs 61871 markings/sec, 2780 secs 64196 markings/sec, 2785 secs 66866 markings/sec, 2790 secs 65781 markings/sec, 2795 secs 67560 markings/sec, 2800 secs 67492 markings/sec, 2805 secs 68891 markings/sec, 2810 secs 68836 markings/sec, 2815 secs 66682 markings/sec, 2820 secs 68000 markings/sec, 2825 secs 63623 markings/sec, 2830 secs 69443 markings/sec, 2835 secs 64498 markings/sec, 2840 secs 61630 markings/sec, 2845 secs 64436 markings/sec, 2850 secs 63026 markings/sec, 2855 secs 64563 markings/sec, 2860 secs 67957 markings/sec, 2865 secs 64632 markings/sec, 2870 secs 63403 markings/sec, 2875 secs 70483 markings/sec, 2880 secs 62314 markings/sec, 2885 secs 64361 markings/sec, 2890 secs 66386 markings/sec, 2895 secs 66115 markings/sec, 2900 secs 63658 markings/sec, 2905 secs 68187 markings/sec, 2910 secs 68368 markings/sec, 2915 secs 66724 markings/sec, 2920 secs 63171 markings/sec, 2925 secs 63854 markings/sec, 2930 secs 66018 markings/sec, 2935 secs 66418 markings/sec, 2940 secs 67839 markings/sec, 2945 secs 68340 markings/sec, 2950 secs 75514 markings/sec, 2955 secs 69801 markings/sec, 2960 secs 68779 markings/sec, 2965 secs 68767 markings/sec, 2970 secs 70381 markings/sec, 2975 secs 69173 markings/sec, 2980 secs 72528 markings/sec, 2985 secs 65336 markings/sec, 2990 secs 66453 markings/sec, 2995 secs 62012 markings/sec, 3000 secs 65911 markings/sec, 3005 secs 66259 markings/sec, 3010 secs 69532 markings/sec, 3015 secs 63415 markings/sec, 3020 secs 71847 markings/sec, 3025 secs 69354 markings/sec, 3030 secs 70158 markings/sec, 3035 secs 67471 markings/sec, 3040 secs 66139 markings/sec, 3045 secs 72431 markings/sec, 3050 secs 64672 markings/sec, 3055 secs 64499 markings/sec, 3060 secs 71685 markings/sec, 3065 secs 65628 markings/sec, 3070 secs 65226 markings/sec, 3075 secs 66860 markings/sec, 3080 secs 62135 markings/sec, 3085 secs 69190 markings/sec, 3090 secs 70749 markings/sec, 3095 secs 65664 markings/sec, 3100 secs 67061 markings/sec, 3105 secs 69024 markings/sec, 3110 secs 65133 markings/sec, 3115 secs 72029 markings/sec, 3120 secs 66977 markings/sec, 3125 secs 69628 markings/sec, 3130 secs 69570 markings/sec, 3135 secs 65038 markings/sec, 3140 secs 69121 markings/sec, 3145 secs 69196 markings/sec, 3150 secs 70278 markings/sec, 3155 secs 69031 markings/sec, 3160 secs 66896 markings/sec, 3165 secs 69274 markings/sec, 3170 secs 66642 markings/sec, 3175 secs 69671 markings/sec, 3180 secs 63873 markings/sec, 3185 secs 71207 markings/sec, 3190 secs 68753 markings/sec, 3195 secs 70802 markings/sec, 3200 secs 69538 markings/sec, 3205 secs 65487 markings/sec, 3210 secs 71741 markings/sec, 3215 secs 68304 markings/sec, 3220 secs 69919 markings/sec, 3225 secs 64508 markings/sec, 3230 secs 67320 markings/sec, 3235 secs 66658 markings/sec, 3240 secs 68283 markings/sec, 3245 secs 66607 markings/sec, 3250 secs 66618 markings/sec, 3255 secs 68051 markings/sec, 3260 secs 67364 markings/sec, 3265 secs 67725 markings/sec, 3270 secs 65337 markings/sec, 3275 secs 65255 markings/sec, 3280 secs 66299 markings/sec, 3285 secs 68849 markings/sec, 3290 secs 62654 markings/sec, 3295 secs 65810 markings/sec, 3300 secs 66301 markings/sec, 3305 secs 54792 markings/sec, 3310 secs 49992 markings/sec, 3315 secs 32912 markings/sec, 3320 secs 35364 markings/sec, 3325 secs 33052 markings/sec, 3330 secs 18881 markings/sec, 3335 secs 11236 markings/sec, 3340 secs 4617 markings/sec, 3345 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="Vasy2003-PT-none"
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 Vasy2003-PT-none, 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 r170-oct2-155297750800453"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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