iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.196=0.001 | | σ | 0.006-0.006=0.000 | | min | 277.190-277.191=-0.002 | | max | 277.205-277.206=-0.002 |
| | mean | 2663.000-2666.000=-3.000 | | σ | 0.000 | | min | 2663.000-2666.000=-3.000 | | max | 2663.000-2666.000=-3.000 |
| | mean | 0.410-0.406=0.004 | | σ | 0.010-0.010=0.000 | | min | 0.402-0.401=0.001 | | max | 0.421-0.424=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.406-2174.428=-0.021 | | σ | 0.018-0.011=0.007 | | min | 2174.390-2174.409=-0.020 | | max | 2174.431-2174.438=-0.007 |
| | mean | 2663.000-2666.000=-3.000 | | σ | 0.000 | | min | 2663.000-2666.000=-3.000 | | max | 2663.000-2666.000=-3.000 |
| | mean | 2.902-2.950=-0.048 | | σ | 0.150-0.130=0.020 | | min | 2.785-2.770=0.015 | | max | 3.118-3.125=-0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.508-5052.406=0.102 | | σ | 1.063-0.806=0.256 | | min | 5051.754-5051.652=0.102 | | max | 5054.384-5053.765=0.619 |
| | mean | 2663.000-2666.000=-3.000 | | σ | 0.000 | | min | 2663.000-2666.000=-3.000 | | max | 2663.000-2666.000=-3.000 |
| | mean | 9.023-8.760=0.264 | | σ | 0.734-0.542=0.192 | | min | 8.006-8.136=-0.131 | | max | 9.758-9.460=0.298 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.410-5188.430=-0.020 | | σ | 0.103-0.087=0.016 | | min | 5188.311-5188.361=-0.051 | | max | 5188.524-5188.531=-0.008 |
| | mean | 3221.200-3296.200=-75.000 | | σ | 479.814-417.306=62.508 | | min | 2663.000-2712.000=-49.000 | | max | 3873.000-3682.000=191.000 |
| | mean | 8.752-8.929=-0.177 | | σ | 0.196-0.303=-0.106 | | min | 8.578-8.691=-0.113 | | max | 9.089-9.457=-0.367 |
|