iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.710=-0.003 | | σ | 0.060-0.045=0.015 | | min | 324.601-324.631=-0.029 | | max | 324.743-324.738=0.005 |
| | mean | 2836.000-2827.000=9.000 | | σ | 0.000 | | min | 2836.000-2827.000=9.000 | | max | 2836.000-2827.000=9.000 |
| | mean | 0.431-0.421=0.011 | | σ | 0.011-0.001=0.010 | | min | 0.417-0.420=-0.002 | | max | 0.441-0.423=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267-1985.252=0.015 | | σ | 0.012-0.016=-0.004 | | min | 1985.251-1985.231=0.021 | | max | 1985.278-1985.268=0.009 |
| | mean | 2836.000-2827.000=9.000 | | σ | 0.000 | | min | 2836.000-2827.000=9.000 | | max | 2836.000-2827.000=9.000 |
| | mean | 2.618-2.651=-0.033 | | σ | 0.060-0.097=-0.036 | | min | 2.557-2.566=-0.009 | | max | 2.693-2.775=-0.082 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.796-4808.896=-0.100 | | σ | 7.725-7.647=0.079 | | min | 4805.038-4805.418=-0.380 | | max | 4822.612-4822.573=0.038 |
| | mean | 2836.000-2827.000=9.000 | | σ | 0.000 | | min | 2836.000-2827.000=9.000 | | max | 2836.000-2827.000=9.000 |
| | mean | 8.272-8.781=-0.509 | | σ | 0.506-0.425=0.082 | | min | 7.757-8.087=-0.329 | | max | 8.945-9.243=-0.298 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.461-4996.467=-0.006 | | σ | 0.023-0.015=0.007 | | min | 4996.433-4996.445=-0.012 | | max | 4996.487-4996.482=0.005 |
| | mean | 3062.000-3057.000=5.000 | | σ | 302.185-306.666=-4.481 | | min | 2836.000-2827.000=9.000 | | max | 3532.000-3531.000=1.000 |
| | mean | 8.651-8.509=0.142 | | σ | 0.391-0.121=0.270 | | min | 8.368-8.391=-0.023 | | max | 9.297-8.708=0.589 |
|