iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-275.568=-0.001 | | σ | 0.007-0.006=0.000 | | min | 275.562-275.561=0.001 | | max | 275.578-275.576=0.002 |
| | mean | 2640.000-2412.000=228.000 | | σ | 0.000 | | min | 2640.000-2412.000=228.000 | | max | 2640.000-2412.000=228.000 |
| | mean | 0.391-0.397=-0.006 | | σ | 0.008-0.011=-0.003 | | min | 0.383-0.388=-0.004 | | max | 0.400-0.411=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099-2168.087=0.013 | | σ | 0.009-0.021=-0.012 | | min | 2168.089-2168.056=0.033 | | max | 2168.110-2168.107=0.003 |
| | mean | 2640.000-2412.000=228.000 | | σ | 0.000 | | min | 2640.000-2412.000=228.000 | | max | 2640.000-2412.000=228.000 |
| | mean | 2.997-2.884=0.113 | | σ | 0.161-0.124=0.037 | | min | 2.836-2.753=0.083 | | max | 3.223-3.023=0.200 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.922-5047.903=0.019 | | σ | 0.896-0.897=-0.000 | | min | 5047.391-5047.344=0.046 | | max | 5049.516-5049.496=0.020 |
| | mean | 2640.000-2412.000=228.000 | | σ | 0.000 | | min | 2640.000-2412.000=228.000 | | max | 2640.000-2412.000=228.000 |
| | mean | 9.018-8.804=0.214 | | σ | 0.328-0.460=-0.132 | | min | 8.597-8.094=0.504 | | max | 9.493-9.274=0.219 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041-5179.045=-0.003 | | σ | 0.082-0.086=-0.004 | | min | 5178.961-5178.968=-0.007 | | max | 5179.131-5179.139=-0.009 |
| | mean | 3218.800-3252.200=-33.400 | | σ | 388.112-518.143=-130.031 | | min | 2684.000-2625.000=59.000 | | max | 3704.000-3878.000=-174.000 |
| | mean | 9.864-9.893=-0.029 | | σ | 0.271-0.196=0.075 | | min | 9.489-9.657=-0.167 | | max | 10.214-10.083=0.132 |
|