iters=5 new-facts=1 prior-facts=1 | | mean | 271.952-271.955=-0.002 | | σ | 0.006-0.006=-0.000 | | min | 271.944-271.948=-0.005 | | max | 271.959-271.961=-0.003 |
| | mean | 2777.000-2621.000=156.000 | | σ | 0.000 | | min | 2777.000-2621.000=156.000 | | max | 2777.000-2621.000=156.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.008-0.005=0.003 | | min | 0.378-0.380=-0.003 | | max | 0.397-0.392=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.327-1932.333=-0.006 | | σ | 0.016-0.007=0.009 | | min | 1932.305-1932.327=-0.023 | | max | 1932.346-1932.344=0.002 |
| | mean | 2777.000-2621.000=156.000 | | σ | 0.000 | | min | 2777.000-2621.000=156.000 | | max | 2777.000-2621.000=156.000 |
| | mean | 3.071-2.926=0.145 | | σ | 0.158-0.255=-0.097 | | min | 2.862-2.599=0.263 | | max | 3.236-3.238=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.020-4753.046=-0.026 | | σ | 0.542-0.919=-0.376 | | min | 4752.708-4752.589=0.119 | | max | 4753.985-4754.688=-0.703 |
| | mean | 2777.000-2621.000=156.000 | | σ | 0.000 | | min | 2777.000-2621.000=156.000 | | max | 2777.000-2621.000=156.000 |
| | mean | 8.251-8.645=-0.394 | | σ | 0.303-0.483=-0.181 | | min | 7.774-7.797=-0.023 | | max | 8.548-8.963=-0.416 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.555-4943.551=0.004 | | σ | 0.023-0.017=0.006 | | min | 4943.522-4943.533=-0.011 | | max | 4943.580-4943.574=0.007 |
| | mean | 3052.200-2970.400=81.800 | | σ | 336.117-264.146=71.971 | | min | 2777.000-2621.000=156.000 | | max | 3559.000-3324.000=235.000 |
| | mean | 8.434-8.503=-0.068 | | σ | 0.120-0.092=0.028 | | min | 8.332-8.431=-0.099 | | max | 8.642-8.641=0.001 |
|