iters=5 new-facts=1 prior-facts=1 | | mean | 280.215-326.632=-46.417 | | σ | 0.010-0.061=-0.052 | | min | 280.203-326.523=-46.320 | | max | 280.225-326.671=-46.445 |
| | mean | 1473.000-2760.000=-1287.000 | | σ | 0.000 | | min | 1473.000-2760.000=-1287.000 | | max | 1473.000-2760.000=-1287.000 |
| | mean | 0.370-0.429=-0.059 | | σ | 0.004-0.006=-0.002 | | min | 0.368-0.424=-0.057 | | max | 0.377-0.439=-0.062 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1280.283-1988.799=-708.516 | | σ | 0.124-0.015=0.109 | | min | 1280.214-1988.782=-708.568 | | max | 1280.502-1988.820=-708.318 |
| | mean | 1473.000-2760.000=-1287.000 | | σ | 0.000 | | min | 1473.000-2760.000=-1287.000 | | max | 1473.000-2760.000=-1287.000 |
| | mean | 1.841-2.679=-0.838 | | σ | 0.040-0.143=-0.103 | | min | 1.799-2.576=-0.777 | | max | 1.902-2.926=-1.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1802.580-4813.553=-3010.973 | | σ | 7.057-7.513=-0.455 | | min | 1799.178-4810.142=-3010.965 | | max | 1815.188-4826.992=-3011.804 |
| | mean | 1473.000-2760.000=-1287.000 | | σ | 0.000 | | min | 1473.000-2760.000=-1287.000 | | max | 1473.000-2760.000=-1287.000 |
| | mean | 4.305-8.923=-4.618 | | σ | 0.203-0.444=-0.242 | | min | 4.006-8.467=-4.461 | | max | 4.481-9.539=-5.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2065.010-5001.131=-2936.122 | | σ | 0.011-0.156=-0.146 | | min | 2065.002-5000.855=-2935.853 | | max | 2065.028-5001.231=-2936.203 |
| | mean | 1802.000-2989.200=-1187.200 | | σ | 195.974-228.327=-32.352 | | min | 1561.000-2760.000=-1199.000 | | max | 1993.000-3322.000=-1329.000 |
| | mean | 4.412-9.645=-5.234 | | σ | 0.087-0.182=-0.095 | | min | 4.329-9.460=-5.131 | | max | 4.532-9.901=-5.369 |
|