iters=5 new-facts=1 prior-facts=1 | | mean | 324.574-316.677=7.896 | | σ | 0.040-17.686=-17.646 | | min | 324.505-285.040=39.465 | | max | 324.604-324.608=-0.004 |
| | 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.423-0.411=0.012 | | σ | 0.001-0.027=-0.025 | | min | 0.421-0.363=0.058 | | max | 0.425-0.424=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.130-1985.147=-0.017 | | σ | 0.008-0.007=0.001 | | min | 1985.119-1985.137=-0.018 | | max | 1985.140-1985.156=-0.016 |
| | 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.606-2.620=-0.015 | | σ | 0.058-0.095=-0.038 | | min | 2.545-2.520=0.025 | | max | 2.696-2.730=-0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.736-4808.749=-0.013 | | σ | 7.715-7.674=0.041 | | min | 4805.223-4805.267=-0.045 | | max | 4822.537-4822.477=0.059 |
| | mean | 2847.000-2643.000=204.000 | | σ | 0.000 | | min | 2847.000-2643.000=204.000 | | max | 2847.000-2643.000=204.000 |
| | mean | 8.893-8.979=-0.086 | | σ | 0.358-0.227=0.131 | | min | 8.336-8.812=-0.476 | | max | 9.240-9.376=-0.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.258-4996.276=-0.018 | | σ | 0.166-0.145=0.021 | | min | 4995.963-4996.017=-0.054 | | max | 4996.349-4996.349=0.000 |
| | mean | 3044.800-2986.200=58.600 | | σ | 181.661-273.258=-91.598 | | min | 2847.000-2643.000=204.000 | | max | 3306.000-3328.000=-22.000 |
| | mean | 8.787-8.622=0.164 | | σ | 0.389-0.138=0.252 | | min | 8.433-8.465=-0.032 | | max | 9.306-8.829=0.477 |
|