iters=5 new-facts=1 prior-facts=1 | | mean | 284.689-284.694=-0.005 | | σ | 0.042-0.034=0.008 | | min | 284.651-284.649=0.003 | | max | 284.744-284.731=0.013 |
| | mean | 1638.000-1643.000=-5.000 | | σ | 0.000 | | min | 1638.000-1643.000=-5.000 | | max | 1638.000-1643.000=-5.000 |
| | mean | 0.398-0.396=0.002 | | σ | 0.013-0.007=0.006 | | min | 0.380-0.388=-0.008 | | max | 0.411-0.404=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.075-1295.074=0.001 | | σ | 0.101-0.105=-0.003 | | min | 1294.959-1294.950=0.009 | | max | 1295.196-1295.197=-0.002 |
| | mean | 1638.000-1643.000=-5.000 | | σ | 0.000 | | min | 1638.000-1643.000=-5.000 | | max | 1638.000-1643.000=-5.000 |
| | mean | 1.948-1.894=0.054 | | σ | 0.121-0.052=0.069 | | min | 1.814-1.813=0.001 | | max | 2.122-1.942=0.180 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.197-1539.208=-0.010 | | σ | 6.845-6.856=-0.011 | | min | 1535.906-1535.914=-0.009 | | max | 1551.437-1551.468=-0.031 |
| | mean | 1638.000-1643.000=-5.000 | | σ | 0.000 | | min | 1638.000-1643.000=-5.000 | | max | 1638.000-1643.000=-5.000 |
| | mean | 2.330-2.199=0.131 | | σ | 0.191-0.234=-0.043 | | min | 2.062-2.056=0.006 | | max | 2.570-2.614=-0.044 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.982-1856.991=-0.009 | | σ | 0.053-0.054=-0.001 | | min | 1856.935-1856.935=-0.000 | | max | 1857.062-1857.070=-0.008 |
| | mean | 1771.800-1777.600=-5.800 | | σ | 136.710-135.388=1.323 | | min | 1638.000-1643.000=-5.000 | | max | 1913.000-1917.000=-4.000 |
| | mean | 3.048-3.046=0.002 | | σ | 0.259-0.288=-0.029 | | min | 2.832-2.873=-0.041 | | max | 3.497-3.558=-0.061 |
|