iters=5 new-facts=1 prior-facts=1 | | mean | 271.603-271.620=-0.017 | | σ | 0.013-0.007=0.006 | | min | 271.587-271.610=-0.023 | | max | 271.616-271.629=-0.013 |
| | mean | 2820.000-2853.000=-33.000 | | σ | 0.000 | | min | 2820.000-2853.000=-33.000 | | max | 2820.000-2853.000=-33.000 |
| | mean | 0.383-0.385=-0.002 | | σ | 0.008-0.006=0.002 | | min | 0.377-0.382=-0.005 | | max | 0.397-0.396=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.050-1932.046=0.004 | | σ | 0.017-0.007=0.010 | | min | 1932.032-1932.036=-0.004 | | max | 1932.072-1932.053=0.018 |
| | mean | 2820.000-2853.000=-33.000 | | σ | 0.000 | | min | 2820.000-2853.000=-33.000 | | max | 2820.000-2853.000=-33.000 |
| | mean | 2.921-2.995=-0.075 | | σ | 0.157-0.041=0.116 | | min | 2.659-2.953=-0.294 | | max | 3.054-3.052=0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.757-4752.712=0.046 | | σ | 0.907-0.903=0.004 | | min | 4752.280-4751.957=0.323 | | max | 4754.376-4754.282=0.094 |
| | mean | 2820.000-2853.000=-33.000 | | σ | 0.000 | | min | 2820.000-2853.000=-33.000 | | max | 2820.000-2853.000=-33.000 |
| | mean | 8.711-8.046=0.664 | | σ | 0.276-0.486=-0.210 | | min | 8.427-7.643=0.784 | | max | 9.101-8.628=0.473 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.163-4943.235=-0.072 | | σ | 0.169-0.006=0.162 | | min | 4942.863-4943.225=-0.362 | | max | 4943.256-4943.241=0.014 |
| | mean | 3002.800-3080.200=-77.400 | | σ | 251.530-301.039=-49.510 | | min | 2820.000-2853.000=-33.000 | | max | 3396.000-3544.000=-148.000 |
| | mean | 8.369-8.605=-0.236 | | σ | 0.086-0.345=-0.259 | | min | 8.221-8.313=-0.092 | | max | 8.437-9.170=-0.734 |
|