iters=5 new-facts=1 prior-facts=1 | | mean | 324.702-324.711=-0.009 | | σ | 0.053-0.049=0.003 | | min | 324.608-324.624=-0.016 | | max | 324.732-324.743=-0.011 |
| | mean | 2650.000-2833.000=-183.000 | | σ | 0.000 | | min | 2650.000-2833.000=-183.000 | | max | 2650.000-2833.000=-183.000 |
| | mean | 0.427-0.425=0.002 | | σ | 0.008-0.001=0.007 | | min | 0.419-0.423=-0.004 | | max | 0.440-0.426=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.269-1985.268=0.001 | | σ | 0.010-0.002=0.008 | | min | 1985.252-1985.266=-0.014 | | max | 1985.277-1985.271=0.006 |
| | mean | 2650.000-2833.000=-183.000 | | σ | 0.000 | | min | 2650.000-2833.000=-183.000 | | max | 2650.000-2833.000=-183.000 |
| | mean | 2.647-2.563=0.083 | | σ | 0.146-0.120=0.026 | | min | 2.548-2.390=0.158 | | max | 2.902-2.685=0.218 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.691-4808.872=-0.181 | | σ | 7.828-7.655=0.173 | | min | 4804.235-4805.337=-1.103 | | max | 4822.658-4822.565=0.093 |
| | mean | 2650.000-2833.000=-183.000 | | σ | 0.000 | | min | 2650.000-2833.000=-183.000 | | max | 2650.000-2833.000=-183.000 |
| | mean | 8.583-8.768=-0.185 | | σ | 0.555-0.261=0.294 | | min | 8.002-8.446=-0.444 | | max | 9.288-9.144=0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.460-4996.467=-0.008 | | σ | 0.012-0.021=-0.010 | | min | 4996.443-4996.441=0.002 | | max | 4996.473-4996.495=-0.021 |
| | mean | 2997.200-3046.600=-49.400 | | σ | 386.193-189.765=196.428 | | min | 2650.000-2833.000=-183.000 | | max | 3544.000-3319.000=225.000 |
| | mean | 8.494-8.806=-0.313 | | σ | 0.140-0.236=-0.095 | | min | 8.402-8.539=-0.137 | | max | 8.740-9.054=-0.314 |
|