iters=5 new-facts=1 prior-facts=1 | | mean | 275.554-275.567=-0.013 | | σ | 0.022-0.007=0.015 | | min | 275.531-275.558=-0.027 | | max | 275.581-275.576=0.005 |
| | mean | 2640.000-2856.000=-216.000 | | σ | 0.000 | | min | 2640.000-2856.000=-216.000 | | max | 2640.000-2856.000=-216.000 |
| | mean | 0.407-0.405=0.002 | | σ | 0.011-0.010=0.001 | | min | 0.398-0.396=0.002 | | max | 0.420-0.418=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.096-2168.094=0.002 | | σ | 0.007-0.014=-0.007 | | min | 2168.088-2168.077=0.010 | | max | 2168.105-2168.114=-0.009 |
| | mean | 2640.000-2856.000=-216.000 | | σ | 0.000 | | min | 2640.000-2856.000=-216.000 | | max | 2640.000-2856.000=-216.000 |
| | mean | 2.947-2.945=0.002 | | σ | 0.126-0.135=-0.010 | | min | 2.762-2.792=-0.030 | | max | 3.062-3.118=-0.056 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.935-5047.904=0.031 | | σ | 0.888-0.911=-0.023 | | min | 5047.358-5047.403=-0.045 | | max | 5049.507-5049.525=-0.018 |
| | mean | 2640.000-2856.000=-216.000 | | σ | 0.000 | | min | 2640.000-2856.000=-216.000 | | max | 2640.000-2856.000=-216.000 |
| | mean | 8.749-9.034=-0.285 | | σ | 0.498-0.408=0.090 | | min | 8.097-8.378=-0.281 | | max | 9.420-9.464=-0.044 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.984-5179.044=-0.060 | | σ | 0.204-0.078=0.126 | | min | 5178.654-5178.966=-0.312 | | max | 5179.154-5179.127=0.028 |
| | mean | 3212.000-3320.000=-108.000 | | σ | 350.840-365.580=-14.740 | | min | 2716.000-2856.000=-140.000 | | max | 3641.000-3675.000=-34.000 |
| | mean | 10.042-9.746=0.296 | | σ | 0.151-0.278=-0.127 | | min | 9.852-9.516=0.337 | | max | 10.253-10.214=0.039 |
|