iters=5 new-facts=1 prior-facts=1 | | mean | 282.194-282.193=0.001 | | σ | 0.008-0.009=-0.001 | | min | 282.180-282.184=-0.004 | | max | 282.200-282.205=-0.004 |
| | mean | 2772.000-2691.000=81.000 | | σ | 0.000 | | min | 2772.000-2691.000=81.000 | | max | 2772.000-2691.000=81.000 |
| | mean | 0.408-0.412=-0.004 | | σ | 0.002-0.011=-0.009 | | min | 0.405-0.405=0.000 | | max | 0.411-0.432=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.713-2174.715=-0.002 | | σ | 0.020-0.012=0.008 | | min | 2174.677-2174.700=-0.023 | | max | 2174.728-2174.729=-0.001 |
| | mean | 2772.000-2691.000=81.000 | | σ | 0.000 | | min | 2772.000-2691.000=81.000 | | max | 2772.000-2691.000=81.000 |
| | mean | 2.867-2.926=-0.059 | | σ | 0.137-0.119=0.018 | | min | 2.745-2.770=-0.025 | | max | 3.068-3.048=0.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.579-5054.536=0.043 | | σ | 0.938-0.963=-0.025 | | min | 5054.120-5054.011=0.110 | | max | 5056.254-5056.250=0.004 |
| | mean | 2772.000-2691.000=81.000 | | σ | 0.000 | | min | 2772.000-2691.000=81.000 | | max | 2772.000-2691.000=81.000 |
| | mean | 8.892-8.994=-0.101 | | σ | 0.545-0.457=0.088 | | min | 8.181-8.258=-0.077 | | max | 9.445-9.425=0.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.658-5185.661=-0.003 | | σ | 0.080-0.079=0.001 | | min | 5185.586-5185.580=0.005 | | max | 5185.750-5185.750=0.001 |
| | mean | 3273.600-3234.400=39.200 | | σ | 428.735-392.210=36.525 | | min | 2772.000-2702.000=70.000 | | max | 3849.000-3738.000=111.000 |
| | mean | 9.722-9.616=0.106 | | σ | 0.481-0.509=-0.027 | | min | 8.996-8.746=0.250 | | max | 10.121-10.065=0.056 |
|