iters=5 new-facts=1 prior-facts=1 | | mean | 275.762-275.760=0.002 | | σ | 0.009-0.010=-0.001 | | min | 275.752-275.747=0.005 | | max | 275.772-275.773=-0.000 |
| | mean | 2647.000-2772.000=-125.000 | | σ | 0.000 | | min | 2647.000-2772.000=-125.000 | | max | 2647.000-2772.000=-125.000 |
| | mean | 0.405-0.408=-0.003 | | σ | 0.010-0.008=0.002 | | min | 0.396-0.399=-0.003 | | max | 0.418-0.417=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.279-2168.290=-0.012 | | σ | 0.015-0.007=0.009 | | min | 2168.260-2168.285=-0.025 | | max | 2168.293-2168.299=-0.007 |
| | mean | 2647.000-2772.000=-125.000 | | σ | 0.000 | | min | 2647.000-2772.000=-125.000 | | max | 2647.000-2772.000=-125.000 |
| | mean | 2.955-3.014=-0.058 | | σ | 0.154-0.134=0.020 | | min | 2.768-2.834=-0.066 | | max | 3.134-3.161=-0.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.986-5048.100=-0.114 | | σ | 0.634-0.926=-0.292 | | min | 5047.605-5047.616=-0.011 | | max | 5049.101-5049.753=-0.652 |
| | mean | 2647.000-2772.000=-125.000 | | σ | 0.000 | | min | 2647.000-2772.000=-125.000 | | max | 2647.000-2772.000=-125.000 |
| | mean | 8.882-8.721=0.161 | | σ | 0.476-0.377=0.099 | | min | 8.144-8.096=0.048 | | max | 9.410-9.081=0.329 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.161-5179.241=-0.080 | | σ | 0.126-0.083=0.044 | | min | 5178.962-5179.172=-0.210 | | max | 5179.310-5179.335=-0.025 |
| | mean | 3236.200-3234.600=1.600 | | σ | 339.342-363.081=-23.739 | | min | 2789.000-2772.000=17.000 | | max | 3685.000-3728.000=-43.000 |
| | mean | 9.886-9.932=-0.047 | | σ | 0.265-0.223=0.042 | | min | 9.438-9.550=-0.112 | | max | 10.150-10.117=0.033 |
|