Index of /project/akt/work/stuart/ALC/QBFCNF
Name Last modified Size Description
p-qbf-cnf-K4-C10-V16-D4.1 1999-09-28 14:03 1.5M
p-qbf-cnf-K4-C10-V16-D4.2 1999-09-28 14:05 1.7M
p-qbf-cnf-K4-C10-V16-D4.3 1999-09-28 14:07 1.6M
p-qbf-cnf-K4-C10-V16-D4.4 1999-09-28 14:10 1.9M
p-qbf-cnf-K4-C10-V16-D6.1 1999-09-28 16:24 2.9M
p-qbf-cnf-K4-C10-V16-D6.2 1999-09-28 16:32 3.6M
p-qbf-cnf-K4-C10-V16-D6.3 1999-09-28 16:39 3.4M
p-qbf-cnf-K4-C10-V16-D6.4 1999-09-28 16:44 3.0M
p-qbf-cnf-K4-C10-V4-D4.1 1999-09-28 13:59 86K
p-qbf-cnf-K4-C10-V4-D4.2 1999-09-28 13:59 79K
p-qbf-cnf-K4-C10-V4-D4.3 1999-09-28 13:59 85K
p-qbf-cnf-K4-C10-V4-D4.4 1999-09-28 13:59 80K
p-qbf-cnf-K4-C10-V4-D6.1 1999-09-28 16:13 182K
p-qbf-cnf-K4-C10-V4-D6.2 1999-09-28 16:13 173K
p-qbf-cnf-K4-C10-V4-D6.3 1999-09-28 16:13 170K
p-qbf-cnf-K4-C10-V4-D6.4 1999-09-28 16:13 184K
p-qbf-cnf-K4-C10-V8-D4.1 1999-09-28 14:00 352K
p-qbf-cnf-K4-C10-V8-D4.2 1999-09-28 14:00 315K
p-qbf-cnf-K4-C10-V8-D4.3 1999-09-28 14:00 339K
p-qbf-cnf-K4-C10-V8-D4.4 1999-09-28 14:00 394K
p-qbf-cnf-K4-C10-V8-D6.1 1999-09-28 16:14 784K
p-qbf-cnf-K4-C10-V8-D6.2 1999-09-28 16:15 659K
p-qbf-cnf-K4-C10-V8-D6.3 1999-09-28 16:15 853K
p-qbf-cnf-K4-C10-V8-D6.4 1999-09-28 16:16 849K
p-qbf-cnf-K4-C20-V16-D4.1 1999-09-28 14:27 2.6M
p-qbf-cnf-K4-C20-V16-D4.2 1999-09-28 14:33 2.8M
p-qbf-cnf-K4-C20-V16-D4.3 1999-09-28 14:38 2.6M
p-qbf-cnf-K4-C20-V16-D4.4 1999-09-28 14:44 2.6M
p-qbf-cnf-K4-C20-V4-D4.1 1999-09-28 14:19 98K
p-qbf-cnf-K4-C20-V4-D4.2 1999-09-28 14:19 97K
p-qbf-cnf-K4-C20-V4-D4.3 1999-09-28 14:19 97K
p-qbf-cnf-K4-C20-V4-D4.4 1999-09-28 14:19 91K
p-qbf-cnf-K4-C20-V4-D6.1 1999-09-28 17:13 216K
p-qbf-cnf-K4-C20-V4-D6.2 1999-09-28 17:13 211K
p-qbf-cnf-K4-C20-V4-D6.3 1999-09-28 17:13 219K
p-qbf-cnf-K4-C20-V4-D6.4 1999-09-28 17:13 226K
p-qbf-cnf-K4-C20-V8-D4.1 1999-09-28 14:19 499K
p-qbf-cnf-K4-C20-V8-D4.2 1999-09-28 14:19 494K
p-qbf-cnf-K4-C20-V8-D4.3 1999-09-28 14:20 537K
p-qbf-cnf-K4-C20-V8-D4.4 1999-09-28 14:20 554K
p-qbf-cnf-K4-C20-V8-D6.1 1999-09-28 17:14 1.0M
p-qbf-cnf-K4-C20-V8-D6.2 1999-09-28 17:16 1.1M
p-qbf-cnf-K4-C20-V8-D6.3 1999-09-28 17:17 1.2M
p-qbf-cnf-K4-C20-V8-D6.4 1999-09-28 17:18 1.0M
p-qbf-cnf-K4-C30-V16-D4.1 1999-09-28 15:17 3.7M
p-qbf-cnf-K4-C30-V16-D4.2 1999-09-28 15:25 3.2M
p-qbf-cnf-K4-C30-V16-D4.3 1999-09-28 15:32 3.2M
p-qbf-cnf-K4-C30-V16-D4.4 1999-09-28 15:40 3.2M
p-qbf-cnf-K4-C30-V4-D4.1 1999-09-28 15:03 104K
p-qbf-cnf-K4-C30-V4-D4.2 1999-09-28 15:03 105K
p-qbf-cnf-K4-C30-V4-D4.3 1999-09-28 15:03 103K
p-qbf-cnf-K4-C30-V4-D4.4 1999-09-28 15:03 105K
p-qbf-cnf-K4-C30-V8-D4.1 1999-09-28 15:04 572K
p-qbf-cnf-K4-C30-V8-D4.2 1999-09-28 15:04 542K
p-qbf-cnf-K4-C30-V8-D4.3 1999-09-28 15:05 594K
p-qbf-cnf-K4-C30-V8-D4.4 1999-09-28 15:05 579K