iters=5 new-facts=1 prior-facts=1 | | mean | 285.675-326.440=-40.765 | | σ | 0.008-0.060=-0.052 | | min | 285.663-326.334=-40.671 | | max | 285.682-326.476=-40.794 |
| | mean | 1623.000-2823.000=-1200.000 | | σ | 0.000 | | min | 1623.000-2823.000=-1200.000 | | max | 1623.000-2823.000=-1200.000 |
| | mean | 0.379-0.427=-0.048 | | σ | 0.009-0.005=0.003 | | min | 0.373-0.422=-0.048 | | max | 0.394-0.435=-0.040 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.635-1988.614=-702.979 | | σ | 0.129-0.008=0.121 | | min | 1285.571-1988.602=-703.031 | | max | 1285.866-1988.624=-702.758 |
| | mean | 1623.000-2823.000=-1200.000 | | σ | 0.000 | | min | 1623.000-2823.000=-1200.000 | | max | 1623.000-2823.000=-1200.000 |
| | mean | 1.869-2.706=-0.837 | | σ | 0.030-0.133=-0.103 | | min | 1.846-2.597=-0.751 | | max | 1.921-2.923=-1.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.970-4812.292=-3004.322 | | σ | 6.991-7.842=-0.851 | | min | 1804.620-4808.308=-3003.688 | | max | 1820.461-4826.310=-3005.849 |
| | mean | 1623.000-2823.000=-1200.000 | | σ | 0.000 | | min | 1623.000-2823.000=-1200.000 | | max | 1623.000-2823.000=-1200.000 |
| | mean | 4.172-8.897=-4.725 | | σ | 0.131-0.601=-0.469 | | min | 4.009-8.113=-4.104 | | max | 4.349-9.760=-5.411 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462-4999.936=-2929.474 | | σ | 0.014-0.025=-0.011 | | min | 2070.445-4999.912=-2929.467 | | max | 2070.482-4999.973=-2929.492 |
| | mean | 1856.000-3045.600=-1189.600 | | σ | 203.924-194.185=9.739 | | min | 1623.000-2823.000=-1200.000 | | max | 2091.000-3320.000=-1229.000 |
| | mean | 4.558-9.869=-5.311 | | σ | 0.160-0.096=0.064 | | min | 4.426-9.777=-5.351 | | max | 4.824-10.006=-5.182 |
|