iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-277.196=-0.002 | | σ | 0.006-0.006=-0.000 | | min | 277.188-277.191=-0.002 | | max | 277.201-277.206=-0.004 |
| | mean | 2546.000-2741.000=-195.000 | | σ | 0.000 | | min | 2546.000-2741.000=-195.000 | | max | 2546.000-2741.000=-195.000 |
| | mean | 0.396-0.405=-0.009 | | σ | 0.008-0.009=-0.000 | | min | 0.391-0.400=-0.009 | | max | 0.411-0.421=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.431-2174.427=0.004 | | σ | 0.019-0.010=0.009 | | min | 2174.405-2174.415=-0.011 | | max | 2174.457-2174.441=0.016 |
| | mean | 2546.000-2741.000=-195.000 | | σ | 0.000 | | min | 2546.000-2741.000=-195.000 | | max | 2546.000-2741.000=-195.000 |
| | mean | 3.046-2.808=0.239 | | σ | 0.184-0.158=0.026 | | min | 2.855-2.670=0.185 | | max | 3.323-3.007=0.315 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.612-5052.602=0.010 | | σ | 0.973-0.992=-0.019 | | min | 5052.035-5051.993=0.042 | | max | 5054.341-5054.360=-0.019 |
| | mean | 2546.000-2741.000=-195.000 | | σ | 0.000 | | min | 2546.000-2741.000=-195.000 | | max | 2546.000-2741.000=-195.000 |
| | mean | 8.671-8.989=-0.318 | | σ | 0.590-0.629=-0.040 | | min | 7.996-8.091=-0.095 | | max | 9.530-9.619=-0.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.426-5188.255=0.171 | | σ | 0.087-0.106=-0.019 | | min | 5188.354-5188.131=0.223 | | max | 5188.527-5188.366=0.161 |
| | mean | 3234.000-3227.400=6.600 | | σ | 367.732-463.644=-95.912 | | min | 2717.000-2741.000=-24.000 | | max | 3689.000-3874.000=-185.000 |
| | mean | 9.002-8.772=0.230 | | σ | 0.442-0.157=0.285 | | min | 8.713-8.648=0.066 | | max | 9.773-9.022=0.750 |
|