iters=5 new-facts=1 prior-facts=1 | | mean | 325.315-325.320=-0.005 | | σ | 0.055-0.047=0.008 | | min | 325.216-325.235=-0.019 | | max | 325.343-325.346=-0.003 |
| | mean | 2835.000-2838.000=-3.000 | | σ | 0.000 | | min | 2835.000-2838.000=-3.000 | | max | 2835.000-2838.000=-3.000 |
| | mean | 0.431-0.425=0.006 | | σ | 0.004-0.001=0.003 | | min | 0.428-0.423=0.004 | | max | 0.438-0.427=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.877-1985.869=0.008 | | σ | 0.011-0.019=-0.008 | | min | 1985.867-1985.841=0.026 | | max | 1985.894-1985.891=0.003 |
| | mean | 2835.000-2838.000=-3.000 | | σ | 0.000 | | min | 2835.000-2838.000=-3.000 | | max | 2835.000-2838.000=-3.000 |
| | mean | 2.777-2.755=0.022 | | σ | 0.126-0.127=-0.001 | | min | 2.637-2.667=-0.030 | | max | 2.964-2.961=0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.646-4809.652=-0.006 | | σ | 7.738-7.688=0.050 | | min | 4806.164-4806.121=0.043 | | max | 4823.488-4823.403=0.085 |
| | mean | 2835.000-2838.000=-3.000 | | σ | 0.000 | | min | 2835.000-2838.000=-3.000 | | max | 2835.000-2838.000=-3.000 |
| | mean | 8.953-8.544=0.410 | | σ | 0.339-0.492=-0.153 | | min | 8.399-7.979=0.421 | | max | 9.259-8.921=0.338 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.117-4997.107=0.010 | | σ | 0.170-0.169=0.001 | | min | 4996.814-4996.808=0.006 | | max | 4997.218-4997.211=0.007 |
| | mean | 3086.200-3073.600=12.600 | | σ | 265.547-311.286=-45.739 | | min | 2835.000-2838.000=-3.000 | | max | 3363.000-3556.000=-193.000 |
| | mean | 8.997-8.579=0.418 | | σ | 0.411-0.130=0.280 | | min | 8.606-8.489=0.117 | | max | 9.664-8.808=0.856 |
|