About the Execution of ITS-LoLa for PaceMaker-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15744.410 | 1800000.00 | 3586686.00 | 195.10 | [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 '/local/x2003239/mcc2020-input.r175-csrt-158987856600286.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is PaceMaker-PT-none, examination is ReachabilityDeadlock
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r175-csrt-158987856600286
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.7K Apr 8 15:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 7 18:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 18:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 04:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 04:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 158K 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 1591179011727
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 10:10: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-03 10:10:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 10:10:14] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2020-06-03 10:10:14] [INFO ] Transformed 70 places.
[2020-06-03 10:10:14] [INFO ] Transformed 164 transitions.
[2020-06-03 10:10:14] [INFO ] Parsed PT model containing 70 places and 164 transitions in 131 ms.
Parsed 1 properties from file /home/mcc/execution/ReachabilityDeadlock.xml in 12 ms.
Working with output stream class java.io.PrintStream
Built sparse matrix representations for Structural reductions in 4 ms.17912KB memory used
Starting structural reductions, iteration 0 : 70/70 places, 164/164 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 12 place count 62 transition count 160
Applied a total of 12 rules in 33 ms. Remains 62 /70 variables (removed 8) and now considering 160/164 (removed 4) transitions.
[2020-06-03 10:10:14] [INFO ] Flow matrix only has 154 transitions (discarded 6 similar events)
Normalized transition count is 88 out of 154 initially.
// Phase 1: matrix 88 rows 62 cols
[2020-06-03 10:10:14] [INFO ] Computed 31 place invariants in 5 ms
[2020-06-03 10:10:14] [INFO ] Dead Transitions using invariants and state equation in 418 ms returned []
Finished structural reductions, in 1 iterations. Remains : 62/70 places, 160/164 transitions.
Random walk for 1250000 steps, including 0 resets, run took 3009 ms (no deadlock found). (steps per millisecond=415 )
Random directed walk for 1250001 steps, including 0 resets, run took 1933 ms (no deadlock found). (steps per millisecond=646 )
[2020-06-03 10:10:19] [INFO ] Flow matrix only has 154 transitions (discarded 6 similar events)
Normalized transition count is 88 out of 154 initially.
// Phase 1: matrix 88 rows 62 cols
[2020-06-03 10:10:19] [INFO ] Computed 31 place invariants in 4 ms
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using 31 positive place invariants in 46 ms returned sat
[2020-06-03 10:10:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using state equation in 130 ms returned sat
[2020-06-03 10:10:19] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:10:20] [INFO ] [Nat]Absence check using 31 positive place invariants in 105 ms returned sat
[2020-06-03 10:10:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:10:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 10:10:29] [INFO ] [Nat]Absence check using state equation in 9321 ms returned unknown
Random directed walk for 500000 steps, including 0 resets, run took 750 ms (no deadlock found). (steps per millisecond=666 )
Random walk for 500000 steps, including 0 resets, run took 886 ms (no deadlock found). (steps per millisecond=564 )
Random directed walk for 500001 steps, including 0 resets, run took 713 ms (no deadlock found). (steps per millisecond=701 )
Random walk for 500000 steps, including 0 resets, run took 985 ms (no deadlock found). (steps per millisecond=507 )
[2020-06-03 10:10:33] [INFO ] Flatten gal took : 58 ms
[2020-06-03 10:10:33] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityDeadlock.sr.xml took 0 ms.
[2020-06-03 10:10:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 8 ms.
info: Time: 1800 - MCC
vrfy: Checking ReachabilityDeadlock @ PaceMaker-PT-none @ 1770 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityDeadlock @ PaceMaker-PT-none
{
"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": "Wed Jun 3 10:10:33 2020
",
"timelimit": 1770
},
"child": null,
"exit":
{
"error": null,
"memory": 14215012,
"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": 954,
"conflict_clusters": 6,
"places": 70,
"places_significant": 35,
"singleton_clusters": 0,
"transitions": 164
},
"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": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"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: 234/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2240
lola: finding significant places
lola: 70 places, 164 transitions, 35 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: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1646343 fired transitions, 0 secs || 1147696 markings, 1822895 edges, 229539 markings/sec, 0 secs
lola: 4 tries, 3197872 fired transitions, 5 secs || 2218480 markings, 3682997 edges, 214157 markings/sec, 5 secs
lola: 5 tries, 4917266 fired transitions, 10 secs || 3301014 markings, 5642946 edges, 216507 markings/sec, 10 secs
lola: 7 tries, 6493234 fired transitions, 15 secs || 4444235 markings, 7563676 edges, 228644 markings/sec, 15 secs
lola: 9 tries, 8202795 fired transitions, 20 secs || 5487779 markings, 9402542 edges, 208709 markings/sec, 20 secs
lola: 10 tries, 9859599 fired transitions, 25 secs || 6476726 markings, 11237189 edges, 197789 markings/sec, 25 secs
lola: 12 tries, 11380665 fired transitions, 30 secs || 7450286 markings, 12987617 edges, 194712 markings/sec, 30 secs
lola: 13 tries, 12556269 fired transitions, 35 secs || 8242137 markings, 14645631 edges, 158370 markings/sec, 35 secs
lola: 14 tries, 13669559 fired transitions, 40 secs || 9080619 markings, 16223925 edges, 167696 markings/sec, 40 secs
lola: 15 tries, 14857703 fired transitions, 45 secs || 9972024 markings, 17834032 edges, 178281 markings/sec, 45 secs
lola: 16 tries, 15947687 fired transitions, 50 secs || 10771317 markings, 19276050 edges, 159859 markings/sec, 50 secs
lola: 17 tries, 16975905 fired transitions, 55 secs || 11577549 markings, 20749630 edges, 161246 markings/sec, 55 secs
lola: 19 tries, 18211551 fired transitions, 60 secs || 12385798 markings, 22245273 edges, 161650 markings/sec, 60 secs
lola: 20 tries, 19441096 fired transitions, 65 secs || 13242066 markings, 23684043 edges, 171254 markings/sec, 65 secs
lola: 21 tries, 20628069 fired transitions, 70 secs || 14244799 markings, 25392157 edges, 200547 markings/sec, 70 secs
lola: 22 tries, 21855597 fired transitions, 75 secs || 15216480 markings, 26996787 edges, 194336 markings/sec, 75 secs
lola: 24 tries, 23435479 fired transitions, 80 secs || 16336523 markings, 28872207 edges, 224009 markings/sec, 80 secs
lola: 25 tries, 24959811 fired transitions, 85 secs || 17310789 markings, 30528050 edges, 194853 markings/sec, 85 secs
lola: 27 tries, 26688823 fired transitions, 90 secs || 18359964 markings, 32360961 edges, 209835 markings/sec, 90 secs
lola: 29 tries, 28424044 fired transitions, 95 secs || 19385589 markings, 34253084 edges, 205125 markings/sec, 95 secs
lola: 31 tries, 30148008 fired transitions, 100 secs || 20409007 markings, 36051671 edges, 204684 markings/sec, 100 secs
lola: 32 tries, 31889958 fired transitions, 105 secs || 21422369 markings, 37967737 edges, 202672 markings/sec, 105 secs
lola: 34 tries, 33588866 fired transitions, 110 secs || 22584961 markings, 39902172 edges, 232518 markings/sec, 110 secs
lola: 36 tries, 35297232 fired transitions, 115 secs || 23664148 markings, 41778478 edges, 215837 markings/sec, 115 secs
lola: 37 tries, 36995733 fired transitions, 120 secs || 24786868 markings, 43695559 edges, 224544 markings/sec, 120 secs
lola: 39 tries, 38688739 fired transitions, 125 secs || 25862888 markings, 45477103 edges, 215204 markings/sec, 125 secs
lola: 41 tries, 40406732 fired transitions, 130 secs || 26893031 markings, 47384901 edges, 206029 markings/sec, 130 secs
lola: 43 tries, 42209525 fired transitions, 135 secs || 27887569 markings, 49143118 edges, 198908 markings/sec, 135 secs
lola: 44 tries, 43959634 fired transitions, 140 secs || 28907354 markings, 51122743 edges, 203957 markings/sec, 140 secs
lola: 46 tries, 45770096 fired transitions, 145 secs || 29914757 markings, 53099479 edges, 201481 markings/sec, 145 secs
lola: 48 tries, 47459137 fired transitions, 150 secs || 30955869 markings, 54860534 edges, 208222 markings/sec, 150 secs
lola: 50 tries, 49174197 fired transitions, 155 secs || 31973605 markings, 56792392 edges, 203547 markings/sec, 155 secs
lola: 51 tries, 50885241 fired transitions, 160 secs || 32952066 markings, 58582942 edges, 195692 markings/sec, 160 secs
lola: 53 tries, 52410236 fired transitions, 165 secs || 33894260 markings, 60323418 edges, 188439 markings/sec, 165 secs
lola: 54 tries, 53871111 fired transitions, 170 secs || 34799407 markings, 62054989 edges, 181029 markings/sec, 170 secs
lola: 56 tries, 55677206 fired transitions, 175 secs || 35721156 markings, 63889962 edges, 184350 markings/sec, 175 secs
lola: 58 tries, 57457866 fired transitions, 180 secs || 36672028 markings, 65837678 edges, 190174 markings/sec, 180 secs
lola: 60 tries, 59069586 fired transitions, 185 secs || 37565166 markings, 67672965 edges, 178628 markings/sec, 185 secs
lola: 61 tries, 60224580 fired transitions, 190 secs || 38504648 markings, 69625922 edges, 187896 markings/sec, 190 secs
lola: 63 tries, 62072420 fired transitions, 195 secs || 39328085 markings, 71374525 edges, 164687 markings/sec, 195 secs
lola: 64 tries, 63921701 fired transitions, 200 secs || 40170711 markings, 73239153 edges, 168525 markings/sec, 200 secs
lola: 66 tries, 65651982 fired transitions, 205 secs || 41027229 markings, 74816967 edges, 171304 markings/sec, 205 secs
lola: 68 tries, 67309996 fired transitions, 210 secs || 41895116 markings, 76398343 edges, 173577 markings/sec, 210 secs
lola: 69 tries, 68754757 fired transitions, 215 secs || 42776572 markings, 78086119 edges, 176291 markings/sec, 215 secs
lola: 71 tries, 70538778 fired transitions, 220 secs || 43682867 markings, 79928553 edges, 181259 markings/sec, 220 secs
lola: 73 tries, 72097617 fired transitions, 225 secs || 44529860 markings, 81532022 edges, 169399 markings/sec, 225 secs
lola: 74 tries, 73770242 fired transitions, 230 secs || 45393308 markings, 83126597 edges, 172690 markings/sec, 230 secs
lola: 76 tries, 75533263 fired transitions, 235 secs || 46312976 markings, 84948779 edges, 183934 markings/sec, 235 secs
lola: 78 tries, 77319261 fired transitions, 240 secs || 47254334 markings, 86849455 edges, 188272 markings/sec, 240 secs
lola: 80 tries, 79023483 fired transitions, 245 secs || 48188078 markings, 88727355 edges, 186749 markings/sec, 245 secs
lola: 81 tries, 80674331 fired transitions, 250 secs || 49139627 markings, 90368985 edges, 190310 markings/sec, 250 secs
lola: 83 tries, 82365000 fired transitions, 255 secs || 50134540 markings, 92135541 edges, 198983 markings/sec, 255 secs
lola: 85 tries, 84073955 fired transitions, 260 secs || 51137223 markings, 94033861 edges, 200537 markings/sec, 260 secs
lola: 86 tries, 85705088 fired transitions, 265 secs || 52153590 markings, 95803484 edges, 203273 markings/sec, 265 secs
lola: 87 tries, 86981543 fired transitions, 270 secs || 53148462 markings, 97573595 edges, 198974 markings/sec, 270 secs
lola: 89 tries, 88746228 fired transitions, 275 secs || 54125677 markings, 99299963 edges, 195443 markings/sec, 275 secs
lola: 91 tries, 90475681 fired transitions, 280 secs || 55218302 markings, 101186098 edges, 218525 markings/sec, 280 secs
lola: 93 tries, 92301340 fired transitions, 285 secs || 56227245 markings, 102916194 edges, 201789 markings/sec, 285 secs
lola: 94 tries, 93982682 fired transitions, 290 secs || 57180906 markings, 104616688 edges, 190732 markings/sec, 290 secs
lola: 96 tries, 95689272 fired transitions, 295 secs || 58190844 markings, 106431743 edges, 201988 markings/sec, 295 secs
lola: 98 tries, 97389550 fired transitions, 300 secs || 59100066 markings, 108151224 edges, 181844 markings/sec, 300 secs
lola: 99 tries, 98989154 fired transitions, 305 secs || 60076094 markings, 110046718 edges, 195206 markings/sec, 305 secs
lola: 101 tries, 100761685 fired transitions, 310 secs || 61011360 markings, 111938690 edges, 187053 markings/sec, 310 secs
lola: 103 tries, 102453797 fired transitions, 315 secs || 61996299 markings, 113776234 edges, 196988 markings/sec, 315 secs
lola: 105 tries, 104137222 fired transitions, 320 secs || 62921878 markings, 115460821 edges, 185116 markings/sec, 320 secs
lola: 106 tries, 105880326 fired transitions, 325 secs || 63854605 markings, 117271952 edges, 186545 markings/sec, 325 secs
lola: 108 tries, 107651061 fired transitions, 330 secs || 64796081 markings, 119147516 edges, 188295 markings/sec, 330 secs
lola: 110 tries, 109400968 fired transitions, 335 secs || 65803226 markings, 121109286 edges, 201429 markings/sec, 335 secs
lola: 112 tries, 111094827 fired transitions, 340 secs || 66761907 markings, 122851300 edges, 191736 markings/sec, 340 secs
lola: 113 tries, 112745122 fired transitions, 345 secs || 67770450 markings, 124596420 edges, 201709 markings/sec, 345 secs
lola: 115 tries, 114412942 fired transitions, 350 secs || 68816357 markings, 126459711 edges, 209181 markings/sec, 350 secs
lola: 117 tries, 116107652 fired transitions, 355 secs || 69825881 markings, 128266533 edges, 201905 markings/sec, 355 secs
lola: 118 tries, 117783445 fired transitions, 360 secs || 70886534 markings, 130121588 edges, 212131 markings/sec, 360 secs
lola: 120 tries, 119422173 fired transitions, 365 secs || 72022352 markings, 131985940 edges, 227164 markings/sec, 365 secs
lola: 122 tries, 121079079 fired transitions, 370 secs || 73121232 markings, 133901522 edges, 219776 markings/sec, 370 secs
lola: 123 tries, 122714078 fired transitions, 375 secs || 74221010 markings, 135704089 edges, 219956 markings/sec, 375 secs
lola: 125 tries, 124406325 fired transitions, 380 secs || 75290748 markings, 137642810 edges, 213948 markings/sec, 380 secs
lola: 127 tries, 126121095 fired transitions, 385 secs || 76348605 markings, 139625279 edges, 211571 markings/sec, 385 secs
lola: 128 tries, 127826049 fired transitions, 390 secs || 77433241 markings, 141624649 edges, 216927 markings/sec, 390 secs
lola: 130 tries, 129510796 fired transitions, 395 secs || 78494057 markings, 143524053 edges, 212163 markings/sec, 395 secs
lola: 132 tries, 131205413 fired transitions, 400 secs || 79556533 markings, 145439345 edges, 212495 markings/sec, 400 secs
lola: 133 tries, 132845117 fired transitions, 405 secs || 80748965 markings, 147418991 edges, 238486 markings/sec, 405 secs
lola: 135 tries, 134514944 fired transitions, 410 secs || 81942389 markings, 149390244 edges, 238685 markings/sec, 410 secs
lola: 137 tries, 136164870 fired transitions, 415 secs || 83043974 markings, 151228363 edges, 220317 markings/sec, 415 secs
lola: 138 tries, 137871400 fired transitions, 420 secs || 84124561 markings, 153128437 edges, 216117 markings/sec, 420 secs
lola: 140 tries, 139574618 fired transitions, 425 secs || 85163433 markings, 154992800 edges, 207774 markings/sec, 425 secs
lola: 142 tries, 141252844 fired transitions, 430 secs || 86307834 markings, 156946008 edges, 228880 markings/sec, 430 secs
lola: 143 tries, 142910106 fired transitions, 435 secs || 87471234 markings, 158890576 edges, 232680 markings/sec, 435 secs
lola: 145 tries, 144545617 fired transitions, 440 secs || 88605650 markings, 160772314 edges, 226883 markings/sec, 440 secs
lola: 147 tries, 146161998 fired transitions, 445 secs || 89656122 markings, 162520354 edges, 210094 markings/sec, 445 secs
lola: 148 tries, 147825239 fired transitions, 450 secs || 90773742 markings, 164476068 edges, 223524 markings/sec, 450 secs
lola: 150 tries, 149480007 fired transitions, 455 secs || 91783336 markings, 166303780 edges, 201919 markings/sec, 455 secs
lola: 152 tries, 151164868 fired transitions, 460 secs || 92806841 markings, 168179991 edges, 204701 markings/sec, 460 secs
lola: 153 tries, 152890322 fired transitions, 465 secs || 93868620 markings, 170172823 edges, 212356 markings/sec, 465 secs
lola: 155 tries, 154715507 fired transitions, 470 secs || 94927764 markings, 172230851 edges, 211829 markings/sec, 470 secs
lola: 157 tries, 156380446 fired transitions, 475 secs || 95957621 markings, 173959864 edges, 205971 markings/sec, 475 secs
lola: 159 tries, 158069073 fired transitions, 480 secs || 97031030 markings, 175846417 edges, 214682 markings/sec, 480 secs
lola: 160 tries, 159815127 fired transitions, 485 secs || 98099378 markings, 177863975 edges, 213670 markings/sec, 485 secs
lola: 162 tries, 161493900 fired transitions, 490 secs || 99070121 markings, 179649864 edges, 194149 markings/sec, 490 secs
lola: 164 tries, 163133358 fired transitions, 495 secs || 99980106 markings, 181365295 edges, 181997 markings/sec, 495 secs
lola: 165 tries, 164846063 fired transitions, 500 secs || 100923990 markings, 183186945 edges, 188777 markings/sec, 500 secs
lola: 167 tries, 166773628 fired transitions, 505 secs || 101858460 markings, 185041796 edges, 186894 markings/sec, 505 secs
lola: 169 tries, 168460296 fired transitions, 510 secs || 102833853 markings, 186947689 edges, 195079 markings/sec, 510 secs
lola: 171 tries, 170217133 fired transitions, 515 secs || 103794217 markings, 188844989 edges, 192073 markings/sec, 515 secs
lola: 172 tries, 171949541 fired transitions, 520 secs || 104792273 markings, 190725963 edges, 199611 markings/sec, 520 secs
lola: 174 tries, 173717617 fired transitions, 525 secs || 105798623 markings, 192700612 edges, 201270 markings/sec, 525 secs
lola: 176 tries, 175224635 fired transitions, 530 secs || 106787205 markings, 194674485 edges, 197716 markings/sec, 530 secs
lola: 177 tries, 176735956 fired transitions, 535 secs || 107801556 markings, 196775692 edges, 202870 markings/sec, 535 secs
lola: 179 tries, 178566796 fired transitions, 540 secs || 108822035 markings, 198900863 edges, 204096 markings/sec, 540 secs
lola: 181 tries, 180436444 fired transitions, 545 secs || 109821786 markings, 201113616 edges, 199950 markings/sec, 545 secs
lola: 183 tries, 182194364 fired transitions, 550 secs || 110812473 markings, 203050559 edges, 198137 markings/sec, 550 secs
lola: 184 tries, 183878017 fired transitions, 555 secs || 111780085 markings, 204798971 edges, 193522 markings/sec, 555 secs
lola: 186 tries, 185655435 fired transitions, 560 secs || 112738277 markings, 206603828 edges, 191638 markings/sec, 560 secs
lola: 188 tries, 187431743 fired transitions, 565 secs || 113742628 markings, 208507717 edges, 200870 markings/sec, 565 secs
lola: 190 tries, 189225940 fired transitions, 570 secs || 114748921 markings, 210490384 edges, 201259 markings/sec, 570 secs
lola: 191 tries, 190991344 fired transitions, 575 secs || 115719780 markings, 212389058 edges, 194172 markings/sec, 575 secs
lola: 193 tries, 192697811 fired transitions, 580 secs || 116657074 markings, 214151262 edges, 187459 markings/sec, 580 secs
lola: 195 tries, 194234945 fired transitions, 585 secs || 117521568 markings, 215832085 edges, 172899 markings/sec, 585 secs
lola: 197 tries, 196016793 fired transitions, 590 secs || 118485874 markings, 217700225 edges, 192861 markings/sec, 590 secs
lola: 198 tries, 197819563 fired transitions, 595 secs || 119453047 markings, 219682429 edges, 193435 markings/sec, 595 secs
lola: 200 tries, 199551429 fired transitions, 600 secs || 120437798 markings, 221510131 edges, 196950 markings/sec, 600 secs
lola: 202 tries, 201199459 fired transitions, 605 secs || 121431948 markings, 223216725 edges, 198830 markings/sec, 605 secs
lola: 203 tries, 202938342 fired transitions, 610 secs || 122489918 markings, 225134836 edges, 211594 markings/sec, 610 secs
lola: 205 tries, 204670044 fired transitions, 615 secs || 123559784 markings, 227117319 edges, 213973 markings/sec, 615 secs
lola: 207 tries, 206331285 fired transitions, 620 secs || 124668742 markings, 229026414 edges, 221792 markings/sec, 620 secs
lola: 208 tries, 207983637 fired transitions, 625 secs || 125709743 markings, 230827115 edges, 208200 markings/sec, 625 secs
lola: 210 tries, 209472729 fired transitions, 630 secs || 126832793 markings, 232767988 edges, 224610 markings/sec, 630 secs
lola: 211 tries, 210930114 fired transitions, 635 secs || 127893141 markings, 234624467 edges, 212070 markings/sec, 635 secs
lola: 213 tries, 212622431 fired transitions, 640 secs || 128892835 markings, 236415383 edges, 199939 markings/sec, 640 secs
lola: 215 tries, 214310374 fired transitions, 645 secs || 129879145 markings, 238215806 edges, 197262 markings/sec, 645 secs
lola: 217 tries, 216042689 fired transitions, 650 secs || 130831450 markings, 240034080 edges, 190461 markings/sec, 650 secs
lola: 218 tries, 217777992 fired transitions, 655 secs || 131830160 markings, 241900830 edges, 199742 markings/sec, 655 secs
lola: 220 tries, 219517820 fired transitions, 660 secs || 132803526 markings, 243780841 edges, 194673 markings/sec, 660 secs
lola: 222 tries, 221276809 fired transitions, 665 secs || 133814068 markings, 245699627 edges, 202108 markings/sec, 665 secs
lola: 224 tries, 223074302 fired transitions, 670 secs || 134825668 markings, 247690537 edges, 202320 markings/sec, 670 secs
lola: 225 tries, 224876728 fired transitions, 675 secs || 135842806 markings, 249686255 edges, 203428 markings/sec, 675 secs
lola: 227 tries, 226570734 fired transitions, 680 secs || 136859035 markings, 251479570 edges, 203246 markings/sec, 680 secs
lola: 229 tries, 228278303 fired transitions, 685 secs || 137795994 markings, 253216080 edges, 187392 markings/sec, 685 secs
lola: 231 tries, 230033761 fired transitions, 690 secs || 138758172 markings, 255041297 edges, 192436 markings/sec, 690 secs
lola: 232 tries, 231810233 fired transitions, 695 secs || 139722340 markings, 256907830 edges, 192834 markings/sec, 695 secs
lola: 234 tries, 233616999 fired transitions, 700 secs || 140745813 markings, 258908207 edges, 204695 markings/sec, 700 secs
lola: 236 tries, 235315086 fired transitions, 705 secs || 141766051 markings, 260976058 edges, 204048 markings/sec, 705 secs
lola: 237 tries, 236704792 fired transitions, 710 secs || 142791112 markings, 262778376 edges, 205012 markings/sec, 710 secs
lola: 239 tries, 238392116 fired transitions, 715 secs || 143898538 markings, 264694926 edges, 221485 markings/sec, 715 secs
lola: 241 tries, 240096413 fired transitions, 720 secs || 144984282 markings, 266635167 edges, 217149 markings/sec, 720 secs
lola: 242 tries, 241806621 fired transitions, 725 secs || 146061513 markings, 268495203 edges, 215446 markings/sec, 725 secs
lola: 244 tries, 243381470 fired transitions, 730 secs || 147051555 markings, 270097823 edges, 198008 markings/sec, 730 secs
lola: 245 tries, 244955422 fired transitions, 735 secs || 148049226 markings, 271821604 edges, 199534 markings/sec, 735 secs
lola: 247 tries, 246547566 fired transitions, 740 secs || 149034489 markings, 273524392 edges, 197053 markings/sec, 740 secs
lola: 249 tries, 248168573 fired transitions, 745 secs || 150255793 markings, 275559071 edges, 244261 markings/sec, 745 secs
lola: 250 tries, 249740582 fired transitions, 750 secs || 151306792 markings, 277314177 edges, 210200 markings/sec, 750 secs
lola: 252 tries, 251316445 fired transitions, 755 secs || 152372496 markings, 279031206 edges, 213141 markings/sec, 755 secs
lola: 253 tries, 252913054 fired transitions, 760 secs || 153422801 markings, 280747653 edges, 210061 markings/sec, 760 secs
lola: 255 tries, 254525770 fired transitions, 765 secs || 154505287 markings, 282529293 edges, 216497 markings/sec, 765 secs
lola: 257 tries, 256064325 fired transitions, 770 secs || 155556662 markings, 284266952 edges, 210275 markings/sec, 770 secs
lola: 258 tries, 257415561 fired transitions, 775 secs || 156447804 markings, 285851434 edges, 178228 markings/sec, 775 secs
lola: 260 tries, 259068872 fired transitions, 780 secs || 157430657 markings, 287704234 edges, 196571 markings/sec, 780 secs
lola: 261 tries, 260699510 fired transitions, 785 secs || 158359755 markings, 289352423 edges, 185820 markings/sec, 785 secs
lola: 263 tries, 262314428 fired transitions, 790 secs || 159301984 markings, 290974889 edges, 188446 markings/sec, 790 secs
lola: 264 tries, 263966352 fired transitions, 795 secs || 160224961 markings, 292595353 edges, 184595 markings/sec, 795 secs
lola: 266 tries, 265621578 fired transitions, 800 secs || 161317874 markings, 294348869 edges, 218583 markings/sec, 800 secs
lola: 268 tries, 267323384 fired transitions, 805 secs || 162454648 markings, 296324351 edges, 227355 markings/sec, 805 secs
lola: 269 tries, 268950322 fired transitions, 810 secs || 163372059 markings, 297830140 edges, 183482 markings/sec, 810 secs
lola: 271 tries, 270607851 fired transitions, 815 secs || 164439185 markings, 299576442 edges, 213425 markings/sec, 815 secs
lola: 273 tries, 272275260 fired transitions, 820 secs || 165470463 markings, 301279802 edges, 206256 markings/sec, 820 secs
lola: 274 tries, 273984620 fired transitions, 825 secs || 166458366 markings, 303046032 edges, 197581 markings/sec, 825 secs
lola: 276 tries, 275665922 fired transitions, 830 secs || 167440154 markings, 304712746 edges, 196358 markings/sec, 830 secs
lola: 278 tries, 277324544 fired transitions, 835 secs || 168395001 markings, 306281438 edges, 190969 markings/sec, 835 secs
lola: 280 tries, 279006855 fired transitions, 840 secs || 169432909 markings, 307975281 edges, 207582 markings/sec, 840 secs
lola: 281 tries, 280689596 fired transitions, 845 secs || 170503822 markings, 309734994 edges, 214183 markings/sec, 845 secs
lola: 283 tries, 282420955 fired transitions, 850 secs || 171529092 markings, 311544001 edges, 205054 markings/sec, 850 secs
lola: 285 tries, 284075442 fired transitions, 855 secs || 172688738 markings, 313474469 edges, 231929 markings/sec, 855 secs
lola: 286 tries, 285685595 fired transitions, 860 secs || 173865948 markings, 315382430 edges, 235442 markings/sec, 860 secs
lola: 288 tries, 287359540 fired transitions, 865 secs || 175035426 markings, 317291365 edges, 233896 markings/sec, 865 secs
lola: 290 tries, 289055488 fired transitions, 870 secs || 176196162 markings, 319237410 edges, 232147 markings/sec, 870 secs
lola: 291 tries, 290764197 fired transitions, 875 secs || 177174830 markings, 320890219 edges, 195734 markings/sec, 875 secs
lola: 293 tries, 292506059 fired transitions, 880 secs || 178130400 markings, 322577584 edges, 191114 markings/sec, 880 secs
lola: 295 tries, 294155266 fired transitions, 885 secs || 179121356 markings, 324280259 edges, 198191 markings/sec, 885 secs
lola: 296 tries, 295864550 fired transitions, 890 secs || 180177865 markings, 326057415 edges, 211302 markings/sec, 890 secs
lola: 298 tries, 297566637 fired transitions, 895 secs || 181086381 markings, 327637291 edges, 181703 markings/sec, 895 secs
lola: 300 tries, 299265425 fired transitions, 900 secs || 182035497 markings, 329270462 edges, 189823 markings/sec, 900 secs
lola: 302 tries, 301011712 fired transitions, 905 secs || 183045834 markings, 331082010 edges, 202067 markings/sec, 905 secs
lola: 303 tries, 302801641 fired transitions, 910 secs || 184138573 markings, 332945156 edges, 218548 markings/sec, 910 secs
lola: 305 tries, 304500046 fired transitions, 915 secs || 185056578 markings, 334482449 edges, 183601 markings/sec, 915 secs
lola: 307 tries, 306220577 fired transitions, 920 secs || 186032431 markings, 336122986 edges, 195171 markings/sec, 920 secs
lola: 308 tries, 307979610 fired transitions, 925 secs || 187007496 markings, 337848201 edges, 195013 markings/sec, 925 secs
lola: 310 tries, 309723023 fired transitions, 930 secs || 188051789 markings, 339686649 edges, 208859 markings/sec, 930 secs
lola: 312 tries, 311406444 fired transitions, 935 secs || 189157467 markings, 341528686 edges, 221136 markings/sec, 935 secs
lola: 314 tries, 313163347 fired transitions, 940 secs || 190343215 markings, 343566789 edges, 237150 markings/sec, 940 secs
lola: 315 tries, 314918800 fired transitions, 945 secs || 191328948 markings, 345247039 edges, 197147 markings/sec, 945 secs
lola: 317 tries, 316640991 fired transitions, 950 secs || 192316383 markings, 346985948 edges, 197487 markings/sec, 950 secs
lola: 319 tries, 318417561 fired transitions, 955 secs || 193295609 markings, 348812881 edges, 195845 markings/sec, 955 secs
lola: 321 tries, 320155182 fired transitions, 960 secs || 194269489 markings, 350563713 edges, 194776 markings/sec, 960 secs
lola: 322 tries, 321875135 fired transitions, 965 secs || 195177738 markings, 352165290 edges, 181650 markings/sec, 965 secs
lola: 324 tries, 323639716 fired transitions, 970 secs || 196167646 markings, 353972533 edges, 197982 markings/sec, 970 secs
lola: 326 tries, 325340993 fired transitions, 975 secs || 197285051 markings, 355878193 edges, 223481 markings/sec, 975 secs
lola: 328 tries, 327015587 fired transitions, 980 secs || 198483591 markings, 357750610 edges, 239708 markings/sec, 980 secs
lola: 329 tries, 328619737 fired transitions, 985 secs || 199462420 markings, 359320897 edges, 195766 markings/sec, 985 secs
lola: 331 tries, 330243056 fired transitions, 990 secs || 200434201 markings, 360859406 edges, 194356 markings/sec, 990 secs
lola: 332 tries, 331849482 fired transitions, 995 secs || 201339357 markings, 362296298 edges, 181031 markings/sec, 995 secs
lola: 334 tries, 333486988 fired transitions, 1000 secs || 202294001 markings, 363867526 edges, 190929 markings/sec, 1000 secs
lola: 336 tries, 335099465 fired transitions, 1005 secs || 203183588 markings, 365271518 edges, 177917 markings/sec, 1005 secs
lola: 337 tries, 336735148 fired transitions, 1010 secs || 204078499 markings, 366693575 edges, 178982 markings/sec, 1010 secs
lola: 339 tries, 338383345 fired transitions, 1015 secs || 205021223 markings, 368233878 edges, 188545 markings/sec, 1015 secs
lola: 341 tries, 340042609 fired transitions, 1020 secs || 205922825 markings, 369673275 edges, 180320 markings/sec, 1020 secs
lola: 342 tries, 341709567 fired transitions, 1025 secs || 206876088 markings, 371251735 edges, 190653 markings/sec, 1025 secs
lola: 344 tries, 343396705 fired transitions, 1030 secs || 207825027 markings, 372802790 edges, 189788 markings/sec, 1030 secs
lola: 346 tries, 345069071 fired transitions, 1035 secs || 208889562 markings, 374519211 edges, 212907 markings/sec, 1035 secs
lola: 347 tries, 346774238 fired transitions, 1040 secs || 210199739 markings, 376598616 edges, 262035 markings/sec, 1040 secs
lola: 349 tries, 348595167 fired transitions, 1045 secs || 211164826 markings, 378160488 edges, 193017 markings/sec, 1045 secs
lola: 351 tries, 350286877 fired transitions, 1050 secs || 212235019 markings, 379973439 edges, 214039 markings/sec, 1050 secs
lola: 353 tries, 352007282 fired transitions, 1055 secs || 213446972 markings, 381943269 edges, 242391 markings/sec, 1055 secs
lola: 354 tries, 353732356 fired transitions, 1060 secs || 214669556 markings, 383910253 edges, 244517 markings/sec, 1060 secs
lola: 356 tries, 355442310 fired transitions, 1065 secs || 215635135 markings, 385477213 edges, 193116 markings/sec, 1065 secs
lola: 358 tries, 357168418 fired transitions, 1070 secs || 216620471 markings, 387085302 edges, 197067 markings/sec, 1070 secs
lola: 359 tries, 358875965 fired transitions, 1075 secs || 217678208 markings, 388815799 edges, 211547 markings/sec, 1075 secs
lola: 361 tries, 360594196 fired transitions, 1080 secs || 218684083 markings, 390472537 edges, 201175 markings/sec, 1080 secs
lola: 363 tries, 362328193 fired transitions, 1085 secs || 219699119 markings, 392129897 edges, 203007 markings/sec, 1085 secs
lola: 365 tries, 364062165 fired transitions, 1090 secs || 220695350 markings, 393758371 edges, 199246 markings/sec, 1090 secs
lola: 366 tries, 365788203 fired transitions, 1095 secs || 221686817 markings, 395377108 edges, 198293 markings/sec, 1095 secs
lola: 368 tries, 367522206 fired transitions, 1100 secs || 222683441 markings, 397012412 edges, 199325 markings/sec, 1100 secs
lola: 370 tries, 369267460 fired transitions, 1105 secs || 223888763 markings, 398979968 edges, 241064 markings/sec, 1105 secs
lola: 372 tries, 371006032 fired transitions, 1110 secs || 224926369 markings, 400675605 edges, 207521 markings/sec, 1110 secs
lola: 373 tries, 372735581 fired transitions, 1115 secs || 225944156 markings, 402335591 edges, 203557 markings/sec, 1115 secs
lola: 375 tries, 374470983 fired transitions, 1120 secs || 226963909 markings, 404011821 edges, 203951 markings/sec, 1120 secs
lola: 377 tries, 376209164 fired transitions, 1125 secs || 227991324 markings, 405685714 edges, 205483 markings/sec, 1125 secs
lola: 378 tries, 377948422 fired transitions, 1130 secs || 229008151 markings, 407358593 edges, 203365 markings/sec, 1130 secs
lola: 380 tries, 379681600 fired transitions, 1135 secs || 230028978 markings, 409048002 edges, 204165 markings/sec, 1135 secs
lola: 382 tries, 381410904 fired transitions, 1140 secs || 231062886 markings, 410730465 edges, 206782 markings/sec, 1140 secs
lola: 384 tries, 383152058 fired transitions, 1145 secs || 232089760 markings, 412415068 edges, 205375 markings/sec, 1145 secs
lola: 385 tries, 384897551 fired transitions, 1150 secs || 233105772 markings, 414084909 edges, 203202 markings/sec, 1150 secs
lola: 387 tries, 386640567 fired transitions, 1155 secs || 234123574 markings, 415762939 edges, 203560 markings/sec, 1155 secs
lola: 389 tries, 388379069 fired transitions, 1160 secs || 235181337 markings, 417481718 edges, 211553 markings/sec, 1160 secs
lola: 391 tries, 390111623 fired transitions, 1165 secs || 236282026 markings, 419302570 edges, 220138 markings/sec, 1165 secs
lola: 392 tries, 391851569 fired transitions, 1170 secs || 237317021 markings, 421005289 edges, 206999 markings/sec, 1170 secs
lola: 394 tries, 393587063 fired transitions, 1175 secs || 238366499 markings, 422745635 edges, 209896 markings/sec, 1175 secs
lola: 396 tries, 395321825 fired transitions, 1180 secs || 239428523 markings, 424487971 edges, 212405 markings/sec, 1180 secs
lola: 398 tries, 397053280 fired transitions, 1185 secs || 240492649 markings, 426226151 edges, 212825 markings/sec, 1185 secs
lola: 399 tries, 398789689 fired transitions, 1190 secs || 241556573 markings, 427967076 edges, 212785 markings/sec, 1190 secs
lola: 401 tries, 400526623 fired transitions, 1195 secs || 242637599 markings, 429755434 edges, 216205 markings/sec, 1195 secs
lola: 403 tries, 402283406 fired transitions, 1200 secs || 243809833 markings, 431695325 edges, 234447 markings/sec, 1200 secs
lola: 405 tries, 404007498 fired transitions, 1205 secs || 244883169 markings, 433459925 edges, 214667 markings/sec, 1205 secs
lola: 406 tries, 405762274 fired transitions, 1210 secs || 245908395 markings, 435155246 edges, 205045 markings/sec, 1210 secs
lola: 408 tries, 407485973 fired transitions, 1215 secs || 246964046 markings, 436924246 edges, 211130 markings/sec, 1215 secs
lola: 410 tries, 409210901 fired transitions, 1220 secs || 248054503 markings, 438719489 edges, 218091 markings/sec, 1220 secs
lola: 411 tries, 410945549 fired transitions, 1225 secs || 249126013 markings, 440477447 edges, 214302 markings/sec, 1225 secs
lola: 413 tries, 412675862 fired transitions, 1230 secs || 250205633 markings, 442253019 edges, 215924 markings/sec, 1230 secs
lola: 415 tries, 414390444 fired transitions, 1235 secs || 251322621 markings, 444075933 edges, 223398 markings/sec, 1235 secs
lola: 417 tries, 416115208 fired transitions, 1240 secs || 252402663 markings, 445854002 edges, 216008 markings/sec, 1240 secs
lola: 418 tries, 417862034 fired transitions, 1245 secs || 253468783 markings, 447619739 edges, 213224 markings/sec, 1245 secs
lola: 420 tries, 419607266 fired transitions, 1250 secs || 254532337 markings, 449416696 edges, 212711 markings/sec, 1250 secs
lola: 422 tries, 421337578 fired transitions, 1255 secs || 255623073 markings, 451193767 edges, 218147 markings/sec, 1255 secs
lola: 424 tries, 423072458 fired transitions, 1260 secs || 256693825 markings, 452972489 edges, 214150 markings/sec, 1260 secs
lola: 425 tries, 424803675 fired transitions, 1265 secs || 257765424 markings, 454731828 edges, 214320 markings/sec, 1265 secs
lola: 427 tries, 426525727 fired transitions, 1270 secs || 258889837 markings, 456583014 edges, 224883 markings/sec, 1270 secs
lola: 429 tries, 428295255 fired transitions, 1275 secs || 260053987 markings, 458508405 edges, 232830 markings/sec, 1275 secs
lola: 431 tries, 430033271 fired transitions, 1280 secs || 261252726 markings, 460484367 edges, 239748 markings/sec, 1280 secs
lola: 432 tries, 431779789 fired transitions, 1285 secs || 262368731 markings, 462328281 edges, 223201 markings/sec, 1285 secs
lola: 434 tries, 433088815 fired transitions, 1290 secs || 263432177 markings, 464131657 edges, 212689 markings/sec, 1290 secs
lola: 435 tries, 434815248 fired transitions, 1295 secs || 264496225 markings, 465910341 edges, 212810 markings/sec, 1295 secs
lola: 437 tries, 436525349 fired transitions, 1300 secs || 265560714 markings, 467664258 edges, 212898 markings/sec, 1300 secs
lola: 439 tries, 438243764 fired transitions, 1305 secs || 266632501 markings, 469463067 edges, 214357 markings/sec, 1305 secs
lola: 440 tries, 439996671 fired transitions, 1310 secs || 267738504 markings, 471324258 edges, 221201 markings/sec, 1310 secs
lola: 442 tries, 441739997 fired transitions, 1315 secs || 268853899 markings, 473173275 edges, 223079 markings/sec, 1315 secs
lola: 444 tries, 443554583 fired transitions, 1320 secs || 269873385 markings, 474921133 edges, 203897 markings/sec, 1320 secs
lola: 446 tries, 445393229 fired transitions, 1325 secs || 270942378 markings, 476760381 edges, 213799 markings/sec, 1325 secs
lola: 448 tries, 447155633 fired transitions, 1330 secs || 272002432 markings, 478581336 edges, 212011 markings/sec, 1330 secs
lola: 449 tries, 448937082 fired transitions, 1335 secs || 273176556 markings, 480536532 edges, 234825 markings/sec, 1335 secs
lola: 451 tries, 450324871 fired transitions, 1340 secs || 274341245 markings, 482484134 edges, 232938 markings/sec, 1340 secs
lola: 453 tries, 452222114 fired transitions, 1345 secs || 275499294 markings, 484386279 edges, 231610 markings/sec, 1345 secs
lola: 454 tries, 453999208 fired transitions, 1350 secs || 276616157 markings, 486248456 edges, 223373 markings/sec, 1350 secs
lola: 456 tries, 455668597 fired transitions, 1355 secs || 277643399 markings, 488015413 edges, 205448 markings/sec, 1355 secs
lola: 458 tries, 457468442 fired transitions, 1360 secs || 278772156 markings, 489893441 edges, 225751 markings/sec, 1360 secs
lola: 460 tries, 459205073 fired transitions, 1365 secs || 279814501 markings, 491647931 edges, 208469 markings/sec, 1365 secs
lola: 461 tries, 460932822 fired transitions, 1370 secs || 280915579 markings, 493487663 edges, 220216 markings/sec, 1370 secs
lola: 463 tries, 462631629 fired transitions, 1375 secs || 282022385 markings, 495310069 edges, 221361 markings/sec, 1375 secs
lola: 465 tries, 464375974 fired transitions, 1380 secs || 283093344 markings, 497117524 edges, 214192 markings/sec, 1380 secs
lola: 467 tries, 466105402 fired transitions, 1385 secs || 284135868 markings, 498897322 edges, 208505 markings/sec, 1385 secs
lola: 468 tries, 467484867 fired transitions, 1390 secs || 285208391 markings, 500771335 edges, 214505 markings/sec, 1390 secs
lola: 470 tries, 469214291 fired transitions, 1395 secs || 286328905 markings, 502629787 edges, 224103 markings/sec, 1395 secs
lola: 471 tries, 470943595 fired transitions, 1400 secs || 287409910 markings, 504395094 edges, 216201 markings/sec, 1400 secs
lola: 473 tries, 472703944 fired transitions, 1405 secs || 288500241 markings, 506200745 edges, 218066 markings/sec, 1405 secs
lola: 475 tries, 474506113 fired transitions, 1410 secs || 289599844 markings, 508037405 edges, 219921 markings/sec, 1410 secs
lola: 477 tries, 476316224 fired transitions, 1415 secs || 290641917 markings, 509863308 edges, 208415 markings/sec, 1415 secs
lola: 479 tries, 478067222 fired transitions, 1420 secs || 291695419 markings, 511682313 edges, 210700 markings/sec, 1420 secs
lola: 480 tries, 479813392 fired transitions, 1425 secs || 292749187 markings, 513490295 edges, 210754 markings/sec, 1425 secs
lola: 482 tries, 481586226 fired transitions, 1430 secs || 293795110 markings, 515302091 edges, 209185 markings/sec, 1430 secs
lola: 484 tries, 483383995 fired transitions, 1435 secs || 294818659 markings, 517106835 edges, 204710 markings/sec, 1435 secs
lola: 486 tries, 485158857 fired transitions, 1440 secs || 295869858 markings, 518935856 edges, 210240 markings/sec, 1440 secs
lola: 488 tries, 487007077 fired transitions, 1445 secs || 296857742 markings, 520737370 edges, 197577 markings/sec, 1445 secs
lola: 489 tries, 488824151 fired transitions, 1450 secs || 297857021 markings, 522526995 edges, 199856 markings/sec, 1450 secs
lola: 491 tries, 490649852 fired transitions, 1455 secs || 298849369 markings, 524299389 edges, 198470 markings/sec, 1455 secs
lola: 493 tries, 492472534 fired transitions, 1460 secs || 299845697 markings, 526083078 edges, 199266 markings/sec, 1460 secs
lola: 495 tries, 494289780 fired transitions, 1465 secs || 300840913 markings, 527852707 edges, 199043 markings/sec, 1465 secs
lola: 497 tries, 496120532 fired transitions, 1470 secs || 301833022 markings, 529639638 edges, 198422 markings/sec, 1470 secs
lola: 498 tries, 497968799 fired transitions, 1475 secs || 302802916 markings, 531424372 edges, 193979 markings/sec, 1475 secs
lola: 500 tries, 499804239 fired transitions, 1480 secs || 303779043 markings, 533213192 edges, 195225 markings/sec, 1480 secs
lola: 502 tries, 501648869 fired transitions, 1485 secs || 304750723 markings, 535004723 edges, 194336 markings/sec, 1485 secs
lola: 504 tries, 503514145 fired transitions, 1490 secs || 305690401 markings, 536790460 edges, 187936 markings/sec, 1490 secs
lola: 506 tries, 505358510 fired transitions, 1495 secs || 306658133 markings, 538577312 edges, 193546 markings/sec, 1495 secs
lola: 508 tries, 507211886 fired transitions, 1500 secs || 307623784 markings, 540385919 edges, 193130 markings/sec, 1500 secs
lola: 510 tries, 509082612 fired transitions, 1505 secs || 308568111 markings, 542191439 edges, 188865 markings/sec, 1505 secs
lola: 511 tries, 510934481 fired transitions, 1510 secs || 309536326 markings, 544006113 edges, 193643 markings/sec, 1510 secs
lola: 513 tries, 512812090 fired transitions, 1515 secs || 310461925 markings, 545805104 edges, 185120 markings/sec, 1515 secs
lola: 515 tries, 514678828 fired transitions, 1520 secs || 311398795 markings, 547602667 edges, 187374 markings/sec, 1520 secs
lola: 517 tries, 516547229 fired transitions, 1525 secs || 312349169 markings, 549428752 edges, 190075 markings/sec, 1525 secs
lola: 519 tries, 518405757 fired transitions, 1530 secs || 313299349 markings, 551236433 edges, 190036 markings/sec, 1530 secs
lola: 521 tries, 520227923 fired transitions, 1535 secs || 314247859 markings, 553025662 edges, 189702 markings/sec, 1535 secs
lola: 523 tries, 522067168 fired transitions, 1540 secs || 315200040 markings, 554857191 edges, 190436 markings/sec, 1540 secs
lola: 524 tries, 523570392 fired transitions, 1545 secs || 316120686 markings, 556693521 edges, 184129 markings/sec, 1545 secs
lola: 526 tries, 525429254 fired transitions, 1550 secs || 317059462 markings, 558519399 edges, 187755 markings/sec, 1550 secs
lola: 528 tries, 527275771 fired transitions, 1555 secs || 318009833 markings, 560334360 edges, 190074 markings/sec, 1555 secs
lola: 530 tries, 529133499 fired transitions, 1560 secs || 318946475 markings, 562169971 edges, 187328 markings/sec, 1560 secs
lola: 531 tries, 530994932 fired transitions, 1565 secs || 319891051 markings, 564046071 edges, 188915 markings/sec, 1565 secs
lola: 533 tries, 532836779 fired transitions, 1570 secs || 320883912 markings, 565979229 edges, 198572 markings/sec, 1570 secs
lola: 535 tries, 534551792 fired transitions, 1575 secs || 321958257 markings, 567831923 edges, 214869 markings/sec, 1575 secs
lola: 537 tries, 536168355 fired transitions, 1580 secs || 323064361 markings, 569581083 edges, 221221 markings/sec, 1580 secs
lola: 538 tries, 537846563 fired transitions, 1585 secs || 324203961 markings, 571503583 edges, 227920 markings/sec, 1585 secs
lola: 540 tries, 539470613 fired transitions, 1590 secs || 325243312 markings, 573233532 edges, 207870 markings/sec, 1590 secs
lola: 542 tries, 541049383 fired transitions, 1595 secs || 326238273 markings, 574850507 edges, 198992 markings/sec, 1595 secs
lola: 543 tries, 542304169 fired transitions, 1600 secs || 327315533 markings, 576610344 edges, 215452 markings/sec, 1600 secs
lola: 544 tries, 543952718 fired transitions, 1605 secs || 328363544 markings, 578326573 edges, 209602 markings/sec, 1605 secs
lola: 546 tries, 545433880 fired transitions, 1610 secs || 329449331 markings, 580101231 edges, 217157 markings/sec, 1610 secs
lola: 547 tries, 546880227 fired transitions, 1615 secs || 330534260 markings, 581893571 edges, 216986 markings/sec, 1615 secs
lola: 549 tries, 548600141 fired transitions, 1620 secs || 331570250 markings, 583701406 edges, 207198 markings/sec, 1620 secs
lola: 551 tries, 550349596 fired transitions, 1625 secs || 332562074 markings, 585486576 edges, 198365 markings/sec, 1625 secs
lola: 553 tries, 552111972 fired transitions, 1630 secs || 333548883 markings, 587322401 edges, 197362 markings/sec, 1630 secs
lola: 554 tries, 553820894 fired transitions, 1635 secs || 334568831 markings, 589052424 edges, 203990 markings/sec, 1635 secs
lola: 556 tries, 555580022 fired transitions, 1640 secs || 335605460 markings, 590683380 edges, 207326 markings/sec, 1640 secs
lola: 558 tries, 557360478 fired transitions, 1645 secs || 336690119 markings, 592503708 edges, 216932 markings/sec, 1645 secs
lola: 560 tries, 559074519 fired transitions, 1650 secs || 337700985 markings, 594238981 edges, 202173 markings/sec, 1650 secs
lola: 561 tries, 560763410 fired transitions, 1655 secs || 338724655 markings, 595902603 edges, 204734 markings/sec, 1655 secs
lola: 563 tries, 562441448 fired transitions, 1660 secs || 339679234 markings, 597469236 edges, 190916 markings/sec, 1660 secs
lola: 565 tries, 564141773 fired transitions, 1665 secs || 340694395 markings, 599134463 edges, 203032 markings/sec, 1665 secs
lola: 566 tries, 565873467 fired transitions, 1670 secs || 341720164 markings, 600866772 edges, 205154 markings/sec, 1670 secs
lola: 568 tries, 567627046 fired transitions, 1675 secs || 342707928 markings, 602587457 edges, 197553 markings/sec, 1675 secs
lola: 570 tries, 569336112 fired transitions, 1680 secs || 343618571 markings, 604096281 edges, 182129 markings/sec, 1680 secs
lola: 572 tries, 571054515 fired transitions, 1685 secs || 344548204 markings, 605619765 edges, 185927 markings/sec, 1685 secs
lola: 573 tries, 572764770 fired transitions, 1690 secs || 345516478 markings, 607183232 edges, 193655 markings/sec, 1690 secs
lola: 575 tries, 574483898 fired transitions, 1695 secs || 346549746 markings, 608860363 edges, 206654 markings/sec, 1695 secs
lola: 577 tries, 576241915 fired transitions, 1700 secs || 347590705 markings, 610547690 edges, 208192 markings/sec, 1700 secs
lola: 579 tries, 578072455 fired transitions, 1705 secs || 348638457 markings, 612248699 edges, 209550 markings/sec, 1705 secs
lola: 580 tries, 579865391 fired transitions, 1710 secs || 349628975 markings, 613961224 edges, 198104 markings/sec, 1710 secs
lola: 582 tries, 581674122 fired transitions, 1715 secs || 350592681 markings, 615711296 edges, 192741 markings/sec, 1715 secs
lola: 584 tries, 583325513 fired transitions, 1720 secs || 351592348 markings, 617321817 edges, 199933 markings/sec, 1720 secs
lola: 585 tries, 584971797 fired transitions, 1725 secs || 352648784 markings, 619042314 edges, 211287 markings/sec, 1725 secs
lola: 587 tries, 586677493 fired transitions, 1730 secs || 353754603 markings, 620819802 edges, 221164 markings/sec, 1730 secs
lola: 589 tries, 588405655 fired transitions, 1735 secs || 354895239 markings, 622662969 edges, 228127 markings/sec, 1735 secs
lola: 591 tries, 590159876 fired transitions, 1740 secs || 356042840 markings, 624620958 edges, 229520 markings/sec, 1740 secs
lola: 592 tries, 591895281 fired transitions, 1745 secs || 357039350 markings, 626330043 edges, 199302 markings/sec, 1745 secs
lola: 594 tries, 593608168 fired transitions, 1750 secs || 358038121 markings, 627948152 edges, 199754 markings/sec, 1750 secs
lola: 596 tries, 595394641 fired transitions, 1755 secs || 359022689 markings, 629682023 edges, 196914 markings/sec, 1755 secs
lola: 598 tries, 597141589 fired transitions, 1760 secs || 360021638 markings, 631438476 edges, 199790 markings/sec, 1760 secs
lola: time limit reached - aborting
lola: memory consumption: 14215012 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="PaceMaker-PT-none"
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 PaceMaker-PT-none, 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 r175-csrt-158987856600286"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PaceMaker-PT-none.tgz
mv PaceMaker-PT-none 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 ;