iters=5 new-facts=1 prior-facts=1 | | mean | 271.755-271.760=-0.005 | | σ | 0.006-0.006=-0.000 | | min | 271.746-271.752=-0.006 | | max | 271.762-271.769=-0.007 |
| | mean | 2811.000-2884.000=-73.000 | | σ | 0.000 | | min | 2811.000-2884.000=-73.000 | | max | 2811.000-2884.000=-73.000 |
| | mean | 0.381-0.389=-0.007 | | σ | 0.005-0.011=-0.006 | | min | 0.376-0.376=0.000 | | max | 0.388-0.400=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.188-1932.182=0.006 | | σ | 0.011-0.021=-0.010 | | min | 1932.174-1932.163=0.011 | | max | 1932.203-1932.217=-0.015 |
| | mean | 2811.000-2884.000=-73.000 | | σ | 0.000 | | min | 2811.000-2884.000=-73.000 | | max | 2811.000-2884.000=-73.000 |
| | mean | 2.982-2.812=0.170 | | σ | 0.150-0.234=-0.084 | | min | 2.732-2.524=0.208 | | max | 3.131-3.001=0.130 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.830-4752.913=-0.083 | | σ | 0.965-0.864=0.101 | | min | 4752.214-4752.399=-0.185 | | max | 4754.530-4754.452=0.078 |
| | mean | 2811.000-2884.000=-73.000 | | σ | 0.000 | | min | 2811.000-2884.000=-73.000 | | max | 2811.000-2884.000=-73.000 |
| | mean | 8.401-8.612=-0.211 | | σ | 0.771-0.287=0.485 | | min | 7.743-8.340=-0.598 | | max | 9.397-9.064=0.332 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.311-4943.308=0.003 | | σ | 0.154-0.156=-0.002 | | min | 4943.038-4943.030=0.008 | | max | 4943.406-4943.396=0.010 |
| | mean | 3028.600-3057.400=-28.800 | | σ | 285.246-177.737=107.509 | | min | 2811.000-2884.000=-73.000 | | max | 3462.000-3305.000=157.000 |
| | mean | 8.460-8.646=-0.186 | | σ | 0.138-0.253=-0.115 | | min | 8.362-8.403=-0.040 | | max | 8.702-9.050=-0.348 |
|