iters=5 new-facts=1 prior-facts=1 | | mean | 343.136-343.136=0.000 | | σ | 0.068-0.070=-0.002 | | min | 343.014-343.012=0.002 | | max | 343.174-343.179=-0.005 |
| | mean | 2844.000-2836.000=8.000 | | σ | 0.000 | | min | 2844.000-2836.000=8.000 | | max | 2844.000-2836.000=8.000 |
| | mean | 0.438-0.442=-0.004 | | σ | 0.005-0.006=-0.001 | | min | 0.434-0.437=-0.003 | | max | 0.447-0.450=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2003.700-2003.698=0.003 | | σ | 0.014-0.021=-0.007 | | min | 2003.681-2003.670=0.011 | | max | 2003.713-2003.718=-0.004 |
| | mean | 2844.000-2836.000=8.000 | | σ | 0.000 | | min | 2844.000-2836.000=8.000 | | max | 2844.000-2836.000=8.000 |
| | mean | 2.726-2.668=0.057 | | σ | 0.168-0.148=0.019 | | min | 2.551-2.508=0.043 | | max | 2.968-2.849=0.119 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4827.423-4827.302=0.120 | | σ | 7.733-7.829=-0.095 | | min | 4823.753-4823.197=0.556 | | max | 4841.251-4841.290=-0.039 |
| | mean | 2844.000-2836.000=8.000 | | σ | 0.000 | | min | 2844.000-2836.000=8.000 | | max | 2844.000-2836.000=8.000 |
| | mean | 8.622-8.446=0.176 | | σ | 0.976-0.861=0.115 | | min | 7.779-7.774=0.005 | | max | 9.986-9.460=0.526 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5014.916-5014.772=0.144 | | σ | 0.031-0.336=-0.305 | | min | 5014.876-5014.171=0.705 | | max | 5014.953-5014.942=0.012 |
| | mean | 3059.000-3062.600=-3.600 | | σ | 288.020-296.872=-8.852 | | min | 2844.000-2836.000=8.000 | | max | 3505.000-3520.000=-15.000 |
| | mean | 8.496-8.492=0.003 | | σ | 0.101-0.116=-0.015 | | min | 8.365-8.375=-0.010 | | max | 8.635-8.667=-0.032 |
|