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-000100
export BK_EXAMINATION=ReachabilityCardinalityComparison
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1650
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/SharedMemory-PT-000100
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is SharedMemory-PT-000100, 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/000100 (P/T)

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

execution on node 3: quadhexa-2.u-paris10.fr (runId=136983896200439_n_3)
=====================================================================
runnning ITS-Tools on SharedMemory-PT-000100 (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-000100, examination is ReachabilityCardinalityComparison
=====================================================================

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

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

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

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

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