iters=5 new-facts=1 prior-facts=1 | | mean | 326.581-326.577=0.004 | | σ | 0.027-0.031=-0.004 | | min | 326.535-326.523=0.012 | | max | 326.606-326.597=0.009 |
| | mean | 2737.000-2611.000=126.000 | | σ | 0.000 | | min | 2737.000-2611.000=126.000 | | max | 2737.000-2611.000=126.000 |
| | mean | 0.421-0.422=-0.000 | | σ | 0.001-0.001=0.000 | | min | 0.421-0.421=-0.000 | | max | 0.423-0.423=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.740-1988.742=-0.002 | | σ | 0.014-0.009=0.004 | | min | 1988.723-1988.728=-0.005 | | max | 1988.754-1988.752=0.002 |
| | mean | 2737.000-2611.000=126.000 | | σ | 0.000 | | min | 2737.000-2611.000=126.000 | | max | 2737.000-2611.000=126.000 |
| | mean | 2.672-2.716=-0.043 | | σ | 0.054-0.053=0.001 | | min | 2.614-2.657=-0.042 | | max | 2.762-2.798=-0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.457-4813.402=0.056 | | σ | 7.767-7.183=0.584 | | min | 4809.546-4810.043=-0.497 | | max | 4827.344-4826.250=1.093 |
| | mean | 2737.000-2611.000=126.000 | | σ | 0.000 | | min | 2737.000-2611.000=126.000 | | max | 2737.000-2611.000=126.000 |
| | mean | 8.787-8.227=0.561 | | σ | 0.293-0.552=-0.260 | | min | 8.323-7.806=0.517 | | max | 9.072-9.112=-0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.157-5001.138=0.019 | | σ | 0.035-0.026=0.009 | | min | 5001.113-5001.105=0.008 | | max | 5001.200-5001.160=0.040 |
| | mean | 3014.800-2980.400=34.400 | | σ | 230.554-406.012=-175.458 | | min | 2737.000-2611.000=126.000 | | max | 3288.000-3554.000=-266.000 |
| | mean | 9.993-9.807=0.186 | | σ | 0.189-0.174=0.015 | | min | 9.674-9.574=0.100 | | max | 10.173-10.000=0.173 |
|