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: etc

d .. (parent)
d d rwxr-xr-x 36,864 STAREXEC2.2
- - rw-r--r-- 235 Makefile.flat.template1
- - rw-r--r-- 66 Makefile.flat.template2
- - rw-r--r-- 8 NO_DISTRIB
- - rw-r--r-- 1,731 appendix_key
- - rw-r--r-- 1,921 appendix_key_short
- - rw-r--r-- 1,005 benchpress.sexp
- - rw-r--r-- 388 bjob_classify
- - rw-r--r-- 1,264 g_key
- - rw-r--r-- 680 ge_key
- - rw-r--r-- 65 good_appendix_key
- - rw-r--r-- 192 horn_key
- - rw-r--r-- 19,605 option_key
- - rwxr-xr-x 1,203 starexec_run_E---1.9.1_0001_FIFO
- - rwxr-xr-x 1,211 starexec_run_E---1.9.1_0002_cw11
- - rwxr-xr-x 1,211 starexec_run_E---1.9.1_0003_cw21
- - rwxr-xr-x 1,235 starexec_run_E---1.9.1_0004_5cw21fifo
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0005_10cw21fifo
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0006_15cw21fifo
- - rwxr-xr-x 1,216 starexec_run_E---1.9.1_0007_rw2121
- - rwxr-xr-x 1,216 starexec_run_E---1.9.1_0008_rw2122
- - rwxr-xr-x 1,241 starexec_run_E---1.9.1_0009_10rw2122fifo
- - rwxr-xr-x 1,176 starexec_run_E---1.9.1_000X
- - rwxr-xr-x 1,533 starexec_run_E---1.9.1_0010_evo
- - rwxr-xr-x 1,182 starexec_run_E---1.9.1_0011_auto
- - rwxr-xr-x 1,218 starexec_run_E---1.9.1_0012_rw21M1
- - rwxr-xr-x 1,235 starexec_run_E---1.9.1_0013_5cw11fifo
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0014_10cw11fifo
- - rwxr-xr-x 1,248 starexec_run_E---1.9.1_0015_gd
- - rwxr-xr-x 1,272 starexec_run_E---1.9.1_0016_5gdfifo
- - rwxr-xr-x 1,261 starexec_run_E---1.9.1_0017_15cw21fifopi
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0018_gd1
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0019_gd2
- - rwxr-xr-x 1,267 starexec_run_E---1.9.1_0020_10gd1fifo
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0021_10gd3
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0022_10cw112fifo
- - rwxr-xr-x 1,238 starexec_run_E---1.9.1_0023_10cw11Mfifo
- - rwxr-xr-x 1,260 starexec_run_E---1.9.1_0024_5cw21fifopi
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0025_gd4
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0026_15cw11fifo
- - rwxr-xr-x 1,261 starexec_run_E---1.9.1_0027_10cw21fifopi
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0028_cw11pi
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0029_cw112
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0029_cw112pi
- - rwxr-xr-x 1,238 starexec_run_E---1.9.1_0030_cw11M
- - rwxr-xr-x 1,238 starexec_run_E---1.9.1_0030_cw11Mpi
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0031_gd5
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0032_gd6
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0033_gd7
- - rwxr-xr-x 1,242 starexec_run_E---1.9.1_0034_gd8
- - rwxr-xr-x 1,211 starexec_run_E---1.9.1_0035_cw112
- - rwxr-xr-x 1,211 starexec_run_E---1.9.1_0035_cw113
- - rwxr-xr-x 1,236 starexec_run_E---1.9.1_0036_10cw113fifo
- - rwxr-xr-x 1,211 starexec_run_E---1.9.1_0037_cw12
- - rwxr-xr-x 1,235 starexec_run_E---1.9.1_0038_2cw11fifo
- - rwxr-xr-x 1,261 starexec_run_E---1.9.1_0039_10cw11fifopi
- - rwxr-xr-x 1,014 starexec_run_E---1.9.1_0051auto
- - rwxr-xr-x 1,023 starexec_run_E---1.9.1_0052autosched
- - rwxr-xr-x 991 starexec_run_E---1.9.1_0053auto
- - rwxr-xr-x 1,000 starexec_run_E---1.9.1_0054autosched
- - rwxr-xr-x 1,014 starexec_run_E---2.0_0001auto
- - rwxr-xr-x 1,022 starexec_run_E---2.0_0055cascauto
- - rwxr-xr-x 1,031 starexec_run_E---2.0_0056cascautosched
- - rwxr-xr-x 1,032 starexec_run_E---2.0_0057cascauto_ncnf
- - rwxr-xr-x 1,041 starexec_run_E---2.0_0058cascautosched_ncnf
- - rwxr-xr-x 981 starexec_run_E---2.0_XXX
- - rwxr-xr-x 508 starexec_run_E---LTB
- - rwxr-xr-x 1,000 starexec_run_E---autosched
- - rwxr-xr-x 1,003 starexec_run_E---satautosched
- - rw-r--r-- 249 tptp_test_EXAMPLE
- - rw-r--r-- 2,920 unit_key