iters=5 new-facts=1 prior-facts=1 | | mean | 280.262-280.284=-0.022 | | σ | 0.006-0.012=-0.006 | | min | 280.252-280.266=-0.014 | | max | 280.270-280.297=-0.027 |
| | mean | 2659.000-2740.000=-81.000 | | σ | 0.000 | | min | 2659.000-2740.000=-81.000 | | max | 2659.000-2740.000=-81.000 |
| | mean | 0.416-0.415=0.001 | | σ | 0.004-0.008=-0.003 | | min | 0.412-0.410=0.001 | | max | 0.422-0.428=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.321-2270.304=0.016 | | σ | 0.030-0.028=0.002 | | min | 2270.272-2270.281=-0.009 | | max | 2270.349-2270.347=0.003 |
| | mean | 2659.000-2740.000=-81.000 | | σ | 0.000 | | min | 2659.000-2740.000=-81.000 | | max | 2659.000-2740.000=-81.000 |
| | mean | 2.986-3.098=-0.112 | | σ | 0.098-0.149=-0.051 | | min | 2.860-2.921=-0.060 | | max | 3.093-3.240=-0.147 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.465-5147.452=0.012 | | σ | 1.042-1.063=-0.020 | | min | 5146.584-5146.595=-0.011 | | max | 5149.273-5149.300=-0.027 |
| | mean | 2659.000-2740.000=-81.000 | | σ | 0.000 | | min | 2659.000-2740.000=-81.000 | | max | 2659.000-2740.000=-81.000 |
| | mean | 8.669-8.704=-0.035 | | σ | 0.656-0.505=0.151 | | min | 8.171-8.192=-0.021 | | max | 9.821-9.366=0.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.570-5285.582=-0.012 | | σ | 0.126-0.229=-0.103 | | min | 5285.396-5285.201=0.195 | | max | 5285.743-5285.762=-0.019 |
| | mean | 3362.000-3479.200=-117.200 | | σ | 563.990-429.907=134.083 | | min | 2659.000-2851.000=-192.000 | | max | 4086.000-3957.000=129.000 |
| | mean | 10.029-10.084=-0.054 | | σ | 0.230-0.258=-0.028 | | min | 9.655-9.714=-0.059 | | max | 10.289-10.422=-0.133 |
|