iters=5 new-facts=1 prior-facts=1 | | mean | 267.614-275.568=-7.953 | | σ | 17.779-0.003=17.776 | | min | 235.810-275.564=-39.754 | | max | 275.570-275.572=-0.002 |
| | mean | 2769.000-2645.000=124.000 | | σ | 0.000 | | min | 2769.000-2645.000=124.000 | | max | 2769.000-2645.000=124.000 |
| | mean | 0.380-0.390=-0.010 | | σ | 0.031-0.005=0.026 | | min | 0.326-0.387=-0.061 | | max | 0.399-0.398=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.085-2168.097=-0.012 | | σ | 0.015-0.005=0.010 | | min | 2168.067-2168.092=-0.025 | | max | 2168.103-2168.104=-0.001 |
| | mean | 2769.000-2645.000=124.000 | | σ | 0.000 | | min | 2769.000-2645.000=124.000 | | max | 2769.000-2645.000=124.000 |
| | mean | 2.935-2.981=-0.046 | | σ | 0.097-0.211=-0.114 | | min | 2.810-2.764=0.046 | | max | 3.053-3.304=-0.251 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.909-5047.791=0.118 | | σ | 0.878-0.988=-0.110 | | min | 5047.334-5047.044=0.290 | | max | 5049.444-5049.528=-0.084 |
| | mean | 2769.000-2645.000=124.000 | | σ | 0.000 | | min | 2769.000-2645.000=124.000 | | max | 2769.000-2645.000=124.000 |
| | mean | 8.903-8.919=-0.016 | | σ | 0.507-0.490=0.016 | | min | 8.196-8.130=0.066 | | max | 9.405-9.381=0.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.975-5179.046=-0.072 | | σ | 0.200-0.072=0.128 | | min | 5178.651-5178.976=-0.325 | | max | 5179.159-5179.126=0.033 |
| | mean | 3302.400-3223.000=79.400 | | σ | 394.037-388.196=5.841 | | min | 2769.000-2687.000=82.000 | | max | 3674.000-3710.000=-36.000 |
| | mean | 9.873-9.873=-0.000 | | σ | 0.212-0.295=-0.083 | | min | 9.534-9.472=0.061 | | max | 10.106-10.216=-0.110 |
|