wip

Leere Datei

+../ifsm1.kiss,148,73,9,19624,75,10,34643
+intel_edge.dummy.kiss,56,24,6,6562,24,5,4623

asmlbenchmarks_pgf.csv

+file,origstates,forwardstates,forward rounds,mqueries,reversestates,reverse rounds,mqueries2
+m183,9,9,5,4368,11,7,5700
+m217,14,14,10,182643,22,12,207944
+m41,25,25,9,97550,34,13,147465
+m199,27,27,15,223008,36,18,264762
+m54,27,27,13,83237,29,21,131670
+m158,28,28,12,338013,35,16,281952
+m159,30,30,11,369680,37,17,311740
+m95,33,33,11,390710,39,18,306348
+m164,43,43,8,430544,48,22,575498
+m135,57,57,19,3115636,66,26,1754456
+m106,79,79,25,2980800,96,38,2494380
+m196,81,81,33,2573870,89,58,2970903
+m22,93,93,28,4605436,117,46,5020006
+m172,113,113,36,7166880,119,51,5936328
+m34,115,115,35,6555594,123,47,8157072
+m201,128,128,46,13830919,145,68,16272915
+m49,142,142,36,8028494,151,65,12654375
+m45,184,184,52,10515860,219,70,15981504
+m185,190,190,39,15340536,231,50,15922095
+m76,210,210,66,14901636,245,80,20917533

learnlib/Kiss2Parser.java

@@ -55,7 +55,7 @@ public class Kiss2Parser extends GraphvizParser {
 
     public static void main(String[] args) throws IOException {
         Kiss2Parser parser = new Kiss2Parser(Paths.get(args[0]));
-        CompactDFA<String> dfa = parser.createDFAfromMealy(Collections.singletonList("1"), "s_2_0");
+        CompactDFA<String> dfa = parser.createDFAfromMealy(Collections.singletonList("11"), args[1]);
 
         Visualization.visualize(dfa);
 

learnlib/TimbukParser.java

@@ -76,7 +76,7 @@ public class TimbukParser {
         RFSALearnAndCompare<String> learnAndCompare = new RFSALearnAndCompare<>();
         learnAndCompare.setTarget(nfa);
 
-        int maxTests = 5000000;
+        int maxTests = 2000000;
         System.out.println(maxTests);
         learnAndCompare.learn((int) (2*learnAndCompare.target.getStates().size()), maxTests);
 

nfabenchmarks_pgf2.csv

@@ -6,3 +6,12 @@ Ba4bPa6,40,36,16,23120,36,15,16473
 Ba4bPa10,125,88,43,305493,90,35,187889
 Ba4bPa11,89,67,26,136359,61,27,91485
 Ba4bPa12,165,101,57,448655,95,49,247566
+Ba4bPa14,206,105,56,473662,105,47,279490
+Ba4bPa16,227,112,58,510687,106,50,301455
+Ba4bPa18,276,132,65,686982,123,47,353215
+Ba4bPa20,318,142,64,781521,133,44,363285
+Ba4bPa22,332,144,54,1004338,135,48,508079
+Ba4bPa24,341,151,70,1163605,140,45,504200
+Ba4bPa26,367,151,65,1105357,150,36,505087
+Ba4bPa30,380,158,66,1264428,152,33,505575
+Ba4bPa32,417,164,52,1181768,150,31,464713