iters=5 new-facts=1 prior-facts=1 | | mean | 324.765-324.693=0.072 | | σ | 0.045-0.047=-0.001 | | min | 324.684-324.611=0.073 | | max | 324.792-324.728=0.065 |
| | mean | 2841.000-2834.000=7.000 | | σ | 0.000 | | min | 2841.000-2834.000=7.000 | | max | 2841.000-2834.000=7.000 |
| | mean | 0.416-0.425=-0.008 | | σ | 0.001-0.002=-0.001 | | min | 0.415-0.423=-0.008 | | max | 0.418-0.427=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.246=0.071 | | σ | 0.016-0.023=-0.007 | | min | 1985.287-1985.207=0.081 | | max | 1985.326-1985.262=0.063 |
| | mean | 2841.000-2834.000=7.000 | | σ | 0.000 | | min | 2841.000-2834.000=7.000 | | max | 2841.000-2834.000=7.000 |
| | mean | 2.742-2.597=0.145 | | σ | 0.142-0.067=0.075 | | min | 2.599-2.542=0.057 | | max | 2.949-2.690=0.259 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.105-4808.841=0.264 | | σ | 7.648-7.680=-0.033 | | min | 4805.580-4805.378=0.203 | | max | 4822.784-4822.580=0.204 |
| | mean | 2841.000-2834.000=7.000 | | σ | 0.000 | | min | 2841.000-2834.000=7.000 | | max | 2841.000-2834.000=7.000 |
| | mean | 8.824-8.871=-0.047 | | σ | 0.314-0.135=0.178 | | min | 8.477-8.663=-0.186 | | max | 9.194-9.028=0.166 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.631-4996.388=0.242 | | σ | 0.020-0.149=-0.129 | | min | 4996.610-4996.124=0.486 | | max | 4996.660-4996.484=0.176 |
| | mean | 3078.800-3042.200=36.600 | | σ | 255.919-216.117=39.802 | | min | 2841.000-2834.000=7.000 | | max | 3348.000-3349.000=-1.000 |
| | mean | 8.720-8.572=0.148 | | σ | 0.125-0.087=0.038 | | min | 8.527-8.441=0.086 | | max | 8.827-8.684=0.144 |
|