MCC'2019 - Execution of r060-ebro-155234654700147

About the Execution of LoLA for Diffusion2D-PT-D20N150

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4271.830	3570571.00	7221355.00	787.80	[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-155234654700147.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-D20N150, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654700147
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.3K Feb 10 21:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 10 21:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 17:55 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.7K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 1.2M 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-D20N150-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552571547968

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

{
"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 13:52:28 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 3184948,
"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": 5928,
"conflict_clusters": 400,
"places": 400,
"places_significant": 399,
"singleton_clusters": 0,
"transitions": 2964
},
"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: 3364/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1238848 fired transitions, 0 secs || 121230 markings, 656125 edges,
lola: 3 tries, 2464238 fired transitions, 5 secs || 208876 markings, 1310618 edges,
lola: 4 tries, 3659991 fired transitions, 10 secs || 296191 markings, 1955393 edges,
lola: 5 tries, 4878310 fired transitions, 15 secs || 382019 markings, 2594124 edges,
lola: 7 tries, 6082447 fired transitions, 20 secs || 467974 markings, 3233141 edges,
lola: 8 tries, 7283058 fired transitions, 25 secs || 555574 markings, 3883841 edges,
lola: 9 tries, 8489474 fired transitions, 30 secs || 641442 markings, 4526801 edges,
lola: 10 tries, 9729088 fired transitions, 35 secs || 731446 markings, 5173904 edges,
lola: 11 tries, 10973740 fired transitions, 40 secs || 816541 markings, 5822067 edges,
lola: 13 tries, 12203249 fired transitions, 45 secs || 903901 markings, 6469260 edges,
lola: 14 tries, 13443902 fired transitions, 50 secs || 991870 markings, 7115566 edges,
lola: 15 tries, 14686130 fired transitions, 55 secs || 1075895 markings, 7756645 edges,
lola: 16 tries, 15929748 fired transitions, 60 secs || 1166199 markings, 8399333 edges,
lola: 18 tries, 17172869 fired transitions, 65 secs || 1253583 markings, 9046131 edges,
lola: 19 tries, 18411351 fired transitions, 70 secs || 1338984 markings, 9687867 edges,
lola: 20 tries, 19650529 fired transitions, 75 secs || 1427155 markings, 10329699 edges,
lola: 21 tries, 20891902 fired transitions, 80 secs || 1513496 markings, 10966039 edges,
lola: 23 tries, 22132636 fired transitions, 85 secs || 1595600 markings, 11601751 edges,
lola: 24 tries, 23363314 fired transitions, 90 secs || 1685381 markings, 12239307 edges,
lola: 25 tries, 24601780 fired transitions, 95 secs || 1765744 markings, 12868003 edges,
lola: 26 tries, 25841363 fired transitions, 100 secs || 1855162 markings, 13509297 edges,
lola: 28 tries, 27083117 fired transitions, 105 secs || 1938419 markings, 14144112 edges,
lola: 29 tries, 28323196 fired transitions, 110 secs || 2027670 markings, 14780513 edges,
lola: 30 tries, 29565026 fired transitions, 115 secs || 2113626 markings, 15416365 edges,
lola: 31 tries, 30807328 fired transitions, 120 secs || 2195498 markings, 16051018 edges,
lola: 33 tries, 32047274 fired transitions, 125 secs || 2286250 markings, 16687180 edges,
lola: 34 tries, 33287269 fired transitions, 130 secs || 2369241 markings, 17317954 edges,
lola: 35 tries, 34526918 fired transitions, 135 secs || 2455694 markings, 17956662 edges,
lola: 36 tries, 35771623 fired transitions, 140 secs || 2538838 markings, 18590939 edges,
lola: 38 tries, 37017848 fired transitions, 145 secs || 2625930 markings, 19223928 edges,
lola: 39 tries, 38264065 fired transitions, 150 secs || 2712338 markings, 19863960 edges,
lola: 40 tries, 39510803 fired transitions, 155 secs || 2798939 markings, 20492917 edges,
lola: 41 tries, 40755232 fired transitions, 160 secs || 2884410 markings, 21128220 edges,
lola: 43 tries, 42001326 fired transitions, 165 secs || 2970901 markings, 21764733 edges,
lola: 44 tries, 43248587 fired transitions, 170 secs || 3052658 markings, 22395431 edges,
lola: 45 tries, 44491050 fired transitions, 175 secs || 3141689 markings, 23028117 edges,
lola: 46 tries, 45740099 fired transitions, 180 secs || 3226557 markings, 23661341 edges,
lola: 47 tries, 46988223 fired transitions, 185 secs || 3310732 markings, 24289441 edges,
lola: 49 tries, 48233343 fired transitions, 190 secs || 3393412 markings, 24923757 edges,
lola: 50 tries, 49476032 fired transitions, 195 secs || 3478178 markings, 25543944 edges,
lola: 51 tries, 50723151 fired transitions, 200 secs || 3563347 markings, 26149360 edges,
lola: 52 tries, 51969402 fired transitions, 205 secs || 3644498 markings, 26779333 edges,
lola: 54 tries, 53221987 fired transitions, 210 secs || 3734809 markings, 27414132 edges,
lola: 55 tries, 54472952 fired transitions, 215 secs || 3817908 markings, 28040232 edges,
lola: 56 tries, 55711486 fired transitions, 220 secs || 3898943 markings, 28651282 edges,
lola: 57 tries, 56960976 fired transitions, 225 secs || 3986489 markings, 29287130 edges,
lola: 59 tries, 58202595 fired transitions, 230 secs || 4068031 markings, 29915953 edges,
lola: 60 tries, 59453049 fired transitions, 235 secs || 4151090 markings, 30536436 edges,
lola: 61 tries, 60700469 fired transitions, 240 secs || 4240036 markings, 31160998 edges,
lola: 62 tries, 61947054 fired transitions, 245 secs || 4326639 markings, 31797861 edges,
lola: 64 tries, 63185785 fired transitions, 250 secs || 4406833 markings, 32422772 edges,
lola: 65 tries, 64439078 fired transitions, 255 secs || 4494864 markings, 33045550 edges,
lola: 66 tries, 65689085 fired transitions, 260 secs || 4579115 markings, 33666768 edges,
lola: 67 tries, 66932352 fired transitions, 265 secs || 4664579 markings, 34301591 edges,
lola: 69 tries, 68174804 fired transitions, 270 secs || 4749192 markings, 34928844 edges,
lola: 70 tries, 69417570 fired transitions, 275 secs || 4833569 markings, 35554057 edges,
lola: 71 tries, 70654011 fired transitions, 280 secs || 4916968 markings, 36183433 edges,
lola: 72 tries, 71892500 fired transitions, 285 secs || 5003663 markings, 36822172 edges,
lola: 74 tries, 73137855 fired transitions, 290 secs || 5086796 markings, 37448360 edges,
lola: 75 tries, 74377302 fired transitions, 295 secs || 5172150 markings, 38071774 edges,
lola: 76 tries, 75614930 fired transitions, 300 secs || 5253762 markings, 38700617 edges,
lola: 77 tries, 76865923 fired transitions, 305 secs || 5342399 markings, 39339378 edges,
lola: 79 tries, 78107266 fired transitions, 310 secs || 5428912 markings, 39964438 edges,
lola: 80 tries, 79353348 fired transitions, 315 secs || 5509075 markings, 40590490 edges,
lola: 81 tries, 80598524 fired transitions, 320 secs || 5591684 markings, 41215339 edges,
lola: 82 tries, 81844035 fired transitions, 325 secs || 5678937 markings, 41845267 edges,
lola: 84 tries, 83066394 fired transitions, 330 secs || 5767806 markings, 42478467 edges,
lola: 85 tries, 84301298 fired transitions, 335 secs || 5848906 markings, 43106095 edges,
lola: 86 tries, 85543717 fired transitions, 340 secs || 5937091 markings, 43728792 edges,
lola: 87 tries, 86774436 fired transitions, 345 secs || 6014171 markings, 44357500 edges,
lola: 88 tries, 87937638 fired transitions, 350 secs || 6100747 markings, 44937272 edges,
lola: 90 tries, 89191874 fired transitions, 355 secs || 6181144 markings, 45566528 edges,
lola: 91 tries, 90445000 fired transitions, 360 secs || 6265324 markings, 46186289 edges,
lola: 92 tries, 91682278 fired transitions, 365 secs || 6345787 markings, 46803281 edges,
lola: 93 tries, 92743779 fired transitions, 370 secs || 6422191 markings, 47329445 edges,
lola: 94 tries, 93445792 fired transitions, 375 secs || 6471547 markings, 47686543 edges,
lola: 95 tries, 94679487 fired transitions, 380 secs || 6557612 markings, 48321569 edges,
lola: 96 tries, 95453424 fired transitions, 385 secs || 6610151 markings, 48719992 edges,
lola: 97 tries, 96699176 fired transitions, 390 secs || 6690456 markings, 49346365 edges,
lola: 98 tries, 97945945 fired transitions, 395 secs || 6774127 markings, 49970324 edges,
lola: 100 tries, 99188598 fired transitions, 400 secs || 6862794 markings, 50594040 edges,
lola: 101 tries, 100437191 fired transitions, 405 secs || 6950736 markings, 51230331 edges,
lola: 102 tries, 101682535 fired transitions, 410 secs || 7030860 markings, 51859147 edges,
lola: 103 tries, 102920152 fired transitions, 415 secs || 7117413 markings, 52482342 edges,
lola: 105 tries, 104169039 fired transitions, 420 secs || 7199875 markings, 53099465 edges,
lola: 106 tries, 105401739 fired transitions, 425 secs || 7279751 markings, 53706633 edges,
lola: 107 tries, 106656991 fired transitions, 430 secs || 7369037 markings, 54330651 edges,
lola: 108 tries, 107910385 fired transitions, 435 secs || 7451426 markings, 54949584 edges,
lola: 110 tries, 109167255 fired transitions, 440 secs || 7531724 markings, 55571270 edges,
lola: 111 tries, 110422225 fired transitions, 445 secs || 7618405 markings, 56186967 edges,
lola: 112 tries, 111680396 fired transitions, 450 secs || 7695264 markings, 56806301 edges,
lola: 113 tries, 112889518 fired transitions, 455 secs || 7780288 markings, 57421505 edges,
lola: 115 tries, 114130547 fired transitions, 460 secs || 7870831 markings, 58047656 edges,
lola: 116 tries, 115373466 fired transitions, 465 secs || 7954227 markings, 58675495 edges,
lola: 117 tries, 116620604 fired transitions, 470 secs || 8035011 markings, 59301056 edges,
lola: 118 tries, 117835470 fired transitions, 475 secs || 8115531 markings, 59911622 edges,
lola: 120 tries, 119028291 fired transitions, 480 secs || 8202298 markings, 60534280 edges,
lola: 121 tries, 120252493 fired transitions, 485 secs || 8284148 markings, 61151230 edges,
lola: 122 tries, 121505571 fired transitions, 490 secs || 8375157 markings, 61783956 edges,
lola: 123 tries, 122752251 fired transitions, 495 secs || 8458603 markings, 62403699 edges,
lola: 124 tries, 123984766 fired transitions, 500 secs || 8541831 markings, 63021017 edges,
lola: 126 tries, 125232242 fired transitions, 505 secs || 8619623 markings, 63638995 edges,
lola: 127 tries, 126478365 fired transitions, 510 secs || 8702344 markings, 64254755 edges,
lola: 128 tries, 127723032 fired transitions, 515 secs || 8789123 markings, 64873597 edges,
lola: 129 tries, 128968650 fired transitions, 520 secs || 8875421 markings, 65503136 edges,
lola: 131 tries, 130219343 fired transitions, 525 secs || 8957314 markings, 66123560 edges,
lola: 132 tries, 131468433 fired transitions, 530 secs || 9038392 markings, 66738506 edges,
lola: 133 tries, 132718563 fired transitions, 535 secs || 9122723 markings, 67351688 edges,
lola: 134 tries, 133968630 fired transitions, 540 secs || 9204349 markings, 67961818 edges,
lola: 136 tries, 135216803 fired transitions, 545 secs || 9291681 markings, 68577201 edges,
lola: 137 tries, 136471815 fired transitions, 550 secs || 9375709 markings, 69196720 edges,
lola: 138 tries, 137718683 fired transitions, 555 secs || 9457699 markings, 69819915 edges,
lola: 139 tries, 138969628 fired transitions, 560 secs || 9539575 markings, 70440181 edges,
lola: 141 tries, 140105369 fired transitions, 565 secs || 9618559 markings, 70992213 edges,
lola: 142 tries, 141351750 fired transitions, 570 secs || 9697003 markings, 71608054 edges,
lola: 143 tries, 142602188 fired transitions, 575 secs || 9783719 markings, 72225329 edges,
lola: 144 tries, 143854694 fired transitions, 580 secs || 9862109 markings, 72854488 edges,
lola: 146 tries, 145105089 fired transitions, 585 secs || 9955057 markings, 73485562 edges,
lola: 147 tries, 146348618 fired transitions, 590 secs || 10039696 markings, 74106869 edges,
lola: 148 tries, 147600749 fired transitions, 595 secs || 10123771 markings, 74726634 edges,
lola: 149 tries, 148851156 fired transitions, 600 secs || 10203427 markings, 75349879 edges,
lola: 151 tries, 150100528 fired transitions, 605 secs || 10285090 markings, 75962629 edges,
lola: 152 tries, 151349385 fired transitions, 610 secs || 10369249 markings, 76585878 edges,
lola: 153 tries, 152594479 fired transitions, 615 secs || 10450359 markings, 77217265 edges,
lola: 154 tries, 153843793 fired transitions, 620 secs || 10544589 markings, 77847970 edges,
lola: 156 tries, 155093439 fired transitions, 625 secs || 10628207 markings, 78472029 edges,
lola: 157 tries, 156344048 fired transitions, 630 secs || 10706830 markings, 79094491 edges,
lola: 158 tries, 157580286 fired transitions, 635 secs || 10795251 markings, 79713644 edges,
lola: 159 tries, 158817043 fired transitions, 640 secs || 10880335 markings, 80331123 edges,
lola: 161 tries, 160064440 fired transitions, 645 secs || 10957326 markings, 80956293 edges,
lola: 162 tries, 161309761 fired transitions, 650 secs || 11039688 markings, 81586176 edges,
lola: 163 tries, 162550933 fired transitions, 655 secs || 11134228 markings, 82214835 edges,
lola: 164 tries, 163793849 fired transitions, 660 secs || 11217553 markings, 82837579 edges,
lola: 166 tries, 165042852 fired transitions, 665 secs || 11296367 markings, 83458361 edges,
lola: 167 tries, 166268746 fired transitions, 670 secs || 11384702 markings, 84072951 edges,
lola: 168 tries, 167516995 fired transitions, 675 secs || 11468652 markings, 84691548 edges,
lola: 169 tries, 168764415 fired transitions, 680 secs || 11546760 markings, 85315620 edges,
lola: 171 tries, 170020072 fired transitions, 685 secs || 11629034 markings, 85940646 edges,
lola: 172 tries, 171268784 fired transitions, 690 secs || 11719501 markings, 86564752 edges,
lola: 173 tries, 172516994 fired transitions, 695 secs || 11800658 markings, 87185291 edges,
lola: 174 tries, 173765396 fired transitions, 700 secs || 11882831 markings, 87799559 edges,
lola: 175 tries, 174986160 fired transitions, 705 secs || 11965739 markings, 88411977 edges,
lola: 177 tries, 176214797 fired transitions, 710 secs || 12047480 markings, 89027139 edges,
lola: 178 tries, 177438731 fired transitions, 715 secs || 12137464 markings, 89643485 edges,
lola: 179 tries, 178666200 fired transitions, 720 secs || 12218370 markings, 90266111 edges,
lola: 180 tries, 179902043 fired transitions, 725 secs || 12306319 markings, 90895531 edges,
lola: 182 tries, 181134016 fired transitions, 730 secs || 12388056 markings, 91527628 edges,
lola: 183 tries, 182376153 fired transitions, 735 secs || 12475310 markings, 92146901 edges,
lola: 184 tries, 183618776 fired transitions, 740 secs || 12555035 markings, 92765507 edges,
lola: 185 tries, 184860484 fired transitions, 745 secs || 12637257 markings, 93379351 edges,
lola: 187 tries, 186093414 fired transitions, 750 secs || 12717003 markings, 94003039 edges,
lola: 188 tries, 187337962 fired transitions, 755 secs || 12810295 markings, 94621722 edges,
lola: 189 tries, 188587030 fired transitions, 760 secs || 12893982 markings, 95248299 edges,
lola: 190 tries, 189817236 fired transitions, 765 secs || 12978488 markings, 95882681 edges,
lola: 192 tries, 191054787 fired transitions, 770 secs || 13061286 markings, 96506795 edges,
lola: 193 tries, 192302546 fired transitions, 775 secs || 13145039 markings, 97108435 edges,
lola: 194 tries, 193553117 fired transitions, 780 secs || 13225383 markings, 97719940 edges,
lola: 195 tries, 194808948 fired transitions, 785 secs || 13303641 markings, 98328089 edges,
lola: 197 tries, 196062580 fired transitions, 790 secs || 13390195 markings, 98937602 edges,
lola: 198 tries, 197315058 fired transitions, 795 secs || 13468264 markings, 99552235 edges,
lola: 199 tries, 198570617 fired transitions, 800 secs || 13551567 markings, 100164865 edges,
lola: 200 tries, 199811079 fired transitions, 805 secs || 13640509 markings, 100774462 edges,
lola: 202 tries, 201053796 fired transitions, 810 secs || 13723041 markings, 101389834 edges,
lola: 203 tries, 202300250 fired transitions, 815 secs || 13801674 markings, 101997828 edges,
lola: 204 tries, 203482654 fired transitions, 820 secs || 13878031 markings, 102582068 edges,
lola: 205 tries, 204735118 fired transitions, 825 secs || 13965616 markings, 103191440 edges,
lola: 206 tries, 205982950 fired transitions, 830 secs || 14050340 markings, 103806148 edges,
lola: 208 tries, 207232141 fired transitions, 835 secs || 14127339 markings, 104418494 edges,
lola: 209 tries, 208486756 fired transitions, 840 secs || 14209232 markings, 105027572 edges,
lola: 210 tries, 209741556 fired transitions, 845 secs || 14296538 markings, 105641478 edges,
lola: 211 tries, 210993852 fired transitions, 850 secs || 14382645 markings, 106271326 edges,
lola: 213 tries, 212239203 fired transitions, 855 secs || 14462036 markings, 106878602 edges,
lola: 214 tries, 213489948 fired transitions, 860 secs || 14540643 markings, 107486638 edges,
lola: 215 tries, 214695647 fired transitions, 865 secs || 14622460 markings, 108076653 edges,
lola: 216 tries, 215946136 fired transitions, 870 secs || 14702453 markings, 108688287 edges,
lola: 218 tries, 217192102 fired transitions, 875 secs || 14790655 markings, 109298080 edges,
lola: 219 tries, 218443016 fired transitions, 880 secs || 14870004 markings, 109910502 edges,
lola: 220 tries, 219690544 fired transitions, 885 secs || 14954530 markings, 110518772 edges,
lola: 221 tries, 220939753 fired transitions, 890 secs || 15035384 markings, 111144778 edges,
lola: 223 tries, 222184691 fired transitions, 895 secs || 15123405 markings, 111777325 edges,
lola: 224 tries, 223437071 fired transitions, 900 secs || 15208626 markings, 112398335 edges,
lola: 225 tries, 224685904 fired transitions, 905 secs || 15292131 markings, 113018017 edges,
lola: 226 tries, 225935007 fired transitions, 910 secs || 15376811 markings, 113636528 edges,
lola: 228 tries, 227182429 fired transitions, 915 secs || 15460119 markings, 114253977 edges,
lola: 229 tries, 228431379 fired transitions, 920 secs || 15537537 markings, 114873864 edges,
lola: 230 tries, 229666646 fired transitions, 925 secs || 15618311 markings, 115491513 edges,
lola: 231 tries, 230909670 fired transitions, 930 secs || 15704249 markings, 116103136 edges,
lola: 233 tries, 232154671 fired transitions, 935 secs || 15792839 markings, 116722100 edges,
lola: 234 tries, 233402673 fired transitions, 940 secs || 15877549 markings, 117348999 edges,
lola: 235 tries, 234646969 fired transitions, 945 secs || 15959337 markings, 117955009 edges,
lola: 236 tries, 235894649 fired transitions, 950 secs || 16042666 markings, 118566699 edges,
lola: 238 tries, 237137754 fired transitions, 955 secs || 16118332 markings, 119170092 edges,
lola: 239 tries, 238384926 fired transitions, 960 secs || 16199992 markings, 119782835 edges,
lola: 240 tries, 239630294 fired transitions, 965 secs || 16287485 markings, 120396196 edges,
lola: 241 tries, 240882853 fired transitions, 970 secs || 16368261 markings, 121013745 edges,
lola: 243 tries, 242128843 fired transitions, 975 secs || 16454329 markings, 121631688 edges,
lola: 244 tries, 243369727 fired transitions, 980 secs || 16534552 markings, 122256208 edges,
lola: 245 tries, 244617657 fired transitions, 985 secs || 16626056 markings, 122886845 edges,
lola: 246 tries, 245860700 fired transitions, 990 secs || 16705625 markings, 123505914 edges,
lola: 248 tries, 247089662 fired transitions, 995 secs || 16792381 markings, 124123762 edges,
lola: 249 tries, 248337646 fired transitions, 1000 secs || 16874814 markings, 124740570 edges,
lola: 250 tries, 249588188 fired transitions, 1005 secs || 16954939 markings, 125357931 edges,
lola: 251 tries, 250836613 fired transitions, 1010 secs || 17043247 markings, 125972040 edges,
lola: 253 tries, 252087741 fired transitions, 1015 secs || 17122723 markings, 126590651 edges,
lola: 254 tries, 253338450 fired transitions, 1020 secs || 17207469 markings, 127208539 edges,
lola: 255 tries, 254589415 fired transitions, 1025 secs || 17289255 markings, 127830988 edges,
lola: 256 tries, 255840944 fired transitions, 1030 secs || 17372397 markings, 128461222 edges,
lola: 258 tries, 257090217 fired transitions, 1035 secs || 17463481 markings, 129089147 edges,
lola: 259 tries, 258341938 fired transitions, 1040 secs || 17546037 markings, 129709150 edges,
lola: 260 tries, 259593272 fired transitions, 1045 secs || 17631550 markings, 130326839 edges,
lola: 261 tries, 260844235 fired transitions, 1050 secs || 17707012 markings, 130946009 edges,
lola: 263 tries, 262096206 fired transitions, 1055 secs || 17790370 markings, 131561057 edges,
lola: 264 tries, 263311847 fired transitions, 1060 secs || 17879043 markings, 132172219 edges,
lola: 265 tries, 264545742 fired transitions, 1065 secs || 17963683 markings, 132786197 edges,
lola: 266 tries, 265801510 fired transitions, 1070 secs || 18040641 markings, 133407108 edges,
lola: 268 tries, 267058834 fired transitions, 1075 secs || 18123966 markings, 134027030 edges,
lola: 269 tries, 268314783 fired transitions, 1080 secs || 18208138 markings, 134655973 edges,
lola: 270 tries, 269569323 fired transitions, 1085 secs || 18297224 markings, 135276482 edges,
lola: 271 tries, 270808673 fired transitions, 1090 secs || 18382741 markings, 135896274 edges,
lola: 273 tries, 272062584 fired transitions, 1095 secs || 18461979 markings, 136518949 edges,
lola: 274 tries, 273311947 fired transitions, 1100 secs || 18547475 markings, 137124592 edges,
lola: 275 tries, 274558105 fired transitions, 1105 secs || 18630950 markings, 137733471 edges,
lola: 276 tries, 275804146 fired transitions, 1110 secs || 18709021 markings, 138343371 edges,
lola: 278 tries, 277048079 fired transitions, 1115 secs || 18790901 markings, 138951409 edges,
lola: 279 tries, 278294472 fired transitions, 1120 secs || 18877997 markings, 139556523 edges,
lola: 280 tries, 279544079 fired transitions, 1125 secs || 18950245 markings, 140162208 edges,
lola: 281 tries, 280790650 fired transitions, 1130 secs || 19038777 markings, 140786509 edges,
lola: 283 tries, 282042893 fired transitions, 1135 secs || 19127212 markings, 141415732 edges,
lola: 284 tries, 283292497 fired transitions, 1140 secs || 19212345 markings, 142033486 edges,
lola: 285 tries, 284539320 fired transitions, 1145 secs || 19293863 markings, 142644674 edges,
lola: 286 tries, 285779931 fired transitions, 1150 secs || 19368607 markings, 143236963 edges,
lola: 288 tries, 287022730 fired transitions, 1155 secs || 19449989 markings, 143837050 edges,
lola: 289 tries, 288258574 fired transitions, 1160 secs || 19533342 markings, 144440068 edges,
lola: 290 tries, 289503308 fired transitions, 1165 secs || 19618291 markings, 145047720 edges,
lola: 291 tries, 290708290 fired transitions, 1170 secs || 19695386 markings, 145661785 edges,
lola: 292 tries, 291922719 fired transitions, 1175 secs || 19777646 markings, 146275045 edges,
lola: 294 tries, 293170529 fired transitions, 1180 secs || 19858236 markings, 146885799 edges,
lola: 295 tries, 294414139 fired transitions, 1185 secs || 19948714 markings, 147494197 edges,
lola: 296 tries, 295617514 fired transitions, 1190 secs || 20030651 markings, 148108182 edges,
lola: 297 tries, 296839263 fired transitions, 1195 secs || 20112580 markings, 148720076 edges,
lola: 299 tries, 298054874 fired transitions, 1200 secs || 20193159 markings, 149331537 edges,
lola: 300 tries, 299284686 fired transitions, 1205 secs || 20277136 markings, 149939562 edges,
lola: 301 tries, 300524464 fired transitions, 1210 secs || 20361984 markings, 150546554 edges,
lola: 302 tries, 301763325 fired transitions, 1215 secs || 20438610 markings, 151156175 edges,
lola: 304 tries, 303003622 fired transitions, 1220 secs || 20520532 markings, 151766435 edges,
lola: 305 tries, 304249088 fired transitions, 1225 secs || 20607750 markings, 152376785 edges,
lola: 306 tries, 305497535 fired transitions, 1230 secs || 20680110 markings, 152986656 edges,
lola: 307 tries, 306743090 fired transitions, 1235 secs || 20766755 markings, 153589947 edges,
lola: 308 tries, 307992828 fired transitions, 1240 secs || 20857105 markings, 154214146 edges,
lola: 310 tries, 309244626 fired transitions, 1245 secs || 20939018 markings, 154836234 edges,
lola: 311 tries, 310479192 fired transitions, 1250 secs || 21017506 markings, 155438285 edges,
lola: 312 tries, 311722392 fired transitions, 1255 secs || 21099808 markings, 156035761 edges,
lola: 313 tries, 312948450 fired transitions, 1260 secs || 21181163 markings, 156618832 edges,
lola: 315 tries, 314182978 fired transitions, 1265 secs || 21254868 markings, 157210524 edges,
lola: 316 tries, 315419470 fired transitions, 1270 secs || 21340009 markings, 157797048 edges,
lola: 317 tries, 316631105 fired transitions, 1275 secs || 21421068 markings, 158400791 edges,
lola: 318 tries, 317864342 fired transitions, 1280 secs || 21491576 markings, 158995009 edges,
lola: 320 tries, 319055068 fired transitions, 1285 secs || 21582282 markings, 159585055 edges,
lola: 321 tries, 320225316 fired transitions, 1290 secs || 21656764 markings, 160158450 edges,
lola: 322 tries, 321454633 fired transitions, 1295 secs || 21735273 markings, 160778235 edges,
lola: 323 tries, 322672551 fired transitions, 1300 secs || 21826981 markings, 161401029 edges,
lola: 324 tries, 323906810 fired transitions, 1305 secs || 21906373 markings, 162004672 edges,
lola: 326 tries, 325126010 fired transitions, 1310 secs || 21984804 markings, 162604678 edges,
lola: 327 tries, 326360953 fired transitions, 1315 secs || 22066914 markings, 163207396 edges,
lola: 328 tries, 327597552 fired transitions, 1320 secs || 22146718 markings, 163810988 edges,
lola: 329 tries, 328815701 fired transitions, 1325 secs || 22233558 markings, 164411359 edges,
lola: 331 tries, 330044387 fired transitions, 1330 secs || 22313782 markings, 165012115 edges,
lola: 332 tries, 331275256 fired transitions, 1335 secs || 22394210 markings, 165614725 edges,
lola: 333 tries, 332509778 fired transitions, 1340 secs || 22468522 markings, 166223509 edges,
lola: 334 tries, 333743297 fired transitions, 1345 secs || 22558139 markings, 166829117 edges,
lola: 335 tries, 334978987 fired transitions, 1350 secs || 22639635 markings, 167444058 edges,
lola: 337 tries, 336204677 fired transitions, 1355 secs || 22720175 markings, 168066635 edges,
lola: 338 tries, 337431204 fired transitions, 1360 secs || 22806901 markings, 168679512 edges,
lola: 339 tries, 338659089 fired transitions, 1365 secs || 22885789 markings, 169269150 edges,
lola: 340 tries, 339892491 fired transitions, 1370 secs || 22969015 markings, 169876808 edges,
lola: 342 tries, 341137182 fired transitions, 1375 secs || 23054597 markings, 170489623 edges,
lola: 343 tries, 342380363 fired transitions, 1380 secs || 23135940 markings, 171101463 edges,
lola: 344 tries, 343628800 fired transitions, 1385 secs || 23214049 markings, 171716676 edges,
lola: 345 tries, 344864807 fired transitions, 1390 secs || 23294744 markings, 172330265 edges,
lola: 347 tries, 346071712 fired transitions, 1395 secs || 23380708 markings, 172943676 edges,
lola: 348 tries, 347307579 fired transitions, 1400 secs || 23464568 markings, 173557872 edges,
lola: 349 tries, 348556555 fired transitions, 1405 secs || 23547231 markings, 174165905 edges,
lola: 350 tries, 349779306 fired transitions, 1410 secs || 23625741 markings, 174785540 edges,
lola: 352 tries, 351007668 fired transitions, 1415 secs || 23707459 markings, 175415716 edges,
lola: 353 tries, 352251766 fired transitions, 1420 secs || 23800671 markings, 176037865 edges,
lola: 354 tries, 353497467 fired transitions, 1425 secs || 23883015 markings, 176650109 edges,
lola: 355 tries, 354729705 fired transitions, 1430 secs || 23968595 markings, 177259550 edges,
lola: 356 tries, 355976674 fired transitions, 1435 secs || 24043531 markings, 177866008 edges,
lola: 358 tries, 357174033 fired transitions, 1440 secs || 24126200 markings, 178450274 edges,
lola: 359 tries, 358418266 fired transitions, 1445 secs || 24201238 markings, 179048003 edges,
lola: 360 tries, 359652046 fired transitions, 1450 secs || 24281714 markings, 179652136 edges,
lola: 361 tries, 360876432 fired transitions, 1455 secs || 24367144 markings, 180241646 edges,
lola: 363 tries, 362104085 fired transitions, 1460 secs || 24446850 markings, 180851968 edges,
lola: 364 tries, 363280182 fired transitions, 1465 secs || 24533228 markings, 181444324 edges,
lola: 365 tries, 364483247 fired transitions, 1470 secs || 24611562 markings, 182056473 edges,
lola: 366 tries, 365683591 fired transitions, 1475 secs || 24693042 markings, 182676436 edges,
lola: 367 tries, 366887392 fired transitions, 1480 secs || 24783181 markings, 183297378 edges,
lola: 369 tries, 368110248 fired transitions, 1485 secs || 24866401 markings, 183916684 edges,
lola: 370 tries, 369334674 fired transitions, 1490 secs || 24945163 markings, 184530901 edges,
lola: 371 tries, 370575630 fired transitions, 1495 secs || 25027540 markings, 185145178 edges,
lola: 372 tries, 371775033 fired transitions, 1500 secs || 25107549 markings, 185757650 edges,
lola: 374 tries, 373003556 fired transitions, 1505 secs || 25195707 markings, 186365521 edges,
lola: 375 tries, 374233899 fired transitions, 1510 secs || 25275025 markings, 186977211 edges,
lola: 376 tries, 375467139 fired transitions, 1515 secs || 25359591 markings, 187586766 edges,
lola: 377 tries, 376683836 fired transitions, 1520 secs || 25440744 markings, 188199043 edges,
lola: 378 tries, 377932844 fired transitions, 1525 secs || 25523883 markings, 188812386 edges,
lola: 380 tries, 379154656 fired transitions, 1530 secs || 25601129 markings, 189420076 edges,
lola: 381 tries, 380382543 fired transitions, 1535 secs || 25681550 markings, 190037511 edges,
lola: 382 tries, 381606511 fired transitions, 1540 secs || 25765166 markings, 190663722 edges,
lola: 383 tries, 382834397 fired transitions, 1545 secs || 25859930 markings, 191287742 edges,
lola: 385 tries, 384081097 fired transitions, 1550 secs || 25941611 markings, 191908489 edges,
lola: 386 tries, 385327094 fired transitions, 1555 secs || 26027058 markings, 192512078 edges,
lola: 387 tries, 386561366 fired transitions, 1560 secs || 26101858 markings, 193112824 edges,
lola: 388 tries, 387792684 fired transitions, 1565 secs || 26185161 markings, 193725075 edges,
lola: 389 tries, 388996575 fired transitions, 1570 secs || 26268854 markings, 194326342 edges,
lola: 390 tries, 389884076 fired transitions, 1575 secs || 26325780 markings, 194765407 edges,
lola: 391 tries, 390913722 fired transitions, 1580 secs || 26398721 markings, 195266473 edges,
lola: 393 tries, 392139879 fired transitions, 1585 secs || 26472417 markings, 195883431 edges,
lola: 394 tries, 393362432 fired transitions, 1590 secs || 26561557 markings, 196477767 edges,
lola: 395 tries, 394591383 fired transitions, 1595 secs || 26643045 markings, 197082442 edges,
lola: 396 tries, 395830013 fired transitions, 1600 secs || 26723541 markings, 197702604 edges,
lola: 398 tries, 397041365 fired transitions, 1605 secs || 26807082 markings, 198325228 edges,
lola: 399 tries, 398262899 fired transitions, 1610 secs || 26898397 markings, 198953388 edges,
lola: 400 tries, 399487205 fired transitions, 1615 secs || 26982017 markings, 199577679 edges,
lola: 401 tries, 400720552 fired transitions, 1620 secs || 27060712 markings, 200189252 edges,
lola: 402 tries, 401963217 fired transitions, 1625 secs || 27142839 markings, 200792692 edges,
lola: 404 tries, 403203680 fired transitions, 1630 secs || 27222788 markings, 201402352 edges,
lola: 405 tries, 404431312 fired transitions, 1635 secs || 27308228 markings, 201998339 edges,
lola: 406 tries, 405668292 fired transitions, 1640 secs || 27389749 markings, 202598805 edges,
lola: 407 tries, 406922998 fired transitions, 1645 secs || 27468603 markings, 203200869 edges,
lola: 409 tries, 408086672 fired transitions, 1650 secs || 27543565 markings, 203770004 edges,
lola: 410 tries, 409327587 fired transitions, 1655 secs || 27616863 markings, 204370496 edges,
lola: 411 tries, 410529515 fired transitions, 1660 secs || 27701041 markings, 204957878 edges,
lola: 412 tries, 411752832 fired transitions, 1665 secs || 27789350 markings, 205573306 edges,
lola: 413 tries, 412991621 fired transitions, 1670 secs || 27872775 markings, 206190985 edges,
lola: 415 tries, 414224401 fired transitions, 1675 secs || 27950303 markings, 206806729 edges,
lola: 416 tries, 415477436 fired transitions, 1680 secs || 28040409 markings, 207429253 edges,
lola: 417 tries, 416731930 fired transitions, 1685 secs || 28115923 markings, 208012721 edges,
lola: 418 tries, 417983593 fired transitions, 1690 secs || 28201125 markings, 208609528 edges,
lola: 420 tries, 419234064 fired transitions, 1695 secs || 28277696 markings, 209223016 edges,
lola: 421 tries, 420486051 fired transitions, 1700 secs || 28359522 markings, 209835400 edges,
lola: 422 tries, 421734626 fired transitions, 1705 secs || 28444430 markings, 210431159 edges,
lola: 423 tries, 422973231 fired transitions, 1710 secs || 28525070 markings, 211033670 edges,
lola: 425 tries, 424215899 fired transitions, 1715 secs || 28600700 markings, 211637806 edges,
lola: 426 tries, 425449902 fired transitions, 1720 secs || 28691626 markings, 212236685 edges,
lola: 427 tries, 426673827 fired transitions, 1725 secs || 28766987 markings, 212848641 edges,
lola: 428 tries, 427893982 fired transitions, 1730 secs || 28845117 markings, 213451798 edges,
lola: 430 tries, 429118095 fired transitions, 1735 secs || 28926276 markings, 214057695 edges,
lola: 431 tries, 430369265 fired transitions, 1740 secs || 29010773 markings, 214679627 edges,
lola: 432 tries, 431613826 fired transitions, 1745 secs || 29105633 markings, 215303705 edges,
lola: 433 tries, 432818170 fired transitions, 1750 secs || 29187852 markings, 215912724 edges,
lola: 435 tries, 434030208 fired transitions, 1755 secs || 29268973 markings, 216513811 edges,
lola: 436 tries, 435244468 fired transitions, 1760 secs || 29346921 markings, 217108134 edges,
lola: 437 tries, 436488695 fired transitions, 1765 secs || 29425108 markings, 217722097 edges,
lola: 438 tries, 437703773 fired transitions, 1770 secs || 29508659 markings, 218335189 edges,
lola: 439 tries, 438922218 fired transitions, 1775 secs || 29587540 markings, 218934131 edges,
lola: 441 tries, 440173969 fired transitions, 1780 secs || 29669103 markings, 219546556 edges,
lola: 442 tries, 441427488 fired transitions, 1785 secs || 29754249 markings, 220157098 edges,
lola: 443 tries, 442680098 fired transitions, 1790 secs || 29838144 markings, 220762970 edges,
lola: 444 tries, 443916895 fired transitions, 1795 secs || 29922847 markings, 221368484 edges,
lola: 446 tries, 445113454 fired transitions, 1800 secs || 30001886 markings, 221968122 edges,
lola: 447 tries, 446328563 fired transitions, 1805 secs || 30084243 markings, 222583132 edges,
lola: 448 tries, 447566075 fired transitions, 1810 secs || 30169487 markings, 223194574 edges,
lola: 449 tries, 448807281 fired transitions, 1815 secs || 30254531 markings, 223819582 edges,
lola: 451 tries, 450050736 fired transitions, 1820 secs || 30338697 markings, 224439839 edges,
lola: 452 tries, 451287137 fired transitions, 1825 secs || 30419686 markings, 225055042 edges,
lola: 453 tries, 452529811 fired transitions, 1830 secs || 30496018 markings, 225648373 edges,
lola: 454 tries, 453769752 fired transitions, 1835 secs || 30583496 markings, 226242077 edges,
lola: 455 tries, 454991667 fired transitions, 1840 secs || 30659561 markings, 226847384 edges,
lola: 457 tries, 456238748 fired transitions, 1845 secs || 30744675 markings, 227445792 edges,
lola: 458 tries, 457483222 fired transitions, 1850 secs || 30826408 markings, 228047301 edges,
lola: 459 tries, 458715687 fired transitions, 1855 secs || 30899487 markings, 228649338 edges,
lola: 460 tries, 459950206 fired transitions, 1860 secs || 30985295 markings, 229237997 edges,
lola: 462 tries, 461199370 fired transitions, 1865 secs || 31060336 markings, 229836018 edges,
lola: 463 tries, 462438504 fired transitions, 1870 secs || 31138363 markings, 230435571 edges,
lola: 464 tries, 463681865 fired transitions, 1875 secs || 31219506 markings, 231039851 edges,
lola: 465 tries, 464923881 fired transitions, 1880 secs || 31303715 markings, 231649276 edges,
lola: 467 tries, 466164522 fired transitions, 1885 secs || 31390974 markings, 232262543 edges,
lola: 468 tries, 467409362 fired transitions, 1890 secs || 31480922 markings, 232891349 edges,
lola: 469 tries, 468655907 fired transitions, 1895 secs || 31560435 markings, 233507937 edges,
lola: 470 tries, 469904191 fired transitions, 1900 secs || 31647087 markings, 234121464 edges,
lola: 472 tries, 471153378 fired transitions, 1905 secs || 31729432 markings, 234733482 edges,
lola: 473 tries, 472402943 fired transitions, 1910 secs || 31809453 markings, 235346311 edges,
lola: 474 tries, 473649312 fired transitions, 1915 secs || 31888633 markings, 235950014 edges,
lola: 475 tries, 474897590 fired transitions, 1920 secs || 31975662 markings, 236556369 edges,
lola: 477 tries, 476136865 fired transitions, 1925 secs || 32053379 markings, 237165007 edges,
lola: 478 tries, 477348723 fired transitions, 1930 secs || 32131373 markings, 237764276 edges,
lola: 479 tries, 478574199 fired transitions, 1935 secs || 32206718 markings, 238349177 edges,
lola: 480 tries, 479798839 fired transitions, 1940 secs || 32289615 markings, 238932864 edges,
lola: 482 tries, 481026644 fired transitions, 1945 secs || 32370475 markings, 239526971 edges,
lola: 483 tries, 482253219 fired transitions, 1950 secs || 32447610 markings, 240126680 edges,
lola: 484 tries, 483483853 fired transitions, 1955 secs || 32525791 markings, 240729390 edges,
lola: 485 tries, 484711526 fired transitions, 1960 secs || 32613834 markings, 241332691 edges,
lola: 486 tries, 485938198 fired transitions, 1965 secs || 32703480 markings, 241944436 edges,
lola: 488 tries, 487166901 fired transitions, 1970 secs || 32783093 markings, 242540890 edges,
lola: 489 tries, 488393412 fired transitions, 1975 secs || 32859274 markings, 243143651 edges,
lola: 490 tries, 489622592 fired transitions, 1980 secs || 32939340 markings, 243743391 edges,
lola: 491 tries, 490838695 fired transitions, 1985 secs || 33017963 markings, 244333974 edges,
lola: 493 tries, 492067938 fired transitions, 1990 secs || 33103385 markings, 244927467 edges,
lola: 494 tries, 493090200 fired transitions, 1995 secs || 33168982 markings, 245437532 edges,
lola: 495 tries, 494314487 fired transitions, 2000 secs || 33246414 markings, 246038134 edges,
lola: 496 tries, 495542638 fired transitions, 2005 secs || 33331161 markings, 246634420 edges,
lola: 497 tries, 496767535 fired transitions, 2010 secs || 33408123 markings, 247233580 edges,
lola: 498 tries, 497991134 fired transitions, 2015 secs || 33496952 markings, 247828800 edges,
lola: 500 tries, 499213975 fired transitions, 2020 secs || 33578506 markings, 248432615 edges,
lola: 501 tries, 500451160 fired transitions, 2025 secs || 33660605 markings, 249036838 edges,
lola: 502 tries, 501688822 fired transitions, 2030 secs || 33739650 markings, 249643974 edges,
lola: 503 tries, 502926781 fired transitions, 2035 secs || 33811822 markings, 250256582 edges,
lola: 505 tries, 504164002 fired transitions, 2040 secs || 33899197 markings, 250871195 edges,
lola: 506 tries, 505384589 fired transitions, 2045 secs || 33989206 markings, 251488394 edges,
lola: 507 tries, 506617340 fired transitions, 2050 secs || 34068710 markings, 252093919 edges,
lola: 508 tries, 507847615 fired transitions, 2055 secs || 34151537 markings, 252695642 edges,
lola: 510 tries, 509079612 fired transitions, 2060 secs || 34234489 markings, 253294009 edges,
lola: 511 tries, 510316458 fired transitions, 2065 secs || 34310198 markings, 253889767 edges,
lola: 512 tries, 511536204 fired transitions, 2070 secs || 34395516 markings, 254488328 edges,
lola: 513 tries, 512771854 fired transitions, 2075 secs || 34475709 markings, 255080367 edges,
lola: 514 tries, 513994460 fired transitions, 2080 secs || 34551412 markings, 255673705 edges,
lola: 516 tries, 515229056 fired transitions, 2085 secs || 34632040 markings, 256260346 edges,
lola: 517 tries, 516452430 fired transitions, 2090 secs || 34705975 markings, 256853396 edges,
lola: 518 tries, 517691237 fired transitions, 2095 secs || 34782970 markings, 257446234 edges,
lola: 519 tries, 518927694 fired transitions, 2100 secs || 34865626 markings, 258050899 edges,
lola: 521 tries, 520160915 fired transitions, 2105 secs || 34945956 markings, 258647736 edges,
lola: 522 tries, 521380468 fired transitions, 2110 secs || 35031937 markings, 259248390 edges,
lola: 523 tries, 522598399 fired transitions, 2115 secs || 35120925 markings, 259849763 edges,
lola: 524 tries, 523839062 fired transitions, 2120 secs || 35192103 markings, 260473244 edges,
lola: 526 tries, 525078713 fired transitions, 2125 secs || 35287871 markings, 261088357 edges,
lola: 527 tries, 526319900 fired transitions, 2130 secs || 35365493 markings, 261697005 edges,
lola: 528 tries, 527561856 fired transitions, 2135 secs || 35450964 markings, 262301549 edges,
lola: 529 tries, 528798956 fired transitions, 2140 secs || 35525777 markings, 262903049 edges,
lola: 531 tries, 530051367 fired transitions, 2145 secs || 35608921 markings, 263508441 edges,
lola: 532 tries, 531299795 fired transitions, 2150 secs || 35692240 markings, 264113904 edges,
lola: 533 tries, 532548637 fired transitions, 2155 secs || 35773721 markings, 264718858 edges,
lola: 534 tries, 533798164 fired transitions, 2160 secs || 35850451 markings, 265325674 edges,
lola: 536 tries, 535046168 fired transitions, 2165 secs || 35941417 markings, 265926780 edges,
lola: 537 tries, 536299830 fired transitions, 2170 secs || 36016519 markings, 266527454 edges,
lola: 538 tries, 537552529 fired transitions, 2175 secs || 36094824 markings, 267139141 edges,
lola: 539 tries, 538805973 fired transitions, 2180 secs || 36176073 markings, 267748947 edges,
lola: 541 tries, 540057723 fired transitions, 2185 secs || 36260275 markings, 268357853 edges,
lola: 542 tries, 541304396 fired transitions, 2190 secs || 36347304 markings, 268959776 edges,
lola: 543 tries, 542553155 fired transitions, 2195 secs || 36429747 markings, 269573773 edges,
lola: 544 tries, 543807175 fired transitions, 2200 secs || 36504392 markings, 270203113 edges,
lola: 546 tries, 545047340 fired transitions, 2205 secs || 36600781 markings, 270811129 edges,
lola: 547 tries, 546279598 fired transitions, 2210 secs || 36682834 markings, 271411004 edges,
lola: 548 tries, 547529308 fired transitions, 2215 secs || 36757981 markings, 272017826 edges,
lola: 549 tries, 548775380 fired transitions, 2220 secs || 36843135 markings, 272616321 edges,
lola: 550 tries, 549737824 fired transitions, 2225 secs || 36907594 markings, 273079503 edges,
lola: 551 tries, 550369384 fired transitions, 2230 secs || 36944932 markings, 273387790 edges,
lola: 551 tries, 550998195 fired transitions, 2235 secs || 36982671 markings, 273696343 edges,
lola: 552 tries, 551628405 fired transitions, 2240 secs || 37023499 markings, 274005040 edges,
lola: 553 tries, 552509242 fired transitions, 2245 secs || 37081942 markings, 274429931 edges,
lola: 554 tries, 553648107 fired transitions, 2250 secs || 37164631 markings, 274988191 edges,
lola: 555 tries, 554895958 fired transitions, 2255 secs || 37237921 markings, 275594524 edges,
lola: 557 tries, 556142217 fired transitions, 2260 secs || 37320317 markings, 276191701 edges,
lola: 558 tries, 557386983 fired transitions, 2265 secs || 37407265 markings, 276792358 edges,
lola: 559 tries, 558632325 fired transitions, 2270 secs || 37489670 markings, 277396317 edges,
lola: 560 tries, 559837436 fired transitions, 2275 secs || 37567795 markings, 278004262 edges,
lola: 561 tries, 560883726 fired transitions, 2280 secs || 37636353 markings, 278517198 edges,
lola: 562 tries, 561518961 fired transitions, 2285 secs || 37669161 markings, 278832151 edges,
lola: 563 tries, 562151157 fired transitions, 2290 secs || 37725676 markings, 279133500 edges,
lola: 563 tries, 562777566 fired transitions, 2295 secs || 37758547 markings, 279446021 edges,
lola: 564 tries, 563405373 fired transitions, 2300 secs || 37795896 markings, 279761455 edges,
lola: 565 tries, 564034936 fired transitions, 2305 secs || 37852002 markings, 280070067 edges,
lola: 565 tries, 564663145 fired transitions, 2310 secs || 37894775 markings, 280387852 edges,
lola: 566 tries, 565294723 fired transitions, 2315 secs || 37937768 markings, 280706124 edges,
lola: 567 tries, 566171604 fired transitions, 2320 secs || 37994217 markings, 281151619 edges,
lola: 568 tries, 567376470 fired transitions, 2325 secs || 38079205 markings, 281759142 edges,
lola: 569 tries, 568567796 fired transitions, 2330 secs || 38161330 markings, 282367882 edges,
lola: 570 tries, 569767224 fired transitions, 2335 secs || 38242869 markings, 282974535 edges,
lola: 571 tries, 570971634 fired transitions, 2340 secs || 38316516 markings, 283579069 edges,
lola: 573 tries, 572149402 fired transitions, 2345 secs || 38399334 markings, 284173444 edges,
lola: 574 tries, 573357869 fired transitions, 2350 secs || 38476178 markings, 284778308 edges,
lola: 575 tries, 574575990 fired transitions, 2355 secs || 38564337 markings, 285372072 edges,
lola: 576 tries, 575801725 fired transitions, 2360 secs || 38637420 markings, 285971126 edges,
lola: 578 tries, 577005210 fired transitions, 2365 secs || 38722659 markings, 286576720 edges,
lola: 579 tries, 578235303 fired transitions, 2370 secs || 38808122 markings, 287183957 edges,
lola: 580 tries, 579467126 fired transitions, 2375 secs || 38888989 markings, 287794332 edges,
lola: 581 tries, 580686603 fired transitions, 2380 secs || 38965140 markings, 288407486 edges,
lola: 582 tries, 581913355 fired transitions, 2385 secs || 39048626 markings, 289020032 edges,
lola: 584 tries, 583152316 fired transitions, 2390 secs || 39139683 markings, 289625791 edges,
lola: 585 tries, 584401715 fired transitions, 2395 secs || 39208399 markings, 290236868 edges,
lola: 586 tries, 585625235 fired transitions, 2400 secs || 39304107 markings, 290831438 edges,
lola: 587 tries, 586848753 fired transitions, 2405 secs || 39386066 markings, 291433982 edges,
lola: 589 tries, 588071162 fired transitions, 2410 secs || 39465433 markings, 292037028 edges,
lola: 590 tries, 589275020 fired transitions, 2415 secs || 39547308 markings, 292629124 edges,
lola: 591 tries, 590495496 fired transitions, 2420 secs || 39626685 markings, 293214249 edges,
lola: 592 tries, 591730846 fired transitions, 2425 secs || 39699196 markings, 293816348 edges,
lola: 593 tries, 592956166 fired transitions, 2430 secs || 39776541 markings, 294399640 edges,
lola: 595 tries, 594184065 fired transitions, 2435 secs || 39859391 markings, 294991921 edges,
lola: 596 tries, 595410246 fired transitions, 2440 secs || 39944839 markings, 295579791 edges,
lola: 597 tries, 596640658 fired transitions, 2445 secs || 40020356 markings, 296172604 edges,
lola: 598 tries, 597877789 fired transitions, 2450 secs || 40096135 markings, 296759952 edges,
lola: 600 tries, 599110018 fired transitions, 2455 secs || 40174940 markings, 297348665 edges,
lola: 601 tries, 600289738 fired transitions, 2460 secs || 40256819 markings, 297943243 edges,
lola: 602 tries, 601512490 fired transitions, 2465 secs || 40341686 markings, 298538039 edges,
lola: 603 tries, 602707255 fired transitions, 2470 secs || 40423013 markings, 299140727 edges,
lola: 604 tries, 603894569 fired transitions, 2475 secs || 40494767 markings, 299749360 edges,
lola: 606 tries, 605123304 fired transitions, 2480 secs || 40587521 markings, 300342800 edges,
lola: 607 tries, 606355281 fired transitions, 2485 secs || 40655789 markings, 300948060 edges,
lola: 608 tries, 607590341 fired transitions, 2490 secs || 40747019 markings, 301536028 edges,
lola: 609 tries, 608813754 fired transitions, 2495 secs || 40828629 markings, 302143386 edges,
lola: 611 tries, 610023184 fired transitions, 2500 secs || 40909103 markings, 302744517 edges,
lola: 612 tries, 611250152 fired transitions, 2505 secs || 40991851 markings, 303336147 edges,
lola: 613 tries, 612492824 fired transitions, 2510 secs || 41068972 markings, 303935914 edges,
lola: 614 tries, 613728442 fired transitions, 2515 secs || 41153013 markings, 304534623 edges,
lola: 615 tries, 614965414 fired transitions, 2520 secs || 41232643 markings, 305104525 edges,
lola: 617 tries, 616201801 fired transitions, 2525 secs || 41304552 markings, 305703775 edges,
lola: 618 tries, 617438016 fired transitions, 2530 secs || 41389090 markings, 306287008 edges,
lola: 619 tries, 618684495 fired transitions, 2535 secs || 41462839 markings, 306871910 edges,
lola: 620 tries, 619932353 fired transitions, 2540 secs || 41539907 markings, 307471755 edges,
lola: 622 tries, 621178423 fired transitions, 2545 secs || 41619891 markings, 308069765 edges,
lola: 623 tries, 622424471 fired transitions, 2550 secs || 41703005 markings, 308674236 edges,
lola: 624 tries, 623657600 fired transitions, 2555 secs || 41789062 markings, 309277541 edges,
lola: 625 tries, 624904860 fired transitions, 2560 secs || 41876814 markings, 309880379 edges,
lola: 627 tries, 626140830 fired transitions, 2565 secs || 41943676 markings, 310485053 edges,
lola: 628 tries, 627382853 fired transitions, 2570 secs || 42037486 markings, 311081605 edges,
lola: 629 tries, 628624842 fired transitions, 2575 secs || 42106583 markings, 311694258 edges,
lola: 630 tries, 629851941 fired transitions, 2580 secs || 42201491 markings, 312292005 edges,
lola: 632 tries, 631101653 fired transitions, 2585 secs || 42284120 markings, 312902256 edges,
lola: 633 tries, 632353101 fired transitions, 2590 secs || 42360651 markings, 313509506 edges,
lola: 634 tries, 633601227 fired transitions, 2595 secs || 42446584 markings, 314106201 edges,
lola: 635 tries, 634848317 fired transitions, 2600 secs || 42520889 markings, 314684589 edges,
lola: 637 tries, 636089777 fired transitions, 2605 secs || 42603955 markings, 315272836 edges,
lola: 638 tries, 637332269 fired transitions, 2610 secs || 42683906 markings, 315854352 edges,
lola: 639 tries, 638568739 fired transitions, 2615 secs || 42758592 markings, 316458512 edges,
lola: 640 tries, 639702152 fired transitions, 2620 secs || 42834201 markings, 316988880 edges,
lola: 641 tries, 640951755 fired transitions, 2625 secs || 42912779 markings, 317565744 edges,
lola: 643 tries, 642199197 fired transitions, 2630 secs || 42989615 markings, 318155740 edges,
lola: 644 tries, 643437820 fired transitions, 2635 secs || 43069508 markings, 318749372 edges,
lola: 645 tries, 644684330 fired transitions, 2640 secs || 43152287 markings, 319339407 edges,
lola: 646 tries, 645936881 fired transitions, 2645 secs || 43229798 markings, 319934536 edges,
lola: 648 tries, 647188396 fired transitions, 2650 secs || 43301709 markings, 320536095 edges,
lola: 649 tries, 648435926 fired transitions, 2655 secs || 43392708 markings, 321139031 edges,
lola: 650 tries, 649677186 fired transitions, 2660 secs || 43467527 markings, 321748092 edges,
lola: 651 tries, 650906667 fired transitions, 2665 secs || 43555994 markings, 322364659 edges,
lola: 653 tries, 652134211 fired transitions, 2670 secs || 43646067 markings, 322985099 edges,
lola: 654 tries, 653355438 fired transitions, 2675 secs || 43729055 markings, 323601900 edges,
lola: 655 tries, 654533022 fired transitions, 2680 secs || 43806860 markings, 324186077 edges,
lola: 656 tries, 655776958 fired transitions, 2685 secs || 43886968 markings, 324788067 edges,
lola: 658 tries, 657023086 fired transitions, 2690 secs || 43965108 markings, 325390922 edges,
lola: 659 tries, 658264129 fired transitions, 2695 secs || 44051367 markings, 325987204 edges,
lola: 660 tries, 659510949 fired transitions, 2700 secs || 44128822 markings, 326575020 edges,
lola: 661 tries, 660762512 fired transitions, 2705 secs || 44211773 markings, 327172658 edges,
lola: 663 tries, 662017402 fired transitions, 2710 secs || 44285436 markings, 327784280 edges,
lola: 664 tries, 663269271 fired transitions, 2715 secs || 44373486 markings, 328386277 edges,
lola: 665 tries, 664474792 fired transitions, 2720 secs || 44449467 markings, 328981250 edges,
lola: 666 tries, 665716601 fired transitions, 2725 secs || 44528155 markings, 329565457 edges,
lola: 667 tries, 666956328 fired transitions, 2730 secs || 44609949 markings, 330155572 edges,
lola: 669 tries, 668184572 fired transitions, 2735 secs || 44694992 markings, 330758673 edges,
lola: 670 tries, 669438580 fired transitions, 2740 secs || 44771223 markings, 331366996 edges,
lola: 671 tries, 670690461 fired transitions, 2745 secs || 44848189 markings, 331975338 edges,
lola: 672 tries, 671932805 fired transitions, 2750 secs || 44940191 markings, 332563254 edges,
lola: 674 tries, 673175526 fired transitions, 2755 secs || 45008940 markings, 333162494 edges,
lola: 675 tries, 674418658 fired transitions, 2760 secs || 45096228 markings, 333767673 edges,
lola: 676 tries, 675661012 fired transitions, 2765 secs || 45184069 markings, 334389823 edges,
lola: 677 tries, 676879289 fired transitions, 2770 secs || 45269592 markings, 335004779 edges,
lola: 679 tries, 678121974 fired transitions, 2775 secs || 45351400 markings, 335612704 edges,
lola: 680 tries, 679333604 fired transitions, 2780 secs || 45428755 markings, 336211249 edges,
lola: 681 tries, 680575957 fired transitions, 2785 secs || 45511164 markings, 336817082 edges,
lola: 682 tries, 681820476 fired transitions, 2790 secs || 45590766 markings, 337420701 edges,
lola: 684 tries, 683062046 fired transitions, 2795 secs || 45669864 markings, 338022473 edges,
lola: 685 tries, 684305310 fired transitions, 2800 secs || 45754227 markings, 338624187 edges,
lola: 686 tries, 685554845 fired transitions, 2805 secs || 45832497 markings, 339223777 edges,
lola: 687 tries, 686806241 fired transitions, 2810 secs || 45917971 markings, 339825176 edges,
lola: 689 tries, 688055897 fired transitions, 2815 secs || 45995010 markings, 340423506 edges,
lola: 690 tries, 689307348 fired transitions, 2820 secs || 46074686 markings, 341007720 edges,
lola: 691 tries, 690558999 fired transitions, 2825 secs || 46157551 markings, 341601339 edges,
lola: 692 tries, 691807864 fired transitions, 2830 secs || 46234542 markings, 342187872 edges,
lola: 694 tries, 693060584 fired transitions, 2835 secs || 46306887 markings, 342794413 edges,
lola: 695 tries, 694305947 fired transitions, 2840 secs || 46397635 markings, 343386546 edges,
lola: 696 tries, 695548828 fired transitions, 2845 secs || 46470888 markings, 343997470 edges,
lola: 697 tries, 696790822 fired transitions, 2850 secs || 46560677 markings, 344601298 edges,
lola: 699 tries, 698027470 fired transitions, 2855 secs || 46631442 markings, 345223879 edges,
lola: 700 tries, 699260833 fired transitions, 2860 secs || 46732638 markings, 345850299 edges,
lola: 701 tries, 700469810 fired transitions, 2865 secs || 46815916 markings, 346472821 edges,
lola: 702 tries, 701688625 fired transitions, 2870 secs || 46896479 markings, 347091489 edges,
lola: 703 tries, 702916036 fired transitions, 2875 secs || 46977159 markings, 347705966 edges,
lola: 705 tries, 704159888 fired transitions, 2880 secs || 47058824 markings, 348310582 edges,
lola: 706 tries, 705415328 fired transitions, 2885 secs || 47144959 markings, 348910846 edges,
lola: 707 tries, 706666299 fired transitions, 2890 secs || 47224086 markings, 349513032 edges,
lola: 708 tries, 707915834 fired transitions, 2895 secs || 47308393 markings, 350111803 edges,
lola: 710 tries, 709168208 fired transitions, 2900 secs || 47381234 markings, 350720362 edges,
lola: 711 tries, 710419072 fired transitions, 2905 secs || 47472364 markings, 351322875 edges,
lola: 712 tries, 711668676 fired transitions, 2910 secs || 47549632 markings, 351931868 edges,
lola: 713 tries, 712916280 fired transitions, 2915 secs || 47629745 markings, 352535861 edges,
lola: 715 tries, 714160980 fired transitions, 2920 secs || 47712611 markings, 353128847 edges,
lola: 716 tries, 715415061 fired transitions, 2925 secs || 47796885 markings, 353723361 edges,
lola: 717 tries, 716672302 fired transitions, 2930 secs || 47867512 markings, 354336965 edges,
lola: 718 tries, 717926554 fired transitions, 2935 secs || 47953090 markings, 354931096 edges,
lola: 720 tries, 719059567 fired transitions, 2940 secs || 48021288 markings, 355498860 edges,
lola: 721 tries, 720296858 fired transitions, 2945 secs || 48115254 markings, 356107562 edges,
lola: 722 tries, 721527408 fired transitions, 2950 secs || 48185906 markings, 356730392 edges,
lola: 723 tries, 722743883 fired transitions, 2955 secs || 48286770 markings, 357346778 edges,
lola: 724 tries, 723978496 fired transitions, 2960 secs || 48369867 markings, 357967892 edges,
lola: 726 tries, 725230088 fired transitions, 2965 secs || 48448338 markings, 358569643 edges,
lola: 727 tries, 726461396 fired transitions, 2970 secs || 48528689 markings, 359171608 edges,
lola: 728 tries, 727703444 fired transitions, 2975 secs || 48612692 markings, 359780259 edges,
lola: 729 tries, 728953642 fired transitions, 2980 secs || 48697568 markings, 360388751 edges,
lola: 731 tries, 730190641 fired transitions, 2985 secs || 48774150 markings, 360996298 edges,
lola: 732 tries, 731418995 fired transitions, 2990 secs || 48856015 markings, 361603305 edges,
lola: 733 tries, 732658099 fired transitions, 2995 secs || 48940796 markings, 362197274 edges,
lola: 734 tries, 733821073 fired transitions, 3000 secs || 49014198 markings, 362762996 edges,
lola: 736 tries, 735065761 fired transitions, 3005 secs || 49089503 markings, 363373309 edges,
lola: 737 tries, 736303443 fired transitions, 3010 secs || 49169607 markings, 363979990 edges,
lola: 738 tries, 737415546 fired transitions, 3015 secs || 49247324 markings, 364517346 edges,
lola: 739 tries, 738663389 fired transitions, 3020 secs || 49331308 markings, 365117528 edges,
lola: 740 tries, 739907772 fired transitions, 3025 secs || 49418464 markings, 365724975 edges,
lola: 742 tries, 741157420 fired transitions, 3030 secs || 49488637 markings, 366342032 edges,
lola: 743 tries, 742393364 fired transitions, 3035 secs || 49575023 markings, 366945082 edges,
lola: 744 tries, 743643341 fired transitions, 3040 secs || 49653657 markings, 367545020 edges,
lola: 745 tries, 744874542 fired transitions, 3045 secs || 49739359 markings, 368144380 edges,
lola: 747 tries, 746099383 fired transitions, 3050 secs || 49810442 markings, 368757406 edges,
lola: 748 tries, 747336186 fired transitions, 3055 secs || 49901566 markings, 369351016 edges,
lola: 749 tries, 748574748 fired transitions, 3060 secs || 49988109 markings, 369966255 edges,
lola: 750 tries, 749812828 fired transitions, 3065 secs || 50073275 markings, 370574795 edges,
lola: 752 tries, 751055236 fired transitions, 3070 secs || 50149426 markings, 371172194 edges,
lola: 753 tries, 752298163 fired transitions, 3075 secs || 50229569 markings, 371769444 edges,
lola: 754 tries, 753537556 fired transitions, 3080 secs || 50307209 markings, 372371072 edges,
lola: 755 tries, 754780336 fired transitions, 3085 secs || 50390219 markings, 372960139 edges,
lola: 757 tries, 756023393 fired transitions, 3090 secs || 50467584 markings, 373553355 edges,
lola: 758 tries, 757262420 fired transitions, 3095 secs || 50547756 markings, 374145554 edges,
lola: 759 tries, 758504111 fired transitions, 3100 secs || 50630624 markings, 374739978 edges,
lola: 760 tries, 759743596 fired transitions, 3105 secs || 50713603 markings, 375338231 edges,
lola: 761 tries, 760981234 fired transitions, 3110 secs || 50791629 markings, 375936770 edges,
lola: 763 tries, 762212905 fired transitions, 3115 secs || 50872568 markings, 376532633 edges,
lola: 764 tries, 763444892 fired transitions, 3120 secs || 50956420 markings, 377125885 edges,
lola: 765 tries, 764680869 fired transitions, 3125 secs || 51031147 markings, 377726800 edges,
lola: 766 tries, 765910000 fired transitions, 3130 secs || 51107635 markings, 378328677 edges,
lola: 768 tries, 767137018 fired transitions, 3135 secs || 51199308 markings, 378917863 edges,
lola: 769 tries, 768376064 fired transitions, 3140 secs || 51266840 markings, 379520144 edges,
lola: 770 tries, 769605451 fired transitions, 3145 secs || 51359966 markings, 380120321 edges,
lola: 771 tries, 770842944 fired transitions, 3150 secs || 51434775 markings, 380732606 edges,
lola: 773 tries, 772072929 fired transitions, 3155 secs || 51512074 markings, 381349612 edges,
lola: 774 tries, 773288498 fired transitions, 3160 secs || 51610232 markings, 381962915 edges,
lola: 775 tries, 774508659 fired transitions, 3165 secs || 51691608 markings, 382566211 edges,
lola: 776 tries, 775747592 fired transitions, 3170 secs || 51771736 markings, 383176493 edges,
lola: 777 tries, 776985038 fired transitions, 3175 secs || 51853904 markings, 383780766 edges,
lola: 779 tries, 778211510 fired transitions, 3180 secs || 51933354 markings, 384368581 edges,
lola: 780 tries, 779439593 fired transitions, 3185 secs || 52006998 markings, 384963479 edges,
lola: 781 tries, 780653570 fired transitions, 3190 secs || 52087431 markings, 385551034 edges,
lola: 782 tries, 781848385 fired transitions, 3195 secs || 52166015 markings, 386144243 edges,
lola: 784 tries, 783069144 fired transitions, 3200 secs || 52254164 markings, 386737877 edges,
lola: 785 tries, 784300854 fired transitions, 3205 secs || 52327128 markings, 387332306 edges,
lola: 786 tries, 785526290 fired transitions, 3210 secs || 52403036 markings, 387924777 edges,
lola: 787 tries, 786758155 fired transitions, 3215 secs || 52481803 markings, 388511944 edges,
lola: 788 tries, 787977832 fired transitions, 3220 secs || 52563754 markings, 389108943 edges,
lola: 790 tries, 789211105 fired transitions, 3225 secs || 52648194 markings, 389685561 edges,
lola: 791 tries, 790443938 fired transitions, 3230 secs || 52730884 markings, 390279673 edges,
lola: 792 tries, 791687677 fired transitions, 3235 secs || 52801011 markings, 390886357 edges,
lola: 793 tries, 792925117 fired transitions, 3240 secs || 52893778 markings, 391480097 edges,
lola: 795 tries, 794165966 fired transitions, 3245 secs || 52962081 markings, 392086886 edges,
lola: 796 tries, 795411040 fired transitions, 3250 secs || 53053189 markings, 392672622 edges,
lola: 797 tries, 796653197 fired transitions, 3255 secs || 53131225 markings, 393279244 edges,
lola: 798 tries, 797892362 fired transitions, 3260 secs || 53204561 markings, 393904214 edges,
lola: 800 tries, 799126112 fired transitions, 3265 secs || 53305724 markings, 394525464 edges,
lola: 801 tries, 800362933 fired transitions, 3270 secs || 53389708 markings, 395143262 edges,
lola: 802 tries, 801591792 fired transitions, 3275 secs || 53470204 markings, 395754295 edges,
lola: 803 tries, 802827938 fired transitions, 3280 secs || 53552329 markings, 396357693 edges,
lola: 805 tries, 804046494 fired transitions, 3285 secs || 53632133 markings, 396960465 edges,
lola: 806 tries, 805286402 fired transitions, 3290 secs || 53713086 markings, 397563323 edges,
lola: 807 tries, 806518830 fired transitions, 3295 secs || 53798066 markings, 398163854 edges,
lola: 808 tries, 807768426 fired transitions, 3300 secs || 53874567 markings, 398769006 edges,
lola: 810 tries, 809013497 fired transitions, 3305 secs || 53953586 markings, 399357916 edges,
lola: 811 tries, 810255582 fired transitions, 3310 secs || 54028430 markings, 399954670 edges,
lola: 812 tries, 811496155 fired transitions, 3315 secs || 54114916 markings, 400548628 edges,
lola: 813 tries, 812732793 fired transitions, 3320 secs || 54196402 markings, 401144523 edges,
lola: 814 tries, 813964447 fired transitions, 3325 secs || 54274543 markings, 401747088 edges,
lola: 816 tries, 815198222 fired transitions, 3330 secs || 54348423 markings, 402340343 edges,
lola: 817 tries, 816431413 fired transitions, 3335 secs || 54436331 markings, 402938005 edges,
lola: 818 tries, 817641277 fired transitions, 3340 secs || 54517538 markings, 403532414 edges,
lola: 819 tries, 818868566 fired transitions, 3345 secs || 54593919 markings, 404130988 edges,
lola: 821 tries, 820094585 fired transitions, 3350 secs || 54678385 markings, 404732493 edges,
lola: 822 tries, 821310820 fired transitions, 3355 secs || 54760005 markings, 405334454 edges,
lola: 823 tries, 822544702 fired transitions, 3360 secs || 54831794 markings, 405949530 edges,
lola: 824 tries, 823775908 fired transitions, 3365 secs || 54926402 markings, 406553761 edges,
lola: 826 tries, 825008312 fired transitions, 3370 secs || 55013860 markings, 407169638 edges,
lola: 827 tries, 826180073 fired transitions, 3375 secs || 55092207 markings, 407776109 edges,
lola: 828 tries, 827421668 fired transitions, 3380 secs || 55178908 markings, 408392532 edges,
lola: 829 tries, 828662345 fired transitions, 3385 secs || 55259021 markings, 409007096 edges,
lola: 830 tries, 829913760 fired transitions, 3390 secs || 55335352 markings, 409602952 edges,
lola: 832 tries, 831161691 fired transitions, 3395 secs || 55419584 markings, 410184094 edges,
lola: 833 tries, 832409044 fired transitions, 3400 secs || 55495726 markings, 410771866 edges,
lola: 834 tries, 833639544 fired transitions, 3405 secs || 55577545 markings, 411376509 edges,
lola: 835 tries, 834884838 fired transitions, 3410 secs || 55663800 markings, 411978497 edges,
lola: 837 tries, 836136236 fired transitions, 3415 secs || 55736511 markings, 412571072 edges,
lola: 838 tries, 837388704 fired transitions, 3420 secs || 55811563 markings, 413170007 edges,
lola: 839 tries, 838636828 fired transitions, 3425 secs || 55895185 markings, 413768614 edges,
lola: 840 tries, 839886202 fired transitions, 3430 secs || 55976445 markings, 414374668 edges,
lola: 842 tries, 841136191 fired transitions, 3435 secs || 56054908 markings, 414981101 edges,
lola: 843 tries, 842387602 fired transitions, 3440 secs || 56141717 markings, 415574145 edges,
lola: 844 tries, 843640434 fired transitions, 3445 secs || 56229083 markings, 416173088 edges,
lola: 845 tries, 844888928 fired transitions, 3450 secs || 56297800 markings, 416773089 edges,
lola: 847 tries, 846127084 fired transitions, 3455 secs || 56391338 markings, 417368212 edges,
lola: 848 tries, 847365018 fired transitions, 3460 secs || 56462092 markings, 417970450 edges,
lola: 849 tries, 848600889 fired transitions, 3465 secs || 56536920 markings, 418560815 edges,
lola: 850 tries, 849829286 fired transitions, 3470 secs || 56632288 markings, 419156603 edges,
lola: 852 tries, 851042012 fired transitions, 3475 secs || 56708766 markings, 419769772 edges,
lola: 853 tries, 852260905 fired transitions, 3480 secs || 56798190 markings, 420376933 edges,
lola: 854 tries, 853454441 fired transitions, 3485 secs || 56873023 markings, 420956074 edges,
lola: 855 tries, 854531145 fired transitions, 3490 secs || 56948811 markings, 421512409 edges,
lola: 856 tries, 855738841 fired transitions, 3495 secs || 57031203 markings, 422112622 edges,
lola: 857 tries, 856971407 fired transitions, 3500 secs || 57107301 markings, 422697617 edges,
lola: 859 tries, 858205825 fired transitions, 3505 secs || 57191926 markings, 423294897 edges,
lola: 860 tries, 859442575 fired transitions, 3510 secs || 57268128 markings, 423885558 edges,
lola: 861 tries, 860674703 fired transitions, 3515 secs || 57349390 markings, 424466546 edges,
lola: 862 tries, 861910343 fired transitions, 3520 secs || 57419179 markings, 425056856 edges,
lola: 864 tries, 863144397 fired transitions, 3525 secs || 57507868 markings, 425639188 edges,
lola: 865 tries, 864381760 fired transitions, 3530 secs || 57582513 markings, 426220823 edges,
lola: 866 tries, 865458266 fired transitions, 3535 secs || 57657231 markings, 426745017 edges,
lola: 867 tries, 866417622 fired transitions, 3540 secs || 57713705 markings, 427195686 edges,
lola: 868 tries, 867653777 fired transitions, 3545 secs || 57796645 markings, 427792737 edges,
lola: 869 tries, 868892381 fired transitions, 3550 secs || 57877235 markings, 428392355 edges,
lola: 871 tries, 870116063 fired transitions, 3555 secs || 57946300 markings, 428999729 edges,
lola: time limit reached - aborting
lola: memory consumption: 3184948 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 1552575118539

--------------------
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) 24246 markings/sec, 0 secs 17529 markings/sec, 5 secs 17463 markings/sec, 10 secs 17166 markings/sec, 15 secs 17191 markings/sec, 20 secs 17520 markings/sec, 25 secs 17174 markings/sec, 30 secs 18001 markings/sec, 35 secs 17019 markings/sec, 40 secs 17472 markings/sec, 45 secs 17594 markings/sec, 50 secs 16805 markings/sec, 55 secs 18061 markings/sec, 60 secs 17477 markings/sec, 65 secs 17080 markings/sec, 70 secs 17634 markings/sec, 75 secs 17268 markings/sec, 80 secs 16421 markings/sec, 85 secs 17956 markings/sec, 90 secs 16073 markings/sec, 95 secs 17884 markings/sec, 100 secs 16651 markings/sec, 105 secs 17850 markings/sec, 110 secs 17191 markings/sec, 115 secs 16374 markings/sec, 120 secs 18150 markings/sec, 125 secs 16598 markings/sec, 130 secs 17291 markings/sec, 135 secs 16629 markings/sec, 140 secs 17418 markings/sec, 145 secs 17282 markings/sec, 150 secs 17320 markings/sec, 155 secs 17094 markings/sec, 160 secs 17298 markings/sec, 165 secs 16351 markings/sec, 170 secs 17806 markings/sec, 175 secs 16974 markings/sec, 180 secs 16835 markings/sec, 185 secs 16536 markings/sec, 190 secs 16953 markings/sec, 195 secs 17034 markings/sec, 200 secs 16230 markings/sec, 205 secs 18062 markings/sec, 210 secs 16620 markings/sec, 215 secs 16207 markings/sec, 220 secs 17509 markings/sec, 225 secs 16308 markings/sec, 230 secs 16612 markings/sec, 235 secs 17789 markings/sec, 240 secs 17321 markings/sec, 245 secs 16039 markings/sec, 250 secs 17606 markings/sec, 255 secs 16850 markings/sec, 260 secs 17093 markings/sec, 265 secs 16923 markings/sec, 270 secs 16875 markings/sec, 275 secs 16680 markings/sec, 280 secs 17339 markings/sec, 285 secs 16627 markings/sec, 290 secs 17071 markings/sec, 295 secs 16322 markings/sec, 300 secs 17727 markings/sec, 305 secs 17303 markings/sec, 310 secs 16033 markings/sec, 315 secs 16522 markings/sec, 320 secs 17451 markings/sec, 325 secs 17774 markings/sec, 330 secs 16220 markings/sec, 335 secs 17637 markings/sec, 340 secs 15416 markings/sec, 345 secs 17315 markings/sec, 350 secs 16079 markings/sec, 355 secs 16836 markings/sec, 360 secs 16093 markings/sec, 365 secs 15281 markings/sec, 370 secs 9871 markings/sec, 375 secs 17213 markings/sec, 380 secs 10508 markings/sec, 385 secs 16061 markings/sec, 390 secs 16734 markings/sec, 395 secs 17733 markings/sec, 400 secs 17588 markings/sec, 405 secs 16025 markings/sec, 410 secs 17311 markings/sec, 415 secs 16492 markings/sec, 420 secs 15975 markings/sec, 425 secs 17857 markings/sec, 430 secs 16478 markings/sec, 435 secs 16060 markings/sec, 440 secs 17336 markings/sec, 445 secs 15372 markings/sec, 450 secs 17005 markings/sec, 455 secs 18109 markings/sec, 460 secs 16679 markings/sec, 465 secs 16157 markings/sec, 470 secs 16104 markings/sec, 475 secs 17353 markings/sec, 480 secs 16370 markings/sec, 485 secs 18202 markings/sec, 490 secs 16689 markings/sec, 495 secs 16646 markings/sec, 500 secs 15558 markings/sec, 505 secs 16544 markings/sec, 510 secs 17356 markings/sec, 515 secs 17260 markings/sec, 520 secs 16379 markings/sec, 525 secs 16216 markings/sec, 530 secs 16866 markings/sec, 535 secs 16325 markings/sec, 540 secs 17466 markings/sec, 545 secs 16806 markings/sec, 550 secs 16398 markings/sec, 555 secs 16375 markings/sec, 560 secs 15797 markings/sec, 565 secs 15689 markings/sec, 570 secs 17343 markings/sec, 575 secs 15678 markings/sec, 580 secs 18590 markings/sec, 585 secs 16928 markings/sec, 590 secs 16815 markings/sec, 595 secs 15931 markings/sec, 600 secs 16333 markings/sec, 605 secs 16832 markings/sec, 610 secs 16222 markings/sec, 615 secs 18846 markings/sec, 620 secs 16724 markings/sec, 625 secs 15725 markings/sec, 630 secs 17684 markings/sec, 635 secs 17017 markings/sec, 640 secs 15398 markings/sec, 645 secs 16472 markings/sec, 650 secs 18908 markings/sec, 655 secs 16665 markings/sec, 660 secs 15763 markings/sec, 665 secs 17667 markings/sec, 670 secs 16790 markings/sec, 675 secs 15622 markings/sec, 680 secs 16455 markings/sec, 685 secs 18093 markings/sec, 690 secs 16231 markings/sec, 695 secs 16435 markings/sec, 700 secs 16582 markings/sec, 705 secs 16348 markings/sec, 710 secs 17997 markings/sec, 715 secs 16181 markings/sec, 720 secs 17590 markings/sec, 725 secs 16347 markings/sec, 730 secs 17451 markings/sec, 735 secs 15945 markings/sec, 740 secs 16444 markings/sec, 745 secs 15949 markings/sec, 750 secs 18658 markings/sec, 755 secs 16737 markings/sec, 760 secs 16901 markings/sec, 765 secs 16560 markings/sec, 770 secs 16751 markings/sec, 775 secs 16069 markings/sec, 780 secs 15652 markings/sec, 785 secs 17311 markings/sec, 790 secs 15614 markings/sec, 795 secs 16661 markings/sec, 800 secs 17788 markings/sec, 805 secs 16506 markings/sec, 810 secs 15727 markings/sec, 815 secs 15271 markings/sec, 820 secs 17517 markings/sec, 825 secs 16945 markings/sec, 830 secs 15400 markings/sec, 835 secs 16379 markings/sec, 840 secs 17461 markings/sec, 845 secs 17221 markings/sec, 850 secs 15878 markings/sec, 855 secs 15721 markings/sec, 860 secs 16363 markings/sec, 865 secs 15999 markings/sec, 870 secs 17640 markings/sec, 875 secs 15870 markings/sec, 880 secs 16905 markings/sec, 885 secs 16171 markings/sec, 890 secs 17604 markings/sec, 895 secs 17044 markings/sec, 900 secs 16701 markings/sec, 905 secs 16936 markings/sec, 910 secs 16662 markings/sec, 915 secs 15484 markings/sec, 920 secs 16155 markings/sec, 925 secs 17188 markings/sec, 930 secs 17718 markings/sec, 935 secs 16942 markings/sec, 940 secs 16358 markings/sec, 945 secs 16666 markings/sec, 950 secs 15133 markings/sec, 955 secs 16332 markings/sec, 960 secs 17499 markings/sec, 965 secs 16155 markings/sec, 970 secs 17214 markings/sec, 975 secs 16045 markings/sec, 980 secs 18301 markings/sec, 985 secs 15914 markings/sec, 990 secs 17351 markings/sec, 995 secs 16487 markings/sec, 1000 secs 16025 markings/sec, 1005 secs 17662 markings/sec, 1010 secs 15895 markings/sec, 1015 secs 16949 markings/sec, 1020 secs 16357 markings/sec, 1025 secs 16628 markings/sec, 1030 secs 18217 markings/sec, 1035 secs 16511 markings/sec, 1040 secs 17103 markings/sec, 1045 secs 15092 markings/sec, 1050 secs 16672 markings/sec, 1055 secs 17735 markings/sec, 1060 secs 16928 markings/sec, 1065 secs 15392 markings/sec, 1070 secs 16665 markings/sec, 1075 secs 16834 markings/sec, 1080 secs 17817 markings/sec, 1085 secs 17103 markings/sec, 1090 secs 15848 markings/sec, 1095 secs 17099 markings/sec, 1100 secs 16695 markings/sec, 1105 secs 15614 markings/sec, 1110 secs 16376 markings/sec, 1115 secs 17419 markings/sec, 1120 secs 14450 markings/sec, 1125 secs 17706 markings/sec, 1130 secs 17687 markings/sec, 1135 secs 17027 markings/sec, 1140 secs 16304 markings/sec, 1145 secs 14949 markings/sec, 1150 secs 16276 markings/sec, 1155 secs 16671 markings/sec, 1160 secs 16990 markings/sec, 1165 secs 15419 markings/sec, 1170 secs 16452 markings/sec, 1175 secs 16118 markings/sec, 1180 secs 18096 markings/sec, 1185 secs 16387 markings/sec, 1190 secs 16386 markings/sec, 1195 secs 16116 markings/sec, 1200 secs 16795 markings/sec, 1205 secs 16970 markings/sec, 1210 secs 15325 markings/sec, 1215 secs 16384 markings/sec, 1220 secs 17444 markings/sec, 1225 secs 14472 markings/sec, 1230 secs 17329 markings/sec, 1235 secs 18070 markings/sec, 1240 secs 16383 markings/sec, 1245 secs 15698 markings/sec, 1250 secs 16460 markings/sec, 1255 secs 16271 markings/sec, 1260 secs 14741 markings/sec, 1265 secs 17028 markings/sec, 1270 secs 16212 markings/sec, 1275 secs 14102 markings/sec, 1280 secs 18141 markings/sec, 1285 secs 14896 markings/sec, 1290 secs 15702 markings/sec, 1295 secs 18342 markings/sec, 1300 secs 15878 markings/sec, 1305 secs 15686 markings/sec, 1310 secs 16422 markings/sec, 1315 secs 15961 markings/sec, 1320 secs 17368 markings/sec, 1325 secs 16045 markings/sec, 1330 secs 16086 markings/sec, 1335 secs 14862 markings/sec, 1340 secs 17923 markings/sec, 1345 secs 16299 markings/sec, 1350 secs 16108 markings/sec, 1355 secs 17345 markings/sec, 1360 secs 15778 markings/sec, 1365 secs 16645 markings/sec, 1370 secs 17116 markings/sec, 1375 secs 16269 markings/sec, 1380 secs 15622 markings/sec, 1385 secs 16139 markings/sec, 1390 secs 17193 markings/sec, 1395 secs 16772 markings/sec, 1400 secs 16533 markings/sec, 1405 secs 15702 markings/sec, 1410 secs 16344 markings/sec, 1415 secs 18642 markings/sec, 1420 secs 16469 markings/sec, 1425 secs 17116 markings/sec, 1430 secs 14987 markings/sec, 1435 secs 16534 markings/sec, 1440 secs 15008 markings/sec, 1445 secs 16095 markings/sec, 1450 secs 17086 markings/sec, 1455 secs 15941 markings/sec, 1460 secs 17276 markings/sec, 1465 secs 15667 markings/sec, 1470 secs 16296 markings/sec, 1475 secs 18028 markings/sec, 1480 secs 16644 markings/sec, 1485 secs 15752 markings/sec, 1490 secs 16475 markings/sec, 1495 secs 16002 markings/sec, 1500 secs 17632 markings/sec, 1505 secs 15864 markings/sec, 1510 secs 16913 markings/sec, 1515 secs 16231 markings/sec, 1520 secs 16628 markings/sec, 1525 secs 15449 markings/sec, 1530 secs 16084 markings/sec, 1535 secs 16723 markings/sec, 1540 secs 18953 markings/sec, 1545 secs 16336 markings/sec, 1550 secs 17089 markings/sec, 1555 secs 14960 markings/sec, 1560 secs 16661 markings/sec, 1565 secs 16739 markings/sec, 1570 secs 11385 markings/sec, 1575 secs 14588 markings/sec, 1580 secs 14739 markings/sec, 1585 secs 17828 markings/sec, 1590 secs 16298 markings/sec, 1595 secs 16099 markings/sec, 1600 secs 16708 markings/sec, 1605 secs 18263 markings/sec, 1610 secs 16724 markings/sec, 1615 secs 15739 markings/sec, 1620 secs 16425 markings/sec, 1625 secs 15990 markings/sec, 1630 secs 17088 markings/sec, 1635 secs 16304 markings/sec, 1640 secs 15771 markings/sec, 1645 secs 14992 markings/sec, 1650 secs 14660 markings/sec, 1655 secs 16836 markings/sec, 1660 secs 17662 markings/sec, 1665 secs 16685 markings/sec, 1670 secs 15506 markings/sec, 1675 secs 18021 markings/sec, 1680 secs 15103 markings/sec, 1685 secs 17040 markings/sec, 1690 secs 15314 markings/sec, 1695 secs 16365 markings/sec, 1700 secs 16982 markings/sec, 1705 secs 16128 markings/sec, 1710 secs 15126 markings/sec, 1715 secs 18185 markings/sec, 1720 secs 15072 markings/sec, 1725 secs 15626 markings/sec, 1730 secs 16232 markings/sec, 1735 secs 16899 markings/sec, 1740 secs 18972 markings/sec, 1745 secs 16444 markings/sec, 1750 secs 16224 markings/sec, 1755 secs 15590 markings/sec, 1760 secs 15637 markings/sec, 1765 secs 16710 markings/sec, 1770 secs 15776 markings/sec, 1775 secs 16313 markings/sec, 1780 secs 17029 markings/sec, 1785 secs 16779 markings/sec, 1790 secs 16941 markings/sec, 1795 secs 15808 markings/sec, 1800 secs 16471 markings/sec, 1805 secs 17049 markings/sec, 1810 secs 17009 markings/sec, 1815 secs 16833 markings/sec, 1820 secs 16198 markings/sec, 1825 secs 15266 markings/sec, 1830 secs 17496 markings/sec, 1835 secs 15213 markings/sec, 1840 secs 17023 markings/sec, 1845 secs 16347 markings/sec, 1850 secs 14616 markings/sec, 1855 secs 17162 markings/sec, 1860 secs 15008 markings/sec, 1865 secs 15605 markings/sec, 1870 secs 16229 markings/sec, 1875 secs 16842 markings/sec, 1880 secs 17452 markings/sec, 1885 secs 17990 markings/sec, 1890 secs 15903 markings/sec, 1895 secs 17330 markings/sec, 1900 secs 16469 markings/sec, 1905 secs 16004 markings/sec, 1910 secs 15836 markings/sec, 1915 secs 17406 markings/sec, 1920 secs 15543 markings/sec, 1925 secs 15599 markings/sec, 1930 secs 15069 markings/sec, 1935 secs 16579 markings/sec, 1940 secs 16172 markings/sec, 1945 secs 15427 markings/sec, 1950 secs 15636 markings/sec, 1955 secs 17609 markings/sec, 1960 secs 17929 markings/sec, 1965 secs 15923 markings/sec, 1970 secs 15236 markings/sec, 1975 secs 16013 markings/sec, 1980 secs 15725 markings/sec, 1985 secs 17084 markings/sec, 1990 secs 13119 markings/sec, 1995 secs 15486 markings/sec, 2000 secs 16949 markings/sec, 2005 secs 15392 markings/sec, 2010 secs 17766 markings/sec, 2015 secs 16311 markings/sec, 2020 secs 16420 markings/sec, 2025 secs 15809 markings/sec, 2030 secs 14434 markings/sec, 2035 secs 17475 markings/sec, 2040 secs 18002 markings/sec, 2045 secs 15901 markings/sec, 2050 secs 16565 markings/sec, 2055 secs 16590 markings/sec, 2060 secs 15142 markings/sec, 2065 secs 17064 markings/sec, 2070 secs 16039 markings/sec, 2075 secs 15141 markings/sec, 2080 secs 16126 markings/sec, 2085 secs 14787 markings/sec, 2090 secs 15399 markings/sec, 2095 secs 16531 markings/sec, 2100 secs 16066 markings/sec, 2105 secs 17196 markings/sec, 2110 secs 17798 markings/sec, 2115 secs 14236 markings/sec, 2120 secs 19154 markings/sec, 2125 secs 15524 markings/sec, 2130 secs 17094 markings/sec, 2135 secs 14963 markings/sec, 2140 secs 16629 markings/sec, 2145 secs 16664 markings/sec, 2150 secs 16296 markings/sec, 2155 secs 15346 markings/sec, 2160 secs 18193 markings/sec, 2165 secs 15020 markings/sec, 2170 secs 15661 markings/sec, 2175 secs 16250 markings/sec, 2180 secs 16840 markings/sec, 2185 secs 17406 markings/sec, 2190 secs 16489 markings/sec, 2195 secs 14929 markings/sec, 2200 secs 19278 markings/sec, 2205 secs 16411 markings/sec, 2210 secs 15029 markings/sec, 2215 secs 17031 markings/sec, 2220 secs 12892 markings/sec, 2225 secs 7468 markings/sec, 2230 secs 7548 markings/sec, 2235 secs 8166 markings/sec, 2240 secs 11689 markings/sec, 2245 secs 16538 markings/sec, 2250 secs 14658 markings/sec, 2255 secs 16479 markings/sec, 2260 secs 17390 markings/sec, 2265 secs 16481 markings/sec, 2270 secs 15625 markings/sec, 2275 secs 13712 markings/sec, 2280 secs 6562 markings/sec, 2285 secs 11303 markings/sec, 2290 secs 6574 markings/sec, 2295 secs 7470 markings/sec, 2300 secs 11221 markings/sec, 2305 secs 8555 markings/sec, 2310 secs 8599 markings/sec, 2315 secs 11290 markings/sec, 2320 secs 16998 markings/sec, 2325 secs 16425 markings/sec, 2330 secs 16308 markings/sec, 2335 secs 14729 markings/sec, 2340 secs 16564 markings/sec, 2345 secs 15369 markings/sec, 2350 secs 17632 markings/sec, 2355 secs 14617 markings/sec, 2360 secs 17048 markings/sec, 2365 secs 17093 markings/sec, 2370 secs 16173 markings/sec, 2375 secs 15230 markings/sec, 2380 secs 16697 markings/sec, 2385 secs 18211 markings/sec, 2390 secs 13743 markings/sec, 2395 secs 19142 markings/sec, 2400 secs 16392 markings/sec, 2405 secs 15873 markings/sec, 2410 secs 16375 markings/sec, 2415 secs 15875 markings/sec, 2420 secs 14502 markings/sec, 2425 secs 15469 markings/sec, 2430 secs 16570 markings/sec, 2435 secs 17090 markings/sec, 2440 secs 15103 markings/sec, 2445 secs 15156 markings/sec, 2450 secs 15761 markings/sec, 2455 secs 16376 markings/sec, 2460 secs 16973 markings/sec, 2465 secs 16265 markings/sec, 2470 secs 14351 markings/sec, 2475 secs 18551 markings/sec, 2480 secs 13654 markings/sec, 2485 secs 18246 markings/sec, 2490 secs 16322 markings/sec, 2495 secs 16095 markings/sec, 2500 secs 16550 markings/sec, 2505 secs 15424 markings/sec, 2510 secs 16808 markings/sec, 2515 secs 15926 markings/sec, 2520 secs 14382 markings/sec, 2525 secs 16908 markings/sec, 2530 secs 14750 markings/sec, 2535 secs 15414 markings/sec, 2540 secs 15997 markings/sec, 2545 secs 16623 markings/sec, 2550 secs 17211 markings/sec, 2555 secs 17550 markings/sec, 2560 secs 13372 markings/sec, 2565 secs 18762 markings/sec, 2570 secs 13819 markings/sec, 2575 secs 18982 markings/sec, 2580 secs 16526 markings/sec, 2585 secs 15306 markings/sec, 2590 secs 17187 markings/sec, 2595 secs 14861 markings/sec, 2600 secs 16613 markings/sec, 2605 secs 15990 markings/sec, 2610 secs 14937 markings/sec, 2615 secs 15122 markings/sec, 2620 secs 15716 markings/sec, 2625 secs 15367 markings/sec, 2630 secs 15979 markings/sec, 2635 secs 16556 markings/sec, 2640 secs 15502 markings/sec, 2645 secs 14382 markings/sec, 2650 secs 18200 markings/sec, 2655 secs 14964 markings/sec, 2660 secs 17693 markings/sec, 2665 secs 18015 markings/sec, 2670 secs 16598 markings/sec, 2675 secs 15561 markings/sec, 2680 secs 16022 markings/sec, 2685 secs 15628 markings/sec, 2690 secs 17252 markings/sec, 2695 secs 15491 markings/sec, 2700 secs 16590 markings/sec, 2705 secs 14733 markings/sec, 2710 secs 17610 markings/sec, 2715 secs 15196 markings/sec, 2720 secs 15738 markings/sec, 2725 secs 16359 markings/sec, 2730 secs 17009 markings/sec, 2735 secs 15246 markings/sec, 2740 secs 15393 markings/sec, 2745 secs 18400 markings/sec, 2750 secs 13750 markings/sec, 2755 secs 17458 markings/sec, 2760 secs 17568 markings/sec, 2765 secs 17105 markings/sec, 2770 secs 16362 markings/sec, 2775 secs 15471 markings/sec, 2780 secs 16482 markings/sec, 2785 secs 15920 markings/sec, 2790 secs 15820 markings/sec, 2795 secs 16873 markings/sec, 2800 secs 15654 markings/sec, 2805 secs 17095 markings/sec, 2810 secs 15408 markings/sec, 2815 secs 15935 markings/sec, 2820 secs 16573 markings/sec, 2825 secs 15398 markings/sec, 2830 secs 14469 markings/sec, 2835 secs 18150 markings/sec, 2840 secs 14651 markings/sec, 2845 secs 17958 markings/sec, 2850 secs 14153 markings/sec, 2855 secs 20239 markings/sec, 2860 secs 16656 markings/sec, 2865 secs 16113 markings/sec, 2870 secs 16136 markings/sec, 2875 secs 16333 markings/sec, 2880 secs 17227 markings/sec, 2885 secs 15825 markings/sec, 2890 secs 16861 markings/sec, 2895 secs 14568 markings/sec, 2900 secs 18226 markings/sec, 2905 secs 15454 markings/sec, 2910 secs 16023 markings/sec, 2915 secs 16573 markings/sec, 2920 secs 16855 markings/sec, 2925 secs 14125 markings/sec, 2930 secs 17116 markings/sec, 2935 secs 13640 markings/sec, 2940 secs 18793 markings/sec, 2945 secs 14130 markings/sec, 2950 secs 20173 markings/sec, 2955 secs 16619 markings/sec, 2960 secs 15694 markings/sec, 2965 secs 16070 markings/sec, 2970 secs 16801 markings/sec, 2975 secs 16975 markings/sec, 2980 secs 15316 markings/sec, 2985 secs 16373 markings/sec, 2990 secs 16956 markings/sec, 2995 secs 14680 markings/sec, 3000 secs 15061 markings/sec, 3005 secs 16021 markings/sec, 3010 secs 15543 markings/sec, 3015 secs 16797 markings/sec, 3020 secs 17431 markings/sec, 3025 secs 14035 markings/sec, 3030 secs 17277 markings/sec, 3035 secs 15727 markings/sec, 3040 secs 17140 markings/sec, 3045 secs 14217 markings/sec, 3050 secs 18225 markings/sec, 3055 secs 17309 markings/sec, 3060 secs 17033 markings/sec, 3065 secs 15230 markings/sec, 3070 secs 16029 markings/sec, 3075 secs 15528 markings/sec, 3080 secs 16602 markings/sec, 3085 secs 15473 markings/sec, 3090 secs 16034 markings/sec, 3095 secs 16574 markings/sec, 3100 secs 16596 markings/sec, 3105 secs 15605 markings/sec, 3110 secs 16188 markings/sec, 3115 secs 16770 markings/sec, 3120 secs 14945 markings/sec, 3125 secs 15298 markings/sec, 3130 secs 18335 markings/sec, 3135 secs 13506 markings/sec, 3140 secs 18625 markings/sec, 3145 secs 14962 markings/sec, 3150 secs 15460 markings/sec, 3155 secs 19632 markings/sec, 3160 secs 16275 markings/sec, 3165 secs 16026 markings/sec, 3170 secs 16434 markings/sec, 3175 secs 15890 markings/sec, 3180 secs 14729 markings/sec, 3185 secs 16087 markings/sec, 3190 secs 15717 markings/sec, 3195 secs 17630 markings/sec, 3200 secs 14593 markings/sec, 3205 secs 15182 markings/sec, 3210 secs 15753 markings/sec, 3215 secs 16390 markings/sec, 3220 secs 16888 markings/sec, 3225 secs 16538 markings/sec, 3230 secs 14025 markings/sec, 3235 secs 18553 markings/sec, 3240 secs 13661 markings/sec, 3245 secs 18222 markings/sec, 3250 secs 15607 markings/sec, 3255 secs 14667 markings/sec, 3260 secs 20233 markings/sec, 3265 secs 16797 markings/sec, 3270 secs 16099 markings/sec, 3275 secs 16425 markings/sec, 3280 secs 15961 markings/sec, 3285 secs 16191 markings/sec, 3290 secs 16996 markings/sec, 3295 secs 15300 markings/sec, 3300 secs 15804 markings/sec, 3305 secs 14969 markings/sec, 3310 secs 17297 markings/sec, 3315 secs 16297 markings/sec, 3320 secs 15628 markings/sec, 3325 secs 14776 markings/sec, 3330 secs 17582 markings/sec, 3335 secs 16241 markings/sec, 3340 secs 15276 markings/sec, 3345 secs 16893 markings/sec, 3350 secs 16324 markings/sec, 3355 secs 14358 markings/sec, 3360 secs 18922 markings/sec, 3365 secs 17492 markings/sec, 3370 secs 15669 markings/sec, 3375 secs 17340 markings/sec, 3380 secs 16023 markings/sec, 3385 secs 15266 markings/sec, 3390 secs 16846 markings/sec, 3395 secs 15228 markings/sec, 3400 secs 16364 markings/sec, 3405 secs 17251 markings/sec, 3410 secs 14542 markings/sec, 3415 secs 15010 markings/sec, 3420 secs 16724 markings/sec, 3425 secs 16252 markings/sec, 3430 secs 15693 markings/sec, 3435 secs 17362 markings/sec, 3440 secs 17473 markings/sec, 3445 secs 13743 markings/sec, 3450 secs 18708 markings/sec, 3455 secs 14151 markings/sec, 3460 secs 14966 markings/sec, 3465 secs 19074 markings/sec, 3470 secs 15296 markings/sec, 3475 secs 17885 markings/sec, 3480 secs 14967 markings/sec, 3485 secs 15158 markings/sec, 3490 secs 16478 markings/sec, 3495 secs 15220 markings/sec, 3500 secs 16925 markings/sec, 3505 secs 15240 markings/sec, 3510 secs 16252 markings/sec, 3515 secs 13958 markings/sec, 3520 secs 17738 markings/sec, 3525 secs 14929 markings/sec, 3530 secs 14944 markings/sec, 3535 secs 11295 markings/sec, 3540 secs 16588 markings/sec, 3545 secs 16118 markings/sec, 3550 secs 13813 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-D20N150"
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-D20N150, 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-155234654700147"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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