formal_lp/old/ineqs/tests/all_tests.hl

   1 \r
   2 \r
   3 let start = Sys.time();;\r
   4 "Case: 1/20";;\r
   5 let _ = needs "149438122187_out.hl" in Sys.time() -. start;;\r
   6 "Case: 2/20";;\r
   7 let _ = needs "156588677070_out.hl" in Sys.time() -. start;;\r
   8 "Case: 3/20";;\r
   9 let _ = needs "168941837467_out.hl" in Sys.time() -. start;;\r
  10 "Case: 4/20";;\r
  11 let _ = needs "176747399778_out.hl" in Sys.time() -. start;;\r
  12 "Case: 5/20";;\r
  13 let _ = needs "196565289721_out.hl" in Sys.time() -. start;;\r
  14 "Case: 6/20";;\r
  15 let _ = needs "202328731904_out.hl" in Sys.time() -. start;;\r
  16 "Case: 7/20";;\r
  17 let _ = needs "204898223616_out.hl" in Sys.time() -. start;;\r
  18 "Case: 8/20";;\r
  19 let _ = needs "206221606034_out.hl" in Sys.time() -. start;;\r
  20 "Case: 9/20";;\r
  21 let _ = needs "209986500083_out.hl" in Sys.time() -. start;;\r
  22 "Case: 10/20";;\r
  23 let _ = needs "234860659776_out.hl" in Sys.time() -. start;;\r
  24 "Case: 11/20";;\r
  25 let _ = needs "241242841715_out.hl" in Sys.time() -. start;;\r
  26 "Case: 12/20";;\r
  27 let _ = needs "241966209046_out.hl" in Sys.time() -. start;;\r
  28 "Case: 13/20";;\r
  29 let _ = needs "28820130324_out.hl" in Sys.time() -. start;;\r
  30 "Case: 14/20";;\r
  31 let _ = needs "62059307362_out.hl" in Sys.time() -. start;;\r
  32 "Case: 15/20";;\r
  33 let _ = needs "63917576180_out.hl" in Sys.time() -. start;;\r
  34 "Case: 16/20";;\r
  35 let _ = needs "72977109430_out.hl" in Sys.time() -. start;;\r
  36 "Case: 17/20";;\r
  37 let _ = needs "75655754509_out.hl" in Sys.time() -. start;;\r
  38 "Case: 18/20";;\r
  39 let _ = needs "86324340346_out.hl" in Sys.time() -. start;;\r
  40 "Case: 19/20";;\r
  41 let _ = needs "95170601659_out.hl" in Sys.time() -. start;;\r
  42 "Case: 20/20";;\r
  43 let _ = needs "97685954266_out.hl" in Sys.time() -. start;;\r