iters=5 new-facts=1 prior-facts=1 | | mean | 272.019-272.019=0.000 | | σ | 0.007-0.006=0.001 | | min | 272.015-272.011=0.004 | | max | 272.030-272.025=0.005 |
| | mean | 2846.000-2896.000=-50.000 | | σ | 0.000 | | min | 2846.000-2896.000=-50.000 | | max | 2846.000-2896.000=-50.000 |
| | mean | 0.392-0.390=0.002 | | σ | 0.006-0.012=-0.006 | | min | 0.381-0.378=0.003 | | max | 0.395-0.407=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.439-1932.437=0.001 | | σ | 0.005-0.022=-0.017 | | min | 1932.432-1932.413=0.019 | | max | 1932.444-1932.470=-0.027 |
| | mean | 2846.000-2896.000=-50.000 | | σ | 0.000 | | min | 2846.000-2896.000=-50.000 | | max | 2846.000-2896.000=-50.000 |
| | mean | 3.064-2.929=0.135 | | σ | 0.143-0.277=-0.134 | | min | 2.952-2.455=0.497 | | max | 3.307-3.175=0.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.083-4753.212=-0.129 | | σ | 0.963-0.876=0.087 | | min | 4752.317-4752.695=-0.378 | | max | 4754.757-4754.770=-0.013 |
| | mean | 2846.000-2896.000=-50.000 | | σ | 0.000 | | min | 2846.000-2896.000=-50.000 | | max | 2846.000-2896.000=-50.000 |
| | mean | 8.430-8.287=0.143 | | σ | 0.542-0.464=0.078 | | min | 7.945-7.736=0.209 | | max | 9.098-8.934=0.164 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.627-4943.550=0.077 | | σ | 0.015-0.170=-0.155 | | min | 4943.606-4943.246=0.360 | | max | 4943.645-4943.642=0.003 |
| | mean | 3084.800-3063.800=21.000 | | σ | 313.063-234.536=78.527 | | min | 2846.000-2896.000=-50.000 | | max | 3569.000-3432.000=137.000 |
| | mean | 8.432-8.437=-0.005 | | σ | 0.126-0.082=0.044 | | min | 8.355-8.373=-0.018 | | max | 8.651-8.576=0.075 |
|