diff --git a/bench/ltl2tgba/lbtt2csv.pl b/bench/ltl2tgba/lbtt2csv.pl
index 027a1c6dd..47f522ceb 100755
--- a/bench/ltl2tgba/lbtt2csv.pl
+++ b/bench/ltl2tgba/lbtt2csv.pl
@@ -94,10 +94,14 @@ sub work_on_whole_round($)
 {
   my ($round) = @_;
 
+  $round =~ s/      parse tree.*?\n//ms;
+
   $round =~ /.*?\n\s+formula:\s+(.*?)\n/ms;
   my $formula = $1;
   $round = $'; #'
 
+
+
   $round =~ s{\n\n(.*?)(?=\n\n)}<
   work_on_algorithm ($1, $formula);
   >gse;