MCC'2019 - Execution of r104-oct2-155272226000516

About the Execution of LoLA for Peterson-COL-7

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
11834.760	3570418.00	7279303.00	97.60	[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-155272226000516.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-COL-7, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272226000516
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 4.1K Feb 12 04:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 12 04:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 8 03:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 8 03:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 4 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 4 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 1 02:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 1 02:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 47K 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-COL-7-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552802247310

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Peterson-COL-7 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ Peterson-COL-7
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 High-Level net
lola: Places: 2048, Transitions: 3208
lola: @ trans noIdentity
lola: @ trans alone1
lola: @ trans turnEqual
lola: @ trans continueLoop
lola: @ trans identity
lola: @ trans notAlone
lola: @ trans turnDiff
lola: @ trans accessCS
lola: @ trans updateTurn
lola: @ trans progressTurn
lola: @ trans ask
lola: @ trans loop
lola: @ trans becomeIdle
lola: @ trans endLoop
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 5256/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 65536
lola: finding significant places
lola: 2048 places, 3208 transitions, 2017 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 98156 fired transitions, 0 secs || 101958 markings, 173231 edges,
lola: 1 tries, 196514 fired transitions, 5 secs || 215838 markings, 362894 edges,
lola: 1 tries, 295728 fired transitions, 10 secs || 329889 markings, 554708 edges,
lola: 1 tries, 393493 fired transitions, 15 secs || 440212 markings, 742293 edges,
lola: 1 tries, 466240 fired transitions, 20 secs || 522871 markings, 892364 edges,
lola: 1 tries, 535933 fired transitions, 25 secs || 595556 markings, 1007706 edges,
lola: 1 tries, 613304 fired transitions, 30 secs || 683616 markings, 1152182 edges,
lola: 1 tries, 682375 fired transitions, 35 secs || 755012 markings, 1267615 edges,
lola: 1 tries, 753918 fired transitions, 40 secs || 838027 markings, 1407431 edges,
lola: 1 tries, 825562 fired transitions, 45 secs || 912127 markings, 1546814 edges,
lola: 1 tries, 895621 fired transitions, 50 secs || 994677 markings, 1678339 edges,
lola: 1 tries, 967842 fired transitions, 55 secs || 1077878 markings, 1820736 edges,
lola: 2 tries, 1047305 fired transitions, 60 secs || 1148875 markings, 1936609 edges,
lola: 2 tries, 1131879 fired transitions, 65 secs || 1231448 markings, 2070468 edges,
lola: 2 tries, 1218043 fired transitions, 70 secs || 1306769 markings, 2203592 edges,
lola: 2 tries, 1320217 fired transitions, 75 secs || 1390543 markings, 2337723 edges,
lola: 2 tries, 1416800 fired transitions, 80 secs || 1466108 markings, 2474300 edges,
lola: 2 tries, 1500215 fired transitions, 85 secs || 1546113 markings, 2602764 edges,
lola: 2 tries, 1583914 fired transitions, 90 secs || 1627038 markings, 2749516 edges,
lola: 2 tries, 1662774 fired transitions, 95 secs || 1702527 markings, 2873881 edges,
lola: 2 tries, 1748200 fired transitions, 100 secs || 1782959 markings, 3014423 edges,
lola: 2 tries, 1832870 fired transitions, 105 secs || 1855754 markings, 3137516 edges,
lola: 2 tries, 1919328 fired transitions, 110 secs || 1944452 markings, 3285522 edges,
lola: 3 tries, 2002486 fired transitions, 115 secs || 2013211 markings, 3410830 edges,
lola: 3 tries, 2095030 fired transitions, 120 secs || 2094592 markings, 3542465 edges,
lola: 3 tries, 2186586 fired transitions, 125 secs || 2168192 markings, 3666233 edges,
lola: 3 tries, 2277019 fired transitions, 130 secs || 2234947 markings, 3774668 edges,
lola: 3 tries, 2369788 fired transitions, 135 secs || 2315573 markings, 3906824 edges,
lola: 3 tries, 2465348 fired transitions, 140 secs || 2390322 markings, 4033759 edges,
lola: 3 tries, 2557799 fired transitions, 145 secs || 2458003 markings, 4139975 edges,
lola: 3 tries, 2653092 fired transitions, 150 secs || 2534412 markings, 4265700 edges,
lola: 3 tries, 2747573 fired transitions, 155 secs || 2598094 markings, 4374857 edges,
lola: 3 tries, 2844058 fired transitions, 160 secs || 2678162 markings, 4508321 edges,
lola: 3 tries, 2941264 fired transitions, 165 secs || 2754420 markings, 4638803 edges,
lola: 4 tries, 3030079 fired transitions, 170 secs || 2820950 markings, 4748119 edges,
lola: 4 tries, 3111560 fired transitions, 175 secs || 2901301 markings, 4884743 edges,
lola: 4 tries, 3230568 fired transitions, 180 secs || 2970586 markings, 5008857 edges,
lola: 4 tries, 3344553 fired transitions, 185 secs || 3055981 markings, 5148567 edges,
lola: 4 tries, 3465968 fired transitions, 190 secs || 3130335 markings, 5276699 edges,
lola: 4 tries, 3589539 fired transitions, 195 secs || 3203655 markings, 5404019 edges,
lola: 4 tries, 3709563 fired transitions, 200 secs || 3270178 markings, 5523297 edges,
lola: 4 tries, 3829023 fired transitions, 205 secs || 3342928 markings, 5644578 edges,
lola: 4 tries, 3955635 fired transitions, 210 secs || 3432088 markings, 5794636 edges,
lola: 5 tries, 4063651 fired transitions, 215 secs || 3503483 markings, 5920507 edges,
lola: 5 tries, 4180389 fired transitions, 220 secs || 3583317 markings, 6056085 edges,
lola: 5 tries, 4259776 fired transitions, 225 secs || 3653392 markings, 6181103 edges,
lola: 5 tries, 4337574 fired transitions, 230 secs || 3737115 markings, 6323457 edges,
lola: 5 tries, 4414608 fired transitions, 235 secs || 3808413 markings, 6443566 edges,
lola: 5 tries, 4498316 fired transitions, 240 secs || 3891709 markings, 6584810 edges,
lola: 5 tries, 4576842 fired transitions, 245 secs || 3971513 markings, 6709684 edges,
lola: 5 tries, 4657829 fired transitions, 250 secs || 4051283 markings, 6859028 edges,
lola: 5 tries, 4739250 fired transitions, 255 secs || 4145927 markings, 7013706 edges,
lola: 5 tries, 4819838 fired transitions, 260 secs || 4223823 markings, 7160122 edges,
lola: 5 tries, 4900357 fired transitions, 265 secs || 4313055 markings, 7307403 edges,
lola: 5 tries, 4979930 fired transitions, 270 secs || 4393934 markings, 7442865 edges,
lola: 6 tries, 5082097 fired transitions, 275 secs || 4454815 markings, 7541853 edges,
lola: 6 tries, 5202845 fired transitions, 280 secs || 4528644 markings, 7664710 edges,
lola: 6 tries, 5320957 fired transitions, 285 secs || 4594923 markings, 7775383 edges,
lola: 6 tries, 5414531 fired transitions, 290 secs || 4655213 markings, 7872119 edges,
lola: 6 tries, 5504496 fired transitions, 295 secs || 4724668 markings, 7989154 edges,
lola: 6 tries, 5595471 fired transitions, 300 secs || 4792682 markings, 8107985 edges,
lola: 6 tries, 5682661 fired transitions, 305 secs || 4849090 markings, 8206302 edges,
lola: 6 tries, 5781797 fired transitions, 310 secs || 4919560 markings, 8325445 edges,
lola: 6 tries, 5897176 fired transitions, 315 secs || 4988486 markings, 8435937 edges,
lola: 7 tries, 6012578 fired transitions, 320 secs || 5045643 markings, 8535097 edges,
lola: 7 tries, 6097313 fired transitions, 325 secs || 5134374 markings, 8677626 edges,
lola: 7 tries, 6172300 fired transitions, 330 secs || 5219162 markings, 8810960 edges,
lola: 7 tries, 6259431 fired transitions, 335 secs || 5301052 markings, 8953097 edges,
lola: 7 tries, 6386043 fired transitions, 340 secs || 5390904 markings, 9094683 edges,
lola: 7 tries, 6508812 fired transitions, 345 secs || 5480404 markings, 9239658 edges,
lola: 7 tries, 6628840 fired transitions, 350 secs || 5561970 markings, 9371782 edges,
lola: 7 tries, 6747686 fired transitions, 355 secs || 5653317 markings, 9520832 edges,
lola: 7 tries, 6860573 fired transitions, 360 secs || 5739082 markings, 9658275 edges,
lola: 7 tries, 6973867 fired transitions, 365 secs || 5826077 markings, 9797742 edges,
lola: 8 tries, 7080404 fired transitions, 370 secs || 5903341 markings, 9921238 edges,
lola: 8 tries, 7176129 fired transitions, 375 secs || 5989278 markings, 10066389 edges,
lola: 8 tries, 7287410 fired transitions, 380 secs || 6063043 markings, 10186228 edges,
lola: 8 tries, 7405195 fired transitions, 385 secs || 6153464 markings, 10331797 edges,
lola: 8 tries, 7525229 fired transitions, 390 secs || 6238496 markings, 10479851 edges,
lola: 8 tries, 7637472 fired transitions, 395 secs || 6311514 markings, 10596706 edges,
lola: 8 tries, 7758457 fired transitions, 400 secs || 6397391 markings, 10749117 edges,
lola: 8 tries, 7873275 fired transitions, 405 secs || 6470721 markings, 10873435 edges,
lola: 8 tries, 7991079 fired transitions, 410 secs || 6556151 markings, 11019560 edges,
lola: 9 tries, 8071979 fired transitions, 415 secs || 6620644 markings, 11121969 edges,
lola: 9 tries, 8172938 fired transitions, 420 secs || 6720624 markings, 11285537 edges,
lola: 9 tries, 8282306 fired transitions, 425 secs || 6831834 markings, 11466917 edges,
lola: 9 tries, 8386230 fired transitions, 430 secs || 6942653 markings, 11649379 edges,
lola: 9 tries, 8490544 fired transitions, 435 secs || 7057841 markings, 11829983 edges,
lola: 9 tries, 8593708 fired transitions, 440 secs || 7170521 markings, 12006499 edges,
lola: 9 tries, 8697306 fired transitions, 445 secs || 7279762 markings, 12184999 edges,
lola: 9 tries, 8802136 fired transitions, 450 secs || 7393983 markings, 12370012 edges,
lola: 9 tries, 8904650 fired transitions, 455 secs || 7498981 markings, 12533566 edges,
lola: 10 tries, 9012682 fired transitions, 460 secs || 7610219 markings, 12711890 edges,
lola: 10 tries, 9122696 fired transitions, 465 secs || 7718496 markings, 12890522 edges,
lola: 10 tries, 9222673 fired transitions, 470 secs || 7826729 markings, 13064902 edges,
lola: 10 tries, 9323794 fired transitions, 475 secs || 7933731 markings, 13253800 edges,
lola: 10 tries, 9423140 fired transitions, 480 secs || 8032994 markings, 13421150 edges,
lola: 10 tries, 9531213 fired transitions, 485 secs || 8144432 markings, 13610228 edges,
lola: 10 tries, 9633474 fired transitions, 490 secs || 8244314 markings, 13775659 edges,
lola: 10 tries, 9728135 fired transitions, 495 secs || 8326732 markings, 13912209 edges,
lola: 10 tries, 9817548 fired transitions, 500 secs || 8411989 markings, 14049833 edges,
lola: 10 tries, 9897087 fired transitions, 505 secs || 8499652 markings, 14195938 edges,
lola: 10 tries, 9990460 fired transitions, 510 secs || 8582933 markings, 14341139 edges,
lola: 11 tries, 10067559 fired transitions, 515 secs || 8646282 markings, 14442355 edges,
lola: 11 tries, 10143520 fired transitions, 520 secs || 8724682 markings, 14573605 edges,
lola: 11 tries, 10224856 fired transitions, 525 secs || 8804938 markings, 14709052 edges,
lola: 11 tries, 10314866 fired transitions, 530 secs || 8883743 markings, 14830546 edges,
lola: 11 tries, 10396378 fired transitions, 535 secs || 8967542 markings, 14964562 edges,
lola: 11 tries, 10467697 fired transitions, 540 secs || 9052915 markings, 15101352 edges,
lola: 11 tries, 10561239 fired transitions, 545 secs || 9151720 markings, 15256299 edges,
lola: 11 tries, 10709400 fired transitions, 550 secs || 9260338 markings, 15432033 edges,
lola: 11 tries, 10876550 fired transitions, 555 secs || 9375695 markings, 15619384 edges,
lola: 12 tries, 11039002 fired transitions, 560 secs || 9482418 markings, 15802988 edges,
lola: 12 tries, 11213910 fired transitions, 565 secs || 9587319 markings, 15977691 edges,
lola: 12 tries, 11394124 fired transitions, 570 secs || 9690989 markings, 16144231 edges,
lola: 12 tries, 11571571 fired transitions, 575 secs || 9787654 markings, 16300644 edges,
lola: 12 tries, 11750525 fired transitions, 580 secs || 9901719 markings, 16486345 edges,
lola: 12 tries, 11929849 fired transitions, 585 secs || 10009100 markings, 16656349 edges,
lola: 13 tries, 12087321 fired transitions, 590 secs || 10116797 markings, 16830579 edges,
lola: 13 tries, 12215567 fired transitions, 595 secs || 10215991 markings, 16992072 edges,
lola: 13 tries, 12390032 fired transitions, 600 secs || 10330725 markings, 17174897 edges,
lola: 13 tries, 12565963 fired transitions, 605 secs || 10446018 markings, 17358300 edges,
lola: 13 tries, 12733800 fired transitions, 610 secs || 10563903 markings, 17547028 edges,
lola: 13 tries, 12910076 fired transitions, 615 secs || 10674460 markings, 17720766 edges,
lola: 14 tries, 13070283 fired transitions, 620 secs || 10783898 markings, 17897490 edges,
lola: 14 tries, 13175803 fired transitions, 625 secs || 10888776 markings, 18081207 edges,
lola: 14 tries, 13333172 fired transitions, 630 secs || 10993600 markings, 18249387 edges,
lola: 14 tries, 13508184 fired transitions, 635 secs || 11106309 markings, 18430662 edges,
lola: 14 tries, 13680454 fired transitions, 640 secs || 11218647 markings, 18617520 edges,
lola: 14 tries, 13856397 fired transitions, 645 secs || 11326211 markings, 18794574 edges,
lola: 15 tries, 14020241 fired transitions, 650 secs || 11438088 markings, 18976438 edges,
lola: 15 tries, 14180275 fired transitions, 655 secs || 11535212 markings, 19132345 edges,
lola: 15 tries, 14343302 fired transitions, 660 secs || 11631338 markings, 19288759 edges,
lola: 15 tries, 14505312 fired transitions, 665 secs || 11727199 markings, 19446898 edges,
lola: 15 tries, 14665589 fired transitions, 670 secs || 11824338 markings, 19605853 edges,
lola: 15 tries, 14827598 fired transitions, 675 secs || 11930041 markings, 19779396 edges,
lola: 15 tries, 14990768 fired transitions, 680 secs || 12028690 markings, 19932901 edges,
lola: 16 tries, 15109960 fired transitions, 685 secs || 12134508 markings, 20119781 edges,
lola: 16 tries, 15216685 fired transitions, 690 secs || 12235098 markings, 20301946 edges,
lola: 16 tries, 15323944 fired transitions, 695 secs || 12332311 markings, 20459836 edges,
lola: 16 tries, 15431813 fired transitions, 700 secs || 12443472 markings, 20643081 edges,
lola: 16 tries, 15538926 fired transitions, 705 secs || 12549633 markings, 20823392 edges,
lola: 16 tries, 15684439 fired transitions, 710 secs || 12661913 markings, 21005949 edges,
lola: 16 tries, 15851641 fired transitions, 715 secs || 12771912 markings, 21187872 edges,
lola: 17 tries, 16017397 fired transitions, 720 secs || 12879120 markings, 21364039 edges,
lola: 17 tries, 16197113 fired transitions, 725 secs || 12989415 markings, 21541986 edges,
lola: 17 tries, 16372000 fired transitions, 730 secs || 13076746 markings, 21692910 edges,
lola: 17 tries, 16549023 fired transitions, 735 secs || 13178762 markings, 21855278 edges,
lola: 17 tries, 16726381 fired transitions, 740 secs || 13279916 markings, 22014802 edges,
lola: 17 tries, 16910160 fired transitions, 745 secs || 13381543 markings, 22180475 edges,
lola: 18 tries, 17055248 fired transitions, 750 secs || 13480429 markings, 22338766 edges,
lola: 18 tries, 17171640 fired transitions, 755 secs || 13587162 markings, 22508556 edges,
lola: 18 tries, 17337394 fired transitions, 760 secs || 13686132 markings, 22682625 edges,
lola: 18 tries, 17496029 fired transitions, 765 secs || 13786091 markings, 22841776 edges,
lola: 18 tries, 17646114 fired transitions, 770 secs || 13899820 markings, 23025336 edges,
lola: 18 tries, 17782478 fired transitions, 775 secs || 14015353 markings, 23213869 edges,
lola: 18 tries, 17937511 fired transitions, 780 secs || 14128587 markings, 23399188 edges,
lola: 19 tries, 18067343 fired transitions, 785 secs || 14235536 markings, 23580662 edges,
lola: 19 tries, 18174424 fired transitions, 790 secs || 14342606 markings, 23754603 edges,
lola: 19 tries, 18279933 fired transitions, 795 secs || 14448567 markings, 23932577 edges,
lola: 19 tries, 18392552 fired transitions, 800 secs || 14547769 markings, 24093216 edges,
lola: 19 tries, 18506241 fired transitions, 805 secs || 14661012 markings, 24274516 edges,
lola: 19 tries, 18622374 fired transitions, 810 secs || 14776960 markings, 24465312 edges,
lola: 19 tries, 18803322 fired transitions, 815 secs || 14895221 markings, 24658721 edges,
lola: 19 tries, 18988788 fired transitions, 820 secs || 15005589 markings, 24845277 edges,
lola: 20 tries, 19134217 fired transitions, 825 secs || 15103649 markings, 24998279 edges,
lola: 20 tries, 19302584 fired transitions, 830 secs || 15212980 markings, 25172567 edges,
lola: 20 tries, 19466087 fired transitions, 835 secs || 15319814 markings, 25361315 edges,
lola: 20 tries, 19626789 fired transitions, 840 secs || 15415295 markings, 25531800 edges,
lola: 20 tries, 19785966 fired transitions, 845 secs || 15518989 markings, 25711584 edges,
lola: 20 tries, 19948035 fired transitions, 850 secs || 15627517 markings, 25887732 edges,
lola: 21 tries, 20108266 fired transitions, 855 secs || 15730304 markings, 26049194 edges,
lola: 21 tries, 20272974 fired transitions, 860 secs || 15824939 markings, 26200245 edges,
lola: 21 tries, 20435996 fired transitions, 865 secs || 15924726 markings, 26365333 edges,
lola: 21 tries, 20592395 fired transitions, 870 secs || 16032094 markings, 26536395 edges,
lola: 21 tries, 20754002 fired transitions, 875 secs || 16120080 markings, 26687719 edges,
lola: 21 tries, 20911269 fired transitions, 880 secs || 16225866 markings, 26862520 edges,
lola: 22 tries, 21061705 fired transitions, 885 secs || 16329267 markings, 27031721 edges,
lola: 22 tries, 21189159 fired transitions, 890 secs || 16429233 markings, 27194506 edges,
lola: 22 tries, 21313768 fired transitions, 895 secs || 16532086 markings, 27364397 edges,
lola: 22 tries, 21439940 fired transitions, 900 secs || 16637960 markings, 27541805 edges,
lola: 22 tries, 21565444 fired transitions, 905 secs || 16733535 markings, 27708412 edges,
lola: 22 tries, 21690434 fired transitions, 910 secs || 16834829 markings, 27868888 edges,
lola: 22 tries, 21816544 fired transitions, 915 secs || 16937449 markings, 28033440 edges,
lola: 22 tries, 21942809 fired transitions, 920 secs || 17038360 markings, 28196622 edges,
lola: 23 tries, 22057765 fired transitions, 925 secs || 17140541 markings, 28365482 edges,
lola: 23 tries, 22203196 fired transitions, 930 secs || 17250620 markings, 28542387 edges,
lola: 23 tries, 22383750 fired transitions, 935 secs || 17357455 markings, 28722522 edges,
lola: 23 tries, 22564561 fired transitions, 940 secs || 17458909 markings, 28891444 edges,
lola: 23 tries, 22745673 fired transitions, 945 secs || 17568254 markings, 29066047 edges,
lola: 23 tries, 22927487 fired transitions, 950 secs || 17678450 markings, 29250967 edges,
lola: 24 tries, 23077375 fired transitions, 955 secs || 17782282 markings, 29429012 edges,
lola: 24 tries, 23183065 fired transitions, 960 secs || 17894233 markings, 29615004 edges,
lola: 24 tries, 23283810 fired transitions, 965 secs || 18005053 markings, 29804080 edges,
lola: 24 tries, 23384808 fired transitions, 970 secs || 18117771 markings, 29991935 edges,
lola: 24 tries, 23486322 fired transitions, 975 secs || 18225629 markings, 30193833 edges,
lola: 24 tries, 23588424 fired transitions, 980 secs || 18323655 markings, 30380936 edges,
lola: 24 tries, 23690959 fired transitions, 985 secs || 18427335 markings, 30577362 edges,
lola: 24 tries, 23790855 fired transitions, 990 secs || 18523738 markings, 30741662 edges,
lola: 24 tries, 23910630 fired transitions, 995 secs || 18636324 markings, 30924325 edges,
lola: 25 tries, 24055882 fired transitions, 1000 secs || 18744253 markings, 31103089 edges,
lola: 25 tries, 24182381 fired transitions, 1005 secs || 18845982 markings, 31278377 edges,
lola: 25 tries, 24318042 fired transitions, 1010 secs || 18945333 markings, 31450813 edges,
lola: 25 tries, 24479722 fired transitions, 1015 secs || 19042483 markings, 31619097 edges,
lola: 25 tries, 24644711 fired transitions, 1020 secs || 19139764 markings, 31786007 edges,
lola: 25 tries, 24810724 fired transitions, 1025 secs || 19251827 markings, 31966358 edges,
lola: 25 tries, 24970609 fired transitions, 1030 secs || 19352521 markings, 32130757 edges,
lola: 26 tries, 25125069 fired transitions, 1035 secs || 19451417 markings, 32302068 edges,
lola: 26 tries, 25291408 fired transitions, 1040 secs || 19551107 markings, 32466271 edges,
lola: 26 tries, 25459645 fired transitions, 1045 secs || 19657105 markings, 32636948 edges,
lola: 26 tries, 25627902 fired transitions, 1050 secs || 19758348 markings, 32818052 edges,
lola: 26 tries, 25796631 fired transitions, 1055 secs || 19868596 markings, 32995635 edges,
lola: 26 tries, 25965830 fired transitions, 1060 secs || 19976975 markings, 33175039 edges,
lola: 27 tries, 26085920 fired transitions, 1065 secs || 20078286 markings, 33338015 edges,
lola: 27 tries, 26189271 fired transitions, 1070 secs || 20189874 markings, 33519837 edges,
lola: 27 tries, 26292789 fired transitions, 1075 secs || 20301354 markings, 33705456 edges,
lola: 27 tries, 26396619 fired transitions, 1080 secs || 20415779 markings, 33893544 edges,
lola: 27 tries, 26500989 fired transitions, 1085 secs || 20526230 markings, 34087547 edges,
lola: 27 tries, 26603373 fired transitions, 1090 secs || 20629174 markings, 34254223 edges,
lola: 27 tries, 26710019 fired transitions, 1095 secs || 20741696 markings, 34435834 edges,
lola: 27 tries, 26818988 fired transitions, 1100 secs || 20854423 markings, 34620499 edges,
lola: 27 tries, 26950057 fired transitions, 1105 secs || 20966478 markings, 34806766 edges,
lola: 28 tries, 27090690 fired transitions, 1110 secs || 21072744 markings, 34984362 edges,
lola: 28 tries, 27216033 fired transitions, 1115 secs || 21169617 markings, 35138032 edges,
lola: 28 tries, 27343347 fired transitions, 1120 secs || 21283088 markings, 35323490 edges,
lola: 28 tries, 27470821 fired transitions, 1125 secs || 21379177 markings, 35491311 edges,
lola: 28 tries, 27598828 fired transitions, 1130 secs || 21482880 markings, 35662392 edges,
lola: 28 tries, 27727661 fired transitions, 1135 secs || 21581912 markings, 35826032 edges,
lola: 28 tries, 27856516 fired transitions, 1140 secs || 21681714 markings, 35993434 edges,
lola: 28 tries, 27985184 fired transitions, 1145 secs || 21780964 markings, 36161072 edges,
lola: 29 tries, 28159739 fired transitions, 1150 secs || 21885591 markings, 36330068 edges,
lola: 29 tries, 28341620 fired transitions, 1155 secs || 21980524 markings, 36498548 edges,
lola: 29 tries, 28528037 fired transitions, 1160 secs || 22070777 markings, 36649605 edges,
lola: 29 tries, 28717073 fired transitions, 1165 secs || 22179245 markings, 36826080 edges,
lola: 29 tries, 28905883 fired transitions, 1170 secs || 22281160 markings, 36994623 edges,
lola: 30 tries, 29058986 fired transitions, 1175 secs || 22387818 markings, 37165162 edges,
lola: 30 tries, 29196726 fired transitions, 1180 secs || 22500179 markings, 37344797 edges,
lola: 30 tries, 29355095 fired transitions, 1185 secs || 22614798 markings, 37529620 edges,
lola: 30 tries, 29503212 fired transitions, 1190 secs || 22728168 markings, 37721817 edges,
lola: 30 tries, 29653275 fired transitions, 1195 secs || 22842266 markings, 37904922 edges,
lola: 30 tries, 29802550 fired transitions, 1200 secs || 22958241 markings, 38094301 edges,
lola: 30 tries, 29950498 fired transitions, 1205 secs || 23073220 markings, 38280797 edges,
lola: 31 tries, 30096392 fired transitions, 1210 secs || 23180446 markings, 38465883 edges,
lola: 31 tries, 30231236 fired transitions, 1215 secs || 23282165 markings, 38634648 edges,
lola: 31 tries, 30372684 fired transitions, 1220 secs || 23395184 markings, 38818862 edges,
lola: 31 tries, 30530537 fired transitions, 1225 secs || 23508114 markings, 39007800 edges,
lola: 31 tries, 30684321 fired transitions, 1230 secs || 23621601 markings, 39188450 edges,
lola: 31 tries, 30838454 fired transitions, 1235 secs || 23725607 markings, 39364760 edges,
lola: 31 tries, 30988883 fired transitions, 1240 secs || 23820726 markings, 39514933 edges,
lola: 32 tries, 31106777 fired transitions, 1245 secs || 23921256 markings, 39680300 edges,
lola: 32 tries, 31206021 fired transitions, 1250 secs || 24025519 markings, 39854875 edges,
lola: 32 tries, 31311753 fired transitions, 1255 secs || 24130903 markings, 40036353 edges,
lola: 32 tries, 31418885 fired transitions, 1260 secs || 24241842 markings, 40217499 edges,
lola: 32 tries, 31526661 fired transitions, 1265 secs || 24346534 markings, 40404709 edges,
lola: 32 tries, 31635430 fired transitions, 1270 secs || 24432645 markings, 40569792 edges,
lola: 32 tries, 31743125 fired transitions, 1275 secs || 24526409 markings, 40740095 edges,
lola: 32 tries, 31850869 fired transitions, 1280 secs || 24622378 markings, 40915001 edges,
lola: 32 tries, 31957410 fired transitions, 1285 secs || 24710621 markings, 41080333 edges,
lola: 33 tries, 32071011 fired transitions, 1290 secs || 24806958 markings, 41238077 edges,
lola: 33 tries, 32228301 fired transitions, 1295 secs || 24918608 markings, 41427195 edges,
lola: 33 tries, 32409822 fired transitions, 1300 secs || 25028051 markings, 41608254 edges,
lola: 33 tries, 32590962 fired transitions, 1305 secs || 25138470 markings, 41795295 edges,
lola: 33 tries, 32772104 fired transitions, 1310 secs || 25248037 markings, 41976534 edges,
lola: 33 tries, 32953847 fired transitions, 1315 secs || 25366111 markings, 42165272 edges,
lola: 34 tries, 33096428 fired transitions, 1320 secs || 25468476 markings, 42331884 edges,
lola: 34 tries, 33227353 fired transitions, 1325 secs || 25566261 markings, 42484637 edges,
lola: 34 tries, 33359535 fired transitions, 1330 secs || 25662583 markings, 42642984 edges,
lola: 34 tries, 33491715 fired transitions, 1335 secs || 25759839 markings, 42799838 edges,
lola: 34 tries, 33628709 fired transitions, 1340 secs || 25865360 markings, 42975851 edges,
lola: 34 tries, 33762888 fired transitions, 1345 secs || 25957492 markings, 43135428 edges,
lola: 34 tries, 33893396 fired transitions, 1350 secs || 26056637 markings, 43290805 edges,
lola: 35 tries, 34022857 fired transitions, 1355 secs || 26153281 markings, 43453228 edges,
lola: 35 tries, 34183059 fired transitions, 1360 secs || 26259249 markings, 43625043 edges,
lola: 35 tries, 34351315 fired transitions, 1365 secs || 26369653 markings, 43805834 edges,
lola: 35 tries, 34521766 fired transitions, 1370 secs || 26482478 markings, 43985524 edges,
lola: 35 tries, 34691064 fired transitions, 1375 secs || 26590425 markings, 44154568 edges,
lola: 35 tries, 34862779 fired transitions, 1380 secs || 26683819 markings, 44331704 edges,
lola: 36 tries, 35028204 fired transitions, 1385 secs || 26779132 markings, 44497982 edges,
lola: 36 tries, 35192269 fired transitions, 1390 secs || 26878142 markings, 44658497 edges,
lola: 36 tries, 35338545 fired transitions, 1395 secs || 26974917 markings, 44817607 edges,
lola: 36 tries, 35463929 fired transitions, 1400 secs || 27082536 markings, 44995792 edges,
lola: 36 tries, 35588466 fired transitions, 1405 secs || 27179806 markings, 45152050 edges,
lola: 36 tries, 35716446 fired transitions, 1410 secs || 27277609 markings, 45320575 edges,
lola: 36 tries, 35849029 fired transitions, 1415 secs || 27371474 markings, 45470833 edges,
lola: 37 tries, 36010755 fired transitions, 1420 secs || 27470787 markings, 45634557 edges,
lola: 37 tries, 36131672 fired transitions, 1425 secs || 27582697 markings, 45818269 edges,
lola: 37 tries, 36238676 fired transitions, 1430 secs || 27688847 markings, 45999592 edges,
lola: 37 tries, 36354647 fired transitions, 1435 secs || 27797771 markings, 46174416 edges,
lola: 37 tries, 36533479 fired transitions, 1440 secs || 27916281 markings, 46366627 edges,
lola: 37 tries, 36714332 fired transitions, 1445 secs || 28021494 markings, 46542310 edges,
lola: 37 tries, 36896577 fired transitions, 1450 secs || 28133803 markings, 46741374 edges,
lola: 38 tries, 37070398 fired transitions, 1455 secs || 28248046 markings, 46925849 edges,
lola: 38 tries, 37226292 fired transitions, 1460 secs || 28355380 markings, 47104781 edges,
lola: 38 tries, 37373016 fired transitions, 1465 secs || 28453769 markings, 47268067 edges,
lola: 38 tries, 37540839 fired transitions, 1470 secs || 28565394 markings, 47447557 edges,
lola: 38 tries, 37708465 fired transitions, 1475 secs || 28680383 markings, 47632752 edges,
lola: 38 tries, 37851748 fired transitions, 1480 secs || 28789657 markings, 47822356 edges,
lola: 38 tries, 37958498 fired transitions, 1485 secs || 28898858 markings, 48003502 edges,
lola: 39 tries, 38073489 fired transitions, 1490 secs || 29016555 markings, 48201109 edges,
lola: 39 tries, 38204590 fired transitions, 1495 secs || 29128104 markings, 48385305 edges,
lola: 39 tries, 38376448 fired transitions, 1500 secs || 29237566 markings, 48576549 edges,
lola: 39 tries, 38547116 fired transitions, 1505 secs || 29345521 markings, 48748177 edges,
lola: 39 tries, 38719670 fired transitions, 1510 secs || 29458782 markings, 48929297 edges,
lola: 39 tries, 38893383 fired transitions, 1515 secs || 29572934 markings, 49108306 edges,
lola: 40 tries, 39043320 fired transitions, 1520 secs || 29684510 markings, 49295504 edges,
lola: 40 tries, 39153356 fired transitions, 1525 secs || 29792723 markings, 49476519 edges,
lola: 40 tries, 39312425 fired transitions, 1530 secs || 29890254 markings, 49638494 edges,
lola: 40 tries, 39483124 fired transitions, 1535 secs || 29999007 markings, 49821108 edges,
lola: 40 tries, 39652428 fired transitions, 1540 secs || 30113436 markings, 50010515 edges,
lola: 40 tries, 39826975 fired transitions, 1545 secs || 30218745 markings, 50192893 edges,
lola: 40 tries, 39997228 fired transitions, 1550 secs || 30327368 markings, 50373777 edges,
lola: 41 tries, 40141599 fired transitions, 1555 secs || 30433459 markings, 50553573 edges,
lola: 41 tries, 40306156 fired transitions, 1560 secs || 30526171 markings, 50726034 edges,
lola: 41 tries, 40436002 fired transitions, 1565 secs || 30607109 markings, 50875395 edges,
lola: 41 tries, 40548890 fired transitions, 1570 secs || 30682311 markings, 51017369 edges,
lola: 41 tries, 40664820 fired transitions, 1575 secs || 30756685 markings, 51158784 edges,
lola: 41 tries, 40782665 fired transitions, 1580 secs || 30826971 markings, 51289643 edges,
lola: 41 tries, 40899832 fired transitions, 1585 secs || 30897948 markings, 51424908 edges,
lola: 42 tries, 41014094 fired transitions, 1590 secs || 30969351 markings, 51560431 edges,
lola: 42 tries, 41126592 fired transitions, 1595 secs || 31034315 markings, 51679423 edges,
lola: 42 tries, 41230672 fired transitions, 1600 secs || 31101436 markings, 51785687 edges,
lola: 42 tries, 41385339 fired transitions, 1605 secs || 31201798 markings, 51948223 edges,
lola: 42 tries, 41547915 fired transitions, 1610 secs || 31306321 markings, 52115619 edges,
lola: 42 tries, 41711399 fired transitions, 1615 secs || 31410512 markings, 52281673 edges,
lola: 42 tries, 41875212 fired transitions, 1620 secs || 31514787 markings, 52453976 edges,
lola: 43 tries, 42030177 fired transitions, 1625 secs || 31619797 markings, 52626995 edges,
lola: 43 tries, 42185909 fired transitions, 1630 secs || 31736263 markings, 52815444 edges,
lola: 43 tries, 42345967 fired transitions, 1635 secs || 31855431 markings, 53009057 edges,
lola: 43 tries, 42501300 fired transitions, 1640 secs || 31965987 markings, 53199609 edges,
lola: 43 tries, 42650875 fired transitions, 1645 secs || 32067383 markings, 53365617 edges,
lola: 43 tries, 42798106 fired transitions, 1650 secs || 32177923 markings, 53548342 edges,
lola: 43 tries, 42944250 fired transitions, 1655 secs || 32294529 markings, 53738342 edges,
lola: 44 tries, 43089505 fired transitions, 1660 secs || 32404990 markings, 53917933 edges,
lola: 44 tries, 43247024 fired transitions, 1665 secs || 32510014 markings, 54103132 edges,
lola: 44 tries, 43393836 fired transitions, 1670 secs || 32620553 markings, 54280261 edges,
lola: 44 tries, 43538386 fired transitions, 1675 secs || 32727531 markings, 54462865 edges,
lola: 44 tries, 43688450 fired transitions, 1680 secs || 32838239 markings, 54646480 edges,
lola: 44 tries, 43833642 fired transitions, 1685 secs || 32950244 markings, 54828892 edges,
lola: 44 tries, 43975059 fired transitions, 1690 secs || 33056390 markings, 55005797 edges,
lola: 45 tries, 44107253 fired transitions, 1695 secs || 33165399 markings, 55190425 edges,
lola: 45 tries, 44252589 fired transitions, 1700 secs || 33268215 markings, 55385119 edges,
lola: 45 tries, 44402763 fired transitions, 1705 secs || 33364436 markings, 55570671 edges,
lola: 45 tries, 44553069 fired transitions, 1710 secs || 33462113 markings, 55740007 edges,
lola: 45 tries, 44697242 fired transitions, 1715 secs || 33567728 markings, 55916059 edges,
lola: 45 tries, 44839051 fired transitions, 1720 secs || 33675823 markings, 56095373 edges,
lola: 45 tries, 44984811 fired transitions, 1725 secs || 33785198 markings, 56273323 edges,
lola: 46 tries, 45151211 fired transitions, 1730 secs || 33881735 markings, 56434108 edges,
lola: 46 tries, 45325803 fired transitions, 1735 secs || 33979525 markings, 56599762 edges,
lola: 46 tries, 45500710 fired transitions, 1740 secs || 34075865 markings, 56773506 edges,
lola: 46 tries, 45677298 fired transitions, 1745 secs || 34163698 markings, 56946702 edges,
lola: 46 tries, 45850917 fired transitions, 1750 secs || 34253438 markings, 57102737 edges,
lola: 46 tries, 45999762 fired transitions, 1755 secs || 34362807 markings, 57280187 edges,
lola: 47 tries, 46162601 fired transitions, 1760 secs || 34471316 markings, 57460199 edges,
lola: 47 tries, 46331414 fired transitions, 1765 secs || 34576136 markings, 57633023 edges,
lola: 47 tries, 46465415 fired transitions, 1770 secs || 34680166 markings, 57811661 edges,
lola: 47 tries, 46563288 fired transitions, 1775 secs || 34783889 markings, 57982559 edges,
lola: 47 tries, 46661560 fired transitions, 1780 secs || 34895168 markings, 58168565 edges,
lola: 47 tries, 46760849 fired transitions, 1785 secs || 35007625 markings, 58351719 edges,
lola: 47 tries, 46859936 fired transitions, 1790 secs || 35120118 markings, 58540111 edges,
lola: 47 tries, 46959054 fired transitions, 1795 secs || 35234406 markings, 58728044 edges,
lola: 48 tries, 47062218 fired transitions, 1800 secs || 35346469 markings, 58908052 edges,
lola: 48 tries, 47162775 fired transitions, 1805 secs || 35457951 markings, 59095103 edges,
lola: 48 tries, 47266604 fired transitions, 1810 secs || 35567599 markings, 59279889 edges,
lola: 48 tries, 47369852 fired transitions, 1815 secs || 35672324 markings, 59455852 edges,
lola: 48 tries, 47473330 fired transitions, 1820 secs || 35780445 markings, 59635823 edges,
lola: 48 tries, 47581939 fired transitions, 1825 secs || 35890352 markings, 59814160 edges,
lola: 48 tries, 47691234 fired transitions, 1830 secs || 36000050 markings, 59993848 edges,
lola: 48 tries, 47797417 fired transitions, 1835 secs || 36110013 markings, 60176406 edges,
lola: 48 tries, 47908645 fired transitions, 1840 secs || 36219832 markings, 60353646 edges,
lola: 49 tries, 48019041 fired transitions, 1845 secs || 36328390 markings, 60531883 edges,
lola: 49 tries, 48130093 fired transitions, 1850 secs || 36433990 markings, 60715252 edges,
lola: 49 tries, 48241421 fired transitions, 1855 secs || 36526575 markings, 60895470 edges,
lola: 49 tries, 48391981 fired transitions, 1860 secs || 36628745 markings, 61063725 edges,
lola: 49 tries, 48561112 fired transitions, 1865 secs || 36742884 markings, 61248075 edges,
lola: 49 tries, 48729098 fired transitions, 1870 secs || 36851257 markings, 61425866 edges,
lola: 49 tries, 48899284 fired transitions, 1875 secs || 36962511 markings, 61610772 edges,
lola: 50 tries, 49042058 fired transitions, 1880 secs || 37068836 markings, 61787278 edges,
lola: 50 tries, 49176200 fired transitions, 1885 secs || 37177976 markings, 61967491 edges,
lola: 50 tries, 49337921 fired transitions, 1890 secs || 37288897 markings, 62155235 edges,
lola: 50 tries, 49490583 fired transitions, 1895 secs || 37389904 markings, 62340504 edges,
lola: 50 tries, 49641812 fired transitions, 1900 secs || 37486881 markings, 62524077 edges,
lola: 50 tries, 49798712 fired transitions, 1905 secs || 37584006 markings, 62708732 edges,
lola: 50 tries, 49958318 fired transitions, 1910 secs || 37679985 markings, 62887763 edges,
lola: 51 tries, 50095640 fired transitions, 1915 secs || 37764743 markings, 63054694 edges,
lola: 51 tries, 50224406 fired transitions, 1920 secs || 37854952 markings, 63228090 edges,
lola: 51 tries, 50347409 fired transitions, 1925 secs || 37940384 markings, 63398494 edges,
lola: 51 tries, 50475870 fired transitions, 1930 secs || 38017797 markings, 63563425 edges,
lola: 51 tries, 50604302 fired transitions, 1935 secs || 38089196 markings, 63724916 edges,
lola: 51 tries, 50733628 fired transitions, 1940 secs || 38170303 markings, 63889999 edges,
lola: 51 tries, 50861964 fired transitions, 1945 secs || 38250939 markings, 64050714 edges,
lola: 51 tries, 50990268 fired transitions, 1950 secs || 38344972 markings, 64204157 edges,
lola: 52 tries, 51154054 fired transitions, 1955 secs || 38446323 markings, 64376058 edges,
lola: 52 tries, 51318175 fired transitions, 1960 secs || 38551263 markings, 64548925 edges,
lola: 52 tries, 51485247 fired transitions, 1965 secs || 38660430 markings, 64727294 edges,
lola: 52 tries, 51652907 fired transitions, 1970 secs || 38774803 markings, 64910546 edges,
lola: 52 tries, 51793248 fired transitions, 1975 secs || 38886866 markings, 65090848 edges,
lola: 52 tries, 51904454 fired transitions, 1980 secs || 38992969 markings, 65270609 edges,
lola: 53 tries, 52022147 fired transitions, 1985 secs || 39098914 markings, 65448782 edges,
lola: 53 tries, 52198376 fired transitions, 1990 secs || 39202185 markings, 65615379 edges,
lola: 53 tries, 52359042 fired transitions, 1995 secs || 39298298 markings, 65778320 edges,
lola: 53 tries, 52536596 fired transitions, 2000 secs || 39405564 markings, 65957316 edges,
lola: 53 tries, 52709130 fired transitions, 2005 secs || 39516188 markings, 66139457 edges,
lola: 53 tries, 52883270 fired transitions, 2010 secs || 39627204 markings, 66319963 edges,
lola: 54 tries, 53035955 fired transitions, 2015 secs || 39735966 markings, 66511013 edges,
lola: 54 tries, 53153325 fired transitions, 2020 secs || 39845890 markings, 66686513 edges,
lola: 54 tries, 53327733 fired transitions, 2025 secs || 39960893 markings, 66875640 edges,
lola: 54 tries, 53494348 fired transitions, 2030 secs || 40065914 markings, 67045569 edges,
lola: 54 tries, 53667281 fired transitions, 2035 secs || 40181787 markings, 67230518 edges,
lola: 54 tries, 53842926 fired transitions, 2040 secs || 40301508 markings, 67424192 edges,
lola: 55 tries, 54015076 fired transitions, 2045 secs || 40416784 markings, 67615100 edges,
lola: 55 tries, 54144516 fired transitions, 2050 secs || 40515160 markings, 67777648 edges,
lola: 55 tries, 54273571 fired transitions, 2055 secs || 40621249 markings, 67950115 edges,
lola: 55 tries, 54402665 fired transitions, 2060 secs || 40726816 markings, 68127722 edges,
lola: 55 tries, 54531461 fired transitions, 2065 secs || 40833417 markings, 68300740 edges,
lola: 55 tries, 54660677 fired transitions, 2070 secs || 40936784 markings, 68470831 edges,
lola: 55 tries, 54791514 fired transitions, 2075 secs || 41039547 markings, 68636441 edges,
lola: 55 tries, 54918538 fired transitions, 2080 secs || 41135107 markings, 68806457 edges,
lola: 56 tries, 55044855 fired transitions, 2085 secs || 41227901 markings, 68959919 edges,
lola: 56 tries, 55146956 fired transitions, 2090 secs || 41338262 markings, 69139006 edges,
lola: 56 tries, 55249748 fired transitions, 2095 secs || 41449064 markings, 69318351 edges,
lola: 56 tries, 55353389 fired transitions, 2100 secs || 41561564 markings, 69503163 edges,
lola: 56 tries, 55456324 fired transitions, 2105 secs || 41670294 markings, 69686503 edges,
lola: 56 tries, 55560798 fired transitions, 2110 secs || 41780525 markings, 69867583 edges,
lola: 56 tries, 55718934 fired transitions, 2115 secs || 41884572 markings, 70038600 edges,
lola: 56 tries, 55885522 fired transitions, 2120 secs || 41993719 markings, 70216365 edges,
lola: 57 tries, 56039398 fired transitions, 2125 secs || 42097631 markings, 70386615 edges,
lola: 57 tries, 56153812 fired transitions, 2130 secs || 42207001 markings, 70569995 edges,
lola: 57 tries, 56293688 fired transitions, 2135 secs || 42318983 markings, 70760550 edges,
lola: 57 tries, 56466656 fired transitions, 2140 secs || 42426938 markings, 70936836 edges,
lola: 57 tries, 56636553 fired transitions, 2145 secs || 42525412 markings, 71098717 edges,
lola: 57 tries, 56802044 fired transitions, 2150 secs || 42636672 markings, 71279951 edges,
lola: 57 tries, 56969560 fired transitions, 2155 secs || 42742680 markings, 71468856 edges,
lola: 58 tries, 57097483 fired transitions, 2160 secs || 42846909 markings, 71631642 edges,
lola: 58 tries, 57183705 fired transitions, 2165 secs || 42923408 markings, 71758066 edges,
lola: 58 tries, 57266343 fired transitions, 2170 secs || 42991210 markings, 71865384 edges,
lola: 58 tries, 57351707 fired transitions, 2175 secs || 43065390 markings, 71983503 edges,
lola: 58 tries, 57436753 fired transitions, 2180 secs || 43141949 markings, 72106949 edges,
lola: 58 tries, 57523498 fired transitions, 2185 secs || 43218592 markings, 72231608 edges,
lola: 58 tries, 57610648 fired transitions, 2190 secs || 43294549 markings, 72361919 edges,
lola: 58 tries, 57698405 fired transitions, 2195 secs || 43367897 markings, 72481604 edges,
lola: 58 tries, 57783362 fired transitions, 2200 secs || 43432749 markings, 72584448 edges,
lola: 58 tries, 57870599 fired transitions, 2205 secs || 43507529 markings, 72702965 edges,
lola: 58 tries, 57960321 fired transitions, 2210 secs || 43585545 markings, 72826755 edges,
lola: 59 tries, 58046284 fired transitions, 2215 secs || 43665675 markings, 72960398 edges,
lola: 59 tries, 58144077 fired transitions, 2220 secs || 43749932 markings, 73096900 edges,
lola: 59 tries, 58240822 fired transitions, 2225 secs || 43824190 markings, 73218553 edges,
lola: 59 tries, 58351066 fired transitions, 2230 secs || 43900228 markings, 73359076 edges,
lola: 59 tries, 58502701 fired transitions, 2235 secs || 43984927 markings, 73525187 edges,
lola: 59 tries, 58658578 fired transitions, 2240 secs || 44078698 markings, 73697733 edges,
lola: 59 tries, 58819458 fired transitions, 2245 secs || 44179263 markings, 73865492 edges,
lola: 59 tries, 58982854 fired transitions, 2250 secs || 44291895 markings, 74045856 edges,
lola: 60 tries, 59103951 fired transitions, 2255 secs || 44396477 markings, 74221550 edges,
lola: 60 tries, 59211724 fired transitions, 2260 secs || 44509196 markings, 74401886 edges,
lola: 60 tries, 59363246 fired transitions, 2265 secs || 44616452 markings, 74580250 edges,
lola: 60 tries, 59509715 fired transitions, 2270 secs || 44727872 markings, 74767880 edges,
lola: 60 tries, 59656228 fired transitions, 2275 secs || 44844099 markings, 74954971 edges,
lola: 60 tries, 59809302 fired transitions, 2280 secs || 44958501 markings, 75142698 edges,
lola: 60 tries, 59963283 fired transitions, 2285 secs || 45071904 markings, 75330679 edges,
lola: 61 tries, 60087617 fired transitions, 2290 secs || 45184335 markings, 75517856 edges,
lola: 61 tries, 60201827 fired transitions, 2295 secs || 45295896 markings, 75708850 edges,
lola: 61 tries, 60307126 fired transitions, 2300 secs || 45397304 markings, 75870037 edges,
lola: 61 tries, 60413714 fired transitions, 2305 secs || 45501941 markings, 76039189 edges,
lola: 61 tries, 60520484 fired transitions, 2310 secs || 45610306 markings, 76213774 edges,
lola: 61 tries, 60629442 fired transitions, 2315 secs || 45717342 markings, 76395540 edges,
lola: 61 tries, 60784937 fired transitions, 2320 secs || 45828887 markings, 76584499 edges,
lola: 61 tries, 60959838 fired transitions, 2325 secs || 45939134 markings, 76764115 edges,
lola: 62 tries, 61100772 fired transitions, 2330 secs || 46037318 markings, 76928468 edges,
lola: 62 tries, 61227598 fired transitions, 2335 secs || 46141017 markings, 77095105 edges,
lola: 62 tries, 61355181 fired transitions, 2340 secs || 46236204 markings, 77245134 edges,
lola: 62 tries, 61487683 fired transitions, 2345 secs || 46326072 markings, 77406527 edges,
lola: 62 tries, 61619779 fired transitions, 2350 secs || 46413927 markings, 77554244 edges,
lola: 62 tries, 61747182 fired transitions, 2355 secs || 46518051 markings, 77717513 edges,
lola: 62 tries, 61875232 fired transitions, 2360 secs || 46613827 markings, 77870827 edges,
lola: 63 tries, 62003899 fired transitions, 2365 secs || 46709923 markings, 78025697 edges,
lola: 63 tries, 62172931 fired transitions, 2370 secs || 46810276 markings, 78187568 edges,
lola: 63 tries, 62337740 fired transitions, 2375 secs || 46912850 markings, 78373057 edges,
lola: 63 tries, 62496003 fired transitions, 2380 secs || 47005756 markings, 78550486 edges,
lola: 63 tries, 62656089 fired transitions, 2385 secs || 47098945 markings, 78725878 edges,
lola: 63 tries, 62823050 fired transitions, 2390 secs || 47188551 markings, 78901844 edges,
lola: 63 tries, 62995713 fired transitions, 2395 secs || 47276298 markings, 79079239 edges,
lola: 64 tries, 63113835 fired transitions, 2400 secs || 47369162 markings, 79259896 edges,
lola: 64 tries, 63233664 fired transitions, 2405 secs || 47458049 markings, 79436627 edges,
lola: 64 tries, 63358674 fired transitions, 2410 secs || 47545039 markings, 79613093 edges,
lola: 64 tries, 63532253 fired transitions, 2415 secs || 47636563 markings, 79785455 edges,
lola: 64 tries, 63698370 fired transitions, 2420 secs || 47727910 markings, 79959303 edges,
lola: 64 tries, 63847615 fired transitions, 2425 secs || 47830629 markings, 80126209 edges,
lola: 65 tries, 64007179 fired transitions, 2430 secs || 47941994 markings, 80305563 edges,
lola: 65 tries, 64140563 fired transitions, 2435 secs || 48048381 markings, 80478245 edges,
lola: 65 tries, 64298176 fired transitions, 2440 secs || 48160025 markings, 80663879 edges,
lola: 65 tries, 64441609 fired transitions, 2445 secs || 48270206 markings, 80839019 edges,
lola: 65 tries, 64591568 fired transitions, 2450 secs || 48379805 markings, 81027163 edges,
lola: 65 tries, 64737633 fired transitions, 2455 secs || 48493688 markings, 81205386 edges,
lola: 65 tries, 64897290 fired transitions, 2460 secs || 48606206 markings, 81389222 edges,
lola: 66 tries, 65050681 fired transitions, 2465 secs || 48707619 markings, 81559789 edges,
lola: 66 tries, 65211327 fired transitions, 2470 secs || 48805435 markings, 81725542 edges,
lola: 66 tries, 65374818 fired transitions, 2475 secs || 48906189 markings, 81890431 edges,
lola: 66 tries, 65537750 fired transitions, 2480 secs || 49008540 markings, 82059550 edges,
lola: 66 tries, 65700837 fired transitions, 2485 secs || 49104801 markings, 82219625 edges,
lola: 66 tries, 65865976 fired transitions, 2490 secs || 49202022 markings, 82375478 edges,
lola: 67 tries, 66020704 fired transitions, 2495 secs || 49299037 markings, 82531805 edges,
lola: 67 tries, 66149260 fired transitions, 2500 secs || 49402643 markings, 82700370 edges,
lola: 67 tries, 66276739 fired transitions, 2505 secs || 49500109 markings, 82857278 edges,
lola: 67 tries, 66413639 fired transitions, 2510 secs || 49594247 markings, 83013996 edges,
lola: 67 tries, 66569633 fired transitions, 2515 secs || 49693457 markings, 83178821 edges,
lola: 67 tries, 66733132 fired transitions, 2520 secs || 49796182 markings, 83351755 edges,
lola: 67 tries, 66892503 fired transitions, 2525 secs || 49900417 markings, 83513310 edges,
lola: 68 tries, 67048806 fired transitions, 2530 secs || 49997648 markings, 83668837 edges,
lola: 68 tries, 67202825 fired transitions, 2535 secs || 50097678 markings, 83844187 edges,
lola: 68 tries, 67371112 fired transitions, 2540 secs || 50192221 markings, 84015048 edges,
lola: 68 tries, 67534076 fired transitions, 2545 secs || 50289711 markings, 84172547 edges,
lola: 68 tries, 67701130 fired transitions, 2550 secs || 50400253 markings, 84350931 edges,
lola: 68 tries, 67857204 fired transitions, 2555 secs || 50506776 markings, 84521589 edges,
lola: 68 tries, 67991182 fired transitions, 2560 secs || 50595253 markings, 84664048 edges,
lola: 69 tries, 68117991 fired transitions, 2565 secs || 50696567 markings, 84835461 edges,
lola: 69 tries, 68194154 fired transitions, 2570 secs || 50765718 markings, 84946431 edges,
lola: 69 tries, 68295975 fired transitions, 2575 secs || 50846073 markings, 85078354 edges,
lola: 69 tries, 68405906 fired transitions, 2580 secs || 50913635 markings, 85188704 edges,
lola: 69 tries, 68552978 fired transitions, 2585 secs || 51012455 markings, 85361915 edges,
lola: 69 tries, 68706202 fired transitions, 2590 secs || 51114350 markings, 85537241 edges,
lola: 69 tries, 68854401 fired transitions, 2595 secs || 51218409 markings, 85707804 edges,
lola: 70 tries, 69006733 fired transitions, 2600 secs || 51330533 markings, 85891492 edges,
lola: 70 tries, 69155574 fired transitions, 2605 secs || 51434290 markings, 86060186 edges,
lola: 70 tries, 69282467 fired transitions, 2610 secs || 51538716 markings, 86227592 edges,
lola: 70 tries, 69408969 fired transitions, 2615 secs || 51640367 markings, 86391905 edges,
lola: 70 tries, 69536676 fired transitions, 2620 secs || 51737829 markings, 86570169 edges,
lola: 70 tries, 69662733 fired transitions, 2625 secs || 51835646 markings, 86736016 edges,
lola: 70 tries, 69795424 fired transitions, 2630 secs || 51944012 markings, 86916176 edges,
lola: 70 tries, 69960767 fired transitions, 2635 secs || 52052627 markings, 87095779 edges,
lola: 71 tries, 70091687 fired transitions, 2640 secs || 52164847 markings, 87283526 edges,
lola: 71 tries, 70200249 fired transitions, 2645 secs || 52272721 markings, 87472754 edges,
lola: 71 tries, 70307952 fired transitions, 2650 secs || 52382677 markings, 87651589 edges,
lola: 71 tries, 70415498 fired transitions, 2655 secs || 52501470 markings, 87842054 edges,
lola: 71 tries, 70523544 fired transitions, 2660 secs || 52614887 markings, 88034022 edges,
lola: 71 tries, 70632641 fired transitions, 2665 secs || 52733464 markings, 88229355 edges,
lola: 71 tries, 70740847 fired transitions, 2670 secs || 52848945 markings, 88421107 edges,
lola: 71 tries, 70848688 fired transitions, 2675 secs || 52964651 markings, 88605876 edges,
lola: 71 tries, 70957386 fired transitions, 2680 secs || 53084877 markings, 88801379 edges,
lola: 72 tries, 71069558 fired transitions, 2685 secs || 53193515 markings, 88981862 edges,
lola: 72 tries, 71178130 fired transitions, 2690 secs || 53295543 markings, 89148831 edges,
lola: 72 tries, 71288447 fired transitions, 2695 secs || 53405731 markings, 89323756 edges,
lola: 72 tries, 71400661 fired transitions, 2700 secs || 53514522 markings, 89514658 edges,
lola: 72 tries, 71551405 fired transitions, 2705 secs || 53610716 markings, 89686471 edges,
lola: 72 tries, 71700003 fired transitions, 2710 secs || 53708903 markings, 89847435 edges,
lola: 72 tries, 71848397 fired transitions, 2715 secs || 53820523 markings, 90026167 edges,
lola: 72 tries, 71998936 fired transitions, 2720 secs || 53935194 markings, 90209579 edges,
lola: 73 tries, 72146136 fired transitions, 2725 secs || 54039768 markings, 90379576 edges,
lola: 73 tries, 72246068 fired transitions, 2730 secs || 54148804 markings, 90567758 edges,
lola: 73 tries, 72349368 fired transitions, 2735 secs || 54254772 markings, 90744060 edges,
lola: 73 tries, 72455837 fired transitions, 2740 secs || 54366810 markings, 90932105 edges,
lola: 73 tries, 72563960 fired transitions, 2745 secs || 54473935 markings, 91118205 edges,
lola: 73 tries, 72670982 fired transitions, 2750 secs || 54579907 markings, 91293995 edges,
lola: 73 tries, 72782566 fired transitions, 2755 secs || 54689613 markings, 91479045 edges,
lola: 73 tries, 72890754 fired transitions, 2760 secs || 54798622 markings, 91668743 edges,
lola: 73 tries, 72996959 fired transitions, 2765 secs || 54908866 markings, 91847018 edges,
lola: 74 tries, 73108410 fired transitions, 2770 secs || 55018241 markings, 92020958 edges,
lola: 74 tries, 73216248 fired transitions, 2775 secs || 55132128 markings, 92205989 edges,
lola: 74 tries, 73339336 fired transitions, 2780 secs || 55242669 markings, 92399965 edges,
lola: 74 tries, 73490747 fired transitions, 2785 secs || 55353356 markings, 92584089 edges,
lola: 74 tries, 73648582 fired transitions, 2790 secs || 55466749 markings, 92771173 edges,
lola: 74 tries, 73801688 fired transitions, 2795 secs || 55580943 markings, 92962537 edges,
lola: 74 tries, 73956624 fired transitions, 2800 secs || 55696150 markings, 93150065 edges,
lola: 75 tries, 74082257 fired transitions, 2805 secs || 55805169 markings, 93334693 edges,
lola: 75 tries, 74185548 fired transitions, 2810 secs || 55915406 markings, 93518142 edges,
lola: 75 tries, 74288095 fired transitions, 2815 secs || 56020193 markings, 93694305 edges,
lola: 75 tries, 74374293 fired transitions, 2820 secs || 56100713 markings, 93836588 edges,
lola: 75 tries, 74467180 fired transitions, 2825 secs || 56180909 markings, 93984734 edges,
lola: 75 tries, 74553582 fired transitions, 2830 secs || 56257315 markings, 94115850 edges,
lola: 75 tries, 74645758 fired transitions, 2835 secs || 56345726 markings, 94265858 edges,
lola: 75 tries, 74750001 fired transitions, 2840 secs || 56454262 markings, 94446498 edges,
lola: 75 tries, 74859832 fired transitions, 2845 secs || 56562705 markings, 94624443 edges,
lola: 75 tries, 74976691 fired transitions, 2850 secs || 56674315 markings, 94807371 edges,
lola: 76 tries, 75123640 fired transitions, 2855 secs || 56778950 markings, 94988504 edges,
lola: 76 tries, 75241642 fired transitions, 2860 secs || 56882108 markings, 95157257 edges,
lola: 76 tries, 75405705 fired transitions, 2865 secs || 56988633 markings, 95335547 edges,
lola: 76 tries, 75575758 fired transitions, 2870 secs || 57096066 markings, 95520722 edges,
lola: 76 tries, 75749497 fired transitions, 2875 secs || 57192148 markings, 95697777 edges,
lola: 76 tries, 75918868 fired transitions, 2880 secs || 57283259 markings, 95871163 edges,
lola: 77 tries, 76074572 fired transitions, 2885 secs || 57373863 markings, 96044387 edges,
lola: 77 tries, 76229749 fired transitions, 2890 secs || 57470484 markings, 96231113 edges,
lola: 77 tries, 76384109 fired transitions, 2895 secs || 57569836 markings, 96417980 edges,
lola: 77 tries, 76535812 fired transitions, 2900 secs || 57653808 markings, 96592949 edges,
lola: 77 tries, 76664981 fired transitions, 2905 secs || 57737882 markings, 96767101 edges,
lola: 77 tries, 76807341 fired transitions, 2910 secs || 57830116 markings, 96943469 edges,
lola: 77 tries, 76968847 fired transitions, 2915 secs || 57923821 markings, 97118404 edges,
lola: 78 tries, 77113276 fired transitions, 2920 secs || 58016766 markings, 97300965 edges,
lola: 78 tries, 77254428 fired transitions, 2925 secs || 58103263 markings, 97475678 edges,
lola: 78 tries, 77413224 fired transitions, 2930 secs || 58189449 markings, 97648114 edges,
lola: 78 tries, 77563697 fired transitions, 2935 secs || 58285579 markings, 97822846 edges,
lola: 78 tries, 77705413 fired transitions, 2940 secs || 58386794 markings, 97997712 edges,
lola: 78 tries, 77851043 fired transitions, 2945 secs || 58494348 markings, 98171064 edges,
lola: 79 tries, 78000292 fired transitions, 2950 secs || 58606262 markings, 98354564 edges,
lola: 79 tries, 78137849 fired transitions, 2955 secs || 58711736 markings, 98532776 edges,
lola: 79 tries, 78286332 fired transitions, 2960 secs || 58816215 markings, 98717025 edges,
lola: 79 tries, 78433444 fired transitions, 2965 secs || 58923716 markings, 98894661 edges,
lola: 79 tries, 78593406 fired transitions, 2970 secs || 59031875 markings, 99067830 edges,
lola: 79 tries, 78756927 fired transitions, 2975 secs || 59145483 markings, 99252396 edges,
lola: 79 tries, 78896360 fired transitions, 2980 secs || 59236448 markings, 99395440 edges,
lola: 80 tries, 79006622 fired transitions, 2985 secs || 59312367 markings, 99522701 edges,
lola: 80 tries, 79106391 fired transitions, 2990 secs || 59387109 markings, 99638841 edges,
lola: 80 tries, 79217388 fired transitions, 2995 secs || 59465412 markings, 99764017 edges,
lola: 80 tries, 79326373 fired transitions, 3000 secs || 59542600 markings, 99887227 edges,
lola: 80 tries, 79430242 fired transitions, 3005 secs || 59607665 markings, 99994302 edges,
lola: 80 tries, 79592821 fired transitions, 3010 secs || 59705751 markings, 100153580 edges,
lola: 80 tries, 79756936 fired transitions, 3015 secs || 59808130 markings, 100321227 edges,
lola: 80 tries, 79919337 fired transitions, 3020 secs || 59907086 markings, 100483771 edges,
lola: 81 tries, 80057442 fired transitions, 3025 secs || 60009201 markings, 100651041 edges,
lola: 81 tries, 80160943 fired transitions, 3030 secs || 60117945 markings, 100833605 edges,
lola: 81 tries, 80264887 fired transitions, 3035 secs || 60224671 markings, 101006690 edges,
lola: 81 tries, 80371357 fired transitions, 3040 secs || 60332555 markings, 101177740 edges,
lola: 81 tries, 80480581 fired transitions, 3045 secs || 60441866 markings, 101353728 edges,
lola: 81 tries, 80586777 fired transitions, 3050 secs || 60552804 markings, 101535921 edges,
lola: 81 tries, 80691936 fired transitions, 3055 secs || 60659515 markings, 101711111 edges,
lola: 81 tries, 80800015 fired transitions, 3060 secs || 60762290 markings, 101878608 edges,
lola: 81 tries, 80907605 fired transitions, 3065 secs || 60863606 markings, 102042126 edges,
lola: 82 tries, 81013927 fired transitions, 3070 secs || 60963305 markings, 102200745 edges,
lola: 82 tries, 81169508 fired transitions, 3075 secs || 61062976 markings, 102364015 edges,
lola: 82 tries, 81310104 fired transitions, 3080 secs || 61166398 markings, 102523387 edges,
lola: 82 tries, 81434055 fired transitions, 3085 secs || 61266742 markings, 102689258 edges,
lola: 82 tries, 81557666 fired transitions, 3090 secs || 61358900 markings, 102847904 edges,
lola: 82 tries, 81682965 fired transitions, 3095 secs || 61460555 markings, 103011882 edges,
lola: 82 tries, 81807970 fired transitions, 3100 secs || 61561467 markings, 103178753 edges,
lola: 82 tries, 81931562 fired transitions, 3105 secs || 61662414 markings, 103342205 edges,
lola: 83 tries, 82058019 fired transitions, 3110 secs || 61761818 markings, 103506379 edges,
lola: 83 tries, 82213397 fired transitions, 3115 secs || 61856353 markings, 103665254 edges,
lola: 83 tries, 82370233 fired transitions, 3120 secs || 61952336 markings, 103824803 edges,
lola: 83 tries, 82529616 fired transitions, 3125 secs || 62044102 markings, 103974567 edges,
lola: 83 tries, 82690778 fired transitions, 3130 secs || 62139256 markings, 104135889 edges,
lola: 83 tries, 82849238 fired transitions, 3135 secs || 62233037 markings, 104292859 edges,
lola: 84 tries, 83003177 fired transitions, 3140 secs || 62328083 markings, 104447577 edges,
lola: 84 tries, 83099970 fired transitions, 3145 secs || 62424877 markings, 104613719 edges,
lola: 84 tries, 83199100 fired transitions, 3150 secs || 62532196 markings, 104793981 edges,
lola: 84 tries, 83302386 fired transitions, 3155 secs || 62635010 markings, 104973489 edges,
lola: 84 tries, 83406553 fired transitions, 3160 secs || 62743913 markings, 105161876 edges,
lola: 84 tries, 83510228 fired transitions, 3165 secs || 62853465 markings, 105344032 edges,
lola: 84 tries, 83614104 fired transitions, 3170 secs || 62963947 markings, 105531688 edges,
lola: 84 tries, 83717857 fired transitions, 3175 secs || 63073832 markings, 105719765 edges,
lola: 84 tries, 83821782 fired transitions, 3180 secs || 63183191 markings, 105905416 edges,
lola: 84 tries, 83925133 fired transitions, 3185 secs || 63289245 markings, 106079945 edges,
lola: 85 tries, 84034895 fired transitions, 3190 secs || 63396576 markings, 106258520 edges,
lola: 85 tries, 84136916 fired transitions, 3195 secs || 63504013 markings, 106438133 edges,
lola: 85 tries, 84234564 fired transitions, 3200 secs || 63610989 markings, 106615469 edges,
lola: 85 tries, 84331991 fired transitions, 3205 secs || 63715517 markings, 106786461 edges,
lola: 85 tries, 84430438 fired transitions, 3210 secs || 63822661 markings, 106975925 edges,
lola: 85 tries, 84528149 fired transitions, 3215 secs || 63923967 markings, 107141798 edges,
lola: 85 tries, 84625163 fired transitions, 3220 secs || 64023703 markings, 107303414 edges,
lola: 85 tries, 84723877 fired transitions, 3225 secs || 64124520 markings, 107489817 edges,
lola: 85 tries, 84854293 fired transitions, 3230 secs || 64222337 markings, 107652858 edges,
lola: 86 tries, 85000043 fired transitions, 3235 secs || 64333119 markings, 107835461 edges,
lola: 86 tries, 85161879 fired transitions, 3240 secs || 64426632 markings, 107987249 edges,
lola: 86 tries, 85324273 fired transitions, 3245 secs || 64522167 markings, 108141487 edges,
lola: 86 tries, 85485353 fired transitions, 3250 secs || 64616653 markings, 108291598 edges,
lola: 86 tries, 85646429 fired transitions, 3255 secs || 64711019 markings, 108441003 edges,
lola: 86 tries, 85810020 fired transitions, 3260 secs || 64799364 markings, 108609151 edges,
lola: 86 tries, 85971749 fired transitions, 3265 secs || 64886567 markings, 108752923 edges,
lola: 87 tries, 86100243 fired transitions, 3270 secs || 64992473 markings, 108920598 edges,
lola: 87 tries, 86207508 fired transitions, 3275 secs || 65103201 markings, 109098236 edges,
lola: 87 tries, 86333956 fired transitions, 3280 secs || 65212306 markings, 109276247 edges,
lola: 87 tries, 86484359 fired transitions, 3285 secs || 65321916 markings, 109456183 edges,
lola: 87 tries, 86635284 fired transitions, 3290 secs || 65431178 markings, 109630093 edges,
lola: 87 tries, 86783485 fired transitions, 3295 secs || 65535537 markings, 109802579 edges,
lola: 87 tries, 86884102 fired transitions, 3300 secs || 65605963 markings, 109928271 edges,
lola: 87 tries, 86977776 fired transitions, 3305 secs || 65676813 markings, 110041817 edges,
lola: 88 tries, 87067972 fired transitions, 3310 secs || 65751632 markings, 110165104 edges,
lola: 88 tries, 87156150 fired transitions, 3315 secs || 65825392 markings, 110283633 edges,
lola: 88 tries, 87261836 fired transitions, 3320 secs || 65899037 markings, 110400712 edges,
lola: 88 tries, 87369651 fired transitions, 3325 secs || 65969125 markings, 110512973 edges,
lola: 88 tries, 87477382 fired transitions, 3330 secs || 66041105 markings, 110629754 edges,
lola: 88 tries, 87584777 fired transitions, 3335 secs || 66111153 markings, 110747015 edges,
lola: 88 tries, 87688170 fired transitions, 3340 secs || 66172721 markings, 110847583 edges,
lola: 88 tries, 87794940 fired transitions, 3345 secs || 66245720 markings, 110964829 edges,
lola: 88 tries, 87903362 fired transitions, 3350 secs || 66320646 markings, 111088173 edges,
lola: 89 tries, 88009062 fired transitions, 3355 secs || 66398730 markings, 111214639 edges,
lola: 89 tries, 88079012 fired transitions, 3360 secs || 66477903 markings, 111354495 edges,
lola: 89 tries, 88149742 fired transitions, 3365 secs || 66553156 markings, 111469051 edges,
lola: 89 tries, 88224579 fired transitions, 3370 secs || 66638379 markings, 111604935 edges,
lola: 89 tries, 88295317 fired transitions, 3375 secs || 66713019 markings, 111722521 edges,
lola: 89 tries, 88369545 fired transitions, 3380 secs || 66800159 markings, 111873050 edges,
lola: 89 tries, 88442665 fired transitions, 3385 secs || 66877864 markings, 112013218 edges,
lola: 89 tries, 88516891 fired transitions, 3390 secs || 66954372 markings, 112158514 edges,
lola: 89 tries, 88587526 fired transitions, 3395 secs || 67033813 markings, 112286249 edges,
lola: 89 tries, 88659026 fired transitions, 3400 secs || 67108806 markings, 112416687 edges,
lola: 89 tries, 88731371 fired transitions, 3405 secs || 67199703 markings, 112562750 edges,
lola: 89 tries, 88803752 fired transitions, 3410 secs || 67284118 markings, 112706950 edges,
lola: 89 tries, 88873616 fired transitions, 3415 secs || 67362705 markings, 112833168 edges,
lola: 89 tries, 88946390 fired transitions, 3420 secs || 67449674 markings, 112978579 edges,
lola: 90 tries, 89025873 fired transitions, 3425 secs || 67522964 markings, 113103755 edges,
lola: 90 tries, 89133864 fired transitions, 3430 secs || 67604480 markings, 113236318 edges,
lola: 90 tries, 89245323 fired transitions, 3435 secs || 67681795 markings, 113371982 edges,
lola: 90 tries, 89351879 fired transitions, 3440 secs || 67750559 markings, 113481299 edges,
lola: 90 tries, 89465173 fired transitions, 3445 secs || 67828787 markings, 113622098 edges,
lola: 90 tries, 89571380 fired transitions, 3450 secs || 67895959 markings, 113727493 edges,
lola: 90 tries, 89683421 fired transitions, 3455 secs || 67976200 markings, 113856790 edges,
lola: 90 tries, 89794317 fired transitions, 3460 secs || 68053976 markings, 113982666 edges,
lola: 90 tries, 89902406 fired transitions, 3465 secs || 68120267 markings, 114092878 edges,
lola: 91 tries, 90010455 fired transitions, 3470 secs || 68201262 markings, 114222859 edges,
lola: 91 tries, 90086385 fired transitions, 3475 secs || 68283002 markings, 114355350 edges,
lola: 91 tries, 90157217 fired transitions, 3480 secs || 68356985 markings, 114472597 edges,
lola: 91 tries, 90245110 fired transitions, 3485 secs || 68443340 markings, 114608814 edges,
lola: 91 tries, 90353960 fired transitions, 3490 secs || 68524518 markings, 114745397 edges,
lola: 91 tries, 90452322 fired transitions, 3495 secs || 68599241 markings, 114861262 edges,
lola: 91 tries, 90557604 fired transitions, 3500 secs || 68685048 markings, 114999888 edges,
lola: 91 tries, 90660734 fired transitions, 3505 secs || 68769123 markings, 115135037 edges,
lola: 91 tries, 90760262 fired transitions, 3510 secs || 68842598 markings, 115254035 edges,
lola: 91 tries, 90867825 fired transitions, 3515 secs || 68929503 markings, 115392759 edges,
lola: 91 tries, 90975554 fired transitions, 3520 secs || 69011885 markings, 115524713 edges,
lola: 92 tries, 91062416 fired transitions, 3525 secs || 69079066 markings, 115638127 edges,
lola: 92 tries, 91133169 fired transitions, 3530 secs || 69163649 markings, 115772887 edges,
lola: 92 tries, 91204852 fired transitions, 3535 secs || 69243565 markings, 115907235 edges,
lola: 92 tries, 91284291 fired transitions, 3540 secs || 69317770 markings, 116038106 edges,
lola: 92 tries, 91358345 fired transitions, 3545 secs || 69395579 markings, 116162197 edges,
lola: 92 tries, 91465131 fired transitions, 3550 secs || 69480522 markings, 116302758 edges,
lola: 92 tries, 91562948 fired transitions, 3555 secs || 69557458 markings, 116424080 edges,
lola: 92 tries, 91636885 fired transitions, 3560 secs || 69646859 markings, 116569181 edges,
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552805817728

--------------------
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) 20392 markings/sec, 0 secs 22776 markings/sec, 5 secs 22810 markings/sec, 10 secs 22065 markings/sec, 15 secs 16532 markings/sec, 20 secs 14537 markings/sec, 25 secs 17612 markings/sec, 30 secs 14279 markings/sec, 35 secs 16603 markings/sec, 40 secs 14820 markings/sec, 45 secs 16510 markings/sec, 50 secs 16640 markings/sec, 55 secs 14199 markings/sec, 60 secs 16515 markings/sec, 65 secs 15064 markings/sec, 70 secs 16755 markings/sec, 75 secs 15113 markings/sec, 80 secs 16001 markings/sec, 85 secs 16185 markings/sec, 90 secs 15098 markings/sec, 95 secs 16086 markings/sec, 100 secs 14559 markings/sec, 105 secs 17740 markings/sec, 110 secs 13752 markings/sec, 115 secs 16276 markings/sec, 120 secs 14720 markings/sec, 125 secs 13351 markings/sec, 130 secs 16125 markings/sec, 135 secs 14950 markings/sec, 140 secs 13536 markings/sec, 145 secs 15282 markings/sec, 150 secs 12736 markings/sec, 155 secs 16014 markings/sec, 160 secs 15252 markings/sec, 165 secs 13306 markings/sec, 170 secs 16070 markings/sec, 175 secs 13857 markings/sec, 180 secs 17079 markings/sec, 185 secs 14871 markings/sec, 190 secs 14664 markings/sec, 195 secs 13305 markings/sec, 200 secs 14550 markings/sec, 205 secs 17832 markings/sec, 210 secs 14279 markings/sec, 215 secs 15967 markings/sec, 220 secs 14015 markings/sec, 225 secs 16745 markings/sec, 230 secs 14260 markings/sec, 235 secs 16659 markings/sec, 240 secs 15961 markings/sec, 245 secs 15954 markings/sec, 250 secs 18929 markings/sec, 255 secs 15579 markings/sec, 260 secs 17846 markings/sec, 265 secs 16176 markings/sec, 270 secs 12176 markings/sec, 275 secs 14766 markings/sec, 280 secs 13256 markings/sec, 285 secs 12058 markings/sec, 290 secs 13891 markings/sec, 295 secs 13603 markings/sec, 300 secs 11282 markings/sec, 305 secs 14094 markings/sec, 310 secs 13785 markings/sec, 315 secs 11431 markings/sec, 320 secs 17746 markings/sec, 325 secs 16958 markings/sec, 330 secs 16378 markings/sec, 335 secs 17970 markings/sec, 340 secs 17900 markings/sec, 345 secs 16313 markings/sec, 350 secs 18269 markings/sec, 355 secs 17153 markings/sec, 360 secs 17399 markings/sec, 365 secs 15453 markings/sec, 370 secs 17187 markings/sec, 375 secs 14753 markings/sec, 380 secs 18084 markings/sec, 385 secs 17006 markings/sec, 390 secs 14604 markings/sec, 395 secs 17175 markings/sec, 400 secs 14666 markings/sec, 405 secs 17086 markings/sec, 410 secs 12899 markings/sec, 415 secs 19996 markings/sec, 420 secs 22242 markings/sec, 425 secs 22164 markings/sec, 430 secs 23038 markings/sec, 435 secs 22536 markings/sec, 440 secs 21848 markings/sec, 445 secs 22844 markings/sec, 450 secs 21000 markings/sec, 455 secs 22248 markings/sec, 460 secs 21655 markings/sec, 465 secs 21647 markings/sec, 470 secs 21400 markings/sec, 475 secs 19853 markings/sec, 480 secs 22288 markings/sec, 485 secs 19976 markings/sec, 490 secs 16484 markings/sec, 495 secs 17051 markings/sec, 500 secs 17533 markings/sec, 505 secs 16656 markings/sec, 510 secs 12670 markings/sec, 515 secs 15680 markings/sec, 520 secs 16051 markings/sec, 525 secs 15761 markings/sec, 530 secs 16760 markings/sec, 535 secs 17075 markings/sec, 540 secs 19761 markings/sec, 545 secs 21724 markings/sec, 550 secs 23071 markings/sec, 555 secs 21345 markings/sec, 560 secs 20980 markings/sec, 565 secs 20734 markings/sec, 570 secs 19333 markings/sec, 575 secs 22813 markings/sec, 580 secs 21476 markings/sec, 585 secs 21539 markings/sec, 590 secs 19839 markings/sec, 595 secs 22947 markings/sec, 600 secs 23059 markings/sec, 605 secs 23577 markings/sec, 610 secs 22111 markings/sec, 615 secs 21888 markings/sec, 620 secs 20976 markings/sec, 625 secs 20965 markings/sec, 630 secs 22542 markings/sec, 635 secs 22468 markings/sec, 640 secs 21513 markings/sec, 645 secs 22375 markings/sec, 650 secs 19425 markings/sec, 655 secs 19225 markings/sec, 660 secs 19172 markings/sec, 665 secs 19428 markings/sec, 670 secs 21141 markings/sec, 675 secs 19730 markings/sec, 680 secs 21164 markings/sec, 685 secs 20118 markings/sec, 690 secs 19443 markings/sec, 695 secs 22232 markings/sec, 700 secs 21232 markings/sec, 705 secs 22456 markings/sec, 710 secs 22000 markings/sec, 715 secs 21442 markings/sec, 720 secs 22059 markings/sec, 725 secs 17466 markings/sec, 730 secs 20403 markings/sec, 735 secs 20231 markings/sec, 740 secs 20325 markings/sec, 745 secs 19777 markings/sec, 750 secs 21347 markings/sec, 755 secs 19794 markings/sec, 760 secs 19992 markings/sec, 765 secs 22746 markings/sec, 770 secs 23107 markings/sec, 775 secs 22647 markings/sec, 780 secs 21390 markings/sec, 785 secs 21414 markings/sec, 790 secs 21192 markings/sec, 795 secs 19840 markings/sec, 800 secs 22649 markings/sec, 805 secs 23190 markings/sec, 810 secs 23652 markings/sec, 815 secs 22074 markings/sec, 820 secs 19612 markings/sec, 825 secs 21866 markings/sec, 830 secs 21367 markings/sec, 835 secs 19096 markings/sec, 840 secs 20739 markings/sec, 845 secs 21706 markings/sec, 850 secs 20557 markings/sec, 855 secs 18927 markings/sec, 860 secs 19957 markings/sec, 865 secs 21474 markings/sec, 870 secs 17597 markings/sec, 875 secs 21157 markings/sec, 880 secs 20680 markings/sec, 885 secs 19993 markings/sec, 890 secs 20571 markings/sec, 895 secs 21175 markings/sec, 900 secs 19115 markings/sec, 905 secs 20259 markings/sec, 910 secs 20524 markings/sec, 915 secs 20182 markings/sec, 920 secs 20436 markings/sec, 925 secs 22016 markings/sec, 930 secs 21367 markings/sec, 935 secs 20291 markings/sec, 940 secs 21869 markings/sec, 945 secs 22039 markings/sec, 950 secs 20766 markings/sec, 955 secs 22390 markings/sec, 960 secs 22164 markings/sec, 965 secs 22544 markings/sec, 970 secs 21572 markings/sec, 975 secs 19605 markings/sec, 980 secs 20736 markings/sec, 985 secs 19281 markings/sec, 990 secs 22517 markings/sec, 995 secs 21586 markings/sec, 1000 secs 20346 markings/sec, 1005 secs 19870 markings/sec, 1010 secs 19430 markings/sec, 1015 secs 19456 markings/sec, 1020 secs 22413 markings/sec, 1025 secs 20139 markings/sec, 1030 secs 19779 markings/sec, 1035 secs 19938 markings/sec, 1040 secs 21200 markings/sec, 1045 secs 20249 markings/sec, 1050 secs 22050 markings/sec, 1055 secs 21676 markings/sec, 1060 secs 20262 markings/sec, 1065 secs 22318 markings/sec, 1070 secs 22296 markings/sec, 1075 secs 22885 markings/sec, 1080 secs 22090 markings/sec, 1085 secs 20589 markings/sec, 1090 secs 22504 markings/sec, 1095 secs 22545 markings/sec, 1100 secs 22411 markings/sec, 1105 secs 21253 markings/sec, 1110 secs 19375 markings/sec, 1115 secs 22694 markings/sec, 1120 secs 19218 markings/sec, 1125 secs 20741 markings/sec, 1130 secs 19806 markings/sec, 1135 secs 19960 markings/sec, 1140 secs 19850 markings/sec, 1145 secs 20925 markings/sec, 1150 secs 18987 markings/sec, 1155 secs 18051 markings/sec, 1160 secs 21694 markings/sec, 1165 secs 20383 markings/sec, 1170 secs 21332 markings/sec, 1175 secs 22472 markings/sec, 1180 secs 22924 markings/sec, 1185 secs 22674 markings/sec, 1190 secs 22820 markings/sec, 1195 secs 23195 markings/sec, 1200 secs 22996 markings/sec, 1205 secs 21445 markings/sec, 1210 secs 20344 markings/sec, 1215 secs 22604 markings/sec, 1220 secs 22586 markings/sec, 1225 secs 22697 markings/sec, 1230 secs 20801 markings/sec, 1235 secs 19024 markings/sec, 1240 secs 20106 markings/sec, 1245 secs 20853 markings/sec, 1250 secs 21077 markings/sec, 1255 secs 22188 markings/sec, 1260 secs 20938 markings/sec, 1265 secs 17222 markings/sec, 1270 secs 18753 markings/sec, 1275 secs 19194 markings/sec, 1280 secs 17649 markings/sec, 1285 secs 19267 markings/sec, 1290 secs 22330 markings/sec, 1295 secs 21889 markings/sec, 1300 secs 22084 markings/sec, 1305 secs 21913 markings/sec, 1310 secs 23615 markings/sec, 1315 secs 20473 markings/sec, 1320 secs 19557 markings/sec, 1325 secs 19264 markings/sec, 1330 secs 19451 markings/sec, 1335 secs 21104 markings/sec, 1340 secs 18426 markings/sec, 1345 secs 19829 markings/sec, 1350 secs 19329 markings/sec, 1355 secs 21194 markings/sec, 1360 secs 22081 markings/sec, 1365 secs 22565 markings/sec, 1370 secs 21589 markings/sec, 1375 secs 18679 markings/sec, 1380 secs 19063 markings/sec, 1385 secs 19802 markings/sec, 1390 secs 19355 markings/sec, 1395 secs 21524 markings/sec, 1400 secs 19454 markings/sec, 1405 secs 19561 markings/sec, 1410 secs 18773 markings/sec, 1415 secs 19863 markings/sec, 1420 secs 22382 markings/sec, 1425 secs 21230 markings/sec, 1430 secs 21785 markings/sec, 1435 secs 23702 markings/sec, 1440 secs 21043 markings/sec, 1445 secs 22462 markings/sec, 1450 secs 22849 markings/sec, 1455 secs 21467 markings/sec, 1460 secs 19678 markings/sec, 1465 secs 22325 markings/sec, 1470 secs 22998 markings/sec, 1475 secs 21855 markings/sec, 1480 secs 21840 markings/sec, 1485 secs 23539 markings/sec, 1490 secs 22310 markings/sec, 1495 secs 21892 markings/sec, 1500 secs 21591 markings/sec, 1505 secs 22652 markings/sec, 1510 secs 22830 markings/sec, 1515 secs 22315 markings/sec, 1520 secs 21643 markings/sec, 1525 secs 19506 markings/sec, 1530 secs 21751 markings/sec, 1535 secs 22886 markings/sec, 1540 secs 21062 markings/sec, 1545 secs 21725 markings/sec, 1550 secs 21218 markings/sec, 1555 secs 18542 markings/sec, 1560 secs 16188 markings/sec, 1565 secs 15040 markings/sec, 1570 secs 14875 markings/sec, 1575 secs 14057 markings/sec, 1580 secs 14195 markings/sec, 1585 secs 14281 markings/sec, 1590 secs 12993 markings/sec, 1595 secs 13424 markings/sec, 1600 secs 20072 markings/sec, 1605 secs 20905 markings/sec, 1610 secs 20838 markings/sec, 1615 secs 20855 markings/sec, 1620 secs 21002 markings/sec, 1625 secs 23293 markings/sec, 1630 secs 23834 markings/sec, 1635 secs 22111 markings/sec, 1640 secs 20279 markings/sec, 1645 secs 22108 markings/sec, 1650 secs 23321 markings/sec, 1655 secs 22092 markings/sec, 1660 secs 21005 markings/sec, 1665 secs 22108 markings/sec, 1670 secs 21396 markings/sec, 1675 secs 22142 markings/sec, 1680 secs 22401 markings/sec, 1685 secs 21229 markings/sec, 1690 secs 21802 markings/sec, 1695 secs 20563 markings/sec, 1700 secs 19244 markings/sec, 1705 secs 19535 markings/sec, 1710 secs 21123 markings/sec, 1715 secs 21619 markings/sec, 1720 secs 21875 markings/sec, 1725 secs 19307 markings/sec, 1730 secs 19558 markings/sec, 1735 secs 19268 markings/sec, 1740 secs 17567 markings/sec, 1745 secs 17948 markings/sec, 1750 secs 21874 markings/sec, 1755 secs 21702 markings/sec, 1760 secs 20964 markings/sec, 1765 secs 20806 markings/sec, 1770 secs 20745 markings/sec, 1775 secs 22256 markings/sec, 1780 secs 22491 markings/sec, 1785 secs 22499 markings/sec, 1790 secs 22858 markings/sec, 1795 secs 22413 markings/sec, 1800 secs 22296 markings/sec, 1805 secs 21930 markings/sec, 1810 secs 20945 markings/sec, 1815 secs 21624 markings/sec, 1820 secs 21981 markings/sec, 1825 secs 21940 markings/sec, 1830 secs 21993 markings/sec, 1835 secs 21964 markings/sec, 1840 secs 21712 markings/sec, 1845 secs 21120 markings/sec, 1850 secs 18517 markings/sec, 1855 secs 20434 markings/sec, 1860 secs 22828 markings/sec, 1865 secs 21675 markings/sec, 1870 secs 22251 markings/sec, 1875 secs 21265 markings/sec, 1880 secs 21828 markings/sec, 1885 secs 22184 markings/sec, 1890 secs 20201 markings/sec, 1895 secs 19395 markings/sec, 1900 secs 19425 markings/sec, 1905 secs 19196 markings/sec, 1910 secs 16952 markings/sec, 1915 secs 18042 markings/sec, 1920 secs 17086 markings/sec, 1925 secs 15483 markings/sec, 1930 secs 14280 markings/sec, 1935 secs 16221 markings/sec, 1940 secs 16127 markings/sec, 1945 secs 18807 markings/sec, 1950 secs 20270 markings/sec, 1955 secs 20988 markings/sec, 1960 secs 21833 markings/sec, 1965 secs 22875 markings/sec, 1970 secs 22413 markings/sec, 1975 secs 21221 markings/sec, 1980 secs 21189 markings/sec, 1985 secs 20654 markings/sec, 1990 secs 19223 markings/sec, 1995 secs 21453 markings/sec, 2000 secs 22125 markings/sec, 2005 secs 22203 markings/sec, 2010 secs 21752 markings/sec, 2015 secs 21985 markings/sec, 2020 secs 23001 markings/sec, 2025 secs 21004 markings/sec, 2030 secs 23175 markings/sec, 2035 secs 23944 markings/sec, 2040 secs 23055 markings/sec, 2045 secs 19675 markings/sec, 2050 secs 21218 markings/sec, 2055 secs 21113 markings/sec, 2060 secs 21320 markings/sec, 2065 secs 20673 markings/sec, 2070 secs 20553 markings/sec, 2075 secs 19112 markings/sec, 2080 secs 18559 markings/sec, 2085 secs 22072 markings/sec, 2090 secs 22160 markings/sec, 2095 secs 22500 markings/sec, 2100 secs 21746 markings/sec, 2105 secs 22046 markings/sec, 2110 secs 20809 markings/sec, 2115 secs 21829 markings/sec, 2120 secs 20782 markings/sec, 2125 secs 21874 markings/sec, 2130 secs 22396 markings/sec, 2135 secs 21591 markings/sec, 2140 secs 19695 markings/sec, 2145 secs 22252 markings/sec, 2150 secs 21202 markings/sec, 2155 secs 20846 markings/sec, 2160 secs 15300 markings/sec, 2165 secs 13560 markings/sec, 2170 secs 14836 markings/sec, 2175 secs 15312 markings/sec, 2180 secs 15329 markings/sec, 2185 secs 15191 markings/sec, 2190 secs 14670 markings/sec, 2195 secs 12970 markings/sec, 2200 secs 14956 markings/sec, 2205 secs 15603 markings/sec, 2210 secs 16026 markings/sec, 2215 secs 16851 markings/sec, 2220 secs 14852 markings/sec, 2225 secs 15208 markings/sec, 2230 secs 16940 markings/sec, 2235 secs 18754 markings/sec, 2240 secs 20113 markings/sec, 2245 secs 22526 markings/sec, 2250 secs 20916 markings/sec, 2255 secs 22544 markings/sec, 2260 secs 21451 markings/sec, 2265 secs 22284 markings/sec, 2270 secs 23245 markings/sec, 2275 secs 22880 markings/sec, 2280 secs 22681 markings/sec, 2285 secs 22486 markings/sec, 2290 secs 22312 markings/sec, 2295 secs 20282 markings/sec, 2300 secs 20927 markings/sec, 2305 secs 21673 markings/sec, 2310 secs 21407 markings/sec, 2315 secs 22309 markings/sec, 2320 secs 22049 markings/sec, 2325 secs 19637 markings/sec, 2330 secs 20740 markings/sec, 2335 secs 19037 markings/sec, 2340 secs 17974 markings/sec, 2345 secs 17571 markings/sec, 2350 secs 20825 markings/sec, 2355 secs 19155 markings/sec, 2360 secs 19219 markings/sec, 2365 secs 20071 markings/sec, 2370 secs 20515 markings/sec, 2375 secs 18581 markings/sec, 2380 secs 18638 markings/sec, 2385 secs 17921 markings/sec, 2390 secs 17549 markings/sec, 2395 secs 18573 markings/sec, 2400 secs 17777 markings/sec, 2405 secs 17398 markings/sec, 2410 secs 18305 markings/sec, 2415 secs 18269 markings/sec, 2420 secs 20544 markings/sec, 2425 secs 22273 markings/sec, 2430 secs 21277 markings/sec, 2435 secs 22329 markings/sec, 2440 secs 22036 markings/sec, 2445 secs 21920 markings/sec, 2450 secs 22777 markings/sec, 2455 secs 22504 markings/sec, 2460 secs 20283 markings/sec, 2465 secs 19563 markings/sec, 2470 secs 20151 markings/sec, 2475 secs 20470 markings/sec, 2480 secs 19252 markings/sec, 2485 secs 19444 markings/sec, 2490 secs 19403 markings/sec, 2495 secs 20721 markings/sec, 2500 secs 19493 markings/sec, 2505 secs 18828 markings/sec, 2510 secs 19842 markings/sec, 2515 secs 20545 markings/sec, 2520 secs 20847 markings/sec, 2525 secs 19446 markings/sec, 2530 secs 20006 markings/sec, 2535 secs 18909 markings/sec, 2540 secs 19498 markings/sec, 2545 secs 22108 markings/sec, 2550 secs 21305 markings/sec, 2555 secs 17695 markings/sec, 2560 secs 20263 markings/sec, 2565 secs 13830 markings/sec, 2570 secs 16071 markings/sec, 2575 secs 13512 markings/sec, 2580 secs 19764 markings/sec, 2585 secs 20379 markings/sec, 2590 secs 20812 markings/sec, 2595 secs 22425 markings/sec, 2600 secs 20751 markings/sec, 2605 secs 20885 markings/sec, 2610 secs 20330 markings/sec, 2615 secs 19492 markings/sec, 2620 secs 19563 markings/sec, 2625 secs 21673 markings/sec, 2630 secs 21723 markings/sec, 2635 secs 22444 markings/sec, 2640 secs 21575 markings/sec, 2645 secs 21991 markings/sec, 2650 secs 23759 markings/sec, 2655 secs 22683 markings/sec, 2660 secs 23715 markings/sec, 2665 secs 23096 markings/sec, 2670 secs 23141 markings/sec, 2675 secs 24045 markings/sec, 2680 secs 21728 markings/sec, 2685 secs 20406 markings/sec, 2690 secs 22038 markings/sec, 2695 secs 21758 markings/sec, 2700 secs 19239 markings/sec, 2705 secs 19637 markings/sec, 2710 secs 22324 markings/sec, 2715 secs 22934 markings/sec, 2720 secs 20915 markings/sec, 2725 secs 21807 markings/sec, 2730 secs 21194 markings/sec, 2735 secs 22408 markings/sec, 2740 secs 21425 markings/sec, 2745 secs 21194 markings/sec, 2750 secs 21941 markings/sec, 2755 secs 21802 markings/sec, 2760 secs 22049 markings/sec, 2765 secs 21875 markings/sec, 2770 secs 22777 markings/sec, 2775 secs 22108 markings/sec, 2780 secs 22137 markings/sec, 2785 secs 22679 markings/sec, 2790 secs 22839 markings/sec, 2795 secs 23041 markings/sec, 2800 secs 21804 markings/sec, 2805 secs 22047 markings/sec, 2810 secs 20957 markings/sec, 2815 secs 16104 markings/sec, 2820 secs 16039 markings/sec, 2825 secs 15281 markings/sec, 2830 secs 17682 markings/sec, 2835 secs 21707 markings/sec, 2840 secs 21689 markings/sec, 2845 secs 22322 markings/sec, 2850 secs 20927 markings/sec, 2855 secs 20632 markings/sec, 2860 secs 21305 markings/sec, 2865 secs 21487 markings/sec, 2870 secs 19216 markings/sec, 2875 secs 18222 markings/sec, 2880 secs 18121 markings/sec, 2885 secs 19324 markings/sec, 2890 secs 19870 markings/sec, 2895 secs 16794 markings/sec, 2900 secs 16815 markings/sec, 2905 secs 18447 markings/sec, 2910 secs 18741 markings/sec, 2915 secs 18589 markings/sec, 2920 secs 17299 markings/sec, 2925 secs 17237 markings/sec, 2930 secs 19226 markings/sec, 2935 secs 20243 markings/sec, 2940 secs 21511 markings/sec, 2945 secs 22383 markings/sec, 2950 secs 21095 markings/sec, 2955 secs 20896 markings/sec, 2960 secs 21500 markings/sec, 2965 secs 21632 markings/sec, 2970 secs 22722 markings/sec, 2975 secs 18193 markings/sec, 2980 secs 15184 markings/sec, 2985 secs 14948 markings/sec, 2990 secs 15661 markings/sec, 2995 secs 15438 markings/sec, 3000 secs 13013 markings/sec, 3005 secs 19617 markings/sec, 3010 secs 20476 markings/sec, 3015 secs 19791 markings/sec, 3020 secs 20423 markings/sec, 3025 secs 21749 markings/sec, 3030 secs 21345 markings/sec, 3035 secs 21577 markings/sec, 3040 secs 21862 markings/sec, 3045 secs 22188 markings/sec, 3050 secs 21342 markings/sec, 3055 secs 20555 markings/sec, 3060 secs 20263 markings/sec, 3065 secs 19940 markings/sec, 3070 secs 19934 markings/sec, 3075 secs 20684 markings/sec, 3080 secs 20069 markings/sec, 3085 secs 18432 markings/sec, 3090 secs 20331 markings/sec, 3095 secs 20182 markings/sec, 3100 secs 20189 markings/sec, 3105 secs 19881 markings/sec, 3110 secs 18907 markings/sec, 3115 secs 19197 markings/sec, 3120 secs 18353 markings/sec, 3125 secs 19031 markings/sec, 3130 secs 18756 markings/sec, 3135 secs 19009 markings/sec, 3140 secs 19359 markings/sec, 3145 secs 21464 markings/sec, 3150 secs 20563 markings/sec, 3155 secs 21781 markings/sec, 3160 secs 21910 markings/sec, 3165 secs 22096 markings/sec, 3170 secs 21977 markings/sec, 3175 secs 21872 markings/sec, 3180 secs 21211 markings/sec, 3185 secs 21466 markings/sec, 3190 secs 21487 markings/sec, 3195 secs 21395 markings/sec, 3200 secs 20906 markings/sec, 3205 secs 21429 markings/sec, 3210 secs 20261 markings/sec, 3215 secs 19947 markings/sec, 3220 secs 20163 markings/sec, 3225 secs 19563 markings/sec, 3230 secs 22156 markings/sec, 3235 secs 18703 markings/sec, 3240 secs 19107 markings/sec, 3245 secs 18897 markings/sec, 3250 secs 18873 markings/sec, 3255 secs 17669 markings/sec, 3260 secs 17441 markings/sec, 3265 secs 21181 markings/sec, 3270 secs 22146 markings/sec, 3275 secs 21821 markings/sec, 3280 secs 21922 markings/sec, 3285 secs 21852 markings/sec, 3290 secs 20872 markings/sec, 3295 secs 14085 markings/sec, 3300 secs 14170 markings/sec, 3305 secs 14964 markings/sec, 3310 secs 14752 markings/sec, 3315 secs 14729 markings/sec, 3320 secs 14018 markings/sec, 3325 secs 14396 markings/sec, 3330 secs 14010 markings/sec, 3335 secs 12314 markings/sec, 3340 secs 14600 markings/sec, 3345 secs 14985 markings/sec, 3350 secs 15617 markings/sec, 3355 secs 15835 markings/sec, 3360 secs 15051 markings/sec, 3365 secs 17045 markings/sec, 3370 secs 14928 markings/sec, 3375 secs 17428 markings/sec, 3380 secs 15541 markings/sec, 3385 secs 15302 markings/sec, 3390 secs 15888 markings/sec, 3395 secs 14999 markings/sec, 3400 secs 18179 markings/sec, 3405 secs 16883 markings/sec, 3410 secs 15717 markings/sec, 3415 secs 17394 markings/sec, 3420 secs 14658 markings/sec, 3425 secs 16303 markings/sec, 3430 secs 15463 markings/sec, 3435 secs 13753 markings/sec, 3440 secs 15646 markings/sec, 3445 secs 13434 markings/sec, 3450 secs 16048 markings/sec, 3455 secs 15555 markings/sec, 3460 secs 13258 markings/sec, 3465 secs 16199 markings/sec, 3470 secs 16348 markings/sec, 3475 secs 14797 markings/sec, 3480 secs 17271 markings/sec, 3485 secs 16236 markings/sec, 3490 secs 14945 markings/sec, 3495 secs 17161 markings/sec, 3500 secs 16815 markings/sec, 3505 secs 14695 markings/sec, 3510 secs 17381 markings/sec, 3515 secs 16476 markings/sec, 3520 secs 13436 markings/sec, 3525 secs 16917 markings/sec, 3530 secs 15983 markings/sec, 3535 secs 14841 markings/sec, 3540 secs 15562 markings/sec, 3545 secs 16989 markings/sec, 3550 secs 15387 markings/sec, 3555 secs 17880 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-COL-7"
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-COL-7, 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-155272226000516"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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