iters=5 new-facts=1 prior-facts=1 | | mean | 324.712-324.718=-0.006 | | σ | 0.055-0.034=0.021 | | min | 324.614-324.659=-0.045 | | max | 324.744-324.746=-0.002 |
| | mean | 2786.000-2789.000=-3.000 | | σ | 0.000 | | min | 2786.000-2789.000=-3.000 | | max | 2786.000-2789.000=-3.000 |
| | mean | 0.430-0.426=0.004 | | σ | 0.011-0.009=0.002 | | min | 0.421-0.419=0.002 | | max | 0.443-0.442=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.265-1985.264=0.000 | | σ | 0.012-0.010=0.002 | | min | 1985.247-1985.251=-0.003 | | max | 1985.276-1985.277=-0.001 |
| | mean | 2786.000-2789.000=-3.000 | | σ | 0.000 | | min | 2786.000-2789.000=-3.000 | | max | 2786.000-2789.000=-3.000 |
| | mean | 2.543-2.733=-0.190 | | σ | 0.076-0.128=-0.053 | | min | 2.438-2.566=-0.128 | | max | 2.651-2.903=-0.252 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.785-4808.866=-0.080 | | σ | 7.785-7.644=0.141 | | min | 4804.799-4805.393=-0.594 | | max | 4822.701-4822.540=0.161 |
| | mean | 2786.000-2789.000=-3.000 | | σ | 0.000 | | min | 2786.000-2789.000=-3.000 | | max | 2786.000-2789.000=-3.000 |
| | mean | 8.779-8.732=0.046 | | σ | 0.640-0.190=0.449 | | min | 7.716-8.516=-0.800 | | max | 9.429-8.974=0.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.468-4996.482=-0.014 | | σ | 0.020-0.022=-0.002 | | min | 4996.445-4996.455=-0.011 | | max | 4996.489-4996.505=-0.016 |
| | mean | 3063.000-3019.200=43.800 | | σ | 246.631-235.245=11.386 | | min | 2786.000-2789.000=-3.000 | | max | 3419.000-3259.000=160.000 |
| | mean | 8.714-8.857=-0.143 | | σ | 0.208-0.270=-0.062 | | min | 8.479-8.577=-0.098 | | max | 8.945-9.202=-0.257 |
|