iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-275.571=0.184 | | σ | 0.011-0.008=0.002 | | min | 275.741-275.562=0.179 | | max | 275.767-275.581=0.186 |
| | mean | 2689.000-2850.000=-161.000 | | σ | 0.000 | | min | 2689.000-2850.000=-161.000 | | max | 2689.000-2850.000=-161.000 |
| | mean | 0.405-0.394=0.011 | | σ | 0.009-0.009=0.000 | | min | 0.398-0.387=0.011 | | max | 0.418-0.404=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.286-2168.101=0.185 | | σ | 0.006-0.004=0.002 | | min | 2168.277-2168.095=0.182 | | max | 2168.291-2168.107=0.185 |
| | mean | 2689.000-2850.000=-161.000 | | σ | 0.000 | | min | 2689.000-2850.000=-161.000 | | max | 2689.000-2850.000=-161.000 |
| | mean | 2.975-2.942=0.033 | | σ | 0.217-0.117=0.100 | | min | 2.682-2.768=-0.086 | | max | 3.258-3.049=0.210 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.149-5047.917=0.232 | | σ | 0.916-0.847=0.068 | | min | 5047.544-5047.362=0.181 | | max | 5049.774-5049.409=0.365 |
| | mean | 2689.000-2850.000=-161.000 | | σ | 0.000 | | min | 2689.000-2850.000=-161.000 | | max | 2689.000-2850.000=-161.000 |
| | mean | 8.761-8.736=0.024 | | σ | 0.539-0.503=0.036 | | min | 8.061-8.079=-0.018 | | max | 9.301-9.457=-0.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.229-5178.919=0.310 | | σ | 0.076-0.349=-0.273 | | min | 5179.143-5178.312=0.830 | | max | 5179.310-5179.158=0.152 |
| | mean | 3227.400-3251.200=-23.800 | | σ | 389.684-334.534=55.149 | | min | 2702.000-2850.000=-148.000 | | max | 3736.000-3706.000=30.000 |
| | mean | 9.771-10.198=-0.427 | | σ | 0.657-0.222=0.435 | | min | 8.728-9.927=-1.199 | | max | 10.438-10.463=-0.025 |
|