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

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

execution on node 4: quadhexa-2.u-paris10.fr (runId=136983896200440_n_4)
=====================================================================
runnning ITS-Tools on SharedMemory-PT-000200 (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-000200, examination is ReachabilityCardinalityComparison
=====================================================================

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

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

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

Read property : p_18_cardinalitycomparison_eq_or with value :(((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)!=(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24))||((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)=(pset.0.Active99+pset.5.Active2+pset.0.Active9+pset.0.Active46+pset.7.Active4+pset.0.Active10+pset.0.Active58+pset.0.Active12+pset.8.Active6+pset.0.Active76+pset.0.Active23+pset.0.Active84+pset.6.Active+pset.0.Active42+pset.8.Active3+pset.4.Active9+pset.6.Active6+pset.0.Active98+pset.0.Active16+pset.3.Active7+pset.0.Active1+pset.0.Active54+pset.0.Active0+pset.7.Active0+pset.0.Active85+pset.3.Active1+pset.6.Active8+pset.0.Active21+pset.0.Active83+pset.5.Active1+pset.8.Active4+pset.0.Active03+pset.0.Active91+pset.0.Active07+pset.0.Active48+pset.0.Active40+pset.4.Active3+pset.1.Active9+pset.0.Active+pset.6.Active9+pset.0.Active6+pset.6.Active4+pset.0.Active15+pset.1.Active2+pset.0.Active32+pset.0.Active26+pset.2.Active6+pset.2.Active8+pset.8.Active0+pset.0.Active13+pset.0.Active4+pset.3.Active6+pset.0.Active53+pset.0.Active69+pset.0.Active88+pset.0.Active47+pset.0.Active45+pset.0.Active79+pset.1.Active5+pset.6.Active2+pset.0.Active25+pset.6.Active5+pset.7.Active7+pset.0.Active75+pset.0.Active33+pset.0.Active02+pset.6.Active1+pset.0.Active04+pset.0.Active80+pset.8.Active7+pset.0.Active8+pset.0.Active57+pset.7.Active8+pset.7.Active5+pset.6.Active0+pset.0.Active49+pset.0.Active5+pset.3.Active9+pset.7.Active9+pset.4.Active0+pset.0.Active29+pset.0.Active7+pset.3.Active0+pset.0.Active14+pset.4.Active7+pset.5.Active9+pset.6.Active7+pset.0.Active78+pset.4.Active8+pset.0.Active44+pset.0.Active82+pset.0.Active19+pset.8.Active+pset.0.Active05+pset.3.Active4+pset.1.Active3+pset.0.Active11+pset.1.Active+pset.2.Active4+pset.0.Active89+pset.0.Active97+pset.0.Active74+pset.7.Active2+pset.0.Active24+pset.0.Active95+pset.0.Active37+pset.4.Active5+pset.8.Active9+pset.3.Active+pset.3.Active8+pset.0.Active2+pset.0.Active71+pset.0.Active51+pset.0.Active81+pset.7.Active1+pset.4.Active1+pset.2.Active+pset.0.Active50+pset.0.Active62+pset.0.Active28+pset.2.Active0+pset.0.Active08+pset.0.Active36+pset.0.Active06+pset.8.Active1+pset.0.Active67+pset.0.Active20+pset.0.Active77+pset.0.Active52+pset.3.Active3+pset.0.Active17+pset.4.Active4+pset.0.Active39+pset.3.Active2+pset.1.Active1+pset.5.Active3+pset.0.Active38+pset.4.Active2+pset.1.Active7+pset.6.Active3+pset.0.Active56+pset.0.Active94+pset.8.Active8+pset.4.Active6+pset.0.Active09+pset.2.Active9+pset.5.Active7+pset.2.Active2+pset.0.Active73+pset.0.Active30+pset.0.Active59+pset.0.Active3+pset.2.Active5+pset.0.Active92+pset.0.Active00+pset.0.Active61+pset.2.Active7+pset.2.Active1+pset.5.Active5+pset.0.Active55+pset.0.Active68+pset.8.Active5+pset.0.Active31+pset.0.Active65+pset.1.Active4+pset.5.Active0+pset.7.Active+pset.1.Active0+pset.0.Active60+pset.0.Active43+pset.1.Active6+pset.0.Active63+pset.1.Active00+pset.0.Active86+pset.0.Active72+pset.0.Active35+pset.5.Active8+pset.7.Active3+pset.7.Active6+pset.0.Active66+pset.0.Active93+pset.0.Active64+pset.0.Active96+pset.5.Active6+pset.5.Active4+pset.1.Active8+pset.0.Active22+pset.0.Active01+pset.4.Active+pset.2.Active3+pset.0.Active41+pset.5.Active+pset.0.Active90+pset.0.Active34+pset.0.Active70+pset.3.Active5+pset.0.Active18+pset.0.Active87+pset.8.Active2+pset.0.Active27)))
Read property : p_19_cardinalitycomparison_eq_and_notx with value :(((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)!=(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24))&&!((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)=(pset.0.Active99+pset.5.Active2+pset.0.Active9+pset.0.Active46+pset.7.Active4+pset.0.Active10+pset.0.Active58+pset.0.Active12+pset.8.Active6+pset.0.Active76+pset.0.Active23+pset.0.Active84+pset.6.Active+pset.0.Active42+pset.8.Active3+pset.4.Active9+pset.6.Active6+pset.0.Active98+pset.0.Active16+pset.3.Active7+pset.0.Active1+pset.0.Active54+pset.0.Active0+pset.7.Active0+pset.0.Active85+pset.3.Active1+pset.6.Active8+pset.0.Active21+pset.0.Active83+pset.5.Active1+pset.8.Active4+pset.0.Active03+pset.0.Active91+pset.0.Active07+pset.0.Active48+pset.0.Active40+pset.4.Active3+pset.1.Active9+pset.0.Active+pset.6.Active9+pset.0.Active6+pset.6.Active4+pset.0.Active15+pset.1.Active2+pset.0.Active32+pset.0.Active26+pset.2.Active6+pset.2.Active8+pset.8.Active0+pset.0.Active13+pset.0.Active4+pset.3.Active6+pset.0.Active53+pset.0.Active69+pset.0.Active88+pset.0.Active47+pset.0.Active45+pset.0.Active79+pset.1.Active5+pset.6.Active2+pset.0.Active25+pset.6.Active5+pset.7.Active7+pset.0.Active75+pset.0.Active33+pset.0.Active02+pset.6.Active1+pset.0.Active04+pset.0.Active80+pset.8.Active7+pset.0.Active8+pset.0.Active57+pset.7.Active8+pset.7.Active5+pset.6.Active0+pset.0.Active49+pset.0.Active5+pset.3.Active9+pset.7.Active9+pset.4.Active0+pset.0.Active29+pset.0.Active7+pset.3.Active0+pset.0.Active14+pset.4.Active7+pset.5.Active9+pset.6.Active7+pset.0.Active78+pset.4.Active8+pset.0.Active44+pset.0.Active82+pset.0.Active19+pset.8.Active+pset.0.Active05+pset.3.Active4+pset.1.Active3+pset.0.Active11+pset.1.Active+pset.2.Active4+pset.0.Active89+pset.0.Active97+pset.0.Active74+pset.7.Active2+pset.0.Active24+pset.0.Active95+pset.0.Active37+pset.4.Active5+pset.8.Active9+pset.3.Active+pset.3.Active8+pset.0.Active2+pset.0.Active71+pset.0.Active51+pset.0.Active81+pset.7.Active1+pset.4.Active1+pset.2.Active+pset.0.Active50+pset.0.Active62+pset.0.Active28+pset.2.Active0+pset.0.Active08+pset.0.Active36+pset.0.Active06+pset.8.Active1+pset.0.Active67+pset.0.Active20+pset.0.Active77+pset.0.Active52+pset.3.Active3+pset.0.Active17+pset.4.Active4+pset.0.Active39+pset.3.Active2+pset.1.Active1+pset.5.Active3+pset.0.Active38+pset.4.Active2+pset.1.Active7+pset.6.Active3+pset.0.Active56+pset.0.Active94+pset.8.Active8+pset.4.Active6+pset.0.Active09+pset.2.Active9+pset.5.Active7+pset.2.Active2+pset.0.Active73+pset.0.Active30+pset.0.Active59+pset.0.Active3+pset.2.Active5+pset.0.Active92+pset.0.Active00+pset.0.Active61+pset.2.Active7+pset.2.Active1+pset.5.Active5+pset.0.Active55+pset.0.Active68+pset.8.Active5+pset.0.Active31+pset.0.Active65+pset.1.Active4+pset.5.Active0+pset.7.Active+pset.1.Active0+pset.0.Active60+pset.0.Active43+pset.1.Active6+pset.0.Active63+pset.1.Active00+pset.0.Active86+pset.0.Active72+pset.0.Active35+pset.5.Active8+pset.7.Active3+pset.7.Active6+pset.0.Active66+pset.0.Active93+pset.0.Active64+pset.0.Active96+pset.5.Active6+pset.5.Active4+pset.1.Active8+pset.0.Active22+pset.0.Active01+pset.4.Active+pset.2.Active3+pset.0.Active41+pset.5.Active+pset.0.Active90+pset.0.Active34+pset.0.Active70+pset.3.Active5+pset.0.Active18+pset.0.Active87+pset.8.Active2+pset.0.Active27)))
Read property : p_20_cardinalitycomparison_eq_or_notx with value :(((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)!=(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24))||!((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)=(pset.0.Active99+pset.5.Active2+pset.0.Active9+pset.0.Active46+pset.7.Active4+pset.0.Active10+pset.0.Active58+pset.0.Active12+pset.8.Active6+pset.0.Active76+pset.0.Active23+pset.0.Active84+pset.6.Active+pset.0.Active42+pset.8.Active3+pset.4.Active9+pset.6.Active6+pset.0.Active98+pset.0.Active16+pset.3.Active7+pset.0.Active1+pset.0.Active54+pset.0.Active0+pset.7.Active0+pset.0.Active85+pset.3.Active1+pset.6.Active8+pset.0.Active21+pset.0.Active83+pset.5.Active1+pset.8.Active4+pset.0.Active03+pset.0.Active91+pset.0.Active07+pset.0.Active48+pset.0.Active40+pset.4.Active3+pset.1.Active9+pset.0.Active+pset.6.Active9+pset.0.Active6+pset.6.Active4+pset.0.Active15+pset.1.Active2+pset.0.Active32+pset.0.Active26+pset.2.Active6+pset.2.Active8+pset.8.Active0+pset.0.Active13+pset.0.Active4+pset.3.Active6+pset.0.Active53+pset.0.Active69+pset.0.Active88+pset.0.Active47+pset.0.Active45+pset.0.Active79+pset.1.Active5+pset.6.Active2+pset.0.Active25+pset.6.Active5+pset.7.Active7+pset.0.Active75+pset.0.Active33+pset.0.Active02+pset.6.Active1+pset.0.Active04+pset.0.Active80+pset.8.Active7+pset.0.Active8+pset.0.Active57+pset.7.Active8+pset.7.Active5+pset.6.Active0+pset.0.Active49+pset.0.Active5+pset.3.Active9+pset.7.Active9+pset.4.Active0+pset.0.Active29+pset.0.Active7+pset.3.Active0+pset.0.Active14+pset.4.Active7+pset.5.Active9+pset.6.Active7+pset.0.Active78+pset.4.Active8+pset.0.Active44+pset.0.Active82+pset.0.Active19+pset.8.Active+pset.0.Active05+pset.3.Active4+pset.1.Active3+pset.0.Active11+pset.1.Active+pset.2.Active4+pset.0.Active89+pset.0.Active97+pset.0.Active74+pset.7.Active2+pset.0.Active24+pset.0.Active95+pset.0.Active37+pset.4.Active5+pset.8.Active9+pset.3.Active+pset.3.Active8+pset.0.Active2+pset.0.Active71+pset.0.Active51+pset.0.Active81+pset.7.Active1+pset.4.Active1+pset.2.Active+pset.0.Active50+pset.0.Active62+pset.0.Active28+pset.2.Active0+pset.0.Active08+pset.0.Active36+pset.0.Active06+pset.8.Active1+pset.0.Active67+pset.0.Active20+pset.0.Active77+pset.0.Active52+pset.3.Active3+pset.0.Active17+pset.4.Active4+pset.0.Active39+pset.3.Active2+pset.1.Active1+pset.5.Active3+pset.0.Active38+pset.4.Active2+pset.1.Active7+pset.6.Active3+pset.0.Active56+pset.0.Active94+pset.8.Active8+pset.4.Active6+pset.0.Active09+pset.2.Active9+pset.5.Active7+pset.2.Active2+pset.0.Active73+pset.0.Active30+pset.0.Active59+pset.0.Active3+pset.2.Active5+pset.0.Active92+pset.0.Active00+pset.0.Active61+pset.2.Active7+pset.2.Active1+pset.5.Active5+pset.0.Active55+pset.0.Active68+pset.8.Active5+pset.0.Active31+pset.0.Active65+pset.1.Active4+pset.5.Active0+pset.7.Active+pset.1.Active0+pset.0.Active60+pset.0.Active43+pset.1.Active6+pset.0.Active63+pset.1.Active00+pset.0.Active86+pset.0.Active72+pset.0.Active35+pset.5.Active8+pset.7.Active3+pset.7.Active6+pset.0.Active66+pset.0.Active93+pset.0.Active64+pset.0.Active96+pset.5.Active6+pset.5.Active4+pset.1.Active8+pset.0.Active22+pset.0.Active01+pset.4.Active+pset.2.Active3+pset.0.Active41+pset.5.Active+pset.0.Active90+pset.0.Active34+pset.0.Active70+pset.3.Active5+pset.0.Active18+pset.0.Active87+pset.8.Active2+pset.0.Active27)))
Read property : p_21_cardinalitycomparison_eq_x with value :(!((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)!=(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24)) <=> !((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8)=(pset.0.Active99+pset.5.Active2+pset.0.Active9+pset.0.Active46+pset.7.Active4+pset.0.Active10+pset.0.Active58+pset.0.Active12+pset.8.Active6+pset.0.Active76+pset.0.Active23+pset.0.Active84+pset.6.Active+pset.0.Active42+pset.8.Active3+pset.4.Active9+pset.6.Active6+pset.0.Active98+pset.0.Active16+pset.3.Active7+pset.0.Active1+pset.0.Active54+pset.0.Active0+pset.7.Active0+pset.0.Active85+pset.3.Active1+pset.6.Active8+pset.0.Active21+pset.0.Active83+pset.5.Active1+pset.8.Active4+pset.0.Active03+pset.0.Active91+pset.0.Active07+pset.0.Active48+pset.0.Active40+pset.4.Active3+pset.1.Active9+pset.0.Active+pset.6.Active9+pset.0.Active6+pset.6.Active4+pset.0.Active15+pset.1.Active2+pset.0.Active32+pset.0.Active26+pset.2.Active6+pset.2.Active8+pset.8.Active0+pset.0.Active13+pset.0.Active4+pset.3.Active6+pset.0.Active53+pset.0.Active69+pset.0.Active88+pset.0.Active47+pset.0.Active45+pset.0.Active79+pset.1.Active5+pset.6.Active2+pset.0.Active25+pset.6.Active5+pset.7.Active7+pset.0.Active75+pset.0.Active33+pset.0.Active02+pset.6.Active1+pset.0.Active04+pset.0.Active80+pset.8.Active7+pset.0.Active8+pset.0.Active57+pset.7.Active8+pset.7.Active5+pset.6.Active0+pset.0.Active49+pset.0.Active5+pset.3.Active9+pset.7.Active9+pset.4.Active0+pset.0.Active29+pset.0.Active7+pset.3.Active0+pset.0.Active14+pset.4.Active7+pset.5.Active9+pset.6.Active7+pset.0.Active78+pset.4.Active8+pset.0.Active44+pset.0.Active82+pset.0.Active19+pset.8.Active+pset.0.Active05+pset.3.Active4+pset.1.Active3+pset.0.Active11+pset.1.Active+pset.2.Active4+pset.0.Active89+pset.0.Active97+pset.0.Active74+pset.7.Active2+pset.0.Active24+pset.0.Active95+pset.0.Active37+pset.4.Active5+pset.8.Active9+pset.3.Active+pset.3.Active8+pset.0.Active2+pset.0.Active71+pset.0.Active51+pset.0.Active81+pset.7.Active1+pset.4.Active1+pset.2.Active+pset.0.Active50+pset.0.Active62+pset.0.Active28+pset.2.Active0+pset.0.Active08+pset.0.Active36+pset.0.Active06+pset.8.Active1+pset.0.Active67+pset.0.Active20+pset.0.Active77+pset.0.Active52+pset.3.Active3+pset.0.Active17+pset.4.Active4+pset.0.Active39+pset.3.Active2+pset.1.Active1+pset.5.Active3+pset.0.Active38+pset.4.Active2+pset.1.Active7+pset.6.Active3+pset.0.Active56+pset.0.Active94+pset.8.Active8+pset.4.Active6+pset.0.Active09+pset.2.Active9+pset.5.Active7+pset.2.Active2+pset.0.Active73+pset.0.Active30+pset.0.Active59+pset.0.Active3+pset.2.Active5+pset.0.Active92+pset.0.Active00+pset.0.Active61+pset.2.Active7+pset.2.Active1+pset.5.Active5+pset.0.Active55+pset.0.Active68+pset.8.Active5+pset.0.Active31+pset.0.Active65+pset.1.Active4+pset.5.Active0+pset.7.Active+pset.1.Active0+pset.0.Active60+pset.0.Active43+pset.1.Active6+pset.0.Active63+pset.1.Active00+pset.0.Active86+pset.0.Active72+pset.0.Active35+pset.5.Active8+pset.7.Active3+pset.7.Active6+pset.0.Active66+pset.0.Active93+pset.0.Active64+pset.0.Active96+pset.5.Active6+pset.5.Active4+pset.1.Active8+pset.0.Active22+pset.0.Active01+pset.4.Active+pset.2.Active3+pset.0.Active41+pset.5.Active+pset.0.Active90+pset.0.Active34+pset.0.Active70+pset.3.Active5+pset.0.Active18+pset.0.Active87+pset.8.Active2+pset.0.Active27)))
Read property : p_22_cardinalitycomparison_full_and with value :(((pset.6.Memory+pset.0.Memory96+pset.0.Memory71+pset.4.Memory6+pset.7.Memory7+pset.0.Memory07+pset.0.Memory78+pset.0.Memory74+pset.0.Memory03+pset.0.Memory56+pset.0.Memory2+pset.0.Memory24+pset.0.Memory19+pset.0.Memory57+pset.0.Memory66+pset.4.Memory2+pset.0.Memory12+pset.0.Memory65+pset.0.Memory36+pset.0.Memory91+pset.4.Memory9+pset.4.Memory3+pset.7.Memory5+pset.0.Memory8+pset.0.Memory3+pset.0.Memory0+pset.8.Memory7+pset.3.Memory2+pset.8.Memory+pset.5.Memory+pset.0.Memory99+pset.0.Memory93+pset.0.Memory50+pset.0.Memory63+pset.3.Memory0+pset.8.Memory0+pset.5.Memory6+pset.8.Memory9+pset.3.Memory+pset.4.Memory4+pset.0.Memory11+pset.0.Memory62+pset.0.Memory41+pset.2.Memory9+pset.8.Memory5+pset.3.Memory5+pset.1.Memory0+pset.3.Memory3+pset.3.Memory4+pset.2.Memory6+pset.6.Memory5+pset.6.Memory6+pset.0.Memory45+pset.0.Memory44+pset.0.Memory37+pset.1.Memory4+pset.0.Memory14+pset.8.Memory4+pset.2.Memory8+pset.0.Memory7+pset.0.Memory47+pset.8.Memory6+pset.2.Memory3+pset.5.Memory2+pset.7.Memory4+pset.2.Memory+pset.0.Memory06+pset.3.Memory6+pset.0.Memory09+pset.0.Memory26+pset.0.Memory55+pset.0.Memory4+pset.1.Memory2+pset.4.Memory8+pset.2.Memory4+pset.7.Memory6+pset.0.Memory32+pset.0.Memory02+pset.0.Memory33+pset.0.Memory83+pset.5.Memory9+pset.6.Memory1+pset.0.Memory81+pset.0.Memory20+pset.0.Memory22+pset.0.Memory92+pset.3.Memory7+pset.0.Memory49+pset.0.Memory68+pset.0.Memory61+pset.0.Memory16+pset.0.Memory38+pset.0.Memory67+pset.0.Memory48+pset.4.Memory1+pset.0.Memory64+pset.6.Memory3+pset.1.Memory6+pset.0.Memory18+pset.0.Memory70+pset.1.Memory1+pset.0.Memory10+pset.0.Memory00+pset.0.Memory21+pset.4.Memory+pset.1.Memory00+pset.1.Memory5+pset.0.Memory89+pset.1.Memory8+pset.0.Memory5+pset.0.Memory72+pset.0.Memory80+pset.7.Memory0+pset.0.Memory13+pset.2.Memory1+pset.8.Memory1+pset.0.Memory84+pset.0.Memory98+pset.0.Memory04+pset.0.Memory97+pset.6.Memory0+pset.0.Memory82+pset.0.Memory58+pset.6.Memory4+pset.1.Memory7+pset.0.Memory39+pset.5.Memory8+pset.0.Memory69+pset.8.Memory8+pset.0.Memory94+pset.0.Memory75+pset.0.Memory53+pset.0.Memory35+pset.6.Memory9+pset.6.Memory7+pset.0.Memory6+pset.0.Memory54+pset.0.Memory79+pset.2.Memory7+pset.7.Memory2+pset.0.Memory43+pset.8.Memory2+pset.5.Memory5+pset.0.Memory73+pset.0.Memory30+pset.5.Memory3+pset.1.Memory9+pset.0.Memory42+pset.0.Memory52+pset.0.Memory85+pset.4.Memory5+pset.7.Memory1+pset.0.Memory40+pset.0.Memory15+pset.8.Memory3+pset.1.Memory+pset.3.Memory8+pset.2.Memory0+pset.0.Memory59+pset.0.Memory87+pset.0.Memory08+pset.4.Memory0+pset.7.Memory9+pset.5.Memory4+pset.0.Memory46+pset.0.Memory17+pset.0.Memory1+pset.4.Memory7+pset.6.Memory2+pset.0.Memory31+pset.0.Memory76+pset.0.Memory05+pset.0.Memory25+pset.2.Memory2+pset.7.Memory3+pset.3.Memory1+pset.0.Memory9+pset.0.Memory88+pset.0.Memory27+pset.2.Memory5+pset.5.Memory1+pset.0.Memory34+pset.0.Memory01+pset.5.Memory0+pset.0.Memory90+pset.7.Memory+pset.0.Memory29+pset.0.Memory86+pset.7.Memory8+pset.6.Memory8+pset.5.Memory7+pset.0.Memory+pset.0.Memory23+pset.1.Memory3+pset.0.Memory51+pset.0.Memory60+pset.0.Memory77+pset.0.Memory28+pset.0.Memory95+pset.3.Memory9)<=(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24))&&((pset.6.Memory+pset.0.Memory96+pset.0.Memory71+pset.4.Memory6+pset.7.Memory7+pset.0.Memory07+pset.0.Memory78+pset.0.Memory74+pset.0.Memory03+pset.0.Memory56+pset.0.Memory2+pset.0.Memory24+pset.0.Memory19+pset.0.Memory57+pset.0.Memory66+pset.4.Memory2+pset.0.Memory12+pset.0.Memory65+pset.0.Memory36+pset.0.Memory91+pset.4.Memory9+pset.4.Memory3+pset.7.Memory5+pset.0.Memory8+pset.0.Memory3+pset.0.Memory0+pset.8.Memory7+pset.3.Memory2+pset.8.Memory+pset.5.Memory+pset.0.Memory99+pset.0.Memory93+pset.0.Memory50+pset.0.Memory63+pset.3.Memory0+pset.8.Memory0+pset.5.Memory6+pset.8.Memory9+pset.3.Memory+pset.4.Memory4+pset.0.Memory11+pset.0.Memory62+pset.0.Memory41+pset.2.Memory9+pset.8.Memory5+pset.3.Memory5+pset.1.Memory0+pset.3.Memory3+pset.3.Memory4+pset.2.Memory6+pset.6.Memory5+pset.6.Memory6+pset.0.Memory45+pset.0.Memory44+pset.0.Memory37+pset.1.Memory4+pset.0.Memory14+pset.8.Memory4+pset.2.Memory8+pset.0.Memory7+pset.0.Memory47+pset.8.Memory6+pset.2.Memory3+pset.5.Memory2+pset.7.Memory4+pset.2.Memory+pset.0.Memory06+pset.3.Memory6+pset.0.Memory09+pset.0.Memory26+pset.0.Memory55+pset.0.Memory4+pset.1.Memory2+pset.4.Memory8+pset.2.Memory4+pset.7.Memory6+pset.0.Memory32+pset.0.Memory02+pset.0.Memory33+pset.0.Memory83+pset.5.Memory9+pset.6.Memory1+pset.0.Memory81+pset.0.Memory20+pset.0.Memory22+pset.0.Memory92+pset.3.Memory7+pset.0.Memory49+pset.0.Memory68+pset.0.Memory61+pset.0.Memory16+pset.0.Memory38+pset.0.Memory67+pset.0.Memory48+pset.4.Memory1+pset.0.Memory64+pset.6.Memory3+pset.1.Memory6+pset.0.Memory18+pset.0.Memory70+pset.1.Memory1+pset.0.Memory10+pset.0.Memory00+pset.0.Memory21+pset.4.Memory+pset.1.Memory00+pset.1.Memory5+pset.0.Memory89+pset.1.Memory8+pset.0.Memory5+pset.0.Memory72+pset.0.Memory80+pset.7.Memory0+pset.0.Memory13+pset.2.Memory1+pset.8.Memory1+pset.0.Memory84+pset.0.Memory98+pset.0.Memory04+pset.0.Memory97+pset.6.Memory0+pset.0.Memory82+pset.0.Memory58+pset.6.Memory4+pset.1.Memory7+pset.0.Memory39+pset.5.Memory8+pset.0.Memory69+pset.8.Memory8+pset.0.Memory94+pset.0.Memory75+pset.0.Memory53+pset.0.Memory35+pset.6.Memory9+pset.6.Memory7+pset.0.Memory6+pset.0.Memory54+pset.0.Memory79+pset.2.Memory7+pset.7.Memory2+pset.0.Memory43+pset.8.Memory2+pset.5.Memory5+pset.0.Memory73+pset.0.Memory30+pset.5.Memory3+pset.1.Memory9+pset.0.Memory42+pset.0.Memory52+pset.0.Memory85+pset.4.Memory5+pset.7.Memory1+pset.0.Memory40+pset.0.Memory15+pset.8.Memory3+pset.1.Memory+pset.3.Memory8+pset.2.Memory0+pset.0.Memory59+pset.0.Memory87+pset.0.Memory08+pset.4.Memory0+pset.7.Memory9+pset.5.Memory4+pset.0.Memory46+pset.0.Memory17+pset.0.Memory1+pset.4.Memory7+pset.6.Memory2+pset.0.Memory31+pset.0.Memory76+pset.0.Memory05+pset.0.Memory25+pset.2.Memory2+pset.7.Memory3+pset.3.Memory1+pset.0.Memory9+pset.0.Memory88+pset.0.Memory27+pset.2.Memory5+pset.5.Memory1+pset.0.Memory34+pset.0.Memory01+pset.5.Memory0+pset.0.Memory90+pset.7.Memory+pset.0.Memory29+pset.0.Memory86+pset.7.Memory8+pset.6.Memory8+pset.5.Memory7+pset.0.Memory+pset.0.Memory23+pset.1.Memory3+pset.0.Memory51+pset.0.Memory60+pset.0.Memory77+pset.0.Memory28+pset.0.Memory95+pset.3.Memory9)>(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24)))
Read property : p_23_cardinalitycomparison_full_or with value :(((pset.6.Memory+pset.0.Memory96+pset.0.Memory71+pset.4.Memory6+pset.7.Memory7+pset.0.Memory07+pset.0.Memory78+pset.0.Memory74+pset.0.Memory03+pset.0.Memory56+pset.0.Memory2+pset.0.Memory24+pset.0.Memory19+pset.0.Memory57+pset.0.Memory66+pset.4.Memory2+pset.0.Memory12+pset.0.Memory65+pset.0.Memory36+pset.0.Memory91+pset.4.Memory9+pset.4.Memory3+pset.7.Memory5+pset.0.Memory8+pset.0.Memory3+pset.0.Memory0+pset.8.Memory7+pset.3.Memory2+pset.8.Memory+pset.5.Memory+pset.0.Memory99+pset.0.Memory93+pset.0.Memory50+pset.0.Memory63+pset.3.Memory0+pset.8.Memory0+pset.5.Memory6+pset.8.Memory9+pset.3.Memory+pset.4.Memory4+pset.0.Memory11+pset.0.Memory62+pset.0.Memory41+pset.2.Memory9+pset.8.Memory5+pset.3.Memory5+pset.1.Memory0+pset.3.Memory3+pset.3.Memory4+pset.2.Memory6+pset.6.Memory5+pset.6.Memory6+pset.0.Memory45+pset.0.Memory44+pset.0.Memory37+pset.1.Memory4+pset.0.Memory14+pset.8.Memory4+pset.2.Memory8+pset.0.Memory7+pset.0.Memory47+pset.8.Memory6+pset.2.Memory3+pset.5.Memory2+pset.7.Memory4+pset.2.Memory+pset.0.Memory06+pset.3.Memory6+pset.0.Memory09+pset.0.Memory26+pset.0.Memory55+pset.0.Memory4+pset.1.Memory2+pset.4.Memory8+pset.2.Memory4+pset.7.Memory6+pset.0.Memory32+pset.0.Memory02+pset.0.Memory33+pset.0.Memory83+pset.5.Memory9+pset.6.Memory1+pset.0.Memory81+pset.0.Memory20+pset.0.Memory22+pset.0.Memory92+pset.3.Memory7+pset.0.Memory49+pset.0.Memory68+pset.0.Memory61+pset.0.Memory16+pset.0.Memory38+pset.0.Memory67+pset.0.Memory48+pset.4.Memory1+pset.0.Memory64+pset.6.Memory3+pset.1.Memory6+pset.0.Memory18+pset.0.Memory70+pset.1.Memory1+pset.0.Memory10+pset.0.Memory00+pset.0.Memory21+pset.4.Memory+pset.1.Memory00+pset.1.Memory5+pset.0.Memory89+pset.1.Memory8+pset.0.Memory5+pset.0.Memory72+pset.0.Memory80+pset.7.Memory0+pset.0.Memory13+pset.2.Memory1+pset.8.Memory1+pset.0.Memory84+pset.0.Memory98+pset.0.Memory04+pset.0.Memory97+pset.6.Memory0+pset.0.Memory82+pset.0.Memory58+pset.6.Memory4+pset.1.Memory7+pset.0.Memory39+pset.5.Memory8+pset.0.Memory69+pset.8.Memory8+pset.0.Memory94+pset.0.Memory75+pset.0.Memory53+pset.0.Memory35+pset.6.Memory9+pset.6.Memory7+pset.0.Memory6+pset.0.Memory54+pset.0.Memory79+pset.2.Memory7+pset.7.Memory2+pset.0.Memory43+pset.8.Memory2+pset.5.Memory5+pset.0.Memory73+pset.0.Memory30+pset.5.Memory3+pset.1.Memory9+pset.0.Memory42+pset.0.Memory52+pset.0.Memory85+pset.4.Memory5+pset.7.Memory1+pset.0.Memory40+pset.0.Memory15+pset.8.Memory3+pset.1.Memory+pset.3.Memory8+pset.2.Memory0+pset.0.Memory59+pset.0.Memory87+pset.0.Memory08+pset.4.Memory0+pset.7.Memory9+pset.5.Memory4+pset.0.Memory46+pset.0.Memory17+pset.0.Memory1+pset.4.Memory7+pset.6.Memory2+pset.0.Memory31+pset.0.Memory76+pset.0.Memory05+pset.0.Memory25+pset.2.Memory2+pset.7.Memory3+pset.3.Memory1+pset.0.Memory9+pset.0.Memory88+pset.0.Memory27+pset.2.Memory5+pset.5.Memory1+pset.0.Memory34+pset.0.Memory01+pset.5.Memory0+pset.0.Memory90+pset.7.Memory+pset.0.Memory29+pset.0.Memory86+pset.7.Memory8+pset.6.Memory8+pset.5.Memory7+pset.0.Memory+pset.0.Memory23+pset.1.Memory3+pset.0.Memory51+pset.0.Memory60+pset.0.Memory77+pset.0.Memory28+pset.0.Memory95+pset.3.Memory9)<=(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24))||((pset.6.Memory+pset.0.Memory96+pset.0.Memory71+pset.4.Memory6+pset.7.Memory7+pset.0.Memory07+pset.0.Memory78+pset.0.Memory74+pset.0.Memory03+pset.0.Memory56+pset.0.Memory2+pset.0.Memory24+pset.0.Memory19+pset.0.Memory57+pset.0.Memory66+pset.4.Memory2+pset.0.Memory12+pset.0.Memory65+pset.0.Memory36+pset.0.Memory91+pset.4.Memory9+pset.4.Memory3+pset.7.Memory5+pset.0.Memory8+pset.0.Memory3+pset.0.Memory0+pset.8.Memory7+pset.3.Memory2+pset.8.Memory+pset.5.Memory+pset.0.Memory99+pset.0.Memory93+pset.0.Memory50+pset.0.Memory63+pset.3.Memory0+pset.8.Memory0+pset.5.Memory6+pset.8.Memory9+pset.3.Memory+pset.4.Memory4+pset.0.Memory11+pset.0.Memory62+pset.0.Memory41+pset.2.Memory9+pset.8.Memory5+pset.3.Memory5+pset.1.Memory0+pset.3.Memory3+pset.3.Memory4+pset.2.Memory6+pset.6.Memory5+pset.6.Memory6+pset.0.Memory45+pset.0.Memory44+pset.0.Memory37+pset.1.Memory4+pset.0.Memory14+pset.8.Memory4+pset.2.Memory8+pset.0.Memory7+pset.0.Memory47+pset.8.Memory6+pset.2.Memory3+pset.5.Memory2+pset.7.Memory4+pset.2.Memory+pset.0.Memory06+pset.3.Memory6+pset.0.Memory09+pset.0.Memory26+pset.0.Memory55+pset.0.Memory4+pset.1.Memory2+pset.4.Memory8+pset.2.Memory4+pset.7.Memory6+pset.0.Memory32+pset.0.Memory02+pset.0.Memory33+pset.0.Memory83+pset.5.Memory9+pset.6.Memory1+pset.0.Memory81+pset.0.Memory20+pset.0.Memory22+pset.0.Memory92+pset.3.Memory7+pset.0.Memory49+pset.0.Memory68+pset.0.Memory61+pset.0.Memory16+pset.0.Memory38+pset.0.Memory67+pset.0.Memory48+pset.4.Memory1+pset.0.Memory64+pset.6.Memory3+pset.1.Memory6+pset.0.Memory18+pset.0.Memory70+pset.1.Memory1+pset.0.Memory10+pset.0.Memory00+pset.0.Memory21+pset.4.Memory+pset.1.Memory00+pset.1.Memory5+pset.0.Memory89+pset.1.Memory8+pset.0.Memory5+pset.0.Memory72+pset.0.Memory80+pset.7.Memory0+pset.0.Memory13+pset.2.Memory1+pset.8.Memory1+pset.0.Memory84+pset.0.Memory98+pset.0.Memory04+pset.0.Memory97+pset.6.Memory0+pset.0.Memory82+pset.0.Memory58+pset.6.Memory4+pset.1.Memory7+pset.0.Memory39+pset.5.Memory8+pset.0.Memory69+pset.8.Memory8+pset.0.Memory94+pset.0.Memory75+pset.0.Memory53+pset.0.Memory35+pset.6.Memory9+pset.6.Memory7+pset.0.Memory6+pset.0.Memory54+pset.0.Memory79+pset.2.Memory7+pset.7.Memory2+pset.0.Memory43+pset.8.Memory2+pset.5.Memory5+pset.0.Memory73+pset.0.Memory30+pset.5.Memory3+pset.1.Memory9+pset.0.Memory42+pset.0.Memory52+pset.0.Memory85+pset.4.Memory5+pset.7.Memory1+pset.0.Memory40+pset.0.Memory15+pset.8.Memory3+pset.1.Memory+pset.3.Memory8+pset.2.Memory0+pset.0.Memory59+pset.0.Memory87+pset.0.Memory08+pset.4.Memory0+pset.7.Memory9+pset.5.Memory4+pset.0.Memory46+pset.0.Memory17+pset.0.Memory1+pset.4.Memory7+pset.6.Memory2+pset.0.Memory31+pset.0.Memory76+pset.0.Memory05+pset.0.Memory25+pset.2.Memory2+pset.7.Memory3+pset.3.Memory1+pset.0.Memory9+pset.0.Memory88+pset.0.Memory27+pset.2.Memory5+pset.5.Memory1+pset.0.Memory34+pset.0.Memory01+pset.5.Memory0+pset.0.Memory90+pset.7.Memory+pset.0.Memory29+pset.0.Memory86+pset.7.Memory8+pset.6.Memory8+pset.5.Memory7+pset.0.Memory+pset.0.Memory23+pset.1.Memory3+pset.0.Memory51+pset.0.Memory60+pset.0.Memory77+pset.0.Memory28+pset.0.Memory95+pset.3.Memory9)>(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24)))
Read property : p_24_cardinalitycomparison_full_and_notx with value :(((pset.6.Memory+pset.0.Memory96+pset.0.Memory71+pset.4.Memory6+pset.7.Memory7+pset.0.Memory07+pset.0.Memory78+pset.0.Memory74+pset.0.Memory03+pset.0.Memory56+pset.0.Memory2+pset.0.Memory24+pset.0.Memory19+pset.0.Memory57+pset.0.Memory66+pset.4.Memory2+pset.0.Memory12+pset.0.Memory65+pset.0.Memory36+pset.0.Memory91+pset.4.Memory9+pset.4.Memory3+pset.7.Memory5+pset.0.Memory8+pset.0.Memory3+pset.0.Memory0+pset.8.Memory7+pset.3.Memory2+pset.8.Memory+pset.5.Memory+pset.0.Memory99+pset.0.Memory93+pset.0.Memory50+pset.0.Memory63+pset.3.Memory0+pset.8.Memory0+pset.5.Memory6+pset.8.Memory9+pset.3.Memory+pset.4.Memory4+pset.0.Memory11+pset.0.Memory62+pset.0.Memory41+pset.2.Memory9+pset.8.Memory5+pset.3.Memory5+pset.1.Memory0+pset.3.Memory3+pset.3.Memory4+pset.2.Memory6+pset.6.Memory5+pset.6.Memory6+pset.0.Memory45+pset.0.Memory44+pset.0.Memory37+pset.1.Memory4+pset.0.Memory14+pset.8.Memory4+pset.2.Memory8+pset.0.Memory7+pset.0.Memory47+pset.8.Memory6+pset.2.Memory3+pset.5.Memory2+pset.7.Memory4+pset.2.Memory+pset.0.Memory06+pset.3.Memory6+pset.0.Memory09+pset.0.Memory26+pset.0.Memory55+pset.0.Memory4+pset.1.Memory2+pset.4.Memory8+pset.2.Memory4+pset.7.Memory6+pset.0.Memory32+pset.0.Memory02+pset.0.Memory33+pset.0.Memory83+pset.5.Memory9+pset.6.Memory1+pset.0.Memory81+pset.0.Memory20+pset.0.Memory22+pset.0.Memory92+pset.3.Memory7+pset.0.Memory49+pset.0.Memory68+pset.0.Memory61+pset.0.Memory16+pset.0.Memory38+pset.0.Memory67+pset.0.Memory48+pset.4.Memory1+pset.0.Memory64+pset.6.Memory3+pset.1.Memory6+pset.0.Memory18+pset.0.Memory70+pset.1.Memory1+pset.0.Memory10+pset.0.Memory00+pset.0.Memory21+pset.4.Memory+pset.1.Memory00+pset.1.Memory5+pset.0.Memory89+pset.1.Memory8+pset.0.Memory5+pset.0.Memory72+pset.0.Memory80+pset.7.Memory0+pset.0.Memory13+pset.2.Memory1+pset.8.Memory1+pset.0.Memory84+pset.0.Memory98+pset.0.Memory04+pset.0.Memory97+pset.6.Memory0+pset.0.Memory82+pset.0.Memory58+pset.6.Memory4+pset.1.Memory7+pset.0.Memory39+pset.5.Memory8+pset.0.Memory69+pset.8.Memory8+pset.0.Memory94+pset.0.Memory75+pset.0.Memory53+pset.0.Memory35+pset.6.Memory9+pset.6.Memory7+pset.0.Memory6+pset.0.Memory54+pset.0.Memory79+pset.2.Memory7+pset.7.Memory2+pset.0.Memory43+pset.8.Memory2+pset.5.Memory5+pset.0.Memory73+pset.0.Memory30+pset.5.Memory3+pset.1.Memory9+pset.0.Memory42+pset.0.Memory52+pset.0.Memory85+pset.4.Memory5+pset.7.Memory1+pset.0.Memory40+pset.0.Memory15+pset.8.Memory3+pset.1.Memory+pset.3.Memory8+pset.2.Memory0+pset.0.Memory59+pset.0.Memory87+pset.0.Memory08+pset.4.Memory0+pset.7.Memory9+pset.5.Memory4+pset.0.Memory46+pset.0.Memory17+pset.0.Memory1+pset.4.Memory7+pset.6.Memory2+pset.0.Memory31+pset.0.Memory76+pset.0.Memory05+pset.0.Memory25+pset.2.Memory2+pset.7.Memory3+pset.3.Memory1+pset.0.Memory9+pset.0.Memory88+pset.0.Memory27+pset.2.Memory5+pset.5.Memory1+pset.0.Memory34+pset.0.Memory01+pset.5.Memory0+pset.0.Memory90+pset.7.Memory+pset.0.Memory29+pset.0.Memory86+pset.7.Memory8+pset.6.Memory8+pset.5.Memory7+pset.0.Memory+pset.0.Memory23+pset.1.Memory3+pset.0.Memory51+pset.0.Memory60+pset.0.Memory77+pset.0.Memory28+pset.0.Memory95+pset.3.Memory9)<=(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24))&&!((pset.6.Memory+pset.0.Memory96+pset.0.Memory71+pset.4.Memory6+pset.7.Memory7+pset.0.Memory07+pset.0.Memory78+pset.0.Memory74+pset.0.Memory03+pset.0.Memory56+pset.0.Memory2+pset.0.Memory24+pset.0.Memory19+pset.0.Memory57+pset.0.Memory66+pset.4.Memory2+pset.0.Memory12+pset.0.Memory65+pset.0.Memory36+pset.0.Memory91+pset.4.Memory9+pset.4.Memory3+pset.7.Memory5+pset.0.Memory8+pset.0.Memory3+pset.0.Memory0+pset.8.Memory7+pset.3.Memory2+pset.8.Memory+pset.5.Memory+pset.0.Memory99+pset.0.Memory93+pset.0.Memory50+pset.0.Memory63+pset.3.Memory0+pset.8.Memory0+pset.5.Memory6+pset.8.Memory9+pset.3.Memory+pset.4.Memory4+pset.0.Memory11+pset.0.Memory62+pset.0.Memory41+pset.2.Memory9+pset.8.Memory5+pset.3.Memory5+pset.1.Memory0+pset.3.Memory3+pset.3.Memory4+pset.2.Memory6+pset.6.Memory5+pset.6.Memory6+pset.0.Memory45+pset.0.Memory44+pset.0.Memory37+pset.1.Memory4+pset.0.Memory14+pset.8.Memory4+pset.2.Memory8+pset.0.Memory7+pset.0.Memory47+pset.8.Memory6+pset.2.Memory3+pset.5.Memory2+pset.7.Memory4+pset.2.Memory+pset.0.Memory06+pset.3.Memory6+pset.0.Memory09+pset.0.Memory26+pset.0.Memory55+pset.0.Memory4+pset.1.Memory2+pset.4.Memory8+pset.2.Memory4+pset.7.Memory6+pset.0.Memory32+pset.0.Memory02+pset.0.Memory33+pset.0.Memory83+pset.5.Memory9+pset.6.Memory1+pset.0.Memory81+pset.0.Memory20+pset.0.Memory22+pset.0.Memory92+pset.3.Memory7+pset.0.Memory49+pset.0.Memory68+pset.0.Memory61+pset.0.Memory16+pset.0.Memory38+pset.0.Memory67+pset.0.Memory48+pset.4.Memory1+pset.0.Memory64+pset.6.Memory3+pset.1.Memory6+pset.0.Memory18+pset.0.Memory70+pset.1.Memory1+pset.0.Memory10+pset.0.Memory00+pset.0.Memory21+pset.4.Memory+pset.1.Memory00+pset.1.Memory5+pset.0.Memory89+pset.1.Memory8+pset.0.Memory5+pset.0.Memory72+pset.0.Memory80+pset.7.Memory0+pset.0.Memory13+pset.2.Memory1+pset.8.Memory1+pset.0.Memory84+pset.0.Memory98+pset.0.Memory04+pset.0.Memory97+pset.6.Memory0+pset.0.Memory82+pset.0.Memory58+pset.6.Memory4+pset.1.Memory7+pset.0.Memory39+pset.5.Memory8+pset.0.Memory69+pset.8.Memory8+pset.0.Memory94+pset.0.Memory75+pset.0.Memory53+pset.0.Memory35+pset.6.Memory9+pset.6.Memory7+pset.0.Memory6+pset.0.Memory54+pset.0.Memory79+pset.2.Memory7+pset.7.Memory2+pset.0.Memory43+pset.8.Memory2+pset.5.Memory5+pset.0.Memory73+pset.0.Memory30+pset.5.Memory3+pset.1.Memory9+pset.0.Memory42+pset.0.Memory52+pset.0.Memory85+pset.4.Memory5+pset.7.Memory1+pset.0.Memory40+pset.0.Memory15+pset.8.Memory3+pset.1.Memory+pset.3.Memory8+pset.2.Memory0+pset.0.Memory59+pset.0.Memory87+pset.0.Memory08+pset.4.Memory0+pset.7.Memory9+pset.5.Memory4+pset.0.Memory46+pset.0.Memory17+pset.0.Memory1+pset.4.Memory7+pset.6.Memory2+pset.0.Memory31+pset.0.Memory76+pset.0.Memory05+pset.0.Memory25+pset.2.Memory2+pset.7.Memory3+pset.3.Memory1+pset.0.Memory9+pset.0.Memory88+pset.0.Memory27+pset.2.Memory5+pset.5.Memory1+pset.0.Memory34+pset.0.Memory01+pset.5.Memory0+pset.0.Memory90+pset.7.Memory+pset.0.Memory29+pset.0.Memory86+pset.7.Memory8+pset.6.Memory8+pset.5.Memory7+pset.0.Memory+pset.0.Memory23+pset.1.Memory3+pset.0.Memory51+pset.0.Memory60+pset.0.Memory77+pset.0.Memory28+pset.0.Memory95+pset.3.Memory9)>(pset.4.Queue1+pset.6.Queue+pset.0.Queue84+pset.7.Queue9+pset.0.Queue38+pset.7.Queue+pset.2.Queue1+pset.0.Queue36+pset.2.Queue3+pset.6.Queue3+pset.0.Queue04+pset.5.Queue6+pset.0.Queue00+pset.0.Queue29+pset.4.Queue9+pset.3.Queue+pset.6.Queue5+pset.0.Queue88+pset.3.Queue2+pset.4.Queue8+pset.0.Queue19+pset.0.Queue8+pset.0.Queue4+pset.0.Queue72+pset.5.Queue2+pset.0.Queue03+pset.1.Queue4+pset.4.Queue+pset.4.Queue0+pset.0.Queue2+pset.0.Queue57+pset.0.Queue41+pset.0.Queue06+pset.0.Queue71+pset.0.Queue66+pset.0.Queue67+pset.0.Queue26+pset.2.Queue7+pset.0.Queue10+pset.0.Queue65+pset.7.Queue1+pset.0.Queue33+pset.0.Queue58+pset.1.Queue0+pset.0.Queue30+pset.0.Queue97+pset.0.Queue53+pset.0.Queue39+pset.0.Queue60+pset.5.Queue9+pset.3.Queue9+pset.1.Queue00+pset.0.Queue63+pset.1.Queue2+pset.7.Queue8+pset.0.Queue90+pset.0.Queue92+pset.6.Queue4+pset.0.Queue7+pset.0.Queue69+pset.8.Queue1+pset.0.Queue48+pset.2.Queue6+pset.4.Queue4+pset.4.Queue7+pset.6.Queue1+pset.2.Queue+pset.0.Queue83+pset.0.Queue79+pset.0.Queue87+pset.8.Queue4+pset.7.Queue0+pset.0.Queue12+pset.0.Queue56+pset.0.Queue31+pset.0.Queue47+pset.0.Queue49+pset.3.Queue0+pset.1.Queue3+pset.0.Queue81+pset.3.Queue5+pset.0.Queue08+pset.3.Queue8+pset.0.Queue73+pset.0.Queue62+pset.0.Queue82+pset.5.Queue4+pset.1.Queue9+pset.0.Queue68+pset.8.Queue5+pset.0.Queue01+pset.4.Queue3+pset.0.Queue3+pset.0.Queue93+pset.0.Queue42+pset.0.Queue20+pset.0.Queue94+pset.0.Queue85+pset.5.Queue1+pset.5.Queue3+pset.0.Queue61+pset.0.Queue11+pset.5.Queue8+pset.8.Queue2+pset.0.Queue98+pset.0.Queue21+pset.0.Queue95+pset.0.Queue32+pset.5.Queue5+pset.0.Queue6+pset.3.Queue4+pset.6.Queue9+pset.0.Queue9+pset.0.Queue54+pset.0.Queue43+pset.0.Queue78+pset.5.Queue+pset.0.Queue46+pset.0.Queue99+pset.0.Queue09+pset.0.Queue40+pset.8.Queue8+pset.0.Queue34+pset.4.Queue6+pset.0.Queue70+pset.0.Queue14+pset.4.Queue2+pset.8.Queue7+pset.0.Queue35+pset.2.Queue8+pset.7.Queue6+pset.2.Queue0+pset.0.Queue07+pset.0.Queue89+pset.8.Queue3+pset.0.Queue0+pset.0.Queue45+pset.0.Queue15+pset.0.Queue64+pset.6.Queue8+pset.0.Queue50+pset.0.Queue52+pset.1.Queue6+pset.3.Queue3+pset.1.Queue5+pset.0.Queue+pset.0.Queue44+pset.2.Queue9+pset.6.Queue2+pset.0.Queue05+pset.0.Queue13+pset.0.Queue37+pset.0.Queue28+pset.0.Queue75+pset.8.Queue9+pset.0.Queue91+pset.0.Queue51+pset.6.Queue0+pset.0.Queue80+pset.3.Queue7+pset.0.Queue27+pset.1.Queue1+pset.7.Queue3+pset.8.Queue+pset.0.Queue18+pset.0.Queue25+pset.2.Queue2+pset.0.Queue23+pset.1.Queue8+pset.5.Queue7+pset.2.Queue5+pset.8.Queue0+pset.0.Queue17+pset.0.Queue77+pset.7.Queue4+pset.2.Queue4+pset.0.Queue96+pset.0.Queue55+pset.8.Queue6+pset.1.Queue7+pset.1.Queue+pset.0.Queue16+pset.0.Queue59+pset.6.Queue6+pset.0.Queue1+pset.4.Queue5+pset.3.Queue6+pset.0.Queue5+pset.3.Queue1+pset.7.Queue7+pset.7.Queue2+pset.0.Queue76+pset.0.Queue86+pset.6.Queue7+pset.0.Queue22+pset.0.Queue02+pset.0.Queue74+pset.5.Queue0+pset.7.Queue5+pset.0.Queue24)))
Unable to read property (skipping this line):
Syntax Error : Mismatched paren problem in predicate : ((pset.0.OwnMemAcc72+pset.3.OwnMemAcc7+pset.8.OwnMemAcc9+pset.7.OwnMemAcc3+pset.8.OwnMemAcc6+pset.0.OwnMemAcc33+pset.0.OwnMemAcc67+pset.0.OwnMemAcc70+pset.0.OwnMemAcc65+pset.0.OwnMemAcc18+pset.0.OwnMemAcc86+pset.0.OwnMemAcc92+pset.4.OwnMemAcc5+pset.5.OwnMemAcc1+pset.1.OwnMemAcc0+pset.0.OwnMemAcc14+pset.4.OwnMemAcc9+pset.5.OwnMemAcc3+pset.0.OwnMemAcc6+pset.0.OwnMemAcc75+pset.0.OwnMemAcc64+pset.0.OwnMemAcc96+pset.0.OwnMemAcc7+pset.2.OwnMemAcc6+pset.1.OwnMemAcc4+pset.0.OwnMemAcc88+pset.1.OwnMemAcc+pset.0.OwnMemAcc97+pset.0.OwnMemAcc2+pset.2.OwnMemAcc7+pset.2.OwnMemAcc5+pset.0.OwnMemAcc85+pset.8.OwnMemAcc+pset.0.OwnMemAcc58+pset.0.OwnMemAcc81+pset.7.OwnMemAcc2+pset.6.OwnMemAcc8+pset.1.OwnMemAcc00+pset.5.OwnMemAcc0+pset.0.OwnMemAcc40+pset.1.OwnMemAcc9+pset.0.OwnMemAcc45+pset.0.OwnMemAcc20+pset.0.OwnMemAcc60+pset.0.OwnMemAcc73+pset.0.OwnMemAcc63+pset.6.OwnMemAcc1+pset.1.OwnMemAcc3+pset.0.OwnMemAcc42+pset.0.OwnMemAcc69+pset.7.OwnMemAcc7+pset.7.OwnMemAcc9+pset.8.OwnMemAcc5+pset.7.OwnMemAcc+pset.2.OwnMemAcc8+pset.4.OwnMemAcc3+pset.4.OwnMemAcc0+pset.2.OwnMemAcc9+pset.0.OwnMemAcc23+pset.0.OwnMemAcc41+pset.0.OwnMemAcc13+pset.0.OwnMemAcc02+pset.0.OwnMemAcc8+pset.3.OwnMemAcc1+pset.4.OwnMemAcc2+pset.5.OwnMemAcc9+pset.0.OwnMemAcc79+pset.0.OwnMemAcc17+pset.0.OwnMemAcc53+pset.0.OwnMemAcc0+pset.8.OwnMemAcc1+pset.0.OwnMemAcc25+pset.0.OwnMemAcc38+pset.4.OwnMemAcc8+pset.6.OwnMemAcc2+pset.0.OwnMemAcc3+pset.0.OwnMemAcc71+pset.1.OwnMemAcc6+pset.0.OwnMemAcc26+pset.2.OwnMemAcc+pset.8.OwnMemAcc7+pset.6.OwnMemAcc0+pset.0.OwnMemAcc00+pset.3.OwnMemAcc5+pset.0.OwnMemAcc95+pset.3.OwnMemAcc9+pset.0.OwnMemAcc61+pset.2.OwnMemAcc1+pset.7.OwnMemAcc8+pset.0.OwnMemAcc22+pset.1.OwnMemAcc2+pset.0.OwnMemAcc47+pset.0.OwnMemAcc51+pset.0.OwnMemAcc94+pset.5.OwnMemAcc5+pset.4.OwnMemAcc4+pset.0.OwnMemAcc77+pset.0.OwnMemAcc91+pset.0.OwnMemAcc80+pset.2.OwnMemAcc4+pset.0.OwnMemAcc32+pset.0.OwnMemAcc21+pset.0.OwnMemAcc59+pset.3.OwnMemAcc2+pset.0.OwnMemAcc31+pset.6.OwnMemAcc5+pset.6.OwnMemAcc6+pset.0.OwnMemAcc+pset.5.OwnMemAcc2+pset.3.OwnMemAcc3+pset.3.OwnMemAcc6+pset.0.OwnMemAcc57+pset.0.OwnMemAcc07+pset.0.OwnMemAcc27+pset.5.OwnMemAcc7+pset.0.OwnMemAcc84+pset.0.OwnMemAcc56+pset.0.OwnMemAcc16+pset.1.OwnMemAcc5+pset.8.OwnMemAcc2+pset.0.OwnMemAcc82+pset.0.OwnMemAcc4+pset.4.OwnMemAcc1+pset.0.OwnMemAcc08+pset.0.OwnMemAcc01+pset.7.OwnMemAcc6+pset.0.OwnMemAcc5+pset.0.OwnMemAcc76+pset.6.OwnMemAcc3+pset.0.OwnMemAcc12+pset.0.OwnMemAcc28+pset.0.OwnMemAcc44+pset.6.OwnMemAcc+pset.0.OwnMemAcc99+pset.0.OwnMemAcc50+pset.0.OwnMemAcc36+pset.0.OwnMemAcc43+pset.0.OwnMemAcc87+pset.7.OwnMemAcc1+pset.0.OwnMemAcc89+pset.0.OwnMemAcc11+pset.4.OwnMemAcc6+pset.0.OwnMemAcc68+pset.1.OwnMemAcc8+pset.0.OwnMemAcc48+pset.2.OwnMemAcc2+pset.0.OwnMemAcc49+pset.0.OwnMemAcc90+pset.0.OwnMemAcc78+pset.0.OwnMemAcc35+pset.0.OwnMemAcc10+pset.4.OwnMemAcc7+pset.7.OwnMemAcc0+pset.5.OwnMemAcc4+pset.0.OwnMemAcc24+pset.3.OwnMemAcc0+pset.1.OwnMemAcc1+pset.3.OwnMemAcc8+pset.8.OwnMemAcc4+pset.0.OwnMemAcc03+pset.3.OwnMemAcc4+pset.0.OwnMemAcc29+pset.0.OwnMemAcc9+pset.0.OwnMemAcc54+pset.0.OwnMemAcc62+pset.0.OwnMemAcc98+pset.0.OwnMemAcc74+pset.1.OwnMemAcc7+pset.6.OwnMemAcc7+pset.6.OwnMemAcc9+pset.0.OwnMemAcc52+pset.0.OwnMemAcc93+pset.5.OwnMemAcc6+pset.0.OwnMemAcc15+pset.8.OwnMemAcc3+pset.0.OwnMemAcc30+pset.4.OwnMemAcc+pset.7.OwnMemAcc5+pset.0.OwnMemAcc05+pset.8.OwnMemAcc0+pset.5.OwnMemAcc+pset.0.OwnMemAcc55+pset.2.OwnMemAcc3+pset.6.OwnMemAcc4+pset.0.OwnMemAcc19+pset.0.OwnMemAcc06+pset.0.OwnMemAcc04+pset.0.OwnMemAcc37+pset.2.OwnMemAcc0+pset.0.OwnMemAcc83+pset.5.OwnMemAcc8+pset.0.OwnMemAcc34+pset.0.OwnMemAcc46+pset.0.OwnMemAcc39+pset.0.OwnMemAcc66+pset.0.OwnMemAcc1+pset.7.OwnMemAcc4+pset.3.OwnMemAcc+pset.0.OwnMemAcc09+pset.8.OwnMemAcc8

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