iters=5 new-facts=1 prior-facts=1 | | mean | 285.404-303.788=-18.384 | | σ | 0.039-0.052=-0.013 | | min | 285.361-303.711=-18.350 | | max | 285.446-303.849=-18.403 |
| | mean | 1621.000-1641.000=-20.000 | | σ | 0.000 | | min | 1621.000-1641.000=-20.000 | | max | 1621.000-1641.000=-20.000 |
| | mean | 0.393-0.395=-0.002 | | σ | 0.005-0.009=-0.004 | | min | 0.384-0.387=-0.004 | | max | 0.397-0.408=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.793-1326.325=-30.532 | | σ | 0.104-0.099=0.006 | | min | 1295.673-1326.200=-30.527 | | max | 1295.932-1326.449=-30.517 |
| | mean | 1621.000-1641.000=-20.000 | | σ | 0.000 | | min | 1621.000-1641.000=-20.000 | | max | 1621.000-1641.000=-20.000 |
| | mean | 1.890-1.940=-0.050 | | σ | 0.084-0.140=-0.055 | | min | 1.795-1.777=0.018 | | max | 1.969-2.138=-0.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.941-1564.381=-24.440 | | σ | 6.859-6.889=-0.030 | | min | 1536.686-1561.094=-24.408 | | max | 1552.209-1576.700=-24.492 |
| | mean | 1621.000-1641.000=-20.000 | | σ | 0.000 | | min | 1621.000-1641.000=-20.000 | | max | 1621.000-1641.000=-20.000 |
| | mean | 2.132-2.264=-0.131 | | σ | 0.178-0.179=-0.001 | | min | 1.952-2.097=-0.145 | | max | 2.421-2.510=-0.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.707-1894.266=-36.559 | | σ | 0.061-0.068=-0.007 | | min | 1857.645-1894.152=-36.507 | | max | 1857.779-1894.317=-36.538 |
| | mean | 1784.400-1774.600=9.800 | | σ | 154.343-165.904=-11.561 | | min | 1621.000-1641.000=-20.000 | | max | 1941.000-2034.000=-93.000 |
| | mean | 2.971-3.008=-0.037 | | σ | 0.075-0.154=-0.078 | | min | 2.882-2.899=-0.017 | | max | 3.074-3.255=-0.181 |
|