iters=5 new-facts=1 prior-facts=1 | | mean | 279.577-281.910=-2.333 | | σ | 0.010-0.007=0.003 | | min | 279.566-281.902=-2.336 | | max | 279.587-281.919=-2.332 |
| | mean | 2646.000-2604.000=42.000 | | σ | 0.000 | | min | 2646.000-2604.000=42.000 | | max | 2646.000-2604.000=42.000 |
| | mean | 0.412-0.404=0.008 | | σ | 0.005-0.005=-0.000 | | min | 0.409-0.400=0.009 | | max | 0.421-0.411=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2172.207-2176.113=-3.906 | | σ | 0.018-0.016=0.002 | | min | 2172.176-2176.103=-3.927 | | max | 2172.218-2176.141=-3.923 |
| | mean | 2646.000-2604.000=42.000 | | σ | 0.000 | | min | 2646.000-2604.000=42.000 | | max | 2646.000-2604.000=42.000 |
| | mean | 3.026-2.865=0.162 | | σ | 0.154-0.141=0.014 | | min | 2.795-2.750=0.045 | | max | 3.208-3.110=0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.048-4899.392=154.655 | | σ | 1.054-354.927=-353.872 | | min | 5053.212-4264.482=788.729 | | max | 5055.883-5059.636=-3.753 |
| | mean | 2646.000-2604.000=42.000 | | σ | 0.000 | | min | 2646.000-2604.000=42.000 | | max | 2646.000-2604.000=42.000 |
| | mean | 9.348-9.144=0.204 | | σ | 0.189-0.761=-0.573 | | min | 9.068-7.789=1.280 | | max | 9.527-9.593=-0.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5201.398-5206.459=-5.061 | | σ | 0.105-0.177=-0.072 | | min | 5201.292-5206.160=-4.868 | | max | 5201.508-5206.597=-5.089 |
| | mean | 3293.000-3141.800=151.200 | | σ | 412.667-453.662=-40.995 | | min | 2717.000-2604.000=113.000 | | max | 3671.000-3755.000=-84.000 |
| | mean | 10.143-9.913=0.230 | | σ | 0.293-0.351=-0.058 | | min | 9.677-9.499=0.178 | | max | 10.466-10.296=0.170 |
|