iters=5 new-facts=1 prior-facts=1 | | mean | 278.692-278.695=-0.003 | | σ | 0.014-0.014=0.000 | | min | 278.677-278.678=-0.001 | | max | 278.709-278.710=-0.001 |
| | mean | 2666.000-2610.000=56.000 | | σ | 0.000 | | min | 2666.000-2610.000=56.000 | | max | 2666.000-2610.000=56.000 |
| | mean | 0.419-0.419=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.417=0.000 | | max | 0.420-0.420=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.836-2268.834=0.001 | | σ | 0.012-0.016=-0.004 | | min | 2268.823-2268.823=0.001 | | max | 2268.849-2268.862=-0.013 |
| | mean | 2666.000-2610.000=56.000 | | σ | 0.000 | | min | 2666.000-2610.000=56.000 | | max | 2666.000-2610.000=56.000 |
| | mean | 3.536-3.501=0.035 | | σ | 0.120-0.137=-0.016 | | min | 3.395-3.365=0.029 | | max | 3.638-3.685=-0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.050-4956.032=0.018 | | σ | 0.821-0.914=-0.093 | | min | 4955.561-4955.495=0.066 | | max | 4957.512-4957.654=-0.142 |
| | mean | 2666.000-2610.000=56.000 | | σ | 0.000 | | min | 2666.000-2610.000=56.000 | | max | 2666.000-2610.000=56.000 |
| | mean | 7.903-8.048=-0.145 | | σ | 0.192-0.288=-0.095 | | min | 7.675-7.755=-0.081 | | max | 8.151-8.379=-0.228 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.694-5170.690=0.004 | | σ | 0.136-0.165=-0.029 | | min | 5170.484-5170.439=0.045 | | max | 5170.826-5170.854=-0.028 |
| | mean | 3425.400-3455.600=-30.200 | | σ | 486.313-454.001=32.313 | | min | 2849.000-2880.000=-31.000 | | max | 4148.000-4106.000=42.000 |
| | mean | 9.301-9.297=0.004 | | σ | 0.408-0.281=0.127 | | min | 8.602-9.059=-0.457 | | max | 9.624-9.623=0.001 |
|