MCC'2019 - Execution of r137-smll-155284909300030

About the Execution of LoLA for Raft-PT-05

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15918.950	3333463.00	6410608.00	25003.00	[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/fkordon/mcc2019-input.r137-smll-155284909300030.qcow2', fmt=qcow2 size=4294967296 backing_file='
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is Raft-PT-05, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r137-smll-155284909300030
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.1K Feb 12 11:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 11:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 8 13:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 8 13:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 97 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 335 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 00:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 4 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 1 11:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 1 11:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 62K 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 Raft-PT-05-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552901280096

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Raft-PT-05 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 237
rslt: Output for GlobalProperties @ Raft-PT-05
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 371/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 133
lola: finding significant places
lola: 133 places, 238 transitions, 108 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 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: computed 24 generators (4 in search tree, 20 by composition)
lola: representing 120 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 777428 fired transitions, 0 secs || 189412 markings, 1735151 edges,
lola: 2 tries, 1567504 fired transitions, 5 secs || 385085 markings, 3555376 edges,
lola: 3 tries, 2358480 fired transitions, 10 secs || 581626 markings, 5381584 edges,
lola: 4 tries, 3150656 fired transitions, 15 secs || 776718 markings, 7198345 edges,
lola: 4 tries, 3941972 fired transitions, 20 secs || 970418 markings, 8996626 edges,
lola: 5 tries, 4732036 fired transitions, 25 secs || 1158107 markings, 10739190 edges,
lola: 6 tries, 5525042 fired transitions, 30 secs || 1341942 markings, 12448630 edges,
lola: 7 tries, 6318870 fired transitions, 35 secs || 1524819 markings, 14150146 edges,
lola: 8 tries, 7113624 fired transitions, 40 secs || 1706238 markings, 15835941 edges,
lola: 8 tries, 7906974 fired transitions, 45 secs || 1888349 markings, 17529154 edges,
lola: 9 tries, 8701310 fired transitions, 50 secs || 2066252 markings, 19185787 edges,
lola: 10 tries, 9496768 fired transitions, 55 secs || 2244347 markings, 20843614 edges,
lola: 11 tries, 10290156 fired transitions, 60 secs || 2421077 markings, 22488917 edges,
lola: 12 tries, 11084692 fired transitions, 65 secs || 2598100 markings, 24138080 edges,
lola: 12 tries, 11879840 fired transitions, 70 secs || 2776011 markings, 25791178 edges,
lola: 13 tries, 12675174 fired transitions, 75 secs || 2952709 markings, 27437437 edges,
lola: 14 tries, 13469936 fired transitions, 80 secs || 3127921 markings, 29072184 edges,
lola: 15 tries, 14264868 fired transitions, 85 secs || 3306384 markings, 30729013 edges,
lola: 16 tries, 15059986 fired transitions, 90 secs || 3482119 markings, 32365136 edges,
lola: 16 tries, 15855440 fired transitions, 95 secs || 3657600 markings, 34001535 edges,
lola: 17 tries, 16648582 fired transitions, 100 secs || 3827753 markings, 35587270 edges,
lola: 18 tries, 17393904 fired transitions, 105 secs || 3993079 markings, 37120330 edges,
lola: 19 tries, 18139366 fired transitions, 110 secs || 4160524 markings, 38678785 edges,
lola: 19 tries, 18883462 fired transitions, 115 secs || 4328471 markings, 40242431 edges,
lola: 20 tries, 19630964 fired transitions, 120 secs || 4496925 markings, 41808759 edges,
lola: 21 tries, 20425222 fired transitions, 125 secs || 4671885 markings, 43440644 edges,
lola: 22 tries, 21218946 fired transitions, 130 secs || 4847400 markings, 45075588 edges,
lola: 23 tries, 22013424 fired transitions, 135 secs || 5023293 markings, 46713044 edges,
lola: 23 tries, 22806180 fired transitions, 140 secs || 5205428 markings, 48401255 edges,
lola: 24 tries, 23599008 fired transitions, 145 secs || 5391717 markings, 50129483 edges,
lola: 25 tries, 24391852 fired transitions, 150 secs || 5572816 markings, 51810264 edges,
lola: 26 tries, 25184322 fired transitions, 155 secs || 5757879 markings, 53525655 edges,
lola: 26 tries, 25977219 fired transitions, 160 secs || 5936577 markings, 55184226 edges,
lola: 27 tries, 26771283 fired transitions, 165 secs || 6114558 markings, 56841562 edges,
lola: 28 tries, 27565300 fired transitions, 170 secs || 6292381 markings, 58494002 edges,
lola: 29 tries, 28340821 fired transitions, 175 secs || 6454709 markings, 60002069 edges,
lola: 30 tries, 29083394 fired transitions, 180 secs || 6624870 markings, 61551889 edges,
lola: 30 tries, 29826840 fired transitions, 185 secs || 6789328 markings, 63084729 edges,
lola: 31 tries, 30570736 fired transitions, 190 secs || 6958483 markings, 64651811 edges,
lola: 32 tries, 31315972 fired transitions, 195 secs || 7124377 markings, 66199540 edges,
lola: 33 tries, 32061395 fired transitions, 200 secs || 7289806 markings, 67736002 edges,
lola: 33 tries, 32807738 fired transitions, 205 secs || 7454594 markings, 69265498 edges,
lola: 34 tries, 33554372 fired transitions, 210 secs || 7617911 markings, 70781769 edges,
lola: 35 tries, 34301751 fired transitions, 215 secs || 7780604 markings, 72294994 edges,
lola: 36 tries, 35047710 fired transitions, 220 secs || 7944130 markings, 73816381 edges,
lola: 36 tries, 35836128 fired transitions, 225 secs || 8110102 markings, 75369361 edges,
lola: 37 tries, 36632368 fired transitions, 230 secs || 8279861 markings, 76950218 edges,
lola: 38 tries, 37427534 fired transitions, 235 secs || 8453239 markings, 78570657 edges,
lola: 39 tries, 38222630 fired transitions, 240 secs || 8628243 markings, 80204661 edges,
lola: 40 tries, 39017549 fired transitions, 245 secs || 8803737 markings, 81839137 edges,
lola: 40 tries, 39811398 fired transitions, 250 secs || 8979797 markings, 83482491 edges,
lola: 41 tries, 40604848 fired transitions, 255 secs || 9162463 markings, 85179857 edges,
lola: 42 tries, 41398593 fired transitions, 260 secs || 9345376 markings, 86879450 edges,
lola: 43 tries, 42193819 fired transitions, 265 secs || 9519629 markings, 88504346 edges,
lola: 43 tries, 42988144 fired transitions, 270 secs || 9692666 markings, 90118557 edges,
lola: 44 tries, 43783228 fired transitions, 275 secs || 9866167 markings, 91733059 edges,
lola: 45 tries, 44578352 fired transitions, 280 secs || 10038495 markings, 93338010 edges,
lola: 46 tries, 45373590 fired transitions, 285 secs || 10218559 markings, 95011301 edges,
lola: 47 tries, 46168052 fired transitions, 290 secs || 10400160 markings, 96696193 edges,
lola: 47 tries, 46961874 fired transitions, 295 secs || 10579866 markings, 98368112 edges,
lola: 48 tries, 47755796 fired transitions, 300 secs || 10759749 markings, 100037096 edges,
lola: 49 tries, 48549742 fired transitions, 305 secs || 10940623 markings, 101716378 edges,
lola: 50 tries, 49343540 fired transitions, 310 secs || 11121989 markings, 103401690 edges,
lola: 51 tries, 50138060 fired transitions, 315 secs || 11303875 markings, 105089906 edges,
lola: 51 tries, 50916904 fired transitions, 320 secs || 11485830 markings, 106773599 edges,
lola: 52 tries, 51602041 fired transitions, 325 secs || 11658387 markings, 108389640 edges,
lola: 53 tries, 52333740 fired transitions, 330 secs || 11825754 markings, 109951133 edges,
lola: 54 tries, 53069767 fired transitions, 335 secs || 11992387 markings, 111502244 edges,
lola: 54 tries, 53806141 fired transitions, 340 secs || 12156592 markings, 113023469 edges,
lola: 55 tries, 54535272 fired transitions, 345 secs || 12322382 markings, 114569380 edges,
lola: 56 tries, 55265594 fired transitions, 350 secs || 12494143 markings, 116162478 edges,
lola: 56 tries, 55993832 fired transitions, 355 secs || 12667745 markings, 117775826 edges,
lola: 57 tries, 56726860 fired transitions, 360 secs || 12838577 markings, 119366081 edges,
lola: 58 tries, 57460584 fired transitions, 365 secs || 13010064 markings, 120960049 edges,
lola: 59 tries, 58193712 fired transitions, 370 secs || 13181179 markings, 122547915 edges,
lola: 59 tries, 58922764 fired transitions, 375 secs || 13352701 markings, 124140883 edges,
lola: 60 tries, 59648776 fired transitions, 380 secs || 13525777 markings, 125745573 edges,
lola: 61 tries, 60377178 fired transitions, 385 secs || 13698506 markings, 127348740 edges,
lola: 62 tries, 61107034 fired transitions, 390 secs || 13869616 markings, 128940636 edges,
lola: 62 tries, 61835740 fired transitions, 395 secs || 14042120 markings, 130545065 edges,
lola: 63 tries, 62564114 fired transitions, 400 secs || 14215421 markings, 132159184 edges,
lola: 64 tries, 63289510 fired transitions, 405 secs || 14388371 markings, 133768015 edges,
lola: 65 tries, 64017262 fired transitions, 410 secs || 14560392 markings, 135363026 edges,
lola: 65 tries, 64751466 fired transitions, 415 secs || 14730349 markings, 136942392 edges,
lola: 66 tries, 65479118 fired transitions, 420 secs || 14903259 markings, 138549355 edges,
lola: 67 tries, 66186466 fired transitions, 425 secs || 15072711 markings, 140128496 edges,
lola: 67 tries, 66899703 fired transitions, 430 secs || 15233348 markings, 141623540 edges,
lola: 68 tries, 67633572 fired transitions, 435 secs || 15386066 markings, 143045755 edges,
lola: 69 tries, 68366101 fired transitions, 440 secs || 15542421 markings, 144507290 edges,
lola: 70 tries, 69102822 fired transitions, 445 secs || 15693495 markings, 145918162 edges,
lola: 70 tries, 69773538 fired transitions, 450 secs || 15853895 markings, 147404784 edges,
lola: 71 tries, 70485986 fired transitions, 455 secs || 16017071 markings, 148920044 edges,
lola: 72 tries, 71129422 fired transitions, 460 secs || 16168968 markings, 150334113 edges,
lola: 72 tries, 71796544 fired transitions, 465 secs || 16322018 markings, 151753570 edges,
lola: 73 tries, 72473656 fired transitions, 470 secs || 16484492 markings, 153259492 edges,
lola: 74 tries, 73150874 fired transitions, 475 secs || 16641819 markings, 154720729 edges,
lola: 74 tries, 73793984 fired transitions, 480 secs || 16803414 markings, 156215075 edges,
lola: 75 tries, 74611296 fired transitions, 485 secs || 16978741 markings, 157849995 edges,
lola: 76 tries, 75442102 fired transitions, 490 secs || 17159839 markings, 159541014 edges,
lola: 77 tries, 76270798 fired transitions, 495 secs || 17345430 markings, 161267762 edges,
lola: 78 tries, 77097648 fired transitions, 500 secs || 17528560 markings, 162969028 edges,
lola: 78 tries, 77898410 fired transitions, 505 secs || 17704697 markings, 164611907 edges,
lola: 79 tries, 78650026 fired transitions, 510 secs || 17867199 markings, 166121960 edges,
lola: 80 tries, 79401217 fired transitions, 515 secs || 18030029 markings, 167639602 edges,
lola: 81 tries, 80224408 fired transitions, 520 secs || 18213528 markings, 169348499 edges,
lola: 82 tries, 81046814 fired transitions, 525 secs || 18399155 markings, 171076724 edges,
lola: 82 tries, 81780358 fired transitions, 530 secs || 18569956 markings, 172663786 edges,
lola: 83 tries, 82519034 fired transitions, 535 secs || 18734647 markings, 174198724 edges,
lola: 84 tries, 83258559 fired transitions, 540 secs || 18898754 markings, 175725462 edges,
lola: 84 tries, 83998556 fired transitions, 545 secs || 19061952 markings, 177243439 edges,
lola: 85 tries, 84738868 fired transitions, 550 secs || 19220345 markings, 178714738 edges,
lola: 86 tries, 85479403 fired transitions, 555 secs || 19384388 markings, 180236097 edges,
lola: 87 tries, 86218568 fired transitions, 560 secs || 19549362 markings, 181767376 edges,
lola: 87 tries, 86959472 fired transitions, 565 secs || 19707739 markings, 183240622 edges,
lola: 88 tries, 87698152 fired transitions, 570 secs || 19873183 markings, 184777901 edges,
lola: 89 tries, 88439092 fired transitions, 575 secs || 20037852 markings, 186312176 edges,
lola: 90 tries, 89179394 fired transitions, 580 secs || 20202052 markings, 187842695 edges,
lola: 90 tries, 89920030 fired transitions, 585 secs || 20365538 markings, 189358976 edges,
lola: 91 tries, 90659676 fired transitions, 590 secs || 20530622 markings, 190892259 edges,
lola: 92 tries, 91400270 fired transitions, 595 secs || 20694545 markings, 192415765 edges,
lola: 93 tries, 92140214 fired transitions, 600 secs || 20858854 markings, 193945334 edges,
lola: 93 tries, 92880967 fired transitions, 605 secs || 21022626 markings, 195464735 edges,
lola: 94 tries, 93621665 fired transitions, 610 secs || 21185121 markings, 196975585 edges,
lola: 95 tries, 94364390 fired transitions, 615 secs || 21342187 markings, 198434246 edges,
lola: 96 tries, 95104918 fired transitions, 620 secs || 21505739 markings, 199949425 edges,
lola: 96 tries, 95845338 fired transitions, 625 secs || 21669988 markings, 201476998 edges,
lola: 97 tries, 96584574 fired transitions, 630 secs || 21836179 markings, 203027944 edges,
lola: 98 tries, 97323134 fired transitions, 635 secs || 22003693 markings, 204584926 edges,
lola: 99 tries, 98062896 fired transitions, 640 secs || 22170276 markings, 206135363 edges,
lola: 99 tries, 98800154 fired transitions, 645 secs || 22339247 markings, 207705058 edges,
lola: 100 tries, 99537016 fired transitions, 650 secs || 22508445 markings, 209282225 edges,
lola: 101 tries, 100274833 fired transitions, 655 secs || 22672686 markings, 210806018 edges,
lola: 102 tries, 101015020 fired transitions, 660 secs || 22829378 markings, 212261949 edges,
lola: 102 tries, 101824972 fired transitions, 665 secs || 23007468 markings, 213920842 edges,
lola: 103 tries, 102651528 fired transitions, 670 secs || 23190385 markings, 215618968 edges,
lola: 104 tries, 103477880 fired transitions, 675 secs || 23371784 markings, 217307376 edges,
lola: 105 tries, 104304308 fired transitions, 680 secs || 23554487 markings, 219006745 edges,
lola: 106 tries, 105130956 fired transitions, 685 secs || 23733531 markings, 220676774 edges,
lola: 106 tries, 105956760 fired transitions, 690 secs || 23915474 markings, 222371961 edges,
lola: 107 tries, 106783732 fired transitions, 695 secs || 24097293 markings, 224065099 edges,
lola: 108 tries, 107609718 fired transitions, 700 secs || 24278953 markings, 225763991 edges,
lola: 109 tries, 108434670 fired transitions, 705 secs || 24464839 markings, 227497134 edges,
lola: 110 tries, 109257772 fired transitions, 710 secs || 24657217 markings, 229284829 edges,
lola: 111 tries, 110080514 fired transitions, 715 secs || 24852090 markings, 231098904 edges,
lola: 111 tries, 110904668 fired transitions, 720 secs || 25044028 markings, 232883266 edges,
lola: 112 tries, 111727990 fired transitions, 725 secs || 25235410 markings, 234663872 edges,
lola: 113 tries, 112551298 fired transitions, 730 secs || 25426684 markings, 236441131 edges,
lola: 114 tries, 113375242 fired transitions, 735 secs || 25618522 markings, 238222433 edges,
lola: 115 tries, 114198064 fired transitions, 740 secs || 25810414 markings, 240005486 edges,
lola: 116 tries, 115021711 fired transitions, 745 secs || 26000104 markings, 241768945 edges,
lola: 116 tries, 115845594 fired transitions, 750 secs || 26187992 markings, 243517310 edges,
lola: 117 tries, 116671152 fired transitions, 755 secs || 26369113 markings, 245207292 edges,
lola: 118 tries, 117456134 fired transitions, 760 secs || 26540280 markings, 246804578 edges,
lola: 119 tries, 118247784 fired transitions, 765 secs || 26713787 markings, 248418639 edges,
lola: 120 tries, 119073120 fired transitions, 770 secs || 26895920 markings, 250115710 edges,
lola: 120 tries, 119899170 fired transitions, 775 secs || 27077434 markings, 251815215 edges,
lola: 121 tries, 120724902 fired transitions, 780 secs || 27261015 markings, 253525121 edges,
lola: 122 tries, 121550335 fired transitions, 785 secs || 27448047 markings, 255271072 edges,
lola: 123 tries, 122376494 fired transitions, 790 secs || 27635574 markings, 257014696 edges,
lola: 124 tries, 123202343 fired transitions, 795 secs || 27819375 markings, 258725572 edges,
lola: 125 tries, 124029282 fired transitions, 800 secs || 28011277 markings, 260502613 edges,
lola: 125 tries, 124854892 fired transitions, 805 secs || 28201422 markings, 262268412 edges,
lola: 126 tries, 125679859 fired transitions, 810 secs || 28389646 markings, 264011301 edges,
lola: 127 tries, 126506158 fired transitions, 815 secs || 28575963 markings, 265743842 edges,
lola: 128 tries, 127331884 fired transitions, 820 secs || 28763042 markings, 267484787 edges,
lola: 129 tries, 128157404 fired transitions, 825 secs || 28951049 markings, 269229103 edges,
lola: 129 tries, 128983240 fired transitions, 830 secs || 29138253 markings, 270970583 edges,
lola: 130 tries, 129808852 fired transitions, 835 secs || 29325892 markings, 272712635 edges,
lola: 131 tries, 130634875 fired transitions, 840 secs || 29507557 markings, 274405693 edges,
lola: 132 tries, 131460372 fired transitions, 845 secs || 29693418 markings, 276134210 edges,
lola: 133 tries, 132285714 fired transitions, 850 secs || 29879091 markings, 277859444 edges,
lola: 134 tries, 133110754 fired transitions, 855 secs || 30065933 markings, 279592358 edges,
lola: 134 tries, 133935876 fired transitions, 860 secs || 30249957 markings, 281302109 edges,
lola: 135 tries, 134761010 fired transitions, 865 secs || 30432276 markings, 283017552 edges,
lola: 136 tries, 135585599 fired transitions, 870 secs || 30612864 markings, 284701366 edges,
lola: 137 tries, 136411144 fired transitions, 875 secs || 30794766 markings, 286396344 edges,
lola: 138 tries, 137236680 fired transitions, 880 secs || 30975673 markings, 288085692 edges,
lola: 139 tries, 138063486 fired transitions, 885 secs || 31157572 markings, 289782040 edges,
lola: 139 tries, 138889572 fired transitions, 890 secs || 31337782 markings, 291463970 edges,
lola: 140 tries, 139715722 fired transitions, 895 secs || 31520126 markings, 293166601 edges,
lola: 141 tries, 140542232 fired transitions, 900 secs || 31700043 markings, 294847479 edges,
lola: 142 tries, 141368474 fired transitions, 905 secs || 31881595 markings, 296538029 edges,
lola: 143 tries, 142194182 fired transitions, 910 secs || 32065644 markings, 298252039 edges,
lola: 144 tries, 143019182 fired transitions, 915 secs || 32254724 markings, 300007761 edges,
lola: 144 tries, 143844890 fired transitions, 920 secs || 32442885 markings, 301756138 edges,
lola: 145 tries, 144670802 fired transitions, 925 secs || 32628215 markings, 303479944 edges,
lola: 146 tries, 145496720 fired transitions, 930 secs || 32815350 markings, 305216649 edges,
lola: 147 tries, 146322788 fired transitions, 935 secs || 33000627 markings, 306936713 edges,
lola: 148 tries, 147148544 fired transitions, 940 secs || 33186775 markings, 308661213 edges,
lola: 148 tries, 147974516 fired transitions, 945 secs || 33371398 markings, 310378397 edges,
lola: 149 tries, 148800032 fired transitions, 950 secs || 33557452 markings, 312108196 edges,
lola: 150 tries, 149626192 fired transitions, 955 secs || 33741894 markings, 313826546 edges,
lola: 151 tries, 150452244 fired transitions, 960 secs || 33922900 markings, 315514097 edges,
lola: 152 tries, 151278584 fired transitions, 965 secs || 34102308 markings, 317186080 edges,
lola: 153 tries, 152104226 fired transitions, 970 secs || 34281439 markings, 318860940 edges,
lola: 153 tries, 152930620 fired transitions, 975 secs || 34461621 markings, 320541642 edges,
lola: 154 tries, 153757870 fired transitions, 980 secs || 34637927 markings, 322185997 edges,
lola: 155 tries, 154584226 fired transitions, 985 secs || 34818147 markings, 323865392 edges,
lola: 156 tries, 155410411 fired transitions, 990 secs || 34999175 markings, 325555047 edges,
lola: 157 tries, 156236350 fired transitions, 995 secs || 35180498 markings, 327243566 edges,
lola: 158 tries, 157062054 fired transitions, 1000 secs || 35361255 markings, 328929250 edges,
lola: 158 tries, 157888953 fired transitions, 1005 secs || 35542312 markings, 330618745 edges,
lola: 159 tries, 158715190 fired transitions, 1010 secs || 35724916 markings, 332321553 edges,
lola: 160 tries, 159540936 fired transitions, 1015 secs || 35906485 markings, 334011758 edges,
lola: 161 tries, 160367020 fired transitions, 1020 secs || 36087494 markings, 335698069 edges,
lola: 162 tries, 161192900 fired transitions, 1025 secs || 36269603 markings, 337389945 edges,
lola: 163 tries, 162018742 fired transitions, 1030 secs || 36450098 markings, 339074604 edges,
lola: 163 tries, 162844434 fired transitions, 1035 secs || 36634739 markings, 340792863 edges,
lola: 164 tries, 163670212 fired transitions, 1040 secs || 36819438 markings, 342507380 edges,
lola: 165 tries, 164495852 fired transitions, 1045 secs || 37000754 markings, 344205685 edges,
lola: 166 tries, 165321488 fired transitions, 1050 secs || 37183278 markings, 345904025 edges,
lola: 167 tries, 166147528 fired transitions, 1055 secs || 37364842 markings, 347585883 edges,
lola: 167 tries, 166974102 fired transitions, 1060 secs || 37545961 markings, 349276575 edges,
lola: 168 tries, 167799828 fired transitions, 1065 secs || 37726996 markings, 350958330 edges,
lola: 169 tries, 168625394 fired transitions, 1070 secs || 37913779 markings, 352695348 edges,
lola: 170 tries, 169450711 fired transitions, 1075 secs || 38105911 markings, 354476337 edges,
lola: 171 tries, 170275908 fired transitions, 1080 secs || 38296051 markings, 356239149 edges,
lola: 172 tries, 171101605 fired transitions, 1085 secs || 38479753 markings, 357951586 edges,
lola: 172 tries, 171927774 fired transitions, 1090 secs || 38664532 markings, 359671354 edges,
lola: 173 tries, 172753498 fired transitions, 1095 secs || 38850052 markings, 361391267 edges,
lola: 174 tries, 173580186 fired transitions, 1100 secs || 39033787 markings, 363102149 edges,
lola: 175 tries, 174406100 fired transitions, 1105 secs || 39218552 markings, 364813338 edges,
lola: 176 tries, 175231936 fired transitions, 1110 secs || 39404202 markings, 366538573 edges,
lola: 177 tries, 176057492 fired transitions, 1115 secs || 39589410 markings, 368260784 edges,
lola: 177 tries, 176883504 fired transitions, 1120 secs || 39773995 markings, 369969052 edges,
lola: 178 tries, 177709132 fired transitions, 1125 secs || 39958370 markings, 371679185 edges,
lola: 179 tries, 178534665 fired transitions, 1130 secs || 40142562 markings, 373392950 edges,
lola: 180 tries, 179360058 fired transitions, 1135 secs || 40326632 markings, 375099872 edges,
lola: 181 tries, 180186234 fired transitions, 1140 secs || 40513470 markings, 376834036 edges,
lola: 182 tries, 181012602 fired transitions, 1145 secs || 40699473 markings, 378569923 edges,
lola: 182 tries, 181837776 fired transitions, 1150 secs || 40884398 markings, 380284028 edges,
lola: 183 tries, 182663324 fired transitions, 1155 secs || 41073713 markings, 382039910 edges,
lola: 184 tries, 183487942 fired transitions, 1160 secs || 41262764 markings, 383798371 edges,
lola: 185 tries, 184313724 fired transitions, 1165 secs || 41451029 markings, 385544563 edges,
lola: 186 tries, 185138768 fired transitions, 1170 secs || 41638185 markings, 387284719 edges,
lola: 186 tries, 185963579 fired transitions, 1175 secs || 41824747 markings, 389023322 edges,
lola: 187 tries, 186787892 fired transitions, 1180 secs || 42011771 markings, 390755688 edges,
lola: 188 tries, 187613494 fired transitions, 1185 secs || 42197655 markings, 392483020 edges,
lola: 189 tries, 188437758 fired transitions, 1190 secs || 42387260 markings, 394244340 edges,
lola: 190 tries, 189262918 fired transitions, 1195 secs || 42580148 markings, 396035260 edges,
lola: 191 tries, 190087080 fired transitions, 1200 secs || 42770009 markings, 397799832 edges,
lola: 191 tries, 190911048 fired transitions, 1205 secs || 42960619 markings, 399567680 edges,
lola: 192 tries, 191736094 fired transitions, 1210 secs || 43150376 markings, 401329547 edges,
lola: 193 tries, 192561500 fired transitions, 1215 secs || 43338910 markings, 403078917 edges,
lola: 194 tries, 193386804 fired transitions, 1220 secs || 43526190 markings, 404815767 edges,
lola: 195 tries, 194212414 fired transitions, 1225 secs || 43711714 markings, 406540958 edges,
lola: 196 tries, 195025806 fired transitions, 1230 secs || 43894672 markings, 408242064 edges,
lola: 196 tries, 195811748 fired transitions, 1235 secs || 44074176 markings, 409913282 edges,
lola: 197 tries, 196596421 fired transitions, 1240 secs || 44253072 markings, 411572752 edges,
lola: 198 tries, 197381800 fired transitions, 1245 secs || 44430688 markings, 413220828 edges,
lola: 199 tries, 198167425 fired transitions, 1250 secs || 44607275 markings, 414861509 edges,
lola: 199 tries, 198952762 fired transitions, 1255 secs || 44782598 markings, 416486826 edges,
lola: 200 tries, 199738138 fired transitions, 1260 secs || 44958678 markings, 418123247 edges,
lola: 201 tries, 200523470 fired transitions, 1265 secs || 45134510 markings, 419756151 edges,
lola: 202 tries, 201309438 fired transitions, 1270 secs || 45308517 markings, 421379122 edges,
lola: 203 tries, 202095450 fired transitions, 1275 secs || 45483905 markings, 423009182 edges,
lola: 203 tries, 202881562 fired transitions, 1280 secs || 45660243 markings, 424654363 edges,
lola: 204 tries, 203667180 fired transitions, 1285 secs || 45835690 markings, 426286400 edges,
lola: 205 tries, 204453558 fired transitions, 1290 secs || 46009760 markings, 427911408 edges,
lola: 206 tries, 205238594 fired transitions, 1295 secs || 46186038 markings, 429558549 edges,
lola: 207 tries, 206024046 fired transitions, 1300 secs || 46359925 markings, 431185698 edges,
lola: 207 tries, 206809512 fired transitions, 1305 secs || 46532088 markings, 432792605 edges,
lola: 208 tries, 207595650 fired transitions, 1310 secs || 46703786 markings, 434399738 edges,
lola: 209 tries, 208382090 fired transitions, 1315 secs || 46877978 markings, 436018776 edges,
lola: 210 tries, 209167493 fired transitions, 1320 secs || 47051829 markings, 437637804 edges,
lola: 210 tries, 209953226 fired transitions, 1325 secs || 47224597 markings, 439248511 edges,
lola: 211 tries, 210737836 fired transitions, 1330 secs || 47399592 markings, 440880526 edges,
lola: 212 tries, 211524002 fired transitions, 1335 secs || 47573125 markings, 442496218 edges,
lola: 213 tries, 212309792 fired transitions, 1340 secs || 47745486 markings, 444105010 edges,
lola: 214 tries, 213094920 fired transitions, 1345 secs || 47916989 markings, 445710274 edges,
lola: 214 tries, 213881114 fired transitions, 1350 secs || 48090611 markings, 447323407 edges,
lola: 215 tries, 214666944 fired transitions, 1355 secs || 48262882 markings, 448931858 edges,
lola: 216 tries, 215453680 fired transitions, 1360 secs || 48433985 markings, 450521969 edges,
lola: 217 tries, 216240188 fired transitions, 1365 secs || 48606309 markings, 452127030 edges,
lola: 218 tries, 217026284 fired transitions, 1370 secs || 48779841 markings, 453739953 edges,
lola: 218 tries, 217812298 fired transitions, 1375 secs || 48956835 markings, 455384122 edges,
lola: 219 tries, 218597590 fired transitions, 1380 secs || 49133776 markings, 457029032 edges,
lola: 220 tries, 219382562 fired transitions, 1385 secs || 49310188 markings, 458667286 edges,
lola: 221 tries, 220168062 fired transitions, 1390 secs || 49484869 markings, 460293193 edges,
lola: 221 tries, 220952872 fired transitions, 1395 secs || 49663336 markings, 461949230 edges,
lola: 222 tries, 221737922 fired transitions, 1400 secs || 49843022 markings, 463613936 edges,
lola: 223 tries, 222523463 fired transitions, 1405 secs || 50019764 markings, 465255361 edges,
lola: 224 tries, 223309176 fired transitions, 1410 secs || 50196553 markings, 466897471 edges,
lola: 225 tries, 224094813 fired transitions, 1415 secs || 50372737 markings, 468531189 edges,
lola: 225 tries, 224880132 fired transitions, 1420 secs || 50549087 markings, 470170360 edges,
lola: 226 tries, 225620483 fired transitions, 1425 secs || 50704171 markings, 471615568 edges,
lola: 227 tries, 226358930 fired transitions, 1430 secs || 50871137 markings, 473166816 edges,
lola: 228 tries, 227098174 fired transitions, 1435 secs || 51037757 markings, 474716030 edges,
lola: 228 tries, 227838666 fired transitions, 1440 secs || 51202828 markings, 476255110 edges,
lola: 229 tries, 228583596 fired transitions, 1445 secs || 51359279 markings, 477714389 edges,
lola: 230 tries, 229327382 fired transitions, 1450 secs || 51517967 markings, 479197426 edges,
lola: 231 tries, 230071996 fired transitions, 1455 secs || 51675058 markings, 480662877 edges,
lola: 231 tries, 230816066 fired transitions, 1460 secs || 51832599 markings, 482134337 edges,
lola: 232 tries, 231561180 fired transitions, 1465 secs || 51989841 markings, 483603612 edges,
lola: 233 tries, 232305982 fired transitions, 1470 secs || 52149724 markings, 485092993 edges,
lola: 234 tries, 233057615 fired transitions, 1475 secs || 52301033 markings, 486509264 edges,
lola: 234 tries, 233796090 fired transitions, 1480 secs || 52467658 markings, 488060632 edges,
lola: 235 tries, 234533186 fired transitions, 1485 secs || 52637841 markings, 489638483 edges,
lola: 236 tries, 235271590 fired transitions, 1490 secs || 52806200 markings, 491203193 edges,
lola: 237 tries, 236009990 fired transitions, 1495 secs || 52974000 markings, 492766439 edges,
lola: 237 tries, 236751070 fired transitions, 1500 secs || 53142761 markings, 494332421 edges,
lola: 238 tries, 237523826 fired transitions, 1505 secs || 53316416 markings, 495946351 edges,
lola: 239 tries, 238309042 fired transitions, 1510 secs || 53494593 markings, 497596565 edges,
lola: 240 tries, 239095306 fired transitions, 1515 secs || 53671346 markings, 499236132 edges,
lola: 240 tries, 239914236 fired transitions, 1520 secs || 53852568 markings, 500918931 edges,
lola: 241 tries, 240739636 fired transitions, 1525 secs || 54033569 markings, 502608967 edges,
lola: 242 tries, 241564985 fired transitions, 1530 secs || 54214993 markings, 504293988 edges,
lola: 243 tries, 242389352 fired transitions, 1535 secs || 54395758 markings, 505976409 edges,
lola: 244 tries, 243214612 fired transitions, 1540 secs || 54576506 markings, 507664519 edges,
lola: 245 tries, 244039532 fired transitions, 1545 secs || 54756539 markings, 509342836 edges,
lola: 245 tries, 244864660 fired transitions, 1550 secs || 54936991 markings, 511027636 edges,
lola: 246 tries, 245644485 fired transitions, 1555 secs || 55107332 markings, 512615155 edges,
lola: 247 tries, 246456361 fired transitions, 1560 secs || 55284149 markings, 514267182 edges,
lola: 248 tries, 247239519 fired transitions, 1565 secs || 55452072 markings, 515828038 edges,
lola: 248 tries, 247959984 fired transitions, 1570 secs || 55614695 markings, 517337063 edges,
lola: 249 tries, 248712730 fired transitions, 1575 secs || 55774999 markings, 518831913 edges,
lola: 250 tries, 249464858 fired transitions, 1580 secs || 55937261 markings, 520345297 edges,
lola: 251 tries, 250217774 fired transitions, 1585 secs || 56098606 markings, 521851668 edges,
lola: 251 tries, 250968772 fired transitions, 1590 secs || 56264359 markings, 523394028 edges,
lola: 252 tries, 251658106 fired transitions, 1595 secs || 56431422 markings, 524943042 edges,
lola: 253 tries, 252407299 fired transitions, 1600 secs || 56599255 markings, 526499314 edges,
lola: 254 tries, 253157414 fired transitions, 1605 secs || 56766089 markings, 528049262 edges,
lola: 254 tries, 253933714 fired transitions, 1610 secs || 56941315 markings, 529678851 edges,
lola: 255 tries, 254719186 fired transitions, 1615 secs || 57119585 markings, 531335254 edges,
lola: 256 tries, 255504436 fired transitions, 1620 secs || 57296621 markings, 532977683 edges,
lola: 257 tries, 256293774 fired transitions, 1625 secs || 57473312 markings, 534619117 edges,
lola: 258 tries, 257088134 fired transitions, 1630 secs || 57647851 markings, 536241348 edges,
lola: 258 tries, 257880974 fired transitions, 1635 secs || 57824549 markings, 537881266 edges,
lola: 259 tries, 258606886 fired transitions, 1640 secs || 57997268 markings, 539487398 edges,
lola: 260 tries, 259354644 fired transitions, 1645 secs || 58162596 markings, 541026861 edges,
lola: 261 tries, 260131016 fired transitions, 1650 secs || 58334868 markings, 542628750 edges,
lola: 261 tries, 260923776 fired transitions, 1655 secs || 58512021 markings, 544279500 edges,
lola: 262 tries, 261716698 fired transitions, 1660 secs || 58689764 markings, 545930262 edges,
lola: 263 tries, 262509106 fired transitions, 1665 secs || 58867669 markings, 547582335 edges,
lola: 264 tries, 263301208 fired transitions, 1670 secs || 59044126 markings, 549223524 edges,
lola: 265 tries, 264094440 fired transitions, 1675 secs || 59216318 markings, 550830866 edges,
lola: 265 tries, 264888258 fired transitions, 1680 secs || 59387472 markings, 552426985 edges,
lola: 266 tries, 265679862 fired transitions, 1685 secs || 59561089 markings, 554037995 edges,
lola: 267 tries, 266473204 fired transitions, 1690 secs || 59735116 markings, 555652594 edges,
lola: 268 tries, 267267674 fired transitions, 1695 secs || 59909046 markings, 557266321 edges,
lola: 269 tries, 268063132 fired transitions, 1700 secs || 60082439 markings, 558880214 edges,
lola: 269 tries, 268858332 fired transitions, 1705 secs || 60255642 markings, 560491173 edges,
lola: 270 tries, 269656516 fired transitions, 1710 secs || 60431141 markings, 562123310 edges,
lola: 271 tries, 270449982 fired transitions, 1715 secs || 60604426 markings, 563740567 edges,
lola: 272 tries, 271244682 fired transitions, 1720 secs || 60780599 markings, 565379449 edges,
lola: 273 tries, 272038742 fired transitions, 1725 secs || 60958460 markings, 567032498 edges,
lola: 273 tries, 272832346 fired transitions, 1730 secs || 61134903 markings, 568674847 edges,
lola: 274 tries, 273626794 fired transitions, 1735 secs || 61306173 markings, 570267465 edges,
lola: 275 tries, 274421958 fired transitions, 1740 secs || 61476563 markings, 571859477 edges,
lola: 276 tries, 275216932 fired transitions, 1745 secs || 61647974 markings, 573460348 edges,
lola: 277 tries, 276012596 fired transitions, 1750 secs || 61816976 markings, 575029430 edges,
lola: 277 tries, 276802831 fired transitions, 1755 secs || 61986116 markings, 576605162 edges,
lola: 278 tries, 277589084 fired transitions, 1760 secs || 62155973 markings, 578189608 edges,
lola: 279 tries, 278375072 fired transitions, 1765 secs || 62328984 markings, 579797577 edges,
lola: 280 tries, 279160758 fired transitions, 1770 secs || 62504525 markings, 581429767 edges,
lola: 280 tries, 279945012 fired transitions, 1775 secs || 62684748 markings, 583097493 edges,
lola: 281 tries, 280729664 fired transitions, 1780 secs || 62861568 markings, 584746865 edges,
lola: 282 tries, 281515786 fired transitions, 1785 secs || 63038001 markings, 586396919 edges,
lola: 283 tries, 282300568 fired transitions, 1790 secs || 63213387 markings, 588033898 edges,
lola: 284 tries, 283086208 fired transitions, 1795 secs || 63388330 markings, 589665646 edges,
lola: 284 tries, 283871180 fired transitions, 1800 secs || 63568979 markings, 591345090 edges,
lola: 285 tries, 284655751 fired transitions, 1805 secs || 63755492 markings, 593079437 edges,
lola: 286 tries, 285439900 fired transitions, 1810 secs || 63939449 markings, 594788163 edges,
lola: 287 tries, 286224452 fired transitions, 1815 secs || 64124452 markings, 596501615 edges,
lola: 288 tries, 287009900 fired transitions, 1820 secs || 64308422 markings, 598206504 edges,
lola: 288 tries, 287793487 fired transitions, 1825 secs || 64488548 markings, 599878004 edges,
lola: 289 tries, 288578530 fired transitions, 1830 secs || 64668992 markings, 601557789 edges,
lola: 290 tries, 289364783 fired transitions, 1835 secs || 64846412 markings, 603203956 edges,
lola: 291 tries, 290150797 fired transitions, 1840 secs || 65024388 markings, 604850958 edges,
lola: 291 tries, 290942200 fired transitions, 1845 secs || 65201418 markings, 606496737 edges,
lola: 292 tries, 291727218 fired transitions, 1850 secs || 65381979 markings, 608179410 edges,
lola: 293 tries, 292512694 fired transitions, 1855 secs || 65561654 markings, 609850007 edges,
lola: 294 tries, 293307139 fired transitions, 1860 secs || 65736811 markings, 611481339 edges,
lola: 295 tries, 294101711 fired transitions, 1865 secs || 65908693 markings, 613086710 edges,
lola: 295 tries, 294897268 fired transitions, 1870 secs || 66081741 markings, 614698507 edges,
lola: 296 tries, 295693206 fired transitions, 1875 secs || 66257577 markings, 616333682 edges,
lola: 297 tries, 296487990 fired transitions, 1880 secs || 66432046 markings, 617964018 edges,
lola: 298 tries, 297282778 fired transitions, 1885 secs || 66606884 markings, 619592426 edges,
lola: 299 tries, 298069070 fired transitions, 1890 secs || 66780711 markings, 621216774 edges,
lola: 299 tries, 298853453 fired transitions, 1895 secs || 66962522 markings, 622902458 edges,
lola: 300 tries, 299638523 fired transitions, 1900 secs || 67146259 markings, 624608697 edges,
lola: 301 tries, 300422738 fired transitions, 1905 secs || 67330490 markings, 626317294 edges,
lola: 302 tries, 301205341 fired transitions, 1910 secs || 67510764 markings, 627993255 edges,
lola: 302 tries, 301990238 fired transitions, 1915 secs || 67689089 markings, 629653235 edges,
lola: 303 tries, 302774272 fired transitions, 1920 secs || 67867781 markings, 631314654 edges,
lola: 304 tries, 303559274 fired transitions, 1925 secs || 68046365 markings, 632972752 edges,
lola: 305 tries, 304344846 fired transitions, 1930 secs || 68222231 markings, 634607981 edges,
lola: 306 tries, 305129856 fired transitions, 1935 secs || 68398803 markings, 636248583 edges,
lola: 306 tries, 305914804 fired transitions, 1940 secs || 68574627 markings, 637889228 edges,
lola: 307 tries, 306700636 fired transitions, 1945 secs || 68750908 markings, 639526757 edges,
lola: 308 tries, 307485362 fired transitions, 1950 secs || 68927186 markings, 641164951 edges,
lola: 309 tries, 308270331 fired transitions, 1955 secs || 69103211 markings, 642801632 edges,
lola: 310 tries, 309056466 fired transitions, 1960 secs || 69277712 markings, 644424090 edges,
lola: 310 tries, 309842662 fired transitions, 1965 secs || 69452993 markings, 646053188 edges,
lola: 311 tries, 310628530 fired transitions, 1970 secs || 69630049 markings, 647696735 edges,
lola: 312 tries, 311415202 fired transitions, 1975 secs || 69805851 markings, 649331709 edges,
lola: 313 tries, 312200825 fired transitions, 1980 secs || 69984322 markings, 650989558 edges,
lola: 313 tries, 312985900 fired transitions, 1985 secs || 70163407 markings, 652649474 edges,
lola: 314 tries, 313772194 fired transitions, 1990 secs || 70337309 markings, 654268262 edges,
lola: 315 tries, 314562316 fired transitions, 1995 secs || 70509730 markings, 655870765 edges,
lola: 316 tries, 315357384 fired transitions, 2000 secs || 70680447 markings, 657467060 edges,
lola: 317 tries, 316152524 fired transitions, 2005 secs || 70850454 markings, 659052673 edges,
lola: 317 tries, 316946874 fired transitions, 2010 secs || 71022745 markings, 660660479 edges,
lola: 318 tries, 317736242 fired transitions, 2015 secs || 71196389 markings, 662278840 edges,
lola: 319 tries, 318522137 fired transitions, 2020 secs || 71373710 markings, 663927438 edges,
lola: 320 tries, 319305980 fired transitions, 2025 secs || 71553240 markings, 665597626 edges,
lola: 321 tries, 320090228 fired transitions, 2030 secs || 71734263 markings, 667284033 edges,
lola: 321 tries, 320875526 fired transitions, 2035 secs || 71912635 markings, 668946730 edges,
lola: 322 tries, 321661047 fired transitions, 2040 secs || 72088588 markings, 670585593 edges,
lola: 323 tries, 322449544 fired transitions, 2045 secs || 72263658 markings, 672217229 edges,
lola: 324 tries, 323243468 fired transitions, 2050 secs || 72444035 markings, 673893671 edges,
lola: 325 tries, 324046581 fired transitions, 2055 secs || 72625841 markings, 675580496 edges,
lola: 325 tries, 324869096 fired transitions, 2060 secs || 72807370 markings, 677272518 edges,
lola: 326 tries, 325700128 fired transitions, 2065 secs || 72988888 markings, 678962005 edges,
lola: 327 tries, 326529869 fired transitions, 2070 secs || 73173348 markings, 680683292 edges,
lola: 328 tries, 327360583 fired transitions, 2075 secs || 73356307 markings, 682385280 edges,
lola: 329 tries, 328190244 fired transitions, 2080 secs || 73540018 markings, 684094979 edges,
lola: 330 tries, 329020442 fired transitions, 2085 secs || 73722114 markings, 685791068 edges,
lola: 330 tries, 329850646 fired transitions, 2090 secs || 73904520 markings, 687487980 edges,
lola: 331 tries, 330680906 fired transitions, 2095 secs || 74089122 markings, 689199189 edges,
lola: 332 tries, 331511550 fired transitions, 2100 secs || 74276166 markings, 690936078 edges,
lola: 333 tries, 332343616 fired transitions, 2105 secs || 74460149 markings, 692644659 edges,
lola: 334 tries, 333170264 fired transitions, 2110 secs || 74645261 markings, 694360365 edges,
lola: 335 tries, 334001660 fired transitions, 2115 secs || 74830015 markings, 696078480 edges,
lola: 335 tries, 334831901 fired transitions, 2120 secs || 75017260 markings, 697815773 edges,
lola: 336 tries, 335663616 fired transitions, 2125 secs || 75201008 markings, 699528519 edges,
lola: 337 tries, 336496008 fired transitions, 2130 secs || 75384003 markings, 701230084 edges,
lola: 338 tries, 337327726 fired transitions, 2135 secs || 75566733 markings, 702932937 edges,
lola: 339 tries, 338159290 fired transitions, 2140 secs || 75750567 markings, 704643685 edges,
lola: 339 tries, 338990922 fired transitions, 2145 secs || 75934395 markings, 706355757 edges,
lola: 340 tries, 339823222 fired transitions, 2150 secs || 76118558 markings, 708068149 edges,
lola: 341 tries, 340654972 fired transitions, 2155 secs || 76301974 markings, 709772565 edges,
lola: 342 tries, 341486238 fired transitions, 2160 secs || 76487186 markings, 711495407 edges,
lola: 343 tries, 342319086 fired transitions, 2165 secs || 76672561 markings, 713220075 edges,
lola: 344 tries, 343151164 fired transitions, 2170 secs || 76858719 markings, 714949871 edges,
lola: 344 tries, 343982578 fired transitions, 2175 secs || 77044868 markings, 716677281 edges,
lola: 345 tries, 344813646 fired transitions, 2180 secs || 77231021 markings, 718412206 edges,
lola: 346 tries, 345644711 fired transitions, 2185 secs || 77418863 markings, 720161382 edges,
lola: 347 tries, 346476676 fired transitions, 2190 secs || 77605003 markings, 721890880 edges,
lola: 348 tries, 347307588 fired transitions, 2195 secs || 77790027 markings, 723609011 edges,
lola: 349 tries, 348139901 fired transitions, 2200 secs || 77974139 markings, 725319090 edges,
lola: 349 tries, 348970056 fired transitions, 2205 secs || 78160671 markings, 727051312 edges,
lola: 350 tries, 349800854 fired transitions, 2210 secs || 78345323 markings, 728770784 edges,
lola: 351 tries, 350631910 fired transitions, 2215 secs || 78528046 markings, 730469729 edges,
lola: 352 tries, 351463074 fired transitions, 2220 secs || 78709543 markings, 732162248 edges,
lola: 353 tries, 352294264 fired transitions, 2225 secs || 78890403 markings, 733846145 edges,
lola: 354 tries, 353126114 fired transitions, 2230 secs || 79070404 markings, 735523146 edges,
lola: 354 tries, 353958342 fired transitions, 2235 secs || 79246992 markings, 737177192 edges,
lola: 355 tries, 354790404 fired transitions, 2240 secs || 79423953 markings, 738831059 edges,
lola: 356 tries, 355623306 fired transitions, 2245 secs || 79601056 markings, 740483017 edges,
lola: 357 tries, 356456570 fired transitions, 2250 secs || 79776826 markings, 742123484 edges,
lola: 358 tries, 357288924 fired transitions, 2255 secs || 79954808 markings, 743776136 edges,
lola: 359 tries, 358122228 fired transitions, 2260 secs || 80129867 markings, 745420227 edges,
lola: 359 tries, 358954934 fired transitions, 2265 secs || 80309294 markings, 747094826 edges,
lola: 360 tries, 359786008 fired transitions, 2270 secs || 80495410 markings, 748827495 edges,
lola: 361 tries, 360617382 fired transitions, 2275 secs || 80680296 markings, 750545522 edges,
lola: 362 tries, 361449783 fired transitions, 2280 secs || 80863809 markings, 752247735 edges,
lola: 363 tries, 362282535 fired transitions, 2285 secs || 81046592 markings, 753945932 edges,
lola: 364 tries, 363114658 fired transitions, 2290 secs || 81230204 markings, 755652137 edges,
lola: 364 tries, 363947566 fired transitions, 2295 secs || 81411997 markings, 757345896 edges,
lola: 365 tries, 364779774 fired transitions, 2300 secs || 81594108 markings, 759039920 edges,
lola: 366 tries, 365611260 fired transitions, 2305 secs || 81776035 markings, 760737746 edges,
lola: 367 tries, 366442952 fired transitions, 2310 secs || 81958581 markings, 762437251 edges,
lola: 368 tries, 367275598 fired transitions, 2315 secs || 82138928 markings, 764117331 edges,
lola: 369 tries, 368107223 fired transitions, 2320 secs || 82320876 markings, 765809903 edges,
lola: 369 tries, 368940509 fired transitions, 2325 secs || 82502968 markings, 767503758 edges,
lola: 370 tries, 369773006 fired transitions, 2330 secs || 82685556 markings, 769193826 edges,
lola: 371 tries, 370606066 fired transitions, 2335 secs || 82867615 markings, 770886483 edges,
lola: 372 tries, 371439124 fired transitions, 2340 secs || 83048809 markings, 772571058 edges,
lola: 373 tries, 372270902 fired transitions, 2345 secs || 83231302 markings, 774272994 edges,
lola: 374 tries, 373101861 fired transitions, 2350 secs || 83416013 markings, 775985340 edges,
lola: 374 tries, 373932316 fired transitions, 2355 secs || 83603478 markings, 777727546 edges,
lola: 375 tries, 374763961 fired transitions, 2360 secs || 83788355 markings, 779448839 edges,
lola: 376 tries, 375595700 fired transitions, 2365 secs || 83973716 markings, 781170674 edges,
lola: 377 tries, 376428435 fired transitions, 2370 secs || 84157764 markings, 782880355 edges,
lola: 378 tries, 377259526 fired transitions, 2375 secs || 84342671 markings, 784601955 edges,
lola: 379 tries, 378091638 fired transitions, 2380 secs || 84527008 markings, 786314637 edges,
lola: 379 tries, 378923392 fired transitions, 2385 secs || 84710979 markings, 788016278 edges,
lola: 380 tries, 379755123 fired transitions, 2390 secs || 84890977 markings, 789695958 edges,
lola: 381 tries, 380586456 fired transitions, 2395 secs || 85070571 markings, 791373934 edges,
lola: 382 tries, 381418558 fired transitions, 2400 secs || 85250447 markings, 793049334 edges,
lola: 383 tries, 382251482 fired transitions, 2405 secs || 85428119 markings, 794710187 edges,
lola: 384 tries, 383085530 fired transitions, 2410 secs || 85606308 markings, 796364647 edges,
lola: 384 tries, 383918618 fired transitions, 2415 secs || 85785700 markings, 798038080 edges,
lola: 385 tries, 384751413 fired transitions, 2420 secs || 85964740 markings, 799705242 edges,
lola: 386 tries, 385583260 fired transitions, 2425 secs || 86142935 markings, 801369712 edges,
lola: 387 tries, 386415584 fired transitions, 2430 secs || 86321353 markings, 803030228 edges,
lola: 388 tries, 387248564 fired transitions, 2435 secs || 86499824 markings, 804690296 edges,
lola: 389 tries, 388079302 fired transitions, 2440 secs || 86681740 markings, 806385387 edges,
lola: 389 tries, 388910566 fired transitions, 2445 secs || 86863121 markings, 808080412 edges,
lola: 390 tries, 389743334 fired transitions, 2450 secs || 87042618 markings, 809758803 edges,
lola: 391 tries, 390574936 fired transitions, 2455 secs || 87224483 markings, 811455259 edges,
lola: 392 tries, 391407088 fired transitions, 2460 secs || 87407862 markings, 813162752 edges,
lola: 393 tries, 392240454 fired transitions, 2465 secs || 87591652 markings, 814871900 edges,
lola: 394 tries, 393069829 fired transitions, 2470 secs || 87784729 markings, 816663274 edges,
lola: 394 tries, 393901920 fired transitions, 2475 secs || 87971799 markings, 818408760 edges,
lola: 395 tries, 394733987 fired transitions, 2480 secs || 88153003 markings, 820098348 edges,
lola: 396 tries, 395566308 fired transitions, 2485 secs || 88334399 markings, 821780895 edges,
lola: 397 tries, 396398372 fired transitions, 2490 secs || 88516869 markings, 823483316 edges,
lola: 398 tries, 397231286 fired transitions, 2495 secs || 88695571 markings, 825149707 edges,
lola: 399 tries, 398063876 fired transitions, 2500 secs || 88880121 markings, 826863883 edges,
lola: 399 tries, 398895808 fired transitions, 2505 secs || 89062914 markings, 828562464 edges,
lola: 400 tries, 399726812 fired transitions, 2510 secs || 89245401 markings, 830260093 edges,
lola: 401 tries, 400557224 fired transitions, 2515 secs || 89431453 markings, 831985659 edges,
lola: 402 tries, 401388356 fired transitions, 2520 secs || 89615283 markings, 833700521 edges,
lola: 403 tries, 402220065 fired transitions, 2525 secs || 89798129 markings, 835403140 edges,
lola: 404 tries, 403052046 fired transitions, 2530 secs || 89980391 markings, 837092630 edges,
lola: 404 tries, 403884222 fired transitions, 2535 secs || 90163528 markings, 838793200 edges,
lola: 405 tries, 404716295 fired transitions, 2540 secs || 90345564 markings, 840488475 edges,
lola: 406 tries, 405547774 fired transitions, 2545 secs || 90527853 markings, 842188805 edges,
lola: 407 tries, 406379114 fired transitions, 2550 secs || 90710627 markings, 843891925 edges,
lola: 408 tries, 407209588 fired transitions, 2555 secs || 90895810 markings, 845612613 edges,
lola: 409 tries, 408040278 fired transitions, 2560 secs || 91080464 markings, 847330436 edges,
lola: 409 tries, 408871532 fired transitions, 2565 secs || 91263716 markings, 849030684 edges,
lola: 410 tries, 409704150 fired transitions, 2570 secs || 91446021 markings, 850729500 edges,
lola: 411 tries, 410536702 fired transitions, 2575 secs || 91629345 markings, 852433333 edges,
lola: 412 tries, 411366302 fired transitions, 2580 secs || 91814601 markings, 854156382 edges,
lola: 413 tries, 412197126 fired transitions, 2585 secs || 91998402 markings, 855866121 edges,
lola: 414 tries, 413027839 fired transitions, 2590 secs || 92183928 markings, 857590177 edges,
lola: 414 tries, 413860082 fired transitions, 2595 secs || 92367599 markings, 859298576 edges,
lola: 415 tries, 414691612 fired transitions, 2600 secs || 92552665 markings, 861015503 edges,
lola: 416 tries, 415522044 fired transitions, 2605 secs || 92744375 markings, 862795363 edges,
lola: 417 tries, 416352360 fired transitions, 2610 secs || 92937383 markings, 864587522 edges,
lola: 418 tries, 417183872 fired transitions, 2615 secs || 93126375 markings, 866347265 edges,
lola: 419 tries, 418014908 fired transitions, 2620 secs || 93310776 markings, 868065892 edges,
lola: 419 tries, 418844810 fired transitions, 2625 secs || 93498942 markings, 869823189 edges,
lola: 420 tries, 419675752 fired transitions, 2630 secs || 93683532 markings, 871539573 edges,
lola: 421 tries, 420506767 fired transitions, 2635 secs || 93870057 markings, 873277584 edges,
lola: 422 tries, 421337550 fired transitions, 2640 secs || 94056809 markings, 875019098 edges,
lola: 423 tries, 422167694 fired transitions, 2645 secs || 94243911 markings, 876763511 edges,
lola: 423 tries, 422998105 fired transitions, 2650 secs || 94431057 markings, 878510729 edges,
lola: 424 tries, 423829130 fired transitions, 2655 secs || 94617298 markings, 880223016 edges,
lola: 425 tries, 424659798 fired transitions, 2660 secs || 94803702 markings, 881961482 edges,
lola: 426 tries, 425490716 fired transitions, 2665 secs || 94986373 markings, 883663371 edges,
lola: 427 tries, 426321924 fired transitions, 2670 secs || 95170648 markings, 885378181 edges,
lola: 428 tries, 427151578 fired transitions, 2675 secs || 95358749 markings, 887129088 edges,
lola: 428 tries, 427981452 fired transitions, 2680 secs || 95545714 markings, 888878795 edges,
lola: 429 tries, 428811484 fired transitions, 2685 secs || 95731692 markings, 890608692 edges,
lola: 430 tries, 429641178 fired transitions, 2690 secs || 95920079 markings, 892375910 edges,
lola: 431 tries, 430471223 fired transitions, 2695 secs || 96109029 markings, 894132990 edges,
lola: 432 tries, 431300394 fired transitions, 2700 secs || 96303276 markings, 895938454 edges,
lola: 433 tries, 432130274 fired transitions, 2705 secs || 96495994 markings, 897724274 edges,
lola: 433 tries, 432959712 fired transitions, 2710 secs || 96687189 markings, 899495524 edges,
lola: 434 tries, 433789040 fired transitions, 2715 secs || 96876955 markings, 901258277 edges,
lola: 435 tries, 434619204 fired transitions, 2720 secs || 97063964 markings, 903000279 edges,
lola: 436 tries, 435450698 fired transitions, 2725 secs || 97244993 markings, 904686938 edges,
lola: 437 tries, 436281396 fired transitions, 2730 secs || 97428342 markings, 906396308 edges,
lola: 438 tries, 437110998 fired transitions, 2735 secs || 97619343 markings, 908174421 edges,
lola: 438 tries, 437941660 fired transitions, 2740 secs || 97808531 markings, 909933686 edges,
lola: 439 tries, 438771804 fired transitions, 2745 secs || 97997768 markings, 911693934 edges,
lola: 440 tries, 439602722 fired transitions, 2750 secs || 98187249 markings, 913456528 edges,
lola: 441 tries, 440434070 fired transitions, 2755 secs || 98375320 markings, 915207929 edges,
lola: 442 tries, 441263952 fired transitions, 2760 secs || 98565381 markings, 916973465 edges,
lola: 443 tries, 442092714 fired transitions, 2765 secs || 98757241 markings, 918755372 edges,
lola: 443 tries, 442923318 fired transitions, 2770 secs || 98945564 markings, 920503783 edges,
lola: 444 tries, 443753936 fired transitions, 2775 secs || 99135641 markings, 922267895 edges,
lola: 445 tries, 444585270 fired transitions, 2780 secs || 99320712 markings, 923995352 edges,
lola: 446 tries, 445417160 fired transitions, 2785 secs || 99503564 markings, 925692928 edges,
lola: 447 tries, 446245881 fired transitions, 2790 secs || 99699364 markings, 927513838 edges,
lola: 448 tries, 447075542 fired transitions, 2795 secs || 99895632 markings, 929336610 edges,
lola: 448 tries, 447905492 fired transitions, 2800 secs || 100081715 markings, 931067216 edges,
lola: 449 tries, 448735826 fired transitions, 2805 secs || 100267658 markings, 932796393 edges,
lola: 450 tries, 449484954 fired transitions, 2810 secs || 100433534 markings, 934337496 edges,
lola: 451 tries, 450235810 fired transitions, 2815 secs || 100596514 markings, 935856351 edges,
lola: 451 tries, 450984248 fired transitions, 2820 secs || 100763388 markings, 937411401 edges,
lola: 452 tries, 451733552 fired transitions, 2825 secs || 100930126 markings, 938962527 edges,
lola: 453 tries, 452483246 fired transitions, 2830 secs || 101094927 markings, 940494335 edges,
lola: 454 tries, 453269844 fired transitions, 2835 secs || 101271247 markings, 942134938 edges,
lola: 455 tries, 454096214 fired transitions, 2840 secs || 101454868 markings, 943845345 edges,
lola: 455 tries, 454921861 fired transitions, 2845 secs || 101636670 markings, 945540251 edges,
lola: 456 tries, 455747999 fired transitions, 2850 secs || 101817948 markings, 947228219 edges,
lola: 457 tries, 456570370 fired transitions, 2855 secs || 102002772 markings, 948947359 edges,
lola: 458 tries, 457351734 fired transitions, 2860 secs || 102175655 markings, 950556796 edges,
lola: 459 tries, 458041112 fired transitions, 2865 secs || 102339650 markings, 952082178 edges,
lola: 459 tries, 458793262 fired transitions, 2870 secs || 102501764 markings, 953594975 edges,
lola: 460 tries, 459544002 fired transitions, 2875 secs || 102665817 markings, 955122274 edges,
lola: 461 tries, 460297408 fired transitions, 2880 secs || 102828446 markings, 956634519 edges,
lola: 462 tries, 461048940 fired transitions, 2885 secs || 102990686 markings, 958142892 edges,
lola: 462 tries, 461799102 fired transitions, 2890 secs || 103154095 markings, 959666927 edges,
lola: 463 tries, 462551080 fired transitions, 2895 secs || 103317451 markings, 961186303 edges,
lola: 464 tries, 463353952 fired transitions, 2900 secs || 103494292 markings, 962833789 edges,
lola: 465 tries, 464182222 fired transitions, 2905 secs || 103675633 markings, 964524512 edges,
lola: 466 tries, 465010034 fired transitions, 2910 secs || 103861708 markings, 966257104 edges,
lola: 466 tries, 465837866 fired transitions, 2915 secs || 104046072 markings, 967971941 edges,
lola: 467 tries, 466636882 fired transitions, 2920 secs || 104222622 markings, 969615896 edges,
lola: 468 tries, 467387874 fired transitions, 2925 secs || 104385984 markings, 971133000 edges,
lola: 469 tries, 468136940 fired transitions, 2930 secs || 104551785 markings, 972679119 edges,
lola: 469 tries, 468887375 fired transitions, 2935 secs || 104716211 markings, 974207799 edges,
lola: 470 tries, 469639398 fired transitions, 2940 secs || 104880455 markings, 975730155 edges,
lola: 471 tries, 470386874 fired transitions, 2945 secs || 105050450 markings, 977316684 edges,
lola: 472 tries, 471107278 fired transitions, 2950 secs || 105214423 markings, 978836971 edges,
lola: 472 tries, 471802358 fired transitions, 2955 secs || 105376097 markings, 980339571 edges,
lola: 473 tries, 472483644 fired transitions, 2960 secs || 105537108 markings, 981837392 edges,
lola: 474 tries, 473239296 fired transitions, 2965 secs || 105696852 markings, 983320165 edges,
lola: 474 tries, 473931892 fired transitions, 2970 secs || 105858844 markings, 984822682 edges,
lola: 475 tries, 474686766 fired transitions, 2975 secs || 106019140 markings, 986312548 edges,
lola: 476 tries, 475441476 fired transitions, 2980 secs || 106179576 markings, 987815709 edges,
lola: 477 tries, 476162560 fired transitions, 2985 secs || 106343281 markings, 989336132 edges,
lola: 477 tries, 476915232 fired transitions, 2990 secs || 106505508 markings, 990850824 edges,
lola: 478 tries, 477668858 fired transitions, 2995 secs || 106666121 markings, 992348917 edges,
lola: 479 tries, 478416756 fired transitions, 3000 secs || 106835190 markings, 993921884 edges,
lola: 480 tries, 479162160 fired transitions, 3005 secs || 107007237 markings, 995521449 edges,
lola: 480 tries, 479908180 fired transitions, 3010 secs || 107178102 markings, 997114395 edges,
lola: 481 tries, 480654786 fired transitions, 3015 secs || 107348613 markings, 998695979 edges,
lola: 482 tries, 481345638 fired transitions, 3020 secs || 107518660 markings, 1000271703 edges,
lola: 483 tries, 482136652 fired transitions, 3025 secs || 107698029 markings, 1001936314 edges,
lola: 483 tries, 482969772 fired transitions, 3030 secs || 107884730 markings, 1003668909 edges,
lola: 484 tries, 483803460 fired transitions, 3035 secs || 108065864 markings, 1005350100 edges,
lola: 485 tries, 484636911 fired transitions, 3040 secs || 108247966 markings, 1007037037 edges,
lola: 486 tries, 485471418 fired transitions, 3045 secs || 108431157 markings, 1008732193 edges,
lola: 487 tries, 486304942 fired transitions, 3050 secs || 108614439 markings, 1010432066 edges,
lola: 488 tries, 487138718 fired transitions, 3055 secs || 108797689 markings, 1012136471 edges,
lola: 488 tries, 487972202 fired transitions, 3060 secs || 108979655 markings, 1013829602 edges,
lola: 489 tries, 488805534 fired transitions, 3065 secs || 109164981 markings, 1015550351 edges,
lola: 490 tries, 489639418 fired transitions, 3070 secs || 109347296 markings, 1017247090 edges,
lola: 491 tries, 490473915 fired transitions, 3075 secs || 109526219 markings, 1018912405 edges,
lola: 492 tries, 491306488 fired transitions, 3080 secs || 109706524 markings, 1020590895 edges,
lola: 493 tries, 492140558 fired transitions, 3085 secs || 109886700 markings, 1022266286 edges,
lola: 493 tries, 492974998 fired transitions, 3090 secs || 110066510 markings, 1023940497 edges,
lola: 494 tries, 493809190 fired transitions, 3095 secs || 110246165 markings, 1025611879 edges,
lola: 495 tries, 494642942 fired transitions, 3100 secs || 110426752 markings, 1027290526 edges,
lola: 496 tries, 495429176 fired transitions, 3105 secs || 110595438 markings, 1028855051 edges,
lola: 497 tries, 496221932 fired transitions, 3110 secs || 110764305 markings, 1030422169 edges,
lola: 498 tries, 497055620 fired transitions, 3115 secs || 110942274 markings, 1032079144 edges,
lola: 498 tries, 497889376 fired transitions, 3120 secs || 111119737 markings, 1033734051 edges,
lola: 499 tries, 498722624 fired transitions, 3125 secs || 111298478 markings, 1035400687 edges,
lola: 500 tries, 499556117 fired transitions, 3130 secs || 111477392 markings, 1037063169 edges,
lola: 500 tries, 499625494 fired transitions, 3135 secs || 111487404 markings, 1037155746 edges,
lola: 500 tries, 499730864 fired transitions, 3140 secs || 111495261 markings, 1037227546 edges,
lola: 500 tries, 499765450 fired transitions, 3145 secs || 111498091 markings, 1037253731 edges,
lola: 500 tries, 499793086 fired transitions, 3150 secs || 111503352 markings, 1037302788 edges,
lola: 500 tries, 499810565 fired transitions, 3155 secs || 111503367 markings, 1037302915 edges,
lola: 500 tries, 499867699 fired transitions, 3160 secs || 111503384 markings, 1037303069 edges,
lola: 500 tries, 499871862 fired transitions, 3165 secs || 111504230 markings, 1037310977 edges,
lola: 500 tries, 499874426 fired transitions, 3170 secs || 111504893 markings, 1037317111 edges,
lola: 500 tries, 499949876 fired transitions, 3175 secs || 111510106 markings, 1037365288 edges,
lola: 501 tries, 500009983 fired transitions, 3180 secs || 111512463 markings, 1037387424 edges,
lola: 501 tries, 500039557 fired transitions, 3185 secs || 111514969 markings, 1037410762 edges,
lola: 501 tries, 500091481 fired transitions, 3190 secs || 111521010 markings, 1037467493 edges,
lola: 501 tries, 500119814 fired transitions, 3195 secs || 111523576 markings, 1037490892 edges,
lola: 501 tries, 500142624 fired transitions, 3200 secs || 111527169 markings, 1037524513 edges,
lola: 501 tries, 500142744 fired transitions, 3205 secs || 111527178 markings, 1037524592 edges,
lola: 501 tries, 500176068 fired transitions, 3210 secs || 111529353 markings, 1037545107 edges,
lola: 501 tries, 500199406 fired transitions, 3215 secs || 111531093 markings, 1037561052 edges,
lola: 501 tries, 500214991 fired transitions, 3220 secs || 111534425 markings, 1037591622 edges,
lola: 501 tries, 500222253 fired transitions, 3225 secs || 111535682 markings, 1037603129 edges,
lola: 501 tries, 500250850 fired transitions, 3230 secs || 111541432 markings, 1037656591 edges,
lola: 501 tries, 500266788 fired transitions, 3235 secs || 111543951 markings, 1037679978 edges,
lola: 501 tries, 500441700 fired transitions, 3240 secs || 111543972 markings, 1037680152 edges,
lola: 501 tries, 500471735 fired transitions, 3245 secs || 111550303 markings, 1037738786 edges,
lola: 501 tries, 500748747 fired transitions, 3250 secs || 111551773 markings, 1037752417 edges,
lola: 502 tries, 501045723 fired transitions, 3255 secs || 111554432 markings, 1037776700 edges,
lola: 502 tries, 501098054 fired transitions, 3260 secs || 111562933 markings, 1037854795 edges,
lola: 502 tries, 501136191 fired transitions, 3265 secs || 111562945 markings, 1037854911 edges,
lola: 502 tries, 501136357 fired transitions, 3270 secs || 111562960 markings, 1037855024 edges,
lola: 502 tries, 501157354 fired transitions, 3275 secs || 111566041 markings, 1037883354 edges,
lola: 502 tries, 501291274 fired transitions, 3280 secs || 111566382 markings, 1037886509 edges,
lola: 502 tries, 501972924 fired transitions, 3285 secs || 111567280 markings, 1037894954 edges,
lola: 503 tries, 502681914 fired transitions, 3290 secs || 111571450 markings, 1037934296 edges,
lola: 504 tries, 503394440 fired transitions, 3295 secs || 111572016 markings, 1037939761 edges,
lola: 504 tries, 503913590 fired transitions, 3300 secs || 111572462 markings, 1037944131 edges,
lola: 505 tries, 504103820 fired transitions, 3305 secs || 111611485 markings, 1038309076 edges,
Killed
rslt: finished

BK_STOP 1552904613559

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 37882 markings/sec, 0 secs 39135 markings/sec, 5 secs 39308 markings/sec, 10 secs 39018 markings/sec, 15 secs 38740 markings/sec, 20 secs 37538 markings/sec, 25 secs 36767 markings/sec, 30 secs 36575 markings/sec, 35 secs 36284 markings/sec, 40 secs 36422 markings/sec, 45 secs 35581 markings/sec, 50 secs 35619 markings/sec, 55 secs 35346 markings/sec, 60 secs 35405 markings/sec, 65 secs 35582 markings/sec, 70 secs 35340 markings/sec, 75 secs 35042 markings/sec, 80 secs 35693 markings/sec, 85 secs 35147 markings/sec, 90 secs 35096 markings/sec, 95 secs 34031 markings/sec, 100 secs 33065 markings/sec, 105 secs 33489 markings/sec, 110 secs 33589 markings/sec, 115 secs 33691 markings/sec, 120 secs 34992 markings/sec, 125 secs 35103 markings/sec, 130 secs 35179 markings/sec, 135 secs 36427 markings/sec, 140 secs 37258 markings/sec, 145 secs 36220 markings/sec, 150 secs 37013 markings/sec, 155 secs 35740 markings/sec, 160 secs 35596 markings/sec, 165 secs 35565 markings/sec, 170 secs 32466 markings/sec, 175 secs 34032 markings/sec, 180 secs 32892 markings/sec, 185 secs 33831 markings/sec, 190 secs 33179 markings/sec, 195 secs 33086 markings/sec, 200 secs 32958 markings/sec, 205 secs 32663 markings/sec, 210 secs 32539 markings/sec, 215 secs 32705 markings/sec, 220 secs 33194 markings/sec, 225 secs 33952 markings/sec, 230 secs 34676 markings/sec, 235 secs 35001 markings/sec, 240 secs 35099 markings/sec, 245 secs 35212 markings/sec, 250 secs 36533 markings/sec, 255 secs 36583 markings/sec, 260 secs 34851 markings/sec, 265 secs 34607 markings/sec, 270 secs 34700 markings/sec, 275 secs 34466 markings/sec, 280 secs 36013 markings/sec, 285 secs 36320 markings/sec, 290 secs 35941 markings/sec, 295 secs 35977 markings/sec, 300 secs 36175 markings/sec, 305 secs 36273 markings/sec, 310 secs 36377 markings/sec, 315 secs 36391 markings/sec, 320 secs 34511 markings/sec, 325 secs 33473 markings/sec, 330 secs 33327 markings/sec, 335 secs 32841 markings/sec, 340 secs 33158 markings/sec, 345 secs 34352 markings/sec, 350 secs 34720 markings/sec, 355 secs 34166 markings/sec, 360 secs 34297 markings/sec, 365 secs 34223 markings/sec, 370 secs 34304 markings/sec, 375 secs 34615 markings/sec, 380 secs 34546 markings/sec, 385 secs 34222 markings/sec, 390 secs 34501 markings/sec, 395 secs 34660 markings/sec, 400 secs 34590 markings/sec, 405 secs 34404 markings/sec, 410 secs 33991 markings/sec, 415 secs 34582 markings/sec, 420 secs 33890 markings/sec, 425 secs 32127 markings/sec, 430 secs 30544 markings/sec, 435 secs 31271 markings/sec, 440 secs 30215 markings/sec, 445 secs 32080 markings/sec, 450 secs 32635 markings/sec, 455 secs 30379 markings/sec, 460 secs 30610 markings/sec, 465 secs 32495 markings/sec, 470 secs 31465 markings/sec, 475 secs 32319 markings/sec, 480 secs 35065 markings/sec, 485 secs 36220 markings/sec, 490 secs 37118 markings/sec, 495 secs 36626 markings/sec, 500 secs 35227 markings/sec, 505 secs 32500 markings/sec, 510 secs 32566 markings/sec, 515 secs 36700 markings/sec, 520 secs 37125 markings/sec, 525 secs 34160 markings/sec, 530 secs 32938 markings/sec, 535 secs 32821 markings/sec, 540 secs 32640 markings/sec, 545 secs 31679 markings/sec, 550 secs 32809 markings/sec, 555 secs 32995 markings/sec, 560 secs 31675 markings/sec, 565 secs 33089 markings/sec, 570 secs 32934 markings/sec, 575 secs 32840 markings/sec, 580 secs 32697 markings/sec, 585 secs 33017 markings/sec, 590 secs 32785 markings/sec, 595 secs 32862 markings/sec, 600 secs 32754 markings/sec, 605 secs 32499 markings/sec, 610 secs 31413 markings/sec, 615 secs 32710 markings/sec, 620 secs 32850 markings/sec, 625 secs 33238 markings/sec, 630 secs 33503 markings/sec, 635 secs 33317 markings/sec, 640 secs 33794 markings/sec, 645 secs 33840 markings/sec, 650 secs 32848 markings/sec, 655 secs 31338 markings/sec, 660 secs 35618 markings/sec, 665 secs 36583 markings/sec, 670 secs 36280 markings/sec, 675 secs 36541 markings/sec, 680 secs 35809 markings/sec, 685 secs 36389 markings/sec, 690 secs 36364 markings/sec, 695 secs 36332 markings/sec, 700 secs 37177 markings/sec, 705 secs 38476 markings/sec, 710 secs 38975 markings/sec, 715 secs 38388 markings/sec, 720 secs 38276 markings/sec, 725 secs 38255 markings/sec, 730 secs 38368 markings/sec, 735 secs 38378 markings/sec, 740 secs 37938 markings/sec, 745 secs 37578 markings/sec, 750 secs 36224 markings/sec, 755 secs 34233 markings/sec, 760 secs 34701 markings/sec, 765 secs 36427 markings/sec, 770 secs 36303 markings/sec, 775 secs 36716 markings/sec, 780 secs 37406 markings/sec, 785 secs 37505 markings/sec, 790 secs 36760 markings/sec, 795 secs 38380 markings/sec, 800 secs 38029 markings/sec, 805 secs 37645 markings/sec, 810 secs 37263 markings/sec, 815 secs 37416 markings/sec, 820 secs 37601 markings/sec, 825 secs 37441 markings/sec, 830 secs 37528 markings/sec, 835 secs 36333 markings/sec, 840 secs 37172 markings/sec, 845 secs 37135 markings/sec, 850 secs 37368 markings/sec, 855 secs 36805 markings/sec, 860 secs 36464 markings/sec, 865 secs 36118 markings/sec, 870 secs 36380 markings/sec, 875 secs 36181 markings/sec, 880 secs 36380 markings/sec, 885 secs 36042 markings/sec, 890 secs 36469 markings/sec, 895 secs 35983 markings/sec, 900 secs 36310 markings/sec, 905 secs 36810 markings/sec, 910 secs 37816 markings/sec, 915 secs 37632 markings/sec, 920 secs 37066 markings/sec, 925 secs 37427 markings/sec, 930 secs 37055 markings/sec, 935 secs 37230 markings/sec, 940 secs 36925 markings/sec, 945 secs 37211 markings/sec, 950 secs 36888 markings/sec, 955 secs 36201 markings/sec, 960 secs 35882 markings/sec, 965 secs 35826 markings/sec, 970 secs 36036 markings/sec, 975 secs 35261 markings/sec, 980 secs 36044 markings/sec, 985 secs 36206 markings/sec, 990 secs 36265 markings/sec, 995 secs 36151 markings/sec, 1000 secs 36211 markings/sec, 1005 secs 36521 markings/sec, 1010 secs 36314 markings/sec, 1015 secs 36202 markings/sec, 1020 secs 36422 markings/sec, 1025 secs 36099 markings/sec, 1030 secs 36928 markings/sec, 1035 secs 36940 markings/sec, 1040 secs 36263 markings/sec, 1045 secs 36505 markings/sec, 1050 secs 36313 markings/sec, 1055 secs 36224 markings/sec, 1060 secs 36207 markings/sec, 1065 secs 37357 markings/sec, 1070 secs 38426 markings/sec, 1075 secs 38028 markings/sec, 1080 secs 36740 markings/sec, 1085 secs 36956 markings/sec, 1090 secs 37104 markings/sec, 1095 secs 36747 markings/sec, 1100 secs 36953 markings/sec, 1105 secs 37130 markings/sec, 1110 secs 37042 markings/sec, 1115 secs 36917 markings/sec, 1120 secs 36875 markings/sec, 1125 secs 36838 markings/sec, 1130 secs 36814 markings/sec, 1135 secs 37368 markings/sec, 1140 secs 37201 markings/sec, 1145 secs 36985 markings/sec, 1150 secs 37863 markings/sec, 1155 secs 37810 markings/sec, 1160 secs 37653 markings/sec, 1165 secs 37431 markings/sec, 1170 secs 37312 markings/sec, 1175 secs 37405 markings/sec, 1180 secs 37177 markings/sec, 1185 secs 37921 markings/sec, 1190 secs 38578 markings/sec, 1195 secs 37972 markings/sec, 1200 secs 38122 markings/sec, 1205 secs 37951 markings/sec, 1210 secs 37707 markings/sec, 1215 secs 37456 markings/sec, 1220 secs 37105 markings/sec, 1225 secs 36592 markings/sec, 1230 secs 35901 markings/sec, 1235 secs 35779 markings/sec, 1240 secs 35523 markings/sec, 1245 secs 35317 markings/sec, 1250 secs 35065 markings/sec, 1255 secs 35216 markings/sec, 1260 secs 35166 markings/sec, 1265 secs 34801 markings/sec, 1270 secs 35078 markings/sec, 1275 secs 35268 markings/sec, 1280 secs 35089 markings/sec, 1285 secs 34814 markings/sec, 1290 secs 35256 markings/sec, 1295 secs 34777 markings/sec, 1300 secs 34433 markings/sec, 1305 secs 34340 markings/sec, 1310 secs 34838 markings/sec, 1315 secs 34770 markings/sec, 1320 secs 34554 markings/sec, 1325 secs 34999 markings/sec, 1330 secs 34707 markings/sec, 1335 secs 34472 markings/sec, 1340 secs 34301 markings/sec, 1345 secs 34724 markings/sec, 1350 secs 34454 markings/sec, 1355 secs 34221 markings/sec, 1360 secs 34465 markings/sec, 1365 secs 34706 markings/sec, 1370 secs 35399 markings/sec, 1375 secs 35388 markings/sec, 1380 secs 35282 markings/sec, 1385 secs 34936 markings/sec, 1390 secs 35693 markings/sec, 1395 secs 35937 markings/sec, 1400 secs 35348 markings/sec, 1405 secs 35358 markings/sec, 1410 secs 35237 markings/sec, 1415 secs 35270 markings/sec, 1420 secs 31017 markings/sec, 1425 secs 33393 markings/sec, 1430 secs 33324 markings/sec, 1435 secs 33014 markings/sec, 1440 secs 31290 markings/sec, 1445 secs 31738 markings/sec, 1450 secs 31418 markings/sec, 1455 secs 31508 markings/sec, 1460 secs 31448 markings/sec, 1465 secs 31977 markings/sec, 1470 secs 30262 markings/sec, 1475 secs 33325 markings/sec, 1480 secs 34037 markings/sec, 1485 secs 33672 markings/sec, 1490 secs 33560 markings/sec, 1495 secs 33752 markings/sec, 1500 secs 34731 markings/sec, 1505 secs 35635 markings/sec, 1510 secs 35351 markings/sec, 1515 secs 36244 markings/sec, 1520 secs 36200 markings/sec, 1525 secs 36285 markings/sec, 1530 secs 36153 markings/sec, 1535 secs 36150 markings/sec, 1540 secs 36007 markings/sec, 1545 secs 36090 markings/sec, 1550 secs 34068 markings/sec, 1555 secs 35363 markings/sec, 1560 secs 33585 markings/sec, 1565 secs 32525 markings/sec, 1570 secs 32061 markings/sec, 1575 secs 32452 markings/sec, 1580 secs 32269 markings/sec, 1585 secs 33151 markings/sec, 1590 secs 33413 markings/sec, 1595 secs 33567 markings/sec, 1600 secs 33367 markings/sec, 1605 secs 35045 markings/sec, 1610 secs 35654 markings/sec, 1615 secs 35407 markings/sec, 1620 secs 35338 markings/sec, 1625 secs 34908 markings/sec, 1630 secs 35340 markings/sec, 1635 secs 34544 markings/sec, 1640 secs 33066 markings/sec, 1645 secs 34454 markings/sec, 1650 secs 35431 markings/sec, 1655 secs 35549 markings/sec, 1660 secs 35581 markings/sec, 1665 secs 35291 markings/sec, 1670 secs 34438 markings/sec, 1675 secs 34231 markings/sec, 1680 secs 34723 markings/sec, 1685 secs 34805 markings/sec, 1690 secs 34786 markings/sec, 1695 secs 34679 markings/sec, 1700 secs 34641 markings/sec, 1705 secs 35100 markings/sec, 1710 secs 34657 markings/sec, 1715 secs 35235 markings/sec, 1720 secs 35572 markings/sec, 1725 secs 35289 markings/sec, 1730 secs 34254 markings/sec, 1735 secs 34078 markings/sec, 1740 secs 34282 markings/sec, 1745 secs 33800 markings/sec, 1750 secs 33828 markings/sec, 1755 secs 33971 markings/sec, 1760 secs 34602 markings/sec, 1765 secs 35108 markings/sec, 1770 secs 36045 markings/sec, 1775 secs 35364 markings/sec, 1780 secs 35287 markings/sec, 1785 secs 35077 markings/sec, 1790 secs 34989 markings/sec, 1795 secs 36130 markings/sec, 1800 secs 37303 markings/sec, 1805 secs 36791 markings/sec, 1810 secs 37001 markings/sec, 1815 secs 36794 markings/sec, 1820 secs 36025 markings/sec, 1825 secs 36089 markings/sec, 1830 secs 35484 markings/sec, 1835 secs 35595 markings/sec, 1840 secs 35406 markings/sec, 1845 secs 36112 markings/sec, 1850 secs 35935 markings/sec, 1855 secs 35031 markings/sec, 1860 secs 34376 markings/sec, 1865 secs 34610 markings/sec, 1870 secs 35167 markings/sec, 1875 secs 34894 markings/sec, 1880 secs 34968 markings/sec, 1885 secs 34765 markings/sec, 1890 secs 36362 markings/sec, 1895 secs 36747 markings/sec, 1900 secs 36846 markings/sec, 1905 secs 36055 markings/sec, 1910 secs 35665 markings/sec, 1915 secs 35738 markings/sec, 1920 secs 35717 markings/sec, 1925 secs 35173 markings/sec, 1930 secs 35314 markings/sec, 1935 secs 35165 markings/sec, 1940 secs 35256 markings/sec, 1945 secs 35256 markings/sec, 1950 secs 35205 markings/sec, 1955 secs 34900 markings/sec, 1960 secs 35056 markings/sec, 1965 secs 35411 markings/sec, 1970 secs 35160 markings/sec, 1975 secs 35694 markings/sec, 1980 secs 35817 markings/sec, 1985 secs 34780 markings/sec, 1990 secs 34484 markings/sec, 1995 secs 34143 markings/sec, 2000 secs 34001 markings/sec, 2005 secs 34458 markings/sec, 2010 secs 34729 markings/sec, 2015 secs 35464 markings/sec, 2020 secs 35906 markings/sec, 2025 secs 36205 markings/sec, 2030 secs 35674 markings/sec, 2035 secs 35191 markings/sec, 2040 secs 35014 markings/sec, 2045 secs 36075 markings/sec, 2050 secs 36361 markings/sec, 2055 secs 36306 markings/sec, 2060 secs 36304 markings/sec, 2065 secs 36892 markings/sec, 2070 secs 36592 markings/sec, 2075 secs 36742 markings/sec, 2080 secs 36419 markings/sec, 2085 secs 36481 markings/sec, 2090 secs 36920 markings/sec, 2095 secs 37409 markings/sec, 2100 secs 36797 markings/sec, 2105 secs 37022 markings/sec, 2110 secs 36951 markings/sec, 2115 secs 37449 markings/sec, 2120 secs 36750 markings/sec, 2125 secs 36599 markings/sec, 2130 secs 36546 markings/sec, 2135 secs 36767 markings/sec, 2140 secs 36766 markings/sec, 2145 secs 36833 markings/sec, 2150 secs 36683 markings/sec, 2155 secs 37042 markings/sec, 2160 secs 37075 markings/sec, 2165 secs 37232 markings/sec, 2170 secs 37230 markings/sec, 2175 secs 37231 markings/sec, 2180 secs 37568 markings/sec, 2185 secs 37228 markings/sec, 2190 secs 37005 markings/sec, 2195 secs 36822 markings/sec, 2200 secs 37306 markings/sec, 2205 secs 36930 markings/sec, 2210 secs 36545 markings/sec, 2215 secs 36299 markings/sec, 2220 secs 36172 markings/sec, 2225 secs 36000 markings/sec, 2230 secs 35318 markings/sec, 2235 secs 35392 markings/sec, 2240 secs 35421 markings/sec, 2245 secs 35154 markings/sec, 2250 secs 35596 markings/sec, 2255 secs 35012 markings/sec, 2260 secs 35885 markings/sec, 2265 secs 37223 markings/sec, 2270 secs 36977 markings/sec, 2275 secs 36703 markings/sec, 2280 secs 36557 markings/sec, 2285 secs 36722 markings/sec, 2290 secs 36359 markings/sec, 2295 secs 36422 markings/sec, 2300 secs 36385 markings/sec, 2305 secs 36509 markings/sec, 2310 secs 36069 markings/sec, 2315 secs 36390 markings/sec, 2320 secs 36418 markings/sec, 2325 secs 36518 markings/sec, 2330 secs 36412 markings/sec, 2335 secs 36239 markings/sec, 2340 secs 36499 markings/sec, 2345 secs 36942 markings/sec, 2350 secs 37493 markings/sec, 2355 secs 36975 markings/sec, 2360 secs 37072 markings/sec, 2365 secs 36810 markings/sec, 2370 secs 36981 markings/sec, 2375 secs 36867 markings/sec, 2380 secs 36794 markings/sec, 2385 secs 36000 markings/sec, 2390 secs 35919 markings/sec, 2395 secs 35975 markings/sec, 2400 secs 35534 markings/sec, 2405 secs 35638 markings/sec, 2410 secs 35878 markings/sec, 2415 secs 35808 markings/sec, 2420 secs 35639 markings/sec, 2425 secs 35684 markings/sec, 2430 secs 35694 markings/sec, 2435 secs 36383 markings/sec, 2440 secs 36276 markings/sec, 2445 secs 35899 markings/sec, 2450 secs 36373 markings/sec, 2455 secs 36676 markings/sec, 2460 secs 36758 markings/sec, 2465 secs 38615 markings/sec, 2470 secs 37414 markings/sec, 2475 secs 36241 markings/sec, 2480 secs 36279 markings/sec, 2485 secs 36494 markings/sec, 2490 secs 35740 markings/sec, 2495 secs 36910 markings/sec, 2500 secs 36559 markings/sec, 2505 secs 36497 markings/sec, 2510 secs 37210 markings/sec, 2515 secs 36766 markings/sec, 2520 secs 36569 markings/sec, 2525 secs 36452 markings/sec, 2530 secs 36627 markings/sec, 2535 secs 36407 markings/sec, 2540 secs 36458 markings/sec, 2545 secs 36555 markings/sec, 2550 secs 37037 markings/sec, 2555 secs 36931 markings/sec, 2560 secs 36650 markings/sec, 2565 secs 36461 markings/sec, 2570 secs 36665 markings/sec, 2575 secs 37051 markings/sec, 2580 secs 36760 markings/sec, 2585 secs 37105 markings/sec, 2590 secs 36734 markings/sec, 2595 secs 37013 markings/sec, 2600 secs 38342 markings/sec, 2605 secs 38602 markings/sec, 2610 secs 37798 markings/sec, 2615 secs 36880 markings/sec, 2620 secs 37633 markings/sec, 2625 secs 36918 markings/sec, 2630 secs 37305 markings/sec, 2635 secs 37350 markings/sec, 2640 secs 37420 markings/sec, 2645 secs 37429 markings/sec, 2650 secs 37248 markings/sec, 2655 secs 37281 markings/sec, 2660 secs 36534 markings/sec, 2665 secs 36855 markings/sec, 2670 secs 37620 markings/sec, 2675 secs 37393 markings/sec, 2680 secs 37196 markings/sec, 2685 secs 37677 markings/sec, 2690 secs 37790 markings/sec, 2695 secs 38849 markings/sec, 2700 secs 38544 markings/sec, 2705 secs 38239 markings/sec, 2710 secs 37953 markings/sec, 2715 secs 37402 markings/sec, 2720 secs 36206 markings/sec, 2725 secs 36670 markings/sec, 2730 secs 38200 markings/sec, 2735 secs 37838 markings/sec, 2740 secs 37847 markings/sec, 2745 secs 37896 markings/sec, 2750 secs 37614 markings/sec, 2755 secs 38012 markings/sec, 2760 secs 38372 markings/sec, 2765 secs 37665 markings/sec, 2770 secs 38015 markings/sec, 2775 secs 37014 markings/sec, 2780 secs 36570 markings/sec, 2785 secs 39160 markings/sec, 2790 secs 39254 markings/sec, 2795 secs 37217 markings/sec, 2800 secs 37189 markings/sec, 2805 secs 33175 markings/sec, 2810 secs 32596 markings/sec, 2815 secs 33375 markings/sec, 2820 secs 33348 markings/sec, 2825 secs 32960 markings/sec, 2830 secs 35264 markings/sec, 2835 secs 36724 markings/sec, 2840 secs 36360 markings/sec, 2845 secs 36256 markings/sec, 2850 secs 36965 markings/sec, 2855 secs 34577 markings/sec, 2860 secs 32799 markings/sec, 2865 secs 32423 markings/sec, 2870 secs 32811 markings/sec, 2875 secs 32526 markings/sec, 2880 secs 32448 markings/sec, 2885 secs 32682 markings/sec, 2890 secs 32671 markings/sec, 2895 secs 35368 markings/sec, 2900 secs 36268 markings/sec, 2905 secs 37215 markings/sec, 2910 secs 36873 markings/sec, 2915 secs 35310 markings/sec, 2920 secs 32672 markings/sec, 2925 secs 33160 markings/sec, 2930 secs 32885 markings/sec, 2935 secs 32849 markings/sec, 2940 secs 33999 markings/sec, 2945 secs 32795 markings/sec, 2950 secs 32335 markings/sec, 2955 secs 32202 markings/sec, 2960 secs 31949 markings/sec, 2965 secs 32398 markings/sec, 2970 secs 32059 markings/sec, 2975 secs 32087 markings/sec, 2980 secs 32741 markings/sec, 2985 secs 32445 markings/sec, 2990 secs 32123 markings/sec, 2995 secs 33814 markings/sec, 3000 secs 34409 markings/sec, 3005 secs 34173 markings/sec, 3010 secs 34102 markings/sec, 3015 secs 34009 markings/sec, 3020 secs 35874 markings/sec, 3025 secs 37340 markings/sec, 3030 secs 36227 markings/sec, 3035 secs 36420 markings/sec, 3040 secs 36638 markings/sec, 3045 secs 36656 markings/sec, 3050 secs 36650 markings/sec, 3055 secs 36393 markings/sec, 3060 secs 37065 markings/sec, 3065 secs 36463 markings/sec, 3070 secs 35785 markings/sec, 3075 secs 36061 markings/sec, 3080 secs 36035 markings/sec, 3085 secs 35962 markings/sec, 3090 secs 35931 markings/sec, 3095 secs 36117 markings/sec, 3100 secs 33737 markings/sec, 3105 secs 33773 markings/sec, 3110 secs 35594 markings/sec, 3115 secs 35493 markings/sec, 3120 secs 35748 markings/sec, 3125 secs 35783 markings/sec, 3130 secs 2002 markings/sec, 3135 secs 1571 markings/sec, 3140 secs 566 markings/sec, 3145 secs 1052 markings/sec, 3150 secs 3 markings/sec, 3155 secs 3 markings/sec, 3160 secs 169 markings/sec, 3165 secs 133 markings/sec, 3170 secs 1043 markings/sec, 3175 secs 471 markings/sec, 3180 secs 501 markings/sec, 3185 secs 1208 markings/sec, 3190 secs 513 markings/sec, 3195 secs 719 markings/sec, 3200 secs 2 markings/sec, 3205 secs 435 markings/sec, 3210 secs 348 markings/sec, 3215 secs 666 markings/sec, 3220 secs 251 markings/sec, 3225 secs 1150 markings/sec, 3230 secs 504 markings/sec, 3235 secs 4 markings/sec, 3240 secs 1266 markings/sec, 3245 secs 294 markings/sec, 3250 secs 532 markings/sec, 3255 secs 1700 markings/sec, 3260 secs 2 markings/sec, 3265 secs 3 markings/sec, 3270 secs 616 markings/sec, 3275 secs 68 markings/sec, 3280 secs 180 markings/sec, 3285 secs 834 markings/sec, 3290 secs 113 markings/sec, 3295 secs 89 markings/sec, 3300 secs 7805 markings/sec, 3305 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="Raft-PT-05"
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-3957"
echo " Executing tool lola"
echo " Input is Raft-PT-05, 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 r137-smll-155284909300030"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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