测试求解器：SharpSAT-TD与SharpSATTD-CH
18000s测试结果
测试结果图
对3600s未得到结果的数据进行18000s的测试，48组数据，最终有4组在18000s（5h）内解出
测试数据117
SharpSAT-TD输出：
SharpSATTD-CH输出：
刷新cache次数：4
测试数据129
SharpSAT-TD输出：
SharpSATTD-CH输出：
刷新cache次数：0
测试数据189
SharpSAT-TD输出：
SharpSATTD-CH输出：
刷新cache次数：20
测试数据191
SharpSAT-TD输出：
SharpSATTD-CH输出：
刷新cache次数：0
