Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r093-smll-155246584100147.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is LamportFastMutEx-COL-5, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-smll-155246584100147
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 4.0K Feb 11 22:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 11 22:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 7 23:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 23:34 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.6K Feb 5 00:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 06:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 06:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 31 23:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 31 23:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 41K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-5-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552762368537

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ LamportFastMutEx-COL-5 @ 3570 seconds

FORMULA LamportFastMutEx-COL-5-GlobalProperties-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 745
rslt: Output for GlobalProperties @ LamportFastMutEx-COL-5

{
"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": "Sat Mar 16 18:52:48 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 4755052,
"runtime": 2824.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": 1380,
"conflict_clusters": 15,
"places": 174,
"places_significant": 124,
"singleton_clusters": 0,
"transitions": 318
},
"result":
{
"edges": 352458673,
"markings": 109464430,
"produced_by": "state space",
"value": false
},
"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": 120.000000,
"composed": 4,
"dead_branches": 0,
"generators": 10,
"interrupted": false,
"real_computed": 6,
"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 High-Level net
lola: Places: 174, Transitions: 318
lola: @ trans T-setbi_24
lola: @ trans T-fordo_12
lola: @ trans T-awaity
lola: @ trans T-yeqi_15
lola: @ trans T-setbi_11
lola: @ trans T-await_13
lola: @ trans T-ynei_15
lola: @ trans T-yne0_4
lola: @ trans T-setbi_5
lola: @ trans T-sety0_23
lola: @ trans T-xeqi_10
lola: @ trans T-sety_9
lola: @ trans T-xnei_10
lola: @ trans T-yeq0_4
lola: @ trans T-setbi_2
lola: @ trans T-forod_13
lola: @ trans T-setx_3
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 492/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5568
lola: finding significant places
lola: 174 places, 318 transitions, 124 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 10 generators (6 in search tree, 4 by composition)
lola: representing 120 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 301092 fired transitions, 0 secs || 206230 markings, 469967 edges, 41246 markings/sec, 0 secs
lola: 1 tries, 625657 fired transitions, 5 secs || 407014 markings, 966945 edges, 40157 markings/sec, 5 secs
lola: 1 tries, 946200 fired transitions, 10 secs || 597292 markings, 1459025 edges, 38056 markings/sec, 10 secs
lola: 2 tries, 1266537 fired transitions, 15 secs || 786909 markings, 1956171 edges, 37923 markings/sec, 15 secs
lola: 2 tries, 1610128 fired transitions, 20 secs || 987154 markings, 2493473 edges, 40049 markings/sec, 20 secs
lola: 3 tries, 2034931 fired transitions, 25 secs || 1236567 markings, 3171121 edges, 49883 markings/sec, 25 secs
lola: 3 tries, 2459705 fired transitions, 30 secs || 1485678 markings, 3850140 edges, 49822 markings/sec, 30 secs
lola: 3 tries, 2882166 fired transitions, 35 secs || 1733117 markings, 4531353 edges, 49488 markings/sec, 35 secs
lola: 4 tries, 3307678 fired transitions, 40 secs || 1978237 markings, 5216003 edges, 49024 markings/sec, 40 secs
lola: 4 tries, 3732419 fired transitions, 45 secs || 2223228 markings, 5900926 edges, 48998 markings/sec, 45 secs
lola: 5 tries, 4107343 fired transitions, 50 secs || 2439287 markings, 6513190 edges, 43212 markings/sec, 50 secs
lola: 5 tries, 4426708 fired transitions, 55 secs || 2626920 markings, 7045283 edges, 37527 markings/sec, 55 secs
lola: 5 tries, 4746829 fired transitions, 60 secs || 2814387 markings, 7580535 edges, 37493 markings/sec, 60 secs
lola: 6 tries, 5067663 fired transitions, 65 secs || 3002833 markings, 8112325 edges, 37689 markings/sec, 65 secs
lola: 6 tries, 5420893 fired transitions, 70 secs || 3205892 markings, 8701519 edges, 40612 markings/sec, 70 secs
lola: 6 tries, 5845936 fired transitions, 75 secs || 3447510 markings, 9396009 edges, 48324 markings/sec, 75 secs
lola: 7 tries, 6272632 fired transitions, 80 secs || 3687691 markings, 10092742 edges, 48036 markings/sec, 80 secs
lola: 7 tries, 6700215 fired transitions, 85 secs || 3927000 markings, 10792086 edges, 47862 markings/sec, 85 secs
lola: 8 tries, 7127309 fired transitions, 90 secs || 4166535 markings, 11493523 edges, 47907 markings/sec, 90 secs
lola: 8 tries, 7552493 fired transitions, 95 secs || 4405424 markings, 12197075 edges, 47778 markings/sec, 95 secs
lola: 8 tries, 7979241 fired transitions, 100 secs || 4644324 markings, 12900054 edges, 47780 markings/sec, 100 secs
lola: 9 tries, 8405451 fired transitions, 105 secs || 4882007 markings, 13608615 edges, 47537 markings/sec, 105 secs
lola: 9 tries, 8832922 fired transitions, 110 secs || 5120814 markings, 14309155 edges, 47761 markings/sec, 110 secs
lola: 10 tries, 9258901 fired transitions, 115 secs || 5359341 markings, 15016209 edges, 47705 markings/sec, 115 secs
lola: 10 tries, 9685361 fired transitions, 120 secs || 5597105 markings, 15722577 edges, 47553 markings/sec, 120 secs
lola: 11 tries, 10112766 fired transitions, 125 secs || 5834433 markings, 16430873 edges, 47466 markings/sec, 125 secs
lola: 11 tries, 10503152 fired transitions, 130 secs || 6050880 markings, 17071760 edges, 43289 markings/sec, 130 secs
lola: 11 tries, 10831223 fired transitions, 135 secs || 6227884 markings, 17601479 edges, 35401 markings/sec, 135 secs
lola: 12 tries, 11160646 fired transitions, 140 secs || 6407933 markings, 18129248 edges, 36010 markings/sec, 140 secs
lola: 12 tries, 11587004 fired transitions, 145 secs || 6645905 markings, 18843371 edges, 47594 markings/sec, 145 secs
lola: 13 tries, 12014389 fired transitions, 150 secs || 6883252 markings, 19554614 edges, 47469 markings/sec, 150 secs
lola: 13 tries, 12441234 fired transitions, 155 secs || 7120672 markings, 20265389 edges, 47484 markings/sec, 155 secs
lola: 13 tries, 12867490 fired transitions, 160 secs || 7357780 markings, 20980989 edges, 47422 markings/sec, 160 secs
lola: 14 tries, 13293812 fired transitions, 165 secs || 7597111 markings, 21688776 edges, 47866 markings/sec, 165 secs
lola: 14 tries, 13720852 fired transitions, 170 secs || 7835180 markings, 22406504 edges, 47614 markings/sec, 170 secs
lola: 15 tries, 14117580 fired transitions, 175 secs || 8055269 markings, 23062732 edges, 44018 markings/sec, 175 secs
lola: 15 tries, 14447104 fired transitions, 180 secs || 8233141 markings, 23598912 edges, 35574 markings/sec, 180 secs
lola: 15 tries, 14776498 fired transitions, 185 secs || 8411241 markings, 24134556 edges, 35620 markings/sec, 185 secs
lola: 16 tries, 15106866 fired transitions, 190 secs || 8588720 markings, 24672911 edges, 35496 markings/sec, 190 secs
lola: 16 tries, 15438044 fired transitions, 195 secs || 8765121 markings, 25212424 edges, 35280 markings/sec, 195 secs
lola: 16 tries, 15768610 fired transitions, 200 secs || 8943886 markings, 25749627 edges, 35753 markings/sec, 200 secs
lola: 17 tries, 16098653 fired transitions, 205 secs || 9121253 markings, 26290081 edges, 35473 markings/sec, 205 secs
lola: 17 tries, 16428340 fired transitions, 210 secs || 9301149 markings, 26826271 edges, 35979 markings/sec, 210 secs
lola: 17 tries, 16758998 fired transitions, 215 secs || 9480996 markings, 27363554 edges, 35969 markings/sec, 215 secs
lola: 18 tries, 17088745 fired transitions, 220 secs || 9660503 markings, 27896607 edges, 35901 markings/sec, 220 secs
lola: 18 tries, 17419335 fired transitions, 225 secs || 9842884 markings, 28458288 edges, 36476 markings/sec, 225 secs
lola: 18 tries, 17743532 fired transitions, 230 secs || 10028958 markings, 29018486 edges, 37215 markings/sec, 230 secs
lola: 19 tries, 18068234 fired transitions, 235 secs || 10213368 markings, 29581212 edges, 36882 markings/sec, 235 secs
lola: 19 tries, 18394762 fired transitions, 240 secs || 10396551 markings, 30148427 edges, 36637 markings/sec, 240 secs
lola: 19 tries, 18720720 fired transitions, 245 secs || 10579283 markings, 30714073 edges, 36546 markings/sec, 245 secs
lola: 20 tries, 19047123 fired transitions, 250 secs || 10763327 markings, 31274892 edges, 36809 markings/sec, 250 secs
lola: 20 tries, 19374413 fired transitions, 255 secs || 10945559 markings, 31839492 edges, 36446 markings/sec, 255 secs
lola: 20 tries, 19702843 fired transitions, 260 secs || 11128008 markings, 32398935 edges, 36490 markings/sec, 260 secs
lola: 21 tries, 20031225 fired transitions, 265 secs || 11310381 markings, 32957464 edges, 36475 markings/sec, 265 secs
lola: 21 tries, 20357771 fired transitions, 270 secs || 11492231 markings, 33515575 edges, 36370 markings/sec, 270 secs
lola: 21 tries, 20686265 fired transitions, 275 secs || 11675309 markings, 34068940 edges, 36616 markings/sec, 275 secs
lola: 22 tries, 21014786 fired transitions, 280 secs || 11857338 markings, 34631084 edges, 36406 markings/sec, 280 secs
lola: 22 tries, 21343538 fired transitions, 285 secs || 12039543 markings, 35192274 edges, 36441 markings/sec, 285 secs
lola: 22 tries, 21767921 fired transitions, 290 secs || 12274461 markings, 35903494 edges, 46984 markings/sec, 290 secs
lola: 23 tries, 22186549 fired transitions, 295 secs || 12504954 markings, 36607573 edges, 46099 markings/sec, 295 secs
lola: 23 tries, 22608876 fired transitions, 300 secs || 12739095 markings, 37327373 edges, 46828 markings/sec, 300 secs
lola: 24 tries, 23032281 fired transitions, 305 secs || 12971666 markings, 38045681 edges, 46514 markings/sec, 305 secs
lola: 24 tries, 23456611 fired transitions, 310 secs || 13204629 markings, 38766003 edges, 46593 markings/sec, 310 secs
lola: 24 tries, 23880217 fired transitions, 315 secs || 13436674 markings, 39491262 edges, 46409 markings/sec, 315 secs
lola: 25 tries, 24304394 fired transitions, 320 secs || 13671477 markings, 40208653 edges, 46961 markings/sec, 320 secs
lola: 25 tries, 24727736 fired transitions, 325 secs || 13905502 markings, 40931814 edges, 46805 markings/sec, 325 secs
lola: 26 tries, 25058386 fired transitions, 330 secs || 14091568 markings, 41503282 edges, 37213 markings/sec, 330 secs
lola: 26 tries, 25375731 fired transitions, 335 secs || 14275057 markings, 42072799 edges, 36698 markings/sec, 335 secs
lola: 26 tries, 25706141 fired transitions, 340 secs || 14455843 markings, 42641414 edges, 36157 markings/sec, 340 secs
lola: 27 tries, 26037197 fired transitions, 345 secs || 14638913 markings, 43209602 edges, 36614 markings/sec, 345 secs
lola: 27 tries, 26368718 fired transitions, 350 secs || 14821813 markings, 43776057 edges, 36580 markings/sec, 350 secs
lola: 27 tries, 26688193 fired transitions, 355 secs || 15005921 markings, 44338395 edges, 36822 markings/sec, 355 secs
lola: 28 tries, 27018812 fired transitions, 360 secs || 15191936 markings, 44898556 edges, 37203 markings/sec, 360 secs
lola: 28 tries, 27348950 fired transitions, 365 secs || 15374373 markings, 45467395 edges, 36487 markings/sec, 365 secs
lola: 28 tries, 27680001 fired transitions, 370 secs || 15558688 markings, 46031804 edges, 36863 markings/sec, 370 secs
lola: 29 tries, 28011005 fired transitions, 375 secs || 15741653 markings, 46601898 edges, 36593 markings/sec, 375 secs
lola: 29 tries, 28341866 fired transitions, 380 secs || 15925804 markings, 47160400 edges, 36830 markings/sec, 380 secs
lola: 29 tries, 28673324 fired transitions, 385 secs || 16110527 markings, 47727159 edges, 36945 markings/sec, 385 secs
lola: 30 tries, 29002479 fired transitions, 390 secs || 16293272 markings, 48296681 edges, 36549 markings/sec, 390 secs
lola: 30 tries, 29333396 fired transitions, 395 secs || 16475698 markings, 48868523 edges, 36485 markings/sec, 395 secs
lola: 30 tries, 29664589 fired transitions, 400 secs || 16660143 markings, 49435416 edges, 36889 markings/sec, 400 secs
lola: 30 tries, 29996316 fired transitions, 405 secs || 16842855 markings, 50004880 edges, 36542 markings/sec, 405 secs
lola: 31 tries, 30328253 fired transitions, 410 secs || 17026079 markings, 50575177 edges, 36645 markings/sec, 410 secs
lola: 31 tries, 30659904 fired transitions, 415 secs || 17211610 markings, 51142564 edges, 37106 markings/sec, 415 secs
lola: 31 tries, 30990561 fired transitions, 420 secs || 17398562 markings, 51713794 edges, 37390 markings/sec, 420 secs
lola: 32 tries, 31391947 fired transitions, 425 secs || 17619597 markings, 52392209 edges, 44207 markings/sec, 425 secs
lola: 32 tries, 31819280 fired transitions, 430 secs || 17852746 markings, 53121739 edges, 46630 markings/sec, 430 secs
lola: 33 tries, 32245898 fired transitions, 435 secs || 18085253 markings, 53851040 edges, 46501 markings/sec, 435 secs
lola: 33 tries, 32673091 fired transitions, 440 secs || 18320467 markings, 54576526 edges, 47043 markings/sec, 440 secs
lola: 34 tries, 33101055 fired transitions, 445 secs || 18557196 markings, 55300437 edges, 47346 markings/sec, 445 secs
lola: 34 tries, 33527265 fired transitions, 450 secs || 18792352 markings, 56029648 edges, 47031 markings/sec, 450 secs
lola: 34 tries, 33951410 fired transitions, 455 secs || 19027894 markings, 56759939 edges, 47108 markings/sec, 455 secs
lola: 35 tries, 34312730 fired transitions, 460 secs || 19227718 markings, 57380136 edges, 39965 markings/sec, 460 secs
lola: 35 tries, 34644910 fired transitions, 465 secs || 19416333 markings, 57956088 edges, 37723 markings/sec, 465 secs
lola: 35 tries, 34978952 fired transitions, 470 secs || 19592309 markings, 58492332 edges, 35195 markings/sec, 470 secs
lola: 36 tries, 35311139 fired transitions, 475 secs || 19767419 markings, 59026737 edges, 35022 markings/sec, 475 secs
lola: 36 tries, 35641318 fired transitions, 480 secs || 19953907 markings, 59600697 edges, 37298 markings/sec, 480 secs
lola: 36 tries, 35970292 fired transitions, 485 secs || 20139106 markings, 60179949 edges, 37040 markings/sec, 485 secs
lola: 37 tries, 36299611 fired transitions, 490 secs || 20324447 markings, 60752614 edges, 37068 markings/sec, 490 secs
lola: 37 tries, 36629665 fired transitions, 495 secs || 20511622 markings, 61320569 edges, 37435 markings/sec, 495 secs
lola: 37 tries, 36957302 fired transitions, 500 secs || 20699180 markings, 61892911 edges, 37512 markings/sec, 500 secs
lola: 38 tries, 37289152 fired transitions, 505 secs || 20881157 markings, 62444880 edges, 36395 markings/sec, 505 secs
lola: 38 tries, 37617667 fired transitions, 510 secs || 21070618 markings, 63011862 edges, 37892 markings/sec, 510 secs
lola: 38 tries, 37946701 fired transitions, 515 secs || 21257658 markings, 63586515 edges, 37408 markings/sec, 515 secs
lola: 39 tries, 38274383 fired transitions, 520 secs || 21445065 markings, 64163915 edges, 37481 markings/sec, 520 secs
lola: 39 tries, 38603461 fired transitions, 525 secs || 21632904 markings, 64734749 edges, 37568 markings/sec, 525 secs
lola: 39 tries, 38931877 fired transitions, 530 secs || 21820644 markings, 65306120 edges, 37548 markings/sec, 530 secs
lola: 40 tries, 39260640 fired transitions, 535 secs || 22007318 markings, 65881233 edges, 37335 markings/sec, 535 secs
lola: 40 tries, 39585586 fired transitions, 540 secs || 22198741 markings, 66452648 edges, 38285 markings/sec, 540 secs
lola: 40 tries, 39914664 fired transitions, 545 secs || 22387252 markings, 67026762 edges, 37702 markings/sec, 545 secs
lola: 41 tries, 40241215 fired transitions, 550 secs || 22578244 markings, 67593075 edges, 38198 markings/sec, 550 secs
lola: 41 tries, 40571553 fired transitions, 555 secs || 22764602 markings, 68165099 edges, 37272 markings/sec, 555 secs
lola: 41 tries, 40900045 fired transitions, 560 secs || 22956274 markings, 68733809 edges, 38334 markings/sec, 560 secs
lola: 42 tries, 41228006 fired transitions, 565 secs || 23146433 markings, 69302652 edges, 38032 markings/sec, 565 secs
lola: 42 tries, 41557542 fired transitions, 570 secs || 23337057 markings, 69883739 edges, 38125 markings/sec, 570 secs
lola: 42 tries, 41887266 fired transitions, 575 secs || 23525366 markings, 70460049 edges, 37662 markings/sec, 575 secs
lola: 43 tries, 42220557 fired transitions, 580 secs || 23719922 markings, 71045539 edges, 38911 markings/sec, 580 secs
lola: 43 tries, 42648219 fired transitions, 585 secs || 23959833 markings, 71780539 edges, 47982 markings/sec, 585 secs
lola: 44 tries, 43076956 fired transitions, 590 secs || 24196629 markings, 72512716 edges, 47359 markings/sec, 590 secs
lola: 44 tries, 43505006 fired transitions, 595 secs || 24437043 markings, 73246216 edges, 48083 markings/sec, 595 secs
lola: 44 tries, 43933544 fired transitions, 600 secs || 24676055 markings, 73978706 edges, 47802 markings/sec, 600 secs
lola: 45 tries, 44359625 fired transitions, 605 secs || 24918374 markings, 74706525 edges, 48464 markings/sec, 605 secs
lola: 45 tries, 44787690 fired transitions, 610 secs || 25156830 markings, 75445271 edges, 47691 markings/sec, 610 secs
lola: 46 tries, 45183804 fired transitions, 615 secs || 25378327 markings, 76127770 edges, 44299 markings/sec, 615 secs
lola: 46 tries, 45516084 fired transitions, 620 secs || 25568256 markings, 76706390 edges, 37986 markings/sec, 620 secs
lola: 46 tries, 45860841 fired transitions, 625 secs || 25759793 markings, 77304625 edges, 38307 markings/sec, 625 secs
lola: 47 tries, 46193414 fired transitions, 630 secs || 25949577 markings, 77879314 edges, 37957 markings/sec, 630 secs
lola: 47 tries, 46527000 fired transitions, 635 secs || 26139379 markings, 78465692 edges, 37960 markings/sec, 635 secs
lola: 47 tries, 46859190 fired transitions, 640 secs || 26330488 markings, 79045639 edges, 38222 markings/sec, 640 secs
lola: 48 tries, 47191912 fired transitions, 645 secs || 26521013 markings, 79624107 edges, 38105 markings/sec, 645 secs
lola: 48 tries, 47525855 fired transitions, 650 secs || 26714351 markings, 80204151 edges, 38668 markings/sec, 650 secs
lola: 48 tries, 47874129 fired transitions, 655 secs || 26912253 markings, 80813605 edges, 39580 markings/sec, 655 secs
lola: 49 tries, 48301283 fired transitions, 660 secs || 27156394 markings, 81546970 edges, 48828 markings/sec, 660 secs
lola: 49 tries, 48728824 fired transitions, 665 secs || 27397700 markings, 82289917 edges, 48261 markings/sec, 665 secs
lola: 50 tries, 49148613 fired transitions, 670 secs || 27633756 markings, 83014366 edges, 47211 markings/sec, 670 secs
lola: 50 tries, 49572598 fired transitions, 675 secs || 27876752 markings, 83745336 edges, 48599 markings/sec, 675 secs
lola: 50 tries, 49999383 fired transitions, 680 secs || 28123331 markings, 84480135 edges, 49316 markings/sec, 680 secs
lola: 51 tries, 50424691 fired transitions, 685 secs || 28367410 markings, 85213055 edges, 48816 markings/sec, 685 secs
lola: 51 tries, 50853052 fired transitions, 690 secs || 28612025 markings, 85942342 edges, 48923 markings/sec, 690 secs
lola: 52 tries, 51280216 fired transitions, 695 secs || 28850757 markings, 86677878 edges, 47746 markings/sec, 695 secs
lola: 52 tries, 51707001 fired transitions, 700 secs || 29093579 markings, 87417258 edges, 48564 markings/sec, 700 secs
lola: 53 tries, 52133971 fired transitions, 705 secs || 29339837 markings, 88157368 edges, 49252 markings/sec, 705 secs
lola: 53 tries, 52560972 fired transitions, 710 secs || 29586149 markings, 88889107 edges, 49262 markings/sec, 710 secs
lola: 53 tries, 52987283 fired transitions, 715 secs || 29831042 markings, 89621214 edges, 48979 markings/sec, 715 secs
lola: 54 tries, 53414667 fired transitions, 720 secs || 30078023 markings, 90357473 edges, 49396 markings/sec, 720 secs
lola: 54 tries, 53841011 fired transitions, 725 secs || 30321008 markings, 91091627 edges, 48597 markings/sec, 725 secs
lola: 55 tries, 54268116 fired transitions, 730 secs || 30566048 markings, 91831729 edges, 49008 markings/sec, 730 secs
lola: 55 tries, 54667967 fired transitions, 735 secs || 30794913 markings, 92521613 edges, 45773 markings/sec, 735 secs
lola: 56 tries, 55005110 fired transitions, 740 secs || 30990499 markings, 93117625 edges, 39117 markings/sec, 740 secs
lola: 56 tries, 55430229 fired transitions, 745 secs || 31238399 markings, 93852230 edges, 49580 markings/sec, 745 secs
lola: 56 tries, 55758414 fired transitions, 750 secs || 31433448 markings, 94433385 edges, 39010 markings/sec, 750 secs
lola: 57 tries, 56090400 fired transitions, 755 secs || 31626892 markings, 95011122 edges, 38689 markings/sec, 755 secs
lola: 57 tries, 56419401 fired transitions, 760 secs || 31816521 markings, 95581865 edges, 37926 markings/sec, 760 secs
lola: 57 tries, 56749354 fired transitions, 765 secs || 32006601 markings, 96158075 edges, 38016 markings/sec, 765 secs
lola: 58 tries, 57078424 fired transitions, 770 secs || 32201162 markings, 96737362 edges, 38912 markings/sec, 770 secs
lola: 58 tries, 57410189 fired transitions, 775 secs || 32397995 markings, 97323599 edges, 39367 markings/sec, 775 secs
lola: 58 tries, 57739978 fired transitions, 780 secs || 32594794 markings, 97909584 edges, 39360 markings/sec, 780 secs
lola: 59 tries, 58070076 fired transitions, 785 secs || 32787630 markings, 98488677 edges, 38567 markings/sec, 785 secs
lola: 59 tries, 58399942 fired transitions, 790 secs || 32984644 markings, 99067604 edges, 39403 markings/sec, 790 secs
lola: 59 tries, 58730430 fired transitions, 795 secs || 33178756 markings, 99647075 edges, 38822 markings/sec, 795 secs
lola: 60 tries, 59057505 fired transitions, 800 secs || 33373261 markings, 100229031 edges, 38901 markings/sec, 800 secs
lola: 60 tries, 59387957 fired transitions, 805 secs || 33570500 markings, 100816710 edges, 39448 markings/sec, 805 secs
lola: 60 tries, 59720214 fired transitions, 810 secs || 33766299 markings, 101405931 edges, 39160 markings/sec, 810 secs
lola: 61 tries, 60050583 fired transitions, 815 secs || 33959975 markings, 101983502 edges, 38735 markings/sec, 815 secs
lola: 61 tries, 60379063 fired transitions, 820 secs || 34157515 markings, 102565242 edges, 39508 markings/sec, 820 secs
lola: 61 tries, 60707508 fired transitions, 825 secs || 34352897 markings, 103148177 edges, 39076 markings/sec, 825 secs
lola: 62 tries, 61037123 fired transitions, 830 secs || 34546101 markings, 103725505 edges, 38641 markings/sec, 830 secs
lola: 62 tries, 61366420 fired transitions, 835 secs || 34744190 markings, 104310903 edges, 39618 markings/sec, 835 secs
lola: 62 tries, 61699032 fired transitions, 840 secs || 34940550 markings, 104901116 edges, 39272 markings/sec, 840 secs
lola: 63 tries, 62027960 fired transitions, 845 secs || 35136875 markings, 105482400 edges, 39265 markings/sec, 845 secs
lola: 63 tries, 62362693 fired transitions, 850 secs || 35334843 markings, 106075628 edges, 39594 markings/sec, 850 secs
lola: 63 tries, 62693324 fired transitions, 855 secs || 35531882 markings, 106660935 edges, 39408 markings/sec, 855 secs
lola: 64 tries, 63025148 fired transitions, 860 secs || 35730121 markings, 107249171 edges, 39648 markings/sec, 860 secs
lola: 64 tries, 63351613 fired transitions, 865 secs || 35927079 markings, 107829097 edges, 39392 markings/sec, 865 secs
lola: 64 tries, 63682455 fired transitions, 870 secs || 36121077 markings, 108406264 edges, 38800 markings/sec, 870 secs
lola: 65 tries, 64013599 fired transitions, 875 secs || 36317284 markings, 108992745 edges, 39241 markings/sec, 875 secs
lola: 65 tries, 64343163 fired transitions, 880 secs || 36511983 markings, 109580812 edges, 38940 markings/sec, 880 secs
lola: 65 tries, 64639872 fired transitions, 885 secs || 36711084 markings, 110165389 edges, 39820 markings/sec, 885 secs
lola: 65 tries, 64973183 fired transitions, 890 secs || 36912713 markings, 110758768 edges, 40326 markings/sec, 890 secs
lola: 66 tries, 65307679 fired transitions, 895 secs || 37104547 markings, 111348459 edges, 38367 markings/sec, 895 secs
lola: 66 tries, 65637888 fired transitions, 900 secs || 37296932 markings, 111937302 edges, 38477 markings/sec, 900 secs
lola: 66 tries, 65966088 fired transitions, 905 secs || 37497109 markings, 112519748 edges, 40035 markings/sec, 905 secs
lola: 67 tries, 66298474 fired transitions, 910 secs || 37689330 markings, 113100143 edges, 38444 markings/sec, 910 secs
lola: 67 tries, 66631151 fired transitions, 915 secs || 37879149 markings, 113685841 edges, 37964 markings/sec, 915 secs
lola: 68 tries, 67020693 fired transitions, 920 secs || 38111897 markings, 114368507 edges, 46550 markings/sec, 920 secs
lola: 68 tries, 67365162 fired transitions, 925 secs || 38327860 markings, 115014318 edges, 43193 markings/sec, 925 secs
lola: 68 tries, 67692925 fired transitions, 930 secs || 38519453 markings, 115591571 edges, 38319 markings/sec, 930 secs
lola: 69 tries, 68021351 fired transitions, 935 secs || 38707900 markings, 116166006 edges, 37689 markings/sec, 935 secs
lola: 69 tries, 68408373 fired transitions, 940 secs || 38930588 markings, 116845022 edges, 44538 markings/sec, 940 secs
lola: 69 tries, 68777058 fired transitions, 945 secs || 39133694 markings, 117455986 edges, 40621 markings/sec, 945 secs
lola: 70 tries, 69105108 fired transitions, 950 secs || 39324396 markings, 118037409 edges, 38140 markings/sec, 950 secs
lola: 70 tries, 69425308 fired transitions, 955 secs || 39518523 markings, 118624256 edges, 38825 markings/sec, 955 secs
lola: 70 tries, 69754146 fired transitions, 960 secs || 39715487 markings, 119216822 edges, 39393 markings/sec, 960 secs
lola: 71 tries, 70073831 fired transitions, 965 secs || 39907021 markings, 119807129 edges, 38307 markings/sec, 965 secs
lola: 71 tries, 70388023 fired transitions, 970 secs || 40104752 markings, 120396900 edges, 39546 markings/sec, 970 secs
lola: 71 tries, 70701782 fired transitions, 975 secs || 40300721 markings, 120996574 edges, 39194 markings/sec, 975 secs
lola: 72 tries, 71017534 fired transitions, 980 secs || 40495856 markings, 121585212 edges, 39027 markings/sec, 980 secs
lola: 72 tries, 71330844 fired transitions, 985 secs || 40697249 markings, 122168296 edges, 40279 markings/sec, 985 secs
lola: 72 tries, 71643670 fired transitions, 990 secs || 40890070 markings, 122763263 edges, 38564 markings/sec, 990 secs
lola: 72 tries, 71958106 fired transitions, 995 secs || 41087011 markings, 123359472 edges, 39388 markings/sec, 995 secs
lola: 73 tries, 72274266 fired transitions, 1000 secs || 41281881 markings, 123947624 edges, 38974 markings/sec, 1000 secs
lola: 73 tries, 72590208 fired transitions, 1005 secs || 41477088 markings, 124547092 edges, 39041 markings/sec, 1005 secs
lola: 73 tries, 72903691 fired transitions, 1010 secs || 41667511 markings, 125134102 edges, 38085 markings/sec, 1010 secs
lola: 74 tries, 73218274 fired transitions, 1015 secs || 41864823 markings, 125731419 edges, 39462 markings/sec, 1015 secs
lola: 74 tries, 73531954 fired transitions, 1020 secs || 42062182 markings, 126332297 edges, 39472 markings/sec, 1020 secs
lola: 74 tries, 73846499 fired transitions, 1025 secs || 42256513 markings, 126929131 edges, 38866 markings/sec, 1025 secs
lola: 75 tries, 74160479 fired transitions, 1030 secs || 42455207 markings, 127526921 edges, 39739 markings/sec, 1030 secs
lola: 75 tries, 74472664 fired transitions, 1035 secs || 42649305 markings, 128118741 edges, 38820 markings/sec, 1035 secs
lola: 75 tries, 74787098 fired transitions, 1040 secs || 42844709 markings, 128715464 edges, 39081 markings/sec, 1040 secs
lola: 76 tries, 75101938 fired transitions, 1045 secs || 43040689 markings, 129310029 edges, 39196 markings/sec, 1045 secs
lola: 76 tries, 75415633 fired transitions, 1050 secs || 43235152 markings, 129893886 edges, 38893 markings/sec, 1050 secs
lola: 76 tries, 75730163 fired transitions, 1055 secs || 43437141 markings, 130496092 edges, 40398 markings/sec, 1055 secs
lola: 77 tries, 76044081 fired transitions, 1060 secs || 43629718 markings, 131093366 edges, 38515 markings/sec, 1060 secs
lola: 77 tries, 76360332 fired transitions, 1065 secs || 43824085 markings, 131688326 edges, 38873 markings/sec, 1065 secs
lola: 77 tries, 76675204 fired transitions, 1070 secs || 44021869 markings, 132287133 edges, 39557 markings/sec, 1070 secs
lola: 77 tries, 76989258 fired transitions, 1075 secs || 44217536 markings, 132877478 edges, 39133 markings/sec, 1075 secs
lola: 78 tries, 77303898 fired transitions, 1080 secs || 44413427 markings, 133467338 edges, 39178 markings/sec, 1080 secs
lola: 78 tries, 77617905 fired transitions, 1085 secs || 44607764 markings, 134068398 edges, 38867 markings/sec, 1085 secs
lola: 78 tries, 77933495 fired transitions, 1090 secs || 44803759 markings, 134662846 edges, 39199 markings/sec, 1090 secs
lola: 79 tries, 78248580 fired transitions, 1095 secs || 44999617 markings, 135247212 edges, 39172 markings/sec, 1095 secs
lola: 79 tries, 78565610 fired transitions, 1100 secs || 45193295 markings, 135837233 edges, 38736 markings/sec, 1100 secs
lola: 79 tries, 78876257 fired transitions, 1105 secs || 45388310 markings, 136435233 edges, 39003 markings/sec, 1105 secs
lola: 80 tries, 79188436 fired transitions, 1110 secs || 45581985 markings, 137030334 edges, 38735 markings/sec, 1110 secs
lola: 80 tries, 79502258 fired transitions, 1115 secs || 45773517 markings, 137620971 edges, 38306 markings/sec, 1115 secs
lola: 80 tries, 79816927 fired transitions, 1120 secs || 45968298 markings, 138217338 edges, 38956 markings/sec, 1120 secs
lola: 81 tries, 80133665 fired transitions, 1125 secs || 46161918 markings, 138813122 edges, 38724 markings/sec, 1125 secs
lola: 81 tries, 80448132 fired transitions, 1130 secs || 46354251 markings, 139415534 edges, 38467 markings/sec, 1130 secs
lola: 81 tries, 80763026 fired transitions, 1135 secs || 46546576 markings, 140013112 edges, 38465 markings/sec, 1135 secs
lola: 82 tries, 81074212 fired transitions, 1140 secs || 46737989 markings, 140603933 edges, 38283 markings/sec, 1140 secs
lola: 82 tries, 81388723 fired transitions, 1145 secs || 46932029 markings, 141195055 edges, 38808 markings/sec, 1145 secs
lola: 82 tries, 81704000 fired transitions, 1150 secs || 47124373 markings, 141787478 edges, 38469 markings/sec, 1150 secs
lola: 83 tries, 82017632 fired transitions, 1155 secs || 47318909 markings, 142376996 edges, 38907 markings/sec, 1155 secs
lola: 83 tries, 82333674 fired transitions, 1160 secs || 47509985 markings, 142979268 edges, 38215 markings/sec, 1160 secs
lola: 83 tries, 82648214 fired transitions, 1165 secs || 47702831 markings, 143578802 edges, 38569 markings/sec, 1165 secs
lola: 83 tries, 82960526 fired transitions, 1170 secs || 47897031 markings, 144173648 edges, 38840 markings/sec, 1170 secs
lola: 84 tries, 83274364 fired transitions, 1175 secs || 48092781 markings, 144766336 edges, 39150 markings/sec, 1175 secs
lola: 84 tries, 83588289 fired transitions, 1180 secs || 48284519 markings, 145358464 edges, 38348 markings/sec, 1180 secs
lola: 84 tries, 83900928 fired transitions, 1185 secs || 48476807 markings, 145947643 edges, 38458 markings/sec, 1185 secs
lola: 85 tries, 84213362 fired transitions, 1190 secs || 48666986 markings, 146549069 edges, 38036 markings/sec, 1190 secs
lola: 85 tries, 84524476 fired transitions, 1195 secs || 48856297 markings, 147147982 edges, 37862 markings/sec, 1195 secs
lola: 85 tries, 84839213 fired transitions, 1200 secs || 49044541 markings, 147750732 edges, 37649 markings/sec, 1200 secs
lola: 86 tries, 85152898 fired transitions, 1205 secs || 49239921 markings, 148341708 edges, 39076 markings/sec, 1205 secs
lola: 86 tries, 85461356 fired transitions, 1210 secs || 49442049 markings, 148925733 edges, 40426 markings/sec, 1210 secs
lola: 86 tries, 85777497 fired transitions, 1215 secs || 49635880 markings, 149535824 edges, 38766 markings/sec, 1215 secs
lola: 87 tries, 86090457 fired transitions, 1220 secs || 49834869 markings, 150139110 edges, 39798 markings/sec, 1220 secs
lola: 87 tries, 86405474 fired transitions, 1225 secs || 50025721 markings, 150736754 edges, 38170 markings/sec, 1225 secs
lola: 87 tries, 86719447 fired transitions, 1230 secs || 50216006 markings, 151329749 edges, 38057 markings/sec, 1230 secs
lola: 88 tries, 87034219 fired transitions, 1235 secs || 50409744 markings, 151913619 edges, 38748 markings/sec, 1235 secs
lola: 88 tries, 87348714 fired transitions, 1240 secs || 50604308 markings, 152509653 edges, 38913 markings/sec, 1240 secs
lola: 88 tries, 87665295 fired transitions, 1245 secs || 50799628 markings, 153106669 edges, 39064 markings/sec, 1245 secs
lola: 88 tries, 87979199 fired transitions, 1250 secs || 50990553 markings, 153707908 edges, 38185 markings/sec, 1250 secs
lola: 89 tries, 88293844 fired transitions, 1255 secs || 51179827 markings, 154315025 edges, 37855 markings/sec, 1255 secs
lola: 89 tries, 88606534 fired transitions, 1260 secs || 51366122 markings, 154913094 edges, 37259 markings/sec, 1260 secs
lola: 89 tries, 88918639 fired transitions, 1265 secs || 51558592 markings, 155507954 edges, 38494 markings/sec, 1265 secs
lola: 90 tries, 89230587 fired transitions, 1270 secs || 51754001 markings, 156115206 edges, 39082 markings/sec, 1270 secs
lola: 90 tries, 89543023 fired transitions, 1275 secs || 51947847 markings, 156728896 edges, 38769 markings/sec, 1275 secs
lola: 90 tries, 89859637 fired transitions, 1280 secs || 52135829 markings, 157339316 edges, 37596 markings/sec, 1280 secs
lola: 91 tries, 90173191 fired transitions, 1285 secs || 52330230 markings, 157935932 edges, 38880 markings/sec, 1285 secs
lola: 91 tries, 90485424 fired transitions, 1290 secs || 52519118 markings, 158545721 edges, 37778 markings/sec, 1290 secs
lola: 91 tries, 90799615 fired transitions, 1295 secs || 52708926 markings, 159145496 edges, 37962 markings/sec, 1295 secs
lola: 92 tries, 91111150 fired transitions, 1300 secs || 52900540 markings, 159743280 edges, 38323 markings/sec, 1300 secs
lola: 92 tries, 91420703 fired transitions, 1305 secs || 53086593 markings, 160360666 edges, 37211 markings/sec, 1305 secs
lola: 92 tries, 91735739 fired transitions, 1310 secs || 53283644 markings, 160979734 edges, 39410 markings/sec, 1310 secs
lola: 93 tries, 92049340 fired transitions, 1315 secs || 53479269 markings, 161585698 edges, 39125 markings/sec, 1315 secs
lola: 93 tries, 92360965 fired transitions, 1320 secs || 53672977 markings, 162166330 edges, 38742 markings/sec, 1320 secs
lola: 93 tries, 92672734 fired transitions, 1325 secs || 53865209 markings, 162753519 edges, 38446 markings/sec, 1325 secs
lola: 93 tries, 92987095 fired transitions, 1330 secs || 54058852 markings, 163356041 edges, 38729 markings/sec, 1330 secs
lola: 94 tries, 93299064 fired transitions, 1335 secs || 54251629 markings, 163957481 edges, 38555 markings/sec, 1335 secs
lola: 94 tries, 93611669 fired transitions, 1340 secs || 54444758 markings, 164559908 edges, 38626 markings/sec, 1340 secs
lola: 94 tries, 93923931 fired transitions, 1345 secs || 54633698 markings, 165153952 edges, 37788 markings/sec, 1345 secs
lola: 95 tries, 94235868 fired transitions, 1350 secs || 54826804 markings, 165764212 edges, 38621 markings/sec, 1350 secs
lola: 95 tries, 94548236 fired transitions, 1355 secs || 55024801 markings, 166368723 edges, 39599 markings/sec, 1355 secs
lola: 95 tries, 94862633 fired transitions, 1360 secs || 55219868 markings, 166972937 edges, 39013 markings/sec, 1360 secs
lola: 96 tries, 95174944 fired transitions, 1365 secs || 55413625 markings, 167567109 edges, 38751 markings/sec, 1365 secs
lola: 96 tries, 95486693 fired transitions, 1370 secs || 55606586 markings, 168167130 edges, 38592 markings/sec, 1370 secs
lola: 96 tries, 95798575 fired transitions, 1375 secs || 55799545 markings, 168762901 edges, 38592 markings/sec, 1375 secs
lola: 97 tries, 96107477 fired transitions, 1380 secs || 55983983 markings, 169359023 edges, 36888 markings/sec, 1380 secs
lola: 97 tries, 96421143 fired transitions, 1385 secs || 56174337 markings, 169991474 edges, 38071 markings/sec, 1385 secs
lola: 97 tries, 96726767 fired transitions, 1390 secs || 56367637 markings, 170595471 edges, 38660 markings/sec, 1390 secs
lola: 98 tries, 97039433 fired transitions, 1395 secs || 56557692 markings, 171210746 edges, 38011 markings/sec, 1395 secs
lola: 98 tries, 97354052 fired transitions, 1400 secs || 56746250 markings, 171819341 edges, 37712 markings/sec, 1400 secs
lola: 98 tries, 97663689 fired transitions, 1405 secs || 56931622 markings, 172426401 edges, 37074 markings/sec, 1405 secs
lola: 98 tries, 97977026 fired transitions, 1410 secs || 57123044 markings, 173022305 edges, 38284 markings/sec, 1410 secs
lola: 99 tries, 98291566 fired transitions, 1415 secs || 57309491 markings, 173626375 edges, 37289 markings/sec, 1415 secs
lola: 99 tries, 98600859 fired transitions, 1420 secs || 57501731 markings, 174224256 edges, 38448 markings/sec, 1420 secs
lola: 99 tries, 98915283 fired transitions, 1425 secs || 57691367 markings, 174834246 edges, 37927 markings/sec, 1425 secs
lola: 100 tries, 99225542 fired transitions, 1430 secs || 57884617 markings, 175433126 edges, 38650 markings/sec, 1430 secs
lola: 100 tries, 99532021 fired transitions, 1435 secs || 58081333 markings, 176030189 edges, 39343 markings/sec, 1435 secs
lola: 100 tries, 99847821 fired transitions, 1440 secs || 58277504 markings, 176622298 edges, 39234 markings/sec, 1440 secs
lola: 101 tries, 100158711 fired transitions, 1445 secs || 58468814 markings, 177228287 edges, 38262 markings/sec, 1445 secs
lola: 101 tries, 100466875 fired transitions, 1450 secs || 58661175 markings, 177821568 edges, 38472 markings/sec, 1450 secs
lola: 101 tries, 100782150 fired transitions, 1455 secs || 58846455 markings, 178444410 edges, 37056 markings/sec, 1455 secs
lola: 102 tries, 101096653 fired transitions, 1460 secs || 59041474 markings, 179059296 edges, 39004 markings/sec, 1460 secs
lola: 102 tries, 101405448 fired transitions, 1465 secs || 59238924 markings, 179656550 edges, 39490 markings/sec, 1465 secs
lola: 102 tries, 101715749 fired transitions, 1470 secs || 59432603 markings, 180254084 edges, 38736 markings/sec, 1470 secs
lola: 103 tries, 102028506 fired transitions, 1475 secs || 59620501 markings, 180841496 edges, 37580 markings/sec, 1475 secs
lola: 103 tries, 102339493 fired transitions, 1480 secs || 59813512 markings, 181427592 edges, 38602 markings/sec, 1480 secs
lola: 103 tries, 102654167 fired transitions, 1485 secs || 60001017 markings, 182035390 edges, 37501 markings/sec, 1485 secs
lola: 103 tries, 102962022 fired transitions, 1490 secs || 60187536 markings, 182649922 edges, 37304 markings/sec, 1490 secs
lola: 104 tries, 103274939 fired transitions, 1495 secs || 60376378 markings, 183263520 edges, 37768 markings/sec, 1495 secs
lola: 104 tries, 103584782 fired transitions, 1500 secs || 60567466 markings, 183872509 edges, 38218 markings/sec, 1500 secs
lola: 104 tries, 103896058 fired transitions, 1505 secs || 60768647 markings, 184466367 edges, 40236 markings/sec, 1505 secs
lola: 105 tries, 104209957 fired transitions, 1510 secs || 60962164 markings, 185071710 edges, 38703 markings/sec, 1510 secs
lola: 105 tries, 104519016 fired transitions, 1515 secs || 61154807 markings, 185685576 edges, 38529 markings/sec, 1515 secs
lola: 105 tries, 104831294 fired transitions, 1520 secs || 61344552 markings, 186312982 edges, 37949 markings/sec, 1520 secs
lola: 106 tries, 105138715 fired transitions, 1525 secs || 61542552 markings, 186911750 edges, 39600 markings/sec, 1525 secs
lola: 106 tries, 105448997 fired transitions, 1530 secs || 61737112 markings, 187513861 edges, 38912 markings/sec, 1530 secs
lola: 106 tries, 105760585 fired transitions, 1535 secs || 61927788 markings, 188123527 edges, 38135 markings/sec, 1535 secs
lola: 107 tries, 106071885 fired transitions, 1540 secs || 62122974 markings, 188730688 edges, 39037 markings/sec, 1540 secs
lola: 107 tries, 106384712 fired transitions, 1545 secs || 62321870 markings, 189329114 edges, 39779 markings/sec, 1545 secs
lola: 107 tries, 106696348 fired transitions, 1550 secs || 62516692 markings, 189934054 edges, 38964 markings/sec, 1550 secs
lola: 108 tries, 107007403 fired transitions, 1555 secs || 62703660 markings, 190556382 edges, 37394 markings/sec, 1555 secs
lola: 108 tries, 107319199 fired transitions, 1560 secs || 62892982 markings, 191195018 edges, 37864 markings/sec, 1560 secs
lola: 108 tries, 107633954 fired transitions, 1565 secs || 63080301 markings, 191827686 edges, 37464 markings/sec, 1565 secs
lola: 108 tries, 107952719 fired transitions, 1570 secs || 63262414 markings, 192466376 edges, 36423 markings/sec, 1570 secs
lola: 109 tries, 108263139 fired transitions, 1575 secs || 63463743 markings, 193046084 edges, 40266 markings/sec, 1575 secs
lola: 109 tries, 108580587 fired transitions, 1580 secs || 63649461 markings, 193653893 edges, 37144 markings/sec, 1580 secs
lola: 109 tries, 108894981 fired transitions, 1585 secs || 63834366 markings, 194298143 edges, 36981 markings/sec, 1585 secs
lola: 110 tries, 109206707 fired transitions, 1590 secs || 64032042 markings, 194897947 edges, 39535 markings/sec, 1590 secs
lola: 110 tries, 109520003 fired transitions, 1595 secs || 64224467 markings, 195504728 edges, 38485 markings/sec, 1595 secs
lola: 110 tries, 109826193 fired transitions, 1600 secs || 64414551 markings, 196098139 edges, 38017 markings/sec, 1600 secs
lola: 111 tries, 110139440 fired transitions, 1605 secs || 64603850 markings, 196713434 edges, 37860 markings/sec, 1605 secs
lola: 111 tries, 110450546 fired transitions, 1610 secs || 64802575 markings, 197318281 edges, 39745 markings/sec, 1610 secs
lola: 111 tries, 110759446 fired transitions, 1615 secs || 65005058 markings, 197913595 edges, 40497 markings/sec, 1615 secs
lola: 112 tries, 111068571 fired transitions, 1620 secs || 65197398 markings, 198518295 edges, 38468 markings/sec, 1620 secs
lola: 112 tries, 111386994 fired transitions, 1625 secs || 65378606 markings, 199183552 edges, 36242 markings/sec, 1625 secs
lola: 112 tries, 111695761 fired transitions, 1630 secs || 65573827 markings, 199815854 edges, 39044 markings/sec, 1630 secs
lola: 113 tries, 112006839 fired transitions, 1635 secs || 65758217 markings, 200452511 edges, 36878 markings/sec, 1635 secs
lola: 113 tries, 112317098 fired transitions, 1640 secs || 65962016 markings, 201051611 edges, 40760 markings/sec, 1640 secs
lola: 113 tries, 112626695 fired transitions, 1645 secs || 66163759 markings, 201654385 edges, 40349 markings/sec, 1645 secs
lola: 113 tries, 112937275 fired transitions, 1650 secs || 66360538 markings, 202260570 edges, 39356 markings/sec, 1650 secs
lola: 114 tries, 113253424 fired transitions, 1655 secs || 66540492 markings, 202873220 edges, 35991 markings/sec, 1655 secs
lola: 114 tries, 113578058 fired transitions, 1660 secs || 66711885 markings, 203507746 edges, 34279 markings/sec, 1660 secs
lola: 114 tries, 113886288 fired transitions, 1665 secs || 66900526 markings, 204115439 edges, 37728 markings/sec, 1665 secs
lola: 115 tries, 114193685 fired transitions, 1670 secs || 67091541 markings, 204721282 edges, 38203 markings/sec, 1670 secs
lola: 115 tries, 114501231 fired transitions, 1675 secs || 67286543 markings, 205330442 edges, 39000 markings/sec, 1675 secs
lola: 115 tries, 114812497 fired transitions, 1680 secs || 67480224 markings, 205958350 edges, 38736 markings/sec, 1680 secs
lola: 116 tries, 115122680 fired transitions, 1685 secs || 67671073 markings, 206578918 edges, 38170 markings/sec, 1685 secs
lola: 116 tries, 115427186 fired transitions, 1690 secs || 67862323 markings, 207157496 edges, 38250 markings/sec, 1690 secs
lola: 116 tries, 115733485 fired transitions, 1695 secs || 68049378 markings, 207732947 edges, 37411 markings/sec, 1695 secs
lola: 117 tries, 116040314 fired transitions, 1700 secs || 68238463 markings, 208307581 edges, 37817 markings/sec, 1700 secs
lola: 117 tries, 116346113 fired transitions, 1705 secs || 68430021 markings, 208900824 edges, 38312 markings/sec, 1705 secs
lola: 117 tries, 116657053 fired transitions, 1710 secs || 68614108 markings, 209500648 edges, 36817 markings/sec, 1710 secs
lola: 117 tries, 116967626 fired transitions, 1715 secs || 68806466 markings, 210088509 edges, 38472 markings/sec, 1715 secs
lola: 118 tries, 117279746 fired transitions, 1720 secs || 69009646 markings, 210680391 edges, 40636 markings/sec, 1720 secs
lola: 118 tries, 117588119 fired transitions, 1725 secs || 69213371 markings, 211260594 edges, 40745 markings/sec, 1725 secs
lola: 118 tries, 117902851 fired transitions, 1730 secs || 69408641 markings, 211853395 edges, 39054 markings/sec, 1730 secs
lola: 119 tries, 118211703 fired transitions, 1735 secs || 69599174 markings, 212463364 edges, 38107 markings/sec, 1735 secs
lola: 119 tries, 118520999 fired transitions, 1740 secs || 69794505 markings, 213059035 edges, 39066 markings/sec, 1740 secs
lola: 119 tries, 118831718 fired transitions, 1745 secs || 69995535 markings, 213649979 edges, 40206 markings/sec, 1745 secs
lola: 120 tries, 119144945 fired transitions, 1750 secs || 70197057 markings, 214248493 edges, 40304 markings/sec, 1750 secs
lola: 120 tries, 119454264 fired transitions, 1755 secs || 70394801 markings, 214840539 edges, 39549 markings/sec, 1755 secs
lola: 120 tries, 119762686 fired transitions, 1760 secs || 70590755 markings, 215441506 edges, 39191 markings/sec, 1760 secs
lola: 121 tries, 120074437 fired transitions, 1765 secs || 70779606 markings, 216076353 edges, 37770 markings/sec, 1765 secs
lola: 121 tries, 120382614 fired transitions, 1770 secs || 70979496 markings, 216659387 edges, 39978 markings/sec, 1770 secs
lola: 121 tries, 120689330 fired transitions, 1775 secs || 71173605 markings, 217262175 edges, 38822 markings/sec, 1775 secs
lola: 121 tries, 120994500 fired transitions, 1780 secs || 71370422 markings, 217866221 edges, 39363 markings/sec, 1780 secs
lola: 122 tries, 121303741 fired transitions, 1785 secs || 71561530 markings, 218493149 edges, 38222 markings/sec, 1785 secs
lola: 122 tries, 121615128 fired transitions, 1790 secs || 71760608 markings, 219100401 edges, 39816 markings/sec, 1790 secs
lola: 122 tries, 121926296 fired transitions, 1795 secs || 71960563 markings, 219708737 edges, 39991 markings/sec, 1795 secs
lola: 123 tries, 122236605 fired transitions, 1800 secs || 72161477 markings, 220314142 edges, 40183 markings/sec, 1800 secs
lola: 123 tries, 122550595 fired transitions, 1805 secs || 72359896 markings, 220927498 edges, 39684 markings/sec, 1805 secs
lola: 123 tries, 122860962 fired transitions, 1810 secs || 72554483 markings, 221553364 edges, 38917 markings/sec, 1810 secs
lola: 124 tries, 123168877 fired transitions, 1815 secs || 72758155 markings, 222140837 edges, 40734 markings/sec, 1815 secs
lola: 124 tries, 123476845 fired transitions, 1820 secs || 72952369 markings, 222735572 edges, 38843 markings/sec, 1820 secs
lola: 124 tries, 123786296 fired transitions, 1825 secs || 73149879 markings, 223341353 edges, 39502 markings/sec, 1825 secs
lola: 125 tries, 124092534 fired transitions, 1830 secs || 73340469 markings, 223950598 edges, 38118 markings/sec, 1830 secs
lola: 125 tries, 124404152 fired transitions, 1835 secs || 73533126 markings, 224564813 edges, 38531 markings/sec, 1835 secs
lola: 125 tries, 124713036 fired transitions, 1840 secs || 73728878 markings, 225164608 edges, 39150 markings/sec, 1840 secs
lola: 126 tries, 125021307 fired transitions, 1845 secs || 73920372 markings, 225753175 edges, 38299 markings/sec, 1845 secs
lola: 126 tries, 125326227 fired transitions, 1850 secs || 74112006 markings, 226346380 edges, 38327 markings/sec, 1850 secs
lola: 126 tries, 125635854 fired transitions, 1855 secs || 74297490 markings, 226955456 edges, 37097 markings/sec, 1855 secs
lola: 126 tries, 125944587 fired transitions, 1860 secs || 74490858 markings, 227580095 edges, 38674 markings/sec, 1860 secs
lola: 127 tries, 126256065 fired transitions, 1865 secs || 74691583 markings, 228176034 edges, 40145 markings/sec, 1865 secs
lola: 127 tries, 126565968 fired transitions, 1870 secs || 74887373 markings, 228786484 edges, 39158 markings/sec, 1870 secs
lola: 127 tries, 126877132 fired transitions, 1875 secs || 75078248 markings, 229417303 edges, 38175 markings/sec, 1875 secs
lola: 128 tries, 127186567 fired transitions, 1880 secs || 75267828 markings, 230037807 edges, 37916 markings/sec, 1880 secs
lola: 128 tries, 127503299 fired transitions, 1885 secs || 75461375 markings, 230667757 edges, 38709 markings/sec, 1885 secs
lola: 128 tries, 127810909 fired transitions, 1890 secs || 75650195 markings, 231295686 edges, 37764 markings/sec, 1890 secs
lola: 129 tries, 128122337 fired transitions, 1895 secs || 75838076 markings, 231925474 edges, 37576 markings/sec, 1895 secs
lola: 129 tries, 128426857 fired transitions, 1900 secs || 76023913 markings, 232512104 edges, 37167 markings/sec, 1900 secs
lola: 129 tries, 128743053 fired transitions, 1905 secs || 76212320 markings, 233133987 edges, 37681 markings/sec, 1905 secs
lola: 130 tries, 129065592 fired transitions, 1910 secs || 76412065 markings, 233721098 edges, 39949 markings/sec, 1910 secs
lola: 130 tries, 129381197 fired transitions, 1915 secs || 76608733 markings, 234326547 edges, 39334 markings/sec, 1915 secs
lola: 130 tries, 129691346 fired transitions, 1920 secs || 76800233 markings, 234964057 edges, 38300 markings/sec, 1920 secs
lola: 130 tries, 129998125 fired transitions, 1925 secs || 76997313 markings, 235569652 edges, 39416 markings/sec, 1925 secs
lola: 131 tries, 130307125 fired transitions, 1930 secs || 77195238 markings, 236178860 edges, 39585 markings/sec, 1930 secs
lola: 131 tries, 130622320 fired transitions, 1935 secs || 77377412 markings, 236839854 edges, 36435 markings/sec, 1935 secs
lola: 131 tries, 130930281 fired transitions, 1940 secs || 77556457 markings, 237441179 edges, 35809 markings/sec, 1940 secs
lola: 132 tries, 131237254 fired transitions, 1945 secs || 77749081 markings, 238066633 edges, 38525 markings/sec, 1945 secs
lola: 132 tries, 131547169 fired transitions, 1950 secs || 77940279 markings, 238685865 edges, 38240 markings/sec, 1950 secs
lola: 132 tries, 131859140 fired transitions, 1955 secs || 78140015 markings, 239286141 edges, 39947 markings/sec, 1955 secs
lola: 133 tries, 132169108 fired transitions, 1960 secs || 78334733 markings, 239914163 edges, 38944 markings/sec, 1960 secs
lola: 133 tries, 132479666 fired transitions, 1965 secs || 78525329 markings, 240536164 edges, 38119 markings/sec, 1965 secs
lola: 133 tries, 132789043 fired transitions, 1970 secs || 78713266 markings, 241164273 edges, 37587 markings/sec, 1970 secs
lola: 134 tries, 133103449 fired transitions, 1975 secs || 78897699 markings, 241818072 edges, 36887 markings/sec, 1975 secs
lola: 134 tries, 133416052 fired transitions, 1980 secs || 79083108 markings, 242468811 edges, 37082 markings/sec, 1980 secs
lola: 134 tries, 133734100 fired transitions, 1985 secs || 79265904 markings, 243126595 edges, 36559 markings/sec, 1985 secs
lola: 135 tries, 134043216 fired transitions, 1990 secs || 79454021 markings, 243760376 edges, 37623 markings/sec, 1990 secs
lola: 135 tries, 134352375 fired transitions, 1995 secs || 79642634 markings, 244403752 edges, 37723 markings/sec, 1995 secs
lola: 135 tries, 134660920 fired transitions, 2000 secs || 79832095 markings, 245008882 edges, 37892 markings/sec, 2000 secs
lola: 135 tries, 134968336 fired transitions, 2005 secs || 80021564 markings, 245624347 edges, 37894 markings/sec, 2005 secs
lola: 136 tries, 135280586 fired transitions, 2010 secs || 80205357 markings, 246259472 edges, 36759 markings/sec, 2010 secs
lola: 136 tries, 135591632 fired transitions, 2015 secs || 80388693 markings, 246918101 edges, 36667 markings/sec, 2015 secs
lola: 136 tries, 135904727 fired transitions, 2020 secs || 80571482 markings, 247589007 edges, 36558 markings/sec, 2020 secs
lola: 137 tries, 136219611 fired transitions, 2025 secs || 80754776 markings, 248247885 edges, 36659 markings/sec, 2025 secs
lola: 137 tries, 136529287 fired transitions, 2030 secs || 80940495 markings, 248874601 edges, 37144 markings/sec, 2030 secs
lola: 137 tries, 136840842 fired transitions, 2035 secs || 81120501 markings, 249547334 edges, 36001 markings/sec, 2035 secs
lola: 138 tries, 137149950 fired transitions, 2040 secs || 81309272 markings, 250189791 edges, 37754 markings/sec, 2040 secs
lola: 138 tries, 137460229 fired transitions, 2045 secs || 81497455 markings, 250826594 edges, 37637 markings/sec, 2045 secs
lola: 138 tries, 137773758 fired transitions, 2050 secs || 81680427 markings, 251500833 edges, 36594 markings/sec, 2050 secs
lola: 139 tries, 138086338 fired transitions, 2055 secs || 81863876 markings, 252159685 edges, 36690 markings/sec, 2055 secs
lola: 139 tries, 138407415 fired transitions, 2060 secs || 82040374 markings, 252841248 edges, 35300 markings/sec, 2060 secs
lola: 139 tries, 138717092 fired transitions, 2065 secs || 82227722 markings, 253448380 edges, 37470 markings/sec, 2065 secs
lola: 140 tries, 139026270 fired transitions, 2070 secs || 82413798 markings, 254066569 edges, 37215 markings/sec, 2070 secs
lola: 140 tries, 139338131 fired transitions, 2075 secs || 82597484 markings, 254691788 edges, 36737 markings/sec, 2075 secs
lola: 140 tries, 139649608 fired transitions, 2080 secs || 82782336 markings, 255312690 edges, 36970 markings/sec, 2080 secs
lola: 140 tries, 139962278 fired transitions, 2085 secs || 82964663 markings, 255947467 edges, 36465 markings/sec, 2085 secs
lola: 141 tries, 140277485 fired transitions, 2090 secs || 83151942 markings, 256595697 edges, 37456 markings/sec, 2090 secs
lola: 141 tries, 140589563 fired transitions, 2095 secs || 83344281 markings, 257221269 edges, 38468 markings/sec, 2095 secs
lola: 141 tries, 140900929 fired transitions, 2100 secs || 83538421 markings, 257852028 edges, 38828 markings/sec, 2100 secs
lola: 142 tries, 141217417 fired transitions, 2105 secs || 83716327 markings, 258524623 edges, 35581 markings/sec, 2105 secs
lola: 142 tries, 141521030 fired transitions, 2110 secs || 83914153 markings, 259123516 edges, 39565 markings/sec, 2110 secs
lola: 142 tries, 141828872 fired transitions, 2115 secs || 84108199 markings, 259731203 edges, 38809 markings/sec, 2115 secs
lola: 143 tries, 142137521 fired transitions, 2120 secs || 84300610 markings, 260332966 edges, 38482 markings/sec, 2120 secs
lola: 143 tries, 142444058 fired transitions, 2125 secs || 84498173 markings, 260924199 edges, 39513 markings/sec, 2125 secs
lola: 143 tries, 142759937 fired transitions, 2130 secs || 84678647 markings, 261581861 edges, 36095 markings/sec, 2130 secs
lola: 144 tries, 143075703 fired transitions, 2135 secs || 84859931 markings, 262245607 edges, 36257 markings/sec, 2135 secs
lola: 144 tries, 143387084 fired transitions, 2140 secs || 85046974 markings, 262861879 edges, 37409 markings/sec, 2140 secs
lola: 144 tries, 143695850 fired transitions, 2145 secs || 85230412 markings, 263503427 edges, 36688 markings/sec, 2145 secs
lola: 145 tries, 144008630 fired transitions, 2150 secs || 85414285 markings, 264152015 edges, 36775 markings/sec, 2150 secs
lola: 145 tries, 144321457 fired transitions, 2155 secs || 85597293 markings, 264797506 edges, 36602 markings/sec, 2155 secs
lola: 145 tries, 144637841 fired transitions, 2160 secs || 85778090 markings, 265472345 edges, 36159 markings/sec, 2160 secs
lola: 145 tries, 144950437 fired transitions, 2165 secs || 85959651 markings, 266146432 edges, 36312 markings/sec, 2165 secs
lola: 146 tries, 145260979 fired transitions, 2170 secs || 86143356 markings, 266799190 edges, 36741 markings/sec, 2170 secs
lola: 146 tries, 145578090 fired transitions, 2175 secs || 86324003 markings, 267483633 edges, 36129 markings/sec, 2175 secs
lola: 146 tries, 145894681 fired transitions, 2180 secs || 86504896 markings, 268160550 edges, 36179 markings/sec, 2180 secs
lola: 147 tries, 146232796 fired transitions, 2185 secs || 86666656 markings, 268936969 edges, 32352 markings/sec, 2185 secs
lola: 147 tries, 146562372 fired transitions, 2190 secs || 86837069 markings, 269666671 edges, 34083 markings/sec, 2190 secs
lola: 147 tries, 146869166 fired transitions, 2195 secs || 87037994 markings, 270263525 edges, 40185 markings/sec, 2195 secs
lola: 148 tries, 147138333 fired transitions, 2200 secs || 87224258 markings, 270918352 edges, 37253 markings/sec, 2200 secs
lola: 148 tries, 147370248 fired transitions, 2205 secs || 87416395 markings, 271482624 edges, 38427 markings/sec, 2205 secs
lola: 148 tries, 147607351 fired transitions, 2210 secs || 87624568 markings, 272064581 edges, 41635 markings/sec, 2210 secs
lola: 148 tries, 147847371 fired transitions, 2215 secs || 87819925 markings, 272689586 edges, 39071 markings/sec, 2215 secs
lola: 149 tries, 148108288 fired transitions, 2220 secs || 88004613 markings, 273291812 edges, 36938 markings/sec, 2220 secs
lola: 149 tries, 148414950 fired transitions, 2225 secs || 88209442 markings, 273862942 edges, 40966 markings/sec, 2225 secs
lola: 149 tries, 148719482 fired transitions, 2230 secs || 88412887 markings, 274434043 edges, 40689 markings/sec, 2230 secs
lola: 150 tries, 149026240 fired transitions, 2235 secs || 88612357 markings, 275030675 edges, 39894 markings/sec, 2235 secs
lola: 150 tries, 149336350 fired transitions, 2240 secs || 88806356 markings, 275652671 edges, 38800 markings/sec, 2240 secs
lola: 150 tries, 149647245 fired transitions, 2245 secs || 88990878 markings, 276272561 edges, 36904 markings/sec, 2245 secs
lola: 150 tries, 149954641 fired transitions, 2250 secs || 89183674 markings, 276873129 edges, 38559 markings/sec, 2250 secs
lola: 151 tries, 150256235 fired transitions, 2255 secs || 89386307 markings, 277456055 edges, 40527 markings/sec, 2255 secs
lola: 151 tries, 150560431 fired transitions, 2260 secs || 89589860 markings, 278049673 edges, 40711 markings/sec, 2260 secs
lola: 151 tries, 150866111 fired transitions, 2265 secs || 89790785 markings, 278634750 edges, 40185 markings/sec, 2265 secs
lola: 152 tries, 151172479 fired transitions, 2270 secs || 89987276 markings, 279239211 edges, 39298 markings/sec, 2270 secs
lola: 152 tries, 151483420 fired transitions, 2275 secs || 90170457 markings, 279884904 edges, 36636 markings/sec, 2275 secs
lola: 152 tries, 151788949 fired transitions, 2280 secs || 90359983 markings, 280452137 edges, 37905 markings/sec, 2280 secs
lola: 153 tries, 152096907 fired transitions, 2285 secs || 90565162 markings, 281008946 edges, 41036 markings/sec, 2285 secs
lola: 153 tries, 152407142 fired transitions, 2290 secs || 90767221 markings, 281577835 edges, 40412 markings/sec, 2290 secs
lola: 153 tries, 152711810 fired transitions, 2295 secs || 90967406 markings, 282142227 edges, 40037 markings/sec, 2295 secs
lola: 154 tries, 153019839 fired transitions, 2300 secs || 91166104 markings, 282724645 edges, 39740 markings/sec, 2300 secs
lola: 154 tries, 153323149 fired transitions, 2305 secs || 91361658 markings, 283318496 edges, 39111 markings/sec, 2305 secs
lola: 154 tries, 153627093 fired transitions, 2310 secs || 91558923 markings, 283905657 edges, 39453 markings/sec, 2310 secs
lola: 154 tries, 153937371 fired transitions, 2315 secs || 91750165 markings, 284526737 edges, 38248 markings/sec, 2315 secs
lola: 155 tries, 154249302 fired transitions, 2320 secs || 91929879 markings, 285132625 edges, 35943 markings/sec, 2320 secs
lola: 155 tries, 154554506 fired transitions, 2325 secs || 92121893 markings, 285713631 edges, 38403 markings/sec, 2325 secs
lola: 155 tries, 154863380 fired transitions, 2330 secs || 92326080 markings, 286288302 edges, 40837 markings/sec, 2330 secs
lola: 156 tries, 155172692 fired transitions, 2335 secs || 92533751 markings, 286858814 edges, 41534 markings/sec, 2335 secs
lola: 156 tries, 155479191 fired transitions, 2340 secs || 92731686 markings, 287454926 edges, 39587 markings/sec, 2340 secs
lola: 156 tries, 155786256 fired transitions, 2345 secs || 92931398 markings, 288041982 edges, 39942 markings/sec, 2345 secs
lola: 157 tries, 156092911 fired transitions, 2350 secs || 93130967 markings, 288629638 edges, 39914 markings/sec, 2350 secs
lola: 157 tries, 156395043 fired transitions, 2355 secs || 93328297 markings, 289233351 edges, 39466 markings/sec, 2355 secs
lola: 157 tries, 156716931 fired transitions, 2360 secs || 93510033 markings, 289916812 edges, 36347 markings/sec, 2360 secs
lola: 158 tries, 157022361 fired transitions, 2365 secs || 93695876 markings, 290486572 edges, 37169 markings/sec, 2365 secs
lola: 158 tries, 157329534 fired transitions, 2370 secs || 93888624 markings, 291064517 edges, 38550 markings/sec, 2370 secs
lola: 158 tries, 157637419 fired transitions, 2375 secs || 94093216 markings, 291644151 edges, 40918 markings/sec, 2375 secs
lola: 158 tries, 157948615 fired transitions, 2380 secs || 94298726 markings, 292216814 edges, 41102 markings/sec, 2380 secs
lola: 159 tries, 158197789 fired transitions, 2385 secs || 94498840 markings, 292821416 edges, 40023 markings/sec, 2385 secs
lola: 159 tries, 158434813 fired transitions, 2390 secs || 94698516 markings, 293434579 edges, 39935 markings/sec, 2390 secs
lola: 159 tries, 158674964 fired transitions, 2395 secs || 94890445 markings, 294083700 edges, 38386 markings/sec, 2395 secs
lola: 159 tries, 158913338 fired transitions, 2400 secs || 95069334 markings, 294719258 edges, 35778 markings/sec, 2400 secs
lola: 160 tries, 159149495 fired transitions, 2405 secs || 95258144 markings, 295316323 edges, 37762 markings/sec, 2405 secs
lola: 160 tries, 159387526 fired transitions, 2410 secs || 95460760 markings, 295915318 edges, 40523 markings/sec, 2410 secs
lola: 160 tries, 159626435 fired transitions, 2415 secs || 95665628 markings, 296511671 edges, 40974 markings/sec, 2415 secs
lola: 160 tries, 159868001 fired transitions, 2420 secs || 95858771 markings, 297144127 edges, 38629 markings/sec, 2420 secs
lola: 161 tries, 160145664 fired transitions, 2425 secs || 96042871 markings, 297819955 edges, 36820 markings/sec, 2425 secs
lola: 161 tries, 160454305 fired transitions, 2430 secs || 96229194 markings, 298425377 edges, 37265 markings/sec, 2430 secs
lola: 161 tries, 160766302 fired transitions, 2435 secs || 96415211 markings, 299070836 edges, 37203 markings/sec, 2435 secs
lola: 162 tries, 161072172 fired transitions, 2440 secs || 96604204 markings, 299687734 edges, 37799 markings/sec, 2440 secs
lola: 162 tries, 161378645 fired transitions, 2445 secs || 96810960 markings, 300274659 edges, 41351 markings/sec, 2445 secs
lola: 162 tries, 161685161 fired transitions, 2450 secs || 97011215 markings, 300864846 edges, 40051 markings/sec, 2450 secs
lola: 162 tries, 161994956 fired transitions, 2455 secs || 97206304 markings, 301485629 edges, 39018 markings/sec, 2455 secs
lola: 163 tries, 162303351 fired transitions, 2460 secs || 97396745 markings, 302109278 edges, 38088 markings/sec, 2460 secs
lola: 163 tries, 162615105 fired transitions, 2465 secs || 97584374 markings, 302745286 edges, 37526 markings/sec, 2465 secs
lola: 163 tries, 162920974 fired transitions, 2470 secs || 97771627 markings, 303340965 edges, 37451 markings/sec, 2470 secs
lola: 164 tries, 163222107 fired transitions, 2475 secs || 97969793 markings, 303928824 edges, 39633 markings/sec, 2475 secs
lola: 164 tries, 163531326 fired transitions, 2480 secs || 98173635 markings, 304524697 edges, 40768 markings/sec, 2480 secs
lola: 164 tries, 163840263 fired transitions, 2485 secs || 98372268 markings, 305118858 edges, 39727 markings/sec, 2485 secs
lola: 165 tries, 164146058 fired transitions, 2490 secs || 98567693 markings, 305728456 edges, 39085 markings/sec, 2490 secs
lola: 165 tries, 164456086 fired transitions, 2495 secs || 98764953 markings, 306344885 edges, 39452 markings/sec, 2495 secs
lola: 165 tries, 164760483 fired transitions, 2500 secs || 98959826 markings, 306955981 edges, 38975 markings/sec, 2500 secs
lola: 166 tries, 165068923 fired transitions, 2505 secs || 99149632 markings, 307584306 edges, 37961 markings/sec, 2505 secs
lola: 166 tries, 165377266 fired transitions, 2510 secs || 99339180 markings, 308185390 edges, 37910 markings/sec, 2510 secs
lola: 166 tries, 165684916 fired transitions, 2515 secs || 99530203 markings, 308783222 edges, 38205 markings/sec, 2515 secs
lola: 166 tries, 165992486 fired transitions, 2520 secs || 99727622 markings, 309384503 edges, 39484 markings/sec, 2520 secs
lola: 167 tries, 166303448 fired transitions, 2525 secs || 99925860 markings, 309988436 edges, 39648 markings/sec, 2525 secs
lola: 167 tries, 166611141 fired transitions, 2530 secs || 100122557 markings, 310597585 edges, 39339 markings/sec, 2530 secs
lola: 167 tries, 166917253 fired transitions, 2535 secs || 100319044 markings, 311215337 edges, 39297 markings/sec, 2535 secs
lola: 168 tries, 167229222 fired transitions, 2540 secs || 100504895 markings, 311874861 edges, 37170 markings/sec, 2540 secs
lola: 168 tries, 167533005 fired transitions, 2545 secs || 100703598 markings, 312482926 edges, 39741 markings/sec, 2545 secs
lola: 168 tries, 167835982 fired transitions, 2550 secs || 100889964 markings, 313087329 edges, 37273 markings/sec, 2550 secs
lola: 169 tries, 168138038 fired transitions, 2555 secs || 101088807 markings, 313682336 edges, 39769 markings/sec, 2555 secs
lola: 169 tries, 168448451 fired transitions, 2560 secs || 101294238 markings, 314281196 edges, 41086 markings/sec, 2560 secs
lola: 169 tries, 168758550 fired transitions, 2565 secs || 101489388 markings, 314891951 edges, 39030 markings/sec, 2565 secs
lola: 170 tries, 169067277 fired transitions, 2570 secs || 101687118 markings, 315503114 edges, 39546 markings/sec, 2570 secs
lola: 170 tries, 169391885 fired transitions, 2575 secs || 101862827 markings, 316218075 edges, 35142 markings/sec, 2575 secs
lola: 170 tries, 169710805 fired transitions, 2580 secs || 102040041 markings, 316891688 edges, 35443 markings/sec, 2580 secs
lola: 171 tries, 170027003 fired transitions, 2585 secs || 102219154 markings, 317551710 edges, 35823 markings/sec, 2585 secs
lola: 171 tries, 170348715 fired transitions, 2590 secs || 102392674 markings, 318244614 edges, 34704 markings/sec, 2590 secs
lola: 171 tries, 170662321 fired transitions, 2595 secs || 102573605 markings, 318905156 edges, 36186 markings/sec, 2595 secs
lola: 171 tries, 170975277 fired transitions, 2600 secs || 102757017 markings, 319564732 edges, 36682 markings/sec, 2600 secs
lola: 172 tries, 171285963 fired transitions, 2605 secs || 102944509 markings, 320209345 edges, 37498 markings/sec, 2605 secs
lola: 172 tries, 171587925 fired transitions, 2610 secs || 103145440 markings, 320811179 edges, 40186 markings/sec, 2610 secs
lola: 172 tries, 171894411 fired transitions, 2615 secs || 103342728 markings, 321451052 edges, 39458 markings/sec, 2615 secs
lola: 173 tries, 172204076 fired transitions, 2620 secs || 103532744 markings, 322079857 edges, 38003 markings/sec, 2620 secs
lola: 173 tries, 172516481 fired transitions, 2625 secs || 103710433 markings, 322750586 edges, 35538 markings/sec, 2625 secs
lola: 173 tries, 172839067 fired transitions, 2630 secs || 103886467 markings, 323439426 edges, 35207 markings/sec, 2630 secs
lola: 174 tries, 173173746 fired transitions, 2635 secs || 104051701 markings, 324172743 edges, 33047 markings/sec, 2635 secs
lola: 174 tries, 173528883 fired transitions, 2640 secs || 104211255 markings, 324886598 edges, 31911 markings/sec, 2640 secs
lola: 174 tries, 173861440 fired transitions, 2645 secs || 104387258 markings, 325545786 edges, 35201 markings/sec, 2645 secs
lola: 175 tries, 174191085 fired transitions, 2650 secs || 104571241 markings, 326167795 edges, 36797 markings/sec, 2650 secs
lola: 175 tries, 174522650 fired transitions, 2655 secs || 104746309 markings, 326825303 edges, 35014 markings/sec, 2655 secs
lola: 175 tries, 174848804 fired transitions, 2660 secs || 104928736 markings, 327444454 edges, 36485 markings/sec, 2660 secs
lola: 176 tries, 175171392 fired transitions, 2665 secs || 105107531 markings, 328106631 edges, 35759 markings/sec, 2665 secs
lola: 176 tries, 175484579 fired transitions, 2670 secs || 105296190 markings, 328723926 edges, 37732 markings/sec, 2670 secs
lola: 176 tries, 175804294 fired transitions, 2675 secs || 105478364 markings, 329362885 edges, 36435 markings/sec, 2675 secs
lola: 177 tries, 176123687 fired transitions, 2680 secs || 105663233 markings, 330000162 edges, 36974 markings/sec, 2680 secs
lola: 177 tries, 176513355 fired transitions, 2685 secs || 105860669 markings, 330749959 edges, 39487 markings/sec, 2685 secs
lola: 177 tries, 176942377 fired transitions, 2690 secs || 106074722 markings, 331564814 edges, 42811 markings/sec, 2690 secs
lola: 178 tries, 177344759 fired transitions, 2695 secs || 106288208 markings, 332339873 edges, 42697 markings/sec, 2695 secs
lola: 178 tries, 177675255 fired transitions, 2700 secs || 106462212 markings, 333008196 edges, 34801 markings/sec, 2700 secs
lola: 179 tries, 178003968 fired transitions, 2705 secs || 106635151 markings, 333684605 edges, 34588 markings/sec, 2705 secs
lola: 179 tries, 178331487 fired transitions, 2710 secs || 106809387 markings, 334359372 edges, 34847 markings/sec, 2710 secs
lola: 179 tries, 178664409 fired transitions, 2715 secs || 106975949 markings, 335052177 edges, 33312 markings/sec, 2715 secs
lola: 179 tries, 178995979 fired transitions, 2720 secs || 107145685 markings, 335746728 edges, 33947 markings/sec, 2720 secs
lola: 180 tries, 179333744 fired transitions, 2725 secs || 107312580 markings, 336456289 edges, 33379 markings/sec, 2725 secs
lola: 180 tries, 179757384 fired transitions, 2730 secs || 107509510 markings, 337290515 edges, 39386 markings/sec, 2730 secs
lola: 181 tries, 180106436 fired transitions, 2735 secs || 107667381 markings, 338025432 edges, 31574 markings/sec, 2735 secs
lola: 181 tries, 180435804 fired transitions, 2740 secs || 107840078 markings, 338722050 edges, 34539 markings/sec, 2740 secs
lola: 181 tries, 180832539 fired transitions, 2745 secs || 108026742 markings, 339537723 edges, 37333 markings/sec, 2745 secs
lola: 182 tries, 181179673 fired transitions, 2750 secs || 108183631 markings, 340270608 edges, 31378 markings/sec, 2750 secs
lola: 182 tries, 181545650 fired transitions, 2755 secs || 108325306 markings, 341061271 edges, 28335 markings/sec, 2755 secs
lola: 182 tries, 181905755 fired transitions, 2760 secs || 108471172 markings, 341826995 edges, 29173 markings/sec, 2760 secs
lola: 183 tries, 182256770 fired transitions, 2765 secs || 108627313 markings, 342569371 edges, 31228 markings/sec, 2765 secs
lola: 183 tries, 182614797 fired transitions, 2770 secs || 108775518 markings, 343344047 edges, 29641 markings/sec, 2770 secs
lola: 184 tries, 183004608 fired transitions, 2775 secs || 108895443 markings, 344214688 edges, 23985 markings/sec, 2775 secs
lola: 184 tries, 183402982 fired transitions, 2780 secs || 109004235 markings, 345122859 edges, 21758 markings/sec, 2780 secs
lola: 184 tries, 183809481 fired transitions, 2785 secs || 109097122 markings, 346077466 edges, 18577 markings/sec, 2785 secs
lola: 185 tries, 184223428 fired transitions, 2790 secs || 109180167 markings, 347058981 edges, 16609 markings/sec, 2790 secs
lola: 185 tries, 184645372 fired transitions, 2795 secs || 109255256 markings, 348066764 edges, 15018 markings/sec, 2795 secs
lola: 186 tries, 185065233 fired transitions, 2800 secs || 109322847 markings, 349104558 edges, 13518 markings/sec, 2800 secs
lola: 186 tries, 185489535 fired transitions, 2805 secs || 109382634 markings, 350175609 edges, 11957 markings/sec, 2805 secs
lola: 186 tries, 185917230 fired transitions, 2810 secs || 109434395 markings, 351294284 edges, 10352 markings/sec, 2810 secs
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 109464430 markings, 352458673 edges
lola: memory consumption: 4755052 KB
lola: time consumption: 2824 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552765193085

--------------------
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="LamportFastMutEx-COL-5"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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