/compact/1.1.1.1/Fri Apr 23 20:38:10 2004// /grasp/1.1.1.1/Fri Apr 23 20:38:10 2004// /mchaff/1.1.1.1/Fri Apr 23 20:38:10 2004// /relsat/1.1.1.1/Fri Apr 23 20:38:10 2004// /relsat_old/1.1.1.1/Fri Apr 23 20:38:10 2004// /sato/1.1.1.1/Fri Apr 23 20:38:10 2004// /sato_old/1.1.1.1/Fri Apr 23 20:38:10 2004// /satz/1.1.1.1/Fri Apr 23 20:38:10 2004// /satz-rand/1.1.1.1/Fri Apr 23 20:38:10 2004// /walksat/1.1.1.1/Fri Apr 23 20:38:10 2004// /zchaff/1.1.1.1/Fri Apr 23 20:38:10 2004// D