iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.673=0.002 | | σ | 0.014-0.011=0.003 | | min | 278.660-278.662=-0.002 | | max | 278.691-278.687=0.004 |
| | mean | 2605.000-2580.000=25.000 | | σ | 0.000 | | min | 2605.000-2580.000=25.000 | | max | 2605.000-2580.000=25.000 |
| | mean | 0.418-0.420=-0.003 | | σ | 0.001-0.003=-0.002 | | min | 0.417-0.418=-0.001 | | max | 0.419-0.425=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.845-2268.850=-0.005 | | σ | 0.010-0.006=0.005 | | min | 2268.830-2268.845=-0.015 | | max | 2268.856-2268.857=-0.001 |
| | mean | 2605.000-2580.000=25.000 | | σ | 0.000 | | min | 2605.000-2580.000=25.000 | | max | 2605.000-2580.000=25.000 |
| | mean | 3.135-3.100=0.035 | | σ | 0.156-0.191=-0.035 | | min | 2.891-2.844=0.047 | | max | 3.296-3.329=-0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.230-4952.241=-0.011 | | σ | 0.830-0.821=0.009 | | min | 4951.790-4951.820=-0.030 | | max | 4953.707-4953.704=0.003 |
| | mean | 2605.000-2580.000=25.000 | | σ | 0.000 | | min | 2605.000-2580.000=25.000 | | max | 2605.000-2580.000=25.000 |
| | mean | 7.994-7.943=0.051 | | σ | 0.361-0.261=0.100 | | min | 7.728-7.681=0.047 | | max | 8.625-8.382=0.244 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.955-5166.884=0.071 | | σ | 0.083-0.124=-0.041 | | min | 5166.889-5166.693=0.196 | | max | 5167.049-5167.040=0.008 |
| | mean | 3340.800-3307.800=33.000 | | σ | 388.618-391.587=-2.969 | | min | 2943.000-2920.000=23.000 | | max | 3719.000-3703.000=16.000 |
| | mean | 9.246-9.326=-0.079 | | σ | 0.358-0.362=-0.004 | | min | 8.797-8.942=-0.146 | | max | 9.733-9.717=0.016 |
|