iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-275.757=-0.001 | | σ | 0.008-0.011=-0.003 | | min | 275.747-275.744=0.003 | | max | 275.765-275.769=-0.003 |
| | mean | 2486.000-2649.000=-163.000 | | σ | 0.000 | | min | 2486.000-2649.000=-163.000 | | max | 2486.000-2649.000=-163.000 |
| | mean | 0.402-0.401=0.001 | | σ | 0.009-0.009=-0.000 | | min | 0.394-0.394=0.000 | | max | 0.413-0.415=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.278-2168.274=0.005 | | σ | 0.018-0.036=-0.018 | | min | 2168.255-2168.213=0.042 | | max | 2168.297-2168.302=-0.006 |
| | mean | 2486.000-2649.000=-163.000 | | σ | 0.000 | | min | 2486.000-2649.000=-163.000 | | max | 2486.000-2649.000=-163.000 |
| | mean | 2.962-2.986=-0.024 | | σ | 0.136-0.114=0.021 | | min | 2.789-2.788=0.001 | | max | 3.117-3.078=0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.111-5048.098=0.013 | | σ | 0.914-0.963=-0.050 | | min | 5047.537-5047.515=0.022 | | max | 5049.732-5049.805=-0.073 |
| | mean | 2486.000-2649.000=-163.000 | | σ | 0.000 | | min | 2486.000-2649.000=-163.000 | | max | 2486.000-2649.000=-163.000 |
| | mean | 8.755-8.939=-0.184 | | σ | 0.466-0.489=-0.023 | | min | 8.051-8.178=-0.126 | | max | 9.296-9.376=-0.080 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.083-5179.248=-0.165 | | σ | 0.288-0.075=0.213 | | min | 5178.580-5179.179=-0.599 | | max | 5179.317-5179.341=-0.024 |
| | mean | 3268.200-3236.400=31.800 | | σ | 375.998-379.104=-3.106 | | min | 2735.000-2702.000=33.000 | | max | 3719.000-3695.000=24.000 |
| | mean | 9.575-10.064=-0.490 | | σ | 0.573-0.319=0.254 | | min | 8.614-9.549=-0.935 | | max | 10.041-10.412=-0.371 |
|