iters=5 new-facts=1 prior-facts=1 | | mean | 284.692-284.704=-0.011 | | σ | 0.033-0.031=0.002 | | min | 284.649-284.671=-0.022 | | max | 284.728-284.741=-0.013 |
| | mean | 1638.000-1642.000=-4.000 | | σ | 0.000 | | min | 1638.000-1642.000=-4.000 | | max | 1638.000-1642.000=-4.000 |
| | mean | 0.400-0.399=0.001 | | σ | 0.008-0.011=-0.003 | | min | 0.386-0.388=-0.001 | | max | 0.404-0.412=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.081-1295.053=0.028 | | σ | 0.123-0.078=0.045 | | min | 1294.967-1294.957=0.010 | | max | 1295.268-1295.155=0.113 |
| | mean | 1638.000-1642.000=-4.000 | | σ | 0.000 | | min | 1638.000-1642.000=-4.000 | | max | 1638.000-1642.000=-4.000 |
| | mean | 2.050-1.934=0.116 | | σ | 0.245-0.082=0.163 | | min | 1.792-1.814=-0.022 | | max | 2.390-2.010=0.380 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.224-1539.207=0.017 | | σ | 6.869-6.853=0.016 | | min | 1535.962-1535.900=0.062 | | max | 1551.508-1551.461=0.046 |
| | mean | 1638.000-1642.000=-4.000 | | σ | 0.000 | | min | 1638.000-1642.000=-4.000 | | max | 1638.000-1642.000=-4.000 |
| | mean | 2.292-2.228=0.064 | | σ | 0.254-0.151=0.102 | | min | 2.107-2.096=0.011 | | max | 2.714-2.479=0.235 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.991-1856.988=0.002 | | σ | 0.058-0.055=0.002 | | min | 1856.921-1856.922=-0.002 | | max | 1857.056-1857.061=-0.005 |
| | mean | 1753.000-1765.200=-12.200 | | σ | 127.910-129.459=-1.549 | | min | 1638.000-1642.000=-4.000 | | max | 1949.000-1953.000=-4.000 |
| | mean | 2.927-2.948=-0.021 | | σ | 0.089-0.131=-0.042 | | min | 2.830-2.803=0.027 | | max | 3.054-3.147=-0.092 |
|