iters=5 new-facts=1 prior-facts=1 | | mean | 282.191-282.193=-0.002 | | σ | 0.010-0.006=0.003 | | min | 282.177-282.184=-0.007 | | max | 282.203-282.200=0.003 |
| | mean | 2774.000-2771.000=3.000 | | σ | 0.000 | | min | 2774.000-2771.000=3.000 | | max | 2774.000-2771.000=3.000 |
| | mean | 0.398-0.409=-0.011 | | σ | 0.003-0.004=-0.000 | | min | 0.396-0.406=-0.010 | | max | 0.404-0.415=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.714-2174.711=0.003 | | σ | 0.010-0.019=-0.009 | | min | 2174.704-2174.687=0.017 | | max | 2174.728-2174.730=-0.001 |
| | mean | 2774.000-2771.000=3.000 | | σ | 0.000 | | min | 2774.000-2771.000=3.000 | | max | 2774.000-2771.000=3.000 |
| | mean | 2.997-3.017=-0.020 | | σ | 0.200-0.161=0.039 | | min | 2.734-2.818=-0.084 | | max | 3.208-3.184=0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.419-5054.299=0.120 | | σ | 1.036-1.209=-0.174 | | min | 5053.638-5052.983=0.655 | | max | 5056.236-5056.285=-0.050 |
| | mean | 2774.000-2771.000=3.000 | | σ | 0.000 | | min | 2774.000-2771.000=3.000 | | max | 2774.000-2771.000=3.000 |
| | mean | 8.927-8.912=0.015 | | σ | 0.542-0.591=-0.049 | | min | 8.050-8.018=0.032 | | max | 9.434-9.662=-0.228 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.670-5185.684=-0.014 | | σ | 0.077-0.074=0.003 | | min | 5185.596-5185.606=-0.010 | | max | 5185.774-5185.776=-0.002 |
| | mean | 3237.400-3239.600=-2.200 | | σ | 356.173-364.084=-7.910 | | min | 2774.000-2771.000=3.000 | | max | 3707.000-3720.000=-13.000 |
| | mean | 9.723-10.043=-0.321 | | σ | 0.629-0.436=0.193 | | min | 8.698-9.603=-0.905 | | max | 10.269-10.709=-0.439 |
|