formal_lp/old/ineqs/tests2/all_tests.hl

   1 load_path := "/mnt/Repository/formal_lp/ineqs/tests2"\r
   2         :: "/mnt/Repository/formal_lp/hypermap" :: !load_path;;\r
   3 \r
   4 needs "nobranching_lp.hl";;\r
   5 \r
   6 #load "unix.cma";;\r
   7 \r
   8 let test file =\r
   9   let start = Unix.gettimeofday() in\r
  10   let _ = loadt file in\r
  11   let finish = Unix.gettimeofday() in\r
  12     finish -. start;;\r
  13 \r
  14 (* 4.350 *)\r
  15 test "118343205068_out.hl";;\r
  16 \r
  17 (* 3.758 *)\r
  18 test "118760185161_out.hl";;\r
  19 \r
  20 (* 3.757 *)\r
  21 test "119040238600_out.hl";;\r
  22 \r
  23 (* 3.638 *)\r
  24 test "122526068934_out.hl";;\r
  25 \r
  26 (* 5.148 *)\r
  27 test "123040027899_out.hl";;\r
  28 \r
  29 (* 3.210 *)\r
  30 test "125719999821_out.hl";;\r
  31 \r
  32 (* 3.337 *)\r
  33 test "147671934133_out.hl";;\r
  34 \r
  35 (* 4.723 *)\r
  36 test "156401568298_out.hl";;\r
  37 \r
  38 (* 4.071 *)\r
  39 test "156615503428_out.hl";;\r
  40 \r
  41 (* 4.329 *)\r
  42 test "158856256118_out.hl";;\r
  43 \r
  44 (* 4.082 *)\r
  45 test "165950391005_out.hl";;\r
  46 \r
  47 (* 4.165 *)\r
  48 test "168156828154_out.hl";;\r
  49 \r
  50 (* 3.298 *)\r
  51 test "17272290668_out.hl";;\r
  52 \r
  53 (* 3.161 *)\r
  54 test "195482381558_out.hl";;\r
  55 \r
  56 (* 3.203 *)\r
  57 test "196021155893_out.hl";;\r
  58 \r
  59 (* 3.309 *)\r
  60 test "206084941231_out.hl";;\r
  61 \r
  62 (* 3.664 *)\r
  63 test "211626865969_out.hl";;\r
  64 \r
  65 (* 3.867 *)\r
  66 test "219955817888_out.hl";;\r
  67 \r
  68 (* 4.465 *)\r
  69 test "245859035526_out.hl";;\r
  70 \r
  71 (* 3.318 *)\r
  72 test "25168582633_out.hl";;\r
  73 \r
  74 (* 3.252 *)\r
  75 test "30500231120_out.hl";;\r
  76 \r
  77 (* 3.470 *)\r
  78 test "4436579732_out.hl";;\r
  79 \r
  80 (* 4.311 *)\r
  81 test "63626063287_out.hl";;\r
  82 \r
  83 (* 3.578 *)\r
  84 test "69964410750_out.hl";;\r
  85 \r
  86 (* 4.020 *)\r
  87 test "74394196986_out.hl";;\r
  88 \r
  89 (* 3.731 *)\r
  90 test "91057093091_out.hl";;\r
  91 \r
  92 (* 3.139 *)\r
  93 test "945145744_out.hl";;\r