iters=5 new-facts=1 prior-facts=1 | | mean | 275.759-275.758=0.001 | | σ | 0.010-0.011=-0.000 | | min | 275.748-275.747=0.001 | | max | 275.771-275.774=-0.002 |
| | mean | 2511.000-2647.000=-136.000 | | σ | 0.000 | | min | 2511.000-2647.000=-136.000 | | max | 2511.000-2647.000=-136.000 |
| | mean | 0.403-0.407=-0.004 | | σ | 0.008-0.010=-0.001 | | min | 0.396-0.396=-0.000 | | max | 0.416-0.417=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.275-2168.271=0.005 | | σ | 0.010-0.019=-0.009 | | min | 2168.259-2168.241=0.018 | | max | 2168.284-2168.290=-0.006 |
| | mean | 2511.000-2647.000=-136.000 | | σ | 0.000 | | min | 2511.000-2647.000=-136.000 | | max | 2511.000-2647.000=-136.000 |
| | mean | 2.958-2.848=0.110 | | σ | 0.136-0.123=0.013 | | min | 2.787-2.705=0.082 | | max | 3.087-2.980=0.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.984-5048.107=-0.123 | | σ | 1.021-0.923=0.098 | | min | 5047.001-5047.616=-0.615 | | max | 5049.702-5049.755=-0.053 |
| | mean | 2511.000-2647.000=-136.000 | | σ | 0.000 | | min | 2511.000-2647.000=-136.000 | | max | 2511.000-2647.000=-136.000 |
| | mean | 8.821-8.678=0.143 | | σ | 0.490-0.462=0.028 | | min | 8.080-8.025=0.055 | | max | 9.430-9.167=0.263 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.240-5179.234=0.005 | | σ | 0.066-0.093=-0.027 | | min | 5179.182-5179.147=0.035 | | max | 5179.326-5179.335=-0.009 |
| | mean | 3266.000-3253.800=12.200 | | σ | 377.854-470.132=-92.277 | | min | 2731.000-2647.000=84.000 | | max | 3721.000-3878.000=-157.000 |
| | mean | 9.900-9.809=0.091 | | σ | 0.672-0.638=0.034 | | min | 8.796-8.675=0.122 | | max | 10.636-10.174=0.462 |
|