iters=5 new-facts=1 prior-facts=1 | | mean | 278.695-278.694=0.001 | | σ | 0.013-0.013=0.000 | | min | 278.679-278.679=0.000 | | max | 278.711-278.711=0.000 |
| | mean | 2663.000-2667.000=-4.000 | | σ | 0.000 | | min | 2663.000-2667.000=-4.000 | | max | 2663.000-2667.000=-4.000 |
| | mean | 0.419-0.419=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.418=0.001 | | max | 0.420-0.420=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.834-2268.837=-0.003 | | σ | 0.009-0.014=-0.004 | | min | 2268.825-2268.818=0.007 | | max | 2268.845-2268.855=-0.010 |
| | mean | 2663.000-2667.000=-4.000 | | σ | 0.000 | | min | 2663.000-2667.000=-4.000 | | max | 2663.000-2667.000=-4.000 |
| | mean | 3.582-3.729=-0.147 | | σ | 0.173-0.332=-0.159 | | min | 3.408-3.437=-0.029 | | max | 3.816-4.273=-0.456 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.057-4956.067=-0.010 | | σ | 0.815-0.839=-0.024 | | min | 4955.630-4955.617=0.013 | | max | 4957.511-4957.561=-0.049 |
| | mean | 2663.000-2667.000=-4.000 | | σ | 0.000 | | min | 2663.000-2667.000=-4.000 | | max | 2663.000-2667.000=-4.000 |
| | mean | 7.831-8.139=-0.309 | | σ | 0.171-0.526=-0.354 | | min | 7.663-7.766=-0.103 | | max | 8.026-9.066=-1.040 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.698-5170.769=-0.071 | | σ | 0.222-0.075=0.146 | | min | 5170.323-5170.670=-0.348 | | max | 5170.851-5170.845=0.006 |
| | mean | 3421.800-3365.200=56.600 | | σ | 458.214-419.767=38.446 | | min | 2826.000-2939.000=-113.000 | | max | 4064.000-3778.000=286.000 |
| | mean | 9.303-9.089=0.214 | | σ | 0.359-0.295=0.065 | | min | 8.952-8.616=0.336 | | max | 9.684-9.397=0.287 |
|