iters=5 new-facts=1 prior-facts=1 | | mean | 278.699-278.697=0.002 | | σ | 0.014-0.012=0.002 | | min | 278.686-278.687=-0.001 | | max | 278.722-278.718=0.005 |
| | mean | 2635.000-2642.000=-7.000 | | σ | 0.000 | | min | 2635.000-2642.000=-7.000 | | max | 2635.000-2642.000=-7.000 |
| | mean | 0.419-0.419=-0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.418=0.000 | | max | 0.421-0.421=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875-2268.876=-0.001 | | σ | 0.006-0.006=-0.000 | | min | 2268.864-2268.870=-0.005 | | max | 2268.880-2268.883=-0.003 |
| | mean | 2635.000-2642.000=-7.000 | | σ | 0.000 | | min | 2635.000-2642.000=-7.000 | | max | 2635.000-2642.000=-7.000 |
| | mean | 2.889-2.942=-0.053 | | σ | 0.061-0.146=-0.086 | | min | 2.803-2.818=-0.015 | | max | 2.973-3.191=-0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.213-4952.180=0.033 | | σ | 0.784-0.802=-0.017 | | min | 4951.833-4951.602=0.231 | | max | 4953.615-4953.594=0.021 |
| | mean | 2635.000-2642.000=-7.000 | | σ | 0.000 | | min | 2635.000-2642.000=-7.000 | | max | 2635.000-2642.000=-7.000 |
| | mean | 7.825-8.052=-0.226 | | σ | 0.134-0.577=-0.443 | | min | 7.678-7.710=-0.032 | | max | 7.968-9.072=-1.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.915-5166.712=0.203 | | σ | 0.011-0.308=-0.297 | | min | 5166.906-5166.220=0.686 | | max | 5166.933-5166.925=0.008 |
| | mean | 3354.400-3382.800=-28.400 | | σ | 436.874-447.693=-10.819 | | min | 2768.000-2778.000=-10.000 | | max | 3922.000-3952.000=-30.000 |
| | mean | 9.144-9.254=-0.110 | | σ | 0.362-0.419=-0.058 | | min | 8.841-8.957=-0.116 | | max | 9.614-9.989=-0.374 |
|