iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-275.567=0.000 | | σ | 0.003-0.007=-0.004 | | min | 275.564-275.562=0.003 | | max | 275.572-275.578=-0.006 |
| | mean | 2645.000-2640.000=5.000 | | σ | 0.000 | | min | 2645.000-2640.000=5.000 | | max | 2645.000-2640.000=5.000 |
| | mean | 0.390-0.391=-0.001 | | σ | 0.005-0.008=-0.003 | | min | 0.387-0.383=0.003 | | max | 0.398-0.400=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.097-2168.099=-0.002 | | σ | 0.005-0.009=-0.004 | | min | 2168.092-2168.089=0.003 | | max | 2168.104-2168.110=-0.007 |
| | mean | 2645.000-2640.000=5.000 | | σ | 0.000 | | min | 2645.000-2640.000=5.000 | | max | 2645.000-2640.000=5.000 |
| | mean | 2.981-2.997=-0.016 | | σ | 0.211-0.161=0.051 | | min | 2.764-2.836=-0.072 | | max | 3.304-3.223=0.082 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.791-5047.922=-0.131 | | σ | 0.988-0.896=0.092 | | min | 5047.044-5047.391=-0.347 | | max | 5049.528-5049.516=0.012 |
| | mean | 2645.000-2640.000=5.000 | | σ | 0.000 | | min | 2645.000-2640.000=5.000 | | max | 2645.000-2640.000=5.000 |
| | mean | 8.919-9.018=-0.099 | | σ | 0.490-0.328=0.163 | | min | 8.130-8.597=-0.468 | | max | 9.381-9.493=-0.112 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.046-5179.041=0.005 | | σ | 0.072-0.082=-0.010 | | min | 5178.976-5178.961=0.015 | | max | 5179.126-5179.131=-0.004 |
| | mean | 3223.000-3218.800=4.200 | | σ | 388.196-388.112=0.085 | | min | 2687.000-2684.000=3.000 | | max | 3710.000-3704.000=6.000 |
| | mean | 9.873-9.864=0.009 | | σ | 0.295-0.271=0.024 | | min | 9.472-9.489=-0.017 | | max | 10.216-10.214=0.002 |
|