iters=5 new-facts=1 prior-facts=1 | | mean | 268.618-268.621=-0.002 | | σ | 0.005-0.007=-0.001 | | min | 268.611-268.612=-0.001 | | max | 268.624-268.630=-0.006 |
| | mean | 2768.000-2865.000=-97.000 | | σ | 0.000 | | min | 2768.000-2865.000=-97.000 | | max | 2768.000-2865.000=-97.000 |
| | mean | 0.376-0.379=-0.002 | | σ | 0.004-0.003=0.001 | | min | 0.374-0.376=-0.002 | | max | 0.384-0.384=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.012-1929.004=0.008 | | σ | 0.020-0.019=0.002 | | min | 1928.985-1928.973=0.012 | | max | 1929.033-1929.018=0.015 |
| | mean | 2768.000-2865.000=-97.000 | | σ | 0.000 | | min | 2768.000-2865.000=-97.000 | | max | 2768.000-2865.000=-97.000 |
| | mean | 2.560-2.521=0.039 | | σ | 0.148-0.077=0.071 | | min | 2.415-2.479=-0.064 | | max | 2.758-2.658=0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4749.759-4749.742=0.016 | | σ | 0.807-0.854=-0.047 | | min | 4749.277-4749.236=0.041 | | max | 4751.195-4751.262=-0.066 |
| | mean | 2768.000-2865.000=-97.000 | | σ | 0.000 | | min | 2768.000-2865.000=-97.000 | | max | 2768.000-2865.000=-97.000 |
| | mean | 8.326-8.539=-0.213 | | σ | 0.477-0.487=-0.009 | | min | 7.699-7.849=-0.149 | | max | 8.928-9.191=-0.263 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.229-4940.157=0.073 | | σ | 0.017-0.149=-0.131 | | min | 4940.208-4939.892=0.316 | | max | 4940.245-4940.243=0.002 |
| | mean | 2982.200-3042.400=-60.200 | | σ | 247.429-261.595=-14.166 | | min | 2768.000-2865.000=-97.000 | | max | 3373.000-3469.000=-96.000 |
| | mean | 8.382-8.497=-0.115 | | σ | 0.064-0.204=-0.140 | | min | 8.301-8.333=-0.032 | | max | 8.460-8.853=-0.393 |
|