load_path := "/mnt/Repository/formal_lp/ineqs/tests2"
        :: "/mnt/Repository/formal_lp/hypermap" :: !load_path;;

needs "nobranching_lp.hl";;

#load "unix.cma";;

let test file =
  let start = Unix.gettimeofday() in
  let _ = loadt file in
  let finish = Unix.gettimeofday() in
    finish -. start;;

(* 4.350 *)
test "118343205068_out.hl";;

(* 3.758 *)
test "118760185161_out.hl";;

(* 3.757 *)
test "119040238600_out.hl";;

(* 3.638 *)
test "122526068934_out.hl";;

(* 5.148 *)
test "123040027899_out.hl";;

(* 3.210 *)
test "125719999821_out.hl";;

(* 3.337 *)
test "147671934133_out.hl";;

(* 4.723 *)
test "156401568298_out.hl";;

(* 4.071 *)
test "156615503428_out.hl";;

(* 4.329 *)
test "158856256118_out.hl";;

(* 4.082 *)
test "165950391005_out.hl";;

(* 4.165 *)
test "168156828154_out.hl";;

(* 3.298 *)
test "17272290668_out.hl";;

(* 3.161 *)
test "195482381558_out.hl";;

(* 3.203 *)
test "196021155893_out.hl";;

(* 3.309 *)
test "206084941231_out.hl";;

(* 3.664 *)
test "211626865969_out.hl";;

(* 3.867 *)
test "219955817888_out.hl";;

(* 4.465 *)
test "245859035526_out.hl";;

(* 3.318 *)
test "25168582633_out.hl";;

(* 3.252 *)
test "30500231120_out.hl";;

(* 3.470 *)
test "4436579732_out.hl";;

(* 4.311 *)
test "63626063287_out.hl";;

(* 3.578 *)
test "69964410750_out.hl";;

(* 4.020 *)
test "74394196986_out.hl";;

(* 3.731 *)
test "91057093091_out.hl";;

(* 3.139 *)
test "945145744_out.hl";;