iters=5 new-facts=1 prior-facts=1 | | mean | 271.954-271.957=-0.003 | | σ | 0.005-0.007=-0.002 | | min | 271.949-271.947=0.002 | | max | 271.961-271.965=-0.003 |
| | mean | 2616.000-2783.000=-167.000 | | σ | 0.000 | | min | 2616.000-2783.000=-167.000 | | max | 2616.000-2783.000=-167.000 |
| | mean | 0.381-0.390=-0.009 | | σ | 0.005-0.010=-0.005 | | min | 0.378-0.381=-0.003 | | max | 0.389-0.401=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.327-1932.329=-0.002 | | σ | 0.010-0.006=0.004 | | min | 1932.314-1932.322=-0.008 | | max | 1932.341-1932.338=0.003 |
| | mean | 2616.000-2783.000=-167.000 | | σ | 0.000 | | min | 2616.000-2783.000=-167.000 | | max | 2616.000-2783.000=-167.000 |
| | mean | 3.059-2.909=0.150 | | σ | 0.272-0.159=0.113 | | min | 2.656-2.733=-0.076 | | max | 3.318-3.070=0.248 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.945-4752.993=-0.048 | | σ | 0.988-0.609=0.379 | | min | 4752.162-4752.655=-0.493 | | max | 4754.675-4754.073=0.602 |
| | mean | 2616.000-2783.000=-167.000 | | σ | 0.000 | | min | 2616.000-2783.000=-167.000 | | max | 2616.000-2783.000=-167.000 |
| | mean | 8.601-8.433=0.167 | | σ | 0.433-0.516=-0.083 | | min | 7.868-7.574=0.294 | | max | 8.890-8.948=-0.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.489-4943.421=0.069 | | σ | 0.161-0.183=-0.022 | | min | 4943.203-4943.221=-0.018 | | max | 4943.571-4943.581=-0.010 |
| | mean | 2983.800-3005.000=-21.200 | | σ | 274.870-281.948=-7.077 | | min | 2616.000-2783.000=-167.000 | | max | 3322.000-3441.000=-119.000 |
| | mean | 8.527-8.553=-0.026 | | σ | 0.149-0.335=-0.186 | | min | 8.353-8.281=0.072 | | max | 8.737-9.037=-0.299 |
|