iters=5 new-facts=1 prior-facts=1 | | mean | 270.610-277.195=-6.585 | | σ | 0.009-0.005=0.003 | | min | 270.597-277.188=-6.590 | | max | 270.618-277.202=-6.585 |
| | mean | 2766.000-2650.000=116.000 | | σ | 0.000 | | min | 2766.000-2650.000=116.000 | | max | 2766.000-2650.000=116.000 |
| | mean | 0.381-0.397=-0.016 | | σ | 0.010-0.008=0.003 | | min | 0.371-0.392=-0.021 | | max | 0.399-0.411=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.040-2174.430=-243.390 | | σ | 0.006-0.005=0.001 | | min | 1931.030-2174.425=-243.395 | | max | 1931.046-2174.436=-243.390 |
| | mean | 2766.000-2650.000=116.000 | | σ | 0.000 | | min | 2766.000-2650.000=116.000 | | max | 2766.000-2650.000=116.000 |
| | mean | 3.037-3.055=-0.017 | | σ | 0.073-0.146=-0.072 | | min | 2.974-2.809=0.165 | | max | 3.123-3.199=-0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.743-5052.638=-300.896 | | σ | 0.911-0.962=-0.050 | | min | 4751.293-5052.036=-300.743 | | max | 4753.371-5054.344=-300.973 |
| | mean | 2766.000-2650.000=116.000 | | σ | 0.000 | | min | 2766.000-2650.000=116.000 | | max | 2766.000-2650.000=116.000 |
| | mean | 8.669-8.698=-0.028 | | σ | 0.265-0.476=-0.211 | | min | 8.375-8.257=0.117 | | max | 8.949-9.409=-0.460 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.164-5188.420=-246.256 | | σ | 0.147-0.091=0.056 | | min | 4941.902-5188.349=-246.446 | | max | 4942.243-5188.521=-246.278 |
| | mean | 3053.200-3233.000=-179.800 | | σ | 248.886-385.841=-136.955 | | min | 2766.000-2696.000=70.000 | | max | 3409.000-3720.000=-311.000 |
| | mean | 8.617-8.992=-0.374 | | σ | 0.222-0.407=-0.186 | | min | 8.389-8.725=-0.336 | | max | 8.865-9.701=-0.836 |
|