iters=5 new-facts=1 prior-facts=1 | | mean | 324.705-324.710=-0.005 | | σ | 0.056-0.041=0.015 | | min | 324.605-324.637=-0.033 | | max | 324.740-324.739=0.002 |
| | mean | 2842.000-2421.000=421.000 | | σ | 0.000 | | min | 2842.000-2421.000=421.000 | | max | 2842.000-2421.000=421.000 |
| | mean | 0.426-0.425=0.001 | | σ | 0.012-0.001=0.010 | | min | 0.420-0.424=-0.005 | | max | 0.447-0.427=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267-1985.257=0.010 | | σ | 0.011-0.016=-0.004 | | min | 1985.248-1985.235=0.013 | | max | 1985.277-1985.273=0.005 |
| | mean | 2842.000-2421.000=421.000 | | σ | 0.000 | | min | 2842.000-2421.000=421.000 | | max | 2842.000-2421.000=421.000 |
| | mean | 2.629-2.689=-0.060 | | σ | 0.211-0.132=0.080 | | min | 2.437-2.517=-0.080 | | max | 2.965-2.832=0.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.890-4808.883=0.007 | | σ | 7.637-7.716=-0.079 | | min | 4805.448-4805.359=0.089 | | max | 4822.552-4822.686=-0.133 |
| | mean | 2842.000-2421.000=421.000 | | σ | 0.000 | | min | 2842.000-2421.000=421.000 | | max | 2842.000-2421.000=421.000 |
| | mean | 9.033-9.106=-0.072 | | σ | 0.235-0.145=0.090 | | min | 8.645-8.910=-0.265 | | max | 9.269-9.255=0.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.325-4996.467=-0.142 | | σ | 0.182-0.015=0.167 | | min | 4996.124-4996.444=-0.320 | | max | 4996.481-4996.484=-0.004 |
| | mean | 3064.600-2963.600=101.000 | | σ | 297.990-433.366=-135.377 | | min | 2842.000-2473.000=369.000 | | max | 3528.000-3554.000=-26.000 |
| | mean | 8.425-8.545=-0.120 | | σ | 0.173-0.151=0.023 | | min | 8.164-8.317=-0.153 | | max | 8.651-8.715=-0.065 |
|