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/DP100/ResourceAllocationVerificationEC0.csp
 Ready
/
Checking UserSpec(Phil.18) [F= Abs(Phil.18,EC0)
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: 
 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 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.19) [F= Abs(Phil.19,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.20) [F= Abs(Phil.20,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.21) [F= Abs(Phil.21,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.22) [F= Abs(Phil.22,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.23) [F= Abs(Phil.23,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.24) [F= Abs(Phil.24,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.25) [F= Abs(Phil.25,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.10) [F= Abs(Phil.10,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.11) [F= Abs(Phil.11,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.12) [F= Abs(Phil.12,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.13) [F= Abs(Phil.13,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.14) [F= Abs(Phil.14,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.15) [F= Abs(Phil.15,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.16) [F= Abs(Phil.16,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.17) [F= Abs(Phil.17,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.2) [F= Abs(Phil.2,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.3) [F= Abs(Phil.3,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.4) [F= Abs(Phil.4,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.5) [F= Abs(Phil.5,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.6) [F= Abs(Phil.6,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.7) [F= Abs(Phil.7,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.8) [F= Abs(Phil.8,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.9) [F= Abs(Phil.9,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.0) [F= Abs(Phil.0,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.1) [F= Abs(Phil.1,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.50) [F= Abs(Phil.50,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.51) [F= Abs(Phil.51,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.52) [F= Abs(Phil.52,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.53) [F= Abs(Phil.53,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.54) [F= Abs(Phil.54,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.55) [F= Abs(Phil.55,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.56) [F= Abs(Phil.56,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.57) [F= Abs(Phil.57,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.42) [F= Abs(Phil.42,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.43) [F= Abs(Phil.43,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.44) [F= Abs(Phil.44,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.45) [F= Abs(Phil.45,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.46) [F= Abs(Phil.46,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.47) [F= Abs(Phil.47,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.48) [F= Abs(Phil.48,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.49) [F= Abs(Phil.49,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.34) [F= Abs(Phil.34,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.35) [F= Abs(Phil.35,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.36) [F= Abs(Phil.36,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.37) [F= Abs(Phil.37,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.38) [F= Abs(Phil.38,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.39) [F= Abs(Phil.39,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.40) [F= Abs(Phil.40,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.41) [F= Abs(Phil.41,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.26) [F= Abs(Phil.26,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.27) [F= Abs(Phil.27,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.28) [F= Abs(Phil.28,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.29) [F= Abs(Phil.29,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.30) [F= Abs(Phil.30,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.31) [F= Abs(Phil.31,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.32) [F= Abs(Phil.32,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.33) [F= Abs(Phil.33,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.82) [F= Abs(Phil.82,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.83) [F= Abs(Phil.83,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.84) [F= Abs(Phil.84,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.85) [F= Abs(Phil.85,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.86) [F= Abs(Phil.86,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.87) [F= Abs(Phil.87,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.88) [F= Abs(Phil.88,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.89) [F= Abs(Phil.89,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.74) [F= Abs(Phil.74,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.75) [F= Abs(Phil.75,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.76) [F= Abs(Phil.76,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.77) [F= Abs(Phil.77,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.78) [F= Abs(Phil.78,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.79) [F= Abs(Phil.79,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.80) [F= Abs(Phil.80,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.81) [F= Abs(Phil.81,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.66) [F= Abs(Phil.66,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.67) [F= Abs(Phil.67,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.68) [F= Abs(Phil.68,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.69) [F= Abs(Phil.69,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.70) [F= Abs(Phil.70,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.71) [F= Abs(Phil.71,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.72) [F= Abs(Phil.72,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.73) [F= Abs(Phil.73,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.58) [F= Abs(Phil.58,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.59) [F= Abs(Phil.59,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.60) [F= Abs(Phil.60,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.61) [F= Abs(Phil.61,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.62) [F= Abs(Phil.62,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.63) [F= Abs(Phil.63,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.64) [F= Abs(Phil.64,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.65) [F= Abs(Phil.65,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.98) [F= Abs(Phil.98,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.99) [F= Abs(Phil.99,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.90) [F= Abs(Phil.90,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.91) [F= Abs(Phil.91,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.92) [F= Abs(Phil.92,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.93) [F= Abs(Phil.93,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.94) [F= Abs(Phil.94,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.95) [F= Abs(Phil.95,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.96) [F= Abs(Phil.96,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking UserSpec(Phil.97) [F= Abs(Phil.97,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 7 states
With 7 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.0) [F= Abs(Fork.0,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.15) [F= Abs(Fork.15,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.16) [F= Abs(Fork.16,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.13) [F= Abs(Fork.13,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.14) [F= Abs(Fork.14,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.11) [F= Abs(Fork.11,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.12) [F= Abs(Fork.12,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.9) [F= Abs(Fork.9,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.10) [F= Abs(Fork.10,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.7) [F= Abs(Fork.7,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.8) [F= Abs(Fork.8,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.5) [F= Abs(Fork.5,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.6) [F= Abs(Fork.6,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.3) [F= Abs(Fork.3,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.4) [F= Abs(Fork.4,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.1) [F= Abs(Fork.1,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.2) [F= Abs(Fork.2,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.31) [F= Abs(Fork.31,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.32) [F= Abs(Fork.32,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.29) [F= Abs(Fork.29,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.30) [F= Abs(Fork.30,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.27) [F= Abs(Fork.27,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.28) [F= Abs(Fork.28,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.25) [F= Abs(Fork.25,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.26) [F= Abs(Fork.26,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.23) [F= Abs(Fork.23,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.24) [F= Abs(Fork.24,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.21) [F= Abs(Fork.21,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.22) [F= Abs(Fork.22,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.19) [F= Abs(Fork.19,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.20) [F= Abs(Fork.20,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.17) [F= Abs(Fork.17,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.18) [F= Abs(Fork.18,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.47) [F= Abs(Fork.47,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.48) [F= Abs(Fork.48,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.45) [F= Abs(Fork.45,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.46) [F= Abs(Fork.46,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.43) [F= Abs(Fork.43,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.44) [F= Abs(Fork.44,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.41) [F= Abs(Fork.41,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.42) [F= Abs(Fork.42,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.39) [F= Abs(Fork.39,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.40) [F= Abs(Fork.40,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.37) [F= Abs(Fork.37,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.38) [F= Abs(Fork.38,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.35) [F= Abs(Fork.35,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.36) [F= Abs(Fork.36,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.33) [F= Abs(Fork.33,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.34) [F= Abs(Fork.34,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.63) [F= Abs(Fork.63,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.64) [F= Abs(Fork.64,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.61) [F= Abs(Fork.61,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.62) [F= Abs(Fork.62,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.59) [F= Abs(Fork.59,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.60) [F= Abs(Fork.60,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.57) [F= Abs(Fork.57,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.58) [F= Abs(Fork.58,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.55) [F= Abs(Fork.55,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.56) [F= Abs(Fork.56,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.53) [F= Abs(Fork.53,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.54) [F= Abs(Fork.54,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.51) [F= Abs(Fork.51,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.52) [F= Abs(Fork.52,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.49) [F= Abs(Fork.49,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.50) [F= Abs(Fork.50,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.79) [F= Abs(Fork.79,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.80) [F= Abs(Fork.80,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.77) [F= Abs(Fork.77,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.78) [F= Abs(Fork.78,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.75) [F= Abs(Fork.75,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.76) [F= Abs(Fork.76,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.73) [F= Abs(Fork.73,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.74) [F= Abs(Fork.74,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.71) [F= Abs(Fork.71,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.72) [F= Abs(Fork.72,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.69) [F= Abs(Fork.69,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.70) [F= Abs(Fork.70,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.67) [F= Abs(Fork.67,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.68) [F= Abs(Fork.68,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.65) [F= Abs(Fork.65,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.66) [F= Abs(Fork.66,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.95) [F= Abs(Fork.95,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.96) [F= Abs(Fork.96,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.93) [F= Abs(Fork.93,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.94) [F= Abs(Fork.94,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.91) [F= Abs(Fork.91,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.92) [F= Abs(Fork.92,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.89) [F= Abs(Fork.89,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.90) [F= Abs(Fork.90,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.87) [F= Abs(Fork.87,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.88) [F= Abs(Fork.88,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.85) [F= Abs(Fork.85,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.86) [F= Abs(Fork.86,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.83) [F= Abs(Fork.83,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.84) [F= Abs(Fork.84,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.81) [F= Abs(Fork.81,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.82) [F= Abs(Fork.82,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.99) [F= Abs(Fork.99,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.97) [F= Abs(Fork.97,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true

Checking ResourceSpec(Fork.98) [F= Abs(Fork.98,EC0)
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: 
 Loading... done
Took 0(0+0) seconds
-- Normalising specification
-- Normalisation complete
Starting timer
About to start refinement
Refinement check: 
Refine checked 3 states
With 4 transitions
Allocated a total of 5 pages of size 128K
Compaction produced 0 chunks of 16K.
Took 0(0+0) seconds
true
