iters=5 new-facts=1 prior-facts=1 | | mean | 273.498-273.500=-0.002 | | σ | 0.006-0.009=-0.003 | | min | 273.493-273.489=0.004 | | max | 273.508-273.512=-0.004 |
| | mean | 2647.000-2854.000=-207.000 | | σ | 0.000 | | min | 2647.000-2854.000=-207.000 | | max | 2647.000-2854.000=-207.000 |
| | mean | 0.383-0.377=0.006 | | σ | 0.005-0.005=-0.000 | | min | 0.380-0.373=0.007 | | max | 0.391-0.386=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.893-1933.896=-0.004 | | σ | 0.005-0.014=-0.009 | | min | 1933.886-1933.880=0.007 | | max | 1933.899-1933.914=-0.016 |
| | mean | 2647.000-2854.000=-207.000 | | σ | 0.000 | | min | 2647.000-2854.000=-207.000 | | max | 2647.000-2854.000=-207.000 |
| | mean | 2.967-2.937=0.030 | | σ | 0.212-0.142=0.070 | | min | 2.698-2.717=-0.019 | | max | 3.192-3.067=0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.406-4754.713=-0.307 | | σ | 0.757-0.812=-0.055 | | min | 4753.616-4754.252=-0.637 | | max | 4755.661-4756.161=-0.499 |
| | mean | 2647.000-2854.000=-207.000 | | σ | 0.000 | | min | 2647.000-2854.000=-207.000 | | max | 2647.000-2854.000=-207.000 |
| | mean | 8.705-8.263=0.442 | | σ | 0.280-0.392=-0.111 | | min | 8.379-7.822=0.557 | | max | 8.963-8.704=0.259 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.121-4945.042=0.079 | | σ | 0.014-0.166=-0.152 | | min | 4945.105-4944.745=0.360 | | max | 4945.136-4945.124=0.013 |
| | mean | 3008.400-3063.400=-55.000 | | σ | 265.586-285.895=-20.309 | | min | 2647.000-2854.000=-207.000 | | max | 3306.000-3509.000=-203.000 |
| | mean | 8.576-8.446=0.129 | | σ | 0.160-0.136=0.024 | | min | 8.402-8.362=0.040 | | max | 8.735-8.680=0.055 |
|