iters=5 new-facts=1 prior-facts=1 | | mean | 269.930-269.934=-0.004 | | σ | 0.011-0.011=0.000 | | min | 269.917-269.917=-0.000 | | max | 269.943-269.945=-0.002 |
| | mean | 2860.000-2843.000=17.000 | | σ | 0.000 | | min | 2860.000-2843.000=17.000 | | max | 2860.000-2843.000=17.000 |
| | mean | 0.374-0.383=-0.009 | | σ | 0.008-0.006=0.002 | | min | 0.369-0.376=-0.007 | | max | 0.388-0.391=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.389-1930.403=-0.015 | | σ | 0.025-0.013=0.013 | | min | 1930.359-1930.387=-0.028 | | max | 1930.414-1930.417=-0.003 |
| | mean | 2860.000-2843.000=17.000 | | σ | 0.000 | | min | 2860.000-2843.000=17.000 | | max | 2860.000-2843.000=17.000 |
| | mean | 2.563-2.503=0.060 | | σ | 0.150-0.112=0.038 | | min | 2.458-2.405=0.053 | | max | 2.828-2.682=0.146 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.884-4750.870=0.014 | | σ | 0.779-0.798=-0.018 | | min | 4750.403-4750.314=0.089 | | max | 4752.266-4752.272=-0.006 |
| | mean | 2860.000-2843.000=17.000 | | σ | 0.000 | | min | 2860.000-2843.000=17.000 | | max | 2860.000-2843.000=17.000 |
| | mean | 8.428-8.414=0.013 | | σ | 0.169-0.629=-0.460 | | min | 8.226-7.568=0.657 | | max | 8.615-9.124=-0.509 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.261-4941.336=-0.075 | | σ | 0.207-0.085=0.122 | | min | 4940.922-4941.268=-0.346 | | max | 4941.437-4941.430=0.007 |
| | mean | 3051.000-3093.800=-42.800 | | σ | 195.574-252.406=-56.832 | | min | 2860.000-2843.000=17.000 | | max | 3323.000-3352.000=-29.000 |
| | mean | 8.504-8.656=-0.152 | | σ | 0.110-0.256=-0.147 | | min | 8.361-8.334=0.027 | | max | 8.605-8.971=-0.367 |
|