iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.820=-0.001 | | σ | 0.040-0.038=0.002 | | min | 286.774-286.767=0.006 | | max | 286.869-286.859=0.009 |
| | mean | 1636.000-1641.000=-5.000 | | σ | 0.000 | | min | 1636.000-1641.000=-5.000 | | max | 1636.000-1641.000=-5.000 |
| | mean | 0.394-0.398=-0.004 | | σ | 0.009-0.007=0.001 | | min | 0.386-0.390=-0.004 | | max | 0.405-0.405=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.272-1297.256=0.016 | | σ | 0.093-0.074=0.019 | | min | 1297.153-1297.172=-0.020 | | max | 1297.397-1297.332=0.064 |
| | mean | 1636.000-1641.000=-5.000 | | σ | 0.000 | | min | 1636.000-1641.000=-5.000 | | max | 1636.000-1641.000=-5.000 |
| | mean | 2.305-2.122=0.184 | | σ | 0.233-0.078=0.155 | | min | 2.172-2.025=0.146 | | max | 2.720-2.199=0.522 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.361-1541.312=0.049 | | σ | 6.807-6.846=-0.039 | | min | 1538.191-1538.055=0.136 | | max | 1553.535-1553.553=-0.018 |
| | mean | 1636.000-1641.000=-5.000 | | σ | 0.000 | | min | 1636.000-1641.000=-5.000 | | max | 1636.000-1641.000=-5.000 |
| | mean | 2.277-2.192=0.085 | | σ | 0.171-0.108=0.062 | | min | 2.159-2.114=0.045 | | max | 2.551-2.378=0.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1859.120=-0.003 | | σ | 0.064-0.066=-0.002 | | min | 1859.026-1859.039=-0.012 | | max | 1859.197-1859.193=0.003 |
| | mean | 1767.800-1789.000=-21.200 | | σ | 126.581-155.182=-28.601 | | min | 1636.000-1641.000=-5.000 | | max | 1895.000-1950.000=-55.000 |
| | mean | 3.092-2.980=0.112 | | σ | 0.402-0.086=0.316 | | min | 2.629-2.846=-0.218 | | max | 3.698-3.062=0.636 |
|