iters=5 new-facts=1 prior-facts=1 | | mean | 278.816-278.821=-0.006 | | σ | 0.032-0.009=0.023 | | min | 278.758-278.808=-0.050 | | max | 278.835-278.828=0.006 |
| | mean | 2736.000-2726.000=10.000 | | σ | 0.000 | | min | 2736.000-2726.000=10.000 | | max | 2736.000-2726.000=10.000 |
| | mean | 0.423-0.407=0.015 | | σ | 0.010-0.004=0.006 | | min | 0.407-0.405=0.003 | | max | 0.431-0.414=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.897-2268.882=0.014 | | σ | 0.013-0.011=0.002 | | min | 2268.877-2268.868=0.010 | | max | 2268.908-2268.892=0.016 |
| | mean | 2736.000-2726.000=10.000 | | σ | 0.000 | | min | 2736.000-2726.000=10.000 | | max | 2736.000-2726.000=10.000 |
| | mean | 3.152-2.899=0.253 | | σ | 0.166-0.123=0.042 | | min | 2.910-2.775=0.134 | | max | 3.332-3.106=0.226 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.241-4954.230=0.011 | | σ | 0.935-0.796=0.138 | | min | 4953.724-4953.730=-0.006 | | max | 4955.905-4955.636=0.269 |
| | mean | 2736.000-2726.000=10.000 | | σ | 0.000 | | min | 2736.000-2726.000=10.000 | | max | 2736.000-2726.000=10.000 |
| | mean | 8.202-8.011=0.191 | | σ | 0.476-0.233=0.243 | | min | 7.859-7.769=0.090 | | max | 9.024-8.285=0.739 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.792-5168.659=0.133 | | σ | 0.081-0.275=-0.194 | | min | 5168.726-5168.179=0.547 | | max | 5168.886-5168.885=0.001 |
| | mean | 3300.800-3391.000=-90.200 | | σ | 389.588-492.335=-102.747 | | min | 2915.000-2801.000=114.000 | | max | 3694.000-4067.000=-373.000 |
| | mean | 9.329-9.407=-0.078 | | σ | 0.208-0.238=-0.029 | | min | 9.023-9.115=-0.092 | | max | 9.597-9.717=-0.120 |
|