iters=5 new-facts=1 prior-facts=1 | | mean | 326.579-326.502=0.077 | | σ | 0.031-0.058=-0.027 | | min | 326.525-326.398=0.127 | | max | 326.603-326.534=0.069 |
| | mean | 2588.000-2758.000=-170.000 | | σ | 0.000 | | min | 2588.000-2758.000=-170.000 | | max | 2588.000-2758.000=-170.000 |
| | mean | 0.425-0.424=0.001 | | σ | 0.007-0.001=0.007 | | min | 0.421-0.423=-0.002 | | max | 0.438-0.425=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.749-1988.672=0.077 | | σ | 0.007-0.017=-0.011 | | min | 1988.738-1988.645=0.093 | | max | 1988.755-1988.688=0.067 |
| | mean | 2588.000-2758.000=-170.000 | | σ | 0.000 | | min | 2588.000-2758.000=-170.000 | | max | 2588.000-2758.000=-170.000 |
| | mean | 2.666-2.649=0.017 | | σ | 0.017-0.106=-0.089 | | min | 2.645-2.479=0.166 | | max | 2.692-2.768=-0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.394-4813.538=-0.144 | | σ | 7.848-7.674=0.175 | | min | 4809.658-4810.050=-0.392 | | max | 4827.429-4827.265=0.164 |
| | mean | 2588.000-2758.000=-170.000 | | σ | 0.000 | | min | 2588.000-2758.000=-170.000 | | max | 2588.000-2758.000=-170.000 |
| | mean | 8.334-8.410=-0.076 | | σ | 0.624-0.389=0.235 | | min | 7.756-7.980=-0.224 | | max | 9.151-8.787=0.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.143-5001.081=0.062 | | σ | 0.032-0.038=-0.006 | | min | 5001.113-5001.043=0.070 | | max | 5001.193-5001.137=0.056 |
| | mean | 2980.000-3013.400=-33.400 | | σ | 414.561-237.794=176.767 | | min | 2588.000-2758.000=-170.000 | | max | 3562.000-3335.000=227.000 |
| | mean | 9.774-9.968=-0.194 | | σ | 0.388-0.301=0.086 | | min | 9.268-9.762=-0.494 | | max | 10.295-10.499=-0.205 |
|