iters=5 new-facts=1 prior-facts=1 | | mean | 328.787-328.789=-0.002 | | σ | 0.068-0.061=0.006 | | min | 328.667-328.680=-0.014 | | max | 328.823-328.820=0.002 |
| | mean | 2826.000-2778.000=48.000 | | σ | 0.000 | | min | 2826.000-2778.000=48.000 | | max | 2826.000-2778.000=48.000 |
| | mean | 0.433-0.434=-0.001 | | σ | 0.002-0.001=0.000 | | min | 0.431-0.433=-0.001 | | max | 0.435-0.437=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.330-1989.318=0.012 | | σ | 0.005-0.015=-0.010 | | min | 1989.324-1989.300=0.024 | | max | 1989.334-1989.340=-0.005 |
| | mean | 2826.000-2778.000=48.000 | | σ | 0.000 | | min | 2826.000-2778.000=48.000 | | max | 2826.000-2778.000=48.000 |
| | mean | 3.003-3.078=-0.075 | | σ | 0.085-0.097=-0.012 | | min | 2.893-2.974=-0.081 | | max | 3.093-3.234=-0.141 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.035-4813.027=0.007 | | σ | 7.794-7.842=-0.048 | | min | 4809.453-4809.458=-0.005 | | max | 4826.976-4827.055=-0.079 |
| | mean | 2826.000-2778.000=48.000 | | σ | 0.000 | | min | 2826.000-2778.000=48.000 | | max | 2826.000-2778.000=48.000 |
| | mean | 8.562-8.877=-0.315 | | σ | 0.453-0.356=0.097 | | min | 7.971-8.467=-0.496 | | max | 9.223-9.432=-0.209 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.585-5000.516=0.069 | | σ | 0.025-0.161=-0.135 | | min | 5000.562-5000.229=0.333 | | max | 5000.615-5000.602=0.013 |
| | mean | 3028.200-2993.800=34.400 | | σ | 205.096-216.242=-11.147 | | min | 2826.000-2778.000=48.000 | | max | 3309.000-3310.000=-1.000 |
| | mean | 8.828-8.586=0.242 | | σ | 0.293-0.069=0.225 | | min | 8.559-8.478=0.081 | | max | 9.284-8.662=0.622 |
|