About the Execution of ITS-LoLa for PermAdmissibility-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.880 | 3600000.00 | 3613880.00 | 426.90 | 5 5 5 10 5 10 10 5 ? 5 ? ? ? 5 5 5 | normal |
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.r174-csrt-158987853500629.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 PermAdmissibility-PT-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987853500629
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 896K
-rw-r--r-- 1 mcc users 5.9K Apr 12 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 12 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 10 23:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 10 23:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 68K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 9 12:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Apr 9 12:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 481K 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 positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-00
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-01
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-02
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-03
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-04
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-05
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-06
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-07
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-08
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-09
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-10
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-11
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-12
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-13
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-14
FORMULA_NAME PermAdmissibility-PT-05-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591159244626
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 04:40:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 04:40:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 04:40:48] [INFO ] Load time of PNML (sax parser for PT used): 150 ms
[2020-06-03 04:40:48] [INFO ] Transformed 168 places.
[2020-06-03 04:40:48] [INFO ] Transformed 592 transitions.
[2020-06-03 04:40:48] [INFO ] Parsed PT model containing 168 places and 592 transitions in 222 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 73 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-03 04:40:48] [INFO ] Flatten gal took : 181 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 592 rows 168 cols
[2020-06-03 04:40:49] [INFO ] Computed 32 place invariants in 53 ms
Support contains 40 out of 168 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 168/168 places, 592/592 transitions.
Discarding 47 places :
Also discarding 0 output transitions
Graph (complete) has 1615 edges and 168 vertex of which 121 are kept as prefixes of interest. Removing 47 places using SCC suffix rule.38 ms
Drop transitions removed 49 transitions
Reduce isomorphic transitions removed 49 transitions.
Iterating post reduction 0 with 49 rules applied. Total rules applied 50 place count 121 transition count 543
Symmetric choice reduction at 1 with 12 rule applications. Total rules 62 place count 121 transition count 543
Deduced a syphon composed of 12 places in 1 ms
Reduce places removed 12 places and 72 transitions.
Iterating global reduction 1 with 24 rules applied. Total rules applied 86 place count 109 transition count 471
Applied a total of 86 rules in 159 ms. Remains 109 /168 variables (removed 59) and now considering 471/592 (removed 121) transitions.
Finished structural reductions, in 1 iterations. Remains : 109/168 places, 471/592 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 471 rows 109 cols
[2020-06-03 04:40:49] [INFO ] Computed 18 place invariants in 5 ms
Support contains 40 out of 109 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 109/109 places, 471/471 transitions.
Applied a total of 0 rules in 18 ms. Remains 109 /109 variables (removed 0) and now considering 471/471 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 109/109 places, 471/471 transitions.
Starting structural reductions, iteration 0 : 109/109 places, 471/471 transitions.
Applied a total of 0 rules in 32 ms. Remains 109 /109 variables (removed 0) and now considering 471/471 (removed 0) transitions.
// Phase 1: matrix 471 rows 109 cols
[2020-06-03 04:40:49] [INFO ] Computed 18 place invariants in 19 ms
[2020-06-03 04:40:49] [INFO ] Implicit Places using invariants in 559 ms returned []
// Phase 1: matrix 471 rows 109 cols
[2020-06-03 04:40:49] [INFO ] Computed 18 place invariants in 12 ms
[2020-06-03 04:40:50] [INFO ] Implicit Places using invariants and state equation in 996 ms returned []
Implicit Place search using SMT with State Equation took 1571 ms to find 0 implicit places.
[2020-06-03 04:40:50] [INFO ] Redundant transitions in 42 ms returned []
// Phase 1: matrix 471 rows 109 cols
[2020-06-03 04:40:50] [INFO ] Computed 18 place invariants in 22 ms
[2020-06-03 04:40:51] [INFO ] Dead Transitions using invariants and state equation in 941 ms returned []
Finished structural reductions, in 1 iterations. Remains : 109/109 places, 471/471 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 33 ms. Remains 109 /109 variables (removed 0) and now considering 471/471 (removed 0) transitions.
// Phase 1: matrix 471 rows 109 cols
[2020-06-03 04:40:51] [INFO ] Computed 18 place invariants in 5 ms
[2020-06-03 04:40:51] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 63 ms.
[2020-06-03 04:40:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 31 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PermAdmissibility-PT-05 @ 3570 seconds
FORMULA PermAdmissibility-PT-05-UpperBounds-00 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-01 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-02 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-07 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-09 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-13 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-14 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-15 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-03 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-06 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-04 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-05-UpperBounds-05 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PermAdmissibility-PT-05
{
"exit":
{
"memory": 8399880,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p4)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"preliminary_value": "5 5 5 10 5 10 10 5 unknown 5 unknown unknown unknown 5 5 5 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 580/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3488
lola: finding significant places
lola: 109 places, 471 transitions, 91 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 UpperBounds.xml
lola: MAX(p32 + p34 + p36 + p37 + p38 + p39 + p40 + p41) : MAX(p105) : MAX(p64) : MAX(p107 + p108) : MAX(p19 + p20 + p25 + p26 + p27 + p28 + p29 + p30) : MAX(p13 + p14 + p15 + p17 + p21 + p22 + p23 + p24) : MAX(p66 + p67 + p80 + p81) : MAX(p106) : MAX(p4) : MAX(p74) : MAX(p33) : MAX(p21) : MAX(p1) : MAX(p87) : MAX(p31) : MAX(p10)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p32 + p34 + p36 + p37 + p38 + p39 + p40 + p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p32 + p34 + p36 + p37 + p38 + p39 + p40 + p41)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 66 markings, 65 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p105)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p64)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 31 markings, 30 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p106)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 594650 markings, 1693922 edges, 118930 markings/sec, 0 secs
lola: 1191465 markings, 3445392 edges, 119363 markings/sec, 5 secs
lola: 1718390 markings, 5275226 edges, 105385 markings/sec, 10 secs
lola: 2314724 markings, 7113849 edges, 119267 markings/sec, 15 secs
lola: 2931835 markings, 9116722 edges, 123422 markings/sec, 20 secs
lola: 3469229 markings, 11288788 edges, 107479 markings/sec, 25 secs
lola: 4067218 markings, 13290014 edges, 119598 markings/sec, 30 secs
lola: 4717410 markings, 15213472 edges, 130038 markings/sec, 35 secs
lola: 5370587 markings, 17180145 edges, 130635 markings/sec, 40 secs
lola: 5997845 markings, 19259653 edges, 125452 markings/sec, 45 secs
lola: 6661833 markings, 21219514 edges, 132798 markings/sec, 50 secs
lola: 7238933 markings, 23277946 edges, 115420 markings/sec, 55 secs
lola: 7782646 markings, 25346737 edges, 108743 markings/sec, 60 secs
lola: 8374928 markings, 27373720 edges, 118456 markings/sec, 65 secs
lola: 8968453 markings, 29393459 edges, 118705 markings/sec, 70 secs
lola: 9566411 markings, 31409005 edges, 119592 markings/sec, 75 secs
lola: 10145049 markings, 33485340 edges, 115728 markings/sec, 80 secs
lola: 10687848 markings, 35662493 edges, 108560 markings/sec, 85 secs
lola: 11200868 markings, 37909129 edges, 102604 markings/sec, 90 secs
lola: 11752976 markings, 39966389 edges, 110422 markings/sec, 95 secs
lola: 12294903 markings, 41985662 edges, 108385 markings/sec, 100 secs
lola: 12930093 markings, 43921327 edges, 127038 markings/sec, 105 secs
lola: 13523978 markings, 45880668 edges, 118777 markings/sec, 110 secs
lola: 14127181 markings, 47883824 edges, 120641 markings/sec, 115 secs
lola: 14693558 markings, 49878500 edges, 113275 markings/sec, 120 secs
lola: 15244179 markings, 51936289 edges, 110124 markings/sec, 125 secs
lola: 15869979 markings, 53850128 edges, 125160 markings/sec, 130 secs
lola: 16483555 markings, 55760638 edges, 122715 markings/sec, 135 secs
lola: 17029371 markings, 57798616 edges, 109163 markings/sec, 140 secs
lola: 17589314 markings, 59870287 edges, 111989 markings/sec, 145 secs
lola: 18106027 markings, 61934587 edges, 103343 markings/sec, 150 secs
lola: 18617780 markings, 63957917 edges, 102351 markings/sec, 155 secs
lola: 19145430 markings, 65976629 edges, 105530 markings/sec, 160 secs
lola: 19635246 markings, 68046075 edges, 97963 markings/sec, 165 secs
lola: 20095446 markings, 70152138 edges, 92040 markings/sec, 170 secs
lola: 20601312 markings, 72147670 edges, 101173 markings/sec, 175 secs
lola: 21098096 markings, 74056149 edges, 99357 markings/sec, 180 secs
lola: 21515302 markings, 76045151 edges, 83441 markings/sec, 185 secs
lola: 22006741 markings, 77843447 edges, 98288 markings/sec, 190 secs
lola: 22545832 markings, 79479729 edges, 107818 markings/sec, 195 secs
lola: 23114407 markings, 81296095 edges, 113715 markings/sec, 200 secs
lola: 23660779 markings, 83075752 edges, 109274 markings/sec, 205 secs
lola: 24171964 markings, 84848440 edges, 102237 markings/sec, 210 secs
lola: 24681621 markings, 86677159 edges, 101931 markings/sec, 215 secs
lola: 25181707 markings, 88507419 edges, 100017 markings/sec, 220 secs
lola: 25698008 markings, 90305673 edges, 103260 markings/sec, 225 secs
lola: 26205678 markings, 92121332 edges, 101534 markings/sec, 230 secs
lola: 26685206 markings, 93866954 edges, 95906 markings/sec, 235 secs
lola: 27170858 markings, 95662631 edges, 97130 markings/sec, 240 secs
lola: 27658464 markings, 97452342 edges, 97521 markings/sec, 245 secs
lola: 28104177 markings, 99207416 edges, 89143 markings/sec, 250 secs
lola: 28571945 markings, 100985766 edges, 93554 markings/sec, 255 secs
lola: 29093859 markings, 103002812 edges, 104383 markings/sec, 260 secs
lola: 29591346 markings, 104920533 edges, 99497 markings/sec, 265 secs
lola: 30148463 markings, 106841016 edges, 111423 markings/sec, 270 secs
lola: 30692638 markings, 108736604 edges, 108835 markings/sec, 275 secs
lola: 31176845 markings, 110448711 edges, 96841 markings/sec, 280 secs
lola: 31668113 markings, 112184420 edges, 98254 markings/sec, 285 secs
lola: 32133179 markings, 114008073 edges, 93013 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 5 5 5 unknown unknown unknown unknown 5 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1247848 KB
lola: time consumption: 301 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p74)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 36 markings, 35 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p33)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 443675 markings, 1136871 edges, 88735 markings/sec, 0 secs
lola: 895499 markings, 2327081 edges, 90365 markings/sec, 5 secs
lola: 1363530 markings, 3651567 edges, 93606 markings/sec, 10 secs
lola: 1749242 markings, 4838737 edges, 77142 markings/sec, 15 secs
lola: 2058343 markings, 5793300 edges, 61820 markings/sec, 20 secs
lola: 2326126 markings, 6678147 edges, 53557 markings/sec, 25 secs
lola: 2609873 markings, 7553696 edges, 56749 markings/sec, 30 secs
lola: 2895268 markings, 8454805 edges, 57079 markings/sec, 35 secs
lola: 3224812 markings, 9409081 edges, 65909 markings/sec, 40 secs
lola: 3544919 markings, 10353211 edges, 64021 markings/sec, 45 secs
lola: 3858560 markings, 11261341 edges, 62728 markings/sec, 50 secs
lola: 4201638 markings, 12261647 edges, 68616 markings/sec, 55 secs
lola: 4469888 markings, 13034855 edges, 53650 markings/sec, 60 secs
lola: 4762456 markings, 13921409 edges, 58514 markings/sec, 65 secs
lola: 5026229 markings, 14655605 edges, 52755 markings/sec, 70 secs
lola: 5283836 markings, 15437476 edges, 51521 markings/sec, 75 secs
lola: 5562991 markings, 16261258 edges, 55831 markings/sec, 80 secs
lola: 5836363 markings, 17075661 edges, 54674 markings/sec, 85 secs
lola: 6109950 markings, 17888329 edges, 54717 markings/sec, 90 secs
lola: 6388454 markings, 18712711 edges, 55701 markings/sec, 95 secs
lola: 6736465 markings, 19714524 edges, 69602 markings/sec, 100 secs
lola: 7072890 markings, 20826828 edges, 67285 markings/sec, 105 secs
lola: 7359806 markings, 21714323 edges, 57383 markings/sec, 110 secs
lola: 7645505 markings, 22583186 edges, 57140 markings/sec, 115 secs
lola: 7927350 markings, 23458912 edges, 56369 markings/sec, 120 secs
lola: 8197638 markings, 24307467 edges, 54058 markings/sec, 125 secs
lola: 8464782 markings, 25142413 edges, 53429 markings/sec, 130 secs
lola: 8827037 markings, 26209370 edges, 72451 markings/sec, 135 secs
lola: 9186306 markings, 27375634 edges, 71854 markings/sec, 140 secs
lola: 9467554 markings, 28343554 edges, 56250 markings/sec, 145 secs
lola: 9733931 markings, 29168088 edges, 53275 markings/sec, 150 secs
lola: 10003778 markings, 30015650 edges, 53969 markings/sec, 155 secs
lola: 10262109 markings, 30856175 edges, 51666 markings/sec, 160 secs
lola: 10521558 markings, 31698031 edges, 51890 markings/sec, 165 secs
lola: 10777781 markings, 32534124 edges, 51245 markings/sec, 170 secs
lola: 11142180 markings, 33749396 edges, 72880 markings/sec, 175 secs
lola: 11405341 markings, 34686692 edges, 52632 markings/sec, 180 secs
lola: 11648788 markings, 35569621 edges, 48689 markings/sec, 185 secs
lola: 11887121 markings, 36444503 edges, 47667 markings/sec, 190 secs
lola: 12121418 markings, 37310909 edges, 46859 markings/sec, 195 secs
lola: 12417593 markings, 38372546 edges, 59235 markings/sec, 200 secs
lola: 12669615 markings, 39438030 edges, 50404 markings/sec, 205 secs
lola: 12899050 markings, 40479314 edges, 45887 markings/sec, 210 secs
lola: 13173598 markings, 41543356 edges, 54910 markings/sec, 215 secs
lola: 13414472 markings, 42498441 edges, 48175 markings/sec, 220 secs
lola: 13628944 markings, 43453778 edges, 42894 markings/sec, 225 secs
lola: 13860946 markings, 44452734 edges, 46400 markings/sec, 230 secs
lola: 14110662 markings, 45494806 edges, 49943 markings/sec, 235 secs
lola: 14337381 markings, 46420386 edges, 45344 markings/sec, 240 secs
lola: 14573083 markings, 47433588 edges, 47140 markings/sec, 245 secs
lola: 14815514 markings, 48464245 edges, 48486 markings/sec, 250 secs
lola: 15049639 markings, 49450034 edges, 46825 markings/sec, 255 secs
lola: 15299355 markings, 50424122 edges, 49943 markings/sec, 260 secs
lola: 15525885 markings, 51388858 edges, 45306 markings/sec, 265 secs
lola: 15746710 markings, 52342741 edges, 44165 markings/sec, 270 secs
lola: 16011938 markings, 53138164 edges, 53046 markings/sec, 275 secs
lola: 16287560 markings, 53824498 edges, 55124 markings/sec, 280 secs
lola: 16557463 markings, 54499683 edges, 53981 markings/sec, 285 secs
lola: 16825009 markings, 55190263 edges, 53509 markings/sec, 290 secs
lola: 17221052 markings, 56321275 edges, 79209 markings/sec, 295 secs
lola: 17558564 markings, 57317909 edges, 67502 markings/sec, 300 secs
lola: 17880320 markings, 58271375 edges, 64351 markings/sec, 305 secs
lola: 18187803 markings, 59186415 edges, 61497 markings/sec, 310 secs
lola: 18468662 markings, 60064865 edges, 56172 markings/sec, 315 secs
lola: 18750105 markings, 60975937 edges, 56289 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 5 5 5 unknown unknown unknown unknown 5 unknown 5 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 749532 KB
lola: time consumption: 627 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 817600 markings, 2127043 edges, 163520 markings/sec, 0 secs
lola: 1603667 markings, 4263576 edges, 157213 markings/sec, 5 secs
lola: 2350998 markings, 6480556 edges, 149466 markings/sec, 10 secs
lola: 3064799 markings, 8732588 edges, 142760 markings/sec, 15 secs
lola: 3738984 markings, 11000400 edges, 134837 markings/sec, 20 secs
lola: 4460727 markings, 13147186 edges, 144349 markings/sec, 25 secs
lola: 5219723 markings, 15199200 edges, 151799 markings/sec, 30 secs
lola: 5903757 markings, 17346473 edges, 136807 markings/sec, 35 secs
lola: 6616784 markings, 19466637 edges, 142605 markings/sec, 40 secs
lola: 7365411 markings, 21452117 edges, 149725 markings/sec, 45 secs
lola: 8035269 markings, 23598541 edges, 133972 markings/sec, 50 secs
lola: 8728395 markings, 25711215 edges, 138625 markings/sec, 55 secs
lola: 9348109 markings, 27841620 edges, 123943 markings/sec, 60 secs
lola: 10003560 markings, 30048533 edges, 131090 markings/sec, 65 secs
lola: 10684937 markings, 32146203 edges, 136275 markings/sec, 70 secs
lola: 11334080 markings, 34306807 edges, 129829 markings/sec, 75 secs
lola: 11946411 markings, 36551006 edges, 122466 markings/sec, 80 secs
lola: 12466416 markings, 38871862 edges, 104001 markings/sec, 85 secs
lola: 13042048 markings, 41065088 edges, 115126 markings/sec, 90 secs
lola: 13587813 markings, 43190114 edges, 109153 markings/sec, 95 secs
lola: 14137179 markings, 45120770 edges, 109873 markings/sec, 100 secs
lola: 14715087 markings, 47101436 edges, 115582 markings/sec, 105 secs
lola: 15365959 markings, 49156402 edges, 130174 markings/sec, 110 secs
lola: 15922666 markings, 51127558 edges, 111341 markings/sec, 115 secs
lola: 16513649 markings, 53072201 edges, 118197 markings/sec, 120 secs
lola: 17137037 markings, 54882314 edges, 124678 markings/sec, 125 secs
lola: 17693735 markings, 56878401 edges, 111340 markings/sec, 130 secs
lola: 18275662 markings, 58953656 edges, 116385 markings/sec, 135 secs
lola: 18816945 markings, 60972589 edges, 108257 markings/sec, 140 secs
lola: 19367487 markings, 62932352 edges, 110108 markings/sec, 145 secs
lola: 19923277 markings, 64843198 edges, 111158 markings/sec, 150 secs
lola: 20403100 markings, 66846676 edges, 95965 markings/sec, 155 secs
lola: 20836346 markings, 68834966 edges, 86649 markings/sec, 160 secs
lola: 21291802 markings, 70927085 edges, 91091 markings/sec, 165 secs
lola: 21768717 markings, 72974991 edges, 95383 markings/sec, 170 secs
lola: 22292651 markings, 75070931 edges, 104787 markings/sec, 175 secs
lola: 22898375 markings, 77149710 edges, 121145 markings/sec, 180 secs
lola: 23533034 markings, 79283971 edges, 126932 markings/sec, 185 secs
lola: 24106391 markings, 81464030 edges, 114671 markings/sec, 190 secs
lola: 24669485 markings, 83578818 edges, 112619 markings/sec, 195 secs
lola: 25140109 markings, 85791524 edges, 94125 markings/sec, 200 secs
lola: 25553633 markings, 88053321 edges, 82705 markings/sec, 205 secs
lola: 25968813 markings, 90468560 edges, 83036 markings/sec, 210 secs
lola: 26394160 markings, 92964029 edges, 85069 markings/sec, 215 secs
lola: 26928159 markings, 95223846 edges, 106800 markings/sec, 220 secs
lola: 27545294 markings, 97326559 edges, 123427 markings/sec, 225 secs
lola: 28096890 markings, 99543891 edges, 110319 markings/sec, 230 secs
lola: 28682272 markings, 101848896 edges, 117076 markings/sec, 235 secs
lola: 29283512 markings, 104040465 edges, 120248 markings/sec, 240 secs
lola: 29902806 markings, 106120095 edges, 123859 markings/sec, 245 secs
lola: 30432606 markings, 108427032 edges, 105960 markings/sec, 250 secs
lola: 30924600 markings, 110792828 edges, 98399 markings/sec, 255 secs
lola: 31444047 markings, 113135535 edges, 103889 markings/sec, 260 secs
lola: 31944181 markings, 115423757 edges, 100027 markings/sec, 265 secs
lola: 32404466 markings, 117816130 edges, 92057 markings/sec, 270 secs
lola: 32835237 markings, 120135800 edges, 86154 markings/sec, 275 secs
lola: 33268683 markings, 122607200 edges, 86689 markings/sec, 280 secs
lola: 33719015 markings, 124972438 edges, 90066 markings/sec, 285 secs
lola: 34167564 markings, 127183456 edges, 89710 markings/sec, 290 secs
lola: 34627905 markings, 129325764 edges, 92068 markings/sec, 295 secs
lola: 35034285 markings, 131661700 edges, 81276 markings/sec, 300 secs
lola: 35430762 markings, 134122257 edges, 79295 markings/sec, 305 secs
lola: 35840475 markings, 136477982 edges, 81943 markings/sec, 310 secs
lola: 36251660 markings, 138803421 edges, 82237 markings/sec, 315 secs
lola: 36668812 markings, 140964920 edges, 83430 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 5 5 5 unknown unknown unknown unknown 5 unknown 5 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1353648 KB
lola: time consumption: 954 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 1382164 markings, 1484763 edges, 276433 markings/sec, 0 secs
lola: 2750971 markings, 3059648 edges, 273761 markings/sec, 5 secs
lola: 4114377 markings, 4606238 edges, 272681 markings/sec, 10 secs
lola: 5425114 markings, 6163705 edges, 262147 markings/sec, 15 secs
lola: 6751119 markings, 7599749 edges, 265201 markings/sec, 20 secs
lola: 7287116 markings, 9016527 edges, 107199 markings/sec, 25 secs
lola: 7708655 markings, 10469893 edges, 84308 markings/sec, 30 secs
lola: 8095614 markings, 11914204 edges, 77392 markings/sec, 35 secs
lola: 8459049 markings, 13330742 edges, 72687 markings/sec, 40 secs
lola: 8823392 markings, 14727372 edges, 72869 markings/sec, 45 secs
lola: 9215682 markings, 16237202 edges, 78458 markings/sec, 50 secs
lola: 9547368 markings, 17802060 edges, 66337 markings/sec, 55 secs
lola: 9887420 markings, 19853385 edges, 68010 markings/sec, 60 secs
lola: 10258365 markings, 21550599 edges, 74189 markings/sec, 65 secs
lola: 10642010 markings, 22922077 edges, 76729 markings/sec, 70 secs
lola: 11028958 markings, 24468844 edges, 77390 markings/sec, 75 secs
lola: 11430983 markings, 26078629 edges, 80405 markings/sec, 80 secs
lola: 11756935 markings, 27936436 edges, 65190 markings/sec, 85 secs
lola: 12140087 markings, 29481107 edges, 76630 markings/sec, 90 secs
lola: 12542207 markings, 30927011 edges, 80424 markings/sec, 95 secs
lola: 12927518 markings, 32477063 edges, 77062 markings/sec, 100 secs
lola: 13335943 markings, 34063071 edges, 81685 markings/sec, 105 secs
lola: 13697988 markings, 35641898 edges, 72409 markings/sec, 110 secs
lola: 13999172 markings, 37356286 edges, 60237 markings/sec, 115 secs
lola: 14318041 markings, 38864547 edges, 63774 markings/sec, 120 secs
lola: 14650538 markings, 40131817 edges, 66499 markings/sec, 125 secs
lola: 15008327 markings, 41545701 edges, 71558 markings/sec, 130 secs
lola: 15325191 markings, 43163379 edges, 63373 markings/sec, 135 secs
lola: 15654238 markings, 44686553 edges, 65809 markings/sec, 140 secs
lola: 16004049 markings, 46064263 edges, 69962 markings/sec, 145 secs
lola: 16388604 markings, 47571635 edges, 76911 markings/sec, 150 secs
lola: 16713535 markings, 49159451 edges, 64986 markings/sec, 155 secs
lola: 17038026 markings, 50893876 edges, 64898 markings/sec, 160 secs
lola: 17402796 markings, 52320676 edges, 72954 markings/sec, 165 secs
lola: 17776950 markings, 53847027 edges, 74831 markings/sec, 170 secs
lola: 18088539 markings, 55508425 edges, 62318 markings/sec, 175 secs
lola: 18423730 markings, 57114234 edges, 67038 markings/sec, 180 secs
lola: 18777519 markings, 58562846 edges, 70758 markings/sec, 185 secs
lola: 19090746 markings, 60192609 edges, 62645 markings/sec, 190 secs
lola: 19448847 markings, 61637854 edges, 71620 markings/sec, 195 secs
lola: 19806715 markings, 63188670 edges, 71574 markings/sec, 200 secs
lola: 20119085 markings, 64963870 edges, 62474 markings/sec, 205 secs
lola: 20464972 markings, 66482143 edges, 69177 markings/sec, 210 secs
lola: 20772270 markings, 68145371 edges, 61460 markings/sec, 215 secs
lola: 21115447 markings, 69539142 edges, 68635 markings/sec, 220 secs
lola: 21471483 markings, 71080178 edges, 71207 markings/sec, 225 secs
lola: 21771403 markings, 72817091 edges, 59984 markings/sec, 230 secs
lola: 22103858 markings, 74256290 edges, 66491 markings/sec, 235 secs
lola: 22440780 markings, 75832275 edges, 67384 markings/sec, 240 secs
lola: 22728578 markings, 77541199 edges, 57560 markings/sec, 245 secs
lola: 23045345 markings, 79035203 edges, 63353 markings/sec, 250 secs
lola: 23343901 markings, 80677058 edges, 59711 markings/sec, 255 secs
lola: 23631694 markings, 82357944 edges, 57559 markings/sec, 260 secs
lola: 23897519 markings, 84067513 edges, 53165 markings/sec, 265 secs
lola: 24154296 markings, 85827781 edges, 51355 markings/sec, 270 secs
lola: 24542331 markings, 87368139 edges, 77607 markings/sec, 275 secs
lola: 24935359 markings, 88819790 edges, 78606 markings/sec, 280 secs
lola: 25346921 markings, 90438117 edges, 82312 markings/sec, 285 secs
lola: 25691582 markings, 92306319 edges, 68932 markings/sec, 290 secs
lola: 26071306 markings, 93947119 edges, 75945 markings/sec, 295 secs
lola: 26466121 markings, 95435600 edges, 78963 markings/sec, 300 secs
lola: 26864377 markings, 97024259 edges, 79651 markings/sec, 305 secs
lola: 27196496 markings, 98886727 edges, 66424 markings/sec, 310 secs
lola: 27578866 markings, 100393398 edges, 76474 markings/sec, 315 secs
lola: 27965439 markings, 101937512 edges, 77315 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 5 5 5 unknown unknown unknown unknown 5 unknown 5 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1105996 KB
lola: time consumption: 1281 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p87)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 381 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p31)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 61 markings, 60 edges
lola: ========================================
lola: subprocess 11 will run for 457 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 66 markings, 65 edges
lola: ========================================
lola: subprocess 12 will run for 572 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p107 + p108)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p107 + p108)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 763 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p66 + p67 + p80 + p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p66 + p67 + p80 + p81)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 16 markings, 15 edges
lola: subprocess 14 will run for 1144 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19 + p20 + p25 + p26 + p27 + p28 + p29 + p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19 + p20 + p25 + p26 + p27 + p28 + p29 + p30)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: ========================================
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 71 markings, 70 edges
lola: subprocess 15 will run for 2289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p13 + p14 + p15 + p17 + p21 + p22 + p23 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p13 + p14 + p15 + p17 + p21 + p22 + p23 + p24)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: ========================================
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 46 markings, 45 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 700354 markings, 1949506 edges, 140071 markings/sec, 0 secs
lola: 1320540 markings, 3951877 edges, 124037 markings/sec, 5 secs
lola: 1928662 markings, 5933578 edges, 121624 markings/sec, 10 secs
lola: 2574158 markings, 7923938 edges, 129099 markings/sec, 15 secs
lola: 3139621 markings, 9886581 edges, 113093 markings/sec, 20 secs
lola: 3684705 markings, 12023973 edges, 109017 markings/sec, 25 secs
lola: 4265386 markings, 13873133 edges, 116136 markings/sec, 30 secs
lola: 4866611 markings, 15667543 edges, 120245 markings/sec, 35 secs
lola: 5442679 markings, 17433371 edges, 115214 markings/sec, 40 secs
lola: 5994077 markings, 19246919 edges, 110280 markings/sec, 45 secs
lola: 6587965 markings, 21057970 edges, 118778 markings/sec, 50 secs
lola: 7154327 markings, 22927900 edges, 113272 markings/sec, 55 secs
lola: 7703180 markings, 25016301 edges, 109771 markings/sec, 60 secs
lola: 8291034 markings, 27093203 edges, 117571 markings/sec, 65 secs
lola: 8832262 markings, 28959370 edges, 108246 markings/sec, 70 secs
lola: 9369093 markings, 30731361 edges, 107366 markings/sec, 75 secs
lola: 9872040 markings, 32552976 edges, 100589 markings/sec, 80 secs
lola: 10390612 markings, 34482822 edges, 103714 markings/sec, 85 secs
lola: 10839227 markings, 36390367 edges, 89723 markings/sec, 90 secs
lola: 11298887 markings, 38252488 edges, 91932 markings/sec, 95 secs
lola: 11769528 markings, 40033750 edges, 94128 markings/sec, 100 secs
lola: 12284013 markings, 41946904 edges, 102897 markings/sec, 105 secs
lola: 12895074 markings, 43793228 edges, 122212 markings/sec, 110 secs
lola: 13428647 markings, 45569862 edges, 106715 markings/sec, 115 secs
lola: 13960160 markings, 47335622 edges, 106303 markings/sec, 120 secs
lola: 14480358 markings, 49090731 edges, 104040 markings/sec, 125 secs
lola: 14950831 markings, 50973040 edges, 94095 markings/sec, 130 secs
lola: 15476293 markings, 52705956 edges, 105092 markings/sec, 135 secs
lola: 16025654 markings, 54349724 edges, 109872 markings/sec, 140 secs
lola: 16603857 markings, 56162260 edges, 115641 markings/sec, 145 secs
lola: 17130715 markings, 58197505 edges, 105372 markings/sec, 150 secs
lola: 17694406 markings, 60239960 edges, 112738 markings/sec, 155 secs
lola: 18198268 markings, 62325830 edges, 100772 markings/sec, 160 secs
lola: 18719029 markings, 64349552 edges, 104152 markings/sec, 165 secs
lola: 19247581 markings, 66438548 edges, 105710 markings/sec, 170 secs
lola: 19752184 markings, 68509225 edges, 100921 markings/sec, 175 secs
lola: 20228650 markings, 70700747 edges, 95293 markings/sec, 180 secs
lola: 20748190 markings, 72705103 edges, 103908 markings/sec, 185 secs
lola: 21247181 markings, 74828635 edges, 99798 markings/sec, 190 secs
lola: 21734690 markings, 76986624 edges, 97502 markings/sec, 195 secs
lola: 22333018 markings, 78831348 edges, 119666 markings/sec, 200 secs
lola: 22986270 markings, 80885264 edges, 130650 markings/sec, 205 secs
lola: 23612980 markings, 82912904 edges, 125342 markings/sec, 210 secs
lola: 24202984 markings, 84972882 edges, 118001 markings/sec, 215 secs
lola: 24770975 markings, 87004816 edges, 113598 markings/sec, 220 secs
lola: 25314221 markings, 89012087 edges, 108649 markings/sec, 225 secs
lola: 25888868 markings, 90979020 edges, 114929 markings/sec, 230 secs
lola: 26455220 markings, 93011235 edges, 113270 markings/sec, 235 secs
lola: 26975990 markings, 94973393 edges, 104154 markings/sec, 240 secs
lola: 27550495 markings, 97003321 edges, 114901 markings/sec, 245 secs
lola: 28059355 markings, 99039887 edges, 101772 markings/sec, 250 secs
lola: 28588447 markings, 101062278 edges, 105818 markings/sec, 255 secs
lola: 29129188 markings, 103169729 edges, 108148 markings/sec, 260 secs
lola: 29671914 markings, 105221996 edges, 108545 markings/sec, 265 secs
lola: 30248597 markings, 107196149 edges, 115337 markings/sec, 270 secs
lola: 30816631 markings, 109160209 edges, 113607 markings/sec, 275 secs
lola: 31354166 markings, 111135856 edges, 107507 markings/sec, 280 secs
lola: 31929902 markings, 113102408 edges, 115147 markings/sec, 285 secs
lola: 32417329 markings, 115185818 edges, 97485 markings/sec, 290 secs
lola: 32915235 markings, 117219587 edges, 99581 markings/sec, 295 secs
lola: 33426591 markings, 119284476 edges, 102271 markings/sec, 300 secs
lola: 33906086 markings, 121380654 edges, 95899 markings/sec, 305 secs
lola: 34391742 markings, 123403462 edges, 97131 markings/sec, 310 secs
lola: 34894431 markings, 125316189 edges, 100538 markings/sec, 315 secs
lola: 35358104 markings, 127318703 edges, 92735 markings/sec, 320 secs
lola: 35945567 markings, 129256719 edges, 117493 markings/sec, 325 secs
lola: 36502168 markings, 131184263 edges, 111320 markings/sec, 330 secs
lola: 37021939 markings, 133109759 edges, 103954 markings/sec, 335 secs
lola: 37569181 markings, 135038200 edges, 109448 markings/sec, 340 secs
lola: 38092115 markings, 137051053 edges, 104587 markings/sec, 345 secs
lola: 38571923 markings, 139052318 edges, 95962 markings/sec, 350 secs
lola: 39104283 markings, 140912200 edges, 106472 markings/sec, 355 secs
lola: 39621092 markings, 142826893 edges, 103362 markings/sec, 360 secs
lola: 40133414 markings, 144741325 edges, 102464 markings/sec, 365 secs
lola: 40686841 markings, 146722076 edges, 110685 markings/sec, 370 secs
lola: 41189322 markings, 148659488 edges, 100496 markings/sec, 375 secs
lola: 41668661 markings, 150603416 edges, 95868 markings/sec, 380 secs
lola: 42163926 markings, 152512093 edges, 99053 markings/sec, 385 secs
lola: 42704584 markings, 154429752 edges, 108132 markings/sec, 390 secs
lola: 43195905 markings, 156390445 edges, 98264 markings/sec, 395 secs
lola: 43771091 markings, 158207803 edges, 115037 markings/sec, 400 secs
lola: 44396108 markings, 160032693 edges, 125003 markings/sec, 405 secs
lola: 44971650 markings, 162055156 edges, 115108 markings/sec, 410 secs
lola: 45459945 markings, 164006191 edges, 97659 markings/sec, 415 secs
lola: 46019590 markings, 165788778 edges, 111929 markings/sec, 420 secs
lola: 46503440 markings, 167548802 edges, 96770 markings/sec, 425 secs
lola: 47060089 markings, 169153663 edges, 111330 markings/sec, 430 secs
lola: 47548602 markings, 170890032 edges, 97703 markings/sec, 435 secs
lola: 48065017 markings, 172581917 edges, 103283 markings/sec, 440 secs
lola: 48573365 markings, 174276084 edges, 101670 markings/sec, 445 secs
lola: 49069145 markings, 175965459 edges, 99156 markings/sec, 450 secs
lola: 49558937 markings, 177700341 edges, 97958 markings/sec, 455 secs
lola: 50077538 markings, 179389742 edges, 103720 markings/sec, 460 secs
lola: 50609794 markings, 181112483 edges, 106451 markings/sec, 465 secs
lola: 51109410 markings, 182866396 edges, 99923 markings/sec, 470 secs
lola: 51585629 markings, 184681658 edges, 95244 markings/sec, 475 secs
lola: 52016657 markings, 186563053 edges, 86206 markings/sec, 480 secs
lola: 52492546 markings, 188158373 edges, 95178 markings/sec, 485 secs
lola: 53011666 markings, 189836456 edges, 103824 markings/sec, 490 secs
lola: 53543382 markings, 191578787 edges, 106343 markings/sec, 495 secs
lola: 54104467 markings, 193494107 edges, 112217 markings/sec, 500 secs
lola: 54630450 markings, 195437657 edges, 105197 markings/sec, 505 secs
lola: 55178940 markings, 197354923 edges, 109698 markings/sec, 510 secs
lola: 55769329 markings, 199139801 edges, 118078 markings/sec, 515 secs
lola: 56360896 markings, 200951732 edges, 118313 markings/sec, 520 secs
lola: 56956889 markings, 202841657 edges, 119199 markings/sec, 525 secs
lola: 57529414 markings, 204670116 edges, 114505 markings/sec, 530 secs
lola: 58070055 markings, 206486186 edges, 108128 markings/sec, 535 secs
lola: 58627567 markings, 208301274 edges, 111502 markings/sec, 540 secs
lola: 59167333 markings, 210252743 edges, 107953 markings/sec, 545 secs
lola: 59755631 markings, 212201073 edges, 117660 markings/sec, 550 secs
lola: 60351260 markings, 214031900 edges, 119126 markings/sec, 555 secs
lola: 60953166 markings, 215941146 edges, 120381 markings/sec, 560 secs
lola: 61528650 markings, 217846350 edges, 115097 markings/sec, 565 secs
lola: 62099718 markings, 219698971 edges, 114214 markings/sec, 570 secs
lola: 62691256 markings, 221591726 edges, 118308 markings/sec, 575 secs
lola: 63303150 markings, 223486806 edges, 122379 markings/sec, 580 secs
lola: 63907691 markings, 225308253 edges, 120908 markings/sec, 585 secs
lola: 64437719 markings, 227433833 edges, 106006 markings/sec, 590 secs
lola: 65003060 markings, 229352441 edges, 113068 markings/sec, 595 secs
lola: 65488032 markings, 231436050 edges, 96994 markings/sec, 600 secs
lola: 65977496 markings, 233471609 edges, 97893 markings/sec, 605 secs
lola: 66537997 markings, 235411187 edges, 112100 markings/sec, 610 secs
lola: 67025579 markings, 237469216 edges, 97516 markings/sec, 615 secs
lola: 67593028 markings, 239433918 edges, 113490 markings/sec, 620 secs
lola: 68199544 markings, 241311243 edges, 121303 markings/sec, 625 secs
lola: 68750943 markings, 243305766 edges, 110280 markings/sec, 630 secs
lola: 69288773 markings, 245328443 edges, 107566 markings/sec, 635 secs
lola: 69865259 markings, 247294690 edges, 115297 markings/sec, 640 secs
lola: 70385096 markings, 249371275 edges, 103967 markings/sec, 645 secs
lola: 70940850 markings, 251185297 edges, 111151 markings/sec, 650 secs
lola: 71468394 markings, 253180576 edges, 105509 markings/sec, 655 secs
lola: 71993364 markings, 255230783 edges, 104994 markings/sec, 660 secs
lola: 72558770 markings, 257201482 edges, 113081 markings/sec, 665 secs
lola: 73109770 markings, 259195147 edges, 110200 markings/sec, 670 secs
lola: 73659259 markings, 261166792 edges, 109898 markings/sec, 675 secs
lola: 74209286 markings, 263103221 edges, 110005 markings/sec, 680 secs
lola: 74734032 markings, 265088455 edges, 104949 markings/sec, 685 secs
lola: 75263195 markings, 267069097 edges, 105833 markings/sec, 690 secs
lola: 75808787 markings, 269113984 edges, 109118 markings/sec, 695 secs
lola: 76314039 markings, 271252112 edges, 101050 markings/sec, 700 secs
lola: 76771615 markings, 273388131 edges, 91515 markings/sec, 705 secs
lola: 77274438 markings, 275429605 edges, 100565 markings/sec, 710 secs
lola: 77791566 markings, 277427772 edges, 103426 markings/sec, 715 secs
lola: 78356756 markings, 279323317 edges, 113038 markings/sec, 720 secs
lola: 78904387 markings, 281218104 edges, 109526 markings/sec, 725 secs
lola: 79422925 markings, 283178215 edges, 103708 markings/sec, 730 secs
lola: 79974954 markings, 285072622 edges, 110406 markings/sec, 735 secs
lola: 80488394 markings, 286993380 edges, 102688 markings/sec, 740 secs
lola: 80961089 markings, 289027569 edges, 94539 markings/sec, 745 secs
lola: 81485353 markings, 290923404 edges, 104853 markings/sec, 750 secs
lola: 81969330 markings, 292821413 edges, 96795 markings/sec, 755 secs
lola: 82456726 markings, 294669197 edges, 97479 markings/sec, 760 secs
lola: 82952406 markings, 296535842 edges, 99136 markings/sec, 765 secs
lola: 83454393 markings, 298295503 edges, 100397 markings/sec, 770 secs
lola: 83964812 markings, 300058766 edges, 102084 markings/sec, 775 secs
lola: 84468488 markings, 301913049 edges, 100735 markings/sec, 780 secs
lola: 84991473 markings, 303770570 edges, 104597 markings/sec, 785 secs
lola: 85496698 markings, 305567047 edges, 101045 markings/sec, 790 secs
lola: 86002041 markings, 307466188 edges, 101069 markings/sec, 795 secs
lola: 86491898 markings, 309368894 edges, 97971 markings/sec, 800 secs
lola: 86981652 markings, 311248418 edges, 97951 markings/sec, 805 secs
lola: 87455807 markings, 313056251 edges, 94831 markings/sec, 810 secs
lola: 87926716 markings, 314831545 edges, 94182 markings/sec, 815 secs
lola: 88413087 markings, 316629818 edges, 97274 markings/sec, 820 secs
lola: 88875495 markings, 318418678 edges, 92482 markings/sec, 825 secs
lola: 89396173 markings, 320189448 edges, 104136 markings/sec, 830 secs
lola: 89875099 markings, 322030261 edges, 95785 markings/sec, 835 secs
lola: 90422140 markings, 323780415 edges, 109408 markings/sec, 840 secs
lola: 90929344 markings, 325496713 edges, 101441 markings/sec, 845 secs
lola: 91409624 markings, 327236655 edges, 96056 markings/sec, 850 secs
lola: 91847582 markings, 328895562 edges, 87592 markings/sec, 855 secs
lola: 92352031 markings, 330524340 edges, 100890 markings/sec, 860 secs
lola: 92831517 markings, 332175331 edges, 95897 markings/sec, 865 secs
lola: 93341056 markings, 333795295 edges, 101908 markings/sec, 870 secs
lola: 93793048 markings, 335587961 edges, 90398 markings/sec, 875 secs
lola: 94239838 markings, 337565133 edges, 89358 markings/sec, 880 secs
lola: 94767699 markings, 339476228 edges, 105572 markings/sec, 885 secs
lola: 95291257 markings, 341414437 edges, 104712 markings/sec, 890 secs
lola: 95830119 markings, 343326600 edges, 107772 markings/sec, 895 secs
lola: 96348852 markings, 345219765 edges, 103747 markings/sec, 900 secs
lola: 96859558 markings, 347142372 edges, 102141 markings/sec, 905 secs
lola: 97324337 markings, 349150769 edges, 92956 markings/sec, 910 secs
lola: 97792574 markings, 351036728 edges, 93647 markings/sec, 915 secs
lola: 98265311 markings, 352892483 edges, 94547 markings/sec, 920 secs
lola: 98724214 markings, 354697962 edges, 91781 markings/sec, 925 secs
lola: 99261527 markings, 356451506 edges, 107463 markings/sec, 930 secs
lola: 99759112 markings, 358254782 edges, 99517 markings/sec, 935 secs
lola: 100278496 markings, 360046518 edges, 103877 markings/sec, 940 secs
lola: 100804114 markings, 361883252 edges, 105124 markings/sec, 945 secs
lola: 101317763 markings, 363703514 edges, 102730 markings/sec, 950 secs
lola: 101785987 markings, 365614091 edges, 93645 markings/sec, 955 secs
lola: 102291136 markings, 367471220 edges, 101030 markings/sec, 960 secs
lola: 102817196 markings, 369222831 edges, 105212 markings/sec, 965 secs
lola: 103328528 markings, 370940806 edges, 102266 markings/sec, 970 secs
lola: 103841907 markings, 372640251 edges, 102676 markings/sec, 975 secs
lola: 104351688 markings, 374442809 edges, 101956 markings/sec, 980 secs
lola: 104814881 markings, 376311703 edges, 92639 markings/sec, 985 secs
lola: 105254243 markings, 378208534 edges, 87872 markings/sec, 990 secs
lola: 105673300 markings, 380110178 edges, 83811 markings/sec, 995 secs
lola: 106154274 markings, 381980304 edges, 96195 markings/sec, 1000 secs
lola: 106641671 markings, 383867384 edges, 97479 markings/sec, 1005 secs
lola: 107063761 markings, 385840635 edges, 84418 markings/sec, 1010 secs
lola: 107555410 markings, 387786257 edges, 98330 markings/sec, 1015 secs
lola: 108033869 markings, 389792458 edges, 95692 markings/sec, 1020 secs
lola: 108520542 markings, 391748462 edges, 97335 markings/sec, 1025 secs
lola: 108970746 markings, 393738461 edges, 90041 markings/sec, 1030 secs
lola: 109384711 markings, 395786909 edges, 82793 markings/sec, 1035 secs
lola: 109880678 markings, 397752449 edges, 99193 markings/sec, 1040 secs
lola: 110364704 markings, 399685303 edges, 96805 markings/sec, 1045 secs
lola: 110826596 markings, 401574241 edges, 92378 markings/sec, 1050 secs
lola: 111324367 markings, 403492664 edges, 99554 markings/sec, 1055 secs
lola: 111804848 markings, 405422077 edges, 96096 markings/sec, 1060 secs
lola: 112177273 markings, 407539038 edges, 74485 markings/sec, 1065 secs
lola: 112658482 markings, 409415440 edges, 96242 markings/sec, 1070 secs
lola: 113134510 markings, 411371162 edges, 95206 markings/sec, 1075 secs
lola: 113590491 markings, 413340210 edges, 91196 markings/sec, 1080 secs
lola: 113958414 markings, 415565016 edges, 73585 markings/sec, 1085 secs
lola: 114369151 markings, 417669452 edges, 82147 markings/sec, 1090 secs
lola: 114801259 markings, 419677782 edges, 86422 markings/sec, 1095 secs
lola: 115250469 markings, 421387625 edges, 89842 markings/sec, 1100 secs
lola: 115743377 markings, 423190306 edges, 98582 markings/sec, 1105 secs
lola: 116203606 markings, 424913573 edges, 92046 markings/sec, 1110 secs
lola: 116694550 markings, 426735590 edges, 98189 markings/sec, 1115 secs
lola: 117177322 markings, 428700042 edges, 96554 markings/sec, 1120 secs
lola: 117688372 markings, 430699868 edges, 102210 markings/sec, 1125 secs
lola: 118173668 markings, 432694349 edges, 97059 markings/sec, 1130 secs
lola: 118623899 markings, 434585702 edges, 90046 markings/sec, 1135 secs
lola: 119108506 markings, 436390609 edges, 96921 markings/sec, 1140 secs
lola: 119656366 markings, 438274267 edges, 109572 markings/sec, 1145 secs
lola: 120186748 markings, 440191283 edges, 106076 markings/sec, 1150 secs
lola: 120679608 markings, 442141487 edges, 98572 markings/sec, 1155 secs
lola: 121215209 markings, 443997148 edges, 107120 markings/sec, 1160 secs
lola: 121758530 markings, 445818808 edges, 108664 markings/sec, 1165 secs
lola: 122208859 markings, 447713904 edges, 90066 markings/sec, 1170 secs
lola: 122663537 markings, 449702288 edges, 90936 markings/sec, 1175 secs
lola: 123101208 markings, 451727918 edges, 87534 markings/sec, 1180 secs
lola: 123599542 markings, 453704127 edges, 99667 markings/sec, 1185 secs
lola: 124038564 markings, 455675273 edges, 87804 markings/sec, 1190 secs
lola: 124463017 markings, 457663717 edges, 84891 markings/sec, 1195 secs
lola: 124951397 markings, 459661987 edges, 97676 markings/sec, 1200 secs
lola: 125404656 markings, 461554006 edges, 90652 markings/sec, 1205 secs
lola: 125847678 markings, 463509102 edges, 88604 markings/sec, 1210 secs
lola: 126300913 markings, 465492319 edges, 90647 markings/sec, 1215 secs
lola: 126713330 markings, 467587005 edges, 82483 markings/sec, 1220 secs
lola: 127256838 markings, 469582000 edges, 108702 markings/sec, 1225 secs
lola: 127789620 markings, 471592174 edges, 106556 markings/sec, 1230 secs
lola: 128347001 markings, 473581299 edges, 111476 markings/sec, 1235 secs
lola: 128881392 markings, 475555766 edges, 106878 markings/sec, 1240 secs
lola: 129413689 markings, 477571711 edges, 106459 markings/sec, 1245 secs
lola: 129945994 markings, 479609098 edges, 106461 markings/sec, 1250 secs
lola: 130424666 markings, 481654889 edges, 95734 markings/sec, 1255 secs
lola: 130987176 markings, 483546733 edges, 112502 markings/sec, 1260 secs
lola: 131534643 markings, 485420212 edges, 109493 markings/sec, 1265 secs
lola: 132049280 markings, 487313275 edges, 102927 markings/sec, 1270 secs
lola: 132589406 markings, 489312990 edges, 108025 markings/sec, 1275 secs
lola: 133064180 markings, 491251681 edges, 94955 markings/sec, 1280 secs
lola: 133506785 markings, 493273196 edges, 88521 markings/sec, 1285 secs
lola: 133996657 markings, 495339262 edges, 97974 markings/sec, 1290 secs
lola: 134470137 markings, 497383985 edges, 94696 markings/sec, 1295 secs
lola: 134953985 markings, 499249211 edges, 96770 markings/sec, 1300 secs
lola: 135451092 markings, 501238997 edges, 99421 markings/sec, 1305 secs
lola: 135897964 markings, 503088934 edges, 89374 markings/sec, 1310 secs
lola: 136371854 markings, 504940890 edges, 94778 markings/sec, 1315 secs
lola: 136819581 markings, 506923911 edges, 89545 markings/sec, 1320 secs
lola: 137278293 markings, 508739355 edges, 91742 markings/sec, 1325 secs
lola: 137623218 markings, 510817051 edges, 68985 markings/sec, 1330 secs
lola: 138066523 markings, 512794160 edges, 88661 markings/sec, 1335 secs
lola: 138491663 markings, 514749764 edges, 85028 markings/sec, 1340 secs
lola: 138977975 markings, 516771546 edges, 97262 markings/sec, 1345 secs
lola: 139384463 markings, 518798648 edges, 81298 markings/sec, 1350 secs
lola: 139800174 markings, 520785110 edges, 83142 markings/sec, 1355 secs
lola: 140258988 markings, 522691804 edges, 91763 markings/sec, 1360 secs
lola: 140841836 markings, 524450851 edges, 116570 markings/sec, 1365 secs
lola: 141386328 markings, 526102309 edges, 108898 markings/sec, 1370 secs
lola: 141931435 markings, 527799012 edges, 109021 markings/sec, 1375 secs
lola: 142461685 markings, 529433843 edges, 106050 markings/sec, 1380 secs
lola: 143051609 markings, 531281381 edges, 117985 markings/sec, 1385 secs
lola: 143637204 markings, 533215795 edges, 117119 markings/sec, 1390 secs
lola: 144218190 markings, 535204534 edges, 116197 markings/sec, 1395 secs
lola: 144705130 markings, 537020594 edges, 97388 markings/sec, 1400 secs
lola: 145178089 markings, 538764433 edges, 94592 markings/sec, 1405 secs
lola: 145638694 markings, 540464652 edges, 92121 markings/sec, 1410 secs
lola: 146141468 markings, 542262778 edges, 100555 markings/sec, 1415 secs
lola: 146663934 markings, 544010454 edges, 104493 markings/sec, 1420 secs
lola: 147171271 markings, 545735313 edges, 101467 markings/sec, 1425 secs
lola: 147618548 markings, 547499666 edges, 89455 markings/sec, 1430 secs
lola: 148108783 markings, 549291718 edges, 98047 markings/sec, 1435 secs
lola: 148580475 markings, 550964350 edges, 94338 markings/sec, 1440 secs
lola: 149093545 markings, 552764803 edges, 102614 markings/sec, 1445 secs
lola: 149586826 markings, 554485757 edges, 98656 markings/sec, 1450 secs
lola: 150060907 markings, 556211939 edges, 94816 markings/sec, 1455 secs
lola: 150513388 markings, 557961547 edges, 90496 markings/sec, 1460 secs
lola: 150973630 markings, 559649223 edges, 92048 markings/sec, 1465 secs
lola: 151402688 markings, 561358410 edges, 85812 markings/sec, 1470 secs
lola: 151915581 markings, 563056679 edges, 102579 markings/sec, 1475 secs
lola: 152425254 markings, 564821836 edges, 101935 markings/sec, 1480 secs
lola: 152896979 markings, 566516017 edges, 94345 markings/sec, 1485 secs
lola: 153362548 markings, 568232487 edges, 93114 markings/sec, 1490 secs
lola: 153812391 markings, 569889852 edges, 89969 markings/sec, 1495 secs
lola: 154289890 markings, 571628304 edges, 95500 markings/sec, 1500 secs
lola: 154776248 markings, 573356283 edges, 97272 markings/sec, 1505 secs
lola: 155284408 markings, 575272307 edges, 101632 markings/sec, 1510 secs
lola: 155711887 markings, 577036872 edges, 85496 markings/sec, 1515 secs
lola: 156142329 markings, 578817119 edges, 86088 markings/sec, 1520 secs
lola: 156589054 markings, 580664579 edges, 89345 markings/sec, 1525 secs
lola: 157051364 markings, 582453197 edges, 92462 markings/sec, 1530 secs
lola: 157544222 markings, 584244566 edges, 98572 markings/sec, 1535 secs
lola: 158046805 markings, 586134824 edges, 100517 markings/sec, 1540 secs
lola: 158504742 markings, 587910996 edges, 91587 markings/sec, 1545 secs
lola: 158972331 markings, 589705379 edges, 93518 markings/sec, 1550 secs
lola: 159461430 markings, 591546756 edges, 97820 markings/sec, 1555 secs
lola: 159925141 markings, 593413280 edges, 92742 markings/sec, 1560 secs
lola: 160391013 markings, 595248386 edges, 93174 markings/sec, 1565 secs
lola: 160942584 markings, 597047824 edges, 110314 markings/sec, 1570 secs
lola: 161444708 markings, 598862432 edges, 100425 markings/sec, 1575 secs
lola: 161930481 markings, 600642734 edges, 97155 markings/sec, 1580 secs
lola: 162426244 markings, 602452960 edges, 99153 markings/sec, 1585 secs
lola: 162963899 markings, 604400423 edges, 107531 markings/sec, 1590 secs
lola: 163455242 markings, 606302441 edges, 98269 markings/sec, 1595 secs
lola: 163946008 markings, 608263684 edges, 98153 markings/sec, 1600 secs
lola: 164439747 markings, 610281024 edges, 98748 markings/sec, 1605 secs
lola: 164917813 markings, 612222242 edges, 95613 markings/sec, 1610 secs
lola: 165448059 markings, 614156670 edges, 106049 markings/sec, 1615 secs
lola: 165947419 markings, 616097265 edges, 99872 markings/sec, 1620 secs
lola: 166413476 markings, 617964772 edges, 93211 markings/sec, 1625 secs
lola: 166907650 markings, 619842804 edges, 98835 markings/sec, 1630 secs
lola: 167400795 markings, 621725636 edges, 98629 markings/sec, 1635 secs
lola: 167906790 markings, 623641707 edges, 101199 markings/sec, 1640 secs
lola: 168371028 markings, 625608969 edges, 92848 markings/sec, 1645 secs
lola: 168877781 markings, 627609080 edges, 101351 markings/sec, 1650 secs
lola: 169331697 markings, 629547552 edges, 90783 markings/sec, 1655 secs
lola: 169832121 markings, 631503758 edges, 100085 markings/sec, 1660 secs
lola: 170344583 markings, 633352354 edges, 102492 markings/sec, 1665 secs
lola: 170853443 markings, 635258437 edges, 101772 markings/sec, 1670 secs
lola: 171349487 markings, 637153792 edges, 99209 markings/sec, 1675 secs
lola: 171839447 markings, 639078084 edges, 97992 markings/sec, 1680 secs
lola: 172352281 markings, 640991579 edges, 102567 markings/sec, 1685 secs
lola: 172850114 markings, 642909964 edges, 99567 markings/sec, 1690 secs
lola: 173362505 markings, 644810255 edges, 102478 markings/sec, 1695 secs
lola: 173829195 markings, 646698820 edges, 93338 markings/sec, 1700 secs
lola: 174308470 markings, 648581002 edges, 95855 markings/sec, 1705 secs
lola: 174786838 markings, 650464719 edges, 95674 markings/sec, 1710 secs
lola: 175246852 markings, 652405291 edges, 92003 markings/sec, 1715 secs
lola: 175673790 markings, 654359516 edges, 85388 markings/sec, 1720 secs
lola: 176157922 markings, 656293850 edges, 96826 markings/sec, 1725 secs
lola: 176675540 markings, 658178845 edges, 103524 markings/sec, 1730 secs
lola: 177156034 markings, 660168627 edges, 96099 markings/sec, 1735 secs
lola: 177659207 markings, 662030334 edges, 100635 markings/sec, 1740 secs
lola: 178144966 markings, 663981699 edges, 97152 markings/sec, 1745 secs
lola: 178635954 markings, 665905028 edges, 98198 markings/sec, 1750 secs
lola: 179076445 markings, 667890079 edges, 88098 markings/sec, 1755 secs
lola: 179548860 markings, 669824817 edges, 94483 markings/sec, 1760 secs
lola: 179983245 markings, 671826178 edges, 86877 markings/sec, 1765 secs
lola: 180423570 markings, 673847370 edges, 88065 markings/sec, 1770 secs
lola: 180857061 markings, 675917545 edges, 86698 markings/sec, 1775 secs
lola: 181385762 markings, 677656666 edges, 105740 markings/sec, 1780 secs
lola: 181865000 markings, 679553776 edges, 95848 markings/sec, 1785 secs
lola: 182306926 markings, 681497027 edges, 88385 markings/sec, 1790 secs
lola: 182790543 markings, 683368647 edges, 96723 markings/sec, 1795 secs
lola: 183279976 markings, 685195538 edges, 97887 markings/sec, 1800 secs
lola: 183739263 markings, 687093438 edges, 91857 markings/sec, 1805 secs
lola: 184206006 markings, 688928214 edges, 93349 markings/sec, 1810 secs
lola: 184714226 markings, 690771252 edges, 101644 markings/sec, 1815 secs
lola: 185230990 markings, 692625298 edges, 103353 markings/sec, 1820 secs
lola: 185736471 markings, 694548177 edges, 101096 markings/sec, 1825 secs
lola: 186178232 markings, 696557908 edges, 88352 markings/sec, 1830 secs
lola: 186622609 markings, 698515914 edges, 88875 markings/sec, 1835 secs
lola: 187127243 markings, 700384886 edges, 100927 markings/sec, 1840 secs
lola: 187584173 markings, 702332553 edges, 91386 markings/sec, 1845 secs
lola: 188039402 markings, 704276658 edges, 91046 markings/sec, 1850 secs
lola: 188535194 markings, 706136330 edges, 99158 markings/sec, 1855 secs
lola: 188972606 markings, 708091931 edges, 87482 markings/sec, 1860 secs
lola: 189411030 markings, 710048583 edges, 87685 markings/sec, 1865 secs
lola: 189844540 markings, 712022831 edges, 86702 markings/sec, 1870 secs
lola: 190246437 markings, 714137251 edges, 80379 markings/sec, 1875 secs
lola: 190795487 markings, 716052535 edges, 109810 markings/sec, 1880 secs
lola: 191311907 markings, 717968666 edges, 103284 markings/sec, 1885 secs
lola: 191807878 markings, 719919148 edges, 99194 markings/sec, 1890 secs
lola: 192333930 markings, 721821323 edges, 105210 markings/sec, 1895 secs
lola: 192823935 markings, 723714756 edges, 98001 markings/sec, 1900 secs
lola: 193352361 markings, 725634950 edges, 105685 markings/sec, 1905 secs
lola: 193820819 markings, 727413668 edges, 93692 markings/sec, 1910 secs
lola: 194297715 markings, 729154451 edges, 95379 markings/sec, 1915 secs
lola: 194709445 markings, 730808730 edges, 82346 markings/sec, 1920 secs
lola: 195122530 markings, 732489183 edges, 82617 markings/sec, 1925 secs
lola: 195576261 markings, 734362633 edges, 90746 markings/sec, 1930 secs
lola: 195994975 markings, 736016570 edges, 83743 markings/sec, 1935 secs
lola: 196410031 markings, 737665849 edges, 83011 markings/sec, 1940 secs
lola: 196834417 markings, 739351629 edges, 84877 markings/sec, 1945 secs
lola: 197236227 markings, 741075561 edges, 80362 markings/sec, 1950 secs
lola: 197649504 markings, 742840459 edges, 82655 markings/sec, 1955 secs
lola: 198058033 markings, 744653994 edges, 81706 markings/sec, 1960 secs
lola: 198521153 markings, 746318064 edges, 92624 markings/sec, 1965 secs
lola: 198967703 markings, 747993298 edges, 89310 markings/sec, 1970 secs
lola: 199439781 markings, 749663913 edges, 94416 markings/sec, 1975 secs
lola: 199883980 markings, 751361957 edges, 88840 markings/sec, 1980 secs
lola: 200370410 markings, 753114117 edges, 97286 markings/sec, 1985 secs
lola: 200825492 markings, 754784312 edges, 91016 markings/sec, 1990 secs
lola: 201254743 markings, 756480273 edges, 85850 markings/sec, 1995 secs
lola: 201732315 markings, 758178728 edges, 95514 markings/sec, 2000 secs
lola: 202141063 markings, 759877145 edges, 81750 markings/sec, 2005 secs
lola: 202512791 markings, 761646069 edges, 74346 markings/sec, 2010 secs
lola: 203003300 markings, 763409087 edges, 98102 markings/sec, 2015 secs
lola: 203417324 markings, 765112395 edges, 82805 markings/sec, 2020 secs
lola: 203797481 markings, 766868768 edges, 76031 markings/sec, 2025 secs
lola: 204199707 markings, 768561561 edges, 80445 markings/sec, 2030 secs
lola: 204608455 markings, 770265300 edges, 81750 markings/sec, 2035 secs
lola: 204991186 markings, 772013504 edges, 76546 markings/sec, 2040 secs
lola: 205393865 markings, 773893240 edges, 80536 markings/sec, 2045 secs
lola: 205838946 markings, 775782824 edges, 89016 markings/sec, 2050 secs
lola: 206320658 markings, 777406255 edges, 96342 markings/sec, 2055 secs
lola: 206744357 markings, 779078413 edges, 84740 markings/sec, 2060 secs
lola: 207128791 markings, 780755186 edges, 76887 markings/sec, 2065 secs
lola: 207561974 markings, 782416960 edges, 86637 markings/sec, 2070 secs
lola: 208050186 markings, 784120586 edges, 97642 markings/sec, 2075 secs
lola: 208473319 markings, 785859791 edges, 84627 markings/sec, 2080 secs
lola: 208843480 markings, 787512028 edges, 74032 markings/sec, 2085 secs
lola: 209326603 markings, 789121359 edges, 96625 markings/sec, 2090 secs
lola: 209787844 markings, 790695208 edges, 92248 markings/sec, 2095 secs
lola: 210235039 markings, 792473734 edges, 89439 markings/sec, 2100 secs
lola: 210658717 markings, 794276079 edges, 84736 markings/sec, 2105 secs
lola: 211098826 markings, 795940270 edges, 88022 markings/sec, 2110 secs
lola: 211522249 markings, 797534805 edges, 84685 markings/sec, 2115 secs
lola: 211914636 markings, 799198702 edges, 78477 markings/sec, 2120 secs
lola: 212352695 markings, 800964504 edges, 87612 markings/sec, 2125 secs
lola: 212767327 markings, 802573370 edges, 82926 markings/sec, 2130 secs
lola: 213137010 markings, 804206881 edges, 73937 markings/sec, 2135 secs
lola: 213513369 markings, 805823509 edges, 75272 markings/sec, 2140 secs
lola: 213866853 markings, 807512875 edges, 70697 markings/sec, 2145 secs
lola: 214200966 markings, 809188931 edges, 66823 markings/sec, 2150 secs
lola: 214617495 markings, 810848130 edges, 83306 markings/sec, 2155 secs
lola: 215040088 markings, 812575815 edges, 84519 markings/sec, 2160 secs
lola: 215474840 markings, 814286975 edges, 86950 markings/sec, 2165 secs
lola: 215889080 markings, 815932815 edges, 82848 markings/sec, 2170 secs
lola: 216290590 markings, 817704265 edges, 80302 markings/sec, 2175 secs
lola: 216725281 markings, 819540791 edges, 86938 markings/sec, 2180 secs
lola: 217143078 markings, 821251677 edges, 83559 markings/sec, 2185 secs
lola: 217557019 markings, 823018780 edges, 82788 markings/sec, 2190 secs
lola: 217935419 markings, 824747757 edges, 75680 markings/sec, 2195 secs
lola: 218353195 markings, 826573694 edges, 83555 markings/sec, 2200 secs
lola: 218734404 markings, 828414219 edges, 76242 markings/sec, 2205 secs
lola: 219121187 markings, 830120419 edges, 77357 markings/sec, 2210 secs
lola: 219489363 markings, 832028803 edges, 73635 markings/sec, 2215 secs
lola: 219909490 markings, 833820131 edges, 84025 markings/sec, 2220 secs
lola: 220322597 markings, 835579468 edges, 82621 markings/sec, 2225 secs
lola: 220714378 markings, 837301113 edges, 78356 markings/sec, 2230 secs
lola: 221112435 markings, 838951495 edges, 79611 markings/sec, 2235 secs
lola: 221536475 markings, 840679849 edges, 84808 markings/sec, 2240 secs
lola: 221949741 markings, 842482798 edges, 82653 markings/sec, 2245 secs
lola: 222347475 markings, 844166872 edges, 79547 markings/sec, 2250 secs
lola: 222812541 markings, 845829695 edges, 93013 markings/sec, 2255 secs
lola: 223319662 markings, 847532075 edges, 101424 markings/sec, 2260 secs
lola: 223820389 markings, 849201477 edges, 100145 markings/sec, 2265 secs
lola: 224314666 markings, 850970735 edges, 98855 markings/sec, 2270 secs
lola: 224815281 markings, 852623219 edges, 100123 markings/sec, 2275 secs
lola: 225260057 markings, 854437344 edges, 88955 markings/sec, 2280 secs
lola: time limit reached - aborting
lola:
preliminary result: 5 5 5 10 5 10 10 5 unknown 5 unknown unknown unknown 5 5 5
lola:
preliminary result: 5 5 5 10 5 10 10 5 unknown 5 unknown unknown unknown 5 5 5
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 5 5 5 10 5 10 10 5 unknown 5 unknown unknown unknown 5 5 5
lola: memory consumption: 8399656 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 5 5 5 10 5 10 10 5 unknown 5 unknown unknown unknown 5 5 5
lola: memory consumption: 8399880 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.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="PermAdmissibility-PT-05"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is PermAdmissibility-PT-05, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r174-csrt-158987853500629"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-05.tgz
mv PermAdmissibility-PT-05 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;