iters=5 new-facts=1 prior-facts=1 | | mean | 326.448-326.453=-0.006 | | σ | 0.035-0.041=-0.006 | | min | 326.388-326.381=0.007 | | max | 326.479-326.477=0.001 |
| | mean | 2824.000-2825.000=-1.000 | | σ | 0.000 | | min | 2824.000-2825.000=-1.000 | | max | 2824.000-2825.000=-1.000 |
| | mean | 0.427-0.424=0.002 | | σ | 0.006-0.002=0.004 | | min | 0.421-0.421=-0.000 | | max | 0.434-0.426=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.605-1988.603=0.002 | | σ | 0.016-0.010=0.006 | | min | 1988.586-1988.590=-0.004 | | max | 1988.620-1988.616=0.003 |
| | mean | 2824.000-2825.000=-1.000 | | σ | 0.000 | | min | 2824.000-2825.000=-1.000 | | max | 2824.000-2825.000=-1.000 |
| | mean | 2.682-2.724=-0.042 | | σ | 0.067-0.172=-0.105 | | min | 2.636-2.540=0.095 | | max | 2.800-2.943=-0.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.266-4813.362=-0.096 | | σ | 7.900-7.790=0.110 | | min | 4808.830-4809.353=-0.523 | | max | 4827.366-4827.286=0.080 |
| | mean | 2824.000-2825.000=-1.000 | | σ | 0.000 | | min | 2824.000-2825.000=-1.000 | | max | 2824.000-2825.000=-1.000 |
| | mean | 8.781-8.439=0.341 | | σ | 0.619-0.521=0.098 | | min | 7.802-7.938=-0.136 | | max | 9.436-9.240=0.196 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.012-5000.794=0.217 | | σ | 0.027-0.184=-0.157 | | min | 5000.982-5000.645=0.337 | | max | 5001.041-5001.015=0.026 |
| | mean | 3031.200-3056.400=-25.200 | | σ | 213.774-310.902=-97.128 | | min | 2824.000-2825.000=-1.000 | | max | 3332.000-3538.000=-206.000 |
| | mean | 9.808-9.703=0.105 | | σ | 0.149-0.233=-0.084 | | min | 9.704-9.324=0.380 | | max | 10.068-9.965=0.103 |
|