iters=5 new-facts=1 prior-facts=1 | | mean | 271.622-272.016=-0.395 | | σ | 0.005-0.006=-0.001 | | min | 271.617-272.009=-0.393 | | max | 271.628-272.023=-0.395 |
| | mean | 2878.000-2856.000=22.000 | | σ | 0.000 | | min | 2878.000-2856.000=22.000 | | max | 2878.000-2856.000=22.000 |
| | mean | 0.384-0.393=-0.008 | | σ | 0.010-0.010=0.000 | | min | 0.376-0.376=-0.001 | | max | 0.399-0.402=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.053-1932.436=-0.383 | | σ | 0.012-0.008=0.004 | | min | 1932.040-1932.421=-0.382 | | max | 1932.066-1932.441=-0.376 |
| | mean | 2878.000-2856.000=22.000 | | σ | 0.000 | | min | 2878.000-2856.000=22.000 | | max | 2878.000-2856.000=22.000 |
| | mean | 3.062-2.957=0.104 | | σ | 0.128-0.071=0.057 | | min | 2.972-2.896=0.076 | | max | 3.287-3.078=0.209 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.701-4753.054=-0.353 | | σ | 0.893-0.916=-0.024 | | min | 4751.945-4752.306=-0.361 | | max | 4754.241-4754.643=-0.402 |
| | mean | 2878.000-2856.000=22.000 | | σ | 0.000 | | min | 2878.000-2856.000=22.000 | | max | 2878.000-2856.000=22.000 |
| | mean | 8.159-8.396=-0.237 | | σ | 0.582-0.668=-0.087 | | min | 7.677-7.748=-0.071 | | max | 9.105-9.305=-0.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.150-4943.629=-0.479 | | σ | 0.157-0.022=0.135 | | min | 4942.871-4943.604=-0.733 | | max | 4943.235-4943.654=-0.419 |
| | mean | 3069.600-3057.800=11.800 | | σ | 261.915-198.944=62.971 | | min | 2878.000-2856.000=22.000 | | max | 3479.000-3315.000=164.000 |
| | mean | 8.402-8.641=-0.239 | | σ | 0.114-0.199=-0.085 | | min | 8.300-8.380=-0.080 | | max | 8.595-8.824=-0.229 |
|