iters=5 new-facts=1 prior-facts=1 | | mean | 274.876-191.176=83.700 | | σ | 0.010-0.014=-0.004 | | min | 274.864-191.159=83.705 | | max | 274.887-191.193=83.694 |
| | mean | 2658.000-2659.000=-1.000 | | σ | 0.000 | | min | 2658.000-2659.000=-1.000 | | max | 2658.000-2659.000=-1.000 |
| | mean | 0.408-0.281=0.127 | | σ | 0.002-0.001=0.000 | | min | 0.405-0.279=0.126 | | max | 0.409-0.282=0.127 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2265.116-1989.951=275.166 | | σ | 0.010-0.016=-0.007 | | min | 2265.100-1989.933=275.167 | | max | 2265.124-1989.977=275.147 |
| | mean | 2658.000-2659.000=-1.000 | | σ | 0.000 | | min | 2658.000-2659.000=-1.000 | | max | 2658.000-2659.000=-1.000 |
| | mean | 2.988-2.695=0.293 | | σ | 0.120-0.236=-0.116 | | min | 2.833-2.398=0.435 | | max | 3.128-3.049=0.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.098-4880.534=71.564 | | σ | 0.845-0.583=0.262 | | min | 4951.386-4880.191=71.195 | | max | 4953.560-4881.566=71.994 |
| | mean | 2658.000-2659.000=-1.000 | | σ | 0.000 | | min | 2658.000-2659.000=-1.000 | | max | 2658.000-2659.000=-1.000 |
| | mean | 7.934-8.265=-0.332 | | σ | 0.124-0.192=-0.068 | | min | 7.763-8.050=-0.286 | | max | 8.091-8.545=-0.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.853-4892.077=274.776 | | σ | 0.117-0.199=-0.082 | | min | 5166.687-4891.748=274.938 | | max | 5167.016-4892.240=274.777 |
| | mean | 3495.800-3314.000=181.800 | | σ | 455.429-504.882=-49.453 | | min | 2883.000-2659.000=224.000 | | max | 4108.000-3797.000=311.000 |
| | mean | 9.399-8.098=1.301 | | σ | 0.278-0.110=0.168 | | min | 9.078-7.989=1.089 | | max | 9.800-8.249=1.551 |
|