iters=5 new-facts=1 prior-facts=1 | | mean | 190.718-190.720=-0.002 | | σ | 0.004-0.006=-0.002 | | min | 190.715-190.712=0.003 | | max | 190.725-190.727=-0.002 |
| | mean | 2608.000-2632.000=-24.000 | | σ | 0.000 | | min | 2608.000-2632.000=-24.000 | | max | 2608.000-2632.000=-24.000 |
| | mean | 0.281-0.280=0.001 | | σ | 0.001-0.001=0.000 | | min | 0.279-0.279=-0.000 | | max | 0.282-0.281=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.499-1989.501=-0.001 | | σ | 0.017-0.016=0.001 | | min | 1989.481-1989.482=-0.001 | | max | 1989.516-1989.525=-0.009 |
| | mean | 2608.000-2632.000=-24.000 | | σ | 0.000 | | min | 2608.000-2632.000=-24.000 | | max | 2608.000-2632.000=-24.000 |
| | mean | 2.418-2.423=-0.005 | | σ | 0.077-0.060=0.017 | | min | 2.327-2.328=-0.001 | | max | 2.536-2.490=0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.081-4880.068=0.013 | | σ | 0.600-0.599=0.001 | | min | 4879.733-4879.733=0.001 | | max | 4881.146-4881.133=0.013 |
| | mean | 2608.000-2632.000=-24.000 | | σ | 0.000 | | min | 2608.000-2632.000=-24.000 | | max | 2608.000-2632.000=-24.000 |
| | mean | 8.120-8.225=-0.105 | | σ | 0.255-0.285=-0.030 | | min | 7.702-7.776=-0.074 | | max | 8.388-8.556=-0.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.692-4891.624=0.068 | | σ | 0.084-0.127=-0.043 | | min | 4891.618-4891.416=0.202 | | max | 4891.800-4891.763=0.037 |
| | mean | 3251.800-3352.600=-100.800 | | σ | 399.211-465.019=-65.808 | | min | 2847.000-2780.000=67.000 | | max | 3645.000-4016.000=-371.000 |
| | mean | 8.109-8.269=-0.160 | | σ | 0.101-0.171=-0.070 | | min | 8.022-8.034=-0.011 | | max | 8.261-8.447=-0.186 |
|