This FDR release is for academic teaching and research purposes only.
For any other use, please contact Formal Systems (Europe) Ltd at
enquiries@fsel.com to obtain a commercial licence.
Checking scripts/DP200/ResourceAllocationVerificationEC0.csp
 Ready
/
Checking UserSpec(Phil.178) [F= Abs(Phil.178,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.179) [F= Abs(Phil.179,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.180) [F= Abs(Phil.180,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.181) [F= Abs(Phil.181,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.182) [F= Abs(Phil.182,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.183) [F= Abs(Phil.183,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.184) [F= Abs(Phil.184,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.185) [F= Abs(Phil.185,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.170) [F= Abs(Phil.170,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.171) [F= Abs(Phil.171,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.172) [F= Abs(Phil.172,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.173) [F= Abs(Phil.173,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.174) [F= Abs(Phil.174,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.175) [F= Abs(Phil.175,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.176) [F= Abs(Phil.176,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.177) [F= Abs(Phil.177,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.162) [F= Abs(Phil.162,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.163) [F= Abs(Phil.163,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.164) [F= Abs(Phil.164,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.165) [F= Abs(Phil.165,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.166) [F= Abs(Phil.166,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.167) [F= Abs(Phil.167,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.168) [F= Abs(Phil.168,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.169) [F= Abs(Phil.169,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.154) [F= Abs(Phil.154,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.155) [F= Abs(Phil.155,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.156) [F= Abs(Phil.156,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.157) [F= Abs(Phil.157,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.158) [F= Abs(Phil.158,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.159) [F= Abs(Phil.159,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.160) [F= Abs(Phil.160,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.161) [F= Abs(Phil.161,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.194) [F= Abs(Phil.194,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.195) [F= Abs(Phil.195,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.196) [F= Abs(Phil.196,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.197) [F= Abs(Phil.197,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.198) [F= Abs(Phil.198,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.199) [F= Abs(Phil.199,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.186) [F= Abs(Phil.186,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.187) [F= Abs(Phil.187,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.188) [F= Abs(Phil.188,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.189) [F= Abs(Phil.189,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.190) [F= Abs(Phil.190,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.191) [F= Abs(Phil.191,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.192) [F= Abs(Phil.192,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.193) [F= Abs(Phil.193,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.114) [F= Abs(Phil.114,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.115) [F= Abs(Phil.115,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.116) [F= Abs(Phil.116,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.117) [F= Abs(Phil.117,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.118) [F= Abs(Phil.118,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.119) [F= Abs(Phil.119,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.120) [F= Abs(Phil.120,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.121) [F= Abs(Phil.121,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.106) [F= Abs(Phil.106,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.107) [F= Abs(Phil.107,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.108) [F= Abs(Phil.108,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.109) [F= Abs(Phil.109,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.110) [F= Abs(Phil.110,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.111) [F= Abs(Phil.111,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.112) [F= Abs(Phil.112,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.113) [F= Abs(Phil.113,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.100) [F= Abs(Phil.100,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.101) [F= Abs(Phil.101,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.102) [F= Abs(Phil.102,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.103) [F= Abs(Phil.103,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.104) [F= Abs(Phil.104,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.105) [F= Abs(Phil.105,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 UserSpec(Phil.146) [F= Abs(Phil.146,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.147) [F= Abs(Phil.147,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.148) [F= Abs(Phil.148,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.149) [F= Abs(Phil.149,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.150) [F= Abs(Phil.150,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.151) [F= Abs(Phil.151,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.152) [F= Abs(Phil.152,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.153) [F= Abs(Phil.153,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.138) [F= Abs(Phil.138,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.139) [F= Abs(Phil.139,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.140) [F= Abs(Phil.140,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.141) [F= Abs(Phil.141,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.142) [F= Abs(Phil.142,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.143) [F= Abs(Phil.143,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.144) [F= Abs(Phil.144,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.145) [F= Abs(Phil.145,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.130) [F= Abs(Phil.130,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.131) [F= Abs(Phil.131,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.132) [F= Abs(Phil.132,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.133) [F= Abs(Phil.133,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.134) [F= Abs(Phil.134,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.135) [F= Abs(Phil.135,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.136) [F= Abs(Phil.136,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.137) [F= Abs(Phil.137,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.122) [F= Abs(Phil.122,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.123) [F= Abs(Phil.123,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.124) [F= Abs(Phil.124,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.125) [F= Abs(Phil.125,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.126) [F= Abs(Phil.126,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.127) [F= Abs(Phil.127,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.128) [F= Abs(Phil.128,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.129) [F= Abs(Phil.129,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.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
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 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.111) [F= Abs(Fork.111,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.112) [F= Abs(Fork.112,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.109) [F= Abs(Fork.109,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.110) [F= Abs(Fork.110,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.107) [F= Abs(Fork.107,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.108) [F= Abs(Fork.108,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.105) [F= Abs(Fork.105,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.106) [F= Abs(Fork.106,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.103) [F= Abs(Fork.103,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.104) [F= Abs(Fork.104,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.101) [F= Abs(Fork.101,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.102) [F= Abs(Fork.102,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.100) [F= Abs(Fork.100,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

Checking ResourceSpec(Fork.127) [F= Abs(Fork.127,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.128) [F= Abs(Fork.128,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.125) [F= Abs(Fork.125,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.126) [F= Abs(Fork.126,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.123) [F= Abs(Fork.123,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.124) [F= Abs(Fork.124,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.121) [F= Abs(Fork.121,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.122) [F= Abs(Fork.122,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.119) [F= Abs(Fork.119,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.120) [F= Abs(Fork.120,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.117) [F= Abs(Fork.117,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.118) [F= Abs(Fork.118,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.115) [F= Abs(Fork.115,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.116) [F= Abs(Fork.116,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.113) [F= Abs(Fork.113,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.114) [F= Abs(Fork.114,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.143) [F= Abs(Fork.143,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.144) [F= Abs(Fork.144,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.141) [F= Abs(Fork.141,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.142) [F= Abs(Fork.142,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.139) [F= Abs(Fork.139,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.140) [F= Abs(Fork.140,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.137) [F= Abs(Fork.137,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.138) [F= Abs(Fork.138,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.135) [F= Abs(Fork.135,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.136) [F= Abs(Fork.136,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.133) [F= Abs(Fork.133,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.134) [F= Abs(Fork.134,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.131) [F= Abs(Fork.131,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.132) [F= Abs(Fork.132,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.129) [F= Abs(Fork.129,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.130) [F= Abs(Fork.130,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.159) [F= Abs(Fork.159,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.160) [F= Abs(Fork.160,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.157) [F= Abs(Fork.157,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.158) [F= Abs(Fork.158,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.155) [F= Abs(Fork.155,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.156) [F= Abs(Fork.156,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.153) [F= Abs(Fork.153,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.154) [F= Abs(Fork.154,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.151) [F= Abs(Fork.151,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.152) [F= Abs(Fork.152,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.149) [F= Abs(Fork.149,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.150) [F= Abs(Fork.150,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.147) [F= Abs(Fork.147,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.148) [F= Abs(Fork.148,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.145) [F= Abs(Fork.145,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.146) [F= Abs(Fork.146,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.175) [F= Abs(Fork.175,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.176) [F= Abs(Fork.176,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.173) [F= Abs(Fork.173,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.174) [F= Abs(Fork.174,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.171) [F= Abs(Fork.171,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.172) [F= Abs(Fork.172,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.169) [F= Abs(Fork.169,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.170) [F= Abs(Fork.170,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.167) [F= Abs(Fork.167,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.168) [F= Abs(Fork.168,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.165) [F= Abs(Fork.165,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.166) [F= Abs(Fork.166,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.163) [F= Abs(Fork.163,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.164) [F= Abs(Fork.164,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.161) [F= Abs(Fork.161,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.162) [F= Abs(Fork.162,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.191) [F= Abs(Fork.191,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.192) [F= Abs(Fork.192,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.189) [F= Abs(Fork.189,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.190) [F= Abs(Fork.190,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.187) [F= Abs(Fork.187,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.188) [F= Abs(Fork.188,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.185) [F= Abs(Fork.185,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.186) [F= Abs(Fork.186,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.183) [F= Abs(Fork.183,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.184) [F= Abs(Fork.184,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.181) [F= Abs(Fork.181,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.182) [F= Abs(Fork.182,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.179) [F= Abs(Fork.179,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.180) [F= Abs(Fork.180,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.177) [F= Abs(Fork.177,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.178) [F= Abs(Fork.178,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.199) [F= Abs(Fork.199,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.197) [F= Abs(Fork.197,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.198) [F= Abs(Fork.198,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.195) [F= Abs(Fork.195,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.196) [F= Abs(Fork.196,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.193) [F= Abs(Fork.193,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.194) [F= Abs(Fork.194,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
