iters=5 new-facts=1 prior-facts=1 | | mean | 272.018-271.754=0.264 | | σ | 0.005-0.002=0.002 | | min | 272.013-271.752=0.261 | | max | 272.025-271.758=0.267 |
| | mean | 2908.000-2854.000=54.000 | | σ | 0.000 | | min | 2908.000-2854.000=54.000 | | max | 2908.000-2854.000=54.000 |
| | mean | 0.388-0.383=0.005 | | σ | 0.010-0.007=0.003 | | min | 0.378-0.376=0.002 | | max | 0.400-0.394=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437-1932.182=0.254 | | σ | 0.010-0.007=0.002 | | min | 1932.421-1932.175=0.246 | | max | 1932.446-1932.191=0.255 |
| | mean | 2908.000-2854.000=54.000 | | σ | 0.000 | | min | 2908.000-2854.000=54.000 | | max | 2908.000-2854.000=54.000 |
| | mean | 3.000-2.942=0.058 | | σ | 0.078-0.152=-0.074 | | min | 2.938-2.786=0.152 | | max | 3.135-3.147=-0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.054-4752.875=0.179 | | σ | 0.955-0.890=0.065 | | min | 4752.087-4752.107=-0.020 | | max | 4754.653-4754.415=0.238 |
| | mean | 2908.000-2854.000=54.000 | | σ | 0.000 | | min | 2908.000-2854.000=54.000 | | max | 2908.000-2854.000=54.000 |
| | mean | 8.499-7.935=0.564 | | σ | 0.587-0.310=0.277 | | min | 7.607-7.710=-0.103 | | max | 9.121-8.481=0.640 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.417-4943.157=0.260 | | σ | 0.309-0.324=-0.014 | | min | 4942.938-4942.638=0.301 | | max | 4943.662-4943.390=0.272 |
| | mean | 3099.600-3073.000=26.600 | | σ | 212.359-295.946=-83.587 | | min | 2908.000-2854.000=54.000 | | max | 3424.000-3532.000=-108.000 |
| | mean | 8.617-8.426=0.192 | | σ | 0.223-0.087=0.136 | | min | 8.394-8.345=0.049 | | max | 8.951-8.565=0.386 |
|