iters=5 new-facts=1 prior-facts=1 | | mean | 285.411-326.581=-41.170 | | σ | 0.010-0.027=-0.017 | | min | 285.395-326.535=-41.140 | | max | 285.421-326.606=-41.185 |
| | mean | 1635.000-2737.000=-1102.000 | | σ | 0.000 | | min | 1635.000-2737.000=-1102.000 | | max | 1635.000-2737.000=-1102.000 |
| | mean | 0.380-0.421=-0.041 | | σ | 0.009-0.001=0.008 | | min | 0.373-0.421=-0.048 | | max | 0.391-0.423=-0.032 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.370-1988.740=-703.369 | | σ | 0.127-0.014=0.113 | | min | 1285.309-1988.723=-703.414 | | max | 1285.597-1988.754=-703.157 |
| | mean | 1635.000-2737.000=-1102.000 | | σ | 0.000 | | min | 1635.000-2737.000=-1102.000 | | max | 1635.000-2737.000=-1102.000 |
| | mean | 1.992-2.672=-0.681 | | σ | 0.214-0.054=0.160 | | min | 1.853-2.614=-0.761 | | max | 2.367-2.762=-0.395 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.694-4813.457=-3005.763 | | σ | 7.013-7.767=-0.754 | | min | 1804.333-4809.546=-3005.213 | | max | 1820.225-4827.344=-3007.119 |
| | mean | 1635.000-2737.000=-1102.000 | | σ | 0.000 | | min | 1635.000-2737.000=-1102.000 | | max | 1635.000-2737.000=-1102.000 |
| | mean | 4.153-8.787=-4.634 | | σ | 0.210-0.293=-0.083 | | min | 3.813-8.323=-4.510 | | max | 4.392-9.072=-4.680 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196-5001.157=-2930.961 | | σ | 0.009-0.035=-0.026 | | min | 2070.187-5001.113=-2930.926 | | max | 2070.210-5001.200=-2930.990 |
| | mean | 1863.400-3014.800=-1151.400 | | σ | 197.657-230.554=-32.897 | | min | 1635.000-2737.000=-1102.000 | | max | 2085.000-3288.000=-1203.000 |
| | mean | 4.486-9.993=-5.507 | | σ | 0.080-0.189=-0.109 | | min | 4.414-9.674=-5.260 | | max | 4.605-10.173=-5.568 |
|