![]() | 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 | |