iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.703=0.004 | | σ | 0.045-0.053=-0.008 | | min | 324.627-324.610=0.017 | | max | 324.733-324.742=-0.008 |
| | mean | 2839.000-2428.000=411.000 | | σ | 0.000 | | min | 2839.000-2428.000=411.000 | | max | 2839.000-2428.000=411.000 |
| | mean | 0.426-0.423=0.003 | | σ | 0.002-0.028=-0.026 | | min | 0.424-0.374=0.050 | | max | 0.429-0.445=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.261-1985.264=-0.003 | | σ | 0.011-0.016=-0.004 | | min | 1985.247-1985.237=0.010 | | max | 1985.274-1985.279=-0.005 |
| | mean | 2839.000-2428.000=411.000 | | σ | 0.000 | | min | 2839.000-2428.000=411.000 | | max | 2839.000-2428.000=411.000 |
| | mean | 2.712-2.753=-0.041 | | σ | 0.081-0.164=-0.083 | | min | 2.567-2.571=-0.005 | | max | 2.757-2.907=-0.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.018-4808.932=0.086 | | σ | 7.708-7.732=-0.024 | | min | 4805.538-4804.954=0.583 | | max | 4822.805-4822.752=0.053 |
| | mean | 2839.000-2428.000=411.000 | | σ | 0.000 | | min | 2839.000-2428.000=411.000 | | max | 2839.000-2428.000=411.000 |
| | mean | 8.925-8.686=0.239 | | σ | 0.208-0.488=-0.281 | | min | 8.645-7.817=0.828 | | max | 9.180-8.977=0.203 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.569-4996.488=0.081 | | σ | 0.027-0.145=-0.118 | | min | 4996.533-4996.232=0.301 | | max | 4996.605-4996.581=0.024 |
| | mean | 3086.800-2938.800=148.000 | | σ | 256.656-449.499=-192.844 | | min | 2839.000-2428.000=411.000 | | max | 3351.000-3540.000=-189.000 |
| | mean | 8.809-8.614=0.195 | | σ | 0.246-0.140=0.106 | | min | 8.512-8.486=0.025 | | max | 9.108-8.810=0.298 |
|