iters=5 new-facts=1 prior-facts=1 | | mean | 272.755-272.756=-0.001 | | σ | 0.005-0.010=-0.005 | | min | 272.749-272.741=0.008 | | max | 272.763-272.764=-0.001 |
| | mean | 2505.000-2521.000=-16.000 | | σ | 0.000 | | min | 2505.000-2521.000=-16.000 | | max | 2505.000-2521.000=-16.000 |
| | mean | 0.382-0.382=-0.000 | | σ | 0.007-0.008=-0.001 | | min | 0.377-0.377=0.000 | | max | 0.394-0.397=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.167-1933.167=-0.000 | | σ | 0.007-0.006=0.001 | | min | 1933.156-1933.157=-0.001 | | max | 1933.175-1933.174=0.001 |
| | mean | 2505.000-2521.000=-16.000 | | σ | 0.000 | | min | 2505.000-2521.000=-16.000 | | max | 2505.000-2521.000=-16.000 |
| | mean | 2.962-3.056=-0.094 | | σ | 0.057-0.077=-0.020 | | min | 2.890-2.939=-0.049 | | max | 3.041-3.128=-0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.938-4756.989=-0.051 | | σ | 7.559-7.631=-0.072 | | min | 4753.416-4753.381=0.034 | | max | 4770.460-4770.638=-0.178 |
| | mean | 2505.000-2521.000=-16.000 | | σ | 0.000 | | min | 2505.000-2521.000=-16.000 | | max | 2505.000-2521.000=-16.000 |
| | mean | 8.541-8.243=0.298 | | σ | 0.297-0.574=-0.277 | | min | 8.290-7.782=0.508 | | max | 9.033-9.125=-0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.386-4944.330=0.056 | | σ | 0.020-0.160=-0.140 | | min | 4944.363-4944.045=0.318 | | max | 4944.415-4944.420=-0.005 |
| | mean | 2918.000-2951.000=-33.000 | | σ | 364.704-368.212=-3.508 | | min | 2505.000-2521.000=-16.000 | | max | 3413.000-3453.000=-40.000 |
| | mean | 8.459-8.616=-0.157 | | σ | 0.158-0.195=-0.037 | | min | 8.315-8.398=-0.083 | | max | 8.647-8.875=-0.228 |
|