iters=5 new-facts=1 prior-facts=1 | | mean | 277.725-274.420=3.305 | | σ | 0.023-0.011=0.012 | | min | 277.703-274.404=3.299 | | max | 277.764-274.430=3.334 |
| | mean | 2742.000-2658.000=84.000 | | σ | 0.000 | | min | 2742.000-2658.000=84.000 | | max | 2742.000-2658.000=84.000 |
| | mean | 0.411-0.405=0.005 | | σ | 0.001-0.001=0.000 | | min | 0.409-0.404=0.005 | | max | 0.413-0.407=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.876-2264.670=3.205 | | σ | 0.017-0.009=0.008 | | min | 2267.847-2264.661=3.186 | | max | 2267.889-2264.684=3.205 |
| | mean | 2742.000-2658.000=84.000 | | σ | 0.000 | | min | 2742.000-2658.000=84.000 | | max | 2742.000-2658.000=84.000 |
| | mean | 3.151-2.884=0.268 | | σ | 0.128-0.119=0.009 | | min | 2.944-2.706=0.238 | | max | 3.270-3.032=0.238 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.942-4951.629=3.313 | | σ | 0.817-0.846=-0.028 | | min | 4954.164-4950.935=3.229 | | max | 4956.326-4953.087=3.239 |
| | mean | 2742.000-2658.000=84.000 | | σ | 0.000 | | min | 2742.000-2658.000=84.000 | | max | 2742.000-2658.000=84.000 |
| | mean | 7.768-7.995=-0.227 | | σ | 0.199-0.299=-0.100 | | min | 7.548-7.748=-0.200 | | max | 8.053-8.415=-0.362 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.682-5166.395=3.288 | | σ | 0.136-0.199=-0.063 | | min | 5169.473-5166.069=3.404 | | max | 5169.855-5166.558=3.297 |
| | mean | 3372.600-3393.200=-20.600 | | σ | 406.252-447.850=-41.597 | | min | 2973.000-2794.000=179.000 | | max | 3785.000-3976.000=-191.000 |
| | mean | 9.223-9.244=-0.020 | | σ | 0.460-0.264=0.197 | | min | 8.437-9.011=-0.573 | | max | 9.624-9.653=-0.029 |
|