Builds for cbmc in Ubuntu Raring

Build started on 2013-10-27 on magic (arm64) and finished on 2013-10-27 taking 7 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

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

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

Build started on 2012-11-05 on ross (powerpc) and finished on 2012-11-05 taking 26 minutes — see the log

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

Build started on 2012-11-07 on iara (arm panda) and finished on 2012-11-07 taking 45 minutes — see the log

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

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

Build started on 2012-10-31 on sulfur (powerpc) and finished on 2012-10-31 taking 4 minutes — see the log

Build started on 2012-10-30 on lamiak (i386/amd64) and finished on 2012-10-30 taking 3 minutes — see the log

Build started on 2012-10-31 on iara (arm panda) and finished on 2012-10-31 taking 8 minutes — see the log

Build started on 2012-10-31 on iara (arm panda) and finished on 2012-10-31 taking 8 minutes — see the log

Build started on 2012-10-30 on batsu (i386/amd64) and finished on 2012-10-30 taking 3 minutes — see the log

Build started on 2012-05-25 on ross (powerpc) and finished on 2012-05-25 taking 20 minutes — see the log

Build started on 2012-05-24 on zirconium and finished on 2012-05-24 taking 10 minutes — see the log

Build started on 2012-05-25 on ishigaq (arm panda) and finished on 2012-05-25 taking 44 minutes — see the log

Build started on 2012-05-25 on meissa (armhf panda) and finished on 2012-05-25 taking 46 minutes — see the log

Build started on 2012-05-24 on crested (amd64) and finished on 2012-05-24 taking 14 minutes — see the log