iters=5 new-facts=1 prior-facts=1 | | mean | 275.550-275.568=-0.017 | | σ | 0.013-0.003=0.010 | | min | 275.532-275.565=-0.032 | | max | 275.563-275.571=-0.008 |
| | mean | 2684.000-2717.000=-33.000 | | σ | 0.000 | | min | 2684.000-2717.000=-33.000 | | max | 2684.000-2717.000=-33.000 |
| | mean | 0.391-0.392=-0.001 | | σ | 0.006-0.009=-0.002 | | min | 0.384-0.385=-0.001 | | max | 0.398-0.402=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.102-2168.093=0.009 | | σ | 0.007-0.015=-0.008 | | min | 2168.095-2168.071=0.023 | | max | 2168.111-2168.113=-0.003 |
| | mean | 2684.000-2717.000=-33.000 | | σ | 0.000 | | min | 2684.000-2717.000=-33.000 | | max | 2684.000-2717.000=-33.000 |
| | mean | 2.900-2.946=-0.046 | | σ | 0.108-0.121=-0.013 | | min | 2.765-2.783=-0.019 | | max | 3.045-3.077=-0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.904-5047.795=0.109 | | σ | 0.914-1.019=-0.105 | | min | 5047.371-5046.804=0.568 | | max | 5049.531-5049.523=0.008 |
| | mean | 2684.000-2717.000=-33.000 | | σ | 0.000 | | min | 2684.000-2717.000=-33.000 | | max | 2684.000-2717.000=-33.000 |
| | mean | 8.890-8.797=0.093 | | σ | 0.472-0.500=-0.027 | | min | 8.142-8.186=-0.044 | | max | 9.339-9.272=0.067 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.971-5179.053=-0.083 | | σ | 0.209-0.085=0.123 | | min | 5178.616-5178.959=-0.343 | | max | 5179.124-5179.153=-0.029 |
| | mean | 3216.200-3238.800=-22.600 | | σ | 387.268-386.490=0.777 | | min | 2686.000-2717.000=-31.000 | | max | 3702.000-3733.000=-31.000 |
| | mean | 9.810-9.988=-0.179 | | σ | 0.366-0.317=0.049 | | min | 9.550-9.591=-0.041 | | max | 10.414-10.403=0.011 |
|