next up previous contents
Next: Gray shading Up: Using PReMo in practice Previous: Finding solution   Contents

Interpreting the results

In case of an RMC and an RSSG the user has to interpret the variable names to get the solution to the problem. If we want to check the termination probability at exit $ j$ of the component A, starting at entry $ i$ of component A we have to look for the variable named: A_i_extj. In general the variable's names look like this: $componentName_$entryNum_ext$exitNum or for internal node $label of component $componentName: $componentName$label_ext$exitNum or for the exit numbered $boxExitNum of the box $label of the component $componentName: $componentName_$label_ret_$BoxExitNum_ext$exitNum. For example the solution to the RMC defined at the figure 1 looks like this:
Sparse Newton(IR) method with decomposition into SCCs.
Number of variables: 32
Tue Oct 31 15:07:51 GMT 2006 Decomposing... 
Decomposing time: 0h 0m 0.021s in seconds: 0.021
Number of SCCs: 15
Tue Oct 31 15:07:51 GMT 2006 Started solving... 
Tue Oct 31 15:07:51 GMT 2006 Finished solving!
Diffrentaing time: 0.004
The maximum number of iterations for a single SCC of size 18 was 5
Solving time: 0h 0m 0.333s in seconds: 0.333
Elapsed time: 0h 0m 0.392s in seconds: 0.392
Solution:
A_L2_ret0_ext0 : 0.500000000000
A_L2_ret1_ext0 : 0.500000000000
A_L2_0_ext0    : 0.500000009906
A_L3_ext0      : 0.500000000000
A_L1_ret0_ext0 : 0.500000002376
A_L1_ret1_ext0 : 0.00000000000
A_L1_0_ext0    : 0.250000003849
A_L1_1_ext0    : 0.0576923091901
A_0_ext0       : 0.500000005940
A_1_ext0       : 0.115384618103
A_L2_ret0_ext1 : 0.500000000000
A_L2_ret1_ext1 : 0.500000000000
A_L2_0_ext1    : 0.500000009906
A_L3_ext1      : 0.500000000000
A_L1_ret0_ext1 : 0.500000002376
A_L1_ret1_ext1 : 1.00000000000
A_L1_0_ext1    : 0.750000009348
A_L1_1_ext1    : 0.942307718159
A_0_ext1       : 0.500000005940
A_1_ext1       : 0.884615411760
B_L2_ext0      : 1.00000001100
B_L1_ret0_ext0 : 0.500000000000
B_L1_ret1_ext0 : 1.00000000550
B_L1_0_ext0    : 0.750000010997
B_L1_1_ext0    : 0.942307722769
B_0_ext0       : 0.907692327467
B_L2_ext1      : 0.00000000000
B_L1_ret0_ext1 : 0.500000000000
B_L1_ret1_ext1 : 0.00000000000
B_L1_0_ext1    : 0.250000002749
B_L1_1_ext1    : 0.0576923089363
B_0_ext1       : 0.0923076937823



Dominik Wojtczak 2006-10-31