iters=5 new-facts=1 prior-facts=1 | | mean | 285.394-285.358=0.037 | | σ | 0.036-0.033=0.003 | | min | 285.353-285.311=0.041 | | max | 285.438-285.396=0.042 |
| | mean | 1620.000-1621.000=-1.000 | | σ | 0.000 | | min | 1620.000-1621.000=-1.000 | | max | 1620.000-1621.000=-1.000 |
| | mean | 0.387-0.386=0.001 | | σ | 0.006-0.006=0.000 | | min | 0.381-0.381=0.000 | | max | 0.395-0.396=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.777-1295.744=0.033 | | σ | 0.112-0.114=-0.002 | | min | 1295.659-1295.629=0.030 | | max | 1295.915-1295.883=0.032 |
| | mean | 1620.000-1621.000=-1.000 | | σ | 0.000 | | min | 1620.000-1621.000=-1.000 | | max | 1620.000-1621.000=-1.000 |
| | mean | 1.891-1.936=-0.045 | | σ | 0.088-0.114=-0.026 | | min | 1.804-1.804=0.000 | | max | 1.986-2.037=-0.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.641-1538.595=0.046 | | σ | 4.005-4.000=0.005 | | min | 1536.636-1536.567=0.069 | | max | 1545.798-1545.742=0.055 |
| | mean | 1620.000-1621.000=-1.000 | | σ | 0.000 | | min | 1620.000-1621.000=-1.000 | | max | 1620.000-1621.000=-1.000 |
| | mean | 2.323-2.302=0.021 | | σ | 0.237-0.247=-0.010 | | min | 2.051-2.001=0.050 | | max | 2.652-2.660=-0.009 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.683-1857.640=0.043 | | σ | 0.067-0.067=-0.001 | | min | 1857.601-1857.563=0.037 | | max | 1857.772-1857.735=0.037 |
| | mean | 1767.800-1776.400=-8.600 | | σ | 128.237-137.369=-9.132 | | min | 1620.000-1621.000=-1.000 | | max | 1893.000-1910.000=-17.000 |
| | mean | 2.953-3.056=-0.103 | | σ | 0.124-0.264=-0.140 | | min | 2.839-2.852=-0.013 | | max | 3.134-3.516=-0.382 |
|