iters=5 new-facts=1 prior-facts=1 | | mean | 326.636-326.643=-0.007 | | σ | 0.054-0.035=0.020 | | min | 326.540-326.584=-0.044 | | max | 326.675-326.674=0.000 |
| | mean | 2833.000-2613.000=220.000 | | σ | 0.000 | | min | 2833.000-2613.000=220.000 | | max | 2833.000-2613.000=220.000 |
| | mean | 0.425-0.422=0.003 | | σ | 0.002-0.001=0.001 | | min | 0.422-0.421=0.002 | | max | 0.428-0.424=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.804-1988.798=0.007 | | σ | 0.011-0.019=-0.008 | | min | 1988.789-1988.769=0.020 | | max | 1988.820-1988.814=0.006 |
| | mean | 2833.000-2613.000=220.000 | | σ | 0.000 | | min | 2833.000-2613.000=220.000 | | max | 2833.000-2613.000=220.000 |
| | mean | 2.661-2.698=-0.037 | | σ | 0.081-0.109=-0.028 | | min | 2.556-2.607=-0.051 | | max | 2.779-2.887=-0.108 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.659-4813.657=0.003 | | σ | 7.717-7.755=-0.038 | | min | 4810.106-4810.173=-0.067 | | max | 4827.464-4827.529=-0.065 |
| | mean | 2833.000-2613.000=220.000 | | σ | 0.000 | | min | 2833.000-2613.000=220.000 | | max | 2833.000-2613.000=220.000 |
| | mean | 8.892-9.012=-0.120 | | σ | 0.334-0.384=-0.049 | | min | 8.479-8.515=-0.035 | | max | 9.262-9.561=-0.299 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.202-5001.074=0.128 | | σ | 0.029-0.337=-0.308 | | min | 5001.161-5000.472=0.689 | | max | 5001.230-5001.245=-0.015 |
| | mean | 3032.200-2958.800=73.400 | | σ | 205.982-266.533=-60.550 | | min | 2833.000-2613.000=220.000 | | max | 3323.000-3306.000=17.000 |
| | mean | 9.570-9.722=-0.152 | | σ | 0.646-0.586=0.061 | | min | 8.446-8.712=-0.266 | | max | 10.107-10.134=-0.027 |
|