#
run andrews
run bool_ass
run cn
run dem_alu
run ec
run eval
run grp_div
run kb_bench
run kb_comm
run kb_group
run kb_x2_r
run lifsch
run mission
run mv
run pigeon
run robbins
run salt
run sam_hyp
run stage1
run stage2
run steam
run str_bws
run subgroup
run tba_gg
run w_sk
run wang1
run x2_quant
run z11

echo "clauses generated in all *.stt files:"
grep "clauses generated" *.stt | awk '{sum += $3} END {print sum}'
echo "total CPU time from all *.stt files:"
grep "run time" *.stt | awk '{sum += $3} END {print sum}'

echo "clauses generated in all *.out files:"
grep "clauses generated" *.out | awk '{sum += $3} END {print sum}'
echo "total CPU time from all *.out files:"
grep "run time" *.out | awk '{sum += $3} END {print sum}'
