iters=5 new-facts=1 prior-facts=1 | | mean | 271.953-271.956=-0.002 | | σ | 0.009-0.008=0.001 | | min | 271.944-271.948=-0.005 | | max | 271.965-271.966=-0.001 |
| | mean | 2728.000-2731.000=-3.000 | | σ | 0.000 | | min | 2728.000-2731.000=-3.000 | | max | 2728.000-2731.000=-3.000 |
| | mean | 0.383-0.386=-0.003 | | σ | 0.008-0.010=-0.002 | | min | 0.378-0.378=-0.000 | | max | 0.398-0.398=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.331-1932.330=0.001 | | σ | 0.005-0.012=-0.007 | | min | 1932.326-1932.315=0.011 | | max | 1932.337-1932.346=-0.009 |
| | mean | 2728.000-2731.000=-3.000 | | σ | 0.000 | | min | 2728.000-2731.000=-3.000 | | max | 2728.000-2731.000=-3.000 |
| | mean | 2.972-3.014=-0.041 | | σ | 0.144-0.229=-0.086 | | min | 2.734-2.662=0.072 | | max | 3.125-3.275=-0.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.056-4753.045=0.011 | | σ | 0.907-0.918=-0.011 | | min | 4752.531-4752.556=-0.026 | | max | 4754.673-4754.679=-0.006 |
| | mean | 2728.000-2731.000=-3.000 | | σ | 0.000 | | min | 2728.000-2731.000=-3.000 | | max | 2728.000-2731.000=-3.000 |
| | mean | 8.686-8.751=-0.065 | | σ | 0.510-0.472=0.038 | | min | 7.873-8.017=-0.144 | | max | 9.195-9.114=0.080 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.486-4943.482=0.003 | | σ | 0.162-0.144=0.018 | | min | 4943.197-4943.225=-0.029 | | max | 4943.574-4943.573=0.001 |
| | mean | 2980.600-2979.200=1.400 | | σ | 226.886-220.222=6.664 | | min | 2728.000-2731.000=-3.000 | | max | 3307.000-3292.000=15.000 |
| | mean | 8.486-8.537=-0.051 | | σ | 0.129-0.156=-0.027 | | min | 8.364-8.396=-0.031 | | max | 8.699-8.803=-0.103 |
|