iters=5 new-facts=1 prior-facts=1 | | mean | 286.822-286.821=0.001 | | σ | 0.040-0.040=0.001 | | min | 286.772-286.773=-0.001 | | max | 286.863-286.865=-0.002 |
| | mean | 1615.000-1661.000=-46.000 | | σ | 0.000 | | min | 1615.000-1661.000=-46.000 | | max | 1615.000-1661.000=-46.000 |
| | mean | 0.401-0.396=0.004 | | σ | 0.014-0.007=0.007 | | min | 0.389-0.388=0.001 | | max | 0.423-0.404=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.225-1297.239=-0.013 | | σ | 0.078-0.080=-0.002 | | min | 1297.125-1297.144=-0.019 | | max | 1297.303-1297.316=-0.012 |
| | mean | 1615.000-1661.000=-46.000 | | σ | 0.000 | | min | 1615.000-1661.000=-46.000 | | max | 1615.000-1661.000=-46.000 |
| | mean | 2.040-2.069=-0.028 | | σ | 0.035-0.082=-0.047 | | min | 1.992-1.984=0.008 | | max | 2.072-2.188=-0.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.305-1541.302=0.003 | | σ | 6.845-6.839=0.007 | | min | 1538.055-1538.052=0.004 | | max | 1553.546-1553.531=0.015 |
| | mean | 1615.000-1661.000=-46.000 | | σ | 0.000 | | min | 1615.000-1661.000=-46.000 | | max | 1615.000-1661.000=-46.000 |
| | mean | 2.185-2.150=0.036 | | σ | 0.108-0.080=0.028 | | min | 2.090-2.086=0.004 | | max | 2.358-2.283=0.075 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.113-1859.115=-0.002 | | σ | 0.081-0.080=0.001 | | min | 1858.998-1859.000=-0.001 | | max | 1859.200-1859.193=0.007 |
| | mean | 1761.600-1791.800=-30.200 | | σ | 131.728-138.936=-7.208 | | min | 1615.000-1661.000=-46.000 | | max | 1896.000-1937.000=-41.000 |
| | mean | 3.087-2.958=0.129 | | σ | 0.189-0.151=0.038 | | min | 2.850-2.702=0.148 | | max | 3.317-3.101=0.216 |
|