iters=5 new-facts=1 prior-facts=1 | | mean | 284.692-303.526=-18.835 | | σ | 0.037-0.036=0.001 | | min | 284.643-303.479=-18.836 | | max | 284.732-303.571=-18.839 |
| | 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.400-0.387=0.013 | | σ | 0.012-0.001=0.011 | | min | 0.386-0.386=0.000 | | max | 0.411-0.388=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.081-1326.080=-31.000 | | σ | 0.114-0.133=-0.018 | | min | 1294.952-1325.903=-30.950 | | max | 1295.217-1326.232=-31.016 |
| | mean | 1646.000-1517.000=129.000 | | σ | 0.000 | | min | 1646.000-1517.000=129.000 | | max | 1646.000-1517.000=129.000 |
| | mean | 1.878-1.948=-0.069 | | σ | 0.079-0.112=-0.033 | | min | 1.788-1.838=-0.050 | | max | 1.982-2.136=-0.154 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.178-1564.107=-24.929 | | σ | 6.838-6.894=-0.056 | | min | 1535.897-1560.797=-24.900 | | max | 1551.407-1576.433=-25.026 |
| | 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.280-2.278=0.002 | | σ | 0.244-0.175=0.069 | | min | 2.050-2.126=-0.076 | | max | 2.640-2.570=0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.986-1894.006=-37.020 | | σ | 0.058-0.069=-0.011 | | min | 1856.929-1893.890=-36.961 | | max | 1857.065-1894.065=-37.000 |
| | mean | 1775.000-1740.200=34.800 | | σ | 128.639-171.319=-42.680 | | min | 1646.000-1517.000=129.000 | | max | 1906.000-1960.000=-54.000 |
| | mean | 3.077-2.924=0.153 | | σ | 0.303-0.074=0.229 | | min | 2.855-2.825=0.031 | | max | 3.605-2.997=0.608 |
|