iters=5 new-facts=1 prior-facts=1 | | mean | 324.766-324.692=0.074 | | σ | 0.048-0.043=0.005 | | min | 324.681-324.616=0.065 | | max | 324.793-324.720=0.073 |
| | mean | 2690.000-2824.000=-134.000 | | σ | 0.000 | | min | 2690.000-2824.000=-134.000 | | max | 2690.000-2824.000=-134.000 |
| | mean | 0.427-0.424=0.004 | | σ | 0.010-0.005=0.005 | | min | 0.420-0.420=-0.000 | | max | 0.445-0.432=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.241=0.076 | | σ | 0.020-0.017=0.003 | | min | 1985.284-1985.217=0.067 | | max | 1985.332-1985.257=0.075 |
| | mean | 2690.000-2824.000=-134.000 | | σ | 0.000 | | min | 2690.000-2824.000=-134.000 | | max | 2690.000-2824.000=-134.000 |
| | mean | 2.617-2.562=0.055 | | σ | 0.079-0.059=0.020 | | min | 2.558-2.506=0.052 | | max | 2.733-2.657=0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.975-4808.846=0.129 | | σ | 7.796-7.672=0.125 | | min | 4805.048-4805.365=-0.317 | | max | 4822.914-4822.569=0.345 |
| | mean | 2690.000-2824.000=-134.000 | | σ | 0.000 | | min | 2690.000-2824.000=-134.000 | | max | 2690.000-2824.000=-134.000 |
| | mean | 9.029-8.929=0.100 | | σ | 0.132-0.147=-0.016 | | min | 8.889-8.803=0.086 | | max | 9.234-9.154=0.080 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.494-4996.385=0.109 | | σ | 0.178-0.161=0.017 | | min | 4996.285-4996.099=0.186 | | max | 4996.640-4996.478=0.163 |
| | mean | 3058.800-3050.200=8.600 | | σ | 293.251-208.422=84.829 | | min | 2690.000-2824.000=-134.000 | | max | 3333.000-3354.000=-21.000 |
| | mean | 8.914-8.630=0.284 | | σ | 0.415-0.191=0.224 | | min | 8.568-8.437=0.132 | | max | 9.554-8.888=0.666 |
|