Introduction

Execution Chart

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

Sequence of Actions to be Executed by the VM

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

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

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

execution on node 2: quadhexa-2.u-paris10.fr (runId=136983896100418_n_2)
=====================================================================
runnning ITS-Tools on SharedMemory-PT-000050 (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-000050, examination is ReachabilityPlaceComparison
=====================================================================

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

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

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

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

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