Builds for cbmc in Ubuntu Trusty

Build started on 2014-11-11 on fisher04 (powerpc) and finished on 2014-11-11 taking 11 minutes — see the log

Build started on 2014-11-11 on fisher04 (powerpc) and finished on 2014-11-11 taking 11 minutes — see the log

Build started on 2014-09-07 on fisher03 (powerpc) and finished on 2014-09-07 taking 12 minutes — see the log

Build started on 2014-09-07 on fisher03 (powerpc) and finished on 2014-09-07 taking 12 minutes — see the log

Build started on 2014-04-16 on fisher04 (powerpc) and finished on 2014-04-16 taking 11 minutes — see the log

Build started on 2014-04-16 on fisher04 (powerpc) and finished on 2014-04-16 taking 11 minutes — see the log

Build started on 2013-10-28 on adare (powerpc) and finished on 2013-10-28 taking 49 minutes — see the log

Build started on 2013-10-28 on adare (powerpc) and finished on 2013-10-28 taking 49 minutes — see the log

Build started on 2013-10-28 on lamiak (i386/amd64) and finished on 2013-10-28 taking 19 minutes — see the log

Build started on 2013-10-28 on lamiak (i386/amd64) and finished on 2013-10-28 taking 19 minutes — see the log

Build started on 2013-10-28 on kishi05 (highbank) and finished on 2013-10-28 taking 56 minutes — see the log

Build started on 2013-10-28 on kishi05 (highbank) and finished on 2013-10-28 taking 56 minutes — see the log

Build started on 2013-10-28 on birch (arm64) and finished on 2013-10-28 taking 36 minutes — see the log

Build started on 2013-10-28 on birch (arm64) and finished on 2013-10-28 taking 36 minutes — see the log

Build started on 2013-10-28 on toyol (i386/amd64) and finished on 2013-10-28 taking 17 minutes — see the log

Build started on 2013-10-28 on toyol (i386/amd64) and finished on 2013-10-28 taking 17 minutes — see the log

Build started on 2013-10-28 on sulfur (powerpc) and finished on 2013-10-28 taking 34 minutes — see the log

Build started on 2013-10-28 on sulfur (powerpc) and finished on 2013-10-28 taking 34 minutes — see the log

Build started on 2013-10-28 on lamiak (i386/amd64) and finished on 2013-10-28 taking 19 minutes — see the log

Build started on 2013-10-28 on lamiak (i386/amd64) and finished on 2013-10-28 taking 19 minutes — see the log

Build started on 2013-10-28 on kishi03 (highbank) and finished on 2013-10-28 taking 57 minutes — see the log

Build started on 2013-10-28 on kishi03 (highbank) and finished on 2013-10-28 taking 57 minutes — see the log

Build started on 2013-10-28 on magic (arm64) and finished on 2013-10-28 taking 32 minutes — see the log

Build started on 2013-10-28 on magic (arm64) and finished on 2013-10-28 taking 32 minutes — see the log

Build started on 2013-10-28 on toyol (i386/amd64) and finished on 2013-10-28 taking 17 minutes — see the log

Build started on 2013-10-28 on toyol (i386/amd64) and finished on 2013-10-28 taking 17 minutes — see the log

Build started on 2013-10-27 on magic (arm64) and finished on 2013-10-27 taking 7 minutes — see the log

Missing dependencies: minisat

Build started on 2013-10-11 on birch (arm64) and finished on 2013-10-11 taking 1 minute — see the log

Build started on 2012-11-08 on adare (powerpc) and finished on 2012-11-08 taking 31 minutes — see the log

Build started on 2012-11-08 on roseapple (i386/amd64) and finished on 2012-11-08 taking 5 minutes — see the log

Build started on 2012-11-08 on nasl (arm panda) and finished on 2012-11-08 taking 51 minutes — see the log

Build started on 2012-11-08 on chort (armhf panda) and finished on 2012-11-08 taking 53 minutes — see the log

Build started on 2012-11-08 on allspice (i386/amd64) and finished on 2012-11-08 taking 5 minutes — see the log