iters=5 new-facts=1 prior-facts=1 | | mean | 271.382-271.288=0.093 | | σ | 0.007-0.007=-0.001 | | min | 271.372-271.276=0.097 | | max | 271.391-271.295=0.096 |
| | mean | 2765.000-2767.000=-2.000 | | σ | 0.000 | | min | 2765.000-2767.000=-2.000 | | max | 2765.000-2767.000=-2.000 |
| | mean | 0.379-0.378=0.002 | | σ | 0.006-0.006=-0.000 | | min | 0.374-0.369=0.005 | | max | 0.389-0.385=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.816-1931.710=0.106 | | σ | 0.002-0.016=-0.014 | | min | 1931.813-1931.690=0.123 | | max | 1931.818-1931.728=0.090 |
| | mean | 2765.000-2767.000=-2.000 | | σ | 0.000 | | min | 2765.000-2767.000=-2.000 | | max | 2765.000-2767.000=-2.000 |
| | mean | 2.912-2.875=0.037 | | σ | 0.168-0.121=0.047 | | min | 2.658-2.688=-0.030 | | max | 3.094-2.982=0.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.540-4752.343=0.197 | | σ | 0.853-0.937=-0.084 | | min | 4752.047-4751.516=0.531 | | max | 4754.055-4753.955=0.099 |
| | mean | 2765.000-2767.000=-2.000 | | σ | 0.000 | | min | 2765.000-2767.000=-2.000 | | max | 2765.000-2767.000=-2.000 |
| | mean | 8.512-8.332=0.180 | | σ | 0.496-0.476=0.020 | | min | 7.745-7.734=0.011 | | max | 9.005-8.978=0.027 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.005-4942.842=0.163 | | σ | 0.015-0.162=-0.147 | | min | 4942.982-4942.554=0.429 | | max | 4943.023-4942.931=0.092 |
| | mean | 3045.800-3022.800=23.000 | | σ | 252.112-224.380=27.733 | | min | 2765.000-2767.000=-2.000 | | max | 3395.000-3307.000=88.000 |
| | mean | 8.538-8.552=-0.014 | | σ | 0.170-0.145=0.025 | | min | 8.327-8.385=-0.058 | | max | 8.788-8.728=0.060 |
|