/Test/VSI-Benchmarks/

• ../
• b1.dfy
• b1.dfy.expect
• b2.dfy
• b2.dfy.expect
• b3.dfy
• b3.dfy.expect
• b4.dfy
• b4.dfy.expect
• b5.dfy
• b5.dfy.expect
• b6.dfy
• b6.dfy.expect
• b7.dfy
• b7.dfy.expect
• b8.dfy
• b8.dfy.expect