iters=5 new-facts=1 prior-facts=1 | | mean | 325.889-325.895=-0.006 | | σ | 0.052-0.040=0.012 | | min | 325.799-325.826=-0.027 | | max | 325.927-325.926=0.002 |
| | mean | 2835.000-2828.000=7.000 | | σ | 0.000 | | min | 2835.000-2828.000=7.000 | | max | 2835.000-2828.000=7.000 |
| | mean | 0.426-0.431=-0.005 | | σ | 0.007-0.007=-0.001 | | min | 0.419-0.425=-0.006 | | max | 0.437-0.441=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.065-1988.062=0.004 | | σ | 0.010-0.008=0.002 | | min | 1988.054-1988.051=0.003 | | max | 1988.079-1988.071=0.008 |
| | mean | 2835.000-2828.000=7.000 | | σ | 0.000 | | min | 2835.000-2828.000=7.000 | | max | 2835.000-2828.000=7.000 |
| | mean | 2.650-2.630=0.020 | | σ | 0.099-0.115=-0.016 | | min | 2.563-2.481=0.082 | | max | 2.816-2.774=0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4811.883-4811.848=0.035 | | σ | 7.711-7.662=0.049 | | min | 4808.273-4808.319=-0.046 | | max | 4825.674-4825.553=0.121 |
| | mean | 2835.000-2828.000=7.000 | | σ | 0.000 | | min | 2835.000-2828.000=7.000 | | max | 2835.000-2828.000=7.000 |
| | mean | 8.329-8.515=-0.186 | | σ | 0.744-0.414=0.330 | | min | 7.698-7.807=-0.109 | | max | 9.231-8.861=0.369 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.169-4999.381=-0.212 | | σ | 0.202-0.016=0.187 | | min | 4998.998-4999.360=-0.363 | | max | 4999.399-4999.403=-0.004 |
| | mean | 3038.000-3037.600=0.400 | | σ | 253.026-210.851=42.174 | | min | 2835.000-2828.000=7.000 | | max | 3412.000-3322.000=90.000 |
| | mean | 9.695-9.790=-0.095 | | σ | 0.263-0.407=-0.144 | | min | 9.270-9.427=-0.157 | | max | 9.987-10.439=-0.452 |
|