Bakery-4P-BinEnc-FlOneOne-Nondet-Partial

solved t/o mem limit <10s queued
2% 4% 0% 1% 94%
655 1771 28 252 37546
⊇ armcNFA_inclTest_45.vtf armcNFA_inclTest_5.vtf armcNFA_inclTest_136.vtf armcNFA_inclTest_10.vtf armcNFA_inclTest_74.vtf armcNFA_inclTest_8.vtf armcNFA_inclTest_138.vtf armcNFA_inclTest_15.vtf armcNFA_inclTest_40.vtf armcNFA_inclTest_13.vtf armcNFA_inclTest_78.vtf armcNFA_inclTest_88.vtf armcNFA_inclTest_51.vtf armcNFA_inclTest_92.vtf armcNFA_inclTest_111.vtf armcNFA_inclTest_19.vtf armcNFA_inclTest_145.vtf armcNFA_inclTest_160.vtf armcNFA_inclTest_28.vtf armcNFA_inclTest_150.vtf armcNFA_inclTest_140.vtf armcNFA_inclTest_170.vtf armcNFA_inclTest_36.vtf armcNFA_inclTest_64.vtf armcNFA_inclTest_46.vtf armcNFA_inclTest_124.vtf armcNFA_inclTest_107.vtf armcNFA_inclTest_22.vtf armcNFA_inclTest_69.vtf armcNFA_inclTest_54.vtf armcNFA_inclTest_60.vtf armcNFA_inclTest_123.vtf armcNFA_inclTest_127.vtf armcNFA_inclTest_32.vtf armcNFA_inclTest_53.vtf armcNFA_inclTest_164.vtf armcNFA_inclTest_90.vtf armcNFA_inclTest_189.vtf armcNFA_inclTest_178.vtf armcNFA_inclTest_143.vtf armcNFA_inclTest_120.vtf armcNFA_inclTest_0.vtf armcNFA_inclTest_14.vtf armcNFA_inclTest_199.vtf armcNFA_inclTest_195.vtf armcNFA_inclTest_186.vtf armcNFA_inclTest_159.vtf armcNFA_inclTest_63.vtf armcNFA_inclTest_128.vtf armcNFA_inclTest_23.vtf armcNFA_inclTest_21.vtf armcNFA_inclTest_59.vtf armcNFA_inclTest_2.vtf armcNFA_inclTest_84.vtf armcNFA_inclTest_42.vtf armcNFA_inclTest_96.vtf armcNFA_inclTest_58.vtf armcNFA_inclTest_4.vtf armcNFA_inclTest_49.vtf armcNFA_inclTest_147.vtf armcNFA_inclTest_114.vtf armcNFA_inclTest_39.vtf armcNFA_inclTest_106.vtf armcNFA_inclTest_26.vtf armcNFA_inclTest_121.vtf armcNFA_inclTest_7.vtf armcNFA_inclTest_25.vtf armcNFA_inclTest_104.vtf armcNFA_inclTest_41.vtf armcNFA_inclTest_118.vtf armcNFA_inclTest_66.vtf armcNFA_inclTest_172.vtf armcNFA_inclTest_163.vtf armcNFA_inclTest_119.vtf armcNFA_inclTest_55.vtf armcNFA_inclTest_65.vtf armcNFA_inclTest_142.vtf armcNFA_inclTest_174.vtf armcNFA_inclTest_76.vtf armcNFA_inclTest_85.vtf armcNFA_inclTest_77.vtf armcNFA_inclTest_67.vtf armcNFA_inclTest_122.vtf armcNFA_inclTest_161.vtf armcNFA_inclTest_57.vtf armcNFA_inclTest_112.vtf armcNFA_inclTest_93.vtf armcNFA_inclTest_185.vtf armcNFA_inclTest_11.vtf armcNFA_inclTest_132.vtf armcNFA_inclTest_48.vtf armcNFA_inclTest_9.vtf armcNFA_inclTest_6.vtf armcNFA_inclTest_38.vtf armcNFA_inclTest_158.vtf armcNFA_inclTest_62.vtf armcNFA_inclTest_73.vtf armcNFA_inclTest_33.vtf armcNFA_inclTest_43.vtf armcNFA_inclTest_181.vtf armcNFA_inclTest_70.vtf armcNFA_inclTest_113.vtf armcNFA_inclTest_87.vtf armcNFA_inclTest_31.vtf armcNFA_inclTest_167.vtf armcNFA_inclTest_169.vtf armcNFA_inclTest_133.vtf armcNFA_inclTest_34.vtf armcNFA_inclTest_180.vtf armcNFA_inclTest_83.vtf armcNFA_inclTest_168.vtf armcNFA_inclTest_131.vtf armcNFA_inclTest_137.vtf armcNFA_inclTest_135.vtf armcNFA_inclTest_173.vtf armcNFA_inclTest_94.vtf armcNFA_inclTest_86.vtf armcNFA_inclTest_56.vtf armcNFA_inclTest_95.vtf armcNFA_inclTest_192.vtf armcNFA_inclTest_139.vtf armcNFA_inclTest_68.vtf armcNFA_inclTest_72.vtf armcNFA_inclTest_37.vtf armcNFA_inclTest_190.vtf armcNFA_inclTest_30.vtf armcNFA_inclTest_91.vtf armcNFA_inclTest_153.vtf armcNFA_inclTest_155.vtf armcNFA_inclTest_110.vtf armcNFA_inclTest_165.vtf armcNFA_inclTest_75.vtf armcNFA_inclTest_146.vtf armcNFA_inclTest_99.vtf armcNFA_inclTest_115.vtf armcNFA_inclTest_179.vtf armcNFA_inclTest_101.vtf armcNFA_inclTest_162.vtf armcNFA_inclTest_109.vtf armcNFA_inclTest_196.vtf armcNFA_inclTest_183.vtf armcNFA_inclTest_197.vtf armcNFA_inclTest_144.vtf armcNFA_inclTest_134.vtf armcNFA_inclTest_152.vtf armcNFA_inclTest_108.vtf armcNFA_inclTest_126.vtf armcNFA_inclTest_182.vtf armcNFA_inclTest_79.vtf armcNFA_inclTest_27.vtf armcNFA_inclTest_188.vtf armcNFA_inclTest_52.vtf armcNFA_inclTest_12.vtf armcNFA_inclTest_157.vtf armcNFA_inclTest_81.vtf armcNFA_inclTest_35.vtf armcNFA_inclTest_154.vtf armcNFA_inclTest_1.vtf armcNFA_inclTest_3.vtf armcNFA_inclTest_117.vtf armcNFA_inclTest_71.vtf armcNFA_inclTest_166.vtf armcNFA_inclTest_17.vtf armcNFA_inclTest_16.vtf armcNFA_inclTest_175.vtf armcNFA_inclTest_148.vtf armcNFA_inclTest_47.vtf armcNFA_inclTest_100.vtf armcNFA_inclTest_29.vtf armcNFA_inclTest_82.vtf armcNFA_inclTest_102.vtf armcNFA_inclTest_171.vtf armcNFA_inclTest_24.vtf armcNFA_inclTest_130.vtf armcNFA_inclTest_141.vtf armcNFA_inclTest_156.vtf armcNFA_inclTest_194.vtf armcNFA_inclTest_151.vtf armcNFA_inclTest_20.vtf armcNFA_inclTest_177.vtf armcNFA_inclTest_176.vtf armcNFA_inclTest_98.vtf armcNFA_inclTest_129.vtf armcNFA_inclTest_187.vtf armcNFA_inclTest_44.vtf armcNFA_inclTest_125.vtf armcNFA_inclTest_50.vtf armcNFA_inclTest_116.vtf armcNFA_inclTest_61.vtf armcNFA_inclTest_105.vtf armcNFA_inclTest_193.vtf armcNFA_inclTest_18.vtf armcNFA_inclTest_191.vtf armcNFA_inclTest_198.vtf armcNFA_inclTest_97.vtf armcNFA_inclTest_103.vtf armcNFA_inclTest_89.vtf armcNFA_inclTest_80.vtf armcNFA_inclTest_149.vtf armcNFA_inclTest_184.vtf
armcNFA_inclTest_45.vtf
armcNFA_inclTest_5.vtf
armcNFA_inclTest_136.vtf
armcNFA_inclTest_10.vtf
armcNFA_inclTest_74.vtf
armcNFA_inclTest_8.vtf
armcNFA_inclTest_138.vtf
armcNFA_inclTest_15.vtf
armcNFA_inclTest_40.vtf
armcNFA_inclTest_13.vtf
armcNFA_inclTest_78.vtf
armcNFA_inclTest_88.vtf
armcNFA_inclTest_51.vtf
armcNFA_inclTest_92.vtf
armcNFA_inclTest_111.vtf
armcNFA_inclTest_19.vtf
armcNFA_inclTest_145.vtf
armcNFA_inclTest_160.vtf
armcNFA_inclTest_28.vtf
armcNFA_inclTest_150.vtf
armcNFA_inclTest_140.vtf
armcNFA_inclTest_170.vtf
armcNFA_inclTest_36.vtf
armcNFA_inclTest_64.vtf
armcNFA_inclTest_46.vtf
armcNFA_inclTest_124.vtf
armcNFA_inclTest_107.vtf
armcNFA_inclTest_22.vtf
armcNFA_inclTest_69.vtf
armcNFA_inclTest_54.vtf
armcNFA_inclTest_60.vtf
armcNFA_inclTest_123.vtf
armcNFA_inclTest_127.vtf
armcNFA_inclTest_32.vtf
armcNFA_inclTest_53.vtf
armcNFA_inclTest_164.vtf
armcNFA_inclTest_90.vtf
armcNFA_inclTest_189.vtf
armcNFA_inclTest_178.vtf
armcNFA_inclTest_143.vtf
armcNFA_inclTest_120.vtf
armcNFA_inclTest_0.vtf
armcNFA_inclTest_14.vtf
armcNFA_inclTest_199.vtf
armcNFA_inclTest_195.vtf
armcNFA_inclTest_186.vtf
armcNFA_inclTest_159.vtf
armcNFA_inclTest_63.vtf
armcNFA_inclTest_128.vtf
armcNFA_inclTest_23.vtf
armcNFA_inclTest_21.vtf
armcNFA_inclTest_59.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_84.vtf
armcNFA_inclTest_42.vtf
armcNFA_inclTest_96.vtf
armcNFA_inclTest_58.vtf
armcNFA_inclTest_4.vtf
armcNFA_inclTest_49.vtf
armcNFA_inclTest_147.vtf
armcNFA_inclTest_114.vtf
armcNFA_inclTest_39.vtf
armcNFA_inclTest_106.vtf
armcNFA_inclTest_26.vtf
armcNFA_inclTest_121.vtf
armcNFA_inclTest_7.vtf
armcNFA_inclTest_25.vtf
armcNFA_inclTest_104.vtf
armcNFA_inclTest_41.vtf
armcNFA_inclTest_118.vtf
armcNFA_inclTest_66.vtf
armcNFA_inclTest_172.vtf
armcNFA_inclTest_163.vtf
armcNFA_inclTest_119.vtf
armcNFA_inclTest_55.vtf
armcNFA_inclTest_65.vtf
armcNFA_inclTest_142.vtf
armcNFA_inclTest_174.vtf
armcNFA_inclTest_76.vtf
armcNFA_inclTest_85.vtf
armcNFA_inclTest_77.vtf
armcNFA_inclTest_67.vtf
armcNFA_inclTest_122.vtf
armcNFA_inclTest_161.vtf
armcNFA_inclTest_57.vtf
armcNFA_inclTest_112.vtf
armcNFA_inclTest_93.vtf
armcNFA_inclTest_185.vtf
armcNFA_inclTest_11.vtf
armcNFA_inclTest_132.vtf
armcNFA_inclTest_48.vtf
armcNFA_inclTest_9.vtf
armcNFA_inclTest_6.vtf
armcNFA_inclTest_38.vtf
armcNFA_inclTest_158.vtf
armcNFA_inclTest_62.vtf
armcNFA_inclTest_73.vtf
armcNFA_inclTest_33.vtf
armcNFA_inclTest_43.vtf
armcNFA_inclTest_181.vtf
armcNFA_inclTest_70.vtf
armcNFA_inclTest_113.vtf
armcNFA_inclTest_87.vtf
armcNFA_inclTest_31.vtf
armcNFA_inclTest_167.vtf
armcNFA_inclTest_169.vtf
armcNFA_inclTest_133.vtf
armcNFA_inclTest_34.vtf
armcNFA_inclTest_180.vtf
armcNFA_inclTest_83.vtf
armcNFA_inclTest_168.vtf
armcNFA_inclTest_131.vtf
armcNFA_inclTest_137.vtf
armcNFA_inclTest_135.vtf
armcNFA_inclTest_173.vtf
armcNFA_inclTest_94.vtf
armcNFA_inclTest_86.vtf
armcNFA_inclTest_56.vtf
armcNFA_inclTest_95.vtf
armcNFA_inclTest_192.vtf
armcNFA_inclTest_139.vtf
armcNFA_inclTest_68.vtf
armcNFA_inclTest_72.vtf
armcNFA_inclTest_37.vtf
armcNFA_inclTest_190.vtf
armcNFA_inclTest_30.vtf
armcNFA_inclTest_91.vtf
armcNFA_inclTest_153.vtf
armcNFA_inclTest_155.vtf
armcNFA_inclTest_110.vtf
armcNFA_inclTest_165.vtf
armcNFA_inclTest_75.vtf
armcNFA_inclTest_146.vtf
armcNFA_inclTest_99.vtf
armcNFA_inclTest_115.vtf
armcNFA_inclTest_179.vtf
armcNFA_inclTest_101.vtf
armcNFA_inclTest_162.vtf
armcNFA_inclTest_109.vtf
armcNFA_inclTest_196.vtf
armcNFA_inclTest_183.vtf
armcNFA_inclTest_197.vtf
armcNFA_inclTest_144.vtf
armcNFA_inclTest_134.vtf
armcNFA_inclTest_152.vtf
armcNFA_inclTest_108.vtf
armcNFA_inclTest_126.vtf
armcNFA_inclTest_182.vtf
armcNFA_inclTest_79.vtf
armcNFA_inclTest_27.vtf
armcNFA_inclTest_188.vtf
armcNFA_inclTest_52.vtf
armcNFA_inclTest_12.vtf
armcNFA_inclTest_157.vtf
armcNFA_inclTest_81.vtf
armcNFA_inclTest_35.vtf
armcNFA_inclTest_154.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf
armcNFA_inclTest_117.vtf
armcNFA_inclTest_71.vtf
armcNFA_inclTest_166.vtf
armcNFA_inclTest_17.vtf
armcNFA_inclTest_16.vtf
armcNFA_inclTest_175.vtf
armcNFA_inclTest_148.vtf
armcNFA_inclTest_47.vtf
armcNFA_inclTest_100.vtf
armcNFA_inclTest_29.vtf
armcNFA_inclTest_82.vtf
armcNFA_inclTest_102.vtf
armcNFA_inclTest_171.vtf
armcNFA_inclTest_24.vtf
armcNFA_inclTest_130.vtf
armcNFA_inclTest_141.vtf
armcNFA_inclTest_156.vtf
armcNFA_inclTest_194.vtf
armcNFA_inclTest_151.vtf
armcNFA_inclTest_20.vtf
armcNFA_inclTest_177.vtf
armcNFA_inclTest_176.vtf
armcNFA_inclTest_98.vtf
armcNFA_inclTest_129.vtf
armcNFA_inclTest_187.vtf
armcNFA_inclTest_44.vtf
armcNFA_inclTest_125.vtf
armcNFA_inclTest_50.vtf
armcNFA_inclTest_116.vtf
armcNFA_inclTest_61.vtf
armcNFA_inclTest_105.vtf
armcNFA_inclTest_193.vtf
armcNFA_inclTest_18.vtf
armcNFA_inclTest_191.vtf
armcNFA_inclTest_198.vtf
armcNFA_inclTest_97.vtf
armcNFA_inclTest_103.vtf
armcNFA_inclTest_89.vtf
armcNFA_inclTest_80.vtf
armcNFA_inclTest_149.vtf
armcNFA_inclTest_184.vtf