Commit 3a9959d4 authored by Adéla Štěpková's avatar Adéla Štěpková
Browse files

run missing statistics data

parent 2ad189fb

experiments/benchmark_groups/exploding.txt

0 → 100644
+10 −0
Original line number Diff line number Diff line 
/home/notme/nfa-bench/benchmarks/complement-benchmarks/easy/ex/easy_basic-strand-minor01-ex1-1.mata

/home/notme/nfa-bench/benchmarks/complement-benchmarks/gaston/ex/gaston_strand-new-bubblesort-if-else_satisfying-ex2-0.mata

/home/notme/nfa-bench/benchmarks/complement-benchmarks/gaston/ex/gaston_strand-new-bubblesort-if-if_satisfying-ex2-0.mata

/home/notme/nfa-bench/benchmarks/complement-benchmarks/gaston/ex/gaston_uabe-ex16_satisfying-ex1-1.mata

/home/notme/nfa-bench/benchmarks/z3-noodler/automatark/univ/instance01035.mata

/home/notme/nfa-bench/benchmarks/z3-noodler/automatark/intersection/instance06210-1.mata

/home/notme/nfa-bench/benchmarks/z3-noodler/automatark/complement-big/instance08868.mata

/home/notme/nfa-bench/benchmarks/z3-noodler/automatark/complement-big/instance09860.mata

/home/notme/nfa-bench/benchmarks/z3-noodler/automatark/complement-big/instance11556.mata

/home/notme/nfa-bench/benchmarks/z3-noodler/automatark/complement-big/instance14921.mata

experiments/csv_files/test/test_stats.csv

0 → 100644
+11 −0
Original line number Diff line number Diff line 
name,state_count,init_state_count,fin_state_count,alphabet_size,transitions_count,nondet_trans_count,deterministic_succs_count,deterministic_succs_size_sum,nondet_states_count,state_successors_count,is_deterministic,is_complete,is_rev_deterministic,rev_nondet_trans_count,rev_deterministic_succs_count,rev_deterministic_succs_size_sum,rev_nondet_states_count,rev_state_successors_count

easy_basic-strand-minor01-ex1-1.mata,0,0,0,2,0,0,0,0,0,0,True,True,True,0,0,0,0,0

gaston_strand-new-bubblesort-if-else_satisfying-ex2-0.mata,27081,1,1,2,40868,1026,39841,40867,1026,40867,False,False,False,8752,32115,40867,5494,40867

gaston_strand-new-bubblesort-if-if_satisfying-ex2-0.mata,60268,1,1,2,90889,2050,88838,90888,2050,90888,False,False,False,19026,71862,90888,11992,90888

gaston_uabe-ex16_satisfying-ex1-1.mata,0,0,0,2,0,0,0,0,0,0,True,True,True,0,0,0,0,0

instance01035.mata,339,1,2,67,2025421,2008607,630,32771,257,32529,False,False,False,2008824,392,32564,271,32529

instance06210-1.mata,3,1,2,55,165,0,8,8,0,8,True,True,False,109,4,9,3,8

instance08868.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

instance09860.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

instance11556.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

instance14921.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

experiments/csv_files/test/test_stats2.csv

0 → 100644
+11 −0
Original line number Diff line number Diff line 
name,state_count,init_state_count,fin_state_count,alphabet_size,transitions_count,nondet_trans_count,deterministic_succs_count,deterministic_succs_size_sum,nondet_states_count,state_successors_count,is_deterministic,is_complete,is_rev_deterministic,rev_nondet_trans_count,rev_deterministic_succs_count,rev_deterministic_succs_size_sum,rev_nondet_states_count,rev_state_successors_count

easy_basic-strand-minor01-ex1-1.mata,0,0,0,2,0,0,0,0,0,0,True,True,True,0,0,0,0,0

gaston_strand-new-bubblesort-if-else_satisfying-ex2-0.mata,27081,1,1,2,40868,1026,39841,40867,1026,40867,False,False,False,8752,32115,40867,5494,40867

gaston_strand-new-bubblesort-if-if_satisfying-ex2-0.mata,60268,1,1,2,90889,2050,88838,90888,2050,90888,False,False,False,19026,71862,90888,11992,90888

gaston_uabe-ex16_satisfying-ex1-1.mata,0,0,0,2,0,0,0,0,0,0,True,True,True,0,0,0,0,0

instance01035.mata,339,1,2,67,2025421,2008607,630,32771,257,32529,False,False,False,2008824,392,32564,271,32529

instance06210-1.mata,3,1,2,55,165,0,8,8,0,8,True,True,False,109,4,9,3,8

instance08868.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

instance09860.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

instance11556.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

instance14921.mata,4514,1,1,12,4513,0,4513,4513,0,4513,True,False,True,0,4513,4513,0,4513

experiments/xml_files/test/test_stats.xml

0 → 100644
+202 −0
Original line number Diff line number Diff line 
<data>

<automaton>

  <name>easy_basic-strand-minor01-ex1-1.mata</name>

  <state_count>0</state_count>

  <init_state_count>0</init_state_count>

  <fin_state_count>0</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>0</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>0</deterministic_succs_count>

  <deterministic_succs_size_sum>0</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>0</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>True</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>0</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>0</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>0</rev_state_successors_count>

</automaton><automaton>

  <name>gaston_strand-new-bubblesort-if-else_satisfying-ex2-0.mata</name>

  <state_count>27081</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>40868</transitions_count>

  <nondet_trans_count>1026</nondet_trans_count>

  <deterministic_succs_count>39841</deterministic_succs_count>

  <deterministic_succs_size_sum>40867</deterministic_succs_size_sum>

  <nondet_states_count>1026</nondet_states_count>

  <state_successors_count>40867</state_successors_count>

  <is_deterministic>False</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>8752</rev_nondet_trans_count>

  <rev_deterministic_succs_count>32115</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>40867</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>5494</rev_nondet_states_count>

  <rev_state_successors_count>40867</rev_state_successors_count>

</automaton><automaton>

  <name>gaston_strand-new-bubblesort-if-if_satisfying-ex2-0.mata</name>

  <state_count>60268</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>90889</transitions_count>

  <nondet_trans_count>2050</nondet_trans_count>

  <deterministic_succs_count>88838</deterministic_succs_count>

  <deterministic_succs_size_sum>90888</deterministic_succs_size_sum>

  <nondet_states_count>2050</nondet_states_count>

  <state_successors_count>90888</state_successors_count>

  <is_deterministic>False</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>19026</rev_nondet_trans_count>

  <rev_deterministic_succs_count>71862</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>90888</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>11992</rev_nondet_states_count>

  <rev_state_successors_count>90888</rev_state_successors_count>

</automaton><automaton>

  <name>gaston_uabe-ex16_satisfying-ex1-1.mata</name>

  <state_count>0</state_count>

  <init_state_count>0</init_state_count>

  <fin_state_count>0</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>0</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>0</deterministic_succs_count>

  <deterministic_succs_size_sum>0</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>0</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>True</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>0</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>0</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>0</rev_state_successors_count>

</automaton><automaton>

  <name>instance01035.mata</name>

  <state_count>339</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>2</fin_state_count>

  <alphabet_size>67</alphabet_size>

  <transitions_count>2025421</transitions_count>

  <nondet_trans_count>2008607</nondet_trans_count>

  <deterministic_succs_count>630</deterministic_succs_count>

  <deterministic_succs_size_sum>32771</deterministic_succs_size_sum>

  <nondet_states_count>257</nondet_states_count>

  <state_successors_count>32529</state_successors_count>

  <is_deterministic>False</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>2008824</rev_nondet_trans_count>

  <rev_deterministic_succs_count>392</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>32564</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>271</rev_nondet_states_count>

  <rev_state_successors_count>32529</rev_state_successors_count>

</automaton><automaton>

  <name>instance06210-1.mata</name>

  <state_count>3</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>2</fin_state_count>

  <alphabet_size>55</alphabet_size>

  <transitions_count>165</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>8</deterministic_succs_count>

  <deterministic_succs_size_sum>8</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>8</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>True</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>109</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>9</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>3</rev_nondet_states_count>

  <rev_state_successors_count>8</rev_state_successors_count>

</automaton><automaton>

  <name>instance08868.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton><automaton>

  <name>instance09860.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton><automaton>

  <name>instance11556.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton><automaton>

  <name>instance14921.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton></data>

experiments/xml_files/test/test_stats2.xml

0 → 100644
+202 −0
Original line number Diff line number Diff line 
<data>

<automaton>

  <name>easy_basic-strand-minor01-ex1-1.mata</name>

  <state_count>0</state_count>

  <init_state_count>0</init_state_count>

  <fin_state_count>0</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>0</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>0</deterministic_succs_count>

  <deterministic_succs_size_sum>0</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>0</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>True</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>0</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>0</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>0</rev_state_successors_count>

</automaton><automaton>

  <name>gaston_strand-new-bubblesort-if-else_satisfying-ex2-0.mata</name>

  <state_count>27081</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>40868</transitions_count>

  <nondet_trans_count>1026</nondet_trans_count>

  <deterministic_succs_count>39841</deterministic_succs_count>

  <deterministic_succs_size_sum>40867</deterministic_succs_size_sum>

  <nondet_states_count>1026</nondet_states_count>

  <state_successors_count>40867</state_successors_count>

  <is_deterministic>False</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>8752</rev_nondet_trans_count>

  <rev_deterministic_succs_count>32115</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>40867</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>5494</rev_nondet_states_count>

  <rev_state_successors_count>40867</rev_state_successors_count>

</automaton><automaton>

  <name>gaston_strand-new-bubblesort-if-if_satisfying-ex2-0.mata</name>

  <state_count>60268</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>90889</transitions_count>

  <nondet_trans_count>2050</nondet_trans_count>

  <deterministic_succs_count>88838</deterministic_succs_count>

  <deterministic_succs_size_sum>90888</deterministic_succs_size_sum>

  <nondet_states_count>2050</nondet_states_count>

  <state_successors_count>90888</state_successors_count>

  <is_deterministic>False</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>19026</rev_nondet_trans_count>

  <rev_deterministic_succs_count>71862</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>90888</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>11992</rev_nondet_states_count>

  <rev_state_successors_count>90888</rev_state_successors_count>

</automaton><automaton>

  <name>gaston_uabe-ex16_satisfying-ex1-1.mata</name>

  <state_count>0</state_count>

  <init_state_count>0</init_state_count>

  <fin_state_count>0</fin_state_count>

  <alphabet_size>2</alphabet_size>

  <transitions_count>0</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>0</deterministic_succs_count>

  <deterministic_succs_size_sum>0</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>0</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>True</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>0</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>0</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>0</rev_state_successors_count>

</automaton><automaton>

  <name>instance01035.mata</name>

  <state_count>339</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>2</fin_state_count>

  <alphabet_size>67</alphabet_size>

  <transitions_count>2025421</transitions_count>

  <nondet_trans_count>2008607</nondet_trans_count>

  <deterministic_succs_count>630</deterministic_succs_count>

  <deterministic_succs_size_sum>32771</deterministic_succs_size_sum>

  <nondet_states_count>257</nondet_states_count>

  <state_successors_count>32529</state_successors_count>

  <is_deterministic>False</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>2008824</rev_nondet_trans_count>

  <rev_deterministic_succs_count>392</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>32564</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>271</rev_nondet_states_count>

  <rev_state_successors_count>32529</rev_state_successors_count>

</automaton><automaton>

  <name>instance06210-1.mata</name>

  <state_count>3</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>2</fin_state_count>

  <alphabet_size>55</alphabet_size>

  <transitions_count>165</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>8</deterministic_succs_count>

  <deterministic_succs_size_sum>8</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>8</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>True</is_complete>

  <is_rev_deterministic>False</is_rev_deterministic>

  <rev_nondet_trans_count>109</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>9</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>3</rev_nondet_states_count>

  <rev_state_successors_count>8</rev_state_successors_count>

</automaton><automaton>

  <name>instance08868.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton><automaton>

  <name>instance09860.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton><automaton>

  <name>instance11556.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton><automaton>

  <name>instance14921.mata</name>

  <state_count>4514</state_count>

  <init_state_count>1</init_state_count>

  <fin_state_count>1</fin_state_count>

  <alphabet_size>12</alphabet_size>

  <transitions_count>4513</transitions_count>

  <nondet_trans_count>0</nondet_trans_count>

  <deterministic_succs_count>4513</deterministic_succs_count>

  <deterministic_succs_size_sum>4513</deterministic_succs_size_sum>

  <nondet_states_count>0</nondet_states_count>

  <state_successors_count>4513</state_successors_count>

  <is_deterministic>True</is_deterministic>

  <is_complete>False</is_complete>

  <is_rev_deterministic>True</is_rev_deterministic>

  <rev_nondet_trans_count>0</rev_nondet_trans_count>

  <rev_deterministic_succs_count>4513</rev_deterministic_succs_count>

  <rev_deterministic_succs_size_sum>4513</rev_deterministic_succs_size_sum>

  <rev_nondet_states_count>0</rev_nondet_states_count>

  <rev_state_successors_count>4513</rev_state_successors_count>

</automaton></data>