iters=5 new-facts=1 prior-facts=1 | | mean | 324.756-324.762=-0.007 | | σ | 0.055-0.055=-0.000 | | min | 324.658-324.664=-0.006 | | max | 324.791-324.794=-0.003 |
| | mean | 2839.000-2835.000=4.000 | | σ | 0.000 | | min | 2839.000-2835.000=4.000 | | max | 2839.000-2835.000=4.000 |
| | mean | 0.428-0.427=0.001 | | σ | 0.009-0.008=0.002 | | min | 0.421-0.421=-0.001 | | max | 0.444-0.440=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.326=-0.009 | | σ | 0.014-0.006=0.008 | | min | 1985.295-1985.318=-0.023 | | max | 1985.329-1985.334=-0.005 |
| | mean | 2839.000-2835.000=4.000 | | σ | 0.000 | | min | 2839.000-2835.000=4.000 | | max | 2839.000-2835.000=4.000 |
| | mean | 2.614-2.599=0.016 | | σ | 0.076-0.066=0.009 | | min | 2.538-2.523=0.016 | | max | 2.701-2.673=0.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.981-4808.983=-0.001 | | σ | 7.796-7.512=0.284 | | min | 4805.065-4805.557=-0.492 | | max | 4822.920-4822.421=0.499 |
| | mean | 2839.000-2835.000=4.000 | | σ | 0.000 | | min | 2839.000-2835.000=4.000 | | max | 2839.000-2835.000=4.000 |
| | mean | 8.823-9.061=-0.238 | | σ | 0.648-0.424=0.224 | | min | 7.727-8.663=-0.936 | | max | 9.389-9.753=-0.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.552-4996.558=-0.007 | | σ | 0.140-0.167=-0.026 | | min | 4996.303-4996.262=0.041 | | max | 4996.644-4996.653=-0.009 |
| | mean | 3072.400-3050.800=21.600 | | σ | 310.860-198.606=112.254 | | min | 2839.000-2835.000=4.000 | | max | 3553.000-3339.000=214.000 |
| | mean | 8.526-8.605=-0.079 | | σ | 0.147-0.151=-0.003 | | min | 8.410-8.443=-0.033 | | max | 8.780-8.787=-0.007 |
|