![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | README | 1990-03-24 10:48 | 2.8K | |
![]() | axioms.ver1 | 1990-03-24 10:48 | 1.8K | |
![]() | axioms.ver2 | 1990-03-24 10:48 | 1.3K | |
![]() | axioms.ver3 | 1990-03-24 10:48 | 1.5K | |
![]() | hp1.desc | 1990-03-24 10:48 | 715 | |
![]() | hp1.ver1.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | hp1.ver1.in | 1990-03-24 10:48 | 1.5K | |
![]() | hp1.ver1.out | 1990-03-24 10:48 | 2.2K | |
![]() | hp1.ver2.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp1.ver2.in | 1990-03-24 10:48 | 1.1K | |
![]() | hp1.ver2.out | 1990-03-24 10:48 | 1.8K | |
![]() | hp1.ver3.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp1.ver3.in | 1990-03-24 10:48 | 1.1K | |
![]() | hp1.ver3.out | 1990-03-24 10:48 | 1.7K | |
![]() | hp2.desc | 1990-03-24 10:48 | 715 | |
![]() | hp2.ver1.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | hp2.ver1.in | 1990-03-24 10:48 | 1.5K | |
![]() | hp2.ver1.out | 1990-03-24 10:48 | 2.2K | |
![]() | hp2.ver2.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp2.ver2.in | 1990-03-24 10:48 | 1.1K | |
![]() | hp2.ver2.out | 1990-03-24 10:48 | 1.9K | |
![]() | hp2.ver3.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp2.ver3.in | 1990-03-24 10:48 | 1.1K | |
![]() | hp2.ver3.out | 1990-03-24 10:48 | 1.7K | |
![]() | hp3.desc | 1990-03-24 10:48 | 754 | |
![]() | hp3.ver1.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | hp3.ver1.in | 1990-03-24 10:48 | 1.6K | |
![]() | hp3.ver1.out | 1990-03-24 10:48 | 16K | |
![]() | hp3.ver2.clauses | 1990-03-24 10:48 | 1.1K | |
![]() | hp3.ver2.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp3.ver2.out | 1990-03-24 10:48 | 19K | |
![]() | hp3.ver3.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp3.ver3.in | 1990-03-24 10:48 | 1.2K | |
![]() | hp3.ver3.out | 1990-03-24 10:48 | 2.1K | |
![]() | hp4.desc | 1990-03-24 10:48 | 774 | |
![]() | hp4.ver1.clauses | 1990-03-24 10:48 | 1.6K | |
![]() | hp4.ver1.in | 1990-03-24 10:48 | 1.7K | |
![]() | hp4.ver1.out | 1990-03-24 10:48 | 13K | |
![]() | hp4.ver2.clauses | 1990-03-24 10:48 | 1.1K | |
![]() | hp4.ver2.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp4.ver2.out | 1990-03-24 10:48 | 3.0K | |
![]() | hp4.ver3.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp4.ver3.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp4.ver3.out | 1990-03-24 10:48 | 2.4K | |
![]() | hp5.desc | 1990-03-24 10:48 | 795 | |
![]() | hp5.ver1.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | hp5.ver1.in | 1990-03-24 10:48 | 1.6K | |
![]() | hp5.ver1.out | 1990-03-24 10:48 | 2.9K | |
![]() | hp5.ver2.clauses | 1990-03-24 10:48 | 1.1K | |
![]() | hp5.ver2.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp5.ver2.out | 1990-03-24 10:48 | 9.1K | |
![]() | hp5.ver3.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp5.ver3.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp5.ver3.out | 1990-03-24 10:48 | 2.3K | |
![]() | hp6.desc | 1990-03-24 10:48 | 804 | |
![]() | hp6.ver1.clauses | 1990-03-24 10:48 | 1.7K | |
![]() | hp6.ver1.in | 1990-03-24 10:48 | 1.8K | |
![]() | hp6.ver1.out | 1990-03-24 10:48 | 3.1K | |
![]() | hp6.ver2.clauses | 1990-03-24 10:48 | 1.1K | |
![]() | hp6.ver2.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp6.ver2.out | 1990-03-24 10:48 | 2.7K | |
![]() | hp6.ver3.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp6.ver3.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp6.ver3.out | 1990-03-24 10:48 | 2.4K | |
![]() | hp7.desc | 1990-03-24 10:48 | 827 | |
![]() | hp7.ver1.clauses | 1990-03-24 10:48 | 1.7K | |
![]() | hp7.ver1.in | 1990-03-24 10:48 | 1.9K | |
![]() | hp7.ver1.out | 1990-03-24 10:48 | 2.8K | |
![]() | hp7.ver2.clauses | 1990-03-24 10:48 | 1.2K | |
![]() | hp7.ver2.in | 1990-03-24 10:48 | 1.5K | |
![]() | hp7.ver2.out | 1990-03-24 10:48 | 2.4K | |
![]() | hp7.ver3.clauses | 1990-03-24 10:48 | 1.1K | |
![]() | hp7.ver3.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp7.ver3.out | 1990-03-24 10:48 | 2.2K | |
![]() | hp8.desc | 1990-03-24 10:48 | 784 | |
![]() | hp8.ver1.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | hp8.ver1.in | 1990-03-24 10:48 | 1.6K | |
![]() | hp8.ver1.out | 1990-03-24 10:48 | 25K | |
![]() | hp8.ver2.clauses | 1990-03-24 10:48 | 1.1K | |
![]() | hp8.ver2.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp8.ver2.out | 1990-03-24 10:48 | 4.1K | |
![]() | hp8.ver3.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | hp8.ver3.in | 1990-03-24 10:48 | 1.3K | |
![]() | hp8.ver3.out | 1990-03-24 10:48 | 2.0K | |
![]() | hp9.desc | 1990-03-24 10:48 | 791 | |
![]() | hp9.ver1.clauses | 1990-03-24 10:48 | 1.7K | |
![]() | hp9.ver1.in | 1990-03-24 10:48 | 2.0K | |
![]() | hp9.ver1.out | 1990-03-24 10:48 | 3.2K | |
![]() | hp9.ver2.clauses | 1990-03-24 10:48 | 1.2K | |
![]() | hp9.ver2.in | 1990-03-24 10:48 | 1.5K | |
![]() | hp9.ver2.out | 1990-03-24 10:48 | 3.5K | |
![]() | hp9.ver3.clauses | 1990-03-24 10:48 | 1.2K | |
![]() | hp9.ver3.in | 1990-03-24 10:48 | 1.5K | |
![]() | hp9.ver3.out | 1990-03-24 10:48 | 2.9K | |
![]() | hp10.desc | 1990-03-24 10:48 | 842 | |
![]() | hp10.ver1.clauses | 1990-03-24 10:48 | 1.7K | |
![]() | hp10.ver1.in | 1990-03-24 10:48 | 2.0K | |
![]() | hp10.ver1.out | 1990-03-24 10:48 | 3.2K | |
![]() | hp10.ver2.clauses | 1990-03-24 10:48 | 1.3K | |
![]() | hp10.ver2.in | 1990-03-24 10:48 | 1.5K | |
![]() | hp10.ver2.out | 1990-03-24 10:48 | 969 | |
![]() | hp10.ver3.clauses | 1990-03-24 10:48 | 1.2K | |
![]() | hp10.ver3.in | 1990-03-24 10:48 | 1.6K | |
![]() | hp10.ver3.out | 1990-03-24 10:48 | 3.1K | |
![]() | hp11.desc | 1990-03-24 10:48 | 933 | |
![]() | hp11.ver1.clauses | 1990-03-24 10:48 | 2.4K | |
![]() | hp11.ver1.in | 1990-03-24 10:48 | 2.8K | |
![]() | hp11.ver1.out | 1990-03-24 10:48 | 3.0K | |
![]() | hp11.ver2.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | hp11.ver2.in | 1990-03-24 10:48 | 1.9K | |
![]() | hp11.ver2.out | 1990-03-24 10:48 | 4.1K | |
![]() | hp11.ver3.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | hp11.ver3.in | 1990-03-24 10:48 | 2.1K | |
![]() | hp11.ver3.out | 1990-03-24 10:48 | 2.7K | |
![]() | new.desc | 1990-03-24 10:48 | 547 | |
![]() | new.ver1.clauses | 1990-03-24 10:48 | 1.5K | |
![]() | new.ver1.in | 1990-03-24 10:48 | 1.5K | |
![]() | new.ver1.out | 1990-03-24 10:48 | 2.6K | |
![]() | new.ver2.clauses | 1990-03-24 10:48 | 1.0K | |
![]() | new.ver2.in | 1990-03-24 10:48 | 1.1K | |
![]() | new.ver2.out | 1990-03-24 10:48 | 1.8K | |