Builds for acl2 in Ubuntu Artful

Build started on 2017-10-25 on bos01-arm64-009 and finished on 2017-10-26 taking 19 hours — see the log

Build started on 2017-08-09 on z13-014 and finished on 2017-08-10 taking 3 hours 40 minutes — see the log

Build started on 2017-08-09 on bos01-ppc64el-024 and finished on 2017-08-10 taking 4 hours 30 minutes — see the log

Build started on 2017-08-09 on lcy01-02 and finished on 2017-08-10 taking 7 hours — see the log

Build started on 2017-08-09 on bos01-arm64-042 and finished on 2017-08-10 taking 25 hours — see the log

Build started on 2017-10-16 on bos01-arm64-041 and finished on 2017-10-16 taking 15 hours — see the log

Build started on 2017-08-09 on lgw01-57 and finished on 2017-08-10 taking 7 hours 30 minutes — see the log

Build started on 2017-06-09 on z13-018 and finished on 2017-06-10 taking 3 hours 30 minutes — see the log

Build started on 2017-06-09 on bos01-ppc64el-027 and finished on 2017-06-10 taking 4 hours — see the log

Build started on 2017-06-09 on lcy01-08 and finished on 2017-06-10 taking 6 hours 30 minutes — see the log

Build started on 2017-06-09 on bos01-arm64-039 and finished on 2017-06-10 taking 16 hours — see the log

Build started on 2017-06-20 on bos01-arm64-036 and finished on 2017-06-21 taking 17 hours — see the log

Build started on 2017-06-09 on lcy01-04 and finished on 2017-06-10 taking 4 hours — see the log

Build started on 2017-06-02 on z13-008 and finished on 2017-06-03 taking 3 hours 20 minutes — see the log

Build started on 2017-06-02 on bos01-ppc64el-025 and finished on 2017-06-03 taking 4 hours 30 minutes — see the log

Build started on 2017-06-02 on lgw01-57 and finished on 2017-06-03 taking 6 hours 30 minutes — see the log

Build started on 2017-06-02 on bos01-arm64-026 and finished on 2017-06-03 taking 16 hours — see the log

Build started on 2017-06-02 on bos01-arm64-040 and finished on 2017-06-03 taking 13 hours — see the log

Build started on 2017-06-02 on lgw01-58 and finished on 2017-06-03 taking 6 hours 40 minutes — see the log

Build started on 2017-05-31 on z13-010 and finished on 2017-05-31 taking 3 hours 20 minutes — see the log

Build started on 2017-05-31 on bos01-ppc64el-029 and finished on 2017-05-31 taking 4 hours 30 minutes — see the log

Build started on 2017-05-31 on lgw01-53 and finished on 2017-05-31 taking 7 hours 40 minutes — see the log

Build started on 2017-05-31 on bos01-arm64-048 and finished on 2017-06-01 taking 20 hours — see the log

Build started on 2017-05-31 on bos01-arm64-001 and finished on 2017-06-01 taking 15 hours — see the log

Build started on 2017-05-31 on lgw01-54 and finished on 2017-05-31 taking 7 hours 40 minutes — see the log

Build started on 2017-05-10 on z13-019 and finished on 2017-05-10 taking 3 hours 30 minutes — see the log

Build started on 2017-05-10 on bos01-ppc64el-023 and finished on 2017-05-10 taking 4 hours 30 minutes — see the log

Build started on 2017-05-10 on lgw01-39 and finished on 2017-05-10 taking 8 hours 40 minutes — see the log

Build started on 2017-05-10 on bos01-arm64-003 and finished on 2017-05-10 taking 15 hours — see the log

Build started on 2017-05-10 on bos01-arm64-004 and finished on 2017-05-10 taking 17 hours — see the log

Build started on 2017-05-10 on lcy01-24 and finished on 2017-05-10 taking 6 hours 30 minutes — see the log

Build started on 2017-09-09 on bos01-ppc64el-022 and finished on 2017-09-09 taking 15 minutes — see the log

Build started on 2017-04-21 on bos01-arm64-041 and finished on 2017-04-22 taking 13 hours — see the log

Build started on 2017-04-09 on bos01-ppc64el-021 and finished on 2017-04-09 taking 17 minutes — see the log

Build started on 2016-11-03 on z13-020 and finished on 2016-11-03 taking 3 hours 30 minutes — see the log

Build started on 2016-11-03 on bos01-ppc64el-015 and finished on 2016-11-03 taking 4 hours 30 minutes — see the log

Build started on 2016-11-03 on denneed08 (powerpc) and finished on 2016-11-03 taking 4 hours 40 minutes — see the log

Build started on 2016-11-03 on lcy01-27 and finished on 2016-11-03 taking 7 hours 30 minutes — see the log

Build started on 2016-11-03 on bos01-arm64-006 and finished on 2016-11-04 taking 14 hours — see the log

Build started on 2017-04-09 on bos01-arm64-027 and finished on 2017-04-09 taking 13 hours — see the log

Build started on 2016-11-03 on lgw01-13 and finished on 2016-11-03 taking 8 hours 20 minutes — see the log

Build started on 2016-05-04 on z13-019 and finished on 2016-05-05 taking 3 hours 30 minutes — see the log

Build started on 2016-08-31 on bos01-ppc64el-029 and finished on 2016-08-31 taking 15 minutes — see the log

Build started on 2016-05-04 on sagari (powerpc) and finished on 2016-05-05 taking 4 hours 40 minutes — see the log

Build started on 2016-05-04 on lgw01-59 and finished on 2016-05-05 taking 7 hours 30 minutes — see the log

Build started on 2016-05-04 on kishi11 (highbank) and finished on 2016-05-05 taking 24 hours — see the log

Build started on 2016-05-08 on magic (arm64) and finished on 2016-05-09 taking 13 hours — see the log

Build started on 2016-05-04 on lgw01-11 and finished on 2016-05-05 taking 6 hours 40 minutes — see the log