iters=5 new-facts=1 prior-facts=1 | | mean | 275.756-275.756=0.000 | | σ | 0.008-0.009=-0.001 | | min | 275.749-275.744=0.004 | | max | 275.768-275.763=0.005 |
| | mean | 2644.000-2651.000=-7.000 | | σ | 0.000 | | min | 2644.000-2651.000=-7.000 | | max | 2644.000-2651.000=-7.000 |
| | mean | 0.405-0.406=-0.001 | | σ | 0.008-0.007=0.001 | | min | 0.398-0.398=0.001 | | max | 0.414-0.416=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.271-2168.282=-0.010 | | σ | 0.016-0.015=0.002 | | min | 2168.256-2168.261=-0.005 | | max | 2168.292-2168.302=-0.010 |
| | mean | 2644.000-2651.000=-7.000 | | σ | 0.000 | | min | 2644.000-2651.000=-7.000 | | max | 2644.000-2651.000=-7.000 |
| | mean | 2.869-2.857=0.013 | | σ | 0.126-0.200=-0.074 | | min | 2.753-2.653=0.099 | | max | 3.064-3.155=-0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.094-5048.151=-0.057 | | σ | 0.926-1.002=-0.076 | | min | 5047.592-5047.548=0.044 | | max | 5049.748-5049.921=-0.173 |
| | mean | 2644.000-2651.000=-7.000 | | σ | 0.000 | | min | 2644.000-2651.000=-7.000 | | max | 2644.000-2651.000=-7.000 |
| | mean | 8.752-8.745=0.007 | | σ | 0.384-0.515=-0.130 | | min | 8.117-7.898=0.220 | | max | 9.062-9.164=-0.102 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.157-5179.256=-0.098 | | σ | 0.191-0.098=0.093 | | min | 5178.846-5179.147=-0.301 | | max | 5179.322-5179.353=-0.030 |
| | mean | 3243.800-3259.800=-16.000 | | σ | 466.228-462.196=4.033 | | min | 2644.000-2655.000=-11.000 | | max | 3853.000-3877.000=-24.000 |
| | mean | 9.739-9.858=-0.119 | | σ | 0.242-0.266=-0.024 | | min | 9.562-9.510=0.052 | | max | 10.153-10.235=-0.083 |
|