iters=5 new-facts=1 prior-facts=1 | | mean | 316.677-324.573=-7.896 | | σ | 17.686-0.055=17.630 | | min | 285.040-324.474=-39.434 | | max | 324.608-324.602=0.006 |
| | mean | 2643.000-2830.000=-187.000 | | σ | 0.000 | | min | 2643.000-2830.000=-187.000 | | max | 2643.000-2830.000=-187.000 |
| | mean | 0.411-0.422=-0.011 | | σ | 0.027-0.002=0.024 | | min | 0.363-0.419=-0.056 | | max | 0.424-0.426=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.147-1985.137=0.010 | | σ | 0.007-0.009=-0.002 | | min | 1985.137-1985.130=0.008 | | max | 1985.156-1985.149=0.007 |
| | mean | 2643.000-2830.000=-187.000 | | σ | 0.000 | | min | 2643.000-2830.000=-187.000 | | max | 2643.000-2830.000=-187.000 |
| | mean | 2.620-2.591=0.029 | | σ | 0.095-0.070=0.025 | | min | 2.520-2.530=-0.010 | | max | 2.730-2.683=0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.749-4808.734=0.016 | | σ | 7.674-7.663=0.012 | | min | 4805.267-4805.226=0.041 | | max | 4822.477-4822.440=0.037 |
| | mean | 2643.000-2830.000=-187.000 | | σ | 0.000 | | min | 2643.000-2830.000=-187.000 | | max | 2643.000-2830.000=-187.000 |
| | mean | 8.979-8.749=0.230 | | σ | 0.227-0.384=-0.157 | | min | 8.812-8.086=0.726 | | max | 9.376-9.060=0.316 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.276-4996.330=-0.054 | | σ | 0.145-0.022=0.123 | | min | 4996.017-4996.308=-0.291 | | max | 4996.349-4996.359=-0.010 |
| | mean | 2986.200-3034.000=-47.800 | | σ | 273.258-205.527=67.731 | | min | 2643.000-2830.000=-187.000 | | max | 3328.000-3312.000=16.000 |
| | mean | 8.622-8.611=0.011 | | σ | 0.138-0.199=-0.061 | | min | 8.465-8.432=0.033 | | max | 8.829-8.905=-0.077 |
|