iters=5 new-facts=1 prior-facts=1 | | mean | 279.530-279.534=-0.004 | | σ | 0.007-0.009=-0.002 | | min | 279.524-279.524=0.000 | | max | 279.539-279.544=-0.005 |
| | mean | 2738.000-2700.000=38.000 | | σ | 0.000 | | min | 2738.000-2700.000=38.000 | | max | 2738.000-2700.000=38.000 |
| | mean | 0.413-0.414=-0.000 | | σ | 0.008-0.009=-0.001 | | min | 0.407-0.406=0.001 | | max | 0.426-0.427=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.453-2178.457=-0.004 | | σ | 0.014-0.007=0.007 | | min | 2178.437-2178.449=-0.012 | | max | 2178.474-2178.468=0.006 |
| | mean | 2738.000-2700.000=38.000 | | σ | 0.000 | | min | 2738.000-2700.000=38.000 | | max | 2738.000-2700.000=38.000 |
| | mean | 3.275-3.277=-0.003 | | σ | 0.335-0.258=0.077 | | min | 2.785-2.933=-0.149 | | max | 3.726-3.566=0.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.158-5056.326=-0.168 | | σ | 1.259-1.174=0.085 | | min | 5055.226-5055.241=-0.015 | | max | 5058.295-5058.333=-0.038 |
| | mean | 2738.000-2700.000=38.000 | | σ | 0.000 | | min | 2738.000-2700.000=38.000 | | max | 2738.000-2700.000=38.000 |
| | mean | 8.982-8.645=0.336 | | σ | 0.257-0.612=-0.355 | | min | 8.746-8.123=0.623 | | max | 9.404-9.506=-0.103 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.800-5193.597=0.203 | | σ | 0.083-0.267=-0.184 | | min | 5193.704-5193.176=0.528 | | max | 5193.870-5193.857=0.012 |
| | mean | 3199.400-3236.400=-37.000 | | σ | 450.588-368.579=82.010 | | min | 2738.000-2716.000=22.000 | | max | 3825.000-3682.000=143.000 |
| | mean | 8.742-9.035=-0.293 | | σ | 0.119-0.402=-0.283 | | min | 8.660-8.735=-0.075 | | max | 8.942-9.712=-0.771 |
|