iters=5 new-facts=1 prior-facts=1 | | mean | 285.411-326.634=-41.223 | | σ | 0.013-0.048=-0.036 | | min | 285.398-326.548=-41.151 | | max | 285.424-326.662=-41.238 |
| | mean | 1639.000-2695.000=-1056.000 | | σ | 0.000 | | min | 1639.000-2695.000=-1056.000 | | max | 1639.000-2695.000=-1056.000 |
| | mean | 0.378-0.426=-0.048 | | σ | 0.009-0.005=0.004 | | min | 0.368-0.420=-0.052 | | max | 0.388-0.431=-0.043 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.368-1988.785=-703.417 | | σ | 0.129-0.010=0.119 | | min | 1285.305-1988.768=-703.463 | | max | 1285.599-1988.795=-703.196 |
| | mean | 1639.000-2695.000=-1056.000 | | σ | 0.000 | | min | 1639.000-2695.000=-1056.000 | | max | 1639.000-2695.000=-1056.000 |
| | mean | 1.867-2.725=-0.857 | | σ | 0.090-0.179=-0.089 | | min | 1.804-2.583=-0.779 | | max | 2.013-3.009=-0.996 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.718-4813.548=-3005.829 | | σ | 6.960-7.797=-0.837 | | min | 1804.353-4809.595=-3005.242 | | max | 1820.152-4827.487=-3007.334 |
| | mean | 1639.000-2695.000=-1056.000 | | σ | 0.000 | | min | 1639.000-2695.000=-1056.000 | | max | 1639.000-2695.000=-1056.000 |
| | mean | 4.197-8.492=-4.295 | | σ | 0.179-0.587=-0.408 | | min | 4.027-7.952=-3.925 | | max | 4.421-9.316=-4.894 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.197-5001.137=-2930.940 | | σ | 0.009-0.181=-0.172 | | min | 2070.189-5000.818=-2930.629 | | max | 2070.213-5001.262=-2931.049 |
| | mean | 1878.600-3009.000=-1130.400 | | σ | 227.992-361.517=-133.525 | | min | 1639.000-2695.000=-1056.000 | | max | 2180.000-3533.000=-1353.000 |
| | mean | 4.504-9.829=-5.325 | | σ | 0.084-0.222=-0.138 | | min | 4.432-9.659=-5.226 | | max | 4.642-10.215=-5.573 |
|