Getting http://clc.cs.uiowa.edu/lfsc/lfsc_src.zip to ./lfsc_src.zip
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:--  0:00:01 --:--:--     0
100 44642  100 44642    0     0  24194      0  0:00:01  0:00:01 --:--:-- 24209
./license.txt already exists, skipping download
./th_lra-cvc3.plf already exists, skipping download
./color_base.plf already exists, skipping download
./color_euf.plf already exists, skipping download
./euf_interpolation.plf already exists, skipping download
./readme-lfsc.txt already exists, skipping download
./sat.plf already exists, skipping download
./smt.plf already exists, skipping download
./th_base.plf already exists, skipping download
./th_real.plf already exists, skipping download
./th_lra.plf already exists, skipping download
Getting http://clc.cs.uiowa.edu/lfsc/license.txt to ./license.txt
Getting http://clc.cs.uiowa.edu/lfsc/th_lra-cvc3.plf to ./th_lra-cvc3.plf
Getting http://clc.cs.uiowa.edu/lfsc/color_base.plf to ./color_base.plf
Getting http://clc.cs.uiowa.edu/lfsc/color_euf.plf to ./color_euf.plf
Getting http://clc.cs.uiowa.edu/lfsc/euf_interpolation.plf to ./euf_interpolation.plf
Getting http://clc.cs.uiowa.edu/lfsc/readme-lfsc.txt to ./readme-lfsc.txt
Getting http://clc.cs.uiowa.edu/lfsc/sat.plf to ./sat.plf
Getting http://clc.cs.uiowa.edu/lfsc/smt.plf to ./smt.plf
Getting http://clc.cs.uiowa.edu/lfsc/th_base.plf to ./th_base.plf
Getting http://clc.cs.uiowa.edu/lfsc/th_real.plf to ./th_real.plf
Getting http://clc.cs.uiowa.edu/lfsc/th_lra.plf to ./th_lra.plf