iters=5 new-facts=1 prior-facts=1 | | mean | 278.693-278.693=-0.000 | | σ | 0.012-0.014=-0.002 | | min | 278.686-278.679=0.007 | | max | 278.714-278.717=-0.002 |
| | mean | 2607.000-2643.000=-36.000 | | σ | 0.000 | | min | 2607.000-2643.000=-36.000 | | max | 2607.000-2643.000=-36.000 |
| | mean | 0.419-0.418=0.001 | | σ | 0.001-0.002=-0.000 | | min | 0.417-0.417=0.001 | | max | 0.420-0.420=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.870-2268.866=0.004 | | σ | 0.006-0.010=-0.005 | | min | 2268.861-2268.852=0.009 | | max | 2268.876-2268.880=-0.004 |
| | mean | 2607.000-2643.000=-36.000 | | σ | 0.000 | | min | 2607.000-2643.000=-36.000 | | max | 2607.000-2643.000=-36.000 |
| | mean | 2.908-2.931=-0.022 | | σ | 0.086-0.039=0.048 | | min | 2.838-2.905=-0.068 | | max | 3.058-2.997=0.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.299-4952.360=-0.062 | | σ | 0.893-0.779=0.115 | | min | 4951.840-4951.979=-0.139 | | max | 4953.895-4953.752=0.143 |
| | mean | 2607.000-2643.000=-36.000 | | σ | 0.000 | | min | 2607.000-2643.000=-36.000 | | max | 2607.000-2643.000=-36.000 |
| | mean | 8.249-7.882=0.367 | | σ | 0.326-0.154=0.172 | | min | 7.805-7.750=0.055 | | max | 8.667-8.131=0.536 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.067-5167.074=-0.007 | | σ | 0.013-0.008=0.005 | | min | 5167.052-5167.064=-0.011 | | max | 5167.088-5167.087=0.001 |
| | mean | 3405.000-3419.000=-14.000 | | σ | 461.474-447.247=14.227 | | min | 2769.000-2811.000=-42.000 | | max | 3985.000-3975.000=10.000 |
| | mean | 9.527-9.371=0.156 | | σ | 0.281-0.122=0.159 | | min | 9.074-9.251=-0.177 | | max | 9.770-9.576=0.195 |
|