iters=5 new-facts=1 prior-facts=1 | | mean | 280.215-326.634=-46.419 | | σ | 0.010-0.048=-0.039 | | min | 280.203-326.548=-46.345 | | max | 280.225-326.662=-46.437 |
| | mean | 1473.000-2695.000=-1222.000 | | σ | 0.000 | | min | 1473.000-2695.000=-1222.000 | | max | 1473.000-2695.000=-1222.000 |
| | mean | 0.370-0.426=-0.056 | | σ | 0.004-0.005=-0.001 | | min | 0.368-0.420=-0.053 | | max | 0.377-0.431=-0.054 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1280.283-1988.785=-708.502 | | σ | 0.124-0.010=0.114 | | min | 1280.214-1988.768=-708.554 | | max | 1280.502-1988.795=-708.292 |
| | mean | 1473.000-2695.000=-1222.000 | | σ | 0.000 | | min | 1473.000-2695.000=-1222.000 | | max | 1473.000-2695.000=-1222.000 |
| | mean | 1.841-2.725=-0.884 | | σ | 0.040-0.179=-0.139 | | min | 1.799-2.583=-0.784 | | max | 1.902-3.009=-1.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1802.580-4813.548=-3010.968 | | σ | 7.057-7.797=-0.740 | | min | 1799.178-4809.595=-3010.417 | | max | 1815.188-4827.487=-3012.298 |
| | mean | 1473.000-2695.000=-1222.000 | | σ | 0.000 | | min | 1473.000-2695.000=-1222.000 | | max | 1473.000-2695.000=-1222.000 |
| | mean | 4.305-8.492=-4.188 | | σ | 0.203-0.587=-0.385 | | min | 4.006-7.952=-3.946 | | max | 4.481-9.316=-4.834 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2065.010-5001.137=-2936.128 | | σ | 0.011-0.181=-0.170 | | min | 2065.002-5000.818=-2935.816 | | max | 2065.028-5001.262=-2936.234 |
| | mean | 1802.000-3009.000=-1207.000 | | σ | 195.974-361.517=-165.542 | | min | 1561.000-2695.000=-1134.000 | | max | 1993.000-3533.000=-1540.000 |
| | mean | 4.412-9.829=-5.418 | | σ | 0.087-0.222=-0.135 | | min | 4.329-9.659=-5.330 | | max | 4.532-10.215=-5.683 |
|