iters=5 new-facts=1 prior-facts=1 | | mean | 273.607-273.609=-0.002 | | σ | 0.007-0.007=-0.000 | | min | 273.598-273.600=-0.002 | | max | 273.617-273.616=0.001 |
| | mean | 2847.000-2836.000=11.000 | | σ | 0.000 | | min | 2847.000-2836.000=11.000 | | max | 2847.000-2836.000=11.000 |
| | mean | 0.381-0.386=-0.005 | | σ | 0.002-0.008=-0.006 | | min | 0.379-0.382=-0.003 | | max | 0.384-0.401=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.006-1934.002=0.004 | | σ | 0.015-0.007=0.008 | | min | 1933.989-1933.996=-0.007 | | max | 1934.026-1934.013=0.014 |
| | mean | 2847.000-2836.000=11.000 | | σ | 0.000 | | min | 2847.000-2836.000=11.000 | | max | 2847.000-2836.000=11.000 |
| | mean | 2.854-3.158=-0.305 | | σ | 0.287-0.159=0.128 | | min | 2.392-2.988=-0.596 | | max | 3.080-3.348=-0.267 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.543-4754.730=-0.187 | | σ | 0.723-0.848=-0.125 | | min | 4753.825-4754.280=-0.455 | | max | 4755.754-4756.244=-0.489 |
| | mean | 2847.000-2836.000=11.000 | | σ | 0.000 | | min | 2847.000-2836.000=11.000 | | max | 2847.000-2836.000=11.000 |
| | mean | 8.515-8.570=-0.055 | | σ | 0.466-0.440=0.026 | | min | 7.792-7.845=-0.054 | | max | 8.916-8.930=-0.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.226-4945.226=-0.000 | | σ | 0.017-0.016=0.001 | | min | 4945.208-4945.209=-0.001 | | max | 4945.246-4945.240=0.007 |
| | mean | 3048.600-3066.600=-18.000 | | σ | 199.085-247.107=-48.022 | | min | 2847.000-2836.000=11.000 | | max | 3307.000-3326.000=-19.000 |
| | mean | 8.604-9.007=-0.403 | | σ | 0.190-0.467=-0.277 | | min | 8.384-8.506=-0.121 | | max | 8.814-9.609=-0.794 |
|