BubbleSort-full-FbOneOne-Nondet

solved t/o mem limit <10s queued

94% 0% 6% 70% 0%

240 0 16 179 0

⊇	armcNFA_inclTest_5.vtf	armcNFA_inclTest_10.vtf	armcNFA_inclTest_8.vtf	armcNFA_inclTest_15.vtf	armcNFA_inclTest_13.vtf	armcNFA_inclTest_0.vtf	armcNFA_inclTest_14.vtf	armcNFA_inclTest_2.vtf	armcNFA_inclTest_4.vtf	armcNFA_inclTest_7.vtf	armcNFA_inclTest_11.vtf	armcNFA_inclTest_9.vtf	armcNFA_inclTest_6.vtf	armcNFA_inclTest_12.vtf	armcNFA_inclTest_1.vtf	armcNFA_inclTest_3.vtf
armcNFA_inclTest_5.vtf
armcNFA_inclTest_10.vtf
armcNFA_inclTest_8.vtf
armcNFA_inclTest_15.vtf
armcNFA_inclTest_13.vtf
armcNFA_inclTest_0.vtf
armcNFA_inclTest_14.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_4.vtf
armcNFA_inclTest_7.vtf
armcNFA_inclTest_11.vtf
armcNFA_inclTest_9.vtf
armcNFA_inclTest_6.vtf
armcNFA_inclTest_12.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf