iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-275.566=0.001 | | σ | 0.006-0.006=-0.000 | | min | 275.561-275.556=0.005 | | max | 275.577-275.572=0.005 |
| | mean | 2657.000-2841.000=-184.000 | | σ | 0.000 | | min | 2657.000-2841.000=-184.000 | | max | 2657.000-2841.000=-184.000 |
| | mean | 0.387-0.401=-0.014 | | σ | 0.002-0.008=-0.006 | | min | 0.386-0.395=-0.009 | | max | 0.391-0.414=-0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.091-2168.090=0.001 | | σ | 0.018-0.014=0.003 | | min | 2168.075-2168.070=0.006 | | max | 2168.116-2168.109=0.007 |
| | mean | 2657.000-2841.000=-184.000 | | σ | 0.000 | | min | 2657.000-2841.000=-184.000 | | max | 2657.000-2841.000=-184.000 |
| | mean | 3.080-2.873=0.207 | | σ | 0.275-0.171=0.105 | | min | 2.697-2.662=0.035 | | max | 3.457-3.072=0.385 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.914-5047.784=0.130 | | σ | 0.911-0.997=-0.086 | | min | 5047.339-5046.851=0.488 | | max | 5049.521-5049.479=0.042 |
| | mean | 2657.000-2841.000=-184.000 | | σ | 0.000 | | min | 2657.000-2841.000=-184.000 | | max | 2657.000-2841.000=-184.000 |
| | mean | 9.046-8.854=0.192 | | σ | 0.517-0.500=0.017 | | min | 8.199-8.085=0.113 | | max | 9.543-9.424=0.119 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.060-5178.973=0.087 | | σ | 0.077-0.204=-0.128 | | min | 5178.983-5178.642=0.341 | | max | 5179.155-5179.155=0.000 |
| | mean | 3267.800-3284.800=-17.000 | | σ | 422.039-408.374=13.665 | | min | 2669.000-2841.000=-172.000 | | max | 3655.000-3862.000=-207.000 |
| | mean | 10.191-9.715=0.476 | | σ | 0.263-0.619=-0.356 | | min | 9.915-8.700=1.215 | | max | 10.556-10.176=0.380 |
|