About the Execution of Irma.full for BART-PT-005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5742.310 | 1774412.00 | 1805156.00 | 529.90 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 211K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 531K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 84K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 221K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 61K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 149K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 87K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 260K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 646K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 69K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 184K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 34K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 66K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-full
Input is BART-PT-005, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-ebro-152646308100065
=====================================================================
--------------------
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 BART-PT-005-UpperBounds-00
FORMULA_NAME BART-PT-005-UpperBounds-01
FORMULA_NAME BART-PT-005-UpperBounds-02
FORMULA_NAME BART-PT-005-UpperBounds-03
FORMULA_NAME BART-PT-005-UpperBounds-04
FORMULA_NAME BART-PT-005-UpperBounds-05
FORMULA_NAME BART-PT-005-UpperBounds-06
FORMULA_NAME BART-PT-005-UpperBounds-07
FORMULA_NAME BART-PT-005-UpperBounds-08
FORMULA_NAME BART-PT-005-UpperBounds-09
FORMULA_NAME BART-PT-005-UpperBounds-10
FORMULA_NAME BART-PT-005-UpperBounds-11
FORMULA_NAME BART-PT-005-UpperBounds-12
FORMULA_NAME BART-PT-005-UpperBounds-13
FORMULA_NAME BART-PT-005-UpperBounds-14
FORMULA_NAME BART-PT-005-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526739459584
BK_STOP 1526741233996
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-005 as instance name.
Using BART as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'UpperBounds', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': True, 'Deadlock': False, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1327, 'Memory': 163, 'Tool': 'lola'}, {'Time': 31769, 'Memory': 585.82, 'Tool': 'itstools'}, {'Time': 75376, 'Memory': 2397.65, 'Tool': 'marcie'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
UpperBounds lola BART-PT-005...
Time: 3600 - MCC
----- Start make prepare stderr -----
----- Start make prepare stdout -----
===========================================================================================
BART-PT-005: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
BART-PT-005: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
UpperBounds @ BART-PT-005 @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1880/65536 symbol table entries, 9 collisions
lola: preprocessing...
lola: finding significant places
lola: 870 places, 1010 transitions, 655 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 727 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-005-UpperBounds.task
lola: MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1) : MAX(TrainState_2_4_33 + TrainState_2_4_32 + TrainState_2_4_31 + TrainState_2_4_30 + TrainState_2_4_29 + TrainState_2_4_28 + TrainState_2_4_27 + TrainState_2_4_26 + TrainState_2_4_25 + TrainState_2_4_24 + TrainState_2_4_23 + TrainState_2_4_22 + TrainState_3_3_7 + TrainState_3_3_8 + TrainState_3_3_9 + TrainState_2_4_21 + TrainState_2_4_20 + TrainState_2_4_19 + TrainState_2_4_18 + TrainState_2_4_17 + TrainState_2_4_16 + TrainState_2_4_15 + TrainState_2_4_14 + TrainState_2_4_13 + TrainState_2_4_12 + TrainState_2_4_11 + TrainState_1_2_38 + TrainState_1_2_37 + TrainState_1_2_36 + TrainState_1_2_35 + TrainState_1_2_34 + TrainState_1_0_0 + TrainState_1_2_33 + TrainState_4_2_10 + TrainState_4_2_11 + TrainState_4_2_12 + TrainState_4_2_13 + TrainState_4_2_14 + TrainState_4_2_15 + TrainState_4_2_16 + TrainState_4_2_17 + TrainState_4_2_18 + TrainState_4_2_19 + TrainState_4_2_20 + TrainState_4_2_21 + TrainState_4_2_22 + TrainState_4_2_23 + TrainState_4_2_24 + TrainState_4_2_25 + TrainState_4_2_26 + TrainState_4_2_27 + TrainState_4_2_28 + TrainState_4_2_29 + TrainState_4_2_30 + TrainState_4_2_31 + TrainState_4_2_32 + TrainState_4_2_33 + TrainState_4_2_34 + TrainState_4_2_35 + TrainState_4_2_36 + TrainState_4_2_37 + TrainState_4_2_38 + TrainState_4_2_39 + TrainState_1_2_32 + TrainState_5_4_11 + TrainState_5_4_12 + TrainState_5_4_13 + TrainState_5_4_14 + TrainState_5_4_15 + TrainState_5_4_16 + TrainState_5_4_17 + TrainState_5_4_18 + TrainState_5_4_19 + TrainState_5_4_20 + TrainState_5_4_21 + TrainState_5_4_22 + TrainState_5_4_23 + TrainState_5_4_24 + TrainState_5_4_25 + TrainState_5_4_26 + TrainState_5_4_27 + TrainState_5_4_28 + TrainState_5_4_29 + TrainState_5_4_30 + TrainState_5_4_31 + TrainState_5_4_32 + TrainState_5_4_33 + TrainState_5_4_34 + TrainState_1_2_31 + TrainState_1_2_30 + TrainState_1_2_29 + TrainState_1_2_28 + TrainState_1_2_27 + TrainState_1_2_26 + TrainState_1_1_10 + TrainState_1_1_11 + TrainState_1_1_12 + TrainState_1_1_13 + TrainState_1_1_14 + TrainState_1_1_15 + TrainState_1_1_16 + TrainState_1_1_17 + TrainState_1_1_18 + TrainState_1_1_19 + TrainState_1_1_20 + TrainState_1_1_21 + TrainState_1_1_22 + TrainState_1_1_23 + TrainState_1_1_24 + TrainState_1_1_25 + TrainState_1_1_26 + TrainState_1_1_27 + TrainState_1_1_28 + TrainState_1_1_29 + TrainState_1_1_30 + TrainState_1_1_31 + TrainState_1_1_32 + TrainState_1_1_33 + TrainState_1_1_34 + TrainState_1_1_35 + TrainState_1_1_36 + TrainState_1_1_37 + TrainState_1_1_38 + TrainState_1_1_39 + TrainState_1_1_40 + TrainState_1_2_25 + TrainState_2_3_10 + TrainState_2_3_11 + TrainState_2_3_12 + TrainState_2_3_13 + TrainState_2_3_14 + TrainState_2_3_15 + TrainState_2_3_16 + TrainState_2_3_17 + TrainState_2_3_18 + TrainState_2_3_19 + TrainState_1_1_1 + TrainState_1_1_2 + TrainState_1_1_3 + TrainState_1_1_4 + TrainState_1_1_5 + TrainState_1_1_6 + TrainState_1_1_7 + TrainState_1_1_8 + TrainState_1_1_9 + TrainState_2_3_20 + TrainState_2_3_21 + TrainState_2_3_22 + TrainState_2_3_23 + TrainState_2_3_24 + TrainState_2_3_25 + TrainState_2_3_26 + TrainState_2_3_27 + TrainState_2_3_28 + TrainState_2_3_29 + TrainState_2_3_30 + TrainState_2_3_31 + TrainState_2_3_32 + TrainState_2_3_33 + TrainState_2_3_34 + TrainState_2_3_35 + TrainState_2_3_36 + TrainState_2_3_37 + TrainState_1_2_24 + TrainState_1_2_23 + TrainState_1_2_22 + TrainState_1_2_21 + TrainState_1_2_20 + TrainState_1_2_19 + TrainState_1_2_18 + TrainState_1_2_17 + TrainState_1_2_16 + TrainState_4_0_0 + TrainState_1_2_4 + TrainState_1_2_5 + TrainState_1_2_6 + TrainState_1_2_7 + TrainState_1_2_8 + TrainState_1_2_9 + TrainState_1_2_15 + TrainState_1_2_14 + TrainState_1_2_13 + TrainState_1_2_12 + TrainState_1_2_11 + TrainState_1_2_10 + TrainState_3_2_8 + TrainState_3_2_7 + TrainState_3_2_6 + TrainState_3_2_5 + TrainState_3_2_4 + TrainState_4_3_36 + TrainState_4_1_1 + TrainState_4_1_2 + TrainState_4_1_3 + TrainState_4_1_4 + TrainState_4_1_5 + TrainState_4_1_6 + TrainState_4_1_7 + TrainState_4_1_8 + TrainState_4_1_9 + TrainState_4_3_35 + TrainState_1_3_7 + TrainState_1_3_8 + TrainState_1_3_9 + TrainState_4_3_34 + TrainState_4_1_10 + TrainState_4_1_11 + TrainState_4_1_12 + TrainState_4_1_13 + TrainState_4_1_14 + TrainState_4_1_15 + TrainState_4_1_16 + TrainState_4_1_17 + TrainState_4_1_18 + TrainState_4_1_19 + TrainState_4_3_33 + TrainState_4_1_20 + TrainState_4_1_21 + TrainState_4_1_22 + TrainState_4_1_23 + TrainState_4_1_24 + TrainState_4_1_25 + TrainState_4_1_26 + TrainState_4_1_27 + TrainState_4_1_28 + TrainState_4_1_29 + TrainState_4_1_30 + TrainState_4_1_31 + TrainState_4_1_32 + TrainState_4_1_33 + TrainState_4_1_34 + TrainState_4_1_35 + TrainState_4_1_36 + TrainState_4_1_37 + TrainState_4_1_38 + TrainState_4_1_39 + TrainState_4_1_40 + TrainState_5_3_10 + TrainState_5_3_11 + TrainState_5_3_12 + TrainState_5_3_13 + TrainState_5_3_14 + TrainState_5_3_15 + TrainState_5_3_16 + TrainState_5_3_17 + TrainState_5_3_18 + TrainState_5_3_19 + TrainState_5_3_20 + TrainState_5_3_21 + TrainState_5_3_22 + TrainState_5_3_23 + TrainState_5_3_24 + TrainState_5_3_25 + TrainState_5_3_26 + TrainState_5_3_27 + TrainState_5_3_28 + TrainState_5_3_29 + TrainState_5_3_30 + TrainState_5_3_31 + TrainState_5_3_32 + TrainState_5_3_33 + TrainState_5_3_34 + TrainState_5_3_35 + TrainState_5_3_36 + TrainState_5_3_37 + TrainState_4_3_32 + TrainState_4_3_31 + TrainState_4_3_30 + TrainState_4_3_29 + TrainState_4_3_28 + TrainState_4_3_27 + TrainState_4_3_26 + TrainState_4_2_4 + TrainState_4_2_5 + TrainState_4_2_6 + TrainState_4_2_7 + TrainState_4_2_8 + TrainState_4_2_9 + TrainState_4_3_25 + TrainState_4_3_24 + TrainState_2_2_10 + TrainState_2_2_11 + TrainState_2_2_12 + TrainState_2_2_13 + TrainState_2_2_14 + TrainState_2_2_15 + TrainState_2_2_16 + TrainState_2_2_17 + TrainState_2_2_18 + TrainState_2_2_19 + TrainState_2_2_20 + TrainState_2_2_21 + TrainState_2_2_22 + TrainState_2_2_23 + TrainState_2_2_24 + TrainState_2_2_25 + TrainState_2_2_26 + TrainState_2_2_27 + TrainState_2_2_28 + TrainState_2_2_29 + TrainState_2_2_30 + TrainState_2_2_31 + TrainState_2_2_32 + TrainState_2_2_33 + TrainState_2_2_34 + TrainState_2_2_35 + TrainState_2_2_36 + TrainState_2_2_37 + TrainState_2_2_38 + TrainState_2_2_39 + TrainState_4_3_23 + TrainState_4_3_22 + TrainState_4_3_21 + TrainState_4_3_20 + TrainState_4_3_19 + TrainState_4_3_18 + TrainState_4_3_17 + TrainState_4_3_16 + TrainState_4_3_15 + TrainState_4_3_14 + TrainState_4_3_13 + TrainState_4_3_12 + TrainState_4_3_11 + TrainState_4_3_10 + TrainState_3_1_40 + TrainState_3_1_39 + TrainState_3_1_38 + TrainState_3_1_37 + TrainState_3_1_36 + TrainState_3_1_35 + TrainState_3_1_34 + TrainState_3_1_33 + TrainState_3_1_32 + TrainState_3_1_31 + TrainState_3_1_30 + TrainState_3_1_29 + TrainState_3_1_28 + TrainState_3_1_27 + TrainState_3_1_26 + TrainState_3_1_25 + TrainState_3_1_24 + TrainState_3_4_11 + TrainState_3_1_23 + TrainState_3_4_12 + TrainState_3_4_13 + TrainState_3_4_14 + TrainState_3_4_15 + TrainState_3_4_16 + TrainState_3_4_17 + TrainState_3_4_18 + TrainState_3_4_19 + TrainState_3_4_20 + TrainState_3_4_21 + TrainState_3_4_22 + TrainState_3_4_23 + TrainState_3_4_24 + TrainState_3_4_25 + TrainState_3_4_26 + TrainState_3_4_27 + TrainState_3_4_28 + TrainState_3_4_29 + TrainState_3_4_30 + TrainState_3_4_31 + TrainState_3_4_32 + TrainState_3_4_33 + TrainState_3_4_34 + TrainState_3_1_22 + TrainState_3_1_21 + TrainState_3_1_20 + TrainState_3_1_19 + TrainState_3_1_18 + TrainState_3_1_17 + TrainState_3_1_16 + TrainState_4_3_7 + TrainState_4_3_8 + TrainState_4_3_9 + TrainState_3_1_15 + TrainState_3_1_14 + TrainState_3_1_13 + TrainState_3_1_12 + TrainState_3_1_11 + TrainState_3_1_10 + TrainState_3_1_9 + TrainState_3_1_8 + TrainState_3_1_7 + TrainState_3_1_6 + TrainState_3_1_5 + TrainState_3_1_4 + TrainState_3_1_3 + TrainState_3_1_2 + TrainState_3_1_1 + TrainState_2_0_0 + TrainState_3_0_0 + TrainState_1_3_37 + TrainState_5_2_10 + TrainState_5_2_11 + TrainState_5_2_12 + TrainState_5_2_13 + TrainState_5_2_14 + TrainState_5_2_15 + TrainState_5_2_16 + TrainState_5_2_17 + TrainState_5_2_18 + TrainState_5_2_19 + TrainState_5_2_20 + TrainState_5_2_21 + TrainState_5_2_22 + TrainState_5_2_23 + TrainState_5_2_24 + TrainState_5_2_25 + TrainState_5_2_26 + TrainState_5_2_27 + TrainState_5_2_28 + TrainState_5_2_29 + TrainState_5_2_30 + TrainState_5_2_31 + TrainState_5_2_32 + TrainState_5_2_33 + TrainState_5_2_34 + TrainState_5_2_35 + TrainState_5_2_36 + TrainState_5_2_37 + TrainState_5_2_38 + TrainState_5_2_39 + TrainState_1_3_36 + TrainState_1_3_35 + TrainState_1_3_34 + TrainState_1_3_33 + TrainState_1_3_32 + TrainState_1_3_31 + TrainState_1_3_30 + TrainState_2_1_10 + TrainState_2_1_11 + TrainState_2_1_12 + TrainState_2_1_13 + TrainState_2_1_14 + TrainState_2_1_15 + TrainState_2_1_16 + TrainState_2_1_17 + TrainState_2_1_18 + TrainState_2_1_19 + TrainState_2_1_20 + TrainState_2_1_21 + TrainState_2_1_22 + TrainState_2_1_23 + TrainState_2_1_24 + TrainState_2_1_25 + TrainState_2_1_26 + TrainState_2_1_27 + TrainState_2_1_28 + TrainState_2_1_29 + TrainState_2_1_30 + TrainState_2_1_31 + TrainState_2_1_32 + TrainState_2_1_33 + TrainState_2_1_34 + TrainState_2_1_35 + TrainState_2_1_36 + TrainState_2_1_37 + TrainState_2_1_38 + TrainState_2_1_39 + TrainState_2_1_1 + TrainState_2_1_2 + TrainState_2_1_3 + TrainState_2_1_4 + TrainState_2_1_5 + TrainState_2_1_6 + TrainState_2_1_7 + TrainState_2_1_8 + TrainState_2_1_9 + TrainState_2_1_40 + TrainState_1_3_29 + TrainState_3_3_10 + TrainState_3_3_11 + TrainState_3_3_12 + TrainState_3_3_13 + TrainState_3_3_14 + TrainState_3_3_15 + TrainState_3_3_16 + TrainState_3_3_17 + TrainState_3_3_18 + TrainState_3_3_19 + TrainState_3_3_20 + TrainState_3_3_21 + TrainState_3_3_22 + TrainState_3_3_23 + TrainState_3_3_24 + TrainState_3_3_25 + TrainState_3_3_26 + TrainState_3_3_27 + TrainState_3_3_28 + TrainState_3_3_29 + TrainState_3_3_30 + TrainState_3_3_31 + TrainState_3_3_32 + TrainState_3_3_33 + TrainState_3_3_34 + TrainState_3_3_35 + TrainState_3_3_36 + TrainState_3_3_37 + TrainState_1_3_28 + TrainState_1_3_27 + TrainState_1_3_26 + TrainState_1_3_25 + TrainState_1_3_24 + TrainState_1_3_23 + TrainState_1_3_22 + TrainState_5_0_0 + TrainState_1_3_21 + TrainState_2_2_4 + TrainState_2_2_5 + TrainState_2_2_6 + TrainState_2_2_7 + TrainState_2_2_8 + TrainState_2_2_9 + TrainState_1_4_11 + TrainState_1_4_12 + TrainState_1_4_13 + TrainState_1_4_14 + TrainState_1_4_15 + TrainState_1_4_16 + TrainState_1_4_17 + TrainState_1_4_18 + TrainState_1_4_19 + TrainState_1_4_20 + TrainState_1_4_21 + TrainState_1_4_22 + TrainState_1_4_23 + TrainState_1_4_24 + TrainState_1_4_25 + TrainState_1_4_26 + TrainState_1_4_27 + TrainState_1_4_28 + TrainState_1_4_29 + TrainState_1_4_30 + TrainState_1_4_31 + TrainState_1_4_32 + TrainState_1_4_33 + TrainState_1_4_34 + TrainState_1_3_20 + TrainState_1_3_19 + TrainState_1_3_18 + TrainState_1_3_17 + TrainState_1_3_16 + TrainState_1_3_15 + TrainState_1_3_14 + TrainState_1_3_13 + TrainState_1_3_12 + TrainState_1_3_11 + TrainState_5_1_1 + TrainState_5_1_2 + TrainState_5_1_3 + TrainState_5_1_4 + TrainState_5_1_5 + TrainState_5_1_6 + TrainState_5_1_7 + TrainState_5_1_8 + TrainState_5_1_9 + TrainState_1_3_10 + TrainState_5_3_8 + TrainState_2_3_7 + TrainState_2_3_8 + TrainState_2_3_9 + TrainState_5_3_7 + TrainState_4_4_34 + TrainState_4_4_33 + TrainState_5_1_10 + TrainState_5_1_11 + TrainState_5_1_12 + TrainState_5_1_13 + TrainState_5_1_14 + TrainState_5_1_15 + TrainState_5_1_16 + TrainState_5_1_17 + TrainState_5_1_18 + TrainState_5_1_19 + TrainState_4_4_32 + TrainState_5_1_20 + TrainState_5_1_21 + TrainState_5_1_22 + TrainState_5_1_23 + TrainState_5_1_24 + TrainState_5_1_25 + TrainState_5_1_26 + TrainState_5_1_27 + TrainState_5_1_28 + TrainState_5_1_29 + TrainState_5_1_30 + TrainState_5_1_31 + TrainState_5_1_32 + TrainState_5_1_33 + TrainState_5_1_34 + TrainState_5_1_35 + TrainState_5_1_36 + TrainState_5_1_37 + TrainState_5_1_38 + TrainState_5_1_39 + TrainState_5_1_40 + TrainState_4_4_31 + TrainState_4_4_30 + TrainState_4_4_29 + TrainState_4_4_28 + TrainState_4_4_27 + TrainState_4_4_26 + TrainState_5_2_4 + TrainState_5_2_5 + TrainState_5_2_6 + TrainState_5_2_7 + TrainState_5_2_8 + TrainState_5_2_9 + TrainState_4_4_25 + TrainState_4_4_24 + TrainState_4_4_23 + TrainState_4_4_22 + TrainState_3_2_10 + TrainState_3_2_11 + TrainState_3_2_12 + TrainState_3_2_13 + TrainState_3_2_14 + TrainState_3_2_15 + TrainState_3_2_16 + TrainState_3_2_17 + TrainState_3_2_18 + TrainState_3_2_19 + TrainState_3_2_20 + TrainState_3_2_21 + TrainState_3_2_22 + TrainState_3_2_23 + TrainState_3_2_24 + TrainState_3_2_25 + TrainState_3_2_26 + TrainState_3_2_27 + TrainState_3_2_28 + TrainState_3_2_29 + TrainState_3_2_30 + TrainState_3_2_31 + TrainState_3_2_32 + TrainState_3_2_33 + TrainState_3_2_34 + TrainState_3_2_35 + TrainState_3_2_36 + TrainState_3_2_37 + TrainState_3_2_38 + TrainState_3_2_39 + TrainState_4_4_21 + TrainState_4_4_11 + TrainState_4_4_12 + TrainState_4_4_13 + TrainState_4_4_14 + TrainState_4_4_15 + TrainState_4_4_16 + TrainState_4_4_17 + TrainState_4_4_18 + TrainState_4_4_19 + TrainState_4_4_20 + TrainState_5_3_9 + TrainState_4_3_37 + TrainState_3_2_9 + TrainState_1_2_39 + TrainState_2_4_34) : MAX(NewDistTable_29_3_26 + NewDistTable_28_1_27 + NewDistTable_37_4_33 + NewDistTable_14_4_10 + NewDistTable_36_2_34 + NewDistTable_13_2_11 + NewDistTable_22_5_17 + NewDistTable_21_3_18 + NewDistTable_4_3_1 + NewDistTable_20_1_19 + NewDistTable_7_1_6 + NewDistTable_17_5_12 + NewDistTable_39_3_36 + NewDistTable_16_3_13 + NewDistTable_7_2_5 + NewDistTable_33_1_32 + NewDistTable_12_3_9 + NewDistTable_34_3_31 + NewDistTable_38_1_37 + NewDistTable_15_1_14 + NewDistTable_26_2_24 + NewDistTable_24_4_20 + NewDistTable_23_2_21 + NewDistTable_32_5_27 + NewDistTable_14_5_9 + NewDistTable_4_2_2 + NewDistTable_31_3_28 + NewDistTable_19_4_15 + NewDistTable_30_1_29 + NewDistTable_9_4_5 + NewDistTable_18_2_16 + NewDistTable_27_5_22 + NewDistTable_26_3_23 + NewDistTable_25_1_24 + NewDistTable_34_4_30 + NewDistTable_33_2_31 + NewDistTable_4_1_3 + NewDistTable_29_4_25 + NewDistTable_40_1_39 + NewDistTable_9_3_6 + NewDistTable_28_2_26 + NewDistTable_36_3_33 + NewDistTable_13_3_10 + NewDistTable_11_5_6 + NewDistTable_35_1_34 + NewDistTable_12_1_11 + NewDistTable_21_4_17 + NewDistTable_20_2_18 + NewDistTable_9_2_7 + NewDistTable_27_4_23 + NewDistTable_18_1_17 + NewDistTable_19_3_16 + NewDistTable_7_3_4 + NewDistTable_31_2_29 + NewDistTable_32_4_28 + NewDistTable_23_1_22 + NewDistTable_2_1_1 + NewDistTable_12_4_8 + NewDistTable_24_3_21 + NewDistTable_16_4_12 + NewDistTable_25_5_20 + NewDistTable_16_2_14 + NewDistTable_39_2_37 + NewDistTable_17_4_13 + NewDistTable_7_4_3 + NewDistTable_30_5_25 + NewDistTable_21_2_19 + NewDistTable_2_2_0 + NewDistTable_12_5_7 + NewDistTable_22_4_18 + NewDistTable_13_1_12 + NewDistTable_36_1_35 + NewDistTable_14_3_11 + NewDistTable_10_1_9 + NewDistTable_38_2_36 + NewDistTable_15_2_13 + NewDistTable_24_5_19 + NewDistTable_11_4_7 + NewDistTable_23_3_20 + NewDistTable_22_1_21 + NewDistTable_31_4_27 + NewDistTable_6_3_3 + NewDistTable_19_5_14 + NewDistTable_37_3_34 + NewDistTable_30_2_28 + NewDistTable_9_1_8 + NewDistTable_18_3_15 + NewDistTable_17_1_16 + NewDistTable_26_4_22 + NewDistTable_25_2_23 + NewDistTable_34_5_29 + NewDistTable_11_3_8 + NewDistTable_33_3_30 + NewDistTable_32_1_31 + NewDistTable_15_5_10 + NewDistTable_6_2_4 + NewDistTable_29_5_24 + NewDistTable_40_2_38 + NewDistTable_29_2_27 + NewDistTable_28_3_25 + NewDistTable_27_1_26 + NewDistTable_36_4_32 + NewDistTable_11_2_9 + NewDistTable_35_2_33 + NewDistTable_12_2_10 + NewDistTable_21_5_16 + NewDistTable_20_3_17 + NewDistTable_6_1_5 + NewDistTable_16_5_11 + NewDistTable_38_3_35 + NewDistTable_15_3_12 + NewDistTable_37_1_36 + NewDistTable_5_1_4 + NewDistTable_20_5_15 + NewDistTable_34_2_32 + NewDistTable_35_4_31 + NewDistTable_26_1_25 + NewDistTable_10_2_8 + NewDistTable_14_1_13 + NewDistTable_23_4_19 + NewDistTable_22_2_20 + NewDistTable_13_5_8 + NewDistTable_3_2_1 + NewDistTable_31_5_26 + NewDistTable_30_3_27 + NewDistTable_18_4_14 + NewDistTable_8_4_4 + NewDistTable_17_2_15 + NewDistTable_26_5_21 + NewDistTable_25_3_22 + NewDistTable_24_1_23 + NewDistTable_33_4_29 + NewDistTable_13_4_9 + NewDistTable_3_1_2 + NewDistTable_32_2_30 + NewDistTable_8_3_5 + NewDistTable_19_1_18 + NewDistTable_28_4_24 + NewDistTable_27_2_25 + NewDistTable_35_3_32 + NewDistTa
ble_34_1_33 + NewDistTable_11_1_10 + NewDistTable_20_4_16 + NewDistTable_8_2_6 + NewDistTable_29_1_28 + NewDistTable_15_4_11 + NewDistTable_37_2_35 + NewDistTable_14_2_12 + NewDistTable_10_4_6 + NewDistTable_23_5_18 + NewDistTable_27_3_24 + NewDistTable_22_3_19 + NewDistTable_21_1_20 + NewDistTable_30_4_26 + NewDistTable_5_3_2 + NewDistTable_8_1_7 + NewDistTable_18_5_13 + NewDistTable_17_3_14 + NewDistTable_39_1_38 + NewDistTable_16_1_15 + NewDistTable_25_4_21 + NewDistTable_10_3_7 + NewDistTable_24_2_22 + NewDistTable_33_5_28 + NewDistTable_32_3_29 + NewDistTable_5_2_3 + NewDistTable_31_1_30 + NewDistTable_28_5_23 + NewDistTable_19_2_17) : MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1) : MAX(TrainState_2_4_33 + TrainState_2_4_32 + TrainState_2_4_31 + TrainState_2_4_30 + TrainState_2_4_29 + TrainState_2_4_28 + TrainState_2_4_27 + TrainState_2_4_26 + TrainState_2_4_25 + TrainState_2_4_24 + TrainState_2_4_23 + TrainState_2_4_22 + TrainState_3_3_7 + TrainState_3_3_8 + TrainState_3_3_9 + TrainState_2_4_21 + TrainState_2_4_20 + TrainState_2_4_19 + TrainState_2_4_18 + TrainState_2_4_17 + TrainState_2_4_16 + TrainState_2_4_15 + TrainState_2_4_14 + TrainState_2_4_13 + TrainState_2_4_12 + TrainState_2_4_11 + TrainState_1_2_38 + TrainState_1_2_37 + TrainState_1_2_36 + TrainState_1_2_35 + TrainState_1_2_34 + TrainState_1_0_0 + TrainState_1_2_33 + TrainState_4_2_10 + TrainState_4_2_11 + TrainState_4_2_12 + TrainState_4_2_13 + TrainState_4_2_14 + TrainState_4_2_15 + TrainState_4_2_16 + TrainState_4_2_17 + TrainState_4_2_18 + TrainState_4_2_19 + TrainState_4_2_20 + TrainState_4_2_21 + TrainState_4_2_22 + TrainState_4_2_23 + TrainState_4_2_24 + TrainState_4_2_25 + TrainState_4_2_26 + TrainState_4_2_27 + TrainState_4_2_28 + TrainState_4_2_29 + TrainState_4_2_30 + TrainState_4_2_31 + TrainState_4_2_32 + TrainState_4_2_33 + TrainState_4_2_34 + TrainState_4_2_35 + TrainState_4_2_36 + TrainState_4_2_37 + TrainState_4_2_38 + TrainState_4_2_39 + TrainState_1_2_32 + TrainState_5_4_11 + TrainState_5_4_12 + TrainState_5_4_13 + TrainState_5_4_14 + TrainState_5_4_15 + TrainState_5_4_16 + TrainState_5_4_17 + TrainState_5_4_18 + TrainState_5_4_19 + TrainState_5_4_20 + TrainState_5_4_21 + TrainState_5_4_22 + TrainState_5_4_23 + TrainState_5_4_24 + TrainState_5_4_25 + TrainState_5_4_26 + TrainState_5_4_27 + TrainState_5_4_28 + TrainState_5_4_29 + TrainState_5_4_30 + TrainState_5_4_31 + TrainState_5_4_32 + TrainState_5_4_33 + TrainState_5_4_34 + TrainState_1_2_31 + TrainState_1_2_30 + TrainState_1_2_29 + TrainState_1_2_28 + TrainState_1_2_27 + TrainState_1_2_26 + TrainState_1_1_10 + TrainState_1_1_11 + TrainState_1_1_12 + TrainState_1_1_13 + TrainState_1_1_14 + TrainState_1_1_15 + TrainState_1_1_16 + TrainState_1_1_17 + TrainState_1_1_18 + TrainState_1_1_19 + TrainState_1_1_20 + TrainState_1_1_21 + TrainState_1_1_22 + TrainState_1_1_23 + TrainState_1_1_24 + TrainState_1_1_25 + TrainState_1_1_26 + TrainState_1_1_27 + TrainState_1_1_28 + TrainState_1_1_29 + TrainState_1_1_30 + TrainState_1_1_31 + TrainState_1_1_32 + TrainState_1_1_33 + TrainState_1_1_34 + TrainState_1_1_35 + TrainState_1_1_36 + TrainState_1_1_37 + TrainState_1_1_38 + TrainState_1_1_39 + TrainState_1_1_40 + TrainState_1_2_25 + TrainState_2_3_10 + TrainState_2_3_11 + TrainState_2_3_12 + TrainState_2_3_13 + TrainState_2_3_14 + TrainState_2_3_15 + TrainState_2_3_16 + TrainState_2_3_17 + TrainState_2_3_18 + TrainState_2_3_19 + TrainState_1_1_1 + TrainState_1_1_2 + TrainState_1_1_3 + TrainState_1_1_4 + TrainState_1_1_5 + TrainState_1_1_6 + TrainState_1_1_7 + TrainState_1_1_8 + TrainState_1_1_9 + TrainState_2_3_20 + TrainState_2_3_21 + TrainState_2_3_22 + TrainState_2_3_23 + TrainState_2_3_24 + TrainState_2_3_25 + TrainState_2_3_26 + TrainState_2_3_27 + TrainState_2_3_28 + TrainState_2_3_29 + TrainState_2_3_30 + TrainState_2_3_31 + TrainState_2_3_32 + TrainState_2_3_33 + TrainState_2_3_34 + TrainState_2_3_35 + TrainState_2_3_36 + TrainState_2_3_37 + TrainState_1_2_24 + TrainState_1_2_23 + TrainState_1_2_22 + TrainState_1_2_21 + TrainState_1_2_20 + TrainState_1_2_19 + TrainState_1_2_18 + TrainState_1_2_17 + TrainState_1_2_16 + TrainState_4_0_0 + TrainState_1_2_4 + TrainState_1_2_5 + TrainState_1_2_6 + TrainState_1_2_7 + TrainState_1_2_8 + TrainState_1_2_9 + TrainState_1_2_15 + TrainState_1_2_14 + TrainState_1_2_13 + TrainState_1_2_12 + TrainState_1_2_11 + TrainState_1_2_10 + TrainState_3_2_8 + TrainState_3_2_7 + TrainState_3_2_6 + TrainState_3_2_5 + TrainState_3_2_4 + TrainState_4_3_36 + TrainState_4_1_1 + TrainState_4_1_2 + TrainState_4_1_3 + TrainState_4_1_4 + TrainState_4_1_5 + TrainState_4_1_6 + TrainState_4_1_7 + TrainState_4_1_8 + TrainState_4_1_9 + TrainState_4_3_35 + TrainState_1_3_7 + TrainState_1_3_8 + TrainState_1_3_9 + TrainState_4_3_34 + TrainState_4_1_10 + TrainState_4_1_11 + TrainState_4_1_12 + TrainState_4_1_13 + TrainState_4_1_14 + TrainState_4_1_15 + TrainState_4_1_16 + TrainState_4_1_17 + TrainState_4_1_18 + TrainState_4_1_19 + TrainState_4_3_33 + TrainState_4_1_20 + TrainState_4_1_21 + TrainState_4_1_22 + TrainState_4_1_23 + TrainState_4_1_24 + TrainState_4_1_25 + TrainState_4_1_26 + TrainState_4_1_27 + TrainState_4_1_28 + TrainState_4_1_29 + TrainState_4_1_30 + TrainState_4_1_31 + TrainState_4_1_32 + TrainState_4_1_33 + TrainState_4_1_34 + TrainState_4_1_35 + TrainState_4_1_36 + TrainState_4_1_37 + TrainState_4_1_38 + TrainState_4_1_39 + TrainState_4_1_40 + TrainState_5_3_10 + TrainState_5_3_11 + TrainState_5_3_12 + TrainState_5_3_13 + TrainState_5_3_14 + TrainState_5_3_15 + TrainState_5_3_16 + TrainState_5_3_17 + TrainState_5_3_18 + TrainState_5_3_19 + TrainState_5_3_20 + TrainState_5_3_21 + TrainState_5_3_22 + TrainState_5_3_23 + TrainState_5_3_24 + TrainState_5_3_25 + TrainState_5_3_26 + TrainState_5_3_27 + TrainState_5_3_28 + TrainState_5_3_29 + TrainState_5_3_30 + TrainState_5_3_31 + TrainState_5_3_32 + TrainState_5_3_33 + TrainState_5_3_34 + TrainState_5_3_35 + TrainState_5_3_36 + TrainState_5_3_37 + TrainState_4_3_32 + TrainState_4_3_31 + TrainState_4_3_30 + TrainState_4_3_29 + TrainState_4_3_28 + TrainState_4_3_27 + TrainState_4_3_26 + TrainState_4_2_4 + TrainState_4_2_5 + TrainState_4_2_6 + TrainState_4_2_7 + TrainState_4_2_8 + TrainState_4_2_9 + TrainState_4_3_25 + TrainState_4_3_24 + TrainState_2_2_10 + TrainState_2_2_11 + TrainState_2_2_12 + TrainState_2_2_13 + TrainState_2_2_14 + TrainState_2_2_15 + TrainState_2_2_16 + TrainState_2_2_17 + TrainState_2_2_18 + TrainState_2_2_19 + TrainState_2_2_20 + TrainState_2_2_21 + TrainState_2_2_22 + TrainState_2_2_23 + TrainState_2_2_24 + TrainState_2_2_25 + TrainState_2_2_26 + TrainState_2_2_27 + TrainState_2_2_28 + TrainState_2_2_29 + TrainState_2_2_30 + TrainState_2_2_31 + TrainState_2_2_32 + TrainState_2_2_33 + TrainState_2_2_34 + TrainState_2_2_35 + TrainState_2_2_36 + TrainState_2_2_37 + TrainState_2_2_38 + TrainState_2_2_39 + TrainState_4_3_23 + TrainState_4_3_22 + TrainState_4_3_21 + TrainState_4_3_20 + TrainState_4_3_19 + TrainState_4_3_18 + TrainState_4_3_17 + TrainState_4_3_16 + TrainState_4_3_15 + TrainState_4_3_14 + TrainState_4_3_13 + TrainState_4_3_12 + TrainState_4_3_11 + TrainState_4_3_10 + TrainState_3_1_40 + TrainState_3_1_39 + TrainState_3_1_38 + TrainState_3_1_37 + TrainState_3_1_36 + TrainState_3_1_35 + TrainState_3_1_34 + TrainState_3_1_33 + TrainState_3_1_32 + TrainState_3_1_31 + TrainState_3_1_30 + TrainState_3_1_29 + TrainState_3_1_28 + TrainState_3_1_27 + TrainState_3_1_26 + TrainState_3_1_25 + TrainState_3_1_24 + TrainState_3_4_11 + TrainState_3_1_23 + TrainState_3_4_12 + TrainState_3_4_13 + TrainState_3_4_14 + TrainState_3_4_15 + TrainState_3_4_16 + TrainState_3_4_17 + TrainState_3_4_18 + TrainState_3_4_19 + TrainState_3_4_20 + TrainState_3_4_21 + TrainState_3_4_22 + TrainState_3_4_23 + TrainState_3_4_24 + TrainState_3_4_25 + TrainState_3_4_26 + TrainState_3_4_27 + TrainState_3_4_28 + TrainState_3_4_29 + TrainState_3_4_30 + TrainState_3_4_31 + TrainState_3_4_32 + TrainState_3_4_33 + TrainState_3_4_34 + TrainState_3_1_22 + TrainState_3_1_21 + TrainState_3_1_20 + TrainState_3_1_19 + TrainState_3_1_18 + TrainState_3_1_17 + TrainState_3_1_16 + TrainState_4_3_7 + TrainState_4_3_8 + TrainState_4_3_9 + TrainState_3_1_15 + TrainState_3_1_14 + TrainState_3_1_13 + TrainState_3_1_12 + TrainState_3_1_11 + TrainState_3_1_10 + TrainState_3_1_9 + TrainState_3_1_8 + TrainState_3_1_7 + TrainState_3_1_6 + TrainState_3_1_5 + TrainState_3_1_4 + TrainState_3_1_3 + TrainState_3_1_2 + TrainState_3_1_1 + TrainState_2_0_0 + TrainState_3_0_0 + TrainState_1_3_37 + TrainState_5_2_10 + TrainState_5_2_11 + TrainState_5_2_12 + TrainState_5_2_13 + TrainState_5_2_14 + TrainState_5_2_15 + TrainState_5_2_16 + TrainState_5_2_17 + TrainState_5_2_18 + TrainState_5_2_19 + TrainState_5_2_20 + TrainState_5_2_21 + TrainState_5_2_22 + TrainState_5_2_23 + TrainState_5_2_24 + TrainState_5_2_25 + TrainState_5_2_26 + TrainState_5_2_27 + TrainState_5_2_28 + TrainState_5_2_29 + TrainState_5_2_30 + TrainState_5_2_31 + TrainState_5_2_32 + TrainState_5_2_33 + TrainState_5_2_34 + TrainState_5_2_35 + TrainState_5_2_36 + TrainState_5_2_37 + TrainState_5_2_38 + TrainState_5_2_39 + TrainState_1_3_36 + TrainState_1_3_35 + TrainState_1_3_34 + TrainState_1_3_33 + TrainState_1_3_32 + TrainState_1_3_31 + TrainState_1_3_30 + TrainState_2_1_10 + TrainState_2_1_11 + TrainState_2_1_12 + TrainState_2_1_13 + TrainState_2_1_14 + TrainState_2_1_15 + TrainState_2_1_16 + TrainState_2_1_17 + TrainState_2_1_18 + TrainState_2_1_19 + TrainState_2_1_20 + TrainState_2_1_21 + TrainState_2_1_22 + TrainState_2_1_23 + TrainState_2_1_24 + TrainState_2_1_25 + TrainState_2_1_26 + TrainState_2_1_27 + TrainState_2_1_28 + TrainState_2_1_29 + TrainState_2_1_30 + TrainState_2_1_31 + TrainState_2_1_32 + TrainState_2_1_33 + TrainState_2_1_34 + TrainState_2_1_35 + TrainState_2_1_36 + TrainState_2_1_37 + TrainState_2_1_38 + TrainState_2_1_39 + TrainState_2_1_1 + TrainState_2_1_2 + TrainState_2_1_3 + TrainState_2_1_4 + TrainState_2_1_5 + TrainState_2_1_6 + TrainState_2_1_7 + TrainState_2_1_8 + TrainState_2_1_9 + TrainState_2_1_40 + TrainState_1_3_29 + TrainState_3_3_10 + TrainState_3_3_11 + TrainState_3_3_12 + TrainState_3_3_13 + TrainState_3_3_14 + TrainState_3_3_15 + TrainState_3_3_16 + TrainState_3_3_17 + TrainState_3_3_18 + TrainState_3_3_19 + TrainState_3_3_20 + TrainState_3_3_21 + TrainState_3_3_22 + TrainState_3_3_23 + TrainState_3_3_24 + TrainState_3_3_25 + TrainState_3_3_26 + TrainState_3_3_27 + TrainState_3_3_28 + TrainState_3_3_29 + TrainState_3_3_30 + TrainState_3_3_31 + TrainState_3_3_32 + TrainState_3_3_33 + TrainState_3_3_34 + TrainState_3_3_35 + TrainState_3_3_36 + TrainState_3_3_37 + TrainState_1_3_28 + TrainState_1_3_27 + TrainState_1_3_26 + TrainState_1_3_25 + TrainState_1_3_24 + TrainState_1_3_23 + TrainState_1_3_22 + TrainState_5_0_0 + TrainState_1_3_21 + TrainState_2_2_4 + TrainState_2_2_5 + TrainState_2_2_6 + TrainState_2_2_7 + TrainState_2_2_8 + TrainState_2_2_9 + TrainState_1_4_11 + TrainState_1_4_12 + TrainState_1_4_13 + TrainState_1_4_14 + TrainState_1_4_15 + TrainState_1_4_16 + TrainState_1_4_17 + TrainState_1_4_18 + TrainState_1_4_19 + TrainState_1_4_20 + TrainState_1_4_21 + TrainState_1_4_22 + TrainState_1_4_23 + TrainState_1_4_24 + TrainState_1_4_25 + TrainState_1_4_26 + TrainState_1_4_27 + TrainState_1_4_28 + TrainState_1_4_29 + TrainState_1_4_30 + TrainState_1_4_31 + TrainState_1_4_32 + TrainState_1_4_33 + TrainState_1_4_34 + TrainState_1_3_20 + TrainState_1_3_19 + TrainState_1_3_18 + TrainState_1_3_17 + TrainState_1_3_16 + TrainState_1_3_15 + TrainState_1_3_14 + TrainState_1_3_13 + TrainState_1_3_12 + TrainState_1_3_11 + TrainState_5_1_1 + TrainState_5_1_2 + TrainState_5_1_3 + TrainState_5_1_4 + TrainState_5_1_5 + TrainState_5_1_6 + TrainState_5_1_7 + TrainState_5_1_8 + TrainState_5_1_9 + TrainState_1_3_10 + TrainState_5_3_8 + TrainState_2_3_7 + TrainState_2_3_8 + TrainState_2_3_9 + TrainState_5_3_7 + TrainState_4_4_34 + TrainState_4_4_33 + TrainState_5_1_10 + TrainState_5_1_11 + TrainState_5_1_12 + TrainState_5_1_13 + TrainState_5_1_14 + TrainState_5_1_15 + TrainState_5_1_16 + TrainState_5_1_17 + TrainState_5_1_18 + TrainState_5_1_19 + TrainState_4_4_32 + TrainState_5_1_20 + TrainState_5_1_21 + TrainState_5_1_22 + TrainState_5_1_23 + TrainState_5_1_24 + TrainState_5_1_25 + TrainState_5_1_26 + TrainState_5_1_27 + TrainState_5_1_28 + TrainState_5_1_29 + TrainState_5_1_30 + TrainState_5_1_31 + TrainState_5_1_32 + TrainState_5_1_33 + TrainState_5_1_34 + TrainState_5_1_35 + TrainState_5_1_36 + TrainState_5_1_37 + TrainState_5_1_38 + TrainState_5_1_39 + TrainState_5_1_40 + TrainState_4_4_31 + TrainState_4_4_30 + TrainState_4_4_29 + TrainState_4_4_28 + TrainState_4_4_27 + TrainState_4_4_26 + TrainState_5_2_4 + TrainState_5_2_5 + TrainState_5_2_6 + TrainState_5_2_7 + TrainState_5_2_8 + TrainState_5_2_9 + TrainState_4_4_25 + TrainState_4_4_24 + TrainState_4_4_23 + TrainState_4_4_22 + TrainState_3_2_10 + TrainState_3_2_11 + TrainState_3_2_12 + TrainState_3_2_13 + TrainState_3_2_14 + TrainState_3_2_15 + TrainState_3_2_16 + TrainState_3_2_17 + TrainState_3_2_18 + TrainState_3_2_19 + TrainState_3_2_20 + TrainState_3_2_21 + TrainState_3_2_22 + TrainState_3_2_23 + TrainState_3_2_24 + TrainState_3_2_25 + TrainState_3_2_26 + TrainState_3_2_27 + TrainState_3_2_28 + TrainState_3_2_29 + TrainState_3_2_30 + TrainState_3_2_31 + TrainState_3_2_32 + TrainState_3_2_33 + TrainState_3_2_34 + TrainState_3_2_35 + TrainState_3_2_36 + TrainState_3_2_37 + TrainState_3_2_38 + TrainState_3_2_39 + TrainState_4_4_21 + TrainState_4_4_11 + TrainState_4_4_12 + TrainState_4_4_13 + TrainState_4_4_14 + TrainState_4_4_15 + TrainState_4_4_16 + TrainState_4_4_17 + TrainState_4_4_18 + TrainState_4_4_19 + TrainState_4_4_20 + TrainState_5_3_9 + TrainState_4_3_37 + TrainState_3_2_9 + TrainState_1_2_39 + TrainState_2_4_34) : MAX(DistStation_40 + DistStation_39 + DistStation_38 + DistStation_37 + DistStation_36 + DistStation_35 + DistStation_34 + DistStation_33 + DistStation_32 + DistStation_31 + DistStation_30 + DistStation_29 + DistStation_28 + DistStation_27 + DistStation_26 + DistStation_25 + DistStation_24 + DistStation_23 + DistStation_22 + DistStation_21 + DistStation_20 + DistStation_19 + DistStation_18 + DistStation_17 + DistStation_16 + DistStation_15 + DistStation_14 + DistStation_13 + DistStation_12 + DistStation_11 + DistStation_10 + DistStation_9 + DistStation_8 + DistStation_7 + DistStation_6 + DistStation_5) : MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1) : MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1) : MAX(TrainState_4_2_23) : MAX(TrainState_5_4_25) : MAX(TrainState_3_3_14) : MAX(TrainState_3_2_33) : MAX(TrainState_2_3_24) : MAX(NewDistTable_12_3_9) : MAX(TrainState_4_1_38) : MAX(TrainState_2_2_4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TrainState_2_4_33 + TrainState_2_4_32 + TrainState_2_4_31 + TrainState_2_4_30 + TrainState_2_4_29 + TrainState_2_4_28 + TrainState_2_4_27 + TrainState_2_4_26 + TrainState_2_4_25 + TrainState_2_4_24 + TrainState_2_4_23 + TrainState_2_4_22 + TrainState_3_3_7 + TrainState_3_3_8 + TrainState_3_3_9 + TrainState_2_4_21 + TrainState_2_4_20 + TrainState_2_4_19 + TrainState_2_4_18 + TrainState_2_4_17 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NewDistTable_29_3_26 + NewDistTable_28_1_27 + NewDistTable_37_4_33 + NewDistTable_14_4_10 + NewDistTable_36_2_34 + NewDistTable_13_2_11 + NewDistTable_22_5_17 + NewDistTable_21_3_18 + NewDistTable_4_3_1 + NewDistTable_20_1_19 + NewDistTable_7_1_6 + NewDistTable_17_5_12 + NewDistTable_39_3_36 + NewDistTable_16_3_13 + NewDistTable_7_2_5 + NewDistTable_33_1_32 + NewDistTable_12_3_9 + NewDistTable... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 169
lola: produced by: state space
lola: The maximum value of the given expression is 169
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TrainState_2_4_33 + TrainState_2_4_32 + TrainState_2_4_31 + TrainState_2_4_30 + TrainState_2_4_29 + TrainState_2_4_28 + TrainState_2_4_27 + TrainState_2_4_26 + TrainState_2_4_25 + TrainState_2_4_24 + TrainState_2_4_23 + TrainState_2_4_22 + TrainState_3_3_7 + TrainState_3_3_8 + TrainState_3_3_9 + TrainState_2_4_21 + TrainState_2_4_20 + TrainState_2_4_19 + TrainState_2_4_18 + TrainState_2_4_17 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(DistStation_40 + DistStation_39 + DistStation_38 + DistStation_37 + DistStation_36 + DistStation_35 + DistStation_34 + DistStation_33 + DistStation_32 + DistStation_31 + DistStation_30 + DistStation_29 + DistStation_28 + DistStation_27 + DistStation_26 + DistStation_25 + DistStation_24 + DistStation_23 + DistStation_22 + DistStation_21 + DistStation_20 + DistStation_19 + DistStation_18 + DistS... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 36
lola: produced by: state space
lola: The maximum value of the given expression is 36
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StopTable_4_10 + StopTable_5_15 + StopTable_3_6 + StopTable_2_3 + StopTable_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TrainState_4_2_23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: 97569 markings, 112268 edges, 19514 markings/sec, 0 secs
lola: 194379 markings, 226934 edges, 19362 markings/sec, 5 secs
lola: 289527 markings, 341679 edges, 19030 markings/sec, 10 secs
lola: 383597 markings, 456540 edges, 18814 markings/sec, 15 secs
lola: 475115 markings, 569547 edges, 18304 markings/sec, 20 secs
lola: 568504 markings, 684980 edges, 18678 markings/sec, 25 secs
lola: 661627 markings, 801576 edges, 18625 markings/sec, 30 secs
lola: 753801 markings, 917846 edges, 18435 markings/sec, 35 secs
lola: 844736 markings, 1034678 edges, 18187 markings/sec, 40 secs
lola: 936964 markings, 1151662 edges, 18446 markings/sec, 45 secs
lola: 1029476 markings, 1268054 edges, 18502 markings/sec, 50 secs
lola: 1120345 markings, 1384513 edges, 18174 markings/sec, 55 secs
lola: 1211113 markings, 1500417 edges, 18154 markings/sec, 60 secs
lola: 1302834 markings, 1618209 edges, 18344 markings/sec, 65 secs
lola: 1394548 markings, 1736300 edges, 18343 markings/sec, 70 secs
lola: 1485682 markings, 1854208 edges, 18227 markings/sec, 75 secs
lola: 1576614 markings, 1973182 edges, 18186 markings/sec, 80 secs
lola: 1667493 markings, 2089382 edges, 18176 markings/sec, 85 secs
lola: 1756227 markings, 2205081 edges, 17747 markings/sec, 90 secs
lola: 1846357 markings, 2322132 edges, 18026 markings/sec, 95 secs
lola: 1935767 markings, 2438079 edges, 17882 markings/sec, 100 secs
lola: 2025221 markings, 2555650 edges, 17891 markings/sec, 105 secs
lola: 2113569 markings, 2671449 edges, 17670 markings/sec, 110 secs
lola: 2203344 markings, 2789191 edges, 17955 markings/sec, 115 secs
lola: 2290943 markings, 2905978 edges, 17520 markings/sec, 120 secs
lola: 2379569 markings, 3023801 edges, 17725 markings/sec, 125 secs
lola: 2468391 markings, 3141464 edges, 17764 markings/sec, 130 secs
lola: 2556635 markings, 3258044 edges, 17649 markings/sec, 135 secs
lola: 2644962 markings, 3375875 edges, 17665 markings/sec, 140 secs
lola: 2734228 markings, 3494241 edges, 17853 markings/sec, 145 secs
lola: 2823427 markings, 3611933 edges, 17840 markings/sec, 150 secs
lola: 2911546 markings, 3727210 edges, 17624 markings/sec, 155 secs
lola: 3000036 markings, 3845056 edges, 17698 markings/sec, 160 secs
lola: 3087873 markings, 3959726 edges, 17567 markings/sec, 165 secs
lola: 3175654 markings, 4078486 edges, 17556 markings/sec, 170 secs
lola: 3263871 markings, 4197632 edges, 17643 markings/sec, 175 secs
lola: 3351675 markings, 4316211 edges, 17561 markings/sec, 180 secs
lola: 3439336 markings, 4432687 edges, 17532 markings/sec, 185 secs
lola: 3525522 markings, 4548250 edges, 17237 markings/sec, 190 secs
lola: 3612497 markings, 4665721 edges, 17395 markings/sec, 195 secs
lola: 3699129 markings, 4783699 edges, 17326 markings/sec, 200 secs
lola: 3786195 markings, 4900091 edges, 17413 markings/sec, 205 secs
lola: 3873454 markings, 5018899 edges, 17452 markings/sec, 210 secs
lola: 3961144 markings, 5136182 edges, 17538 markings/sec, 215 secs
lola: 4048062 markings, 5253062 edges, 17384 markings/sec, 220 secs
lola: 4135372 markings, 5372271 edges, 17462 markings/sec, 225 secs
lola: 4221205 markings, 5490653 edges, 17167 markings/sec, 230 secs
lola: 4307449 markings, 5608321 edges, 17249 markings/sec, 235 secs
lola: 4393414 markings, 5725538 edges, 17193 markings/sec, 240 secs
lola: 4478529 markings, 5844373 edges, 17023 markings/sec, 245 secs
lola: 4564552 markings, 5963184 edges, 17205 markings/sec, 250 secs
lola: 4651714 markings, 6081285 edges, 17432 markings/sec, 255 secs
lola: 4738875 markings, 6202505 edges, 17432 markings/sec, 260 secs
lola: 4825505 markings, 6322220 edges, 17326 markings/sec, 265 secs
lola: 4911951 markings, 6440952 edges, 17289 markings/sec, 270 secs
lola: 4998454 markings, 6559670 edges, 17301 markings/sec, 275 secs
lola: 5084863 markings, 6679743 edges, 17282 markings/sec, 280 secs
lola: 5170985 markings, 6797923 edges, 17224 markings/sec, 285 secs
lola: 5257181 markings, 6916711 edges, 17239 markings/sec, 290 secs
lola: 5343033 markings, 7036145 edges, 17170 markings/sec, 295 secs
lola: 5427551 markings, 7152102 edges, 16904 markings/sec, 300 secs
lola: 5511558 markings, 7269484 edges, 16801 markings/sec, 305 secs
lola: 5596442 markings, 7386724 edges, 16977 markings/sec, 310 secs
lola: 5681463 markings, 7505248 edges, 17004 markings/sec, 315 secs
lola: 5767114 markings, 7624137 edges, 17130 markings/sec, 320 secs
lola: 5853422 markings, 7744468 edges, 17262 markings/sec, 325 secs
lola: 5939192 markings, 7864243 edges, 17154 markings/sec, 330 secs
lola: 6024402 markings, 7983745 edges, 17042 markings/sec, 335 secs
lola: 6109323 markings, 8103592 edges, 16984 markings/sec, 340 secs
lola: 6195075 markings, 8222658 edges, 17150 markings/sec, 345 secs
lola: 6280862 markings, 8343994 edges, 17157 markings/sec, 350 secs
lola: 6366875 markings, 8464114 edges, 17203 markings/sec, 355 secs
lola: 6452942 markings, 8583283 edges, 17213 markings/sec, 360 secs
lola: 6538121 markings, 8702217 edges, 17036 markings/sec, 365 secs
lola: 6624339 markings, 8824274 edges, 17244 markings/sec, 370 secs
lola: 6710632 markings, 8944823 edges, 17259 markings/sec, 375 secs
lola: 6796302 markings, 9063699 edges, 17134 markings/sec, 380 secs
lola: 6882022 markings, 9183899 edges, 17144 markings/sec, 385 secs
lola: 6966113 markings, 9303761 edges, 16818 markings/sec, 390 secs
lola: 7050566 markings, 9423033 edges, 16891 markings/sec, 395 secs
lola: 7135540 markings, 9545208 edges, 16995 markings/sec, 400 secs
lola: 7221032 markings, 9666633 edges, 17098 markings/sec, 405 secs
lola: 7306698 markings, 9787488 edges, 17133 markings/sec, 410 secs
lola: 7393268 markings, 9908832 edges, 17314 markings/sec, 415 secs
lola: 7477161 markings, 10028555 edges, 16779 markings/sec, 420 secs
lola: 7560614 markings, 10144288 edges, 16691 markings/sec, 425 secs
lola: 7645478 markings, 10262514 edges, 16973 markings/sec, 430 secs
lola: 7730985 markings, 10385160 edges, 17101 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TrainState_5_4_25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: 99188 markings, 112477 edges, 19838 markings/sec, 0 secs
lola: 196844 markings, 227253 edges, 19531 markings/sec, 5 secs
lola: 293245 markings, 342277 edges, 19280 markings/sec, 10 secs
lola: 388426 markings, 457678 edges, 19036 markings/sec, 15 secs
lola: 481270 markings, 570481 edges, 18569 markings/sec, 20 secs
lola: 574184 markings, 684836 edges, 18583 markings/sec, 25 secs
lola: 668350 markings, 799630 edges, 18833 markings/sec, 30 secs
lola: 762124 markings, 916479 edges, 18755 markings/sec, 35 secs
lola: 854326 markings, 1032885 edges, 18440 markings/sec, 40 secs
lola: 948240 markings, 1150004 edges, 18783 markings/sec, 45 secs
lola: 1042112 markings, 1267101 edges, 18774 markings/sec, 50 secs
lola: 1135519 markings, 1385450 edges, 18681 markings/sec, 55 secs
lola: 1229093 markings, 1503675 edges, 18715 markings/sec, 60 secs
lola: 1321922 markings, 1622164 edges, 18566 markings/sec, 65 secs
lola: 1414374 markings, 1740925 edges, 18490 markings/sec, 70 secs
lola: 1506774 markings, 1860460 edges, 18480 markings/sec, 75 secs
lola: 1599311 markings, 1978889 edges, 18507 markings/sec, 80 secs
lola: 1690813 markings, 2099057 edges, 18300 markings/sec, 85 secs
lola: 1782584 markings, 2217454 edges, 18354 markings/sec, 90 secs
lola: 1873901 markings, 2336315 edges, 18263 markings/sec, 95 secs
lola: 1964726 markings, 2456367 edges, 18165 markings/sec, 100 secs
lola: 2055595 markings, 2575912 edges, 18174 markings/sec, 105 secs
lola: 2146356 markings, 2696651 edges, 18152 markings/sec, 110 secs
lola: 2237211 markings, 2815350 edges, 18171 markings/sec, 115 secs
lola: 2327981 markings, 2935853 edges, 18154 markings/sec, 120 secs
lola: 2418621 markings, 3055580 edges, 18128 markings/sec, 125 secs
lola: 2509311 markings, 3175824 edges, 18138 markings/sec, 130 secs
lola: 2600185 markings, 3295300 edges, 18175 markings/sec, 135 secs
lola: 2690730 markings, 3416195 edges, 18109 markings/sec, 140 secs
lola: 2780600 markings, 3537303 edges, 17974 markings/sec, 145 secs
lola: 2869942 markings, 3657438 edges, 17868 markings/sec, 150 secs
lola: 2959350 markings, 3778581 edges, 17882 markings/sec, 155 secs
lola: 3049141 markings, 3900769 edges, 17958 markings/sec, 160 secs
lola: 3138902 markings, 4024072 edges, 17952 markings/sec, 165 secs
lola: 3227807 markings, 4144685 edges, 17781 markings/sec, 170 secs
lola: 3316492 markings, 4265378 edges, 17737 markings/sec, 175 secs
lola: 3406387 markings, 4386372 edges, 17979 markings/sec, 180 secs
lola: 3496207 markings, 4507364 edges, 17964 markings/sec, 185 secs
lola: 3585402 markings, 4629022 edges, 17839 markings/sec, 190 secs
lola: 3674347 markings, 4750779 edges, 17789 markings/sec, 195 secs
lola: 3763695 markings, 4870829 edges, 17870 markings/sec, 200 secs
lola: 3852592 markings, 4990658 edges, 17779 markings/sec, 205 secs
lola: 3941324 markings, 5113260 edges, 17746 markings/sec, 210 secs
lola: 4030249 markings, 5235070 edges, 17785 markings/sec, 215 secs
lola: 4118906 markings, 5355298 edges, 17731 markings/sec, 220 secs
lola: 4207386 markings, 5476349 edges, 17696 markings/sec, 225 secs
lola: 4295196 markings, 5598761 edges, 17562 markings/sec, 230 secs
lola: 4383661 markings, 5717775 edges, 17693 markings/sec, 235 secs
lola: 4471742 markings, 5839411 edges, 17616 markings/sec, 240 secs
lola: 4560341 markings, 5960227 edges, 17720 markings/sec, 245 secs
lola: 4648431 markings, 6082347 edges, 17618 markings/sec, 250 secs
lola: 4736016 markings, 6204816 edges, 17517 markings/sec, 255 secs
lola: 4822181 markings, 6323599 edges, 17233 markings/sec, 260 secs
lola: 4908525 markings, 6440873 edges, 17269 markings/sec, 265 secs
lola: 4995085 markings, 6560599 edges, 17312 markings/sec, 270 secs
lola: 5080365 markings, 6678700 edges, 17056 markings/sec, 275 secs
lola: 5166707 markings, 6799889 edges, 17268 markings/sec, 280 secs
lola: 5254033 markings, 6920044 edges, 17465 markings/sec, 285 secs
lola: 5341757 markings, 7042411 edges, 17545 markings/sec, 290 secs
lola: 5428868 markings, 7165071 edges, 17422 markings/sec, 295 secs
lola: 5515900 markings, 7285439 edges, 17406 markings/sec, 300 secs
lola: 5602459 markings, 7408260 edges, 17312 markings/sec, 305 secs
lola: 5688598 markings, 7528323 edges, 17228 markings/sec, 310 secs
lola: 5775912 markings, 7646348 edges, 17463 markings/sec, 315 secs
lola: 5862061 markings, 7768446 edges, 17230 markings/sec, 320 secs
lola: 5948176 markings, 7889653 edges, 17223 markings/sec, 325 secs
lola: 6034564 markings, 8012318 edges, 17278 markings/sec, 330 secs
lola: 6120979 markings, 8135290 edges, 17283 markings/sec, 335 secs
lola: 6207137 markings, 8257679 edges, 17232 markings/sec, 340 secs
lola: 6293394 markings, 8378903 edges, 17251 markings/sec, 345 secs
lola: 6379305 markings, 8502241 edges, 17182 markings/sec, 350 secs
lola: 6465533 markings, 8624341 edges, 17246 markings/sec, 355 secs
lola: 6550978 markings, 8742875 edges, 17089 markings/sec, 360 secs
lola: 6636702 markings, 8864737 edges, 17145 markings/sec, 365 secs
lola: 6722271 markings, 8986249 edges, 17114 markings/sec, 370 secs
lola: 6807934 markings, 9108760 edges, 17133 markings/sec, 375 secs
lola: 6893958 markings, 9228657 edges, 17205 markings/sec, 380 secs
lola: 6979460 markings, 9353671 edges, 17100 markings/sec, 385 secs
lola: 7065487 markings, 9476028 edges, 17205 markings/sec, 390 secs
lola: 7151325 markings, 9598146 edges, 17168 markings/sec, 395 secs
lola: 7237112 markings, 9720797 edges, 17157 markings/sec, 400 secs
lola: 7322659 markings, 9845022 edges, 17109 markings/sec, 405 secs
lola: 7409593 markings, 9965189 edges, 17387 markings/sec, 410 secs
lola: 7493351 markings, 10086452 edges, 16752 markings/sec, 415 secs
lola: 7576725 markings, 10206981 edges, 16675 markings/sec, 420 secs
lola: 7661350 markings, 10325947 edges, 16925 markings/sec, 425 secs
lola: 7745346 markings, 10445540 edges, 16799 markings/sec, 430 secs
lola: 7829312 markings, 10565238 edges, 16793 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TrainState_3_3_14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: 99800 markings, 115953 edges, 19960 markings/sec, 0 secs
lola: 197076 markings, 231900 edges, 19455 markings/sec, 5 secs
lola: 293333 markings, 347823 edges, 19251 markings/sec, 10 secs
lola: 388081 markings, 464420 edges, 18950 markings/sec, 15 secs
lola: 481436 markings, 578971 edges, 18671 markings/sec, 20 secs
lola: 575288 markings, 695156 edges, 18770 markings/sec, 25 secs
lola: 668895 markings, 811542 edges, 18721 markings/sec, 30 secs
lola: 762427 markings, 928305 edges, 18706 markings/sec, 35 secs
lola: 855276 markings, 1045604 edges, 18570 markings/sec, 40 secs
lola: 947986 markings, 1162994 edges, 18542 markings/sec, 45 secs
lola: 1040177 markings, 1280831 edges, 18438 markings/sec, 50 secs
lola: 1131298 markings, 1396787 edges, 18224 markings/sec, 55 secs
lola: 1223202 markings, 1514987 edges, 18381 markings/sec, 60 secs
lola: 1313241 markings, 1631605 edges, 18008 markings/sec, 65 secs
lola: 1404661 markings, 1750830 edges, 18284 markings/sec, 70 secs
lola: 1495527 markings, 1869062 edges, 18173 markings/sec, 75 secs
lola: 1586459 markings, 1986605 edges, 18186 markings/sec, 80 secs
lola: 1677034 markings, 2105315 edges, 18115 markings/sec, 85 secs
lola: 1768051 markings, 2224609 edges, 18203 markings/sec, 90 secs
lola: 1859307 markings, 2344298 edges, 18251 markings/sec, 95 secs
lola: 1950429 markings, 2465138 edges, 18224 markings/sec, 100 secs
lola: 2041448 markings, 2586476 edges, 18204 markings/sec, 105 secs
lola: 2132203 markings, 2707951 edges, 18151 markings/sec, 110 secs
lola: 2223001 markings, 2828897 edges, 18160 markings/sec, 115 secs
lola: 2313533 markings, 2949310 edges, 18106 markings/sec, 120 secs
lola: 2403741 markings, 3068923 edges, 18042 markings/sec, 125 secs
lola: 2493868 markings, 3188857 edges, 18025 markings/sec, 130 secs
lola: 2583422 markings, 3308672 edges, 17911 markings/sec, 135 secs
lola: 2673410 markings, 3428616 edges, 17998 markings/sec, 140 secs
lola: 2762642 markings, 3548962 edges, 17846 markings/sec, 145 secs
lola: 2852147 markings, 3669947 edges, 17901 markings/sec, 150 secs
lola: 2941547 markings, 3790248 edges, 17880 markings/sec, 155 secs
lola: 3030967 markings, 3909971 edges, 17884 markings/sec, 160 secs
lola: 3120304 markings, 4029916 edges, 17867 markings/sec, 165 secs
lola: 3209354 markings, 4150700 edges, 17810 markings/sec, 170 secs
lola: 3298149 markings, 4270500 edges, 17759 markings/sec, 175 secs
lola: 3387215 markings, 4390412 edges, 17813 markings/sec, 180 secs
lola: 3475367 markings, 4510793 edges, 17630 markings/sec, 185 secs
lola: 3562943 markings, 4630378 edges, 17515 markings/sec, 190 secs
lola: 3650351 markings, 4751401 edges, 17482 markings/sec, 195 secs
lola: 3737828 markings, 4871167 edges, 17495 markings/sec, 200 secs
lola: 3823354 markings, 4985825 edges, 17105 markings/sec, 205 secs
lola: 3908714 markings, 5104735 edges, 17072 markings/sec, 210 secs
lola: 3994372 markings, 5221554 edges, 17132 markings/sec, 215 secs
lola: 4078130 markings, 5336723 edges, 16752 markings/sec, 220 secs
lola: 4162321 markings, 5452561 edges, 16838 markings/sec, 225 secs
lola: 4247060 markings, 5570198 edges, 16948 markings/sec, 230 secs
lola: 4331041 markings, 5687713 edges, 16796 markings/sec, 235 secs
lola: 4415648 markings, 5805537 edges, 16921 markings/sec, 240 secs
lola: 4499686 markings, 5921676 edges, 16808 markings/sec, 245 secs
lola: 4583997 markings, 6037458 edges, 16862 markings/sec, 250 secs
lola: 4667972 markings, 6153296 edges, 16795 markings/sec, 255 secs
lola: 4752333 markings, 6270319 edges, 16872 markings/sec, 260 secs
lola: 4834344 markings, 6386529 edges, 16402 markings/sec, 265 secs
lola: 4917762 markings, 6504360 edges, 16684 markings/sec, 270 secs
lola: 4997940 markings, 6617263 edges, 16036 markings/sec, 275 secs
lola: 5079098 markings, 6732999 edges, 16232 markings/sec, 280 secs
lola: 5165261 markings, 6852953 edges, 17233 markings/sec, 285 secs
lola: 5251125 markings, 6975545 edges, 17173 markings/sec, 290 secs
lola: 5333180 markings, 7089922 edges, 16411 markings/sec, 295 secs
lola: 5416232 markings, 7206765 edges, 16610 markings/sec, 300 secs
lola: 5501459 markings, 7328958 edges, 17045 markings/sec, 305 secs
lola: 5587052 markings, 7450219 edges, 17119 markings/sec, 310 secs
lola: 5672805 markings, 7571927 edges, 17151 markings/sec, 315 secs
lola: 5758297 markings, 7693195 edges, 17098 markings/sec, 320 secs
lola: 5842840 markings, 7811728 edges, 16909 markings/sec, 325 secs
lola: 5927528 markings, 7929538 edges, 16938 markings/sec, 330 secs
lola: 6009554 markings, 8043872 edges, 16405 markings/sec, 335 secs
lola: 6093234 markings, 8163572 edges, 16736 markings/sec, 340 secs
lola: 6175853 markings, 8279371 edges, 16524 markings/sec, 345 secs
lola: 6257399 markings, 8396007 edges, 16309 markings/sec, 350 secs
lola: 6340180 markings, 8514148 edges, 16556 markings/sec, 355 secs
lola: 6422318 markings, 8633402 edges, 16428 markings/sec, 360 secs
lola: 6504151 markings, 8751097 edges, 16367 markings/sec, 365 secs
lola: 6585225 markings, 8868173 edges, 16215 markings/sec, 370 secs
lola: 6667620 markings, 8985379 edges, 16479 markings/sec, 375 secs
lola: 6750096 markings, 9104003 edges, 16495 markings/sec, 380 secs
lola: 6833210 markings, 9223052 edges, 16623 markings/sec, 385 secs
lola: 6915869 markings, 9341461 edges, 16532 markings/sec, 390 secs
lola: 6998211 markings, 9460863 edges, 16468 markings/sec, 395 secs
lola: 7080760 markings, 9579945 edges, 16510 markings/sec, 400 secs
lola: 7163340 markings, 9699175 edges, 16516 markings/sec, 405 secs
lola: 7245352 markings, 9817512 edges, 16402 markings/sec, 410 secs
lola: 7327103 markings, 9935261 edges, 16350 markings/sec, 415 secs
lola: 7408794 markings, 10054545 edges, 16338 markings/sec, 420 secs
lola: 7490643 markings, 10173686 edges, 16370 markings/sec, 425 secs
lola: 7571819 markings, 10292492 edges, 16235 markings/sec, 430 secs
lola: 7654260 markings, 10411199 edges, 16488 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TrainState_3_2_33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2620 bytes per marking, with 0 unused bits
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: 98115 markings, 109154 edges, 19623 markings/sec, 0 secs
lola: 196407 markings, 220899 edges, 19658 markings/sec, 5 secs
lola: 293700 markings, 332929 edges, 19459 markings/sec, 10 secs
lola: 386894 markings, 441604 edges, 18639 markings/sec, 15 secs
lola: 481004 markings, 551075 edges, 18822 markings/sec, 20 secs
lola: 574385 markings, 661069 edges, 18676 markings/sec, 25 secs
lola: 667920 markings, 770332 edges, 18707 markings/sec, 30 secs
lola: 761062 markings, 879657 edges, 18628 markings/sec, 35 secs
lola: 854159 markings, 990221 edges, 18619 markings/sec, 40 secs
lola: 948377 markings, 1101687 edges, 18844 markings/sec, 45 secs
lola: 1042126 markings, 1213567 edges, 18750 markings/sec, 50 secs
lola: 1135620 markings, 1324171 edges, 18699 markings/sec, 55 secs
lola: 1229102 markings, 1434582 edges, 18696 markings/sec, 60 secs
lola: 1322201 markings, 1546233 edges, 18620 markings/sec, 65 secs
lola: 1414566 markings, 1657560 edges, 18473 markings/sec, 70 secs
lola: 1503006 markings, 1763662 edges, 17688 markings/sec, 75 secs
lola: 1596033 markings, 1875957 edges, 18605 markings/sec, 80 secs
lola: 1685636 markings, 1984419 edges, 17921 markings/sec, 85 secs
lola: 1775665 markings, 2093133 edges, 18006 markings/sec, 90 secs
lola: 1868307 markings, 2205444 edges, 18528 markings/sec, 95 secs
lola: 1958420 markings, 2314535 edges, 18023 markings/sec, 100 secs
lola: 2047698 markings, 2422975 edges, 17856 markings/sec, 105 secs
lola: 2137865 markings, 2532628 edges, 18033 markings/sec, 110 secs
lola: 2227873 markings, 2642958 edges, 18002 markings/sec, 115 secs
lola: 2319514 markings, 2755529 edges, 18328 markings/sec, 120 secs
lola: 2412032 markings, 2868258 edges, 18504 markings/sec, 125 secs
lola: 2504095 markings, 2980405 edges, 18413 markings/sec, 130 secs
lola: 2596146 markings, 3093345 edges, 18410 markings/sec, 135 secs
lola: 2688352 markings, 3206529 edges, 18441 markings/sec, 140 secs
lola: 2779857 markings, 3319432 edges, 18301 markings/sec, 145 secs
lola: 2871037 markings, 3432744 edges, 18236 markings/sec, 150 secs
lola: 2962662 markings, 3545292 edges, 18325 markings/sec, 155 secs
lola: 3053669 markings, 3657805 edges, 18201 markings/sec, 160 secs
lola: 3144576 markings, 3770264 edges, 18181 markings/sec, 165 secs
lola: 3235269 markings, 3883180 edges, 18139 markings/sec, 170 secs
lola: 3325869 markings, 3995924 edges, 18120 markings/sec, 175 secs
lola: 3416634 markings, 4109027 edges, 18153 markings/sec, 180 secs
lola: 3507415 markings, 4221669 edges, 18156 markings/sec, 185 secs
lola: 3598039 markings, 4336186 edges, 18125 markings/sec, 190 secs
lola: 3688219 markings, 4449813 edges, 18036 markings/sec, 195 secs
lola: 3778686 markings, 4562772 edges, 18093 markings/sec, 200 secs
lola: 3869314 markings, 4676184 edges, 18126 markings/sec, 205 secs
lola: 3958951 markings, 4789186 edges, 17927 markings/sec, 210 secs
lola: 4049571 markings, 4900903 edges, 18124 markings/sec, 215 secs
lola: 4139227 markings, 5014278 edges, 17931 markings/sec, 220 secs
lola: 4228780 markings, 5126613 edges, 17911 markings/sec, 225 secs
lola: 4319048 markings, 5240461 edges, 18054 markings/sec, 230 secs
lola: 4408704 markings, 5354788 edges, 17931 markings/sec, 235 secs
lola: 4498061 markings, 5466919 edges, 17871 markings/sec, 240 secs
lola: 4587367 markings, 5579959 edges, 17861 markings/sec, 245 secs
lola: 4676467 markings, 5691765 edges, 17820 markings/sec, 250 secs
lola: 4765838 markings, 5803056 edges, 17874 markings/sec, 255 secs
lola: 4856493 markings, 5917625 edges, 18131 markings/sec, 260 secs
lola: 4946909 markings, 6032315 edges, 18083 markings/sec, 265 secs
lola: 5036022 markings, 6146582 edges, 17823 markings/sec, 270 secs
lola: 5125476 markings, 6261037 edges, 17891 markings/sec, 275 secs
lola: 5215189 markings, 6374781 edges, 17943 markings/sec, 280 secs
lola: 5305117 markings, 6487955 edges, 17986 markings/sec, 285 secs
lola: 5393682 markings, 6602819 edges, 17713 markings/sec, 290 secs
lola: 5482670 markings, 6715273 edges, 17798 markings/sec, 295 secs
lola: 5569209 markings, 6826991 edges, 17308 markings/sec, 300 secs
lola: 5656723 markings, 6939236 edges, 17503 markings/sec, 305 secs
lola: 5744191 markings, 7053043 edges, 17494 markings/sec, 310 secs
lola: 5832275 markings, 7164075 edges, 17617 markings/sec, 315 secs
lola: 5918206 markings, 7274674 edges, 17186 markings/sec, 320 secs
lola: 6005129 markings, 7386605 edges, 17385 markings/sec, 325 secs
lola: 6093049 markings, 7499911 edges, 17584 markings/sec, 330 secs
lola: 6179647 markings, 7610680 edges, 17320 markings/sec, 335 secs
lola: 6267721 markings, 7724825 edges, 17615 markings/sec, 340 secs
lola: 6356048 markings, 7838767 edges, 17665 markings/sec, 345 secs
lola: 6443335 markings, 7951906 edges, 17457 markings/sec, 350 secs
lola: 6530687 markings, 8063523 edges, 17470 markings/sec, 355 secs
lola: 6618054 markings, 8178633 edges, 17473 markings/sec, 360 secs
lola: 6703279 markings, 8289076 edges, 17045 markings/sec, 365 secs
lola: 6788565 markings, 8399316 edges, 17057 markings/sec, 370 secs
lola: 6873430 markings, 8509250 edges, 16973 markings/sec, 375 secs
lola: 6957633 markings, 8618550 edges, 16841 markings/sec, 380 secs
lola: 7042839 markings, 8728158 edges, 17041 markings/sec, 385 secs
lola: 7126915 markings, 8838145 edges, 16815 markings/sec, 390 secs
lola: 7211478 markings, 8947892 edges, 16913 markings/sec, 395 secs
lola: 7297108 markings, 9058868 edges, 17126 markings/sec, 400 secs
lola: 7379017 markings, 9165121 edges, 16382 markings/sec, 405 secs
lola: 7461084 markings, 9272234 edges, 16413 markings/sec, 410 secs
lola: 7547548 markings, 9384192 edges, 17293 markings/sec, 415 secs
lola: 7631864 markings, 9494616 edges, 16863 markings/sec, 420 secs
lola: 7717977 markings, 9606166 edges, 17223 markings/sec, 425 secs
lola: 7802535 markings, 9716708 edges, 16912 markings/sec, 430 secs
lola: 7889711 markings, 9830234 edges, 17435 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
Aborted (core dumped)
FORMULA BART-PT-005-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BART-PT-005-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
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="BART-PT-005"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="irma4mcc-full"
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
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-005.tgz
mv BART-PT-005 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-full"
echo " Input is BART-PT-005, 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 r030-ebro-152646308100065"
echo "====================================================================="
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
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 ;