About the Execution of M4M.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 |
| 5738.640 | 1774756.00 | 1800963.00 | 555.40 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 mcc4mcc-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 r034-ebro-152646312000065
=====================================================================
--------------------
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 1526989084932
BK_STOP 1526990859688
--------------------
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 stdout -----
----- Start make prepare stderr -----
===========================================================================================
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
make: [verify] Error 134 (ignored)
----- Start make result stdout -----
----- 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: 100475 markings, 115702 edges, 20095 markings/sec, 0 secs
lola: 197757 markings, 230906 edges, 19456 markings/sec, 5 secs
lola: 294813 markings, 348092 edges, 19411 markings/sec, 10 secs
lola: 391059 markings, 465733 edges, 19249 markings/sec, 15 secs
lola: 485545 markings, 582509 edges, 18897 markings/sec, 20 secs
lola: 580341 markings, 699812 edges, 18959 markings/sec, 25 secs
lola: 674644 markings, 817831 edges, 18861 markings/sec, 30 secs
lola: 768045 markings, 936174 edges, 18680 markings/sec, 35 secs
lola: 860253 markings, 1054596 edges, 18442 markings/sec, 40 secs
lola: 953200 markings, 1171961 edges, 18589 markings/sec, 45 secs
lola: 1047287 markings, 1290948 edges, 18817 markings/sec, 50 secs
lola: 1140608 markings, 1410679 edges, 18664 markings/sec, 55 secs
lola: 1233686 markings, 1529577 edges, 18616 markings/sec, 60 secs
lola: 1326325 markings, 1648381 edges, 18528 markings/sec, 65 secs
lola: 1418547 markings, 1766921 edges, 18444 markings/sec, 70 secs
lola: 1511542 markings, 1887627 edges, 18599 markings/sec, 75 secs
lola: 1604203 markings, 2008471 edges, 18532 markings/sec, 80 secs
lola: 1696639 markings, 2127146 edges, 18487 markings/sec, 85 secs
lola: 1788726 markings, 2247151 edges, 18417 markings/sec, 90 secs
lola: 1880933 markings, 2367021 edges, 18441 markings/sec, 95 secs
lola: 1973115 markings, 2486567 edges, 18436 markings/sec, 100 secs
lola: 2064607 markings, 2606963 edges, 18298 markings/sec, 105 secs
lola: 2155829 markings, 2726940 edges, 18244 markings/sec, 110 secs
lola: 2247465 markings, 2848152 edges, 18327 markings/sec, 115 secs
lola: 2337585 markings, 2968185 edges, 18024 markings/sec, 120 secs
lola: 2428862 markings, 3089565 edges, 18255 markings/sec, 125 secs
lola: 2520290 markings, 3209989 edges, 18286 markings/sec, 130 secs
lola: 2611076 markings, 3330906 edges, 18157 markings/sec, 135 secs
lola: 2702638 markings, 3452594 edges, 18312 markings/sec, 140 secs
lola: 2794016 markings, 3573256 edges, 18276 markings/sec, 145 secs
lola: 2884202 markings, 3689451 edges, 18037 markings/sec, 150 secs
lola: 2974397 markings, 3810764 edges, 18039 markings/sec, 155 secs
lola: 3064652 markings, 3929692 edges, 18051 markings/sec, 160 secs
lola: 3155144 markings, 4051008 edges, 18098 markings/sec, 165 secs
lola: 3245441 markings, 4173019 edges, 18059 markings/sec, 170 secs
lola: 3334860 markings, 4294130 edges, 17884 markings/sec, 175 secs
lola: 3424259 markings, 4412862 edges, 17880 markings/sec, 180 secs
lola: 3513233 markings, 4531588 edges, 17795 markings/sec, 185 secs
lola: 3602019 markings, 4651364 edges, 17757 markings/sec, 190 secs
lola: 3691564 markings, 4773077 edges, 17909 markings/sec, 195 secs
lola: 3780313 markings, 4892630 edges, 17750 markings/sec, 200 secs
lola: 3869010 markings, 5012533 edges, 17739 markings/sec, 205 secs
lola: 3958647 markings, 5132938 edges, 17927 markings/sec, 210 secs
lola: 4047434 markings, 5252031 edges, 17757 markings/sec, 215 secs
lola: 4136680 markings, 5374145 edges, 17849 markings/sec, 220 secs
lola: 4224285 markings, 5494901 edges, 17521 markings/sec, 225 secs
lola: 4312496 markings, 5614716 edges, 17642 markings/sec, 230 secs
lola: 4400618 markings, 5736030 edges, 17624 markings/sec, 235 secs
lola: 4486286 markings, 5855485 edges, 17134 markings/sec, 240 secs
lola: 4568148 markings, 5968096 edges, 16372 markings/sec, 245 secs
lola: 4650853 markings, 6080192 edges, 16541 markings/sec, 250 secs
lola: 4736610 markings, 6199659 edges, 17151 markings/sec, 255 secs
lola: 4823036 markings, 6318876 edges, 17285 markings/sec, 260 secs
lola: 4907152 markings, 6434088 edges, 16823 markings/sec, 265 secs
lola: 4992186 markings, 6551388 edges, 17007 markings/sec, 270 secs
lola: 5080121 markings, 6672958 edges, 17587 markings/sec, 275 secs
lola: 5167731 markings, 6793399 edges, 17522 markings/sec, 280 secs
lola: 5255286 markings, 6914100 edges, 17511 markings/sec, 285 secs
lola: 5341218 markings, 7033923 edges, 17186 markings/sec, 290 secs
lola: 5428853 markings, 7153906 edges, 17527 markings/sec, 295 secs
lola: 5515213 markings, 7274308 edges, 17272 markings/sec, 300 secs
lola: 5602772 markings, 7395632 edges, 17512 markings/sec, 305 secs
lola: 5690737 markings, 7518209 edges, 17593 markings/sec, 310 secs
lola: 5778671 markings, 7640455 edges, 17587 markings/sec, 315 secs
lola: 5867306 markings, 7763665 edges, 17727 markings/sec, 320 secs
lola: 5955077 markings, 7886340 edges, 17554 markings/sec, 325 secs
lola: 6041027 markings, 8006753 edges, 17190 markings/sec, 330 secs
lola: 6128109 markings, 8129745 edges, 17416 markings/sec, 335 secs
lola: 6215373 markings, 8251874 edges, 17453 markings/sec, 340 secs
lola: 6303362 markings, 8376637 edges, 17598 markings/sec, 345 secs
lola: 6391003 markings, 8497401 edges, 17528 markings/sec, 350 secs
lola: 6478835 markings, 8619839 edges, 17566 markings/sec, 355 secs
lola: 6565486 markings, 8740524 edges, 17330 markings/sec, 360 secs
lola: 6653279 markings, 8865348 edges, 17559 markings/sec, 365 secs
lola: 6740256 markings, 8985140 edges, 17395 markings/sec, 370 secs
lola: 6828433 markings, 9108973 edges, 17635 markings/sec, 375 secs
lola: 6916289 markings, 9232771 edges, 17571 markings/sec, 380 secs
lola: 7003011 markings, 9355884 edges, 17344 markings/sec, 385 secs
lola: 7088563 markings, 9477605 edges, 17110 markings/sec, 390 secs
lola: 7173662 markings, 9599249 edges, 17020 markings/sec, 395 secs
lola: 7254462 markings, 9714476 edges, 16160 markings/sec, 400 secs
lola: 7339437 markings, 9833133 edges, 16995 markings/sec, 405 secs
lola: 7422750 markings, 9951573 edges, 16663 markings/sec, 410 secs
lola: 7505409 markings, 10067403 edges, 16532 markings/sec, 415 secs
lola: 7590441 markings, 10186899 edges, 17006 markings/sec, 420 secs
lola: 7677051 markings, 10308282 edges, 17322 markings/sec, 425 secs
lola: 7761882 markings, 10429032 edges, 16966 markings/sec, 430 secs
lola: 7846371 markings, 10549874 edges, 16898 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: 100779 markings, 114345 edges, 20156 markings/sec, 0 secs
lola: 199931 markings, 230996 edges, 19830 markings/sec, 5 secs
lola: 298212 markings, 348125 edges, 19656 markings/sec, 10 secs
lola: 395561 markings, 466217 edges, 19470 markings/sec, 15 secs
lola: 491438 markings, 582820 edges, 19175 markings/sec, 20 secs
lola: 586581 markings, 699919 edges, 19029 markings/sec, 25 secs
lola: 681439 markings, 815752 edges, 18972 markings/sec, 30 secs
lola: 775931 markings, 933546 edges, 18898 markings/sec, 35 secs
lola: 868383 markings, 1050078 edges, 18490 markings/sec, 40 secs
lola: 962854 markings, 1168349 edges, 18894 markings/sec, 45 secs
lola: 1057061 markings, 1286048 edges, 18841 markings/sec, 50 secs
lola: 1151110 markings, 1404660 edges, 18810 markings/sec, 55 secs
lola: 1245264 markings, 1524240 edges, 18831 markings/sec, 60 secs
lola: 1338803 markings, 1643778 edges, 18708 markings/sec, 65 secs
lola: 1431785 markings, 1763972 edges, 18596 markings/sec, 70 secs
lola: 1525241 markings, 1883779 edges, 18691 markings/sec, 75 secs
lola: 1618446 markings, 2003514 edges, 18641 markings/sec, 80 secs
lola: 1710696 markings, 2125049 edges, 18450 markings/sec, 85 secs
lola: 1803551 markings, 2244928 edges, 18571 markings/sec, 90 secs
lola: 1895735 markings, 2366155 edges, 18437 markings/sec, 95 secs
lola: 1987594 markings, 2486750 edges, 18372 markings/sec, 100 secs
lola: 2079432 markings, 2608067 edges, 18368 markings/sec, 105 secs
lola: 2171091 markings, 2729014 edges, 18332 markings/sec, 110 secs
lola: 2262742 markings, 2849097 edges, 18330 markings/sec, 115 secs
lola: 2352789 markings, 2968564 edges, 18009 markings/sec, 120 secs
lola: 2444065 markings, 3090040 edges, 18255 markings/sec, 125 secs
lola: 2534582 markings, 3208733 edges, 18103 markings/sec, 130 secs
lola: 2625866 markings, 3329261 edges, 18257 markings/sec, 135 secs
lola: 2716999 markings, 3452691 edges, 18227 markings/sec, 140 secs
lola: 2804579 markings, 3569347 edges, 17516 markings/sec, 145 secs
lola: 2893689 markings, 3688716 edges, 17822 markings/sec, 150 secs
lola: 2980077 markings, 3806296 edges, 17278 markings/sec, 155 secs
lola: 3067027 markings, 3925088 edges, 17390 markings/sec, 160 secs
lola: 3155653 markings, 4047668 edges, 17725 markings/sec, 165 secs
lola: 3244580 markings, 4167117 edges, 17785 markings/sec, 170 secs
lola: 3333355 markings, 4287788 edges, 17755 markings/sec, 175 secs
lola: 3422069 markings, 4406935 edges, 17743 markings/sec, 180 secs
lola: 3511202 markings, 4527647 edges, 17827 markings/sec, 185 secs
lola: 3599116 markings, 4647292 edges, 17583 markings/sec, 190 secs
lola: 3684327 markings, 4764745 edges, 17042 markings/sec, 195 secs
lola: 3772117 markings, 4882405 edges, 17558 markings/sec, 200 secs
lola: 3859984 markings, 5000313 edges, 17573 markings/sec, 205 secs
lola: 3946420 markings, 5120209 edges, 17287 markings/sec, 210 secs
lola: 4034199 markings, 5240940 edges, 17556 markings/sec, 215 secs
lola: 4121763 markings, 5359322 edges, 17513 markings/sec, 220 secs
lola: 4209788 markings, 5479552 edges, 17605 markings/sec, 225 secs
lola: 4297208 markings, 5601499 edges, 17484 markings/sec, 230 secs
lola: 4385436 markings, 5720366 edges, 17646 markings/sec, 235 secs
lola: 4473317 markings, 5841526 edges, 17576 markings/sec, 240 secs
lola: 4561771 markings, 5962042 edges, 17691 markings/sec, 245 secs
lola: 4649204 markings, 6083373 edges, 17487 markings/sec, 250 secs
lola: 4736258 markings, 6205286 edges, 17411 markings/sec, 255 secs
lola: 4824056 markings, 6326314 edges, 17560 markings/sec, 260 secs
lola: 4911751 markings, 6445300 edges, 17539 markings/sec, 265 secs
lola: 4999426 markings, 6566625 edges, 17535 markings/sec, 270 secs
lola: 5086310 markings, 6687293 edges, 17377 markings/sec, 275 secs
lola: 5173213 markings, 6808435 edges, 17381 markings/sec, 280 secs
lola: 5260380 markings, 6929358 edges, 17433 markings/sec, 285 secs
lola: 5347495 markings, 7050292 edges, 17423 markings/sec, 290 secs
lola: 5434050 markings, 7171788 edges, 17311 markings/sec, 295 secs
lola: 5520802 markings, 7292685 edges, 17350 markings/sec, 300 secs
lola: 5607474 markings, 7414982 edges, 17334 markings/sec, 305 secs
lola: 5693200 markings, 7534144 edges, 17145 markings/sec, 310 secs
lola: 5780323 markings, 7653136 edges, 17425 markings/sec, 315 secs
lola: 5865747 markings, 7773919 edges, 17085 markings/sec, 320 secs
lola: 5951741 markings, 7894804 edges, 17199 markings/sec, 325 secs
lola: 6036255 markings, 8014838 edges, 16903 markings/sec, 330 secs
lola: 6120163 markings, 8134168 edges, 16782 markings/sec, 335 secs
lola: 6206129 markings, 8256182 edges, 17193 markings/sec, 340 secs
lola: 6292401 markings, 8377419 edges, 17254 markings/sec, 345 secs
lola: 6378253 markings, 8500599 edges, 17170 markings/sec, 350 secs
lola: 6462111 markings, 8619870 edges, 16772 markings/sec, 355 secs
lola: 6547827 markings, 8738619 edges, 17143 markings/sec, 360 secs
lola: 6634079 markings, 8861182 edges, 17250 markings/sec, 365 secs
lola: 6719773 markings, 8982170 edges, 17139 markings/sec, 370 secs
lola: 6802543 markings, 9101028 edges, 16554 markings/sec, 375 secs
lola: 6887263 markings, 9219535 edges, 16944 markings/sec, 380 secs
lola: 6971439 markings, 9342265 edges, 16835 markings/sec, 385 secs
lola: 7057897 markings, 9465081 edges, 17292 markings/sec, 390 secs
lola: 7138254 markings, 9579015 edges, 16071 markings/sec, 395 secs
lola: 7224734 markings, 9702134 edges, 17296 markings/sec, 400 secs
lola: 7310576 markings, 9828477 edges, 17168 markings/sec, 405 secs
lola: 7396852 markings, 9947071 edges, 17255 markings/sec, 410 secs
lola: 7482385 markings, 10070994 edges, 17107 markings/sec, 415 secs
lola: 7567558 markings, 10194656 edges, 17035 markings/sec, 420 secs
lola: 7652914 markings, 10314439 edges, 17071 markings/sec, 425 secs
lola: 7739312 markings, 10437002 edges, 17280 markings/sec, 430 secs
lola: 7825557 markings, 10560090 edges, 17249 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: 99645 markings, 115778 edges, 19929 markings/sec, 0 secs
lola: 197222 markings, 232081 edges, 19515 markings/sec, 5 secs
lola: 294687 markings, 349502 edges, 19493 markings/sec, 10 secs
lola: 390157 markings, 466941 edges, 19094 markings/sec, 15 secs
lola: 485627 markings, 584153 edges, 19094 markings/sec, 20 secs
lola: 580220 markings, 701431 edges, 18919 markings/sec, 25 secs
lola: 672513 markings, 815976 edges, 18459 markings/sec, 30 secs
lola: 765584 markings, 932335 edges, 18614 markings/sec, 35 secs
lola: 854319 markings, 1044391 edges, 17747 markings/sec, 40 secs
lola: 946811 markings, 1161547 edges, 18498 markings/sec, 45 secs
lola: 1036619 markings, 1276331 edges, 17962 markings/sec, 50 secs
lola: 1130235 markings, 1395264 edges, 18723 markings/sec, 55 secs
lola: 1223184 markings, 1514967 edges, 18590 markings/sec, 60 secs
lola: 1314888 markings, 1633742 edges, 18341 markings/sec, 65 secs
lola: 1406054 markings, 1752657 edges, 18233 markings/sec, 70 secs
lola: 1497407 markings, 1871452 edges, 18271 markings/sec, 75 secs
lola: 1588658 markings, 1989536 edges, 18250 markings/sec, 80 secs
lola: 1679836 markings, 2108986 edges, 18236 markings/sec, 85 secs
lola: 1770926 markings, 2228361 edges, 18218 markings/sec, 90 secs
lola: 1862030 markings, 2347880 edges, 18221 markings/sec, 95 secs
lola: 1952947 markings, 2468561 edges, 18183 markings/sec, 100 secs
lola: 2044383 markings, 2590330 edges, 18287 markings/sec, 105 secs
lola: 2135289 markings, 2712006 edges, 18181 markings/sec, 110 secs
lola: 2226470 markings, 2833517 edges, 18236 markings/sec, 115 secs
lola: 2313468 markings, 2949233 edges, 17400 markings/sec, 120 secs
lola: 2404370 markings, 3069695 edges, 18180 markings/sec, 125 secs
lola: 2495615 markings, 3191143 edges, 18249 markings/sec, 130 secs
lola: 2586002 markings, 3312239 edges, 18077 markings/sec, 135 secs
lola: 2673224 markings, 3428329 edges, 17444 markings/sec, 140 secs
lola: 2763281 markings, 3549806 edges, 18011 markings/sec, 145 secs
lola: 2852402 markings, 3670347 edges, 17824 markings/sec, 150 secs
lola: 2940626 markings, 3789024 edges, 17645 markings/sec, 155 secs
lola: 3031724 markings, 3911074 edges, 18220 markings/sec, 160 secs
lola: 3123094 markings, 4033522 edges, 18274 markings/sec, 165 secs
lola: 3212306 markings, 4154515 edges, 17842 markings/sec, 170 secs
lola: 3302367 markings, 4276212 edges, 18012 markings/sec, 175 secs
lola: 3392950 markings, 4398116 edges, 18117 markings/sec, 180 secs
lola: 3482737 markings, 4520074 edges, 17957 markings/sec, 185 secs
lola: 3572428 markings, 4643040 edges, 17938 markings/sec, 190 secs
lola: 3660142 markings, 4765430 edges, 17543 markings/sec, 195 secs
lola: 3749013 markings, 4885675 edges, 17774 markings/sec, 200 secs
lola: 3834243 markings, 5001683 edges, 17046 markings/sec, 205 secs
lola: 3919403 markings, 5119172 edges, 17032 markings/sec, 210 secs
lola: 4005425 markings, 5236665 edges, 17204 markings/sec, 215 secs
lola: 4093592 markings, 5358089 edges, 17633 markings/sec, 220 secs
lola: 4180258 markings, 5477852 edges, 17333 markings/sec, 225 secs
lola: 4265641 markings, 5596209 edges, 17077 markings/sec, 230 secs
lola: 4349915 markings, 5713748 edges, 16855 markings/sec, 235 secs
lola: 4434070 markings, 5830820 edges, 16831 markings/sec, 240 secs
lola: 4518869 markings, 5947721 edges, 16960 markings/sec, 245 secs
lola: 4603272 markings, 6063810 edges, 16881 markings/sec, 250 secs
lola: 4687246 markings, 6180647 edges, 16795 markings/sec, 255 secs
lola: 4771447 markings, 6297457 edges, 16840 markings/sec, 260 secs
lola: 4855028 markings, 6416332 edges, 16716 markings/sec, 265 secs
lola: 4938229 markings, 6533106 edges, 16640 markings/sec, 270 secs
lola: 5021702 markings, 6651493 edges, 16695 markings/sec, 275 secs
lola: 5105414 markings, 6769703 edges, 16742 markings/sec, 280 secs
lola: 5189375 markings, 6887757 edges, 16792 markings/sec, 285 secs
lola: 5274158 markings, 7007779 edges, 16957 markings/sec, 290 secs
lola: 5362377 markings, 7130604 edges, 17644 markings/sec, 295 secs
lola: 5449697 markings, 7254999 edges, 17464 markings/sec, 300 secs
lola: 5532280 markings, 7373102 edges, 16517 markings/sec, 305 secs
lola: 5614252 markings, 7487988 edges, 16394 markings/sec, 310 secs
lola: 5696459 markings, 7605594 edges, 16441 markings/sec, 315 secs
lola: 5779688 markings, 7722624 edges, 16646 markings/sec, 320 secs
lola: 5862772 markings, 7840502 edges, 16617 markings/sec, 325 secs
lola: 5947754 markings, 7957051 edges, 16996 markings/sec, 330 secs
lola: 6028968 markings, 8072772 edges, 16243 markings/sec, 335 secs
lola: 6112219 markings, 8191166 edges, 16650 markings/sec, 340 secs
lola: 6196256 markings, 8308379 edges, 16807 markings/sec, 345 secs
lola: 6279225 markings, 8427214 edges, 16594 markings/sec, 350 secs
lola: 6363365 markings, 8547503 edges, 16828 markings/sec, 355 secs
lola: 6446639 markings, 8668333 edges, 16655 markings/sec, 360 secs
lola: 6529051 markings, 8786744 edges, 16482 markings/sec, 365 secs
lola: 6610489 markings, 8903980 edges, 16288 markings/sec, 370 secs
lola: 6693090 markings, 9022736 edges, 16520 markings/sec, 375 secs
lola: 6776107 markings, 9141157 edges, 16603 markings/sec, 380 secs
lola: 6858456 markings, 9259226 edges, 16470 markings/sec, 385 secs
lola: 6941303 markings, 9377319 edges, 16569 markings/sec, 390 secs
lola: 7023464 markings, 9497765 edges, 16432 markings/sec, 395 secs
lola: 7106016 markings, 9615571 edges, 16510 markings/sec, 400 secs
lola: 7191126 markings, 9740122 edges, 17022 markings/sec, 405 secs
lola: 7276510 markings, 9862720 edges, 17077 markings/sec, 410 secs
lola: 7361968 markings, 9986235 edges, 17092 markings/sec, 415 secs
lola: 7446467 markings, 10110153 edges, 16900 markings/sec, 420 secs
lola: 7532521 markings, 10235102 edges, 17211 markings/sec, 425 secs
lola: 7619506 markings, 10361331 edges, 17397 markings/sec, 430 secs
lola: 7706709 markings, 10486779 edges, 17441 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: 98178 markings, 109226 edges, 19636 markings/sec, 0 secs
lola: 196675 markings, 221228 edges, 19699 markings/sec, 5 secs
lola: 293739 markings, 332972 edges, 19413 markings/sec, 10 secs
lola: 389587 markings, 444675 edges, 19170 markings/sec, 15 secs
lola: 484698 markings, 555502 edges, 19022 markings/sec, 20 secs
lola: 579815 markings, 667501 edges, 19023 markings/sec, 25 secs
lola: 674389 markings, 777983 edges, 18915 markings/sec, 30 secs
lola: 768744 markings, 888917 edges, 18871 markings/sec, 35 secs
lola: 862396 markings, 1000263 edges, 18730 markings/sec, 40 secs
lola: 956672 markings, 1111589 edges, 18855 markings/sec, 45 secs
lola: 1049756 markings, 1222789 edges, 18617 markings/sec, 50 secs
lola: 1142917 markings, 1332935 edges, 18632 markings/sec, 55 secs
lola: 1235892 markings, 1442682 edges, 18595 markings/sec, 60 secs
lola: 1329228 markings, 1554601 edges, 18667 markings/sec, 65 secs
lola: 1422118 markings, 1666721 edges, 18578 markings/sec, 70 secs
lola: 1515016 markings, 1777990 edges, 18580 markings/sec, 75 secs
lola: 1607245 markings, 1889860 edges, 18446 markings/sec, 80 secs
lola: 1700094 markings, 2001412 edges, 18570 markings/sec, 85 secs
lola: 1790406 markings, 2111064 edges, 18062 markings/sec, 90 secs
lola: 1882774 markings, 2222904 edges, 18474 markings/sec, 95 secs
lola: 1974367 markings, 2333876 edges, 18319 markings/sec, 100 secs
lola: 2065812 markings, 2445439 edges, 18289 markings/sec, 105 secs
lola: 2157533 markings, 2556473 edges, 18344 markings/sec, 110 secs
lola: 2250295 markings, 2670207 edges, 18552 markings/sec, 115 secs
lola: 2342644 markings, 2783648 edges, 18470 markings/sec, 120 secs
lola: 2435735 markings, 2897327 edges, 18618 markings/sec, 125 secs
lola: 2527019 markings, 3008793 edges, 18257 markings/sec, 130 secs
lola: 2618959 markings, 3121023 edges, 18388 markings/sec, 135 secs
lola: 2709737 markings, 3233060 edges, 18156 markings/sec, 140 secs
lola: 2800155 markings, 3344689 edges, 18084 markings/sec, 145 secs
lola: 2890210 markings, 3456183 edges, 18011 markings/sec, 150 secs
lola: 2979368 markings, 3566131 edges, 17832 markings/sec, 155 secs
lola: 3071401 markings, 3679734 edges, 18407 markings/sec, 160 secs
lola: 3163555 markings, 3793476 edges, 18431 markings/sec, 165 secs
lola: 3254825 markings, 3907609 edges, 18254 markings/sec, 170 secs
lola: 3346541 markings, 4021340 edges, 18343 markings/sec, 175 secs
lola: 3438515 markings, 4135901 edges, 18395 markings/sec, 180 secs
lola: 3530105 markings, 4250236 edges, 18318 markings/sec, 185 secs
lola: 3621354 markings, 4365552 edges, 18250 markings/sec, 190 secs
lola: 3712704 markings, 4480493 edges, 18270 markings/sec, 195 secs
lola: 3804605 markings, 4594926 edges, 18380 markings/sec, 200 secs
lola: 3895807 markings, 4709387 edges, 18240 markings/sec, 205 secs
lola: 3986892 markings, 4823778 edges, 18217 markings/sec, 210 secs
lola: 4078126 markings, 4937106 edges, 18247 markings/sec, 215 secs
lola: 4168808 markings, 5051169 edges, 18136 markings/sec, 220 secs
lola: 4259687 markings, 5165346 edges, 18176 markings/sec, 225 secs
lola: 4350515 markings, 5280381 edges, 18166 markings/sec, 230 secs
lola: 4441077 markings, 5394462 edges, 18112 markings/sec, 235 secs
lola: 4531828 markings, 5509469 edges, 18150 markings/sec, 240 secs
lola: 4621956 markings, 5623248 edges, 18026 markings/sec, 245 secs
lola: 4711696 markings, 5736433 edges, 17948 markings/sec, 250 secs
lola: 4801844 markings, 5849044 edges, 18030 markings/sec, 255 secs
lola: 4893371 markings, 5963839 edges, 18305 markings/sec, 260 secs
lola: 4983675 markings, 6079918 edges, 18061 markings/sec, 265 secs
lola: 5073074 markings, 6194499 edges, 17880 markings/sec, 270 secs
lola: 5163014 markings, 6308668 edges, 17988 markings/sec, 275 secs
lola: 5253170 markings, 6422781 edges, 18031 markings/sec, 280 secs
lola: 5343202 markings, 6536949 edges, 18006 markings/sec, 285 secs
lola: 5432659 markings, 6651500 edges, 17891 markings/sec, 290 secs
lola: 5521987 markings, 6765590 edges, 17866 markings/sec, 295 secs
lola: 5611505 markings, 6880586 edges, 17904 markings/sec, 300 secs
lola: 5700495 markings, 6996910 edges, 17798 markings/sec, 305 secs
lola: 5790850 markings, 7112243 edges, 18071 markings/sec, 310 secs
lola: 5879694 markings, 7224200 edges, 17769 markings/sec, 315 secs
lola: 5968458 markings, 7338546 edges, 17753 markings/sec, 320 secs
lola: 6057523 markings, 7454357 edges, 17813 markings/sec, 325 secs
lola: 6146573 markings, 7569370 edges, 17810 markings/sec, 330 secs
lola: 6235584 markings, 7684233 edges, 17802 markings/sec, 335 secs
lola: 6324901 markings, 7799611 edges, 17863 markings/sec, 340 secs
lola: 6414015 markings, 7913606 edges, 17823 markings/sec, 345 secs
lola: 6502686 markings, 8027987 edges, 17734 markings/sec, 350 secs
lola: 6591636 markings, 8143891 edges, 17790 markings/sec, 355 secs
lola: 6680379 markings, 8260163 edges, 17749 markings/sec, 360 secs
lola: 6768173 markings, 8373147 edges, 17559 markings/sec, 365 secs
lola: 6855672 markings, 8485943 edges, 17500 markings/sec, 370 secs
lola: 6943551 markings, 8601042 edges, 17576 markings/sec, 375 secs
lola: 7027314 markings, 8708411 edges, 16753 markings/sec, 380 secs
lola: 7115118 markings, 8822632 edges, 17561 markings/sec, 385 secs
lola: 7200096 markings, 8933165 edges, 16996 markings/sec, 390 secs
lola: 7287980 markings, 9047075 edges, 17577 markings/sec, 395 secs
lola: 7376993 markings, 9162257 edges, 17803 markings/sec, 400 secs
lola: 7463800 markings, 9275529 edges, 17361 markings/sec, 405 secs
lola: 7551719 markings, 9389404 edges, 17584 markings/sec, 410 secs
lola: 7637963 markings, 9502935 edges, 17249 markings/sec, 415 secs
lola: 7719026 markings, 9607485 edges, 16213 markings/sec, 420 secs
lola: 7803820 markings, 9718411 edges, 16959 markings/sec, 425 secs
lola: 7891060 markings, 9832033 edges, 17448 markings/sec, 430 secs
lola: 7977212 markings, 9944185 edges, 17230 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)
----- Kill lola and sara stderr -----
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 stdout -----
----- Finished stdout -----
----- Finished 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="BART-PT-005"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="mcc4mcc-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 mcc4mcc-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 r034-ebro-152646312000065"
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 ;