iters=5 new-facts=1 prior-facts=1 | | mean | 285.411-326.646=-41.235 | | σ | 0.011-0.030=-0.019 | | min | 285.395-326.596=-41.202 | | max | 285.423-326.675=-41.252 |
| | mean | 1642.000-2598.000=-956.000 | | σ | 0.000 | | min | 1642.000-2598.000=-956.000 | | max | 1642.000-2598.000=-956.000 |
| | mean | 0.377-0.428=-0.051 | | σ | 0.007-0.004=0.002 | | min | 0.373-0.423=-0.051 | | max | 0.389-0.435=-0.046 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.371-1988.797=-703.425 | | σ | 0.126-0.014=0.112 | | min | 1285.311-1988.781=-703.470 | | max | 1285.596-1988.813=-703.217 |
| | mean | 1642.000-2598.000=-956.000 | | σ | 0.000 | | min | 1642.000-2598.000=-956.000 | | max | 1642.000-2598.000=-956.000 |
| | mean | 1.889-2.653=-0.764 | | σ | 0.140-0.186=-0.046 | | min | 1.718-2.389=-0.671 | | max | 2.074-2.896=-0.823 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.698-4813.365=-3005.667 | | σ | 7.039-7.937=-0.898 | | min | 1804.325-4809.531=-3005.206 | | max | 1820.277-4827.552=-3007.276 |
| | mean | 1642.000-2598.000=-956.000 | | σ | 0.000 | | min | 1642.000-2598.000=-956.000 | | max | 1642.000-2598.000=-956.000 |
| | mean | 4.187-8.782=-4.595 | | σ | 0.327-0.747=-0.420 | | min | 3.831-7.752=-3.920 | | max | 4.626-9.522=-4.896 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195-5001.123=-2930.928 | | σ | 0.016-0.153=-0.137 | | min | 2070.182-5000.852=-2930.671 | | max | 2070.222-5001.220=-2930.998 |
| | mean | 1852.400-2927.000=-1074.600 | | σ | 175.256-347.353=-172.096 | | min | 1642.000-2598.000=-956.000 | | max | 2096.000-3434.000=-1338.000 |
| | mean | 4.481-9.444=-4.964 | | σ | 0.127-0.576=-0.448 | | min | 4.395-8.509=-4.114 | | max | 4.701-9.870=-5.169 |
|