iters=5 new-facts=1 prior-facts=1 | | mean | 266.783-266.788=-0.005 | | σ | 0.007-0.007=-0.000 | | min | 266.775-266.780=-0.005 | | max | 266.793-266.796=-0.003 |
| | mean | 2469.000-2473.000=-4.000 | | σ | 0.000 | | min | 2469.000-2473.000=-4.000 | | max | 2469.000-2473.000=-4.000 |
| | mean | 0.373-0.373=-0.000 | | σ | 0.001-0.004=-0.003 | | min | 0.372-0.370=0.002 | | max | 0.374-0.380=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.209-1927.199=0.010 | | σ | 0.013-0.011=0.003 | | min | 1927.190-1927.188=0.002 | | max | 1927.222-1927.216=0.006 |
| | mean | 2469.000-2473.000=-4.000 | | σ | 0.000 | | min | 2469.000-2473.000=-4.000 | | max | 2469.000-2473.000=-4.000 |
| | mean | 3.127-3.014=0.113 | | σ | 0.205-0.135=0.070 | | min | 2.961-2.894=0.067 | | max | 3.475-3.236=0.239 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.737-4747.658=0.079 | | σ | 0.798-0.898=-0.100 | | min | 4747.334-4747.144=0.190 | | max | 4749.164-4749.253=-0.089 |
| | mean | 2469.000-2473.000=-4.000 | | σ | 0.000 | | min | 2469.000-2473.000=-4.000 | | max | 2469.000-2473.000=-4.000 |
| | mean | 8.203-8.786=-0.583 | | σ | 0.572-0.500=0.072 | | min | 7.695-8.056=-0.361 | | max | 8.929-9.360=-0.430 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.098-4938.025=0.072 | | σ | 0.118-0.270=-0.152 | | min | 4937.917-4937.559=0.357 | | max | 4938.248-4938.265=-0.017 |
| | mean | 2937.800-2955.000=-17.200 | | σ | 403.295-265.966=137.329 | | min | 2481.000-2597.000=-116.000 | | max | 3469.000-3305.000=164.000 |
| | mean | 8.475-8.440=0.035 | | σ | 0.157-0.100=0.057 | | min | 8.318-8.321=-0.003 | | max | 8.700-8.526=0.175 |
|