iters=5 new-facts=1 prior-facts=1 | | mean | 278.694-278.699=-0.005 | | σ | 0.013-0.009=0.004 | | min | 278.679-278.685=-0.007 | | max | 278.711-278.709=0.002 |
| | mean | 2667.000-2589.000=78.000 | | σ | 0.000 | | min | 2667.000-2589.000=78.000 | | max | 2667.000-2589.000=78.000 |
| | mean | 0.419-0.420=-0.001 | | σ | 0.001-0.000=0.001 | | min | 0.418-0.420=-0.002 | | max | 0.420-0.421=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.837-2268.842=-0.005 | | σ | 0.014-0.018=-0.004 | | min | 2268.818-2268.820=-0.003 | | max | 2268.855-2268.862=-0.007 |
| | mean | 2667.000-2589.000=78.000 | | σ | 0.000 | | min | 2667.000-2589.000=78.000 | | max | 2667.000-2589.000=78.000 |
| | mean | 3.729-3.354=0.374 | | σ | 0.332-0.313=0.019 | | min | 3.437-3.030=0.408 | | max | 4.273-3.805=0.468 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.067-4956.023=0.044 | | σ | 0.839-0.894=-0.055 | | min | 4955.617-4955.562=0.055 | | max | 4957.561-4957.619=-0.058 |
| | mean | 2667.000-2589.000=78.000 | | σ | 0.000 | | min | 2667.000-2589.000=78.000 | | max | 2667.000-2589.000=78.000 |
| | mean | 8.139-8.149=-0.010 | | σ | 0.526-0.386=0.140 | | min | 7.766-7.736=0.029 | | max | 9.066-8.771=0.295 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.769-5170.767=0.002 | | σ | 0.075-0.083=-0.008 | | min | 5170.670-5170.675=-0.005 | | max | 5170.845-5170.834=0.011 |
| | mean | 3365.200-3378.800=-13.600 | | σ | 419.767-462.806=-43.039 | | min | 2939.000-2753.000=186.000 | | max | 3778.000-3963.000=-185.000 |
| | mean | 9.089-9.569=-0.480 | | σ | 0.295-0.188=0.107 | | min | 8.616-9.323=-0.707 | | max | 9.397-9.823=-0.426 |
|