iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.758=0.004 | | σ | 0.056-0.060=-0.004 | | min | 324.662-324.652=0.010 | | max | 324.800-324.800=0.000 |
| | mean | 2847.000-2843.000=4.000 | | σ | 0.000 | | min | 2847.000-2843.000=4.000 | | max | 2847.000-2843.000=4.000 |
| | mean | 0.432-0.425=0.007 | | σ | 0.008-0.001=0.007 | | min | 0.422-0.424=-0.002 | | max | 0.440-0.427=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.308=0.009 | | σ | 0.016-0.018=-0.002 | | min | 1985.291-1985.285=0.006 | | max | 1985.330-1985.327=0.003 |
| | mean | 2847.000-2843.000=4.000 | | σ | 0.000 | | min | 2847.000-2843.000=4.000 | | max | 2847.000-2843.000=4.000 |
| | mean | 2.621-2.740=-0.119 | | σ | 0.068-0.122=-0.055 | | min | 2.551-2.576=-0.025 | | max | 2.715-2.897=-0.182 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.106-4808.935=0.171 | | σ | 7.628-7.684=-0.056 | | min | 4805.595-4805.428=0.166 | | max | 4822.749-4822.680=0.070 |
| | mean | 2847.000-2843.000=4.000 | | σ | 0.000 | | min | 2847.000-2843.000=4.000 | | max | 2847.000-2843.000=4.000 |
| | mean | 8.935-8.881=0.054 | | σ | 0.456-0.155=0.301 | | min | 8.367-8.762=-0.395 | | max | 9.633-9.142=0.490 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629-4996.468=0.161 | | σ | 0.023-0.156=-0.133 | | min | 4996.598-4996.190=0.408 | | max | 4996.653-4996.561=0.092 |
| | mean | 3056.600-3089.200=-32.600 | | σ | 226.085-231.435=-5.350 | | min | 2847.000-2843.000=4.000 | | max | 3393.000-3323.000=70.000 |
| | mean | 8.751-8.825=-0.073 | | σ | 0.170-0.437=-0.267 | | min | 8.496-8.485=0.010 | | max | 8.958-9.542=-0.584 |
|