iters=5 new-facts=1 prior-facts=1 | | mean | 326.574-326.419=0.155 | | σ | 0.050-0.050=0.000 | | min | 326.486-326.331=0.155 | | max | 326.612-326.450=0.161 |
| | mean | 2831.000-2612.000=219.000 | | σ | 0.000 | | min | 2831.000-2612.000=219.000 | | max | 2831.000-2612.000=219.000 |
| | mean | 0.425-0.423=0.002 | | σ | 0.005-0.001=0.003 | | min | 0.422-0.421=0.000 | | max | 0.431-0.425=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.735-1988.610=0.125 | | σ | 0.021-0.006=0.015 | | min | 1988.701-1988.605=0.096 | | max | 1988.755-1988.620=0.135 |
| | mean | 2831.000-2612.000=219.000 | | σ | 0.000 | | min | 2831.000-2612.000=219.000 | | max | 2831.000-2612.000=219.000 |
| | mean | 2.645-2.759=-0.114 | | σ | 0.100-0.145=-0.045 | | min | 2.518-2.620=-0.102 | | max | 2.748-2.973=-0.225 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.480-4813.271=0.209 | | σ | 7.497-7.841=-0.344 | | min | 4810.074-4809.443=0.631 | | max | 4826.891-4827.290=-0.399 |
| | mean | 2831.000-2612.000=219.000 | | σ | 0.000 | | min | 2831.000-2612.000=219.000 | | max | 2831.000-2612.000=219.000 |
| | mean | 8.722-8.337=0.385 | | σ | 0.384-0.626=-0.241 | | min | 8.320-7.875=0.445 | | max | 9.244-9.296=-0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.152-5000.862=0.290 | | σ | 0.021-0.183=-0.162 | | min | 5001.122-5000.657=0.466 | | max | 5001.179-5001.026=0.153 |
| | mean | 3030.200-2987.600=42.600 | | σ | 203.727-399.314=-195.587 | | min | 2831.000-2612.000=219.000 | | max | 3313.000-3552.000=-239.000 |
| | mean | 10.001-9.197=0.804 | | σ | 0.302-0.615=-0.313 | | min | 9.769-8.573=1.196 | | max | 10.362-9.851=0.511 |
|