iters=5 new-facts=1 prior-facts=1 | | mean | 282.193-282.193=0.000 | | σ | 0.009-0.010=-0.001 | | min | 282.184-282.185=-0.001 | | max | 282.205-282.206=-0.001 |
| | mean | 2691.000-2719.000=-28.000 | | σ | 0.000 | | min | 2691.000-2719.000=-28.000 | | max | 2691.000-2719.000=-28.000 |
| | mean | 0.412-0.397=0.015 | | σ | 0.011-0.001=0.010 | | min | 0.405-0.395=0.009 | | max | 0.432-0.399=0.033 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.715-2174.711=0.003 | | σ | 0.012-0.013=-0.001 | | min | 2174.700-2174.693=0.008 | | max | 2174.729-2174.728=0.001 |
| | mean | 2691.000-2719.000=-28.000 | | σ | 0.000 | | min | 2691.000-2719.000=-28.000 | | max | 2691.000-2719.000=-28.000 |
| | mean | 2.926-2.969=-0.043 | | σ | 0.119-0.100=0.020 | | min | 2.770-2.809=-0.039 | | max | 3.048-3.067=-0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.536-5054.549=-0.014 | | σ | 0.963-0.979=-0.016 | | min | 5054.011-5053.962=0.049 | | max | 5056.250-5056.292=-0.042 |
| | mean | 2691.000-2719.000=-28.000 | | σ | 0.000 | | min | 2691.000-2719.000=-28.000 | | max | 2691.000-2719.000=-28.000 |
| | mean | 8.994-8.928=0.065 | | σ | 0.457-0.628=-0.171 | | min | 8.258-8.063=0.195 | | max | 9.425-9.688=-0.263 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.661-5185.681=-0.020 | | σ | 0.079-0.078=0.001 | | min | 5185.580-5185.616=-0.036 | | max | 5185.750-5185.781=-0.032 |
| | mean | 3234.400-3304.200=-69.800 | | σ | 392.210-443.498=-51.288 | | min | 2702.000-2719.000=-17.000 | | max | 3738.000-3730.000=8.000 |
| | mean | 9.616-10.079=-0.463 | | σ | 0.509-0.289=0.219 | | min | 8.746-9.700=-0.954 | | max | 10.065-10.451=-0.386 |
|