iters=5 new-facts=1 prior-facts=1 | | mean | 271.761-271.755=0.005 | | σ | 0.006-0.006=-0.000 | | min | 271.753-271.746=0.008 | | max | 271.769-271.762=0.007 |
| | mean | 2849.000-2811.000=38.000 | | σ | 0.000 | | min | 2849.000-2811.000=38.000 | | max | 2849.000-2811.000=38.000 |
| | mean | 0.380-0.381=-0.002 | | σ | 0.004-0.005=-0.001 | | min | 0.376-0.376=0.000 | | max | 0.386-0.388=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.172-1932.188=-0.016 | | σ | 0.012-0.011=0.001 | | min | 1932.158-1932.174=-0.016 | | max | 1932.186-1932.203=-0.016 |
| | mean | 2849.000-2811.000=38.000 | | σ | 0.000 | | min | 2849.000-2811.000=38.000 | | max | 2849.000-2811.000=38.000 |
| | mean | 2.903-2.982=-0.080 | | σ | 0.150-0.150=-0.000 | | min | 2.716-2.732=-0.016 | | max | 3.069-3.131=-0.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.931-4752.830=0.101 | | σ | 0.892-0.965=-0.073 | | min | 4752.375-4752.214=0.162 | | max | 4754.515-4754.530=-0.015 |
| | mean | 2849.000-2811.000=38.000 | | σ | 0.000 | | min | 2849.000-2811.000=38.000 | | max | 2849.000-2811.000=38.000 |
| | mean | 8.483-8.401=0.081 | | σ | 0.595-0.771=-0.176 | | min | 7.631-7.743=-0.111 | | max | 9.179-9.397=-0.217 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.231-4943.311=-0.080 | | σ | 0.200-0.154=0.046 | | min | 4943.004-4943.038=-0.033 | | max | 4943.399-4943.406=-0.008 |
| | mean | 3020.400-3028.600=-8.200 | | σ | 249.094-285.246=-36.152 | | min | 2849.000-2811.000=38.000 | | max | 3413.000-3462.000=-49.000 |
| | mean | 8.381-8.460=-0.079 | | σ | 0.020-0.138=-0.117 | | min | 8.350-8.362=-0.012 | | max | 8.396-8.702=-0.306 |
|