iters=5 new-facts=1 prior-facts=1 | | mean | 266.776-271.643=-4.867 | | σ | 0.006-0.004=0.002 | | min | 266.767-271.639=-4.873 | | max | 266.783-271.648=-4.865 |
| | mean | 2660.000-2849.000=-189.000 | | σ | 0.000 | | min | 2660.000-2849.000=-189.000 | | max | 2660.000-2849.000=-189.000 |
| | mean | 0.364-0.384=-0.020 | | σ | 0.002-0.009=-0.007 | | min | 0.361-0.377=-0.016 | | max | 0.366-0.397=-0.032 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.210-1932.112=-4.902 | | σ | 0.010-0.007=0.003 | | min | 1927.197-1932.100=-4.904 | | max | 1927.223-1932.117=-4.893 |
| | mean | 2660.000-2849.000=-189.000 | | σ | 0.000 | | min | 2660.000-2849.000=-189.000 | | max | 2660.000-2849.000=-189.000 |
| | mean | 2.850-2.573=0.277 | | σ | 0.112-0.195=-0.083 | | min | 2.703-2.429=0.274 | | max | 3.002-2.913=0.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.655-4752.642=-4.986 | | σ | 0.849-0.770=0.079 | | min | 4746.898-4752.244=-5.346 | | max | 4749.112-4754.017=-4.904 |
| | mean | 2660.000-2849.000=-189.000 | | σ | 0.000 | | min | 2660.000-2849.000=-189.000 | | max | 2660.000-2849.000=-189.000 |
| | mean | 8.079-8.080=-0.001 | | σ | 0.304-0.272=0.033 | | min | 7.734-7.719=0.014 | | max | 8.503-8.397=0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.159-4943.041=-4.881 | | σ | 0.084-0.080=0.004 | | min | 4938.081-4942.961=-4.881 | | max | 4938.254-4943.128=-4.874 |
| | mean | 3003.800-3055.000=-51.200 | | σ | 383.304-266.493=116.811 | | min | 2660.000-2849.000=-189.000 | | max | 3554.000-3462.000=92.000 |
| | mean | 8.466-8.414=0.051 | | σ | 0.144-0.104=0.040 | | min | 8.339-8.345=-0.006 | | max | 8.642-8.588=0.054 |
|