iters=5 new-facts=1 prior-facts=1 | | mean | 278.694-277.698=0.997 | | σ | 0.014-0.012=0.002 | | min | 278.682-277.684=0.998 | | max | 278.718-277.711=1.007 |
| | mean | 2606.000-2651.000=-45.000 | | σ | 0.000 | | min | 2606.000-2651.000=-45.000 | | max | 2606.000-2651.000=-45.000 |
| | mean | 0.417-0.408=0.009 | | σ | 0.002-0.001=0.001 | | min | 0.415-0.407=0.008 | | max | 0.421-0.409=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.873-2267.873=1.001 | | σ | 0.007-0.006=0.001 | | min | 2268.865-2267.866=0.999 | | max | 2268.883-2267.879=1.004 |
| | mean | 2606.000-2651.000=-45.000 | | σ | 0.000 | | min | 2606.000-2651.000=-45.000 | | max | 2606.000-2651.000=-45.000 |
| | mean | 2.878-3.087=-0.209 | | σ | 0.107-0.211=-0.104 | | min | 2.742-2.805=-0.063 | | max | 3.019-3.359=-0.340 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.325-4951.229=1.096 | | σ | 0.892-0.756=0.136 | | min | 4951.844-4950.772=1.071 | | max | 4953.918-4952.567=1.351 |
| | mean | 2606.000-2651.000=-45.000 | | σ | 0.000 | | min | 2606.000-2651.000=-45.000 | | max | 2606.000-2651.000=-45.000 |
| | mean | 8.156-7.953=0.203 | | σ | 0.307-0.333=-0.026 | | min | 7.732-7.668=0.063 | | max | 8.584-8.489=0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.013-5165.904=1.108 | | σ | 0.145-0.127=0.018 | | min | 5166.753-5165.708=1.045 | | max | 5167.090-5166.063=1.027 |
| | mean | 3392.400-3391.400=1.000 | | σ | 445.064-538.011=-92.947 | | min | 2769.000-2912.000=-143.000 | | max | 3940.000-4166.000=-226.000 |
| | mean | 9.489-9.300=0.189 | | σ | 0.437-0.234=0.203 | | min | 9.032-9.025=0.007 | | max | 10.071-9.674=0.397 |
|