/4queens.lparse/1.1/Sun Aug  1 11:33:07 2004//D2005.01.25.23.00.00
/4queens.lparse.smodels/1.1/Sun Aug  1 11:33:07 2004//D2005.01.25.23.00.00
/5queens.lparse/1.1/Sun Aug  1 11:33:08 2004//D2005.01.25.23.00.00
/5queens.lparse.smodels/1.1/Sun Aug  1 11:33:08 2004//D2005.01.25.23.00.00
/Makefile/1.2/Sat Jul 31 14:21:44 2004//D2005.01.25.23.00.00
/broken_rule.lparse/1.1/Fri Jul 30 08:21:24 2004//D2005.01.25.23.00.00
/color-3-4.lparse/1.1/Fri Jul 30 08:21:24 2004//D2005.01.25.23.00.00
/color-3-4.lparse.smodels/1.1/Sun Aug  1 11:33:08 2004//D2005.01.25.23.00.00
/empty.lparse/1.1/Fri Jul 30 08:21:24 2004//D2005.01.25.23.00.00
/ham_comp_3.lparse/1.1/Fri Jul 30 08:21:25 2004//D2005.01.25.23.00.00
/ham_comp_3.lparse.smodels/1.1/Sun Aug  1 11:33:09 2004//D2005.01.25.23.00.00
/ham_comp_4.lparse/1.1/Sun Aug  1 11:33:09 2004//D2005.01.25.23.00.00
/ham_comp_4.lparse.smodels/1.1/Sun Aug  1 11:33:09 2004//D2005.01.25.23.00.00
/ham_comp_5.lparse/1.1/Sun Aug  1 11:33:10 2004//D2005.01.25.23.00.00
/ham_comp_5.lparse.smodels/1.1/Sun Aug  1 11:33:10 2004//D2005.01.25.23.00.00
/main.cpp/1.3/Mon Aug  2 18:34:45 2004//D2005.01.25.23.00.00
/metadata.txt/1.4/Mon Aug  2 18:34:45 2004//D2005.01.25.23.00.00
/no_compute.lparse/1.1/Fri Jul 30 08:21:26 2004//D2005.01.25.23.00.00
/no_final_zero.lparse/1.1/Fri Jul 30 08:21:26 2004//D2005.01.25.23.00.00
/no_models.lparse/1.1/Fri Jul 30 08:21:26 2004//D2005.01.25.23.00.00
/no_name.lparse/1.1/Fri Jul 30 08:21:27 2004//D2005.01.25.23.00.00
/pigeon-3-4.lparse/1.1/Fri Jul 30 08:21:27 2004//D2005.01.25.23.00.00
/program_metadata.cpp/1.4/Sun Aug  1 11:37:50 2004//D2005.01.25.23.00.00
/program_metadata.h/1.4/Sun Aug  1 11:37:50 2004//D2005.01.25.23.00.00
/realchoice1.lparse/1.1/Sun Aug  1 11:33:10 2004//D2005.01.25.23.00.00
/realchoice1.lparse.smodels/1.1/Sun Aug  1 11:33:11 2004//D2005.01.25.23.00.00
/realchoice2.lparse/1.1/Sun Aug  1 11:33:11 2004//D2005.01.25.23.00.00
/realchoice2.lparse.smodels/1.1/Sun Aug  1 11:33:11 2004//D2005.01.25.23.00.00
/realchoice3.lparse/1.1/Sun Aug  1 11:33:12 2004//D2005.01.25.23.00.00
/realchoice3.lparse.smodels/1.1/Sun Aug  1 11:33:12 2004//D2005.01.25.23.00.00
/schur-3-3.lparse/1.1/Fri Jul 30 08:21:28 2004//D2005.01.25.23.00.00
/schur-3-3.lparse.smodels/1.1/Sun Aug  1 11:33:12 2004//D2005.01.25.23.00.00
/schur-6-3.lparse/1.1/Sun Aug  1 11:33:13 2004//D2005.01.25.23.00.00
/schur-6-3.lparse.smodels/1.1/Sun Aug  1 11:33:13 2004//D2005.01.25.23.00.00
/smodels_helper.h/1.1/Mon Aug  2 18:34:47 2004//D2005.01.25.23.00.00
/test.vcproj/1.6/Mon Aug  2 18:34:46 2004//D2005.01.25.23.00.00
/test_choose_first_unknown.cpp/1.1/Mon Aug  2 18:34:47 2004//D2005.01.25.23.00.00
/test_constraint_injector.cpp/1.3/Mon Aug  2 18:34:46 2004//D2005.01.25.23.00.00
/test_expander_impl.cpp/1.4/Mon Aug  2 18:34:46 2004//D2005.01.25.23.00.00
/test_name_generator.cpp/1.3/Mon Aug  2 18:34:46 2004//D2005.01.25.23.00.00
/test_parser.cpp/1.3/Sun Aug  1 11:37:51 2004//D2005.01.25.23.00.00
/test_partial_model_impl.cpp/1.3/Mon Aug  2 18:34:46 2004//D2005.01.25.23.00.00
/test_program_impl.cpp/1.7/Mon Aug  2 18:34:46 2004//D2005.01.25.23.00.00
/test_smodels.cpp/1.3/Mon Aug  2 18:34:47 2004//D2005.01.25.23.00.00
/test_smodels_wrapper.cpp/1.1/Mon Aug  2 18:34:48 2004//D2005.01.25.23.00.00
/usualcases-i-both.lparse/1.1/Sat Jul 31 13:26:54 2004//D2005.01.25.23.00.00
/usualcases-i-false.lparse/1.1/Sat Jul 31 13:26:55 2004//D2005.01.25.23.00.00
/usualcases-i-true.lparse/1.1/Sat Jul 31 13:26:55 2004//D2005.01.25.23.00.00
/usualcases.lp/1.1/Sun Aug  1 11:33:14 2004//D2005.01.25.23.00.00
/usualcases.lparse/1.1/Fri Jul 30 08:21:30 2004//D2005.01.25.23.00.00
/usualcases.lparse.smodels/1.1/Sun Aug  1 11:33:14 2004//D2005.01.25.23.00.00
D
