iters=5 new-facts=1 prior-facts=1 | | mean | 324.704-324.707=-0.002 | | σ | 0.056-0.053=0.004 | | min | 324.605-324.613=-0.008 | | max | 324.739-324.735=0.004 |
| | mean | 2836.000-2834.000=2.000 | | σ | 0.000 | | min | 2836.000-2834.000=2.000 | | max | 2836.000-2834.000=2.000 |
| | mean | 0.423-0.422=0.001 | | σ | 0.001-0.000=0.000 | | min | 0.423-0.422=0.001 | | max | 0.424-0.423=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.269-1985.262=0.007 | | σ | 0.008-0.014=-0.006 | | min | 1985.259-1985.243=0.016 | | max | 1985.281-1985.278=0.004 |
| | mean | 2836.000-2834.000=2.000 | | σ | 0.000 | | min | 2836.000-2834.000=2.000 | | max | 2836.000-2834.000=2.000 |
| | mean | 2.592-2.593=-0.001 | | σ | 0.067-0.156=-0.089 | | min | 2.535-2.384=0.151 | | max | 2.675-2.809=-0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858-4808.862=-0.004 | | σ | 7.683-7.677=0.006 | | min | 4805.394-4805.402=-0.008 | | max | 4822.601-4822.596=0.006 |
| | mean | 2836.000-2834.000=2.000 | | σ | 0.000 | | min | 2836.000-2834.000=2.000 | | max | 2836.000-2834.000=2.000 |
| | mean | 8.824-8.934=-0.110 | | σ | 0.285-0.120=0.165 | | min | 8.344-8.829=-0.485 | | max | 9.060-9.112=-0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.411=0.056 | | σ | 0.018-0.133=-0.115 | | min | 4996.449-4996.173=0.276 | | max | 4996.494-4996.480=0.015 |
| | mean | 3067.400-3089.200=-21.800 | | σ | 219.865-258.605=-38.740 | | min | 2836.000-2834.000=2.000 | | max | 3391.000-3351.000=40.000 |
| | mean | 8.683-8.906=-0.224 | | σ | 0.165-0.389=-0.223 | | min | 8.509-8.479=0.029 | | max | 8.879-9.491=-0.612 |
|