iters=5 new-facts=1 prior-facts=1 | | mean | 271.614-271.619=-0.005 | | σ | 0.007-0.004=0.003 | | min | 271.602-271.614=-0.011 | | max | 271.620-271.625=-0.005 |
| | mean | 2839.000-2650.000=189.000 | | σ | 0.000 | | min | 2839.000-2650.000=189.000 | | max | 2839.000-2650.000=189.000 |
| | mean | 0.374-0.382=-0.008 | | σ | 0.007-0.007=0.000 | | min | 0.369-0.377=-0.008 | | max | 0.387-0.394=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.047-1932.038=0.008 | | σ | 0.012-0.007=0.005 | | min | 1932.033-1932.033=-0.000 | | max | 1932.064-1932.051=0.013 |
| | mean | 2839.000-2650.000=189.000 | | σ | 0.000 | | min | 2839.000-2650.000=189.000 | | max | 2839.000-2650.000=189.000 |
| | mean | 2.963-3.004=-0.042 | | σ | 0.272-0.086=0.186 | | min | 2.506-2.866=-0.361 | | max | 3.208-3.083=0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.742-4752.744=-0.002 | | σ | 0.913-0.942=-0.029 | | min | 4751.853-4751.969=-0.116 | | max | 4754.290-4754.379=-0.089 |
| | mean | 2839.000-2650.000=189.000 | | σ | 0.000 | | min | 2839.000-2650.000=189.000 | | max | 2839.000-2650.000=189.000 |
| | mean | 7.888-8.033=-0.145 | | σ | 0.299-0.440=-0.141 | | min | 7.612-7.642=-0.030 | | max | 8.379-8.742=-0.362 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.184-4943.171=0.013 | | σ | 0.149-0.156=-0.007 | | min | 4942.919-4942.895=0.023 | | max | 4943.265-4943.264=0.002 |
| | mean | 3053.400-3004.800=48.600 | | σ | 263.995-387.956=-123.961 | | min | 2839.000-2650.000=189.000 | | max | 3444.000-3562.000=-118.000 |
| | mean | 8.521-8.505=0.016 | | σ | 0.195-0.241=-0.045 | | min | 8.390-8.274=0.115 | | max | 8.862-8.803=0.059 |
|