MCC'2019 - Execution of r104-oct2-155272226100561

About the Execution of LoLA for Peterson-PT-6

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
12040.110	3570431.00	7286383.00	220.20	[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.r104-oct2-155272226100561.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 Peterson-PT-6, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272226100561
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 65K Feb 12 04:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 180K Feb 12 04:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 54K Feb 8 03:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 176K Feb 8 03:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 47K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 32K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 111K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 125K Feb 4 08:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 331K Feb 4 08:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 83K Feb 1 02:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 274K Feb 1 02:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 27K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 54K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 Peterson-PT-6-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552806606892

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Peterson-PT-6 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ Peterson-PT-6
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: 3360/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 42560
lola: finding significant places
lola: 1330 places, 2030 transitions, 1303 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
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: 1 tries, 159171 fired transitions, 0 secs || 132502 markings, 208883 edges,
lola: 1 tries, 291282 fired transitions, 5 secs || 248936 markings, 389600 edges,
lola: 1 tries, 424643 fired transitions, 10 secs || 362602 markings, 568847 edges,
lola: 1 tries, 557189 fired transitions, 15 secs || 480816 markings, 756009 edges,
lola: 1 tries, 690613 fired transitions, 20 secs || 593344 markings, 933654 edges,
lola: 1 tries, 824852 fired transitions, 25 secs || 706305 markings, 1113808 edges,
lola: 2 tries, 1030319 fired transitions, 30 secs || 856037 markings, 1358277 edges,
lola: 2 tries, 1291214 fired transitions, 35 secs || 1009690 markings, 1625807 edges,
lola: 2 tries, 1539563 fired transitions, 40 secs || 1179872 markings, 1899664 edges,
lola: 2 tries, 1795933 fired transitions, 45 secs || 1353166 markings, 2171076 edges,
lola: 3 tries, 2042285 fired transitions, 50 secs || 1523031 markings, 2438977 edges,
lola: 3 tries, 2299886 fired transitions, 55 secs || 1689580 markings, 2707053 edges,
lola: 3 tries, 2525570 fired transitions, 60 secs || 1850147 markings, 2968038 edges,
lola: 3 tries, 2700451 fired transitions, 65 secs || 2010018 markings, 3230959 edges,
lola: 3 tries, 2874737 fired transitions, 70 secs || 2170598 markings, 3493036 edges,
lola: 4 tries, 3068969 fired transitions, 75 secs || 2333536 markings, 3752104 edges,
lola: 4 tries, 3323081 fired transitions, 80 secs || 2492332 markings, 4009342 edges,
lola: 4 tries, 3574929 fired transitions, 85 secs || 2651601 markings, 4272133 edges,
lola: 4 tries, 3829491 fired transitions, 90 secs || 2815888 markings, 4540264 edges,
lola: 5 tries, 4055006 fired transitions, 95 secs || 2970980 markings, 4802984 edges,
lola: 5 tries, 4224759 fired transitions, 100 secs || 3137533 markings, 5077291 edges,
lola: 5 tries, 4391609 fired transitions, 105 secs || 3306067 markings, 5351267 edges,
lola: 5 tries, 4562203 fired transitions, 110 secs || 3470443 markings, 5628027 edges,
lola: 5 tries, 4823849 fired transitions, 115 secs || 3633327 markings, 5907501 edges,
lola: 6 tries, 5068974 fired transitions, 120 secs || 3802670 markings, 6182312 edges,
lola: 6 tries, 5341536 fired transitions, 125 secs || 3950013 markings, 6450049 edges,
lola: 6 tries, 5575462 fired transitions, 130 secs || 4114994 markings, 6717537 edges,
lola: 6 tries, 5822954 fired transitions, 135 secs || 4284427 markings, 6995232 edges,
lola: 7 tries, 6055145 fired transitions, 140 secs || 4448263 markings, 7265083 edges,
lola: 7 tries, 6267166 fired transitions, 145 secs || 4618928 markings, 7541366 edges,
lola: 7 tries, 6538143 fired transitions, 150 secs || 4784593 markings, 7821832 edges,
lola: 7 tries, 6804772 fired transitions, 155 secs || 4952386 markings, 8111531 edges,
lola: 8 tries, 7068283 fired transitions, 160 secs || 5108617 markings, 8392369 edges,
lola: 8 tries, 7348464 fired transitions, 165 secs || 5273343 markings, 8659734 edges,
lola: 8 tries, 7630654 fired transitions, 170 secs || 5437793 markings, 8929187 edges,
lola: 8 tries, 7912723 fired transitions, 175 secs || 5601810 markings, 9202261 edges,
lola: 9 tries, 8211897 fired transitions, 180 secs || 5762291 markings, 9477146 edges,
lola: 9 tries, 8522787 fired transitions, 185 secs || 5929729 markings, 9752632 edges,
lola: 9 tries, 8836054 fired transitions, 190 secs || 6091830 markings, 10038864 edges,
lola: 10 tries, 9142079 fired transitions, 195 secs || 6240652 markings, 10323168 edges,
lola: 10 tries, 9325392 fired transitions, 200 secs || 6410190 markings, 10596676 edges,
lola: 10 tries, 9503931 fired transitions, 205 secs || 6580594 markings, 10870692 edges,
lola: 10 tries, 9683188 fired transitions, 210 secs || 6751169 markings, 11148919 edges,
lola: 10 tries, 9861038 fired transitions, 215 secs || 6917804 markings, 11416057 edges,
lola: 11 tries, 10039289 fired transitions, 220 secs || 7087825 markings, 11684281 edges,
lola: 11 tries, 10296884 fired transitions, 225 secs || 7239536 markings, 11960865 edges,
lola: 11 tries, 10543080 fired transitions, 230 secs || 7407611 markings, 12229325 edges,
lola: 11 tries, 10790870 fired transitions, 235 secs || 7575663 markings, 12496706 edges,
lola: 12 tries, 11035332 fired transitions, 240 secs || 7743214 markings, 12764909 edges,
lola: 12 tries, 11252606 fired transitions, 245 secs || 7908964 markings, 13025044 edges,
lola: 12 tries, 11475410 fired transitions, 250 secs || 8075120 markings, 13288739 edges,
lola: 12 tries, 11697336 fired transitions, 255 secs || 8241693 markings, 13557147 edges,
lola: 12 tries, 11919651 fired transitions, 260 secs || 8407294 markings, 13823211 edges,
lola: 13 tries, 12176912 fired transitions, 265 secs || 8570642 markings, 14084562 edges,
lola: 13 tries, 12459701 fired transitions, 270 secs || 8728165 markings, 14348317 edges,
lola: 13 tries, 12740930 fired transitions, 275 secs || 8891283 markings, 14616949 edges,
lola: 14 tries, 13019084 fired transitions, 280 secs || 9054608 markings, 14884940 edges,
lola: 14 tries, 13239217 fired transitions, 285 secs || 9220377 markings, 15142379 edges,
lola: 14 tries, 13459017 fired transitions, 290 secs || 9383555 markings, 15398801 edges,
lola: 14 tries, 13680448 fired transitions, 295 secs || 9537049 markings, 15663104 edges,
lola: 14 tries, 13902148 fired transitions, 300 secs || 9692496 markings, 15924013 edges,
lola: 15 tries, 14112495 fired transitions, 305 secs || 9858940 markings, 16190257 edges,
lola: 15 tries, 14357450 fired transitions, 310 secs || 10012961 markings, 16456944 edges,
lola: 15 tries, 14605327 fired transitions, 315 secs || 10178343 markings, 16737103 edges,
lola: 15 tries, 14849541 fired transitions, 320 secs || 10345482 markings, 17007225 edges,
lola: 16 tries, 15091636 fired transitions, 325 secs || 10487044 markings, 17278509 edges,
lola: 16 tries, 15311353 fired transitions, 330 secs || 10618938 markings, 17545869 edges,
lola: 16 tries, 15566659 fired transitions, 335 secs || 10758177 markings, 17820671 edges,
lola: 16 tries, 15840537 fired transitions, 340 secs || 10908626 markings, 18111618 edges,
lola: 17 tries, 16109035 fired transitions, 345 secs || 11058078 markings, 18405189 edges,
lola: 17 tries, 16410945 fired transitions, 350 secs || 11204171 markings, 18682573 edges,
lola: 17 tries, 16713414 fired transitions, 355 secs || 11350847 markings, 18966607 edges,
lola: 18 tries, 17011421 fired transitions, 360 secs || 11510980 markings, 19257552 edges,
lola: 18 tries, 17244823 fired transitions, 365 secs || 11677099 markings, 19523295 edges,
lola: 18 tries, 17488678 fired transitions, 370 secs || 11843512 markings, 19791008 edges,
lola: 18 tries, 17736647 fired transitions, 375 secs || 12008251 markings, 20056601 edges,
lola: 18 tries, 17982659 fired transitions, 380 secs || 12166583 markings, 20316575 edges,
lola: 19 tries, 18194171 fired transitions, 385 secs || 12332990 markings, 20580421 edges,
lola: 19 tries, 18440812 fired transitions, 390 secs || 12493508 markings, 20854757 edges,
lola: 19 tries, 18680422 fired transitions, 395 secs || 12660374 markings, 21128619 edges,
lola: 19 tries, 18920341 fired transitions, 400 secs || 12826468 markings, 21399487 edges,
lola: 20 tries, 19144155 fired transitions, 405 secs || 12979755 markings, 21658667 edges,
lola: 20 tries, 19362566 fired transitions, 410 secs || 13138621 markings, 21914290 edges,
lola: 20 tries, 19584278 fired transitions, 415 secs || 13289157 markings, 22190652 edges,
lola: 20 tries, 19806794 fired transitions, 420 secs || 13445021 markings, 22469251 edges,
lola: 21 tries, 20026015 fired transitions, 425 secs || 13605858 markings, 22721288 edges,
lola: 21 tries, 20245596 fired transitions, 430 secs || 13766738 markings, 22976775 edges,
lola: 21 tries, 20467008 fired transitions, 435 secs || 13923369 markings, 23233766 edges,
lola: 21 tries, 20690005 fired transitions, 440 secs || 14078207 markings, 23500701 edges,
lola: 21 tries, 20941542 fired transitions, 445 secs || 14223403 markings, 23776434 edges,
lola: 22 tries, 21188511 fired transitions, 450 secs || 14369395 markings, 24062358 edges,
lola: 22 tries, 21471840 fired transitions, 455 secs || 14524387 markings, 24356584 edges,
lola: 22 tries, 21747745 fired transitions, 460 secs || 14668572 markings, 24637376 edges,
lola: 23 tries, 22028237 fired transitions, 465 secs || 14817410 markings, 24924723 edges,
lola: 23 tries, 22310808 fired transitions, 470 secs || 14967757 markings, 25213782 edges,
lola: 23 tries, 22538431 fired transitions, 475 secs || 15117218 markings, 25511042 edges,
lola: 23 tries, 22765583 fired transitions, 480 secs || 15245179 markings, 25788101 edges,
lola: 23 tries, 22988403 fired transitions, 485 secs || 15410476 markings, 26049225 edges,
lola: 24 tries, 23215357 fired transitions, 490 secs || 15570905 markings, 26305782 edges,
lola: 24 tries, 23434985 fired transitions, 495 secs || 15733259 markings, 26560552 edges,
lola: 24 tries, 23654331 fired transitions, 500 secs || 15897143 markings, 26816047 edges,
lola: 24 tries, 23873461 fired transitions, 505 secs || 16058380 markings, 27074247 edges,
lola: 25 tries, 24095271 fired transitions, 510 secs || 16219591 markings, 27332224 edges,
lola: 25 tries, 24281118 fired transitions, 515 secs || 16374304 markings, 27594363 edges,
lola: 25 tries, 24455494 fired transitions, 520 secs || 16534103 markings, 27859780 edges,
lola: 25 tries, 24629686 fired transitions, 525 secs || 16697314 markings, 28125198 edges,
lola: 25 tries, 24804331 fired transitions, 530 secs || 16853684 markings, 28396758 edges,
lola: 25 tries, 24993490 fired transitions, 535 secs || 17020625 markings, 28665059 edges,
lola: 26 tries, 25270736 fired transitions, 540 secs || 17179567 markings, 28929947 edges,
lola: 26 tries, 25556206 fired transitions, 545 secs || 17336170 markings, 29193452 edges,
lola: 26 tries, 25841891 fired transitions, 550 secs || 17490674 markings, 29453889 edges,
lola: 27 tries, 26088134 fired transitions, 555 secs || 17652509 markings, 29711624 edges,
lola: 27 tries, 26304579 fired transitions, 560 secs || 17795787 markings, 29989545 edges,
lola: 27 tries, 26519322 fired transitions, 565 secs || 17929151 markings, 30259191 edges,
lola: 27 tries, 26732964 fired transitions, 570 secs || 18090864 markings, 30516431 edges,
lola: 27 tries, 26944489 fired transitions, 575 secs || 18250499 markings, 30772185 edges,
lola: 28 tries, 27169132 fired transitions, 580 secs || 18405986 markings, 31028705 edges,
lola: 28 tries, 27387989 fired transitions, 585 secs || 18568711 markings, 31285140 edges,
lola: 28 tries, 27615096 fired transitions, 590 secs || 18706961 markings, 31567871 edges,
lola: 28 tries, 27847635 fired transitions, 595 secs || 18844188 markings, 31849392 edges,
lola: 29 tries, 28059947 fired transitions, 600 secs || 18993636 markings, 32119663 edges,
lola: 29 tries, 28304286 fired transitions, 605 secs || 19162638 markings, 32387705 edges,
lola: 29 tries, 28553618 fired transitions, 610 secs || 19330116 markings, 32649403 edges,
lola: 29 tries, 28805499 fired transitions, 615 secs || 19496140 markings, 32911796 edges,
lola: 30 tries, 29060267 fired transitions, 620 secs || 19657203 markings, 33172251 edges,
lola: 30 tries, 29362627 fired transitions, 625 secs || 19810421 markings, 33439498 edges,
lola: 30 tries, 29667482 fired transitions, 630 secs || 19960897 markings, 33730450 edges,
lola: 30 tries, 29968620 fired transitions, 635 secs || 20102975 markings, 34012175 edges,
lola: 31 tries, 30248044 fired transitions, 640 secs || 20238830 markings, 34290819 edges,
lola: 31 tries, 30547921 fired transitions, 645 secs || 20379697 markings, 34584252 edges,
lola: 31 tries, 30837504 fired transitions, 650 secs || 20533960 markings, 34870818 edges,
lola: 32 tries, 31081254 fired transitions, 655 secs || 20690134 markings, 35158785 edges,
lola: 32 tries, 31353416 fired transitions, 660 secs || 20856280 markings, 35466855 edges,
lola: 32 tries, 31629617 fired transitions, 665 secs || 21028146 markings, 35744618 edges,
lola: 32 tries, 31909573 fired transitions, 670 secs || 21201679 markings, 36025445 edges,
lola: 33 tries, 32147330 fired transitions, 675 secs || 21365030 markings, 36285357 edges,
lola: 33 tries, 32367655 fired transitions, 680 secs || 21527861 markings, 36542575 edges,
lola: 33 tries, 32584385 fired transitions, 685 secs || 21688826 markings, 36796169 edges,
lola: 33 tries, 32802859 fired transitions, 690 secs || 21852057 markings, 37059107 edges,
lola: 34 tries, 33018688 fired transitions, 695 secs || 22009362 markings, 37316387 edges,
lola: 34 tries, 33279874 fired transitions, 700 secs || 22171909 markings, 37580389 edges,
lola: 34 tries, 33538534 fired transitions, 705 secs || 22335762 markings, 37848618 edges,
lola: 34 tries, 33796117 fired transitions, 710 secs || 22498720 markings, 38113536 edges,
lola: 35 tries, 34039109 fired transitions, 715 secs || 22648646 markings, 38395927 edges,
lola: 35 tries, 34286679 fired transitions, 720 secs || 22805937 markings, 38676059 edges,
lola: 35 tries, 34534750 fired transitions, 725 secs || 22971201 markings, 38947220 edges,
lola: 35 tries, 34779511 fired transitions, 730 secs || 23133411 markings, 39218682 edges,
lola: 36 tries, 35032950 fired transitions, 735 secs || 23292234 markings, 39487014 edges,
lola: 36 tries, 35303462 fired transitions, 740 secs || 23455443 markings, 39761031 edges,
lola: 36 tries, 35571289 fired transitions, 745 secs || 23609530 markings, 40051568 edges,
lola: 36 tries, 35836245 fired transitions, 750 secs || 23760741 markings, 40348184 edges,
lola: 37 tries, 36077853 fired transitions, 755 secs || 23914588 markings, 40647069 edges,
lola: 37 tries, 36383321 fired transitions, 760 secs || 24079624 markings, 40924755 edges,
lola: 37 tries, 36687849 fired transitions, 765 secs || 24248630 markings, 41193421 edges,
lola: 37 tries, 36992539 fired transitions, 770 secs || 24416012 markings, 41462570 edges,
lola: 38 tries, 37263479 fired transitions, 775 secs || 24572100 markings, 41720378 edges,
lola: 38 tries, 37448294 fired transitions, 780 secs || 24730763 markings, 42007671 edges,
lola: 38 tries, 37693362 fired transitions, 785 secs || 24900265 markings, 42275545 edges,
lola: 38 tries, 37977731 fired transitions, 790 secs || 25057905 markings, 42559238 edges,
lola: 39 tries, 38159641 fired transitions, 795 secs || 25214008 markings, 42853707 edges,
lola: 39 tries, 38336786 fired transitions, 800 secs || 25369349 markings, 43156423 edges,
lola: 39 tries, 38513093 fired transitions, 805 secs || 25522092 markings, 43456707 edges,
lola: 39 tries, 38688805 fired transitions, 810 secs || 25683083 markings, 43762312 edges,
lola: 39 tries, 38866189 fired transitions, 815 secs || 25837783 markings, 44070151 edges,
lola: 40 tries, 39058626 fired transitions, 820 secs || 25985972 markings, 44371271 edges,
lola: 40 tries, 39283882 fired transitions, 825 secs || 26132592 markings, 44637888 edges,
lola: 40 tries, 39500705 fired transitions, 830 secs || 26281888 markings, 44873782 edges,
lola: 40 tries, 39721367 fired transitions, 835 secs || 26434652 markings, 45114763 edges,
lola: 40 tries, 39945553 fired transitions, 840 secs || 26580972 markings, 45363066 edges,
lola: 41 tries, 40191669 fired transitions, 845 secs || 26736304 markings, 45621368 edges,
lola: 41 tries, 40465730 fired transitions, 850 secs || 26894007 markings, 45905685 edges,
lola: 41 tries, 40740570 fired transitions, 855 secs || 27052741 markings, 46215742 edges,
lola: 42 tries, 41014272 fired transitions, 860 secs || 27204592 markings, 46519193 edges,
lola: 42 tries, 41285901 fired transitions, 865 secs || 27341654 markings, 46804365 edges,
lola: 42 tries, 41507864 fired transitions, 870 secs || 27478935 markings, 47085650 edges,
lola: 42 tries, 41696665 fired transitions, 875 secs || 27629871 markings, 47389286 edges,
lola: 42 tries, 41888004 fired transitions, 880 secs || 27775607 markings, 47692249 edges,
lola: 43 tries, 42111742 fired transitions, 885 secs || 27915910 markings, 47988988 edges,
lola: 43 tries, 42371813 fired transitions, 890 secs || 28070032 markings, 48291612 edges,
lola: 43 tries, 42663308 fired transitions, 895 secs || 28231033 markings, 48592512 edges,
lola: 43 tries, 42956548 fired transitions, 900 secs || 28369113 markings, 48870529 edges,
lola: 44 tries, 43191781 fired transitions, 905 secs || 28503893 markings, 49148452 edges,
lola: 44 tries, 43416658 fired transitions, 910 secs || 28643296 markings, 49433832 edges,
lola: 44 tries, 43643243 fired transitions, 915 secs || 28778929 markings, 49720249 edges,
lola: 44 tries, 43868956 fired transitions, 920 secs || 28918543 markings, 50002452 edges,
lola: 45 tries, 44120379 fired transitions, 925 secs || 29064297 markings, 50303224 edges,
lola: 45 tries, 44403442 fired transitions, 930 secs || 29203603 markings, 50595151 edges,
lola: 45 tries, 44693556 fired transitions, 935 secs || 29356933 markings, 50900238 edges,
lola: 45 tries, 44949505 fired transitions, 940 secs || 29499307 markings, 51187650 edges,
lola: 46 tries, 45175586 fired transitions, 945 secs || 29638610 markings, 51474783 edges,
lola: 46 tries, 45402266 fired transitions, 950 secs || 29790243 markings, 51769834 edges,
lola: 46 tries, 45633799 fired transitions, 955 secs || 29946857 markings, 52070534 edges,
lola: 46 tries, 45866092 fired transitions, 960 secs || 30099956 markings, 52367044 edges,
lola: 47 tries, 46097641 fired transitions, 965 secs || 30239961 markings, 52651294 edges,
lola: 47 tries, 46313426 fired transitions, 970 secs || 30378624 markings, 52921522 edges,
lola: 47 tries, 46532258 fired transitions, 975 secs || 30519923 markings, 53202189 edges,
lola: 47 tries, 46752604 fired transitions, 980 secs || 30664081 markings, 53491613 edges,
lola: 47 tries, 46972000 fired transitions, 985 secs || 30807060 markings, 53780987 edges,
lola: 48 tries, 47231164 fired transitions, 990 secs || 30944078 markings, 54062933 edges,
lola: 48 tries, 47522550 fired transitions, 995 secs || 31084442 markings, 54357357 edges,
lola: 48 tries, 47815961 fired transitions, 1000 secs || 31226557 markings, 54652962 edges,
lola: 49 tries, 48065218 fired transitions, 1005 secs || 31375403 markings, 54946775 edges,
lola: 49 tries, 48243391 fired transitions, 1010 secs || 31516624 markings, 55233503 edges,
lola: 49 tries, 48467880 fired transitions, 1015 secs || 31651077 markings, 55516167 edges,
lola: 49 tries, 48721883 fired transitions, 1020 secs || 31799509 markings, 55799010 edges,
lola: 49 tries, 48977634 fired transitions, 1025 secs || 31951762 markings, 56089528 edges,
lola: 50 tries, 49209673 fired transitions, 1030 secs || 32092955 markings, 56384528 edges,
lola: 50 tries, 49432861 fired transitions, 1035 secs || 32250278 markings, 56647984 edges,
lola: 50 tries, 49656358 fired transitions, 1040 secs || 32408380 markings, 56907882 edges,
lola: 50 tries, 49876769 fired transitions, 1045 secs || 32564084 markings, 57170966 edges,
lola: 51 tries, 50079716 fired transitions, 1050 secs || 32715818 markings, 57441548 edges,
lola: 51 tries, 50331607 fired transitions, 1055 secs || 32881395 markings, 57707526 edges,
lola: 51 tries, 50610298 fired transitions, 1060 secs || 33033116 markings, 57981699 edges,
lola: 51 tries, 50902349 fired transitions, 1065 secs || 33178010 markings, 58261265 edges,
lola: 52 tries, 51140279 fired transitions, 1070 secs || 33325451 markings, 58508691 edges,
lola: 52 tries, 51356611 fired transitions, 1075 secs || 33479076 markings, 58760017 edges,
lola: 52 tries, 51549707 fired transitions, 1080 secs || 33633253 markings, 59032266 edges,
lola: 52 tries, 51727300 fired transitions, 1085 secs || 33791936 markings, 59317370 edges,
lola: 52 tries, 51977539 fired transitions, 1090 secs || 33958535 markings, 59597014 edges,
lola: 53 tries, 52226761 fired transitions, 1095 secs || 34124153 markings, 59881887 edges,
lola: 53 tries, 52489717 fired transitions, 1100 secs || 34272172 markings, 60164930 edges,
lola: 53 tries, 52743008 fired transitions, 1105 secs || 34426507 markings, 60438914 edges,
lola: 53 tries, 52999634 fired transitions, 1110 secs || 34582336 markings, 60722019 edges,
lola: 54 tries, 53245123 fired transitions, 1115 secs || 34718478 markings, 60979819 edges,
lola: 54 tries, 53534303 fired transitions, 1120 secs || 34857550 markings, 61258964 edges,
lola: 54 tries, 53837392 fired transitions, 1125 secs || 35003075 markings, 61545555 edges,
lola: 55 tries, 54122090 fired transitions, 1130 secs || 35151868 markings, 61834835 edges,
lola: 55 tries, 54386387 fired transitions, 1135 secs || 35299623 markings, 62112023 edges,
lola: 55 tries, 54643284 fired transitions, 1140 secs || 35449335 markings, 62391628 edges,
lola: 55 tries, 54900569 fired transitions, 1145 secs || 35612818 markings, 62668085 edges,
lola: 56 tries, 55145765 fired transitions, 1150 secs || 35777702 markings, 62935613 edges,
lola: 56 tries, 55397625 fired transitions, 1155 secs || 35940047 markings, 63202063 edges,
lola: 56 tries, 55647511 fired transitions, 1160 secs || 36105704 markings, 63469476 edges,
lola: 56 tries, 55897690 fired transitions, 1165 secs || 36274558 markings, 63733486 edges,
lola: 57 tries, 56134810 fired transitions, 1170 secs || 36429369 markings, 64017664 edges,
lola: 57 tries, 56392818 fired transitions, 1175 secs || 36574600 markings, 64306296 edges,
lola: 57 tries, 56640911 fired transitions, 1180 secs || 36721069 markings, 64580574 edges,
lola: 57 tries, 56899766 fired transitions, 1185 secs || 36865774 markings, 64873686 edges,
lola: 58 tries, 57179819 fired transitions, 1190 secs || 37011100 markings, 65161735 edges,
lola: 58 tries, 57400067 fired transitions, 1195 secs || 37171933 markings, 65438035 edges,
lola: 58 tries, 57655462 fired transitions, 1200 secs || 37330323 markings, 65709585 edges,
lola: 58 tries, 57917674 fired transitions, 1205 secs || 37491542 markings, 65997452 edges,
lola: 59 tries, 58190480 fired transitions, 1210 secs || 37642724 markings, 66268991 edges,
lola: 59 tries, 58472145 fired transitions, 1215 secs || 37803430 markings, 66543805 edges,
lola: 59 tries, 58752056 fired transitions, 1220 secs || 37963543 markings, 66810310 edges,
lola: 60 tries, 59023223 fired transitions, 1225 secs || 38110295 markings, 67087741 edges,
lola: 60 tries, 59258487 fired transitions, 1230 secs || 38256857 markings, 67360386 edges,
lola: 60 tries, 59534219 fired transitions, 1235 secs || 38413522 markings, 67649060 edges,
lola: 60 tries, 59806224 fired transitions, 1240 secs || 38563132 markings, 67933616 edges,
lola: 61 tries, 60070509 fired transitions, 1245 secs || 38719432 markings, 68234661 edges,
lola: 61 tries, 60321250 fired transitions, 1250 secs || 38872416 markings, 68522572 edges,
lola: 61 tries, 60577432 fired transitions, 1255 secs || 39022371 markings, 68816963 edges,
lola: 61 tries, 60837360 fired transitions, 1260 secs || 39174991 markings, 69120070 edges,
lola: 62 tries, 61082422 fired transitions, 1265 secs || 39324779 markings, 69419743 edges,
lola: 62 tries, 61362357 fired transitions, 1270 secs || 39469713 markings, 69721971 edges,
lola: 62 tries, 61638115 fired transitions, 1275 secs || 39616403 markings, 70004706 edges,
lola: 62 tries, 61918878 fired transitions, 1280 secs || 39767786 markings, 70301595 edges,
lola: 63 tries, 62147481 fired transitions, 1285 secs || 39897274 markings, 70575647 edges,
lola: 63 tries, 62435089 fired transitions, 1290 secs || 40036223 markings, 70867445 edges,
lola: 63 tries, 62728093 fired transitions, 1295 secs || 40195824 markings, 71145953 edges,
lola: 64 tries, 63010699 fired transitions, 1300 secs || 40355696 markings, 71424038 edges,
lola: 64 tries, 63267993 fired transitions, 1305 secs || 40512790 markings, 71691618 edges,
lola: 64 tries, 63576519 fired transitions, 1310 secs || 40681924 markings, 71968142 edges,
lola: 64 tries, 63886820 fired transitions, 1315 secs || 40845932 markings, 72245906 edges,
lola: 65 tries, 64137568 fired transitions, 1320 secs || 41003216 markings, 72511440 edges,
lola: 65 tries, 64357519 fired transitions, 1325 secs || 41151592 markings, 72769477 edges,
lola: 65 tries, 64582027 fired transitions, 1330 secs || 41289484 markings, 73040211 edges,
lola: 65 tries, 64802125 fired transitions, 1335 secs || 41447696 markings, 73307446 edges,
lola: 66 tries, 65015095 fired transitions, 1340 secs || 41596288 markings, 73569464 edges,
lola: 66 tries, 65191945 fired transitions, 1345 secs || 41745382 markings, 73848500 edges,
lola: 66 tries, 65370211 fired transitions, 1350 secs || 41898827 markings, 74147244 edges,
lola: 66 tries, 65547787 fired transitions, 1355 secs || 42042828 markings, 74438715 edges,
lola: 66 tries, 65725778 fired transitions, 1360 secs || 42196607 markings, 74742972 edges,
lola: 66 tries, 65902320 fired transitions, 1365 secs || 42345610 markings, 75039487 edges,
lola: 67 tries, 66093258 fired transitions, 1370 secs || 42473286 markings, 75313154 edges,
lola: 67 tries, 66277089 fired transitions, 1375 secs || 42615040 markings, 75588650 edges,
lola: 67 tries, 66446231 fired transitions, 1380 secs || 42767467 markings, 75873407 edges,
lola: 67 tries, 66620489 fired transitions, 1385 secs || 42918552 markings, 76170261 edges,
lola: 67 tries, 66867466 fired transitions, 1390 secs || 43067704 markings, 76467672 edges,
lola: 68 tries, 67108792 fired transitions, 1395 secs || 43206892 markings, 76755196 edges,
lola: 68 tries, 67328418 fired transitions, 1400 secs || 43354513 markings, 77042138 edges,
lola: 68 tries, 67548656 fired transitions, 1405 secs || 43502499 markings, 77335044 edges,
lola: 68 tries, 67770029 fired transitions, 1410 secs || 43627212 markings, 77603607 edges,
lola: 68 tries, 67986944 fired transitions, 1415 secs || 43773902 markings, 77863000 edges,
lola: 69 tries, 68179832 fired transitions, 1420 secs || 43919101 markings, 78117420 edges,
lola: 69 tries, 68359234 fired transitions, 1425 secs || 44075019 markings, 78378856 edges,
lola: 69 tries, 68539398 fired transitions, 1430 secs || 44225375 markings, 78648685 edges,
lola: 69 tries, 68718789 fired transitions, 1435 secs || 44383185 markings, 78908239 edges,
lola: 69 tries, 68899276 fired transitions, 1440 secs || 44528279 markings, 79174800 edges,
lola: 70 tries, 69093835 fired transitions, 1445 secs || 44674621 markings, 79441883 edges,
lola: 70 tries, 69346458 fired transitions, 1450 secs || 44832603 markings, 79712315 edges,
lola: 70 tries, 69606474 fired transitions, 1455 secs || 44983166 markings, 79999236 edges,
lola: 70 tries, 69866368 fired transitions, 1460 secs || 45133837 markings, 80291848 edges,
lola: 71 tries, 70074314 fired transitions, 1465 secs || 45283093 markings, 80582058 edges,
lola: 71 tries, 70241671 fired transitions, 1470 secs || 45426496 markings, 80864104 edges,
lola: 71 tries, 70525467 fired transitions, 1475 secs || 45571052 markings, 81144883 edges,
lola: 71 tries, 70825870 fired transitions, 1480 secs || 45718846 markings, 81434178 edges,
lola: 72 tries, 71096257 fired transitions, 1485 secs || 45870288 markings, 81734530 edges,
lola: 72 tries, 71351768 fired transitions, 1490 secs || 46017520 markings, 82032558 edges,
lola: 72 tries, 71605434 fired transitions, 1495 secs || 46166057 markings, 82329718 edges,
lola: 72 tries, 71865007 fired transitions, 1500 secs || 46314602 markings, 82631082 edges,
lola: 73 tries, 72072392 fired transitions, 1505 secs || 46456312 markings, 82907322 edges,
lola: 73 tries, 72226166 fired transitions, 1510 secs || 46593002 markings, 83184426 edges,
lola: 73 tries, 72436330 fired transitions, 1515 secs || 46738433 markings, 83476930 edges,
lola: 73 tries, 72719639 fired transitions, 1520 secs || 46876030 markings, 83752216 edges,
lola: 74 tries, 73002816 fired transitions, 1525 secs || 47011323 markings, 84029761 edges,
lola: 74 tries, 73184880 fired transitions, 1530 secs || 47154741 markings, 84322222 edges,
lola: 74 tries, 73379917 fired transitions, 1535 secs || 47295827 markings, 84616543 edges,
lola: 74 tries, 73652249 fired transitions, 1540 secs || 47451057 markings, 84933809 edges,
lola: 74 tries, 73919660 fired transitions, 1545 secs || 47598975 markings, 85228962 edges,
lola: 75 tries, 74154962 fired transitions, 1550 secs || 47759101 markings, 85529096 edges,
lola: 75 tries, 74372249 fired transitions, 1555 secs || 47905863 markings, 85827748 edges,
lola: 75 tries, 74590535 fired transitions, 1560 secs || 48055776 markings, 86132202 edges,
lola: 75 tries, 74807025 fired transitions, 1565 secs || 48204346 markings, 86427687 edges,
lola: 76 tries, 75023231 fired transitions, 1570 secs || 48344261 markings, 86694942 edges,
lola: 76 tries, 75248192 fired transitions, 1575 secs || 48484300 markings, 86955119 edges,
lola: 76 tries, 75474400 fired transitions, 1580 secs || 48627902 markings, 87224894 edges,
lola: 76 tries, 75700802 fired transitions, 1585 secs || 48763979 markings, 87482413 edges,
lola: 76 tries, 75924250 fired transitions, 1590 secs || 48901959 markings, 87748325 edges,
lola: 77 tries, 76137746 fired transitions, 1595 secs || 49032945 markings, 87996777 edges,
lola: 77 tries, 76361452 fired transitions, 1600 secs || 49166819 markings, 88257241 edges,
lola: 77 tries, 76579483 fired transitions, 1605 secs || 49300939 markings, 88506831 edges,
lola: 77 tries, 76799856 fired transitions, 1610 secs || 49434964 markings, 88765291 edges,
lola: 78 tries, 77023939 fired transitions, 1615 secs || 49571382 markings, 89022781 edges,
lola: 78 tries, 77237745 fired transitions, 1620 secs || 49702052 markings, 89271870 edges,
lola: 78 tries, 77451425 fired transitions, 1625 secs || 49829601 markings, 89524345 edges,
lola: 78 tries, 77667767 fired transitions, 1630 secs || 49954430 markings, 89775216 edges,
lola: 78 tries, 77879996 fired transitions, 1635 secs || 50091396 markings, 90040095 edges,
lola: 79 tries, 78082823 fired transitions, 1640 secs || 50224361 markings, 90301550 edges,
lola: 79 tries, 78336293 fired transitions, 1645 secs || 50361695 markings, 90570775 edges,
lola: 79 tries, 78593051 fired transitions, 1650 secs || 50505756 markings, 90838594 edges,
lola: 79 tries, 78848812 fired transitions, 1655 secs || 50639672 markings, 91100156 edges,
lola: 80 tries, 79102037 fired transitions, 1660 secs || 50771622 markings, 91371033 edges,
lola: 80 tries, 79337597 fired transitions, 1665 secs || 50912110 markings, 91650116 edges,
lola: 80 tries, 79596328 fired transitions, 1670 secs || 51049994 markings, 91920129 edges,
lola: 80 tries, 79859411 fired transitions, 1675 secs || 51186999 markings, 92200671 edges,
lola: 81 tries, 80106324 fired transitions, 1680 secs || 51335063 markings, 92476082 edges,
lola: 81 tries, 80369819 fired transitions, 1685 secs || 51474378 markings, 92761976 edges,
lola: 81 tries, 80626388 fired transitions, 1690 secs || 51611664 markings, 93026284 edges,
lola: 81 tries, 80886985 fired transitions, 1695 secs || 51762316 markings, 93297433 edges,
lola: 82 tries, 81137061 fired transitions, 1700 secs || 51900881 markings, 93555610 edges,
lola: 82 tries, 81300852 fired transitions, 1705 secs || 52039414 markings, 93819218 edges,
lola: 82 tries, 81469755 fired transitions, 1710 secs || 52190474 markings, 94112557 edges,
lola: 82 tries, 81633695 fired transitions, 1715 secs || 52337872 markings, 94404720 edges,
lola: 82 tries, 81895262 fired transitions, 1720 secs || 52484964 markings, 94700805 edges,
lola: 83 tries, 82154269 fired transitions, 1725 secs || 52618676 markings, 94964545 edges,
lola: 83 tries, 82377398 fired transitions, 1730 secs || 52747039 markings, 95213649 edges,
lola: 83 tries, 82602070 fired transitions, 1735 secs || 52879193 markings, 95477801 edges,
lola: 83 tries, 82829834 fired transitions, 1740 secs || 53014307 markings, 95744458 edges,
lola: 84 tries, 83070307 fired transitions, 1745 secs || 53144865 markings, 95996314 edges,
lola: 84 tries, 83337453 fired transitions, 1750 secs || 53275333 markings, 96264962 edges,
lola: 84 tries, 83558602 fired transitions, 1755 secs || 53409402 markings, 96540267 edges,
lola: 84 tries, 83785393 fired transitions, 1760 secs || 53542166 markings, 96833538 edges,
lola: 85 tries, 84014986 fired transitions, 1765 secs || 53684544 markings, 97126107 edges,
lola: 85 tries, 84251441 fired transitions, 1770 secs || 53813306 markings, 97399901 edges,
lola: 85 tries, 84477553 fired transitions, 1775 secs || 53937281 markings, 97659657 edges,
lola: 85 tries, 84702953 fired transitions, 1780 secs || 54060461 markings, 97910604 edges,
lola: 85 tries, 84927408 fired transitions, 1785 secs || 54192918 markings, 98168861 edges,
lola: 86 tries, 85184338 fired transitions, 1790 secs || 54332938 markings, 98432538 edges,
lola: 86 tries, 85485401 fired transitions, 1795 secs || 54483540 markings, 98718477 edges,
lola: 86 tries, 85791931 fired transitions, 1800 secs || 54630151 markings, 99008434 edges,
lola: 87 tries, 86085371 fired transitions, 1805 secs || 54773927 markings, 99292857 edges,
lola: 87 tries, 86361573 fired transitions, 1810 secs || 54915722 markings, 99569271 edges,
lola: 87 tries, 86632784 fired transitions, 1815 secs || 55063304 markings, 99867185 edges,
lola: 87 tries, 86905659 fired transitions, 1820 secs || 55221470 markings, 100171314 edges,
lola: 88 tries, 87129007 fired transitions, 1825 secs || 55356886 markings, 100452964 edges,
lola: 88 tries, 87378971 fired transitions, 1830 secs || 55508319 markings, 100760581 edges,
lola: 88 tries, 87630970 fired transitions, 1835 secs || 55658960 markings, 101058732 edges,
lola: 88 tries, 87876810 fired transitions, 1840 secs || 55790537 markings, 101338334 edges,
lola: 89 tries, 88104043 fired transitions, 1845 secs || 55938513 markings, 101625406 edges,
lola: 89 tries, 88324074 fired transitions, 1850 secs || 56086760 markings, 101923391 edges,
lola: 89 tries, 88602928 fired transitions, 1855 secs || 56232909 markings, 102213931 edges,
lola: 89 tries, 88878838 fired transitions, 1860 secs || 56375465 markings, 102491610 edges,
lola: 90 tries, 89123742 fired transitions, 1865 secs || 56511351 markings, 102768357 edges,
lola: 90 tries, 89341307 fired transitions, 1870 secs || 56657741 markings, 103051173 edges,
lola: 90 tries, 89557342 fired transitions, 1875 secs || 56802471 markings, 103332433 edges,
lola: 90 tries, 89805875 fired transitions, 1880 secs || 56946727 markings, 103614512 edges,
lola: 91 tries, 90071540 fired transitions, 1885 secs || 57093244 markings, 103907345 edges,
lola: 91 tries, 90342344 fired transitions, 1890 secs || 57248242 markings, 104205444 edges,
lola: 91 tries, 90615368 fired transitions, 1895 secs || 57396805 markings, 104503573 edges,
lola: 91 tries, 90880686 fired transitions, 1900 secs || 57543065 markings, 104790991 edges,
lola: 92 tries, 91090589 fired transitions, 1905 secs || 57685848 markings, 105073134 edges,
lola: 92 tries, 91262372 fired transitions, 1910 secs || 57831464 markings, 105357547 edges,
lola: 92 tries, 91555556 fired transitions, 1915 secs || 57964150 markings, 105618468 edges,
lola: 92 tries, 91861371 fired transitions, 1920 secs || 58095442 markings, 105887155 edges,
lola: 93 tries, 92106847 fired transitions, 1925 secs || 58231191 markings, 106159635 edges,
lola: 93 tries, 92370987 fired transitions, 1930 secs || 58366831 markings, 106442694 edges,
lola: 93 tries, 92632088 fired transitions, 1935 secs || 58506382 markings, 106731311 edges,
lola: 93 tries, 92896176 fired transitions, 1940 secs || 58647233 markings, 107026175 edges,
lola: 94 tries, 93148584 fired transitions, 1945 secs || 58779609 markings, 107309894 edges,
lola: 94 tries, 93405442 fired transitions, 1950 secs || 58915866 markings, 107603527 edges,
lola: 94 tries, 93664606 fired transitions, 1955 secs || 59053830 markings, 107907863 edges,
lola: 94 tries, 93916744 fired transitions, 1960 secs || 59182915 markings, 108182582 edges,
lola: 95 tries, 94175105 fired transitions, 1965 secs || 59313593 markings, 108466625 edges,
lola: 95 tries, 94398298 fired transitions, 1970 secs || 59457041 markings, 108759346 edges,
lola: 95 tries, 94622048 fired transitions, 1975 secs || 59602094 markings, 109059531 edges,
lola: 95 tries, 94846645 fired transitions, 1980 secs || 59755036 markings, 109363741 edges,
lola: 96 tries, 95060653 fired transitions, 1985 secs || 59896499 markings, 109657430 edges,
lola: 96 tries, 95267769 fired transitions, 1990 secs || 60028532 markings, 109933449 edges,
lola: 96 tries, 95529134 fired transitions, 1995 secs || 60171259 markings, 110235656 edges,
lola: 96 tries, 95792476 fired transitions, 2000 secs || 60317846 markings, 110541018 edges,
lola: 97 tries, 96042300 fired transitions, 2005 secs || 60452436 markings, 110828617 edges,
lola: 97 tries, 96265141 fired transitions, 2010 secs || 60576072 markings, 111105175 edges,
lola: 97 tries, 96490074 fired transitions, 2015 secs || 60712653 markings, 111406732 edges,
lola: 97 tries, 96716702 fired transitions, 2020 secs || 60854017 markings, 111712496 edges,
lola: 97 tries, 96942486 fired transitions, 2025 secs || 60980333 markings, 111992972 edges,
lola: 98 tries, 97164968 fired transitions, 2030 secs || 61102681 markings, 112271970 edges,
lola: 98 tries, 97391194 fired transitions, 2035 secs || 61223084 markings, 112538480 edges,
lola: 98 tries, 97618201 fired transitions, 2040 secs || 61351851 markings, 112811009 edges,
lola: 98 tries, 97843375 fired transitions, 2045 secs || 61475965 markings, 113087190 edges,
lola: 99 tries, 98066792 fired transitions, 2050 secs || 61607802 markings, 113380122 edges,
lola: 99 tries, 98288134 fired transitions, 2055 secs || 61736225 markings, 113666034 edges,
lola: 99 tries, 98502899 fired transitions, 2060 secs || 61869790 markings, 113945731 edges,
lola: 99 tries, 98778289 fired transitions, 2065 secs || 62013289 markings, 114243045 edges,
lola: 100 tries, 99052693 fired transitions, 2070 secs || 62153414 markings, 114543154 edges,
lola: 100 tries, 99351195 fired transitions, 2075 secs || 62293022 markings, 114833183 edges,
lola: 100 tries, 99626333 fired transitions, 2080 secs || 62454331 markings, 115131949 edges,
lola: 100 tries, 99892076 fired transitions, 2085 secs || 62621177 markings, 115440135 edges,
lola: 101 tries, 100149570 fired transitions, 2090 secs || 62771929 markings, 115731172 edges,
lola: 101 tries, 100374197 fired transitions, 2095 secs || 62916015 markings, 116011408 edges,
lola: 101 tries, 100598865 fired transitions, 2100 secs || 63067702 markings, 116291418 edges,
lola: 101 tries, 100823897 fired transitions, 2105 secs || 63214111 markings, 116569206 edges,
lola: 102 tries, 101049544 fired transitions, 2110 secs || 63360259 markings, 116856677 edges,
lola: 102 tries, 101269996 fired transitions, 2115 secs || 63498025 markings, 117147344 edges,
lola: 102 tries, 101489007 fired transitions, 2120 secs || 63643085 markings, 117439399 edges,
lola: 102 tries, 101710058 fired transitions, 2125 secs || 63792712 markings, 117748462 edges,
lola: 102 tries, 101932815 fired transitions, 2130 secs || 63938318 markings, 118060949 edges,
lola: 103 tries, 102179860 fired transitions, 2135 secs || 64076823 markings, 118344854 edges,
lola: 103 tries, 102441289 fired transitions, 2140 secs || 64216356 markings, 118638726 edges,
lola: 103 tries, 102695351 fired transitions, 2145 secs || 64364199 markings, 118919119 edges,
lola: 103 tries, 102954949 fired transitions, 2150 secs || 64506576 markings, 119206526 edges,
lola: 104 tries, 103242383 fired transitions, 2155 secs || 64651287 markings, 119507519 edges,
lola: 104 tries, 103535990 fired transitions, 2160 secs || 64807992 markings, 119817773 edges,
lola: 104 tries, 103830166 fired transitions, 2165 secs || 64952900 markings, 120127844 edges,
lola: 105 tries, 104071428 fired transitions, 2170 secs || 65096586 markings, 120426039 edges,
lola: 105 tries, 104241279 fired transitions, 2175 secs || 65243210 markings, 120712771 edges,
lola: 105 tries, 104415574 fired transitions, 2180 secs || 65380661 markings, 121002361 edges,
lola: 105 tries, 104589654 fired transitions, 2185 secs || 65519071 markings, 121291928 edges,
lola: 105 tries, 104780341 fired transitions, 2190 secs || 65659703 markings, 121590247 edges,
lola: 106 tries, 105041718 fired transitions, 2195 secs || 65802510 markings, 121876590 edges,
lola: 106 tries, 105267822 fired transitions, 2200 secs || 65945768 markings, 122180377 edges,
lola: 106 tries, 105494946 fired transitions, 2205 secs || 66087444 markings, 122487368 edges,
lola: 106 tries, 105719299 fired transitions, 2210 secs || 66215507 markings, 122765328 edges,
lola: 106 tries, 105945191 fired transitions, 2215 secs || 66345777 markings, 123050127 edges,
lola: 107 tries, 106191514 fired transitions, 2220 secs || 66479021 markings, 123317064 edges,
lola: 107 tries, 106465193 fired transitions, 2225 secs || 66623232 markings, 123606171 edges,
lola: 107 tries, 106738349 fired transitions, 2230 secs || 66758238 markings, 123879773 edges,
lola: 108 tries, 107011647 fired transitions, 2235 secs || 66899301 markings, 124161396 edges,
lola: 108 tries, 107241558 fired transitions, 2240 secs || 67028393 markings, 124438625 edges,
lola: 108 tries, 107465900 fired transitions, 2245 secs || 67164458 markings, 124722687 edges,
lola: 108 tries, 107689454 fired transitions, 2250 secs || 67298292 markings, 125010745 edges,
lola: 108 tries, 107911519 fired transitions, 2255 secs || 67429646 markings, 125295557 edges,
lola: 109 tries, 108150735 fired transitions, 2260 secs || 67568186 markings, 125588822 edges,
lola: 109 tries, 108447399 fired transitions, 2265 secs || 67709233 markings, 125875357 edges,
lola: 109 tries, 108742128 fired transitions, 2270 secs || 67845420 markings, 126159755 edges,
lola: 110 tries, 109024846 fired transitions, 2275 secs || 67971365 markings, 126431440 edges,
lola: 110 tries, 109251153 fired transitions, 2280 secs || 68090278 markings, 126689321 edges,
lola: 110 tries, 109479474 fired transitions, 2285 secs || 68213424 markings, 126960086 edges,
lola: 110 tries, 109709936 fired transitions, 2290 secs || 68341629 markings, 127238212 edges,
lola: 110 tries, 109969026 fired transitions, 2295 secs || 68469432 markings, 127517798 edges,
lola: 111 tries, 110203510 fired transitions, 2300 secs || 68618638 markings, 127792896 edges,
lola: 111 tries, 110477361 fired transitions, 2305 secs || 68752175 markings, 128063993 edges,
lola: 111 tries, 110770423 fired transitions, 2310 secs || 68893093 markings, 128352424 edges,
lola: 112 tries, 111048227 fired transitions, 2315 secs || 69030401 markings, 128641640 edges,
lola: 112 tries, 111270181 fired transitions, 2320 secs || 69154736 markings, 128912562 edges,
lola: 112 tries, 111492332 fired transitions, 2325 secs || 69281494 markings, 129200310 edges,
lola: 112 tries, 111708487 fired transitions, 2330 secs || 69417566 markings, 129478563 edges,
lola: 112 tries, 111937992 fired transitions, 2335 secs || 69550014 markings, 129764583 edges,
lola: 113 tries, 112192129 fired transitions, 2340 secs || 69672343 markings, 130045128 edges,
lola: 113 tries, 112456171 fired transitions, 2345 secs || 69799427 markings, 130343406 edges,
lola: 113 tries, 112724796 fired transitions, 2350 secs || 69938710 markings, 130636739 edges,
lola: 113 tries, 112995631 fired transitions, 2355 secs || 70078196 markings, 130935649 edges,
lola: 114 tries, 113240353 fired transitions, 2360 secs || 70215856 markings, 131224474 edges,
lola: 114 tries, 113499263 fired transitions, 2365 secs || 70348665 markings, 131520116 edges,
lola: 114 tries, 113751354 fired transitions, 2370 secs || 70483758 markings, 131798011 edges,
lola: 115 tries, 114013064 fired transitions, 2375 secs || 70616803 markings, 132087919 edges,
lola: 115 tries, 114245710 fired transitions, 2380 secs || 70757269 markings, 132382373 edges,
lola: 115 tries, 114509636 fired transitions, 2385 secs || 70892073 markings, 132679759 edges,
lola: 115 tries, 114774897 fired transitions, 2390 secs || 71025351 markings, 132981568 edges,
lola: 116 tries, 115025901 fired transitions, 2395 secs || 71161138 markings, 133269968 edges,
lola: 116 tries, 115203966 fired transitions, 2400 secs || 71293846 markings, 133546777 edges,
lola: 116 tries, 115380487 fired transitions, 2405 secs || 71423989 markings, 133826124 edges,
lola: 116 tries, 115558420 fired transitions, 2410 secs || 71558147 markings, 134104377 edges,
lola: 116 tries, 115737630 fired transitions, 2415 secs || 71692212 markings, 134391541 edges,
lola: 116 tries, 115917347 fired transitions, 2420 secs || 71830047 markings, 134677649 edges,
lola: 117 tries, 116118384 fired transitions, 2425 secs || 71954269 markings, 134948773 edges,
lola: 117 tries, 116332243 fired transitions, 2430 secs || 72107459 markings, 135229199 edges,
lola: 117 tries, 116544733 fired transitions, 2435 secs || 72259426 markings, 135518431 edges,
lola: 117 tries, 116764363 fired transitions, 2440 secs || 72420477 markings, 135817134 edges,
lola: 117 tries, 116987967 fired transitions, 2445 secs || 72572389 markings, 136118891 edges,
lola: 118 tries, 117163164 fired transitions, 2450 secs || 72725239 markings, 136407610 edges,
lola: 118 tries, 117346721 fired transitions, 2455 secs || 72880507 markings, 136711557 edges,
lola: 118 tries, 117531002 fired transitions, 2460 secs || 73023772 markings, 137009205 edges,
lola: 118 tries, 117714737 fired transitions, 2465 secs || 73179449 markings, 137309433 edges,
lola: 118 tries, 117899169 fired transitions, 2470 secs || 73330327 markings, 137615608 edges,
lola: 119 tries, 118070895 fired transitions, 2475 secs || 73475595 markings, 137907660 edges,
lola: 119 tries, 118231196 fired transitions, 2480 secs || 73622678 markings, 138197855 edges,
lola: 119 tries, 118469254 fired transitions, 2485 secs || 73766569 markings, 138494421 edges,
lola: 119 tries, 118648937 fired transitions, 2490 secs || 73913733 markings, 138790834 edges,
lola: 119 tries, 118827144 fired transitions, 2495 secs || 74078193 markings, 139094864 edges,
lola: 120 tries, 119009159 fired transitions, 2500 secs || 74241773 markings, 139399117 edges,
lola: 120 tries, 119237529 fired transitions, 2505 secs || 74395539 markings, 139697270 edges,
lola: 120 tries, 119461868 fired transitions, 2510 secs || 74558480 markings, 140004058 edges,
lola: 120 tries, 119685192 fired transitions, 2515 secs || 74705271 markings, 140305324 edges,
lola: 120 tries, 119908100 fired transitions, 2520 secs || 74839024 markings, 140595056 edges,
lola: 121 tries, 120146484 fired transitions, 2525 secs || 74978969 markings, 140893099 edges,
lola: 121 tries, 120396949 fired transitions, 2530 secs || 75111961 markings, 141171244 edges,
lola: 121 tries, 120660099 fired transitions, 2535 secs || 75250566 markings, 141447140 edges,
lola: 121 tries, 120924201 fired transitions, 2540 secs || 75385437 markings, 141724549 edges,
lola: 122 tries, 121154794 fired transitions, 2545 secs || 75511095 markings, 141988961 edges,
lola: 122 tries, 121383089 fired transitions, 2550 secs || 75642813 markings, 142264862 edges,
lola: 122 tries, 121612573 fired transitions, 2555 secs || 75776290 markings, 142543976 edges,
lola: 122 tries, 121838282 fired transitions, 2560 secs || 75914292 markings, 142827730 edges,
lola: 123 tries, 122075866 fired transitions, 2565 secs || 76056267 markings, 143117683 edges,
lola: 123 tries, 122358625 fired transitions, 2570 secs || 76191585 markings, 143392774 edges,
lola: 123 tries, 122633841 fired transitions, 2575 secs || 76331815 markings, 143672264 edges,
lola: 123 tries, 122916172 fired transitions, 2580 secs || 76473054 markings, 143966576 edges,
lola: 124 tries, 123122310 fired transitions, 2585 secs || 76611077 markings, 144257075 edges,
lola: 124 tries, 123293583 fired transitions, 2590 secs || 76746368 markings, 144541615 edges,
lola: 124 tries, 123465648 fired transitions, 2595 secs || 76878175 markings, 144819888 edges,
lola: 124 tries, 123639943 fired transitions, 2600 secs || 77022325 markings, 145112004 edges,
lola: 124 tries, 123813539 fired transitions, 2605 secs || 77162918 markings, 145416495 edges,
lola: 124 tries, 123985971 fired transitions, 2610 secs || 77283841 markings, 145696022 edges,
lola: 125 tries, 124201740 fired transitions, 2615 secs || 77408152 markings, 145977636 edges,
lola: 125 tries, 124415931 fired transitions, 2620 secs || 77537832 markings, 146248310 edges,
lola: 125 tries, 124634953 fired transitions, 2625 secs || 77664624 markings, 146522242 edges,
lola: 125 tries, 124855209 fired transitions, 2630 secs || 77813608 markings, 146825631 edges,
lola: 126 tries, 125078763 fired transitions, 2635 secs || 77969263 markings, 147102630 edges,
lola: 126 tries, 125341327 fired transitions, 2640 secs || 78114602 markings, 147367894 edges,
lola: 126 tries, 125607350 fired transitions, 2645 secs || 78261054 markings, 147628836 edges,
lola: 126 tries, 125882368 fired transitions, 2650 secs || 78413995 markings, 147904900 edges,
lola: 127 tries, 126143292 fired transitions, 2655 secs || 78563034 markings, 148181850 edges,
lola: 127 tries, 126408173 fired transitions, 2660 secs || 78706259 markings, 148453191 edges,
lola: 127 tries, 126668902 fired transitions, 2665 secs || 78853512 markings, 148717936 edges,
lola: 127 tries, 126934975 fired transitions, 2670 secs || 79000149 markings, 148991235 edges,
lola: 128 tries, 127208066 fired transitions, 2675 secs || 79138639 markings, 149253187 edges,
lola: 128 tries, 127488105 fired transitions, 2680 secs || 79278300 markings, 149514138 edges,
lola: 128 tries, 127770547 fired transitions, 2685 secs || 79417305 markings, 149779258 edges,
lola: 129 tries, 128037351 fired transitions, 2690 secs || 79564539 markings, 150059080 edges,
lola: 129 tries, 128300264 fired transitions, 2695 secs || 79710100 markings, 150330463 edges,
lola: 129 tries, 128581208 fired transitions, 2700 secs || 79862249 markings, 150611434 edges,
lola: 129 tries, 128862880 fired transitions, 2705 secs || 80014172 markings, 150891755 edges,
lola: 130 tries, 129103458 fired transitions, 2710 secs || 80155000 markings, 151155339 edges,
lola: 130 tries, 129281506 fired transitions, 2715 secs || 80300571 markings, 151436387 edges,
lola: 130 tries, 129461367 fired transitions, 2720 secs || 80443646 markings, 151717079 edges,
lola: 130 tries, 129638473 fired transitions, 2725 secs || 80587055 markings, 151989520 edges,
lola: 130 tries, 129816259 fired transitions, 2730 secs || 80728187 markings, 152263718 edges,
lola: 130 tries, 129993793 fired transitions, 2735 secs || 80868451 markings, 152535881 edges,
lola: 131 tries, 130242936 fired transitions, 2740 secs || 81001642 markings, 152804817 edges,
lola: 131 tries, 130514905 fired transitions, 2745 secs || 81146093 markings, 153089915 edges,
lola: 131 tries, 130784011 fired transitions, 2750 secs || 81288999 markings, 153359712 edges,
lola: 132 tries, 131039634 fired transitions, 2755 secs || 81427368 markings, 153631804 edges,
lola: 132 tries, 131308595 fired transitions, 2760 secs || 81569761 markings, 153911837 edges,
lola: 132 tries, 131581835 fired transitions, 2765 secs || 81712833 markings, 154200025 edges,
lola: 132 tries, 131855105 fired transitions, 2770 secs || 81861136 markings, 154484295 edges,
lola: 133 tries, 132108869 fired transitions, 2775 secs || 81998348 markings, 154766388 edges,
lola: 133 tries, 132309142 fired transitions, 2780 secs || 82140609 markings, 155059978 edges,
lola: 133 tries, 132574214 fired transitions, 2785 secs || 82285991 markings, 155344040 edges,
lola: 133 tries, 132838444 fired transitions, 2790 secs || 82436387 markings, 155629328 edges,
lola: 134 tries, 133113862 fired transitions, 2795 secs || 82585485 markings, 155914001 edges,
lola: 134 tries, 133377942 fired transitions, 2800 secs || 82727466 markings, 156193127 edges,
lola: 134 tries, 133650735 fired transitions, 2805 secs || 82884814 markings, 156494257 edges,
lola: 134 tries, 133909730 fired transitions, 2810 secs || 83029725 markings, 156757758 edges,
lola: 135 tries, 134124162 fired transitions, 2815 secs || 83164519 markings, 157008409 edges,
lola: 135 tries, 134395177 fired transitions, 2820 secs || 83290135 markings, 157262430 edges,
lola: 135 tries, 134663080 fired transitions, 2825 secs || 83414606 markings, 157517913 edges,
lola: 135 tries, 134932890 fired transitions, 2830 secs || 83543296 markings, 157780368 edges,
lola: 136 tries, 135203603 fired transitions, 2835 secs || 83668649 markings, 158034454 edges,
lola: 136 tries, 135470015 fired transitions, 2840 secs || 83795358 markings, 158294357 edges,
lola: 136 tries, 135737777 fired transitions, 2845 secs || 83923636 markings, 158564400 edges,
lola: 137 tries, 136009187 fired transitions, 2850 secs || 84055315 markings, 158833690 edges,
lola: 137 tries, 136294616 fired transitions, 2855 secs || 84191165 markings, 159108978 edges,
lola: 137 tries, 136570687 fired transitions, 2860 secs || 84326272 markings, 159384317 edges,
lola: 137 tries, 136842625 fired transitions, 2865 secs || 84466220 markings, 159666327 edges,
lola: 138 tries, 137123988 fired transitions, 2870 secs || 84617905 markings, 159952959 edges,
lola: 138 tries, 137386071 fired transitions, 2875 secs || 84772690 markings, 160241050 edges,
lola: 138 tries, 137628920 fired transitions, 2880 secs || 84924087 markings, 160527831 edges,
lola: 138 tries, 137884240 fired transitions, 2885 secs || 85072595 markings, 160823567 edges,
lola: 139 tries, 138127415 fired transitions, 2890 secs || 85213334 markings, 161078623 edges,
lola: 139 tries, 138400675 fired transitions, 2895 secs || 85362076 markings, 161354101 edges,
lola: 139 tries, 138677450 fired transitions, 2900 secs || 85508670 markings, 161631375 edges,
lola: 139 tries, 138949704 fired transitions, 2905 secs || 85658316 markings, 161913211 edges,
lola: 140 tries, 139176654 fired transitions, 2910 secs || 85791189 markings, 162164152 edges,
lola: 140 tries, 139359987 fired transitions, 2915 secs || 85941699 markings, 162453031 edges,
lola: 140 tries, 139541091 fired transitions, 2920 secs || 86086571 markings, 162728920 edges,
lola: 140 tries, 139716161 fired transitions, 2925 secs || 86228751 markings, 163001914 edges,
lola: 140 tries, 139902255 fired transitions, 2930 secs || 86365727 markings, 163272223 edges,
lola: 141 tries, 140119894 fired transitions, 2935 secs || 86509945 markings, 163564251 edges,
lola: 141 tries, 140367668 fired transitions, 2940 secs || 86655966 markings, 163851570 edges,
lola: 141 tries, 140644029 fired transitions, 2945 secs || 86794856 markings, 164132356 edges,
lola: 141 tries, 140922379 fired transitions, 2950 secs || 86940423 markings, 164407063 edges,
lola: 142 tries, 141169383 fired transitions, 2955 secs || 87079373 markings, 164691100 edges,
lola: 142 tries, 141379759 fired transitions, 2960 secs || 87232069 markings, 164989224 edges,
lola: 142 tries, 141643061 fired transitions, 2965 secs || 87376435 markings, 165280858 edges,
lola: 142 tries, 141902538 fired transitions, 2970 secs || 87511264 markings, 165568659 edges,
lola: 143 tries, 142160959 fired transitions, 2975 secs || 87655546 markings, 165837133 edges,
lola: 143 tries, 142408141 fired transitions, 2980 secs || 87795836 markings, 166109503 edges,
lola: 143 tries, 142671716 fired transitions, 2985 secs || 87940166 markings, 166400889 edges,
lola: 143 tries, 142939548 fired transitions, 2990 secs || 88090071 markings, 166698970 edges,
lola: 144 tries, 143188983 fired transitions, 2995 secs || 88222201 markings, 166978390 edges,
lola: 144 tries, 143465426 fired transitions, 3000 secs || 88360109 markings, 167272805 edges,
lola: 144 tries, 143746817 fired transitions, 3005 secs || 88504121 markings, 167566996 edges,
lola: 145 tries, 144015283 fired transitions, 3010 secs || 88656842 markings, 167859240 edges,
lola: 145 tries, 144268695 fired transitions, 3015 secs || 88798629 markings, 168138600 edges,
lola: 145 tries, 144559234 fired transitions, 3020 secs || 88936154 markings, 168412945 edges,
lola: 145 tries, 144858451 fired transitions, 3025 secs || 89096374 markings, 168713927 edges,
lola: 146 tries, 145116942 fired transitions, 3030 secs || 89240552 markings, 169011511 edges,
lola: 146 tries, 145341251 fired transitions, 3035 secs || 89390765 markings, 169311806 edges,
lola: 146 tries, 145567062 fired transitions, 3040 secs || 89542403 markings, 169612927 edges,
lola: 146 tries, 145811891 fired transitions, 3045 secs || 89699634 markings, 169925722 edges,
lola: 147 tries, 146066779 fired transitions, 3050 secs || 89837172 markings, 170219653 edges,
lola: 147 tries, 146290774 fired transitions, 3055 secs || 89978948 markings, 170510938 edges,
lola: 147 tries, 146511756 fired transitions, 3060 secs || 90136336 markings, 170796977 edges,
lola: 147 tries, 146734303 fired transitions, 3065 secs || 90293148 markings, 171094440 edges,
lola: 147 tries, 146956517 fired transitions, 3070 secs || 90445482 markings, 171396074 edges,
lola: 148 tries, 147192267 fired transitions, 3075 secs || 90601918 markings, 171687325 edges,
lola: 148 tries, 147487968 fired transitions, 3080 secs || 90760657 markings, 171987514 edges,
lola: 148 tries, 147775850 fired transitions, 3085 secs || 90920062 markings, 172293549 edges,
lola: 149 tries, 148057313 fired transitions, 3090 secs || 91060112 markings, 172572476 edges,
lola: 149 tries, 148358789 fired transitions, 3095 secs || 91194071 markings, 172846490 edges,
lola: 149 tries, 148664328 fired transitions, 3100 secs || 91331714 markings, 173137293 edges,
lola: 149 tries, 148973626 fired transitions, 3105 secs || 91495765 markings, 173452259 edges,
lola: 150 tries, 149246981 fired transitions, 3110 secs || 91653044 markings, 173758957 edges,
lola: 150 tries, 149539440 fired transitions, 3115 secs || 91790046 markings, 174043882 edges,
lola: 150 tries, 149823037 fired transitions, 3120 secs || 91922959 markings, 174310732 edges,
lola: 151 tries, 150107882 fired transitions, 3125 secs || 92059740 markings, 174591936 edges,
lola: 151 tries, 150350367 fired transitions, 3130 secs || 92197167 markings, 174879747 edges,
lola: 151 tries, 150566918 fired transitions, 3135 secs || 92328278 markings, 175162014 edges,
lola: 151 tries, 150790195 fired transitions, 3140 secs || 92477192 markings, 175445131 edges,
lola: 152 tries, 151015807 fired transitions, 3145 secs || 92633221 markings, 175727053 edges,
lola: 152 tries, 151275313 fired transitions, 3150 secs || 92779305 markings, 175999120 edges,
lola: 152 tries, 151567786 fired transitions, 3155 secs || 92928791 markings, 176276406 edges,
lola: 152 tries, 151794732 fired transitions, 3160 secs || 93076637 markings, 176552542 edges,
lola: 152 tries, 151972647 fired transitions, 3165 secs || 93222923 markings, 176834829 edges,
lola: 153 tries, 152228779 fired transitions, 3170 secs || 93368009 markings, 177110114 edges,
lola: 153 tries, 152534953 fired transitions, 3175 secs || 93511136 markings, 177382309 edges,
lola: 153 tries, 152843068 fired transitions, 3180 secs || 93655075 markings, 177668430 edges,
lola: 154 tries, 153105772 fired transitions, 3185 secs || 93800001 markings, 177943280 edges,
lola: 154 tries, 153327551 fired transitions, 3190 secs || 93942565 markings, 178215453 edges,
lola: 154 tries, 153550005 fired transitions, 3195 secs || 94086172 markings, 178502980 edges,
lola: 154 tries, 153772090 fired transitions, 3200 secs || 94236077 markings, 178795404 edges,
lola: 154 tries, 153994701 fired transitions, 3205 secs || 94377815 markings, 179079187 edges,
lola: 155 tries, 154275001 fired transitions, 3210 secs || 94506381 markings, 179362188 edges,
lola: 155 tries, 154555374 fired transitions, 3215 secs || 94642542 markings, 179639918 edges,
lola: 155 tries, 154836630 fired transitions, 3220 secs || 94771947 markings, 179919624 edges,
lola: 156 tries, 155118769 fired transitions, 3225 secs || 94895094 markings, 180199075 edges,
lola: 156 tries, 155401142 fired transitions, 3230 secs || 95016691 markings, 180471873 edges,
lola: 156 tries, 155647812 fired transitions, 3235 secs || 95151709 markings, 180757625 edges,
lola: 156 tries, 155826251 fired transitions, 3240 secs || 95297845 markings, 181058523 edges,
lola: 157 tries, 156007800 fired transitions, 3245 secs || 95445482 markings, 181358869 edges,
lola: 157 tries, 156273071 fired transitions, 3250 secs || 95590723 markings, 181655970 edges,
lola: 157 tries, 156546261 fired transitions, 3255 secs || 95749027 markings, 181967680 edges,
lola: 157 tries, 156813202 fired transitions, 3260 secs || 95885364 markings, 182252767 edges,
lola: 158 tries, 157057701 fired transitions, 3265 secs || 96033452 markings, 182545588 edges,
lola: 158 tries, 157354242 fired transitions, 3270 secs || 96190809 markings, 182845035 edges,
lola: 158 tries, 157654948 fired transitions, 3275 secs || 96342057 markings, 183140366 edges,
lola: 158 tries, 157957820 fired transitions, 3280 secs || 96500636 markings, 183450380 edges,
lola: 159 tries, 158183775 fired transitions, 3285 secs || 96645417 markings, 183748625 edges,
lola: 159 tries, 158455527 fired transitions, 3290 secs || 96790710 markings, 184066038 edges,
lola: 159 tries, 158721973 fired transitions, 3295 secs || 96940973 markings, 184383373 edges,
lola: 159 tries, 158991355 fired transitions, 3300 secs || 97086814 markings, 184685106 edges,
lola: 160 tries, 159285476 fired transitions, 3305 secs || 97229704 markings, 184975668 edges,
lola: 160 tries, 159593192 fired transitions, 3310 secs || 97370949 markings, 185272020 edges,
lola: 160 tries, 159901187 fired transitions, 3315 secs || 97519586 markings, 185562575 edges,
lola: 161 tries, 160185123 fired transitions, 3320 secs || 97664655 markings, 185863308 edges,
lola: 161 tries, 160443714 fired transitions, 3325 secs || 97811074 markings, 186165395 edges,
lola: 161 tries, 160623951 fired transitions, 3330 secs || 97953680 markings, 186454624 edges,
lola: 161 tries, 160804808 fired transitions, 3335 secs || 98107398 markings, 186742985 edges,
lola: 161 tries, 160985768 fired transitions, 3340 secs || 98266756 markings, 187039872 edges,
lola: 162 tries, 161196768 fired transitions, 3345 secs || 98424169 markings, 187335693 edges,
lola: 162 tries, 161476616 fired transitions, 3350 secs || 98581751 markings, 187631035 edges,
lola: 162 tries, 161765581 fired transitions, 3355 secs || 98744913 markings, 187942088 edges,
lola: 163 tries, 162039381 fired transitions, 3360 secs || 98907919 markings, 188252813 edges,
lola: 163 tries, 162310811 fired transitions, 3365 secs || 99061588 markings, 188558778 edges,
lola: 163 tries, 162585011 fired transitions, 3370 secs || 99198546 markings, 188844026 edges,
lola: 163 tries, 162860925 fired transitions, 3375 secs || 99324401 markings, 189107377 edges,
lola: 164 tries, 163127047 fired transitions, 3380 secs || 99455063 markings, 189379957 edges,
lola: 164 tries, 163398546 fired transitions, 3385 secs || 99588760 markings, 189656888 edges,
lola: 164 tries, 163671438 fired transitions, 3390 secs || 99719964 markings, 189942008 edges,
lola: 164 tries, 163947048 fired transitions, 3395 secs || 99851059 markings, 190219061 edges,
lola: 165 tries, 164189092 fired transitions, 3400 secs || 99980231 markings, 190506545 edges,
lola: 165 tries, 164417704 fired transitions, 3405 secs || 100118806 markings, 190802466 edges,
lola: 165 tries, 164652151 fired transitions, 3410 secs || 100253723 markings, 191100031 edges,
lola: 165 tries, 164886436 fired transitions, 3415 secs || 100396500 markings, 191395727 edges,
lola: 166 tries, 165145401 fired transitions, 3420 secs || 100525257 markings, 191665603 edges,
lola: 166 tries, 165447875 fired transitions, 3425 secs || 100659346 markings, 191931927 edges,
lola: 166 tries, 165751221 fired transitions, 3430 secs || 100792245 markings, 192206752 edges,
lola: 167 tries, 166042944 fired transitions, 3435 secs || 100926225 markings, 192489829 edges,
lola: 167 tries, 166264164 fired transitions, 3440 secs || 101057275 markings, 192759435 edges,
lola: 167 tries, 166487546 fired transitions, 3445 secs || 101190531 markings, 193037223 edges,
lola: 167 tries, 166707633 fired transitions, 3450 secs || 101325579 markings, 193321185 edges,
lola: 167 tries, 166929612 fired transitions, 3455 secs || 101456661 markings, 193610162 edges,
lola: 168 tries, 167150614 fired transitions, 3460 secs || 101599193 markings, 193907482 edges,
lola: 168 tries, 167418226 fired transitions, 3465 secs || 101733729 markings, 194205881 edges,
lola: 168 tries, 167686167 fired transitions, 3470 secs || 101860724 markings, 194495344 edges,
lola: 168 tries, 167952271 fired transitions, 3475 secs || 101999434 markings, 194791532 edges,
lola: 169 tries, 168180779 fired transitions, 3480 secs || 102135663 markings, 195089821 edges,
lola: 169 tries, 168402697 fired transitions, 3485 secs || 102301825 markings, 195396553 edges,
lola: 169 tries, 168626201 fired transitions, 3490 secs || 102458263 markings, 195708060 edges,
lola: 169 tries, 168850054 fired transitions, 3495 secs || 102615858 markings, 196026920 edges,
lola: 170 tries, 169065525 fired transitions, 3500 secs || 102767893 markings, 196338368 edges,
lola: 170 tries, 169370055 fired transitions, 3505 secs || 102911847 markings, 196629885 edges,
lola: 170 tries, 169662558 fired transitions, 3510 secs || 103055628 markings, 196926184 edges,
lola: 170 tries, 169928159 fired transitions, 3515 secs || 103198639 markings, 197240267 edges,
lola: 171 tries, 170189963 fired transitions, 3520 secs || 103369665 markings, 197559525 edges,
lola: 171 tries, 170498949 fired transitions, 3525 secs || 103517115 markings, 197868495 edges,
lola: 171 tries, 170808081 fired transitions, 3530 secs || 103670001 markings, 198185096 edges,
lola: 172 tries, 171099356 fired transitions, 3535 secs || 103821589 markings, 198501167 edges,
lola: 172 tries, 171375601 fired transitions, 3540 secs || 103960796 markings, 198802303 edges,
lola: 172 tries, 171652527 fired transitions, 3545 secs || 104094074 markings, 199091525 edges,
lola: 172 tries, 171914842 fired transitions, 3550 secs || 104224439 markings, 199353912 edges,
lola: 173 tries, 172145519 fired transitions, 3555 secs || 104364801 markings, 199620589 edges,
lola: 173 tries, 172400280 fired transitions, 3560 secs || 104523170 markings, 199921661 edges,
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552810177323

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 26500 markings/sec, 0 secs 23287 markings/sec, 5 secs 22733 markings/sec, 10 secs 23643 markings/sec, 15 secs 22506 markings/sec, 20 secs 22592 markings/sec, 25 secs 29946 markings/sec, 30 secs 30731 markings/sec, 35 secs 34036 markings/sec, 40 secs 34659 markings/sec, 45 secs 33973 markings/sec, 50 secs 33310 markings/sec, 55 secs 32113 markings/sec, 60 secs 31974 markings/sec, 65 secs 32116 markings/sec, 70 secs 32588 markings/sec, 75 secs 31759 markings/sec, 80 secs 31854 markings/sec, 85 secs 32857 markings/sec, 90 secs 31018 markings/sec, 95 secs 33311 markings/sec, 100 secs 33707 markings/sec, 105 secs 32875 markings/sec, 110 secs 32577 markings/sec, 115 secs 33869 markings/sec, 120 secs 29469 markings/sec, 125 secs 32996 markings/sec, 130 secs 33887 markings/sec, 135 secs 32767 markings/sec, 140 secs 34133 markings/sec, 145 secs 33133 markings/sec, 150 secs 33559 markings/sec, 155 secs 31246 markings/sec, 160 secs 32945 markings/sec, 165 secs 32890 markings/sec, 170 secs 32803 markings/sec, 175 secs 32096 markings/sec, 180 secs 33488 markings/sec, 185 secs 32420 markings/sec, 190 secs 29764 markings/sec, 195 secs 33908 markings/sec, 200 secs 34081 markings/sec, 205 secs 34115 markings/sec, 210 secs 33327 markings/sec, 215 secs 34004 markings/sec, 220 secs 30342 markings/sec, 225 secs 33615 markings/sec, 230 secs 33610 markings/sec, 235 secs 33510 markings/sec, 240 secs 33150 markings/sec, 245 secs 33231 markings/sec, 250 secs 33315 markings/sec, 255 secs 33120 markings/sec, 260 secs 32670 markings/sec, 265 secs 31505 markings/sec, 270 secs 32624 markings/sec, 275 secs 32665 markings/sec, 280 secs 33154 markings/sec, 285 secs 32636 markings/sec, 290 secs 30699 markings/sec, 295 secs 31089 markings/sec, 300 secs 33289 markings/sec, 305 secs 30804 markings/sec, 310 secs 33076 markings/sec, 315 secs 33428 markings/sec, 320 secs 28312 markings/sec, 325 secs 26379 markings/sec, 330 secs 27848 markings/sec, 335 secs 30090 markings/sec, 340 secs 29890 markings/sec, 345 secs 29219 markings/sec, 350 secs 29335 markings/sec, 355 secs 32027 markings/sec, 360 secs 33224 markings/sec, 365 secs 33283 markings/sec, 370 secs 32948 markings/sec, 375 secs 31666 markings/sec, 380 secs 33281 markings/sec, 385 secs 32104 markings/sec, 390 secs 33373 markings/sec, 395 secs 33219 markings/sec, 400 secs 30657 markings/sec, 405 secs 31773 markings/sec, 410 secs 30107 markings/sec, 415 secs 31173 markings/sec, 420 secs 32167 markings/sec, 425 secs 32176 markings/sec, 430 secs 31326 markings/sec, 435 secs 30968 markings/sec, 440 secs 29039 markings/sec, 445 secs 29198 markings/sec, 450 secs 30998 markings/sec, 455 secs 28837 markings/sec, 460 secs 29768 markings/sec, 465 secs 30069 markings/sec, 470 secs 29892 markings/sec, 475 secs 25592 markings/sec, 480 secs 33059 markings/sec, 485 secs 32086 markings/sec, 490 secs 32471 markings/sec, 495 secs 32777 markings/sec, 500 secs 32247 markings/sec, 505 secs 32242 markings/sec, 510 secs 30943 markings/sec, 515 secs 31960 markings/sec, 520 secs 32642 markings/sec, 525 secs 31274 markings/sec, 530 secs 33388 markings/sec, 535 secs 31788 markings/sec, 540 secs 31321 markings/sec, 545 secs 30901 markings/sec, 550 secs 32367 markings/sec, 555 secs 28656 markings/sec, 560 secs 26673 markings/sec, 565 secs 32343 markings/sec, 570 secs 31927 markings/sec, 575 secs 31097 markings/sec, 580 secs 32545 markings/sec, 585 secs 27650 markings/sec, 590 secs 27445 markings/sec, 595 secs 29890 markings/sec, 600 secs 33800 markings/sec, 605 secs 33496 markings/sec, 610 secs 33205 markings/sec, 615 secs 32213 markings/sec, 620 secs 30644 markings/sec, 625 secs 30095 markings/sec, 630 secs 28416 markings/sec, 635 secs 27171 markings/sec, 640 secs 28173 markings/sec, 645 secs 30853 markings/sec, 650 secs 31235 markings/sec, 655 secs 33229 markings/sec, 660 secs 34373 markings/sec, 665 secs 34707 markings/sec, 670 secs 32670 markings/sec, 675 secs 32566 markings/sec, 680 secs 32193 markings/sec, 685 secs 32646 markings/sec, 690 secs 31461 markings/sec, 695 secs 32509 markings/sec, 700 secs 32771 markings/sec, 705 secs 32592 markings/sec, 710 secs 29985 markings/sec, 715 secs 31458 markings/sec, 720 secs 33053 markings/sec, 725 secs 32442 markings/sec, 730 secs 31765 markings/sec, 735 secs 32642 markings/sec, 740 secs 30817 markings/sec, 745 secs 30242 markings/sec, 750 secs 30769 markings/sec, 755 secs 33007 markings/sec, 760 secs 33801 markings/sec, 765 secs 33476 markings/sec, 770 secs 31218 markings/sec, 775 secs 31733 markings/sec, 780 secs 33900 markings/sec, 785 secs 31528 markings/sec, 790 secs 31221 markings/sec, 795 secs 31068 markings/sec, 800 secs 30549 markings/sec, 805 secs 32198 markings/sec, 810 secs 30940 markings/sec, 815 secs 29638 markings/sec, 820 secs 29324 markings/sec, 825 secs 29859 markings/sec, 830 secs 30553 markings/sec, 835 secs 29264 markings/sec, 840 secs 31066 markings/sec, 845 secs 31541 markings/sec, 850 secs 31747 markings/sec, 855 secs 30370 markings/sec, 860 secs 27412 markings/sec, 865 secs 27456 markings/sec, 870 secs 30187 markings/sec, 875 secs 29147 markings/sec, 880 secs 28061 markings/sec, 885 secs 30824 markings/sec, 890 secs 32200 markings/sec, 895 secs 27616 markings/sec, 900 secs 26956 markings/sec, 905 secs 27881 markings/sec, 910 secs 27127 markings/sec, 915 secs 27923 markings/sec, 920 secs 29151 markings/sec, 925 secs 27861 markings/sec, 930 secs 30666 markings/sec, 935 secs 28475 markings/sec, 940 secs 27861 markings/sec, 945 secs 30327 markings/sec, 950 secs 31323 markings/sec, 955 secs 30620 markings/sec, 960 secs 28001 markings/sec, 965 secs 27733 markings/sec, 970 secs 28260 markings/sec, 975 secs 28832 markings/sec, 980 secs 28596 markings/sec, 985 secs 27404 markings/sec, 990 secs 28073 markings/sec, 995 secs 28423 markings/sec, 1000 secs 29769 markings/sec, 1005 secs 28244 markings/sec, 1010 secs 26891 markings/sec, 1015 secs 29686 markings/sec, 1020 secs 30451 markings/sec, 1025 secs 28239 markings/sec, 1030 secs 31465 markings/sec, 1035 secs 31620 markings/sec, 1040 secs 31141 markings/sec, 1045 secs 30347 markings/sec, 1050 secs 33115 markings/sec, 1055 secs 30344 markings/sec, 1060 secs 28979 markings/sec, 1065 secs 29488 markings/sec, 1070 secs 30725 markings/sec, 1075 secs 30835 markings/sec, 1080 secs 31737 markings/sec, 1085 secs 33320 markings/sec, 1090 secs 33124 markings/sec, 1095 secs 29604 markings/sec, 1100 secs 30867 markings/sec, 1105 secs 31166 markings/sec, 1110 secs 27228 markings/sec, 1115 secs 27814 markings/sec, 1120 secs 29105 markings/sec, 1125 secs 29759 markings/sec, 1130 secs 29551 markings/sec, 1135 secs 29942 markings/sec, 1140 secs 32697 markings/sec, 1145 secs 32977 markings/sec, 1150 secs 32469 markings/sec, 1155 secs 33131 markings/sec, 1160 secs 33771 markings/sec, 1165 secs 30962 markings/sec, 1170 secs 29046 markings/sec, 1175 secs 29294 markings/sec, 1180 secs 28941 markings/sec, 1185 secs 29065 markings/sec, 1190 secs 32167 markings/sec, 1195 secs 31678 markings/sec, 1200 secs 32244 markings/sec, 1205 secs 30236 markings/sec, 1210 secs 32141 markings/sec, 1215 secs 32023 markings/sec, 1220 secs 29350 markings/sec, 1225 secs 29312 markings/sec, 1230 secs 31333 markings/sec, 1235 secs 29922 markings/sec, 1240 secs 31260 markings/sec, 1245 secs 30597 markings/sec, 1250 secs 29991 markings/sec, 1255 secs 30524 markings/sec, 1260 secs 29958 markings/sec, 1265 secs 28987 markings/sec, 1270 secs 29338 markings/sec, 1275 secs 30277 markings/sec, 1280 secs 25898 markings/sec, 1285 secs 27790 markings/sec, 1290 secs 31920 markings/sec, 1295 secs 31974 markings/sec, 1300 secs 31419 markings/sec, 1305 secs 33827 markings/sec, 1310 secs 32802 markings/sec, 1315 secs 31457 markings/sec, 1320 secs 29675 markings/sec, 1325 secs 27578 markings/sec, 1330 secs 31642 markings/sec, 1335 secs 29718 markings/sec, 1340 secs 29819 markings/sec, 1345 secs 30689 markings/sec, 1350 secs 28800 markings/sec, 1355 secs 30756 markings/sec, 1360 secs 29801 markings/sec, 1365 secs 25535 markings/sec, 1370 secs 28351 markings/sec, 1375 secs 30485 markings/sec, 1380 secs 30217 markings/sec, 1385 secs 29830 markings/sec, 1390 secs 27838 markings/sec, 1395 secs 29524 markings/sec, 1400 secs 29597 markings/sec, 1405 secs 24943 markings/sec, 1410 secs 29338 markings/sec, 1415 secs 29040 markings/sec, 1420 secs 31184 markings/sec, 1425 secs 30071 markings/sec, 1430 secs 31562 markings/sec, 1435 secs 29019 markings/sec, 1440 secs 29268 markings/sec, 1445 secs 31596 markings/sec, 1450 secs 30113 markings/sec, 1455 secs 30134 markings/sec, 1460 secs 29851 markings/sec, 1465 secs 28681 markings/sec, 1470 secs 28911 markings/sec, 1475 secs 29559 markings/sec, 1480 secs 30288 markings/sec, 1485 secs 29446 markings/sec, 1490 secs 29707 markings/sec, 1495 secs 29709 markings/sec, 1500 secs 28342 markings/sec, 1505 secs 27338 markings/sec, 1510 secs 29086 markings/sec, 1515 secs 27519 markings/sec, 1520 secs 27059 markings/sec, 1525 secs 28684 markings/sec, 1530 secs 28217 markings/sec, 1535 secs 31046 markings/sec, 1540 secs 29584 markings/sec, 1545 secs 32025 markings/sec, 1550 secs 29352 markings/sec, 1555 secs 29983 markings/sec, 1560 secs 29714 markings/sec, 1565 secs 27983 markings/sec, 1570 secs 28008 markings/sec, 1575 secs 28720 markings/sec, 1580 secs 27215 markings/sec, 1585 secs 27596 markings/sec, 1590 secs 26197 markings/sec, 1595 secs 26775 markings/sec, 1600 secs 26824 markings/sec, 1605 secs 26805 markings/sec, 1610 secs 27284 markings/sec, 1615 secs 26134 markings/sec, 1620 secs 25510 markings/sec, 1625 secs 24966 markings/sec, 1630 secs 27393 markings/sec, 1635 secs 26593 markings/sec, 1640 secs 27467 markings/sec, 1645 secs 28812 markings/sec, 1650 secs 26783 markings/sec, 1655 secs 26390 markings/sec, 1660 secs 28098 markings/sec, 1665 secs 27577 markings/sec, 1670 secs 27401 markings/sec, 1675 secs 29613 markings/sec, 1680 secs 27863 markings/sec, 1685 secs 27457 markings/sec, 1690 secs 30130 markings/sec, 1695 secs 27713 markings/sec, 1700 secs 27707 markings/sec, 1705 secs 30212 markings/sec, 1710 secs 29480 markings/sec, 1715 secs 29418 markings/sec, 1720 secs 26742 markings/sec, 1725 secs 25673 markings/sec, 1730 secs 26431 markings/sec, 1735 secs 27023 markings/sec, 1740 secs 26112 markings/sec, 1745 secs 26094 markings/sec, 1750 secs 26814 markings/sec, 1755 secs 26553 markings/sec, 1760 secs 28476 markings/sec, 1765 secs 25752 markings/sec, 1770 secs 24795 markings/sec, 1775 secs 24636 markings/sec, 1780 secs 26491 markings/sec, 1785 secs 28004 markings/sec, 1790 secs 30120 markings/sec, 1795 secs 29322 markings/sec, 1800 secs 28755 markings/sec, 1805 secs 28359 markings/sec, 1810 secs 29516 markings/sec, 1815 secs 31633 markings/sec, 1820 secs 27083 markings/sec, 1825 secs 30287 markings/sec, 1830 secs 30128 markings/sec, 1835 secs 26315 markings/sec, 1840 secs 29595 markings/sec, 1845 secs 29649 markings/sec, 1850 secs 29230 markings/sec, 1855 secs 28511 markings/sec, 1860 secs 27177 markings/sec, 1865 secs 29278 markings/sec, 1870 secs 28946 markings/sec, 1875 secs 28851 markings/sec, 1880 secs 29303 markings/sec, 1885 secs 31000 markings/sec, 1890 secs 29713 markings/sec, 1895 secs 29252 markings/sec, 1900 secs 28557 markings/sec, 1905 secs 29123 markings/sec, 1910 secs 26537 markings/sec, 1915 secs 26258 markings/sec, 1920 secs 27150 markings/sec, 1925 secs 27128 markings/sec, 1930 secs 27910 markings/sec, 1935 secs 28170 markings/sec, 1940 secs 26475 markings/sec, 1945 secs 27251 markings/sec, 1950 secs 27593 markings/sec, 1955 secs 25817 markings/sec, 1960 secs 26136 markings/sec, 1965 secs 28690 markings/sec, 1970 secs 29011 markings/sec, 1975 secs 30588 markings/sec, 1980 secs 28293 markings/sec, 1985 secs 26407 markings/sec, 1990 secs 28545 markings/sec, 1995 secs 29317 markings/sec, 2000 secs 26918 markings/sec, 2005 secs 24727 markings/sec, 2010 secs 27316 markings/sec, 2015 secs 28273 markings/sec, 2020 secs 25263 markings/sec, 2025 secs 24470 markings/sec, 2030 secs 24081 markings/sec, 2035 secs 25753 markings/sec, 2040 secs 24823 markings/sec, 2045 secs 26367 markings/sec, 2050 secs 25685 markings/sec, 2055 secs 26713 markings/sec, 2060 secs 28700 markings/sec, 2065 secs 28025 markings/sec, 2070 secs 27922 markings/sec, 2075 secs 32262 markings/sec, 2080 secs 33369 markings/sec, 2085 secs 30150 markings/sec, 2090 secs 28817 markings/sec, 2095 secs 30337 markings/sec, 2100 secs 29282 markings/sec, 2105 secs 29230 markings/sec, 2110 secs 27553 markings/sec, 2115 secs 29012 markings/sec, 2120 secs 29925 markings/sec, 2125 secs 29121 markings/sec, 2130 secs 27701 markings/sec, 2135 secs 27907 markings/sec, 2140 secs 29569 markings/sec, 2145 secs 28475 markings/sec, 2150 secs 28942 markings/sec, 2155 secs 31341 markings/sec, 2160 secs 28982 markings/sec, 2165 secs 28737 markings/sec, 2170 secs 29325 markings/sec, 2175 secs 27490 markings/sec, 2180 secs 27682 markings/sec, 2185 secs 28126 markings/sec, 2190 secs 28561 markings/sec, 2195 secs 28652 markings/sec, 2200 secs 28335 markings/sec, 2205 secs 25613 markings/sec, 2210 secs 26054 markings/sec, 2215 secs 26649 markings/sec, 2220 secs 28842 markings/sec, 2225 secs 27001 markings/sec, 2230 secs 28213 markings/sec, 2235 secs 25818 markings/sec, 2240 secs 27213 markings/sec, 2245 secs 26767 markings/sec, 2250 secs 26271 markings/sec, 2255 secs 27708 markings/sec, 2260 secs 28209 markings/sec, 2265 secs 27237 markings/sec, 2270 secs 25189 markings/sec, 2275 secs 23783 markings/sec, 2280 secs 24629 markings/sec, 2285 secs 25641 markings/sec, 2290 secs 25561 markings/sec, 2295 secs 29841 markings/sec, 2300 secs 26707 markings/sec, 2305 secs 28184 markings/sec, 2310 secs 27462 markings/sec, 2315 secs 24867 markings/sec, 2320 secs 25352 markings/sec, 2325 secs 27214 markings/sec, 2330 secs 26490 markings/sec, 2335 secs 24466 markings/sec, 2340 secs 25417 markings/sec, 2345 secs 27857 markings/sec, 2350 secs 27897 markings/sec, 2355 secs 27532 markings/sec, 2360 secs 26562 markings/sec, 2365 secs 27019 markings/sec, 2370 secs 26609 markings/sec, 2375 secs 28093 markings/sec, 2380 secs 26961 markings/sec, 2385 secs 26656 markings/sec, 2390 secs 27157 markings/sec, 2395 secs 26542 markings/sec, 2400 secs 26029 markings/sec, 2405 secs 26832 markings/sec, 2410 secs 26813 markings/sec, 2415 secs 27567 markings/sec, 2420 secs 24844 markings/sec, 2425 secs 30638 markings/sec, 2430 secs 30393 markings/sec, 2435 secs 32210 markings/sec, 2440 secs 30382 markings/sec, 2445 secs 30570 markings/sec, 2450 secs 31054 markings/sec, 2455 secs 28653 markings/sec, 2460 secs 31135 markings/sec, 2465 secs 30176 markings/sec, 2470 secs 29054 markings/sec, 2475 secs 29417 markings/sec, 2480 secs 28778 markings/sec, 2485 secs 29433 markings/sec, 2490 secs 32892 markings/sec, 2495 secs 32716 markings/sec, 2500 secs 30753 markings/sec, 2505 secs 32588 markings/sec, 2510 secs 29358 markings/sec, 2515 secs 26751 markings/sec, 2520 secs 27989 markings/sec, 2525 secs 26598 markings/sec, 2530 secs 27721 markings/sec, 2535 secs 26974 markings/sec, 2540 secs 25132 markings/sec, 2545 secs 26344 markings/sec, 2550 secs 26695 markings/sec, 2555 secs 27600 markings/sec, 2560 secs 28395 markings/sec, 2565 secs 27064 markings/sec, 2570 secs 28046 markings/sec, 2575 secs 28248 markings/sec, 2580 secs 27605 markings/sec, 2585 secs 27058 markings/sec, 2590 secs 26361 markings/sec, 2595 secs 28830 markings/sec, 2600 secs 28119 markings/sec, 2605 secs 24185 markings/sec, 2610 secs 24862 markings/sec, 2615 secs 25936 markings/sec, 2620 secs 25358 markings/sec, 2625 secs 29797 markings/sec, 2630 secs 31131 markings/sec, 2635 secs 29068 markings/sec, 2640 secs 29290 markings/sec, 2645 secs 30588 markings/sec, 2650 secs 29808 markings/sec, 2655 secs 28645 markings/sec, 2660 secs 29451 markings/sec, 2665 secs 29327 markings/sec, 2670 secs 27698 markings/sec, 2675 secs 27932 markings/sec, 2680 secs 27801 markings/sec, 2685 secs 29447 markings/sec, 2690 secs 29112 markings/sec, 2695 secs 30430 markings/sec, 2700 secs 30385 markings/sec, 2705 secs 28166 markings/sec, 2710 secs 29114 markings/sec, 2715 secs 28615 markings/sec, 2720 secs 28682 markings/sec, 2725 secs 28226 markings/sec, 2730 secs 28053 markings/sec, 2735 secs 26638 markings/sec, 2740 secs 28890 markings/sec, 2745 secs 28581 markings/sec, 2750 secs 27674 markings/sec, 2755 secs 28479 markings/sec, 2760 secs 28614 markings/sec, 2765 secs 29661 markings/sec, 2770 secs 27442 markings/sec, 2775 secs 28452 markings/sec, 2780 secs 29076 markings/sec, 2785 secs 30079 markings/sec, 2790 secs 29820 markings/sec, 2795 secs 28396 markings/sec, 2800 secs 31470 markings/sec, 2805 secs 28982 markings/sec, 2810 secs 26959 markings/sec, 2815 secs 25123 markings/sec, 2820 secs 24894 markings/sec, 2825 secs 25738 markings/sec, 2830 secs 25071 markings/sec, 2835 secs 25342 markings/sec, 2840 secs 25656 markings/sec, 2845 secs 26336 markings/sec, 2850 secs 27170 markings/sec, 2855 secs 27021 markings/sec, 2860 secs 27990 markings/sec, 2865 secs 30337 markings/sec, 2870 secs 30957 markings/sec, 2875 secs 30279 markings/sec, 2880 secs 29702 markings/sec, 2885 secs 28148 markings/sec, 2890 secs 29748 markings/sec, 2895 secs 29319 markings/sec, 2900 secs 29929 markings/sec, 2905 secs 26575 markings/sec, 2910 secs 30102 markings/sec, 2915 secs 28974 markings/sec, 2920 secs 28436 markings/sec, 2925 secs 27395 markings/sec, 2930 secs 28844 markings/sec, 2935 secs 29204 markings/sec, 2940 secs 27778 markings/sec, 2945 secs 29113 markings/sec, 2950 secs 27790 markings/sec, 2955 secs 30539 markings/sec, 2960 secs 28873 markings/sec, 2965 secs 26966 markings/sec, 2970 secs 28856 markings/sec, 2975 secs 28058 markings/sec, 2980 secs 28866 markings/sec, 2985 secs 29981 markings/sec, 2990 secs 26426 markings/sec, 2995 secs 27582 markings/sec, 3000 secs 28802 markings/sec, 3005 secs 30544 markings/sec, 3010 secs 28357 markings/sec, 3015 secs 27505 markings/sec, 3020 secs 32044 markings/sec, 3025 secs 28836 markings/sec, 3030 secs 30043 markings/sec, 3035 secs 30328 markings/sec, 3040 secs 31446 markings/sec, 3045 secs 27508 markings/sec, 3050 secs 28355 markings/sec, 3055 secs 31478 markings/sec, 3060 secs 31362 markings/sec, 3065 secs 30467 markings/sec, 3070 secs 31287 markings/sec, 3075 secs 31748 markings/sec, 3080 secs 31881 markings/sec, 3085 secs 28010 markings/sec, 3090 secs 26792 markings/sec, 3095 secs 27529 markings/sec, 3100 secs 32810 markings/sec, 3105 secs 31456 markings/sec, 3110 secs 27400 markings/sec, 3115 secs 26583 markings/sec, 3120 secs 27356 markings/sec, 3125 secs 27485 markings/sec, 3130 secs 26222 markings/sec, 3135 secs 29783 markings/sec, 3140 secs 31206 markings/sec, 3145 secs 29217 markings/sec, 3150 secs 29897 markings/sec, 3155 secs 29569 markings/sec, 3160 secs 29257 markings/sec, 3165 secs 29017 markings/sec, 3170 secs 28625 markings/sec, 3175 secs 28788 markings/sec, 3180 secs 28985 markings/sec, 3185 secs 28513 markings/sec, 3190 secs 28721 markings/sec, 3195 secs 29981 markings/sec, 3200 secs 28348 markings/sec, 3205 secs 25713 markings/sec, 3210 secs 27232 markings/sec, 3215 secs 25881 markings/sec, 3220 secs 24629 markings/sec, 3225 secs 24319 markings/sec, 3230 secs 27004 markings/sec, 3235 secs 29227 markings/sec, 3240 secs 29527 markings/sec, 3245 secs 29048 markings/sec, 3250 secs 31661 markings/sec, 3255 secs 27267 markings/sec, 3260 secs 29618 markings/sec, 3265 secs 31471 markings/sec, 3270 secs 30250 markings/sec, 3275 secs 31716 markings/sec, 3280 secs 28956 markings/sec, 3285 secs 29059 markings/sec, 3290 secs 30053 markings/sec, 3295 secs 29168 markings/sec, 3300 secs 28578 markings/sec, 3305 secs 28249 markings/sec, 3310 secs 29727 markings/sec, 3315 secs 29014 markings/sec, 3320 secs 29284 markings/sec, 3325 secs 28521 markings/sec, 3330 secs 30744 markings/sec, 3335 secs 31872 markings/sec, 3340 secs 31483 markings/sec, 3345 secs 31516 markings/sec, 3350 secs 32632 markings/sec, 3355 secs 32601 markings/sec, 3360 secs 30734 markings/sec, 3365 secs 27392 markings/sec, 3370 secs 25171 markings/sec, 3375 secs 26132 markings/sec, 3380 secs 26739 markings/sec, 3385 secs 26241 markings/sec, 3390 secs 26219 markings/sec, 3395 secs 25834 markings/sec, 3400 secs 27715 markings/sec, 3405 secs 26983 markings/sec, 3410 secs 28555 markings/sec, 3415 secs 25751 markings/sec, 3420 secs 26818 markings/sec, 3425 secs 26580 markings/sec, 3430 secs 26796 markings/sec, 3435 secs 26210 markings/sec, 3440 secs 26651 markings/sec, 3445 secs 27010 markings/sec, 3450 secs 26216 markings/sec, 3455 secs 28506 markings/sec, 3460 secs 26907 markings/sec, 3465 secs 25399 markings/sec, 3470 secs 27742 markings/sec, 3475 secs 27246 markings/sec, 3480 secs 33232 markings/sec, 3485 secs 31288 markings/sec, 3490 secs 31519 markings/sec, 3495 secs 30407 markings/sec, 3500 secs 28791 markings/sec, 3505 secs 28756 markings/sec, 3510 secs 28602 markings/sec, 3515 secs 34205 markings/sec, 3520 secs 29490 markings/sec, 3525 secs 30577 markings/sec, 3530 secs 30318 markings/sec, 3535 secs 27841 markings/sec, 3540 secs 26656 markings/sec, 3545 secs 26073 markings/sec, 3550 secs 28072 markings/sec, 3555 secs 31674 markings/sec, 3560 secs

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-PT-6"
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 Peterson-PT-6, 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 r104-oct2-155272226100561"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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