iters=5 new-facts=1 prior-facts=1 | | mean | 273.606-273.611=-0.005 | | σ | 0.006-0.006=0.000 | | min | 273.597-273.604=-0.007 | | max | 273.612-273.616=-0.003 |
| | mean | 2867.000-2845.000=22.000 | | σ | 0.000 | | min | 2867.000-2845.000=22.000 | | max | 2867.000-2845.000=22.000 |
| | mean | 0.383-0.385=-0.002 | | σ | 0.004-0.006=-0.003 | | min | 0.380-0.381=-0.001 | | max | 0.389-0.396=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.996-1934.002=-0.005 | | σ | 0.012-0.009=0.003 | | min | 1933.982-1933.991=-0.009 | | max | 1934.015-1934.010=0.005 |
| | mean | 2867.000-2845.000=22.000 | | σ | 0.000 | | min | 2867.000-2845.000=22.000 | | max | 2867.000-2845.000=22.000 |
| | mean | 2.979-3.092=-0.113 | | σ | 0.151-0.170=-0.019 | | min | 2.728-2.944=-0.217 | | max | 3.110-3.356=-0.247 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.805-4754.641=0.165 | | σ | 0.807-0.931=-0.124 | | min | 4754.357-4753.881=0.477 | | max | 4756.244-4756.263=-0.019 |
| | mean | 2867.000-2845.000=22.000 | | σ | 0.000 | | min | 2867.000-2845.000=22.000 | | max | 2867.000-2845.000=22.000 |
| | mean | 8.197-8.582=-0.384 | | σ | 0.470-0.152=0.318 | | min | 7.769-8.422=-0.653 | | max | 8.862-8.748=0.114 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.224-4945.225=-0.001 | | σ | 0.015-0.019=-0.004 | | min | 4945.208-4945.205=0.002 | | max | 4945.240-4945.248=-0.008 |
| | mean | 3042.000-3056.800=-14.800 | | σ | 252.492-220.174=32.317 | | min | 2867.000-2845.000=22.000 | | max | 3437.000-3370.000=67.000 |
| | mean | 8.384-8.606=-0.222 | | σ | 0.026-0.126=-0.101 | | min | 8.347-8.449=-0.102 | | max | 8.418-8.772=-0.354 |
|