iters=5 new-facts=1 prior-facts=1 | | mean | 324.766-278.699=46.067 | | σ | 0.053-0.012=0.042 | | min | 324.671-278.687=45.984 | | max | 324.794-278.715=46.078 |
| | mean | 2822.000-2651.000=171.000 | | σ | 0.000 | | min | 2822.000-2651.000=171.000 | | max | 2822.000-2651.000=171.000 |
| | mean | 0.431-0.416=0.015 | | σ | 0.010-0.002=0.007 | | min | 0.423-0.413=0.010 | | max | 0.442-0.419=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-2268.864=-283.547 | | σ | 0.022-0.006=0.015 | | min | 1985.297-2268.853=-283.557 | | max | 1985.343-2268.869=-283.526 |
| | mean | 2822.000-2651.000=171.000 | | σ | 0.000 | | min | 2822.000-2651.000=171.000 | | max | 2822.000-2651.000=171.000 |
| | mean | 2.636-3.054=-0.418 | | σ | 0.134-0.151=-0.017 | | min | 2.518-2.868=-0.350 | | max | 2.812-3.214=-0.402 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.120-4952.357=-143.237 | | σ | 7.705-0.789=6.917 | | min | 4805.573-4951.949=-146.375 | | max | 4822.903-4953.767=-130.864 |
| | mean | 2822.000-2651.000=171.000 | | σ | 0.000 | | min | 2822.000-2651.000=171.000 | | max | 2822.000-2651.000=171.000 |
| | mean | 8.833-7.896=0.937 | | σ | 0.473-0.193=0.281 | | min | 7.993-7.714=0.279 | | max | 9.127-8.163=0.964 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.626-5166.999=-170.372 | | σ | 0.024-0.165=-0.141 | | min | 4996.593-5166.706=-170.112 | | max | 4996.653-5167.096=-170.442 |
| | mean | 3054.400-3422.600=-368.200 | | σ | 303.324-478.771=-175.447 | | min | 2822.000-2877.000=-55.000 | | max | 3520.000-4136.000=-616.000 |
| | mean | 8.512-9.350=-0.838 | | σ | 0.122-0.480=-0.358 | | min | 8.410-8.517=-0.107 | | max | 8.723-9.725=-1.002 |
|