iters=5 new-facts=1 prior-facts=1 | | mean | 324.583-316.677=7.906 | | σ | 0.054-17.686=-17.632 | | min | 324.487-285.040=39.447 | | max | 324.610-324.608=0.002 |
| | mean | 2461.000-2643.000=-182.000 | | σ | 0.000 | | min | 2461.000-2643.000=-182.000 | | max | 2461.000-2643.000=-182.000 |
| | mean | 0.428-0.411=0.017 | | σ | 0.007-0.027=-0.020 | | min | 0.423-0.363=0.060 | | max | 0.440-0.424=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.146-1985.147=-0.001 | | σ | 0.008-0.007=0.001 | | min | 1985.135-1985.137=-0.003 | | max | 1985.153-1985.156=-0.004 |
| | mean | 2461.000-2643.000=-182.000 | | σ | 0.000 | | min | 2461.000-2643.000=-182.000 | | max | 2461.000-2643.000=-182.000 |
| | mean | 2.592-2.620=-0.028 | | σ | 0.102-0.095=0.007 | | min | 2.456-2.520=-0.064 | | max | 2.721-2.730=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.748-4808.749=-0.002 | | σ | 7.725-7.674=0.051 | | min | 4805.264-4805.267=-0.004 | | max | 4822.566-4822.477=0.089 |
| | mean | 2461.000-2643.000=-182.000 | | σ | 0.000 | | min | 2461.000-2643.000=-182.000 | | max | 2461.000-2643.000=-182.000 |
| | mean | 8.965-8.979=-0.014 | | σ | 0.339-0.227=0.112 | | min | 8.456-8.812=-0.356 | | max | 9.374-9.376=-0.001 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.347-4996.276=0.071 | | σ | 0.021-0.145=-0.124 | | min | 4996.326-4996.017=0.309 | | max | 4996.371-4996.349=0.022 |
| | mean | 3003.200-2986.200=17.000 | | σ | 271.020-273.258=-2.239 | | min | 2609.000-2643.000=-34.000 | | max | 3336.000-3328.000=8.000 |
| | mean | 8.664-8.622=0.042 | | σ | 0.141-0.138=0.004 | | min | 8.472-8.465=0.007 | | max | 8.794-8.829=-0.035 |
|