promote tests

Author: redianthus

test/sym/bench.t

@@ -1,4 +1,4 @@
-  $ owi sym div_i32.wat --no-value --deterministic-result-order -w1 --bench 2>&1 | sed 's/\(solver\|interpreter\|parsing\|execution\|typechecking\|validation\) \(time\).*/\1 \2/' | sed 's/\(stat \("[^"]*"\|\w*\)\).*/\1/' | grep -v "(memory" | grep -v "(max memory" | grep -v "(num allocs"
+  $ owi sym div_i32.wat --no-value --deterministic-result-order -w1 --bench 2>&1 | sed 's/\(solver\|interpreter\|parsing\|execution\|typechecking\|validation\) \(time\).*/\1 \2/' | grep -v "(memory" | grep -v "(max memory" | grep -v "(num allocs"
   owi: [INFO] parsing time
   owi: [INFO] typechecking time
   owi: [INFO] validation time
@@ -19,18 +19,18 @@
               solver time
               interpreter time
               Solver stats:
-              ((added eqs 13)
-               (bv bit2core 192)
+              ((added eqs 11)
+               (bv bit2core 160)
                (bv dynamic diseqs 4)
                (bv->core eq 1)
                (cache hits 0)
                (cache misses 4)
                (decisions 96)
-               (del clause 10)
+               (del clause 9)
                (final checks 6)
-               (mk bool var 309)
-               (mk clause 15)
+               (mk bool var 277)
+               (mk clause 14)
                (num checks 6)
-               (propagations 12)
-               (rlimit count 2087))
+               (propagations 11)
+               (rlimit count 2003))
   owi: [ERROR] Reached 2 problems!