iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-266.783=3.343 | | σ | 0.003-0.007=-0.003 | | min | 270.122-266.775=3.347 | | max | 270.131-266.793=3.338 |
| | mean | 2800.000-2469.000=331.000 | | σ | 0.000 | | min | 2800.000-2469.000=331.000 | | max | 2800.000-2469.000=331.000 |
| | mean | 0.379-0.373=0.006 | | σ | 0.001-0.001=-0.000 | | min | 0.377-0.372=0.006 | | max | 0.380-0.374=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.580-1927.209=3.371 | | σ | 0.025-0.013=0.011 | | min | 1930.541-1927.190=3.351 | | max | 1930.600-1927.222=3.379 |
| | mean | 2800.000-2469.000=331.000 | | σ | 0.000 | | min | 2800.000-2469.000=331.000 | | max | 2800.000-2469.000=331.000 |
| | mean | 2.549-3.127=-0.578 | | σ | 0.314-0.205=0.109 | | min | 2.299-2.961=-0.661 | | max | 3.090-3.475=-0.385 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.972-4747.737=3.235 | | σ | 0.965-0.798=0.167 | | min | 4750.081-4747.334=2.747 | | max | 4752.624-4749.164=3.460 |
| | mean | 2800.000-2469.000=331.000 | | σ | 0.000 | | min | 2800.000-2469.000=331.000 | | max | 2800.000-2469.000=331.000 |
| | mean | 8.480-8.203=0.277 | | σ | 0.283-0.572=-0.289 | | min | 8.228-7.695=0.533 | | max | 8.962-8.929=0.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.535-4938.098=3.437 | | σ | 0.090-0.118=-0.028 | | min | 4941.457-4937.917=3.540 | | max | 4941.635-4938.248=3.387 |
| | mean | 3027.000-2937.800=89.200 | | σ | 222.770-403.295=-180.525 | | min | 2800.000-2481.000=319.000 | | max | 3322.000-3469.000=-147.000 |
| | mean | 8.524-8.475=0.049 | | σ | 0.204-0.157=0.048 | | min | 8.342-8.318=0.024 | | max | 8.823-8.700=0.123 |
|