iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.692=0.003 | | σ | 0.013-0.014=-0.002 | | min | 278.679-278.674=0.005 | | max | 278.710-278.707=0.003 |
| | mean | 2670.000-2606.000=64.000 | | σ | 0.000 | | min | 2670.000-2606.000=64.000 | | max | 2670.000-2606.000=64.000 |
| | mean | 0.422-0.422=-0.000 | | σ | 0.002-0.003=-0.001 | | min | 0.420-0.419=0.001 | | max | 0.424-0.426=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.839-2268.841=-0.002 | | σ | 0.018-0.014=0.004 | | min | 2268.807-2268.822=-0.014 | | max | 2268.854-2268.855=-0.002 |
| | mean | 2670.000-2606.000=64.000 | | σ | 0.000 | | min | 2670.000-2606.000=64.000 | | max | 2670.000-2606.000=64.000 |
| | mean | 3.555-3.375=0.180 | | σ | 0.149-0.256=-0.108 | | min | 3.395-2.928=0.467 | | max | 3.758-3.556=0.203 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.827-4955.903=-0.077 | | σ | 1.091-1.053=0.038 | | min | 4954.487-4955.012=-0.525 | | max | 4957.532-4957.724=-0.192 |
| | mean | 2670.000-2606.000=64.000 | | σ | 0.000 | | min | 2670.000-2606.000=64.000 | | max | 2670.000-2606.000=64.000 |
| | mean | 7.918-8.157=-0.238 | | σ | 0.263-0.350=-0.087 | | min | 7.678-7.678=-0.000 | | max | 8.300-8.580=-0.280 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.773-5170.770=0.003 | | σ | 0.087-0.078=0.009 | | min | 5170.679-5170.680=-0.001 | | max | 5170.856-5170.828=0.027 |
| | mean | 3392.800-3361.000=31.800 | | σ | 399.421-442.355=-42.934 | | min | 3002.000-2749.000=253.000 | | max | 3800.000-3925.000=-125.000 |
| | mean | 9.247-9.424=-0.176 | | σ | 0.257-0.244=0.014 | | min | 8.903-9.054=-0.151 | | max | 9.493-9.657=-0.164 |
|