iters=5 new-facts=1 prior-facts=1 | | mean | 326.633-326.641=-0.008 | | σ | 0.061-0.030=0.031 | | min | 326.526-326.590=-0.064 | | max | 326.672-326.663=0.009 |
| | mean | 2640.000-2592.000=48.000 | | σ | 0.000 | | min | 2640.000-2592.000=48.000 | | max | 2640.000-2592.000=48.000 |
| | mean | 0.431-0.424=0.007 | | σ | 0.009-0.004=0.005 | | min | 0.422-0.421=0.001 | | max | 0.445-0.430=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.795-1988.804=-0.009 | | σ | 0.014-0.009=0.005 | | min | 1988.780-1988.788=-0.009 | | max | 1988.811-1988.810=0.001 |
| | mean | 2640.000-2592.000=48.000 | | σ | 0.000 | | min | 2640.000-2592.000=48.000 | | max | 2640.000-2592.000=48.000 |
| | mean | 2.728-2.706=0.022 | | σ | 0.124-0.112=0.012 | | min | 2.614-2.588=0.026 | | max | 2.926-2.854=0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.646-4813.526=0.120 | | σ | 7.733-7.775=-0.043 | | min | 4810.143-4809.630=0.513 | | max | 4827.478-4827.427=0.051 |
| | mean | 2640.000-2592.000=48.000 | | σ | 0.000 | | min | 2640.000-2592.000=48.000 | | max | 2640.000-2592.000=48.000 |
| | mean | 8.663-8.816=-0.153 | | σ | 0.520-0.157=0.364 | | min | 7.850-8.617=-0.767 | | max | 9.087-8.992=0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.058-5001.207=-0.149 | | σ | 0.197-0.033=0.164 | | min | 5000.826-5001.175=-0.348 | | max | 5001.224-5001.257=-0.034 |
| | mean | 2961.200-3005.000=-43.800 | | σ | 255.007-260.383=-5.376 | | min | 2640.000-2619.000=21.000 | | max | 3302.000-3312.000=-10.000 |
| | mean | 9.568-9.827=-0.259 | | σ | 0.203-0.161=0.041 | | min | 9.294-9.596=-0.301 | | max | 9.766-10.042=-0.276 |
|