iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-275.540=0.217 | | σ | 0.010-0.006=0.004 | | min | 275.744-275.535=0.209 | | max | 275.767-275.549=0.218 |
| | mean | 2638.000-2645.000=-7.000 | | σ | 0.000 | | min | 2638.000-2645.000=-7.000 | | max | 2638.000-2645.000=-7.000 |
| | mean | 0.403-0.393=0.011 | | σ | 0.006-0.007=-0.001 | | min | 0.398-0.386=0.013 | | max | 0.412-0.403=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.288-2168.085=0.203 | | σ | 0.008-0.021=-0.014 | | min | 2168.275-2168.062=0.213 | | max | 2168.295-2168.104=0.191 |
| | mean | 2638.000-2645.000=-7.000 | | σ | 0.000 | | min | 2638.000-2645.000=-7.000 | | max | 2638.000-2645.000=-7.000 |
| | mean | 2.815-2.882=-0.067 | | σ | 0.049-0.149=-0.099 | | min | 2.764-2.700=0.064 | | max | 2.883-3.093=-0.209 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4889.240-5047.920=-158.679 | | σ | 355.516-0.915=354.601 | | min | 4253.275-5047.346=-794.071 | | max | 5049.692-5049.544=0.149 |
| | mean | 2638.000-2645.000=-7.000 | | σ | 0.000 | | min | 2638.000-2645.000=-7.000 | | max | 2638.000-2645.000=-7.000 |
| | mean | 8.711-8.767=-0.056 | | σ | 0.886-0.603=0.283 | | min | 7.218-8.095=-0.877 | | max | 9.595-9.484=0.110 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.168-5179.035=0.133 | | σ | 0.193-0.089=0.104 | | min | 5178.847-5178.961=-0.113 | | max | 5179.328-5179.155=0.173 |
| | mean | 3154.800-3246.800=-92.000 | | σ | 458.114-517.208=-59.094 | | min | 2638.000-2645.000=-7.000 | | max | 3794.000-3970.000=-176.000 |
| | mean | 10.017-9.729=0.287 | | σ | 0.207-0.585=-0.377 | | min | 9.732-8.708=1.025 | | max | 10.315-10.194=0.122 |
|