iters=5 new-facts=1 prior-facts=1 | | mean | 271.950-269.378=2.571 | | σ | 0.008-0.009=-0.001 | | min | 271.937-269.368=2.570 | | max | 271.958-269.391=2.567 |
| | mean | 2779.000-2766.000=13.000 | | σ | 0.000 | | min | 2779.000-2766.000=13.000 | | max | 2779.000-2766.000=13.000 |
| | mean | 0.380-0.378=0.002 | | σ | 0.001-0.005=-0.004 | | min | 0.378-0.374=0.004 | | max | 0.381-0.386=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.324-1929.741=2.583 | | σ | 0.018-0.023=-0.004 | | min | 1932.307-1929.722=2.585 | | max | 1932.355-1929.769=2.586 |
| | mean | 2779.000-2766.000=13.000 | | σ | 0.000 | | min | 2779.000-2766.000=13.000 | | max | 2779.000-2766.000=13.000 |
| | mean | 2.861-3.043=-0.182 | | σ | 0.235-0.218=0.017 | | min | 2.470-2.726=-0.257 | | max | 3.058-3.288=-0.230 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.099-4750.534=2.565 | | σ | 0.903-0.845=0.057 | | min | 4752.586-4750.064=2.522 | | max | 4754.704-4752.041=2.663 |
| | mean | 2779.000-2766.000=13.000 | | σ | 0.000 | | min | 2779.000-2766.000=13.000 | | max | 2779.000-2766.000=13.000 |
| | mean | 8.533-8.339=0.195 | | σ | 0.464-0.419=0.045 | | min | 7.769-7.791=-0.022 | | max | 8.945-8.812=0.133 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.486-4940.982=2.504 | | σ | 0.159-0.014=0.145 | | min | 4943.203-4940.963=2.239 | | max | 4943.573-4940.998=2.575 |
| | mean | 3002.800-3027.200=-24.400 | | σ | 223.257-323.413=-100.156 | | min | 2779.000-2766.000=13.000 | | max | 3321.000-3520.000=-199.000 |
| | mean | 8.517-8.399=0.119 | | σ | 0.062-0.115=-0.053 | | min | 8.439-8.312=0.127 | | max | 8.611-8.597=0.014 |
|