iters=5 new-facts=1 prior-facts=1 | | mean | 272.110-272.113=-0.002 | | σ | 0.007-0.006=0.001 | | min | 272.101-272.103=-0.002 | | max | 272.117-272.119=-0.002 |
| | mean | 2902.000-2848.000=54.000 | | σ | 0.000 | | min | 2902.000-2848.000=54.000 | | max | 2902.000-2848.000=54.000 |
| | mean | 0.383-0.382=0.001 | | σ | 0.009-0.004=0.005 | | min | 0.375-0.379=-0.004 | | max | 0.398-0.389=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.540-1932.525=0.015 | | σ | 0.023-0.005=0.018 | | min | 1932.517-1932.517=0.000 | | max | 1932.566-1932.532=0.035 |
| | mean | 2902.000-2848.000=54.000 | | σ | 0.000 | | min | 2902.000-2848.000=54.000 | | max | 2902.000-2848.000=54.000 |
| | mean | 2.940-3.053=-0.112 | | σ | 0.274-0.117=0.157 | | min | 2.474-2.975=-0.501 | | max | 3.198-3.247=-0.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.158-4753.154=0.004 | | σ | 0.969-1.046=-0.077 | | min | 4752.288-4752.276=0.012 | | max | 4754.820-4754.961=-0.141 |
| | mean | 2902.000-2848.000=54.000 | | σ | 0.000 | | min | 2902.000-2848.000=54.000 | | max | 2902.000-2848.000=54.000 |
| | mean | 8.405-8.675=-0.270 | | σ | 0.520-0.666=-0.147 | | min | 7.543-7.649=-0.106 | | max | 8.830-9.406=-0.576 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.728-4943.730=-0.002 | | σ | 0.018-0.011=0.007 | | min | 4943.705-4943.713=-0.008 | | max | 4943.754-4943.744=0.010 |
| | mean | 3077.200-3055.600=21.600 | | σ | 199.230-224.323=-25.093 | | min | 2902.000-2848.000=54.000 | | max | 3388.000-3390.000=-2.000 |
| | mean | 8.672-8.574=0.098 | | σ | 0.245-0.178=0.067 | | min | 8.387-8.440=-0.053 | | max | 8.955-8.871=0.083 |
|