iters=5 new-facts=1 prior-facts=1 | | mean | 324.021-324.012=0.009 | | σ | 0.038-0.053=-0.015 | | min | 323.952-323.917=0.035 | | max | 324.042-324.044=-0.002 |
| | mean | 2788.000-2852.000=-64.000 | | σ | 0.000 | | min | 2788.000-2852.000=-64.000 | | max | 2788.000-2852.000=-64.000 |
| | mean | 0.425-0.427=-0.002 | | σ | 0.001-0.001=0.000 | | min | 0.423-0.426=-0.002 | | max | 0.427-0.428=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.598-1984.596=0.002 | | σ | 0.006-0.005=0.000 | | min | 1984.591-1984.592=-0.001 | | max | 1984.605-1984.604=0.001 |
| | mean | 2788.000-2852.000=-64.000 | | σ | 0.000 | | min | 2788.000-2852.000=-64.000 | | max | 2788.000-2852.000=-64.000 |
| | mean | 2.576-2.565=0.011 | | σ | 0.100-0.095=0.005 | | min | 2.455-2.466=-0.011 | | max | 2.706-2.698=0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.231-4808.255=-0.024 | | σ | 7.722-7.745=-0.023 | | min | 4804.730-4804.688=0.042 | | max | 4822.045-4822.110=-0.065 |
| | mean | 2788.000-2852.000=-64.000 | | σ | 0.000 | | min | 2788.000-2852.000=-64.000 | | max | 2788.000-2852.000=-64.000 |
| | mean | 8.598-8.806=-0.208 | | σ | 0.178-0.310=-0.132 | | min | 8.310-8.508=-0.198 | | max | 8.759-9.269=-0.510 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.800-4995.805=-0.004 | | σ | 0.019-0.012=0.007 | | min | 4995.781-4995.791=-0.010 | | max | 4995.827-4995.819=0.007 |
| | mean | 3046.200-3047.200=-1.000 | | σ | 211.959-201.770=10.189 | | min | 2788.000-2852.000=-64.000 | | max | 3332.000-3338.000=-6.000 |
| | mean | 8.577-8.713=-0.136 | | σ | 0.202-0.134=0.068 | | min | 8.420-8.549=-0.129 | | max | 8.928-8.920=0.008 |
|