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/RB30/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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.5.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.5) [V= Context(Controller.0,RingCell.5)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.6.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.6) [V= Context(Controller.0,RingCell.6)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.7.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.7) [V= Context(Controller.0,RingCell.7)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.8.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.8) [V= Context(Controller.0,RingCell.8)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 25 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.9.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.9) [V= Context(Controller.0,RingCell.9)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 27 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.10.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.10) [V= Context(Controller.0,RingCell.10)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 28 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.11.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.11) [V= Context(Controller.0,RingCell.11)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 28 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.12.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.12) [V= Context(Controller.0,RingCell.12)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 28 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.13.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.13) [V= Context(Controller.0,RingCell.13)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 31 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.14.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.14) [V= Context(Controller.0,RingCell.14)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 30 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.15.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.15) [V= Context(Controller.0,RingCell.15)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 30 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.16.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.16) [V= Context(Controller.0,RingCell.16)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 30 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.17.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.17) [V= Context(Controller.0,RingCell.17)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 29 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.18.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.18) [V= Context(Controller.0,RingCell.18)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 29 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.19.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.19) [V= Context(Controller.0,RingCell.19)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 28 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.20.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.20) [V= Context(Controller.0,RingCell.20)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 27 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.21.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.21) [V= Context(Controller.0,RingCell.21)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 27 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.22.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.22) [V= Context(Controller.0,RingCell.22)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 26 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.23.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.23) [V= Context(Controller.0,RingCell.23)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 26 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.24.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.24) [V= Context(Controller.0,RingCell.24)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 27 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.25.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.25) [V= Context(Controller.0,RingCell.25)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 28 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.26.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.26) [V= Context(Controller.0,RingCell.26)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 26 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.27.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.27) [V= Context(Controller.0,RingCell.27)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 27 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.28.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.28) [V= Context(Controller.0,RingCell.28)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 30 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+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/RB30/Conflict_Controller.0_RingCell.29.csp
 Ready
/
Checking ConflictFreeSpec(Controller.0,RingCell.29) [V= Context(Controller.0,RingCell.29)
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 11,820 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 70,920 states
With 354960 transitions
Allocated a total of 30 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 1(1+0) seconds
true
