iters=5 new-facts=1 prior-facts=1 | | mean | 273.502-273.502=-0.000 | | σ | 0.007-0.006=0.001 | | min | 273.494-273.496=-0.002 | | max | 273.513-273.509=0.003 |
| | mean | 2868.000-2852.000=16.000 | | σ | 0.000 | | min | 2868.000-2852.000=16.000 | | max | 2868.000-2852.000=16.000 |
| | mean | 0.384-0.378=0.007 | | σ | 0.006-0.005=0.001 | | min | 0.381-0.373=0.008 | | max | 0.395-0.384=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.915-1933.900=0.014 | | σ | 0.015-0.013=0.002 | | min | 1933.903-1933.882=0.021 | | max | 1933.939-1933.913=0.026 |
| | mean | 2868.000-2852.000=16.000 | | σ | 0.000 | | min | 2868.000-2852.000=16.000 | | max | 2868.000-2852.000=16.000 |
| | mean | 2.813-2.995=-0.182 | | σ | 0.238-0.172=0.066 | | min | 2.454-2.718=-0.264 | | max | 3.028-3.189=-0.161 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.641-4754.581=0.060 | | σ | 0.922-0.914=0.008 | | min | 4754.160-4753.924=0.236 | | max | 4756.287-4756.186=0.101 |
| | mean | 2868.000-2852.000=16.000 | | σ | 0.000 | | min | 2868.000-2852.000=16.000 | | max | 2868.000-2852.000=16.000 |
| | mean | 8.779-8.272=0.507 | | σ | 0.282-0.618=-0.336 | | min | 8.494-7.801=0.693 | | max | 9.123-9.186=-0.062 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.979-4945.109=-0.131 | | σ | 0.322-0.015=0.307 | | min | 4944.404-4945.094=-0.690 | | max | 4945.143-4945.131=0.012 |
| | mean | 3055.800-3034.000=21.800 | | σ | 208.577-258.140=-49.564 | | min | 2868.000-2852.000=16.000 | | max | 3375.000-3443.000=-68.000 |
| | mean | 8.665-8.436=0.229 | | σ | 0.226-0.115=0.110 | | min | 8.427-8.338=0.090 | | max | 8.945-8.622=0.323 |
|