Index of /archive/pub/challenge/satisfiability/contributed/UCSC/instances/cnf-bf

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