Introduction

Execution Chart

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

Sequence of Actions to be Executed by the VM

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

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

Execution Outputs of ITS-Tools for SharedMemory/000100 (P/T)

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

execution on node 3: quadhexa-2.u-paris10.fr (runId=136983896100419_n_3)
=====================================================================
runnning ITS-Tools on SharedMemory-PT-000100 (ReachabilityPlaceComparison)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool ITS-Tools:
Test is SharedMemory-PT-000100, examination is ReachabilityPlaceComparison
=====================================================================

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

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

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

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

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