iters=5 new-facts=1 prior-facts=1 | | mean | 325.895-423.106=-97.211 | | σ | 0.040-0.076=-0.037 | | min | 325.826-422.970=-97.145 | | max | 325.926-423.146=-97.220 |
| | mean | 2828.000-2589.000=239.000 | | σ | 0.000 | | min | 2828.000-2589.000=239.000 | | max | 2828.000-2589.000=239.000 |
| | mean | 0.431-0.573=-0.143 | | σ | 0.007-0.002=0.005 | | min | 0.425-0.571=-0.146 | | max | 0.441-0.577=-0.136 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.062-2122.366=-134.304 | | σ | 0.008-0.043=-0.035 | | min | 1988.051-2122.291=-134.241 | | max | 1988.071-2122.402=-134.331 |
| | mean | 2828.000-2589.000=239.000 | | σ | 0.000 | | min | 2828.000-2589.000=239.000 | | max | 2828.000-2589.000=239.000 |
| | mean | 2.630-2.974=-0.344 | | σ | 0.115-0.214=-0.099 | | min | 2.481-2.687=-0.206 | | max | 2.774-3.206=-0.432 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4811.848-5110.326=-298.478 | | σ | 7.662-7.774=-0.112 | | min | 4808.319-5106.774=-298.455 | | max | 4825.553-5124.232=-298.679 |
| | mean | 2828.000-2589.000=239.000 | | σ | 0.000 | | min | 2828.000-2589.000=239.000 | | max | 2828.000-2589.000=239.000 |
| | mean | 8.515-9.485=-0.970 | | σ | 0.414-0.208=0.207 | | min | 7.807-9.178=-1.371 | | max | 8.861-9.742=-0.881 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.381-5295.537=-296.156 | | σ | 0.016-0.015=0.000 | | min | 4999.360-5295.518=-296.158 | | max | 4999.403-5295.554=-296.151 |
| | mean | 3037.600-3068.800=-31.200 | | σ | 210.851-395.863=-185.011 | | min | 2828.000-2589.000=239.000 | | max | 3322.000-3582.000=-260.000 |
| | mean | 9.790-9.166=0.623 | | σ | 0.407-0.168=0.239 | | min | 9.427-9.041=0.386 | | max | 10.439-9.462=0.976 |
|