About the Execution of Irma.struct for BART-PT-005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5750.770 | 1775191.00 | 1805267.00 | 470.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-structural
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 r031-ebro-152646309100065
=====================================================================
--------------------
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 1526804261537
BK_STOP 1526806036728
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-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 random-forest.
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': 'itstools'}].
Learned tool itstools is 23.940467219291634x 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 stdout -----
----- Start make result stderr -----
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: 97915 markings, 112678 edges, 19583 markings/sec, 0 secs
lola: 197337 markings, 230417 edges, 19884 markings/sec, 5 secs
lola: 294872 markings, 348158 edges, 19507 markings/sec, 10 secs
lola: 392325 markings, 467362 edges, 19491 markings/sec, 15 secs
lola: 487598 markings, 585133 edges, 19055 markings/sec, 20 secs
lola: 583639 markings, 704002 edges, 19208 markings/sec, 25 secs
lola: 678630 markings, 822804 edges, 18998 markings/sec, 30 secs
lola: 772503 markings, 941935 edges, 18775 markings/sec, 35 secs
lola: 865611 markings, 1061274 edges, 18622 markings/sec, 40 secs
lola: 958556 markings, 1178780 edges, 18589 markings/sec, 45 secs
lola: 1051310 markings, 1296014 edges, 18551 markings/sec, 50 secs
lola: 1144885 markings, 1416065 edges, 18715 markings/sec, 55 secs
lola: 1237926 markings, 1535223 edges, 18608 markings/sec, 60 secs
lola: 1330631 markings, 1653839 edges, 18541 markings/sec, 65 secs
lola: 1423383 markings, 1773283 edges, 18550 markings/sec, 70 secs
lola: 1516257 markings, 1894085 edges, 18575 markings/sec, 75 secs
lola: 1609137 markings, 2014892 edges, 18576 markings/sec, 80 secs
lola: 1701546 markings, 2133783 edges, 18482 markings/sec, 85 secs
lola: 1793683 markings, 2253569 edges, 18427 markings/sec, 90 secs
lola: 1885865 markings, 2373705 edges, 18436 markings/sec, 95 secs
lola: 1978449 markings, 2493681 edges, 18517 markings/sec, 100 secs
lola: 2071016 markings, 2615616 edges, 18513 markings/sec, 105 secs
lola: 2163606 markings, 2736982 edges, 18518 markings/sec, 110 secs
lola: 2255745 markings, 2859249 edges, 18428 markings/sec, 115 secs
lola: 2347489 markings, 2981203 edges, 18349 markings/sec, 120 secs
lola: 2439126 markings, 3102847 edges, 18327 markings/sec, 125 secs
lola: 2530646 markings, 3223640 edges, 18304 markings/sec, 130 secs
lola: 2620534 markings, 3343935 edges, 17978 markings/sec, 135 secs
lola: 2711471 markings, 3464089 edges, 18187 markings/sec, 140 secs
lola: 2802265 markings, 3584206 edges, 18159 markings/sec, 145 secs
lola: 2892975 markings, 3701476 edges, 18142 markings/sec, 150 secs
lola: 2983738 markings, 3823421 edges, 18153 markings/sec, 155 secs
lola: 3074511 markings, 3942334 edges, 18155 markings/sec, 160 secs
lola: 3165336 markings, 4064455 edges, 18165 markings/sec, 165 secs
lola: 3256063 markings, 4186989 edges, 18145 markings/sec, 170 secs
lola: 3346816 markings, 4309631 edges, 18151 markings/sec, 175 secs
lola: 3437554 markings, 4430136 edges, 18148 markings/sec, 180 secs
lola: 3527359 markings, 4550731 edges, 17961 markings/sec, 185 secs
lola: 3616985 markings, 4671722 edges, 17925 markings/sec, 190 secs
lola: 3706323 markings, 4793881 edges, 17868 markings/sec, 195 secs
lola: 3795504 markings, 4912787 edges, 17836 markings/sec, 200 secs
lola: 3884796 markings, 5034123 edges, 17858 markings/sec, 205 secs
lola: 3973964 markings, 5153482 edges, 17834 markings/sec, 210 secs
lola: 4062733 markings, 5273245 edges, 17754 markings/sec, 215 secs
lola: 4152062 markings, 5395021 edges, 17866 markings/sec, 220 secs
lola: 4240914 markings, 5517505 edges, 17770 markings/sec, 225 secs
lola: 4329630 markings, 5637559 edges, 17743 markings/sec, 230 secs
lola: 4418275 markings, 5760491 edges, 17729 markings/sec, 235 secs
lola: 4506438 markings, 5883770 edges, 17633 markings/sec, 240 secs
lola: 4595470 markings, 6005094 edges, 17806 markings/sec, 245 secs
lola: 4684238 markings, 6127307 edges, 17754 markings/sec, 250 secs
lola: 4773163 markings, 6249595 edges, 17785 markings/sec, 255 secs
lola: 4860596 markings, 6370088 edges, 17487 markings/sec, 260 secs
lola: 4947335 markings, 6489295 edges, 17348 markings/sec, 265 secs
lola: 5033742 markings, 6608107 edges, 17281 markings/sec, 270 secs
lola: 5120294 markings, 6728172 edges, 17310 markings/sec, 275 secs
lola: 5206920 markings, 6848212 edges, 17325 markings/sec, 280 secs
lola: 5294018 markings, 6968209 edges, 17420 markings/sec, 285 secs
lola: 5382304 markings, 7089258 edges, 17657 markings/sec, 290 secs
lola: 5469331 markings, 7210440 edges, 17405 markings/sec, 295 secs
lola: 5555837 markings, 7330832 edges, 17301 markings/sec, 300 secs
lola: 5642382 markings, 7451246 edges, 17309 markings/sec, 305 secs
lola: 5728768 markings, 7571317 edges, 17277 markings/sec, 310 secs
lola: 5814570 markings, 7690844 edges, 17160 markings/sec, 315 secs
lola: 5901788 markings, 7811972 edges, 17444 markings/sec, 320 secs
lola: 5988917 markings, 7934619 edges, 17426 markings/sec, 325 secs
lola: 6075856 markings, 8055863 edges, 17388 markings/sec, 330 secs
lola: 6163227 markings, 8178291 edges, 17474 markings/sec, 335 secs
lola: 6250186 markings, 8300670 edges, 17392 markings/sec, 340 secs
lola: 6338175 markings, 8424701 edges, 17598 markings/sec, 345 secs
lola: 6426770 markings, 8546946 edges, 17719 markings/sec, 350 secs
lola: 6514759 markings, 8670260 edges, 17598 markings/sec, 355 secs
lola: 6602644 markings, 8794274 edges, 17577 markings/sec, 360 secs
lola: 6691137 markings, 8917381 edges, 17699 markings/sec, 365 secs
lola: 6779540 markings, 9039676 edges, 17681 markings/sec, 370 secs
lola: 6868108 markings, 9164724 edges, 17714 markings/sec, 375 secs
lola: 6955799 markings, 9289224 edges, 17538 markings/sec, 380 secs
lola: 7042933 markings, 9412234 edges, 17427 markings/sec, 385 secs
lola: 7129812 markings, 9536787 edges, 17376 markings/sec, 390 secs
lola: 7217168 markings, 9661303 edges, 17471 markings/sec, 395 secs
lola: 7304614 markings, 9784411 edges, 17489 markings/sec, 400 secs
lola: 7392935 markings, 9908444 edges, 17664 markings/sec, 405 secs
lola: 7480017 markings, 10032189 edges, 17416 markings/sec, 410 secs
lola: 7567774 markings, 10154321 edges, 17551 markings/sec, 415 secs
lola: 7655008 markings, 10276367 edges, 17447 markings/sec, 420 secs
lola: 7742959 markings, 10401688 edges, 17590 markings/sec, 425 secs
lola: 7829601 markings, 10525967 edges, 17328 markings/sec, 430 secs
lola: 7916329 markings, 10651290 edges, 17346 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: 100590 markings, 114119 edges, 20118 markings/sec, 0 secs
lola: 197828 markings, 228458 edges, 19448 markings/sec, 5 secs
lola: 294310 markings, 343541 edges, 19296 markings/sec, 10 secs
lola: 390450 markings, 460123 edges, 19228 markings/sec, 15 secs
lola: 486121 markings, 576226 edges, 19134 markings/sec, 20 secs
lola: 581160 markings, 693255 edges, 19008 markings/sec, 25 secs
lola: 676169 markings, 809294 edges, 19002 markings/sec, 30 secs
lola: 770661 markings, 927103 edges, 18898 markings/sec, 35 secs
lola: 864227 markings, 1045040 edges, 18713 markings/sec, 40 secs
lola: 958113 markings, 1162450 edges, 18777 markings/sec, 45 secs
lola: 1051908 markings, 1279489 edges, 18759 markings/sec, 50 secs
lola: 1145313 markings, 1397640 edges, 18681 markings/sec, 55 secs
lola: 1238668 markings, 1515759 edges, 18671 markings/sec, 60 secs
lola: 1331194 markings, 1634437 edges, 18505 markings/sec, 65 secs
lola: 1423453 markings, 1753225 edges, 18452 markings/sec, 70 secs
lola: 1516128 markings, 1872282 edges, 18535 markings/sec, 75 secs
lola: 1608458 markings, 1990632 edges, 18466 markings/sec, 80 secs
lola: 1699606 markings, 2110642 edges, 18230 markings/sec, 85 secs
lola: 1791506 markings, 2229226 edges, 18380 markings/sec, 90 secs
lola: 1882491 markings, 2347963 edges, 18197 markings/sec, 95 secs
lola: 1973019 markings, 2466951 edges, 18106 markings/sec, 100 secs
lola: 2063493 markings, 2586609 edges, 18095 markings/sec, 105 secs
lola: 2154062 markings, 2706811 edges, 18114 markings/sec, 110 secs
lola: 2244713 markings, 2825686 edges, 18130 markings/sec, 115 secs
lola: 2334751 markings, 2945542 edges, 18008 markings/sec, 120 secs
lola: 2424828 markings, 3064016 edges, 18015 markings/sec, 125 secs
lola: 2514766 markings, 3183382 edges, 17988 markings/sec, 130 secs
lola: 2605707 markings, 3302527 edges, 18188 markings/sec, 135 secs
lola: 2694909 markings, 3421804 edges, 17840 markings/sec, 140 secs
lola: 2782629 markings, 3540035 edges, 17544 markings/sec, 145 secs
lola: 2871584 markings, 3659666 edges, 17791 markings/sec, 150 secs
lola: 2958751 markings, 3777800 edges, 17433 markings/sec, 155 secs
lola: 3046071 markings, 3896762 edges, 17464 markings/sec, 160 secs
lola: 3136193 markings, 4020535 edges, 18024 markings/sec, 165 secs
lola: 3226325 markings, 4142459 edges, 18026 markings/sec, 170 secs
lola: 3315978 markings, 4264749 edges, 17931 markings/sec, 175 secs
lola: 3406320 markings, 4386279 edges, 18068 markings/sec, 180 secs
lola: 3496704 markings, 4508016 edges, 18077 markings/sec, 185 secs
lola: 3586327 markings, 4630313 edges, 17925 markings/sec, 190 secs
lola: 3675898 markings, 4752836 edges, 17914 markings/sec, 195 secs
lola: 3765657 markings, 4873401 edges, 17952 markings/sec, 200 secs
lola: 3854959 markings, 4993762 edges, 17860 markings/sec, 205 secs
lola: 3943957 markings, 5116748 edges, 17800 markings/sec, 210 secs
lola: 4033266 markings, 5239430 edges, 17862 markings/sec, 215 secs
lola: 4122507 markings, 5360279 edges, 17848 markings/sec, 220 secs
lola: 4211615 markings, 5482211 edges, 17822 markings/sec, 225 secs
lola: 4299877 markings, 5605425 edges, 17652 markings/sec, 230 secs
lola: 4388947 markings, 5725123 edges, 17814 markings/sec, 235 secs
lola: 4477813 markings, 5847646 edges, 17773 markings/sec, 240 secs
lola: 4565137 markings, 5966831 edges, 17465 markings/sec, 245 secs
lola: 4652882 markings, 6088135 edges, 17549 markings/sec, 250 secs
lola: 4740505 markings, 6211752 edges, 17525 markings/sec, 255 secs
lola: 4829088 markings, 6333390 edges, 17717 markings/sec, 260 secs
lola: 4917730 markings, 6453365 edges, 17728 markings/sec, 265 secs
lola: 5006248 markings, 6575762 edges, 17704 markings/sec, 270 secs
lola: 5094127 markings, 6697739 edges, 17576 markings/sec, 275 secs
lola: 5182684 markings, 6821539 edges, 17711 markings/sec, 280 secs
lola: 5271562 markings, 6944642 edges, 17776 markings/sec, 285 secs
lola: 5358422 markings, 7065323 edges, 17372 markings/sec, 290 secs
lola: 5442545 markings, 7183679 edges, 16825 markings/sec, 295 secs
lola: 5526598 markings, 7300778 edges, 16811 markings/sec, 300 secs
lola: 5613208 markings, 7423062 edges, 17322 markings/sec, 305 secs
lola: 5698610 markings, 7541731 edges, 17080 markings/sec, 310 secs
lola: 5785284 markings, 7660503 edges, 17335 markings/sec, 315 secs
lola: 5873451 markings, 7785003 edges, 17633 markings/sec, 320 secs
lola: 5961623 markings, 7908487 edges, 17634 markings/sec, 325 secs
lola: 6049787 markings, 8033515 edges, 17633 markings/sec, 330 secs
lola: 6137687 markings, 8158786 edges, 17580 markings/sec, 335 secs
lola: 6222246 markings, 8279443 edges, 16912 markings/sec, 340 secs
lola: 6308039 markings, 8400422 edges, 17159 markings/sec, 345 secs
lola: 6393773 markings, 8522972 edges, 17147 markings/sec, 350 secs
lola: 6478685 markings, 8642475 edges, 16982 markings/sec, 355 secs
lola: 6562665 markings, 8759435 edges, 16796 markings/sec, 360 secs
lola: 6647512 markings, 8880336 edges, 16969 markings/sec, 365 secs
lola: 6730881 markings, 8998335 edges, 16674 markings/sec, 370 secs
lola: 6815837 markings, 9119742 edges, 16991 markings/sec, 375 secs
lola: 6899857 markings, 9237449 edges, 16804 markings/sec, 380 secs
lola: 6984999 markings, 9361325 edges, 17028 markings/sec, 385 secs
lola: 7070445 markings, 9482414 edges, 17089 markings/sec, 390 secs
lola: 7155367 markings, 9604335 edges, 16984 markings/sec, 395 secs
lola: 7239992 markings, 9725568 edges, 16925 markings/sec, 400 secs
lola: 7324590 markings, 9847258 edges, 16920 markings/sec, 405 secs
lola: 7410047 markings, 9965997 edges, 17091 markings/sec, 410 secs
lola: 7494251 markings, 10087737 edges, 16841 markings/sec, 415 secs
lola: 7578270 markings, 10209584 edges, 16804 markings/sec, 420 secs
lola: 7663356 markings, 10328664 edges, 17017 markings/sec, 425 secs
lola: 7747931 markings, 10449385 edges, 16915 markings/sec, 430 secs
lola: 7832459 markings, 10570089 edges, 16906 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: 101009 markings, 117365 edges, 20202 markings/sec, 0 secs
lola: 199971 markings, 235368 edges, 19792 markings/sec, 5 secs
lola: 297583 markings, 352995 edges, 19522 markings/sec, 10 secs
lola: 394546 markings, 472148 edges, 19393 markings/sec, 15 secs
lola: 491114 markings, 590934 edges, 19314 markings/sec, 20 secs
lola: 587010 markings, 709955 edges, 19179 markings/sec, 25 secs
lola: 682345 markings, 828187 edges, 19067 markings/sec, 30 secs
lola: 776391 markings, 945862 edges, 18809 markings/sec, 35 secs
lola: 871028 markings, 1065614 edges, 18927 markings/sec, 40 secs
lola: 965654 markings, 1185676 edges, 18925 markings/sec, 45 secs
lola: 1060162 markings, 1306259 edges, 18902 markings/sec, 50 secs
lola: 1154721 markings, 1426619 edges, 18912 markings/sec, 55 secs
lola: 1248637 markings, 1547362 edges, 18783 markings/sec, 60 secs
lola: 1341699 markings, 1668556 edges, 18612 markings/sec, 65 secs
lola: 1434457 markings, 1790073 edges, 18552 markings/sec, 70 secs
lola: 1527358 markings, 1909871 edges, 18580 markings/sec, 75 secs
lola: 1620123 markings, 2031403 edges, 18553 markings/sec, 80 secs
lola: 1710799 markings, 2149132 edges, 18135 markings/sec, 85 secs
lola: 1802474 markings, 2269382 edges, 18335 markings/sec, 90 secs
lola: 1892736 markings, 2388777 edges, 18052 markings/sec, 95 secs
lola: 1981824 markings, 2506513 edges, 17818 markings/sec, 100 secs
lola: 2070514 markings, 2625899 edges, 17738 markings/sec, 105 secs
lola: 2158985 markings, 2744096 edges, 17694 markings/sec, 110 secs
lola: 2247616 markings, 2862312 edges, 17726 markings/sec, 115 secs
lola: 2335912 markings, 2979337 edges, 17659 markings/sec, 120 secs
lola: 2424679 markings, 3096345 edges, 17753 markings/sec, 125 secs
lola: 2513057 markings, 3214299 edges, 17676 markings/sec, 130 secs
lola: 2600503 markings, 3331273 edges, 17489 markings/sec, 135 secs
lola: 2688082 markings, 3448146 edges, 17516 markings/sec, 140 secs
lola: 2775107 markings, 3566168 edges, 17405 markings/sec, 145 secs
lola: 2862953 markings, 3684308 edges, 17569 markings/sec, 150 secs
lola: 2950960 markings, 3802918 edges, 17601 markings/sec, 155 secs
lola: 3039376 markings, 3920975 edges, 17683 markings/sec, 160 secs
lola: 3127955 markings, 4039875 edges, 17716 markings/sec, 165 secs
lola: 3215836 markings, 4159303 edges, 17576 markings/sec, 170 secs
lola: 3303461 markings, 4277853 edges, 17525 markings/sec, 175 secs
lola: 3391563 markings, 4396274 edges, 17620 markings/sec, 180 secs
lola: 3480793 markings, 4517574 edges, 17846 markings/sec, 185 secs
lola: 3570208 markings, 4639963 edges, 17883 markings/sec, 190 secs
lola: 3658986 markings, 4763800 edges, 17756 markings/sec, 195 secs
lola: 3748714 markings, 4885309 edges, 17946 markings/sec, 200 secs
lola: 3837259 markings, 5006112 edges, 17709 markings/sec, 205 secs
lola: 3926796 markings, 5129373 edges, 17907 markings/sec, 210 secs
lola: 4016655 markings, 5252178 edges, 17972 markings/sec, 215 secs
lola: 4104903 markings, 5373447 edges, 17650 markings/sec, 220 secs
lola: 4192818 markings, 5495002 edges, 17583 markings/sec, 225 secs
lola: 4280621 markings, 5617436 edges, 17561 markings/sec, 230 secs
lola: 4367815 markings, 5738753 edges, 17439 markings/sec, 235 secs
lola: 4454502 markings, 5858496 edges, 17337 markings/sec, 240 secs
lola: 4540584 markings, 5977880 edges, 17216 markings/sec, 245 secs
lola: 4628175 markings, 6098140 edges, 17518 markings/sec, 250 secs
lola: 4716727 markings, 6222386 edges, 17710 markings/sec, 255 secs
lola: 4804859 markings, 6345282 edges, 17626 markings/sec, 260 secs
lola: 4892807 markings, 6469448 edges, 17590 markings/sec, 265 secs
lola: 4980812 markings, 6592125 edges, 17601 markings/sec, 270 secs
lola: 5068749 markings, 6718343 edges, 17587 markings/sec, 275 secs
lola: 5157239 markings, 6841443 edges, 17698 markings/sec, 280 secs
lola: 5245332 markings, 6967196 edges, 17619 markings/sec, 285 secs
lola: 5333936 markings, 7091012 edges, 17721 markings/sec, 290 secs
lola: 5422568 markings, 7215913 edges, 17726 markings/sec, 295 secs
lola: 5510185 markings, 7341525 edges, 17523 markings/sec, 300 secs
lola: 5598181 markings, 7465860 edges, 17599 markings/sec, 305 secs
lola: 5685784 markings, 7590798 edges, 17521 markings/sec, 310 secs
lola: 5773999 markings, 7714544 edges, 17643 markings/sec, 315 secs
lola: 5860900 markings, 7838031 edges, 17380 markings/sec, 320 secs
lola: 5949714 markings, 7959680 edges, 17763 markings/sec, 325 secs
lola: 6032235 markings, 8077188 edges, 16504 markings/sec, 330 secs
lola: 6116237 markings, 8196529 edges, 16800 markings/sec, 335 secs
lola: 6199518 markings, 8312431 edges, 16656 markings/sec, 340 secs
lola: 6285348 markings, 8435777 edges, 17166 markings/sec, 345 secs
lola: 6372062 markings, 8560217 edges, 17343 markings/sec, 350 secs
lola: 6457228 markings, 8683478 edges, 17033 markings/sec, 355 secs
lola: 6542056 markings, 8805031 edges, 16966 markings/sec, 360 secs
lola: 6626909 markings, 8927457 edges, 16971 markings/sec, 365 secs
lola: 6712468 markings, 9049887 edges, 17112 markings/sec, 370 secs
lola: 6797929 markings, 9172341 edges, 17092 markings/sec, 375 secs
lola: 6884980 markings, 9296963 edges, 17410 markings/sec, 380 secs
lola: 6972000 markings, 9422721 edges, 17404 markings/sec, 385 secs
lola: 7058968 markings, 9548325 edges, 17394 markings/sec, 390 secs
lola: 7146230 markings, 9673531 edges, 17452 markings/sec, 395 secs
lola: 7232598 markings, 9799054 edges, 17274 markings/sec, 400 secs
lola: 7318885 markings, 9923456 edges, 17257 markings/sec, 405 secs
lola: 7405310 markings, 10049536 edges, 17285 markings/sec, 410 secs
lola: 7491448 markings, 10174870 edges, 17228 markings/sec, 415 secs
lola: 7577095 markings, 10300536 edges, 17129 markings/sec, 420 secs
lola: 7664044 markings, 10425422 edges, 17390 markings/sec, 425 secs
lola: 7751115 markings, 10549642 edges, 17414 markings/sec, 430 secs
lola: 7837237 markings, 10676209 edges, 17224 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: 98498 markings, 109579 edges, 19700 markings/sec, 0 secs
lola: 197119 markings, 221723 edges, 19724 markings/sec, 5 secs
lola: 292514 markings, 331561 edges, 19079 markings/sec, 10 secs
lola: 389144 markings, 444193 edges, 19326 markings/sec, 15 secs
lola: 485595 markings, 556499 edges, 19290 markings/sec, 20 secs
lola: 581478 markings, 669421 edges, 19177 markings/sec, 25 secs
lola: 677406 markings, 781543 edges, 19186 markings/sec, 30 secs
lola: 773230 markings, 894108 edges, 19165 markings/sec, 35 secs
lola: 868429 markings, 1007383 edges, 19040 markings/sec, 40 secs
lola: 961914 markings, 1117980 edges, 18697 markings/sec, 45 secs
lola: 1054847 markings, 1228742 edges, 18587 markings/sec, 50 secs
lola: 1148393 markings, 1339390 edges, 18709 markings/sec, 55 secs
lola: 1240911 markings, 1448763 edges, 18504 markings/sec, 60 secs
lola: 1334567 markings, 1560969 edges, 18731 markings/sec, 65 secs
lola: 1427126 markings, 1672491 edges, 18512 markings/sec, 70 secs
lola: 1520579 markings, 1784586 edges, 18691 markings/sec, 75 secs
lola: 1613716 markings, 1897747 edges, 18627 markings/sec, 80 secs
lola: 1705784 markings, 2008232 edges, 18414 markings/sec, 85 secs
lola: 1798686 markings, 2121042 edges, 18580 markings/sec, 90 secs
lola: 1891964 markings, 2233878 edges, 18656 markings/sec, 95 secs
lola: 1985017 markings, 2347081 edges, 18611 markings/sec, 100 secs
lola: 2077639 markings, 2459863 edges, 18524 markings/sec, 105 secs
lola: 2170297 markings, 2571772 edges, 18532 markings/sec, 110 secs
lola: 2262382 markings, 2685280 edges, 18417 markings/sec, 115 secs
lola: 2354358 markings, 2798176 edges, 18395 markings/sec, 120 secs
lola: 2446853 markings, 2911017 edges, 18499 markings/sec, 125 secs
lola: 2539601 markings, 3024465 edges, 18550 markings/sec, 130 secs
lola: 2632128 markings, 3137190 edges, 18505 markings/sec, 135 secs
lola: 2723401 markings, 3249629 edges, 18255 markings/sec, 140 secs
lola: 2814200 markings, 3362628 edges, 18160 markings/sec, 145 secs
lola: 2905294 markings, 3474829 edges, 18219 markings/sec, 150 secs
lola: 2996078 markings, 3586447 edges, 18157 markings/sec, 155 secs
lola: 3086152 markings, 3698177 edges, 18015 markings/sec, 160 secs
lola: 3177823 markings, 3811467 edges, 18334 markings/sec, 165 secs
lola: 3266972 markings, 3923360 edges, 17830 markings/sec, 170 secs
lola: 3357841 markings, 4035389 edges, 18174 markings/sec, 175 secs
lola: 3449105 markings, 4148354 edges, 18253 markings/sec, 180 secs
lola: 3539169 markings, 4261843 edges, 18013 markings/sec, 185 secs
lola: 3629137 markings, 4375203 edges, 17994 markings/sec, 190 secs
lola: 3718995 markings, 4488492 edges, 17972 markings/sec, 195 secs
lola: 3809353 markings, 4600946 edges, 18072 markings/sec, 200 secs
lola: 3898981 markings, 4713481 edges, 17926 markings/sec, 205 secs
lola: 3988993 markings, 4826287 edges, 18002 markings/sec, 210 secs
lola: 4078992 markings, 4938270 edges, 18000 markings/sec, 215 secs
lola: 4168428 markings, 5050594 edges, 17887 markings/sec, 220 secs
lola: 4258261 markings, 5163510 edges, 17967 markings/sec, 225 secs
lola: 4348213 markings, 5277292 edges, 17990 markings/sec, 230 secs
lola: 4437521 markings, 5390266 edges, 17862 markings/sec, 235 secs
lola: 4527389 markings, 5503848 edges, 17974 markings/sec, 240 secs
lola: 4616750 markings, 5616641 edges, 17872 markings/sec, 245 secs
lola: 4704983 markings, 5727868 edges, 17647 markings/sec, 250 secs
lola: 4795041 markings, 5840063 edges, 18012 markings/sec, 255 secs
lola: 4886408 markings, 5954740 edges, 18273 markings/sec, 260 secs
lola: 4976570 markings, 6071027 edges, 18032 markings/sec, 265 secs
lola: 5064588 markings, 6183441 edges, 17604 markings/sec, 270 secs
lola: 5153534 markings, 6296983 edges, 17789 markings/sec, 275 secs
lola: 5242801 markings, 6410316 edges, 17853 markings/sec, 280 secs
lola: 5331897 markings, 6522292 edges, 17819 markings/sec, 285 secs
lola: 5420090 markings, 6636011 edges, 17639 markings/sec, 290 secs
lola: 5504487 markings, 6743197 edges, 16879 markings/sec, 295 secs
lola: 5589633 markings, 6853042 edges, 17029 markings/sec, 300 secs
lola: 5675766 markings, 6964534 edges, 17227 markings/sec, 305 secs
lola: 5764567 markings, 7078768 edges, 17760 markings/sec, 310 secs
lola: 5853105 markings, 7191004 edges, 17708 markings/sec, 315 secs
lola: 5940411 markings, 7302404 edges, 17461 markings/sec, 320 secs
lola: 6028355 markings, 7416591 edges, 17589 markings/sec, 325 secs
lola: 6116271 markings, 7530726 edges, 17583 markings/sec, 330 secs
lola: 6204508 markings, 7642797 edges, 17647 markings/sec, 335 secs
lola: 6292267 markings, 7756313 edges, 17552 markings/sec, 340 secs
lola: 6380809 markings, 7870337 edges, 17708 markings/sec, 345 secs
lola: 6465567 markings, 7980309 edges, 16952 markings/sec, 350 secs
lola: 6551702 markings, 8091052 edges, 17227 markings/sec, 355 secs
lola: 6639079 markings, 8206114 edges, 17475 markings/sec, 360 secs
lola: 6727301 markings, 8319844 edges, 17644 markings/sec, 365 secs
lola: 6814486 markings, 8432908 edges, 17437 markings/sec, 370 secs
lola: 6902428 markings, 8547130 edges, 17588 markings/sec, 375 secs
lola: 6990858 markings, 8660616 edges, 17686 markings/sec, 380 secs
lola: 7079021 markings, 8775282 edges, 17633 markings/sec, 385 secs
lola: 7166414 markings, 8890006 edges, 17479 markings/sec, 390 secs
lola: 7254911 markings, 9004351 edges, 17699 markings/sec, 395 secs
lola: 7343216 markings, 9118848 edges, 17661 markings/sec, 400 secs
lola: 7431428 markings, 9233029 edges, 17642 markings/sec, 405 secs
lola: 7519044 markings, 9347597 edges, 17523 markings/sec, 410 secs
lola: 7607556 markings, 9463364 edges, 17702 markings/sec, 415 secs
lola: 7696383 markings, 9578439 edges, 17765 markings/sec, 420 secs
lola: 7783981 markings, 9692434 edges, 17520 markings/sec, 425 secs
lola: 7872885 markings, 9808183 edges, 17781 markings/sec, 430 secs
lola: 7961607 markings, 9924475 edges, 17744 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-structural"
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-structural"
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 r031-ebro-152646309100065"
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 ;