iters=5 new-facts=1 prior-facts=1 | | mean | 269.912-275.758=-5.846 | | σ | 0.006-0.010=-0.004 | | min | 269.902-275.744=-5.842 | | max | 269.918-275.768=-5.850 |
| | mean | 2488.000-2697.000=-209.000 | | σ | 0.000 | | min | 2488.000-2697.000=-209.000 | | max | 2488.000-2697.000=-209.000 |
| | mean | 0.381-0.404=-0.023 | | σ | 0.010-0.009=0.000 | | min | 0.371-0.397=-0.026 | | max | 0.391-0.415=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.398-2168.288=-237.890 | | σ | 0.008-0.002=0.006 | | min | 1930.391-2168.285=-237.894 | | max | 1930.410-2168.291=-237.881 |
| | mean | 2488.000-2697.000=-209.000 | | σ | 0.000 | | min | 2488.000-2697.000=-209.000 | | max | 2488.000-2697.000=-209.000 |
| | mean | 2.524-2.912=-0.387 | | σ | 0.104-0.173=-0.070 | | min | 2.440-2.632=-0.192 | | max | 2.699-3.059=-0.360 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.846-5048.002=-297.156 | | σ | 0.842-1.024=-0.182 | | min | 4750.323-5046.975=-296.652 | | max | 4752.343-5049.723=-297.380 |
| | mean | 2488.000-2697.000=-209.000 | | σ | 0.000 | | min | 2488.000-2697.000=-209.000 | | max | 2488.000-2697.000=-209.000 |
| | mean | 8.642-8.599=0.043 | | σ | 0.568-0.408=0.159 | | min | 7.697-8.058=-0.362 | | max | 9.046-9.023=0.023 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.335-5179.089=-237.754 | | σ | 0.088-0.286=-0.199 | | min | 4941.259-5178.586=-237.327 | | max | 4941.434-5179.306=-237.872 |
| | mean | 2987.200-3239.600=-252.400 | | σ | 281.327-398.563=-117.236 | | min | 2600.000-2697.000=-97.000 | | max | 3320.000-3748.000=-428.000 |
| | mean | 8.542-9.697=-1.155 | | σ | 0.090-0.653=-0.563 | | min | 8.461-8.688=-0.227 | | max | 8.681-10.439=-1.758 |
|