iters=5 new-facts=1 prior-facts=1 | | mean | 272.013-272.013=0.000 | | σ | 0.005-0.006=-0.001 | | min | 272.006-272.009=-0.003 | | max | 272.018-272.023=-0.005 |
| | mean | 2761.000-2847.000=-86.000 | | σ | 0.000 | | min | 2761.000-2847.000=-86.000 | | max | 2761.000-2847.000=-86.000 |
| | mean | 0.390-0.385=0.005 | | σ | 0.006-0.009=-0.003 | | min | 0.379-0.376=0.003 | | max | 0.395-0.397=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.438-1932.444=-0.006 | | σ | 0.006-0.011=-0.004 | | min | 1932.431-1932.432=-0.001 | | max | 1932.446-1932.460=-0.014 |
| | mean | 2761.000-2847.000=-86.000 | | σ | 0.000 | | min | 2761.000-2847.000=-86.000 | | max | 2761.000-2847.000=-86.000 |
| | mean | 3.019-2.945=0.074 | | σ | 0.127-0.297=-0.170 | | min | 2.872-2.439=0.433 | | max | 3.210-3.212=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.105-4753.187=-0.082 | | σ | 0.947-0.811=0.137 | | min | 4752.325-4752.681=-0.355 | | max | 4754.753-4754.629=0.124 |
| | mean | 2761.000-2847.000=-86.000 | | σ | 0.000 | | min | 2761.000-2847.000=-86.000 | | max | 2761.000-2847.000=-86.000 |
| | mean | 8.246-8.201=0.045 | | σ | 0.436-0.472=-0.036 | | min | 7.920-7.592=0.328 | | max | 8.896-8.862=0.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.617-4943.629=-0.012 | | σ | 0.017-0.028=-0.011 | | min | 4943.598-4943.594=0.004 | | max | 4943.633-4943.665=-0.031 |
| | mean | 3044.600-3044.000=0.600 | | σ | 340.015-201.566=138.449 | | min | 2761.000-2847.000=-86.000 | | max | 3552.000-3324.000=228.000 |
| | mean | 8.462-8.552=-0.089 | | σ | 0.133-0.119=0.014 | | min | 8.365-8.404=-0.038 | | max | 8.690-8.726=-0.036 |
|