iters=5 new-facts=1 prior-facts=1 | | mean | 270.124-270.127=-0.003 | | σ | 0.002-0.008=-0.005 | | min | 270.121-270.121=-0.000 | | max | 270.126-270.140=-0.014 |
| | mean | 2466.000-2799.000=-333.000 | | σ | 0.000 | | min | 2466.000-2799.000=-333.000 | | max | 2466.000-2799.000=-333.000 |
| | mean | 0.374-0.372=0.002 | | σ | 0.006-0.004=0.002 | | min | 0.370-0.368=0.002 | | max | 0.385-0.378=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.595-1930.593=0.003 | | σ | 0.007-0.007=0.000 | | min | 1930.584-1930.586=-0.001 | | max | 1930.604-1930.602=0.001 |
| | mean | 2466.000-2799.000=-333.000 | | σ | 0.000 | | min | 2466.000-2799.000=-333.000 | | max | 2466.000-2799.000=-333.000 |
| | mean | 2.552-2.552=0.000 | | σ | 0.118-0.157=-0.039 | | min | 2.457-2.455=0.002 | | max | 2.744-2.826=-0.082 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.069-4751.036=0.034 | | σ | 0.884-0.870=0.014 | | min | 4750.535-4750.548=-0.013 | | max | 4752.640-4752.584=0.056 |
| | mean | 2466.000-2799.000=-333.000 | | σ | 0.000 | | min | 2466.000-2799.000=-333.000 | | max | 2466.000-2799.000=-333.000 |
| | mean | 8.511-8.745=-0.234 | | σ | 0.580-0.176=0.404 | | min | 7.601-8.445=-0.844 | | max | 9.147-8.882=0.265 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.530-4941.531=-0.001 | | σ | 0.085-0.092=-0.007 | | min | 4941.452-4941.457=-0.005 | | max | 4941.626-4941.636=-0.011 |
| | mean | 3016.600-3050.200=-33.600 | | σ | 271.895-260.938=10.957 | | min | 2621.000-2799.000=-178.000 | | max | 3351.000-3421.000=-70.000 |
| | mean | 8.492-8.507=-0.015 | | σ | 0.140-0.131=0.009 | | min | 8.353-8.370=-0.018 | | max | 8.652-8.659=-0.008 |
|