iters=5 new-facts=1 prior-facts=1 | | mean | 324.566-316.677=7.888 | | σ | 0.048-17.686=-17.638 | | min | 324.480-285.040=39.440 | | max | 324.595-324.608=-0.013 |
| | mean | 2841.000-2643.000=198.000 | | σ | 0.000 | | min | 2841.000-2643.000=198.000 | | max | 2841.000-2643.000=198.000 |
| | mean | 0.428-0.411=0.017 | | σ | 0.011-0.027=-0.015 | | min | 0.421-0.363=0.057 | | max | 0.448-0.424=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.125-1985.147=-0.022 | | σ | 0.007-0.007=0.000 | | min | 1985.116-1985.137=-0.022 | | max | 1985.135-1985.156=-0.021 |
| | mean | 2841.000-2643.000=198.000 | | σ | 0.000 | | min | 2841.000-2643.000=198.000 | | max | 2841.000-2643.000=198.000 |
| | mean | 2.717-2.620=0.097 | | σ | 0.185-0.095=0.090 | | min | 2.552-2.520=0.033 | | max | 2.953-2.730=0.222 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.536-4808.749=-0.213 | | σ | 7.859-7.674=0.185 | | min | 4804.646-4805.267=-0.621 | | max | 4822.587-4822.477=0.109 |
| | mean | 2841.000-2643.000=198.000 | | σ | 0.000 | | min | 2841.000-2643.000=198.000 | | max | 2841.000-2643.000=198.000 |
| | mean | 8.643-8.979=-0.336 | | σ | 0.815-0.227=0.588 | | min | 7.748-8.812=-1.064 | | max | 9.567-9.376=0.191 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.197-4996.276=-0.079 | | σ | 0.184-0.145=0.039 | | min | 4995.973-4996.017=-0.045 | | max | 4996.335-4996.349=-0.014 |
| | mean | 3048.200-2986.200=62.000 | | σ | 274.614-273.258=1.355 | | min | 2841.000-2643.000=198.000 | | max | 3471.000-3328.000=143.000 |
| | mean | 8.540-8.622=-0.082 | | σ | 0.196-0.138=0.059 | | min | 8.313-8.465=-0.152 | | max | 8.802-8.829=-0.026 |
|