ANSWER: yes program sccs : 10 size answers : 10 pos answers : 0 size binary clauses : 10 pos binary clauses : 0 size calls : 0 pos calls : 0 size calls with binary clauses : 0 pos calls with binary clauses : 0 checking termination : 0Standard Err:
% restoring /usr/local/bin/twshell.bin... % /usr/local/bin/twshell.bin restored in 20 msec 1843128 bytes real 0m0.096s user 0m0.072s sys 0m0.008s