iters=5 new-facts=1 prior-facts=1 | | mean | 303.801-303.505=0.296 | | σ | 0.034-0.072=-0.038 | | min | 303.762-303.388=0.374 | | max | 303.842-303.568=0.274 |
| | mean | 1633.000-1617.000=16.000 | | σ | 0.000 | | min | 1633.000-1617.000=16.000 | | max | 1633.000-1617.000=16.000 |
| | mean | 0.390-0.391=-0.001 | | σ | 0.002-0.001=0.001 | | min | 0.389-0.390=-0.001 | | max | 0.393-0.393=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.326-1326.062=0.264 | | σ | 0.098-0.109=-0.010 | | min | 1326.191-1325.931=0.260 | | max | 1326.442-1326.200=0.242 |
| | mean | 1633.000-1617.000=16.000 | | σ | 0.000 | | min | 1633.000-1617.000=16.000 | | max | 1633.000-1617.000=16.000 |
| | mean | 2.037-1.901=0.136 | | σ | 0.159-0.056=0.102 | | min | 1.878-1.849=0.030 | | max | 2.264-1.965=0.300 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.413-1564.122=0.291 | | σ | 6.921-6.930=-0.009 | | min | 1561.088-1560.824=0.264 | | max | 1576.788-1576.513=0.274 |
| | mean | 1633.000-1617.000=16.000 | | σ | 0.000 | | min | 1633.000-1617.000=16.000 | | max | 1633.000-1617.000=16.000 |
| | mean | 2.420-2.332=0.088 | | σ | 0.284-0.294=-0.010 | | min | 2.161-2.071=0.089 | | max | 2.887-2.748=0.139 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.289-1894.003=0.286 | | σ | 0.090-0.062=0.028 | | min | 1894.132-1893.894=0.238 | | max | 1894.356-1894.043=0.313 |
| | mean | 1780.000-1763.200=16.800 | | σ | 114.164-173.701=-59.537 | | min | 1633.000-1617.000=16.000 | | max | 1949.000-2032.000=-83.000 |
| | mean | 2.958-2.932=0.026 | | σ | 0.161-0.169=-0.008 | | min | 2.819-2.717=0.102 | | max | 3.216-3.160=0.056 |
|