iters=5 new-facts=1 prior-facts=1 | | mean | 275.562-275.570=-0.008 | | σ | 0.006-0.004=0.002 | | min | 275.558-275.566=-0.008 | | max | 275.572-275.575=-0.003 |
| | mean | 2697.000-2775.000=-78.000 | | σ | 0.000 | | min | 2697.000-2775.000=-78.000 | | max | 2697.000-2775.000=-78.000 |
| | mean | 0.399-0.392=0.008 | | σ | 0.005-0.008=-0.002 | | min | 0.395-0.382=0.013 | | max | 0.408-0.399=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.080-2168.089=-0.009 | | σ | 0.013-0.020=-0.007 | | min | 2168.072-2168.070=0.001 | | max | 2168.102-2168.114=-0.012 |
| | mean | 2697.000-2775.000=-78.000 | | σ | 0.000 | | min | 2697.000-2775.000=-78.000 | | max | 2697.000-2775.000=-78.000 |
| | mean | 3.007-2.980=0.027 | | σ | 0.140-0.139=0.001 | | min | 2.789-2.752=0.038 | | max | 3.176-3.093=0.083 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.898-5047.892=0.006 | | σ | 0.907-0.882=0.025 | | min | 5047.374-5047.340=0.033 | | max | 5049.506-5049.449=0.058 |
| | mean | 2697.000-2775.000=-78.000 | | σ | 0.000 | | min | 2697.000-2775.000=-78.000 | | max | 2697.000-2775.000=-78.000 |
| | mean | 8.982-8.843=0.139 | | σ | 0.416-0.479=-0.063 | | min | 8.343-8.083=0.260 | | max | 9.501-9.295=0.206 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.047-5179.055=-0.008 | | σ | 0.082-0.089=-0.007 | | min | 5178.968-5178.968=0.000 | | max | 5179.149-5179.150=-0.002 |
| | mean | 3238.200-3326.400=-88.200 | | σ | 380.100-393.420=-13.320 | | min | 2702.000-2775.000=-73.000 | | max | 3699.000-3684.000=15.000 |
| | mean | 9.939-10.120=-0.181 | | σ | 0.263-0.331=-0.069 | | min | 9.479-9.665=-0.186 | | max | 10.134-10.566=-0.432 |
|