MCC'2019 - Execution of r093-smll-155246584200228

About the Execution of LoLA for LamportFastMutEx-PT-7

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4645.240	3570420.00	7223482.00	7524.90	[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.r093-smll-155246584200228.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 LamportFastMutEx-PT-7, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-smll-155246584200228
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 652K
-rw-r--r-- 1 mcc users 13K Feb 11 22:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 11 22:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 7 23:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 7 23:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 4.5K Feb 5 00:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 5 00:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 28K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 4 06:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 4 06:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Jan 31 23:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Jan 31 23:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.7K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K 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 LamportFastMutEx-PT-7-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552826323361

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ LamportFastMutEx-PT-7 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ LamportFastMutEx-PT-7

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun Mar 17 12:38:43 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 4541344,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 2352,
"conflict_clusters": 19,
"places": 264,
"places_significant": 182,
"singleton_clusters": 0,
"transitions": 536
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 5040.000000,
"composed": 11,
"dead_branches": 0,
"generators": 21,
"interrupted": false,
"real_computed": 10,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
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: 800/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8448
lola: finding significant places
lola: 264 places, 536 transitions, 182 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 21 generators (10 in search tree, 11 by composition)
lola: representing 5040 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 188147 fired transitions, 0 secs || 133774 markings, 262262 edges,
lola: 1 tries, 397709 fired transitions, 5 secs || 281407 markings, 569900 edges,
lola: 1 tries, 587741 fired transitions, 10 secs || 413005 markings, 848878 edges,
lola: 1 tries, 777492 fired transitions, 15 secs || 541044 markings, 1124814 edges,
lola: 1 tries, 967291 fired transitions, 20 secs || 668322 markings, 1400516 edges,
lola: 2 tries, 1156756 fired transitions, 25 secs || 795238 markings, 1675576 edges,
lola: 2 tries, 1348397 fired transitions, 30 secs || 917480 markings, 1963634 edges,
lola: 2 tries, 1540967 fired transitions, 35 secs || 1039497 markings, 2269276 edges,
lola: 2 tries, 1732420 fired transitions, 40 secs || 1161570 markings, 2556203 edges,
lola: 2 tries, 1924722 fired transitions, 45 secs || 1280647 markings, 2848519 edges,
lola: 3 tries, 2117389 fired transitions, 50 secs || 1398776 markings, 3145864 edges,
lola: 3 tries, 2309759 fired transitions, 55 secs || 1516854 markings, 3444699 edges,
lola: 3 tries, 2500906 fired transitions, 60 secs || 1640053 markings, 3724661 edges,
lola: 3 tries, 2693624 fired transitions, 65 secs || 1758268 markings, 4021640 edges,
lola: 3 tries, 2886040 fired transitions, 70 secs || 1878557 markings, 4312697 edges,
lola: 4 tries, 3077234 fired transitions, 75 secs || 2003135 markings, 4591118 edges,
lola: 4 tries, 3268885 fired transitions, 80 secs || 2125627 markings, 4873632 edges,
lola: 4 tries, 3460621 fired transitions, 85 secs || 2247009 markings, 5155207 edges,
lola: 4 tries, 3653631 fired transitions, 90 secs || 2364850 markings, 5457256 edges,
lola: 4 tries, 3851479 fired transitions, 95 secs || 2488212 markings, 5753256 edges,
lola: 5 tries, 4080816 fired transitions, 100 secs || 2641679 markings, 6107709 edges,
lola: 5 tries, 4275700 fired transitions, 105 secs || 2769321 markings, 6398844 edges,
lola: 5 tries, 4466628 fired transitions, 110 secs || 2889074 markings, 6692881 edges,
lola: 5 tries, 4658300 fired transitions, 115 secs || 3008006 markings, 6997757 edges,
lola: 5 tries, 4848493 fired transitions, 120 secs || 3128138 markings, 7293213 edges,
lola: 6 tries, 5038700 fired transitions, 125 secs || 3248775 markings, 7588250 edges,
lola: 6 tries, 5228926 fired transitions, 130 secs || 3367581 markings, 7884584 edges,
lola: 6 tries, 5419769 fired transitions, 135 secs || 3486450 markings, 8183637 edges,
lola: 6 tries, 5610109 fired transitions, 140 secs || 3605997 markings, 8479377 edges,
lola: 6 tries, 5800391 fired transitions, 145 secs || 3724822 markings, 8771636 edges,
lola: 6 tries, 5990564 fired transitions, 150 secs || 3847124 markings, 9069896 edges,
lola: 7 tries, 6180650 fired transitions, 155 secs || 3968244 markings, 9358964 edges,
lola: 7 tries, 6370196 fired transitions, 160 secs || 4088558 markings, 9645447 edges,
lola: 7 tries, 6560987 fired transitions, 165 secs || 4208596 markings, 9945951 edges,
lola: 7 tries, 6751773 fired transitions, 170 secs || 4331658 markings, 10245134 edges,
lola: 7 tries, 6942382 fired transitions, 175 secs || 4452698 markings, 10545239 edges,
lola: 8 tries, 7132217 fired transitions, 180 secs || 4574493 markings, 10831733 edges,
lola: 8 tries, 7321706 fired transitions, 185 secs || 4694615 markings, 11117929 edges,
lola: 8 tries, 7512700 fired transitions, 190 secs || 4812819 markings, 11423309 edges,
lola: 8 tries, 7702425 fired transitions, 195 secs || 4934063 markings, 11716544 edges,
lola: 8 tries, 7892784 fired transitions, 200 secs || 5054411 markings, 12017737 edges,
lola: 9 tries, 8075759 fired transitions, 205 secs || 5173665 markings, 12317167 edges,
lola: 9 tries, 8265939 fired transitions, 210 secs || 5294717 markings, 12607500 edges,
lola: 9 tries, 8456909 fired transitions, 215 secs || 5415031 markings, 12907190 edges,
lola: 9 tries, 8648400 fired transitions, 220 secs || 5532191 markings, 13209339 edges,
lola: 9 tries, 8840330 fired transitions, 225 secs || 5648149 markings, 13516744 edges,
lola: 10 tries, 9007286 fired transitions, 230 secs || 5768696 markings, 13819773 edges,
lola: 10 tries, 9198879 fired transitions, 235 secs || 5885838 markings, 14121332 edges,
lola: 10 tries, 9389753 fired transitions, 240 secs || 6005924 markings, 14410677 edges,
lola: 10 tries, 9582574 fired transitions, 245 secs || 6121580 markings, 14721473 edges,
lola: 10 tries, 9774896 fired transitions, 250 secs || 6239409 markings, 15024164 edges,
lola: 10 tries, 9966669 fired transitions, 255 secs || 6356946 markings, 15323064 edges,
lola: 11 tries, 10159372 fired transitions, 260 secs || 6472293 markings, 15632880 edges,
lola: 11 tries, 10353707 fired transitions, 265 secs || 6583645 markings, 15962172 edges,
lola: 11 tries, 10546508 fired transitions, 270 secs || 6698415 markings, 16272883 edges,
lola: 11 tries, 10739761 fired transitions, 275 secs || 6811143 markings, 16589856 edges,
lola: 11 tries, 10924265 fired transitions, 280 secs || 6927579 markings, 16895190 edges,
lola: 12 tries, 11116778 fired transitions, 285 secs || 7040680 markings, 17206737 edges,
lola: 12 tries, 11310613 fired transitions, 290 secs || 7151535 markings, 17532434 edges,
lola: 12 tries, 11502990 fired transitions, 295 secs || 7265930 markings, 17855021 edges,
lola: 12 tries, 11694893 fired transitions, 300 secs || 7381205 markings, 18166711 edges,
lola: 12 tries, 11885966 fired transitions, 305 secs || 7498275 markings, 18466755 edges,
lola: 13 tries, 12077030 fired transitions, 310 secs || 7614719 markings, 18766819 edges,
lola: 13 tries, 12268855 fired transitions, 315 secs || 7728082 markings, 19072319 edges,
lola: 13 tries, 12460794 fired transitions, 320 secs || 7842075 markings, 19380825 edges,
lola: 13 tries, 12652883 fired transitions, 325 secs || 7955151 markings, 19690981 edges,
lola: 13 tries, 12844877 fired transitions, 330 secs || 8067066 markings, 20007653 edges,
lola: 14 tries, 13037336 fired transitions, 335 secs || 8179523 markings, 20317070 edges,
lola: 14 tries, 13228649 fired transitions, 340 secs || 8294427 markings, 20617493 edges,
lola: 14 tries, 13420356 fired transitions, 345 secs || 8409310 markings, 20922402 edges,
lola: 14 tries, 13612733 fired transitions, 350 secs || 8523809 markings, 21230336 edges,
lola: 14 tries, 13803919 fired transitions, 355 secs || 8641060 markings, 21528294 edges,
lola: 14 tries, 13992873 fired transitions, 360 secs || 8759983 markings, 21830206 edges,
lola: 15 tries, 14182440 fired transitions, 365 secs || 8879249 markings, 22133878 edges,
lola: 15 tries, 14373757 fired transitions, 370 secs || 8991672 markings, 22456158 edges,
lola: 15 tries, 14563912 fired transitions, 375 secs || 9108167 markings, 22765977 edges,
lola: 15 tries, 14753537 fired transitions, 380 secs || 9224659 markings, 23072130 edges,
lola: 15 tries, 14942907 fired transitions, 385 secs || 9344518 markings, 23374408 edges,
lola: 16 tries, 15132139 fired transitions, 390 secs || 9464088 markings, 23676431 edges,
lola: 16 tries, 15321811 fired transitions, 395 secs || 9582238 markings, 23980780 edges,
lola: 16 tries, 15511149 fired transitions, 400 secs || 9702485 markings, 24285022 edges,
lola: 16 tries, 15700978 fired transitions, 405 secs || 9819402 markings, 24593299 edges,
lola: 16 tries, 15891755 fired transitions, 410 secs || 9934283 markings, 24908761 edges,
lola: 17 tries, 16081331 fired transitions, 415 secs || 10052632 markings, 25207097 edges,
lola: 17 tries, 16271959 fired transitions, 420 secs || 10167781 markings, 25519086 edges,
lola: 17 tries, 16461693 fired transitions, 425 secs || 10285650 markings, 25825719 edges,
lola: 17 tries, 16653971 fired transitions, 430 secs || 10397278 markings, 26158730 edges,
lola: 17 tries, 16844113 fired transitions, 435 secs || 10514923 markings, 26463849 edges,
lola: 18 tries, 17033992 fired transitions, 440 secs || 10633184 markings, 26767277 edges,
lola: 18 tries, 17225657 fired transitions, 445 secs || 10749707 markings, 27062928 edges,
lola: 18 tries, 17418867 fired transitions, 450 secs || 10863404 markings, 27373284 edges,
lola: 18 tries, 17610619 fired transitions, 455 secs || 10980745 markings, 27676899 edges,
lola: 18 tries, 17803972 fired transitions, 460 secs || 11092639 markings, 27989883 edges,
lola: 18 tries, 17996173 fired transitions, 465 secs || 11206729 markings, 28299201 edges,
lola: 19 tries, 18188959 fired transitions, 470 secs || 11319870 markings, 28608833 edges,
lola: 19 tries, 18382661 fired transitions, 475 secs || 11431162 markings, 28927747 edges,
lola: 19 tries, 18575624 fired transitions, 480 secs || 11547731 markings, 29229021 edges,
lola: 19 tries, 18803902 fired transitions, 485 secs || 11684545 markings, 29575481 edges,
lola: 19 tries, 18997374 fired transitions, 490 secs || 11798806 markings, 29885480 edges,
lola: 20 tries, 19229619 fired transitions, 495 secs || 11937180 markings, 30239528 edges,
lola: 20 tries, 19461576 fired transitions, 500 secs || 12075991 markings, 30598187 edges,
lola: 20 tries, 19662253 fired transitions, 505 secs || 12190305 markings, 30925876 edges,
lola: 20 tries, 19854630 fired transitions, 510 secs || 12306876 markings, 31227683 edges,
lola: 21 tries, 20045951 fired transitions, 515 secs || 12423976 markings, 31519656 edges,
lola: 21 tries, 20237977 fired transitions, 520 secs || 12538727 markings, 31825351 edges,
lola: 21 tries, 20429775 fired transitions, 525 secs || 12653529 markings, 32120797 edges,
lola: 21 tries, 20621283 fired transitions, 530 secs || 12770507 markings, 32416861 edges,
lola: 21 tries, 20815011 fired transitions, 535 secs || 12882019 markings, 32737450 edges,
lola: 22 tries, 21006648 fired transitions, 540 secs || 12998096 markings, 33027517 edges,
lola: 22 tries, 21198129 fired transitions, 545 secs || 13115234 markings, 33319024 edges,
lola: 22 tries, 21389915 fired transitions, 550 secs || 13231163 markings, 33616901 edges,
lola: 22 tries, 21581831 fired transitions, 555 secs || 13347468 markings, 33912459 edges,
lola: 22 tries, 21773986 fired transitions, 560 secs || 13460527 markings, 34220691 edges,
lola: 22 tries, 21966315 fired transitions, 565 secs || 13575828 markings, 34523349 edges,
lola: 23 tries, 22158715 fired transitions, 570 secs || 13691140 markings, 34822584 edges,
lola: 23 tries, 22350446 fired transitions, 575 secs || 13807071 markings, 35117980 edges,
lola: 23 tries, 22542250 fired transitions, 580 secs || 13923807 markings, 35410225 edges,
lola: 23 tries, 22735859 fired transitions, 585 secs || 14035712 markings, 35727993 edges,
lola: 23 tries, 22928624 fired transitions, 590 secs || 14148349 markings, 36038220 edges,
lola: 24 tries, 23120641 fired transitions, 595 secs || 14263908 markings, 36335449 edges,
lola: 24 tries, 23313327 fired transitions, 600 secs || 14378217 markings, 36634945 edges,
lola: 24 tries, 23506201 fired transitions, 605 secs || 14493399 markings, 36939274 edges,
lola: 24 tries, 23698634 fired transitions, 610 secs || 14607478 markings, 37239649 edges,
lola: 24 tries, 23890773 fired transitions, 615 secs || 14721753 markings, 37541450 edges,
lola: 25 tries, 24082922 fired transitions, 620 secs || 14838058 markings, 37838908 edges,
lola: 25 tries, 24275962 fired transitions, 625 secs || 14949271 markings, 38152665 edges,
lola: 25 tries, 24468128 fired transitions, 630 secs || 15064287 markings, 38449272 edges,
lola: 25 tries, 24662005 fired transitions, 635 secs || 15173963 markings, 38762802 edges,
lola: 25 tries, 24855338 fired transitions, 640 secs || 15285076 markings, 39076123 edges,
lola: 26 tries, 25047438 fired transitions, 645 secs || 15400163 markings, 39373493 edges,
lola: 26 tries, 25239217 fired transitions, 650 secs || 15517201 markings, 39664030 edges,
lola: 26 tries, 25432777 fired transitions, 655 secs || 15628257 markings, 39979365 edges,
lola: 26 tries, 25634157 fired transitions, 660 secs || 15749714 markings, 40287180 edges,
lola: 26 tries, 25868083 fired transitions, 665 secs || 15883434 markings, 40656184 edges,
lola: 27 tries, 26102638 fired transitions, 670 secs || 16015644 markings, 41037833 edges,
lola: 27 tries, 26308169 fired transitions, 675 secs || 16136974 markings, 41365673 edges,
lola: 27 tries, 26499784 fired transitions, 680 secs || 16250657 markings, 41670265 edges,
lola: 27 tries, 26692243 fired transitions, 685 secs || 16362481 markings, 41981092 edges,
lola: 27 tries, 26884449 fired transitions, 690 secs || 16476291 markings, 42291134 edges,
lola: 28 tries, 27075928 fired transitions, 695 secs || 16593909 markings, 42589806 edges,
lola: 28 tries, 27267824 fired transitions, 700 secs || 16706975 markings, 42902825 edges,
lola: 28 tries, 27459504 fired transitions, 705 secs || 16820776 markings, 43208966 edges,
lola: 28 tries, 27650253 fired transitions, 710 secs || 16939413 markings, 43500809 edges,
lola: 28 tries, 27841513 fired transitions, 715 secs || 17055247 markings, 43798880 edges,
lola: 29 tries, 28033524 fired transitions, 720 secs || 17171040 markings, 44108468 edges,
lola: 29 tries, 28225896 fired transitions, 725 secs || 17282916 markings, 44419192 edges,
lola: 29 tries, 28417035 fired transitions, 730 secs || 17401010 markings, 44712252 edges,
lola: 29 tries, 28608570 fired transitions, 735 secs || 17516323 markings, 45011767 edges,
lola: 29 tries, 28800300 fired transitions, 740 secs || 17632913 markings, 45314222 edges,
lola: 29 tries, 28993187 fired transitions, 745 secs || 17743929 markings, 45637790 edges,
lola: 30 tries, 29185239 fired transitions, 750 secs || 17857828 markings, 45949559 edges,
lola: 30 tries, 29376926 fired transitions, 755 secs || 17970836 markings, 46256348 edges,
lola: 30 tries, 29598306 fired transitions, 760 secs || 18105215 markings, 46616354 edges,
lola: 30 tries, 29826095 fired transitions, 765 secs || 18236077 markings, 47003949 edges,
lola: 31 tries, 30044420 fired transitions, 770 secs || 18366508 markings, 47356369 edges,
lola: 31 tries, 30237580 fired transitions, 775 secs || 18479004 markings, 47660541 edges,
lola: 31 tries, 30429940 fired transitions, 780 secs || 18592741 markings, 47963818 edges,
lola: 31 tries, 30622668 fired transitions, 785 secs || 18706337 markings, 48268443 edges,
lola: 31 tries, 30815544 fired transitions, 790 secs || 18820089 markings, 48575849 edges,
lola: 32 tries, 31008309 fired transitions, 795 secs || 18935296 markings, 48875911 edges,
lola: 32 tries, 31201310 fired transitions, 800 secs || 19049376 markings, 49180089 edges,
lola: 32 tries, 31394837 fired transitions, 805 secs || 19161556 markings, 49490508 edges,
lola: 32 tries, 31587309 fired transitions, 810 secs || 19275675 markings, 49792653 edges,
lola: 32 tries, 31779586 fired transitions, 815 secs || 19391066 markings, 50086482 edges,
lola: 32 tries, 31971903 fired transitions, 820 secs || 19505426 markings, 50383460 edges,
lola: 33 tries, 32164488 fired transitions, 825 secs || 19618025 markings, 50682093 edges,
lola: 33 tries, 32356407 fired transitions, 830 secs || 19733858 markings, 50978211 edges,
lola: 33 tries, 32548869 fired transitions, 835 secs || 19846918 markings, 51279680 edges,
lola: 33 tries, 32741704 fired transitions, 840 secs || 19959518 markings, 51586215 edges,
lola: 33 tries, 32935223 fired transitions, 845 secs || 20071802 markings, 51896368 edges,
lola: 34 tries, 33136016 fired transitions, 850 secs || 20186500 markings, 52217291 edges,
lola: 34 tries, 33370222 fired transitions, 855 secs || 20321573 markings, 52582332 edges,
lola: 34 tries, 33598212 fired transitions, 860 secs || 20452540 markings, 52940791 edges,
lola: 34 tries, 33791614 fired transitions, 865 secs || 20569293 markings, 53237810 edges,
lola: 34 tries, 33984938 fired transitions, 870 secs || 20685548 markings, 53534093 edges,
lola: 35 tries, 34178347 fired transitions, 875 secs || 20800166 markings, 53826277 edges,
lola: 35 tries, 34372295 fired transitions, 880 secs || 20915695 markings, 54126374 edges,
lola: 35 tries, 34566411 fired transitions, 885 secs || 21029800 markings, 54429266 edges,
lola: 35 tries, 34759965 fired transitions, 890 secs || 21143632 markings, 54728490 edges,
lola: 35 tries, 34955351 fired transitions, 895 secs || 21258810 markings, 55025237 edges,
lola: 36 tries, 35188443 fired transitions, 900 secs || 21398169 markings, 55384954 edges,
lola: 36 tries, 35421529 fired transitions, 905 secs || 21535831 markings, 55742037 edges,
lola: 36 tries, 35621607 fired transitions, 910 secs || 21653897 markings, 56047685 edges,
lola: 36 tries, 35815237 fired transitions, 915 secs || 21768550 markings, 56347054 edges,
lola: 37 tries, 36008811 fired transitions, 920 secs || 21880575 markings, 56648683 edges,
lola: 37 tries, 36193699 fired transitions, 925 secs || 21993877 markings, 56949279 edges,
lola: 37 tries, 36386567 fired transitions, 930 secs || 22107221 markings, 57255756 edges,
lola: 37 tries, 36579572 fired transitions, 935 secs || 22218981 markings, 57554415 edges,
lola: 37 tries, 36771987 fired transitions, 940 secs || 22333617 markings, 57849654 edges,
lola: 37 tries, 36964553 fired transitions, 945 secs || 22446922 markings, 58146453 edges,
lola: 38 tries, 37157594 fired transitions, 950 secs || 22558266 markings, 58452468 edges,
lola: 38 tries, 37356574 fired transitions, 955 secs || 22669102 markings, 58775955 edges,
lola: 38 tries, 37556581 fired transitions, 960 secs || 22789232 markings, 59074997 edges,
lola: 38 tries, 37749367 fired transitions, 965 secs || 22904086 markings, 59374601 edges,
lola: 38 tries, 37942797 fired transitions, 970 secs || 23015291 markings, 59681806 edges,
lola: 39 tries, 38136468 fired transitions, 975 secs || 23125586 markings, 59993471 edges,
lola: 39 tries, 38330750 fired transitions, 980 secs || 23236121 markings, 60318394 edges,
lola: 39 tries, 38523353 fired transitions, 985 secs || 23349401 markings, 60615367 edges,
lola: 39 tries, 38716711 fired transitions, 990 secs || 23459965 markings, 60919118 edges,
lola: 39 tries, 38909317 fired transitions, 995 secs || 23573109 markings, 61214638 edges,
lola: 40 tries, 39101798 fired transitions, 1000 secs || 23689396 markings, 61508003 edges,
lola: 40 tries, 39296093 fired transitions, 1005 secs || 23797531 markings, 61833525 edges,
lola: 40 tries, 39490296 fired transitions, 1010 secs || 23906376 markings, 62144105 edges,
lola: 40 tries, 39682989 fired transitions, 1015 secs || 24020182 markings, 62443572 edges,
lola: 40 tries, 39875927 fired transitions, 1020 secs || 24131912 markings, 62749494 edges,
lola: 41 tries, 40068369 fired transitions, 1025 secs || 24245979 markings, 63044845 edges,
lola: 41 tries, 40261676 fired transitions, 1030 secs || 24355722 markings, 63352957 edges,
lola: 41 tries, 40454417 fired transitions, 1035 secs || 24468698 markings, 63653513 edges,
lola: 41 tries, 40646929 fired transitions, 1040 secs || 24582723 markings, 63947455 edges,
lola: 41 tries, 40840431 fired transitions, 1045 secs || 24693053 markings, 64255774 edges,
lola: 42 tries, 41032712 fired transitions, 1050 secs || 24809273 markings, 64546869 edges,
lola: 42 tries, 41225863 fired transitions, 1055 secs || 24922032 markings, 64841064 edges,
lola: 42 tries, 41420882 fired transitions, 1060 secs || 25028928 markings, 65164124 edges,
lola: 42 tries, 41614072 fired transitions, 1065 secs || 25142207 markings, 65463934 edges,
lola: 42 tries, 41807401 fired transitions, 1070 secs || 25253692 markings, 65766543 edges,
lola: 43 tries, 42001453 fired transitions, 1075 secs || 25365205 markings, 66075194 edges,
lola: 43 tries, 42194519 fired transitions, 1080 secs || 25476586 markings, 66374941 edges,
lola: 43 tries, 42387914 fired transitions, 1085 secs || 25586324 markings, 66679770 edges,
lola: 43 tries, 42594893 fired transitions, 1090 secs || 25704348 markings, 67015581 edges,
lola: 43 tries, 42816895 fired transitions, 1095 secs || 25837399 markings, 67364723 edges,
lola: 44 tries, 43038664 fired transitions, 1100 secs || 25971304 markings, 67709141 edges,
lola: 44 tries, 43261317 fired transitions, 1105 secs || 26096361 markings, 68077079 edges,
lola: 44 tries, 43462824 fired transitions, 1110 secs || 26224910 markings, 68399462 edges,
lola: 44 tries, 43656052 fired transitions, 1115 secs || 26336521 markings, 68711379 edges,
lola: 44 tries, 43848852 fired transitions, 1120 secs || 26448677 markings, 69020985 edges,
lola: 45 tries, 44041830 fired transitions, 1125 secs || 26560190 markings, 69331971 edges,
lola: 45 tries, 44234632 fired transitions, 1130 secs || 26673473 markings, 69638518 edges,
lola: 45 tries, 44426992 fired transitions, 1135 secs || 26787676 markings, 69936729 edges,
lola: 45 tries, 44627556 fired transitions, 1140 secs || 26908645 markings, 70261488 edges,
lola: 45 tries, 44860263 fired transitions, 1145 secs || 27046587 markings, 70639834 edges,
lola: 46 tries, 45093340 fired transitions, 1150 secs || 27179803 markings, 71028154 edges,
lola: 46 tries, 45326268 fired transitions, 1155 secs || 27314301 markings, 71406673 edges,
lola: 46 tries, 45557998 fired transitions, 1160 secs || 27455746 markings, 71762738 edges,
lola: 46 tries, 45791453 fired transitions, 1165 secs || 27588167 markings, 72153430 edges,
lola: 47 tries, 46023996 fired transitions, 1170 secs || 27725713 markings, 72527415 edges,
lola: 47 tries, 46256445 fired transitions, 1175 secs || 27863206 markings, 72900101 edges,
lola: 47 tries, 46489626 fired transitions, 1180 secs || 27995948 markings, 73283647 edges,
lola: 47 tries, 46708063 fired transitions, 1185 secs || 28125480 markings, 73636931 edges,
lola: 47 tries, 46899163 fired transitions, 1190 secs || 28240902 markings, 73938148 edges,
lola: 48 tries, 47093389 fired transitions, 1195 secs || 28352867 markings, 74241970 edges,
lola: 48 tries, 47276897 fired transitions, 1200 secs || 28464100 markings, 74558945 edges,
lola: 48 tries, 47470675 fired transitions, 1205 secs || 28575175 markings, 74857714 edges,
lola: 48 tries, 47663752 fired transitions, 1210 secs || 28688096 markings, 75154697 edges,
lola: 48 tries, 47855230 fired transitions, 1215 secs || 28800531 markings, 75452950 edges,
lola: 49 tries, 48046270 fired transitions, 1220 secs || 28909217 markings, 75762354 edges,
lola: 49 tries, 48236586 fired transitions, 1225 secs || 29017816 markings, 76070366 edges,
lola: 49 tries, 48436645 fired transitions, 1230 secs || 29133837 markings, 76393115 edges,
lola: 49 tries, 48670419 fired transitions, 1235 secs || 29268479 markings, 76768958 edges,
lola: 49 tries, 48903846 fired transitions, 1240 secs || 29405129 markings, 77134271 edges,
lola: 50 tries, 49137613 fired transitions, 1245 secs || 29539901 markings, 77509298 edges,
lola: 50 tries, 49371166 fired transitions, 1250 secs || 29673762 markings, 77881140 edges,
lola: 50 tries, 49598871 fired transitions, 1255 secs || 29796331 markings, 78231423 edges,
lola: 50 tries, 49795291 fired transitions, 1260 secs || 29898892 markings, 78539314 edges,
lola: 50 tries, 49989378 fired transitions, 1265 secs || 30005501 markings, 78847335 edges,
lola: 51 tries, 50180472 fired transitions, 1270 secs || 30118027 markings, 79151503 edges,
lola: 51 tries, 50376324 fired transitions, 1275 secs || 30228171 markings, 79462514 edges,
lola: 51 tries, 50573416 fired transitions, 1280 secs || 30333142 markings, 79796686 edges,
lola: 51 tries, 50768333 fired transitions, 1285 secs || 30446374 markings, 80096205 edges,
lola: 51 tries, 50964161 fired transitions, 1290 secs || 30554551 markings, 80415145 edges,
lola: 52 tries, 51160778 fired transitions, 1295 secs || 30661506 markings, 80739653 edges,
lola: 52 tries, 51355905 fired transitions, 1300 secs || 30771848 markings, 81051885 edges,
lola: 52 tries, 51550887 fired transitions, 1305 secs || 30884731 markings, 81357530 edges,
lola: 52 tries, 51746685 fired transitions, 1310 secs || 30995808 markings, 81667854 edges,
lola: 52 tries, 51943807 fired transitions, 1315 secs || 31101191 markings, 81996505 edges,
lola: 53 tries, 52139335 fired transitions, 1320 secs || 31213557 markings, 82306637 edges,
lola: 53 tries, 52334043 fired transitions, 1325 secs || 31328070 markings, 82603448 edges,
lola: 53 tries, 52528490 fired transitions, 1330 secs || 31440886 markings, 82906330 edges,
lola: 53 tries, 52724360 fired transitions, 1335 secs || 31550893 markings, 83219549 edges,
lola: 53 tries, 52918848 fired transitions, 1340 secs || 31664121 markings, 83519190 edges,
lola: 54 tries, 53115201 fired transitions, 1345 secs || 31773648 markings, 83834770 edges,
lola: 54 tries, 53310721 fired transitions, 1350 secs || 31885043 markings, 84143048 edges,
lola: 54 tries, 53505769 fired transitions, 1355 secs || 31997164 markings, 84445645 edges,
lola: 54 tries, 53702064 fired transitions, 1360 secs || 32105787 markings, 84763721 edges,
lola: 54 tries, 53896954 fired transitions, 1365 secs || 32219458 markings, 85065974 edges,
lola: 55 tries, 54091506 fired transitions, 1370 secs || 32332293 markings, 85365916 edges,
lola: 55 tries, 54286275 fired transitions, 1375 secs || 32444484 markings, 85672785 edges,
lola: 55 tries, 54482764 fired transitions, 1380 secs || 32552843 markings, 85994425 edges,
lola: 55 tries, 54679074 fired transitions, 1385 secs || 32659541 markings, 86312945 edges,
lola: 55 tries, 54874314 fired transitions, 1390 secs || 32772084 markings, 86614311 edges,
lola: 56 tries, 55068892 fired transitions, 1395 secs || 32886658 markings, 86909348 edges,
lola: 56 tries, 55265185 fired transitions, 1400 secs || 32994357 markings, 87226452 edges,
lola: 56 tries, 55460592 fired transitions, 1405 secs || 33104433 markings, 87538778 edges,
lola: 56 tries, 55656278 fired transitions, 1410 secs || 33214942 markings, 87849018 edges,
lola: 56 tries, 55852021 fired transitions, 1415 secs || 33324613 markings, 88158697 edges,
lola: 57 tries, 56046787 fired transitions, 1420 secs || 33436963 markings, 88458595 edges,
lola: 57 tries, 56241991 fired transitions, 1425 secs || 33549222 markings, 88764401 edges,
lola: 57 tries, 56437505 fired transitions, 1430 secs || 33658834 markings, 89076711 edges,
lola: 57 tries, 56632365 fired transitions, 1435 secs || 33770246 markings, 89379369 edges,
lola: 57 tries, 56827023 fired transitions, 1440 secs || 33884761 markings, 89678071 edges,
lola: 58 tries, 57022647 fired transitions, 1445 secs || 33996879 markings, 89982807 edges,
lola: 58 tries, 57218331 fired transitions, 1450 secs || 34106889 markings, 90292727 edges,
lola: 58 tries, 57414814 fired transitions, 1455 secs || 34215126 markings, 90612984 edges,
lola: 58 tries, 57611446 fired transitions, 1460 secs || 34322730 markings, 90930753 edges,
lola: 58 tries, 57806732 fired transitions, 1465 secs || 34434807 markings, 91236150 edges,
lola: 59 tries, 58002255 fired transitions, 1470 secs || 34546341 markings, 91544252 edges,
lola: 59 tries, 58197420 fired transitions, 1475 secs || 34656215 markings, 91852988 edges,
lola: 59 tries, 58392787 fired transitions, 1480 secs || 34766949 markings, 92156408 edges,
lola: 59 tries, 58588688 fired transitions, 1485 secs || 34877354 markings, 92467309 edges,
lola: 59 tries, 58786461 fired transitions, 1490 secs || 34983146 markings, 92810329 edges,
lola: 59 tries, 58981521 fired transitions, 1495 secs || 35096135 markings, 93106387 edges,
lola: 60 tries, 59176268 fired transitions, 1500 secs || 35209270 markings, 93402336 edges,
lola: 60 tries, 59371899 fired transitions, 1505 secs || 35319519 markings, 93710826 edges,
lola: 60 tries, 59565792 fired transitions, 1510 secs || 35435177 markings, 93999208 edges,
lola: 60 tries, 59760922 fired transitions, 1515 secs || 35547551 markings, 94299388 edges,
lola: 60 tries, 59955948 fired transitions, 1520 secs || 35659910 markings, 94598501 edges,
lola: 61 tries, 60153364 fired transitions, 1525 secs || 35764437 markings, 94925748 edges,
lola: 61 tries, 60349690 fired transitions, 1530 secs || 35872985 markings, 95240476 edges,
lola: 61 tries, 60545236 fired transitions, 1535 secs || 35982691 markings, 95546682 edges,
lola: 61 tries, 60741607 fired transitions, 1540 secs || 36091109 markings, 95849675 edges,
lola: 61 tries, 60936966 fired transitions, 1545 secs || 36203224 markings, 96148346 edges,
lola: 62 tries, 61131653 fired transitions, 1550 secs || 36316694 markings, 96444708 edges,
lola: 62 tries, 61327862 fired transitions, 1555 secs || 36425797 markings, 96764781 edges,
lola: 62 tries, 61522594 fired transitions, 1560 secs || 36538603 markings, 97066296 edges,
lola: 62 tries, 61717654 fired transitions, 1565 secs || 36649615 markings, 97371692 edges,
lola: 62 tries, 61912441 fired transitions, 1570 secs || 36763484 markings, 97672329 edges,
lola: 63 tries, 62106551 fired transitions, 1575 secs || 36880568 markings, 97963737 edges,
lola: 63 tries, 62302307 fired transitions, 1580 secs || 36990477 markings, 98273149 edges,
lola: 63 tries, 62497629 fired transitions, 1585 secs || 37100662 markings, 98582751 edges,
lola: 63 tries, 62692741 fired transitions, 1590 secs || 37213042 markings, 98881364 edges,
lola: 63 tries, 62887648 fired transitions, 1595 secs || 37325875 markings, 99178790 edges,
lola: 64 tries, 63082036 fired transitions, 1600 secs || 37440003 markings, 99467039 edges,
lola: 64 tries, 63277972 fired transitions, 1605 secs || 37551041 markings, 99772276 edges,
lola: 64 tries, 63472517 fired transitions, 1610 secs || 37663475 markings, 100068950 edges,
lola: 64 tries, 63667371 fired transitions, 1615 secs || 37775553 markings, 100365601 edges,
lola: 64 tries, 63862549 fired transitions, 1620 secs || 37888391 markings, 100671449 edges,
lola: 65 tries, 64056381 fired transitions, 1625 secs || 38002744 markings, 100959648 edges,
lola: 65 tries, 64251101 fired transitions, 1630 secs || 38116161 markings, 101257248 edges,
lola: 65 tries, 64445846 fired transitions, 1635 secs || 38228809 markings, 101550093 edges,
lola: 65 tries, 64640639 fired transitions, 1640 secs || 38344287 markings, 101849329 edges,
lola: 65 tries, 64834822 fired transitions, 1645 secs || 38458388 markings, 102139788 edges,
lola: 66 tries, 65030228 fired transitions, 1650 secs || 38568571 markings, 102444347 edges,
lola: 66 tries, 65224552 fired transitions, 1655 secs || 38682000 markings, 102738695 edges,
lola: 66 tries, 65419626 fired transitions, 1660 secs || 38793521 markings, 103043982 edges,
lola: 66 tries, 65614872 fired transitions, 1665 secs || 38904500 markings, 103347119 edges,
lola: 66 tries, 65810126 fired transitions, 1670 secs || 39015384 markings, 103646368 edges,
lola: 67 tries, 66005973 fired transitions, 1675 secs || 39124934 markings, 103954458 edges,
lola: 67 tries, 66201785 fired transitions, 1680 secs || 39234846 markings, 104261810 edges,
lola: 67 tries, 66396472 fired transitions, 1685 secs || 39348382 markings, 104556763 edges,
lola: 67 tries, 66591970 fired transitions, 1690 secs || 39459146 markings, 104861238 edges,
lola: 67 tries, 66787910 fired transitions, 1695 secs || 39570908 markings, 105160185 edges,
lola: 67 tries, 66984232 fired transitions, 1700 secs || 39681622 markings, 105475803 edges,
lola: 68 tries, 67179843 fired transitions, 1705 secs || 39791852 markings, 105780590 edges,
lola: 68 tries, 67375771 fired transitions, 1710 secs || 39901492 markings, 106090750 edges,
lola: 68 tries, 67571108 fired transitions, 1715 secs || 40013736 markings, 106384512 edges,
lola: 68 tries, 67767368 fired transitions, 1720 secs || 40124220 markings, 106689901 edges,
lola: 68 tries, 67962135 fired transitions, 1725 secs || 40238616 markings, 106981099 edges,
lola: 69 tries, 68157018 fired transitions, 1730 secs || 40351651 markings, 107273913 edges,
lola: 69 tries, 68352569 fired transitions, 1735 secs || 40462769 markings, 107570647 edges,
lola: 69 tries, 68547979 fired transitions, 1740 secs || 40575111 markings, 107869661 edges,
lola: 69 tries, 68742731 fired transitions, 1745 secs || 40687875 markings, 108157804 edges,
lola: 69 tries, 68937995 fired transitions, 1750 secs || 40800627 markings, 108453652 edges,
lola: 70 tries, 69134536 fired transitions, 1755 secs || 40908506 markings, 108770372 edges,
lola: 70 tries, 69330064 fired transitions, 1760 secs || 41019908 markings, 109070764 edges,
lola: 70 tries, 69524821 fired transitions, 1765 secs || 41133770 markings, 109364994 edges,
lola: 70 tries, 69721025 fired transitions, 1770 secs || 41242816 markings, 109678877 edges,
lola: 70 tries, 69915886 fired transitions, 1775 secs || 41356839 markings, 109971581 edges,
lola: 71 tries, 70112045 fired transitions, 1780 secs || 41465760 markings, 110284764 edges,
lola: 71 tries, 70307194 fired transitions, 1785 secs || 41577590 markings, 110583472 edges,
lola: 71 tries, 70502980 fired transitions, 1790 secs || 41687552 markings, 110888666 edges,
lola: 71 tries, 70698420 fired transitions, 1795 secs || 41799881 markings, 111185859 edges,
lola: 71 tries, 70893165 fired transitions, 1800 secs || 41912555 markings, 111478692 edges,
lola: 72 tries, 71088311 fired transitions, 1805 secs || 42025121 markings, 111777330 edges,
lola: 72 tries, 71284111 fired transitions, 1810 secs || 42135909 markings, 112081276 edges,
lola: 72 tries, 71480296 fired transitions, 1815 secs || 42245517 markings, 112396557 edges,
lola: 72 tries, 71675972 fired transitions, 1820 secs || 42357177 markings, 112698147 edges,
lola: 72 tries, 71871618 fired transitions, 1825 secs || 42467578 markings, 112998747 edges,
lola: 73 tries, 72066905 fired transitions, 1830 secs || 42578670 markings, 113298403 edges,
lola: 73 tries, 72264538 fired transitions, 1835 secs || 42683111 markings, 113616594 edges,
lola: 73 tries, 72460724 fired transitions, 1840 secs || 42792359 markings, 113925128 edges,
lola: 73 tries, 72655628 fired transitions, 1845 secs || 42903876 markings, 114221142 edges,
lola: 73 tries, 72851742 fired transitions, 1850 secs || 43012638 markings, 114534920 edges,
lola: 74 tries, 73047568 fired transitions, 1855 secs || 43124042 markings, 114839905 edges,
lola: 74 tries, 73244089 fired transitions, 1860 secs || 43232260 markings, 115157331 edges,
lola: 74 tries, 73440149 fired transitions, 1865 secs || 43343610 markings, 115465836 edges,
lola: 74 tries, 73634731 fired transitions, 1870 secs || 43458001 markings, 115763648 edges,
lola: 74 tries, 73830750 fired transitions, 1875 secs || 43572756 markings, 116081307 edges,
lola: 75 tries, 74027054 fired transitions, 1880 secs || 43682662 markings, 116392977 edges,
lola: 75 tries, 74223390 fired transitions, 1885 secs || 43791190 markings, 116704127 edges,
lola: 75 tries, 74419312 fired transitions, 1890 secs || 43900197 markings, 117011449 edges,
lola: 75 tries, 74616014 fired transitions, 1895 secs || 44007987 markings, 117326192 edges,
lola: 75 tries, 74811454 fired transitions, 1900 secs || 44119097 markings, 117624998 edges,
lola: 76 tries, 75007519 fired transitions, 1905 secs || 44228390 markings, 117933926 edges,
lola: 76 tries, 75202456 fired transitions, 1910 secs || 44340674 markings, 118224362 edges,
lola: 76 tries, 75397992 fired transitions, 1915 secs || 44450303 markings, 118530248 edges,
lola: 76 tries, 75593496 fired transitions, 1920 secs || 44559675 markings, 118838855 edges,
lola: 76 tries, 75788274 fired transitions, 1925 secs || 44671636 markings, 119134945 edges,
lola: 76 tries, 75984801 fired transitions, 1930 secs || 44779098 markings, 119447413 edges,
lola: 77 tries, 76180036 fired transitions, 1935 secs || 44891059 markings, 119747175 edges,
lola: 77 tries, 76375300 fired transitions, 1940 secs || 45002562 markings, 120044489 edges,
lola: 77 tries, 76570906 fired transitions, 1945 secs || 45113052 markings, 120345290 edges,
lola: 77 tries, 76766200 fired transitions, 1950 secs || 45224105 markings, 120644102 edges,
lola: 77 tries, 76961315 fired transitions, 1955 secs || 45335376 markings, 120938619 edges,
lola: 78 tries, 77155479 fired transitions, 1960 secs || 45449527 markings, 121227216 edges,
lola: 78 tries, 77387101 fired transitions, 1965 secs || 45584260 markings, 121580531 edges,
lola: 78 tries, 77619438 fired transitions, 1970 secs || 45720121 markings, 121935001 edges,
lola: 78 tries, 77852295 fired transitions, 1975 secs || 45852607 markings, 122296028 edges,
lola: 79 tries, 78084706 fired transitions, 1980 secs || 45988756 markings, 122650021 edges,
lola: 79 tries, 78318258 fired transitions, 1985 secs || 46117446 markings, 123029758 edges,
lola: 79 tries, 78551748 fired transitions, 1990 secs || 46247442 markings, 123400262 edges,
lola: 79 tries, 78746984 fired transitions, 1995 secs || 46360038 markings, 123710936 edges,
lola: 79 tries, 78967513 fired transitions, 2000 secs || 46489330 markings, 124049857 edges,
lola: 80 tries, 79189765 fired transitions, 2005 secs || 46618496 markings, 124398035 edges,
lola: 80 tries, 79412187 fired transitions, 2010 secs || 46749351 markings, 124742430 edges,
lola: 80 tries, 79634310 fired transitions, 2015 secs || 46878184 markings, 125094822 edges,
lola: 80 tries, 79850015 fired transitions, 2020 secs || 46991023 markings, 125413962 edges,
lola: 81 tries, 80043676 fired transitions, 2025 secs || 47105218 markings, 125720825 edges,
lola: 81 tries, 80237769 fired transitions, 2030 secs || 47215559 markings, 126028422 edges,
lola: 81 tries, 80435737 fired transitions, 2035 secs || 47317685 markings, 126335481 edges,
lola: 81 tries, 80628629 fired transitions, 2040 secs || 47430701 markings, 126629141 edges,
lola: 81 tries, 80821446 fired transitions, 2045 secs || 47543473 markings, 126929560 edges,
lola: 82 tries, 81015894 fired transitions, 2050 secs || 47652443 markings, 127249446 edges,
lola: 82 tries, 81209251 fired transitions, 2055 secs || 47763859 markings, 127553678 edges,
lola: 82 tries, 81402871 fired transitions, 2060 secs || 47875803 markings, 127852557 edges,
lola: 82 tries, 81596028 fired transitions, 2065 secs || 47990969 markings, 128146944 edges,
lola: 82 tries, 81790234 fired transitions, 2070 secs || 48102606 markings, 128451434 edges,
lola: 82 tries, 81985139 fired transitions, 2075 secs || 48210557 markings, 128766383 edges,
lola: 83 tries, 82179590 fired transitions, 2080 secs || 48317699 markings, 129066028 edges,
lola: 83 tries, 82373746 fired transitions, 2085 secs || 48425359 markings, 129379382 edges,
lola: 83 tries, 82566509 fired transitions, 2090 secs || 48535850 markings, 129677327 edges,
lola: 83 tries, 82760855 fired transitions, 2095 secs || 48646122 markings, 129989610 edges,
lola: 83 tries, 82953727 fired transitions, 2100 secs || 48758484 markings, 130283457 edges,
lola: 84 tries, 83148154 fired transitions, 2105 secs || 48867975 markings, 130595547 edges,
lola: 84 tries, 83342971 fired transitions, 2110 secs || 48973657 markings, 130916091 edges,
lola: 84 tries, 83536661 fired transitions, 2115 secs || 49082807 markings, 131219335 edges,
lola: 84 tries, 83730358 fired transitions, 2120 secs || 49191569 markings, 131523395 edges,
lola: 84 tries, 83925853 fired transitions, 2125 secs || 49295393 markings, 131856752 edges,
lola: 85 tries, 84119323 fired transitions, 2130 secs || 49407199 markings, 132156799 edges,
lola: 85 tries, 84312040 fired transitions, 2135 secs || 49519076 markings, 132453230 edges,
lola: 85 tries, 84505768 fired transitions, 2140 secs || 49628317 markings, 132757094 edges,
lola: 85 tries, 84700055 fired transitions, 2145 secs || 49736095 markings, 133065381 edges,
lola: 85 tries, 84893080 fired transitions, 2150 secs || 49848252 markings, 133357219 edges,
lola: 86 tries, 85086522 fired transitions, 2155 secs || 49959529 markings, 133663290 edges,
lola: 86 tries, 85280602 fired transitions, 2160 secs || 50069393 markings, 133970197 edges,
lola: 86 tries, 85474107 fired transitions, 2165 secs || 50178998 markings, 134272368 edges,
lola: 86 tries, 85668228 fired transitions, 2170 secs || 50287364 markings, 134577556 edges,
lola: 86 tries, 85861001 fired transitions, 2175 secs || 50398394 markings, 134872053 edges,
lola: 87 tries, 86055039 fired transitions, 2180 secs || 50505829 markings, 135184222 edges,
lola: 87 tries, 86248174 fired transitions, 2185 secs || 50617482 markings, 135482352 edges,
lola: 87 tries, 86441568 fired transitions, 2190 secs || 50728691 markings, 135780194 edges,
lola: 87 tries, 86634614 fired transitions, 2195 secs || 50839608 markings, 136077013 edges,
lola: 87 tries, 86828478 fired transitions, 2200 secs || 50948143 markings, 136387470 edges,
lola: 88 tries, 87021454 fired transitions, 2205 secs || 51059401 markings, 136681093 edges,
lola: 88 tries, 87214638 fired transitions, 2210 secs || 51171482 markings, 136976821 edges,
lola: 88 tries, 87410173 fired transitions, 2215 secs || 51279868 markings, 137283884 edges,
lola: 88 tries, 87607023 fired transitions, 2220 secs || 51386435 markings, 137595868 edges,
lola: 88 tries, 87803847 fired transitions, 2225 secs || 51493503 markings, 137902726 edges,
lola: 89 tries, 88000128 fired transitions, 2230 secs || 51602037 markings, 138202945 edges,
lola: 89 tries, 88197609 fired transitions, 2235 secs || 51707146 markings, 138516680 edges,
lola: 89 tries, 88411793 fired transitions, 2240 secs || 51822950 markings, 138864123 edges,
lola: 89 tries, 88645954 fired transitions, 2245 secs || 51958212 markings, 139224431 edges,
lola: 89 tries, 88881078 fired transitions, 2250 secs || 52088875 markings, 139596121 edges,
lola: 90 tries, 89116155 fired transitions, 2255 secs || 52219897 markings, 139973997 edges,
lola: 90 tries, 89350616 fired transitions, 2260 secs || 52353604 markings, 140338886 edges,
lola: 90 tries, 89584853 fired transitions, 2265 secs || 52487739 markings, 140706351 edges,
lola: 90 tries, 89819121 fired transitions, 2270 secs || 52624411 markings, 141063565 edges,
lola: 91 tries, 90053560 fired transitions, 2275 secs || 52757527 markings, 141427364 edges,
lola: 91 tries, 90288181 fired transitions, 2280 secs || 52887527 markings, 141799845 edges,
lola: 91 tries, 90523298 fired transitions, 2285 secs || 53017616 markings, 142180633 edges,
lola: 91 tries, 90757553 fired transitions, 2290 secs || 53152135 markings, 142543015 edges,
lola: 91 tries, 90992545 fired transitions, 2295 secs || 53281954 markings, 142921714 edges,
lola: 92 tries, 91226921 fired transitions, 2300 secs || 53415201 markings, 143291769 edges,
lola: 92 tries, 91450712 fired transitions, 2305 secs || 53539000 markings, 143659032 edges,
lola: 92 tries, 91653669 fired transitions, 2310 secs || 53656024 markings, 143979911 edges,
lola: 92 tries, 91877754 fired transitions, 2315 secs || 53777208 markings, 144341188 edges,
lola: 93 tries, 92071235 fired transitions, 2320 secs || 53885689 markings, 144642355 edges,
lola: 93 tries, 92264644 fired transitions, 2325 secs || 53995748 markings, 144950844 edges,
lola: 93 tries, 92464118 fired transitions, 2330 secs || 54109510 markings, 145259556 edges,
lola: 93 tries, 92686975 fired transitions, 2335 secs || 54237505 markings, 145606007 edges,
lola: 93 tries, 92909772 fired transitions, 2340 secs || 54361531 markings, 145966516 edges,
lola: 94 tries, 93131459 fired transitions, 2345 secs || 54489787 markings, 146320916 edges,
lola: 94 tries, 93341265 fired transitions, 2350 secs || 54613009 markings, 146670372 edges,
lola: 94 tries, 93536337 fired transitions, 2355 secs || 54722321 markings, 146971203 edges,
lola: 94 tries, 93731789 fired transitions, 2360 secs || 54834962 markings, 147274180 edges,
lola: 94 tries, 93928434 fired transitions, 2365 secs || 54940824 markings, 147591803 edges,
lola: 95 tries, 94122646 fired transitions, 2370 secs || 55053388 markings, 147879066 edges,
lola: 95 tries, 94318364 fired transitions, 2375 secs || 55161774 markings, 148186413 edges,
lola: 95 tries, 94513062 fired transitions, 2380 secs || 55272840 markings, 148476043 edges,
lola: 95 tries, 94708495 fired transitions, 2385 secs || 55384237 markings, 148779191 edges,
lola: 95 tries, 94904430 fired transitions, 2390 secs || 55495005 markings, 149083154 edges,
lola: 96 tries, 95099927 fired transitions, 2395 secs || 55605294 markings, 149381162 edges,
lola: 96 tries, 95296021 fired transitions, 2400 secs || 55714353 markings, 149690014 edges,
lola: 96 tries, 95491620 fired transitions, 2405 secs || 55824817 markings, 149989231 edges,
lola: 96 tries, 95687805 fired transitions, 2410 secs || 55931224 markings, 150299209 edges,
lola: 96 tries, 95883462 fired transitions, 2415 secs || 56039158 markings, 150608379 edges,
lola: 97 tries, 96079298 fired transitions, 2420 secs || 56148594 markings, 150908044 edges,
lola: 97 tries, 96275448 fired transitions, 2425 secs || 56256227 markings, 151217899 edges,
lola: 97 tries, 96470375 fired transitions, 2430 secs || 56366652 markings, 151514069 edges,
lola: 97 tries, 96665620 fired transitions, 2435 secs || 56475296 markings, 151822893 edges,
lola: 97 tries, 96860524 fired transitions, 2440 secs || 56587021 markings, 152116585 edges,
lola: 98 tries, 97055770 fired transitions, 2445 secs || 56697720 markings, 152415006 edges,
lola: 98 tries, 97251876 fired transitions, 2450 secs || 56805402 markings, 152723085 edges,
lola: 98 tries, 97449430 fired transitions, 2455 secs || 56909301 markings, 153048692 edges,
lola: 98 tries, 97645101 fired transitions, 2460 secs || 57020576 markings, 153347930 edges,
lola: 98 tries, 97840639 fired transitions, 2465 secs || 57129358 markings, 153652659 edges,
lola: 99 tries, 98035801 fired transitions, 2470 secs || 57239010 markings, 153947952 edges,
lola: 99 tries, 98231696 fired transitions, 2475 secs || 57347433 markings, 154253027 edges,
lola: 99 tries, 98427865 fired transitions, 2480 secs || 57455842 markings, 154567563 edges,
lola: 99 tries, 98622225 fired transitions, 2485 secs || 57568349 markings, 154865674 edges,
lola: 99 tries, 98816831 fired transitions, 2490 secs || 57679204 markings, 155159628 edges,
lola: 100 tries, 99012469 fired transitions, 2495 secs || 57788801 markings, 155462354 edges,
lola: 100 tries, 99207707 fired transitions, 2500 secs || 57899329 markings, 155758132 edges,
lola: 100 tries, 99403332 fired transitions, 2505 secs || 58008551 markings, 156057323 edges,
lola: 100 tries, 99599637 fired transitions, 2510 secs || 58116691 markings, 156365655 edges,
lola: 100 tries, 99794476 fired transitions, 2515 secs || 58227900 markings, 156664030 edges,
lola: 100 tries, 99992037 fired transitions, 2520 secs || 58331751 markings, 156994240 edges,
lola: 101 tries, 100187749 fired transitions, 2525 secs || 58442064 markings, 157296125 edges,
lola: 101 tries, 100383838 fired transitions, 2530 secs || 58549624 markings, 157605989 edges,
lola: 101 tries, 100579232 fired transitions, 2535 secs || 58660769 markings, 157901026 edges,
lola: 101 tries, 100775049 fired transitions, 2540 secs || 58769431 markings, 158209775 edges,
lola: 101 tries, 100970258 fired transitions, 2545 secs || 58878365 markings, 158512856 edges,
lola: 102 tries, 101166140 fired transitions, 2550 secs || 58985753 markings, 158815507 edges,
lola: 102 tries, 101362046 fired transitions, 2555 secs || 59095059 markings, 159120256 edges,
lola: 102 tries, 101557169 fired transitions, 2560 secs || 59206228 markings, 159421670 edges,
lola: 102 tries, 101753215 fired transitions, 2565 secs || 59314443 markings, 159733859 edges,
lola: 102 tries, 101949789 fired transitions, 2570 secs || 59420157 markings, 160056548 edges,
lola: 103 tries, 102144728 fired transitions, 2575 secs || 59531857 markings, 160347364 edges,
lola: 103 tries, 102339874 fired transitions, 2580 secs || 59641479 markings, 160649773 edges,
lola: 103 tries, 102535643 fired transitions, 2585 secs || 59750566 markings, 160949241 edges,
lola: 103 tries, 102731329 fired transitions, 2590 secs || 59859062 markings, 161255741 edges,
lola: 103 tries, 102926800 fired transitions, 2595 secs || 59969349 markings, 161558919 edges,
lola: 104 tries, 103121989 fired transitions, 2600 secs || 60078842 markings, 161858320 edges,
lola: 104 tries, 103317056 fired transitions, 2605 secs || 60187729 markings, 162156862 edges,
lola: 104 tries, 103528613 fired transitions, 2610 secs || 60304569 markings, 162485555 edges,
lola: 104 tries, 103762650 fired transitions, 2615 secs || 60433669 markings, 162860305 edges,
lola: 104 tries, 103996486 fired transitions, 2620 secs || 60563254 markings, 163218897 edges,
lola: 105 tries, 104230816 fired transitions, 2625 secs || 60692046 markings, 163585937 edges,
lola: 105 tries, 104465532 fired transitions, 2630 secs || 60820167 markings, 163953318 edges,
lola: 105 tries, 104699689 fired transitions, 2635 secs || 60951154 markings, 164310522 edges,
lola: 105 tries, 104916822 fired transitions, 2640 secs || 61069826 markings, 164650232 edges,
lola: 106 tries, 105113058 fired transitions, 2645 secs || 61177257 markings, 164956654 edges,
lola: 106 tries, 105308210 fired transitions, 2650 secs || 61287446 markings, 165246886 edges,
lola: 106 tries, 105503881 fired transitions, 2655 secs || 61396936 markings, 165550452 edges,
lola: 106 tries, 105699184 fired transitions, 2660 secs || 61507696 markings, 165844191 edges,
lola: 106 tries, 105895115 fired transitions, 2665 secs || 61615658 markings, 166148414 edges,
lola: 107 tries, 106090293 fired transitions, 2670 secs || 61726528 markings, 166440016 edges,
lola: 107 tries, 106285431 fired transitions, 2675 secs || 61838664 markings, 166728367 edges,
lola: 107 tries, 106480405 fired transitions, 2680 secs || 61949011 markings, 167027199 edges,
lola: 107 tries, 106676693 fired transitions, 2685 secs || 62055731 markings, 167339395 edges,
lola: 107 tries, 106871503 fired transitions, 2690 secs || 62167560 markings, 167633498 edges,
lola: 108 tries, 107066567 fired transitions, 2695 secs || 62277357 markings, 167933124 edges,
lola: 108 tries, 107261829 fired transitions, 2700 secs || 62387287 markings, 168228354 edges,
lola: 108 tries, 107457567 fired transitions, 2705 secs || 62495989 markings, 168534461 edges,
lola: 108 tries, 107654005 fired transitions, 2710 secs || 62604646 markings, 168847169 edges,
lola: 108 tries, 107849413 fired transitions, 2715 secs || 62716165 markings, 169146512 edges,
lola: 109 tries, 108045487 fired transitions, 2720 secs || 62824506 markings, 169450893 edges,
lola: 109 tries, 108242576 fired transitions, 2725 secs || 62930125 markings, 169768331 edges,
lola: 109 tries, 108437192 fired transitions, 2730 secs || 63044084 markings, 170058789 edges,
lola: 109 tries, 108632697 fired transitions, 2735 secs || 63154309 markings, 170360594 edges,
lola: 109 tries, 108827714 fired transitions, 2740 secs || 63263378 markings, 170653591 edges,
lola: 110 tries, 109022235 fired transitions, 2745 secs || 63374288 markings, 170949504 edges,
lola: 110 tries, 109218180 fired transitions, 2750 secs || 63480888 markings, 171260059 edges,
lola: 110 tries, 109414222 fired transitions, 2755 secs || 63589326 markings, 171566916 edges,
lola: 110 tries, 109609518 fired transitions, 2760 secs || 63698725 markings, 171862240 edges,
lola: 110 tries, 109806379 fired transitions, 2765 secs || 63804894 markings, 172179609 edges,
lola: 111 tries, 110002934 fired transitions, 2770 secs || 63911348 markings, 172493797 edges,
lola: 111 tries, 110199996 fired transitions, 2775 secs || 64018313 markings, 172806712 edges,
lola: 111 tries, 110396708 fired transitions, 2780 secs || 64125031 markings, 173118242 edges,
lola: 111 tries, 110592375 fired transitions, 2785 secs || 64234572 markings, 173416035 edges,
lola: 111 tries, 110788291 fired transitions, 2790 secs || 64342986 markings, 173716025 edges,
lola: 111 tries, 110984632 fired transitions, 2795 secs || 64450436 markings, 174022850 edges,
lola: 112 tries, 111181013 fired transitions, 2800 secs || 64558547 markings, 174324937 edges,
lola: 112 tries, 111377723 fired transitions, 2805 secs || 64665298 markings, 174637649 edges,
lola: 112 tries, 111573233 fired transitions, 2810 secs || 64774388 markings, 174933999 edges,
lola: 112 tries, 111768481 fired transitions, 2815 secs || 64885558 markings, 175231811 edges,
lola: 112 tries, 111964569 fired transitions, 2820 secs || 64992748 markings, 175535296 edges,
lola: 113 tries, 112161837 fired transitions, 2825 secs || 65097963 markings, 175856093 edges,
lola: 113 tries, 112357600 fired transitions, 2830 secs || 65208342 markings, 176156726 edges,
lola: 113 tries, 112586533 fired transitions, 2835 secs || 65335948 markings, 176498049 edges,
lola: 113 tries, 112790993 fired transitions, 2840 secs || 65445705 markings, 176817754 edges,
lola: 113 tries, 112988515 fired transitions, 2845 secs || 65551449 markings, 177146061 edges,
lola: 114 tries, 113185625 fired transitions, 2850 secs || 65657598 markings, 177469907 edges,
lola: 114 tries, 113380500 fired transitions, 2855 secs || 65769133 markings, 177762514 edges,
lola: 114 tries, 113576922 fired transitions, 2860 secs || 65876589 markings, 178072964 edges,
lola: 114 tries, 113773202 fired transitions, 2865 secs || 65985664 markings, 178378077 edges,
lola: 114 tries, 113969200 fired transitions, 2870 secs || 66095248 markings, 178680199 edges,
lola: 115 tries, 114165328 fired transitions, 2875 secs || 66204844 markings, 178984600 edges,
lola: 115 tries, 114361689 fired transitions, 2880 secs || 66314146 markings, 179297598 edges,
lola: 115 tries, 114557069 fired transitions, 2885 secs || 66425815 markings, 179590519 edges,
lola: 115 tries, 114752377 fired transitions, 2890 secs || 66535187 markings, 179886444 edges,
lola: 115 tries, 114947835 fired transitions, 2895 secs || 66644931 markings, 180182130 edges,
lola: 116 tries, 115143144 fired transitions, 2900 secs || 66754728 markings, 180480460 edges,
lola: 116 tries, 115339000 fired transitions, 2905 secs || 66861674 markings, 180787031 edges,
lola: 116 tries, 115536850 fired transitions, 2910 secs || 66964467 markings, 181112011 edges,
lola: 116 tries, 115732881 fired transitions, 2915 secs || 67072511 markings, 181417543 edges,
lola: 116 tries, 115930088 fired transitions, 2920 secs || 67177442 markings, 181737419 edges,
lola: 117 tries, 116125392 fired transitions, 2925 secs || 67289409 markings, 182029100 edges,
lola: 117 tries, 116295236 fired transitions, 2930 secs || 67401921 markings, 182322491 edges,
lola: 117 tries, 116490673 fired transitions, 2935 secs || 67511498 markings, 182625643 edges,
lola: 117 tries, 116685620 fired transitions, 2940 secs || 67621674 markings, 182925874 edges,
lola: 117 tries, 116881053 fired transitions, 2945 secs || 67730601 markings, 183233468 edges,
lola: 118 tries, 117076212 fired transitions, 2950 secs || 67840682 markings, 183530846 edges,
lola: 118 tries, 117271884 fired transitions, 2955 secs || 67948569 markings, 183840759 edges,
lola: 118 tries, 117467441 fired transitions, 2960 secs || 68058859 markings, 184137692 edges,
lola: 118 tries, 117663104 fired transitions, 2965 secs || 68167108 markings, 184438489 edges,
lola: 118 tries, 117858718 fired transitions, 2970 secs || 68276317 markings, 184740849 edges,
lola: 119 tries, 118054311 fired transitions, 2975 secs || 68385673 markings, 185038414 edges,
lola: 119 tries, 118249712 fired transitions, 2980 secs || 68495692 markings, 185331053 edges,
lola: 119 tries, 118445230 fired transitions, 2985 secs || 68605710 markings, 185633134 edges,
lola: 119 tries, 118640900 fired transitions, 2990 secs || 68714271 markings, 185944284 edges,
lola: 119 tries, 118836304 fired transitions, 2995 secs || 68824618 markings, 186237761 edges,
lola: 120 tries, 119031854 fired transitions, 3000 secs || 68934195 markings, 186541509 edges,
lola: 120 tries, 119227108 fired transitions, 3005 secs || 69044195 markings, 186834743 edges,
lola: 120 tries, 119422666 fired transitions, 3010 secs || 69155797 markings, 187133528 edges,
lola: 120 tries, 119618413 fired transitions, 3015 secs || 69263949 markings, 187434505 edges,
lola: 120 tries, 119813797 fired transitions, 3020 secs || 69374629 markings, 187733881 edges,
lola: 121 tries, 120009042 fired transitions, 3025 secs || 69483751 markings, 188029350 edges,
lola: 121 tries, 120203682 fired transitions, 3030 secs || 69594140 markings, 188323325 edges,
lola: 121 tries, 120398866 fired transitions, 3035 secs || 69704109 markings, 188628195 edges,
lola: 121 tries, 120594810 fired transitions, 3040 secs || 69812578 markings, 188927994 edges,
lola: 121 tries, 120790479 fired transitions, 3045 secs || 69921565 markings, 189226718 edges,
lola: 121 tries, 120986731 fired transitions, 3050 secs || 70030414 markings, 189533103 edges,
lola: 122 tries, 121183688 fired transitions, 3055 secs || 70140670 markings, 189839804 edges,
lola: 122 tries, 121378211 fired transitions, 3060 secs || 70252863 markings, 190131283 edges,
lola: 122 tries, 121574105 fired transitions, 3065 secs || 70359860 markings, 190444971 edges,
lola: 122 tries, 121768589 fired transitions, 3070 secs || 70471275 markings, 190733289 edges,
lola: 122 tries, 121965765 fired transitions, 3075 secs || 70576069 markings, 191056234 edges,
lola: 123 tries, 122161595 fired transitions, 3080 secs || 70683795 markings, 191357979 edges,
lola: 123 tries, 122356851 fired transitions, 3085 secs || 70794995 markings, 191653509 edges,
lola: 123 tries, 122551724 fired transitions, 3090 secs || 70905260 markings, 191955113 edges,
lola: 123 tries, 122745737 fired transitions, 3095 secs || 71019019 markings, 192253867 edges,
lola: 123 tries, 122941192 fired transitions, 3100 secs || 71129076 markings, 192558407 edges,
lola: 124 tries, 123134522 fired transitions, 3105 secs || 71244355 markings, 192845268 edges,
lola: 124 tries, 123330148 fired transitions, 3110 secs || 71350664 markings, 193163918 edges,
lola: 124 tries, 123524618 fired transitions, 3115 secs || 71463461 markings, 193467066 edges,
lola: 124 tries, 123718948 fired transitions, 3120 secs || 71576321 markings, 193768927 edges,
lola: 124 tries, 123913507 fired transitions, 3125 secs || 71688397 markings, 194073199 edges,
lola: 125 tries, 124108055 fired transitions, 3130 secs || 71800160 markings, 194378268 edges,
lola: 125 tries, 124302245 fired transitions, 3135 secs || 71912122 markings, 194678806 edges,
lola: 125 tries, 124497620 fired transitions, 3140 secs || 72023413 markings, 194984054 edges,
lola: 125 tries, 124693011 fired transitions, 3145 secs || 72131597 markings, 195302229 edges,
lola: 125 tries, 124887024 fired transitions, 3150 secs || 72243423 markings, 195598262 edges,
lola: 126 tries, 125081297 fired transitions, 3155 secs || 72354483 markings, 195899411 edges,
lola: 126 tries, 125276663 fired transitions, 3160 secs || 72464931 markings, 196206480 edges,
lola: 126 tries, 125472059 fired transitions, 3165 secs || 72573626 markings, 196511365 edges,
lola: 126 tries, 125667205 fired transitions, 3170 secs || 72683388 markings, 196819811 edges,
lola: 126 tries, 125861449 fired transitions, 3175 secs || 72797062 markings, 197117735 edges,
lola: 127 tries, 126056721 fired transitions, 3180 secs || 72905297 markings, 197429300 edges,
lola: 127 tries, 126250567 fired transitions, 3185 secs || 73019683 markings, 197721586 edges,
lola: 127 tries, 126444907 fired transitions, 3190 secs || 73131316 markings, 198019856 edges,
lola: 127 tries, 126639170 fired transitions, 3195 secs || 73242126 markings, 198321976 edges,
lola: 127 tries, 126833779 fired transitions, 3200 secs || 73353909 markings, 198622834 edges,
lola: 128 tries, 127028283 fired transitions, 3205 secs || 73464529 markings, 198924153 edges,
lola: 128 tries, 127222997 fired transitions, 3210 secs || 73577552 markings, 199227656 edges,
lola: 128 tries, 127418383 fired transitions, 3215 secs || 73685578 markings, 199541029 edges,
lola: 128 tries, 127612753 fired transitions, 3220 secs || 73796470 markings, 199844217 edges,
lola: 128 tries, 127807361 fired transitions, 3225 secs || 73908361 markings, 200148621 edges,
lola: 128 tries, 127978269 fired transitions, 3230 secs || 74017563 markings, 200470168 edges,
lola: 129 tries, 128173244 fired transitions, 3235 secs || 74128431 markings, 200775894 edges,
lola: 129 tries, 128368119 fired transitions, 3240 secs || 74238704 markings, 201069199 edges,
lola: 129 tries, 128562779 fired transitions, 3245 secs || 74348921 markings, 201365087 edges,
lola: 129 tries, 128758668 fired transitions, 3250 secs || 74457688 markings, 201678233 edges,
lola: 129 tries, 128954386 fired transitions, 3255 secs || 74564654 markings, 201991643 edges,
lola: 130 tries, 129148620 fired transitions, 3260 secs || 74676383 markings, 202288131 edges,
lola: 130 tries, 129342500 fired transitions, 3265 secs || 74788566 markings, 202584427 edges,
lola: 130 tries, 129537109 fired transitions, 3270 secs || 74899587 markings, 202885138 edges,
lola: 130 tries, 129731550 fired transitions, 3275 secs || 75013497 markings, 203180173 edges,
lola: 130 tries, 129926362 fired transitions, 3280 secs || 75125374 markings, 203479103 edges,
lola: 131 tries, 130120735 fired transitions, 3285 secs || 75236972 markings, 203775150 edges,
lola: 131 tries, 130315261 fired transitions, 3290 secs || 75349473 markings, 204073299 edges,
lola: 131 tries, 130509767 fired transitions, 3295 secs || 75460769 markings, 204370166 edges,
lola: 131 tries, 130706175 fired transitions, 3300 secs || 75566501 markings, 204685205 edges,
lola: 131 tries, 130901370 fired transitions, 3305 secs || 75676269 markings, 204992559 edges,
lola: 132 tries, 131095919 fired transitions, 3310 secs || 75788077 markings, 205297214 edges,
lola: 132 tries, 131291732 fired transitions, 3315 secs || 75895855 markings, 205607801 edges,
lola: 132 tries, 131486711 fired transitions, 3320 secs || 76006201 markings, 205910676 edges,
lola: 132 tries, 131681424 fired transitions, 3325 secs || 76116697 markings, 206209395 edges,
lola: 132 tries, 131876494 fired transitions, 3330 secs || 76226131 markings, 206512433 edges,
lola: 133 tries, 132072140 fired transitions, 3335 secs || 76334149 markings, 206822311 edges,
lola: 133 tries, 132267955 fired transitions, 3340 secs || 76443144 markings, 207134240 edges,
lola: 133 tries, 132462674 fired transitions, 3345 secs || 76554556 markings, 207435346 edges,
lola: 133 tries, 132656881 fired transitions, 3350 secs || 76666977 markings, 207733666 edges,
lola: 133 tries, 132851131 fired transitions, 3355 secs || 76777955 markings, 208030269 edges,
lola: 134 tries, 133045247 fired transitions, 3360 secs || 76890228 markings, 208320968 edges,
lola: 134 tries, 133241473 fired transitions, 3365 secs || 76996623 markings, 208637138 edges,
lola: 134 tries, 133436441 fired transitions, 3370 secs || 77107350 markings, 208933955 edges,
lola: 134 tries, 133630906 fired transitions, 3375 secs || 77219198 markings, 209229783 edges,
lola: 134 tries, 133826367 fired transitions, 3380 secs || 77328265 markings, 209534770 edges,
lola: 135 tries, 134021277 fired transitions, 3385 secs || 77439343 markings, 209838093 edges,
lola: 135 tries, 134216581 fired transitions, 3390 secs || 77550195 markings, 210140511 edges,
lola: 135 tries, 134411440 fired transitions, 3395 secs || 77662115 markings, 210440014 edges,
lola: 135 tries, 134606278 fired transitions, 3400 secs || 77772328 markings, 210744800 edges,
lola: 135 tries, 134801624 fired transitions, 3405 secs || 77881285 markings, 211053448 edges,
lola: 135 tries, 134996575 fired transitions, 3410 secs || 77993062 markings, 211357401 edges,
lola: 136 tries, 135192909 fired transitions, 3415 secs || 78100571 markings, 211672848 edges,
lola: 136 tries, 135387929 fired transitions, 3420 secs || 78211529 markings, 211973101 edges,
lola: 136 tries, 135582860 fired transitions, 3425 secs || 78321129 markings, 212277327 edges,
lola: 136 tries, 135777492 fired transitions, 3430 secs || 78432994 markings, 212577768 edges,
lola: 136 tries, 135972149 fired transitions, 3435 secs || 78543798 markings, 212878294 edges,
lola: 137 tries, 136167751 fired transitions, 3440 secs || 78652425 markings, 213184121 edges,
lola: 137 tries, 136363720 fired transitions, 3445 secs || 78758388 markings, 213506085 edges,
lola: 137 tries, 136558593 fired transitions, 3450 secs || 78868082 markings, 213811756 edges,
lola: 137 tries, 136753471 fired transitions, 3455 secs || 78979098 markings, 214114715 edges,
lola: 137 tries, 136950067 fired transitions, 3460 secs || 79085744 markings, 214430910 edges,
lola: 138 tries, 137145919 fired transitions, 3465 secs || 79194869 markings, 214737660 edges,
lola: 138 tries, 137342116 fired transitions, 3470 secs || 79302973 markings, 215057415 edges,
lola: 138 tries, 137537526 fired transitions, 3475 secs || 79412347 markings, 215367563 edges,
lola: 138 tries, 137731619 fired transitions, 3480 secs || 79524546 markings, 215669381 edges,
lola: 138 tries, 137927666 fired transitions, 3485 secs || 79633481 markings, 215981696 edges,
lola: 139 tries, 138123959 fired transitions, 3490 secs || 79740859 markings, 216296628 edges,
lola: 139 tries, 138319649 fired transitions, 3495 secs || 79849400 markings, 216601162 edges,
lola: 139 tries, 138514202 fired transitions, 3500 secs || 79960469 markings, 216897646 edges,
lola: 139 tries, 138708702 fired transitions, 3505 secs || 80072205 markings, 217194447 edges,
lola: 139 tries, 138903540 fired transitions, 3510 secs || 80180902 markings, 217507824 edges,
lola: 140 tries, 139099184 fired transitions, 3515 secs || 80290022 markings, 217808746 edges,
lola: 140 tries, 139294457 fired transitions, 3520 secs || 80400714 markings, 218112334 edges,
lola: 140 tries, 139490448 fired transitions, 3525 secs || 80509693 markings, 218432114 edges,
lola: 140 tries, 139660369 fired transitions, 3530 secs || 80621925 markings, 218736293 edges,
lola: 140 tries, 139856069 fired transitions, 3535 secs || 80729756 markings, 219044013 edges,
lola: 141 tries, 140051233 fired transitions, 3540 secs || 80839833 markings, 219347559 edges,
lola: 141 tries, 140245906 fired transitions, 3545 secs || 80949965 markings, 219645791 edges,
lola: 141 tries, 140442429 fired transitions, 3550 secs || 81056831 markings, 219959175 edges,
lola: 141 tries, 140637066 fired transitions, 3555 secs || 81167852 markings, 220259260 edges,
lola: 141 tries, 140831369 fired transitions, 3560 secs || 81278924 markings, 220555397 edges,
lola: time limit reached - aborting
lola: memory consumption: 4541344 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552829893781

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 26755 markings/sec, 0 secs 29527 markings/sec, 5 secs 26320 markings/sec, 10 secs 25608 markings/sec, 15 secs 25456 markings/sec, 20 secs 25383 markings/sec, 25 secs 24448 markings/sec, 30 secs 24403 markings/sec, 35 secs 24415 markings/sec, 40 secs 23815 markings/sec, 45 secs 23626 markings/sec, 50 secs 23616 markings/sec, 55 secs 24640 markings/sec, 60 secs 23643 markings/sec, 65 secs 24058 markings/sec, 70 secs 24916 markings/sec, 75 secs 24498 markings/sec, 80 secs 24276 markings/sec, 85 secs 23568 markings/sec, 90 secs 24672 markings/sec, 95 secs 30693 markings/sec, 100 secs 25528 markings/sec, 105 secs 23951 markings/sec, 110 secs 23786 markings/sec, 115 secs 24026 markings/sec, 120 secs 24127 markings/sec, 125 secs 23761 markings/sec, 130 secs 23774 markings/sec, 135 secs 23909 markings/sec, 140 secs 23765 markings/sec, 145 secs 24460 markings/sec, 150 secs 24224 markings/sec, 155 secs 24063 markings/sec, 160 secs 24008 markings/sec, 165 secs 24612 markings/sec, 170 secs 24208 markings/sec, 175 secs 24359 markings/sec, 180 secs 24024 markings/sec, 185 secs 23641 markings/sec, 190 secs 24249 markings/sec, 195 secs 24070 markings/sec, 200 secs 23851 markings/sec, 205 secs 24210 markings/sec, 210 secs 24063 markings/sec, 215 secs 23432 markings/sec, 220 secs 23192 markings/sec, 225 secs 24109 markings/sec, 230 secs 23428 markings/sec, 235 secs 24017 markings/sec, 240 secs 23131 markings/sec, 245 secs 23566 markings/sec, 250 secs 23507 markings/sec, 255 secs 23069 markings/sec, 260 secs 22270 markings/sec, 265 secs 22954 markings/sec, 270 secs 22546 markings/sec, 275 secs 23287 markings/sec, 280 secs 22620 markings/sec, 285 secs 22171 markings/sec, 290 secs 22879 markings/sec, 295 secs 23055 markings/sec, 300 secs 23414 markings/sec, 305 secs 23289 markings/sec, 310 secs 22673 markings/sec, 315 secs 22799 markings/sec, 320 secs 22615 markings/sec, 325 secs 22383 markings/sec, 330 secs 22491 markings/sec, 335 secs 22981 markings/sec, 340 secs 22977 markings/sec, 345 secs 22900 markings/sec, 350 secs 23450 markings/sec, 355 secs 23785 markings/sec, 360 secs 23853 markings/sec, 365 secs 22485 markings/sec, 370 secs 23299 markings/sec, 375 secs 23298 markings/sec, 380 secs 23972 markings/sec, 385 secs 23914 markings/sec, 390 secs 23630 markings/sec, 395 secs 24049 markings/sec, 400 secs 23383 markings/sec, 405 secs 22976 markings/sec, 410 secs 23670 markings/sec, 415 secs 23030 markings/sec, 420 secs 23574 markings/sec, 425 secs 22326 markings/sec, 430 secs 23529 markings/sec, 435 secs 23652 markings/sec, 440 secs 23305 markings/sec, 445 secs 22739 markings/sec, 450 secs 23468 markings/sec, 455 secs 22379 markings/sec, 460 secs 22818 markings/sec, 465 secs 22628 markings/sec, 470 secs 22258 markings/sec, 475 secs 23314 markings/sec, 480 secs 27363 markings/sec, 485 secs 22852 markings/sec, 490 secs 27675 markings/sec, 495 secs 27762 markings/sec, 500 secs 22863 markings/sec, 505 secs 23314 markings/sec, 510 secs 23420 markings/sec, 515 secs 22950 markings/sec, 520 secs 22960 markings/sec, 525 secs 23396 markings/sec, 530 secs 22302 markings/sec, 535 secs 23215 markings/sec, 540 secs 23428 markings/sec, 545 secs 23186 markings/sec, 550 secs 23261 markings/sec, 555 secs 22612 markings/sec, 560 secs 23060 markings/sec, 565 secs 23062 markings/sec, 570 secs 23186 markings/sec, 575 secs 23347 markings/sec, 580 secs 22381 markings/sec, 585 secs 22527 markings/sec, 590 secs 23112 markings/sec, 595 secs 22862 markings/sec, 600 secs 23036 markings/sec, 605 secs 22816 markings/sec, 610 secs 22855 markings/sec, 615 secs 23261 markings/sec, 620 secs 22243 markings/sec, 625 secs 23003 markings/sec, 630 secs 21935 markings/sec, 635 secs 22223 markings/sec, 640 secs 23017 markings/sec, 645 secs 23408 markings/sec, 650 secs 22211 markings/sec, 655 secs 24291 markings/sec, 660 secs 26744 markings/sec, 665 secs 26442 markings/sec, 670 secs 24266 markings/sec, 675 secs 22737 markings/sec, 680 secs 22365 markings/sec, 685 secs 22762 markings/sec, 690 secs 23524 markings/sec, 695 secs 22613 markings/sec, 700 secs 22760 markings/sec, 705 secs 23727 markings/sec, 710 secs 23167 markings/sec, 715 secs 23159 markings/sec, 720 secs 22375 markings/sec, 725 secs 23619 markings/sec, 730 secs 23063 markings/sec, 735 secs 23318 markings/sec, 740 secs 22203 markings/sec, 745 secs 22780 markings/sec, 750 secs 22602 markings/sec, 755 secs 26876 markings/sec, 760 secs 26172 markings/sec, 765 secs 26086 markings/sec, 770 secs 22499 markings/sec, 775 secs 22747 markings/sec, 780 secs 22719 markings/sec, 785 secs 22750 markings/sec, 790 secs 23041 markings/sec, 795 secs 22816 markings/sec, 800 secs 22436 markings/sec, 805 secs 22824 markings/sec, 810 secs 23078 markings/sec, 815 secs 22872 markings/sec, 820 secs 22520 markings/sec, 825 secs 23167 markings/sec, 830 secs 22612 markings/sec, 835 secs 22520 markings/sec, 840 secs 22457 markings/sec, 845 secs 22940 markings/sec, 850 secs 27015 markings/sec, 855 secs 26193 markings/sec, 860 secs 23351 markings/sec, 865 secs 23251 markings/sec, 870 secs 22924 markings/sec, 875 secs 23106 markings/sec, 880 secs 22821 markings/sec, 885 secs 22766 markings/sec, 890 secs 23036 markings/sec, 895 secs 27872 markings/sec, 900 secs 27532 markings/sec, 905 secs 23613 markings/sec, 910 secs 22931 markings/sec, 915 secs 22405 markings/sec, 920 secs 22660 markings/sec, 925 secs 22669 markings/sec, 930 secs 22352 markings/sec, 935 secs 22927 markings/sec, 940 secs 22661 markings/sec, 945 secs 22269 markings/sec, 950 secs 22167 markings/sec, 955 secs 24026 markings/sec, 960 secs 22971 markings/sec, 965 secs 22241 markings/sec, 970 secs 22059 markings/sec, 975 secs 22107 markings/sec, 980 secs 22656 markings/sec, 985 secs 22113 markings/sec, 990 secs 22629 markings/sec, 995 secs 23257 markings/sec, 1000 secs 21627 markings/sec, 1005 secs 21769 markings/sec, 1010 secs 22761 markings/sec, 1015 secs 22346 markings/sec, 1020 secs 22813 markings/sec, 1025 secs 21949 markings/sec, 1030 secs 22595 markings/sec, 1035 secs 22805 markings/sec, 1040 secs 22066 markings/sec, 1045 secs 23244 markings/sec, 1050 secs 22552 markings/sec, 1055 secs 21379 markings/sec, 1060 secs 22656 markings/sec, 1065 secs 22297 markings/sec, 1070 secs 22303 markings/sec, 1075 secs 22276 markings/sec, 1080 secs 21948 markings/sec, 1085 secs 23605 markings/sec, 1090 secs 26610 markings/sec, 1095 secs 26781 markings/sec, 1100 secs 25011 markings/sec, 1105 secs 25710 markings/sec, 1110 secs 22322 markings/sec, 1115 secs 22431 markings/sec, 1120 secs 22303 markings/sec, 1125 secs 22657 markings/sec, 1130 secs 22841 markings/sec, 1135 secs 24194 markings/sec, 1140 secs 27588 markings/sec, 1145 secs 26643 markings/sec, 1150 secs 26900 markings/sec, 1155 secs 28289 markings/sec, 1160 secs 26484 markings/sec, 1165 secs 27509 markings/sec, 1170 secs 27499 markings/sec, 1175 secs 26548 markings/sec, 1180 secs 25906 markings/sec, 1185 secs 23084 markings/sec, 1190 secs 22393 markings/sec, 1195 secs 22247 markings/sec, 1200 secs 22215 markings/sec, 1205 secs 22584 markings/sec, 1210 secs 22487 markings/sec, 1215 secs 21737 markings/sec, 1220 secs 21720 markings/sec, 1225 secs 23204 markings/sec, 1230 secs 26928 markings/sec, 1235 secs 27330 markings/sec, 1240 secs 26954 markings/sec, 1245 secs 26772 markings/sec, 1250 secs 24514 markings/sec, 1255 secs 20512 markings/sec, 1260 secs 21322 markings/sec, 1265 secs 22505 markings/sec, 1270 secs 22029 markings/sec, 1275 secs 20994 markings/sec, 1280 secs 22646 markings/sec, 1285 secs 21635 markings/sec, 1290 secs 21391 markings/sec, 1295 secs 22068 markings/sec, 1300 secs 22577 markings/sec, 1305 secs 22215 markings/sec, 1310 secs 21077 markings/sec, 1315 secs 22473 markings/sec, 1320 secs 22903 markings/sec, 1325 secs 22563 markings/sec, 1330 secs 22001 markings/sec, 1335 secs 22646 markings/sec, 1340 secs 21905 markings/sec, 1345 secs 22279 markings/sec, 1350 secs 22424 markings/sec, 1355 secs 21725 markings/sec, 1360 secs 22734 markings/sec, 1365 secs 22567 markings/sec, 1370 secs 22438 markings/sec, 1375 secs 21672 markings/sec, 1380 secs 21340 markings/sec, 1385 secs 22509 markings/sec, 1390 secs 22915 markings/sec, 1395 secs 21540 markings/sec, 1400 secs 22015 markings/sec, 1405 secs 22102 markings/sec, 1410 secs 21934 markings/sec, 1415 secs 22470 markings/sec, 1420 secs 22452 markings/sec, 1425 secs 21922 markings/sec, 1430 secs 22282 markings/sec, 1435 secs 22903 markings/sec, 1440 secs 22424 markings/sec, 1445 secs 22002 markings/sec, 1450 secs 21647 markings/sec, 1455 secs 21521 markings/sec, 1460 secs 22415 markings/sec, 1465 secs 22307 markings/sec, 1470 secs 21975 markings/sec, 1475 secs 22147 markings/sec, 1480 secs 22081 markings/sec, 1485 secs 21158 markings/sec, 1490 secs 22598 markings/sec, 1495 secs 22627 markings/sec, 1500 secs 22050 markings/sec, 1505 secs 23132 markings/sec, 1510 secs 22475 markings/sec, 1515 secs 22472 markings/sec, 1520 secs 20905 markings/sec, 1525 secs 21710 markings/sec, 1530 secs 21941 markings/sec, 1535 secs 21684 markings/sec, 1540 secs 22423 markings/sec, 1545 secs 22694 markings/sec, 1550 secs 21821 markings/sec, 1555 secs 22561 markings/sec, 1560 secs 22202 markings/sec, 1565 secs 22774 markings/sec, 1570 secs 23417 markings/sec, 1575 secs 21982 markings/sec, 1580 secs 22037 markings/sec, 1585 secs 22476 markings/sec, 1590 secs 22567 markings/sec, 1595 secs 22826 markings/sec, 1600 secs 22208 markings/sec, 1605 secs 22487 markings/sec, 1610 secs 22416 markings/sec, 1615 secs 22568 markings/sec, 1620 secs 22871 markings/sec, 1625 secs 22683 markings/sec, 1630 secs 22530 markings/sec, 1635 secs 23096 markings/sec, 1640 secs 22820 markings/sec, 1645 secs 22037 markings/sec, 1650 secs 22686 markings/sec, 1655 secs 22304 markings/sec, 1660 secs 22196 markings/sec, 1665 secs 22177 markings/sec, 1670 secs 21910 markings/sec, 1675 secs 21982 markings/sec, 1680 secs 22707 markings/sec, 1685 secs 22153 markings/sec, 1690 secs 22352 markings/sec, 1695 secs 22143 markings/sec, 1700 secs 22046 markings/sec, 1705 secs 21928 markings/sec, 1710 secs 22449 markings/sec, 1715 secs 22097 markings/sec, 1720 secs 22879 markings/sec, 1725 secs 22607 markings/sec, 1730 secs 22224 markings/sec, 1735 secs 22468 markings/sec, 1740 secs 22553 markings/sec, 1745 secs 22550 markings/sec, 1750 secs 21576 markings/sec, 1755 secs 22280 markings/sec, 1760 secs 22772 markings/sec, 1765 secs 21809 markings/sec, 1770 secs 22805 markings/sec, 1775 secs 21784 markings/sec, 1780 secs 22366 markings/sec, 1785 secs 21992 markings/sec, 1790 secs 22466 markings/sec, 1795 secs 22535 markings/sec, 1800 secs 22513 markings/sec, 1805 secs 22158 markings/sec, 1810 secs 21922 markings/sec, 1815 secs 22332 markings/sec, 1820 secs 22080 markings/sec, 1825 secs 22218 markings/sec, 1830 secs 20888 markings/sec, 1835 secs 21850 markings/sec, 1840 secs 22303 markings/sec, 1845 secs 21752 markings/sec, 1850 secs 22281 markings/sec, 1855 secs 21644 markings/sec, 1860 secs 22270 markings/sec, 1865 secs 22878 markings/sec, 1870 secs 22951 markings/sec, 1875 secs 21981 markings/sec, 1880 secs 21706 markings/sec, 1885 secs 21801 markings/sec, 1890 secs 21558 markings/sec, 1895 secs 22222 markings/sec, 1900 secs 21859 markings/sec, 1905 secs 22457 markings/sec, 1910 secs 21926 markings/sec, 1915 secs 21874 markings/sec, 1920 secs 22392 markings/sec, 1925 secs 21492 markings/sec, 1930 secs 22392 markings/sec, 1935 secs 22301 markings/sec, 1940 secs 22098 markings/sec, 1945 secs 22211 markings/sec, 1950 secs 22254 markings/sec, 1955 secs 22830 markings/sec, 1960 secs 26947 markings/sec, 1965 secs 27172 markings/sec, 1970 secs 26497 markings/sec, 1975 secs 27230 markings/sec, 1980 secs 25738 markings/sec, 1985 secs 25999 markings/sec, 1990 secs 22519 markings/sec, 1995 secs 25858 markings/sec, 2000 secs 25833 markings/sec, 2005 secs 26171 markings/sec, 2010 secs 25767 markings/sec, 2015 secs 22568 markings/sec, 2020 secs 22839 markings/sec, 2025 secs 22068 markings/sec, 2030 secs 20425 markings/sec, 2035 secs 22603 markings/sec, 2040 secs 22554 markings/sec, 2045 secs 21794 markings/sec, 2050 secs 22283 markings/sec, 2055 secs 22389 markings/sec, 2060 secs 23033 markings/sec, 2065 secs 22327 markings/sec, 2070 secs 21590 markings/sec, 2075 secs 21428 markings/sec, 2080 secs 21532 markings/sec, 2085 secs 22098 markings/sec, 2090 secs 22054 markings/sec, 2095 secs 22472 markings/sec, 2100 secs 21898 markings/sec, 2105 secs 21136 markings/sec, 2110 secs 21830 markings/sec, 2115 secs 21752 markings/sec, 2120 secs 20765 markings/sec, 2125 secs 22361 markings/sec, 2130 secs 22375 markings/sec, 2135 secs 21848 markings/sec, 2140 secs 21556 markings/sec, 2145 secs 22431 markings/sec, 2150 secs 22255 markings/sec, 2155 secs 21973 markings/sec, 2160 secs 21921 markings/sec, 2165 secs 21673 markings/sec, 2170 secs 22206 markings/sec, 2175 secs 21487 markings/sec, 2180 secs 22331 markings/sec, 2185 secs 22242 markings/sec, 2190 secs 22183 markings/sec, 2195 secs 21707 markings/sec, 2200 secs 22252 markings/sec, 2205 secs 22416 markings/sec, 2210 secs 21677 markings/sec, 2215 secs 21313 markings/sec, 2220 secs 21414 markings/sec, 2225 secs 21707 markings/sec, 2230 secs 21022 markings/sec, 2235 secs 23161 markings/sec, 2240 secs 27052 markings/sec, 2245 secs 26133 markings/sec, 2250 secs 26204 markings/sec, 2255 secs 26741 markings/sec, 2260 secs 26827 markings/sec, 2265 secs 27334 markings/sec, 2270 secs 26623 markings/sec, 2275 secs 26000 markings/sec, 2280 secs 26018 markings/sec, 2285 secs 26904 markings/sec, 2290 secs 25964 markings/sec, 2295 secs 26649 markings/sec, 2300 secs 24760 markings/sec, 2305 secs 23405 markings/sec, 2310 secs 24237 markings/sec, 2315 secs 21696 markings/sec, 2320 secs 22012 markings/sec, 2325 secs 22752 markings/sec, 2330 secs 25599 markings/sec, 2335 secs 24805 markings/sec, 2340 secs 25651 markings/sec, 2345 secs 24644 markings/sec, 2350 secs 21862 markings/sec, 2355 secs 22528 markings/sec, 2360 secs 21172 markings/sec, 2365 secs 22513 markings/sec, 2370 secs 21677 markings/sec, 2375 secs 22213 markings/sec, 2380 secs 22279 markings/sec, 2385 secs 22154 markings/sec, 2390 secs 22058 markings/sec, 2395 secs 21812 markings/sec, 2400 secs 22093 markings/sec, 2405 secs 21281 markings/sec, 2410 secs 21587 markings/sec, 2415 secs 21887 markings/sec, 2420 secs 21527 markings/sec, 2425 secs 22085 markings/sec, 2430 secs 21729 markings/sec, 2435 secs 22345 markings/sec, 2440 secs 22140 markings/sec, 2445 secs 21536 markings/sec, 2450 secs 20780 markings/sec, 2455 secs 22255 markings/sec, 2460 secs 21756 markings/sec, 2465 secs 21930 markings/sec, 2470 secs 21685 markings/sec, 2475 secs 21682 markings/sec, 2480 secs 22501 markings/sec, 2485 secs 22171 markings/sec, 2490 secs 21919 markings/sec, 2495 secs 22106 markings/sec, 2500 secs 21844 markings/sec, 2505 secs 21628 markings/sec, 2510 secs 22242 markings/sec, 2515 secs 20770 markings/sec, 2520 secs 22063 markings/sec, 2525 secs 21512 markings/sec, 2530 secs 22229 markings/sec, 2535 secs 21732 markings/sec, 2540 secs 21787 markings/sec, 2545 secs 21478 markings/sec, 2550 secs 21861 markings/sec, 2555 secs 22234 markings/sec, 2560 secs 21643 markings/sec, 2565 secs 21143 markings/sec, 2570 secs 22340 markings/sec, 2575 secs 21924 markings/sec, 2580 secs 21817 markings/sec, 2585 secs 21699 markings/sec, 2590 secs 22057 markings/sec, 2595 secs 21899 markings/sec, 2600 secs 21777 markings/sec, 2605 secs 23368 markings/sec, 2610 secs 25820 markings/sec, 2615 secs 25917 markings/sec, 2620 secs 25758 markings/sec, 2625 secs 25624 markings/sec, 2630 secs 26197 markings/sec, 2635 secs 23734 markings/sec, 2640 secs 21486 markings/sec, 2645 secs 22038 markings/sec, 2650 secs 21898 markings/sec, 2655 secs 22152 markings/sec, 2660 secs 21592 markings/sec, 2665 secs 22174 markings/sec, 2670 secs 22427 markings/sec, 2675 secs 22069 markings/sec, 2680 secs 21344 markings/sec, 2685 secs 22366 markings/sec, 2690 secs 21959 markings/sec, 2695 secs 21986 markings/sec, 2700 secs 21740 markings/sec, 2705 secs 21731 markings/sec, 2710 secs 22304 markings/sec, 2715 secs 21668 markings/sec, 2720 secs 21124 markings/sec, 2725 secs 22792 markings/sec, 2730 secs 22045 markings/sec, 2735 secs 21814 markings/sec, 2740 secs 22182 markings/sec, 2745 secs 21320 markings/sec, 2750 secs 21688 markings/sec, 2755 secs 21880 markings/sec, 2760 secs 21234 markings/sec, 2765 secs 21291 markings/sec, 2770 secs 21393 markings/sec, 2775 secs 21344 markings/sec, 2780 secs 21908 markings/sec, 2785 secs 21683 markings/sec, 2790 secs 21490 markings/sec, 2795 secs 21622 markings/sec, 2800 secs 21350 markings/sec, 2805 secs 21818 markings/sec, 2810 secs 22234 markings/sec, 2815 secs 21438 markings/sec, 2820 secs 21043 markings/sec, 2825 secs 22076 markings/sec, 2830 secs 25521 markings/sec, 2835 secs 21951 markings/sec, 2840 secs 21149 markings/sec, 2845 secs 21230 markings/sec, 2850 secs 22307 markings/sec, 2855 secs 21491 markings/sec, 2860 secs 21815 markings/sec, 2865 secs 21917 markings/sec, 2870 secs 21919 markings/sec, 2875 secs 21860 markings/sec, 2880 secs 22334 markings/sec, 2885 secs 21874 markings/sec, 2890 secs 21949 markings/sec, 2895 secs 21959 markings/sec, 2900 secs 21389 markings/sec, 2905 secs 20559 markings/sec, 2910 secs 21609 markings/sec, 2915 secs 20986 markings/sec, 2920 secs 22393 markings/sec, 2925 secs 22502 markings/sec, 2930 secs 21915 markings/sec, 2935 secs 22035 markings/sec, 2940 secs 21785 markings/sec, 2945 secs 22016 markings/sec, 2950 secs 21577 markings/sec, 2955 secs 22058 markings/sec, 2960 secs 21650 markings/sec, 2965 secs 21842 markings/sec, 2970 secs 21871 markings/sec, 2975 secs 22004 markings/sec, 2980 secs 22004 markings/sec, 2985 secs 21712 markings/sec, 2990 secs 22069 markings/sec, 2995 secs 21915 markings/sec, 3000 secs 22000 markings/sec, 3005 secs 22320 markings/sec, 3010 secs 21630 markings/sec, 3015 secs 22136 markings/sec, 3020 secs 21824 markings/sec, 3025 secs 22078 markings/sec, 3030 secs 21994 markings/sec, 3035 secs 21694 markings/sec, 3040 secs 21797 markings/sec, 3045 secs 21770 markings/sec, 3050 secs 22051 markings/sec, 3055 secs 22439 markings/sec, 3060 secs 21399 markings/sec, 3065 secs 22283 markings/sec, 3070 secs 20959 markings/sec, 3075 secs 21545 markings/sec, 3080 secs 22240 markings/sec, 3085 secs 22053 markings/sec, 3090 secs 22752 markings/sec, 3095 secs 22011 markings/sec, 3100 secs 23056 markings/sec, 3105 secs 21262 markings/sec, 3110 secs 22559 markings/sec, 3115 secs 22572 markings/sec, 3120 secs 22415 markings/sec, 3125 secs 22353 markings/sec, 3130 secs 22392 markings/sec, 3135 secs 22258 markings/sec, 3140 secs 21637 markings/sec, 3145 secs 22365 markings/sec, 3150 secs 22212 markings/sec, 3155 secs 22090 markings/sec, 3160 secs 21739 markings/sec, 3165 secs 21952 markings/sec, 3170 secs 22735 markings/sec, 3175 secs 21647 markings/sec, 3180 secs 22877 markings/sec, 3185 secs 22327 markings/sec, 3190 secs 22162 markings/sec, 3195 secs 22357 markings/sec, 3200 secs 22124 markings/sec, 3205 secs 22605 markings/sec, 3210 secs 21605 markings/sec, 3215 secs 22178 markings/sec, 3220 secs 22378 markings/sec, 3225 secs 21840 markings/sec, 3230 secs 22174 markings/sec, 3235 secs 22055 markings/sec, 3240 secs 22043 markings/sec, 3245 secs 21753 markings/sec, 3250 secs 21393 markings/sec, 3255 secs 22346 markings/sec, 3260 secs 22437 markings/sec, 3265 secs 22204 markings/sec, 3270 secs 22782 markings/sec, 3275 secs 22375 markings/sec, 3280 secs 22320 markings/sec, 3285 secs 22500 markings/sec, 3290 secs 22259 markings/sec, 3295 secs 21146 markings/sec, 3300 secs 21954 markings/sec, 3305 secs 22362 markings/sec, 3310 secs 21556 markings/sec, 3315 secs 22069 markings/sec, 3320 secs 22099 markings/sec, 3325 secs 21887 markings/sec, 3330 secs 21604 markings/sec, 3335 secs 21799 markings/sec, 3340 secs 22282 markings/sec, 3345 secs 22484 markings/sec, 3350 secs 22196 markings/sec, 3355 secs 22455 markings/sec, 3360 secs 21279 markings/sec, 3365 secs 22145 markings/sec, 3370 secs 22370 markings/sec, 3375 secs 21813 markings/sec, 3380 secs 22216 markings/sec, 3385 secs 22170 markings/sec, 3390 secs 22384 markings/sec, 3395 secs 22043 markings/sec, 3400 secs 21791 markings/sec, 3405 secs 22355 markings/sec, 3410 secs 21502 markings/sec, 3415 secs 22192 markings/sec, 3420 secs 21920 markings/sec, 3425 secs 22373 markings/sec, 3430 secs 22161 markings/sec, 3435 secs 21725 markings/sec, 3440 secs 21193 markings/sec, 3445 secs 21939 markings/sec, 3450 secs 22203 markings/sec, 3455 secs 21329 markings/sec, 3460 secs 21825 markings/sec, 3465 secs 21621 markings/sec, 3470 secs 21875 markings/sec, 3475 secs 22440 markings/sec, 3480 secs 21787 markings/sec, 3485 secs 21476 markings/sec, 3490 secs 21708 markings/sec, 3495 secs 22214 markings/sec, 3500 secs 22347 markings/sec, 3505 secs 21739 markings/sec, 3510 secs 21824 markings/sec, 3515 secs 22138 markings/sec, 3520 secs 21796 markings/sec, 3525 secs 22446 markings/sec, 3530 secs 21566 markings/sec, 3535 secs 22015 markings/sec, 3540 secs 22026 markings/sec, 3545 secs 21373 markings/sec, 3550 secs 22204 markings/sec, 3555 secs 22214 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="LamportFastMutEx-PT-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-3957"
echo " Executing tool lola"
echo " Input is LamportFastMutEx-PT-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 r093-smll-155246584200228"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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