iters=5 new-facts=1 prior-facts=1 | | mean | 279.542-278.822=0.720 | | σ | 0.010-0.003=0.007 | | min | 279.532-278.819=0.713 | | max | 279.555-278.827=0.728 |
| | mean | 2815.000-2695.000=120.000 | | σ | 0.000 | | min | 2815.000-2695.000=120.000 | | max | 2815.000-2695.000=120.000 |
| | mean | 0.414-0.408=0.006 | | σ | 0.008-0.001=0.007 | | min | 0.408-0.407=0.001 | | max | 0.425-0.410=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.455-2268.876=-90.421 | | σ | 0.032-0.013=0.019 | | min | 2178.416-2268.864=-90.448 | | max | 2178.493-2268.896=-90.403 |
| | mean | 2815.000-2695.000=120.000 | | σ | 0.000 | | min | 2815.000-2695.000=120.000 | | max | 2815.000-2695.000=120.000 |
| | mean | 3.341-3.175=0.166 | | σ | 0.069-0.136=-0.067 | | min | 3.258-3.036=0.222 | | max | 3.426-3.393=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.404-4787.958=268.445 | | σ | 0.993-372.128=-371.135 | | min | 5055.795-4122.277=933.518 | | max | 5058.170-4955.891=102.278 |
| | mean | 2815.000-2695.000=120.000 | | σ | 0.000 | | min | 2815.000-2695.000=120.000 | | max | 2815.000-2695.000=120.000 |
| | mean | 8.918-7.753=1.165 | | σ | 0.615-0.545=0.070 | | min | 8.233-6.880=1.353 | | max | 9.684-8.358=1.325 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.549-5168.823=24.726 | | σ | 0.364-0.090=0.274 | | min | 5192.944-5168.718=24.226 | | max | 5193.881-5168.891=24.990 |
| | mean | 3296.400-3259.600=36.800 | | σ | 440.858-403.560=37.298 | | min | 2815.000-2853.000=-38.000 | | max | 3921.000-3660.000=261.000 |
| | mean | 8.898-9.164=-0.266 | | σ | 0.055-0.351=-0.296 | | min | 8.849-8.551=0.298 | | max | 8.982-9.378=-0.396 |
|