About the Execution of LoLA for DLCshifumi-PT-2b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14064.760 | 2703270.00 | 5475451.00 | 175.00 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r049-oct2-155234405200516.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCshifumi-PT-2b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405200516
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 880K
-rw-r--r-- 1 mcc users 3.5K Feb 10 08:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 08:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 06:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 06:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 23:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 23:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 2 23:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 23:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jan 30 14:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 30 14:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 729K 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 DLCshifumi-PT-2b-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552461894033
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCshifumi-PT-2b @ 3570 seconds
FORMULA DLCshifumi-PT-2b-GlobalProperties-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 867
rslt: Output for GlobalProperties @ DLCshifumi-PT-2b
{
"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": "Wed Mar 13 07:24:54 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 14155832,
"runtime": 2678.000000,
"signal": null,
"timelimitreached": false
},
"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": 7756,
"conflict_clusters": 2247,
"places": 2483,
"places_significant": 2404,
"singleton_clusters": 0,
"transitions": 3183
},
"result":
{
"edges": 128331300,
"markings": 113340907,
"produced_by": "state space",
"value": true
},
"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": 131072.000000,
"composed": 0,
"dead_branches": 0,
"generators": 17,
"interrupted": false,
"real_computed": 17,
"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: 5666/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2483
lola: finding significant places
lola: 2483 places, 3183 transitions, 2404 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=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 17 generators (17 in search tree, 0 by composition)
lola: representing 131072 symmetries
lola: 0 dead branches visited in search tree
lola: 5 tries, 4213724 fired transitions, 0 secs || 160233 markings, 179139 edges, 32047 markings/sec, 0 secs
lola: 10 tries, 9712574 fired transitions, 5 secs || 381471 markings, 426705 edges, 44248 markings/sec, 5 secs
lola: 16 tries, 15180481 fired transitions, 10 secs || 601317 markings, 672748 edges, 43969 markings/sec, 10 secs
lola: 20 tries, 19657038 fired transitions, 15 secs || 789127 markings, 883769 edges, 37562 markings/sec, 15 secs
lola: 24 tries, 23843542 fired transitions, 20 secs || 969533 markings, 1086964 edges, 36081 markings/sec, 20 secs
lola: 29 tries, 28013874 fired transitions, 25 secs || 1146971 markings, 1286691 edges, 35488 markings/sec, 25 secs
lola: 33 tries, 32776095 fired transitions, 30 secs || 1347613 markings, 1511023 edges, 40128 markings/sec, 30 secs
lola: 39 tries, 38132933 fired transitions, 35 secs || 1567998 markings, 1758810 edges, 44077 markings/sec, 35 secs
lola: 44 tries, 43499119 fired transitions, 40 secs || 1788951 markings, 2008650 edges, 44191 markings/sec, 40 secs
lola: 49 tries, 48882970 fired transitions, 45 secs || 2010253 markings, 2257373 edges, 44260 markings/sec, 45 secs
lola: 55 tries, 54266158 fired transitions, 50 secs || 2228997 markings, 2502872 edges, 43749 markings/sec, 50 secs
lola: 60 tries, 59533203 fired transitions, 55 secs || 2448154 markings, 2747941 edges, 43831 markings/sec, 55 secs
lola: 65 tries, 64903237 fired transitions, 60 secs || 2666400 markings, 2993279 edges, 43649 markings/sec, 60 secs
lola: 71 tries, 70290934 fired transitions, 65 secs || 2885014 markings, 3238966 edges, 43723 markings/sec, 65 secs
lola: 76 tries, 75733775 fired transitions, 70 secs || 3105487 markings, 3487086 edges, 44095 markings/sec, 70 secs
lola: 82 tries, 81159610 fired transitions, 75 secs || 3319240 markings, 3725255 edges, 42751 markings/sec, 75 secs
lola: 87 tries, 86711944 fired transitions, 80 secs || 3535871 markings, 3968573 edges, 43326 markings/sec, 80 secs
lola: 93 tries, 92182783 fired transitions, 85 secs || 3750976 markings, 4208432 edges, 43021 markings/sec, 85 secs
lola: 98 tries, 97499175 fired transitions, 90 secs || 3971636 markings, 4455979 edges, 44132 markings/sec, 90 secs
lola: 103 tries, 102951403 fired transitions, 95 secs || 4192950 markings, 4705763 edges, 44263 markings/sec, 95 secs
lola: 109 tries, 108469865 fired transitions, 100 secs || 4415183 markings, 4956368 edges, 44447 markings/sec, 100 secs
lola: 115 tries, 114074044 fired transitions, 105 secs || 4632355 markings, 5201068 edges, 43434 markings/sec, 105 secs
lola: 120 tries, 119614369 fired transitions, 110 secs || 4850660 markings, 5445351 edges, 43661 markings/sec, 110 secs
lola: 126 tries, 125145153 fired transitions, 115 secs || 5070019 markings, 5693568 edges, 43872 markings/sec, 115 secs
lola: 131 tries, 130553723 fired transitions, 120 secs || 5290823 markings, 5943285 edges, 44161 markings/sec, 120 secs
lola: 137 tries, 136096089 fired transitions, 125 secs || 5511247 markings, 6193386 edges, 44085 markings/sec, 125 secs
lola: 142 tries, 141612241 fired transitions, 130 secs || 5733759 markings, 6446460 edges, 44502 markings/sec, 130 secs
lola: 148 tries, 147173017 fired transitions, 135 secs || 5948148 markings, 6684651 edges, 42878 markings/sec, 135 secs
lola: 153 tries, 152650588 fired transitions, 140 secs || 6162165 markings, 6923754 edges, 42803 markings/sec, 140 secs
lola: 159 tries, 158083070 fired transitions, 145 secs || 6380394 markings, 7167678 edges, 43646 markings/sec, 145 secs
lola: 164 tries, 163691695 fired transitions, 150 secs || 6588511 markings, 7400801 edges, 41623 markings/sec, 150 secs
lola: 170 tries, 169193066 fired transitions, 155 secs || 6801075 markings, 7638379 edges, 42513 markings/sec, 155 secs
lola: 175 tries, 174718842 fired transitions, 160 secs || 7011697 markings, 7875188 edges, 42124 markings/sec, 160 secs
lola: 181 tries, 180252123 fired transitions, 165 secs || 7222996 markings, 8112490 edges, 42260 markings/sec, 165 secs
lola: 186 tries, 185710542 fired transitions, 170 secs || 7436753 markings, 8353306 edges, 42751 markings/sec, 170 secs
lola: 192 tries, 191178225 fired transitions, 175 secs || 7652581 markings, 8596733 edges, 43166 markings/sec, 175 secs
lola: 197 tries, 196685153 fired transitions, 180 secs || 7865566 markings, 8836183 edges, 42597 markings/sec, 180 secs
lola: 203 tries, 202280009 fired transitions, 185 secs || 8080646 markings, 9077551 edges, 43016 markings/sec, 185 secs
lola: 208 tries, 207905548 fired transitions, 190 secs || 8297189 markings, 9322624 edges, 43309 markings/sec, 190 secs
lola: 214 tries, 213544719 fired transitions, 195 secs || 8513493 markings, 9566703 edges, 43261 markings/sec, 195 secs
lola: 220 tries, 219189888 fired transitions, 200 secs || 8731344 markings, 9812489 edges, 43570 markings/sec, 200 secs
lola: 225 tries, 224728030 fired transitions, 205 secs || 8952251 markings, 10062127 edges, 44181 markings/sec, 205 secs
lola: 231 tries, 230228857 fired transitions, 210 secs || 9168012 markings, 10303525 edges, 43152 markings/sec, 210 secs
lola: 236 tries, 235800105 fired transitions, 215 secs || 9388236 markings, 10550208 edges, 44045 markings/sec, 215 secs
lola: 242 tries, 241299547 fired transitions, 220 secs || 9609923 markings, 10799983 edges, 44337 markings/sec, 220 secs
lola: 247 tries, 246917185 fired transitions, 225 secs || 9829511 markings, 11046511 edges, 43918 markings/sec, 225 secs
lola: 253 tries, 252502648 fired transitions, 230 secs || 10049251 markings, 11294220 edges, 43948 markings/sec, 230 secs
lola: 259 tries, 258143120 fired transitions, 235 secs || 10269652 markings, 11544185 edges, 44080 markings/sec, 235 secs
lola: 264 tries, 263728930 fired transitions, 240 secs || 10490779 markings, 11794603 edges, 44225 markings/sec, 240 secs
lola: 270 tries, 269300714 fired transitions, 245 secs || 10708741 markings, 12040490 edges, 43592 markings/sec, 245 secs
lola: 275 tries, 274833793 fired transitions, 250 secs || 10925164 markings, 12285263 edges, 43285 markings/sec, 250 secs
lola: 281 tries, 280290489 fired transitions, 255 secs || 11137643 markings, 12522700 edges, 42496 markings/sec, 255 secs
lola: 286 tries, 285839266 fired transitions, 260 secs || 11351805 markings, 12762076 edges, 42832 markings/sec, 260 secs
lola: 292 tries, 291395637 fired transitions, 265 secs || 11567667 markings, 13004545 edges, 43172 markings/sec, 265 secs
lola: 297 tries, 296907929 fired transitions, 270 secs || 11781665 markings, 13244452 edges, 42800 markings/sec, 270 secs
lola: 303 tries, 302328943 fired transitions, 275 secs || 11993300 markings, 13481432 edges, 42327 markings/sec, 275 secs
lola: 308 tries, 307769909 fired transitions, 280 secs || 12203355 markings, 13716773 edges, 42011 markings/sec, 280 secs
lola: 314 tries, 313209409 fired transitions, 285 secs || 12415217 markings, 13954870 edges, 42372 markings/sec, 285 secs
lola: 319 tries, 318655337 fired transitions, 290 secs || 12627917 markings, 14193442 edges, 42540 markings/sec, 290 secs
lola: 325 tries, 324305592 fired transitions, 295 secs || 12847649 markings, 14439530 edges, 43946 markings/sec, 295 secs
lola: 330 tries, 329934754 fired transitions, 300 secs || 13068582 markings, 14688675 edges, 44187 markings/sec, 300 secs
lola: 336 tries, 335539824 fired transitions, 305 secs || 13287055 markings, 14934324 edges, 43695 markings/sec, 305 secs
lola: 342 tries, 341076349 fired transitions, 310 secs || 13502213 markings, 15174676 edges, 43032 markings/sec, 310 secs
lola: 347 tries, 346681313 fired transitions, 315 secs || 13720208 markings, 15420775 edges, 43599 markings/sec, 315 secs
lola: 353 tries, 352234017 fired transitions, 320 secs || 13938128 markings, 15665578 edges, 43584 markings/sec, 320 secs
lola: 358 tries, 357797537 fired transitions, 325 secs || 14155182 markings, 15909429 edges, 43411 markings/sec, 325 secs
lola: 364 tries, 363446417 fired transitions, 330 secs || 14375575 markings, 16158505 edges, 44079 markings/sec, 330 secs
lola: 369 tries, 368915514 fired transitions, 335 secs || 14596576 markings, 16407558 edges, 44200 markings/sec, 335 secs
lola: 375 tries, 374459358 fired transitions, 340 secs || 14815738 markings, 16653316 edges, 43832 markings/sec, 340 secs
lola: 381 tries, 380087817 fired transitions, 345 secs || 15033523 markings, 16899266 edges, 43557 markings/sec, 345 secs
lola: 386 tries, 385740644 fired transitions, 350 secs || 15254510 markings, 17148340 edges, 44197 markings/sec, 350 secs
lola: 392 tries, 391380088 fired transitions, 355 secs || 15475045 markings, 17396263 edges, 44107 markings/sec, 355 secs
lola: 398 tries, 397064145 fired transitions, 360 secs || 15697348 markings, 17647817 edges, 44461 markings/sec, 360 secs
lola: 403 tries, 402742524 fired transitions, 365 secs || 15919847 markings, 17899004 edges, 44500 markings/sec, 365 secs
lola: 409 tries, 408424423 fired transitions, 370 secs || 16141344 markings, 18149917 edges, 44299 markings/sec, 370 secs
lola: 415 tries, 414103763 fired transitions, 375 secs || 16363259 markings, 18400874 edges, 44383 markings/sec, 375 secs
lola: 420 tries, 419787941 fired transitions, 380 secs || 16584730 markings, 18651010 edges, 44294 markings/sec, 380 secs
lola: 426 tries, 425463236 fired transitions, 385 secs || 16806962 markings, 18902129 edges, 44446 markings/sec, 385 secs
lola: 432 tries, 431109287 fired transitions, 390 secs || 17027309 markings, 19150572 edges, 44069 markings/sec, 390 secs
lola: 437 tries, 436757855 fired transitions, 395 secs || 17249156 markings, 19400698 edges, 44369 markings/sec, 395 secs
lola: 443 tries, 442441183 fired transitions, 400 secs || 17471959 markings, 19653284 edges, 44561 markings/sec, 400 secs
lola: 449 tries, 448104361 fired transitions, 405 secs || 17692927 markings, 19903669 edges, 44194 markings/sec, 405 secs
lola: 454 tries, 453763707 fired transitions, 410 secs || 17912930 markings, 20152905 edges, 44001 markings/sec, 410 secs
lola: 460 tries, 459433402 fired transitions, 415 secs || 18135577 markings, 20404322 edges, 44529 markings/sec, 415 secs
lola: 466 tries, 465142593 fired transitions, 420 secs || 18358863 markings, 20657071 edges, 44657 markings/sec, 420 secs
lola: 471 tries, 470842853 fired transitions, 425 secs || 18582148 markings, 20910503 edges, 44657 markings/sec, 425 secs
lola: 477 tries, 476543113 fired transitions, 430 secs || 18803716 markings, 21161829 edges, 44314 markings/sec, 430 secs
lola: 483 tries, 482199417 fired transitions, 435 secs || 19023233 markings, 21408442 edges, 43903 markings/sec, 435 secs
lola: 488 tries, 487845867 fired transitions, 440 secs || 19244246 markings, 21656119 edges, 44203 markings/sec, 440 secs
lola: 494 tries, 493549321 fired transitions, 445 secs || 19467134 markings, 21908837 edges, 44578 markings/sec, 445 secs
lola: 500 tries, 499250678 fired transitions, 450 secs || 19689709 markings, 22161547 edges, 44515 markings/sec, 450 secs
lola: 505 tries, 504016438 fired transitions, 455 secs || 19883532 markings, 22381512 edges, 38765 markings/sec, 455 secs
lola: 510 tries, 509615446 fired transitions, 460 secs || 20098603 markings, 22626049 edges, 43014 markings/sec, 460 secs
lola: 516 tries, 515205546 fired transitions, 465 secs || 20316022 markings, 22872964 edges, 43484 markings/sec, 465 secs
lola: 521 tries, 520795585 fired transitions, 470 secs || 20534990 markings, 23121052 edges, 43794 markings/sec, 470 secs
lola: 527 tries, 526374401 fired transitions, 475 secs || 20752809 markings, 23368085 edges, 43564 markings/sec, 475 secs
lola: 533 tries, 532025141 fired transitions, 480 secs || 20973935 markings, 23618002 edges, 44225 markings/sec, 480 secs
lola: 538 tries, 537695227 fired transitions, 485 secs || 21194099 markings, 23866135 edges, 44033 markings/sec, 485 secs
lola: 544 tries, 543354871 fired transitions, 490 secs || 21415283 markings, 24116233 edges, 44237 markings/sec, 490 secs
lola: 549 tries, 548495947 fired transitions, 495 secs || 21611112 markings, 24337388 edges, 39166 markings/sec, 495 secs
lola: 555 tries, 554191068 fired transitions, 500 secs || 21832659 markings, 24589206 edges, 44309 markings/sec, 500 secs
lola: 560 tries, 559889850 fired transitions, 505 secs || 22053942 markings, 24840610 edges, 44257 markings/sec, 505 secs
lola: 566 tries, 565392680 fired transitions, 510 secs || 22266431 markings, 25080941 edges, 42498 markings/sec, 510 secs
lola: 572 tries, 571072499 fired transitions, 515 secs || 22487887 markings, 25332339 edges, 44291 markings/sec, 515 secs
lola: 577 tries, 576764097 fired transitions, 520 secs || 22709332 markings, 25584002 edges, 44289 markings/sec, 520 secs
lola: 583 tries, 582467060 fired transitions, 525 secs || 22930955 markings, 25835597 edges, 44325 markings/sec, 525 secs
lola: 589 tries, 588162337 fired transitions, 530 secs || 23152033 markings, 26086869 edges, 44216 markings/sec, 530 secs
lola: 594 tries, 593855153 fired transitions, 535 secs || 23374086 markings, 26338775 edges, 44411 markings/sec, 535 secs
lola: 600 tries, 599489501 fired transitions, 540 secs || 23594236 markings, 26587994 edges, 44030 markings/sec, 540 secs
lola: 605 tries, 604964626 fired transitions, 545 secs || 23807702 markings, 26829856 edges, 42693 markings/sec, 545 secs
lola: 611 tries, 610432665 fired transitions, 550 secs || 24021548 markings, 27072564 edges, 42769 markings/sec, 550 secs
lola: 616 tries, 615929761 fired transitions, 555 secs || 24235844 markings, 27316212 edges, 42859 markings/sec, 555 secs
lola: 622 tries, 621425370 fired transitions, 560 secs || 24449359 markings, 27559676 edges, 42703 markings/sec, 560 secs
lola: 627 tries, 626761473 fired transitions, 565 secs || 24655198 markings, 27793433 edges, 41168 markings/sec, 565 secs
lola: 633 tries, 632382076 fired transitions, 570 secs || 24873286 markings, 28041600 edges, 43618 markings/sec, 570 secs
lola: 638 tries, 637837447 fired transitions, 575 secs || 25086815 markings, 28283688 edges, 42706 markings/sec, 575 secs
lola: 644 tries, 643390461 fired transitions, 580 secs || 25304267 markings, 28530979 edges, 43490 markings/sec, 580 secs
lola: 649 tries, 648045416 fired transitions, 585 secs || 25482890 markings, 28733167 edges, 35725 markings/sec, 585 secs
lola: 652 tries, 651994330 fired transitions, 590 secs || 25633533 markings, 28904679 edges, 30129 markings/sec, 590 secs
lola: 657 tries, 656361474 fired transitions, 595 secs || 25793995 markings, 29086946 edges, 32092 markings/sec, 595 secs
lola: 661 tries, 660607523 fired transitions, 600 secs || 25954460 markings, 29268417 edges, 32093 markings/sec, 600 secs
lola: 667 tries, 666151286 fired transitions, 605 secs || 26171524 markings, 29514281 edges, 43413 markings/sec, 605 secs
lola: 672 tries, 671741284 fired transitions, 610 secs || 26390868 markings, 29763345 edges, 43869 markings/sec, 610 secs
lola: 678 tries, 677284305 fired transitions, 615 secs || 26606349 markings, 30008335 edges, 43096 markings/sec, 615 secs
lola: 683 tries, 682865177 fired transitions, 620 secs || 26822420 markings, 30254201 edges, 43214 markings/sec, 620 secs
lola: 689 tries, 688363136 fired transitions, 625 secs || 27036603 markings, 30498471 edges, 42837 markings/sec, 625 secs
lola: 694 tries, 693870052 fired transitions, 630 secs || 27250083 markings, 30741576 edges, 42696 markings/sec, 630 secs
lola: 700 tries, 699439921 fired transitions, 635 secs || 27464972 markings, 30986568 edges, 42978 markings/sec, 635 secs
lola: 706 tries, 705039505 fired transitions, 640 secs || 27682643 markings, 31234174 edges, 43534 markings/sec, 640 secs
lola: 711 tries, 710754278 fired transitions, 645 secs || 27907111 markings, 31489336 edges, 44894 markings/sec, 645 secs
lola: 717 tries, 716484373 fired transitions, 650 secs || 28130662 markings, 31744150 edges, 44710 markings/sec, 650 secs
lola: 722 tries, 721708701 fired transitions, 655 secs || 28339452 markings, 31982061 edges, 41758 markings/sec, 655 secs
lola: 727 tries, 726971422 fired transitions, 660 secs || 28551132 markings, 32223046 edges, 42336 markings/sec, 660 secs
lola: 733 tries, 732629290 fired transitions, 665 secs || 28773608 markings, 32476101 edges, 44495 markings/sec, 665 secs
lola: 739 tries, 738298653 fired transitions, 670 secs || 28993472 markings, 32726438 edges, 43973 markings/sec, 670 secs
lola: 744 tries, 743945601 fired transitions, 675 secs || 29209639 markings, 32972480 edges, 43233 markings/sec, 675 secs
lola: 750 tries, 749667388 fired transitions, 680 secs || 29417862 markings, 33209810 edges, 41645 markings/sec, 680 secs
lola: 756 tries, 755361371 fired transitions, 685 secs || 29634424 markings, 33455837 edges, 43312 markings/sec, 685 secs
lola: 762 tries, 761059729 fired transitions, 690 secs || 29855631 markings, 33707395 edges, 44241 markings/sec, 690 secs
lola: 767 tries, 766797365 fired transitions, 695 secs || 30071013 markings, 33952865 edges, 43076 markings/sec, 695 secs
lola: 773 tries, 772444266 fired transitions, 700 secs || 30290305 markings, 34202636 edges, 43858 markings/sec, 700 secs
lola: 779 tries, 778047792 fired transitions, 705 secs || 30509923 markings, 34452600 edges, 43924 markings/sec, 705 secs
lola: 784 tries, 783489177 fired transitions, 710 secs || 30715782 markings, 34687474 edges, 41172 markings/sec, 710 secs
lola: 790 tries, 789222073 fired transitions, 715 secs || 30928165 markings, 34929432 edges, 42477 markings/sec, 715 secs
lola: 795 tries, 794926758 fired transitions, 720 secs || 31150197 markings, 35182573 edges, 44406 markings/sec, 720 secs
lola: 801 tries, 800644906 fired transitions, 725 secs || 31372530 markings, 35436105 edges, 44467 markings/sec, 725 secs
lola: 807 tries, 806339318 fired transitions, 730 secs || 31594443 markings, 35689056 edges, 44383 markings/sec, 730 secs
lola: 813 tries, 812060876 fired transitions, 735 secs || 31816419 markings, 35941844 edges, 44395 markings/sec, 735 secs
lola: 818 tries, 817795152 fired transitions, 740 secs || 32038099 markings, 36194824 edges, 44336 markings/sec, 740 secs
lola: 824 tries, 823512938 fired transitions, 745 secs || 32258760 markings, 36447015 edges, 44132 markings/sec, 745 secs
lola: 830 tries, 829227379 fired transitions, 750 secs || 32481690 markings, 36700709 edges, 44586 markings/sec, 750 secs
lola: 835 tries, 834958446 fired transitions, 755 secs || 32704707 markings, 36954781 edges, 44603 markings/sec, 755 secs
lola: 841 tries, 840687237 fired transitions, 760 secs || 32926846 markings, 37208351 edges, 44428 markings/sec, 760 secs
lola: 847 tries, 846416113 fired transitions, 765 secs || 33149860 markings, 37462444 edges, 44603 markings/sec, 765 secs
lola: 853 tries, 852141888 fired transitions, 770 secs || 33373896 markings, 37717548 edges, 44807 markings/sec, 770 secs
lola: 858 tries, 857839100 fired transitions, 775 secs || 33594130 markings, 37968832 edges, 44047 markings/sec, 775 secs
lola: 864 tries, 863557400 fired transitions, 780 secs || 33816249 markings, 38221297 edges, 44424 markings/sec, 780 secs
lola: 870 tries, 869301564 fired transitions, 785 secs || 34038941 markings, 38475280 edges, 44538 markings/sec, 785 secs
lola: 876 tries, 875036473 fired transitions, 790 secs || 34261539 markings, 38728985 edges, 44520 markings/sec, 790 secs
lola: 881 tries, 880788726 fired transitions, 795 secs || 34478838 markings, 38977087 edges, 43460 markings/sec, 795 secs
lola: 887 tries, 886388665 fired transitions, 800 secs || 34699235 markings, 39227876 edges, 44079 markings/sec, 800 secs
lola: 893 tries, 892121457 fired transitions, 805 secs || 34919311 markings, 39479444 edges, 44015 markings/sec, 805 secs
lola: 898 tries, 897830666 fired transitions, 810 secs || 35140062 markings, 39730982 edges, 44150 markings/sec, 810 secs
lola: 904 tries, 903563087 fired transitions, 815 secs || 35362415 markings, 39984529 edges, 44471 markings/sec, 815 secs
lola: 910 tries, 909276609 fired transitions, 820 secs || 35582952 markings, 40236177 edges, 44107 markings/sec, 820 secs
lola: 915 tries, 914986426 fired transitions, 825 secs || 35807692 markings, 40492009 edges, 44948 markings/sec, 825 secs
lola: 921 tries, 920646666 fired transitions, 830 secs || 36029113 markings, 40744549 edges, 44284 markings/sec, 830 secs
lola: 927 tries, 926368617 fired transitions, 835 secs || 36252100 markings, 40998866 edges, 44597 markings/sec, 835 secs
lola: 933 tries, 932091181 fired transitions, 840 secs || 36474357 markings, 41252249 edges, 44451 markings/sec, 840 secs
lola: 938 tries, 937812737 fired transitions, 845 secs || 36695690 markings, 41504824 edges, 44267 markings/sec, 845 secs
lola: 944 tries, 943465665 fired transitions, 850 secs || 36912850 markings, 41748177 edges, 43432 markings/sec, 850 secs
lola: 950 tries, 949140755 fired transitions, 855 secs || 37130043 markings, 41993377 edges, 43439 markings/sec, 855 secs
lola: 955 tries, 954843518 fired transitions, 860 secs || 37348311 markings, 42240853 edges, 43654 markings/sec, 860 secs
lola: 961 tries, 960493622 fired transitions, 865 secs || 37568033 markings, 42486995 edges, 43944 markings/sec, 865 secs
lola: 967 tries, 966161772 fired transitions, 870 secs || 37786814 markings, 42732974 edges, 43756 markings/sec, 870 secs
lola: 972 tries, 971841712 fired transitions, 875 secs || 38008366 markings, 42982754 edges, 44310 markings/sec, 875 secs
lola: 978 tries, 977533405 fired transitions, 880 secs || 38226711 markings, 43229874 edges, 43669 markings/sec, 880 secs
lola: 984 tries, 983218417 fired transitions, 885 secs || 38441241 markings, 43471230 edges, 42906 markings/sec, 885 secs
lola: 989 tries, 988932021 fired transitions, 890 secs || 38661646 markings, 43721437 edges, 44081 markings/sec, 890 secs
lola: 995 tries, 994633114 fired transitions, 895 secs || 38881549 markings, 43970826 edges, 43981 markings/sec, 895 secs
lola: 1001 tries, 1000273493 fired transitions, 900 secs || 39094719 markings, 44208437 edges, 42634 markings/sec, 900 secs
lola: 1006 tries, 1005955989 fired transitions, 905 secs || 39308964 markings, 44449583 edges, 42849 markings/sec, 905 secs
lola: 1012 tries, 1011662481 fired transitions, 910 secs || 39526586 markings, 44696475 edges, 43524 markings/sec, 910 secs
lola: 1018 tries, 1017357798 fired transitions, 915 secs || 39745548 markings, 44943961 edges, 43792 markings/sec, 915 secs
lola: 1024 tries, 1023035873 fired transitions, 920 secs || 39964311 markings, 45192140 edges, 43753 markings/sec, 920 secs
lola: 1029 tries, 1028590541 fired transitions, 925 secs || 40176600 markings, 45429000 edges, 42458 markings/sec, 925 secs
lola: 1035 tries, 1034185322 fired transitions, 930 secs || 40384176 markings, 45660152 edges, 41515 markings/sec, 930 secs
lola: 1040 tries, 1039860193 fired transitions, 935 secs || 40595716 markings, 45897188 edges, 42308 markings/sec, 935 secs
lola: 1046 tries, 1045519914 fired transitions, 940 secs || 40810001 markings, 46136749 edges, 42857 markings/sec, 940 secs
lola: 1052 tries, 1051178496 fired transitions, 945 secs || 41022331 markings, 46374564 edges, 42466 markings/sec, 945 secs
lola: 1057 tries, 1056835867 fired transitions, 950 secs || 41235197 markings, 46612689 edges, 42573 markings/sec, 950 secs
lola: 1063 tries, 1062485643 fired transitions, 955 secs || 41451195 markings, 46854143 edges, 43200 markings/sec, 955 secs
lola: 1069 tries, 1068147161 fired transitions, 960 secs || 41665329 markings, 47094785 edges, 42827 markings/sec, 960 secs
lola: 1074 tries, 1073844582 fired transitions, 965 secs || 41881736 markings, 47338665 edges, 43281 markings/sec, 965 secs
lola: 1080 tries, 1079504793 fired transitions, 970 secs || 42096105 markings, 47579662 edges, 42874 markings/sec, 970 secs
lola: 1086 tries, 1085173209 fired transitions, 975 secs || 42308883 markings, 47818957 edges, 42556 markings/sec, 975 secs
lola: 1091 tries, 1090857279 fired transitions, 980 secs || 42520783 markings, 48057698 edges, 42380 markings/sec, 980 secs
lola: 1097 tries, 1096496825 fired transitions, 985 secs || 42736560 markings, 48298739 edges, 43155 markings/sec, 985 secs
lola: 1103 tries, 1102159705 fired transitions, 990 secs || 42951478 markings, 48540503 edges, 42984 markings/sec, 990 secs
lola: 1108 tries, 1107826007 fired transitions, 995 secs || 43169706 markings, 48785278 edges, 43646 markings/sec, 995 secs
lola: 1114 tries, 1113496377 fired transitions, 1000 secs || 43385295 markings, 49029330 edges, 43118 markings/sec, 1000 secs
lola: 1120 tries, 1119174801 fired transitions, 1005 secs || 43601592 markings, 49273034 edges, 43259 markings/sec, 1005 secs
lola: 1125 tries, 1124847872 fired transitions, 1010 secs || 43818270 markings, 49517328 edges, 43336 markings/sec, 1010 secs
lola: 1131 tries, 1130509791 fired transitions, 1015 secs || 44034441 markings, 49761062 edges, 43234 markings/sec, 1015 secs
lola: 1137 tries, 1136186257 fired transitions, 1020 secs || 44252031 markings, 50006991 edges, 43518 markings/sec, 1020 secs
lola: 1142 tries, 1141809391 fired transitions, 1025 secs || 44470799 markings, 50253464 edges, 43754 markings/sec, 1025 secs
lola: 1148 tries, 1147468731 fired transitions, 1030 secs || 44688547 markings, 50499637 edges, 43550 markings/sec, 1030 secs
lola: 1154 tries, 1153143198 fired transitions, 1035 secs || 44905330 markings, 50744970 edges, 43357 markings/sec, 1035 secs
lola: 1159 tries, 1158819870 fired transitions, 1040 secs || 45123604 markings, 50990716 edges, 43655 markings/sec, 1040 secs
lola: 1165 tries, 1164465241 fired transitions, 1045 secs || 45334419 markings, 51225485 edges, 42163 markings/sec, 1045 secs
lola: 1171 tries, 1170119228 fired transitions, 1050 secs || 45549425 markings, 51465862 edges, 43001 markings/sec, 1050 secs
lola: 1176 tries, 1175783467 fired transitions, 1055 secs || 45762855 markings, 51704237 edges, 42686 markings/sec, 1055 secs
lola: 1182 tries, 1181260858 fired transitions, 1060 secs || 45969764 markings, 51935807 edges, 41382 markings/sec, 1060 secs
lola: 1187 tries, 1186694828 fired transitions, 1065 secs || 46174579 markings, 52165730 edges, 40963 markings/sec, 1065 secs
lola: 1193 tries, 1192089727 fired transitions, 1070 secs || 46378365 markings, 52393698 edges, 40757 markings/sec, 1070 secs
lola: 1198 tries, 1197549241 fired transitions, 1075 secs || 46585996 markings, 52626907 edges, 41526 markings/sec, 1075 secs
lola: 1204 tries, 1203129064 fired transitions, 1080 secs || 46797577 markings, 52864299 edges, 42316 markings/sec, 1080 secs
lola: 1209 tries, 1208720893 fired transitions, 1085 secs || 47009015 markings, 53102728 edges, 42288 markings/sec, 1085 secs
lola: 1215 tries, 1214325137 fired transitions, 1090 secs || 47222369 markings, 53343250 edges, 42671 markings/sec, 1090 secs
lola: 1220 tries, 1219982231 fired transitions, 1095 secs || 47436919 markings, 53584593 edges, 42910 markings/sec, 1095 secs
lola: 1226 tries, 1225659289 fired transitions, 1100 secs || 47653905 markings, 53828273 edges, 43397 markings/sec, 1100 secs
lola: 1232 tries, 1231302662 fired transitions, 1105 secs || 47869075 markings, 54070535 edges, 43034 markings/sec, 1105 secs
lola: 1238 tries, 1237000336 fired transitions, 1110 secs || 48085742 markings, 54315296 edges, 43333 markings/sec, 1110 secs
lola: 1243 tries, 1242607323 fired transitions, 1115 secs || 48298085 markings, 54554886 edges, 42469 markings/sec, 1115 secs
lola: 1247 tries, 1246951935 fired transitions, 1120 secs || 48458967 markings, 54734844 edges, 32176 markings/sec, 1120 secs
lola: 1253 tries, 1252211345 fired transitions, 1125 secs || 48654078 markings, 54954150 edges, 39022 markings/sec, 1125 secs
lola: 1258 tries, 1257336779 fired transitions, 1130 secs || 48855161 markings, 55180408 edges, 40217 markings/sec, 1130 secs
lola: 1263 tries, 1262797434 fired transitions, 1135 secs || 49063064 markings, 55414118 edges, 41581 markings/sec, 1135 secs
lola: 1269 tries, 1268319393 fired transitions, 1140 secs || 49273702 markings, 55651934 edges, 42128 markings/sec, 1140 secs
lola: 1274 tries, 1273862049 fired transitions, 1145 secs || 49484848 markings, 55890444 edges, 42229 markings/sec, 1145 secs
lola: 1280 tries, 1279424641 fired transitions, 1150 secs || 49697342 markings, 56129954 edges, 42499 markings/sec, 1150 secs
lola: 1285 tries, 1284163265 fired transitions, 1155 secs || 49886508 markings, 56343703 edges, 37833 markings/sec, 1155 secs
lola: 1289 tries, 1288424901 fired transitions, 1160 secs || 50061030 markings, 56541277 edges, 34904 markings/sec, 1160 secs
lola: 1293 tries, 1292681228 fired transitions, 1165 secs || 50234831 markings, 56738074 edges, 34760 markings/sec, 1165 secs
lola: 1297 tries, 1296869734 fired transitions, 1170 secs || 50410532 markings, 56935896 edges, 35140 markings/sec, 1170 secs
lola: 1302 tries, 1301206586 fired transitions, 1175 secs || 50587656 markings, 57134814 edges, 35425 markings/sec, 1175 secs
lola: 1307 tries, 1306768041 fired transitions, 1180 secs || 50794261 markings, 57365718 edges, 41321 markings/sec, 1180 secs
lola: 1313 tries, 1312355379 fired transitions, 1185 secs || 51006508 markings, 57605139 edges, 42449 markings/sec, 1185 secs
lola: 1318 tries, 1317819121 fired transitions, 1190 secs || 51219805 markings, 57844488 edges, 42659 markings/sec, 1190 secs
lola: 1324 tries, 1323361026 fired transitions, 1195 secs || 51430517 markings, 58084107 edges, 42142 markings/sec, 1195 secs
lola: 1330 tries, 1329007399 fired transitions, 1200 secs || 51646675 markings, 58328267 edges, 43232 markings/sec, 1200 secs
lola: 1335 tries, 1334569130 fired transitions, 1205 secs || 51861012 markings, 58570757 edges, 42867 markings/sec, 1205 secs
lola: 1341 tries, 1340164946 fired transitions, 1210 secs || 52075709 markings, 58813187 edges, 42939 markings/sec, 1210 secs
lola: 1346 tries, 1345628403 fired transitions, 1215 secs || 52289003 markings, 59054019 edges, 42659 markings/sec, 1215 secs
lola: 1352 tries, 1351163488 fired transitions, 1220 secs || 52502417 markings, 59295576 edges, 42683 markings/sec, 1220 secs
lola: 1357 tries, 1356723836 fired transitions, 1225 secs || 52716321 markings, 59537121 edges, 42781 markings/sec, 1225 secs
lola: 1363 tries, 1362271947 fired transitions, 1230 secs || 52930768 markings, 59779762 edges, 42889 markings/sec, 1230 secs
lola: 1368 tries, 1367788595 fired transitions, 1235 secs || 53143388 markings, 60020608 edges, 42524 markings/sec, 1235 secs
lola: 1374 tries, 1373275822 fired transitions, 1240 secs || 53357945 markings, 60263331 edges, 42911 markings/sec, 1240 secs
lola: 1379 tries, 1378713739 fired transitions, 1245 secs || 53570824 markings, 60503534 edges, 42576 markings/sec, 1245 secs
lola: 1385 tries, 1384237951 fired transitions, 1250 secs || 53784088 markings, 60743671 edges, 42653 markings/sec, 1250 secs
lola: 1390 tries, 1389792769 fired transitions, 1255 secs || 53995437 markings, 60983764 edges, 42270 markings/sec, 1255 secs
lola: 1396 tries, 1395380364 fired transitions, 1260 secs || 54211673 markings, 61228589 edges, 43247 markings/sec, 1260 secs
lola: 1402 tries, 1401051517 fired transitions, 1265 secs || 54430842 markings, 61476889 edges, 43834 markings/sec, 1265 secs
lola: 1407 tries, 1406581136 fired transitions, 1270 secs || 54649748 markings, 61725124 edges, 43781 markings/sec, 1270 secs
lola: 1413 tries, 1412028464 fired transitions, 1275 secs || 54867858 markings, 61972099 edges, 43622 markings/sec, 1275 secs
lola: 1418 tries, 1417551581 fired transitions, 1280 secs || 55081663 markings, 62214759 edges, 42761 markings/sec, 1280 secs
lola: 1424 tries, 1423209463 fired transitions, 1285 secs || 55291628 markings, 62453068 edges, 41993 markings/sec, 1285 secs
lola: 1429 tries, 1428789033 fired transitions, 1290 secs || 55495348 markings, 62684599 edges, 40744 markings/sec, 1290 secs
lola: 1435 tries, 1434360258 fired transitions, 1295 secs || 55702503 markings, 62919346 edges, 41431 markings/sec, 1295 secs
lola: 1440 tries, 1439925633 fired transitions, 1300 secs || 55904031 markings, 63148454 edges, 40306 markings/sec, 1300 secs
lola: 1446 tries, 1445483786 fired transitions, 1305 secs || 56108846 markings, 63380648 edges, 40963 markings/sec, 1305 secs
lola: 1452 tries, 1451164913 fired transitions, 1310 secs || 56324170 markings, 63624765 edges, 43065 markings/sec, 1310 secs
lola: 1457 tries, 1456881194 fired transitions, 1315 secs || 56543943 markings, 63874371 edges, 43955 markings/sec, 1315 secs
lola: 1463 tries, 1462600865 fired transitions, 1320 secs || 56763348 markings, 64123632 edges, 43881 markings/sec, 1320 secs
lola: 1469 tries, 1468300872 fired transitions, 1325 secs || 56982670 markings, 64372193 edges, 43864 markings/sec, 1325 secs
lola: 1475 tries, 1474013417 fired transitions, 1330 secs || 57202639 markings, 64622223 edges, 43994 markings/sec, 1330 secs
lola: 1480 tries, 1479731170 fired transitions, 1335 secs || 57424008 markings, 64874048 edges, 44274 markings/sec, 1335 secs
lola: 1486 tries, 1485447569 fired transitions, 1340 secs || 57643870 markings, 65123926 edges, 43972 markings/sec, 1340 secs
lola: 1492 tries, 1491166697 fired transitions, 1345 secs || 57864118 markings, 65373888 edges, 44050 markings/sec, 1345 secs
lola: 1497 tries, 1496888395 fired transitions, 1350 secs || 58082788 markings, 65622122 edges, 43734 markings/sec, 1350 secs
lola: 1503 tries, 1502616374 fired transitions, 1355 secs || 58304825 markings, 65874079 edges, 44407 markings/sec, 1355 secs
lola: 1509 tries, 1508313417 fired transitions, 1360 secs || 58527243 markings, 66125158 edges, 44484 markings/sec, 1360 secs
lola: 1515 tries, 1514026113 fired transitions, 1365 secs || 58747320 markings, 66374885 edges, 44015 markings/sec, 1365 secs
lola: 1520 tries, 1519739192 fired transitions, 1370 secs || 58966152 markings, 66623439 edges, 43766 markings/sec, 1370 secs
lola: 1526 tries, 1525463129 fired transitions, 1375 secs || 59187191 markings, 66875119 edges, 44208 markings/sec, 1375 secs
lola: 1532 tries, 1531174053 fired transitions, 1380 secs || 59405716 markings, 67123869 edges, 43705 markings/sec, 1380 secs
lola: 1537 tries, 1536824289 fired transitions, 1385 secs || 59622433 markings, 67370600 edges, 43343 markings/sec, 1385 secs
lola: 1543 tries, 1542425967 fired transitions, 1390 secs || 59837849 markings, 67615257 edges, 43083 markings/sec, 1390 secs
lola: 1548 tries, 1547839361 fired transitions, 1395 secs || 60047717 markings, 67853639 edges, 41974 markings/sec, 1395 secs
lola: 1553 tries, 1552142169 fired transitions, 1400 secs || 60228219 markings, 68059134 edges, 36100 markings/sec, 1400 secs
lola: 1557 tries, 1556429405 fired transitions, 1405 secs || 60407475 markings, 68263190 edges, 35851 markings/sec, 1405 secs
lola: 1562 tries, 1561830305 fired transitions, 1410 secs || 60619733 markings, 68504325 edges, 42452 markings/sec, 1410 secs
lola: 1568 tries, 1567466244 fired transitions, 1415 secs || 60837359 markings, 68752262 edges, 43525 markings/sec, 1415 secs
lola: 1574 tries, 1573155056 fired transitions, 1420 secs || 61056977 markings, 69001405 edges, 43924 markings/sec, 1420 secs
lola: 1579 tries, 1578718134 fired transitions, 1425 secs || 61270291 markings, 69244244 edges, 42663 markings/sec, 1425 secs
lola: 1585 tries, 1584379246 fired transitions, 1430 secs || 61488073 markings, 69491245 edges, 43556 markings/sec, 1430 secs
lola: 1591 tries, 1590086148 fired transitions, 1435 secs || 61708081 markings, 69742348 edges, 44002 markings/sec, 1435 secs
lola: 1596 tries, 1595816060 fired transitions, 1440 secs || 61928163 markings, 69993139 edges, 44016 markings/sec, 1440 secs
lola: 1602 tries, 1601551346 fired transitions, 1445 secs || 62149722 markings, 70245601 edges, 44312 markings/sec, 1445 secs
lola: 1608 tries, 1607279705 fired transitions, 1450 secs || 62368970 markings, 70495168 edges, 43850 markings/sec, 1450 secs
lola: 1613 tries, 1612825443 fired transitions, 1455 secs || 62583798 markings, 70739786 edges, 42966 markings/sec, 1455 secs
lola: 1619 tries, 1618524781 fired transitions, 1460 secs || 62802254 markings, 70988280 edges, 43691 markings/sec, 1460 secs
lola: 1625 tries, 1624207246 fired transitions, 1465 secs || 63021507 markings, 71238165 edges, 43851 markings/sec, 1465 secs
lola: 1630 tries, 1629929154 fired transitions, 1470 secs || 63240936 markings, 71488010 edges, 43886 markings/sec, 1470 secs
lola: 1636 tries, 1635588130 fired transitions, 1475 secs || 63456302 markings, 71731399 edges, 43073 markings/sec, 1475 secs
lola: 1642 tries, 1641184748 fired transitions, 1480 secs || 63671980 markings, 71977293 edges, 43136 markings/sec, 1480 secs
lola: 1647 tries, 1646790035 fired transitions, 1485 secs || 63887711 markings, 72222813 edges, 43146 markings/sec, 1485 secs
lola: 1653 tries, 1652374089 fired transitions, 1490 secs || 64103794 markings, 72469155 edges, 43217 markings/sec, 1490 secs
lola: 1659 tries, 1658003733 fired transitions, 1495 secs || 64320855 markings, 72716834 edges, 43412 markings/sec, 1495 secs
lola: 1664 tries, 1663752608 fired transitions, 1500 secs || 64541892 markings, 72969294 edges, 44207 markings/sec, 1500 secs
lola: 1670 tries, 1669485066 fired transitions, 1505 secs || 64763352 markings, 73221545 edges, 44292 markings/sec, 1505 secs
lola: 1676 tries, 1675217872 fired transitions, 1510 secs || 64984425 markings, 73473644 edges, 44215 markings/sec, 1510 secs
lola: 1681 tries, 1680939028 fired transitions, 1515 secs || 65204746 markings, 73725392 edges, 44064 markings/sec, 1515 secs
lola: 1687 tries, 1686509765 fired transitions, 1520 secs || 65414797 markings, 73965178 edges, 42010 markings/sec, 1520 secs
lola: 1692 tries, 1691853315 fired transitions, 1525 secs || 65626075 markings, 74205378 edges, 42256 markings/sec, 1525 secs
lola: 1698 tries, 1697329885 fired transitions, 1530 secs || 65843621 markings, 74453709 edges, 43509 markings/sec, 1530 secs
lola: 1703 tries, 1702885717 fired transitions, 1535 secs || 66056916 markings, 74697015 edges, 42659 markings/sec, 1535 secs
lola: 1709 tries, 1708494867 fired transitions, 1540 secs || 66269779 markings, 74940055 edges, 42573 markings/sec, 1540 secs
lola: 1715 tries, 1714076945 fired transitions, 1545 secs || 66482590 markings, 75182804 edges, 42562 markings/sec, 1545 secs
lola: 1720 tries, 1719609950 fired transitions, 1550 secs || 66698544 markings, 75429312 edges, 43191 markings/sec, 1550 secs
lola: 1726 tries, 1725078204 fired transitions, 1555 secs || 66912369 markings, 75673534 edges, 42765 markings/sec, 1555 secs
lola: 1731 tries, 1730616353 fired transitions, 1560 secs || 67128758 markings, 75919703 edges, 43278 markings/sec, 1560 secs
lola: 1737 tries, 1736199661 fired transitions, 1565 secs || 67344358 markings, 76165652 edges, 43120 markings/sec, 1565 secs
lola: 1742 tries, 1741688168 fired transitions, 1570 secs || 67559950 markings, 76411185 edges, 43118 markings/sec, 1570 secs
lola: 1748 tries, 1747263692 fired transitions, 1575 secs || 67774359 markings, 76655423 edges, 42882 markings/sec, 1575 secs
lola: 1753 tries, 1752847713 fired transitions, 1580 secs || 67986842 markings, 76898097 edges, 42497 markings/sec, 1580 secs
lola: 1759 tries, 1758456437 fired transitions, 1585 secs || 68199849 markings, 77141452 edges, 42601 markings/sec, 1585 secs
lola: 1764 tries, 1763969718 fired transitions, 1590 secs || 68414932 markings, 77387101 edges, 43017 markings/sec, 1590 secs
lola: 1770 tries, 1769555209 fired transitions, 1595 secs || 68628974 markings, 77630814 edges, 42808 markings/sec, 1595 secs
lola: 1776 tries, 1775125847 fired transitions, 1600 secs || 68843620 markings, 77876133 edges, 42929 markings/sec, 1600 secs
lola: 1781 tries, 1780684303 fired transitions, 1605 secs || 69059087 markings, 78121946 edges, 43093 markings/sec, 1605 secs
lola: 1787 tries, 1786258858 fired transitions, 1610 secs || 69274771 markings, 78368875 edges, 43137 markings/sec, 1610 secs
lola: 1792 tries, 1791846455 fired transitions, 1615 secs || 69489589 markings, 78614300 edges, 42964 markings/sec, 1615 secs
lola: 1798 tries, 1797430138 fired transitions, 1620 secs || 69701969 markings, 78857171 edges, 42476 markings/sec, 1620 secs
lola: 1804 tries, 1803016974 fired transitions, 1625 secs || 69917492 markings, 79104054 edges, 43105 markings/sec, 1625 secs
lola: 1809 tries, 1808589761 fired transitions, 1630 secs || 70132859 markings, 79350384 edges, 43073 markings/sec, 1630 secs
lola: 1815 tries, 1814187746 fired transitions, 1635 secs || 70344524 markings, 79592331 edges, 42333 markings/sec, 1635 secs
lola: 1820 tries, 1819727814 fired transitions, 1640 secs || 70560413 markings, 79838855 edges, 43178 markings/sec, 1640 secs
lola: 1826 tries, 1825310250 fired transitions, 1645 secs || 70772182 markings, 80080681 edges, 42354 markings/sec, 1645 secs
lola: 1831 tries, 1830847496 fired transitions, 1650 secs || 70988774 markings, 80327624 edges, 43318 markings/sec, 1650 secs
lola: 1837 tries, 1836472305 fired transitions, 1655 secs || 71199461 markings, 80568089 edges, 42137 markings/sec, 1655 secs
lola: 1843 tries, 1842019914 fired transitions, 1660 secs || 71413227 markings, 80811765 edges, 42753 markings/sec, 1660 secs
lola: 1848 tries, 1847651225 fired transitions, 1665 secs || 71625970 markings, 81055269 edges, 42549 markings/sec, 1665 secs
lola: 1854 tries, 1853281281 fired transitions, 1670 secs || 71838383 markings, 81297391 edges, 42483 markings/sec, 1670 secs
lola: 1859 tries, 1858268481 fired transitions, 1675 secs || 72020810 markings, 81505427 edges, 36485 markings/sec, 1675 secs
lola: 1863 tries, 1862494472 fired transitions, 1680 secs || 72173268 markings, 81679667 edges, 30492 markings/sec, 1680 secs
lola: 1867 tries, 1866737981 fired transitions, 1685 secs || 72325389 markings, 81853729 edges, 30424 markings/sec, 1685 secs
lola: 1871 tries, 1870930603 fired transitions, 1690 secs || 72476718 markings, 82026888 edges, 30266 markings/sec, 1690 secs
lola: 1876 tries, 1875166801 fired transitions, 1695 secs || 72627845 markings, 82199429 edges, 30225 markings/sec, 1695 secs
lola: 1881 tries, 1880643902 fired transitions, 1700 secs || 72833477 markings, 82433999 edges, 41126 markings/sec, 1700 secs
lola: 1887 tries, 1886278465 fired transitions, 1705 secs || 73046041 markings, 82676600 edges, 42513 markings/sec, 1705 secs
lola: 1892 tries, 1891913085 fired transitions, 1710 secs || 73258067 markings, 82918556 edges, 42405 markings/sec, 1710 secs
lola: 1897 tries, 1896968021 fired transitions, 1715 secs || 73448569 markings, 83136162 edges, 38100 markings/sec, 1715 secs
lola: 1902 tries, 1901181401 fired transitions, 1720 secs || 73600243 markings, 83309232 edges, 30335 markings/sec, 1720 secs
lola: 1906 tries, 1905421720 fired transitions, 1725 secs || 73753544 markings, 83484476 edges, 30660 markings/sec, 1725 secs
lola: 1910 tries, 1909687418 fired transitions, 1730 secs || 73906968 markings, 83660290 edges, 30685 markings/sec, 1730 secs
lola: 1914 tries, 1913929722 fired transitions, 1735 secs || 74059326 markings, 83834679 edges, 30472 markings/sec, 1735 secs
lola: 1919 tries, 1918186256 fired transitions, 1740 secs || 74210940 markings, 84007755 edges, 30323 markings/sec, 1740 secs
lola: 1923 tries, 1922329575 fired transitions, 1745 secs || 74360974 markings, 84179061 edges, 30007 markings/sec, 1745 secs
lola: 1928 tries, 1927647553 fired transitions, 1750 secs || 74564070 markings, 84406788 edges, 40619 markings/sec, 1750 secs
lola: 1934 tries, 1933186504 fired transitions, 1755 secs || 74776171 markings, 84642939 edges, 42420 markings/sec, 1755 secs
lola: 1939 tries, 1938714826 fired transitions, 1760 secs || 74984792 markings, 84875876 edges, 41724 markings/sec, 1760 secs
lola: 1945 tries, 1944243653 fired transitions, 1765 secs || 75195942 markings, 85111994 edges, 42230 markings/sec, 1765 secs
lola: 1950 tries, 1949776512 fired transitions, 1770 secs || 75406542 markings, 85347209 edges, 42120 markings/sec, 1770 secs
lola: 1956 tries, 1955350250 fired transitions, 1775 secs || 75618565 markings, 85583741 edges, 42405 markings/sec, 1775 secs
lola: 1962 tries, 1961016801 fired transitions, 1780 secs || 75835525 markings, 85827371 edges, 43392 markings/sec, 1780 secs
lola: 1967 tries, 1966679593 fired transitions, 1785 secs || 76051246 markings, 86069452 edges, 43144 markings/sec, 1785 secs
lola: 1973 tries, 1972358983 fired transitions, 1790 secs || 76267968 markings, 86313494 edges, 43344 markings/sec, 1790 secs
lola: 1979 tries, 1978040803 fired transitions, 1795 secs || 76485220 markings, 86557920 edges, 43450 markings/sec, 1795 secs
lola: 1984 tries, 1983541248 fired transitions, 1800 secs || 76694888 markings, 86793532 edges, 41934 markings/sec, 1800 secs
lola: 1989 tries, 1988982847 fired transitions, 1805 secs || 76903666 markings, 87027743 edges, 41756 markings/sec, 1805 secs
lola: 1995 tries, 1994561993 fired transitions, 1810 secs || 77116783 markings, 87268671 edges, 42623 markings/sec, 1810 secs
lola: 2001 tries, 2000121316 fired transitions, 1815 secs || 77331027 markings, 87509746 edges, 42849 markings/sec, 1815 secs
lola: 2006 tries, 2005668448 fired transitions, 1820 secs || 77545865 markings, 87751230 edges, 42968 markings/sec, 1820 secs
lola: 2012 tries, 2011237640 fired transitions, 1825 secs || 77759744 markings, 87992005 edges, 42776 markings/sec, 1825 secs
lola: 2017 tries, 2016809210 fired transitions, 1830 secs || 77973268 markings, 88232737 edges, 42705 markings/sec, 1830 secs
lola: 2023 tries, 2022276001 fired transitions, 1835 secs || 78183959 markings, 88470823 edges, 42138 markings/sec, 1835 secs
lola: 2028 tries, 2027849939 fired transitions, 1840 secs || 78398577 markings, 88712943 edges, 42924 markings/sec, 1840 secs
lola: 2034 tries, 2033257647 fired transitions, 1845 secs || 78603910 markings, 88944278 edges, 41067 markings/sec, 1845 secs
lola: 2039 tries, 2038606906 fired transitions, 1850 secs || 78813693 markings, 89182211 edges, 41957 markings/sec, 1850 secs
lola: 2045 tries, 2044161217 fired transitions, 1855 secs || 79028745 markings, 89424000 edges, 43010 markings/sec, 1855 secs
lola: 2049 tries, 2048529817 fired transitions, 1860 secs || 79206262 markings, 89624766 edges, 35503 markings/sec, 1860 secs
lola: 2054 tries, 2053353182 fired transitions, 1865 secs || 79399300 markings, 89842031 edges, 38608 markings/sec, 1865 secs
lola: 2059 tries, 2058973488 fired transitions, 1870 secs || 79614437 markings, 90087795 edges, 43027 markings/sec, 1870 secs
lola: 2065 tries, 2064592146 fired transitions, 1875 secs || 79828304 markings, 90332573 edges, 42773 markings/sec, 1875 secs
lola: 2071 tries, 2070215419 fired transitions, 1880 secs || 80043981 markings, 90579347 edges, 43135 markings/sec, 1880 secs
lola: 2076 tries, 2075800206 fired transitions, 1885 secs || 80259448 markings, 90824094 edges, 43093 markings/sec, 1885 secs
lola: 2082 tries, 2081383881 fired transitions, 1890 secs || 80473443 markings, 91067164 edges, 42799 markings/sec, 1890 secs
lola: 2087 tries, 2086955034 fired transitions, 1895 secs || 80687212 markings, 91309065 edges, 42754 markings/sec, 1895 secs
lola: 2093 tries, 2092532459 fired transitions, 1900 secs || 80901684 markings, 91551982 edges, 42894 markings/sec, 1900 secs
lola: 2099 tries, 2098148441 fired transitions, 1905 secs || 81117975 markings, 91798721 edges, 43258 markings/sec, 1905 secs
lola: 2104 tries, 2103768593 fired transitions, 1910 secs || 81334886 markings, 92046711 edges, 43382 markings/sec, 1910 secs
lola: 2110 tries, 2109396667 fired transitions, 1915 secs || 81552810 markings, 92295753 edges, 43585 markings/sec, 1915 secs
lola: 2116 tries, 2115020480 fired transitions, 1920 secs || 81767079 markings, 92540721 edges, 42854 markings/sec, 1920 secs
lola: 2121 tries, 2120646562 fired transitions, 1925 secs || 81982969 markings, 92787499 edges, 43178 markings/sec, 1925 secs
lola: 2127 tries, 2126261809 fired transitions, 1930 secs || 82199786 markings, 93035107 edges, 43363 markings/sec, 1930 secs
lola: 2132 tries, 2131886145 fired transitions, 1935 secs || 82415603 markings, 93282282 edges, 43163 markings/sec, 1935 secs
lola: 2138 tries, 2137511422 fired transitions, 1940 secs || 82631613 markings, 93529533 edges, 43202 markings/sec, 1940 secs
lola: 2144 tries, 2143131991 fired transitions, 1945 secs || 82848086 markings, 93777276 edges, 43295 markings/sec, 1945 secs
lola: 2149 tries, 2148746647 fired transitions, 1950 secs || 83062973 markings, 94023640 edges, 42977 markings/sec, 1950 secs
lola: 2155 tries, 2154365837 fired transitions, 1955 secs || 83278350 markings, 94270173 edges, 43075 markings/sec, 1955 secs
lola: 2160 tries, 2159988441 fired transitions, 1960 secs || 83496864 markings, 94520192 edges, 43703 markings/sec, 1960 secs
lola: 2166 tries, 2165609868 fired transitions, 1965 secs || 83713983 markings, 94768674 edges, 43424 markings/sec, 1965 secs
lola: 2172 tries, 2171208177 fired transitions, 1970 secs || 83930822 markings, 95016913 edges, 43368 markings/sec, 1970 secs
lola: 2177 tries, 2176833559 fired transitions, 1975 secs || 84146125 markings, 95263060 edges, 43061 markings/sec, 1975 secs
lola: 2183 tries, 2182455244 fired transitions, 1980 secs || 84363047 markings, 95511271 edges, 43384 markings/sec, 1980 secs
lola: 2189 tries, 2188082315 fired transitions, 1985 secs || 84579830 markings, 95759377 edges, 43357 markings/sec, 1985 secs
lola: 2194 tries, 2193705180 fired transitions, 1990 secs || 84796679 markings, 96007151 edges, 43370 markings/sec, 1990 secs
lola: 2200 tries, 2199357719 fired transitions, 1995 secs || 85013451 markings, 96255197 edges, 43354 markings/sec, 1995 secs
lola: 2205 tries, 2204992177 fired transitions, 2000 secs || 85229856 markings, 96503000 edges, 43281 markings/sec, 2000 secs
lola: 2211 tries, 2210599743 fired transitions, 2005 secs || 85446732 markings, 96751786 edges, 43375 markings/sec, 2005 secs
lola: 2217 tries, 2216178585 fired transitions, 2010 secs || 85663460 markings, 96999558 edges, 43346 markings/sec, 2010 secs
lola: 2222 tries, 2221755149 fired transitions, 2015 secs || 85880458 markings, 97247807 edges, 43400 markings/sec, 2015 secs
lola: 2228 tries, 2227379121 fired transitions, 2020 secs || 86097554 markings, 97496096 edges, 43419 markings/sec, 2020 secs
lola: 2234 tries, 2233001164 fired transitions, 2025 secs || 86315619 markings, 97745884 edges, 43613 markings/sec, 2025 secs
lola: 2239 tries, 2238641689 fired transitions, 2030 secs || 86534578 markings, 97995973 edges, 43792 markings/sec, 2030 secs
lola: 2245 tries, 2244288481 fired transitions, 2035 secs || 86747752 markings, 98235017 edges, 42635 markings/sec, 2035 secs
lola: 2250 tries, 2249850393 fired transitions, 2040 secs || 86953768 markings, 98465069 edges, 41203 markings/sec, 2040 secs
lola: 2256 tries, 2255417624 fired transitions, 2045 secs || 87161803 markings, 98698331 edges, 41607 markings/sec, 2045 secs
lola: 2262 tries, 2261002937 fired transitions, 2050 secs || 87377251 markings, 98942891 edges, 43090 markings/sec, 2050 secs
lola: 2267 tries, 2266577205 fired transitions, 2055 secs || 87590211 markings, 99184828 edges, 42592 markings/sec, 2055 secs
lola: 2273 tries, 2272155155 fired transitions, 2060 secs || 87802741 markings, 99425785 edges, 42506 markings/sec, 2060 secs
lola: 2278 tries, 2277802378 fired transitions, 2065 secs || 88020593 markings, 99674952 edges, 43570 markings/sec, 2065 secs
lola: 2284 tries, 2283509795 fired transitions, 2070 secs || 88239704 markings, 99926306 edges, 43822 markings/sec, 2070 secs
lola: 2290 tries, 2289202948 fired transitions, 2075 secs || 88458685 markings, 100176719 edges, 43796 markings/sec, 2075 secs
lola: 2294 tries, 2293815425 fired transitions, 2080 secs || 88646501 markings, 100391681 edges, 37563 markings/sec, 2080 secs
lola: 2299 tries, 2298169020 fired transitions, 2085 secs || 88825338 markings, 100596577 edges, 35767 markings/sec, 2085 secs
lola: 2303 tries, 2302518411 fired transitions, 2090 secs || 89005283 markings, 100802765 edges, 35989 markings/sec, 2090 secs
lola: 2307 tries, 2306913837 fired transitions, 2095 secs || 89185773 markings, 101009730 edges, 36098 markings/sec, 2095 secs
lola: 2313 tries, 2312535367 fired transitions, 2100 secs || 89402614 markings, 101258042 edges, 43368 markings/sec, 2100 secs
lola: 2319 tries, 2318171903 fired transitions, 2105 secs || 89618554 markings, 101505883 edges, 43188 markings/sec, 2105 secs
lola: 2324 tries, 2323808793 fired transitions, 2110 secs || 89835748 markings, 101754214 edges, 43439 markings/sec, 2110 secs
lola: 2330 tries, 2329505624 fired transitions, 2115 secs || 90055804 markings, 102006100 edges, 44011 markings/sec, 2115 secs
lola: 2336 tries, 2335194809 fired transitions, 2120 secs || 90274364 markings, 102256396 edges, 43712 markings/sec, 2120 secs
lola: 2341 tries, 2340890070 fired transitions, 2125 secs || 90493346 markings, 102506959 edges, 43796 markings/sec, 2125 secs
lola: 2347 tries, 2346595497 fired transitions, 2130 secs || 90712189 markings, 102757476 edges, 43769 markings/sec, 2130 secs
lola: 2353 tries, 2352248093 fired transitions, 2135 secs || 90932173 markings, 103005971 edges, 43997 markings/sec, 2135 secs
lola: 2358 tries, 2357897209 fired transitions, 2140 secs || 91147757 markings, 103249407 edges, 43117 markings/sec, 2140 secs
lola: 2364 tries, 2363555624 fired transitions, 2145 secs || 91363097 markings, 103493394 edges, 43068 markings/sec, 2145 secs
lola: 2370 tries, 2369229742 fired transitions, 2150 secs || 91580766 markings, 103740373 edges, 43534 markings/sec, 2150 secs
lola: 2375 tries, 2374918097 fired transitions, 2155 secs || 91799523 markings, 103990229 edges, 43751 markings/sec, 2155 secs
lola: 2381 tries, 2380602946 fired transitions, 2160 secs || 92016887 markings, 104237996 edges, 43473 markings/sec, 2160 secs
lola: 2387 tries, 2386156519 fired transitions, 2165 secs || 92236125 markings, 104487679 edges, 43848 markings/sec, 2165 secs
lola: 2392 tries, 2391846463 fired transitions, 2170 secs || 92453721 markings, 104735711 edges, 43519 markings/sec, 2170 secs
lola: 2398 tries, 2397447681 fired transitions, 2175 secs || 92672782 markings, 104985388 edges, 43812 markings/sec, 2175 secs
lola: 2404 tries, 2403148152 fired transitions, 2180 secs || 92892120 markings, 105235978 edges, 43868 markings/sec, 2180 secs
lola: 2409 tries, 2408850129 fired transitions, 2185 secs || 93110053 markings, 105484408 edges, 43587 markings/sec, 2185 secs
lola: 2415 tries, 2414547515 fired transitions, 2190 secs || 93326412 markings, 105730939 edges, 43272 markings/sec, 2190 secs
lola: 2421 tries, 2420133881 fired transitions, 2195 secs || 93538176 markings, 105972897 edges, 42353 markings/sec, 2195 secs
lola: 2426 tries, 2425803007 fired transitions, 2200 secs || 93756294 markings, 106221559 edges, 43624 markings/sec, 2200 secs
lola: 2432 tries, 2431499490 fired transitions, 2205 secs || 93974700 markings, 106470573 edges, 43681 markings/sec, 2205 secs
lola: 2438 tries, 2437141561 fired transitions, 2210 secs || 94182987 markings, 106708370 edges, 41657 markings/sec, 2210 secs
lola: 2443 tries, 2442834070 fired transitions, 2215 secs || 94397560 markings, 106951283 edges, 42915 markings/sec, 2215 secs
lola: 2449 tries, 2448503470 fired transitions, 2220 secs || 94614103 markings, 107199700 edges, 43309 markings/sec, 2220 secs
lola: 2455 tries, 2454215074 fired transitions, 2225 secs || 94833324 markings, 107451399 edges, 43844 markings/sec, 2225 secs
lola: 2460 tries, 2459920784 fired transitions, 2230 secs || 95053377 markings, 107703415 edges, 44011 markings/sec, 2230 secs
lola: 2466 tries, 2465582997 fired transitions, 2235 secs || 95270759 markings, 107952647 edges, 43476 markings/sec, 2235 secs
lola: 2472 tries, 2471234782 fired transitions, 2240 secs || 95487395 markings, 108199076 edges, 43327 markings/sec, 2240 secs
lola: 2477 tries, 2476940043 fired transitions, 2245 secs || 95705910 markings, 108449370 edges, 43703 markings/sec, 2245 secs
lola: 2483 tries, 2482601963 fired transitions, 2250 secs || 95924147 markings, 108699971 edges, 43647 markings/sec, 2250 secs
lola: 2489 tries, 2488135402 fired transitions, 2255 secs || 96138036 markings, 108944933 edges, 42778 markings/sec, 2255 secs
lola: 2494 tries, 2493672246 fired transitions, 2260 secs || 96351868 markings, 109190076 edges, 42766 markings/sec, 2260 secs
lola: 2500 tries, 2499187965 fired transitions, 2265 secs || 96563205 markings, 109432423 edges, 42267 markings/sec, 2265 secs
lola: 2505 tries, 2504825087 fired transitions, 2270 secs || 96777388 markings, 109678515 edges, 42837 markings/sec, 2270 secs
lola: 2511 tries, 2510475737 fired transitions, 2275 secs || 96992600 markings, 109925048 edges, 43042 markings/sec, 2275 secs
lola: 2517 tries, 2516137684 fired transitions, 2280 secs || 97210027 markings, 110174264 edges, 43485 markings/sec, 2280 secs
lola: 2521 tries, 2520850358 fired transitions, 2285 secs || 97400387 markings, 110392400 edges, 38072 markings/sec, 2285 secs
lola: 2526 tries, 2525191272 fired transitions, 2290 secs || 97580699 markings, 110598813 edges, 36062 markings/sec, 2290 secs
lola: 2530 tries, 2529453497 fired transitions, 2295 secs || 97755797 markings, 110797550 edges, 35020 markings/sec, 2295 secs
lola: 2534 tries, 2533761639 fired transitions, 2300 secs || 97933318 markings, 111000853 edges, 35504 markings/sec, 2300 secs
lola: 2539 tries, 2538706705 fired transitions, 2305 secs || 98130738 markings, 111227122 edges, 39484 markings/sec, 2305 secs
lola: 2545 tries, 2544373577 fired transitions, 2310 secs || 98349656 markings, 111477912 edges, 43784 markings/sec, 2310 secs
lola: 2550 tries, 2549946053 fired transitions, 2315 secs || 98563448 markings, 111719306 edges, 42758 markings/sec, 2315 secs
lola: 2556 tries, 2555507293 fired transitions, 2320 secs || 98778752 markings, 111960925 edges, 43061 markings/sec, 2320 secs
lola: 2562 tries, 2561068148 fired transitions, 2325 secs || 98993244 markings, 112201349 edges, 42898 markings/sec, 2325 secs
lola: 2567 tries, 2566561148 fired transitions, 2330 secs || 99199675 markings, 112431586 edges, 41286 markings/sec, 2330 secs
lola: 2573 tries, 2572095075 fired transitions, 2335 secs || 99411649 markings, 112669372 edges, 42395 markings/sec, 2335 secs
lola: 2578 tries, 2577615123 fired transitions, 2340 secs || 99623033 markings, 112906192 edges, 42277 markings/sec, 2340 secs
lola: 2583 tries, 2582346460 fired transitions, 2345 secs || 99812119 markings, 113119007 edges, 37817 markings/sec, 2345 secs
lola: 2587 tries, 2586481115 fired transitions, 2350 secs || 99986589 markings, 113315649 edges, 34894 markings/sec, 2350 secs
lola: 2592 tries, 2591096025 fired transitions, 2355 secs || 100169642 markings, 113522191 edges, 36611 markings/sec, 2355 secs
lola: 2597 tries, 2596508668 fired transitions, 2360 secs || 100373216 markings, 113750666 edges, 40715 markings/sec, 2360 secs
lola: 2603 tries, 2602075048 fired transitions, 2365 secs || 100587844 markings, 113991994 edges, 42926 markings/sec, 2365 secs
lola: 2608 tries, 2607384354 fired transitions, 2370 secs || 100789279 markings, 114220056 edges, 40287 markings/sec, 2370 secs
lola: 2613 tries, 2612865465 fired transitions, 2375 secs || 101000872 markings, 114459265 edges, 42319 markings/sec, 2375 secs
lola: 2619 tries, 2618388537 fired transitions, 2380 secs || 101211993 markings, 114696591 edges, 42224 markings/sec, 2380 secs
lola: 2624 tries, 2623947609 fired transitions, 2385 secs || 101425291 markings, 114938050 edges, 42660 markings/sec, 2385 secs
lola: 2630 tries, 2629530320 fired transitions, 2390 secs || 101640359 markings, 115182275 edges, 43014 markings/sec, 2390 secs
lola: 2636 tries, 2635100349 fired transitions, 2395 secs || 101854882 markings, 115424592 edges, 42905 markings/sec, 2395 secs
lola: 2641 tries, 2640641697 fired transitions, 2400 secs || 102066856 markings, 115662821 edges, 42395 markings/sec, 2400 secs
lola: 2647 tries, 2646166311 fired transitions, 2405 secs || 102279708 markings, 115900786 edges, 42570 markings/sec, 2405 secs
lola: 2652 tries, 2651703282 fired transitions, 2410 secs || 102494918 markings, 116141686 edges, 43042 markings/sec, 2410 secs
lola: 2658 tries, 2657252639 fired transitions, 2415 secs || 102703201 markings, 116374336 edges, 41657 markings/sec, 2415 secs
lola: 2663 tries, 2662820675 fired transitions, 2420 secs || 102916252 markings, 116613699 edges, 42610 markings/sec, 2420 secs
lola: 2669 tries, 2668410613 fired transitions, 2425 secs || 103131190 markings, 116857653 edges, 42988 markings/sec, 2425 secs
lola: 2674 tries, 2673963062 fired transitions, 2430 secs || 103342841 markings, 117094870 edges, 42330 markings/sec, 2430 secs
lola: 2680 tries, 2679491388 fired transitions, 2435 secs || 103552858 markings, 117329013 edges, 42003 markings/sec, 2435 secs
lola: 2686 tries, 2685086953 fired transitions, 2440 secs || 103767482 markings, 117573324 edges, 42925 markings/sec, 2440 secs
lola: 2691 tries, 2690655953 fired transitions, 2445 secs || 103982667 markings, 117816907 edges, 43037 markings/sec, 2445 secs
lola: 2697 tries, 2696224853 fired transitions, 2450 secs || 104193829 markings, 118054584 edges, 42232 markings/sec, 2450 secs
lola: 2702 tries, 2701774833 fired transitions, 2455 secs || 104401606 markings, 118286718 edges, 41555 markings/sec, 2455 secs
lola: 2708 tries, 2707319815 fired transitions, 2460 secs || 104609380 markings, 118518541 edges, 41555 markings/sec, 2460 secs
lola: 2713 tries, 2712877265 fired transitions, 2465 secs || 104819213 markings, 118753455 edges, 41967 markings/sec, 2465 secs
lola: 2719 tries, 2718428793 fired transitions, 2470 secs || 105029085 markings, 118988106 edges, 41974 markings/sec, 2470 secs
lola: 2724 tries, 2723905962 fired transitions, 2475 secs || 105238386 markings, 119223258 edges, 41860 markings/sec, 2475 secs
lola: 2730 tries, 2729405604 fired transitions, 2480 secs || 105448867 markings, 119458493 edges, 42096 markings/sec, 2480 secs
lola: 2735 tries, 2734912793 fired transitions, 2485 secs || 105659917 markings, 119694903 edges, 42210 markings/sec, 2485 secs
lola: 2741 tries, 2740443318 fired transitions, 2490 secs || 105870235 markings, 119929752 edges, 42064 markings/sec, 2490 secs
lola: 2746 tries, 2745967449 fired transitions, 2495 secs || 106080704 markings, 120165701 edges, 42094 markings/sec, 2495 secs
lola: 2752 tries, 2751488107 fired transitions, 2500 secs || 106290200 markings, 120400767 edges, 41899 markings/sec, 2500 secs
lola: 2757 tries, 2756994146 fired transitions, 2505 secs || 106496596 markings, 120631579 edges, 41279 markings/sec, 2505 secs
lola: 2763 tries, 2762322637 fired transitions, 2510 secs || 106701206 markings, 120860833 edges, 40922 markings/sec, 2510 secs
lola: 2768 tries, 2767879508 fired transitions, 2515 secs || 106913596 markings, 121099556 edges, 42478 markings/sec, 2515 secs
lola: 2774 tries, 2773420342 fired transitions, 2520 secs || 107128316 markings, 121340445 edges, 42944 markings/sec, 2520 secs
lola: 2779 tries, 2778849289 fired transitions, 2525 secs || 107343358 markings, 121582449 edges, 43008 markings/sec, 2525 secs
lola: 2785 tries, 2784298714 fired transitions, 2530 secs || 107557804 markings, 121824127 edges, 42889 markings/sec, 2530 secs
lola: 2790 tries, 2789712886 fired transitions, 2535 secs || 107772325 markings, 122066084 edges, 42904 markings/sec, 2535 secs
lola: 2796 tries, 2795187213 fired transitions, 2540 secs || 107985812 markings, 122307723 edges, 42697 markings/sec, 2540 secs
lola: 2801 tries, 2800578521 fired transitions, 2545 secs || 108199203 markings, 122548419 edges, 42678 markings/sec, 2545 secs
lola: 2806 tries, 2805960033 fired transitions, 2550 secs || 108412147 markings, 122789223 edges, 42589 markings/sec, 2550 secs
lola: 2812 tries, 2811520488 fired transitions, 2555 secs || 108617220 markings, 123020683 edges, 41015 markings/sec, 2555 secs
lola: 2818 tries, 2817100586 fired transitions, 2560 secs || 108823894 markings, 123253247 edges, 41335 markings/sec, 2560 secs
lola: 2823 tries, 2822706457 fired transitions, 2565 secs || 109033995 markings, 123490764 edges, 42020 markings/sec, 2565 secs
lola: 2829 tries, 2828294369 fired transitions, 2570 secs || 109242999 markings, 123726723 edges, 41801 markings/sec, 2570 secs
lola: 2834 tries, 2833892108 fired transitions, 2575 secs || 109451395 markings, 123962412 edges, 41679 markings/sec, 2575 secs
lola: 2840 tries, 2839452325 fired transitions, 2580 secs || 109657064 markings, 124194439 edges, 41134 markings/sec, 2580 secs
lola: 2846 tries, 2845024649 fired transitions, 2585 secs || 109858432 markings, 124419647 edges, 40274 markings/sec, 2585 secs
lola: 2851 tries, 2850590393 fired transitions, 2590 secs || 110060863 markings, 124645701 edges, 40486 markings/sec, 2590 secs
lola: 2857 tries, 2856152184 fired transitions, 2595 secs || 110266281 markings, 124875758 edges, 41084 markings/sec, 2595 secs
lola: 2862 tries, 2861691398 fired transitions, 2600 secs || 110471641 markings, 125105827 edges, 41072 markings/sec, 2600 secs
lola: 2868 tries, 2867219465 fired transitions, 2605 secs || 110678867 markings, 125338143 edges, 41445 markings/sec, 2605 secs
lola: 2873 tries, 2872675193 fired transitions, 2610 secs || 110884091 markings, 125567181 edges, 41045 markings/sec, 2610 secs
lola: 2879 tries, 2878135570 fired transitions, 2615 secs || 111091034 markings, 125799311 edges, 41389 markings/sec, 2615 secs
lola: 2884 tries, 2883649793 fired transitions, 2620 secs || 111299347 markings, 126033836 edges, 41663 markings/sec, 2620 secs
lola: 2890 tries, 2889067564 fired transitions, 2625 secs || 111509534 markings, 126272293 edges, 42037 markings/sec, 2625 secs
lola: 2895 tries, 2894449739 fired transitions, 2630 secs || 111714554 markings, 126502251 edges, 41004 markings/sec, 2630 secs
lola: 2900 tries, 2899880385 fired transitions, 2635 secs || 111922704 markings, 126736184 edges, 41630 markings/sec, 2635 secs
lola: 2906 tries, 2905401666 fired transitions, 2640 secs || 112128977 markings, 126968813 edges, 41255 markings/sec, 2640 secs
lola: 2911 tries, 2910887252 fired transitions, 2645 secs || 112338871 markings, 127205691 edges, 41979 markings/sec, 2645 secs
lola: 2917 tries, 2916268313 fired transitions, 2650 secs || 112548536 markings, 127440090 edges, 41933 markings/sec, 2650 secs
lola: 2922 tries, 2921794632 fired transitions, 2655 secs || 112754278 markings, 127671937 edges, 41148 markings/sec, 2655 secs
lola: 2928 tries, 2927373065 fired transitions, 2660 secs || 112963986 markings, 127908639 edges, 41942 markings/sec, 2660 secs
lola: 2933 tries, 2932885900 fired transitions, 2665 secs || 113175282 markings, 128145647 edges, 42259 markings/sec, 2665 secs
lola: RESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 113340907 markings, 128331300 edges
lola: memory consumption: 14155832 KB
lola: time consumption: 2678 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1552464597303
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
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="DLCshifumi-PT-2b"
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 DLCshifumi-PT-2b, 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 r049-oct2-155234405200516"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-2b.tgz
mv DLCshifumi-PT-2b 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 '
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 ;