
**********************************************************

State Generation initiated on Experiment_1 of ssg_ss started at Tue Apr 11 11:37:30 BST 2023 ...
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 1 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rateState Generation of Experiment_1 on model ssg_ss finished at Tue Apr 11 11:37:30 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_10 of ssg_ss started at Tue Apr 11 11:37:30 BST 2023 ...
_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 8 states
Computation Time (user + system): 2.500000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 2 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_BState Generation of Experiment_10 on model ssg_ss finished at Tue Apr 11 11:37:30 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_100 of ssg_ss started at Tue Apr 11 11:37:30 BST 2023 ...
	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 8 states
Computation Time (user + system): 2.300000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 3 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2State Generation of Experiment_100 on model ssg_ss finished at Tue Apr 11 11:37:30 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_11 of ssg_ss started at Tue Apr 11 11:37:30 BST 2023 ...
F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.000000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 4 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
State Generation of Experiment_11 on model ssg_ss finished at Tue Apr 11 11:37:30 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_12 of ssg_ss started at Tue Apr 11 11:37:30 BST 2023 ...

rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 10 states
Computation Time (user + system): 2.000000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 5 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
State Generation of Experiment_12 on model ssg_ss finished at Tue Apr 11 11:37:31 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_13 of ssg_ss started at Tue Apr 11 11:37:31 BST 2023 ...

rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 10 states
Computation Time (user + system): 2.100000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 6 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
State Generation of Experiment_13 on model ssg_ss finished at Tue Apr 11 11:37:31 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_14 of ssg_ss started at Tue Apr 11 11:37:31 BST 2023 ...

rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 10 states
Computation Time (user + system): 2.100000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 7 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
State Generation of Experiment_14 on model ssg_ss finished at Tue Apr 11 11:37:31 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_2 of ssg_ss started at Tue Apr 11 11:37:31 BST 2023 ...

rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 10 states
Computation Time (user + system): 2.700000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 8 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rateState Generation of Experiment_2 on model ssg_ss finished at Tue Apr 11 11:37:31 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_21 of ssg_ss started at Tue Apr 11 11:37:31 BST 2023 ...
_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 8 states
Computation Time (user + system): 2.100000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 9 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rateState Generation of Experiment_21 on model ssg_ss finished at Tue Apr 11 11:37:31 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_22 of ssg_ss started at Tue Apr 11 11:37:31 BST 2023 ...
_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 8 states
Computation Time (user + system): 2.100000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 10 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
ratState Generation of Experiment_22 on model ssg_ss finished at Tue Apr 11 11:37:31 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_23 of ssg_ss started at Tue Apr 11 11:37:31 BST 2023 ...
e_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 8 states
Computation Time (user + system): 2.000000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 11 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
ratState Generation of Experiment_23 on model ssg_ss finished at Tue Apr 11 11:37:32 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_24 of ssg_ss started at Tue Apr 11 11:37:32 BST 2023 ...
e_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 8 states
Computation Time (user + system): 1.600000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 12 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
ratState Generation of Experiment_24 on model ssg_ss finished at Tue Apr 11 11:37:32 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_3 of ssg_ss started at Tue Apr 11 11:37:32 BST 2023 ...
e_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 8 states
Computation Time (user + system): 2.100000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 13 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_FState Generation of Experiment_3 on model ssg_ss finished at Tue Apr 11 11:37:32 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_31 of ssg_ss started at Tue Apr 11 11:37:32 BST 2023 ...
_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.000000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 14 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 10 states
Computation Time (user + system): 2.000000e-002 seconds
State Generation of Experiment_31 on model ssg_ss finished at Tue Apr 11 11:37:32 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_32 of ssg_ss started at Tue Apr 11 11:37:32 BST 2023 ...
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 15 are:
F_F_B_O_prob	double	0
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0
IS_S_B_O_prob	double	0
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_FState Generation of Experiment_32 on model ssg_ss finished at Tue Apr 11 11:37:32 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_33 of ssg_ss started at Tue Apr 11 11:37:32 BST 2023 ...
_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli

rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 10 states
Computation Time (user + system): 1.900000e-002 seconds
The Global Variable values for experiment Experiment 16 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2FState Generation of Experiment_33 on model ssg_ss finished at Tue Apr 11 11:37:32 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_34 of ssg_ss started at Tue Apr 11 11:37:32 BST 2023 ...
_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.500000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 17 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_FState Generation of Experiment_34 on model ssg_ss finished at Tue Apr 11 11:37:33 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_35 of ssg_ss started at Tue Apr 11 11:37:33 BST 2023 ...
_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.700000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 18 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.300000e-002 seconds
State Generation of Experiment_35 on model ssg_ss finished at Tue Apr 11 11:37:33 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_36 of ssg_ss started at Tue Apr 11 11:37:33 BST 2023 ...
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 19 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_FState Generation of Experiment_36 on model ssg_ss finished at Tue Apr 11 11:37:33 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_37 of ssg_ss started at Tue Apr 11 11:37:33 BST 2023 ...
_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.600000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 20 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.100000e-002 seconds
State Generation of Experiment_37 on model ssg_ss finished at Tue Apr 11 11:37:33 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_38 of ssg_ss started at Tue Apr 11 11:37:33 BST 2023 ...
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 21 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_FState Generation of Experiment_38 on model ssg_ss finished at Tue Apr 11 11:37:33 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_39 of ssg_ss started at Tue Apr 11 11:37:33 BST 2023 ...
_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.900000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 22 are:
F_F_B_O_prob	double	0.001
F_S_B_O_prob	double	0.001
IS_F_B_O_prob	double	0.001
IS_S_B_O_prob	double	0.001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
raState Generation of Experiment_39 on model ssg_ss finished at Tue Apr 11 11:37:34 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_50 of ssg_ss started at Tue Apr 11 11:37:34 BST 2023 ...
te_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.000000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 23 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69State Generation of Experiment_50 on model ssg_ss finished at Tue Apr 11 11:37:34 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_51 of ssg_ss started at Tue Apr 11 11:37:34 BST 2023 ...

rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.600000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 24 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_51 on model ssg_ss finished at Tue Apr 11 11:37:34 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_52 of ssg_ss started at Tue Apr 11 11:37:34 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.400000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 25 are:
F_F_B_O_prob	double	1e-005
F_S_B_O_prob	double	1e-005
IS_F_B_O_prob	double	1e-005
IS_S_B_O_prob	double	1e-005
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_52 on model ssg_ss finished at Tue Apr 11 11:37:34 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_53 of ssg_ss started at Tue Apr 11 11:37:34 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.300000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 26 are:
F_F_B_O_prob	double	1e-005
F_S_B_O_prob	double	1e-005
IS_F_B_O_prob	double	1e-005
IS_S_B_O_prob	double	1e-005
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_53 on model ssg_ss finished at Tue Apr 11 11:37:34 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_54 of ssg_ss started at Tue Apr 11 11:37:34 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 4.200000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 27 are:
F_F_B_O_prob	double	1e-005
F_S_B_O_prob	double	1e-005
IS_F_B_O_prob	double	1e-005
IS_S_B_O_prob	double	1e-005
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_54 on model ssg_ss finished at Tue Apr 11 11:37:35 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_55 of ssg_ss started at Tue Apr 11 11:37:35 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.800000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 28 are:
F_F_B_O_prob	double	0.0001
F_S_B_O_prob	double	0.0001
IS_F_B_O_prob	double	0.0001
IS_S_B_O_prob	double	0.0001
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_55 on model ssg_ss finished at Tue Apr 11 11:37:35 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_6 of ssg_ss started at Tue Apr 11 11:37:35 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.200000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 29 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_6 on model ssg_ss finished at Tue Apr 11 11:37:35 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_60 of ssg_ss started at Tue Apr 11 11:37:35 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.600000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 30 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_60 on model ssg_ss finished at Tue Apr 11 11:37:35 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_7 of ssg_ss started at Tue Apr 11 11:37:35 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.900000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 31 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_7 on model ssg_ss finished at Tue Apr 11 11:37:35 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_70 of ssg_ss started at Tue Apr 11 11:37:35 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.600000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 32 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_70 on model ssg_ss finished at Tue Apr 11 11:37:35 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_8 of ssg_ss started at Tue Apr 11 11:37:35 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.600000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 33 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.700000e-002 seconds
State Generation of Experiment_8 on model ssg_ss finished at Tue Apr 11 11:37:36 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_80 of ssg_ss started at Tue Apr 11 11:37:36 BST 2023 ...
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 34 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	doublState Generation of Experiment_80 on model ssg_ss finished at Tue Apr 11 11:37:36 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_9 of ssg_ss started at Tue Apr 11 11:37:36 BST 2023 ...
e	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NB2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.500000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 35 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_9 on model ssg_ss finished at Tue Apr 11 11:37:36 BST 2023.


**********************************************************

**********************************************************

State Generation initiated on Experiment_90 of ssg_ss started at Tue Apr 11 11:37:36 BST 2023 ...
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 2.600000e-002 seconds
path=[c:/MobiusProject/AV_Intersection_SS/Transformer/ssg_ss/]
TraceLevel=1
License File=C:/Mobius-2.4/\License.mli
The Global Variable values for experiment Experiment 36 are:
F_F_B_O_prob	double	1e-006
F_S_B_O_prob	double	1e-006
IS_F_B_O_prob	double	1e-006
IS_S_B_O_prob	double	1e-006
OH2OKRate_FFB	double	4500
OH2OKRate_FSB	double	2250
OH2OKRate_ISFB	double	2250
OH2OKRate_ISSB	double	1225
rate_F_F_B2F_F_NB	double	609.87
rate_F_F_B2F_S_B	double	676.71
rate_F_F_B2F_S_NB	double	319.02
rate_F_F_B2IS_F_B	double	616.29
rate_F_F_B2IS_F_NB	double	551.1
rate_F_F_B2IS_S_B	double	549.09
rate_F_F_B2IS_S_NB	double	310.79
rate_F_F_NB2F_F_B	double	170.61
rate_F_F_NB2F_S_B	double	252.79
rate_F_F_NB2F_S_NB	double	361.58
rate_F_F_NB2IS_F_B	double	209.77
rate_F_F_NB2IS_F_NB	double	202.345
rate_F_F_NB2IS_S_B	double	361.87
rate_F_F_NB2IS_S_NB	double	273.315
rate_F_S_B2F_F_B	double	1080
rate_F_S_B2F_F_NB	double	604.64
rate_F_S_B2F_S_NB	double	465.98
rate_F_S_B2IS_F_B	double	0
rate_F_S_B2IS_F_NB	double	439.22
rate_F_S_B2IS_S_B	double	940.01
rate_F_S_B2IS_S_NB	double	438.63
rate_F_S_NB2F_F_B	double	568.63
rate_F_S_NB2F_F_NB	double	223.71
rate_F_S_NB2F_S_B	double	355.8
rate_F_S_NB2IS_F_B	double	0
rate_F_S_NB2IS_F_NB	double	264.45
rate_F_S_NB2IS_S_B	double	219.02
rate_F_S_NB2IS_S_NB	double	228.71
rate_IS_F_B2F_F_B	double	986.54
rate_IS_F_B2F_F_NB	double	822.71
rate_IS_F_B2F_S_B	double	728.83
rate_IS_F_B2F_S_NB	double	430.43
rate_IS_F_B2IS_F_NB	double	1680
rate_IS_F_B2IS_S_B	double	1164.71
rate_IS_F_B2IS_S_NB	double	0
rate_IS_F_NB2F_F_B	double	963.55
rate_IS_F_NB2F_F_NB	double	948.25
rate_IS_F_NB2F_S_B	double	560.88
rate_IS_F_NB2F_S_NB	double	918.64
rate_IS_F_NB2IS_F_B	double	1800
rate_IS_F_NB2IS_S_B	double	936.29
rate_IS_F_NB2IS_S_NB	double	1109.88
rate_IS_S_B2F_F_B	double	0
rate_IS_S_B2F_F_NB	double	573.8
rate_IS_S_B2F_S_B	double	848.17
rate_IS_S_B2F_S_NB	double	511.62
rate_IS_S_B2IS_F_B	double	0
rate_IS_S_B2IS_F_NB	double	743.98
rate_IS_S_B2IS_S_NB	double	645.875
rate_IS_S_NBState Generation of Experiment_90 on model ssg_ss finished at Tue Apr 11 11:37:36 BST 2023.


**********************************************************
2F_F_B	double	0
rate_IS_S_NB2F_F_NB	double	207.38
rate_IS_S_NB2F_S_B	double	328.93
rate_IS_S_NB2F_S_NB	double	324.69
rate_IS_S_NB2IS_F_B	double	0
rate_IS_S_NB2IS_F_NB	double	678.65
rate_IS_S_NB2IS_S_B	double	601.59
Hash:  Allocated a hash table of size 131071
Hash:  There are 128 arrays each of size 100000
Hash:  Each array holds a state of size 32
SSG: SetTraceLevel: 1

Generated: 16 states
Computation Time (user + system): 3.400000e-002 seconds
