About the Execution of ITS-LoLa for CloudDeployment-PT-6a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.110 | 1800000.00 | 3569479.00 | 7084.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r169-smll-158987808500206.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CloudDeployment-PT-6a, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r169-smll-158987808500206
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 317K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME ReachabilityDeadlock
=== Now, execution of the tool begins
BK_START 1591440492437
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 10:48:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityDeadlock, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 1800, -rebuildPNML]
[2020-06-06 10:48:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 10:48:14] [INFO ] Load time of PNML (sax parser for PT used): 175 ms
[2020-06-06 10:48:14] [INFO ] Transformed 221 places.
[2020-06-06 10:48:14] [INFO ] Transformed 908 transitions.
[2020-06-06 10:48:14] [INFO ] Found NUPN structural information;
[2020-06-06 10:48:14] [INFO ] Parsed PT model containing 221 places and 908 transitions in 240 ms.
Ensure Unique test removed 114 transitions
Reduce redundant transitions removed 114 transitions.
Parsed 1 properties from file /home/mcc/execution/ReachabilityDeadlock.xml in 24 ms.
Working with output stream class java.io.PrintStream
Built sparse matrix representations for Structural reductions in 6 ms.18328KB memory used
Starting structural reductions, iteration 0 : 221/221 places, 794/794 transitions.
Graph (trivial) has 241 edges and 221 vertex of which 60 / 221 are part of one of the 18 SCC in 6 ms
Free SCC test removed 42 places
Discarding 13 places :
Also discarding 0 output transitions
Graph (complete) has 2101 edges and 179 vertex of which 166 are kept as prefixes of interest. Removing 13 places using SCC suffix rule.16 ms
Ensure Unique test removed 120 transitions
Reduce isomorphic transitions removed 120 transitions.
Iterating post reduction 0 with 120 rules applied. Total rules applied 122 place count 166 transition count 674
Symmetric choice reduction at 1 with 4 rule applications. Total rules 126 place count 166 transition count 674
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 4 transitions.
Iterating global reduction 1 with 8 rules applied. Total rules applied 134 place count 162 transition count 670
Symmetric choice reduction at 1 with 3 rule applications. Total rules 137 place count 162 transition count 670
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 1 with 6 rules applied. Total rules applied 143 place count 159 transition count 667
Symmetric choice reduction at 1 with 2 rule applications. Total rules 145 place count 159 transition count 667
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 149 place count 157 transition count 665
Symmetric choice reduction at 1 with 1 rule applications. Total rules 150 place count 157 transition count 665
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 152 place count 156 transition count 664
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: -66
Deduced a syphon composed of 18 places in 1 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 1 with 36 rules applied. Total rules applied 188 place count 138 transition count 730
Drop transitions removed 183 transitions
Redundant transition composition rules discarded 183 transitions
Iterating global reduction 1 with 183 rules applied. Total rules applied 371 place count 138 transition count 547
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 1 rules applied. Total rules applied 372 place count 137 transition count 546
Applied a total of 372 rules in 258 ms. Remains 137 /221 variables (removed 84) and now considering 546/794 (removed 248) transitions.
Finished structural reductions, in 1 iterations. Remains : 137/221 places, 546/794 transitions.
Random walk for 1250000 steps, including 20687 resets, run took 3934 ms (no deadlock found). (steps per millisecond=317 )
Random directed walk for 1250002 steps, including 5378 resets, run took 2942 ms (no deadlock found). (steps per millisecond=424 )
[2020-06-06 10:48:22] [INFO ] Flow matrix only has 205 transitions (discarded 341 similar events)
// Phase 1: matrix 205 rows 137 cols
[2020-06-06 10:48:22] [INFO ] Computed 23 place invariants in 12 ms
[2020-06-06 10:48:22] [INFO ] [Real]Absence check using 0 positive and 23 generalized place invariants in 18 ms returned sat
[2020-06-06 10:48:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 10:48:22] [INFO ] [Real]Absence check using state equation in 241 ms returned sat
[2020-06-06 10:48:22] [INFO ] State equation strengthened by 8 read => feed constraints.
[2020-06-06 10:48:22] [INFO ] [Real]Added 8 Read/Feed constraints in 15 ms returned sat
[2020-06-06 10:48:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 10:48:22] [INFO ] [Nat]Absence check using 0 positive and 23 generalized place invariants in 15 ms returned sat
[2020-06-06 10:48:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 10:48:23] [INFO ] [Nat]Absence check using state equation in 225 ms returned sat
[2020-06-06 10:48:23] [INFO ] State equation strengthened by 8 read => feed constraints.
[2020-06-06 10:48:23] [INFO ] [Nat]Added 8 Read/Feed constraints in 15 ms returned sat
[2020-06-06 10:48:23] [INFO ] Computed and/alt/rep : 455/2122/167 causal constraints in 27 ms.
[2020-06-06 10:48:23] [INFO ] Added : 97 causal constraints over 20 iterations in 560 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 15 ms.
Parikh directed walk for 11000 steps, including 181 resets, run took 73 ms. (steps per millisecond=150 )
Random directed walk for 500000 steps, including 2158 resets, run took 1195 ms (no deadlock found). (steps per millisecond=418 )
Random walk for 500000 steps, including 8295 resets, run took 1515 ms (no deadlock found). (steps per millisecond=330 )
Random directed walk for 500003 steps, including 2155 resets, run took 1137 ms (no deadlock found). (steps per millisecond=439 )
Random walk for 500000 steps, including 8237 resets, run took 1508 ms (no deadlock found). (steps per millisecond=331 )
[2020-06-06 10:48:29] [INFO ] Flatten gal took : 159 ms
[2020-06-06 10:48:29] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityDeadlock.sr.xml took 1 ms.
[2020-06-06 10:48:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms.
info: Time: 1800 - MCC
vrfy: Checking ReachabilityDeadlock @ CloudDeployment-PT-6a @ 1770 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityDeadlock @ CloudDeployment-PT-6a
{
"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": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=ReachabilityDeadlock.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=1770",
"--json=ReachabilityDeadlock.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Jun 6 10:48:30 2020
",
"timelimit": 1770
},
"child": null,
"exit":
{
"error": null,
"memory": 3040312,
"runtime": 1770.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "ReachabilityDeadlock.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": 5109,
"conflict_clusters": 52,
"places": 221,
"places_significant": 185,
"singleton_clusters": 0,
"transitions": 794
},
"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": 4483454976000.000000,
"composed": 76,
"dead_branches": 0,
"generators": 93,
"interrupted": false,
"real_computed": 17,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 1770 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: 1015/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7072
lola: finding significant places
lola: 221 places, 794 transitions, 185 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 ReachabilityDeadlock.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 ReachabilityDeadlock.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 93 generators (17 in search tree, 76 by composition)
lola: representing 4.48345E+12 symmetries
lola: 0 dead branches visited in search tree
lola: 6 tries, 5039000 fired transitions, 0 secs || 224695 markings, 697276 edges, 44939 markings/sec, 0 secs
lola: 6 tries, 5164347 fired transitions, 5 secs || 419650 markings, 1240491 edges, 38991 markings/sec, 5 secs
lola: 6 tries, 5290132 fired transitions, 10 secs || 626222 markings, 1905093 edges, 41314 markings/sec, 10 secs
lola: 6 tries, 5416736 fired transitions, 15 secs || 838885 markings, 2614089 edges, 42533 markings/sec, 15 secs
lola: 6 tries, 5543312 fired transitions, 20 secs || 1056225 markings, 3329999 edges, 43468 markings/sec, 20 secs
lola: 6 tries, 5669330 fired transitions, 25 secs || 1268800 markings, 3965936 edges, 42515 markings/sec, 25 secs
lola: 6 tries, 5795513 fired transitions, 30 secs || 1462317 markings, 4536665 edges, 38703 markings/sec, 30 secs
lola: 6 tries, 5922181 fired transitions, 35 secs || 1678585 markings, 5186574 edges, 43254 markings/sec, 35 secs
lola: 9 tries, 8857803 fired transitions, 40 secs || 1917762 markings, 5963837 edges, 47835 markings/sec, 40 secs
lola: 17 tries, 16336556 fired transitions, 45 secs || 2223006 markings, 6854020 edges, 61049 markings/sec, 45 secs
lola: 24 tries, 23940238 fired transitions, 50 secs || 2579985 markings, 7833035 edges, 71396 markings/sec, 50 secs
lola: 26 tries, 25107801 fired transitions, 55 secs || 2837017 markings, 8649468 edges, 51406 markings/sec, 55 secs
lola: 26 tries, 25234388 fired transitions, 60 secs || 3061404 markings, 9430429 edges, 44877 markings/sec, 60 secs
lola: 26 tries, 25360665 fired transitions, 65 secs || 3282405 markings, 10135127 edges, 44200 markings/sec, 65 secs
lola: 26 tries, 25488627 fired transitions, 70 secs || 3473940 markings, 10885036 edges, 38307 markings/sec, 70 secs
lola: 26 tries, 25615700 fired transitions, 75 secs || 3673677 markings, 11617806 edges, 39947 markings/sec, 75 secs
lola: 26 tries, 25743108 fired transitions, 80 secs || 3898205 markings, 12383268 edges, 44906 markings/sec, 80 secs
lola: 26 tries, 25870376 fired transitions, 85 secs || 4130112 markings, 13152962 edges, 46381 markings/sec, 85 secs
lola: 26 tries, 25997343 fired transitions, 90 secs || 4376107 markings, 13970604 edges, 49199 markings/sec, 90 secs
lola: 27 tries, 26124059 fired transitions, 95 secs || 4620048 markings, 14780202 edges, 48788 markings/sec, 95 secs
lola: 27 tries, 26250541 fired transitions, 100 secs || 4872223 markings, 15587438 edges, 50435 markings/sec, 100 secs
lola: 27 tries, 26376566 fired transitions, 105 secs || 5135667 markings, 16412723 edges, 52689 markings/sec, 105 secs
lola: 27 tries, 26503579 fired transitions, 110 secs || 5373815 markings, 17226979 edges, 47630 markings/sec, 110 secs
lola: 27 tries, 26630439 fired transitions, 115 secs || 5601533 markings, 17952090 edges, 45544 markings/sec, 115 secs
lola: 27 tries, 26757731 fired transitions, 120 secs || 5819165 markings, 18616239 edges, 43526 markings/sec, 120 secs
lola: 27 tries, 26884544 fired transitions, 125 secs || 6059884 markings, 19367881 edges, 48144 markings/sec, 125 secs
lola: 28 tries, 27629836 fired transitions, 130 secs || 6304372 markings, 20060934 edges, 48898 markings/sec, 130 secs
lola: 29 tries, 28120644 fired transitions, 135 secs || 6551822 markings, 20867734 edges, 49490 markings/sec, 135 secs
lola: 29 tries, 28247960 fired transitions, 140 secs || 6781517 markings, 21641638 edges, 45939 markings/sec, 140 secs
lola: 29 tries, 28374191 fired transitions, 145 secs || 7047383 markings, 22498191 edges, 53173 markings/sec, 145 secs
lola: 29 tries, 28500857 fired transitions, 150 secs || 7291587 markings, 23240345 edges, 48841 markings/sec, 150 secs
lola: 29 tries, 28627535 fired transitions, 155 secs || 7528903 markings, 23995589 edges, 47463 markings/sec, 155 secs
lola: 29 tries, 28755399 fired transitions, 160 secs || 7763711 markings, 24763712 edges, 46962 markings/sec, 160 secs
lola: 29 tries, 28882452 fired transitions, 165 secs || 8008284 markings, 25520781 edges, 48915 markings/sec, 165 secs
lola: 30 tries, 29541745 fired transitions, 170 secs || 8255376 markings, 26287655 edges, 49418 markings/sec, 170 secs
lola: 37 tries, 36014424 fired transitions, 175 secs || 8535584 markings, 27117317 edges, 56042 markings/sec, 175 secs
lola: 37 tries, 36141322 fired transitions, 180 secs || 8734867 markings, 27821291 edges, 39857 markings/sec, 180 secs
lola: 37 tries, 36267427 fired transitions, 185 secs || 8940143 markings, 28541709 edges, 41055 markings/sec, 185 secs
lola: 37 tries, 36393564 fired transitions, 190 secs || 9145703 markings, 29221052 edges, 41112 markings/sec, 190 secs
lola: 37 tries, 36519710 fired transitions, 195 secs || 9335730 markings, 29901923 edges, 38005 markings/sec, 195 secs
lola: 37 tries, 36646126 fired transitions, 200 secs || 9552714 markings, 30686402 edges, 43397 markings/sec, 200 secs
lola: 37 tries, 36772542 fired transitions, 205 secs || 9749636 markings, 31437839 edges, 39384 markings/sec, 205 secs
lola: 37 tries, 36899523 fired transitions, 210 secs || 9942049 markings, 32132979 edges, 38483 markings/sec, 210 secs
lola: 39 tries, 38571604 fired transitions, 215 secs || 10155198 markings, 32887058 edges, 42630 markings/sec, 215 secs
lola: 46 tries, 45485981 fired transitions, 220 secs || 10357346 markings, 33707069 edges, 40430 markings/sec, 220 secs
lola: 53 tries, 52014142 fired transitions, 225 secs || 10613781 markings, 34550132 edges, 51287 markings/sec, 225 secs
lola: 53 tries, 52140624 fired transitions, 230 secs || 10860109 markings, 35405003 edges, 49266 markings/sec, 230 secs
lola: 53 tries, 52266818 fired transitions, 235 secs || 11119362 markings, 36288905 edges, 51851 markings/sec, 235 secs
lola: 53 tries, 52393504 fired transitions, 240 secs || 11374698 markings, 37165153 edges, 51067 markings/sec, 240 secs
lola: 53 tries, 52519870 fired transitions, 245 secs || 11634545 markings, 37980491 edges, 51969 markings/sec, 245 secs
lola: 53 tries, 52647029 fired transitions, 250 secs || 11874848 markings, 38752108 edges, 48061 markings/sec, 250 secs
lola: 53 tries, 52773823 fired transitions, 255 secs || 12119474 markings, 39560512 edges, 48925 markings/sec, 255 secs
lola: 53 tries, 52901125 fired transitions, 260 secs || 12355592 markings, 40371255 edges, 47224 markings/sec, 260 secs
lola: 55 tries, 54620587 fired transitions, 265 secs || 12608810 markings, 41191892 edges, 50644 markings/sec, 265 secs
lola: 62 tries, 61593783 fired transitions, 270 secs || 12933503 markings, 42089458 edges, 64939 markings/sec, 270 secs
lola: 63 tries, 62121377 fired transitions, 275 secs || 13143819 markings, 42905179 edges, 42063 markings/sec, 275 secs
lola: 63 tries, 62249424 fired transitions, 280 secs || 13343264 markings, 43741719 edges, 39889 markings/sec, 280 secs
lola: 63 tries, 62377322 fired transitions, 285 secs || 13538781 markings, 44572128 edges, 39103 markings/sec, 285 secs
lola: 63 tries, 62505181 fired transitions, 290 secs || 13742333 markings, 45407106 edges, 40710 markings/sec, 290 secs
lola: 63 tries, 62633144 fired transitions, 295 secs || 13946200 markings, 46237688 edges, 40773 markings/sec, 295 secs
lola: 63 tries, 62761625 fired transitions, 300 secs || 14147152 markings, 47113998 edges, 40190 markings/sec, 300 secs
lola: 63 tries, 62888355 fired transitions, 305 secs || 14370018 markings, 48004328 edges, 44573 markings/sec, 305 secs
lola: 64 tries, 63902796 fired transitions, 310 secs || 14611348 markings, 48880388 edges, 48266 markings/sec, 310 secs
lola: 66 tries, 65108617 fired transitions, 315 secs || 14859732 markings, 49748147 edges, 49677 markings/sec, 315 secs
lola: 66 tries, 65235286 fired transitions, 320 secs || 15118415 markings, 50706357 edges, 51737 markings/sec, 320 secs
lola: 66 tries, 65362099 fired transitions, 325 secs || 15330779 markings, 51580076 edges, 42473 markings/sec, 325 secs
lola: 66 tries, 65489149 fired transitions, 330 secs || 15558529 markings, 52475479 edges, 45550 markings/sec, 330 secs
lola: 66 tries, 65615862 fired transitions, 335 secs || 15807270 markings, 53416018 edges, 49748 markings/sec, 335 secs
lola: 66 tries, 65742867 fired transitions, 340 secs || 16027866 markings, 54188589 edges, 44119 markings/sec, 340 secs
lola: 66 tries, 65870081 fired transitions, 345 secs || 16216469 markings, 54873373 edges, 37721 markings/sec, 345 secs
lola: 66 tries, 65997146 fired transitions, 350 secs || 16410700 markings, 55612810 edges, 38846 markings/sec, 350 secs
lola: 74 tries, 73355110 fired transitions, 355 secs || 16773273 markings, 56607587 edges, 72515 markings/sec, 355 secs
lola: 81 tries, 80083355 fired transitions, 360 secs || 16981598 markings, 57307789 edges, 41665 markings/sec, 360 secs
lola: 88 tries, 87009175 fired transitions, 365 secs || 17182125 markings, 58079684 edges, 40105 markings/sec, 365 secs
lola: 88 tries, 87136280 fired transitions, 370 secs || 17375144 markings, 58814714 edges, 38604 markings/sec, 370 secs
lola: 88 tries, 87262869 fired transitions, 375 secs || 17575864 markings, 59602841 edges, 40144 markings/sec, 375 secs
lola: 88 tries, 87389971 fired transitions, 380 secs || 17773040 markings, 60306673 edges, 39435 markings/sec, 380 secs
lola: 88 tries, 87517574 fired transitions, 385 secs || 17971446 markings, 61047456 edges, 39681 markings/sec, 385 secs
lola: 88 tries, 87644623 fired transitions, 390 secs || 18150182 markings, 61682411 edges, 35747 markings/sec, 390 secs
lola: 88 tries, 87772171 fired transitions, 395 secs || 18349746 markings, 62393217 edges, 39913 markings/sec, 395 secs
lola: 88 tries, 87899575 fired transitions, 400 secs || 18561596 markings, 63146508 edges, 42370 markings/sec, 400 secs
lola: 90 tries, 89454785 fired transitions, 405 secs || 18778481 markings, 63913918 edges, 43377 markings/sec, 405 secs
lola: 97 tries, 96015212 fired transitions, 410 secs || 19061277 markings, 64768712 edges, 56559 markings/sec, 410 secs
lola: 97 tries, 96141941 fired transitions, 415 secs || 19268703 markings, 65595369 edges, 41485 markings/sec, 415 secs
lola: 97 tries, 96269339 fired transitions, 420 secs || 19476420 markings, 66376155 edges, 41543 markings/sec, 420 secs
lola: 97 tries, 96397245 fired transitions, 425 secs || 19667518 markings, 67102774 edges, 38220 markings/sec, 425 secs
lola: 97 tries, 96524379 fired transitions, 430 secs || 19878035 markings, 67913415 edges, 42103 markings/sec, 430 secs
lola: 97 tries, 96651003 fired transitions, 435 secs || 20102502 markings, 68716254 edges, 44893 markings/sec, 435 secs
lola: 97 tries, 96778442 fired transitions, 440 secs || 20320580 markings, 69530692 edges, 43616 markings/sec, 440 secs
lola: 97 tries, 96905475 fired transitions, 445 secs || 20555482 markings, 70351592 edges, 46980 markings/sec, 445 secs
lola: 99 tries, 98955466 fired transitions, 450 secs || 20809688 markings, 71154398 edges, 50841 markings/sec, 450 secs
lola: 105 tries, 104033647 fired transitions, 455 secs || 21136433 markings, 72129416 edges, 65349 markings/sec, 455 secs
lola: 105 tries, 104160549 fired transitions, 460 secs || 21361819 markings, 72997146 edges, 45077 markings/sec, 460 secs
lola: 105 tries, 104287585 fired transitions, 465 secs || 21547032 markings, 73729961 edges, 37043 markings/sec, 465 secs
lola: 105 tries, 104416503 fired transitions, 470 secs || 21725978 markings, 74573972 edges, 35789 markings/sec, 470 secs
lola: 105 tries, 104545048 fired transitions, 475 secs || 21915852 markings, 75394763 edges, 37975 markings/sec, 475 secs
lola: 105 tries, 104672597 fired transitions, 480 secs || 22135860 markings, 76276854 edges, 44002 markings/sec, 480 secs
lola: 105 tries, 104799932 fired transitions, 485 secs || 22363309 markings, 77146740 edges, 45490 markings/sec, 485 secs
lola: 105 tries, 104926855 fired transitions, 490 secs || 22596222 markings, 78035862 edges, 46583 markings/sec, 490 secs
lola: 107 tries, 106037188 fired transitions, 495 secs || 22826894 markings, 78915435 edges, 46134 markings/sec, 495 secs
lola: 107 tries, 106165052 fired transitions, 500 secs || 23026345 markings, 79620731 edges, 39890 markings/sec, 500 secs
lola: 107 tries, 106292604 fired transitions, 505 secs || 23236727 markings, 80451484 edges, 42076 markings/sec, 505 secs
lola: 107 tries, 106420347 fired transitions, 510 secs || 23446549 markings, 81250048 edges, 41964 markings/sec, 510 secs
lola: 107 tries, 106549007 fired transitions, 515 secs || 23663349 markings, 82053598 edges, 43360 markings/sec, 515 secs
lola: 107 tries, 106677170 fired transitions, 520 secs || 23876477 markings, 82860183 edges, 42626 markings/sec, 520 secs
lola: 107 tries, 106804737 fired transitions, 525 secs || 24090152 markings, 83718341 edges, 42735 markings/sec, 525 secs
lola: 107 tries, 106931786 fired transitions, 530 secs || 24326179 markings, 84621755 edges, 47205 markings/sec, 530 secs
lola: 109 tries, 108042502 fired transitions, 535 secs || 24574939 markings, 85478143 edges, 49752 markings/sec, 535 secs
lola: 109 tries, 108169493 fired transitions, 540 secs || 24794251 markings, 86318291 edges, 43862 markings/sec, 540 secs
lola: 109 tries, 108296588 fired transitions, 545 secs || 25030331 markings, 87247733 edges, 47216 markings/sec, 545 secs
lola: 109 tries, 108423307 fired transitions, 550 secs || 25273051 markings, 88130641 edges, 48544 markings/sec, 550 secs
lola: 109 tries, 108550371 fired transitions, 555 secs || 25521548 markings, 89010297 edges, 49699 markings/sec, 555 secs
lola: 109 tries, 108676532 fired transitions, 560 secs || 25774837 markings, 89901753 edges, 50658 markings/sec, 560 secs
lola: 109 tries, 108802898 fired transitions, 565 secs || 26029778 markings, 90758614 edges, 50988 markings/sec, 565 secs
lola: 109 tries, 108929655 fired transitions, 570 secs || 26282052 markings, 91622545 edges, 50455 markings/sec, 570 secs
lola: 110 tries, 109056262 fired transitions, 575 secs || 26540833 markings, 92504589 edges, 51756 markings/sec, 575 secs
lola: 110 tries, 109183041 fired transitions, 580 secs || 26788830 markings, 93304336 edges, 49599 markings/sec, 580 secs
lola: 110 tries, 109309253 fired transitions, 585 secs || 27035788 markings, 94138654 edges, 49392 markings/sec, 585 secs
lola: 110 tries, 109435879 fired transitions, 590 secs || 27279326 markings, 95023634 edges, 48708 markings/sec, 590 secs
lola: 110 tries, 109561808 fired transitions, 595 secs || 27539990 markings, 95893823 edges, 52133 markings/sec, 595 secs
lola: 110 tries, 109688265 fired transitions, 600 secs || 27804619 markings, 96756807 edges, 52926 markings/sec, 600 secs
lola: 110 tries, 109815232 fired transitions, 605 secs || 28070456 markings, 97675073 edges, 53167 markings/sec, 605 secs
lola: 110 tries, 109941797 fired transitions, 610 secs || 28351366 markings, 98671645 edges, 56182 markings/sec, 610 secs
lola: 114 tries, 113983259 fired transitions, 615 secs || 28620579 markings, 99514853 edges, 53843 markings/sec, 615 secs
lola: 121 tries, 120868820 fired transitions, 620 secs || 28818352 markings, 100219776 edges, 39555 markings/sec, 620 secs
lola: 122 tries, 121124973 fired transitions, 625 secs || 28989105 markings, 100924291 edges, 34151 markings/sec, 625 secs
lola: 122 tries, 121252401 fired transitions, 630 secs || 29183825 markings, 101673798 edges, 38944 markings/sec, 630 secs
lola: 122 tries, 121378933 fired transitions, 635 secs || 29396168 markings, 102470263 edges, 42469 markings/sec, 635 secs
lola: 122 tries, 121505779 fired transitions, 640 secs || 29593120 markings, 103173686 edges, 39390 markings/sec, 640 secs
lola: 122 tries, 121632850 fired transitions, 645 secs || 29781112 markings, 103866028 edges, 37598 markings/sec, 645 secs
lola: 122 tries, 121760540 fired transitions, 650 secs || 29957708 markings, 104502393 edges, 35319 markings/sec, 650 secs
lola: 122 tries, 121886931 fired transitions, 655 secs || 30160060 markings, 105216842 edges, 40470 markings/sec, 655 secs
lola: 123 tries, 122785203 fired transitions, 660 secs || 30375462 markings, 105957622 edges, 43080 markings/sec, 660 secs
lola: 124 tries, 123122499 fired transitions, 665 secs || 30597980 markings, 106746822 edges, 44504 markings/sec, 665 secs
lola: 124 tries, 123248762 fired transitions, 670 secs || 30831920 markings, 107514096 edges, 46788 markings/sec, 670 secs
lola: 124 tries, 123375134 fired transitions, 675 secs || 31087405 markings, 108371313 edges, 51097 markings/sec, 675 secs
lola: 124 tries, 123502154 fired transitions, 680 secs || 31329500 markings, 109205047 edges, 48419 markings/sec, 680 secs
lola: 124 tries, 123629113 fired transitions, 685 secs || 31567763 markings, 109998114 edges, 47653 markings/sec, 685 secs
lola: 124 tries, 123755961 fired transitions, 690 secs || 31805088 markings, 110807213 edges, 47465 markings/sec, 690 secs
lola: 124 tries, 123882372 fired transitions, 695 secs || 32055595 markings, 111621037 edges, 50101 markings/sec, 695 secs
lola: 125 tries, 124438082 fired transitions, 700 secs || 32292700 markings, 112410862 edges, 47421 markings/sec, 700 secs
lola: 132 tries, 131474500 fired transitions, 705 secs || 32618195 markings, 113304046 edges, 65099 markings/sec, 705 secs
lola: 134 tries, 133101528 fired transitions, 710 secs || 32882524 markings, 114211174 edges, 52866 markings/sec, 710 secs
lola: 134 tries, 133229328 fired transitions, 715 secs || 33086476 markings, 115055322 edges, 40790 markings/sec, 715 secs
lola: 134 tries, 133357557 fired transitions, 720 secs || 33266724 markings, 115826892 edges, 36050 markings/sec, 720 secs
lola: 134 tries, 133485990 fired transitions, 725 secs || 33448777 markings, 116567468 edges, 36411 markings/sec, 725 secs
lola: 134 tries, 133614639 fired transitions, 730 secs || 33629809 markings, 117361658 edges, 36206 markings/sec, 730 secs
lola: 134 tries, 133742737 fired transitions, 735 secs || 33833701 markings, 118232175 edges, 40778 markings/sec, 735 secs
lola: 134 tries, 133869960 fired transitions, 740 secs || 34052718 markings, 119116189 edges, 43803 markings/sec, 740 secs
lola: 134 tries, 133996137 fired transitions, 745 secs || 34287886 markings, 119980325 edges, 47034 markings/sec, 745 secs
lola: 138 tries, 137074088 fired transitions, 750 secs || 34578223 markings, 120907670 edges, 58067 markings/sec, 750 secs
lola: 138 tries, 137201651 fired transitions, 755 secs || 34839947 markings, 121856641 edges, 52345 markings/sec, 755 secs
lola: 138 tries, 137328667 fired transitions, 760 secs || 35087484 markings, 122767977 edges, 49507 markings/sec, 760 secs
lola: 138 tries, 137455956 fired transitions, 765 secs || 35300537 markings, 123625997 edges, 42611 markings/sec, 765 secs
lola: 138 tries, 137583745 fired transitions, 770 secs || 35500073 markings, 124332139 edges, 39907 markings/sec, 770 secs
lola: 138 tries, 137710838 fired transitions, 775 secs || 35693802 markings, 125092007 edges, 38746 markings/sec, 775 secs
lola: 138 tries, 137838520 fired transitions, 780 secs || 35896529 markings, 125882655 edges, 40545 markings/sec, 780 secs
lola: 138 tries, 137966380 fired transitions, 785 secs || 36096217 markings, 126635104 edges, 39938 markings/sec, 785 secs
lola: 144 tries, 143570598 fired transitions, 790 secs || 36408909 markings, 127559315 edges, 62538 markings/sec, 790 secs
lola: 147 tries, 146069550 fired transitions, 795 secs || 36597720 markings, 128212547 edges, 37762 markings/sec, 795 secs
lola: 147 tries, 146197028 fired transitions, 800 secs || 36789019 markings, 128908536 edges, 38260 markings/sec, 800 secs
lola: 147 tries, 146323821 fired transitions, 805 secs || 36999339 markings, 129630605 edges, 42064 markings/sec, 805 secs
lola: 147 tries, 146449869 fired transitions, 810 secs || 37190447 markings, 130283760 edges, 38222 markings/sec, 810 secs
lola: 147 tries, 146577007 fired transitions, 815 secs || 37376425 markings, 130975624 edges, 37196 markings/sec, 815 secs
lola: 147 tries, 146704760 fired transitions, 820 secs || 37586585 markings, 131743975 edges, 42032 markings/sec, 820 secs
lola: 147 tries, 146832036 fired transitions, 825 secs || 37769460 markings, 132445282 edges, 36575 markings/sec, 825 secs
lola: 147 tries, 146958884 fired transitions, 830 secs || 37968788 markings, 133175496 edges, 39866 markings/sec, 830 secs
lola: 151 tries, 150034763 fired transitions, 835 secs || 38150833 markings, 133891955 edges, 36409 markings/sec, 835 secs
lola: 151 tries, 150162332 fired transitions, 840 secs || 38355395 markings, 134693087 edges, 40912 markings/sec, 840 secs
lola: 151 tries, 150290188 fired transitions, 845 secs || 38541343 markings, 135376011 edges, 37190 markings/sec, 845 secs
lola: 151 tries, 150417892 fired transitions, 850 secs || 38745265 markings, 136097189 edges, 40784 markings/sec, 850 secs
lola: 151 tries, 150544955 fired transitions, 855 secs || 38964433 markings, 136882653 edges, 43834 markings/sec, 855 secs
lola: 151 tries, 150671913 fired transitions, 860 secs || 39190705 markings, 137643065 edges, 45254 markings/sec, 860 secs
lola: 151 tries, 150798291 fired transitions, 865 secs || 39415268 markings, 138407312 edges, 44913 markings/sec, 865 secs
lola: 151 tries, 150925079 fired transitions, 870 secs || 39631524 markings, 139185046 edges, 43251 markings/sec, 870 secs
lola: 155 tries, 154001414 fired transitions, 875 secs || 39896100 markings, 140056154 edges, 52915 markings/sec, 875 secs
lola: 156 tries, 155110572 fired transitions, 880 secs || 40106578 markings, 140849825 edges, 42096 markings/sec, 880 secs
lola: 156 tries, 155237055 fired transitions, 885 secs || 40313151 markings, 141632233 edges, 41315 markings/sec, 885 secs
lola: 156 tries, 155364641 fired transitions, 890 secs || 40503250 markings, 142413021 edges, 38020 markings/sec, 890 secs
lola: 156 tries, 155493109 fired transitions, 895 secs || 40713588 markings, 143209963 edges, 42068 markings/sec, 895 secs
lola: 156 tries, 155620451 fired transitions, 900 secs || 40910699 markings, 143966662 edges, 39422 markings/sec, 900 secs
lola: 156 tries, 155748044 fired transitions, 905 secs || 41127759 markings, 144769358 edges, 43412 markings/sec, 905 secs
lola: 156 tries, 155874772 fired transitions, 910 secs || 41352234 markings, 145597429 edges, 44895 markings/sec, 910 secs
lola: 157 tries, 156050593 fired transitions, 915 secs || 41588289 markings, 146419932 edges, 47211 markings/sec, 915 secs
lola: 163 tries, 162026658 fired transitions, 920 secs || 41890473 markings, 147281032 edges, 60437 markings/sec, 920 secs
lola: 163 tries, 162154358 fired transitions, 925 secs || 42085258 markings, 148002197 edges, 38957 markings/sec, 925 secs
lola: 163 tries, 162282470 fired transitions, 930 secs || 42291895 markings, 148794989 edges, 41327 markings/sec, 930 secs
lola: 163 tries, 162410853 fired transitions, 935 secs || 42491960 markings, 149602416 edges, 40013 markings/sec, 935 secs
lola: 163 tries, 162538555 fired transitions, 940 secs || 42684187 markings, 150367747 edges, 38445 markings/sec, 940 secs
lola: 163 tries, 162666749 fired transitions, 945 secs || 42872127 markings, 151231627 edges, 37588 markings/sec, 945 secs
lola: 163 tries, 162795145 fired transitions, 950 secs || 43066169 markings, 152014703 edges, 38808 markings/sec, 950 secs
lola: 163 tries, 162923386 fired transitions, 955 secs || 43263178 markings, 152888198 edges, 39402 markings/sec, 955 secs
lola: 166 tries, 165970204 fired transitions, 960 secs || 43532079 markings, 153805312 edges, 53780 markings/sec, 960 secs
lola: 169 tries, 168092261 fired transitions, 965 secs || 43811241 markings, 154736800 edges, 55832 markings/sec, 965 secs
lola: 169 tries, 168219779 fired transitions, 970 secs || 44023835 markings, 155578526 edges, 42519 markings/sec, 970 secs
lola: 169 tries, 168346549 fired transitions, 975 secs || 44267276 markings, 156461181 edges, 48688 markings/sec, 975 secs
lola: 169 tries, 168474967 fired transitions, 980 secs || 44476949 markings, 157349717 edges, 41935 markings/sec, 980 secs
lola: 169 tries, 168602126 fired transitions, 985 secs || 44673357 markings, 158063369 edges, 39282 markings/sec, 985 secs
lola: 169 tries, 168729654 fired transitions, 990 secs || 44882541 markings, 158860402 edges, 41837 markings/sec, 990 secs
lola: 169 tries, 168857784 fired transitions, 995 secs || 45089155 markings, 159674707 edges, 41323 markings/sec, 995 secs
lola: 169 tries, 168985684 fired transitions, 1000 secs || 45302446 markings, 160477085 edges, 42658 markings/sec, 1000 secs
lola: 170 tries, 169113151 fired transitions, 1005 secs || 45528973 markings, 161327444 edges, 45305 markings/sec, 1005 secs
lola: 170 tries, 169239861 fired transitions, 1010 secs || 45772193 markings, 162240433 edges, 48644 markings/sec, 1010 secs
lola: 170 tries, 169367526 fired transitions, 1015 secs || 46000807 markings, 163093209 edges, 45723 markings/sec, 1015 secs
lola: 170 tries, 169494684 fired transitions, 1020 secs || 46238502 markings, 163973984 edges, 47539 markings/sec, 1020 secs
lola: 170 tries, 169621700 fired transitions, 1025 secs || 46472809 markings, 164834251 edges, 46861 markings/sec, 1025 secs
lola: 170 tries, 169748471 fired transitions, 1030 secs || 46705896 markings, 165653051 edges, 46617 markings/sec, 1030 secs
lola: 170 tries, 169875922 fired transitions, 1035 secs || 46938645 markings, 166521827 edges, 46550 markings/sec, 1035 secs
lola: 171 tries, 170110415 fired transitions, 1040 secs || 47188733 markings, 167382558 edges, 50018 markings/sec, 1040 secs
lola: 178 tries, 177250184 fired transitions, 1045 secs || 47453665 markings, 168175541 edges, 52986 markings/sec, 1045 secs
lola: 185 tries, 184006835 fired transitions, 1050 secs || 47675753 markings, 168913644 edges, 44418 markings/sec, 1050 secs
lola: 192 tries, 191246645 fired transitions, 1055 secs || 47861663 markings, 169632341 edges, 37182 markings/sec, 1055 secs
lola: 199 tries, 198787924 fired transitions, 1060 secs || 48082572 markings, 170411225 edges, 44182 markings/sec, 1060 secs
lola: 200 tries, 199123805 fired transitions, 1065 secs || 48287215 markings, 171138398 edges, 40929 markings/sec, 1065 secs
lola: 200 tries, 199250460 fired transitions, 1070 secs || 48493548 markings, 171874604 edges, 41267 markings/sec, 1070 secs
lola: 200 tries, 199378640 fired transitions, 1075 secs || 48671933 markings, 172503566 edges, 35677 markings/sec, 1075 secs
lola: 200 tries, 199506746 fired transitions, 1080 secs || 48869273 markings, 173285697 edges, 39468 markings/sec, 1080 secs
lola: 200 tries, 199634430 fired transitions, 1085 secs || 49048493 markings, 173923467 edges, 35844 markings/sec, 1085 secs
lola: 200 tries, 199761731 fired transitions, 1090 secs || 49264431 markings, 174673147 edges, 43188 markings/sec, 1090 secs
lola: 200 tries, 199888153 fired transitions, 1095 secs || 49477945 markings, 175424652 edges, 42703 markings/sec, 1095 secs
lola: 201 tries, 200906892 fired transitions, 1100 secs || 49702584 markings, 176166535 edges, 44928 markings/sec, 1100 secs
lola: 209 tries, 208393334 fired transitions, 1105 secs || 50005239 markings, 177026923 edges, 60531 markings/sec, 1105 secs
lola: 216 tries, 215714900 fired transitions, 1110 secs || 50336733 markings, 177956479 edges, 66299 markings/sec, 1110 secs
lola: 219 tries, 218088479 fired transitions, 1115 secs || 50561402 markings, 178711238 edges, 44934 markings/sec, 1115 secs
lola: 219 tries, 218217110 fired transitions, 1120 secs || 50756187 markings, 179551502 edges, 38957 markings/sec, 1120 secs
lola: 219 tries, 218345428 fired transitions, 1125 secs || 50957367 markings, 180351249 edges, 40236 markings/sec, 1125 secs
lola: 219 tries, 218473067 fired transitions, 1130 secs || 51159506 markings, 181156625 edges, 40428 markings/sec, 1130 secs
lola: 219 tries, 218600633 fired transitions, 1135 secs || 51361418 markings, 181982233 edges, 40382 markings/sec, 1135 secs
lola: 219 tries, 218728422 fired transitions, 1140 secs || 51574194 markings, 182849948 edges, 42555 markings/sec, 1140 secs
lola: 219 tries, 218856091 fired transitions, 1145 secs || 51797283 markings, 183688317 edges, 44618 markings/sec, 1145 secs
lola: 219 tries, 218983794 fired transitions, 1150 secs || 52015466 markings, 184538626 edges, 43637 markings/sec, 1150 secs
lola: 226 tries, 225466366 fired transitions, 1155 secs || 52337586 markings, 185480008 edges, 64424 markings/sec, 1155 secs
lola: 232 tries, 231035495 fired transitions, 1160 secs || 52632257 markings, 186390484 edges, 58934 markings/sec, 1160 secs
lola: 232 tries, 231161839 fired transitions, 1165 secs || 52863646 markings, 187166411 edges, 46278 markings/sec, 1165 secs
lola: 232 tries, 231288903 fired transitions, 1170 secs || 53076619 markings, 187913406 edges, 42595 markings/sec, 1170 secs
lola: 232 tries, 231416146 fired transitions, 1175 secs || 53282412 markings, 188636577 edges, 41159 markings/sec, 1175 secs
lola: 232 tries, 231543064 fired transitions, 1180 secs || 53481488 markings, 189328887 edges, 39815 markings/sec, 1180 secs
lola: 232 tries, 231669175 fired transitions, 1185 secs || 53709436 markings, 190081758 edges, 45590 markings/sec, 1185 secs
lola: 232 tries, 231796694 fired transitions, 1190 secs || 53912492 markings, 190821999 edges, 40611 markings/sec, 1190 secs
lola: 232 tries, 231924496 fired transitions, 1195 secs || 54116979 markings, 191616620 edges, 40897 markings/sec, 1195 secs
lola: 236 tries, 235184698 fired transitions, 1200 secs || 54349575 markings, 192473643 edges, 46519 markings/sec, 1200 secs
lola: 237 tries, 236114962 fired transitions, 1205 secs || 54573460 markings, 193286769 edges, 44777 markings/sec, 1205 secs
lola: 237 tries, 236242800 fired transitions, 1210 secs || 54791929 markings, 194151255 edges, 43694 markings/sec, 1210 secs
lola: 237 tries, 236371339 fired transitions, 1215 secs || 55008493 markings, 194959996 edges, 43313 markings/sec, 1215 secs
lola: 237 tries, 236498898 fired transitions, 1220 secs || 55230144 markings, 195789312 edges, 44330 markings/sec, 1220 secs
lola: 237 tries, 236626286 fired transitions, 1225 secs || 55422834 markings, 196495140 edges, 38538 markings/sec, 1225 secs
lola: 237 tries, 236754190 fired transitions, 1230 secs || 55620645 markings, 197253983 edges, 39562 markings/sec, 1230 secs
lola: 237 tries, 236882610 fired transitions, 1235 secs || 55821092 markings, 198049096 edges, 40089 markings/sec, 1235 secs
lola: 238 tries, 237668593 fired transitions, 1240 secs || 56017058 markings, 198821907 edges, 39193 markings/sec, 1240 secs
lola: 245 tries, 244022900 fired transitions, 1245 secs || 56238082 markings, 199737216 edges, 44205 markings/sec, 1245 secs
lola: 245 tries, 244149902 fired transitions, 1250 secs || 56509076 markings, 200583544 edges, 54199 markings/sec, 1250 secs
lola: 245 tries, 244276364 fired transitions, 1255 secs || 56757493 markings, 201386537 edges, 49683 markings/sec, 1255 secs
lola: 245 tries, 244403807 fired transitions, 1260 secs || 56994651 markings, 202135463 edges, 47432 markings/sec, 1260 secs
lola: 245 tries, 244530380 fired transitions, 1265 secs || 57235358 markings, 202859299 edges, 48141 markings/sec, 1265 secs
lola: 245 tries, 244657112 fired transitions, 1270 secs || 57476770 markings, 203589384 edges, 48282 markings/sec, 1270 secs
lola: 245 tries, 244783965 fired transitions, 1275 secs || 57719507 markings, 204355956 edges, 48547 markings/sec, 1275 secs
lola: 245 tries, 244911065 fired transitions, 1280 secs || 57959678 markings, 205204362 edges, 48034 markings/sec, 1280 secs
lola: 248 tries, 247400313 fired transitions, 1285 secs || 58211930 markings, 206095682 edges, 50450 markings/sec, 1285 secs
lola: 256 tries, 255033924 fired transitions, 1290 secs || 58510463 markings, 207049086 edges, 59707 markings/sec, 1290 secs
lola: 258 tries, 257093948 fired transitions, 1295 secs || 58776109 markings, 207934534 edges, 53129 markings/sec, 1295 secs
lola: 258 tries, 257221796 fired transitions, 1300 secs || 59013395 markings, 208804861 edges, 47457 markings/sec, 1300 secs
lola: 258 tries, 257349553 fired transitions, 1305 secs || 59232327 markings, 209649443 edges, 43786 markings/sec, 1305 secs
lola: 258 tries, 257476926 fired transitions, 1310 secs || 59482319 markings, 210547338 edges, 49998 markings/sec, 1310 secs
lola: 258 tries, 257604460 fired transitions, 1315 secs || 59719231 markings, 211380492 edges, 47382 markings/sec, 1315 secs
lola: 258 tries, 257731761 fired transitions, 1320 secs || 59949649 markings, 212244857 edges, 46084 markings/sec, 1320 secs
lola: 258 tries, 257858133 fired transitions, 1325 secs || 60207595 markings, 213140011 edges, 51589 markings/sec, 1325 secs
lola: 258 tries, 257985071 fired transitions, 1330 secs || 60438058 markings, 213945628 edges, 46093 markings/sec, 1330 secs
lola: 265 tries, 264011051 fired transitions, 1335 secs || 60699490 markings, 214862704 edges, 52286 markings/sec, 1335 secs
lola: 265 tries, 264137270 fired transitions, 1340 secs || 60963578 markings, 215670536 edges, 52818 markings/sec, 1340 secs
lola: 265 tries, 264264475 fired transitions, 1345 secs || 61214218 markings, 216468675 edges, 50128 markings/sec, 1345 secs
lola: 265 tries, 264390915 fired transitions, 1350 secs || 61462615 markings, 217246929 edges, 49679 markings/sec, 1350 secs
lola: 265 tries, 264517313 fired transitions, 1355 secs || 61692228 markings, 217984781 edges, 45923 markings/sec, 1355 secs
lola: 265 tries, 264643519 fired transitions, 1360 secs || 61944180 markings, 218762042 edges, 50390 markings/sec, 1360 secs
lola: 265 tries, 264769716 fired transitions, 1365 secs || 62184806 markings, 219521675 edges, 48125 markings/sec, 1365 secs
lola: 265 tries, 264898357 fired transitions, 1370 secs || 62383236 markings, 220256169 edges, 39686 markings/sec, 1370 secs
lola: 267 tries, 266855048 fired transitions, 1375 secs || 62608242 markings, 221065117 edges, 45001 markings/sec, 1375 secs
lola: 273 tries, 272046930 fired transitions, 1380 secs || 62885762 markings, 222003100 edges, 55504 markings/sec, 1380 secs
lola: 273 tries, 272177237 fired transitions, 1385 secs || 63171977 markings, 223016263 edges, 57243 markings/sec, 1385 secs
lola: 273 tries, 272307878 fired transitions, 1390 secs || 63409085 markings, 223916225 edges, 47422 markings/sec, 1390 secs
lola: 273 tries, 272437916 fired transitions, 1395 secs || 63671886 markings, 224864460 edges, 52560 markings/sec, 1395 secs
lola: 273 tries, 272567534 fired transitions, 1400 secs || 63937013 markings, 225787267 edges, 53025 markings/sec, 1400 secs
lola: 273 tries, 272697741 fired transitions, 1405 secs || 64194029 markings, 226693402 edges, 51403 markings/sec, 1405 secs
lola: 273 tries, 272828087 fired transitions, 1410 secs || 64441429 markings, 227592858 edges, 49480 markings/sec, 1410 secs
lola: 273 tries, 272958895 fired transitions, 1415 secs || 64691741 markings, 228536039 edges, 50062 markings/sec, 1415 secs
lola: 279 tries, 278228261 fired transitions, 1420 secs || 64950388 markings, 229435254 edges, 51729 markings/sec, 1420 secs
lola: 283 tries, 282066294 fired transitions, 1425 secs || 65185242 markings, 230214876 edges, 46971 markings/sec, 1425 secs
lola: 283 tries, 282196137 fired transitions, 1430 secs || 65426249 markings, 231039759 edges, 48201 markings/sec, 1430 secs
lola: 283 tries, 282326647 fired transitions, 1435 secs || 65657709 markings, 231896979 edges, 46292 markings/sec, 1435 secs
lola: 283 tries, 282457302 fired transitions, 1440 secs || 65880439 markings, 232704128 edges, 44546 markings/sec, 1440 secs
lola: 283 tries, 282588168 fired transitions, 1445 secs || 66086395 markings, 233460916 edges, 41191 markings/sec, 1445 secs
lola: 283 tries, 282719122 fired transitions, 1450 secs || 66286582 markings, 234289648 edges, 40037 markings/sec, 1450 secs
lola: 283 tries, 282849862 fired transitions, 1455 secs || 66526047 markings, 235195205 edges, 47893 markings/sec, 1455 secs
lola: 283 tries, 282980112 fired transitions, 1460 secs || 66773231 markings, 236067225 edges, 49437 markings/sec, 1460 secs
lola: 287 tries, 286052898 fired transitions, 1465 secs || 67000966 markings, 236879088 edges, 45547 markings/sec, 1465 secs
lola: 287 tries, 286184139 fired transitions, 1470 secs || 67215928 markings, 237763939 edges, 42992 markings/sec, 1470 secs
lola: 287 tries, 286313686 fired transitions, 1475 secs || 67419727 markings, 238590892 edges, 40760 markings/sec, 1475 secs
lola: 287 tries, 286441877 fired transitions, 1480 secs || 67620190 markings, 239423548 edges, 40093 markings/sec, 1480 secs
lola: 287 tries, 286570458 fired transitions, 1485 secs || 67823453 markings, 240210508 edges, 40653 markings/sec, 1485 secs
lola: 287 tries, 286699377 fired transitions, 1490 secs || 68019962 markings, 240986628 edges, 39302 markings/sec, 1490 secs
lola: 287 tries, 286827235 fired transitions, 1495 secs || 68254727 markings, 241830889 edges, 46953 markings/sec, 1495 secs
lola: 287 tries, 286954614 fired transitions, 1500 secs || 68482593 markings, 242674399 edges, 45573 markings/sec, 1500 secs
lola: 292 tries, 291159273 fired transitions, 1505 secs || 68719258 markings, 243464320 edges, 47333 markings/sec, 1505 secs
lola: 299 tries, 298001667 fired transitions, 1510 secs || 68953944 markings, 244225298 edges, 46937 markings/sec, 1510 secs
lola: 306 tries, 305601203 fired transitions, 1515 secs || 69220209 markings, 245130596 edges, 53253 markings/sec, 1515 secs
lola: 312 tries, 311038100 fired transitions, 1520 secs || 69460644 markings, 245914950 edges, 48087 markings/sec, 1520 secs
lola: 312 tries, 311166601 fired transitions, 1525 secs || 69661868 markings, 246695483 edges, 40245 markings/sec, 1525 secs
lola: 312 tries, 311294903 fired transitions, 1530 secs || 69866798 markings, 247444276 edges, 40986 markings/sec, 1530 secs
lola: 312 tries, 311422746 fired transitions, 1535 secs || 70084228 markings, 248221910 edges, 43486 markings/sec, 1535 secs
lola: 312 tries, 311550696 fired transitions, 1540 secs || 70299609 markings, 248994882 edges, 43076 markings/sec, 1540 secs
lola: 312 tries, 311678860 fired transitions, 1545 secs || 70500493 markings, 249742527 edges, 40177 markings/sec, 1545 secs
lola: 312 tries, 311806644 fired transitions, 1550 secs || 70721806 markings, 250550911 edges, 44263 markings/sec, 1550 secs
lola: 312 tries, 311934783 fired transitions, 1555 secs || 70920607 markings, 251305851 edges, 39760 markings/sec, 1555 secs
lola: 315 tries, 314024748 fired transitions, 1560 secs || 71143649 markings, 252073076 edges, 44608 markings/sec, 1560 secs
lola: 315 tries, 314152273 fired transitions, 1565 secs || 71343574 markings, 252740505 edges, 39985 markings/sec, 1565 secs
lola: 315 tries, 314279706 fired transitions, 1570 secs || 71571250 markings, 253473340 edges, 45535 markings/sec, 1570 secs
lola: 315 tries, 314412433 fired transitions, 1575 secs || 71797237 markings, 254214248 edges, 45197 markings/sec, 1575 secs
lola: 315 tries, 314526127 fired transitions, 1580 secs || 72011862 markings, 254982101 edges, 42925 markings/sec, 1580 secs
lola: 315 tries, 314638266 fired transitions, 1585 secs || 72207797 markings, 255708701 edges, 39187 markings/sec, 1585 secs
lola: 315 tries, 314768305 fired transitions, 1590 secs || 72414458 markings, 256479145 edges, 41332 markings/sec, 1590 secs
lola: 315 tries, 314900367 fired transitions, 1595 secs || 72647033 markings, 257304383 edges, 46515 markings/sec, 1595 secs
lola: 317 tries, 316878234 fired transitions, 1600 secs || 72880543 markings, 258142882 edges, 46702 markings/sec, 1600 secs
lola: 325 tries, 324289339 fired transitions, 1605 secs || 73142747 markings, 258971096 edges, 52441 markings/sec, 1605 secs
lola: 326 tries, 325121447 fired transitions, 1610 secs || 73388134 markings, 259759363 edges, 49077 markings/sec, 1610 secs
lola: 326 tries, 325253386 fired transitions, 1615 secs || 73619951 markings, 260546582 edges, 46363 markings/sec, 1615 secs
lola: 326 tries, 325383896 fired transitions, 1620 secs || 73833963 markings, 261300248 edges, 42802 markings/sec, 1620 secs
lola: 326 tries, 325517313 fired transitions, 1625 secs || 74037879 markings, 262034438 edges, 40783 markings/sec, 1625 secs
lola: 326 tries, 325650959 fired transitions, 1630 secs || 74218754 markings, 262717442 edges, 36175 markings/sec, 1630 secs
lola: 326 tries, 325783127 fired transitions, 1635 secs || 74401258 markings, 263291508 edges, 36501 markings/sec, 1635 secs
lola: 326 tries, 325915788 fired transitions, 1640 secs || 74600898 markings, 263956866 edges, 39928 markings/sec, 1640 secs
lola: 329 tries, 328429247 fired transitions, 1645 secs || 74793349 markings, 264629359 edges, 38490 markings/sec, 1645 secs
lola: 334 tries, 333048990 fired transitions, 1650 secs || 74976589 markings, 265324542 edges, 36648 markings/sec, 1650 secs
lola: 334 tries, 333178881 fired transitions, 1655 secs || 75163816 markings, 265960631 edges, 37445 markings/sec, 1655 secs
lola: 334 tries, 333311183 fired transitions, 1660 secs || 75364325 markings, 266627509 edges, 40102 markings/sec, 1660 secs
lola: 334 tries, 333442158 fired transitions, 1665 secs || 75546293 markings, 267290287 edges, 36394 markings/sec, 1665 secs
lola: 334 tries, 333575594 fired transitions, 1670 secs || 75740640 markings, 267931687 edges, 38869 markings/sec, 1670 secs
lola: 334 tries, 333709291 fired transitions, 1675 secs || 75937320 markings, 268632003 edges, 39336 markings/sec, 1675 secs
lola: 334 tries, 333841974 fired transitions, 1680 secs || 76123040 markings, 269331223 edges, 37144 markings/sec, 1680 secs
lola: 334 tries, 333974028 fired transitions, 1685 secs || 76299265 markings, 270011012 edges, 35245 markings/sec, 1685 secs
lola: 340 tries, 339003851 fired transitions, 1690 secs || 76483014 markings, 270733792 edges, 36750 markings/sec, 1690 secs
lola: 347 tries, 346010431 fired transitions, 1695 secs || 76741725 markings, 271592358 edges, 51742 markings/sec, 1695 secs
lola: 347 tries, 346144112 fired transitions, 1700 secs || 76946002 markings, 272313253 edges, 40855 markings/sec, 1700 secs
lola: 347 tries, 346276990 fired transitions, 1705 secs || 77168914 markings, 273108766 edges, 44582 markings/sec, 1705 secs
lola: 347 tries, 346408161 fired transitions, 1710 secs || 77368664 markings, 273848270 edges, 39950 markings/sec, 1710 secs
lola: 347 tries, 346540810 fired transitions, 1715 secs || 77580068 markings, 274656740 edges, 42281 markings/sec, 1715 secs
lola: 347 tries, 346674979 fired transitions, 1720 secs || 77798543 markings, 275462015 edges, 43695 markings/sec, 1720 secs
lola: 347 tries, 346807603 fired transitions, 1725 secs || 78032598 markings, 276296604 edges, 46811 markings/sec, 1725 secs
lola: 347 tries, 346940375 fired transitions, 1730 secs || 78275623 markings, 277139363 edges, 48605 markings/sec, 1730 secs
lola: 352 tries, 351004298 fired transitions, 1735 secs || 78539523 markings, 277987648 edges, 52780 markings/sec, 1735 secs
lola: 352 tries, 351137910 fired transitions, 1740 secs || 78731814 markings, 278720235 edges, 38458 markings/sec, 1740 secs
lola: 352 tries, 351272060 fired transitions, 1745 secs || 78942337 markings, 279528297 edges, 42105 markings/sec, 1745 secs
lola: 352 tries, 351404327 fired transitions, 1750 secs || 79146002 markings, 280329214 edges, 40733 markings/sec, 1750 secs
lola: 352 tries, 351534268 fired transitions, 1755 secs || 79349162 markings, 281076198 edges, 40632 markings/sec, 1755 secs
lola: 352 tries, 351668049 fired transitions, 1760 secs || 79544630 markings, 281819176 edges, 39094 markings/sec, 1760 secs
lola: time limit reached - aborting
lola: memory consumption: 3040312 KB
lola: time consumption: 1770 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityDeadlock.json
lola: closed JSON file ReachabilityDeadlock.json
rslt: finished
--------------------
content from stderr:
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="CloudDeployment-PT-6a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-4028"
echo " Executing tool itslola"
echo " Input is CloudDeployment-PT-6a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r169-smll-158987808500206"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a execution
cd execution
if [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "UpperBounds" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] || [ "ReachabilityDeadlock" = "StateSpace" ]; 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 [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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
elif [ "ReachabilityDeadlock" = "ReachabilityDeadlock" ] || [ "ReachabilityDeadlock" = "QuasiLiveness" ] || [ "ReachabilityDeadlock" = "StableMarking" ] || [ "ReachabilityDeadlock" = "Liveness" ] || [ "ReachabilityDeadlock" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityDeadlock"
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 ;