iters=5 new-facts=1 prior-facts=1 | | mean | 324.683-324.694=-0.010 | | σ | 0.056-0.053=0.003 | | min | 324.588-324.599=-0.012 | | max | 324.722-324.720=0.002 |
| | mean | 2826.000-2801.000=25.000 | | σ | 0.000 | | min | 2826.000-2801.000=25.000 | | max | 2826.000-2801.000=25.000 |
| | mean | 0.429-0.425=0.004 | | σ | 0.007-0.001=0.007 | | min | 0.425-0.424=0.000 | | max | 0.442-0.426=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253-1985.259=-0.007 | | σ | 0.007-0.009=-0.002 | | min | 1985.244-1985.244=-0.000 | | max | 1985.263-1985.266=-0.004 |
| | mean | 2826.000-2801.000=25.000 | | σ | 0.000 | | min | 2826.000-2801.000=25.000 | | max | 2826.000-2801.000=25.000 |
| | mean | 2.689-2.600=0.090 | | σ | 0.116-0.077=0.040 | | min | 2.546-2.507=0.039 | | max | 2.842-2.687=0.155 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.841-4808.845=-0.005 | | σ | 7.656-7.684=-0.028 | | min | 4805.374-4805.379=-0.005 | | max | 4822.536-4822.591=-0.054 |
| | mean | 2826.000-2801.000=25.000 | | σ | 0.000 | | min | 2826.000-2801.000=25.000 | | max | 2826.000-2801.000=25.000 |
| | mean | 8.831-8.837=-0.006 | | σ | 0.170-0.127=0.043 | | min | 8.633-8.657=-0.024 | | max | 8.974-9.002=-0.029 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.456-4996.457=-0.001 | | σ | 0.017-0.018=-0.001 | | min | 4996.432-4996.432=-0.000 | | max | 4996.476-4996.480=-0.004 |
| | mean | 3058.000-3065.600=-7.600 | | σ | 248.623-238.188=10.436 | | min | 2826.000-2801.000=25.000 | | max | 3319.000-3407.000=-88.000 |
| | mean | 8.754-8.774=-0.021 | | σ | 0.245-0.150=0.095 | | min | 8.509-8.559=-0.050 | | max | 9.104-8.975=0.129 |
|