The following log file was generated under Linux and X windows running on a Compaq 420C 486 75 MHz notebook PC.
Reading DATRfile 'engcomp.dtr' ... done, length 14332 characters
VAR '$gender' : 'masc' 'femn' 'neut' (3 definitions)
VAR '$number' : 'sing' 'plur' (2 definitions)
41 declarations|expansions
Errorfile 'zdatr.err' opened
Reading 'stdin' ... 134 atoms ... 0 otfvs ... 59 nodes ...
352 equations ... done
-------------------------------------
Theory : engcomp.dtr
Nodes : 59
Atoms : 134
Equations : 352
-------------------------------------
Programs : zdatrinf1.1, zdatrtok1.1
Mode : verbosity = 0,
crunch OFF,
maxdepth = 200,
maxrec. = 100
Input Type : declfile 'engcomp.dec'
Date : Thu Mar 20 21:27:49 1997
Queries : 370
Inferences : 20651
Active[sec] : 4.26
Queries/sec : 86.76
Inf./sec : 4842.15
Inf./Query : 55.81
-------------------------------------