iters=5 new-facts=1 prior-facts=1 | | mean | 278.695-278.696=-0.001 | | σ | 0.014-0.014=-0.000 | | min | 278.683-278.684=-0.001 | | max | 278.719-278.720=-0.001 |
| | mean | 2637.000-2608.000=29.000 | | σ | 0.000 | | min | 2637.000-2608.000=29.000 | | max | 2637.000-2608.000=29.000 |
| | mean | 0.418-0.420=-0.003 | | σ | 0.001-0.001=-0.000 | | min | 0.417-0.419=-0.003 | | max | 0.418-0.422=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.857-2268.870=-0.013 | | σ | 0.023-0.005=0.018 | | min | 2268.830-2268.863=-0.033 | | max | 2268.876-2268.875=0.001 |
| | mean | 2637.000-2608.000=29.000 | | σ | 0.000 | | min | 2637.000-2608.000=29.000 | | max | 2637.000-2608.000=29.000 |
| | mean | 3.158-2.971=0.187 | | σ | 0.162-0.120=0.042 | | min | 2.933-2.904=0.029 | | max | 3.359-3.183=0.176 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.258-4952.204=0.055 | | σ | 0.883-0.995=-0.112 | | min | 4951.438-4951.276=0.162 | | max | 4953.771-4953.904=-0.133 |
| | mean | 2637.000-2608.000=29.000 | | σ | 0.000 | | min | 2637.000-2608.000=29.000 | | max | 2637.000-2608.000=29.000 |
| | mean | 7.887-8.213=-0.326 | | σ | 0.069-0.279=-0.210 | | min | 7.785-7.894=-0.109 | | max | 7.948-8.478=-0.531 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.075-5167.069=0.006 | | σ | 0.010-0.009=0.002 | | min | 5167.066-5167.058=0.008 | | max | 5167.093-5167.078=0.015 |
| | mean | 3370.800-3406.400=-35.600 | | σ | 397.789-451.204=-53.415 | | min | 2985.000-2773.000=212.000 | | max | 3779.000-3959.000=-180.000 |
| | mean | 9.388-9.478=-0.090 | | σ | 0.248-0.319=-0.072 | | min | 9.147-9.062=0.084 | | max | 9.763-9.927=-0.164 |
|