iters=5 new-facts=1 prior-facts=1 | | mean | 271.762-271.753=0.009 | | σ | 0.007-0.006=0.001 | | min | 271.753-271.748=0.005 | | max | 271.770-271.760=0.009 |
| | mean | 2897.000-2845.000=52.000 | | σ | 0.000 | | min | 2897.000-2845.000=52.000 | | max | 2897.000-2845.000=52.000 |
| | mean | 0.387-0.384=0.003 | | σ | 0.005-0.008=-0.003 | | min | 0.381-0.376=0.005 | | max | 0.394-0.396=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.179-1932.183=-0.005 | | σ | 0.008-0.017=-0.009 | | min | 1932.169-1932.163=0.006 | | max | 1932.188-1932.208=-0.019 |
| | mean | 2897.000-2845.000=52.000 | | σ | 0.000 | | min | 2897.000-2845.000=52.000 | | max | 2897.000-2845.000=52.000 |
| | mean | 3.013-2.856=0.157 | | σ | 0.061-0.269=-0.208 | | min | 2.972-2.472=0.499 | | max | 3.116-3.101=0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.894-4752.909=-0.015 | | σ | 0.867-0.940=-0.073 | | min | 4752.385-4752.374=0.010 | | max | 4754.436-4754.579=-0.143 |
| | mean | 2897.000-2845.000=52.000 | | σ | 0.000 | | min | 2897.000-2845.000=52.000 | | max | 2897.000-2845.000=52.000 |
| | mean | 8.726-8.601=0.125 | | σ | 0.330-0.542=-0.212 | | min | 8.441-7.709=0.732 | | max | 9.257-9.113=0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.371-4943.230=0.141 | | σ | 0.013-0.209=-0.196 | | min | 4943.355-4942.997=0.358 | | max | 4943.388-4943.397=-0.009 |
| | mean | 3038.400-3021.000=17.400 | | σ | 169.475-239.465=-69.990 | | min | 2897.000-2845.000=52.000 | | max | 3312.000-3399.000=-87.000 |
| | mean | 8.575-8.484=0.090 | | σ | 0.074-0.071=0.003 | | min | 8.498-8.405=0.092 | | max | 8.650-8.566=0.084 |
|