iters=5 new-facts=1 prior-facts=1 | | mean | 273.422-272.018=1.404 | | σ | 0.003-0.007=-0.005 | | min | 273.420-272.008=1.412 | | max | 273.426-272.028=1.398 |
| | mean | 2416.000-2844.000=-428.000 | | σ | 0.000 | | min | 2416.000-2844.000=-428.000 | | max | 2416.000-2844.000=-428.000 |
| | mean | 0.386-0.393=-0.007 | | σ | 0.009-0.009=0.001 | | min | 0.380-0.379=0.002 | | max | 0.403-0.402=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.810-1932.439=1.371 | | σ | 0.011-0.014=-0.003 | | min | 1933.793-1932.416=1.376 | | max | 1933.823-1932.455=1.368 |
| | mean | 2416.000-2844.000=-428.000 | | σ | 0.000 | | min | 2416.000-2844.000=-428.000 | | max | 2416.000-2844.000=-428.000 |
| | mean | 2.864-3.057=-0.193 | | σ | 0.189-0.151=0.038 | | min | 2.534-2.957=-0.423 | | max | 2.984-3.308=-0.324 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.547-4752.878=1.669 | | σ | 0.912-0.876=0.036 | | min | 4754.107-4751.614=2.493 | | max | 4756.176-4754.089=2.087 |
| | mean | 2416.000-2844.000=-428.000 | | σ | 0.000 | | min | 2416.000-2844.000=-428.000 | | max | 2416.000-2844.000=-428.000 |
| | mean | 8.805-8.039=0.766 | | σ | 0.188-0.429=-0.241 | | min | 8.575-7.676=0.899 | | max | 9.014-8.611=0.403 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.970-4943.625=1.345 | | σ | 0.167-0.017=0.150 | | min | 4944.672-4943.608=1.064 | | max | 4945.063-4943.648=1.415 |
| | mean | 2978.000-3065.000=-87.000 | | σ | 285.703-294.858=-9.156 | | min | 2596.000-2844.000=-248.000 | | max | 3321.000-3521.000=-200.000 |
| | mean | 8.659-8.626=0.033 | | σ | 0.248-0.455=-0.207 | | min | 8.426-8.308=0.118 | | max | 9.027-9.357=-0.330 |
|