iters=5 new-facts=1 prior-facts=1 | | mean | 272.014-272.017=-0.003 | | σ | 0.009-0.011=-0.002 | | min | 272.000-272.002=-0.001 | | max | 272.022-272.031=-0.009 |
| | mean | 2773.000-2425.000=348.000 | | σ | 0.000 | | min | 2773.000-2425.000=348.000 | | max | 2773.000-2425.000=348.000 |
| | mean | 0.387-0.399=-0.012 | | σ | 0.008-0.017=-0.010 | | min | 0.377-0.378=-0.001 | | max | 0.395-0.418=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.433-1932.435=-0.002 | | σ | 0.007-0.005=0.002 | | min | 1932.426-1932.429=-0.003 | | max | 1932.444-1932.440=0.004 |
| | mean | 2773.000-2425.000=348.000 | | σ | 0.000 | | min | 2773.000-2425.000=348.000 | | max | 2773.000-2425.000=348.000 |
| | mean | 3.054-2.908=0.147 | | σ | 0.198-0.125=0.073 | | min | 2.931-2.767=0.165 | | max | 3.406-3.038=0.368 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.213-4752.930=0.283 | | σ | 0.839-0.360=0.479 | | min | 4752.760-4752.678=0.082 | | max | 4754.708-4753.559=1.150 |
| | mean | 2773.000-2425.000=348.000 | | σ | 0.000 | | min | 2773.000-2425.000=348.000 | | max | 2773.000-2425.000=348.000 |
| | mean | 8.211-8.641=-0.429 | | σ | 0.390-0.272=0.118 | | min | 7.735-8.294=-0.558 | | max | 8.703-8.988=-0.285 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.554-4943.633=-0.079 | | σ | 0.151-0.015=0.135 | | min | 4943.285-4943.619=-0.334 | | max | 4943.629-4943.652=-0.022 |
| | mean | 3053.800-2996.000=57.800 | | σ | 340.625-264.791=75.833 | | min | 2773.000-2632.000=141.000 | | max | 3565.000-3299.000=266.000 |
| | mean | 8.455-8.457=-0.002 | | σ | 0.120-0.231=-0.111 | | min | 8.362-8.157=0.205 | | max | 8.661-8.764=-0.103 |
|