iters=5 new-facts=1 prior-facts=1 | | mean | 285.389-326.575=-41.186 | | σ | 0.009-0.043=-0.034 | | min | 285.377-326.503=-41.126 | | max | 285.400-326.616=-41.215 |
| | mean | 1636.000-2630.000=-994.000 | | σ | 0.000 | | min | 1636.000-2630.000=-994.000 | | max | 1636.000-2630.000=-994.000 |
| | mean | 0.382-0.424=-0.043 | | σ | 0.012-0.007=0.005 | | min | 0.374-0.420=-0.046 | | max | 0.402-0.436=-0.034 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.373-1988.727=-703.354 | | σ | 0.133-0.018=0.115 | | min | 1285.303-1988.707=-703.403 | | max | 1285.610-1988.749=-703.140 |
| | mean | 1636.000-2630.000=-994.000 | | σ | 0.000 | | min | 1636.000-2630.000=-994.000 | | max | 1636.000-2630.000=-994.000 |
| | mean | 1.858-2.803=-0.945 | | σ | 0.023-0.283=-0.260 | | min | 1.842-2.632=-0.790 | | max | 1.899-3.305=-1.405 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.743-4813.458=-3005.715 | | σ | 6.958-7.778=-0.821 | | min | 1804.355-4809.613=-3005.257 | | max | 1820.178-4827.367=-3007.190 |
| | mean | 1636.000-2630.000=-994.000 | | σ | 0.000 | | min | 1636.000-2630.000=-994.000 | | max | 1636.000-2630.000=-994.000 |
| | mean | 4.290-8.985=-4.694 | | σ | 0.299-0.192=0.107 | | min | 4.085-8.674=-4.590 | | max | 4.766-9.173=-4.407 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.194-5001.146=-2930.951 | | σ | 0.015-0.034=-0.019 | | min | 2070.176-5001.112=-2930.936 | | max | 2070.216-5001.200=-2930.983 |
| | mean | 1850.600-2989.800=-1139.200 | | σ | 208.260-275.427=-67.167 | | min | 1636.000-2630.000=-994.000 | | max | 2088.000-3317.000=-1229.000 |
| | mean | 4.560-9.752=-5.192 | | σ | 0.281-0.388=-0.108 | | min | 4.408-9.113=-4.705 | | max | 5.062-10.125=-5.064 |
|