iters=5 new-facts=1 prior-facts=1 | | mean | 277.711-277.734=-0.023 | | σ | 0.010-0.013=-0.002 | | min | 277.697-277.720=-0.023 | | max | 277.723-277.750=-0.027 |
| | mean | 2654.000-2743.000=-89.000 | | σ | 0.000 | | min | 2654.000-2743.000=-89.000 | | max | 2654.000-2743.000=-89.000 |
| | mean | 0.409-0.410=-0.001 | | σ | 0.002-0.001=0.000 | | min | 0.408-0.408=0.000 | | max | 0.411-0.411=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.876-2267.875=0.001 | | σ | 0.024-0.027=-0.004 | | min | 2267.847-2267.843=0.004 | | max | 2267.902-2267.897=0.005 |
| | mean | 2654.000-2743.000=-89.000 | | σ | 0.000 | | min | 2654.000-2743.000=-89.000 | | max | 2654.000-2743.000=-89.000 |
| | mean | 3.159-3.103=0.056 | | σ | 0.152-0.179=-0.027 | | min | 2.943-2.847=0.096 | | max | 3.318-3.332=-0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.064-4955.132=-0.068 | | σ | 0.820-0.991=-0.171 | | min | 4954.563-4954.590=-0.028 | | max | 4956.522-4956.900=-0.378 |
| | mean | 2654.000-2743.000=-89.000 | | σ | 0.000 | | min | 2654.000-2743.000=-89.000 | | max | 2654.000-2743.000=-89.000 |
| | mean | 7.906-7.964=-0.057 | | σ | 0.256-0.135=0.121 | | min | 7.651-7.762=-0.111 | | max | 8.230-8.127=0.103 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.713-5169.693=0.020 | | σ | 0.154-0.208=-0.054 | | min | 5169.475-5169.349=0.126 | | max | 5169.870-5169.860=0.010 |
| | mean | 3351.600-3367.800=-16.200 | | σ | 425.034-401.927=23.107 | | min | 2929.000-2979.000=-50.000 | | max | 3779.000-3781.000=-2.000 |
| | mean | 9.317-9.576=-0.259 | | σ | 0.306-0.367=-0.060 | | min | 8.930-9.211=-0.281 | | max | 9.685-10.169=-0.484 |
|