iters=5 new-facts=1 prior-facts=1 | | mean | 271.617-271.614=0.002 | | σ | 0.009-0.008=0.001 | | min | 271.609-271.604=0.005 | | max | 271.631-271.626=0.005 |
| | mean | 2804.000-2717.000=87.000 | | σ | 0.000 | | min | 2804.000-2717.000=87.000 | | max | 2804.000-2717.000=87.000 |
| | mean | 0.377-0.374=0.003 | | σ | 0.007-0.007=0.000 | | min | 0.373-0.369=0.004 | | max | 0.390-0.386=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.047-1932.048=-0.001 | | σ | 0.010-0.012=-0.002 | | min | 1932.036-1932.038=-0.002 | | max | 1932.063-1932.068=-0.004 |
| | mean | 2804.000-2717.000=87.000 | | σ | 0.000 | | min | 2804.000-2717.000=87.000 | | max | 2804.000-2717.000=87.000 |
| | mean | 3.043-2.937=0.106 | | σ | 0.333-0.254=0.079 | | min | 2.528-2.500=0.029 | | max | 3.354-3.127=0.227 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.729-4752.835=-0.106 | | σ | 0.912-0.809=0.103 | | min | 4751.947-4752.407=-0.460 | | max | 4754.307-4754.278=0.029 |
| | mean | 2804.000-2717.000=87.000 | | σ | 0.000 | | min | 2804.000-2717.000=87.000 | | max | 2804.000-2717.000=87.000 |
| | mean | 8.074-8.016=0.059 | | σ | 0.293-0.378=-0.084 | | min | 7.819-7.683=0.136 | | max | 8.562-8.443=0.120 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.234-4943.227=0.007 | | σ | 0.018-0.024=-0.006 | | min | 4943.211-4943.201=0.010 | | max | 4943.248-4943.263=-0.014 |
| | mean | 3034.600-3026.800=7.800 | | σ | 281.376-359.442=-78.066 | | min | 2804.000-2717.000=87.000 | | max | 3455.000-3554.000=-99.000 |
| | mean | 8.591-8.346=0.244 | | σ | 0.326-0.167=0.159 | | min | 8.299-8.151=0.148 | | max | 9.063-8.562=0.501 |
|