iters=5 new-facts=1 prior-facts=1 | | mean | 269.927-269.931=-0.004 | | σ | 0.008-0.009=-0.000 | | min | 269.918-269.919=-0.001 | | max | 269.940-269.941=-0.001 |
| | mean | 2851.000-2754.000=97.000 | | σ | 0.000 | | min | 2851.000-2754.000=97.000 | | max | 2851.000-2754.000=97.000 |
| | mean | 0.371-0.373=-0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.369-0.368=0.001 | | max | 0.379-0.380=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.402-1930.381=0.021 | | σ | 0.007-0.017=-0.010 | | min | 1930.396-1930.358=0.038 | | max | 1930.414-1930.399=0.015 |
| | mean | 2851.000-2754.000=97.000 | | σ | 0.000 | | min | 2851.000-2754.000=97.000 | | max | 2851.000-2754.000=97.000 |
| | mean | 2.513-2.523=-0.010 | | σ | 0.074-0.208=-0.135 | | min | 2.452-2.263=0.188 | | max | 2.639-2.827=-0.189 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.863-4750.848=0.015 | | σ | 0.892-0.774=0.119 | | min | 4750.310-4750.417=-0.107 | | max | 4752.451-4752.216=0.234 |
| | mean | 2851.000-2754.000=97.000 | | σ | 0.000 | | min | 2851.000-2754.000=97.000 | | max | 2851.000-2754.000=97.000 |
| | mean | 8.696-8.640=0.056 | | σ | 0.599-0.354=0.246 | | min | 7.641-8.175=-0.534 | | max | 9.078-9.117=-0.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.332-4941.331=0.001 | | σ | 0.089-0.085=0.004 | | min | 4941.262-4941.262=0.001 | | max | 4941.435-4941.425=0.010 |
| | mean | 3049.600-3033.800=15.800 | | σ | 201.604-255.516=-53.911 | | min | 2851.000-2754.000=97.000 | | max | 3326.000-3381.000=-55.000 |
| | mean | 8.477-8.556=-0.079 | | σ | 0.204-0.252=-0.048 | | min | 8.323-8.350=-0.027 | | max | 8.808-8.959=-0.151 |
|