This FDR release is for academic teaching and research purposes only.
For any other use, please contact Formal Systems (Europe) Ltd at
enquiries@fsel.com to obtain a commercial licence.
Checking scripts/DP200/VerificationFDR2.csp
 Ready
/
Checking SYSTEM :[deadlock free [F]]
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
Strong bisimulation: 
 Loading... done
Took 0(0+0) seconds
Starting timer
About to start deadlock check
Asynchronous I/O unavailable with this build.
Using 1024 buffers of 128K
Refinement check: 
/home/pedino/Tools/fdr2/bin/fdr2: line 29: 22359 Killed                  $WHERE/fdr2tix -insecure -nowindow $LIB/fdrBatch.tcl $*
