iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.569=-0.003 | | σ | 0.007-0.006=0.001 | | min | 275.559-275.561=-0.002 | | max | 275.575-275.575=-0.000 |
| | mean | 2471.000-2779.000=-308.000 | | σ | 0.000 | | min | 2471.000-2779.000=-308.000 | | max | 2471.000-2779.000=-308.000 |
| | mean | 0.395-0.405=-0.010 | | σ | 0.009-0.012=-0.004 | | min | 0.388-0.395=-0.007 | | max | 0.406-0.422=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.104-2168.088=0.016 | | σ | 0.003-0.014=-0.011 | | min | 2168.099-2168.068=0.031 | | max | 2168.107-2168.104=0.002 |
| | mean | 2471.000-2779.000=-308.000 | | σ | 0.000 | | min | 2471.000-2779.000=-308.000 | | max | 2471.000-2779.000=-308.000 |
| | mean | 2.959-3.026=-0.067 | | σ | 0.151-0.136=0.015 | | min | 2.769-2.818=-0.049 | | max | 3.153-3.187=-0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.926-5047.934=-0.008 | | σ | 0.884-0.897=-0.012 | | min | 5047.390-5047.346=0.044 | | max | 5049.500-5049.501=-0.002 |
| | mean | 2471.000-2779.000=-308.000 | | σ | 0.000 | | min | 2471.000-2779.000=-308.000 | | max | 2471.000-2779.000=-308.000 |
| | mean | 8.781-9.191=-0.410 | | σ | 0.573-0.589=-0.016 | | min | 8.069-8.485=-0.416 | | max | 9.389-10.020=-0.631 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.037-5179.055=-0.018 | | σ | 0.079-0.084=-0.005 | | min | 5178.968-5178.969=-0.002 | | max | 5179.124-5179.149=-0.025 |
| | mean | 3219.400-3258.000=-38.600 | | σ | 389.498-354.970=34.528 | | min | 2684.000-2779.000=-95.000 | | max | 3707.000-3703.000=4.000 |
| | mean | 9.788-10.000=-0.212 | | σ | 0.198-0.259=-0.061 | | min | 9.584-9.577=0.006 | | max | 10.061-10.226=-0.165 |
|