iters=5 new-facts=1 prior-facts=1 | | mean | 324.589-324.017=0.572 | | σ | 0.041-0.042=-0.001 | | min | 324.517-323.943=0.574 | | max | 324.615-324.043=0.572 |
| | mean | 2830.000-2844.000=-14.000 | | σ | 0.000 | | min | 2830.000-2844.000=-14.000 | | max | 2830.000-2844.000=-14.000 |
| | mean | 0.423-0.430=-0.007 | | σ | 0.001-0.003=-0.002 | | min | 0.422-0.425=-0.003 | | max | 0.425-0.433=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.144-1984.581=0.564 | | σ | 0.005-0.018=-0.014 | | min | 1985.138-1984.563=0.575 | | max | 1985.150-1984.602=0.549 |
| | mean | 2830.000-2844.000=-14.000 | | σ | 0.000 | | min | 2830.000-2844.000=-14.000 | | max | 2830.000-2844.000=-14.000 |
| | mean | 2.592-2.589=0.004 | | σ | 0.050-0.050=-0.000 | | min | 2.540-2.521=0.018 | | max | 2.646-2.653=-0.006 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.740-4808.224=0.516 | | σ | 7.676-7.787=-0.111 | | min | 4805.235-4804.699=0.535 | | max | 4822.470-4822.154=0.316 |
| | mean | 2830.000-2844.000=-14.000 | | σ | 0.000 | | min | 2830.000-2844.000=-14.000 | | max | 2830.000-2844.000=-14.000 |
| | mean | 8.873-8.832=0.041 | | σ | 0.228-0.106=0.123 | | min | 8.504-8.738=-0.233 | | max | 9.098-9.009=0.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.273-4995.800=0.473 | | σ | 0.177-0.023=0.154 | | min | 4995.956-4995.779=0.178 | | max | 4996.365-4995.830=0.535 |
| | mean | 3048.600-3011.200=37.400 | | σ | 187.848-242.289=-54.442 | | min | 2830.000-2844.000=-14.000 | | max | 3312.000-3401.000=-89.000 |
| | mean | 8.642-8.610=0.032 | | σ | 0.209-0.155=0.054 | | min | 8.400-8.458=-0.057 | | max | 8.834-8.855=-0.020 |
|