iters=5 new-facts=1 prior-facts=1 | | mean | 190.715-190.720=-0.006 | | σ | 0.002-0.006=-0.004 | | min | 190.712-190.715=-0.003 | | max | 190.717-190.730=-0.012 |
| | mean | 2851.000-2623.000=228.000 | | σ | 0.000 | | min | 2851.000-2623.000=228.000 | | max | 2851.000-2623.000=228.000 |
| | mean | 0.280-0.280=0.001 | | σ | 0.001-0.001=0.000 | | min | 0.279-0.279=0.000 | | max | 0.281-0.280=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.505-1989.491=0.014 | | σ | 0.016-0.016=0.000 | | min | 1989.482-1989.473=0.009 | | max | 1989.525-1989.512=0.014 |
| | mean | 2851.000-2623.000=228.000 | | σ | 0.000 | | min | 2851.000-2623.000=228.000 | | max | 2851.000-2623.000=228.000 |
| | mean | 2.410-2.584=-0.174 | | σ | 0.117-0.350=-0.233 | | min | 2.301-2.288=0.013 | | max | 2.609-3.066=-0.457 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.097-4880.078=0.019 | | σ | 0.503-0.578=-0.074 | | min | 4879.735-4879.712=0.022 | | max | 4880.964-4881.096=-0.132 |
| | mean | 2851.000-2623.000=228.000 | | σ | 0.000 | | min | 2851.000-2623.000=228.000 | | max | 2851.000-2623.000=228.000 |
| | mean | 8.040-8.052=-0.012 | | σ | 0.285-0.292=-0.007 | | min | 7.566-7.670=-0.104 | | max | 8.325-8.342=-0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.558-4891.694=-0.136 | | σ | 0.259-0.091=0.169 | | min | 4891.265-4891.617=-0.352 | | max | 4891.788-4891.797=-0.009 |
| | mean | 3400.600-3212.600=188.000 | | σ | 424.964-392.597=32.368 | | min | 2851.000-2824.000=27.000 | | max | 4007.000-3609.000=398.000 |
| | mean | 8.205-8.249=-0.045 | | σ | 0.167-0.231=-0.064 | | min | 8.000-8.013=-0.013 | | max | 8.394-8.597=-0.203 |
|