iters=5 new-facts=1 prior-facts=1 | | mean | 189.919-189.919=-0.000 | | σ | 0.006-0.006=0.001 | | min | 189.910-189.911=-0.001 | | max | 189.925-189.927=-0.001 |
| | mean | 2657.000-2735.000=-78.000 | | σ | 0.000 | | min | 2657.000-2735.000=-78.000 | | max | 2657.000-2735.000=-78.000 |
| | mean | 0.278-0.281=-0.003 | | σ | 0.001-0.001=0.000 | | min | 0.277-0.280=-0.003 | | max | 0.280-0.282=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.696-1988.703=-0.007 | | σ | 0.016-0.010=0.006 | | min | 1988.680-1988.694=-0.014 | | max | 1988.719-1988.720=-0.001 |
| | mean | 2657.000-2735.000=-78.000 | | σ | 0.000 | | min | 2657.000-2735.000=-78.000 | | max | 2657.000-2735.000=-78.000 |
| | mean | 2.732-2.657=0.074 | | σ | 0.113-0.088=0.025 | | min | 2.572-2.542=0.030 | | max | 2.853-2.762=0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.165-4879.176=-0.011 | | σ | 0.687-0.311=0.376 | | min | 4878.350-4878.934=-0.584 | | max | 4880.246-4879.690=0.556 |
| | mean | 2657.000-2735.000=-78.000 | | σ | 0.000 | | min | 2657.000-2735.000=-78.000 | | max | 2657.000-2735.000=-78.000 |
| | mean | 8.067-8.274=-0.207 | | σ | 0.220-0.149=0.071 | | min | 7.817-8.108=-0.291 | | max | 8.374-8.449=-0.076 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4890.823-4890.892=-0.069 | | σ | 0.212-0.083=0.130 | | min | 4890.471-4890.820=-0.349 | | max | 4891.005-4890.989=0.016 |
| | mean | 3288.000-3253.400=34.600 | | σ | 490.160-419.793=70.367 | | min | 2657.000-2735.000=-78.000 | | max | 3749.000-3827.000=-78.000 |
| | mean | 8.058-8.173=-0.115 | | σ | 0.104-0.162=-0.058 | | min | 7.980-8.015=-0.035 | | max | 8.240-8.405=-0.165 |
|