iters=5 new-facts=1 prior-facts=1 | | mean | 273.606-273.611=-0.005 | | σ | 0.006-0.006=0.000 | | min | 273.598-273.602=-0.004 | | max | 273.613-273.617=-0.004 |
| | mean | 2862.000-2838.000=24.000 | | σ | 0.000 | | min | 2862.000-2838.000=24.000 | | max | 2862.000-2838.000=24.000 |
| | mean | 0.385-0.386=-0.001 | | σ | 0.006-0.005=0.001 | | min | 0.380-0.381=-0.001 | | max | 0.396-0.394=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.003-1934.003=0.000 | | σ | 0.009-0.007=0.003 | | min | 1933.989-1933.993=-0.005 | | max | 1934.012-1934.011=0.001 |
| | mean | 2862.000-2838.000=24.000 | | σ | 0.000 | | min | 2862.000-2838.000=24.000 | | max | 2862.000-2838.000=24.000 |
| | mean | 3.147-2.901=0.245 | | σ | 0.144-0.320=-0.175 | | min | 2.929-2.387=0.542 | | max | 3.295-3.179=0.117 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.767-4754.776=-0.009 | | σ | 0.846-0.833=0.013 | | min | 4754.210-4754.310=-0.099 | | max | 4756.262-4756.259=0.003 |
| | mean | 2862.000-2838.000=24.000 | | σ | 0.000 | | min | 2862.000-2838.000=24.000 | | max | 2862.000-2838.000=24.000 |
| | mean | 8.622-8.411=0.211 | | σ | 0.502-0.463=0.039 | | min | 8.118-7.682=0.436 | | max | 9.388-8.859=0.530 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.226-4945.151=0.076 | | σ | 0.012-0.141=-0.128 | | min | 4945.208-4944.901=0.307 | | max | 4945.238-4945.241=-0.003 |
| | mean | 3101.400-3057.800=43.600 | | σ | 245.879-229.327=16.552 | | min | 2862.000-2838.000=24.000 | | max | 3353.000-3295.000=58.000 |
| | mean | 8.816-8.825=-0.009 | | σ | 0.415-0.360=0.055 | | min | 8.424-8.440=-0.016 | | max | 9.421-9.355=0.066 |
|