iters=5 new-facts=1 prior-facts=1 | | mean | 285.412-326.454=-41.042 | | σ | 0.011-0.045=-0.034 | | min | 285.396-326.374=-40.978 | | max | 285.422-326.481=-41.060 |
| | mean | 1637.000-2823.000=-1186.000 | | σ | 0.000 | | min | 1637.000-2823.000=-1186.000 | | max | 1637.000-2823.000=-1186.000 |
| | mean | 0.381-0.422=-0.041 | | σ | 0.007-0.001=0.006 | | min | 0.376-0.421=-0.045 | | max | 0.391-0.423=-0.032 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.376-1988.614=-703.238 | | σ | 0.138-0.010=0.128 | | min | 1285.308-1988.604=-703.296 | | max | 1285.623-1988.626=-703.004 |
| | mean | 1637.000-2823.000=-1186.000 | | σ | 0.000 | | min | 1637.000-2823.000=-1186.000 | | max | 1637.000-2823.000=-1186.000 |
| | mean | 1.857-2.688=-0.831 | | σ | 0.068-0.116=-0.048 | | min | 1.799-2.580=-0.782 | | max | 1.968-2.883=-0.915 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.682-4813.327=-3005.645 | | σ | 7.023-7.789=-0.766 | | min | 1804.316-4809.376=-3005.060 | | max | 1820.232-4827.251=-3007.019 |
| | mean | 1637.000-2823.000=-1186.000 | | σ | 0.000 | | min | 1637.000-2823.000=-1186.000 | | max | 1637.000-2823.000=-1186.000 |
| | mean | 4.099-8.749=-4.650 | | σ | 0.238-0.520=-0.282 | | min | 3.807-7.892=-4.085 | | max | 4.401-9.165=-4.765 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196-5001.009=-2930.813 | | σ | 0.006-0.015=-0.009 | | min | 2070.190-5000.995=-2930.804 | | max | 2070.206-5001.030=-2930.824 |
| | mean | 1847.000-3004.600=-1157.600 | | σ | 174.581-203.003=-28.422 | | min | 1637.000-2823.000=-1186.000 | | max | 2090.000-3317.000=-1227.000 |
| | mean | 4.499-9.573=-5.074 | | σ | 0.096-0.543=-0.447 | | min | 4.433-8.612=-4.179 | | max | 4.666-9.934=-5.267 |
|