iters=5 new-facts=1 prior-facts=1 | | mean | 266.781-266.781=-0.000 | | σ | 0.007-0.005=0.003 | | min | 266.772-266.775=-0.003 | | max | 266.789-266.787=0.001 |
| | mean | 2474.000-2469.000=5.000 | | σ | 0.000 | | min | 2474.000-2469.000=5.000 | | max | 2474.000-2469.000=5.000 |
| | mean | 0.368-0.368=0.000 | | σ | 0.009-0.004=0.004 | | min | 0.364-0.363=0.000 | | max | 0.383-0.374=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.210-1927.203=0.007 | | σ | 0.010-0.011=-0.000 | | min | 1927.202-1927.186=0.016 | | max | 1927.225-1927.215=0.010 |
| | mean | 2474.000-2469.000=5.000 | | σ | 0.000 | | min | 2474.000-2469.000=5.000 | | max | 2474.000-2469.000=5.000 |
| | mean | 3.047-3.041=0.007 | | σ | 0.231-0.093=0.138 | | min | 2.751-2.915=-0.164 | | max | 3.386-3.165=0.221 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.697-4747.625=0.072 | | σ | 0.845-0.506=0.339 | | min | 4747.189-4747.295=-0.106 | | max | 4749.199-4748.519=0.680 |
| | mean | 2474.000-2469.000=5.000 | | σ | 0.000 | | min | 2474.000-2469.000=5.000 | | max | 2474.000-2469.000=5.000 |
| | mean | 8.543-8.304=0.239 | | σ | 0.495-0.587=-0.092 | | min | 7.932-7.749=0.182 | | max | 9.157-9.203=-0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.173-4938.158=0.014 | | σ | 0.091-0.080=0.010 | | min | 4938.099-4938.085=0.014 | | max | 4938.276-4938.247=0.029 |
| | mean | 3003.000-2939.600=63.400 | | σ | 272.715-400.013=-127.298 | | min | 2612.000-2494.000=118.000 | | max | 3337.000-3465.000=-128.000 |
| | mean | 8.667-8.402=0.265 | | σ | 0.267-0.094=0.173 | | min | 8.427-8.324=0.104 | | max | 9.001-8.560=0.441 |
|