iters=5 new-facts=1 prior-facts=1 | | mean | 277.194-277.196=-0.002 | | σ | 0.006-0.004=0.002 | | min | 277.189-277.193=-0.004 | | max | 277.202-277.201=0.001 |
| | mean | 2497.000-2630.000=-133.000 | | σ | 0.000 | | min | 2497.000-2630.000=-133.000 | | max | 2497.000-2630.000=-133.000 |
| | mean | 0.396-0.395=0.002 | | σ | 0.007-0.001=0.005 | | min | 0.393-0.393=-0.000 | | max | 0.409-0.396=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.422-2174.424=-0.002 | | σ | 0.028-0.021=0.007 | | min | 2174.374-2174.400=-0.026 | | max | 2174.443-2174.449=-0.006 |
| | mean | 2497.000-2630.000=-133.000 | | σ | 0.000 | | min | 2497.000-2630.000=-133.000 | | max | 2497.000-2630.000=-133.000 |
| | mean | 2.829-3.011=-0.182 | | σ | 0.122-0.331=-0.209 | | min | 2.724-2.804=-0.080 | | max | 3.039-3.579=-0.540 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.476-5052.605=-0.129 | | σ | 1.066-0.977=0.088 | | min | 5051.534-5052.031=-0.496 | | max | 5054.316-5054.343=-0.027 |
| | mean | 2497.000-2630.000=-133.000 | | σ | 0.000 | | min | 2497.000-2630.000=-133.000 | | max | 2497.000-2630.000=-133.000 |
| | mean | 8.787-9.031=-0.243 | | σ | 0.540-0.438=0.102 | | min | 8.146-8.497=-0.351 | | max | 9.353-9.514=-0.160 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.268-5188.398=-0.130 | | σ | 0.367-0.126=0.241 | | min | 5187.634-5188.221=-0.587 | | max | 5188.531-5188.524=0.006 |
| | mean | 3246.000-3215.600=30.400 | | σ | 353.050-499.782=-146.732 | | min | 2843.000-2630.000=213.000 | | max | 3766.000-3891.000=-125.000 |
| | mean | 8.788-8.754=0.035 | | σ | 0.036-0.167=-0.131 | | min | 8.751-8.616=0.135 | | max | 8.841-9.045=-0.204 |
|