iters=5 new-facts=1 prior-facts=1 | | mean | 272.731-272.762=-0.031 | | σ | 0.005-0.007=-0.002 | | min | 272.723-272.754=-0.030 | | max | 272.736-272.773=-0.037 |
| | mean | 2442.000-2445.000=-3.000 | | σ | 0.000 | | min | 2442.000-2445.000=-3.000 | | max | 2442.000-2445.000=-3.000 |
| | mean | 0.384-0.385=-0.000 | | σ | 0.001-0.001=-0.001 | | min | 0.384-0.383=0.001 | | max | 0.386-0.386=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.131-1933.129=0.003 | | σ | 0.019-0.012=0.007 | | min | 1933.108-1933.112=-0.005 | | max | 1933.158-1933.147=0.012 |
| | mean | 2442.000-2445.000=-3.000 | | σ | 0.000 | | min | 2442.000-2445.000=-3.000 | | max | 2442.000-2445.000=-3.000 |
| | mean | 2.884-3.105=-0.221 | | σ | 0.273-0.093=0.180 | | min | 2.487-3.033=-0.546 | | max | 3.127-3.248=-0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.682-4753.855=-0.173 | | σ | 0.714-0.952=-0.238 | | min | 4753.093-4753.348=-0.255 | | max | 4754.909-4755.557=-0.647 |
| | mean | 2442.000-2445.000=-3.000 | | σ | 0.000 | | min | 2442.000-2445.000=-3.000 | | max | 2442.000-2445.000=-3.000 |
| | mean | 8.460-8.782=-0.322 | | σ | 0.577-0.286=0.291 | | min | 7.756-8.344=-0.588 | | max | 9.083-9.099=-0.016 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.364-4944.294=0.070 | | σ | 0.017-0.144=-0.127 | | min | 4944.341-4944.037=0.304 | | max | 4944.380-4944.373=0.007 |
| | mean | 2915.000-2905.800=9.200 | | σ | 316.704-383.284=-66.580 | | min | 2442.000-2445.000=-3.000 | | max | 3282.000-3422.000=-140.000 |
| | mean | 8.485-8.385=0.100 | | σ | 0.083-0.152=-0.070 | | min | 8.355-8.129=0.226 | | max | 8.551-8.535=0.016 |
|