[Hol-builds] SUCCESS: -expk:e9c78f7:poly530

[<Mic...@ni...>]

Running in /home/michaeln/regressionHOLs/expk on machine gorton
Uname info (srm): Linux 2.6.35-30-generic i686
Cpu: Intel(R) Core(TM)2 CPU 6400 @ 2.13GHz  x 2
Memory: 3021 MB
ML Implementation: poly530
Started: Fri, 30 Sep 2011 19:00:15 +1000
Extra commandline arguments: -fullbuild -selftest 2
Revision: e9c78f7 Fixes an error in METIS_TAC for boundary cases of genvars.
>From github.com:mn200/HOL
   89ec380..aa6ec13  miniML     -> origin/miniML
Already up-to-date.
-- Configuration Description Ends --

Building directory tools/mlyacc/mlyacclib                      [30 Sep, 19:00:28]
Building directory src/portableML/poly                         [30 Sep, 19:00:28]
Building directory src/portableML                              [30 Sep, 19:00:30]
Building directory src/prekernel                               [30 Sep, 19:00:33]
Building directory src/experimental-kernel                     [30 Sep, 19:00:35]
Building directory src/postkernel                              [30 Sep, 19:00:36]
Building directory src/parse                                   [30 Sep, 19:00:37]
Building directory src/bool                                    [30 Sep, 19:00:48]
Building directory src/1                                       [30 Sep, 19:01:27]
Building directory src/proofman                                [30 Sep, 19:01:49]
Building directory src/compute/src                             [30 Sep, 19:01:59]
Building directory src/HolSat/sat_solvers/minisat              [30 Sep, 19:02:00]
Building directory src/HolSat/sat_solvers/zc2hs                [30 Sep, 19:02:00]
Building directory src/HolSat                                  [30 Sep, 19:02:00]
Building directory src/taut                                    [30 Sep, 19:02:03]
Building directory src/marker                                  [30 Sep, 19:02:03]
Building directory src/q                                       [30 Sep, 19:02:04]
Building directory src/combin                                  [30 Sep, 19:02:06]
Building directory src/lite                                    [30 Sep, 19:02:08]
Building directory src/refute                                  [30 Sep, 19:02:09]
Building directory src/simp/src                                [30 Sep, 19:02:09]
Building directory src/metis                                   [30 Sep, 19:02:19]
Building directory src/meson/src                               [30 Sep, 19:02:29]
Building directory src/IndDef                                  [30 Sep, 19:02:29]
Building directory src/basicProof                              [30 Sep, 19:02:35]
Building directory src/relation                                [30 Sep, 19:02:35]
Building directory src/one                                     [30 Sep, 19:03:00]
Building directory src/pair/src                                [30 Sep, 19:03:09]
Building directory src/sum                                     [30 Sep, 19:04:01]
Building directory src/tfl/src                                 [30 Sep, 19:04:11]
Building directory src/option                                  [30 Sep, 19:04:13]
Building directory src/num/theories                            [30 Sep, 19:04:40]
Building directory src/num/reduce/src                          [30 Sep, 19:07:00]
Building directory src/num/arith/src                           [30 Sep, 19:07:01]
Building directory src/num                                     [30 Sep, 19:07:30]
Building directory src/num/termination                         [30 Sep, 19:07:30]
Building directory src/num/extra_theories                      [30 Sep, 19:07:31]
Building directory src/pred_set/src                            [30 Sep, 19:09:24]
Building directory src/datatype/equiv                          [30 Sep, 19:12:43]
Building directory src/datatype/record                         [30 Sep, 19:12:43]
Building directory src/datatype                                [30 Sep, 19:12:44]
Building directory src/list/src                                [30 Sep, 19:13:40]
Building directory src/quantHeuristics                         [30 Sep, 19:15:34]
Building directory src/unwind                                  [30 Sep, 19:16:39]
Building directory src/boss                                    [30 Sep, 19:16:40]
Building directory src/tfl/src/test                            [30 Sep, 19:17:18]
Building directory src/TeX                                     [30 Sep, 19:17:26]
Building directory examples/RSA                                [30 Sep, 19:17:33]
Building directory src/sort                                    [30 Sep, 19:17:42]
Building directory src/string                                  [30 Sep, 19:17:55]
Building directory src/string/theorytesting                    [30 Sep, 19:18:14]
Building directory examples/STE                                [30 Sep, 19:18:21]
Building directory src/res_quan/src                            [30 Sep, 19:18:31]
Building directory src/quotient/src                            [30 Sep, 19:18:33]
Building directory src/quotient/examples                       [30 Sep, 19:18:57]
Building directory src/finite_map                              [30 Sep, 19:19:20]
Building directory examples/ind_def                            [30 Sep, 19:19:45]
Building directory examples/decidable_separationLogic/src/     [30 Sep, 19:20:22]
Building directory src/bag                                     [30 Sep, 19:26:21]
Building directory examples/unification/triangular/first-order [30 Sep, 19:26:59]
Building directory src/n-bit                                   [30 Sep, 19:29:06]
Building directory examples/ARM/arm6-verification              [30 Sep, 19:31:50]
Building directory examples/ARM/arm6-verification/correctness  [30 Sep, 19:34:05]
Building directory src/ring/src                                [30 Sep, 19:43:31]
Building directory src/integer                                 [30 Sep, 19:43:53]
Building directory examples/rings                              [30 Sep, 19:45:43]
Building directory src/llist                                   [30 Sep, 19:46:07]
Building directory src/path                                    [30 Sep, 19:47:04]
Building directory src/integer/testing                         [30 Sep, 19:47:24]
Building directory src/patricia                                [30 Sep, 19:47:49]
Building directory src/update                                  [30 Sep, 19:48:57]
Building directory src/emit                                    [30 Sep, 19:49:02]
Building directory examples/ARM/v4                             [30 Sep, 19:51:26]
Building directory examples/ARM/v7                             [30 Sep, 19:58:51]
Building directory src/hol88                                   [30 Sep, 20:16:50]
Building directory src/quotient/examples/lambda                [30 Sep, 20:16:50]
Building directory src/quotient/examples/sigma                 [30 Sep, 20:17:59]
Building directory src/rational                                [30 Sep, 20:19:07]
Building directory src/real                                    [30 Sep, 20:20:17]
Building directory src/complex                                 [30 Sep, 20:24:20]
Building directory examples/separationLogic/src/               [30 Sep, 20:24:38]
Building directory src/HolQbf                                  [30 Sep, 20:29:51]
Building directory src/HolSmt                                  [30 Sep, 20:29:52]
Building directory src/opentheory                              [30 Sep, 20:32:17]
Building directory examples/misc                               [30 Sep, 20:32:21]
Building directory src/datatype/inftree                        [30 Sep, 20:33:04]
Building directory examples/lambda/basics                      [30 Sep, 20:33:07]
Building directory examples/unification/triangular/nominal     [30 Sep, 20:34:45]
Building directory examples/lambda/barendregt                  [30 Sep, 20:40:07]
Building directory examples/computability                      [30 Sep, 20:44:08]
Building directory examples/lambda/other-models                [30 Sep, 20:44:34]
Building directory examples/lambda/typing                      [30 Sep, 20:47:29]
Building directory examples/computability/lambda               [30 Sep, 20:49:27]
Building directory src/Boolify/src                             [30 Sep, 20:55:45]
Building directory src/float                                   [30 Sep, 20:56:11]
Building directory src/prob                                    [30 Sep, 20:56:52]
Building directory src/temporal/src                            [30 Sep, 20:58:54]
Building directory examples/MLsyntax                           [30 Sep, 20:59:51]
Building directory examples/zfset                              [30 Sep, 20:59:56]
Building directory examples/category                           [30 Sep, 21:00:38]
Building directory examples/miller/ho_prover                   [30 Sep, 21:04:09]
Building directory examples/miller/miller                      [30 Sep, 21:04:12]
Building directory examples/ordinal                            [30 Sep, 21:16:27]
Building directory examples/Crypto/AES                         [30 Sep, 21:16:54]
Building directory examples/Crypto/IDEA                        [30 Sep, 21:21:54]
Building directory examples/Crypto/MARS                        [30 Sep, 21:23:08]
Building directory examples/Crypto/RC6                         [30 Sep, 21:24:20]
Building directory examples/Crypto/Serpent/Bitslice            [30 Sep, 21:24:42]
Building directory examples/Crypto/SHA-1                       [30 Sep, 21:30:32]
Building directory examples/Crypto/TEA                         [30 Sep, 21:30:55]
Building directory examples/Crypto/TWOFISH                     [30 Sep, 21:31:32]