MCC'2019 - Execution of r060-ebro-155234654600084

About the Execution of LoLA for Diffusion2D-PT-D10N050

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5802.210	3571142.00	7237018.00	822.70	[undef]	Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654600084.qcow2', fmt=qcow2 size=4294967296 backing_fi
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Diffusion2D-PT-D10N050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600084
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 21:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 6 17:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 23:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D10N050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552556423315

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Diffusion2D-PT-D10N050 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ Diffusion2D-PT-D10N050

{
"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": "Thu Mar 14 09:40:23 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5725708,
"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": 1368,
"conflict_clusters": 100,
"places": 100,
"places_significant": 99,
"singleton_clusters": 0,
"transitions": 684
},
"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": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"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: 784/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2758936 fired transitions, 0 secs || 235695 markings, 1594375 edges,
lola: 6 tries, 5585485 fired transitions, 5 secs || 465530 markings, 3137448 edges,
lola: 9 tries, 8416746 fired transitions, 10 secs || 689265 markings, 4636379 edges,
lola: 12 tries, 11239310 fired transitions, 15 secs || 918485 markings, 6176895 edges,
lola: 14 tries, 13900280 fired transitions, 20 secs || 1140931 markings, 7666452 edges,
lola: 17 tries, 16752425 fired transitions, 25 secs || 1358493 markings, 9127547 edges,
lola: 20 tries, 19492823 fired transitions, 30 secs || 1566385 markings, 10520196 edges,
lola: 23 tries, 22388514 fired transitions, 35 secs || 1784904 markings, 11981618 edges,
lola: 26 tries, 25269907 fired transitions, 40 secs || 2008819 markings, 13488946 edges,
lola: 29 tries, 28133512 fired transitions, 45 secs || 2226898 markings, 14949078 edges,
lola: 31 tries, 30989358 fired transitions, 50 secs || 2446321 markings, 16422321 edges,
lola: 34 tries, 33869314 fired transitions, 55 secs || 2659555 markings, 17850562 edges,
lola: 37 tries, 36759183 fired transitions, 60 secs || 2880204 markings, 19325864 edges,
lola: 40 tries, 39638824 fired transitions, 65 secs || 3103027 markings, 20826185 edges,
lola: 43 tries, 42519678 fired transitions, 70 secs || 3327756 markings, 22335028 edges,
lola: 46 tries, 45350449 fired transitions, 75 secs || 3546807 markings, 23801758 edges,
lola: 49 tries, 48264935 fired transitions, 80 secs || 3768866 markings, 25288126 edges,
lola: 52 tries, 51138175 fired transitions, 85 secs || 3990292 markings, 26769349 edges,
lola: 55 tries, 54013929 fired transitions, 90 secs || 4212092 markings, 28252861 edges,
lola: 57 tries, 56947835 fired transitions, 95 secs || 4431780 markings, 29722957 edges,
lola: 60 tries, 59815325 fired transitions, 100 secs || 4649443 markings, 31181250 edges,
lola: 63 tries, 62676256 fired transitions, 105 secs || 4882941 markings, 32752411 edges,
lola: 66 tries, 65571035 fired transitions, 110 secs || 5110591 markings, 34277207 edges,
lola: 69 tries, 68422812 fired transitions, 115 secs || 5337971 markings, 35804084 edges,
lola: 72 tries, 71305190 fired transitions, 120 secs || 5565494 markings, 37326228 edges,
lola: 75 tries, 74212880 fired transitions, 125 secs || 5789383 markings, 38825999 edges,
lola: 77 tries, 76816299 fired transitions, 130 secs || 5995360 markings, 40213289 edges,
lola: 80 tries, 79709652 fired transitions, 135 secs || 6217679 markings, 41704704 edges,
lola: 83 tries, 82604731 fired transitions, 140 secs || 6437673 markings, 43177546 edges,
lola: 86 tries, 85522830 fired transitions, 145 secs || 6658888 markings, 44656960 edges,
lola: 89 tries, 88428244 fired transitions, 150 secs || 6884395 markings, 46167013 edges,
lola: 92 tries, 91324521 fired transitions, 155 secs || 7107451 markings, 47658771 edges,
lola: 95 tries, 94256833 fired transitions, 160 secs || 7324595 markings, 49111501 edges,
lola: 98 tries, 97172358 fired transitions, 165 secs || 7535133 markings, 50523052 edges,
lola: 101 tries, 100080087 fired transitions, 170 secs || 7754500 markings, 51999943 edges,
lola: 103 tries, 102996397 fired transitions, 175 secs || 7971706 markings, 53461778 edges,
lola: 106 tries, 105868065 fired transitions, 180 secs || 8196202 markings, 54968980 edges,
lola: 109 tries, 108746987 fired transitions, 185 secs || 8419802 markings, 56466386 edges,
lola: 112 tries, 111654959 fired transitions, 190 secs || 8637260 markings, 57921232 edges,
lola: 115 tries, 114561293 fired transitions, 195 secs || 8862307 markings, 59426933 edges,
lola: 118 tries, 117476955 fired transitions, 200 secs || 9086097 markings, 60924996 edges,
lola: 121 tries, 120390299 fired transitions, 205 secs || 9307906 markings, 62408019 edges,
lola: 124 tries, 123307376 fired transitions, 210 secs || 9527893 markings, 63881646 edges,
lola: 127 tries, 126221963 fired transitions, 215 secs || 9750173 markings, 65369213 edges,
lola: 130 tries, 129109934 fired transitions, 220 secs || 9969870 markings, 66838046 edges,
lola: 133 tries, 132013080 fired transitions, 225 secs || 10191842 markings, 68324396 edges,
lola: 135 tries, 134927860 fired transitions, 230 secs || 10413553 markings, 69806825 edges,
lola: 138 tries, 137857609 fired transitions, 235 secs || 10632485 markings, 71273853 edges,
lola: 141 tries, 140775747 fired transitions, 240 secs || 10847634 markings, 72713124 edges,
lola: 144 tries, 143691438 fired transitions, 245 secs || 11064789 markings, 74163792 edges,
lola: 147 tries, 146592121 fired transitions, 250 secs || 11279369 markings, 75598984 edges,
lola: 150 tries, 149504917 fired transitions, 255 secs || 11503647 markings, 77109873 edges,
lola: 153 tries, 152413379 fired transitions, 260 secs || 11732315 markings, 78643333 edges,
lola: 156 tries, 155327679 fired transitions, 265 secs || 11956021 markings, 80145758 edges,
lola: 159 tries, 158256633 fired transitions, 270 secs || 12177870 markings, 81631267 edges,
lola: 162 tries, 161170237 fired transitions, 275 secs || 12396402 markings, 83094773 edges,
lola: 165 tries, 164068751 fired transitions, 280 secs || 12615614 markings, 84563525 edges,
lola: 167 tries, 166986307 fired transitions, 285 secs || 12835544 markings, 86046103 edges,
lola: 170 tries, 169889119 fired transitions, 290 secs || 13060150 markings, 87549453 edges,
lola: 173 tries, 172806538 fired transitions, 295 secs || 13277553 markings, 89004948 edges,
lola: 176 tries, 175640279 fired transitions, 300 secs || 13496773 markings, 90470630 edges,
lola: 179 tries, 178519719 fired transitions, 305 secs || 13717570 markings, 91948033 edges,
lola: 182 tries, 181397875 fired transitions, 310 secs || 13936959 markings, 93417371 edges,
lola: 185 tries, 184309409 fired transitions, 315 secs || 14152839 markings, 94860434 edges,
lola: 188 tries, 187228090 fired transitions, 320 secs || 14368768 markings, 96311257 edges,
lola: 191 tries, 190124946 fired transitions, 325 secs || 14583220 markings, 97755140 edges,
lola: 194 tries, 193051047 fired transitions, 330 secs || 14794166 markings, 99176077 edges,
lola: 196 tries, 195961136 fired transitions, 335 secs || 15013099 markings, 100642060 edges,
lola: 199 tries, 198892233 fired transitions, 340 secs || 15232855 markings, 102113941 edges,
lola: 202 tries, 201800314 fired transitions, 345 secs || 15450840 markings, 103572999 edges,
lola: 205 tries, 204720203 fired transitions, 350 secs || 15662640 markings, 104989242 edges,
lola: 208 tries, 207605128 fired transitions, 355 secs || 15877936 markings, 106430936 edges,
lola: 211 tries, 210526073 fired transitions, 360 secs || 16089019 markings, 107843405 edges,
lola: 214 tries, 213454680 fired transitions, 365 secs || 16303587 markings, 109279230 edges,
lola: 217 tries, 216359669 fired transitions, 370 secs || 16520684 markings, 110731343 edges,
lola: 220 tries, 219241626 fired transitions, 375 secs || 16738407 markings, 112189124 edges,
lola: 223 tries, 222082791 fired transitions, 380 secs || 16955140 markings, 113639317 edges,
lola: 225 tries, 224992777 fired transitions, 385 secs || 17171854 markings, 115089337 edges,
lola: 228 tries, 227928426 fired transitions, 390 secs || 17385385 markings, 116518132 edges,
lola: 231 tries, 230844830 fired transitions, 395 secs || 17591159 markings, 117894656 edges,
lola: 234 tries, 233748723 fired transitions, 400 secs || 17799549 markings, 119288883 edges,
lola: 237 tries, 236680688 fired transitions, 405 secs || 18000661 markings, 120634622 edges,
lola: 240 tries, 239562102 fired transitions, 410 secs || 18205334 markings, 122005889 edges,
lola: 243 tries, 242469783 fired transitions, 415 secs || 18419992 markings, 123451793 edges,
lola: 246 tries, 245367657 fired transitions, 420 secs || 18628310 markings, 124854641 edges,
lola: 249 tries, 248267000 fired transitions, 425 secs || 18839955 markings, 126280069 edges,
lola: 252 tries, 251179540 fired transitions, 430 secs || 19057481 markings, 127744629 edges,
lola: 255 tries, 254091049 fired transitions, 435 secs || 19276936 markings, 129217701 edges,
lola: 257 tries, 256935462 fired transitions, 440 secs || 19495059 markings, 130678755 edges,
lola: 260 tries, 259837243 fired transitions, 445 secs || 19711051 markings, 132123830 edges,
lola: 263 tries, 262749724 fired transitions, 450 secs || 19924845 markings, 133553300 edges,
lola: 266 tries, 265639589 fired transitions, 455 secs || 20135029 markings, 134960370 edges,
lola: 269 tries, 268543083 fired transitions, 460 secs || 20351823 markings, 136410703 edges,
lola: 272 tries, 271432905 fired transitions, 465 secs || 20567359 markings, 137853521 edges,
lola: 275 tries, 274331092 fired transitions, 470 secs || 20789469 markings, 139339566 edges,
lola: 278 tries, 277220284 fired transitions, 475 secs || 21008656 markings, 140806987 edges,
lola: 281 tries, 280134443 fired transitions, 480 secs || 21225216 markings, 142256115 edges,
lola: 284 tries, 283067129 fired transitions, 485 secs || 21442994 markings, 143713349 edges,
lola: 286 tries, 285927680 fired transitions, 490 secs || 21659820 markings, 145164705 edges,
lola: 289 tries, 288800828 fired transitions, 495 secs || 21872576 markings, 146587893 edges,
lola: 292 tries, 291723002 fired transitions, 500 secs || 22086640 markings, 148019789 edges,
lola: 295 tries, 294623624 fired transitions, 505 secs || 22290856 markings, 149385950 edges,
lola: 298 tries, 297515155 fired transitions, 510 secs || 22503721 markings, 150810289 edges,
lola: 301 tries, 300401294 fired transitions, 515 secs || 22722772 markings, 152276185 edges,
lola: 304 tries, 303271530 fired transitions, 520 secs || 22940144 markings, 153730913 edges,
lola: 307 tries, 306127344 fired transitions, 525 secs || 23157596 markings, 155184857 edges,
lola: 310 tries, 309010265 fired transitions, 530 secs || 23370787 markings, 156612116 edges,
lola: 312 tries, 311907058 fired transitions, 535 secs || 23589977 markings, 158078988 edges,
lola: 315 tries, 314761820 fired transitions, 540 secs || 23807928 markings, 159537185 edges,
lola: 318 tries, 317667919 fired transitions, 545 secs || 24025842 markings, 160995334 edges,
lola: 321 tries, 320566403 fired transitions, 550 secs || 24237035 markings, 162407982 edges,
lola: 324 tries, 323451781 fired transitions, 555 secs || 24453424 markings, 163855883 edges,
lola: 327 tries, 326323956 fired transitions, 560 secs || 24664182 markings, 165265447 edges,
lola: 330 tries, 329195938 fired transitions, 565 secs || 24875185 markings, 166678454 edges,
lola: 333 tries, 332105841 fired transitions, 570 secs || 25085302 markings, 168082513 edges,
lola: 335 tries, 334997102 fired transitions, 575 secs || 25298317 markings, 169506589 edges,
lola: 338 tries, 337913432 fired transitions, 580 secs || 25509526 markings, 170922284 edges,
lola: 341 tries, 340774320 fired transitions, 585 secs || 25721346 markings, 172339427 edges,
lola: 344 tries, 343683661 fired transitions, 590 secs || 25933055 markings, 173753334 edges,
lola: 347 tries, 346588463 fired transitions, 595 secs || 26144919 markings, 175171782 edges,
lola: 350 tries, 349475544 fired transitions, 600 secs || 26361101 markings, 176618960 edges,
lola: 353 tries, 352352995 fired transitions, 605 secs || 26592875 markings, 178181810 edges,
lola: 356 tries, 355241665 fired transitions, 610 secs || 26819191 markings, 179697056 edges,
lola: 359 tries, 358103429 fired transitions, 615 secs || 27045083 markings, 181216936 edges,
lola: 361 tries, 360988695 fired transitions, 620 secs || 27264107 markings, 182682065 edges,
lola: 364 tries, 363878392 fired transitions, 625 secs || 27480530 markings, 184130530 edges,
lola: 367 tries, 366786402 fired transitions, 630 secs || 27699192 markings, 185600309 edges,
lola: 370 tries, 369694912 fired transitions, 635 secs || 27924603 markings, 187115714 edges,
lola: 373 tries, 372609197 fired transitions, 640 secs || 28146837 markings, 188602379 edges,
lola: 376 tries, 375472875 fired transitions, 645 secs || 28366315 markings, 190072454 edges,
lola: 379 tries, 378354037 fired transitions, 650 secs || 28589567 markings, 191566185 edges,
lola: 382 tries, 381264633 fired transitions, 655 secs || 28812088 markings, 193053939 edges,
lola: 385 tries, 384172677 fired transitions, 660 secs || 29032036 markings, 194526271 edges,
lola: 388 tries, 387086960 fired transitions, 665 secs || 29250684 markings, 195988316 edges,
lola: 390 tries, 389988214 fired transitions, 670 secs || 29473350 markings, 197489544 edges,
lola: 393 tries, 392869110 fired transitions, 675 secs || 29694845 markings, 198980360 edges,
lola: 396 tries, 395759383 fired transitions, 680 secs || 29916632 markings, 200470136 edges,
lola: 399 tries, 398670732 fired transitions, 685 secs || 30135551 markings, 201935244 edges,
lola: 402 tries, 401538100 fired transitions, 690 secs || 30352242 markings, 203385127 edges,
lola: 405 tries, 404430053 fired transitions, 695 secs || 30571644 markings, 204854447 edges,
lola: 408 tries, 407339331 fired transitions, 700 secs || 30789840 markings, 206314195 edges,
lola: 411 tries, 410250248 fired transitions, 705 secs || 31000092 markings, 207722107 edges,
lola: 414 tries, 413149335 fired transitions, 710 secs || 31212834 markings, 209145037 edges,
lola: 417 tries, 416066426 fired transitions, 715 secs || 31432970 markings, 210618531 edges,
lola: 419 tries, 418954879 fired transitions, 720 secs || 31650037 markings, 212070183 edges,
lola: 422 tries, 421872392 fired transitions, 725 secs || 31867674 markings, 213526092 edges,
lola: 425 tries, 424786946 fired transitions, 730 secs || 32081556 markings, 214958710 edges,
lola: 428 tries, 427693964 fired transitions, 735 secs || 32299708 markings, 216417434 edges,
lola: 431 tries, 430615881 fired transitions, 740 secs || 32513494 markings, 217847977 edges,
lola: 434 tries, 433523858 fired transitions, 745 secs || 32721636 markings, 219241469 edges,
lola: 437 tries, 436420652 fired transitions, 750 secs || 32933189 markings, 220656542 edges,
lola: 440 tries, 439340871 fired transitions, 755 secs || 33146270 markings, 222081718 edges,
lola: 443 tries, 442264398 fired transitions, 760 secs || 33353673 markings, 223479370 edges,
lola: 446 tries, 445176972 fired transitions, 765 secs || 33570598 markings, 224938622 edges,
lola: 449 tries, 448094910 fired transitions, 770 secs || 33787912 markings, 226402941 edges,
lola: 452 tries, 451012633 fired transitions, 775 secs || 34006861 markings, 227877210 edges,
lola: 454 tries, 453940459 fired transitions, 780 secs || 34226652 markings, 229355192 edges,
lola: 457 tries, 456856862 fired transitions, 785 secs || 34444856 markings, 230815169 edges,
lola: 460 tries, 459782873 fired transitions, 790 secs || 34658787 markings, 232245949 edges,
lola: 463 tries, 462633771 fired transitions, 795 secs || 34878189 markings, 233714810 edges,
lola: 466 tries, 465558873 fired transitions, 800 secs || 35098161 markings, 235187289 edges,
lola: 469 tries, 468440001 fired transitions, 805 secs || 35309636 markings, 236603129 edges,
lola: 472 tries, 471356836 fired transitions, 810 secs || 35522158 markings, 238023084 edges,
lola: 475 tries, 474205186 fired transitions, 815 secs || 35739883 markings, 239481507 edges,
lola: 478 tries, 477054294 fired transitions, 820 secs || 35955586 markings, 240925568 edges,
lola: 480 tries, 479994255 fired transitions, 825 secs || 36171888 markings, 242373313 edges,
lola: 483 tries, 482854540 fired transitions, 830 secs || 36388164 markings, 243818302 edges,
lola: 486 tries, 485769123 fired transitions, 835 secs || 36601918 markings, 245249998 edges,
lola: 489 tries, 488680589 fired transitions, 840 secs || 36813226 markings, 246663972 edges,
lola: 492 tries, 491587856 fired transitions, 845 secs || 37025179 markings, 248081996 edges,
lola: 495 tries, 494482645 fired transitions, 850 secs || 37237493 markings, 249501218 edges,
lola: 498 tries, 497377634 fired transitions, 855 secs || 37448773 markings, 250915637 edges,
lola: 501 tries, 500281895 fired transitions, 860 secs || 37675232 markings, 252430312 edges,
lola: 504 tries, 503185486 fired transitions, 865 secs || 37893608 markings, 253892546 edges,
lola: 507 tries, 506097552 fired transitions, 870 secs || 38104007 markings, 255300722 edges,
lola: 510 tries, 509000249 fired transitions, 875 secs || 38316415 markings, 256721471 edges,
lola: 512 tries, 511908920 fired transitions, 880 secs || 38535103 markings, 258185298 edges,
lola: 515 tries, 514819161 fired transitions, 885 secs || 38750439 markings, 259626908 edges,
lola: 518 tries, 517718218 fired transitions, 890 secs || 38966875 markings, 261074319 edges,
lola: 521 tries, 520601326 fired transitions, 895 secs || 39182345 markings, 262514187 edges,
lola: 524 tries, 523492340 fired transitions, 900 secs || 39398851 markings, 263964390 edges,
lola: 527 tries, 526414402 fired transitions, 905 secs || 39615198 markings, 265412150 edges,
lola: 530 tries, 529327035 fired transitions, 910 secs || 39828495 markings, 266838861 edges,
lola: 533 tries, 532248746 fired transitions, 915 secs || 40041830 markings, 268266188 edges,
lola: 536 tries, 535160601 fired transitions, 920 secs || 40253279 markings, 269680823 edges,
lola: 539 tries, 538055351 fired transitions, 925 secs || 40470110 markings, 271131637 edges,
lola: 541 tries, 540922983 fired transitions, 930 secs || 40684754 markings, 272567171 edges,
lola: 544 tries, 543805014 fired transitions, 935 secs || 40895961 markings, 273980435 edges,
lola: 547 tries, 546717000 fired transitions, 940 secs || 41107610 markings, 275395995 edges,
lola: 550 tries, 549598521 fired transitions, 945 secs || 41316714 markings, 276794359 edges,
lola: 553 tries, 552503627 fired transitions, 950 secs || 41539986 markings, 278298188 edges,
lola: 556 tries, 555382772 fired transitions, 955 secs || 41761360 markings, 279786661 edges,
lola: 559 tries, 558271724 fired transitions, 960 secs || 41981002 markings, 281265816 edges,
lola: 562 tries, 561149132 fired transitions, 965 secs || 42191091 markings, 282680340 edges,
lola: 565 tries, 564046884 fired transitions, 970 secs || 42412344 markings, 284171486 edges,
lola: 567 tries, 566939418 fired transitions, 975 secs || 42627948 markings, 285622913 edges,
lola: 570 tries, 569850464 fired transitions, 980 secs || 42846412 markings, 287091548 edges,
lola: 573 tries, 572761237 fired transitions, 985 secs || 43059596 markings, 288527708 edges,
lola: 576 tries, 575666054 fired transitions, 990 secs || 43281462 markings, 290016263 edges,
lola: 579 tries, 578554728 fired transitions, 995 secs || 43498832 markings, 291470471 edges,
lola: 582 tries, 581460785 fired transitions, 1000 secs || 43714707 markings, 292914146 edges,
lola: 585 tries, 584346559 fired transitions, 1005 secs || 43930873 markings, 294362093 edges,
lola: 588 tries, 587221721 fired transitions, 1010 secs || 44144793 markings, 295792916 edges,
lola: 591 tries, 590106078 fired transitions, 1015 secs || 44356559 markings, 297210329 edges,
lola: 594 tries, 593009826 fired transitions, 1020 secs || 44568962 markings, 298631774 edges,
lola: 596 tries, 595908892 fired transitions, 1025 secs || 44782683 markings, 300061795 edges,
lola: 599 tries, 598820073 fired transitions, 1030 secs || 44996019 markings, 301489507 edges,
lola: 602 tries, 601726190 fired transitions, 1035 secs || 45209166 markings, 302915580 edges,
lola: 605 tries, 604637265 fired transitions, 1040 secs || 45421330 markings, 304335200 edges,
lola: 608 tries, 607529146 fired transitions, 1045 secs || 45631099 markings, 305739273 edges,
lola: 611 tries, 610431504 fired transitions, 1050 secs || 45843519 markings, 307159744 edges,
lola: 614 tries, 613344468 fired transitions, 1055 secs || 46056176 markings, 308583206 edges,
lola: 617 tries, 616257653 fired transitions, 1060 secs || 46267824 markings, 309998563 edges,
lola: 620 tries, 619178098 fired transitions, 1065 secs || 46487881 markings, 311470602 edges,
lola: 623 tries, 622098907 fired transitions, 1070 secs || 46710027 markings, 312957605 edges,
lola: 626 tries, 625002753 fired transitions, 1075 secs || 46931583 markings, 314439180 edges,
lola: 628 tries, 627871105 fired transitions, 1080 secs || 47152361 markings, 315916466 edges,
lola: 631 tries, 630788468 fired transitions, 1085 secs || 47374395 markings, 317402550 edges,
lola: 634 tries, 633667465 fired transitions, 1090 secs || 47596112 markings, 318887285 edges,
lola: 637 tries, 636572973 fired transitions, 1095 secs || 47816017 markings, 320357595 edges,
lola: 640 tries, 639481022 fired transitions, 1100 secs || 48033505 markings, 321812827 edges,
lola: 643 tries, 642389498 fired transitions, 1105 secs || 48250410 markings, 323264841 edges,
lola: 646 tries, 645274374 fired transitions, 1110 secs || 48468913 markings, 324727134 edges,
lola: 649 tries, 648193084 fired transitions, 1115 secs || 48684773 markings, 326170174 edges,
lola: 652 tries, 651129071 fired transitions, 1120 secs || 48896003 markings, 327584000 edges,
lola: 655 tries, 654028252 fired transitions, 1125 secs || 49106586 markings, 328991577 edges,
lola: 657 tries, 656927737 fired transitions, 1130 secs || 49318088 markings, 330407087 edges,
lola: 660 tries, 659844505 fired transitions, 1135 secs || 49534203 markings, 331852309 edges,
lola: 662 tries, 661964747 fired transitions, 1140 secs || 49687825 markings, 332882002 edges,
lola: 665 tries, 664885967 fired transitions, 1145 secs || 49902809 markings, 334319143 edges,
lola: 668 tries, 667785905 fired transitions, 1150 secs || 50120057 markings, 335770911 edges,
lola: 671 tries, 670695531 fired transitions, 1155 secs || 50339566 markings, 337240754 edges,
lola: 674 tries, 673600097 fired transitions, 1160 secs || 50561410 markings, 338724983 edges,
lola: 677 tries, 676505837 fired transitions, 1165 secs || 50782608 markings, 340206095 edges,
lola: 680 tries, 679426873 fired transitions, 1170 secs || 51001724 markings, 341671360 edges,
lola: 683 tries, 682312540 fired transitions, 1175 secs || 51221287 markings, 343140797 edges,
lola: 686 tries, 685236767 fired transitions, 1180 secs || 51438858 markings, 344597606 edges,
lola: 689 tries, 688171346 fired transitions, 1185 secs || 51653940 markings, 346036396 edges,
lola: 692 tries, 691097236 fired transitions, 1190 secs || 51867356 markings, 347464005 edges,
lola: 695 tries, 694007049 fired transitions, 1195 secs || 52080339 markings, 348889596 edges,
lola: 697 tries, 696914529 fired transitions, 1200 secs || 52304896 markings, 350390698 edges,
lola: 700 tries, 699815638 fired transitions, 1205 secs || 52527347 markings, 351878530 edges,
lola: 703 tries, 702699655 fired transitions, 1210 secs || 52750043 markings, 353368477 edges,
lola: 706 tries, 705580976 fired transitions, 1215 secs || 52968329 markings, 354828549 edges,
lola: 709 tries, 708464497 fired transitions, 1220 secs || 53187151 markings, 356293092 edges,
lola: 712 tries, 711362886 fired transitions, 1225 secs || 53407552 markings, 357768676 edges,
lola: 715 tries, 714295411 fired transitions, 1230 secs || 53624608 markings, 359219010 edges,
lola: 718 tries, 717187254 fired transitions, 1235 secs || 53834218 markings, 360622312 edges,
lola: 721 tries, 720090835 fired transitions, 1240 secs || 54048823 markings, 362059495 edges,
lola: 724 tries, 723001065 fired transitions, 1245 secs || 54264213 markings, 363499935 edges,
lola: 726 tries, 725899655 fired transitions, 1250 secs || 54472185 markings, 364891204 edges,
lola: 729 tries, 728782013 fired transitions, 1255 secs || 54680351 markings, 366283932 edges,
lola: 732 tries, 731678335 fired transitions, 1260 secs || 54887058 markings, 367666352 edges,
lola: 735 tries, 734573897 fired transitions, 1265 secs || 55099446 markings, 369087229 edges,
lola: 738 tries, 737497735 fired transitions, 1270 secs || 55317879 markings, 370547354 edges,
lola: 741 tries, 740409759 fired transitions, 1275 secs || 55533894 markings, 371994475 edges,
lola: 744 tries, 743328725 fired transitions, 1280 secs || 55750748 markings, 373443566 edges,
lola: 747 tries, 746231221 fired transitions, 1285 secs || 55961438 markings, 374853318 edges,
lola: 750 tries, 749158276 fired transitions, 1290 secs || 56179398 markings, 376311582 edges,
lola: 753 tries, 752088070 fired transitions, 1295 secs || 56391782 markings, 377731556 edges,
lola: 755 tries, 754144555 fired transitions, 1300 secs || 56538869 markings, 378714761 edges,
lola: 757 tries, 756696180 fired transitions, 1305 secs || 56717629 markings, 379911451 edges,
lola: 760 tries, 759577684 fired transitions, 1310 secs || 56929147 markings, 381325578 edges,
lola: 763 tries, 762486868 fired transitions, 1315 secs || 57142715 markings, 382753998 edges,
lola: 766 tries, 765398874 fired transitions, 1320 secs || 57353486 markings, 384164728 edges,
lola: 769 tries, 768325488 fired transitions, 1325 secs || 57562197 markings, 385562501 edges,
lola: 772 tries, 771236795 fired transitions, 1330 secs || 57772999 markings, 386975125 edges,
lola: 774 tries, 773977638 fired transitions, 1335 secs || 57995093 markings, 388472767 edges,
lola: 777 tries, 776832871 fired transitions, 1340 secs || 58219802 markings, 389978344 edges,
lola: 780 tries, 779697872 fired transitions, 1345 secs || 58442624 markings, 391476327 edges,
lola: 783 tries, 782564046 fired transitions, 1350 secs || 58647520 markings, 392847876 edges,
lola: 786 tries, 785470507 fired transitions, 1355 secs || 58857018 markings, 394249974 edges,
lola: 789 tries, 788351127 fired transitions, 1360 secs || 59067064 markings, 395661680 edges,
lola: 791 tries, 790943545 fired transitions, 1365 secs || 59258960 markings, 396953571 edges,
lola: 794 tries, 793559442 fired transitions, 1370 secs || 59454605 markings, 398263124 edges,
lola: 797 tries, 796471968 fired transitions, 1375 secs || 59667386 markings, 399686999 edges,
lola: 800 tries, 799355043 fired transitions, 1380 secs || 59873834 markings, 401067923 edges,
lola: 803 tries, 802276544 fired transitions, 1385 secs || 60088010 markings, 402501882 edges,
lola: 806 tries, 805124473 fired transitions, 1390 secs || 60294130 markings, 403880172 edges,
lola: 809 tries, 808042370 fired transitions, 1395 secs || 60499962 markings, 405257575 edges,
lola: 811 tries, 810918246 fired transitions, 1400 secs || 60703326 markings, 406620443 edges,
lola: 814 tries, 813858858 fired transitions, 1405 secs || 60915106 markings, 408046518 edges,
lola: 817 tries, 816765955 fired transitions, 1410 secs || 61126348 markings, 409469295 edges,
lola: 820 tries, 819661928 fired transitions, 1415 secs || 61342357 markings, 410919793 edges,
lola: 823 tries, 822575519 fired transitions, 1420 secs || 61559448 markings, 412372499 edges,
lola: 826 tries, 825487553 fired transitions, 1425 secs || 61773704 markings, 413806206 edges,
lola: 829 tries, 828401651 fired transitions, 1430 secs || 61990095 markings, 415254264 edges,
lola: 832 tries, 831266880 fired transitions, 1435 secs || 62204533 markings, 416689758 edges,
lola: 835 tries, 834128236 fired transitions, 1440 secs || 62412541 markings, 418082754 edges,
lola: 837 tries, 836988584 fired transitions, 1445 secs || 62618346 markings, 419458149 edges,
lola: 840 tries, 839846953 fired transitions, 1450 secs || 62832192 markings, 420890648 edges,
lola: 843 tries, 842733345 fired transitions, 1455 secs || 63041450 markings, 422291180 edges,
lola: 846 tries, 845272332 fired transitions, 1460 secs || 63222901 markings, 423503280 edges,
lola: 847 tries, 846992969 fired transitions, 1465 secs || 63348536 markings, 424345701 edges,
lola: 850 tries, 849836211 fired transitions, 1470 secs || 63556892 markings, 425739833 edges,
lola: 853 tries, 852721930 fired transitions, 1475 secs || 63759960 markings, 427098780 edges,
lola: 856 tries, 855618567 fired transitions, 1480 secs || 63956688 markings, 428415668 edges,
lola: 859 tries, 858518931 fired transitions, 1485 secs || 64154379 markings, 429737266 edges,
lola: 862 tries, 861396159 fired transitions, 1490 secs || 64353842 markings, 431070300 edges,
lola: 865 tries, 864273430 fired transitions, 1495 secs || 64547053 markings, 432363565 edges,
lola: 868 tries, 867067434 fired transitions, 1500 secs || 64750441 markings, 433732583 edges,
lola: 870 tries, 869940624 fired transitions, 1505 secs || 64960403 markings, 435145941 edges,
lola: 873 tries, 872781172 fired transitions, 1510 secs || 65154796 markings, 436456476 edges,
lola: 876 tries, 875665114 fired transitions, 1515 secs || 65355938 markings, 437809773 edges,
lola: 879 tries, 878459682 fired transitions, 1520 secs || 65566415 markings, 439227588 edges,
lola: 882 tries, 881316069 fired transitions, 1525 secs || 65775515 markings, 440629212 edges,
lola: 884 tries, 883994841 fired transitions, 1530 secs || 65978048 markings, 441983322 edges,
lola: 886 tries, 885825248 fired transitions, 1535 secs || 66104319 markings, 442827891 edges,
lola: 888 tries, 887491155 fired transitions, 1540 secs || 66221539 markings, 443613061 edges,
lola: 889 tries, 888995401 fired transitions, 1545 secs || 66326519 markings, 444315394 edges,
lola: 891 tries, 890692456 fired transitions, 1550 secs || 66441824 markings, 445087652 edges,
lola: 894 tries, 893592534 fired transitions, 1555 secs || 66652611 markings, 446498725 edges,
lola: 897 tries, 896494548 fired transitions, 1560 secs || 66857992 markings, 447872322 edges,
lola: 900 tries, 899400335 fired transitions, 1565 secs || 67068951 markings, 449283645 edges,
lola: 903 tries, 902306266 fired transitions, 1570 secs || 67281516 markings, 450707160 edges,
lola: 906 tries, 905228888 fired transitions, 1575 secs || 67493939 markings, 452128264 edges,
lola: 909 tries, 908089714 fired transitions, 1580 secs || 67706352 markings, 453549894 edges,
lola: 912 tries, 911050477 fired transitions, 1585 secs || 67915620 markings, 454949211 edges,
lola: 914 tries, 913968272 fired transitions, 1590 secs || 68123150 markings, 456337461 edges,
lola: 917 tries, 916888272 fired transitions, 1595 secs || 68323341 markings, 457676941 edges,
lola: 920 tries, 919726845 fired transitions, 1600 secs || 68525994 markings, 459033829 edges,
lola: 923 tries, 922564449 fired transitions, 1605 secs || 68727957 markings, 460383571 edges,
lola: 926 tries, 925397667 fired transitions, 1610 secs || 68940225 markings, 461805657 edges,
lola: 929 tries, 928310492 fired transitions, 1615 secs || 69160731 markings, 463279857 edges,
lola: 932 tries, 931194231 fired transitions, 1620 secs || 69372345 markings, 464696916 edges,
lola: 935 tries, 934138842 fired transitions, 1625 secs || 69584910 markings, 466117791 edges,
lola: 938 tries, 937079609 fired transitions, 1630 secs || 69798864 markings, 467550949 edges,
lola: 941 tries, 940014275 fired transitions, 1635 secs || 70014093 markings, 468990830 edges,
lola: 943 tries, 942926569 fired transitions, 1640 secs || 70222014 markings, 470382104 edges,
lola: 946 tries, 945818148 fired transitions, 1645 secs || 70435186 markings, 471807167 edges,
lola: 949 tries, 948701056 fired transitions, 1650 secs || 70646028 markings, 473218700 edges,
lola: 952 tries, 951627537 fired transitions, 1655 secs || 70862830 markings, 474669567 edges,
lola: 955 tries, 954544499 fired transitions, 1660 secs || 71079138 markings, 476117079 edges,
lola: 958 tries, 957458888 fired transitions, 1665 secs || 71279745 markings, 477460112 edges,
lola: 961 tries, 960377386 fired transitions, 1670 secs || 71487690 markings, 478851337 edges,
lola: 964 tries, 963256196 fired transitions, 1675 secs || 71699389 markings, 480264255 edges,
lola: 967 tries, 966163002 fired transitions, 1680 secs || 71913795 markings, 481699387 edges,
lola: 970 tries, 969076238 fired transitions, 1685 secs || 72127413 markings, 483128552 edges,
lola: 972 tries, 971984630 fired transitions, 1690 secs || 72340597 markings, 484554584 edges,
lola: 975 tries, 974908123 fired transitions, 1695 secs || 72553422 markings, 485980710 edges,
lola: 978 tries, 977773339 fired transitions, 1700 secs || 72764097 markings, 487386865 edges,
lola: 981 tries, 980609260 fired transitions, 1705 secs || 72978025 markings, 488829520 edges,
lola: 984 tries, 983444945 fired transitions, 1710 secs || 73188071 markings, 490243113 edges,
lola: 987 tries, 986319627 fired transitions, 1715 secs || 73398346 markings, 491660026 edges,
lola: 990 tries, 989240669 fired transitions, 1720 secs || 73608327 markings, 493073173 edges,
lola: 993 tries, 992159067 fired transitions, 1725 secs || 73821946 markings, 494512118 edges,
lola: 996 tries, 995060999 fired transitions, 1730 secs || 74029932 markings, 495912670 edges,
lola: 998 tries, 997943135 fired transitions, 1735 secs || 74239096 markings, 497319586 edges,
lola: 1001 tries, 1000878559 fired transitions, 1740 secs || 74447843 markings, 498725599 edges,
lola: 1004 tries, 1003807737 fired transitions, 1745 secs || 74652863 markings, 500100974 edges,
lola: 1007 tries, 1006727997 fired transitions, 1750 secs || 74860131 markings, 501489015 edges,
lola: 1010 tries, 1009640487 fired transitions, 1755 secs || 75064764 markings, 502857552 edges,
lola: 1013 tries, 1012544903 fired transitions, 1760 secs || 75270824 markings, 504236233 edges,
lola: 1016 tries, 1015426325 fired transitions, 1765 secs || 75479795 markings, 505634577 edges,
lola: 1019 tries, 1018340305 fired transitions, 1770 secs || 75683695 markings, 507000314 edges,
lola: 1022 tries, 1021253895 fired transitions, 1775 secs || 75887519 markings, 508361714 edges,
lola: 1025 tries, 1024124677 fired transitions, 1780 secs || 76095990 markings, 509758824 edges,
lola: 1028 tries, 1027047789 fired transitions, 1785 secs || 76306962 markings, 511170097 edges,
lola: 1030 tries, 1029934793 fired transitions, 1790 secs || 76515597 markings, 512566662 edges,
lola: 1033 tries, 1032827638 fired transitions, 1795 secs || 76722085 markings, 513947801 edges,
lola: 1036 tries, 1035758547 fired transitions, 1800 secs || 76927419 markings, 515321148 edges,
lola: 1039 tries, 1038663014 fired transitions, 1805 secs || 77132598 markings, 516695791 edges,
lola: 1042 tries, 1041558752 fired transitions, 1810 secs || 77338108 markings, 518069435 edges,
lola: 1045 tries, 1044476472 fired transitions, 1815 secs || 77542708 markings, 519439022 edges,
lola: 1048 tries, 1047381071 fired transitions, 1820 secs || 77747467 markings, 520807533 edges,
lola: 1051 tries, 1050277956 fired transitions, 1825 secs || 77957227 markings, 522211861 edges,
lola: 1054 tries, 1053184596 fired transitions, 1830 secs || 78172283 markings, 523651244 edges,
lola: 1057 tries, 1056049845 fired transitions, 1835 secs || 78385940 markings, 525081643 edges,
lola: 1059 tries, 1058953275 fired transitions, 1840 secs || 78598179 markings, 526501316 edges,
lola: 1062 tries, 1061858982 fired transitions, 1845 secs || 78808544 markings, 527909187 edges,
lola: 1065 tries, 1064773097 fired transitions, 1850 secs || 79014506 markings, 529285792 edges,
lola: 1068 tries, 1067652094 fired transitions, 1855 secs || 79220337 markings, 530663175 edges,
lola: 1071 tries, 1070567100 fired transitions, 1860 secs || 79428745 markings, 532058921 edges,
lola: 1074 tries, 1073495138 fired transitions, 1865 secs || 79637646 markings, 533454393 edges,
lola: 1077 tries, 1076416419 fired transitions, 1870 secs || 79848765 markings, 534868966 edges,
lola: 1080 tries, 1079332219 fired transitions, 1875 secs || 80052509 markings, 536231964 edges,
lola: 1083 tries, 1082235483 fired transitions, 1880 secs || 80257714 markings, 537605175 edges,
lola: 1086 tries, 1085145110 fired transitions, 1885 secs || 80466507 markings, 539001785 edges,
lola: 1089 tries, 1088025994 fired transitions, 1890 secs || 80676379 markings, 540405892 edges,
lola: 1091 tries, 1090907433 fired transitions, 1895 secs || 80887939 markings, 541820105 edges,
lola: 1094 tries, 1093777610 fired transitions, 1900 secs || 81095018 markings, 543204710 edges,
lola: 1097 tries, 1096673611 fired transitions, 1905 secs || 81290899 markings, 544516691 edges,
lola: 1100 tries, 1099551198 fired transitions, 1910 secs || 81495079 markings, 545882132 edges,
lola: 1103 tries, 1102392211 fired transitions, 1915 secs || 81702011 markings, 547266320 edges,
lola: 1106 tries, 1105238682 fired transitions, 1920 secs || 81920036 markings, 548726248 edges,
lola: 1109 tries, 1108057598 fired transitions, 1925 secs || 82134943 markings, 550164326 edges,
lola: 1111 tries, 1110909936 fired transitions, 1930 secs || 82335373 markings, 551504571 edges,
lola: 1114 tries, 1113786534 fired transitions, 1935 secs || 82545045 markings, 552908348 edges,
lola: 1117 tries, 1116670236 fired transitions, 1940 secs || 82757589 markings, 554330898 edges,
lola: 1120 tries, 1119538377 fired transitions, 1945 secs || 82966638 markings, 555729588 edges,
lola: 1123 tries, 1122420459 fired transitions, 1950 secs || 83175979 markings, 557130051 edges,
lola: 1126 tries, 1125314399 fired transitions, 1955 secs || 83374936 markings, 558461070 edges,
lola: 1129 tries, 1128199594 fired transitions, 1960 secs || 83575685 markings, 559803330 edges,
lola: 1132 tries, 1131082399 fired transitions, 1965 secs || 83783697 markings, 561195784 edges,
lola: 1134 tries, 1133915296 fired transitions, 1970 secs || 83991094 markings, 562583107 edges,
lola: 1137 tries, 1136782402 fired transitions, 1975 secs || 84195870 markings, 563953350 edges,
lola: 1140 tries, 1139682887 fired transitions, 1980 secs || 84401979 markings, 565332356 edges,
lola: 1143 tries, 1142581623 fired transitions, 1985 secs || 84609072 markings, 566717930 edges,
lola: 1146 tries, 1145474682 fired transitions, 1990 secs || 84821146 markings, 568136018 edges,
lola: 1149 tries, 1148354303 fired transitions, 1995 secs || 85028282 markings, 569520787 edges,
lola: 1152 tries, 1151215590 fired transitions, 2000 secs || 85240232 markings, 570939869 edges,
lola: 1155 tries, 1154089782 fired transitions, 2005 secs || 85444156 markings, 572305167 edges,
lola: 1157 tries, 1156916980 fired transitions, 2010 secs || 85652523 markings, 573697387 edges,
lola: 1160 tries, 1159772334 fired transitions, 2015 secs || 85855605 markings, 575056226 edges,
lola: 1163 tries, 1162637355 fired transitions, 2020 secs || 86059064 markings, 576418744 edges,
lola: 1166 tries, 1165537147 fired transitions, 2025 secs || 86260986 markings, 577768039 edges,
lola: 1169 tries, 1168389760 fired transitions, 2030 secs || 86460564 markings, 579105036 edges,
lola: 1172 tries, 1171260302 fired transitions, 2035 secs || 86662587 markings, 580455988 edges,
lola: 1175 tries, 1174154566 fired transitions, 2040 secs || 86862618 markings, 581794165 edges,
lola: 1178 tries, 1177045497 fired transitions, 2045 secs || 87056118 markings, 583088601 edges,
lola: 1180 tries, 1179926631 fired transitions, 2050 secs || 87258345 markings, 584439629 edges,
lola: 1183 tries, 1182738788 fired transitions, 2055 secs || 87457220 markings, 585771657 edges,
lola: 1186 tries, 1185449089 fired transitions, 2060 secs || 87659655 markings, 587125154 edges,
lola: 1189 tries, 1188222966 fired transitions, 2065 secs || 87864315 markings, 588495093 edges,
lola: 1192 tries, 1191026975 fired transitions, 2070 secs || 88068874 markings, 589862231 edges,
lola: 1194 tries, 1193832819 fired transitions, 2075 secs || 88270247 markings, 591211686 edges,
lola: 1197 tries, 1196590239 fired transitions, 2080 secs || 88475326 markings, 592580984 edges,
lola: 1200 tries, 1199312539 fired transitions, 2085 secs || 88681392 markings, 593960710 edges,
lola: 1203 tries, 1202195314 fired transitions, 2090 secs || 88887115 markings, 595336073 edges,
lola: 1206 tries, 1205075446 fired transitions, 2095 secs || 89092184 markings, 596708181 edges,
lola: 1208 tries, 1207966253 fired transitions, 2100 secs || 89304740 markings, 598137097 edges,
lola: 1211 tries, 1210807716 fired transitions, 2105 secs || 89515975 markings, 599559887 edges,
lola: 1214 tries, 1213667565 fired transitions, 2110 secs || 89721157 markings, 600941266 edges,
lola: 1217 tries, 1216564792 fired transitions, 2115 secs || 89921776 markings, 602292311 edges,
lola: 1220 tries, 1219440884 fired transitions, 2120 secs || 90133151 markings, 603714450 edges,
lola: 1223 tries, 1222309017 fired transitions, 2125 secs || 90346810 markings, 605153054 edges,
lola: 1226 tries, 1225217157 fired transitions, 2130 secs || 90552438 markings, 606537975 edges,
lola: 1229 tries, 1228116545 fired transitions, 2135 secs || 90759829 markings, 607932347 edges,
lola: 1231 tries, 1230991972 fired transitions, 2140 secs || 90971281 markings, 609357712 edges,
lola: 1234 tries, 1233903676 fired transitions, 2145 secs || 91180046 markings, 610762664 edges,
lola: 1237 tries, 1236812454 fired transitions, 2150 secs || 91393734 markings, 612200685 edges,
lola: 1240 tries, 1239688941 fired transitions, 2155 secs || 91606275 markings, 613631709 edges,
lola: 1243 tries, 1242601836 fired transitions, 2160 secs || 91816008 markings, 615043640 edges,
lola: 1246 tries, 1245495078 fired transitions, 2165 secs || 92021494 markings, 616426735 edges,
lola: 1249 tries, 1248390792 fired transitions, 2170 secs || 92237025 markings, 617871586 edges,
lola: 1252 tries, 1251307136 fired transitions, 2175 secs || 92447711 markings, 619279984 edges,
lola: 1255 tries, 1254151035 fired transitions, 2180 secs || 92660908 markings, 620707424 edges,
lola: 1258 tries, 1257025164 fired transitions, 2185 secs || 92874440 markings, 622136994 edges,
lola: 1260 tries, 1259922023 fired transitions, 2190 secs || 93084033 markings, 623539785 edges,
lola: 1263 tries, 1262780781 fired transitions, 2195 secs || 93292630 markings, 624935488 edges,
lola: 1266 tries, 1265699995 fired transitions, 2200 secs || 93499531 markings, 626319475 edges,
lola: 1269 tries, 1268600107 fired transitions, 2205 secs || 93711254 markings, 627737028 edges,
lola: 1272 tries, 1271534802 fired transitions, 2210 secs || 93916324 markings, 629109077 edges,
lola: 1275 tries, 1274473372 fired transitions, 2215 secs || 94122604 markings, 630487996 edges,
lola: 1278 tries, 1277392360 fired transitions, 2220 secs || 94327907 markings, 631862727 edges,
lola: 1281 tries, 1280286031 fired transitions, 2225 secs || 94532982 markings, 633235052 edges,
lola: 1284 tries, 1283201137 fired transitions, 2230 secs || 94739491 markings, 634616681 edges,
lola: 1287 tries, 1286105948 fired transitions, 2235 secs || 94945215 markings, 635993476 edges,
lola: 1290 tries, 1289046787 fired transitions, 2240 secs || 95150064 markings, 637363774 edges,
lola: 1292 tries, 1291823087 fired transitions, 2245 secs || 95349982 markings, 638701048 edges,
lola: 1295 tries, 1294741948 fired transitions, 2250 secs || 95561481 markings, 640116792 edges,
lola: 1298 tries, 1297658595 fired transitions, 2255 secs || 95764473 markings, 641474425 edges,
lola: 1301 tries, 1300565619 fired transitions, 2260 secs || 95971284 markings, 642858050 edges,
lola: 1304 tries, 1303461828 fired transitions, 2265 secs || 96178005 markings, 644242503 edges,
lola: 1307 tries, 1306384628 fired transitions, 2270 secs || 96393183 markings, 645680759 edges,
lola: 1310 tries, 1309319256 fired transitions, 2275 secs || 96607347 markings, 647113791 edges,
lola: 1313 tries, 1312279972 fired transitions, 2280 secs || 96820801 markings, 648542865 edges,
lola: 1316 tries, 1315147297 fired transitions, 2285 secs || 97036633 markings, 649986894 edges,
lola: 1319 tries, 1318029706 fired transitions, 2290 secs || 97250332 markings, 651417071 edges,
lola: 1321 tries, 1320962587 fired transitions, 2295 secs || 97456582 markings, 652796338 edges,
lola: 1324 tries, 1323856873 fired transitions, 2300 secs || 97661948 markings, 654170662 edges,
lola: 1327 tries, 1326747272 fired transitions, 2305 secs || 97865228 markings, 655531066 edges,
lola: 1330 tries, 1329604203 fired transitions, 2310 secs || 98064157 markings, 656861510 edges,
lola: 1333 tries, 1332452727 fired transitions, 2315 secs || 98263080 markings, 658191650 edges,
lola: 1336 tries, 1335395934 fired transitions, 2320 secs || 98470192 markings, 659576847 edges,
lola: 1339 tries, 1338314863 fired transitions, 2325 secs || 98675405 markings, 660949215 edges,
lola: 1342 tries, 1341226665 fired transitions, 2330 secs || 98880870 markings, 662323609 edges,
lola: 1345 tries, 1344133221 fired transitions, 2335 secs || 99086254 markings, 663697414 edges,
lola: 1348 tries, 1347017992 fired transitions, 2340 secs || 99295751 markings, 665100044 edges,
lola: 1350 tries, 1349937321 fired transitions, 2345 secs || 99509032 markings, 666527910 edges,
lola: 1353 tries, 1352853740 fired transitions, 2350 secs || 99717268 markings, 667921967 edges,
lola: 1356 tries, 1355752886 fired transitions, 2355 secs || 99925875 markings, 669317574 edges,
lola: 1359 tries, 1358645150 fired transitions, 2360 secs || 100134867 markings, 670714951 edges,
lola: 1362 tries, 1361542679 fired transitions, 2365 secs || 100343081 markings, 672109579 edges,
lola: 1365 tries, 1364447476 fired transitions, 2370 secs || 100546394 markings, 673469180 edges,
lola: 1368 tries, 1367357320 fired transitions, 2375 secs || 100748986 markings, 674823253 edges,
lola: 1371 tries, 1370210777 fired transitions, 2380 secs || 100956645 markings, 676214126 edges,
lola: 1374 tries, 1373123324 fired transitions, 2385 secs || 101171732 markings, 677651948 edges,
lola: 1377 tries, 1376012551 fired transitions, 2390 secs || 101384755 markings, 679078478 edges,
lola: 1379 tries, 1378933040 fired transitions, 2395 secs || 101597522 markings, 680502047 edges,
lola: 1382 tries, 1381828436 fired transitions, 2400 secs || 101803954 markings, 681881810 edges,
lola: 1385 tries, 1384748760 fired transitions, 2405 secs || 102014933 markings, 683292621 edges,
lola: 1388 tries, 1387660201 fired transitions, 2410 secs || 102228006 markings, 684718618 edges,
lola: 1391 tries, 1390591587 fired transitions, 2415 secs || 102440532 markings, 686140394 edges,
lola: 1394 tries, 1393509563 fired transitions, 2420 secs || 102649521 markings, 687539082 edges,
lola: 1397 tries, 1396416980 fired transitions, 2425 secs || 102858599 markings, 688938453 edges,
lola: 1400 tries, 1399306292 fired transitions, 2430 secs || 103068460 markings, 690342092 edges,
lola: 1403 tries, 1402174633 fired transitions, 2435 secs || 103276858 markings, 691736952 edges,
lola: 1406 tries, 1405104660 fired transitions, 2440 secs || 103479237 markings, 693089465 edges,
lola: 1408 tries, 1407994383 fired transitions, 2445 secs || 103687699 markings, 694485876 edges,
lola: 1411 tries, 1410910817 fired transitions, 2450 secs || 103894149 markings, 695865085 edges,
lola: 1414 tries, 1413715651 fired transitions, 2455 secs || 104093698 markings, 697201585 edges,
lola: 1417 tries, 1416596287 fired transitions, 2460 secs || 104308702 markings, 698638401 edges,
lola: 1420 tries, 1419492687 fired transitions, 2465 secs || 104519255 markings, 700046865 edges,
lola: 1423 tries, 1422403124 fired transitions, 2470 secs || 104726447 markings, 701434675 edges,
lola: 1426 tries, 1425310823 fired transitions, 2475 secs || 104932474 markings, 702811338 edges,
lola: 1429 tries, 1428242947 fired transitions, 2480 secs || 105139373 markings, 704197474 edges,
lola: 1432 tries, 1431159833 fired transitions, 2485 secs || 105349177 markings, 705600363 edges,
lola: 1435 tries, 1434065377 fired transitions, 2490 secs || 105552165 markings, 706958163 edges,
lola: 1437 tries, 1436944106 fired transitions, 2495 secs || 105756572 markings, 708326049 edges,
lola: 1440 tries, 1439822700 fired transitions, 2500 secs || 105963020 markings, 709706796 edges,
lola: 1443 tries, 1442745897 fired transitions, 2505 secs || 106170764 markings, 711095519 edges,
lola: 1446 tries, 1445681813 fired transitions, 2510 secs || 106377652 markings, 712479765 edges,
lola: 1449 tries, 1448591871 fired transitions, 2515 secs || 106582907 markings, 713853745 edges,
lola: 1452 tries, 1451506860 fired transitions, 2520 secs || 106793780 markings, 715263897 edges,
lola: 1455 tries, 1454402204 fired transitions, 2525 secs || 107007500 markings, 716692829 edges,
lola: 1458 tries, 1457331224 fired transitions, 2530 secs || 107217162 markings, 718096919 edges,
lola: 1461 tries, 1460249870 fired transitions, 2535 secs || 107428556 markings, 719511138 edges,
lola: 1464 tries, 1463163127 fired transitions, 2540 secs || 107639219 markings, 720921493 edges,
lola: 1467 tries, 1466077107 fired transitions, 2545 secs || 107849526 markings, 722327407 edges,
lola: 1469 tries, 1468937439 fired transitions, 2550 secs || 108062323 markings, 723752049 edges,
lola: 1472 tries, 1471855299 fired transitions, 2555 secs || 108273835 markings, 725166330 edges,
lola: 1475 tries, 1474716557 fired transitions, 2560 secs || 108483652 markings, 726569224 edges,
lola: 1478 tries, 1477596819 fired transitions, 2565 secs || 108698414 markings, 728006768 edges,
lola: 1481 tries, 1480502865 fired transitions, 2570 secs || 108909016 markings, 729417116 edges,
lola: 1484 tries, 1483384953 fired transitions, 2575 secs || 109118127 markings, 730816140 edges,
lola: 1487 tries, 1486173172 fired transitions, 2580 secs || 109328145 markings, 732221344 edges,
lola: 1490 tries, 1489092906 fired transitions, 2585 secs || 109535564 markings, 733608659 edges,
lola: 1492 tries, 1491973337 fired transitions, 2590 secs || 109734469 markings, 734938532 edges,
lola: 1495 tries, 1494789536 fired transitions, 2595 secs || 109931041 markings, 736255169 edges,
lola: 1498 tries, 1497645475 fired transitions, 2600 secs || 110139509 markings, 737647470 edges,
lola: 1501 tries, 1500553187 fired transitions, 2605 secs || 110340695 markings, 738994298 edges,
lola: 1504 tries, 1503448362 fired transitions, 2610 secs || 110546941 markings, 740374708 edges,
lola: 1507 tries, 1506268439 fired transitions, 2615 secs || 110761051 markings, 741807056 edges,
lola: 1510 tries, 1509153066 fired transitions, 2620 secs || 110965236 markings, 743173372 edges,
lola: 1512 tries, 1511991946 fired transitions, 2625 secs || 111165880 markings, 744515681 edges,
lola: 1515 tries, 1514837779 fired transitions, 2630 secs || 111373526 markings, 745905005 edges,
lola: 1518 tries, 1517745595 fired transitions, 2635 secs || 111579191 markings, 747280438 edges,
lola: 1521 tries, 1520661474 fired transitions, 2640 secs || 111792859 markings, 748709282 edges,
lola: 1524 tries, 1523545302 fired transitions, 2645 secs || 112005763 markings, 750133150 edges,
lola: 1527 tries, 1526442195 fired transitions, 2650 secs || 112220524 markings, 751571638 edges,
lola: 1530 tries, 1529345923 fired transitions, 2655 secs || 112434258 markings, 753000639 edges,
lola: 1533 tries, 1532254921 fired transitions, 2660 secs || 112651143 markings, 754452612 edges,
lola: 1536 tries, 1535189364 fired transitions, 2665 secs || 112867338 markings, 755899323 edges,
lola: 1539 tries, 1538119151 fired transitions, 2670 secs || 113083896 markings, 757344988 edges,
lola: 1542 tries, 1541036318 fired transitions, 2675 secs || 113299562 markings, 758787172 edges,
lola: 1544 tries, 1543959412 fired transitions, 2680 secs || 113512743 markings, 760213843 edges,
lola: 1547 tries, 1546885348 fired transitions, 2685 secs || 113729172 markings, 761660609 edges,
lola: 1550 tries, 1549818054 fired transitions, 2690 secs || 113942954 markings, 763091271 edges,
lola: 1553 tries, 1552733077 fired transitions, 2695 secs || 114157487 markings, 764526945 edges,
lola: 1556 tries, 1555564418 fired transitions, 2700 secs || 114378892 markings, 766009231 edges,
lola: 1559 tries, 1558480856 fired transitions, 2705 secs || 114597030 markings, 767467148 edges,
lola: 1562 tries, 1561421417 fired transitions, 2710 secs || 114812277 markings, 768909050 edges,
lola: 1565 tries, 1564278606 fired transitions, 2715 secs || 115023330 markings, 770320176 edges,
lola: 1568 tries, 1567165495 fired transitions, 2720 secs || 115237887 markings, 771755631 edges,
lola: 1571 tries, 1570112951 fired transitions, 2725 secs || 115452796 markings, 773193566 edges,
lola: 1574 tries, 1573056044 fired transitions, 2730 secs || 115665733 markings, 774619092 edges,
lola: 1577 tries, 1576006271 fired transitions, 2735 secs || 115881306 markings, 776058638 edges,
lola: 1579 tries, 1578955391 fired transitions, 2740 secs || 116093546 markings, 777480919 edges,
lola: 1582 tries, 1581900028 fired transitions, 2745 secs || 116312002 markings, 778941163 edges,
lola: 1585 tries, 1584838434 fired transitions, 2750 secs || 116526362 markings, 780375721 edges,
lola: 1588 tries, 1587680780 fired transitions, 2755 secs || 116738548 markings, 781793386 edges,
lola: 1591 tries, 1590640794 fired transitions, 2760 secs || 116946900 markings, 783187110 edges,
lola: 1594 tries, 1593591340 fired transitions, 2765 secs || 117161105 markings, 784619490 edges,
lola: 1597 tries, 1596455878 fired transitions, 2770 secs || 117374151 markings, 786045816 edges,
lola: 1600 tries, 1599414272 fired transitions, 2775 secs || 117585437 markings, 787460389 edges,
lola: 1603 tries, 1602351233 fired transitions, 2780 secs || 117801699 markings, 788905152 edges,
lola: 1606 tries, 1605272330 fired transitions, 2785 secs || 118020209 markings, 790368388 edges,
lola: 1609 tries, 1608190266 fired transitions, 2790 secs || 118234673 markings, 791803416 edges,
lola: 1612 tries, 1611121762 fired transitions, 2795 secs || 118448175 markings, 793229369 edges,
lola: 1615 tries, 1614018777 fired transitions, 2800 secs || 118658984 markings, 794640661 edges,
lola: 1617 tries, 1616907775 fired transitions, 2805 secs || 118872531 markings, 796067596 edges,
lola: 1620 tries, 1619867457 fired transitions, 2810 secs || 119084445 markings, 797487895 edges,
lola: 1623 tries, 1622819823 fired transitions, 2815 secs || 119293927 markings, 798887791 edges,
lola: 1626 tries, 1625745914 fired transitions, 2820 secs || 119504424 markings, 800295660 edges,
lola: 1629 tries, 1628698569 fired transitions, 2825 secs || 119715104 markings, 801705040 edges,
lola: 1632 tries, 1631629273 fired transitions, 2830 secs || 119926195 markings, 803117255 edges,
lola: 1635 tries, 1634557592 fired transitions, 2835 secs || 120132234 markings, 804493684 edges,
lola: 1638 tries, 1637510523 fired transitions, 2840 secs || 120337671 markings, 805869472 edges,
lola: 1641 tries, 1640421293 fired transitions, 2845 secs || 120559438 markings, 807361252 edges,
lola: 1644 tries, 1643344081 fired transitions, 2850 secs || 120792028 markings, 808927601 edges,
lola: 1647 tries, 1646285161 fired transitions, 2855 secs || 121018842 markings, 810448629 edges,
lola: 1650 tries, 1649196149 fired transitions, 2860 secs || 121245264 markings, 811970240 edges,
lola: 1653 tries, 1652086074 fired transitions, 2865 secs || 121469577 markings, 813470054 edges,
lola: 1656 tries, 1655018478 fired transitions, 2870 secs || 121693511 markings, 814969843 edges,
lola: 1658 tries, 1657925792 fired transitions, 2875 secs || 121918691 markings, 816484715 edges,
lola: 1661 tries, 1660817274 fired transitions, 2880 secs || 122145948 markings, 818010205 edges,
lola: 1664 tries, 1663734074 fired transitions, 2885 secs || 122369893 markings, 819509144 edges,
lola: 1667 tries, 1666613941 fired transitions, 2890 secs || 122590807 markings, 820987812 edges,
lola: 1670 tries, 1669553155 fired transitions, 2895 secs || 122815214 markings, 822488984 edges,
lola: 1673 tries, 1672465062 fired transitions, 2900 secs || 123032182 markings, 823941249 edges,
lola: 1676 tries, 1675365788 fired transitions, 2905 secs || 123252556 markings, 825416283 edges,
lola: 1679 tries, 1678261089 fired transitions, 2910 secs || 123473675 markings, 826896380 edges,
lola: 1682 tries, 1681149386 fired transitions, 2915 secs || 123697599 markings, 828403527 edges,
lola: 1685 tries, 1684042188 fired transitions, 2920 secs || 123915651 markings, 829872330 edges,
lola: 1687 tries, 1686943462 fired transitions, 2925 secs || 124138136 markings, 831366402 edges,
lola: 1690 tries, 1689875108 fired transitions, 2930 secs || 124354679 markings, 832817022 edges,
lola: 1693 tries, 1692802845 fired transitions, 2935 secs || 124570702 markings, 834263093 edges,
lola: 1696 tries, 1695683595 fired transitions, 2940 secs || 124785212 markings, 835696915 edges,
lola: 1699 tries, 1698573846 fired transitions, 2945 secs || 124999345 markings, 837129388 edges,
lola: 1702 tries, 1701506615 fired transitions, 2950 secs || 125212207 markings, 838555430 edges,
lola: 1705 tries, 1704410342 fired transitions, 2955 secs || 125414828 markings, 839910569 edges,
lola: 1708 tries, 1707323160 fired transitions, 2960 secs || 125627518 markings, 841333437 edges,
lola: 1711 tries, 1710225424 fired transitions, 2965 secs || 125829898 markings, 842688588 edges,
lola: 1714 tries, 1713106376 fired transitions, 2970 secs || 126032942 markings, 844047202 edges,
lola: 1717 tries, 1716039482 fired transitions, 2975 secs || 126243649 markings, 845455204 edges,
lola: 1719 tries, 1718982605 fired transitions, 2980 secs || 126455752 markings, 846875491 edges,
lola: 1722 tries, 1721905917 fired transitions, 2985 secs || 126660799 markings, 848247479 edges,
lola: 1725 tries, 1724807508 fired transitions, 2990 secs || 126867214 markings, 849629125 edges,
lola: 1728 tries, 1727742163 fired transitions, 2995 secs || 127070997 markings, 850991812 edges,
lola: 1731 tries, 1730642382 fired transitions, 3000 secs || 127271602 markings, 852335232 edges,
lola: 1734 tries, 1733540030 fired transitions, 3005 secs || 127485636 markings, 853773539 edges,
lola: 1737 tries, 1736445016 fired transitions, 3010 secs || 127701221 markings, 855224260 edges,
lola: 1740 tries, 1739365056 fired transitions, 3015 secs || 127914972 markings, 856664903 edges,
lola: 1743 tries, 1742264405 fired transitions, 3020 secs || 128126742 markings, 858087580 edges,
lola: 1746 tries, 1745209106 fired transitions, 3025 secs || 128342117 markings, 859541044 edges,
lola: 1749 tries, 1748140565 fired transitions, 3030 secs || 128566092 markings, 861040927 edges,
lola: 1752 tries, 1751068593 fired transitions, 3035 secs || 128780379 markings, 862474873 edges,
lola: 1754 tries, 1753998759 fired transitions, 3040 secs || 128991311 markings, 863886766 edges,
lola: 1757 tries, 1756921938 fired transitions, 3045 secs || 129205655 markings, 865320469 edges,
lola: 1760 tries, 1759830871 fired transitions, 3050 secs || 129411993 markings, 866701690 edges,
lola: 1763 tries, 1762723146 fired transitions, 3055 secs || 129625679 markings, 868131041 edges,
lola: 1766 tries, 1765656173 fired transitions, 3060 secs || 129839001 markings, 869557795 edges,
lola: 1769 tries, 1768578828 fired transitions, 3065 secs || 130057284 markings, 871020633 edges,
lola: 1772 tries, 1771461933 fired transitions, 3070 secs || 130272411 markings, 872459355 edges,
lola: 1775 tries, 1774359961 fired transitions, 3075 secs || 130485056 markings, 873882240 edges,
lola: 1778 tries, 1777256136 fired transitions, 3080 secs || 130697834 markings, 875304732 edges,
lola: 1781 tries, 1780170696 fired transitions, 3085 secs || 130902110 markings, 876671445 edges,
lola: 1784 tries, 1783089598 fired transitions, 3090 secs || 131105642 markings, 878034991 edges,
lola: 1786 tries, 1785922154 fired transitions, 3095 secs || 131316683 markings, 879445629 edges,
lola: 1789 tries, 1788810614 fired transitions, 3100 secs || 131517883 markings, 880792484 edges,
lola: 1792 tries, 1791723102 fired transitions, 3105 secs || 131729440 markings, 882207232 edges,
lola: 1795 tries, 1794624090 fired transitions, 3110 secs || 131940682 markings, 883622051 edges,
lola: 1798 tries, 1797547578 fired transitions, 3115 secs || 132149232 markings, 885017480 edges,
lola: 1801 tries, 1800463134 fired transitions, 3120 secs || 132360565 markings, 886431400 edges,
lola: 1804 tries, 1803377829 fired transitions, 3125 secs || 132574656 markings, 887863964 edges,
lola: 1807 tries, 1806305346 fired transitions, 3130 secs || 132784960 markings, 889270166 edges,
lola: 1810 tries, 1809189497 fired transitions, 3135 secs || 132995218 markings, 890677424 edges,
lola: 1812 tries, 1811752061 fired transitions, 3140 secs || 133187327 markings, 891963093 edges,
lola: 1814 tries, 1813786991 fired transitions, 3145 secs || 133333539 markings, 892939721 edges,
lola: 1817 tries, 1816676207 fired transitions, 3150 secs || 133541461 markings, 894331466 edges,
lola: 1820 tries, 1819597293 fired transitions, 3155 secs || 133750671 markings, 895732578 edges,
lola: 1823 tries, 1822268266 fired transitions, 3160 secs || 133941195 markings, 897007576 edges,
lola: 1825 tries, 1824770455 fired transitions, 3165 secs || 134123952 markings, 898228421 edges,
lola: 1828 tries, 1827673390 fired transitions, 3170 secs || 134331340 markings, 899615902 edges,
lola: 1831 tries, 1830547171 fired transitions, 3175 secs || 134540285 markings, 901015362 edges,
lola: 1834 tries, 1833441071 fired transitions, 3180 secs || 134753794 markings, 902442029 edges,
lola: 1837 tries, 1836373761 fired transitions, 3185 secs || 134971054 markings, 903896806 edges,
lola: 1840 tries, 1839291066 fired transitions, 3190 secs || 135187756 markings, 905344808 edges,
lola: 1843 tries, 1842217378 fired transitions, 3195 secs || 135402787 markings, 906783389 edges,
lola: 1846 tries, 1845136868 fired transitions, 3200 secs || 135618141 markings, 908229754 edges,
lola: 1849 tries, 1848071655 fired transitions, 3205 secs || 135835741 markings, 909695199 edges,
lola: 1851 tries, 1850985987 fired transitions, 3210 secs || 136053051 markings, 911158364 edges,
lola: 1854 tries, 1853920882 fired transitions, 3215 secs || 136267523 markings, 912602272 edges,
lola: 1857 tries, 1856829400 fired transitions, 3220 secs || 136475809 markings, 914004140 edges,
lola: 1860 tries, 1859741236 fired transitions, 3225 secs || 136686628 markings, 915422631 edges,
lola: 1863 tries, 1862603372 fired transitions, 3230 secs || 136890590 markings, 916796412 edges,
lola: 1866 tries, 1865519954 fired transitions, 3235 secs || 137099984 markings, 918205094 edges,
lola: 1869 tries, 1868335988 fired transitions, 3240 secs || 137315572 markings, 919657769 edges,
lola: 1872 tries, 1871190030 fired transitions, 3245 secs || 137532939 markings, 921111638 edges,
lola: 1875 tries, 1874073758 fired transitions, 3250 secs || 137749343 markings, 922560151 edges,
lola: 1877 tries, 1876962894 fired transitions, 3255 secs || 137957705 markings, 923954150 edges,
lola: 1880 tries, 1879830171 fired transitions, 3260 secs || 138172782 markings, 925393344 edges,
lola: 1883 tries, 1882711014 fired transitions, 3265 secs || 138380470 markings, 926784445 edges,
lola: 1886 tries, 1885577198 fired transitions, 3270 secs || 138586641 markings, 928163555 edges,
lola: 1889 tries, 1888477590 fired transitions, 3275 secs || 138798346 markings, 929580427 edges,
lola: 1892 tries, 1891385536 fired transitions, 3280 secs || 139006081 markings, 930969090 edges,
lola: 1895 tries, 1894285287 fired transitions, 3285 secs || 139208810 markings, 932326825 edges,
lola: 1898 tries, 1897214387 fired transitions, 3290 secs || 139413862 markings, 933699008 edges,
lola: 1901 tries, 1900127331 fired transitions, 3295 secs || 139624558 markings, 935108180 edges,
lola: 1904 tries, 1903038833 fired transitions, 3300 secs || 139834152 markings, 936511415 edges,
lola: 1906 tries, 1905916977 fired transitions, 3305 secs || 140040147 markings, 937889173 edges,
lola: 1909 tries, 1908830866 fired transitions, 3310 secs || 140242432 markings, 939242111 edges,
lola: 1912 tries, 1911743307 fired transitions, 3315 secs || 140435632 markings, 940535608 edges,
lola: 1915 tries, 1914545784 fired transitions, 3320 secs || 140633422 markings, 941858455 edges,
lola: 1918 tries, 1917425365 fired transitions, 3325 secs || 140846048 markings, 943281376 edges,
lola: 1921 tries, 1920317180 fired transitions, 3330 secs || 141058976 markings, 944707161 edges,
lola: 1924 tries, 1923186912 fired transitions, 3335 secs || 141269283 markings, 946112877 edges,
lola: 1927 tries, 1926097777 fired transitions, 3340 secs || 141476425 markings, 947500180 edges,
lola: 1929 tries, 1928985706 fired transitions, 3345 secs || 141690925 markings, 948934143 edges,
lola: 1932 tries, 1931897816 fired transitions, 3350 secs || 141905069 markings, 950366211 edges,
lola: 1935 tries, 1934816939 fired transitions, 3355 secs || 142119584 markings, 951801851 edges,
lola: 1938 tries, 1937765291 fired transitions, 3360 secs || 142333527 markings, 953234487 edges,
lola: 1941 tries, 1940713761 fired transitions, 3365 secs || 142550388 markings, 954684351 edges,
lola: 1944 tries, 1943598456 fired transitions, 3370 secs || 142754590 markings, 956051812 edges,
lola: 1947 tries, 1946512166 fired transitions, 3375 secs || 142959339 markings, 957421421 edges,
lola: 1950 tries, 1949015111 fired transitions, 3380 secs || 143135182 markings, 958598221 edges,
lola: 1952 tries, 1951916734 fired transitions, 3385 secs || 143341431 markings, 959976186 edges,
lola: 1955 tries, 1954858338 fired transitions, 3390 secs || 143547096 markings, 961352979 edges,
lola: 1958 tries, 1957801561 fired transitions, 3395 secs || 143752734 markings, 962729661 edges,
lola: 1961 tries, 1960742708 fired transitions, 3400 secs || 143959707 markings, 964114819 edges,
lola: 1964 tries, 1963686638 fired transitions, 3405 secs || 144158476 markings, 965443854 edges,
lola: 1967 tries, 1966632245 fired transitions, 3410 secs || 144364588 markings, 966823401 edges,
lola: 1970 tries, 1969579425 fired transitions, 3415 secs || 144577932 markings, 968250073 edges,
lola: 1973 tries, 1972517188 fired transitions, 3420 secs || 144800090 markings, 969737081 edges,
lola: 1976 tries, 1975447384 fired transitions, 3425 secs || 145012567 markings, 971158234 edges,
lola: 1979 tries, 1978380957 fired transitions, 3430 secs || 145229388 markings, 972609374 edges,
lola: 1982 tries, 1981310627 fired transitions, 3435 secs || 145444083 markings, 974045120 edges,
lola: 1985 tries, 1984218575 fired transitions, 3440 secs || 145655992 markings, 975464287 edges,
lola: 1988 tries, 1987033583 fired transitions, 3445 secs || 145873441 markings, 976917792 edges,
lola: 1990 tries, 1989874317 fired transitions, 3450 secs || 146090900 markings, 978373574 edges,
lola: 1993 tries, 1992716755 fired transitions, 3455 secs || 146306295 markings, 979815598 edges,
lola: 1996 tries, 1995602583 fired transitions, 3460 secs || 146529036 markings, 981303901 edges,
lola: 1999 tries, 1998509457 fired transitions, 3465 secs || 146749281 markings, 982778785 edges,
lola: 2002 tries, 2001449148 fired transitions, 3470 secs || 146968294 markings, 984244692 edges,
lola: 2005 tries, 2004392238 fired transitions, 3475 secs || 147186617 markings, 985704351 edges,
lola: 2008 tries, 2007281433 fired transitions, 3480 secs || 147405348 markings, 987166680 edges,
lola: 2011 tries, 2010218670 fired transitions, 3485 secs || 147619397 markings, 988600741 edges,
lola: 2014 tries, 2013123004 fired transitions, 3490 secs || 147835566 markings, 990046404 edges,
lola: 2017 tries, 2016043643 fired transitions, 3495 secs || 148053360 markings, 991501060 edges,
lola: 2019 tries, 2018925011 fired transitions, 3500 secs || 148260678 markings, 992889607 edges,
lola: 2022 tries, 2021857684 fired transitions, 3505 secs || 148477396 markings, 994339787 edges,
lola: 2025 tries, 2024793347 fired transitions, 3510 secs || 148687358 markings, 995744349 edges,
lola: 2028 tries, 2027706782 fired transitions, 3515 secs || 148900418 markings, 997170212 edges,
lola: 2031 tries, 2030649760 fired transitions, 3520 secs || 149109644 markings, 998568727 edges,
lola: 2034 tries, 2033572982 fired transitions, 3525 secs || 149318374 markings, 999965869 edges,
lola: 2037 tries, 2036509691 fired transitions, 3530 secs || 149534033 markings, 1001409170 edges,
lola: 2040 tries, 2039431347 fired transitions, 3535 secs || 149748162 markings, 1002841454 edges,
lola: 2043 tries, 2042377738 fired transitions, 3540 secs || 149961989 markings, 1004270765 edges,
lola: 2046 tries, 2045315860 fired transitions, 3545 secs || 150171531 markings, 1005672308 edges,
lola: 2049 tries, 2048208182 fired transitions, 3550 secs || 150386829 markings, 1007112344 edges,
lola: 2052 tries, 2051118445 fired transitions, 3555 secs || 150598432 markings, 1008529917 edges,
lola: time limit reached - aborting
lola: memory consumption: 5725708 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 1552559994457

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
le='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 47139 markings/sec, 0 secs 45967 markings/sec, 5 secs 44747 markings/sec, 10 secs 45844 markings/sec, 15 secs 44489 markings/sec, 20 secs 43512 markings/sec, 25 secs 41578 markings/sec, 30 secs 43704 markings/sec, 35 secs 44783 markings/sec, 40 secs 43616 markings/sec, 45 secs 43885 markings/sec, 50 secs 42647 markings/sec, 55 secs 44130 markings/sec, 60 secs 44565 markings/sec, 65 secs 44946 markings/sec, 70 secs 43810 markings/sec, 75 secs 44412 markings/sec, 80 secs 44285 markings/sec, 85 secs 44360 markings/sec, 90 secs 43938 markings/sec, 95 secs 43533 markings/sec, 100 secs 46700 markings/sec, 105 secs 45530 markings/sec, 110 secs 45476 markings/sec, 115 secs 45505 markings/sec, 120 secs 44778 markings/sec, 125 secs 41195 markings/sec, 130 secs 44464 markings/sec, 135 secs 43999 markings/sec, 140 secs 44243 markings/sec, 145 secs 45101 markings/sec, 150 secs 44611 markings/sec, 155 secs 43429 markings/sec, 160 secs 42108 markings/sec, 165 secs 43873 markings/sec, 170 secs 43441 markings/sec, 175 secs 44899 markings/sec, 180 secs 44720 markings/sec, 185 secs 43492 markings/sec, 190 secs 45009 markings/sec, 195 secs 44758 markings/sec, 200 secs 44362 markings/sec, 205 secs 43997 markings/sec, 210 secs 44456 markings/sec, 215 secs 43939 markings/sec, 220 secs 44394 markings/sec, 225 secs 44342 markings/sec, 230 secs 43786 markings/sec, 235 secs 43030 markings/sec, 240 secs 43431 markings/sec, 245 secs 42916 markings/sec, 250 secs 44856 markings/sec, 255 secs 45734 markings/sec, 260 secs 44741 markings/sec, 265 secs 44370 markings/sec, 270 secs 43706 markings/sec, 275 secs 43842 markings/sec, 280 secs 43986 markings/sec, 285 secs 44921 markings/sec, 290 secs 43481 markings/sec, 295 secs 43844 markings/sec, 300 secs 44159 markings/sec, 305 secs 43878 markings/sec, 310 secs 43176 markings/sec, 315 secs 43186 markings/sec, 320 secs 42890 markings/sec, 325 secs 42189 markings/sec, 330 secs 43787 markings/sec, 335 secs 43951 markings/sec, 340 secs 43597 markings/sec, 345 secs 42360 markings/sec, 350 secs 43059 markings/sec, 355 secs 42217 markings/sec, 360 secs 42914 markings/sec, 365 secs 43419 markings/sec, 370 secs 43545 markings/sec, 375 secs 43347 markings/sec, 380 secs 43343 markings/sec, 385 secs 42706 markings/sec, 390 secs 41155 markings/sec, 395 secs 41678 markings/sec, 400 secs 40222 markings/sec, 405 secs 40935 markings/sec, 410 secs 42932 markings/sec, 415 secs 41664 markings/sec, 420 secs 42329 markings/sec, 425 secs 43505 markings/sec, 430 secs 43891 markings/sec, 435 secs 43625 markings/sec, 440 secs 43198 markings/sec, 445 secs 42759 markings/sec, 450 secs 42037 markings/sec, 455 secs 43359 markings/sec, 460 secs 43107 markings/sec, 465 secs 44422 markings/sec, 470 secs 43837 markings/sec, 475 secs 43312 markings/sec, 480 secs 43556 markings/sec, 485 secs 43365 markings/sec, 490 secs 42551 markings/sec, 495 secs 42813 markings/sec, 500 secs 40843 markings/sec, 505 secs 42573 markings/sec, 510 secs 43810 markings/sec, 515 secs 43474 markings/sec, 520 secs 43490 markings/sec, 525 secs 42638 markings/sec, 530 secs 43838 markings/sec, 535 secs 43590 markings/sec, 540 secs 43583 markings/sec, 545 secs 42239 markings/sec, 550 secs 43278 markings/sec, 555 secs 42152 markings/sec, 560 secs 42201 markings/sec, 565 secs 42023 markings/sec, 570 secs 42603 markings/sec, 575 secs 42242 markings/sec, 580 secs 42364 markings/sec, 585 secs 42342 markings/sec, 590 secs 42373 markings/sec, 595 secs 43236 markings/sec, 600 secs 46355 markings/sec, 605 secs 45263 markings/sec, 610 secs 45178 markings/sec, 615 secs 43805 markings/sec, 620 secs 43285 markings/sec, 625 secs 43732 markings/sec, 630 secs 45082 markings/sec, 635 secs 44447 markings/sec, 640 secs 43896 markings/sec, 645 secs 44650 markings/sec, 650 secs 44504 markings/sec, 655 secs 43990 markings/sec, 660 secs 43730 markings/sec, 665 secs 44533 markings/sec, 670 secs 44299 markings/sec, 675 secs 44357 markings/sec, 680 secs 43784 markings/sec, 685 secs 43338 markings/sec, 690 secs 43880 markings/sec, 695 secs 43639 markings/sec, 700 secs 42050 markings/sec, 705 secs 42548 markings/sec, 710 secs 44027 markings/sec, 715 secs 43413 markings/sec, 720 secs 43527 markings/sec, 725 secs 42776 markings/sec, 730 secs 43630 markings/sec, 735 secs 42757 markings/sec, 740 secs 41628 markings/sec, 745 secs 42311 markings/sec, 750 secs 42616 markings/sec, 755 secs 41481 markings/sec, 760 secs 43385 markings/sec, 765 secs 43463 markings/sec, 770 secs 43790 markings/sec, 775 secs 43958 markings/sec, 780 secs 43641 markings/sec, 785 secs 42786 markings/sec, 790 secs 43880 markings/sec, 795 secs 43994 markings/sec, 800 secs 42295 markings/sec, 805 secs 42504 markings/sec, 810 secs 43545 markings/sec, 815 secs 43141 markings/sec, 820 secs 43260 markings/sec, 825 secs 43255 markings/sec, 830 secs 42751 markings/sec, 835 secs 42262 markings/sec, 840 secs 42391 markings/sec, 845 secs 42463 markings/sec, 850 secs 42256 markings/sec, 855 secs 45292 markings/sec, 860 secs 43675 markings/sec, 865 secs 42080 markings/sec, 870 secs 42482 markings/sec, 875 secs 43738 markings/sec, 880 secs 43067 markings/sec, 885 secs 43287 markings/sec, 890 secs 43094 markings/sec, 895 secs 43301 markings/sec, 900 secs 43269 markings/sec, 905 secs 42659 markings/sec, 910 secs 42667 markings/sec, 915 secs 42290 markings/sec, 920 secs 43366 markings/sec, 925 secs 42929 markings/sec, 930 secs 42241 markings/sec, 935 secs 42330 markings/sec, 940 secs 41821 markings/sec, 945 secs 44654 markings/sec, 950 secs 44275 markings/sec, 955 secs 43928 markings/sec, 960 secs 42018 markings/sec, 965 secs 44251 markings/sec, 970 secs 43121 markings/sec, 975 secs 43693 markings/sec, 980 secs 42637 markings/sec, 985 secs 44373 markings/sec, 990 secs 43474 markings/sec, 995 secs 43175 markings/sec, 1000 secs 43233 markings/sec, 1005 secs 42784 markings/sec, 1010 secs 42353 markings/sec, 1015 secs 42481 markings/sec, 1020 secs 42744 markings/sec, 1025 secs 42667 markings/sec, 1030 secs 42629 markings/sec, 1035 secs 42433 markings/sec, 1040 secs 41954 markings/sec, 1045 secs 42484 markings/sec, 1050 secs 42531 markings/sec, 1055 secs 42330 markings/sec, 1060 secs 44011 markings/sec, 1065 secs 44429 markings/sec, 1070 secs 44311 markings/sec, 1075 secs 44156 markings/sec, 1080 secs 44407 markings/sec, 1085 secs 44343 markings/sec, 1090 secs 43981 markings/sec, 1095 secs 43498 markings/sec, 1100 secs 43381 markings/sec, 1105 secs 43701 markings/sec, 1110 secs 43172 markings/sec, 1115 secs 42246 markings/sec, 1120 secs 42117 markings/sec, 1125 secs 42300 markings/sec, 1130 secs 43223 markings/sec, 1135 secs 30724 markings/sec, 1140 secs 42997 markings/sec, 1145 secs 43450 markings/sec, 1150 secs 43902 markings/sec, 1155 secs 44369 markings/sec, 1160 secs 44240 markings/sec, 1165 secs 43823 markings/sec, 1170 secs 43913 markings/sec, 1175 secs 43514 markings/sec, 1180 secs 43016 markings/sec, 1185 secs 42683 markings/sec, 1190 secs 42597 markings/sec, 1195 secs 44911 markings/sec, 1200 secs 44490 markings/sec, 1205 secs 44539 markings/sec, 1210 secs 43657 markings/sec, 1215 secs 43764 markings/sec, 1220 secs 44080 markings/sec, 1225 secs 43411 markings/sec, 1230 secs 41922 markings/sec, 1235 secs 42921 markings/sec, 1240 secs 43078 markings/sec, 1245 secs 41594 markings/sec, 1250 secs 41633 markings/sec, 1255 secs 41341 markings/sec, 1260 secs 42478 markings/sec, 1265 secs 43687 markings/sec, 1270 secs 43203 markings/sec, 1275 secs 43371 markings/sec, 1280 secs 42138 markings/sec, 1285 secs 43592 markings/sec, 1290 secs 42477 markings/sec, 1295 secs 29417 markings/sec, 1300 secs 35752 markings/sec, 1305 secs 42304 markings/sec, 1310 secs 42714 markings/sec, 1315 secs 42154 markings/sec, 1320 secs 41742 markings/sec, 1325 secs 42160 markings/sec, 1330 secs 44419 markings/sec, 1335 secs 44942 markings/sec, 1340 secs 44564 markings/sec, 1345 secs 40979 markings/sec, 1350 secs 41900 markings/sec, 1355 secs 42009 markings/sec, 1360 secs 38379 markings/sec, 1365 secs 39129 markings/sec, 1370 secs 42556 markings/sec, 1375 secs 41290 markings/sec, 1380 secs 42835 markings/sec, 1385 secs 41224 markings/sec, 1390 secs 41166 markings/sec, 1395 secs 40673 markings/sec, 1400 secs 42356 markings/sec, 1405 secs 42248 markings/sec, 1410 secs 43202 markings/sec, 1415 secs 43418 markings/sec, 1420 secs 42851 markings/sec, 1425 secs 43278 markings/sec, 1430 secs 42888 markings/sec, 1435 secs 41602 markings/sec, 1440 secs 41161 markings/sec, 1445 secs 42769 markings/sec, 1450 secs 41852 markings/sec, 1455 secs 36290 markings/sec, 1460 secs 25127 markings/sec, 1465 secs 41671 markings/sec, 1470 secs 40614 markings/sec, 1475 secs 39346 markings/sec, 1480 secs 39538 markings/sec, 1485 secs 39893 markings/sec, 1490 secs 38642 markings/sec, 1495 secs 40678 markings/sec, 1500 secs 41992 markings/sec, 1505 secs 38879 markings/sec, 1510 secs 40228 markings/sec, 1515 secs 42095 markings/sec, 1520 secs 41820 markings/sec, 1525 secs 40507 markings/sec, 1530 secs 25254 markings/sec, 1535 secs 23444 markings/sec, 1540 secs 20996 markings/sec, 1545 secs 23061 markings/sec, 1550 secs 42157 markings/sec, 1555 secs 41076 markings/sec, 1560 secs 42192 markings/sec, 1565 secs 42513 markings/sec, 1570 secs 42485 markings/sec, 1575 secs 42483 markings/sec, 1580 secs 41854 markings/sec, 1585 secs 41506 markings/sec, 1590 secs 40038 markings/sec, 1595 secs 40531 markings/sec, 1600 secs 40393 markings/sec, 1605 secs 42454 markings/sec, 1610 secs 44101 markings/sec, 1615 secs 42323 markings/sec, 1620 secs 42513 markings/sec, 1625 secs 42791 markings/sec, 1630 secs 43046 markings/sec, 1635 secs 41584 markings/sec, 1640 secs 42634 markings/sec, 1645 secs 42168 markings/sec, 1650 secs 43360 markings/sec, 1655 secs 43262 markings/sec, 1660 secs 40121 markings/sec, 1665 secs 41589 markings/sec, 1670 secs 42340 markings/sec, 1675 secs 42881 markings/sec, 1680 secs 42724 markings/sec, 1685 secs 42637 markings/sec, 1690 secs 42565 markings/sec, 1695 secs 42135 markings/sec, 1700 secs 42786 markings/sec, 1705 secs 42009 markings/sec, 1710 secs 42055 markings/sec, 1715 secs 41996 markings/sec, 1720 secs 42724 markings/sec, 1725 secs 41597 markings/sec, 1730 secs 41833 markings/sec, 1735 secs 41749 markings/sec, 1740 secs 41004 markings/sec, 1745 secs 41454 markings/sec, 1750 secs 40927 markings/sec, 1755 secs 41212 markings/sec, 1760 secs 41794 markings/sec, 1765 secs 40780 markings/sec, 1770 secs 40765 markings/sec, 1775 secs 41694 markings/sec, 1780 secs 42194 markings/sec, 1785 secs 41727 markings/sec, 1790 secs 41298 markings/sec, 1795 secs 41067 markings/sec, 1800 secs 41036 markings/sec, 1805 secs 41102 markings/sec, 1810 secs 40920 markings/sec, 1815 secs 40952 markings/sec, 1820 secs 41952 markings/sec, 1825 secs 43011 markings/sec, 1830 secs 42731 markings/sec, 1835 secs 42448 markings/sec, 1840 secs 42073 markings/sec, 1845 secs 41192 markings/sec, 1850 secs 41166 markings/sec, 1855 secs 41682 markings/sec, 1860 secs 41780 markings/sec, 1865 secs 42224 markings/sec, 1870 secs 40749 markings/sec, 1875 secs 41041 markings/sec, 1880 secs 41759 markings/sec, 1885 secs 41974 markings/sec, 1890 secs 42312 markings/sec, 1895 secs 41416 markings/sec, 1900 secs 39176 markings/sec, 1905 secs 40836 markings/sec, 1910 secs 41386 markings/sec, 1915 secs 43605 markings/sec, 1920 secs 42981 markings/sec, 1925 secs 40086 markings/sec, 1930 secs 41934 markings/sec, 1935 secs 42509 markings/sec, 1940 secs 41810 markings/sec, 1945 secs 41868 markings/sec, 1950 secs 39791 markings/sec, 1955 secs 40150 markings/sec, 1960 secs 41602 markings/sec, 1965 secs 41479 markings/sec, 1970 secs 40955 markings/sec, 1975 secs 41222 markings/sec, 1980 secs 41419 markings/sec, 1985 secs 42415 markings/sec, 1990 secs 41427 markings/sec, 1995 secs 42390 markings/sec, 2000 secs 40785 markings/sec, 2005 secs 41673 markings/sec, 2010 secs 40616 markings/sec, 2015 secs 40692 markings/sec, 2020 secs 40384 markings/sec, 2025 secs 39916 markings/sec, 2030 secs 40405 markings/sec, 2035 secs 40006 markings/sec, 2040 secs 38700 markings/sec, 2045 secs 40445 markings/sec, 2050 secs 39775 markings/sec, 2055 secs 40487 markings/sec, 2060 secs 40932 markings/sec, 2065 secs 40912 markings/sec, 2070 secs 40275 markings/sec, 2075 secs 41016 markings/sec, 2080 secs 41213 markings/sec, 2085 secs 41145 markings/sec, 2090 secs 41014 markings/sec, 2095 secs 42511 markings/sec, 2100 secs 42247 markings/sec, 2105 secs 41036 markings/sec, 2110 secs 40124 markings/sec, 2115 secs 42275 markings/sec, 2120 secs 42732 markings/sec, 2125 secs 41126 markings/sec, 2130 secs 41478 markings/sec, 2135 secs 42290 markings/sec, 2140 secs 41753 markings/sec, 2145 secs 42738 markings/sec, 2150 secs 42508 markings/sec, 2155 secs 41947 markings/sec, 2160 secs 41097 markings/sec, 2165 secs 43106 markings/sec, 2170 secs 42137 markings/sec, 2175 secs 42639 markings/sec, 2180 secs 42706 markings/sec, 2185 secs 41919 markings/sec, 2190 secs 41719 markings/sec, 2195 secs 41380 markings/sec, 2200 secs 42345 markings/sec, 2205 secs 41014 markings/sec, 2210 secs 41256 markings/sec, 2215 secs 41061 markings/sec, 2220 secs 41015 markings/sec, 2225 secs 41302 markings/sec, 2230 secs 41145 markings/sec, 2235 secs 40970 markings/sec, 2240 secs 39984 markings/sec, 2245 secs 42300 markings/sec, 2250 secs 40598 markings/sec, 2255 secs 41362 markings/sec, 2260 secs 41344 markings/sec, 2265 secs 43036 markings/sec, 2270 secs 42833 markings/sec, 2275 secs 42691 markings/sec, 2280 secs 43166 markings/sec, 2285 secs 42740 markings/sec, 2290 secs 41250 markings/sec, 2295 secs 41073 markings/sec, 2300 secs 40656 markings/sec, 2305 secs 39786 markings/sec, 2310 secs 39785 markings/sec, 2315 secs 41422 markings/sec, 2320 secs 41043 markings/sec, 2325 secs 41093 markings/sec, 2330 secs 41077 markings/sec, 2335 secs 41899 markings/sec, 2340 secs 42656 markings/sec, 2345 secs 41647 markings/sec, 2350 secs 41721 markings/sec, 2355 secs 41798 markings/sec, 2360 secs 41643 markings/sec, 2365 secs 40663 markings/sec, 2370 secs 40518 markings/sec, 2375 secs 41532 markings/sec, 2380 secs 43017 markings/sec, 2385 secs 42605 markings/sec, 2390 secs 42553 markings/sec, 2395 secs 41286 markings/sec, 2400 secs 42196 markings/sec, 2405 secs 42615 markings/sec, 2410 secs 42505 markings/sec, 2415 secs 41798 markings/sec, 2420 secs 41816 markings/sec, 2425 secs 41972 markings/sec, 2430 secs 41680 markings/sec, 2435 secs 40476 markings/sec, 2440 secs 41692 markings/sec, 2445 secs 41290 markings/sec, 2450 secs 39910 markings/sec, 2455 secs 43001 markings/sec, 2460 secs 42111 markings/sec, 2465 secs 41438 markings/sec, 2470 secs 41205 markings/sec, 2475 secs 41380 markings/sec, 2480 secs 41961 markings/sec, 2485 secs 40598 markings/sec, 2490 secs 40881 markings/sec, 2495 secs 41290 markings/sec, 2500 secs 41549 markings/sec, 2505 secs 41378 markings/sec, 2510 secs 41051 markings/sec, 2515 secs 42175 markings/sec, 2520 secs 42744 markings/sec, 2525 secs 41932 markings/sec, 2530 secs 42279 markings/sec, 2535 secs 42133 markings/sec, 2540 secs 42061 markings/sec, 2545 secs 42559 markings/sec, 2550 secs 42302 markings/sec, 2555 secs 41963 markings/sec, 2560 secs 42952 markings/sec, 2565 secs 42120 markings/sec, 2570 secs 41822 markings/sec, 2575 secs 42004 markings/sec, 2580 secs 41484 markings/sec, 2585 secs 39781 markings/sec, 2590 secs 39314 markings/sec, 2595 secs 41694 markings/sec, 2600 secs 40237 markings/sec, 2605 secs 41249 markings/sec, 2610 secs 42822 markings/sec, 2615 secs 40837 markings/sec, 2620 secs 40129 markings/sec, 2625 secs 41529 markings/sec, 2630 secs 41133 markings/sec, 2635 secs 42734 markings/sec, 2640 secs 42581 markings/sec, 2645 secs 42952 markings/sec, 2650 secs 42747 markings/sec, 2655 secs 43377 markings/sec, 2660 secs 43239 markings/sec, 2665 secs 43312 markings/sec, 2670 secs 43133 markings/sec, 2675 secs 42636 markings/sec, 2680 secs 43286 markings/sec, 2685 secs 42756 markings/sec, 2690 secs 42907 markings/sec, 2695 secs 44281 markings/sec, 2700 secs 43628 markings/sec, 2705 secs 43049 markings/sec, 2710 secs 42211 markings/sec, 2715 secs 42911 markings/sec, 2720 secs 42982 markings/sec, 2725 secs 42587 markings/sec, 2730 secs 43115 markings/sec, 2735 secs 42448 markings/sec, 2740 secs 43691 markings/sec, 2745 secs 42872 markings/sec, 2750 secs 42437 markings/sec, 2755 secs 41670 markings/sec, 2760 secs 42841 markings/sec, 2765 secs 42609 markings/sec, 2770 secs 42257 markings/sec, 2775 secs 43252 markings/sec, 2780 secs 43702 markings/sec, 2785 secs 42893 markings/sec, 2790 secs 42700 markings/sec, 2795 secs 42162 markings/sec, 2800 secs 42709 markings/sec, 2805 secs 42383 markings/sec, 2810 secs 41896 markings/sec, 2815 secs 42099 markings/sec, 2820 secs 42136 markings/sec, 2825 secs 42218 markings/sec, 2830 secs 41208 markings/sec, 2835 secs 41087 markings/sec, 2840 secs 44353 markings/sec, 2845 secs 46518 markings/sec, 2850 secs 45363 markings/sec, 2855 secs 45284 markings/sec, 2860 secs 44863 markings/sec, 2865 secs 44787 markings/sec, 2870 secs 45036 markings/sec, 2875 secs 45451 markings/sec, 2880 secs 44789 markings/sec, 2885 secs 44183 markings/sec, 2890 secs 44881 markings/sec, 2895 secs 43394 markings/sec, 2900 secs 44075 markings/sec, 2905 secs 44224 markings/sec, 2910 secs 44785 markings/sec, 2915 secs 43610 markings/sec, 2920 secs 44497 markings/sec, 2925 secs 43309 markings/sec, 2930 secs 43205 markings/sec, 2935 secs 42902 markings/sec, 2940 secs 42827 markings/sec, 2945 secs 42572 markings/sec, 2950 secs 40524 markings/sec, 2955 secs 42538 markings/sec, 2960 secs 40476 markings/sec, 2965 secs 40609 markings/sec, 2970 secs 42141 markings/sec, 2975 secs 42421 markings/sec, 2980 secs 41009 markings/sec, 2985 secs 41283 markings/sec, 2990 secs 40757 markings/sec, 2995 secs 40121 markings/sec, 3000 secs 42807 markings/sec, 3005 secs 43117 markings/sec, 3010 secs 42750 markings/sec, 3015 secs 42354 markings/sec, 3020 secs 43075 markings/sec, 3025 secs 44795 markings/sec, 3030 secs 42857 markings/sec, 3035 secs 42186 markings/sec, 3040 secs 42869 markings/sec, 3045 secs 41268 markings/sec, 3050 secs 42737 markings/sec, 3055 secs 42664 markings/sec, 3060 secs 43657 markings/sec, 3065 secs 43025 markings/sec, 3070 secs 42529 markings/sec, 3075 secs 42556 markings/sec, 3080 secs 40855 markings/sec, 3085 secs 40706 markings/sec, 3090 secs 42208 markings/sec, 3095 secs 40240 markings/sec, 3100 secs 42311 markings/sec, 3105 secs 42248 markings/sec, 3110 secs 41710 markings/sec, 3115 secs 42267 markings/sec, 3120 secs 42818 markings/sec, 3125 secs 42061 markings/sec, 3130 secs 42052 markings/sec, 3135 secs 38422 markings/sec, 3140 secs 29242 markings/sec, 3145 secs 41584 markings/sec, 3150 secs 41842 markings/sec, 3155 secs 38105 markings/sec, 3160 secs 36551 markings/sec, 3165 secs 41478 markings/sec, 3170 secs 41789 markings/sec, 3175 secs 42702 markings/sec, 3180 secs 43452 markings/sec, 3185 secs 43340 markings/sec, 3190 secs 43006 markings/sec, 3195 secs 43071 markings/sec, 3200 secs 43520 markings/sec, 3205 secs 43462 markings/sec, 3210 secs 42894 markings/sec, 3215 secs 41657 markings/sec, 3220 secs 42164 markings/sec, 3225 secs 40792 markings/sec, 3230 secs 41879 markings/sec, 3235 secs 43118 markings/sec, 3240 secs 43473 markings/sec, 3245 secs 43281 markings/sec, 3250 secs 41672 markings/sec, 3255 secs 43015 markings/sec, 3260 secs 41538 markings/sec, 3265 secs 41234 markings/sec, 3270 secs 42341 markings/sec, 3275 secs 41547 markings/sec, 3280 secs 40546 markings/sec, 3285 secs 41010 markings/sec, 3290 secs 42139 markings/sec, 3295 secs 41919 markings/sec, 3300 secs 41199 markings/sec, 3305 secs 40457 markings/sec, 3310 secs 38640 markings/sec, 3315 secs 39558 markings/sec, 3320 secs 42525 markings/sec, 3325 secs 42586 markings/sec, 3330 secs 42061 markings/sec, 3335 secs 41428 markings/sec, 3340 secs 42900 markings/sec, 3345 secs 42829 markings/sec, 3350 secs 42903 markings/sec, 3355 secs 42789 markings/sec, 3360 secs 43372 markings/sec, 3365 secs 40840 markings/sec, 3370 secs 40950 markings/sec, 3375 secs 35169 markings/sec, 3380 secs 41250 markings/sec, 3385 secs 41133 markings/sec, 3390 secs 41128 markings/sec, 3395 secs 41395 markings/sec, 3400 secs 39754 markings/sec, 3405 secs 41222 markings/sec, 3410 secs 42669 markings/sec, 3415 secs 44432 markings/sec, 3420 secs 42495 markings/sec, 3425 secs 43364 markings/sec, 3430 secs 42939 markings/sec, 3435 secs 42382 markings/sec, 3440 secs 43490 markings/sec, 3445 secs 43492 markings/sec, 3450 secs 43079 markings/sec, 3455 secs 44548 markings/sec, 3460 secs 44049 markings/sec, 3465 secs 43803 markings/sec, 3470 secs 43665 markings/sec, 3475 secs 43746 markings/sec, 3480 secs 42810 markings/sec, 3485 secs 43234 markings/sec, 3490 secs 43559 markings/sec, 3495 secs 41464 markings/sec, 3500 secs 43344 markings/sec, 3505 secs 41992 markings/sec, 3510 secs 42612 markings/sec, 3515 secs 41845 markings/sec, 3520 secs 41746 markings/sec, 3525 secs 43132 markings/sec, 3530 secs 42826 markings/sec, 3535 secs 42765 markings/sec, 3540 secs 41908 markings/sec, 3545 secs 43060 markings/sec, 3550 secs 42321 markings/sec, 3555 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="Diffusion2D-PT-D10N050"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D10N050, 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 r060-ebro-155234654600084"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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