iters=5 new-facts=1 prior-facts=1 | | mean | 270.129-270.119=0.010 | | σ | 0.009-0.004=0.005 | | min | 270.120-270.114=0.005 | | max | 270.142-270.124=0.018 |
| | mean | 2849.000-2850.000=-1.000 | | σ | 0.000 | | min | 2849.000-2850.000=-1.000 | | max | 2849.000-2850.000=-1.000 |
| | mean | 0.380-0.380=0.000 | | σ | 0.006-0.001=0.005 | | min | 0.372-0.378=-0.006 | | max | 0.389-0.381=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.604-1930.566=0.038 | | σ | 0.015-0.064=-0.049 | | min | 1930.581-1930.455=0.126 | | max | 1930.619-1930.613=0.006 |
| | mean | 2849.000-2850.000=-1.000 | | σ | 0.000 | | min | 2849.000-2850.000=-1.000 | | max | 2849.000-2850.000=-1.000 |
| | mean | 2.517-2.590=-0.073 | | σ | 0.075-0.128=-0.053 | | min | 2.478-2.477=0.001 | | max | 2.652-2.788=-0.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.811-4751.185=-0.375 | | σ | 1.303-1.033=0.270 | | min | 4749.619-4750.208=-0.589 | | max | 4752.855-4752.943=-0.087 |
| | mean | 2849.000-2850.000=-1.000 | | σ | 0.000 | | min | 2849.000-2850.000=-1.000 | | max | 2849.000-2850.000=-1.000 |
| | mean | 8.971-8.701=0.270 | | σ | 0.285-0.559=-0.273 | | min | 8.561-7.968=0.593 | | max | 9.231-9.424=-0.193 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.765-4941.694=0.070 | | σ | 0.013-0.170=-0.157 | | min | 4941.753-4941.391=0.362 | | max | 4941.780-4941.784=-0.004 |
| | mean | 3028.400-2987.400=41.000 | | σ | 199.484-216.504=-17.020 | | min | 2849.000-2850.000=-1.000 | | max | 3334.000-3345.000=-11.000 |
| | mean | 8.477-8.395=0.082 | | σ | 0.120-0.022=0.099 | | min | 8.347-8.365=-0.017 | | max | 8.652-8.417=0.235 |
|