Index of /project/akt/work/stuart/ALC/QBFCNF

Icon  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