iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-279.508=-2.315 | | σ | 0.008-0.005=0.003 | | min | 277.183-279.503=-2.319 | | max | 277.201-279.515=-2.314 |
| | mean | 2602.000-2804.000=-202.000 | | σ | 0.000 | | min | 2602.000-2804.000=-202.000 | | max | 2602.000-2804.000=-202.000 |
| | mean | 0.395-0.407=-0.012 | | σ | 0.009-0.006=0.004 | | min | 0.390-0.404=-0.014 | | max | 0.412-0.418=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.443-2178.446=-4.004 | | σ | 0.028-0.011=0.018 | | min | 2174.415-2178.434=-4.019 | | max | 2174.476-2178.462=-3.985 |
| | mean | 2602.000-2804.000=-202.000 | | σ | 0.000 | | min | 2602.000-2804.000=-202.000 | | max | 2602.000-2804.000=-202.000 |
| | mean | 3.002-3.388=-0.386 | | σ | 0.140-0.139=0.001 | | min | 2.772-3.208=-0.436 | | max | 3.102-3.552=-0.449 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.478-5056.280=-3.802 | | σ | 1.048-1.110=-0.062 | | min | 5051.854-5055.164=-3.310 | | max | 5054.342-5058.139=-3.797 |
| | mean | 2602.000-2804.000=-202.000 | | σ | 0.000 | | min | 2602.000-2804.000=-202.000 | | max | 2602.000-2804.000=-202.000 |
| | mean | 8.810-9.269=-0.459 | | σ | 0.574-0.651=-0.077 | | min | 8.132-8.234=-0.103 | | max | 9.427-10.000=-0.573 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.358-5193.690=-5.332 | | σ | 0.121-0.204=-0.083 | | min | 5188.177-5193.353=-5.176 | | max | 5188.516-5193.864=-5.348 |
| | mean | 3221.600-3247.400=-25.800 | | σ | 381.666-319.959=61.707 | | min | 2685.000-2804.000=-119.000 | | max | 3698.000-3676.000=22.000 |
| | mean | 8.964-9.155=-0.192 | | σ | 0.404-0.432=-0.028 | | min | 8.725-8.726=-0.002 | | max | 9.679-9.694=-0.015 |
|