iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-271.753=0.001 | | σ | 0.003-0.005=-0.002 | | min | 271.750-271.747=0.003 | | max | 271.759-271.759=0.000 |
| | mean | 2807.000-2849.000=-42.000 | | σ | 0.000 | | min | 2807.000-2849.000=-42.000 | | max | 2807.000-2849.000=-42.000 |
| | mean | 0.380-0.379=0.000 | | σ | 0.004-0.005=-0.000 | | min | 0.377-0.377=0.000 | | max | 0.388-0.388=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.187-1932.176=0.011 | | σ | 0.015-0.008=0.007 | | min | 1932.172-1932.168=0.004 | | max | 1932.212-1932.189=0.023 |
| | mean | 2807.000-2849.000=-42.000 | | σ | 0.000 | | min | 2807.000-2849.000=-42.000 | | max | 2807.000-2849.000=-42.000 |
| | mean | 2.800-3.045=-0.244 | | σ | 0.281-0.137=0.143 | | min | 2.429-2.905=-0.476 | | max | 3.064-3.255=-0.191 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.945-4752.970=-0.025 | | σ | 0.900-0.816=0.084 | | min | 4752.386-4752.509=-0.123 | | max | 4754.539-4754.423=0.116 |
| | mean | 2807.000-2849.000=-42.000 | | σ | 0.000 | | min | 2807.000-2849.000=-42.000 | | max | 2807.000-2849.000=-42.000 |
| | mean | 8.190-8.040=0.150 | | σ | 0.651-0.398=0.254 | | min | 7.557-7.668=-0.111 | | max | 9.036-8.519=0.516 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.231-4943.236=-0.005 | | σ | 0.172-0.310=-0.138 | | min | 4943.035-4942.683=0.353 | | max | 4943.375-4943.396=-0.021 |
| | mean | 3066.800-3077.400=-10.600 | | σ | 324.181-261.284=62.897 | | min | 2807.000-2849.000=-42.000 | | max | 3556.000-3472.000=84.000 |
| | mean | 8.436-8.378=0.058 | | σ | 0.089-0.150=-0.061 | | min | 8.339-8.163=0.176 | | max | 8.565-8.562=0.004 |
|