iters=5 new-facts=1 prior-facts=1 | | mean | 324.584-324.587=-0.003 | | σ | 0.043-0.038=0.006 | | min | 324.507-324.523=-0.017 | | max | 324.607-324.623=-0.016 |
| | mean | 2431.000-2828.000=-397.000 | | σ | 0.000 | | min | 2431.000-2828.000=-397.000 | | max | 2431.000-2828.000=-397.000 |
| | mean | 0.423-0.421=0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.421-0.419=0.002 | | max | 0.424-0.423=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.138-1985.146=-0.009 | | σ | 0.016-0.004=0.012 | | min | 1985.110-1985.140=-0.030 | | max | 1985.152-1985.150=0.002 |
| | mean | 2431.000-2828.000=-397.000 | | σ | 0.000 | | min | 2431.000-2828.000=-397.000 | | max | 2431.000-2828.000=-397.000 |
| | mean | 2.831-2.576=0.254 | | σ | 0.269-0.065=0.203 | | min | 2.547-2.492=0.055 | | max | 3.150-2.646=0.504 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.624-4808.743=-0.119 | | σ | 7.396-7.662=-0.266 | | min | 4805.264-4805.239=0.024 | | max | 4821.855-4822.449=-0.594 |
| | mean | 2431.000-2828.000=-397.000 | | σ | 0.000 | | min | 2431.000-2828.000=-397.000 | | max | 2431.000-2828.000=-397.000 |
| | mean | 8.904-8.797=0.106 | | σ | 0.217-0.327=-0.110 | | min | 8.595-8.378=0.216 | | max | 9.180-9.107=0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.350-4996.350=-0.001 | | σ | 0.022-0.019=0.003 | | min | 4996.325-4996.330=-0.004 | | max | 4996.374-4996.377=-0.003 |
| | mean | 3013.000-3048.800=-35.800 | | σ | 413.898-200.053=213.845 | | min | 2459.000-2828.000=-369.000 | | max | 3532.000-3338.000=194.000 |
| | mean | 8.790-8.736=0.053 | | σ | 0.170-0.132=0.038 | | min | 8.602-8.582=0.020 | | max | 9.039-8.912=0.127 |
|