iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.694=0.002 | | σ | 0.013-0.011=0.002 | | min | 278.682-278.685=-0.003 | | max | 278.717-278.714=0.003 |
| | mean | 2819.000-2648.000=171.000 | | σ | 0.000 | | min | 2819.000-2648.000=171.000 | | max | 2819.000-2648.000=171.000 |
| | mean | 0.417-0.418=-0.001 | | σ | 0.001-0.001=0.000 | | min | 0.415-0.417=-0.001 | | max | 0.418-0.419=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.872-2268.869=0.002 | | σ | 0.005-0.006=-0.000 | | min | 2268.865-2268.862=0.002 | | max | 2268.879-2268.877=0.002 |
| | mean | 2819.000-2648.000=171.000 | | σ | 0.000 | | min | 2819.000-2648.000=171.000 | | max | 2819.000-2648.000=171.000 |
| | mean | 2.942-2.929=0.013 | | σ | 0.108-0.114=-0.007 | | min | 2.869-2.850=0.019 | | max | 3.132-3.131=0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.372-4952.244=0.128 | | σ | 0.750-0.884=-0.133 | | min | 4951.965-4951.413=0.552 | | max | 4953.711-4953.754=-0.043 |
| | mean | 2819.000-2648.000=171.000 | | σ | 0.000 | | min | 2819.000-2648.000=171.000 | | max | 2819.000-2648.000=171.000 |
| | mean | 7.731-7.899=-0.168 | | σ | 0.192-0.047=0.145 | | min | 7.565-7.841=-0.277 | | max | 7.951-7.951=-0.001 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.934-5167.071=-0.137 | | σ | 0.188-0.008=0.180 | | min | 5166.721-5167.064=-0.344 | | max | 5167.077-5167.084=-0.008 |
| | mean | 3401.600-3347.600=54.000 | | σ | 425.623-451.212=-25.589 | | min | 2819.000-2735.000=84.000 | | max | 3932.000-3943.000=-11.000 |
| | mean | 9.607-9.413=0.194 | | σ | 0.216-0.235=-0.019 | | min | 9.393-9.019=0.374 | | max | 9.901-9.576=0.325 |
|