iters=5 new-facts=1 prior-facts=1 | | mean | 271.953-271.954=-0.001 | | σ | 0.007-0.008=-0.001 | | min | 271.947-271.944=0.002 | | max | 271.966-271.963=0.003 |
| | mean | 2743.000-2751.000=-8.000 | | σ | 0.000 | | min | 2743.000-2751.000=-8.000 | | max | 2743.000-2751.000=-8.000 |
| | mean | 0.383-0.383=-0.000 | | σ | 0.007-0.008=-0.002 | | min | 0.379-0.377=0.002 | | max | 0.395-0.397=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.323-1932.326=-0.003 | | σ | 0.015-0.009=0.006 | | min | 1932.307-1932.311=-0.004 | | max | 1932.341-1932.335=0.006 |
| | mean | 2743.000-2751.000=-8.000 | | σ | 0.000 | | min | 2743.000-2751.000=-8.000 | | max | 2743.000-2751.000=-8.000 |
| | mean | 2.996-3.000=-0.004 | | σ | 0.137-0.055=0.082 | | min | 2.765-2.919=-0.154 | | max | 3.107-3.070=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.098-4752.936=0.162 | | σ | 0.907-0.975=-0.068 | | min | 4752.567-4752.145=0.422 | | max | 4754.701-4754.637=0.063 |
| | mean | 2743.000-2751.000=-8.000 | | σ | 0.000 | | min | 2743.000-2751.000=-8.000 | | max | 2743.000-2751.000=-8.000 |
| | mean | 8.548-8.780=-0.232 | | σ | 0.501-0.246=0.255 | | min | 7.943-8.473=-0.530 | | max | 9.121-9.132=-0.011 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.558-4943.564=-0.005 | | σ | 0.014-0.017=-0.002 | | min | 4943.542-4943.545=-0.003 | | max | 4943.572-4943.579=-0.007 |
| | mean | 2996.400-3020.600=-24.200 | | σ | 307.126-232.997=74.128 | | min | 2743.000-2751.000=-8.000 | | max | 3462.000-3320.000=142.000 |
| | mean | 8.386-8.503=-0.118 | | σ | 0.055-0.117=-0.061 | | min | 8.307-8.357=-0.050 | | max | 8.454-8.636=-0.182 |
|