iters=5 new-facts=1 prior-facts=1 | | mean | 278.826-278.825=0.001 | | σ | 0.005-0.006=-0.001 | | min | 278.820-278.814=0.005 | | max | 278.833-278.829=0.004 |
| | mean | 2587.000-2698.000=-111.000 | | σ | 0.000 | | min | 2587.000-2698.000=-111.000 | | max | 2587.000-2698.000=-111.000 |
| | mean | 0.408-0.411=-0.003 | | σ | 0.002-0.005=-0.003 | | min | 0.406-0.406=-0.000 | | max | 0.411-0.417=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.876-2268.890=-0.014 | | σ | 0.014-0.014=0.000 | | min | 2268.851-2268.871=-0.020 | | max | 2268.884-2268.904=-0.020 |
| | mean | 2587.000-2698.000=-111.000 | | σ | 0.000 | | min | 2587.000-2698.000=-111.000 | | max | 2587.000-2698.000=-111.000 |
| | mean | 3.234-3.114=0.120 | | σ | 0.337-0.183=0.153 | | min | 2.954-2.910=0.044 | | max | 3.790-3.354=0.436 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.288-4954.288=0.000 | | σ | 0.956-0.931=0.025 | | min | 4953.644-4953.674=-0.031 | | max | 4955.978-4955.932=0.045 |
| | mean | 2587.000-2698.000=-111.000 | | σ | 0.000 | | min | 2587.000-2698.000=-111.000 | | max | 2587.000-2698.000=-111.000 |
| | mean | 8.089-8.021=0.067 | | σ | 0.446-0.399=0.047 | | min | 7.789-7.705=0.084 | | max | 8.874-8.706=0.169 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.827-5168.754=0.073 | | σ | 0.094-0.146=-0.052 | | min | 5168.721-5168.533=0.187 | | max | 5168.911-5168.890=0.021 |
| | mean | 3426.200-3471.000=-44.800 | | σ | 506.759-477.761=28.998 | | min | 2838.000-2884.000=-46.000 | | max | 4185.000-4161.000=24.000 |
| | mean | 9.306-9.320=-0.014 | | σ | 0.443-0.179=0.263 | | min | 8.630-9.070=-0.439 | | max | 9.761-9.485=0.276 |
|