iters=5 new-facts=1 prior-facts=1 | | mean | 286.825-286.818=0.007 | | σ | 0.041-0.039=0.002 | | min | 286.772-286.767=0.005 | | max | 286.877-286.858=0.019 |
| | mean | 1643.000-1618.000=25.000 | | σ | 0.000 | | min | 1643.000-1618.000=25.000 | | max | 1643.000-1618.000=25.000 |
| | mean | 0.398-0.396=0.003 | | σ | 0.015-0.005=0.009 | | min | 0.387-0.388=-0.001 | | max | 0.423-0.400=0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.256-1297.211=0.045 | | σ | 0.061-0.121=-0.060 | | min | 1297.184-1297.088=0.096 | | max | 1297.310-1297.363=-0.054 |
| | mean | 1643.000-1618.000=25.000 | | σ | 0.000 | | min | 1643.000-1618.000=25.000 | | max | 1643.000-1618.000=25.000 |
| | mean | 2.122-1.879=0.244 | | σ | 0.121-0.094=0.027 | | min | 1.993-1.804=0.188 | | max | 2.304-2.017=0.287 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.303-1541.335=-0.032 | | σ | 6.870-6.843=0.027 | | min | 1538.022-1538.054=-0.032 | | max | 1553.588-1553.573=0.016 |
| | mean | 1643.000-1618.000=25.000 | | σ | 0.000 | | min | 1643.000-1618.000=25.000 | | max | 1643.000-1618.000=25.000 |
| | mean | 2.227-2.230=-0.004 | | σ | 0.210-0.156=0.054 | | min | 1.999-2.119=-0.120 | | max | 2.566-2.489=0.077 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.109-1859.123=-0.014 | | σ | 0.081-0.065=0.016 | | min | 1858.986-1859.032=-0.046 | | max | 1859.183-1859.199=-0.016 |
| | mean | 1783.800-1763.000=20.800 | | σ | 140.002-178.827=-38.824 | | min | 1643.000-1618.000=25.000 | | max | 1924.000-2032.000=-108.000 |
| | mean | 3.188-2.891=0.297 | | σ | 0.265-0.145=0.120 | | min | 2.867-2.777=0.090 | | max | 3.539-3.143=0.396 |
|