iters=5 new-facts=1 prior-facts=1 | | mean | 326.419-326.455=-0.036 | | σ | 0.050-0.029=0.021 | | min | 326.331-326.405=-0.074 | | max | 326.450-326.477=-0.027 |
| | mean | 2612.000-2588.000=24.000 | | σ | 0.000 | | min | 2612.000-2588.000=24.000 | | max | 2612.000-2588.000=24.000 |
| | mean | 0.423-0.421=0.002 | | σ | 0.001-0.001=0.000 | | min | 0.421-0.420=0.002 | | max | 0.425-0.423=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.610-1988.621=-0.011 | | σ | 0.006-0.003=0.003 | | min | 1988.605-1988.617=-0.012 | | max | 1988.620-1988.625=-0.005 |
| | mean | 2612.000-2588.000=24.000 | | σ | 0.000 | | min | 2612.000-2588.000=24.000 | | max | 2612.000-2588.000=24.000 |
| | mean | 2.759-2.637=0.122 | | σ | 0.145-0.129=0.016 | | min | 2.620-2.453=0.167 | | max | 2.973-2.805=0.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.271-4813.132=0.139 | | σ | 7.841-7.909=-0.068 | | min | 4809.443-4809.387=0.056 | | max | 4827.290-4827.266=0.025 |
| | mean | 2612.000-2588.000=24.000 | | σ | 0.000 | | min | 2612.000-2588.000=24.000 | | max | 2612.000-2588.000=24.000 |
| | mean | 8.337-8.570=-0.233 | | σ | 0.626-0.628=-0.003 | | min | 7.875-7.656=0.219 | | max | 9.296-9.308=-0.012 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.862-5001.011=-0.149 | | σ | 0.183-0.024=0.160 | | min | 5000.657-5000.987=-0.330 | | max | 5001.026-5001.042=-0.016 |
| | mean | 2987.600-2989.400=-1.800 | | σ | 399.314-308.546=90.767 | | min | 2612.000-2588.000=24.000 | | max | 3552.000-3389.000=163.000 |
| | mean | 9.197-9.661=-0.464 | | σ | 0.615-0.169=0.445 | | min | 8.573-9.421=-0.849 | | max | 9.851-9.840=0.011 |
|