iters=5 new-facts=1 prior-facts=1 | | mean | 279.516-277.196=2.320 | | σ | 0.009-0.009=-0.000 | | min | 279.506-277.189=2.317 | | max | 279.527-277.210=2.317 |
| | mean | 2750.000-2659.000=91.000 | | σ | 0.000 | | min | 2750.000-2659.000=91.000 | | max | 2750.000-2659.000=91.000 |
| | mean | 0.411-0.392=0.019 | | σ | 0.010-0.002=0.009 | | min | 0.403-0.390=0.013 | | max | 0.428-0.394=0.034 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.458-2174.423=4.035 | | σ | 0.020-0.011=0.009 | | min | 2178.439-2174.406=4.033 | | max | 2178.487-2174.433=4.054 |
| | mean | 2750.000-2659.000=91.000 | | σ | 0.000 | | min | 2750.000-2659.000=91.000 | | max | 2750.000-2659.000=91.000 |
| | mean | 3.352-2.840=0.512 | | σ | 0.352-0.121=0.232 | | min | 3.084-2.721=0.362 | | max | 3.968-2.991=0.977 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.248-5052.612=3.636 | | σ | 1.088-0.967=0.121 | | min | 5055.241-5052.132=3.109 | | max | 5058.100-5054.337=3.763 |
| | mean | 2750.000-2659.000=91.000 | | σ | 0.000 | | min | 2750.000-2659.000=91.000 | | max | 2750.000-2659.000=91.000 |
| | mean | 8.693-9.040=-0.346 | | σ | 0.593-0.670=-0.077 | | min | 7.984-8.031=-0.046 | | max | 9.459-9.637=-0.178 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.748-5188.416=5.332 | | σ | 0.091-0.096=-0.006 | | min | 5193.660-5188.312=5.349 | | max | 5193.850-5188.526=5.325 |
| | mean | 3252.000-3216.200=35.800 | | σ | 498.351-478.804=19.547 | | min | 2750.000-2659.000=91.000 | | max | 3952.000-3865.000=87.000 |
| | mean | 8.730-8.823=-0.093 | | σ | 0.111-0.216=-0.105 | | min | 8.660-8.643=0.017 | | max | 8.926-9.124=-0.197 |
|