Processing file Disb_t2k10.txt  using constraint rules  excludes.pl
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes
% learned_temp compiled 0.00 sec, 3,568 bytes
 Excludes constraints

  Processing file Reqs_t2k10.txt  using constraint rules  excludes.pl
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes
% learned_temp compiled 0.00 sec, 3,688 bytes
 Excludes constraints

  Processing file 2Cons_t2k10.txt  using constraint rules  excludes.pl
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes
% learned_temp compiled 0.00 sec, 3,584 bytes
 Excludes constraints

  Processing file 2Excl_t2k10.txt  using constraint rules  excludes.pl
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes
% learned_temp compiled 0.00 sec, 3,584 bytes
 Excludes constraints
0 excludes 1 (inference error = 0%; i.e., 0 of 18)
*** ADVICE: Event 0 appears in 2 of 3 DIFFERENT invariants; may be indicative of another invariant.
*** ADVICE: Event 1 appears in 2 of 3 DIFFERENT invariants; may be indicative of another invariant.

  Processing file Cmpd_t2k10.txt  using constraint rules  excludes.pl
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes
% learned_temp compiled 0.00 sec, 3,864 bytes
 Excludes constraints