iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.818=0.001 | | σ | 0.036-0.039=-0.002 | | min | 286.769-286.767=0.002 | | max | 286.855-286.858=-0.003 |
| | mean | 1630.000-1618.000=12.000 | | σ | 0.000 | | min | 1630.000-1618.000=12.000 | | max | 1630.000-1618.000=12.000 |
| | mean | 0.395-0.396=-0.001 | | σ | 0.006-0.005=0.001 | | min | 0.388-0.388=-0.000 | | max | 0.403-0.400=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.253-1297.211=0.042 | | σ | 0.079-0.121=-0.042 | | min | 1297.166-1297.088=0.078 | | max | 1297.343-1297.363=-0.020 |
| | mean | 1630.000-1618.000=12.000 | | σ | 0.000 | | min | 1630.000-1618.000=12.000 | | max | 1630.000-1618.000=12.000 |
| | mean | 2.102-1.879=0.223 | | σ | 0.077-0.094=-0.017 | | min | 2.004-1.804=0.200 | | max | 2.195-2.017=0.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.306-1541.335=-0.029 | | σ | 6.832-6.843=-0.011 | | min | 1538.072-1538.054=0.019 | | max | 1553.523-1553.573=-0.050 |
| | mean | 1630.000-1618.000=12.000 | | σ | 0.000 | | min | 1630.000-1618.000=12.000 | | max | 1630.000-1618.000=12.000 |
| | mean | 2.162-2.230=-0.068 | | σ | 0.071-0.156=-0.085 | | min | 2.062-2.119=-0.057 | | max | 2.248-2.489=-0.241 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.111-1859.123=-0.012 | | σ | 0.081-0.065=0.016 | | min | 1858.989-1859.032=-0.043 | | max | 1859.185-1859.199=-0.014 |
| | mean | 1789.400-1763.000=26.400 | | σ | 163.199-178.827=-15.628 | | min | 1630.000-1618.000=12.000 | | max | 1956.000-2032.000=-76.000 |
| | mean | 2.996-2.891=0.105 | | σ | 0.113-0.145=-0.032 | | min | 2.858-2.777=0.081 | | max | 3.150-3.143=0.007 |
|