manufact eg simple:

checkall: 

Computing reachable subpredicate...
R: Iteration_1 nodes: 61	 time: 0.000511 s	 states: 19
R: Iteration_2 nodes: 61	 time: 0.00011 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.000971 s	 states: 19
CR: Iteration_2 nodes: 61	 time: 0.000395 s	 states: 19
VERI_NONBLOCKING: 0seconds.
Verifying Point 6...
CR: Iteration_1 nodes: 18	 time: 6.4e-05 s	 states: 1
VERI_P6: 0seconds.
Verifying Point 5...
CR: Iteration_1 nodes: 22	 time: 0.000127 s	 states: 6
CR: Iteration_2 nodes: 22	 time: 7.4e-05 s	 states: 6
CR: Iteration_1 nodes: 19	 time: 7.7e-05 s	 states: 2
CR: Iteration_2 nodes: 19	 time: 6.5e-05 s	 states: 2
CR: Iteration_1 nodes: 30	 time: 0.000257 s	 states: 5
CR: Iteration_2 nodes: 30	 time: 9.2e-05 s	 states: 5
CR: Iteration_1 nodes: 32	 time: 0.000274 s	 states: 5
CR: Iteration_2 nodes: 32	 time: 9.3e-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.002988 s	 states: 148
R: Iteration_2 nodes: 67	 time: 0.001488 s	 states: 186
R: Iteration_3 nodes: 67	 time: 0.000679 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.000434 s	 states: 9
CR: Iteration_2 nodes: 67	 time: 0.002736 s	 states: 186
CR: Iteration_3 nodes: 67	 time: 0.001203 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).


