| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| part3-v30.data | 1995-10-20 01:05 | 202 | ||
| 3sat-10clause-10var | 1995-10-20 01:05 | 257 | ||
| part1-v10.data | 1995-10-20 01:05 | 285 | ||
| part2-v30.data | 1995-10-20 01:05 | 336 | ||
| part1-v20.data | 1995-10-20 01:05 | 379 | ||
| part1-v30.data | 1995-10-20 01:05 | 382 | ||
| 3sat-15clause-10var | 1995-10-20 01:05 | 405 | ||
| cl.sch | 1995-10-20 01:05 | 413 | ||
| sortls.sch | 1995-10-20 01:05 | 434 | ||
| 3sat-20clause-10var | 1995-10-20 01:05 | 511 | ||
| 3sat-20clause-20var | 1995-10-20 01:05 | 532 | ||
| 3sat-25clause-10var | 1995-10-20 01:05 | 623 | ||
| part1.plot | 1995-10-20 01:05 | 626 | ||
| quicksort.sch | 1995-10-20 01:05 | 678 | ||
| mix.plot | 1995-10-20 01:05 | 680 | ||
| 3sat-30clause-10var | 1995-10-20 01:05 | 729 | ||
| z1 | 1995-10-20 01:05 | 736 | ||
| h3.sch | 1995-10-20 01:05 | 741 | ||
| 3sat-30clause-30var | 1995-10-20 01:05 | 742 | ||
| 3sat-35clause-10var | 1995-10-20 01:05 | 859 | ||
| 3sat-40clause-10var | 1995-10-20 01:05 | 935 | ||
| part2.data | 1995-10-20 01:05 | 1.0K | ||
| test2.log | 1995-10-20 01:05 | 1.0K | ||
| 3sat-40clause-20var | 1995-10-20 01:05 | 1.0K | ||
| xxx.sch | 1995-10-20 00:04 | 1.2K | ||
| 3sat-60clause-30var | 1995-10-20 01:05 | 1.5K | ||
| 3sat-60clause-20var | 1995-10-20 01:05 | 1.5K | ||
| gensat.sch | 1995-10-20 01:05 | 1.7K | ||
| aimatch.sch | 1995-10-20 01:05 | 1.8K | ||
| 3sat-80clause-20var | 1995-10-20 01:05 | 1.9K | ||
| testfile.scm | 1995-10-20 01:05 | 2.3K | ||
| 3sat-90clause-30var | 1995-10-20 01:05 | 2.3K | ||
| pb2.sch | 1995-10-20 01:05 | 2.4K | ||
| part2.script | 1995-10-20 01:05 | 2.5K | ||
| h2.sch | 1995-10-20 01:05 | 2.6K | ||
| part1.script | 1995-10-20 01:05 | 2.6K | ||
| match.sch | 1995-10-20 01:05 | 2.6K | ||
| 3sat-120clause-30var | 1995-10-20 01:05 | 2.9K | ||
| outfile.scm | 1995-10-20 01:05 | 3.0K | ||
| order.sch | 1995-10-20 01:05 | 3.3K | ||
| variables.sch | 1995-10-20 01:05 | 3.3K | ||
| mattcsp-3sat.sch | 1995-10-20 01:05 | 4.7K | ||
| part1.graph | 1995-10-20 01:05 | 5.0K | ||
| mix.graph | 1995-10-20 01:05 | 5.4K | ||
| score.scm | 1995-10-19 22:41 | 5.7K | ||
| score.sch | 1995-10-20 01:05 | 6.2K | ||
| propagate.sch | 1995-10-20 01:05 | 6.3K | ||
| hardproblem.sch | 1995-10-20 01:05 | 6.5K | ||
| h1.sch | 1995-10-20 01:05 | 6.5K | ||
| variable-selection.sch | 1995-10-20 01:05 | 6.8K | ||
| test1.log | 1995-10-20 01:05 | 8.7K | ||
| csp-prop.sch | 1995-10-20 01:05 | 11K | ||
| var-prop.sch | 1995-10-20 01:05 | 11K | ||
| csp-3sat.sch | 1995-10-20 01:05 | 12K | ||
| var-sel.sch | 1995-10-20 01:05 | 12K | ||
| part3.script | 1995-10-20 01:05 | 20K | ||