iters=5 new-facts=1 prior-facts=1 | | mean | 324.760-324.757=0.003 | | σ | 0.048-0.050=-0.002 | | min | 324.675-324.668=0.007 | | max | 324.791-324.780=0.011 |
| | mean | 2455.000-2497.000=-42.000 | | σ | 0.000 | | min | 2455.000-2497.000=-42.000 | | max | 2455.000-2497.000=-42.000 |
| | mean | 0.425-0.423=0.003 | | σ | 0.004-0.001=0.003 | | min | 0.422-0.421=0.002 | | max | 0.433-0.424=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.310-1985.328=-0.018 | | σ | 0.023-0.007=0.016 | | min | 1985.274-1985.319=-0.045 | | max | 1985.330-1985.339=-0.008 |
| | mean | 2455.000-2497.000=-42.000 | | σ | 0.000 | | min | 2455.000-2497.000=-42.000 | | max | 2455.000-2497.000=-42.000 |
| | mean | 2.712-2.566=0.146 | | σ | 0.282-0.108=0.174 | | min | 2.483-2.456=0.027 | | max | 3.179-2.709=0.470 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.996-4809.087=-0.091 | | σ | 7.475-7.712=-0.237 | | min | 4805.610-4805.551=0.059 | | max | 4822.367-4822.881=-0.514 |
| | mean | 2455.000-2497.000=-42.000 | | σ | 0.000 | | min | 2455.000-2497.000=-42.000 | | max | 2455.000-2497.000=-42.000 |
| | mean | 9.155-8.925=0.231 | | σ | 0.406-0.232=0.174 | | min | 8.831-8.521=0.310 | | max | 9.787-9.090=0.697 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.633-4996.415=0.217 | | σ | 0.022-0.199=-0.177 | | min | 4996.606-4996.262=0.345 | | max | 4996.655-4996.637=0.018 |
| | mean | 2989.000-3029.400=-40.400 | | σ | 312.652-334.454=-21.802 | | min | 2586.000-2560.000=26.000 | | max | 3391.000-3328.000=63.000 |
| | mean | 8.590-8.784=-0.195 | | σ | 0.092-0.356=-0.264 | | min | 8.470-8.347=0.122 | | max | 8.679-9.266=-0.587 |
|