package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389

Folder: TPTP

d .. (parent)
d d rwxr-xr-x 4,096 Axioms
- - rw-r--r-- 1,728 BOO006-1.p
- - rw-r--r-- 1,429 BOO010-2.p
- - rw-r--r-- 2,135 CAT004-4.p
- - rw-r--r-- 2,133 COL042-8.p
- - rw-r--r-- 2,616 CSR036%2B2.p
- - rw-r--r-- 138,358 GEO288%2B1.p
- - rw-r--r-- 5,893 GRP237-1.p
- - rw-r--r-- 3,406 HEN011-2.p
- - rw-r--r-- 2,070 LCL365-1.p
- - rw-r--r-- 7,015 MGT063%2B1.p
- - rw-r--r-- 1,830 PLA012-1.p
- - rw-r--r-- 3,701 PUZ028-6.p
- - rw-r--r-- 2,517 SET183-6.p
- - rw-r--r-- 3,239 SET844-1.p
- - rw-r--r-- 6,755 SEU027%2B1.p
- - rw-r--r-- 2,066 SWB008%2B1.p
- - rw-r--r-- 1,855 SWB030%2B3.p
- - rw-r--r-- 2,837 SWC078-1.p
- - rw-r--r-- 154,316 SWV851-1.p
- - rw-r--r-- 354,848 SWW194%2B1.p
- - rw-r--r-- 1,416 SYN190-1.p