iters=5 new-facts=1 prior-facts=1 | | mean | 326.646-326.635=0.011 | | σ | 0.030-0.051=-0.021 | | min | 326.596-326.546=0.050 | | max | 326.675-326.676=-0.001 |
| | mean | 2598.000-2587.000=11.000 | | σ | 0.000 | | min | 2598.000-2587.000=11.000 | | max | 2598.000-2587.000=11.000 |
| | mean | 0.428-0.424=0.004 | | σ | 0.004-0.001=0.003 | | min | 0.423-0.423=0.000 | | max | 0.435-0.426=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.797-1988.795=0.002 | | σ | 0.014-0.016=-0.002 | | min | 1988.781-1988.779=0.002 | | max | 1988.813-1988.812=0.001 |
| | mean | 2598.000-2587.000=11.000 | | σ | 0.000 | | min | 2598.000-2587.000=11.000 | | max | 2598.000-2587.000=11.000 |
| | mean | 2.653-2.663=-0.010 | | σ | 0.186-0.104=0.082 | | min | 2.389-2.567=-0.177 | | max | 2.896-2.837=0.059 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.365-4813.531=-0.166 | | σ | 7.937-7.788=0.149 | | min | 4809.531-4809.716=-0.185 | | max | 4827.552-4827.458=0.094 |
| | mean | 2598.000-2587.000=11.000 | | σ | 0.000 | | min | 2598.000-2587.000=11.000 | | max | 2598.000-2587.000=11.000 |
| | mean | 8.782-8.802=-0.021 | | σ | 0.747-0.531=0.216 | | min | 7.752-7.979=-0.227 | | max | 9.522-9.228=0.295 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.123-5001.061=0.062 | | σ | 0.153-0.183=-0.030 | | min | 5000.852-5000.857=-0.005 | | max | 5001.220-5001.205=0.016 |
| | mean | 2927.000-2943.400=-16.400 | | σ | 347.353-270.675=76.678 | | min | 2598.000-2587.000=11.000 | | max | 3434.000-3297.000=137.000 |
| | mean | 9.444-9.636=-0.192 | | σ | 0.576-0.565=0.011 | | min | 8.509-8.634=-0.125 | | max | 9.870-9.980=-0.110 |
|