iters=5 new-facts=1 prior-facts=1 | | mean | 279.541-279.540=0.002 | | σ | 0.007-0.004=0.003 | | min | 279.534-279.535=-0.001 | | max | 279.551-279.545=0.007 |
| | mean | 2819.000-2787.000=32.000 | | σ | 0.000 | | min | 2819.000-2787.000=32.000 | | max | 2819.000-2787.000=32.000 |
| | mean | 0.407-0.410=-0.002 | | σ | 0.007-0.006=0.001 | | min | 0.403-0.405=-0.002 | | max | 0.419-0.421=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.482-2178.464=0.018 | | σ | 0.015-0.013=0.002 | | min | 2178.467-2178.451=0.017 | | max | 2178.505-2178.480=0.025 |
| | mean | 2819.000-2787.000=32.000 | | σ | 0.000 | | min | 2819.000-2787.000=32.000 | | max | 2819.000-2787.000=32.000 |
| | mean | 3.441-3.397=0.044 | | σ | 0.173-0.122=0.051 | | min | 3.271-3.281=-0.011 | | max | 3.722-3.557=0.165 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.398-5056.244=0.154 | | σ | 0.966-0.988=-0.022 | | min | 5055.849-5055.484=0.365 | | max | 5058.121-5057.965=0.156 |
| | mean | 2819.000-2787.000=32.000 | | σ | 0.000 | | min | 2819.000-2787.000=32.000 | | max | 2819.000-2787.000=32.000 |
| | mean | 9.105-8.890=0.215 | | σ | 0.614-0.405=0.209 | | min | 8.136-8.228=-0.093 | | max | 9.656-9.291=0.366 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.771-5193.718=0.053 | | σ | 0.096-0.203=-0.106 | | min | 5193.675-5193.380=0.295 | | max | 5193.881-5193.884=-0.003 |
| | mean | 3246.200-3241.000=5.200 | | σ | 325.159-326.677=-1.518 | | min | 2819.000-2787.000=32.000 | | max | 3670.000-3675.000=-5.000 |
| | mean | 8.935-8.969=-0.034 | | σ | 0.412-0.349=0.062 | | min | 8.617-8.654=-0.037 | | max | 9.630-9.547=0.084 |
|