iters=5 new-facts=1 prior-facts=1 | | mean | 278.670-277.718=0.952 | | σ | 0.012-0.012=-0.000 | | min | 278.661-277.700=0.961 | | max | 278.690-277.732=0.958 |
| | mean | 2858.000-2628.000=230.000 | | σ | 0.000 | | min | 2858.000-2628.000=230.000 | | max | 2858.000-2628.000=230.000 |
| | mean | 0.417-0.410=0.008 | | σ | 0.001-0.001=0.000 | | min | 0.416-0.409=0.007 | | max | 0.418-0.410=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2267.883=0.964 | | σ | 0.006-0.007=-0.001 | | min | 2268.841-2267.871=0.970 | | max | 2268.856-2267.889=0.967 |
| | mean | 2858.000-2628.000=230.000 | | σ | 0.000 | | min | 2858.000-2628.000=230.000 | | max | 2858.000-2628.000=230.000 |
| | mean | 3.005-2.964=0.042 | | σ | 0.119-0.141=-0.021 | | min | 2.911-2.775=0.137 | | max | 3.166-3.141=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.121-4954.963=-2.842 | | σ | 0.234-0.899=-0.665 | | min | 4951.960-4954.214=-2.255 | | max | 4952.531-4956.528=-3.997 |
| | mean | 2858.000-2628.000=230.000 | | σ | 0.000 | | min | 2858.000-2628.000=230.000 | | max | 2858.000-2628.000=230.000 |
| | mean | 7.737-7.857=-0.120 | | σ | 0.151-0.197=-0.046 | | min | 7.608-7.716=-0.108 | | max | 7.924-8.202=-0.278 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.048-5169.648=-2.600 | | σ | 0.012-0.282=-0.270 | | min | 5167.030-5169.337=-2.307 | | max | 5167.063-5169.866=-2.803 |
| | mean | 3391.600-3413.200=-21.600 | | σ | 412.736-454.540=-41.804 | | min | 2858.000-2821.000=37.000 | | max | 3941.000-4049.000=-108.000 |
| | mean | 9.347-9.295=0.052 | | σ | 0.249-0.347=-0.098 | | min | 9.057-8.974=0.083 | | max | 9.671-9.870=-0.199 |
|