iters=5 new-facts=1 prior-facts=1 | | mean | 324.716-324.712=0.004 | | σ | 0.047-0.045=0.002 | | min | 324.634-324.632=0.002 | | max | 324.752-324.740=0.012 |
| | mean | 2827.000-2823.000=4.000 | | σ | 0.000 | | min | 2827.000-2823.000=4.000 | | max | 2827.000-2823.000=4.000 |
| | mean | 0.429-0.427=0.002 | | σ | 0.010-0.007=0.003 | | min | 0.422-0.421=0.001 | | max | 0.444-0.438=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.272-1985.265=0.008 | | σ | 0.010-0.008=0.002 | | min | 1985.261-1985.258=0.003 | | max | 1985.283-1985.274=0.009 |
| | mean | 2827.000-2823.000=4.000 | | σ | 0.000 | | min | 2827.000-2823.000=4.000 | | max | 2827.000-2823.000=4.000 |
| | mean | 2.671-2.726=-0.055 | | σ | 0.152-0.133=0.020 | | min | 2.551-2.595=-0.044 | | max | 2.932-2.897=0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.916-4808.874=0.042 | | σ | 7.707-7.718=-0.011 | | min | 4805.326-4805.389=-0.063 | | max | 4822.702-4822.680=0.021 |
| | mean | 2827.000-2823.000=4.000 | | σ | 0.000 | | min | 2827.000-2823.000=4.000 | | max | 2827.000-2823.000=4.000 |
| | mean | 9.096-8.927=0.169 | | σ | 0.441-0.152=0.289 | | min | 8.467-8.745=-0.278 | | max | 9.681-9.077=0.604 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.416-4996.401=0.015 | | σ | 0.133-0.150=-0.018 | | min | 4996.180-4996.134=0.046 | | max | 4996.502-4996.496=0.006 |
| | mean | 3056.200-3065.200=-9.000 | | σ | 238.812-311.867=-73.055 | | min | 2827.000-2823.000=4.000 | | max | 3397.000-3541.000=-144.000 |
| | mean | 8.688-8.558=0.130 | | σ | 0.192-0.138=0.054 | | min | 8.512-8.404=0.107 | | max | 8.982-8.783=0.199 |
|