iters=5 new-facts=1 prior-facts=1 | | mean | 313.194-272.760=40.434 | | σ | 17.568-0.007=17.562 | | min | 281.767-272.754=9.013 | | max | 321.075-272.768=48.307 |
| | mean | 2825.000-2774.000=51.000 | | σ | 0.000 | | min | 2825.000-2774.000=51.000 | | max | 2825.000-2774.000=51.000 |
| | mean | 0.411-0.391=0.020 | | σ | 0.026-0.008=0.018 | | min | 0.365-0.379=-0.014 | | max | 0.424-0.401=0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.613-1933.157=48.456 | | σ | 0.015-0.018=-0.004 | | min | 1981.589-1933.132=48.457 | | max | 1981.625-1933.177=48.448 |
| | mean | 2825.000-2774.000=51.000 | | σ | 0.000 | | min | 2825.000-2774.000=51.000 | | max | 2825.000-2774.000=51.000 |
| | mean | 2.616-3.044=-0.428 | | σ | 0.070-0.130=-0.060 | | min | 2.551-2.931=-0.380 | | max | 2.715-3.257=-0.542 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.304-4756.922=48.382 | | σ | 7.673-7.639=0.034 | | min | 4801.705-4753.442=48.263 | | max | 4819.029-4770.588=48.441 |
| | mean | 2825.000-2774.000=51.000 | | σ | 0.000 | | min | 2825.000-2774.000=51.000 | | max | 2825.000-2774.000=51.000 |
| | mean | 9.050-8.576=0.473 | | σ | 0.707-0.399=0.308 | | min | 8.367-7.928=0.439 | | max | 10.153-8.906=1.247 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.829-4944.396=48.432 | | σ | 0.019-0.015=0.005 | | min | 4992.811-4944.380=48.431 | | max | 4992.857-4944.413=48.444 |
| | mean | 3062.200-2991.600=70.600 | | σ | 249.578-208.858=40.720 | | min | 2825.000-2774.000=51.000 | | max | 3423.000-3291.000=132.000 |
| | mean | 8.730-8.527=0.203 | | σ | 0.290-0.096=0.194 | | min | 8.436-8.430=0.006 | | max | 9.076-8.630=0.446 |
|