#!/bin/csh -f

set nlist = ()
@ n = 1
while ($n < 3)
  set n2 = $n
  if ($n2 < 10) set n2 = 0$n2
  set nlist = ($nlist $n2)
  @ n = $n + 1
  end

@ n = 16
while ($n < 30)
  set n2 = $n
  if ($n2 < 10) set n2 = 0$n2
  set nlist = ($nlist $n2)
  @ n = $n + 1
  end

@ n = 39
while ($n < 100)
  set n2 = $n
  if ($n2 < 10) set n2 = 0$n2
  set nlist = ($nlist $n2)
  @ n = $n + 10
  end

foreach n2 ( $nlist )
  @ n = $n2 + 0
  echo $n | qdpll-exponential.awksh > qdpllexp_${n2}.qdimacs
  egrep '^p' qdpllexp_${n2}.qdimacs
  egrep -v '[a-z]' qdpllexp_${n2}.qdimacs | wc -l
  echo ''
  end
