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/RB5/Conflict_Controller.0_RingCell.0.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.0) [V= Context(Controller.0,RingCell.0)
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
 Loading... done
Took 0(0+0) seconds
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
Strong bisimulation: 
Strong Bisimulation reduced to 345 states
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Asynchronous I/O unavailable with this build.
Using 1024 buffers of 128K
Refinement check: 
Refine checked 2,070 states
With 14160 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true
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/RB5/Conflict_Controller.0_RingCell.1.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.1) [V= Context(Controller.0,RingCell.1)
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
 Loading... done
Took 0(0+0) seconds
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
Strong bisimulation: 
Strong Bisimulation reduced to 345 states
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Asynchronous I/O unavailable with this build.
Using 1024 buffers of 128K
Refinement check: 
Refine checked 2,070 states
With 14160 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true
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/RB5/Conflict_Controller.0_RingCell.2.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.2) [V= Context(Controller.0,RingCell.2)
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
 Loading... done
Took 0(0+0) seconds
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
Strong bisimulation: 
Strong Bisimulation reduced to 345 states
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Asynchronous I/O unavailable with this build.
Using 1024 buffers of 128K
Refinement check: 
Refine checked 2,070 states
With 14160 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true
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/RB5/Conflict_Controller.0_RingCell.3.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.3) [V= Context(Controller.0,RingCell.3)
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
 Loading... done
Took 0(0+0) seconds
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
Strong bisimulation: 
Strong Bisimulation reduced to 345 states
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Asynchronous I/O unavailable with this build.
Using 1024 buffers of 128K
Refinement check: 
Refine checked 2,070 states
With 14160 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true
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/RB5/Conflict_Controller.0_RingCell.4.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.4) [V= Context(Controller.0,RingCell.4)
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
 Loading... done
Took 0(0+0) seconds
Starting timer
Starting compilation

Starting...
Compiling...
Reading...
Strong bisimulation: 
Strong bisimulation: 
Strong Bisimulation reduced to 345 states
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Asynchronous I/O unavailable with this build.
Using 1024 buffers of 128K
Refinement check: 
Refine checked 2,070 states
With 14160 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true
