iters=5 new-facts=1 prior-facts=1 | | mean | 279.513-279.509=0.003 | | σ | 0.007-0.006=0.001 | | min | 279.504-279.501=0.003 | | max | 279.519-279.514=0.004 |
| | mean | 2746.000-2767.000=-21.000 | | σ | 0.000 | | min | 2746.000-2767.000=-21.000 | | max | 2746.000-2767.000=-21.000 |
| | mean | 0.408-0.404=0.004 | | σ | 0.006-0.004=0.002 | | min | 0.404-0.401=0.003 | | max | 0.418-0.410=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.395-2178.429=-0.035 | | σ | 0.079-0.015=0.064 | | min | 2178.254-2178.410=-0.155 | | max | 2178.447-2178.447=0.000 |
| | mean | 2746.000-2767.000=-21.000 | | σ | 0.000 | | min | 2746.000-2767.000=-21.000 | | max | 2746.000-2767.000=-21.000 |
| | mean | 3.476-3.366=0.110 | | σ | 0.322-0.115=0.207 | | min | 3.253-3.231=0.022 | | max | 4.040-3.523=0.517 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.371-5056.236=0.135 | | σ | 0.982-1.079=-0.097 | | min | 5055.840-5055.247=0.592 | | max | 5058.119-5058.080=0.039 |
| | mean | 2746.000-2767.000=-21.000 | | σ | 0.000 | | min | 2746.000-2767.000=-21.000 | | max | 2746.000-2767.000=-21.000 |
| | mean | 9.020-9.006=0.013 | | σ | 0.556-0.468=0.088 | | min | 8.230-8.286=-0.056 | | max | 9.586-9.516=0.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.534-5193.745=-0.211 | | σ | 0.133-0.094=0.039 | | min | 5193.346-5193.666=-0.320 | | max | 5193.694-5193.860=-0.166 |
| | mean | 3273.800-3272.000=1.800 | | σ | 383.682-474.864=-91.182 | | min | 2746.000-2767.000=-21.000 | | max | 3630.000-3951.000=-321.000 |
| | mean | 8.960-8.854=0.106 | | σ | 0.218-0.057=0.161 | | min | 8.736-8.780=-0.043 | | max | 9.314-8.930=0.383 |
|