iters=5 new-facts=1 prior-facts=1 | | mean | 324.585-316.677=7.907 | | σ | 0.054-17.686=-17.632 | | min | 324.489-285.040=39.449 | | max | 324.621-324.608=0.013 |
| | mean | 2847.000-2643.000=204.000 | | σ | 0.000 | | min | 2847.000-2643.000=204.000 | | max | 2847.000-2643.000=204.000 |
| | mean | 0.431-0.411=0.020 | | σ | 0.011-0.027=-0.016 | | min | 0.423-0.363=0.059 | | max | 0.446-0.424=0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.141-1985.147=-0.005 | | σ | 0.015-0.007=0.008 | | min | 1985.125-1985.137=-0.012 | | max | 1985.156-1985.156=-0.000 |
| | mean | 2847.000-2643.000=204.000 | | σ | 0.000 | | min | 2847.000-2643.000=204.000 | | max | 2847.000-2643.000=204.000 |
| | mean | 2.616-2.620=-0.004 | | σ | 0.151-0.095=0.056 | | min | 2.441-2.520=-0.078 | | max | 2.847-2.730=0.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.668-4808.749=-0.081 | | σ | 7.772-7.674=0.098 | | min | 4804.678-4805.267=-0.589 | | max | 4822.561-4822.477=0.084 |
| | mean | 2847.000-2643.000=204.000 | | σ | 0.000 | | min | 2847.000-2643.000=204.000 | | max | 2847.000-2643.000=204.000 |
| | mean | 9.132-8.979=0.153 | | σ | 0.206-0.227=-0.021 | | min | 8.802-8.812=-0.009 | | max | 9.330-9.376=-0.046 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.344-4996.276=0.068 | | σ | 0.024-0.145=-0.121 | | min | 4996.316-4996.017=0.299 | | max | 4996.370-4996.349=0.021 |
| | mean | 3041.000-2986.200=54.800 | | σ | 212.123-273.258=-61.136 | | min | 2847.000-2643.000=204.000 | | max | 3361.000-3328.000=33.000 |
| | mean | 8.772-8.622=0.150 | | σ | 0.180-0.138=0.043 | | min | 8.549-8.465=0.084 | | max | 9.037-8.829=0.208 |
|