#
#
cd propositional
echo "Running propositional problems ..."
../../anldp < q10.in > q10.out
../../anldp < p8.in > p8.out
cd ..
#
cd first_order
echo "Running first_order problems ..."
../../fol_find < cl_ql.in -n4 -m10 > cl_ql.4.out
../../fol_find < cl_sw.in -n3 -m10 > cl_sw.3.out
../../fol_find < noncommutative_group.in -n6 > noncommutative_group.6.out
../../fol_find < ordered_semi.in -n4 > ordered_semi.4.out
../../fol_find < tba.in -n3 > tba.3.out
../../fol_find < ring.in -n4 -m10 > ring.4.out
../../fol_find < ring_unit.in -n4 -m10 > ring_unit.4.out
cd ..
#
cd sorted_fol
echo "Running sorted_fol problems ..."
../../anldp < jobs.in -z -p > jobs.out
cd ..
#
cd qg_benchmarks
echo "Running qg_benchmarks problems ..."
../../fol_find < qg1d.in -n7 -x1 > qg1d.7.out
../../fol_find < qg2d.in -n7 -x1 > qg2d.7.out
../../fol_find < qg3.in -n8 -x1 > qg3.8.out
../../fol_find < qg4.in -n8 -x1 > qg4.8.out
../../fol_find < qg5l.in -n11 -x1 > qg5l.11.out
../../fol_find < qg6.in -n11 -x1 > qg6.11.out
../../fol_find < qg7bl.in -n11 -x1 > qg7bl.11.out
cd ..
#

set checksparc2=`grep "Unit assign" */*.sparc2 | awk '{sum += $4} END {print sum}'`
set checknew=`grep "Unit assign" */*.out | awk '{sum += $4} END {print sum}'`

if ($checksparc2 != $checknew) then
  echo "There is a problem: check */*.out against */*.sparc2"
else
  set timesparc2=`grep "^user CPU time" */*.sparc2 | awk '{sum += $4} END {print sum}'`
  set timenew=`grep "^user CPU time" */*.out | awk '{sum += $4} END {print sum}'`
  set speedup=`awk "END {print $timesparc2 / $timenew}" /dev/null`
  echo "timenew=$timenew, timesparc2=$timesparc2."
  echo "This computer runs ANLDP about $speedup times as fast a sparc2."
endif
