iters=5 new-facts=1 prior-facts=1 | | mean | 324.699-324.713=-0.014 | | σ | 0.056-0.038=0.017 | | min | 324.600-324.646=-0.045 | | max | 324.737-324.737=-0.001 |
| | mean | 2724.000-2840.000=-116.000 | | σ | 0.000 | | min | 2724.000-2840.000=-116.000 | | max | 2724.000-2840.000=-116.000 |
| | mean | 0.424-0.424=0.001 | | σ | 0.002-0.001=0.000 | | min | 0.422-0.422=-0.000 | | max | 0.426-0.426=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.266-1985.273=-0.008 | | σ | 0.014-0.007=0.006 | | min | 1985.242-1985.267=-0.026 | | max | 1985.274-1985.285=-0.011 |
| | mean | 2724.000-2840.000=-116.000 | | σ | 0.000 | | min | 2724.000-2840.000=-116.000 | | max | 2724.000-2840.000=-116.000 |
| | mean | 2.610-2.617=-0.008 | | σ | 0.084-0.084=-0.000 | | min | 2.533-2.553=-0.020 | | max | 2.727-2.728=-0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.797-4808.863=-0.067 | | σ | 7.735-7.653=0.082 | | min | 4804.797-4805.387=-0.590 | | max | 4822.622-4822.554=0.068 |
| | mean | 2724.000-2840.000=-116.000 | | σ | 0.000 | | min | 2724.000-2840.000=-116.000 | | max | 2724.000-2840.000=-116.000 |
| | mean | 8.810-8.926=-0.116 | | σ | 0.612-0.201=0.411 | | min | 7.743-8.636=-0.893 | | max | 9.263-9.136=0.127 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.393-4996.465=-0.072 | | σ | 0.153-0.019=0.134 | | min | 4996.121-4996.445=-0.324 | | max | 4996.482-4996.490=-0.008 |
| | mean | 3017.600-3041.400=-23.800 | | σ | 345.238-211.079=134.159 | | min | 2724.000-2840.000=-116.000 | | max | 3528.000-3345.000=183.000 |
| | mean | 8.504-8.641=-0.138 | | σ | 0.119-0.183=-0.063 | | min | 8.431-8.493=-0.062 | | max | 8.714-8.935=-0.222 |
|