iters=5 new-facts=1 prior-facts=1 | | mean | 275.570-275.571=-0.001 | | σ | 0.005-0.006=-0.001 | | min | 275.565-275.564=0.000 | | max | 275.578-275.581=-0.004 |
| | mean | 2435.000-2476.000=-41.000 | | σ | 0.000 | | min | 2435.000-2476.000=-41.000 | | max | 2435.000-2476.000=-41.000 |
| | mean | 0.390-0.400=-0.010 | | σ | 0.006-0.006=0.001 | | min | 0.384-0.395=-0.011 | | max | 0.397-0.408=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2172.839-2172.827=0.012 | | σ | 0.004-0.019=-0.015 | | min | 2172.834-2172.794=0.040 | | max | 2172.844-2172.840=0.004 |
| | mean | 2435.000-2476.000=-41.000 | | σ | 0.000 | | min | 2435.000-2476.000=-41.000 | | max | 2435.000-2476.000=-41.000 |
| | mean | 3.055-2.921=0.135 | | σ | 0.214-0.207=0.007 | | min | 2.813-2.708=0.106 | | max | 3.339-3.248=0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5050.833-5050.945=-0.111 | | σ | 0.976-0.905=0.071 | | min | 5050.095-5050.452=-0.357 | | max | 5052.548-5052.558=-0.011 |
| | mean | 2435.000-2476.000=-41.000 | | σ | 0.000 | | min | 2435.000-2476.000=-41.000 | | max | 2435.000-2476.000=-41.000 |
| | mean | 8.967-8.912=0.055 | | σ | 0.490-0.508=-0.017 | | min | 8.314-8.115=0.200 | | max | 9.588-9.374=0.214 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5186.737-5186.797=-0.060 | | σ | 0.202-0.082=0.120 | | min | 5186.396-5186.732=-0.335 | | max | 5186.886-5186.887=-0.000 |
| | mean | 3207.800-3258.400=-50.600 | | σ | 377.324-381.709=-4.385 | | min | 2674.000-2724.000=-50.000 | | max | 3673.000-3725.000=-52.000 |
| | mean | 9.757-9.711=0.046 | | σ | 0.380-0.167=0.213 | | min | 9.135-9.594=-0.459 | | max | 10.124-10.006=0.118 |
|