Somewhat surprisingly, the model of BiLSTMs seems not good for this sentence-pair modeling task, the reason might be that using the last states of LSTMs ignores too much information of the  previous words of the sequence.
for the rest models, CNN will be selected to compute sentence vectors.