iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-279.514=-2.317 | | σ | 0.009-0.011=-0.002 | | min | 277.189-279.495=-2.307 | | max | 277.210-279.524=-2.314 |
| | mean | 2659.000-2838.000=-179.000 | | σ | 0.000 | | min | 2659.000-2838.000=-179.000 | | max | 2659.000-2838.000=-179.000 |
| | mean | 0.392-0.415=-0.023 | | σ | 0.002-0.014=-0.012 | | min | 0.390-0.404=-0.014 | | max | 0.394-0.438=-0.044 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.423-2178.451=-4.028 | | σ | 0.011-0.011=-0.001 | | min | 2174.406-2178.441=-4.035 | | max | 2174.433-2178.470=-4.037 |
| | mean | 2659.000-2838.000=-179.000 | | σ | 0.000 | | min | 2659.000-2838.000=-179.000 | | max | 2659.000-2838.000=-179.000 |
| | mean | 2.840-3.311=-0.471 | | σ | 0.121-0.177=-0.056 | | min | 2.721-3.006=-0.285 | | max | 2.991-3.459=-0.468 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.612-5056.374=-3.763 | | σ | 0.967-0.990=-0.022 | | min | 5052.132-5055.774=-3.642 | | max | 5054.337-5058.131=-3.793 |
| | mean | 2659.000-2838.000=-179.000 | | σ | 0.000 | | min | 2659.000-2838.000=-179.000 | | max | 2659.000-2838.000=-179.000 |
| | mean | 9.040-9.184=-0.144 | | σ | 0.670-0.463=0.207 | | min | 8.031-8.393=-0.362 | | max | 9.637-9.569=0.068 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.416-5193.659=-5.243 | | σ | 0.096-0.086=0.011 | | min | 5188.312-5193.512=-5.200 | | max | 5188.526-5193.730=-5.204 |
| | mean | 3216.200-3304.800=-88.600 | | σ | 478.804-454.169=24.635 | | min | 2659.000-2838.000=-179.000 | | max | 3865.000-3944.000=-79.000 |
| | mean | 8.823-8.796=0.027 | | σ | 0.216-0.169=0.048 | | min | 8.643-8.650=-0.007 | | max | 9.124-8.996=0.128 |
|