iters=5 new-facts=1 prior-facts=1 | | mean | 277.387-277.385=0.002 | | σ | 0.005-0.006=-0.001 | | min | 277.383-277.377=0.007 | | max | 277.396-277.393=0.003 |
| | mean | 2615.000-2624.000=-9.000 | | σ | 0.000 | | min | 2615.000-2624.000=-9.000 | | max | 2615.000-2624.000=-9.000 |
| | mean | 0.394-0.394=-0.000 | | σ | 0.001-0.005=-0.004 | | min | 0.393-0.391=0.003 | | max | 0.395-0.403=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.634-2174.626=0.008 | | σ | 0.012-0.010=0.002 | | min | 2174.624-2174.612=0.012 | | max | 2174.650-2174.640=0.010 |
| | mean | 2615.000-2624.000=-9.000 | | σ | 0.000 | | min | 2615.000-2624.000=-9.000 | | max | 2615.000-2624.000=-9.000 |
| | mean | 2.972-2.984=-0.012 | | σ | 0.147-0.126=0.021 | | min | 2.754-2.795=-0.041 | | max | 3.158-3.148=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.673-5052.780=-0.107 | | σ | 1.083-0.969=0.114 | | min | 5051.691-5052.172=-0.481 | | max | 5054.530-5054.485=0.045 |
| | mean | 2615.000-2624.000=-9.000 | | σ | 0.000 | | min | 2615.000-2624.000=-9.000 | | max | 2615.000-2624.000=-9.000 |
| | mean | 9.209-9.004=0.205 | | σ | 0.388-0.620=-0.233 | | min | 8.820-8.107=0.713 | | max | 9.692-9.631=0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.552-5188.600=-0.047 | | σ | 0.211-0.111=0.100 | | min | 5188.201-5188.457=-0.257 | | max | 5188.720-5188.716=0.004 |
| | mean | 3221.600-3223.600=-2.000 | | σ | 380.772-386.268=-5.496 | | min | 2685.000-2684.000=1.000 | | max | 3695.000-3708.000=-13.000 |
| | mean | 8.914-8.953=-0.039 | | σ | 0.285-0.426=-0.141 | | min | 8.693-8.676=0.017 | | max | 9.382-9.699=-0.317 |
|