Number of models: 338 Number of failed branches: 137 Number of total branches: 475 Number of total atoms: 1020 SAT Proving time: 23714 msec
これらのモデルの中で、T-Condition を満足し、かつ 与えられたゴールに対する論証構造を含むモデルは、 2つ ある。