2020-09-16
（計測結果を別のスプレッドシートに記録してたところ、別のシートに追記すれば良いということを教えてもらった）
total-order や order-principle がテストケースが複雑になるごとに倍々で実行時間が増えているように見えることを先生が指摘し、指数的に増えている可能性がないかと言われた
history を未だに持っているのが原因かもしれないと答えると、それを改善してみたほうが良いという話だった
（total-order は order-principle よりも conflict が起きる回数が MiniSat では多かったので、それを考えてみると conflict 絡みの負荷と考えることができるかも……） SAT solver の性能計測のための StarExec というサービスがある