iters=5 new-facts=1 prior-facts=1 | | mean | 324.714-324.712=0.002 | | σ | 0.037-0.037=-0.000 | | min | 324.649-324.648=0.001 | | max | 324.742-324.742=-0.000 |
| | mean | 2825.000-2826.000=-1.000 | | σ | 0.000 | | min | 2825.000-2826.000=-1.000 | | max | 2825.000-2826.000=-1.000 |
| | mean | 0.422-0.423=-0.001 | | σ | 0.002-0.002=-0.000 | | min | 0.421-0.420=0.001 | | max | 0.425-0.425=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.260-1985.273=-0.013 | | σ | 0.018-0.006=0.013 | | min | 1985.236-1985.268=-0.032 | | max | 1985.279-1985.281=-0.003 |
| | mean | 2825.000-2826.000=-1.000 | | σ | 0.000 | | min | 2825.000-2826.000=-1.000 | | max | 2825.000-2826.000=-1.000 |
| | mean | 2.687-2.601=0.087 | | σ | 0.079-0.046=0.032 | | min | 2.595-2.549=0.046 | | max | 2.782-2.653=0.129 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4668.264-4808.852=-140.588 | | σ | 316.471-7.688=308.784 | | min | 4102.297-4805.370=-703.073 | | max | 4822.545-4822.604=-0.059 |
| | mean | 2825.000-2826.000=-1.000 | | σ | 0.000 | | min | 2825.000-2826.000=-1.000 | | max | 2825.000-2826.000=-1.000 |
| | mean | 8.630-8.775=-0.145 | | σ | 0.495-0.117=0.378 | | min | 7.792-8.582=-0.790 | | max | 9.039-8.887=0.151 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485-4996.411=0.074 | | σ | 0.032-0.141=-0.109 | | min | 4996.446-4996.160=0.286 | | max | 4996.526-4996.489=0.037 |
| | mean | 3058.400-3050.200=8.200 | | σ | 238.772-204.294=34.478 | | min | 2825.000-2826.000=-1.000 | | max | 3302.000-3346.000=-44.000 |
| | mean | 8.895-8.662=0.233 | | σ | 0.359-0.222=0.137 | | min | 8.622-8.416=0.206 | | max | 9.493-9.010=0.483 |
|