iters=5 new-facts=1 prior-facts=1 | | mean | 324.764-272.016=52.748 | | σ | 0.050-0.008=0.042 | | min | 324.676-272.006=52.669 | | max | 324.790-272.028=52.761 |
| | mean | 2702.000-2884.000=-182.000 | | σ | 0.000 | | min | 2702.000-2884.000=-182.000 | | max | 2702.000-2884.000=-182.000 |
| | mean | 0.426-0.391=0.036 | | σ | 0.008-0.011=-0.003 | | min | 0.421-0.379=0.042 | | max | 0.440-0.403=0.036 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.324-1932.434=52.890 | | σ | 0.009-0.006=0.003 | | min | 1985.309-1932.425=52.884 | | max | 1985.331-1932.440=52.891 |
| | mean | 2702.000-2884.000=-182.000 | | σ | 0.000 | | min | 2702.000-2884.000=-182.000 | | max | 2702.000-2884.000=-182.000 |
| | mean | 2.631-2.969=-0.338 | | σ | 0.201-0.148=0.054 | | min | 2.430-2.773=-0.343 | | max | 2.951-3.184=-0.232 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.094-4753.183=55.911 | | σ | 7.666-0.831=6.835 | | min | 4805.615-4752.691=52.924 | | max | 4822.807-4754.663=68.144 |
| | mean | 2702.000-2884.000=-182.000 | | σ | 0.000 | | min | 2702.000-2884.000=-182.000 | | max | 2702.000-2884.000=-182.000 |
| | mean | 8.976-8.429=0.547 | | σ | 0.187-0.382=-0.196 | | min | 8.711-7.828=0.883 | | max | 9.228-8.856=0.371 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.631-4943.630=53.000 | | σ | 0.025-0.020=0.005 | | min | 4996.595-4943.607=52.988 | | max | 4996.659-4943.657=53.002 |
| | mean | 3027.000-3064.400=-37.400 | | σ | 275.312-201.402=73.910 | | min | 2702.000-2884.000=-182.000 | | max | 3404.000-3374.000=30.000 |
| | mean | 8.596-8.710=-0.114 | | σ | 0.113-0.211=-0.098 | | min | 8.445-8.482=-0.036 | | max | 8.734-8.927=-0.193 |
|