iters=5 new-facts=1 prior-facts=1 | | mean | 190.724-190.714=0.009 | | σ | 0.012-0.004=0.008 | | min | 190.713-190.708=0.005 | | max | 190.737-190.718=0.019 |
| | mean | 2780.000-2606.000=174.000 | | σ | 0.000 | | min | 2780.000-2606.000=174.000 | | max | 2780.000-2606.000=174.000 |
| | mean | 0.281-0.282=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.280-0.281=-0.001 | | max | 0.282-0.283=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.501-1989.493=0.008 | | σ | 0.012-0.011=0.001 | | min | 1989.485-1989.478=0.006 | | max | 1989.515-1989.508=0.007 |
| | mean | 2780.000-2606.000=174.000 | | σ | 0.000 | | min | 2780.000-2606.000=174.000 | | max | 2780.000-2606.000=174.000 |
| | mean | 2.442-2.435=0.008 | | σ | 0.090-0.115=-0.025 | | min | 2.365-2.309=0.055 | | max | 2.572-2.580=-0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.960-4879.848=0.111 | | σ | 0.586-0.767=-0.180 | | min | 4879.437-4879.146=0.291 | | max | 4880.965-4881.112=-0.148 |
| | mean | 2780.000-2606.000=174.000 | | σ | 0.000 | | min | 2780.000-2606.000=174.000 | | max | 2780.000-2606.000=174.000 |
| | mean | 8.184-8.022=0.162 | | σ | 0.240-0.284=-0.044 | | min | 7.828-7.606=0.222 | | max | 8.487-8.263=0.225 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.643-4891.628=0.015 | | σ | 0.117-0.125=-0.009 | | min | 4891.470-4891.429=0.041 | | max | 4891.797-4891.772=0.025 |
| | mean | 3364.800-3366.200=-1.400 | | σ | 432.287-477.951=-45.663 | | min | 2780.000-2794.000=-14.000 | | max | 3911.000-4054.000=-143.000 |
| | mean | 8.378-8.205=0.174 | | σ | 0.372-0.334=0.039 | | min | 7.931-7.919=0.012 | | max | 8.778-8.754=0.023 |
|