Processing file Disb_t2k10.txt using constraint rules disabledAtPos.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 4,192 bytes Disabled at specific positions invariants Processing file Reqs_t2k10.txt using constraint rules disabledAtPos.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 4,032 bytes Disabled at specific positions invariants 2 is always disabled at position 0 (inference error = 0%; i.e., 0 of 3) Processing file 2Cons_t2k10.txt using constraint rules disabledAtPos.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 4,312 bytes Disabled at specific positions invariants Processing file 2Excl_t2k10.txt using constraint rules disabledAtPos.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 4,312 bytes Disabled at specific positions invariants Processing file Cmpd_t2k10.txt using constraint rules disabledAtPos.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 4,312 bytes Disabled at specific positions invariants 4 is always disabled at position 0 (inference error = 0%; i.e., 0 of 5)