Directory /walsh/code/Results/C117Results
..
C1_17_CounterModels.txt
C1_17_Full.txt
specialcases/