iters=5 new-facts=1 prior-facts=1 | | mean | 324.778-324.571=0.208 | | σ | 0.033-0.037=-0.004 | | min | 324.722-324.509=0.213 | | max | 324.807-324.598=0.208 |
| | mean | 2830.000-2838.000=-8.000 | | σ | 0.000 | | min | 2830.000-2838.000=-8.000 | | max | 2830.000-2838.000=-8.000 |
| | mean | 0.423-0.431=-0.008 | | σ | 0.001-0.006=-0.005 | | min | 0.422-0.422=-0.000 | | max | 0.425-0.439=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.323-1985.139=0.184 | | σ | 0.015-0.014=0.001 | | min | 1985.306-1985.114=0.193 | | max | 1985.337-1985.150=0.187 |
| | mean | 2830.000-2838.000=-8.000 | | σ | 0.000 | | min | 2830.000-2838.000=-8.000 | | max | 2830.000-2838.000=-8.000 |
| | mean | 2.621-2.638=-0.017 | | σ | 0.054-0.089=-0.035 | | min | 2.573-2.572=0.001 | | max | 2.690-2.741=-0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.808-4808.787=0.021 | | σ | 7.790-7.625=0.165 | | min | 4804.837-4805.233=-0.396 | | max | 4822.735-4822.425=0.309 |
| | mean | 2830.000-2838.000=-8.000 | | σ | 0.000 | | min | 2830.000-2838.000=-8.000 | | max | 2830.000-2838.000=-8.000 |
| | mean | 8.712-8.720=-0.007 | | σ | 0.264-0.591=-0.328 | | min | 8.342-7.748=0.594 | | max | 9.044-9.178=-0.134 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.530-4996.343=0.187 | | σ | 0.025-0.016=0.009 | | min | 4996.504-4996.324=0.181 | | max | 4996.563-4996.361=0.201 |
| | mean | 3034.200-3061.400=-27.200 | | σ | 280.479-297.721=-17.242 | | min | 2830.000-2838.000=-8.000 | | max | 3475.000-3524.000=-49.000 |
| | mean | 8.489-8.518=-0.029 | | σ | 0.150-0.145=0.005 | | min | 8.370-8.416=-0.046 | | max | 8.750-8.772=-0.022 |
|