iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.819=-0.001 | | σ | 0.040-0.036=0.003 | | min | 286.765-286.769=-0.004 | | max | 286.862-286.855=0.007 |
| | mean | 1646.000-1630.000=16.000 | | σ | 0.000 | | min | 1646.000-1630.000=16.000 | | max | 1646.000-1630.000=16.000 |
| | mean | 0.396-0.395=0.001 | | σ | 0.007-0.006=0.001 | | min | 0.388-0.388=-0.001 | | max | 0.402-0.403=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.280-1297.253=0.027 | | σ | 0.071-0.079=-0.007 | | min | 1297.200-1297.166=0.034 | | max | 1297.377-1297.343=0.034 |
| | mean | 1646.000-1630.000=16.000 | | σ | 0.000 | | min | 1646.000-1630.000=16.000 | | max | 1646.000-1630.000=16.000 |
| | mean | 2.230-2.102=0.128 | | σ | 0.070-0.077=-0.007 | | min | 2.159-2.004=0.154 | | max | 2.335-2.195=0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.336-1541.306=0.030 | | σ | 6.811-6.832=-0.021 | | min | 1538.117-1538.072=0.045 | | max | 1553.516-1553.523=-0.007 |
| | mean | 1646.000-1630.000=16.000 | | σ | 0.000 | | min | 1646.000-1630.000=16.000 | | max | 1646.000-1630.000=16.000 |
| | mean | 2.203-2.162=0.041 | | σ | 0.072-0.071=0.001 | | min | 2.132-2.062=0.070 | | max | 2.322-2.248=0.075 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1859.111=0.007 | | σ | 0.068-0.081=-0.014 | | min | 1859.035-1858.989=0.046 | | max | 1859.194-1859.185=0.009 |
| | mean | 1798.000-1789.400=8.600 | | σ | 158.569-163.199=-4.630 | | min | 1646.000-1630.000=16.000 | | max | 1962.000-1956.000=6.000 |
| | mean | 2.977-2.996=-0.019 | | σ | 0.138-0.113=0.025 | | min | 2.831-2.858=-0.028 | | max | 3.171-3.150=0.021 |
|