├── .DS_Store ├── .classpath ├── .gitignore ├── .project ├── Automata Library └── .DS_Store ├── Automatic Theorem Proving in Walnut.pdf ├── COPYING.txt ├── Command Files ├── .DS_Store ├── demo.txt ├── fibonacci_tests.txt ├── my_file.txt ├── paperfolding_tests.txt ├── paperfolding_trapezoidal_tests.txt ├── period_doubling_tests.txt ├── pf_theorem1part2.txt ├── pf_theorem5.txt ├── rudin_shapiro_tests.txt ├── rudin_shapiro_trapezoidal_tests.txt └── thue_tests.txt ├── Custom Bases ├── .DS_Store ├── msd_fib.txt ├── msd_fib_addition.txt ├── msd_trib.txt └── msd_trib_addition.txt ├── Documentation ├── .DS_Store ├── Automata │ ├── Automaton.html │ ├── NumberSystem.html │ ├── ParseMethods.html │ ├── class-use │ │ ├── Automaton.html │ │ ├── NumberSystem.html │ │ └── ParseMethods.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── Main │ ├── Computer.html │ ├── Expression.html │ ├── GraphViz.html │ ├── IntegrationTest.html │ ├── Predicate.html │ ├── TestCase.html │ ├── Type.html │ ├── UtilityMethods.html │ ├── class-use │ │ ├── Computer.html │ │ ├── Expression.html │ │ ├── GraphViz.html │ │ ├── IntegrationTest.html │ │ ├── Predicate.html │ │ ├── TestCase.html │ │ ├── Type.html │ │ ├── UtilityMethods.html │ │ └── prover.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ ├── package-use.html │ └── prover.html ├── Token │ ├── AlphabetLetter.html │ ├── ArithmeticOperator.html │ ├── Function.html │ ├── LeftParenthesis.html │ ├── LogicalOperator.html │ ├── NumberLiteral.html │ ├── Operator.html │ ├── RelationalOperator.html │ ├── RightParenthesis.html │ ├── Token.html │ ├── Variable.html │ ├── Word.html │ ├── class-use │ │ ├── AlphabetLetter.html │ │ ├── ArithmeticOperator.html │ │ ├── Function.html │ │ ├── LeftParenthesis.html │ │ ├── LogicalOperator.html │ │ ├── NumberLiteral.html │ │ ├── Operator.html │ │ ├── RelationalOperator.html │ │ ├── RightParenthesis.html │ │ ├── Token.html │ │ ├── Variable.html │ │ └── Word.html │ ├── package-frame.html │ ├── package-summary.html │ ├── package-tree.html │ └── package-use.html ├── allclasses-frame.html ├── allclasses-noframe.html ├── constant-values.html ├── deprecated-list.html ├── dk │ └── brics │ │ └── automaton │ │ ├── Automaton.html │ │ ├── AutomatonMatcher.html │ │ ├── AutomatonProvider.html │ │ ├── BasicAutomata.html │ │ ├── BasicOperations.html │ │ ├── Datatypes.html │ │ ├── DatatypesAutomatonProvider.html │ │ ├── MinimizationOperations.html │ │ ├── RegExp.html │ │ ├── RunAutomaton.html │ │ ├── ShuffleOperations.html │ │ ├── SpecialOperations.html │ │ ├── State.html │ │ ├── StatePair.html │ │ ├── StringUnionOperations.html │ │ ├── Transition.html │ │ ├── class-use │ │ ├── Automaton.html │ │ ├── AutomatonMatcher.html │ │ ├── AutomatonProvider.html │ │ ├── BasicAutomata.html │ │ ├── BasicOperations.html │ │ ├── Datatypes.html │ │ ├── DatatypesAutomatonProvider.html │ │ ├── MinimizationOperations.html │ │ ├── RegExp.html │ │ ├── RunAutomaton.html │ │ ├── ShuffleOperations.html │ │ ├── SpecialOperations.html │ │ ├── State.html │ │ ├── StatePair.html │ │ ├── StringUnionOperations.html │ │ └── Transition.html │ │ ├── package-frame.html │ │ ├── package-summary.html │ │ ├── package-tree.html │ │ └── package-use.html ├── help-doc.html ├── index-files │ ├── index-1.html │ ├── index-10.html │ ├── index-11.html │ ├── index-12.html │ ├── index-13.html │ ├── index-14.html │ ├── index-15.html │ ├── index-16.html │ ├── index-17.html │ ├── index-18.html │ ├── index-19.html │ ├── index-2.html │ ├── index-20.html │ ├── index-21.html │ ├── index-22.html │ ├── index-3.html │ ├── index-4.html │ ├── index-5.html │ ├── index-6.html │ ├── index-7.html │ ├── index-8.html │ └── index-9.html ├── index.html ├── overview-frame.html ├── overview-summary.html ├── overview-tree.html ├── package-list ├── resources │ ├── background.gif │ ├── tab.gif │ ├── titlebar.gif │ └── titlebar_end.gif ├── serialized-form.html └── stylesheet.css ├── LICENSE ├── Macro Library ├── .DS_Store ├── border.txt └── palindrome.txt ├── README.md ├── Result └── .DS_Store ├── Test Results ├── .DS_Store ├── Automaton Unit Tests │ ├── .DS_Store │ ├── RegExp │ │ ├── RegExp12[^1456789].gv │ │ ├── RegExp12[^1456789].txt │ │ ├── RegExp3[^4].gv │ │ ├── RegExp3[^4].txt │ │ ├── RegExpArithmetic(0|2)1+.gv │ │ ├── RegExpArithmetic(0|2)1+.txt │ │ ├── RegExpArithmetic.+.gv │ │ ├── RegExpArithmetic.+.txt │ │ ├── RegExpArithmetic.gv │ │ ├── RegExpArithmetic.txt │ │ ├── RegExpArithmetic0+1*.gv │ │ ├── RegExpArithmetic0+1*.txt │ │ ├── RegExpArithmetic012.gv │ │ ├── RegExpArithmetic012.txt │ │ ├── RegExpArithmetic1*.gv │ │ ├── RegExpArithmetic1*.txt │ │ ├── RegExpArithmetic91[0](1)?(2).gv │ │ ├── RegExpArithmetic91[0](1)?(2).txt │ │ ├── RegExpArithmetic9[0-4]*(0|[4-6]).gv │ │ ├── RegExpArithmetic9[0-4]*(0|[4-6]).txt │ │ ├── RegExpArithmeticDescending(0|2)1+.gv │ │ ├── RegExpArithmeticDescending(0|2)1+.txt │ │ ├── RegExpArithmeticDescending.+.gv │ │ ├── RegExpArithmeticDescending.+.txt │ │ ├── RegExpArithmeticDescending.gv │ │ ├── RegExpArithmeticDescending.txt │ │ ├── RegExpArithmeticDescending0+1*.gv │ │ ├── RegExpArithmeticDescending0+1*.txt │ │ ├── RegExpArithmeticDescending012.gv │ │ ├── RegExpArithmeticDescending012.txt │ │ ├── RegExpArithmeticDescending1*.gv │ │ ├── RegExpArithmeticDescending1*.txt │ │ ├── RegExpArithmeticDescending91[0](1)?(2).gv │ │ ├── RegExpArithmeticDescending91[0](1)?(2).txt │ │ ├── RegExpArithmeticDescending9[0-4]*(0|[4-6]).gv │ │ ├── RegExpArithmeticDescending9[0-4]*(0|[4-6]).txt │ │ ├── RegExpArithmeticDescending[4-7][^56]+3.gv │ │ ├── RegExpArithmeticDescending[4-7][^56]+3.txt │ │ ├── RegExpArithmeticDescending~(1*).gv │ │ ├── RegExpArithmeticDescending~(1*).txt │ │ ├── RegExpArithmetic[4-7][^56]+3.gv │ │ ├── RegExpArithmetic[4-7][^56]+3.txt │ │ ├── RegExpArithmetic~(1*).gv │ │ ├── RegExpArithmetic~(1*).txt │ │ ├── RegExp[^0-7]5.gv │ │ └── RegExp[^0-7]5.txt │ ├── input1.txt │ ├── input1AfterSortLabel.gv │ ├── input1AfterSortLabel.txt │ ├── input2.gv │ ├── input2.txt │ ├── input2AfterBind.gv │ ├── input2AfterBind.txt │ └── isEmpty │ │ ├── input1false.gv │ │ ├── input1false.txt │ │ ├── input1falserewrite.txt │ │ ├── input2true.gv │ │ ├── input2true.txt │ │ ├── input2truerewrite.txt │ │ ├── input3false.gv │ │ ├── input3false.txt │ │ ├── input3falserewrite.txt │ │ ├── input4true.gv │ │ ├── input4true.txt │ │ ├── input4truerewrite.txt │ │ ├── input5true.gv │ │ ├── input5true.txt │ │ ├── input5truerewrite.txt │ │ ├── input6true.gv │ │ ├── input6true.txt │ │ └── input6truerewrite.txt ├── Integreation Tests │ ├── .DS_Store │ ├── automaton0.txt │ ├── automaton1.txt │ ├── automaton10.txt │ ├── automaton100.txt │ ├── automaton101.txt │ ├── automaton102.txt │ ├── automaton103.txt │ ├── automaton104.txt │ ├── automaton105.txt │ ├── automaton106.txt │ ├── automaton107.txt │ ├── automaton108.txt │ ├── automaton109.txt │ ├── automaton11.txt │ ├── automaton110.txt │ ├── automaton111.txt │ ├── automaton112.txt │ ├── automaton113.txt │ ├── automaton114.txt │ ├── automaton115.txt │ ├── automaton116.txt │ ├── automaton117.txt │ ├── automaton118.txt │ ├── automaton119.txt │ ├── automaton12.txt │ ├── automaton120.txt │ ├── automaton121.txt │ ├── automaton122.txt │ ├── automaton123.txt │ ├── automaton124.txt │ ├── automaton125.txt │ ├── automaton126.txt │ ├── automaton127.txt │ ├── automaton128.txt │ ├── automaton129.txt │ ├── automaton13.txt │ ├── automaton130.txt │ ├── automaton131.txt │ ├── automaton132.txt │ ├── automaton133.txt │ ├── automaton134.txt │ ├── automaton135.txt │ ├── automaton136.txt │ ├── automaton137.txt │ ├── automaton138.txt │ ├── automaton139.txt │ ├── automaton14.txt │ ├── automaton140.txt │ ├── automaton141.txt │ ├── automaton143.txt │ ├── automaton144.txt │ ├── automaton145.txt │ ├── automaton146.txt │ ├── automaton147.txt │ ├── automaton148.txt │ ├── automaton149.txt │ ├── automaton15.txt │ ├── automaton150.txt │ ├── automaton151.txt │ ├── automaton152.txt │ ├── automaton153.txt │ ├── automaton154.txt │ ├── automaton155.txt │ ├── automaton157.txt │ ├── automaton158.txt │ ├── automaton159.txt │ ├── automaton16.txt │ ├── automaton160.txt │ ├── automaton161.txt │ ├── automaton162.txt │ ├── automaton163.txt │ ├── automaton164.txt │ ├── automaton165.txt │ ├── automaton166.txt │ ├── automaton167.txt │ ├── automaton168.txt │ ├── automaton169.txt │ ├── automaton17.txt │ ├── automaton170.txt │ ├── automaton171.txt │ ├── automaton172.txt │ ├── automaton173.txt │ ├── automaton174.txt │ ├── automaton175.txt │ ├── automaton176.txt │ ├── automaton177.txt │ ├── automaton178.txt │ ├── automaton179.txt │ ├── automaton18.txt │ ├── automaton180.txt │ ├── automaton181.txt │ ├── automaton182.txt │ ├── automaton183.txt │ ├── automaton184.txt │ ├── automaton185.txt │ ├── automaton186.txt │ ├── automaton187.txt │ ├── automaton188.txt │ ├── automaton189.txt │ ├── automaton19.txt │ ├── automaton191.txt │ ├── automaton192.txt │ ├── automaton193.txt │ ├── automaton194.txt │ ├── automaton195.txt │ ├── automaton196.txt │ ├── automaton197.txt │ ├── automaton198.txt │ ├── automaton199.txt │ ├── automaton2.txt │ ├── automaton20.txt │ ├── automaton200.txt │ ├── automaton201.txt │ ├── automaton202.txt │ ├── automaton203.txt │ ├── automaton204.txt │ ├── automaton205.txt │ ├── automaton206.txt │ ├── automaton207.txt │ ├── automaton208.txt │ ├── automaton209.txt │ ├── automaton21.txt │ ├── automaton210.txt │ ├── automaton211.txt │ ├── automaton212.txt │ ├── automaton213.txt │ ├── automaton214.txt │ ├── automaton215.txt │ ├── automaton216.txt │ ├── automaton217.txt │ ├── automaton218.txt │ ├── automaton219.txt │ ├── automaton22.txt │ ├── automaton220.txt │ ├── automaton221.txt │ ├── automaton222.txt │ ├── automaton223.txt │ ├── automaton224.txt │ ├── automaton225.txt │ ├── automaton226.txt │ ├── automaton227.txt │ ├── automaton228.txt │ ├── automaton229.txt │ ├── automaton23.txt │ ├── automaton230.txt │ ├── automaton231.txt │ ├── automaton232.txt │ ├── automaton233.txt │ ├── automaton234.txt │ ├── automaton235.txt │ ├── automaton236.txt │ ├── automaton237.txt │ ├── automaton238.txt │ ├── automaton239.txt │ ├── automaton24.txt │ ├── automaton240.txt │ ├── automaton241.txt │ ├── automaton242.txt │ ├── automaton243.txt │ ├── automaton244.txt │ ├── automaton245.txt │ ├── automaton246.txt │ ├── automaton247.txt │ ├── automaton248.txt │ ├── automaton249.txt │ ├── automaton25.txt │ ├── automaton250.txt │ ├── automaton251.txt │ ├── automaton252.txt │ ├── automaton253.txt │ ├── automaton254.txt │ ├── automaton255.txt │ ├── automaton256.txt │ ├── automaton257.txt │ ├── automaton258.txt │ ├── automaton259.txt │ ├── automaton26.txt │ ├── automaton260.txt │ ├── automaton261.txt │ ├── automaton262.txt │ ├── automaton263.txt │ ├── automaton264.txt │ ├── automaton265.txt │ ├── automaton266.txt │ ├── automaton267.txt │ ├── automaton268.txt │ ├── automaton269.txt │ ├── automaton27.txt │ ├── automaton270.txt │ ├── automaton271.txt │ ├── automaton272.txt │ ├── automaton273.txt │ ├── automaton274.txt │ ├── automaton275.txt │ ├── automaton276.txt │ ├── automaton277.txt │ ├── automaton278.txt │ ├── automaton279.txt │ ├── automaton28.txt │ ├── automaton280.txt │ ├── automaton281.txt │ ├── automaton282.txt │ ├── automaton283.txt │ ├── automaton284.txt │ ├── automaton285.txt │ ├── automaton286.txt │ ├── automaton287.txt │ ├── automaton288.txt │ ├── automaton289.txt │ ├── automaton29.txt │ ├── automaton290.txt │ ├── automaton291.txt │ ├── automaton292.txt │ ├── automaton293.txt │ ├── automaton294.txt │ ├── automaton295.txt │ ├── automaton296.txt │ ├── automaton297.txt │ ├── automaton298.txt │ ├── automaton299.txt │ ├── automaton3.txt │ ├── automaton30.txt │ ├── automaton300.txt │ ├── automaton301.txt │ ├── automaton302.txt │ ├── automaton303.txt │ ├── automaton304.txt │ ├── automaton305.txt │ ├── automaton306.txt │ ├── automaton307.txt │ ├── automaton308.txt │ ├── automaton309.txt │ ├── automaton31.txt │ ├── automaton310.txt │ ├── automaton311.txt │ ├── automaton312.txt │ ├── automaton313.txt │ ├── automaton314.txt │ ├── automaton315.txt │ ├── automaton316.txt │ ├── automaton317.txt │ ├── automaton318.txt │ ├── automaton319.txt │ ├── automaton32.txt │ ├── automaton320.txt │ ├── automaton321.txt │ ├── automaton322.txt │ ├── automaton323.txt │ ├── automaton324.txt │ ├── automaton325.txt │ ├── automaton326.txt │ ├── automaton327.txt │ ├── automaton328.txt │ ├── automaton329.txt │ ├── automaton33.txt │ ├── automaton330.txt │ ├── automaton331.txt │ ├── automaton332.txt │ ├── automaton333.txt │ ├── automaton334.txt │ ├── automaton335.txt │ ├── automaton336.txt │ ├── automaton337.txt │ ├── automaton338.txt │ ├── automaton339.txt │ ├── automaton34.txt │ ├── automaton340.txt │ ├── automaton341.txt │ ├── automaton342.txt │ ├── automaton343.txt │ ├── automaton344.txt │ ├── automaton345.txt │ ├── automaton346.txt │ ├── automaton347.txt │ ├── automaton348.txt │ ├── automaton349.txt │ ├── automaton35.txt │ ├── automaton350.txt │ ├── automaton351.txt │ ├── automaton352.txt │ ├── automaton353.txt │ ├── automaton354.txt │ ├── automaton355.txt │ ├── automaton356.txt │ ├── automaton357.txt │ ├── automaton358.txt │ ├── automaton359.txt │ ├── automaton36.txt │ ├── automaton360.txt │ ├── automaton361.txt │ ├── automaton362.txt │ ├── automaton363.txt │ ├── automaton364.txt │ ├── automaton365.txt │ ├── automaton366.txt │ ├── automaton367.txt │ ├── automaton368.txt │ ├── automaton369.txt │ ├── automaton37.txt │ ├── automaton370.txt │ ├── automaton371.txt │ ├── automaton372.txt │ ├── automaton374.txt │ ├── automaton375.txt │ ├── automaton376.txt │ ├── automaton377.txt │ ├── automaton378.txt │ ├── automaton379.txt │ ├── automaton38.txt │ ├── automaton383.txt │ ├── automaton384.txt │ ├── automaton385.txt │ ├── automaton386.txt │ ├── automaton387.txt │ ├── automaton388.txt │ ├── automaton389.txt │ ├── automaton39.txt │ ├── automaton390.txt │ ├── automaton391.txt │ ├── automaton392.txt │ ├── automaton4.txt │ ├── automaton40.txt │ ├── automaton41.txt │ ├── automaton42.txt │ ├── automaton43.txt │ ├── automaton44.txt │ ├── automaton45.txt │ ├── automaton46.txt │ ├── automaton47.txt │ ├── automaton48.txt │ ├── automaton49.txt │ ├── automaton5.txt │ ├── automaton50.txt │ ├── automaton51.txt │ ├── automaton52.txt │ ├── automaton53.txt │ ├── automaton54.txt │ ├── automaton55.txt │ ├── automaton56.txt │ ├── automaton57.txt │ ├── automaton58.txt │ ├── automaton59.txt │ ├── automaton6.txt │ ├── automaton60.txt │ ├── automaton61.txt │ ├── automaton62.txt │ ├── automaton63.txt │ ├── automaton64.txt │ ├── automaton65.txt │ ├── automaton66.txt │ ├── automaton67.txt │ ├── automaton68.txt │ ├── automaton69.txt │ ├── automaton7.txt │ ├── automaton70.txt │ ├── automaton71.txt │ ├── automaton72.txt │ ├── automaton73.txt │ ├── automaton74.txt │ ├── automaton75.txt │ ├── automaton76.txt │ ├── automaton77.txt │ ├── automaton78.txt │ ├── automaton79.txt │ ├── automaton8.txt │ ├── automaton80.txt │ ├── automaton81.txt │ ├── automaton82.txt │ ├── automaton83.txt │ ├── automaton84.txt │ ├── automaton85.txt │ ├── automaton86.txt │ ├── automaton87.txt │ ├── automaton88.txt │ ├── automaton89.txt │ ├── automaton9.txt │ ├── automaton90.txt │ ├── automaton91.txt │ ├── automaton92.txt │ ├── automaton93.txt │ ├── automaton94.txt │ ├── automaton95.txt │ ├── automaton96.txt │ ├── automaton97.txt │ ├── automaton98.txt │ ├── automaton99.txt │ ├── details375.txt │ ├── details376.txt │ ├── details377.txt │ ├── details378.txt │ ├── details379.txt │ ├── details382.txt │ ├── details383.txt │ ├── error142.txt │ ├── error156.txt │ ├── error190.txt │ ├── error373.txt │ ├── error380.txt │ ├── error381.txt │ ├── error382.txt │ ├── mpl374.mpl │ ├── mpl375.mpl │ ├── mpl376.mpl │ ├── mpl377.mpl │ ├── mpl378.mpl │ ├── mpl379.mpl │ ├── mpl383.mpl │ └── performance_test.txt ├── NumberSystemUnitTestResults │ ├── .DS_Store │ ├── lsd_10 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── lsd_15 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── lsd_2 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── lsd_3 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── lsd_4 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── lsd_fib │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── lsd_trib │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_11.gv │ │ ├── constant_12.gv │ │ ├── constant_13.gv │ │ ├── constant_14.gv │ │ ├── constant_15.gv │ │ ├── constant_16.gv │ │ ├── constant_17.gv │ │ ├── constant_18.gv │ │ ├── constant_19.gv │ │ ├── constant_2.gv │ │ ├── constant_20.gv │ │ ├── constant_21.gv │ │ ├── constant_22.gv │ │ ├── constant_23.gv │ │ ├── constant_24.gv │ │ ├── constant_25.gv │ │ ├── constant_26.gv │ │ ├── constant_27.gv │ │ ├── constant_28.gv │ │ ├── constant_29.gv │ │ ├── constant_3.gv │ │ ├── constant_30.gv │ │ ├── constant_31.gv │ │ ├── constant_32.gv │ │ ├── constant_33.gv │ │ ├── constant_34.gv │ │ ├── constant_35.gv │ │ ├── constant_36.gv │ │ ├── constant_37.gv │ │ ├── constant_38.gv │ │ ├── constant_39.gv │ │ ├── constant_4.gv │ │ ├── constant_5.gv │ │ ├── constant_6.gv │ │ ├── constant_7.gv │ │ ├── constant_8.gv │ │ ├── constant_9.gv │ │ ├── equality.gv │ │ └── lessThan.gv │ ├── msd_10 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── msd_101 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── equality.gv │ │ └── lessThan.gv │ ├── msd_15 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── msd_2 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── msd_3 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── msd_4 │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ ├── msd_fib │ │ ├── .DS_Store │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_139.gv │ │ ├── constant_15.gv │ │ ├── constant_2.gv │ │ ├── constant_3.gv │ │ ├── constant_4.gv │ │ ├── constant_7.gv │ │ ├── division_0_1.gv │ │ ├── division_0_14.gv │ │ ├── division_100_9.gv │ │ ├── division_11_3.gv │ │ ├── division_15_14.gv │ │ ├── division_1_1.gv │ │ ├── division_20_20.gv │ │ ├── division_25_5.gv │ │ ├── division_3_2.gv │ │ ├── division_5_1.gv │ │ ├── division_5_2.gv │ │ ├── division_5_3.gv │ │ ├── division_5_4.gv │ │ ├── division_702_18.gv │ │ ├── equality.gv │ │ ├── lessThan.gv │ │ ├── multiplication_10_10.gv │ │ ├── multiplication_12_1.gv │ │ ├── multiplication_17_3.gv │ │ ├── multiplication_1_11.gv │ │ ├── multiplication_2_2.gv │ │ └── multiplication_2_6.gv │ └── msd_trib │ │ ├── addition.gv │ │ ├── constant_0.gv │ │ ├── constant_1.gv │ │ ├── constant_10.gv │ │ ├── constant_11.gv │ │ ├── constant_12.gv │ │ ├── constant_13.gv │ │ ├── constant_14.gv │ │ ├── constant_15.gv │ │ ├── constant_16.gv │ │ ├── constant_17.gv │ │ ├── constant_18.gv │ │ ├── constant_19.gv │ │ ├── constant_2.gv │ │ ├── constant_20.gv │ │ ├── constant_21.gv │ │ ├── constant_22.gv │ │ ├── constant_23.gv │ │ ├── constant_24.gv │ │ ├── constant_25.gv │ │ ├── constant_26.gv │ │ ├── constant_27.gv │ │ ├── constant_28.gv │ │ ├── constant_29.gv │ │ ├── constant_3.gv │ │ ├── constant_30.gv │ │ ├── constant_31.gv │ │ ├── constant_32.gv │ │ ├── constant_33.gv │ │ ├── constant_34.gv │ │ ├── constant_35.gv │ │ ├── constant_36.gv │ │ ├── constant_37.gv │ │ ├── constant_38.gv │ │ ├── constant_39.gv │ │ ├── constant_4.gv │ │ ├── constant_5.gv │ │ ├── constant_6.gv │ │ ├── constant_7.gv │ │ ├── constant_8.gv │ │ ├── constant_9.gv │ │ ├── equality.gv │ │ └── lessThan.gv └── Old Integration Tests │ ├── automaton0.txt │ ├── automaton1.txt │ ├── automaton10.txt │ ├── automaton100.txt │ ├── automaton101.txt │ ├── automaton102.txt │ ├── automaton103.txt │ ├── automaton104.txt │ ├── automaton105.txt │ ├── automaton106.txt │ ├── automaton107.txt │ ├── automaton108.txt │ ├── automaton109.txt │ ├── automaton11.txt │ ├── automaton110.txt │ ├── automaton111.txt │ ├── automaton112.txt │ ├── automaton113.txt │ ├── automaton114.txt │ ├── automaton115.txt │ ├── automaton116.txt │ ├── automaton117.txt │ ├── automaton118.txt │ ├── automaton119.txt │ ├── automaton12.txt │ ├── automaton120.txt │ ├── automaton121.txt │ ├── automaton122.txt │ ├── automaton123.txt │ ├── automaton124.txt │ ├── automaton125.txt │ ├── automaton126.txt │ ├── automaton127.txt │ ├── automaton128.txt │ ├── automaton129.txt │ ├── automaton13.txt │ ├── automaton130.txt │ ├── automaton131.txt │ ├── automaton132.txt │ ├── automaton133.txt │ ├── automaton134.txt │ ├── automaton135.txt │ ├── automaton136.txt │ ├── automaton137.txt │ ├── automaton138.txt │ ├── automaton139.txt │ ├── automaton14.txt │ ├── automaton140.txt │ ├── automaton141.txt │ ├── automaton143.txt │ ├── automaton144.txt │ ├── automaton145.txt │ ├── automaton146.txt │ ├── automaton147.txt │ ├── automaton148.txt │ ├── automaton149.txt │ ├── automaton15.txt │ ├── automaton150.txt │ ├── automaton151.txt │ ├── automaton152.txt │ ├── automaton153.txt │ ├── automaton154.txt │ ├── automaton155.txt │ ├── automaton157.txt │ ├── automaton158.txt │ ├── automaton159.txt │ ├── automaton16.txt │ ├── automaton160.txt │ ├── automaton161.txt │ ├── automaton162.txt │ ├── automaton163.txt │ ├── automaton164.txt │ ├── automaton165.txt │ ├── automaton166.txt │ ├── automaton167.txt │ ├── automaton168.txt │ ├── automaton169.txt │ ├── automaton17.txt │ ├── automaton170.txt │ ├── automaton171.txt │ ├── automaton172.txt │ ├── automaton173.txt │ ├── automaton174.txt │ ├── automaton175.txt │ ├── automaton176.txt │ ├── automaton177.txt │ ├── automaton178.txt │ ├── automaton179.txt │ ├── automaton18.txt │ ├── automaton180.txt │ ├── automaton181.txt │ ├── automaton182.txt │ ├── automaton183.txt │ ├── automaton184.txt │ ├── automaton185.txt │ ├── automaton186.txt │ ├── automaton187.txt │ ├── automaton188.txt │ ├── automaton189.txt │ ├── automaton19.txt │ ├── automaton191.txt │ ├── automaton192.txt │ ├── automaton193.txt │ ├── automaton194.txt │ ├── automaton195.txt │ ├── automaton196.txt │ ├── automaton197.txt │ ├── automaton198.txt │ ├── automaton199.txt │ ├── automaton2.txt │ ├── automaton20.txt │ ├── automaton200.txt │ ├── automaton201.txt │ ├── automaton202.txt │ ├── automaton203.txt │ ├── automaton204.txt │ ├── automaton205.txt │ ├── automaton206.txt │ ├── automaton207.txt │ ├── automaton208.txt │ ├── automaton209.txt │ ├── automaton21.txt │ ├── automaton22.txt │ ├── automaton23.txt │ ├── automaton24.txt │ ├── automaton25.txt │ ├── automaton26.txt │ ├── automaton27.txt │ ├── automaton28.txt │ ├── automaton29.txt │ ├── automaton3.txt │ ├── automaton30.txt │ ├── automaton31.txt │ ├── automaton32.txt │ ├── automaton33.txt │ ├── automaton34.txt │ ├── automaton35.txt │ ├── automaton36.txt │ ├── automaton37.txt │ ├── automaton38.txt │ ├── automaton39.txt │ ├── automaton4.txt │ ├── automaton40.txt │ ├── automaton41.txt │ ├── automaton42.txt │ ├── automaton43.txt │ ├── automaton44.txt │ ├── automaton45.txt │ ├── automaton46.txt │ ├── automaton47.txt │ ├── automaton48.txt │ ├── automaton49.txt │ ├── automaton5.txt │ ├── automaton50.txt │ ├── automaton51.txt │ ├── automaton52.txt │ ├── automaton53.txt │ ├── automaton54.txt │ ├── automaton55.txt │ ├── automaton56.txt │ ├── automaton57.txt │ ├── automaton58.txt │ ├── automaton59.txt │ ├── automaton6.txt │ ├── automaton60.txt │ ├── automaton61.txt │ ├── automaton62.txt │ ├── automaton63.txt │ ├── automaton64.txt │ ├── automaton65.txt │ ├── automaton66.txt │ ├── automaton67.txt │ ├── automaton68.txt │ ├── automaton69.txt │ ├── automaton7.txt │ ├── automaton70.txt │ ├── automaton71.txt │ ├── automaton72.txt │ ├── automaton73.txt │ ├── automaton74.txt │ ├── automaton75.txt │ ├── automaton76.txt │ ├── automaton77.txt │ ├── automaton78.txt │ ├── automaton79.txt │ ├── automaton8.txt │ ├── automaton80.txt │ ├── automaton81.txt │ ├── automaton82.txt │ ├── automaton83.txt │ ├── automaton84.txt │ ├── automaton85.txt │ ├── automaton86.txt │ ├── automaton87.txt │ ├── automaton88.txt │ ├── automaton89.txt │ ├── automaton9.txt │ ├── automaton90.txt │ ├── automaton91.txt │ ├── automaton92.txt │ ├── automaton93.txt │ ├── automaton94.txt │ ├── automaton95.txt │ ├── automaton96.txt │ ├── automaton97.txt │ ├── automaton98.txt │ ├── automaton99.txt │ ├── error142.txt │ ├── error156.txt │ └── error190.txt ├── Word Automata Library ├── .DS_Store ├── C.txt ├── F.txt ├── P.txt ├── PD.txt ├── PF.txt ├── PFmsd.txt ├── PR.txt ├── R.txt ├── RS.txt ├── T.txt ├── T2.txt ├── TR.txt ├── V.txt └── ZC.txt ├── bin ├── .DS_Store ├── .gitignore ├── Automata │ └── .DS_Store ├── Main │ └── .DS_Store ├── Token │ └── .DS_Store └── dk │ ├── .DS_Store │ └── brics │ └── automaton │ └── Unicode.txt ├── build.sh └── src ├── .DS_Store ├── Automata ├── .DS_Store ├── Automaton.java ├── NumberSystem.java ├── ParseMethods.java └── Partition.java ├── Main ├── .DS_Store ├── Computer.java ├── Expression.java ├── GraphViz.java ├── IntegrationTest.java ├── Predicate.java ├── PredicateTest.java ├── TestCase.java ├── Type.java ├── UtilityMethods.java └── prover.java ├── Token ├── .DS_Store ├── AlphabetLetter.java ├── ArithmeticOperator.java ├── Function.java ├── LeftParenthesis.java ├── LogicalOperator.java ├── NumberLiteral.java ├── Operator.java ├── RelationalOperator.java ├── RightParenthesis.java ├── Token.java ├── Variable.java └── Word.java └── dk ├── .DS_Store └── brics └── automaton ├── Automaton.java ├── AutomatonMatcher.java ├── AutomatonProvider.java ├── BasicAutomata.java ├── BasicOperations.java ├── Datatypes.java ├── DatatypesAutomatonProvider.java ├── MinimizationOperations.java ├── RegExp.java ├── RunAutomaton.java ├── ShuffleOperations.java ├── SpecialOperations.java ├── State.java ├── StatePair.java ├── StringUnionOperations.java ├── Transition.java ├── TransitionComparator.java └── Unicode.txt /.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/.DS_Store -------------------------------------------------------------------------------- /.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *.class 2 | 3 | # Mobile Tools for Java (J2ME) 4 | .mtj.tmp/ 5 | 6 | # Package Files # 7 | *.jar 8 | *.war 9 | *.ear 10 | 11 | # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml 12 | hs_err_pid* 13 | 14 | # Result files 15 | Result/ 16 | -------------------------------------------------------------------------------- /Automata Library/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Automata Library/.DS_Store -------------------------------------------------------------------------------- /Automatic Theorem Proving in Walnut.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Automatic Theorem Proving in Walnut.pdf -------------------------------------------------------------------------------- /Command Files/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Command Files/.DS_Store -------------------------------------------------------------------------------- /Command Files/my_file.txt: -------------------------------------------------------------------------------- 1 | eval from_load_command "a=1"; 2 | -------------------------------------------------------------------------------- /Custom Bases/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Custom Bases/.DS_Store -------------------------------------------------------------------------------- /Custom Bases/msd_fib.txt: -------------------------------------------------------------------------------- 1 | {0,1} 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Custom Bases/msd_trib.txt: -------------------------------------------------------------------------------- 1 | {0,1} 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | 1 -> 2 8 | 2 1 9 | 0 -> 0 -------------------------------------------------------------------------------- /Documentation/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/.DS_Store -------------------------------------------------------------------------------- /Documentation/package-list: -------------------------------------------------------------------------------- 1 | Automata 2 | Main 3 | Token 4 | dk.brics.automaton 5 | -------------------------------------------------------------------------------- /Documentation/resources/background.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/background.gif -------------------------------------------------------------------------------- /Documentation/resources/tab.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/tab.gif -------------------------------------------------------------------------------- /Documentation/resources/titlebar.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/titlebar.gif -------------------------------------------------------------------------------- /Documentation/resources/titlebar_end.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/titlebar_end.gif -------------------------------------------------------------------------------- /Macro Library/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Macro Library/.DS_Store -------------------------------------------------------------------------------- /Macro Library/border.txt: -------------------------------------------------------------------------------- 1 | ?%0 m>=1 & m<=n & $%1_factoreq(i,i+n-m,m) -------------------------------------------------------------------------------- /Macro Library/palindrome.txt: -------------------------------------------------------------------------------- 1 | ?%0 Ak (k %1[i+k] = %1[i+n-1-k] -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Walnut 2 | Automated Theorem Prover for Automatic Words
3 | Please read the pdf file, included in the repository, to learn what Walnut is and how one would work with it. 4 | -------------------------------------------------------------------------------- /Result/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Result/.DS_Store -------------------------------------------------------------------------------- /Test Results/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/.DS_Store -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/.DS_Store -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExp12[^1456789].txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExp12[^1456789].txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExp3[^4].txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExp3[^4].txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic(0|2)1+.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic(0|2)1+.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.+.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.+.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): "; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | } 8 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic0+1*.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic0+1*.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic012.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic012.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic1*.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): 1*"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(1)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic1*.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic1*.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic91[0](1)?(2).txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic91[0](1)?(2).txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic9[0-4]*(0|[4-6]).txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic9[0-4]*(0|[4-6]).txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending(0|2)1+.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending(0|2)1+.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.+.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.+.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): "; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | } 8 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending0+1*.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending0+1*.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending012.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending012.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending1*.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): 1*"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(1)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending1*.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending1*.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending91[0](1)?(2).txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending91[0](1)?(2).txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending9[0-4]*(0|[4-6]).txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending9[0-4]*(0|[4-6]).txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending[4-7][^56]+3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending[4-7][^56]+3.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending~(1*).txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending~(1*).txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic[4-7][^56]+3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic[4-7][^56]+3.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic~(1*).txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic~(1*).txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/RegExp/RegExp[^0-7]5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExp[^0-7]5.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/input1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input1.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/input1AfterSortLabel.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input1AfterSortLabel.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/input2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input2.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/input2AfterBind.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input2AfterBind.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input1false.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input1false.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input1falserewrite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input1falserewrite.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input2true.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): input2true"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "*"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input2true.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input2true.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input2truerewrite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input2truerewrite.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input3false.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): input3false"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | } 8 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input3false.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input3false.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input3falserewrite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input3falserewrite.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input4true.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input4true.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input4truerewrite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input4truerewrite.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input5true.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): input5true"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | } 8 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input5true.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input5true.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input5truerewrite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input5truerewrite.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input6true.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): input6true"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | } 8 | -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input6true.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input6true.txt -------------------------------------------------------------------------------- /Test Results/Automaton Unit Tests/isEmpty/input6truerewrite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input6truerewrite.txt -------------------------------------------------------------------------------- /Test Results/Integreation Tests/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Integreation Tests/.DS_Store -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton0.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 msd_2 msd_2 2 | 0 0 3 | 0 0 0 0 -> 0 4 | 0 0 0 1 -> 1 5 | 1 0 6 | 0 0 0 0 -> 2 7 | 2 0 8 | 1 1 1 0 -> 3 9 | 3 0 10 | 0 0 1 0 -> 4 11 | 4 0 12 | 0 1 0 1 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton1.txt: -------------------------------------------------------------------------------- 1 | lsd_2 lsd_2 lsd_2 lsd_2 2 | 0 0 3 | 0 1 0 1 -> 1 4 | 1 0 5 | 0 0 1 0 -> 2 6 | 2 0 7 | 1 1 1 0 -> 3 8 | 3 0 9 | 0 0 0 0 -> 4 10 | 4 0 11 | 0 0 0 1 -> 5 12 | 5 1 13 | 0 0 0 0 -> 5 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton10.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 0 -> 4 10 | 1 -> 4 11 | 3 0 12 | 1 -> 4 13 | 4 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton100.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton101.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton102.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton103.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton104.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton105.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton106.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton107.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton108.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton109.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton11.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 1 -> 4 10 | 3 0 11 | 0 -> 5 12 | 4 1 13 | 0 -> 5 14 | 5 1 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton110.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 0 7 | 1 -> 3 8 | 3 1 9 | 0 -> 3 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton111.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 2 8 | 2 1 9 | 0 -> 4 10 | 3 1 11 | 0 -> 4 12 | 1 -> 5 13 | 4 1 14 | 0 -> 4 15 | 1 -> 2 16 | 5 0 17 | 0 -> 6 18 | 6 0 19 | 0 -> 6 20 | 1 -> 2 21 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton112.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 2 8 | 2 1 9 | 0 -> 2 10 | 3 1 11 | 0 -> 2 12 | 1 -> 2 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton113.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 2 8 | 2 1 9 | 0 -> 2 10 | 3 1 11 | 0 -> 2 12 | 1 -> 2 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton114.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 2 8 | 2 1 9 | 0 -> 2 10 | 3 1 11 | 0 -> 2 12 | 1 -> 2 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton115.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 2 8 | 2 1 9 | 0 -> 2 10 | 3 1 11 | 0 -> 2 12 | 1 -> 2 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton116.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 0 14 | 0 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton117.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 0 14 | 0 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton118.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 0 14 | 0 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton119.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 1 -> 4 10 | 3 0 11 | 1 -> 5 12 | 4 0 13 | 0 -> 6 14 | 5 0 15 | 0 -> 5 16 | 1 -> 6 17 | 6 1 18 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton12.txt: -------------------------------------------------------------------------------- 1 | lsd_10 2 | 0 0 3 | 4 -> 1 4 | 5 -> 1 5 | 7 -> 1 6 | 1 1 7 | 0 -> 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton120.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton121.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton122.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton123.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 1 14 | 0 -> 5 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton124.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 1 14 | 0 -> 5 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton125.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 1 -> 2 6 | 2 0 7 | 1 -> 3 8 | 3 0 9 | 0 -> 4 10 | 4 0 11 | 1 -> 5 12 | 5 1 13 | 0 -> 5 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton126.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 0 5 | 1 -> 2 6 | 2 0 7 | 0 -> 3 8 | 3 0 9 | 0 -> 4 10 | 4 0 11 | 0 -> 5 12 | 5 0 13 | 1 -> 6 14 | 6 1 15 | 0 -> 6 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton127.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 1 -> 4 11 | 4 1 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton128.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 0 14 | 0 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton129.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 1 -> 2 6 | 2 0 7 | 1 -> 3 8 | 3 0 9 | 1 -> 4 10 | 4 1 11 | 0 -> 4 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton13.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 0 -> 4 10 | 1 -> 4 11 | 3 0 12 | 1 -> 4 13 | 4 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton130.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton131.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 2 10 | 1 -> 2 11 | 3 0 12 | 0 -> 2 13 | 1 -> 2 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton132.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton133.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 2 1 8 | 0 -> 3 9 | 1 -> 4 10 | 3 0 11 | 0 -> 5 12 | 1 -> 4 13 | 4 1 14 | 0 -> 5 15 | 5 1 16 | 0 -> 5 17 | 1 -> 4 18 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton134.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton135.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 4 8 | 2 1 9 | 0 -> 3 10 | 3 1 11 | 0 -> 4 12 | 1 -> 4 13 | 4 1 14 | 0 -> 4 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton136.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 0 7 | 1 -> 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton137.txt: -------------------------------------------------------------------------------- 1 | lsd_2 lsd_3 2 | 0 1 3 | 0 0 -> 1 4 | 0 1 -> 1 5 | 1 1 6 | 0 0 -> 1 7 | 1 0 -> 1 8 | 0 1 -> 1 9 | 1 1 -> 1 10 | 0 2 -> 1 11 | 1 2 -> 1 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton138.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_3 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 0 1 -> 0 6 | 1 1 -> 1 7 | 0 2 -> 1 8 | 1 2 -> 1 9 | 1 0 10 | 0 0 -> 0 11 | 1 0 -> 1 12 | 0 1 -> 0 13 | 1 1 -> 1 14 | 0 2 -> 1 15 | 1 2 -> 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton139.txt: -------------------------------------------------------------------------------- 1 | {0,1} 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton14.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 1 -> 4 10 | 3 0 11 | 0 -> 5 12 | 4 1 13 | 0 -> 5 14 | 5 1 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton140.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton141.txt: -------------------------------------------------------------------------------- 1 | {0,1,2} 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton143.txt: -------------------------------------------------------------------------------- 1 | {0,1,2,4,5} 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton144.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton145.txt: -------------------------------------------------------------------------------- 1 | lsd_10 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton146.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton147.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton148.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton149.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton15.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 -> 2 5 | 1 0 6 | 0 -> 2 7 | 1 -> 2 8 | 2 0 9 | 0 -> 3 10 | 3 0 11 | 1 -> 4 12 | 4 1 13 | 0 -> 4 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton150.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton151.txt: -------------------------------------------------------------------------------- 1 | lsd_3 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | 1 -> 3 9 | 3 1 10 | 1 -> 3 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton152.txt: -------------------------------------------------------------------------------- 1 | msd_3 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 1 7 | 0 -> 2 8 | 1 -> 3 9 | 2 -> 3 10 | 3 1 11 | 1 -> 3 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton153.txt: -------------------------------------------------------------------------------- 1 | {0,4,6,7} 2 | 0 0 3 | 0 -> 1 4 | 4 -> 1 5 | 6 -> 1 6 | 7 -> 1 7 | 1 0 8 | 4 -> 2 9 | 6 -> 3 10 | 2 1 11 | 3 1 12 | 4 -> 2 13 | 6 -> 3 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton154.txt: -------------------------------------------------------------------------------- 1 | msd_5 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton155.txt: -------------------------------------------------------------------------------- 1 | msd_5 2 | 0 0 3 | 0 -> 1 4 | 1 -> 1 5 | 2 -> 1 6 | 3 -> 1 7 | 4 -> 1 8 | 1 0 9 | 4 -> 2 10 | 2 0 11 | 0 -> 3 12 | 1 -> 3 13 | 2 -> 3 14 | 3 -> 3 15 | 4 -> 4 16 | 3 1 17 | 4 1 18 | 0 -> 3 19 | 1 -> 3 20 | 2 -> 3 21 | 3 -> 3 22 | 4 -> 4 23 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton157.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton158.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton159.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton16.txt: -------------------------------------------------------------------------------- 1 | lsd_10 2 | 0 0 3 | 4 -> 1 4 | 5 -> 1 5 | 7 -> 1 6 | 1 1 7 | 0 -> 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton160.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 1 7 | 1 -> 0 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton161.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 1 7 | 1 -> 0 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton162.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton163.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | 1 -> 0 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton164.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | 1 -> 0 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton165.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 0 3 | 0 0 -> 0 4 | 0 1 -> 1 5 | 1 1 -> 0 6 | 1 0 7 | 1 0 -> 2 8 | 2 1 9 | 1 0 -> 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton166.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 0 -> 4 10 | 3 0 11 | 1 -> 5 12 | 4 0 13 | 0 -> 5 14 | 5 1 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton167.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 3 0 11 | 1 -> 5 12 | 4 1 13 | 0 -> 5 14 | 5 1 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton168.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 3 11 | 3 0 12 | 1 -> 5 13 | 4 1 14 | 0 -> 5 15 | 5 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton169.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 1 1 -> 2 6 | 1 1 7 | 0 0 -> 3 8 | 1 0 -> 3 9 | 2 1 10 | 0 0 -> 2 11 | 3 1 12 | 0 0 -> 0 13 | 1 0 -> 1 14 | 1 1 -> 4 15 | 4 1 16 | 0 0 -> 2 17 | 1 1 -> 2 18 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton17.txt: -------------------------------------------------------------------------------- 1 | msd_trib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 1 -> 4 10 | 3 1 11 | 0 -> 4 12 | 4 1 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton170.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton171.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton172.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 5 11 | 3 0 12 | 0 -> 0 13 | 1 -> 5 14 | 4 1 15 | 0 -> 4 16 | 1 -> 1 17 | 5 1 18 | 0 -> 2 19 | 1 -> 2 20 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton173.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 1 10 | 1 -> 2 11 | 3 1 12 | 0 -> 3 13 | 1 -> 4 14 | 4 0 15 | 0 -> 5 16 | 1 -> 5 17 | 5 1 18 | 0 -> 5 19 | 1 -> 5 20 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton174.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 1 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton175.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton176.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 0 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 0 1 -> 2 6 | 1 0 7 | 0 0 -> 0 8 | 0 1 -> 3 9 | 2 0 10 | 0 0 -> 4 11 | 3 1 12 | 0 0 -> 3 13 | 1 0 -> 5 14 | 4 0 15 | 0 0 -> 3 16 | 1 0 -> 2 17 | 5 1 18 | 0 0 -> 3 19 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton177.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 1 10 | 0 -> 4 11 | 4 0 12 | 0 -> 2 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton178.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | 1 -> 1 4 | 1 1 5 | 0 -> 2 6 | 1 -> 3 7 | 2 1 8 | 0 -> 3 9 | 1 -> 3 10 | 3 1 11 | 0 -> 3 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton179.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 1 -> 3 10 | 3 1 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton18.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 0 -> 4 10 | 1 -> 4 11 | 3 0 12 | 1 -> 4 13 | 4 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton180.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | 1 -> 1 4 | 1 1 5 | 0 -> 1 6 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton181.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 0 3 | 0 0 -> 0 4 | 0 1 -> 1 5 | 1 1 -> 0 6 | 1 1 7 | 1 0 -> 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton182.txt: -------------------------------------------------------------------------------- 1 | msd_3 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 2 -> 2 6 | 1 1 7 | 0 -> 2 8 | 1 -> 2 9 | 2 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton183.txt: -------------------------------------------------------------------------------- 1 | msd_10 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 7 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton184.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 0 -> 3 10 | 3 1 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton185.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton186.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton187.txt: -------------------------------------------------------------------------------- 1 | msd_10 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton188.txt: -------------------------------------------------------------------------------- 1 | msd_10 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 7 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton189.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton19.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 1 -> 4 10 | 3 0 11 | 0 -> 5 12 | 4 1 13 | 0 -> 5 14 | 5 1 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton191.txt: -------------------------------------------------------------------------------- 1 | msd_10 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 7 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton192.txt: -------------------------------------------------------------------------------- 1 | msd_10 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 7 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton193.txt: -------------------------------------------------------------------------------- 1 | msd_3 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 2 -> 1 6 | 1 1 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton194.txt: -------------------------------------------------------------------------------- 1 | msd_3 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 2 -> 2 6 | 1 1 7 | 0 -> 2 8 | 1 -> 2 9 | 2 -> 2 10 | 2 1 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton195.txt: -------------------------------------------------------------------------------- 1 | msd_10 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 6 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton196.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 0 1 -> 1 6 | 1 1 -> 0 7 | 1 0 8 | 0 0 -> 1 9 | 1 0 -> 0 10 | 0 1 -> 0 11 | 1 1 -> 1 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton197.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton198.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton199.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton2.txt: -------------------------------------------------------------------------------- 1 | msd_3 msd_3 msd_3 msd_3 2 | 0 0 3 | 0 0 0 0 -> 0 4 | 0 0 0 1 -> 1 5 | 1 0 6 | 1 1 2 2 -> 2 7 | 2 0 8 | 1 2 0 2 -> 3 9 | 3 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton20.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 -> 2 5 | 1 0 6 | 0 -> 2 7 | 1 -> 2 8 | 2 0 9 | 0 -> 3 10 | 3 0 11 | 1 -> 4 12 | 4 1 13 | 0 -> 4 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton200.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton201.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton202.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton203.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 0 7 | 1 -> 0 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton204.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton205.txt: -------------------------------------------------------------------------------- 1 | msd_17 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton206.txt: -------------------------------------------------------------------------------- 1 | lsd_17 2 | 0 0 3 | 0 -> 1 4 | 1 0 5 | 1 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton207.txt: -------------------------------------------------------------------------------- 1 | msd_17 2 | 0 0 3 | 0 -> 0 4 | 2 -> 1 5 | 1 0 6 | 3 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton208.txt: -------------------------------------------------------------------------------- 1 | msd_17 msd_17 2 | 0 1 3 | 0 0 -> 0 4 | 1 1 -> 0 5 | 2 2 -> 0 6 | 3 3 -> 0 7 | 4 4 -> 0 8 | 5 5 -> 0 9 | 6 6 -> 0 10 | 7 7 -> 0 11 | 8 8 -> 0 12 | 9 9 -> 0 13 | 10 10 -> 0 14 | 11 11 -> 0 15 | 12 12 -> 0 16 | 13 13 -> 0 17 | 14 14 -> 0 18 | 15 15 -> 0 19 | 16 16 -> 0 20 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton21.txt: -------------------------------------------------------------------------------- 1 | lsd_10 2 | 0 0 3 | 4 -> 1 4 | 5 -> 1 5 | 7 -> 1 6 | 1 1 7 | 0 -> 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton210.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | 0 -> 2 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton211.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | 0 -> 2 10 | 1 -> 3 11 | 3 0 12 | 0 -> 2 13 | 1 -> 3 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton212.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton213.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 1 10 | 0 -> 3 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton214.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton215.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 0 5 | 0 1 -> 0 6 | 1 1 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton216.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton217.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton218.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 0 5 | 0 1 -> 0 6 | 1 1 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton219.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton22.txt: -------------------------------------------------------------------------------- 1 | msd_10 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 -> 3 8 | 2 0 9 | 0 -> 3 10 | 3 1 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton220.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton223.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton224.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton225.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 1 10 | 1 -> 2 11 | 3 1 12 | 0 -> 3 13 | 1 -> 4 14 | 4 0 15 | 0 -> 5 16 | 1 -> 5 17 | 5 1 18 | 0 -> 5 19 | 1 -> 5 20 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton226.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 5 11 | 3 1 12 | 0 -> 5 13 | 1 -> 5 14 | 4 1 15 | 0 -> 6 16 | 1 -> 7 17 | 5 1 18 | 0 -> 7 19 | 1 -> 7 20 | 6 1 21 | 0 -> 7 22 | 7 1 23 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton227.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 1 10 | 0 -> 3 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton228.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 1 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton229.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 5 11 | 3 1 12 | 0 -> 5 13 | 1 -> 5 14 | 4 1 15 | 0 -> 5 16 | 5 1 17 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton23.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton230.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 1 8 | 0 -> 1 9 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton231.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton24.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 2 8 | 2 1 9 | 0 -> 2 10 | 3 1 11 | 0 -> 2 12 | 1 -> 2 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton241.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton242.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 0 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 1 1 -> 2 6 | 1 0 7 | 0 0 -> 0 8 | 1 0 -> 0 9 | 2 0 10 | 0 1 -> 3 11 | 1 1 -> 3 12 | 3 1 13 | 0 0 -> 4 14 | 4 0 15 | 0 0 -> 3 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton254.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 5 11 | 3 1 12 | 0 -> 5 13 | 1 -> 5 14 | 4 1 15 | 0 -> 6 16 | 1 -> 7 17 | 5 1 18 | 0 -> 7 19 | 1 -> 7 20 | 6 1 21 | 0 -> 7 22 | 7 1 23 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton256.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 1 8 | 0 -> 3 9 | 3 0 10 | 0 -> 2 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton257.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 5 11 | 3 1 12 | 0 -> 5 13 | 1 -> 5 14 | 4 1 15 | 0 -> 5 16 | 5 1 17 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton258.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 5 11 | 3 1 12 | 0 -> 5 13 | 1 -> 5 14 | 4 1 15 | 0 -> 5 16 | 5 1 17 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton26.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton264.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 4 11 | 3 1 12 | 0 -> 4 13 | 1 -> 5 14 | 4 1 15 | 0 -> 6 16 | 1 -> 6 17 | 5 1 18 | 0 -> 6 19 | 1 -> 7 20 | 6 1 21 | 0 -> 8 22 | 1 -> 8 23 | 7 1 24 | 0 -> 8 25 | 8 1 26 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton27.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton273.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 1 -> 4 10 | 3 0 11 | 1 -> 5 12 | 4 0 13 | 0 -> 6 14 | 5 1 15 | 0 -> 6 16 | 6 1 17 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton279.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 4 11 | 3 1 12 | 0 -> 5 13 | 1 -> 6 14 | 4 1 15 | 0 -> 6 16 | 1 -> 6 17 | 5 1 18 | 0 -> 6 19 | 6 1 20 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton28.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton282.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 4 11 | 3 1 12 | 0 -> 5 13 | 1 -> 6 14 | 4 1 15 | 0 -> 6 16 | 1 -> 6 17 | 5 1 18 | 0 -> 6 19 | 6 1 20 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton29.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton292.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 4 8 | 2 1 9 | 0 -> 4 10 | 1 -> 4 11 | 3 1 12 | 0 -> 5 13 | 1 -> 5 14 | 4 1 15 | 0 -> 5 16 | 1 -> 6 17 | 5 1 18 | 0 -> 6 19 | 1 -> 6 20 | 6 1 21 | 0 -> 6 22 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton298.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 3 10 | 1 -> 3 11 | 3 1 12 | 0 -> 4 13 | 1 -> 4 14 | 4 1 15 | 0 -> 5 16 | 1 -> 5 17 | 5 1 18 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton3.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib msd_fib msd_fib 2 | 0 0 3 | 0 0 0 0 -> 0 4 | 0 0 0 1 -> 1 5 | 1 0 6 | 0 0 0 0 -> 2 7 | 2 0 8 | 0 1 1 0 -> 3 9 | 3 0 10 | 1 0 0 1 -> 4 11 | 4 0 12 | 0 0 0 0 -> 5 13 | 5 0 14 | 1 0 1 1 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton30.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 3 10 | 1 -> 3 11 | 3 1 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton307.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 0 -> 4 10 | 3 0 11 | 0 -> 5 12 | 4 0 13 | 1 -> 6 14 | 5 1 15 | 1 -> 6 16 | 6 1 17 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton309.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 4 10 | 1 -> 5 11 | 3 1 12 | 0 -> 5 13 | 1 -> 5 14 | 4 1 15 | 0 -> 5 16 | 5 1 17 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton31.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 2 1 8 | 0 -> 3 9 | 1 -> 4 10 | 3 1 11 | 0 -> 4 12 | 4 1 13 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton319.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 1 3 | 0 -> 1 4 | 1 -> 2 5 | 1 1 6 | 0 -> 3 7 | 1 -> 4 8 | 2 1 9 | 0 -> 4 10 | 1 -> 4 11 | 3 1 12 | 0 -> 4 13 | 1 -> 5 14 | 4 1 15 | 0 -> 5 16 | 1 -> 5 17 | 5 1 18 | 0 -> 5 19 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton32.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 3 10 | 1 -> 3 11 | 3 0 12 | 0 -> 4 13 | 1 -> 4 14 | 4 1 15 | 0 -> 4 16 | 1 -> 4 17 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton324.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 0 5 | 0 1 -> 0 6 | 1 1 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton325.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton326.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton33.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 2 1 8 | 0 -> 3 9 | 1 -> 4 10 | 3 0 11 | 0 -> 5 12 | 1 -> 6 13 | 4 0 14 | 0 -> 7 15 | 5 0 16 | 0 -> 7 17 | 1 -> 6 18 | 6 1 19 | 0 -> 7 20 | 7 1 21 | 0 -> 7 22 | 1 -> 6 23 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton330.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | 0 -> 3 10 | 1 -> 2 11 | 3 0 12 | 0 -> 3 13 | 1 -> 2 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton333.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 0 5 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton334.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 0 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 1 1 -> 2 6 | 1 0 7 | 0 0 -> 0 8 | 1 0 -> 0 9 | 2 0 10 | 0 0 -> 3 11 | 1 0 -> 3 12 | 3 1 13 | 0 1 -> 3 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton335.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 1 8 | 1 -> 2 9 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton34.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 1 3 | 0 0 -> 0 4 | 1 1 -> 1 5 | 1 1 6 | 0 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton344.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | 0 -> 3 10 | 1 -> 3 11 | 3 1 12 | 0 -> 4 13 | 1 -> 4 14 | 4 1 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton347.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 2 8 | 2 1 9 | 0 -> 3 10 | 1 -> 3 11 | 3 1 12 | 0 -> 4 13 | 1 -> 4 14 | 4 1 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton35.txt: -------------------------------------------------------------------------------- 1 | lsd_3 lsd_3 2 | 0 1 3 | 0 0 -> 0 4 | 1 1 -> 0 5 | 2 2 -> 0 6 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton352.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 0 1 -> 2 6 | 1 1 -> 3 7 | 1 1 8 | 0 0 -> 0 9 | 0 1 -> 2 10 | 2 1 11 | 0 0 -> 0 12 | 1 0 -> 1 13 | 3 1 14 | 0 0 -> 0 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton353.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton354.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton356.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton359.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton36.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton360.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton361.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton367.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 0 1 -> 2 6 | 1 1 -> 3 7 | 1 1 8 | 0 0 -> 0 9 | 0 1 -> 2 10 | 2 1 11 | 0 0 -> 0 12 | 1 0 -> 1 13 | 3 1 14 | 0 0 -> 0 15 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton368.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton369.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton37.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton370.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton371.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton372.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton374.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 0 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 1 1 -> 0 6 | 1 1 7 | 0 1 -> 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton38.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton383.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 1 12 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton39.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 1 3 | 0 -> 0 4 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton4.txt: -------------------------------------------------------------------------------- 1 | lsd_fib lsd_fib lsd_fib lsd_fib 2 | 0 0 3 | 1 0 1 1 -> 1 4 | 1 0 5 | 0 0 0 0 -> 2 6 | 2 0 7 | 1 0 0 1 -> 3 8 | 3 0 9 | 0 1 1 0 -> 4 10 | 4 0 11 | 0 0 0 0 -> 5 12 | 5 0 13 | 0 0 0 1 -> 6 14 | 6 1 15 | 0 0 0 0 -> 6 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton40.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton41.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton42.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 0 7 | 0 -> 3 8 | 3 0 9 | 0 -> 4 10 | 4 0 11 | 1 -> 5 12 | 5 0 13 | 0 -> 6 14 | 6 0 15 | 1 -> 7 16 | 7 1 17 | 0 -> 7 18 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton43.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 0 10 | 0 -> 4 11 | 4 0 12 | 1 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton44.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_fib msd_fib msd_2 2 | 0 0 3 | 0 0 0 0 -> 0 4 | 1 0 0 0 -> 1 5 | 1 0 6 | 0 0 0 1 -> 2 7 | 2 0 8 | 0 0 0 0 -> 3 9 | 3 0 10 | 0 1 1 1 -> 4 11 | 4 0 12 | 0 0 0 0 -> 5 13 | 5 0 14 | 1 0 1 0 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton45.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib msd_2 2 | 0 0 3 | 0 0 0 -> 0 4 | 0 0 1 -> 1 5 | 1 0 6 | 0 0 0 -> 2 7 | 2 0 8 | 1 1 1 -> 3 9 | 3 0 10 | 0 0 0 -> 4 11 | 4 0 12 | 0 1 0 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton46.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_fib msd_fib 2 | 0 0 3 | 0 0 0 -> 0 4 | 1 0 0 -> 1 5 | 1 0 6 | 0 0 0 -> 2 7 | 2 0 8 | 0 0 0 -> 3 9 | 3 0 10 | 0 1 1 -> 4 11 | 4 0 12 | 0 0 0 -> 5 13 | 5 0 14 | 1 0 1 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton47.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 0 0 3 | 0 0 -> 0 4 | 1 1 -> 1 5 | 1 0 6 | 0 0 -> 2 7 | 2 0 8 | 0 1 -> 3 9 | 3 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton48.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton49.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton5.txt: -------------------------------------------------------------------------------- 1 | lsd_trib lsd_trib lsd_trib lsd_trib 2 | 0 0 3 | 0 1 0 0 -> 1 4 | 1 0 5 | 0 0 1 0 -> 2 6 | 2 0 7 | 1 1 1 1 -> 3 8 | 3 0 9 | 0 0 0 0 -> 4 10 | 4 0 11 | 0 0 0 1 -> 5 12 | 5 1 13 | 0 0 0 0 -> 5 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton50.txt: -------------------------------------------------------------------------------- 1 | lsd_2 lsd_fib lsd_fib lsd_2 2 | 0 0 3 | 1 0 1 0 -> 1 4 | 1 0 5 | 0 0 0 0 -> 2 6 | 2 0 7 | 0 1 1 1 -> 3 8 | 3 0 9 | 0 0 0 0 -> 4 10 | 4 0 11 | 0 0 0 1 -> 5 12 | 5 0 13 | 1 0 0 0 -> 6 14 | 6 1 15 | 0 0 0 0 -> 6 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton51.txt: -------------------------------------------------------------------------------- 1 | lsd_fib lsd_fib lsd_2 2 | 0 0 3 | 0 1 0 -> 1 4 | 1 0 5 | 0 0 0 -> 2 6 | 2 0 7 | 1 1 1 -> 3 8 | 3 0 9 | 0 0 0 -> 4 10 | 4 0 11 | 0 0 1 -> 5 12 | 5 1 13 | 0 0 0 -> 5 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton52.txt: -------------------------------------------------------------------------------- 1 | lsd_2 lsd_fib lsd_fib 2 | 0 0 3 | 1 0 1 -> 1 4 | 1 0 5 | 0 0 0 -> 2 6 | 2 0 7 | 0 1 1 -> 3 8 | 3 0 9 | 0 0 0 -> 4 10 | 4 0 11 | 0 0 0 -> 5 12 | 5 0 13 | 1 0 0 -> 6 14 | 6 1 15 | 0 0 0 -> 6 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton53.txt: -------------------------------------------------------------------------------- 1 | lsd_fib lsd_fib 2 | 0 0 3 | 0 1 -> 1 4 | 1 0 5 | 0 0 -> 2 6 | 2 0 7 | 1 1 -> 3 8 | 3 1 9 | 0 0 -> 3 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton54.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 0 5 | 1 -> 2 6 | 2 1 7 | 0 -> 2 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton55.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 0 7 | 1 -> 3 8 | 3 1 9 | 0 -> 3 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton56.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_2 2 | 0 0 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 1 0 6 | 0 0 -> 2 7 | 2 0 8 | 0 0 -> 3 9 | 3 0 10 | 1 1 -> 4 11 | 4 0 12 | 0 1 -> 5 13 | 5 0 14 | 1 0 -> 6 15 | 6 1 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton58.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 1 -> 1 4 | 1 0 5 | 0 -> 2 6 | 2 0 7 | 1 -> 3 8 | 3 0 9 | 0 -> 4 10 | 4 0 11 | 0 -> 5 12 | 5 0 13 | 1 -> 6 14 | 6 1 15 | 0 -> 6 16 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton59.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 0 8 | 0 -> 3 9 | 3 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton6.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_3 msd_2 msd_2 2 | 0 0 3 | 0 0 0 0 -> 0 4 | 0 0 0 1 -> 1 5 | 1 0 6 | 0 0 0 0 -> 2 7 | 2 0 8 | 1 0 1 0 -> 3 9 | 3 0 10 | 0 1 1 0 -> 4 11 | 4 0 12 | 0 2 0 1 -> 5 13 | 5 1 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton60.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 0 -> 3 9 | 1 -> 3 10 | 3 1 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton61.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 1 10 | 0 -> 3 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton62.txt: -------------------------------------------------------------------------------- 1 | lsd_fib 2 | 0 0 3 | 0 -> 1 4 | 1 -> 1 5 | 1 0 6 | 0 -> 2 7 | 2 0 8 | 1 -> 3 9 | 3 1 10 | 0 -> 3 11 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton63.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | 0 -> 1 4 | 1 0 5 | 1 -> 2 6 | 2 0 7 | 1 -> 3 8 | 3 1 9 | 0 -> 3 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton64.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | 0 -> 1 4 | 1 0 5 | 1 -> 2 6 | 2 0 7 | 1 -> 3 8 | 3 1 9 | 0 -> 3 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton65.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton66.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton67.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton68.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton69.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton7.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_3 msd_3 msd_3 2 | 0 0 3 | 0 0 0 0 -> 0 4 | 1 0 0 1 -> 1 5 | 1 0 6 | 0 1 2 2 -> 2 7 | 2 0 8 | 0 2 0 2 -> 3 9 | 3 1 10 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton70.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton71.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton72.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton73.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton74.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton75.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton76.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton77.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton78.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton79.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton80.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 2 10 | 1 -> 2 11 | 3 0 12 | 0 -> 2 13 | 1 -> 2 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton81.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton82.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton83.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton84.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton85.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton86.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 1 -> 2 7 | 2 1 8 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton87.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 2 10 | 1 -> 2 11 | 3 0 12 | 0 -> 2 13 | 1 -> 2 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton88.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 2 7 | 1 -> 3 8 | 2 1 9 | 0 -> 2 10 | 1 -> 2 11 | 3 0 12 | 0 -> 2 13 | 1 -> 2 14 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton89.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton90.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton91.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton92.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton93.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton94.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton95.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton96.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton97.txt: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton98.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/automaton99.txt: -------------------------------------------------------------------------------- 1 | false -------------------------------------------------------------------------------- /Test Results/Integreation Tests/details382.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Integreation Tests/details382.txt -------------------------------------------------------------------------------- /Test Results/Integreation Tests/error142.txt: -------------------------------------------------------------------------------- 1 | the input alphabet of an automaton generated from a regular expression must be a subset of {0,1,...,9} 2 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/error156.txt: -------------------------------------------------------------------------------- 1 | invalid use of reg command 2 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/error190.txt: -------------------------------------------------------------------------------- 1 | in computing cross product of two automaton, variables with the same label must have the same alphabet 2 | : char at 8 3 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/error373.txt: -------------------------------------------------------------------------------- 1 | incidence matrices for the variable n cannot be calculated, because n is not a free variable. 2 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/error380.txt: -------------------------------------------------------------------------------- 1 | invalid use of eval/def command 2 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/error381.txt: -------------------------------------------------------------------------------- 1 | incidence matrices cannot be calculated, because the automaton does not have a free variable. 2 | -------------------------------------------------------------------------------- /Test Results/Integreation Tests/error382.txt: -------------------------------------------------------------------------------- 1 | incidence matrices for the variable n23 cannot be calculated, because n23 is not a free variable. 2 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/NumberSystemUnitTestResults/.DS_Store -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_10:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_10:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_10:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(2)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/constant_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_10:3"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(3)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/constant_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_10:4"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(4)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/constant_7.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_10:7"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(7)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_10:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_10/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_10:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_15:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_15:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/constant_10.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_15:10"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(10)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_15:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(2)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/constant_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_15:3"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(3)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/constant_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_15:4"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(4)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/constant_7.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_15:7"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(7)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_15:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_15/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_15:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_2:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_2:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_2:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_2:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/division_1_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_2:1/1=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/division_3_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_2:3/2=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/division_5_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_2:5/3=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/division_5_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_2:5/4=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_2/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | } 10 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_3:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_3:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_3:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(2)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_3:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_3:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/division_1_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_3:1/1=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/division_3_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_3:3/2=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/division_5_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_3:5/2=2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(2)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/division_5_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_3:5/3=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/division_5_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_3:5/4=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_3/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | 0 -> 0[ label = "(2,2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_4:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_4:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_4:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(2)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/constant_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): lsd_4:3"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(3)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_4:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_4:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/division_1_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_4:1/1=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/division_3_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_4:3/2=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/division_5_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_4:5/2=2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(2)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/division_5_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_4:5/3=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_4/division_5_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_4:5/4=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_fib/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_fib:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_fib/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_fib:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_fib/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_fib:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_fib/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): lsd_fib:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_fib/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | } 10 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_trib/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_trib:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_trib/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): lsd_trib:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 1[ label = "(1)"]; 9 | 1 -> 1[ label = "(0)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/lsd_trib/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | } 10 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_10:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_10:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_10:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/constant_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_10:3"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(3)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/constant_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_10:4"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(4)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/constant_7.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_10:7"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(7)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_10:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_10/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_10:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_101/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_101:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_101/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_101:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_15:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_15:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/constant_10.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_15:10"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(10)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_15:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/constant_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_15:3"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(3)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/constant_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_15:4"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(4)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/constant_7.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_15:7"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(7)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_15:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_15/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_15:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_2:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_2:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_2:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_2:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/division_1_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_2:1/1=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/division_3_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_2:3/2=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/division_5_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_2:5/3=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/division_5_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_2:5/4=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_2/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | } 10 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_3:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_3:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_3:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_3:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_3:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/division_1_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_3:1/1=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/division_3_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_3:3/2=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/division_5_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_3:5/2=2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/division_5_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_3:5/3=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/division_5_4.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_3:5/4=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_3/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | 0 -> 0[ label = "(2,2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_4:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/constant_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_4:1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/constant_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_4:2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/constant_3.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(c): msd_4:3"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(3)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_4:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_4:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/division_1_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_4:1/1=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/division_3_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_4:3/2=1"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(1)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_4/division_5_2.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_4:5/2=2"; 3 | rankdir = LR; 4 | node [shape = circle, label="0", fontsize=12]0; 5 | node [shape = doublecircle, label="1", fontsize=12]1; 6 | node [shape = point ]; qi 7 | qi ->0; 8 | 0 -> 0[ label = "(0)"]; 9 | 0 -> 1[ label = "(2)"]; 10 | } 11 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_fib/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/NumberSystemUnitTestResults/msd_fib/.DS_Store -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_fib/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_fib:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_fib/division_0_1.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_fib:0/1=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_fib/division_0_14.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(b): msd_fib:0/14=0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_fib/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | } 10 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_trib/constant_0.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): msd_trib:0"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0)"]; 8 | } 9 | -------------------------------------------------------------------------------- /Test Results/NumberSystemUnitTestResults/msd_trib/equality.gv: -------------------------------------------------------------------------------- 1 | digraph G { 2 | label = "(): equality"; 3 | rankdir = LR; 4 | node [shape = doublecircle, label="0", fontsize=12]0; 5 | node [shape = point ]; qi 6 | qi ->0; 7 | 0 -> 0[ label = "(0,0)"]; 8 | 0 -> 0[ label = "(1,1)"]; 9 | } 10 | -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton0.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton1.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton10.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton100.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton101.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton101.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton102.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton102.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton103.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton103.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton104.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton104.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton105.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton105.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton106.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton106.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton107.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton107.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton108.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton108.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton109.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton109.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton11.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton110.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton110.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton111.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton111.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton112.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton112.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton113.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton113.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton114.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton114.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton115.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton115.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton116.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton116.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton117.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton117.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton118.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton118.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton119.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton119.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton12.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton120.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton120.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton121.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton121.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton122.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton122.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton123.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton123.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton124.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton124.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton125.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton125.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton126.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton126.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton127.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton127.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton128.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton128.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton129.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton129.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton13.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton130.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton130.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton131.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton131.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton132.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton132.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton133.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton133.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton134.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton134.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton135.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton135.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton136.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton136.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton137.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton137.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton138.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton138.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton139.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton139.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton14.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton140.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton140.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton141.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton141.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton143.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton143.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton144.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton144.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton145.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton145.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton146.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton146.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton147.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton147.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton148.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton148.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton149.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton149.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton15.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton150.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton150.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton151.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton151.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton152.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton152.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton153.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton153.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton154.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton154.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton155.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton155.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton157.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton157.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton158.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton158.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton159.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton159.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton16.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton160.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton160.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton161.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton161.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton162.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton162.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton163.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton163.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton164.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton164.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton165.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton165.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton166.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton166.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton167.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton167.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton168.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton168.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton169.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton169.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton17.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton170.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton170.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton171.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton171.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton172.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton172.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton173.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton173.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton174.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton174.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton175.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton175.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton176.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton176.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton177.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton177.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton178.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton178.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton179.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton179.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton18.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton180.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton180.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton181.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton181.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton182.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton182.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton183.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton183.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton184.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton184.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton185.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton185.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton186.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton186.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton187.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton187.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton188.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton188.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton189.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton189.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton19.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton191.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton191.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton192.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton192.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton193.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton193.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton194.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton194.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton195.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton195.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton196.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton196.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton197.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton197.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton198.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton198.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton199.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton199.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton2.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton20.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton200.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton201.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton201.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton202.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton202.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton203.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton203.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton204.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton204.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton205.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton205.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton206.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton206.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton207.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton207.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton208.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton208.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton209.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton209.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton21.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton22.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton23.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton24.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton25.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton26.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton27.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton28.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton29.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton3.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton30.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton31.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton32.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton33.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton34.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton35.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton36.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton37.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton38.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton39.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton4.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton40.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton41.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton41.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton42.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton42.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton43.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton43.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton44.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton44.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton45.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton45.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton46.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton46.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton47.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton47.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton48.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton48.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton49.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton49.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton5.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton50.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton50.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton51.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton51.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton52.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton52.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton53.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton53.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton54.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton54.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton55.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton55.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton56.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton56.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton57.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton57.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton58.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton58.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton59.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton59.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton6.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton60.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton60.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton61.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton61.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton62.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton62.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton63.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton63.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton64.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton64.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton65.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton65.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton66.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton66.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton67.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton67.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton68.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton68.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton69.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton69.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton7.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton70.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton70.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton71.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton71.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton72.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton72.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton73.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton73.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton74.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton74.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton75.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton75.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton76.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton76.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton77.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton77.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton78.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton78.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton79.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton79.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton8.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton80.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton80.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton81.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton81.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton82.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton82.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton83.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton83.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton84.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton84.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton85.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton85.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton86.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton86.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton87.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton87.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton88.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton88.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton89.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton89.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton9.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton90.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton90.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton91.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton91.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton92.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton92.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton93.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton93.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton94.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton94.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton95.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton95.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton96.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton96.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton97.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton97.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton98.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton98.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/automaton99.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton99.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/error142.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/error142.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/error156.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/error156.txt -------------------------------------------------------------------------------- /Test Results/Old Integration Tests/error190.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/error190.txt -------------------------------------------------------------------------------- /Word Automata Library/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Word Automata Library/.DS_Store -------------------------------------------------------------------------------- /Word Automata Library/F.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 3 | 0 0 4 | 0 -> 0 5 | 1 -> 1 6 | 7 | 1 1 8 | 0 -> 0 9 | 10 | 11 | -------------------------------------------------------------------------------- /Word Automata Library/P.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 0 7 | 1 -> 2 8 | 2 1 9 | 0 -> 3 10 | 1 -> 2 11 | 3 1 12 | 0 -> 3 13 | 1 -> 1 14 | -------------------------------------------------------------------------------- /Word Automata Library/PD.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 1 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 0 7 | 1 -> 0 8 | -------------------------------------------------------------------------------- /Word Automata Library/PF.txt: -------------------------------------------------------------------------------- 1 | {-1,1} lsd_2 2 | 3 | 0 0 4 | * 0 -> 0 5 | 1 1 -> 1 6 | -1 1 -> 2 7 | 8 | 1 1 9 | * 1 -> 4 10 | * 0 -> 3 11 | 12 | 2 -1 13 | * 0 -> 4 14 | * 1 -> 3 15 | 16 | 3 1 17 | * * -> 3 18 | 19 | 4 -1 20 | * * -> 4 21 | -------------------------------------------------------------------------------- /Word Automata Library/PR.txt: -------------------------------------------------------------------------------- 1 | lsd_2 2 | 0 0 3 | 0 -> 1 4 | 1 -> 0 5 | 1 0 6 | 0 -> 2 7 | 1 -> 3 8 | 2 0 9 | 0 -> 2 10 | 1 -> 2 11 | 3 1 12 | 0 -> 3 13 | 1 -> 3 14 | -------------------------------------------------------------------------------- /Word Automata Library/R.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 3 | 0 0 4 | 1 -> 1 5 | 0 -> 0 6 | 7 | 1 0 8 | 0 -> 2 9 | 10 | 2 1 11 | 0 -> 3 12 | 1 -> 4 13 | 14 | 3 0 15 | 0 -> 5 16 | 1 -> 7 17 | 18 | 4 0 19 | 0 -> 3 20 | 21 | 5 1 22 | 1 -> 6 23 | 0 -> 2 24 | 25 | 6 1 26 | 0 -> 5 27 | 28 | 7 1 29 | 0 -> 0 30 | 31 | 32 | 33 | -------------------------------------------------------------------------------- /Word Automata Library/RS.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 0 6 | 0 -> 0 7 | 1 -> 2 8 | 2 1 9 | 0 -> 3 10 | 1 -> 1 11 | 3 1 12 | 0 -> 3 13 | 1 -> 2 14 | -------------------------------------------------------------------------------- /Word Automata Library/T.txt: -------------------------------------------------------------------------------- 1 | msd_2 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 1 7 | 1 -> 0 8 | 9 | -------------------------------------------------------------------------------- /Word Automata Library/T2.txt: -------------------------------------------------------------------------------- 1 | msd_2 msd_2 2 | 0 1 3 | 0 0 -> 0 4 | 1 0 -> 1 5 | 0 1 -> 1 6 | 1 1 -> 0 7 | 1 0 8 | 0 0 -> 1 9 | 1 0 -> 0 10 | 0 1 -> 0 11 | 1 1 -> 1 12 | -------------------------------------------------------------------------------- /Word Automata Library/TR.txt: -------------------------------------------------------------------------------- 1 | msd_trib 2 | 0 0 3 | 0 -> 0 4 | 1 -> 1 5 | 1 1 6 | 0 -> 0 7 | 1 -> 2 8 | 2 2 9 | 0 -> 0 10 | -------------------------------------------------------------------------------- /Word Automata Library/V.txt: -------------------------------------------------------------------------------- 1 | msd_fib 2 | 3 | 0 0 4 | 1 -> 1 5 | 0 -> 0 6 | 7 | 1 1 8 | 0 -> 2 9 | 10 | 2 1 11 | 0 -> 2 12 | 1 -> 3 13 | 14 | 3 0 15 | 0 -> 0 16 | 17 | 18 | 19 | -------------------------------------------------------------------------------- /Word Automata Library/ZC.txt: -------------------------------------------------------------------------------- 1 | msd_fib msd_fib 2 | 3 | 0 1 4 | 0 0 -> 0 5 | 1 0 -> 1 6 | 1 1 -> 2 7 | 8 | 1 0 9 | 0 0 -> 3 10 | 1 1 -> 1 11 | 0 1 -> 0 12 | 13 | 2 1 14 | 0 0 -> 4 15 | 1 0 -> 0 16 | 17 | 3 0 18 | 1 1 -> 5 19 | 0 1 -> 1 20 | 21 | 5 0 22 | 0 1 -> 3 23 | 24 | 4 0 25 | 1 0 -> 2 26 | 27 | 28 | -------------------------------------------------------------------------------- /bin/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/.DS_Store -------------------------------------------------------------------------------- /bin/.gitignore: -------------------------------------------------------------------------------- 1 | /.DS_Store 2 | /Automata/ 3 | /Main/ 4 | /Token/ 5 | /dk/ 6 | -------------------------------------------------------------------------------- /bin/Automata/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/Automata/.DS_Store -------------------------------------------------------------------------------- /bin/Main/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/Main/.DS_Store -------------------------------------------------------------------------------- /bin/Token/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/Token/.DS_Store -------------------------------------------------------------------------------- /bin/dk/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/dk/.DS_Store -------------------------------------------------------------------------------- /build.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | javac -d bin/ -cp src ./src/Automata/*.java 4 | javac -d bin/ -cp src ./src/dk/brics/automaton/*.java 5 | javac -d bin/ -cp src ./src/Token/*.java 6 | javac -d bin/ -cp src ./src/Main/*.java 7 | -------------------------------------------------------------------------------- /src/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/.DS_Store -------------------------------------------------------------------------------- /src/Automata/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/Automata/.DS_Store -------------------------------------------------------------------------------- /src/Main/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/Main/.DS_Store -------------------------------------------------------------------------------- /src/Token/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/Token/.DS_Store -------------------------------------------------------------------------------- /src/dk/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/dk/.DS_Store --------------------------------------------------------------------------------