Index of /cvc4/

../
cvc4-1.4_2.darwin_13.x86_64.tbz2                   16-Feb-2018 20:42            14221145
cvc4-1.4_2.darwin_13.x86_64.tbz2.rmd160            16-Feb-2018 20:42                 512
cvc4-1.4_2.darwin_14.x86_64.tbz2                   16-Feb-2018 21:36            14171725
cvc4-1.4_2.darwin_14.x86_64.tbz2.rmd160            16-Feb-2018 21:36                 512
cvc4-1.4_2.darwin_15.x86_64.tbz2                   16-Feb-2018 21:52            14335220
cvc4-1.4_2.darwin_15.x86_64.tbz2.rmd160            16-Feb-2018 21:52                 512
cvc4-1.4_2.darwin_16.x86_64.tbz2                   17-Feb-2018 01:26            15122633
cvc4-1.4_2.darwin_16.x86_64.tbz2.rmd160            17-Feb-2018 01:26                 512
cvc4-1.4_2.darwin_17.x86_64.tbz2                   16-Feb-2018 21:09            15092154
cvc4-1.4_2.darwin_17.x86_64.tbz2.rmd160            16-Feb-2018 21:09                 512
cvc4-1.4_2.darwin_18.x86_64.tbz2                   20-Oct-2018 22:25            15836885
cvc4-1.4_2.darwin_18.x86_64.tbz2.rmd160            20-Oct-2018 22:25                 512
cvc4-1.4_2.darwin_9.ppc.tbz2                       16-Feb-2018 21:22            16338148
cvc4-1.4_2.darwin_9.ppc.tbz2.rmd160                16-Feb-2018 21:22                 512