iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.568=-0.002 | | σ | 0.007-0.004=0.002 | | min | 275.561-275.563=-0.003 | | max | 275.578-275.574=0.004 |
| | mean | 2651.000-2719.000=-68.000 | | σ | 0.000 | | min | 2651.000-2719.000=-68.000 | | max | 2651.000-2719.000=-68.000 |
| | mean | 0.391-0.394=-0.003 | | σ | 0.009-0.009=-0.000 | | min | 0.386-0.386=-0.001 | | max | 0.406-0.406=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099-2168.089=0.010 | | σ | 0.007-0.022=-0.015 | | min | 2168.091-2168.062=0.029 | | max | 2168.109-2168.116=-0.007 |
| | mean | 2651.000-2719.000=-68.000 | | σ | 0.000 | | min | 2651.000-2719.000=-68.000 | | max | 2651.000-2719.000=-68.000 |
| | mean | 2.968-2.826=0.141 | | σ | 0.164-0.152=0.012 | | min | 2.747-2.668=0.079 | | max | 3.153-3.058=0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.550-5047.921=-0.371 | | σ | 1.248-0.901=0.347 | | min | 5046.167-5047.345=-1.177 | | max | 5049.530-5049.521=0.009 |
| | mean | 2651.000-2719.000=-68.000 | | σ | 0.000 | | min | 2651.000-2719.000=-68.000 | | max | 2651.000-2719.000=-68.000 |
| | mean | 8.762-8.738=0.024 | | σ | 0.485-0.443=0.041 | | min | 8.135-8.239=-0.105 | | max | 9.272-9.290=-0.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.989-5178.962=0.027 | | σ | 0.207-0.208=-0.001 | | min | 5178.648-5178.617=0.031 | | max | 5179.172-5179.128=0.043 |
| | mean | 3212.000-3323.200=-111.200 | | σ | 386.003-463.013=-77.011 | | min | 2680.000-2719.000=-39.000 | | max | 3694.000-3937.000=-243.000 |
| | mean | 10.215-9.850=0.365 | | σ | 0.278-0.098=0.181 | | min | 9.961-9.723=0.237 | | max | 10.604-9.953=0.651 |
|