iters=5 new-facts=1 prior-facts=1 | | mean | 271.957-271.955=0.002 | | σ | 0.005-0.008=-0.003 | | min | 271.950-271.943=0.007 | | max | 271.962-271.962=0.000 |
| | mean | 2698.000-2430.000=268.000 | | σ | 0.000 | | min | 2698.000-2430.000=268.000 | | max | 2698.000-2430.000=268.000 |
| | mean | 0.380-0.383=-0.003 | | σ | 0.001-0.006=-0.005 | | min | 0.378-0.380=-0.001 | | max | 0.382-0.394=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.334-1932.323=0.011 | | σ | 0.013-0.014=-0.001 | | min | 1932.314-1932.311=0.004 | | max | 1932.350-1932.344=0.006 |
| | mean | 2698.000-2430.000=268.000 | | σ | 0.000 | | min | 2698.000-2430.000=268.000 | | max | 2698.000-2430.000=268.000 |
| | mean | 2.861-2.919=-0.058 | | σ | 0.350-0.268=0.082 | | min | 2.459-2.474=-0.016 | | max | 3.219-3.199=0.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.006-4753.078=-0.072 | | σ | 0.982-0.883=0.099 | | min | 4752.298-4752.552=-0.254 | | max | 4754.725-4754.651=0.074 |
| | mean | 2698.000-2430.000=268.000 | | σ | 0.000 | | min | 2698.000-2430.000=268.000 | | max | 2698.000-2430.000=268.000 |
| | mean | 8.379-8.620=-0.241 | | σ | 0.620-0.508=0.111 | | min | 7.703-7.883=-0.179 | | max | 9.130-9.309=-0.180 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.409-4943.421=-0.012 | | σ | 0.315-0.205=0.110 | | min | 4942.847-4943.181=-0.334 | | max | 4943.578-4943.590=-0.012 |
| | mean | 3014.200-2953.000=61.200 | | σ | 258.116-268.022=-9.907 | | min | 2698.000-2588.000=110.000 | | max | 3331.000-3298.000=33.000 |
| | mean | 8.531-8.491=0.039 | | σ | 0.115-0.041=0.075 | | min | 8.406-8.457=-0.051 | | max | 8.687-8.562=0.125 |
|