反復的な試行にもとづく SMT ソルバ実行戦略の検討