fix

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index 05ccfd48dce3ae8954598068165c908e917767d6..560d065e9ceb67e741baf4e579e7bef0b5ecb0f1 100644 (file)
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -5,7 +5,7 @@
 // queries ::= query | query "###" queries
 // query ::= name "@@@" sql
 //
-$limits = array("30","50","-1");
+$limits = array("20","50","100","-1");
   
 $quey_all = urlencode("Whole content:@@@select * from bench");
 $query_fail = urlencode(