Bakery5PUnrEnc-Rev-FwBad-Nondet-Partial

solved t/o mem limit <10s queued
61% 22% 17% 61% 0%
22 8 6 22 0
armcNFA_inclTest_5.vtf armcNFA_inclTest_0.vtf armcNFA_inclTest_2.vtf armcNFA_inclTest_4.vtf armcNFA_inclTest_1.vtf armcNFA_inclTest_3.vtf
armcNFA_inclTest_5.vtf
armcNFA_inclTest_0.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_4.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf