iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.726=0.032 | | σ | 0.009-0.002=0.007 | | min | 275.747-275.723=0.024 | | max | 275.769-275.728=0.040 |
| | mean | 2676.000-2848.000=-172.000 | | σ | 0.000 | | min | 2676.000-2848.000=-172.000 | | max | 2676.000-2848.000=-172.000 |
| | mean | 0.390-0.396=-0.007 | | σ | 0.003-0.009=-0.005 | | min | 0.387-0.387=0.000 | | max | 0.396-0.406=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.286-2168.288=-0.002 | | σ | 0.006-0.009=-0.002 | | min | 2168.276-2168.278=-0.002 | | max | 2168.293-2168.301=-0.008 |
| | mean | 2676.000-2848.000=-172.000 | | σ | 0.000 | | min | 2676.000-2848.000=-172.000 | | max | 2676.000-2848.000=-172.000 |
| | mean | 2.988-2.929=0.059 | | σ | 0.123-0.157=-0.034 | | min | 2.804-2.744=0.060 | | max | 3.132-3.079=0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.876-5048.000=-0.125 | | σ | 1.138-0.683=0.455 | | min | 5047.002-5047.541=-0.540 | | max | 5049.812-5049.210=0.603 |
| | mean | 2676.000-2848.000=-172.000 | | σ | 0.000 | | min | 2676.000-2848.000=-172.000 | | max | 2676.000-2848.000=-172.000 |
| | mean | 9.040-8.916=0.124 | | σ | 0.664-0.639=0.024 | | min | 7.923-8.052=-0.129 | | max | 9.540-9.699=-0.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.245-5179.020=0.225 | | σ | 0.080-0.158=-0.079 | | min | 5179.174-5178.835=0.339 | | max | 5179.344-5179.199=0.145 |
| | mean | 3233.200-3253.600=-20.400 | | σ | 395.369-343.871=51.498 | | min | 2695.000-2848.000=-153.000 | | max | 3740.000-3735.000=5.000 |
| | mean | 10.085-9.628=0.457 | | σ | 0.114-0.759=-0.644 | | min | 9.956-8.737=1.219 | | max | 10.242-10.413=-0.171 |
|