Index of /pub/challenge/sat/contributed/UCSC/instances/cnf-bf

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README-bf1993-07-08 19:05 630  
[   ]bf0432-005.cnf.Z1993-07-04 20:30 19K 
[   ]bf0432-007.cnf.Z1993-07-04 20:36 19K 
[   ]bf0432-011.cnf.Z1993-07-04 20:45 20K 
[   ]bf0432-015.cnf.Z1993-07-04 20:52 19K 
[   ]bf0432-017.cnf.Z1993-07-04 20:58 19K 
[   ]bf0432-033.cnf.Z1993-07-04 21:10 14K 
[   ]bf0432-035.cnf.Z1993-07-04 21:14 14K 
[   ]bf0432-039.cnf.Z1993-07-04 21:17 14K 
[   ]bf0432-041.cnf.Z1993-07-04 21:20 14K 
[   ]bf0432-043.cnf.Z1993-07-04 21:24 14K 
[   ]bf0432-048.cnf.Z1993-07-04 21:25 4.9K 
[   ]bf0432-053.cnf.Z1993-07-04 21:35 20K 
[   ]bf0432-070.cnf.Z1993-07-04 21:55 20K 
[   ]bf0432-077.cnf.Z1993-07-04 22:07 19K 
[   ]bf0432-079.cnf.Z1993-07-04 22:13 19K 
[   ]bf0432-091.cnf.Z1993-07-04 22:31 20K 
[   ]bf0432-103.cnf.Z1993-07-04 22:58 20K 
[   ]bf0432-122.cnf.Z1993-07-04 23:13 20K 
[   ]bf0432-135.cnf.Z1993-07-04 23:24 4.8K 
[   ]bf0432-138.cnf.Z1993-07-04 23:28 4.7K 
[   ]bf0432-139.cnf.Z1993-07-04 23:29 4.7K 
[   ]bf1355-075.cnf.Z1993-07-07 03:40 37K 
[   ]bf1355-076.cnf.Z1993-07-07 03:52 37K 
[   ]bf1355-119.cnf.Z1993-07-07 04:23 40K 
[   ]bf1355-120.cnf.Z1993-07-07 05:07 40K 
[   ]bf1355-123.cnf.Z1993-07-07 05:47 40K 
[   ]bf1355-124.cnf.Z1993-07-07 06:06 40K 
[   ]bf1355-127.cnf.Z1993-07-07 06:48 40K 
[   ]bf1355-128.cnf.Z1993-07-07 07:05 40K 
[   ]bf1355-131.cnf.Z1993-07-07 07:48 40K 
[   ]bf1355-132.cnf.Z1993-07-07 08:08 40K 
[   ]bf1355-143.cnf.Z1993-07-07 08:55 40K 
[   ]bf1355-144.cnf.Z1993-07-07 09:12 40K 
[   ]bf1355-147.cnf.Z1993-07-07 09:32 40K 
[   ]bf1355-148.cnf.Z1993-07-07 10:13 40K 
[   ]bf1355-151.cnf.Z1993-07-07 10:55 40K 
[   ]bf1355-152.cnf.Z1993-07-07 11:13 40K 
[   ]bf1355-159.cnf.Z1993-07-07 11:37 40K 
[   ]bf1355-160.cnf.Z1993-07-07 12:18 40K 
[   ]bf1355-167.cnf.Z1993-07-07 13:06 40K 
[   ]bf1355-168.cnf.Z1993-07-07 13:22 40K 
[   ]bf1355-175.cnf.Z1993-07-07 14:08 40K 
[   ]bf1355-176.cnf.Z1993-07-07 14:28 40K 
[   ]bf1355-227.cnf.Z1993-07-07 14:59 40K 
[   ]bf1355-228.cnf.Z1993-07-07 15:42 40K 
[   ]bf1355-239.cnf.Z1993-07-07 18:40 40K 
[   ]bf1355-240.cnf.Z1993-07-07 21:35 40K 
[   ]bf1355-243.cnf.Z1993-07-07 21:47 21K 
[   ]bf1355-291.cnf.Z1993-07-07 22:25 40K 
[   ]bf1355-292.cnf.Z1993-07-07 23:12 40K 
[   ]bf1355-295.cnf.Z1993-07-07 23:20 34K 
[   ]bf1355-296.cnf.Z1993-07-07 23:46 34K 
[   ]bf1355-303.cnf.Z1993-07-08 07:15 40K 
[   ]bf1355-304.cnf.Z1993-07-08 07:19 40K 
[   ]bf1355-315.cnf.Z1993-07-08 07:31 40K 
[   ]bf1355-316.cnf.Z1993-07-08 07:35 40K 
[   ]bf1355-319.cnf.Z1993-07-08 07:38 40K 
[   ]bf1355-320.cnf.Z1993-07-08 07:42 40K 
[   ]bf1355-323.cnf.Z1993-07-08 07:46 40K 
[   ]bf1355-324.cnf.Z1993-07-08 07:50 40K 
[   ]bf1355-327.cnf.Z1993-07-08 07:53 40K 
[   ]bf1355-328.cnf.Z1993-07-08 07:57 40K 
[   ]bf1355-347.cnf.Z1993-07-08 08:06 40K 
[   ]bf1355-348.cnf.Z1993-07-08 08:09 40K 
[   ]bf1355-351.cnf.Z1993-07-08 08:13 40K 
[   ]bf1355-352.cnf.Z1993-07-08 08:16 40K 
[   ]bf1355-355.cnf.Z1993-07-08 08:19 40K 
[   ]bf1355-356.cnf.Z1993-07-08 08:25 40K 
[   ]bf1355-359.cnf.Z1993-07-08 08:28 40K 
[   ]bf1355-360.cnf.Z1993-07-08 08:34 40K 
[   ]bf1355-363.cnf.Z1993-07-08 08:38 40K 
[   ]bf1355-364.cnf.Z1993-07-08 08:44 40K 
[   ]bf1355-445.cnf.Z1993-07-08 09:18 40K 
[   ]bf1355-446.cnf.Z1993-07-08 09:24 40K 
[   ]bf1355-449.cnf.Z1993-07-08 09:28 40K 
[   ]bf1355-450.cnf.Z1993-07-08 09:34 40K 
[   ]bf1355-453.cnf.Z1993-07-08 09:37 40K 
[   ]bf1355-454.cnf.Z1993-07-08 09:43 40K 
[   ]bf1355-457.cnf.Z1993-07-08 09:47 40K 
[   ]bf1355-458.cnf.Z1993-07-08 09:52 40K 
[   ]bf1355-461.cnf.Z1993-07-08 09:56 40K 
[   ]bf1355-462.cnf.Z1993-07-08 09:59 40K 
[   ]bf1355-465.cnf.Z1993-07-08 10:03 40K 
[   ]bf1355-466.cnf.Z1993-07-08 10:06 40K 
[   ]bf1355-469.cnf.Z1993-07-08 10:10 40K 
[   ]bf1355-470.cnf.Z1993-07-08 10:13 40K 
[   ]bf1355-473.cnf.Z1993-07-08 10:17 40K 
[   ]bf1355-474.cnf.Z1993-07-08 10:20 40K 
[   ]bf1355-477.cnf.Z1993-07-08 10:23 40K 
[   ]bf1355-478.cnf.Z1993-07-08 10:27 40K 
[   ]bf1355-481.cnf.Z1993-07-08 10:30 40K 
[   ]bf1355-482.cnf.Z1993-07-08 10:33 40K 
[   ]bf1355-485.cnf.Z1993-07-08 10:37 40K 
[   ]bf1355-486.cnf.Z1993-07-08 10:40 40K 
[   ]bf1355-489.cnf.Z1993-07-08 10:43 40K 
[   ]bf1355-490.cnf.Z1993-07-08 10:49 40K 
[   ]bf1355-493.cnf.Z1993-07-08 10:53 40K 
[   ]bf1355-494.cnf.Z1993-07-08 10:59 40K 
[   ]bf1355-497.cnf.Z1993-07-08 11:01 37K 
[   ]bf1355-498.cnf.Z1993-07-08 11:06 37K 
[   ]bf1355-505.cnf.Z1993-07-08 11:11 37K 
[   ]bf1355-506.cnf.Z1993-07-08 11:14 37K 
[   ]bf1355-509.cnf.Z1993-07-08 11:17 37K 
[   ]bf1355-510.cnf.Z1993-07-08 11:20 37K 
[   ]bf1355-513.cnf.Z1993-07-08 11:23 40K 
[   ]bf1355-514.cnf.Z1993-07-08 11:30 40K 
[   ]bf1355-517.cnf.Z1993-07-08 11:34 40K 
[   ]bf1355-518.cnf.Z1993-07-08 11:38 40K 
[   ]bf1355-521.cnf.Z1993-07-08 11:41 40K 
[   ]bf1355-522.cnf.Z1993-07-08 11:45 40K 
[   ]bf1355-525.cnf.Z1993-07-08 11:48 37K 
[   ]bf1355-526.cnf.Z1993-07-08 11:51 37K 
[   ]bf1355-529.cnf.Z1993-07-08 11:55 40K 
[   ]bf1355-530.cnf.Z1993-07-08 11:58 40K 
[   ]bf1355-533.cnf.Z1993-07-08 12:02 40K 
[   ]bf1355-534.cnf.Z1993-07-08 12:06 40K 
[   ]bf1355-537.cnf.Z1993-07-08 12:09 37K 
[   ]bf1355-538.cnf.Z1993-07-08 12:12 37K 
[   ]bf1355-557.cnf.Z1993-07-08 12:21 40K 
[   ]bf1355-558.cnf.Z1993-07-08 12:27 40K 
[   ]bf1355-561.cnf.Z1993-07-08 12:31 40K 
[   ]bf1355-562.cnf.Z1993-07-08 12:36 40K 
[   ]bf1355-565.cnf.Z1993-07-08 12:40 40K 
[   ]bf1355-566.cnf.Z1993-07-08 12:44 40K 
[   ]bf1355-573.cnf.Z1993-07-08 12:48 37K 
[   ]bf1355-574.cnf.Z1993-07-08 12:51 37K 
[   ]bf1355-577.cnf.Z1993-07-08 12:54 37K 
[   ]bf1355-578.cnf.Z1993-07-08 12:57 37K 
[   ]bf1355-581.cnf.Z1993-07-08 13:01 40K 
[   ]bf1355-582.cnf.Z1993-07-08 13:05 40K 
[   ]bf1355-585.cnf.Z1993-07-08 13:08 40K 
[   ]bf1355-586.cnf.Z1993-07-08 13:13 40K 
[   ]bf1355-589.cnf.Z1993-07-08 13:16 40K 
[   ]bf1355-590.cnf.Z1993-07-08 13:20 40K 
[   ]bf1355-593.cnf.Z1993-07-08 13:23 37K 
[   ]bf1355-594.cnf.Z1993-07-08 13:27 37K 
[   ]bf1355-597.cnf.Z1993-07-08 13:30 40K 
[   ]bf1355-598.cnf.Z1993-07-08 13:34 40K 
[   ]bf1355-601.cnf.Z1993-07-08 13:37 40K 
[   ]bf1355-602.cnf.Z1993-07-08 13:41 40K 
[   ]bf1355-617.cnf.Z1993-07-08 13:51 40K 
[   ]bf1355-618.cnf.Z1993-07-08 13:57 40K 
[   ]bf1355-621.cnf.Z1993-07-08 14:01 40K 
[   ]bf1355-622.cnf.Z1993-07-08 14:14 40K 
[   ]bf1355-625.cnf.Z1993-07-08 14:18 40K 
[   ]bf1355-626.cnf.Z1993-07-08 14:24 40K 
[   ]bf1355-629.cnf.Z1993-07-08 14:26 37K 
[   ]bf1355-630.cnf.Z1993-07-08 14:31 37K 
[   ]bf1355-633.cnf.Z1993-07-08 14:35 40K 
[   ]bf1355-634.cnf.Z1993-07-08 14:41 40K 
[   ]bf1355-637.cnf.Z1993-07-08 14:44 37K 
[   ]bf1355-638.cnf.Z1993-07-08 14:49 37K 
[   ]bf1355-653.cnf.Z1993-07-08 14:58 40K 
[   ]bf1355-654.cnf.Z1993-07-08 15:05 40K 
[   ]bf1355-661.cnf.Z1993-07-08 15:16 40K 
[   ]bf1355-662.cnf.Z1993-07-08 15:23 40K 
[   ]bf1355-665.cnf.Z1993-07-08 15:31 40K 
[   ]bf1355-666.cnf.Z1993-07-08 15:38 40K 
[   ]bf1355-669.cnf.Z1993-07-08 15:45 40K 
[   ]bf1355-670.cnf.Z1993-07-08 15:53 40K 
[   ]bf1355-681.cnf.Z1993-07-08 16:03 40K 
[   ]bf1355-682.cnf.Z1993-07-08 16:07 40K 
[   ]bf1355-701.cnf.Z1993-07-08 16:28 40K 
[   ]bf1355-702.cnf.Z1993-07-08 16:31 40K 
[   ]bf1355-741.cnf.Z1993-07-08 17:21 40K 
[   ]bf1355-742.cnf.Z1993-07-08 17:28 40K 
[   ]bf1355-749.cnf.Z1993-07-08 17:33 40K 
[   ]bf1355-750.cnf.Z1993-07-08 17:36 40K 
[   ]bf1355-757.cnf.Z1993-07-08 17:49 40K 
[   ]bf1355-758.cnf.Z1993-07-08 17:56 40K 
[   ]bf2670-001.cnf.Z1993-07-05 07:09 17K 
[   ]bf2670-007.cnf.Z1993-07-05 07:29 7.8K 
[   ]bf2670-008.cnf.Z1993-07-05 07:32 7.9K 
[   ]bf2670-033.cnf.Z1993-07-05 07:59 8.0K 
[   ]bf2670-035.cnf.Z1993-07-05 08:05 8.2K 
[   ]bf2670-038.cnf.Z1993-07-05 08:10 11K 
[   ]bf2670-042.cnf.Z1993-07-05 08:17 11K 
[   ]bf2670-051.cnf.Z1993-07-05 08:48 17K 
[   ]bf2670-052.cnf.Z1993-07-05 09:01 17K 
[   ]bf2670-121.cnf.Z1993-07-05 13:11 7.7K 
[   ]bf2670-126.cnf.Z1993-07-05 13:24 7.7K 
[   ]bf2670-130.cnf.Z1993-07-05 14:20 25K 
[   ]bf2670-143.cnf.Z1993-07-05 16:14 8.0K 
[   ]bf2670-144.cnf.Z1993-07-05 16:17 7.8K 
[   ]bf2670-145.cnf.Z1993-07-05 16:20 7.9K 
[   ]bf2670-187.cnf.Z1993-07-05 18:13 17K 
[   ]bf2670-189.cnf.Z1993-07-05 18:38 17K 
[   ]bf2670-190.cnf.Z1993-07-05 18:54 17K 
[   ]bf2670-200.cnf.Z1993-07-05 19:53 17K 
[   ]bf2670-202.cnf.Z1993-07-05 20:19 17K 
[   ]bf2670-203.cnf.Z1993-07-05 20:35 17K 
[   ]bf2670-208.cnf.Z1993-07-05 21:03 17K 
[   ]bf2670-240.cnf.Z1993-07-05 23:10 26K 
[   ]bf2670-241.cnf.Z1993-07-05 23:32 26K 
[   ]bf2670-244.cnf.Z1993-07-05 23:58 22K 
[   ]bf2670-248.cnf.Z1993-07-06 00:28 22K 
[   ]bf2670-269.cnf.Z1993-07-06 01:30 17K 
[   ]bf2670-275.cnf.Z1993-07-06 02:03 22K 
[   ]bf2670-278.cnf.Z1993-07-06 02:24 22K 
[   ]bf2670-400.cnf.Z1993-07-06 06:58 16K 
[   ]bf2670-404.cnf.Z1993-07-06 07:13 11K 
[   ]bf2670-414.cnf.Z1993-07-06 07:25 14K 
[   ]bf2670-449.cnf.Z1993-07-06 10:52 8.1K 
[   ]bf2670-461.cnf.Z1993-07-06 11:35 11K 
[   ]bf2670-468.cnf.Z1993-07-06 11:54 19K 
[   ]bf2670-483.cnf.Z1993-07-06 13:53 22K 
[   ]bf2670-487.cnf.Z1993-07-06 14:47 18K 
[   ]bf2670-491.cnf.Z1993-07-06 20:31 17K 
[   ]bf2670-492.cnf.Z1993-07-06 20:46 17K 
[   ]bf2670-493.cnf.Z1993-07-06 21:02 17K 
[   ]bf2670-494.cnf.Z1993-07-06 21:17 17K 
[   ]bf2670-495.cnf.Z1993-07-06 21:34 17K 
[   ]bf2670-501.cnf.Z1993-07-06 22:28 26K 
[   ]bf2670-502.cnf.Z1993-07-06 22:55 26K 
[   ]bf2670-510.cnf.Z1993-07-07 00:39 26K 
[   ]bf2670-511.cnf.Z1993-07-07 00:48 26K 
[   ]bf2670-522.cnf.Z1993-07-07 00:54 17K 
[   ]bf2670-524.cnf.Z1993-07-07 00:58 17K 
[   ]bf2670-532.cnf.Z1993-07-07 01:03 19K 
[   ]bf2670-533.cnf.Z1993-07-07 01:07 19K 
[   ]bf2670-538.cnf.Z1993-07-07 01:11 24K 
[   ]bf2670-546.cnf.Z1993-07-07 01:16 19K 
[   ]bf2670-547.cnf.Z1993-07-07 01:20 19K 

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