iters=5 new-facts=1 prior-facts=1 | | mean | 271.752-271.755=-0.003 | | σ | 0.006-0.006=0.000 | | min | 271.745-271.749=-0.004 | | max | 271.759-271.761=-0.001 |
| | mean | 2768.000-2814.000=-46.000 | | σ | 0.000 | | min | 2768.000-2814.000=-46.000 | | max | 2768.000-2814.000=-46.000 |
| | mean | 0.386-0.380=0.005 | | σ | 0.015-0.004=0.011 | | min | 0.374-0.378=-0.004 | | max | 0.407-0.388=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.166-1932.172=-0.006 | | σ | 0.011-0.016=-0.005 | | min | 1932.152-1932.148=0.004 | | max | 1932.179-1932.186=-0.006 |
| | mean | 2768.000-2814.000=-46.000 | | σ | 0.000 | | min | 2768.000-2814.000=-46.000 | | max | 2768.000-2814.000=-46.000 |
| | mean | 2.964-3.011=-0.047 | | σ | 0.123-0.049=0.073 | | min | 2.768-2.964=-0.196 | | max | 3.103-3.081=0.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.890-4752.880=0.009 | | σ | 0.938-0.924=0.013 | | min | 4752.408-4752.401=0.006 | | max | 4754.565-4754.532=0.033 |
| | mean | 2768.000-2814.000=-46.000 | | σ | 0.000 | | min | 2768.000-2814.000=-46.000 | | max | 2768.000-2814.000=-46.000 |
| | mean | 8.742-8.771=-0.030 | | σ | 0.244-0.220=0.024 | | min | 8.395-8.523=-0.128 | | max | 9.043-9.040=0.003 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.373-4943.304=0.070 | | σ | 0.021-0.165=-0.144 | | min | 4943.348-4943.009=0.339 | | max | 4943.395-4943.384=0.011 |
| | mean | 2986.400-3003.200=-16.800 | | σ | 269.152-203.801=65.351 | | min | 2768.000-2814.000=-46.000 | | max | 3398.000-3306.000=92.000 |
| | mean | 8.388-8.510=-0.121 | | σ | 0.076-0.088=-0.012 | | min | 8.291-8.445=-0.154 | | max | 8.492-8.656=-0.165 |
|