iters=5 new-facts=1 prior-facts=1 | | mean | 297.312-297.264=0.048 | | σ | 0.005-0.019=-0.014 | | min | 297.306-297.235=0.071 | | max | 297.319-297.280=0.039 |
| | mean | 1569.000-1611.000=-42.000 | | σ | 0.000 | | min | 1569.000-1611.000=-42.000 | | max | 1569.000-1611.000=-42.000 |
| | mean | 0.386-0.393=-0.006 | | σ | 0.006-0.008=-0.003 | | min | 0.380-0.386=-0.006 | | max | 0.393-0.407=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.674-1298.534=0.140 | | σ | 0.099-0.118=-0.019 | | min | 1298.502-1298.476=0.026 | | max | 1298.749-1298.745=0.005 |
| | mean | 1569.000-1611.000=-42.000 | | σ | 0.000 | | min | 1569.000-1611.000=-42.000 | | max | 1569.000-1611.000=-42.000 |
| | mean | 2.039-1.956=0.083 | | σ | 0.261-0.050=0.212 | | min | 1.851-1.925=-0.074 | | max | 2.491-2.043=0.449 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.873-1820.772=-101.899 | | σ | 6.916-7.035=-0.119 | | min | 1715.693-1817.376=-101.683 | | max | 1731.242-1833.341=-102.099 |
| | mean | 1569.000-1611.000=-42.000 | | σ | 0.000 | | min | 1569.000-1611.000=-42.000 | | max | 1569.000-1611.000=-42.000 |
| | mean | 2.925-4.201=-1.276 | | σ | 0.414-0.236=0.178 | | min | 2.520-3.904=-1.384 | | max | 3.623-4.442=-0.819 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.576-2083.376=-101.800 | | σ | 0.056-0.010=0.045 | | min | 1981.482-2083.365=-101.883 | | max | 1981.612-2083.391=-101.779 |
| | mean | 1765.800-1811.600=-45.800 | | σ | 162.209-186.905=-24.696 | | min | 1569.000-1611.000=-42.000 | | max | 1974.000-2062.000=-88.000 |
| | mean | 3.105-4.522=-1.417 | | σ | 0.131-0.097=0.034 | | min | 2.943-4.388=-1.445 | | max | 3.306-4.647=-1.341 |
|