iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.202=-0.007 | | σ | 0.006-0.008=-0.002 | | min | 277.187-277.190=-0.003 | | max | 277.202-277.208=-0.006 |
| | mean | 2613.000-2625.000=-12.000 | | σ | 0.000 | | min | 2613.000-2625.000=-12.000 | | max | 2613.000-2625.000=-12.000 |
| | mean | 0.396-0.416=-0.019 | | σ | 0.007-0.015=-0.008 | | min | 0.391-0.403=-0.012 | | max | 0.408-0.436=-0.029 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.411-2174.428=-0.017 | | σ | 0.016-0.016=0.000 | | min | 2174.392-2174.404=-0.011 | | max | 2174.429-2174.447=-0.018 |
| | mean | 2613.000-2625.000=-12.000 | | σ | 0.000 | | min | 2613.000-2625.000=-12.000 | | max | 2613.000-2625.000=-12.000 |
| | mean | 2.862-2.886=-0.024 | | σ | 0.127-0.095=0.032 | | min | 2.755-2.786=-0.031 | | max | 3.024-3.005=0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.620-5052.478=0.142 | | σ | 0.943-0.713=0.231 | | min | 5052.029-5052.091=-0.062 | | max | 5054.296-5053.750=0.546 |
| | mean | 2613.000-2625.000=-12.000 | | σ | 0.000 | | min | 2613.000-2625.000=-12.000 | | max | 2613.000-2625.000=-12.000 |
| | mean | 8.871-8.754=0.117 | | σ | 0.634-0.470=0.164 | | min | 8.017-8.215=-0.199 | | max | 9.625-9.424=0.201 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.421-5188.422=-0.001 | | σ | 0.090-0.094=-0.005 | | min | 5188.352-5188.330=0.022 | | max | 5188.524-5188.527=-0.003 |
| | mean | 3204.400-3209.800=-5.400 | | σ | 492.953-480.692=12.261 | | min | 2613.000-2625.000=-12.000 | | max | 3864.000-3855.000=9.000 |
| | mean | 8.737-8.891=-0.154 | | σ | 0.160-0.447=-0.286 | | min | 8.605-8.568=0.037 | | max | 9.016-9.647=-0.630 |
|