test(	'testpgs/qsort.pl',
	group,
	[[Ys]], % Xs is ground
        iqsort(Xs,Ys) ).     

/* This one takes long time 

test(	'testpgs/qsort.pl',
	group,
	[[Xs]], % Ys is ground
        iqsort(Xs,Ys) ).     

*/


test(	'testpgs/pg14.10',
	group,
	[[Y]], % X is ground
	connected(X,Y) ).     
test(	'testpgs/pg14.10',
	group,
	[[X]], % Y is ground
	connected(X,Y) ).     
test(	'testpgs/pg11.1',
	group,
	[[Zs]], % Xs,Ys are ground
        merge(Xs,Ys,Zs) ).
test(	'testpgs/pg11.1',
	group,
	[[Xs],[Ys]], % Zs is ground
        merge(Xs,Ys,Zs) ).
test(	'testpgs/nrev.pl',
	group,
	[[Y]], % X is ground
	nrev(X,Y) ).
test(	'testpgs/nrev.pl',
	group,
	[[X]], % Y is ground
	nrev(X,Y) ).
test(	'testpgs/buggyqs.pl', 
	group,
	[[Lo]], % Li is ground
        qs(Li,Lo) ).
test(	'testpgs/buggyqs.pl', 
	group,
	[[Li]], % Lo is ground
        qs(Li,Lo) ).
test(	'testpgs/treesort.pl',
	group,
	[[Ys]], % Xs is ground
        treesort(Xs,Ys) ).

/* This one takes long time 
test(	'testpgs/treesort.pl',
	group,
	[[Xs]], % Ys is ground
        treesort(Xs,Ys),
	 ).
*/

test(	'testpgs/diff.pl',
	group,
	[[X]], % Y, Z are ground
	diff(X,Y,Z) ).
test(	'testpgs/diff.pl',
	group,
	[[Y],[Z]], % X is ground
	diff(X,Y,Z) ).
test(	'testpgs/insert.pl',
	group,
	[[Z]],	% X,Y are ground
	insert(X,Y,Z) ).
test(	'testpgs/insert.pl',
	group,
	[[X]],	% Y,Z are ground
	insert(X,Y,Z) ).
test(	'testpgs/insert.pl',
	group,
	[[Y]],	% X,Z are ground
	insert(X,Y,Z) ).
test(	'testpgs/pg11.5',
	group,
	[[Ys]], % Xs is ground
	sort(Xs,Ys) ).     
test(	'testpgs/pg11.5',
	group,
	[[Xs]], % Ys is ground
	sort(Xs,Ys) ).     
test(	'testpgs/pg15.4',
	group,
	[[Ys]], % Xs is ground
	quicksort(Xs,Ys) ).

/* this one takes long time

test(	'testpgs/pg15.4',
	group,
	[[Xs]], % Ys is ground
	quicksort(Xs,Ys) ).
*/


test(	'testpgs/pg3.20',
	group,
	[[Ys]], % Xs is ground
	sort(Xs,Ys) ).
test(	'testpgs/pg3.20',
	group,
	[[Xs]], % Ys is ground
	sort(Xs,Ys) ).
test(	'testpgs/pg3.28',
	group,
	[[H]], % T is ground
	heapify(T,H) ).     

/*
test(	'testpgs/pg3.28',
	group,
	[[T]], % H is ground
	heapify(T,H), [T/'T',H/'H'] ). 
*/

test(	'testpgs/pg3.5',
	group,
	[[Y]], % N, X are ground
	exp(N,X,Y) ).     
test(	'testpgs/pg3.5',
	group,
	[[X]], % N, Y are ground
	exp(N,X,Y) ).
test(	'testpgs/pg3.5',
	group,
	[[N]], % X, Y are ground
	exp(N,X,Y) ).
test(	'testpgs/pg3.6',
	group,
	[[F]], % N is ground
	factorial(N,F) ).     
test(	'testpgs/pg3.6',
	group,
	[[N]], % F is ground
	factorial(N,F) ).     




