iters=5 new-facts=1 prior-facts=1 | | mean | 273.404-275.757=-2.353 | | σ | 0.010-0.008=0.002 | | min | 273.395-275.747=-2.352 | | max | 273.414-275.765=-2.351 |
| | mean | 2510.000-2486.000=24.000 | | σ | 0.000 | | min | 2510.000-2486.000=24.000 | | max | 2510.000-2486.000=24.000 |
| | mean | 0.387-0.402=-0.015 | | σ | 0.008-0.009=-0.001 | | min | 0.378-0.394=-0.017 | | max | 0.395-0.413=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839-2168.278=-234.440 | | σ | 0.008-0.018=-0.010 | | min | 1933.828-2168.255=-234.428 | | max | 1933.848-2168.297=-234.449 |
| | mean | 2510.000-2486.000=24.000 | | σ | 0.000 | | min | 2510.000-2486.000=24.000 | | max | 2510.000-2486.000=24.000 |
| | mean | 3.186-2.962=0.223 | | σ | 0.161-0.136=0.026 | | min | 3.028-2.789=0.239 | | max | 3.386-3.117=0.269 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.222-5048.111=-293.888 | | σ | 0.953-0.914=0.039 | | min | 4753.461-5047.537=-294.075 | | max | 4755.888-5049.732=-293.845 |
| | mean | 2510.000-2486.000=24.000 | | σ | 0.000 | | min | 2510.000-2486.000=24.000 | | max | 2510.000-2486.000=24.000 |
| | mean | 8.508-8.755=-0.247 | | σ | 0.631-0.466=0.165 | | min | 7.637-8.051=-0.415 | | max | 9.050-9.296=-0.246 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.790-5179.083=-234.293 | | σ | 0.081-0.288=-0.207 | | min | 4944.724-5178.580=-233.856 | | max | 4944.879-5179.317=-234.438 |
| | mean | 2969.000-3268.200=-299.200 | | σ | 430.705-375.998=54.706 | | min | 2510.000-2735.000=-225.000 | | max | 3557.000-3719.000=-162.000 |
| | mean | 8.456-9.575=-1.118 | | σ | 0.120-0.573=-0.453 | | min | 8.362-8.614=-0.252 | | max | 8.664-10.041=-1.377 |
|