iters=5 new-facts=1 prior-facts=1 | | mean | 324.010-323.173=0.837 | | σ | 0.061-0.056=0.005 | | min | 323.901-323.074=0.827 | | max | 324.041-323.202=0.839 |
| | mean | 2701.000-2449.000=252.000 | | σ | 0.000 | | min | 2701.000-2449.000=252.000 | | max | 2701.000-2449.000=252.000 |
| | mean | 0.426-0.433=-0.007 | | σ | 0.001-0.005=-0.004 | | min | 0.424-0.429=-0.004 | | max | 0.428-0.441=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.579-1983.685=0.894 | | σ | 0.017-0.017=-0.001 | | min | 1984.561-1983.662=0.899 | | max | 1984.600-1983.701=0.899 |
| | mean | 2701.000-2449.000=252.000 | | σ | 0.000 | | min | 2701.000-2449.000=252.000 | | max | 2701.000-2449.000=252.000 |
| | mean | 2.637-2.670=-0.033 | | σ | 0.124-0.131=-0.006 | | min | 2.531-2.568=-0.037 | | max | 2.841-2.868=-0.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.227-4804.347=3.880 | | σ | 7.773-1.057=6.715 | | min | 4804.725-4803.778=0.947 | | max | 4822.131-4806.235=15.896 |
| | mean | 2701.000-2449.000=252.000 | | σ | 0.000 | | min | 2701.000-2449.000=252.000 | | max | 2701.000-2449.000=252.000 |
| | mean | 8.775-8.881=-0.106 | | σ | 0.125-0.213=-0.089 | | min | 8.642-8.611=0.031 | | max | 8.943-9.106=-0.163 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.710-4994.775=0.936 | | σ | 0.135-0.180=-0.045 | | min | 4995.481-4994.575=0.905 | | max | 4995.809-4994.919=0.890 |
| | mean | 2955.000-2972.600=-17.600 | | σ | 306.585-446.317=-139.732 | | min | 2701.000-2476.000=225.000 | | max | 3426.000-3574.000=-148.000 |
| | mean | 8.430-8.664=-0.233 | | σ | 0.101-0.240=-0.139 | | min | 8.286-8.444=-0.157 | | max | 8.524-9.006=-0.482 |
|