loadt "LP_arith/lp_arith.ml";;
loadt "LP_arith/lp_tests.ml";;

time LP_ARITH rec_seq;;
time LP_ARITH test_std;;

time REAL_ARITH rec_seq;;
time REAL_ARITH test_std;;