bench/encoding/see_result.sh

   1 #!/bin/sh
   2
   3
   4 #benchs=$(echo partial_deco.csv partial_deco_goal.csv partial_explicit.csv \
   5 #    partial_explicit_goal.csv twin_deco.csv twin_explicit.csv)
   6
   7 benchs="$@"
   8
   9 echo yices
  10 ./diff_all.sh 3 $benchs
  11 echo z3
  12 ./diff_all.sh 5 $benchs
  13 echo cvc3
  14 ./diff_all.sh 7 $benchs