#! /bin/sh

echo start, `date`
/local/cvs/bin/yap << yap_ends_here

compile( run ).
run( ['runs/dbag',test_ya1] ).
halt.
yap_ends_here

echo yap_finished, `date`

/local/bin/sicstus << sics_ends_here

compile( run ).
run( ['runs/dbag',test_sa1] ).
halt.

sics_ends_here

echo sics_finished, `date`
