iters=5 new-facts=1 prior-facts=1 | | mean | 326.453-326.449=0.004 | | σ | 0.041-0.043=-0.002 | | min | 326.381-326.375=0.005 | | max | 326.477-326.485=-0.007 |
| | mean | 2825.000-2613.000=212.000 | | σ | 0.000 | | min | 2825.000-2613.000=212.000 | | max | 2825.000-2613.000=212.000 |
| | mean | 0.424-0.429=-0.004 | | σ | 0.002-0.004=-0.002 | | min | 0.421-0.425=-0.004 | | max | 0.426-0.435=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.603-1988.616=-0.013 | | σ | 0.010-0.010=-0.000 | | min | 1988.590-1988.600=-0.010 | | max | 1988.616-1988.626=-0.009 |
| | mean | 2825.000-2613.000=212.000 | | σ | 0.000 | | min | 2825.000-2613.000=212.000 | | max | 2825.000-2613.000=212.000 |
| | mean | 2.724-2.687=0.036 | | σ | 0.172-0.116=0.056 | | min | 2.540-2.618=-0.078 | | max | 2.943-2.895=0.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.362-4813.348=0.015 | | σ | 7.790-7.702=0.088 | | min | 4809.353-4809.426=-0.073 | | max | 4827.286-4827.116=0.170 |
| | mean | 2825.000-2613.000=212.000 | | σ | 0.000 | | min | 2825.000-2613.000=212.000 | | max | 2825.000-2613.000=212.000 |
| | mean | 8.439-8.577=-0.137 | | σ | 0.521-0.379=0.141 | | min | 7.938-8.271=-0.333 | | max | 9.240-9.061=0.178 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.794-5000.940=-0.145 | | σ | 0.184-0.166=0.018 | | min | 5000.645-5000.644=0.001 | | max | 5001.015-5001.035=-0.020 |
| | mean | 3056.400-3000.000=56.400 | | σ | 310.902-283.716=27.186 | | min | 2825.000-2613.000=212.000 | | max | 3538.000-3372.000=166.000 |
| | mean | 9.703-9.799=-0.095 | | σ | 0.233-0.150=0.084 | | min | 9.324-9.638=-0.314 | | max | 9.965-10.001=-0.036 |
|