iters=5 new-facts=1 prior-facts=1 | | mean | 271.756-271.760=-0.004 | | σ | 0.008-0.010=-0.002 | | min | 271.746-271.751=-0.005 | | max | 271.767-271.776=-0.009 |
| | mean | 2782.000-2873.000=-91.000 | | σ | 0.000 | | min | 2782.000-2873.000=-91.000 | | max | 2782.000-2873.000=-91.000 |
| | mean | 0.381-0.382=-0.001 | | σ | 0.007-0.007=-0.000 | | min | 0.372-0.375=-0.003 | | max | 0.391-0.393=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.172-1932.175=-0.003 | | σ | 0.017-0.002=0.015 | | min | 1932.149-1932.173=-0.024 | | max | 1932.190-1932.177=0.013 |
| | mean | 2782.000-2873.000=-91.000 | | σ | 0.000 | | min | 2782.000-2873.000=-91.000 | | max | 2782.000-2873.000=-91.000 |
| | mean | 2.973-3.063=-0.090 | | σ | 0.118-0.115=0.003 | | min | 2.800-2.963=-0.163 | | max | 3.113-3.229=-0.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.875-4752.819=0.056 | | σ | 0.924-0.905=0.019 | | min | 4752.413-4752.136=0.277 | | max | 4754.526-4754.409=0.117 |
| | mean | 2782.000-2873.000=-91.000 | | σ | 0.000 | | min | 2782.000-2873.000=-91.000 | | max | 2782.000-2873.000=-91.000 |
| | mean | 8.882-8.346=0.536 | | σ | 0.310-0.445=-0.136 | | min | 8.444-7.611=0.833 | | max | 9.215-8.823=0.392 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.304-4943.243=0.060 | | σ | 0.168-0.191=-0.023 | | min | 4943.004-4943.024=-0.020 | | max | 4943.399-4943.395=0.005 |
| | mean | 3004.000-3054.400=-50.400 | | σ | 288.147-185.461=102.686 | | min | 2782.000-2873.000=-91.000 | | max | 3460.000-3324.000=136.000 |
| | mean | 8.384-8.490=-0.106 | | σ | 0.073-0.106=-0.033 | | min | 8.326-8.365=-0.039 | | max | 8.504-8.632=-0.128 |
|