iters=5 new-facts=1 prior-facts=1 | | mean | 279.520-280.908=-1.388 | | σ | 0.005-0.009=-0.004 | | min | 279.515-280.897=-1.382 | | max | 279.526-280.915=-1.389 |
| | mean | 2770.000-2741.000=29.000 | | σ | 0.000 | | min | 2770.000-2741.000=29.000 | | max | 2770.000-2741.000=29.000 |
| | mean | 0.403-0.418=-0.015 | | σ | 0.001-0.006=-0.004 | | min | 0.402-0.412=-0.010 | | max | 0.404-0.425=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.453-2270.920=-92.466 | | σ | 0.020-0.044=-0.024 | | min | 2178.435-2270.842=-92.407 | | max | 2178.483-2270.946=-92.463 |
| | mean | 2770.000-2741.000=29.000 | | σ | 0.000 | | min | 2770.000-2741.000=29.000 | | max | 2770.000-2741.000=29.000 |
| | mean | 3.391-3.007=0.385 | | σ | 0.147-0.119=0.028 | | min | 3.231-2.909=0.322 | | max | 3.605-3.160=0.445 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.415-5148.199=-91.783 | | σ | 0.996-1.012=-0.016 | | min | 5055.839-5147.597=-91.758 | | max | 5058.188-5149.999=-91.811 |
| | mean | 2770.000-2741.000=29.000 | | σ | 0.000 | | min | 2770.000-2741.000=29.000 | | max | 2770.000-2741.000=29.000 |
| | mean | 8.708-9.165=-0.456 | | σ | 0.656-0.473=0.183 | | min | 8.269-8.434=-0.165 | | max | 9.797-9.714=0.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.770-5286.253=-92.484 | | σ | 0.080-0.110=-0.030 | | min | 5193.712-5286.109=-92.397 | | max | 5193.878-5286.392=-92.514 |
| | mean | 3300.400-3411.400=-111.000 | | σ | 396.404-476.154=-79.750 | | min | 2770.000-2792.000=-22.000 | | max | 3675.000-3865.000=-190.000 |
| | mean | 8.952-9.911=-0.959 | | σ | 0.373-0.608=-0.235 | | min | 8.635-8.854=-0.219 | | max | 9.597-10.304=-0.707 |
|