iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.193=0.001 | | σ | 0.007-0.008=-0.000 | | min | 277.183-277.183=-0.000 | | max | 277.202-277.201=0.000 |
| | mean | 2653.000-2602.000=51.000 | | σ | 0.000 | | min | 2653.000-2602.000=51.000 | | max | 2653.000-2602.000=51.000 |
| | mean | 0.401-0.395=0.006 | | σ | 0.002-0.009=-0.008 | | min | 0.398-0.390=0.008 | | max | 0.402-0.412=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.439-2174.443=-0.004 | | σ | 0.016-0.028=-0.012 | | min | 2174.427-2174.415=0.012 | | max | 2174.464-2174.476=-0.012 |
| | mean | 2653.000-2602.000=51.000 | | σ | 0.000 | | min | 2653.000-2602.000=51.000 | | max | 2653.000-2602.000=51.000 |
| | mean | 2.993-3.002=-0.009 | | σ | 0.193-0.140=0.054 | | min | 2.673-2.772=-0.099 | | max | 3.197-3.102=0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.365-5052.478=-0.113 | | σ | 1.247-1.048=0.199 | | min | 5050.921-5051.854=-0.933 | | max | 5054.363-5054.342=0.021 |
| | mean | 2653.000-2602.000=51.000 | | σ | 0.000 | | min | 2653.000-2602.000=51.000 | | max | 2653.000-2602.000=51.000 |
| | mean | 9.218-8.810=0.408 | | σ | 0.288-0.574=-0.286 | | min | 8.918-8.132=0.786 | | max | 9.654-9.427=0.226 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.427-5188.358=0.069 | | σ | 0.090-0.121=-0.031 | | min | 5188.357-5188.177=0.180 | | max | 5188.530-5188.516=0.014 |
| | mean | 3233.400-3221.600=11.800 | | σ | 388.477-381.666=6.811 | | min | 2675.000-2685.000=-10.000 | | max | 3697.000-3698.000=-1.000 |
| | mean | 8.966-8.964=0.003 | | σ | 0.354-0.404=-0.049 | | min | 8.723-8.725=-0.002 | | max | 9.577-9.679=-0.101 |
|