iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-271.756=-0.003 | | σ | 0.007-0.006=0.001 | | min | 271.743-271.749=-0.006 | | max | 271.761-271.764=-0.003 |
| | mean | 2826.000-2712.000=114.000 | | σ | 0.000 | | min | 2826.000-2712.000=114.000 | | max | 2826.000-2712.000=114.000 |
| | mean | 0.382-0.381=0.000 | | σ | 0.005-0.005=-0.001 | | min | 0.378-0.376=0.001 | | max | 0.390-0.389=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.177-1932.175=0.003 | | σ | 0.006-0.014=-0.007 | | min | 1932.169-1932.155=0.014 | | max | 1932.186-1932.192=-0.006 |
| | mean | 2826.000-2712.000=114.000 | | σ | 0.000 | | min | 2826.000-2712.000=114.000 | | max | 2826.000-2712.000=114.000 |
| | mean | 3.060-2.981=0.078 | | σ | 0.073-0.172=-0.099 | | min | 3.004-2.709=0.295 | | max | 3.140-3.165=-0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.907-4752.796=0.111 | | σ | 0.854-1.019=-0.165 | | min | 4752.423-4751.943=0.480 | | max | 4754.425-4754.556=-0.131 |
| | mean | 2826.000-2712.000=114.000 | | σ | 0.000 | | min | 2826.000-2712.000=114.000 | | max | 2826.000-2712.000=114.000 |
| | mean | 8.486-8.572=-0.086 | | σ | 0.517-0.587=-0.070 | | min | 7.627-7.628=-0.001 | | max | 8.936-9.168=-0.231 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.375-4943.301=0.075 | | σ | 0.014-0.155=-0.142 | | min | 4943.361-4943.024=0.337 | | max | 4943.391-4943.384=0.007 |
| | mean | 3059.400-2968.600=90.800 | | σ | 232.136-302.531=-70.394 | | min | 2826.000-2712.000=114.000 | | max | 3392.000-3417.000=-25.000 |
| | mean | 8.559-8.454=0.105 | | σ | 0.278-0.138=0.140 | | min | 8.341-8.332=0.009 | | max | 9.034-8.684=0.350 |
|