iters=5 new-facts=1 prior-facts=1 | | mean | 324.015-324.013=0.002 | | σ | 0.061-0.059=0.002 | | min | 323.906-323.907=-0.001 | | max | 324.047-324.045=0.003 |
| | mean | 2504.000-2772.000=-268.000 | | σ | 0.000 | | min | 2504.000-2772.000=-268.000 | | max | 2504.000-2772.000=-268.000 |
| | mean | 0.435-0.437=-0.002 | | σ | 0.015-0.010=0.005 | | min | 0.426-0.427=-0.000 | | max | 0.462-0.451=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.587-1984.587=0.000 | | σ | 0.019-0.021=-0.002 | | min | 1984.560-1984.557=0.003 | | max | 1984.607-1984.610=-0.004 |
| | mean | 2504.000-2772.000=-268.000 | | σ | 0.000 | | min | 2504.000-2772.000=-268.000 | | max | 2504.000-2772.000=-268.000 |
| | mean | 2.649-2.586=0.063 | | σ | 0.112-0.094=0.018 | | min | 2.556-2.465=0.090 | | max | 2.772-2.718=0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.117-4808.251=-0.134 | | σ | 7.577-7.784=-0.206 | | min | 4804.637-4804.687=-0.050 | | max | 4821.671-4822.174=-0.503 |
| | mean | 2504.000-2772.000=-268.000 | | σ | 0.000 | | min | 2504.000-2772.000=-268.000 | | max | 2504.000-2772.000=-268.000 |
| | mean | 8.816-8.905=-0.089 | | σ | 0.315-0.275=0.040 | | min | 8.454-8.707=-0.254 | | max | 9.117-9.362=-0.244 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.811-4995.807=0.004 | | σ | 0.013-0.019=-0.006 | | min | 4995.794-4995.788=0.007 | | max | 4995.826-4995.834=-0.009 |
| | mean | 2951.000-2991.400=-40.400 | | σ | 382.573-215.216=167.357 | | min | 2504.000-2772.000=-268.000 | | max | 3445.000-3308.000=137.000 |
| | mean | 9.010-8.573=0.437 | | σ | 0.449-0.096=0.353 | | min | 8.480-8.454=0.026 | | max | 9.677-8.697=0.981 |
|