iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.701=-0.004 | | σ | 0.013-0.010=0.003 | | min | 278.684-278.693=-0.010 | | max | 278.718-278.718=-0.001 |
| | mean | 2645.000-2609.000=36.000 | | σ | 0.000 | | min | 2645.000-2609.000=36.000 | | max | 2645.000-2609.000=36.000 |
| | mean | 0.418-0.415=0.003 | | σ | 0.001-0.002=-0.000 | | min | 0.416-0.414=0.002 | | max | 0.419-0.418=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875-2268.872=0.003 | | σ | 0.010-0.004=0.006 | | min | 2268.866-2268.868=-0.002 | | max | 2268.888-2268.877=0.011 |
| | mean | 2645.000-2609.000=36.000 | | σ | 0.000 | | min | 2645.000-2609.000=36.000 | | max | 2645.000-2609.000=36.000 |
| | mean | 2.910-2.908=0.003 | | σ | 0.170-0.087=0.083 | | min | 2.756-2.768=-0.012 | | max | 3.173-3.005=0.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.362-4952.360=0.002 | | σ | 0.816-0.865=-0.049 | | min | 4951.964-4951.879=0.085 | | max | 4953.821-4953.904=-0.083 |
| | mean | 2645.000-2609.000=36.000 | | σ | 0.000 | | min | 2645.000-2609.000=36.000 | | max | 2645.000-2609.000=36.000 |
| | mean | 7.925-7.985=-0.060 | | σ | 0.139-0.297=-0.158 | | min | 7.723-7.719=0.004 | | max | 8.041-8.468=-0.427 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.004-5167.004=0.001 | | σ | 0.147-0.150=-0.004 | | min | 5166.742-5166.735=0.007 | | max | 5167.078-5167.079=-0.001 |
| | mean | 3391.800-3384.000=7.800 | | σ | 443.929-479.347=-35.418 | | min | 2768.000-2729.000=39.000 | | max | 3934.000-3986.000=-52.000 |
| | mean | 9.501-9.336=0.165 | | σ | 0.142-0.195=-0.054 | | min | 9.410-9.113=0.296 | | max | 9.749-9.586=0.163 |
|