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/RB3/VerificationFDR2c.csp
 Ready
/
Checking InductiveCompress(normal)(NetworkS)(Events) :[deadlock free [F]]
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
Strong Bisimulation reduced to 129 states
Asynchronous I/O unavailable with this build.
Using 1024 buffers of 128K
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
Strong bisimulation: 
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
Strong bisimulation: 
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
Strong bisimulation: 
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
Allocated a total of 2 pages of size 128K
Compaction produced 0 chunks of 16K.
 Loading... done
Took 0(0+0) seconds
Starting timer
About to start deadlock check
Refinement check: 
Refine checked 1 state
With 0 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true
