iters=5 new-facts=1 prior-facts=1 | | mean | 284.787-283.476=1.311 | | σ | 0.037-0.037=-0.000 | | min | 284.737-283.430=1.307 | | max | 284.825-283.514=1.311 |
| | mean | 1637.000-1634.000=3.000 | | σ | 0.000 | | min | 1637.000-1634.000=3.000 | | max | 1637.000-1634.000=3.000 |
| | mean | 0.398-0.389=0.009 | | σ | 0.009-0.007=0.002 | | min | 0.388-0.386=0.003 | | max | 0.409-0.402=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1294.765-1293.464=1.300 | | σ | 0.110-0.112=-0.002 | | min | 1294.636-1293.344=1.292 | | max | 1294.894-1293.600=1.294 |
| | mean | 1637.000-1634.000=3.000 | | σ | 0.000 | | min | 1637.000-1634.000=3.000 | | max | 1637.000-1634.000=3.000 |
| | mean | 1.896-1.891=0.005 | | σ | 0.086-0.082=0.004 | | min | 1.807-1.803=0.004 | | max | 2.015-1.975=0.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1537.620-1536.321=1.298 | | σ | 4.005-4.075=-0.070 | | min | 1535.645-1534.278=1.367 | | max | 1544.777-1543.601=1.176 |
| | mean | 1637.000-1634.000=3.000 | | σ | 0.000 | | min | 1637.000-1634.000=3.000 | | max | 1637.000-1634.000=3.000 |
| | mean | 2.174-2.356=-0.183 | | σ | 0.109-0.355=-0.246 | | min | 2.043-2.034=0.008 | | max | 2.282-2.925=-0.643 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.645-1855.347=1.298 | | σ | 0.053-0.066=-0.014 | | min | 1856.594-1855.275=1.318 | | max | 1856.718-1855.421=1.296 |
| | mean | 1779.000-1776.200=2.800 | | σ | 126.014-135.491=-9.477 | | min | 1637.000-1634.000=3.000 | | max | 1902.000-1915.000=-13.000 |
| | mean | 2.962-3.259=-0.297 | | σ | 0.104-0.449=-0.345 | | min | 2.873-2.866=0.007 | | max | 3.131-3.751=-0.620 |
|