iters=5 new-facts=1 prior-facts=1 | | mean | 278.672-278.673=-0.001 | | σ | 0.014-0.012=0.001 | | min | 278.659-278.663=-0.004 | | max | 278.693-278.693=0.001 |
| | mean | 2599.000-2605.000=-6.000 | | σ | 0.000 | | min | 2599.000-2605.000=-6.000 | | max | 2599.000-2605.000=-6.000 |
| | mean | 0.421-0.423=-0.001 | | σ | 0.003-0.010=-0.007 | | min | 0.420-0.417=0.002 | | max | 0.426-0.440=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2268.839=0.007 | | σ | 0.003-0.016=-0.013 | | min | 2268.844-2268.811=0.033 | | max | 2268.851-2268.852=-0.001 |
| | mean | 2599.000-2605.000=-6.000 | | σ | 0.000 | | min | 2599.000-2605.000=-6.000 | | max | 2599.000-2605.000=-6.000 |
| | mean | 2.972-2.964=0.008 | | σ | 0.143-0.119=0.023 | | min | 2.893-2.884=0.009 | | max | 3.226-3.174=0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.324-4952.317=0.008 | | σ | 0.809-0.868=-0.059 | | min | 4951.867-4951.868=-0.001 | | max | 4953.769-4953.866=-0.097 |
| | mean | 2599.000-2605.000=-6.000 | | σ | 0.000 | | min | 2599.000-2605.000=-6.000 | | max | 2599.000-2605.000=-6.000 |
| | mean | 8.084-8.095=-0.011 | | σ | 0.230-0.270=-0.039 | | min | 7.832-7.712=0.120 | | max | 8.407-8.355=0.053 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.050-5166.979=0.071 | | σ | 0.014-0.162=-0.148 | | min | 5167.038-5166.690=0.348 | | max | 5167.072-5167.065=0.007 |
| | mean | 3414.600-3421.200=-6.600 | | σ | 463.377-458.573=4.804 | | min | 2761.000-2779.000=-18.000 | | max | 3977.000-3984.000=-7.000 |
| | mean | 9.310-9.268=0.042 | | σ | 0.240-0.353=-0.114 | | min | 9.070-8.745=0.325 | | max | 9.678-9.718=-0.040 |
|