diff --git a/lib/analysis/ipet.rb b/lib/analysis/ipet.rb
index e97ea3bc340e0f7ac1a4a29abfd2f3d2cc2341a8..040522e29b6f6df6f0c64311a2ae228fa3831570 100644
--- a/lib/analysis/ipet.rb
+++ b/lib/analysis/ipet.rb
@@ -1127,6 +1127,7 @@ class IPETBuilder
 
     statistics("WCA",
                "gcfg nodes" => gcfg.nodes.length,
+               "gcfg transitions" => gcfg.nodes.inject(0) {|acc, n| acc + n.successors.length},
                "abbs toplevel" => toplevel_abb_count,
                "abbs microstructure" => abb_to_nodes.length - toplevel_abb_count
                ) if @options.stats
diff --git a/lib/ext/gurobi.rb b/lib/ext/gurobi.rb
index 7bb47f3c3f69bdfee1b68d525e5ee11a97fdf431..46078d02cd4b0a98b0b3c373925d08dfe8c204f8 100644
--- a/lib/ext/gurobi.rb
+++ b/lib/ext/gurobi.rb
@@ -149,7 +149,7 @@ class GurobiILP < ILP
     backlock_idx = 0
     while line = out.gets do
       lines.push(line)
-      if lines.length > 40
+      if lines.length > 40 or @options.verbose
         while backlock_idx < lines.length do
           puts(lines[backlock_idx])
           backlock_idx += 1