iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-271.369=5.824 | | σ | 0.004-18.207=-18.203 | | min | 277.187-238.799=38.388 | | max | 277.198-279.520=-2.322 |
| | mean | 2614.000-2828.000=-214.000 | | σ | 0.000 | | min | 2614.000-2828.000=-214.000 | | max | 2614.000-2828.000=-214.000 |
| | mean | 0.396-0.394=0.002 | | σ | 0.006-0.029=-0.023 | | min | 0.392-0.343=0.049 | | max | 0.406-0.407=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.443-2178.437=-3.994 | | σ | 0.020-0.010=0.009 | | min | 2174.421-2178.426=-4.005 | | max | 2174.470-2178.451=-3.981 |
| | mean | 2614.000-2828.000=-214.000 | | σ | 0.000 | | min | 2614.000-2828.000=-214.000 | | max | 2614.000-2828.000=-214.000 |
| | mean | 2.856-3.365=-0.509 | | σ | 0.106-0.148=-0.042 | | min | 2.772-3.169=-0.397 | | max | 3.006-3.538=-0.532 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.582-5056.255=-3.673 | | σ | 0.996-1.099=-0.103 | | min | 5052.029-5055.302=-3.273 | | max | 5054.355-5058.150=-3.795 |
| | mean | 2614.000-2828.000=-214.000 | | σ | 0.000 | | min | 2614.000-2828.000=-214.000 | | max | 2614.000-2828.000=-214.000 |
| | mean | 8.937-8.752=0.185 | | σ | 0.550-0.637=-0.087 | | min | 8.080-8.091=-0.011 | | max | 9.591-9.735=-0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.272-4994.406=193.866 | | σ | 0.203-445.732=-445.529 | | min | 5188.005-4197.056=990.949 | | max | 5188.535-5193.862=-5.327 |
| | mean | 3217.000-3207.000=10.000 | | σ | 528.571-275.548=253.024 | | min | 2614.000-2828.000=-214.000 | | max | 3950.000-3563.000=387.000 |
| | mean | 8.763-8.500=0.263 | | σ | 0.135-0.539=-0.404 | | min | 8.668-7.551=1.118 | | max | 8.995-8.899=0.096 |
|