iters=5 new-facts=1 prior-facts=1 | | mean | 278.699-278.698=0.001 | | σ | 0.009-0.008=0.001 | | min | 278.685-278.684=0.001 | | max | 278.709-278.705=0.004 |
| | mean | 2589.000-2638.000=-49.000 | | σ | 0.000 | | min | 2589.000-2638.000=-49.000 | | max | 2589.000-2638.000=-49.000 |
| | mean | 0.420-0.420=0.001 | | σ | 0.000-0.001=-0.001 | | min | 0.420-0.419=0.001 | | max | 0.421-0.421=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.842-2268.848=-0.006 | | σ | 0.018-0.017=0.001 | | min | 2268.820-2268.822=-0.001 | | max | 2268.862-2268.862=-0.000 |
| | mean | 2589.000-2638.000=-49.000 | | σ | 0.000 | | min | 2589.000-2638.000=-49.000 | | max | 2589.000-2638.000=-49.000 |
| | mean | 3.354-3.509=-0.154 | | σ | 0.313-0.354=-0.041 | | min | 3.030-2.911=0.118 | | max | 3.805-3.795=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.023-4955.939=0.084 | | σ | 0.894-0.931=-0.038 | | min | 4955.562-4955.144=0.418 | | max | 4957.619-4957.553=0.066 |
| | mean | 2589.000-2638.000=-49.000 | | σ | 0.000 | | min | 2589.000-2638.000=-49.000 | | max | 2589.000-2638.000=-49.000 |
| | mean | 8.149-7.860=0.289 | | σ | 0.386-0.115=0.271 | | min | 7.736-7.669=0.067 | | max | 8.771-7.980=0.791 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.767-5170.771=-0.003 | | σ | 0.083-0.087=-0.004 | | min | 5170.675-5170.674=0.001 | | max | 5170.834-5170.841=-0.007 |
| | mean | 3378.800-3444.600=-65.800 | | σ | 462.806-470.320=-7.514 | | min | 2753.000-2893.000=-140.000 | | max | 3963.000-4125.000=-162.000 |
| | mean | 9.569-9.302=0.267 | | σ | 0.188-0.183=0.005 | | min | 9.323-8.992=0.332 | | max | 9.823-9.444=0.379 |
|