Processing file cs-g4.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, 4,920 bytes Requires constraints 'Proxy Address (word mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (word mode)' requires 'Use proxy server (word mode)' (inference error = 0%; i.e., 0 of 1764) 'Proxy Address (word mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (word mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0%; i.e., 0 of 1764) 'Proxy Address (word mode)' requires 'New Crossword' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (word mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (word mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (word mode)' requires 'Use proxy server (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (word mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (word mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0%; i.e., 0 of 1764) 'Proxy Port (word mode)' requires 'New Crossword' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (word mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'User Name (word mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'User Name (word mode)' requires 'Use proxy server (word mode)' (inference error = 0%; i.e., 0 of 1764) 'User Name (word mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'User Name (word mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0%; i.e., 0 of 1764) 'User Name (word mode)' requires 'New Crossword' (inference error = 0.11337868480725624%; i.e., 2 of 1764) 'User Name (word mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (word mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (word mode)' requires 'Use proxy server (word mode)' (inference error = 0%; i.e., 0 of 1764) 'Password (word mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (word mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (word mode)' requires 'New Crossword' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (word mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (crossword mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (crossword mode)' requires 'Use proxy server (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (crossword mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (crossword mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0%; i.e., 0 of 1764) 'Proxy Address (crossword mode)' requires 'New Crossword' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Address (crossword mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (crossword mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.11337868480725624%; i.e., 2 of 1764) 'Proxy Port (crossword mode)' requires 'Use proxy server (word mode)' (inference error = 0%; i.e., 0 of 1764) 'Proxy Port (crossword mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (crossword mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0.11337868480725624%; i.e., 2 of 1764) 'Proxy Port (crossword mode)' requires 'New Crossword' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Proxy Port (crossword mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'User Name (crossword mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.11337868480725624%; i.e., 2 of 1764) 'User Name (crossword mode)' requires 'Use proxy server (word mode)' (inference error = 0%; i.e., 0 of 1764) 'User Name (crossword mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'User Name (crossword mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0%; i.e., 0 of 1764) 'User Name (crossword mode)' requires 'New Crossword' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'User Name (crossword mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (crossword mode)' requires 'Auto-check for newer version (word mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (crossword mode)' requires 'Use proxy server (word mode)' (inference error = 0%; i.e., 0 of 1764) 'Password (crossword mode)' requires 'Auto-check for newer version (crossword mode)' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (crossword mode)' requires 'Use proxy server (crosswordd mode)' (inference error = 0%; i.e., 0 of 1764) 'Password (crossword mode)' requires 'New Crossword' (inference error = 0.05668934240362812%; i.e., 1 of 1764) 'Password (crossword mode)' requires 'Solve New Word' (inference error = 0.05668934240362812%; i.e., 1 of 1764) Processing file fm-g1.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, 4,512 bytes Requires constraints 'Undo' requires 'Scale' (inference error = 0.09182736455463728%; i.e., 1 of 1089) 'Undo' requires 'Toggle Toolbar' (inference error = 0.09182736455463728%; i.e., 1 of 1089) 'Undo' requires 'Toggle Left' (inference error = 0.09182736455463728%; i.e., 1 of 1089) 'Undo' requires 'Zoom In' (inference error = 0.09182736455463728%; i.e., 1 of 1089) 'Undo' requires 'Zoom Out' (inference error = 0.09182736455463728%; i.e., 1 of 1089) 'Undo' requires 'Zoom to Fit to Page' (inference error = 0.09182736455463728%; i.e., 1 of 1089) 'Undo' requires 'Automatic Layout' (inference error = 0%; i.e., 0 of 1089) 'Undo' requires 'Blinking Node' (inference error = 0%; i.e., 0 of 1089) 'Undo' requires 'Show Icon Hierarchically' (inference error = 0%; i.e., 0 of 1089) *** ADVICE: 'Redo' always infeasible at pos 0; not disabled; was not in a requires invariant; may be a higher order requires invariant. *** ADVICE: Event 'Undo' appears 9 times in 9 REQUIRES invariants; may be indicative of another invariant. Processing file fm-g2.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 fm-g4.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, 4,160 bytes Requires constraints 'Undo' requires 'Select All Visible' (inference error = 0.1111111111111111%; i.e., 1 of 900) 'Undo' requires 'Select Visible Branch' (inference error = 0.1111111111111111%; i.e., 1 of 900) 'Undo' requires 'Cut' (inference error = 0.1111111111111111%; i.e., 1 of 900) 'Undo' requires 'Copy' (inference error = 0.1111111111111111%; i.e., 1 of 900) 'Undo' requires 'Copy Single' (inference error = 0.1111111111111111%; i.e., 1 of 900) 'Undo' requires 'Paste' (inference error = 0%; i.e., 0 of 900) 'Undo' requires 'Copy Format' (inference error = 0.1111111111111111%; i.e., 1 of 900) 'Undo' requires 'Paste Format' (inference error = 0.1111111111111111%; i.e., 1 of 900) *** ADVICE: 'Redo' always infeasible at pos 0; not disabled; was not in a requires invariant; may be a higher order requires invariant. *** ADVICE: Event 'Undo' appears 8 times in 8 REQUIRES invariants; may be indicative of another invariant. Processing file tpa-g4.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 tpr-g5.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, 4,056 bytes Requires constraints *** ADVICE: Event 'Open' appears in 2 of 3 DIFFERENT invariants; may be indicative of another invariant. *** ADVICE: Event 'Save' appears in 2 of 3 DIFFERENT invariants; may be indicative of another invariant. Processing file ts-g1.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,672 bytes Requires constraints Processing file ts-g5.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,672 bytes Requires constraints Processing file tw-g1.txt using constraint rules requires.pl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,928 bytes % learned_temp compiled 0.01 sec, 4,952 bytes Requires constraints 'Redo' requires 'Previous Cell' (inference error = 0.17006802721088435%; i.e., 3 of 1764) 'Redo' requires 'Write on syntax pane' (inference error = 0.22675736961451248%; i.e., 4 of 1764) 'Undo' requires 'Write on document pane' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Next Cell' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Previous Cell' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Append row' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Append col' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Insert row' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Insert column' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Delete row' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Delete column' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Insert Table' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Write on HTML pane' (inference error = 0%; i.e., 0 of 1764) 'Undo' requires 'Write on syntax pane' (inference error = 0.05668934240362812%; i.e., 1 of 1764) *** ADVICE: Event 'Undo' appears 12 times in 14 REQUIRES invariants; may be indicative of another invariant.