iters=5 new-facts=1 prior-facts=1 | | mean | 294.674-324.760=-30.086 | | σ | 0.015-0.052=-0.037 | | min | 294.653-324.670=-30.017 | | max | 294.694-324.797=-30.103 |
| | mean | 1653.000-2423.000=-770.000 | | σ | 0.000 | | min | 1653.000-2423.000=-770.000 | | max | 1653.000-2423.000=-770.000 |
| | mean | 0.386-0.429=-0.043 | | σ | 0.009-0.010=-0.002 | | min | 0.379-0.424=-0.045 | | max | 0.397-0.447=-0.050 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.989-1985.323=-668.334 | | σ | 0.059-0.013=0.046 | | min | 1316.903-1985.303=-668.400 | | max | 1317.043-1985.336=-668.293 |
| | mean | 1653.000-2423.000=-770.000 | | σ | 0.000 | | min | 1653.000-2423.000=-770.000 | | max | 1653.000-2423.000=-770.000 |
| | mean | 2.049-2.609=-0.559 | | σ | 0.200-0.112=0.088 | | min | 1.848-2.515=-0.667 | | max | 2.326-2.777=-0.451 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.316-4809.097=-3253.781 | | σ | 6.818-7.708=-0.890 | | min | 1552.074-4805.616=-3253.542 | | max | 1567.509-4822.886=-3255.377 |
| | mean | 1653.000-2423.000=-770.000 | | σ | 0.000 | | min | 1653.000-2423.000=-770.000 | | max | 1653.000-2423.000=-770.000 |
| | mean | 2.273-9.073=-6.800 | | σ | 0.100-0.125=-0.025 | | min | 2.178-8.958=-6.780 | | max | 2.430-9.237=-6.807 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.773-4996.635=-3111.863 | | σ | 0.031-0.017=0.014 | | min | 1884.754-4996.616=-3111.862 | | max | 1884.828-4996.653=-3111.826 |
| | mean | 1771.800-2987.000=-1215.200 | | σ | 129.643-319.493=-189.850 | | min | 1653.000-2566.000=-913.000 | | max | 1967.000-3393.000=-1426.000 |
| | mean | 3.028-8.609=-5.581 | | σ | 0.168-0.102=0.065 | | min | 2.878-8.510=-5.631 | | max | 3.274-8.772=-5.498 |
|