MCC'2019 - Execution of r093-smll-155246584200219

About the Execution of LoLA for LamportFastMutEx-PT-6

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5308.590	3570422.00	7222644.00	8614.30	[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-155246584200219.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-6, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-smll-155246584200219
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 9.5K Feb 11 22:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 11 22:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 7 23:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 7 23:35 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.8K Feb 5 00:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 5 00:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 24K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 4 06:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 4 06:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Jan 31 23:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Jan 31 23:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.0K 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 200K 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-6-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552816689478

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

{
"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 09:58:09 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5220544,
"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": 1834,
"conflict_clusters": 17,
"places": 217,
"places_significant": 152,
"singleton_clusters": 0,
"transitions": 420
},
"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": 720.000000,
"composed": 6,
"dead_branches": 0,
"generators": 15,
"interrupted": false,
"real_computed": 9,
"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: 637/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6944
lola: finding significant places
lola: 217 places, 420 transitions, 152 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 15 generators (9 in search tree, 6 by composition)
lola: representing 720 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 238908 fired transitions, 0 secs || 158220 markings, 318335 edges,
lola: 1 tries, 481463 fired transitions, 5 secs || 315547 markings, 674351 edges,
lola: 1 tries, 724569 fired transitions, 10 secs || 470575 markings, 1035873 edges,
lola: 1 tries, 967900 fired transitions, 15 secs || 623288 markings, 1397005 edges,
lola: 2 tries, 1213096 fired transitions, 20 secs || 772479 markings, 1769974 edges,
lola: 2 tries, 1459501 fired transitions, 25 secs || 918025 markings, 2151249 edges,
lola: 2 tries, 1706036 fired transitions, 30 secs || 1064567 markings, 2536047 edges,
lola: 2 tries, 1953041 fired transitions, 35 secs || 1210974 markings, 2917001 edges,
lola: 3 tries, 2200407 fired transitions, 40 secs || 1357472 markings, 3292995 edges,
lola: 3 tries, 2447498 fired transitions, 45 secs || 1504914 markings, 3665696 edges,
lola: 3 tries, 2694127 fired transitions, 50 secs || 1652398 markings, 4032770 edges,
lola: 3 tries, 2942117 fired transitions, 55 secs || 1795742 markings, 4415570 edges,
lola: 4 tries, 3190410 fired transitions, 60 secs || 1939923 markings, 4793432 edges,
lola: 4 tries, 3439134 fired transitions, 65 secs || 2084457 markings, 5172295 edges,
lola: 4 tries, 3687324 fired transitions, 70 secs || 2228865 markings, 5545826 edges,
lola: 4 tries, 3935939 fired transitions, 75 secs || 2371672 markings, 5923934 edges,
lola: 5 tries, 4183524 fired transitions, 80 secs || 2516853 markings, 6289116 edges,
lola: 5 tries, 4432048 fired transitions, 85 secs || 2661341 markings, 6663131 edges,
lola: 5 tries, 4680565 fired transitions, 90 secs || 2805169 markings, 7031540 edges,
lola: 5 tries, 4930558 fired transitions, 95 secs || 2945712 markings, 7415798 edges,
lola: 6 tries, 5179412 fired transitions, 100 secs || 3087996 markings, 7792616 edges,
lola: 6 tries, 5429416 fired transitions, 105 secs || 3229193 markings, 8175183 edges,
lola: 6 tries, 5679135 fired transitions, 110 secs || 3370283 markings, 8558440 edges,
lola: 6 tries, 5929619 fired transitions, 115 secs || 3510124 markings, 8943813 edges,
lola: 7 tries, 6179567 fired transitions, 120 secs || 3651610 markings, 9322473 edges,
lola: 7 tries, 6436409 fired transitions, 125 secs || 3798076 markings, 9702128 edges,
lola: 7 tries, 6740765 fired transitions, 130 secs || 3967936 markings, 10141762 edges,
lola: 7 tries, 6994736 fired transitions, 135 secs || 4106602 markings, 10511149 edges,
lola: 8 tries, 7248526 fired transitions, 140 secs || 4245714 markings, 10879991 edges,
lola: 8 tries, 7503196 fired transitions, 145 secs || 4383264 markings, 11257370 edges,
lola: 8 tries, 7758015 fired transitions, 150 secs || 4521405 markings, 11628578 edges,
lola: 9 tries, 8046966 fired transitions, 155 secs || 4693831 markings, 12087438 edges,
lola: 9 tries, 8365431 fired transitions, 160 secs || 4867199 markings, 12558373 edges,
lola: 9 tries, 8645029 fired transitions, 165 secs || 5022815 markings, 12968561 edges,
lola: 9 tries, 8895015 fired transitions, 170 secs || 5163808 markings, 13341552 edges,
lola: 10 tries, 9144876 fired transitions, 175 secs || 5305767 markings, 13711418 edges,
lola: 10 tries, 9394786 fired transitions, 180 secs || 5446826 markings, 14086071 edges,
lola: 10 tries, 9644727 fired transitions, 185 secs || 5588234 markings, 14454321 edges,
lola: 10 tries, 9894749 fired transitions, 190 secs || 5729536 markings, 14823828 edges,
lola: 11 tries, 10144748 fired transitions, 195 secs || 5871051 markings, 15194444 edges,
lola: 11 tries, 10396039 fired transitions, 200 secs || 6010502 markings, 15577804 edges,
lola: 11 tries, 10646694 fired transitions, 205 secs || 6150331 markings, 15948848 edges,
lola: 11 tries, 10898891 fired transitions, 210 secs || 6288456 markings, 16333634 edges,
lola: 12 tries, 11149228 fired transitions, 215 secs || 6427646 markings, 16707687 edges,
lola: 12 tries, 11400494 fired transitions, 220 secs || 6566167 markings, 17086606 edges,
lola: 12 tries, 11651788 fired transitions, 225 secs || 6704572 markings, 17468981 edges,
lola: 12 tries, 11902257 fired transitions, 230 secs || 6844020 markings, 17840870 edges,
lola: 13 tries, 12153174 fired transitions, 235 secs || 6983247 markings, 18218002 edges,
lola: 13 tries, 12403418 fired transitions, 240 secs || 7123228 markings, 18595034 edges,
lola: 13 tries, 12653636 fired transitions, 245 secs || 7262866 markings, 18966300 edges,
lola: 13 tries, 12904489 fired transitions, 250 secs || 7401173 markings, 19343346 edges,
lola: 14 tries, 13155070 fired transitions, 255 secs || 7539333 markings, 19724812 edges,
lola: 14 tries, 13404935 fired transitions, 260 secs || 7678808 markings, 20099467 edges,
lola: 14 tries, 13655973 fired transitions, 265 secs || 7817192 markings, 20478278 edges,
lola: 14 tries, 13906939 fired transitions, 270 secs || 7955455 markings, 20857596 edges,
lola: 15 tries, 14158632 fired transitions, 275 secs || 8091839 markings, 21243740 edges,
lola: 15 tries, 14409734 fired transitions, 280 secs || 8229920 markings, 21621104 edges,
lola: 15 tries, 14660802 fired transitions, 285 secs || 8368053 markings, 22009246 edges,
lola: 15 tries, 14911776 fired transitions, 290 secs || 8506974 markings, 22387838 edges,
lola: 16 tries, 15162529 fired transitions, 295 secs || 8645230 markings, 22766893 edges,
lola: 16 tries, 15413504 fired transitions, 300 secs || 8783874 markings, 23143455 edges,
lola: 16 tries, 15645236 fired transitions, 305 secs || 8920735 markings, 23519770 edges,
lola: 16 tries, 15870247 fired transitions, 310 secs || 9059458 markings, 23890848 edges,
lola: 17 tries, 16107394 fired transitions, 315 secs || 9194978 markings, 24279775 edges,
lola: 17 tries, 16359126 fired transitions, 320 secs || 9331996 markings, 24661821 edges,
lola: 17 tries, 16610960 fired transitions, 325 secs || 9469921 markings, 25045563 edges,
lola: 17 tries, 16863014 fired transitions, 330 secs || 9606187 markings, 25428845 edges,
lola: 18 tries, 17114614 fired transitions, 335 secs || 9743664 markings, 25810068 edges,
lola: 18 tries, 17367118 fired transitions, 340 secs || 9879691 markings, 26201007 edges,
lola: 18 tries, 17618360 fired transitions, 345 secs || 10017096 markings, 26580273 edges,
lola: 18 tries, 17870700 fired transitions, 350 secs || 10151910 markings, 26970858 edges,
lola: 19 tries, 18121793 fired transitions, 355 secs || 10290321 markings, 27347644 edges,
lola: 19 tries, 18373254 fired transitions, 360 secs || 10428013 markings, 27727056 edges,
lola: 19 tries, 18625206 fired transitions, 365 secs || 10564497 markings, 28111636 edges,
lola: 19 tries, 18877995 fired transitions, 370 secs || 10699938 markings, 28499646 edges,
lola: 20 tries, 19130389 fired transitions, 375 secs || 10834716 markings, 28885519 edges,
lola: 20 tries, 19382003 fired transitions, 380 secs || 10971008 markings, 29265245 edges,
lola: 20 tries, 19633632 fired transitions, 385 secs || 11107566 markings, 29649653 edges,
lola: 20 tries, 19885588 fired transitions, 390 secs || 11242808 markings, 30031794 edges,
lola: 21 tries, 20137389 fired transitions, 395 secs || 11379070 markings, 30411509 edges,
lola: 21 tries, 20389637 fired transitions, 400 secs || 11516116 markings, 30791262 edges,
lola: 21 tries, 20676567 fired transitions, 405 secs || 11671683 markings, 31229941 edges,
lola: 21 tries, 20943984 fired transitions, 410 secs || 11813606 markings, 31633333 edges,
lola: 22 tries, 21197271 fired transitions, 415 secs || 11947153 markings, 32022215 edges,
lola: 22 tries, 21450125 fired transitions, 420 secs || 12082357 markings, 32409170 edges,
lola: 22 tries, 21703281 fired transitions, 425 secs || 12217753 markings, 32794002 edges,
lola: 22 tries, 21955747 fired transitions, 430 secs || 12353542 markings, 33175056 edges,
lola: 23 tries, 22206982 fired transitions, 435 secs || 12490097 markings, 33554428 edges,
lola: 23 tries, 22458674 fired transitions, 440 secs || 12625601 markings, 33932853 edges,
lola: 23 tries, 22710954 fired transitions, 445 secs || 12759897 markings, 34320108 edges,
lola: 23 tries, 22963337 fired transitions, 450 secs || 12894583 markings, 34707905 edges,
lola: 24 tries, 23215431 fired transitions, 455 secs || 13029737 markings, 35088604 edges,
lola: 24 tries, 23467530 fired transitions, 460 secs || 13165196 markings, 35472608 edges,
lola: 24 tries, 23719406 fired transitions, 465 secs || 13302291 markings, 35851607 edges,
lola: 24 tries, 23970795 fired transitions, 470 secs || 13439293 markings, 36227952 edges,
lola: 25 tries, 24223203 fired transitions, 475 secs || 13574091 markings, 36618212 edges,
lola: 25 tries, 24475005 fired transitions, 480 secs || 13709585 markings, 37003134 edges,
lola: 25 tries, 24726539 fired transitions, 485 secs || 13846891 markings, 37389879 edges,
lola: 25 tries, 24978686 fired transitions, 490 secs || 13981739 markings, 37773435 edges,
lola: 26 tries, 25230420 fired transitions, 495 secs || 14117996 markings, 38153738 edges,
lola: 26 tries, 25482777 fired transitions, 500 secs || 14252756 markings, 38538541 edges,
lola: 26 tries, 25735099 fired transitions, 505 secs || 14387870 markings, 38924109 edges,
lola: 26 tries, 25987382 fired transitions, 510 secs || 14523145 markings, 39302809 edges,
lola: 27 tries, 26239090 fired transitions, 515 secs || 14658334 markings, 39688722 edges,
lola: 27 tries, 26491017 fired transitions, 520 secs || 14793447 markings, 40067289 edges,
lola: 27 tries, 26743461 fired transitions, 525 secs || 14927920 markings, 40452213 edges,
lola: 27 tries, 26995858 fired transitions, 530 secs || 15063061 markings, 40839893 edges,
lola: 28 tries, 27248589 fired transitions, 535 secs || 15197229 markings, 41223535 edges,
lola: 28 tries, 27500726 fired transitions, 540 secs || 15330657 markings, 41610269 edges,
lola: 28 tries, 27753616 fired transitions, 545 secs || 15463939 markings, 41996819 edges,
lola: 29 tries, 28006490 fired transitions, 550 secs || 15598557 markings, 42386094 edges,
lola: 29 tries, 28259023 fired transitions, 555 secs || 15732822 markings, 42770677 edges,
lola: 29 tries, 28510716 fired transitions, 560 secs || 15867154 markings, 43154194 edges,
lola: 29 tries, 28809664 fired transitions, 565 secs || 16024468 markings, 43604957 edges,
lola: 30 tries, 29128166 fired transitions, 570 secs || 16186594 markings, 44079685 edges,
lola: 30 tries, 29446879 fired transitions, 575 secs || 16351489 markings, 44552417 edges,
lola: 30 tries, 29765916 fired transitions, 580 secs || 16517638 markings, 45023459 edges,
lola: 31 tries, 30084897 fired transitions, 585 secs || 16682902 markings, 45499186 edges,
lola: 31 tries, 30404117 fired transitions, 590 secs || 16847822 markings, 45969623 edges,
lola: 31 tries, 30723396 fired transitions, 595 secs || 17011745 markings, 46446317 edges,
lola: 32 tries, 31008680 fired transitions, 600 secs || 17162486 markings, 46874724 edges,
lola: 32 tries, 31261722 fired transitions, 605 secs || 17297448 markings, 47257982 edges,
lola: 32 tries, 31515709 fired transitions, 610 secs || 17431443 markings, 47642822 edges,
lola: 32 tries, 31769008 fired transitions, 615 secs || 17566081 markings, 48026088 edges,
lola: 33 tries, 32023105 fired transitions, 620 secs || 17699381 markings, 48413577 edges,
lola: 33 tries, 32277492 fired transitions, 625 secs || 17832056 markings, 48801561 edges,
lola: 33 tries, 32532259 fired transitions, 630 secs || 17966535 markings, 49181970 edges,
lola: 33 tries, 32787391 fired transitions, 635 secs || 18099482 markings, 49567917 edges,
lola: 34 tries, 33041072 fired transitions, 640 secs || 18232480 markings, 49958227 edges,
lola: 34 tries, 33292914 fired transitions, 645 secs || 18366943 markings, 50343692 edges,
lola: 34 tries, 33545202 fired transitions, 650 secs || 18500281 markings, 50733539 edges,
lola: 34 tries, 33797610 fired transitions, 655 secs || 18633496 markings, 51120119 edges,
lola: 35 tries, 34049321 fired transitions, 660 secs || 18767221 markings, 51505833 edges,
lola: 35 tries, 34300622 fired transitions, 665 secs || 18902739 markings, 51890483 edges,
lola: 35 tries, 34551620 fired transitions, 670 secs || 19035811 markings, 52284115 edges,
lola: 35 tries, 34802933 fired transitions, 675 secs || 19169934 markings, 52669367 edges,
lola: 36 tries, 35055218 fired transitions, 680 secs || 19302839 markings, 53055866 edges,
lola: 36 tries, 35307250 fired transitions, 685 secs || 19436747 markings, 53441549 edges,
lola: 36 tries, 35560993 fired transitions, 690 secs || 19569670 markings, 53832632 edges,
lola: 36 tries, 35814576 fired transitions, 695 secs || 19702143 markings, 54226136 edges,
lola: 37 tries, 36067246 fired transitions, 700 secs || 19836699 markings, 54610738 edges,
lola: 37 tries, 36320839 fired transitions, 705 secs || 19971033 markings, 54996939 edges,
lola: 37 tries, 36574408 fired transitions, 710 secs || 20105253 markings, 55381464 edges,
lola: 37 tries, 36827719 fired transitions, 715 secs || 20238734 markings, 55765934 edges,
lola: 38 tries, 37081045 fired transitions, 720 secs || 20373825 markings, 56150262 edges,
lola: 38 tries, 37342098 fired transitions, 725 secs || 20511238 markings, 56547174 edges,
lola: 38 tries, 37658084 fired transitions, 730 secs || 20674425 markings, 57019507 edges,
lola: 38 tries, 37974387 fired transitions, 735 secs || 20836688 markings, 57491148 edges,
lola: 39 tries, 38293113 fired transitions, 740 secs || 20998248 markings, 57956520 edges,
lola: 39 tries, 38609046 fired transitions, 745 secs || 21161643 markings, 58434042 edges,
lola: 39 tries, 38926236 fired transitions, 750 secs || 21324721 markings, 58905579 edges,
lola: 40 tries, 39212537 fired transitions, 755 secs || 21469264 markings, 59328118 edges,
lola: 40 tries, 39472379 fired transitions, 760 secs || 21597274 markings, 59703347 edges,
lola: 40 tries, 39732270 fired transitions, 765 secs || 21725311 markings, 60081327 edges,
lola: 40 tries, 39991481 fired transitions, 770 secs || 21855737 markings, 60446975 edges,
lola: 41 tries, 40250854 fired transitions, 775 secs || 21985458 markings, 60821315 edges,
lola: 41 tries, 40509788 fired transitions, 780 secs || 22115815 markings, 61190024 edges,
lola: 41 tries, 40769847 fired transitions, 785 secs || 22243397 markings, 61567873 edges,
lola: 42 tries, 41029524 fired transitions, 790 secs || 22372473 markings, 61938408 edges,
lola: 42 tries, 41289482 fired transitions, 795 secs || 22500748 markings, 62314942 edges,
lola: 42 tries, 41548286 fired transitions, 800 secs || 22630960 markings, 62688192 edges,
lola: 42 tries, 41808424 fired transitions, 805 secs || 22758865 markings, 63063639 edges,
lola: 43 tries, 42068202 fired transitions, 810 secs || 22886714 markings, 63437437 edges,
lola: 43 tries, 42327490 fired transitions, 815 secs || 23015996 markings, 63804034 edges,
lola: 43 tries, 42587233 fired transitions, 820 secs || 23144424 markings, 64181951 edges,
lola: 43 tries, 42847478 fired transitions, 825 secs || 23272718 markings, 64554472 edges,
lola: 44 tries, 43107402 fired transitions, 830 secs || 23400650 markings, 64929048 edges,
lola: 44 tries, 43367065 fired transitions, 835 secs || 23530903 markings, 65297112 edges,
lola: 44 tries, 43626181 fired transitions, 840 secs || 23660949 markings, 65664399 edges,
lola: 44 tries, 43886367 fired transitions, 845 secs || 23788941 markings, 66043474 edges,
lola: 45 tries, 44146502 fired transitions, 850 secs || 23917002 markings, 66420057 edges,
lola: 45 tries, 44406813 fired transitions, 855 secs || 24044144 markings, 66794438 edges,
lola: 45 tries, 44667592 fired transitions, 860 secs || 24171270 markings, 67169211 edges,
lola: 45 tries, 44927506 fired transitions, 865 secs || 24299635 markings, 67543869 edges,
lola: 46 tries, 45192686 fired transitions, 870 secs || 24430770 markings, 67928107 edges,
lola: 46 tries, 45452545 fired transitions, 875 secs || 24561348 markings, 68306008 edges,
lola: 46 tries, 45712219 fired transitions, 880 secs || 24690089 markings, 68684036 edges,
lola: 46 tries, 45971794 fired transitions, 885 secs || 24819105 markings, 69057140 edges,
lola: 47 tries, 46232439 fired transitions, 890 secs || 24947189 markings, 69439347 edges,
lola: 47 tries, 46491575 fired transitions, 895 secs || 25077810 markings, 69811172 edges,
lola: 47 tries, 46751515 fired transitions, 900 secs || 25207410 markings, 70186880 edges,
lola: 48 tries, 47011271 fired transitions, 905 secs || 25336458 markings, 70563147 edges,
lola: 48 tries, 47271139 fired transitions, 910 secs || 25466053 markings, 70939303 edges,
lola: 48 tries, 47530946 fired transitions, 915 secs || 25595897 markings, 71319020 edges,
lola: 48 tries, 47791226 fired transitions, 920 secs || 25724431 markings, 71695509 edges,
lola: 49 tries, 48052212 fired transitions, 925 secs || 25852709 markings, 72077306 edges,
lola: 49 tries, 48311908 fired transitions, 930 secs || 25982446 markings, 72447784 edges,
lola: 49 tries, 48571443 fired transitions, 935 secs || 26112437 markings, 72820005 edges,
lola: 49 tries, 48832144 fired transitions, 940 secs || 26240439 markings, 73197176 edges,
lola: 50 tries, 49091987 fired transitions, 945 secs || 26369829 markings, 73571776 edges,
lola: 50 tries, 49351475 fired transitions, 950 secs || 26498623 markings, 73948140 edges,
lola: 50 tries, 49611521 fired transitions, 955 secs || 26626801 markings, 74320342 edges,
lola: 50 tries, 49871774 fired transitions, 960 secs || 26754547 markings, 74699541 edges,
lola: 51 tries, 50132182 fired transitions, 965 secs || 26882545 markings, 75077574 edges,
lola: 51 tries, 50392496 fired transitions, 970 secs || 27010335 markings, 75458885 edges,
lola: 51 tries, 50652526 fired transitions, 975 secs || 27139482 markings, 75835047 edges,
lola: 51 tries, 50912055 fired transitions, 980 secs || 27268962 markings, 76209174 edges,
lola: 52 tries, 51172491 fired transitions, 985 secs || 27397494 markings, 76584164 edges,
lola: 52 tries, 51433373 fired transitions, 990 secs || 27525649 markings, 76963889 edges,
lola: 52 tries, 51694277 fired transitions, 995 secs || 27652470 markings, 77347357 edges,
lola: 52 tries, 51954410 fired transitions, 1000 secs || 27781530 markings, 77722647 edges,
lola: 53 tries, 52214440 fired transitions, 1005 secs || 27910041 markings, 78099516 edges,
lola: 53 tries, 52475417 fired transitions, 1010 secs || 28036839 markings, 78483189 edges,
lola: 53 tries, 52736691 fired transitions, 1015 secs || 28163782 markings, 78866619 edges,
lola: 53 tries, 52997045 fired transitions, 1020 secs || 28292089 markings, 79242965 edges,
lola: 54 tries, 53256795 fired transitions, 1025 secs || 28421070 markings, 79618612 edges,
lola: 54 tries, 53517300 fired transitions, 1030 secs || 28549543 markings, 79998015 edges,
lola: 54 tries, 53777712 fired transitions, 1035 secs || 28677832 markings, 80376683 edges,
lola: 55 tries, 54038474 fired transitions, 1040 secs || 28804726 markings, 80758644 edges,
lola: 55 tries, 54298536 fired transitions, 1045 secs || 28933703 markings, 81130693 edges,
lola: 55 tries, 54559201 fired transitions, 1050 secs || 29061771 markings, 81510362 edges,
lola: 55 tries, 54819700 fired transitions, 1055 secs || 29189191 markings, 81888498 edges,
lola: 56 tries, 55097734 fired transitions, 1060 secs || 29326211 markings, 82295545 edges,
lola: 56 tries, 55415792 fired transitions, 1065 secs || 29486040 markings, 82761488 edges,
lola: 56 tries, 55699553 fired transitions, 1070 secs || 29625957 markings, 83173892 edges,
lola: 56 tries, 55960571 fired transitions, 1075 secs || 29752774 markings, 83552475 edges,
lola: 57 tries, 56249355 fired transitions, 1080 secs || 29895777 markings, 83972555 edges,
lola: 57 tries, 56537015 fired transitions, 1085 secs || 30037296 markings, 84384470 edges,
lola: 57 tries, 56797471 fired transitions, 1090 secs || 30164020 markings, 84761736 edges,
lola: 58 tries, 57058056 fired transitions, 1095 secs || 30291696 markings, 85137031 edges,
lola: 58 tries, 57318791 fired transitions, 1100 secs || 30419322 markings, 85506792 edges,
lola: 58 tries, 57579598 fired transitions, 1105 secs || 30546554 markings, 85882010 edges,
lola: 58 tries, 57840666 fired transitions, 1110 secs || 30672855 markings, 86262844 edges,
lola: 59 tries, 58098931 fired transitions, 1115 secs || 30799126 markings, 86641607 edges,
lola: 59 tries, 58334197 fired transitions, 1120 secs || 30925700 markings, 87013084 edges,
lola: 59 tries, 58569842 fired transitions, 1125 secs || 31050532 markings, 87389053 edges,
lola: 59 tries, 58804463 fired transitions, 1130 secs || 31178329 markings, 87757085 edges,
lola: 60 tries, 59044050 fired transitions, 1135 secs || 31304437 markings, 88133554 edges,
lola: 60 tries, 59304805 fired transitions, 1140 secs || 31430718 markings, 88511555 edges,
lola: 60 tries, 59565071 fired transitions, 1145 secs || 31559360 markings, 88877322 edges,
lola: 60 tries, 59826297 fired transitions, 1150 secs || 31685440 markings, 89252622 edges,
lola: 61 tries, 60087643 fired transitions, 1155 secs || 31811175 markings, 89634103 edges,
lola: 61 tries, 60347670 fired transitions, 1160 secs || 31940087 markings, 90002096 edges,
lola: 61 tries, 60608358 fired transitions, 1165 secs || 32067041 markings, 90379863 edges,
lola: 61 tries, 60869027 fired transitions, 1170 secs || 32193935 markings, 90752366 edges,
lola: 62 tries, 61129756 fired transitions, 1175 secs || 32321018 markings, 91126355 edges,
lola: 62 tries, 61390644 fired transitions, 1180 secs || 32448168 markings, 91502421 edges,
lola: 62 tries, 61652053 fired transitions, 1185 secs || 32574817 markings, 91882649 edges,
lola: 62 tries, 61912674 fired transitions, 1190 secs || 32701713 markings, 92258692 edges,
lola: 63 tries, 62173420 fired transitions, 1195 secs || 32828036 markings, 92632286 edges,
lola: 63 tries, 62434904 fired transitions, 1200 secs || 32953303 markings, 93014030 edges,
lola: 63 tries, 62696194 fired transitions, 1205 secs || 33079499 markings, 93390475 edges,
lola: 63 tries, 62957042 fired transitions, 1210 secs || 33206147 markings, 93766524 edges,
lola: 64 tries, 63217849 fired transitions, 1215 secs || 33332897 markings, 94139668 edges,
lola: 64 tries, 63477853 fired transitions, 1220 secs || 33460443 markings, 94511997 edges,
lola: 64 tries, 63738686 fired transitions, 1225 secs || 33587423 markings, 94889355 edges,
lola: 64 tries, 63998902 fired transitions, 1230 secs || 33715382 markings, 95262211 edges,
lola: 65 tries, 64259617 fired transitions, 1235 secs || 33842861 markings, 95638871 edges,
lola: 65 tries, 64520746 fired transitions, 1240 secs || 33969359 markings, 96012313 edges,
lola: 65 tries, 64781280 fired transitions, 1245 secs || 34096901 markings, 96385605 edges,
lola: 66 tries, 65042616 fired transitions, 1250 secs || 34222765 markings, 96767775 edges,
lola: 66 tries, 65304025 fired transitions, 1255 secs || 34348501 markings, 97147099 edges,
lola: 66 tries, 65565543 fired transitions, 1260 secs || 34474326 markings, 97526261 edges,
lola: 66 tries, 65827208 fired transitions, 1265 secs || 34600005 markings, 97907645 edges,
lola: 67 tries, 66088797 fired transitions, 1270 secs || 34725647 markings, 98284902 edges,
lola: 67 tries, 66349524 fired transitions, 1275 secs || 34852120 markings, 98660369 edges,
lola: 67 tries, 66610184 fired transitions, 1280 secs || 34979307 markings, 99035298 edges,
lola: 67 tries, 66870580 fired transitions, 1285 secs || 35106907 markings, 99409102 edges,
lola: 68 tries, 67131020 fired transitions, 1290 secs || 35234345 markings, 99774667 edges,
lola: 68 tries, 67391820 fired transitions, 1295 secs || 35360758 markings, 100150728 edges,
lola: 68 tries, 67653508 fired transitions, 1300 secs || 35485668 markings, 100531942 edges,
lola: 68 tries, 67914318 fired transitions, 1305 secs || 35612648 markings, 100905160 edges,
lola: 69 tries, 68175635 fired transitions, 1310 secs || 35737686 markings, 101285184 edges,
lola: 69 tries, 68436371 fired transitions, 1315 secs || 35864494 markings, 101659317 edges,
lola: 69 tries, 68697130 fired transitions, 1320 secs || 35991817 markings, 102030942 edges,
lola: 69 tries, 68958123 fired transitions, 1325 secs || 36118319 markings, 102403906 edges,
lola: 70 tries, 69219240 fired transitions, 1330 secs || 36244881 markings, 102776596 edges,
lola: 70 tries, 69481550 fired transitions, 1335 secs || 36368981 markings, 103165187 edges,
lola: 70 tries, 69742243 fired transitions, 1340 secs || 36495456 markings, 103542569 edges,
lola: 71 tries, 70002699 fired transitions, 1345 secs || 36622172 markings, 103934884 edges,
lola: 71 tries, 70262242 fired transitions, 1350 secs || 36750248 markings, 104321046 edges,
lola: 71 tries, 70554232 fired transitions, 1355 secs || 36894326 markings, 104757161 edges,
lola: 71 tries, 70858953 fired transitions, 1360 secs || 37044755 markings, 105208038 edges,
lola: 72 tries, 71164346 fired transitions, 1365 secs || 37192511 markings, 105665247 edges,
lola: 72 tries, 71470087 fired transitions, 1370 secs || 37338382 markings, 106130208 edges,
lola: 72 tries, 71730160 fired transitions, 1375 secs || 37473519 markings, 106533787 edges,
lola: 72 tries, 71989485 fired transitions, 1380 secs || 37601695 markings, 106914447 edges,
lola: 73 tries, 72248723 fired transitions, 1385 secs || 37730510 markings, 107295694 edges,
lola: 73 tries, 72508115 fired transitions, 1390 secs || 37858752 markings, 107680077 edges,
lola: 73 tries, 72767294 fired transitions, 1395 secs || 37987044 markings, 108061939 edges,
lola: 74 tries, 73027943 fired transitions, 1400 secs || 38113081 markings, 108448876 edges,
lola: 74 tries, 73288543 fired transitions, 1405 secs || 38240863 markings, 108828194 edges,
lola: 74 tries, 73548498 fired transitions, 1410 secs || 38368542 markings, 109210878 edges,
lola: 74 tries, 73796802 fired transitions, 1415 secs || 38497595 markings, 109593126 edges,
lola: 75 tries, 74055666 fired transitions, 1420 secs || 38625624 markings, 109968809 edges,
lola: 75 tries, 74314417 fired transitions, 1425 secs || 38753881 markings, 110347785 edges,
lola: 75 tries, 74573823 fired transitions, 1430 secs || 38880580 markings, 110730171 edges,
lola: 75 tries, 74832908 fired transitions, 1435 secs || 39007457 markings, 111117315 edges,
lola: 76 tries, 75091965 fired transitions, 1440 secs || 39135667 markings, 111492433 edges,
lola: 76 tries, 75351397 fired transitions, 1445 secs || 39262095 markings, 111877681 edges,
lola: 76 tries, 75610300 fired transitions, 1450 secs || 39389364 markings, 112256162 edges,
lola: 76 tries, 75868809 fired transitions, 1455 secs || 39517855 markings, 112632789 edges,
lola: 77 tries, 76127886 fired transitions, 1460 secs || 39644692 markings, 113008082 edges,
lola: 77 tries, 76386650 fired transitions, 1465 secs || 39772706 markings, 113385004 edges,
lola: 77 tries, 76644491 fired transitions, 1470 secs || 39900270 markings, 113770941 edges,
lola: 77 tries, 76901775 fired transitions, 1475 secs || 40028304 markings, 114148171 edges,
lola: 78 tries, 77159597 fired transitions, 1480 secs || 40155372 markings, 114533242 edges,
lola: 78 tries, 77418155 fired transitions, 1485 secs || 40283656 markings, 114909921 edges,
lola: 78 tries, 77677194 fired transitions, 1490 secs || 40411532 markings, 115290898 edges,
lola: 78 tries, 77935920 fired transitions, 1495 secs || 40539695 markings, 115666750 edges,
lola: 79 tries, 78194637 fired transitions, 1500 secs || 40667898 markings, 116044345 edges,
lola: 79 tries, 78454019 fired transitions, 1505 secs || 40794597 markings, 116422415 edges,
lola: 79 tries, 78714255 fired transitions, 1510 secs || 40920869 markings, 116807930 edges,
lola: 79 tries, 78973824 fired transitions, 1515 secs || 41047173 markings, 117191437 edges,
lola: 80 tries, 79233443 fired transitions, 1520 secs || 41173624 markings, 117571789 edges,
lola: 80 tries, 79493715 fired transitions, 1525 secs || 41299562 markings, 117957760 edges,
lola: 80 tries, 79753008 fired transitions, 1530 secs || 41427339 markings, 118336011 edges,
lola: 81 tries, 80012542 fired transitions, 1535 secs || 41554472 markings, 118718105 edges,
lola: 81 tries, 80271719 fired transitions, 1540 secs || 41682562 markings, 119095983 edges,
lola: 81 tries, 80531268 fired transitions, 1545 secs || 41809664 markings, 119476550 edges,
lola: 81 tries, 80790572 fired transitions, 1550 secs || 41936715 markings, 119857613 edges,
lola: 82 tries, 81050254 fired transitions, 1555 secs || 42063604 markings, 120240844 edges,
lola: 82 tries, 81309467 fired transitions, 1560 secs || 42190271 markings, 120623201 edges,
lola: 82 tries, 81569216 fired transitions, 1565 secs || 42316802 markings, 121002142 edges,
lola: 82 tries, 81829204 fired transitions, 1570 secs || 42443153 markings, 121386851 edges,
lola: 83 tries, 82087394 fired transitions, 1575 secs || 42571844 markings, 121762231 edges,
lola: 83 tries, 82347217 fired transitions, 1580 secs || 42698408 markings, 122144361 edges,
lola: 83 tries, 82606728 fired transitions, 1585 secs || 42825325 markings, 122528168 edges,
lola: 83 tries, 82866762 fired transitions, 1590 secs || 42950502 markings, 122920277 edges,
lola: 84 tries, 83125450 fired transitions, 1595 secs || 43079173 markings, 123293549 edges,
lola: 84 tries, 83385163 fired transitions, 1600 secs || 43205737 markings, 123680833 edges,
lola: 84 tries, 83644955 fired transitions, 1605 secs || 43331978 markings, 124066853 edges,
lola: 84 tries, 83904765 fired transitions, 1610 secs || 43457180 markings, 124451813 edges,
lola: 85 tries, 84164156 fired transitions, 1615 secs || 43583787 markings, 124835115 edges,
lola: 85 tries, 84418215 fired transitions, 1620 secs || 43710731 markings, 125215601 edges,
lola: 85 tries, 84651844 fired transitions, 1625 secs || 43838279 markings, 125590660 edges,
lola: 85 tries, 84886416 fired transitions, 1630 secs || 43964655 markings, 125974580 edges,
lola: 86 tries, 85133230 fired transitions, 1635 secs || 44092813 markings, 126351704 edges,
lola: 86 tries, 85392203 fired transitions, 1640 secs || 44220238 markings, 126728450 edges,
lola: 86 tries, 85652204 fired transitions, 1645 secs || 44347256 markings, 127105322 edges,
lola: 86 tries, 85912267 fired transitions, 1650 secs || 44473434 markings, 127489817 edges,
lola: 87 tries, 86171458 fired transitions, 1655 secs || 44600315 markings, 127866824 edges,
lola: 87 tries, 86430843 fired transitions, 1660 secs || 44726598 markings, 128243960 edges,
lola: 87 tries, 86691004 fired transitions, 1665 secs || 44852914 markings, 128628810 edges,
lola: 87 tries, 86950678 fired transitions, 1670 secs || 44978966 markings, 129008325 edges,
lola: 88 tries, 87209760 fired transitions, 1675 secs || 45106039 markings, 129385693 edges,
lola: 88 tries, 87469187 fired transitions, 1680 secs || 45232630 markings, 129760466 edges,
lola: 88 tries, 87728838 fired transitions, 1685 secs || 45360075 markings, 130141160 edges,
lola: 88 tries, 87988471 fired transitions, 1690 secs || 45486510 markings, 130521706 edges,
lola: 89 tries, 88247736 fired transitions, 1695 secs || 45614163 markings, 130900076 edges,
lola: 89 tries, 88506540 fired transitions, 1700 secs || 45742806 markings, 131273285 edges,
lola: 89 tries, 88765526 fired transitions, 1705 secs || 45870453 markings, 131646425 edges,
lola: 90 tries, 89024929 fired transitions, 1710 secs || 45997262 markings, 132026004 edges,
lola: 90 tries, 89284255 fired transitions, 1715 secs || 46124291 markings, 132405366 edges,
lola: 90 tries, 89544081 fired transitions, 1720 secs || 46250690 markings, 132790411 edges,
lola: 90 tries, 89803350 fired transitions, 1725 secs || 46377031 markings, 133169970 edges,
lola: 91 tries, 90062063 fired transitions, 1730 secs || 46504827 markings, 133551181 edges,
lola: 91 tries, 90321813 fired transitions, 1735 secs || 46631720 markings, 133925431 edges,
lola: 91 tries, 90581560 fired transitions, 1740 secs || 46758012 markings, 134306268 edges,
lola: 91 tries, 90840947 fired transitions, 1745 secs || 46884846 markings, 134686024 edges,
lola: 92 tries, 91100371 fired transitions, 1750 secs || 47011736 markings, 135064273 edges,
lola: 92 tries, 91359722 fired transitions, 1755 secs || 47139294 markings, 135435719 edges,
lola: 92 tries, 91618950 fired transitions, 1760 secs || 47266587 markings, 135815303 edges,
lola: 92 tries, 91878482 fired transitions, 1765 secs || 47393328 markings, 136197042 edges,
lola: 93 tries, 92138547 fired transitions, 1770 secs || 47519222 markings, 136578482 edges,
lola: 93 tries, 92398253 fired transitions, 1775 secs || 47645121 markings, 136956780 edges,
lola: 93 tries, 92658541 fired transitions, 1780 secs || 47772037 markings, 137333576 edges,
lola: 93 tries, 92901158 fired transitions, 1785 secs || 47898113 markings, 137711627 edges,
lola: 94 tries, 93150686 fired transitions, 1790 secs || 48025077 markings, 138092425 edges,
lola: 94 tries, 93409894 fired transitions, 1795 secs || 48153340 markings, 138467393 edges,
lola: 94 tries, 93669561 fired transitions, 1800 secs || 48279362 markings, 138851626 edges,
lola: 94 tries, 93929537 fired transitions, 1805 secs || 48404953 markings, 139237181 edges,
lola: 95 tries, 94189310 fired transitions, 1810 secs || 48531003 markings, 139619772 edges,
lola: 95 tries, 94449139 fired transitions, 1815 secs || 48656691 markings, 140004218 edges,
lola: 95 tries, 94708511 fired transitions, 1820 secs || 48783082 markings, 140380869 edges,
lola: 95 tries, 94967867 fired transitions, 1825 secs || 48908767 markings, 140759288 edges,
lola: 96 tries, 95227003 fired transitions, 1830 secs || 49036235 markings, 141136415 edges,
lola: 96 tries, 95486411 fired transitions, 1835 secs || 49163788 markings, 141514380 edges,
lola: 96 tries, 95745718 fired transitions, 1840 secs || 49290721 markings, 141891952 edges,
lola: 97 tries, 96004692 fired transitions, 1845 secs || 49418865 markings, 142265718 edges,
lola: 97 tries, 96264696 fired transitions, 1850 secs || 49545270 markings, 142642522 edges,
lola: 97 tries, 96524813 fired transitions, 1855 secs || 49671722 markings, 143024110 edges,
lola: 97 tries, 96784790 fired transitions, 1860 secs || 49798305 markings, 143403186 edges,
lola: 98 tries, 97044239 fired transitions, 1865 secs || 49925610 markings, 143781185 edges,
lola: 98 tries, 97304309 fired transitions, 1870 secs || 50051528 markings, 144157784 edges,
lola: 98 tries, 97563225 fired transitions, 1875 secs || 50179416 markings, 144530164 edges,
lola: 98 tries, 97822619 fired transitions, 1880 secs || 50306904 markings, 144906588 edges,
lola: 99 tries, 98082194 fired transitions, 1885 secs || 50433061 markings, 145280414 edges,
lola: 99 tries, 98341580 fired transitions, 1890 secs || 50559915 markings, 145653511 edges,
lola: 99 tries, 98600924 fired transitions, 1895 secs || 50687523 markings, 146030921 edges,
lola: 99 tries, 98859948 fired transitions, 1900 secs || 50815111 markings, 146402196 edges,
lola: 100 tries, 99119566 fired transitions, 1905 secs || 50941630 markings, 146780763 edges,
lola: 100 tries, 99378329 fired transitions, 1910 secs || 51069077 markings, 147154253 edges,
lola: 100 tries, 99638204 fired transitions, 1915 secs || 51195342 markings, 147537777 edges,
lola: 100 tries, 99897629 fired transitions, 1920 secs || 51322506 markings, 147918246 edges,
lola: 101 tries, 100157112 fired transitions, 1925 secs || 51448543 markings, 148293136 edges,
lola: 101 tries, 100416762 fired transitions, 1930 secs || 51575555 markings, 148675336 edges,
lola: 101 tries, 100675694 fired transitions, 1935 secs || 51702609 markings, 149042454 edges,
lola: 101 tries, 100935998 fired transitions, 1940 secs || 51828096 markings, 149428703 edges,
lola: 102 tries, 101195318 fired transitions, 1945 secs || 51955332 markings, 149803050 edges,
lola: 102 tries, 101456300 fired transitions, 1950 secs || 52079359 markings, 150188502 edges,
lola: 102 tries, 101715649 fired transitions, 1955 secs || 52206150 markings, 150564622 edges,
lola: 102 tries, 101975233 fired transitions, 1960 secs || 52333593 markings, 150938855 edges,
lola: 103 tries, 102234089 fired transitions, 1965 secs || 52460717 markings, 151316866 edges,
lola: 103 tries, 102492982 fired transitions, 1970 secs || 52588113 markings, 151689184 edges,
lola: 103 tries, 102752665 fired transitions, 1975 secs || 52713511 markings, 152071373 edges,
lola: 104 tries, 103012128 fired transitions, 1980 secs || 52839175 markings, 152444499 edges,
lola: 104 tries, 103272049 fired transitions, 1985 secs || 52965690 markings, 152821845 edges,
lola: 104 tries, 103531421 fired transitions, 1990 secs || 53093267 markings, 153196410 edges,
lola: 104 tries, 103790598 fired transitions, 1995 secs || 53219578 markings, 153578896 edges,
lola: 105 tries, 104050761 fired transitions, 2000 secs || 53344808 markings, 153962931 edges,
lola: 105 tries, 104310475 fired transitions, 2005 secs || 53470770 markings, 154342995 edges,
lola: 105 tries, 104570181 fired transitions, 2010 secs || 53597935 markings, 154716671 edges,
lola: 105 tries, 104829944 fired transitions, 2015 secs || 53724569 markings, 155094579 edges,
lola: 106 tries, 105089497 fired transitions, 2020 secs || 53851340 markings, 155473563 edges,
lola: 106 tries, 105349147 fired transitions, 2025 secs || 53977621 markings, 155852690 edges,
lola: 106 tries, 105609289 fired transitions, 2030 secs || 54103722 markings, 156230418 edges,
lola: 106 tries, 105869128 fired transitions, 2035 secs || 54230160 markings, 156610268 edges,
lola: 107 tries, 106128641 fired transitions, 2040 secs || 54356965 markings, 156988395 edges,
lola: 107 tries, 106389628 fired transitions, 2045 secs || 54483267 markings, 157366560 edges,
lola: 107 tries, 106688012 fired transitions, 2050 secs || 54631236 markings, 157813763 edges,
lola: 108 tries, 107003394 fired transitions, 2055 secs || 54786241 markings, 158284173 edges,
lola: 108 tries, 107321002 fired transitions, 2060 secs || 54943412 markings, 158757321 edges,
lola: 108 tries, 107556094 fired transitions, 2065 secs || 55070463 markings, 159133457 edges,
lola: 108 tries, 107811143 fired transitions, 2070 secs || 55196837 markings, 159513221 edges,
lola: 109 tries, 108066147 fired transitions, 2075 secs || 55323842 markings, 159887278 edges,
lola: 109 tries, 108321506 fired transitions, 2080 secs || 55449543 markings, 160269865 edges,
lola: 109 tries, 108576996 fired transitions, 2085 secs || 55575008 markings, 160653883 edges,
lola: 109 tries, 108823053 fired transitions, 2090 secs || 55702634 markings, 161029944 edges,
lola: 110 tries, 109073974 fired transitions, 2095 secs || 55834249 markings, 161416933 edges,
lola: 110 tries, 109327146 fired transitions, 2100 secs || 55964112 markings, 161800786 edges,
lola: 110 tries, 109584182 fired transitions, 2105 secs || 56091551 markings, 162189027 edges,
lola: 110 tries, 109889961 fired transitions, 2110 secs || 56245859 markings, 162649945 edges,
lola: 111 tries, 110208212 fired transitions, 2115 secs || 56404162 markings, 163134830 edges,
lola: 111 tries, 110468677 fired transitions, 2120 secs || 56537967 markings, 163535372 edges,
lola: 111 tries, 110723642 fired transitions, 2125 secs || 56668362 markings, 163927202 edges,
lola: 111 tries, 110978911 fired transitions, 2130 secs || 56797518 markings, 164321181 edges,
lola: 112 tries, 111234498 fired transitions, 2135 secs || 56927623 markings, 164711186 edges,
lola: 112 tries, 111489972 fired transitions, 2140 secs || 57059191 markings, 165097481 edges,
lola: 112 tries, 111746553 fired transitions, 2145 secs || 57189007 markings, 165494944 edges,
lola: 113 tries, 112002423 fired transitions, 2150 secs || 57319848 markings, 165884430 edges,
lola: 113 tries, 112257500 fired transitions, 2155 secs || 57450275 markings, 166273296 edges,
lola: 113 tries, 112556355 fired transitions, 2160 secs || 57600839 markings, 166724886 edges,
lola: 113 tries, 112874016 fired transitions, 2165 secs || 57760562 markings, 167202962 edges,
lola: 114 tries, 113143708 fired transitions, 2170 secs || 57897830 markings, 167611125 edges,
lola: 114 tries, 113400311 fired transitions, 2175 secs || 58027716 markings, 168004227 edges,
lola: 114 tries, 113656859 fired transitions, 2180 secs || 58158615 markings, 168395957 edges,
lola: 114 tries, 113916714 fired transitions, 2185 secs || 58286832 markings, 168782558 edges,
lola: 115 tries, 114176527 fired transitions, 2190 secs || 58414901 markings, 169168406 edges,
lola: 115 tries, 114431972 fired transitions, 2195 secs || 58547421 markings, 169551877 edges,
lola: 115 tries, 114729774 fired transitions, 2200 secs || 58698965 markings, 169999044 edges,
lola: 116 tries, 115047157 fired transitions, 2205 secs || 58859864 markings, 170469451 edges,
lola: 116 tries, 115365276 fired transitions, 2210 secs || 59017485 markings, 170952802 edges,
lola: 116 tries, 115644848 fired transitions, 2215 secs || 59154553 markings, 171358032 edges,
lola: 116 tries, 115904565 fired transitions, 2220 secs || 59281435 markings, 171734784 edges,
lola: 117 tries, 116164285 fired transitions, 2225 secs || 59407895 markings, 172111115 edges,
lola: 117 tries, 116424430 fired transitions, 2230 secs || 59533947 markings, 172492284 edges,
lola: 117 tries, 116684652 fired transitions, 2235 secs || 59659209 markings, 172876459 edges,
lola: 117 tries, 116945309 fired transitions, 2240 secs || 59784650 markings, 173255335 edges,
lola: 118 tries, 117205583 fired transitions, 2245 secs || 59910453 markings, 173631670 edges,
lola: 118 tries, 117465975 fired transitions, 2250 secs || 60035624 markings, 174010710 edges,
lola: 118 tries, 117726014 fired transitions, 2255 secs || 60160851 markings, 174390584 edges,
lola: 118 tries, 117986641 fired transitions, 2260 secs || 60286651 markings, 174767051 edges,
lola: 119 tries, 118246420 fired transitions, 2265 secs || 60413543 markings, 175140611 edges,
lola: 119 tries, 118507065 fired transitions, 2270 secs || 60537768 markings, 175520637 edges,
lola: 119 tries, 118766443 fired transitions, 2275 secs || 60664204 markings, 175892933 edges,
lola: 120 tries, 119007275 fired transitions, 2280 secs || 60791170 markings, 176265057 edges,
lola: 120 tries, 119268024 fired transitions, 2285 secs || 60915524 markings, 176647678 edges,
lola: 120 tries, 119528412 fired transitions, 2290 secs || 61040537 markings, 177028041 edges,
lola: 120 tries, 119788840 fired transitions, 2295 secs || 61166227 markings, 177405643 edges,
lola: 121 tries, 120049388 fired transitions, 2300 secs || 61290886 markings, 177784866 edges,
lola: 121 tries, 120309702 fired transitions, 2305 secs || 61416367 markings, 178165739 edges,
lola: 121 tries, 120570247 fired transitions, 2310 secs || 61540924 markings, 178542780 edges,
lola: 121 tries, 120830026 fired transitions, 2315 secs || 61667086 markings, 178922635 edges,
lola: 122 tries, 121091145 fired transitions, 2320 secs || 61791122 markings, 179304478 edges,
lola: 122 tries, 121351548 fired transitions, 2325 secs || 61916591 markings, 179683076 edges,
lola: 122 tries, 121611366 fired transitions, 2330 secs || 62043350 markings, 180054159 edges,
lola: 122 tries, 121870941 fired transitions, 2335 secs || 62169481 markings, 180428785 edges,
lola: 123 tries, 122130880 fired transitions, 2340 secs || 62295125 markings, 180804005 edges,
lola: 123 tries, 122392110 fired transitions, 2345 secs || 62420022 markings, 181184046 edges,
lola: 123 tries, 122652611 fired transitions, 2350 secs || 62544925 markings, 181556677 edges,
lola: 123 tries, 122912744 fired transitions, 2355 secs || 62670409 markings, 181936451 edges,
lola: 124 tries, 123172750 fired transitions, 2360 secs || 62797207 markings, 182312476 edges,
lola: 124 tries, 123433032 fired transitions, 2365 secs || 62923304 markings, 182688097 edges,
lola: 124 tries, 123693601 fired transitions, 2370 secs || 63048608 markings, 183064309 edges,
lola: 124 tries, 123954109 fired transitions, 2375 secs || 63173592 markings, 183436692 edges,
lola: 125 tries, 124214563 fired transitions, 2380 secs || 63298670 markings, 183811811 edges,
lola: 125 tries, 124474564 fired transitions, 2385 secs || 63424332 markings, 184185203 edges,
lola: 125 tries, 124734778 fired transitions, 2390 secs || 63550394 markings, 184560665 edges,
lola: 125 tries, 124995732 fired transitions, 2395 secs || 63674803 markings, 184936590 edges,
lola: 126 tries, 125256426 fired transitions, 2400 secs || 63800528 markings, 185313078 edges,
lola: 126 tries, 125516684 fired transitions, 2405 secs || 63924975 markings, 185688889 edges,
lola: 126 tries, 125776336 fired transitions, 2410 secs || 64051707 markings, 186061610 edges,
lola: 127 tries, 126037340 fired transitions, 2415 secs || 64175698 markings, 186442923 edges,
lola: 127 tries, 126297335 fired transitions, 2420 secs || 64301573 markings, 186815588 edges,
lola: 127 tries, 126557784 fired transitions, 2425 secs || 64426458 markings, 187196594 edges,
lola: 127 tries, 126818130 fired transitions, 2430 secs || 64551778 markings, 187576117 edges,
lola: 128 tries, 127079088 fired transitions, 2435 secs || 64674966 markings, 187961950 edges,
lola: 128 tries, 127339187 fired transitions, 2440 secs || 64800095 markings, 188339243 edges,
lola: 128 tries, 127599965 fired transitions, 2445 secs || 64925545 markings, 188715028 edges,
lola: 128 tries, 127860102 fired transitions, 2450 secs || 65051278 markings, 189086905 edges,
lola: 129 tries, 128120563 fired transitions, 2455 secs || 65175443 markings, 189467385 edges,
lola: 129 tries, 128380812 fired transitions, 2460 secs || 65300710 markings, 189840610 edges,
lola: 129 tries, 128641175 fired transitions, 2465 secs || 65426107 markings, 190213459 edges,
lola: 129 tries, 128901541 fired transitions, 2470 secs || 65550937 markings, 190589184 edges,
lola: 130 tries, 129161945 fired transitions, 2475 secs || 65675282 markings, 190967015 edges,
lola: 130 tries, 129422929 fired transitions, 2480 secs || 65801051 markings, 191343504 edges,
lola: 130 tries, 129684156 fired transitions, 2485 secs || 65924365 markings, 191720440 edges,
lola: 130 tries, 129945196 fired transitions, 2490 secs || 66048619 markings, 192098040 edges,
lola: 131 tries, 130205635 fired transitions, 2495 secs || 66174034 markings, 192471477 edges,
lola: 131 tries, 130465727 fired transitions, 2500 secs || 66299554 markings, 192845547 edges,
lola: 131 tries, 130726018 fired transitions, 2505 secs || 66424809 markings, 193217618 edges,
lola: 131 tries, 130987208 fired transitions, 2510 secs || 66549185 markings, 193595433 edges,
lola: 132 tries, 131249107 fired transitions, 2515 secs || 66672222 markings, 193977342 edges,
lola: 132 tries, 131509356 fired transitions, 2520 secs || 66798418 markings, 194347330 edges,
lola: 132 tries, 131770754 fired transitions, 2525 secs || 66922552 markings, 194731013 edges,
lola: 133 tries, 132031631 fired transitions, 2530 secs || 67047919 markings, 195107547 edges,
lola: 133 tries, 132292390 fired transitions, 2535 secs || 67172642 markings, 195478564 edges,
lola: 133 tries, 132553784 fired transitions, 2540 secs || 67296966 markings, 195859846 edges,
lola: 133 tries, 132814093 fired transitions, 2545 secs || 67421781 markings, 196231090 edges,
lola: 134 tries, 133074550 fired transitions, 2550 secs || 67547446 markings, 196609375 edges,
lola: 134 tries, 133336049 fired transitions, 2555 secs || 67669530 markings, 196992940 edges,
lola: 134 tries, 133597072 fired transitions, 2560 secs || 67793049 markings, 197369775 edges,
lola: 134 tries, 133858211 fired transitions, 2565 secs || 67917653 markings, 197745404 edges,
lola: 135 tries, 134119215 fired transitions, 2570 secs || 68042014 markings, 198120915 edges,
lola: 135 tries, 134380714 fired transitions, 2575 secs || 68165674 markings, 198498941 edges,
lola: 135 tries, 134641285 fired transitions, 2580 secs || 68289975 markings, 198871674 edges,
lola: 135 tries, 134901881 fired transitions, 2585 secs || 68416147 markings, 199243057 edges,
lola: 136 tries, 135162709 fired transitions, 2590 secs || 68540849 markings, 199617565 edges,
lola: 136 tries, 135423906 fired transitions, 2595 secs || 68665219 markings, 199994809 edges,
lola: 136 tries, 135684626 fired transitions, 2600 secs || 68790791 markings, 200372461 edges,
lola: 136 tries, 135944032 fired transitions, 2605 secs || 68918459 markings, 200740848 edges,
lola: 137 tries, 136204423 fired transitions, 2610 secs || 69043180 markings, 201118091 edges,
lola: 137 tries, 136465709 fired transitions, 2615 secs || 69166972 markings, 201494878 edges,
lola: 137 tries, 136725610 fired transitions, 2620 secs || 69294017 markings, 201868162 edges,
lola: 138 tries, 137018438 fired transitions, 2625 secs || 69438366 markings, 202295177 edges,
lola: 138 tries, 137337433 fired transitions, 2630 secs || 69598469 markings, 202765324 edges,
lola: 138 tries, 137656723 fired transitions, 2635 secs || 69755400 markings, 203246833 edges,
lola: 138 tries, 137975837 fired transitions, 2640 secs || 69913430 markings, 203721987 edges,
lola: 139 tries, 138295201 fired transitions, 2645 secs || 70071503 markings, 204195507 edges,
lola: 139 tries, 138614560 fired transitions, 2650 secs || 70229267 markings, 204664172 edges,
lola: 139 tries, 138933622 fired transitions, 2655 secs || 70387683 markings, 205138465 edges,
lola: 140 tries, 139252662 fired transitions, 2660 secs || 70543872 markings, 205615707 edges,
lola: 140 tries, 139571853 fired transitions, 2665 secs || 70701770 markings, 206090259 edges,
lola: 140 tries, 139864675 fired transitions, 2670 secs || 70844729 markings, 206521699 edges,
lola: 141 tries, 140125752 fired transitions, 2675 secs || 70969101 markings, 206895036 edges,
lola: 141 tries, 140386862 fired transitions, 2680 secs || 71093580 markings, 207272257 edges,
lola: 141 tries, 140648424 fired transitions, 2685 secs || 71217098 markings, 207651491 edges,
lola: 141 tries, 140909388 fired transitions, 2690 secs || 71341307 markings, 208028258 edges,
lola: 142 tries, 141170390 fired transitions, 2695 secs || 71465230 markings, 208407647 edges,
lola: 142 tries, 141431030 fired transitions, 2700 secs || 71589991 markings, 208779726 edges,
lola: 142 tries, 141691326 fired transitions, 2705 secs || 71715377 markings, 209152789 edges,
lola: 142 tries, 141952103 fired transitions, 2710 secs || 71840239 markings, 209527944 edges,
lola: 143 tries, 142213427 fired transitions, 2715 secs || 71964289 markings, 209903458 edges,
lola: 143 tries, 142473950 fired transitions, 2720 secs || 72089647 markings, 210273952 edges,
lola: 143 tries, 142734754 fired transitions, 2725 secs || 72214648 markings, 210650017 edges,
lola: 143 tries, 142995967 fired transitions, 2730 secs || 72337329 markings, 211027053 edges,
lola: 144 tries, 143255830 fired transitions, 2735 secs || 72462854 markings, 211402412 edges,
lola: 144 tries, 143516819 fired transitions, 2740 secs || 72587291 markings, 211781672 edges,
lola: 144 tries, 143777923 fired transitions, 2745 secs || 72711543 markings, 212155733 edges,
lola: 145 tries, 144038272 fired transitions, 2750 secs || 72836438 markings, 212526912 edges,
lola: 145 tries, 144298968 fired transitions, 2755 secs || 72960454 markings, 212901646 edges,
lola: 145 tries, 144559857 fired transitions, 2760 secs || 73086310 markings, 213275952 edges,
lola: 145 tries, 144820796 fired transitions, 2765 secs || 73211271 markings, 213648956 edges,
lola: 146 tries, 145081587 fired transitions, 2770 secs || 73335389 markings, 214025557 edges,
lola: 146 tries, 145342627 fired transitions, 2775 secs || 73458730 markings, 214406598 edges,
lola: 146 tries, 145604030 fired transitions, 2780 secs || 73582688 markings, 214788431 edges,
lola: 146 tries, 145865305 fired transitions, 2785 secs || 73706019 markings, 215168290 edges,
lola: 147 tries, 146126266 fired transitions, 2790 secs || 73831745 markings, 215545510 edges,
lola: 147 tries, 146387376 fired transitions, 2795 secs || 73955438 markings, 215921616 edges,
lola: 147 tries, 146647514 fired transitions, 2800 secs || 74081567 markings, 216295990 edges,
lola: 147 tries, 146908327 fired transitions, 2805 secs || 74204937 markings, 216679962 edges,
lola: 148 tries, 147170022 fired transitions, 2810 secs || 74327410 markings, 217060806 edges,
lola: 148 tries, 147431929 fired transitions, 2815 secs || 74450427 markings, 217441337 edges,
lola: 148 tries, 147692464 fired transitions, 2820 secs || 74575535 markings, 217821051 edges,
lola: 148 tries, 147952694 fired transitions, 2825 secs || 74700289 markings, 218196956 edges,
lola: 149 tries, 148212172 fired transitions, 2830 secs || 74827041 markings, 218566511 edges,
lola: 149 tries, 148473168 fired transitions, 2835 secs || 74951608 markings, 218947941 edges,
lola: 149 tries, 148734424 fired transitions, 2840 secs || 75075877 markings, 219327416 edges,
lola: 149 tries, 148994496 fired transitions, 2845 secs || 75201344 markings, 219699556 edges,
lola: 150 tries, 149256030 fired transitions, 2850 secs || 75324941 markings, 220071364 edges,
lola: 150 tries, 149516960 fired transitions, 2855 secs || 75449360 markings, 220444657 edges,
lola: 150 tries, 149778514 fired transitions, 2860 secs || 75573527 markings, 220819909 edges,
lola: 151 tries, 150039423 fired transitions, 2865 secs || 75697480 markings, 221194894 edges,
lola: 151 tries, 150299936 fired transitions, 2870 secs || 75823537 markings, 221570378 edges,
lola: 151 tries, 150561884 fired transitions, 2875 secs || 75947724 markings, 221949285 edges,
lola: 151 tries, 150822662 fired transitions, 2880 secs || 76073169 markings, 222320956 edges,
lola: 152 tries, 151084143 fired transitions, 2885 secs || 76196255 markings, 222703520 edges,
lola: 152 tries, 151373445 fired transitions, 2890 secs || 76334730 markings, 223131050 edges,
lola: 152 tries, 151688462 fired transitions, 2895 secs || 76492863 markings, 223605147 edges,
lola: 153 tries, 152007951 fired transitions, 2900 secs || 76650707 markings, 224080094 edges,
lola: 153 tries, 152327461 fired transitions, 2905 secs || 76807245 markings, 224551243 edges,
lola: 153 tries, 152647204 fired transitions, 2910 secs || 76962742 markings, 225031803 edges,
lola: 153 tries, 152966793 fired transitions, 2915 secs || 77119152 markings, 225511527 edges,
lola: 154 tries, 153285814 fired transitions, 2920 secs || 77276924 markings, 225985092 edges,
lola: 154 tries, 153604881 fired transitions, 2925 secs || 77434449 markings, 226460044 edges,
lola: 154 tries, 153924467 fired transitions, 2930 secs || 77591816 markings, 226933035 edges,
lola: 155 tries, 154244434 fired transitions, 2935 secs || 77749576 markings, 227407461 edges,
lola: 155 tries, 154564022 fired transitions, 2940 secs || 77906597 markings, 227881253 edges,
lola: 155 tries, 154829950 fired transitions, 2945 secs || 78033044 markings, 228260730 edges,
lola: 156 tries, 155088736 fired transitions, 2950 secs || 78158989 markings, 228636386 edges,
lola: 156 tries, 155346933 fired transitions, 2955 secs || 78284552 markings, 229015189 edges,
lola: 156 tries, 155605516 fired transitions, 2960 secs || 78408493 markings, 229396490 edges,
lola: 156 tries, 155863824 fired transitions, 2965 secs || 78533791 markings, 229776431 edges,
lola: 157 tries, 156122709 fired transitions, 2970 secs || 78657654 markings, 230166233 edges,
lola: 157 tries, 156381186 fired transitions, 2975 secs || 78783459 markings, 230550683 edges,
lola: 157 tries, 156640548 fired transitions, 2980 secs || 78907561 markings, 230938333 edges,
lola: 157 tries, 156898668 fired transitions, 2985 secs || 79033334 markings, 231319302 edges,
lola: 158 tries, 157157071 fired transitions, 2990 secs || 79158718 markings, 231692078 edges,
lola: 158 tries, 157416725 fired transitions, 2995 secs || 79283192 markings, 232081913 edges,
lola: 158 tries, 157675426 fired transitions, 3000 secs || 79407470 markings, 232461035 edges,
lola: 158 tries, 157934584 fired transitions, 3005 secs || 79532380 markings, 232846331 edges,
lola: 159 tries, 158193804 fired transitions, 3010 secs || 79656491 markings, 233230004 edges,
lola: 159 tries, 158451833 fired transitions, 3015 secs || 79783008 markings, 233612508 edges,
lola: 159 tries, 158709745 fired transitions, 3020 secs || 79909741 markings, 233990036 edges,
lola: 159 tries, 158969130 fired transitions, 3025 secs || 80033471 markings, 234373738 edges,
lola: 160 tries, 159227844 fired transitions, 3030 secs || 80158867 markings, 234758206 edges,
lola: 160 tries, 159485854 fired transitions, 3035 secs || 80285732 markings, 235136658 edges,
lola: 160 tries, 159743992 fired transitions, 3040 secs || 80412738 markings, 235518961 edges,
lola: 161 tries, 160002312 fired transitions, 3045 secs || 80538200 markings, 235897522 edges,
lola: 161 tries, 160260009 fired transitions, 3050 secs || 80664841 markings, 236277437 edges,
lola: 161 tries, 160518002 fired transitions, 3055 secs || 80791498 markings, 236654048 edges,
lola: 161 tries, 160776980 fired transitions, 3060 secs || 80916058 markings, 237039431 edges,
lola: 162 tries, 161035440 fired transitions, 3065 secs || 81040042 markings, 237421020 edges,
lola: 162 tries, 161295095 fired transitions, 3070 secs || 81164622 markings, 237801786 edges,
lola: 162 tries, 161554780 fired transitions, 3075 secs || 81289042 markings, 238185685 edges,
lola: 162 tries, 161814246 fired transitions, 3080 secs || 81414653 markings, 238563494 edges,
lola: 163 tries, 162073126 fired transitions, 3085 secs || 81541018 markings, 238942361 edges,
lola: 163 tries, 162332025 fired transitions, 3090 secs || 81668081 markings, 239318878 edges,
lola: 163 tries, 162591224 fired transitions, 3095 secs || 81792961 markings, 239699903 edges,
lola: 163 tries, 162851093 fired transitions, 3100 secs || 81917684 markings, 240086332 edges,
lola: 164 tries, 163109798 fired transitions, 3105 secs || 82043859 markings, 240462965 edges,
lola: 164 tries, 163368450 fired transitions, 3110 secs || 82170345 markings, 240838675 edges,
lola: 164 tries, 163627745 fired transitions, 3115 secs || 82295720 markings, 241218531 edges,
lola: 164 tries, 163886675 fired transitions, 3120 secs || 82420985 markings, 241606508 edges,
lola: 165 tries, 164146038 fired transitions, 3125 secs || 82546344 markings, 241987085 edges,
lola: 165 tries, 164405808 fired transitions, 3130 secs || 82670866 markings, 242368554 edges,
lola: 165 tries, 164665562 fired transitions, 3135 secs || 82795409 markings, 242745628 edges,
lola: 165 tries, 164924711 fired transitions, 3140 secs || 82921734 markings, 243122125 edges,
lola: 166 tries, 165183294 fired transitions, 3145 secs || 83048027 markings, 243497552 edges,
lola: 166 tries, 165443377 fired transitions, 3150 secs || 83171568 markings, 243887969 edges,
lola: 166 tries, 165702503 fired transitions, 3155 secs || 83296386 markings, 244268459 edges,
lola: 166 tries, 165962091 fired transitions, 3160 secs || 83419821 markings, 244655103 edges,
lola: 167 tries, 166220782 fired transitions, 3165 secs || 83545289 markings, 245035121 edges,
lola: 167 tries, 166480421 fired transitions, 3170 secs || 83669383 markings, 245420266 edges,
lola: 167 tries, 166739183 fired transitions, 3175 secs || 83796425 markings, 245797368 edges,
lola: 167 tries, 166997755 fired transitions, 3180 secs || 83924147 markings, 246173316 edges,
lola: 168 tries, 167256355 fired transitions, 3185 secs || 84049497 markings, 246547728 edges,
lola: 168 tries, 167515265 fired transitions, 3190 secs || 84175123 markings, 246925691 edges,
lola: 168 tries, 167774448 fired transitions, 3195 secs || 84300415 markings, 247303082 edges,
lola: 169 tries, 168033230 fired transitions, 3200 secs || 84425492 markings, 247683626 edges,
lola: 169 tries, 168293104 fired transitions, 3205 secs || 84549428 markings, 248074236 edges,
lola: 169 tries, 168551788 fired transitions, 3210 secs || 84675494 markings, 248448216 edges,
lola: 169 tries, 168811039 fired transitions, 3215 secs || 84800136 markings, 248829032 edges,
lola: 170 tries, 169070021 fired transitions, 3220 secs || 84924993 markings, 249207764 edges,
lola: 170 tries, 169328743 fired transitions, 3225 secs || 85050172 markings, 249583895 edges,
lola: 170 tries, 169587241 fired transitions, 3230 secs || 85176660 markings, 249967145 edges,
lola: 170 tries, 169846508 fired transitions, 3235 secs || 85300533 markings, 250349429 edges,
lola: 171 tries, 170106033 fired transitions, 3240 secs || 85425486 markings, 250732408 edges,
lola: 171 tries, 170365385 fired transitions, 3245 secs || 85550828 markings, 251110654 edges,
lola: 171 tries, 170624956 fired transitions, 3250 secs || 85675268 markings, 251497229 edges,
lola: 171 tries, 170883388 fired transitions, 3255 secs || 85802261 markings, 251868663 edges,
lola: 172 tries, 171142943 fired transitions, 3260 secs || 85927272 markings, 252250208 edges,
lola: 172 tries, 171402044 fired transitions, 3265 secs || 86052475 markings, 252634495 edges,
lola: 172 tries, 171661787 fired transitions, 3270 secs || 86177235 markings, 253020466 edges,
lola: 172 tries, 171921003 fired transitions, 3275 secs || 86301872 markings, 253397071 edges,
lola: 173 tries, 172180406 fired transitions, 3280 secs || 86426074 markings, 253778764 edges,
lola: 173 tries, 172439093 fired transitions, 3285 secs || 86551795 markings, 254156977 edges,
lola: 173 tries, 172697785 fired transitions, 3290 secs || 86677194 markings, 254534100 edges,
lola: 173 tries, 172956809 fired transitions, 3295 secs || 86802004 markings, 254912604 edges,
lola: 174 tries, 173215455 fired transitions, 3300 secs || 86927436 markings, 255295555 edges,
lola: 174 tries, 173474480 fired transitions, 3305 secs || 87052534 markings, 255670889 edges,
lola: 174 tries, 173733736 fired transitions, 3310 secs || 87177214 markings, 256044626 edges,
lola: 174 tries, 173993130 fired transitions, 3315 secs || 87302705 markings, 256425388 edges,
lola: 175 tries, 174252383 fired transitions, 3320 secs || 87427544 markings, 256801039 edges,
lola: 175 tries, 174512399 fired transitions, 3325 secs || 87550792 markings, 257188809 edges,
lola: 175 tries, 174771273 fired transitions, 3330 secs || 87675665 markings, 257569194 edges,
lola: 176 tries, 175030418 fired transitions, 3335 secs || 87800781 markings, 257946055 edges,
lola: 176 tries, 175290019 fired transitions, 3340 secs || 87925161 markings, 258329535 edges,
lola: 176 tries, 175548658 fired transitions, 3345 secs || 88051782 markings, 258696647 edges,
lola: 176 tries, 175807970 fired transitions, 3350 secs || 88176610 markings, 259078987 edges,
lola: 177 tries, 176067289 fired transitions, 3355 secs || 88301593 markings, 259462555 edges,
lola: 177 tries, 176327908 fired transitions, 3360 secs || 88424970 markings, 259846335 edges,
lola: 177 tries, 176586938 fired transitions, 3365 secs || 88550907 markings, 260220494 edges,
lola: 177 tries, 176846885 fired transitions, 3370 secs || 88673600 markings, 260604585 edges,
lola: 178 tries, 177106219 fired transitions, 3375 secs || 88797513 markings, 260991304 edges,
lola: 178 tries, 177364800 fired transitions, 3380 secs || 88923129 markings, 261368571 edges,
lola: 178 tries, 177623850 fired transitions, 3385 secs || 89048680 markings, 261748148 edges,
lola: 178 tries, 177883640 fired transitions, 3390 secs || 89172505 markings, 262133114 edges,
lola: 179 tries, 178143096 fired transitions, 3395 secs || 89296456 markings, 262516409 edges,
lola: 179 tries, 178401784 fired transitions, 3400 secs || 89422321 markings, 262898470 edges,
lola: 179 tries, 178661813 fired transitions, 3405 secs || 89545280 markings, 263286198 edges,
lola: 179 tries, 178920873 fired transitions, 3410 secs || 89669173 markings, 263667392 edges,
lola: 180 tries, 179179896 fired transitions, 3415 secs || 89793758 markings, 264056169 edges,
lola: 180 tries, 179438973 fired transitions, 3420 secs || 89917785 markings, 264437351 edges,
lola: 180 tries, 179698282 fired transitions, 3425 secs || 90043315 markings, 264817515 edges,
lola: 180 tries, 179956937 fired transitions, 3430 secs || 90167720 markings, 265198850 edges,
lola: 181 tries, 180216236 fired transitions, 3435 secs || 90292454 markings, 265579996 edges,
lola: 181 tries, 180474654 fired transitions, 3440 secs || 90418905 markings, 265955516 edges,
lola: 181 tries, 180733718 fired transitions, 3445 secs || 90544487 markings, 266332645 edges,
lola: 181 tries, 180992645 fired transitions, 3450 secs || 90670678 markings, 266709312 edges,
lola: 182 tries, 181252244 fired transitions, 3455 secs || 90795180 markings, 267091277 edges,
lola: 182 tries, 181514186 fired transitions, 3460 secs || 90918565 markings, 267467726 edges,
lola: 182 tries, 181775946 fired transitions, 3465 secs || 91042166 markings, 267845725 edges,
lola: 183 tries, 182037328 fired transitions, 3470 secs || 91165769 markings, 268224878 edges,
lola: 183 tries, 182300708 fired transitions, 3475 secs || 91286474 markings, 268614356 edges,
lola: 183 tries, 182563427 fired transitions, 3480 secs || 91407859 markings, 268999721 edges,
lola: 183 tries, 182824778 fired transitions, 3485 secs || 91532149 markings, 269370436 edges,
lola: 184 tries, 183086279 fired transitions, 3490 secs || 91654972 markings, 269749035 edges,
lola: 184 tries, 183348255 fired transitions, 3495 secs || 91778200 markings, 270127204 edges,
lola: 184 tries, 183608658 fired transitions, 3500 secs || 91903182 markings, 270497928 edges,
lola: 184 tries, 183870836 fired transitions, 3505 secs || 92026729 markings, 270878465 edges,
lola: 185 tries, 184132781 fired transitions, 3510 secs || 92148860 markings, 271258921 edges,
lola: 185 tries, 184394826 fired transitions, 3515 secs || 92271711 markings, 271633007 edges,
lola: 185 tries, 184656360 fired transitions, 3520 secs || 92396176 markings, 272015119 edges,
lola: 185 tries, 184918862 fired transitions, 3525 secs || 92518811 markings, 272394422 edges,
lola: 186 tries, 185180937 fired transitions, 3530 secs || 92641881 markings, 272768452 edges,
lola: 186 tries, 185442315 fired transitions, 3535 secs || 92765928 markings, 273135290 edges,
lola: 186 tries, 185704331 fired transitions, 3540 secs || 92889540 markings, 273509530 edges,
lola: 186 tries, 185966949 fired transitions, 3545 secs || 93011533 markings, 273888800 edges,
lola: 187 tries, 186229417 fired transitions, 3550 secs || 93133936 markings, 274266855 edges,
lola: 187 tries, 186491217 fired transitions, 3555 secs || 93256893 markings, 274638366 edges,
lola: 187 tries, 186752663 fired transitions, 3560 secs || 93381370 markings, 275007506 edges,
lola: time limit reached - aborting
lola: memory consumption: 5220544 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 1552820259900

--------------------
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) 31644 markings/sec, 0 secs 31465 markings/sec, 5 secs 31006 markings/sec, 10 secs 30543 markings/sec, 15 secs 29838 markings/sec, 20 secs 29109 markings/sec, 25 secs 29308 markings/sec, 30 secs 29281 markings/sec, 35 secs 29300 markings/sec, 40 secs 29488 markings/sec, 45 secs 29497 markings/sec, 50 secs 28669 markings/sec, 55 secs 28836 markings/sec, 60 secs 28907 markings/sec, 65 secs 28882 markings/sec, 70 secs 28561 markings/sec, 75 secs 29036 markings/sec, 80 secs 28898 markings/sec, 85 secs 28766 markings/sec, 90 secs 28109 markings/sec, 95 secs 28457 markings/sec, 100 secs 28239 markings/sec, 105 secs 28218 markings/sec, 110 secs 27968 markings/sec, 115 secs 28297 markings/sec, 120 secs 29293 markings/sec, 125 secs 33972 markings/sec, 130 secs 27733 markings/sec, 135 secs 27822 markings/sec, 140 secs 27510 markings/sec, 145 secs 27628 markings/sec, 150 secs 34485 markings/sec, 155 secs 34674 markings/sec, 160 secs 31123 markings/sec, 165 secs 28199 markings/sec, 170 secs 28392 markings/sec, 175 secs 28212 markings/sec, 180 secs 28282 markings/sec, 185 secs 28260 markings/sec, 190 secs 28303 markings/sec, 195 secs 27890 markings/sec, 200 secs 27966 markings/sec, 205 secs 27625 markings/sec, 210 secs 27838 markings/sec, 215 secs 27704 markings/sec, 220 secs 27681 markings/sec, 225 secs 27890 markings/sec, 230 secs 27845 markings/sec, 235 secs 27996 markings/sec, 240 secs 27928 markings/sec, 245 secs 27661 markings/sec, 250 secs 27632 markings/sec, 255 secs 27895 markings/sec, 260 secs 27677 markings/sec, 265 secs 27653 markings/sec, 270 secs 27277 markings/sec, 275 secs 27616 markings/sec, 280 secs 27627 markings/sec, 285 secs 27784 markings/sec, 290 secs 27651 markings/sec, 295 secs 27729 markings/sec, 300 secs 27372 markings/sec, 305 secs 27745 markings/sec, 310 secs 27104 markings/sec, 315 secs 27404 markings/sec, 320 secs 27585 markings/sec, 325 secs 27253 markings/sec, 330 secs 27495 markings/sec, 335 secs 27205 markings/sec, 340 secs 27481 markings/sec, 345 secs 26963 markings/sec, 350 secs 27682 markings/sec, 355 secs 27538 markings/sec, 360 secs 27297 markings/sec, 365 secs 27088 markings/sec, 370 secs 26956 markings/sec, 375 secs 27258 markings/sec, 380 secs 27312 markings/sec, 385 secs 27048 markings/sec, 390 secs 27252 markings/sec, 395 secs 27409 markings/sec, 400 secs 31113 markings/sec, 405 secs 28385 markings/sec, 410 secs 26709 markings/sec, 415 secs 27041 markings/sec, 420 secs 27079 markings/sec, 425 secs 27158 markings/sec, 430 secs 27311 markings/sec, 435 secs 27101 markings/sec, 440 secs 26859 markings/sec, 445 secs 26937 markings/sec, 450 secs 27031 markings/sec, 455 secs 27092 markings/sec, 460 secs 27419 markings/sec, 465 secs 27400 markings/sec, 470 secs 26960 markings/sec, 475 secs 27099 markings/sec, 480 secs 27461 markings/sec, 485 secs 26970 markings/sec, 490 secs 27251 markings/sec, 495 secs 26952 markings/sec, 500 secs 27023 markings/sec, 505 secs 27055 markings/sec, 510 secs 27038 markings/sec, 515 secs 27023 markings/sec, 520 secs 26895 markings/sec, 525 secs 27028 markings/sec, 530 secs 26834 markings/sec, 535 secs 26686 markings/sec, 540 secs 26656 markings/sec, 545 secs 26924 markings/sec, 550 secs 26853 markings/sec, 555 secs 26866 markings/sec, 560 secs 31463 markings/sec, 565 secs 32425 markings/sec, 570 secs 32979 markings/sec, 575 secs 33230 markings/sec, 580 secs 33053 markings/sec, 585 secs 32984 markings/sec, 590 secs 32785 markings/sec, 595 secs 30148 markings/sec, 600 secs 26992 markings/sec, 605 secs 26799 markings/sec, 610 secs 26928 markings/sec, 615 secs 26660 markings/sec, 620 secs 26535 markings/sec, 625 secs 26896 markings/sec, 630 secs 26589 markings/sec, 635 secs 26600 markings/sec, 640 secs 26893 markings/sec, 645 secs 26668 markings/sec, 650 secs 26643 markings/sec, 655 secs 26745 markings/sec, 660 secs 27104 markings/sec, 665 secs 26614 markings/sec, 670 secs 26825 markings/sec, 675 secs 26581 markings/sec, 680 secs 26782 markings/sec, 685 secs 26585 markings/sec, 690 secs 26495 markings/sec, 695 secs 26911 markings/sec, 700 secs 26867 markings/sec, 705 secs 26844 markings/sec, 710 secs 26696 markings/sec, 715 secs 27018 markings/sec, 720 secs 27483 markings/sec, 725 secs 32637 markings/sec, 730 secs 32453 markings/sec, 735 secs 32312 markings/sec, 740 secs 32679 markings/sec, 745 secs 32616 markings/sec, 750 secs 28909 markings/sec, 755 secs 25602 markings/sec, 760 secs 25607 markings/sec, 765 secs 26085 markings/sec, 770 secs 25944 markings/sec, 775 secs 26071 markings/sec, 780 secs 25516 markings/sec, 785 secs 25815 markings/sec, 790 secs 25655 markings/sec, 795 secs 26042 markings/sec, 800 secs 25581 markings/sec, 805 secs 25570 markings/sec, 810 secs 25856 markings/sec, 815 secs 25686 markings/sec, 820 secs 25659 markings/sec, 825 secs 25586 markings/sec, 830 secs 26051 markings/sec, 835 secs 26009 markings/sec, 840 secs 25598 markings/sec, 845 secs 25612 markings/sec, 850 secs 25428 markings/sec, 855 secs 25425 markings/sec, 860 secs 25673 markings/sec, 865 secs 26227 markings/sec, 870 secs 26116 markings/sec, 875 secs 25748 markings/sec, 880 secs 25803 markings/sec, 885 secs 25617 markings/sec, 890 secs 26124 markings/sec, 895 secs 25920 markings/sec, 900 secs 25810 markings/sec, 905 secs 25919 markings/sec, 910 secs 25969 markings/sec, 915 secs 25707 markings/sec, 920 secs 25656 markings/sec, 925 secs 25947 markings/sec, 930 secs 25998 markings/sec, 935 secs 25600 markings/sec, 940 secs 25878 markings/sec, 945 secs 25759 markings/sec, 950 secs 25636 markings/sec, 955 secs 25549 markings/sec, 960 secs 25600 markings/sec, 965 secs 25558 markings/sec, 970 secs 25829 markings/sec, 975 secs 25896 markings/sec, 980 secs 25706 markings/sec, 985 secs 25631 markings/sec, 990 secs 25364 markings/sec, 995 secs 25812 markings/sec, 1000 secs 25702 markings/sec, 1005 secs 25360 markings/sec, 1010 secs 25389 markings/sec, 1015 secs 25661 markings/sec, 1020 secs 25796 markings/sec, 1025 secs 25695 markings/sec, 1030 secs 25658 markings/sec, 1035 secs 25379 markings/sec, 1040 secs 25795 markings/sec, 1045 secs 25614 markings/sec, 1050 secs 25484 markings/sec, 1055 secs 27404 markings/sec, 1060 secs 31966 markings/sec, 1065 secs 27983 markings/sec, 1070 secs 25363 markings/sec, 1075 secs 28601 markings/sec, 1080 secs 28304 markings/sec, 1085 secs 25345 markings/sec, 1090 secs 25535 markings/sec, 1095 secs 25525 markings/sec, 1100 secs 25446 markings/sec, 1105 secs 25260 markings/sec, 1110 secs 25254 markings/sec, 1115 secs 25315 markings/sec, 1120 secs 24966 markings/sec, 1125 secs 25559 markings/sec, 1130 secs 25222 markings/sec, 1135 secs 25256 markings/sec, 1140 secs 25728 markings/sec, 1145 secs 25216 markings/sec, 1150 secs 25147 markings/sec, 1155 secs 25782 markings/sec, 1160 secs 25391 markings/sec, 1165 secs 25379 markings/sec, 1170 secs 25417 markings/sec, 1175 secs 25430 markings/sec, 1180 secs 25330 markings/sec, 1185 secs 25379 markings/sec, 1190 secs 25265 markings/sec, 1195 secs 25053 markings/sec, 1200 secs 25239 markings/sec, 1205 secs 25330 markings/sec, 1210 secs 25350 markings/sec, 1215 secs 25509 markings/sec, 1220 secs 25396 markings/sec, 1225 secs 25592 markings/sec, 1230 secs 25496 markings/sec, 1235 secs 25300 markings/sec, 1240 secs 25508 markings/sec, 1245 secs 25173 markings/sec, 1250 secs 25147 markings/sec, 1255 secs 25165 markings/sec, 1260 secs 25136 markings/sec, 1265 secs 25128 markings/sec, 1270 secs 25295 markings/sec, 1275 secs 25437 markings/sec, 1280 secs 25520 markings/sec, 1285 secs 25488 markings/sec, 1290 secs 25283 markings/sec, 1295 secs 24982 markings/sec, 1300 secs 25396 markings/sec, 1305 secs 25008 markings/sec, 1310 secs 25362 markings/sec, 1315 secs 25465 markings/sec, 1320 secs 25300 markings/sec, 1325 secs 25312 markings/sec, 1330 secs 24820 markings/sec, 1335 secs 25295 markings/sec, 1340 secs 25343 markings/sec, 1345 secs 25615 markings/sec, 1350 secs 28816 markings/sec, 1355 secs 30086 markings/sec, 1360 secs 29551 markings/sec, 1365 secs 29174 markings/sec, 1370 secs 27027 markings/sec, 1375 secs 25635 markings/sec, 1380 secs 25763 markings/sec, 1385 secs 25648 markings/sec, 1390 secs 25658 markings/sec, 1395 secs 25207 markings/sec, 1400 secs 25556 markings/sec, 1405 secs 25536 markings/sec, 1410 secs 25811 markings/sec, 1415 secs 25606 markings/sec, 1420 secs 25651 markings/sec, 1425 secs 25340 markings/sec, 1430 secs 25375 markings/sec, 1435 secs 25642 markings/sec, 1440 secs 25286 markings/sec, 1445 secs 25454 markings/sec, 1450 secs 25698 markings/sec, 1455 secs 25367 markings/sec, 1460 secs 25603 markings/sec, 1465 secs 25513 markings/sec, 1470 secs 25607 markings/sec, 1475 secs 25414 markings/sec, 1480 secs 25657 markings/sec, 1485 secs 25575 markings/sec, 1490 secs 25633 markings/sec, 1495 secs 25641 markings/sec, 1500 secs 25340 markings/sec, 1505 secs 25254 markings/sec, 1510 secs 25261 markings/sec, 1515 secs 25290 markings/sec, 1520 secs 25188 markings/sec, 1525 secs 25555 markings/sec, 1530 secs 25427 markings/sec, 1535 secs 25618 markings/sec, 1540 secs 25420 markings/sec, 1545 secs 25410 markings/sec, 1550 secs 25378 markings/sec, 1555 secs 25333 markings/sec, 1560 secs 25306 markings/sec, 1565 secs 25270 markings/sec, 1570 secs 25738 markings/sec, 1575 secs 25313 markings/sec, 1580 secs 25383 markings/sec, 1585 secs 25035 markings/sec, 1590 secs 25734 markings/sec, 1595 secs 25313 markings/sec, 1600 secs 25248 markings/sec, 1605 secs 25040 markings/sec, 1610 secs 25321 markings/sec, 1615 secs 25389 markings/sec, 1620 secs 25510 markings/sec, 1625 secs 25275 markings/sec, 1630 secs 25632 markings/sec, 1635 secs 25485 markings/sec, 1640 secs 25404 markings/sec, 1645 secs 25236 markings/sec, 1650 secs 25376 markings/sec, 1655 secs 25257 markings/sec, 1660 secs 25263 markings/sec, 1665 secs 25210 markings/sec, 1670 secs 25415 markings/sec, 1675 secs 25318 markings/sec, 1680 secs 25489 markings/sec, 1685 secs 25287 markings/sec, 1690 secs 25531 markings/sec, 1695 secs 25729 markings/sec, 1700 secs 25529 markings/sec, 1705 secs 25362 markings/sec, 1710 secs 25406 markings/sec, 1715 secs 25280 markings/sec, 1720 secs 25268 markings/sec, 1725 secs 25559 markings/sec, 1730 secs 25379 markings/sec, 1735 secs 25258 markings/sec, 1740 secs 25367 markings/sec, 1745 secs 25378 markings/sec, 1750 secs 25512 markings/sec, 1755 secs 25459 markings/sec, 1760 secs 25348 markings/sec, 1765 secs 25179 markings/sec, 1770 secs 25180 markings/sec, 1775 secs 25383 markings/sec, 1780 secs 25215 markings/sec, 1785 secs 25393 markings/sec, 1790 secs 25653 markings/sec, 1795 secs 25204 markings/sec, 1800 secs 25118 markings/sec, 1805 secs 25210 markings/sec, 1810 secs 25138 markings/sec, 1815 secs 25278 markings/sec, 1820 secs 25137 markings/sec, 1825 secs 25494 markings/sec, 1830 secs 25511 markings/sec, 1835 secs 25387 markings/sec, 1840 secs 25629 markings/sec, 1845 secs 25281 markings/sec, 1850 secs 25290 markings/sec, 1855 secs 25317 markings/sec, 1860 secs 25461 markings/sec, 1865 secs 25184 markings/sec, 1870 secs 25578 markings/sec, 1875 secs 25498 markings/sec, 1880 secs 25231 markings/sec, 1885 secs 25371 markings/sec, 1890 secs 25522 markings/sec, 1895 secs 25518 markings/sec, 1900 secs 25304 markings/sec, 1905 secs 25489 markings/sec, 1910 secs 25253 markings/sec, 1915 secs 25433 markings/sec, 1920 secs 25207 markings/sec, 1925 secs 25402 markings/sec, 1930 secs 25411 markings/sec, 1935 secs 25097 markings/sec, 1940 secs 25447 markings/sec, 1945 secs 24805 markings/sec, 1950 secs 25358 markings/sec, 1955 secs 25489 markings/sec, 1960 secs 25425 markings/sec, 1965 secs 25479 markings/sec, 1970 secs 25080 markings/sec, 1975 secs 25133 markings/sec, 1980 secs 25303 markings/sec, 1985 secs 25515 markings/sec, 1990 secs 25262 markings/sec, 1995 secs 25046 markings/sec, 2000 secs 25192 markings/sec, 2005 secs 25433 markings/sec, 2010 secs 25327 markings/sec, 2015 secs 25354 markings/sec, 2020 secs 25256 markings/sec, 2025 secs 25220 markings/sec, 2030 secs 25288 markings/sec, 2035 secs 25361 markings/sec, 2040 secs 25260 markings/sec, 2045 secs 29594 markings/sec, 2050 secs 31001 markings/sec, 2055 secs 31434 markings/sec, 2060 secs 25410 markings/sec, 2065 secs 25275 markings/sec, 2070 secs 25401 markings/sec, 2075 secs 25140 markings/sec, 2080 secs 25093 markings/sec, 2085 secs 25525 markings/sec, 2090 secs 26323 markings/sec, 2095 secs 25973 markings/sec, 2100 secs 25488 markings/sec, 2105 secs 30862 markings/sec, 2110 secs 31661 markings/sec, 2115 secs 26761 markings/sec, 2120 secs 26079 markings/sec, 2125 secs 25831 markings/sec, 2130 secs 26021 markings/sec, 2135 secs 26314 markings/sec, 2140 secs 25963 markings/sec, 2145 secs 26168 markings/sec, 2150 secs 26085 markings/sec, 2155 secs 30113 markings/sec, 2160 secs 31945 markings/sec, 2165 secs 27454 markings/sec, 2170 secs 25977 markings/sec, 2175 secs 26180 markings/sec, 2180 secs 25643 markings/sec, 2185 secs 25614 markings/sec, 2190 secs 26504 markings/sec, 2195 secs 30309 markings/sec, 2200 secs 32180 markings/sec, 2205 secs 31524 markings/sec, 2210 secs 27414 markings/sec, 2215 secs 25376 markings/sec, 2220 secs 25292 markings/sec, 2225 secs 25210 markings/sec, 2230 secs 25052 markings/sec, 2235 secs 25088 markings/sec, 2240 secs 25161 markings/sec, 2245 secs 25034 markings/sec, 2250 secs 25045 markings/sec, 2255 secs 25160 markings/sec, 2260 secs 25378 markings/sec, 2265 secs 24845 markings/sec, 2270 secs 25287 markings/sec, 2275 secs 25393 markings/sec, 2280 secs 24871 markings/sec, 2285 secs 25003 markings/sec, 2290 secs 25138 markings/sec, 2295 secs 24932 markings/sec, 2300 secs 25096 markings/sec, 2305 secs 24911 markings/sec, 2310 secs 25232 markings/sec, 2315 secs 24807 markings/sec, 2320 secs 25094 markings/sec, 2325 secs 25352 markings/sec, 2330 secs 25226 markings/sec, 2335 secs 25129 markings/sec, 2340 secs 24979 markings/sec, 2345 secs 24981 markings/sec, 2350 secs 25097 markings/sec, 2355 secs 25360 markings/sec, 2360 secs 25219 markings/sec, 2365 secs 25061 markings/sec, 2370 secs 24997 markings/sec, 2375 secs 25016 markings/sec, 2380 secs 25132 markings/sec, 2385 secs 25212 markings/sec, 2390 secs 24882 markings/sec, 2395 secs 25145 markings/sec, 2400 secs 24889 markings/sec, 2405 secs 25346 markings/sec, 2410 secs 24798 markings/sec, 2415 secs 25175 markings/sec, 2420 secs 24977 markings/sec, 2425 secs 25064 markings/sec, 2430 secs 24638 markings/sec, 2435 secs 25026 markings/sec, 2440 secs 25090 markings/sec, 2445 secs 25147 markings/sec, 2450 secs 24833 markings/sec, 2455 secs 25053 markings/sec, 2460 secs 25079 markings/sec, 2465 secs 24966 markings/sec, 2470 secs 24869 markings/sec, 2475 secs 25154 markings/sec, 2480 secs 24663 markings/sec, 2485 secs 24851 markings/sec, 2490 secs 25083 markings/sec, 2495 secs 25104 markings/sec, 2500 secs 25051 markings/sec, 2505 secs 24875 markings/sec, 2510 secs 24607 markings/sec, 2515 secs 25239 markings/sec, 2520 secs 24827 markings/sec, 2525 secs 25073 markings/sec, 2530 secs 24945 markings/sec, 2535 secs 24865 markings/sec, 2540 secs 24963 markings/sec, 2545 secs 25133 markings/sec, 2550 secs 24417 markings/sec, 2555 secs 24704 markings/sec, 2560 secs 24921 markings/sec, 2565 secs 24872 markings/sec, 2570 secs 24732 markings/sec, 2575 secs 24860 markings/sec, 2580 secs 25234 markings/sec, 2585 secs 24940 markings/sec, 2590 secs 24874 markings/sec, 2595 secs 25114 markings/sec, 2600 secs 25534 markings/sec, 2605 secs 24944 markings/sec, 2610 secs 24758 markings/sec, 2615 secs 25409 markings/sec, 2620 secs 28870 markings/sec, 2625 secs 32021 markings/sec, 2630 secs 31386 markings/sec, 2635 secs 31606 markings/sec, 2640 secs 31615 markings/sec, 2645 secs 31553 markings/sec, 2650 secs 31683 markings/sec, 2655 secs 31238 markings/sec, 2660 secs 31580 markings/sec, 2665 secs 28592 markings/sec, 2670 secs 24874 markings/sec, 2675 secs 24896 markings/sec, 2680 secs 24704 markings/sec, 2685 secs 24842 markings/sec, 2690 secs 24785 markings/sec, 2695 secs 24952 markings/sec, 2700 secs 25077 markings/sec, 2705 secs 24972 markings/sec, 2710 secs 24810 markings/sec, 2715 secs 25072 markings/sec, 2720 secs 25000 markings/sec, 2725 secs 24536 markings/sec, 2730 secs 25105 markings/sec, 2735 secs 24887 markings/sec, 2740 secs 24850 markings/sec, 2745 secs 24979 markings/sec, 2750 secs 24803 markings/sec, 2755 secs 25171 markings/sec, 2760 secs 24992 markings/sec, 2765 secs 24824 markings/sec, 2770 secs 24668 markings/sec, 2775 secs 24792 markings/sec, 2780 secs 24666 markings/sec, 2785 secs 25145 markings/sec, 2790 secs 24739 markings/sec, 2795 secs 25226 markings/sec, 2800 secs 24674 markings/sec, 2805 secs 24495 markings/sec, 2810 secs 24603 markings/sec, 2815 secs 25022 markings/sec, 2820 secs 24951 markings/sec, 2825 secs 25350 markings/sec, 2830 secs 24913 markings/sec, 2835 secs 24854 markings/sec, 2840 secs 25093 markings/sec, 2845 secs 24719 markings/sec, 2850 secs 24884 markings/sec, 2855 secs 24833 markings/sec, 2860 secs 24791 markings/sec, 2865 secs 25211 markings/sec, 2870 secs 24837 markings/sec, 2875 secs 25089 markings/sec, 2880 secs 24617 markings/sec, 2885 secs 27695 markings/sec, 2890 secs 31627 markings/sec, 2895 secs 31569 markings/sec, 2900 secs 31308 markings/sec, 2905 secs 31099 markings/sec, 2910 secs 31282 markings/sec, 2915 secs 31554 markings/sec, 2920 secs 31505 markings/sec, 2925 secs 31473 markings/sec, 2930 secs 31552 markings/sec, 2935 secs 31404 markings/sec, 2940 secs 25289 markings/sec, 2945 secs 25189 markings/sec, 2950 secs 25113 markings/sec, 2955 secs 24788 markings/sec, 2960 secs 25060 markings/sec, 2965 secs 24773 markings/sec, 2970 secs 25161 markings/sec, 2975 secs 24820 markings/sec, 2980 secs 25155 markings/sec, 2985 secs 25077 markings/sec, 2990 secs 24895 markings/sec, 2995 secs 24856 markings/sec, 3000 secs 24982 markings/sec, 3005 secs 24822 markings/sec, 3010 secs 25303 markings/sec, 3015 secs 25347 markings/sec, 3020 secs 24746 markings/sec, 3025 secs 25079 markings/sec, 3030 secs 25373 markings/sec, 3035 secs 25401 markings/sec, 3040 secs 25092 markings/sec, 3045 secs 25328 markings/sec, 3050 secs 25331 markings/sec, 3055 secs 24912 markings/sec, 3060 secs 24797 markings/sec, 3065 secs 24916 markings/sec, 3070 secs 24884 markings/sec, 3075 secs 25122 markings/sec, 3080 secs 25273 markings/sec, 3085 secs 25413 markings/sec, 3090 secs 24976 markings/sec, 3095 secs 24945 markings/sec, 3100 secs 25235 markings/sec, 3105 secs 25297 markings/sec, 3110 secs 25075 markings/sec, 3115 secs 25053 markings/sec, 3120 secs 25072 markings/sec, 3125 secs 24904 markings/sec, 3130 secs 24909 markings/sec, 3135 secs 25265 markings/sec, 3140 secs 25259 markings/sec, 3145 secs 24708 markings/sec, 3150 secs 24964 markings/sec, 3155 secs 24687 markings/sec, 3160 secs 25094 markings/sec, 3165 secs 24819 markings/sec, 3170 secs 25408 markings/sec, 3175 secs 25544 markings/sec, 3180 secs 25070 markings/sec, 3185 secs 25125 markings/sec, 3190 secs 25058 markings/sec, 3195 secs 25015 markings/sec, 3200 secs 24787 markings/sec, 3205 secs 25213 markings/sec, 3210 secs 24928 markings/sec, 3215 secs 24971 markings/sec, 3220 secs 25036 markings/sec, 3225 secs 25298 markings/sec, 3230 secs 24775 markings/sec, 3235 secs 24991 markings/sec, 3240 secs 25068 markings/sec, 3245 secs 24888 markings/sec, 3250 secs 25399 markings/sec, 3255 secs 25002 markings/sec, 3260 secs 25041 markings/sec, 3265 secs 24952 markings/sec, 3270 secs 24927 markings/sec, 3275 secs 24840 markings/sec, 3280 secs 25144 markings/sec, 3285 secs 25080 markings/sec, 3290 secs 24962 markings/sec, 3295 secs 25086 markings/sec, 3300 secs 25020 markings/sec, 3305 secs 24936 markings/sec, 3310 secs 25098 markings/sec, 3315 secs 24968 markings/sec, 3320 secs 24650 markings/sec, 3325 secs 24975 markings/sec, 3330 secs 25023 markings/sec, 3335 secs 24876 markings/sec, 3340 secs 25324 markings/sec, 3345 secs 24966 markings/sec, 3350 secs 24997 markings/sec, 3355 secs 24675 markings/sec, 3360 secs 25187 markings/sec, 3365 secs 24539 markings/sec, 3370 secs 24783 markings/sec, 3375 secs 25123 markings/sec, 3380 secs 25110 markings/sec, 3385 secs 24765 markings/sec, 3390 secs 24790 markings/sec, 3395 secs 25173 markings/sec, 3400 secs 24592 markings/sec, 3405 secs 24779 markings/sec, 3410 secs 24917 markings/sec, 3415 secs 24805 markings/sec, 3420 secs 25106 markings/sec, 3425 secs 24881 markings/sec, 3430 secs 24947 markings/sec, 3435 secs 25290 markings/sec, 3440 secs 25116 markings/sec, 3445 secs 25238 markings/sec, 3450 secs 24900 markings/sec, 3455 secs 24677 markings/sec, 3460 secs 24720 markings/sec, 3465 secs 24721 markings/sec, 3470 secs 24141 markings/sec, 3475 secs 24277 markings/sec, 3480 secs 24858 markings/sec, 3485 secs 24565 markings/sec, 3490 secs 24646 markings/sec, 3495 secs 24996 markings/sec, 3500 secs 24709 markings/sec, 3505 secs 24426 markings/sec, 3510 secs 24570 markings/sec, 3515 secs 24893 markings/sec, 3520 secs 24527 markings/sec, 3525 secs 24614 markings/sec, 3530 secs 24809 markings/sec, 3535 secs 24722 markings/sec, 3540 secs 24399 markings/sec, 3545 secs 24481 markings/sec, 3550 secs 24591 markings/sec, 3555 secs 24895 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-6"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is LamportFastMutEx-PT-6, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r093-smll-155246584200219"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-PT-6.tgz
mv LamportFastMutEx-PT-6 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;