iters=5 new-facts=1 prior-facts=1 | | mean | 275.570-275.545=0.026 | | σ | 0.009-0.009=0.000 | | min | 275.556-275.532=0.025 | | max | 275.582-275.553=0.029 |
| | mean | 2854.000-2849.000=5.000 | | σ | 0.000 | | min | 2854.000-2849.000=5.000 | | max | 2854.000-2849.000=5.000 |
| | mean | 0.403-0.405=-0.002 | | σ | 0.010-0.009=0.002 | | min | 0.391-0.394=-0.003 | | max | 0.414-0.417=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.090-2168.089=0.001 | | σ | 0.018-0.018=-0.000 | | min | 2168.058-2168.060=-0.003 | | max | 2168.099-2168.103=-0.004 |
| | mean | 2854.000-2849.000=5.000 | | σ | 0.000 | | min | 2854.000-2849.000=5.000 | | max | 2854.000-2849.000=5.000 |
| | mean | 2.943-2.955=-0.012 | | σ | 0.123-0.173=-0.051 | | min | 2.761-2.767=-0.007 | | max | 3.067-3.203=-0.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.803-5047.708=0.095 | | σ | 0.991-1.123=-0.131 | | min | 5046.909-5046.748=0.161 | | max | 5049.507-5049.606=-0.099 |
| | mean | 2854.000-2849.000=5.000 | | σ | 0.000 | | min | 2854.000-2849.000=5.000 | | max | 2854.000-2849.000=5.000 |
| | mean | 8.859-8.962=-0.103 | | σ | 0.543-0.658=-0.115 | | min | 8.041-8.228=-0.187 | | max | 9.358-9.670=-0.311 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.044-5179.043=0.000 | | σ | 0.087-0.091=-0.004 | | min | 5178.970-5178.947=0.023 | | max | 5179.147-5179.157=-0.009 |
| | mean | 3253.400-3265.000=-11.600 | | σ | 336.560-360.136=-23.576 | | min | 2854.000-2849.000=5.000 | | max | 3724.000-3625.000=99.000 |
| | mean | 9.989-9.688=0.301 | | σ | 0.048-0.610=-0.562 | | min | 9.954-8.664=1.291 | | max | 10.074-10.195=-0.121 |
|