iters=5 new-facts=1 prior-facts=1 | | mean | 273.402-273.403=-0.002 | | σ | 0.014-0.011=0.003 | | min | 273.387-273.395=-0.008 | | max | 273.416-273.418=-0.002 |
| | mean | 2475.000-2478.000=-3.000 | | σ | 0.000 | | min | 2475.000-2478.000=-3.000 | | max | 2475.000-2478.000=-3.000 |
| | mean | 0.384-0.387=-0.003 | | σ | 0.008-0.008=0.000 | | min | 0.376-0.377=-0.001 | | max | 0.395-0.398=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.844-1933.839=0.005 | | σ | 0.007-0.011=-0.004 | | min | 1933.835-1933.826=0.008 | | max | 1933.854-1933.850=0.004 |
| | mean | 2475.000-2478.000=-3.000 | | σ | 0.000 | | min | 2475.000-2478.000=-3.000 | | max | 2475.000-2478.000=-3.000 |
| | mean | 3.109-2.913=0.196 | | σ | 0.133-0.262=-0.129 | | min | 2.976-2.471=0.506 | | max | 3.285-3.118=0.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.366-4754.357=0.009 | | σ | 0.844-0.853=-0.009 | | min | 4753.769-4753.735=0.034 | | max | 4755.846-4755.859=-0.013 |
| | mean | 2475.000-2478.000=-3.000 | | σ | 0.000 | | min | 2475.000-2478.000=-3.000 | | max | 2475.000-2478.000=-3.000 |
| | mean | 8.812-8.648=0.164 | | σ | 0.889-0.610=0.279 | | min | 7.769-7.754=0.015 | | max | 10.152-9.465=0.686 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.730-4944.803=-0.073 | | σ | 0.206-0.078=0.128 | | min | 4944.388-4944.737=-0.349 | | max | 4944.900-4944.888=0.012 |
| | mean | 2988.200-3015.200=-27.000 | | σ | 357.623-359.008=-1.385 | | min | 2530.000-2533.000=-3.000 | | max | 3332.000-3348.000=-16.000 |
| | mean | 8.627-8.873=-0.246 | | σ | 0.161-0.390=-0.229 | | min | 8.401-8.524=-0.123 | | max | 8.835-9.422=-0.587 |
|