iters=5 new-facts=1 prior-facts=1 | | mean | 326.543-326.575=-0.032 | | σ | 0.047-0.046=0.002 | | min | 326.460-326.496=-0.036 | | max | 326.578-326.611=-0.033 |
| | mean | 2610.000-2835.000=-225.000 | | σ | 0.000 | | min | 2610.000-2835.000=-225.000 | | max | 2610.000-2835.000=-225.000 |
| | mean | 0.426-0.423=0.003 | | σ | 0.006-0.002=0.004 | | min | 0.421-0.421=0.001 | | max | 0.433-0.426=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.744-1848.399=140.345 | | σ | 0.007-313.801=-313.793 | | min | 1988.733-1287.055=701.677 | | max | 1988.753-1988.741=0.012 |
| | mean | 2610.000-2835.000=-225.000 | | σ | 0.000 | | min | 2610.000-2835.000=-225.000 | | max | 2610.000-2835.000=-225.000 |
| | mean | 2.617-2.618=-0.001 | | σ | 0.085-0.479=-0.395 | | min | 2.509-1.801=0.707 | | max | 2.724-3.005=-0.280 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.510-4813.514=-0.004 | | σ | 7.797-7.783=0.014 | | min | 4809.627-4809.675=-0.048 | | max | 4827.450-4827.431=0.018 |
| | mean | 2610.000-2835.000=-225.000 | | σ | 0.000 | | min | 2610.000-2835.000=-225.000 | | max | 2610.000-2835.000=-225.000 |
| | mean | 8.560-8.324=0.236 | | σ | 0.663-0.539=0.124 | | min | 7.721-7.799=-0.077 | | max | 9.582-9.180=0.402 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.140-5001.072=0.068 | | σ | 0.021-0.176=-0.155 | | min | 5001.115-5000.759=0.356 | | max | 5001.162-5001.179=-0.017 |
| | mean | 2974.200-3000.200=-26.000 | | σ | 279.850-242.765=37.086 | | min | 2610.000-2835.000=-225.000 | | max | 3319.000-3392.000=-73.000 |
| | mean | 9.714-9.741=-0.027 | | σ | 0.102-0.162=-0.060 | | min | 9.567-9.539=0.029 | | max | 9.852-9.983=-0.131 |
|