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=ReachabilityCardinalityComparison
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1659
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 ITS-Tools:'
echo ' Test is SharedMemory-PT-000050, examination is ReachabilityCardinalityComparison'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of ITS-Tools 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=136983896200438_n_2)
=====================================================================
runnning ITS-Tools on SharedMemory-PT-000050 (ReachabilityCardinalityComparison)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool ITS-Tools:
Test is SharedMemory-PT-000050, examination is ReachabilityCardinalityComparison
=====================================================================

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

START 1369873449
/home/mcc/BenchKit/bin/its-reach -i modelMain.xml -t ITSXML -ssDR 5 --quiet -reachable-file ReachabilityCardinalityComparison.prop --nowitness
STOP 1369873449

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

Read property : p_18_cardinalitycomparison_eq_or with value :(((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)=(pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1))||((pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1)!=(pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)))
Read property : p_19_cardinalitycomparison_eq_and_notx with value :(((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)=(pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1))&&!((pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1)!=(pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)))
Read property : p_20_cardinalitycomparison_eq_or_notx with value :(((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)=(pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1))||!((pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1)!=(pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)))
Read property : p_21_cardinalitycomparison_eq_x with value :((!((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)=(pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1)) && ((pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1)!=(pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2))))||( !(!((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)=(pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1)) && !((pset.3.OwnMemAcc4+pset.0.OwnMemAcc+pset.2.OwnMemAcc3+pset.3.OwnMemAcc0+pset.1.OwnMemAcc8+pset.1.OwnMemAcc1+pset.1.OwnMemAcc2+pset.2.OwnMemAcc2+pset.1.OwnMemAcc9+pset.1.OwnMemAcc7+pset.1.OwnMemAcc5+pset.1.OwnMemAcc4+pset.1.OwnMemAcc6+pset.8.OwnMemAcc+pset.0.OwnMemAcc2+pset.0.OwnMemAcc4+pset.2.OwnMemAcc9+pset.0.OwnMemAcc0+pset.4.OwnMemAcc0+pset.3.OwnMemAcc8+pset.2.OwnMemAcc5+pset.2.OwnMemAcc1+pset.3.OwnMemAcc7+pset.2.OwnMemAcc7+pset.1.OwnMemAcc0+pset.2.OwnMemAcc8+pset.1.OwnMemAcc+pset.3.OwnMemAcc2+pset.0.OwnMemAcc7+pset.7.OwnMemAcc+pset.0.OwnMemAcc6+pset.3.OwnMemAcc+pset.0.OwnMemAcc8+pset.3.OwnMemAcc6+pset.2.OwnMemAcc6+pset.0.OwnMemAcc9+pset.3.OwnMemAcc3+pset.0.OwnMemAcc3+pset.3.OwnMemAcc5+pset.6.OwnMemAcc+pset.0.OwnMemAcc1+pset.4.OwnMemAcc+pset.5.OwnMemAcc+pset.2.OwnMemAcc4+pset.1.OwnMemAcc3+pset.2.OwnMemAcc0+pset.3.OwnMemAcc9+pset.0.OwnMemAcc5+pset.2.OwnMemAcc+pset.3.OwnMemAcc1)!=(pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2))) )
Read property : p_22_cardinalitycomparison_full_and with value :(((pset.3.Active9+pset.3.Active2+pset.3.Active8+pset.0.Active4+pset.5.Active+pset.3.Active3+pset.3.Active4+pset.2.Active5+pset.0.Active3+pset.3.Active0+pset.4.Active0+pset.1.Active6+pset.8.Active+pset.3.Active7+pset.2.Active0+pset.0.Active0+pset.6.Active+pset.1.Active+pset.1.Active2+pset.0.Active7+pset.0.Active5+pset.0.Active2+pset.0.Active1+pset.2.Active7+pset.1.Active1+pset.1.Active5+pset.1.Active3+pset.3.Active6+pset.0.Active8+pset.0.Active6+pset.2.Active3+pset.4.Active+pset.3.Active1+pset.1.Active9+pset.1.Active8+pset.3.Active+pset.2.Active9+pset.1.Active4+pset.2.Active2+pset.2.Active4+pset.3.Active5+pset.2.Active8+pset.0.Active+pset.1.Active0+pset.1.Active7+pset.0.Active9+pset.2.Active+pset.7.Active+pset.2.Active1+pset.2.Active6)>(pset.7.Queue+pset.0.Queue3+pset.0.Queue5+pset.2.Queue7+pset.2.Queue6+pset.1.Queue2+pset.2.Queue3+pset.2.Queue0+pset.3.Queue1+pset.3.Queue8+pset.4.Queue0+pset.1.Queue4+pset.1.Queue8+pset.8.Queue+pset.2.Queue+pset.0.Queue2+pset.1.Queue5+pset.1.Queue7+pset.1.Queue9+pset.1.Queue0+pset.0.Queue7+pset.0.Queue+pset.6.Queue+pset.1.Queue+pset.0.Queue9+pset.2.Queue9+pset.3.Queue9+pset.0.Queue4+pset.3.Queue6+pset.2.Queue1+pset.1.Queue1+pset.2.Queue4+pset.2.Queue2+pset.5.Queue+pset.0.Queue8+pset.3.Queue4+pset.3.Queue3+pset.3.Queue0+pset.4.Queue+pset.1.Queue6+pset.1.Queue3+pset.0.Queue1+pset.3.Queue2+pset.3.Queue5+pset.2.Queue5+pset.3.Queue+pset.0.Queue6+pset.0.Queue0+pset.3.Queue7+pset.2.Queue8))&&((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)<(pset.7.Queue+pset.0.Queue3+pset.0.Queue5+pset.2.Queue7+pset.2.Queue6+pset.1.Queue2+pset.2.Queue3+pset.2.Queue0+pset.3.Queue1+pset.3.Queue8+pset.4.Queue0+pset.1.Queue4+pset.1.Queue8+pset.8.Queue+pset.2.Queue+pset.0.Queue2+pset.1.Queue5+pset.1.Queue7+pset.1.Queue9+pset.1.Queue0+pset.0.Queue7+pset.0.Queue+pset.6.Queue+pset.1.Queue+pset.0.Queue9+pset.2.Queue9+pset.3.Queue9+pset.0.Queue4+pset.3.Queue6+pset.2.Queue1+pset.1.Queue1+pset.2.Queue4+pset.2.Queue2+pset.5.Queue+pset.0.Queue8+pset.3.Queue4+pset.3.Queue3+pset.3.Queue0+pset.4.Queue+pset.1.Queue6+pset.1.Queue3+pset.0.Queue1+pset.3.Queue2+pset.3.Queue5+pset.2.Queue5+pset.3.Queue+pset.0.Queue6+pset.0.Queue0+pset.3.Queue7+pset.2.Queue8)))
Read property : p_23_cardinalitycomparison_full_or with value :(((pset.3.Active9+pset.3.Active2+pset.3.Active8+pset.0.Active4+pset.5.Active+pset.3.Active3+pset.3.Active4+pset.2.Active5+pset.0.Active3+pset.3.Active0+pset.4.Active0+pset.1.Active6+pset.8.Active+pset.3.Active7+pset.2.Active0+pset.0.Active0+pset.6.Active+pset.1.Active+pset.1.Active2+pset.0.Active7+pset.0.Active5+pset.0.Active2+pset.0.Active1+pset.2.Active7+pset.1.Active1+pset.1.Active5+pset.1.Active3+pset.3.Active6+pset.0.Active8+pset.0.Active6+pset.2.Active3+pset.4.Active+pset.3.Active1+pset.1.Active9+pset.1.Active8+pset.3.Active+pset.2.Active9+pset.1.Active4+pset.2.Active2+pset.2.Active4+pset.3.Active5+pset.2.Active8+pset.0.Active+pset.1.Active0+pset.1.Active7+pset.0.Active9+pset.2.Active+pset.7.Active+pset.2.Active1+pset.2.Active6)>(pset.7.Queue+pset.0.Queue3+pset.0.Queue5+pset.2.Queue7+pset.2.Queue6+pset.1.Queue2+pset.2.Queue3+pset.2.Queue0+pset.3.Queue1+pset.3.Queue8+pset.4.Queue0+pset.1.Queue4+pset.1.Queue8+pset.8.Queue+pset.2.Queue+pset.0.Queue2+pset.1.Queue5+pset.1.Queue7+pset.1.Queue9+pset.1.Queue0+pset.0.Queue7+pset.0.Queue+pset.6.Queue+pset.1.Queue+pset.0.Queue9+pset.2.Queue9+pset.3.Queue9+pset.0.Queue4+pset.3.Queue6+pset.2.Queue1+pset.1.Queue1+pset.2.Queue4+pset.2.Queue2+pset.5.Queue+pset.0.Queue8+pset.3.Queue4+pset.3.Queue3+pset.3.Queue0+pset.4.Queue+pset.1.Queue6+pset.1.Queue3+pset.0.Queue1+pset.3.Queue2+pset.3.Queue5+pset.2.Queue5+pset.3.Queue+pset.0.Queue6+pset.0.Queue0+pset.3.Queue7+pset.2.Queue8))||((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)<(pset.7.Queue+pset.0.Queue3+pset.0.Queue5+pset.2.Queue7+pset.2.Queue6+pset.1.Queue2+pset.2.Queue3+pset.2.Queue0+pset.3.Queue1+pset.3.Queue8+pset.4.Queue0+pset.1.Queue4+pset.1.Queue8+pset.8.Queue+pset.2.Queue+pset.0.Queue2+pset.1.Queue5+pset.1.Queue7+pset.1.Queue9+pset.1.Queue0+pset.0.Queue7+pset.0.Queue+pset.6.Queue+pset.1.Queue+pset.0.Queue9+pset.2.Queue9+pset.3.Queue9+pset.0.Queue4+pset.3.Queue6+pset.2.Queue1+pset.1.Queue1+pset.2.Queue4+pset.2.Queue2+pset.5.Queue+pset.0.Queue8+pset.3.Queue4+pset.3.Queue3+pset.3.Queue0+pset.4.Queue+pset.1.Queue6+pset.1.Queue3+pset.0.Queue1+pset.3.Queue2+pset.3.Queue5+pset.2.Queue5+pset.3.Queue+pset.0.Queue6+pset.0.Queue0+pset.3.Queue7+pset.2.Queue8)))
Read property : p_24_cardinalitycomparison_full_and_notx with value :(((pset.3.Active9+pset.3.Active2+pset.3.Active8+pset.0.Active4+pset.5.Active+pset.3.Active3+pset.3.Active4+pset.2.Active5+pset.0.Active3+pset.3.Active0+pset.4.Active0+pset.1.Active6+pset.8.Active+pset.3.Active7+pset.2.Active0+pset.0.Active0+pset.6.Active+pset.1.Active+pset.1.Active2+pset.0.Active7+pset.0.Active5+pset.0.Active2+pset.0.Active1+pset.2.Active7+pset.1.Active1+pset.1.Active5+pset.1.Active3+pset.3.Active6+pset.0.Active8+pset.0.Active6+pset.2.Active3+pset.4.Active+pset.3.Active1+pset.1.Active9+pset.1.Active8+pset.3.Active+pset.2.Active9+pset.1.Active4+pset.2.Active2+pset.2.Active4+pset.3.Active5+pset.2.Active8+pset.0.Active+pset.1.Active0+pset.1.Active7+pset.0.Active9+pset.2.Active+pset.7.Active+pset.2.Active1+pset.2.Active6)>(pset.7.Queue+pset.0.Queue3+pset.0.Queue5+pset.2.Queue7+pset.2.Queue6+pset.1.Queue2+pset.2.Queue3+pset.2.Queue0+pset.3.Queue1+pset.3.Queue8+pset.4.Queue0+pset.1.Queue4+pset.1.Queue8+pset.8.Queue+pset.2.Queue+pset.0.Queue2+pset.1.Queue5+pset.1.Queue7+pset.1.Queue9+pset.1.Queue0+pset.0.Queue7+pset.0.Queue+pset.6.Queue+pset.1.Queue+pset.0.Queue9+pset.2.Queue9+pset.3.Queue9+pset.0.Queue4+pset.3.Queue6+pset.2.Queue1+pset.1.Queue1+pset.2.Queue4+pset.2.Queue2+pset.5.Queue+pset.0.Queue8+pset.3.Queue4+pset.3.Queue3+pset.3.Queue0+pset.4.Queue+pset.1.Queue6+pset.1.Queue3+pset.0.Queue1+pset.3.Queue2+pset.3.Queue5+pset.2.Queue5+pset.3.Queue+pset.0.Queue6+pset.0.Queue0+pset.3.Queue7+pset.2.Queue8))&&((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2)<(pset.7.Queue+pset.0.Queue3+pset.0.Queue5+pset.2.Queue7+pset.2.Queue6+pset.1.Queue2+pset.2.Queue3+pset.2.Queue0+pset.3.Queue1+pset.3.Queue8+pset.4.Queue0+pset.1.Queue4+pset.1.Queue8+pset.8.Queue+pset.2.Queue+pset.0.Queue2+pset.1.Queue5+pset.1.Queue7+pset.1.Queue9+pset.1.Queue0+pset.0.Queue7+pset.0.Queue+pset.6.Queue+pset.1.Queue+pset.0.Queue9+pset.2.Queue9+pset.3.Queue9+pset.0.Queue4+pset.3.Queue6+pset.2.Queue1+pset.1.Queue1+pset.2.Queue4+pset.2.Queue2+pset.5.Queue+pset.0.Queue8+pset.3.Queue4+pset.3.Queue3+pset.3.Queue0+pset.4.Queue+pset.1.Queue6+pset.1.Queue3+pset.0.Queue1+pset.3.Queue2+pset.3.Queue5+pset.2.Queue5+pset.3.Queue+pset.0.Queue6+pset.0.Queue0+pset.3.Queue7+pset.2.Queue8)))
Unable to read property (skipping this line):
Syntax Error : Mismatched paren problem in predicate : ((pset.2.Memory9+pset.0.Memory6+pset.3.Memory2+pset.4.Memory+pset.3.Memory5+pset.6.Memory+pset.1.Memory4+pset.2.Memory5+pset.3.Memory4+pset.0.Memory7+pset.2.Memory0+pset.1.Memory8+pset.2.Memory4+pset.2.Memory+pset.1.Memory1+pset.5.Memory+pset.1.Memory+pset.2.Memory1+pset.0.Memory8+pset.2.Memory2+pset.2.Memory3+pset.3.Memory9+pset.3.Memory1+pset.1.Memory9+pset.0.Memory3+pset.2.Memory8+pset.0.Memory4+pset.1.Memory6+pset.4.Memory0+pset.0.Memory0+pset.1.Memory5+pset.1.Memory0+pset.3.Memory3+pset.0.Memory5+pset.3.Memory+pset.3.Memory7+pset.8.Memory+pset.3.Memory0+pset.0.Memory1+pset.0.Memory2+pset.0.Memory9+pset.7.Memory+pset.1.Memory7+pset.2.Memory7+pset.0.Memory+pset.1.Memory3+pset.3.Memory6+pset.3.Memory8+pset.2.Memory6+pset.1.Memory2

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