iters=5 new-facts=1 prior-facts=1 | | mean | 278.821-278.817=0.004 | | σ | 0.006-0.005=0.001 | | min | 278.815-278.808=0.007 | | max | 278.831-278.821=0.010 |
| | mean | 2750.000-2726.000=24.000 | | σ | 0.000 | | min | 2750.000-2726.000=24.000 | | max | 2750.000-2726.000=24.000 |
| | mean | 0.412-0.411=0.002 | | σ | 0.006-0.006=0.000 | | min | 0.409-0.407=0.002 | | max | 0.423-0.421=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874-2268.877=-0.003 | | σ | 0.012-0.016=-0.004 | | min | 2268.855-2268.849=0.006 | | max | 2268.886-2268.887=-0.001 |
| | mean | 2750.000-2726.000=24.000 | | σ | 0.000 | | min | 2750.000-2726.000=24.000 | | max | 2750.000-2726.000=24.000 |
| | mean | 2.954-2.970=-0.016 | | σ | 0.124-0.063=0.062 | | min | 2.840-2.904=-0.064 | | max | 3.147-3.043=0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.011-4954.230=-0.219 | | σ | 0.938-0.799=0.139 | | min | 4953.406-4953.728=-0.322 | | max | 4955.653-4955.645=0.008 |
| | mean | 2750.000-2726.000=24.000 | | σ | 0.000 | | min | 2750.000-2726.000=24.000 | | max | 2750.000-2726.000=24.000 |
| | mean | 7.894-8.074=-0.180 | | σ | 0.134-0.254=-0.120 | | min | 7.722-7.822=-0.100 | | max | 8.046-8.372=-0.325 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.651-5168.789=-0.139 | | σ | 0.194-0.080=0.115 | | min | 5168.389-5168.723=-0.334 | | max | 5168.878-5168.879=-0.001 |
| | mean | 3452.000-3471.200=-19.200 | | σ | 483.676-470.644=13.032 | | min | 2860.000-2845.000=15.000 | | max | 4148.000-4111.000=37.000 |
| | mean | 9.147-9.333=-0.186 | | σ | 0.403-0.276=0.127 | | min | 8.673-8.896=-0.223 | | max | 9.682-9.630=0.052 |
|