Introduction

Execution Chart

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

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.

export BK_INPUT=SharedMemory-PT-000050
export BK_EXAMINATION=CTLPlaceComparison
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1655
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/SharedMemory-PT-000050
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is SharedMemory-PT-000050, examination is CTLPlaceComparison'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of marcie for SharedMemory/000050 (P/T)

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

execution on node 2: quadhexa-2.u-paris10.fr (runId=136983895400178_n_2)
=====================================================================
runnning marcie on SharedMemory-PT-000050 (CTLPlaceComparison)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool marcie:
Test is SharedMemory-PT-000050, examination is CTLPlaceComparison
=====================================================================

--------------------
content from stdout:

START 1369864787

Marcie rev. 1103M (build: rohrch on 2013-02-17)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mem=4 --mcc-file=CTLPlaceComparison.txt

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 2651 NrTr: 5050)

net check time: 0m0sec

CANNOT_COMPUTE

STOP 1369864790

--------------------
content from stderr:

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok

mcc/mcc_parse.cc:759: Exception: parse error ctl p_1850_placecomparison_eq_x: A G (A G (true & (|marking(Queue_1)|=|marking(Active_1)|) & (|marking(Queue_8)|=|marking(Active_8)|) & (|marking(Queue_50)|=|marking(Active_50)|) & (|marking(Queue_29)|=|marking(Active_29)|) & (|marking(Queue_31)|=|marking(Active_31)|) & (|marking(Queue_26)|=|marking(Active_26)|) & (|marking(Queue_30)|=|marking(Active_30)|) & (|marking(Queue_45)|=|marking(Active_45)|) & (|marking(Queue_7)|=|marking(Active_7)|) & (|marking(Queue_28)|=|marking(Active_28)|) & (|marking(Queue_32)|=|marking(Active_32)|) & (|marking(Queue_2)|=|marking(Active_2)|) & (|marking(Queue_10)|=|marking(Active_10)|) & (|marking(Queue_49)|=|marking(Active_49)|) & (|marking(Queue_5)|=|marking(Active_5)|) & (|marking(Queue_23)|=|marking(Active_23)|) & (|marking(Queue_33)|=|marking(Active_33)|) & (|marking(Queue_41)|=|marking(Active_41)|) & (|marking(Queue_40)|=|marking(Active_40)|) & (|marking(Queue_3)|=|marking(Active_3)|) & (|marking(Queue_27)|=|marking(Active_27)|) & (|marking(Queue_6)|=|marking(Active_6)|) & (|marking(Queue_38)|=|marking(Active_38)|) & (|marking(Queue_12)|=|marking(Active_12)|) & (|marking(Queue_9)|=|marking(Active_9)|) & (|marking(Queue_44)|=|marking(Active_44)|) & (|marking(Queue_24)|=|marking(Active_24)|) & (|marking(Queue_15)|=|marking(Active_15)|) & (|marking(Queue_25)|=|marking(Active_25)|) & (|marking(Queue_19)|=|marking(Active_19)|) & (|marking(Queue_22)|=|marking(Active_22)|) & (|marking(Queue_47)|=|marking(Active_47)|) & (|marking(Queue_17)|=|marking(Active_17)|) & (|marking(Queue_34)|=|marking(Active_34)|) & (|marking(Queue_14)|=|marking(Active_14)|) & (|marking(Queue_20)|=|marking(Active_20)|) & (|marking(Queue_35)|=|marking(Active_35)|) & (|marking(Queue_37)|=|marking(Active_37)|) & (|marking(Queue_42)|=|marking(Active_42)|) & (|marking(Queue_39)|=|marking(Active_39)|) & (|marking(Queue_36)|=|marking(Active_36)|) & (|marking(Queue_16)|=|marking(Active_16)|) & (|marking(Queue_13)|=|marking(Active_13)|) & (|marking(Queue_11)|=|marking(Active_11)|) & (|marking(Queue_43)|=|marking(Active_43)|) & (|marking(Queue_46)|=|marking(Active_46)|) & (|marking(Queue_21)|=|marking(Active_21)|) & (|marking(Queue_18)|=|marking(Active_18)|) & (|marking(Queue_48)|=|marking(Active_48)|) & (|marking(Queue_4)|=|marking(Active_4)|)) => X (true & (|marking(Active_25)|!=|marking(OwnMemAcc_25)|) & (|marking(Active_1)|!=|marking(OwnMemAcc_1)|) & (|marking(Active_12)|!=|marking(OwnMemAcc_12)|) & (|marking(Active_27)|!=|marking(OwnMemAcc_27)|) & (|marking(Active_28)|!=|marking(OwnMemAcc_28)|) & (|marking(Active_43)|!=|marking(OwnMemAcc_43)|) & (|marking(Active_32)|!=|marking(OwnMemAcc_32)|) & (|marking(Active_20)|!=|marking(OwnMemAcc_20)|) & (|marking(Active_22)|!=|marking(OwnMemAcc_22)|) & (|marking(Active_6)|!=|marking(OwnMemAcc_6)|) & (|marking(Active_14)|!=|marking(OwnMemAcc_14)|) & (|marking(Active_24)|!=|marking(OwnMemAcc_24)|) & (|marking(Active_5)|!=|marking(OwnMemAcc_5)|) & (|marking(Active_45)|!=|marking(OwnMemAcc_45)|) & (|marking(Active_19)|!=|marking(OwnMemAcc_19)|) & (|marking(Active_13)|!=|marking(OwnMemAcc_13)|) & (|marking(Active_10)|!=|marking(OwnMemAcc_10)|) & (|marking(Active_34)|!=|marking(OwnMemAcc_34)|) & (|marking(Active_35)|!=|marking(OwnMemAcc_35)|) & (|marking(Active_44)|!=|marking(OwnMemAcc_44)|) & (|marking(Active_9)|!=|marking(OwnMemAcc_9)|) & (|marking(Active_26)|!=|marking(OwnMemAcc_26)|) & (|marking(Active_39)|!=|marking(OwnMemAcc_39)|) & (|marking(Active_36)|!=|marking(OwnMemAcc_36)|) & (|marking(Active_47)|!=|marking(OwnMemAcc_47)|) & (|marking(Active_42)|!=|marking(OwnMemAcc_42)|) & (|marking(Active_49)|!=|marking(OwnMemAcc_49)|) & (|marking(Active_37)|!=|marking(OwnMemAcc_37)|) & (|marking(Active_40)|!=|marking(OwnMemAcc_40)|) & (|marking(Active_7)|!=|marking(OwnMemAcc_7)|) & (|marking(Active_38)|!=|marking(OwnMemAcc_38)|) & (|marking(Active_8)|!=|marking(OwnMemAcc_8)|) & (|marking(Active_21)|!=|marking(OwnMemAcc_21)|) & (|marking(Active_41)|!=|marking(OwnMemAcc_41)|) & (|marking(Active_23)|!=|marking(OwnMemAcc_23)|) & (|marking(Active_50)|!=|marking(OwnMemAcc_50)|) & (|marking(Active_48)|!=|marking(OwnMemAcc_48)|) & (|marking(Active_11)|!=|marking(OwnMemAcc_11)|) & (|marking(Active_4)|!=|marking(OwnMemAcc_4)|) & (|marking(Active_30)|!=|marking(OwnMemAcc_30)|) & (|marking(Active_31)|!=|marking(OwnMemAcc_31)|) & (|marking(Active_15)|!=|marking(OwnMemAcc_15)|) & (|marking(Active_3)|!=|marking(OwnMemAcc_3)|) & (|marking(Active_46)|!=|marking(OwnMemAcc_46)|) & (|marking(Active_18)|!=|marking(OwnMemAcc_18)|) & (|marking(Active_2)|!=|marking(OwnMemAcc_2)|) & (|marking(Active_29)|!=|marking(OwnMemAcc_29)|) & (|marking(Active_17)|!=|marking(OwnMemAcc_17)|) & (|marking(Active_16)|!=|marking(OwnMemAcc_16)|) & (|marking(Active_33)|!=|marking(OwnMemAcc_33)|)))
ctl p_1851_placecomparison_full_and: E F (((true) & (true & (|marking(OwnMemAcc_44)|>|marking(Memory_44)|) & (|marking(OwnMemAcc_23)|>|marking(Memory_23)|) & (|marking(OwnMemAcc_2)|>|marking(Memory_2)|) & (|marking(OwnMemAcc_47)|>|marking(Memory_47)|) & (|marking(OwnMemAcc_41)|>|marking(Memory_41)|) & (|marking(OwnMemAcc_21)|>|marking(Memory_21)|) & (|marking(OwnMemAcc_17)|>|marking(Memory_17)|) & (|marking(OwnMemAcc_43)|>|marking(Memory_43)|) & (|marking(OwnMemAcc_38)|>|marking(Memory_38)|) & (|marking(OwnMemAcc_14)|>|marking(Memory_14)|) & (|marking(OwnMemAcc_48)|>|marking(Memory_48)|) & (|marking(OwnMemAcc_45)|>|marking(Memory_45)|) & (|marking(OwnMemAcc_12)|>|marking(Memory_12)|) & (|marking(OwnMemAcc_33)|>|marking(Memory_33)|) & (|marking(OwnMemAcc_28)|>|marking(Memory_28)|) & (|marking(OwnMemAcc_24)|>|marking(Memory_24)|) & (|marking(OwnMemAcc_5)|>|marking(Memory_5)|) & (|marking(OwnMemAcc_50)|>|marking(Memory_50)|) & (|marking(OwnMemAcc_13)|>|marking(Memory_13)|) & (|marking(OwnMemAcc_31)|>|marking(Memory_31)|) & (|marking(OwnMemAcc_35)|>|marking(Memory_35)|) & (|marking(OwnMemAcc_49)|>|marking(Memory_49)|) & (|marking(OwnMemAcc_6)|>|marking(Memory_6)|) & (|marking(OwnMemAcc_3)|>|marking(Memory_3)|) & (|marking(OwnMemAcc_46)|>|marking(Memory_46)|) & (|marking(OwnMemAcc_42)|>|marking(Memory_42)|) & (|marking(OwnMemAcc_39)|>|marking(Memory_39)|) & (|marking(OwnMemAcc_10)|>|marking(Memory_10)|) & (|marking(OwnMemAcc_30)|>|marking(Memory_30)|) & (|marking(OwnMemAcc_7)|>|marking(Memory_7)|) & (|marking(OwnMemAcc_34)|>|marking(Memory_34)|) & (|marking(OwnMemAcc_8)|>|marking(Memory_8)|) & (|marking(OwnMemAcc_16)|>|marking(Memory_16)|) & (|marking(OwnMemAcc_26)|>|marking(Memory_26)|) & (|marking(OwnMemAcc_1)|>|marking(Memory_1)|) & (|marking(OwnMemAcc_20)|>|marking(Memory_20)|) & (|marking(OwnMemAcc_40)|>|marking(Memory_40)|) & (|marking(OwnMemAcc_27)|>|marking(Memory_27)|) & (|marking(OwnMemAcc_18)|>|marking(Memory_18)|) & (|marking(OwnMemAcc_25)|>|marking(Memory_25)|) & (|marking(OwnMemAcc_11)|>|marking(Memory_11)|) & (|marking(OwnMemAcc_9)|>|marking(Memory_9)|) & (|marking(OwnMemAcc_15)|>|marking(Memory_15)|) & (|marking(OwnMemAcc_32)|>|marking(Memory_32)|) & (|marking(OwnMemAcc_37)|>|marking(Memory_37)|) & (|marking(OwnMemAcc_19)|>|marking(Memory_19)|) & (|marking(OwnMemAcc_22)|>|marking(Memory_22)|) & (|marking(OwnMemAcc_36)|>|marking(Memory_36)|) & (|marking(OwnMemAcc_29)|>|marking(Memory_29)|) & (|marking(OwnMemAcc_4)|>|marking(Memory_4)|))) & ((true) & (true & (|marking(OwnMemAcc_10)|>|marking(Active_10)|) & (|marking(OwnMemAcc_43)|>|marking(Active_43)|) & (|marking(OwnMemAcc_42)|>|marking(Active_42)|) & (|marking(OwnMemAcc_8)|>|marking(Active_8)|) & (|marking(OwnMemAcc_48)|>|marking(Active_48)|) & (|marking(OwnMemAcc_4)|>|marking(Active_4)|) & (|marking(OwnMemAcc_31)|>|marking(Active_31)|) & (|marking(OwnMemAcc_35)|>|marking(Active_35)|) & (|marking(OwnMemAcc_46)|>|marking(Active_46)|) & (|marking(OwnMemAcc_45)|>|marking(Active_45)|) & (|marking(OwnMemAcc_7)|>|marking(Active_7)|) & (|marking(OwnMemAcc_44)|>|marking(Active_44)|) & (|marking(OwnMemAcc_14)|>|marking(Active_14)|) & (|marking(OwnMemAcc_28)|>|marking(Active_28)|) & (|marking(OwnMemAcc_40)|>|marking(Active_40)|) & (|marking(OwnMemAcc_41)|>|marking(Active_41)|) & (|marking(OwnMemAcc_6)|>|marking(Active_6)|) & (|marking(OwnMemAcc_23)|>|marking(Active_23)|) & (|marking(OwnMemAcc_12)|>|marking(Active_12)|) & (|marking(OwnMemAcc_22)|>|marking(Active_22)|) & (|marking(OwnMemAcc_5)|>|marking(Active_5)|) & (|marking(OwnMemAcc_17)|>|marking(Active_17)|) & (|marking(OwnMemAcc_39)|>|marking(Active_39)|) & (|marking(OwnMemAcc_49)|>|marking(Active_49)|) & (|marking(OwnMemAcc_2)|>|marking(Active_2)|) & (|marking(OwnMemAcc_37)|>|marking(Active_37)|) & (|marking(OwnMemAcc_33)|>|marking(Active_33)|) & (|marking(OwnMemAcc_32)|>|marking(Active_32)|) & (|marking(OwnMemAcc_16)|>|marking(Active_16)|) & (|marking(OwnMemAcc_29)|>|marking(Active_29)|) & (|marking(OwnMemAcc_47)|>|marking(Active_47)|) & (|marking(OwnMemAcc_11)|>|marking(Active_11)|) & (|marking(OwnMemAcc_3)|>|marking(Active_3)|) & (|marking(OwnMemAcc_34)|>|marking(Active_34)|) & (|marking(OwnMemAcc_18)|>|marking(Active_18)|) & (|marking(OwnMemAcc_36)|>|marking(Active_36)|) & (|marking(OwnMemAcc_1)|>|marking(Active_1)|) & (|marking(OwnMemAcc_38)|>|marking(Active_38)|) & (|marking(OwnMemAcc_21)|>|marking(Active_21)|) & (|marking(OwnMemAcc_50)|>|marking(Active_50)|) & (|marking(OwnMemAcc_26)|>|marking(Active_26)|) & (|marking(OwnMemAcc_27)|>|marking(Active_27)|) & (|marking(OwnMemAcc_25)|>|marking(Active_25)|) & (|marking(OwnMemAcc_30)|>|marking(Active_30)|) & (|marking(OwnMemAcc_9)|>|marking(Active_9)|) & (|marking(OwnMemAcc_24)|>|marking(Active_24)|) & (|marking(OwnMemAcc_19)|>|marking(Active_19)|) & (|marking(OwnMemAcc_13)|>|marking(Active_13)|) & (|marking(OwnMemAcc_20)|>|marking(Active_20)|) & (|marking(OwnMemAcc_15)|>|marking(Active_15)|))))
ctl p_1852_placecomparison_full_or: A F (((true) & (true & (|marking(OwnMemAcc_44)|>|marking(Memory_44)|) & (|marking(OwnMemAcc_23)|>|marking(Memory_23)|) & (|marking(OwnMemAcc_2)|>|marking(Memory_2)|) & (|marking(OwnMemAcc_47)|>|marking(Memory_47)|) & (|marking(OwnMemAcc_41)|>|marking(Memory_41)|) & (|marking(OwnMemAcc_21)|>|marking(Memory_21)|) & (|marking(OwnMemAcc_17)|>|marking(Memory_17)|) & (|marking(OwnMemAcc_43)|>|marking(Memory_43)|) & (|marking(OwnMemAcc_38)|>|marking(Memory_38)|) & (|marking(OwnMemAcc_14)|>|marking(Memory_14)|) & (|marking(OwnMemAcc_48)|>|marking(Memory_48)|) & (|marking(OwnMemAcc_45)|>|marking(Memory_45)|) & (|marking(OwnMemAcc_12)|>|marking(Memory_12)|) & (|marking(OwnMemAcc_33)|>|marking(Memory_33)|) & (|marking(OwnMemAcc_28)|>|marking(Memory_28)|) & (|marking(OwnMemAcc_24)|>|marking(Memory_24)|) & (|marking(OwnMemAcc_5)|>|marking(Memory_5)|) & (|marking(OwnMemAcc_50)|>|marking(Memory_50)|) & (|marking(OwnMemAcc_13)|>|marking(Memory_13)|) & (|marking(OwnMemAcc_31)|>|marking(Memory_31)|) & (|marking(OwnMemAcc_35)|>|marking(Memory_35)|) & (|marking(OwnMemAcc_49)|>|marking(Memory_49)|) & (|marking(OwnMemAcc_6)|>|marking(Memory_6)|) & (|marking(OwnMemAcc_3)|>|marking(Memory_3)|) & (|marking(OwnMemAcc_46)|>|marking(Memory_46)|) & (|marking(OwnMemAcc_42)|>|marking(Memory_42)|) & (|marking(OwnMemAcc_39)|>|marking(Memory_39)|) & (|marking(OwnMemAcc_10)|>|marking(Memory_10)|) & (|marking(OwnMemAcc_30)|>|marking(Memory_30)|) & (|marking(OwnMemAcc_7)|>|marking(Memory_7)|) & (|marking(OwnMemAcc_34)|>|marking(Memory_34)|) & (|marking(OwnMemAcc_8)|>|marking(Memory_8)|) & (|marking(OwnMemAcc_16)|>|marking(Memory_16)|) & (|marking(OwnMemAcc_26)|>|marking(Memory_26)|) & (|marking(OwnMemAcc_1)|>|marking(Memory_1)|) & (|marking(OwnMemAcc_20)|>|marking(Memory_20)|) & (|marking(OwnMemAcc_40)|>|marking(Memory_40)|) & (|marking(OwnMemAcc_27)|>|marking(Memory_27)|) & (|marking(OwnMemAcc_18)|>|marking(Memory_18)|) & (|marking(OwnMemAcc_25)|>|marking(Memory_25)|) & (|marking(OwnMemAcc_11)|>|marking(Memory_11)|) & (|marking(OwnMemAcc_9)|>|marking(Memory_9)|) & (|marking(OwnMemAcc_15)|>|marking(Memory_15)|) & (|marking(OwnMemAcc_32)|>|marking(Memory_32)|) & (|marking(OwnMemAcc_37)|>|marking(Memory_37)|) & (|marking(OwnMemAcc_19)|>|marking(Memory_19)|) & (|marking(OwnMemAcc_22)|>|marking(Memory_22)|) & (|marking(OwnMemAcc_36)|>|marking(Memory_36)|) & (|marking(OwnMemAcc_29)|>|marking(Memory_29)|) & (|marking(OwnMemAcc_4)|>|marking(Memory_4)|))) | ((true) & (true & (|marking(OwnMemAcc_10)|>|marking(Active_10)|) & (|marking(OwnMemAcc_43)|>|marking(Active_43)|) & (|marking(OwnMemAcc_42)|>|marking(Active_42)|) & (|marking(OwnMemAcc_8)|>|marking(Active_8)|) & (|marking(OwnMemAcc_48)|>|marking(Active_48)|) & (|marking(OwnMemAcc_4)|>|marking(Active_4)|) & (|marking(OwnMemAcc_31)|>|marking(Active_31)|) & (|marking(OwnMemAcc_35)|>|marking(Active_35)|) & (|marking(OwnMemAcc_46)|>|marking(Active_46)|) & (|marking(OwnMemAcc_45)|>|marking(Active_45)|) & (|marking(OwnMemAcc_7)|>|marking(Active_7)|) & (|marking(OwnMemAcc_44)|>|marking(Active_44)|) & (|marking(OwnMemAcc_14)|>|marking(Active_14)|) & (|marking(OwnMemAcc_28)|>|marking(Active_28)|) & (|marking(OwnMemAcc_40)|>|marking(Active_40)|) & (|marking(OwnMemAcc_41)|>|marking(Active_41)|) & (|marking(OwnMemAcc_6)|>|marking(Active_6)|) & (|marking(OwnMemAcc_23)|>|marking(Active_23)|) & (|marking(OwnMemAcc_12)|>|marking(Active_12)|) & (|marking(OwnMemAcc_22)|>|marking(Active_22)|) & (|marking(OwnMemAcc_5)|>|marking(Active_5)|) & (|marking(OwnMemAcc_17)|>|marking(Active_17)|) & (|marking(OwnMemAcc_39)|>|marking(Active_39)|) & (|marking(OwnMemAcc_49)|>|marking(Active_49)|) & (|marking(OwnMemAcc_2)|>|marking(Active_2)|) & (|marking(OwnMemAcc_37)|>|marking(Active_37)|) & (|marking(OwnMemAcc_33)|>|marking(Active_33)|) & (|marking(OwnMemAcc_32)|>|marking(Active_32)|) & (|marking(OwnMemAcc_16)|>|marking(Active_16)|) & (|marking(OwnMemAcc_29)|>|marking(Active_29)|) & (|marking(OwnMemAcc_47)|>|marking(Active_47)|) & (|marking(OwnMemAcc_11)|>|marking(Active_11)|) & (|marking(OwnMemAcc_3)|>|marking(Active_3)|) & (|marking(OwnMemAcc_34)|>|marking(Active_34)|) & (|marking(OwnMemAcc_18)|>|marking(Active_18)|) & (|marking(OwnMemAcc_36)|>|marking(Active_36)|) & (|marking(OwnMemAcc_1)|>|marking(Active_1)|) & (|marking(OwnMemAcc_38)|>|marking(Active_38)|) & (|marking(OwnMemAcc_21)|>|marking(Active_21)|) & (|marking(OwnMemAcc_50)|>|marking(Active_50)|) & (|marking(OwnMemAcc_26)|>|marking(Active_26)|) & (|marking(OwnMemAcc_27)|>|marking(Active_27)|) & (|marking(OwnMemAcc_25)|>|marking(Active_25)|) & (|marking(OwnMemAcc_30)|>|marking(Active_30)|) & (|marking(OwnMemAcc_9)|>|marking(Active_9)|) & (|marking(OwnMemAcc_24)|>|marking(Active_24)|) & (|marking(OwnMemAcc_19)|>|marking(Active_19)|) & (|marking(OwnMemAcc_13)|>|marking(Active_13)|) & (|marking(OwnMemAcc_20)|>|marking(Active_20)|) & (|marking(OwnMemAcc_15)|>|marking(Active_15)|))))
ctl p_1853_placecomparison_full_and_notx: E G (((true) & (true & (|marking(OwnMemAcc_44)|>|marking(Memory_44)|) & (|marking(OwnMemAcc_23)|>|marking(Memory_23)|) & (|marking(OwnMemAcc_2)|>|marking(Memory_2)|) & (|marking(OwnMemAcc_47)|>|marking(Memory_47)|) & (|marking(OwnMemAcc_41)|>|marking(Memory_41)|) & (|marking(OwnMemAcc_21)|>|marking(Memory_21)|) & (|marking(OwnMemAcc_17)|>|marking(Memory_17)|) & (|marking(OwnMemAcc_43)|>|marking(Memory_43)|) & (|marking(OwnMemAcc_38)|>|marking(Memory_38)|) & (|marking(OwnMemAcc_14)|>|marking(Memory_14)|) & (|marking(OwnMemAcc_48)|>|marking(Memory_48)|) & (|marking(OwnMemAcc_45)|>|marking(Memory_45)|) & (|marking(OwnMemAcc_12)|>|marking(Memory_12)|) & (|marking(OwnMemAcc_33)|>|marking(Memory_33)|) & (|marking(OwnMemAcc_28)|>|marking(Memory_28)|) & (|marking(OwnMemAcc_24)|>|marking(Memory_24)|) & (|marking(OwnMemAcc_5)|>|marking(Memory_5)|) & (|marking(OwnMemAcc_50)|>|marking(Memory_50)|) & (|marking(OwnMemAcc_13)|>|marking(Memory_13)|) & (|marking(OwnMemAcc_31)|>|marking(Memory_31)|) & (|marking(OwnMemAcc_35)|>|marking(Memory_35)|) & (|marking(OwnMemAcc_49)|>|marking(Memory_49)|) & (|marking(OwnMemAcc_6)|>|marking(Memory_6)|) & (|marking(OwnMemAcc_3)|>|marking(Memory_3)|) & (|marking(OwnMemAcc_46)|>|marking(Memory_46)|) & (|marking(OwnMemAcc_42)|>|marking(Memory_42)|) & (|marking(OwnMemAcc_39)|>|marking(Memory_39)|) & (|marking(OwnMemAcc_10)|>|marking(Memory_10)|) & (|marking(OwnMemAcc_30)|>|marking(Memory_30)|) & (|marking(OwnMemAcc_7)|>|marking(Memory_7)|) & (|marking(OwnMemAcc_34)|>|marking(Memory_34)|) & (|marking(OwnMemAcc_8)|>|marking(Memory_8)|) & (|marking(OwnMemAcc_16)|>|marking(Memory_16)|) & (|marking(OwnMemAcc_26)|>|marking(Memory_26)|) & (|marking(OwnMemAcc_1)|>|marking(Memory_1)|) & (|marking(OwnMemAcc_20)|>|marking(Memory_20)|) & (|marking(OwnMemAcc_40)|>|marking(Memory_40)|) & (|marking(OwnMemAcc_27)|>|marking(Memory_27)|) & (|marking(OwnMemAcc_18)|>|marking(Memory_18)|) & (|marking(OwnMemAcc_25)|>|marking(Memory_25)|) & (|marking(OwnMemAcc_11)|>|marking(Memory_11)|) & (|marking(OwnMemAcc_9)|>|marking(Memory_9)|) & (|marking(OwnMemAcc_15)|>|marking(Memory_15)|) & (|marking(OwnMemAcc_32)|>|marking(Memory_32)|) & (|marking(OwnMemAcc_37)|>|marking(Memory_37)|) & (|marking(OwnMemAcc_19)|>|marking(Memory_19)|) & (|marking(OwnMemAcc_22)|>|marking(Memory_22)|) & (|marking(OwnMemAcc_36)|>|marking(Memory_36)|) & (|marking(OwnMemAcc_29)|>|marking(Memory_29)|) & (|marking(OwnMemAcc_4)|>|marking(Memory_4)|))) & ((true) & (true & (|marking(OwnMemAcc_10)|>|marking(Active_10)|) & (|marking(OwnMemAcc_43)|>|marking(Active_43)|) & (|marking(OwnMemAcc_42)|>|marking(Active_42)|) & (|marking(OwnMemAcc_8)|>|marking(Active_8)|) & (|marking(OwnMemAcc_48)|>|marking(Active_48)|) & (|marking(OwnMemAcc_4)|>|marking(Active_4)|) & (|marking(OwnMemAcc_31)|>|marking(Active_31)|) & (|marking(OwnMemAcc_35)|>|marking(Active_35)|) & (|marking(OwnMemAcc_46)|>|marking(Active_46)|) & (|marking(OwnMemAcc_45)|>|marking(Active_45)|) & (|marking(OwnMemAcc_7)|>|marking(Active_7)|) & (|marking(OwnMemAcc_44)|>|marking(Active_44)|) & (|marking(OwnMemAcc_14)|>|marking(Active_14)|) & (|marking(OwnMemAcc_28)|>|marking(Active_28)|) & (|marking(OwnMemAcc_40)|>|marking(Active_40)|) & (|marking(OwnMemAcc_41)|>|marking(Active_41)|) & (|marking(OwnMemAcc_6)|>|marking(Active_6)|) & (|marking(OwnMemAcc_23)|>|marking(Active_23)|) & (|marking(OwnMemAcc_12)|>|marking(Active_12)|) & (|marking(OwnMemAcc_22)|>|marking(Active_22)|) & (|marking(OwnMemAcc_5)|>|marking(Active_5)|) & (|marking(OwnMemAcc_17)|>|marking(Active_17)|) & (|marking(OwnMemAcc_39)|>|marking(Active_39)|) & (|marking(OwnMemAcc_49)|>|marking(Active_49)|) & (|marking(OwnMemAcc_2)|>|marking(Active_2)|) & (|marking(OwnMemAcc_37)|>|marking(Active_37)|) & (|marking(OwnMemAcc_33)|>|marking(Active_33)|) & (|marking(OwnMemAcc_32)|>|marking(Active_32)|) & (|marking(OwnMemAcc_16)|>|marking(Active_16)|) & (|marking(OwnMemAcc_29)|>|marking(Active_29)|) & (|marking(OwnMemAcc_47)|>|marking(Active_47)|) & (|marking(OwnMemAcc_11)|>|marking(Active_11)|) & (|marking(OwnMemAcc_3)|>|marking(Active_3)|) & (|marking(OwnMemAcc_34)|>|marking(Active_34)|) & (|marking(OwnMemAcc_18)|>|marking(Active_18)|) & (|marking(OwnMemAcc_36)|>|marking(Active_36)|) & (|marking(OwnMemAcc_1)|>|marking(Active_1)|) & (|marking(OwnMemAcc_38)|>|marking(Active_38)|) & (|marking(OwnMemAcc_21)|>|marking(Active_21)|) & (|marking(OwnMemAcc_50)|>|marking(Active_50)|) & (|marking(OwnMemAcc_26)|>|marking(Active_26)|) & (|marking(OwnMemAcc_27)|>|marking(Active_27)|) & (|marking(OwnMemAcc_25)|>|marking(Active_25)|) & (|marking(OwnMemAcc_30)|>|marking(Active_30)|) & (|marking(OwnMemAcc_9)|>|marking(Active_9)|) & (|marking(OwnMemAcc_24)|>|marking(Active_24)|) & (|marking(OwnMemAcc_19)|>|marking(Active_19)|) & (|marking(OwnMemAcc_13)|>|marking(Active_13)|) & (|marking(OwnMemAcc_20)|>|marking(Active_20)|) & (|marking(OwnMemAcc_15)|>|marking(Active_15)|))))


--------------------
content from /tmp/BenchKit_head_log_file.1655: