iters=5 new-facts=1 prior-facts=1 | | mean | 273.607-273.610=-0.003 | | σ | 0.008-0.002=0.006 | | min | 273.595-273.608=-0.014 | | max | 273.613-273.612=0.001 |
| | mean | 2833.000-2836.000=-3.000 | | σ | 0.000 | | min | 2833.000-2836.000=-3.000 | | max | 2833.000-2836.000=-3.000 |
| | mean | 0.384-0.383=0.002 | | σ | 0.002-0.002=0.000 | | min | 0.381-0.380=0.001 | | max | 0.386-0.385=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002-1934.007=-0.005 | | σ | 0.005-0.014=-0.009 | | min | 1933.994-1934.000=-0.006 | | max | 1934.008-1934.032=-0.024 |
| | mean | 2833.000-2836.000=-3.000 | | σ | 0.000 | | min | 2833.000-2836.000=-3.000 | | max | 2833.000-2836.000=-3.000 |
| | mean | 3.067-3.057=0.010 | | σ | 0.122-0.184=-0.061 | | min | 2.966-2.843=0.123 | | max | 3.205-3.312=-0.108 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.773-4754.779=-0.006 | | σ | 0.830-0.827=0.003 | | min | 4754.318-4754.209=0.109 | | max | 4756.250-4756.234=0.016 |
| | mean | 2833.000-2836.000=-3.000 | | σ | 0.000 | | min | 2833.000-2836.000=-3.000 | | max | 2833.000-2836.000=-3.000 |
| | mean | 8.433-8.544=-0.110 | | σ | 0.521-0.691=-0.171 | | min | 7.574-7.620=-0.047 | | max | 8.892-9.494=-0.602 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.225-4945.156=0.070 | | σ | 0.018-0.144=-0.126 | | min | 4945.204-4944.900=0.304 | | max | 4945.247-4945.249=-0.003 |
| | mean | 3039.200-3073.400=-34.200 | | σ | 209.810-240.070=-30.260 | | min | 2833.000-2836.000=-3.000 | | max | 3328.000-3316.000=12.000 |
| | mean | 8.632-8.787=-0.155 | | σ | 0.222-0.194=0.027 | | min | 8.366-8.512=-0.146 | | max | 8.927-8.980=-0.053 |
|