iters=5 new-facts=1 prior-facts=1 | | mean | 324.765-324.762=0.003 | | σ | 0.045-0.056=-0.010 | | min | 324.684-324.663=0.021 | | max | 324.792-324.793=-0.001 |
| | mean | 2841.000-2848.000=-7.000 | | σ | 0.000 | | min | 2841.000-2848.000=-7.000 | | max | 2841.000-2848.000=-7.000 |
| | mean | 0.416-0.429=-0.013 | | σ | 0.001-0.009=-0.008 | | min | 0.415-0.424=-0.009 | | max | 0.418-0.445=-0.028 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.316=0.000 | | σ | 0.016-0.015=0.001 | | min | 1985.287-1985.298=-0.011 | | max | 1985.326-1985.332=-0.006 |
| | mean | 2841.000-2848.000=-7.000 | | σ | 0.000 | | min | 2841.000-2848.000=-7.000 | | max | 2841.000-2848.000=-7.000 |
| | mean | 2.742-2.658=0.085 | | σ | 0.142-0.105=0.036 | | min | 2.599-2.567=0.032 | | max | 2.949-2.778=0.172 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.105-4809.000=0.104 | | σ | 7.648-7.774=-0.127 | | min | 4805.580-4805.014=0.566 | | max | 4822.784-4822.897=-0.112 |
| | mean | 2841.000-2848.000=-7.000 | | σ | 0.000 | | min | 2841.000-2848.000=-7.000 | | max | 2841.000-2848.000=-7.000 |
| | mean | 8.824-8.795=0.028 | | σ | 0.314-0.409=-0.095 | | min | 8.477-8.075=0.402 | | max | 9.194-9.056=0.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.631-4996.489=0.142 | | σ | 0.020-0.192=-0.172 | | min | 4996.610-4996.256=0.354 | | max | 4996.660-4996.647=0.013 |
| | mean | 3078.800-3067.000=11.800 | | σ | 255.919-291.781=-35.861 | | min | 2841.000-2848.000=-7.000 | | max | 3348.000-3517.000=-169.000 |
| | mean | 8.720-8.543=0.177 | | σ | 0.125-0.132=-0.007 | | min | 8.527-8.465=0.062 | | max | 8.827-8.777=0.051 |
|