diff --git a/benchmark/doublecoset/doublecoset1.tst b/benchmark/doublecoset/doublecoset1.tst
new file mode 100644
index 0000000000..3712a62f37
--- /dev/null
+++ b/benchmark/doublecoset/doublecoset1.tst
@@ -0,0 +1,18 @@
+#############################################################################
+##
+#W  doublecoset.tst                                     Alexander Hulpke
+##
+##
+#Y  Copyright (C)  1997,  Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
+##
+##  This  file  tests for double coset calculations
+##
+gap> START_TEST("doublecoset2.tst");
+gap> g:=SimpleGroup("J2");;
+gap> m:=MaximalSubgroupClassReps(g);;
+gap> u:=First(m,x->Index(g,x)=10080);;
+gap> dc:=DoubleCosetRepsAndSizes(g,u,u);;
+gap> Length(dc);Sum(dc,x->x[2])=Size(g);
+191
+true
+gap> STOP_TEST( "doublecoset1.tst", 1);
diff --git a/benchmark/doublecoset/doublecoset2.tst b/benchmark/doublecoset/doublecoset2.tst
new file mode 100644
index 0000000000..8db7722a80
--- /dev/null
+++ b/benchmark/doublecoset/doublecoset2.tst
@@ -0,0 +1,18 @@
+#############################################################################
+##
+#W  doublecoset.tst                                     Alexander Hulpke
+##
+##
+#Y  Copyright (C)  1997,  Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
+##
+##  This  file  tests for double coset calculations
+##
+gap> START_TEST("doublecoset2.tst");
+gap> g:=SimpleGroup("J3");;
+gap> m:=MaximalSubgroupClassReps(g);;
+gap> u:=First(m,x->Index(g,x)=43605);;
+gap> dc:=DoubleCosetRepsAndSizes(g,u,u);;
+gap> Length(dc);Sum(dc,x->x[2])=Size(g);
+57
+true
+gap> STOP_TEST( "doublecoset2.tst", 1);
diff --git a/tst/testextra/doublecoset.tst b/benchmark/doublecoset/doublecoset3.tst
similarity index 86%
rename from tst/testextra/doublecoset.tst
rename to benchmark/doublecoset/doublecoset3.tst
index 3eca30ddee..a30f115c1f 100644
--- a/tst/testextra/doublecoset.tst
+++ b/benchmark/doublecoset/doublecoset3.tst
@@ -7,7 +7,7 @@
 ##
 ##  This  file  tests for double coset calculations
 ##
-gap> START_TEST("doublecoset.tst");
+gap> START_TEST("doublecoset3.tst");
 gap> g:=SimpleGroup("Co3");;
 gap> m:=MaximalSubgroupClassReps(g);;
 gap> u:=First(m,x->Index(g,x)=17931375);;
@@ -15,5 +15,4 @@ gap> dc:=DoubleCosetRepsAndSizes(g,u,u);;
 gap> Length(dc);Sum(dc,x->x[2])=Size(g);
 913
 true
-
-gap> STOP_TEST( "doublecoset.tst", 1);
+gap> STOP_TEST( "doublecoset3.tst", 1);
diff --git a/benchmark/doublecoset/test1.g b/benchmark/doublecoset/test1.g
new file mode 100644
index 0000000000..05a7fc3e00
--- /dev/null
+++ b/benchmark/doublecoset/test1.g
@@ -0,0 +1,17 @@
+#description
+#author
+#timelimit
+#cmdlineops
+#packages
+
+starttime := Runtime();
+
+res := Test( "doublecoset1.tst", rec(showProgress := true) );
+
+Print( "*** RUNTIME ", Runtime()-starttime, "\n" );
+
+if res then
+  QUIT_GAP(0);
+else
+  QUIT_GAP(1);
+fi;
diff --git a/benchmark/doublecoset/test2.g b/benchmark/doublecoset/test2.g
new file mode 100644
index 0000000000..279a919899
--- /dev/null
+++ b/benchmark/doublecoset/test2.g
@@ -0,0 +1,17 @@
+#description
+#author
+#timelimit
+#cmdlineops
+#packages
+
+starttime := Runtime();
+
+res := Test( "doublecoset2.tst", rec(showProgress := true) );
+
+Print( "*** RUNTIME ", Runtime()-starttime, "\n" );
+
+if res then
+  QUIT_GAP(0);
+else
+  QUIT_GAP(1);
+fi;
diff --git a/benchmark/doublecoset/test3.g b/benchmark/doublecoset/test3.g
new file mode 100644
index 0000000000..a756659fd4
--- /dev/null
+++ b/benchmark/doublecoset/test3.g
@@ -0,0 +1,17 @@
+#description
+#author
+#timelimit
+#cmdlineops
+#packages
+
+starttime := Runtime();
+
+res := Test( "doublecoset3.tst", rec(showProgress := true) );
+
+Print( "*** RUNTIME ", Runtime()-starttime, "\n" );
+
+if res then
+  QUIT_GAP(0);
+else
+  QUIT_GAP(1);
+fi;