iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-271.955=0.801 | | σ | 0.007-0.009=-0.002 | | min | 272.747-271.942=0.805 | | max | 272.764-271.964=0.800 |
| | mean | 2699.000-2655.000=44.000 | | σ | 0.000 | | min | 2699.000-2655.000=44.000 | | max | 2699.000-2655.000=44.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.005-0.007=-0.002 | | min | 0.380-0.379=0.001 | | max | 0.392-0.396=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.159-1932.322=0.837 | | σ | 0.014-0.006=0.008 | | min | 1933.140-1932.313=0.827 | | max | 1933.174-1932.328=0.845 |
| | mean | 2699.000-2655.000=44.000 | | σ | 0.000 | | min | 2699.000-2655.000=44.000 | | max | 2699.000-2655.000=44.000 |
| | mean | 3.114-2.933=0.181 | | σ | 0.080-0.309=-0.228 | | min | 3.029-2.391=0.638 | | max | 3.207-3.145=0.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.922-4753.127=3.795 | | σ | 7.634-0.839=6.794 | | min | 4753.441-4752.588=0.853 | | max | 4770.577-4754.613=15.964 |
| | mean | 2699.000-2655.000=44.000 | | σ | 0.000 | | min | 2699.000-2655.000=44.000 | | max | 2699.000-2655.000=44.000 |
| | mean | 8.573-8.287=0.286 | | σ | 0.406-0.526=-0.120 | | min | 7.941-7.581=0.360 | | max | 8.937-8.971=-0.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.387-4943.488=0.899 | | σ | 0.018-0.146=-0.129 | | min | 4944.368-4943.228=1.141 | | max | 4944.413-4943.574=0.839 |
| | mean | 3019.600-3019.200=0.400 | | σ | 349.647-273.507=76.140 | | min | 2699.000-2655.000=44.000 | | max | 3530.000-3339.000=191.000 |
| | mean | 8.477-8.556=-0.080 | | σ | 0.132-0.146=-0.014 | | min | 8.369-8.391=-0.022 | | max | 8.706-8.713=-0.007 |
|