iters=5 new-facts=1 prior-facts=1 | | mean | 326.440-326.442=-0.002 | | σ | 0.060-0.053=0.007 | | min | 326.334-326.347=-0.013 | | max | 326.476-326.469=0.007 |
| | mean | 2691.000-2610.000=81.000 | | σ | 0.000 | | min | 2691.000-2610.000=81.000 | | max | 2691.000-2610.000=81.000 |
| | mean | 0.427-0.428=-0.001 | | σ | 0.005-0.002=0.003 | | min | 0.424-0.426=-0.002 | | max | 0.436-0.431=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.616-1988.612=0.004 | | σ | 0.012-0.012=-0.000 | | min | 1988.596-1988.598=-0.002 | | max | 1988.629-1988.623=0.006 |
| | mean | 2691.000-2610.000=81.000 | | σ | 0.000 | | min | 2691.000-2610.000=81.000 | | max | 2691.000-2610.000=81.000 |
| | mean | 2.690-2.693=-0.003 | | σ | 0.060-0.080=-0.021 | | min | 2.641-2.596=0.045 | | max | 2.783-2.817=-0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.495-4813.342=0.153 | | σ | 7.702-7.800=-0.098 | | min | 4809.912-4809.449=0.463 | | max | 4827.271-4827.289=-0.017 |
| | mean | 2691.000-2610.000=81.000 | | σ | 0.000 | | min | 2691.000-2610.000=81.000 | | max | 2691.000-2610.000=81.000 |
| | mean | 8.313-8.797=-0.484 | | σ | 0.600-0.301=0.298 | | min | 7.851-8.469=-0.619 | | max | 9.217-9.214=0.003 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.011-5001.010=0.001 | | σ | 0.018-0.026=-0.008 | | min | 5000.989-5000.979=0.010 | | max | 5001.031-5001.046=-0.015 |
| | mean | 2982.200-2961.400=20.800 | | σ | 336.416-266.965=69.451 | | min | 2691.000-2622.000=69.000 | | max | 3478.000-3317.000=161.000 |
| | mean | 9.601-9.672=-0.071 | | σ | 0.404-0.320=0.084 | | min | 8.888-9.223=-0.335 | | max | 9.830-9.989=-0.159 |
|