iters=5 new-facts=1 prior-facts=1 | | mean | 301.445-301.479=-0.034 | | σ | 0.063-0.045=0.019 | | min | 301.337-301.413=-0.076 | | max | 301.504-301.527=-0.022 |
| | mean | 1630.000-1674.000=-44.000 | | σ | 0.000 | | min | 1630.000-1674.000=-44.000 | | max | 1630.000-1674.000=-44.000 |
| | mean | 0.391-0.392=-0.001 | | σ | 0.002-0.000=0.002 | | min | 0.388-0.391=-0.003 | | max | 0.393-0.392=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.072-1324.046=0.025 | | σ | 0.104-0.107=-0.003 | | min | 1323.962-1323.922=0.040 | | max | 1324.218-1324.204=0.014 |
| | mean | 1630.000-1674.000=-44.000 | | σ | 0.000 | | min | 1630.000-1674.000=-44.000 | | max | 1630.000-1674.000=-44.000 |
| | mean | 2.023-1.933=0.090 | | σ | 0.177-0.082=0.095 | | min | 1.827-1.851=-0.024 | | max | 2.182-2.020=0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.170-1562.073=0.097 | | σ | 6.880-6.928=-0.049 | | min | 1558.981-1558.739=0.243 | | max | 1574.475-1574.461=0.014 |
| | mean | 1630.000-1674.000=-44.000 | | σ | 0.000 | | min | 1630.000-1674.000=-44.000 | | max | 1630.000-1674.000=-44.000 |
| | mean | 2.421-2.264=0.157 | | σ | 0.311-0.251=0.059 | | min | 2.119-2.116=0.002 | | max | 2.801-2.710=0.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.972-1891.984=-0.012 | | σ | 0.073-0.070=0.003 | | min | 1891.842-1891.860=-0.017 | | max | 1892.017-1892.029=-0.011 |
| | mean | 1763.000-1789.400=-26.400 | | σ | 165.955-103.106=62.849 | | min | 1630.000-1674.000=-44.000 | | max | 2012.000-1953.000=59.000 |
| | mean | 2.957-2.964=-0.008 | | σ | 0.262-0.176=0.086 | | min | 2.700-2.742=-0.041 | | max | 3.399-3.220=0.180 |
|