iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-275.566=0.189 | | σ | 0.008-0.003=0.005 | | min | 275.745-275.562=0.183 | | max | 275.765-275.570=0.196 |
| | mean | 2695.000-2470.000=225.000 | | σ | 0.000 | | min | 2695.000-2470.000=225.000 | | max | 2695.000-2470.000=225.000 |
| | mean | 0.404-0.393=0.012 | | σ | 0.011-0.010=0.002 | | min | 0.395-0.384=0.011 | | max | 0.418-0.405=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.279-2168.094=0.185 | | σ | 0.015-0.009=0.006 | | min | 2168.258-2168.083=0.175 | | max | 2168.297-2168.104=0.193 |
| | mean | 2695.000-2470.000=225.000 | | σ | 0.000 | | min | 2695.000-2470.000=225.000 | | max | 2695.000-2470.000=225.000 |
| | mean | 2.997-3.016=-0.019 | | σ | 0.144-0.179=-0.035 | | min | 2.757-2.784=-0.027 | | max | 3.114-3.278=-0.165 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.106-5047.903=0.203 | | σ | 0.943-0.919=0.024 | | min | 5047.601-5047.336=0.265 | | max | 5049.790-5049.538=0.252 |
| | mean | 2695.000-2470.000=225.000 | | σ | 0.000 | | min | 2695.000-2470.000=225.000 | | max | 2695.000-2470.000=225.000 |
| | mean | 8.940-9.038=-0.098 | | σ | 0.261-0.507=-0.246 | | min | 8.589-8.202=0.387 | | max | 9.319-9.518=-0.198 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.239-5178.979=0.260 | | σ | 0.091-0.187=-0.095 | | min | 5179.143-5178.669=0.473 | | max | 5179.344-5179.128=0.216 |
| | mean | 3232.600-3224.000=8.600 | | σ | 392.878-390.293=2.584 | | min | 2701.000-2663.000=38.000 | | max | 3741.000-3688.000=53.000 |
| | mean | 9.632-9.932=-0.299 | | σ | 0.775-0.219=0.556 | | min | 8.589-9.558=-0.969 | | max | 10.604-10.102=0.501 |
|