diff --git a/Leere Datei b/Leere Datei new file mode 100644 index 0000000000000000000000000000000000000000..4888831d49e76322db3fe783a5ea16c0cb14a271 --- /dev/null +++ b/Leere Datei @@ -0,0 +1,2 @@ +../ifsm1.kiss,148,73,9,19624,75,10,34643 +intel_edge.dummy.kiss,56,24,6,6562,24,5,4623 diff --git a/asmlbenchmarks.ods b/asmlbenchmarks.ods index d6b58924dcd4c8ba9077117eb2a8e67fefab3d49..1607316b8a2f8b28d07646f96aeb08d9f57f8bd8 100644 Binary files a/asmlbenchmarks.ods and b/asmlbenchmarks.ods differ diff --git a/asmlbenchmarks_pgf.csv b/asmlbenchmarks_pgf.csv new file mode 100644 index 0000000000000000000000000000000000000000..1d236e12914e8d91411715fe1d805470dc5a6a2e --- /dev/null +++ b/asmlbenchmarks_pgf.csv @@ -0,0 +1,21 @@ +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 diff --git a/learnlib/Kiss2Parser.java b/learnlib/Kiss2Parser.java index 3548bfedf929cb0bf0083185af30c6c198973d13..86f69f0de75324198c1eceba56aa9f8091a499f4 100644 --- a/learnlib/Kiss2Parser.java +++ b/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); diff --git a/learnlib/TimbukParser.java b/learnlib/TimbukParser.java index 52a15ee3b429e5868805c52c05f70bfe409c81ed..42722d76e887e0f17507af7ff239afe8172cd6be 100644 --- a/learnlib/TimbukParser.java +++ b/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); diff --git a/nfabenchmarks.ods b/nfabenchmarks.ods index 645790e69f9df75358e07fe59dfd5ad546c48114..9f904a76e3a64efe621ba43e917394eb1f64ada9 100644 Binary files a/nfabenchmarks.ods and b/nfabenchmarks.ods differ diff --git a/nfabenchmarks_pgf2.csv b/nfabenchmarks_pgf2.csv index fbecea4f47a211cf450a2444f0b3ce125812337c..d7063d14e3abc6939ca6aa8557ac12c70c079095 100644 --- a/nfabenchmarks_pgf2.csv +++ b/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