iters=5 new-facts=1 prior-facts=1 | | mean | 324.716-324.714=0.001 | | σ | 0.024-0.034=-0.009 | | min | 324.672-324.654=0.018 | | max | 324.732-324.735=-0.003 |
| | mean | 2728.000-2424.000=304.000 | | σ | 0.000 | | min | 2728.000-2424.000=304.000 | | max | 2728.000-2424.000=304.000 |
| | mean | 0.423-0.423=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.421-0.421=0.000 | | max | 0.425-0.425=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262-1985.267=-0.005 | | σ | 0.026-0.013=0.012 | | min | 1985.220-1985.243=-0.023 | | max | 1985.281-1985.273=0.009 |
| | mean | 2728.000-2424.000=304.000 | | σ | 0.000 | | min | 2728.000-2424.000=304.000 | | max | 2728.000-2424.000=304.000 |
| | mean | 2.616-2.606=0.009 | | σ | 0.074-0.084=-0.010 | | min | 2.575-2.513=0.062 | | max | 2.747-2.733=0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.871-4808.858=0.013 | | σ | 7.734-7.668=0.066 | | min | 4805.377-4805.415=-0.038 | | max | 4822.705-4822.575=0.130 |
| | mean | 2728.000-2424.000=304.000 | | σ | 0.000 | | min | 2728.000-2424.000=304.000 | | max | 2728.000-2424.000=304.000 |
| | mean | 9.070-8.843=0.228 | | σ | 0.237-0.108=0.128 | | min | 8.857-8.747=0.110 | | max | 9.463-9.019=0.444 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4996.324=0.145 | | σ | 0.009-0.202=-0.192 | | min | 4996.456-4996.089=0.367 | | max | 4996.478-4996.479=-0.001 |
| | mean | 3026.600-2948.200=78.400 | | σ | 352.038-440.902=-88.864 | | min | 2728.000-2424.000=304.000 | | max | 3544.000-3535.000=9.000 |
| | mean | 8.588-8.502=0.086 | | σ | 0.117-0.064=0.053 | | min | 8.469-8.430=0.039 | | max | 8.725-8.599=0.126 |
|