iters=5 new-facts=1 prior-facts=1 | | mean | 270.605-270.240=0.365 | | σ | 0.003-0.008=-0.004 | | min | 270.601-270.231=0.370 | | max | 270.608-270.251=0.357 |
| | mean | 2777.000-2431.000=346.000 | | σ | 0.000 | | min | 2777.000-2431.000=346.000 | | max | 2777.000-2431.000=346.000 |
| | mean | 0.381-0.381=0.000 | | σ | 0.004-0.009=-0.005 | | min | 0.377-0.370=0.007 | | max | 0.387-0.395=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.051-1930.695=0.356 | | σ | 0.007-0.016=-0.009 | | min | 1931.045-1930.667=0.378 | | max | 1931.063-1930.708=0.355 |
| | mean | 2777.000-2431.000=346.000 | | σ | 0.000 | | min | 2777.000-2431.000=346.000 | | max | 2777.000-2431.000=346.000 |
| | mean | 2.934-2.544=0.389 | | σ | 0.176-0.130=0.047 | | min | 2.642-2.430=0.212 | | max | 3.102-2.740=0.362 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.792-4751.384=0.408 | | σ | 0.856-0.858=-0.002 | | min | 4751.313-4750.942=0.371 | | max | 4753.315-4752.917=0.398 |
| | mean | 2777.000-2431.000=346.000 | | σ | 0.000 | | min | 2777.000-2431.000=346.000 | | max | 2777.000-2431.000=346.000 |
| | mean | 8.441-8.607=-0.167 | | σ | 0.376-0.168=0.208 | | min | 7.906-8.481=-0.575 | | max | 8.911-8.882=0.029 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.166-4941.791=0.376 | | σ | 0.152-0.163=-0.011 | | min | 4941.895-4941.500=0.395 | | max | 4942.255-4941.883=0.372 |
| | mean | 3058.400-2890.400=168.000 | | σ | 263.824-394.468=-130.643 | | min | 2777.000-2431.000=346.000 | | max | 3431.000-3435.000=-4.000 |
| | mean | 8.679-8.384=0.295 | | σ | 0.238-0.046=0.192 | | min | 8.420-8.348=0.073 | | max | 9.032-8.460=0.572 |
|