iters=5 new-facts=1 prior-facts=1 | | mean | 285.404-301.483=-16.079 | | σ | 0.039-0.042=-0.003 | | min | 285.361-301.417=-16.056 | | max | 285.446-301.526=-16.080 |
| | mean | 1621.000-1512.000=109.000 | | σ | 0.000 | | min | 1621.000-1512.000=109.000 | | max | 1621.000-1512.000=109.000 |
| | mean | 0.393-0.393=-0.000 | | σ | 0.005-0.007=-0.001 | | min | 0.384-0.390=-0.006 | | max | 0.397-0.405=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.793-1324.064=-28.271 | | σ | 0.104-0.113=-0.008 | | min | 1295.673-1323.927=-28.254 | | max | 1295.932-1324.197=-28.265 |
| | mean | 1621.000-1512.000=109.000 | | σ | 0.000 | | min | 1621.000-1512.000=109.000 | | max | 1621.000-1512.000=109.000 |
| | mean | 1.890-1.883=0.007 | | σ | 0.084-0.057=0.027 | | min | 1.795-1.825=-0.030 | | max | 1.969-1.962=0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.941-1562.103=-22.161 | | σ | 6.859-6.889=-0.030 | | min | 1536.686-1558.800=-22.114 | | max | 1552.209-1574.422=-22.214 |
| | mean | 1621.000-1512.000=109.000 | | σ | 0.000 | | min | 1621.000-1512.000=109.000 | | max | 1621.000-1512.000=109.000 |
| | mean | 2.132-2.348=-0.216 | | σ | 0.178-0.274=-0.095 | | min | 1.952-2.039=-0.087 | | max | 2.421-2.679=-0.258 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.707-1891.955=-34.248 | | σ | 0.061-0.076=-0.015 | | min | 1857.645-1891.854=-34.209 | | max | 1857.779-1892.018=-34.239 |
| | mean | 1784.400-1721.200=63.200 | | σ | 154.343-207.236=-52.893 | | min | 1621.000-1512.000=109.000 | | max | 1941.000-2004.000=-63.000 |
| | mean | 2.971-3.008=-0.037 | | σ | 0.075-0.404=-0.329 | | min | 2.882-2.715=0.167 | | max | 3.074-3.720=-0.646 |
|