testing of smt2, correctness and timing
timing work