iters=5 new-facts=1 prior-facts=1 | | mean | 275.759-275.756=0.003 | | σ | 0.009-0.007=0.002 | | min | 275.751-275.750=0.001 | | max | 275.768-275.764=0.004 |
| | mean | 2642.000-2509.000=133.000 | | σ | 0.000 | | min | 2642.000-2509.000=133.000 | | max | 2642.000-2509.000=133.000 |
| | mean | 0.406-0.404=0.001 | | σ | 0.012-0.009=0.003 | | min | 0.395-0.399=-0.004 | | max | 0.420-0.420=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.288-2168.275=0.013 | | σ | 0.007-0.019=-0.012 | | min | 2168.277-2168.256=0.022 | | max | 2168.296-2168.299=-0.003 |
| | mean | 2642.000-2509.000=133.000 | | σ | 0.000 | | min | 2642.000-2509.000=133.000 | | max | 2642.000-2509.000=133.000 |
| | mean | 2.954-2.940=0.014 | | σ | 0.155-0.109=0.046 | | min | 2.750-2.792=-0.042 | | max | 3.107-3.082=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.874-5048.102=-0.228 | | σ | 1.168-0.928=0.239 | | min | 5046.579-5047.606=-1.026 | | max | 5049.781-5049.755=0.027 |
| | mean | 2642.000-2509.000=133.000 | | σ | 0.000 | | min | 2642.000-2509.000=133.000 | | max | 2642.000-2509.000=133.000 |
| | mean | 8.697-9.041=-0.345 | | σ | 0.459-0.342=0.117 | | min | 8.068-8.550=-0.482 | | max | 9.184-9.478=-0.294 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.237-5179.022=0.215 | | σ | 0.069-0.251=-0.182 | | min | 5179.170-5178.614=0.556 | | max | 5179.314-5179.197=0.117 |
| | mean | 3228.400-3269.400=-41.000 | | σ | 389.712-380.467=9.245 | | min | 2686.000-2731.000=-45.000 | | max | 3719.000-3726.000=-7.000 |
| | mean | 9.696-9.901=-0.205 | | σ | 0.553-0.660=-0.106 | | min | 8.915-8.870=0.045 | | max | 10.249-10.531=-0.282 |
|