iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-303.787=-16.969 | | σ | 0.040-0.055=-0.015 | | min | 286.765-303.700=-16.935 | | max | 286.862-303.841=-16.979 |
| | mean | 1646.000-1517.000=129.000 | | σ | 0.000 | | min | 1646.000-1517.000=129.000 | | max | 1646.000-1517.000=129.000 |
| | mean | 0.396-0.395=0.000 | | σ | 0.007-0.005=0.002 | | min | 0.388-0.391=-0.003 | | max | 0.402-0.401=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.280-1326.325=-29.045 | | σ | 0.071-0.103=-0.032 | | min | 1297.200-1326.203=-29.003 | | max | 1297.377-1326.476=-29.099 |
| | mean | 1646.000-1517.000=129.000 | | σ | 0.000 | | min | 1646.000-1517.000=129.000 | | max | 1646.000-1517.000=129.000 |
| | mean | 2.230-1.964=0.266 | | σ | 0.070-0.145=-0.074 | | min | 2.159-1.831=0.328 | | max | 2.335-2.172=0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.336-1564.391=-23.055 | | σ | 6.811-6.957=-0.147 | | min | 1538.117-1561.046=-22.929 | | max | 1553.516-1576.831=-23.315 |
| | mean | 1646.000-1517.000=129.000 | | σ | 0.000 | | min | 1646.000-1517.000=129.000 | | max | 1646.000-1517.000=129.000 |
| | mean | 2.203-2.386=-0.183 | | σ | 0.072-0.427=-0.355 | | min | 2.132-2.105=0.027 | | max | 2.322-3.137=-0.814 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1894.290=-35.173 | | σ | 0.068-0.074=-0.006 | | min | 1859.035-1894.158=-35.124 | | max | 1859.194-1894.334=-35.140 |
| | mean | 1798.000-1759.600=38.400 | | σ | 158.569-151.761=6.808 | | min | 1646.000-1529.000=117.000 | | max | 1962.000-1951.000=11.000 |
| | mean | 2.977-2.946=0.032 | | σ | 0.138-0.188=-0.050 | | min | 2.831-2.683=0.147 | | max | 3.171-3.193=-0.023 |
|