iters=5 new-facts=1 prior-facts=1 | | mean | 277.712-277.715=-0.003 | | σ | 0.010-0.015=-0.004 | | min | 277.697-277.699=-0.002 | | max | 277.722-277.731=-0.009 |
| | mean | 2653.000-2642.000=11.000 | | σ | 0.000 | | min | 2653.000-2642.000=11.000 | | max | 2653.000-2642.000=11.000 |
| | mean | 0.409-0.408=0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.408-0.407=0.001 | | max | 0.410-0.410=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.876-2267.892=-0.016 | | σ | 0.021-0.005=0.016 | | min | 2267.841-2267.887=-0.046 | | max | 2267.897-2267.899=-0.002 |
| | mean | 2653.000-2642.000=11.000 | | σ | 0.000 | | min | 2653.000-2642.000=11.000 | | max | 2653.000-2642.000=11.000 |
| | mean | 3.238-2.912=0.327 | | σ | 0.285-0.103=0.182 | | min | 2.915-2.802=0.113 | | max | 3.692-3.066=0.627 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.081-4954.965=0.115 | | σ | 0.798-0.913=-0.115 | | min | 4954.651-4954.121=0.530 | | max | 4956.504-4956.529=-0.025 |
| | mean | 2653.000-2642.000=11.000 | | σ | 0.000 | | min | 2653.000-2642.000=11.000 | | max | 2653.000-2642.000=11.000 |
| | mean | 7.785-7.917=-0.132 | | σ | 0.181-0.178=0.004 | | min | 7.589-7.734=-0.145 | | max | 8.027-8.198=-0.171 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.717-5169.653=0.064 | | σ | 0.152-0.149=0.003 | | min | 5169.484-5169.501=-0.017 | | max | 5169.866-5169.851=0.016 |
| | mean | 3329.200-3382.600=-53.400 | | σ | 428.120-452.270=-24.150 | | min | 2912.000-2810.000=102.000 | | max | 3767.000-3990.000=-223.000 |
| | mean | 9.237-9.326=-0.088 | | σ | 0.350-0.047=0.303 | | min | 8.911-9.275=-0.364 | | max | 9.777-9.395=0.382 |
|