iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.774=-0.012 | | σ | 0.056-0.024=0.032 | | min | 324.663-324.735=-0.071 | | max | 324.793-324.797=-0.003 |
| | mean | 2848.000-2830.000=18.000 | | σ | 0.000 | | min | 2848.000-2830.000=18.000 | | max | 2848.000-2830.000=18.000 |
| | mean | 0.429-0.417=0.012 | | σ | 0.009-0.003=0.006 | | min | 0.424-0.412=0.011 | | max | 0.445-0.421=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316-1985.320=-0.004 | | σ | 0.015-0.021=-0.006 | | min | 1985.298-1985.296=0.002 | | max | 1985.332-1985.341=-0.009 |
| | mean | 2848.000-2830.000=18.000 | | σ | 0.000 | | min | 2848.000-2830.000=18.000 | | max | 2848.000-2830.000=18.000 |
| | mean | 2.658-2.625=0.032 | | σ | 0.105-0.168=-0.063 | | min | 2.567-2.490=0.077 | | max | 2.778-2.898=-0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.000-4809.091=-0.091 | | σ | 7.774-7.712=0.063 | | min | 4805.014-4805.605=-0.591 | | max | 4822.897-4822.886=0.011 |
| | mean | 2848.000-2830.000=18.000 | | σ | 0.000 | | min | 2848.000-2830.000=18.000 | | max | 2848.000-2830.000=18.000 |
| | mean | 8.795-8.939=-0.144 | | σ | 0.409-0.318=0.091 | | min | 8.075-8.410=-0.335 | | max | 9.056-9.183=-0.127 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.489-4996.625=-0.136 | | σ | 0.192-0.029=0.163 | | min | 4996.256-4996.589=-0.333 | | max | 4996.647-4996.652=-0.005 |
| | mean | 3067.000-3058.600=8.400 | | σ | 291.781-298.359=-6.578 | | min | 2848.000-2830.000=18.000 | | max | 3517.000-3516.000=1.000 |
| | mean | 8.543-8.534=0.009 | | σ | 0.132-0.114=0.018 | | min | 8.465-8.412=0.052 | | max | 8.777-8.703=0.074 |
|