iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-279.510=-3.943 | | σ | 0.005-0.007=-0.001 | | min | 275.561-279.501=-3.940 | | max | 275.574-279.518=-3.943 |
| | mean | 2719.000-2766.000=-47.000 | | σ | 0.000 | | min | 2719.000-2766.000=-47.000 | | max | 2719.000-2766.000=-47.000 |
| | mean | 0.392-0.412=-0.020 | | σ | 0.009-0.006=0.003 | | min | 0.386-0.406=-0.020 | | max | 0.408-0.419=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.098-2178.444=-10.346 | | σ | 0.004-0.007=-0.003 | | min | 2168.092-2178.438=-10.345 | | max | 2168.103-2178.456=-10.354 |
| | mean | 2719.000-2766.000=-47.000 | | σ | 0.000 | | min | 2719.000-2766.000=-47.000 | | max | 2719.000-2766.000=-47.000 |
| | mean | 2.987-3.307=-0.320 | | σ | 0.141-0.099=0.042 | | min | 2.794-3.218=-0.424 | | max | 3.150-3.477=-0.326 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.922-5056.261=-8.339 | | σ | 0.887-1.085=-0.198 | | min | 5047.346-5055.361=-8.015 | | max | 5049.490-5058.142=-8.653 |
| | mean | 2719.000-2766.000=-47.000 | | σ | 0.000 | | min | 2719.000-2766.000=-47.000 | | max | 2719.000-2766.000=-47.000 |
| | mean | 8.782-8.874=-0.092 | | σ | 0.521-0.673=-0.152 | | min | 8.127-8.028=0.099 | | max | 9.539-9.572=-0.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.043-5193.754=-14.711 | | σ | 0.084-0.093=-0.009 | | min | 5178.972-5193.679=-14.707 | | max | 5179.150-5193.859=-14.709 |
| | mean | 3223.600-3227.400=-3.800 | | σ | 375.960-359.140=16.819 | | min | 2719.000-2838.000=-119.000 | | max | 3702.000-3769.000=-67.000 |
| | mean | 9.807-8.725=1.082 | | σ | 0.261-0.128=0.133 | | min | 9.464-8.566=0.897 | | max | 10.057-8.912=1.145 |
|