iters=5 new-facts=1 prior-facts=1 | | mean | 278.822-278.824=-0.001 | | σ | 0.004-0.008=-0.004 | | min | 278.816-278.810=0.007 | | max | 278.826-278.830=-0.004 |
| | mean | 2729.000-2691.000=38.000 | | σ | 0.000 | | min | 2729.000-2691.000=38.000 | | max | 2729.000-2691.000=38.000 |
| | mean | 0.409-0.411=-0.003 | | σ | 0.007-0.005=0.002 | | min | 0.398-0.408=-0.011 | | max | 0.416-0.420=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.882-2268.875=0.007 | | σ | 0.011-0.015=-0.005 | | min | 2268.871-2268.854=0.018 | | max | 2268.898-2268.895=0.004 |
| | mean | 2729.000-2691.000=38.000 | | σ | 0.000 | | min | 2729.000-2691.000=38.000 | | max | 2729.000-2691.000=38.000 |
| | mean | 2.957-3.018=-0.061 | | σ | 0.055-0.143=-0.088 | | min | 2.900-2.933=-0.032 | | max | 3.028-3.271=-0.244 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.244-4954.118=0.126 | | σ | 0.890-0.967=-0.077 | | min | 4953.721-4953.286=0.435 | | max | 4955.825-4955.790=0.035 |
| | mean | 2729.000-2691.000=38.000 | | σ | 0.000 | | min | 2729.000-2691.000=38.000 | | max | 2729.000-2691.000=38.000 |
| | mean | 8.093-8.074=0.019 | | σ | 0.439-0.400=0.038 | | min | 7.759-7.685=0.074 | | max | 8.780-8.714=0.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.782-5168.722=0.060 | | σ | 0.080-0.120=-0.040 | | min | 5168.722-5168.536=0.186 | | max | 5168.888-5168.870=0.018 |
| | mean | 3378.000-3413.000=-35.000 | | σ | 450.943-448.939=2.004 | | min | 2770.000-2816.000=-46.000 | | max | 3956.000-3995.000=-39.000 |
| | mean | 9.239-9.588=-0.349 | | σ | 0.187-0.340=-0.153 | | min | 9.049-9.057=-0.008 | | max | 9.444-9.967=-0.523 |
|