qa/319.out

   1 QA output created by 319
   2
   3 e1: unknown
   4 e2: unknown
   5 false_1F_and_1F: false
   6 false_1F_and_1T: false
   7 false_1F_and_1U: false
   8 false_1F_and_nF: false
   9 false_1F_and_nT: false
  10 false_1F_and_nU: false
  11 false_1F_or_1F: false
  12 false_1F_or_nF: false
  13 false_1T_and_1F: false
  14 false_1T_and_nF: false
  15 false_1U_and_1F: false
  16 false_1U_and_nF: false
  17 false_nF_and_1F: false
  18 false_nF_and_1T: false
  19 false_nF_and_1U: false
  20 false_nF_and_nF: false
  21 false_nF_and_nT: false
  22 false_nF_and_nU: false
  23 false_nF_or_1F: false
  24 false_nF_or_nF: false
  25 false_nT_and_1F: false
  26 false_nT_and_nF: false
  27 false_nU_and_nF: false
  28 prime: ?
  29 true_1F_or_1T: OK should always be true
  30 true_1F_or_1T: true
  31 true_1F_or_nT: OK should always be true
  32 true_1F_or_nT: true
  33 true_1T_and_1T: OK should always be true
  34 true_1T_and_1T: true
  35 true_1T_and_nT: OK should always be true
  36 true_1T_and_nT: true
  37 true_1T_or_1F: OK should always be true
  38 true_1T_or_1F: true
  39 true_1T_or_1T: OK should always be true
  40 true_1T_or_1T: true
  41 true_1T_or_1U: OK should always be true
  42 true_1T_or_1U: true
  43 true_1T_or_nF: OK should always be true
  44 true_1T_or_nF: true
  45 true_1T_or_nT: OK should always be true
  46 true_1T_or_nT: true
  47 true_1T_or_nU: OK should always be true
  48 true_1T_or_nU: true
  49 true_1U_or_1T: OK should always be true
  50 true_1U_or_1T: true
  51 true_1U_or_nT: OK should always be true
  52 true_1U_or_nT: true
  53 true_nF_or_1T: OK should always be true
  54 true_nF_or_1T: true
  55 true_nF_or_nT: OK should always be true
  56 true_nF_or_nT: true
  57 true_nT_and_1T: OK should always be true
  58 true_nT_and_1T: true
  59 true_nT_and_nT: OK should always be true
  60 true_nT_and_nT: true
  61 true_nT_or_1F: OK should always be true
  62 true_nT_or_1F: true
  63 true_nT_or_1T: OK should always be true
  64 true_nT_or_1T: true
  65 true_nT_or_1U: OK should always be true
  66 true_nT_or_1U: true
  67 true_nT_or_nF: OK should always be true
  68 true_nT_or_nF: true
  69 true_nT_or_nT: OK should always be true
  70 true_nT_or_nT: true
  71 true_nT_or_nU: OK should always be true
  72 true_nT_or_nU: true
  73 true_nU_or_nT: OK should always be true
  74 true_nU_or_nT: true
  75 unknown_1F_or_1U: unknown
  76 unknown_1F_or_nU: unknown
  77 unknown_1T_and_1U: unknown
  78 unknown_1T_and_nU: unknown
  79 unknown_1U_and_1T: unknown
  80 unknown_1U_and_1U: unknown
  81 unknown_1U_and_nT: unknown
  82 unknown_1U_and_nU: unknown
  83 unknown_1U_or_1F: unknown
  84 unknown_1U_or_1U: unknown
  85 unknown_1U_or_nF: unknown
  86 unknown_1U_or_nU: unknown
  87 unknown_nF_or_1U: unknown
  88 unknown_nF_or_nU: unknown
  89 unknown_nT_and_1U: unknown
  90 unknown_nT_and_nU: unknown
  91 unknown_nU_and_1F: unknown
  92 unknown_nU_and_1T: unknown
  93 unknown_nU_and_1U: unknown
  94 unknown_nU_and_nT: unknown
  95 unknown_nU_and_nU: unknown
  96 unknown_nU_or_1F: unknown
  97 unknown_nU_or_1T: unknown
  98 unknown_nU_or_1U: unknown
  99 unknown_nU_or_nF: unknown
 100 unknown_nU_or_nU: unknown