/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
