iters=5 new-facts=1 prior-facts=1 | | mean | 282.191-282.196=-0.004 | | σ | 0.008-0.008=0.000 | | min | 282.185-282.189=-0.004 | | max | 282.205-282.206=-0.001 |
| | mean | 2646.000-2640.000=6.000 | | σ | 0.000 | | min | 2646.000-2640.000=6.000 | | max | 2646.000-2640.000=6.000 |
| | mean | 0.408-0.406=0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.405-0.404=0.002 | | max | 0.414-0.414=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.720-2174.722=-0.002 | | σ | 0.007-0.003=0.005 | | min | 2174.709-2174.717=-0.008 | | max | 2174.727-2174.724=0.003 |
| | mean | 2646.000-2640.000=6.000 | | σ | 0.000 | | min | 2646.000-2640.000=6.000 | | max | 2646.000-2640.000=6.000 |
| | mean | 3.004-2.965=0.039 | | σ | 0.154-0.142=0.012 | | min | 2.814-2.781=0.033 | | max | 3.128-3.118=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.551-5054.593=-0.042 | | σ | 0.941-0.913=0.028 | | min | 5053.978-5054.116=-0.137 | | max | 5056.226-5056.222=0.004 |
| | mean | 2646.000-2640.000=6.000 | | σ | 0.000 | | min | 2646.000-2640.000=6.000 | | max | 2646.000-2640.000=6.000 |
| | mean | 8.680-8.434=0.246 | | σ | 0.567-0.501=0.066 | | min | 7.928-7.951=-0.022 | | max | 9.391-9.281=0.110 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.598-5185.593=0.006 | | σ | 0.213-0.184=0.029 | | min | 5185.235-5185.291=-0.056 | | max | 5185.753-5185.744=0.008 |
| | mean | 3224.200-3227.000=-2.800 | | σ | 389.390-391.578=-2.187 | | min | 2688.000-2690.000=-2.000 | | max | 3711.000-3722.000=-11.000 |
| | mean | 9.799-9.922=-0.123 | | σ | 0.236-0.119=0.117 | | min | 9.610-9.760=-0.150 | | max | 10.140-10.092=0.048 |
|