manufact eg simple:

checkall: 

Computing reachable subpredicate...
R: Iteration_1 nodes: 61	 time: 0.000643 s	 states: 19
R: Iteration_2 nodes: 61	 time: 0.000104 s	 states: 19
R: 0seconds.
bddReach states:19
bddReach Nodes:61

Verifying controllablity...
VERI_CON: 0seconds.
Verifying Point 4...
VERI_P4: 0seconds.
Verifying Nonblocking...
CR: Iteration_1 nodes: 61	 time: 0.003745 s	 states: 19
CR: Iteration_2 nodes: 61	 time: 0.00044 s	 states: 19
VERI_NONBLOCKING: 0seconds.
Verifying Point 6...
CR: Iteration_1 nodes: 18	 time: 8.3e-05 s	 states: 1
VERI_P6: 0seconds.
Verifying Point 5...
CR: Iteration_1 nodes: 22	 time: 0.000158 s	 states: 6
CR: Iteration_2 nodes: 22	 time: 7.9e-05 s	 states: 6
CR: Iteration_1 nodes: 19	 time: 9e-05 s	 states: 2
CR: Iteration_2 nodes: 19	 time: 0.000121 s	 states: 2
CR: Iteration_1 nodes: 30	 time: 0.000175 s	 states: 5
CR: Iteration_2 nodes: 30	 time: 6e-05 s	 states: 5
CR: Iteration_1 nodes: 32	 time: 0.000183 s	 states: 5
CR: Iteration_2 nodes: 32	 time: 6.2e-05 s	 states: 5
VERI_P5: 0seconds.
Low-level Name: Manuf-Cells
This low-level has been verified succesfully!
State size of the synchronous product: 19
Number of bdd nodes to store the synchronous product: 61
Computing time: 0 second(s).

Computing reachable subpredicate...
Garbage collection #1: 1009 nodes / 522 free / 0.0s / 0.0s total
R: Iteration_1 nodes: 73	 time: 0.001594 s	 states: 148
R: Iteration_2 nodes: 67	 time: 0.000749 s	 states: 186
R: Iteration_3 nodes: 67	 time: 0.000347 s	 states: 186
bddReach Nodes:67

R: 0seconds.
bddReach states:186
bddReach Nodes:67

Verifying controllablity...
VERI_CON: 0seconds.
Verifying Point 3...
VERI_P3: 0seconds.
Verifying Nonblocking...
CR: Iteration_1 nodes: 16	 time: 0.000224 s	 states: 9
CR: Iteration_2 nodes: 67	 time: 0.004466 s	 states: 186
CR: Iteration_3 nodes: 67	 time: 0.000648 s	 states: 186
VERI_NONBLOCKING: 0seconds.
The high-level has been verified succesfully!
State size of the synchronous product: 186
Number of bdd nodes to store the synchronous product: 67
Computing time: 0 second(s).
Total computing time for project:0 second(s).

