Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r176-tajo-158987872000565.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is PolyORBNT-COL-S05J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r176-tajo-158987872000565
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Apr 12 06:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 05:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 11 05:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 05:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 18:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 18:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 92K 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 PolyORBNT-COL-S05J30-UpperBounds-00
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-01
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-02
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-03
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-04
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-05
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-06
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-07
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-08
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-09
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S05J30-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591164152882

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 06:02:36] [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 06:02:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 06:02:36] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-03 06:02:37] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 576 ms
[2020-06-03 06:02:37] [INFO ] sort/places :
D4->place_482,
Threads->FetchJobB,QueueJobE,NotifyEventJobQueuedE,NotifyEventEndOfCheckSourcesE,NotifyEventEndOfCheckSourcesB,place_523,place_522,place_521,place_520,place_518,place_500,Check_Sources_E,Check_Sources_B,place_782,place_787,Perform_Work_E,Schedule_Task_B,Try_Check_Sources_E,Try_Check_Sources_B,
D5->Schedule_Task_E,
D6->CreatedJobs,
Jobs->f3,f2,f1,AvailableJobId,
Dot->block,mo3,mo2,mo1,mi3,mi2,mi1,cSources,place_462,place_460,place_458,place_456,CanInjectEvent,JobCnt,cJobCnt,
Sources->ModifiedSrc,DataOnSrc,TheSour,
D1->FetchJobE,QueueJobB,NotifyEventJobQueuedB,Perform_Work_B,

[2020-06-03 06:02:37] [INFO ] ms3 symmetric to ms4 in transition trans_489
[2020-06-03 06:02:37] [INFO ] ms4 symmetric to ms1 in transition trans_489
[2020-06-03 06:02:37] [INFO ] ms1 symmetric to ms2 in transition trans_489
[2020-06-03 06:02:37] [INFO ] ms3 symmetric to ms1 in transition trans_488
[2020-06-03 06:02:37] [INFO ] ms1 symmetric to ms2 in transition trans_488
[2020-06-03 06:02:37] [INFO ] ms1 symmetric to ms2 in transition trans_487
[2020-06-03 06:02:37] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 519 PT places and 1492.0 transition bindings in 76 ms.
[2020-06-03 06:02:37] [INFO ] Computed order based on color domains.
[2020-06-03 06:02:37] [INFO ] Unfolded HLPN to a Petri net with 519 places and 775 transitions in 37 ms.
[2020-06-03 06:02:37] [INFO ] Unfolded HLPN properties in 0 ms.
Deduced a syphon composed of 30 places in 7 ms
Reduce places removed 30 places and 30 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 80 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 06:02:37] [INFO ] Flatten gal took : 278 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 )
[2020-06-03 06:02:37] [INFO ] Flow matrix only has 741 transitions (discarded 4 similar events)
// Phase 1: matrix 741 rows 489 cols
[2020-06-03 06:02:37] [INFO ] Computed 82 place invariants in 109 ms
Support contains 47 out of 489 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 489/489 places, 745/745 transitions.
Ensure Unique test removed 5 places
Performed 34 Post agglomeration using F-continuation condition.Transition count delta: 34
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 484 transition count 711
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 73 place count 450 transition count 711
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 73 place count 450 transition count 710
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 75 place count 449 transition count 710
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 77 place count 448 transition count 709
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 78 place count 448 transition count 708
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 79 place count 447 transition count 708
Applied a total of 79 rules in 328 ms. Remains 447 /489 variables (removed 42) and now considering 708/745 (removed 37) transitions.
[2020-06-03 06:02:38] [INFO ] Flow matrix only has 704 transitions (discarded 4 similar events)
// Phase 1: matrix 704 rows 447 cols
[2020-06-03 06:02:38] [INFO ] Computed 77 place invariants in 47 ms
[2020-06-03 06:02:39] [INFO ] Dead Transitions using invariants and state equation in 1678 ms returned [224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 265, 266, 267, 268, 269, 271, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 300, 301, 302, 303, 304, 306, 309, 310, 311, 312, 313, 314, 316, 319, 323, 324, 325, 326, 327, 328, 329, 331, 334, 338, 343]
Found 95 dead transitions using SMT.
Drop transitions removed 95 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 95 transitions :[343, 338, 334, 331, 329, 328, 327, 326, 325, 324, 323, 319, 316, 314, 313, 312, 311, 310, 309, 306, 304, 303, 302, 301, 300, 298, 297, 296, 295, 294, 293, 292, 291, 290, 289, 288, 287, 286, 285, 284, 283, 282, 281, 280, 279, 278, 277, 276, 275, 274, 271, 269, 268, 267, 266, 265, 263, 262, 261, 260, 259, 258, 257, 256, 255, 254, 253, 252, 251, 250, 249, 248, 247, 246, 245, 243, 242, 241, 240, 239, 238, 237, 236, 235, 234, 233, 232, 231, 230, 229, 228, 227, 226, 225, 224]
Starting structural reductions, iteration 1 : 447/489 places, 613/745 transitions.
Applied a total of 0 rules in 45 ms. Remains 447 /447 variables (removed 0) and now considering 613/613 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 447/489 places, 613/745 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 )
[2020-06-03 06:02:39] [INFO ] Flow matrix only has 609 transitions (discarded 4 similar events)
// Phase 1: matrix 609 rows 447 cols
[2020-06-03 06:02:39] [INFO ] Computed 77 place invariants in 12 ms
Support contains 47 out of 447 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 447/447 places, 613/613 transitions.
Applied a total of 0 rules in 16 ms. Remains 447 /447 variables (removed 0) and now considering 613/613 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 447/447 places, 613/613 transitions.
Starting structural reductions, iteration 0 : 447/447 places, 613/613 transitions.
Applied a total of 0 rules in 14 ms. Remains 447 /447 variables (removed 0) and now considering 613/613 (removed 0) transitions.
[2020-06-03 06:02:40] [INFO ] Flow matrix only has 609 transitions (discarded 4 similar events)
// Phase 1: matrix 609 rows 447 cols
[2020-06-03 06:02:40] [INFO ] Computed 77 place invariants in 34 ms
[2020-06-03 06:02:40] [INFO ] Implicit Places using invariants in 867 ms returned []
[2020-06-03 06:02:40] [INFO ] Flow matrix only has 609 transitions (discarded 4 similar events)
// Phase 1: matrix 609 rows 447 cols
[2020-06-03 06:02:40] [INFO ] Computed 77 place invariants in 10 ms
[2020-06-03 06:02:41] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-03 06:02:45] [INFO ] Implicit Places using invariants and state equation in 4485 ms returned []
Implicit Place search using SMT with State Equation took 5354 ms to find 0 implicit places.
[2020-06-03 06:02:45] [INFO ] Redundant transitions in 79 ms returned []
[2020-06-03 06:02:45] [INFO ] Flow matrix only has 609 transitions (discarded 4 similar events)
// Phase 1: matrix 609 rows 447 cols
[2020-06-03 06:02:45] [INFO ] Computed 77 place invariants in 26 ms
[2020-06-03 06:02:46] [INFO ] Dead Transitions using invariants and state equation in 1440 ms returned []
Finished structural reductions, in 1 iterations. Remains : 447/447 places, 613/613 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 447 transition count 609
Applied a total of 4 rules in 20 ms. Remains 447 /447 variables (removed 0) and now considering 609/613 (removed 4) transitions.
// Phase 1: matrix 609 rows 447 cols
[2020-06-03 06:02:46] [INFO ] Computed 77 place invariants in 7 ms
[2020-06-03 06:02:46] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 06:02:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PolyORBNT-COL-S05J30 @ 3570 seconds

FORMULA PolyORBNT-COL-S05J30-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-01 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-COL-S05J30-UpperBounds-11 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PolyORBNT-COL-S05J30

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1913
},
"exit":
{
"localtimelimitreached": false,
"memory": 9356864,
"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": 31,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 31,
"visible_transitions": 0
},
"processed": "MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22)",
"processed_size": 179,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 4 unknown unknown 1 1 1 1 unknown unknown unknown 4 unknown 1 10 1 "
},
"task":
{
"compoundnumber": 15,
"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: 1060/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 14304
lola: finding significant places
lola: 447 places, 613 transitions, 370 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(p196) : MAX(p369) : MAX(p200) : MAX(p200) : MAX(p410) : MAX(p412) : MAX(p412) : MAX(p409) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22) : MAX(p97) : MAX(p445) : MAX(p364 + p365 + p366 + p367 + p368) : MAX(p33) : MAX(p196) : MAX(p208) : MAX(p161)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p196)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p369)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p369)
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: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p200)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 665433 markings, 1090743 edges, 133087 markings/sec, 30 secs
lola: 1308820 markings, 2100360 edges, 128677 markings/sec, 35 secs
lola: 1874682 markings, 3042875 edges, 113172 markings/sec, 40 secs
lola: 2481162 markings, 4047777 edges, 121296 markings/sec, 45 secs
lola: 3202982 markings, 5067002 edges, 144364 markings/sec, 50 secs
lola: 3953669 markings, 6128720 edges, 150137 markings/sec, 55 secs
lola: 4675634 markings, 7161088 edges, 144393 markings/sec, 60 secs
lola: 5366828 markings, 8160163 edges, 138239 markings/sec, 65 secs
lola: 6010011 markings, 9102676 edges, 128637 markings/sec, 70 secs
lola: 6541468 markings, 9897024 edges, 106291 markings/sec, 75 secs
lola: 7080649 markings, 10727498 edges, 107836 markings/sec, 80 secs
lola: 7551423 markings, 11508700 edges, 94155 markings/sec, 85 secs
lola: 8046022 markings, 12441291 edges, 98920 markings/sec, 90 secs
lola: 8618212 markings, 13498360 edges, 114438 markings/sec, 95 secs
lola: 9132063 markings, 14453862 edges, 102770 markings/sec, 100 secs
lola: 9602765 markings, 15353223 edges, 94140 markings/sec, 105 secs
lola: 10023562 markings, 16212908 edges, 84159 markings/sec, 110 secs
lola: 10557364 markings, 17125246 edges, 106760 markings/sec, 115 secs
lola: 11131093 markings, 18017288 edges, 114746 markings/sec, 120 secs
lola: 11660876 markings, 18875346 edges, 105957 markings/sec, 125 secs
lola: 12122166 markings, 19737861 edges, 92258 markings/sec, 130 secs
lola: 12790111 markings, 20674039 edges, 133589 markings/sec, 135 secs
lola: 13430253 markings, 21580520 edges, 128028 markings/sec, 140 secs
lola: 14060909 markings, 22472706 edges, 126131 markings/sec, 145 secs
lola: 14752654 markings, 23468215 edges, 138349 markings/sec, 150 secs
lola: 15422260 markings, 24435122 edges, 133921 markings/sec, 155 secs
lola: 16062362 markings, 25373862 edges, 128020 markings/sec, 160 secs
lola: 16665173 markings, 26283536 edges, 120562 markings/sec, 165 secs
lola: 17232472 markings, 27168387 edges, 113460 markings/sec, 170 secs
lola: 17735079 markings, 28074288 edges, 100521 markings/sec, 175 secs
lola: 18342295 markings, 29184223 edges, 121443 markings/sec, 180 secs
lola: 18927805 markings, 30266037 edges, 117102 markings/sec, 185 secs
lola: 19474127 markings, 31302883 edges, 109264 markings/sec, 190 secs
lola: 19975540 markings, 32304755 edges, 100283 markings/sec, 195 secs
lola: 20571958 markings, 33347699 edges, 119284 markings/sec, 200 secs
lola: 21232578 markings, 34375791 edges, 132124 markings/sec, 205 secs
lola: 21825231 markings, 35354569 edges, 118531 markings/sec, 210 secs
lola: 22409639 markings, 36341351 edges, 116882 markings/sec, 215 secs
lola: 23149606 markings, 37380982 edges, 147993 markings/sec, 220 secs
lola: 23867309 markings, 38403767 edges, 143541 markings/sec, 225 secs
lola: 24565706 markings, 39399607 edges, 139679 markings/sec, 230 secs
lola: 25234056 markings, 40365302 edges, 133670 markings/sec, 235 secs
lola: 25880720 markings, 41306517 edges, 129333 markings/sec, 240 secs
lola: 26488934 markings, 42216077 edges, 121643 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 4 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2012500 KB
lola: time consumption: 257 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 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p200)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 674869 markings, 1107605 edges, 134974 markings/sec, 30 secs
lola: 1341991 markings, 2152523 edges, 133424 markings/sec, 35 secs
lola: 1929282 markings, 3139037 edges, 117458 markings/sec, 40 secs
lola: 2583660 markings, 4187522 edges, 130876 markings/sec, 45 secs
lola: 3355508 markings, 5283322 edges, 154370 markings/sec, 50 secs
lola: 4109480 markings, 6351554 edges, 150794 markings/sec, 55 secs
lola: 4843655 markings, 7395520 edges, 146835 markings/sec, 60 secs
lola: 5535283 markings, 8401782 edges, 138326 markings/sec, 65 secs
lola: 6194761 markings, 9376631 edges, 131896 markings/sec, 70 secs
lola: 6813730 markings, 10307866 edges, 123794 markings/sec, 75 secs
lola: 7379980 markings, 11210252 edges, 113250 markings/sec, 80 secs
lola: 7914707 markings, 12209990 edges, 106945 markings/sec, 85 secs
lola: 8544068 markings, 13360339 edges, 125872 markings/sec, 90 secs
lola: 9129443 markings, 14447900 edges, 117075 markings/sec, 95 secs
lola: 9665382 markings, 15475032 edges, 107188 markings/sec, 100 secs
lola: 10133745 markings, 16479235 edges, 93673 markings/sec, 105 secs
lola: 10781934 markings, 17472644 edges, 129638 markings/sec, 110 secs
lola: 11343606 markings, 18353895 edges, 112334 markings/sec, 115 secs
lola: 11850039 markings, 19196684 edges, 101287 markings/sec, 120 secs
lola: 12405317 markings, 20136225 edges, 111056 markings/sec, 125 secs
lola: 13148280 markings, 21179842 edges, 148593 markings/sec, 130 secs
lola: 13871562 markings, 22209340 edges, 144656 markings/sec, 135 secs
lola: 14574235 markings, 23210771 edges, 140535 markings/sec, 140 secs
lola: 15245952 markings, 24183994 edges, 134343 markings/sec, 145 secs
lola: 15896953 markings, 25129175 edges, 130200 markings/sec, 150 secs
lola: 16481072 markings, 26004552 edges, 116824 markings/sec, 155 secs
lola: 16992477 markings, 26788106 edges, 102281 markings/sec, 160 secs
lola: 17452059 markings, 27530772 edges, 91916 markings/sec, 165 secs
lola: 17906719 markings, 28389177 edges, 90932 markings/sec, 170 secs
lola: 18500403 markings, 29479376 edges, 118737 markings/sec, 175 secs
lola: 19065607 markings, 30526726 edges, 113041 markings/sec, 180 secs
lola: 19574354 markings, 31496242 edges, 101749 markings/sec, 185 secs
lola: 20046760 markings, 32462129 edges, 94481 markings/sec, 190 secs
lola: 20675197 markings, 33506831 edges, 125687 markings/sec, 195 secs
lola: 21319947 markings, 34518224 edges, 128950 markings/sec, 200 secs
lola: 21892301 markings, 35470727 edges, 114471 markings/sec, 205 secs
lola: 22491787 markings, 36463738 edges, 119897 markings/sec, 210 secs
lola: 23232554 markings, 37507044 edges, 148153 markings/sec, 215 secs
lola: 23949620 markings, 38519533 edges, 143413 markings/sec, 220 secs
lola: 24643611 markings, 39514199 edges, 138798 markings/sec, 225 secs
lola: 25315779 markings, 40479053 edges, 134434 markings/sec, 230 secs
lola: 25951890 markings, 41414644 edges, 127222 markings/sec, 235 secs
lola: 26554297 markings, 42314279 edges, 120481 markings/sec, 240 secs
lola: 27115681 markings, 43179161 edges, 112277 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 4 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2049432 KB
lola: time consumption: 511 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 4 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p410)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p410)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p412)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p412)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 305 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p412)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p412)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p409)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p97)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p97)
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: 1
lola: 121370 markings, 180224 edges, 24274 markings/sec, 0 secs
lola: 718132 markings, 1100011 edges, 119352 markings/sec, 5 secs
lola: 1281829 markings, 1990655 edges, 112739 markings/sec, 10 secs
lola: 1788562 markings, 2841190 edges, 101347 markings/sec, 15 secs
lola: 2317472 markings, 3718711 edges, 105782 markings/sec, 20 secs
lola: 2897215 markings, 4543735 edges, 115949 markings/sec, 25 secs
lola: 3466263 markings, 5342684 edges, 113810 markings/sec, 30 secs
lola: 4048745 markings, 6172298 edges, 116496 markings/sec, 35 secs
lola: 4610632 markings, 6972723 edges, 112377 markings/sec, 40 secs
lola: 5144149 markings, 7751113 edges, 106703 markings/sec, 45 secs
lola: 5653211 markings, 8492870 edges, 101812 markings/sec, 50 secs
lola: 6129759 markings, 9196973 edges, 95310 markings/sec, 55 secs
lola: 6580960 markings, 9874751 edges, 90240 markings/sec, 60 secs
lola: 6995366 markings, 10519817 edges, 82881 markings/sec, 65 secs
lola: 7370801 markings, 11138363 edges, 75087 markings/sec, 70 secs
lola: 7764869 markings, 11887933 edges, 78814 markings/sec, 75 secs
lola: 8246502 markings, 12772795 edges, 96327 markings/sec, 80 secs
lola: 8697412 markings, 13600895 edges, 90182 markings/sec, 85 secs
lola: 9112993 markings, 14384117 edges, 83116 markings/sec, 90 secs
lola: 9491715 markings, 15107326 edges, 75744 markings/sec, 95 secs
lola: 9831333 markings, 15792313 edges, 67924 markings/sec, 100 secs
lola: 10248173 markings, 16572033 edges, 83368 markings/sec, 105 secs
lola: 10806990 markings, 17435013 edges, 111763 markings/sec, 110 secs
lola: 11329034 markings, 18263394 edges, 104409 markings/sec, 115 secs
lola: 11785620 markings, 19033594 edges, 91317 markings/sec, 120 secs
lola: 12206337 markings, 19774617 edges, 84143 markings/sec, 125 secs
lola: 12736734 markings, 20517982 edges, 106079 markings/sec, 130 secs
lola: 13298196 markings, 21306158 edges, 112292 markings/sec, 135 secs
lola: 13843103 markings, 22082999 edges, 108981 markings/sec, 140 secs
lola: 14381153 markings, 22845922 edges, 107610 markings/sec, 145 secs
lola: 14900850 markings, 23598598 edges, 103939 markings/sec, 150 secs
lola: 15404032 markings, 24321205 edges, 100636 markings/sec, 155 secs
lola: 15880168 markings, 25023825 edges, 95227 markings/sec, 160 secs
lola: 16335526 markings, 25702265 edges, 91072 markings/sec, 165 secs
lola: 16764174 markings, 26356141 edges, 85730 markings/sec, 170 secs
lola: 17162373 markings, 26988488 edges, 79640 markings/sec, 175 secs
lola: 17510625 markings, 27596479 edges, 69650 markings/sec, 180 secs
lola: 17955380 markings, 28439714 edges, 88951 markings/sec, 185 secs
lola: 18413714 markings, 29272359 edges, 91667 markings/sec, 190 secs
lola: 18840855 markings, 30071380 edges, 85428 markings/sec, 195 secs
lola: 19238754 markings, 30821580 edges, 79580 markings/sec, 200 secs
lola: 19604278 markings, 31527939 edges, 73105 markings/sec, 205 secs
lola: 19924574 markings, 32192924 edges, 64059 markings/sec, 210 secs
lola: 20423828 markings, 33039130 edges, 99851 markings/sec, 215 secs
lola: 20971339 markings, 33893415 edges, 109502 markings/sec, 220 secs
lola: 21475628 markings, 34704681 edges, 100858 markings/sec, 225 secs
lola: 21881298 markings, 35407832 edges, 81134 markings/sec, 230 secs
lola: 22356448 markings, 36177383 edges, 95030 markings/sec, 235 secs
lola: 22939428 markings, 37002116 edges, 116596 markings/sec, 240 secs
lola: 23513303 markings, 37805630 edges, 114775 markings/sec, 245 secs
lola: 24065292 markings, 38592503 edges, 110398 markings/sec, 250 secs
lola: 24599876 markings, 39357081 edges, 106917 markings/sec, 255 secs
lola: 25110215 markings, 40096837 edges, 102068 markings/sec, 260 secs
lola: 25605773 markings, 40817995 edges, 99112 markings/sec, 265 secs
lola: 26077295 markings, 41518941 edges, 94304 markings/sec, 270 secs
lola: 26522693 markings, 42184380 edges, 89080 markings/sec, 275 secs
lola: 26939793 markings, 42830190 edges, 83420 markings/sec, 280 secs
lola: 27319253 markings, 43446559 edges, 75892 markings/sec, 285 secs
lola: 27684482 markings, 44140012 edges, 73046 markings/sec, 290 secs
lola: 28147502 markings, 44982124 edges, 92604 markings/sec, 295 secs
lola: 28547510 markings, 45721770 edges, 80002 markings/sec, 300 secs
lola: 28966069 markings, 46499636 edges, 83712 markings/sec, 305 secs
lola: 29377844 markings, 47286439 edges, 82355 markings/sec, 310 secs
lola: 29762291 markings, 48046817 edges, 76889 markings/sec, 315 secs
lola: 30179818 markings, 48864524 edges, 83505 markings/sec, 320 secs
lola: 30744775 markings, 49735862 edges, 112991 markings/sec, 325 secs
lola: 31280040 markings, 50584985 edges, 107053 markings/sec, 330 secs
lola: 31772709 markings, 51407823 edges, 98534 markings/sec, 335 secs
lola: 32260172 markings, 52245110 edges, 97493 markings/sec, 340 secs
lola: 32839268 markings, 53052037 edges, 115819 markings/sec, 345 secs
lola: 33367667 markings, 53800776 edges, 105680 markings/sec, 350 secs
lola: 33880675 markings, 54534452 edges, 102602 markings/sec, 355 secs
lola: 34387350 markings, 55253884 edges, 101335 markings/sec, 360 secs
lola: 34913797 markings, 56015041 edges, 105289 markings/sec, 365 secs
lola: 35426744 markings, 56756489 edges, 102589 markings/sec, 370 secs
lola: 35924463 markings, 57490389 edges, 99544 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 4 unknown unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2690464 KB
lola: time consumption: 893 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 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p445)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p445)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 281 markings, 423 edges, 56 markings/sec, 25 secs
lola: 390916 markings, 916006 edges, 78127 markings/sec, 30 secs
lola: 771236 markings, 1814489 edges, 76064 markings/sec, 35 secs
lola: 1100770 markings, 2610385 edges, 65907 markings/sec, 40 secs
lola: 1434997 markings, 3413134 edges, 66845 markings/sec, 45 secs
lola: 1773259 markings, 4221458 edges, 67652 markings/sec, 50 secs
lola: 2139508 markings, 5092142 edges, 73250 markings/sec, 55 secs
lola: 2500780 markings, 5955159 edges, 72254 markings/sec, 60 secs
lola: 2852039 markings, 6817450 edges, 70252 markings/sec, 65 secs
lola: 3198796 markings, 7707374 edges, 69351 markings/sec, 70 secs
lola: 3555007 markings, 8553198 edges, 71242 markings/sec, 75 secs
lola: 3907368 markings, 9398132 edges, 70472 markings/sec, 80 secs
lola: 4240830 markings, 10247861 edges, 66692 markings/sec, 85 secs
lola: 4581300 markings, 11090997 edges, 68094 markings/sec, 90 secs
lola: 4929144 markings, 11926286 edges, 69569 markings/sec, 95 secs
lola: 5251031 markings, 12775467 edges, 64377 markings/sec, 100 secs
lola: 5595839 markings, 13598573 edges, 68962 markings/sec, 105 secs
lola: 5911596 markings, 14432238 edges, 63151 markings/sec, 110 secs
lola: 6244796 markings, 15242706 edges, 66640 markings/sec, 115 secs
lola: 6559343 markings, 16057743 edges, 62909 markings/sec, 120 secs
lola: 6865753 markings, 16867678 edges, 61282 markings/sec, 125 secs
lola: 7180159 markings, 17666956 edges, 62881 markings/sec, 130 secs
lola: 7490217 markings, 18454106 edges, 62012 markings/sec, 135 secs
lola: 7775803 markings, 19205536 edges, 57117 markings/sec, 140 secs
lola: 8062398 markings, 19967084 edges, 57319 markings/sec, 145 secs
lola: 8339624 markings, 20710756 edges, 55445 markings/sec, 150 secs
lola: 8610120 markings, 21470204 edges, 54099 markings/sec, 155 secs
lola: 8892724 markings, 22225317 edges, 56521 markings/sec, 160 secs
lola: 9162148 markings, 22991326 edges, 53885 markings/sec, 165 secs
lola: 9428450 markings, 23749573 edges, 53260 markings/sec, 170 secs
lola: 9682073 markings, 24503722 edges, 50725 markings/sec, 175 secs
lola: 9929827 markings, 25256389 edges, 49551 markings/sec, 180 secs
lola: 10163906 markings, 26011801 edges, 46816 markings/sec, 185 secs
lola: 10364353 markings, 26704672 edges, 40089 markings/sec, 190 secs
lola: 10513514 markings, 27366805 edges, 29832 markings/sec, 195 secs
lola: 10790490 markings, 28309650 edges, 55395 markings/sec, 200 secs
lola: 11142278 markings, 29389951 edges, 70358 markings/sec, 205 secs
lola: 11449542 markings, 30325197 edges, 61453 markings/sec, 210 secs
lola: 11748701 markings, 31267996 edges, 59832 markings/sec, 215 secs
lola: 12040766 markings, 32193798 edges, 58413 markings/sec, 220 secs
lola: 12311820 markings, 33065664 edges, 54211 markings/sec, 225 secs
lola: 12559985 markings, 33891874 edges, 49633 markings/sec, 230 secs
lola: 12768298 markings, 34615316 edges, 41663 markings/sec, 235 secs
lola: 12956233 markings, 35351497 edges, 37587 markings/sec, 240 secs
lola: 13269014 markings, 36147296 edges, 62556 markings/sec, 245 secs
lola: 13620798 markings, 36990287 edges, 70357 markings/sec, 250 secs
lola: 13981130 markings, 37857694 edges, 72066 markings/sec, 255 secs
lola: 14333463 markings, 38720181 edges, 70467 markings/sec, 260 secs
lola: 14688422 markings, 39582491 edges, 70992 markings/sec, 265 secs
lola: 15049206 markings, 40436443 edges, 72157 markings/sec, 270 secs
lola: 15407286 markings, 41284960 edges, 71616 markings/sec, 275 secs
lola: 15754541 markings, 42116308 edges, 69451 markings/sec, 280 secs
lola: 16096138 markings, 42947035 edges, 68319 markings/sec, 285 secs
lola: 16430744 markings, 43800274 edges, 66921 markings/sec, 290 secs
lola: 16767501 markings, 44632851 edges, 67351 markings/sec, 295 secs
lola: 17111455 markings, 45449249 edges, 68791 markings/sec, 300 secs
lola: 17442449 markings, 46259506 edges, 66199 markings/sec, 305 secs
lola: 17735550 markings, 47023888 edges, 58620 markings/sec, 310 secs
lola: 18051242 markings, 47796207 edges, 63138 markings/sec, 315 secs
lola: 18363429 markings, 48555360 edges, 62437 markings/sec, 320 secs
lola: 18652247 markings, 49318933 edges, 57764 markings/sec, 325 secs
lola: 18960386 markings, 50070774 edges, 61628 markings/sec, 330 secs
lola: 19249974 markings, 50822262 edges, 57918 markings/sec, 335 secs
lola: 19545586 markings, 51563344 edges, 59122 markings/sec, 340 secs
lola: 19827707 markings, 52306406 edges, 56424 markings/sec, 345 secs
lola: 20117787 markings, 53026782 edges, 58016 markings/sec, 350 secs
lola: 20388929 markings, 53751668 edges, 54228 markings/sec, 355 secs
lola: 20655868 markings, 54462679 edges, 53388 markings/sec, 360 secs
lola: 20923268 markings, 55157502 edges, 53480 markings/sec, 365 secs
lola: 21181315 markings, 55831612 edges, 51609 markings/sec, 370 secs
lola: 21416867 markings, 56467230 edges, 47110 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 4 unknown unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1633100 KB
lola: time consumption: 1275 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 10 will run for 382 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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 325303 markings, 882517 edges, 65061 markings/sec, 30 secs
lola: 662162 markings, 1804955 edges, 67372 markings/sec, 35 secs
lola: 995782 markings, 2721014 edges, 66724 markings/sec, 40 secs
lola: 1321690 markings, 3639113 edges, 65182 markings/sec, 45 secs
lola: 1593411 markings, 4400225 edges, 54344 markings/sec, 50 secs
lola: 1910303 markings, 5304576 edges, 63378 markings/sec, 55 secs
lola: 2224215 markings, 6195252 edges, 62782 markings/sec, 60 secs
lola: 2528169 markings, 7080008 edges, 60791 markings/sec, 65 secs
lola: 2825240 markings, 7953015 edges, 59414 markings/sec, 70 secs
lola: 3113051 markings, 8811171 edges, 57562 markings/sec, 75 secs
lola: 3389441 markings, 9663843 edges, 55278 markings/sec, 80 secs
lola: 3653327 markings, 10505562 edges, 52777 markings/sec, 85 secs
lola: 3901865 markings, 11334160 edges, 49708 markings/sec, 90 secs
lola: 4123192 markings, 12161169 edges, 44265 markings/sec, 95 secs
lola: 4370895 markings, 13013824 edges, 49541 markings/sec, 100 secs
lola: 4726891 markings, 13860771 edges, 71199 markings/sec, 105 secs
lola: 5075700 markings, 14703931 edges, 69762 markings/sec, 110 secs
lola: 5425752 markings, 15591407 edges, 70010 markings/sec, 115 secs
lola: 5776245 markings, 16452450 edges, 70099 markings/sec, 120 secs
lola: 6130756 markings, 17308660 edges, 70902 markings/sec, 125 secs
lola: 6480009 markings, 18150448 edges, 69851 markings/sec, 130 secs
lola: 6820284 markings, 19011343 edges, 68055 markings/sec, 135 secs
lola: 7167763 markings, 19865056 edges, 69496 markings/sec, 140 secs
lola: 7508434 markings, 20698639 edges, 68134 markings/sec, 145 secs
lola: 7843152 markings, 21560553 edges, 66944 markings/sec, 150 secs
lola: 8182539 markings, 22375942 edges, 67877 markings/sec, 155 secs
lola: 8511794 markings, 23228757 edges, 65851 markings/sec, 160 secs
lola: 8842747 markings, 24045258 edges, 66191 markings/sec, 165 secs
lola: 9173354 markings, 24872752 edges, 66121 markings/sec, 170 secs
lola: 9491023 markings, 25706812 edges, 63534 markings/sec, 175 secs
lola: 9809606 markings, 26517757 edges, 63717 markings/sec, 180 secs
lola: 10126168 markings, 27324185 edges, 63312 markings/sec, 185 secs
lola: 10435460 markings, 28118815 edges, 61858 markings/sec, 190 secs
lola: 10740107 markings, 28917755 edges, 60929 markings/sec, 195 secs
lola: 11041209 markings, 29713204 edges, 60220 markings/sec, 200 secs
lola: 11338173 markings, 30488142 edges, 59393 markings/sec, 205 secs
lola: 11622525 markings, 31256659 edges, 56870 markings/sec, 210 secs
lola: 11905665 markings, 32013493 edges, 56628 markings/sec, 215 secs
lola: 12177796 markings, 32765983 edges, 54426 markings/sec, 220 secs
lola: 12446243 markings, 33524270 edges, 53689 markings/sec, 225 secs
lola: 12707892 markings, 34273645 edges, 52330 markings/sec, 230 secs
lola: 12957906 markings, 35026142 edges, 50003 markings/sec, 235 secs
lola: 13196614 markings, 35769958 edges, 47742 markings/sec, 240 secs
lola: 13413802 markings, 36522190 edges, 43438 markings/sec, 245 secs
lola: 13607810 markings, 37301645 edges, 38802 markings/sec, 250 secs
lola: 13900995 markings, 38239112 edges, 58637 markings/sec, 255 secs
lola: 14228255 markings, 39277217 edges, 65452 markings/sec, 260 secs
lola: 14574917 markings, 40378681 edges, 69332 markings/sec, 265 secs
lola: 14912926 markings, 41464880 edges, 67602 markings/sec, 270 secs
lola: 15240616 markings, 42518773 edges, 65538 markings/sec, 275 secs
lola: 15557089 markings, 43549226 edges, 63295 markings/sec, 280 secs
lola: 15865137 markings, 44552817 edges, 61610 markings/sec, 285 secs
lola: 16160172 markings, 45535667 edges, 59007 markings/sec, 290 secs
lola: 16442541 markings, 46489811 edges, 56474 markings/sec, 295 secs
lola: 16710059 markings, 47416601 edges, 53504 markings/sec, 300 secs
lola: 16955676 markings, 48303340 edges, 49123 markings/sec, 305 secs
lola: 17179173 markings, 49199162 edges, 44699 markings/sec, 310 secs
lola: 17515538 markings, 50105620 edges, 67273 markings/sec, 315 secs
lola: 17844556 markings, 51025195 edges, 65804 markings/sec, 320 secs
lola: 18169551 markings, 51921419 edges, 64999 markings/sec, 325 secs
lola: 18492415 markings, 52815864 edges, 64573 markings/sec, 330 secs
lola: 18809557 markings, 53709556 edges, 63428 markings/sec, 335 secs
lola: 19119431 markings, 54592874 edges, 61975 markings/sec, 340 secs
lola: 19425139 markings, 55476155 edges, 61142 markings/sec, 345 secs
lola: 19723073 markings, 56336564 edges, 59587 markings/sec, 350 secs
lola: 20013532 markings, 57195835 edges, 58092 markings/sec, 355 secs
lola: 20294822 markings, 58044359 edges, 56258 markings/sec, 360 secs
lola: 20563464 markings, 58868737 edges, 53728 markings/sec, 365 secs
lola: 20817340 markings, 59677724 edges, 50775 markings/sec, 370 secs
lola: 21052521 markings, 60471563 edges, 47036 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 4 unknown unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1566248 KB
lola: time consumption: 1657 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 11 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p196)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================
lola: subprocess 12 will run for 478 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p208)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p208)
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: 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 637 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p161)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges
lola: ========================================
lola: subprocess 14 will run for 956 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p364 + p365 + p366 + p367 + p368)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p364 + p365 + p366 + p367 + p368)
lola: processed formula length: 37
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: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 15 will run for 1913 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22)
lola: processed formula length: 179
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: 1
lola: 474792 markings, 719628 edges, 94958 markings/sec, 0 secs
lola: 960686 markings, 1479027 edges, 97179 markings/sec, 5 secs
lola: 1423686 markings, 2218953 edges, 92600 markings/sec, 10 secs
lola: 1846038 markings, 2946312 edges, 84470 markings/sec, 15 secs
lola: 2246231 markings, 3725629 edges, 80039 markings/sec, 20 secs
lola: 2648317 markings, 4475448 edges, 80417 markings/sec, 25 secs
lola: 3028710 markings, 5166049 edges, 76079 markings/sec, 30 secs
lola: 3410748 markings, 5881388 edges, 76408 markings/sec, 35 secs
lola: 3818345 markings, 6627628 edges, 81519 markings/sec, 40 secs
lola: 4230189 markings, 7405264 edges, 82369 markings/sec, 45 secs
lola: 4644803 markings, 8175528 edges, 82923 markings/sec, 50 secs
lola: 5051463 markings, 8936783 edges, 81332 markings/sec, 55 secs
lola: 5460520 markings, 9700328 edges, 81811 markings/sec, 60 secs
lola: 5863777 markings, 10458663 edges, 80651 markings/sec, 65 secs
lola: 6261843 markings, 11209271 edges, 79613 markings/sec, 70 secs
lola: 6658609 markings, 11964045 edges, 79353 markings/sec, 75 secs
lola: 7044618 markings, 12691914 edges, 77202 markings/sec, 80 secs
lola: 7427692 markings, 13428834 edges, 76615 markings/sec, 85 secs
lola: 7809045 markings, 14156659 edges, 76271 markings/sec, 90 secs
lola: 8181370 markings, 14880181 edges, 74465 markings/sec, 95 secs
lola: 8547776 markings, 15594434 edges, 73281 markings/sec, 100 secs
lola: 8904512 markings, 16303358 edges, 71347 markings/sec, 105 secs
lola: 9253365 markings, 17000013 edges, 69771 markings/sec, 110 secs
lola: 9593392 markings, 17688242 edges, 68005 markings/sec, 115 secs
lola: 9921051 markings, 18373253 edges, 65532 markings/sec, 120 secs
lola: 10232573 markings, 19050151 edges, 62304 markings/sec, 125 secs
lola: 10513969 markings, 19748146 edges, 56279 markings/sec, 130 secs
lola: 10807564 markings, 20650007 edges, 58719 markings/sec, 135 secs
lola: 11098649 markings, 21540947 edges, 58217 markings/sec, 140 secs
lola: 11382423 markings, 22410503 edges, 56755 markings/sec, 145 secs
lola: 11657340 markings, 23272234 edges, 54983 markings/sec, 150 secs
lola: 11923835 markings, 24108882 edges, 53299 markings/sec, 155 secs
lola: 12179666 markings, 24929212 edges, 51166 markings/sec, 160 secs
lola: 12424340 markings, 25729581 edges, 48935 markings/sec, 165 secs
lola: 12656098 markings, 26514293 edges, 46352 markings/sec, 170 secs
lola: 12869562 markings, 27282306 edges, 42693 markings/sec, 175 secs
lola: 13115548 markings, 27989209 edges, 49197 markings/sec, 180 secs
lola: 13558180 markings, 28664779 edges, 88526 markings/sec, 185 secs
lola: 13974724 markings, 29316902 edges, 83309 markings/sec, 190 secs
lola: 14423757 markings, 30038178 edges, 89807 markings/sec, 195 secs
lola: 14832748 markings, 30742736 edges, 81798 markings/sec, 200 secs
lola: 15223485 markings, 31505730 edges, 78147 markings/sec, 205 secs
lola: 15636438 markings, 32281419 edges, 82591 markings/sec, 210 secs
lola: 16055370 markings, 33041363 edges, 83786 markings/sec, 215 secs
lola: 16466237 markings, 33809199 edges, 82173 markings/sec, 220 secs
lola: 16873718 markings, 34562120 edges, 81496 markings/sec, 225 secs
lola: 17282100 markings, 35311671 edges, 81676 markings/sec, 230 secs
lola: 17681367 markings, 36066525 edges, 79853 markings/sec, 235 secs
lola: 18078758 markings, 36809262 edges, 79478 markings/sec, 240 secs
lola: 18475687 markings, 37552145 edges, 79386 markings/sec, 245 secs
lola: 18867793 markings, 38289468 edges, 78421 markings/sec, 250 secs
lola: 19255816 markings, 39021320 edges, 77605 markings/sec, 255 secs
lola: 19639946 markings, 39754092 edges, 76826 markings/sec, 260 secs
lola: 20022922 markings, 40474029 edges, 76595 markings/sec, 265 secs
lola: 20394813 markings, 41190649 edges, 74378 markings/sec, 270 secs
lola: 20768173 markings, 41903733 edges, 74672 markings/sec, 275 secs
lola: 21132290 markings, 42615278 edges, 72823 markings/sec, 280 secs
lola: 21490894 markings, 43313808 edges, 71721 markings/sec, 285 secs
lola: 21842184 markings, 44002389 edges, 70258 markings/sec, 290 secs
lola: 22186669 markings, 44689935 edges, 68897 markings/sec, 295 secs
lola: 22519841 markings, 45364909 edges, 66634 markings/sec, 300 secs
lola: 22810617 markings, 45967137 edges, 58155 markings/sec, 305 secs
lola: 23082006 markings, 46550053 edges, 54278 markings/sec, 310 secs
lola: 23334833 markings, 47117514 edges, 50565 markings/sec, 315 secs
lola: 23562697 markings, 47751784 edges, 45573 markings/sec, 320 secs
lola: 23829054 markings, 48576979 edges, 53271 markings/sec, 325 secs
lola: 24089345 markings, 49358456 edges, 52058 markings/sec, 330 secs
lola: 24345288 markings, 50149859 edges, 51189 markings/sec, 335 secs
lola: 24611523 markings, 50982430 edges, 53247 markings/sec, 340 secs
lola: 24870811 markings, 51795489 edges, 51858 markings/sec, 345 secs
lola: 25122013 markings, 52594471 edges, 50240 markings/sec, 350 secs
lola: 25362077 markings, 53383551 edges, 48013 markings/sec, 355 secs
lola: 25592625 markings, 54152062 edges, 46110 markings/sec, 360 secs
lola: 25805462 markings, 54908389 edges, 42567 markings/sec, 365 secs
lola: 26040516 markings, 55689148 edges, 47011 markings/sec, 370 secs
lola: 26530554 markings, 56438517 edges, 98008 markings/sec, 375 secs
lola: 26989546 markings, 57155396 edges, 91798 markings/sec, 380 secs
lola: 27406642 markings, 57826471 edges, 83419 markings/sec, 385 secs
lola: 27778279 markings, 58465597 edges, 74327 markings/sec, 390 secs
lola: 28141240 markings, 59173983 edges, 72592 markings/sec, 395 secs
lola: 28552835 markings, 59940101 edges, 82319 markings/sec, 400 secs
lola: 28969770 markings, 60703617 edges, 83387 markings/sec, 405 secs
lola: 29376492 markings, 61462863 edges, 81344 markings/sec, 410 secs
lola: 29786556 markings, 62215039 edges, 82013 markings/sec, 415 secs
lola: 30189505 markings, 62973712 edges, 80590 markings/sec, 420 secs
lola: 30590430 markings, 63718794 edges, 80185 markings/sec, 425 secs
lola: 30988567 markings, 64459444 edges, 79627 markings/sec, 430 secs
lola: 31385046 markings, 65199899 edges, 79296 markings/sec, 435 secs
lola: 31775275 markings, 65930371 edges, 78046 markings/sec, 440 secs
lola: 32161752 markings, 66658750 edges, 77295 markings/sec, 445 secs
lola: 32542071 markings, 67384166 edges, 76064 markings/sec, 450 secs
lola: 32921662 markings, 68108777 edges, 75918 markings/sec, 455 secs
lola: 33298406 markings, 68827379 edges, 75349 markings/sec, 460 secs
lola: 33666745 markings, 69535949 edges, 73668 markings/sec, 465 secs
lola: 34032733 markings, 70238089 edges, 73198 markings/sec, 470 secs
lola: 34389542 markings, 70932935 edges, 71362 markings/sec, 475 secs
lola: 34738052 markings, 71622101 edges, 69702 markings/sec, 480 secs
lola: 35082755 markings, 72306390 edges, 68941 markings/sec, 485 secs
lola: 35417199 markings, 72982367 edges, 66889 markings/sec, 490 secs
lola: 35722755 markings, 73613902 edges, 61111 markings/sec, 495 secs
lola: 36002973 markings, 74204521 edges, 56044 markings/sec, 500 secs
lola: 36272672 markings, 74806503 edges, 53940 markings/sec, 505 secs
lola: 36519793 markings, 75475320 edges, 49424 markings/sec, 510 secs
lola: 36779623 markings, 76259939 edges, 51966 markings/sec, 515 secs
lola: 37026614 markings, 77029886 edges, 49398 markings/sec, 520 secs
lola: 37277108 markings, 77786510 edges, 50099 markings/sec, 525 secs
lola: 37537884 markings, 78606042 edges, 52155 markings/sec, 530 secs
lola: 37791052 markings, 79390605 edges, 50634 markings/sec, 535 secs
lola: 38035168 markings, 80174352 edges, 48823 markings/sec, 540 secs
lola: 38277413 markings, 80957331 edges, 48449 markings/sec, 545 secs
lola: 38508331 markings, 81722814 edges, 46184 markings/sec, 550 secs
lola: 38724183 markings, 82474552 edges, 43170 markings/sec, 555 secs
lola: 38914651 markings, 83226890 edges, 38094 markings/sec, 560 secs
lola: 39363974 markings, 83996170 edges, 89865 markings/sec, 565 secs
lola: 39837310 markings, 84732130 edges, 94667 markings/sec, 570 secs
lola: 40290006 markings, 85453041 edges, 90539 markings/sec, 575 secs
lola: 40707787 markings, 86159734 edges, 83556 markings/sec, 580 secs
lola: 41087320 markings, 86901848 edges, 75907 markings/sec, 585 secs
lola: 41496878 markings, 87660562 edges, 81912 markings/sec, 590 secs
lola: 41902736 markings, 88409795 edges, 81172 markings/sec, 595 secs
lola: 42308304 markings, 89161067 edges, 81114 markings/sec, 600 secs
lola: 42719919 markings, 89915995 edges, 82323 markings/sec, 605 secs
lola: 43119983 markings, 90666339 edges, 80013 markings/sec, 610 secs
lola: 43519262 markings, 91407470 edges, 79856 markings/sec, 615 secs
lola: 43906873 markings, 92124394 edges, 77522 markings/sec, 620 secs
lola: 44273205 markings, 92822351 edges, 73266 markings/sec, 625 secs
lola: 44624789 markings, 93477624 edges, 70317 markings/sec, 630 secs
lola: 44987591 markings, 94160919 edges, 72560 markings/sec, 635 secs
lola: 45369575 markings, 94883481 edges, 76397 markings/sec, 640 secs
lola: 45749724 markings, 95604884 edges, 76030 markings/sec, 645 secs
lola: 46125619 markings, 96319331 edges, 75179 markings/sec, 650 secs
lola: 46492273 markings, 97024673 edges, 73331 markings/sec, 655 secs
lola: 46860994 markings, 97730565 edges, 73744 markings/sec, 660 secs
lola: 47216557 markings, 98425875 edges, 71113 markings/sec, 665 secs
lola: 47566423 markings, 99108761 edges, 69973 markings/sec, 670 secs
lola: 47908506 markings, 99786286 edges, 68417 markings/sec, 675 secs
lola: 48245903 markings, 100460538 edges, 67479 markings/sec, 680 secs
lola: 48573967 markings, 101133692 edges, 65613 markings/sec, 685 secs
lola: 48890273 markings, 101793543 edges, 63261 markings/sec, 690 secs
lola: 49165251 markings, 102393047 edges, 54996 markings/sec, 695 secs
lola: 49413529 markings, 102990828 edges, 49656 markings/sec, 700 secs
lola: 49660036 markings, 103748944 edges, 49301 markings/sec, 705 secs
lola: 49935000 markings, 104598765 edges, 54993 markings/sec, 710 secs
lola: 50206556 markings, 105431290 edges, 54311 markings/sec, 715 secs
lola: 50472090 markings, 106248286 edges, 53107 markings/sec, 720 secs
lola: 50727133 markings, 107047516 edges, 51009 markings/sec, 725 secs
lola: 50971376 markings, 107823557 edges, 48849 markings/sec, 730 secs
lola: 51202698 markings, 108561515 edges, 46264 markings/sec, 735 secs
lola: 51408618 markings, 109247155 edges, 41184 markings/sec, 740 secs
lola: 51608440 markings, 109926422 edges, 39964 markings/sec, 745 secs
lola: 51800828 markings, 110620140 edges, 38478 markings/sec, 750 secs
lola: 52076502 markings, 111372928 edges, 55135 markings/sec, 755 secs
lola: 52509178 markings, 112145278 edges, 86535 markings/sec, 760 secs
lola: 52929183 markings, 112897557 edges, 84001 markings/sec, 765 secs
lola: 53351383 markings, 113654679 edges, 84440 markings/sec, 770 secs
lola: 53769910 markings, 114402182 edges, 83705 markings/sec, 775 secs
lola: 54200525 markings, 115116698 edges, 86123 markings/sec, 780 secs
lola: 54599062 markings, 115835743 edges, 79707 markings/sec, 785 secs
lola: 54988384 markings, 116543239 edges, 77864 markings/sec, 790 secs
lola: 55387754 markings, 117206168 edges, 79874 markings/sec, 795 secs
lola: 55763636 markings, 117893695 edges, 75176 markings/sec, 800 secs
lola: 56129119 markings, 118564988 edges, 73097 markings/sec, 805 secs
lola: 56510292 markings, 119199891 edges, 76235 markings/sec, 810 secs
lola: 56863529 markings, 119851637 edges, 70647 markings/sec, 815 secs
lola: 57221807 markings, 120451512 edges, 71656 markings/sec, 820 secs
lola: 57560288 markings, 121082649 edges, 67696 markings/sec, 825 secs
lola: 57911738 markings, 121671874 edges, 70290 markings/sec, 830 secs
lola: 58240069 markings, 122288172 edges, 65666 markings/sec, 835 secs
lola: 58588865 markings, 122874071 edges, 69759 markings/sec, 840 secs
lola: 58684729 markings, 123925163 edges, 19173 markings/sec, 845 secs
lola: 58716928 markings, 124881756 edges, 6440 markings/sec, 850 secs
lola: 59101407 markings, 125682499 edges, 76896 markings/sec, 855 secs
lola: 59473328 markings, 126472917 edges, 74384 markings/sec, 860 secs
lola: 59832917 markings, 127239434 edges, 71918 markings/sec, 865 secs
lola: 60172518 markings, 127995691 edges, 67920 markings/sec, 870 secs
lola: 60490083 markings, 128736858 edges, 63513 markings/sec, 875 secs
lola: 60777354 markings, 129468852 edges, 57454 markings/sec, 880 secs
lola: 61099690 markings, 130232772 edges, 64467 markings/sec, 885 secs
lola: 61524659 markings, 130993744 edges, 84994 markings/sec, 890 secs
lola: 61941698 markings, 131744019 edges, 83408 markings/sec, 895 secs
lola: 62349879 markings, 132479366 edges, 81636 markings/sec, 900 secs
lola: 62772240 markings, 133176414 edges, 84472 markings/sec, 905 secs
lola: 63169242 markings, 133894713 edges, 79400 markings/sec, 910 secs
lola: 63554593 markings, 134596054 edges, 77070 markings/sec, 915 secs
lola: 63942372 markings, 135276783 edges, 77556 markings/sec, 920 secs
lola: 64333815 markings, 135951489 edges, 78289 markings/sec, 925 secs
lola: 64704389 markings, 136629171 edges, 74115 markings/sec, 930 secs
lola: 65084845 markings, 137263170 edges, 76091 markings/sec, 935 secs
lola: 65443732 markings, 137924093 edges, 71777 markings/sec, 940 secs
lola: 65802713 markings, 138552959 edges, 71796 markings/sec, 945 secs
lola: 66160455 markings, 139186442 edges, 71548 markings/sec, 950 secs
lola: 66501046 markings, 139802092 edges, 68118 markings/sec, 955 secs
lola: 66857654 markings, 140416308 edges, 71322 markings/sec, 960 secs
lola: 67197885 markings, 141007659 edges, 68046 markings/sec, 965 secs
lola: 67532966 markings, 141615841 edges, 67016 markings/sec, 970 secs
lola: 67687991 markings, 142561211 edges, 31005 markings/sec, 975 secs
lola: 67721849 markings, 143555668 edges, 6772 markings/sec, 980 secs
lola: 68026894 markings, 144351766 edges, 61009 markings/sec, 985 secs
lola: 68393121 markings, 145110889 edges, 73245 markings/sec, 990 secs
lola: 68742139 markings, 145866128 edges, 69804 markings/sec, 995 secs
lola: 69077073 markings, 146608849 edges, 66987 markings/sec, 1000 secs
lola: 69393625 markings, 147331057 edges, 63310 markings/sec, 1005 secs
lola: 69687164 markings, 148048156 edges, 58708 markings/sec, 1010 secs
lola: 69930314 markings, 148804937 edges, 48630 markings/sec, 1015 secs
lola: 70370379 markings, 149528386 edges, 88013 markings/sec, 1020 secs
lola: 70784776 markings, 150273626 edges, 82879 markings/sec, 1025 secs
lola: 71191297 markings, 151004798 edges, 81304 markings/sec, 1030 secs
lola: 71596846 markings, 151736831 edges, 81110 markings/sec, 1035 secs
lola: 72014948 markings, 152428537 edges, 83620 markings/sec, 1040 secs
lola: 72408073 markings, 153140798 edges, 78625 markings/sec, 1045 secs
lola: 72792770 markings, 153840394 edges, 76939 markings/sec, 1050 secs
lola: 73184351 markings, 154504202 edges, 78316 markings/sec, 1055 secs
lola: 73561420 markings, 155180473 edges, 75414 markings/sec, 1060 secs
lola: 73923179 markings, 155845007 edges, 72352 markings/sec, 1065 secs
lola: 74301119 markings, 156475841 edges, 75588 markings/sec, 1070 secs
lola: 74654515 markings, 157127784 edges, 70679 markings/sec, 1075 secs
lola: 75019911 markings, 157740482 edges, 73079 markings/sec, 1080 secs
lola: 75364135 markings, 158379128 edges, 68845 markings/sec, 1085 secs
lola: 75722107 markings, 158978625 edges, 71594 markings/sec, 1090 secs
lola: 76056567 markings, 159602616 edges, 66892 markings/sec, 1095 secs
lola: 76404815 markings, 160187831 edges, 69650 markings/sec, 1100 secs
lola: 76680794 markings, 160890479 edges, 55196 markings/sec, 1105 secs
lola: 76717700 markings, 161974256 edges, 7381 markings/sec, 1110 secs
lola: 76870894 markings, 162831379 edges, 30639 markings/sec, 1115 secs
lola: 77234586 markings, 163605461 edges, 72738 markings/sec, 1120 secs
lola: 77590490 markings, 164359086 edges, 71181 markings/sec, 1125 secs
lola: 77933659 markings, 165101411 edges, 68634 markings/sec, 1130 secs
lola: 78260873 markings, 165836244 edges, 65443 markings/sec, 1135 secs
lola: 78565592 markings, 166559435 edges, 60944 markings/sec, 1140 secs
lola: 78843053 markings, 167286186 edges, 55492 markings/sec, 1145 secs
lola: 79180596 markings, 168066565 edges, 67509 markings/sec, 1150 secs
lola: 79618788 markings, 168787663 edges, 87638 markings/sec, 1155 secs
lola: 80035209 markings, 169537538 edges, 83284 markings/sec, 1160 secs
lola: 80441689 markings, 170268654 edges, 81296 markings/sec, 1165 secs
lola: 80838621 markings, 170987786 edges, 79386 markings/sec, 1170 secs
lola: 81247347 markings, 171664720 edges, 81745 markings/sec, 1175 secs
lola: 81636584 markings, 172370924 edges, 77847 markings/sec, 1180 secs
lola: 82012769 markings, 173057747 edges, 75237 markings/sec, 1185 secs
lola: 82402705 markings, 173707828 edges, 77987 markings/sec, 1190 secs
lola: 82752621 markings, 174355399 edges, 69983 markings/sec, 1195 secs
lola: 83085733 markings, 174917414 edges, 66622 markings/sec, 1200 secs
lola: 83399341 markings, 175508963 edges, 62722 markings/sec, 1205 secs
lola: 83728945 markings, 176066594 edges, 65921 markings/sec, 1210 secs
lola: 84069210 markings, 176699964 edges, 68053 markings/sec, 1215 secs
lola: 84429489 markings, 177304172 edges, 72056 markings/sec, 1220 secs
lola: 84758026 markings, 177918913 edges, 65707 markings/sec, 1225 secs
lola: 85110768 markings, 178511121 edges, 70548 markings/sec, 1230 secs
lola: 85450698 markings, 179093707 edges, 67986 markings/sec, 1235 secs
lola: 85695254 markings, 179855765 edges, 48911 markings/sec, 1240 secs
lola: 85730833 markings, 180900854 edges, 7116 markings/sec, 1245 secs
lola: 85907774 markings, 181742317 edges, 35388 markings/sec, 1250 secs
lola: 86274254 markings, 182502992 edges, 73296 markings/sec, 1255 secs
lola: 86623341 markings, 183251077 edges, 69817 markings/sec, 1260 secs
lola: 86960414 markings, 183985044 edges, 67415 markings/sec, 1265 secs
lola: 87281299 markings, 184705302 edges, 64177 markings/sec, 1270 secs
lola: 87583268 markings, 185419935 edges, 60394 markings/sec, 1275 secs
lola: 87853350 markings, 186127845 edges, 54016 markings/sec, 1280 secs
lola: 88191293 markings, 186910756 edges, 67589 markings/sec, 1285 secs
lola: 88612028 markings, 187663942 edges, 84147 markings/sec, 1290 secs
lola: 89030340 markings, 188397160 edges, 83662 markings/sec, 1295 secs
lola: 89443721 markings, 189099902 edges, 82676 markings/sec, 1300 secs
lola: 89840206 markings, 189818481 edges, 79297 markings/sec, 1305 secs
lola: 90225320 markings, 190518593 edges, 77023 markings/sec, 1310 secs
lola: 90604250 markings, 191208856 edges, 75786 markings/sec, 1315 secs
lola: 90975900 markings, 191883087 edges, 74330 markings/sec, 1320 secs
lola: 91362175 markings, 192533401 edges, 77255 markings/sec, 1325 secs
lola: 91719982 markings, 193192964 edges, 71561 markings/sec, 1330 secs
lola: 92067877 markings, 193835901 edges, 69579 markings/sec, 1335 secs
lola: 92434821 markings, 194450868 edges, 73389 markings/sec, 1340 secs
lola: 92775086 markings, 195082138 edges, 68053 markings/sec, 1345 secs
lola: 93099840 markings, 195633683 edges, 64951 markings/sec, 1350 secs
lola: 93388139 markings, 196187184 edges, 57660 markings/sec, 1355 secs
lola: 93694703 markings, 196709635 edges, 61313 markings/sec, 1360 secs
lola: 94001341 markings, 197276906 edges, 61328 markings/sec, 1365 secs
lola: 94038601 markings, 198371482 edges, 7452 markings/sec, 1370 secs
lola: 94171330 markings, 199240801 edges, 26546 markings/sec, 1375 secs
lola: 94540505 markings, 200027831 edges, 73835 markings/sec, 1380 secs
lola: 94897014 markings, 200786437 edges, 71302 markings/sec, 1385 secs
lola: 95234116 markings, 201542654 edges, 67420 markings/sec, 1390 secs
lola: 95554235 markings, 202275008 edges, 64024 markings/sec, 1395 secs
lola: 95845284 markings, 203005299 edges, 58210 markings/sec, 1400 secs
lola: 96124692 markings, 203761476 edges, 55882 markings/sec, 1405 secs
lola: 96531775 markings, 204493352 edges, 81417 markings/sec, 1410 secs
lola: 96901176 markings, 205164997 edges, 73880 markings/sec, 1415 secs
lola: 97260189 markings, 205773506 edges, 71803 markings/sec, 1420 secs
lola: 97595580 markings, 206397640 edges, 67078 markings/sec, 1425 secs
lola: 97946275 markings, 206988018 edges, 70139 markings/sec, 1430 secs
lola: 98317469 markings, 207668583 edges, 74239 markings/sec, 1435 secs
lola: 98683988 markings, 208339075 edges, 73304 markings/sec, 1440 secs
lola: 99030611 markings, 208924346 edges, 69325 markings/sec, 1445 secs
lola: 99344920 markings, 209516776 edges, 62862 markings/sec, 1450 secs
lola: 99676824 markings, 210077290 edges, 66381 markings/sec, 1455 secs
lola: 99984345 markings, 210661192 edges, 61504 markings/sec, 1460 secs
lola: 100317458 markings, 211223241 edges, 66623 markings/sec, 1465 secs
lola: 100613015 markings, 211787933 edges, 59111 markings/sec, 1470 secs
lola: 100923595 markings, 212317505 edges, 62116 markings/sec, 1475 secs
lola: 101221765 markings, 212827609 edges, 59634 markings/sec, 1480 secs
lola: 101527213 markings, 213408106 edges, 61090 markings/sec, 1485 secs
lola: 101860051 markings, 213970314 edges, 66568 markings/sec, 1490 secs
lola: 102097635 markings, 214705066 edges, 47517 markings/sec, 1495 secs
lola: 102132336 markings, 215724618 edges, 6940 markings/sec, 1500 secs
lola: 102332002 markings, 216535138 edges, 39933 markings/sec, 1505 secs
lola: 102679369 markings, 217283014 edges, 69473 markings/sec, 1510 secs
lola: 103019002 markings, 218010428 edges, 67927 markings/sec, 1515 secs
lola: 103342698 markings, 218727914 edges, 64739 markings/sec, 1520 secs
lola: 103646041 markings, 219434961 edges, 60669 markings/sec, 1525 secs
lola: 103927267 markings, 220134526 edges, 56245 markings/sec, 1530 secs
lola: 104189765 markings, 220869107 edges, 52500 markings/sec, 1535 secs
lola: 104589266 markings, 221591471 edges, 79900 markings/sec, 1540 secs
lola: 104986921 markings, 222283323 edges, 79531 markings/sec, 1545 secs
lola: 105379625 markings, 222965079 edges, 78541 markings/sec, 1550 secs
lola: 105758176 markings, 223654863 edges, 75710 markings/sec, 1555 secs
lola: 106129924 markings, 224334032 edges, 74350 markings/sec, 1560 secs
lola: 106499925 markings, 224988503 edges, 74000 markings/sec, 1565 secs
lola: 106871020 markings, 225633265 edges, 74219 markings/sec, 1570 secs
lola: 107222919 markings, 226283318 edges, 70380 markings/sec, 1575 secs
lola: 107579960 markings, 226900865 edges, 71408 markings/sec, 1580 secs
lola: 107930633 markings, 227530188 edges, 70135 markings/sec, 1585 secs
lola: 108263217 markings, 228151819 edges, 66517 markings/sec, 1590 secs
lola: 108609947 markings, 228735141 edges, 69346 markings/sec, 1595 secs
lola: 108933626 markings, 229342524 edges, 64736 markings/sec, 1600 secs
lola: 109273865 markings, 229916584 edges, 68048 markings/sec, 1605 secs
lola: 109594018 markings, 230518428 edges, 64031 markings/sec, 1610 secs
lola: 109929256 markings, 231085231 edges, 67048 markings/sec, 1615 secs
lola: 110182125 markings, 231786333 edges, 50574 markings/sec, 1620 secs
lola: 110216618 markings, 232799826 edges, 6899 markings/sec, 1625 secs
lola: 110385918 markings, 233619444 edges, 33860 markings/sec, 1630 secs
lola: 110739120 markings, 234354508 edges, 70640 markings/sec, 1635 secs
lola: 111072838 markings, 235083242 edges, 66744 markings/sec, 1640 secs
lola: 111397087 markings, 235802533 edges, 64850 markings/sec, 1645 secs
lola: 111702469 markings, 236496434 edges, 61076 markings/sec, 1650 secs
lola: 111983677 markings, 237197441 edges, 56242 markings/sec, 1655 secs
lola: 112224063 markings, 237929745 edges, 48077 markings/sec, 1660 secs
lola: 112635366 markings, 238612944 edges, 82261 markings/sec, 1665 secs
lola: 113024850 markings, 239320635 edges, 77897 markings/sec, 1670 secs
lola: 113409147 markings, 240017634 edges, 76859 markings/sec, 1675 secs
lola: 113784260 markings, 240703100 edges, 75023 markings/sec, 1680 secs
lola: 114154439 markings, 241364684 edges, 74036 markings/sec, 1685 secs
lola: 114535105 markings, 242016659 edges, 76133 markings/sec, 1690 secs
lola: 114891507 markings, 242674462 edges, 71280 markings/sec, 1695 secs
lola: 115236928 markings, 243314305 edges, 69084 markings/sec, 1700 secs
lola: 115605512 markings, 243931329 edges, 73717 markings/sec, 1705 secs
lola: 115945886 markings, 244562735 edges, 68075 markings/sec, 1710 secs
lola: 116300498 markings, 245160141 edges, 70922 markings/sec, 1715 secs
lola: 116637099 markings, 245786814 edges, 67320 markings/sec, 1720 secs
lola: 116964432 markings, 246392306 edges, 65467 markings/sec, 1725 secs
lola: 117310304 markings, 246981988 edges, 69174 markings/sec, 1730 secs
lola: 117625281 markings, 247575251 edges, 62995 markings/sec, 1735 secs
lola: 117964723 markings, 248149425 edges, 67888 markings/sec, 1740 secs
lola: 118262454 markings, 248745383 edges, 59546 markings/sec, 1745 secs
lola: 118297989 markings, 249789218 edges, 7107 markings/sec, 1750 secs
lola: 118411405 markings, 250629307 edges, 22683 markings/sec, 1755 secs
lola: 118731770 markings, 251308219 edges, 64073 markings/sec, 1760 secs
lola: 119034382 markings, 251950652 edges, 60522 markings/sec, 1765 secs
lola: 119324252 markings, 252586822 edges, 57974 markings/sec, 1770 secs
lola: 119622537 markings, 253250983 edges, 59657 markings/sec, 1775 secs
lola: 119920291 markings, 253953170 edges, 59551 markings/sec, 1780 secs
lola: 120189283 markings, 254656145 edges, 53798 markings/sec, 1785 secs
lola: 120496345 markings, 255401244 edges, 61412 markings/sec, 1790 secs
lola: 120896885 markings, 256124949 edges, 80108 markings/sec, 1795 secs
lola: 121296515 markings, 256822163 edges, 79926 markings/sec, 1800 secs
lola: 121688913 markings, 257513609 edges, 78480 markings/sec, 1805 secs
lola: 122070700 markings, 258207463 edges, 76357 markings/sec, 1810 secs
lola: 122441156 markings, 258884987 edges, 74091 markings/sec, 1815 secs
lola: 122803873 markings, 259550712 edges, 72543 markings/sec, 1820 secs
lola: 123154988 markings, 260199789 edges, 70223 markings/sec, 1825 secs
lola: 123500137 markings, 260821620 edges, 69030 markings/sec, 1830 secs
lola: 123823020 markings, 261387995 edges, 64577 markings/sec, 1835 secs
lola: 124119714 markings, 261952520 edges, 59339 markings/sec, 1840 secs
lola: 124442560 markings, 262501699 edges, 64569 markings/sec, 1845 secs
lola: 124771141 markings, 263116209 edges, 65716 markings/sec, 1850 secs
lola: 125101864 markings, 263703918 edges, 66145 markings/sec, 1855 secs
lola: 125440440 markings, 264306455 edges, 67715 markings/sec, 1860 secs
lola: 125709647 markings, 264994157 edges, 53841 markings/sec, 1865 secs
lola: 125743911 markings, 266001465 edges, 6853 markings/sec, 1870 secs
lola: 125944819 markings, 266818547 edges, 40182 markings/sec, 1875 secs
lola: 126302076 markings, 267585773 edges, 71451 markings/sec, 1880 secs
lola: 126645478 markings, 268335317 edges, 68680 markings/sec, 1885 secs
lola: 126966695 markings, 269071417 edges, 64243 markings/sec, 1890 secs
lola: 127261151 markings, 269786168 edges, 58891 markings/sec, 1895 secs
lola: 127513610 markings, 270523628 edges, 50492 markings/sec, 1900 secs
lola: 127903635 markings, 271229207 edges, 78005 markings/sec, 1905 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 4 unknown unknown 1 1 1 1 unknown unknown unknown 4 unknown 1 10 1
lola:
preliminary result: 1 4 unknown unknown 1 1 1 1 unknown unknown unknown 4 unknown 1 10 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 4 unknown unknown 1 1 1 1 unknown unknown unknown 4 unknown 1 10 1
lola: memory consumption: 9356864 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: 1 4 unknown unknown 1 1 1 1 unknown unknown unknown 4 unknown 1 10 1
lola: memory consumption: 9356864 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="PolyORBNT-COL-S05J30"
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 PolyORBNT-COL-S05J30, 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 r176-tajo-158987872000565"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S05J30.tgz
mv PolyORBNT-COL-S05J30 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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;