iters=5 new-facts=1 prior-facts=1 | | mean | 282.196-275.767=6.429 | | σ | 0.008-0.008=0.000 | | min | 282.189-275.758=6.431 | | max | 282.206-275.778=6.428 |
| | mean | 2640.000-2510.000=130.000 | | σ | 0.000 | | min | 2640.000-2510.000=130.000 | | max | 2640.000-2510.000=130.000 |
| | mean | 0.406-0.406=0.000 | | σ | 0.005-0.011=-0.006 | | min | 0.404-0.396=0.007 | | max | 0.414-0.418=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.722-2168.279=6.443 | | σ | 0.003-0.022=-0.020 | | min | 2174.717-2168.251=6.467 | | max | 2174.724-2168.303=6.421 |
| | mean | 2640.000-2510.000=130.000 | | σ | 0.000 | | min | 2640.000-2510.000=130.000 | | max | 2640.000-2510.000=130.000 |
| | mean | 2.965-3.054=-0.088 | | σ | 0.142-0.209=-0.067 | | min | 2.781-2.798=-0.017 | | max | 3.118-3.254=-0.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.593-5048.025=6.568 | | σ | 0.913-1.010=-0.096 | | min | 5054.116-5047.307=6.808 | | max | 5056.222-5049.786=6.436 |
| | mean | 2640.000-2510.000=130.000 | | σ | 0.000 | | min | 2640.000-2510.000=130.000 | | max | 2640.000-2510.000=130.000 |
| | mean | 8.434-9.207=-0.773 | | σ | 0.501-0.649=-0.149 | | min | 7.951-8.269=-0.318 | | max | 9.281-9.984=-0.703 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.593-5179.240=6.353 | | σ | 0.184-0.067=0.116 | | min | 5185.291-5179.184=6.107 | | max | 5185.744-5179.323=6.421 |
| | mean | 3227.000-3260.200=-33.200 | | σ | 391.578-361.714=29.863 | | min | 2690.000-2739.000=-49.000 | | max | 3722.000-3687.000=35.000 |
| | mean | 9.922-9.772=0.150 | | σ | 0.119-0.621=-0.502 | | min | 9.760-8.665=1.095 | | max | 10.092-10.138=-0.046 |
|