iters=5 new-facts=1 prior-facts=1 | | mean | 326.506-326.514=-0.008 | | σ | 0.054-0.031=0.023 | | min | 326.411-326.460=-0.049 | | max | 326.538-326.537=0.001 |
| | mean | 2835.000-2412.000=423.000 | | σ | 0.000 | | min | 2835.000-2412.000=423.000 | | max | 2835.000-2412.000=423.000 |
| | mean | 0.425-0.424=0.000 | | σ | 0.007-0.003=0.004 | | min | 0.419-0.420=-0.000 | | max | 0.435-0.429=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.675-1988.673=0.002 | | σ | 0.016-0.016=0.000 | | min | 1988.648-1988.653=-0.005 | | max | 1988.689-1988.689=-0.000 |
| | mean | 2835.000-2412.000=423.000 | | σ | 0.000 | | min | 2835.000-2412.000=423.000 | | max | 2835.000-2412.000=423.000 |
| | mean | 2.664-2.727=-0.063 | | σ | 0.195-0.101=0.094 | | min | 2.390-2.634=-0.244 | | max | 2.927-2.853=0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.517-4813.417=0.101 | | σ | 7.740-7.771=-0.031 | | min | 4810.009-4809.522=0.488 | | max | 4827.363-4827.310=0.053 |
| | mean | 2835.000-2412.000=423.000 | | σ | 0.000 | | min | 2835.000-2412.000=423.000 | | max | 2835.000-2412.000=423.000 |
| | mean | 8.753-8.483=0.270 | | σ | 0.365-0.437=-0.072 | | min | 8.399-8.023=0.376 | | max | 9.289-9.153=0.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.080-5001.076=0.003 | | σ | 0.025-0.030=-0.005 | | min | 5001.059-5001.037=0.022 | | max | 5001.121-5001.110=0.011 |
| | mean | 3004.800-2942.200=62.600 | | σ | 190.202-435.228=-245.027 | | min | 2835.000-2459.000=376.000 | | max | 3298.000-3526.000=-228.000 |
| | mean | 9.897-9.565=0.332 | | σ | 0.242-0.628=-0.386 | | min | 9.601-8.496=1.105 | | max | 10.249-10.168=0.080 |
|