iters=5 new-facts=1 prior-facts=1 | | mean | 278.824-278.821=0.002 | | σ | 0.008-0.006=0.002 | | min | 278.810-278.815=-0.005 | | max | 278.830-278.831=-0.000 |
| | mean | 2691.000-2750.000=-59.000 | | σ | 0.000 | | min | 2691.000-2750.000=-59.000 | | max | 2691.000-2750.000=-59.000 |
| | mean | 0.411-0.412=-0.001 | | σ | 0.005-0.006=-0.001 | | min | 0.408-0.409=-0.001 | | max | 0.420-0.423=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875-2268.874=0.001 | | σ | 0.015-0.012=0.004 | | min | 2268.854-2268.855=-0.001 | | max | 2268.895-2268.886=0.009 |
| | mean | 2691.000-2750.000=-59.000 | | σ | 0.000 | | min | 2691.000-2750.000=-59.000 | | max | 2691.000-2750.000=-59.000 |
| | mean | 3.018-2.954=0.064 | | σ | 0.143-0.124=0.018 | | min | 2.933-2.840=0.093 | | max | 3.271-3.147=0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.118-4954.011=0.107 | | σ | 0.967-0.938=0.029 | | min | 4953.286-4953.406=-0.120 | | max | 4955.790-4955.653=0.137 |
| | mean | 2691.000-2750.000=-59.000 | | σ | 0.000 | | min | 2691.000-2750.000=-59.000 | | max | 2691.000-2750.000=-59.000 |
| | mean | 8.074-7.894=0.180 | | σ | 0.400-0.134=0.266 | | min | 7.685-7.722=-0.037 | | max | 8.714-8.046=0.667 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.722-5168.651=0.071 | | σ | 0.120-0.194=-0.074 | | min | 5168.536-5168.389=0.146 | | max | 5168.870-5168.878=-0.008 |
| | mean | 3413.000-3452.000=-39.000 | | σ | 448.939-483.676=-34.737 | | min | 2816.000-2860.000=-44.000 | | max | 3995.000-4148.000=-153.000 |
| | mean | 9.588-9.147=0.441 | | σ | 0.340-0.403=-0.063 | | min | 9.057-8.673=0.384 | | max | 9.967-9.682=0.284 |
|