iters=5 new-facts=1 prior-facts=1 | | mean | 278.699-278.695=0.005 | | σ | 0.012-0.014=-0.002 | | min | 278.687-278.677=0.010 | | max | 278.715-278.709=0.006 |
| | mean | 2651.000-2611.000=40.000 | | σ | 0.000 | | min | 2651.000-2611.000=40.000 | | max | 2651.000-2611.000=40.000 |
| | mean | 0.416-0.420=-0.004 | | σ | 0.002-0.001=0.001 | | min | 0.413-0.418=-0.005 | | max | 0.419-0.421=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.864-2268.840=0.024 | | σ | 0.006-0.017=-0.011 | | min | 2268.853-2268.822=0.032 | | max | 2268.869-2268.864=0.005 |
| | mean | 2651.000-2611.000=40.000 | | σ | 0.000 | | min | 2651.000-2611.000=40.000 | | max | 2651.000-2611.000=40.000 |
| | mean | 3.054-3.303=-0.249 | | σ | 0.151-0.136=0.015 | | min | 2.868-3.144=-0.276 | | max | 3.214-3.491=-0.277 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.357-4955.921=-3.564 | | σ | 0.789-1.046=-0.257 | | min | 4951.949-4955.025=-3.076 | | max | 4953.767-4957.720=-3.954 |
| | mean | 2651.000-2611.000=40.000 | | σ | 0.000 | | min | 2651.000-2611.000=40.000 | | max | 2651.000-2611.000=40.000 |
| | mean | 7.896-8.126=-0.229 | | σ | 0.193-0.322=-0.130 | | min | 7.714-7.745=-0.031 | | max | 8.163-8.620=-0.457 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.999-5170.773=-3.774 | | σ | 0.165-0.084=0.081 | | min | 5166.706-5170.678=-3.972 | | max | 5167.096-5170.850=-3.754 |
| | mean | 3422.600-3454.200=-31.600 | | σ | 478.771-474.506=4.264 | | min | 2877.000-2839.000=38.000 | | max | 4136.000-4118.000=18.000 |
| | mean | 9.350-9.320=0.030 | | σ | 0.480-0.153=0.327 | | min | 8.517-9.107=-0.589 | | max | 9.725-9.459=0.266 |
|