#!/bin/sh ../z3 smt.string_solver=z3str3 smt.str.tactic=arrMid smt.str.pre_milliseconds=23000 smt.str.mid_milliseconds=7000 $1
