iters=5 new-facts=1 prior-facts=1 | | mean | 324.581-324.581=0.001 | | σ | 0.057-0.057=-0.000 | | min | 324.479-324.479=0.001 | | max | 324.612-324.612=-0.000 |
| | mean | 2748.000-2839.000=-91.000 | | σ | 0.000 | | min | 2748.000-2839.000=-91.000 | | max | 2748.000-2839.000=-91.000 |
| | mean | 0.433-0.436=-0.003 | | σ | 0.009-0.010=-0.001 | | min | 0.427-0.424=0.002 | | max | 0.444-0.446=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.142-1985.142=-0.000 | | σ | 0.011-0.014=-0.003 | | min | 1985.124-1985.118=0.007 | | max | 1985.150-1985.151=-0.001 |
| | mean | 2748.000-2839.000=-91.000 | | σ | 0.000 | | min | 2748.000-2839.000=-91.000 | | max | 2748.000-2839.000=-91.000 |
| | mean | 2.652-2.616=0.036 | | σ | 0.123-0.107=0.016 | | min | 2.557-2.556=0.001 | | max | 2.830-2.806=0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.637-4808.780=-0.143 | | σ | 7.473-7.603=-0.130 | | min | 4805.270-4805.227=0.043 | | max | 4822.005-4822.379=-0.375 |
| | mean | 2748.000-2839.000=-91.000 | | σ | 0.000 | | min | 2748.000-2839.000=-91.000 | | max | 2748.000-2839.000=-91.000 |
| | mean | 9.060-8.560=0.500 | | σ | 0.224-0.606=-0.382 | | min | 8.816-7.729=1.087 | | max | 9.391-9.192=0.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.337-4996.335=0.003 | | σ | 0.019-0.028=-0.008 | | min | 4996.310-4996.307=0.002 | | max | 4996.358-4996.371=-0.013 |
| | mean | 3002.600-3066.600=-64.000 | | σ | 299.870-303.197=-3.327 | | min | 2748.000-2839.000=-91.000 | | max | 3449.000-3538.000=-89.000 |
| | mean | 8.496-8.504=-0.008 | | σ | 0.091-0.153=-0.062 | | min | 8.440-8.384=0.055 | | max | 8.656-8.771=-0.115 |
|