iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.766=-0.004 | | σ | 0.056-0.053=0.002 | | min | 324.663-324.671=-0.008 | | max | 324.793-324.794=-0.000 |
| | mean | 2848.000-2822.000=26.000 | | σ | 0.000 | | min | 2848.000-2822.000=26.000 | | max | 2848.000-2822.000=26.000 |
| | mean | 0.429-0.431=-0.002 | | σ | 0.009-0.010=-0.000 | | min | 0.424-0.423=0.001 | | max | 0.445-0.442=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316-1985.317=-0.001 | | σ | 0.015-0.022=-0.007 | | min | 1985.298-1985.297=0.002 | | max | 1985.332-1985.343=-0.011 |
| | mean | 2848.000-2822.000=26.000 | | σ | 0.000 | | min | 2848.000-2822.000=26.000 | | max | 2848.000-2822.000=26.000 |
| | mean | 2.658-2.636=0.022 | | σ | 0.105-0.134=-0.029 | | min | 2.567-2.518=0.050 | | max | 2.778-2.812=-0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.000-4809.120=-0.120 | | σ | 7.774-7.705=0.069 | | min | 4805.014-4805.573=-0.559 | | max | 4822.897-4822.903=-0.006 |
| | mean | 2848.000-2822.000=26.000 | | σ | 0.000 | | min | 2848.000-2822.000=26.000 | | max | 2848.000-2822.000=26.000 |
| | mean | 8.795-8.833=-0.038 | | σ | 0.409-0.473=-0.065 | | min | 8.075-7.993=0.082 | | max | 9.056-9.127=-0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.489-4996.626=-0.137 | | σ | 0.192-0.024=0.168 | | min | 4996.256-4996.593=-0.337 | | max | 4996.647-4996.653=-0.006 |
| | mean | 3067.000-3054.400=12.600 | | σ | 291.781-303.324=-11.543 | | min | 2848.000-2822.000=26.000 | | max | 3517.000-3520.000=-3.000 |
| | mean | 8.543-8.512=0.031 | | σ | 0.132-0.122=0.010 | | min | 8.465-8.410=0.055 | | max | 8.777-8.723=0.054 |
|