#!/bin/tcsh -f
set options = "-fast -new-temporal-circumscription-cost -new-indexing -delta 3"
set options = "$options -rgby best"
./make-clean
setenv SCMAXHEAP 100
unlimit stacksize
foreach e (pick-up put-down stack unstack assemble disassemble move)
  foreach i (00 01 02 03 04)
    echo $e$i
    batch-leonard $options $e$i
    end
  end
