iters=5 new-facts=1 prior-facts=1 | | mean | 324.769-324.768=0.001 | | σ | 0.043-0.046=-0.003 | | min | 324.692-324.687=0.005 | | max | 324.798-324.800=-0.002 |
| | mean | 2822.000-2430.000=392.000 | | σ | 0.000 | | min | 2822.000-2430.000=392.000 | | max | 2822.000-2430.000=392.000 |
| | mean | 0.432-0.431=0.001 | | σ | 0.010-0.009=0.002 | | min | 0.424-0.424=-0.001 | | max | 0.446-0.444=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.318-1985.319=-0.002 | | σ | 0.011-0.016=-0.005 | | min | 1985.301-1985.293=0.008 | | max | 1985.327-1985.337=-0.009 |
| | mean | 2822.000-2430.000=392.000 | | σ | 0.000 | | min | 2822.000-2430.000=392.000 | | max | 2822.000-2430.000=392.000 |
| | mean | 2.660-2.630=0.029 | | σ | 0.127-0.132=-0.005 | | min | 2.513-2.548=-0.035 | | max | 2.815-2.862=-0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.976-4808.965=0.011 | | σ | 7.737-7.728=0.009 | | min | 4805.072-4805.091=-0.019 | | max | 4822.809-4822.782=0.026 |
| | mean | 2822.000-2430.000=392.000 | | σ | 0.000 | | min | 2822.000-2430.000=392.000 | | max | 2822.000-2430.000=392.000 |
| | mean | 8.712-8.760=-0.048 | | σ | 0.484-0.161=0.324 | | min | 7.963-8.571=-0.608 | | max | 9.264-8.936=0.328 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.554-4996.627=-0.073 | | σ | 0.154-0.021=0.133 | | min | 4996.280-4996.601=-0.321 | | max | 4996.644-4996.648=-0.005 |
| | mean | 3001.600-2922.000=79.600 | | σ | 259.533-336.093=-76.560 | | min | 2822.000-2430.000=392.000 | | max | 3408.000-3325.000=83.000 |
| | mean | 8.477-8.534=-0.057 | | σ | 0.057-0.071=-0.015 | | min | 8.422-8.487=-0.066 | | max | 8.561-8.653=-0.092 |
|