iters=5 new-facts=1 prior-facts=1 | | mean | 273.608-273.609=-0.001 | | σ | 0.006-0.007=-0.000 | | min | 273.598-273.599=-0.000 | | max | 273.614-273.615=-0.001 |
| | mean | 2852.000-2667.000=185.000 | | σ | 0.000 | | min | 2852.000-2667.000=185.000 | | max | 2852.000-2667.000=185.000 |
| | mean | 0.383-0.388=-0.005 | | σ | 0.004-0.011=-0.007 | | min | 0.381-0.380=0.001 | | max | 0.390-0.403=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.999-1933.995=0.004 | | σ | 0.007-0.003=0.005 | | min | 1933.991-1933.990=0.000 | | max | 1934.011-1933.997=0.014 |
| | mean | 2852.000-2667.000=185.000 | | σ | 0.000 | | min | 2852.000-2667.000=185.000 | | max | 2852.000-2667.000=185.000 |
| | mean | 2.949-3.101=-0.152 | | σ | 0.163-0.108=0.055 | | min | 2.676-2.999=-0.323 | | max | 3.092-3.232=-0.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.770-4754.614=0.156 | | σ | 0.849-0.651=0.198 | | min | 4754.287-4754.245=0.042 | | max | 4756.284-4755.776=0.508 |
| | mean | 2852.000-2667.000=185.000 | | σ | 0.000 | | min | 2852.000-2667.000=185.000 | | max | 2852.000-2667.000=185.000 |
| | mean | 8.472-8.859=-0.387 | | σ | 0.484-0.196=0.289 | | min | 7.654-8.604=-0.950 | | max | 8.925-9.134=-0.209 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.150-4945.230=-0.080 | | σ | 0.160-0.018=0.142 | | min | 4944.865-4945.208=-0.342 | | max | 4945.240-4945.256=-0.016 |
| | mean | 3011.600-3007.400=4.200 | | σ | 180.500-257.967=-77.467 | | min | 2852.000-2667.000=185.000 | | max | 3292.000-3307.000=-15.000 |
| | mean | 8.557-8.636=-0.078 | | σ | 0.132-0.159=-0.027 | | min | 8.387-8.464=-0.077 | | max | 8.756-8.894=-0.138 |
|