iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-277.194=-1.438 | | σ | 0.008-0.005=0.003 | | min | 275.746-277.189=-1.443 | | max | 275.766-277.200=-1.435 |
| | mean | 2503.000-2660.000=-157.000 | | σ | 0.000 | | min | 2503.000-2660.000=-157.000 | | max | 2503.000-2660.000=-157.000 |
| | mean | 0.406-0.397=0.009 | | σ | 0.020-0.007=0.013 | | min | 0.387-0.391=-0.004 | | max | 0.428-0.407=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.285-2174.445=-6.159 | | σ | 0.003-0.025=-0.022 | | min | 2168.282-2174.416=-6.134 | | max | 2168.289-2174.476=-6.187 |
| | mean | 2503.000-2660.000=-157.000 | | σ | 0.000 | | min | 2503.000-2660.000=-157.000 | | max | 2503.000-2660.000=-157.000 |
| | mean | 2.967-2.860=0.107 | | σ | 0.137-0.159=-0.022 | | min | 2.791-2.760=0.031 | | max | 3.120-3.141=-0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.983-5052.514=-4.531 | | σ | 1.055-1.068=-0.013 | | min | 5047.067-5051.646=-4.579 | | max | 5049.808-5054.364=-4.557 |
| | mean | 2503.000-2660.000=-157.000 | | σ | 0.000 | | min | 2503.000-2660.000=-157.000 | | max | 2503.000-2660.000=-157.000 |
| | mean | 8.854-8.755=0.100 | | σ | 0.490-0.646=-0.155 | | min | 8.085-8.154=-0.070 | | max | 9.343-9.598=-0.255 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.240-5188.421=-9.181 | | σ | 0.069-0.085=-0.016 | | min | 5179.175-5188.354=-9.179 | | max | 5179.315-5188.517=-9.202 |
| | mean | 3232.000-3214.000=18.000 | | σ | 392.249-468.632=-76.383 | | min | 2706.000-2660.000=46.000 | | max | 3750.000-3834.000=-84.000 |
| | mean | 10.201-8.755=1.447 | | σ | 0.546-0.161=0.385 | | min | 9.591-8.670=0.921 | | max | 10.978-9.042=1.936 |
|