Processing file Disb_t2k10.txt using constraint rules requires.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 3,568 bytes Requires constraints Processing file Reqs_t2k10.txt using constraint rules requires.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 3,688 bytes Requires constraints 2 requires 1 (inference error = 0%; i.e., 0 of 81) Processing file 2Cons_t2k10.txt using constraint rules requires.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 3,584 bytes Requires constraints Processing file 2Excl_t2k10.txt using constraint rules requires.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 3,760 bytes Requires constraints Processing file Cmpd_t2k10.txt using constraint rules requires.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.00 sec, 3,864 bytes Requires constraints 4 requires 2 (inference error = 0%; i.e., 0 of 225)