diff --git a/src/main/java/avatartranslator/modelchecker/CounterexampleQueryReport.java b/src/main/java/avatartranslator/modelchecker/CounterexampleQueryReport.java
index 260d42048594ff00b842f897c63aeb2562726aa5..b7e719384a81ad5ccaed605414e9dbb382acc8e7 100644
--- a/src/main/java/avatartranslator/modelchecker/CounterexampleQueryReport.java
+++ b/src/main/java/avatartranslator/modelchecker/CounterexampleQueryReport.java
@@ -4,6 +4,8 @@ public class CounterexampleQueryReport {
     private String name;
     private String query;
     private String report;
+    private int nbOfStates;
+    private int nbOfTransitions;
     
     public CounterexampleQueryReport(String name) {
         this.name = name;
@@ -36,4 +38,21 @@ public class CounterexampleQueryReport {
         this.report = report;
     }
 
+    public int getNbOfStates() {
+        return nbOfStates;
+    }
+
+    public void setNbOfStates(int nbOfStates) {
+        this.nbOfStates = nbOfStates;
+    }
+
+    public int getNbOfTransitions() {
+        return nbOfTransitions;
+    }
+
+    public void setNbOfTransitions(int nbOfTransitions) {
+        this.nbOfTransitions = nbOfTransitions;
+    }
+
+
 }
diff --git a/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java b/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
index d6f104efc154e3c02a3378c4e04e7889c90e1f8d..18843e240089cb877456b209912bef8b97840ed7 100644
--- a/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
+++ b/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
@@ -266,6 +266,8 @@ public class CounterexampleTrace {
         s.insert(0 ,"des(0," + (trace.size() - 1) + "," + statesID.size() + ")\n");
         
         CounterexampleQueryReport cr = new CounterexampleQueryReport(null, query, s.toString());
+        cr.setNbOfStates(statesID.size());
+        cr.setNbOfTransitions(trace.size() - 1);
         autTraces.add(cr);
     }
     
diff --git a/src/main/java/ui/window/JDialogAvatarModelChecker.java b/src/main/java/ui/window/JDialogAvatarModelChecker.java
index 5dd270d582a88a18fe179e1885bb39be0bcae716..072177cd1733182c4ac176a3fc3330aa47e0039a 100644
--- a/src/main/java/ui/window/JDialogAvatarModelChecker.java
+++ b/src/main/java/ui/window/JDialogAvatarModelChecker.java
@@ -978,6 +978,8 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
                                 RG rg = new RG(file);
                                 rg.data = tr.getReport();
                                 rg.fileName = filename;
+                                rg.nbOfStates = tr.getNbOfStates();
+                                rg.nbOfTransitions = tr.getNbOfTransitions();
                                 rg.name = tr.getQuery() + "_" + dateAndTime;
                                 mgui.addRG(rg);
                                 File f = new File(filename);