iters=5 new-facts=1 prior-facts=1 | | mean | 271.927-269.377=2.550 | | σ | 0.007-0.003=0.004 | | min | 271.918-269.373=2.545 | | max | 271.934-269.380=2.554 |
| | mean | 2724.000-2503.000=221.000 | | σ | 0.000 | | min | 2724.000-2503.000=221.000 | | max | 2724.000-2503.000=221.000 |
| | mean | 0.384-0.378=0.005 | | σ | 0.008-0.004=0.004 | | min | 0.377-0.374=0.003 | | max | 0.396-0.383=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.330-1929.743=2.587 | | σ | 0.010-0.017=-0.007 | | min | 1932.318-1929.724=2.594 | | max | 1932.343-1929.769=2.575 |
| | mean | 2724.000-2503.000=221.000 | | σ | 0.000 | | min | 2724.000-2503.000=221.000 | | max | 2724.000-2503.000=221.000 |
| | mean | 2.997-3.011=-0.014 | | σ | 0.071-0.047=0.024 | | min | 2.894-2.979=-0.085 | | max | 3.094-3.094=-0.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.079-4750.525=2.554 | | σ | 0.943-0.873=0.070 | | min | 4752.514-4750.058=2.455 | | max | 4754.752-4752.080=2.672 |
| | mean | 2724.000-2503.000=221.000 | | σ | 0.000 | | min | 2724.000-2503.000=221.000 | | max | 2724.000-2503.000=221.000 |
| | mean | 8.688-8.425=0.264 | | σ | 0.493-0.480=0.013 | | min | 7.968-7.634=0.334 | | max | 9.242-8.874=0.368 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.557-4940.986=2.570 | | σ | 0.022-0.013=0.009 | | min | 4943.524-4940.969=2.555 | | max | 4943.575-4940.997=2.577 |
| | mean | 2996.600-2961.000=35.600 | | σ | 230.965-315.448=-84.483 | | min | 2724.000-2503.000=221.000 | | max | 3294.000-3348.000=-54.000 |
| | mean | 8.460-8.499=-0.039 | | σ | 0.121-0.106=0.015 | | min | 8.321-8.405=-0.084 | | max | 8.609-8.668=-0.059 |
|