iters=5 new-facts=1 prior-facts=1 | | mean | 269.377-273.607=-4.230 | | σ | 0.004-0.010=-0.006 | | min | 269.373-273.598=-4.225 | | max | 269.382-273.623=-4.241 |
| | mean | 2757.000-2785.000=-28.000 | | σ | 0.000 | | min | 2757.000-2785.000=-28.000 | | max | 2757.000-2785.000=-28.000 |
| | mean | 0.376-0.383=-0.007 | | σ | 0.005-0.004=0.001 | | min | 0.371-0.380=-0.009 | | max | 0.384-0.390=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.752-1933.997=-4.244 | | σ | 0.004-0.002=0.001 | | min | 1929.747-1933.993=-4.246 | | max | 1929.755-1933.999=-4.244 |
| | mean | 2757.000-2785.000=-28.000 | | σ | 0.000 | | min | 2757.000-2785.000=-28.000 | | max | 2757.000-2785.000=-28.000 |
| | mean | 3.083-3.054=0.029 | | σ | 0.104-0.116=-0.012 | | min | 2.989-2.915=0.075 | | max | 3.197-3.216=-0.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.378-4754.760=-4.382 | | σ | 0.931-0.837=0.094 | | min | 4749.631-4754.306=-4.674 | | max | 4752.005-4756.250=-4.245 |
| | mean | 2757.000-2785.000=-28.000 | | σ | 0.000 | | min | 2757.000-2785.000=-28.000 | | max | 2757.000-2785.000=-28.000 |
| | mean | 8.476-8.464=0.013 | | σ | 0.459-0.521=-0.062 | | min | 7.809-7.617=0.191 | | max | 8.925-8.948=-0.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.987-4945.153=-4.166 | | σ | 0.015-0.143=-0.127 | | min | 4940.968-4944.898=-3.931 | | max | 4941.000-4945.232=-4.232 |
| | mean | 3042.800-3034.800=8.000 | | σ | 239.603-255.453=-15.850 | | min | 2757.000-2785.000=-28.000 | | max | 3331.000-3398.000=-67.000 |
| | mean | 8.511-8.696=-0.185 | | σ | 0.123-0.300=-0.177 | | min | 8.373-8.419=-0.046 | | max | 8.683-9.118=-0.435 |
|