iters=5 new-facts=1 prior-facts=1 | | mean | 281.497-281.497=-0.001 | | σ | 0.040-0.036=0.005 | | min | 281.448-281.454=-0.006 | | max | 281.539-281.534=0.006 |
| | mean | 1632.000-1651.000=-19.000 | | σ | 0.000 | | min | 1632.000-1651.000=-19.000 | | max | 1632.000-1651.000=-19.000 |
| | mean | 0.394-0.393=0.001 | | σ | 0.006-0.006=-0.000 | | min | 0.386-0.385=0.001 | | max | 0.400-0.401=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.476-1291.481=-0.005 | | σ | 0.103-0.111=-0.008 | | min | 1291.360-1291.355=0.005 | | max | 1291.612-1291.620=-0.008 |
| | mean | 1632.000-1651.000=-19.000 | | σ | 0.000 | | min | 1632.000-1651.000=-19.000 | | max | 1632.000-1651.000=-19.000 |
| | mean | 1.982-1.886=0.096 | | σ | 0.160-0.100=0.061 | | min | 1.839-1.789=0.050 | | max | 2.249-2.036=0.213 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.321-1534.372=-0.051 | | σ | 4.013-3.975=0.038 | | min | 1532.297-1532.365=-0.068 | | max | 1541.491-1541.474=0.018 |
| | mean | 1632.000-1651.000=-19.000 | | σ | 0.000 | | min | 1632.000-1651.000=-19.000 | | max | 1632.000-1651.000=-19.000 |
| | mean | 2.222-2.358=-0.136 | | σ | 0.190-0.230=-0.040 | | min | 2.036-2.028=0.007 | | max | 2.462-2.618=-0.155 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.354-1853.354=0.000 | | σ | 0.049-0.052=-0.002 | | min | 1853.307-1853.312=-0.004 | | max | 1853.423-1853.430=-0.006 |
| | mean | 1792.800-1774.600=18.200 | | σ | 147.298-122.967=24.331 | | min | 1632.000-1651.000=-19.000 | | max | 1939.000-1903.000=36.000 |
| | mean | 3.137-3.063=0.073 | | σ | 0.281-0.281=-0.000 | | min | 2.905-2.870=0.036 | | max | 3.622-3.557=0.065 |
|