iters=5 new-facts=1 prior-facts=1 | | mean | 272.758-272.759=-0.001 | | σ | 0.006-0.004=0.001 | | min | 272.752-272.754=-0.002 | | max | 272.766-272.763=0.003 |
| | mean | 2712.000-2501.000=211.000 | | σ | 0.000 | | min | 2712.000-2501.000=211.000 | | max | 2712.000-2501.000=211.000 |
| | mean | 0.384-0.387=-0.003 | | σ | 0.003-0.005=-0.003 | | min | 0.381-0.381=-0.001 | | max | 0.387-0.394=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.137-1933.127=0.010 | | σ | 0.011-0.011=-0.001 | | min | 1933.123-1933.114=0.009 | | max | 1933.150-1933.140=0.010 |
| | mean | 2712.000-2501.000=211.000 | | σ | 0.000 | | min | 2712.000-2501.000=211.000 | | max | 2712.000-2501.000=211.000 |
| | mean | 3.044-2.912=0.132 | | σ | 0.041-0.154=-0.113 | | min | 2.997-2.706=0.290 | | max | 3.091-3.032=0.059 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.933-4753.875=0.058 | | σ | 0.894-0.927=-0.033 | | min | 4753.382-4753.383=-0.001 | | max | 4755.523-4755.530=-0.007 |
| | mean | 2712.000-2501.000=211.000 | | σ | 0.000 | | min | 2712.000-2501.000=211.000 | | max | 2712.000-2501.000=211.000 |
| | mean | 8.377-8.606=-0.229 | | σ | 0.431-0.508=-0.077 | | min | 7.913-7.788=0.125 | | max | 8.982-9.056=-0.074 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.292-4944.361=-0.069 | | σ | 0.163-0.012=0.151 | | min | 4944.001-4944.349=-0.348 | | max | 4944.375-4944.376=-0.001 |
| | mean | 2976.200-2925.600=50.600 | | σ | 318.487-383.235=-64.747 | | min | 2712.000-2501.000=211.000 | | max | 3452.000-3467.000=-15.000 |
| | mean | 8.364-8.394=-0.031 | | σ | 0.048-0.060=-0.012 | | min | 8.283-8.341=-0.058 | | max | 8.405-8.493=-0.088 |
|