iters=5 new-facts=1 prior-facts=1 | | mean | 288.981-288.976=0.006 | | σ | 0.034-0.040=-0.005 | | min | 288.936-288.923=0.013 | | max | 289.017-289.019=-0.003 |
| | mean | 1477.000-1521.000=-44.000 | | σ | 0.000 | | min | 1477.000-1521.000=-44.000 | | max | 1477.000-1521.000=-44.000 |
| | mean | 0.403-0.393=0.010 | | σ | 0.010-0.009=0.000 | | min | 0.396-0.383=0.013 | | max | 0.419-0.404=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.358-1299.285=0.073 | | σ | 0.061-0.123=-0.063 | | min | 1299.287-1299.192=0.095 | | max | 1299.425-1299.492=-0.066 |
| | mean | 1477.000-1521.000=-44.000 | | σ | 0.000 | | min | 1477.000-1521.000=-44.000 | | max | 1477.000-1521.000=-44.000 |
| | mean | 2.125-1.904=0.221 | | σ | 0.073-0.179=-0.106 | | min | 2.025-1.797=0.228 | | max | 2.208-2.216=-0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1543.517-1543.528=-0.011 | | σ | 6.871-6.867=0.004 | | min | 1540.218-1540.267=-0.049 | | max | 1555.803-1555.808=-0.005 |
| | mean | 1477.000-1521.000=-44.000 | | σ | 0.000 | | min | 1477.000-1521.000=-44.000 | | max | 1477.000-1521.000=-44.000 |
| | mean | 2.324-2.295=0.029 | | σ | 0.195-0.174=0.021 | | min | 2.153-2.107=0.045 | | max | 2.621-2.548=0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1861.256-1861.282=-0.026 | | σ | 0.084-0.051=0.032 | | min | 1861.125-1861.222=-0.097 | | max | 1861.338-1861.337=0.000 |
| | mean | 1775.600-1732.800=42.800 | | σ | 215.744-219.210=-3.467 | | min | 1493.000-1521.000=-28.000 | | max | 1982.000-2045.000=-63.000 |
| | mean | 3.283-2.894=0.389 | | σ | 0.397-0.052=0.346 | | min | 2.879-2.842=0.037 | | max | 3.839-2.959=0.880 |
|