iters=5 new-facts=1 prior-facts=1 | | mean | 303.801-301.475=2.326 | | σ | 0.034-0.057=-0.022 | | min | 303.762-301.382=2.379 | | max | 303.842-301.524=2.318 |
| | mean | 1633.000-1429.000=204.000 | | σ | 0.000 | | min | 1633.000-1429.000=204.000 | | max | 1633.000-1429.000=204.000 |
| | mean | 0.390-0.396=-0.005 | | σ | 0.002-0.007=-0.006 | | min | 0.389-0.391=-0.002 | | max | 0.393-0.409=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.326-1324.065=2.262 | | σ | 0.098-0.113=-0.014 | | min | 1326.191-1323.929=2.262 | | max | 1326.442-1324.209=2.233 |
| | mean | 1633.000-1429.000=204.000 | | σ | 0.000 | | min | 1633.000-1429.000=204.000 | | max | 1633.000-1429.000=204.000 |
| | mean | 2.037-1.878=0.159 | | σ | 0.159-0.055=0.104 | | min | 1.878-1.800=0.078 | | max | 2.264-1.931=0.333 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.413-1562.068=2.345 | | σ | 6.921-6.927=-0.006 | | min | 1561.088-1558.762=2.327 | | max | 1576.788-1574.455=2.333 |
| | mean | 1633.000-1429.000=204.000 | | σ | 0.000 | | min | 1633.000-1429.000=204.000 | | max | 1633.000-1429.000=204.000 |
| | mean | 2.420-2.269=0.151 | | σ | 0.284-0.256=0.028 | | min | 2.161-2.062=0.099 | | max | 2.887-2.668=0.218 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.289-1891.944=2.345 | | σ | 0.090-0.063=0.026 | | min | 1894.132-1891.855=2.277 | | max | 1894.356-1892.013=2.343 |
| | mean | 1780.000-1717.000=63.000 | | σ | 114.164-238.228=-124.063 | | min | 1633.000-1429.000=204.000 | | max | 1949.000-2037.000=-88.000 |
| | mean | 2.958-2.937=0.022 | | σ | 0.161-0.111=0.050 | | min | 2.819-2.866=-0.047 | | max | 3.216-3.133=0.083 |
|