Index of /pub/challenge/sat/benchmarks/cnf

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]LAST_UPDATENov281993-11-28 10:41 16K 
[   ]LAST_UPDATENov28.BAK1993-09-21 14:35 11K 
[   ]aim-50-1_6-no-1.cnf.Z1993-11-28 09:30 738  
[   ]aim-50-1_6-no-2.cnf.Z1993-11-28 09:30 736  
[   ]aim-50-1_6-no-3.cnf.Z1993-11-28 09:30 734  
[   ]aim-50-1_6-no-4.cnf.Z1993-11-28 09:30 731  
[   ]aim-50-1_6-yes1-1.cnf.Z1993-11-28 09:30 734  
[   ]aim-50-1_6-yes1-2.cnf.Z1993-11-28 09:30 728  
[   ]aim-50-1_6-yes1-3.cnf.Z1993-11-28 09:30 721  
[   ]aim-50-1_6-yes1-4.cnf.Z1993-11-28 09:30 739  
[   ]aim-50-2_0-no-1.cnf.Z1993-11-28 09:30 824  
[   ]aim-50-2_0-no-2.cnf.Z1993-11-28 09:30 823  
[   ]aim-50-2_0-no-3.cnf.Z1993-11-28 09:30 826  
[   ]aim-50-2_0-no-4.cnf.Z1993-11-28 09:30 821  
[   ]aim-50-2_0-yes1-1.cnf.Z1993-11-28 09:30 818  
[   ]aim-50-2_0-yes1-2.cnf.Z1993-11-28 09:30 820  
[   ]aim-50-2_0-yes1-3.cnf.Z1993-11-28 09:30 823  
[   ]aim-50-2_0-yes1-4.cnf.Z1993-11-28 09:30 820  
[   ]aim-50-3_4-yes1-1.cnf.Z1993-11-28 09:30 1.1K 
[   ]aim-50-3_4-yes1-2.cnf.Z1993-11-28 09:30 1.1K 
[   ]aim-50-3_4-yes1-3.cnf.Z1993-11-28 09:30 1.1K 
[   ]aim-50-3_4-yes1-4.cnf.Z1993-11-28 09:30 1.1K 
[   ]aim-50-6_0-yes1-1.cnf.Z1993-11-28 09:30 1.6K 
[   ]aim-50-6_0-yes1-2.cnf.Z1993-11-28 09:30 1.6K 
[   ]aim-50-6_0-yes1-3.cnf.Z1993-11-28 09:30 1.6K 
[   ]aim-50-6_0-yes1-4.cnf.Z1993-11-28 09:30 1.6K 
[   ]aim-100-1_6-no-1.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-1_6-no-2.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-1_6-no-3.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-1_6-no-4.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-1_6-yes1-1.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-1_6-yes1-2.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-1_6-yes1-3.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-1_6-yes1-4.cnf.Z1993-11-28 09:30 1.2K 
[   ]aim-100-2_0-no-1.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-2_0-no-2.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-2_0-no-3.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-2_0-no-4.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-2_0-yes1-1.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-2_0-yes1-2.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-2_0-yes1-3.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-2_0-yes1-4.cnf.Z1993-11-28 09:30 1.4K 
[   ]aim-100-3_4-yes1-1.cnf.Z1993-11-28 09:30 2.0K 
[   ]aim-100-3_4-yes1-2.cnf.Z1993-11-28 09:30 2.0K 
[   ]aim-100-3_4-yes1-3.cnf.Z1993-11-28 09:30 2.0K 
[   ]aim-100-3_4-yes1-4.cnf.Z1993-11-28 09:30 2.0K 
[   ]aim-100-6_0-yes1-1.cnf.Z1993-11-28 09:30 3.1K 
[   ]aim-100-6_0-yes1-2.cnf.Z1993-11-28 09:30 3.1K 
[   ]aim-100-6_0-yes1-3.cnf.Z1993-11-28 09:30 3.1K 
[   ]aim-100-6_0-yes1-4.cnf.Z1993-11-28 09:30 3.1K 
[   ]aim-200-1_6-no-1.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-1_6-no-2.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-1_6-no-3.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-1_6-no-4.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-1_6-yes1-1.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-1_6-yes1-2.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-1_6-yes1-3.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-1_6-yes1-4.cnf.Z1993-11-28 09:30 2.1K 
[   ]aim-200-2_0-no-1.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-2_0-no-2.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-2_0-no-3.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-2_0-no-4.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-2_0-yes1-1.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-2_0-yes1-2.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-2_0-yes1-3.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-2_0-yes1-4.cnf.Z1993-11-28 09:30 2.5K 
[   ]aim-200-3_4-yes1-1.cnf.Z1993-11-28 09:30 3.9K 
[   ]aim-200-3_4-yes1-2.cnf.Z1993-11-28 09:30 3.9K 
[   ]aim-200-3_4-yes1-3.cnf.Z1993-11-28 09:30 3.9K 
[   ]aim-200-3_4-yes1-4.cnf.Z1993-11-28 09:30 3.9K 
[   ]aim-200-6_0-yes1-1.cnf.Z1993-11-28 09:30 6.4K 
[   ]aim-200-6_0-yes1-2.cnf.Z1993-11-28 09:30 6.4K 
[   ]aim-200-6_0-yes1-3.cnf.Z1993-11-28 09:30 6.3K 
[   ]aim-200-6_0-yes1-4.cnf.Z1993-11-28 09:30 6.4K 
[   ]bf0432-007.cnf.Z1993-07-14 10:26 19K 
[   ]bf1355-075.cnf.Z1993-07-14 10:26 37K 
[   ]bf1355-638.cnf.Z1993-07-14 10:26 37K 
[   ]bf2670-001.cnf.Z1993-07-14 10:26 17K 
[TXT]contents.tex1993-12-06 13:23 12K 
[   ]contents.tex.BAK1993-11-28 09:50 12K 
[   ]dubois20.cnf.Z1993-07-25 12:27 1.1K 
[   ]dubois21.cnf.Z1993-07-25 12:27 1.1K 
[   ]dubois22.cnf.Z1993-07-25 12:27 1.2K 
[   ]dubois23.cnf.Z1993-07-25 12:27 1.2K 
[   ]dubois24.cnf.Z1993-07-25 12:27 1.3K 
[   ]dubois25.cnf.Z1993-07-25 12:27 1.3K 
[   ]dubois26.cnf.Z1993-07-25 12:27 1.3K 
[   ]dubois27.cnf.Z1993-07-25 12:27 1.4K 
[   ]dubois28.cnf.Z1993-07-25 12:27 1.5K 
[   ]dubois29.cnf.Z1993-07-25 12:27 1.5K 
[   ]dubois30.cnf.Z1993-07-25 12:27 1.6K 
[   ]dubois50.cnf.Z1993-07-25 12:27 2.5K 
[   ]dubois100.cnf.Z1993-07-25 12:27 4.8K 
[   ]f600.cnf.Z1993-07-29 20:27 15K 
[   ]f1000.cnf.Z1993-07-29 20:27 26K 
[   ]f2000.cnf.Z1993-07-29 20:27 54K 
[   ]faw.cnf.Z1993-09-07 20:33 107K 
[   ]g125.17.cnf.Z1993-07-29 14:39 254K 
[   ]g125.18.cnf.Z1993-07-29 14:39 268K 
[   ]g250.15.cnf.Z1993-07-30 10:09 859K 
[   ]g250.29.cnf.Z1993-07-30 10:13 1.7M 
[   ]hangbiao2000-03-02 16:00 2.2K 
[   ]hanoi4.cnf.Z1993-07-29 14:39 23K 
[   ]hanoi5.cnf.Z1993-07-29 14:39 72K 
[   ]hole6.cnf.Z1993-08-22 12:41 936  
[   ]hole7.cnf.Z1993-08-22 12:41 1.2K 
[   ]hole8.cnf.Z1993-08-22 12:41 1.6K 
[   ]hole9.cnf.Z1993-08-22 12:41 2.0K 
[   ]hole10.cnf.Z1993-08-22 12:41 2.2K 
[   ]ii8a1.cnf.Z1993-07-25 11:13 1.1K 
[   ]ii8a2.cnf.Z1993-07-25 11:13 3.7K 
[   ]ii8a3.cnf.Z1993-07-25 11:13 6.8K 
[   ]ii8a4.cnf.Z1993-07-25 11:13 12K 
[   ]ii8b1.cnf.Z1993-07-25 11:13 8.0K 
[   ]ii8b2.cnf.Z1993-07-25 11:13 16K 
[   ]ii8b3.cnf.Z1993-07-25 11:13 23K 
[   ]ii8b4.cnf.Z1993-07-25 11:13 31K 
[   ]ii8c1.cnf.Z1993-07-25 11:13 12K 
[   ]ii8c2.cnf.Z1993-07-25 11:13 25K 
[   ]ii8d1.cnf.Z1993-07-25 11:13 13K 
[   ]ii8d2.cnf.Z1993-07-25 11:13 25K 
[   ]ii8e1.cnf.Z1993-07-25 11:13 13K 
[   ]ii8e2.cnf.Z1993-07-25 11:13 24K 
[   ]ii16a1.cnf.Z1993-07-25 11:12 82K 
[   ]ii16a2.cnf.Z1993-07-25 11:12 90K 
[   ]ii16b1.cnf.Z1993-07-25 11:12 107K 
[   ]ii16b2.cnf.Z1993-07-25 11:12 64K 
[   ]ii16c1.cnf.Z1993-07-25 11:12 86K 
[   ]ii16c2.cnf.Z1993-07-25 11:12 57K 
[   ]ii16d1.cnf.Z1993-07-25 11:12 76K 
[   ]ii16d2.cnf.Z1993-07-25 11:12 53K 
[   ]ii16e1.cnf.Z1993-07-25 11:12 94K 
[   ]ii16e2.cnf.Z1993-07-25 11:12 40K 
[   ]ii32a1.cnf.Z1993-07-25 11:12 47K 
[   ]ii32b1.cnf.Z1993-07-25 11:12 9.9K 
[   ]ii32b2.cnf.Z1993-07-25 11:12 18K 
[   ]ii32b3.cnf.Z1993-07-25 11:12 38K 
[   ]ii32b4.cnf.Z1993-07-25 11:12 44K 
[   ]ii32c1.cnf.Z1993-07-25 11:12 9.7K 
[   ]ii32c2.cnf.Z1993-07-25 11:12 17K 
[   ]ii32c3.cnf.Z1993-07-25 11:12 24K 
[   ]ii32c4.cnf.Z1993-07-25 11:12 123K 
[   ]ii32d1.cnf.Z1993-07-25 11:12 15K 
[   ]ii32d2.cnf.Z1993-07-25 11:13 28K 
[   ]ii32d3.cnf.Z1993-07-25 11:13 99K 
[   ]ii32e1.cnf.Z1993-07-25 11:13 9.5K 
[   ]ii32e2.cnf.Z1993-07-25 11:13 18K 
[   ]ii32e3.cnf.Z1993-07-25 11:13 32K 
[   ]ii32e4.cnf.Z1993-07-25 11:13 45K 
[   ]ii32e5.cnf.Z1993-07-25 11:13 64K 
[   ]jnh1.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh2.cnf.Z1993-09-21 14:30 7.1K 
[   ]jnh3.cnf.BAK1993-09-07 20:33 23K 
[   ]jnh3.cnf.Z1993-12-05 20:06 7.1K 
[   ]jnh4.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh5.cnf.Z1993-09-07 20:33 7.1K 
[   ]jnh6.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh7.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh8.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh9.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh10.cnf.Z1993-09-07 20:33 7.1K 
[   ]jnh11.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh12.cnf.Z1993-09-07 20:33 7.1K 
[   ]jnh13.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh14.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh15.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh16.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh17.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh18.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh19.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh20.cnf.Z1993-09-21 14:30 7.1K 
[   ]jnh201.cnf.Z1993-09-07 20:33 7.0K 
[   ]jnh202.cnf.Z1993-09-07 20:33 6.7K 
[   ]jnh203.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh204.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh205.cnf.Z1993-09-07 20:33 6.7K 
[   ]jnh206.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh207.cnf.Z1993-09-07 20:33 6.7K 
[   ]jnh208.cnf.Z1993-09-07 20:33 6.7K 
[   ]jnh209.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh210.cnf.Z1993-09-07 20:33 6.7K 
[   ]jnh211.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh212.cnf.Z1993-09-21 14:30 6.7K 
[   ]jnh213.cnf.Z1993-09-21 14:30 6.7K 
[   ]jnh214.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh215.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh216.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh217.cnf.Z1993-09-21 14:31 6.7K 
[   ]jnh218.cnf.Z1993-09-21 14:31 6.7K 
[   ]jnh219.cnf.Z1993-09-07 20:33 6.6K 
[   ]jnh220.cnf.Z1993-09-21 14:31 6.7K 
[   ]jnh301.cnf.Z1993-09-07 20:33 7.8K 
[   ]jnh302.cnf.Z1993-09-07 20:33 7.5K 
[   ]jnh303.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh304.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh305.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh306.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh307.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh308.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh309.cnf.Z1993-09-07 20:33 7.4K 
[   ]jnh310.cnf.Z1993-09-07 20:33 7.4K 
[   ]par8-1-c.cnf.Z1993-08-03 10:40 1.7K 
[   ]par8-1.cnf.Z1993-08-03 10:40 6.4K 
[   ]par8-2-c.cnf.Z1993-08-03 10:40 1.8K 
[   ]par8-2.cnf.Z1993-08-03 10:40 6.5K 
[   ]par8-3-c.cnf.Z1993-08-03 10:40 1.9K 
[   ]par8-3.cnf.Z1993-08-03 10:40 6.5K 
[   ]par8-4-c.cnf.Z1993-08-03 10:40 1.8K 
[   ]par8-4.cnf.Z1993-08-03 10:40 6.4K 
[   ]par8-5-c.cnf.Z1993-08-03 10:40 1.9K 
[   ]par8-5.cnf.Z1993-08-03 10:40 6.5K 
[   ]par16-1-c.cnf.Z1993-08-03 10:40 7.0K 
[   ]par16-1.cnf.Z1993-08-03 10:40 18K 
[   ]par16-2-c.cnf.Z1993-08-03 10:40 7.7K 
[   ]par16-2.cnf.Z1993-08-03 10:40 19K 
[   ]par16-3-c.cnf.Z1993-08-03 10:40 7.4K 
[   ]par16-3.cnf.Z1993-08-03 10:40 19K 
[   ]par16-4-c.cnf.Z1993-08-03 10:40 7.2K 
[   ]par16-4.cnf.Z1993-08-03 10:40 18K 
[   ]par16-5-c.cnf.Z1993-08-03 10:40 7.5K 
[   ]par16-5.cnf.Z1993-08-03 10:40 19K 
[   ]par32-1-c.cnf.Z1993-08-03 10:40 30K 
[   ]par32-1.cnf.Z1993-08-03 10:40 60K 
[   ]par32-2-c.cnf.Z1993-08-03 10:40 30K 
[   ]par32-2.cnf.Z1993-08-03 10:40 60K 
[   ]par32-3-c.cnf.Z1993-08-03 10:40 30K 
[   ]par32-3.cnf.Z1993-08-03 10:40 60K 
[   ]par32-4-c.cnf.Z1993-08-03 10:40 30K 
[   ]par32-4.cnf.Z1993-08-03 10:40 60K 
[   ]par32-5-c.cnf.Z1993-08-03 10:40 31K 
[   ]par32-5.cnf.Z1993-08-03 10:40 60K 
[   ]pret60_25.cnf.Z1993-08-22 10:22 1.5K 
[   ]pret60_40.cnf.Z1993-08-22 10:22 1.5K 
[   ]pret60_60.cnf.Z1993-08-22 10:22 1.5K 
[   ]pret60_75.cnf.Z1993-08-22 10:22 1.5K 
[   ]pret150_25.cnf.Z1993-08-22 10:22 3.0K 
[   ]pret150_40.cnf.Z1993-08-22 10:22 3.0K 
[   ]pret150_60.cnf.Z1993-08-22 10:22 2.9K 
[   ]pret150_75.cnf.Z1993-08-22 10:22 2.9K 
[   ]ssa0432-003.cnf.Z1993-07-14 10:26 5.0K 
[   ]ssa2670-130.cnf.Z1993-07-14 10:26 17K 
[   ]ssa2670-141.cnf.Z1993-07-14 10:26 11K 
[   ]ssa6288-047.cnf.Z1993-07-14 10:27 212K 
[   ]ssa7552-038.cnf.Z1993-07-14 10:27 17K 
[   ]ssa7552-158.cnf.Z1993-07-17 12:15 14K 
[   ]ssa7552-159.cnf.Z1993-07-17 12:15 14K 
[   ]ssa7552-160.cnf.Z1993-07-14 10:27 15K 
[TXT]supertab.sty1993-06-28 12:43 19K 

Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80