iters=5 new-facts=1 prior-facts=1 | | mean | 324.703-324.702=0.001 | | σ | 0.056-0.057=-0.001 | | min | 324.602-324.601=0.002 | | max | 324.731-324.737=-0.006 |
| | mean | 2824.000-2829.000=-5.000 | | σ | 0.000 | | min | 2824.000-2829.000=-5.000 | | max | 2824.000-2829.000=-5.000 |
| | mean | 0.428-0.433=-0.005 | | σ | 0.009-0.008=0.001 | | min | 0.422-0.426=-0.004 | | max | 0.444-0.442=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.265-1985.247=0.018 | | σ | 0.014-0.028=-0.014 | | min | 1985.243-1985.203=0.040 | | max | 1985.280-1985.272=0.008 |
| | mean | 2824.000-2829.000=-5.000 | | σ | 0.000 | | min | 2824.000-2829.000=-5.000 | | max | 2824.000-2829.000=-5.000 |
| | mean | 2.625-2.646=-0.020 | | σ | 0.084-0.160=-0.076 | | min | 2.561-2.477=0.084 | | max | 2.768-2.884=-0.115 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.770-4808.765=0.006 | | σ | 7.769-7.787=-0.019 | | min | 4804.791-4804.806=-0.015 | | max | 4822.656-4822.687=-0.030 |
| | mean | 2824.000-2829.000=-5.000 | | σ | 0.000 | | min | 2824.000-2829.000=-5.000 | | max | 2824.000-2829.000=-5.000 |
| | mean | 8.790-8.894=-0.103 | | σ | 0.432-0.607=-0.175 | | min | 8.093-7.834=0.259 | | max | 9.193-9.356=-0.163 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.321-4996.459=-0.137 | | σ | 0.198-0.015=0.183 | | min | 4996.102-4996.442=-0.339 | | max | 4996.476-4996.476=0.000 |
| | mean | 3029.200-3067.800=-38.600 | | σ | 275.454-309.670=-34.216 | | min | 2824.000-2829.000=-5.000 | | max | 3447.000-3541.000=-94.000 |
| | mean | 8.426-8.578=-0.151 | | σ | 0.039-0.201=-0.162 | | min | 8.372-8.366=0.007 | | max | 8.476-8.875=-0.399 |
|