iters=5 new-facts=1 prior-facts=1 | | mean | 285.412-326.542=-41.130 | | σ | 0.010-0.047=-0.037 | | min | 285.395-326.459=-41.064 | | max | 285.421-326.579=-41.157 |
| | mean | 1636.000-2713.000=-1077.000 | | σ | 0.000 | | min | 1636.000-2713.000=-1077.000 | | max | 1636.000-2713.000=-1077.000 |
| | mean | 0.378-0.426=-0.049 | | σ | 0.007-0.004=0.003 | | min | 0.374-0.422=-0.048 | | max | 0.390-0.432=-0.042 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.373-1988.732=-703.359 | | σ | 0.124-0.011=0.113 | | min | 1285.314-1988.717=-703.402 | | max | 1285.596-1988.747=-703.151 |
| | mean | 1636.000-2713.000=-1077.000 | | σ | 0.000 | | min | 1636.000-2713.000=-1077.000 | | max | 1636.000-2713.000=-1077.000 |
| | mean | 1.916-2.726=-0.810 | | σ | 0.115-0.135=-0.020 | | min | 1.804-2.621=-0.816 | | max | 2.080-2.958=-0.878 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.689-4813.494=-3005.805 | | σ | 6.998-7.808=-0.810 | | min | 1804.337-4809.746=-3005.409 | | max | 1820.194-4827.458=-3007.264 |
| | mean | 1636.000-2713.000=-1077.000 | | σ | 0.000 | | min | 1636.000-2713.000=-1077.000 | | max | 1636.000-2713.000=-1077.000 |
| | mean | 4.115-8.689=-4.574 | | σ | 0.234-0.640=-0.406 | | min | 3.856-7.827=-3.971 | | max | 4.439-9.366=-4.927 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.190-5001.133=-2930.943 | | σ | 0.007-0.015=-0.008 | | min | 2070.180-5001.115=-2930.935 | | max | 2070.200-5001.150=-2930.950 |
| | mean | 1838.200-2963.800=-1125.600 | | σ | 188.355-302.933=-114.578 | | min | 1636.000-2713.000=-1077.000 | | max | 2082.000-3429.000=-1347.000 |
| | mean | 4.477-9.281=-4.803 | | σ | 0.109-0.549=-0.440 | | min | 4.406-8.352=-3.946 | | max | 4.670-9.686=-5.016 |
|