iters=5 new-facts=1 prior-facts=1 | | mean | 272.110-272.095=0.015 | | σ | 0.004-0.015=-0.011 | | min | 272.103-272.079=0.024 | | max | 272.114-272.120=-0.006 |
| | mean | 2813.000-2885.000=-72.000 | | σ | 0.000 | | min | 2813.000-2885.000=-72.000 | | max | 2813.000-2885.000=-72.000 |
| | mean | 0.391-0.387=0.004 | | σ | 0.009-0.010=-0.002 | | min | 0.380-0.379=0.002 | | max | 0.399-0.403=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.534-1932.536=-0.001 | | σ | 0.014-0.005=0.010 | | min | 1932.520-1932.530=-0.011 | | max | 1932.554-1932.542=0.012 |
| | mean | 2813.000-2885.000=-72.000 | | σ | 0.000 | | min | 2813.000-2885.000=-72.000 | | max | 2813.000-2885.000=-72.000 |
| | mean | 2.958-2.948=0.010 | | σ | 0.176-0.203=-0.027 | | min | 2.674-2.630=0.044 | | max | 3.141-3.196=-0.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.194-4753.296=-0.102 | | σ | 0.993-0.822=0.171 | | min | 4752.371-4752.882=-0.511 | | max | 4754.914-4754.762=0.152 |
| | mean | 2813.000-2885.000=-72.000 | | σ | 0.000 | | min | 2813.000-2885.000=-72.000 | | max | 2813.000-2885.000=-72.000 |
| | mean | 8.393-8.350=0.042 | | σ | 0.420-0.310=0.110 | | min | 8.011-7.798=0.212 | | max | 9.057-8.531=0.526 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.737-4943.661=0.076 | | σ | 0.018-0.166=-0.148 | | min | 4943.715-4943.366=0.349 | | max | 4943.757-4943.753=0.004 |
| | mean | 3026.600-3074.600=-48.000 | | σ | 276.905-188.516=88.389 | | min | 2813.000-2885.000=-72.000 | | max | 3450.000-3323.000=127.000 |
| | mean | 8.523-8.606=-0.083 | | σ | 0.153-0.208=-0.054 | | min | 8.378-8.447=-0.070 | | max | 8.752-8.960=-0.208 |
|