iters=5 new-facts=1 prior-facts=1 | | mean | 271.758-271.756=0.002 | | σ | 0.009-0.008=0.000 | | min | 271.744-271.743=0.001 | | max | 271.767-271.766=0.001 |
| | mean | 2857.000-2765.000=92.000 | | σ | 0.000 | | min | 2857.000-2765.000=92.000 | | max | 2857.000-2765.000=92.000 |
| | mean | 0.386-0.385=0.000 | | σ | 0.004-0.011=-0.007 | | min | 0.380-0.379=0.001 | | max | 0.390-0.405=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.177-1932.171=0.006 | | σ | 0.009-0.004=0.004 | | min | 1932.170-1932.165=0.005 | | max | 1932.188-1932.176=0.011 |
| | mean | 2857.000-2765.000=92.000 | | σ | 0.000 | | min | 2857.000-2765.000=92.000 | | max | 2857.000-2765.000=92.000 |
| | mean | 3.059-3.026=0.033 | | σ | 0.143-0.060=0.083 | | min | 2.930-2.983=-0.053 | | max | 3.298-3.115=0.183 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.942-4752.838=0.103 | | σ | 0.912-1.022=-0.110 | | min | 4752.361-4751.959=0.402 | | max | 4754.544-4754.596=-0.052 |
| | mean | 2857.000-2765.000=92.000 | | σ | 0.000 | | min | 2857.000-2765.000=92.000 | | max | 2857.000-2765.000=92.000 |
| | mean | 8.300-8.411=-0.112 | | σ | 0.799-0.484=0.315 | | min | 7.476-7.980=-0.505 | | max | 9.214-9.173=0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.372-4943.380=-0.009 | | σ | 0.028-0.017=0.010 | | min | 4943.337-4943.364=-0.028 | | max | 4943.398-4943.401=-0.003 |
| | mean | 3060.600-3044.600=16.000 | | σ | 263.250-242.451=20.799 | | min | 2857.000-2765.000=92.000 | | max | 3465.000-3382.000=83.000 |
| | mean | 8.410-8.601=-0.191 | | σ | 0.130-0.237=-0.106 | | min | 8.253-8.361=-0.107 | | max | 8.596-8.894=-0.298 |
|