iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.673=0.003 | | σ | 0.013-0.011=0.001 | | min | 278.659-278.663=-0.003 | | max | 278.688-278.691=-0.003 |
| | mean | 2607.000-2832.000=-225.000 | | σ | 0.000 | | min | 2607.000-2832.000=-225.000 | | max | 2607.000-2832.000=-225.000 |
| | mean | 0.423-0.420=0.003 | | σ | 0.009-0.001=0.008 | | min | 0.415-0.418=-0.003 | | max | 0.437-0.421=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.846-2268.832=0.014 | | σ | 0.010-0.023=-0.012 | | min | 2268.832-2268.802=0.030 | | max | 2268.859-2268.853=0.006 |
| | mean | 2607.000-2832.000=-225.000 | | σ | 0.000 | | min | 2607.000-2832.000=-225.000 | | max | 2607.000-2832.000=-225.000 |
| | mean | 2.985-3.204=-0.219 | | σ | 0.172-0.171=0.001 | | min | 2.825-2.920=-0.095 | | max | 3.210-3.347=-0.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.174-4952.070=0.104 | | σ | 0.863-0.873=-0.010 | | min | 4951.704-4951.236=0.468 | | max | 4953.714-4953.555=0.159 |
| | mean | 2607.000-2832.000=-225.000 | | σ | 0.000 | | min | 2607.000-2832.000=-225.000 | | max | 2607.000-2832.000=-225.000 |
| | mean | 7.962-7.793=0.169 | | σ | 0.274-0.193=0.081 | | min | 7.729-7.589=0.140 | | max | 8.400-8.069=0.331 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.900-5166.685=0.215 | | σ | 0.027-0.305=-0.278 | | min | 5166.883-5166.211=0.672 | | max | 5166.948-5166.892=0.055 |
| | mean | 3466.800-3338.200=128.600 | | σ | 465.017-439.730=25.287 | | min | 2888.000-2832.000=56.000 | | max | 4160.000-3779.000=381.000 |
| | mean | 9.433-9.223=0.210 | | σ | 0.376-0.144=0.232 | | min | 9.143-9.078=0.065 | | max | 10.065-9.464=0.601 |
|