iters=5 new-facts=1 prior-facts=1 | | mean | 326.503-326.510=-0.007 | | σ | 0.050-0.040=0.010 | | min | 326.414-326.441=-0.027 | | max | 326.530-326.543=-0.012 |
| | mean | 2613.000-2589.000=24.000 | | σ | 0.000 | | min | 2613.000-2589.000=24.000 | | max | 2613.000-2589.000=24.000 |
| | mean | 0.424-0.425=-0.001 | | σ | 0.002-0.003=-0.002 | | min | 0.422-0.422=-0.000 | | max | 0.426-0.431=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.670-1988.672=-0.003 | | σ | 0.015-0.010=0.005 | | min | 1988.651-1988.659=-0.008 | | max | 1988.688-1988.683=0.005 |
| | mean | 2613.000-2589.000=24.000 | | σ | 0.000 | | min | 2613.000-2589.000=24.000 | | max | 2613.000-2589.000=24.000 |
| | mean | 2.715-2.789=-0.074 | | σ | 0.153-0.225=-0.072 | | min | 2.522-2.581=-0.059 | | max | 2.947-3.042=-0.094 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.325-4813.410=-0.085 | | σ | 7.860-7.794=0.066 | | min | 4809.409-4809.578=-0.169 | | max | 4827.374-4827.348=0.026 |
| | mean | 2613.000-2589.000=24.000 | | σ | 0.000 | | min | 2613.000-2589.000=24.000 | | max | 2613.000-2589.000=24.000 |
| | mean | 8.414-8.602=-0.187 | | σ | 0.565-0.565=0.000 | | min | 7.811-7.822=-0.011 | | max | 9.293-9.355=-0.063 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.933-5001.069=-0.136 | | σ | 0.305-0.018=0.287 | | min | 5000.389-5001.052=-0.664 | | max | 5001.098-5001.097=0.001 |
| | mean | 2944.600-2942.400=2.200 | | σ | 347.052-365.495=-18.443 | | min | 2613.000-2589.000=24.000 | | max | 3413.000-3438.000=-25.000 |
| | mean | 9.650-9.488=0.162 | | σ | 0.274-0.465=-0.191 | | min | 9.330-8.714=0.616 | | max | 9.968-9.792=0.177 |
|