iters=5 new-facts=1 prior-facts=1 | | mean | 271.621-271.615=0.006 | | σ | 0.005-0.006=-0.001 | | min | 271.613-271.607=0.005 | | max | 271.625-271.621=0.004 |
| | mean | 2608.000-2708.000=-100.000 | | σ | 0.000 | | min | 2608.000-2708.000=-100.000 | | max | 2608.000-2708.000=-100.000 |
| | mean | 0.388-0.380=0.008 | | σ | 0.012-0.000=0.011 | | min | 0.379-0.379=-0.000 | | max | 0.405-0.381=0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.039-1932.039=0.000 | | σ | 0.007-0.012=-0.005 | | min | 1932.028-1932.021=0.007 | | max | 1932.046-1932.055=-0.009 |
| | mean | 2608.000-2708.000=-100.000 | | σ | 0.000 | | min | 2608.000-2708.000=-100.000 | | max | 2608.000-2708.000=-100.000 |
| | mean | 2.979-3.014=-0.036 | | σ | 0.158-0.078=0.079 | | min | 2.742-2.937=-0.195 | | max | 3.142-3.108=0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.629-4752.799=-0.170 | | σ | 0.650-0.864=-0.214 | | min | 4752.289-4752.314=-0.025 | | max | 4753.787-4754.338=-0.551 |
| | mean | 2608.000-2708.000=-100.000 | | σ | 0.000 | | min | 2608.000-2708.000=-100.000 | | max | 2608.000-2708.000=-100.000 |
| | mean | 8.533-8.525=0.009 | | σ | 0.450-0.339=0.110 | | min | 8.004-7.988=0.016 | | max | 8.904-8.930=-0.026 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.229-4943.230=-0.000 | | σ | 0.016-0.022=-0.006 | | min | 4943.214-4943.205=0.010 | | max | 4943.251-4943.259=-0.008 |
| | mean | 2948.000-2977.200=-29.200 | | σ | 345.924-229.933=115.991 | | min | 2608.000-2708.000=-100.000 | | max | 3442.000-3304.000=138.000 |
| | mean | 8.438-8.483=-0.045 | | σ | 0.163-0.109=0.054 | | min | 8.309-8.317=-0.008 | | max | 8.722-8.577=0.145 |
|