ARMC Benchmark Summary

Verbose, Limits: 100 seconds, 1G memory
• Bakery-4P-BinEnc-BwBad
• Bakery-4P-BinEnc-BwBad-Nondet-Partial
• Bakery-4P-BinEnc-FlOneOne-Nondet-Partial
• Bakery-4P-BinEnc-FwBad-Nondet-Partial
• Bakery-4P-BinEnc-FwBad-Partial
• Bakery-5P-UnrEnc-BwBad-Nondet
• Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial
• Bakery5PUnrEnc-FbOneOne-Nondet-Partial
• Bakery5PUnrEnc-FbtOneOne-Nondet
• Bakery5PUnrEnc-FlOneOne-Nondet
• Bakery5PUnrEnc-Rev-FbOneOne-Nondet-Partial
• Bakery5PUnrEnc-Rev-FlOneOne-Nondet-Partial
• Bakery5PUnrEnc-Rev-FwBad-Nondet-Partial
• BubbleSort-full-FbOneOne-Nondet
• BubbleSort-full-FlOneOne-Nondet-Partial
• BubbleSort-full-FwBad-Nondet
• IBakery-4P-BinEnc-BwBad
• IBakery-4P-BinEnc-BwBad-Nondet-Partial
• IBakery-4P-BinEnc-FlOneOne-Nondet-Partial
• IBakery-4P-BinEnc-FwBad-Nondet-Partial
• IBakery-4P-BinEnc-FwBad-Partial
• IBakery-5P-UnrEnc-BwBad-Nondet
• IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial
• IBakery5PUnrEnc-FbOneOne-Nondet-Partial
• IBakery5PUnrEnc-FbtOneOne-Nondet
• IBakery5PUnrEnc-FlOneOne-Nondet
• IBakery5PUnrEnc-Rev-FbOneOne-Nondet-Partial
• IBakery5PUnrEnc-Rev-FlOneOne-Nondet-Partial
• IBakery5PUnrEnc-Rev-FwBad-Nondet-Partial
• IBubbleSort-full-FbOneOne-Nondet
• IBubbleSort-full-FlOneOne-Nondet-Partial
• IBubbleSort-full-FwBad-Nondet
• IProdConsDHeadQ-FwBad-Nondet
• ProdConsDHeadQ-FwBad-Nondet