iters=5 new-facts=1 prior-facts=1 | | mean | 285.665-324.772=-39.107 | | σ | 0.021-0.036=-0.015 | | min | 285.632-324.710=-39.077 | | max | 285.685-324.804=-39.119 |
| | mean | 1598.000-2846.000=-1248.000 | | σ | 0.000 | | min | 1598.000-2846.000=-1248.000 | | max | 1598.000-2846.000=-1248.000 |
| | mean | 0.375-0.426=-0.050 | | σ | 0.001-0.007=-0.006 | | min | 0.374-0.421=-0.047 | | max | 0.376-0.439=-0.062 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.633-1985.319=-699.685 | | σ | 0.123-0.013=0.110 | | min | 1285.575-1985.308=-699.733 | | max | 1285.853-1985.339=-699.486 |
| | mean | 1598.000-2846.000=-1248.000 | | σ | 0.000 | | min | 1598.000-2846.000=-1248.000 | | max | 1598.000-2846.000=-1248.000 |
| | mean | 1.882-2.640=-0.758 | | σ | 0.059-0.125=-0.066 | | min | 1.808-2.521=-0.714 | | max | 1.956-2.824=-0.868 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.994-4809.078=-3001.084 | | σ | 6.998-7.717=-0.719 | | min | 1804.649-4805.576=-3000.927 | | max | 1820.499-4822.883=-3002.384 |
| | mean | 1598.000-2846.000=-1248.000 | | σ | 0.000 | | min | 1598.000-2846.000=-1248.000 | | max | 1598.000-2846.000=-1248.000 |
| | mean | 4.269-8.827=-4.557 | | σ | 0.171-0.262=-0.091 | | min | 4.078-8.434=-4.356 | | max | 4.481-9.063=-4.582 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.467-4996.626=-2926.159 | | σ | 0.011-0.028=-0.016 | | min | 2070.459-4996.592=-2926.133 | | max | 2070.485-4996.655=-2926.170 |
| | mean | 1851.800-3044.600=-1192.800 | | σ | 209.992-279.267=-69.274 | | min | 1598.000-2846.000=-1248.000 | | max | 2087.000-3486.000=-1399.000 |
| | mean | 4.541-8.516=-3.976 | | σ | 0.107-0.143=-0.036 | | min | 4.416-8.420=-4.005 | | max | 4.687-8.768=-4.081 |
|