iters=5 new-facts=1 prior-facts=1 | | mean | 279.555-279.555=0.000 | | σ | 0.004-0.008=-0.004 | | min | 279.552-279.544=0.008 | | max | 279.562-279.563=-0.002 |
| | mean | 2769.000-2759.000=10.000 | | σ | 0.000 | | min | 2769.000-2759.000=10.000 | | max | 2769.000-2759.000=10.000 |
| | mean | 0.407-0.410=-0.003 | | σ | 0.002-0.005=-0.004 | | min | 0.404-0.406=-0.002 | | max | 0.409-0.419=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.486-2178.481=0.004 | | σ | 0.016-0.015=0.001 | | min | 2178.466-2178.461=0.005 | | max | 2178.506-2178.494=0.012 |
| | mean | 2769.000-2759.000=10.000 | | σ | 0.000 | | min | 2769.000-2759.000=10.000 | | max | 2769.000-2759.000=10.000 |
| | mean | 3.290-3.293=-0.003 | | σ | 0.326-0.183=0.143 | | min | 2.771-3.014=-0.243 | | max | 3.643-3.468=0.174 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.318-5056.429=-0.111 | | σ | 1.124-0.982=0.142 | | min | 5055.235-5055.810=-0.576 | | max | 5058.225-5058.173=0.053 |
| | mean | 2769.000-2759.000=10.000 | | σ | 0.000 | | min | 2769.000-2759.000=10.000 | | max | 2769.000-2759.000=10.000 |
| | mean | 8.702-9.003=-0.301 | | σ | 0.631-0.627=0.004 | | min | 8.141-8.265=-0.124 | | max | 9.657-9.703=-0.046 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.733-5193.808=-0.075 | | σ | 0.122-0.088=0.034 | | min | 5193.559-5193.737=-0.178 | | max | 5193.904-5193.907=-0.003 |
| | mean | 3244.600-3291.600=-47.000 | | σ | 350.069-397.385=-47.316 | | min | 2769.000-2759.000=10.000 | | max | 3681.000-3667.000=14.000 |
| | mean | 8.840-9.028=-0.188 | | σ | 0.180-0.289=-0.110 | | min | 8.657-8.752=-0.095 | | max | 9.037-9.496=-0.459 |
|